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 PhaseVariation-PT-D20CS010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869600119
=====================================================================

--------------------
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 1494526350425


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PhaseVariation-PT-D20CS010 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 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: 2428 markings, 11974 edges, 486 markings/sec, 0 secs
lola: 8868 markings, 72865 edges, 1288 markings/sec, 5 secs
lola: 15308 markings, 133125 edges, 1288 markings/sec, 10 secs
lola: 21422 markings, 204852 edges, 1223 markings/sec, 15 secs
lola: 27220 markings, 287033 edges, 1160 markings/sec, 20 secs
lola: 33674 markings, 347099 edges, 1291 markings/sec, 25 secs
lola: 39743 markings, 419629 edges, 1214 markings/sec, 30 secs
lola: 45630 markings, 499341 edges, 1177 markings/sec, 35 secs
lola: 52092 markings, 558479 edges, 1292 markings/sec, 40 secs
lola: 58100 markings, 633509 edges, 1202 markings/sec, 45 secs
lola: 63916 markings, 715206 edges, 1163 markings/sec, 50 secs
lola: 69800 markings, 794268 edges, 1177 markings/sec, 55 secs
lola: 75344 markings, 885297 edges, 1109 markings/sec, 60 secs
lola: 80815 markings, 978783 edges, 1094 markings/sec, 65 secs
lola: 87168 markings, 1042721 edges, 1271 markings/sec, 70 secs
lola: 93492 markings, 1106925 edges, 1265 markings/sec, 75 secs
lola: 99620 markings, 1177895 edges, 1226 markings/sec, 80 secs
lola: 105687 markings, 1251362 edges, 1213 markings/sec, 85 secs
lola: 111757 markings, 1325152 edges, 1214 markings/sec, 90 secs
lola: 117721 markings, 1401956 edges, 1193 markings/sec, 95 secs
lola: 123620 markings, 1480613 edges, 1180 markings/sec, 100 secs
lola: 129256 markings, 1568775 edges, 1127 markings/sec, 105 secs
lola: 135088 markings, 1650187 edges, 1166 markings/sec, 110 secs
lola: 141252 markings, 1720277 edges, 1233 markings/sec, 115 secs
lola: 147164 markings, 1798927 edges, 1182 markings/sec, 120 secs
lola: 153080 markings, 1876516 edges, 1183 markings/sec, 125 secs
lola: 159200 markings, 1945547 edges, 1224 markings/sec, 130 secs
lola: 165020 markings, 2024832 edges, 1164 markings/sec, 135 secs
lola: 170852 markings, 2103996 edges, 1166 markings/sec, 140 secs
lola: 176835 markings, 2178165 edges, 1197 markings/sec, 145 secs
lola: 182518 markings, 2262749 edges, 1137 markings/sec, 150 secs
lola: 188269 markings, 2345549 edges, 1150 markings/sec, 155 secs
lola: 194117 markings, 2424717 edges, 1170 markings/sec, 160 secs
lola: 199675 markings, 2514195 edges, 1112 markings/sec, 165 secs
lola: 205392 markings, 2597529 edges, 1143 markings/sec, 170 secs
lola: 211235 markings, 2675587 edges, 1169 markings/sec, 175 secs
lola: 216812 markings, 2763359 edges, 1115 markings/sec, 180 secs
lola: 222279 markings, 2855007 edges, 1093 markings/sec, 185 secs
lola: 227541 markings, 2943044 edges, 1052 markings/sec, 190 secs
lola: 232772 markings, 3044982 edges, 1046 markings/sec, 195 secs
lola: 237917 markings, 3149416 edges, 1029 markings/sec, 200 secs
lola: 244398 markings, 3208144 edges, 1296 markings/sec, 205 secs
lola: 250797 markings, 3269572 edges, 1280 markings/sec, 210 secs
lola: 256957 markings, 3338852 edges, 1232 markings/sec, 215 secs
lola: 262806 markings, 3419120 edges, 1170 markings/sec, 220 secs
lola: 268772 markings, 3496420 edges, 1193 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 236 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: 2464 markings, 15006 edges, 493 markings/sec, 0 secs
lola: 8776 markings, 78524 edges, 1262 markings/sec, 5 secs
lola: 15054 markings, 143120 edges, 1256 markings/sec, 10 secs
lola: 21102 markings, 215631 edges, 1210 markings/sec, 15 secs
lola: 26822 markings, 299609 edges, 1144 markings/sec, 20 secs
lola: 33111 markings, 364046 edges, 1258 markings/sec, 25 secs
lola: 39111 markings, 438351 edges, 1200 markings/sec, 30 secs
lola: 44784 markings, 524150 edges, 1135 markings/sec, 35 secs
lola: 51146 markings, 584895 edges, 1272 markings/sec, 40 secs
lola: 57093 markings, 660502 edges, 1189 markings/sec, 45 secs
lola: 62788 markings, 744859 edges, 1139 markings/sec, 50 secs
lola: 68602 markings, 825177 edges, 1163 markings/sec, 55 secs
lola: 74104 markings, 916276 edges, 1100 markings/sec, 60 secs
lola: 79380 markings, 1015177 edges, 1055 markings/sec, 65 secs
lola: 85599 markings, 1082208 edges, 1244 markings/sec, 70 secs
lola: 91684 markings, 1153563 edges, 1217 markings/sec, 75 secs
lola: 97744 markings, 1225353 edges, 1212 markings/sec, 80 secs
lola: 103849 markings, 1295636 edges, 1221 markings/sec, 85 secs
lola: 109727 markings, 1374554 edges, 1176 markings/sec, 90 secs
lola: 115545 markings, 1455071 edges, 1164 markings/sec, 95 secs
lola: 121471 markings, 1531398 edges, 1185 markings/sec, 100 secs
lola: 127056 markings, 1619688 edges, 1117 markings/sec, 105 secs
lola: 132425 markings, 1715282 edges, 1074 markings/sec, 110 secs
lola: 138510 markings, 1786661 edges, 1217 markings/sec, 115 secs
lola: 144530 markings, 1859837 edges, 1204 markings/sec, 120 secs
lola: 150108 markings, 1948622 edges, 1116 markings/sec, 125 secs
lola: 156176 markings, 2019658 edges, 1214 markings/sec, 130 secs
lola: 162156 markings, 2093453 edges, 1196 markings/sec, 135 secs
lola: 167721 markings, 2181750 edges, 1113 markings/sec, 140 secs
lola: 173636 markings, 2258725 edges, 1183 markings/sec, 145 secs
lola: 179486 markings, 2337391 edges, 1170 markings/sec, 150 secs
lola: 184899 markings, 2431571 edges, 1083 markings/sec, 155 secs
lola: 190842 markings, 2507446 edges, 1189 markings/sec, 160 secs
lola: 196476 markings, 2593868 edges, 1127 markings/sec, 165 secs
lola: 201856 markings, 2689275 edges, 1076 markings/sec, 170 secs
lola: 207738 markings, 2766590 edges, 1176 markings/sec, 175 secs
lola: 213389 markings, 2851812 edges, 1130 markings/sec, 180 secs
lola: 218799 markings, 2945436 edges, 1082 markings/sec, 185 secs
lola: 224228 markings, 3038709 edges, 1086 markings/sec, 190 secs
lola: 229498 markings, 3136967 edges, 1054 markings/sec, 195 secs
lola: 234556 markings, 3242636 edges, 1012 markings/sec, 200 secs
lola: 240153 markings, 3329572 edges, 1119 markings/sec, 205 secs
lola: 246355 markings, 3396265 edges, 1240 markings/sec, 210 secs
lola: 252693 markings, 3457805 edges, 1268 markings/sec, 215 secs
lola: 258616 markings, 3533703 edges, 1185 markings/sec, 220 secs
lola: 264296 markings, 3618262 edges, 1136 markings/sec, 225 secs
lola: 270164 markings, 3697295 edges, 1174 markings/sec, 230 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: 2543 markings, 12993 edges, 509 markings/sec, 0 secs
lola: 8884 markings, 73975 edges, 1268 markings/sec, 5 secs
lola: 15258 markings, 133171 edges, 1275 markings/sec, 10 secs
lola: 21303 markings, 204149 edges, 1209 markings/sec, 15 secs
lola: 27050 markings, 285491 edges, 1149 markings/sec, 20 secs
lola: 33421 markings, 345282 edges, 1274 markings/sec, 25 secs
lola: 39474 markings, 416481 edges, 1211 markings/sec, 30 secs
lola: 45262 markings, 496797 edges, 1158 markings/sec, 35 secs
lola: 51681 markings, 554752 edges, 1284 markings/sec, 40 secs
lola: 57654 markings, 628184 edges, 1195 markings/sec, 45 secs
lola: 63397 markings, 709611 edges, 1149 markings/sec, 50 secs
lola: 69257 markings, 787118 edges, 1172 markings/sec, 55 secs
lola: 74750 markings, 877260 edges, 1099 markings/sec, 60 secs
lola: 80078 markings, 972970 edges, 1066 markings/sec, 65 secs
lola: 86424 markings, 1034024 edges, 1269 markings/sec, 70 secs
lola: 92630 markings, 1099488 edges, 1241 markings/sec, 75 secs
lola: 98710 markings, 1169093 edges, 1216 markings/sec, 80 secs
lola: 104782 markings, 1239212 edges, 1214 markings/sec, 85 secs
lola: 110758 markings, 1313383 edges, 1195 markings/sec, 90 secs
lola: 116664 markings, 1389622 edges, 1181 markings/sec, 95 secs
lola: 122584 markings, 1464710 edges, 1184 markings/sec, 100 secs
lola: 128163 markings, 1551968 edges, 1116 markings/sec, 105 secs
lola: 133782 markings, 1637613 edges, 1124 markings/sec, 110 secs
lola: 139905 markings, 1705856 edges, 1225 markings/sec, 115 secs
lola: 145858 markings, 1779942 edges, 1191 markings/sec, 120 secs
lola: 151620 markings, 1860798 edges, 1152 markings/sec, 125 secs
lola: 157732 markings, 1928652 edges, 1222 markings/sec, 130 secs
lola: 163628 markings, 2003856 edges, 1179 markings/sec, 135 secs
lola: 169341 markings, 2085182 edges, 1143 markings/sec, 140 secs
lola: 175250 markings, 2158433 edges, 1182 markings/sec, 145 secs
lola: 181018 markings, 2238571 edges, 1154 markings/sec, 150 secs
lola: 186587 markings, 2325927 edges, 1114 markings/sec, 155 secs
lola: 192511 markings, 2400765 edges, 1185 markings/sec, 160 secs
lola: 198091 markings, 2487814 edges, 1116 markings/sec, 165 secs
lola: 203612 markings, 2576463 edges, 1104 markings/sec, 170 secs
lola: 209548 markings, 2650228 edges, 1187 markings/sec, 175 secs
lola: 215140 markings, 2736267 edges, 1118 markings/sec, 180 secs
lola: 220516 markings, 2829491 edges, 1075 markings/sec, 185 secs
lola: 225998 markings, 2919051 edges, 1096 markings/sec, 190 secs
lola: 231234 markings, 3016886 edges, 1047 markings/sec, 195 secs
lola: 236273 markings, 3121512 edges, 1008 markings/sec, 200 secs
lola: 242410 markings, 3188636 edges, 1227 markings/sec, 205 secs
lola: 248683 markings, 3250821 edges, 1255 markings/sec, 210 secs
lola: 254886 markings, 3314963 edges, 1241 markings/sec, 215 secs
lola: 260758 markings, 3390933 edges, 1174 markings/sec, 220 secs
lola: 266581 markings, 3469361 edges, 1165 markings/sec, 225 secs
lola: 272147 markings, 3547696 edges, 1113 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: 2724 markings, 19871 edges, 545 markings/sec, 0 secs
lola: 8845 markings, 88774 edges, 1224 markings/sec, 5 secs
lola: 15027 markings, 155051 edges, 1236 markings/sec, 10 secs
lola: 20898 markings, 232049 edges, 1174 markings/sec, 15 secs
lola: 26497 markings, 318491 edges, 1120 markings/sec, 20 secs
lola: 32637 markings, 386328 edges, 1228 markings/sec, 25 secs
lola: 38498 markings, 463902 edges, 1172 markings/sec, 30 secs
lola: 44102 markings, 550559 edges, 1121 markings/sec, 35 secs
lola: 50242 markings, 617670 edges, 1228 markings/sec, 40 secs
lola: 56089 markings, 695278 edges, 1169 markings/sec, 45 secs
lola: 61675 markings, 781718 edges, 1117 markings/sec, 50 secs
lola: 67375 markings, 864230 edges, 1140 markings/sec, 55 secs
lola: 72790 markings, 956422 edges, 1083 markings/sec, 60 secs
lola: 78014 markings, 1055237 edges, 1045 markings/sec, 65 secs
lola: 83844 markings, 1133781 edges, 1166 markings/sec, 70 secs
lola: 89770 markings, 1209107 edges, 1185 markings/sec, 75 secs
lola: 95780 markings, 1280641 edges, 1202 markings/sec, 80 secs
lola: 101724 markings, 1354863 edges, 1189 markings/sec, 85 secs
lola: 107446 markings, 1437282 edges, 1144 markings/sec, 90 secs
lola: 113218 markings, 1517764 edges, 1154 markings/sec, 95 secs
lola: 118989 markings, 1597633 edges, 1154 markings/sec, 100 secs
lola: 124563 markings, 1684259 edges, 1115 markings/sec, 105 secs
lola: 129887 markings, 1779781 edges, 1065 markings/sec, 110 secs
lola: 135596 markings, 1862316 edges, 1142 markings/sec, 115 secs
lola: 141513 markings, 1937879 edges, 1183 markings/sec, 120 secs
lola: 147135 markings, 2023345 edges, 1124 markings/sec, 125 secs
lola: 152849 markings, 2105630 edges, 1143 markings/sec, 130 secs
lola: 158740 markings, 2180695 edges, 1178 markings/sec, 135 secs
lola: 164362 markings, 2265189 edges, 1124 markings/sec, 140 secs
lola: 169961 markings, 2350899 edges, 1120 markings/sec, 145 secs
lola: 175722 markings, 2430854 edges, 1152 markings/sec, 150 secs
lola: 181282 markings, 2517916 edges, 1112 markings/sec, 155 secs
lola: 186726 markings, 2609574 edges, 1089 markings/sec, 160 secs
lola: 192444 markings, 2691278 edges, 1144 markings/sec, 165 secs
lola: 197862 markings, 2783894 edges, 1084 markings/sec, 170 secs
lola: 203201 markings, 2878866 edges, 1068 markings/sec, 175 secs
lola: 208970 markings, 2958241 edges, 1154 markings/sec, 180 secs
lola: 214394 markings, 3050016 edges, 1085 markings/sec, 185 secs
lola: 219608 markings, 3148804 edges, 1043 markings/sec, 190 secs
lola: 224996 markings, 3241292 edges, 1078 markings/sec, 195 secs
lola: 230107 markings, 3343124 edges, 1022 markings/sec, 200 secs
lola: 234887 markings, 3448320 edges, 956 markings/sec, 205 secs
lola: 240567 markings, 3534845 edges, 1136 markings/sec, 210 secs
lola: 246718 markings, 3605397 edges, 1230 markings/sec, 215 secs
lola: 252965 markings, 3672257 edges, 1249 markings/sec, 220 secs
lola: 258797 markings, 3753471 edges, 1166 markings/sec, 225 secs
lola: 264437 markings, 3841539 edges, 1128 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: 2370 markings, 16365 edges, 474 markings/sec, 0 secs
lola: 8590 markings, 85016 edges, 1244 markings/sec, 5 secs
lola: 14830 markings, 152523 edges, 1248 markings/sec, 10 secs
lola: 20789 markings, 230119 edges, 1192 markings/sec, 15 secs
lola: 26455 markings, 317513 edges, 1133 markings/sec, 20 secs
lola: 32666 markings, 386478 edges, 1242 markings/sec, 25 secs
lola: 38591 markings, 465050 edges, 1185 markings/sec, 30 secs
lola: 44246 markings, 552868 edges, 1131 markings/sec, 35 secs
lola: 50470 markings, 620336 edges, 1245 markings/sec, 40 secs
lola: 56375 markings, 699235 edges, 1181 markings/sec, 45 secs
lola: 61990 markings, 788172 edges, 1123 markings/sec, 50 secs
lola: 67778 markings, 870792 edges, 1158 markings/sec, 55 secs
lola: 73254 markings, 964197 edges, 1095 markings/sec, 60 secs
lola: 78510 markings, 1065229 edges, 1051 markings/sec, 65 secs
lola: 84529 markings, 1140516 edges, 1204 markings/sec, 70 secs
lola: 90525 markings, 1216818 edges, 1199 markings/sec, 75 secs
lola: 96542 markings, 1291471 edges, 1203 markings/sec, 80 secs
lola: 102589 markings, 1365406 edges, 1209 markings/sec, 85 secs
lola: 108386 markings, 1448809 edges, 1159 markings/sec, 90 secs
lola: 114159 markings, 1532690 edges, 1155 markings/sec, 95 secs
lola: 120039 markings, 1612559 edges, 1176 markings/sec, 100 secs
lola: 125634 markings, 1702193 edges, 1119 markings/sec, 105 secs
lola: 130997 markings, 1799758 edges, 1073 markings/sec, 110 secs
lola: 136871 markings, 1880097 edges, 1175 markings/sec, 115 secs
lola: 142854 markings, 1956589 edges, 1197 markings/sec, 120 secs
lola: 148442 markings, 2046645 edges, 1118 markings/sec, 125 secs
lola: 154317 markings, 2126021 edges, 1175 markings/sec, 130 secs
lola: 160285 markings, 2201997 edges, 1194 markings/sec, 135 secs
lola: 165858 markings, 2291590 edges, 1115 markings/sec, 140 secs
lola: 171618 markings, 2375236 edges, 1152 markings/sec, 145 secs
lola: 177443 markings, 2456309 edges, 1165 markings/sec, 150 secs
lola: 182946 markings, 2548903 edges, 1101 markings/sec, 155 secs
lola: 188653 markings, 2634897 edges, 1141 markings/sec, 160 secs
lola: 194310 markings, 2722217 edges, 1131 markings/sec, 165 secs
lola: 199714 markings, 2818623 edges, 1081 markings/sec, 170 secs
lola: 205335 markings, 2906980 edges, 1124 markings/sec, 175 secs
lola: 211027 markings, 2992342 edges, 1138 markings/sec, 180 secs
lola: 216474 markings, 3086787 edges, 1089 markings/sec, 185 secs
lola: 221814 markings, 3184546 edges, 1068 markings/sec, 190 secs
lola: 227165 markings, 3281649 edges, 1070 markings/sec, 195 secs
lola: 232245 markings, 3388375 edges, 1016 markings/sec, 200 secs
lola: 237151 markings, 3500757 edges, 981 markings/sec, 205 secs
lola: 243432 markings, 3566373 edges, 1256 markings/sec, 210 secs
lola: 249634 markings, 3634540 edges, 1240 markings/sec, 215 secs
lola: 255650 markings, 3708709 edges, 1203 markings/sec, 220 secs
lola: 261376 markings, 3793102 edges, 1145 markings/sec, 225 secs
lola: 267103 markings, 3878286 edges, 1145 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: 2818 markings, 19381 edges, 564 markings/sec, 0 secs
lola: 8983 markings, 88599 edges, 1233 markings/sec, 5 secs
lola: 15197 markings, 155443 edges, 1243 markings/sec, 10 secs
lola: 21100 markings, 232981 edges, 1181 markings/sec, 15 secs
lola: 26734 markings, 320294 edges, 1127 markings/sec, 20 secs
lola: 32920 markings, 388255 edges, 1237 markings/sec, 25 secs
lola: 38807 markings, 466642 edges, 1177 markings/sec, 30 secs
lola: 44430 markings, 554065 edges, 1125 markings/sec, 35 secs
lola: 50630 markings, 620881 edges, 1240 markings/sec, 40 secs
lola: 56501 markings, 699178 edges, 1174 markings/sec, 45 secs
lola: 62084 markings, 787405 edges, 1117 markings/sec, 50 secs
lola: 67842 markings, 869554 edges, 1152 markings/sec, 55 secs
lola: 73290 markings, 962462 edges, 1090 markings/sec, 60 secs
lola: 78518 markings, 1062798 edges, 1046 markings/sec, 65 secs
lola: 84467 markings, 1138862 edges, 1190 markings/sec, 70 secs
lola: 90444 markings, 1214346 edges, 1195 markings/sec, 75 secs
lola: 96450 markings, 1287776 edges, 1201 markings/sec, 80 secs
lola: 102355 markings, 1360531 edges, 1181 markings/sec, 85 secs
lola: 108044 markings, 1442744 edges, 1138 markings/sec, 90 secs
lola: 113749 markings, 1523862 edges, 1141 markings/sec, 95 secs
lola: 119481 markings, 1603233 edges, 1146 markings/sec, 100 secs
lola: 125014 markings, 1690077 edges, 1107 markings/sec, 105 secs
lola: 130174 markings, 1781952 edges, 1032 markings/sec, 110 secs
lola: 135910 markings, 1864713 edges, 1147 markings/sec, 115 secs
lola: 141852 markings, 1940895 edges, 1188 markings/sec, 120 secs
lola: 147529 markings, 2027563 edges, 1135 markings/sec, 125 secs
lola: 153322 markings, 2109887 edges, 1159 markings/sec, 130 secs
lola: 159275 markings, 2186035 edges, 1191 markings/sec, 135 secs
lola: 164926 markings, 2272082 edges, 1130 markings/sec, 140 secs
lola: 170614 markings, 2357798 edges, 1138 markings/sec, 145 secs
lola: 176437 markings, 2438784 edges, 1165 markings/sec, 150 secs
lola: 182002 markings, 2528921 edges, 1113 markings/sec, 155 secs
lola: 187565 markings, 2619896 edges, 1113 markings/sec, 160 secs
lola: 193302 markings, 2704117 edges, 1147 markings/sec, 165 secs
lola: 198780 markings, 2797654 edges, 1096 markings/sec, 170 secs
lola: 204258 markings, 2890660 edges, 1096 markings/sec, 175 secs
lola: 210035 markings, 2972973 edges, 1155 markings/sec, 180 secs
lola: 215498 markings, 3066215 edges, 1093 markings/sec, 185 secs
lola: 220798 markings, 3165093 edges, 1060 markings/sec, 190 secs
lola: 226173 markings, 3261359 edges, 1075 markings/sec, 195 secs
lola: 231294 markings, 3366343 edges, 1024 markings/sec, 200 secs
lola: 236257 markings, 3476685 edges, 993 markings/sec, 205 secs
lola: 242269 markings, 3550935 edges, 1202 markings/sec, 210 secs
lola: 248421 markings, 3620435 edges, 1230 markings/sec, 215 secs
lola: 254502 markings, 3691896 edges, 1216 markings/sec, 220 secs
lola: 260284 markings, 3774108 edges, 1156 markings/sec, 225 secs
lola: 265966 markings, 3860260 edges, 1136 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: 2992 markings, 16189 edges, 598 markings/sec, 0 secs
lola: 9395 markings, 78735 edges, 1281 markings/sec, 5 secs
lola: 15852 markings, 138834 edges, 1291 markings/sec, 10 secs
lola: 21967 markings, 211302 edges, 1223 markings/sec, 15 secs
lola: 27810 markings, 293186 edges, 1169 markings/sec, 20 secs
lola: 34326 markings, 351668 edges, 1303 markings/sec, 25 secs
lola: 40382 markings, 426219 edges, 1211 markings/sec, 30 secs
lola: 46328 markings, 504247 edges, 1189 markings/sec, 35 secs
lola: 52742 markings, 565726 edges, 1283 markings/sec, 40 secs
lola: 58734 markings, 641943 edges, 1198 markings/sec, 45 secs
lola: 64590 markings, 723006 edges, 1171 markings/sec, 50 secs
lola: 70443 markings, 803750 edges, 1171 markings/sec, 55 secs
lola: 75967 markings, 896510 edges, 1105 markings/sec, 60 secs
lola: 81602 markings, 985221 edges, 1127 markings/sec, 65 secs
lola: 87900 markings, 1051418 edges, 1260 markings/sec, 70 secs
lola: 94267 markings, 1114598 edges, 1273 markings/sec, 75 secs
lola: 100361 markings, 1187395 edges, 1219 markings/sec, 80 secs
lola: 106417 markings, 1261867 edges, 1211 markings/sec, 85 secs
lola: 112501 markings, 1335456 edges, 1217 markings/sec, 90 secs
lola: 118504 markings, 1411103 edges, 1201 markings/sec, 95 secs
lola: 124390 markings, 1490679 edges, 1177 markings/sec, 100 secs
lola: 129814 markings, 1579719 edges, 1085 markings/sec, 105 secs
lola: 135364 markings, 1653586 edges, 1110 markings/sec, 110 secs
lola: 141120 markings, 1718181 edges, 1151 markings/sec, 115 secs
lola: 146744 markings, 1791474 edges, 1125 markings/sec, 120 secs
lola: 152301 markings, 1866477 edges, 1111 markings/sec, 125 secs
lola: 158132 markings, 1932088 edges, 1166 markings/sec, 130 secs
lola: 163779 markings, 2004463 edges, 1129 markings/sec, 135 secs
lola: 169296 markings, 2083974 edges, 1103 markings/sec, 140 secs
lola: 175288 markings, 2157909 edges, 1198 markings/sec, 145 secs
lola: 180828 markings, 2234709 edges, 1108 markings/sec, 150 secs
lola: 186144 markings, 2319659 edges, 1063 markings/sec, 155 secs
lola: 192013 markings, 2391872 edges, 1174 markings/sec, 160 secs
lola: 197645 markings, 2478692 edges, 1126 markings/sec, 165 secs
lola: 203122 markings, 2570319 edges, 1095 markings/sec, 170 secs
lola: 209119 markings, 2643480 edges, 1199 markings/sec, 175 secs
lola: 214754 markings, 2729428 edges, 1127 markings/sec, 180 secs
lola: 220160 markings, 2823056 edges, 1081 markings/sec, 185 secs
lola: 225715 markings, 2911214 edges, 1111 markings/sec, 190 secs
lola: 230999 markings, 3009104 edges, 1057 markings/sec, 195 secs
lola: 236070 markings, 3114176 edges, 1014 markings/sec, 200 secs
lola: 242128 markings, 3185562 edges, 1212 markings/sec, 205 secs
lola: 248454 markings, 3247497 edges, 1265 markings/sec, 210 secs
lola: 254708 markings, 3311262 edges, 1251 markings/sec, 215 secs
lola: 260632 markings, 3387053 edges, 1185 markings/sec, 220 secs
lola: 266460 markings, 3466913 edges, 1166 markings/sec, 225 secs
lola: 272270 markings, 3547627 edges, 1162 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: 2812 markings, 15640 edges, 562 markings/sec, 0 secs
lola: 9172 markings, 76478 edges, 1272 markings/sec, 5 secs
lola: 15564 markings, 135893 edges, 1278 markings/sec, 10 secs
lola: 21600 markings, 207822 edges, 1207 markings/sec, 15 secs
lola: 27355 markings, 289568 edges, 1151 markings/sec, 20 secs
lola: 33800 markings, 347803 edges, 1289 markings/sec, 25 secs
lola: 39828 markings, 420270 edges, 1206 markings/sec, 30 secs
lola: 45651 markings, 499372 edges, 1165 markings/sec, 35 secs
lola: 52060 markings, 557982 edges, 1282 markings/sec, 40 secs
lola: 58023 markings, 632186 edges, 1193 markings/sec, 45 secs
lola: 63780 markings, 713263 edges, 1151 markings/sec, 50 secs
lola: 69618 markings, 791152 edges, 1168 markings/sec, 55 secs
lola: 75111 markings, 881308 edges, 1099 markings/sec, 60 secs
lola: 80477 markings, 975881 edges, 1073 markings/sec, 65 secs
lola: 86801 markings, 1038224 edges, 1265 markings/sec, 70 secs
lola: 93045 markings, 1102907 edges, 1249 markings/sec, 75 secs
lola: 99121 markings, 1172929 edges, 1215 markings/sec, 80 secs
lola: 105196 markings, 1243520 edges, 1215 markings/sec, 85 secs
lola: 111182 markings, 1317770 edges, 1197 markings/sec, 90 secs
lola: 117088 markings, 1393708 edges, 1181 markings/sec, 95 secs
lola: 122990 markings, 1469508 edges, 1180 markings/sec, 100 secs
lola: 128558 markings, 1557273 edges, 1114 markings/sec, 105 secs
lola: 134232 markings, 1641377 edges, 1135 markings/sec, 110 secs
lola: 140385 markings, 1709497 edges, 1231 markings/sec, 115 secs
lola: 146312 markings, 1785284 edges, 1185 markings/sec, 120 secs
lola: 152124 markings, 1864964 edges, 1162 markings/sec, 125 secs
lola: 158220 markings, 1933714 edges, 1219 markings/sec, 130 secs
lola: 164100 markings, 2009856 edges, 1176 markings/sec, 135 secs
lola: 169849 markings, 2090626 edges, 1150 markings/sec, 140 secs
lola: 175808 markings, 2164555 edges, 1192 markings/sec, 145 secs
lola: 181557 markings, 2246078 edges, 1150 markings/sec, 150 secs
lola: 187188 markings, 2332136 edges, 1126 markings/sec, 155 secs
lola: 192968 markings, 2406443 edges, 1156 markings/sec, 160 secs
lola: 198218 markings, 2488393 edges, 1050 markings/sec, 165 secs
lola: 203421 markings, 2573875 edges, 1041 markings/sec, 170 secs
lola: 209082 markings, 2643467 edges, 1132 markings/sec, 175 secs
lola: 214456 markings, 2724714 edges, 1075 markings/sec, 180 secs
lola: 219613 markings, 2813560 edges, 1031 markings/sec, 185 secs
lola: 224893 markings, 2897468 edges, 1056 markings/sec, 190 secs
lola: 229943 markings, 2988886 edges, 1010 markings/sec, 195 secs
lola: 234764 markings, 3088373 edges, 964 markings/sec, 200 secs
lola: 240175 markings, 3168394 edges, 1082 markings/sec, 205 secs
lola: 246207 markings, 3230629 edges, 1206 markings/sec, 210 secs
lola: 252656 markings, 3288361 edges, 1290 markings/sec, 215 secs
lola: 258671 markings, 3360869 edges, 1203 markings/sec, 220 secs
lola: 264439 markings, 3442152 edges, 1154 markings/sec, 225 secs
lola: 270384 markings, 3518494 edges, 1189 markings/sec, 230 secs
lola: 276272 markings, 3596269 edges, 1178 markings/sec, 235 secs
lola: 282003 markings, 3679277 edges, 1146 markings/sec, 240 secs
lola: 287468 markings, 3771810 edges, 1093 markings/sec, 245 secs
lola: 293407 markings, 3847354 edges, 1188 markings/sec, 250 secs
lola: 299616 markings, 3913256 edges, 1242 markings/sec, 255 secs
lola: 305487 markings, 3990567 edges, 1174 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: 2926 markings, 20762 edges, 585 markings/sec, 0 secs
lola: 9089 markings, 90697 edges, 1233 markings/sec, 5 secs
lola: 15324 markings, 157551 edges, 1247 markings/sec, 10 secs
lola: 21222 markings, 236455 edges, 1180 markings/sec, 15 secs
lola: 26861 markings, 324401 edges, 1128 markings/sec, 20 secs
lola: 33105 markings, 391307 edges, 1249 markings/sec, 25 secs
lola: 39013 markings, 469828 edges, 1182 markings/sec, 30 secs
lola: 44613 markings, 559157 edges, 1120 markings/sec, 35 secs
lola: 50881 markings, 624612 edges, 1254 markings/sec, 40 secs
lola: 56766 markings, 703549 edges, 1177 markings/sec, 45 secs
lola: 62369 markings, 792305 edges, 1121 markings/sec, 50 secs
lola: 68121 markings, 875710 edges, 1150 markings/sec, 55 secs
lola: 73570 markings, 969498 edges, 1090 markings/sec, 60 secs
lola: 78805 markings, 1070583 edges, 1047 markings/sec, 65 secs
lola: 84873 markings, 1143567 edges, 1214 markings/sec, 70 secs
lola: 90850 markings, 1219833 edges, 1195 markings/sec, 75 secs
lola: 96832 markings, 1295343 edges, 1196 markings/sec, 80 secs
lola: 102865 markings, 1369108 edges, 1207 markings/sec, 85 secs
lola: 108657 markings, 1452124 edges, 1158 markings/sec, 90 secs
lola: 114393 markings, 1536296 edges, 1147 markings/sec, 95 secs
lola: 120272 markings, 1615197 edges, 1176 markings/sec, 100 secs
lola: 125845 markings, 1704664 edges, 1115 markings/sec, 105 secs
lola: 131177 markings, 1802880 edges, 1066 markings/sec, 110 secs
lola: 137069 markings, 1881687 edges, 1178 markings/sec, 115 secs
lola: 143032 markings, 1958309 edges, 1193 markings/sec, 120 secs
lola: 148608 markings, 2048210 edges, 1115 markings/sec, 125 secs
lola: 154485 markings, 2126949 edges, 1175 markings/sec, 130 secs
lola: 160432 markings, 2203005 edges, 1189 markings/sec, 135 secs
lola: 165981 markings, 2292631 edges, 1110 markings/sec, 140 secs
lola: 171737 markings, 2375679 edges, 1151 markings/sec, 145 secs
lola: 177557 markings, 2456718 edges, 1164 markings/sec, 150 secs
lola: 183040 markings, 2549616 edges, 1097 markings/sec, 155 secs
lola: 188745 markings, 2635078 edges, 1141 markings/sec, 160 secs
lola: 194389 markings, 2722263 edges, 1129 markings/sec, 165 secs
lola: 199777 markings, 2818700 edges, 1078 markings/sec, 170 secs
lola: 205384 markings, 2906555 edges, 1121 markings/sec, 175 secs
lola: 211057 markings, 2991753 edges, 1135 markings/sec, 180 secs
lola: 216488 markings, 3085969 edges, 1086 markings/sec, 185 secs
lola: 221824 markings, 3183539 edges, 1067 markings/sec, 190 secs
lola: 227180 markings, 3280805 edges, 1071 markings/sec, 195 secs
lola: 232265 markings, 3387768 edges, 1017 markings/sec, 200 secs
lola: 237199 markings, 3499832 edges, 987 markings/sec, 205 secs
lola: 243477 markings, 3565661 edges, 1256 markings/sec, 210 secs
lola: 249677 markings, 3633722 edges, 1240 markings/sec, 215 secs
lola: 255693 markings, 3708188 edges, 1203 markings/sec, 220 secs
lola: 261428 markings, 3792567 edges, 1147 markings/sec, 225 secs
lola: 267165 markings, 3877826 edges, 1147 markings/sec, 230 secs
lola: 272845 markings, 3965202 edges, 1136 markings/sec, 235 secs
lola: 278629 markings, 4048565 edges, 1157 markings/sec, 240 secs
lola: 284105 markings, 4142964 edges, 1095 markings/sec, 245 secs
lola: 289346 markings, 4245279 edges, 1048 markings/sec, 250 secs
lola: 295577 markings, 4312384 edges, 1246 markings/sec, 255 secs
lola: 301480 markings, 4390763 edges, 1181 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: 2752 markings, 19106 edges, 550 markings/sec, 0 secs
lola: 8963 markings, 88847 edges, 1242 markings/sec, 5 secs
lola: 15228 markings, 156213 edges, 1253 markings/sec, 10 secs
lola: 21170 markings, 234911 edges, 1188 markings/sec, 15 secs
lola: 26844 markings, 323110 edges, 1135 markings/sec, 20 secs
lola: 33100 markings, 391114 edges, 1251 markings/sec, 25 secs
lola: 39038 markings, 470030 edges, 1188 markings/sec, 30 secs
lola: 44659 markings, 560007 edges, 1124 markings/sec, 35 secs
lola: 50962 markings, 625606 edges, 1261 markings/sec, 40 secs
lola: 56858 markings, 704721 edges, 1179 markings/sec, 45 secs
lola: 62472 markings, 793688 edges, 1123 markings/sec, 50 secs
lola: 68232 markings, 877441 edges, 1152 markings/sec, 55 secs
lola: 73700 markings, 971637 edges, 1094 markings/sec, 60 secs
lola: 78956 markings, 1073063 edges, 1051 markings/sec, 65 secs
lola: 85045 markings, 1145955 edges, 1218 markings/sec, 70 secs
lola: 91039 markings, 1222175 edges, 1199 markings/sec, 75 secs
lola: 97020 markings, 1298350 edges, 1196 markings/sec, 80 secs
lola: 103082 markings, 1371877 edges, 1212 markings/sec, 85 secs
lola: 108887 markings, 1455140 edges, 1161 markings/sec, 90 secs
lola: 114620 markings, 1540429 edges, 1147 markings/sec, 95 secs
lola: 120527 markings, 1618877 edges, 1181 markings/sec, 100 secs
lola: 126099 markings, 1709331 edges, 1114 markings/sec, 105 secs
lola: 131451 markings, 1807535 edges, 1070 markings/sec, 110 secs
lola: 137370 markings, 1886357 edges, 1184 markings/sec, 115 secs
lola: 143342 markings, 1963159 edges, 1194 markings/sec, 120 secs
lola: 148919 markings, 2053703 edges, 1115 markings/sec, 125 secs
lola: 154824 markings, 2132215 edges, 1181 markings/sec, 130 secs
lola: 160784 markings, 2208573 edges, 1192 markings/sec, 135 secs
lola: 166344 markings, 2298576 edges, 1112 markings/sec, 140 secs
lola: 172136 markings, 2381348 edges, 1158 markings/sec, 145 secs
lola: 177969 markings, 2462518 edges, 1167 markings/sec, 150 secs
lola: 183431 markings, 2556888 edges, 1092 markings/sec, 155 secs
lola: 189184 markings, 2641208 edges, 1151 markings/sec, 160 secs
lola: 194795 markings, 2728690 edges, 1122 markings/sec, 165 secs
lola: 200140 markings, 2824372 edges, 1069 markings/sec, 170 secs
lola: 205717 markings, 2911402 edges, 1115 markings/sec, 175 secs
lola: 211356 markings, 2996084 edges, 1128 markings/sec, 180 secs
lola: 216734 markings, 3090136 edges, 1076 markings/sec, 185 secs
lola: 222032 markings, 3186537 edges, 1060 markings/sec, 190 secs
lola: 227311 markings, 3282845 edges, 1056 markings/sec, 195 secs
lola: 232340 markings, 3388622 edges, 1006 markings/sec, 200 secs
lola: 237188 markings, 3500217 edges, 970 markings/sec, 205 secs
lola: 243390 markings, 3565224 edges, 1240 markings/sec, 210 secs
lola: 249510 markings, 3632876 edges, 1224 markings/sec, 215 secs
lola: 255484 markings, 3705254 edges, 1195 markings/sec, 220 secs
lola: 261154 markings, 3788940 edges, 1134 markings/sec, 225 secs
lola: 266820 markings, 3873439 edges, 1133 markings/sec, 230 secs
lola: 272420 markings, 3960282 edges, 1120 markings/sec, 235 secs
lola: 278156 markings, 4041511 edges, 1147 markings/sec, 240 secs
lola: 283602 markings, 4133442 edges, 1089 markings/sec, 245 secs
lola: 288818 markings, 4232282 edges, 1043 markings/sec, 250 secs
lola: 294859 markings, 4302896 edges, 1208 markings/sec, 255 secs
lola: 300723 markings, 4379137 edges, 1173 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: 2806 markings, 19892 edges, 561 markings/sec, 0 secs
lola: 8946 markings, 87333 edges, 1228 markings/sec, 5 secs
lola: 15091 markings, 154020 edges, 1229 markings/sec, 10 secs
lola: 20973 markings, 230105 edges, 1176 markings/sec, 15 secs
lola: 26572 markings, 315958 edges, 1120 markings/sec, 20 secs
lola: 32669 markings, 384634 edges, 1219 markings/sec, 25 secs
lola: 38546 markings, 460901 edges, 1175 markings/sec, 30 secs
lola: 44149 markings, 546833 edges, 1121 markings/sec, 35 secs
lola: 50239 markings, 615339 edges, 1218 markings/sec, 40 secs
lola: 56102 markings, 691672 edges, 1173 markings/sec, 45 secs
lola: 61692 markings, 777519 edges, 1118 markings/sec, 50 secs
lola: 67339 markings, 861246 edges, 1129 markings/sec, 55 secs
lola: 72774 markings, 952036 edges, 1087 markings/sec, 60 secs
lola: 78002 markings, 1050097 edges, 1046 markings/sec, 65 secs
lola: 83734 markings, 1131449 edges, 1146 markings/sec, 70 secs
lola: 89644 markings, 1206989 edges, 1182 markings/sec, 75 secs
lola: 95702 markings, 1276097 edges, 1212 markings/sec, 80 secs
lola: 101599 markings, 1351190 edges, 1179 markings/sec, 85 secs
lola: 107325 markings, 1432774 edges, 1145 markings/sec, 90 secs
lola: 113108 markings, 1512373 edges, 1157 markings/sec, 95 secs
lola: 118847 markings, 1593075 edges, 1148 markings/sec, 100 secs
lola: 124435 markings, 1678643 edges, 1118 markings/sec, 105 secs
lola: 129770 markings, 1773791 edges, 1067 markings/sec, 110 secs
lola: 135418 markings, 1857822 edges, 1130 markings/sec, 115 secs
lola: 141329 markings, 1933022 edges, 1182 markings/sec, 120 secs
lola: 146981 markings, 2016990 edges, 1130 markings/sec, 125 secs
lola: 152654 markings, 2100338 edges, 1135 markings/sec, 130 secs
lola: 158530 markings, 2175317 edges, 1175 markings/sec, 135 secs
lola: 164194 markings, 2257669 edges, 1133 markings/sec, 140 secs
lola: 169748 markings, 2344098 edges, 1111 markings/sec, 145 secs
lola: 175498 markings, 2424319 edges, 1150 markings/sec, 150 secs
lola: 181086 markings, 2510194 edges, 1118 markings/sec, 155 secs
lola: 186466 markings, 2603988 edges, 1076 markings/sec, 160 secs
lola: 192226 markings, 2684005 edges, 1152 markings/sec, 165 secs
lola: 197638 markings, 2775586 edges, 1082 markings/sec, 170 secs
lola: 202889 markings, 2872966 edges, 1050 markings/sec, 175 secs
lola: 208657 markings, 2952110 edges, 1154 markings/sec, 180 secs
lola: 214137 markings, 3041263 edges, 1096 markings/sec, 185 secs
lola: 219394 markings, 3138087 edges, 1051 markings/sec, 190 secs
lola: 224723 markings, 3232334 edges, 1066 markings/sec, 195 secs
lola: 229870 markings, 3332657 edges, 1029 markings/sec, 200 secs
lola: 234787 markings, 3441400 edges, 983 markings/sec, 205 secs
lola: 240271 markings, 3530273 edges, 1097 markings/sec, 210 secs
lola: 246257 markings, 3600585 edges, 1197 markings/sec, 215 secs
lola: 252433 markings, 3665335 edges, 1235 markings/sec, 220 secs
lola: 258234 markings, 3742945 edges, 1160 markings/sec, 225 secs
lola: 263749 markings, 3830801 edges, 1103 markings/sec, 230 secs
lola: 269541 markings, 3911789 edges, 1158 markings/sec, 235 secs
lola: 275206 markings, 3996654 edges, 1133 markings/sec, 240 secs
lola: 280834 markings, 4082184 edges, 1126 markings/sec, 245 secs
lola: 286189 markings, 4178075 edges, 1071 markings/sec, 250 secs
lola: 291665 markings, 4269128 edges, 1095 markings/sec, 255 secs
lola: 297775 markings, 4337493 edges, 1222 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: 2853 markings, 21014 edges, 571 markings/sec, 0 secs
lola: 9018 markings, 90564 edges, 1233 markings/sec, 5 secs
lola: 15249 markings, 157425 edges, 1246 markings/sec, 10 secs
lola: 21138 markings, 235822 edges, 1178 markings/sec, 15 secs
lola: 26766 markings, 323331 edges, 1126 markings/sec, 20 secs
lola: 32989 markings, 390529 edges, 1245 markings/sec, 25 secs
lola: 38885 markings, 469071 edges, 1179 markings/sec, 30 secs
lola: 44482 markings, 557960 edges, 1119 markings/sec, 35 secs
lola: 50716 markings, 624240 edges, 1247 markings/sec, 40 secs
lola: 56613 markings, 702153 edges, 1179 markings/sec, 45 secs
lola: 62138 markings, 790324 edges, 1105 markings/sec, 50 secs
lola: 67904 markings, 872531 edges, 1153 markings/sec, 55 secs
lola: 73353 markings, 965847 edges, 1090 markings/sec, 60 secs
lola: 78582 markings, 1066933 edges, 1046 markings/sec, 65 secs
lola: 84604 markings, 1141052 edges, 1204 markings/sec, 70 secs
lola: 90568 markings, 1217295 edges, 1193 markings/sec, 75 secs
lola: 96566 markings, 1291741 edges, 1200 markings/sec, 80 secs
lola: 102600 markings, 1365382 edges, 1207 markings/sec, 85 secs
lola: 108370 markings, 1448347 edges, 1154 markings/sec, 90 secs
lola: 114113 markings, 1531729 edges, 1149 markings/sec, 95 secs
lola: 119965 markings, 1611041 edges, 1170 markings/sec, 100 secs
lola: 125530 markings, 1700334 edges, 1113 markings/sec, 105 secs
lola: 130870 markings, 1797253 edges, 1068 markings/sec, 110 secs
lola: 136710 markings, 1877760 edges, 1168 markings/sec, 115 secs
lola: 142674 markings, 1953831 edges, 1193 markings/sec, 120 secs
lola: 148227 markings, 2043071 edges, 1111 markings/sec, 125 secs
lola: 154069 markings, 2122653 edges, 1168 markings/sec, 130 secs
lola: 160011 markings, 2198189 edges, 1188 markings/sec, 135 secs
lola: 165587 markings, 2286350 edges, 1115 markings/sec, 140 secs
lola: 171315 markings, 2369934 edges, 1146 markings/sec, 145 secs
lola: 177082 markings, 2450068 edges, 1153 markings/sec, 150 secs
lola: 182566 markings, 2542153 edges, 1097 markings/sec, 155 secs
lola: 188206 markings, 2629556 edges, 1128 markings/sec, 160 secs
lola: 193879 markings, 2714962 edges, 1135 markings/sec, 165 secs
lola: 199271 markings, 2810292 edges, 1078 markings/sec, 170 secs
lola: 204817 markings, 2899979 edges, 1109 markings/sec, 175 secs
lola: 210522 markings, 2983491 edges, 1141 markings/sec, 180 secs
lola: 215959 markings, 3076489 edges, 1087 markings/sec, 185 secs
lola: 221240 markings, 3174850 edges, 1056 markings/sec, 190 secs
lola: 226594 markings, 3270238 edges, 1071 markings/sec, 195 secs
lola: 231655 markings, 3376046 edges, 1012 markings/sec, 200 secs
lola: 236559 markings, 3487052 edges, 981 markings/sec, 205 secs
lola: 242681 markings, 3556777 edges, 1224 markings/sec, 210 secs
lola: 248804 markings, 3626270 edges, 1225 markings/sec, 215 secs
lola: 254846 markings, 3698324 edges, 1208 markings/sec, 220 secs
lola: 260573 markings, 3781525 edges, 1145 markings/sec, 225 secs
lola: 266258 markings, 3866851 edges, 1137 markings/sec, 230 secs
lola: 271906 markings, 3954085 edges, 1130 markings/sec, 235 secs
lola: 277717 markings, 4035333 edges, 1162 markings/sec, 240 secs
lola: 283215 markings, 4127357 edges, 1100 markings/sec, 245 secs
lola: 288479 markings, 4226788 edges, 1053 markings/sec, 250 secs
lola: 294501 markings, 4300238 edges, 1204 markings/sec, 255 secs
lola: 300420 markings, 4376006 edges, 1184 markings/sec, 260 secs
lola: 306053 markings, 4461977 edges, 1127 markings/sec, 265 secs
lola: 312084 markings, 4531063 edges, 1206 markings/sec, 270 secs
lola: 317969 markings, 4606638 edges, 1177 markings/sec, 275 secs
lola: 323562 markings, 4692073 edges, 1119 markings/sec, 280 secs
lola: 329204 markings, 4775619 edges, 1128 markings/sec, 285 secs
lola: 334647 markings, 4865806 edges, 1089 markings/sec, 290 secs
lola: 339854 markings, 4964189 edges, 1041 markings/sec, 295 secs
lola: 345326 markings, 5054395 edges, 1094 markings/sec, 300 secs
lola: 350947 markings, 5142463 edges, 1124 markings/sec, 305 secs
lola: 356351 markings, 5239196 edges, 1081 markings/sec, 310 secs
lola: 361578 markings, 5330657 edges, 1045 markings/sec, 315 secs
lola: 367290 markings, 5415622 edges, 1142 markings/sec, 320 secs
lola: 372706 markings, 5511385 edges, 1083 markings/sec, 325 secs
lola: 377930 markings, 5613318 edges, 1045 markings/sec, 330 secs
lola: 383258 markings, 5711538 edges, 1066 markings/sec, 335 secs
lola: 388360 markings, 5817868 edges, 1020 markings/sec, 340 secs
lola: 393280 markings, 5930296 edges, 984 markings/sec, 345 secs
lola: 399155 markings, 6010057 edges, 1175 markings/sec, 350 secs
lola: 405140 markings, 6085737 edges, 1197 markings/sec, 355 secs
lola: 411184 markings, 6159116 edges, 1209 markings/sec, 360 secs
lola: 417196 markings, 6233463 edges, 1202 markings/sec, 365 secs
lola: 422970 markings, 6316735 edges, 1155 markings/sec, 370 secs
lola: 428739 markings, 6399282 edges, 1154 markings/sec, 375 secs
lola: 434578 markings, 6479430 edges, 1168 markings/sec, 380 secs
lola: 440162 markings, 6568096 edges, 1117 markings/sec, 385 secs
lola: 445525 markings, 6664516 edges, 1073 markings/sec, 390 secs
lola: 451146 markings, 6753424 edges, 1124 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: 2846 markings, 20978 edges, 569 markings/sec, 0 secs
lola: 9009 markings, 90505 edges, 1233 markings/sec, 5 secs
lola: 15226 markings, 157166 edges, 1243 markings/sec, 10 secs
lola: 21119 markings, 235521 edges, 1179 markings/sec, 15 secs
lola: 26747 markings, 322927 edges, 1126 markings/sec, 20 secs
lola: 32962 markings, 390200 edges, 1243 markings/sec, 25 secs
lola: 38851 markings, 468795 edges, 1178 markings/sec, 30 secs
lola: 44448 markings, 557238 edges, 1119 markings/sec, 35 secs
lola: 50670 markings, 623543 edges, 1244 markings/sec, 40 secs
lola: 56558 markings, 701430 edges, 1178 markings/sec, 45 secs
lola: 62127 markings, 790280 edges, 1114 markings/sec, 50 secs
lola: 67890 markings, 872357 edges, 1153 markings/sec, 55 secs
lola: 73331 markings, 965562 edges, 1088 markings/sec, 60 secs
lola: 78553 markings, 1066285 edges, 1044 markings/sec, 65 secs
lola: 84561 markings, 1140621 edges, 1202 markings/sec, 70 secs
lola: 90526 markings, 1216742 edges, 1193 markings/sec, 75 secs
lola: 96523 markings, 1291028 edges, 1199 markings/sec, 80 secs
lola: 102537 markings, 1364518 edges, 1203 markings/sec, 85 secs
lola: 108307 markings, 1447496 edges, 1154 markings/sec, 90 secs
lola: 114045 markings, 1530623 edges, 1148 markings/sec, 95 secs
lola: 119888 markings, 1609893 edges, 1169 markings/sec, 100 secs
lola: 125448 markings, 1698985 edges, 1112 markings/sec, 105 secs
lola: 130791 markings, 1795840 edges, 1069 markings/sec, 110 secs
lola: 136614 markings, 1876678 edges, 1165 markings/sec, 115 secs
lola: 142574 markings, 1952661 edges, 1192 markings/sec, 120 secs
lola: 148159 markings, 2041503 edges, 1117 markings/sec, 125 secs
lola: 153990 markings, 2121293 edges, 1166 markings/sec, 130 secs
lola: 159917 markings, 2197167 edges, 1185 markings/sec, 135 secs
lola: 165501 markings, 2284843 edges, 1117 markings/sec, 140 secs
lola: 171220 markings, 2368494 edges, 1144 markings/sec, 145 secs
lola: 177024 markings, 2449189 edges, 1161 markings/sec, 150 secs
lola: 182500 markings, 2540658 edges, 1095 markings/sec, 155 secs
lola: 188094 markings, 2628465 edges, 1119 markings/sec, 160 secs
lola: 193752 markings, 2713308 edges, 1132 markings/sec, 165 secs
lola: 198276 markings, 2791260 edges, 905 markings/sec, 170 secs
lola: 201713 markings, 2857312 edges, 687 markings/sec, 175 secs
lola: 205651 markings, 2911414 edges, 788 markings/sec, 180 secs
lola: 209535 markings, 2966626 edges, 777 markings/sec, 185 secs
lola: 213184 markings, 3027581 edges, 730 markings/sec, 190 secs
lola: 216702 markings, 3091389 edges, 704 markings/sec, 195 secs
lola: 220160 markings, 3156709 edges, 692 markings/sec, 200 secs
lola: 223776 markings, 3218361 edges, 723 markings/sec, 205 secs
lola: 227247 markings, 3283314 edges, 694 markings/sec, 210 secs
lola: 230557 markings, 3352218 edges, 662 markings/sec, 215 secs
lola: 233797 markings, 3422762 edges, 648 markings/sec, 220 secs
lola: 236901 markings, 3496580 edges, 621 markings/sec, 225 secs
lola: 241258 markings, 3540519 edges, 871 markings/sec, 230 secs
lola: 245378 markings, 3590126 edges, 824 markings/sec, 235 secs
lola: 249707 markings, 3634886 edges, 866 markings/sec, 240 secs
lola: 253853 markings, 3683799 edges, 829 markings/sec, 245 secs
lola: 257751 markings, 3738581 edges, 780 markings/sec, 250 secs
lola: 261551 markings, 3795435 edges, 760 markings/sec, 255 secs
lola: 265331 markings, 3853306 edges, 756 markings/sec, 260 secs
lola: 269195 markings, 3909606 edges, 773 markings/sec, 265 secs
lola: 272970 markings, 3968094 edges, 755 markings/sec, 270 secs
lola: 276875 markings, 4023164 edges, 781 markings/sec, 275 secs
lola: 280603 markings, 4082611 edges, 746 markings/sec, 280 secs
lola: 284188 markings, 4145575 edges, 717 markings/sec, 285 secs
lola: 287680 markings, 4210634 edges, 698 markings/sec, 290 secs
lola: 291481 markings, 4268278 edges, 760 markings/sec, 295 secs
lola: 295711 markings, 4315248 edges, 846 markings/sec, 300 secs
lola: 299747 markings, 4366802 edges, 807 markings/sec, 305 secs
lola: 303599 markings, 4422500 edges, 770 markings/sec, 310 secs
lola: 307278 markings, 4482282 edges, 736 markings/sec, 315 secs
lola: 311640 markings, 4526176 edges, 872 markings/sec, 320 secs
lola: 315698 markings, 4576909 edges, 812 markings/sec, 325 secs
lola: 319635 markings, 4630705 edges, 787 markings/sec, 330 secs
lola: 323383 markings, 4688831 edges, 750 markings/sec, 335 secs
lola: 327166 markings, 4746018 edges, 757 markings/sec, 340 secs
lola: 330954 markings, 4803056 edges, 758 markings/sec, 345 secs
lola: 334567 markings, 4864318 edges, 723 markings/sec, 350 secs
lola: 338039 markings, 4929120 edges, 694 markings/sec, 355 secs
lola: 341416 markings, 4995952 edges, 675 markings/sec, 360 secs
lola: 345235 markings, 5053139 edges, 764 markings/sec, 365 secs
lola: 349095 markings, 5109618 edges, 772 markings/sec, 370 secs
lola: 352700 markings, 5172364 edges, 721 markings/sec, 375 secs
lola: 356223 markings, 5236870 edges, 705 markings/sec, 380 secs
lola: 359584 markings, 5304990 edges, 672 markings/sec, 385 secs
lola: 363566 markings, 5358229 edges, 796 markings/sec, 390 secs
lola: 367335 markings, 5416608 edges, 754 markings/sec, 395 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1494529890734

--------------------
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="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/PhaseVariation-PT-D20CS010.tgz
mv 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 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 r048-smll-149440869600119"
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 ;