MCC'2017 - Execution of r098-ebro-149488455500101

About the Execution of LoLA for S_CSRepetitions-COL-10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
10838.000	3540603.00	3557522.00	447.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
........................
======
Generated by BenchKit 2-3253
Executing tool lola
Input is S_CSRepetitions-COL-10,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
============================

--------------------
content from stdout:

=== Data for post analysis

The expected result
NUM_VECTOR

here is the order used
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C

=== Now, execution

BK_START 1496444554064

Time: 3600 - MCC
----- Start make prepare
============================
S_CSRepetitions-COL-10:
============================
translating COL Petri
checking for too many tokens
============================
S_CSRepetitions-COL-10:
============================
translating formula complete
----- Start make result
UpperBounds @ S_CSRepetitions-COL-10
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 3611/65536
lola: preprocessing...
lola: finding significant
lola: 1311 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 3501 transition
lola: TASK
lola: reading formula
lola: MAX(p101 +
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 23216 markings,
lola: 46602 markings,
lola: 69973 markings,
lola: 93311 markings,
lola: 116643 markings,
lola: 139972 markings,
lola: 163264 markings,
lola: 186598 markings,
lola: 209911 markings,
lola: 233224 markings,
lola: 256540 markings,
lola: 279849 markings,
lola: 303169 markings,
lola: 326446 markings,
lola: 349723 markings,
lola: 373033 markings,
lola: 396146 markings,
lola: 419274 markings,
lola: 442292 markings,
lola: 465307 markings,
lola: 488036 markings,
lola: 510691 markings,
lola: 533798 markings,
lola: 556887 markings,
lola: 580002 markings,
lola: 603096 markings,
lola: 626209 markings,
lola: 649186 markings,
lola: 672359 markings,
lola: 695534 markings,
lola: 718715 markings,
lola: 741872 markings,
lola: 764810 markings,
lola: 787771 markings,
lola: 810623 markings,
lola: 833425 markings,
lola: 856057 markings,
lola: 878705 markings,
lola: 901394 markings,
lola: 924133 markings,
lola: 946983 markings,
lola: 969830 markings,
lola: 992698 markings,
lola: 1015625 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 51725 markings,
lola: 102287 markings,
lola: 152149 markings,
lola: 201406 markings,
lola: 250207 markings,
lola: 299411 markings,
lola: 347404 markings,
lola: 393903 markings,
lola: 439380 markings,
lola: 483156 markings,
lola: 526778 markings,
lola: 573413 markings,
lola: 619019 markings,
lola: 663745 markings,
lola: 709047 markings,
lola: 753187 markings,
lola: 797912 markings,
lola: 844113 markings,
lola: 889790 markings,
lola: 934850 markings,
lola: 979245 markings,
lola: 1023475 markings,
lola: 1069017 markings,
lola: 1115984 markings,
lola: 1162817 markings,
lola: 1209742 markings,
lola: 1253530 markings,
lola: 1297413 markings,
lola: 1343516 markings,
lola: 1388757 markings,
lola: 1432393 markings,
lola: 1476087 markings,
lola: 1519387 markings,
lola: 1562520 markings,
lola: 1606455 markings,
lola: 1650497 markings,
lola: 1694697 markings,
lola: 1739645 markings,
lola: 1783584 markings,
lola: 1826837 markings,
lola: 1871461 markings,
lola: 1915875 markings,
lola: 1959773 markings,
lola: 2003799 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24555 markings,
lola: 47573 markings,
lola: 70538 markings,
lola: 93485 markings,
lola: 116442 markings,
lola: 139396 markings,
lola: 162407 markings,
lola: 185393 markings,
lola: 208324 markings,
lola: 231383 markings,
lola: 254399 markings,
lola: 277418 markings,
lola: 300434 markings,
lola: 323451 markings,
lola: 346520 markings,
lola: 369324 markings,
lola: 392387 markings,
lola: 415455 markings,
lola: 438510 markings,
lola: 461570 markings,
lola: 484642 markings,
lola: 507696 markings,
lola: 530743 markings,
lola: 553743 markings,
lola: 576718 markings,
lola: 599692 markings,
lola: 622679 markings,
lola: 645676 markings,
lola: 668626 markings,
lola: 691536 markings,
lola: 714498 markings,
lola: 737401 markings,
lola: 760276 markings,
lola: 783078 markings,
lola: 805788 markings,
lola: 828510 markings,
lola: 851241 markings,
lola: 874038 markings,
lola: 896952 markings,
lola: 919881 markings,
lola: 942761 markings,
lola: 965582 markings,
lola: 988349 markings,
lola: 1011126 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 50306 markings,
lola: 99226 markings,
lola: 146864 markings,
lola: 194628 markings,
lola: 242544 markings,
lola: 289369 markings,
lola: 337013 markings,
lola: 384302 markings,
lola: 430833 markings,
lola: 476591 markings,
lola: 521158 markings,
lola: 568543 markings,
lola: 616285 markings,
lola: 661709 markings,
lola: 709012 markings,
lola: 754823 markings,
lola: 800506 markings,
lola: 847638 markings,
lola: 894484 markings,
lola: 940384 markings,
lola: 985284 markings,
lola: 1029831 markings,
lola: 1075668 markings,
lola: 1123054 markings,
lola: 1170139 markings,
lola: 1217196 markings,
lola: 1263541 markings,
lola: 1308326 markings,
lola: 1354214 markings,
lola: 1399188 markings,
lola: 1442685 markings,
lola: 1486681 markings,
lola: 1530490 markings,
lola: 1573385 markings,
lola: 1618509 markings,
lola: 1662151 markings,
lola: 1705261 markings,
lola: 1749843 markings,
lola: 1793444 markings,
lola: 1836371 markings,
lola: 1881331 markings,
lola: 1925171 markings,
lola: 1968277 markings,
lola: 2012182 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 58706 markings,
lola: 117117 markings,
lola: 174822 markings,
lola: 231829 markings,
lola: 288964 markings,
lola: 345759 markings,
lola: 401988 markings,
lola: 458219 markings,
lola: 514474 markings,
lola: 571398 markings,
lola: 627824 markings,
lola: 683965 markings,
lola: 739741 markings,
lola: 795276 markings,
lola: 851452 markings,
lola: 907100 markings,
lola: 962219 markings,
lola: 1016728 markings,
lola: 1071221 markings,
lola: 1126563 markings,
lola: 1181517 markings,
lola: 1236771 markings,
lola: 1291554 markings,
lola: 1346608 markings,
lola: 1401644 markings,
lola: 1456301 markings,
lola: 1510853 markings,
lola: 1564881 markings,
lola: 1619877 markings,
lola: 1674679 markings,
lola: 1729321 markings,
lola: 1783778 markings,
lola: 1837628 markings,
lola: 1892401 markings,
lola: 1946593 markings,
lola: 2000391 markings,
lola: 2053990 markings,
lola: 2107828 markings,
lola: 2162532 markings,
lola: 2217684 markings,
lola: 2271324 markings,
lola: 2325976 markings,
lola: 2381206 markings,
lola: 2436717 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24721 markings,
lola: 47677 markings,
lola: 70693 markings,
lola: 93773 markings,
lola: 116607 markings,
lola: 139120 markings,
lola: 161743 markings,
lola: 184657 markings,
lola: 207639 markings,
lola: 230612 markings,
lola: 253602 markings,
lola: 276604 markings,
lola: 299609 markings,
lola: 322587 markings,
lola: 345598 markings,
lola: 368579 markings,
lola: 391583 markings,
lola: 414563 markings,
lola: 437464 markings,
lola: 460439 markings,
lola: 483211 markings,
lola: 506285 markings,
lola: 529295 markings,
lola: 552273 markings,
lola: 575325 markings,
lola: 598357 markings,
lola: 621451 markings,
lola: 644532 markings,
lola: 667621 markings,
lola: 690662 markings,
lola: 713725 markings,
lola: 736815 markings,
lola: 759875 markings,
lola: 782956 markings,
lola: 806039 markings,
lola: 829127 markings,
lola: 852163 markings,
lola: 875219 markings,
lola: 898281 markings,
lola: 921348 markings,
lola: 944431 markings,
lola: 967505 markings,
lola: 990576 markings,
lola: 1013617 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 58096 markings,
lola: 116005 markings,
lola: 173534 markings,
lola: 230708 markings,
lola: 287871 markings,
lola: 344843 markings,
lola: 401047 markings,
lola: 457146 markings,
lola: 512856 markings,
lola: 569222 markings,
lola: 625680 markings,
lola: 682136 markings,
lola: 738732 markings,
lola: 794562 markings,
lola: 851291 markings,
lola: 905626 markings,
lola: 960065 markings,
lola: 1014278 markings,
lola: 1069211 markings,
lola: 1124429 markings,
lola: 1179198 markings,
lola: 1232538 markings,
lola: 1285569 markings,
lola: 1338610 markings,
lola: 1391265 markings,
lola: 1443415 markings,
lola: 1496015 markings,
lola: 1547787 markings,
lola: 1601257 markings,
lola: 1655872 markings,
lola: 1709928 markings,
lola: 1764196 markings,
lola: 1818007 markings,
lola: 1872199 markings,
lola: 1926598 markings,
lola: 1981494 markings,
lola: 2035918 markings,
lola: 2088928 markings,
lola: 2143689 markings,
lola: 2198989 markings,
lola: 2254224 markings,
lola: 2309021 markings,
lola: 2363513 markings,
lola: 2418869 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 23249 markings,
lola: 46403 markings,
lola: 69646 markings,
lola: 93011 markings,
lola: 116346 markings,
lola: 139663 markings,
lola: 163042 markings,
lola: 186435 markings,
lola: 209788 markings,
lola: 233122 markings,
lola: 256432 markings,
lola: 279714 markings,
lola: 302752 markings,
lola: 325814 markings,
lola: 349098 markings,
lola: 372375 markings,
lola: 395641 markings,
lola: 418913 markings,
lola: 442183 markings,
lola: 465430 markings,
lola: 488573 markings,
lola: 511751 markings,
lola: 534931 markings,
lola: 558161 markings,
lola: 581429 markings,
lola: 604690 markings,
lola: 627905 markings,
lola: 651131 markings,
lola: 674367 markings,
lola: 697588 markings,
lola: 720796 markings,
lola: 744007 markings,
lola: 767184 markings,
lola: 790134 markings,
lola: 813313 markings,
lola: 836490 markings,
lola: 859660 markings,
lola: 882820 markings,
lola: 905968 markings,
lola: 929092 markings,
lola: 952228 markings,
lola: 975229 markings,
lola: 998120 markings,
lola: 1021290 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24082 markings,
lola: 46626 markings,
lola: 69446 markings,
lola: 92214 markings,
lola: 114938 markings,
lola: 137716 markings,
lola: 160485 markings,
lola: 183204 markings,
lola: 205974 markings,
lola: 228840 markings,
lola: 251760 markings,
lola: 274575 markings,
lola: 297388 markings,
lola: 320215 markings,
lola: 343076 markings,
lola: 365945 markings,
lola: 388814 markings,
lola: 411683 markings,
lola: 434563 markings,
lola: 457464 markings,
lola: 480344 markings,
lola: 503210 markings,
lola: 526038 markings,
lola: 548868 markings,
lola: 571346 markings,
lola: 594010 markings,
lola: 616724 markings,
lola: 639418 markings,
lola: 662162 markings,
lola: 685077 markings,
lola: 707807 markings,
lola: 730548 markings,
lola: 753268 markings,
lola: 776007 markings,
lola: 798912 markings,
lola: 821820 markings,
lola: 844789 markings,
lola: 867744 markings,
lola: 890707 markings,
lola: 913662 markings,
lola: 936615 markings,
lola: 959593 markings,
lola: 982562 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 51268 markings,
lola: 99896 markings,
lola: 147912 markings,
lola: 196672 markings,
lola: 245115 markings,
lola: 292620 markings,
lola: 339913 markings,
lola: 386322 markings,
lola: 433470 markings,
lola: 479782 markings,
lola: 524468 markings,
lola: 572214 markings,
lola: 618882 markings,
lola: 664502 markings,
lola: 710363 markings,
lola: 755339 markings,
lola: 800119 markings,
lola: 845821 markings,
lola: 891076 markings,
lola: 935977 markings,
lola: 980952 markings,
lola: 1025740 markings,
lola: 1072263 markings,
lola: 1119977 markings,
lola: 1167318 markings,
lola: 1214443 markings,
lola: 1261114 markings,
lola: 1306755 markings,
lola: 1354204 markings,
lola: 1400779 markings,
lola: 1446525 markings,
lola: 1493015 markings,
lola: 1538340 markings,
lola: 1583249 markings,
lola: 1629515 markings,
lola: 1674346 markings,
lola: 1718456 markings,
lola: 1762639 markings,
lola: 1806436 markings,
lola: 1850820 markings,
lola: 1895440 markings,
lola: 1940057 markings,
lola: 1984284 markings,
lola: 2029120 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24336 markings,
lola: 47446 markings,
lola: 70426 markings,
lola: 93384 markings,
lola: 116280 markings,
lola: 139263 markings,
lola: 162345 markings,
lola: 185360 markings,
lola: 208359 markings,
lola: 231345 markings,
lola: 254326 markings,
lola: 277315 markings,
lola: 300325 markings,
lola: 323312 markings,
lola: 346279 markings,
lola: 369243 markings,
lola: 392218 markings,
lola: 415211 markings,
lola: 438173 markings,
lola: 461120 markings,
lola: 484072 markings,
lola: 507043 markings,
lola: 529960 markings,
lola: 552866 markings,
lola: 575792 markings,
lola: 598717 markings,
lola: 621640 markings,
lola: 644559 markings,
lola: 667471 markings,
lola: 690397 markings,
lola: 713314 markings,
lola: 736062 markings,
lola: 759017 markings,
lola: 781708 markings,
lola: 804612 markings,
lola: 827498 markings,
lola: 850020 markings,
lola: 872894 markings,
lola: 895163 markings,
lola: 917891 markings,
lola: 940709 markings,
lola: 963514 markings,
lola: 986331 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22999 markings,
lola: 46149 markings,
lola: 69256 markings,
lola: 92348 markings,
lola: 115448 markings,
lola: 138546 markings,
lola: 161580 markings,
lola: 184628 markings,
lola: 207678 markings,
lola: 230690 markings,
lola: 253756 markings,
lola: 276901 markings,
lola: 300011 markings,
lola: 323087 markings,
lola: 346267 markings,
lola: 369544 markings,
lola: 392817 markings,
lola: 416096 markings,
lola: 439376 markings,
lola: 462625 markings,
lola: 485875 markings,
lola: 509105 markings,
lola: 532374 markings,
lola: 555713 markings,
lola: 579056 markings,
lola: 602263 markings,
lola: 625476 markings,
lola: 648752 markings,
lola: 672029 markings,
lola: 695293 markings,
lola: 718595 markings,
lola: 741877 markings,
lola: 765166 markings,
lola: 788337 markings,
lola: 811148 markings,
lola: 834307 markings,
lola: 857481 markings,
lola: 880653 markings,
lola: 903639 markings,
lola: 926892 markings,
lola: 950142 markings,
lola: 973388 markings,
lola: 996655 markings,
lola: 1019929 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 51569 markings,
lola: 102009 markings,
lola: 151885 markings,
lola: 200893 markings,
lola: 249603 markings,
lola: 298253 markings,
lola: 347001 markings,
lola: 394865 markings,
lola: 443417 markings,
lola: 490990 markings,
lola: 538873 markings,
lola: 587489 markings,
lola: 635537 markings,
lola: 683128 markings,
lola: 730401 markings,
lola: 777106 markings,
lola: 824802 markings,
lola: 872278 markings,
lola: 918777 markings,
lola: 965941 markings,
lola: 1012191 markings,
lola: 1058598 markings,
lola: 1107178 markings,
lola: 1155217 markings,
lola: 1202919 markings,
lola: 1250116 markings,
lola: 1296830 markings,
lola: 1343920 markings,
lola: 1389563 markings,
lola: 1433505 markings,
lola: 1479119 markings,
lola: 1523785 markings,
lola: 1567480 markings,
lola: 1613669 markings,
lola: 1659384 markings,
lola: 1704158 markings,
lola: 1749780 markings,
lola: 1794165 markings,
lola: 1837817 markings,
lola: 1883982 markings,
lola: 1928502 markings,
lola: 1972041 markings,
lola: 2014953 markings,
lola: 2057541 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24568 markings,
lola: 47774 markings,
lola: 70954 markings,
lola: 94118 markings,
lola: 117227 markings,
lola: 140319 markings,
lola: 163410 markings,
lola: 186514 markings,
lola: 209633 markings,
lola: 232738 markings,
lola: 255852 markings,
lola: 278967 markings,
lola: 301856 markings,
lola: 324732 markings,
lola: 347611 markings,
lola: 370553 markings,
lola: 393662 markings,
lola: 416735 markings,
lola: 439789 markings,
lola: 462810 markings,
lola: 485827 markings,
lola: 508865 markings,
lola: 531905 markings,
lola: 554936 markings,
lola: 577970 markings,
lola: 601046 markings,
lola: 624119 markings,
lola: 647127 markings,
lola: 670201 markings,
lola: 693266 markings,
lola: 716336 markings,
lola: 739288 markings,
lola: 762110 markings,
lola: 784804 markings,
lola: 807520 markings,
lola: 830313 markings,
lola: 853106 markings,
lola: 875888 markings,
lola: 898728 markings,
lola: 921557 markings,
lola: 944392 markings,
lola: 967173 markings,
lola: 990059 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 23281 markings,
lola: 46710 markings,
lola: 70086 markings,
lola: 93487 markings,
lola: 116880 markings,
lola: 140266 markings,
lola: 163626 markings,
lola: 186982 markings,
lola: 210332 markings,
lola: 233731 markings,
lola: 257098 markings,
lola: 280471 markings,
lola: 303853 markings,
lola: 327202 markings,
lola: 350568 markings,
lola: 373449 markings,
lola: 396498 markings,
lola: 419286 markings,
lola: 442039 markings,
lola: 465058 markings,
lola: 488106 markings,
lola: 511178 markings,
lola: 534229 markings,
lola: 557361 markings,
lola: 580580 markings,
lola: 603685 markings,
lola: 626794 markings,
lola: 649866 markings,
lola: 672885 markings,
lola: 696208 markings,
lola: 719576 markings,
lola: 742913 markings,
lola: 766179 markings,
lola: 789463 markings,
lola: 812750 markings,
lola: 836015 markings,
lola: 859279 markings,
lola: 882535 markings,
lola: 905798 markings,
lola: 929038 markings,
lola: 952272 markings,
lola: 975511 markings,
lola: 998781 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 52193 markings,
lola: 102950 markings,
lola: 152971 markings,
lola: 202275 markings,
lola: 250887 markings,
lola: 300499 markings,
lola: 349351 markings,
lola: 397237 markings,
lola: 445191 markings,
lola: 491393 markings,
lola: 538061 markings,
lola: 586293 markings,
lola: 633846 markings,
lola: 681639 markings,
lola: 728916 markings,
lola: 775211 markings,
lola: 821584 markings,
lola: 867525 markings,
lola: 912734 markings,
lola: 958615 markings,
lola: 1003059 markings,
lola: 1046658 markings,
lola: 1095188 markings,
lola: 1142289 markings,
lola: 1189805 markings,
lola: 1237446 markings,
lola: 1284137 markings,
lola: 1331272 markings,
lola: 1378085 markings,
lola: 1425072 markings,
lola: 1471763 markings,
lola: 1517452 markings,
lola: 1562096 markings,
lola: 1608609 markings,
lola: 1655521 markings,
lola: 1701723 markings,
lola: 1748863 markings,
lola: 1795022 markings,
lola: 1840543 markings,
lola: 1886879 markings,
lola: 1931839 markings,
lola: 1976558 markings,
lola: 2021121 markings,
lola: 2065267 markings,
lola: local time
lola: time limit
lola:
preliminary result:
FORMULA CSRepetitions-COL
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
----- Kill lola
----- Finished stdout -----

BK_STOP 1496448094667

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

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r098-ebro-149488455500101 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) OL-10-UpperBounds-0 OL-10-UpperBounds-1 OL-10-UpperBounds-10 OL-10-UpperBounds-11 OL-10-UpperBounds-12 OL-10-UpperBounds-13 OL-10-UpperBounds-14 OL-10-UpperBounds-15 OL-10-UpperBounds-2 OL-10-UpperBounds-3 OL-10-UpperBounds-4 OL-10-UpperBounds-5 OL-10-UpperBounds-6 OL-10-UpperBounds-7 OL-10-UpperBounds-8 OL-10-UpperBounds-9 of the tool begins stdout ----- =============================================================== translating COL Petri net model.pnml into LoLA format =============================================================== net complete =============================================================== translating COL formula UpperBounds into LoLA format =============================================================== stdout ----- @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 6 collisions places 2300 transitions, 1201 significant places sets sets conflict sets from CSRepetitions-COL-10-UpperBounds.task p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p0) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210) : MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903 + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p979 + p978 + p977 + p976 + p975 + p974 + p973 + p972 + p971 + p970 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210) : MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903 + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p979 + p978 + p977 + p976 + p975 + p974 + p973 + p972 + p971 + p970 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903 + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p979 + p978 + p977 + p976 + p975 + p974 + p973 + p972 + p971 + p970 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p0) : MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 23443 edges, 4643 markings/sec, 0 secs 46829 edges, 4677 markings/sec, 5 secs 70200 edges, 4674 markings/sec, 10 secs 93538 edges, 4668 markings/sec, 15 secs 116870 edges, 4666 markings/sec, 20 secs 140199 edges, 4666 markings/sec, 25 secs 163491 edges, 4658 markings/sec, 30 secs 186825 edges, 4667 markings/sec, 35 secs 210138 edges, 4663 markings/sec, 40 secs 233451 edges, 4663 markings/sec, 45 secs 256767 edges, 4663 markings/sec, 50 secs 280076 edges, 4662 markings/sec, 55 secs 303396 edges, 4664 markings/sec, 60 secs 326673 edges, 4655 markings/sec, 65 secs 349950 edges, 4655 markings/sec, 70 secs 373260 edges, 4662 markings/sec, 75 secs 396373 edges, 4623 markings/sec, 80 secs 419501 edges, 4626 markings/sec, 85 secs 442519 edges, 4604 markings/sec, 90 secs 465534 edges, 4603 markings/sec, 95 secs 488263 edges, 4546 markings/sec, 100 secs 510918 edges, 4531 markings/sec, 105 secs 534025 edges, 4621 markings/sec, 110 secs 557114 edges, 4618 markings/sec, 115 secs 580229 edges, 4623 markings/sec, 120 secs 603323 edges, 4619 markings/sec, 125 secs 626436 edges, 4623 markings/sec, 130 secs 649413 edges, 4595 markings/sec, 135 secs 672586 edges, 4635 markings/sec, 140 secs 695761 edges, 4635 markings/sec, 145 secs 718942 edges, 4636 markings/sec, 150 secs 742099 edges, 4631 markings/sec, 155 secs 765037 edges, 4588 markings/sec, 160 secs 787998 edges, 4592 markings/sec, 165 secs 810850 edges, 4570 markings/sec, 170 secs 833652 edges, 4560 markings/sec, 175 secs 856284 edges, 4526 markings/sec, 180 secs 878932 edges, 4530 markings/sec, 185 secs 901621 edges, 4538 markings/sec, 190 secs 924360 edges, 4548 markings/sec, 195 secs 947210 edges, 4570 markings/sec, 200 secs 970057 edges, 4569 markings/sec, 205 secs 992925 edges, 4574 markings/sec, 210 secs 1015852 edges, 4585 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 1 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p6... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 283676 edges, 10345 markings/sec, 0 secs 599659 edges, 10112 markings/sec, 5 secs 923386 edges, 9972 markings/sec, 10 secs 1255696 edges, 9851 markings/sec, 15 secs 1604337 edges, 9760 markings/sec, 20 secs 1929835 edges, 9841 markings/sec, 25 secs 2256801 edges, 9599 markings/sec, 30 secs 2607864 edges, 9300 markings/sec, 35 secs 2923848 edges, 9095 markings/sec, 40 secs 3259093 edges, 8755 markings/sec, 45 secs 3615544 edges, 8724 markings/sec, 50 secs 3910705 edges, 9327 markings/sec, 55 secs 4225965 edges, 9121 markings/sec, 60 secs 4556310 edges, 8945 markings/sec, 65 secs 4881738 edges, 9060 markings/sec, 70 secs 5225099 edges, 8828 markings/sec, 75 secs 5575274 edges, 8945 markings/sec, 80 secs 5913239 edges, 9240 markings/sec, 85 secs 6265935 edges, 9135 markings/sec, 90 secs 6628814 edges, 9012 markings/sec, 95 secs 6991579 edges, 8879 markings/sec, 100 secs 7365807 edges, 8846 markings/sec, 105 secs 7719050 edges, 9108 markings/sec, 110 secs 8037523 edges, 9393 markings/sec, 115 secs 8367421 edges, 9367 markings/sec, 120 secs 8705553 edges, 9385 markings/sec, 125 secs 9035163 edges, 8758 markings/sec, 130 secs 9382495 edges, 8777 markings/sec, 135 secs 9727484 edges, 9221 markings/sec, 140 secs 10064720 edges, 9048 markings/sec, 145 secs 10415180 edges, 8727 markings/sec, 150 secs 10761508 edges, 8739 markings/sec, 155 secs 11118737 edges, 8660 markings/sec, 160 secs 11496826 edges, 8627 markings/sec, 165 secs 11829227 edges, 8787 markings/sec, 170 secs 12158659 edges, 8808 markings/sec, 175 secs 12513803 edges, 8840 markings/sec, 180 secs 12868936 edges, 8990 markings/sec, 185 secs 13233084 edges, 8788 markings/sec, 190 secs 13615463 edges, 8651 markings/sec, 195 secs 13972447 edges, 8925 markings/sec, 200 secs 14341588 edges, 8883 markings/sec, 205 secs 14730052 edges, 8780 markings/sec, 210 secs 15107992 edges, 8805 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 2 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p0) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 25194 edges, 4911 markings/sec, 0 secs 48212 edges, 4604 markings/sec, 5 secs 71177 edges, 4593 markings/sec, 10 secs 94124 edges, 4589 markings/sec, 15 secs 117081 edges, 4591 markings/sec, 20 secs 140035 edges, 4591 markings/sec, 25 secs 163046 edges, 4602 markings/sec, 30 secs 186032 edges, 4597 markings/sec, 35 secs 208963 edges, 4586 markings/sec, 40 secs 232022 edges, 4612 markings/sec, 45 secs 255038 edges, 4603 markings/sec, 50 secs 278057 edges, 4604 markings/sec, 55 secs 301073 edges, 4603 markings/sec, 60 secs 324090 edges, 4603 markings/sec, 65 secs 347159 edges, 4614 markings/sec, 70 secs 369963 edges, 4561 markings/sec, 75 secs 393026 edges, 4613 markings/sec, 80 secs 416094 edges, 4614 markings/sec, 85 secs 439149 edges, 4611 markings/sec, 90 secs 462209 edges, 4612 markings/sec, 95 secs 485282 edges, 4614 markings/sec, 100 secs 508336 edges, 4611 markings/sec, 105 secs 531382 edges, 4609 markings/sec, 110 secs 554382 edges, 4600 markings/sec, 115 secs 577357 edges, 4595 markings/sec, 120 secs 600331 edges, 4595 markings/sec, 125 secs 623318 edges, 4597 markings/sec, 130 secs 646315 edges, 4599 markings/sec, 135 secs 669265 edges, 4590 markings/sec, 140 secs 692175 edges, 4582 markings/sec, 145 secs 715137 edges, 4592 markings/sec, 150 secs 738040 edges, 4581 markings/sec, 155 secs 760915 edges, 4575 markings/sec, 160 secs 783717 edges, 4560 markings/sec, 165 secs 806427 edges, 4542 markings/sec, 170 secs 829149 edges, 4544 markings/sec, 175 secs 851880 edges, 4546 markings/sec, 180 secs 874677 edges, 4559 markings/sec, 185 secs 897591 edges, 4583 markings/sec, 190 secs 920520 edges, 4586 markings/sec, 195 secs 943400 edges, 4576 markings/sec, 200 secs 966222 edges, 4564 markings/sec, 205 secs 988988 edges, 4553 markings/sec, 210 secs 1011765 edges, 4555 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 3 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p6... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 275694 edges, 10061 markings/sec, 0 secs 581595 edges, 9784 markings/sec, 5 secs 891921 edges, 9528 markings/sec, 10 secs 1211560 edges, 9553 markings/sec, 15 secs 1545712 edges, 9583 markings/sec, 20 secs 1864090 edges, 9365 markings/sec, 25 secs 2186183 edges, 9529 markings/sec, 30 secs 2529253 edges, 9458 markings/sec, 35 secs 2861103 edges, 9306 markings/sec, 40 secs 3207942 edges, 9152 markings/sec, 45 secs 3573188 edges, 8913 markings/sec, 50 secs 3875455 edges, 9477 markings/sec, 55 secs 4205412 edges, 9548 markings/sec, 60 secs 4542380 edges, 9085 markings/sec, 65 secs 4881488 edges, 9461 markings/sec, 70 secs 5237578 edges, 9162 markings/sec, 75 secs 5593191 edges, 9137 markings/sec, 80 secs 5941367 edges, 9426 markings/sec, 85 secs 6303318 edges, 9369 markings/sec, 90 secs 6670523 edges, 9180 markings/sec, 95 secs 7043529 edges, 8980 markings/sec, 100 secs 7422340 edges, 8909 markings/sec, 105 secs 7761410 edges, 9167 markings/sec, 110 secs 8081956 edges, 9477 markings/sec, 115 secs 8422512 edges, 9417 markings/sec, 120 secs 8758896 edges, 9411 markings/sec, 125 secs 9110021 edges, 9269 markings/sec, 130 secs 9478227 edges, 8957 markings/sec, 135 secs 9801110 edges, 9178 markings/sec, 140 secs 10144330 edges, 8995 markings/sec, 145 secs 10506634 edges, 8699 markings/sec, 150 secs 10844890 edges, 8799 markings/sec, 155 secs 11212053 edges, 8762 markings/sec, 160 secs 11601861 edges, 8579 markings/sec, 165 secs 11914680 edges, 9025 markings/sec, 170 secs 12248220 edges, 8728 markings/sec, 175 secs 12606432 edges, 8622 markings/sec, 180 secs 12950395 edges, 8916 markings/sec, 185 secs 13316538 edges, 8720 markings/sec, 190 secs 13704423 edges, 8585 markings/sec, 195 secs 14051577 edges, 8992 markings/sec, 200 secs 14420712 edges, 8768 markings/sec, 205 secs 14809262 edges, 8621 markings/sec, 210 secs 15182023 edges, 8781 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 4 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 158225 edges, 11741 markings/sec, 0 secs 330372 edges, 11682 markings/sec, 5 secs 502456 edges, 11541 markings/sec, 10 secs 682692 edges, 11401 markings/sec, 15 secs 861299 edges, 11427 markings/sec, 20 secs 1036773 edges, 11359 markings/sec, 25 secs 1220967 edges, 11246 markings/sec, 30 secs 1406582 edges, 11246 markings/sec, 35 secs 1600018 edges, 11251 markings/sec, 40 secs 1774654 edges, 11385 markings/sec, 45 secs 1952931 edges, 11285 markings/sec, 50 secs 2135581 edges, 11228 markings/sec, 55 secs 2321715 edges, 11155 markings/sec, 60 secs 2515492 edges, 11107 markings/sec, 65 secs 2700983 edges, 11235 markings/sec, 70 secs 2892156 edges, 11130 markings/sec, 75 secs 3083730 edges, 11024 markings/sec, 80 secs 3283640 edges, 10902 markings/sec, 85 secs 3470241 edges, 10899 markings/sec, 90 secs 3640602 edges, 11068 markings/sec, 95 secs 3822148 edges, 10991 markings/sec, 100 secs 3999641 edges, 11051 markings/sec, 105 secs 4187427 edges, 10957 markings/sec, 110 secs 4371163 edges, 11011 markings/sec, 115 secs 4556114 edges, 11007 markings/sec, 120 secs 4748390 edges, 10931 markings/sec, 125 secs 4942621 edges, 10910 markings/sec, 130 secs 5144064 edges, 10806 markings/sec, 135 secs 5324993 edges, 10999 markings/sec, 140 secs 5511909 edges, 10960 markings/sec, 145 secs 5702976 edges, 10928 markings/sec, 150 secs 5898120 edges, 10891 markings/sec, 155 secs 6102217 edges, 10770 markings/sec, 160 secs 6292425 edges, 10955 markings/sec, 165 secs 6491527 edges, 10838 markings/sec, 170 secs 6693631 edges, 10760 markings/sec, 175 secs 6899560 edges, 10720 markings/sec, 180 secs 7105735 edges, 10768 markings/sec, 185 secs 7273622 edges, 10941 markings/sec, 190 secs 7449036 edges, 11030 markings/sec, 195 secs 7621990 edges, 10728 markings/sec, 200 secs 7808545 edges, 10930 markings/sec, 205 secs 7995420 edges, 11046 markings/sec, 210 secs 8180074 edges, 11102 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 5 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 25360 edges, 4944 markings/sec, 0 secs 48316 edges, 4591 markings/sec, 5 secs 71332 edges, 4603 markings/sec, 10 secs 94412 edges, 4616 markings/sec, 15 secs 117247 edges, 4567 markings/sec, 20 secs 139759 edges, 4503 markings/sec, 25 secs 162382 edges, 4525 markings/sec, 30 secs 185296 edges, 4583 markings/sec, 35 secs 208278 edges, 4596 markings/sec, 40 secs 231252 edges, 4595 markings/sec, 45 secs 254241 edges, 4598 markings/sec, 50 secs 277243 edges, 4600 markings/sec, 55 secs 300248 edges, 4601 markings/sec, 60 secs 323226 edges, 4596 markings/sec, 65 secs 346237 edges, 4602 markings/sec, 70 secs 369219 edges, 4596 markings/sec, 75 secs 392222 edges, 4601 markings/sec, 80 secs 415203 edges, 4596 markings/sec, 85 secs 438103 edges, 4580 markings/sec, 90 secs 461079 edges, 4595 markings/sec, 95 secs 483850 edges, 4554 markings/sec, 100 secs 506924 edges, 4615 markings/sec, 105 secs 529934 edges, 4602 markings/sec, 110 secs 552912 edges, 4596 markings/sec, 115 secs 575964 edges, 4610 markings/sec, 120 secs 598996 edges, 4606 markings/sec, 125 secs 622091 edges, 4619 markings/sec, 130 secs 645171 edges, 4616 markings/sec, 135 secs 668260 edges, 4618 markings/sec, 140 secs 691301 edges, 4608 markings/sec, 145 secs 714364 edges, 4613 markings/sec, 150 secs 737454 edges, 4618 markings/sec, 155 secs 760514 edges, 4612 markings/sec, 160 secs 783596 edges, 4616 markings/sec, 165 secs 806678 edges, 4617 markings/sec, 170 secs 829766 edges, 4618 markings/sec, 175 secs 852802 edges, 4607 markings/sec, 180 secs 875858 edges, 4611 markings/sec, 185 secs 898920 edges, 4612 markings/sec, 190 secs 921987 edges, 4613 markings/sec, 195 secs 945070 edges, 4617 markings/sec, 200 secs 968144 edges, 4615 markings/sec, 205 secs 991215 edges, 4614 markings/sec, 210 secs 1014256 edges, 4608 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 156467 edges, 11619 markings/sec, 0 secs 327047 edges, 11582 markings/sec, 5 secs 498593 edges, 11506 markings/sec, 10 secs 679351 edges, 11435 markings/sec, 15 secs 858043 edges, 11433 markings/sec, 20 secs 1034105 edges, 11394 markings/sec, 25 secs 1218150 edges, 11241 markings/sec, 30 secs 1402445 edges, 11220 markings/sec, 35 secs 1594025 edges, 11142 markings/sec, 40 secs 1767808 edges, 11273 markings/sec, 45 secs 1946223 edges, 11292 markings/sec, 50 secs 2129421 edges, 11291 markings/sec, 55 secs 2318437 edges, 11319 markings/sec, 60 secs 2513488 edges, 11166 markings/sec, 65 secs 2700343 edges, 11346 markings/sec, 70 secs 2886778 edges, 10867 markings/sec, 75 secs 3076059 edges, 10888 markings/sec, 80 secs 3274202 edges, 10843 markings/sec, 85 secs 3464435 edges, 10987 markings/sec, 90 secs 3633996 edges, 11044 markings/sec, 95 secs 3815365 edges, 10954 markings/sec, 100 secs 3984890 edges, 10668 markings/sec, 105 secs 4166251 edges, 10606 markings/sec, 110 secs 4344901 edges, 10608 markings/sec, 115 secs 4520724 edges, 10531 markings/sec, 120 secs 4706587 edges, 10430 markings/sec, 125 secs 4887646 edges, 10520 markings/sec, 130 secs 5077755 edges, 10354 markings/sec, 135 secs 5264152 edges, 10694 markings/sec, 140 secs 5446675 edges, 10923 markings/sec, 145 secs 5637656 edges, 10811 markings/sec, 150 secs 5827733 edges, 10854 markings/sec, 155 secs 6026349 edges, 10762 markings/sec, 160 secs 6219569 edges, 10838 markings/sec, 165 secs 6416252 edges, 10880 markings/sec, 170 secs 6623202 edges, 10979 markings/sec, 175 secs 6830557 edges, 10885 markings/sec, 180 secs 7041589 edges, 10602 markings/sec, 185 secs 7212235 edges, 10952 markings/sec, 190 secs 7387100 edges, 11060 markings/sec, 195 secs 7566351 edges, 11047 markings/sec, 200 secs 7749284 edges, 10959 markings/sec, 205 secs 7941280 edges, 10898 markings/sec, 210 secs 8120448 edges, 11071 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 23476 edges, 4650 markings/sec, 0 secs 46630 edges, 4631 markings/sec, 5 secs 69874 edges, 4649 markings/sec, 10 secs 93238 edges, 4673 markings/sec, 15 secs 116573 edges, 4667 markings/sec, 20 secs 139890 edges, 4663 markings/sec, 25 secs 163270 edges, 4676 markings/sec, 30 secs 186662 edges, 4679 markings/sec, 35 secs 210015 edges, 4671 markings/sec, 40 secs 233349 edges, 4667 markings/sec, 45 secs 256659 edges, 4662 markings/sec, 50 secs 279941 edges, 4656 markings/sec, 55 secs 302979 edges, 4608 markings/sec, 60 secs 326041 edges, 4612 markings/sec, 65 secs 349325 edges, 4657 markings/sec, 70 secs 372602 edges, 4655 markings/sec, 75 secs 395868 edges, 4653 markings/sec, 80 secs 419140 edges, 4654 markings/sec, 85 secs 442410 edges, 4654 markings/sec, 90 secs 465657 edges, 4649 markings/sec, 95 secs 488800 edges, 4629 markings/sec, 100 secs 511978 edges, 4636 markings/sec, 105 secs 535158 edges, 4636 markings/sec, 110 secs 558388 edges, 4646 markings/sec, 115 secs 581656 edges, 4654 markings/sec, 120 secs 604917 edges, 4652 markings/sec, 125 secs 628132 edges, 4643 markings/sec, 130 secs 651358 edges, 4645 markings/sec, 135 secs 674594 edges, 4647 markings/sec, 140 secs 697815 edges, 4644 markings/sec, 145 secs 721023 edges, 4642 markings/sec, 150 secs 744234 edges, 4642 markings/sec, 155 secs 767411 edges, 4635 markings/sec, 160 secs 790361 edges, 4590 markings/sec, 165 secs 813540 edges, 4636 markings/sec, 170 secs 836717 edges, 4635 markings/sec, 175 secs 859887 edges, 4634 markings/sec, 180 secs 883047 edges, 4632 markings/sec, 185 secs 906195 edges, 4630 markings/sec, 190 secs 929320 edges, 4625 markings/sec, 195 secs 952455 edges, 4627 markings/sec, 200 secs 975456 edges, 4600 markings/sec, 205 secs 998347 edges, 4578 markings/sec, 210 secs 1021517 edges, 4634 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 8 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 24722 edges, 4816 markings/sec, 0 secs 47265 edges, 4509 markings/sec, 5 secs 70085 edges, 4564 markings/sec, 10 secs 92853 edges, 4554 markings/sec, 15 secs 115577 edges, 4545 markings/sec, 20 secs 138355 edges, 4556 markings/sec, 25 secs 161124 edges, 4554 markings/sec, 30 secs 183843 edges, 4544 markings/sec, 35 secs 206613 edges, 4554 markings/sec, 40 secs 229479 edges, 4573 markings/sec, 45 secs 252399 edges, 4584 markings/sec, 50 secs 275214 edges, 4563 markings/sec, 55 secs 298027 edges, 4563 markings/sec, 60 secs 320854 edges, 4565 markings/sec, 65 secs 343715 edges, 4572 markings/sec, 70 secs 366584 edges, 4574 markings/sec, 75 secs 389453 edges, 4574 markings/sec, 80 secs 412322 edges, 4574 markings/sec, 85 secs 435202 edges, 4576 markings/sec, 90 secs 458103 edges, 4580 markings/sec, 95 secs 480983 edges, 4576 markings/sec, 100 secs 503849 edges, 4573 markings/sec, 105 secs 526677 edges, 4566 markings/sec, 110 secs 549507 edges, 4566 markings/sec, 115 secs 571985 edges, 4496 markings/sec, 120 secs 594649 edges, 4533 markings/sec, 125 secs 617363 edges, 4543 markings/sec, 130 secs 640057 edges, 4539 markings/sec, 135 secs 662801 edges, 4549 markings/sec, 140 secs 685716 edges, 4583 markings/sec, 145 secs 708446 edges, 4546 markings/sec, 150 secs 731187 edges, 4548 markings/sec, 155 secs 753907 edges, 4544 markings/sec, 160 secs 776646 edges, 4548 markings/sec, 165 secs 799551 edges, 4581 markings/sec, 170 secs 822459 edges, 4582 markings/sec, 175 secs 845428 edges, 4594 markings/sec, 180 secs 868383 edges, 4591 markings/sec, 185 secs 891346 edges, 4593 markings/sec, 190 secs 914301 edges, 4591 markings/sec, 195 secs 937254 edges, 4591 markings/sec, 200 secs 960232 edges, 4596 markings/sec, 205 secs 983201 edges, 4594 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p6... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 281274 edges, 10254 markings/sec, 0 secs 585268 edges, 9726 markings/sec, 5 secs 898682 edges, 9603 markings/sec, 10 secs 1228666 edges, 9752 markings/sec, 15 secs 1566296 edges, 9689 markings/sec, 20 secs 1886455 edges, 9501 markings/sec, 25 secs 2205598 edges, 9459 markings/sec, 30 secs 2545249 edges, 9282 markings/sec, 35 secs 2880181 edges, 9430 markings/sec, 40 secs 3231864 edges, 9262 markings/sec, 45 secs 3604811 edges, 8937 markings/sec, 50 secs 3901248 edges, 9549 markings/sec, 55 secs 4224976 edges, 9334 markings/sec, 60 secs 4560626 edges, 9124 markings/sec, 65 secs 4891756 edges, 9172 markings/sec, 70 secs 5241160 edges, 8995 markings/sec, 75 secs 5590411 edges, 8956 markings/sec, 80 secs 5926411 edges, 9140 markings/sec, 85 secs 6276128 edges, 9051 markings/sec, 90 secs 6636976 edges, 8980 markings/sec, 95 secs 7007252 edges, 8995 markings/sec, 100 secs 7385311 edges, 8958 markings/sec, 105 secs 7739472 edges, 9305 markings/sec, 110 secs 8061694 edges, 9543 markings/sec, 115 secs 8400839 edges, 9468 markings/sec, 120 secs 8740340 edges, 9425 markings/sec, 125 secs 9092339 edges, 9334 markings/sec, 130 secs 9464183 edges, 9128 markings/sec, 135 secs 9801037 edges, 9490 markings/sec, 140 secs 10157815 edges, 9315 markings/sec, 145 secs 10532176 edges, 9149 markings/sec, 150 secs 10898168 edges, 9298 markings/sec, 155 secs 11282474 edges, 9065 markings/sec, 160 secs 11662940 edges, 8982 markings/sec, 165 secs 11999466 edges, 9253 markings/sec, 170 secs 12346551 edges, 8966 markings/sec, 175 secs 12701653 edges, 8822 markings/sec, 180 secs 13059081 edges, 8837 markings/sec, 185 secs 13430924 edges, 8759 markings/sec, 190 secs 13809878 edges, 8877 markings/sec, 195 secs 14172049 edges, 8924 markings/sec, 200 secs 14550042 edges, 8923 markings/sec, 205 secs 14938749 edges, 8845 markings/sec, 210 secs 15340845 edges, 8967 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p989 + p988 + p987 + p986 + p985 + p984 + p983 + p982 + p981 + p980 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 24975 edges, 4867 markings/sec, 0 secs 48085 edges, 4622 markings/sec, 5 secs 71065 edges, 4596 markings/sec, 10 secs 94023 edges, 4592 markings/sec, 15 secs 116919 edges, 4579 markings/sec, 20 secs 139902 edges, 4597 markings/sec, 25 secs 162984 edges, 4616 markings/sec, 30 secs 185999 edges, 4603 markings/sec, 35 secs 208998 edges, 4600 markings/sec, 40 secs 231984 edges, 4597 markings/sec, 45 secs 254965 edges, 4596 markings/sec, 50 secs 277954 edges, 4598 markings/sec, 55 secs 300964 edges, 4602 markings/sec, 60 secs 323951 edges, 4597 markings/sec, 65 secs 346918 edges, 4593 markings/sec, 70 secs 369882 edges, 4593 markings/sec, 75 secs 392857 edges, 4595 markings/sec, 80 secs 415850 edges, 4599 markings/sec, 85 secs 438812 edges, 4592 markings/sec, 90 secs 461759 edges, 4589 markings/sec, 95 secs 484711 edges, 4590 markings/sec, 100 secs 507682 edges, 4594 markings/sec, 105 secs 530599 edges, 4583 markings/sec, 110 secs 553505 edges, 4581 markings/sec, 115 secs 576431 edges, 4585 markings/sec, 120 secs 599356 edges, 4585 markings/sec, 125 secs 622279 edges, 4585 markings/sec, 130 secs 645198 edges, 4584 markings/sec, 135 secs 668110 edges, 4582 markings/sec, 140 secs 691036 edges, 4585 markings/sec, 145 secs 713953 edges, 4583 markings/sec, 150 secs 736701 edges, 4550 markings/sec, 155 secs 759656 edges, 4591 markings/sec, 160 secs 782347 edges, 4538 markings/sec, 165 secs 805251 edges, 4581 markings/sec, 170 secs 828137 edges, 4577 markings/sec, 175 secs 850659 edges, 4504 markings/sec, 180 secs 873533 edges, 4575 markings/sec, 185 secs 895802 edges, 4454 markings/sec, 190 secs 918530 edges, 4546 markings/sec, 195 secs 941348 edges, 4564 markings/sec, 200 secs 964153 edges, 4561 markings/sec, 205 secs 986970 edges, 4563 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 23226 edges, 4600 markings/sec, 0 secs 46376 edges, 4630 markings/sec, 5 secs 69483 edges, 4621 markings/sec, 10 secs 92575 edges, 4618 markings/sec, 15 secs 115675 edges, 4620 markings/sec, 20 secs 138773 edges, 4620 markings/sec, 25 secs 161807 edges, 4607 markings/sec, 30 secs 184855 edges, 4610 markings/sec, 35 secs 207905 edges, 4610 markings/sec, 40 secs 230917 edges, 4602 markings/sec, 45 secs 253983 edges, 4613 markings/sec, 50 secs 277128 edges, 4629 markings/sec, 55 secs 300238 edges, 4622 markings/sec, 60 secs 323314 edges, 4615 markings/sec, 65 secs 346494 edges, 4636 markings/sec, 70 secs 369774 edges, 4655 markings/sec, 75 secs 393044 edges, 4655 markings/sec, 80 secs 416323 edges, 4656 markings/sec, 85 secs 439603 edges, 4656 markings/sec, 90 secs 462852 edges, 4650 markings/sec, 95 secs 486102 edges, 4650 markings/sec, 100 secs 509333 edges, 4646 markings/sec, 105 secs 532601 edges, 4654 markings/sec, 110 secs 555940 edges, 4668 markings/sec, 115 secs 579283 edges, 4669 markings/sec, 120 secs 602490 edges, 4641 markings/sec, 125 secs 625703 edges, 4643 markings/sec, 130 secs 648979 edges, 4655 markings/sec, 135 secs 672256 edges, 4655 markings/sec, 140 secs 695520 edges, 4653 markings/sec, 145 secs 718822 edges, 4660 markings/sec, 150 secs 742104 edges, 4656 markings/sec, 155 secs 765393 edges, 4658 markings/sec, 160 secs 788564 edges, 4634 markings/sec, 165 secs 811375 edges, 4562 markings/sec, 170 secs 834534 edges, 4632 markings/sec, 175 secs 857708 edges, 4635 markings/sec, 180 secs 880880 edges, 4634 markings/sec, 185 secs 903866 edges, 4597 markings/sec, 190 secs 927119 edges, 4651 markings/sec, 195 secs 950369 edges, 4650 markings/sec, 200 secs 973615 edges, 4649 markings/sec, 205 secs 996882 edges, 4653 markings/sec, 210 secs 1020156 edges, 4655 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p6... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 282803 edges, 10314 markings/sec, 0 secs 597822 edges, 10088 markings/sec, 5 secs 921856 edges, 9975 markings/sec, 10 secs 1252866 edges, 9802 markings/sec, 15 secs 1599663 edges, 9742 markings/sec, 20 secs 1922588 edges, 9730 markings/sec, 25 secs 2254046 edges, 9750 markings/sec, 30 secs 2613107 edges, 9573 markings/sec, 35 secs 2955354 edges, 9710 markings/sec, 40 secs 3324028 edges, 9515 markings/sec, 45 secs 3685550 edges, 9577 markings/sec, 50 secs 4010146 edges, 9723 markings/sec, 55 secs 4345725 edges, 9610 markings/sec, 60 secs 4690196 edges, 9518 markings/sec, 65 secs 5045043 edges, 9455 markings/sec, 70 secs 5418724 edges, 9341 markings/sec, 75 secs 5766268 edges, 9539 markings/sec, 80 secs 6126487 edges, 9495 markings/sec, 85 secs 6511278 edges, 9300 markings/sec, 90 secs 6877658 edges, 9433 markings/sec, 95 secs 7267520 edges, 9250 markings/sec, 100 secs 7655286 edges, 9281 markings/sec, 105 secs 7973319 edges, 9716 markings/sec, 110 secs 8310108 edges, 9608 markings/sec, 115 secs 8655071 edges, 9540 markings/sec, 120 secs 9009781 edges, 9439 markings/sec, 125 secs 9377669 edges, 9343 markings/sec, 130 secs 9729793 edges, 9418 markings/sec, 135 secs 10070568 edges, 9129 markings/sec, 140 secs 10425561 edges, 8788 markings/sec, 145 secs 10784258 edges, 9123 markings/sec, 150 secs 11157460 edges, 8933 markings/sec, 155 secs 11543896 edges, 8739 markings/sec, 160 secs 11879410 edges, 9238 markings/sec, 165 secs 12226341 edges, 9143 markings/sec, 170 secs 12599983 edges, 8955 markings/sec, 175 secs 12949838 edges, 9124 markings/sec, 180 secs 13323513 edges, 8877 markings/sec, 185 secs 13713774 edges, 8730 markings/sec, 190 secs 14075349 edges, 9233 markings/sec, 195 secs 14449115 edges, 8904 markings/sec, 200 secs 14837772 edges, 8708 markings/sec, 205 secs 15208641 edges, 8582 markings/sec, 210 secs 15597426 edges, 8518 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 13 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p0) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 25207 edges, 4914 markings/sec, 0 secs 48413 edges, 4641 markings/sec, 5 secs 71593 edges, 4636 markings/sec, 10 secs 94757 edges, 4633 markings/sec, 15 secs 117866 edges, 4622 markings/sec, 20 secs 140958 edges, 4618 markings/sec, 25 secs 164049 edges, 4618 markings/sec, 30 secs 187153 edges, 4621 markings/sec, 35 secs 210272 edges, 4624 markings/sec, 40 secs 233377 edges, 4621 markings/sec, 45 secs 256491 edges, 4623 markings/sec, 50 secs 279606 edges, 4623 markings/sec, 55 secs 302495 edges, 4578 markings/sec, 60 secs 325371 edges, 4575 markings/sec, 65 secs 348250 edges, 4576 markings/sec, 70 secs 371192 edges, 4588 markings/sec, 75 secs 394301 edges, 4622 markings/sec, 80 secs 417374 edges, 4615 markings/sec, 85 secs 440428 edges, 4611 markings/sec, 90 secs 463449 edges, 4604 markings/sec, 95 secs 486466 edges, 4603 markings/sec, 100 secs 509504 edges, 4608 markings/sec, 105 secs 532544 edges, 4608 markings/sec, 110 secs 555575 edges, 4606 markings/sec, 115 secs 578609 edges, 4607 markings/sec, 120 secs 601685 edges, 4615 markings/sec, 125 secs 624758 edges, 4615 markings/sec, 130 secs 647766 edges, 4602 markings/sec, 135 secs 670840 edges, 4615 markings/sec, 140 secs 693905 edges, 4613 markings/sec, 145 secs 716975 edges, 4614 markings/sec, 150 secs 739927 edges, 4590 markings/sec, 155 secs 762749 edges, 4564 markings/sec, 160 secs 785443 edges, 4539 markings/sec, 165 secs 808159 edges, 4543 markings/sec, 170 secs 830952 edges, 4559 markings/sec, 175 secs 853745 edges, 4559 markings/sec, 180 secs 876527 edges, 4556 markings/sec, 185 secs 899367 edges, 4568 markings/sec, 190 secs 922196 edges, 4566 markings/sec, 195 secs 945031 edges, 4567 markings/sec, 200 secs 967812 edges, 4556 markings/sec, 205 secs 990698 edges, 4577 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 23508 edges, 4656 markings/sec, 0 secs 46937 edges, 4686 markings/sec, 5 secs 70313 edges, 4675 markings/sec, 10 secs 93714 edges, 4680 markings/sec, 15 secs 117107 edges, 4679 markings/sec, 20 secs 140493 edges, 4677 markings/sec, 25 secs 163853 edges, 4672 markings/sec, 30 secs 187209 edges, 4671 markings/sec, 35 secs 210559 edges, 4670 markings/sec, 40 secs 233958 edges, 4680 markings/sec, 45 secs 257325 edges, 4673 markings/sec, 50 secs 280699 edges, 4675 markings/sec, 55 secs 304080 edges, 4676 markings/sec, 60 secs 327429 edges, 4670 markings/sec, 65 secs 350795 edges, 4673 markings/sec, 70 secs 373676 edges, 4576 markings/sec, 75 secs 396725 edges, 4610 markings/sec, 80 secs 419513 edges, 4558 markings/sec, 85 secs 442266 edges, 4551 markings/sec, 90 secs 465285 edges, 4604 markings/sec, 95 secs 488333 edges, 4610 markings/sec, 100 secs 511405 edges, 4614 markings/sec, 105 secs 534456 edges, 4610 markings/sec, 110 secs 557588 edges, 4626 markings/sec, 115 secs 580807 edges, 4644 markings/sec, 120 secs 603912 edges, 4621 markings/sec, 125 secs 627021 edges, 4622 markings/sec, 130 secs 650093 edges, 4614 markings/sec, 135 secs 673112 edges, 4604 markings/sec, 140 secs 696435 edges, 4665 markings/sec, 145 secs 719803 edges, 4674 markings/sec, 150 secs 743140 edges, 4667 markings/sec, 155 secs 766406 edges, 4653 markings/sec, 160 secs 789690 edges, 4657 markings/sec, 165 secs 812977 edges, 4657 markings/sec, 170 secs 836242 edges, 4653 markings/sec, 175 secs 859506 edges, 4653 markings/sec, 180 secs 882762 edges, 4651 markings/sec, 185 secs 906025 edges, 4653 markings/sec, 190 secs 929265 edges, 4648 markings/sec, 195 secs 952499 edges, 4647 markings/sec, 200 secs 975738 edges, 4648 markings/sec, 205 secs 999008 edges, 4654 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p100 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p6... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 286472 edges, 10439 markings/sec, 0 secs 603574 edges, 10151 markings/sec, 5 secs 928293 edges, 10004 markings/sec, 10 secs 1261053 edges, 9861 markings/sec, 15 secs 1609372 edges, 9722 markings/sec, 20 secs 1936375 edges, 9922 markings/sec, 25 secs 2270230 edges, 9770 markings/sec, 30 secs 2627456 edges, 9577 markings/sec, 35 secs 2968025 edges, 9591 markings/sec, 40 secs 3327908 edges, 9240 markings/sec, 45 secs 3680200 edges, 9334 markings/sec, 50 secs 4001017 edges, 9646 markings/sec, 55 secs 4332816 edges, 9511 markings/sec, 60 secs 4679183 edges, 9559 markings/sec, 65 secs 5034888 edges, 9455 markings/sec, 70 secs 5402279 edges, 9259 markings/sec, 75 secs 5744339 edges, 9275 markings/sec, 80 secs 6090893 edges, 9188 markings/sec, 85 secs 6458177 edges, 9042 markings/sec, 90 secs 6817207 edges, 9176 markings/sec, 95 secs 7187647 edges, 8889 markings/sec, 100 secs 7580862 edges, 8720 markings/sec, 105 secs 7889409 edges, 9706 markings/sec, 110 secs 8215858 edges, 9420 markings/sec, 115 secs 8564791 edges, 9503 markings/sec, 120 secs 8912308 edges, 9528 markings/sec, 125 secs 9273232 edges, 9338 markings/sec, 130 secs 9635784 edges, 9427 markings/sec, 135 secs 9988237 edges, 9363 markings/sec, 140 secs 10354601 edges, 9397 markings/sec, 145 secs 10725902 edges, 9338 markings/sec, 150 secs 11102767 edges, 9138 markings/sec, 155 secs 11492745 edges, 8929 markings/sec, 160 secs 11843043 edges, 9303 markings/sec, 165 secs 12197836 edges, 9382 markings/sec, 170 secs 12576561 edges, 9240 markings/sec, 175 secs 12942375 edges, 9428 markings/sec, 180 secs 13330296 edges, 9232 markings/sec, 185 secs 13732501 edges, 9104 markings/sec, 190 secs 14098062 edges, 9267 markings/sec, 195 secs 14480034 edges, 8992 markings/sec, 200 secs 14873933 edges, 8944 markings/sec, 205 secs 15263667 edges, 8913 markings/sec, 210 secs 15673439 edges, 8829 markings/sec, 215 secs limit reached - aborting reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown -10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN and sara stdout ----- stderr ----- stderr ----- stderr ----- sara 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_CSRepetitions-COL-10"
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_CSRepetitions-COL-10.tgz
mv S_CSRepetitions-COL-10 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_CSRepetitions-COL-10, 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-149488455500101"
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 ;