Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534100136.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NeoElection-COL-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534100136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 7.7K Feb 26 16:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 16:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 15:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 16:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 16:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 16:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 26 16:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 81K Mar 5 18:23 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678685725190

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeoElection-COL-4
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-13 05:35:29] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-13 05:35:29] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-13 05:35:29] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-13 05:35:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 05:35:31] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1463 ms
[2023-03-13 05:35:31] [INFO ] Detected 6 constant HL places corresponding to 870 PT places.
[2023-03-13 05:35:31] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 1830 PT places and 3990.0 transition bindings in 90 ms.
[2023-03-13 05:35:31] [INFO ] Unfolded HLPN to a Petri net with 1830 places and 1984 transitions 11141 arcs in 249 ms.
[2023-03-13 05:35:31] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 1483 places and 1206 transitions.
Reduce places removed 90 places and 309 transitions.
[2023-03-13 05:35:31] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 257 places, 469 transitions and 2499 arcs took 16 ms.
Total runtime 2242 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (COL), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 257 places, 469 transitions, 2499 arcs.
AT ITER 0 NEW BEST:: SOT 76523 SOS 39005 HAS SOPS 38479 HAS SOUS 21183 HAS SOUPS 21091 WITH SCORE 21130.005
AT ITER 2 NEW BEST:: SOT 76523 SOS 38978 HAS SOPS 38452 HAS SOUS 21167 HAS SOUPS 21075 WITH SCORE 21113.978
AT ITER 4 NEW BEST:: SOT 76523 SOS 38745 HAS SOPS 38219 HAS SOUS 21063 HAS SOUPS 20971 WITH SCORE 21009.745
AT ITER 8 NEW BEST:: SOT 76137 SOS 38784 HAS SOPS 38258 HAS SOUS 20857 HAS SOUPS 20765 WITH SCORE 20803.784
AT ITER 9 NEW BEST:: SOT 76058 SOS 40512 HAS SOPS 39986 HAS SOUS 20712 HAS SOUPS 20620 WITH SCORE 20660.512
AT ITER 18 NEW BEST:: SOT 76102 SOS 40625 HAS SOPS 40099 HAS SOUS 20575 HAS SOUPS 20483 WITH SCORE 20523.625
AT ITER 35 NEW BEST:: SOT 75922 SOS 40462 HAS SOPS 39950 HAS SOUS 20494 HAS SOUPS 20402 WITH SCORE 20442.462
AT ITER 45 NEW BEST:: SOT 75869 SOS 41957 HAS SOPS 41445 HAS SOUS 20449 HAS SOUPS 20357 WITH SCORE 20398.957
AT ITER 46 NEW BEST:: SOT 75840 SOS 41928 HAS SOPS 41424 HAS SOUS 20428 HAS SOUPS 20336 WITH SCORE 20377.928
AT ITER 58 NEW BEST:: SOT 75889 SOS 42068 HAS SOPS 41564 HAS SOUS 20427 HAS SOUPS 20335 WITH SCORE 20377.068
AT ITER 61 NEW BEST:: SOT 75940 SOS 42081 HAS SOPS 41485 HAS SOUS 20425 HAS SOUPS 20250 WITH SCORE 20292.081
AT ITER 68 NEW BEST:: SOT 75851 SOS 42036 HAS SOPS 41440 HAS SOUS 20386 HAS SOUPS 20211 WITH SCORE 20253.036
AT ITER 70 NEW BEST:: SOT 75851 SOS 42004 HAS SOPS 41408 HAS SOUS 20373 HAS SOUPS 20198 WITH SCORE 20240.004
AT ITER 87 NEW BEST:: SOT 75961 SOS 42114 HAS SOPS 41518 HAS SOUS 20369 HAS SOUPS 20194 WITH SCORE 20236.114
AT ITER 94 NEW BEST:: SOT 75922 SOS 41449 HAS SOPS 40853 HAS SOUS 20324 HAS SOUPS 20149 WITH SCORE 20190.449
AT ITER 106 NEW BEST:: SOT 75922 SOS 41449 HAS SOPS 40853 HAS SOUS 20322 HAS SOUPS 20147 WITH SCORE 20188.449
AT ITER 117 NEW BEST:: SOT 75922 SOS 40818 HAS SOPS 40222 HAS SOUS 20307 HAS SOUPS 20132 WITH SCORE 20172.818
AT ITER 124 NEW BEST:: SOT 75859 SOS 40760 HAS SOPS 40164 HAS SOUS 20249 HAS SOUPS 20074 WITH SCORE 20114.76
AT ITER 125 NEW BEST:: SOT 75859 SOS 40760 HAS SOPS 40164 HAS SOUS 20216 HAS SOUPS 20041 WITH SCORE 20081.76
AT ITER 128 NEW BEST:: SOT 75859 SOS 40709 HAS SOPS 40113 HAS SOUS 20139 HAS SOUPS 19964 WITH SCORE 20004.709
AT ITER 134 NEW BEST:: SOT 75835 SOS 40685 HAS SOPS 40081 HAS SOUS 20115 HAS SOUPS 19940 WITH SCORE 19980.685
AT ITER 138 NEW BEST:: SOT 75835 SOS 40681 HAS SOPS 40077 HAS SOUS 20115 HAS SOUPS 19940 WITH SCORE 19980.681
AT ITER 146 NEW BEST:: SOT 75740 SOS 40605 HAS SOPS 40014 HAS SOUS 20048 HAS SOUPS 19873 WITH SCORE 19913.605
AT ITER 153 NEW BEST:: SOT 75740 SOS 39357 HAS SOPS 38766 HAS SOUS 19976 HAS SOUPS 19801 WITH SCORE 19840.357
AT ITER 160 NEW BEST:: SOT 75740 SOS 39206 HAS SOPS 38615 HAS SOUS 19925 HAS SOUPS 19750 WITH SCORE 19789.206
AT ITER 161 NEW BEST:: SOT 75770 SOS 39236 HAS SOPS 38645 HAS SOUS 19910 HAS SOUPS 19735 WITH SCORE 19774.236
AT ITER 162 NEW BEST:: SOT 75770 SOS 39221 HAS SOPS 38630 HAS SOUS 19910 HAS SOUPS 19735 WITH SCORE 19774.221
AT ITER 175 NEW BEST:: SOT 75770 SOS 39177 HAS SOPS 38586 HAS SOUS 19895 HAS SOUPS 19720 WITH SCORE 19759.177
AT ITER 186 NEW BEST:: SOT 75725 SOS 39173 HAS SOPS 38582 HAS SOUS 19891 HAS SOUPS 19716 WITH SCORE 19755.173
AT ITER 199 NEW BEST:: SOT 75725 SOS 39139 HAS SOPS 38548 HAS SOUS 19847 HAS SOUPS 19672 WITH SCORE 19711.139
AT ITER 204 NEW BEST:: SOT 75679 SOS 39093 HAS SOPS 38479 HAS SOUS 19778 HAS SOUPS 19603 WITH SCORE 19642.093
AT ITER 211 NEW BEST:: SOT 75679 SOS 39093 HAS SOPS 38479 HAS SOUS 19773 HAS SOUPS 19598 WITH SCORE 19637.093
AT ITER 219 NEW BEST:: SOT 75692 SOS 39004 HAS SOPS 38390 HAS SOUS 19684 HAS SOUPS 19509 WITH SCORE 19548.004
AT ITER 222 NEW BEST:: SOT 75692 SOS 38936 HAS SOPS 38322 HAS SOUS 19477 HAS SOUPS 19302 WITH SCORE 19340.936
AT ITER 231 NEW BEST:: SOT 75692 SOS 38888 HAS SOPS 38274 HAS SOUS 19461 HAS SOUPS 19286 WITH SCORE 19324.888
AT ITER 237 NEW BEST:: SOT 75692 SOS 38790 HAS SOPS 38176 HAS SOUS 19349 HAS SOUPS 19174 WITH SCORE 19212.79
AT ITER 238 NEW BEST:: SOT 75692 SOS 38757 HAS SOPS 38143 HAS SOUS 19316 HAS SOUPS 19141 WITH SCORE 19179.757
AT ITER 243 NEW BEST:: SOT 75639 SOS 38816 HAS SOPS 38202 HAS SOUS 19210 HAS SOUPS 19035 WITH SCORE 19073.816
AT ITER 247 NEW BEST:: SOT 75636 SOS 38813 HAS SOPS 38199 HAS SOUS 19204 HAS SOUPS 19029 WITH SCORE 19067.813
AT ITER 249 NEW BEST:: SOT 75770 SOS 38938 HAS SOPS 38324 HAS SOUS 19195 HAS SOUPS 19020 WITH SCORE 19058.938
AT ITER 262 NEW BEST:: SOT 75770 SOS 38927 HAS SOPS 38313 HAS SOUS 19164 HAS SOUPS 18989 WITH SCORE 19027.927
AT ITER 271 NEW BEST:: SOT 75770 SOS 38828 HAS SOPS 38214 HAS SOUS 19157 HAS SOUPS 18982 WITH SCORE 19020.828
AT ITER 273 NEW BEST:: SOT 75770 SOS 38822 HAS SOPS 38208 HAS SOUS 19157 HAS SOUPS 18982 WITH SCORE 19020.822
AT ITER 275 NEW BEST:: SOT 75635 SOS 38700 HAS SOPS 38086 HAS SOUS 18905 HAS SOUPS 18730 WITH SCORE 18768.7
AT ITER 278 NEW BEST:: SOT 75591 SOS 38534 HAS SOPS 37920 HAS SOUS 18766 HAS SOUPS 18591 WITH SCORE 18629.534
AT ITER 281 NEW BEST:: SOT 75591 SOS 38398 HAS SOPS 37784 HAS SOUS 18766 HAS SOUPS 18591 WITH SCORE 18629.398
AT ITER 284 NEW BEST:: SOT 75524 SOS 38294 HAS SOPS 37676 HAS SOUS 18576 HAS SOUPS 18401 WITH SCORE 18439.294
AT ITER 285 NEW BEST:: SOT 75365 SOS 38135 HAS SOPS 37517 HAS SOUS 18267 HAS SOUPS 18092 WITH SCORE 18130.135
AT ITER 287 NEW BEST:: SOT 75384 SOS 38030 HAS SOPS 37412 HAS SOUS 18231 HAS SOUPS 18056 WITH SCORE 18094.03
AT ITER 298 NEW BEST:: SOT 75384 SOS 37880 HAS SOPS 37262 HAS SOUS 18181 HAS SOUPS 18006 WITH SCORE 18043.88
AT ITER 303 NEW BEST:: SOT 75335 SOS 37831 HAS SOPS 37213 HAS SOUS 18136 HAS SOUPS 17961 WITH SCORE 17998.831
AT ITER 307 NEW BEST:: SOT 75422 SOS 37744 HAS SOPS 37126 HAS SOUS 18085 HAS SOUPS 17910 WITH SCORE 17947.744
AT ITER 316 NEW BEST:: SOT 75431 SOS 36842 HAS SOPS 36224 HAS SOUS 18083 HAS SOUPS 17908 WITH SCORE 17944.842
AT ITER 328 NEW BEST:: SOT 75431 SOS 36842 HAS SOPS 36220 HAS SOUS 18079 HAS SOUPS 17904 WITH SCORE 17940.842
AT ITER 332 NEW BEST:: SOT 75431 SOS 36821 HAS SOPS 36199 HAS SOUS 18010 HAS SOUPS 17835 WITH SCORE 17871.821
AT ITER 348 NEW BEST:: SOT 75387 SOS 36777 HAS SOPS 36155 HAS SOUS 17966 HAS SOUPS 17791 WITH SCORE 17827.777
AT ITER 358 NEW BEST:: SOT 75407 SOS 36802 HAS SOPS 36180 HAS SOUS 17942 HAS SOUPS 17767 WITH SCORE 17803.802
AT ITER 368 NEW BEST:: SOT 75407 SOS 36781 HAS SOPS 36159 HAS SOUS 17921 HAS SOUPS 17746 WITH SCORE 17782.781
AT ITER 369 NEW BEST:: SOT 75396 SOS 36772 HAS SOPS 36150 HAS SOUS 17749 HAS SOUPS 17574 WITH SCORE 17610.772
AT ITER 371 NEW BEST:: SOT 75367 SOS 36743 HAS SOPS 36131 HAS SOUS 17730 HAS SOUPS 17555 WITH SCORE 17591.743
AT ITER 385 NEW BEST:: SOT 75364 SOS 36740 HAS SOPS 36128 HAS SOUS 17728 HAS SOUPS 17553 WITH SCORE 17589.74
AT ITER 387 NEW BEST:: SOT 75403 SOS 36779 HAS SOPS 36167 HAS SOUS 17716 HAS SOUPS 17541 WITH SCORE 17577.779
AT ITER 392 NEW BEST:: SOT 75363 SOS 36739 HAS SOPS 36127 HAS SOUS 17635 HAS SOUPS 17460 WITH SCORE 17496.739
AT ITER 395 NEW BEST:: SOT 75335 SOS 40873 HAS SOPS 40261 HAS SOUS 17614 HAS SOUPS 17439 WITH SCORE 17479.873
AT ITER 406 NEW BEST:: SOT 75289 SOS 41016 HAS SOPS 40404 HAS SOUS 17582 HAS SOUPS 17407 WITH SCORE 17448.016
AT ITER 417 NEW BEST:: SOT 75289 SOS 41010 HAS SOPS 40398 HAS SOUS 17518 HAS SOUPS 17343 WITH SCORE 17384.01
AT ITER 443 NEW BEST:: SOT 75289 SOS 41023 HAS SOPS 40411 HAS SOUS 17505 HAS SOUPS 17330 WITH SCORE 17371.023
AT ITER 446 NEW BEST:: SOT 75289 SOS 41011 HAS SOPS 40399 HAS SOUS 17505 HAS SOUPS 17330 WITH SCORE 17371.011
AT ITER 461 NEW BEST:: SOT 75289 SOS 40996 HAS SOPS 40384 HAS SOUS 17505 HAS SOUPS 17330 WITH SCORE 17370.996
AT ITER 477 NEW BEST:: SOT 75284 SOS 40995 HAS SOPS 40383 HAS SOUS 17504 HAS SOUPS 17329 WITH SCORE 17369.995
AT ITER 479 NEW BEST:: SOT 75281 SOS 40988 HAS SOPS 40376 HAS SOUS 17472 HAS SOUPS 17297 WITH SCORE 17337.988
AT ITER 487 NEW BEST:: SOT 75281 SOS 40988 HAS SOPS 40376 HAS SOUS 17462 HAS SOUPS 17287 WITH SCORE 17327.988
AT ITER 522 NEW BEST:: SOT 75277 SOS 40984 HAS SOPS 40368 HAS SOUS 17454 HAS SOUPS 17279 WITH SCORE 17319.984
AT ITER 540 NEW BEST:: SOT 75253 SOS 40941 HAS SOPS 40325 HAS SOUS 17406 HAS SOUPS 17231 WITH SCORE 17271.941
AT ITER 544 NEW BEST:: SOT 75216 SOS 40950 HAS SOPS 40298 HAS SOUS 17391 HAS SOUPS 17216 WITH SCORE 17256.95
AT ITER 548 NEW BEST:: SOT 75192 SOS 40869 HAS SOPS 40217 HAS SOUS 17354 HAS SOUPS 17179 WITH SCORE 17219.869
AT ITER 551 NEW BEST:: SOT 75184 SOS 40861 HAS SOPS 40209 HAS SOUS 17344 HAS SOUPS 17169 WITH SCORE 17209.861
AT ITER 562 NEW BEST:: SOT 75148 SOS 40747 HAS SOPS 40095 HAS SOUS 17327 HAS SOUPS 17152 WITH SCORE 17192.747
AT ITER 563 NEW BEST:: SOT 75350 SOS 40403 HAS SOPS 39751 HAS SOUS 17314 HAS SOUPS 17139 WITH SCORE 17179.403
AT ITER 570 NEW BEST:: SOT 75350 SOS 40397 HAS SOPS 39745 HAS SOUS 17308 HAS SOUPS 17133 WITH SCORE 17173.397
AT ITER 586 NEW BEST:: SOT 75346 SOS 40393 HAS SOPS 39741 HAS SOUS 17304 HAS SOUPS 17129 WITH SCORE 17169.393
AT ITER 593 NEW BEST:: SOT 75360 SOS 40404 HAS SOPS 39752 HAS SOUS 17293 HAS SOUPS 17118 WITH SCORE 17158.404
AT ITER 608 NEW BEST:: SOT 75403 SOS 40447 HAS SOPS 39795 HAS SOUS 17282 HAS SOUPS 17107 WITH SCORE 17147.447
AT ITER 615 NEW BEST:: SOT 75499 SOS 40478 HAS SOPS 39826 HAS SOUS 17270 HAS SOUPS 17095 WITH SCORE 17135.478
AT ITER 621 NEW BEST:: SOT 75501 SOS 40478 HAS SOPS 39826 HAS SOUS 17268 HAS SOUPS 17093 WITH SCORE 17133.478
AT ITER 632 NEW BEST:: SOT 75497 SOS 40470 HAS SOPS 39818 HAS SOUS 17260 HAS SOUPS 17085 WITH SCORE 17125.47
AT ITER 641 NEW BEST:: SOT 75498 SOS 40473 HAS SOPS 39820 HAS SOUS 17259 HAS SOUPS 17084 WITH SCORE 17124.473
AT ITER 653 NEW BEST:: SOT 75517 SOS 40488 HAS SOPS 39835 HAS SOUS 17255 HAS SOUPS 17080 WITH SCORE 17120.488
AT ITER 680 NEW BEST:: SOT 75517 SOS 40488 HAS SOPS 39835 HAS SOUS 17249 HAS SOUPS 17074 WITH SCORE 17114.488
AT ITER 683 NEW BEST:: SOT 75465 SOS 40434 HAS SOPS 39793 HAS SOUS 17245 HAS SOUPS 17070 WITH SCORE 17110.434
AT ITER 686 NEW BEST:: SOT 75456 SOS 40425 HAS SOPS 39784 HAS SOUS 17236 HAS SOUPS 17061 WITH SCORE 17101.425
AT ITER 689 NEW BEST:: SOT 75456 SOS 40416 HAS SOPS 39775 HAS SOUS 17236 HAS SOUPS 17061 WITH SCORE 17101.416
AT ITER 711 NEW BEST:: SOT 75454 SOS 40407 HAS SOPS 39766 HAS SOUS 17234 HAS SOUPS 17059 WITH SCORE 17099.407
AT ITER 715 NEW BEST:: SOT 75448 SOS 40401 HAS SOPS 39760 HAS SOUS 17234 HAS SOUPS 17059 WITH SCORE 17099.401
AT ITER 735 NEW BEST:: SOT 75432 SOS 40385 HAS SOPS 39744 HAS SOUS 17218 HAS SOUPS 17043 WITH SCORE 17083.385
AT ITER 736 NEW BEST:: SOT 75441 SOS 40385 HAS SOPS 39717 HAS SOUS 17191 HAS SOUPS 17016 WITH SCORE 17056.385
AT ITER 739 NEW BEST:: SOT 75360 SOS 40268 HAS SOPS 39600 HAS SOUS 17033 HAS SOUPS 16858 WITH SCORE 16898.268
AT ITER 745 NEW BEST:: SOT 75346 SOS 40254 HAS SOPS 39584 HAS SOUS 16993 HAS SOUPS 16818 WITH SCORE 16858.254
AT ITER 747 NEW BEST:: SOT 75261 SOS 40269 HAS SOPS 39599 HAS SOUS 16836 HAS SOUPS 16661 WITH SCORE 16701.269
AT ITER 775 NEW BEST:: SOT 75236 SOS 40244 HAS SOPS 39574 HAS SOUS 16782 HAS SOUPS 16607 WITH SCORE 16647.244
AT ITER 782 NEW BEST:: SOT 75236 SOS 40232 HAS SOPS 39562 HAS SOUS 16782 HAS SOUPS 16607 WITH SCORE 16647.232
AT ITER 783 NEW BEST:: SOT 75176 SOS 40181 HAS SOPS 39491 HAS SOUS 16711 HAS SOUPS 16536 WITH SCORE 16576.181
AT ITER 791 NEW BEST:: SOT 75177 SOS 40149 HAS SOPS 39459 HAS SOUS 16696 HAS SOUPS 16521 WITH SCORE 16561.149
AT ITER 818 NEW BEST:: SOT 75177 SOS 40149 HAS SOPS 39459 HAS SOUS 16690 HAS SOUPS 16515 WITH SCORE 16555.149
AT ITER 826 NEW BEST:: SOT 75125 SOS 39974 HAS SOPS 39458 HAS SOUS 16506 HAS SOUPS 16376 WITH SCORE 16415.974
AT ITER 835 NEW BEST:: SOT 75125 SOS 39879 HAS SOPS 39363 HAS SOUS 16487 HAS SOUPS 16357 WITH SCORE 16396.879
AT ITER 843 NEW BEST:: SOT 75150 SOS 39707 HAS SOPS 39383 HAS SOUS 15914 HAS SOUPS 15837 WITH SCORE 15876.707
AT ITER 845 NEW BEST:: SOT 75107 SOS 39650 HAS SOPS 39326 HAS SOUS 15842 HAS SOUPS 15765 WITH SCORE 15804.65
AT ITER 856 NEW BEST:: SOT 75098 SOS 39627 HAS SOPS 39303 HAS SOUS 15835 HAS SOUPS 15758 WITH SCORE 15797.627
AT ITER 862 NEW BEST:: SOT 75098 SOS 39569 HAS SOPS 39245 HAS SOUS 15835 HAS SOUPS 15758 WITH SCORE 15797.569
AT ITER 868 NEW BEST:: SOT 75098 SOS 39586 HAS SOPS 39274 HAS SOUS 15834 HAS SOUPS 15757 WITH SCORE 15796.586
AT ITER 870 NEW BEST:: SOT 75047 SOS 39539 HAS SOPS 39227 HAS SOUS 15791 HAS SOUPS 15714 WITH SCORE 15753.539
AT ITER 881 NEW BEST:: SOT 75047 SOS 39553 HAS SOPS 39241 HAS SOUS 15640 HAS SOUPS 15563 WITH SCORE 15602.553
AT ITER 884 NEW BEST:: SOT 75047 SOS 39552 HAS SOPS 39240 HAS SOUS 15639 HAS SOUPS 15562 WITH SCORE 15601.552
AT ITER 892 NEW BEST:: SOT 75101 SOS 39588 HAS SOPS 39276 HAS SOUS 15537 HAS SOUPS 15460 WITH SCORE 15499.588
AT ITER 897 NEW BEST:: SOT 75101 SOS 39588 HAS SOPS 39276 HAS SOUS 15534 HAS SOUPS 15457 WITH SCORE 15496.588
AT ITER 901 NEW BEST:: SOT 75116 SOS 39602 HAS SOPS 39290 HAS SOUS 15503 HAS SOUPS 15426 WITH SCORE 15465.602
AT ITER 902 NEW BEST:: SOT 75088 SOS 39664 HAS SOPS 39352 HAS SOUS 15481 HAS SOUPS 15404 WITH SCORE 15443.664
AT ITER 914 NEW BEST:: SOT 75088 SOS 39617 HAS SOPS 39305 HAS SOUS 15481 HAS SOUPS 15404 WITH SCORE 15443.617
AT ITER 925 NEW BEST:: SOT 75075 SOS 39671 HAS SOPS 39359 HAS SOUS 15442 HAS SOUPS 15365 WITH SCORE 15404.671
AT ITER 945 NEW BEST:: SOT 74999 SOS 39141 HAS SOPS 38876 HAS SOUS 15284 HAS SOUPS 15225 WITH SCORE 15264.141
AT ITER 954 NEW BEST:: SOT 74995 SOS 39133 HAS SOPS 38868 HAS SOUS 15276 HAS SOUPS 15217 WITH SCORE 15256.133
AT ITER 960 NEW BEST:: SOT 74995 SOS 39095 HAS SOPS 38830 HAS SOUS 15274 HAS SOUPS 15215 WITH SCORE 15254.095
AT ITER 962 NEW BEST:: SOT 74995 SOS 39095 HAS SOPS 38830 HAS SOUS 15236 HAS SOUPS 15177 WITH SCORE 15216.095
AT ITER 1002 NEW BEST:: SOT 74995 SOS 39109 HAS SOPS 38844 HAS SOUS 15199 HAS SOUPS 15140 WITH SCORE 15179.109
AT ITER 1012 NEW BEST:: SOT 74997 SOS 39111 HAS SOPS 38846 HAS SOUS 15195 HAS SOUPS 15136 WITH SCORE 15175.111
AT ITER 1026 NEW BEST:: SOT 74976 SOS 39095 HAS SOPS 38830 HAS SOUS 15179 HAS SOUPS 15120 WITH SCORE 15159.095
AT ITER 1046 NEW BEST:: SOT 74986 SOS 39105 HAS SOPS 38840 HAS SOUS 15154 HAS SOUPS 15095 WITH SCORE 15134.105
AT ITER 1060 NEW BEST:: SOT 74975 SOS 39094 HAS SOPS 38829 HAS SOUS 15132 HAS SOUPS 15073 WITH SCORE 15112.094
AT ITER 1065 NEW BEST:: SOT 74969 SOS 39088 HAS SOPS 38823 HAS SOUS 15132 HAS SOUPS 15073 WITH SCORE 15112.088
AT ITER 1068 NEW BEST:: SOT 74960 SOS 39079 HAS SOPS 38814 HAS SOUS 15129 HAS SOUPS 15070 WITH SCORE 15109.079
AT ITER 1075 NEW BEST:: SOT 74960 SOS 38947 HAS SOPS 38682 HAS SOUS 15123 HAS SOUPS 15064 WITH SCORE 15102.947
AT ITER 1077 NEW BEST:: SOT 74956 SOS 38943 HAS SOPS 38678 HAS SOUS 15119 HAS SOUPS 15060 WITH SCORE 15098.943
AT ITER 1097 NEW BEST:: SOT 74956 SOS 39015 HAS SOPS 38750 HAS SOUS 15098 HAS SOUPS 15039 WITH SCORE 15078.015
AT ITER 1118 NEW BEST:: SOT 74951 SOS 38956 HAS SOPS 38691 HAS SOUS 15058 HAS SOUPS 14999 WITH SCORE 15037.956
AT ITER 1133 NEW BEST:: SOT 74932 SOS 38919 HAS SOPS 38654 HAS SOUS 15039 HAS SOUPS 14980 WITH SCORE 15018.919
AT ITER 1145 NEW BEST:: SOT 74932 SOS 38921 HAS SOPS 38656 HAS SOUS 15038 HAS SOUPS 14979 WITH SCORE 15017.921
AT ITER 1157 NEW BEST:: SOT 74915 SOS 38797 HAS SOPS 38591 HAS SOUS 14685 HAS SOUPS 14640 WITH SCORE 14678.797
AT ITER 1158 NEW BEST:: SOT 74996 SOS 38878 HAS SOPS 38672 HAS SOUS 14682 HAS SOUPS 14637 WITH SCORE 14675.878
AT ITER 1162 NEW BEST:: SOT 74996 SOS 38878 HAS SOPS 38672 HAS SOUS 14679 HAS SOUPS 14634 WITH SCORE 14672.878
AT ITER 1177 NEW BEST:: SOT 74995 SOS 38878 HAS SOPS 38672 HAS SOUS 14678 HAS SOUPS 14633 WITH SCORE 14671.878
AT ITER 1228 NEW BEST:: SOT 74995 SOS 38881 HAS SOPS 38675 HAS SOUS 14669 HAS SOUPS 14624 WITH SCORE 14662.881
AT ITER 1231 NEW BEST:: SOT 74944 SOS 38541 HAS SOPS 38335 HAS SOUS 14447 HAS SOUPS 14402 WITH SCORE 14440.541
AT ITER 1238 NEW BEST:: SOT 74923 SOS 38499 HAS SOPS 38286 HAS SOUS 14439 HAS SOUPS 14394 WITH SCORE 14432.499
AT ITER 1253 NEW BEST:: SOT 74871 SOS 38395 HAS SOPS 38182 HAS SOUS 14380 HAS SOUPS 14335 WITH SCORE 14373.395
AT ITER 1261 NEW BEST:: SOT 74871 SOS 38398 HAS SOPS 38185 HAS SOUS 14362 HAS SOUPS 14317 WITH SCORE 14355.398
AT ITER 1279 NEW BEST:: SOT 74760 SOS 39320 HAS SOPS 39107 HAS SOUS 14249 HAS SOUPS 14204 WITH SCORE 14243.32
AT ITER 1291 NEW BEST:: SOT 74776 SOS 39277 HAS SOPS 39064 HAS SOUS 14226 HAS SOUPS 14181 WITH SCORE 14220.277
AT ITER 1293 NEW BEST:: SOT 74725 SOS 39100 HAS SOPS 38866 HAS SOUS 14152 HAS SOUPS 14107 WITH SCORE 14146.1
AT ITER 1295 NEW BEST:: SOT 74694 SOS 39066 HAS SOPS 38832 HAS SOUS 14135 HAS SOUPS 14090 WITH SCORE 14129.066
AT ITER 1319 NEW BEST:: SOT 74679 SOS 39064 HAS SOPS 38830 HAS SOUS 14135 HAS SOUPS 14090 WITH SCORE 14129.064
AT ITER 1322 NEW BEST:: SOT 74683 SOS 39068 HAS SOPS 38834 HAS SOUS 14131 HAS SOUPS 14086 WITH SCORE 14125.068
AT ITER 1356 NEW BEST:: SOT 74744 SOS 39117 HAS SOPS 38883 HAS SOUS 14109 HAS SOUPS 14064 WITH SCORE 14103.117
AT ITER 1368 NEW BEST:: SOT 74749 SOS 39109 HAS SOPS 38875 HAS SOUS 14106 HAS SOUPS 14061 WITH SCORE 14100.109
AT ITER 1376 NEW BEST:: SOT 74747 SOS 39107 HAS SOPS 38873 HAS SOUS 14104 HAS SOUPS 14059 WITH SCORE 14098.107
AT ITER 1380 NEW BEST:: SOT 74735 SOS 39103 HAS SOPS 38869 HAS SOUS 14091 HAS SOUPS 14046 WITH SCORE 14085.103
AT ITER 1403 NEW BEST:: SOT 74749 SOS 38892 HAS SOPS 38623 HAS SOUS 14031 HAS SOUPS 13986 WITH SCORE 14024.892
AT ITER 1414 NEW BEST:: SOT 74749 SOS 38885 HAS SOPS 38616 HAS SOUS 14024 HAS SOUPS 13979 WITH SCORE 14017.885
AT ITER 1418 NEW BEST:: SOT 74733 SOS 38845 HAS SOPS 38568 HAS SOUS 13998 HAS SOUPS 13953 WITH SCORE 13991.845
AT ITER 1440 NEW BEST:: SOT 74726 SOS 38783 HAS SOPS 38506 HAS SOUS 13973 HAS SOUPS 13928 WITH SCORE 13966.783
AT ITER 1453 NEW BEST:: SOT 74706 SOS 39272 HAS SOPS 38995 HAS SOUS 13952 HAS SOUPS 13907 WITH SCORE 13946.272
AT ITER 1458 NEW BEST:: SOT 74706 SOS 39275 HAS SOPS 38998 HAS SOUS 13940 HAS SOUPS 13895 WITH SCORE 13934.275
AT ITER 1472 NEW BEST:: SOT 74635 SOS 39288 HAS SOPS 39021 HAS SOUS 13860 HAS SOUPS 13824 WITH SCORE 13863.288
AT ITER 1479 NEW BEST:: SOT 74605 SOS 39254 HAS SOPS 38987 HAS SOUS 13846 HAS SOUPS 13810 WITH SCORE 13849.254
AT ITER 1495 NEW BEST:: SOT 74023 SOS 50416 HAS SOPS 50416 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13550.416
AT ITER 1496 NEW BEST:: SOT 74220 SOS 50613 HAS SOPS 50613 HAS SOUS 13145 HAS SOUPS 13145 WITH SCORE 13195.613
AT ITER 1521 NEW BEST:: SOT 74221 SOS 50611 HAS SOPS 50611 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13194.611
AT ITER 1527 NEW BEST:: SOT 74234 SOS 50552 HAS SOPS 50552 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13184.552
AT ITER 1539 NEW BEST:: SOT 74224 SOS 50556 HAS SOPS 50556 HAS SOUS 13124 HAS SOUPS 13124 WITH SCORE 13174.556
AT ITER 1540 NEW BEST:: SOT 74190 SOS 50522 HAS SOPS 50522 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13134.522
AT ITER 1541 NEW BEST:: SOT 74132 SOS 50464 HAS SOPS 50464 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13126.464
AT ITER 1550 NEW BEST:: SOT 74127 SOS 50454 HAS SOPS 50454 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13111.454
AT ITER 1556 NEW BEST:: SOT 74127 SOS 50463 HAS SOPS 50463 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13101.463
AT ITER 1561 NEW BEST:: SOT 74120 SOS 50456 HAS SOPS 50456 HAS SOUS 13044 HAS SOUPS 13044 WITH SCORE 13094.456
AT ITER 1569 NEW BEST:: SOT 74120 SOS 50456 HAS SOPS 50456 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13050.456
AT ITER 1579 NEW BEST:: SOT 74120 SOS 50413 HAS SOPS 50413 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13050.413
AT ITER 1593 NEW BEST:: SOT 73909 SOS 50202 HAS SOPS 50202 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 13013.202
AT ITER 1606 NEW BEST:: SOT 73909 SOS 50202 HAS SOPS 50202 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12994.202
AT ITER 1607 NEW BEST:: SOT 73890 SOS 50183 HAS SOPS 50183 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12975.183
AT ITER 1612 NEW BEST:: SOT 73882 SOS 50175 HAS SOPS 50175 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12975.175
AT ITER 1625 NEW BEST:: SOT 73887 SOS 50165 HAS SOPS 50165 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12970.165
AT ITER 1626 NEW BEST:: SOT 73957 SOS 50235 HAS SOPS 50235 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12967.235
AT ITER 1637 NEW BEST:: SOT 73954 SOS 50232 HAS SOPS 50232 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12967.232
AT ITER 1641 NEW BEST:: SOT 73983 SOS 50261 HAS SOPS 50261 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12966.261
AT ITER 1662 NEW BEST:: SOT 73983 SOS 50434 HAS SOPS 50434 HAS SOUS 12849 HAS SOUPS 12849 WITH SCORE 12899.434
AT ITER 1664 NEW BEST:: SOT 73983 SOS 49721 HAS SOPS 49721 HAS SOUS 12844 HAS SOUPS 12844 WITH SCORE 12893.721
AT ITER 1668 NEW BEST:: SOT 73960 SOS 49698 HAS SOPS 49698 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12870.698
AT ITER 1679 NEW BEST:: SOT 73960 SOS 49628 HAS SOPS 49628 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12870.628
AT ITER 1698 NEW BEST:: SOT 74014 SOS 49682 HAS SOPS 49682 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12860.682
AT ITER 1705 NEW BEST:: SOT 74019 SOS 49692 HAS SOPS 49692 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12850.692
AT ITER 1707 NEW BEST:: SOT 74019 SOS 49632 HAS SOPS 49632 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12815.632
AT ITER 1722 NEW BEST:: SOT 73978 SOS 49591 HAS SOPS 49591 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12801.591
AT ITER 1731 NEW BEST:: SOT 73975 SOS 49426 HAS SOPS 49426 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12796.426
AT ITER 1787 NEW BEST:: SOT 73975 SOS 49440 HAS SOPS 49440 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12760.44
AT ITER 1825 NEW BEST:: SOT 73964 SOS 49438 HAS SOPS 49438 HAS SOUS 12709 HAS SOUPS 12709 WITH SCORE 12758.438
AT ITER 1844 NEW BEST:: SOT 73919 SOS 49393 HAS SOPS 49393 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12695.393
AT ITER 1851 NEW BEST:: SOT 73956 SOS 49377 HAS SOPS 49377 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12679.377
AT ITER 1863 NEW BEST:: SOT 73956 SOS 49377 HAS SOPS 49377 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12678.377
AT ITER 1895 NEW BEST:: SOT 73939 SOS 49360 HAS SOPS 49360 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12658.36
AT ITER 1900 NEW BEST:: SOT 73903 SOS 49310 HAS SOPS 49310 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12644.31
AT ITER 1910 NEW BEST:: SOT 73899 SOS 49302 HAS SOPS 49302 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12644.302
AT ITER 1917 NEW BEST:: SOT 73899 SOS 49302 HAS SOPS 49302 HAS SOUS 12576 HAS SOUPS 12576 WITH SCORE 12625.302
AT ITER 1936 NEW BEST:: SOT 73899 SOS 49299 HAS SOPS 49299 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12622.299
AT ITER 1954 NEW BEST:: SOT 73889 SOS 49289 HAS SOPS 49289 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12620.289
AT ITER 1966 NEW BEST:: SOT 73902 SOS 49303 HAS SOPS 49303 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12538.303
AT ITER 2061 NEW BEST:: SOT 73896 SOS 49317 HAS SOPS 49317 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12512.317
AT ITER 2062 NEW BEST:: SOT 73887 SOS 49290 HAS SOPS 49290 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12494.29
AT ITER 2068 NEW BEST:: SOT 73878 SOS 49276 HAS SOPS 49276 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12480.276
AT ITER 2085 NEW BEST:: SOT 73878 SOS 47076 HAS SOPS 47076 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12474.076
AT ITER 2093 NEW BEST:: SOT 73925 SOS 47129 HAS SOPS 47129 HAS SOUS 12423 HAS SOUPS 12423 WITH SCORE 12470.129
AT ITER 2098 NEW BEST:: SOT 73883 SOS 47087 HAS SOPS 47087 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12428.087
AT ITER 2100 NEW BEST:: SOT 73883 SOS 47073 HAS SOPS 47073 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12414.073
AT ITER 2102 NEW BEST:: SOT 73883 SOS 47073 HAS SOPS 47073 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12412.073
AT ITER 2110 NEW BEST:: SOT 73997 SOS 47158 HAS SOPS 47158 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12395.158
AT ITER 2115 NEW BEST:: SOT 73951 SOS 47112 HAS SOPS 47112 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12332.112
AT ITER 2150 NEW BEST:: SOT 73942 SOS 47103 HAS SOPS 47103 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12321.103
AT ITER 2185 NEW BEST:: SOT 73938 SOS 47099 HAS SOPS 47099 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12321.099
AT ITER 2219 NEW BEST:: SOT 73936 SOS 47097 HAS SOPS 47097 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12319.097
AT ITER 2227 NEW BEST:: SOT 73936 SOS 47097 HAS SOPS 47097 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12314.097
AT ITER 2230 NEW BEST:: SOT 73933 SOS 47092 HAS SOPS 47092 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12308.092
AT ITER 2232 NEW BEST:: SOT 73932 SOS 47132 HAS SOPS 47132 HAS SOUS 12259 HAS SOUPS 12259 WITH SCORE 12306.132
AT ITER 2251 NEW BEST:: SOT 73917 SOS 47117 HAS SOPS 47117 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12231.117
AT ITER 2262 NEW BEST:: SOT 73917 SOS 47105 HAS SOPS 47105 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12227.105
AT ITER 2281 NEW BEST:: SOT 73725 SOS 46913 HAS SOPS 46913 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12193.913
AT ITER 2287 NEW BEST:: SOT 73717 SOS 48105 HAS SOPS 48105 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12179.105
AT ITER 2288 NEW BEST:: SOT 73730 SOS 48147 HAS SOPS 48147 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12171.147
AT ITER 2297 NEW BEST:: SOT 73702 SOS 48119 HAS SOPS 48119 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12171.119
AT ITER 2333 NEW BEST:: SOT 73702 SOS 48119 HAS SOPS 48119 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12159.119
AT ITER 2339 NEW BEST:: SOT 73724 SOS 48141 HAS SOPS 48141 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12130.141
AT ITER 2349 NEW BEST:: SOT 73754 SOS 48123 HAS SOPS 48123 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12112.123
AT ITER 2367 NEW BEST:: SOT 73747 SOS 48116 HAS SOPS 48116 HAS SOUS 12057 HAS SOUPS 12057 WITH SCORE 12105.116
AT ITER 2371 NEW BEST:: SOT 73753 SOS 48130 HAS SOPS 48130 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12102.13
AT ITER 2374 NEW BEST:: SOT 73697 SOS 48074 HAS SOPS 48074 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12091.074
AT ITER 2417 NEW BEST:: SOT 73697 SOS 49374 HAS SOPS 49374 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12079.374
AT ITER 2422 NEW BEST:: SOT 73751 SOS 49158 HAS SOPS 49158 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12079.158
AT ITER 2431 NEW BEST:: SOT 73751 SOS 49149 HAS SOPS 49149 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12070.149
AT ITER 2509 NEW BEST:: SOT 73716 SOS 49114 HAS SOPS 49114 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12043.114
AT ITER 2559 NEW BEST:: SOT 73820 SOS 49259 HAS SOPS 49259 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12033.259
AT ITER 2562 NEW BEST:: SOT 73814 SOS 49253 HAS SOPS 49253 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 12021.253
AT ITER 2563 NEW BEST:: SOT 73803 SOS 49242 HAS SOPS 49242 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11987.242
AT ITER 2588 NEW BEST:: SOT 73803 SOS 49220 HAS SOPS 49220 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11947.22
AT ITER 2596 NEW BEST:: SOT 73825 SOS 49230 HAS SOPS 49230 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11924.23
AT ITER 2635 NEW BEST:: SOT 73792 SOS 49197 HAS SOPS 49197 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11924.197
AT ITER 2643 NEW BEST:: SOT 73743 SOS 49148 HAS SOPS 49148 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11875.148
AT ITER 2659 NEW BEST:: SOT 73663 SOS 44868 HAS SOPS 44868 HAS SOUS 11759 HAS SOUPS 11759 WITH SCORE 11803.868
AT ITER 2703 NEW BEST:: SOT 73643 SOS 47062 HAS SOPS 47062 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11793.062
AT ITER 2704 NEW BEST:: SOT 73641 SOS 47060 HAS SOPS 47060 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11792.06
AT ITER 2719 NEW BEST:: SOT 73679 SOS 47098 HAS SOPS 47098 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11791.098
AT ITER 2723 NEW BEST:: SOT 73679 SOS 47059 HAS SOPS 47059 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11791.059
AT ITER 2758 NEW BEST:: SOT 73824 SOS 47204 HAS SOPS 47204 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11781.204
AT ITER 2763 NEW BEST:: SOT 73823 SOS 47202 HAS SOPS 47202 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11781.202
AT ITER 2764 NEW BEST:: SOT 73802 SOS 43755 HAS SOPS 43755 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11756.755
AT ITER 2803 NEW BEST:: SOT 73802 SOS 43743 HAS SOPS 43743 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11744.743
AT ITER 2813 NEW BEST:: SOT 73788 SOS 43760 HAS SOPS 43760 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11735.76
AT ITER 2818 NEW BEST:: SOT 73674 SOS 44373 HAS SOPS 44373 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11634.373
AT ITER 2827 NEW BEST:: SOT 73643 SOS 45348 HAS SOPS 45348 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11632.348
AT ITER 2830 NEW BEST:: SOT 73620 SOS 45295 HAS SOPS 45295 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11535.295
AT ITER 2832 NEW BEST:: SOT 73635 SOS 45322 HAS SOPS 45322 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11528.322
AT ITER 2841 NEW BEST:: SOT 73629 SOS 45316 HAS SOPS 45316 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11528.316
AT ITER 2842 NEW BEST:: SOT 73629 SOS 45310 HAS SOPS 45310 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11526.31
AT ITER 2854 NEW BEST:: SOT 73683 SOS 45364 HAS SOPS 45364 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11508.364
AT ITER 2877 NEW BEST:: SOT 73683 SOS 45364 HAS SOPS 45364 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11498.364
AT ITER 2886 NEW BEST:: SOT 73665 SOS 45346 HAS SOPS 45346 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11493.346
AT ITER 2947 NEW BEST:: SOT 73634 SOS 45315 HAS SOPS 45315 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11485.315
AT ITER 2985 NEW BEST:: SOT 73619 SOS 45300 HAS SOPS 45300 HAS SOUS 11425 HAS SOUPS 11425 WITH SCORE 11470.3
AT ITER 2998 NEW BEST:: SOT 73574 SOS 45251 HAS SOPS 45251 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11436.251
AT ITER 3015 NEW BEST:: SOT 73574 SOS 45251 HAS SOPS 45251 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11428.251
AT ITER 3093 NEW BEST:: SOT 73562 SOS 45242 HAS SOPS 45242 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11407.242
AT ITER 3095 NEW BEST:: SOT 73562 SOS 45234 HAS SOPS 45234 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11399.234
AT ITER 3098 NEW BEST:: SOT 73562 SOS 45245 HAS SOPS 45245 HAS SOUS 11329 HAS SOUPS 11329 WITH SCORE 11374.245
AT ITER 3146 NEW BEST:: SOT 73562 SOS 45238 HAS SOPS 45238 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11367.238
AT ITER 3215 NEW BEST:: SOT 73541 SOS 45217 HAS SOPS 45217 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11355.217
AT ITER 3219 NEW BEST:: SOT 73564 SOS 45214 HAS SOPS 45214 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11352.214
AT ITER 3220 NEW BEST:: SOT 73554 SOS 45212 HAS SOPS 45212 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11350.212
AT ITER 3230 NEW BEST:: SOT 73553 SOS 45213 HAS SOPS 45213 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11348.213
AT ITER 3259 NEW BEST:: SOT 73555 SOS 45215 HAS SOPS 45215 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11336.215
AT ITER 3319 NEW BEST:: SOT 73552 SOS 45200 HAS SOPS 45200 HAS SOUS 11290 HAS SOUPS 11290 WITH SCORE 11335.2
AT ITER 3321 NEW BEST:: SOT 73552 SOS 45196 HAS SOPS 45196 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11320.196
AT ITER 3341 NEW BEST:: SOT 73552 SOS 45191 HAS SOPS 45191 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11320.191
AT ITER 3369 NEW BEST:: SOT 73539 SOS 45178 HAS SOPS 45178 HAS SOUS 11262 HAS SOUPS 11262 WITH SCORE 11307.178
AT ITER 3384 NEW BEST:: SOT 73538 SOS 45176 HAS SOPS 45176 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11306.176
AT ITER 3423 NEW BEST:: SOT 73486 SOS 45142 HAS SOPS 45142 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11280.142
AT ITER 3443 NEW BEST:: SOT 73486 SOS 45142 HAS SOPS 45142 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11277.142
AT ITER 3556 NEW BEST:: SOT 73459 SOS 45119 HAS SOPS 45119 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11257.119
AT ITER 3603 NEW BEST:: SOT 73449 SOS 45109 HAS SOPS 45109 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11257.109
AT ITER 3615 NEW BEST:: SOT 73449 SOS 45133 HAS SOPS 45133 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11218.133
AT ITER 3641 NEW BEST:: SOT 73449 SOS 45131 HAS SOPS 45131 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11213.131
AT ITER 3680 NEW BEST:: SOT 73449 SOS 45131 HAS SOPS 45131 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11205.131
AT ITER 3745 NEW BEST:: SOT 73454 SOS 45126 HAS SOPS 45126 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11205.126
AT ITER 3748 NEW BEST:: SOT 73441 SOS 45121 HAS SOPS 45121 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11205.121
AT ITER 3759 NEW BEST:: SOT 73428 SOS 45108 HAS SOPS 45108 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11200.108
AT ITER 3833 NEW BEST:: SOT 73453 SOS 45068 HAS SOPS 45068 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11195.068
AT ITER 3888 NEW BEST:: SOT 73429 SOS 45056 HAS SOPS 45056 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11192.056
AT ITER 3916 NEW BEST:: SOT 73426 SOS 45053 HAS SOPS 45053 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11189.053
AT ITER 3922 NEW BEST:: SOT 73367 SOS 44994 HAS SOPS 44994 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11176.994
AT ITER 3938 NEW BEST:: SOT 73367 SOS 44994 HAS SOPS 44994 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11151.994
AT ITER 3949 NEW BEST:: SOT 73367 SOS 45008 HAS SOPS 45008 HAS SOUS 11093 HAS SOUPS 11093 WITH SCORE 11138.008
AT ITER 3972 NEW BEST:: SOT 73357 SOS 45028 HAS SOPS 45028 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11133.028
AT ITER 4001 NEW BEST:: SOT 73381 SOS 45044 HAS SOPS 45044 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11125.044
AT ITER 4055 NEW BEST:: SOT 73381 SOS 45044 HAS SOPS 45044 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11123.044
AT ITER 4062 NEW BEST:: SOT 73352 SOS 45015 HAS SOPS 45015 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11123.015
AT ITER 4096 NEW BEST:: SOT 73341 SOS 45004 HAS SOPS 45004 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11106.004
AT ITER 4121 NEW BEST:: SOT 73342 SOS 45005 HAS SOPS 45005 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11105.005
AT ITER 4170 NEW BEST:: SOT 73352 SOS 45027 HAS SOPS 45027 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11102.027
AT ITER 4179 NEW BEST:: SOT 73351 SOS 45033 HAS SOPS 45033 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11089.033
AT ITER 4182 NEW BEST:: SOT 73344 SOS 45076 HAS SOPS 45076 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11082.076
AT ITER 4298 NEW BEST:: SOT 73338 SOS 45070 HAS SOPS 45070 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11076.07
AT ITER 4363 NEW BEST:: SOT 73324 SOS 45112 HAS SOPS 45112 HAS SOUS 11017 HAS SOUPS 11017 WITH SCORE 11062.112
AT ITER 4436 NEW BEST:: SOT 73324 SOS 45121 HAS SOPS 45121 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11053.121
AT ITER 4470 NEW BEST:: SOT 73314 SOS 45112 HAS SOPS 45112 HAS SOUS 10999 HAS SOUPS 10999 WITH SCORE 11044.112
AT ITER 4501 NEW BEST:: SOT 73283 SOS 45081 HAS SOPS 45081 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11040.081
AT ITER 4505 NEW BEST:: SOT 73289 SOS 45087 HAS SOPS 45087 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 11020.087
AT ITER 4571 NEW BEST:: SOT 73274 SOS 45072 HAS SOPS 45072 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 11005.072
AT ITER 4579 NEW BEST:: SOT 73277 SOS 44066 HAS SOPS 44066 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10988.066
AT ITER 4620 NEW BEST:: SOT 73271 SOS 44060 HAS SOPS 44060 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10988.06
AT ITER 4626 NEW BEST:: SOT 73271 SOS 44079 HAS SOPS 44079 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10974.079
AT ITER 4637 NEW BEST:: SOT 73268 SOS 44076 HAS SOPS 44076 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10971.076
AT ITER 4644 NEW BEST:: SOT 73284 SOS 44099 HAS SOPS 44099 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10958.099
AT ITER 4688 NEW BEST:: SOT 73280 SOS 44091 HAS SOPS 44091 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10950.091
AT ITER 4692 NEW BEST:: SOT 73301 SOS 44112 HAS SOPS 44112 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10949.112
AT ITER 4723 NEW BEST:: SOT 73300 SOS 44111 HAS SOPS 44111 HAS SOUS 10904 HAS SOUPS 10904 WITH SCORE 10948.111
AT ITER 4822 NEW BEST:: SOT 73296 SOS 44107 HAS SOPS 44107 HAS SOUS 10900 HAS SOUPS 10900 WITH SCORE 10944.107
AT ITER 4850 NEW BEST:: SOT 73304 SOS 44115 HAS SOPS 44115 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10938.115
AT ITER 4852 NEW BEST:: SOT 73302 SOS 44112 HAS SOPS 44112 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10937.112
AT ITER 4863 NEW BEST:: SOT 73307 SOS 44114 HAS SOPS 44114 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10934.114
AT ITER 4929 NEW BEST:: SOT 73288 SOS 43867 HAS SOPS 43867 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10914.867
AT ITER 4960 NEW BEST:: SOT 73276 SOS 43855 HAS SOPS 43855 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10907.855
AT ITER 4976 NEW BEST:: SOT 73368 SOS 44002 HAS SOPS 44002 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10907.002
AT ITER 5038 NEW BEST:: SOT 73349 SOS 44065 HAS SOPS 44065 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10896.065
AT ITER 5049 NEW BEST:: SOT 73351 SOS 44067 HAS SOPS 44067 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10892.067
AT ITER 5080 NEW BEST:: SOT 73335 SOS 44068 HAS SOPS 44068 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10877.068
AT ITER 5113 NEW BEST:: SOT 73323 SOS 44052 HAS SOPS 44052 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10861.052
AT ITER 5157 NEW BEST:: SOT 73317 SOS 43552 HAS SOPS 43552 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10848.552
AT ITER 5265 NEW BEST:: SOT 73289 SOS 43524 HAS SOPS 43524 HAS SOUS 10804 HAS SOUPS 10804 WITH SCORE 10847.524
AT ITER 5439 NEW BEST:: SOT 73267 SOS 43447 HAS SOPS 43447 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10836.447
AT ITER 5486 NEW BEST:: SOT 73261 SOS 43425 HAS SOPS 43425 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10836.425
AT ITER 5580 NEW BEST:: SOT 73216 SOS 43380 HAS SOPS 43380 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10836.38
AT ITER 5601 NEW BEST:: SOT 73176 SOS 43340 HAS SOPS 43340 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10823.34
AT ITER 5606 NEW BEST:: SOT 73030 SOS 42232 HAS SOPS 42232 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10788.232
AT ITER 5627 NEW BEST:: SOT 73026 SOS 42228 HAS SOPS 42228 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10788.228
AT ITER 5697 NEW BEST:: SOT 73025 SOS 42224 HAS SOPS 42224 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10783.224
AT ITER 5703 NEW BEST:: SOT 73012 SOS 42217 HAS SOPS 42217 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10783.217
AT ITER 5716 NEW BEST:: SOT 73010 SOS 42216 HAS SOPS 42216 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10782.216
AT ITER 5754 NEW BEST:: SOT 73010 SOS 42210 HAS SOPS 42210 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10782.21
AT ITER 5769 NEW BEST:: SOT 72953 SOS 42153 HAS SOPS 42153 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10780.153
AT ITER 5794 NEW BEST:: SOT 72935 SOS 42135 HAS SOPS 42135 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10762.135
AT ITER 5814 NEW BEST:: SOT 72953 SOS 42153 HAS SOPS 42153 HAS SOUS 10717 HAS SOUPS 10717 WITH SCORE 10759.153
AT ITER 5856 NEW BEST:: SOT 72936 SOS 42136 HAS SOPS 42136 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10741.136
AT ITER 5931 NEW BEST:: SOT 72936 SOS 41811 HAS SOPS 41811 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10686.811
AT ITER 5933 NEW BEST:: SOT 72934 SOS 41809 HAS SOPS 41809 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10684.809
AT ITER 5976 NEW BEST:: SOT 72934 SOS 41799 HAS SOPS 41799 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10657.799
AT ITER 5982 NEW BEST:: SOT 72938 SOS 41750 HAS SOPS 41750 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10653.75
AT ITER 6030 NEW BEST:: SOT 72939 SOS 41751 HAS SOPS 41751 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10651.751
AT ITER 6044 NEW BEST:: SOT 72936 SOS 41748 HAS SOPS 41748 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10651.748
AT ITER 6068 NEW BEST:: SOT 72933 SOS 41735 HAS SOPS 41735 HAS SOUS 10597 HAS SOUPS 10597 WITH SCORE 10638.735
AT ITER 6071 NEW BEST:: SOT 72762 SOS 41564 HAS SOPS 41564 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10627.564
AT ITER 6082 NEW BEST:: SOT 72744 SOS 41546 HAS SOPS 41546 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10618.546
AT ITER 6100 NEW BEST:: SOT 72742 SOS 41544 HAS SOPS 41544 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10616.544
AT ITER 6101 NEW BEST:: SOT 72681 SOS 41483 HAS SOPS 41483 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10566.483
AT ITER 6114 NEW BEST:: SOT 72681 SOS 41478 HAS SOPS 41478 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10561.478
AT ITER 6177 NEW BEST:: SOT 72664 SOS 41461 HAS SOPS 41461 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10558.461
AT ITER 6194 NEW BEST:: SOT 72660 SOS 41462 HAS SOPS 41462 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10555.462
AT ITER 6196 NEW BEST:: SOT 72653 SOS 41455 HAS SOPS 41455 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10545.455
AT ITER 6251 NEW BEST:: SOT 72649 SOS 41494 HAS SOPS 41494 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10535.494
AT ITER 6315 NEW BEST:: SOT 72602 SOS 41447 HAS SOPS 41447 HAS SOUS 10474 HAS SOUPS 10474 WITH SCORE 10515.447
AT ITER 6410 NEW BEST:: SOT 72595 SOS 41518 HAS SOPS 41518 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10513.518
AT ITER 6431 NEW BEST:: SOT 72586 SOS 41509 HAS SOPS 41509 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10510.509
AT ITER 6447 NEW BEST:: SOT 72595 SOS 41518 HAS SOPS 41518 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10497.518
AT ITER 6500 NEW BEST:: SOT 72595 SOS 41518 HAS SOPS 41518 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10489.518
AT ITER 6536 NEW BEST:: SOT 72581 SOS 41504 HAS SOPS 41504 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10475.504
AT ITER 6549 NEW BEST:: SOT 72595 SOS 41523 HAS SOPS 41523 HAS SOUS 10426 HAS SOUPS 10426 WITH SCORE 10467.523
AT ITER 6665 NEW BEST:: SOT 72595 SOS 41531 HAS SOPS 41531 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10459.531
AT ITER 6810 NEW BEST:: SOT 72595 SOS 41531 HAS SOPS 41531 HAS SOUS 10405 HAS SOUPS 10405 WITH SCORE 10446.531
AT ITER 6825 NEW BEST:: SOT 72595 SOS 41530 HAS SOPS 41530 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10445.53
AT ITER 6829 NEW BEST:: SOT 72581 SOS 41516 HAS SOPS 41516 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10431.516
AT ITER 6832 NEW BEST:: SOT 72494 SOS 41429 HAS SOPS 41429 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10396.429
AT ITER 6874 NEW BEST:: SOT 72508 SOS 41443 HAS SOPS 41443 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10386.443
AT ITER 6916 NEW BEST:: SOT 72519 SOS 41454 HAS SOPS 41454 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10385.454
AT ITER 6948 NEW BEST:: SOT 72519 SOS 41446 HAS SOPS 41446 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10377.446
AT ITER 6982 NEW BEST:: SOT 72437 SOS 41291 HAS SOPS 41291 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10366.291
AT ITER 6992 NEW BEST:: SOT 72443 SOS 41297 HAS SOPS 41297 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10360.297
AT ITER 6996 NEW BEST:: SOT 72441 SOS 41295 HAS SOPS 41295 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10354.295
AT ITER 7047 NEW BEST:: SOT 72426 SOS 41280 HAS SOPS 41280 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10339.28
AT ITER 7050 NEW BEST:: SOT 72432 SOS 41286 HAS SOPS 41286 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10333.286
AT ITER 7072 NEW BEST:: SOT 72423 SOS 41265 HAS SOPS 41265 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10333.265
AT ITER 7090 NEW BEST:: SOT 72424 SOS 41266 HAS SOPS 41266 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10332.266
AT ITER 7131 NEW BEST:: SOT 72443 SOS 41190 HAS SOPS 41190 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10332.19
AT ITER 7150 NEW BEST:: SOT 72447 SOS 41199 HAS SOPS 41199 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10328.199
AT ITER 7288 NEW BEST:: SOT 72453 SOS 41204 HAS SOPS 41204 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10327.204
AT ITER 7380 NEW BEST:: SOT 72402 SOS 41153 HAS SOPS 41153 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10327.153
AT ITER 7456 NEW BEST:: SOT 72399 SOS 41150 HAS SOPS 41150 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10327.15
AT ITER 7480 NEW BEST:: SOT 72399 SOS 41148 HAS SOPS 41148 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10327.148
AT ITER 7492 NEW BEST:: SOT 72397 SOS 41146 HAS SOPS 41146 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10323.146
AT ITER 7566 NEW BEST:: SOT 72394 SOS 41147 HAS SOPS 41147 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10321.147
AT ITER 7577 NEW BEST:: SOT 72399 SOS 41152 HAS SOPS 41152 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10313.152
AT ITER 7605 NEW BEST:: SOT 72365 SOS 41118 HAS SOPS 41118 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10306.118
AT ITER 7621 NEW BEST:: SOT 72369 SOS 41125 HAS SOPS 41125 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10285.125
AT ITER 7626 NEW BEST:: SOT 72369 SOS 41123 HAS SOPS 41123 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10285.123
AT ITER 7697 NEW BEST:: SOT 72367 SOS 41118 HAS SOPS 41118 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10284.118
AT ITER 7709 NEW BEST:: SOT 72353 SOS 41104 HAS SOPS 41104 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10270.104
AT ITER 7732 NEW BEST:: SOT 72350 SOS 41101 HAS SOPS 41101 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10263.101
AT ITER 7747 NEW BEST:: SOT 72323 SOS 41074 HAS SOPS 41074 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10244.074
AT ITER 7748 NEW BEST:: SOT 72320 SOS 41071 HAS SOPS 41071 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10241.071
AT ITER 7943 NEW BEST:: SOT 72314 SOS 41105 HAS SOPS 41105 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10235.105
AT ITER 7946 NEW BEST:: SOT 72314 SOS 41102 HAS SOPS 41102 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10232.102
AT ITER 7950 NEW BEST:: SOT 72302 SOS 41078 HAS SOPS 41078 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10227.078
AT ITER 8000 NEW BEST:: SOT 72405 SOS 41181 HAS SOPS 41181 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10214.181
AT ITER 8003 NEW BEST:: SOT 72350 SOS 41126 HAS SOPS 41126 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10174.126
AT ITER 8026 NEW BEST:: SOT 72394 SOS 41170 HAS SOPS 41170 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10130.17
AT ITER 8093 NEW BEST:: SOT 72393 SOS 41169 HAS SOPS 41169 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10128.169
AT ITER 8155 NEW BEST:: SOT 72392 SOS 41168 HAS SOPS 41168 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10122.168
AT ITER 8185 NEW BEST:: SOT 72391 SOS 41167 HAS SOPS 41167 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10121.167
AT ITER 8276 NEW BEST:: SOT 72407 SOS 41827 HAS SOPS 41827 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10117.827
AT ITER 8290 NEW BEST:: SOT 72407 SOS 41827 HAS SOPS 41827 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10096.827
AT ITER 8375 NEW BEST:: SOT 72377 SOS 41797 HAS SOPS 41797 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10073.797
AT ITER 8381 NEW BEST:: SOT 72374 SOS 41794 HAS SOPS 41794 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10063.794
AT ITER 8417 NEW BEST:: SOT 72358 SOS 41778 HAS SOPS 41778 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10056.778
AT ITER 8638 NEW BEST:: SOT 72358 SOS 41778 HAS SOPS 41778 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10050.778
AT ITER 8814 NEW BEST:: SOT 72320 SOS 41740 HAS SOPS 41740 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10048.74
AT ITER 8818 NEW BEST:: SOT 72320 SOS 41740 HAS SOPS 41740 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10043.74
AT ITER 8916 NEW BEST:: SOT 72318 SOS 41738 HAS SOPS 41738 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10039.738
AT ITER 9197 NEW BEST:: SOT 72318 SOS 41738 HAS SOPS 41738 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10035.738
AT ITER 9274 NEW BEST:: SOT 72316 SOS 41736 HAS SOPS 41736 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10033.736
AT ITER 9286 NEW BEST:: SOT 72431 SOS 41854 HAS SOPS 41854 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9991.854
AT ITER 9414 NEW BEST:: SOT 72431 SOS 41846 HAS SOPS 41846 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9983.846
AT ITER 9533 NEW BEST:: SOT 72433 SOS 41848 HAS SOPS 41848 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9976.848
AT ITER 9650 NEW BEST:: SOT 72433 SOS 41847 HAS SOPS 41847 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9975.847
AT ITER 9664 NEW BEST:: SOT 72427 SOS 41839 HAS SOPS 41839 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9971.839
AT ITER 9709 NEW BEST:: SOT 72424 SOS 41823 HAS SOPS 41823 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9969.823
AT ITER 9739 NEW BEST:: SOT 72420 SOS 41817 HAS SOPS 41817 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9967.817
AT ITER 9771 NEW BEST:: SOT 72420 SOS 41817 HAS SOPS 41817 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9964.817
AT ITER 9788 NEW BEST:: SOT 72420 SOS 41817 HAS SOPS 41817 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9959.817
AT ITER 9890 NEW BEST:: SOT 72420 SOS 41807 HAS SOPS 41807 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9949.807
STATE_SPACE STATES 291911853682 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 52 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1864964458601 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678685762480

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NeoElection-COL-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-4.tgz
mv NeoElection-COL-4 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;