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 PolyORBNT-COL-S10J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100083
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494696313780


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S10J80 @ 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: 15274/65536 symbol table entries, 4901 collisions
lola: preprocessing...
lola: finding significant places
lola: 1694 places, 13580 transitions, 1502 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4378 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J80-UpperBounds.task
lola: MAX(p197) : MAX(p30) : MAX(p1692) : MAX(p12) : MAX(p1198) : MAX(p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182) : MAX(p1423 + p1424 + p1425 + p1426 + p1427 + p1428 + p1429 + p1430 + p1431 + p1432 + p1433 + p1434 + p1435 + p1436 + p1437 + p1438 + p1439 + p1440 + p1441 + p1442 + p1443 + p1422 + p1421 + p1420 + p1419 + p1418 + p1417 + p1416 + p1415 + p1414 + p1413 + p1412 + p1411 + p1410 + p1409 + p1408 + p1407 + p1406 + p1405 + p1404 + p1403 + p1402 + p1401 + p1400 + p1399 + p1398 + p1397 + p1396 + p1395 + p1394 + p1393 + p1392 + p1391 + p1390 + p1389 + p1388 + p1387 + p1386 + p1385 + p1384 + p1383 + p1382 + p1381 + p1380 + p1379 + p1378 + p1377 + p1376 + p1375 + p1374 + p1373 + p1372 + p1371 + p1370 + p1369 + p1368 + p1367 + p1366 + p1365 + p1364 + p1363) : MAX(p1692) : MAX(p17) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p99) : MAX(p1090) : MAX(p0) : MAX(p1008) : MAX(p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192) : MAX(p29) : MAX(p1198)
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(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1729 markings, 6220 edges, 346 markings/sec, 0 secs
lola: 3395 markings, 11589 edges, 333 markings/sec, 5 secs
lola: 4940 markings, 14730 edges, 309 markings/sec, 10 secs
lola: 6675 markings, 21057 edges, 347 markings/sec, 15 secs
lola: 8238 markings, 24548 edges, 313 markings/sec, 20 secs
lola: 9821 markings, 26293 edges, 317 markings/sec, 25 secs
lola: 11517 markings, 28514 edges, 339 markings/sec, 30 secs
lola: 12963 markings, 30025 edges, 289 markings/sec, 35 secs
lola: 14712 markings, 32056 edges, 350 markings/sec, 40 secs
lola: 16236 markings, 34004 edges, 305 markings/sec, 45 secs
lola: 17713 markings, 35916 edges, 295 markings/sec, 50 secs
lola: 19319 markings, 38012 edges, 321 markings/sec, 55 secs
lola: 20737 markings, 39804 edges, 284 markings/sec, 60 secs
lola: 22296 markings, 41879 edges, 312 markings/sec, 65 secs
lola: 23664 markings, 43517 edges, 274 markings/sec, 70 secs
lola: 25267 markings, 45489 edges, 321 markings/sec, 75 secs
lola: 26756 markings, 47381 edges, 298 markings/sec, 80 secs
lola: 28309 markings, 49399 edges, 311 markings/sec, 85 secs
lola: 29913 markings, 51464 edges, 321 markings/sec, 90 secs
lola: 31513 markings, 53506 edges, 320 markings/sec, 95 secs
lola: 33141 markings, 55617 edges, 326 markings/sec, 100 secs
lola: 34716 markings, 57609 edges, 315 markings/sec, 105 secs
lola: 36366 markings, 59768 edges, 330 markings/sec, 110 secs
lola: 37916 markings, 61712 edges, 310 markings/sec, 115 secs
lola: 39587 markings, 63909 edges, 334 markings/sec, 120 secs
lola: 41112 markings, 65805 edges, 305 markings/sec, 125 secs
lola: 42801 markings, 68043 edges, 338 markings/sec, 130 secs
lola: 44317 markings, 69913 edges, 303 markings/sec, 135 secs
lola: 46018 markings, 72174 edges, 340 markings/sec, 140 secs
lola: 47524 markings, 74023 edges, 301 markings/sec, 145 secs
lola: 49229 markings, 76240 edges, 341 markings/sec, 150 secs
lola: 50732 markings, 78134 edges, 301 markings/sec, 155 secs
lola: 52439 markings, 80322 edges, 341 markings/sec, 160 secs
lola: 53938 markings, 82240 edges, 300 markings/sec, 165 secs
lola: 55648 markings, 84403 edges, 342 markings/sec, 170 secs
lola: 57143 markings, 86351 edges, 299 markings/sec, 175 secs
lola: 58855 markings, 88506 edges, 342 markings/sec, 180 secs
lola: 60354 markings, 90454 edges, 300 markings/sec, 185 secs
lola: 62066 markings, 92616 edges, 342 markings/sec, 190 secs
lola: 63569 markings, 94585 edges, 301 markings/sec, 195 secs
lola: 65277 markings, 96752 edges, 342 markings/sec, 200 secs
lola: 66781 markings, 98701 edges, 301 markings/sec, 205 secs
lola: 68488 markings, 100891 edges, 341 markings/sec, 210 secs
lola: 69998 markings, 102825 edges, 302 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1803 markings, 6495 edges, 361 markings/sec, 0 secs
lola: 3462 markings, 11661 edges, 332 markings/sec, 5 secs
lola: 4934 markings, 14707 edges, 294 markings/sec, 10 secs
lola: 6755 markings, 21360 edges, 364 markings/sec, 15 secs
lola: 8239 markings, 24664 edges, 297 markings/sec, 20 secs
lola: 9556 markings, 26216 edges, 263 markings/sec, 25 secs
lola: 10871 markings, 28018 edges, 263 markings/sec, 30 secs
lola: 12187 markings, 29920 edges, 263 markings/sec, 35 secs
lola: 13503 markings, 31471 edges, 263 markings/sec, 40 secs
lola: 14819 markings, 33251 edges, 263 markings/sec, 45 secs
lola: 16131 markings, 35187 edges, 262 markings/sec, 50 secs
lola: 17434 markings, 36800 edges, 261 markings/sec, 55 secs
lola: 18738 markings, 38592 edges, 261 markings/sec, 60 secs
lola: 20046 markings, 40515 edges, 262 markings/sec, 65 secs
lola: 21350 markings, 42292 edges, 261 markings/sec, 70 secs
lola: 22653 markings, 43923 edges, 261 markings/sec, 75 secs
lola: 23961 markings, 45844 edges, 262 markings/sec, 80 secs
lola: 25265 markings, 47627 edges, 261 markings/sec, 85 secs
lola: 26565 markings, 49430 edges, 260 markings/sec, 90 secs
lola: 27870 markings, 51164 edges, 261 markings/sec, 95 secs
lola: 29171 markings, 52949 edges, 260 markings/sec, 100 secs
lola: 30439 markings, 54826 edges, 254 markings/sec, 105 secs
lola: 31683 markings, 56369 edges, 249 markings/sec, 110 secs
lola: 32912 markings, 58063 edges, 246 markings/sec, 115 secs
lola: 34122 markings, 59867 edges, 242 markings/sec, 120 secs
lola: 35317 markings, 61347 edges, 239 markings/sec, 125 secs
lola: 36560 markings, 63060 edges, 249 markings/sec, 130 secs
lola: 37787 markings, 64885 edges, 245 markings/sec, 135 secs
lola: 38999 markings, 66384 edges, 242 markings/sec, 140 secs
lola: 40206 markings, 68057 edges, 241 markings/sec, 145 secs
lola: 41419 markings, 69861 edges, 243 markings/sec, 150 secs
lola: 42630 markings, 71526 edges, 242 markings/sec, 155 secs
lola: 43877 markings, 73085 edges, 249 markings/sec, 160 secs
lola: 45099 markings, 74894 edges, 244 markings/sec, 165 secs
lola: 46318 markings, 76575 edges, 244 markings/sec, 170 secs
lola: 47567 markings, 78198 edges, 250 markings/sec, 175 secs
lola: 48817 markings, 79977 edges, 250 markings/sec, 180 secs
lola: 50065 markings, 81695 edges, 250 markings/sec, 185 secs
lola: 51302 markings, 83513 edges, 247 markings/sec, 190 secs
lola: 52523 markings, 85044 edges, 244 markings/sec, 195 secs
lola: 53756 markings, 86745 edges, 247 markings/sec, 200 secs
lola: 55005 markings, 88594 edges, 250 markings/sec, 205 secs
lola: 56249 markings, 90133 edges, 249 markings/sec, 210 secs
lola: 57492 markings, 91854 edges, 249 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1692)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1738 markings, 6255 edges, 348 markings/sec, 0 secs
lola: 3401 markings, 11596 edges, 333 markings/sec, 5 secs
lola: 4952 markings, 14772 edges, 310 markings/sec, 10 secs
lola: 6693 markings, 21126 edges, 348 markings/sec, 15 secs
lola: 8750 markings, 25083 edges, 411 markings/sec, 20 secs
lola: 10505 markings, 27142 edges, 351 markings/sec, 25 secs
lola: 12250 markings, 29436 edges, 349 markings/sec, 30 secs
lola: 14161 markings, 31588 edges, 382 markings/sec, 35 secs
lola: 15668 markings, 33707 edges, 301 markings/sec, 40 secs
lola: 17061 markings, 35514 edges, 279 markings/sec, 45 secs
lola: 18435 markings, 37333 edges, 275 markings/sec, 50 secs
lola: 19804 markings, 39225 edges, 274 markings/sec, 55 secs
lola: 21167 markings, 41184 edges, 273 markings/sec, 60 secs
lola: 22540 markings, 42997 edges, 275 markings/sec, 65 secs
lola: 23939 markings, 44742 edges, 280 markings/sec, 70 secs
lola: 25285 markings, 46772 edges, 269 markings/sec, 75 secs
lola: 26637 markings, 48716 edges, 270 markings/sec, 80 secs
lola: 28015 markings, 50600 edges, 276 markings/sec, 85 secs
lola: 29400 markings, 52353 edges, 277 markings/sec, 90 secs
lola: 30772 markings, 54224 edges, 274 markings/sec, 95 secs
lola: 32132 markings, 56208 edges, 272 markings/sec, 100 secs
lola: 33485 markings, 58149 edges, 271 markings/sec, 105 secs
lola: 34893 markings, 59890 edges, 282 markings/sec, 110 secs
lola: 36251 markings, 61796 edges, 272 markings/sec, 115 secs
lola: 37617 markings, 63701 edges, 273 markings/sec, 120 secs
lola: 38983 markings, 65649 edges, 273 markings/sec, 125 secs
lola: 40353 markings, 67472 edges, 274 markings/sec, 130 secs
lola: 41751 markings, 69210 edges, 280 markings/sec, 135 secs
lola: 42720 markings, 70758 edges, 194 markings/sec, 140 secs
lola: 43485 markings, 71713 edges, 153 markings/sec, 145 secs
lola: 44219 markings, 72902 edges, 147 markings/sec, 150 secs
lola: 45026 markings, 73763 edges, 161 markings/sec, 155 secs
lola: 45772 markings, 75014 edges, 149 markings/sec, 160 secs
lola: 46556 markings, 75993 edges, 157 markings/sec, 165 secs
lola: 47250 markings, 76925 edges, 139 markings/sec, 170 secs
lola: 48013 markings, 78018 edges, 153 markings/sec, 175 secs
lola: 48818 markings, 79016 edges, 161 markings/sec, 180 secs
lola: 49572 markings, 80199 edges, 151 markings/sec, 185 secs
lola: 50339 markings, 81156 edges, 153 markings/sec, 190 secs
lola: 50967 markings, 82204 edges, 126 markings/sec, 195 secs
lola: 52275 markings, 83791 edges, 262 markings/sec, 200 secs
lola: 53675 markings, 85764 edges, 280 markings/sec, 205 secs
lola: 55096 markings, 87705 edges, 284 markings/sec, 210 secs
lola: 56468 markings, 89693 edges, 274 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1811 markings, 6529 edges, 362 markings/sec, 0 secs
lola: 3490 markings, 11691 edges, 336 markings/sec, 5 secs
lola: 5064 markings, 15188 edges, 315 markings/sec, 10 secs
lola: 6873 markings, 21791 edges, 362 markings/sec, 15 secs
lola: 8843 markings, 25180 edges, 394 markings/sec, 20 secs
lola: 10543 markings, 27190 edges, 340 markings/sec, 25 secs
lola: 12248 markings, 29434 edges, 341 markings/sec, 30 secs
lola: 14077 markings, 31488 edges, 366 markings/sec, 35 secs
lola: 15608 markings, 33643 edges, 306 markings/sec, 40 secs
lola: 16996 markings, 35384 edges, 278 markings/sec, 45 secs
lola: 18363 markings, 37242 edges, 273 markings/sec, 50 secs
lola: 19737 markings, 39153 edges, 275 markings/sec, 55 secs
lola: 21119 markings, 41126 edges, 276 markings/sec, 60 secs
lola: 22503 markings, 42924 edges, 277 markings/sec, 65 secs
lola: 23894 markings, 44694 edges, 278 markings/sec, 70 secs
lola: 25267 markings, 46749 edges, 275 markings/sec, 75 secs
lola: 26642 markings, 48721 edges, 275 markings/sec, 80 secs
lola: 28020 markings, 50610 edges, 276 markings/sec, 85 secs
lola: 29395 markings, 52348 edges, 275 markings/sec, 90 secs
lola: 30768 markings, 54220 edges, 275 markings/sec, 95 secs
lola: 32135 markings, 56213 edges, 273 markings/sec, 100 secs
lola: 33497 markings, 58175 edges, 272 markings/sec, 105 secs
lola: 34887 markings, 59878 edges, 278 markings/sec, 110 secs
lola: 36251 markings, 61796 edges, 273 markings/sec, 115 secs
lola: 37619 markings, 63704 edges, 274 markings/sec, 120 secs
lola: 38989 markings, 65658 edges, 274 markings/sec, 125 secs
lola: 40360 markings, 67489 edges, 274 markings/sec, 130 secs
lola: 41745 markings, 69198 edges, 277 markings/sec, 135 secs
lola: 43107 markings, 71240 edges, 272 markings/sec, 140 secs
lola: 44472 markings, 73172 edges, 273 markings/sec, 145 secs
lola: 45825 markings, 75077 edges, 271 markings/sec, 150 secs
lola: 47198 markings, 76819 edges, 275 markings/sec, 155 secs
lola: 48577 markings, 78620 edges, 276 markings/sec, 160 secs
lola: 49942 markings, 80659 edges, 273 markings/sec, 165 secs
lola: 51307 markings, 82603 edges, 273 markings/sec, 170 secs
lola: 52681 markings, 84525 edges, 275 markings/sec, 175 secs
lola: 54056 markings, 86260 edges, 275 markings/sec, 180 secs
lola: 55434 markings, 88066 edges, 276 markings/sec, 185 secs
lola: 56798 markings, 90105 edges, 273 markings/sec, 190 secs
lola: 58164 markings, 92039 edges, 273 markings/sec, 195 secs
lola: 59537 markings, 93968 edges, 275 markings/sec, 200 secs
lola: 60910 markings, 95758 edges, 275 markings/sec, 205 secs
lola: 62292 markings, 97512 edges, 276 markings/sec, 210 secs
lola: 63655 markings, 99548 edges, 273 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1812 markings, 6530 edges, 362 markings/sec, 0 secs
lola: 3504 markings, 11706 edges, 338 markings/sec, 5 secs
lola: 5057 markings, 15165 edges, 311 markings/sec, 10 secs
lola: 6875 markings, 21802 edges, 364 markings/sec, 15 secs
lola: 9087 markings, 25435 edges, 442 markings/sec, 20 secs
lola: 10745 markings, 27432 edges, 332 markings/sec, 25 secs
lola: 12535 markings, 29734 edges, 358 markings/sec, 30 secs
lola: 14324 markings, 31786 edges, 358 markings/sec, 35 secs
lola: 15765 markings, 33811 edges, 288 markings/sec, 40 secs
lola: 17112 markings, 35616 edges, 269 markings/sec, 45 secs
lola: 18470 markings, 37374 edges, 272 markings/sec, 50 secs
lola: 19834 markings, 39257 edges, 273 markings/sec, 55 secs
lola: 21156 markings, 41173 edges, 264 markings/sec, 60 secs
lola: 22530 markings, 42977 edges, 275 markings/sec, 65 secs
lola: 23937 markings, 44739 edges, 281 markings/sec, 70 secs
lola: 25293 markings, 46785 edges, 271 markings/sec, 75 secs
lola: 26653 markings, 48733 edges, 272 markings/sec, 80 secs
lola: 28015 markings, 50600 edges, 272 markings/sec, 85 secs
lola: 29370 markings, 52318 edges, 271 markings/sec, 90 secs
lola: 30752 markings, 54203 edges, 276 markings/sec, 95 secs
lola: 32118 markings, 56194 edges, 273 markings/sec, 100 secs
lola: 33478 markings, 58137 edges, 272 markings/sec, 105 secs
lola: 34914 markings, 59932 edges, 287 markings/sec, 110 secs
lola: 36286 markings, 61841 edges, 274 markings/sec, 115 secs
lola: 37665 markings, 63753 edges, 276 markings/sec, 120 secs
lola: 39037 markings, 65718 edges, 274 markings/sec, 125 secs
lola: 40403 markings, 67572 edges, 273 markings/sec, 130 secs
lola: 41809 markings, 69326 edges, 281 markings/sec, 135 secs
lola: 43158 markings, 71306 edges, 270 markings/sec, 140 secs
lola: 44520 markings, 73223 edges, 272 markings/sec, 145 secs
lola: 45894 markings, 75166 edges, 275 markings/sec, 150 secs
lola: 47274 markings, 76970 edges, 276 markings/sec, 155 secs
lola: 48677 markings, 78734 edges, 281 markings/sec, 160 secs
lola: 50021 markings, 80758 edges, 269 markings/sec, 165 secs
lola: 51364 markings, 82663 edges, 269 markings/sec, 170 secs
lola: 52720 markings, 84573 edges, 271 markings/sec, 175 secs
lola: 54108 markings, 86362 edges, 278 markings/sec, 180 secs
lola: 55510 markings, 88147 edges, 280 markings/sec, 185 secs
lola: 56862 markings, 90184 edges, 270 markings/sec, 190 secs
lola: 58229 markings, 92109 edges, 273 markings/sec, 195 secs
lola: 59603 markings, 94050 edges, 275 markings/sec, 200 secs
lola: 60979 markings, 95897 edges, 275 markings/sec, 205 secs
lola: 62380 markings, 97688 edges, 280 markings/sec, 210 secs
lola: 63738 markings, 99653 edges, 272 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 3802 markings, 5584 edges, 760 markings/sec, 0 secs
lola: 8712 markings, 11120 edges, 982 markings/sec, 5 secs
lola: 13602 markings, 16664 edges, 978 markings/sec, 10 secs
lola: 18410 markings, 22168 edges, 962 markings/sec, 15 secs
lola: 23308 markings, 27750 edges, 980 markings/sec, 20 secs
lola: 28269 markings, 33395 edges, 992 markings/sec, 25 secs
lola: 33156 markings, 39007 edges, 977 markings/sec, 30 secs
lola: 37988 markings, 44621 edges, 966 markings/sec, 35 secs
lola: 42873 markings, 50289 edges, 977 markings/sec, 40 secs
lola: 47829 markings, 56027 edges, 991 markings/sec, 45 secs
lola: 52630 markings, 61712 edges, 960 markings/sec, 50 secs
lola: 57575 markings, 67543 edges, 989 markings/sec, 55 secs
lola: 62412 markings, 73338 edges, 967 markings/sec, 60 secs
lola: 67229 markings, 79183 edges, 963 markings/sec, 65 secs
lola: 72064 markings, 85114 edges, 967 markings/sec, 70 secs
lola: 76930 markings, 91150 edges, 973 markings/sec, 75 secs
lola: 81726 markings, 97280 edges, 959 markings/sec, 80 secs
lola: 86558 markings, 103599 edges, 966 markings/sec, 85 secs
lola: 91348 markings, 110188 edges, 958 markings/sec, 90 secs
lola: 96100 markings, 117359 edges, 950 markings/sec, 95 secs
lola: 101115 markings, 127306 edges, 1003 markings/sec, 100 secs
lola: 107338 markings, 134866 edges, 1245 markings/sec, 105 secs
lola: 113595 markings, 142520 edges, 1251 markings/sec, 110 secs
lola: 119853 markings, 150163 edges, 1252 markings/sec, 115 secs
lola: 126111 markings, 157794 edges, 1252 markings/sec, 120 secs
lola: 132358 markings, 165402 edges, 1249 markings/sec, 125 secs
lola: 138606 markings, 172999 edges, 1250 markings/sec, 130 secs
lola: 144865 markings, 180595 edges, 1252 markings/sec, 135 secs
lola: 151143 markings, 188248 edges, 1256 markings/sec, 140 secs
lola: 157454 markings, 195961 edges, 1262 markings/sec, 145 secs
lola: 163790 markings, 203709 edges, 1267 markings/sec, 150 secs
lola: 169963 markings, 211343 edges, 1235 markings/sec, 155 secs
lola: 176062 markings, 218916 edges, 1220 markings/sec, 160 secs
lola: 182339 markings, 226484 edges, 1255 markings/sec, 165 secs
lola: 188739 markings, 234336 edges, 1280 markings/sec, 170 secs
lola: 194845 markings, 241967 edges, 1221 markings/sec, 175 secs
lola: 201068 markings, 249549 edges, 1245 markings/sec, 180 secs
lola: 207418 markings, 257414 edges, 1270 markings/sec, 185 secs
lola: 213491 markings, 264919 edges, 1215 markings/sec, 190 secs
lola: 219846 markings, 272794 edges, 1271 markings/sec, 195 secs
lola: 225951 markings, 280350 edges, 1221 markings/sec, 200 secs
lola: 232140 markings, 288134 edges, 1238 markings/sec, 205 secs
lola: 238498 markings, 295960 edges, 1272 markings/sec, 210 secs
lola: 244607 markings, 303578 edges, 1222 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1423 + p1424 + p1425 + p1426 + p1427 + p1428 + p1429 + p1430 + p1431 + p1432 + p1433 + p1434 + p1435 + p1436 + p1437 + p1438 + p1439 + p1440 + p1441 + p1442 + p1443 + p1422 + p1421 + p1420 + p1419 + p1418 + p1417 + p1416 + p1415 + p1414 + p1413 + p1412 + p1411 + p1410 + p1409 + p1408 + p1407 + p1406 + p1405 + p1404 + p1403 + p1402 + p1401 + p1400 + p1399 + p1398 + p1397 + p1396 + p1395 + p139... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1728 markings, 6219 edges, 346 markings/sec, 0 secs
lola: 3345 markings, 11536 edges, 323 markings/sec, 5 secs
lola: 4700 markings, 13866 edges, 271 markings/sec, 10 secs
lola: 6426 markings, 20150 edges, 345 markings/sec, 15 secs
lola: 8384 markings, 24700 edges, 392 markings/sec, 20 secs
lola: 10132 markings, 26694 edges, 350 markings/sec, 25 secs
lola: 11595 markings, 28751 edges, 293 markings/sec, 30 secs
lola: 13634 markings, 30951 edges, 408 markings/sec, 35 secs
lola: 15121 markings, 32748 edges, 297 markings/sec, 40 secs
lola: 16370 markings, 34598 edges, 250 markings/sec, 45 secs
lola: 17618 markings, 36312 edges, 250 markings/sec, 50 secs
lola: 18863 markings, 37935 edges, 249 markings/sec, 55 secs
lola: 20114 markings, 39715 edges, 250 markings/sec, 60 secs
lola: 21385 markings, 41457 edges, 254 markings/sec, 65 secs
lola: 22692 markings, 43301 edges, 261 markings/sec, 70 secs
lola: 23998 markings, 45006 edges, 261 markings/sec, 75 secs
lola: 25305 markings, 46797 edges, 261 markings/sec, 80 secs
lola: 26610 markings, 48720 edges, 261 markings/sec, 85 secs
lola: 27916 markings, 50340 edges, 261 markings/sec, 90 secs
lola: 29226 markings, 52139 edges, 262 markings/sec, 95 secs
lola: 30537 markings, 54063 edges, 262 markings/sec, 100 secs
lola: 31848 markings, 55854 edges, 262 markings/sec, 105 secs
lola: 33160 markings, 57500 edges, 262 markings/sec, 110 secs
lola: 34476 markings, 59421 edges, 263 markings/sec, 115 secs
lola: 35787 markings, 61217 edges, 262 markings/sec, 120 secs
lola: 37103 markings, 63153 edges, 263 markings/sec, 125 secs
lola: 38420 markings, 64785 edges, 263 markings/sec, 130 secs
lola: 39734 markings, 66590 edges, 263 markings/sec, 135 secs
lola: 41049 markings, 68516 edges, 263 markings/sec, 140 secs
lola: 42278 markings, 70206 edges, 246 markings/sec, 145 secs
lola: 43503 markings, 71736 edges, 245 markings/sec, 150 secs
lola: 44753 markings, 73583 edges, 250 markings/sec, 155 secs
lola: 45998 markings, 75295 edges, 249 markings/sec, 160 secs
lola: 47239 markings, 76902 edges, 248 markings/sec, 165 secs
lola: 48485 markings, 78680 edges, 249 markings/sec, 170 secs
lola: 49729 markings, 80396 edges, 249 markings/sec, 175 secs
lola: 50972 markings, 82214 edges, 249 markings/sec, 180 secs
lola: 52216 markings, 83777 edges, 249 markings/sec, 185 secs
lola: 53458 markings, 85494 edges, 248 markings/sec, 190 secs
lola: 54703 markings, 87334 edges, 249 markings/sec, 195 secs
lola: 55946 markings, 88875 edges, 249 markings/sec, 200 secs
lola: 57189 markings, 90595 edges, 249 markings/sec, 205 secs
lola: 58433 markings, 92431 edges, 249 markings/sec, 210 secs
lola: 59677 markings, 94143 edges, 249 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1692)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1737 markings, 6254 edges, 347 markings/sec, 0 secs
lola: 3401 markings, 11596 edges, 333 markings/sec, 5 secs
lola: 4953 markings, 14773 edges, 310 markings/sec, 10 secs
lola: 6693 markings, 21126 edges, 348 markings/sec, 15 secs
lola: 8749 markings, 25082 edges, 411 markings/sec, 20 secs
lola: 10504 markings, 27141 edges, 351 markings/sec, 25 secs
lola: 12256 markings, 29442 edges, 350 markings/sec, 30 secs
lola: 14169 markings, 31598 edges, 383 markings/sec, 35 secs
lola: 15676 markings, 33716 edges, 301 markings/sec, 40 secs
lola: 17073 markings, 35538 edges, 279 markings/sec, 45 secs
lola: 18448 markings, 37347 edges, 275 markings/sec, 50 secs
lola: 19821 markings, 39243 edges, 275 markings/sec, 55 secs
lola: 21184 markings, 41206 edges, 273 markings/sec, 60 secs
lola: 22559 markings, 43036 edges, 275 markings/sec, 65 secs
lola: 23965 markings, 44769 edges, 281 markings/sec, 70 secs
lola: 25310 markings, 46804 edges, 269 markings/sec, 75 secs
lola: 26667 markings, 48748 edges, 271 markings/sec, 80 secs
lola: 28042 markings, 50654 edges, 275 markings/sec, 85 secs
lola: 29429 markings, 52392 edges, 277 markings/sec, 90 secs
lola: 30807 markings, 54261 edges, 276 markings/sec, 95 secs
lola: 32162 markings, 56248 edges, 271 markings/sec, 100 secs
lola: 33514 markings, 58208 edges, 270 markings/sec, 105 secs
lola: 34924 markings, 59952 edges, 282 markings/sec, 110 secs
lola: 36287 markings, 61842 edges, 273 markings/sec, 115 secs
lola: 37655 markings, 63742 edges, 274 markings/sec, 120 secs
lola: 39024 markings, 65700 edges, 274 markings/sec, 125 secs
lola: 40393 markings, 67552 edges, 274 markings/sec, 130 secs
lola: 41795 markings, 69298 edges, 280 markings/sec, 135 secs
lola: 43146 markings, 71289 edges, 270 markings/sec, 140 secs
lola: 44507 markings, 73209 edges, 272 markings/sec, 145 secs
lola: 45879 markings, 75146 edges, 274 markings/sec, 150 secs
lola: 47258 markings, 76939 edges, 276 markings/sec, 155 secs
lola: 48658 markings, 78706 edges, 280 markings/sec, 160 secs
lola: 50005 markings, 80740 edges, 269 markings/sec, 165 secs
lola: 51369 markings, 82669 edges, 273 markings/sec, 170 secs
lola: 52743 markings, 84602 edges, 275 markings/sec, 175 secs
lola: 54124 markings, 86397 edges, 276 markings/sec, 180 secs
lola: 55523 markings, 88160 edges, 280 markings/sec, 185 secs
lola: 56869 markings, 90195 edges, 269 markings/sec, 190 secs
lola: 58234 markings, 92114 edges, 273 markings/sec, 195 secs
lola: 59607 markings, 94054 edges, 275 markings/sec, 200 secs
lola: 60979 markings, 95898 edges, 274 markings/sec, 205 secs
lola: 62379 markings, 97686 edges, 280 markings/sec, 210 secs
lola: 63734 markings, 99647 edges, 271 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1732 markings, 6232 edges, 346 markings/sec, 0 secs
lola: 3379 markings, 11572 edges, 329 markings/sec, 5 secs
lola: 4836 markings, 14345 edges, 291 markings/sec, 10 secs
lola: 6579 markings, 20719 edges, 349 markings/sec, 15 secs
lola: 8117 markings, 24421 edges, 308 markings/sec, 20 secs
lola: 9578 markings, 26008 edges, 292 markings/sec, 25 secs
lola: 11248 markings, 28150 edges, 334 markings/sec, 30 secs
lola: 12640 markings, 29688 edges, 278 markings/sec, 35 secs
lola: 14222 markings, 31482 edges, 316 markings/sec, 40 secs
lola: 15775 markings, 33512 edges, 311 markings/sec, 45 secs
lola: 17152 markings, 35247 edges, 275 markings/sec, 50 secs
lola: 18702 markings, 37245 edges, 310 markings/sec, 55 secs
lola: 20064 markings, 38830 edges, 272 markings/sec, 60 secs
lola: 21569 markings, 40796 edges, 301 markings/sec, 65 secs
lola: 23015 markings, 42676 edges, 289 markings/sec, 70 secs
lola: 24442 markings, 44508 edges, 285 markings/sec, 75 secs
lola: 25963 markings, 46535 edges, 304 markings/sec, 80 secs
lola: 27315 markings, 48217 edges, 270 markings/sec, 85 secs
lola: 28859 markings, 50082 edges, 309 markings/sec, 90 secs
lola: 30252 markings, 51826 edges, 279 markings/sec, 95 secs
lola: 31736 markings, 53773 edges, 297 markings/sec, 100 secs
lola: 33197 markings, 55677 edges, 292 markings/sec, 105 secs
lola: 34612 markings, 57485 edges, 283 markings/sec, 110 secs
lola: 36142 markings, 59529 edges, 306 markings/sec, 115 secs
lola: 37488 markings, 61200 edges, 269 markings/sec, 120 secs
lola: 39035 markings, 63090 edges, 309 markings/sec, 125 secs
lola: 40420 markings, 64797 edges, 277 markings/sec, 130 secs
lola: 41908 markings, 66752 edges, 298 markings/sec, 135 secs
lola: 43361 markings, 68640 edges, 291 markings/sec, 140 secs
lola: 44774 markings, 70457 edges, 283 markings/sec, 145 secs
lola: 46251 markings, 72422 edges, 295 markings/sec, 150 secs
lola: 47664 markings, 74188 edges, 283 markings/sec, 155 secs
lola: 49294 markings, 76357 edges, 326 markings/sec, 160 secs
lola: 50706 markings, 78104 edges, 282 markings/sec, 165 secs
lola: 52282 markings, 80041 edges, 315 markings/sec, 170 secs
lola: 53737 markings, 81866 edges, 291 markings/sec, 175 secs
lola: 55324 markings, 83890 edges, 317 markings/sec, 180 secs
lola: 56717 markings, 85677 edges, 279 markings/sec, 185 secs
lola: 58133 markings, 87530 edges, 283 markings/sec, 190 secs
lola: 59667 markings, 89513 edges, 307 markings/sec, 195 secs
lola: 61176 markings, 91442 edges, 302 markings/sec, 200 secs
lola: 62732 markings, 93473 edges, 311 markings/sec, 205 secs
lola: 64226 markings, 95366 edges, 299 markings/sec, 210 secs
lola: 65806 markings, 97436 edges, 316 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p5... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1804 markings, 6496 edges, 361 markings/sec, 0 secs
lola: 3463 markings, 11662 edges, 332 markings/sec, 5 secs
lola: 4935 markings, 14708 edges, 294 markings/sec, 10 secs
lola: 6758 markings, 21372 edges, 365 markings/sec, 15 secs
lola: 8243 markings, 24671 edges, 297 markings/sec, 20 secs
lola: 9559 markings, 26222 edges, 263 markings/sec, 25 secs
lola: 10876 markings, 28024 edges, 263 markings/sec, 30 secs
lola: 12194 markings, 29929 edges, 264 markings/sec, 35 secs
lola: 13513 markings, 31483 edges, 264 markings/sec, 40 secs
lola: 14818 markings, 33250 edges, 261 markings/sec, 45 secs
lola: 16133 markings, 35189 edges, 263 markings/sec, 50 secs
lola: 17441 markings, 36807 edges, 262 markings/sec, 55 secs
lola: 18747 markings, 38601 edges, 261 markings/sec, 60 secs
lola: 20057 markings, 40529 edges, 262 markings/sec, 65 secs
lola: 21363 markings, 42310 edges, 261 markings/sec, 70 secs
lola: 22670 markings, 43942 edges, 261 markings/sec, 75 secs
lola: 23979 markings, 45867 edges, 262 markings/sec, 80 secs
lola: 25285 markings, 47652 edges, 261 markings/sec, 85 secs
lola: 26593 markings, 49486 edges, 262 markings/sec, 90 secs
lola: 27901 markings, 51205 edges, 262 markings/sec, 95 secs
lola: 29208 markings, 52996 edges, 261 markings/sec, 100 secs
lola: 30517 markings, 54923 edges, 262 markings/sec, 105 secs
lola: 31825 markings, 56542 edges, 262 markings/sec, 110 secs
lola: 33132 markings, 58338 edges, 261 markings/sec, 115 secs
lola: 34443 markings, 60263 edges, 262 markings/sec, 120 secs
lola: 35752 markings, 62052 edges, 262 markings/sec, 125 secs
lola: 37059 markings, 63716 edges, 261 markings/sec, 130 secs
lola: 38369 markings, 65604 edges, 262 markings/sec, 135 secs
lola: 39678 markings, 67399 edges, 262 markings/sec, 140 secs
lola: 40986 markings, 69323 edges, 262 markings/sec, 145 secs
lola: 42295 markings, 70944 edges, 262 markings/sec, 150 secs
lola: 43602 markings, 72740 edges, 261 markings/sec, 155 secs
lola: 44912 markings, 74662 edges, 262 markings/sec, 160 secs
lola: 46221 markings, 76453 edges, 262 markings/sec, 165 secs
lola: 47528 markings, 78120 edges, 261 markings/sec, 170 secs
lola: 48839 markings, 80004 edges, 262 markings/sec, 175 secs
lola: 50147 markings, 81799 edges, 262 markings/sec, 180 secs
lola: 51455 markings, 83721 edges, 262 markings/sec, 185 secs
lola: 52763 markings, 85339 edges, 262 markings/sec, 190 secs
lola: 54070 markings, 87139 edges, 261 markings/sec, 195 secs
lola: 55380 markings, 89056 edges, 262 markings/sec, 200 secs
lola: 56687 markings, 90846 edges, 261 markings/sec, 205 secs
lola: 57994 markings, 92656 edges, 261 markings/sec, 210 secs
lola: 59271 markings, 94350 edges, 255 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1815 markings, 6542 edges, 363 markings/sec, 0 secs
lola: 3477 markings, 11677 edges, 332 markings/sec, 5 secs
lola: 4964 markings, 14819 edges, 297 markings/sec, 10 secs
lola: 6788 markings, 21482 edges, 365 markings/sec, 15 secs
lola: 8267 markings, 24697 edges, 296 markings/sec, 20 secs
lola: 9587 markings, 26255 edges, 264 markings/sec, 25 secs
lola: 10904 markings, 28061 edges, 263 markings/sec, 30 secs
lola: 12223 markings, 29963 edges, 264 markings/sec, 35 secs
lola: 13542 markings, 31517 edges, 264 markings/sec, 40 secs
lola: 14859 markings, 33301 edges, 263 markings/sec, 45 secs
lola: 16174 markings, 35240 edges, 263 markings/sec, 50 secs
lola: 17482 markings, 36858 edges, 262 markings/sec, 55 secs
lola: 18787 markings, 38651 edges, 261 markings/sec, 60 secs
lola: 20097 markings, 40577 edges, 262 markings/sec, 65 secs
lola: 21405 markings, 42362 edges, 262 markings/sec, 70 secs
lola: 22710 markings, 43992 edges, 261 markings/sec, 75 secs
lola: 24020 markings, 45918 edges, 262 markings/sec, 80 secs
lola: 25327 markings, 47704 edges, 261 markings/sec, 85 secs
lola: 26634 markings, 49568 edges, 261 markings/sec, 90 secs
lola: 27943 markings, 51257 edges, 262 markings/sec, 95 secs
lola: 29249 markings, 53047 edges, 261 markings/sec, 100 secs
lola: 30558 markings, 54974 edges, 262 markings/sec, 105 secs
lola: 31865 markings, 56591 edges, 261 markings/sec, 110 secs
lola: 33170 markings, 58386 edges, 261 markings/sec, 115 secs
lola: 34480 markings, 60310 edges, 262 markings/sec, 120 secs
lola: 35787 markings, 62097 edges, 261 markings/sec, 125 secs
lola: 37092 markings, 63781 edges, 261 markings/sec, 130 secs
lola: 38387 markings, 65627 edges, 259 markings/sec, 135 secs
lola: 39698 markings, 67424 edges, 262 markings/sec, 140 secs
lola: 41012 markings, 69354 edges, 263 markings/sec, 145 secs
lola: 42326 markings, 70983 edges, 263 markings/sec, 150 secs
lola: 43637 markings, 72785 edges, 262 markings/sec, 155 secs
lola: 44952 markings, 74712 edges, 263 markings/sec, 160 secs
lola: 46266 markings, 76508 edges, 263 markings/sec, 165 secs
lola: 47577 markings, 78218 edges, 262 markings/sec, 170 secs
lola: 48892 markings, 80067 edges, 263 markings/sec, 175 secs
lola: 50205 markings, 81870 edges, 263 markings/sec, 180 secs
lola: 51519 markings, 83800 edges, 263 markings/sec, 185 secs
lola: 52838 markings, 85434 edges, 264 markings/sec, 190 secs
lola: 54155 markings, 87244 edges, 263 markings/sec, 195 secs
lola: 55476 markings, 89175 edges, 264 markings/sec, 200 secs
lola: 56781 markings, 90963 edges, 261 markings/sec, 205 secs
lola: 58080 markings, 92827 edges, 260 markings/sec, 210 secs
lola: 59381 markings, 94489 edges, 260 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1798 markings, 6473 edges, 360 markings/sec, 0 secs
lola: 3479 markings, 11679 edges, 336 markings/sec, 5 secs
lola: 5032 markings, 15075 edges, 311 markings/sec, 10 secs
lola: 6837 markings, 21656 edges, 361 markings/sec, 15 secs
lola: 8377 markings, 24693 edges, 308 markings/sec, 20 secs
lola: 9968 markings, 26465 edges, 318 markings/sec, 25 secs
lola: 11639 markings, 28641 edges, 334 markings/sec, 30 secs
lola: 13072 markings, 30139 edges, 287 markings/sec, 35 secs
lola: 14820 markings, 32184 edges, 350 markings/sec, 40 secs
lola: 16308 markings, 34081 edges, 298 markings/sec, 45 secs
lola: 17838 markings, 36065 edges, 306 markings/sec, 50 secs
lola: 19377 markings, 38074 edges, 308 markings/sec, 55 secs
lola: 20843 markings, 39930 edges, 293 markings/sec, 60 secs
lola: 22450 markings, 42073 edges, 321 markings/sec, 65 secs
lola: 23858 markings, 43812 edges, 282 markings/sec, 70 secs
lola: 25473 markings, 45792 edges, 323 markings/sec, 75 secs
lola: 26918 markings, 47554 edges, 289 markings/sec, 80 secs
lola: 28486 markings, 49612 edges, 314 markings/sec, 85 secs
lola: 29987 markings, 51543 edges, 300 markings/sec, 90 secs
lola: 31498 markings, 53487 edges, 302 markings/sec, 95 secs
lola: 33053 markings, 55523 edges, 311 markings/sec, 100 secs
lola: 34514 markings, 57368 edges, 292 markings/sec, 105 secs
lola: 36117 markings, 59503 edges, 321 markings/sec, 110 secs
lola: 37531 markings, 61251 edges, 283 markings/sec, 115 secs
lola: 39150 markings, 63297 edges, 324 markings/sec, 120 secs
lola: 40577 markings, 65054 edges, 285 markings/sec, 125 secs
lola: 42165 markings, 67060 edges, 318 markings/sec, 130 secs
lola: 43641 markings, 68939 edges, 295 markings/sec, 135 secs
lola: 45187 markings, 70950 edges, 309 markings/sec, 140 secs
lola: 46699 markings, 72900 edges, 302 markings/sec, 145 secs
lola: 48205 markings, 74832 edges, 301 markings/sec, 150 secs
lola: 49755 markings, 76861 edges, 310 markings/sec, 155 secs
lola: 51225 markings, 78721 edges, 294 markings/sec, 160 secs
lola: 52811 markings, 80815 edges, 317 markings/sec, 165 secs
lola: 54248 markings, 82610 edges, 287 markings/sec, 170 secs
lola: 55862 markings, 84765 edges, 323 markings/sec, 175 secs
lola: 57269 markings, 86501 edges, 281 markings/sec, 180 secs
lola: 58888 markings, 88563 edges, 324 markings/sec, 185 secs
lola: 60304 markings, 90354 edges, 283 markings/sec, 190 secs
lola: 61907 markings, 92330 edges, 321 markings/sec, 195 secs
lola: 63357 markings, 94163 edges, 290 markings/sec, 200 secs
lola: 64934 markings, 96210 edges, 315 markings/sec, 205 secs
lola: 66404 markings, 98074 edges, 294 markings/sec, 210 secs
lola: 67959 markings, 100103 edges, 311 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1008)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1810 markings, 6519 edges, 362 markings/sec, 0 secs
lola: 3604 markings, 11812 edges, 359 markings/sec, 5 secs
lola: 5399 markings, 16402 edges, 359 markings/sec, 10 secs
lola: 7209 markings, 23026 edges, 362 markings/sec, 15 secs
lola: 8907 markings, 25247 edges, 340 markings/sec, 20 secs
lola: 10976 markings, 27659 edges, 414 markings/sec, 25 secs
lola: 12655 markings, 29703 edges, 336 markings/sec, 30 secs
lola: 14659 markings, 31995 edges, 401 markings/sec, 35 secs
lola: 16454 markings, 34236 edges, 359 markings/sec, 40 secs
lola: 18297 markings, 36612 edges, 369 markings/sec, 45 secs
lola: 20054 markings, 38810 edges, 351 markings/sec, 50 secs
lola: 21914 markings, 41205 edges, 372 markings/sec, 55 secs
lola: 23623 markings, 43435 edges, 342 markings/sec, 60 secs
lola: 25505 markings, 45852 edges, 376 markings/sec, 65 secs
lola: 27191 markings, 48069 edges, 337 markings/sec, 70 secs
lola: 29095 markings, 50506 edges, 381 markings/sec, 75 secs
lola: 30809 markings, 52669 edges, 343 markings/sec, 80 secs
lola: 32688 markings, 55134 edges, 376 markings/sec, 85 secs
lola: 34365 markings, 57190 edges, 335 markings/sec, 90 secs
lola: 36250 markings, 59644 edges, 377 markings/sec, 95 secs
lola: 38042 markings, 61862 edges, 358 markings/sec, 100 secs
lola: 39897 markings, 64239 edges, 371 markings/sec, 105 secs
lola: 41718 markings, 66526 edges, 364 markings/sec, 110 secs
lola: 43544 markings, 68835 edges, 365 markings/sec, 115 secs
lola: 45397 markings, 71200 edges, 371 markings/sec, 120 secs
lola: 47172 markings, 73454 edges, 355 markings/sec, 125 secs
lola: 49051 markings, 75922 edges, 376 markings/sec, 130 secs
lola: 50777 markings, 78187 edges, 345 markings/sec, 135 secs
lola: 52679 markings, 80674 edges, 380 markings/sec, 140 secs
lola: 54460 markings, 82862 edges, 356 markings/sec, 145 secs
lola: 56321 markings, 85254 edges, 372 markings/sec, 150 secs
lola: 58146 markings, 87543 edges, 365 markings/sec, 155 secs
lola: 59967 markings, 89833 edges, 364 markings/sec, 160 secs
lola: 61833 markings, 92226 edges, 373 markings/sec, 165 secs
lola: 63543 markings, 94535 edges, 342 markings/sec, 170 secs
lola: 65450 markings, 97057 edges, 381 markings/sec, 175 secs
lola: 67230 markings, 99234 edges, 356 markings/sec, 180 secs
lola: 69096 markings, 101631 edges, 373 markings/sec, 185 secs
lola: 70923 markings, 103926 edges, 365 markings/sec, 190 secs
lola: 72737 markings, 106194 edges, 363 markings/sec, 195 secs
lola: 74599 markings, 108658 edges, 372 markings/sec, 200 secs
lola: 76331 markings, 110949 edges, 346 markings/sec, 205 secs
lola: 78219 markings, 113396 edges, 378 markings/sec, 210 secs
lola: 80027 markings, 115641 edges, 362 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 3126 markings, 11302 edges, 625 markings/sec, 0 secs
lola: 5021 markings, 15029 edges, 379 markings/sec, 5 secs
lola: 7967 markings, 24265 edges, 589 markings/sec, 10 secs
lola: 9989 markings, 26521 edges, 404 markings/sec, 15 secs
lola: 11659 markings, 28818 edges, 334 markings/sec, 20 secs
lola: 13772 markings, 31119 edges, 423 markings/sec, 25 secs
lola: 15427 markings, 33353 edges, 331 markings/sec, 30 secs
lola: 16914 markings, 35219 edges, 297 markings/sec, 35 secs
lola: 18361 markings, 37240 edges, 289 markings/sec, 40 secs
lola: 19822 markings, 39244 edges, 292 markings/sec, 45 secs
lola: 21270 markings, 41312 edges, 290 markings/sec, 50 secs
lola: 22716 markings, 43348 edges, 289 markings/sec, 55 secs
lola: 24200 markings, 45225 edges, 297 markings/sec, 60 secs
lola: 25651 markings, 47231 edges, 290 markings/sec, 65 secs
lola: 27113 markings, 49224 edges, 292 markings/sec, 70 secs
lola: 28559 markings, 51302 edges, 289 markings/sec, 75 secs
lola: 29995 markings, 53393 edges, 287 markings/sec, 80 secs
lola: 31477 markings, 55284 edges, 296 markings/sec, 85 secs
lola: 32938 markings, 57219 edges, 292 markings/sec, 90 secs
lola: 34406 markings, 59188 edges, 294 markings/sec, 95 secs
lola: 35847 markings, 61292 edges, 288 markings/sec, 100 secs
lola: 37292 markings, 63355 edges, 289 markings/sec, 105 secs
lola: 38756 markings, 65367 edges, 293 markings/sec, 110 secs
lola: 40230 markings, 67229 edges, 295 markings/sec, 115 secs
lola: 41709 markings, 69145 edges, 296 markings/sec, 120 secs
lola: 43144 markings, 71287 edges, 287 markings/sec, 125 secs
lola: 44601 markings, 73309 edges, 291 markings/sec, 130 secs
lola: 46054 markings, 75366 edges, 291 markings/sec, 135 secs
lola: 47499 markings, 77421 edges, 289 markings/sec, 140 secs
lola: 48979 markings, 79343 edges, 296 markings/sec, 145 secs
lola: 50441 markings, 81283 edges, 292 markings/sec, 150 secs
lola: 51912 markings, 83248 edges, 294 markings/sec, 155 secs
lola: 53349 markings, 85358 edges, 287 markings/sec, 160 secs
lola: 54804 markings, 87394 edges, 291 markings/sec, 165 secs
lola: 56262 markings, 89434 edges, 292 markings/sec, 170 secs
lola: 57712 markings, 91449 edges, 290 markings/sec, 175 secs
lola: 59188 markings, 93398 edges, 295 markings/sec, 180 secs
lola: 60646 markings, 95353 edges, 292 markings/sec, 185 secs
lola: 62074 markings, 97262 edges, 286 markings/sec, 190 secs
lola: 63535 markings, 99398 edges, 292 markings/sec, 195 secs
lola: 65011 markings, 101447 edges, 295 markings/sec, 200 secs
lola: 66485 markings, 103526 edges, 295 markings/sec, 205 secs
lola: 67948 markings, 105623 edges, 293 markings/sec, 210 secs
lola: 69436 markings, 107647 edges, 298 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1829 markings, 6586 edges, 366 markings/sec, 0 secs
lola: 3489 markings, 11690 edges, 332 markings/sec, 5 secs
lola: 4997 markings, 14938 edges, 302 markings/sec, 10 secs
lola: 6821 markings, 21598 edges, 365 markings/sec, 15 secs
lola: 9020 markings, 25365 edges, 440 markings/sec, 20 secs
lola: 10606 markings, 27266 edges, 317 markings/sec, 25 secs
lola: 12430 markings, 29624 edges, 365 markings/sec, 30 secs
lola: 14251 markings, 31698 edges, 364 markings/sec, 35 secs
lola: 15700 markings, 33769 edges, 290 markings/sec, 40 secs
lola: 16981 markings, 35356 edges, 256 markings/sec, 45 secs
lola: 18292 markings, 37152 edges, 262 markings/sec, 50 secs
lola: 19577 markings, 39051 edges, 257 markings/sec, 55 secs
lola: 20889 markings, 40836 edges, 262 markings/sec, 60 secs
lola: 22200 markings, 42477 edges, 262 markings/sec, 65 secs
lola: 23514 markings, 44407 edges, 263 markings/sec, 70 secs
lola: 24826 markings, 46198 edges, 262 markings/sec, 75 secs
lola: 26137 markings, 47935 edges, 262 markings/sec, 80 secs
lola: 27451 markings, 49762 edges, 263 markings/sec, 85 secs
lola: 28762 markings, 51556 edges, 262 markings/sec, 90 secs
lola: 30076 markings, 53489 edges, 263 markings/sec, 95 secs
lola: 31387 markings, 55118 edges, 262 markings/sec, 100 secs
lola: 32685 markings, 56901 edges, 260 markings/sec, 105 secs
lola: 33998 markings, 58828 edges, 263 markings/sec, 110 secs
lola: 35289 markings, 60594 edges, 258 markings/sec, 115 secs
lola: 36599 markings, 62229 edges, 262 markings/sec, 120 secs
lola: 37912 markings, 64157 edges, 263 markings/sec, 125 secs
lola: 39223 markings, 65949 edges, 262 markings/sec, 130 secs
lola: 40534 markings, 67837 edges, 262 markings/sec, 135 secs
lola: 41821 markings, 69473 edges, 257 markings/sec, 140 secs
lola: 43131 markings, 71273 edges, 262 markings/sec, 145 secs
lola: 44444 markings, 73199 edges, 263 markings/sec, 150 secs
lola: 45754 markings, 74991 edges, 262 markings/sec, 155 secs
lola: 47059 markings, 76621 edges, 261 markings/sec, 160 secs
lola: 48373 markings, 78543 edges, 263 markings/sec, 165 secs
lola: 49678 markings, 80330 edges, 261 markings/sec, 170 secs
lola: 50965 markings, 82200 edges, 257 markings/sec, 175 secs
lola: 52276 markings, 83852 edges, 262 markings/sec, 180 secs
lola: 53586 markings, 85655 edges, 262 markings/sec, 185 secs
lola: 54899 markings, 87578 edges, 263 markings/sec, 190 secs
lola: 56184 markings, 89336 edges, 257 markings/sec, 195 secs
lola: 57494 markings, 91016 edges, 262 markings/sec, 200 secs
lola: 58807 markings, 92894 edges, 263 markings/sec, 205 secs
lola: 60116 markings, 94691 edges, 262 markings/sec, 210 secs
lola: 61429 markings, 96613 edges, 263 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1806 markings, 6507 edges, 361 markings/sec, 0 secs
lola: 3512 markings, 11714 edges, 341 markings/sec, 5 secs
lola: 5162 markings, 15530 edges, 330 markings/sec, 10 secs
lola: 6961 markings, 22124 edges, 360 markings/sec, 15 secs
lola: 9173 markings, 25535 edges, 442 markings/sec, 20 secs
lola: 10904 markings, 27626 edges, 346 markings/sec, 25 secs
lola: 12896 markings, 30112 edges, 398 markings/sec, 30 secs
lola: 14712 markings, 32254 edges, 363 markings/sec, 35 secs
lola: 16212 markings, 34288 edges, 300 markings/sec, 40 secs
lola: 17636 markings, 36335 edges, 285 markings/sec, 45 secs
lola: 19055 markings, 38319 edges, 284 markings/sec, 50 secs
lola: 20522 markings, 40144 edges, 293 markings/sec, 55 secs
lola: 21940 markings, 42152 edges, 284 markings/sec, 60 secs
lola: 23368 markings, 44133 edges, 286 markings/sec, 65 secs
lola: 24795 markings, 46162 edges, 285 markings/sec, 70 secs
lola: 26222 markings, 48105 edges, 285 markings/sec, 75 secs
lola: 27685 markings, 49938 edges, 293 markings/sec, 80 secs
lola: 29098 markings, 51976 edges, 283 markings/sec, 85 secs
lola: 30525 markings, 53961 edges, 285 markings/sec, 90 secs
lola: 31953 markings, 55984 edges, 286 markings/sec, 95 secs
lola: 33377 markings, 57935 edges, 285 markings/sec, 100 secs
lola: 34839 markings, 59782 edges, 292 markings/sec, 105 secs
lola: 36254 markings, 61799 edges, 283 markings/sec, 110 secs
lola: 37684 markings, 63773 edges, 286 markings/sec, 115 secs
lola: 39111 markings, 65812 edges, 285 markings/sec, 120 secs
lola: 40527 markings, 67822 edges, 283 markings/sec, 125 secs
lola: 41989 markings, 69690 edges, 292 markings/sec, 130 secs
lola: 43415 markings, 71628 edges, 285 markings/sec, 135 secs
lola: 44851 markings, 73576 edges, 287 markings/sec, 140 secs
lola: 46272 markings, 75639 edges, 284 markings/sec, 145 secs
lola: 47687 markings, 77671 edges, 283 markings/sec, 150 secs
lola: 49128 markings, 79645 edges, 288 markings/sec, 155 secs
lola: 50579 markings, 81456 edges, 290 markings/sec, 160 secs
lola: 52024 markings, 83367 edges, 289 markings/sec, 165 secs
lola: 53436 markings, 85465 edges, 282 markings/sec, 170 secs
lola: 54861 markings, 87454 edges, 285 markings/sec, 175 secs
lola: 56290 markings, 89472 edges, 286 markings/sec, 180 secs
lola: 57712 markings, 91449 edges, 284 markings/sec, 185 secs
lola: 59167 markings, 93356 edges, 291 markings/sec, 190 secs
lola: 60594 markings, 95287 edges, 285 markings/sec, 195 secs
lola: 62034 markings, 97219 edges, 288 markings/sec, 200 secs
lola: 63453 markings, 99296 edges, 284 markings/sec, 205 secs
lola: 64875 markings, 101302 edges, 284 markings/sec, 210 secs
lola: 66300 markings, 103293 edges, 285 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S10J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494699853575

--------------------
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="PolyORBNT-COL-S10J80"
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/PolyORBNT-COL-S10J80.tgz
mv PolyORBNT-COL-S10J80 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 PolyORBNT-COL-S10J80, 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 r058-smll-149440926100083"
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 ;