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-3253
Executing tool lola
Input is S_DLCshifumi-PT-5a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488456000497
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496470372776


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


checking for too many tokens
===========================================================================================
S_DLCshifumi-PT-5a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DLCshifumi-PT-5a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 17027/65536 symbol table entries, 5854 collisions
lola: preprocessing...
lola: finding significant places
lola: 2162 places, 14865 transitions, 784 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12838 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-5a-UpperBounds.task
lola: MAX(p1152) : MAX(p2153) : MAX(p63) : MAX(p609) : MAX(p1094) : MAX(p374) : MAX(p2024) : MAX(p544) : MAX(p1105) : MAX(p471) : MAX(p1790) : MAX(p2141) : MAX(p1169) : MAX(p260) : MAX(p437) : MAX(p573)
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(p1152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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(p2153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1524 markings, 13481 edges, 305 markings/sec, 0 secs
lola: 3029 markings, 29444 edges, 301 markings/sec, 5 secs
lola: 4511 markings, 46870 edges, 296 markings/sec, 10 secs
lola: 6015 markings, 64249 edges, 301 markings/sec, 15 secs
lola: 7518 markings, 81741 edges, 301 markings/sec, 20 secs
lola: 9019 markings, 98991 edges, 300 markings/sec, 25 secs
lola: 10513 markings, 116452 edges, 299 markings/sec, 30 secs
lola: 12018 markings, 134083 edges, 301 markings/sec, 35 secs
lola: 13502 markings, 151382 edges, 297 markings/sec, 40 secs
lola: 15032 markings, 170582 edges, 306 markings/sec, 45 secs
lola: 16608 markings, 187427 edges, 315 markings/sec, 50 secs
lola: 18171 markings, 206079 edges, 313 markings/sec, 55 secs
lola: 19732 markings, 223530 edges, 312 markings/sec, 60 secs
lola: 21312 markings, 243574 edges, 316 markings/sec, 65 secs
lola: 22873 markings, 263922 edges, 312 markings/sec, 70 secs
lola: 24413 markings, 283677 edges, 308 markings/sec, 75 secs
lola: 25960 markings, 306558 edges, 309 markings/sec, 80 secs
lola: 27508 markings, 325977 edges, 310 markings/sec, 85 secs
lola: 29062 markings, 341375 edges, 311 markings/sec, 90 secs
lola: 30619 markings, 357646 edges, 311 markings/sec, 95 secs
lola: 32162 markings, 375827 edges, 309 markings/sec, 100 secs
lola: 33741 markings, 393794 edges, 316 markings/sec, 105 secs
lola: 35290 markings, 413237 edges, 310 markings/sec, 110 secs
lola: 36832 markings, 434662 edges, 308 markings/sec, 115 secs
lola: 38379 markings, 450872 edges, 309 markings/sec, 120 secs
lola: 39969 markings, 465742 edges, 318 markings/sec, 125 secs
lola: 41517 markings, 483771 edges, 310 markings/sec, 130 secs
lola: 43076 markings, 498687 edges, 312 markings/sec, 135 secs
lola: 44643 markings, 518350 edges, 313 markings/sec, 140 secs
lola: 46202 markings, 535207 edges, 312 markings/sec, 145 secs
lola: 47745 markings, 551436 edges, 309 markings/sec, 150 secs
lola: 49307 markings, 567494 edges, 312 markings/sec, 155 secs
lola: 50877 markings, 583821 edges, 314 markings/sec, 160 secs
lola: 52430 markings, 601919 edges, 311 markings/sec, 165 secs
lola: 54014 markings, 620032 edges, 317 markings/sec, 170 secs
lola: 55598 markings, 640240 edges, 317 markings/sec, 175 secs
lola: 57161 markings, 661255 edges, 313 markings/sec, 180 secs
lola: 58725 markings, 677415 edges, 313 markings/sec, 185 secs
lola: 60320 markings, 693059 edges, 319 markings/sec, 190 secs
lola: 61889 markings, 708978 edges, 314 markings/sec, 195 secs
lola: 63481 markings, 727706 edges, 318 markings/sec, 200 secs
lola: 65036 markings, 748568 edges, 311 markings/sec, 205 secs
lola: 66568 markings, 765327 edges, 306 markings/sec, 210 secs
lola: 68149 markings, 782513 edges, 316 markings/sec, 215 secs
lola: 69715 markings, 799388 edges, 313 markings/sec, 220 secs
lola: 71274 markings, 817249 edges, 312 markings/sec, 225 secs
lola: 72849 markings, 835296 edges, 315 markings/sec, 230 secs
lola: 74424 markings, 851769 edges, 315 markings/sec, 235 secs
lola: 76019 markings, 869453 edges, 319 markings/sec, 240 secs
lola: 77582 markings, 885448 edges, 313 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p609)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1453 markings, 13276 edges, 291 markings/sec, 0 secs
lola: 2954 markings, 28515 edges, 300 markings/sec, 5 secs
lola: 4431 markings, 45715 edges, 295 markings/sec, 10 secs
lola: 5908 markings, 62669 edges, 295 markings/sec, 15 secs
lola: 7392 markings, 79896 edges, 297 markings/sec, 20 secs
lola: 8879 markings, 96885 edges, 297 markings/sec, 25 secs
lola: 10368 markings, 114134 edges, 298 markings/sec, 30 secs
lola: 11854 markings, 131124 edges, 297 markings/sec, 35 secs
lola: 13356 markings, 148419 edges, 300 markings/sec, 40 secs
lola: 14898 markings, 165147 edges, 308 markings/sec, 45 secs
lola: 16464 markings, 185485 edges, 313 markings/sec, 50 secs
lola: 18031 markings, 205178 edges, 313 markings/sec, 55 secs
lola: 19571 markings, 224616 edges, 308 markings/sec, 60 secs
lola: 21143 markings, 242831 edges, 314 markings/sec, 65 secs
lola: 22702 markings, 259419 edges, 312 markings/sec, 70 secs
lola: 24265 markings, 279473 edges, 313 markings/sec, 75 secs
lola: 25860 markings, 296920 edges, 319 markings/sec, 80 secs
lola: 27452 markings, 318933 edges, 318 markings/sec, 85 secs
lola: 29021 markings, 338907 edges, 314 markings/sec, 90 secs
lola: 30603 markings, 360659 edges, 316 markings/sec, 95 secs
lola: 32188 markings, 383253 edges, 317 markings/sec, 100 secs
lola: 33762 markings, 405021 edges, 315 markings/sec, 105 secs
lola: 35294 markings, 435573 edges, 306 markings/sec, 110 secs
lola: 36823 markings, 459090 edges, 306 markings/sec, 115 secs
lola: 38396 markings, 476073 edges, 315 markings/sec, 120 secs
lola: 39951 markings, 495049 edges, 311 markings/sec, 125 secs
lola: 41535 markings, 513599 edges, 317 markings/sec, 130 secs
lola: 43113 markings, 530144 edges, 316 markings/sec, 135 secs
lola: 44696 markings, 548807 edges, 317 markings/sec, 140 secs
lola: 46253 markings, 564856 edges, 311 markings/sec, 145 secs
lola: 47827 markings, 583119 edges, 315 markings/sec, 150 secs
lola: 49422 markings, 601312 edges, 319 markings/sec, 155 secs
lola: 50969 markings, 623665 edges, 309 markings/sec, 160 secs
lola: 52553 markings, 641178 edges, 317 markings/sec, 165 secs
lola: 54101 markings, 659933 edges, 310 markings/sec, 170 secs
lola: 55666 markings, 679937 edges, 313 markings/sec, 175 secs
lola: 57259 markings, 695097 edges, 319 markings/sec, 180 secs
lola: 58838 markings, 717526 edges, 316 markings/sec, 185 secs
lola: 60419 markings, 736906 edges, 316 markings/sec, 190 secs
lola: 61997 markings, 759996 edges, 316 markings/sec, 195 secs
lola: 63598 markings, 777285 edges, 320 markings/sec, 200 secs
lola: 65171 markings, 802499 edges, 315 markings/sec, 205 secs
lola: 66717 markings, 830339 edges, 309 markings/sec, 210 secs
lola: 68268 markings, 856750 edges, 310 markings/sec, 215 secs
lola: 69840 markings, 874848 edges, 314 markings/sec, 220 secs
lola: 71398 markings, 893775 edges, 312 markings/sec, 225 secs
lola: 72974 markings, 913936 edges, 315 markings/sec, 230 secs
lola: 74556 markings, 930779 edges, 316 markings/sec, 235 secs
lola: 76142 markings, 948582 edges, 317 markings/sec, 240 secs
lola: 77711 markings, 964582 edges, 314 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1094)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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 5 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p374)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1344 markings, 10476 edges, 269 markings/sec, 0 secs
lola: 2681 markings, 23745 edges, 267 markings/sec, 5 secs
lola: 4014 markings, 37758 edges, 267 markings/sec, 10 secs
lola: 5357 markings, 51434 edges, 269 markings/sec, 15 secs
lola: 6704 markings, 65114 edges, 269 markings/sec, 20 secs
lola: 8053 markings, 78812 edges, 270 markings/sec, 25 secs
lola: 9402 markings, 92994 edges, 270 markings/sec, 30 secs
lola: 10752 markings, 106925 edges, 270 markings/sec, 35 secs
lola: 12105 markings, 120998 edges, 271 markings/sec, 40 secs
lola: 13461 markings, 134681 edges, 271 markings/sec, 45 secs
lola: 14817 markings, 149010 edges, 271 markings/sec, 50 secs
lola: 16177 markings, 163121 edges, 272 markings/sec, 55 secs
lola: 17534 markings, 177084 edges, 271 markings/sec, 60 secs
lola: 18895 markings, 190926 edges, 272 markings/sec, 65 secs
lola: 20257 markings, 204779 edges, 272 markings/sec, 70 secs
lola: 21620 markings, 218877 edges, 273 markings/sec, 75 secs
lola: 22982 markings, 233237 edges, 272 markings/sec, 80 secs
lola: 24349 markings, 247208 edges, 273 markings/sec, 85 secs
lola: 25720 markings, 261451 edges, 274 markings/sec, 90 secs
lola: 27094 markings, 275729 edges, 275 markings/sec, 95 secs
lola: 28472 markings, 289752 edges, 276 markings/sec, 100 secs
lola: 29848 markings, 304451 edges, 275 markings/sec, 105 secs
lola: 31233 markings, 318599 edges, 277 markings/sec, 110 secs
lola: 32630 markings, 336129 edges, 279 markings/sec, 115 secs
lola: 34022 markings, 350819 edges, 278 markings/sec, 120 secs
lola: 35416 markings, 365255 edges, 279 markings/sec, 125 secs
lola: 36822 markings, 384902 edges, 281 markings/sec, 130 secs
lola: 38200 markings, 408136 edges, 276 markings/sec, 135 secs
lola: 39600 markings, 425063 edges, 280 markings/sec, 140 secs
lola: 40988 markings, 440132 edges, 278 markings/sec, 145 secs
lola: 42380 markings, 455555 edges, 278 markings/sec, 150 secs
lola: 43784 markings, 471591 edges, 281 markings/sec, 155 secs
lola: 45180 markings, 490471 edges, 279 markings/sec, 160 secs
lola: 46564 markings, 506037 edges, 277 markings/sec, 165 secs
lola: 47948 markings, 520439 edges, 277 markings/sec, 170 secs
lola: 49349 markings, 538583 edges, 280 markings/sec, 175 secs
lola: 50722 markings, 559688 edges, 275 markings/sec, 180 secs
lola: 52105 markings, 574477 edges, 277 markings/sec, 185 secs
lola: 53465 markings, 590550 edges, 272 markings/sec, 190 secs
lola: 54832 markings, 606774 edges, 273 markings/sec, 195 secs
lola: 56210 markings, 621049 edges, 276 markings/sec, 200 secs
lola: 57610 markings, 636159 edges, 280 markings/sec, 205 secs
lola: 58977 markings, 660146 edges, 273 markings/sec, 210 secs
lola: 60353 markings, 676679 edges, 275 markings/sec, 215 secs
lola: 61729 markings, 694352 edges, 275 markings/sec, 220 secs
lola: 63118 markings, 709591 edges, 278 markings/sec, 225 secs
lola: 64505 markings, 727491 edges, 277 markings/sec, 230 secs
lola: 65889 markings, 748302 edges, 277 markings/sec, 235 secs
lola: 67285 markings, 763268 edges, 279 markings/sec, 240 secs
lola: 68688 markings, 777547 edges, 281 markings/sec, 245 secs
lola: 70066 markings, 794446 edges, 276 markings/sec, 250 secs
lola: 71442 markings, 811812 edges, 275 markings/sec, 255 secs
lola: 72809 markings, 828029 edges, 273 markings/sec, 260 secs
lola: 74214 markings, 845651 edges, 281 markings/sec, 265 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2024)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1998 markings, 15687 edges, 400 markings/sec, 0 secs
lola: 4021 markings, 35728 edges, 405 markings/sec, 5 secs
lola: 6000 markings, 55440 edges, 396 markings/sec, 10 secs
lola: 8008 markings, 75277 edges, 402 markings/sec, 15 secs
lola: 10021 markings, 94766 edges, 403 markings/sec, 20 secs
lola: 12035 markings, 115285 edges, 403 markings/sec, 25 secs
lola: 14061 markings, 134941 edges, 405 markings/sec, 30 secs
lola: 16100 markings, 155187 edges, 408 markings/sec, 35 secs
lola: 18159 markings, 175758 edges, 412 markings/sec, 40 secs
lola: 20181 markings, 198795 edges, 404 markings/sec, 45 secs
lola: 22258 markings, 218358 edges, 415 markings/sec, 50 secs
lola: 24328 markings, 239503 edges, 414 markings/sec, 55 secs
lola: 26429 markings, 261477 edges, 420 markings/sec, 60 secs
lola: 28545 markings, 282824 edges, 423 markings/sec, 65 secs
lola: 30615 markings, 303666 edges, 414 markings/sec, 70 secs
lola: 32683 markings, 328302 edges, 414 markings/sec, 75 secs
lola: 34799 markings, 351685 edges, 423 markings/sec, 80 secs
lola: 36896 markings, 375105 edges, 419 markings/sec, 85 secs
lola: 38987 markings, 401671 edges, 418 markings/sec, 90 secs
lola: 41060 markings, 426207 edges, 415 markings/sec, 95 secs
lola: 43144 markings, 445942 edges, 417 markings/sec, 100 secs
lola: 45233 markings, 465155 edges, 418 markings/sec, 105 secs
lola: 47268 markings, 491800 edges, 407 markings/sec, 110 secs
lola: 49365 markings, 511542 edges, 419 markings/sec, 115 secs
lola: 51428 markings, 534083 edges, 413 markings/sec, 120 secs
lola: 53498 markings, 557324 edges, 414 markings/sec, 125 secs
lola: 55562 markings, 577496 edges, 413 markings/sec, 130 secs
lola: 57628 markings, 600224 edges, 413 markings/sec, 135 secs
lola: 59754 markings, 619960 edges, 425 markings/sec, 140 secs
lola: 61867 markings, 647559 edges, 423 markings/sec, 145 secs
lola: 63974 markings, 672999 edges, 421 markings/sec, 150 secs
lola: 66065 markings, 699921 edges, 418 markings/sec, 155 secs
lola: 68178 markings, 722180 edges, 423 markings/sec, 160 secs
lola: 70278 markings, 748814 edges, 420 markings/sec, 165 secs
lola: 72347 markings, 769917 edges, 414 markings/sec, 170 secs
lola: 74393 markings, 796565 edges, 409 markings/sec, 175 secs
lola: 76460 markings, 818267 edges, 413 markings/sec, 180 secs
lola: 78527 markings, 839020 edges, 413 markings/sec, 185 secs
lola: 80613 markings, 863671 edges, 417 markings/sec, 190 secs
lola: 82686 markings, 891187 edges, 415 markings/sec, 195 secs
lola: 84686 markings, 922356 edges, 400 markings/sec, 200 secs
lola: 86739 markings, 952667 edges, 411 markings/sec, 205 secs
lola: 88835 markings, 977754 edges, 419 markings/sec, 210 secs
lola: 90900 markings, 1000553 edges, 413 markings/sec, 215 secs
lola: 92937 markings, 1036436 edges, 407 markings/sec, 220 secs
lola: 95011 markings, 1062472 edges, 415 markings/sec, 225 secs
lola: 97087 markings, 1089389 edges, 415 markings/sec, 230 secs
lola: 99157 markings, 1112694 edges, 414 markings/sec, 235 secs
lola: 101310 markings, 1134186 edges, 431 markings/sec, 240 secs
lola: 103409 markings, 1156393 edges, 420 markings/sec, 245 secs
lola: 105540 markings, 1182929 edges, 426 markings/sec, 250 secs
lola: 107656 markings, 1203599 edges, 423 markings/sec, 255 secs
lola: 109753 markings, 1230848 edges, 419 markings/sec, 260 secs
lola: 111852 markings, 1255991 edges, 420 markings/sec, 265 secs
lola: 114000 markings, 1278700 edges, 430 markings/sec, 270 secs
lola: 116114 markings, 1302162 edges, 423 markings/sec, 275 secs
lola: 118181 markings, 1330064 edges, 413 markings/sec, 280 secs
lola: 120295 markings, 1352773 edges, 423 markings/sec, 285 secs
lola: 122432 markings, 1372358 edges, 427 markings/sec, 290 secs
lola: 124545 markings, 1395716 edges, 423 markings/sec, 295 secs
lola: 126651 markings, 1421340 edges, 421 markings/sec, 300 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 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1341 markings, 10222 edges, 268 markings/sec, 0 secs
lola: 2681 markings, 23668 edges, 268 markings/sec, 5 secs
lola: 4021 markings, 37353 edges, 268 markings/sec, 10 secs
lola: 5366 markings, 51312 edges, 269 markings/sec, 15 secs
lola: 6716 markings, 64899 edges, 270 markings/sec, 20 secs
lola: 8068 markings, 78738 edges, 270 markings/sec, 25 secs
lola: 9421 markings, 92982 edges, 271 markings/sec, 30 secs
lola: 10798 markings, 106778 edges, 275 markings/sec, 35 secs
lola: 12185 markings, 121038 edges, 277 markings/sec, 40 secs
lola: 13602 markings, 135394 edges, 283 markings/sec, 45 secs
lola: 14980 markings, 153895 edges, 276 markings/sec, 50 secs
lola: 16378 markings, 170098 edges, 280 markings/sec, 55 secs
lola: 17754 markings, 188103 edges, 275 markings/sec, 60 secs
lola: 19137 markings, 204626 edges, 277 markings/sec, 65 secs
lola: 20543 markings, 217842 edges, 281 markings/sec, 70 secs
lola: 21957 markings, 232954 edges, 283 markings/sec, 75 secs
lola: 23352 markings, 251288 edges, 279 markings/sec, 80 secs
lola: 24752 markings, 266659 edges, 280 markings/sec, 85 secs
lola: 26142 markings, 285021 edges, 278 markings/sec, 90 secs
lola: 27528 markings, 302772 edges, 277 markings/sec, 95 secs
lola: 28920 markings, 317847 edges, 278 markings/sec, 100 secs
lola: 30306 markings, 332384 edges, 277 markings/sec, 105 secs
lola: 31710 markings, 348452 edges, 281 markings/sec, 110 secs
lola: 33100 markings, 365714 edges, 278 markings/sec, 115 secs
lola: 34486 markings, 381872 edges, 277 markings/sec, 120 secs
lola: 35868 markings, 403927 edges, 276 markings/sec, 125 secs
lola: 37266 markings, 421256 edges, 280 markings/sec, 130 secs
lola: 38658 markings, 441767 edges, 278 markings/sec, 135 secs
lola: 40045 markings, 462836 edges, 277 markings/sec, 140 secs
lola: 41448 markings, 477321 edges, 281 markings/sec, 145 secs
lola: 42830 markings, 493398 edges, 276 markings/sec, 150 secs
lola: 44229 markings, 509169 edges, 280 markings/sec, 155 secs
lola: 45637 markings, 527128 edges, 282 markings/sec, 160 secs
lola: 47028 markings, 541899 edges, 278 markings/sec, 165 secs
lola: 48402 markings, 559281 edges, 275 markings/sec, 170 secs
lola: 49794 markings, 575073 edges, 278 markings/sec, 175 secs
lola: 51201 markings, 590689 edges, 281 markings/sec, 180 secs
lola: 52582 markings, 611923 edges, 276 markings/sec, 185 secs
lola: 53977 markings, 627360 edges, 279 markings/sec, 190 secs
lola: 55378 markings, 640497 edges, 280 markings/sec, 195 secs
lola: 56768 markings, 654617 edges, 278 markings/sec, 200 secs
lola: 58160 markings, 671080 edges, 278 markings/sec, 205 secs
lola: 59558 markings, 687839 edges, 280 markings/sec, 210 secs
lola: 60953 markings, 703884 edges, 279 markings/sec, 215 secs
lola: 62329 markings, 720995 edges, 275 markings/sec, 220 secs
lola: 63694 markings, 736596 edges, 273 markings/sec, 225 secs
lola: 65073 markings, 751327 edges, 276 markings/sec, 230 secs
lola: 66473 markings, 768330 edges, 280 markings/sec, 235 secs
lola: 67873 markings, 785360 edges, 280 markings/sec, 240 secs
lola: 69244 markings, 800170 edges, 274 markings/sec, 245 secs
lola: 70616 markings, 818565 edges, 274 markings/sec, 250 secs
lola: 71996 markings, 833548 edges, 276 markings/sec, 255 secs
lola: 73372 markings, 849430 edges, 275 markings/sec, 260 secs
lola: 74750 markings, 863884 edges, 276 markings/sec, 265 secs
lola: 76148 markings, 878949 edges, 280 markings/sec, 270 secs
lola: 77536 markings, 896077 edges, 278 markings/sec, 275 secs
lola: 78912 markings, 912674 edges, 275 markings/sec, 280 secs
lola: 80289 markings, 931190 edges, 275 markings/sec, 285 secs
lola: 81669 markings, 945941 edges, 276 markings/sec, 290 secs
lola: 83045 markings, 962760 edges, 275 markings/sec, 295 secs
lola: 84424 markings, 977188 edges, 276 markings/sec, 300 secs
lola: 85796 markings, 993582 edges, 274 markings/sec, 305 secs
lola: 87200 markings, 1010550 edges, 281 markings/sec, 310 secs
lola: 88581 markings, 1024965 edges, 276 markings/sec, 315 secs
lola: 89948 markings, 1048671 edges, 273 markings/sec, 320 secs
lola: 91346 markings, 1066276 edges, 280 markings/sec, 325 secs
lola: 92757 markings, 1084991 edges, 282 markings/sec, 330 secs
lola: 94136 markings, 1106829 edges, 276 markings/sec, 335 secs
lola: 95538 markings, 1122401 edges, 280 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1790)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 420 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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 12 will run for 525 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 701 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1345 markings, 10486 edges, 269 markings/sec, 0 secs
lola: 2660 markings, 23303 edges, 263 markings/sec, 5 secs
lola: 3996 markings, 37448 edges, 267 markings/sec, 10 secs
lola: 5334 markings, 51112 edges, 268 markings/sec, 15 secs
lola: 6681 markings, 64662 edges, 269 markings/sec, 20 secs
lola: 8036 markings, 78752 edges, 271 markings/sec, 25 secs
lola: 9390 markings, 92827 edges, 271 markings/sec, 30 secs
lola: 10748 markings, 106787 edges, 272 markings/sec, 35 secs
lola: 12104 markings, 120988 edges, 271 markings/sec, 40 secs
lola: 13464 markings, 134685 edges, 272 markings/sec, 45 secs
lola: 14824 markings, 149153 edges, 272 markings/sec, 50 secs
lola: 16189 markings, 163155 edges, 273 markings/sec, 55 secs
lola: 17556 markings, 177142 edges, 273 markings/sec, 60 secs
lola: 18924 markings, 191271 edges, 274 markings/sec, 65 secs
lola: 20293 markings, 205274 edges, 274 markings/sec, 70 secs
lola: 21660 markings, 219616 edges, 273 markings/sec, 75 secs
lola: 23029 markings, 233880 edges, 274 markings/sec, 80 secs
lola: 24404 markings, 247475 edges, 275 markings/sec, 85 secs
lola: 25780 markings, 262010 edges, 275 markings/sec, 90 secs
lola: 27160 markings, 276309 edges, 276 markings/sec, 95 secs
lola: 28545 markings, 290615 edges, 277 markings/sec, 100 secs
lola: 29928 markings, 305353 edges, 277 markings/sec, 105 secs
lola: 31318 markings, 320248 edges, 278 markings/sec, 110 secs
lola: 32720 markings, 337273 edges, 280 markings/sec, 115 secs
lola: 34121 markings, 351752 edges, 280 markings/sec, 120 secs
lola: 35518 markings, 366336 edges, 279 markings/sec, 125 secs
lola: 36914 markings, 386614 edges, 279 markings/sec, 130 secs
lola: 38282 markings, 409146 edges, 274 markings/sec, 135 secs
lola: 39673 markings, 425912 edges, 278 markings/sec, 140 secs
lola: 41054 markings, 440592 edges, 276 markings/sec, 145 secs
lola: 42438 markings, 456752 edges, 277 markings/sec, 150 secs
lola: 43840 markings, 472771 edges, 280 markings/sec, 155 secs
lola: 45232 markings, 491773 edges, 278 markings/sec, 160 secs
lola: 46625 markings, 506354 edges, 279 markings/sec, 165 secs
lola: 48020 markings, 521308 edges, 279 markings/sec, 170 secs
lola: 49440 markings, 539744 edges, 284 markings/sec, 175 secs
lola: 50837 markings, 560674 edges, 279 markings/sec, 180 secs
lola: 52190 markings, 575111 edges, 271 markings/sec, 185 secs
lola: 53518 markings, 591215 edges, 266 markings/sec, 190 secs
lola: 54860 markings, 607279 edges, 268 markings/sec, 195 secs
lola: 56209 markings, 621048 edges, 270 markings/sec, 200 secs
lola: 57568 markings, 635150 edges, 272 markings/sec, 205 secs
lola: 58929 markings, 658992 edges, 272 markings/sec, 210 secs
lola: 60317 markings, 676560 edges, 278 markings/sec, 215 secs
lola: 61704 markings, 694020 edges, 277 markings/sec, 220 secs
lola: 63098 markings, 709532 edges, 279 markings/sec, 225 secs
lola: 64496 markings, 727458 edges, 280 markings/sec, 230 secs
lola: 65888 markings, 748162 edges, 278 markings/sec, 235 secs
lola: 67293 markings, 763298 edges, 281 markings/sec, 240 secs
lola: 68698 markings, 777581 edges, 281 markings/sec, 245 secs
lola: 70057 markings, 794422 edges, 272 markings/sec, 250 secs
lola: 71410 markings, 811711 edges, 271 markings/sec, 255 secs
lola: 72760 markings, 827629 edges, 270 markings/sec, 260 secs
lola: 74144 markings, 844184 edges, 277 markings/sec, 265 secs
lola: 75506 markings, 864793 edges, 272 markings/sec, 270 secs
lola: 76869 markings, 887651 edges, 273 markings/sec, 275 secs
lola: 78245 markings, 904074 edges, 275 markings/sec, 280 secs
lola: 79605 markings, 919512 edges, 272 markings/sec, 285 secs
lola: 80964 markings, 937787 edges, 272 markings/sec, 290 secs
lola: 82321 markings, 951837 edges, 271 markings/sec, 295 secs
lola: 83680 markings, 966358 edges, 272 markings/sec, 300 secs
lola: 85080 markings, 980675 edges, 280 markings/sec, 305 secs
lola: 86445 markings, 997456 edges, 273 markings/sec, 310 secs
lola: 87801 markings, 1010501 edges, 271 markings/sec, 315 secs
lola: 89162 markings, 1025227 edges, 272 markings/sec, 320 secs
lola: 90530 markings, 1039395 edges, 274 markings/sec, 325 secs
lola: 91872 markings, 1056982 edges, 268 markings/sec, 330 secs
lola: 93234 markings, 1070267 edges, 272 markings/sec, 335 secs
lola: 94629 markings, 1086013 edges, 279 markings/sec, 340 secs
lola: 95990 markings, 1109459 edges, 272 markings/sec, 345 secs
lola: 97350 markings, 1126944 edges, 272 markings/sec, 350 secs
lola: 98693 markings, 1142313 edges, 269 markings/sec, 355 secs
lola: 100077 markings, 1156068 edges, 277 markings/sec, 360 secs
lola: 101429 markings, 1172890 edges, 270 markings/sec, 365 secs
lola: 102792 markings, 1187435 edges, 273 markings/sec, 370 secs
lola: 104162 markings, 1203327 edges, 274 markings/sec, 375 secs
lola: 105517 markings, 1226283 edges, 271 markings/sec, 380 secs
lola: 106861 markings, 1245275 edges, 269 markings/sec, 385 secs
lola: 108248 markings, 1260256 edges, 277 markings/sec, 390 secs
lola: 109624 markings, 1275354 edges, 275 markings/sec, 395 secs
lola: 111008 markings, 1290462 edges, 277 markings/sec, 400 secs
lola: 112389 markings, 1307246 edges, 276 markings/sec, 405 secs
lola: 113762 markings, 1325595 edges, 275 markings/sec, 410 secs
lola: 115150 markings, 1340583 edges, 278 markings/sec, 415 secs
lola: 116548 markings, 1353617 edges, 280 markings/sec, 420 secs
lola: 117946 markings, 1374315 edges, 280 markings/sec, 425 secs
lola: 119334 markings, 1393535 edges, 278 markings/sec, 430 secs
lola: 120714 markings, 1409031 edges, 276 markings/sec, 435 secs
lola: 122077 markings, 1426781 edges, 273 markings/sec, 440 secs
lola: 123473 markings, 1441136 edges, 279 markings/sec, 445 secs
lola: 124873 markings, 1455186 edges, 280 markings/sec, 450 secs
lola: 126285 markings, 1475893 edges, 282 markings/sec, 455 secs
lola: 127660 markings, 1495274 edges, 275 markings/sec, 460 secs
lola: 129060 markings, 1512201 edges, 280 markings/sec, 465 secs
lola: 130442 markings, 1527256 edges, 276 markings/sec, 470 secs
lola: 131828 markings, 1542658 edges, 277 markings/sec, 475 secs
lola: 133200 markings, 1557718 edges, 274 markings/sec, 480 secs
lola: 134510 markings, 1575325 edges, 262 markings/sec, 485 secs
lola: 135782 markings, 1590926 edges, 254 markings/sec, 490 secs
lola: 137040 markings, 1604439 edges, 252 markings/sec, 495 secs
lola: 138317 markings, 1617105 edges, 255 markings/sec, 500 secs
lola: 139557 markings, 1637442 edges, 248 markings/sec, 505 secs
lola: 140793 markings, 1653142 edges, 247 markings/sec, 510 secs
lola: 142022 markings, 1667026 edges, 246 markings/sec, 515 secs
lola: 143248 markings, 1683263 edges, 245 markings/sec, 520 secs
lola: 144485 markings, 1695761 edges, 247 markings/sec, 525 secs
lola: 145713 markings, 1709061 edges, 246 markings/sec, 530 secs
lola: 147000 markings, 1721851 edges, 257 markings/sec, 535 secs
lola: 148400 markings, 1742998 edges, 280 markings/sec, 540 secs
lola: 149764 markings, 1757334 edges, 273 markings/sec, 545 secs
lola: 151153 markings, 1774709 edges, 278 markings/sec, 550 secs
lola: 152562 markings, 1789562 edges, 282 markings/sec, 555 secs
lola: 153937 markings, 1806987 edges, 275 markings/sec, 560 secs
lola: 155341 markings, 1821673 edges, 281 markings/sec, 565 secs
lola: 156741 markings, 1838122 edges, 280 markings/sec, 570 secs
lola: 158140 markings, 1861178 edges, 280 markings/sec, 575 secs
lola: 159541 markings, 1876651 edges, 280 markings/sec, 580 secs
lola: 160950 markings, 1892417 edges, 282 markings/sec, 585 secs
lola: 162378 markings, 1906267 edges, 286 markings/sec, 590 secs
lola: 163786 markings, 1926193 edges, 282 markings/sec, 595 secs
lola: 165169 markings, 1946743 edges, 277 markings/sec, 600 secs
lola: 166565 markings, 1968466 edges, 279 markings/sec, 605 secs
lola: 167990 markings, 1988476 edges, 285 markings/sec, 610 secs
lola: 169397 markings, 2006442 edges, 281 markings/sec, 615 secs
lola: 170806 markings, 2026469 edges, 282 markings/sec, 620 secs
lola: 172226 markings, 2041485 edges, 284 markings/sec, 625 secs
lola: 173648 markings, 2061481 edges, 284 markings/sec, 630 secs
lola: 175081 markings, 2076786 edges, 287 markings/sec, 635 secs
lola: 176461 markings, 2090287 edges, 276 markings/sec, 640 secs
lola: 177837 markings, 2105097 edges, 275 markings/sec, 645 secs
lola: 179210 markings, 2119968 edges, 275 markings/sec, 650 secs
lola: 180618 markings, 2133910 edges, 282 markings/sec, 655 secs
lola: 181980 markings, 2155860 edges, 272 markings/sec, 660 secs
lola: 183338 markings, 2175028 edges, 272 markings/sec, 665 secs
lola: 184713 markings, 2189981 edges, 275 markings/sec, 670 secs
lola: 186034 markings, 2204647 edges, 264 markings/sec, 675 secs
lola: 187356 markings, 2218556 edges, 264 markings/sec, 680 secs
lola: 188762 markings, 2235285 edges, 281 markings/sec, 685 secs
lola: 190146 markings, 2254689 edges, 277 markings/sec, 690 secs
lola: 191542 markings, 2268802 edges, 279 markings/sec, 695 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 701 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1354 markings, 10509 edges, 271 markings/sec, 0 secs
lola: 2694 markings, 23778 edges, 268 markings/sec, 5 secs
lola: 4037 markings, 37830 edges, 269 markings/sec, 10 secs
lola: 5380 markings, 51626 edges, 269 markings/sec, 15 secs
lola: 6722 markings, 65423 edges, 268 markings/sec, 20 secs
lola: 8069 markings, 78860 edges, 269 markings/sec, 25 secs
lola: 9337 markings, 92157 edges, 254 markings/sec, 30 secs
lola: 10682 markings, 106208 edges, 269 markings/sec, 35 secs
lola: 12029 markings, 120268 edges, 269 markings/sec, 40 secs
lola: 13376 markings, 134179 edges, 269 markings/sec, 45 secs
lola: 14729 markings, 147873 edges, 271 markings/sec, 50 secs
lola: 16085 markings, 161942 edges, 271 markings/sec, 55 secs
lola: 17445 markings, 176057 edges, 272 markings/sec, 60 secs
lola: 18809 markings, 189787 edges, 273 markings/sec, 65 secs
lola: 20180 markings, 203923 edges, 274 markings/sec, 70 secs
lola: 21548 markings, 218543 edges, 274 markings/sec, 75 secs
lola: 22918 markings, 232797 edges, 274 markings/sec, 80 secs
lola: 24292 markings, 246786 edges, 275 markings/sec, 85 secs
lola: 25665 markings, 260921 edges, 275 markings/sec, 90 secs
lola: 27042 markings, 275439 edges, 275 markings/sec, 95 secs
lola: 28424 markings, 289358 edges, 276 markings/sec, 100 secs
lola: 29804 markings, 303933 edges, 276 markings/sec, 105 secs
lola: 31192 markings, 318438 edges, 278 markings/sec, 110 secs
lola: 32594 markings, 335631 edges, 280 markings/sec, 115 secs
lola: 33986 markings, 350199 edges, 278 markings/sec, 120 secs
lola: 35378 markings, 365140 edges, 278 markings/sec, 125 secs
lola: 36786 markings, 384416 edges, 282 markings/sec, 130 secs
lola: 38162 markings, 408030 edges, 275 markings/sec, 135 secs
lola: 39553 markings, 424538 edges, 278 markings/sec, 140 secs
lola: 40900 markings, 439363 edges, 269 markings/sec, 145 secs
lola: 42281 markings, 454114 edges, 276 markings/sec, 150 secs
lola: 43660 markings, 469799 edges, 276 markings/sec, 155 secs
lola: 45040 markings, 488155 edges, 276 markings/sec, 160 secs
lola: 46418 markings, 504584 edges, 276 markings/sec, 165 secs
lola: 47812 markings, 519255 edges, 279 markings/sec, 170 secs
lola: 49236 markings, 535335 edges, 285 markings/sec, 175 secs
lola: 50621 markings, 558876 edges, 277 markings/sec, 180 secs
lola: 52001 markings, 573158 edges, 276 markings/sec, 185 secs
lola: 53340 markings, 589025 edges, 268 markings/sec, 190 secs
lola: 54664 markings, 604402 edges, 265 markings/sec, 195 secs
lola: 56000 markings, 619406 edges, 267 markings/sec, 200 secs
lola: 57362 markings, 632346 edges, 272 markings/sec, 205 secs
lola: 58700 markings, 655357 edges, 268 markings/sec, 210 secs
lola: 60061 markings, 673883 edges, 272 markings/sec, 215 secs
lola: 61438 markings, 688984 edges, 275 markings/sec, 220 secs
lola: 62814 markings, 705297 edges, 275 markings/sec, 225 secs
lola: 64182 markings, 722450 edges, 274 markings/sec, 230 secs
lola: 65560 markings, 743993 edges, 276 markings/sec, 235 secs
lola: 66937 markings, 759703 edges, 275 markings/sec, 240 secs
lola: 68330 markings, 774150 edges, 279 markings/sec, 245 secs
lola: 69693 markings, 790229 edges, 273 markings/sec, 250 secs
lola: 71070 markings, 807756 edges, 275 markings/sec, 255 secs
lola: 72434 markings, 823341 edges, 273 markings/sec, 260 secs
lola: 73828 markings, 838257 edges, 279 markings/sec, 265 secs
lola: 75208 markings, 861969 edges, 276 markings/sec, 270 secs
lola: 76596 markings, 880328 edges, 278 markings/sec, 275 secs
lola: 77966 markings, 901585 edges, 274 markings/sec, 280 secs
lola: 79336 markings, 916167 edges, 274 markings/sec, 285 secs
lola: 80650 markings, 933941 edges, 263 markings/sec, 290 secs
lola: 81968 markings, 947934 edges, 264 markings/sec, 295 secs
lola: 83277 markings, 961846 edges, 262 markings/sec, 300 secs
lola: 84666 markings, 975595 edges, 278 markings/sec, 305 secs
lola: 86048 markings, 993085 edges, 276 markings/sec, 310 secs
lola: 87405 markings, 1006896 edges, 271 markings/sec, 315 secs
lola: 88768 markings, 1020635 edges, 273 markings/sec, 320 secs
lola: 90129 markings, 1035112 edges, 272 markings/sec, 325 secs
lola: 91478 markings, 1050727 edges, 270 markings/sec, 330 secs
lola: 92828 markings, 1066374 edges, 270 markings/sec, 335 secs
lola: 94212 markings, 1080648 edges, 277 markings/sec, 340 secs
lola: 95570 markings, 1104945 edges, 272 markings/sec, 345 secs
lola: 96934 markings, 1122617 edges, 273 markings/sec, 350 secs
lola: 98288 markings, 1137827 edges, 271 markings/sec, 355 secs
lola: 99653 markings, 1151582 edges, 273 markings/sec, 360 secs
lola: 101016 markings, 1168489 edges, 273 markings/sec, 365 secs
lola: 102380 markings, 1182478 edges, 273 markings/sec, 370 secs
lola: 103746 markings, 1196463 edges, 273 markings/sec, 375 secs
lola: 105122 markings, 1216024 edges, 275 markings/sec, 380 secs
lola: 106470 markings, 1239288 edges, 270 markings/sec, 385 secs
lola: 107842 markings, 1255743 edges, 274 markings/sec, 390 secs
lola: 109205 markings, 1270742 edges, 273 markings/sec, 395 secs
lola: 110578 markings, 1285466 edges, 275 markings/sec, 400 secs
lola: 111957 markings, 1300913 edges, 276 markings/sec, 405 secs
lola: 113332 markings, 1319861 edges, 275 markings/sec, 410 secs
lola: 114693 markings, 1336130 edges, 272 markings/sec, 415 secs
lola: 116065 markings, 1350098 edges, 274 markings/sec, 420 secs
lola: 117466 markings, 1365343 edges, 280 markings/sec, 425 secs
lola: 118826 markings, 1389065 edges, 272 markings/sec, 430 secs
lola: 120208 markings, 1403600 edges, 276 markings/sec, 435 secs
lola: 121562 markings, 1419647 edges, 271 markings/sec, 440 secs
lola: 122921 markings, 1435257 edges, 272 markings/sec, 445 secs
lola: 124282 markings, 1450331 edges, 272 markings/sec, 450 secs
lola: 125684 markings, 1464531 edges, 280 markings/sec, 455 secs
lola: 127044 markings, 1487353 edges, 272 markings/sec, 460 secs
lola: 128410 markings, 1505764 edges, 273 markings/sec, 465 secs
lola: 129789 markings, 1520618 edges, 276 markings/sec, 470 secs
lola: 131158 markings, 1535415 edges, 274 markings/sec, 475 secs
lola: 132520 markings, 1550776 edges, 272 markings/sec, 480 secs
lola: 133912 markings, 1568309 edges, 278 markings/sec, 485 secs
lola: 135250 markings, 1584769 edges, 268 markings/sec, 490 secs
lola: 136589 markings, 1598851 edges, 268 markings/sec, 495 secs
lola: 137938 markings, 1612520 edges, 270 markings/sec, 500 secs
lola: 139292 markings, 1631926 edges, 271 markings/sec, 505 secs
lola: 140660 markings, 1651464 edges, 274 markings/sec, 510 secs
lola: 142022 markings, 1667026 edges, 272 markings/sec, 515 secs
lola: 143382 markings, 1684575 edges, 272 markings/sec, 520 secs
lola: 144748 markings, 1698761 edges, 273 markings/sec, 525 secs
lola: 146116 markings, 1712932 edges, 274 markings/sec, 530 secs
lola: 147521 markings, 1728015 edges, 281 markings/sec, 535 secs
lola: 148889 markings, 1748659 edges, 274 markings/sec, 540 secs
lola: 150266 markings, 1763611 edges, 275 markings/sec, 545 secs
lola: 151648 markings, 1779385 edges, 276 markings/sec, 550 secs
lola: 152948 markings, 1794645 edges, 260 markings/sec, 555 secs
lola: 154221 markings, 1810016 edges, 255 markings/sec, 560 secs
lola: 155572 markings, 1824300 edges, 270 markings/sec, 565 secs
lola: 156968 markings, 1841587 edges, 279 markings/sec, 570 secs
lola: 158350 markings, 1864369 edges, 276 markings/sec, 575 secs
lola: 159742 markings, 1879151 edges, 278 markings/sec, 580 secs
lola: 161144 markings, 1894408 edges, 280 markings/sec, 585 secs
lola: 162528 markings, 1909272 edges, 277 markings/sec, 590 secs
lola: 163888 markings, 1927142 edges, 272 markings/sec, 595 secs
lola: 165220 markings, 1946885 edges, 266 markings/sec, 600 secs
lola: 166554 markings, 1968432 edges, 267 markings/sec, 605 secs
lola: 167924 markings, 1986609 edges, 274 markings/sec, 610 secs
lola: 169269 markings, 2005170 edges, 269 markings/sec, 615 secs
lola: 170613 markings, 2024845 edges, 269 markings/sec, 620 secs
lola: 171980 markings, 2039285 edges, 273 markings/sec, 625 secs
lola: 173334 markings, 2058274 edges, 271 markings/sec, 630 secs
lola: 174688 markings, 2072315 edges, 271 markings/sec, 635 secs
lola: 176002 markings, 2085834 edges, 263 markings/sec, 640 secs
lola: 177313 markings, 2099753 edges, 262 markings/sec, 645 secs
lola: 178637 markings, 2113480 edges, 265 markings/sec, 650 secs
lola: 179958 markings, 2127441 edges, 264 markings/sec, 655 secs
lola: 181305 markings, 2145398 edges, 269 markings/sec, 660 secs
lola: 182622 markings, 2165803 edges, 263 markings/sec, 665 secs
lola: 183950 markings, 2181708 edges, 266 markings/sec, 670 secs
lola: 185279 markings, 2196384 edges, 266 markings/sec, 675 secs
lola: 186608 markings, 2210665 edges, 266 markings/sec, 680 secs
lola: 187926 markings, 2225311 edges, 264 markings/sec, 685 secs
lola: 189270 markings, 2243333 edges, 269 markings/sec, 690 secs
lola: 190582 markings, 2259150 edges, 262 markings/sec, 695 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 701 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1938 markings, 15166 edges, 388 markings/sec, 0 secs
lola: 3866 markings, 34028 edges, 386 markings/sec, 5 secs
lola: 5794 markings, 53523 edges, 386 markings/sec, 10 secs
lola: 7725 markings, 72383 edges, 386 markings/sec, 15 secs
lola: 9665 markings, 91545 edges, 388 markings/sec, 20 secs
lola: 11611 markings, 110851 edges, 389 markings/sec, 25 secs
lola: 13569 markings, 129845 edges, 392 markings/sec, 30 secs
lola: 15533 markings, 149633 edges, 393 markings/sec, 35 secs
lola: 17508 markings, 169760 edges, 395 markings/sec, 40 secs
lola: 19505 markings, 191021 edges, 399 markings/sec, 45 secs
lola: 21522 markings, 211495 edges, 403 markings/sec, 50 secs
lola: 23532 markings, 231420 edges, 402 markings/sec, 55 secs
lola: 25542 markings, 252277 edges, 402 markings/sec, 60 secs
lola: 27602 markings, 274720 edges, 412 markings/sec, 65 secs
lola: 29654 markings, 294099 edges, 410 markings/sec, 70 secs
lola: 31679 markings, 315155 edges, 405 markings/sec, 75 secs
lola: 33738 markings, 337451 edges, 412 markings/sec, 80 secs
lola: 35801 markings, 362928 edges, 413 markings/sec, 85 secs
lola: 37859 markings, 387586 edges, 412 markings/sec, 90 secs
lola: 39922 markings, 411040 edges, 413 markings/sec, 95 secs
lola: 41957 markings, 435257 edges, 407 markings/sec, 100 secs
lola: 44008 markings, 454241 edges, 410 markings/sec, 105 secs
lola: 46065 markings, 477539 edges, 411 markings/sec, 110 secs
lola: 48132 markings, 499992 edges, 413 markings/sec, 115 secs
lola: 50187 markings, 521508 edges, 411 markings/sec, 120 secs
lola: 52216 markings, 542617 edges, 406 markings/sec, 125 secs
lola: 54260 markings, 565324 edges, 409 markings/sec, 130 secs
lola: 56296 markings, 585654 edges, 407 markings/sec, 135 secs
lola: 58336 markings, 606734 edges, 408 markings/sec, 140 secs
lola: 60446 markings, 627972 edges, 422 markings/sec, 145 secs
lola: 62508 markings, 657787 edges, 412 markings/sec, 150 secs
lola: 64585 markings, 682721 edges, 415 markings/sec, 155 secs
lola: 66661 markings, 706528 edges, 415 markings/sec, 160 secs
lola: 68749 markings, 728860 edges, 418 markings/sec, 165 secs
lola: 70825 markings, 753944 edges, 415 markings/sec, 170 secs
lola: 72882 markings, 777322 edges, 411 markings/sec, 175 secs
lola: 74926 markings, 801670 edges, 409 markings/sec, 180 secs
lola: 76977 markings, 823147 edges, 410 markings/sec, 185 secs
lola: 79042 markings, 844221 edges, 413 markings/sec, 190 secs
lola: 81154 markings, 870842 edges, 422 markings/sec, 195 secs
lola: 83263 markings, 900585 edges, 422 markings/sec, 200 secs
lola: 85347 markings, 928800 edges, 417 markings/sec, 205 secs
lola: 87443 markings, 960376 edges, 419 markings/sec, 210 secs
lola: 89551 markings, 984460 edges, 422 markings/sec, 215 secs
lola: 91606 markings, 1018251 edges, 411 markings/sec, 220 secs
lola: 93684 markings, 1045533 edges, 416 markings/sec, 225 secs
lola: 95785 markings, 1074219 edges, 420 markings/sec, 230 secs
lola: 97885 markings, 1096775 edges, 420 markings/sec, 235 secs
lola: 99979 markings, 1120550 edges, 419 markings/sec, 240 secs
lola: 102131 markings, 1142162 edges, 430 markings/sec, 245 secs
lola: 104231 markings, 1169044 edges, 420 markings/sec, 250 secs
lola: 106375 markings, 1190761 edges, 429 markings/sec, 255 secs
lola: 108476 markings, 1215096 edges, 420 markings/sec, 260 secs
lola: 110576 markings, 1242474 edges, 420 markings/sec, 265 secs
lola: 112697 markings, 1264485 edges, 424 markings/sec, 270 secs
lola: 114788 markings, 1286643 edges, 418 markings/sec, 275 secs
lola: 116839 markings, 1311090 edges, 410 markings/sec, 280 secs
lola: 118868 markings, 1339295 edges, 406 markings/sec, 285 secs
lola: 120957 markings, 1358603 edges, 418 markings/sec, 290 secs
lola: 123053 markings, 1378255 edges, 419 markings/sec, 295 secs
lola: 125122 markings, 1402148 edges, 414 markings/sec, 300 secs
lola: 127182 markings, 1427754 edges, 412 markings/sec, 305 secs
lola: 129277 markings, 1453648 edges, 419 markings/sec, 310 secs
lola: 131348 markings, 1478614 edges, 414 markings/sec, 315 secs
lola: 133412 markings, 1505377 edges, 413 markings/sec, 320 secs
lola: 135443 markings, 1533412 edges, 406 markings/sec, 325 secs
lola: 137520 markings, 1558666 edges, 415 markings/sec, 330 secs
lola: 139611 markings, 1578554 edges, 418 markings/sec, 335 secs
lola: 141723 markings, 1600610 edges, 422 markings/sec, 340 secs
lola: 143800 markings, 1621285 edges, 415 markings/sec, 345 secs
lola: 145884 markings, 1643756 edges, 417 markings/sec, 350 secs
lola: 147973 markings, 1663948 edges, 418 markings/sec, 355 secs
lola: 150031 markings, 1687554 edges, 412 markings/sec, 360 secs
lola: 152090 markings, 1710509 edges, 412 markings/sec, 365 secs
lola: 154161 markings, 1738037 edges, 414 markings/sec, 370 secs
lola: 156255 markings, 1759991 edges, 419 markings/sec, 375 secs
lola: 158368 markings, 1780743 edges, 423 markings/sec, 380 secs
lola: 160422 markings, 1808104 edges, 411 markings/sec, 385 secs
lola: 162532 markings, 1828589 edges, 422 markings/sec, 390 secs
lola: 164593 markings, 1855880 edges, 412 markings/sec, 395 secs
lola: 166655 markings, 1878919 edges, 412 markings/sec, 400 secs
lola: 168733 markings, 1902263 edges, 416 markings/sec, 405 secs
lola: 170794 markings, 1926825 edges, 412 markings/sec, 410 secs
lola: 172846 markings, 1945915 edges, 410 markings/sec, 415 secs
lola: 174871 markings, 1969581 edges, 405 markings/sec, 420 secs
lola: 176883 markings, 1992576 edges, 402 markings/sec, 425 secs
lola: 178946 markings, 2012005 edges, 413 markings/sec, 430 secs
lola: 180971 markings, 2031545 edges, 405 markings/sec, 435 secs
lola: 182982 markings, 2053195 edges, 402 markings/sec, 440 secs
lola: 185016 markings, 2072973 edges, 407 markings/sec, 445 secs
lola: 187099 markings, 2098729 edges, 417 markings/sec, 450 secs
lola: 189134 markings, 2119827 edges, 407 markings/sec, 455 secs
lola: 191150 markings, 2142706 edges, 403 markings/sec, 460 secs
lola: 193277 markings, 2162603 edges, 425 markings/sec, 465 secs
lola: 195408 markings, 2183218 edges, 426 markings/sec, 470 secs
lola: 197515 markings, 2208083 edges, 421 markings/sec, 475 secs
lola: 199596 markings, 2233285 edges, 416 markings/sec, 480 secs
lola: 201673 markings, 2259330 edges, 415 markings/sec, 485 secs
lola: 203674 markings, 2290209 edges, 400 markings/sec, 490 secs
lola: 205675 markings, 2310439 edges, 400 markings/sec, 495 secs
lola: 207716 markings, 2330632 edges, 408 markings/sec, 500 secs
lola: 209717 markings, 2353110 edges, 400 markings/sec, 505 secs
lola: 211787 markings, 2371747 edges, 414 markings/sec, 510 secs
lola: 213803 markings, 2397678 edges, 403 markings/sec, 515 secs
lola: 215835 markings, 2417769 edges, 406 markings/sec, 520 secs
lola: 217843 markings, 2438998 edges, 402 markings/sec, 525 secs
lola: 219875 markings, 2460278 edges, 406 markings/sec, 530 secs
lola: 221936 markings, 2479634 edges, 412 markings/sec, 535 secs
lola: 223971 markings, 2503669 edges, 407 markings/sec, 540 secs
lola: 226009 markings, 2524715 edges, 408 markings/sec, 545 secs
lola: 228015 markings, 2548335 edges, 401 markings/sec, 550 secs
lola: 230000 markings, 2580664 edges, 397 markings/sec, 555 secs
lola: 232009 markings, 2604234 edges, 402 markings/sec, 560 secs
lola: 234002 markings, 2624599 edges, 399 markings/sec, 565 secs
lola: 236011 markings, 2647534 edges, 402 markings/sec, 570 secs
lola: 238048 markings, 2667750 edges, 407 markings/sec, 575 secs
lola: 240069 markings, 2690500 edges, 404 markings/sec, 580 secs
lola: 242095 markings, 2717556 edges, 405 markings/sec, 585 secs
lola: 244098 markings, 2738487 edges, 401 markings/sec, 590 secs
lola: 246096 markings, 2760936 edges, 400 markings/sec, 595 secs
lola: 248121 markings, 2779245 edges, 405 markings/sec, 600 secs
lola: 250134 markings, 2805150 edges, 403 markings/sec, 605 secs
lola: 252156 markings, 2825455 edges, 404 markings/sec, 610 secs
lola: 254169 markings, 2846204 edges, 403 markings/sec, 615 secs
lola: 256204 markings, 2868008 edges, 407 markings/sec, 620 secs
lola: 258305 markings, 2887537 edges, 420 markings/sec, 625 secs
lola: 260381 markings, 2912569 edges, 415 markings/sec, 630 secs
lola: 262452 markings, 2933847 edges, 414 markings/sec, 635 secs
lola: 264463 markings, 2957129 edges, 402 markings/sec, 640 secs
lola: 266454 markings, 2990267 edges, 398 markings/sec, 645 secs
lola: 268470 markings, 3013360 edges, 403 markings/sec, 650 secs
lola: 270461 markings, 3034162 edges, 398 markings/sec, 655 secs
lola: 272477 markings, 3056446 edges, 403 markings/sec, 660 secs
lola: 274530 markings, 3076521 edges, 411 markings/sec, 665 secs
lola: 276580 markings, 3098925 edges, 410 markings/sec, 670 secs
lola: 278654 markings, 3118478 edges, 415 markings/sec, 675 secs
lola: 280696 markings, 3144039 edges, 408 markings/sec, 680 secs
lola: 282723 markings, 3165638 edges, 405 markings/sec, 685 secs
lola: 284738 markings, 3187864 edges, 403 markings/sec, 690 secs
lola: 286774 markings, 3207641 edges, 407 markings/sec, 695 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCshifumi-PT-5a-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496473912360

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DLCshifumi-PT-5a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_DLCshifumi-PT-5a.tgz
mv S_DLCshifumi-PT-5a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DLCshifumi-PT-5a, 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 r098-ebro-149488456000497"
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 ;