MCC'2017 - Execution of r018-ebro-149436308900101

About the Execution of LoLA for CSRepetitions-COL-10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11032.660	3539254.00	3555113.00	787.60	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	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 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 1494619969969

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ 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: 22783 markings,
lola: 46093 markings,
lola: 69373 markings,
lola: 92725 markings,
lola: 116052 markings,
lola: 139377 markings,
lola: 162644 markings,
lola: 185875 markings,
lola: 209136 markings,
lola: 232291 markings,
lola: 255329 markings,
lola: 278406 markings,
lola: 301467 markings,
lola: 324621 markings,
lola: 347703 markings,
lola: 370794 markings,
lola: 393877 markings,
lola: 416945 markings,
lola: 440014 markings,
lola: 463082 markings,
lola: 486123 markings,
lola: 509184 markings,
lola: 532249 markings,
lola: 555276 markings,
lola: 578318 markings,
lola: 601368 markings,
lola: 624414 markings,
lola: 647528 markings,
lola: 670622 markings,
lola: 693697 markings,
lola: 716778 markings,
lola: 739938 markings,
lola: 763172 markings,
lola: 786391 markings,
lola: 809629 markings,
lola: 832851 markings,
lola: 856075 markings,
lola: 879307 markings,
lola: 902538 markings,
lola: 925712 markings,
lola: 948945 markings,
lola: 972177 markings,
lola: 995419 markings,
lola: 1018646 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: 49084 markings,
lola: 96888 markings,
lola: 144073 markings,
lola: 190741 markings,
lola: 237114 markings,
lola: 283444 markings,
lola: 329609 markings,
lola: 375584 markings,
lola: 421348 markings,
lola: 466666 markings,
lola: 511634 markings,
lola: 557471 markings,
lola: 603421 markings,
lola: 648342 markings,
lola: 693772 markings,
lola: 738614 markings,
lola: 782767 markings,
lola: 828280 markings,
lola: 873105 markings,
lola: 917066 markings,
lola: 961633 markings,
lola: 1005182 markings,
lola: 1047928 markings,
lola: 1093810 markings,
lola: 1138818 markings,
lola: 1183124 markings,
lola: 1227842 markings,
lola: 1271917 markings,
lola: 1315345 markings,
lola: 1360070 markings,
lola: 1404155 markings,
lola: 1447578 markings,
lola: 1491388 markings,
lola: 1534691 markings,
lola: 1577440 markings,
lola: 1622205 markings,
lola: 1666265 markings,
lola: 1709678 markings,
lola: 1753281 markings,
lola: 1796251 markings,
lola: 1838618 markings,
lola: 1882380 markings,
lola: 1925546 markings,
lola: 1968050 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: 24783 markings,
lola: 48034 markings,
lola: 71262 markings,
lola: 94467 markings,
lola: 117656 markings,
lola: 140840 markings,
lola: 164002 markings,
lola: 187186 markings,
lola: 210354 markings,
lola: 233528 markings,
lola: 256697 markings,
lola: 279869 markings,
lola: 303027 markings,
lola: 326184 markings,
lola: 349332 markings,
lola: 372497 markings,
lola: 395658 markings,
lola: 418811 markings,
lola: 441923 markings,
lola: 464968 markings,
lola: 488029 markings,
lola: 511164 markings,
lola: 534277 markings,
lola: 557401 markings,
lola: 580524 markings,
lola: 603551 markings,
lola: 626524 markings,
lola: 649498 markings,
lola: 672474 markings,
lola: 694673 markings,
lola: 717657 markings,
lola: 740634 markings,
lola: 763590 markings,
lola: 786583 markings,
lola: 809610 markings,
lola: 832671 markings,
lola: 855658 markings,
lola: 878752 markings,
lola: 901838 markings,
lola: 924941 markings,
lola: 948041 markings,
lola: 971137 markings,
lola: 994204 markings,
lola: 1017186 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: 48919 markings,
lola: 96424 markings,
lola: 143523 markings,
lola: 190318 markings,
lola: 236703 markings,
lola: 282997 markings,
lola: 329269 markings,
lola: 375270 markings,
lola: 421062 markings,
lola: 466530 markings,
lola: 511602 markings,
lola: 557513 markings,
lola: 603526 markings,
lola: 648625 markings,
lola: 694238 markings,
lola: 739129 markings,
lola: 783271 markings,
lola: 828646 markings,
lola: 873334 markings,
lola: 917262 markings,
lola: 962241 markings,
lola: 1006287 markings,
lola: 1049167 markings,
lola: 1095155 markings,
lola: 1140224 markings,
lola: 1184592 markings,
lola: 1229282 markings,
lola: 1273281 markings,
lola: 1316800 markings,
lola: 1361605 markings,
lola: 1405707 markings,
lola: 1449275 markings,
lola: 1493196 markings,
lola: 1536313 markings,
lola: 1579147 markings,
lola: 1623841 markings,
lola: 1667869 markings,
lola: 1711291 markings,
lola: 1754980 markings,
lola: 1797939 markings,
lola: 1840824 markings,
lola: 1885148 markings,
lola: 1928736 markings,
lola: 1971762 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: 58304 markings,
lola: 116337 markings,
lola: 174103 markings,
lola: 231510 markings,
lola: 288832 markings,
lola: 345799 markings,
lola: 402420 markings,
lola: 459022 markings,
lola: 515483 markings,
lola: 572762 markings,
lola: 629571 markings,
lola: 686209 markings,
lola: 742613 markings,
lola: 798887 markings,
lola: 855451 markings,
lola: 911422 markings,
lola: 967293 markings,
lola: 1022893 markings,
lola: 1079053 markings,
lola: 1135279 markings,
lola: 1191256 markings,
lola: 1247069 markings,
lola: 1302592 markings,
lola: 1358487 markings,
lola: 1414008 markings,
lola: 1469390 markings,
lola: 1524622 markings,
lola: 1579657 markings,
lola: 1635572 markings,
lola: 1691159 markings,
lola: 1746682 markings,
lola: 1801889 markings,
lola: 1857289 markings,
lola: 1912774 markings,
lola: 1967899 markings,
lola: 2023400 markings,
lola: 2078163 markings,
lola: 2133760 markings,
lola: 2189470 markings,
lola: 2244778 markings,
lola: 2300056 markings,
lola: 2354882 markings,
lola: 2410302 markings,
lola: 2465194 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: 24607 markings,
lola: 47837 markings,
lola: 70859 markings,
lola: 93816 markings,
lola: 116732 markings,
lola: 139597 markings,
lola: 162413 markings,
lola: 185216 markings,
lola: 208025 markings,
lola: 230283 markings,
lola: 253260 markings,
lola: 276243 markings,
lola: 299222 markings,
lola: 322198 markings,
lola: 345182 markings,
lola: 368163 markings,
lola: 391147 markings,
lola: 414158 markings,
lola: 437162 markings,
lola: 460144 markings,
lola: 483129 markings,
lola: 506137 markings,
lola: 529124 markings,
lola: 552125 markings,
lola: 575275 markings,
lola: 598492 markings,
lola: 621724 markings,
lola: 644935 markings,
lola: 668137 markings,
lola: 691367 markings,
lola: 714584 markings,
lola: 737804 markings,
lola: 760999 markings,
lola: 784193 markings,
lola: 807392 markings,
lola: 830591 markings,
lola: 853789 markings,
lola: 876991 markings,
lola: 900180 markings,
lola: 923363 markings,
lola: 946546 markings,
lola: 969736 markings,
lola: 992937 markings,
lola: 1016130 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: 59245 markings,
lola: 117406 markings,
lola: 175274 markings,
lola: 232702 markings,
lola: 290151 markings,
lola: 347360 markings,
lola: 404268 markings,
lola: 461156 markings,
lola: 517780 markings,
lola: 575106 markings,
lola: 631973 markings,
lola: 688564 markings,
lola: 745015 markings,
lola: 801297 markings,
lola: 857887 markings,
lola: 913989 markings,
lola: 970322 markings,
lola: 1026274 markings,
lola: 1082759 markings,
lola: 1139320 markings,
lola: 1195584 markings,
lola: 1251749 markings,
lola: 1307531 markings,
lola: 1363910 markings,
lola: 1419818 markings,
lola: 1475502 markings,
lola: 1531086 markings,
lola: 1586651 markings,
lola: 1642855 markings,
lola: 1698577 markings,
lola: 1754380 markings,
lola: 1809825 markings,
lola: 1865453 markings,
lola: 1921097 markings,
lola: 1976403 markings,
lola: 2031628 markings,
lola: 2086773 markings,
lola: 2143178 markings,
lola: 2199319 markings,
lola: 2255313 markings,
lola: 2311063 markings,
lola: 2366547 markings,
lola: 2422474 markings,
lola: 2477940 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: 23509 markings,
lola: 46995 markings,
lola: 70457 markings,
lola: 93903 markings,
lola: 117323 markings,
lola: 140765 markings,
lola: 164188 markings,
lola: 187615 markings,
lola: 210999 markings,
lola: 234209 markings,
lola: 257433 markings,
lola: 280652 markings,
lola: 303840 markings,
lola: 327006 markings,
lola: 350170 markings,
lola: 373343 markings,
lola: 396502 markings,
lola: 419670 markings,
lola: 442820 markings,
lola: 466002 markings,
lola: 489172 markings,
lola: 512350 markings,
lola: 535488 markings,
lola: 558640 markings,
lola: 581806 markings,
lola: 604981 markings,
lola: 628151 markings,
lola: 651434 markings,
lola: 674784 markings,
lola: 698136 markings,
lola: 721484 markings,
lola: 744640 markings,
lola: 767921 markings,
lola: 791095 markings,
lola: 814436 markings,
lola: 837783 markings,
lola: 861116 markings,
lola: 884465 markings,
lola: 907684 markings,
lola: 930798 markings,
lola: 953907 markings,
lola: 977027 markings,
lola: 1000177 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: 24762 markings,
lola: 47959 markings,
lola: 71139 markings,
lola: 94320 markings,
lola: 117498 markings,
lola: 140658 markings,
lola: 163812 markings,
lola: 186981 markings,
lola: 210143 markings,
lola: 233307 markings,
lola: 256463 markings,
lola: 279616 markings,
lola: 302762 markings,
lola: 325804 markings,
lola: 348786 markings,
lola: 371709 markings,
lola: 394670 markings,
lola: 417672 markings,
lola: 440680 markings,
lola: 463728 markings,
lola: 486847 markings,
lola: 509970 markings,
lola: 533095 markings,
lola: 556221 markings,
lola: 579342 markings,
lola: 602444 markings,
lola: 625547 markings,
lola: 648658 markings,
lola: 671760 markings,
lola: 694863 markings,
lola: 717963 markings,
lola: 741062 markings,
lola: 764171 markings,
lola: 787271 markings,
lola: 810370 markings,
lola: 833475 markings,
lola: 856578 markings,
lola: 879677 markings,
lola: 902786 markings,
lola: 925901 markings,
lola: 948902 markings,
lola: 971893 markings,
lola: 994895 markings,
lola: 1017941 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: 49506 markings,
lola: 97539 markings,
lola: 145573 markings,
lola: 192995 markings,
lola: 240130 markings,
lola: 287237 markings,
lola: 334162 markings,
lola: 380701 markings,
lola: 427199 markings,
lola: 473406 markings,
lola: 518893 markings,
lola: 566028 markings,
lola: 612512 markings,
lola: 658152 markings,
lola: 704353 markings,
lola: 749860 markings,
lola: 794996 markings,
lola: 841183 markings,
lola: 886658 markings,
lola: 931807 markings,
lola: 976867 markings,
lola: 1021516 markings,
lola: 1066771 markings,
lola: 1113076 markings,
lola: 1159277 markings,
lola: 1204942 markings,
lola: 1250013 markings,
lola: 1294626 markings,
lola: 1339882 markings,
lola: 1385023 markings,
lola: 1429644 markings,
lola: 1474299 markings,
lola: 1518695 markings,
lola: 1562439 markings,
lola: 1607598 markings,
lola: 1652762 markings,
lola: 1697189 markings,
lola: 1742021 markings,
lola: 1786106 markings,
lola: 1829608 markings,
lola: 1874365 markings,
lola: 1918454 markings,
lola: 1961895 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: 24651 markings,
lola: 47869 markings,
lola: 70970 markings,
lola: 94071 markings,
lola: 117224 markings,
lola: 140448 markings,
lola: 163672 markings,
lola: 186894 markings,
lola: 210096 markings,
lola: 233294 markings,
lola: 256488 markings,
lola: 279685 markings,
lola: 302869 markings,
lola: 326068 markings,
lola: 349286 markings,
lola: 372390 markings,
lola: 395383 markings,
lola: 418430 markings,
lola: 441475 markings,
lola: 464470 markings,
lola: 487463 markings,
lola: 510622 markings,
lola: 533808 markings,
lola: 556996 markings,
lola: 580035 markings,
lola: 603021 markings,
lola: 626032 markings,
lola: 649067 markings,
lola: 671642 markings,
lola: 694645 markings,
lola: 717640 markings,
lola: 740643 markings,
lola: 763607 markings,
lola: 786598 markings,
lola: 809640 markings,
lola: 832670 markings,
lola: 855678 markings,
lola: 878860 markings,
lola: 902067 markings,
lola: 925280 markings,
lola: 948497 markings,
lola: 971714 markings,
lola: 994925 markings,
lola: 1018141 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: 23245 markings,
lola: 46756 markings,
lola: 70220 markings,
lola: 93683 markings,
lola: 117156 markings,
lola: 140613 markings,
lola: 164040 markings,
lola: 187482 markings,
lola: 210916 markings,
lola: 234343 markings,
lola: 257766 markings,
lola: 281214 markings,
lola: 304661 markings,
lola: 327819 markings,
lola: 351102 markings,
lola: 374334 markings,
lola: 397527 markings,
lola: 420728 markings,
lola: 443913 markings,
lola: 467113 markings,
lola: 490325 markings,
lola: 513543 markings,
lola: 536895 markings,
lola: 560269 markings,
lola: 583678 markings,
lola: 607075 markings,
lola: 630463 markings,
lola: 653849 markings,
lola: 677258 markings,
lola: 700652 markings,
lola: 723840 markings,
lola: 746975 markings,
lola: 770317 markings,
lola: 793680 markings,
lola: 817046 markings,
lola: 840412 markings,
lola: 863781 markings,
lola: 887129 markings,
lola: 910495 markings,
lola: 933841 markings,
lola: 957205 markings,
lola: 980580 markings,
lola: 1003957 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: 48933 markings,
lola: 97065 markings,
lola: 144599 markings,
lola: 191688 markings,
lola: 238356 markings,
lola: 285040 markings,
lola: 331637 markings,
lola: 377903 markings,
lola: 424048 markings,
lola: 469917 markings,
lola: 515096 markings,
lola: 561343 markings,
lola: 607129 markings,
lola: 652045 markings,
lola: 697505 markings,
lola: 742335 markings,
lola: 786208 markings,
lola: 831950 markings,
lola: 876360 markings,
lola: 920553 markings,
lola: 965264 markings,
lola: 1009275 markings,
lola: 1052816 markings,
lola: 1099035 markings,
lola: 1144454 markings,
lola: 1189316 markings,
lola: 1234333 markings,
lola: 1278676 markings,
lola: 1322962 markings,
lola: 1368058 markings,
lola: 1412652 markings,
lola: 1456931 markings,
lola: 1501183 markings,
lola: 1545333 markings,
lola: 1589680 markings,
lola: 1635108 markings,
lola: 1680157 markings,
lola: 1724796 markings,
lola: 1769020 markings,
lola: 1813278 markings,
lola: 1857488 markings,
lola: 1901740 markings,
lola: 1945906 markings,
lola: 1989530 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: 24697 markings,
lola: 47994 markings,
lola: 71286 markings,
lola: 94574 markings,
lola: 117851 markings,
lola: 141109 markings,
lola: 164373 markings,
lola: 187626 markings,
lola: 210871 markings,
lola: 233964 markings,
lola: 257018 markings,
lola: 280069 markings,
lola: 303316 markings,
lola: 326561 markings,
lola: 349837 markings,
lola: 373112 markings,
lola: 396344 markings,
lola: 419587 markings,
lola: 442788 markings,
lola: 465964 markings,
lola: 489183 markings,
lola: 512398 markings,
lola: 535643 markings,
lola: 558886 markings,
lola: 582126 markings,
lola: 605350 markings,
lola: 628584 markings,
lola: 651812 markings,
lola: 675034 markings,
lola: 698250 markings,
lola: 721473 markings,
lola: 744689 markings,
lola: 767913 markings,
lola: 791115 markings,
lola: 814331 markings,
lola: 837519 markings,
lola: 860712 markings,
lola: 883914 markings,
lola: 907100 markings,
lola: 930285 markings,
lola: 953345 markings,
lola: 976430 markings,
lola: 999501 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: 23321 markings,
lola: 46624 markings,
lola: 69912 markings,
lola: 93174 markings,
lola: 116398 markings,
lola: 139623 markings,
lola: 162865 markings,
lola: 186182 markings,
lola: 209585 markings,
lola: 232990 markings,
lola: 256406 markings,
lola: 279807 markings,
lola: 303183 markings,
lola: 326554 markings,
lola: 349936 markings,
lola: 373333 markings,
lola: 396736 markings,
lola: 420133 markings,
lola: 443525 markings,
lola: 466919 markings,
lola: 490315 markings,
lola: 513710 markings,
lola: 537096 markings,
lola: 560468 markings,
lola: 583841 markings,
lola: 607217 markings,
lola: 630588 markings,
lola: 653950 markings,
lola: 677324 markings,
lola: 700685 markings,
lola: 724053 markings,
lola: 747424 markings,
lola: 770800 markings,
lola: 794180 markings,
lola: 817202 markings,
lola: 840484 markings,
lola: 863753 markings,
lola: 886968 markings,
lola: 910188 markings,
lola: 933443 markings,
lola: 956713 markings,
lola: 980019 markings,
lola: 1003449 markings,
lola: 1026863 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: 47667 markings,
lola: 95755 markings,
lola: 143391 markings,
lola: 190671 markings,
lola: 237469 markings,
lola: 284296 markings,
lola: 330838 markings,
lola: 377117 markings,
lola: 423304 markings,
lola: 469012 markings,
lola: 514264 markings,
lola: 560635 markings,
lola: 606796 markings,
lola: 652345 markings,
lola: 698443 markings,
lola: 743862 markings,
lola: 788368 markings,
lola: 834243 markings,
lola: 879222 markings,
lola: 923575 markings,
lola: 968532 markings,
lola: 1012945 markings,
lola: 1057016 markings,
lola: 1103081 markings,
lola: 1148465 markings,
lola: 1193448 markings,
lola: 1238226 markings,
lola: 1282676 markings,
lola: 1327391 markings,
lola: 1372676 markings,
lola: 1417690 markings,
lola: 1462403 markings,
lola: 1506461 markings,
lola: 1550706 markings,
lola: 1595326 markings,
lola: 1640449 markings,
lola: 1685266 markings,
lola: 1729696 markings,
lola: 1773762 markings,
lola: 1817465 markings,
lola: 1861578 markings,
lola: 1905811 markings,
lola: 1949683 markings,
lola: 1993617 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
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 1494623509223

