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-167813590900448.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 AutoFlight-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 18:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 113K 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 1678472922613

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=AutoFlight-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (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: 482 places, 480 transitions, 1120 arcs.
AT ITER 0 NEW BEST:: SOT 125658 SOS 25107 HAS SOPS 25107 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.107
AT ITER 16 NEW BEST:: SOT 125658 SOS 25066 HAS SOPS 25066 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23052.066
AT ITER 40 NEW BEST:: SOT 125658 SOS 25043 HAS SOPS 25043 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23029.043
AT ITER 72 NEW BEST:: SOT 125642 SOS 24909 HAS SOPS 24909 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 22996.909
AT ITER 75 NEW BEST:: SOT 125595 SOS 24795 HAS SOPS 24795 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22882.795
AT ITER 80 NEW BEST:: SOT 125569 SOS 24792 HAS SOPS 24792 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22879.792
AT ITER 106 NEW BEST:: SOT 125514 SOS 24838 HAS SOPS 24838 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22824.838
AT ITER 113 NEW BEST:: SOT 125561 SOS 24886 HAS SOPS 24886 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22810.886
AT ITER 114 NEW BEST:: SOT 125541 SOS 24868 HAS SOPS 24868 HAS SOUS 22768 HAS SOUPS 22768 WITH SCORE 22792.868
AT ITER 137 NEW BEST:: SOT 125540 SOS 24867 HAS SOPS 24867 HAS SOUS 22767 HAS SOUPS 22767 WITH SCORE 22791.867
AT ITER 139 NEW BEST:: SOT 125539 SOS 24866 HAS SOPS 24866 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22790.866
AT ITER 163 NEW BEST:: SOT 125401 SOS 24728 HAS SOPS 24728 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22652.728
AT ITER 174 NEW BEST:: SOT 125401 SOS 24720 HAS SOPS 24720 HAS SOUS 22620 HAS SOUPS 22620 WITH SCORE 22644.72
AT ITER 179 NEW BEST:: SOT 125401 SOS 24694 HAS SOPS 24694 HAS SOUS 22619 HAS SOUPS 22619 WITH SCORE 22643.694
AT ITER 194 NEW BEST:: SOT 125401 SOS 24665 HAS SOPS 24665 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22614.665
AT ITER 197 NEW BEST:: SOT 125333 SOS 24504 HAS SOPS 24504 HAS SOUS 22429 HAS SOUPS 22429 WITH SCORE 22453.504
AT ITER 199 NEW BEST:: SOT 125304 SOS 24446 HAS SOPS 24446 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22346.446
AT ITER 213 NEW BEST:: SOT 125301 SOS 24443 HAS SOPS 24443 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22343.443
AT ITER 221 NEW BEST:: SOT 125301 SOS 24424 HAS SOPS 24424 HAS SOUS 22300 HAS SOUPS 22300 WITH SCORE 22324.424
AT ITER 223 NEW BEST:: SOT 125290 SOS 24409 HAS SOPS 24409 HAS SOUS 22290 HAS SOUPS 22290 WITH SCORE 22314.409
AT ITER 224 NEW BEST:: SOT 125283 SOS 24374 HAS SOPS 24374 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22300.374
AT ITER 236 NEW BEST:: SOT 125293 SOS 24373 HAS SOPS 24373 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22299.373
AT ITER 251 NEW BEST:: SOT 125278 SOS 24354 HAS SOPS 24354 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22280.354
AT ITER 268 NEW BEST:: SOT 125248 SOS 24323 HAS SOPS 24323 HAS SOUS 22225 HAS SOUPS 22225 WITH SCORE 22249.323
AT ITER 276 NEW BEST:: SOT 125248 SOS 24289 HAS SOPS 24289 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22181.289
AT ITER 278 NEW BEST:: SOT 125212 SOS 24254 HAS SOPS 24254 HAS SOUS 22084 HAS SOUPS 22084 WITH SCORE 22108.254
AT ITER 288 NEW BEST:: SOT 125212 SOS 24250 HAS SOPS 24250 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22104.25
AT ITER 325 NEW BEST:: SOT 125208 SOS 24238 HAS SOPS 24238 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22092.238
AT ITER 371 NEW BEST:: SOT 125208 SOS 24238 HAS SOPS 24238 HAS SOUS 22064 HAS SOUPS 22064 WITH SCORE 22088.238
AT ITER 380 NEW BEST:: SOT 125168 SOS 24098 HAS SOPS 24098 HAS SOUS 22060 HAS SOUPS 22060 WITH SCORE 22084.098
AT ITER 437 NEW BEST:: SOT 125229 SOS 24100 HAS SOPS 24100 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22068.1
AT ITER 441 NEW BEST:: SOT 125217 SOS 24064 HAS SOPS 24064 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22044.064
AT ITER 446 NEW BEST:: SOT 125217 SOS 24062 HAS SOPS 24062 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22042.062
AT ITER 465 NEW BEST:: SOT 125257 SOS 24127 HAS SOPS 24127 HAS SOUS 22006 HAS SOUPS 22006 WITH SCORE 22030.127
AT ITER 466 NEW BEST:: SOT 125243 SOS 24071 HAS SOPS 24071 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21980.071
AT ITER 471 NEW BEST:: SOT 125243 SOS 24071 HAS SOPS 24071 HAS SOUS 21935 HAS SOUPS 21935 WITH SCORE 21959.071
AT ITER 472 NEW BEST:: SOT 125220 SOS 24094 HAS SOPS 24094 HAS SOUS 21912 HAS SOUPS 21912 WITH SCORE 21936.094
AT ITER 489 NEW BEST:: SOT 125219 SOS 24093 HAS SOPS 24093 HAS SOUS 21911 HAS SOUPS 21911 WITH SCORE 21935.093
AT ITER 495 NEW BEST:: SOT 125226 SOS 24084 HAS SOPS 24084 HAS SOUS 21902 HAS SOUPS 21902 WITH SCORE 21926.084
AT ITER 517 NEW BEST:: SOT 125202 SOS 24050 HAS SOPS 24050 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21916.05
AT ITER 535 NEW BEST:: SOT 125181 SOS 24059 HAS SOPS 24059 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21911.059
AT ITER 552 NEW BEST:: SOT 125151 SOS 24009 HAS SOPS 24009 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21885.009
AT ITER 555 NEW BEST:: SOT 125111 SOS 23972 HAS SOPS 23972 HAS SOUS 21825 HAS SOUPS 21825 WITH SCORE 21848.972
AT ITER 590 NEW BEST:: SOT 125121 SOS 24003 HAS SOPS 24003 HAS SOUS 21795 HAS SOUPS 21795 WITH SCORE 21819.003
AT ITER 616 NEW BEST:: SOT 125115 SOS 23996 HAS SOPS 23996 HAS SOUS 21788 HAS SOUPS 21788 WITH SCORE 21811.996
AT ITER 654 NEW BEST:: SOT 125103 SOS 24020 HAS SOPS 24020 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21795.02
AT ITER 706 NEW BEST:: SOT 125108 SOS 23963 HAS SOPS 23963 HAS SOUS 21714 HAS SOUPS 21714 WITH SCORE 21737.963
AT ITER 712 NEW BEST:: SOT 125078 SOS 23933 HAS SOPS 23933 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21707.933
AT ITER 723 NEW BEST:: SOT 125078 SOS 23918 HAS SOPS 23918 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21692.918
AT ITER 773 NEW BEST:: SOT 125084 SOS 23855 HAS SOPS 23855 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21629.855
AT ITER 774 NEW BEST:: SOT 125092 SOS 23806 HAS SOPS 23806 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21580.806
AT ITER 842 NEW BEST:: SOT 125084 SOS 23798 HAS SOPS 23798 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21580.798
AT ITER 898 NEW BEST:: SOT 125065 SOS 23760 HAS SOPS 23760 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21542.76
AT ITER 902 NEW BEST:: SOT 125064 SOS 23752 HAS SOPS 23752 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21534.752
AT ITER 914 NEW BEST:: SOT 125063 SOS 23741 HAS SOPS 23741 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21532.741
AT ITER 915 NEW BEST:: SOT 124980 SOS 23664 HAS SOPS 23664 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21450.664
AT ITER 916 NEW BEST:: SOT 124980 SOS 23654 HAS SOPS 23654 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21440.654
AT ITER 924 NEW BEST:: SOT 124980 SOS 23653 HAS SOPS 23653 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21439.653
AT ITER 925 NEW BEST:: SOT 124972 SOS 23637 HAS SOPS 23637 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21423.637
AT ITER 927 NEW BEST:: SOT 124964 SOS 23633 HAS SOPS 23633 HAS SOUS 21396 HAS SOUPS 21396 WITH SCORE 21419.633
AT ITER 932 NEW BEST:: SOT 124972 SOS 23637 HAS SOPS 23637 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21415.637
AT ITER 949 NEW BEST:: SOT 124972 SOS 23637 HAS SOPS 23637 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21413.637
AT ITER 980 NEW BEST:: SOT 124966 SOS 23576 HAS SOPS 23576 HAS SOUS 21378 HAS SOUPS 21378 WITH SCORE 21401.576
AT ITER 986 NEW BEST:: SOT 124966 SOS 23553 HAS SOPS 23553 HAS SOUS 21355 HAS SOUPS 21355 WITH SCORE 21378.553
AT ITER 1000 NEW BEST:: SOT 124938 SOS 23497 HAS SOPS 23497 HAS SOUS 21327 HAS SOUPS 21327 WITH SCORE 21350.497
AT ITER 1014 NEW BEST:: SOT 124906 SOS 23462 HAS SOPS 23462 HAS SOUS 21295 HAS SOUPS 21295 WITH SCORE 21318.462
AT ITER 1033 NEW BEST:: SOT 124906 SOS 23453 HAS SOPS 23453 HAS SOUS 21286 HAS SOUPS 21286 WITH SCORE 21309.453
AT ITER 1038 NEW BEST:: SOT 124887 SOS 23459 HAS SOPS 23459 HAS SOUS 21267 HAS SOUPS 21267 WITH SCORE 21290.459
AT ITER 1053 NEW BEST:: SOT 124887 SOS 23451 HAS SOPS 23451 HAS SOUS 21267 HAS SOUPS 21267 WITH SCORE 21290.451
AT ITER 1055 NEW BEST:: SOT 124882 SOS 23446 HAS SOPS 23446 HAS SOUS 21262 HAS SOUPS 21262 WITH SCORE 21285.446
AT ITER 1070 NEW BEST:: SOT 124885 SOS 23530 HAS SOPS 23530 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21248.53
AT ITER 1107 NEW BEST:: SOT 124955 SOS 23618 HAS SOPS 23618 HAS SOUS 21202 HAS SOUPS 21202 WITH SCORE 21225.618
AT ITER 1125 NEW BEST:: SOT 124934 SOS 23591 HAS SOPS 23591 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21198.591
AT ITER 1145 NEW BEST:: SOT 124934 SOS 23588 HAS SOPS 23588 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21195.588
AT ITER 1171 NEW BEST:: SOT 124932 SOS 23586 HAS SOPS 23586 HAS SOUS 21170 HAS SOUPS 21170 WITH SCORE 21193.586
AT ITER 1253 NEW BEST:: SOT 124923 SOS 23568 HAS SOPS 23568 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21175.568
AT ITER 1257 NEW BEST:: SOT 124920 SOS 23562 HAS SOPS 23562 HAS SOUS 21146 HAS SOUPS 21146 WITH SCORE 21169.562
AT ITER 1286 NEW BEST:: SOT 124920 SOS 23522 HAS SOPS 23522 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21129.522
AT ITER 1314 NEW BEST:: SOT 124920 SOS 23494 HAS SOPS 23494 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21101.494
AT ITER 1322 NEW BEST:: SOT 124941 SOS 23499 HAS SOPS 23499 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21087.499
AT ITER 1333 NEW BEST:: SOT 124941 SOS 23499 HAS SOPS 23499 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21085.499
AT ITER 1389 NEW BEST:: SOT 124898 SOS 23540 HAS SOPS 23540 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21070.54
AT ITER 1428 NEW BEST:: SOT 124878 SOS 23559 HAS SOPS 23559 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21053.559
AT ITER 1447 NEW BEST:: SOT 124878 SOS 23518 HAS SOPS 23518 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21012.518
AT ITER 1472 NEW BEST:: SOT 124878 SOS 23493 HAS SOPS 23493 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21012.493
AT ITER 1479 NEW BEST:: SOT 124874 SOS 23484 HAS SOPS 23484 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21003.484
AT ITER 1500 NEW BEST:: SOT 124907 SOS 23457 HAS SOPS 23457 HAS SOUS 20953 HAS SOUPS 20953 WITH SCORE 20976.457
AT ITER 1509 NEW BEST:: SOT 124907 SOS 23397 HAS SOPS 23397 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20956.397
AT ITER 1516 NEW BEST:: SOT 124905 SOS 23393 HAS SOPS 23393 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20952.393
AT ITER 1525 NEW BEST:: SOT 124900 SOS 23363 HAS SOPS 23363 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20922.363
AT ITER 1532 NEW BEST:: SOT 124853 SOS 23365 HAS SOPS 23365 HAS SOUS 20874 HAS SOUPS 20874 WITH SCORE 20897.365
AT ITER 1542 NEW BEST:: SOT 124880 SOS 23357 HAS SOPS 23357 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20894.357
AT ITER 1576 NEW BEST:: SOT 124880 SOS 23344 HAS SOPS 23344 HAS SOUS 20858 HAS SOUPS 20858 WITH SCORE 20881.344
AT ITER 1577 NEW BEST:: SOT 124880 SOS 23338 HAS SOPS 23338 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20875.338
AT ITER 1642 NEW BEST:: SOT 124870 SOS 23308 HAS SOPS 23308 HAS SOUS 20832 HAS SOUPS 20832 WITH SCORE 20855.308
AT ITER 1649 NEW BEST:: SOT 124874 SOS 23316 HAS SOPS 23316 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20848.316
AT ITER 1650 NEW BEST:: SOT 124861 SOS 23318 HAS SOPS 23318 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20835.318
AT ITER 1660 NEW BEST:: SOT 124861 SOS 23317 HAS SOPS 23317 HAS SOUS 20797 HAS SOUPS 20797 WITH SCORE 20820.317
AT ITER 1669 NEW BEST:: SOT 124867 SOS 23307 HAS SOPS 23307 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20810.307
AT ITER 1707 NEW BEST:: SOT 124871 SOS 23276 HAS SOPS 23276 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20779.276
AT ITER 1708 NEW BEST:: SOT 124847 SOS 23156 HAS SOPS 23156 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20731.156
AT ITER 1730 NEW BEST:: SOT 124832 SOS 23047 HAS SOPS 23047 HAS SOUS 20678 HAS SOUPS 20678 WITH SCORE 20701.047
AT ITER 1734 NEW BEST:: SOT 124829 SOS 23038 HAS SOPS 23038 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20695.038
AT ITER 1744 NEW BEST:: SOT 124829 SOS 23038 HAS SOPS 23038 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20692.038
AT ITER 1756 NEW BEST:: SOT 124786 SOS 22846 HAS SOPS 22846 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20672.846
AT ITER 1775 NEW BEST:: SOT 124786 SOS 22836 HAS SOPS 22836 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20672.836
AT ITER 1788 NEW BEST:: SOT 124807 SOS 22840 HAS SOPS 22840 HAS SOUS 20577 HAS SOUPS 20577 WITH SCORE 20599.84
AT ITER 1801 NEW BEST:: SOT 124806 SOS 22831 HAS SOPS 22831 HAS SOUS 20568 HAS SOUPS 20568 WITH SCORE 20590.831
AT ITER 1849 NEW BEST:: SOT 124806 SOS 22761 HAS SOPS 22761 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20576.761
AT ITER 1854 NEW BEST:: SOT 124801 SOS 22761 HAS SOPS 22761 HAS SOUS 20547 HAS SOUPS 20547 WITH SCORE 20569.761
AT ITER 1866 NEW BEST:: SOT 124796 SOS 22751 HAS SOPS 22751 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20559.751
AT ITER 1886 NEW BEST:: SOT 124790 SOS 22739 HAS SOPS 22739 HAS SOUS 20525 HAS SOUPS 20525 WITH SCORE 20547.739
AT ITER 1890 NEW BEST:: SOT 124782 SOS 22731 HAS SOPS 22731 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20539.731
AT ITER 1930 NEW BEST:: SOT 124776 SOS 22679 HAS SOPS 22679 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20505.679
AT ITER 1947 NEW BEST:: SOT 124790 SOS 22597 HAS SOPS 22597 HAS SOUS 20456 HAS SOUPS 20456 WITH SCORE 20478.597
AT ITER 1948 NEW BEST:: SOT 124769 SOS 22552 HAS SOPS 22552 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20433.552
AT ITER 1951 NEW BEST:: SOT 124769 SOS 22542 HAS SOPS 22542 HAS SOUS 20409 HAS SOUPS 20409 WITH SCORE 20431.542
AT ITER 1975 NEW BEST:: SOT 124736 SOS 22520 HAS SOPS 22520 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20409.52
AT ITER 2025 NEW BEST:: SOT 124728 SOS 22512 HAS SOPS 22512 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20409.512
AT ITER 2040 NEW BEST:: SOT 124728 SOS 22511 HAS SOPS 22511 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20408.511
AT ITER 2059 NEW BEST:: SOT 124705 SOS 22496 HAS SOPS 22496 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20385.496
AT ITER 2071 NEW BEST:: SOT 124705 SOS 22483 HAS SOPS 22483 HAS SOUS 20350 HAS SOUPS 20350 WITH SCORE 20372.483
AT ITER 2079 NEW BEST:: SOT 124705 SOS 22470 HAS SOPS 22470 HAS SOUS 20337 HAS SOUPS 20337 WITH SCORE 20359.47
AT ITER 2082 NEW BEST:: SOT 124697 SOS 22421 HAS SOPS 22421 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20310.421
AT ITER 2085 NEW BEST:: SOT 124697 SOS 22413 HAS SOPS 22413 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20310.413
AT ITER 2108 NEW BEST:: SOT 124689 SOS 22397 HAS SOPS 22397 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20285.397
AT ITER 2113 NEW BEST:: SOT 124722 SOS 22364 HAS SOPS 22364 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20285.364
AT ITER 2129 NEW BEST:: SOT 124713 SOS 22346 HAS SOPS 22346 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20254.346
AT ITER 2135 NEW BEST:: SOT 124628 SOS 22253 HAS SOPS 22253 HAS SOUS 20139 HAS SOUPS 20139 WITH SCORE 20161.253
AT ITER 2160 NEW BEST:: SOT 124628 SOS 22247 HAS SOPS 22247 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20155.247
AT ITER 2161 NEW BEST:: SOT 124628 SOS 22242 HAS SOPS 22242 HAS SOUS 20128 HAS SOUPS 20128 WITH SCORE 20150.242
AT ITER 2169 NEW BEST:: SOT 124615 SOS 22254 HAS SOPS 22254 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20149.254
AT ITER 2182 NEW BEST:: SOT 124615 SOS 22340 HAS SOPS 22340 HAS SOUS 20084 HAS SOUPS 20084 WITH SCORE 20106.34
AT ITER 2193 NEW BEST:: SOT 124523 SOS 22104 HAS SOPS 22104 HAS SOUS 19997 HAS SOUPS 19997 WITH SCORE 20019.104
AT ITER 2215 NEW BEST:: SOT 124459 SOS 22144 HAS SOPS 22144 HAS SOUS 19939 HAS SOUPS 19939 WITH SCORE 19961.144
AT ITER 2227 NEW BEST:: SOT 124447 SOS 22120 HAS SOPS 22120 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19934.12
AT ITER 2241 NEW BEST:: SOT 124397 SOS 22138 HAS SOPS 22138 HAS SOUS 19871 HAS SOUPS 19871 WITH SCORE 19893.138
AT ITER 2253 NEW BEST:: SOT 124427 SOS 22165 HAS SOPS 22165 HAS SOUS 19863 HAS SOUPS 19863 WITH SCORE 19885.165
AT ITER 2274 NEW BEST:: SOT 124404 SOS 22164 HAS SOPS 22164 HAS SOUS 19849 HAS SOUPS 19849 WITH SCORE 19871.164
AT ITER 2282 NEW BEST:: SOT 124461 SOS 22271 HAS SOPS 22271 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19861.271
AT ITER 2286 NEW BEST:: SOT 124418 SOS 22239 HAS SOPS 22239 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19827.239
AT ITER 2288 NEW BEST:: SOT 124402 SOS 22207 HAS SOPS 22207 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19806.207
AT ITER 2301 NEW BEST:: SOT 124394 SOS 22183 HAS SOPS 22183 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19794.183
AT ITER 2307 NEW BEST:: SOT 124377 SOS 22181 HAS SOPS 22181 HAS SOUS 19770 HAS SOUPS 19770 WITH SCORE 19792.181
AT ITER 2331 NEW BEST:: SOT 124376 SOS 22179 HAS SOPS 22179 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19791.179
AT ITER 2342 NEW BEST:: SOT 124374 SOS 22166 HAS SOPS 22166 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19778.166
AT ITER 2344 NEW BEST:: SOT 124401 SOS 22220 HAS SOPS 22220 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19732.22
AT ITER 2359 NEW BEST:: SOT 124393 SOS 22204 HAS SOPS 22204 HAS SOUS 19694 HAS SOUPS 19694 WITH SCORE 19716.204
AT ITER 2361 NEW BEST:: SOT 124393 SOS 22197 HAS SOPS 22197 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19709.197
AT ITER 2381 NEW BEST:: SOT 124436 SOS 22239 HAS SOPS 22239 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19700.239
AT ITER 2389 NEW BEST:: SOT 124435 SOS 22237 HAS SOPS 22237 HAS SOUS 19676 HAS SOUPS 19676 WITH SCORE 19698.237
AT ITER 2415 NEW BEST:: SOT 124433 SOS 22233 HAS SOPS 22233 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19696.233
AT ITER 2423 NEW BEST:: SOT 124400 SOS 22167 HAS SOPS 22167 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19652.167
AT ITER 2427 NEW BEST:: SOT 124364 SOS 22124 HAS SOPS 22124 HAS SOUS 19587 HAS SOUPS 19587 WITH SCORE 19609.124
AT ITER 2432 NEW BEST:: SOT 124367 SOS 22108 HAS SOPS 22108 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19593.108
AT ITER 2434 NEW BEST:: SOT 124352 SOS 22078 HAS SOPS 22078 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19560.078
AT ITER 2465 NEW BEST:: SOT 124352 SOS 22072 HAS SOPS 22072 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19554.072
AT ITER 2470 NEW BEST:: SOT 124352 SOS 22059 HAS SOPS 22059 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19541.059
AT ITER 2504 NEW BEST:: SOT 124321 SOS 22058 HAS SOPS 22058 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19506.058
AT ITER 2557 NEW BEST:: SOT 124321 SOS 22057 HAS SOPS 22057 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19495.057
AT ITER 2563 NEW BEST:: SOT 124300 SOS 22049 HAS SOPS 22049 HAS SOUS 19465 HAS SOUPS 19465 WITH SCORE 19487.049
AT ITER 2565 NEW BEST:: SOT 124291 SOS 22031 HAS SOPS 22031 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19478.031
AT ITER 2625 NEW BEST:: SOT 124287 SOS 22027 HAS SOPS 22027 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19472.027
AT ITER 2679 NEW BEST:: SOT 124291 SOS 21983 HAS SOPS 21983 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19471.983
AT ITER 2687 NEW BEST:: SOT 124311 SOS 21995 HAS SOPS 21995 HAS SOUS 19420 HAS SOUPS 19420 WITH SCORE 19441.995
AT ITER 2697 NEW BEST:: SOT 124311 SOS 21995 HAS SOPS 21995 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19433.995
AT ITER 2701 NEW BEST:: SOT 124307 SOS 21983 HAS SOPS 21983 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19429.983
AT ITER 2718 NEW BEST:: SOT 124308 SOS 21977 HAS SOPS 21977 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19427.977
AT ITER 2720 NEW BEST:: SOT 124290 SOS 21886 HAS SOPS 21886 HAS SOUS 19390 HAS SOUPS 19390 WITH SCORE 19411.886
AT ITER 2748 NEW BEST:: SOT 124285 SOS 21849 HAS SOPS 21849 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19374.849
AT ITER 2770 NEW BEST:: SOT 124279 SOS 21819 HAS SOPS 21819 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19362.819
AT ITER 2779 NEW BEST:: SOT 124278 SOS 21818 HAS SOPS 21818 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19361.818
AT ITER 2785 NEW BEST:: SOT 124278 SOS 21765 HAS SOPS 21765 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19348.765
AT ITER 2788 NEW BEST:: SOT 124289 SOS 21749 HAS SOPS 21749 HAS SOUS 19311 HAS SOUPS 19311 WITH SCORE 19332.749
AT ITER 2789 NEW BEST:: SOT 124270 SOS 21677 HAS SOPS 21677 HAS SOUS 19269 HAS SOUPS 19269 WITH SCORE 19290.677
AT ITER 2791 NEW BEST:: SOT 124267 SOS 21662 HAS SOPS 21662 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19284.662
AT ITER 2798 NEW BEST:: SOT 124262 SOS 21642 HAS SOPS 21642 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19279.642
AT ITER 2826 NEW BEST:: SOT 124242 SOS 21623 HAS SOPS 21623 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19261.623
AT ITER 2828 NEW BEST:: SOT 124233 SOS 21612 HAS SOPS 21612 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19250.612
AT ITER 2841 NEW BEST:: SOT 124233 SOS 21597 HAS SOPS 21597 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19250.597
AT ITER 2846 NEW BEST:: SOT 124232 SOS 21596 HAS SOPS 21596 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19250.596
AT ITER 2879 NEW BEST:: SOT 124209 SOS 21603 HAS SOPS 21603 HAS SOUS 19155 HAS SOUPS 19155 WITH SCORE 19176.603
AT ITER 2894 NEW BEST:: SOT 124204 SOS 21593 HAS SOPS 21593 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19162.593
AT ITER 2901 NEW BEST:: SOT 124196 SOS 21595 HAS SOPS 21595 HAS SOUS 19126 HAS SOUPS 19126 WITH SCORE 19147.595
AT ITER 2929 NEW BEST:: SOT 124195 SOS 21599 HAS SOPS 21599 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19146.599
AT ITER 2933 NEW BEST:: SOT 124192 SOS 21528 HAS SOPS 21528 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19114.528
AT ITER 2955 NEW BEST:: SOT 124192 SOS 21520 HAS SOPS 21520 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19114.52
AT ITER 2968 NEW BEST:: SOT 124190 SOS 21539 HAS SOPS 21539 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19110.539
AT ITER 2989 NEW BEST:: SOT 124186 SOS 21535 HAS SOPS 21535 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19110.535
AT ITER 3000 NEW BEST:: SOT 124186 SOS 21535 HAS SOPS 21535 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19107.535
AT ITER 3034 NEW BEST:: SOT 124180 SOS 21517 HAS SOPS 21517 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19089.517
AT ITER 3037 NEW BEST:: SOT 124171 SOS 21512 HAS SOPS 21512 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19084.512
AT ITER 3044 NEW BEST:: SOT 124171 SOS 21512 HAS SOPS 21512 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19063.512
AT ITER 3117 NEW BEST:: SOT 124162 SOS 21503 HAS SOPS 21503 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19063.503
AT ITER 3137 NEW BEST:: SOT 124158 SOS 21495 HAS SOPS 21495 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19055.495
AT ITER 3155 NEW BEST:: SOT 124155 SOS 21486 HAS SOPS 21486 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19049.486
AT ITER 3195 NEW BEST:: SOT 124156 SOS 21480 HAS SOPS 21480 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19043.48
AT ITER 3198 NEW BEST:: SOT 124156 SOS 21471 HAS SOPS 21471 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19034.471
AT ITER 3224 NEW BEST:: SOT 124154 SOS 21469 HAS SOPS 21469 HAS SOUS 19011 HAS SOUPS 19011 WITH SCORE 19032.469
AT ITER 3235 NEW BEST:: SOT 124151 SOS 21466 HAS SOPS 21466 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19029.466
AT ITER 3268 NEW BEST:: SOT 124076 SOS 21531 HAS SOPS 21531 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18954.531
AT ITER 3279 NEW BEST:: SOT 124088 SOS 21534 HAS SOPS 21534 HAS SOUS 18910 HAS SOUPS 18910 WITH SCORE 18931.534
AT ITER 3295 NEW BEST:: SOT 124026 SOS 21441 HAS SOPS 21441 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18838.441
AT ITER 3300 NEW BEST:: SOT 124063 SOS 21435 HAS SOPS 21435 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18832.435
AT ITER 3318 NEW BEST:: SOT 124060 SOS 21429 HAS SOPS 21429 HAS SOUS 18805 HAS SOUPS 18805 WITH SCORE 18826.429
AT ITER 3336 NEW BEST:: SOT 124053 SOS 21443 HAS SOPS 21443 HAS SOUS 18791 HAS SOUPS 18791 WITH SCORE 18812.443
AT ITER 3341 NEW BEST:: SOT 124057 SOS 21451 HAS SOPS 21451 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18810.451
AT ITER 3343 NEW BEST:: SOT 124057 SOS 21425 HAS SOPS 21425 HAS SOUS 18763 HAS SOUPS 18763 WITH SCORE 18784.425
AT ITER 3344 NEW BEST:: SOT 124057 SOS 21425 HAS SOPS 21425 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18783.425
AT ITER 3369 NEW BEST:: SOT 124033 SOS 21325 HAS SOPS 21325 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18779.325
AT ITER 3428 NEW BEST:: SOT 124010 SOS 21302 HAS SOPS 21302 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18779.302
AT ITER 3453 NEW BEST:: SOT 124010 SOS 21187 HAS SOPS 21187 HAS SOUS 18692 HAS SOUPS 18692 WITH SCORE 18713.187
AT ITER 3474 NEW BEST:: SOT 124010 SOS 21181 HAS SOPS 21181 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18707.181
AT ITER 3493 NEW BEST:: SOT 123992 SOS 21160 HAS SOPS 21160 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18686.16
AT ITER 3507 NEW BEST:: SOT 123960 SOS 21096 HAS SOPS 21096 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18630.096
AT ITER 3523 NEW BEST:: SOT 123949 SOS 21046 HAS SOPS 21046 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18570.046
AT ITER 3530 NEW BEST:: SOT 123939 SOS 21026 HAS SOPS 21026 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18550.026
AT ITER 3651 NEW BEST:: SOT 123909 SOS 21011 HAS SOPS 21011 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18535.011
AT ITER 3681 NEW BEST:: SOT 123895 SOS 21024 HAS SOPS 21024 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18521.024
AT ITER 3741 NEW BEST:: SOT 123913 SOS 21018 HAS SOPS 21018 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18515.018
AT ITER 3759 NEW BEST:: SOT 123909 SOS 21010 HAS SOPS 21010 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18507.01
AT ITER 3789 NEW BEST:: SOT 123900 SOS 21002 HAS SOPS 21002 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18502.002
AT ITER 3843 NEW BEST:: SOT 123887 SOS 20999 HAS SOPS 20999 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18488.999
AT ITER 3845 NEW BEST:: SOT 123887 SOS 20999 HAS SOPS 20999 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.999
AT ITER 3886 NEW BEST:: SOT 123867 SOS 20933 HAS SOPS 20933 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18409.933
AT ITER 3921 NEW BEST:: SOT 123867 SOS 20933 HAS SOPS 20933 HAS SOUS 18388 HAS SOUPS 18388 WITH SCORE 18408.933
AT ITER 3942 NEW BEST:: SOT 123867 SOS 20922 HAS SOPS 20922 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18397.922
AT ITER 3961 NEW BEST:: SOT 123833 SOS 20864 HAS SOPS 20864 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18339.864
AT ITER 3977 NEW BEST:: SOT 123887 SOS 20756 HAS SOPS 20756 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18339.756
AT ITER 3993 NEW BEST:: SOT 123887 SOS 20749 HAS SOPS 20749 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18333.749
AT ITER 4011 NEW BEST:: SOT 123869 SOS 20731 HAS SOPS 20731 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18332.731
AT ITER 4061 NEW BEST:: SOT 123860 SOS 20707 HAS SOPS 20707 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18293.707
AT ITER 4109 NEW BEST:: SOT 123860 SOS 20645 HAS SOPS 20645 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18293.645
AT ITER 4111 NEW BEST:: SOT 123860 SOS 20621 HAS SOPS 20621 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18281.621
AT ITER 4114 NEW BEST:: SOT 123854 SOS 20609 HAS SOPS 20609 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18272.609
AT ITER 4118 NEW BEST:: SOT 123854 SOS 20589 HAS SOPS 20589 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18252.589
AT ITER 4120 NEW BEST:: SOT 123851 SOS 20583 HAS SOPS 20583 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18246.583
AT ITER 4141 NEW BEST:: SOT 123851 SOS 20583 HAS SOPS 20583 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18239.583
AT ITER 4180 NEW BEST:: SOT 123832 SOS 20591 HAS SOPS 20591 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18226.591
AT ITER 4201 NEW BEST:: SOT 123822 SOS 20571 HAS SOPS 20571 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18226.571
AT ITER 4212 NEW BEST:: SOT 123813 SOS 20553 HAS SOPS 20553 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18200.553
AT ITER 4221 NEW BEST:: SOT 123834 SOS 20551 HAS SOPS 20551 HAS SOUS 18178 HAS SOUPS 18178 WITH SCORE 18198.551
AT ITER 4231 NEW BEST:: SOT 123821 SOS 20516 HAS SOPS 20516 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18196.516
AT ITER 4262 NEW BEST:: SOT 123808 SOS 20490 HAS SOPS 20490 HAS SOUS 18151 HAS SOUPS 18151 WITH SCORE 18171.49
AT ITER 4306 NEW BEST:: SOT 123803 SOS 20485 HAS SOPS 20485 HAS SOUS 18150 HAS SOUPS 18150 WITH SCORE 18170.485
AT ITER 4310 NEW BEST:: SOT 123800 SOS 20479 HAS SOPS 20479 HAS SOUS 18102 HAS SOUPS 18102 WITH SCORE 18122.479
AT ITER 4333 NEW BEST:: SOT 123794 SOS 20461 HAS SOPS 20461 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18110.461
AT ITER 4406 NEW BEST:: SOT 123792 SOS 20457 HAS SOPS 20457 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18106.457
AT ITER 4452 NEW BEST:: SOT 123792 SOS 20436 HAS SOPS 20436 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18104.436
AT ITER 4455 NEW BEST:: SOT 123847 SOS 20506 HAS SOPS 20506 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18094.506
AT ITER 4497 NEW BEST:: SOT 123831 SOS 20462 HAS SOPS 20462 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18066.462
AT ITER 4500 NEW BEST:: SOT 123824 SOS 20443 HAS SOPS 20443 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18057.443
AT ITER 4536 NEW BEST:: SOT 123807 SOS 20409 HAS SOPS 20409 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18023.409
AT ITER 4557 NEW BEST:: SOT 123798 SOS 20365 HAS SOPS 20365 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18005.365
AT ITER 4587 NEW BEST:: SOT 123777 SOS 20313 HAS SOPS 20313 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17975.313
AT ITER 4590 NEW BEST:: SOT 123739 SOS 20237 HAS SOPS 20237 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17954.237
AT ITER 4641 NEW BEST:: SOT 123734 SOS 20227 HAS SOPS 20227 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17944.227
AT ITER 4724 NEW BEST:: SOT 123727 SOS 20224 HAS SOPS 20224 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17941.224
AT ITER 4735 NEW BEST:: SOT 123706 SOS 20182 HAS SOPS 20182 HAS SOUS 17879 HAS SOUPS 17879 WITH SCORE 17899.182
AT ITER 4746 NEW BEST:: SOT 123697 SOS 20181 HAS SOPS 20181 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17897.181
AT ITER 4772 NEW BEST:: SOT 123712 SOS 20186 HAS SOPS 20186 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17896.186
AT ITER 4825 NEW BEST:: SOT 123708 SOS 20135 HAS SOPS 20135 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17885.135
AT ITER 4839 NEW BEST:: SOT 123708 SOS 20119 HAS SOPS 20119 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17885.119
AT ITER 4865 NEW BEST:: SOT 123708 SOS 20135 HAS SOPS 20135 HAS SOUS 17857 HAS SOUPS 17857 WITH SCORE 17877.135
AT ITER 4866 NEW BEST:: SOT 123704 SOS 20124 HAS SOPS 20124 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17866.124
AT ITER 4884 NEW BEST:: SOT 123701 SOS 20118 HAS SOPS 20118 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17860.118
AT ITER 5011 NEW BEST:: SOT 123701 SOS 20111 HAS SOPS 20111 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17853.111
AT ITER 5021 NEW BEST:: SOT 123701 SOS 20111 HAS SOPS 20111 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17849.111
AT ITER 5030 NEW BEST:: SOT 123687 SOS 20076 HAS SOPS 20076 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17834.076
AT ITER 5111 NEW BEST:: SOT 123687 SOS 20037 HAS SOPS 20037 HAS SOUS 17775 HAS SOUPS 17775 WITH SCORE 17795.037
AT ITER 5139 NEW BEST:: SOT 123687 SOS 20037 HAS SOPS 20037 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17793.037
AT ITER 5171 NEW BEST:: SOT 123687 SOS 20030 HAS SOPS 20030 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17786.03
AT ITER 5189 NEW BEST:: SOT 123681 SOS 20018 HAS SOPS 20018 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17732.018
AT ITER 5211 NEW BEST:: SOT 123717 SOS 20014 HAS SOPS 20014 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17728.014
AT ITER 5224 NEW BEST:: SOT 123711 SOS 19984 HAS SOPS 19984 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17715.984
AT ITER 5228 NEW BEST:: SOT 123733 SOS 20028 HAS SOPS 20028 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17714.028
AT ITER 5287 NEW BEST:: SOT 123716 SOS 19956 HAS SOPS 19956 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17703.956
AT ITER 5300 NEW BEST:: SOT 123716 SOS 19956 HAS SOPS 19956 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17683.956
AT ITER 5315 NEW BEST:: SOT 123695 SOS 19879 HAS SOPS 19879 HAS SOUS 17622 HAS SOUPS 17622 WITH SCORE 17641.879
AT ITER 5331 NEW BEST:: SOT 123707 SOS 19867 HAS SOPS 19867 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17629.867
AT ITER 5332 NEW BEST:: SOT 123701 SOS 19852 HAS SOPS 19852 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17620.852
AT ITER 5438 NEW BEST:: SOT 123696 SOS 19842 HAS SOPS 19842 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17615.842
AT ITER 5466 NEW BEST:: SOT 123694 SOS 19838 HAS SOPS 19838 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17611.838
AT ITER 5477 NEW BEST:: SOT 123693 SOS 19812 HAS SOPS 19812 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17598.812
AT ITER 5489 NEW BEST:: SOT 123693 SOS 19805 HAS SOPS 19805 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17598.805
AT ITER 5510 NEW BEST:: SOT 123683 SOS 19743 HAS SOPS 19743 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17564.743
AT ITER 5542 NEW BEST:: SOT 123666 SOS 19725 HAS SOPS 19725 HAS SOUS 17543 HAS SOUPS 17543 WITH SCORE 17562.725
AT ITER 5596 NEW BEST:: SOT 123666 SOS 19723 HAS SOPS 19723 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17550.723
AT ITER 5619 NEW BEST:: SOT 123652 SOS 19710 HAS SOPS 19710 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17536.71
AT ITER 5620 NEW BEST:: SOT 123667 SOS 19680 HAS SOPS 19680 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17506.68
AT ITER 5628 NEW BEST:: SOT 123667 SOS 19626 HAS SOPS 19626 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17506.626
AT ITER 5641 NEW BEST:: SOT 123676 SOS 19644 HAS SOPS 19644 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17502.644
AT ITER 5678 NEW BEST:: SOT 123676 SOS 19628 HAS SOPS 19628 HAS SOUS 17467 HAS SOUPS 17467 WITH SCORE 17486.628
AT ITER 5687 NEW BEST:: SOT 123664 SOS 19604 HAS SOPS 19604 HAS SOUS 17443 HAS SOUPS 17443 WITH SCORE 17462.604
AT ITER 5709 NEW BEST:: SOT 123665 SOS 19597 HAS SOPS 19597 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17454.597
AT ITER 5732 NEW BEST:: SOT 123670 SOS 19585 HAS SOPS 19585 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17445.585
AT ITER 5752 NEW BEST:: SOT 123634 SOS 19527 HAS SOPS 19527 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17371.527
AT ITER 5785 NEW BEST:: SOT 123621 SOS 19511 HAS SOPS 19511 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17354.511
AT ITER 5798 NEW BEST:: SOT 123611 SOS 19478 HAS SOPS 19478 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17334.478
AT ITER 5851 NEW BEST:: SOT 123611 SOS 19462 HAS SOPS 19462 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17326.462
AT ITER 5860 NEW BEST:: SOT 123611 SOS 19462 HAS SOPS 19462 HAS SOUS 17305 HAS SOUPS 17305 WITH SCORE 17324.462
AT ITER 5923 NEW BEST:: SOT 123536 SOS 19387 HAS SOPS 19387 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17249.387
AT ITER 5937 NEW BEST:: SOT 123536 SOS 19401 HAS SOPS 19401 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17244.401
AT ITER 5944 NEW BEST:: SOT 123546 SOS 19386 HAS SOPS 19386 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17229.386
AT ITER 5951 NEW BEST:: SOT 123536 SOS 19371 HAS SOPS 19371 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17219.371
AT ITER 5961 NEW BEST:: SOT 123536 SOS 19371 HAS SOPS 19371 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17211.371
AT ITER 5970 NEW BEST:: SOT 123536 SOS 19366 HAS SOPS 19366 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17206.366
AT ITER 5991 NEW BEST:: SOT 123568 SOS 19364 HAS SOPS 19364 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17151.364
AT ITER 6057 NEW BEST:: SOT 123559 SOS 19301 HAS SOPS 19301 HAS SOUS 17107 HAS SOUPS 17107 WITH SCORE 17126.301
AT ITER 6064 NEW BEST:: SOT 123546 SOS 19273 HAS SOPS 19273 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17098.273
AT ITER 6082 NEW BEST:: SOT 123492 SOS 19187 HAS SOPS 19187 HAS SOUS 16993 HAS SOUPS 16993 WITH SCORE 17012.187
AT ITER 6189 NEW BEST:: SOT 123503 SOS 19235 HAS SOPS 19235 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17008.235
AT ITER 6209 NEW BEST:: SOT 123503 SOS 19227 HAS SOPS 19227 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17000.227
AT ITER 6340 NEW BEST:: SOT 123478 SOS 19136 HAS SOPS 19136 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16946.136
AT ITER 6369 NEW BEST:: SOT 123478 SOS 19132 HAS SOPS 19132 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16946.132
AT ITER 6373 NEW BEST:: SOT 123478 SOS 19123 HAS SOPS 19123 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16943.123
AT ITER 6391 NEW BEST:: SOT 123478 SOS 19122 HAS SOPS 19122 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16942.122
AT ITER 6395 NEW BEST:: SOT 123478 SOS 19118 HAS SOPS 19118 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16938.118
AT ITER 6427 NEW BEST:: SOT 123470 SOS 19110 HAS SOPS 19110 HAS SOUS 16913 HAS SOUPS 16913 WITH SCORE 16932.11
AT ITER 6462 NEW BEST:: SOT 123467 SOS 19106 HAS SOPS 19106 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16927.106
AT ITER 6623 NEW BEST:: SOT 123467 SOS 19091 HAS SOPS 19091 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16927.091
AT ITER 6640 NEW BEST:: SOT 123461 SOS 19085 HAS SOPS 19085 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16921.085
AT ITER 6659 NEW BEST:: SOT 123461 SOS 19072 HAS SOPS 19072 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16921.072
AT ITER 6691 NEW BEST:: SOT 123461 SOS 19072 HAS SOPS 19072 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16915.072
AT ITER 6726 NEW BEST:: SOT 123460 SOS 19070 HAS SOPS 19070 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16913.07
AT ITER 6792 NEW BEST:: SOT 123459 SOS 19068 HAS SOPS 19068 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16912.068
AT ITER 6793 NEW BEST:: SOT 123450 SOS 19037 HAS SOPS 19037 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16912.037
AT ITER 6813 NEW BEST:: SOT 123436 SOS 19009 HAS SOPS 19009 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16911.009
AT ITER 6835 NEW BEST:: SOT 123411 SOS 19013 HAS SOPS 19013 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16907.013
AT ITER 6845 NEW BEST:: SOT 123412 SOS 19010 HAS SOPS 19010 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16904.01
AT ITER 6865 NEW BEST:: SOT 123408 SOS 19035 HAS SOPS 19035 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16896.035
AT ITER 6866 NEW BEST:: SOT 123407 SOS 19035 HAS SOPS 19035 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16894.035
AT ITER 6903 NEW BEST:: SOT 123400 SOS 18977 HAS SOPS 18977 HAS SOUS 16860 HAS SOUPS 16860 WITH SCORE 16878.977
AT ITER 6965 NEW BEST:: SOT 123400 SOS 18973 HAS SOPS 18973 HAS SOUS 16856 HAS SOUPS 16856 WITH SCORE 16874.973
AT ITER 6993 NEW BEST:: SOT 123402 SOS 18950 HAS SOPS 18950 HAS SOUS 16833 HAS SOUPS 16833 WITH SCORE 16851.95
AT ITER 6995 NEW BEST:: SOT 123401 SOS 18948 HAS SOPS 18948 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16850.948
AT ITER 6997 NEW BEST:: SOT 123387 SOS 18920 HAS SOPS 18920 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16808.92
AT ITER 7085 NEW BEST:: SOT 123387 SOS 18914 HAS SOPS 18914 HAS SOUS 16784 HAS SOUPS 16784 WITH SCORE 16802.914
AT ITER 7109 NEW BEST:: SOT 123387 SOS 18909 HAS SOPS 18909 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16797.909
AT ITER 7135 NEW BEST:: SOT 123362 SOS 18859 HAS SOPS 18859 HAS SOUS 16773 HAS SOUPS 16773 WITH SCORE 16791.859
AT ITER 7151 NEW BEST:: SOT 123375 SOS 18838 HAS SOPS 18838 HAS SOUS 16760 HAS SOUPS 16760 WITH SCORE 16778.838
AT ITER 7152 NEW BEST:: SOT 123352 SOS 18812 HAS SOPS 18812 HAS SOUS 16734 HAS SOUPS 16734 WITH SCORE 16752.812
AT ITER 7159 NEW BEST:: SOT 123295 SOS 18783 HAS SOPS 18783 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16721.783
AT ITER 7164 NEW BEST:: SOT 123295 SOS 18780 HAS SOPS 18780 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16718.78
AT ITER 7187 NEW BEST:: SOT 123295 SOS 18776 HAS SOPS 18776 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16718.776
AT ITER 7274 NEW BEST:: SOT 123273 SOS 18732 HAS SOPS 18732 HAS SOUS 16656 HAS SOUPS 16656 WITH SCORE 16674.732
AT ITER 7280 NEW BEST:: SOT 123269 SOS 18724 HAS SOPS 18724 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16666.724
AT ITER 7317 NEW BEST:: SOT 123251 SOS 18688 HAS SOPS 18688 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16662.688
AT ITER 7331 NEW BEST:: SOT 123251 SOS 18672 HAS SOPS 18672 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16646.672
AT ITER 7348 NEW BEST:: SOT 123241 SOS 18607 HAS SOPS 18607 HAS SOUS 16618 HAS SOUPS 16618 WITH SCORE 16636.607
AT ITER 7362 NEW BEST:: SOT 123241 SOS 18599 HAS SOPS 18599 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16628.599
AT ITER 7366 NEW BEST:: SOT 123241 SOS 18591 HAS SOPS 18591 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16620.591
AT ITER 7392 NEW BEST:: SOT 123242 SOS 18585 HAS SOPS 18585 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16618.585
AT ITER 7393 NEW BEST:: SOT 123242 SOS 18564 HAS SOPS 18564 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16618.564
AT ITER 7397 NEW BEST:: SOT 123203 SOS 18553 HAS SOPS 18553 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16607.553
AT ITER 7416 NEW BEST:: SOT 123203 SOS 18543 HAS SOPS 18543 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16597.543
AT ITER 7474 NEW BEST:: SOT 123203 SOS 18527 HAS SOPS 18527 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16589.527
AT ITER 7506 NEW BEST:: SOT 123194 SOS 18509 HAS SOPS 18509 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16576.509
AT ITER 7526 NEW BEST:: SOT 123189 SOS 18509 HAS SOPS 18509 HAS SOUS 16553 HAS SOUPS 16553 WITH SCORE 16571.509
AT ITER 7591 NEW BEST:: SOT 123185 SOS 18501 HAS SOPS 18501 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16563.501
AT ITER 7645 NEW BEST:: SOT 123172 SOS 18469 HAS SOPS 18469 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16541.469
AT ITER 7658 NEW BEST:: SOT 123177 SOS 18464 HAS SOPS 18464 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16536.464
AT ITER 7675 NEW BEST:: SOT 123162 SOS 18434 HAS SOPS 18434 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16516.434
AT ITER 7682 NEW BEST:: SOT 123146 SOS 18428 HAS SOPS 18428 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16511.428
AT ITER 7694 NEW BEST:: SOT 123141 SOS 18418 HAS SOPS 18418 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16501.418
AT ITER 7696 NEW BEST:: SOT 123140 SOS 18415 HAS SOPS 18415 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16497.415
AT ITER 7703 NEW BEST:: SOT 123124 SOS 18408 HAS SOPS 18408 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16489.408
AT ITER 7834 NEW BEST:: SOT 123119 SOS 18398 HAS SOPS 18398 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16479.398
AT ITER 7868 NEW BEST:: SOT 123119 SOS 18388 HAS SOPS 18388 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16469.388
AT ITER 7889 NEW BEST:: SOT 123111 SOS 18372 HAS SOPS 18372 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16453.372
AT ITER 7905 NEW BEST:: SOT 123129 SOS 18362 HAS SOPS 18362 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16443.362
AT ITER 7938 NEW BEST:: SOT 123118 SOS 18340 HAS SOPS 18340 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16421.34
AT ITER 8051 NEW BEST:: SOT 123112 SOS 18341 HAS SOPS 18341 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16402.341
AT ITER 8066 NEW BEST:: SOT 123103 SOS 18323 HAS SOPS 18323 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16382.323
AT ITER 8108 NEW BEST:: SOT 123105 SOS 18315 HAS SOPS 18315 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16374.315
AT ITER 8154 NEW BEST:: SOT 123098 SOS 18241 HAS SOPS 18241 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16350.241
AT ITER 8159 NEW BEST:: SOT 123096 SOS 18208 HAS SOPS 18208 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16333.208
AT ITER 8162 NEW BEST:: SOT 123089 SOS 18194 HAS SOPS 18194 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16333.194
AT ITER 8168 NEW BEST:: SOT 123086 SOS 18188 HAS SOPS 18188 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16327.188
AT ITER 8176 NEW BEST:: SOT 123079 SOS 18174 HAS SOPS 18174 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16322.174
AT ITER 8194 NEW BEST:: SOT 123067 SOS 18150 HAS SOPS 18150 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16294.15
AT ITER 8243 NEW BEST:: SOT 123067 SOS 18123 HAS SOPS 18123 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16267.123
AT ITER 8265 NEW BEST:: SOT 123066 SOS 18121 HAS SOPS 18121 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16265.121
AT ITER 8289 NEW BEST:: SOT 123064 SOS 18119 HAS SOPS 18119 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16263.119
AT ITER 8325 NEW BEST:: SOT 123055 SOS 18086 HAS SOPS 18086 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16260.086
AT ITER 8441 NEW BEST:: SOT 123052 SOS 18080 HAS SOPS 18080 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16254.08
AT ITER 8493 NEW BEST:: SOT 123073 SOS 18031 HAS SOPS 18031 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16248.031
AT ITER 8521 NEW BEST:: SOT 123071 SOS 18029 HAS SOPS 18029 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16246.029
AT ITER 8643 NEW BEST:: SOT 123063 SOS 18021 HAS SOPS 18021 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16238.021
AT ITER 8675 NEW BEST:: SOT 123063 SOS 17931 HAS SOPS 17931 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16237.931
AT ITER 8712 NEW BEST:: SOT 123078 SOS 17926 HAS SOPS 17926 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16232.926
AT ITER 8780 NEW BEST:: SOT 123076 SOS 17922 HAS SOPS 17922 HAS SOUS 16211 HAS SOUPS 16211 WITH SCORE 16228.922
AT ITER 8853 NEW BEST:: SOT 123103 SOS 17954 HAS SOPS 17954 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16225.954
AT ITER 8874 NEW BEST:: SOT 123065 SOS 17885 HAS SOPS 17885 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16197.885
AT ITER 8890 NEW BEST:: SOT 123045 SOS 17913 HAS SOPS 17913 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16194.913
AT ITER 8904 NEW BEST:: SOT 123045 SOS 17909 HAS SOPS 17909 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16190.909
AT ITER 8907 NEW BEST:: SOT 123051 SOS 17921 HAS SOPS 17921 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16182.921
AT ITER 8911 NEW BEST:: SOT 123051 SOS 17919 HAS SOPS 17919 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16180.919
AT ITER 8943 NEW BEST:: SOT 123051 SOS 17908 HAS SOPS 17908 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16180.908
AT ITER 8978 NEW BEST:: SOT 123071 SOS 17888 HAS SOPS 17888 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16164.888
AT ITER 9029 NEW BEST:: SOT 123037 SOS 17870 HAS SOPS 17870 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16146.87
AT ITER 9034 NEW BEST:: SOT 123035 SOS 17866 HAS SOPS 17866 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16146.866
AT ITER 9114 NEW BEST:: SOT 123034 SOS 17838 HAS SOPS 17838 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16132.838
AT ITER 9123 NEW BEST:: SOT 123032 SOS 17836 HAS SOPS 17836 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16130.836
AT ITER 9145 NEW BEST:: SOT 123022 SOS 17815 HAS SOPS 17815 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16109.815
AT ITER 9156 NEW BEST:: SOT 122975 SOS 17828 HAS SOPS 17828 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16091.828
AT ITER 9169 NEW BEST:: SOT 122975 SOS 17819 HAS SOPS 17819 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16088.819
AT ITER 9190 NEW BEST:: SOT 122975 SOS 17779 HAS SOPS 17779 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16088.779
AT ITER 9276 NEW BEST:: SOT 122963 SOS 17753 HAS SOPS 17753 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16062.753
AT ITER 9364 NEW BEST:: SOT 122963 SOS 17738 HAS SOPS 17738 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16047.738
AT ITER 9412 NEW BEST:: SOT 122950 SOS 17686 HAS SOPS 17686 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16021.686
AT ITER 9421 NEW BEST:: SOT 122947 SOS 17683 HAS SOPS 17683 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16018.683
AT ITER 9451 NEW BEST:: SOT 122964 SOS 17677 HAS SOPS 17677 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16012.677
AT ITER 9533 NEW BEST:: SOT 122970 SOS 17669 HAS SOPS 17669 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16004.669
AT ITER 9598 NEW BEST:: SOT 122970 SOS 17663 HAS SOPS 17663 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 15998.663
AT ITER 9620 NEW BEST:: SOT 122949 SOS 17676 HAS SOPS 17676 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15980.676
AT ITER 9667 NEW BEST:: SOT 122949 SOS 17660 HAS SOPS 17660 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15964.66
AT ITER 9694 NEW BEST:: SOT 122932 SOS 17711 HAS SOPS 17711 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15947.711
AT ITER 9712 NEW BEST:: SOT 122930 SOS 17707 HAS SOPS 17707 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15943.707
AT ITER 9725 NEW BEST:: SOT 122880 SOS 17642 HAS SOPS 17642 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15926.642
AT ITER 9818 NEW BEST:: SOT 122874 SOS 17630 HAS SOPS 17630 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15914.63
AT ITER 9833 NEW BEST:: SOT 122874 SOS 17623 HAS SOPS 17623 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15907.623
AT ITER 9908 NEW BEST:: SOT 122870 SOS 17605 HAS SOPS 17605 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15899.605
AT ITER 9963 NEW BEST:: SOT 122870 SOS 17597 HAS SOPS 17597 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15899.597
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2961780 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152168 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="AutoFlight-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 AutoFlight-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 r003-oct2-167813590900448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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