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.r003-oct2-167813591100624.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 12:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 228K Mar 5 18:22 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 1678474131675

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=AutonomousCar-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 06b
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: 289 places, 644 transitions, 3812 arcs.
AT ITER 0 NEW BEST:: SOT 136456 SOS 44868 HAS SOPS 44868 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21319.868
AT ITER 8 NEW BEST:: SOT 135591 SOS 48790 HAS SOPS 48790 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20675.79
AT ITER 22 NEW BEST:: SOT 135591 SOS 48777 HAS SOPS 48777 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20675.777
AT ITER 28 NEW BEST:: SOT 135720 SOS 48778 HAS SOPS 48778 HAS SOUS 20380 HAS SOUPS 20380 WITH SCORE 20428.778
AT ITER 31 NEW BEST:: SOT 135693 SOS 48770 HAS SOPS 48770 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20420.77
AT ITER 37 NEW BEST:: SOT 135694 SOS 48772 HAS SOPS 48772 HAS SOUS 20334 HAS SOUPS 20334 WITH SCORE 20382.772
AT ITER 39 NEW BEST:: SOT 135729 SOS 48772 HAS SOPS 48772 HAS SOUS 20299 HAS SOUPS 20299 WITH SCORE 20347.772
AT ITER 45 NEW BEST:: SOT 135727 SOS 48768 HAS SOPS 48768 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20343.768
AT ITER 47 NEW BEST:: SOT 135657 SOS 48654 HAS SOPS 48654 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20307.654
AT ITER 49 NEW BEST:: SOT 135582 SOS 50154 HAS SOPS 50154 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20234.154
AT ITER 59 NEW BEST:: SOT 135597 SOS 50110 HAS SOPS 50110 HAS SOUS 20162 HAS SOUPS 20162 WITH SCORE 20212.11
AT ITER 68 NEW BEST:: SOT 135625 SOS 50116 HAS SOPS 50116 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20190.116
AT ITER 77 NEW BEST:: SOT 135617 SOS 50100 HAS SOPS 50100 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20161.1
AT ITER 78 NEW BEST:: SOT 135617 SOS 50097 HAS SOPS 50097 HAS SOUS 20108 HAS SOUPS 20108 WITH SCORE 20158.097
AT ITER 81 NEW BEST:: SOT 135588 SOS 50068 HAS SOPS 50068 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20129.068
AT ITER 91 NEW BEST:: SOT 135568 SOS 50047 HAS SOPS 50047 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20113.047
AT ITER 92 NEW BEST:: SOT 135170 SOS 49638 HAS SOPS 49638 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19891.638
AT ITER 100 NEW BEST:: SOT 135187 SOS 49672 HAS SOPS 49672 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19880.672
AT ITER 115 NEW BEST:: SOT 135152 SOS 49638 HAS SOPS 49638 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19846.638
AT ITER 126 NEW BEST:: SOT 135134 SOS 49622 HAS SOPS 49622 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19829.622
AT ITER 134 NEW BEST:: SOT 135133 SOS 49620 HAS SOPS 49620 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19827.62
AT ITER 171 NEW BEST:: SOT 135113 SOS 49621 HAS SOPS 49621 HAS SOUS 19773 HAS SOUPS 19773 WITH SCORE 19822.621
AT ITER 176 NEW BEST:: SOT 135105 SOS 49614 HAS SOPS 49614 HAS SOUS 19765 HAS SOUPS 19765 WITH SCORE 19814.614
AT ITER 188 NEW BEST:: SOT 134793 SOS 49234 HAS SOPS 49234 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19742.234
AT ITER 192 NEW BEST:: SOT 134529 SOS 48928 HAS SOPS 48928 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19605.928
AT ITER 193 NEW BEST:: SOT 134529 SOS 48919 HAS SOPS 48919 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19596.919
AT ITER 195 NEW BEST:: SOT 134558 SOS 48924 HAS SOPS 48924 HAS SOUS 19524 HAS SOUPS 19524 WITH SCORE 19572.924
AT ITER 212 NEW BEST:: SOT 134503 SOS 48857 HAS SOPS 48857 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19499.857
AT ITER 218 NEW BEST:: SOT 134489 SOS 48829 HAS SOPS 48829 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19471.829
AT ITER 219 NEW BEST:: SOT 134478 SOS 48807 HAS SOPS 48807 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19449.807
AT ITER 246 NEW BEST:: SOT 134478 SOS 48829 HAS SOPS 48829 HAS SOUS 19269 HAS SOUPS 19269 WITH SCORE 19317.829
AT ITER 249 NEW BEST:: SOT 134472 SOS 48817 HAS SOPS 48817 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19311.817
AT ITER 257 NEW BEST:: SOT 134455 SOS 48783 HAS SOPS 48783 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19282.783
AT ITER 272 NEW BEST:: SOT 134445 SOS 48744 HAS SOPS 48744 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19243.744
AT ITER 312 NEW BEST:: SOT 134445 SOS 48737 HAS SOPS 48737 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19236.737
AT ITER 317 NEW BEST:: SOT 134448 SOS 48735 HAS SOPS 48735 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19235.735
AT ITER 323 NEW BEST:: SOT 134436 SOS 48723 HAS SOPS 48723 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19211.723
AT ITER 340 NEW BEST:: SOT 134406 SOS 48688 HAS SOPS 48688 HAS SOUS 19103 HAS SOUPS 19103 WITH SCORE 19151.688
AT ITER 376 NEW BEST:: SOT 134328 SOS 48630 HAS SOPS 48630 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19122.63
AT ITER 381 NEW BEST:: SOT 134345 SOS 48642 HAS SOPS 48642 HAS SOUS 18975 HAS SOUPS 18975 WITH SCORE 19023.642
AT ITER 383 NEW BEST:: SOT 134368 SOS 48688 HAS SOPS 48688 HAS SOUS 18931 HAS SOUPS 18931 WITH SCORE 18979.688
AT ITER 391 NEW BEST:: SOT 134354 SOS 48660 HAS SOPS 48660 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18951.66
AT ITER 418 NEW BEST:: SOT 134150 SOS 48432 HAS SOPS 48432 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18772.432
AT ITER 422 NEW BEST:: SOT 134109 SOS 48350 HAS SOPS 48350 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18607.35
AT ITER 447 NEW BEST:: SOT 133977 SOS 48205 HAS SOPS 48205 HAS SOUS 18414 HAS SOUPS 18414 WITH SCORE 18462.205
AT ITER 471 NEW BEST:: SOT 133977 SOS 48205 HAS SOPS 48205 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18456.205
AT ITER 488 NEW BEST:: SOT 133965 SOS 48164 HAS SOPS 48164 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18432.164
AT ITER 493 NEW BEST:: SOT 133974 SOS 48152 HAS SOPS 48152 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18410.152
AT ITER 494 NEW BEST:: SOT 133955 SOS 48152 HAS SOPS 48152 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18391.152
AT ITER 502 NEW BEST:: SOT 133955 SOS 48163 HAS SOPS 48163 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18384.163
AT ITER 517 NEW BEST:: SOT 133936 SOS 48144 HAS SOPS 48144 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18365.144
AT ITER 547 NEW BEST:: SOT 133914 SOS 48100 HAS SOPS 48100 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18321.1
AT ITER 549 NEW BEST:: SOT 133894 SOS 48039 HAS SOPS 48039 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18301.039
AT ITER 566 NEW BEST:: SOT 133901 SOS 48032 HAS SOPS 48032 HAS SOUS 18246 HAS SOUPS 18246 WITH SCORE 18294.032
AT ITER 594 NEW BEST:: SOT 133901 SOS 48032 HAS SOPS 48032 HAS SOUS 18223 HAS SOUPS 18223 WITH SCORE 18271.032
AT ITER 631 NEW BEST:: SOT 133578 SOS 47667 HAS SOPS 47667 HAS SOUS 17966 HAS SOUPS 17966 WITH SCORE 18013.667
AT ITER 656 NEW BEST:: SOT 133567 SOS 47645 HAS SOPS 47645 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17992.645
AT ITER 664 NEW BEST:: SOT 133581 SOS 47633 HAS SOPS 47633 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17972.633
AT ITER 676 NEW BEST:: SOT 133467 SOS 47519 HAS SOPS 47519 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17715.519
AT ITER 678 NEW BEST:: SOT 133466 SOS 47517 HAS SOPS 47517 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17713.517
AT ITER 681 NEW BEST:: SOT 133480 SOS 47545 HAS SOPS 47545 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17711.545
AT ITER 705 NEW BEST:: SOT 133505 SOS 47506 HAS SOPS 47506 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17670.506
AT ITER 723 NEW BEST:: SOT 133519 SOS 47501 HAS SOPS 47501 HAS SOUS 17615 HAS SOUPS 17615 WITH SCORE 17662.501
AT ITER 724 NEW BEST:: SOT 133488 SOS 47377 HAS SOPS 47377 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17600.377
AT ITER 748 NEW BEST:: SOT 133430 SOS 47348 HAS SOPS 47348 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17571.348
AT ITER 760 NEW BEST:: SOT 133455 SOS 47348 HAS SOPS 47348 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17434.348
AT ITER 774 NEW BEST:: SOT 133459 SOS 47344 HAS SOPS 47344 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17386.344
AT ITER 786 NEW BEST:: SOT 133444 SOS 47351 HAS SOPS 47351 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17361.351
AT ITER 798 NEW BEST:: SOT 133341 SOS 47222 HAS SOPS 47222 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17307.222
AT ITER 804 NEW BEST:: SOT 133323 SOS 47186 HAS SOPS 47186 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17286.186
AT ITER 837 NEW BEST:: SOT 133318 SOS 47171 HAS SOPS 47171 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17271.171
AT ITER 847 NEW BEST:: SOT 133318 SOS 47170 HAS SOPS 47170 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17270.17
AT ITER 849 NEW BEST:: SOT 133304 SOS 47142 HAS SOPS 47142 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17242.142
AT ITER 855 NEW BEST:: SOT 133298 SOS 46854 HAS SOPS 46854 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17235.854
AT ITER 856 NEW BEST:: SOT 133362 SOS 46934 HAS SOPS 46934 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17055.934
AT ITER 866 NEW BEST:: SOT 133340 SOS 46901 HAS SOPS 46901 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17033.901
AT ITER 870 NEW BEST:: SOT 133343 SOS 47039 HAS SOPS 47039 HAS SOUS 16982 HAS SOUPS 16982 WITH SCORE 17029.039
AT ITER 874 NEW BEST:: SOT 133332 SOS 47006 HAS SOPS 47006 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 17007.006
AT ITER 881 NEW BEST:: SOT 133311 SOS 47027 HAS SOPS 47027 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16990.027
AT ITER 965 NEW BEST:: SOT 133307 SOS 47019 HAS SOPS 47019 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16982.019
AT ITER 981 NEW BEST:: SOT 133292 SOS 46989 HAS SOPS 46989 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16951.989
AT ITER 1003 NEW BEST:: SOT 133276 SOS 46973 HAS SOPS 46973 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16951.973
AT ITER 1010 NEW BEST:: SOT 133236 SOS 46949 HAS SOPS 46949 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16927.949
AT ITER 1017 NEW BEST:: SOT 132988 SOS 46651 HAS SOPS 46651 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16684.651
AT ITER 1027 NEW BEST:: SOT 132985 SOS 46645 HAS SOPS 46645 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16676.645
AT ITER 1060 NEW BEST:: SOT 132973 SOS 46648 HAS SOPS 46648 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16674.648
AT ITER 1067 NEW BEST:: SOT 132832 SOS 46508 HAS SOPS 46508 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16460.508
AT ITER 1070 NEW BEST:: SOT 132796 SOS 46472 HAS SOPS 46472 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16460.472
AT ITER 1080 NEW BEST:: SOT 132767 SOS 46414 HAS SOPS 46414 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16402.414
AT ITER 1090 NEW BEST:: SOT 132767 SOS 45886 HAS SOPS 45886 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16401.886
AT ITER 1095 NEW BEST:: SOT 132760 SOS 45872 HAS SOPS 45872 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16387.872
AT ITER 1102 NEW BEST:: SOT 132760 SOS 45864 HAS SOPS 45864 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16387.864
AT ITER 1122 NEW BEST:: SOT 132759 SOS 45849 HAS SOPS 45849 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16373.849
AT ITER 1124 NEW BEST:: SOT 132758 SOS 45847 HAS SOPS 45847 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16371.847
AT ITER 1148 NEW BEST:: SOT 132760 SOS 45836 HAS SOPS 45836 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16362.836
AT ITER 1180 NEW BEST:: SOT 132754 SOS 45824 HAS SOPS 45824 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16350.824
AT ITER 1200 NEW BEST:: SOT 132754 SOS 45811 HAS SOPS 45811 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16350.811
AT ITER 1202 NEW BEST:: SOT 132754 SOS 49825 HAS SOPS 49825 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16321.825
AT ITER 1209 NEW BEST:: SOT 132753 SOS 49823 HAS SOPS 49823 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16310.823
AT ITER 1247 NEW BEST:: SOT 132729 SOS 49775 HAS SOPS 49775 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16238.775
AT ITER 1257 NEW BEST:: SOT 132729 SOS 49775 HAS SOPS 49775 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16231.775
AT ITER 1288 NEW BEST:: SOT 132729 SOS 49773 HAS SOPS 49773 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16230.773
AT ITER 1298 NEW BEST:: SOT 132726 SOS 49767 HAS SOPS 49767 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16224.767
AT ITER 1333 NEW BEST:: SOT 132698 SOS 49767 HAS SOPS 49767 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16196.767
AT ITER 1334 NEW BEST:: SOT 132656 SOS 49711 HAS SOPS 49711 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16140.711
AT ITER 1343 NEW BEST:: SOT 132682 SOS 49731 HAS SOPS 49731 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16128.731
AT ITER 1350 NEW BEST:: SOT 132673 SOS 49713 HAS SOPS 49713 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16119.713
AT ITER 1353 NEW BEST:: SOT 132673 SOS 49710 HAS SOPS 49710 HAS SOUS 16067 HAS SOUPS 16067 WITH SCORE 16116.71
AT ITER 1357 NEW BEST:: SOT 132657 SOS 49700 HAS SOPS 49700 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16086.7
AT ITER 1362 NEW BEST:: SOT 132657 SOS 49699 HAS SOPS 49699 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16086.699
AT ITER 1378 NEW BEST:: SOT 132631 SOS 49709 HAS SOPS 49709 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16074.709
AT ITER 1391 NEW BEST:: SOT 132628 SOS 49703 HAS SOPS 49703 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16068.703
AT ITER 1419 NEW BEST:: SOT 132627 SOS 49701 HAS SOPS 49701 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16064.701
AT ITER 1452 NEW BEST:: SOT 132627 SOS 49689 HAS SOPS 49689 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16052.689
AT ITER 1462 NEW BEST:: SOT 132627 SOS 49689 HAS SOPS 49689 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16040.689
AT ITER 1465 NEW BEST:: SOT 132627 SOS 49689 HAS SOPS 49689 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16038.689
AT ITER 1466 NEW BEST:: SOT 132625 SOS 49685 HAS SOPS 49685 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16034.685
AT ITER 1484 NEW BEST:: SOT 132609 SOS 49653 HAS SOPS 49653 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 16002.653
AT ITER 1491 NEW BEST:: SOT 132604 SOS 49643 HAS SOPS 49643 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15992.643
AT ITER 1513 NEW BEST:: SOT 132603 SOS 49641 HAS SOPS 49641 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15990.641
AT ITER 1520 NEW BEST:: SOT 132585 SOS 49607 HAS SOPS 49607 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15970.607
AT ITER 1529 NEW BEST:: SOT 132585 SOS 49475 HAS SOPS 49475 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15968.475
AT ITER 1550 NEW BEST:: SOT 132599 SOS 49460 HAS SOPS 49460 HAS SOUS 15663 HAS SOUPS 15663 WITH SCORE 15712.46
AT ITER 1573 NEW BEST:: SOT 132394 SOS 49265 HAS SOPS 49265 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15672.265
AT ITER 1575 NEW BEST:: SOT 132393 SOS 49263 HAS SOPS 49263 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15670.263
AT ITER 1589 NEW BEST:: SOT 132390 SOS 49257 HAS SOPS 49257 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15664.257
AT ITER 1638 NEW BEST:: SOT 132395 SOS 49262 HAS SOPS 49262 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15657.262
AT ITER 1639 NEW BEST:: SOT 132386 SOS 49256 HAS SOPS 49256 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15652.256
AT ITER 1657 NEW BEST:: SOT 132335 SOS 49154 HAS SOPS 49154 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15588.154
AT ITER 1665 NEW BEST:: SOT 132335 SOS 49136 HAS SOPS 49136 HAS SOUS 15539 HAS SOUPS 15539 WITH SCORE 15588.136
AT ITER 1676 NEW BEST:: SOT 132338 SOS 48860 HAS SOPS 48860 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15586.86
AT ITER 1705 NEW BEST:: SOT 132338 SOS 48855 HAS SOPS 48855 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15583.855
AT ITER 1725 NEW BEST:: SOT 132329 SOS 48837 HAS SOPS 48837 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15544.837
AT ITER 1762 NEW BEST:: SOT 132329 SOS 48828 HAS SOPS 48828 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15539.828
AT ITER 1783 NEW BEST:: SOT 132328 SOS 48826 HAS SOPS 48826 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15537.826
AT ITER 1789 NEW BEST:: SOT 132322 SOS 48841 HAS SOPS 48841 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15531.841
AT ITER 1795 NEW BEST:: SOT 132306 SOS 48825 HAS SOPS 48825 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15523.825
AT ITER 1825 NEW BEST:: SOT 132292 SOS 46347 HAS SOPS 46347 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15500.347
AT ITER 1837 NEW BEST:: SOT 132289 SOS 46330 HAS SOPS 46330 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15486.33
AT ITER 1846 NEW BEST:: SOT 132272 SOS 46310 HAS SOPS 46310 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15461.31
AT ITER 1871 NEW BEST:: SOT 132187 SOS 46220 HAS SOPS 46220 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15376.22
AT ITER 1942 NEW BEST:: SOT 132175 SOS 46208 HAS SOPS 46208 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15356.208
AT ITER 1946 NEW BEST:: SOT 132174 SOS 46206 HAS SOPS 46206 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15354.206
AT ITER 1963 NEW BEST:: SOT 132155 SOS 46168 HAS SOPS 46168 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15316.168
AT ITER 1981 NEW BEST:: SOT 132119 SOS 46096 HAS SOPS 46096 HAS SOUS 15205 HAS SOUPS 15205 WITH SCORE 15251.096
AT ITER 2029 NEW BEST:: SOT 132112 SOS 46089 HAS SOPS 46089 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15244.089
AT ITER 2032 NEW BEST:: SOT 132110 SOS 46083 HAS SOPS 46083 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15238.083
AT ITER 2035 NEW BEST:: SOT 132104 SOS 46080 HAS SOPS 46080 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15235.08
AT ITER 2039 NEW BEST:: SOT 132034 SOS 42316 HAS SOPS 42316 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15209.316
AT ITER 2056 NEW BEST:: SOT 131920 SOS 42195 HAS SOPS 42195 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15137.195
AT ITER 2077 NEW BEST:: SOT 131920 SOS 41367 HAS SOPS 41367 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15136.367
AT ITER 2121 NEW BEST:: SOT 131911 SOS 41366 HAS SOPS 41366 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15135.366
AT ITER 2135 NEW BEST:: SOT 131908 SOS 41360 HAS SOPS 41360 HAS SOUS 15088 HAS SOUPS 15088 WITH SCORE 15129.36
AT ITER 2143 NEW BEST:: SOT 131898 SOS 41301 HAS SOPS 41301 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15123.301
AT ITER 2178 NEW BEST:: SOT 131897 SOS 41286 HAS SOPS 41286 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15121.286
AT ITER 2190 NEW BEST:: SOT 132061 SOS 41371 HAS SOPS 41371 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15119.371
AT ITER 2223 NEW BEST:: SOT 132053 SOS 41355 HAS SOPS 41355 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15103.355
AT ITER 2267 NEW BEST:: SOT 132053 SOS 41349 HAS SOPS 41349 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15097.349
AT ITER 2282 NEW BEST:: SOT 132025 SOS 41293 HAS SOPS 41293 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15047.293
AT ITER 2317 NEW BEST:: SOT 132020 SOS 40455 HAS SOPS 40455 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15041.455
AT ITER 2330 NEW BEST:: SOT 132017 SOS 40454 HAS SOPS 40454 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15035.454
AT ITER 2341 NEW BEST:: SOT 132017 SOS 40454 HAS SOPS 40454 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15034.454
AT ITER 2343 NEW BEST:: SOT 132017 SOS 40454 HAS SOPS 40454 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15032.454
AT ITER 2360 NEW BEST:: SOT 132022 SOS 40464 HAS SOPS 40464 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15006.464
AT ITER 2375 NEW BEST:: SOT 132022 SOS 40462 HAS SOPS 40462 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15006.462
AT ITER 2379 NEW BEST:: SOT 132032 SOS 40482 HAS SOPS 40482 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14988.482
AT ITER 2385 NEW BEST:: SOT 132024 SOS 40466 HAS SOPS 40466 HAS SOUS 14929 HAS SOUPS 14929 WITH SCORE 14969.466
AT ITER 2392 NEW BEST:: SOT 132005 SOS 40444 HAS SOPS 40444 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14881.444
AT ITER 2406 NEW BEST:: SOT 132042 SOS 40452 HAS SOPS 40452 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14872.452
AT ITER 2429 NEW BEST:: SOT 131989 SOS 40399 HAS SOPS 40399 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14819.399
AT ITER 2537 NEW BEST:: SOT 131899 SOS 40303 HAS SOPS 40303 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14723.303
AT ITER 2554 NEW BEST:: SOT 131869 SOS 40292 HAS SOPS 40292 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14712.292
AT ITER 2562 NEW BEST:: SOT 131645 SOS 40053 HAS SOPS 40053 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14580.053
AT ITER 2586 NEW BEST:: SOT 131633 SOS 40029 HAS SOPS 40029 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14556.029
AT ITER 2618 NEW BEST:: SOT 131620 SOS 40003 HAS SOPS 40003 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14530.003
AT ITER 2624 NEW BEST:: SOT 131606 SOS 39975 HAS SOPS 39975 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14501.975
AT ITER 2632 NEW BEST:: SOT 131601 SOS 39965 HAS SOPS 39965 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14496.965
AT ITER 2647 NEW BEST:: SOT 131598 SOS 39964 HAS SOPS 39964 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14495.964
AT ITER 2662 NEW BEST:: SOT 131598 SOS 40885 HAS SOPS 40885 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14493.885
AT ITER 2687 NEW BEST:: SOT 131623 SOS 40873 HAS SOPS 40873 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14487.873
AT ITER 2711 NEW BEST:: SOT 131569 SOS 40829 HAS SOPS 40829 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14433.829
AT ITER 2719 NEW BEST:: SOT 131560 SOS 40812 HAS SOPS 40812 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14416.812
AT ITER 2728 NEW BEST:: SOT 131565 SOS 40822 HAS SOPS 40822 HAS SOUS 14370 HAS SOUPS 14370 WITH SCORE 14410.822
AT ITER 2739 NEW BEST:: SOT 131562 SOS 40816 HAS SOPS 40816 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14404.816
AT ITER 2758 NEW BEST:: SOT 131374 SOS 40716 HAS SOPS 40716 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14216.716
AT ITER 2770 NEW BEST:: SOT 131325 SOS 39760 HAS SOPS 39760 HAS SOUS 14170 HAS SOUPS 14170 WITH SCORE 14209.76
AT ITER 2829 NEW BEST:: SOT 131352 SOS 39778 HAS SOPS 39778 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14205.778
AT ITER 2850 NEW BEST:: SOT 131348 SOS 39782 HAS SOPS 39782 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14197.782
AT ITER 2864 NEW BEST:: SOT 131348 SOS 39781 HAS SOPS 39781 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14197.781
AT ITER 2884 NEW BEST:: SOT 131348 SOS 39776 HAS SOPS 39776 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14197.776
AT ITER 2885 NEW BEST:: SOT 131329 SOS 39719 HAS SOPS 39719 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14146.719
AT ITER 2890 NEW BEST:: SOT 131328 SOS 39700 HAS SOPS 39700 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14128.7
AT ITER 2908 NEW BEST:: SOT 131322 SOS 39691 HAS SOPS 39691 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14121.691
AT ITER 2923 NEW BEST:: SOT 131311 SOS 40065 HAS SOPS 40065 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14112.065
AT ITER 2968 NEW BEST:: SOT 131326 SOS 45633 HAS SOPS 45633 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14063.633
AT ITER 2984 NEW BEST:: SOT 131304 SOS 45589 HAS SOPS 45589 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14063.589
AT ITER 3013 NEW BEST:: SOT 131304 SOS 45587 HAS SOPS 45587 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14061.587
AT ITER 3054 NEW BEST:: SOT 131301 SOS 45588 HAS SOPS 45588 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14056.588
AT ITER 3056 NEW BEST:: SOT 131301 SOS 45566 HAS SOPS 45566 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14056.566
AT ITER 3062 NEW BEST:: SOT 131125 SOS 45308 HAS SOPS 45308 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13998.308
AT ITER 3063 NEW BEST:: SOT 131125 SOS 45308 HAS SOPS 45308 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13988.308
AT ITER 3068 NEW BEST:: SOT 130969 SOS 45139 HAS SOPS 45139 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13819.139
AT ITER 3105 NEW BEST:: SOT 130955 SOS 45111 HAS SOPS 45111 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13798.111
AT ITER 3139 NEW BEST:: SOT 130914 SOS 45053 HAS SOPS 45053 HAS SOUS 13727 HAS SOUPS 13727 WITH SCORE 13772.053
AT ITER 3155 NEW BEST:: SOT 130914 SOS 45021 HAS SOPS 45021 HAS SOUS 13727 HAS SOUPS 13727 WITH SCORE 13772.021
AT ITER 3172 NEW BEST:: SOT 130916 SOS 45025 HAS SOPS 45025 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13770.025
AT ITER 3173 NEW BEST:: SOT 130896 SOS 44985 HAS SOPS 44985 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13743.985
AT ITER 3177 NEW BEST:: SOT 130896 SOS 44975 HAS SOPS 44975 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13733.975
AT ITER 3203 NEW BEST:: SOT 130892 SOS 44967 HAS SOPS 44967 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13724.967
AT ITER 3216 NEW BEST:: SOT 130881 SOS 44945 HAS SOPS 44945 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13719.945
AT ITER 3243 NEW BEST:: SOT 130879 SOS 44939 HAS SOPS 44939 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13718.939
AT ITER 3249 NEW BEST:: SOT 130879 SOS 44939 HAS SOPS 44939 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13701.939
AT ITER 3265 NEW BEST:: SOT 130879 SOS 44939 HAS SOPS 44939 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13700.939
AT ITER 3267 NEW BEST:: SOT 130879 SOS 44936 HAS SOPS 44936 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13697.936
AT ITER 3285 NEW BEST:: SOT 130878 SOS 44932 HAS SOPS 44932 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13694.932
AT ITER 3289 NEW BEST:: SOT 130870 SOS 44924 HAS SOPS 44924 HAS SOUS 13646 HAS SOUPS 13646 WITH SCORE 13690.924
AT ITER 3310 NEW BEST:: SOT 130870 SOS 44915 HAS SOPS 44915 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13681.915
AT ITER 3321 NEW BEST:: SOT 130844 SOS 44912 HAS SOPS 44912 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13678.912
AT ITER 3368 NEW BEST:: SOT 130834 SOS 44892 HAS SOPS 44892 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13669.892
AT ITER 3374 NEW BEST:: SOT 130834 SOS 44892 HAS SOPS 44892 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13661.892
AT ITER 3392 NEW BEST:: SOT 130821 SOS 44866 HAS SOPS 44866 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13635.866
AT ITER 3393 NEW BEST:: SOT 130821 SOS 44866 HAS SOPS 44866 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13633.866
AT ITER 3414 NEW BEST:: SOT 130803 SOS 44903 HAS SOPS 44903 HAS SOUS 13576 HAS SOUPS 13576 WITH SCORE 13620.903
AT ITER 3497 NEW BEST:: SOT 130803 SOS 44903 HAS SOPS 44903 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13606.903
AT ITER 3507 NEW BEST:: SOT 130799 SOS 44855 HAS SOPS 44855 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13558.855
AT ITER 3523 NEW BEST:: SOT 130757 SOS 44737 HAS SOPS 44737 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13488.737
AT ITER 3550 NEW BEST:: SOT 130774 SOS 44727 HAS SOPS 44727 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13463.727
AT ITER 3584 NEW BEST:: SOT 130752 SOS 45186 HAS SOPS 45186 HAS SOUS 13410 HAS SOUPS 13410 WITH SCORE 13455.186
AT ITER 3593 NEW BEST:: SOT 130750 SOS 45183 HAS SOPS 45183 HAS SOUS 13407 HAS SOUPS 13407 WITH SCORE 13452.183
AT ITER 3603 NEW BEST:: SOT 130750 SOS 45179 HAS SOPS 45179 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13448.179
AT ITER 3622 NEW BEST:: SOT 130780 SOS 45235 HAS SOPS 45235 HAS SOUS 13401 HAS SOUPS 13401 WITH SCORE 13446.235
AT ITER 3633 NEW BEST:: SOT 130770 SOS 45215 HAS SOPS 45215 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13426.215
AT ITER 3681 NEW BEST:: SOT 130770 SOS 45215 HAS SOPS 45215 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13421.215
AT ITER 3768 NEW BEST:: SOT 130762 SOS 45211 HAS SOPS 45211 HAS SOUS 13374 HAS SOUPS 13374 WITH SCORE 13419.211
AT ITER 3826 NEW BEST:: SOT 130760 SOS 45207 HAS SOPS 45207 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13415.207
AT ITER 3827 NEW BEST:: SOT 130756 SOS 45199 HAS SOPS 45199 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13410.199
AT ITER 3884 NEW BEST:: SOT 130756 SOS 45196 HAS SOPS 45196 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13410.196
AT ITER 3899 NEW BEST:: SOT 130756 SOS 45183 HAS SOPS 45183 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13410.183
AT ITER 3904 NEW BEST:: SOT 130750 SOS 45177 HAS SOPS 45177 HAS SOUS 13359 HAS SOUPS 13359 WITH SCORE 13404.177
AT ITER 3922 NEW BEST:: SOT 130751 SOS 45179 HAS SOPS 45179 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13402.179
AT ITER 3943 NEW BEST:: SOT 130744 SOS 45149 HAS SOPS 45149 HAS SOUS 13343 HAS SOUPS 13343 WITH SCORE 13388.149
AT ITER 3962 NEW BEST:: SOT 130744 SOS 45111 HAS SOPS 45111 HAS SOUS 13343 HAS SOUPS 13343 WITH SCORE 13388.111
AT ITER 4022 NEW BEST:: SOT 130736 SOS 45111 HAS SOPS 45111 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13380.111
AT ITER 4038 NEW BEST:: SOT 130713 SOS 45065 HAS SOPS 45065 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13353.065
AT ITER 4059 NEW BEST:: SOT 130710 SOS 45059 HAS SOPS 45059 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13347.059
AT ITER 4066 NEW BEST:: SOT 130663 SOS 45021 HAS SOPS 45021 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13328.021
AT ITER 4068 NEW BEST:: SOT 130663 SOS 45020 HAS SOPS 45020 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13327.02
AT ITER 4096 NEW BEST:: SOT 130660 SOS 45014 HAS SOPS 45014 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13321.014
AT ITER 4119 NEW BEST:: SOT 130658 SOS 45010 HAS SOPS 45010 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13317.01
AT ITER 4133 NEW BEST:: SOT 130673 SOS 44999 HAS SOPS 44999 HAS SOUS 13261 HAS SOUPS 13261 WITH SCORE 13305.999
AT ITER 4135 NEW BEST:: SOT 130663 SOS 44979 HAS SOPS 44979 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13295.979
AT ITER 4140 NEW BEST:: SOT 130664 SOS 44978 HAS SOPS 44978 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13294.978
AT ITER 4146 NEW BEST:: SOT 130653 SOS 44978 HAS SOPS 44978 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13293.978
AT ITER 4147 NEW BEST:: SOT 130658 SOS 44960 HAS SOPS 44960 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13284.96
AT ITER 4162 NEW BEST:: SOT 130649 SOS 44963 HAS SOPS 44963 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13278.963
AT ITER 4225 NEW BEST:: SOT 130649 SOS 44959 HAS SOPS 44959 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13274.959
AT ITER 4257 NEW BEST:: SOT 130675 SOS 44939 HAS SOPS 44939 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13268.939
AT ITER 4294 NEW BEST:: SOT 130675 SOS 44915 HAS SOPS 44915 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13268.915
AT ITER 4296 NEW BEST:: SOT 130675 SOS 44823 HAS SOPS 44823 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13226.823
AT ITER 4321 NEW BEST:: SOT 130601 SOS 44749 HAS SOPS 44749 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13188.749
AT ITER 4430 NEW BEST:: SOT 130601 SOS 44749 HAS SOPS 44749 HAS SOUS 13131 HAS SOUPS 13131 WITH SCORE 13175.749
AT ITER 4433 NEW BEST:: SOT 130596 SOS 44739 HAS SOPS 44739 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13162.739
AT ITER 4455 NEW BEST:: SOT 130576 SOS 44741 HAS SOPS 44741 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13160.741
AT ITER 4502 NEW BEST:: SOT 130580 SOS 44744 HAS SOPS 44744 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13140.744
AT ITER 4549 NEW BEST:: SOT 130560 SOS 44740 HAS SOPS 44740 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13136.74
AT ITER 4551 NEW BEST:: SOT 130459 SOS 44668 HAS SOPS 44668 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13035.668
AT ITER 4666 NEW BEST:: SOT 130449 SOS 44645 HAS SOPS 44645 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 13016.645
AT ITER 4678 NEW BEST:: SOT 130425 SOS 44621 HAS SOPS 44621 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 13013.621
AT ITER 4702 NEW BEST:: SOT 130426 SOS 44623 HAS SOPS 44623 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 13012.623
AT ITER 4706 NEW BEST:: SOT 130426 SOS 44617 HAS SOPS 44617 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 13006.617
AT ITER 4775 NEW BEST:: SOT 130428 SOS 44616 HAS SOPS 44616 HAS SOUS 12959 HAS SOUPS 12959 WITH SCORE 13003.616
AT ITER 4805 NEW BEST:: SOT 130420 SOS 44616 HAS SOPS 44616 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12995.616
AT ITER 4885 NEW BEST:: SOT 130418 SOS 44608 HAS SOPS 44608 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12991.608
AT ITER 4916 NEW BEST:: SOT 130417 SOS 44606 HAS SOPS 44606 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12989.606
AT ITER 4929 NEW BEST:: SOT 130417 SOS 44606 HAS SOPS 44606 HAS SOUS 12938 HAS SOUPS 12938 WITH SCORE 12982.606
AT ITER 4932 NEW BEST:: SOT 130426 SOS 44583 HAS SOPS 44583 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12969.583
AT ITER 4944 NEW BEST:: SOT 130407 SOS 44572 HAS SOPS 44572 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12935.572
AT ITER 4946 NEW BEST:: SOT 130381 SOS 44546 HAS SOPS 44546 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12935.546
AT ITER 4960 NEW BEST:: SOT 130374 SOS 44532 HAS SOPS 44532 HAS SOUS 12877 HAS SOUPS 12877 WITH SCORE 12921.532
AT ITER 4965 NEW BEST:: SOT 130375 SOS 44534 HAS SOPS 44534 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12920.534
AT ITER 4981 NEW BEST:: SOT 130375 SOS 44534 HAS SOPS 44534 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12917.534
AT ITER 4995 NEW BEST:: SOT 130369 SOS 44522 HAS SOPS 44522 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12907.522
AT ITER 5091 NEW BEST:: SOT 130369 SOS 44520 HAS SOPS 44520 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12907.52
AT ITER 5195 NEW BEST:: SOT 130369 SOS 44517 HAS SOPS 44517 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12904.517
AT ITER 5290 NEW BEST:: SOT 130369 SOS 44627 HAS SOPS 44627 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12873.627
AT ITER 5300 NEW BEST:: SOT 130368 SOS 44625 HAS SOPS 44625 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12871.625
AT ITER 5316 NEW BEST:: SOT 130367 SOS 44624 HAS SOPS 44624 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12871.624
AT ITER 5326 NEW BEST:: SOT 130366 SOS 44623 HAS SOPS 44623 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12870.623
AT ITER 5328 NEW BEST:: SOT 130368 SOS 44620 HAS SOPS 44620 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12870.62
AT ITER 5337 NEW BEST:: SOT 130345 SOS 44653 HAS SOPS 44653 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12847.653
AT ITER 5344 NEW BEST:: SOT 130357 SOS 44645 HAS SOPS 44645 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12835.645
AT ITER 5373 NEW BEST:: SOT 130368 SOS 44617 HAS SOPS 44617 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12674.617
AT ITER 5391 NEW BEST:: SOT 130365 SOS 44611 HAS SOPS 44611 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12668.611
AT ITER 5393 NEW BEST:: SOT 130343 SOS 44639 HAS SOPS 44639 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12653.639
AT ITER 5402 NEW BEST:: SOT 130331 SOS 44615 HAS SOPS 44615 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12629.615
AT ITER 5427 NEW BEST:: SOT 130331 SOS 44614 HAS SOPS 44614 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12628.614
AT ITER 5447 NEW BEST:: SOT 130319 SOS 44590 HAS SOPS 44590 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12604.59
AT ITER 5536 NEW BEST:: SOT 130299 SOS 44550 HAS SOPS 44550 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12575.55
AT ITER 5537 NEW BEST:: SOT 130298 SOS 44548 HAS SOPS 44548 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12573.548
AT ITER 5551 NEW BEST:: SOT 130298 SOS 44531 HAS SOPS 44531 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12573.531
AT ITER 5564 NEW BEST:: SOT 130290 SOS 44515 HAS SOPS 44515 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12560.515
AT ITER 5588 NEW BEST:: SOT 130277 SOS 44528 HAS SOPS 44528 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12544.528
AT ITER 5589 NEW BEST:: SOT 130276 SOS 44526 HAS SOPS 44526 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12542.526
AT ITER 5599 NEW BEST:: SOT 130264 SOS 44526 HAS SOPS 44526 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12536.526
AT ITER 5602 NEW BEST:: SOT 130260 SOS 44518 HAS SOPS 44518 HAS SOUS 12488 HAS SOUPS 12488 WITH SCORE 12532.518
AT ITER 5674 NEW BEST:: SOT 130239 SOS 44497 HAS SOPS 44497 HAS SOUS 12467 HAS SOUPS 12467 WITH SCORE 12511.497
AT ITER 5705 NEW BEST:: SOT 130202 SOS 44333 HAS SOPS 44333 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12495.333
AT ITER 5720 NEW BEST:: SOT 130202 SOS 44352 HAS SOPS 44352 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12484.352
AT ITER 5731 NEW BEST:: SOT 130180 SOS 44336 HAS SOPS 44336 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12468.336
AT ITER 5751 NEW BEST:: SOT 130179 SOS 44334 HAS SOPS 44334 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12468.334
AT ITER 5771 NEW BEST:: SOT 130173 SOS 44337 HAS SOPS 44337 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12452.337
AT ITER 5794 NEW BEST:: SOT 130181 SOS 44254 HAS SOPS 44254 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12400.254
AT ITER 5842 NEW BEST:: SOT 130181 SOS 44254 HAS SOPS 44254 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12384.254
AT ITER 5847 NEW BEST:: SOT 130180 SOS 44252 HAS SOPS 44252 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12382.252
AT ITER 5852 NEW BEST:: SOT 130193 SOS 44278 HAS SOPS 44278 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12379.278
AT ITER 5859 NEW BEST:: SOT 130188 SOS 44268 HAS SOPS 44268 HAS SOUS 12325 HAS SOUPS 12325 WITH SCORE 12369.268
AT ITER 5884 NEW BEST:: SOT 130184 SOS 44267 HAS SOPS 44267 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12329.267
AT ITER 5888 NEW BEST:: SOT 130182 SOS 44263 HAS SOPS 44263 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12327.263
AT ITER 5892 NEW BEST:: SOT 130192 SOS 44260 HAS SOPS 44260 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12324.26
AT ITER 5908 NEW BEST:: SOT 130192 SOS 44260 HAS SOPS 44260 HAS SOUS 12215 HAS SOUPS 12215 WITH SCORE 12259.26
AT ITER 5951 NEW BEST:: SOT 130166 SOS 44178 HAS SOPS 44178 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12219.178
AT ITER 5961 NEW BEST:: SOT 130166 SOS 44177 HAS SOPS 44177 HAS SOUS 12174 HAS SOUPS 12174 WITH SCORE 12218.177
AT ITER 5972 NEW BEST:: SOT 130166 SOS 44166 HAS SOPS 44166 HAS SOUS 12174 HAS SOUPS 12174 WITH SCORE 12218.166
AT ITER 6050 NEW BEST:: SOT 130163 SOS 44157 HAS SOPS 44157 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12212.157
AT ITER 6111 NEW BEST:: SOT 130163 SOS 44157 HAS SOPS 44157 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12211.157
AT ITER 6168 NEW BEST:: SOT 130161 SOS 44155 HAS SOPS 44155 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12209.155
AT ITER 6171 NEW BEST:: SOT 130158 SOS 41853 HAS SOPS 41853 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12201.853
AT ITER 6184 NEW BEST:: SOT 130157 SOS 41851 HAS SOPS 41851 HAS SOUS 12158 HAS SOUPS 12158 WITH SCORE 12199.851
AT ITER 6286 NEW BEST:: SOT 130025 SOS 41692 HAS SOPS 41692 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12198.692
AT ITER 6317 NEW BEST:: SOT 130030 SOS 41687 HAS SOPS 41687 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12196.687
AT ITER 6330 NEW BEST:: SOT 130024 SOS 41649 HAS SOPS 41649 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12184.649
AT ITER 6349 NEW BEST:: SOT 130016 SOS 41679 HAS SOPS 41679 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12168.679
AT ITER 6406 NEW BEST:: SOT 130015 SOS 41677 HAS SOPS 41677 HAS SOUS 12125 HAS SOUPS 12125 WITH SCORE 12166.677
AT ITER 6421 NEW BEST:: SOT 130018 SOS 41673 HAS SOPS 41673 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12162.673
AT ITER 6517 NEW BEST:: SOT 130011 SOS 41670 HAS SOPS 41670 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12159.67
AT ITER 6561 NEW BEST:: SOT 130011 SOS 41670 HAS SOPS 41670 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12152.67
AT ITER 6601 NEW BEST:: SOT 130011 SOS 41665 HAS SOPS 41665 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12152.665
AT ITER 6615 NEW BEST:: SOT 130007 SOS 41661 HAS SOPS 41661 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12148.661
AT ITER 6616 NEW BEST:: SOT 130007 SOS 41672 HAS SOPS 41672 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12045.672
AT ITER 6622 NEW BEST:: SOT 129990 SOS 41659 HAS SOPS 41659 HAS SOUS 11991 HAS SOUPS 11991 WITH SCORE 12032.659
AT ITER 6636 NEW BEST:: SOT 129973 SOS 41675 HAS SOPS 41675 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 12015.675
AT ITER 6678 NEW BEST:: SOT 129973 SOS 41658 HAS SOPS 41658 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 12003.658
AT ITER 6730 NEW BEST:: SOT 129973 SOS 41656 HAS SOPS 41656 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 12002.656
AT ITER 6760 NEW BEST:: SOT 129964 SOS 41641 HAS SOPS 41641 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11993.641
AT ITER 6818 NEW BEST:: SOT 129962 SOS 41637 HAS SOPS 41637 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11989.637
AT ITER 6893 NEW BEST:: SOT 129961 SOS 41635 HAS SOPS 41635 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11987.635
AT ITER 6896 NEW BEST:: SOT 129956 SOS 41620 HAS SOPS 41620 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11987.62
AT ITER 6913 NEW BEST:: SOT 129952 SOS 41619 HAS SOPS 41619 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11986.619
AT ITER 6920 NEW BEST:: SOT 129948 SOS 41611 HAS SOPS 41611 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11982.611
AT ITER 6931 NEW BEST:: SOT 129947 SOS 41609 HAS SOPS 41609 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11980.609
AT ITER 6945 NEW BEST:: SOT 129947 SOS 41595 HAS SOPS 41595 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11969.595
AT ITER 7017 NEW BEST:: SOT 129929 SOS 41559 HAS SOPS 41559 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11933.559
AT ITER 7049 NEW BEST:: SOT 129928 SOS 41557 HAS SOPS 41557 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11931.557
AT ITER 7082 NEW BEST:: SOT 129925 SOS 41551 HAS SOPS 41551 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11923.551
AT ITER 7120 NEW BEST:: SOT 129921 SOS 41543 HAS SOPS 41543 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11915.543
AT ITER 7173 NEW BEST:: SOT 129921 SOS 41543 HAS SOPS 41543 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11911.543
AT ITER 7218 NEW BEST:: SOT 129879 SOS 41483 HAS SOPS 41483 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11861.483
AT ITER 7247 NEW BEST:: SOT 129880 SOS 41482 HAS SOPS 41482 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11860.482
AT ITER 7365 NEW BEST:: SOT 129879 SOS 41480 HAS SOPS 41480 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11858.48
AT ITER 7410 NEW BEST:: SOT 129879 SOS 41476 HAS SOPS 41476 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11826.476
AT ITER 7466 NEW BEST:: SOT 129890 SOS 41465 HAS SOPS 41465 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11826.465
AT ITER 7500 NEW BEST:: SOT 129888 SOS 41461 HAS SOPS 41461 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11822.461
AT ITER 7551 NEW BEST:: SOT 129874 SOS 41419 HAS SOPS 41419 HAS SOUS 11765 HAS SOUPS 11765 WITH SCORE 11806.419
AT ITER 7591 NEW BEST:: SOT 129866 SOS 41403 HAS SOPS 41403 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11790.403
AT ITER 7665 NEW BEST:: SOT 129877 SOS 41396 HAS SOPS 41396 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11783.396
AT ITER 7720 NEW BEST:: SOT 129877 SOS 41394 HAS SOPS 41394 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11779.394
AT ITER 7735 NEW BEST:: SOT 129862 SOS 41364 HAS SOPS 41364 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11762.364
AT ITER 7804 NEW BEST:: SOT 129860 SOS 41360 HAS SOPS 41360 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11758.36
AT ITER 7925 NEW BEST:: SOT 129861 SOS 41344 HAS SOPS 41344 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11734.344
AT ITER 8020 NEW BEST:: SOT 129856 SOS 41341 HAS SOPS 41341 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11723.341
AT ITER 8021 NEW BEST:: SOT 129856 SOS 41331 HAS SOPS 41331 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11723.331
AT ITER 8039 NEW BEST:: SOT 129825 SOS 41331 HAS SOPS 41331 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11716.331
AT ITER 8041 NEW BEST:: SOT 129825 SOS 41329 HAS SOPS 41329 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11714.329
AT ITER 8187 NEW BEST:: SOT 129821 SOS 41327 HAS SOPS 41327 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11712.327
AT ITER 8242 NEW BEST:: SOT 129821 SOS 41327 HAS SOPS 41327 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11706.327
AT ITER 8269 NEW BEST:: SOT 129819 SOS 41327 HAS SOPS 41327 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11702.327
AT ITER 8398 NEW BEST:: SOT 129815 SOS 41319 HAS SOPS 41319 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11694.319
AT ITER 8426 NEW BEST:: SOT 129814 SOS 41316 HAS SOPS 41316 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11693.316
AT ITER 8453 NEW BEST:: SOT 129802 SOS 41292 HAS SOPS 41292 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11680.292
AT ITER 8468 NEW BEST:: SOT 129800 SOS 41316 HAS SOPS 41316 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11676.316
AT ITER 8521 NEW BEST:: SOT 129800 SOS 41312 HAS SOPS 41312 HAS SOUS 11631 HAS SOUPS 11631 WITH SCORE 11672.312
AT ITER 8574 NEW BEST:: SOT 129752 SOS 41259 HAS SOPS 41259 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11632.259
AT ITER 8625 NEW BEST:: SOT 129403 SOS 40932 HAS SOPS 40932 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11599.932
AT ITER 8636 NEW BEST:: SOT 129403 SOS 40932 HAS SOPS 40932 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11590.932
AT ITER 8640 NEW BEST:: SOT 129397 SOS 40927 HAS SOPS 40927 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11589.927
AT ITER 8656 NEW BEST:: SOT 129396 SOS 40924 HAS SOPS 40924 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11587.924
AT ITER 8663 NEW BEST:: SOT 129393 SOS 40918 HAS SOPS 40918 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11581.918
AT ITER 8734 NEW BEST:: SOT 129389 SOS 40915 HAS SOPS 40915 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11578.915
AT ITER 8746 NEW BEST:: SOT 129380 SOS 40924 HAS SOPS 40924 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11574.924
AT ITER 8814 NEW BEST:: SOT 129364 SOS 41368 HAS SOPS 41368 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11559.368
AT ITER 8962 NEW BEST:: SOT 129364 SOS 41394 HAS SOPS 41394 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11409.394
AT ITER 8968 NEW BEST:: SOT 129340 SOS 41362 HAS SOPS 41362 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11409.362
AT ITER 8983 NEW BEST:: SOT 129300 SOS 41322 HAS SOPS 41322 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11382.322
AT ITER 9055 NEW BEST:: SOT 129311 SOS 41262 HAS SOPS 41262 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11348.262
AT ITER 9065 NEW BEST:: SOT 129309 SOS 41251 HAS SOPS 41251 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11342.251
AT ITER 9084 NEW BEST:: SOT 129307 SOS 41247 HAS SOPS 41247 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11338.247
AT ITER 9168 NEW BEST:: SOT 129306 SOS 40948 HAS SOPS 40948 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11335.948
AT ITER 9201 NEW BEST:: SOT 129301 SOS 40943 HAS SOPS 40943 HAS SOUS 11290 HAS SOUPS 11290 WITH SCORE 11330.943
AT ITER 9212 NEW BEST:: SOT 129310 SOS 40961 HAS SOPS 40961 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11318.961
AT ITER 9297 NEW BEST:: SOT 129309 SOS 40959 HAS SOPS 40959 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11316.959
AT ITER 9319 NEW BEST:: SOT 129265 SOS 40910 HAS SOPS 40910 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11316.91
AT ITER 9320 NEW BEST:: SOT 129265 SOS 40910 HAS SOPS 40910 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11315.91
AT ITER 9358 NEW BEST:: SOT 129264 SOS 40908 HAS SOPS 40908 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11313.908
AT ITER 9623 NEW BEST:: SOT 129263 SOS 40906 HAS SOPS 40906 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11308.906
AT ITER 9664 NEW BEST:: SOT 129263 SOS 40920 HAS SOPS 40920 HAS SOUS 11262 HAS SOUPS 11262 WITH SCORE 11302.92
AT ITER 9758 NEW BEST:: SOT 129267 SOS 40934 HAS SOPS 40934 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11276.934
AT ITER 9759 NEW BEST:: SOT 129267 SOS 40933 HAS SOPS 40933 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11276.933
AT ITER 9785 NEW BEST:: SOT 129267 SOS 40933 HAS SOPS 40933 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11269.933
AT ITER 9793 NEW BEST:: SOT 129289 SOS 40563 HAS SOPS 40563 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11249.563
AT ITER 9871 NEW BEST:: SOT 129288 SOS 40561 HAS SOPS 40561 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11247.561
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1116368 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154964 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="AutonomousCar-PT-06b"
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 AutonomousCar-PT-06b, 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 r003-oct2-167813591100624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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