MCC'2017 - Execution of r208-smll-149581172600173

About the Execution of LoLA for Referendum-PT-0500

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2297.630	2972085.00	2977686.00	7029.90	? ? ? ? ? ? 500 1 500 1 ? 1 ? ? ? ?	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-0500, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-14958117260017
==============================================

--------------------
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-0500-UpperBounds-0
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-2
FORMULA_NAME Referendum-COL-0500-UpperBounds-3
FORMULA_NAME Referendum-COL-0500-UpperBounds-4
FORMULA_NAME Referendum-COL-0500-UpperBounds-5
FORMULA_NAME Referendum-COL-0500-UpperBounds-6
FORMULA_NAME Referendum-COL-0500-UpperBounds-7
FORMULA_NAME Referendum-COL-0500-UpperBounds-8
FORMULA_NAME Referendum-COL-0500-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496333589611

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

checking for too many tokens
==============================================
Referendum-PT-0500: translating PT formula
==============================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ Referendum-PT-0500 @ 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: 2502/65536 symbol table entries,
lola: preprocessing...
lola: finding significant places
lola: 1501 places, 1001 transitions,
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 503 transition conflict sets
lola: TASK
lola: reading formula from Referendum-COL-05
lola: MAX(voted_yes_100 + voted_yes_101
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 113694 markings, 769940 edges,
lola: 213319 markings, 1541648 edges,
lola: 311492 markings, 2311676 edges,
lola: 406049 markings, 3080293 edges,
lola: 492202 markings, 3844722 edges,
lola: 583444 markings, 4607751 edges,
lola: 680332 markings, 5376398 edges,
lola: 772979 markings, 6141995 edges,
lola: 857473 markings, 6902960 edges,
lola: 946614 markings, 7663194 edges,
lola: 1036551 markings, 8425819 edges,
lola: 1116687 markings, 9183258 edges,
lola: 1205033 markings, 9941413 edges,
lola: 1283441 markings, 10693860 edges,
lola: 1366378 markings, 11448035 edges,
lola: 1444140 markings, 12202956 edges,
lola: 1517845 markings, 12949312 edges,
lola: 1586956 markings, 13714170 edges,
lola: 1683396 markings, 14459892 edges,
lola: 1778756 markings, 15229242 edges,
lola: 1869066 markings, 15995877 edges,
lola: 1948230 markings, 16757695 edges,
lola: 2044188 markings, 17522796 edges,
lola: 2132072 markings, 18284309 edges,
lola: 2214333 markings, 19043183 edges,
lola: 2300538 markings, 19804878 edges,
lola: 2380459 markings, 20558377 edges,
lola: 2459560 markings, 21312555 edges,
lola: 2536429 markings, 22063463 edges,
lola: 2608765 markings, 22812577 edges,
lola: 2681930 markings, 23557111 edges,
lola: 2775072 markings, 24319546 edges,
lola: 2859713 markings, 25076707 edges,
lola: 2943076 markings, 25832707 edges,
lola: 3026923 markings, 26587256 edges,
lola: 3107946 markings, 27341341 edges,
lola: 3185421 markings, 28087131 edges,
lola: 3261809 markings, 28844651 edges,
lola: 3332300 markings, 29591138 edges,
lola: 3409784 markings, 30345901 edges,
lola: 3494162 markings, 31105534 edges,
lola: 3575648 markings, 31862534 edges,
lola: 3653641 markings, 32616584 edges,
lola: 3730366 markings, 33371109 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 1 will run for 221
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 47976 markings, 301308 edges,
lola: 115393 markings, 781519 edges,
lola: 185351 markings, 1344002 edges,
lola: 260856 markings, 1902263 edges,
lola: 331410 markings, 2463834 edges,
lola: 399368 markings, 3024136 edges,
lola: 463586 markings, 3587113 edges,
lola: 523648 markings, 4156570 edges,
lola: 596636 markings, 4710596 edges,
lola: 666534 markings, 5269318 edges,
lola: 735008 markings, 5830528 edges,
lola: 801985 markings, 6392508 edges,
lola: 863514 markings, 6961222 edges,
lola: 928463 markings, 7516391 edges,
lola: 996547 markings, 8079856 edges,
lola: 1060844 markings, 8644322 edges,
lola: 1119977 markings, 9219471 edges,
lola: 1186066 markings, 9776629 edges,
lola: 1248438 markings, 10342481 edges,
lola: 1308609 markings, 10908108 edges,
lola: 1369504 markings, 11478515 edges,
lola: 1427828 markings, 12039800 edges,
lola: 1484541 markings, 12605797 edges,
lola: 1538944 markings, 13174545 edges,
lola: 1590520 markings, 13757340 edges,
lola: 1662864 markings, 14301193 edges,
lola: 1733110 markings, 14863333 edges,
lola: 1801760 markings, 15425012 edges,
lola: 1868323 markings, 15988687 edges,
lola: 1928834 markings, 16552809 edges,
lola: 1995538 markings, 17115415 edges,
lola: 2063455 markings, 17679277 edges,
lola: 2127501 markings, 18242333 edges,
lola: 2184609 markings, 18807076 edges,
lola: 2252013 markings, 19367570 edges,
lola: 2314003 markings, 19932998 edges,
lola: 2373893 markings, 20496630 edges,
lola: 2433685 markings, 21058985 edges,
lola: 2492378 markings, 21622020 edges,
lola: 2549333 markings, 22190568 edges,
lola: 2602952 markings, 22752846 edges,
lola: 2653987 markings, 23330595 edges,
lola: 2722190 markings, 23878441 edges,
lola: 2788233 markings, 24442300 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 2 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(voting_500
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 500
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 3 will run for 238
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 4004 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 4 will run for 258
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 113463 markings, 768538 edges,
lola: 212973 markings, 1538779 edges,
lola: 311194 markings, 2309516 edges,
lola: 405978 markings, 3079702 edges,
lola: 492379 markings, 3846634 edges,
lola: 584108 markings, 4612441 edges,
lola: 681211 markings, 5382912 edges,
lola: 773964 markings, 6151185 edges,
lola: 858519 markings, 6913349 edges,
lola: 948454 markings, 7679386 edges,
lola: 1038467 markings, 8442030 edges,
lola: 1119075 markings, 9209268 edges,
lola: 1207235 markings, 9962787 edges,
lola: 1286355 markings, 10716904 edges,
lola: 1369450 markings, 11477844 edges,
lola: 1446655 markings, 12230787 edges,
lola: 1520312 markings, 12975631 edges,
lola: 1589432 markings, 13742625 edges,
lola: 1688184 markings, 14499539 edges,
lola: 1783806 markings, 15274506 edges,
lola: 1874203 markings, 16042520 edges,
lola: 1954811 markings, 16805350 edges,
lola: 2051400 markings, 17578782 edges,
lola: 2138303 markings, 18346085 edges,
lola: 2222160 markings, 19108569 edges,
lola: 2307950 markings, 19873382 edges,
lola: 2389085 markings, 20631614 edges,
lola: 2467828 markings, 21389373 edges,
lola: 2544949 markings, 22147670 edges,
lola: 2616085 markings, 22897716 edges,
lola: 2694801 markings, 23653543 edges,
lola: 2786473 markings, 24424023 edges,
lola: 2871218 markings, 25187953 edges,
lola: 2956370 markings, 25945263 edges,
lola: 3038507 markings, 26704651 edges,
lola: 3121258 markings, 27464347 edges,
lola: 3199134 markings, 28217712 edges,
lola: 3272850 markings, 28968893 edges,
lola: 3344290 markings, 29725696 edges,
lola: 3423713 markings, 30470585 edges,
lola: 3506748 markings, 31228328 edges,
lola: 3588731 markings, 31984813 edges,
lola: 3666701 markings, 32738230 edges,
lola: 3741882 markings, 33493753 edges,
lola: 3810859 markings, 34229229 edges,
lola: 3886611 markings, 34976568 edges,
lola: 3965045 markings, 35731803 edges,
lola: 4041315 markings, 36480968 edges,
lola: 4111975 markings, 37226649 edges,
lola: 4182796 markings, 37973233 edges,
lola: 4258489 markings, 38723755 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 5 will run for 258
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 4004 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 6 will run for 283
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 108109 markings, 730395 edges,
lola: 208747 markings, 1505878 edges,
lola: 295451 markings, 2200982 edges,
lola: 392448 markings, 2971824 edges,
lola: 480175 markings, 3732348 edges,
lola: 560036 markings, 4436571 edges,
lola: 657903 markings, 5208089 edges,
lola: 753700 markings, 5977003 edges,
lola: 840125 markings, 6741891 edges,
lola: 920568 markings, 7453047 edges,
lola: 1011633 markings, 8211918 edges,
lola: 1096170 markings, 8973244 edges,
lola: 1179500 markings, 9722004 edges,
lola: 1262602 markings, 10479323 edges,
lola: 1344730 markings, 11237796 edges,
lola: 1417726 markings, 11942000 edges,
lola: 1492777 markings, 12691422 edges,
lola: 1560738 markings, 13410525 edges,
lola: 1636223 markings, 14104856 edges,
lola: 1734336 markings, 14873314 edges,
lola: 1823633 markings, 15602078 edges,
lola: 1903905 markings, 16314888 edges,
lola: 1983162 markings, 17016778 edges,
lola: 2074102 markings, 17774228 edges,
lola: 2156903 markings, 18519057 edges,
lola: 2235616 markings, 19230660 edges,
lola: 2316675 markings, 19957764 edges,
lola: 2396284 markings, 20697744 edges,
lola: 2471846 markings, 21429909 edges,
lola: 2548886 markings, 22185969 edges,
lola: 2615934 markings, 22895403 edges,
lola: 2692801 markings, 23638148 edges,
lola: 2781417 markings, 24375504 edges,
lola: 2860597 markings, 25085123 edges,
lola: 2932763 markings, 25738390 edges,
lola: 3017114 markings, 26493017 edges,
lola: 3096820 markings, 27237628 edges,
lola: 3174885 markings, 27988060 edges,
lola: 3246437 markings, 28690091 edges,
lola: 3318014 markings, 29433365 edges,
lola: 3389086 markings, 30170049 edges,
lola: 3476023 markings, 30935061 edges,
lola: 3557368 markings, 31701412 edges,
lola: 3636622 markings, 32459858 edges,
lola: 3715414 markings, 33225635 edges,
lola: 3789534 markings, 33990504 edges,
lola: 3861038 markings, 34745618 edges,
lola: 3941976 markings, 35520822 edges,
lola: 4021185 markings, 36285121 edges,
lola: 4095550 markings, 37046966 edges,
lola: 4164440 markings, 37802640 edges,
lola: 4243096 markings, 38569849 edges,
lola: 4316387 markings, 39330957 edges,
lola: 4385412 markings, 40085184 edges,
lola: 4456918 markings, 40830136 edges,
lola: 4522402 markings, 41560202 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 7 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 84504 markings, 555192 edges,
lola: 157411 markings, 1113037 edges,
lola: 231238 markings, 1670839 edges,
lola: 299627 markings, 2227959 edges,
lola: 369810 markings, 2786505 edges,
lola: 436641 markings, 3346529 edges,
lola: 499152 markings, 3911147 edges,
lola: 563701 markings, 4463798 edges,
lola: 635569 markings, 5020381 edges,
lola: 705433 markings, 5577315 edges,
lola: 772232 markings, 6135540 edges,
lola: 835745 markings, 6697068 edges,
lola: 894172 markings, 7255747 edges,
lola: 963603 markings, 7818069 edges,
lola: 1029873 markings, 8370118 edges,
lola: 1091199 markings, 8928302 edges,
lola: 1152773 markings, 9487229 edges,
lola: 1216835 markings, 10048030 edges,
lola: 1275849 markings, 10619888 edges,
lola: 1337145 markings, 11169060 edges,
lola: 1394231 markings, 11725578 edges,
lola: 1452427 markings, 12293247 edges,
lola: 1507229 markings, 12843646 edges,
lola: 1560315 markings, 13405403 edges,
lola: 1617210 markings, 13962192 edges,
lola: 1690302 markings, 14518140 edges,
lola: 1760161 markings, 15074812 edges,
lola: 1826967 markings, 15629703 edges,
lola: 1890378 markings, 16186922 edges,
lola: 1947756 markings, 16751496 edges,
lola: 2017751 markings, 17301993 edges,
lola: 2083369 markings, 17858730 edges,
lola: 2146335 markings, 18417125 edges,
lola: 2205755 markings, 18971952 edges,
lola: 2270737 markings, 19535598 edges,
lola: 2329781 markings, 20089784 edges,
lola: 2390588 markings, 20645885 edges,
lola: 2447264 markings, 21207094 edges,
lola: 2506972 markings, 21768485 edges,
lola: 2562290 markings, 22330107 edges,
lola: 2615257 markings, 22886303 edges,
lola: 2666408 markings, 23441738 edges,
lola: 2735282 markings, 23999882 edges,
lola: 2801388 markings, 24549941 edges,
lola: 2862545 markings, 25106086 edges,
lola: 2923474 markings, 25661023 edges,
lola: 2987202 markings, 26217607 edges,
lola: 3045031 markings, 26773767 edges,
lola: 3106628 markings, 27328696 edges,
lola: 3163580 markings, 27886835 edges,
lola: 3222205 markings, 28454995 edges,
lola: 3275972 markings, 28996869 edges,
lola: 3328857 markings, 29553786 edges,
lola: 3381397 markings, 30109064 edges,
lola: 3446560 markings, 30665396 edges,
lola: 3506219 markings, 31222777 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 8 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 113146 markings, 765461 edges,
lola: 211730 markings, 1529138 edges,
lola: 308932 markings, 2292604 edges,
lola: 403186 markings, 3057236 edges,
lola: 488792 markings, 3814084 edges,
lola: 578037 markings, 4569789 edges,
lola: 674328 markings, 5331099 edges,
lola: 766819 markings, 6087845 edges,
lola: 851329 markings, 6842458 edges,
lola: 938348 markings, 7594422 edges,
lola: 1030666 markings, 8376086 edges,
lola: 1114269 markings, 9157532 edges,
lola: 1204080 markings, 9932293 edges,
lola: 1284785 markings, 10704133 edges,
lola: 1369972 markings, 11483496 edges,
lola: 1448571 markings, 12251324 edges,
lola: 1524767 markings, 13021610 edges,
lola: 1592550 markings, 13783708 edges,
lola: 1695105 markings, 14556994 edges,
lola: 1790807 markings, 15342672 edges,
lola: 1882804 markings, 16121830 edges,
lola: 1967515 markings, 16897324 edges,
lola: 2063806 markings, 17682587 edges,
lola: 2150822 markings, 18459580 edges,
lola: 2236372 markings, 19237938 edges,
lola: 2321889 markings, 20011280 edges,
lola: 2405646 markings, 20785854 edges,
lola: 2485623 markings, 21557386 edges,
lola: 2562082 markings, 22327313 edges,
lola: 2632961 markings, 23082521 edges,
lola: 2719145 markings, 23851672 edges,
lola: 2811096 markings, 24631142 edges,
lola: 2892282 markings, 25408920 edges,
lola: 2982720 markings, 26180973 edges,
lola: 3064555 markings, 26952288 edges,
lola: 3147366 markings, 27725423 edges,
lola: 3225604 markings, 28493812 edges,
lola: 3301758 markings, 29261960 edges,
lola: 3368321 markings, 30010141 edges,
lola: 3459997 markings, 30787905 edges,
lola: 3541742 markings, 31558392 edges,
lola: 3623679 markings, 32333523 edges,
lola: 3701568 markings, 33094011 edges,
lola: 3776326 markings, 33856421 edges,
lola: 3845010 markings, 34610605 edges,
lola: 3924171 markings, 35333382 edges,
lola: 4000444 markings, 36073503 edges,
lola: 4072955 markings, 36808285 edges,
lola: 4140299 markings, 37543246 edges,
lola: 4215014 markings, 38290996 edges,
lola: 4288664 markings, 39035782 edges,
lola: 4357894 markings, 39803867 edges,
lola: 4429019 markings, 40533255 edges,
lola: 4495320 markings, 41268910 edges,
lola: 4563483 markings, 42002353 edges,
lola: 4629832 markings, 42753919 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 9 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 84583 markings, 555835 edges,
lola: 157648 markings, 1114839 edges,
lola: 231434 markings, 1672602 edges,
lola: 299924 markings, 2229828 edges,
lola: 369847 markings, 2787026 edges,
lola: 436675 markings, 3346776 edges,
lola: 499102 markings, 3910680 edges,
lola: 563732 markings, 4463977 edges,
lola: 635526 markings, 5020004 edges,
lola: 705398 markings, 5576806 edges,
lola: 772106 markings, 6134522 edges,
lola: 835519 markings, 6695162 edges,
lola: 893746 markings, 7252426 edges,
lola: 963252 markings, 7814555 edges,
lola: 1028952 markings, 8362988 edges,
lola: 1090970 markings, 8925269 edges,
lola: 1152639 markings, 9486273 edges,
lola: 1216948 markings, 10049067 edges,
lola: 1276096 markings, 10621965 edges,
lola: 1337515 markings, 11172952 edges,
lola: 1395199 markings, 11733497 edges,
lola: 1452941 markings, 12299643 edges,
lola: 1508564 markings, 12856123 edges,
lola: 1562176 markings, 13425938 edges,
lola: 1620000 markings, 13980721 edges,
lola: 1693049 markings, 14539608 edges,
lola: 1763131 markings, 15098332 edges,
lola: 1830165 markings, 15657715 edges,
lola: 1893834 markings, 16218030 edges,
lola: 1950885 markings, 16780085 edges,
lola: 2022012 markings, 17340318 edges,
lola: 2088390 markings, 17898256 edges,
lola: 2150748 markings, 18458842 edges,
lola: 2211622 markings, 19018484 edges,
lola: 2275487 markings, 19578620 edges,
lola: 2335094 markings, 20145097 edges,
lola: 2396694 markings, 20701826 edges,
lola: 2453856 markings, 21262939 edges,
lola: 2512821 markings, 21831495 edges,
lola: 2567637 markings, 22386026 edges,
lola: 2620798 markings, 22947126 edges,
lola: 2674958 markings, 23501394 edges,
lola: 2738339 markings, 24025687 edges,
lola: 2806290 markings, 24589601 edges,
lola: 2867866 markings, 25154657 edges,
lola: 2930410 markings, 25718328 edges,
lola: 2994374 markings, 26281560 edges,
lola: 3051310 markings, 26847280 edges,
lola: 3115647 markings, 27412279 edges,
lola: 3174062 markings, 27980170 edges,
lola: 3231088 markings, 28544543 edges,
lola: 3287625 markings, 29111351 edges,
lola: 3340164 markings, 29680358 edges,
lola: 3397745 markings, 30241756 edges,
lola: 3462041 markings, 30806324 edges,
lola: 3521225 markings, 31381650 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 10 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 79482 markings, 520013 edges,
lola: 153813 markings, 1084089 edges,
lola: 227646 markings, 1645227 edges,
lola: 296415 markings, 2208285 edges,
lola: 368222 markings, 2771204 edges,
lola: 435350 markings, 3335686 edges,
lola: 498617 markings, 3905976 edges,
lola: 563981 markings, 4465671 edges,
lola: 636400 markings, 5027404 edges,
lola: 707161 markings, 5589624 edges,
lola: 774127 markings, 6152924 edges,
lola: 838134 markings, 6720847 edges,
lola: 897962 markings, 7281725 edges,
lola: 966481 markings, 7843353 edges,
lola: 1034220 markings, 8404780 edges,
lola: 1095413 markings, 8966441 edges,
lola: 1157802 markings, 9528626 edges,
lola: 1222036 markings, 10093133 edges,
lola: 1279159 markings, 10657894 edges,
lola: 1342704 markings, 11219301 edges,
lola: 1400661 markings, 11782455 edges,
lola: 1457413 markings, 12345264 edges,
lola: 1513805 markings, 12908918 edges,
lola: 1566384 markings, 13474729 edges,
lola: 1627141 markings, 14033606 edges,
lola: 1699334 markings, 14593735 edges,
lola: 1769748 markings, 15153447 edges,
lola: 1836177 markings, 15711015 edges,
lola: 1898754 markings, 16264166 edges,
lola: 1956519 markings, 16817516 edges,
lola: 2024866 markings, 17368132 edges,
lola: 2090984 markings, 17920827 edges,
lola: 2152404 markings, 18475508 edges,
lola: 2212131 markings, 19023010 edges,
lola: 2275215 markings, 19576208 edges,
lola: 2333527 markings, 20129746 edges,
lola: 2394766 markings, 20683453 edges,
lola: 2450808 markings, 21237506 edges,
lola: 2509529 markings, 21796594 edges,
lola: 2563723 markings, 22347556 edges,
lola: 2616131 markings, 22898449 edges,
lola: 2668211 markings, 23452954 edges,
lola: 2735727 markings, 24004709 edges,
lola: 2801532 markings, 24551024 edges,
lola: 2862252 markings, 25102503 edges,
lola: 2922542 markings, 25652773 edges,
lola: 2985455 markings, 26202865 edges,
lola: 3043744 markings, 26759081 edges,
lola: 3104457 markings, 27306936 edges,
lola: 3160330 markings, 27858354 edges,
lola: 3218578 markings, 28414115 edges,
lola: 3272436 markings, 28962877 edges,
lola: 3324758 markings, 29512575 edges,
lola: 3375845 markings, 30064965 edges,
lola: 3441022 markings, 30615473 edges,
lola: 3501146 markings, 31172177 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 11 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 114015 markings, 771988 edges,
lola: 213746 markings, 1545355 edges,
lola: 312193 markings, 2316516 edges,
lola: 406369 markings, 3083074 edges,
lola: 492943 markings, 3851543 edges,
lola: 584291 markings, 4613747 edges,
lola: 681216 markings, 5382956 edges,
lola: 773573 markings, 6147424 edges,
lola: 858062 markings, 6908480 edges,
lola: 947453 markings, 7670325 edges,
lola: 1037215 markings, 8432081 edges,
lola: 1117811 markings, 9195651 edges,
lola: 1205790 markings, 9948940 edges,
lola: 1284125 markings, 10699390 edges,
lola: 1367588 markings, 11459216 edges,
lola: 1445468 markings, 12218103 edges,
lola: 1520082 markings, 12972845 edges,
lola: 1589146 markings, 13739108 edges,
lola: 1687647 markings, 14494703 edges,
lola: 1782842 markings, 15265763 edges,
lola: 1873613 markings, 16036870 edges,
lola: 1953351 markings, 16795625 edges,
lola: 2050028 markings, 17568355 edges,
lola: 2137973 markings, 18342120 edges,
lola: 2222086 markings, 19107688 edges,
lola: 2308180 markings, 19875665 edges,
lola: 2390068 markings, 20640427 edges,
lola: 2469255 markings, 21403597 edges,
lola: 2545952 markings, 22157795 edges,
lola: 2617632 markings, 22913261 edges,
lola: 2697152 markings, 23672132 edges,
lola: 2788395 markings, 24444349 edges,
lola: 2873022 markings, 25207732 edges,
lola: 2959805 markings, 25974221 edges,
lola: 3041695 markings, 26737700 edges,
lola: 3124675 markings, 27499217 edges,
lola: 3203406 markings, 28259057 edges,
lola: 3277201 markings, 29008777 edges,
lola: 3347252 markings, 29761016 edges,
lola: 3429642 markings, 30519625 edges,
lola: 3511396 markings, 31276469 edges,
lola: 3594032 markings, 32034477 edges,
lola: 3672689 markings, 32794646 edges,
lola: 3746502 markings, 33546821 edges,
lola: 3817793 markings, 34304405 edges,
lola: 3895273 markings, 35057159 edges,
lola: 3973480 markings, 35809266 edges,
lola: 4049479 markings, 36563610 edges,
lola: 4119808 markings, 37309622 edges,
lola: 4191920 markings, 38060842 edges,
lola: 4267318 markings, 38818610 edges,
lola: 4336864 markings, 39560165 edges,
lola: 4407242 markings, 40311167 edges,
lola: 4476896 markings, 41054030 edges,
lola: 4544650 markings, 41796150 edges,
lola: 4610278 markings, 42537659 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 12 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 85071 markings, 559156 edges,
lola: 158502 markings, 1121888 edges,
lola: 232950 markings, 1683271 edges,
lola: 302276 markings, 2245801 edges,
lola: 372545 markings, 2813180 edges,
lola: 436789 markings, 3347727 edges,
lola: 500055 markings, 3920820 edges,
lola: 566896 markings, 4488242 edges,
lola: 639529 markings, 5055476 edges,
lola: 711302 markings, 5623667 edges,
lola: 778158 markings, 6191620 edges,
lola: 842413 markings, 6760848 edges,
lola: 904594 markings, 7330963 edges,
lola: 974194 markings, 7899199 edges,
lola: 1041395 markings, 8467342 edges,
lola: 1102219 markings, 9034569 edges,
lola: 1166249 markings, 9602697 edges,
lola: 1230509 markings, 10172194 edges,
lola: 1289187 markings, 10739773 edges,
lola: 1352537 markings, 11312278 edges,
lola: 1410667 markings, 11877949 edges,
lola: 1468766 markings, 12451099 edges,
lola: 1524641 markings, 13020481 edges,
lola: 1576065 markings, 13585590 edges,
lola: 1642844 markings, 14150835 edges,
lola: 1712586 markings, 14718816 edges,
lola: 1784641 markings, 15282872 edges,
lola: 1852074 markings, 15850159 edges,
lola: 1915378 markings, 16420047 edges,
lola: 1979015 markings, 16986458 edges,
lola: 2047997 markings, 17552558 edges,
lola: 2113823 markings, 18123312 edges,
lola: 2174191 markings, 18691539 edges,
lola: 2237723 markings, 19253741 edges,
lola: 2302304 markings, 19820985 edges,
lola: 2361920 markings, 20389239 edges,
lola: 2423588 markings, 20956315 edges,
lola: 2482193 markings, 21523152 edges,
lola: 2539536 markings, 22093066 edges,
lola: 2594390 markings, 22663377 edges,
lola: 2645399 markings, 23228111 edges,
lola: 2712195 markings, 23794372 edges,
lola: 2779267 markings, 24356411 edges,
lola: 2843180 markings, 24921601 edges,
lola: 2901675 markings, 25484653 edges,
lola: 2968653 markings, 26049277 edges,
lola: 3029937 markings, 26618076 edges,
lola: 3090401 markings, 27182374 edges,
lola: 3149728 markings, 27750068 edges,
lola: 3209017 markings, 28314880 edges,
lola: 3265542 markings, 28883848 edges,
lola: 3319643 markings, 29451406 edges,
lola: 3368654 markings, 30012209 edges,
lola: 3436631 markings, 30577484 edges,
lola: 3498204 markings, 31143237 edges,
lola: 3558151 markings, 31710110 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 13 will run for 284
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 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 111628 markings, 753847 edges,
lola: 213627 markings, 1544509 edges,
lola: 314609 markings, 2335147 edges,
lola: 411240 markings, 3124959 edges,
lola: 499516 markings, 3914846 edges,
lola: 594893 markings, 4695106 edges,
lola: 693683 markings, 5482817 edges,
lola: 787406 markings, 6269834 edges,
lola: 872455 markings, 7052726 edges,
lola: 965331 markings, 7836232 edges,
lola: 1058379 markings, 8621929 edges,
lola: 1142049 markings, 9399997 edges,
lola: 1231901 markings, 10186158 edges,
lola: 1314096 markings, 10962036 edges,
lola: 1395400 markings, 11735368 edges,
lola: 1474812 markings, 12509271 edges,
lola: 1548852 markings, 13279596 edges,
lola: 1625042 markings, 14017314 edges,
lola: 1719864 markings, 14767169 edges,
lola: 1817592 markings, 15551252 edges,
lola: 1903371 markings, 16310574 edges,
lola: 1989388 markings, 17065822 edges,
lola: 2079249 markings, 17824601 edges,
lola: 2162886 markings, 18576732 edges,
lola: 2247034 markings, 19325334 edges,
lola: 2329320 markings, 20085663 edges,
lola: 2409825 markings, 20824496 edges,
lola: 2489324 markings, 21592506 edges,
lola: 2564544 markings, 22358542 edges,
lola: 2635286 markings, 23108244 edges,
lola: 2718310 markings, 23844450 edges,
lola: 2809825 markings, 24620483 edges,
lola: 2891683 markings, 25401907 edges,
lola: 2981594 markings, 26172886 edges,
lola: 3063598 markings, 26945142 edges,
lola: 3146552 markings, 27716038 edges,
lola: 3225121 markings, 28487533 edges,
lola: 3301194 markings, 29255231 edges,
lola: 3367454 markings, 30004133 edges,
lola: 3459717 markings, 30785105 edges,
lola: 3541592 markings, 31557108 edges,
lola: 3623899 markings, 32335840 edges,
lola: 3702119 markings, 33098511 edges,
lola: 3776927 markings, 33862386 edges,
lola: 3845978 markings, 34618141 edges,
lola: 3929825 markings, 35391509 edges,
lola: 4009308 markings, 36167673 edges,
lola: 4084276 markings, 36924514 edges,
lola: 4151593 markings, 37682791 edges,
lola: 4229762 markings, 38442390 edges,
lola: 4304337 markings, 39204968 edges,
lola: 4372045 markings, 39956704 edges,
lola: 4446563 markings, 40720387 edges,
lola: 4513413 markings, 41469516 edges,
lola: 4583076 markings, 42226079 edges,
lola: 4649922 markings, 42987247 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 14 will run for 284
lola: ======================================
lola: ...considering subproblem: MAX(voting_500
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 4004 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 500
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 15 will run for 568
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 4004 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: unknown unknown 500 1 unknown
lola: ========================================
FORMULA Referendum-COL-0500-UpperBounds-0
FORMULA Referendum-COL-0500-UpperBounds-1
FORMULA Referendum-COL-0500-UpperBounds-2
FORMULA Referendum-COL-0500-UpperBounds-3
FORMULA Referendum-COL-0500-UpperBounds-4
FORMULA Referendum-COL-0500-UpperBounds-5
FORMULA Referendum-COL-0500-UpperBounds-6
FORMULA Referendum-COL-0500-UpperBounds-7
FORMULA Referendum-COL-0500-UpperBounds-8
FORMULA Referendum-COL-0500-UpperBounds-9
FORMULA Referendum-COL-0500-UpperBounds-10
FORMULA Referendum-COL-0500-UpperBounds-11
FORMULA Referendum-COL-0500-UpperBounds-12
FORMULA Referendum-COL-0500-UpperBounds-13
FORMULA Referendum-COL-0500-UpperBounds-14
FORMULA Referendum-COL-0500-UpperBounds-15
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496336561696

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
============================================= is UpperBounds 3 ======================= 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) 183 collisions 1001 significant places 00-UpperBounds.task + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_201 + voted_no_202 + voted_no_203 + voted_no_204 + voted_no_205 + voted_no_206 + voted_no_207 + voted_no_208 + voted_no_209 + voted_no_210 + voted_no_211 + voted_no_212 + voted_no_213 + voted_no_214 + voted_no_215 + voted_no_216 + voted_no_217 + voted_no_218 + voted_no_219 + voted_no_220 + voted_no_221 + voted_no_222 + voted_no_223 + voted_no_224 + voted_no_225 + voted_no_226 + voted_no_227 + voted_no_228 + voted_no_229 + voted_no_230 + voted_no_231 + voted_no_232 + voted_no_233 + voted_no_234 + voted_no_235 + voted_no_236 + voted_no_237 + voted_no_238 + voted_no_239 + voted_no_240 + voted_no_241 + voted_no_242 + voted_no_243 + voted_no_244 + voted_no_245 + voted_no_246 + voted_no_247 + voted_no_248 + voted_no_249 + voted_no_250 + voted_no_251 + voted_no_252 + voted_no_253 + voted_no_254 + voted_no_255 + voted_no_256 + voted_no_257 + voted_no_258 + voted_no_259 + voted_no_260 + voted_no_261 + voted_no_262 + voted_no_263 + voted_no_264 + voted_no_265 + voted_no_266 + voted_no_267 + voted_no_268 + voted_no_269 + voted_no_270 + voted_no_271 + voted_no_272 + voted_no_273 + voted_no_274 + voted_no_275 + voted_no_276 + voted_no_277 + voted_no_278 + voted_no_279 + voted_no_280 + voted_no_281 + voted_no_282 + voted_no_283 + voted_no_284 + voted_no_285 + voted_no_286 + voted_no_287 + voted_no_288 + voted_no_289 + voted_no_290 + voted_no_291 + voted_no_292 + voted_no_293 + voted_no_294 + voted_no_295 + voted_no_296 + voted_no_297 + voted_no_298 + voted_no_299 + voted_no_300 + voted_no_301 + voted_no_302 + voted_no_303 + voted_no_304 + voted_no_305 + voted_no_306 + voted_no_307 + voted_no_308 + voted_no_309 + voted_no_310 + voted_no_311 + voted_no_312 + voted_no_313 + voted_no_314 + voted_no_315 + voted_no_316 + voted_no_317 + voted_no_318 + voted_no_319 + voted_no_320 + voted_no_321 + voted_no_322 + voted_no_323 + voted_no_324 + voted_no_325 + voted_no_326 + voted_no_327 + voted_no_328 + voted_no_329 + voted_no_330 + voted_no_331 + voted_no_332 + voted_no_333 + voted_no_334 + voted_no_335 + voted_no_336 + voted_no_337 + voted_no_338 + voted_no_339 + voted_no_340 + voted_no_341 + voted_no_342 + voted_no_343 + voted_no_344 + voted_no_345 + voted_no_346 + voted_no_347 + voted_no_348 + voted_no_349 + voted_no_350 + voted_no_351 + voted_no_352 + voted_no_353 + voted_no_354 + voted_no_355 + voted_no_356 + voted_no_357 + voted_no_358 + voted_no_359 + voted_no_360 + voted_no_361 + voted_no_362 + voted_no_363 + voted_no_364 + voted_no_365 + voted_no_366 + voted_no_367 + voted_no_368 + voted_no_369 + voted_no_370 + voted_no_371 + voted_no_372 + voted_no_373 + voted_no_374 + voted_no_375 + voted_no_376 + voted_no_377 + voted_no_378 + voted_no_379 + voted_no_380 + voted_no_381 + voted_no_382 + voted_no_383 + voted_no_384 + voted_no_385 + voted_no_386 + voted_no_387 + voted_no_388 + voted_no_389 + voted_no_390 + voted_no_391 + voted_no_392 + voted_no_393 + voted_no_394 + voted_no_395 + voted_no_396 + voted_no_397 + voted_no_398 + voted_no_399 + voted_no_400 + voted_no_401 + voted_no_402 + voted_no_403 + voted_no_404 + voted_no_405 + voted_no_406 + voted_no_407 + voted_no_408 + voted_no_409 + voted_no_410 + voted_no_411 + voted_no_412 + voted_no_413 + voted_no_414 + voted_no_415 + voted_no_416 + voted_no_417 + voted_no_418 + voted_no_419 + voted_no_420 + voted_no_421 + voted_no_422 + voted_no_423 + voted_no_424 + voted_no_425 + voted_no_426 + voted_no_427 + voted_no_428 + voted_no_429 + voted_no_430 + voted_no_431 + voted_no_432 + voted_no_433 + voted_no_434 + voted_no_435 + voted_no_436 + voted_no_437 + voted_no_438 + voted_no_439 + voted_no_440 + voted_no_441 + voted_no_442 + voted_no_443 + voted_no_444 + voted_no_445 + voted_no_446 + voted_no_447 + voted_no_448 + voted_no_449 + voted_no_450 + voted_no_451 + voted_no_452 + voted_no_453 + voted_no_454 + voted_no_455 + voted_no_456 + voted_no_457 + voted_no_458 + voted_no_459 + voted_no_460 + voted_no_461 + voted_no_462 + voted_no_1 + voted_no_463 + voted_no_2 + voted_no_464 + voted_no_3 + voted_no_465 + voted_no_4 + voted_no_466 + voted_no_5 + voted_no_467 + voted_no_6 + voted_no_468 + voted_no_7 + voted_no_469 + voted_no_8 + voted_no_9 + voted_no_470 + voted_no_471 + voted_no_472 + voted_no_473 + voted_no_474 + voted_no_475 + voted_no_476 + voted_no_477 + voted_no_478 + voted_no_479 + voted_no_480 + voted_no_481 + voted_no_482 + voted_no_483 + voted_no_484 + voted_no_485 + voted_no_486 + voted_no_487 + voted_no_488 + voted_no_489 + voted_no_490 + voted_no_491 + voted_no_492 + voted_no_493 + voted_no_494 + voted_no_495 + voted_no_496 + voted_no_497 + voted_no_498 + voted_no_499 + voted_no_500 + 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_500 + 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 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200 + voting_201 + voting_202 + voting_203 + voting_204 + voting_205 + voting_206 + voting_207 + voting_208 + voting_209 + voting_210 + voting_211 + voting_212 + voting_213 + voting_214 + voting_215 + voting_216 + voting_217 + voting_218 + voting_219 + voting_220 + voting_221 + voting_222 + voting_223 + voting_224 + voting_225 + voting_226 + voting_227 + voting_228 + voting_229 + voting_230 + voting_231 + voting_232 + voting_233 + voting_234 + voting_235 + voting_236 + voting_237 + voting_238 + voting_239 + voting_240 + voting_241 + voting_242 + voting_243 + voting_244 + voting_245 + voting_246 + voting_247 + voting_248 + voting_249 + voting_250 + voting_251 + voting_252 + voting_253 + voting_254 + voting_255 + voting_256 + voting_257 + voting_258 + voting_259 + voting_260 + voting_261 + voting_262 + voting_263 + voting_264 + voting_265 + voting_266 + voting_267 + voting_268 + voting_269 + voting_270 + voting_271 + voting_272 + voting_273 + voting_274 + voting_275 + voting_276 + voting_277 + voting_278 + voting_279 + voting_280 + voting_281 + voting_282 + voting_283 + voting_284 + voting_285 + voting_286 + voting_287 + voting_288 + voting_289 + voting_290 + voting_291 + voting_292 + voting_293 + voting_294 + voting_295 + voting_296 + voting_297 + voting_298 + voting_299 + voting_300 + voting_301 + voting_302 + voting_303 + voting_304 + voting_305 + voting_306 + voting_307 + voting_308 + voting_309 + voting_310 + voting_311 + voting_312 + voting_313 + voting_314 + voting_315 + voting_316 + voting_317 + voting_318 + voting_319 + voting_320 + voting_321 + voting_322 + voting_323 + voting_324 + voting_325 + voting_326 + voting_327 + voting_328 + voting_329 + voting_330 + voting_331 + voting_332 + voting_333 + voting_334 + voting_335 + voting_336 + voting_337 + voting_338 + voting_339 + voting_340 + voting_341 + voting_342 + voting_343 + voting_344 + voting_345 + voting_346 + voting_347 + voting_348 + voting_349 + voting_350 + voting_351 + voting_352 + voting_353 + voting_354 + voting_355 + voting_356 + voting_357 + voting_358 + voting_359 + voting_360 + voting_361 + voting_362 + voting_363 + voting_364 + voting_365 + voting_366 + voting_367 + voting_368 + voting_369 + voting_370 + voting_371 + voting_372 + voting_373 + voting_374 + voting_375 + voting_376 + voting_377 + voting_378 + voting_379 + voting_380 + voting_381 + voting_382 + voting_383 + voting_384 + voting_385 + voting_386 + voting_387 + voting_388 + voting_389 + voting_390 + voting_391 + voting_392 + voting_393 + voting_394 + voting_395 + voting_396 + voting_397 + voting_398 + voting_399 + voting_400 + voting_401 + voting_402 + voting_403 + voting_404 + voting_405 + voting_406 + voting_407 + voting_408 + voting_409 + voting_410 + voting_411 + voting_412 + voting_413 + voting_414 + voting_415 + voting_416 + voting_417 + voting_418 + voting_419 + voting_420 + voting_421 + voting_422 + voting_423 + voting_424 + voting_425 + voting_426 + voting_427 + voting_428 + voting_429 + voting_430 + voting_431 + voting_432 + voting_433 + voting_434 + voting_435 + voting_436 + voting_437 + voting_438 + voting_439 + voting_440 + voting_441 + voting_442 + voting_443 + voting_444 + voting_445 + voting_446 + voting_447 + voting_448 + voting_449 + voting_450 + voting_451 + voting_452 + voting_453 + voting_454 + voting_455 + voting_456 + voting_457 + voting_458 + voting_459 + voting_460 + voting_461 + voting_462 + voting_463 + voting_464 + voting_465 + voting_466 + voting_467 + voting_468 + voting_469 + voting_470 + voting_471 + voting_472 + voting_473 + voting_474 + voting_475 + voting_476 + voting_477 + voting_478 + voting_479 + voting_480 + voting_481 + voting_482 + voting_483 + voting_484 + voting_485 + voting_486 + voting_487 + voting_488 + voting_489 + voting_490 + voting_491 + voting_492 + voting_493 + voting_494 + voting_495 + voting_496 + voting_497 + voting_498 + voting_499) : MAX(ready) : MAX(voted_yes_100 + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_201 + voted_no_202 + voted_no_203 + voted_no_204 + voted_no_205 + voted_no_206 + voted_no_207 + voted_no_208 + voted_no_209 + voted_no_210 + voted_no_211 + voted_no_212 + voted_no_213 + voted_no_214 + voted_no_215 + voted_no_216 + voted_no_217 + voted_no_218 + voted_no_219 + voted_no_220 + voted_no_221 + voted_no_222 + voted_no_223 + voted_no_224 + voted_no_225 + voted_no_226 + voted_no_227 + voted_no_228 + voted_no_229 + voted_no_230 + voted_no_231 + voted_no_232 + voted_no_233 + voted_no_234 + voted_no_235 + voted_no_236 + voted_no_237 + voted_no_238 + voted_no_239 + voted_no_240 + voted_no_241 + voted_no_242 + voted_no_243 + voted_no_244 + voted_no_245 + voted_no_246 + voted_no_247 + voted_no_248 + voted_no_249 + voted_no_250 + voted_no_251 + voted_no_252 + voted_no_253 + voted_no_254 + voted_no_255 + voted_no_256 + voted_no_257 + voted_no_258 + voted_no_259 + voted_no_260 + voted_no_261 + voted_no_262 + voted_no_263 + voted_no_264 + voted_no_265 + voted_no_266 + voted_no_267 + voted_no_268 + voted_no_269 + voted_no_270 + voted_no_271 + voted_no_272 + voted_no_273 + voted_no_274 + voted_no_275 + voted_no_276 + voted_no_277 + voted_no_278 + voted_no_279 + voted_no_280 + voted_no_281 + voted_no_282 + voted_no_283 + voted_no_284 + voted_no_285 + voted_no_286 + voted_no_287 + voted_no_288 + voted_no_289 + voted_no_290 + voted_no_291 + voted_no_292 + voted_no_293 + voted_no_294 + voted_no_295 + voted_no_296 + voted_no_297 + voted_no_298 + voted_no_299 + voted_no_300 + voted_no_301 + voted_no_302 + voted_no_303 + voted_no_304 + voted_no_305 + voted_no_306 + voted_no_307 + voted_no_308 + voted_no_309 + voted_no_310 + voted_no_311 + voted_no_312 + voted_no_313 + voted_no_314 + voted_no_315 + voted_no_316 + voted_no_317 + voted_no_318 + voted_no_319 + voted_no_320 + voted_no_321 + voted_no_322 + voted_no_323 + voted_no_324 + voted_no_325 + voted_no_326 + voted_no_327 + voted_no_328 + voted_no_329 + voted_no_330 + voted_no_331 + voted_no_332 + voted_no_333 + voted_no_334 + voted_no_335 + voted_no_336 + voted_no_337 + voted_no_338 + voted_no_339 + voted_no_340 + voted_no_341 + voted_no_342 + voted_no_343 + voted_no_344 + voted_no_345 + voted_no_346 + voted_no_347 + voted_no_348 + voted_no_349 + voted_no_350 + voted_no_351 + voted_no_352 + voted_no_353 + voted_no_354 + voted_no_355 + voted_no_356 + voted_no_357 + voted_no_358 + voted_no_359 + voted_no_360 + voted_no_361 + voted_no_362 + voted_no_363 + voted_no_364 + voted_no_365 + voted_no_366 + voted_no_367 + voted_no_368 + voted_no_369 + voted_no_370 + voted_no_371 + voted_no_372 + voted_no_373 + voted_no_374 + voted_no_375 + voted_no_376 + voted_no_377 + voted_no_378 + voted_no_379 + voted_no_380 + voted_no_381 + voted_no_382 + voted_no_383 + voted_no_384 + voted_no_385 + voted_no_386 + voted_no_387 + voted_no_388 + voted_no_389 + voted_no_390 + voted_no_391 + voted_no_392 + voted_no_393 + voted_no_394 + voted_no_395 + voted_no_396 + voted_no_397 + voted_no_398 + voted_no_399 + voted_no_400 + voted_no_401 + voted_no_402 + voted_no_403 + voted_no_404 + voted_no_405 + voted_no_406 + voted_no_407 + voted_no_408 + voted_no_409 + voted_no_410 + voted_no_411 + voted_no_412 + voted_no_413 + voted_no_414 + voted_no_415 + voted_no_416 + voted_no_417 + voted_no_418 + voted_no_419 + voted_no_420 + voted_no_421 + voted_no_422 + voted_no_423 + voted_no_424 + voted_no_425 + voted_no_426 + voted_no_427 + voted_no_428 + voted_no_429 + voted_no_430 + voted_no_431 + voted_no_432 + voted_no_433 + voted_no_434 + voted_no_435 + voted_no_436 + voted_no_437 + voted_no_438 + voted_no_439 + voted_no_440 + voted_no_441 + voted_no_442 + voted_no_443 + voted_no_444 + voted_no_445 + voted_no_446 + voted_no_447 + voted_no_448 + voted_no_449 + voted_no_450 + voted_no_451 + voted_no_452 + voted_no_453 + voted_no_454 + voted_no_455 + voted_no_456 + voted_no_457 + voted_no_458 + voted_no_459 + voted_no_460 + voted_no_461 + voted_no_462 + voted_no_1 + voted_no_463 + voted_no_2 + voted_no_464 + voted_no_3 + voted_no_465 + voted_no_4 + voted_no_466 + voted_no_5 + voted_no_467 + voted_no_6 + voted_no_468 + voted_no_7 + voted_no_469 + voted_no_8 + voted_no_9 + voted_no_470 + voted_no_471 + voted_no_472 + voted_no_473 + voted_no_474 + voted_no_475 + voted_no_476 + voted_no_477 + voted_no_478 + voted_no_479 + voted_no_480 + voted_no_481 + voted_no_482 + voted_no_483 + voted_no_484 + voted_no_485 + voted_no_486 + voted_no_487 + voted_no_488 + voted_no_489 + voted_no_490 + voted_no_491 + voted_no_492 + voted_no_493 + voted_no_494 + voted_no_495 + voted_no_496 + voted_no_497 + voted_no_498 + voted_no_499 + voted_no_500 + 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_201 + voted_no_202 + voted_no_203 + voted_no_204 + voted_no_205 + voted_no_206 + voted_no_207 + voted_no_208 + voted_no_209 + voted_no_210 + voted_no_211 + voted_no_212 + voted_no_213 + voted_no_214 + voted_no_215 + voted_no_216 + voted_no_217 + voted_no_218 + voted_no_219 + voted_no_220 + voted_no_221 + voted_no_222 + voted_no_223 + voted_no_224 + voted_no_225 + voted_no_226 + voted_no_227 + voted_no_228 + voted_no_229 + voted_no_230 + voted_no_231 + voted_no_232 + voted_no_233 + voted_no_234 + voted_no_235 + voted_no_236 + voted_no_237 + voted_no_238 + voted_no_239 + voted_no_240 + voted_no_241 + voted_no_242 + voted_no_243 + voted_no_244 + voted_no_245 + voted_no_246 + voted_no_247 + voted_no_248 + voted_no_249 + voted_no_250 + voted_no_251 + voted_no_252 + voted_no_253 + voted_no_254 + voted_no_255 + voted_no_256 + voted_no_257 + voted_no_258 + voted_no_259 + voted_no_260 + voted_no_261 + voted_no_262 + voted_no_263 + voted_no_264 + voted_no_265 + voted_no_266 + voted_no_267 + voted_no_268 + voted_no_269 + voted_no_270 + voted_no_271 + voted_no_272 + voted_no_273 + voted_no_274 + voted_no_275 + voted_no_276 + voted_no_277 + voted_no_278 + voted_no_279 + voted_no_280 + voted_no_281 + voted_no_282 + voted_no_283 + voted_no_284 + voted_no_285 + voted_no_286 + voted_no_287 + voted_no_288 + voted_no_289 + voted_no_290 + voted_no_291 + voted_no_292 + voted_no_293 + voted_no_294 + voted_no_295 + voted_no_296 + voted_no_297 + voted_no_298 + voted_no_299 + voted_no_300 + voted_no_301 + voted_no_302 + voted_no_303 + voted_no_304 + voted_no_305 + voted_no_306 + voted_no_307 + voted_no_308 + voted_no_309 + voted_no_310 + voted_no_311 + voted_no_312 + voted_no_313 + voted_no_314 + voted_no_315 + voted_no_316 + voted_no_317 + voted_no_318 + voted_no_319 + voted_no_320 + voted_no_321 + voted_no_322 + voted_no_323 + voted_no_324 + voted_no_325 + voted_no_326 + voted_no_327 + voted_no_328 + voted_no_329 + voted_no_330 + voted_no_331 + voted_no_332 + voted_no_333 + voted_no_334 + voted_no_335 + voted_no_336 + voted_no_337 + voted_no_338 + voted_no_339 + voted_no_340 + voted_no_341 + voted_no_342 + voted_no_343 + voted_no_344 + voted_no_345 + voted_no_346 + voted_no_347 + voted_no_348 + voted_no_349 + voted_no_350 + voted_no_351 + voted_no_352 + voted_no_353 + voted_no_354 + voted_no_355 + voted_no_356 + voted_no_357 + voted_no_358 + voted_no_359 + voted_no_360 + voted_no_361 + voted_no_362 + voted_no_363 + voted_no_364 + voted_no_365 + voted_no_366 + voted_no_367 + voted_no_368 + voted_no_369 + voted_no_370 + voted_no_371 + voted_no_372 + voted_no_373 + voted_no_374 + voted_no_375 + voted_no_376 + voted_no_377 + voted_no_378 + voted_no_379 + voted_no_380 + voted_no_381 + voted_no_382 + voted_no_383 + voted_no_384 + voted_no_385 + voted_no_386 + voted_no_387 + voted_no_388 + voted_no_389 + voted_no_390 + voted_no_391 + voted_no_392 + voted_no_393 + voted_no_394 + voted_no_395 + voted_no_396 + voted_no_397 + voted_no_398 + voted_no_399 + voted_no_400 + voted_no_401 + voted_no_402 + voted_no_403 + voted_no_404 + voted_no_405 + voted_no_406 + voted_no_407 + voted_no_408 + voted_no_409 + voted_no_410 + voted_no_411 + voted_no_412 + voted_no_413 + voted_no_414 + voted_no_415 + voted_no_416 + voted_no_417 + voted_no_418 + voted_no_419 + voted_no_420 + voted_no_421 + voted_no_422 + voted_no_423 + voted_no_424 + voted_no_425 + voted_no_426 + voted_no_427 + voted_no_428 + voted_no_429 + voted_no_430 + voted_no_431 + voted_no_432 + voted_no_433 + voted_no_434 + voted_no_435 + voted_no_436 + voted_no_437 + voted_no_438 + voted_no_439 + voted_no_440 + voted_no_441 + voted_no_442 + voted_no_443 + voted_no_444 + voted_no_445 + voted_no_446 + voted_no_447 + voted_no_448 + voted_no_449 + voted_no_450 + voted_no_451 + voted_no_452 + voted_no_453 + voted_no_454 + voted_no_455 + voted_no_456 + voted_no_457 + voted_no_458 + voted_no_459 + voted_no_460 + voted_no_461 + voted_no_462 + voted_no_1 + voted_no_463 + voted_no_2 + voted_no_464 + voted_no_3 + voted_no_465 + voted_no_4 + voted_no_466 + voted_no_5 + voted_no_467 + voted_no_6 + voted_no_468 + voted_no_7 + voted_no_469 + voted_no_8 + voted_no_9 + voted_no_470 + voted_no_471 + voted_no_472 + voted_no_473 + voted_no_474 + voted_no_475 + voted_no_476 + voted_no_477 + voted_no_478 + voted_no_479 + voted_no_480 + voted_no_481 + voted_no_482 + voted_no_483 + voted_no_484 + voted_no_485 + voted_no_486 + voted_no_487 + voted_no_488 + voted_no_489 + voted_no_490 + voted_no_491 + voted_no_492 + voted_no_493 + voted_no_494 + voted_no_495 + voted_no_496 + voted_no_497 + voted_no_498 + voted_no_499 + voted_no_500 + 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_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_201 + voted_no_202 + voted_no_203 + voted_no_204 + voted_no_205 + voted_no_206 + voted_no_207 + voted_no_208 + voted_no_209 + voted_no_210 + voted_no_211 + voted_no_212 + voted_no_213 + voted_no_214 + voted_no_215 + voted_no_216 + voted_no_217 + voted_no_218 + voted_no_219 + voted_no_220 + voted_no_221 + voted_no_222 + voted_no_223 + voted_no_224 + voted_no_225 + voted_no_226 + voted_no_227 + voted_no_228 + voted_no_229 + voted_no_230 + voted_no_231 + voted_no_232 + voted_no_233 + voted_no_234 + voted_no_235 + voted_no_236 + voted_no_237 + voted_no_238 + voted_no_239 + voted_no_240 + voted_no_241 + voted_no_242 + voted_no_243 + voted_no_244 + voted_no_245 + voted_no_246 + voted_no_247 + voted_no_248 + voted_no_249 + voted_no_250 + voted_no_251 + voted_no_252 + voted_no_253 + voted_no_254 + voted_no_255 + voted_no_256 + voted_no_257 + voted_no_258 + voted_no_259 + voted_no_260 + voted_no_261 + voted_no_262 + voted_no_263 + voted_no_264 + voted_no_265 + voted_no_266 + voted_no_267 + voted_no_268 + voted_no_269 + voted_no_270 + voted_no_271 + voted_no_272 + voted_no_273 + voted_no_274 + voted_no_275 + voted_no_276 + voted_no_277 + voted_no_278 + voted_no_279 + voted_no_280 + voted_no_281 + voted_no_282 + voted_no_283 + voted_no_284 + voted_no_285 + voted_no_286 + voted_no_287 + voted_no_288 + voted_no_289 + voted_no_290 + voted_no_291 + voted_no_292 + voted_no_293 + voted_no_294 + voted_no_295 + voted_no_296 + voted_no_297 + voted_no_298 + voted_no_299 + voted_no_300 + voted_no_301 + voted_no_302 + voted_no_303 + voted_no_304 + voted_no_305 + voted_no_306 + voted_no_307 + voted_no_308 + voted_no_309 + voted_no_310 + voted_no_311 + voted_no_312 + voted_no_313 + voted_no_314 + voted_no_315 + voted_no_316 + voted_no_317 + voted_no_318 + voted_no_319 + voted_no_320 + voted_no_321 + voted_no_322 + voted_no_323 + voted_no_324 + voted_no_325 + voted_no_326 + voted_no_327 + voted_no_328 + voted_no_329 + voted_no_330 + voted_no_331 + voted_no_332 + voted_no_333 + voted_no_334 + voted_no_335 + voted_no_336 + voted_no_337 + voted_no_338 + voted_no_339 + voted_no_340 + voted_no_341 + voted_no_342 + voted_no_343 + voted_no_344 + voted_no_345 + voted_no_346 + voted_no_347 + voted_no_348 + voted_no_349 + voted_no_350 + voted_no_351 + voted_no_352 + voted_no_353 + voted_no_354 + voted_no_355 + voted_no_356 + voted_no_357 + voted_no_358 + voted_no_359 + voted_no_360 + voted_no_361 + voted_no_362 + voted_no_363 + voted_no_364 + voted_no_365 + voted_no_366 + voted_no_367 + voted_no_368 + voted_no_369 + voted_no_370 + voted_no_371 + voted_no_372 + voted_no_373 + voted_no_374 + voted_no_375 + voted_no_376 + voted_no_377 + voted_no_378 + voted_no_379 + voted_no_380 + voted_no_381 + voted_no_382 + voted_no_383 + voted_no_384 + voted_no_385 + voted_no_386 + voted_no_387 + voted_no_388 + voted_no_389 + voted_no_390 + voted_no_391 + voted_no_392 + voted_no_393 + voted_no_394 + voted_no_395 + voted_no_396 + voted_no_397 + voted_no_398 + voted_no_399 + voted_no_400 + voted_no_401 + voted_no_402 + voted_no_403 + voted_no_404 + voted_no_405 + voted_no_406 + voted_no_407 + voted_no_408 + voted_no_409 + voted_no_410 + voted_no_411 + voted_no_412 + voted_no_413 + voted_no_414 + voted_no_415 + voted_no_416 + voted_no_417 + voted_no_418 + voted_no_419 + voted_no_420 + voted_no_421 + voted_no_422 + voted_no_423 + voted_no_424 + voted_no_425 + voted_no_426 + voted_no_427 + voted_no_428 + voted_no_429 + voted_no_430 + voted_no_431 + voted_no_432 + voted_no_433 + voted_no_434 + voted_no_435 + voted_no_436 + voted_no_437 + voted_no_438 + voted_no_439 + voted_no_440 + voted_no_441 + voted_no_442 + voted_no_443 + voted_no_444 + voted_no_445 + voted_no_446 + voted_no_447 + voted_no_448 + voted_no_449 + voted_no_450 + voted_no_451 + voted_no_452 + voted_no_453 + voted_no_454 + voted_no_455 + voted_no_456 + voted_no_457 + voted_no_458 + voted_no_459 + voted_no_460 + voted_no_461 + voted_no_462 + voted_no_1 + voted_no_463 + voted_no_2 + voted_no_464 + voted_no_3 + voted_no_465 + voted_no_4 + voted_no_466 + voted_no_5 + voted_no_467 + voted_no_6 + voted_no_468 + voted_no_7 + voted_no_469 + voted_no_8 + voted_no_9 + voted_no_470 + voted_no_471 + voted_no_472 + voted_no_473 + voted_no_474 + voted_no_475 + voted_no_476 + voted_no_477 + voted_no_478 + voted_no_479 + voted_no_480 + voted_no_481 + voted_no_482 + voted_no_483 + voted_no_484 + voted_no_485 + voted_no_486 + voted_no_487 + voted_no_488 + voted_no_489 + voted_no_490 + voted_no_491 + voted_no_492 + voted_no_493 + voted_no_494 + voted_no_495 + voted_no_496 + voted_no_497 + voted_no_498 + voted_no_499 + voted_no_500 + 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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(voted_no_100 + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_no_126 + voted_no_127 + voted_no_128 + voted_no_129 + voted_no_130 + voted_no_131 + voted_no_132 + voted_no_133 + voted_no_134 + voted_no_135 + voted_no_136 + voted_no_137 + voted_no_138 + voted_no_139 + voted_no_140 + voted_no_141 + voted_no_142 + voted_no_143 + voted_no_144 + voted_no_145 + voted_no_146 + voted_no_147 + voted_no_148 + voted_no_149 + voted_no_150 + voted_no_151 + voted_no_152 + voted_no_153 + voted_no_154 + voted_no_155 + voted_no_156 + voted_no_157 + voted_no_158 + voted_no_159 + voted_no_160 + voted_no_161 + voted_no_162 + voted_no_163 + voted_no_164 + voted_no_165 + voted_no_166 + voted_no_167 + voted_no_168 + voted_no_169 + voted_no_170 + voted_no_171 + voted_no_172 + voted_no_173 + voted_no_174 + voted_no_175 + voted_no_176 + voted_no_177 + voted_no_178 + voted_no_179 + voted_no_180 + voted_no_181 + voted_no_182 + voted_no_183 + voted_no_184 + voted_no_185 + voted_no_186 + voted_no_187 + voted_no_188 + voted_no_189 + voted_no_190 + voted_no_191 + voted_no_192 + voted_no_193 + voted_no_194 + voted_no_195 + voted_no_196 + voted_no_197 + voted_no_198 + voted_no_199 + voted_no_200 + voted_no_201 + voted_no_202 + voted_no_203 + voted_no_204 + voted_no_205 + voted_no_206 + voted_no_207 + voted_no_208 + voted_no_209 + voted_no_210 + voted_no_211 + voted_no_212 + voted_no_213 + voted_no_214 + voted_no_215 + voted_no_216 + voted_no_217 + voted_no_218 + voted_no_219 + voted_no_220 + voted_no_221 + voted_no_222 + voted_no_223 + voted_no_224 + voted_no_225 + voted_no_226 + voted_no_227 + voted_no_228 + voted_no_229 + voted_no_230 + voted_no_231 + voted_no_232 + voted_no_233 + voted_no_234 + voted_no_235 + voted_no_236 + voted_no_237 + voted_no_238 + voted_no_239 + voted_no_240 + voted_no_241 + voted_no_242 + voted_no_243 + voted_no_244 + voted_no_245 + voted_no_246 + voted_no_247 + voted_no_248 + voted_no_249 + voted_no_250 + voted_no_251 + voted_no_252 + voted_no_253 + voted_no_254 + voted_no_255 + voted_no_256 + voted_no_257 + voted_no_258 + voted_no_259 + voted_no_260 + voted_no_261 + voted_no_262 + voted_no_263 + voted_no_264 + voted_no_265 + voted_no_266 + voted_no_267 + voted_no_268 + voted_no_269 + voted_no_270 + voted_no_271 + voted_no_272 + voted_no_273 + voted_no_274 + voted_no_275 + voted_no_276 + voted_no_277 + voted_no_278 + voted_no_279 + voted_no_280 + voted_no_281 + voted_no_282 + voted_no_283 + voted_no_284 + voted_no_285 + voted_no_286 + voted_no_287 + voted_no_288 + voted_no_289 + voted_no_290 + voted_no_291 + voted_no_292 + voted_no_293 + voted_no_294 + voted_no_295 + voted_no_296 + voted_no_297 + voted_no_298 + voted_no_299 + voted_no_300 + voted_no_301 + voted_no_302 + voted_no_303 + voted_no_304 + voted_no_305 + voted_no_306 + voted_no_307 + voted_no_308 + voted_no_309 + voted_no_310 + voted_no_311 + voted_no_312 + voted_no_313 + voted_no_314 + voted_no_315 + voted_no_316 + voted_no_317 + voted_no_318 + voted_no_319 + voted_no_320 + voted_no_321 + voted_no_322 + voted_no_323 + voted_no_324 + voted_no_325 + voted_no_326 + voted_no_327 + voted_no_328 + voted_no_329 + voted_no_330 + voted_no_331 + voted_no_332 + voted_no_333 + voted_no_334 + voted_no_335 + voted_no_336 + voted_no_337 + voted_no_338 + voted_no_339 + voted_no_340 + voted_no_341 + voted_no_342 + voted_no_343 + voted_no_344 + voted_no_345 + voted_no_346 + voted_no_347 + voted_no_348 + voted_no_349 + voted_no_350 + voted_no_351 + voted_no_352 + voted_no_353 + voted_no_354 + voted_no_355 + voted_no_356 + voted_no_357 + voted_no_358 + voted_no_359 + voted_no_360 + voted_no_361 + voted_no_362 + voted_no_363 + voted_no_364 + voted_no_365 + voted_no_366 + voted_no_367 + voted_no_368 + voted_no_369 + voted_no_370 + voted_no_371 + voted_no_372 + voted_no_373 + voted_no_374 + voted_no_375 + voted_no_376 + voted_no_377 + voted_no_378 + voted_no_379 + voted_no_380 + voted_no_381 + voted_no_382 + voted_no_383 + voted_no_384 + voted_no_385 + voted_no_386 + voted_no_387 + voted_no_388 + voted_no_389 + voted_no_390 + voted_no_391 + voted_no_392 + voted_no_393 + voted_no_394 + voted_no_395 + voted_no_396 + voted_no_397 + voted_no_398 + voted_no_399 + voted_no_400 + voted_no_401 + voted_no_402 + voted_no_403 + voted_no_404 + voted_no_405 + voted_no_406 + voted_no_407 + voted_no_408 + voted_no_409 + voted_no_410 + voted_no_411 + voted_no_412 + voted_no_413 + voted_no_414 + voted_no_415 + voted_no_416 + voted_no_417 + voted_no_418 + voted_no_419 + voted_no_420 + voted_no_421 + voted_no_422 + voted_no_423 + voted_no_424 + voted_no_425 + voted_no_426 + voted_no_427 + voted_no_428 + voted_no_429 + voted_no_430 + voted_no_431 + voted_no_432 + voted_no_433 + voted_no_434 + voted_no_435 + voted_no_436 + voted_no_437 + voted_no_438 + voted_no_439 + voted_no_440 + voted_no_441 + voted_no_442 + voted_no_443 + voted_no_444 + voted_no_445 + voted_no_446 + voted_no_447 + voted_no_448 + voted_no_449 + voted_no_450 + voted_no_451 + voted_no_452 + voted_no_453 + voted_no_454 + voted_no_455 + voted_no_456 + voted_no_457 + voted_no_458 + voted_no_459 + voted_no_460 + voted_no_461 + voted_no_462 + voted_no_1 + voted_no_463 + voted_no_2 + voted_no_464 + voted_no_3 + voted_no_465 + voted_no_4 + voted_no_466 + voted_no_5 + voted_no_467 + voted_no_6 + voted_no_468 + voted_no_7 + voted_no_469 + voted_no_8 + voted_no_9 + voted_no_470 + voted_no_471 + voted_no_472 + voted_no_473 + voted_no_474 + voted_no_475 + voted_no_476 + voted_no_477 + voted_no_478 + voted_no_479 + voted_no_480 + voted_no_481 + voted_no_482 + voted_no_483 + voted_no_484 + voted_no_485 + voted_no_486 + voted_no_487 + voted_no_488 + voted_no_489 + voted_no_490 + voted_no_491 + voted_no_492 + voted_no_493 + voted_no_494 + voted_no_495 + voted_no_496 + voted_no_497 + voted_no_498 + voted_no_499 + voted_no_500 + 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_124 + voted_yes_125 + voted_yes_126 + voted_yes_127 + voted_yes_128 + voted_yes_129 + voted_yes_130 + voted_yes_131 + voted_yes_132 + voted_yes_133 + voted_yes_134 + voted_yes_135 + voted_yes_136 + voted_yes_137 + voted_yes_138 + voted_yes_139 + voted_yes_140 + voted_yes_141 + voted_yes_142 + voted_yes_143 + voted_yes_144 + voted_yes_145 + voted_yes_146 + voted_yes_147 + voted_yes_148 + voted_yes_149 + voted_yes_150 + voted_yes_151 + voted_yes_152 + voted_yes_153 + voted_yes_154 + voted_yes_155 + voted_yes_156 + voted_yes_157 + voted_yes_158 + voted_yes_159 + voted_yes_160 + voted_yes_161 + voted_yes_162 + voted_yes_163 + voted_yes_164 + voted_yes_165 + voted_yes_166 + voted_yes_167 + voted_yes_168 + voted_yes_169 + voted_yes_170 + voted_yes_171 + voted_yes_172 + voted_yes_173 + voted_yes_174 + voted_yes_175 + voted_yes_176 + voted_yes_177 + voted_yes_178 + voted_yes_179 + voted_yes_180 + voted_yes_181 + voted_yes_182 + voted_yes_183 + voted_yes_184 + voted_yes_185 + voted_yes_186 + voted_yes_187 + voted_yes_188 + voted_yes_189 + voted_yes_190 + voted_yes_191 + voted_yes_192 + voted_yes_193 + voted_yes_194 + voted_yes_195 + voted_yes_196 + voted_yes_197 + voted_yes_198 + voted_yes_199 + voted_yes_200 + voted_yes_201 + voted_yes_202 + voted_yes_203 + voted_yes_204 + voted_yes_205 + voted_yes_206 + voted_yes_207 + voted_yes_208 + voted_yes_209 + voted_yes_210 + voted_yes_211 + voted_yes_212 + voted_yes_213 + voted_yes_214 + voted_yes_215 + voted_yes_216 + voted_yes_217 + voted_yes_218 + voted_yes_219 + voted_yes_220 + voted_yes_221 + voted_yes_222 + voted_yes_223 + voted_yes_224 + voted_yes_225 + voted_yes_226 + voted_yes_227 + voted_yes_228 + voted_yes_229 + voted_yes_230 + voted_yes_231 + voted_yes_232 + voted_yes_233 + voted_yes_234 + voted_yes_235 + voted_yes_236 + voted_yes_237 + voted_yes_238 + voted_yes_239 + voted_yes_240 + voted_yes_241 + voted_yes_242 + voted_yes_243 + voted_yes_244 + voted_yes_245 + voted_yes_246 + voted_yes_247 + voted_yes_248 + voted_yes_249 + voted_yes_250 + voted_yes_251 + voted_yes_252 + voted_yes_253 + voted_yes_254 + voted_yes_255 + voted_yes_256 + voted_yes_257 + voted_yes_258 + voted_yes_259 + voted_yes_260 + voted_yes_261 + voted_yes_262 + voted_yes_263 + voted_yes_264 + voted_yes_265 + voted_yes_266 + voted_yes_267 + voted_yes_268 + voted_yes_269 + voted_yes_270 + voted_yes_271 + voted_yes_272 + voted_yes_273 + voted_yes_274 + voted_yes_275 + voted_yes_276 + voted_yes_277 + voted_yes_278 + voted_yes_279 + voted_yes_280 + voted_yes_281 + voted_yes_282 + voted_yes_283 + voted_yes_284 + voted_yes_285 + voted_yes_286 + voted_yes_287 + voted_yes_288 + voted_yes_289 + voted_yes_290 + voted_yes_291 + voted_yes_292 + voted_yes_293 + voted_yes_294 + voted_yes_295 + voted_yes_296 + voted_yes_297 + voted_yes_298 + voted_yes_299 + voted_yes_300 + voted_yes_301 + voted_yes_302 + voted_yes_303 + voted_yes_304 + voted_yes_305 + voted_yes_306 + voted_yes_307 + voted_yes_308 + voted_yes_309 + voted_yes_310 + voted_yes_311 + voted_yes_312 + voted_yes_313 + voted_yes_314 + voted_yes_315 + voted_yes_316 + voted_yes_317 + voted_yes_318 + voted_yes_319 + voted_yes_320 + voted_yes_321 + voted_yes_322 + voted_yes_323 + voted_yes_324 + voted_yes_325 + voted_yes_326 + voted_yes_327 + voted_yes_328 + voted_yes_329 + voted_yes_330 + voted_yes_331 + voted_yes_332 + voted_yes_333 + voted_yes_334 + voted_yes_335 + voted_yes_336 + voted_yes_337 + voted_yes_338 + voted_yes_339 + voted_yes_340 + voted_yes_341 + voted_yes_342 + voted_yes_343 + voted_yes_344 + voted_yes_345 + voted_yes_346 + voted_yes_347 + voted_yes_348 + voted_yes_349 + voted_yes_350 + voted_yes_351 + voted_yes_352 + voted_yes_353 + voted_yes_354 + voted_yes_355 + voted_yes_356 + voted_yes_357 + voted_yes_358 + voted_yes_359 + voted_yes_360 + voted_yes_361 + voted_yes_362 + voted_yes_363 + voted_yes_364 + voted_yes_365 + voted_yes_366 + voted_yes_367 + voted_yes_368 + voted_yes_369 + voted_yes_370 + voted_yes_371 + voted_yes_372 + voted_yes_373 + voted_yes_374 + voted_yes_375 + voted_yes_376 + voted_yes_377 + voted_yes_378 + voted_yes_379 + voted_yes_380 + voted_yes_381 + voted_yes_382 + voted_yes_383 + voted_yes_384 + voted_yes_385 + voted_yes_386 + voted_yes_387 + voted_yes_388 + voted_yes_389 + voted_yes_390 + voted_yes_391 + voted_yes_392 + voted_yes_393 + voted_yes_394 + voted_yes_395 + voted_yes_396 + voted_yes_397 + voted_yes_398 + voted_yes_399 + voted_yes_400 + voted_yes_401 + voted_yes_402 + voted_yes_403 + voted_yes_404 + voted_yes_405 + voted_yes_406 + voted_yes_407 + voted_yes_408 + voted_yes_409 + voted_yes_410 + voted_yes_411 + voted_yes_412 + voted_yes_413 + voted_yes_414 + voted_yes_415 + voted_yes_416 + voted_yes_417 + voted_yes_418 + voted_yes_419 + voted_yes_420 + voted_yes_421 + voted_yes_422 + voted_yes_423 + voted_yes_424 + voted_yes_425 + voted_yes_426 + voted_yes_427 + voted_yes_428 + voted_yes_429 + voted_yes_430 + voted_yes_431 + voted_yes_432 + voted_yes_433 + voted_yes_434 + voted_yes_435 + voted_yes_436 + voted_yes_437 + voted_yes_438 + voted_yes_439 + voted_yes_440 + voted_yes_441 + voted_yes_442 + voted_yes_443 + voted_yes_444 + voted_yes_445 + voted_yes_446 + voted_yes_447 + voted_yes_448 + voted_yes_449 + voted_yes_450 + voted_yes_451 + voted_yes_452 + voted_yes_453 + voted_yes_454 + voted_yes_455 + voted_yes_456 + voted_yes_457 + voted_yes_458 + voted_yes_459 + voted_yes_460 + voted_yes_461 + voted_yes_462 + voted_yes_463 + voted_yes_464 + voted_yes_465 + voted_yes_466 + voted_yes_467 + voted_yes_468 + voted_yes_469 + voted_yes_470 + voted_yes_471 + voted_yes_472 + voted_yes_473 + voted_yes_474 + voted_yes_475 + voted_yes_476 + voted_yes_477 + voted_yes_478 + voted_yes_479 + voted_yes_480 + voted_yes_481 + voted_yes_482 + voted_yes_483 + voted_yes_484 + voted_yes_485 + voted_yes_486 + voted_yes_487 + voted_yes_488 + voted_yes_489 + voted_yes_490 + voted_yes_491 + voted_yes_492 + voted_yes_493 + voted_yes_494 + voted_yes_495 + voted_yes_496 + voted_yes_497 + voted_yes_498 + voted_yes_499 + voted_yes_500 + 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_500 + 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 + voting_101 + voting_102 + voting_103 + voting_104 + voting_105 + voting_106 + voting_107 + voting_108 + voting_109 + voting_110 + voting_111 + voting_112 + voting_113 + voting_114 + voting_115 + voting_116 + voting_117 + voting_118 + voting_119 + voting_120 + voting_121 + voting_122 + voting_123 + voting_124 + voting_125 + voting_126 + voting_127 + voting_128 + voting_129 + voting_130 + voting_131 + voting_132 + voting_133 + voting_134 + voting_135 + voting_136 + voting_137 + voting_138 + voting_139 + voting_140 + voting_141 + voting_142 + voting_143 + voting_144 + voting_145 + voting_146 + voting_147 + voting_148 + voting_149 + voting_150 + voting_151 + voting_152 + voting_153 + voting_154 + voting_155 + voting_156 + voting_157 + voting_158 + voting_159 + voting_160 + voting_161 + voting_162 + voting_163 + voting_164 + voting_165 + voting_166 + voting_167 + voting_168 + voting_169 + voting_170 + voting_171 + voting_172 + voting_173 + voting_174 + voting_175 + voting_176 + voting_177 + voting_178 + voting_179 + voting_180 + voting_181 + voting_182 + voting_183 + voting_184 + voting_185 + voting_186 + voting_187 + voting_188 + voting_189 + voting_190 + voting_191 + voting_192 + voting_193 + voting_194 + voting_195 + voting_196 + voting_197 + voting_198 + voting_199 + voting_200 + voting_201 + voting_202 + voting_203 + voting_204 + voting_205 + voting_206 + voting_207 + voting_208 + voting_209 + voting_210 + voting_211 + voting_212 + voting_213 + voting_214 + voting_215 + voting_216 + voting_217 + voting_218 + voting_219 + voting_220 + voting_221 + voting_222 + voting_223 + voting_224 + voting_225 + voting_226 + voting_227 + voting_228 + voting_229 + voting_230 + voting_231 + voting_232 + voting_233 + voting_234 + voting_235 + voting_236 + voting_237 + voting_238 + voting_239 + voting_240 + voting_241 + voting_242 + voting_243 + voting_244 + voting_245 + voting_246 + voting_247 + voting_248 + voting_249 + voting_250 + voting_251 + voting_252 + voting_253 + voting_254 + voting_255 + voting_256 + voting_257 + voting_258 + voting_259 + voting_260 + voting_261 + voting_262 + voting_263 + voting_264 + voting_265 + voting_266 + voting_267 + voting_268 + voting_269 + voting_270 + voting_271 + voting_272 + voting_273 + voting_274 + voting_275 + voting_276 + voting_277 + voting_278 + voting_279 + voting_280 + voting_281 + voting_282 + voting_283 + voting_284 + voting_285 + voting_286 + voting_287 + voting_288 + voting_289 + voting_290 + voting_291 + voting_292 + voting_293 + voting_294 + voting_295 + voting_296 + voting_297 + voting_298 + voting_299 + voting_300 + voting_301 + voting_302 + voting_303 + voting_304 + voting_305 + voting_306 + voting_307 + voting_308 + voting_309 + voting_310 + voting_311 + voting_312 + voting_313 + voting_314 + voting_315 + voting_316 + voting_317 + voting_318 + voting_319 + voting_320 + voting_321 + voting_322 + voting_323 + voting_324 + voting_325 + voting_326 + voting_327 + voting_328 + voting_329 + voting_330 + voting_331 + voting_332 + voting_333 + voting_334 + voting_335 + voting_336 + voting_337 + voting_338 + voting_339 + voting_340 + voting_341 + voting_342 + voting_343 + voting_344 + voting_345 + voting_346 + voting_347 + voting_348 + voting_349 + voting_350 + voting_351 + voting_352 + voting_353 + voting_354 + voting_355 + voting_356 + voting_357 + voting_358 + voting_359 + voting_360 + voting_361 + voting_362 + voting_363 + voting_364 + voting_365 + voting_366 + voting_367 + voting_368 + voting_369 + voting_370 + voting_371 + voting_372 + voting_373 + voting_374 + voting_375 + voting_376 + voting_377 + voting_378 + voting_379 + voting_380 + voting_381 + voting_382 + voting_383 + voting_384 + voting_385 + voting_386 + voting_387 + voting_388 + voting_389 + voting_390 + voting_391 + voting_392 + voting_393 + voting_394 + voting_395 + voting_396 + voting_397 + voting_398 + voting_399 + voting_400 + voting_401 + voting_402 + voting_403 + voting_404 + voting_405 + voting_406 + voting_407 + voting_408 + voting_409 + voting_410 + voting_411 + voting_412 + voting_413 + voting_414 + voting_415 + voting_416 + voting_417 + voting_418 + voting_419 + voting_420 + voting_421 + voting_422 + voting_423 + voting_424 + voting_425 + voting_426 + voting_427 + voting_428 + voting_429 + voting_430 + voting_431 + voting_432 + voting_433 + voting_434 + voting_435 + voting_436 + voting_437 + voting_438 + voting_439 + voting_440 + voting_441 + voting_442 + voting_443 + voting_444 + voting_445 + voting_446 + voting_447 + voting_448 + voting_449 + voting_450 + voting_451 + voting_452 + voting_453 + voting_454 + voting_455 + voting_456 + voting_457 + voting_458 + voting_459 + voting_460 + voting_461 + voting_462 + voting_463 + voting_464 + voting_465 + voting_466 + voting_467 + voting_468 + voting_469 + voting_470 + voting_471 + voting_472 + voting_473 + voting_474 + voting_475 + voting_476 + voting_477 + voting_478 + voting_479 + voting_480 + voting_481 + voting_482 + voting_483 + voting_484 + voting_485 + voting_486 + voting_487 + voting_488 + voting_489 + voting_490 + voting_491 + voting_492 + voting_493 + voting_494 + voting_495 + voting_496 + voting_497 + voting_498 + voting_499) : MAX(ready) seconds at most (--localtimelimit=-1) == + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 22739 markings/sec, 0 secs 19925 markings/sec, 5 secs 19635 markings/sec, 10 secs 18911 markings/sec, 15 secs 17231 markings/sec, 20 secs 18248 markings/sec, 25 secs 19378 markings/sec, 30 secs 18529 markings/sec, 35 secs 16899 markings/sec, 40 secs 17828 markings/sec, 45 secs 17987 markings/sec, 50 secs 16027 markings/sec, 55 secs 17669 markings/sec, 60 secs 15682 markings/sec, 65 secs 16587 markings/sec, 70 secs 15552 markings/sec, 75 secs 14741 markings/sec, 80 secs 13822 markings/sec, 85 secs 19288 markings/sec, 90 secs 19072 markings/sec, 95 secs 18062 markings/sec, 100 secs 15833 markings/sec, 105 secs 19192 markings/sec, 110 secs 17577 markings/sec, 115 secs 16452 markings/sec, 120 secs 17241 markings/sec, 125 secs 15984 markings/sec, 130 secs 15820 markings/sec, 135 secs 15374 markings/sec, 140 secs 14467 markings/sec, 145 secs 14633 markings/sec, 150 secs 18628 markings/sec, 155 secs 16928 markings/sec, 160 secs 16673 markings/sec, 165 secs 16769 markings/sec, 170 secs 16205 markings/sec, 175 secs 15495 markings/sec, 180 secs 15278 markings/sec, 185 secs 14098 markings/sec, 190 secs 15497 markings/sec, 195 secs 16876 markings/sec, 200 secs 16297 markings/sec, 205 secs 15599 markings/sec, 210 secs 15345 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 9595 markings/sec, 0 secs 13483 markings/sec, 5 secs 13992 markings/sec, 10 secs 15101 markings/sec, 15 secs 14111 markings/sec, 20 secs 13592 markings/sec, 25 secs 12844 markings/sec, 30 secs 12012 markings/sec, 35 secs 14598 markings/sec, 40 secs 13980 markings/sec, 45 secs 13695 markings/sec, 50 secs 13395 markings/sec, 55 secs 12306 markings/sec, 60 secs 12990 markings/sec, 65 secs 13617 markings/sec, 70 secs 12859 markings/sec, 75 secs 11827 markings/sec, 80 secs 13218 markings/sec, 85 secs 12474 markings/sec, 90 secs 12034 markings/sec, 95 secs 12179 markings/sec, 100 secs 11665 markings/sec, 105 secs 11343 markings/sec, 110 secs 10881 markings/sec, 115 secs 10315 markings/sec, 120 secs 14469 markings/sec, 125 secs 14049 markings/sec, 130 secs 13730 markings/sec, 135 secs 13313 markings/sec, 140 secs 12102 markings/sec, 145 secs 13341 markings/sec, 150 secs 13583 markings/sec, 155 secs 12809 markings/sec, 160 secs 11422 markings/sec, 165 secs 13481 markings/sec, 170 secs 12398 markings/sec, 175 secs 11978 markings/sec, 180 secs 11958 markings/sec, 185 secs 11739 markings/sec, 190 secs 11391 markings/sec, 195 secs 10724 markings/sec, 200 secs 10207 markings/sec, 205 secs 13641 markings/sec, 210 secs 13209 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + 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 +... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 500 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 22693 markings/sec, 0 secs 19902 markings/sec, 5 secs 19644 markings/sec, 10 secs 18957 markings/sec, 15 secs 17280 markings/sec, 20 secs 18346 markings/sec, 25 secs 19421 markings/sec, 30 secs 18551 markings/sec, 35 secs 16911 markings/sec, 40 secs 17987 markings/sec, 45 secs 18003 markings/sec, 50 secs 16122 markings/sec, 55 secs 17632 markings/sec, 60 secs 15824 markings/sec, 65 secs 16619 markings/sec, 70 secs 15441 markings/sec, 75 secs 14731 markings/sec, 80 secs 13824 markings/sec, 85 secs 19750 markings/sec, 90 secs 19124 markings/sec, 95 secs 18079 markings/sec, 100 secs 16122 markings/sec, 105 secs 19318 markings/sec, 110 secs 17381 markings/sec, 115 secs 16771 markings/sec, 120 secs 17158 markings/sec, 125 secs 16227 markings/sec, 130 secs 15749 markings/sec, 135 secs 15424 markings/sec, 140 secs 14227 markings/sec, 145 secs 15743 markings/sec, 150 secs 18334 markings/sec, 155 secs 16949 markings/sec, 160 secs 17030 markings/sec, 165 secs 16427 markings/sec, 170 secs 16550 markings/sec, 175 secs 15575 markings/sec, 180 secs 14743 markings/sec, 185 secs 14288 markings/sec, 190 secs 15885 markings/sec, 195 secs 16607 markings/sec, 200 secs 16397 markings/sec, 205 secs 15594 markings/sec, 210 secs 15036 markings/sec, 215 secs 13795 markings/sec, 220 secs 15150 markings/sec, 225 secs 15687 markings/sec, 230 secs 15254 markings/sec, 235 secs 14132 markings/sec, 240 secs 14164 markings/sec, 245 secs 15139 markings/sec, 250 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_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 21622 markings/sec, 0 secs 20128 markings/sec, 5 secs 17341 markings/sec, 10 secs 19399 markings/sec, 15 secs 17545 markings/sec, 20 secs 15972 markings/sec, 25 secs 19573 markings/sec, 30 secs 19159 markings/sec, 35 secs 17285 markings/sec, 40 secs 16089 markings/sec, 45 secs 18213 markings/sec, 50 secs 16907 markings/sec, 55 secs 16666 markings/sec, 60 secs 16620 markings/sec, 65 secs 16426 markings/sec, 70 secs 14599 markings/sec, 75 secs 15010 markings/sec, 80 secs 13592 markings/sec, 85 secs 15097 markings/sec, 90 secs 19623 markings/sec, 95 secs 17859 markings/sec, 100 secs 16054 markings/sec, 105 secs 15851 markings/sec, 110 secs 18188 markings/sec, 115 secs 16560 markings/sec, 120 secs 15743 markings/sec, 125 secs 16212 markings/sec, 130 secs 15922 markings/sec, 135 secs 15112 markings/sec, 140 secs 15408 markings/sec, 145 secs 13410 markings/sec, 150 secs 15373 markings/sec, 155 secs 17723 markings/sec, 160 secs 15836 markings/sec, 165 secs 14433 markings/sec, 170 secs 16870 markings/sec, 175 secs 15941 markings/sec, 180 secs 15613 markings/sec, 185 secs 14310 markings/sec, 190 secs 14315 markings/sec, 195 secs 14214 markings/sec, 200 secs 17387 markings/sec, 205 secs 16269 markings/sec, 210 secs 15851 markings/sec, 215 secs 15758 markings/sec, 220 secs 14824 markings/sec, 225 secs 14301 markings/sec, 230 secs 16188 markings/sec, 235 secs 15842 markings/sec, 240 secs 14873 markings/sec, 245 secs 13778 markings/sec, 250 secs 15731 markings/sec, 255 secs 14658 markings/sec, 260 secs 13805 markings/sec, 265 secs 14301 markings/sec, 270 secs 13097 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 16901 markings/sec, 0 secs 14581 markings/sec, 5 secs 14765 markings/sec, 10 secs 13678 markings/sec, 15 secs 14037 markings/sec, 20 secs 13366 markings/sec, 25 secs 12502 markings/sec, 30 secs 12910 markings/sec, 35 secs 14374 markings/sec, 40 secs 13973 markings/sec, 45 secs 13360 markings/sec, 50 secs 12703 markings/sec, 55 secs 11685 markings/sec, 60 secs 13886 markings/sec, 65 secs 13254 markings/sec, 70 secs 12265 markings/sec, 75 secs 12315 markings/sec, 80 secs 12812 markings/sec, 85 secs 11803 markings/sec, 90 secs 12259 markings/sec, 95 secs 11417 markings/sec, 100 secs 11639 markings/sec, 105 secs 10960 markings/sec, 110 secs 10617 markings/sec, 115 secs 11379 markings/sec, 120 secs 14618 markings/sec, 125 secs 13972 markings/sec, 130 secs 13361 markings/sec, 135 secs 12682 markings/sec, 140 secs 11476 markings/sec, 145 secs 13999 markings/sec, 150 secs 13124 markings/sec, 155 secs 12593 markings/sec, 160 secs 11884 markings/sec, 165 secs 12996 markings/sec, 170 secs 11809 markings/sec, 175 secs 12161 markings/sec, 180 secs 11335 markings/sec, 185 secs 11942 markings/sec, 190 secs 11064 markings/sec, 195 secs 10593 markings/sec, 200 secs 10230 markings/sec, 205 secs 13775 markings/sec, 210 secs 13221 markings/sec, 215 secs 12231 markings/sec, 220 secs 12186 markings/sec, 225 secs 12746 markings/sec, 230 secs 11566 markings/sec, 235 secs 12319 markings/sec, 240 secs 11390 markings/sec, 245 secs 11725 markings/sec, 250 secs 10753 markings/sec, 255 secs 10577 markings/sec, 260 secs 10508 markings/sec, 265 secs 13033 markings/sec, 270 secs 11932 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 22629 markings/sec, 0 secs 19717 markings/sec, 5 secs 19440 markings/sec, 10 secs 18851 markings/sec, 15 secs 17121 markings/sec, 20 secs 17849 markings/sec, 25 secs 19258 markings/sec, 30 secs 18498 markings/sec, 35 secs 16902 markings/sec, 40 secs 17404 markings/sec, 45 secs 18464 markings/sec, 50 secs 16721 markings/sec, 55 secs 17962 markings/sec, 60 secs 16141 markings/sec, 65 secs 17037 markings/sec, 70 secs 15720 markings/sec, 75 secs 15239 markings/sec, 80 secs 13557 markings/sec, 85 secs 20511 markings/sec, 90 secs 19140 markings/sec, 95 secs 18399 markings/sec, 100 secs 16942 markings/sec, 105 secs 19258 markings/sec, 110 secs 17403 markings/sec, 115 secs 17110 markings/sec, 120 secs 17103 markings/sec, 125 secs 16751 markings/sec, 130 secs 15995 markings/sec, 135 secs 15292 markings/sec, 140 secs 14176 markings/sec, 145 secs 17237 markings/sec, 150 secs 18390 markings/sec, 155 secs 16237 markings/sec, 160 secs 18088 markings/sec, 165 secs 16367 markings/sec, 170 secs 16562 markings/sec, 175 secs 15648 markings/sec, 180 secs 15231 markings/sec, 185 secs 13313 markings/sec, 190 secs 18335 markings/sec, 195 secs 16349 markings/sec, 200 secs 16387 markings/sec, 205 secs 15578 markings/sec, 210 secs 14952 markings/sec, 215 secs 13737 markings/sec, 220 secs 15832 markings/sec, 225 secs 15255 markings/sec, 230 secs 14502 markings/sec, 235 secs 13469 markings/sec, 240 secs 14943 markings/sec, 245 secs 14730 markings/sec, 250 secs 13846 markings/sec, 255 secs 14225 markings/sec, 260 secs 13260 markings/sec, 265 secs 13633 markings/sec, 270 secs 13270 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 16917 markings/sec, 0 secs 14613 markings/sec, 5 secs 14757 markings/sec, 10 secs 13698 markings/sec, 15 secs 13985 markings/sec, 20 secs 13366 markings/sec, 25 secs 12485 markings/sec, 30 secs 12926 markings/sec, 35 secs 14359 markings/sec, 40 secs 13974 markings/sec, 45 secs 13342 markings/sec, 50 secs 12683 markings/sec, 55 secs 11645 markings/sec, 60 secs 13901 markings/sec, 65 secs 13140 markings/sec, 70 secs 12404 markings/sec, 75 secs 12334 markings/sec, 80 secs 12862 markings/sec, 85 secs 11830 markings/sec, 90 secs 12284 markings/sec, 95 secs 11537 markings/sec, 100 secs 11548 markings/sec, 105 secs 11125 markings/sec, 110 secs 10722 markings/sec, 115 secs 11565 markings/sec, 120 secs 14610 markings/sec, 125 secs 14016 markings/sec, 130 secs 13407 markings/sec, 135 secs 12734 markings/sec, 140 secs 11410 markings/sec, 145 secs 14225 markings/sec, 150 secs 13276 markings/sec, 155 secs 12472 markings/sec, 160 secs 12175 markings/sec, 165 secs 12773 markings/sec, 170 secs 11921 markings/sec, 175 secs 12320 markings/sec, 180 secs 11432 markings/sec, 185 secs 11793 markings/sec, 190 secs 10963 markings/sec, 195 secs 10632 markings/sec, 200 secs 10832 markings/sec, 205 secs 12676 markings/sec, 210 secs 13590 markings/sec, 215 secs 12315 markings/sec, 220 secs 12509 markings/sec, 225 secs 12793 markings/sec, 230 secs 11387 markings/sec, 235 secs 12867 markings/sec, 240 secs 11683 markings/sec, 245 secs 11405 markings/sec, 250 secs 11307 markings/sec, 255 secs 10508 markings/sec, 260 secs 11516 markings/sec, 265 secs 12859 markings/sec, 270 secs 11837 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 15896 markings/sec, 0 secs 14866 markings/sec, 5 secs 14767 markings/sec, 10 secs 13754 markings/sec, 15 secs 14361 markings/sec, 20 secs 13426 markings/sec, 25 secs 12653 markings/sec, 30 secs 13073 markings/sec, 35 secs 14484 markings/sec, 40 secs 14152 markings/sec, 45 secs 13393 markings/sec, 50 secs 12801 markings/sec, 55 secs 11966 markings/sec, 60 secs 13704 markings/sec, 65 secs 13548 markings/sec, 70 secs 12239 markings/sec, 75 secs 12478 markings/sec, 80 secs 12847 markings/sec, 85 secs 11425 markings/sec, 90 secs 12709 markings/sec, 95 secs 11591 markings/sec, 100 secs 11350 markings/sec, 105 secs 11278 markings/sec, 110 secs 10516 markings/sec, 115 secs 12151 markings/sec, 120 secs 14439 markings/sec, 125 secs 14083 markings/sec, 130 secs 13286 markings/sec, 135 secs 12515 markings/sec, 140 secs 11553 markings/sec, 145 secs 13669 markings/sec, 150 secs 13224 markings/sec, 155 secs 12284 markings/sec, 160 secs 11945 markings/sec, 165 secs 12617 markings/sec, 170 secs 11662 markings/sec, 175 secs 12248 markings/sec, 180 secs 11208 markings/sec, 185 secs 11744 markings/sec, 190 secs 10839 markings/sec, 195 secs 10482 markings/sec, 200 secs 10416 markings/sec, 205 secs 13503 markings/sec, 210 secs 13161 markings/sec, 215 secs 12144 markings/sec, 220 secs 12058 markings/sec, 225 secs 12583 markings/sec, 230 secs 11658 markings/sec, 235 secs 12143 markings/sec, 240 secs 11175 markings/sec, 245 secs 11650 markings/sec, 250 secs 10772 markings/sec, 255 secs 10464 markings/sec, 260 secs 10217 markings/sec, 265 secs 13035 markings/sec, 270 secs 12025 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 22803 markings/sec, 0 secs 19946 markings/sec, 5 secs 19689 markings/sec, 10 secs 18835 markings/sec, 15 secs 17315 markings/sec, 20 secs 18270 markings/sec, 25 secs 19385 markings/sec, 30 secs 18471 markings/sec, 35 secs 16898 markings/sec, 40 secs 17878 markings/sec, 45 secs 17952 markings/sec, 50 secs 16119 markings/sec, 55 secs 17596 markings/sec, 60 secs 15667 markings/sec, 65 secs 16693 markings/sec, 70 secs 15576 markings/sec, 75 secs 14923 markings/sec, 80 secs 13813 markings/sec, 85 secs 19700 markings/sec, 90 secs 19039 markings/sec, 95 secs 18154 markings/sec, 100 secs 15948 markings/sec, 105 secs 19335 markings/sec, 110 secs 17589 markings/sec, 115 secs 16823 markings/sec, 120 secs 17219 markings/sec, 125 secs 16378 markings/sec, 130 secs 15837 markings/sec, 135 secs 15339 markings/sec, 140 secs 14336 markings/sec, 145 secs 15904 markings/sec, 150 secs 18249 markings/sec, 155 secs 16925 markings/sec, 160 secs 17357 markings/sec, 165 secs 16378 markings/sec, 170 secs 16596 markings/sec, 175 secs 15746 markings/sec, 180 secs 14759 markings/sec, 185 secs 14010 markings/sec, 190 secs 16478 markings/sec, 195 secs 16351 markings/sec, 200 secs 16527 markings/sec, 205 secs 15731 markings/sec, 210 secs 14763 markings/sec, 215 secs 14258 markings/sec, 220 secs 15496 markings/sec, 225 secs 15641 markings/sec, 230 secs 15200 markings/sec, 235 secs 14066 markings/sec, 240 secs 14422 markings/sec, 245 secs 15080 markings/sec, 250 secs 13909 markings/sec, 255 secs 14076 markings/sec, 260 secs 13931 markings/sec, 265 secs 13551 markings/sec, 270 secs 13126 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_no_101 + voted_no_102 + voted_no_103 + voted_no_104 + voted_no_105 + voted_no_106 + voted_no_107 + voted_no_108 + voted_no_109 + voted_no_110 + voted_no_111 + voted_no_112 + voted_no_113 + voted_no_114 + voted_no_115 + voted_no_116 + voted_no_117 + voted_no_118 + voted_no_119 + voted_no_120 + voted_no_121 + voted_no_122 + voted_no_123 + voted_no_124 + voted_no_125 + voted_... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 17014 markings/sec, 0 secs 14686 markings/sec, 5 secs 14890 markings/sec, 10 secs 13865 markings/sec, 15 secs 14054 markings/sec, 20 secs 12849 markings/sec, 25 secs 12653 markings/sec, 30 secs 13368 markings/sec, 35 secs 14527 markings/sec, 40 secs 14355 markings/sec, 45 secs 13371 markings/sec, 50 secs 12851 markings/sec, 55 secs 12436 markings/sec, 60 secs 13920 markings/sec, 65 secs 13440 markings/sec, 70 secs 12165 markings/sec, 75 secs 12806 markings/sec, 80 secs 12852 markings/sec, 85 secs 11736 markings/sec, 90 secs 12670 markings/sec, 95 secs 11626 markings/sec, 100 secs 11620 markings/sec, 105 secs 11175 markings/sec, 110 secs 10285 markings/sec, 115 secs 13356 markings/sec, 120 secs 13948 markings/sec, 125 secs 14411 markings/sec, 130 secs 13487 markings/sec, 135 secs 12661 markings/sec, 140 secs 12727 markings/sec, 145 secs 13796 markings/sec, 150 secs 13165 markings/sec, 155 secs 12074 markings/sec, 160 secs 12706 markings/sec, 165 secs 12916 markings/sec, 170 secs 11923 markings/sec, 175 secs 12334 markings/sec, 180 secs 11721 markings/sec, 185 secs 11469 markings/sec, 190 secs 10971 markings/sec, 195 secs 10202 markings/sec, 200 secs 13359 markings/sec, 205 secs 13414 markings/sec, 210 secs 12783 markings/sec, 215 secs 11699 markings/sec, 220 secs 13396 markings/sec, 225 secs 12257 markings/sec, 230 secs 12093 markings/sec, 235 secs 11865 markings/sec, 240 secs 11858 markings/sec, 245 secs 11305 markings/sec, 250 secs 10820 markings/sec, 255 secs 9802 markings/sec, 260 secs 13595 markings/sec, 265 secs 12315 markings/sec, 270 secs 11989 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + voted_yes_101 + voted_yes_102 + voted_yes_103 + voted_yes_104 + voted_yes_105 + voted_yes_106 + voted_yes_107 + voted_yes_108 + voted_yes_109 + voted_yes_110 + voted_yes_111 + voted_yes_112 + voted_yes_113 + voted_yes_114 + voted_yes_115 + voted_yes_116 + voted_yes_117 + voted_yes_118 + voted_yes_119 + voted_yes_120 + voted_yes_121 + voted_yes_122 + voted_yes_123 + voted_yes_12... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 22326 markings/sec, 0 secs 20400 markings/sec, 5 secs 20196 markings/sec, 10 secs 19326 markings/sec, 15 secs 17655 markings/sec, 20 secs 19075 markings/sec, 25 secs 19758 markings/sec, 30 secs 18745 markings/sec, 35 secs 17010 markings/sec, 40 secs 18575 markings/sec, 45 secs 18610 markings/sec, 50 secs 16734 markings/sec, 55 secs 17970 markings/sec, 60 secs 16439 markings/sec, 65 secs 16261 markings/sec, 70 secs 15882 markings/sec, 75 secs 14808 markings/sec, 80 secs 15238 markings/sec, 85 secs 18964 markings/sec, 90 secs 19546 markings/sec, 95 secs 17156 markings/sec, 100 secs 17203 markings/sec, 105 secs 17972 markings/sec, 110 secs 16727 markings/sec, 115 secs 16830 markings/sec, 120 secs 16457 markings/sec, 125 secs 16101 markings/sec, 130 secs 15900 markings/sec, 135 secs 15044 markings/sec, 140 secs 14148 markings/sec, 145 secs 16605 markings/sec, 150 secs 18303 markings/sec, 155 secs 16372 markings/sec, 160 secs 17982 markings/sec, 165 secs 16401 markings/sec, 170 secs 16591 markings/sec, 175 secs 15714 markings/sec, 180 secs 15215 markings/sec, 185 secs 13252 markings/sec, 190 secs 18453 markings/sec, 195 secs 16375 markings/sec, 200 secs 16461 markings/sec, 205 secs 15644 markings/sec, 210 secs 14962 markings/sec, 215 secs 13810 markings/sec, 220 secs 16769 markings/sec, 225 secs 15897 markings/sec, 230 secs 14994 markings/sec, 235 secs 13463 markings/sec, 240 secs 15634 markings/sec, 245 secs 14915 markings/sec, 250 secs 13542 markings/sec, 255 secs 14904 markings/sec, 260 secs 13370 markings/sec, 265 secs 13933 markings/sec, 270 secs 13369 markings/sec, 275 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + 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 +... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 500 seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 1 1 unknown unknown unknown unknown unknown unknown unknown unknown 500 1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 500 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 1 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 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 500 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-0500"
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-0500.tgz
mv Referendum-PT-0500 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-0500, 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-149581172600173"
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 ;