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 '
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 ;