--------------------
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 r018-ebro-149436308900101 ========================================= 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 ----- stdout ----- @ 3539 seconds stdout ----- for 3539 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) 23011 edges, 4557 markings/sec, 0 secs 46320 edges, 4662 markings/sec, 5 secs 69600 edges, 4656 markings/sec, 10 secs 92952 edges, 4670 markings/sec, 15 secs 116279 edges, 4665 markings/sec, 20 secs 139604 edges, 4665 markings/sec, 25 secs 162871 edges, 4653 markings/sec, 30 secs 186102 edges, 4646 markings/sec, 35 secs 209363 edges, 4652 markings/sec, 40 secs 232518 edges, 4631 markings/sec, 45 secs 255556 edges, 4608 markings/sec, 50 secs 278633 edges, 4615 markings/sec, 55 secs 301694 edges, 4612 markings/sec, 60 secs 324848 edges, 4631 markings/sec, 65 secs 347930 edges, 4616 markings/sec, 70 secs 371021 edges, 4618 markings/sec, 75 secs 394104 edges, 4617 markings/sec, 80 secs 417172 edges, 4614 markings/sec, 85 secs 440241 edges, 4614 markings/sec, 90 secs 463309 edges, 4614 markings/sec, 95 secs 486350 edges, 4608 markings/sec, 100 secs 509411 edges, 4612 markings/sec, 105 secs 532476 edges, 4613 markings/sec, 110 secs 555504 edges, 4605 markings/sec, 115 secs 578545 edges, 4608 markings/sec, 120 secs 601596 edges, 4610 markings/sec, 125 secs 624641 edges, 4609 markings/sec, 130 secs 647755 edges, 4623 markings/sec, 135 secs 670849 edges, 4619 markings/sec, 140 secs 693924 edges, 4615 markings/sec, 145 secs 717005 edges, 4616 markings/sec, 150 secs 740165 edges, 4632 markings/sec, 155 secs 763399 edges, 4647 markings/sec, 160 secs 786618 edges, 4644 markings/sec, 165 secs 809856 edges, 4648 markings/sec, 170 secs 833078 edges, 4644 markings/sec, 175 secs 856302 edges, 4645 markings/sec, 180 secs 879534 edges, 4646 markings/sec, 185 secs 902765 edges, 4646 markings/sec, 190 secs 925939 edges, 4635 markings/sec, 195 secs 949172 edges, 4647 markings/sec, 200 secs 972404 edges, 4646 markings/sec, 205 secs 995646 edges, 4648 markings/sec, 210 secs 1018873 edges, 4645 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) 269105 edges, 9817 markings/sec, 0 secs 565716 edges, 9561 markings/sec, 5 secs 873827 edges, 9437 markings/sec, 10 secs 1181674 edges, 9334 markings/sec, 15 secs 1505920 edges, 9275 markings/sec, 20 secs 1825752 edges, 9266 markings/sec, 25 secs 2139610 edges, 9233 markings/sec, 30 secs 2462374 edges, 9195 markings/sec, 35 secs 2792382 edges, 9153 markings/sec, 40 secs 3133407 edges, 9064 markings/sec, 45 secs 3489773 edges, 8994 markings/sec, 50 secs 3806640 edges, 9167 markings/sec, 55 secs 4115220 edges, 9190 markings/sec, 60 secs 4444900 edges, 8984 markings/sec, 65 secs 4767159 edges, 9086 markings/sec, 70 secs 5107664 edges, 8968 markings/sec, 75 secs 5468955 edges, 8831 markings/sec, 80 secs 5791700 edges, 9103 markings/sec, 85 secs 6132605 edges, 8965 markings/sec, 90 secs 6498981 edges, 8792 markings/sec, 95 secs 6840716 edges, 8913 markings/sec, 100 secs 7205439 edges, 8710 markings/sec, 105 secs 7593952 edges, 8549 markings/sec, 110 secs 7880207 edges, 9176 markings/sec, 115 secs 8191247 edges, 9002 markings/sec, 120 secs 8522085 edges, 8861 markings/sec, 125 secs 8838282 edges, 8944 markings/sec, 130 secs 9175488 edges, 8815 markings/sec, 135 secs 9528641 edges, 8686 markings/sec, 140 secs 9847434 edges, 8945 markings/sec, 145 secs 10184241 edges, 8817 markings/sec, 150 secs 10539451 edges, 8685 markings/sec, 155 secs 10885479 edges, 8762 markings/sec, 160 secs 11248795 edges, 8661 markings/sec, 165 secs 11625497 edges, 8550 markings/sec, 170 secs 11944522 edges, 8953 markings/sec, 175 secs 12281130 edges, 8812 markings/sec, 180 secs 12636295 edges, 8683 markings/sec, 185 secs 12980926 edges, 8721 markings/sec, 190 secs 13340977 edges, 8594 markings/sec, 195 secs 13719324 edges, 8473 markings/sec, 200 secs 14060733 edges, 8752 markings/sec, 205 secs 14423519 edges, 8633 markings/sec, 210 secs 14807525 edges, 8501 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) 25422 edges, 4957 markings/sec, 0 secs 48673 edges, 4650 markings/sec, 5 secs 71901 edges, 4646 markings/sec, 10 secs 95107 edges, 4641 markings/sec, 15 secs 118296 edges, 4638 markings/sec, 20 secs 141479 edges, 4637 markings/sec, 25 secs 164641 edges, 4632 markings/sec, 30 secs 187825 edges, 4637 markings/sec, 35 secs 210993 edges, 4634 markings/sec, 40 secs 234167 edges, 4635 markings/sec, 45 secs 257336 edges, 4634 markings/sec, 50 secs 280508 edges, 4634 markings/sec, 55 secs 303666 edges, 4632 markings/sec, 60 secs 326823 edges, 4631 markings/sec, 65 secs 349971 edges, 4630 markings/sec, 70 secs 373136 edges, 4633 markings/sec, 75 secs 396297 edges, 4632 markings/sec, 80 secs 419450 edges, 4631 markings/sec, 85 secs 442562 edges, 4622 markings/sec, 90 secs 465607 edges, 4609 markings/sec, 95 secs 488669 edges, 4612 markings/sec, 100 secs 511803 edges, 4627 markings/sec, 105 secs 534917 edges, 4623 markings/sec, 110 secs 558040 edges, 4625 markings/sec, 115 secs 581163 edges, 4625 markings/sec, 120 secs 604190 edges, 4605 markings/sec, 125 secs 627164 edges, 4595 markings/sec, 130 secs 650137 edges, 4595 markings/sec, 135 secs 673113 edges, 4595 markings/sec, 140 secs 695312 edges, 4440 markings/sec, 145 secs 718296 edges, 4597 markings/sec, 150 secs 741273 edges, 4595 markings/sec, 155 secs 764229 edges, 4591 markings/sec, 160 secs 787222 edges, 4599 markings/sec, 165 secs 810249 edges, 4605 markings/sec, 170 secs 833310 edges, 4612 markings/sec, 175 secs 856297 edges, 4597 markings/sec, 180 secs 879392 edges, 4619 markings/sec, 185 secs 902477 edges, 4617 markings/sec, 190 secs 925580 edges, 4621 markings/sec, 195 secs 948680 edges, 4620 markings/sec, 200 secs 971776 edges, 4619 markings/sec, 205 secs 994843 edges, 4613 markings/sec, 210 secs 1017825 edges, 4596 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) 267864 edges, 9784 markings/sec, 0 secs 562454 edges, 9501 markings/sec, 5 secs 870786 edges, 9420 markings/sec, 10 secs 1178589 edges, 9359 markings/sec, 15 secs 1502739 edges, 9277 markings/sec, 20 secs 1823175 edges, 9259 markings/sec, 25 secs 2137625 edges, 9254 markings/sec, 30 secs 2459848 edges, 9200 markings/sec, 35 secs 2790196 edges, 9158 markings/sec, 40 secs 3132364 edges, 9094 markings/sec, 45 secs 3489493 edges, 9014 markings/sec, 50 secs 3806849 edges, 9182 markings/sec, 55 secs 4115946 edges, 9203 markings/sec, 60 secs 4447003 edges, 9020 markings/sec, 65 secs 4770629 edges, 9123 markings/sec, 70 secs 5111374 edges, 8978 markings/sec, 75 secs 5473428 edges, 8828 markings/sec, 80 secs 5794214 edges, 9075 markings/sec, 85 secs 6134309 edges, 8938 markings/sec, 90 secs 6500942 edges, 8786 markings/sec, 95 secs 6845822 edges, 8996 markings/sec, 100 secs 7215104 edges, 8809 markings/sec, 105 secs 7604174 edges, 8576 markings/sec, 110 secs 7889139 edges, 9198 markings/sec, 115 secs 8200531 edges, 9014 markings/sec, 120 secs 8531091 edges, 8874 markings/sec, 125 secs 8849743 edges, 8938 markings/sec, 130 secs 9186483 edges, 8800 markings/sec, 135 secs 9537731 edges, 8704 markings/sec, 140 secs 9857770 edges, 8961 markings/sec, 145 secs 10197234 edges, 8820 markings/sec, 150 secs 10551967 edges, 8714 markings/sec, 155 secs 10899549 edges, 8784 markings/sec, 160 secs 11263798 edges, 8623 markings/sec, 165 secs 11636288 edges, 8567 markings/sec, 170 secs 11955601 edges, 8939 markings/sec, 175 secs 12294535 edges, 8806 markings/sec, 180 secs 12648152 edges, 8684 markings/sec, 185 secs 12993767 edges, 8738 markings/sec, 190 secs 13356215 edges, 8592 markings/sec, 195 secs 13734549 edges, 8577 markings/sec, 200 secs 14084404 edges, 8865 markings/sec, 205 secs 14451303 edges, 8718 markings/sec, 210 secs 14835522 edges, 8605 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) 157067 edges, 11661 markings/sec, 0 secs 328036 edges, 11607 markings/sec, 5 secs 500360 edges, 11553 markings/sec, 10 secs 681813 edges, 11481 markings/sec, 15 secs 860947 edges, 11464 markings/sec, 20 secs 1036899 edges, 11393 markings/sec, 25 secs 1222175 edges, 11324 markings/sec, 30 secs 1409557 edges, 11320 markings/sec, 35 secs 1603895 edges, 11292 markings/sec, 40 secs 1779112 edges, 11456 markings/sec, 45 secs 1958560 edges, 11362 markings/sec, 50 secs 2143196 edges, 11328 markings/sec, 55 secs 2331371 edges, 11281 markings/sec, 60 secs 2526500 edges, 11255 markings/sec, 65 secs 2713394 edges, 11313 markings/sec, 70 secs 2908426 edges, 11194 markings/sec, 75 secs 3102479 edges, 11174 markings/sec, 80 secs 3305912 edges, 11120 markings/sec, 85 secs 3494124 edges, 11232 markings/sec, 90 secs 3667738 edges, 11245 markings/sec, 95 secs 3850845 edges, 11195 markings/sec, 100 secs 4035633 edges, 11163 markings/sec, 105 secs 4228113 edges, 11105 markings/sec, 110 secs 4410104 edges, 11179 markings/sec, 115 secs 4599372 edges, 11104 markings/sec, 120 secs 4793181 edges, 11076 markings/sec, 125 secs 4991645 edges, 11046 markings/sec, 130 secs 5196199 edges, 11007 markings/sec, 135 secs 5379192 edges, 11183 markings/sec, 140 secs 5570475 edges, 11117 markings/sec, 145 secs 5763666 edges, 11105 markings/sec, 150 secs 5966044 edges, 11041 markings/sec, 155 secs 6167180 edges, 11080 markings/sec, 160 secs 6365722 edges, 11097 markings/sec, 165 secs 6575381 edges, 11025 markings/sec, 170 secs 6781572 edges, 11100 markings/sec, 175 secs 6996602 edges, 10953 markings/sec, 180 secs 7182348 edges, 11119 markings/sec, 185 secs 7355937 edges, 11142 markings/sec, 190 secs 7536920 edges, 11062 markings/sec, 195 secs 7719437 edges, 11056 markings/sec, 200 secs 7911881 edges, 10965 markings/sec, 205 secs 8091025 edges, 11084 markings/sec, 210 secs 8278545 edges, 10978 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) 25246 edges, 4921 markings/sec, 0 secs 48476 edges, 4646 markings/sec, 5 secs 71498 edges, 4604 markings/sec, 10 secs 94455 edges, 4591 markings/sec, 15 secs 117371 edges, 4583 markings/sec, 20 secs 140236 edges, 4573 markings/sec, 25 secs 163052 edges, 4563 markings/sec, 30 secs 185855 edges, 4561 markings/sec, 35 secs 208664 edges, 4562 markings/sec, 40 secs 230922 edges, 4452 markings/sec, 45 secs 253899 edges, 4595 markings/sec, 50 secs 276882 edges, 4597 markings/sec, 55 secs 299861 edges, 4596 markings/sec, 60 secs 322837 edges, 4595 markings/sec, 65 secs 345821 edges, 4597 markings/sec, 70 secs 368802 edges, 4596 markings/sec, 75 secs 391787 edges, 4597 markings/sec, 80 secs 414797 edges, 4602 markings/sec, 85 secs 437801 edges, 4601 markings/sec, 90 secs 460783 edges, 4596 markings/sec, 95 secs 483768 edges, 4597 markings/sec, 100 secs 506776 edges, 4602 markings/sec, 105 secs 529764 edges, 4597 markings/sec, 110 secs 552764 edges, 4600 markings/sec, 115 secs 575914 edges, 4630 markings/sec, 120 secs 599131 edges, 4643 markings/sec, 125 secs 622363 edges, 4646 markings/sec, 130 secs 645574 edges, 4642 markings/sec, 135 secs 668776 edges, 4640 markings/sec, 140 secs 692006 edges, 4646 markings/sec, 145 secs 715223 edges, 4643 markings/sec, 150 secs 738443 edges, 4644 markings/sec, 155 secs 761638 edges, 4639 markings/sec, 160 secs 784832 edges, 4639 markings/sec, 165 secs 808031 edges, 4640 markings/sec, 170 secs 831230 edges, 4640 markings/sec, 175 secs 854428 edges, 4640 markings/sec, 180 secs 877631 edges, 4640 markings/sec, 185 secs 900819 edges, 4638 markings/sec, 190 secs 924002 edges, 4637 markings/sec, 195 secs 947185 edges, 4637 markings/sec, 200 secs 970375 edges, 4638 markings/sec, 205 secs 993576 edges, 4640 markings/sec, 210 secs 1016769 edges, 4639 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) 159839 edges, 11849 markings/sec, 0 secs 331233 edges, 11632 markings/sec, 5 secs 503876 edges, 11574 markings/sec, 10 secs 685381 edges, 11486 markings/sec, 15 secs 864905 edges, 11490 markings/sec, 20 secs 1041643 edges, 11442 markings/sec, 25 secs 1227669 edges, 11382 markings/sec, 30 secs 1415739 edges, 11378 markings/sec, 35 secs 1612413 edges, 11325 markings/sec, 40 secs 1786257 edges, 11465 markings/sec, 45 secs 1966392 edges, 11373 markings/sec, 50 secs 2151367 edges, 11318 markings/sec, 55 secs 2339881 edges, 11290 markings/sec, 60 secs 2534064 edges, 11256 markings/sec, 65 secs 2721058 edges, 11318 markings/sec, 70 secs 2918249 edges, 11220 markings/sec, 75 secs 3113105 edges, 11267 markings/sec, 80 secs 3318584 edges, 11190 markings/sec, 85 secs 3505488 edges, 11297 markings/sec, 90 secs 3680881 edges, 11312 markings/sec, 95 secs 3864783 edges, 11253 markings/sec, 100 secs 4050252 edges, 11233 markings/sec, 105 secs 4246587 edges, 11156 markings/sec, 110 secs 4428348 edges, 11276 markings/sec, 115 secs 4619649 edges, 11182 markings/sec, 120 secs 4815409 edges, 11137 markings/sec, 125 secs 5015069 edges, 11117 markings/sec, 130 secs 5217529 edges, 11113 markings/sec, 135 secs 5403460 edges, 11241 markings/sec, 140 secs 5598032 edges, 11144 markings/sec, 145 secs 5791648 edges, 11161 markings/sec, 150 secs 5994823 edges, 11089 markings/sec, 155 secs 6196177 edges, 11126 markings/sec, 160 secs 6395977 edges, 11129 markings/sec, 165 secs 6604627 edges, 11061 markings/sec, 170 secs 6815499 edges, 11045 markings/sec, 175 secs 7032177 edges, 11029 markings/sec, 180 secs 7210638 edges, 11281 markings/sec, 185 secs 7388167 edges, 11228 markings/sec, 190 secs 7569888 edges, 11199 markings/sec, 195 secs 7756253 edges, 11150 markings/sec, 200 secs 7950162 edges, 11097 markings/sec, 205 secs 8133452 edges, 11185 markings/sec, 210 secs 8324310 edges, 11093 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 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) 23736 edges, 4702 markings/sec, 0 secs 47222 edges, 4697 markings/sec, 5 secs 70684 edges, 4692 markings/sec, 10 secs 94130 edges, 4689 markings/sec, 15 secs 117550 edges, 4684 markings/sec, 20 secs 140993 edges, 4688 markings/sec, 25 secs 164415 edges, 4685 markings/sec, 30 secs 187842 edges, 4685 markings/sec, 35 secs 211226 edges, 4677 markings/sec, 40 secs 234436 edges, 4642 markings/sec, 45 secs 257661 edges, 4645 markings/sec, 50 secs 280879 edges, 4644 markings/sec, 55 secs 304067 edges, 4638 markings/sec, 60 secs 327233 edges, 4633 markings/sec, 65 secs 350397 edges, 4633 markings/sec, 70 secs 373570 edges, 4635 markings/sec, 75 secs 396729 edges, 4632 markings/sec, 80 secs 419897 edges, 4634 markings/sec, 85 secs 443047 edges, 4630 markings/sec, 90 secs 466229 edges, 4636 markings/sec, 95 secs 489399 edges, 4634 markings/sec, 100 secs 512577 edges, 4636 markings/sec, 105 secs 535715 edges, 4628 markings/sec, 110 secs 558868 edges, 4630 markings/sec, 115 secs 582033 edges, 4633 markings/sec, 120 secs 605208 edges, 4635 markings/sec, 125 secs 628378 edges, 4634 markings/sec, 130 secs 651661 edges, 4657 markings/sec, 135 secs 675011 edges, 4670 markings/sec, 140 secs 698363 edges, 4670 markings/sec, 145 secs 721711 edges, 4670 markings/sec, 150 secs 744867 edges, 4631 markings/sec, 155 secs 768148 edges, 4656 markings/sec, 160 secs 791322 edges, 4635 markings/sec, 165 secs 814664 edges, 4668 markings/sec, 170 secs 838010 edges, 4669 markings/sec, 175 secs 861343 edges, 4667 markings/sec, 180 secs 884692 edges, 4670 markings/sec, 185 secs 907911 edges, 4644 markings/sec, 190 secs 931025 edges, 4623 markings/sec, 195 secs 954134 edges, 4622 markings/sec, 200 secs 977254 edges, 4624 markings/sec, 205 secs 1000404 edges, 4630 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 8 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) 25401 edges, 4952 markings/sec, 0 secs 48598 edges, 4639 markings/sec, 5 secs 71778 edges, 4636 markings/sec, 10 secs 94959 edges, 4636 markings/sec, 15 secs 118137 edges, 4636 markings/sec, 20 secs 141297 edges, 4632 markings/sec, 25 secs 164451 edges, 4631 markings/sec, 30 secs 187620 edges, 4634 markings/sec, 35 secs 210782 edges, 4632 markings/sec, 40 secs 233946 edges, 4633 markings/sec, 45 secs 257102 edges, 4631 markings/sec, 50 secs 280255 edges, 4631 markings/sec, 55 secs 303401 edges, 4629 markings/sec, 60 secs 326443 edges, 4608 markings/sec, 65 secs 349425 edges, 4596 markings/sec, 70 secs 372348 edges, 4585 markings/sec, 75 secs 395309 edges, 4592 markings/sec, 80 secs 418311 edges, 4600 markings/sec, 85 secs 441319 edges, 4602 markings/sec, 90 secs 464367 edges, 4610 markings/sec, 95 secs 487486 edges, 4624 markings/sec, 100 secs 510609 edges, 4625 markings/sec, 105 secs 533734 edges, 4625 markings/sec, 110 secs 556860 edges, 4625 markings/sec, 115 secs 579981 edges, 4624 markings/sec, 120 secs 603083 edges, 4620 markings/sec, 125 secs 626186 edges, 4621 markings/sec, 130 secs 649297 edges, 4622 markings/sec, 135 secs 672399 edges, 4620 markings/sec, 140 secs 695502 edges, 4621 markings/sec, 145 secs 718602 edges, 4620 markings/sec, 150 secs 741701 edges, 4620 markings/sec, 155 secs 764810 edges, 4622 markings/sec, 160 secs 787910 edges, 4620 markings/sec, 165 secs 811009 edges, 4620 markings/sec, 170 secs 834115 edges, 4621 markings/sec, 175 secs 857217 edges, 4621 markings/sec, 180 secs 880316 edges, 4620 markings/sec, 185 secs 903426 edges, 4622 markings/sec, 190 secs 926540 edges, 4623 markings/sec, 195 secs 949541 edges, 4600 markings/sec, 200 secs 972532 edges, 4598 markings/sec, 205 secs 995534 edges, 4600 markings/sec, 210 secs 1018580 edges, 4609 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 220 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) 271531 edges, 9901 markings/sec, 0 secs 570608 edges, 9607 markings/sec, 5 secs 883395 edges, 9607 markings/sec, 10 secs 1198717 edges, 9484 markings/sec, 15 secs 1527390 edges, 9427 markings/sec, 20 secs 1850603 edges, 9421 markings/sec, 25 secs 2167518 edges, 9385 markings/sec, 30 secs 2500999 edges, 9308 markings/sec, 35 secs 2836822 edges, 9300 markings/sec, 40 secs 3183541 edges, 9241 markings/sec, 45 secs 3552500 edges, 9097 markings/sec, 50 secs 3859159 edges, 9427 markings/sec, 55 secs 4178145 edges, 9297 markings/sec, 60 secs 4520198 edges, 9128 markings/sec, 65 secs 4847383 edges, 9240 markings/sec, 70 secs 5196260 edges, 9101 markings/sec, 75 secs 5556678 edges, 9027 markings/sec, 80 secs 5889169 edges, 9237 markings/sec, 85 secs 6242423 edges, 9095 markings/sec, 90 secs 6605051 edges, 9030 markings/sec, 95 secs 6970071 edges, 9012 markings/sec, 100 secs 7348415 edges, 8930 markings/sec, 105 secs 7705349 edges, 9051 markings/sec, 110 secs 8018367 edges, 9261 markings/sec, 115 secs 8339630 edges, 9240 markings/sec, 120 secs 8670033 edges, 9133 markings/sec, 125 secs 9009070 edges, 9014 markings/sec, 130 secs 9360700 edges, 8923 markings/sec, 135 secs 9697971 edges, 9051 markings/sec, 140 secs 10037194 edges, 9028 markings/sec, 145 secs 10391952 edges, 8924 markings/sec, 150 secs 10748527 edges, 8931 markings/sec, 155 secs 11112879 edges, 8879 markings/sec, 160 secs 11496057 edges, 8749 markings/sec, 165 secs 11836477 edges, 9032 markings/sec, 170 secs 12176132 edges, 9033 markings/sec, 175 secs 12535489 edges, 8885 markings/sec, 180 secs 12887082 edges, 8966 markings/sec, 185 secs 13255727 edges, 8817 markings/sec, 190 secs 13640885 edges, 8700 markings/sec, 195 secs 13994881 edges, 8951 markings/sec, 200 secs 14362960 edges, 8818 markings/sec, 205 secs 14750872 edges, 8688 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 10 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) 25290 edges, 4930 markings/sec, 0 secs 48508 edges, 4644 markings/sec, 5 secs 71609 edges, 4620 markings/sec, 10 secs 94710 edges, 4620 markings/sec, 15 secs 117863 edges, 4631 markings/sec, 20 secs 141087 edges, 4645 markings/sec, 25 secs 164311 edges, 4645 markings/sec, 30 secs 187533 edges, 4644 markings/sec, 35 secs 210735 edges, 4640 markings/sec, 40 secs 233933 edges, 4640 markings/sec, 45 secs 257127 edges, 4639 markings/sec, 50 secs 280324 edges, 4639 markings/sec, 55 secs 303508 edges, 4637 markings/sec, 60 secs 326707 edges, 4640 markings/sec, 65 secs 349926 edges, 4644 markings/sec, 70 secs 373029 edges, 4621 markings/sec, 75 secs 396022 edges, 4599 markings/sec, 80 secs 419069 edges, 4609 markings/sec, 85 secs 442114 edges, 4609 markings/sec, 90 secs 465109 edges, 4599 markings/sec, 95 secs 488103 edges, 4599 markings/sec, 100 secs 511261 edges, 4632 markings/sec, 105 secs 534447 edges, 4637 markings/sec, 110 secs 557635 edges, 4638 markings/sec, 115 secs 580674 edges, 4608 markings/sec, 120 secs 603660 edges, 4597 markings/sec, 125 secs 626671 edges, 4602 markings/sec, 130 secs 649706 edges, 4607 markings/sec, 135 secs 672281 edges, 4515 markings/sec, 140 secs 695284 edges, 4601 markings/sec, 145 secs 718279 edges, 4599 markings/sec, 150 secs 741282 edges, 4601 markings/sec, 155 secs 764246 edges, 4593 markings/sec, 160 secs 787237 edges, 4598 markings/sec, 165 secs 810279 edges, 4608 markings/sec, 170 secs 833310 edges, 4606 markings/sec, 175 secs 856317 edges, 4602 markings/sec, 180 secs 879499 edges, 4636 markings/sec, 185 secs 902706 edges, 4641 markings/sec, 190 secs 925919 edges, 4643 markings/sec, 195 secs 949136 edges, 4643 markings/sec, 200 secs 972353 edges, 4643 markings/sec, 205 secs 995564 edges, 4642 markings/sec, 210 secs 1018780 edges, 4643 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 11 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) 23472 edges, 4649 markings/sec, 0 secs 46983 edges, 4702 markings/sec, 5 secs 70447 edges, 4693 markings/sec, 10 secs 93910 edges, 4693 markings/sec, 15 secs 117383 edges, 4695 markings/sec, 20 secs 140840 edges, 4691 markings/sec, 25 secs 164267 edges, 4685 markings/sec, 30 secs 187709 edges, 4688 markings/sec, 35 secs 211143 edges, 4687 markings/sec, 40 secs 234570 edges, 4685 markings/sec, 45 secs 257993 edges, 4685 markings/sec, 50 secs 281441 edges, 4690 markings/sec, 55 secs 304888 edges, 4689 markings/sec, 60 secs 328046 edges, 4632 markings/sec, 65 secs 351329 edges, 4657 markings/sec, 70 secs 374561 edges, 4646 markings/sec, 75 secs 397754 edges, 4639 markings/sec, 80 secs 420955 edges, 4640 markings/sec, 85 secs 444140 edges, 4637 markings/sec, 90 secs 467340 edges, 4640 markings/sec, 95 secs 490552 edges, 4642 markings/sec, 100 secs 513770 edges, 4644 markings/sec, 105 secs 537122 edges, 4670 markings/sec, 110 secs 560496 edges, 4675 markings/sec, 115 secs 583905 edges, 4682 markings/sec, 120 secs 607302 edges, 4679 markings/sec, 125 secs 630690 edges, 4678 markings/sec, 130 secs 654076 edges, 4677 markings/sec, 135 secs 677486 edges, 4682 markings/sec, 140 secs 700880 edges, 4679 markings/sec, 145 secs 724067 edges, 4638 markings/sec, 150 secs 747202 edges, 4627 markings/sec, 155 secs 770544 edges, 4668 markings/sec, 160 secs 793907 edges, 4673 markings/sec, 165 secs 817273 edges, 4673 markings/sec, 170 secs 840639 edges, 4673 markings/sec, 175 secs 864008 edges, 4674 markings/sec, 180 secs 887356 edges, 4670 markings/sec, 185 secs 910722 edges, 4673 markings/sec, 190 secs 934068 edges, 4669 markings/sec, 195 secs 957432 edges, 4673 markings/sec, 200 secs 980807 edges, 4675 markings/sec, 205 secs 1004184 edges, 4675 markings/sec, 210 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) 267950 edges, 9787 markings/sec, 0 secs 566990 edges, 9626 markings/sec, 5 secs 877047 edges, 9507 markings/sec, 10 secs 1188681 edges, 9418 markings/sec, 15 secs 1514784 edges, 9334 markings/sec, 20 secs 1835905 edges, 9337 markings/sec, 25 secs 2151873 edges, 9319 markings/sec, 30 secs 2480383 edges, 9253 markings/sec, 35 secs 2813399 edges, 9229 markings/sec, 40 secs 3156540 edges, 9174 markings/sec, 45 secs 3519433 edges, 9036 markings/sec, 50 secs 3829256 edges, 9249 markings/sec, 55 secs 4141643 edges, 9157 markings/sec, 60 secs 4475144 edges, 8983 markings/sec, 65 secs 4794344 edges, 9092 markings/sec, 70 secs 5135439 edges, 8966 markings/sec, 75 secs 5501696 edges, 8775 markings/sec, 80 secs 5818865 edges, 9148 markings/sec, 85 secs 6158912 edges, 8882 markings/sec, 90 secs 6522867 edges, 8839 markings/sec, 95 secs 6871504 edges, 8942 markings/sec, 100 secs 7241240 edges, 8802 markings/sec, 105 secs 7622912 edges, 8708 markings/sec, 110 secs 7916412 edges, 9244 markings/sec, 115 secs 8232404 edges, 9084 markings/sec, 120 secs 8561545 edges, 8972 markings/sec, 125 secs 8886914 edges, 9003 markings/sec, 130 secs 9232256 edges, 8869 markings/sec, 135 secs 9578492 edges, 8857 markings/sec, 140 secs 9908388 edges, 9019 markings/sec, 145 secs 10252809 edges, 8919 markings/sec, 150 secs 10609339 edges, 8856 markings/sec, 155 secs 10968021 edges, 8850 markings/sec, 160 secs 11342102 edges, 8830 markings/sec, 165 secs 11708161 edges, 8869 markings/sec, 170 secs 12044742 edges, 9086 markings/sec, 175 secs 12392300 edges, 9010 markings/sec, 180 secs 12749729 edges, 8928 markings/sec, 185 secs 13117950 edges, 8845 markings/sec, 190 secs 13489844 edges, 8852 markings/sec, 195 secs 13859974 edges, 8842 markings/sec, 200 secs 14228521 edges, 8850 markings/sec, 205 secs 14601987 edges, 8833 markings/sec, 210 secs 14982932 edges, 8725 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) 25336 edges, 4939 markings/sec, 0 secs 48634 edges, 4659 markings/sec, 5 secs 71926 edges, 4658 markings/sec, 10 secs 95213 edges, 4658 markings/sec, 15 secs 118490 edges, 4655 markings/sec, 20 secs 141748 edges, 4652 markings/sec, 25 secs 165012 edges, 4653 markings/sec, 30 secs 188265 edges, 4651 markings/sec, 35 secs 211510 edges, 4649 markings/sec, 40 secs 234603 edges, 4619 markings/sec, 45 secs 257657 edges, 4611 markings/sec, 50 secs 280708 edges, 4610 markings/sec, 55 secs 303955 edges, 4649 markings/sec, 60 secs 327200 edges, 4649 markings/sec, 65 secs 350476 edges, 4655 markings/sec, 70 secs 373751 edges, 4655 markings/sec, 75 secs 396984 edges, 4646 markings/sec, 80 secs 420226 edges, 4649 markings/sec, 85 secs 443428 edges, 4640 markings/sec, 90 secs 466603 edges, 4635 markings/sec, 95 secs 489822 edges, 4644 markings/sec, 100 secs 513037 edges, 4643 markings/sec, 105 secs 536282 edges, 4649 markings/sec, 110 secs 559525 edges, 4649 markings/sec, 115 secs 582765 edges, 4648 markings/sec, 120 secs 605989 edges, 4645 markings/sec, 125 secs 629223 edges, 4647 markings/sec, 130 secs 652451 edges, 4646 markings/sec, 135 secs 675673 edges, 4644 markings/sec, 140 secs 698889 edges, 4643 markings/sec, 145 secs 722112 edges, 4645 markings/sec, 150 secs 745328 edges, 4643 markings/sec, 155 secs 768552 edges, 4645 markings/sec, 160 secs 791754 edges, 4640 markings/sec, 165 secs 814970 edges, 4643 markings/sec, 170 secs 838158 edges, 4638 markings/sec, 175 secs 861351 edges, 4639 markings/sec, 180 secs 884554 edges, 4640 markings/sec, 185 secs 907739 edges, 4637 markings/sec, 190 secs 930924 edges, 4637 markings/sec, 195 secs 953984 edges, 4612 markings/sec, 200 secs 977069 edges, 4617 markings/sec, 205 secs 1000140 edges, 4614 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 14 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) 23548 edges, 4664 markings/sec, 0 secs 46851 edges, 4661 markings/sec, 5 secs 70139 edges, 4658 markings/sec, 10 secs 93401 edges, 4652 markings/sec, 15 secs 116625 edges, 4645 markings/sec, 20 secs 139850 edges, 4645 markings/sec, 25 secs 163092 edges, 4648 markings/sec, 30 secs 186409 edges, 4663 markings/sec, 35 secs 209812 edges, 4681 markings/sec, 40 secs 233217 edges, 4681 markings/sec, 45 secs 256633 edges, 4683 markings/sec, 50 secs 280034 edges, 4680 markings/sec, 55 secs 303410 edges, 4675 markings/sec, 60 secs 326781 edges, 4674 markings/sec, 65 secs 350163 edges, 4676 markings/sec, 70 secs 373560 edges, 4679 markings/sec, 75 secs 396963 edges, 4681 markings/sec, 80 secs 420360 edges, 4679 markings/sec, 85 secs 443752 edges, 4678 markings/sec, 90 secs 467146 edges, 4679 markings/sec, 95 secs 490542 edges, 4679 markings/sec, 100 secs 513937 edges, 4679 markings/sec, 105 secs 537323 edges, 4677 markings/sec, 110 secs 560695 edges, 4674 markings/sec, 115 secs 584068 edges, 4675 markings/sec, 120 secs 607444 edges, 4675 markings/sec, 125 secs 630815 edges, 4674 markings/sec, 130 secs 654178 edges, 4672 markings/sec, 135 secs 677551 edges, 4675 markings/sec, 140 secs 700912 edges, 4672 markings/sec, 145 secs 724280 edges, 4674 markings/sec, 150 secs 747651 edges, 4674 markings/sec, 155 secs 771027 edges, 4675 markings/sec, 160 secs 794407 edges, 4676 markings/sec, 165 secs 817429 edges, 4604 markings/sec, 170 secs 840711 edges, 4656 markings/sec, 175 secs 863980 edges, 4654 markings/sec, 180 secs 887195 edges, 4643 markings/sec, 185 secs 910415 edges, 4644 markings/sec, 190 secs 933670 edges, 4651 markings/sec, 195 secs 956940 edges, 4654 markings/sec, 200 secs 980246 edges, 4661 markings/sec, 205 secs 1003676 edges, 4686 markings/sec, 210 secs 1027090 edges, 4683 markings/sec, 215 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) 259187 edges, 9533 markings/sec, 0 secs 557476 edges, 9618 markings/sec, 5 secs 870014 edges, 9527 markings/sec, 10 secs 1181210 edges, 9456 markings/sec, 15 secs 1508791 edges, 9360 markings/sec, 20 secs 1831059 edges, 9365 markings/sec, 25 secs 2146892 edges, 9308 markings/sec, 30 secs 2475134 edges, 9256 markings/sec, 35 secs 2807274 edges, 9237 markings/sec, 40 secs 3150106 edges, 9142 markings/sec, 45 secs 3512105 edges, 9050 markings/sec, 50 secs 3824624 edges, 9274 markings/sec, 55 secs 4139696 edges, 9232 markings/sec, 60 secs 4477747 edges, 9110 markings/sec, 65 secs 4801251 edges, 9220 markings/sec, 70 secs 5147472 edges, 9084 markings/sec, 75 secs 5514755 edges, 8901 markings/sec, 80 secs 5836729 edges, 9175 markings/sec, 85 secs 6181216 edges, 8996 markings/sec, 90 secs 6543901 edges, 8871 markings/sec, 95 secs 6898824 edges, 8991 markings/sec, 100 secs 7274321 edges, 8883 markings/sec, 105 secs 7646896 edges, 8814 markings/sec, 110 secs 7943614 edges, 9213 markings/sec, 115 secs 8262249 edges, 9077 markings/sec, 120 secs 8589480 edges, 8997 markings/sec, 125 secs 8918161 edges, 8956 markings/sec, 130 secs 9261745 edges, 8890 markings/sec, 135 secs 9610228 edges, 8943 markings/sec, 140 secs 9945285 edges, 9057 markings/sec, 145 secs 10292811 edges, 9003 markings/sec, 150 secs 10650931 edges, 8943 markings/sec, 155 secs 11016628 edges, 8812 markings/sec, 160 secs 11388949 edges, 8849 markings/sec, 165 secs 11745870 edges, 8924 markings/sec, 170 secs 12086941 edges, 9025 markings/sec, 175 secs 12434265 edges, 8963 markings/sec, 180 secs 12788507 edges, 8886 markings/sec, 185 secs 13153985 edges, 8813 markings/sec, 190 secs 13528648 edges, 8741 markings/sec, 195 secs 13892679 edges, 8823 markings/sec, 200 secs 14258887 edges, 8847 markings/sec, 205 secs 14638072 edges, 8774 markings/sec, 210 secs 15018705 edges, 8787 markings/sec, 215 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown User defined signal 1 - aborting LoLA -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="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/CSRepetitions-COL-10.tgz
mv 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 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 r018-ebro-149436308900101"
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 ;