← 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_CorrectnessHard6.log

  • Committer: Peter Fogh
  • Date: 2016-05-09 12:15:44 UTC
  • Revision ID: peterf1992@gmail.com-20160509121544-xifib6j371lc3be1
Peter Build fix

Show diffs side-by-side

added added

removed removed

Lines of Context:
build/testing/consistency/outputs/UNITTEST_CTLCardinality_CorrectnessHard6.log
1
1
[Path To Model] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/model.pnml
2
 
[Model Parsing Start Time] 6.026
3
 
[Model Parsing End Time] 6.753
4
 
[No. Places] 4
5
 
[No. Transitions] 5
6
 
[Model Parsing Time] 0.727
7
 
 
8
 
[Path To Query] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/CTLCardinality.xml
9
 
[Query Parsing Start Time] 6.781
10
 
[Query Parsing End Time] 7.023
11
 
[Query Parsing Time] 0.242
12
 
 
13
 
[Total Evaluation Start Time] 7.054
14
 
 
15
 
[Query Evaluation Start Time] 7.07
16
 
[Formula] CorrectnessHard-AF-6
17
 
[Query Result] FALSE 
18
 
[Query Evaluation End Time] 7.127
19
 
[Techniques] SEQUENTIAL_PROCESSING EXPLICIT
20
 
[No. Configurations] 0
21
 
[No. Markings] 5
22
 
[Query Evaluation Time] 0.057
23
 
 
24
 
[Total Evaluation End Time] 7.149
25
 
[Total Evaluation Time] 0.095
26
 
[Path To Model] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/model.pnml
27
 
[Model Parsing Start Time] 5.633
28
 
[Model Parsing End Time] 6.351
29
 
[No. Places] 4
30
 
[No. Transitions] 5
31
 
[Model Parsing Time] 0.718
32
 
 
33
 
[Path To Query] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/CTLCardinality.xml
34
 
[Query Parsing Start Time] 6.377
35
 
[Query Parsing End Time] 6.615
36
 
[Query Parsing Time] 0.238
37
 
 
38
 
[Total Evaluation Start Time] 6.643
39
 
 
40
 
[Query Evaluation Start Time] 6.66
41
 
[Formula] CorrectnessHard-AF-6
42
 
[Query Result] FALSE 
43
 
[Query Evaluation End Time] 6.714
44
 
[Techniques] SEQUENTIAL_PROCESSING EXPLICIT
45
 
[No. Configurations] 0
46
 
[No. Markings] 5
47
 
[Query Evaluation Time] 0.054
48
 
 
49
 
[Total Evaluation End Time] 6.736
50
 
[Total Evaluation Time] 0.093
51
 
-------------------------------------------------------
52
 
Primary job  terminated normally, but 1 process returned
53
 
a non-zero exit code.. Per user-direction, the job has been aborted.
54
 
-------------------------------------------------------
55
 
[Path To Model] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/model.pnml
56
 
[Model Parsing Start Time] 6.068
57
 
[Model Parsing End Time] 6.785
58
 
[No. Places] 4
59
 
[No. Transitions] 5
60
 
[Model Parsing Time] 0.717
61
 
 
62
 
[Path To Query] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/CTLCardinality.xml
63
 
[Query Parsing Start Time] 6.812
64
 
[Query Parsing End Time] 7.054
65
 
[Query Parsing Time] 0.242
66
 
 
67
 
[Total Evaluation Start Time] 7.084
68
 
 
69
 
[Query Evaluation Start Time] 7.102
70
 
[Formula] CorrectnessHard-AF-6
71
 
[Query Result] FALSE 
72
 
[Query Evaluation End Time] 7.155
73
 
[Techniques] SEQUENTIAL_PROCESSING EXPLICIT
74
 
[No. Configurations] 0
75
 
[No. Markings] 5
76
 
[Query Evaluation Time] 0.053
77
 
 
78
 
[Total Evaluation End Time] 7.177
79
 
[Total Evaluation Time] 0.093
80
 
--------------------------------------------------------------------------
81
 
mpirun detected that one or more processes exited with non-zero status, thus causing
82
 
the job to be terminated. The first process to do so was:
83
 
 
84
 
  Process name: [[47594,1],1]
85
 
  Exit code:    1
86
 
--------------------------------------------------------------------------
 
2
[Model Parsing Start Time] 6.342
 
3
[Model Parsing End Time] 7.123
 
4
[No. Places] 4
 
5
[No. Transitions] 5
 
6
[Model Parsing Time] 0.781
 
7
 
 
8
[Path To Query] ../../../build/testing/consistency/testResources/CTLUnitTest/CorrectnessHard/CTLCardinality.xml
 
9
[Query Parsing Start Time] 7.142
 
10
[Query Parsing End Time] 7.419
 
11
[Query Parsing Time] 0.277
 
12
 
 
13
[Total Evaluation Start Time] 7.446
 
14
 
 
15
[Query Evaluation Start Time] 7.46
 
16
[Formula] CorrectnessHard-AF-6
 
17
[Query Result] FALSE 
 
18
[Query Evaluation End Time] 7.57
 
19
[Techniques] SEQUENTIAL_PROCESSING EXPLICIT
 
20
[No. Configurations] 0
 
21
[No. Markings] 5
 
22
[Query Evaluation Time] 0.11
 
23
 
 
24
[Total Evaluation End Time] 7.589
 
25
[Total Evaluation Time] 0.143