← Back to branch summary

~tapaal-dist-ctl/verifypn/CZeroExperiments

« back to all changes in this revision

Viewing changes to build/testing/consistency/outputs/UNITTEST_CTLCardinality_CorrectnessSimple1.log

  • Committer: Peter Fogh
  • Date: 2016-05-09 14:09:34 UTC
  • Revision ID: peterf1992@gmail.com-20160509140934-ylwx4kju1sb6mktt
fix sh. run test scripts

Show diffs side-by-side

added added

removed removed

Lines of Context:
build/testing/consistency/outputs/UNITTEST_CTLCardinality_CorrectnessSimple1.log
1
 
[Path To Model] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessSimple/model.pnml
2
 
[Model Parsing Start Time] 6.04
3
 
[Model Parsing End Time] 6.792
4
 
[No. Places] 2
5
 
[No. Transitions] 2
6
 
[Model Parsing Time] 0.752
7
 
 
8
 
[Path To Query] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessSimple/CTLCardinality.xml
9
 
[Query Parsing Start Time] 6.814
10
 
[Query Parsing End Time] 7.192
11
 
[Query Parsing Time] 0.378
12
 
 
13
 
[Total Evaluation Start Time] 7.231
14
 
 
15
 
[Query Evaluation Start Time] 7.246
16
 
[Formula] CorrectnessSimple-AX-1
17
 
[Query Result] TRUE 
18
 
[Query Evaluation End Time] 7.338
19
 
[Techniques] SEQUENTIAL_PROCESSING EXPLICIT
20
 
[No. Configurations] 0
21
 
[No. Markings] 3
22
 
[Query Evaluation Time] 0.092
23
 
 
24
 
[Total Evaluation End Time] 7.357
25
 
[Total Evaluation Time] 0.126