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

About the Execution of LoLA for S_PhaseVariation-PT-D20CS010

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
582.600 3539880.00 3546252.00 10970.30 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-D20CS010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681200119
=====================================================================


--------------------
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-D20CS010-UpperBounds-0
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-1
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-10
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-11
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-12
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-13
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-14
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-15
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-2
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-3
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-4
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-5
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-6
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-7
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-8
FORMULA_NAME PhaseVariation-PT-D20CS010-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496289797655


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


checking for too many tokens
===========================================================================================
S_PhaseVariation-PT-D20CS010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PhaseVariation-PT-D20CS010 @ 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-D20CS010-UpperBounds.task
lola: MAX(pool__11_2_) : MAX(cell___11_1__A_) : MAX(cell___18_11__A_) : MAX(cell___6_20__B_) : MAX(cell___11_5__A_) : MAX(cell___4_13__A_) : MAX(cell___5_15__B_) : MAX(cell___15_1__A_) : MAX(pool__4_2_) : MAX(cell___1_14__A_) : MAX(cell___8_2__B_) : MAX(cell___6_11__A_) : MAX(cell___11_4__A_) : MAX(pool__15_4_) : MAX(cell___6_5__B_) : MAX(cell___8_3__A_)
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(pool__11_2_)
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 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_1__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: 2905 markings, 16177 edges, 581 markings/sec, 0 secs
lola: 9223 markings, 77271 edges, 1264 markings/sec, 5 secs
lola: 15595 markings, 136372 edges, 1274 markings/sec, 10 secs
lola: 21608 markings, 207987 edges, 1203 markings/sec, 15 secs
lola: 27344 markings, 289436 edges, 1147 markings/sec, 20 secs
lola: 33759 markings, 347660 edges, 1283 markings/sec, 25 secs
lola: 39765 markings, 419829 edges, 1201 markings/sec, 30 secs
lola: 45622 markings, 499259 edges, 1171 markings/sec, 35 secs
lola: 52058 markings, 558061 edges, 1287 markings/sec, 40 secs
lola: 58047 markings, 632660 edges, 1198 markings/sec, 45 secs
lola: 63831 markings, 714155 edges, 1157 markings/sec, 50 secs
lola: 69699 markings, 792669 edges, 1174 markings/sec, 55 secs
lola: 75225 markings, 883279 edges, 1105 markings/sec, 60 secs
lola: 80653 markings, 977185 edges, 1086 markings/sec, 65 secs
lola: 86993 markings, 1040330 edges, 1268 markings/sec, 70 secs
lola: 93265 markings, 1105315 edges, 1254 markings/sec, 75 secs
lola: 99386 markings, 1175268 edges, 1224 markings/sec, 80 secs
lola: 105450 markings, 1247435 edges, 1213 markings/sec, 85 secs
lola: 111479 markings, 1321243 edges, 1206 markings/sec, 90 secs
lola: 117419 markings, 1397614 edges, 1188 markings/sec, 95 secs
lola: 123323 markings, 1474848 edges, 1181 markings/sec, 100 secs
lola: 128928 markings, 1562870 edges, 1121 markings/sec, 105 secs
lola: 134671 markings, 1645497 edges, 1149 markings/sec, 110 secs
lola: 140824 markings, 1714582 edges, 1231 markings/sec, 115 secs
lola: 146738 markings, 1791851 edges, 1183 markings/sec, 120 secs
lola: 152604 markings, 1870665 edges, 1173 markings/sec, 125 secs
lola: 158716 markings, 1940115 edges, 1222 markings/sec, 130 secs
lola: 164582 markings, 2018087 edges, 1173 markings/sec, 135 secs
lola: 170393 markings, 2098292 edges, 1162 markings/sec, 140 secs
lola: 176379 markings, 2172372 edges, 1197 markings/sec, 145 secs
lola: 182106 markings, 2255815 edges, 1145 markings/sec, 150 secs
lola: 187808 markings, 2340752 edges, 1140 markings/sec, 155 secs
lola: 193690 markings, 2418851 edges, 1176 markings/sec, 160 secs
lola: 199297 markings, 2506897 edges, 1121 markings/sec, 165 secs
lola: 204979 markings, 2591774 edges, 1136 markings/sec, 170 secs
lola: 210864 markings, 2669126 edges, 1177 markings/sec, 175 secs
lola: 216460 markings, 2756867 edges, 1119 markings/sec, 180 secs
lola: 221905 markings, 2849692 edges, 1089 markings/sec, 185 secs
lola: 227401 markings, 2940581 edges, 1099 markings/sec, 190 secs
lola: 232604 markings, 3041828 edges, 1041 markings/sec, 195 secs
lola: 237664 markings, 3147728 edges, 1012 markings/sec, 200 secs
lola: 244118 markings, 3205698 edges, 1291 markings/sec, 205 secs
lola: 250492 markings, 3266218 edges, 1275 markings/sec, 210 secs
lola: 256628 markings, 3334742 edges, 1227 markings/sec, 215 secs
lola: 262467 markings, 3413624 edges, 1168 markings/sec, 220 secs
lola: 268368 markings, 3491427 edges, 1180 markings/sec, 225 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 235 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: 2436 markings, 14729 edges, 487 markings/sec, 0 secs
lola: 8743 markings, 78123 edges, 1261 markings/sec, 5 secs
lola: 15010 markings, 142796 edges, 1253 markings/sec, 10 secs
lola: 21050 markings, 214962 edges, 1208 markings/sec, 15 secs
lola: 26760 markings, 298709 edges, 1142 markings/sec, 20 secs
lola: 33038 markings, 363117 edges, 1256 markings/sec, 25 secs
lola: 39029 markings, 437435 edges, 1198 markings/sec, 30 secs
lola: 44711 markings, 522386 edges, 1136 markings/sec, 35 secs
lola: 51040 markings, 584176 edges, 1266 markings/sec, 40 secs
lola: 56999 markings, 658939 edges, 1192 markings/sec, 45 secs
lola: 62672 markings, 743620 edges, 1135 markings/sec, 50 secs
lola: 68479 markings, 823816 edges, 1161 markings/sec, 55 secs
lola: 73979 markings, 914383 edges, 1100 markings/sec, 60 secs
lola: 79259 markings, 1012600 edges, 1056 markings/sec, 65 secs
lola: 85456 markings, 1079852 edges, 1239 markings/sec, 70 secs
lola: 91500 markings, 1152362 edges, 1209 markings/sec, 75 secs
lola: 97557 markings, 1223786 edges, 1211 markings/sec, 80 secs
lola: 103680 markings, 1293116 edges, 1225 markings/sec, 85 secs
lola: 109536 markings, 1372306 edges, 1171 markings/sec, 90 secs
lola: 115350 markings, 1452519 edges, 1163 markings/sec, 95 secs
lola: 121272 markings, 1528541 edges, 1184 markings/sec, 100 secs
lola: 126864 markings, 1616060 edges, 1118 markings/sec, 105 secs
lola: 132196 markings, 1712727 edges, 1066 markings/sec, 110 secs
lola: 138251 markings, 1784751 edges, 1211 markings/sec, 115 secs
lola: 144288 markings, 1857218 edges, 1207 markings/sec, 120 secs
lola: 149840 markings, 1946579 edges, 1110 markings/sec, 125 secs
lola: 155897 markings, 2017697 edges, 1211 markings/sec, 130 secs
lola: 161908 markings, 2090326 edges, 1202 markings/sec, 135 secs
lola: 167447 markings, 2179382 edges, 1108 markings/sec, 140 secs
lola: 173351 markings, 2256326 edges, 1181 markings/sec, 145 secs
lola: 179224 markings, 2334233 edges, 1175 markings/sec, 150 secs
lola: 184652 markings, 2427614 edges, 1086 markings/sec, 155 secs
lola: 190579 markings, 2503628 edges, 1185 markings/sec, 160 secs
lola: 196221 markings, 2589327 edges, 1128 markings/sec, 165 secs
lola: 201580 markings, 2684050 edges, 1072 markings/sec, 170 secs
lola: 207407 markings, 2762990 edges, 1165 markings/sec, 175 secs
lola: 213064 markings, 2846210 edges, 1131 markings/sec, 180 secs
lola: 218480 markings, 2939417 edges, 1083 markings/sec, 185 secs
lola: 223889 markings, 3032401 edges, 1082 markings/sec, 190 secs
lola: 229177 markings, 3129851 edges, 1058 markings/sec, 195 secs
lola: 234042 markings, 3230883 edges, 973 markings/sec, 200 secs
lola: 239534 markings, 3323107 edges, 1098 markings/sec, 205 secs
lola: 245768 markings, 3389926 edges, 1247 markings/sec, 210 secs
lola: 252112 markings, 3452610 edges, 1269 markings/sec, 215 secs
lola: 258112 markings, 3527152 edges, 1200 markings/sec, 220 secs
lola: 263807 markings, 3612417 edges, 1139 markings/sec, 225 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_20__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: 2534 markings, 12906 edges, 507 markings/sec, 0 secs
lola: 8862 markings, 73675 edges, 1266 markings/sec, 5 secs
lola: 15222 markings, 132723 edges, 1272 markings/sec, 10 secs
lola: 21251 markings, 203428 edges, 1206 markings/sec, 15 secs
lola: 26991 markings, 284233 edges, 1148 markings/sec, 20 secs
lola: 33342 markings, 343838 edges, 1270 markings/sec, 25 secs
lola: 39361 markings, 414939 edges, 1204 markings/sec, 30 secs
lola: 45093 markings, 495752 edges, 1146 markings/sec, 35 secs
lola: 51482 markings, 553184 edges, 1278 markings/sec, 40 secs
lola: 57449 markings, 625670 edges, 1193 markings/sec, 45 secs
lola: 63164 markings, 706888 edges, 1143 markings/sec, 50 secs
lola: 68995 markings, 783794 edges, 1166 markings/sec, 55 secs
lola: 74478 markings, 872831 edges, 1097 markings/sec, 60 secs
lola: 79726 markings, 970163 edges, 1050 markings/sec, 65 secs
lola: 86072 markings, 1029843 edges, 1269 markings/sec, 70 secs
lola: 92228 markings, 1096131 edges, 1231 markings/sec, 75 secs
lola: 98291 markings, 1165354 edges, 1213 markings/sec, 80 secs
lola: 104390 markings, 1233522 edges, 1220 markings/sec, 85 secs
lola: 110332 markings, 1307496 edges, 1188 markings/sec, 90 secs
lola: 116186 markings, 1384058 edges, 1171 markings/sec, 95 secs
lola: 122113 markings, 1457705 edges, 1185 markings/sec, 100 secs
lola: 127695 markings, 1543792 edges, 1116 markings/sec, 105 secs
lola: 133189 markings, 1632747 edges, 1099 markings/sec, 110 secs
lola: 139309 markings, 1700336 edges, 1224 markings/sec, 115 secs
lola: 145251 markings, 1772284 edges, 1188 markings/sec, 120 secs
lola: 150939 markings, 1854612 edges, 1138 markings/sec, 125 secs
lola: 157018 markings, 1922477 edges, 1216 markings/sec, 130 secs
lola: 162950 markings, 1995239 edges, 1186 markings/sec, 135 secs
lola: 168599 markings, 2077850 edges, 1130 markings/sec, 140 secs
lola: 174526 markings, 2151305 edges, 1185 markings/sec, 145 secs
lola: 180332 markings, 2229094 edges, 1161 markings/sec, 150 secs
lola: 185846 markings, 2317419 edges, 1103 markings/sec, 155 secs
lola: 191798 markings, 2390432 edges, 1190 markings/sec, 160 secs
lola: 197379 markings, 2476150 edges, 1116 markings/sec, 165 secs
lola: 202781 markings, 2567825 edges, 1080 markings/sec, 170 secs
lola: 208725 markings, 2640267 edges, 1189 markings/sec, 175 secs
lola: 214342 markings, 2724305 edges, 1123 markings/sec, 180 secs
lola: 219694 markings, 2818015 edges, 1070 markings/sec, 185 secs
lola: 225228 markings, 2904536 edges, 1107 markings/sec, 190 secs
lola: 230466 markings, 3001458 edges, 1048 markings/sec, 195 secs
lola: 235527 markings, 3104546 edges, 1012 markings/sec, 200 secs
lola: 241419 markings, 3179021 edges, 1178 markings/sec, 205 secs
lola: 247653 markings, 3241822 edges, 1247 markings/sec, 210 secs
lola: 253939 markings, 3302190 edges, 1257 markings/sec, 215 secs
lola: 259817 markings, 3377186 edges, 1176 markings/sec, 220 secs
lola: 265578 markings, 3456509 edges, 1152 markings/sec, 225 secs
lola: 271393 markings, 3534498 edges, 1163 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_5__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: 2725 markings, 19917 edges, 545 markings/sec, 0 secs
lola: 8844 markings, 88737 edges, 1224 markings/sec, 5 secs
lola: 15021 markings, 154958 edges, 1235 markings/sec, 10 secs
lola: 20890 markings, 231920 edges, 1174 markings/sec, 15 secs
lola: 26486 markings, 318324 edges, 1119 markings/sec, 20 secs
lola: 32620 markings, 386146 edges, 1227 markings/sec, 25 secs
lola: 38494 markings, 463782 edges, 1175 markings/sec, 30 secs
lola: 44118 markings, 550878 edges, 1125 markings/sec, 35 secs
lola: 50288 markings, 618377 edges, 1234 markings/sec, 40 secs
lola: 56150 markings, 696430 edges, 1172 markings/sec, 45 secs
lola: 61750 markings, 783312 edges, 1120 markings/sec, 50 secs
lola: 67481 markings, 865911 edges, 1146 markings/sec, 55 secs
lola: 72911 markings, 958401 edges, 1086 markings/sec, 60 secs
lola: 78147 markings, 1058066 edges, 1047 markings/sec, 65 secs
lola: 84040 markings, 1136135 edges, 1179 markings/sec, 70 secs
lola: 89998 markings, 1211703 edges, 1192 markings/sec, 75 secs
lola: 96037 markings, 1283843 edges, 1208 markings/sec, 80 secs
lola: 102005 markings, 1357776 edges, 1194 markings/sec, 85 secs
lola: 107759 markings, 1441040 edges, 1151 markings/sec, 90 secs
lola: 113546 markings, 1522800 edges, 1157 markings/sec, 95 secs
lola: 119346 markings, 1603455 edges, 1160 markings/sec, 100 secs
lola: 124936 markings, 1691210 edges, 1118 markings/sec, 105 secs
lola: 130311 markings, 1786720 edges, 1075 markings/sec, 110 secs
lola: 136076 markings, 1869159 edges, 1153 markings/sec, 115 secs
lola: 142034 markings, 1945067 edges, 1192 markings/sec, 120 secs
lola: 147653 markings, 2032720 edges, 1124 markings/sec, 125 secs
lola: 153426 markings, 2114032 edges, 1155 markings/sec, 130 secs
lola: 159355 markings, 2189414 edges, 1186 markings/sec, 135 secs
lola: 164963 markings, 2275593 edges, 1122 markings/sec, 140 secs
lola: 170639 markings, 2360044 edges, 1135 markings/sec, 145 secs
lola: 176435 markings, 2440659 edges, 1159 markings/sec, 150 secs
lola: 181959 markings, 2530765 edges, 1105 markings/sec, 155 secs
lola: 187501 markings, 2620703 edges, 1108 markings/sec, 160 secs
lola: 193182 markings, 2704637 edges, 1136 markings/sec, 165 secs
lola: 198632 markings, 2797624 edges, 1090 markings/sec, 170 secs
lola: 204074 markings, 2890329 edges, 1088 markings/sec, 175 secs
lola: 209826 markings, 2971874 edges, 1150 markings/sec, 180 secs
lola: 215267 markings, 3064472 edges, 1088 markings/sec, 185 secs
lola: 220526 markings, 3163065 edges, 1052 markings/sec, 190 secs
lola: 225871 markings, 3258558 edges, 1069 markings/sec, 195 secs
lola: 230976 markings, 3362049 edges, 1021 markings/sec, 200 secs
lola: 235914 markings, 3471388 edges, 988 markings/sec, 205 secs
lola: 241809 markings, 3547831 edges, 1179 markings/sec, 210 secs
lola: 247923 markings, 3616860 edges, 1223 markings/sec, 215 secs
lola: 254017 markings, 3686368 edges, 1219 markings/sec, 220 secs
lola: 259766 markings, 3768154 edges, 1150 markings/sec, 225 secs
lola: 265389 markings, 3854311 edges, 1125 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___4_13__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: 2707 markings, 19581 edges, 541 markings/sec, 0 secs
lola: 8853 markings, 88567 edges, 1229 markings/sec, 5 secs
lola: 15054 markings, 155170 edges, 1240 markings/sec, 10 secs
lola: 20942 markings, 232500 edges, 1178 markings/sec, 15 secs
lola: 26563 markings, 319379 edges, 1124 markings/sec, 20 secs
lola: 32730 markings, 387311 edges, 1233 markings/sec, 25 secs
lola: 38615 markings, 465477 edges, 1177 markings/sec, 30 secs
lola: 44238 markings, 552707 edges, 1125 markings/sec, 35 secs
lola: 50425 markings, 619723 edges, 1237 markings/sec, 40 secs
lola: 56274 markings, 698150 edges, 1170 markings/sec, 45 secs
lola: 61870 markings, 785616 edges, 1119 markings/sec, 50 secs
lola: 67612 markings, 867930 edges, 1148 markings/sec, 55 secs
lola: 73050 markings, 960521 edges, 1088 markings/sec, 60 secs
lola: 78274 markings, 1060593 edges, 1045 markings/sec, 65 secs
lola: 84191 markings, 1137439 edges, 1183 markings/sec, 70 secs
lola: 90154 markings, 1213141 edges, 1193 markings/sec, 75 secs
lola: 96174 markings, 1285493 edges, 1204 markings/sec, 80 secs
lola: 102164 markings, 1359502 edges, 1198 markings/sec, 85 secs
lola: 107913 markings, 1442758 edges, 1150 markings/sec, 90 secs
lola: 113681 markings, 1524972 edges, 1154 markings/sec, 95 secs
lola: 119482 markings, 1604995 edges, 1160 markings/sec, 100 secs
lola: 125063 markings, 1692818 edges, 1116 markings/sec, 105 secs
lola: 130424 markings, 1788439 edges, 1072 markings/sec, 110 secs
lola: 136195 markings, 1870380 edges, 1154 markings/sec, 115 secs
lola: 142134 markings, 1946344 edges, 1188 markings/sec, 120 secs
lola: 147745 markings, 2033817 edges, 1122 markings/sec, 125 secs
lola: 153520 markings, 2114784 edges, 1155 markings/sec, 130 secs
lola: 159432 markings, 2190045 edges, 1182 markings/sec, 135 secs
lola: 165025 markings, 2276471 edges, 1119 markings/sec, 140 secs
lola: 170698 markings, 2360781 edges, 1135 markings/sec, 145 secs
lola: 176493 markings, 2441267 edges, 1159 markings/sec, 150 secs
lola: 182018 markings, 2531416 edges, 1105 markings/sec, 155 secs
lola: 187570 markings, 2621306 edges, 1110 markings/sec, 160 secs
lola: 193258 markings, 2705947 edges, 1138 markings/sec, 165 secs
lola: 198705 markings, 2798792 edges, 1089 markings/sec, 170 secs
lola: 204162 markings, 2891001 edges, 1091 markings/sec, 175 secs
lola: 209904 markings, 2972909 edges, 1148 markings/sec, 180 secs
lola: 215344 markings, 3065578 edges, 1088 markings/sec, 185 secs
lola: 220612 markings, 3164072 edges, 1054 markings/sec, 190 secs
lola: 225957 markings, 3259614 edges, 1069 markings/sec, 195 secs
lola: 231053 markings, 3363397 edges, 1019 markings/sec, 200 secs
lola: 235990 markings, 3472810 edges, 987 markings/sec, 205 secs
lola: 241895 markings, 3548958 edges, 1181 markings/sec, 210 secs
lola: 248014 markings, 3617601 edges, 1224 markings/sec, 215 secs
lola: 254093 markings, 3687311 edges, 1216 markings/sec, 220 secs
lola: 259838 markings, 3768940 edges, 1149 markings/sec, 225 secs
lola: 265470 markings, 3855134 edges, 1126 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___5_15__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: 2806 markings, 19304 edges, 561 markings/sec, 0 secs
lola: 8973 markings, 88461 edges, 1233 markings/sec, 5 secs
lola: 15181 markings, 155111 edges, 1242 markings/sec, 10 secs
lola: 21081 markings, 232619 edges, 1180 markings/sec, 15 secs
lola: 26708 markings, 319679 edges, 1125 markings/sec, 20 secs
lola: 32897 markings, 387829 edges, 1238 markings/sec, 25 secs
lola: 38790 markings, 466358 edges, 1179 markings/sec, 30 secs
lola: 44411 markings, 553720 edges, 1124 markings/sec, 35 secs
lola: 50608 markings, 620462 edges, 1239 markings/sec, 40 secs
lola: 56473 markings, 698908 edges, 1173 markings/sec, 45 secs
lola: 62058 markings, 786816 edges, 1117 markings/sec, 50 secs
lola: 67810 markings, 869015 edges, 1150 markings/sec, 55 secs
lola: 73252 markings, 961866 edges, 1088 markings/sec, 60 secs
lola: 78486 markings, 1062117 edges, 1047 markings/sec, 65 secs
lola: 84428 markings, 1138459 edges, 1188 markings/sec, 70 secs
lola: 90394 markings, 1213903 edges, 1193 markings/sec, 75 secs
lola: 96402 markings, 1286978 edges, 1202 markings/sec, 80 secs
lola: 102395 markings, 1361078 edges, 1199 markings/sec, 85 secs
lola: 108154 markings, 1444081 edges, 1152 markings/sec, 90 secs
lola: 113919 markings, 1526505 edges, 1153 markings/sec, 95 secs
lola: 119730 markings, 1606511 edges, 1162 markings/sec, 100 secs
lola: 125310 markings, 1694651 edges, 1116 markings/sec, 105 secs
lola: 130656 markings, 1790716 edges, 1069 markings/sec, 110 secs
lola: 136445 markings, 1872136 edges, 1158 markings/sec, 115 secs
lola: 142389 markings, 1948148 edges, 1189 markings/sec, 120 secs
lola: 147998 markings, 2035877 edges, 1122 markings/sec, 125 secs
lola: 153790 markings, 2116396 edges, 1158 markings/sec, 130 secs
lola: 159706 markings, 2191973 edges, 1183 markings/sec, 135 secs
lola: 165290 markings, 2279050 edges, 1117 markings/sec, 140 secs
lola: 170981 markings, 2363379 edges, 1138 markings/sec, 145 secs
lola: 176786 markings, 2444014 edges, 1161 markings/sec, 150 secs
lola: 182308 markings, 2534406 edges, 1104 markings/sec, 155 secs
lola: 187865 markings, 2623126 edges, 1111 markings/sec, 160 secs
lola: 193547 markings, 2708292 edges, 1136 markings/sec, 165 secs
lola: 198986 markings, 2801852 edges, 1088 markings/sec, 170 secs
lola: 204466 markings, 2893220 edges, 1096 markings/sec, 175 secs
lola: 210199 markings, 2975435 edges, 1147 markings/sec, 180 secs
lola: 215625 markings, 3068726 edges, 1085 markings/sec, 185 secs
lola: 220906 markings, 3166825 edges, 1056 markings/sec, 190 secs
lola: 226251 markings, 3262734 edges, 1069 markings/sec, 195 secs
lola: 231346 markings, 3367274 edges, 1019 markings/sec, 200 secs
lola: 236278 markings, 3477273 edges, 986 markings/sec, 205 secs
lola: 242254 markings, 3550853 edges, 1195 markings/sec, 210 secs
lola: 248369 markings, 3619862 edges, 1223 markings/sec, 215 secs
lola: 254418 markings, 3690530 edges, 1210 markings/sec, 220 secs
lola: 260161 markings, 3772342 edges, 1149 markings/sec, 225 secs
lola: 265811 markings, 3857980 edges, 1130 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___15_1__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: 3204 markings, 18105 edges, 641 markings/sec, 0 secs
lola: 9548 markings, 80848 edges, 1269 markings/sec, 5 secs
lola: 15972 markings, 140438 edges, 1285 markings/sec, 10 secs
lola: 22040 markings, 212313 edges, 1214 markings/sec, 15 secs
lola: 27848 markings, 293361 edges, 1162 markings/sec, 20 secs
lola: 34229 markings, 350974 edges, 1276 markings/sec, 25 secs
lola: 40207 markings, 423967 edges, 1196 markings/sec, 30 secs
lola: 46012 markings, 501772 edges, 1161 markings/sec, 35 secs
lola: 52334 markings, 560922 edges, 1264 markings/sec, 40 secs
lola: 58241 markings, 634876 edges, 1181 markings/sec, 45 secs
lola: 64016 markings, 716325 edges, 1155 markings/sec, 50 secs
lola: 69824 markings, 794130 edges, 1162 markings/sec, 55 secs
lola: 75382 markings, 885546 edges, 1112 markings/sec, 60 secs
lola: 80865 markings, 978923 edges, 1097 markings/sec, 65 secs
lola: 87192 markings, 1042465 edges, 1265 markings/sec, 70 secs
lola: 93496 markings, 1106397 edges, 1261 markings/sec, 75 secs
lola: 99601 markings, 1177042 edges, 1221 markings/sec, 80 secs
lola: 105651 markings, 1250122 edges, 1210 markings/sec, 85 secs
lola: 111692 markings, 1323803 edges, 1208 markings/sec, 90 secs
lola: 117636 markings, 1400266 edges, 1189 markings/sec, 95 secs
lola: 123528 markings, 1478189 edges, 1178 markings/sec, 100 secs
lola: 129144 markings, 1566326 edges, 1123 markings/sec, 105 secs
lola: 134941 markings, 1647965 edges, 1159 markings/sec, 110 secs
lola: 141093 markings, 1717733 edges, 1230 markings/sec, 115 secs
lola: 146991 markings, 1796244 edges, 1180 markings/sec, 120 secs
lola: 152900 markings, 1874090 edges, 1182 markings/sec, 125 secs
lola: 159040 markings, 1943006 edges, 1228 markings/sec, 130 secs
lola: 164889 markings, 2022063 edges, 1170 markings/sec, 135 secs
lola: 170731 markings, 2101760 edges, 1168 markings/sec, 140 secs
lola: 176724 markings, 2176266 edges, 1199 markings/sec, 145 secs
lola: 182439 markings, 2260652 edges, 1143 markings/sec, 150 secs
lola: 188196 markings, 2344083 edges, 1151 markings/sec, 155 secs
lola: 194056 markings, 2423346 edges, 1172 markings/sec, 160 secs
lola: 199629 markings, 2512693 edges, 1115 markings/sec, 165 secs
lola: 205346 markings, 2596583 edges, 1143 markings/sec, 170 secs
lola: 211216 markings, 2674797 edges, 1174 markings/sec, 175 secs
lola: 216816 markings, 2762928 edges, 1120 markings/sec, 180 secs
lola: 222298 markings, 2854781 edges, 1096 markings/sec, 185 secs
lola: 227760 markings, 2947053 edges, 1092 markings/sec, 190 secs
lola: 232966 markings, 3048360 edges, 1041 markings/sec, 195 secs
lola: 238144 markings, 3150512 edges, 1036 markings/sec, 200 secs
lola: 244580 markings, 3209492 edges, 1287 markings/sec, 205 secs
lola: 250940 markings, 3270744 edges, 1272 markings/sec, 210 secs
lola: 257077 markings, 3339520 edges, 1227 markings/sec, 215 secs
lola: 262887 markings, 3419705 edges, 1162 markings/sec, 220 secs
lola: 268825 markings, 3496430 edges, 1188 markings/sec, 225 secs
lola: 274687 markings, 3575950 edges, 1172 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__4_2_)
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 9 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_14__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: 2825 markings, 15680 edges, 565 markings/sec, 0 secs
lola: 9203 markings, 76859 edges, 1276 markings/sec, 5 secs
lola: 15612 markings, 136481 edges, 1282 markings/sec, 10 secs
lola: 21654 markings, 208205 edges, 1208 markings/sec, 15 secs
lola: 27411 markings, 290840 edges, 1151 markings/sec, 20 secs
lola: 33888 markings, 348543 edges, 1295 markings/sec, 25 secs
lola: 39932 markings, 421364 edges, 1209 markings/sec, 30 secs
lola: 45768 markings, 500312 edges, 1167 markings/sec, 35 secs
lola: 52184 markings, 559576 edges, 1283 markings/sec, 40 secs
lola: 58156 markings, 634025 edges, 1194 markings/sec, 45 secs
lola: 63931 markings, 715286 edges, 1155 markings/sec, 50 secs
lola: 69560 markings, 790235 edges, 1126 markings/sec, 55 secs
lola: 74744 markings, 876181 edges, 1037 markings/sec, 60 secs
lola: 79748 markings, 967853 edges, 1001 markings/sec, 65 secs
lola: 85788 markings, 1026288 edges, 1208 markings/sec, 70 secs
lola: 91644 markings, 1091921 edges, 1171 markings/sec, 75 secs
lola: 97472 markings, 1157595 edges, 1166 markings/sec, 80 secs
lola: 103414 markings, 1219674 edges, 1188 markings/sec, 85 secs
lola: 109071 markings, 1292851 edges, 1131 markings/sec, 90 secs
lola: 114896 markings, 1370378 edges, 1165 markings/sec, 95 secs
lola: 120939 markings, 1442256 edges, 1209 markings/sec, 100 secs
lola: 126612 markings, 1526213 edges, 1135 markings/sec, 105 secs
lola: 132028 markings, 1618030 edges, 1083 markings/sec, 110 secs
lola: 138084 markings, 1689100 edges, 1211 markings/sec, 115 secs
lola: 144169 markings, 1758779 edges, 1217 markings/sec, 120 secs
lola: 149800 markings, 1844301 edges, 1126 markings/sec, 125 secs
lola: 155870 markings, 1913192 edges, 1214 markings/sec, 130 secs
lola: 161944 markings, 1981953 edges, 1215 markings/sec, 135 secs
lola: 167522 markings, 2067842 edges, 1116 markings/sec, 140 secs
lola: 173488 markings, 2141220 edges, 1193 markings/sec, 145 secs
lola: 179417 markings, 2215936 edges, 1186 markings/sec, 150 secs
lola: 184872 markings, 2307174 edges, 1091 markings/sec, 155 secs
lola: 190889 markings, 2378683 edges, 1203 markings/sec, 160 secs
lola: 196550 markings, 2462705 edges, 1132 markings/sec, 165 secs
lola: 201976 markings, 2554309 edges, 1085 markings/sec, 170 secs
lola: 207922 markings, 2627917 edges, 1189 markings/sec, 175 secs
lola: 213595 markings, 2710446 edges, 1135 markings/sec, 180 secs
lola: 219013 markings, 2801907 edges, 1084 markings/sec, 185 secs
lola: 224500 markings, 2890862 edges, 1097 markings/sec, 190 secs
lola: 229792 markings, 2986278 edges, 1058 markings/sec, 195 secs
lola: 234848 markings, 3089862 edges, 1011 markings/sec, 200 secs
lola: 240552 markings, 3171580 edges, 1141 markings/sec, 205 secs
lola: 246797 markings, 3234351 edges, 1249 markings/sec, 210 secs
lola: 253172 markings, 3292561 edges, 1275 markings/sec, 215 secs
lola: 259115 markings, 3366128 edges, 1189 markings/sec, 220 secs
lola: 264849 markings, 3446854 edges, 1147 markings/sec, 225 secs
lola: 270748 markings, 3523066 edges, 1180 markings/sec, 230 secs
lola: 276604 markings, 3600342 edges, 1171 markings/sec, 235 secs
lola: 282280 markings, 3683603 edges, 1135 markings/sec, 240 secs
lola: 287704 markings, 3775917 edges, 1085 markings/sec, 245 secs
lola: 293660 markings, 3849219 edges, 1191 markings/sec, 250 secs
lola: 299804 markings, 3915402 edges, 1229 markings/sec, 255 secs
lola: 305631 markings, 3992493 edges, 1165 markings/sec, 260 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_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: 2957 markings, 20956 edges, 591 markings/sec, 0 secs
lola: 9121 markings, 91235 edges, 1233 markings/sec, 5 secs
lola: 15371 markings, 158020 edges, 1250 markings/sec, 10 secs
lola: 21269 markings, 237099 edges, 1180 markings/sec, 15 secs
lola: 26909 markings, 325325 edges, 1128 markings/sec, 20 secs
lola: 33162 markings, 392318 edges, 1251 markings/sec, 25 secs
lola: 39081 markings, 470854 edges, 1184 markings/sec, 30 secs
lola: 44701 markings, 559777 edges, 1124 markings/sec, 35 secs
lola: 50974 markings, 625358 edges, 1255 markings/sec, 40 secs
lola: 56848 markings, 704969 edges, 1175 markings/sec, 45 secs
lola: 62468 markings, 793439 edges, 1124 markings/sec, 50 secs
lola: 68205 markings, 877695 edges, 1147 markings/sec, 55 secs
lola: 73661 markings, 971552 edges, 1091 markings/sec, 60 secs
lola: 78906 markings, 1072858 edges, 1049 markings/sec, 65 secs
lola: 85004 markings, 1145319 edges, 1220 markings/sec, 70 secs
lola: 90985 markings, 1221620 edges, 1196 markings/sec, 75 secs
lola: 96948 markings, 1297640 edges, 1193 markings/sec, 80 secs
lola: 103005 markings, 1370940 edges, 1211 markings/sec, 85 secs
lola: 108809 markings, 1454145 edges, 1161 markings/sec, 90 secs
lola: 114537 markings, 1539392 edges, 1146 markings/sec, 95 secs
lola: 120437 markings, 1617744 edges, 1180 markings/sec, 100 secs
lola: 126002 markings, 1708042 edges, 1113 markings/sec, 105 secs
lola: 131342 markings, 1805872 edges, 1068 markings/sec, 110 secs
lola: 137256 markings, 1884873 edges, 1183 markings/sec, 115 secs
lola: 143227 markings, 1961483 edges, 1194 markings/sec, 120 secs
lola: 148805 markings, 2052003 edges, 1116 markings/sec, 125 secs
lola: 154704 markings, 2130461 edges, 1180 markings/sec, 130 secs
lola: 160657 markings, 2206761 edges, 1191 markings/sec, 135 secs
lola: 166213 markings, 2296643 edges, 1111 markings/sec, 140 secs
lola: 171997 markings, 2379418 edges, 1157 markings/sec, 145 secs
lola: 177826 markings, 2460526 edges, 1166 markings/sec, 150 secs
lola: 183284 markings, 2554760 edges, 1092 markings/sec, 155 secs
lola: 189038 markings, 2639126 edges, 1151 markings/sec, 160 secs
lola: 194676 markings, 2727051 edges, 1128 markings/sec, 165 secs
lola: 200069 markings, 2823557 edges, 1079 markings/sec, 170 secs
lola: 205700 markings, 2911021 edges, 1126 markings/sec, 175 secs
lola: 211380 markings, 2996536 edges, 1136 markings/sec, 180 secs
lola: 216785 markings, 3092018 edges, 1081 markings/sec, 185 secs
lola: 222141 markings, 3189039 edges, 1071 markings/sec, 190 secs
lola: 227468 markings, 3286864 edges, 1065 markings/sec, 195 secs
lola: 232548 markings, 3393482 edges, 1016 markings/sec, 200 secs
lola: 237545 markings, 3502723 edges, 999 markings/sec, 205 secs
lola: 243799 markings, 3568795 edges, 1251 markings/sec, 210 secs
lola: 249988 markings, 3636889 edges, 1238 markings/sec, 215 secs
lola: 255971 markings, 3711843 edges, 1197 markings/sec, 220 secs
lola: 261682 markings, 3796464 edges, 1142 markings/sec, 225 secs
lola: 267418 markings, 3881201 edges, 1147 markings/sec, 230 secs
lola: 273090 markings, 3968344 edges, 1134 markings/sec, 235 secs
lola: 278865 markings, 4051538 edges, 1155 markings/sec, 240 secs
lola: 284298 markings, 4146819 edges, 1087 markings/sec, 245 secs
lola: 289513 markings, 4249624 edges, 1043 markings/sec, 250 secs
lola: 295778 markings, 4314907 edges, 1253 markings/sec, 255 secs
lola: 301661 markings, 4393463 edges, 1177 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_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: 2705 markings, 18703 edges, 541 markings/sec, 0 secs
lola: 8885 markings, 87796 edges, 1236 markings/sec, 5 secs
lola: 15114 markings, 154722 edges, 1246 markings/sec, 10 secs
lola: 21028 markings, 232450 edges, 1183 markings/sec, 15 secs
lola: 26678 markings, 319890 edges, 1130 markings/sec, 20 secs
lola: 32873 markings, 388126 edges, 1239 markings/sec, 25 secs
lola: 38772 markings, 466784 edges, 1180 markings/sec, 30 secs
lola: 44407 markings, 554551 edges, 1127 markings/sec, 35 secs
lola: 50627 markings, 621327 edges, 1244 markings/sec, 40 secs
lola: 56516 markings, 699717 edges, 1178 markings/sec, 45 secs
lola: 62104 markings, 788814 edges, 1118 markings/sec, 50 secs
lola: 67880 markings, 871049 edges, 1155 markings/sec, 55 secs
lola: 73344 markings, 964289 edges, 1093 markings/sec, 60 secs
lola: 78589 markings, 1065035 edges, 1049 markings/sec, 65 secs
lola: 84587 markings, 1140140 edges, 1200 markings/sec, 70 secs
lola: 90552 markings, 1215948 edges, 1193 markings/sec, 75 secs
lola: 96556 markings, 1290192 edges, 1201 markings/sec, 80 secs
lola: 102579 markings, 1364143 edges, 1205 markings/sec, 85 secs
lola: 108360 markings, 1447198 edges, 1156 markings/sec, 90 secs
lola: 114122 markings, 1530472 edges, 1152 markings/sec, 95 secs
lola: 119948 markings, 1609657 edges, 1165 markings/sec, 100 secs
lola: 125497 markings, 1698495 edges, 1110 markings/sec, 105 secs
lola: 130825 markings, 1795063 edges, 1066 markings/sec, 110 secs
lola: 136620 markings, 1875537 edges, 1159 markings/sec, 115 secs
lola: 142550 markings, 1951401 edges, 1186 markings/sec, 120 secs
lola: 148135 markings, 2039268 edges, 1117 markings/sec, 125 secs
lola: 153931 markings, 2118984 edges, 1159 markings/sec, 130 secs
lola: 159837 markings, 2194425 edges, 1181 markings/sec, 135 secs
lola: 165408 markings, 2281452 edges, 1114 markings/sec, 140 secs
lola: 171080 markings, 2365518 edges, 1134 markings/sec, 145 secs
lola: 176860 markings, 2446111 edges, 1156 markings/sec, 150 secs
lola: 182363 markings, 2535941 edges, 1101 markings/sec, 155 secs
lola: 187932 markings, 2624642 edges, 1114 markings/sec, 160 secs
lola: 193588 markings, 2709484 edges, 1131 markings/sec, 165 secs
lola: 199000 markings, 2802942 edges, 1082 markings/sec, 170 secs
lola: 204476 markings, 2893697 edges, 1095 markings/sec, 175 secs
lola: 210184 markings, 2975921 edges, 1142 markings/sec, 180 secs
lola: 215600 markings, 3069082 edges, 1083 markings/sec, 185 secs
lola: 220870 markings, 3166829 edges, 1054 markings/sec, 190 secs
lola: 226192 markings, 3262446 edges, 1064 markings/sec, 195 secs
lola: 231271 markings, 3366785 edges, 1016 markings/sec, 200 secs
lola: 236202 markings, 3476263 edges, 986 markings/sec, 205 secs
lola: 242160 markings, 3550252 edges, 1192 markings/sec, 210 secs
lola: 248184 markings, 3618326 edges, 1205 markings/sec, 215 secs
lola: 254040 markings, 3685103 edges, 1171 markings/sec, 220 secs
lola: 259780 markings, 3766803 edges, 1148 markings/sec, 225 secs
lola: 265398 markings, 3853267 edges, 1124 markings/sec, 230 secs
lola: 271096 markings, 3937441 edges, 1140 markings/sec, 235 secs
lola: 276818 markings, 4020657 edges, 1144 markings/sec, 240 secs
lola: 282346 markings, 4110563 edges, 1106 markings/sec, 245 secs
lola: 287637 markings, 4208488 edges, 1058 markings/sec, 250 secs
lola: 293456 markings, 4287807 edges, 1164 markings/sec, 255 secs
lola: 299422 markings, 4361267 edges, 1193 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___11_4__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: 2826 markings, 20169 edges, 565 markings/sec, 0 secs
lola: 8978 markings, 87887 edges, 1230 markings/sec, 5 secs
lola: 15152 markings, 154511 edges, 1235 markings/sec, 10 secs
lola: 21033 markings, 230771 edges, 1176 markings/sec, 15 secs
lola: 26659 markings, 317091 edges, 1125 markings/sec, 20 secs
lola: 32783 markings, 385841 edges, 1225 markings/sec, 25 secs
lola: 38670 markings, 462883 edges, 1177 markings/sec, 30 secs
lola: 44286 markings, 549469 edges, 1123 markings/sec, 35 secs
lola: 50416 markings, 617505 edges, 1226 markings/sec, 40 secs
lola: 56288 markings, 694476 edges, 1174 markings/sec, 45 secs
lola: 61890 markings, 781076 edges, 1120 markings/sec, 50 secs
lola: 67587 markings, 864292 edges, 1139 markings/sec, 55 secs
lola: 73035 markings, 956198 edges, 1090 markings/sec, 60 secs
lola: 78268 markings, 1054838 edges, 1047 markings/sec, 65 secs
lola: 84082 markings, 1134682 edges, 1163 markings/sec, 70 secs
lola: 90010 markings, 1210067 edges, 1186 markings/sec, 75 secs
lola: 96038 markings, 1281101 edges, 1206 markings/sec, 80 secs
lola: 101962 markings, 1356049 edges, 1185 markings/sec, 85 secs
lola: 107717 markings, 1438024 edges, 1151 markings/sec, 90 secs
lola: 113502 markings, 1518449 edges, 1157 markings/sec, 95 secs
lola: 119273 markings, 1598715 edges, 1154 markings/sec, 100 secs
lola: 124853 markings, 1685459 edges, 1116 markings/sec, 105 secs
lola: 130191 markings, 1780905 edges, 1068 markings/sec, 110 secs
lola: 135890 markings, 1863788 edges, 1140 markings/sec, 115 secs
lola: 141808 markings, 1939054 edges, 1184 markings/sec, 120 secs
lola: 147441 markings, 2024369 edges, 1127 markings/sec, 125 secs
lola: 153134 markings, 2106978 edges, 1139 markings/sec, 130 secs
lola: 159022 markings, 2182002 edges, 1178 markings/sec, 135 secs
lola: 164650 markings, 2266009 edges, 1126 markings/sec, 140 secs
lola: 170246 markings, 2351653 edges, 1119 markings/sec, 145 secs
lola: 176013 markings, 2431655 edges, 1153 markings/sec, 150 secs
lola: 181577 markings, 2518876 edges, 1113 markings/sec, 155 secs
lola: 187018 markings, 2610942 edges, 1088 markings/sec, 160 secs
lola: 192749 markings, 2692528 edges, 1146 markings/sec, 165 secs
lola: 198173 markings, 2784934 edges, 1085 markings/sec, 170 secs
lola: 203500 markings, 2880071 edges, 1065 markings/sec, 175 secs
lola: 209268 markings, 2959635 edges, 1154 markings/sec, 180 secs
lola: 214693 markings, 3051196 edges, 1085 markings/sec, 185 secs
lola: 219903 markings, 3150076 edges, 1042 markings/sec, 190 secs
lola: 225310 markings, 3242210 edges, 1081 markings/sec, 195 secs
lola: 230422 markings, 3344399 edges, 1022 markings/sec, 200 secs
lola: 235365 markings, 3452669 edges, 989 markings/sec, 205 secs
lola: 240979 markings, 3537598 edges, 1123 markings/sec, 210 secs
lola: 247038 markings, 3607073 edges, 1212 markings/sec, 215 secs
lola: 253201 markings, 3672832 edges, 1233 markings/sec, 220 secs
lola: 258960 markings, 3752656 edges, 1152 markings/sec, 225 secs
lola: 264517 markings, 3839983 edges, 1111 markings/sec, 230 secs
lola: 270246 markings, 3922646 edges, 1146 markings/sec, 235 secs
lola: 275918 markings, 4006780 edges, 1134 markings/sec, 240 secs
lola: 281490 markings, 4094234 edges, 1114 markings/sec, 245 secs
lola: 286826 markings, 4190186 edges, 1067 markings/sec, 250 secs
lola: 292413 markings, 4276501 edges, 1117 markings/sec, 255 secs
lola: 298438 markings, 4347175 edges, 1205 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__15_4_)
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 14 will run for 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_5__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: 2841 markings, 20845 edges, 568 markings/sec, 0 secs
lola: 8760 markings, 87140 edges, 1184 markings/sec, 5 secs
lola: 14649 markings, 150730 edges, 1178 markings/sec, 10 secs
lola: 20558 markings, 226702 edges, 1182 markings/sec, 15 secs
lola: 26178 markings, 312761 edges, 1124 markings/sec, 20 secs
lola: 32289 markings, 381707 edges, 1222 markings/sec, 25 secs
lola: 38185 markings, 458247 edges, 1179 markings/sec, 30 secs
lola: 43797 markings, 544506 edges, 1122 markings/sec, 35 secs
lola: 49941 markings, 613265 edges, 1229 markings/sec, 40 secs
lola: 55797 markings, 689902 edges, 1171 markings/sec, 45 secs
lola: 61470 markings, 777444 edges, 1135 markings/sec, 50 secs
lola: 67199 markings, 861275 edges, 1146 markings/sec, 55 secs
lola: 72690 markings, 953905 edges, 1098 markings/sec, 60 secs
lola: 77975 markings, 1053891 edges, 1057 markings/sec, 65 secs
lola: 83872 markings, 1133648 edges, 1179 markings/sec, 70 secs
lola: 89874 markings, 1210013 edges, 1200 markings/sec, 75 secs
lola: 95944 markings, 1282338 edges, 1214 markings/sec, 80 secs
lola: 101977 markings, 1356938 edges, 1207 markings/sec, 85 secs
lola: 107766 markings, 1440662 edges, 1158 markings/sec, 90 secs
lola: 113582 markings, 1522996 edges, 1163 markings/sec, 95 secs
lola: 119418 markings, 1604027 edges, 1167 markings/sec, 100 secs
lola: 125047 markings, 1692346 edges, 1126 markings/sec, 105 secs
lola: 130442 markings, 1788668 edges, 1079 markings/sec, 110 secs
lola: 136258 markings, 1871110 edges, 1163 markings/sec, 115 secs
lola: 142238 markings, 1947624 edges, 1196 markings/sec, 120 secs
lola: 147884 markings, 2036022 edges, 1129 markings/sec, 125 secs
lola: 153725 markings, 2117096 edges, 1168 markings/sec, 130 secs
lola: 159685 markings, 2193402 edges, 1192 markings/sec, 135 secs
lola: 165242 markings, 2280025 edges, 1111 markings/sec, 140 secs
lola: 170977 markings, 2365121 edges, 1147 markings/sec, 145 secs
lola: 176821 markings, 2446474 edges, 1169 markings/sec, 150 secs
lola: 182378 markings, 2537891 edges, 1111 markings/sec, 155 secs
lola: 188015 markings, 2627071 edges, 1127 markings/sec, 160 secs
lola: 193731 markings, 2712923 edges, 1143 markings/sec, 165 secs
lola: 199179 markings, 2808316 edges, 1090 markings/sec, 170 secs
lola: 204746 markings, 2898908 edges, 1113 markings/sec, 175 secs
lola: 210495 markings, 2982780 edges, 1150 markings/sec, 180 secs
lola: 215967 markings, 3076645 edges, 1094 markings/sec, 185 secs
lola: 221291 markings, 3175590 edges, 1065 markings/sec, 190 secs
lola: 226675 markings, 3271927 edges, 1077 markings/sec, 195 secs
lola: 231764 markings, 3378777 edges, 1018 markings/sec, 200 secs
lola: 236696 markings, 3490559 edges, 986 markings/sec, 205 secs
lola: 242896 markings, 3559530 edges, 1240 markings/sec, 210 secs
lola: 249081 markings, 3628868 edges, 1237 markings/sec, 215 secs
lola: 255155 markings, 3701782 edges, 1215 markings/sec, 220 secs
lola: 260900 markings, 3786229 edges, 1149 markings/sec, 225 secs
lola: 266637 markings, 3871810 edges, 1147 markings/sec, 230 secs
lola: 272313 markings, 3959844 edges, 1135 markings/sec, 235 secs
lola: 278126 markings, 4042760 edges, 1163 markings/sec, 240 secs
lola: 283639 markings, 4136214 edges, 1103 markings/sec, 245 secs
lola: 288942 markings, 4236672 edges, 1061 markings/sec, 250 secs
lola: 295104 markings, 4306759 edges, 1232 markings/sec, 255 secs
lola: 301019 markings, 4385263 edges, 1183 markings/sec, 260 secs
lola: 306662 markings, 4472850 edges, 1129 markings/sec, 265 secs
lola: 312885 markings, 4540321 edges, 1245 markings/sec, 270 secs
lola: 318781 markings, 4619122 edges, 1179 markings/sec, 275 secs
lola: 324389 markings, 4707779 edges, 1122 markings/sec, 280 secs
lola: 330170 markings, 4790259 edges, 1156 markings/sec, 285 secs
lola: 335635 markings, 4883482 edges, 1093 markings/sec, 290 secs
lola: 340881 markings, 4984253 edges, 1049 markings/sec, 295 secs
lola: 346558 markings, 5071545 edges, 1135 markings/sec, 300 secs
lola: 352146 markings, 5162291 edges, 1118 markings/sec, 305 secs
lola: 357495 markings, 5261235 edges, 1070 markings/sec, 310 secs
lola: 363063 markings, 5352238 edges, 1114 markings/sec, 315 secs
lola: 368698 markings, 5440679 edges, 1127 markings/sec, 320 secs
lola: 374082 markings, 5538066 edges, 1077 markings/sec, 325 secs
lola: 379380 markings, 5638223 edges, 1060 markings/sec, 330 secs
lola: 384674 markings, 5738222 edges, 1059 markings/sec, 335 secs
lola: 389709 markings, 5847430 edges, 1007 markings/sec, 340 secs
lola: 394566 markings, 5962511 edges, 971 markings/sec, 345 secs
lola: 400789 markings, 6030391 edges, 1245 markings/sec, 350 secs
lola: 406824 markings, 6104587 edges, 1207 markings/sec, 355 secs
lola: 412785 markings, 6181297 edges, 1192 markings/sec, 360 secs
lola: 418773 markings, 6257080 edges, 1198 markings/sec, 365 secs
lola: 424598 markings, 6338501 edges, 1165 markings/sec, 370 secs
lola: 430333 markings, 6422628 edges, 1147 markings/sec, 375 secs
lola: 436170 markings, 6502921 edges, 1167 markings/sec, 380 secs
lola: 441677 markings, 6594722 edges, 1101 markings/sec, 385 secs
lola: 446938 markings, 6694950 edges, 1052 markings/sec, 390 secs
lola: 452741 markings, 6778217 edges, 1161 markings/sec, 395 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 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___8_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: 2826 markings, 20715 edges, 565 markings/sec, 0 secs
lola: 8960 markings, 89898 edges, 1227 markings/sec, 5 secs
lola: 15155 markings, 156209 edges, 1239 markings/sec, 10 secs
lola: 21023 markings, 233946 edges, 1174 markings/sec, 15 secs
lola: 26631 markings, 320654 edges, 1122 markings/sec, 20 secs
lola: 32798 markings, 388120 edges, 1233 markings/sec, 25 secs
lola: 38648 markings, 466053 edges, 1170 markings/sec, 30 secs
lola: 44239 markings, 552750 edges, 1118 markings/sec, 35 secs
lola: 50420 markings, 619476 edges, 1236 markings/sec, 40 secs
lola: 56298 markings, 698127 edges, 1176 markings/sec, 45 secs
lola: 61900 markings, 786213 edges, 1120 markings/sec, 50 secs
lola: 67663 markings, 868642 edges, 1153 markings/sec, 55 secs
lola: 73120 markings, 961641 edges, 1091 markings/sec, 60 secs
lola: 78364 markings, 1062226 edges, 1049 markings/sec, 65 secs
lola: 84327 markings, 1138443 edges, 1193 markings/sec, 70 secs
lola: 90312 markings, 1214069 edges, 1197 markings/sec, 75 secs
lola: 96326 markings, 1287773 edges, 1203 markings/sec, 80 secs
lola: 102339 markings, 1361781 edges, 1203 markings/sec, 85 secs
lola: 108115 markings, 1444985 edges, 1155 markings/sec, 90 secs
lola: 113876 markings, 1527950 edges, 1152 markings/sec, 95 secs
lola: 119718 markings, 1607576 edges, 1168 markings/sec, 100 secs
lola: 125295 markings, 1696643 edges, 1115 markings/sec, 105 secs
lola: 130656 markings, 1793279 edges, 1072 markings/sec, 110 secs
lola: 136473 markings, 1874487 edges, 1163 markings/sec, 115 secs
lola: 142427 markings, 1950826 edges, 1191 markings/sec, 120 secs
lola: 148029 markings, 2038824 edges, 1120 markings/sec, 125 secs
lola: 153811 markings, 2118394 edges, 1156 markings/sec, 130 secs
lola: 159702 markings, 2193664 edges, 1178 markings/sec, 135 secs
lola: 165257 markings, 2280303 edges, 1111 markings/sec, 140 secs
lola: 170903 markings, 2364457 edges, 1129 markings/sec, 145 secs
lola: 176673 markings, 2444245 edges, 1154 markings/sec, 150 secs
lola: 182171 markings, 2534117 edges, 1100 markings/sec, 155 secs
lola: 187714 markings, 2622653 edges, 1109 markings/sec, 160 secs
lola: 193356 markings, 2707263 edges, 1128 markings/sec, 165 secs
lola: 198764 markings, 2800155 edges, 1082 markings/sec, 170 secs
lola: 204206 markings, 2891275 edges, 1088 markings/sec, 175 secs
lola: 209908 markings, 2972814 edges, 1140 markings/sec, 180 secs
lola: 215314 markings, 3064972 edges, 1081 markings/sec, 185 secs
lola: 220547 markings, 3162930 edges, 1047 markings/sec, 190 secs
lola: 225863 markings, 3258000 edges, 1063 markings/sec, 195 secs
lola: 230945 markings, 3361027 edges, 1016 markings/sec, 200 secs
lola: 235865 markings, 3469922 edges, 984 markings/sec, 205 secs
lola: 241730 markings, 3546290 edges, 1173 markings/sec, 210 secs
lola: 247798 markings, 3615543 edges, 1214 markings/sec, 215 secs
lola: 253875 markings, 3684032 edges, 1215 markings/sec, 220 secs
lola: 259587 markings, 3765534 edges, 1142 markings/sec, 225 secs
lola: 265190 markings, 3851326 edges, 1121 markings/sec, 230 secs
lola: 270876 markings, 3935043 edges, 1137 markings/sec, 235 secs
lola: 276570 markings, 4017925 edges, 1139 markings/sec, 240 secs
lola: 282079 markings, 4107232 edges, 1102 markings/sec, 245 secs
lola: 287344 markings, 4205054 edges, 1053 markings/sec, 250 secs
lola: 293099 markings, 4285636 edges, 1151 markings/sec, 255 secs
lola: 299079 markings, 4357778 edges, 1196 markings/sec, 260 secs
lola: 304732 markings, 4441136 edges, 1131 markings/sec, 265 secs
lola: 310633 markings, 4515756 edges, 1180 markings/sec, 270 secs
lola: 316594 markings, 4587894 edges, 1192 markings/sec, 275 secs
lola: 322237 markings, 4671168 edges, 1129 markings/sec, 280 secs
lola: 327838 markings, 4755866 edges, 1120 markings/sec, 285 secs
lola: 333331 markings, 4843829 edges, 1099 markings/sec, 290 secs
lola: 338622 markings, 4939337 edges, 1058 markings/sec, 295 secs
lola: 343706 markings, 5031645 edges, 1017 markings/sec, 300 secs
lola: 349470 markings, 5116130 edges, 1153 markings/sec, 305 secs
lola: 354912 markings, 5211919 edges, 1088 markings/sec, 310 secs
lola: 360208 markings, 5312349 edges, 1059 markings/sec, 315 secs
lola: 365992 markings, 5395563 edges, 1157 markings/sec, 320 secs
lola: 371469 markings, 5489577 edges, 1095 markings/sec, 325 secs
lola: 376716 markings, 5591503 edges, 1049 markings/sec, 330 secs
lola: 382100 markings, 5688372 edges, 1077 markings/sec, 335 secs
lola: 387244 markings, 5793697 edges, 1029 markings/sec, 340 secs
lola: 392199 markings, 5905493 edges, 991 markings/sec, 345 secs
lola: 397756 markings, 5996228 edges, 1111 markings/sec, 350 secs
lola: 403741 markings, 6071957 edges, 1197 markings/sec, 355 secs
lola: 409909 markings, 6141300 edges, 1234 markings/sec, 360 secs
lola: 415850 markings, 6218449 edges, 1188 markings/sec, 365 secs
lola: 421666 markings, 6300166 edges, 1163 markings/sec, 370 secs
lola: 427508 markings, 6380518 edges, 1168 markings/sec, 375 secs
lola: 433312 markings, 6461870 edges, 1161 markings/sec, 380 secs
lola: 438964 markings, 6548248 edges, 1130 markings/sec, 385 secs
lola: 444342 markings, 6644297 edges, 1076 markings/sec, 390 secs
lola: 449850 markings, 6736922 edges, 1102 markings/sec, 395 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown
lola: time limit reached - aborting
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D20CS010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496293337535

--------------------
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-D20CS010"
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-D20CS010.tgz
mv S_PhaseVariation-PT-D20CS010 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-D20CS010, 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-149441681200119"
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 ;