About the Execution of LoLA for NeoElection-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 78.023 | 45.00 | 119.00 | 0.00 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r144-tall-162089134500115.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is NeoElection-PT-3, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134500115
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 620K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.0M May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 239K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 834K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 62K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 160K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 35K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 102K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 69K Mar 27 06:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Mar 27 06:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 36K Mar 25 07:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 107K Mar 25 07:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 939K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME OneSafe
=== Now, execution of the tool begins
BK_START 1620942380845
starting LoLA
BK_INPUT NeoElection-PT-3
BK_EXAMINATION: OneSafe
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: OneSafe
FORMULA OneSafe TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620942380890
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: REM DEA TR: t = T-startNeg__send_13
lola: REM DEA TR: t = T-startNeg__send_17
lola: REM DEA TR: t = T-poll__handleRP_5
lola: REM DEA TR: t = T-poll__handleAnsP4_51
lola: REM DEA TR: t = T-poll__handleAnsP4_52
lola: REM DEA TR: t = T-poll__handleAnsP4_53
lola: REM DEA TR: t = T-poll__handleAnsP4_54
lola: REM DEA TR: t = T-poll__handleAnsP4_55
lola: REM DEA TR: t = T-poll__handleAnsP4_56
lola: REM DEA TR: t = T-startNeg__send_3
lola: REM DEA TR: t = T-startNeg__send_7
lola: REM DEA TR: t = T-poll__handleRP_3
lola: REM DEA TR: t = T-startNeg__send_1
lola: REM DEA TR: t = T-sendAnnPs__send_1
lola: REM DEA TR: t = T-startNeg__send_2
lola: REM DEA TR: t = T-sendAnnPs__send_2
lola: REM DEA TR: t = T-sendAnnPs__send_3
lola: REM DEA TR: t = T-startNeg__send_4
lola: REM DEA TR: t = T-sendAnnPs__send_4
lola: REM DEA TR: t = T-poll__handleRP_10
lola: REM DEA TR: t = T-poll__handleAnsP4_75
lola: REM DEA TR: t = T-poll__handleAnsP4_76
lola: REM DEA TR: t = T-poll__handleAnsP4_77
lola: REM DEA TR: t = T-poll__handleAnsP4_78
lola: REM DEA TR: t = T-poll__handleAnsP4_79
lola: REM DEA TR: t = T-poll__handleAnsP4_80
lola: REM DEA TR: t = T-startNeg__send_5
lola: REM DEA TR: t = T-sendAnnPs__send_5
lola: REM DEA TR: t = T-startNeg__send_6
lola: REM DEA TR: t = T-sendAnnPs__send_6
lola: REM DEA TR: t = T-sendAnnPs__send_7
lola: REM DEA TR: t = T-startNeg__send_8
lola: REM DEA TR: t = T-sendAnnPs__send_8
lola: REM DEA TR: t = T-poll__handleRP_8
lola: REM DEA TR: t = T-poll__iAmSecondary_1
lola: REM DEA TR: t = T-poll__iAmSecondary_2
lola: REM DEA TR: t = T-poll__iAmSecondary_3
lola: REM DEA TR: t = T-poll__iAmSecondary_4
lola: REM DEA TR: t = T-poll__iAmPrimary_1
lola: REM DEA TR: t = T-poll__iAmSecondary_5
lola: REM DEA TR: t = T-poll__iAmSecondary_6
lola: REM DEA TR: t = T-poll__iAmSecondary_7
lola: REM DEA TR: t = T-poll__iAmSecondary_8
lola: REM DEA TR: t = T-poll__iAmPrimary_2
lola: REM DEA TR: t = T-poll__iAmSecondary_9
lola: REM DEA TR: t = T-poll__iAmPrimary_3
lola: REM DEA TR: t = T-poll__iAmSecondary_10
lola: REM DEA TR: t = T-poll__iAmSecondary_11
lola: REM DEA TR: t = T-poll__iAmSecondary_12
lola: REM DEA TR: t = T-poll__iAmPrimary_4
lola: REM DEA TR: t = T-poll__iAmSecondary_13
lola: REM DEA TR: t = T-poll__iAmSecondary_14
lola: REM DEA TR: t = T-poll__iAmSecondary_15
lola: REM DEA TR: t = T-poll__iAmSecondary_16
lola: REM DEA TR: t = T-poll__handleRP_15
lola: REM DEA TR: t = T-poll__handleAnsP4_99
lola: REM DEA TR: t = T-poll__handleAnsP4_100
lola: REM DEA TR: t = T-poll__handleAnsP4_101
lola: REM DEA TR: t = T-poll__handleAnsP4_102
lola: REM DEA TR: t = T-poll__handleAnsP4_103
lola: REM DEA TR: t = T-poll__handleAnsP4_104
lola: REM DEA TR: t = T-poll__handleAskP_10
lola: REM DEA TR: t = T-poll__handleAskP_14
lola: REM DEA TR: t = T-poll__handleAskP_18
lola: REM DEA TR: t = T-poll__handleAskP_22
lola: REM DEA TR: t = T-poll__handleAskP_26
lola: REM DEA TR: t = T-poll__handleAskP_30
lola: REM DEA TR: t = T-poll__handleAskP_2
lola: REM DEA TR: t = T-poll__handleAskP_6
lola: REM DEA TR: t = T-startNeg__send_37
lola: REM DEA TR: t = T-sendAnnPs__send_37
lola: REM DEA TR: t = T-startNeg__send_39
lola: REM DEA TR: t = T-sendAnnPs__send_39
lola: REM DEA TR: t = T-startNeg__send_40
lola: REM DEA TR: t = T-sendAnnPs__send_40
lola: REM DEA TR: t = T-poll__handleAskP_33
lola: REM DEA TR: t = T-poll__handleAskP_37
lola: REM DEA TR: t = T-poll__handleAskP_41
lola: REM DEA TR: t = T-poll__handleAskP_45
lola: REM DEA TR: t = T-poll__handleAskP_49
lola: REM DEA TR: t = T-poll__handleAskP_53
lola: REM DEA TR: t = T-poll__handleAskP_57
lola: REM DEA TR: t = T-poll__handleAskP_61
lola: REM DEA TR: t = T-poll__handleAnsP4_123
lola: REM DEA TR: t = T-poll__handleAnsP4_124
lola: REM DEA TR: t = T-poll__handleAnsP4_125
lola: REM DEA TR: t = T-poll__handleAnsP4_126
lola: REM DEA TR: t = T-poll__handleAnsP4_127
lola: REM DEA TR: t = T-poll__handleAnsP4_128
lola: REM DEA TR: t = T-startNeg__send_41
lola: REM DEA TR: t = T-sendAnnPs__send_41
lola: REM DEA TR: t = T-startNeg__send_42
lola: REM DEA TR: t = T-sendAnnPs__send_42
lola: REM DEA TR: t = T-startNeg__send_44
lola: REM DEA TR: t = T-sendAnnPs__send_44
lola: REM DEA TR: t = T-poll__handleAnsP4_19
lola: REM DEA TR: t = T-poll__handleAnsP4_20
lola: REM DEA TR: t = T-poll__handleAnsP4_21
lola: REM DEA TR: t = T-poll__handleAnsP4_22
lola: REM DEA TR: t = T-poll__handleAnsP4_23
lola: REM DEA TR: t = T-poll__handleAnsP4_24
lola: REM DEA TR: t = T-poll__handleAskP_85
lola: REM DEA TR: t = T-poll__handleAskP_86
lola: REM DEA TR: t = T-poll__handleAskP_87
lola: REM DEA TR: t = T-poll__handleAskP_88
lola: REM DEA TR: t = T-poll__handleAnsP2_68
lola: REM DEA TR: t = T-poll__handleAnsP2_76
lola: REM DEA TR: t = T-poll__handleAnsP2_84
lola: REM DEA TR: t = T-poll__handleAnsP2_92
lola: REM DEA TR: t = T-poll__handleAnsP3_278
lola: REM DEA TR: t = T-poll__handleAnsP3_286
lola: REM DEA TR: t = T-poll__handleAI2_286
lola: REM DEA TR: t = T-poll__handleAnsP3_310
lola: REM DEA TR: t = T-poll__handleAnsP3_318
lola: REM DEA TR: t = T-poll__handleAnsP3_342
lola: REM DEA TR: t = T-poll__handleAnsP3_350
lola: REM DEA TR: t = T-poll__handleAnsP3_374
lola: REM DEA TR: t = T-poll__handleAnsP3_382
lola: REM DEA TR: t = T-poll__handleAI2_318
lola: REM DEA TR: t = T-poll__handleAI2_350
lola: REM DEA TR: t = T-poll__handleAI2_382
lola: REM DEA TR: t = T-poll__handleAnnP1_70
lola: REM DEA TR: t = T-poll__handleAnnP1_78
lola: REM DEA TR: t = T-poll__handleAnnP1_86
lola: REM DEA TR: t = T-poll__handleAnnP1_94
lola: REM DEA TR: t = T-poll__handleAskP_89
lola: REM DEA TR: t = T-poll__handleAskP_90
lola: REM DEA TR: t = T-poll__handleAskP_91
lola: REM DEA TR: t = T-poll__handleAskP_92
lola: REM DEA TR: t = T-poll__handleAnsP2_70
lola: REM DEA TR: t = T-poll__handleAnsP2_78
lola: REM DEA TR: t = T-poll__handleAnsP2_86
lola: REM DEA TR: t = T-poll__handleAnsP2_94
lola: REM DEA TR: t = T-poll__handleAnnP2_10
lola: REM DEA TR: t = T-poll__handleAnnP2_11
lola: REM DEA TR: t = T-poll__handleAnnP2_12
lola: REM DEA TR: t = T-poll__handleAnsP3_271
lola: REM DEA TR: t = T-poll__handleAnsP3_287
lola: REM DEA TR: t = T-poll__handleAI2_287
lola: REM DEA TR: t = T-poll__handleAnsP3_303
lola: REM DEA TR: t = T-poll__handleAnsP3_319
lola: REM DEA TR: t = T-poll__handleAnsP3_335
lola: REM DEA TR: t = T-poll__handleAnsP3_351
lola: REM DEA TR: t = T-poll__handleAnsP3_367
lola: REM DEA TR: t = T-poll__handleAnsP3_383
lola: REM DEA TR: t = T-poll__handleAI2_319
lola: REM DEA TR: t = T-poll__handleAI2_351
lola: REM DEA TR: t = T-poll__handleAI2_383
lola: REM DEA TR: t = T-poll__handleAnnP2_9
lola: REM DEA TR: t = T-poll__handleAskP_93
lola: REM DEA TR: t = T-poll__handleAskP_94
lola: REM DEA TR: t = T-poll__handleAskP_95
lola: REM DEA TR: t = T-poll__handleAskP_96
lola: REM DEA TR: t = T-poll__handleAnsP2_72
lola: REM DEA TR: t = T-poll__handleAnsP2_80
lola: REM DEA TR: t = T-poll__handleAnsP2_88
lola: REM DEA TR: t = T-poll__handleAnsP2_96
lola: REM DEA TR: t = T-poll__handleAnsP3_272
lola: REM DEA TR: t = T-poll__handleAnsP3_280
lola: REM DEA TR: t = T-poll__handleAI2_288
lola: REM DEA TR: t = T-poll__handleAnsP3_304
lola: REM DEA TR: t = T-poll__handleAnsP3_312
lola: REM DEA TR: t = T-poll__handleAnsP3_336
lola: REM DEA TR: t = T-poll__handleAnsP3_344
lola: REM DEA TR: t = T-poll__handleAnsP3_368
lola: REM DEA TR: t = T-poll__handleAnsP3_376
lola: REM DEA TR: t = T-poll__handleAI2_320
lola: REM DEA TR: t = T-poll__handleAI2_352
lola: REM DEA TR: t = T-poll__handleAI2_384
lola: REM DEA TR: t = T-poll__handleAnnP1_72
lola: REM DEA TR: t = T-poll__handleAnnP1_80
lola: REM DEA TR: t = T-poll__handleAnnP1_88
lola: REM DEA TR: t = T-poll__handleAnnP1_96
lola: REM DEA TR: t = T-poll__handleRP_1
lola: REM DEA TR: t = T-poll__handleAnsP4_43
lola: REM DEA TR: t = T-poll__handleAnsP4_44
lola: REM DEA TR: t = T-poll__handleAnsP4_45
lola: REM DEA TR: t = T-poll__handleAnsP4_46
lola: REM DEA TR: t = T-poll__handleAnsP4_47
lola: REM DEA TR: t = T-poll__handleAnsP4_48
lola: REM DEA TR: t = T-poll__handleAnnP1_101
lola: REM DEA TR: t = T-poll__handleAnnP1_102
lola: REM DEA TR: t = T-poll__handleAnnP1_103
lola: REM DEA TR: t = T-poll__handleAnnP2_13
lola: REM DEA TR: t = T-poll__handleAnnP1_97
lola: REM DEA TR: t = T-poll__handleAnnP1_98
lola: REM DEA TR: t = T-poll__handleAnnP1_99
lola: REM DEA TR: t = T-startNeg__send_14
lola: REM DEA TR: t = T-startNeg__send_18
lola: REM DEA TR: t = T-sendAnnPs__send_13
lola: REM DEA TR: t = T-sendAnnPs__send_14
lola: REM DEA TR: t = T-sendAnnPs__send_15
lola: REM DEA TR: t = T-sendAnnPs__send_16
lola: REM DEA TR: t = T-sendAnnPs__send_17
lola: REM DEA TR: t = T-sendAnnPs__send_18
lola: REM DEA TR: t = T-sendAnnPs__send_19
lola: REM DEA TR: t = T-sendAnnPs__send_20
lola: REM DEA TR: t = T-poll__handleRP_6
lola: REM DEA TR: t = T-poll__handleRP_13
lola: REM DEA TR: t = T-poll__handleAnsP4_67
lola: REM DEA TR: t = T-poll__handleAnsP4_68
lola: REM DEA TR: t = T-poll__handleAnsP4_69
lola: REM DEA TR: t = T-poll__handleAnsP4_70
lola: REM DEA TR: t = T-poll__handleAnsP4_71
lola: REM DEA TR: t = T-poll__handleAnsP4_72
lola: REM DEA TR: t = T-poll__handleAnnP1_121
lola: REM DEA TR: t = T-poll__handleAnnP1_122
lola: REM DEA TR: t = T-poll__handleAnnP1_123
lola: REM DEA TR: t = T-poll__handleAnnP1_125
lola: REM DEA TR: t = T-poll__handleAnnP1_126
lola: REM DEA TR: t = T-poll__handleAnnP1_127
lola: REM DEA TR: t = T-poll__handleAnnP2_16
lola: REM DEA TR: t = T-sendAnnPs__send_25
lola: REM DEA TR: t = T-sendAnnPs__send_26
lola: REM DEA TR: t = T-sendAnnPs__send_27
lola: REM DEA TR: t = T-sendAnnPs__send_28
lola: REM DEA TR: t = T-sendAnnPs__send_29
lola: REM DEA TR: t = T-sendAnnPs__send_30
lola: REM DEA TR: t = T-sendAnnPs__send_31
lola: REM DEA TR: t = T-sendAnnPs__send_32
lola: REM DEA TR: t = T-startNeg__send_27
lola: REM DEA TR: t = T-startNeg__send_31
lola: REM DEA TR: t = T-startNeg__send_16
lola: REM DEA TR: t = T-poll__handleRP_4
lola: REM DEA TR: t = T-poll__handleAI1_17
lola: REM DEA TR: t = T-poll__handleAI1_21
lola: REM DEA TR: t = T-poll__handleAI2_145
lola: REM DEA TR: t = T-poll__handleAI2_146
lola: REM DEA TR: t = T-poll__handleAI2_147
lola: REM DEA TR: t = T-poll__handleAI2_148
lola: REM DEA TR: t = T-poll__handleAI2_149
lola: REM DEA TR: t = T-poll__handleAI2_150
lola: REM DEA TR: t = T-poll__handleAI2_151
lola: REM DEA TR: t = T-poll__handleAI2_152
lola: REM DEA TR: t = T-poll__handleAI2_153
lola: REM DEA TR: t = T-poll__handleAI2_154
lola: REM DEA TR: t = T-poll__handleAI2_155
lola: REM DEA TR: t = T-poll__handleAI2_156
lola: REM DEA TR: t = T-poll__handleAI2_157
lola: REM DEA TR: t = T-poll__handleAI2_158
lola: REM DEA TR: t = T-poll__handleAI2_159
lola: REM DEA TR: t = T-poll__handleAI2_160
lola: REM DEA TR: t = T-poll__handleAnnP2_3
lola: REM DEA TR: t = T-poll__handleAnnP1_18
lola: REM DEA TR: t = T-poll__handleAnnP1_19
lola: REM DEA TR: t = T-poll__handleAnnP1_20
lola: REM DEA TR: t = T-poll__handleAnnP1_22
lola: REM DEA TR: t = T-poll__handleAnnP1_23
lola: REM DEA TR: t = T-poll__handleAnnP1_24
lola: REM DEA TR: t = T-poll__handleRP_11
lola: REM DEA TR: t = T-poll__handleAI1_35
lola: REM DEA TR: t = T-poll__handleAI1_39
lola: REM DEA TR: t = T-poll__handleAI1_43
lola: REM DEA TR: t = T-poll__handleAI2_345
lola: REM DEA TR: t = T-poll__handleAI2_346
lola: REM DEA TR: t = T-poll__handleAI2_347
lola: REM DEA TR: t = T-poll__handleAI2_348
lola: REM DEA TR: t = T-poll__handleAI2_349
lola: REM DEA TR: t = T-poll__handleAskP_13
lola: REM DEA TR: t = T-poll__handleAskP_17
lola: REM DEA TR: t = T-poll__handleAskP_21
lola: REM DEA TR: t = T-poll__handleAskP_25
lola: REM DEA TR: t = T-poll__handleAskP_29
lola: REM DEA TR: t = T-poll__handleAskP_1
lola: REM DEA TR: t = T-poll__handleAskP_5
lola: REM DEA TR: t = T-poll__handleAskP_9
lola: REM DEA TR: t = T-poll__handleAnsP4_91
lola: REM DEA TR: t = T-poll__handleAnsP4_92
lola: REM DEA TR: t = T-poll__handleAnsP4_93
lola: REM DEA TR: t = T-poll__handleAnsP4_94
lola: REM DEA TR: t = T-poll__handleAnsP4_95
lola: REM DEA TR: t = T-poll__handleAnsP4_96
lola: REM DEA TR: t = T-sendAnnPs__send_38
lola: REM DEA TR: t = T-sendAnnPs__send_43
lola: REM DEA TR: t = T-startNeg__send_19
lola: REM DEA TR: t = T-poll__handleAI1_4
lola: REM DEA TR: t = T-poll__handleAI2_105
lola: REM DEA TR: t = T-poll__handleAI2_106
lola: REM DEA TR: t = T-poll__handleAI2_107
lola: REM DEA TR: t = T-poll__handleAI2_108
lola: REM DEA TR: t = T-poll__handleAI2_109
lola: REM DEA TR: t = T-poll__handleAI2_110
lola: REM DEA TR: t = T-poll__handleAI2_111
lola: REM DEA TR: t = T-poll__handleAI2_112
lola: REM DEA TR: t = T-poll__handleAI2_113
lola: REM DEA TR: t = T-poll__handleAI2_114
lola: REM DEA TR: t = T-poll__handleAI2_115
lola: REM DEA TR: t = T-poll__handleAI2_116
lola: REM DEA TR: t = T-poll__handleAI2_117
lola: REM DEA TR: t = T-poll__handleAI2_118
lola: REM DEA TR: t = T-poll__handleAI2_119
lola: REM DEA TR: t = T-poll__handleAI2_120
lola: REM DEA TR: t = T-poll__handleAI2_121
lola: REM DEA TR: t = T-poll__handleAI2_122
lola: REM DEA TR: t = T-poll__handleAI2_123
lola: REM DEA TR: t = T-poll__handleAI2_124
lola: REM DEA TR: t = T-poll__handleAI2_125
lola: REM DEA TR: t = T-poll__handleAI2_126
lola: REM DEA TR: t = T-poll__handleAI2_127
lola: REM DEA TR: t = T-poll__handleAI2_128
lola: REM DEA TR: t = T-poll__handleAnnP2_6
lola: REM DEA TR: t = T-poll__handleAnnP1_41
lola: REM DEA TR: t = T-poll__handleAnnP1_43
lola: REM DEA TR: t = T-poll__handleAnnP1_44
lola: REM DEA TR: t = T-poll__handleAnnP1_45
lola: REM DEA TR: t = T-poll__handleAnnP1_47
lola: REM DEA TR: t = T-poll__handleAnnP1_48
lola: REM DEA TR: t = T-poll__handleRP_16
lola: REM DEA TR: t = T-poll__handleAnsP4_115
lola: REM DEA TR: t = T-poll__handleAnsP4_116
lola: REM DEA TR: t = T-poll__handleAnsP4_117
lola: REM DEA TR: t = T-poll__handleAnsP4_118
lola: REM DEA TR: t = T-poll__handleAnsP4_119
lola: REM DEA TR: t = T-poll__handleAnsP4_120
lola: REM DEA TR: t = T-poll__handleAI2_14
lola: REM DEA TR: t = T-poll__handleAI2_22
lola: REM DEA TR: t = T-poll__handleAI2_30
lola: REM DEA TR: t = T-poll__handleAI2_46
lola: REM DEA TR: t = T-poll__handleAI2_54
lola: REM DEA TR: t = T-poll__handleAI2_62
lola: REM DEA TR: t = T-poll__handleAI2_78
lola: REM DEA TR: t = T-poll__handleAI2_86
lola: REM DEA TR: t = T-poll__handleAI2_94
lola: REM DEA TR: t = T-poll__handleAskP_23
lola: REM DEA TR: t = T-poll__handleAskP_24
lola: REM DEA TR: t = T-poll__handleAnsP3_22
lola: REM DEA TR: t = T-poll__handleAnsP3_30
lola: REM DEA TR: t = T-poll__handleAnsP3_54
lola: REM DEA TR: t = T-poll__handleAnsP3_62
lola: REM DEA TR: t = T-poll__handleAnsP3_86
lola: REM DEA TR: t = T-poll__handleAnsP3_94
lola: REM DEA TR: t = T-poll__handleAnsP2_12
lola: REM DEA TR: t = T-poll__handleAnsP2_20
lola: REM DEA TR: t = T-poll__handleAnsP2_28
lola: REM DEA TR: t = T-poll__handleAnsP3_118
lola: REM DEA TR: t = T-poll__handleAnsP3_126
lola: REM DEA TR: t = T-poll__handleAnsP2_4
lola: REM DEA TR: t = T-poll__handleAnnP1_6
lola: REM DEA TR: t = T-poll__handleAnnP1_14
lola: REM DEA TR: t = T-poll__handleAnnP1_30
lola: REM DEA TR: t = T-poll__handleAI2_15
lola: REM DEA TR: t = T-poll__handleAI2_23
lola: REM DEA TR: t = T-poll__handleAI2_31
lola: REM DEA TR: t = T-poll__handleAI2_47
lola: REM DEA TR: t = T-poll__handleAI2_55
lola: REM DEA TR: t = T-poll__handleAI2_63
lola: REM DEA TR: t = T-poll__handleAI2_79
lola: REM DEA TR: t = T-poll__handleAI2_87
lola: REM DEA TR: t = T-poll__handleAI2_95
lola: REM DEA TR: t = T-poll__handleAskP_27
lola: REM DEA TR: t = T-poll__handleAskP_28
lola: REM DEA TR: t = T-poll__handleAnsP3_15
lola: REM DEA TR: t = T-poll__handleAnsP3_31
lola: REM DEA TR: t = T-poll__handleAnsP3_47
lola: REM DEA TR: t = T-poll__handleAnsP3_63
lola: REM DEA TR: t = T-poll__handleAnsP3_79
lola: REM DEA TR: t = T-poll__handleAnsP3_95
lola: REM DEA TR: t = T-poll__handleAnsP2_14
lola: REM DEA TR: t = T-poll__handleAnsP2_22
lola: REM DEA TR: t = T-poll__handleAnsP2_30
lola: REM DEA TR: t = T-poll__handleAnsP3_111
lola: REM DEA TR: t = T-poll__handleAnsP3_127
lola: REM DEA TR: t = T-poll__handleAnsP2_6
lola: REM DEA TR: t = T-poll__handleAnnP1_7
lola: REM DEA TR: t = T-poll__handleAnnP1_15
lola: REM DEA TR: t = T-poll__handleAnnP1_31
lola: REM DEA TR: t = T-poll__handleAI2_16
lola: REM DEA TR: t = T-poll__handleAI2_24
lola: REM DEA TR: t = T-poll__handleAI2_32
lola: REM DEA TR: t = T-poll__handleAI2_48
lola: REM DEA TR: t = T-poll__handleAI2_56
lola: REM DEA TR: t = T-poll__handleAI2_64
lola: REM DEA TR: t = T-poll__handleAI2_80
lola: REM DEA TR: t = T-poll__handleAI2_88
lola: REM DEA TR: t = T-poll__handleAI2_96
lola: REM DEA TR: t = T-poll__handleAskP_31
lola: REM DEA TR: t = T-poll__handleAskP_32
lola: REM DEA TR: t = T-poll__handleAnsP3_16
lola: REM DEA TR: t = T-poll__handleAnsP3_24
lola: REM DEA TR: t = T-poll__handleAnsP3_48
lola: REM DEA TR: t = T-poll__handleAnsP3_56
lola: REM DEA TR: t = T-poll__handleAnsP3_80
lola: REM DEA TR: t = T-poll__handleAnsP3_88
lola: REM DEA TR: t = T-poll__handleAnsP2_16
lola: REM DEA TR: t = T-poll__handleAnsP2_24
lola: REM DEA TR: t = T-poll__handleAnsP2_32
lola: REM DEA TR: t = T-poll__handleAnsP3_112
lola: REM DEA TR: t = T-poll__handleAnsP3_120
lola: REM DEA TR: t = T-poll__handleAnsP2_8
lola: REM DEA TR: t = T-poll__handleAnnP1_8
lola: REM DEA TR: t = T-poll__handleAnnP1_16
lola: REM DEA TR: t = T-poll__handleAnnP1_32
lola: REM DEA TR: t = T-poll__handleAskP_12
lola: REM DEA TR: t = T-poll__handleAskP_16
lola: REM DEA TR: t = T-poll__handleAskP_20
lola: REM DEA TR: t = T-poll__handleAskP_4
lola: REM DEA TR: t = T-poll__handleAskP_8
lola: REM DEA TR: t = T-poll__handleAnsP4_11
lola: REM DEA TR: t = T-poll__handleAnsP4_12
lola: REM DEA TR: t = T-poll__handleAnsP4_13
lola: REM DEA TR: t = T-poll__handleAnsP4_14
lola: REM DEA TR: t = T-poll__handleAnsP4_15
lola: REM DEA TR: t = T-poll__handleAnsP4_16
lola: REM DEA TR: t = T-poll__handleAnnP1_65
lola: REM DEA TR: t = T-poll__handleAnnP1_66
lola: REM DEA TR: t = T-poll__handleAnnP1_68
lola: REM DEA TR: t = T-poll__handleAnnP1_69
lola: REM DEA TR: t = T-poll__handleAnsP4_35
lola: REM DEA TR: t = T-poll__handleAnsP4_36
lola: REM DEA TR: t = T-poll__handleAnsP4_37
lola: REM DEA TR: t = T-poll__handleAnsP4_38
lola: REM DEA TR: t = T-poll__handleAnsP4_39
lola: REM DEA TR: t = T-poll__handleAnsP4_40
lola: REM DEA TR: t = T-poll__handleAI1_52
lola: REM DEA TR: t = T-poll__handleAI1_56
lola: REM DEA TR: t = T-poll__handleAI1_60
lola: REM DEA TR: t = T-poll__handleAI1_64
lola: REM DEA TR: t = T-poll__handleAnnP1_110
lola: REM DEA TR: t = T-poll__handleAnnP1_118
lola: REM DEA TR: t = T-poll__handleAnsP2_100
lola: REM DEA TR: t = T-poll__handleAnsP2_108
lola: REM DEA TR: t = T-poll__handleAnsP2_116
lola: REM DEA TR: t = T-poll__handleAnsP2_124
lola: REM DEA TR: t = T-poll__handleAnsP3_406
lola: REM DEA TR: t = T-poll__handleAnsP3_414
lola: REM DEA TR: t = T-poll__handleAnsP3_438
lola: REM DEA TR: t = T-poll__handleAnsP3_446
lola: REM DEA TR: t = T-poll__handleAnsP3_470
lola: REM DEA TR: t = T-poll__handleAnsP3_478
lola: REM DEA TR: t = T-poll__handleAnsP3_502
lola: REM DEA TR: t = T-poll__handleAnsP3_510
lola: REM DEA TR: t = T-poll__handleAskP_117
lola: REM DEA TR: t = T-poll__handleAskP_118
lola: REM DEA TR: t = T-poll__handleAskP_119
lola: REM DEA TR: t = T-poll__handleAskP_120
lola: REM DEA TR: t = T-poll__handleAnnP1_111
lola: REM DEA TR: t = T-poll__handleAnnP1_119
lola: REM DEA TR: t = T-poll__handleAnsP2_102
lola: REM DEA TR: t = T-poll__handleAnsP2_110
lola: REM DEA TR: t = T-poll__handleAnsP2_118
lola: REM DEA TR: t = T-poll__handleAnsP2_126
lola: REM DEA TR: t = T-poll__handleAnsP3_399
lola: REM DEA TR: t = T-poll__handleAnsP3_415
lola: REM DEA TR: t = T-poll__handleAnsP3_431
lola: REM DEA TR: t = T-poll__handleAnsP3_447
lola: REM DEA TR: t = T-poll__handleAnsP3_463
lola: REM DEA TR: t = T-poll__handleAnsP3_479
lola: REM DEA TR: t = T-poll__handleAnsP3_495
lola: REM DEA TR: t = T-poll__handleAnsP3_511
lola: REM DEA TR: t = T-poll__handleAskP_121
lola: REM DEA TR: t = T-poll__handleAskP_122
lola: REM DEA TR: t = T-poll__handleAskP_123
lola: REM DEA TR: t = T-poll__handleAskP_124
lola: REM DEA TR: t = T-poll__handleAnsP2_104
lola: REM DEA TR: t = T-poll__handleAnsP2_112
lola: REM DEA TR: t = T-poll__handleAnsP2_120
lola: REM DEA TR: t = T-poll__handleAnsP2_128
lola: REM DEA TR: t = T-poll__handleAnnP2_14
lola: REM DEA TR: t = T-poll__handleAnnP2_15
lola: REM DEA TR: t = T-poll__handleAnsP3_400
lola: REM DEA TR: t = T-poll__handleAnsP3_408
lola: REM DEA TR: t = T-poll__handleAnsP3_432
lola: REM DEA TR: t = T-poll__handleAnsP3_440
lola: REM DEA TR: t = T-poll__handleAnsP3_464
lola: REM DEA TR: t = T-poll__handleAnsP3_472
lola: REM DEA TR: t = T-poll__handleAnsP3_496
lola: REM DEA TR: t = T-poll__handleAnsP3_504
lola: REM DEA TR: t = T-poll__handleAskP_125
lola: REM DEA TR: t = T-poll__handleAskP_126
lola: REM DEA TR: t = T-poll__handleAskP_127
lola: REM DEA TR: t = T-poll__handleAskP_128
lola: REM DEA TR: t = T-poll__handleAnnP1_89
lola: REM DEA TR: t = T-poll__handleAnnP1_90
lola: REM DEA TR: t = T-poll__handleAnnP1_92
lola: REM DEA TR: t = T-poll__handleAnnP1_93
lola: REM DEA TR: t = T-startNeg__send_25
lola: REM DEA TR: t = T-startNeg__send_29
lola: REM DEA TR: t = T-poll__handleRP_2
lola: REM DEA TR: t = T-poll__handleRP_9
lola: REM DEA TR: t = T-poll__handleAI2_73
lola: REM DEA TR: t = T-poll__handleAI2_74
lola: REM DEA TR: t = T-poll__handleAI2_75
lola: REM DEA TR: t = T-poll__handleAI2_76
lola: REM DEA TR: t = T-poll__handleAI2_77
lola: REM DEA TR: t = T-poll__handleAI2_81
lola: REM DEA TR: t = T-poll__handleAI2_82
lola: REM DEA TR: t = T-poll__handleAI2_83
lola: REM DEA TR: t = T-poll__handleAI2_84
lola: REM DEA TR: t = T-poll__handleAI2_85
lola: REM DEA TR: t = T-poll__handleAI2_89
lola: REM DEA TR: t = T-poll__handleAI2_90
lola: REM DEA TR: t = T-poll__handleAI2_91
lola: REM DEA TR: t = T-poll__handleAI2_92
lola: REM DEA TR: t = T-poll__handleAI2_93
lola: REM DEA TR: t = T-poll__handleAI1_3
lola: REM DEA TR: t = T-poll__handleAnsP4_59
lola: REM DEA TR: t = T-poll__handleAnsP4_60
lola: REM DEA TR: t = T-poll__handleAnsP4_61
lola: REM DEA TR: t = T-poll__handleAnsP4_62
lola: REM DEA TR: t = T-poll__handleAnsP4_63
lola: REM DEA TR: t = T-poll__handleAnsP4_64
lola: REM DEA TR: t = T-poll__handleAnnP1_113
lola: REM DEA TR: t = T-poll__handleAnnP1_114
lola: REM DEA TR: t = T-poll__handleAnnP1_115
lola: REM DEA TR: t = T-poll__handleAnnP1_117
lola: REM DEA TR: t = T-poll__handleAskP_97
lola: REM DEA TR: t = T-poll__handleAskP_101
lola: REM DEA TR: t = T-poll__handleAskP_105
lola: REM DEA TR: t = T-poll__handleAskP_109
lola: REM DEA TR: t = T-poll__handleAskP_113
lola: REM DEA TR: t = T-poll__handleAnnP2_2
lola: REM DEA TR: t = T-poll__handleAnnP1_10
lola: REM DEA TR: t = T-poll__handleAnnP1_11
lola: REM DEA TR: t = T-poll__handleAnnP1_12
lola: REM DEA TR: t = T-poll__handleRP_7
lola: REM DEA TR: t = T-poll__handleRP_14
lola: REM DEA TR: t = T-poll__handleAnsP4_83
lola: REM DEA TR: t = T-poll__handleAnsP4_84
lola: REM DEA TR: t = T-poll__handleAnsP4_85
lola: REM DEA TR: t = T-poll__handleAnsP4_86
lola: REM DEA TR: t = T-poll__handleAnsP4_87
lola: REM DEA TR: t = T-poll__handleAnsP4_88
lola: REM DEA TR: t = T-poll__handleAnnP1_105
lola: REM DEA TR: t = T-poll__handleAskP_98
lola: REM DEA TR: t = T-poll__handleAskP_99
lola: REM DEA TR: t = T-poll__handleAnsP4_107
lola: REM DEA TR: t = T-poll__handleAnsP4_109
lola: REM DEA TR: t = T-poll__handleAnsP4_111
lola: REM DEA TR: t = T-poll__handleAskP_100
lola: REM DEA TR: t = T-startNeg__send_28
lola: REM DEA TR: t = T-poll__handleAnnP2_5
lola: REM DEA TR: t = T-poll__handleAnnP1_33
lola: REM DEA TR: t = T-poll__handleAnnP1_35
lola: REM DEA TR: t = T-poll__handleAnnP1_36
lola: REM DEA TR: t = T-poll__handleAnnP1_37
lola: REM DEA TR: t = T-poll__handleAnnP1_39
lola: REM DEA TR: t = T-poll__handleAnnP1_40
lola: REM DEA TR: t = T-poll__handleAI1_33
lola: REM DEA TR: t = T-poll__handleAI1_37
lola: REM DEA TR: t = T-poll__handleAI1_41
lola: REM DEA TR: t = T-poll__handleAI2_281
lola: REM DEA TR: t = T-poll__handleAI2_282
lola: REM DEA TR: t = T-poll__handleAI2_283
lola: REM DEA TR: t = T-poll__handleAI2_284
lola: REM DEA TR: t = T-poll__handleAI2_285
lola: REM DEA TR: t = T-poll__handleAI2_10
lola: REM DEA TR: t = T-poll__handleAI2_11
lola: REM DEA TR: t = T-poll__handleAI2_12
lola: REM DEA TR: t = T-poll__handleAI2_13
lola: REM DEA TR: t = T-poll__handleAI2_17
lola: REM DEA TR: t = T-poll__handleAI2_18
lola: REM DEA TR: t = T-poll__handleAI2_19
lola: REM DEA TR: t = T-poll__handleAI2_20
lola: REM DEA TR: t = T-poll__handleAI2_21
lola: REM DEA TR: t = T-poll__handleAI2_25
lola: REM DEA TR: t = T-poll__handleAI2_26
lola: REM DEA TR: t = T-poll__handleAI2_27
lola: REM DEA TR: t = T-poll__handleAI2_28
lola: REM DEA TR: t = T-poll__handleAI2_29
lola: REM DEA TR: t = T-poll__handleAI2_41
lola: REM DEA TR: t = T-poll__handleAI2_42
lola: REM DEA TR: t = T-poll__handleAI2_43
lola: REM DEA TR: t = T-poll__handleAI2_44
lola: REM DEA TR: t = T-poll__handleAI2_45
lola: REM DEA TR: t = T-poll__handleAI2_49
lola: REM DEA TR: t = T-poll__handleAI2_50
lola: REM DEA TR: t = T-poll__handleAI2_51
lola: REM DEA TR: t = T-poll__handleAI2_52
lola: REM DEA TR: t = T-poll__handleAI2_53
lola: REM DEA TR: t = T-poll__handleAI2_57
lola: REM DEA TR: t = T-poll__handleAI2_58
lola: REM DEA TR: t = T-poll__handleAI2_59
lola: REM DEA TR: t = T-poll__handleAI2_60
lola: REM DEA TR: t = T-poll__handleAI2_61
lola: REM DEA TR: t = T-poll__handleAnsP4_27
lola: REM DEA TR: t = T-poll__handleAnsP4_28
lola: REM DEA TR: t = T-poll__handleAnsP4_29
lola: REM DEA TR: t = T-poll__handleAnsP4_30
lola: REM DEA TR: t = T-poll__handleAnsP4_31
lola: REM DEA TR: t = T-poll__handleAnsP4_32
lola: REM DEA TR: t = T-poll__handleAI1_1
lola: REM DEA TR: t = T-poll__handleAI1_2
lola: REM DEA TR: t = T-poll__handleAskP_11
lola: REM DEA TR: t = T-poll__handleAskP_15
lola: REM DEA TR: t = T-poll__handleAskP_19
lola: REM DEA TR: t = T-poll__handleAskP_3
lola: REM DEA TR: t = T-poll__handleAskP_7
lola: REM DEA TR: t = T-poll__handleAI2_9
lola: REM DEA TR: t = T-poll__handleAnsP3_11
lola: REM DEA TR: t = T-poll__handleAnsP3_12
lola: REM DEA TR: t = T-poll__handleAnsP3_18
lola: REM DEA TR: t = T-poll__handleAnsP3_20
lola: REM DEA TR: t = T-poll__handleAnsP3_26
lola: REM DEA TR: t = T-poll__handleAnsP3_27
lola: REM DEA TR: t = T-poll__handleAnsP3_43
lola: REM DEA TR: t = T-poll__handleAnsP3_44
lola: REM DEA TR: t = T-poll__handleAnsP3_50
lola: REM DEA TR: t = T-poll__handleAnsP3_52
lola: REM DEA TR: t = T-poll__handleAnsP3_58
lola: REM DEA TR: t = T-poll__handleAnsP3_59
lola: REM DEA TR: t = T-poll__handleAnsP3_75
lola: REM DEA TR: t = T-poll__handleAnsP3_76
lola: REM DEA TR: t = T-poll__handleAnsP3_82
lola: REM DEA TR: t = T-poll__handleAnsP3_84
lola: REM DEA TR: t = T-poll__handleAnsP3_90
lola: REM DEA TR: t = T-poll__handleAnsP3_91
lola: REM DEA TR: t = T-poll__handleAnsP2_11
lola: REM DEA TR: t = T-poll__handleAnsP2_13
lola: REM DEA TR: t = T-poll__handleAnsP2_15
lola: REM DEA TR: t = T-poll__handleAnsP2_19
lola: REM DEA TR: t = T-poll__handleAnsP2_21
lola: REM DEA TR: t = T-poll__handleAnsP2_23
lola: REM DEA TR: t = T-poll__handleAnsP2_27
lola: REM DEA TR: t = T-poll__handleAnsP2_29
lola: REM DEA TR: t = T-poll__handleAnsP2_31
lola: REM DEA TR: t = T-poll__handleAnsP3_107
lola: REM DEA TR: t = T-poll__handleAnsP3_108
lola: REM DEA TR: t = T-poll__handleAnsP3_114
lola: REM DEA TR: t = T-poll__handleAnsP3_116
lola: REM DEA TR: t = T-poll__handleAnsP3_122
lola: REM DEA TR: t = T-poll__handleAnsP3_123
lola: REM DEA TR: t = T-poll__handleAnsP1_1
lola: REM DEA TR: t = T-poll__handleAnsP1_2
lola: REM DEA TR: t = T-poll__handleAnsP1_3
lola: REM DEA TR: t = T-poll__handleAnsP1_4
lola: REM DEA TR: t = T-poll__handleAnsP2_3
lola: REM DEA TR: t = T-poll__handleAnsP2_5
lola: REM DEA TR: t = T-poll__handleAnsP2_7
lola: REM DEA TR: t = T-poll__handleAnnP1_2
lola: REM DEA TR: t = T-poll__handleAnnP1_3
lola: REM DEA TR: t = T-poll__handleAnnP1_4
lola: REM DEA TR: t = T-poll__handleAnsP4_3
lola: REM DEA TR: t = T-poll__handleAnsP4_4
lola: REM DEA TR: t = T-poll__handleAnsP4_5
lola: REM DEA TR: t = T-poll__handleAnsP4_6
lola: REM DEA TR: t = T-poll__handleAnsP4_7
lola: REM DEA TR: t = T-poll__handleAnsP4_8
lola: REM DEA TR: t = T-poll__handleAnnP2_1
lola: REM DEA TR: t = T-poll__handleAnnP2_4
lola: REM DEA TR: t = T-poll__handleAnnP1_26
lola: REM DEA TR: t = T-poll__handleAnnP1_27
lola: REM DEA TR: t = T-poll__handleAnnP1_28
lola: REM DEA TR: t = T-poll__handleRI_1
lola: REM DEA TR: t = T-poll__handleRI_2
lola: REM DEA TR: t = T-poll__handleRI_3
lola: REM DEA TR: t = T-poll__handleRI_4
lola: REM DEA TR: t = T-poll__handleAskP_104
lola: REM DEA TR: t = T-poll__handleAskP_108
lola: REM DEA TR: t = T-poll__handleAskP_112
lola: REM DEA TR: t = T-poll__handleAskP_116
lola: REM DEA TR: t = T-poll__handleRP_12
lola: REM DEA TR: t = T-poll__handleAnsP4_108
lola: REM DEA TR: t = T-poll__handleAnsP4_110
lola: REM DEA TR: t = T-poll__handleAnsP4_112
lola: REM DEA TR: t = T-startNeg__send_30
lola: REM DEA TR: t = T-poll__handleAnsP1_5
lola: REM DEA TR: t = T-poll__handleAnsP2_35
lola: REM DEA TR: t = T-poll__handleAnsP2_36
lola: REM DEA TR: t = T-poll__handleAnsP3_139
lola: REM DEA TR: t = T-poll__handleAnsP3_140
lola: REM DEA TR: t = T-poll__handleAnsP3_143
lola: REM DEA TR: t = T-poll__handleAnsP3_144
lola: REM DEA TR: t = T-poll__handleAnsP2_37
lola: REM DEA TR: t = T-poll__handleAnsP2_38
lola: REM DEA TR: t = T-poll__handleAnsP3_146
lola: REM DEA TR: t = T-poll__handleAnsP3_148
lola: REM DEA TR: t = T-poll__handleAnsP3_150
lola: REM DEA TR: t = T-poll__handleAnsP3_152
lola: REM DEA TR: t = T-poll__handleAnsP2_39
lola: REM DEA TR: t = T-poll__handleAnsP2_40
lola: REM DEA TR: t = T-poll__handleAnsP3_154
lola: REM DEA TR: t = T-poll__handleAnsP3_155
lola: REM DEA TR: t = T-poll__handleAnsP3_158
lola: REM DEA TR: t = T-poll__handleAnsP3_159
lola: REM DEA TR: t = T-poll__handleAnnP2_8
lola: REM DEA TR: t = T-poll__handleAnnP1_57
lola: REM DEA TR: t = T-poll__handleAnnP1_59
lola: REM DEA TR: t = T-poll__handleAnnP1_60
lola: REM DEA TR: t = T-poll__handleAnnP1_61
lola: REM DEA TR: t = T-poll__handleAnnP1_63
lola: REM DEA TR: t = T-poll__handleAnnP1_64
lola: REM DEA TR: t = T-poll__handleAskP_54
lola: REM DEA TR: t = T-poll__handleAskP_55
lola: REM DEA TR: t = T-poll__handleAskP_56
lola: REM DEA TR: t = T-poll__handleAnsP2_44
lola: REM DEA TR: t = T-poll__handleAnsP2_52
lola: REM DEA TR: t = T-poll__handleAnsP2_60
lola: REM DEA TR: t = T-poll__handleAnsP3_182
lola: REM DEA TR: t = T-poll__handleAnsP3_190
lola: REM DEA TR: t = T-poll__handleAI2_182
lola: REM DEA TR: t = T-poll__handleAI2_190
lola: REM DEA TR: t = T-poll__handleAnsP3_214
lola: REM DEA TR: t = T-poll__handleAnsP3_222
lola: REM DEA TR: t = T-poll__handleAnsP3_246
lola: REM DEA TR: t = T-poll__handleAnsP3_254
lola: REM DEA TR: t = T-poll__handleAI2_214
lola: REM DEA TR: t = T-poll__handleAI2_222
lola: REM DEA TR: t = T-poll__handleAI2_246
lola: REM DEA TR: t = T-poll__handleAI2_254
lola: REM DEA TR: t = T-poll__handleAnnP2_7
lola: REM DEA TR: t = T-poll__handleAskP_58
lola: REM DEA TR: t = T-poll__handleAskP_59
lola: REM DEA TR: t = T-poll__handleAskP_60
lola: REM DEA TR: t = T-poll__handleAnsP2_46
lola: REM DEA TR: t = T-poll__handleAnsP2_54
lola: REM DEA TR: t = T-poll__handleAnsP2_62
lola: REM DEA TR: t = T-poll__handleAnsP3_175
lola: REM DEA TR: t = T-poll__handleAnsP3_191
lola: REM DEA TR: t = T-poll__handleAI2_183
lola: REM DEA TR: t = T-poll__handleAI2_191
lola: REM DEA TR: t = T-poll__handleAnsP3_207
lola: REM DEA TR: t = T-poll__handleAnsP3_223
lola: REM DEA TR: t = T-poll__handleAnsP3_239
lola: REM DEA TR: t = T-poll__handleAnsP3_255
lola: REM DEA TR: t = T-poll__handleAI2_215
lola: REM DEA TR: t = T-poll__handleAI2_223
lola: REM DEA TR: t = T-poll__handleAI2_247
lola: REM DEA TR: t = T-poll__handleAI2_255
lola: REM DEA TR: t = T-poll__handleAnnP1_55
lola: REM DEA TR: t = T-poll__handleAskP_62
lola: REM DEA TR: t = T-poll__handleAskP_63
lola: REM DEA TR: t = T-poll__handleAskP_64
lola: REM DEA TR: t = T-poll__handleAnsP2_48
lola: REM DEA TR: t = T-poll__handleAnsP2_56
lola: REM DEA TR: t = T-poll__handleAnsP2_64
lola: REM DEA TR: t = T-poll__handleAnsP3_176
lola: REM DEA TR: t = T-poll__handleAnsP3_184
lola: REM DEA TR: t = T-poll__handleAI2_184
lola: REM DEA TR: t = T-poll__handleAI2_192
lola: REM DEA TR: t = T-poll__handleAnsP3_208
lola: REM DEA TR: t = T-poll__handleAnsP3_216
lola: REM DEA TR: t = T-poll__handleAnsP3_240
lola: REM DEA TR: t = T-poll__handleAnsP3_248
lola: REM DEA TR: t = T-poll__handleAI2_216
lola: REM DEA TR: t = T-poll__handleAI2_224
lola: REM DEA TR: t = T-poll__handleAI2_248
lola: REM DEA TR: t = T-poll__handleAI2_256
lola: REM DEA TR: t = T-poll__handleAnnP1_56
lola: REM DEA TR: t = T-poll__handleAskP_34
lola: REM DEA TR: t = T-poll__handleAskP_38
lola: REM DEA TR: t = T-poll__handleAskP_42
lola: REM DEA TR: t = T-poll__handleAskP_46
lola: REM DEA TR: t = T-poll__handleAskP_50
lola: REM DEA TR: t = T-poll__handleRI_13
lola: REM DEA TR: t = T-poll__handleAnnP1_81
lola: REM DEA TR: t = T-poll__handleAnnP1_82
lola: REM DEA TR: t = T-poll__handleAnnP1_84
lola: REM DEA TR: t = T-poll__handleAnnP1_85
lola: REM DEA TR: t = T-poll__handleAskP_65
lola: REM DEA TR: t = T-poll__handleAskP_69
lola: REM DEA TR: t = T-poll__handleAskP_73
lola: REM DEA TR: t = T-poll__handleAskP_77
lola: REM DEA TR: t = T-poll__handleAskP_81
lola: REM DEA TR: t = T-poll__handleAnnP1_107
lola: REM DEA TR: t = T-poll__handleAnnP1_109
lola: REM DEA TR: t = T-poll__handleAskP_39
lola: REM DEA TR: t = T-poll__handleAskP_40
lola: REM DEA TR: t = T-poll__handleAnsP2_43
lola: REM DEA TR: t = T-poll__handleAnsP2_51
lola: REM DEA TR: t = T-poll__handleAnsP2_59
lola: REM DEA TR: t = T-poll__handleAnsP3_178
lola: REM DEA TR: t = T-poll__handleAnsP3_186
lola: REM DEA TR: t = T-poll__handleAI2_178
lola: REM DEA TR: t = T-poll__handleAI2_186
lola: REM DEA TR: t = T-poll__handleAnsP3_210
lola: REM DEA TR: t = T-poll__handleAnsP3_218
lola: REM DEA TR: t = T-poll__handleAnsP3_242
lola: REM DEA TR: t = T-poll__handleAnsP3_250
lola: REM DEA TR: t = T-poll__handleAI2_210
lola: REM DEA TR: t = T-poll__handleAI2_218
lola: REM DEA TR: t = T-poll__handleAI2_242
lola: REM DEA TR: t = T-poll__handleAI2_250
lola: REM DEA TR: t = T-poll__handleAskP_47
lola: REM DEA TR: t = T-poll__handleAskP_48
lola: REM DEA TR: t = T-poll__handleAnsP2_47
lola: REM DEA TR: t = T-poll__handleAnsP2_55
lola: REM DEA TR: t = T-poll__handleAnsP2_63
lola: REM DEA TR: t = T-poll__handleAnsP3_172
lola: REM DEA TR: t = T-poll__handleAnsP3_180
lola: REM DEA TR: t = T-poll__handleAI2_180
lola: REM DEA TR: t = T-poll__handleAI2_188
lola: REM DEA TR: t = T-poll__handleAnsP3_204
lola: REM DEA TR: t = T-poll__handleAnsP3_212
lola: REM DEA TR: t = T-poll__handleAnsP3_236
lola: REM DEA TR: t = T-poll__handleAnsP3_244
lola: REM DEA TR: t = T-poll__handleAI2_212
lola: REM DEA TR: t = T-poll__handleAI2_220
lola: REM DEA TR: t = T-poll__handleAI2_244
lola: REM DEA TR: t = T-poll__handleAI2_252
lola: REM DEA TR: t = T-poll__handleAnnP1_52
lola: REM DEA TR: t = T-poll__handleAI1_49
lola: REM DEA TR: t = T-poll__handleAI1_50
lola: REM DEA TR: t = T-poll__handleAI1_51
lola: REM DEA TR: t = T-poll__handleAnsP2_107
lola: REM DEA TR: t = T-poll__handleAnsP3_427
lola: REM DEA TR: t = T-poll__handleAnsP3_428
lola: REM DEA TR: t = T-poll__handleAnsP2_111
lola: REM DEA TR: t = T-poll__handleAnsP3_442
lola: REM DEA TR: t = T-poll__handleAnsP3_443
lola: REM DEA TR: t = T-poll__handleAI1_53
lola: REM DEA TR: t = T-poll__handleAI1_57
lola: REM DEA TR: t = T-poll__handleAI1_61
lola: REM DEA TR: t = T-poll__handleAnnP1_49
lola: REM DEA TR: t = T-poll__handleAnnP1_53
lola: REM DEA TR: t = T-poll__handleAI1_18
lola: REM DEA TR: t = T-poll__handleAI1_22
lola: REM DEA TR: t = T-poll__handleAI2_177
lola: REM DEA TR: t = T-poll__handleAI2_179
lola: REM DEA TR: t = T-poll__handleAI2_181
lola: REM DEA TR: t = T-poll__handleAI2_185
lola: REM DEA TR: t = T-poll__handleAI2_187
lola: REM DEA TR: t = T-poll__handleAI2_189
lola: REM DEA TR: t = T-poll__handleRI_9
lola: REM DEA TR: t = T-poll__handleAnnP1_73
lola: REM DEA TR: t = T-poll__handleAnnP1_76
lola: REM DEA TR: t = T-poll__handleAnnP1_77
lola: REM DEA TR: t = T-poll__handleAnsP2_75
lola: REM DEA TR: t = T-poll__handleAnsP3_299
lola: REM DEA TR: t = T-poll__handleAnsP3_300
lola: REM DEA TR: t = T-poll__handleAnsP2_79
lola: REM DEA TR: t = T-poll__handleAnsP3_314
lola: REM DEA TR: t = T-poll__handleAnsP3_315
lola: REM DEA TR: t = T-poll__handleAskP_67
lola: REM DEA TR: t = T-poll__handleAskP_71
lola: REM DEA TR: t = T-poll__handleAskP_75
lola: REM DEA TR: t = T-poll__handleAskP_79
lola: REM DEA TR: t = T-poll__handleAskP_83
lola: REM DEA TR: t = T-poll__handleAI1_34
lola: REM DEA TR: t = T-poll__handleAI1_36
lola: REM DEA TR: t = T-poll__handleAnsP1_13
lola: REM DEA TR: t = T-poll__handleAnsP2_99
lola: REM DEA TR: t = T-poll__handleAnsP3_395
lola: REM DEA TR: t = T-poll__handleAnsP3_396
lola: REM DEA TR: t = T-poll__handleAnsP2_101
lola: REM DEA TR: t = T-poll__handleAnsP3_402
lola: REM DEA TR: t = T-poll__handleAnsP3_404
lola: REM DEA TR: t = T-poll__handleAnsP2_103
lola: REM DEA TR: t = T-poll__handleAnsP3_410
lola: REM DEA TR: t = T-poll__handleAnsP3_411
lola: REM DEA TR: t = T-poll__handleAskP_70
lola: REM DEA TR: t = T-poll__handleAskP_72
lola: REM DEA TR: t = T-poll__handleAnsP2_67
lola: REM DEA TR: t = T-poll__handleAnsP2_83
lola: REM DEA TR: t = T-poll__handleAnsP2_91
lola: REM DEA TR: t = T-poll__handleAnsP3_274
lola: REM DEA TR: t = T-poll__handleAnsP3_282
lola: REM DEA TR: t = T-poll__handleAnsP3_306
lola: REM DEA TR: t = T-poll__handleAnsP3_338
lola: REM DEA TR: t = T-poll__handleAnsP3_346
lola: REM DEA TR: t = T-poll__handleAnsP3_370
lola: REM DEA TR: t = T-poll__handleAnsP3_378
lola: REM DEA TR: t = T-poll__handleAI2_314
lola: REM DEA TR: t = T-poll__handleAI2_378
lola: REM DEA TR: t = T-poll__handleAskP_74
lola: REM DEA TR: t = T-poll__handleAskP_76
lola: REM DEA TR: t = T-poll__handleAnsP2_69
lola: REM DEA TR: t = T-poll__handleAnsP2_77
lola: REM DEA TR: t = T-poll__handleAnsP2_85
lola: REM DEA TR: t = T-poll__handleAnsP2_93
lola: REM DEA TR: t = T-poll__handleAnsP3_267
lola: REM DEA TR: t = T-poll__handleAnsP3_283
lola: REM DEA TR: t = T-poll__handleAnsP3_331
lola: REM DEA TR: t = T-poll__handleAnsP3_347
lola: REM DEA TR: t = T-poll__handleAnsP3_363
lola: REM DEA TR: t = T-poll__handleAnsP3_379
lola: REM DEA TR: t = T-poll__handleAI2_315
lola: REM DEA TR: t = T-poll__handleAI2_379
lola: REM DEA TR: t = T-poll__handleAskP_78
lola: REM DEA TR: t = T-poll__handleAskP_80
lola: REM DEA TR: t = T-poll__handleAnsP2_71
lola: REM DEA TR: t = T-poll__handleAnsP2_87
lola: REM DEA TR: t = T-poll__handleAnsP2_95
lola: REM DEA TR: t = T-poll__handleAnsP3_268
lola: REM DEA TR: t = T-poll__handleAnsP3_276
lola: REM DEA TR: t = T-poll__handleAnsP3_308
lola: REM DEA TR: t = T-poll__handleAnsP3_332
lola: REM DEA TR: t = T-poll__handleAnsP3_340
lola: REM DEA TR: t = T-poll__handleAnsP3_364
lola: REM DEA TR: t = T-poll__handleAnsP3_372
lola: REM DEA TR: t = T-poll__handleAI2_316
lola: REM DEA TR: t = T-poll__handleAI2_380
lola: REM DEA TR: t = T-poll__handleAnsP1_16
lola: REM DEA TR: t = T-poll__handleAnsP2_123
lola: REM DEA TR: t = T-poll__handleAnsP3_491
lola: REM DEA TR: t = T-poll__handleAnsP3_492
lola: REM DEA TR: t = T-poll__handleAnsP2_125
lola: REM DEA TR: t = T-poll__handleAnsP3_498
lola: REM DEA TR: t = T-poll__handleAnsP3_500
lola: REM DEA TR: t = T-poll__handleAnsP2_127
lola: REM DEA TR: t = T-poll__handleAnsP3_506
lola: REM DEA TR: t = T-poll__handleAnsP3_507
lola: REM DEA TR: t = T-poll__handleRI_5
lola: REM DEA TR: t = T-poll__handleAnsP1_6
lola: REM DEA TR: t = T-poll__handleAnsP3_171
lola: REM DEA TR: t = T-poll__handleAnsP2_45
lola: REM DEA TR: t = T-poll__handleAnsP3_187
lola: REM DEA TR: t = T-poll__handleAnsP1_9
lola: REM DEA TR: t = T-poll__handleAI1_19
lola: REM DEA TR: t = T-poll__handleAI1_20
lola: REM DEA TR: t = T-poll__handleAnsP2_115
lola: REM DEA TR: t = T-poll__handleAnsP3_459
lola: REM DEA TR: t = T-poll__handleAnsP3_460
lola: REM DEA TR: t = T-poll__handleAnsP2_117
lola: REM DEA TR: t = T-poll__handleAnsP3_466
lola: REM DEA TR: t = T-poll__handleAnsP3_468
lola: REM DEA TR: t = T-poll__handleAnsP2_119
lola: REM DEA TR: t = T-poll__handleAnsP3_474
lola: REM DEA TR: t = T-poll__handleAnsP3_475
lola: REM DEA TR: t = T-poll__handleAnsP3_434
lola: REM DEA TR: t = T-poll__handleAskP_102
lola: REM DEA TR: t = T-poll__handleAskP_103
lola: REM DEA TR: t = T-poll__handleAnsP2_109
lola: REM DEA TR: t = T-poll__handleAskP_106
lola: REM DEA TR: t = T-poll__handleAskP_107
lola: REM DEA TR: t = T-poll__handleAnsP3_436
lola: REM DEA TR: t = T-poll__handleAskP_110
lola: REM DEA TR: t = T-poll__handleAskP_111
lola: REM DEA TR: t = T-poll__handleRI_6
lola: REM DEA TR: t = T-poll__handleAnsP3_235
lola: REM DEA TR: t = T-poll__handleAnsP2_61
lola: REM DEA TR: t = T-poll__handleAnsP3_251
lola: REM DEA TR: t = T-poll__handleAnsP1_11
lola: REM DEA TR: t = T-poll__handleAskP_43
lola: REM DEA TR: t = T-poll__handleAskP_44
lola: REM DEA TR: t = T-poll__handleAnsP2_53
lola: REM DEA TR: t = T-poll__handleAnsP3_203
lola: REM DEA TR: t = T-poll__handleAnsP3_219
lola: REM DEA TR: t = T-poll__handleAI2_211
lola: REM DEA TR: t = T-poll__handleAI2_219
lola: REM DEA TR: t = T-poll__handleAI2_243
lola: REM DEA TR: t = T-poll__handleAI2_251
lola: REM DEA TR: t = T-poll__handleAI1_23
lola: REM DEA TR: t = T-poll__handleAI1_24
lola: REM DEA TR: t = T-poll__handleRI_16
lola: REM DEA TR: t = T-poll__handleAI1_62
lola: REM DEA TR: t = T-poll__handleAI1_63
lola: REM DEA TR: t = T-poll__handleRI_11
lola: REM DEA TR: t = T-poll__handleAI1_42
lola: REM DEA TR: t = T-poll__handleAI1_44
lola: 3 The net is safe
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-PT-3"
export BK_EXAMINATION="OneSafe"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is NeoElection-PT-3, examination is OneSafe"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r144-tall-162089134500115"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-PT-3.tgz
mv NeoElection-PT-3 execution
cd execution
if [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "UpperBounds" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] || [ "OneSafe" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "OneSafe" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "OneSafe" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "OneSafe.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property OneSafe.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "OneSafe.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] ; then
echo "FORMULA_NAME OneSafe"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;