MCC'2017 - Execution of r208-smll-149581172600155

About the Execution of LoLA for Referendum-PT-0100

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4041.710	3006063.00	3012389.00	6478.20	100 ? 100 ? 100 ? ? 1 100 ? ? ? ? 1 ? 100	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
========================
Generated by BenchKit 2-3254
Executing tool lola
Input is Referendum-PT-0100, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-14958117260015
==============================================

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

=== Data for post analysis generated

The expected result is a vector of positive
NUM_VECTOR

here is the order used to build the result
FORMULA_NAME Referendum-COL-0100-UpperBounds-0
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-1
FORMULA_NAME Referendum-COL-0100-UpperBounds-2
FORMULA_NAME Referendum-COL-0100-UpperBounds-3
FORMULA_NAME Referendum-COL-0100-UpperBounds-4
FORMULA_NAME Referendum-COL-0100-UpperBounds-5
FORMULA_NAME Referendum-COL-0100-UpperBounds-6
FORMULA_NAME Referendum-COL-0100-UpperBounds-7
FORMULA_NAME Referendum-COL-0100-UpperBounds-8
FORMULA_NAME Referendum-COL-0100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496327546674

Time: 3600 - MCC
----- Start make prepare stdout -----
==============================================
Referendum-PT-0100: translating PT Petri
==============================================
translating PT Petri net complete

