fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r128-smll-149441681200128
Last Updated
June 27, 2017

About the Execution of LoLA for S_PhaseVariation-PT-D20CS100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
632.800 3539460.00 3546431.00 11881.20 ? ? 1 ? 1 ? ? ? ? 1 ? ? 1 1 ? ? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PhaseVariation-PT-D20CS100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681200128
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-0
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-1
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-10
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-11
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-12
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-13
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-14
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-15
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-2
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-3
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-4
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-5
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-6
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-7
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-8
FORMULA_NAME PhaseVariation-PT-D20CS100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496295518865


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PhaseVariation-PT-D20CS100: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_PhaseVariation-PT-D20CS100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PhaseVariation-PT-D20CS100 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14659/65536 symbol table entries, 2626 collisions
lola: preprocessing...
lola: finding significant places
lola: 1202 places, 13457 transitions, 801 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2 transition conflict sets
lola: TASK
lola: reading formula from PhaseVariation-PT-D20CS100-UpperBounds.task
lola: MAX(cell___18_7__B_) : MAX(cell___8_14__B_) : MAX(cell___3_10__B_) : MAX(pool__19_7_) : MAX(cell___1_11__B_) : MAX(cell___9_7__A_) : MAX(pool__2_11_) : MAX(pool__15_10_) : MAX(cell___19_16__A_) : MAX(cell___1_11__A_) : MAX(pool__11_17_) : MAX(cell___4_3__A_) : MAX(pool__6_14_) : MAX(cell___18_11__A_) : MAX(cell___5_3__B_) : MAX(cell___19_2__B_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___18_7__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2685 markings, 18634 edges, 537 markings/sec, 0 secs
lola: 8801 markings, 87093 edges, 1223 markings/sec, 5 secs
lola: 14968 markings, 153180 edges, 1233 markings/sec, 10 secs
lola: 20836 markings, 229871 edges, 1174 markings/sec, 15 secs
lola: 26436 markings, 316102 edges, 1120 markings/sec, 20 secs
lola: 32557 markings, 384202 edges, 1224 markings/sec, 25 secs
lola: 38424 markings, 461038 edges, 1173 markings/sec, 30 secs
lola: 44022 markings, 547476 edges, 1120 markings/sec, 35 secs
lola: 50132 markings, 615287 edges, 1222 markings/sec, 40 secs
lola: 55985 markings, 692012 edges, 1171 markings/sec, 45 secs
lola: 61572 markings, 778320 edges, 1117 markings/sec, 50 secs
lola: 67244 markings, 861281 edges, 1134 markings/sec, 55 secs
lola: 72672 markings, 952739 edges, 1086 markings/sec, 60 secs
lola: 77901 markings, 1051234 edges, 1046 markings/sec, 65 secs
lola: 83681 markings, 1131139 edges, 1156 markings/sec, 70 secs
lola: 89594 markings, 1206242 edges, 1183 markings/sec, 75 secs
lola: 95622 markings, 1276769 edges, 1206 markings/sec, 80 secs
lola: 101539 markings, 1351579 edges, 1183 markings/sec, 85 secs
lola: 107272 markings, 1433348 edges, 1147 markings/sec, 90 secs
lola: 113045 markings, 1513448 edges, 1155 markings/sec, 95 secs
lola: 118796 markings, 1593776 edges, 1150 markings/sec, 100 secs
lola: 124375 markings, 1679920 edges, 1116 markings/sec, 105 secs
lola: 129704 markings, 1775191 edges, 1066 markings/sec, 110 secs
lola: 135376 markings, 1858469 edges, 1134 markings/sec, 115 secs
lola: 141284 markings, 1933714 edges, 1182 markings/sec, 120 secs
lola: 146921 markings, 2018256 edges, 1127 markings/sec, 125 secs
lola: 152596 markings, 2101464 edges, 1135 markings/sec, 130 secs
lola: 158478 markings, 2176364 edges, 1176 markings/sec, 135 secs
lola: 164116 markings, 2259674 edges, 1128 markings/sec, 140 secs
lola: 169709 markings, 2345246 edges, 1119 markings/sec, 145 secs
lola: 175460 markings, 2425327 edges, 1150 markings/sec, 150 secs
lola: 181031 markings, 2512060 edges, 1114 markings/sec, 155 secs
lola: 186447 markings, 2604812 edges, 1083 markings/sec, 160 secs
lola: 192188 markings, 2685632 edges, 1148 markings/sec, 165 secs
lola: 197608 markings, 2777623 edges, 1084 markings/sec, 170 secs
lola: 202892 markings, 2873906 edges, 1057 markings/sec, 175 secs
lola: 208649 markings, 2953334 edges, 1151 markings/sec, 180 secs
lola: 214108 markings, 3043262 edges, 1092 markings/sec, 185 secs
lola: 219328 markings, 3141346 edges, 1044 markings/sec, 190 secs
lola: 224700 markings, 3234289 edges, 1074 markings/sec, 195 secs
lola: 229823 markings, 3335701 edges, 1025 markings/sec, 200 secs
lola: 234753 markings, 3443872 edges, 986 markings/sec, 205 secs
lola: 240305 markings, 3530625 edges, 1110 markings/sec, 210 secs
lola: 246332 markings, 3600941 edges, 1205 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_14__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2814 markings, 19299 edges, 563 markings/sec, 0 secs
lola: 8939 markings, 87970 edges, 1225 markings/sec, 5 secs
lola: 15117 markings, 154226 edges, 1236 markings/sec, 10 secs
lola: 20975 markings, 230932 edges, 1172 markings/sec, 15 secs
lola: 26559 markings, 317130 edges, 1117 markings/sec, 20 secs
lola: 32676 markings, 384979 edges, 1223 markings/sec, 25 secs
lola: 38538 markings, 461854 edges, 1172 markings/sec, 30 secs
lola: 44129 markings, 548141 edges, 1118 markings/sec, 35 secs
lola: 50234 markings, 615722 edges, 1221 markings/sec, 40 secs
lola: 56077 markings, 692519 edges, 1169 markings/sec, 45 secs
lola: 61662 markings, 778711 edges, 1117 markings/sec, 50 secs
lola: 67342 markings, 861703 edges, 1136 markings/sec, 55 secs
lola: 72764 markings, 953149 edges, 1084 markings/sec, 60 secs
lola: 77993 markings, 1051656 edges, 1046 markings/sec, 65 secs
lola: 83774 markings, 1131505 edges, 1156 markings/sec, 70 secs
lola: 89686 markings, 1206610 edges, 1182 markings/sec, 75 secs
lola: 95706 markings, 1277100 edges, 1204 markings/sec, 80 secs
lola: 101622 markings, 1351873 edges, 1183 markings/sec, 85 secs
lola: 107351 markings, 1433565 edges, 1146 markings/sec, 90 secs
lola: 113121 markings, 1513668 edges, 1154 markings/sec, 95 secs
lola: 118867 markings, 1593851 edges, 1149 markings/sec, 100 secs
lola: 124437 markings, 1679912 edges, 1114 markings/sec, 105 secs
lola: 129767 markings, 1775175 edges, 1066 markings/sec, 110 secs
lola: 135432 markings, 1858477 edges, 1133 markings/sec, 115 secs
lola: 141341 markings, 1933624 edges, 1182 markings/sec, 120 secs
lola: 146974 markings, 2018068 edges, 1127 markings/sec, 125 secs
lola: 152642 markings, 2101339 edges, 1134 markings/sec, 130 secs
lola: 158523 markings, 2176239 edges, 1176 markings/sec, 135 secs
lola: 164170 markings, 2259359 edges, 1129 markings/sec, 140 secs
lola: 169753 markings, 2344968 edges, 1117 markings/sec, 145 secs
lola: 175499 markings, 2425089 edges, 1149 markings/sec, 150 secs
lola: 181070 markings, 2511594 edges, 1114 markings/sec, 155 secs
lola: 186473 markings, 2604472 edges, 1081 markings/sec, 160 secs
lola: 192210 markings, 2685022 edges, 1147 markings/sec, 165 secs
lola: 197639 markings, 2776976 edges, 1086 markings/sec, 170 secs
lola: 202910 markings, 2873468 edges, 1054 markings/sec, 175 secs
lola: 208671 markings, 2952724 edges, 1152 markings/sec, 180 secs
lola: 214126 markings, 3042392 edges, 1091 markings/sec, 185 secs
lola: 219357 markings, 3140072 edges, 1046 markings/sec, 190 secs
lola: 224714 markings, 3233562 edges, 1071 markings/sec, 195 secs
lola: 229838 markings, 3334444 edges, 1025 markings/sec, 200 secs
lola: 234763 markings, 3442636 edges, 985 markings/sec, 205 secs
lola: 240294 markings, 3529928 edges, 1106 markings/sec, 210 secs
lola: 246314 markings, 3600412 edges, 1204 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___3_10__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2795 markings, 20882 edges, 559 markings/sec, 0 secs
lola: 8914 markings, 89751 edges, 1224 markings/sec, 5 secs
lola: 15094 markings, 156079 edges, 1236 markings/sec, 10 secs
lola: 20966 markings, 233144 edges, 1174 markings/sec, 15 secs
lola: 26562 markings, 319582 edges, 1119 markings/sec, 20 secs
lola: 32704 markings, 387207 edges, 1228 markings/sec, 25 secs
lola: 38563 markings, 464855 edges, 1172 markings/sec, 30 secs
lola: 44155 markings, 551355 edges, 1118 markings/sec, 35 secs
lola: 50294 markings, 618470 edges, 1228 markings/sec, 40 secs
lola: 56140 markings, 696108 edges, 1169 markings/sec, 45 secs
lola: 61722 markings, 782552 edges, 1116 markings/sec, 50 secs
lola: 67418 markings, 864894 edges, 1139 markings/sec, 55 secs
lola: 72831 markings, 957068 edges, 1083 markings/sec, 60 secs
lola: 78053 markings, 1055964 edges, 1044 markings/sec, 65 secs
lola: 83881 markings, 1134310 edges, 1166 markings/sec, 70 secs
lola: 89811 markings, 1209691 edges, 1186 markings/sec, 75 secs
lola: 95824 markings, 1281268 edges, 1203 markings/sec, 80 secs
lola: 101767 markings, 1355383 edges, 1189 markings/sec, 85 secs
lola: 107490 markings, 1437880 edges, 1145 markings/sec, 90 secs
lola: 113259 markings, 1518373 edges, 1154 markings/sec, 95 secs
lola: 119025 markings, 1598134 edges, 1153 markings/sec, 100 secs
lola: 124601 markings, 1684815 edges, 1115 markings/sec, 105 secs
lola: 129924 markings, 1780304 edges, 1065 markings/sec, 110 secs
lola: 135628 markings, 1862734 edges, 1141 markings/sec, 115 secs
lola: 141543 markings, 1938285 edges, 1183 markings/sec, 120 secs
lola: 147166 markings, 2023805 edges, 1125 markings/sec, 125 secs
lola: 152873 markings, 2105966 edges, 1141 markings/sec, 130 secs
lola: 158760 markings, 2180999 edges, 1177 markings/sec, 135 secs
lola: 164382 markings, 2265347 edges, 1124 markings/sec, 140 secs
lola: 169966 markings, 2351191 edges, 1117 markings/sec, 145 secs
lola: 175731 markings, 2430929 edges, 1153 markings/sec, 150 secs
lola: 181297 markings, 2518007 edges, 1113 markings/sec, 155 secs
lola: 186726 markings, 2609579 edges, 1086 markings/sec, 160 secs
lola: 192403 markings, 2690675 edges, 1135 markings/sec, 165 secs
lola: 197800 markings, 2782438 edges, 1079 markings/sec, 170 secs
lola: 203090 markings, 2877408 edges, 1058 markings/sec, 175 secs
lola: 208834 markings, 2956709 edges, 1149 markings/sec, 180 secs
lola: 214252 markings, 3047264 edges, 1084 markings/sec, 185 secs
lola: 219446 markings, 3145589 edges, 1039 markings/sec, 190 secs
lola: 224832 markings, 3237828 edges, 1077 markings/sec, 195 secs
lola: 229984 markings, 3340723 edges, 1030 markings/sec, 200 secs
lola: 234940 markings, 3449168 edges, 991 markings/sec, 205 secs
lola: 240592 markings, 3535179 edges, 1130 markings/sec, 210 secs
lola: 246634 markings, 3604532 edges, 1208 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__19_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_11__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2935 markings, 18113 edges, 587 markings/sec, 0 secs
lola: 9219 markings, 80798 edges, 1257 markings/sec, 5 secs
lola: 15595 markings, 139754 edges, 1275 markings/sec, 10 secs
lola: 21620 markings, 210992 edges, 1205 markings/sec, 15 secs
lola: 27363 markings, 291963 edges, 1149 markings/sec, 20 secs
lola: 33784 markings, 349638 edges, 1284 markings/sec, 25 secs
lola: 39767 markings, 422493 edges, 1197 markings/sec, 30 secs
lola: 45587 markings, 500717 edges, 1164 markings/sec, 35 secs
lola: 51938 markings, 560002 edges, 1270 markings/sec, 40 secs
lola: 57867 markings, 634311 edges, 1186 markings/sec, 45 secs
lola: 63607 markings, 715099 edges, 1148 markings/sec, 50 secs
lola: 69419 markings, 792962 edges, 1162 markings/sec, 55 secs
lola: 74892 markings, 882785 edges, 1095 markings/sec, 60 secs
lola: 80267 markings, 975836 edges, 1075 markings/sec, 65 secs
lola: 86550 markings, 1038296 edges, 1257 markings/sec, 70 secs
lola: 92758 markings, 1102803 edges, 1242 markings/sec, 75 secs
lola: 98811 markings, 1172365 edges, 1211 markings/sec, 80 secs
lola: 104842 markings, 1242719 edges, 1206 markings/sec, 85 secs
lola: 110791 markings, 1316526 edges, 1190 markings/sec, 90 secs
lola: 116660 markings, 1392071 edges, 1174 markings/sec, 95 secs
lola: 122542 markings, 1467265 edges, 1176 markings/sec, 100 secs
lola: 128086 markings, 1554665 edges, 1109 markings/sec, 105 secs
lola: 133716 markings, 1639094 edges, 1126 markings/sec, 110 secs
lola: 139841 markings, 1706840 edges, 1225 markings/sec, 115 secs
lola: 145755 markings, 1781462 edges, 1183 markings/sec, 120 secs
lola: 151517 markings, 1861482 edges, 1152 markings/sec, 125 secs
lola: 157589 markings, 1929576 edges, 1214 markings/sec, 130 secs
lola: 163458 markings, 2004872 edges, 1174 markings/sec, 135 secs
lola: 169168 markings, 2085622 edges, 1142 markings/sec, 140 secs
lola: 175090 markings, 2159293 edges, 1184 markings/sec, 145 secs
lola: 180841 markings, 2239285 edges, 1150 markings/sec, 150 secs
lola: 186402 markings, 2326319 edges, 1112 markings/sec, 155 secs
lola: 192308 markings, 2401106 edges, 1181 markings/sec, 160 secs
lola: 197868 markings, 2487925 edges, 1112 markings/sec, 165 secs
lola: 203368 markings, 2576169 edges, 1100 markings/sec, 170 secs
lola: 209288 markings, 2649740 edges, 1184 markings/sec, 175 secs
lola: 214864 markings, 2735421 edges, 1115 markings/sec, 180 secs
lola: 220223 markings, 2828399 edges, 1072 markings/sec, 185 secs
lola: 225679 markings, 2917763 edges, 1091 markings/sec, 190 secs
lola: 230918 markings, 3014829 edges, 1048 markings/sec, 195 secs
lola: 235948 markings, 3118886 edges, 1006 markings/sec, 200 secs
lola: 242024 markings, 3187411 edges, 1215 markings/sec, 205 secs
lola: 248308 markings, 3248810 edges, 1257 markings/sec, 210 secs
lola: 254492 markings, 3313444 edges, 1237 markings/sec, 215 secs
lola: 260378 markings, 3388182 edges, 1177 markings/sec, 220 secs
lola: 266156 markings, 3467668 edges, 1156 markings/sec, 225 secs
lola: 271929 markings, 3547741 edges, 1155 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_7__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2811 markings, 19692 edges, 562 markings/sec, 0 secs
lola: 8873 markings, 86890 edges, 1212 markings/sec, 5 secs
lola: 15066 markings, 153712 edges, 1239 markings/sec, 10 secs
lola: 20974 markings, 230463 edges, 1182 markings/sec, 15 secs
lola: 26550 markings, 316122 edges, 1115 markings/sec, 20 secs
lola: 32691 markings, 384943 edges, 1228 markings/sec, 25 secs
lola: 38593 markings, 462203 edges, 1180 markings/sec, 30 secs
lola: 44218 markings, 549027 edges, 1125 markings/sec, 35 secs
lola: 50362 markings, 617198 edges, 1229 markings/sec, 40 secs
lola: 56242 markings, 694706 edges, 1176 markings/sec, 45 secs
lola: 61854 markings, 781514 edges, 1122 markings/sec, 50 secs
lola: 67568 markings, 864483 edges, 1143 markings/sec, 55 secs
lola: 73014 markings, 956935 edges, 1089 markings/sec, 60 secs
lola: 78266 markings, 1056288 edges, 1050 markings/sec, 65 secs
lola: 84118 markings, 1135218 edges, 1170 markings/sec, 70 secs
lola: 90069 markings, 1210876 edges, 1190 markings/sec, 75 secs
lola: 95950 markings, 1280473 edges, 1176 markings/sec, 80 secs
lola: 101833 markings, 1354662 edges, 1177 markings/sec, 85 secs
lola: 107354 markings, 1433325 edges, 1104 markings/sec, 90 secs
lola: 113052 markings, 1512137 edges, 1140 markings/sec, 95 secs
lola: 118774 markings, 1592585 edges, 1144 markings/sec, 100 secs
lola: 124207 markings, 1675540 edges, 1087 markings/sec, 105 secs
lola: 129466 markings, 1768293 edges, 1052 markings/sec, 110 secs
lola: 134974 markings, 1851786 edges, 1102 markings/sec, 115 secs
lola: 140786 markings, 1925814 edges, 1162 markings/sec, 120 secs
lola: 146398 markings, 2007113 edges, 1122 markings/sec, 125 secs
lola: 151878 markings, 2090636 edges, 1096 markings/sec, 130 secs
lola: 157732 markings, 2165237 edges, 1171 markings/sec, 135 secs
lola: 163309 markings, 2244673 edges, 1115 markings/sec, 140 secs
lola: 168773 markings, 2332749 edges, 1093 markings/sec, 145 secs
lola: 174302 markings, 2410392 edges, 1106 markings/sec, 150 secs
lola: 179870 markings, 2492682 edges, 1114 markings/sec, 155 secs
lola: 185161 markings, 2588301 edges, 1058 markings/sec, 160 secs
lola: 190806 markings, 2664714 edges, 1129 markings/sec, 165 secs
lola: 196222 markings, 2752205 edges, 1083 markings/sec, 170 secs
lola: 201407 markings, 2847214 edges, 1037 markings/sec, 175 secs
lola: 207005 markings, 2927638 edges, 1120 markings/sec, 180 secs
lola: 212460 markings, 3012566 edges, 1091 markings/sec, 185 secs
lola: 217752 markings, 3107223 edges, 1058 markings/sec, 190 secs
lola: 222867 markings, 3200218 edges, 1023 markings/sec, 195 secs
lola: 228019 markings, 3295539 edges, 1030 markings/sec, 200 secs
lola: 232941 markings, 3399295 edges, 984 markings/sec, 205 secs
lola: 237770 markings, 3505025 edges, 966 markings/sec, 210 secs
lola: 243984 markings, 3570690 edges, 1243 markings/sec, 215 secs
lola: 249962 markings, 3636574 edges, 1196 markings/sec, 220 secs
lola: 255866 markings, 3709541 edges, 1181 markings/sec, 225 secs
lola: 261305 markings, 3790198 edges, 1088 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__2_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__15_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___19_16__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1969 markings, 10883 edges, 394 markings/sec, 0 secs
lola: 8041 markings, 75876 edges, 1214 markings/sec, 5 secs
lola: 14050 markings, 147558 edges, 1202 markings/sec, 10 secs
lola: 19890 markings, 216499 edges, 1168 markings/sec, 15 secs
lola: 25493 markings, 298807 edges, 1121 markings/sec, 20 secs
lola: 31435 markings, 372966 edges, 1188 markings/sec, 25 secs
lola: 37310 markings, 443805 edges, 1175 markings/sec, 30 secs
lola: 43126 markings, 524133 edges, 1163 markings/sec, 35 secs
lola: 48932 markings, 599806 edges, 1161 markings/sec, 40 secs
lola: 54879 markings, 675608 edges, 1189 markings/sec, 45 secs
lola: 60475 markings, 752222 edges, 1119 markings/sec, 50 secs
lola: 66096 markings, 834161 edges, 1124 markings/sec, 55 secs
lola: 71793 markings, 918702 edges, 1139 markings/sec, 60 secs
lola: 77047 markings, 1009166 edges, 1051 markings/sec, 65 secs
lola: 82694 markings, 1092265 edges, 1129 markings/sec, 70 secs
lola: 88526 markings, 1161950 edges, 1166 markings/sec, 75 secs
lola: 94229 markings, 1241363 edges, 1141 markings/sec, 80 secs
lola: 100012 markings, 1321028 edges, 1157 markings/sec, 85 secs
lola: 105903 markings, 1390515 edges, 1178 markings/sec, 90 secs
lola: 111710 markings, 1471024 edges, 1161 markings/sec, 95 secs
lola: 117188 markings, 1557018 edges, 1096 markings/sec, 100 secs
lola: 122670 markings, 1643803 edges, 1096 markings/sec, 105 secs
lola: 127851 markings, 1734226 edges, 1036 markings/sec, 110 secs
lola: 133013 markings, 1830755 edges, 1032 markings/sec, 115 secs
lola: 139206 markings, 1898056 edges, 1239 markings/sec, 120 secs
lola: 145108 markings, 1972801 edges, 1180 markings/sec, 125 secs
lola: 150694 markings, 2057828 edges, 1117 markings/sec, 130 secs
lola: 156138 markings, 2139407 edges, 1089 markings/sec, 135 secs
lola: 161519 markings, 2229093 edges, 1076 markings/sec, 140 secs
lola: 166744 markings, 2326721 edges, 1045 markings/sec, 145 secs
lola: 172474 markings, 2400392 edges, 1146 markings/sec, 150 secs
lola: 178390 markings, 2476425 edges, 1183 markings/sec, 155 secs
lola: 184088 markings, 2554589 edges, 1140 markings/sec, 160 secs
lola: 189685 markings, 2636932 edges, 1119 markings/sec, 165 secs
lola: 195170 markings, 2717701 edges, 1097 markings/sec, 170 secs
lola: 200449 markings, 2811613 edges, 1056 markings/sec, 175 secs
lola: 205944 markings, 2906491 edges, 1099 markings/sec, 180 secs
lola: 211306 markings, 2995106 edges, 1072 markings/sec, 185 secs
lola: 216694 markings, 3089379 edges, 1078 markings/sec, 190 secs
lola: 221822 markings, 3182959 edges, 1026 markings/sec, 195 secs
lola: 226974 markings, 3282019 edges, 1030 markings/sec, 200 secs
lola: 232145 markings, 3384047 edges, 1034 markings/sec, 205 secs
lola: 236841 markings, 3493476 edges, 939 markings/sec, 210 secs
lola: 243197 markings, 3557841 edges, 1271 markings/sec, 215 secs
lola: 249275 markings, 3625164 edges, 1216 markings/sec, 220 secs
lola: 255256 markings, 3696411 edges, 1196 markings/sec, 225 secs
lola: 260844 markings, 3773700 edges, 1118 markings/sec, 230 secs
lola: 266709 markings, 3848679 edges, 1173 markings/sec, 235 secs
lola: 272745 markings, 3920360 edges, 1207 markings/sec, 240 secs
lola: 278470 markings, 4000042 edges, 1145 markings/sec, 245 secs
lola: 284340 markings, 4074080 edges, 1174 markings/sec, 250 secs
lola: 290250 markings, 4144532 edges, 1182 markings/sec, 255 secs
lola: 295896 markings, 4222791 edges, 1129 markings/sec, 260 secs
lola: 301365 markings, 4306398 edges, 1094 markings/sec, 265 secs
lola: 306727 markings, 4388461 edges, 1072 markings/sec, 270 secs
lola: 311908 markings, 4477965 edges, 1036 markings/sec, 275 secs
lola: 316949 markings, 4568957 edges, 1008 markings/sec, 280 secs
lola: 322946 markings, 4630978 edges, 1199 markings/sec, 285 secs
lola: 328709 markings, 4691847 edges, 1153 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_11__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2661 markings, 14160 edges, 532 markings/sec, 0 secs
lola: 8799 markings, 72462 edges, 1228 markings/sec, 5 secs
lola: 14669 markings, 127912 edges, 1174 markings/sec, 10 secs
lola: 20727 markings, 196144 edges, 1212 markings/sec, 15 secs
lola: 26601 markings, 276650 edges, 1175 markings/sec, 20 secs
lola: 32955 markings, 339008 edges, 1271 markings/sec, 25 secs
lola: 39060 markings, 411166 edges, 1221 markings/sec, 30 secs
lola: 44861 markings, 493835 edges, 1160 markings/sec, 35 secs
lola: 51281 markings, 551810 edges, 1284 markings/sec, 40 secs
lola: 57279 markings, 623974 edges, 1200 markings/sec, 45 secs
lola: 63025 markings, 704983 edges, 1149 markings/sec, 50 secs
lola: 68880 markings, 782091 edges, 1171 markings/sec, 55 secs
lola: 74425 markings, 870712 edges, 1109 markings/sec, 60 secs
lola: 79713 markings, 967552 edges, 1058 markings/sec, 65 secs
lola: 86033 markings, 1029241 edges, 1264 markings/sec, 70 secs
lola: 92196 markings, 1096155 edges, 1233 markings/sec, 75 secs
lola: 98289 markings, 1165111 edges, 1219 markings/sec, 80 secs
lola: 104409 markings, 1233153 edges, 1224 markings/sec, 85 secs
lola: 110363 markings, 1307497 edges, 1191 markings/sec, 90 secs
lola: 116240 markings, 1384300 edges, 1175 markings/sec, 95 secs
lola: 122185 markings, 1458192 edges, 1189 markings/sec, 100 secs
lola: 127785 markings, 1544217 edges, 1120 markings/sec, 105 secs
lola: 133286 markings, 1633580 edges, 1100 markings/sec, 110 secs
lola: 139420 markings, 1701573 edges, 1227 markings/sec, 115 secs
lola: 145429 markings, 1774148 edges, 1202 markings/sec, 120 secs
lola: 151140 markings, 1856564 edges, 1142 markings/sec, 125 secs
lola: 157244 markings, 1924711 edges, 1221 markings/sec, 130 secs
lola: 163185 markings, 1998265 edges, 1188 markings/sec, 135 secs
lola: 168868 markings, 2080595 edges, 1137 markings/sec, 140 secs
lola: 174811 markings, 2154397 edges, 1189 markings/sec, 145 secs
lola: 180624 markings, 2232803 edges, 1163 markings/sec, 150 secs
lola: 186169 markings, 2320777 edges, 1109 markings/sec, 155 secs
lola: 192120 markings, 2394554 edges, 1190 markings/sec, 160 secs
lola: 197733 markings, 2480685 edges, 1123 markings/sec, 165 secs
lola: 203173 markings, 2571807 edges, 1088 markings/sec, 170 secs
lola: 209133 markings, 2644572 edges, 1192 markings/sec, 175 secs
lola: 214739 markings, 2730122 edges, 1121 markings/sec, 180 secs
lola: 220109 markings, 2823151 edges, 1074 markings/sec, 185 secs
lola: 225638 markings, 2910727 edges, 1106 markings/sec, 190 secs
lola: 230888 markings, 3008069 edges, 1050 markings/sec, 195 secs
lola: 235950 markings, 3112139 edges, 1012 markings/sec, 200 secs
lola: 241943 markings, 3184187 edges, 1199 markings/sec, 205 secs
lola: 248223 markings, 3246675 edges, 1256 markings/sec, 210 secs
lola: 254492 markings, 3308788 edges, 1254 markings/sec, 215 secs
lola: 260381 markings, 3384177 edges, 1178 markings/sec, 220 secs
lola: 266173 markings, 3463317 edges, 1158 markings/sec, 225 secs
lola: 271978 markings, 3542859 edges, 1161 markings/sec, 230 secs
lola: 277904 markings, 3618425 edges, 1185 markings/sec, 235 secs
lola: 283532 markings, 3704003 edges, 1126 markings/sec, 240 secs
lola: 288937 markings, 3798522 edges, 1081 markings/sec, 245 secs
lola: 295228 markings, 3863889 edges, 1258 markings/sec, 250 secs
lola: 301338 markings, 3935444 edges, 1222 markings/sec, 255 secs
lola: 307137 markings, 4017530 edges, 1160 markings/sec, 260 secs
lola: 313561 markings, 4077778 edges, 1285 markings/sec, 265 secs
lola: 319645 markings, 4149879 edges, 1217 markings/sec, 270 secs
lola: 325441 markings, 4231693 edges, 1159 markings/sec, 275 secs
lola: 331353 markings, 4309529 edges, 1182 markings/sec, 280 secs
lola: 336933 markings, 4398785 edges, 1116 markings/sec, 285 secs
lola: 342253 markings, 4496783 edges, 1064 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__11_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 359 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___4_3__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2857 markings, 20343 edges, 571 markings/sec, 0 secs
lola: 9020 markings, 89887 edges, 1233 markings/sec, 5 secs
lola: 15249 markings, 156681 edges, 1246 markings/sec, 10 secs
lola: 21148 markings, 235108 edges, 1180 markings/sec, 15 secs
lola: 26781 markings, 322727 edges, 1127 markings/sec, 20 secs
lola: 33002 markings, 389943 edges, 1244 markings/sec, 25 secs
lola: 38895 markings, 468545 edges, 1179 markings/sec, 30 secs
lola: 44493 markings, 557382 edges, 1120 markings/sec, 35 secs
lola: 50687 markings, 622825 edges, 1239 markings/sec, 40 secs
lola: 56578 markings, 700928 edges, 1178 markings/sec, 45 secs
lola: 62157 markings, 789871 edges, 1116 markings/sec, 50 secs
lola: 67926 markings, 872169 edges, 1154 markings/sec, 55 secs
lola: 73381 markings, 965628 edges, 1091 markings/sec, 60 secs
lola: 78613 markings, 1066709 edges, 1046 markings/sec, 65 secs
lola: 84638 markings, 1140746 edges, 1205 markings/sec, 70 secs
lola: 90604 markings, 1216977 edges, 1193 markings/sec, 75 secs
lola: 96600 markings, 1291553 edges, 1199 markings/sec, 80 secs
lola: 102632 markings, 1365167 edges, 1206 markings/sec, 85 secs
lola: 108407 markings, 1448152 edges, 1155 markings/sec, 90 secs
lola: 114159 markings, 1531746 edges, 1150 markings/sec, 95 secs
lola: 120013 markings, 1611106 edges, 1171 markings/sec, 100 secs
lola: 125584 markings, 1700492 edges, 1114 markings/sec, 105 secs
lola: 130934 markings, 1797691 edges, 1070 markings/sec, 110 secs
lola: 136775 markings, 1877986 edges, 1168 markings/sec, 115 secs
lola: 142738 markings, 1953882 edges, 1193 markings/sec, 120 secs
lola: 148312 markings, 2043376 edges, 1115 markings/sec, 125 secs
lola: 154160 markings, 2122870 edges, 1170 markings/sec, 130 secs
lola: 160100 markings, 2198703 edges, 1188 markings/sec, 135 secs
lola: 165671 markings, 2287240 edges, 1114 markings/sec, 140 secs
lola: 171410 markings, 2370660 edges, 1148 markings/sec, 145 secs
lola: 177214 markings, 2451407 edges, 1161 markings/sec, 150 secs
lola: 182701 markings, 2543591 edges, 1097 markings/sec, 155 secs
lola: 188352 markings, 2630382 edges, 1130 markings/sec, 160 secs
lola: 194012 markings, 2716457 edges, 1132 markings/sec, 165 secs
lola: 199395 markings, 2812427 edges, 1077 markings/sec, 170 secs
lola: 204957 markings, 2901617 edges, 1112 markings/sec, 175 secs
lola: 210664 markings, 2985326 edges, 1141 markings/sec, 180 secs
lola: 216106 markings, 3078328 edges, 1088 markings/sec, 185 secs
lola: 221406 markings, 3176664 edges, 1060 markings/sec, 190 secs
lola: 226756 markings, 3272809 edges, 1070 markings/sec, 195 secs
lola: 231818 markings, 3379272 edges, 1012 markings/sec, 200 secs
lola: 236729 markings, 3490655 edges, 982 markings/sec, 205 secs
lola: 242900 markings, 3558809 edges, 1234 markings/sec, 210 secs
lola: 249033 markings, 3627712 edges, 1227 markings/sec, 215 secs
lola: 255068 markings, 3700230 edges, 1207 markings/sec, 220 secs
lola: 260788 markings, 3784153 edges, 1144 markings/sec, 225 secs
lola: 266513 markings, 3869381 edges, 1145 markings/sec, 230 secs
lola: 272169 markings, 3957263 edges, 1131 markings/sec, 235 secs
lola: 277965 markings, 4038636 edges, 1159 markings/sec, 240 secs
lola: 283465 markings, 4131617 edges, 1100 markings/sec, 245 secs
lola: 288756 markings, 4231892 edges, 1058 markings/sec, 250 secs
lola: 294865 markings, 4303046 edges, 1222 markings/sec, 255 secs
lola: 300787 markings, 4380499 edges, 1184 markings/sec, 260 secs
lola: 306424 markings, 4467541 edges, 1127 markings/sec, 265 secs
lola: 312597 markings, 4535894 edges, 1235 markings/sec, 270 secs
lola: 318492 markings, 4614002 edges, 1179 markings/sec, 275 secs
lola: 324121 markings, 4701133 edges, 1126 markings/sec, 280 secs
lola: 329861 markings, 4784252 edges, 1148 markings/sec, 285 secs
lola: 335314 markings, 4877296 edges, 1091 markings/sec, 290 secs
lola: 340580 markings, 4977072 edges, 1053 markings/sec, 295 secs
lola: 346205 markings, 5065440 edges, 1125 markings/sec, 300 secs
lola: 351790 markings, 5155490 edges, 1117 markings/sec, 305 secs
lola: 357133 markings, 5254130 edges, 1069 markings/sec, 310 secs
lola: 362672 markings, 5345466 edges, 1108 markings/sec, 315 secs
lola: 368293 markings, 5433576 edges, 1124 markings/sec, 320 secs
lola: 373705 markings, 5529552 edges, 1082 markings/sec, 325 secs
lola: 378966 markings, 5630410 edges, 1052 markings/sec, 330 secs
lola: 384277 markings, 5729287 edges, 1062 markings/sec, 335 secs
lola: 389297 markings, 5838686 edges, 1004 markings/sec, 340 secs
lola: 394177 markings, 5952312 edges, 976 markings/sec, 345 secs
lola: 400284 markings, 6023306 edges, 1221 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__6_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___18_11__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2424 markings, 14618 edges, 485 markings/sec, 0 secs
lola: 8703 markings, 77662 edges, 1256 markings/sec, 5 secs
lola: 14938 markings, 142173 edges, 1247 markings/sec, 10 secs
lola: 20955 markings, 213810 edges, 1203 markings/sec, 15 secs
lola: 26648 markings, 296961 edges, 1139 markings/sec, 20 secs
lola: 32884 markings, 361389 edges, 1247 markings/sec, 25 secs
lola: 38848 markings, 434877 edges, 1193 markings/sec, 30 secs
lola: 44524 markings, 518592 edges, 1135 markings/sec, 35 secs
lola: 50791 markings, 581513 edges, 1253 markings/sec, 40 secs
lola: 56744 markings, 655229 edges, 1191 markings/sec, 45 secs
lola: 62376 markings, 740286 edges, 1126 markings/sec, 50 secs
lola: 68172 markings, 818984 edges, 1159 markings/sec, 55 secs
lola: 73663 markings, 908188 edges, 1098 markings/sec, 60 secs
lola: 78927 markings, 1005254 edges, 1053 markings/sec, 65 secs
lola: 85021 markings, 1074436 edges, 1219 markings/sec, 70 secs
lola: 91046 markings, 1145991 edges, 1205 markings/sec, 75 secs
lola: 97058 markings, 1217149 edges, 1202 markings/sec, 80 secs
lola: 103132 markings, 1286381 edges, 1215 markings/sec, 85 secs
lola: 108960 markings, 1365212 edges, 1166 markings/sec, 90 secs
lola: 114729 markings, 1445663 edges, 1154 markings/sec, 95 secs
lola: 120637 markings, 1520557 edges, 1182 markings/sec, 100 secs
lola: 126252 markings, 1605955 edges, 1123 markings/sec, 105 secs
lola: 131600 markings, 1700449 edges, 1070 markings/sec, 110 secs
lola: 137559 markings, 1774094 edges, 1192 markings/sec, 115 secs
lola: 143557 markings, 1846078 edges, 1200 markings/sec, 120 secs
lola: 149140 markings, 1932722 edges, 1117 markings/sec, 125 secs
lola: 155080 markings, 2006241 edges, 1188 markings/sec, 130 secs
lola: 161064 markings, 2078089 edges, 1197 markings/sec, 135 secs
lola: 166632 markings, 2164445 edges, 1114 markings/sec, 140 secs
lola: 172460 markings, 2242514 edges, 1166 markings/sec, 145 secs
lola: 178315 markings, 2319209 edges, 1171 markings/sec, 150 secs
lola: 183796 markings, 2409249 edges, 1096 markings/sec, 155 secs
lola: 189537 markings, 2490562 edges, 1148 markings/sec, 160 secs
lola: 195239 markings, 2573207 edges, 1140 markings/sec, 165 secs
lola: 200652 markings, 2665483 edges, 1083 markings/sec, 170 secs
lola: 206349 markings, 2747331 edges, 1139 markings/sec, 175 secs
lola: 212011 markings, 2830314 edges, 1132 markings/sec, 180 secs
lola: 217443 markings, 2921458 edges, 1086 markings/sec, 185 secs
lola: 222820 markings, 3014499 edges, 1075 markings/sec, 190 secs
lola: 228140 markings, 3109221 edges, 1064 markings/sec, 195 secs
lola: 233190 markings, 3213458 edges, 1010 markings/sec, 200 secs
lola: 238372 markings, 3312886 edges, 1036 markings/sec, 205 secs
lola: 244644 markings, 3374996 edges, 1254 markings/sec, 210 secs
lola: 250747 markings, 3438659 edges, 1221 markings/sec, 215 secs
lola: 256783 markings, 3508751 edges, 1207 markings/sec, 220 secs
lola: 262492 markings, 3590351 edges, 1142 markings/sec, 225 secs
lola: 268256 markings, 3671649 edges, 1153 markings/sec, 230 secs
lola: 274013 markings, 3752127 edges, 1151 markings/sec, 235 secs
lola: 279788 markings, 3832115 edges, 1155 markings/sec, 240 secs
lola: 285219 markings, 3924180 edges, 1086 markings/sec, 245 secs
lola: 290604 markings, 4017713 edges, 1077 markings/sec, 250 secs
lola: 296894 markings, 4079182 edges, 1258 markings/sec, 255 secs
lola: 302724 markings, 4156164 edges, 1166 markings/sec, 260 secs
lola: 308472 markings, 4236184 edges, 1150 markings/sec, 265 secs
lola: 314716 markings, 4298478 edges, 1249 markings/sec, 270 secs
lola: 320522 markings, 4376183 edges, 1161 markings/sec, 275 secs
lola: 326181 markings, 4458998 edges, 1132 markings/sec, 280 secs
lola: 331913 markings, 4538864 edges, 1146 markings/sec, 285 secs
lola: 337280 markings, 4630651 edges, 1073 markings/sec, 290 secs
lola: 342479 markings, 4729251 edges, 1040 markings/sec, 295 secs
lola: 348312 markings, 4807493 edges, 1167 markings/sec, 300 secs
lola: 353836 markings, 4896302 edges, 1105 markings/sec, 305 secs
lola: 359132 markings, 4992904 edges, 1059 markings/sec, 310 secs
lola: 364878 markings, 5073753 edges, 1149 markings/sec, 315 secs
lola: 370460 markings, 5159743 edges, 1116 markings/sec, 320 secs
lola: 375790 markings, 5254949 edges, 1066 markings/sec, 325 secs
lola: 381114 markings, 5349932 edges, 1065 markings/sec, 330 secs
lola: 386316 markings, 5449322 edges, 1040 markings/sec, 335 secs
lola: 391315 markings, 5555558 edges, 1000 markings/sec, 340 secs
lola: 396616 markings, 5651164 edges, 1060 markings/sec, 345 secs
lola: 402682 markings, 5719918 edges, 1213 markings/sec, 350 secs
lola: 408864 markings, 5784831 edges, 1236 markings/sec, 355 secs
lola: 414794 markings, 5858648 edges, 1186 markings/sec, 360 secs
lola: 420660 markings, 5934308 edges, 1173 markings/sec, 365 secs
lola: 426526 markings, 6010030 edges, 1173 markings/sec, 370 secs
lola: 432336 markings, 6087481 edges, 1162 markings/sec, 375 secs
lola: 438092 markings, 6166586 edges, 1151 markings/sec, 380 secs
lola: 443507 markings, 6257291 edges, 1083 markings/sec, 385 secs
lola: 448988 markings, 6346442 edges, 1096 markings/sec, 390 secs
lola: 454652 markings, 6430582 edges, 1133 markings/sec, 395 secs
lola: 460350 markings, 6512706 edges, 1140 markings/sec, 400 secs
lola: 465876 markings, 6600963 edges, 1105 markings/sec, 405 secs
lola: 471452 markings, 6687524 edges, 1115 markings/sec, 410 secs
lola: 476876 markings, 6779837 edges, 1085 markings/sec, 415 secs
lola: 482215 markings, 6874945 edges, 1068 markings/sec, 420 secs
lola: 487692 markings, 6963732 edges, 1095 markings/sec, 425 secs
lola: 492936 markings, 7061165 edges, 1049 markings/sec, 430 secs
lola: 497972 markings, 7166097 edges, 1007 markings/sec, 435 secs
lola: 503650 markings, 7248438 edges, 1136 markings/sec, 440 secs
lola: 509640 markings, 7319680 edges, 1198 markings/sec, 445 secs
lola: 515283 markings, 7402932 edges, 1129 markings/sec, 450 secs
lola: 521100 markings, 7479836 edges, 1163 markings/sec, 455 secs
lola: 527087 markings, 7550921 edges, 1197 markings/sec, 460 secs
lola: 532727 markings, 7634055 edges, 1128 markings/sec, 465 secs
lola: 538459 markings, 7714111 edges, 1146 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___5_3__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2922 markings, 20393 edges, 584 markings/sec, 0 secs
lola: 9087 markings, 89203 edges, 1233 markings/sec, 5 secs
lola: 15304 markings, 155750 edges, 1243 markings/sec, 10 secs
lola: 21214 markings, 233128 edges, 1182 markings/sec, 15 secs
lola: 26844 markings, 320000 edges, 1126 markings/sec, 20 secs
lola: 33011 markings, 388338 edges, 1233 markings/sec, 25 secs
lola: 38899 markings, 466264 edges, 1178 markings/sec, 30 secs
lola: 44524 markings, 553260 edges, 1125 markings/sec, 35 secs
lola: 50701 markings, 620750 edges, 1235 markings/sec, 40 secs
lola: 56564 markings, 699171 edges, 1173 markings/sec, 45 secs
lola: 62174 markings, 786310 edges, 1122 markings/sec, 50 secs
lola: 67911 markings, 868976 edges, 1147 markings/sec, 55 secs
lola: 73359 markings, 961608 edges, 1090 markings/sec, 60 secs
lola: 78591 markings, 1061691 edges, 1046 markings/sec, 65 secs
lola: 84497 markings, 1139100 edges, 1181 markings/sec, 70 secs
lola: 90468 markings, 1214579 edges, 1194 markings/sec, 75 secs
lola: 96501 markings, 1286992 edges, 1207 markings/sec, 80 secs
lola: 102493 markings, 1361090 edges, 1198 markings/sec, 85 secs
lola: 108241 markings, 1444453 edges, 1150 markings/sec, 90 secs
lola: 114012 markings, 1526437 edges, 1154 markings/sec, 95 secs
lola: 119817 markings, 1606754 edges, 1161 markings/sec, 100 secs
lola: 125407 markings, 1694612 edges, 1118 markings/sec, 105 secs
lola: 130771 markings, 1790245 edges, 1073 markings/sec, 110 secs
lola: 136540 markings, 1872201 edges, 1154 markings/sec, 115 secs
lola: 142489 markings, 1948261 edges, 1190 markings/sec, 120 secs
lola: 148101 markings, 2035800 edges, 1122 markings/sec, 125 secs
lola: 153888 markings, 2116917 edges, 1157 markings/sec, 130 secs
lola: 159819 markings, 2192363 edges, 1186 markings/sec, 135 secs
lola: 165419 markings, 2279314 edges, 1120 markings/sec, 140 secs
lola: 171107 markings, 2363545 edges, 1138 markings/sec, 145 secs
lola: 176908 markings, 2444297 edges, 1160 markings/sec, 150 secs
lola: 182430 markings, 2534399 edges, 1104 markings/sec, 155 secs
lola: 187991 markings, 2623896 edges, 1112 markings/sec, 160 secs
lola: 193670 markings, 2708770 edges, 1136 markings/sec, 165 secs
lola: 199117 markings, 2801891 edges, 1089 markings/sec, 170 secs
lola: 204588 markings, 2893793 edges, 1094 markings/sec, 175 secs
lola: 210327 markings, 2975835 edges, 1148 markings/sec, 180 secs
lola: 215755 markings, 3068810 edges, 1086 markings/sec, 185 secs
lola: 221031 markings, 3167143 edges, 1055 markings/sec, 190 secs
lola: 226377 markings, 3262840 edges, 1069 markings/sec, 195 secs
lola: 231477 markings, 3367059 edges, 1020 markings/sec, 200 secs
lola: 236415 markings, 3476641 edges, 988 markings/sec, 205 secs
lola: 242363 markings, 3551642 edges, 1190 markings/sec, 210 secs
lola: 248487 markings, 3620694 edges, 1225 markings/sec, 215 secs
lola: 254563 markings, 3690979 edges, 1215 markings/sec, 220 secs
lola: 260315 markings, 3772805 edges, 1150 markings/sec, 225 secs
lola: 265961 markings, 3858912 edges, 1129 markings/sec, 230 secs
lola: 271644 markings, 3944228 edges, 1137 markings/sec, 235 secs
lola: 277380 markings, 4027047 edges, 1147 markings/sec, 240 secs
lola: 282896 markings, 4117659 edges, 1103 markings/sec, 245 secs
lola: 288199 markings, 4215659 edges, 1061 markings/sec, 250 secs
lola: 294076 markings, 4293341 edges, 1175 markings/sec, 255 secs
lola: 300032 markings, 4367930 edges, 1191 markings/sec, 260 secs
lola: 305710 markings, 4451887 edges, 1136 markings/sec, 265 secs
lola: 311707 markings, 4524726 edges, 1199 markings/sec, 270 secs
lola: 317643 markings, 4599491 edges, 1187 markings/sec, 275 secs
lola: 323315 markings, 4683618 edges, 1134 markings/sec, 280 secs
lola: 328970 markings, 4768401 edges, 1131 markings/sec, 285 secs
lola: 334452 markings, 4858378 edges, 1096 markings/sec, 290 secs
lola: 339694 markings, 4956928 edges, 1048 markings/sec, 295 secs
lola: 345141 markings, 5049081 edges, 1089 markings/sec, 300 secs
lola: 350790 markings, 5134919 edges, 1130 markings/sec, 305 secs
lola: 356154 markings, 5231011 edges, 1073 markings/sec, 310 secs
lola: 361498 markings, 5327305 edges, 1069 markings/sec, 315 secs
lola: 367216 markings, 5410309 edges, 1144 markings/sec, 320 secs
lola: 372599 markings, 5505137 edges, 1077 markings/sec, 325 secs
lola: 377778 markings, 5606957 edges, 1036 markings/sec, 330 secs
lola: 383111 markings, 5703124 edges, 1067 markings/sec, 335 secs
lola: 388187 markings, 5808266 edges, 1015 markings/sec, 340 secs
lola: 393122 markings, 5919621 edges, 987 markings/sec, 345 secs
lola: 398845 markings, 6005653 edges, 1145 markings/sec, 350 secs
lola: 404859 markings, 6081446 edges, 1203 markings/sec, 355 secs
lola: 410974 markings, 6153516 edges, 1223 markings/sec, 360 secs
lola: 416988 markings, 6229025 edges, 1203 markings/sec, 365 secs
lola: 422794 markings, 6312374 edges, 1161 markings/sec, 370 secs
lola: 428633 markings, 6393958 edges, 1168 markings/sec, 375 secs
lola: 434472 markings, 6475198 edges, 1168 markings/sec, 380 secs
lola: 440109 markings, 6563244 edges, 1127 markings/sec, 385 secs
lola: 445515 markings, 6659544 edges, 1081 markings/sec, 390 secs
lola: 451111 markings, 6750435 edges, 1119 markings/sec, 395 secs
lola: 456687 markings, 6842668 edges, 1115 markings/sec, 400 secs
lola: 462435 markings, 6927865 edges, 1150 markings/sec, 405 secs
lola: 467959 markings, 7021244 edges, 1105 markings/sec, 410 secs
lola: 473420 markings, 7117144 edges, 1092 markings/sec, 415 secs
lola: 478947 markings, 7210795 edges, 1105 markings/sec, 420 secs
lola: 484331 markings, 7308869 edges, 1077 markings/sec, 425 secs
lola: 489757 markings, 7405033 edges, 1085 markings/sec, 430 secs
lola: 494911 markings, 7511046 edges, 1031 markings/sec, 435 secs
lola: 499860 markings, 7623879 edges, 990 markings/sec, 440 secs
lola: 505875 markings, 7699465 edges, 1203 markings/sec, 445 secs
lola: 511838 markings, 7776506 edges, 1193 markings/sec, 450 secs
lola: 517319 markings, 7870111 edges, 1096 markings/sec, 455 secs
lola: 523326 markings, 7945559 edges, 1201 markings/sec, 460 secs
lola: 529292 markings, 8022330 edges, 1193 markings/sec, 465 secs
lola: 534779 markings, 8115529 edges, 1097 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___19_2__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2654 markings, 18651 edges, 531 markings/sec, 0 secs
lola: 8844 markings, 88164 edges, 1238 markings/sec, 5 secs
lola: 15086 markings, 155345 edges, 1248 markings/sec, 10 secs
lola: 21012 markings, 233622 edges, 1185 markings/sec, 15 secs
lola: 26669 markings, 321182 edges, 1131 markings/sec, 20 secs
lola: 32896 markings, 389064 edges, 1245 markings/sec, 25 secs
lola: 38802 markings, 468107 edges, 1181 markings/sec, 30 secs
lola: 44433 markings, 556854 edges, 1126 markings/sec, 35 secs
lola: 50674 markings, 623413 edges, 1248 markings/sec, 40 secs
lola: 56584 markings, 701673 edges, 1182 markings/sec, 45 secs
lola: 62189 markings, 790796 edges, 1121 markings/sec, 50 secs
lola: 67967 markings, 873784 edges, 1156 markings/sec, 55 secs
lola: 73433 markings, 967604 edges, 1093 markings/sec, 60 secs
lola: 78681 markings, 1069117 edges, 1050 markings/sec, 65 secs
lola: 84745 markings, 1142885 edges, 1213 markings/sec, 70 secs
lola: 90735 markings, 1219207 edges, 1198 markings/sec, 75 secs
lola: 96736 markings, 1294461 edges, 1200 markings/sec, 80 secs
lola: 102782 markings, 1368335 edges, 1209 markings/sec, 85 secs
lola: 108580 markings, 1451708 edges, 1160 markings/sec, 90 secs
lola: 114328 markings, 1536064 edges, 1150 markings/sec, 95 secs
lola: 120216 markings, 1615127 edges, 1178 markings/sec, 100 secs
lola: 125799 markings, 1704855 edges, 1117 markings/sec, 105 secs
lola: 131143 markings, 1803076 edges, 1069 markings/sec, 110 secs
lola: 137048 markings, 1882219 edges, 1181 markings/sec, 115 secs
lola: 143019 markings, 1959097 edges, 1194 markings/sec, 120 secs
lola: 148609 markings, 2049098 edges, 1118 markings/sec, 125 secs
lola: 154502 markings, 2128055 edges, 1179 markings/sec, 130 secs
lola: 160456 markings, 2204299 edges, 1191 markings/sec, 135 secs
lola: 166019 markings, 2294055 edges, 1113 markings/sec, 140 secs
lola: 171788 markings, 2377317 edges, 1154 markings/sec, 145 secs
lola: 177622 markings, 2458507 edges, 1167 markings/sec, 150 secs
lola: 183104 markings, 2552019 edges, 1096 markings/sec, 155 secs
lola: 188834 markings, 2637180 edges, 1146 markings/sec, 160 secs
lola: 194481 markings, 2724737 edges, 1129 markings/sec, 165 secs
lola: 199875 markings, 2821270 edges, 1079 markings/sec, 170 secs
lola: 205498 markings, 2909096 edges, 1125 markings/sec, 175 secs
lola: 211179 markings, 2994569 edges, 1136 markings/sec, 180 secs
lola: 216612 markings, 3089195 edges, 1087 markings/sec, 185 secs
lola: 221961 markings, 3186685 edges, 1070 markings/sec, 190 secs
lola: 227289 markings, 3284237 edges, 1066 markings/sec, 195 secs
lola: 232374 markings, 3390756 edges, 1017 markings/sec, 200 secs
lola: 237325 markings, 3501793 edges, 990 markings/sec, 205 secs
lola: 243586 markings, 3567800 edges, 1252 markings/sec, 210 secs
lola: 249785 markings, 3635537 edges, 1240 markings/sec, 215 secs
lola: 255783 markings, 3709976 edges, 1200 markings/sec, 220 secs
lola: 261500 markings, 3794574 edges, 1143 markings/sec, 225 secs
lola: 267232 markings, 3879622 edges, 1146 markings/sec, 230 secs
lola: 272905 markings, 3966860 edges, 1135 markings/sec, 235 secs
lola: 278686 markings, 4049922 edges, 1156 markings/sec, 240 secs
lola: 284140 markings, 4144494 edges, 1091 markings/sec, 245 secs
lola: 289369 markings, 4246952 edges, 1046 markings/sec, 250 secs
lola: 295597 markings, 4313663 edges, 1246 markings/sec, 255 secs
lola: 301494 markings, 4391895 edges, 1179 markings/sec, 260 secs
lola: 307080 markings, 4480559 edges, 1117 markings/sec, 265 secs
lola: 313336 markings, 4545961 edges, 1251 markings/sec, 270 secs
lola: 319201 markings, 4624920 edges, 1173 markings/sec, 275 secs
lola: 324771 markings, 4713152 edges, 1114 markings/sec, 280 secs
lola: 330452 markings, 4795101 edges, 1136 markings/sec, 285 secs
lola: 335829 markings, 4887169 edges, 1075 markings/sec, 290 secs
lola: 340997 markings, 4986859 edges, 1034 markings/sec, 295 secs
lola: 346608 markings, 5072446 edges, 1122 markings/sec, 300 secs
lola: 352120 markings, 5161820 edges, 1102 markings/sec, 305 secs
lola: 357392 markings, 5259465 edges, 1054 markings/sec, 310 secs
lola: 362883 markings, 5349186 edges, 1098 markings/sec, 315 secs
lola: 368442 markings, 5436458 edges, 1112 markings/sec, 320 secs
lola: 373772 markings, 5531735 edges, 1066 markings/sec, 325 secs
lola: 378977 markings, 5631408 edges, 1041 markings/sec, 330 secs
lola: 384225 markings, 5729060 edges, 1050 markings/sec, 335 secs
lola: 389195 markings, 5836760 edges, 994 markings/sec, 340 secs
lola: 394023 markings, 5949269 edges, 966 markings/sec, 345 secs
lola: 400036 markings, 6020055 edges, 1203 markings/sec, 350 secs
lola: 405925 markings, 6095323 edges, 1178 markings/sec, 355 secs
lola: 411808 markings, 6169773 edges, 1177 markings/sec, 360 secs
lola: 417774 markings, 6242299 edges, 1193 markings/sec, 365 secs
lola: 423484 markings, 6324028 edges, 1142 markings/sec, 370 secs
lola: 429131 markings, 6406087 edges, 1129 markings/sec, 375 secs
lola: 434916 markings, 6484050 edges, 1157 markings/sec, 380 secs
lola: 440414 markings, 6572123 edges, 1100 markings/sec, 385 secs
lola: 445692 markings, 6667916 edges, 1056 markings/sec, 390 secs
lola: 451266 markings, 6755096 edges, 1115 markings/sec, 395 secs
lola: 456733 markings, 6846197 edges, 1093 markings/sec, 400 secs
lola: 462364 markings, 6930570 edges, 1126 markings/sec, 405 secs
lola: 467815 markings, 7021848 edges, 1090 markings/sec, 410 secs
lola: 473154 markings, 7117577 edges, 1068 markings/sec, 415 secs
lola: 478607 markings, 7208951 edges, 1091 markings/sec, 420 secs
lola: 483906 markings, 7305476 edges, 1060 markings/sec, 425 secs
lola: 489248 markings, 7399719 edges, 1068 markings/sec, 430 secs
lola: 494300 markings, 7504360 edges, 1010 markings/sec, 435 secs
lola: 499198 markings, 7614329 edges, 980 markings/sec, 440 secs
lola: 505047 markings, 7690683 edges, 1170 markings/sec, 445 secs
lola: 510926 markings, 7765828 edges, 1176 markings/sec, 450 secs
lola: 516392 markings, 7855032 edges, 1093 markings/sec, 455 secs
lola: 522227 markings, 7931577 edges, 1167 markings/sec, 460 secs
lola: 528104 markings, 8006728 edges, 1175 markings/sec, 465 secs
lola: 533583 markings, 8095179 edges, 1096 markings/sec, 470 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 1 unknown unknown 1 1 unknown unknown 1 unknown 1 unknown unknown unknown
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496299058325

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

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="S_PhaseVariation-PT-D20CS100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/S_PhaseVariation-PT-D20CS100.tgz
mv S_PhaseVariation-PT-D20CS100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PhaseVariation-PT-D20CS100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-149441681200128"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;