About the Execution of LoLA for Diffusion2D-PT-D50N150
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
534.320 | 3540213.00 | 3557107.00 | 537.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is Diffusion2D-PT-D50N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300434
=====================================================================
--------------------
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 Diffusion2D-PT-D50N150-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494640809719
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D50N150 @ 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: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N150-UpperBounds.task
lola: MAX(cAMP__33_11_) : MAX(cAMP__31_35_) : MAX(cAMP__24_39_) : MAX(cAMP__5_27_) : MAX(cAMP__3_2_) : MAX(cAMP__30_14_) : MAX(cAMP__22_31_) : MAX(cAMP__38_42_) : MAX(cAMP__17_29_) : MAX(cAMP__44_44_) : MAX(cAMP__1_11_) : MAX(cAMP__35_20_) : MAX(cAMP__13_38_) : MAX(cAMP__50_34_) : MAX(cAMP__14_22_) : MAX(cAMP__8_35_)
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(cAMP__33_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2327 markings, 8235 edges, 465 markings/sec, 0 secs
lola: 4697 markings, 16856 edges, 474 markings/sec, 5 secs
lola: 7056 markings, 25507 edges, 472 markings/sec, 10 secs
lola: 9456 markings, 34102 edges, 480 markings/sec, 15 secs
lola: 11851 markings, 42670 edges, 479 markings/sec, 20 secs
lola: 14260 markings, 51434 edges, 482 markings/sec, 25 secs
lola: 16678 markings, 60300 edges, 484 markings/sec, 30 secs
lola: 19054 markings, 68766 edges, 475 markings/sec, 35 secs
lola: 21480 markings, 77471 edges, 485 markings/sec, 40 secs
lola: 23923 markings, 85951 edges, 489 markings/sec, 45 secs
lola: 26370 markings, 94263 edges, 489 markings/sec, 50 secs
lola: 28815 markings, 103340 edges, 489 markings/sec, 55 secs
lola: 31251 markings, 112603 edges, 487 markings/sec, 60 secs
lola: 33671 markings, 121482 edges, 484 markings/sec, 65 secs
lola: 36097 markings, 130727 edges, 485 markings/sec, 70 secs
lola: 38563 markings, 139229 edges, 493 markings/sec, 75 secs
lola: 41025 markings, 147837 edges, 492 markings/sec, 80 secs
lola: 43502 markings, 156517 edges, 495 markings/sec, 85 secs
lola: 45973 markings, 165171 edges, 494 markings/sec, 90 secs
lola: 48435 markings, 174274 edges, 492 markings/sec, 95 secs
lola: 50902 markings, 183171 edges, 493 markings/sec, 100 secs
lola: 53358 markings, 192113 edges, 491 markings/sec, 105 secs
lola: 55791 markings, 200665 edges, 487 markings/sec, 110 secs
lola: 58254 markings, 209846 edges, 493 markings/sec, 115 secs
lola: 60680 markings, 218146 edges, 485 markings/sec, 120 secs
lola: 63147 markings, 227330 edges, 493 markings/sec, 125 secs
lola: 65604 markings, 236265 edges, 491 markings/sec, 130 secs
lola: 68059 markings, 245805 edges, 491 markings/sec, 135 secs
lola: 70522 markings, 255323 edges, 493 markings/sec, 140 secs
lola: 72961 markings, 265150 edges, 488 markings/sec, 145 secs
lola: 75428 markings, 273441 edges, 493 markings/sec, 150 secs
lola: 77886 markings, 282442 edges, 492 markings/sec, 155 secs
lola: 80354 markings, 291494 edges, 494 markings/sec, 160 secs
lola: 82828 markings, 299967 edges, 495 markings/sec, 165 secs
lola: 85302 markings, 308962 edges, 495 markings/sec, 170 secs
lola: 87772 markings, 317813 edges, 494 markings/sec, 175 secs
lola: 90245 markings, 327050 edges, 495 markings/sec, 180 secs
lola: 92713 markings, 335991 edges, 494 markings/sec, 185 secs
lola: 95185 markings, 344957 edges, 494 markings/sec, 190 secs
lola: 97657 markings, 354070 edges, 494 markings/sec, 195 secs
lola: 100118 markings, 363721 edges, 492 markings/sec, 200 secs
lola: 102586 markings, 372045 edges, 494 markings/sec, 205 secs
lola: 105050 markings, 381205 edges, 493 markings/sec, 210 secs
lola: 107500 markings, 389893 edges, 490 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(cAMP__31_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2428 markings, 8224 edges, 486 markings/sec, 0 secs
lola: 4879 markings, 16309 edges, 490 markings/sec, 5 secs
lola: 7350 markings, 25050 edges, 494 markings/sec, 10 secs
lola: 9816 markings, 33821 edges, 493 markings/sec, 15 secs
lola: 12264 markings, 41440 edges, 490 markings/sec, 20 secs
lola: 14744 markings, 49202 edges, 496 markings/sec, 25 secs
lola: 17218 markings, 57649 edges, 495 markings/sec, 30 secs
lola: 19694 markings, 65862 edges, 495 markings/sec, 35 secs
lola: 22166 markings, 73999 edges, 494 markings/sec, 40 secs
lola: 24639 markings, 82078 edges, 495 markings/sec, 45 secs
lola: 27076 markings, 90424 edges, 487 markings/sec, 50 secs
lola: 29501 markings, 98501 edges, 485 markings/sec, 55 secs
lola: 31918 markings, 106308 edges, 483 markings/sec, 60 secs
lola: 34358 markings, 114157 edges, 488 markings/sec, 65 secs
lola: 36841 markings, 122629 edges, 497 markings/sec, 70 secs
lola: 39328 markings, 130750 edges, 497 markings/sec, 75 secs
lola: 41786 markings, 138829 edges, 492 markings/sec, 80 secs
lola: 44216 markings, 146655 edges, 486 markings/sec, 85 secs
lola: 46652 markings, 154633 edges, 487 markings/sec, 90 secs
lola: 49092 markings, 162555 edges, 488 markings/sec, 95 secs
lola: 51528 markings, 170675 edges, 487 markings/sec, 100 secs
lola: 53944 markings, 178885 edges, 483 markings/sec, 105 secs
lola: 56373 markings, 187126 edges, 486 markings/sec, 110 secs
lola: 58801 markings, 195346 edges, 486 markings/sec, 115 secs
lola: 61251 markings, 204189 edges, 490 markings/sec, 120 secs
lola: 63720 markings, 212601 edges, 494 markings/sec, 125 secs
lola: 66186 markings, 221061 edges, 493 markings/sec, 130 secs
lola: 68646 markings, 229532 edges, 492 markings/sec, 135 secs
lola: 71083 markings, 237397 edges, 487 markings/sec, 140 secs
lola: 73521 markings, 245981 edges, 488 markings/sec, 145 secs
lola: 76000 markings, 254600 edges, 496 markings/sec, 150 secs
lola: 78472 markings, 262396 edges, 494 markings/sec, 155 secs
lola: 80940 markings, 270482 edges, 494 markings/sec, 160 secs
lola: 83408 markings, 278599 edges, 494 markings/sec, 165 secs
lola: 85878 markings, 286623 edges, 494 markings/sec, 170 secs
lola: 88349 markings, 294547 edges, 494 markings/sec, 175 secs
lola: 90820 markings, 302921 edges, 494 markings/sec, 180 secs
lola: 93293 markings, 310839 edges, 495 markings/sec, 185 secs
lola: 95771 markings, 318712 edges, 496 markings/sec, 190 secs
lola: 98247 markings, 326177 edges, 495 markings/sec, 195 secs
lola: 100722 markings, 333870 edges, 495 markings/sec, 200 secs
lola: 103194 markings, 341506 edges, 494 markings/sec, 205 secs
lola: 105680 markings, 349412 edges, 497 markings/sec, 210 secs
lola: 108175 markings, 357342 edges, 499 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(cAMP__24_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2471 markings, 8888 edges, 494 markings/sec, 0 secs
lola: 4940 markings, 17687 edges, 494 markings/sec, 5 secs
lola: 7405 markings, 26667 edges, 493 markings/sec, 10 secs
lola: 9887 markings, 35714 edges, 496 markings/sec, 15 secs
lola: 12353 markings, 44707 edges, 493 markings/sec, 20 secs
lola: 14814 markings, 53853 edges, 492 markings/sec, 25 secs
lola: 17276 markings, 62523 edges, 492 markings/sec, 30 secs
lola: 19746 markings, 70653 edges, 494 markings/sec, 35 secs
lola: 22213 markings, 79132 edges, 493 markings/sec, 40 secs
lola: 24674 markings, 88159 edges, 492 markings/sec, 45 secs
lola: 27112 markings, 96598 edges, 488 markings/sec, 50 secs
lola: 29548 markings, 105678 edges, 487 markings/sec, 55 secs
lola: 31992 markings, 114734 edges, 489 markings/sec, 60 secs
lola: 34431 markings, 123530 edges, 488 markings/sec, 65 secs
lola: 36870 markings, 132902 edges, 488 markings/sec, 70 secs
lola: 39321 markings, 141934 edges, 490 markings/sec, 75 secs
lola: 41751 markings, 151241 edges, 486 markings/sec, 80 secs
lola: 44194 markings, 159733 edges, 489 markings/sec, 85 secs
lola: 46635 markings, 168137 edges, 488 markings/sec, 90 secs
lola: 49072 markings, 177111 edges, 487 markings/sec, 95 secs
lola: 51477 markings, 185657 edges, 481 markings/sec, 100 secs
lola: 53873 markings, 194849 edges, 479 markings/sec, 105 secs
lola: 56277 markings, 203457 edges, 481 markings/sec, 110 secs
lola: 58677 markings, 212142 edges, 480 markings/sec, 115 secs
lola: 61084 markings, 220824 edges, 481 markings/sec, 120 secs
lola: 63489 markings, 228838 edges, 481 markings/sec, 125 secs
lola: 65889 markings, 237730 edges, 480 markings/sec, 130 secs
lola: 68289 markings, 245952 edges, 480 markings/sec, 135 secs
lola: 70685 markings, 254778 edges, 479 markings/sec, 140 secs
lola: 73105 markings, 263082 edges, 484 markings/sec, 145 secs
lola: 75535 markings, 271964 edges, 486 markings/sec, 150 secs
lola: 77983 markings, 280028 edges, 490 markings/sec, 155 secs
lola: 80431 markings, 288839 edges, 490 markings/sec, 160 secs
lola: 82874 markings, 297672 edges, 489 markings/sec, 165 secs
lola: 85313 markings, 306176 edges, 488 markings/sec, 170 secs
lola: 87760 markings, 314814 edges, 489 markings/sec, 175 secs
lola: 90200 markings, 323635 edges, 488 markings/sec, 180 secs
lola: 92637 markings, 333162 edges, 487 markings/sec, 185 secs
lola: 95086 markings, 341742 edges, 490 markings/sec, 190 secs
lola: 97515 markings, 351927 edges, 486 markings/sec, 195 secs
lola: 99950 markings, 361368 edges, 487 markings/sec, 200 secs
lola: 102392 markings, 370252 edges, 488 markings/sec, 205 secs
lola: 104824 markings, 379608 edges, 486 markings/sec, 210 secs
lola: 107261 markings, 388635 edges, 487 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(cAMP__5_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2454 markings, 8944 edges, 491 markings/sec, 0 secs
lola: 4931 markings, 17770 edges, 495 markings/sec, 5 secs
lola: 7403 markings, 26242 edges, 494 markings/sec, 10 secs
lola: 9885 markings, 35280 edges, 496 markings/sec, 15 secs
lola: 12356 markings, 44662 edges, 494 markings/sec, 20 secs
lola: 14839 markings, 53794 edges, 497 markings/sec, 25 secs
lola: 17295 markings, 62520 edges, 491 markings/sec, 30 secs
lola: 19779 markings, 71800 edges, 497 markings/sec, 35 secs
lola: 22247 markings, 81108 edges, 494 markings/sec, 40 secs
lola: 24709 markings, 90075 edges, 492 markings/sec, 45 secs
lola: 27184 markings, 99311 edges, 495 markings/sec, 50 secs
lola: 29650 markings, 108429 edges, 493 markings/sec, 55 secs
lola: 32116 markings, 117557 edges, 493 markings/sec, 60 secs
lola: 34599 markings, 126755 edges, 497 markings/sec, 65 secs
lola: 37084 markings, 135989 edges, 497 markings/sec, 70 secs
lola: 39556 markings, 145101 edges, 494 markings/sec, 75 secs
lola: 41996 markings, 154219 edges, 488 markings/sec, 80 secs
lola: 44449 markings, 163351 edges, 491 markings/sec, 85 secs
lola: 46939 markings, 171784 edges, 498 markings/sec, 90 secs
lola: 49439 markings, 180712 edges, 500 markings/sec, 95 secs
lola: 51937 markings, 189487 edges, 500 markings/sec, 100 secs
lola: 54432 markings, 198590 edges, 499 markings/sec, 105 secs
lola: 56928 markings, 208035 edges, 499 markings/sec, 110 secs
lola: 59418 markings, 218199 edges, 498 markings/sec, 115 secs
lola: 61902 markings, 227676 edges, 497 markings/sec, 120 secs
lola: 64393 markings, 236818 edges, 498 markings/sec, 125 secs
lola: 66884 markings, 245632 edges, 498 markings/sec, 130 secs
lola: 69365 markings, 255738 edges, 496 markings/sec, 135 secs
lola: 71850 markings, 265433 edges, 497 markings/sec, 140 secs
lola: 74335 markings, 274871 edges, 497 markings/sec, 145 secs
lola: 76818 markings, 283936 edges, 497 markings/sec, 150 secs
lola: 79298 markings, 293795 edges, 496 markings/sec, 155 secs
lola: 81768 markings, 303638 edges, 494 markings/sec, 160 secs
lola: 84222 markings, 313623 edges, 491 markings/sec, 165 secs
lola: 86619 markings, 322251 edges, 479 markings/sec, 170 secs
lola: 89085 markings, 331148 edges, 493 markings/sec, 175 secs
lola: 91479 markings, 339892 edges, 479 markings/sec, 180 secs
lola: 93874 markings, 349198 edges, 479 markings/sec, 185 secs
lola: 96369 markings, 358580 edges, 499 markings/sec, 190 secs
lola: 98856 markings, 367492 edges, 497 markings/sec, 195 secs
lola: 101341 markings, 376657 edges, 497 markings/sec, 200 secs
lola: 103834 markings, 385589 edges, 499 markings/sec, 205 secs
lola: 106328 markings, 394671 edges, 499 markings/sec, 210 secs
lola: 108821 markings, 403809 edges, 499 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(cAMP__3_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2469 markings, 9420 edges, 494 markings/sec, 0 secs
lola: 4943 markings, 18421 edges, 495 markings/sec, 5 secs
lola: 7416 markings, 27389 edges, 495 markings/sec, 10 secs
lola: 9884 markings, 36310 edges, 494 markings/sec, 15 secs
lola: 12344 markings, 45245 edges, 492 markings/sec, 20 secs
lola: 14805 markings, 54178 edges, 492 markings/sec, 25 secs
lola: 17266 markings, 63112 edges, 492 markings/sec, 30 secs
lola: 19735 markings, 72107 edges, 494 markings/sec, 35 secs
lola: 22181 markings, 80952 edges, 489 markings/sec, 40 secs
lola: 24619 markings, 89770 edges, 488 markings/sec, 45 secs
lola: 27061 markings, 98151 edges, 488 markings/sec, 50 secs
lola: 29495 markings, 107785 edges, 487 markings/sec, 55 secs
lola: 31931 markings, 117254 edges, 487 markings/sec, 60 secs
lola: 34368 markings, 126414 edges, 487 markings/sec, 65 secs
lola: 36798 markings, 135528 edges, 486 markings/sec, 70 secs
lola: 39238 markings, 144536 edges, 488 markings/sec, 75 secs
lola: 41676 markings, 152718 edges, 488 markings/sec, 80 secs
lola: 44125 markings, 161220 edges, 490 markings/sec, 85 secs
lola: 46568 markings, 169468 edges, 489 markings/sec, 90 secs
lola: 49010 markings, 177935 edges, 488 markings/sec, 95 secs
lola: 51454 markings, 186204 edges, 489 markings/sec, 100 secs
lola: 53899 markings, 194710 edges, 489 markings/sec, 105 secs
lola: 56340 markings, 202906 edges, 488 markings/sec, 110 secs
lola: 58781 markings, 211214 edges, 488 markings/sec, 115 secs
lola: 61216 markings, 220288 edges, 487 markings/sec, 120 secs
lola: 63655 markings, 229513 edges, 488 markings/sec, 125 secs
lola: 66109 markings, 238659 edges, 491 markings/sec, 130 secs
lola: 68579 markings, 247721 edges, 494 markings/sec, 135 secs
lola: 71044 markings, 256076 edges, 493 markings/sec, 140 secs
lola: 73492 markings, 264765 edges, 490 markings/sec, 145 secs
lola: 75959 markings, 273762 edges, 493 markings/sec, 150 secs
lola: 78420 markings, 282839 edges, 492 markings/sec, 155 secs
lola: 80874 markings, 292829 edges, 491 markings/sec, 160 secs
lola: 83320 markings, 302483 edges, 489 markings/sec, 165 secs
lola: 85787 markings, 310809 edges, 493 markings/sec, 170 secs
lola: 88250 markings, 319522 edges, 493 markings/sec, 175 secs
lola: 90704 markings, 328155 edges, 491 markings/sec, 180 secs
lola: 93152 markings, 337331 edges, 490 markings/sec, 185 secs
lola: 95595 markings, 346659 edges, 489 markings/sec, 190 secs
lola: 98054 markings, 354917 edges, 492 markings/sec, 195 secs
lola: 100515 markings, 363892 edges, 492 markings/sec, 200 secs
lola: 102966 markings, 373074 edges, 490 markings/sec, 205 secs
lola: 105415 markings, 382340 edges, 490 markings/sec, 210 secs
lola: 107879 markings, 390903 edges, 493 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(cAMP__30_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2456 markings, 8666 edges, 491 markings/sec, 0 secs
lola: 4918 markings, 17177 edges, 492 markings/sec, 5 secs
lola: 7381 markings, 26441 edges, 493 markings/sec, 10 secs
lola: 9821 markings, 35181 edges, 488 markings/sec, 15 secs
lola: 12280 markings, 44858 edges, 492 markings/sec, 20 secs
lola: 14739 markings, 53821 edges, 492 markings/sec, 25 secs
lola: 17200 markings, 62572 edges, 492 markings/sec, 30 secs
lola: 19655 markings, 71692 edges, 491 markings/sec, 35 secs
lola: 22111 markings, 80639 edges, 491 markings/sec, 40 secs
lola: 24576 markings, 88502 edges, 493 markings/sec, 45 secs
lola: 27040 markings, 96464 edges, 493 markings/sec, 50 secs
lola: 29496 markings, 105127 edges, 491 markings/sec, 55 secs
lola: 31963 markings, 112973 edges, 493 markings/sec, 60 secs
lola: 34435 markings, 121217 edges, 494 markings/sec, 65 secs
lola: 36907 markings, 130004 edges, 494 markings/sec, 70 secs
lola: 39382 markings, 138316 edges, 495 markings/sec, 75 secs
lola: 41854 markings, 146934 edges, 494 markings/sec, 80 secs
lola: 44313 markings, 155036 edges, 492 markings/sec, 85 secs
lola: 46790 markings, 163730 edges, 495 markings/sec, 90 secs
lola: 49266 markings, 172120 edges, 495 markings/sec, 95 secs
lola: 51733 markings, 180452 edges, 493 markings/sec, 100 secs
lola: 54202 markings, 189056 edges, 494 markings/sec, 105 secs
lola: 56676 markings, 197240 edges, 495 markings/sec, 110 secs
lola: 59149 markings, 205458 edges, 495 markings/sec, 115 secs
lola: 61618 markings, 214188 edges, 494 markings/sec, 120 secs
lola: 64081 markings, 223379 edges, 493 markings/sec, 125 secs
lola: 66551 markings, 231662 edges, 494 markings/sec, 130 secs
lola: 69017 markings, 240868 edges, 493 markings/sec, 135 secs
lola: 71486 markings, 249231 edges, 494 markings/sec, 140 secs
lola: 73958 markings, 257204 edges, 494 markings/sec, 145 secs
lola: 76422 markings, 265847 edges, 493 markings/sec, 150 secs
lola: 78885 markings, 273999 edges, 493 markings/sec, 155 secs
lola: 81353 markings, 282511 edges, 494 markings/sec, 160 secs
lola: 83826 markings, 290520 edges, 495 markings/sec, 165 secs
lola: 86297 markings, 298717 edges, 494 markings/sec, 170 secs
lola: 88762 markings, 306748 edges, 493 markings/sec, 175 secs
lola: 91227 markings, 315208 edges, 493 markings/sec, 180 secs
lola: 93694 markings, 323706 edges, 493 markings/sec, 185 secs
lola: 96160 markings, 332718 edges, 493 markings/sec, 190 secs
lola: 98630 markings, 341312 edges, 494 markings/sec, 195 secs
lola: 101099 markings, 349837 edges, 494 markings/sec, 200 secs
lola: 103561 markings, 358735 edges, 492 markings/sec, 205 secs
lola: 106030 markings, 367406 edges, 494 markings/sec, 210 secs
lola: 108503 markings, 376125 edges, 495 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(cAMP__22_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2501 markings, 7400 edges, 500 markings/sec, 0 secs
lola: 5015 markings, 14835 edges, 503 markings/sec, 5 secs
lola: 7525 markings, 22265 edges, 502 markings/sec, 10 secs
lola: 10028 markings, 30549 edges, 501 markings/sec, 15 secs
lola: 12534 markings, 38011 edges, 501 markings/sec, 20 secs
lola: 15038 markings, 46100 edges, 501 markings/sec, 25 secs
lola: 17542 markings, 54306 edges, 501 markings/sec, 30 secs
lola: 20028 markings, 63078 edges, 497 markings/sec, 35 secs
lola: 22515 markings, 71979 edges, 497 markings/sec, 40 secs
lola: 24993 markings, 81424 edges, 496 markings/sec, 45 secs
lola: 27476 markings, 89846 edges, 497 markings/sec, 50 secs
lola: 29964 markings, 98919 edges, 498 markings/sec, 55 secs
lola: 32460 markings, 106872 edges, 499 markings/sec, 60 secs
lola: 34959 markings, 114709 edges, 500 markings/sec, 65 secs
lola: 37452 markings, 122978 edges, 499 markings/sec, 70 secs
lola: 39942 markings, 131822 edges, 498 markings/sec, 75 secs
lola: 42383 markings, 140606 edges, 488 markings/sec, 80 secs
lola: 44855 markings, 149124 edges, 494 markings/sec, 85 secs
lola: 47331 markings, 156886 edges, 495 markings/sec, 90 secs
lola: 49807 markings, 164460 edges, 495 markings/sec, 95 secs
lola: 52275 markings, 172469 edges, 494 markings/sec, 100 secs
lola: 54741 markings, 180265 edges, 493 markings/sec, 105 secs
lola: 57197 markings, 187978 edges, 491 markings/sec, 110 secs
lola: 59645 markings, 195464 edges, 490 markings/sec, 115 secs
lola: 62126 markings, 203680 edges, 496 markings/sec, 120 secs
lola: 64575 markings, 211982 edges, 490 markings/sec, 125 secs
lola: 67042 markings, 220163 edges, 493 markings/sec, 130 secs
lola: 69501 markings, 227796 edges, 492 markings/sec, 135 secs
lola: 71966 markings, 235414 edges, 493 markings/sec, 140 secs
lola: 74438 markings, 243431 edges, 494 markings/sec, 145 secs
lola: 76904 markings, 251686 edges, 493 markings/sec, 150 secs
lola: 79366 markings, 259277 edges, 492 markings/sec, 155 secs
lola: 81836 markings, 267139 edges, 494 markings/sec, 160 secs
lola: 84309 markings, 275034 edges, 495 markings/sec, 165 secs
lola: 86800 markings, 282899 edges, 498 markings/sec, 170 secs
lola: 89308 markings, 291317 edges, 502 markings/sec, 175 secs
lola: 91810 markings, 299200 edges, 500 markings/sec, 180 secs
lola: 94282 markings, 306731 edges, 494 markings/sec, 185 secs
lola: 96779 markings, 314463 edges, 499 markings/sec, 190 secs
lola: 99271 markings, 322514 edges, 498 markings/sec, 195 secs
lola: 101762 markings, 330713 edges, 498 markings/sec, 200 secs
lola: 104254 markings, 338707 edges, 498 markings/sec, 205 secs
lola: 106742 markings, 347060 edges, 498 markings/sec, 210 secs
lola: 109238 markings, 354926 edges, 499 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(cAMP__38_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2486 markings, 8530 edges, 497 markings/sec, 0 secs
lola: 4986 markings, 17109 edges, 500 markings/sec, 5 secs
lola: 7482 markings, 25789 edges, 499 markings/sec, 10 secs
lola: 9977 markings, 34796 edges, 499 markings/sec, 15 secs
lola: 12478 markings, 43389 edges, 500 markings/sec, 20 secs
lola: 14978 markings, 52152 edges, 500 markings/sec, 25 secs
lola: 17478 markings, 60923 edges, 500 markings/sec, 30 secs
lola: 19976 markings, 69362 edges, 500 markings/sec, 35 secs
lola: 22468 markings, 78564 edges, 498 markings/sec, 40 secs
lola: 24951 markings, 87282 edges, 497 markings/sec, 45 secs
lola: 27422 markings, 96348 edges, 494 markings/sec, 50 secs
lola: 29898 markings, 104896 edges, 495 markings/sec, 55 secs
lola: 32382 markings, 114097 edges, 497 markings/sec, 60 secs
lola: 34860 markings, 122394 edges, 496 markings/sec, 65 secs
lola: 37329 markings, 131410 edges, 494 markings/sec, 70 secs
lola: 39801 markings, 140399 edges, 494 markings/sec, 75 secs
lola: 42276 markings, 148527 edges, 495 markings/sec, 80 secs
lola: 44746 markings, 157528 edges, 494 markings/sec, 85 secs
lola: 47214 markings, 166265 edges, 494 markings/sec, 90 secs
lola: 49691 markings, 174678 edges, 495 markings/sec, 95 secs
lola: 52180 markings, 183656 edges, 498 markings/sec, 100 secs
lola: 54671 markings, 192344 edges, 498 markings/sec, 105 secs
lola: 57163 markings, 200863 edges, 498 markings/sec, 110 secs
lola: 59648 markings, 209838 edges, 497 markings/sec, 115 secs
lola: 62134 markings, 218575 edges, 497 markings/sec, 120 secs
lola: 64615 markings, 227766 edges, 496 markings/sec, 125 secs
lola: 67110 markings, 236652 edges, 499 markings/sec, 130 secs
lola: 69598 markings, 245494 edges, 498 markings/sec, 135 secs
lola: 72085 markings, 254331 edges, 497 markings/sec, 140 secs
lola: 74575 markings, 262894 edges, 498 markings/sec, 145 secs
lola: 77037 markings, 271729 edges, 492 markings/sec, 150 secs
lola: 79491 markings, 280251 edges, 491 markings/sec, 155 secs
lola: 81976 markings, 289292 edges, 497 markings/sec, 160 secs
lola: 84471 markings, 297987 edges, 499 markings/sec, 165 secs
lola: 86947 markings, 307527 edges, 495 markings/sec, 170 secs
lola: 89431 markings, 316679 edges, 497 markings/sec, 175 secs
lola: 91916 markings, 326114 edges, 497 markings/sec, 180 secs
lola: 94411 markings, 334572 edges, 499 markings/sec, 185 secs
lola: 96914 markings, 343487 edges, 501 markings/sec, 190 secs
lola: 99412 markings, 352109 edges, 500 markings/sec, 195 secs
lola: 101900 markings, 361078 edges, 498 markings/sec, 200 secs
lola: 104393 markings, 370232 edges, 499 markings/sec, 205 secs
lola: 106894 markings, 378950 edges, 500 markings/sec, 210 secs
lola: 109383 markings, 388216 edges, 498 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(cAMP__17_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2468 markings, 8607 edges, 494 markings/sec, 0 secs
lola: 4930 markings, 17676 edges, 492 markings/sec, 5 secs
lola: 7391 markings, 26873 edges, 492 markings/sec, 10 secs
lola: 9860 markings, 35436 edges, 494 markings/sec, 15 secs
lola: 12322 markings, 44065 edges, 492 markings/sec, 20 secs
lola: 14786 markings, 52537 edges, 493 markings/sec, 25 secs
lola: 17250 markings, 60862 edges, 493 markings/sec, 30 secs
lola: 19697 markings, 70421 edges, 489 markings/sec, 35 secs
lola: 22136 markings, 79728 edges, 488 markings/sec, 40 secs
lola: 24576 markings, 88693 edges, 488 markings/sec, 45 secs
lola: 27010 markings, 97458 edges, 487 markings/sec, 50 secs
lola: 29442 markings, 106790 edges, 486 markings/sec, 55 secs
lola: 31869 markings, 116041 edges, 485 markings/sec, 60 secs
lola: 34301 markings, 124879 edges, 486 markings/sec, 65 secs
lola: 36737 markings, 133724 edges, 487 markings/sec, 70 secs
lola: 39177 markings, 142511 edges, 488 markings/sec, 75 secs
lola: 41614 markings, 151970 edges, 487 markings/sec, 80 secs
lola: 44054 markings, 160904 edges, 488 markings/sec, 85 secs
lola: 46483 markings, 170228 edges, 486 markings/sec, 90 secs
lola: 48915 markings, 178878 edges, 486 markings/sec, 95 secs
lola: 51340 markings, 188377 edges, 485 markings/sec, 100 secs
lola: 53776 markings, 197793 edges, 487 markings/sec, 105 secs
lola: 56235 markings, 206329 edges, 492 markings/sec, 110 secs
lola: 58686 markings, 216117 edges, 490 markings/sec, 115 secs
lola: 61140 markings, 225285 edges, 491 markings/sec, 120 secs
lola: 63590 markings, 234411 edges, 490 markings/sec, 125 secs
lola: 66054 markings, 243483 edges, 493 markings/sec, 130 secs
lola: 68518 markings, 252982 edges, 493 markings/sec, 135 secs
lola: 70981 markings, 262014 edges, 493 markings/sec, 140 secs
lola: 73443 markings, 271175 edges, 492 markings/sec, 145 secs
lola: 75908 markings, 280042 edges, 493 markings/sec, 150 secs
lola: 78367 markings, 289066 edges, 492 markings/sec, 155 secs
lola: 80826 markings, 298398 edges, 492 markings/sec, 160 secs
lola: 83282 markings, 307768 edges, 491 markings/sec, 165 secs
lola: 85731 markings, 316555 edges, 490 markings/sec, 170 secs
lola: 88175 markings, 326206 edges, 489 markings/sec, 175 secs
lola: 90622 markings, 335602 edges, 489 markings/sec, 180 secs
lola: 93075 markings, 344288 edges, 491 markings/sec, 185 secs
lola: 95527 markings, 353538 edges, 490 markings/sec, 190 secs
lola: 97984 markings, 362292 edges, 491 markings/sec, 195 secs
lola: 100444 markings, 370100 edges, 492 markings/sec, 200 secs
lola: 102902 markings, 378304 edges, 492 markings/sec, 205 secs
lola: 105353 markings, 386890 edges, 490 markings/sec, 210 secs
lola: 107786 markings, 394661 edges, 487 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(cAMP__44_44_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2493 markings, 8178 edges, 499 markings/sec, 0 secs
lola: 4992 markings, 17087 edges, 500 markings/sec, 5 secs
lola: 7476 markings, 26006 edges, 497 markings/sec, 10 secs
lola: 9955 markings, 34990 edges, 496 markings/sec, 15 secs
lola: 12434 markings, 43922 edges, 496 markings/sec, 20 secs
lola: 14921 markings, 52843 edges, 497 markings/sec, 25 secs
lola: 17406 markings, 61366 edges, 497 markings/sec, 30 secs
lola: 19889 markings, 69797 edges, 497 markings/sec, 35 secs
lola: 22371 markings, 78141 edges, 496 markings/sec, 40 secs
lola: 24850 markings, 85734 edges, 496 markings/sec, 45 secs
lola: 27334 markings, 93852 edges, 497 markings/sec, 50 secs
lola: 29828 markings, 101951 edges, 499 markings/sec, 55 secs
lola: 32319 markings, 110167 edges, 498 markings/sec, 60 secs
lola: 34813 markings, 118699 edges, 499 markings/sec, 65 secs
lola: 37300 markings, 128119 edges, 497 markings/sec, 70 secs
lola: 39784 markings, 137927 edges, 497 markings/sec, 75 secs
lola: 42280 markings, 146689 edges, 499 markings/sec, 80 secs
lola: 44786 markings, 154534 edges, 501 markings/sec, 85 secs
lola: 47294 markings, 162887 edges, 502 markings/sec, 90 secs
lola: 49799 markings, 171391 edges, 501 markings/sec, 95 secs
lola: 52301 markings, 179077 edges, 500 markings/sec, 100 secs
lola: 54813 markings, 187088 edges, 502 markings/sec, 105 secs
lola: 57337 markings, 194761 edges, 505 markings/sec, 110 secs
lola: 59859 markings, 202935 edges, 504 markings/sec, 115 secs
lola: 62377 markings, 211561 edges, 504 markings/sec, 120 secs
lola: 64894 markings, 220322 edges, 503 markings/sec, 125 secs
lola: 67417 markings, 228900 edges, 505 markings/sec, 130 secs
lola: 69935 markings, 238150 edges, 504 markings/sec, 135 secs
lola: 72454 markings, 246438 edges, 504 markings/sec, 140 secs
lola: 74974 markings, 254377 edges, 504 markings/sec, 145 secs
lola: 77489 markings, 262724 edges, 503 markings/sec, 150 secs
lola: 80018 markings, 270665 edges, 506 markings/sec, 155 secs
lola: 82534 markings, 278585 edges, 503 markings/sec, 160 secs
lola: 85023 markings, 286923 edges, 498 markings/sec, 165 secs
lola: 87534 markings, 295206 edges, 502 markings/sec, 170 secs
lola: 90046 markings, 302847 edges, 502 markings/sec, 175 secs
lola: 92560 markings, 310912 edges, 503 markings/sec, 180 secs
lola: 95071 markings, 318521 edges, 502 markings/sec, 185 secs
lola: 97584 markings, 327171 edges, 503 markings/sec, 190 secs
lola: 100096 markings, 334938 edges, 502 markings/sec, 195 secs
lola: 102607 markings, 342671 edges, 502 markings/sec, 200 secs
lola: 105111 markings, 350979 edges, 501 markings/sec, 205 secs
lola: 107612 markings, 359362 edges, 500 markings/sec, 210 secs
lola: 110104 markings, 368541 edges, 498 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(cAMP__1_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2455 markings, 8110 edges, 491 markings/sec, 0 secs
lola: 4915 markings, 16512 edges, 492 markings/sec, 5 secs
lola: 7371 markings, 24835 edges, 491 markings/sec, 10 secs
lola: 9831 markings, 32973 edges, 492 markings/sec, 15 secs
lola: 12284 markings, 41428 edges, 491 markings/sec, 20 secs
lola: 14745 markings, 49546 edges, 492 markings/sec, 25 secs
lola: 17205 markings, 58020 edges, 492 markings/sec, 30 secs
lola: 19660 markings, 66249 edges, 491 markings/sec, 35 secs
lola: 22117 markings, 73884 edges, 491 markings/sec, 40 secs
lola: 24574 markings, 82436 edges, 491 markings/sec, 45 secs
lola: 27033 markings, 90841 edges, 492 markings/sec, 50 secs
lola: 29497 markings, 98949 edges, 493 markings/sec, 55 secs
lola: 31953 markings, 107052 edges, 491 markings/sec, 60 secs
lola: 34433 markings, 115677 edges, 496 markings/sec, 65 secs
lola: 36909 markings, 123775 edges, 495 markings/sec, 70 secs
lola: 39386 markings, 132083 edges, 495 markings/sec, 75 secs
lola: 41866 markings, 140621 edges, 496 markings/sec, 80 secs
lola: 44341 markings, 149053 edges, 495 markings/sec, 85 secs
lola: 46812 markings, 157867 edges, 494 markings/sec, 90 secs
lola: 49279 markings, 166815 edges, 493 markings/sec, 95 secs
lola: 51761 markings, 175190 edges, 496 markings/sec, 100 secs
lola: 54238 markings, 183843 edges, 495 markings/sec, 105 secs
lola: 56722 markings, 191937 edges, 497 markings/sec, 110 secs
lola: 59202 markings, 200195 edges, 496 markings/sec, 115 secs
lola: 61679 markings, 208324 edges, 495 markings/sec, 120 secs
lola: 64158 markings, 215986 edges, 496 markings/sec, 125 secs
lola: 66632 markings, 224315 edges, 495 markings/sec, 130 secs
lola: 69108 markings, 232560 edges, 495 markings/sec, 135 secs
lola: 71600 markings, 240776 edges, 498 markings/sec, 140 secs
lola: 74095 markings, 249195 edges, 499 markings/sec, 145 secs
lola: 76578 markings, 257320 edges, 497 markings/sec, 150 secs
lola: 79052 markings, 265640 edges, 495 markings/sec, 155 secs
lola: 81522 markings, 274284 edges, 494 markings/sec, 160 secs
lola: 84003 markings, 282602 edges, 496 markings/sec, 165 secs
lola: 86481 markings, 290957 edges, 496 markings/sec, 170 secs
lola: 88959 markings, 299423 edges, 496 markings/sec, 175 secs
lola: 91435 markings, 308369 edges, 495 markings/sec, 180 secs
lola: 93910 markings, 316820 edges, 495 markings/sec, 185 secs
lola: 96384 markings, 325453 edges, 495 markings/sec, 190 secs
lola: 98860 markings, 333908 edges, 495 markings/sec, 195 secs
lola: 101338 markings, 342516 edges, 496 markings/sec, 200 secs
lola: 103814 markings, 351061 edges, 495 markings/sec, 205 secs
lola: 106287 markings, 359400 edges, 495 markings/sec, 210 secs
lola: 108764 markings, 367558 edges, 495 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(cAMP__35_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2460 markings, 8637 edges, 492 markings/sec, 0 secs
lola: 4923 markings, 17365 edges, 493 markings/sec, 5 secs
lola: 7380 markings, 26087 edges, 491 markings/sec, 10 secs
lola: 9841 markings, 34289 edges, 492 markings/sec, 15 secs
lola: 12301 markings, 42658 edges, 492 markings/sec, 20 secs
lola: 14766 markings, 51473 edges, 493 markings/sec, 25 secs
lola: 17226 markings, 59991 edges, 492 markings/sec, 30 secs
lola: 19691 markings, 68494 edges, 493 markings/sec, 35 secs
lola: 22149 markings, 77143 edges, 492 markings/sec, 40 secs
lola: 24617 markings, 85348 edges, 494 markings/sec, 45 secs
lola: 27086 markings, 93708 edges, 494 markings/sec, 50 secs
lola: 29552 markings, 102035 edges, 493 markings/sec, 55 secs
lola: 32018 markings, 110463 edges, 493 markings/sec, 60 secs
lola: 34488 markings, 118985 edges, 494 markings/sec, 65 secs
lola: 36948 markings, 127891 edges, 492 markings/sec, 70 secs
lola: 39411 markings, 137102 edges, 493 markings/sec, 75 secs
lola: 41875 markings, 146384 edges, 493 markings/sec, 80 secs
lola: 44341 markings, 155515 edges, 493 markings/sec, 85 secs
lola: 46804 markings, 164440 edges, 493 markings/sec, 90 secs
lola: 49268 markings, 173398 edges, 493 markings/sec, 95 secs
lola: 51748 markings, 181573 edges, 496 markings/sec, 100 secs
lola: 54215 markings, 189989 edges, 493 markings/sec, 105 secs
lola: 56682 markings, 198728 edges, 493 markings/sec, 110 secs
lola: 59148 markings, 207201 edges, 493 markings/sec, 115 secs
lola: 61618 markings, 215445 edges, 494 markings/sec, 120 secs
lola: 64084 markings, 223725 edges, 493 markings/sec, 125 secs
lola: 66548 markings, 232071 edges, 493 markings/sec, 130 secs
lola: 69018 markings, 240176 edges, 494 markings/sec, 135 secs
lola: 71490 markings, 248008 edges, 494 markings/sec, 140 secs
lola: 73960 markings, 255890 edges, 494 markings/sec, 145 secs
lola: 76433 markings, 263363 edges, 495 markings/sec, 150 secs
lola: 78899 markings, 272010 edges, 493 markings/sec, 155 secs
lola: 81366 markings, 279948 edges, 493 markings/sec, 160 secs
lola: 83830 markings, 288519 edges, 493 markings/sec, 165 secs
lola: 86294 markings, 297349 edges, 493 markings/sec, 170 secs
lola: 88762 markings, 306206 edges, 494 markings/sec, 175 secs
lola: 91231 markings, 314347 edges, 494 markings/sec, 180 secs
lola: 93705 markings, 322578 edges, 495 markings/sec, 185 secs
lola: 96156 markings, 332356 edges, 490 markings/sec, 190 secs
lola: 98614 markings, 340902 edges, 492 markings/sec, 195 secs
lola: 101070 markings, 349208 edges, 491 markings/sec, 200 secs
lola: 103518 markings, 357516 edges, 490 markings/sec, 205 secs
lola: 105965 markings, 365834 edges, 489 markings/sec, 210 secs
lola: 108437 markings, 374041 edges, 494 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(cAMP__13_38_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2475 markings, 8877 edges, 495 markings/sec, 0 secs
lola: 4957 markings, 16770 edges, 496 markings/sec, 5 secs
lola: 7431 markings, 24634 edges, 495 markings/sec, 10 secs
lola: 9913 markings, 32305 edges, 496 markings/sec, 15 secs
lola: 12391 markings, 40004 edges, 496 markings/sec, 20 secs
lola: 14867 markings, 47897 edges, 495 markings/sec, 25 secs
lola: 17346 markings, 55085 edges, 496 markings/sec, 30 secs
lola: 19826 markings, 62910 edges, 496 markings/sec, 35 secs
lola: 22303 markings, 71667 edges, 495 markings/sec, 40 secs
lola: 24779 markings, 79344 edges, 495 markings/sec, 45 secs
lola: 27252 markings, 87588 edges, 495 markings/sec, 50 secs
lola: 29731 markings, 95579 edges, 496 markings/sec, 55 secs
lola: 32222 markings, 103042 edges, 498 markings/sec, 60 secs
lola: 34700 markings, 110228 edges, 496 markings/sec, 65 secs
lola: 37172 markings, 117920 edges, 494 markings/sec, 70 secs
lola: 39637 markings, 126469 edges, 493 markings/sec, 75 secs
lola: 42108 markings, 134426 edges, 494 markings/sec, 80 secs
lola: 44583 markings, 142489 edges, 495 markings/sec, 85 secs
lola: 47054 markings, 150525 edges, 494 markings/sec, 90 secs
lola: 49534 markings, 157892 edges, 496 markings/sec, 95 secs
lola: 52008 markings, 165223 edges, 495 markings/sec, 100 secs
lola: 54485 markings, 172942 edges, 495 markings/sec, 105 secs
lola: 56959 markings, 181300 edges, 495 markings/sec, 110 secs
lola: 59432 markings, 189494 edges, 495 markings/sec, 115 secs
lola: 61910 markings, 197364 edges, 496 markings/sec, 120 secs
lola: 64374 markings, 205515 edges, 493 markings/sec, 125 secs
lola: 66854 markings, 212900 edges, 496 markings/sec, 130 secs
lola: 69334 markings, 220198 edges, 496 markings/sec, 135 secs
lola: 71815 markings, 227830 edges, 496 markings/sec, 140 secs
lola: 74292 markings, 236289 edges, 495 markings/sec, 145 secs
lola: 76767 markings, 244619 edges, 495 markings/sec, 150 secs
lola: 79246 markings, 252439 edges, 496 markings/sec, 155 secs
lola: 81719 markings, 260627 edges, 495 markings/sec, 160 secs
lola: 84209 markings, 268090 edges, 498 markings/sec, 165 secs
lola: 86690 markings, 275397 edges, 496 markings/sec, 170 secs
lola: 89176 markings, 282695 edges, 497 markings/sec, 175 secs
lola: 91655 markings, 290458 edges, 496 markings/sec, 180 secs
lola: 94124 markings, 298502 edges, 494 markings/sec, 185 secs
lola: 96595 markings, 306208 edges, 494 markings/sec, 190 secs
lola: 99074 markings, 313720 edges, 496 markings/sec, 195 secs
lola: 101554 markings, 321219 edges, 496 markings/sec, 200 secs
lola: 104035 markings, 328798 edges, 496 markings/sec, 205 secs
lola: 106507 markings, 336912 edges, 494 markings/sec, 210 secs
lola: 108982 markings, 344908 edges, 495 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(cAMP__50_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2502 markings, 9243 edges, 500 markings/sec, 0 secs
lola: 5010 markings, 18083 edges, 502 markings/sec, 5 secs
lola: 7516 markings, 26194 edges, 501 markings/sec, 10 secs
lola: 10026 markings, 34366 edges, 502 markings/sec, 15 secs
lola: 12538 markings, 42570 edges, 502 markings/sec, 20 secs
lola: 15050 markings, 50756 edges, 502 markings/sec, 25 secs
lola: 17557 markings, 58666 edges, 501 markings/sec, 30 secs
lola: 20061 markings, 67129 edges, 501 markings/sec, 35 secs
lola: 22570 markings, 75583 edges, 502 markings/sec, 40 secs
lola: 25073 markings, 84227 edges, 501 markings/sec, 45 secs
lola: 27566 markings, 92995 edges, 499 markings/sec, 50 secs
lola: 30067 markings, 101590 edges, 500 markings/sec, 55 secs
lola: 32572 markings, 110184 edges, 501 markings/sec, 60 secs
lola: 35065 markings, 118501 edges, 499 markings/sec, 65 secs
lola: 37572 markings, 126535 edges, 501 markings/sec, 70 secs
lola: 40058 markings, 134728 edges, 497 markings/sec, 75 secs
lola: 42538 markings, 142898 edges, 496 markings/sec, 80 secs
lola: 45019 markings, 151119 edges, 496 markings/sec, 85 secs
lola: 47496 markings, 159878 edges, 495 markings/sec, 90 secs
lola: 49977 markings, 168037 edges, 496 markings/sec, 95 secs
lola: 52457 markings, 175919 edges, 496 markings/sec, 100 secs
lola: 54932 markings, 184422 edges, 495 markings/sec, 105 secs
lola: 57405 markings, 192620 edges, 495 markings/sec, 110 secs
lola: 59895 markings, 200863 edges, 498 markings/sec, 115 secs
lola: 62384 markings, 209118 edges, 498 markings/sec, 120 secs
lola: 64871 markings, 217291 edges, 497 markings/sec, 125 secs
lola: 67353 markings, 225398 edges, 496 markings/sec, 130 secs
lola: 69826 markings, 233740 edges, 495 markings/sec, 135 secs
lola: 72318 markings, 242028 edges, 498 markings/sec, 140 secs
lola: 74808 markings, 250275 edges, 498 markings/sec, 145 secs
lola: 77297 markings, 258693 edges, 498 markings/sec, 150 secs
lola: 79774 markings, 266850 edges, 495 markings/sec, 155 secs
lola: 82260 markings, 274939 edges, 497 markings/sec, 160 secs
lola: 84755 markings, 282960 edges, 499 markings/sec, 165 secs
lola: 87260 markings, 291371 edges, 501 markings/sec, 170 secs
lola: 89769 markings, 299784 edges, 502 markings/sec, 175 secs
lola: 92279 markings, 308507 edges, 502 markings/sec, 180 secs
lola: 94747 markings, 316583 edges, 494 markings/sec, 185 secs
lola: 97258 markings, 324691 edges, 502 markings/sec, 190 secs
lola: 99782 markings, 333286 edges, 505 markings/sec, 195 secs
lola: 102299 markings, 341524 edges, 503 markings/sec, 200 secs
lola: 104814 markings, 350055 edges, 503 markings/sec, 205 secs
lola: 107318 markings, 358264 edges, 501 markings/sec, 210 secs
lola: 109822 markings, 366389 edges, 501 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(cAMP__14_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2455 markings, 8537 edges, 491 markings/sec, 0 secs
lola: 4925 markings, 17213 edges, 494 markings/sec, 5 secs
lola: 7405 markings, 25893 edges, 496 markings/sec, 10 secs
lola: 9879 markings, 34739 edges, 495 markings/sec, 15 secs
lola: 12337 markings, 43356 edges, 492 markings/sec, 20 secs
lola: 14810 markings, 51709 edges, 495 markings/sec, 25 secs
lola: 17278 markings, 59312 edges, 494 markings/sec, 30 secs
lola: 19743 markings, 67687 edges, 493 markings/sec, 35 secs
lola: 22203 markings, 76300 edges, 492 markings/sec, 40 secs
lola: 24667 markings, 84885 edges, 493 markings/sec, 45 secs
lola: 27127 markings, 94075 edges, 492 markings/sec, 50 secs
lola: 29585 markings, 102875 edges, 492 markings/sec, 55 secs
lola: 32039 markings, 111962 edges, 491 markings/sec, 60 secs
lola: 34498 markings, 120937 edges, 492 markings/sec, 65 secs
lola: 36967 markings, 129703 edges, 494 markings/sec, 70 secs
lola: 39434 markings, 138120 edges, 493 markings/sec, 75 secs
lola: 41890 markings, 147739 edges, 491 markings/sec, 80 secs
lola: 44357 markings, 155887 edges, 493 markings/sec, 85 secs
lola: 46832 markings, 164002 edges, 495 markings/sec, 90 secs
lola: 49308 markings, 172028 edges, 495 markings/sec, 95 secs
lola: 51773 markings, 180825 edges, 493 markings/sec, 100 secs
lola: 54232 markings, 190215 edges, 492 markings/sec, 105 secs
lola: 56684 markings, 200759 edges, 490 markings/sec, 110 secs
lola: 59147 markings, 209647 edges, 493 markings/sec, 115 secs
lola: 61606 markings, 218644 edges, 492 markings/sec, 120 secs
lola: 64077 markings, 227351 edges, 494 markings/sec, 125 secs
lola: 66539 markings, 236460 edges, 492 markings/sec, 130 secs
lola: 69012 markings, 244597 edges, 495 markings/sec, 135 secs
lola: 71489 markings, 252739 edges, 495 markings/sec, 140 secs
lola: 73965 markings, 261168 edges, 495 markings/sec, 145 secs
lola: 76432 markings, 270443 edges, 493 markings/sec, 150 secs
lola: 78911 markings, 278208 edges, 496 markings/sec, 155 secs
lola: 81372 markings, 286453 edges, 492 markings/sec, 160 secs
lola: 83832 markings, 294936 edges, 492 markings/sec, 165 secs
lola: 86289 markings, 303060 edges, 491 markings/sec, 170 secs
lola: 88744 markings, 311629 edges, 491 markings/sec, 175 secs
lola: 91186 markings, 321196 edges, 488 markings/sec, 180 secs
lola: 93641 markings, 330682 edges, 491 markings/sec, 185 secs
lola: 96125 markings, 340144 edges, 497 markings/sec, 190 secs
lola: 98583 markings, 349975 edges, 492 markings/sec, 195 secs
lola: 101043 markings, 359271 edges, 492 markings/sec, 200 secs
lola: 103498 markings, 368006 edges, 491 markings/sec, 205 secs
lola: 105941 markings, 377466 edges, 489 markings/sec, 210 secs
lola: 108386 markings, 386760 edges, 489 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(cAMP__8_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 9996 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: 2466 markings, 8797 edges, 493 markings/sec, 0 secs
lola: 4951 markings, 17431 edges, 497 markings/sec, 5 secs
lola: 7432 markings, 26197 edges, 496 markings/sec, 10 secs
lola: 9901 markings, 34824 edges, 494 markings/sec, 15 secs
lola: 12377 markings, 43501 edges, 495 markings/sec, 20 secs
lola: 14848 markings, 52294 edges, 494 markings/sec, 25 secs
lola: 17328 markings, 60327 edges, 496 markings/sec, 30 secs
lola: 19800 markings, 68532 edges, 494 markings/sec, 35 secs
lola: 22268 markings, 77916 edges, 494 markings/sec, 40 secs
lola: 24738 markings, 87491 edges, 494 markings/sec, 45 secs
lola: 27217 markings, 95384 edges, 496 markings/sec, 50 secs
lola: 29696 markings, 103998 edges, 496 markings/sec, 55 secs
lola: 32171 markings, 113064 edges, 495 markings/sec, 60 secs
lola: 34641 markings, 121985 edges, 494 markings/sec, 65 secs
lola: 37110 markings, 131055 edges, 494 markings/sec, 70 secs
lola: 39606 markings, 139470 edges, 499 markings/sec, 75 secs
lola: 42111 markings, 148478 edges, 501 markings/sec, 80 secs
lola: 44614 markings, 157418 edges, 501 markings/sec, 85 secs
lola: 47119 markings, 166725 edges, 501 markings/sec, 90 secs
lola: 49621 markings, 175686 edges, 500 markings/sec, 95 secs
lola: 52121 markings, 184436 edges, 500 markings/sec, 100 secs
lola: 54616 markings, 192997 edges, 499 markings/sec, 105 secs
lola: 57108 markings, 201634 edges, 498 markings/sec, 110 secs
lola: 59597 markings, 210517 edges, 498 markings/sec, 115 secs
lola: 62086 markings, 219604 edges, 498 markings/sec, 120 secs
lola: 64574 markings, 228890 edges, 498 markings/sec, 125 secs
lola: 67061 markings, 237972 edges, 497 markings/sec, 130 secs
lola: 69548 markings, 247523 edges, 497 markings/sec, 135 secs
lola: 72040 markings, 256491 edges, 498 markings/sec, 140 secs
lola: 74533 markings, 265227 edges, 499 markings/sec, 145 secs
lola: 77020 markings, 273716 edges, 497 markings/sec, 150 secs
lola: 79496 markings, 281991 edges, 495 markings/sec, 155 secs
lola: 81964 markings, 291372 edges, 494 markings/sec, 160 secs
lola: 84423 markings, 299927 edges, 492 markings/sec, 165 secs
lola: 86881 markings, 308701 edges, 492 markings/sec, 170 secs
lola: 89323 markings, 317353 edges, 488 markings/sec, 175 secs
lola: 91771 markings, 326530 edges, 490 markings/sec, 180 secs
lola: 94220 markings, 335533 edges, 490 markings/sec, 185 secs
lola: 96680 markings, 343997 edges, 492 markings/sec, 190 secs
lola: 99150 markings, 352279 edges, 494 markings/sec, 195 secs
lola: 101602 markings, 360956 edges, 490 markings/sec, 200 secs
lola: 104045 markings, 369813 edges, 489 markings/sec, 205 secs
lola: 106513 markings, 377844 edges, 494 markings/sec, 210 secs
lola: 108976 markings, 386569 edges, 493 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 Diffusion2D-PT-D50N150-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D50N150-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494644349932
--------------------
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="Diffusion2D-PT-D50N150"
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/Diffusion2D-PT-D50N150.tgz
mv Diffusion2D-PT-D50N150 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 Diffusion2D-PT-D50N150, 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 r018-ebro-149436309300434"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;