checking for too many tokens
==============================================
Referendum-PT-0100: translating PT formula
==============================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ Referendum-PT-0100 @ 3540
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 502/65536 symbol table entries,
lola: preprocessing...
lola: finding significant places
lola: 301 places, 201 transitions,
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 103 transition conflict sets
lola: TASK
lola: reading formula from Referendum-COL-01
lola: MAX(voting_10 + voting_11 + voting_12
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(voting_10
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 1 will run for 236
lola: ======================================
lola: ...considering subproblem: MAX(voted_yes_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 423429 markings, 3238289 edges,
lola: 792481 markings, 6317108 edges,
lola: 1159914 markings, 9550462 edges,
lola: 1447004 markings, 12237292 edges,
lola: 1766399 markings, 15128136 edges,
lola: 2129548 markings, 18264002 edges,
lola: 2435784 markings, 21083448 edges,
lola: 2704081 markings, 23731193 edges,
lola: 3049140 markings, 26823336 edges,
lola: 3317141 markings, 29427797 edges,
lola: 3651160 markings, 32597426 edges,
lola: 3946392 markings, 35567010 edges,
lola: 4194454 markings, 38087963 edges,
lola: 4432240 markings, 40570573 edges,
lola: 4647698 markings, 42964469 edges,
lola: 4912886 markings, 45623720 edges,
lola: 5270868 markings, 48676346 edges,
lola: 5591049 markings, 51584650 edges,
lola: 5841080 markings, 54138523 edges,
lola: 6204221 markings, 57304928 edges,
lola: 6473049 markings, 59906959 edges,
lola: 6791118 markings, 62943141 edges,
lola: 7096699 markings, 66002397 edges,
lola: 7339534 markings, 68501299 edges,
lola: 7581170 markings, 70982966 edges,
lola: 7800884 markings, 73386720 edges,
lola: 8014610 markings, 75782429 edges,
lola: 8360602 markings, 78871103 edges,
lola: 8627347 markings, 81464755 edges,
lola: 8955431 markings, 84581714 edges,
lola: 9251176 markings, 87548002 edges,
lola: 9495351 markings, 90040551 edges,
lola: 9732707 markings, 92508896 edges,
lola: 9948671 markings, 94890327 edges,
lola: 10176629 markings, 97379941 edges,
lola: 10510055 markings, 100605937 edges,
lola: 10780124 markings, 103283473 edges,
lola: 11018688 markings, 105750147 edges,
lola: 11240825 markings, 108156099 edges,
lola: 11447205 markings, 110493049 edges,
lola: 11710113 markings, 113211982 edges,
lola: 12008135 markings, 116307254 edges,
lola: 12282395 markings, 119299748 edges,
lola: 12523302 markings, 122049235 edges,
lola: 12754628 markings, 124475807 edges,
lola: 12962988 markings, 126809317 edges,
lola: 13162060 markings, 129100394 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 2 will run for 236
lola: ======================================
lola: ...considering subproblem: MAX(voting_10
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 3 will run for 254
lola: ======================================
lola: ...considering subproblem: MAX(voted_no_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 414829 markings, 3158039 edges,
lola: 793908 markings, 6327381 edges,
lola: 1172818 markings, 9668878 edges,
lola: 1469370 markings, 12461539 edges,
lola: 1812581 markings, 15514882 edges,
lola: 2181342 markings, 18772677 edges,
lola: 2480120 markings, 21506869 edges,
lola: 2784263 markings, 24406022 edges,
lola: 3106766 markings, 27333152 edges,
lola: 3362708 markings, 29950346 edges,
lola: 3723641 markings, 33308138 edges,
lola: 4010007 markings, 36178797 edges,
lola: 4260366 markings, 38747689 edges,
lola: 4496889 markings, 41289856 edges,
lola: 4717397 markings, 43787305 edges,
lola: 5045475 markings, 46717297 edges,
lola: 5402437 markings, 49864766 edges,
lola: 5691651 markings, 52555499 edges,
lola: 6005207 markings, 55507953 edges,
lola: 6317943 markings, 58369334 edges,
lola: 6582068 markings, 61032150 edges,
lola: 6935268 markings, 64374217 edges,
lola: 7217197 markings, 67185098 edges,
lola: 7465522 markings, 69743661 edges,
lola: 7699391 markings, 72268884 edges,
lola: 7917153 markings, 74752743 edges,
lola: 8249820 markings, 77846384 edges,
lola: 8534517 markings, 80516240 edges,
lola: 8830556 markings, 83410920 edges,
lola: 9156569 markings, 86673098 edges,
lola: 9422579 markings, 89265731 edges,
lola: 9664965 markings, 91802809 edges,
lola: 9898009 markings, 94318958 edges,
lola: 10111203 markings, 96822297 edges,
lola: 10465913 markings, 100141027 edges,
lola: 10746964 markings, 102962043 edges,
lola: 10995258 markings, 105509039 edges,
lola: 11229252 markings, 108024212 edges,
lola: 11446933 markings, 110489852 edges,
lola: 11731189 markings, 113428294 edges,
lola: 12031752 markings, 116582339 edges,
lola: 12319524 markings, 119713524 edges,
lola: 12573252 markings, 122550916 edges,
lola: 12804706 markings, 125041099 edges,
lola: 13020381 markings, 127479640 edges,
lola: 13236083 markings, 129927802 edges,
lola: 13450832 markings, 132367766 edges,
lola: 13659954 markings, 134795771 edges,
lola: 13859624 markings, 137188329 edges,
lola: 14055924 markings, 139581038 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 4 will run for 254
lola: ======================================
lola: ...considering subproblem: MAX(voted_no_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 432993 markings, 3319680 edges,
lola: 804731 markings, 6419324 edges,
lola: 1173176 markings, 9672487 edges,
lola: 1461506 markings, 12385200 edges,
lola: 1791083 markings, 15350429 edges,
lola: 2160398 markings, 18555483 edges,
lola: 2460667 markings, 21326425 edges,
lola: 2756192 markings, 24165709 edges,
lola: 3087325 markings, 27160604 edges,
lola: 3350925 markings, 29806600 edges,
lola: 3704708 markings, 33125378 edges,
lola: 3997790 markings, 36048741 edges,
lola: 4248061 markings, 38621982 edges,
lola: 4487212 markings, 41174545 edges,
lola: 4707731 markings, 43673098 edges,
lola: 5029895 markings, 46586285 edges,
lola: 5394682 markings, 49800751 edges,
lola: 5684956 markings, 52488933 edges,
lola: 5993369 markings, 55402842 edges,
lola: 6308760 markings, 58280623 edges,
lola: 6565671 markings, 60899945 edges,
lola: 6923769 markings, 64247998 edges,
lola: 7206092 markings, 67078288 edges,
lola: 7455201 markings, 69637782 edges,
lola: 7688855 markings, 72155502 edges,
lola: 7909086 markings, 74647627 edges,
lola: 8233643 markings, 77708294 edges,
lola: 8521750 markings, 80383663 edges,
lola: 8813874 markings, 83240383 edges,
lola: 9142304 markings, 86509435 edges,
lola: 9409091 markings, 89123272 edges,
lola: 9652578 markings, 91658851 edges,
lola: 9884980 markings, 94168387 edges,
lola: 10090811 markings, 96618411 edges,
lola: 10439199 markings, 99877328 edges,
lola: 10726648 markings, 102747501 edges,
lola: 10972635 markings, 105279289 edges,
lola: 11209284 markings, 107790901 edges,
lola: 11427590 markings, 110258267 edges,
lola: 11699484 markings, 113109568 edges,
lola: 12003598 markings, 116258115 edges,
lola: 12289802 markings, 119379674 edges,
lola: 12546107 markings, 122275322 edges,
lola: 12781355 markings, 124769432 edges,
lola: 12998746 markings, 127220833 edges,
lola: 13212290 markings, 129653230 edges,
lola: 13427532 markings, 132093292 edges,
lola: 13635960 markings, 134515673 edges,
lola: 13836633 markings, 136915205 edges,
lola: 14032734 markings, 139298015 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 5 will run for 254
lola: ======================================
lola: ...considering subproblem: MAX(voted_no_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 432962 markings, 3319336 edges,
lola: 803125 markings, 6405263 edges,
lola: 1171387 markings, 9655006 edges,
lola: 1459555 markings, 12368452 edges,
lola: 1789776 markings, 15335481 edges,
lola: 2157572 markings, 18529148 edges,
lola: 2458725 markings, 21308336 edges,
lola: 2752942 markings, 24141011 edges,
lola: 3085443 markings, 27144397 edges,
lola: 3348975 markings, 29785343 edges,
lola: 3701472 markings, 33096079 edges,
lola: 3995791 markings, 36028798 edges,
lola: 4245993 markings, 38601224 edges,
lola: 4484773 markings, 41148420 edges,
lola: 4706228 markings, 43655599 edges,
lola: 5027715 markings, 46565409 edges,
lola: 5392205 markings, 49782144 edges,
lola: 5683766 markings, 52475501 edges,
lola: 5991088 markings, 55384214 edges,
lola: 6307823 markings, 58271540 edges,
lola: 6564593 markings, 60892038 edges,
lola: 6923545 markings, 64245461 edges,
lola: 7206284 markings, 67079882 edges,
lola: 7455518 markings, 69641330 edges,
lola: 7689308 markings, 72161644 edges,
lola: 7909866 markings, 74656474 edges,
lola: 8235495 markings, 77723940 edges,
lola: 8523368 markings, 80399524 edges,
lola: 8816189 markings, 83263703 edges,
lola: 9144013 markings, 86530858 edges,
lola: 9411595 markings, 89148748 edges,
lola: 9655332 markings, 91689327 edges,
lola: 9888063 markings, 94202849 edges,
lola: 10093033 markings, 96650742 edges,
lola: 10454522 markings, 100025693 edges,
lola: 10744797 markings, 102944645 edges,
lola: 11000300 markings, 105565215 edges,
lola: 11239824 markings, 108146094 edges,
lola: 11463204 markings, 110689317 edges,
lola: 11765700 markings, 113788111 edges,
lola: 12078613 markings, 117063230 edges,
lola: 12367553 markings, 120276146 edges,
lola: 12625231 markings, 123095056 edges,
lola: 12861989 markings, 125656199 edges,
lola: 13074609 markings, 128161060 edges,
lola: 13307681 markings, 130702594 edges,
lola: 13514107 markings, 133175232 edges,
lola: 13735743 markings, 135699135 edges,
lola: 13941019 markings, 138168697 edges,
lola: 14137736 markings, 140618974 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 6 will run for 254
lola: ======================================
lola: ...considering subproblem: MAX(voted_yes_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 421160 markings, 3215811 edges,
lola: 787457 markings, 6273436 edges,
lola: 1152498 markings, 9487707 edges,
lola: 1430040 markings, 12063974 edges,
lola: 1741062 markings, 14929761 edges,
lola: 2103016 markings, 18025454 edges,
lola: 2417393 markings, 20902195 edges,
lola: 2670410 markings, 23470528 edges,
lola: 3031994 markings, 26642151 edges,
lola: 3300739 markings, 29254299 edges,
lola: 3625622 markings, 32358823 edges,
lola: 3929205 markings, 35387951 edges,
lola: 4173755 markings, 37892260 edges,
lola: 4400769 markings, 40245590 edges,
lola: 4608658 markings, 42524788 edges,
lola: 4802016 markings, 44760099 edges,
lola: 5150979 markings, 47684455 edges,
lola: 5499551 markings, 50731416 edges,
lola: 5756277 markings, 53213154 edges,
lola: 6071835 markings, 56136498 edges,
lola: 6350761 markings, 58700329 edges,
lola: 6599831 markings, 61185515 edges,
lola: 6931004 markings, 64326655 edges,
lola: 7194187 markings, 66953519 edges,
lola: 7422015 markings, 69302225 edges,
lola: 7641852 markings, 71617721 edges,
lola: 7842283 markings, 73859803 edges,
lola: 8083359 markings, 76350606 edges,
lola: 8393795 markings, 79165712 edges,
lola: 8638775 markings, 81593528 edges,
lola: 8956398 markings, 84590269 edges,
lola: 9238278 markings, 87414988 edges,
lola: 9465261 markings, 89758351 edges,
lola: 9691661 markings, 92091338 edges,
lola: 9901540 markings, 94360652 edges,
lola: 10085117 markings, 96541019 edges,
lola: 10412484 markings, 99605341 edges,
lola: 10684630 markings, 102349240 edges,
lola: 10914552 markings, 104703218 edges,
lola: 11137530 markings, 107026769 edges,
lola: 11342548 markings, 109275506 edges,
lola: 11528580 markings, 111476475 edges,
lola: 11826631 markings, 114472188 edges,
lola: 12113085 markings, 117422503 edges,
lola: 12361691 markings, 120205207 edges,
lola: 12589492 markings, 122715469 edges,
lola: 12799753 markings, 124980698 edges,
lola: 12995305 markings, 127178807 edges,
lola: 13188301 markings, 129386469 edges,
lola: 13387511 markings, 131623449 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 7 will run for 254
lola: ======================================
lola: ...considering subproblem: MAX(ready)
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 8 will run for 285
lola: ======================================
lola: ...considering subproblem: MAX(voted_yes_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 279958 markings, 2060539 edges,
lola: 476782 markings, 3703971 edges,
lola: 701195 markings, 5542129 edges,
lola: 878095 markings, 7113848 edges,
lola: 1115922 markings, 9179684 edges,
lola: 1285823 markings, 10715077 edges,
lola: 1444591 markings, 12211835 edges,
lola: 1580801 markings, 13643361 edges,
lola: 1808634 markings, 15485543 edges,
lola: 1998986 markings, 17145318 edges,
lola: 2223767 markings, 19124457 edges,
lola: 2390060 markings, 20644087 edges,
lola: 2542789 markings, 22129756 edges,
lola: 2693006 markings, 23642748 edges,
lola: 2919189 markings, 25626761 edges,
lola: 3082965 markings, 27118768 edges,
lola: 3234559 markings, 28580063 edges,
lola: 3365338 markings, 29987682 edges,
lola: 3588550 markings, 31986259 edges,
lola: 3781361 markings, 33908648 edges,
lola: 3940886 markings, 35512167 edges,
lola: 4085673 markings, 36943714 edges,
lola: 4220248 markings, 38351550 edges,
lola: 4353215 markings, 39752094 edges,
lola: 4484168 markings, 41140020 edges,
lola: 4607348 markings, 42510442 edges,
lola: 4723981 markings, 43868102 edges,
lola: 4900070 markings, 45533367 edges,
lola: 5090429 markings, 47123246 edges,
lola: 5312242 markings, 49035474 edges,
lola: 5496603 markings, 50700740 edges,
lola: 5652837 markings, 52181711 edges,
lola: 5795290 markings, 53619007 edges,
lola: 5995370 markings, 55420003 edges,
lola: 6188276 markings, 57156248 edges,
lola: 6343984 markings, 58642099 edges,
lola: 6491379 markings, 60102052 edges,
lola: 6666808 markings, 61782412 edges,
lola: 6873121 markings, 63741822 edges,
lola: 7047837 markings, 65556432 edges,
lola: 7199727 markings, 67015054 edges,
lola: 7333111 markings, 68421555 edges,
lola: 7475515 markings, 69845177 edges,
lola: 7605454 markings, 71236208 edges,
lola: 7731851 markings, 72608923 edges,
lola: 7850024 markings, 73956605 edges,
lola: 7960541 markings, 75297853 edges,
lola: 8185060 markings, 77267235 edges,
lola: 8358130 markings, 78844020 edges,
lola: 8516392 markings, 80329633 edges,
lola: 8761503 markings, 82755008 edges,
lola: 9080106 markings, 85821192 edges,
lola: 9336001 markings, 88373549 edges,
lola: 9545956 markings, 90543085 edges,
lola: 9764794 markings, 92845575 edges,
lola: 9962982 markings, 95056337 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 9 will run for 286
lola: ======================================
lola: ...considering subproblem: MAX(voting_10
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 10 will run for 333
lola: ======================================
lola: ...considering subproblem: MAX(voting_10
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 11 will run for 400
lola: ======================================
lola: ...considering subproblem: MAX(voted_no_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 436386 markings, 3347303 edges,
lola: 807916 markings, 6448275 edges,
lola: 1177157 markings, 9706548 edges,
lola: 1465809 markings, 12425644 edges,
lola: 1797928 markings, 15398869 edges,
lola: 2166819 markings, 18620167 edges,
lola: 2466792 markings, 21382565 edges,
lola: 2766051 markings, 24246824 edges,
lola: 3096106 markings, 27234670 edges,
lola: 3357229 markings, 29883399 edges,
lola: 3716626 markings, 33239156 edges,
lola: 4006647 markings, 36142092 edges,
lola: 4257784 markings, 38720338 edges,
lola: 4495805 markings, 41277024 edges,
lola: 4716442 markings, 43776097 edges,
lola: 5044772 markings, 46711946 edges,
lola: 5410875 markings, 49935474 edges,
lola: 5697971 markings, 52621268 edges,
lola: 6012229 markings, 55577985 edges,
lola: 6323653 markings, 58427126 edges,
lola: 6591101 markings, 61108501 edges,
lola: 6943642 markings, 64456129 edges,
lola: 7224640 markings, 67254697 edges,
lola: 7472397 markings, 69812333 edges,
lola: 7705808 markings, 72333201 edges,
lola: 7922039 markings, 74809850 edges,
lola: 8257314 markings, 77916322 edges,
lola: 8540702 markings, 80587720 edges,
lola: 8840163 markings, 83511649 edges,
lola: 9168530 markings, 86770127 edges,
lola: 9430232 markings, 89350982 edges,
lola: 9672727 markings, 91895137 edges,
lola: 9905719 markings, 94411104 edges,
lola: 10121947 markings, 96908356 edges,
lola: 10473656 markings, 100225114 edges,
lola: 10754788 markings, 103032668 edges,
lola: 11000687 markings, 105570202 edges,
lola: 11233237 markings, 108077309 edges,
lola: 11452607 markings, 110555865 edges,
lola: 11738371 markings, 113507001 edges,
lola: 12038225 markings, 116664490 edges,
lola: 12326239 markings, 119794457 edges,
lola: 12579539 markings, 122618479 edges,
lola: 12809271 markings, 125105174 edges,
lola: 13027329 markings, 127563108 edges,
lola: 13244672 markings, 130013804 edges,
lola: 13457701 markings, 132453703 edges,
lola: 13667151 markings, 134886543 edges,
lola: 13869114 markings, 137295748 edges,
lola: 14063657 markings, 139682806 edges,
lola: 14247056 markings, 142044092 edges,
lola: 14518801 markings, 144780911 edges,
lola: 14878921 markings, 147889736 edges,
lola: 15186420 markings, 150713985 edges,
lola: 15460360 markings, 153416100 edges,
lola: 15803391 markings, 156491138 edges,
lola: 16074020 markings, 159124625 edges,
lola: 16409472 markings, 162301621 edges,
lola: 16707512 markings, 165294597 edges,
lola: 16958202 markings, 167849648 edges,
lola: 17199826 markings, 170382434 edges,
lola: 17421759 markings, 172866700 edges,
lola: 17710460 markings, 175736184 edges,
lola: 18017917 markings, 178557491 edges,
lola: 18284341 markings, 181227242 edges,
lola: 18632287 markings, 184529877 edges,
lola: 18910733 markings, 187307170 edges,
lola: 19155989 markings, 189837871 edges,
lola: 19387555 markings, 192340684 edges,
lola: 19605557 markings, 194813242 edges,
lola: 19915482 markings, 197848976 edges,
lola: 20220573 markings, 200899695 edges,
lola: 20467612 markings, 203430595 edges,
lola: 20711243 markings, 205956800 edges,
lola: 20936607 markings, 208436811 edges,
lola: 21175024 markings, 211074009 edges,
lola: 21487997 markings, 214248822 edges,
lola: 21779258 markings, 217372759 edges,
lola: 22038005 markings, 220398097 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 12 will run for 400
lola: ======================================
lola: ...considering subproblem: MAX(voting_10
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 13 will run for 534
lola: ======================================
lola: ...considering subproblem: MAX(voted_no_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 433890 markings, 3326396 edges,
lola: 805366 markings, 6425883 edges,
lola: 1173940 markings, 9681042 edges,
lola: 1462882 markings, 12398038 edges,
lola: 1793387 markings, 15366184 edges,
lola: 2162590 markings, 18577413 edges,
lola: 2463122 markings, 21347824 edges,
lola: 2759697 markings, 24192776 edges,
lola: 3090118 markings, 27183004 edges,
lola: 3351314 markings, 29811390 edges,
lola: 3706909 markings, 33145909 edges,
lola: 3999335 markings, 36066451 edges,
lola: 4250014 markings, 38642255 edges,
lola: 4488852 markings, 41193493 edges,
lola: 4709446 markings, 43695752 edges,
lola: 5032336 markings, 46613109 edges,
lola: 5400457 markings, 49846849 edges,
lola: 5688353 markings, 52521390 edges,
lola: 6005231 markings, 55508308 edges,
lola: 6320548 markings, 58394359 edges,
lola: 6589415 markings, 61093318 edges,
lola: 6944444 markings, 64464440 edges,
lola: 7226775 markings, 67276366 edges,
lola: 7476283 markings, 69853357 edges,
lola: 7712061 markings, 72397131 edges,
lola: 7930319 markings, 74909240 edges,
lola: 8272888 markings, 78048177 edges,
lola: 8557388 markings, 80742692 edges,
lola: 8867353 markings, 83742605 edges,
lola: 9191592 markings, 86977708 edges,
lola: 9449140 markings, 89565858 edges,
lola: 9690565 markings, 92080522 edges,
lola: 9918755 markings, 94560876 edges,
lola: 10135251 markings, 97020717 edges,
lola: 10495809 markings, 100450365 edges,
lola: 10781377 markings, 103296199 edges,
lola: 11034160 markings, 105916648 edges,
lola: 11274238 markings, 108505619 edges,
lola: 11490295 markings, 111032380 edges,
lola: 11808517 markings, 114254295 edges,
lola: 12125108 markings, 117550332 edges,
lola: 12406885 markings, 120754307 edges,
lola: 12659962 markings, 123489937 edges,
lola: 12897469 markings, 126060315 edges,
lola: 13107834 markings, 128543661 edges,
lola: 13343193 markings, 131111370 edges,
lola: 13555385 markings, 133606908 edges,
lola: 13769147 markings, 136116234 edges,
lola: 13972241 markings, 138579023 edges,
lola: 14171258 markings, 141046421 edges,
lola: 14345174 markings, 143419293 edges,
lola: 14722006 markings, 146570724 edges,
lola: 15087892 markings, 149802479 edges,
lola: 15367509 markings, 152533942 edges,
lola: 15727347 markings, 155760681 edges,
lola: 16013491 markings, 158491232 edges,
lola: 16337082 markings, 161604985 edges,
lola: 16661600 markings, 164840007 edges,
lola: 16918873 markings, 167475843 edges,
lola: 17173674 markings, 170107427 edges,
lola: 17406765 markings, 172689877 edges,
lola: 17693468 markings, 175582723 edges,
lola: 18014635 markings, 178524265 edges,
lola: 18291593 markings, 181291828 edges,
lola: 18649653 markings, 184707908 edges,
lola: 18933495 markings, 187535996 edges,
lola: 19186399 markings, 190154910 edges,
lola: 19426002 markings, 192741165 edges,
lola: 19642453 markings, 195276447 edges,
lola: 19990910 markings, 198584290 edges,
lola: 20290006 markings, 201571653 edges,
lola: 20545053 markings, 204189559 edges,
lola: 20787348 markings, 206778775 edges,
lola: 21011800 markings, 209323119 edges,
lola: 21304249 markings, 212354556 edges,
lola: 21614947 markings, 215616489 edges,
lola: 21908494 markings, 218836105 edges,
lola: 22168412 markings, 221699674 edges,
lola: 22404672 markings, 224252831 edges,
lola: 22619804 markings, 226743782 edges,
lola: 22849667 markings, 229281818 edges,
lola: 23061310 markings, 231778455 edges,
lola: 23279228 markings, 234271755 edges,
lola: 23484556 markings, 236737869 edges,
lola: 23679811 markings, 239173059 edges,
lola: 23863461 markings, 241576557 edges,
lola: 24188579 markings, 244680044 edges,
lola: 24480387 markings, 247417479 edges,
lola: 24784692 markings, 250394397 edges,
lola: 25118918 markings, 253704318 edges,
lola: 25383943 markings, 256341547 edges,
lola: 25631741 markings, 258933484 edges,
lola: 25868270 markings, 261499440 edges,
lola: 26108465 markings, 264152950 edges,
lola: 26458110 markings, 267527902 edges,
lola: 26737127 markings, 270304837 edges,
lola: 26988847 markings, 272906854 edges,
lola: 27226636 markings, 275475757 edges,
lola: 27440723 markings, 277996849 edges,
lola: 27755955 markings, 281177283 edges,
lola: 28068694 markings, 284426461 edges,
lola: 28347002 markings, 287591410 edges,
lola: 28598375 markings, 290304786 edges,
lola: 28833669 markings, 292850392 edges,
lola: 29040403 markings, 295313061 edges,
lola: 29275517 markings, 297860719 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 14 will run for 534
lola: ======================================
lola: ...considering subproblem: MAX(voted_yes_100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 422736 markings, 3231034 edges,
lola: 775729 markings, 6171033 edges,
lola: 1121729 markings, 9246395 edges,
lola: 1402890 markings, 11806866 edges,
lola: 1675481 markings, 14400323 edges,
lola: 2015066 markings, 17280420 edges,
lola: 2340940 markings, 20214376 edges,
lola: 2595971 markings, 22685911 edges,
lola: 2924244 markings, 25669271 edges,
lola: 3195081 markings, 28184480 edges,
lola: 3458356 markings, 30776513 edges,
lola: 3780708 markings, 33902243 edges,
lola: 4038099 markings, 36452332 edges,
lola: 4265258 markings, 38800208 edges,
lola: 4480207 markings, 41093437 edges,
lola: 4678738 markings, 43325429 edges,
lola: 4954286 markings, 45945103 edges,
lola: 5295735 markings, 48885442 edges,
lola: 5592155 markings, 51593729 edges,
lola: 5827830 markings, 53982327 edges,
lola: 6171630 markings, 57009357 edges,
lola: 6431788 markings, 59486512 edges,
lola: 6708289 markings, 62191876 edges,
lola: 7015015 markings, 65234565 edges,
lola: 7266581 markings, 67685826 edges,
lola: 7490361 markings, 70007426 edges,
lola: 7700229 markings, 72277496 edges,
lola: 7895408 markings, 74485122 edges,
lola: 8186160 markings, 77278415 edges,
lola: 8464903 markings, 79843450 edges,
lola: 8702828 markings, 82248770 edges,
lola: 9038634 markings, 85396992 edges,
lola: 9303262 markings, 88040614 edges,
lola: 9528491 markings, 90366747 edges,
lola: 9748148 markings, 92667311 edges,
lola: 9948801 markings, 94891503 edges,
lola: 10156347 markings, 97207080 edges,
lola: 10479975 markings, 100293038 edges,
lola: 10738605 markings, 102872267 edges,
lola: 10963541 markings, 105191533 edges,
lola: 11180893 markings, 107478745 edges,
lola: 11379426 markings, 109691550 edges,
lola: 11590886 markings, 112044976 edges,
lola: 11881050 markings, 114991583 edges,
lola: 12153861 markings, 117866520 edges,
lola: 12394705 markings, 120601462 edges,
lola: 12619291 markings, 123030751 edges,
lola: 12825804 markings, 125265648 edges,
lola: 13016761 markings, 127438360 edges,
lola: 13209522 markings, 129620089 edges,
lola: 13403606 markings, 131802738 edges,
lola: 13584420 markings, 133933506 edges,
lola: 13764393 markings, 136058652 edges,
lola: 13943407 markings, 138198194 edges,
lola: 14110132 markings, 140282811 edges,
lola: 14269993 markings, 142347870 edges,
lola: 14536449 markings, 144932028 edges,
lola: 14880219 markings, 147900704 edges,
lola: 15172323 markings, 150576418 edges,
lola: 15405599 markings, 152969101 edges,
lola: 15753955 markings, 156001284 edges,
lola: 16011625 markings, 158470327 edges,
lola: 16294422 markings, 161216557 edges,
lola: 16592119 markings, 164222622 edges,
lola: 16843279 markings, 166649157 edges,
lola: 17067484 markings, 168969220 edges,
lola: 17276638 markings, 171231795 edges,
lola: 17469399 markings, 173428360 edges,
lola: 17765126 markings, 176259810 edges,
lola: 18042101 markings, 178802661 edges,
lola: 18289576 markings, 181273464 edges,
lola: 18618631 markings, 184387556 edges,
lola: 18879418 markings, 186992160 edges,
lola: 19103411 markings, 189316386 edges,
lola: 19322894 markings, 191613556 edges,
lola: 19523453 markings, 193839097 edges,
lola: 19739285 markings, 196198370 edges,
lola: 20059339 markings, 199273965 edges,
lola: 20314190 markings, 201820944 edges,
lola: 20539518 markings, 204136349 edges,
lola: 20754790 markings, 206411559 edges,
lola: 20952268 markings, 208624604 edges,
lola: 21169180 markings, 211014151 edges,
lola: 21458016 markings, 213952632 edges,
lola: 21728668 markings, 216816348 edges,
lola: 21967943 markings, 219541251 edges,
lola: 22192250 markings, 221956076 edges,
lola: 22399207 markings, 224191932 edges,
lola: 22588316 markings, 226352286 edges,
lola: 22781049 markings, 228533203 edges,
lola: 22975194 markings, 230716230 edges,
lola: 23156350 markings, 232851852 edges,
lola: 23337097 markings, 234991318 edges,
lola: 23513209 markings, 237093599 edges,
lola: 23679291 markings, 239167104 edges,
lola: 23837026 markings, 241213240 edges,
lola: 24070320 markings, 243602254 edges,
lola: 24337547 markings, 246042883 edges,
lola: 24574724 markings, 248380816 edges,
lola: 24873381 markings, 251206857 edges,
lola: 25152422 markings, 254009632 edges,
lola: 25384865 markings, 256350720 edges,
lola: 25606910 markings, 258658451 edges,
lola: 25817210 markings, 260919106 edges,
lola: 26002711 markings, 263085190 edges,
lola: 26302661 markings, 265984503 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 15 will run for 534
lola: ======================================
lola: ...considering subproblem: MAX(ready)
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 804 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given
lola: RESULT
lola:
SUMMARY: 100 unknown 100 unknown unknown
lola: ========================================
FORMULA Referendum-COL-0100-UpperBounds-0
FORMULA Referendum-COL-0100-UpperBounds-1
FORMULA Referendum-COL-0100-UpperBounds-2
FORMULA Referendum-COL-0100-UpperBounds-3
FORMULA Referendum-COL-0100-UpperBounds-4
FORMULA Referendum-COL-0100-UpperBounds-5
FORMULA Referendum-COL-0100-UpperBounds-6
FORMULA Referendum-COL-0100-UpperBounds-7
FORMULA Referendum-COL-0100-UpperBounds-8
FORMULA Referendum-COL-0100-UpperBounds-9
FORMULA Referendum-COL-0100-UpperBounds-10
FORMULA Referendum-COL-0100-UpperBounds-11
FORMULA Referendum-COL-0100-UpperBounds-12
FORMULA Referendum-COL-0100-UpperBounds-13
FORMULA Referendum-COL-0100-UpperBounds-14
FORMULA Referendum-COL-0100-UpperBounds-15
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496330552737

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
============================================= is UpperBounds 5 ======================= by BenchKit (invocation template) values vector(from text file) 0 1 2 3 4 5 ============================================= net model.pnml into LoLA format ============================================= ============================================= UpperBounds into LoLA format ============================================= seconds at most (--timelimit) 0 collisions 201 significant places 00-UpperBounds.task + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100) : MAX(voted_yes_100 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100) : MAX(voted_no_100 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_no_100 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_no_100 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_yes_100 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(ready) : MAX(voted_yes_100 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100) : MAX(voted_no_100 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voting_10 + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + voting_43 + voting_44 + voting_45 + voting_46 + voting_47 + voting_48 + voting_49 + voting_50 + voting_51 + voting_52 + voting_53 + voting_54 + voting_55 + voting_56 + voting_57 + voting_58 + voting_59 + voting_60 + voting_61 + voting_62 + voting_63 + voting_64 + voting_65 + voting_66 + voting_67 + voting_68 + voting_69 + voting_70 + voting_71 + voting_72 + voting_73 + voting_74 + voting_75 + voting_76 + voting_77 + voting_78 + voting_79 + voting_80 + voting_81 + voting_82 + voting_83 + voting_84 + voting_85 + voting_86 + voting_87 + voting_88 + voting_89 + voting_90 + voting_91 + voting_92 + voting_93 + voting_94 + voting_95 + voting_96 + voting_97 + voting_98 + voting_99 + voting_1 + voting_2 + voting_3 + voting_4 + voting_5 + voting_6 + voting_7 + voting_8 + voting_9 + voting_100) : MAX(voted_no_100 + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 + voted_no_29 + voted_no_30 + voted_no_31 + voted_no_32 + voted_no_33 + voted_no_34 + voted_no_35 + voted_no_36 + voted_no_37 + voted_no_38 + voted_no_39 + voted_no_40 + voted_no_41 + voted_no_42 + voted_no_43 + voted_no_44 + voted_no_45 + voted_no_46 + voted_no_47 + voted_no_48 + voted_no_49 + voted_no_50 + voted_no_51 + voted_no_52 + voted_no_53 + voted_no_54 + voted_no_55 + voted_no_56 + voted_no_57 + voted_no_58 + voted_no_59 + voted_no_60 + voted_no_61 + voted_no_62 + voted_no_63 + voted_no_64 + voted_no_65 + voted_no_66 + voted_no_67 + voted_no_68 + voted_no_69 + voted_no_70 + voted_no_71 + voted_no_72 + voted_no_73 + voted_no_74 + voted_no_75 + voted_no_76 + voted_no_77 + voted_no_78 + voted_no_79 + voted_no_80 + voted_no_81 + voted_no_82 + voted_no_83 + voted_no_84 + voted_no_85 + voted_no_86 + voted_no_87 + voted_no_88 + voted_no_89 + voted_no_90 + voted_no_91 + voted_no_92 + voted_no_93 + voted_no_94 + voted_no_95 + voted_no_96 + voted_no_97 + voted_no_98 + voted_no_99) : MAX(voted_yes_100 + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted_yes_35 + voted_yes_36 + voted_yes_37 + voted_yes_38 + voted_yes_39 + voted_yes_40 + voted_yes_41 + voted_yes_42 + voted_yes_43 + voted_yes_44 + voted_yes_45 + voted_yes_46 + voted_yes_47 + voted_yes_48 + voted_yes_49 + voted_yes_50 + voted_yes_51 + voted_yes_52 + voted_yes_53 + voted_yes_54 + voted_yes_55 + voted_yes_56 + voted_yes_57 + voted_yes_58 + voted_yes_59 + voted_yes_60 + voted_yes_61 + voted_yes_62 + voted_yes_63 + voted_yes_64 + voted_yes_65 + voted_yes_66 + voted_yes_67 + voted_yes_68 + voted_yes_69 + voted_yes_70 + voted_yes_71 + voted_yes_72 + voted_yes_73 + voted_yes_74 + voted_yes_75 + voted_yes_76 + voted_yes_77 + voted_yes_78 + voted_yes_79 + voted_yes_80 + voted_yes_81 + voted_yes_82 + voted_yes_83 + voted_yes_84 + voted_yes_85 + voted_yes_86 + voted_yes_87 + voted_yes_88 + voted_yes_89 + voted_yes_90 + voted_yes_91 + voted_yes_92 + voted_yes_93 + voted_yes_94 + voted_yes_95 + voted_yes_96 + voted_yes_97 + voted_yes_98 + voted_yes_99 + voted_yes_1 + voted_yes_2 + voted_yes_3 + voted_yes_4 + voted_yes_5 + voted_yes_6 + voted_yes_7 + voted_yes_8 + voted_yes_9) : MAX(ready) seconds at most (--localtimelimit=-1) == + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 100 seconds at most (--localtimelimit=-1) == + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 84686 markings/sec, 0 secs 73810 markings/sec, 5 secs 73487 markings/sec, 10 secs 57418 markings/sec, 15 secs 63879 markings/sec, 20 secs 72630 markings/sec, 25 secs 61247 markings/sec, 30 secs 53659 markings/sec, 35 secs 69012 markings/sec, 40 secs 53600 markings/sec, 45 secs 66804 markings/sec, 50 secs 59046 markings/sec, 55 secs 49612 markings/sec, 60 secs 47557 markings/sec, 65 secs 43092 markings/sec, 70 secs 53038 markings/sec, 75 secs 71596 markings/sec, 80 secs 64036 markings/sec, 85 secs 50006 markings/sec, 90 secs 72628 markings/sec, 95 secs 53766 markings/sec, 100 secs 63614 markings/sec, 105 secs 61116 markings/sec, 110 secs 48567 markings/sec, 115 secs 48327 markings/sec, 120 secs 43943 markings/sec, 125 secs 42745 markings/sec, 130 secs 69198 markings/sec, 135 secs 53349 markings/sec, 140 secs 65617 markings/sec, 145 secs 59149 markings/sec, 150 secs 48835 markings/sec, 155 secs 47471 markings/sec, 160 secs 43193 markings/sec, 165 secs 45592 markings/sec, 170 secs 66685 markings/sec, 175 secs 54014 markings/sec, 180 secs 47713 markings/sec, 185 secs 44427 markings/sec, 190 secs 41276 markings/sec, 195 secs 52582 markings/sec, 200 secs 59604 markings/sec, 205 secs 54852 markings/sec, 210 secs 48181 markings/sec, 215 secs 46265 markings/sec, 220 secs 41672 markings/sec, 225 secs 39814 markings/sec, 230 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 100 seconds at most (--localtimelimit=-1) == + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 82966 markings/sec, 0 secs 75816 markings/sec, 5 secs 75782 markings/sec, 10 secs 59310 markings/sec, 15 secs 68642 markings/sec, 20 secs 73752 markings/sec, 25 secs 59756 markings/sec, 30 secs 60829 markings/sec, 35 secs 64501 markings/sec, 40 secs 51188 markings/sec, 45 secs 72187 markings/sec, 50 secs 57273 markings/sec, 55 secs 50072 markings/sec, 60 secs 47305 markings/sec, 65 secs 44102 markings/sec, 70 secs 65616 markings/sec, 75 secs 71392 markings/sec, 80 secs 57843 markings/sec, 85 secs 62711 markings/sec, 90 secs 62547 markings/sec, 95 secs 52825 markings/sec, 100 secs 70640 markings/sec, 105 secs 56386 markings/sec, 110 secs 49665 markings/sec, 115 secs 46774 markings/sec, 120 secs 43552 markings/sec, 125 secs 66533 markings/sec, 130 secs 56939 markings/sec, 135 secs 59208 markings/sec, 140 secs 65203 markings/sec, 145 secs 53202 markings/sec, 150 secs 48477 markings/sec, 155 secs 46609 markings/sec, 160 secs 42639 markings/sec, 165 secs 70942 markings/sec, 170 secs 56210 markings/sec, 175 secs 49659 markings/sec, 180 secs 46799 markings/sec, 185 secs 43536 markings/sec, 190 secs 56851 markings/sec, 195 secs 60113 markings/sec, 200 secs 57554 markings/sec, 205 secs 50746 markings/sec, 210 secs 46291 markings/sec, 215 secs 43135 markings/sec, 220 secs 43140 markings/sec, 225 secs 42950 markings/sec, 230 secs 41824 markings/sec, 235 secs 39934 markings/sec, 240 secs 39260 markings/sec, 245 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 86599 markings/sec, 0 secs 74348 markings/sec, 5 secs 73689 markings/sec, 10 secs 57666 markings/sec, 15 secs 65915 markings/sec, 20 secs 73863 markings/sec, 25 secs 60054 markings/sec, 30 secs 59105 markings/sec, 35 secs 66227 markings/sec, 40 secs 52720 markings/sec, 45 secs 70757 markings/sec, 50 secs 58616 markings/sec, 55 secs 50054 markings/sec, 60 secs 47830 markings/sec, 65 secs 44104 markings/sec, 70 secs 64433 markings/sec, 75 secs 72957 markings/sec, 80 secs 58055 markings/sec, 85 secs 61683 markings/sec, 90 secs 63078 markings/sec, 95 secs 51382 markings/sec, 100 secs 71620 markings/sec, 105 secs 56465 markings/sec, 110 secs 49822 markings/sec, 115 secs 46731 markings/sec, 120 secs 44046 markings/sec, 125 secs 64911 markings/sec, 130 secs 57621 markings/sec, 135 secs 58425 markings/sec, 140 secs 65686 markings/sec, 145 secs 53357 markings/sec, 150 secs 48697 markings/sec, 155 secs 46480 markings/sec, 160 secs 41166 markings/sec, 165 secs 69678 markings/sec, 170 secs 57490 markings/sec, 175 secs 49197 markings/sec, 180 secs 47330 markings/sec, 185 secs 43661 markings/sec, 190 secs 54379 markings/sec, 195 secs 60823 markings/sec, 200 secs 57241 markings/sec, 205 secs 51261 markings/sec, 210 secs 47050 markings/sec, 215 secs 43478 markings/sec, 220 secs 42709 markings/sec, 225 secs 43048 markings/sec, 230 secs 41686 markings/sec, 235 secs 40135 markings/sec, 240 secs 39220 markings/sec, 245 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 86592 markings/sec, 0 secs 74033 markings/sec, 5 secs 73652 markings/sec, 10 secs 57634 markings/sec, 15 secs 66044 markings/sec, 20 secs 73559 markings/sec, 25 secs 60231 markings/sec, 30 secs 58843 markings/sec, 35 secs 66500 markings/sec, 40 secs 52706 markings/sec, 45 secs 70499 markings/sec, 50 secs 58864 markings/sec, 55 secs 50040 markings/sec, 60 secs 47756 markings/sec, 65 secs 44291 markings/sec, 70 secs 64297 markings/sec, 75 secs 72898 markings/sec, 80 secs 58312 markings/sec, 85 secs 61464 markings/sec, 90 secs 63347 markings/sec, 95 secs 51354 markings/sec, 100 secs 71790 markings/sec, 105 secs 56548 markings/sec, 110 secs 49847 markings/sec, 115 secs 46758 markings/sec, 120 secs 44112 markings/sec, 125 secs 65126 markings/sec, 130 secs 57575 markings/sec, 135 secs 58564 markings/sec, 140 secs 65565 markings/sec, 145 secs 53516 markings/sec, 150 secs 48747 markings/sec, 155 secs 46546 markings/sec, 160 secs 40994 markings/sec, 165 secs 72298 markings/sec, 170 secs 58055 markings/sec, 175 secs 51101 markings/sec, 180 secs 47905 markings/sec, 185 secs 44676 markings/sec, 190 secs 60499 markings/sec, 195 secs 62583 markings/sec, 200 secs 57788 markings/sec, 205 secs 51536 markings/sec, 210 secs 47352 markings/sec, 215 secs 42524 markings/sec, 220 secs 46614 markings/sec, 225 secs 41285 markings/sec, 230 secs 44327 markings/sec, 235 secs 41055 markings/sec, 240 secs 39343 markings/sec, 245 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 84232 markings/sec, 0 secs 73259 markings/sec, 5 secs 73008 markings/sec, 10 secs 55508 markings/sec, 15 secs 62204 markings/sec, 20 secs 72391 markings/sec, 25 secs 62875 markings/sec, 30 secs 50603 markings/sec, 35 secs 72317 markings/sec, 40 secs 53749 markings/sec, 45 secs 64977 markings/sec, 50 secs 60717 markings/sec, 55 secs 48910 markings/sec, 60 secs 45403 markings/sec, 65 secs 41578 markings/sec, 70 secs 38672 markings/sec, 75 secs 69793 markings/sec, 80 secs 69714 markings/sec, 85 secs 51345 markings/sec, 90 secs 63112 markings/sec, 95 secs 55785 markings/sec, 100 secs 49814 markings/sec, 105 secs 66235 markings/sec, 110 secs 52637 markings/sec, 115 secs 45566 markings/sec, 120 secs 43967 markings/sec, 125 secs 40086 markings/sec, 130 secs 48215 markings/sec, 135 secs 62087 markings/sec, 140 secs 48996 markings/sec, 145 secs 63525 markings/sec, 150 secs 56376 markings/sec, 155 secs 45397 markings/sec, 160 secs 45280 markings/sec, 165 secs 41976 markings/sec, 170 secs 36715 markings/sec, 175 secs 65473 markings/sec, 180 secs 54429 markings/sec, 185 secs 45984 markings/sec, 190 secs 44596 markings/sec, 195 secs 41004 markings/sec, 200 secs 37206 markings/sec, 205 secs 59610 markings/sec, 210 secs 57291 markings/sec, 215 secs 49721 markings/sec, 220 secs 45560 markings/sec, 225 secs 42052 markings/sec, 230 secs 39110 markings/sec, 235 secs 38599 markings/sec, 240 secs 39842 markings/sec, 245 secs problem between parent and child process seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 1 seconds at most (--localtimelimit=-1) == + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 55992 markings/sec, 0 secs 39365 markings/sec, 5 secs 44883 markings/sec, 10 secs 35380 markings/sec, 15 secs 47565 markings/sec, 20 secs 33980 markings/sec, 25 secs 31754 markings/sec, 30 secs 27242 markings/sec, 35 secs 45567 markings/sec, 40 secs 38070 markings/sec, 45 secs 44956 markings/sec, 50 secs 33259 markings/sec, 55 secs 30546 markings/sec, 60 secs 30043 markings/sec, 65 secs 45237 markings/sec, 70 secs 32755 markings/sec, 75 secs 30319 markings/sec, 80 secs 26156 markings/sec, 85 secs 44642 markings/sec, 90 secs 38562 markings/sec, 95 secs 31905 markings/sec, 100 secs 28957 markings/sec, 105 secs 26915 markings/sec, 110 secs 26593 markings/sec, 115 secs 26191 markings/sec, 120 secs 24636 markings/sec, 125 secs 23327 markings/sec, 130 secs 35218 markings/sec, 135 secs 38072 markings/sec, 140 secs 44363 markings/sec, 145 secs 36872 markings/sec, 150 secs 31247 markings/sec, 155 secs 28491 markings/sec, 160 secs 40016 markings/sec, 165 secs 38581 markings/sec, 170 secs 31142 markings/sec, 175 secs 29479 markings/sec, 180 secs 35086 markings/sec, 185 secs 41263 markings/sec, 190 secs 34943 markings/sec, 195 secs 30378 markings/sec, 200 secs 26677 markings/sec, 205 secs 28481 markings/sec, 210 secs 25988 markings/sec, 215 secs 25279 markings/sec, 220 secs 23635 markings/sec, 225 secs 22103 markings/sec, 230 secs 44904 markings/sec, 235 secs 34614 markings/sec, 240 secs 31652 markings/sec, 245 secs 49022 markings/sec, 250 secs 63721 markings/sec, 255 secs 51179 markings/sec, 260 secs 41991 markings/sec, 265 secs 43768 markings/sec, 270 secs 39638 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 100 seconds at most (--localtimelimit=-1) == + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 100 seconds at most (--localtimelimit=-1) == + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 87277 markings/sec, 0 secs 74306 markings/sec, 5 secs 73848 markings/sec, 10 secs 57730 markings/sec, 15 secs 66424 markings/sec, 20 secs 73778 markings/sec, 25 secs 59995 markings/sec, 30 secs 59852 markings/sec, 35 secs 66011 markings/sec, 40 secs 52225 markings/sec, 45 secs 71879 markings/sec, 50 secs 58004 markings/sec, 55 secs 50227 markings/sec, 60 secs 47604 markings/sec, 65 secs 44127 markings/sec, 70 secs 65666 markings/sec, 75 secs 73221 markings/sec, 80 secs 57419 markings/sec, 85 secs 62852 markings/sec, 90 secs 62285 markings/sec, 95 secs 53490 markings/sec, 100 secs 70508 markings/sec, 105 secs 56200 markings/sec, 110 secs 49551 markings/sec, 115 secs 46682 markings/sec, 120 secs 43246 markings/sec, 125 secs 67055 markings/sec, 130 secs 56678 markings/sec, 135 secs 59892 markings/sec, 140 secs 65673 markings/sec, 145 secs 52340 markings/sec, 150 secs 48499 markings/sec, 155 secs 46598 markings/sec, 160 secs 43246 markings/sec, 165 secs 70342 markings/sec, 170 secs 56226 markings/sec, 175 secs 49180 markings/sec, 180 secs 46510 markings/sec, 185 secs 43874 markings/sec, 190 secs 57153 markings/sec, 195 secs 59971 markings/sec, 200 secs 57603 markings/sec, 205 secs 50660 markings/sec, 210 secs 45946 markings/sec, 215 secs 43612 markings/sec, 220 secs 43469 markings/sec, 225 secs 42606 markings/sec, 230 secs 41890 markings/sec, 235 secs 40393 markings/sec, 240 secs 38909 markings/sec, 245 secs 36680 markings/sec, 250 secs 54349 markings/sec, 255 secs 72024 markings/sec, 260 secs 61500 markings/sec, 265 secs 54788 markings/sec, 270 secs 68606 markings/sec, 275 secs 54126 markings/sec, 280 secs 67090 markings/sec, 285 secs 59608 markings/sec, 290 secs 50138 markings/sec, 295 secs 48325 markings/sec, 300 secs 44387 markings/sec, 305 secs 57740 markings/sec, 310 secs 61491 markings/sec, 315 secs 53285 markings/sec, 320 secs 69589 markings/sec, 325 secs 55689 markings/sec, 330 secs 49051 markings/sec, 335 secs 46313 markings/sec, 340 secs 43600 markings/sec, 345 secs 61985 markings/sec, 350 secs 61018 markings/sec, 355 secs 49408 markings/sec, 360 secs 48726 markings/sec, 365 secs 45073 markings/sec, 370 secs 47683 markings/sec, 375 secs 62595 markings/sec, 380 secs 58252 markings/sec, 385 secs 51749 markings/sec, 390 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voting_11 + voting_12 + voting_13 + voting_14 + voting_15 + voting_16 + voting_17 + voting_18 + voting_19 + voting_20 + voting_21 + voting_22 + voting_23 + voting_24 + voting_25 + voting_26 + voting_27 + voting_28 + voting_29 + voting_30 + voting_31 + voting_32 + voting_33 + voting_34 + voting_35 + voting_36 + voting_37 + voting_38 + voting_39 + voting_40 + voting_41 + voting_42 + ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 100 seconds at most (--localtimelimit=-1) == + voted_no_1 + voted_no_2 + voted_no_3 + voted_no_4 + voted_no_5 + voted_no_6 + voted_no_7 + voted_no_8 + voted_no_9 + voted_no_10 + voted_no_11 + voted_no_12 + voted_no_13 + voted_no_14 + voted_no_15 + voted_no_16 + voted_no_17 + voted_no_18 + voted_no_19 + voted_no_20 + voted_no_21 + voted_no_22 + voted_no_23 + voted_no_24 + voted_no_25 + voted_no_26 + voted_no_27 + voted_no_28 ... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 86778 markings/sec, 0 secs 74295 markings/sec, 5 secs 73715 markings/sec, 10 secs 57788 markings/sec, 15 secs 66101 markings/sec, 20 secs 73841 markings/sec, 25 secs 60106 markings/sec, 30 secs 59315 markings/sec, 35 secs 66084 markings/sec, 40 secs 52239 markings/sec, 45 secs 71119 markings/sec, 50 secs 58485 markings/sec, 55 secs 50136 markings/sec, 60 secs 47768 markings/sec, 65 secs 44119 markings/sec, 70 secs 64578 markings/sec, 75 secs 73624 markings/sec, 80 secs 57579 markings/sec, 85 secs 63376 markings/sec, 90 secs 63063 markings/sec, 95 secs 53773 markings/sec, 100 secs 71006 markings/sec, 105 secs 56466 markings/sec, 110 secs 49902 markings/sec, 115 secs 47156 markings/sec, 120 secs 43652 markings/sec, 125 secs 68514 markings/sec, 130 secs 56900 markings/sec, 135 secs 61993 markings/sec, 140 secs 64848 markings/sec, 145 secs 51510 markings/sec, 150 secs 48285 markings/sec, 155 secs 45638 markings/sec, 160 secs 43299 markings/sec, 165 secs 72112 markings/sec, 170 secs 57114 markings/sec, 175 secs 50557 markings/sec, 180 secs 48016 markings/sec, 185 secs 43211 markings/sec, 190 secs 63644 markings/sec, 195 secs 63318 markings/sec, 200 secs 56355 markings/sec, 205 secs 50615 markings/sec, 210 secs 47501 markings/sec, 215 secs 42073 markings/sec, 220 secs 47072 markings/sec, 225 secs 42438 markings/sec, 230 secs 42752 markings/sec, 235 secs 40619 markings/sec, 240 secs 39803 markings/sec, 245 secs 34783 markings/sec, 250 secs 75366 markings/sec, 255 secs 73177 markings/sec, 260 secs 55923 markings/sec, 265 secs 71968 markings/sec, 270 secs 57229 markings/sec, 275 secs 64718 markings/sec, 280 secs 64904 markings/sec, 285 secs 51455 markings/sec, 290 secs 50960 markings/sec, 295 secs 46618 markings/sec, 300 secs 57341 markings/sec, 305 secs 64233 markings/sec, 310 secs 55392 markings/sec, 315 secs 71612 markings/sec, 320 secs 56768 markings/sec, 325 secs 50581 markings/sec, 330 secs 47921 markings/sec, 335 secs 43290 markings/sec, 340 secs 69691 markings/sec, 345 secs 59819 markings/sec, 350 secs 51009 markings/sec, 355 secs 48459 markings/sec, 360 secs 44890 markings/sec, 365 secs 58490 markings/sec, 370 secs 62140 markings/sec, 375 secs 58709 markings/sec, 380 secs 51984 markings/sec, 385 secs 47252 markings/sec, 390 secs 43026 markings/sec, 395 secs 45973 markings/sec, 400 secs 42329 markings/sec, 405 secs 43584 markings/sec, 410 secs 41066 markings/sec, 415 secs 39051 markings/sec, 420 secs 36730 markings/sec, 425 secs 65024 markings/sec, 430 secs 58362 markings/sec, 435 secs 60861 markings/sec, 440 secs 66845 markings/sec, 445 secs 53005 markings/sec, 450 secs 49560 markings/sec, 455 secs 47306 markings/sec, 460 secs 48039 markings/sec, 465 secs 69929 markings/sec, 470 secs 55803 markings/sec, 475 secs 50344 markings/sec, 480 secs 47558 markings/sec, 485 secs 42817 markings/sec, 490 secs 63046 markings/sec, 495 secs 62548 markings/sec, 500 secs 55662 markings/sec, 505 secs 50275 markings/sec, 510 secs 47059 markings/sec, 515 secs 41347 markings/sec, 520 secs 47023 markings/sec, 525 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_yes_10 + voted_yes_11 + voted_yes_12 + voted_yes_13 + voted_yes_14 + voted_yes_15 + voted_yes_16 + voted_yes_17 + voted_yes_18 + voted_yes_19 + voted_yes_20 + voted_yes_21 + voted_yes_22 + voted_yes_23 + voted_yes_24 + voted_yes_25 + voted_yes_26 + voted_yes_27 + voted_yes_28 + voted_yes_29 + voted_yes_30 + voted_yes_31 + voted_yes_32 + voted_yes_33 + voted_yes_34 + voted... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 84547 markings/sec, 0 secs 70599 markings/sec, 5 secs 69200 markings/sec, 10 secs 56232 markings/sec, 15 secs 54518 markings/sec, 20 secs 67917 markings/sec, 25 secs 65175 markings/sec, 30 secs 51006 markings/sec, 35 secs 65655 markings/sec, 40 secs 54167 markings/sec, 45 secs 52655 markings/sec, 50 secs 64470 markings/sec, 55 secs 51478 markings/sec, 60 secs 45432 markings/sec, 65 secs 42990 markings/sec, 70 secs 39706 markings/sec, 75 secs 55110 markings/sec, 80 secs 68290 markings/sec, 85 secs 59284 markings/sec, 90 secs 47135 markings/sec, 95 secs 68760 markings/sec, 100 secs 52032 markings/sec, 105 secs 55300 markings/sec, 110 secs 61345 markings/sec, 115 secs 50313 markings/sec, 120 secs 44756 markings/sec, 125 secs 41974 markings/sec, 130 secs 39036 markings/sec, 135 secs 58150 markings/sec, 140 secs 55749 markings/sec, 145 secs 47585 markings/sec, 150 secs 67161 markings/sec, 155 secs 52926 markings/sec, 160 secs 45046 markings/sec, 165 secs 43931 markings/sec, 170 secs 40131 markings/sec, 175 secs 41509 markings/sec, 180 secs 64726 markings/sec, 185 secs 51726 markings/sec, 190 secs 44987 markings/sec, 195 secs 43470 markings/sec, 200 secs 39707 markings/sec, 205 secs 42292 markings/sec, 210 secs 58033 markings/sec, 215 secs 54562 markings/sec, 220 secs 48169 markings/sec, 225 secs 44917 markings/sec, 230 secs 41303 markings/sec, 235 secs 38191 markings/sec, 240 secs 38552 markings/sec, 245 secs 38817 markings/sec, 250 secs 36163 markings/sec, 255 secs 35995 markings/sec, 260 secs 35803 markings/sec, 265 secs 33345 markings/sec, 270 secs 31972 markings/sec, 275 secs 53291 markings/sec, 280 secs 68754 markings/sec, 285 secs 58421 markings/sec, 290 secs 46655 markings/sec, 295 secs 69671 markings/sec, 300 secs 51534 markings/sec, 305 secs 56559 markings/sec, 310 secs 59539 markings/sec, 315 secs 50232 markings/sec, 320 secs 44841 markings/sec, 325 secs 41831 markings/sec, 330 secs 38552 markings/sec, 335 secs 59145 markings/sec, 340 secs 55395 markings/sec, 345 secs 49495 markings/sec, 350 secs 65811 markings/sec, 355 secs 52157 markings/sec, 360 secs 44799 markings/sec, 365 secs 43897 markings/sec, 370 secs 40112 markings/sec, 375 secs 43166 markings/sec, 380 secs 64011 markings/sec, 385 secs 50970 markings/sec, 390 secs 45066 markings/sec, 395 secs 43054 markings/sec, 400 secs 39496 markings/sec, 405 secs 43382 markings/sec, 410 secs 57767 markings/sec, 415 secs 54130 markings/sec, 420 secs 47855 markings/sec, 425 secs 44861 markings/sec, 430 secs 41391 markings/sec, 435 secs 37822 markings/sec, 440 secs 38547 markings/sec, 445 secs 38829 markings/sec, 450 secs 36231 markings/sec, 455 secs 36149 markings/sec, 460 secs 35222 markings/sec, 465 secs 33216 markings/sec, 470 secs 31547 markings/sec, 475 secs 46659 markings/sec, 480 secs 53445 markings/sec, 485 secs 47435 markings/sec, 490 secs 59731 markings/sec, 495 secs 55808 markings/sec, 500 secs 46489 markings/sec, 505 secs 44409 markings/sec, 510 secs 42060 markings/sec, 515 secs 37100 markings/sec, 520 secs 59990 markings/sec, 525 secs problem between parent and child process seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 1 unknown unknown 1 unknown 100 100 unknown 100 unknown unknown 1 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN

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="Referendum-PT-0100"
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/Referendum-PT-0100.tgz
mv Referendum-PT-0100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Referendum-PT-0100, 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 r208-smll-149581172600155"
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 ;