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.r451-smll-167912643700616.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 StigmergyElection-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643700616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 888K
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 16:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 16:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 16:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 16:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 16:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 428K 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 1679322417383

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=StigmergyElection-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 05b
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: 699 places, 1266 transitions, 6741 arcs.
AT ITER 0 NEW BEST:: SOT 605065 SOS 109249 HAS SOPS 109249 HAS SOUS 93079 HAS SOUPS 93079 WITH SCORE 93188.249
AT ITER 3 NEW BEST:: SOT 605059 SOS 109243 HAS SOPS 109243 HAS SOUS 93073 HAS SOUPS 93073 WITH SCORE 93182.243
AT ITER 30 NEW BEST:: SOT 604140 SOS 108324 HAS SOPS 108324 HAS SOUS 92194 HAS SOUPS 92194 WITH SCORE 92302.324
AT ITER 70 NEW BEST:: SOT 603645 SOS 107829 HAS SOPS 107829 HAS SOUS 91720 HAS SOUPS 91720 WITH SCORE 91827.829
AT ITER 86 NEW BEST:: SOT 603645 SOS 107788 HAS SOPS 107788 HAS SOUS 91679 HAS SOUPS 91679 WITH SCORE 91786.788
AT ITER 89 NEW BEST:: SOT 603645 SOS 113011 HAS SOPS 113011 HAS SOUS 91616 HAS SOUPS 91616 WITH SCORE 91729.011
AT ITER 113 NEW BEST:: SOT 603620 SOS 112986 HAS SOPS 112986 HAS SOUS 91591 HAS SOUPS 91591 WITH SCORE 91703.986
AT ITER 115 NEW BEST:: SOT 603573 SOS 112892 HAS SOPS 112892 HAS SOUS 91497 HAS SOUPS 91497 WITH SCORE 91609.892
AT ITER 119 NEW BEST:: SOT 602743 SOS 117933 HAS SOPS 117933 HAS SOUS 91167 HAS SOUPS 91167 WITH SCORE 91284.933
AT ITER 122 NEW BEST:: SOT 602730 SOS 117920 HAS SOPS 117920 HAS SOUS 91154 HAS SOUPS 91154 WITH SCORE 91271.92
AT ITER 126 NEW BEST:: SOT 601941 SOS 138436 HAS SOPS 138436 HAS SOUS 91029 HAS SOUPS 91029 WITH SCORE 91167.436
AT ITER 155 NEW BEST:: SOT 601941 SOS 138387 HAS SOPS 138387 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91118.387
AT ITER 162 NEW BEST:: SOT 601888 SOS 140024 HAS SOPS 140024 HAS SOUS 90777 HAS SOUPS 90777 WITH SCORE 90917.024
AT ITER 198 NEW BEST:: SOT 601888 SOS 140015 HAS SOPS 140015 HAS SOUS 90777 HAS SOUPS 90777 WITH SCORE 90917.015
AT ITER 200 NEW BEST:: SOT 601869 SOS 139995 HAS SOPS 139995 HAS SOUS 90757 HAS SOUPS 90757 WITH SCORE 90896.995
AT ITER 206 NEW BEST:: SOT 601694 SOS 139755 HAS SOPS 139755 HAS SOUS 90495 HAS SOUPS 90495 WITH SCORE 90634.755
AT ITER 224 NEW BEST:: SOT 600536 SOS 140495 HAS SOPS 140495 HAS SOUS 89488 HAS SOUPS 89488 WITH SCORE 89628.495
AT ITER 233 NEW BEST:: SOT 598531 SOS 144159 HAS SOPS 144159 HAS SOUS 87915 HAS SOUPS 87915 WITH SCORE 88059.159
AT ITER 242 NEW BEST:: SOT 598418 SOS 144046 HAS SOPS 144046 HAS SOUS 87802 HAS SOUPS 87802 WITH SCORE 87946.046
AT ITER 261 NEW BEST:: SOT 598417 SOS 144044 HAS SOPS 144044 HAS SOUS 87800 HAS SOUPS 87800 WITH SCORE 87944.044
AT ITER 309 NEW BEST:: SOT 597656 SOS 143206 HAS SOPS 143206 HAS SOUS 87078 HAS SOUPS 87078 WITH SCORE 87221.206
AT ITER 322 NEW BEST:: SOT 597636 SOS 143166 HAS SOPS 143166 HAS SOUS 87038 HAS SOUPS 87038 WITH SCORE 87181.166
AT ITER 324 NEW BEST:: SOT 595495 SOS 145870 HAS SOPS 145870 HAS SOUS 85949 HAS SOUPS 85949 WITH SCORE 86094.87
AT ITER 352 NEW BEST:: SOT 594048 SOS 144648 HAS SOPS 144648 HAS SOUS 84502 HAS SOUPS 84502 WITH SCORE 84646.648
AT ITER 364 NEW BEST:: SOT 592690 SOS 150420 HAS SOPS 150420 HAS SOUS 83874 HAS SOUPS 83874 WITH SCORE 84024.42
AT ITER 371 NEW BEST:: SOT 592565 SOS 150170 HAS SOPS 150170 HAS SOUS 83749 HAS SOUPS 83749 WITH SCORE 83899.17
AT ITER 372 NEW BEST:: SOT 592499 SOS 150038 HAS SOPS 150038 HAS SOUS 83617 HAS SOUPS 83617 WITH SCORE 83767.038
AT ITER 384 NEW BEST:: SOT 592498 SOS 150036 HAS SOPS 150036 HAS SOUS 83615 HAS SOUPS 83615 WITH SCORE 83765.036
AT ITER 389 NEW BEST:: SOT 592498 SOS 149971 HAS SOPS 149971 HAS SOUS 83615 HAS SOUPS 83615 WITH SCORE 83764.971
AT ITER 398 NEW BEST:: SOT 592464 SOS 149903 HAS SOPS 149903 HAS SOUS 83547 HAS SOUPS 83547 WITH SCORE 83696.903
AT ITER 413 NEW BEST:: SOT 592393 SOS 147889 HAS SOPS 147889 HAS SOUS 83320 HAS SOUPS 83320 WITH SCORE 83467.889
AT ITER 469 NEW BEST:: SOT 592286 SOS 139008 HAS SOPS 139008 HAS SOUS 83106 HAS SOUPS 83106 WITH SCORE 83245.008
AT ITER 470 NEW BEST:: SOT 592251 SOS 138973 HAS SOPS 138973 HAS SOUS 83071 HAS SOUPS 83071 WITH SCORE 83209.973
AT ITER 478 NEW BEST:: SOT 592243 SOS 138965 HAS SOPS 138965 HAS SOUS 83063 HAS SOUPS 83063 WITH SCORE 83201.965
AT ITER 495 NEW BEST:: SOT 592049 SOS 138772 HAS SOPS 138772 HAS SOUS 82675 HAS SOUPS 82675 WITH SCORE 82813.772
AT ITER 498 NEW BEST:: SOT 592071 SOS 138651 HAS SOPS 138651 HAS SOUS 82381 HAS SOUPS 82381 WITH SCORE 82519.651
AT ITER 528 NEW BEST:: SOT 591995 SOS 138355 HAS SOPS 138355 HAS SOUS 82327 HAS SOUPS 82327 WITH SCORE 82465.355
AT ITER 530 NEW BEST:: SOT 591853 SOS 138071 HAS SOPS 138071 HAS SOUS 82286 HAS SOUPS 82286 WITH SCORE 82424.071
AT ITER 582 NEW BEST:: SOT 591852 SOS 138069 HAS SOPS 138069 HAS SOUS 82284 HAS SOUPS 82284 WITH SCORE 82422.069
AT ITER 590 NEW BEST:: SOT 591860 SOS 138085 HAS SOPS 138085 HAS SOUS 82187 HAS SOUPS 82187 WITH SCORE 82325.085
AT ITER 599 NEW BEST:: SOT 591860 SOS 137969 HAS SOPS 137969 HAS SOUS 82187 HAS SOUPS 82187 WITH SCORE 82324.969
AT ITER 614 NEW BEST:: SOT 591830 SOS 137119 HAS SOPS 137119 HAS SOUS 82147 HAS SOUPS 82147 WITH SCORE 82284.119
AT ITER 625 NEW BEST:: SOT 591800 SOS 137059 HAS SOPS 137059 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82250.059
AT ITER 629 NEW BEST:: SOT 591768 SOS 136995 HAS SOPS 136995 HAS SOUS 81790 HAS SOUPS 81790 WITH SCORE 81926.995
AT ITER 631 NEW BEST:: SOT 591767 SOS 136994 HAS SOPS 136994 HAS SOUS 81789 HAS SOUPS 81789 WITH SCORE 81925.994
AT ITER 677 NEW BEST:: SOT 591682 SOS 134104 HAS SOPS 134104 HAS SOUS 81619 HAS SOUPS 81619 WITH SCORE 81753.104
AT ITER 681 NEW BEST:: SOT 591564 SOS 133868 HAS SOPS 133868 HAS SOUS 81501 HAS SOUPS 81501 WITH SCORE 81634.868
AT ITER 717 NEW BEST:: SOT 591420 SOS 133624 HAS SOPS 133624 HAS SOUS 81049 HAS SOUPS 81049 WITH SCORE 81182.624
AT ITER 724 NEW BEST:: SOT 590760 SOS 133039 HAS SOPS 133039 HAS SOUS 80408 HAS SOUPS 80408 WITH SCORE 80541.039
AT ITER 755 NEW BEST:: SOT 590760 SOS 133015 HAS SOPS 133015 HAS SOUS 80408 HAS SOUPS 80408 WITH SCORE 80541.015
AT ITER 770 NEW BEST:: SOT 590740 SOS 132975 HAS SOPS 132975 HAS SOUS 80378 HAS SOUPS 80378 WITH SCORE 80510.975
AT ITER 772 NEW BEST:: SOT 590725 SOS 132945 HAS SOPS 132945 HAS SOUS 80348 HAS SOUPS 80348 WITH SCORE 80480.945
AT ITER 804 NEW BEST:: SOT 590636 SOS 132767 HAS SOPS 132767 HAS SOUS 80259 HAS SOUPS 80259 WITH SCORE 80391.767
AT ITER 814 NEW BEST:: SOT 590560 SOS 132615 HAS SOPS 132615 HAS SOUS 80058 HAS SOUPS 80058 WITH SCORE 80190.615
AT ITER 834 NEW BEST:: SOT 590548 SOS 132591 HAS SOPS 132591 HAS SOUS 80034 HAS SOUPS 80034 WITH SCORE 80166.591
AT ITER 877 NEW BEST:: SOT 590491 SOS 132477 HAS SOPS 132477 HAS SOUS 80013 HAS SOUPS 80013 WITH SCORE 80145.477
AT ITER 878 NEW BEST:: SOT 590406 SOS 133027 HAS SOPS 133027 HAS SOUS 79972 HAS SOUPS 79972 WITH SCORE 80105.027
AT ITER 894 NEW BEST:: SOT 590313 SOS 132841 HAS SOPS 132841 HAS SOUS 79874 HAS SOUPS 79874 WITH SCORE 80006.841
AT ITER 906 NEW BEST:: SOT 588574 SOS 139344 HAS SOPS 139344 HAS SOUS 78653 HAS SOUPS 78653 WITH SCORE 78792.344
AT ITER 913 NEW BEST:: SOT 588460 SOS 139116 HAS SOPS 139116 HAS SOUS 78439 HAS SOUPS 78439 WITH SCORE 78578.116
AT ITER 919 NEW BEST:: SOT 588380 SOS 139036 HAS SOPS 139036 HAS SOUS 78359 HAS SOUPS 78359 WITH SCORE 78498.036
AT ITER 934 NEW BEST:: SOT 588361 SOS 138998 HAS SOPS 138998 HAS SOUS 78321 HAS SOUPS 78321 WITH SCORE 78459.998
AT ITER 952 NEW BEST:: SOT 588361 SOS 138959 HAS SOPS 138959 HAS SOUS 78282 HAS SOUPS 78282 WITH SCORE 78420.959
AT ITER 953 NEW BEST:: SOT 588343 SOS 138608 HAS SOPS 138608 HAS SOUS 78228 HAS SOUPS 78228 WITH SCORE 78366.608
AT ITER 974 NEW BEST:: SOT 588301 SOS 138524 HAS SOPS 138524 HAS SOUS 78186 HAS SOUPS 78186 WITH SCORE 78324.524
AT ITER 1019 NEW BEST:: SOT 588300 SOS 138522 HAS SOPS 138522 HAS SOUS 78157 HAS SOUPS 78157 WITH SCORE 78295.522
AT ITER 1021 NEW BEST:: SOT 588246 SOS 136318 HAS SOPS 136318 HAS SOUS 78047 HAS SOUPS 78047 WITH SCORE 78183.318
AT ITER 1042 NEW BEST:: SOT 588220 SOS 136307 HAS SOPS 136307 HAS SOUS 78036 HAS SOUPS 78036 WITH SCORE 78172.307
AT ITER 1047 NEW BEST:: SOT 588217 SOS 136307 HAS SOPS 136307 HAS SOUS 78033 HAS SOUPS 78033 WITH SCORE 78169.307
AT ITER 1078 NEW BEST:: SOT 588090 SOS 136053 HAS SOPS 136053 HAS SOUS 77906 HAS SOUPS 77906 WITH SCORE 78042.053
AT ITER 1096 NEW BEST:: SOT 588002 SOS 135965 HAS SOPS 135965 HAS SOUS 77818 HAS SOUPS 77818 WITH SCORE 77953.965
AT ITER 1114 NEW BEST:: SOT 588001 SOS 135963 HAS SOPS 135963 HAS SOUS 77816 HAS SOUPS 77816 WITH SCORE 77951.963
AT ITER 1118 NEW BEST:: SOT 587989 SOS 135939 HAS SOPS 135939 HAS SOUS 77792 HAS SOUPS 77792 WITH SCORE 77927.939
AT ITER 1140 NEW BEST:: SOT 587989 SOS 135939 HAS SOPS 135939 HAS SOUS 77699 HAS SOUPS 77699 WITH SCORE 77834.939
AT ITER 1155 NEW BEST:: SOT 587977 SOS 135483 HAS SOPS 135483 HAS SOUS 77639 HAS SOUPS 77639 WITH SCORE 77774.483
AT ITER 1182 NEW BEST:: SOT 587975 SOS 135479 HAS SOPS 135479 HAS SOUS 77635 HAS SOUPS 77635 WITH SCORE 77770.479
AT ITER 1206 NEW BEST:: SOT 587894 SOS 135317 HAS SOPS 135317 HAS SOUS 77554 HAS SOUPS 77554 WITH SCORE 77689.317
AT ITER 1242 NEW BEST:: SOT 587742 SOS 135127 HAS SOPS 135127 HAS SOUS 77402 HAS SOUPS 77402 WITH SCORE 77537.127
AT ITER 1267 NEW BEST:: SOT 586943 SOS 137309 HAS SOPS 137309 HAS SOUS 76867 HAS SOUPS 76867 WITH SCORE 77004.309
AT ITER 1282 NEW BEST:: SOT 586956 SOS 137335 HAS SOPS 137335 HAS SOUS 76728 HAS SOUPS 76728 WITH SCORE 76865.335
AT ITER 1296 NEW BEST:: SOT 584903 SOS 167726 HAS SOPS 167726 HAS SOUS 76209 HAS SOUPS 76209 WITH SCORE 76376.726
AT ITER 1297 NEW BEST:: SOT 584770 SOS 140055 HAS SOPS 140055 HAS SOUS 75917 HAS SOUPS 75917 WITH SCORE 76057.055
AT ITER 1299 NEW BEST:: SOT 584769 SOS 140053 HAS SOPS 140053 HAS SOUS 75915 HAS SOUPS 75915 WITH SCORE 76055.053
AT ITER 1301 NEW BEST:: SOT 582133 SOS 141477 HAS SOPS 141477 HAS SOUS 74223 HAS SOUPS 74223 WITH SCORE 74364.477
AT ITER 1303 NEW BEST:: SOT 582129 SOS 141469 HAS SOPS 141469 HAS SOUS 74219 HAS SOUPS 74219 WITH SCORE 74360.469
AT ITER 1304 NEW BEST:: SOT 582108 SOS 141427 HAS SOPS 141427 HAS SOUS 74177 HAS SOUPS 74177 WITH SCORE 74318.427
AT ITER 1312 NEW BEST:: SOT 581977 SOS 141296 HAS SOPS 141296 HAS SOUS 74046 HAS SOUPS 74046 WITH SCORE 74187.296
AT ITER 1335 NEW BEST:: SOT 581966 SOS 141274 HAS SOPS 141274 HAS SOUS 74035 HAS SOUPS 74035 WITH SCORE 74176.274
AT ITER 1341 NEW BEST:: SOT 581966 SOS 141251 HAS SOPS 141251 HAS SOUS 74034 HAS SOUPS 74034 WITH SCORE 74175.251
AT ITER 1351 NEW BEST:: SOT 581831 SOS 140981 HAS SOPS 140981 HAS SOUS 73764 HAS SOUPS 73764 WITH SCORE 73904.981
AT ITER 1361 NEW BEST:: SOT 581742 SOS 140803 HAS SOPS 140803 HAS SOUS 73675 HAS SOUPS 73675 WITH SCORE 73815.803
AT ITER 1370 NEW BEST:: SOT 581653 SOS 140625 HAS SOPS 140625 HAS SOUS 73394 HAS SOUPS 73394 WITH SCORE 73534.625
AT ITER 1378 NEW BEST:: SOT 581653 SOS 140620 HAS SOPS 140620 HAS SOUS 73389 HAS SOUPS 73389 WITH SCORE 73529.62
AT ITER 1393 NEW BEST:: SOT 581604 SOS 140522 HAS SOPS 140522 HAS SOUS 73291 HAS SOUPS 73291 WITH SCORE 73431.522
AT ITER 1404 NEW BEST:: SOT 581529 SOS 140372 HAS SOPS 140372 HAS SOUS 73141 HAS SOUPS 73141 WITH SCORE 73281.372
AT ITER 1424 NEW BEST:: SOT 581398 SOS 140944 HAS SOPS 140944 HAS SOUS 73075 HAS SOUPS 73075 WITH SCORE 73215.944
AT ITER 1426 NEW BEST:: SOT 581389 SOS 140491 HAS SOPS 140491 HAS SOUS 73038 HAS SOUPS 73038 WITH SCORE 73178.491
AT ITER 1435 NEW BEST:: SOT 581293 SOS 140299 HAS SOPS 140299 HAS SOUS 72846 HAS SOUPS 72846 WITH SCORE 72986.299
AT ITER 1436 NEW BEST:: SOT 581192 SOS 140097 HAS SOPS 140097 HAS SOUS 72745 HAS SOUPS 72745 WITH SCORE 72885.097
AT ITER 1469 NEW BEST:: SOT 581081 SOS 139927 HAS SOPS 139927 HAS SOUS 72634 HAS SOUPS 72634 WITH SCORE 72773.927
AT ITER 1480 NEW BEST:: SOT 579089 SOS 138859 HAS SOPS 138859 HAS SOUS 71260 HAS SOUPS 71260 WITH SCORE 71398.859
AT ITER 1489 NEW BEST:: SOT 578980 SOS 132899 HAS SOPS 132899 HAS SOUS 70865 HAS SOUPS 70865 WITH SCORE 70997.899
AT ITER 1529 NEW BEST:: SOT 578980 SOS 132850 HAS SOPS 132850 HAS SOUS 70816 HAS SOUPS 70816 WITH SCORE 70948.85
AT ITER 1533 NEW BEST:: SOT 578920 SOS 132730 HAS SOPS 132730 HAS SOUS 70696 HAS SOUPS 70696 WITH SCORE 70828.73
AT ITER 1542 NEW BEST:: SOT 578878 SOS 132646 HAS SOPS 132646 HAS SOUS 70612 HAS SOUPS 70612 WITH SCORE 70744.646
AT ITER 1570 NEW BEST:: SOT 578861 SOS 132628 HAS SOPS 132628 HAS SOUS 70594 HAS SOUPS 70594 WITH SCORE 70726.628
AT ITER 1572 NEW BEST:: SOT 578860 SOS 132626 HAS SOPS 132626 HAS SOUS 70592 HAS SOUPS 70592 WITH SCORE 70724.626
AT ITER 1584 NEW BEST:: SOT 578812 SOS 132530 HAS SOPS 132530 HAS SOUS 70516 HAS SOUPS 70516 WITH SCORE 70648.53
AT ITER 1589 NEW BEST:: SOT 578810 SOS 132504 HAS SOPS 132504 HAS SOUS 70490 HAS SOUPS 70490 WITH SCORE 70622.504
AT ITER 1598 NEW BEST:: SOT 578810 SOS 132504 HAS SOPS 132504 HAS SOUS 70396 HAS SOUPS 70396 WITH SCORE 70528.504
AT ITER 1600 NEW BEST:: SOT 578765 SOS 132460 HAS SOPS 132460 HAS SOUS 70351 HAS SOUPS 70351 WITH SCORE 70483.46
AT ITER 1608 NEW BEST:: SOT 578752 SOS 132448 HAS SOPS 132448 HAS SOUS 70338 HAS SOUPS 70338 WITH SCORE 70470.448
AT ITER 1613 NEW BEST:: SOT 578799 SOS 132542 HAS SOPS 132542 HAS SOUS 70204 HAS SOUPS 70204 WITH SCORE 70336.542
AT ITER 1617 NEW BEST:: SOT 578790 SOS 132524 HAS SOPS 132524 HAS SOUS 70195 HAS SOUPS 70195 WITH SCORE 70327.524
AT ITER 1636 NEW BEST:: SOT 578735 SOS 133271 HAS SOPS 133271 HAS SOUS 69921 HAS SOUPS 69921 WITH SCORE 70054.271
AT ITER 1662 NEW BEST:: SOT 578424 SOS 132973 HAS SOPS 132973 HAS SOUS 69649 HAS SOUPS 69649 WITH SCORE 69781.973
AT ITER 1676 NEW BEST:: SOT 578337 SOS 134606 HAS SOPS 134606 HAS SOUS 69117 HAS SOUPS 69117 WITH SCORE 69251.606
AT ITER 1679 NEW BEST:: SOT 578325 SOS 134645 HAS SOPS 134645 HAS SOUS 69105 HAS SOUPS 69105 WITH SCORE 69239.645
AT ITER 1687 NEW BEST:: SOT 578252 SOS 134499 HAS SOPS 134499 HAS SOUS 69030 HAS SOUPS 69030 WITH SCORE 69164.499
AT ITER 1696 NEW BEST:: SOT 578249 SOS 134493 HAS SOPS 134493 HAS SOUS 69024 HAS SOUPS 69024 WITH SCORE 69158.493
AT ITER 1714 NEW BEST:: SOT 578248 SOS 134491 HAS SOPS 134491 HAS SOUS 69022 HAS SOUPS 69022 WITH SCORE 69156.491
AT ITER 1718 NEW BEST:: SOT 578068 SOS 133571 HAS SOPS 133571 HAS SOUS 68762 HAS SOUPS 68762 WITH SCORE 68895.571
AT ITER 1726 NEW BEST:: SOT 578019 SOS 133473 HAS SOPS 133473 HAS SOUS 68664 HAS SOUPS 68664 WITH SCORE 68797.473
AT ITER 1736 NEW BEST:: SOT 578071 SOS 133577 HAS SOPS 133577 HAS SOUS 68171 HAS SOUPS 68171 WITH SCORE 68304.577
AT ITER 1740 NEW BEST:: SOT 578070 SOS 133575 HAS SOPS 133575 HAS SOUS 68169 HAS SOUPS 68169 WITH SCORE 68302.575
AT ITER 1771 NEW BEST:: SOT 578069 SOS 133573 HAS SOPS 133573 HAS SOUS 68167 HAS SOUPS 68167 WITH SCORE 68300.573
AT ITER 1778 NEW BEST:: SOT 578132 SOS 131417 HAS SOPS 131417 HAS SOUS 67965 HAS SOUPS 67965 WITH SCORE 68096.417
AT ITER 1784 NEW BEST:: SOT 578130 SOS 131413 HAS SOPS 131413 HAS SOUS 67961 HAS SOUPS 67961 WITH SCORE 68092.413
AT ITER 1788 NEW BEST:: SOT 578101 SOS 131355 HAS SOPS 131355 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68083.355
AT ITER 1800 NEW BEST:: SOT 578116 SOS 131353 HAS SOPS 131353 HAS SOUS 67951 HAS SOUPS 67951 WITH SCORE 68082.353
AT ITER 1810 NEW BEST:: SOT 578116 SOS 131288 HAS SOPS 131288 HAS SOUS 67821 HAS SOUPS 67821 WITH SCORE 67952.288
AT ITER 1817 NEW BEST:: SOT 578080 SOS 131216 HAS SOPS 131216 HAS SOUS 67786 HAS SOUPS 67786 WITH SCORE 67917.216
AT ITER 1832 NEW BEST:: SOT 578079 SOS 131214 HAS SOPS 131214 HAS SOUS 67784 HAS SOUPS 67784 WITH SCORE 67915.214
AT ITER 1843 NEW BEST:: SOT 578074 SOS 131204 HAS SOPS 131204 HAS SOUS 67774 HAS SOUPS 67774 WITH SCORE 67905.204
AT ITER 1847 NEW BEST:: SOT 578056 SOS 131168 HAS SOPS 131168 HAS SOUS 67738 HAS SOUPS 67738 WITH SCORE 67869.168
AT ITER 1855 NEW BEST:: SOT 578021 SOS 131098 HAS SOPS 131098 HAS SOUS 67668 HAS SOUPS 67668 WITH SCORE 67799.098
AT ITER 1908 NEW BEST:: SOT 578017 SOS 131090 HAS SOPS 131090 HAS SOUS 67660 HAS SOUPS 67660 WITH SCORE 67791.09
AT ITER 1946 NEW BEST:: SOT 578002 SOS 131060 HAS SOPS 131060 HAS SOUS 67630 HAS SOUPS 67630 WITH SCORE 67761.06
AT ITER 2006 NEW BEST:: SOT 578003 SOS 131039 HAS SOPS 131039 HAS SOUS 67596 HAS SOUPS 67596 WITH SCORE 67727.039
AT ITER 2011 NEW BEST:: SOT 577859 SOS 130751 HAS SOPS 130751 HAS SOUS 67579 HAS SOUPS 67579 WITH SCORE 67709.751
AT ITER 2012 NEW BEST:: SOT 577853 SOS 130687 HAS SOPS 130687 HAS SOUS 67515 HAS SOUPS 67515 WITH SCORE 67645.687
AT ITER 2022 NEW BEST:: SOT 577783 SOS 130547 HAS SOPS 130547 HAS SOUS 67445 HAS SOUPS 67445 WITH SCORE 67575.547
AT ITER 2061 NEW BEST:: SOT 577774 SOS 130495 HAS SOPS 130495 HAS SOUS 67415 HAS SOUPS 67415 WITH SCORE 67545.495
AT ITER 2085 NEW BEST:: SOT 577773 SOS 130493 HAS SOPS 130493 HAS SOUS 67413 HAS SOUPS 67413 WITH SCORE 67543.493
AT ITER 2094 NEW BEST:: SOT 577773 SOS 132025 HAS SOPS 132025 HAS SOUS 67345 HAS SOUPS 67345 WITH SCORE 67477.025
AT ITER 2135 NEW BEST:: SOT 573412 SOS 129171 HAS SOPS 129171 HAS SOUS 66211 HAS SOUPS 66211 WITH SCORE 66340.171
AT ITER 2145 NEW BEST:: SOT 573328 SOS 129003 HAS SOPS 129003 HAS SOUS 66154 HAS SOUPS 66154 WITH SCORE 66283.003
AT ITER 2147 NEW BEST:: SOT 573325 SOS 128997 HAS SOPS 128997 HAS SOUS 66150 HAS SOUPS 66150 WITH SCORE 66278.997
AT ITER 2160 NEW BEST:: SOT 573235 SOS 128696 HAS SOPS 128696 HAS SOUS 65970 HAS SOUPS 65970 WITH SCORE 66098.696
AT ITER 2181 NEW BEST:: SOT 573226 SOS 128678 HAS SOPS 128678 HAS SOUS 65952 HAS SOUPS 65952 WITH SCORE 66080.678
AT ITER 2184 NEW BEST:: SOT 572745 SOS 128642 HAS SOPS 128642 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65652.642
AT ITER 2258 NEW BEST:: SOT 572712 SOS 128576 HAS SOPS 128576 HAS SOUS 65491 HAS SOUPS 65491 WITH SCORE 65619.576
AT ITER 2272 NEW BEST:: SOT 572696 SOS 128038 HAS SOPS 128038 HAS SOUS 65327 HAS SOUPS 65327 WITH SCORE 65455.038
AT ITER 2292 NEW BEST:: SOT 572696 SOS 128038 HAS SOPS 128038 HAS SOUS 65321 HAS SOUPS 65321 WITH SCORE 65449.038
AT ITER 2293 NEW BEST:: SOT 572695 SOS 128036 HAS SOPS 128036 HAS SOUS 65319 HAS SOUPS 65319 WITH SCORE 65447.036
AT ITER 2315 NEW BEST:: SOT 572639 SOS 127924 HAS SOPS 127924 HAS SOUS 65122 HAS SOUPS 65122 WITH SCORE 65249.924
AT ITER 2320 NEW BEST:: SOT 572571 SOS 127900 HAS SOPS 127900 HAS SOUS 65098 HAS SOUPS 65098 WITH SCORE 65225.9
AT ITER 2372 NEW BEST:: SOT 572571 SOS 128456 HAS SOPS 128456 HAS SOUS 65054 HAS SOUPS 65054 WITH SCORE 65182.456
AT ITER 2373 NEW BEST:: SOT 572563 SOS 128440 HAS SOPS 128440 HAS SOUS 65038 HAS SOUPS 65038 WITH SCORE 65166.44
AT ITER 2399 NEW BEST:: SOT 572531 SOS 128376 HAS SOPS 128376 HAS SOUS 64974 HAS SOUPS 64974 WITH SCORE 65102.376
AT ITER 2423 NEW BEST:: SOT 572507 SOS 128328 HAS SOPS 128328 HAS SOUS 64926 HAS SOUPS 64926 WITH SCORE 65054.328
AT ITER 2428 NEW BEST:: SOT 572484 SOS 128282 HAS SOPS 128282 HAS SOUS 64901 HAS SOUPS 64901 WITH SCORE 65029.282
AT ITER 2430 NEW BEST:: SOT 572019 SOS 128964 HAS SOPS 128964 HAS SOUS 64565 HAS SOUPS 64565 WITH SCORE 64693.964
AT ITER 2450 NEW BEST:: SOT 572003 SOS 128932 HAS SOPS 128932 HAS SOUS 64533 HAS SOUPS 64533 WITH SCORE 64661.932
AT ITER 2460 NEW BEST:: SOT 571834 SOS 129572 HAS SOPS 129572 HAS SOUS 64364 HAS SOUPS 64364 WITH SCORE 64493.572
AT ITER 2494 NEW BEST:: SOT 571812 SOS 129528 HAS SOPS 129528 HAS SOUS 64342 HAS SOUPS 64342 WITH SCORE 64471.528
AT ITER 2553 NEW BEST:: SOT 571812 SOS 129418 HAS SOPS 129418 HAS SOUS 64307 HAS SOUPS 64307 WITH SCORE 64436.418
AT ITER 2581 NEW BEST:: SOT 571736 SOS 129266 HAS SOPS 129266 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64360.266
AT ITER 2603 NEW BEST:: SOT 571730 SOS 129265 HAS SOPS 129265 HAS SOUS 64225 HAS SOUPS 64225 WITH SCORE 64354.265
AT ITER 2611 NEW BEST:: SOT 571717 SOS 129239 HAS SOPS 129239 HAS SOUS 64199 HAS SOUPS 64199 WITH SCORE 64328.239
AT ITER 2612 NEW BEST:: SOT 571717 SOS 129176 HAS SOPS 129176 HAS SOUS 64136 HAS SOUPS 64136 WITH SCORE 64265.176
AT ITER 2618 NEW BEST:: SOT 571557 SOS 129275 HAS SOPS 129275 HAS SOUS 64044 HAS SOUPS 64044 WITH SCORE 64173.275
AT ITER 2628 NEW BEST:: SOT 571414 SOS 125371 HAS SOPS 125371 HAS SOUS 63711 HAS SOUPS 63711 WITH SCORE 63836.371
AT ITER 2652 NEW BEST:: SOT 571407 SOS 125357 HAS SOPS 125357 HAS SOUS 63697 HAS SOUPS 63697 WITH SCORE 63822.357
AT ITER 2691 NEW BEST:: SOT 571378 SOS 125299 HAS SOPS 125299 HAS SOUS 63668 HAS SOUPS 63668 WITH SCORE 63793.299
AT ITER 2697 NEW BEST:: SOT 571401 SOS 125345 HAS SOPS 125345 HAS SOUS 63575 HAS SOUPS 63575 WITH SCORE 63700.345
AT ITER 2699 NEW BEST:: SOT 570835 SOS 124688 HAS SOPS 124688 HAS SOUS 62801 HAS SOUPS 62801 WITH SCORE 62925.688
AT ITER 2725 NEW BEST:: SOT 570813 SOS 124617 HAS SOPS 124617 HAS SOUS 62757 HAS SOUPS 62757 WITH SCORE 62881.617
AT ITER 2745 NEW BEST:: SOT 570791 SOS 124573 HAS SOPS 124573 HAS SOUS 62713 HAS SOUPS 62713 WITH SCORE 62837.573
AT ITER 2784 NEW BEST:: SOT 570790 SOS 124571 HAS SOPS 124571 HAS SOUS 62711 HAS SOUPS 62711 WITH SCORE 62835.571
AT ITER 2792 NEW BEST:: SOT 570758 SOS 124507 HAS SOPS 124507 HAS SOUS 62647 HAS SOUPS 62647 WITH SCORE 62771.507
AT ITER 2799 NEW BEST:: SOT 570699 SOS 124389 HAS SOPS 124389 HAS SOUS 62623 HAS SOUPS 62623 WITH SCORE 62747.389
AT ITER 2837 NEW BEST:: SOT 570693 SOS 124281 HAS SOPS 124281 HAS SOUS 62608 HAS SOUPS 62608 WITH SCORE 62732.281
AT ITER 2869 NEW BEST:: SOT 570679 SOS 124275 HAS SOPS 124275 HAS SOUS 62599 HAS SOUPS 62599 WITH SCORE 62723.275
AT ITER 2885 NEW BEST:: SOT 570679 SOS 124275 HAS SOPS 124275 HAS SOUS 62595 HAS SOUPS 62595 WITH SCORE 62719.275
AT ITER 2891 NEW BEST:: SOT 570678 SOS 124273 HAS SOPS 124273 HAS SOUS 62593 HAS SOUPS 62593 WITH SCORE 62717.273
AT ITER 2921 NEW BEST:: SOT 570668 SOS 124253 HAS SOPS 124253 HAS SOUS 62573 HAS SOUPS 62573 WITH SCORE 62697.253
AT ITER 2978 NEW BEST:: SOT 570658 SOS 124233 HAS SOPS 124233 HAS SOUS 62553 HAS SOUPS 62553 WITH SCORE 62677.233
AT ITER 2997 NEW BEST:: SOT 570658 SOS 124168 HAS SOPS 124168 HAS SOUS 62553 HAS SOUPS 62553 WITH SCORE 62677.168
AT ITER 3014 NEW BEST:: SOT 570653 SOS 124156 HAS SOPS 124156 HAS SOUS 62541 HAS SOUPS 62541 WITH SCORE 62665.156
AT ITER 3063 NEW BEST:: SOT 570650 SOS 124150 HAS SOPS 124150 HAS SOUS 62538 HAS SOUPS 62538 WITH SCORE 62662.15
AT ITER 3064 NEW BEST:: SOT 570596 SOS 124042 HAS SOPS 124042 HAS SOUS 62430 HAS SOUPS 62430 WITH SCORE 62554.042
AT ITER 3155 NEW BEST:: SOT 570565 SOS 124011 HAS SOPS 124011 HAS SOUS 62399 HAS SOUPS 62399 WITH SCORE 62523.011
AT ITER 3188 NEW BEST:: SOT 570547 SOS 123975 HAS SOPS 123975 HAS SOUS 62392 HAS SOUPS 62392 WITH SCORE 62515.975
AT ITER 3192 NEW BEST:: SOT 570520 SOS 123921 HAS SOPS 123921 HAS SOUS 62338 HAS SOUPS 62338 WITH SCORE 62461.921
AT ITER 3199 NEW BEST:: SOT 570501 SOS 123883 HAS SOPS 123883 HAS SOUS 62318 HAS SOUPS 62318 WITH SCORE 62441.883
AT ITER 3216 NEW BEST:: SOT 570428 SOS 123737 HAS SOPS 123737 HAS SOUS 62245 HAS SOUPS 62245 WITH SCORE 62368.737
AT ITER 3229 NEW BEST:: SOT 570428 SOS 123732 HAS SOPS 123732 HAS SOUS 62240 HAS SOUPS 62240 WITH SCORE 62363.732
AT ITER 3282 NEW BEST:: SOT 570410 SOS 123696 HAS SOPS 123696 HAS SOUS 62204 HAS SOUPS 62204 WITH SCORE 62327.696
AT ITER 3300 NEW BEST:: SOT 570410 SOS 123696 HAS SOPS 123696 HAS SOUS 62192 HAS SOUPS 62192 WITH SCORE 62315.696
AT ITER 3302 NEW BEST:: SOT 570339 SOS 123625 HAS SOPS 123625 HAS SOUS 62050 HAS SOUPS 62050 WITH SCORE 62173.625
AT ITER 3344 NEW BEST:: SOT 570336 SOS 123619 HAS SOPS 123619 HAS SOUS 62044 HAS SOUPS 62044 WITH SCORE 62167.619
AT ITER 3372 NEW BEST:: SOT 570288 SOS 123571 HAS SOPS 123571 HAS SOUS 61996 HAS SOUPS 61996 WITH SCORE 62119.571
AT ITER 3392 NEW BEST:: SOT 570267 SOS 121828 HAS SOPS 121828 HAS SOUS 61971 HAS SOUPS 61971 WITH SCORE 62092.828
AT ITER 3404 NEW BEST:: SOT 569387 SOS 120948 HAS SOPS 120948 HAS SOUS 61091 HAS SOUPS 61091 WITH SCORE 61211.948
AT ITER 3458 NEW BEST:: SOT 569394 SOS 120962 HAS SOPS 120962 HAS SOUS 60965 HAS SOUPS 60965 WITH SCORE 61085.962
AT ITER 3483 NEW BEST:: SOT 569343 SOS 121884 HAS SOPS 121884 HAS SOUS 60946 HAS SOUPS 60946 WITH SCORE 61067.884
AT ITER 3534 NEW BEST:: SOT 569329 SOS 121869 HAS SOPS 121869 HAS SOUS 60931 HAS SOUPS 60931 WITH SCORE 61052.869
AT ITER 3561 NEW BEST:: SOT 569323 SOS 121857 HAS SOPS 121857 HAS SOUS 60919 HAS SOUPS 60919 WITH SCORE 61040.857
AT ITER 3610 NEW BEST:: SOT 569323 SOS 121764 HAS SOPS 121764 HAS SOUS 60919 HAS SOUPS 60919 WITH SCORE 61040.764
AT ITER 3639 NEW BEST:: SOT 569322 SOS 121762 HAS SOPS 121762 HAS SOUS 60918 HAS SOUPS 60918 WITH SCORE 61039.762
AT ITER 3655 NEW BEST:: SOT 569352 SOS 121902 HAS SOPS 121902 HAS SOUS 60817 HAS SOUPS 60817 WITH SCORE 60938.902
AT ITER 3656 NEW BEST:: SOT 569109 SOS 121656 HAS SOPS 121656 HAS SOUS 60571 HAS SOUPS 60571 WITH SCORE 60692.656
AT ITER 3683 NEW BEST:: SOT 569107 SOS 121654 HAS SOPS 121654 HAS SOUS 60569 HAS SOUPS 60569 WITH SCORE 60690.654
AT ITER 3688 NEW BEST:: SOT 569045 SOS 121530 HAS SOPS 121530 HAS SOUS 60516 HAS SOUPS 60516 WITH SCORE 60637.53
AT ITER 3690 NEW BEST:: SOT 568921 SOS 121282 HAS SOPS 121282 HAS SOUS 60317 HAS SOUPS 60317 WITH SCORE 60438.282
AT ITER 3699 NEW BEST:: SOT 568921 SOS 121233 HAS SOPS 121233 HAS SOUS 60268 HAS SOUPS 60268 WITH SCORE 60389.233
AT ITER 3711 NEW BEST:: SOT 568898 SOS 121187 HAS SOPS 121187 HAS SOUS 60222 HAS SOUPS 60222 WITH SCORE 60343.187
AT ITER 3736 NEW BEST:: SOT 568898 SOS 121184 HAS SOPS 121184 HAS SOUS 60222 HAS SOUPS 60222 WITH SCORE 60343.184
AT ITER 3789 NEW BEST:: SOT 568876 SOS 121140 HAS SOPS 121140 HAS SOUS 60178 HAS SOUPS 60178 WITH SCORE 60299.14
AT ITER 3811 NEW BEST:: SOT 568764 SOS 120916 HAS SOPS 120916 HAS SOUS 60089 HAS SOUPS 60089 WITH SCORE 60209.916
AT ITER 3814 NEW BEST:: SOT 568736 SOS 120860 HAS SOPS 120860 HAS SOUS 60052 HAS SOUPS 60052 WITH SCORE 60172.86
AT ITER 3827 NEW BEST:: SOT 568702 SOS 120792 HAS SOPS 120792 HAS SOUS 59984 HAS SOUPS 59984 WITH SCORE 60104.792
AT ITER 3845 NEW BEST:: SOT 568694 SOS 120352 HAS SOPS 120352 HAS SOUS 59968 HAS SOUPS 59968 WITH SCORE 60088.352
AT ITER 3887 NEW BEST:: SOT 568667 SOS 120442 HAS SOPS 120442 HAS SOUS 59950 HAS SOUPS 59950 WITH SCORE 60070.442
AT ITER 3937 NEW BEST:: SOT 568070 SOS 122032 HAS SOPS 122032 HAS SOUS 59856 HAS SOUPS 59856 WITH SCORE 59978.032
AT ITER 3943 NEW BEST:: SOT 568063 SOS 122018 HAS SOPS 122018 HAS SOUS 59842 HAS SOUPS 59842 WITH SCORE 59964.018
AT ITER 3948 NEW BEST:: SOT 568032 SOS 121956 HAS SOPS 121956 HAS SOUS 59780 HAS SOUPS 59780 WITH SCORE 59901.956
AT ITER 3968 NEW BEST:: SOT 568031 SOS 121954 HAS SOPS 121954 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59899.954
AT ITER 3974 NEW BEST:: SOT 568024 SOS 121940 HAS SOPS 121940 HAS SOUS 59764 HAS SOUPS 59764 WITH SCORE 59885.94
AT ITER 3982 NEW BEST:: SOT 567971 SOS 120961 HAS SOPS 120961 HAS SOUS 58895 HAS SOUPS 58895 WITH SCORE 59015.961
AT ITER 4007 NEW BEST:: SOT 567968 SOS 120955 HAS SOPS 120955 HAS SOUS 58887 HAS SOUPS 58887 WITH SCORE 59007.955
AT ITER 4008 NEW BEST:: SOT 567542 SOS 120529 HAS SOPS 120529 HAS SOUS 58821 HAS SOUPS 58821 WITH SCORE 58941.529
AT ITER 4136 NEW BEST:: SOT 567535 SOS 120515 HAS SOPS 120515 HAS SOUS 58814 HAS SOUPS 58814 WITH SCORE 58934.515
AT ITER 4140 NEW BEST:: SOT 567534 SOS 120513 HAS SOPS 120513 HAS SOUS 58813 HAS SOUPS 58813 WITH SCORE 58933.513
AT ITER 4174 NEW BEST:: SOT 567533 SOS 120511 HAS SOPS 120511 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 58931.511
AT ITER 4199 NEW BEST:: SOT 567532 SOS 120509 HAS SOPS 120509 HAS SOUS 58809 HAS SOUPS 58809 WITH SCORE 58929.509
AT ITER 4215 NEW BEST:: SOT 567531 SOS 120507 HAS SOPS 120507 HAS SOUS 58807 HAS SOUPS 58807 WITH SCORE 58927.507
AT ITER 4228 NEW BEST:: SOT 567530 SOS 120506 HAS SOPS 120506 HAS SOUS 58805 HAS SOUPS 58805 WITH SCORE 58925.506
AT ITER 4257 NEW BEST:: SOT 567523 SOS 120492 HAS SOPS 120492 HAS SOUS 58791 HAS SOUPS 58791 WITH SCORE 58911.492
AT ITER 4282 NEW BEST:: SOT 567498 SOS 120442 HAS SOPS 120442 HAS SOUS 58766 HAS SOUPS 58766 WITH SCORE 58886.442
AT ITER 4327 NEW BEST:: SOT 567398 SOS 120242 HAS SOPS 120242 HAS SOUS 58653 HAS SOUPS 58653 WITH SCORE 58773.242
AT ITER 4367 NEW BEST:: SOT 567398 SOS 120230 HAS SOPS 120230 HAS SOUS 58653 HAS SOUPS 58653 WITH SCORE 58773.23
AT ITER 4368 NEW BEST:: SOT 567384 SOS 120217 HAS SOPS 120217 HAS SOUS 58635 HAS SOUPS 58635 WITH SCORE 58755.217
AT ITER 4375 NEW BEST:: SOT 567383 SOS 120215 HAS SOPS 120215 HAS SOUS 58633 HAS SOUPS 58633 WITH SCORE 58753.215
AT ITER 4398 NEW BEST:: SOT 567373 SOS 120195 HAS SOPS 120195 HAS SOUS 58613 HAS SOUPS 58613 WITH SCORE 58733.195
AT ITER 4415 NEW BEST:: SOT 567373 SOS 120195 HAS SOPS 120195 HAS SOUS 58569 HAS SOUPS 58569 WITH SCORE 58689.195
AT ITER 4430 NEW BEST:: SOT 567334 SOS 120117 HAS SOPS 120117 HAS SOUS 58491 HAS SOUPS 58491 WITH SCORE 58611.117
AT ITER 4458 NEW BEST:: SOT 567334 SOS 120102 HAS SOPS 120102 HAS SOUS 58476 HAS SOUPS 58476 WITH SCORE 58596.102
AT ITER 4517 NEW BEST:: SOT 567325 SOS 120084 HAS SOPS 120084 HAS SOUS 58458 HAS SOUPS 58458 WITH SCORE 58578.084
AT ITER 4522 NEW BEST:: SOT 567300 SOS 120059 HAS SOPS 120059 HAS SOUS 58458 HAS SOUPS 58458 WITH SCORE 58578.059
AT ITER 4557 NEW BEST:: SOT 567299 SOS 120057 HAS SOPS 120057 HAS SOUS 58456 HAS SOUPS 58456 WITH SCORE 58576.057
AT ITER 4564 NEW BEST:: SOT 567274 SOS 120055 HAS SOPS 120055 HAS SOUS 58454 HAS SOUPS 58454 WITH SCORE 58574.055
AT ITER 4576 NEW BEST:: SOT 567260 SOS 118265 HAS SOPS 118265 HAS SOUS 58354 HAS SOUPS 58354 WITH SCORE 58472.265
AT ITER 4628 NEW BEST:: SOT 567234 SOS 118239 HAS SOPS 118239 HAS SOUS 58328 HAS SOUPS 58328 WITH SCORE 58446.239
AT ITER 4640 NEW BEST:: SOT 567234 SOS 118200 HAS SOPS 118200 HAS SOUS 58328 HAS SOUPS 58328 WITH SCORE 58446.2
AT ITER 4658 NEW BEST:: SOT 567182 SOS 118096 HAS SOPS 118096 HAS SOUS 58300 HAS SOUPS 58300 WITH SCORE 58418.096
AT ITER 4659 NEW BEST:: SOT 567172 SOS 118088 HAS SOPS 118088 HAS SOUS 58290 HAS SOUPS 58290 WITH SCORE 58408.088
AT ITER 4699 NEW BEST:: SOT 567135 SOS 118063 HAS SOPS 118063 HAS SOUS 58265 HAS SOUPS 58265 WITH SCORE 58383.063
AT ITER 4741 NEW BEST:: SOT 567069 SOS 117931 HAS SOPS 117931 HAS SOUS 58133 HAS SOUPS 58133 WITH SCORE 58250.931
AT ITER 4764 NEW BEST:: SOT 567051 SOS 117895 HAS SOPS 117895 HAS SOUS 58097 HAS SOUPS 58097 WITH SCORE 58214.895
AT ITER 4778 NEW BEST:: SOT 567044 SOS 117893 HAS SOPS 117893 HAS SOUS 58095 HAS SOUPS 58095 WITH SCORE 58212.893
AT ITER 4783 NEW BEST:: SOT 567044 SOS 117834 HAS SOPS 117834 HAS SOUS 58095 HAS SOUPS 58095 WITH SCORE 58212.834
AT ITER 4791 NEW BEST:: SOT 567010 SOS 117799 HAS SOPS 117799 HAS SOUS 58060 HAS SOUPS 58060 WITH SCORE 58177.799
AT ITER 4845 NEW BEST:: SOT 566940 SOS 117659 HAS SOPS 117659 HAS SOUS 57920 HAS SOUPS 57920 WITH SCORE 58037.659
AT ITER 4848 NEW BEST:: SOT 566939 SOS 117657 HAS SOPS 117657 HAS SOUS 57918 HAS SOUPS 57918 WITH SCORE 58035.657
AT ITER 4849 NEW BEST:: SOT 566947 SOS 117708 HAS SOPS 117708 HAS SOUS 57911 HAS SOUPS 57911 WITH SCORE 58028.708
AT ITER 4869 NEW BEST:: SOT 566935 SOS 117684 HAS SOPS 117684 HAS SOUS 57899 HAS SOUPS 57899 WITH SCORE 58016.684
AT ITER 4880 NEW BEST:: SOT 566916 SOS 117665 HAS SOPS 117665 HAS SOUS 57899 HAS SOUPS 57899 WITH SCORE 58016.665
AT ITER 4882 NEW BEST:: SOT 566866 SOS 117565 HAS SOPS 117565 HAS SOUS 57788 HAS SOUPS 57788 WITH SCORE 57905.565
AT ITER 4889 NEW BEST:: SOT 566848 SOS 117520 HAS SOPS 117520 HAS SOUS 57752 HAS SOUPS 57752 WITH SCORE 57869.52
AT ITER 4919 NEW BEST:: SOT 566837 SOS 117498 HAS SOPS 117498 HAS SOUS 57730 HAS SOUPS 57730 WITH SCORE 57847.498
AT ITER 4922 NEW BEST:: SOT 566813 SOS 117450 HAS SOPS 117450 HAS SOUS 57706 HAS SOUPS 57706 WITH SCORE 57823.45
AT ITER 4945 NEW BEST:: SOT 566760 SOS 117344 HAS SOPS 117344 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57664.344
AT ITER 4963 NEW BEST:: SOT 566738 SOS 117263 HAS SOPS 117263 HAS SOUS 57482 HAS SOUPS 57482 WITH SCORE 57599.263
AT ITER 4975 NEW BEST:: SOT 566650 SOS 117087 HAS SOPS 117087 HAS SOUS 57306 HAS SOUPS 57306 WITH SCORE 57423.087
AT ITER 4992 NEW BEST:: SOT 566639 SOS 117065 HAS SOPS 117065 HAS SOUS 57295 HAS SOUPS 57295 WITH SCORE 57412.065
AT ITER 5016 NEW BEST:: SOT 566621 SOS 117029 HAS SOPS 117029 HAS SOUS 57259 HAS SOUPS 57259 WITH SCORE 57376.029
AT ITER 5048 NEW BEST:: SOT 566621 SOS 112309 HAS SOPS 112309 HAS SOUS 57259 HAS SOUPS 57259 WITH SCORE 57371.309
AT ITER 5082 NEW BEST:: SOT 566621 SOS 112223 HAS SOPS 112223 HAS SOUS 57259 HAS SOUPS 57259 WITH SCORE 57371.223
AT ITER 5124 NEW BEST:: SOT 566604 SOS 112189 HAS SOPS 112189 HAS SOUS 57225 HAS SOUPS 57225 WITH SCORE 57337.189
AT ITER 5158 NEW BEST:: SOT 566536 SOS 112087 HAS SOPS 112087 HAS SOUS 57123 HAS SOUPS 57123 WITH SCORE 57235.087
AT ITER 5176 NEW BEST:: SOT 566511 SOS 112037 HAS SOPS 112037 HAS SOUS 57098 HAS SOUPS 57098 WITH SCORE 57210.037
AT ITER 5180 NEW BEST:: SOT 566512 SOS 112053 HAS SOPS 112053 HAS SOUS 57079 HAS SOUPS 57079 WITH SCORE 57191.053
AT ITER 5189 NEW BEST:: SOT 566488 SOS 112005 HAS SOPS 112005 HAS SOUS 57030 HAS SOUPS 57030 WITH SCORE 57142.005
AT ITER 5268 NEW BEST:: SOT 566487 SOS 111523 HAS SOPS 111523 HAS SOUS 56902 HAS SOUPS 56902 WITH SCORE 57013.523
AT ITER 5289 NEW BEST:: SOT 566454 SOS 111457 HAS SOPS 111457 HAS SOUS 56869 HAS SOUPS 56869 WITH SCORE 56980.457
AT ITER 5290 NEW BEST:: SOT 566421 SOS 111391 HAS SOPS 111391 HAS SOUS 56854 HAS SOUPS 56854 WITH SCORE 56965.391
AT ITER 5308 NEW BEST:: SOT 566406 SOS 111386 HAS SOPS 111386 HAS SOUS 56849 HAS SOUPS 56849 WITH SCORE 56960.386
AT ITER 5341 NEW BEST:: SOT 566389 SOS 111352 HAS SOPS 111352 HAS SOUS 56832 HAS SOUPS 56832 WITH SCORE 56943.352
AT ITER 5348 NEW BEST:: SOT 566352 SOS 111278 HAS SOPS 111278 HAS SOUS 56795 HAS SOUPS 56795 WITH SCORE 56906.278
AT ITER 5359 NEW BEST:: SOT 566307 SOS 111188 HAS SOPS 111188 HAS SOUS 56772 HAS SOUPS 56772 WITH SCORE 56883.188
AT ITER 5383 NEW BEST:: SOT 566310 SOS 111194 HAS SOPS 111194 HAS SOUS 56766 HAS SOUPS 56766 WITH SCORE 56877.194
AT ITER 5435 NEW BEST:: SOT 566307 SOS 111188 HAS SOPS 111188 HAS SOUS 56762 HAS SOUPS 56762 WITH SCORE 56873.188
AT ITER 5529 NEW BEST:: SOT 566334 SOS 111214 HAS SOPS 111214 HAS SOUS 56753 HAS SOUPS 56753 WITH SCORE 56864.214
AT ITER 5534 NEW BEST:: SOT 566366 SOS 111278 HAS SOPS 111278 HAS SOUS 56711 HAS SOUPS 56711 WITH SCORE 56822.278
AT ITER 5634 NEW BEST:: SOT 566366 SOS 111278 HAS SOPS 111278 HAS SOUS 56649 HAS SOUPS 56649 WITH SCORE 56760.278
AT ITER 5635 NEW BEST:: SOT 566348 SOS 111242 HAS SOPS 111242 HAS SOUS 56613 HAS SOUPS 56613 WITH SCORE 56724.242
AT ITER 5653 NEW BEST:: SOT 566344 SOS 111234 HAS SOPS 111234 HAS SOUS 56609 HAS SOUPS 56609 WITH SCORE 56720.234
AT ITER 5684 NEW BEST:: SOT 566203 SOS 110952 HAS SOPS 110952 HAS SOUS 56327 HAS SOUPS 56327 WITH SCORE 56437.952
AT ITER 5715 NEW BEST:: SOT 566203 SOS 110952 HAS SOPS 110952 HAS SOUS 56297 HAS SOUPS 56297 WITH SCORE 56407.952
AT ITER 5743 NEW BEST:: SOT 566194 SOS 110934 HAS SOPS 110934 HAS SOUS 56279 HAS SOUPS 56279 WITH SCORE 56389.934
AT ITER 5778 NEW BEST:: SOT 566188 SOS 110949 HAS SOPS 110949 HAS SOUS 56253 HAS SOUPS 56253 WITH SCORE 56363.949
AT ITER 5796 NEW BEST:: SOT 566158 SOS 110889 HAS SOPS 110889 HAS SOUS 56193 HAS SOUPS 56193 WITH SCORE 56303.889
AT ITER 5832 NEW BEST:: SOT 566154 SOS 110869 HAS SOPS 110869 HAS SOUS 56185 HAS SOUPS 56185 WITH SCORE 56295.869
AT ITER 5850 NEW BEST:: SOT 566149 SOS 110859 HAS SOPS 110859 HAS SOUS 56175 HAS SOUPS 56175 WITH SCORE 56285.859
AT ITER 5853 NEW BEST:: SOT 566148 SOS 110262 HAS SOPS 110262 HAS SOUS 56122 HAS SOUPS 56122 WITH SCORE 56232.262
AT ITER 5860 NEW BEST:: SOT 566122 SOS 110210 HAS SOPS 110210 HAS SOUS 56096 HAS SOUPS 56096 WITH SCORE 56206.21
AT ITER 6015 NEW BEST:: SOT 565172 SOS 109346 HAS SOPS 109346 HAS SOUS 55490 HAS SOUPS 55490 WITH SCORE 55599.346
AT ITER 6019 NEW BEST:: SOT 565168 SOS 109338 HAS SOPS 109338 HAS SOUS 55482 HAS SOUPS 55482 WITH SCORE 55591.338
AT ITER 6032 NEW BEST:: SOT 565180 SOS 109355 HAS SOPS 109355 HAS SOUS 55356 HAS SOUPS 55356 WITH SCORE 55465.355
AT ITER 6044 NEW BEST:: SOT 565174 SOS 109340 HAS SOPS 109340 HAS SOUS 55347 HAS SOUPS 55347 WITH SCORE 55456.34
AT ITER 6114 NEW BEST:: SOT 565154 SOS 109300 HAS SOPS 109300 HAS SOUS 55307 HAS SOUPS 55307 WITH SCORE 55416.3
AT ITER 6122 NEW BEST:: SOT 565117 SOS 109930 HAS SOPS 109930 HAS SOUS 55284 HAS SOUPS 55284 WITH SCORE 55393.93
AT ITER 6123 NEW BEST:: SOT 565004 SOS 109704 HAS SOPS 109704 HAS SOUS 55171 HAS SOUPS 55171 WITH SCORE 55280.704
AT ITER 6160 NEW BEST:: SOT 564996 SOS 109688 HAS SOPS 109688 HAS SOUS 55155 HAS SOUPS 55155 WITH SCORE 55264.688
AT ITER 6232 NEW BEST:: SOT 564993 SOS 109682 HAS SOPS 109682 HAS SOUS 55151 HAS SOUPS 55151 WITH SCORE 55260.682
AT ITER 6234 NEW BEST:: SOT 564991 SOS 109652 HAS SOPS 109652 HAS SOUS 55147 HAS SOUPS 55147 WITH SCORE 55256.652
AT ITER 6245 NEW BEST:: SOT 564946 SOS 109602 HAS SOPS 109602 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55206.602
AT ITER 6283 NEW BEST:: SOT 564951 SOS 109612 HAS SOPS 109612 HAS SOUS 54915 HAS SOUPS 54915 WITH SCORE 55024.612
AT ITER 6288 NEW BEST:: SOT 564965 SOS 109640 HAS SOPS 109640 HAS SOUS 54846 HAS SOUPS 54846 WITH SCORE 54955.64
AT ITER 6290 NEW BEST:: SOT 564964 SOS 109638 HAS SOPS 109638 HAS SOUS 54844 HAS SOUPS 54844 WITH SCORE 54953.638
AT ITER 6305 NEW BEST:: SOT 564956 SOS 109622 HAS SOPS 109622 HAS SOUS 54836 HAS SOUPS 54836 WITH SCORE 54945.622
AT ITER 6351 NEW BEST:: SOT 564955 SOS 109620 HAS SOPS 109620 HAS SOUS 54834 HAS SOUPS 54834 WITH SCORE 54943.62
AT ITER 6374 NEW BEST:: SOT 564953 SOS 109616 HAS SOPS 109616 HAS SOUS 54830 HAS SOUPS 54830 WITH SCORE 54939.616
AT ITER 6438 NEW BEST:: SOT 564945 SOS 109592 HAS SOPS 109592 HAS SOUS 54814 HAS SOUPS 54814 WITH SCORE 54923.592
AT ITER 6473 NEW BEST:: SOT 564753 SOS 109388 HAS SOPS 109388 HAS SOUS 54622 HAS SOUPS 54622 WITH SCORE 54731.388
AT ITER 6482 NEW BEST:: SOT 564750 SOS 109355 HAS SOPS 109355 HAS SOUS 54463 HAS SOUPS 54463 WITH SCORE 54572.355
AT ITER 6489 NEW BEST:: SOT 564752 SOS 109359 HAS SOPS 109359 HAS SOUS 54459 HAS SOUPS 54459 WITH SCORE 54568.359
AT ITER 6514 NEW BEST:: SOT 564663 SOS 109181 HAS SOPS 109181 HAS SOUS 54370 HAS SOUPS 54370 WITH SCORE 54479.181
AT ITER 6550 NEW BEST:: SOT 564660 SOS 109175 HAS SOPS 109175 HAS SOUS 54364 HAS SOUPS 54364 WITH SCORE 54473.175
AT ITER 6559 NEW BEST:: SOT 564631 SOS 109117 HAS SOPS 109117 HAS SOUS 54354 HAS SOUPS 54354 WITH SCORE 54463.117
AT ITER 6571 NEW BEST:: SOT 564623 SOS 109101 HAS SOPS 109101 HAS SOUS 54335 HAS SOUPS 54335 WITH SCORE 54444.101
AT ITER 6579 NEW BEST:: SOT 564559 SOS 108973 HAS SOPS 108973 HAS SOUS 54207 HAS SOUPS 54207 WITH SCORE 54315.973
AT ITER 6592 NEW BEST:: SOT 564551 SOS 108957 HAS SOPS 108957 HAS SOUS 54202 HAS SOUPS 54202 WITH SCORE 54310.957
AT ITER 6599 NEW BEST:: SOT 564546 SOS 108947 HAS SOPS 108947 HAS SOUS 54192 HAS SOUPS 54192 WITH SCORE 54300.947
AT ITER 6608 NEW BEST:: SOT 564524 SOS 108903 HAS SOPS 108903 HAS SOUS 54148 HAS SOUPS 54148 WITH SCORE 54256.903
AT ITER 6787 NEW BEST:: SOT 564524 SOS 108981 HAS SOPS 108981 HAS SOUS 54131 HAS SOUPS 54131 WITH SCORE 54239.981
AT ITER 6804 NEW BEST:: SOT 564519 SOS 108971 HAS SOPS 108971 HAS SOUS 54121 HAS SOUPS 54121 WITH SCORE 54229.971
AT ITER 6819 NEW BEST:: SOT 564505 SOS 108943 HAS SOPS 108943 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54215.943
AT ITER 6848 NEW BEST:: SOT 564505 SOS 108932 HAS SOPS 108932 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54215.932
AT ITER 6915 NEW BEST:: SOT 564504 SOS 108930 HAS SOPS 108930 HAS SOUS 54105 HAS SOUPS 54105 WITH SCORE 54213.93
AT ITER 6978 NEW BEST:: SOT 564498 SOS 108918 HAS SOPS 108918 HAS SOUS 54093 HAS SOUPS 54093 WITH SCORE 54201.918
AT ITER 6984 NEW BEST:: SOT 564458 SOS 108838 HAS SOPS 108838 HAS SOUS 54012 HAS SOUPS 54012 WITH SCORE 54120.838
AT ITER 7008 NEW BEST:: SOT 564402 SOS 108754 HAS SOPS 108754 HAS SOUS 53956 HAS SOUPS 53956 WITH SCORE 54064.754
AT ITER 7040 NEW BEST:: SOT 564402 SOS 108725 HAS SOPS 108725 HAS SOUS 53956 HAS SOUPS 53956 WITH SCORE 54064.725
AT ITER 7071 NEW BEST:: SOT 564381 SOS 108589 HAS SOPS 108589 HAS SOUS 53923 HAS SOUPS 53923 WITH SCORE 54031.589
AT ITER 7084 NEW BEST:: SOT 564378 SOS 108583 HAS SOPS 108583 HAS SOUS 53917 HAS SOUPS 53917 WITH SCORE 54025.583
AT ITER 7150 NEW BEST:: SOT 564378 SOS 107576 HAS SOPS 107576 HAS SOUS 53898 HAS SOUPS 53898 WITH SCORE 54005.576
AT ITER 7159 NEW BEST:: SOT 564373 SOS 107561 HAS SOPS 107561 HAS SOUS 53888 HAS SOUPS 53888 WITH SCORE 53995.561
AT ITER 7189 NEW BEST:: SOT 564354 SOS 107523 HAS SOPS 107523 HAS SOUS 53825 HAS SOUPS 53825 WITH SCORE 53932.523
AT ITER 7317 NEW BEST:: SOT 564337 SOS 107489 HAS SOPS 107489 HAS SOUS 53791 HAS SOUPS 53791 WITH SCORE 53898.489
AT ITER 7373 NEW BEST:: SOT 564330 SOS 107475 HAS SOPS 107475 HAS SOUS 53777 HAS SOUPS 53777 WITH SCORE 53884.475
AT ITER 7384 NEW BEST:: SOT 564320 SOS 107455 HAS SOPS 107455 HAS SOUS 53770 HAS SOUPS 53770 WITH SCORE 53877.455
AT ITER 7463 NEW BEST:: SOT 564307 SOS 107429 HAS SOPS 107429 HAS SOUS 53757 HAS SOUPS 53757 WITH SCORE 53864.429
AT ITER 7502 NEW BEST:: SOT 564244 SOS 107303 HAS SOPS 107303 HAS SOUS 53694 HAS SOUPS 53694 WITH SCORE 53801.303
AT ITER 7524 NEW BEST:: SOT 564228 SOS 107271 HAS SOPS 107271 HAS SOUS 53678 HAS SOUPS 53678 WITH SCORE 53785.271
AT ITER 7596 NEW BEST:: SOT 564220 SOS 107255 HAS SOPS 107255 HAS SOUS 53662 HAS SOUPS 53662 WITH SCORE 53769.255
AT ITER 7669 NEW BEST:: SOT 564216 SOS 107247 HAS SOPS 107247 HAS SOUS 53654 HAS SOUPS 53654 WITH SCORE 53761.247
AT ITER 7672 NEW BEST:: SOT 564211 SOS 107237 HAS SOPS 107237 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53756.237
AT ITER 7761 NEW BEST:: SOT 564213 SOS 107241 HAS SOPS 107241 HAS SOUS 53642 HAS SOUPS 53642 WITH SCORE 53749.241
AT ITER 7775 NEW BEST:: SOT 564213 SOS 110274 HAS SOPS 110274 HAS SOUS 53207 HAS SOUPS 53207 WITH SCORE 53317.274
AT ITER 7827 NEW BEST:: SOT 564187 SOS 110222 HAS SOPS 110222 HAS SOUS 53155 HAS SOUPS 53155 WITH SCORE 53265.222
AT ITER 7828 NEW BEST:: SOT 564154 SOS 110156 HAS SOPS 110156 HAS SOUS 53127 HAS SOUPS 53127 WITH SCORE 53237.156
AT ITER 7867 NEW BEST:: SOT 564114 SOS 110190 HAS SOPS 110190 HAS SOUS 53121 HAS SOUPS 53121 WITH SCORE 53231.19
AT ITER 7885 NEW BEST:: SOT 563952 SOS 109997 HAS SOPS 109997 HAS SOUS 52897 HAS SOUPS 52897 WITH SCORE 53006.997
AT ITER 7889 NEW BEST:: SOT 563951 SOS 109995 HAS SOPS 109995 HAS SOUS 52895 HAS SOUPS 52895 WITH SCORE 53004.995
AT ITER 7932 NEW BEST:: SOT 563916 SOS 109925 HAS SOPS 109925 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 52934.925
AT ITER 7939 NEW BEST:: SOT 563916 SOS 109823 HAS SOPS 109823 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 52934.823
AT ITER 7958 NEW BEST:: SOT 563911 SOS 109836 HAS SOPS 109836 HAS SOUS 52820 HAS SOUPS 52820 WITH SCORE 52929.836
AT ITER 7960 NEW BEST:: SOT 563914 SOS 109819 HAS SOPS 109819 HAS SOUS 52803 HAS SOUPS 52803 WITH SCORE 52912.819
AT ITER 7979 NEW BEST:: SOT 563839 SOS 109669 HAS SOPS 109669 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52866.669
AT ITER 7985 NEW BEST:: SOT 563831 SOS 109653 HAS SOPS 109653 HAS SOUS 52741 HAS SOUPS 52741 WITH SCORE 52850.653
AT ITER 8021 NEW BEST:: SOT 563831 SOS 109646 HAS SOPS 109646 HAS SOUS 52741 HAS SOUPS 52741 WITH SCORE 52850.646
AT ITER 8047 NEW BEST:: SOT 563831 SOS 109646 HAS SOPS 109646 HAS SOUS 52729 HAS SOUPS 52729 WITH SCORE 52838.646
AT ITER 8052 NEW BEST:: SOT 563822 SOS 109636 HAS SOPS 109636 HAS SOUS 52719 HAS SOUPS 52719 WITH SCORE 52828.636
AT ITER 8096 NEW BEST:: SOT 563762 SOS 109516 HAS SOPS 109516 HAS SOUS 52599 HAS SOUPS 52599 WITH SCORE 52708.516
AT ITER 8100 NEW BEST:: SOT 563354 SOS 109614 HAS SOPS 109614 HAS SOUS 52437 HAS SOUPS 52437 WITH SCORE 52546.614
AT ITER 8102 NEW BEST:: SOT 563327 SOS 109560 HAS SOPS 109560 HAS SOUS 52410 HAS SOUPS 52410 WITH SCORE 52519.56
AT ITER 8110 NEW BEST:: SOT 563298 SOS 109502 HAS SOPS 109502 HAS SOUS 52381 HAS SOUPS 52381 WITH SCORE 52490.502
AT ITER 8149 NEW BEST:: SOT 563298 SOS 109494 HAS SOPS 109494 HAS SOUS 52373 HAS SOUPS 52373 WITH SCORE 52482.494
AT ITER 8151 NEW BEST:: SOT 563279 SOS 109106 HAS SOPS 109106 HAS SOUS 52327 HAS SOUPS 52327 WITH SCORE 52436.106
AT ITER 8190 NEW BEST:: SOT 563216 SOS 108980 HAS SOPS 108980 HAS SOUS 52277 HAS SOUPS 52277 WITH SCORE 52385.98
AT ITER 8219 NEW BEST:: SOT 563198 SOS 108944 HAS SOPS 108944 HAS SOUS 52261 HAS SOUPS 52261 WITH SCORE 52369.944
AT ITER 8244 NEW BEST:: SOT 563187 SOS 108922 HAS SOPS 108922 HAS SOUS 52250 HAS SOUPS 52250 WITH SCORE 52358.922
AT ITER 8259 NEW BEST:: SOT 563185 SOS 108918 HAS SOPS 108918 HAS SOUS 52246 HAS SOUPS 52246 WITH SCORE 52354.918
AT ITER 8273 NEW BEST:: SOT 563152 SOS 108853 HAS SOPS 108853 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52349.853
AT ITER 8318 NEW BEST:: SOT 563090 SOS 108651 HAS SOPS 108651 HAS SOUS 52117 HAS SOUPS 52117 WITH SCORE 52225.651
AT ITER 8381 NEW BEST:: SOT 563043 SOS 108594 HAS SOPS 108594 HAS SOUS 52060 HAS SOUPS 52060 WITH SCORE 52168.594
AT ITER 8397 NEW BEST:: SOT 563022 SOS 108552 HAS SOPS 108552 HAS SOUS 52018 HAS SOUPS 52018 WITH SCORE 52126.552
AT ITER 8428 NEW BEST:: SOT 563025 SOS 108585 HAS SOPS 108585 HAS SOUS 51781 HAS SOUPS 51781 WITH SCORE 51889.585
AT ITER 8440 NEW BEST:: SOT 563011 SOS 108557 HAS SOPS 108557 HAS SOUS 51767 HAS SOUPS 51767 WITH SCORE 51875.557
AT ITER 8441 NEW BEST:: SOT 562994 SOS 108523 HAS SOPS 108523 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51841.523
AT ITER 8477 NEW BEST:: SOT 562989 SOS 108513 HAS SOPS 108513 HAS SOUS 51723 HAS SOUPS 51723 WITH SCORE 51831.513
AT ITER 8552 NEW BEST:: SOT 562988 SOS 108511 HAS SOPS 108511 HAS SOUS 51722 HAS SOUPS 51722 WITH SCORE 51830.511
AT ITER 8676 NEW BEST:: SOT 562975 SOS 108485 HAS SOPS 108485 HAS SOUS 51696 HAS SOUPS 51696 WITH SCORE 51804.485
AT ITER 8813 NEW BEST:: SOT 562960 SOS 108455 HAS SOPS 108455 HAS SOUS 51666 HAS SOUPS 51666 WITH SCORE 51774.455
AT ITER 8851 NEW BEST:: SOT 562970 SOS 108432 HAS SOPS 108432 HAS SOUS 51666 HAS SOUPS 51666 WITH SCORE 51774.432
AT ITER 8864 NEW BEST:: SOT 562965 SOS 108422 HAS SOPS 108422 HAS SOUS 51656 HAS SOUPS 51656 WITH SCORE 51764.422
AT ITER 8906 NEW BEST:: SOT 562963 SOS 108415 HAS SOPS 108415 HAS SOUS 51652 HAS SOUPS 51652 WITH SCORE 51760.415
AT ITER 8990 NEW BEST:: SOT 562956 SOS 108413 HAS SOPS 108413 HAS SOUS 51650 HAS SOUPS 51650 WITH SCORE 51758.413
AT ITER 9000 NEW BEST:: SOT 562956 SOS 108426 HAS SOPS 108426 HAS SOUS 51637 HAS SOUPS 51637 WITH SCORE 51745.426
AT ITER 9011 NEW BEST:: SOT 562983 SOS 108424 HAS SOPS 108424 HAS SOUS 51635 HAS SOUPS 51635 WITH SCORE 51743.424
AT ITER 9031 NEW BEST:: SOT 562982 SOS 108401 HAS SOPS 108401 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51741.401
AT ITER 9126 NEW BEST:: SOT 562981 SOS 105947 HAS SOPS 105947 HAS SOUS 51601 HAS SOUPS 51601 WITH SCORE 51706.947
AT ITER 9164 NEW BEST:: SOT 562946 SOS 105804 HAS SOPS 105804 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51667.804
AT ITER 9177 NEW BEST:: SOT 562941 SOS 105794 HAS SOPS 105794 HAS SOUS 51552 HAS SOUPS 51552 WITH SCORE 51657.794
AT ITER 9228 NEW BEST:: SOT 562949 SOS 105765 HAS SOPS 105765 HAS SOUS 51523 HAS SOUPS 51523 WITH SCORE 51628.765
AT ITER 9267 NEW BEST:: SOT 562906 SOS 105679 HAS SOPS 105679 HAS SOUS 51437 HAS SOUPS 51437 WITH SCORE 51542.679
AT ITER 9284 NEW BEST:: SOT 562875 SOS 105648 HAS SOPS 105648 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51511.648
AT ITER 9305 NEW BEST:: SOT 562873 SOS 105644 HAS SOPS 105644 HAS SOUS 51404 HAS SOUPS 51404 WITH SCORE 51509.644
AT ITER 9524 NEW BEST:: SOT 562866 SOS 105630 HAS SOPS 105630 HAS SOUS 51390 HAS SOUPS 51390 WITH SCORE 51495.63
AT ITER 9549 NEW BEST:: SOT 562840 SOS 105738 HAS SOPS 105738 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51479.738
AT ITER 9654 NEW BEST:: SOT 562835 SOS 105728 HAS SOPS 105728 HAS SOUS 51364 HAS SOUPS 51364 WITH SCORE 51469.728
AT ITER 9733 NEW BEST:: SOT 562831 SOS 105726 HAS SOPS 105726 HAS SOUS 51360 HAS SOUPS 51360 WITH SCORE 51465.726
AT ITER 9781 NEW BEST:: SOT 562837 SOS 106887 HAS SOPS 106887 HAS SOUS 51358 HAS SOUPS 51358 WITH SCORE 51464.887
AT ITER 9824 NEW BEST:: SOT 562834 SOS 106888 HAS SOPS 106888 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51457.888
AT ITER 9834 NEW BEST:: SOT 562802 SOS 106824 HAS SOPS 106824 HAS SOUS 51287 HAS SOUPS 51287 WITH SCORE 51393.824
AT ITER 9844 NEW BEST:: SOT 562792 SOS 106804 HAS SOPS 106804 HAS SOUS 51267 HAS SOUPS 51267 WITH SCORE 51373.804
AT ITER 9861 NEW BEST:: SOT 562759 SOS 106738 HAS SOPS 106738 HAS SOUS 51201 HAS SOUPS 51201 WITH SCORE 51307.738
AT ITER 9906 NEW BEST:: SOT 562755 SOS 106730 HAS SOPS 106730 HAS SOUS 51200 HAS SOUPS 51200 WITH SCORE 51306.73
AT ITER 9952 NEW BEST:: SOT 562743 SOS 106706 HAS SOPS 106706 HAS SOUS 51176 HAS SOUPS 51176 WITH SCORE 51282.706
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11481024 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152016 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="StigmergyElection-PT-05b"
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 StigmergyElection-PT-05b, 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 r451-smll-167912643700616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-05b.tgz
mv StigmergyElection-PT-05b 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 ;