About the Execution of Smart+red for DLCround-PT-07b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1515.224 | 3600000.00 | 3642221.00 | 8371.70 | [undef] | Time out reached |
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.r107-tall-167814484500696.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500696
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.4K Feb 25 18:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 18:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 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 963K 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 1678413974975
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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 02:06:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 02:06:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 02:06:16] [INFO ] Load time of PNML (sax parser for PT used): 151 ms
[2023-03-10 02:06:16] [INFO ] Transformed 2703 places.
[2023-03-10 02:06:16] [INFO ] Transformed 4071 transitions.
[2023-03-10 02:06:16] [INFO ] Found NUPN structural information;
[2023-03-10 02:06:16] [INFO ] Parsed PT model containing 2703 places and 4071 transitions and 11073 arcs in 411 ms.
[2023-03-10 02:06:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2703 places, 4071 transitions and 11073 arcs took 24 ms.
Total runtime 463 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 2703 places, 4071 transitions, 11073 arcs.
AT ITER 0 NEW BEST:: SOT 6825256 SOS 1533996 HAS SOPS 1533996 HAS SOUS 962756 HAS SOUPS 962756 WITH SCORE 964289.996
AT ITER 8 NEW BEST:: SOT 6825178 SOS 1533840 HAS SOPS 1533840 HAS SOUS 962496 HAS SOUPS 962496 WITH SCORE 964029.84
AT ITER 54 NEW BEST:: SOT 6824620 SOS 1533282 HAS SOPS 1533282 HAS SOUS 961938 HAS SOUPS 961938 WITH SCORE 963471.282
AT ITER 66 NEW BEST:: SOT 6824204 SOS 1533046 HAS SOPS 1533046 HAS SOUS 961704 HAS SOUPS 961704 WITH SCORE 963237.046
AT ITER 67 NEW BEST:: SOT 6824241 SOS 1532754 HAS SOPS 1532754 HAS SOUS 961656 HAS SOUPS 961656 WITH SCORE 963188.754
AT ITER 77 NEW BEST:: SOT 6824241 SOS 1532754 HAS SOPS 1532754 HAS SOUS 961655 HAS SOUPS 961655 WITH SCORE 963187.754
AT ITER 90 NEW BEST:: SOT 6824238 SOS 1532748 HAS SOPS 1532748 HAS SOUS 961649 HAS SOUPS 961649 WITH SCORE 963181.748
AT ITER 120 NEW BEST:: SOT 6823980 SOS 1532745 HAS SOPS 1532745 HAS SOUS 961132 HAS SOUPS 961132 WITH SCORE 962664.745
AT ITER 126 NEW BEST:: SOT 6823980 SOS 1532745 HAS SOPS 1532745 HAS SOUS 961131 HAS SOUPS 961131 WITH SCORE 962663.745
AT ITER 127 NEW BEST:: SOT 6823622 SOS 1529165 HAS SOPS 1529165 HAS SOUS 960415 HAS SOUPS 960415 WITH SCORE 961944.165
AT ITER 150 NEW BEST:: SOT 6823562 SOS 1529045 HAS SOPS 1529045 HAS SOUS 960295 HAS SOUPS 960295 WITH SCORE 961824.045
AT ITER 152 NEW BEST:: SOT 6823758 SOS 1529436 HAS SOPS 1529436 HAS SOUS 960241 HAS SOUPS 960241 WITH SCORE 961770.436
AT ITER 200 NEW BEST:: SOT 6823687 SOS 1528973 HAS SOPS 1528973 HAS SOUS 960077 HAS SOUPS 960077 WITH SCORE 961605.973
AT ITER 243 NEW BEST:: SOT 6823687 SOS 1528803 HAS SOPS 1528803 HAS SOUS 959907 HAS SOUPS 959907 WITH SCORE 961435.803
AT ITER 254 NEW BEST:: SOT 6823479 SOS 1529461 HAS SOPS 1529461 HAS SOUS 959655 HAS SOUPS 959655 WITH SCORE 961184.461
AT ITER 260 NEW BEST:: SOT 6823479 SOS 1529403 HAS SOPS 1529403 HAS SOUS 959597 HAS SOUPS 959597 WITH SCORE 961126.403
AT ITER 281 NEW BEST:: SOT 6822969 SOS 1530903 HAS SOPS 1530903 HAS SOUS 959317 HAS SOUPS 959317 WITH SCORE 960847.903
AT ITER 294 NEW BEST:: SOT 6823176 SOS 1532798 HAS SOPS 1532798 HAS SOUS 959235 HAS SOUPS 959235 WITH SCORE 960767.798
AT ITER 303 NEW BEST:: SOT 6822812 SOS 1532434 HAS SOPS 1532434 HAS SOUS 958871 HAS SOUPS 958871 WITH SCORE 960403.434
AT ITER 329 NEW BEST:: SOT 6822811 SOS 1532432 HAS SOPS 1532432 HAS SOUS 958869 HAS SOUPS 958869 WITH SCORE 960401.432
AT ITER 349 NEW BEST:: SOT 6822778 SOS 1532366 HAS SOPS 1532366 HAS SOUS 958803 HAS SOUPS 958803 WITH SCORE 960335.366
AT ITER 394 NEW BEST:: SOT 6822319 SOS 1531907 HAS SOPS 1531907 HAS SOUS 958344 HAS SOUPS 958344 WITH SCORE 959875.907
AT ITER 398 NEW BEST:: SOT 6822319 SOS 1532078 HAS SOPS 1532078 HAS SOUS 958343 HAS SOUPS 958343 WITH SCORE 959875.078
AT ITER 414 NEW BEST:: SOT 6822169 SOS 1531778 HAS SOPS 1531778 HAS SOUS 958119 HAS SOUPS 958119 WITH SCORE 959650.778
AT ITER 442 NEW BEST:: SOT 6821730 SOS 1531366 HAS SOPS 1531366 HAS SOUS 957241 HAS SOUPS 957241 WITH SCORE 958772.366
AT ITER 444 NEW BEST:: SOT 6821314 SOS 1530218 HAS SOPS 1530218 HAS SOUS 956642 HAS SOUPS 956642 WITH SCORE 958172.218
AT ITER 452 NEW BEST:: SOT 6821314 SOS 1530218 HAS SOPS 1530218 HAS SOUS 956392 HAS SOUPS 956392 WITH SCORE 957922.218
AT ITER 475 NEW BEST:: SOT 6821091 SOS 1530208 HAS SOPS 1530208 HAS SOUS 956277 HAS SOUPS 956277 WITH SCORE 957807.208
AT ITER 485 NEW BEST:: SOT 6821007 SOS 1530040 HAS SOPS 1530040 HAS SOUS 956109 HAS SOUPS 956109 WITH SCORE 957639.04
AT ITER 508 NEW BEST:: SOT 6820715 SOS 1529456 HAS SOPS 1529456 HAS SOUS 955525 HAS SOUPS 955525 WITH SCORE 957054.456
AT ITER 512 NEW BEST:: SOT 6820715 SOS 1530350 HAS SOPS 1530350 HAS SOUS 955445 HAS SOUPS 955445 WITH SCORE 956975.35
AT ITER 513 NEW BEST:: SOT 6820619 SOS 1530452 HAS SOPS 1530452 HAS SOUS 955349 HAS SOUPS 955349 WITH SCORE 956879.452
AT ITER 522 NEW BEST:: SOT 6819206 SOS 1532932 HAS SOPS 1532932 HAS SOUS 954785 HAS SOUPS 954785 WITH SCORE 956317.932
AT ITER 561 NEW BEST:: SOT 6819372 SOS 1533264 HAS SOPS 1533264 HAS SOUS 954651 HAS SOUPS 954651 WITH SCORE 956184.264
AT ITER 592 NEW BEST:: SOT 6819322 SOS 1533164 HAS SOPS 1533164 HAS SOUS 954515 HAS SOUPS 954515 WITH SCORE 956048.164
AT ITER 594 NEW BEST:: SOT 6819197 SOS 1533285 HAS SOPS 1533285 HAS SOUS 954514 HAS SOUPS 954514 WITH SCORE 956047.285
AT ITER 595 NEW BEST:: SOT 6819110 SOS 1533285 HAS SOPS 1533285 HAS SOUS 954427 HAS SOUPS 954427 WITH SCORE 955960.285
AT ITER 605 NEW BEST:: SOT 6818954 SOS 1533051 HAS SOPS 1533051 HAS SOUS 954193 HAS SOUPS 954193 WITH SCORE 955726.051
AT ITER 626 NEW BEST:: SOT 6818446 SOS 1535746 HAS SOPS 1535746 HAS SOUS 953986 HAS SOUPS 953986 WITH SCORE 955521.746
AT ITER 644 NEW BEST:: SOT 6818345 SOS 1535443 HAS SOPS 1535443 HAS SOUS 953683 HAS SOUPS 953683 WITH SCORE 955218.443
AT ITER 656 NEW BEST:: SOT 6818345 SOS 1535803 HAS SOPS 1535803 HAS SOUS 953682 HAS SOUPS 953682 WITH SCORE 955217.803
AT ITER 671 NEW BEST:: SOT 6817908 SOS 1534929 HAS SOPS 1534929 HAS SOUS 952808 HAS SOUPS 952808 WITH SCORE 954342.929
AT ITER 682 NEW BEST:: SOT 6817908 SOS 1534826 HAS SOPS 1534826 HAS SOUS 952808 HAS SOUPS 952808 WITH SCORE 954342.826
AT ITER 695 NEW BEST:: SOT 6817525 SOS 1534814 HAS SOPS 1534814 HAS SOUS 952425 HAS SOUPS 952425 WITH SCORE 953959.814
AT ITER 697 NEW BEST:: SOT 6817525 SOS 1534814 HAS SOPS 1534814 HAS SOUS 952421 HAS SOUPS 952421 WITH SCORE 953955.814
AT ITER 701 NEW BEST:: SOT 6817239 SOS 1534711 HAS SOPS 1534711 HAS SOUS 952135 HAS SOUPS 952135 WITH SCORE 953669.711
AT ITER 726 NEW BEST:: SOT 6817239 SOS 1534461 HAS SOPS 1534461 HAS SOUS 952010 HAS SOUPS 952010 WITH SCORE 953544.461
AT ITER 758 NEW BEST:: SOT 6817094 SOS 1534171 HAS SOPS 1534171 HAS SOUS 951525 HAS SOUPS 951525 WITH SCORE 953059.171
AT ITER 780 NEW BEST:: SOT 6817025 SOS 1534102 HAS SOPS 1534102 HAS SOUS 951456 HAS SOUPS 951456 WITH SCORE 952990.102
AT ITER 785 NEW BEST:: SOT 6817025 SOS 1533541 HAS SOPS 1533541 HAS SOUS 951269 HAS SOUPS 951269 WITH SCORE 952802.541
AT ITER 826 NEW BEST:: SOT 6816806 SOS 1533478 HAS SOPS 1533478 HAS SOUS 951175 HAS SOUPS 951175 WITH SCORE 952708.478
AT ITER 831 NEW BEST:: SOT 6816733 SOS 1533921 HAS SOPS 1533921 HAS SOUS 951101 HAS SOUPS 951101 WITH SCORE 952634.921
AT ITER 838 NEW BEST:: SOT 6816216 SOS 1532883 HAS SOPS 1532883 HAS SOUS 950583 HAS SOUPS 950583 WITH SCORE 952115.883
AT ITER 882 NEW BEST:: SOT 6816216 SOS 1532883 HAS SOPS 1532883 HAS SOUS 950580 HAS SOUPS 950580 WITH SCORE 952112.883
AT ITER 884 NEW BEST:: SOT 6815710 SOS 1531870 HAS SOPS 1531870 HAS SOUS 949567 HAS SOUPS 949567 WITH SCORE 951098.87
AT ITER 898 NEW BEST:: SOT 6815338 SOS 1531415 HAS SOPS 1531415 HAS SOUS 949112 HAS SOUPS 949112 WITH SCORE 950643.415
AT ITER 902 NEW BEST:: SOT 6813983 SOS 1528181 HAS SOPS 1528181 HAS SOUS 947233 HAS SOUPS 947233 WITH SCORE 948761.181
AT ITER 911 NEW BEST:: SOT 6813720 SOS 1527655 HAS SOPS 1527655 HAS SOUS 946970 HAS SOUPS 946970 WITH SCORE 948497.655
AT ITER 912 NEW BEST:: SOT 6813361 SOS 1527344 HAS SOPS 1527344 HAS SOUS 946611 HAS SOUPS 946611 WITH SCORE 948138.344
AT ITER 923 NEW BEST:: SOT 6813315 SOS 1527252 HAS SOPS 1527252 HAS SOUS 946519 HAS SOUPS 946519 WITH SCORE 948046.252
AT ITER 925 NEW BEST:: SOT 6813074 SOS 1525080 HAS SOPS 1525080 HAS SOUS 946036 HAS SOUPS 946036 WITH SCORE 947561.08
AT ITER 942 NEW BEST:: SOT 6812770 SOS 1524776 HAS SOPS 1524776 HAS SOUS 945732 HAS SOUPS 945732 WITH SCORE 947256.776
AT ITER 953 NEW BEST:: SOT 6812734 SOS 1524704 HAS SOPS 1524704 HAS SOUS 945660 HAS SOUPS 945660 WITH SCORE 947184.704
AT ITER 958 NEW BEST:: SOT 6812737 SOS 1524668 HAS SOPS 1524668 HAS SOUS 945624 HAS SOUPS 945624 WITH SCORE 947148.668
AT ITER 960 NEW BEST:: SOT 6812230 SOS 1523232 HAS SOPS 1523232 HAS SOUS 945025 HAS SOUPS 945025 WITH SCORE 946548.232
AT ITER 962 NEW BEST:: SOT 6812166 SOS 1522732 HAS SOPS 1522732 HAS SOUS 944856 HAS SOUPS 944856 WITH SCORE 946378.732
AT ITER 965 NEW BEST:: SOT 6812114 SOS 1522680 HAS SOPS 1522680 HAS SOUS 944804 HAS SOUPS 944804 WITH SCORE 946326.68
AT ITER 984 NEW BEST:: SOT 6811144 SOS 1521613 HAS SOPS 1521613 HAS SOUS 944434 HAS SOUPS 944434 WITH SCORE 945955.613
AT ITER 1010 NEW BEST:: SOT 6810976 SOS 1521277 HAS SOPS 1521277 HAS SOUS 944394 HAS SOUPS 944394 WITH SCORE 945915.277
AT ITER 1014 NEW BEST:: SOT 6810315 SOS 1519955 HAS SOPS 1519955 HAS SOUS 943072 HAS SOUPS 943072 WITH SCORE 944591.955
AT ITER 1024 NEW BEST:: SOT 6810426 SOS 1520177 HAS SOPS 1520177 HAS SOUS 942987 HAS SOUPS 942987 WITH SCORE 944507.177
AT ITER 1027 NEW BEST:: SOT 6809775 SOS 1519526 HAS SOPS 1519526 HAS SOUS 942336 HAS SOUPS 942336 WITH SCORE 943855.526
AT ITER 1030 NEW BEST:: SOT 6809775 SOS 1519621 HAS SOPS 1519621 HAS SOUS 942335 HAS SOUPS 942335 WITH SCORE 943854.621
AT ITER 1032 NEW BEST:: SOT 6809733 SOS 1519537 HAS SOPS 1519537 HAS SOUS 942251 HAS SOUPS 942251 WITH SCORE 943770.537
AT ITER 1099 NEW BEST:: SOT 6809733 SOS 1519507 HAS SOPS 1519507 HAS SOUS 942251 HAS SOUPS 942251 WITH SCORE 943770.507
AT ITER 1111 NEW BEST:: SOT 6809223 SOS 1519033 HAS SOPS 1519033 HAS SOUS 941719 HAS SOUPS 941719 WITH SCORE 943238.033
AT ITER 1131 NEW BEST:: SOT 6809223 SOS 1519495 HAS SOPS 1519495 HAS SOUS 941637 HAS SOUPS 941637 WITH SCORE 943156.495
AT ITER 1139 NEW BEST:: SOT 6809179 SOS 1519579 HAS SOPS 1519579 HAS SOUS 941592 HAS SOUPS 941592 WITH SCORE 943111.579
AT ITER 1146 NEW BEST:: SOT 6808807 SOS 1519385 HAS SOPS 1519385 HAS SOUS 941401 HAS SOUPS 941401 WITH SCORE 942920.385
AT ITER 1150 NEW BEST:: SOT 6808505 SOS 1518661 HAS SOPS 1518661 HAS SOUS 941220 HAS SOUPS 941220 WITH SCORE 942738.661
AT ITER 1162 NEW BEST:: SOT 6808505 SOS 1518837 HAS SOPS 1518837 HAS SOUS 941218 HAS SOUPS 941218 WITH SCORE 942736.837
AT ITER 1163 NEW BEST:: SOT 6808505 SOS 1518836 HAS SOPS 1518836 HAS SOUS 941217 HAS SOUPS 941217 WITH SCORE 942735.836
AT ITER 1173 NEW BEST:: SOT 6808258 SOS 1518342 HAS SOPS 1518342 HAS SOUS 940969 HAS SOUPS 940969 WITH SCORE 942487.342
AT ITER 1189 NEW BEST:: SOT 6808101 SOS 1518316 HAS SOPS 1518316 HAS SOUS 940766 HAS SOUPS 940766 WITH SCORE 942284.316
AT ITER 1208 NEW BEST:: SOT 6807959 SOS 1518083 HAS SOPS 1518083 HAS SOUS 940533 HAS SOUPS 940533 WITH SCORE 942051.083
AT ITER 1222 NEW BEST:: SOT 6807458 SOS 1517582 HAS SOPS 1517582 HAS SOUS 940032 HAS SOUPS 940032 WITH SCORE 941549.582
AT ITER 1223 NEW BEST:: SOT 6807004 SOS 1517128 HAS SOPS 1517128 HAS SOUS 939578 HAS SOUPS 939578 WITH SCORE 941095.128
AT ITER 1249 NEW BEST:: SOT 6806952 SOS 1517024 HAS SOPS 1517024 HAS SOUS 939474 HAS SOUPS 939474 WITH SCORE 940991.024
AT ITER 1255 NEW BEST:: SOT 6806722 SOS 1516794 HAS SOPS 1516794 HAS SOUS 939244 HAS SOUPS 939244 WITH SCORE 940760.794
AT ITER 1258 NEW BEST:: SOT 6806722 SOS 1516794 HAS SOPS 1516794 HAS SOUS 939113 HAS SOUPS 939113 WITH SCORE 940629.794
AT ITER 1268 NEW BEST:: SOT 6806553 SOS 1518120 HAS SOPS 1518120 HAS SOUS 938774 HAS SOUPS 938774 WITH SCORE 940292.12
AT ITER 1314 NEW BEST:: SOT 6806410 SOS 1518137 HAS SOPS 1518137 HAS SOUS 938744 HAS SOUPS 938744 WITH SCORE 940262.137
AT ITER 1319 NEW BEST:: SOT 6806410 SOS 1518100 HAS SOPS 1518100 HAS SOUS 938744 HAS SOUPS 938744 WITH SCORE 940262.1
AT ITER 1326 NEW BEST:: SOT 6806077 SOS 1517878 HAS SOPS 1517878 HAS SOUS 938522 HAS SOUPS 938522 WITH SCORE 940039.878
AT ITER 1330 NEW BEST:: SOT 6805866 SOS 1517855 HAS SOPS 1517855 HAS SOUS 938310 HAS SOUPS 938310 WITH SCORE 939827.855
AT ITER 1404 NEW BEST:: SOT 6805838 SOS 1517547 HAS SOPS 1517547 HAS SOUS 938254 HAS SOUPS 938254 WITH SCORE 939771.547
AT ITER 1429 NEW BEST:: SOT 6805838 SOS 1518914 HAS SOPS 1518914 HAS SOUS 938252 HAS SOUPS 938252 WITH SCORE 939770.914
AT ITER 1430 NEW BEST:: SOT 6805837 SOS 1518912 HAS SOPS 1518912 HAS SOUS 938250 HAS SOUPS 938250 WITH SCORE 939768.912
AT ITER 1433 NEW BEST:: SOT 6805800 SOS 1518837 HAS SOPS 1518837 HAS SOUS 938175 HAS SOUPS 938175 WITH SCORE 939693.837
AT ITER 1497 NEW BEST:: SOT 6805799 SOS 1518835 HAS SOPS 1518835 HAS SOUS 938173 HAS SOUPS 938173 WITH SCORE 939691.835
AT ITER 1500 NEW BEST:: SOT 6805701 SOS 1518771 HAS SOPS 1518771 HAS SOUS 938109 HAS SOUPS 938109 WITH SCORE 939627.771
AT ITER 1507 NEW BEST:: SOT 6803564 SOS 1518640 HAS SOPS 1518640 HAS SOUS 936536 HAS SOUPS 936536 WITH SCORE 938054.64
AT ITER 1508 NEW BEST:: SOT 6803564 SOS 1518127 HAS SOPS 1518127 HAS SOUS 936365 HAS SOUPS 936365 WITH SCORE 937883.127
AT ITER 1512 NEW BEST:: SOT 6803693 SOS 1517979 HAS SOPS 1517979 HAS SOUS 935940 HAS SOUPS 935940 WITH SCORE 937457.979
AT ITER 1574 NEW BEST:: SOT 6803583 SOS 1518195 HAS SOPS 1518195 HAS SOUS 935939 HAS SOUPS 935939 WITH SCORE 937457.195
AT ITER 1579 NEW BEST:: SOT 6803193 SOS 1517935 HAS SOPS 1517935 HAS SOUS 935679 HAS SOUPS 935679 WITH SCORE 937196.935
AT ITER 1584 NEW BEST:: SOT 6803347 SOS 1517933 HAS SOPS 1517933 HAS SOUS 935678 HAS SOUPS 935678 WITH SCORE 937195.933
AT ITER 1585 NEW BEST:: SOT 6803155 SOS 1517549 HAS SOPS 1517549 HAS SOUS 935294 HAS SOUPS 935294 WITH SCORE 936811.549
AT ITER 1596 NEW BEST:: SOT 6803326 SOS 1517350 HAS SOPS 1517350 HAS SOUS 934554 HAS SOUPS 934554 WITH SCORE 936071.35
AT ITER 1608 NEW BEST:: SOT 6803166 SOS 1517030 HAS SOPS 1517030 HAS SOUS 934234 HAS SOUPS 934234 WITH SCORE 935751.03
AT ITER 1621 NEW BEST:: SOT 6803166 SOS 1517030 HAS SOPS 1517030 HAS SOUS 934233 HAS SOUPS 934233 WITH SCORE 935750.03
AT ITER 1629 NEW BEST:: SOT 6803410 SOS 1516856 HAS SOPS 1516856 HAS SOUS 934184 HAS SOUPS 934184 WITH SCORE 935700.856
AT ITER 1661 NEW BEST:: SOT 6803033 SOS 1516102 HAS SOPS 1516102 HAS SOUS 933870 HAS SOUPS 933870 WITH SCORE 935386.102
AT ITER 1684 NEW BEST:: SOT 6803355 SOS 1515905 HAS SOPS 1515905 HAS SOUS 933673 HAS SOUPS 933673 WITH SCORE 935188.905
AT ITER 1693 NEW BEST:: SOT 6803248 SOS 1515691 HAS SOPS 1515691 HAS SOUS 933459 HAS SOUPS 933459 WITH SCORE 934974.691
AT ITER 1714 NEW BEST:: SOT 6803151 SOS 1516370 HAS SOPS 1516370 HAS SOUS 933265 HAS SOUPS 933265 WITH SCORE 934781.37
AT ITER 1716 NEW BEST:: SOT 6803043 SOS 1516154 HAS SOPS 1516154 HAS SOUS 933049 HAS SOUPS 933049 WITH SCORE 934565.154
AT ITER 1723 NEW BEST:: SOT 6803023 SOS 1516124 HAS SOPS 1516124 HAS SOUS 933019 HAS SOUPS 933019 WITH SCORE 934535.124
AT ITER 1747 NEW BEST:: SOT 6802737 SOS 1515998 HAS SOPS 1515998 HAS SOUS 932892 HAS SOUPS 932892 WITH SCORE 934407.998
AT ITER 1763 NEW BEST:: SOT 6802059 SOS 1515320 HAS SOPS 1515320 HAS SOUS 932211 HAS SOUPS 932211 WITH SCORE 933726.32
AT ITER 1817 NEW BEST:: SOT 6802039 SOS 1515280 HAS SOPS 1515280 HAS SOUS 932171 HAS SOUPS 932171 WITH SCORE 933686.28
AT ITER 1839 NEW BEST:: SOT 6801831 SOS 1516736 HAS SOPS 1516736 HAS SOUS 931963 HAS SOUPS 931963 WITH SCORE 933479.736
AT ITER 1840 NEW BEST:: SOT 6801314 SOS 1516219 HAS SOPS 1516219 HAS SOUS 931446 HAS SOUPS 931446 WITH SCORE 932962.219
AT ITER 1845 NEW BEST:: SOT 6800932 SOS 1515836 HAS SOPS 1515836 HAS SOUS 931063 HAS SOUPS 931063 WITH SCORE 932578.836
AT ITER 1851 NEW BEST:: SOT 6800932 SOS 1515773 HAS SOPS 1515773 HAS SOUS 931056 HAS SOUPS 931056 WITH SCORE 932571.773
AT ITER 1862 NEW BEST:: SOT 6800852 SOS 1515373 HAS SOPS 1515373 HAS SOUS 930896 HAS SOUPS 930896 WITH SCORE 932411.373
AT ITER 1870 NEW BEST:: SOT 6800852 SOS 1514841 HAS SOPS 1514841 HAS SOUS 930896 HAS SOUPS 930896 WITH SCORE 932410.841
AT ITER 1878 NEW BEST:: SOT 6800973 SOS 1515083 HAS SOPS 1515083 HAS SOUS 930370 HAS SOUPS 930370 WITH SCORE 931885.083
AT ITER 1926 NEW BEST:: SOT 6800759 SOS 1515293 HAS SOPS 1515293 HAS SOUS 929941 HAS SOUPS 929941 WITH SCORE 931456.293
AT ITER 1953 NEW BEST:: SOT 6800718 SOS 1515170 HAS SOPS 1515170 HAS SOUS 929859 HAS SOUPS 929859 WITH SCORE 931374.17
AT ITER 1955 NEW BEST:: SOT 6800233 SOS 1512640 HAS SOPS 1512640 HAS SOUS 928889 HAS SOUPS 928889 WITH SCORE 930401.64
AT ITER 1967 NEW BEST:: SOT 6800233 SOS 1512830 HAS SOPS 1512830 HAS SOUS 928888 HAS SOUPS 928888 WITH SCORE 930400.83
AT ITER 1971 NEW BEST:: SOT 6800233 SOS 1512826 HAS SOPS 1512826 HAS SOUS 928772 HAS SOUPS 928772 WITH SCORE 930284.826
AT ITER 1993 NEW BEST:: SOT 6799365 SOS 1511958 HAS SOPS 1511958 HAS SOUS 927904 HAS SOUPS 927904 WITH SCORE 929415.958
AT ITER 2010 NEW BEST:: SOT 6799249 SOS 1510022 HAS SOPS 1510022 HAS SOUS 927674 HAS SOUPS 927674 WITH SCORE 929184.022
AT ITER 2033 NEW BEST:: SOT 6799249 SOS 1509858 HAS SOPS 1509858 HAS SOUS 927530 HAS SOUPS 927530 WITH SCORE 929039.858
AT ITER 2034 NEW BEST:: SOT 6798837 SOS 1509414 HAS SOPS 1509414 HAS SOUS 927086 HAS SOUPS 927086 WITH SCORE 928595.414
AT ITER 2041 NEW BEST:: SOT 6799058 SOS 1509856 HAS SOPS 1509856 HAS SOUS 927025 HAS SOUPS 927025 WITH SCORE 928534.856
AT ITER 2067 NEW BEST:: SOT 6799058 SOS 1509730 HAS SOPS 1509730 HAS SOUS 926983 HAS SOUPS 926983 WITH SCORE 928492.73
AT ITER 2090 NEW BEST:: SOT 6799059 SOS 1509684 HAS SOPS 1509684 HAS SOUS 926968 HAS SOUPS 926968 WITH SCORE 928477.684
AT ITER 2103 NEW BEST:: SOT 6799056 SOS 1509678 HAS SOPS 1509678 HAS SOUS 926962 HAS SOUPS 926962 WITH SCORE 928471.678
AT ITER 2110 NEW BEST:: SOT 6798295 SOS 1508812 HAS SOPS 1508812 HAS SOUS 926092 HAS SOUPS 926092 WITH SCORE 927600.812
AT ITER 2111 NEW BEST:: SOT 6798220 SOS 1508765 HAS SOPS 1508765 HAS SOUS 926047 HAS SOUPS 926047 WITH SCORE 927555.765
AT ITER 2126 NEW BEST:: SOT 6797902 SOS 1508129 HAS SOPS 1508129 HAS SOUS 925728 HAS SOUPS 925728 WITH SCORE 927236.129
AT ITER 2155 NEW BEST:: SOT 6797875 SOS 1508312 HAS SOPS 1508312 HAS SOUS 925674 HAS SOUPS 925674 WITH SCORE 927182.312
AT ITER 2176 NEW BEST:: SOT 6797875 SOS 1508302 HAS SOPS 1508302 HAS SOUS 925666 HAS SOUPS 925666 WITH SCORE 927174.302
AT ITER 2194 NEW BEST:: SOT 6797723 SOS 1507082 HAS SOPS 1507082 HAS SOUS 925361 HAS SOUPS 925361 WITH SCORE 926868.082
AT ITER 2203 NEW BEST:: SOT 6797764 SOS 1507081 HAS SOPS 1507081 HAS SOUS 925360 HAS SOUPS 925360 WITH SCORE 926867.081
AT ITER 2220 NEW BEST:: SOT 6797711 SOS 1507025 HAS SOPS 1507025 HAS SOUS 925359 HAS SOUPS 925359 WITH SCORE 926866.025
AT ITER 2226 NEW BEST:: SOT 6797250 SOS 1506103 HAS SOPS 1506103 HAS SOUS 924159 HAS SOUPS 924159 WITH SCORE 925665.103
AT ITER 2271 NEW BEST:: SOT 6797250 SOS 1506055 HAS SOPS 1506055 HAS SOUS 924111 HAS SOUPS 924111 WITH SCORE 925617.055
AT ITER 2277 NEW BEST:: SOT 6797166 SOS 1506493 HAS SOPS 1506493 HAS SOUS 924027 HAS SOUPS 924027 WITH SCORE 925533.493
AT ITER 2314 NEW BEST:: SOT 6797165 SOS 1506491 HAS SOPS 1506491 HAS SOUS 924025 HAS SOUPS 924025 WITH SCORE 925531.491
AT ITER 2321 NEW BEST:: SOT 6797112 SOS 1506385 HAS SOPS 1506385 HAS SOUS 923807 HAS SOUPS 923807 WITH SCORE 925313.385
AT ITER 2324 NEW BEST:: SOT 6797112 SOS 1506106 HAS SOPS 1506106 HAS SOUS 923714 HAS SOUPS 923714 WITH SCORE 925220.106
AT ITER 2360 NEW BEST:: SOT 6796978 SOS 1505838 HAS SOPS 1505838 HAS SOUS 923446 HAS SOUPS 923446 WITH SCORE 924951.838
AT ITER 2377 NEW BEST:: SOT 6796942 SOS 1505766 HAS SOPS 1505766 HAS SOUS 923374 HAS SOUPS 923374 WITH SCORE 924879.766
AT ITER 2428 NEW BEST:: SOT 6796357 SOS 1505163 HAS SOPS 1505163 HAS SOUS 923359 HAS SOUPS 923359 WITH SCORE 924864.163
AT ITER 2433 NEW BEST:: SOT 6795781 SOS 1504887 HAS SOPS 1504887 HAS SOUS 922884 HAS SOUPS 922884 WITH SCORE 924388.887
AT ITER 2459 NEW BEST:: SOT 6795770 SOS 1504884 HAS SOPS 1504884 HAS SOUS 922883 HAS SOUPS 922883 WITH SCORE 924387.884
AT ITER 2482 NEW BEST:: SOT 6795770 SOS 1503855 HAS SOPS 1503855 HAS SOUS 922882 HAS SOUPS 922882 WITH SCORE 924385.855
AT ITER 2532 NEW BEST:: SOT 6794174 SOS 1503043 HAS SOPS 1503043 HAS SOUS 922646 HAS SOUPS 922646 WITH SCORE 924149.043
AT ITER 2551 NEW BEST:: SOT 6794174 SOS 1502930 HAS SOPS 1502930 HAS SOUS 922566 HAS SOUPS 922566 WITH SCORE 924068.93
AT ITER 2566 NEW BEST:: SOT 6793956 SOS 1502712 HAS SOPS 1502712 HAS SOUS 922566 HAS SOUPS 922566 WITH SCORE 924068.712
AT ITER 2593 NEW BEST:: SOT 6793693 SOS 1501397 HAS SOPS 1501397 HAS SOUS 922302 HAS SOUPS 922302 WITH SCORE 923803.397
AT ITER 2615 NEW BEST:: SOT 6793551 SOS 1500971 HAS SOPS 1500971 HAS SOUS 922018 HAS SOUPS 922018 WITH SCORE 923518.971
AT ITER 2636 NEW BEST:: SOT 6793254 SOS 1500839 HAS SOPS 1500839 HAS SOUS 921743 HAS SOUPS 921743 WITH SCORE 923243.839
AT ITER 2685 NEW BEST:: SOT 6793246 SOS 1501964 HAS SOPS 1501964 HAS SOUS 921354 HAS SOUPS 921354 WITH SCORE 922855.964
AT ITER 2695 NEW BEST:: SOT 6793318 SOS 1501936 HAS SOPS 1501936 HAS SOUS 921291 HAS SOUPS 921291 WITH SCORE 922792.936
AT ITER 2725 NEW BEST:: SOT 6793078 SOS 1501456 HAS SOPS 1501456 HAS SOUS 920522 HAS SOUPS 920522 WITH SCORE 922023.456
AT ITER 2733 NEW BEST:: SOT 6793077 SOS 1501454 HAS SOPS 1501454 HAS SOUS 920520 HAS SOUPS 920520 WITH SCORE 922021.454
AT ITER 2753 NEW BEST:: SOT 6792885 SOS 1501070 HAS SOPS 1501070 HAS SOUS 920343 HAS SOUPS 920343 WITH SCORE 921844.07
AT ITER 2778 NEW BEST:: SOT 6792667 SOS 1502586 HAS SOPS 1502586 HAS SOUS 919906 HAS SOUPS 919906 WITH SCORE 921408.586
AT ITER 2807 NEW BEST:: SOT 6792568 SOS 1502387 HAS SOPS 1502387 HAS SOUS 919707 HAS SOUPS 919707 WITH SCORE 921209.387
AT ITER 2867 NEW BEST:: SOT 6791073 SOS 1500992 HAS SOPS 1500992 HAS SOUS 919517 HAS SOUPS 919517 WITH SCORE 921017.992
AT ITER 2898 NEW BEST:: SOT 6790626 SOS 1500535 HAS SOPS 1500535 HAS SOUS 919069 HAS SOUPS 919069 WITH SCORE 920569.535
AT ITER 2907 NEW BEST:: SOT 6789869 SOS 1499778 HAS SOPS 1499778 HAS SOUS 918312 HAS SOUPS 918312 WITH SCORE 919811.778
AT ITER 2921 NEW BEST:: SOT 6789725 SOS 1499601 HAS SOPS 1499601 HAS SOUS 918135 HAS SOUPS 918135 WITH SCORE 919634.601
AT ITER 2934 NEW BEST:: SOT 6789725 SOS 1499401 HAS SOPS 1499401 HAS SOUS 918135 HAS SOUPS 918135 WITH SCORE 919634.401
AT ITER 2954 NEW BEST:: SOT 6789341 SOS 1498633 HAS SOPS 1498633 HAS SOUS 917483 HAS SOUPS 917483 WITH SCORE 918981.633
AT ITER 2961 NEW BEST:: SOT 6789341 SOS 1499403 HAS SOPS 1499403 HAS SOUS 917482 HAS SOUPS 917482 WITH SCORE 918981.403
AT ITER 2971 NEW BEST:: SOT 6789463 SOS 1499647 HAS SOPS 1499647 HAS SOUS 917436 HAS SOUPS 917436 WITH SCORE 918935.647
AT ITER 3006 NEW BEST:: SOT 6789347 SOS 1499415 HAS SOPS 1499415 HAS SOUS 917204 HAS SOUPS 917204 WITH SCORE 918703.415
AT ITER 3048 NEW BEST:: SOT 6789209 SOS 1499277 HAS SOPS 1499277 HAS SOUS 917066 HAS SOUPS 917066 WITH SCORE 918565.277
AT ITER 3137 NEW BEST:: SOT 6789258 SOS 1499024 HAS SOPS 1499024 HAS SOUS 917047 HAS SOUPS 917047 WITH SCORE 918546.024
AT ITER 3139 NEW BEST:: SOT 6789258 SOS 1498992 HAS SOPS 1498992 HAS SOUS 917015 HAS SOUPS 917015 WITH SCORE 918513.992
AT ITER 3146 NEW BEST:: SOT 6789241 SOS 1498958 HAS SOPS 1498958 HAS SOUS 916724 HAS SOUPS 916724 WITH SCORE 918222.958
AT ITER 3159 NEW BEST:: SOT 6789125 SOS 1498591 HAS SOPS 1498591 HAS SOUS 916473 HAS SOUPS 916473 WITH SCORE 917971.591
AT ITER 3171 NEW BEST:: SOT 6789189 SOS 1498716 HAS SOPS 1498716 HAS SOUS 916472 HAS SOUPS 916472 WITH SCORE 917970.716
AT ITER 3176 NEW BEST:: SOT 6789188 SOS 1498714 HAS SOPS 1498714 HAS SOUS 916470 HAS SOUPS 916470 WITH SCORE 917968.714
AT ITER 3216 NEW BEST:: SOT 6788806 SOS 1498519 HAS SOPS 1498519 HAS SOUS 916278 HAS SOUPS 916278 WITH SCORE 917776.519
AT ITER 3251 NEW BEST:: SOT 6788742 SOS 1498391 HAS SOPS 1498391 HAS SOUS 916150 HAS SOUPS 916150 WITH SCORE 917648.391
AT ITER 3254 NEW BEST:: SOT 6788742 SOS 1498225 HAS SOPS 1498225 HAS SOUS 916150 HAS SOUPS 916150 WITH SCORE 917648.225
AT ITER 3271 NEW BEST:: SOT 6788473 SOS 1498645 HAS SOPS 1498645 HAS SOUS 916081 HAS SOUPS 916081 WITH SCORE 917579.645
AT ITER 3274 NEW BEST:: SOT 6788370 SOS 1498439 HAS SOPS 1498439 HAS SOUS 915691 HAS SOUPS 915691 WITH SCORE 917189.439
AT ITER 3277 NEW BEST:: SOT 6788218 SOS 1498289 HAS SOPS 1498289 HAS SOUS 915541 HAS SOUPS 915541 WITH SCORE 917039.289
AT ITER 3288 NEW BEST:: SOT 6788158 SOS 1498169 HAS SOPS 1498169 HAS SOUS 915437 HAS SOUPS 915437 WITH SCORE 916935.169
AT ITER 3309 NEW BEST:: SOT 6788158 SOS 1497086 HAS SOPS 1497086 HAS SOUS 915437 HAS SOUPS 915437 WITH SCORE 916934.086
AT ITER 3341 NEW BEST:: SOT 6788019 SOS 1496808 HAS SOPS 1496808 HAS SOUS 915298 HAS SOUPS 915298 WITH SCORE 916794.808
AT ITER 3374 NEW BEST:: SOT 6787575 SOS 1501501 HAS SOPS 1501501 HAS SOUS 914589 HAS SOUPS 914589 WITH SCORE 916090.501
AT ITER 3383 NEW BEST:: SOT 6786320 SOS 1501777 HAS SOPS 1501777 HAS SOUS 913554 HAS SOUPS 913554 WITH SCORE 915055.777
AT ITER 3448 NEW BEST:: SOT 6786194 SOS 1503936 HAS SOPS 1503936 HAS SOUS 913301 HAS SOUPS 913301 WITH SCORE 914804.936
AT ITER 3468 NEW BEST:: SOT 6786215 SOS 1503928 HAS SOPS 1503928 HAS SOUS 913293 HAS SOUPS 913293 WITH SCORE 914796.928
AT ITER 3471 NEW BEST:: SOT 6786337 SOS 1503818 HAS SOPS 1503818 HAS SOUS 913183 HAS SOUPS 913183 WITH SCORE 914686.818
AT ITER 3480 NEW BEST:: SOT 6786263 SOS 1503670 HAS SOPS 1503670 HAS SOUS 912804 HAS SOUPS 912804 WITH SCORE 914307.67
AT ITER 3488 NEW BEST:: SOT 6785949 SOS 1503696 HAS SOPS 1503696 HAS SOUS 912708 HAS SOUPS 912708 WITH SCORE 914211.696
AT ITER 3500 NEW BEST:: SOT 6785650 SOS 1503487 HAS SOPS 1503487 HAS SOUS 912499 HAS SOUPS 912499 WITH SCORE 914002.487
AT ITER 3538 NEW BEST:: SOT 6785704 SOS 1504149 HAS SOPS 1504149 HAS SOUS 912486 HAS SOUPS 912486 WITH SCORE 913990.149
AT ITER 3569 NEW BEST:: SOT 6785679 SOS 1504049 HAS SOPS 1504049 HAS SOUS 912436 HAS SOUPS 912436 WITH SCORE 913940.049
AT ITER 3585 NEW BEST:: SOT 6785651 SOS 1503742 HAS SOPS 1503742 HAS SOUS 912311 HAS SOUPS 912311 WITH SCORE 913814.742
AT ITER 3602 NEW BEST:: SOT 6785651 SOS 1503742 HAS SOPS 1503742 HAS SOUS 912066 HAS SOUPS 912066 WITH SCORE 913569.742
AT ITER 3620 NEW BEST:: SOT 6785651 SOS 1503742 HAS SOPS 1503742 HAS SOUS 912065 HAS SOUPS 912065 WITH SCORE 913568.742
AT ITER 3622 NEW BEST:: SOT 6785148 SOS 1503036 HAS SOPS 1503036 HAS SOUS 911496 HAS SOUPS 911496 WITH SCORE 912999.036
AT ITER 3656 NEW BEST:: SOT 6785148 SOS 1503204 HAS SOPS 1503204 HAS SOUS 911280 HAS SOUPS 911280 WITH SCORE 912783.204
AT ITER 3680 NEW BEST:: SOT 6785055 SOS 1503792 HAS SOPS 1503792 HAS SOUS 911187 HAS SOUPS 911187 WITH SCORE 912690.792
AT ITER 3735 NEW BEST:: SOT 6785055 SOS 1503752 HAS SOPS 1503752 HAS SOUS 911147 HAS SOUPS 911147 WITH SCORE 912650.752
AT ITER 3752 NEW BEST:: SOT 6785055 SOS 1505686 HAS SOPS 1505686 HAS SOUS 911145 HAS SOUPS 911145 WITH SCORE 912650.686
AT ITER 3755 NEW BEST:: SOT 6784917 SOS 1505410 HAS SOPS 1505410 HAS SOUS 911007 HAS SOUPS 911007 WITH SCORE 912512.41
AT ITER 3764 NEW BEST:: SOT 6784916 SOS 1505897 HAS SOPS 1505897 HAS SOUS 911006 HAS SOUPS 911006 WITH SCORE 912511.897
AT ITER 3765 NEW BEST:: SOT 6784916 SOS 1506260 HAS SOPS 1506260 HAS SOUS 911005 HAS SOUPS 911005 WITH SCORE 912511.26
AT ITER 3783 NEW BEST:: SOT 6784264 SOS 1505608 HAS SOPS 1505608 HAS SOUS 910353 HAS SOUPS 910353 WITH SCORE 911858.608
AT ITER 3784 NEW BEST:: SOT 6784164 SOS 1505408 HAS SOPS 1505408 HAS SOUS 910253 HAS SOUPS 910253 WITH SCORE 911758.408
AT ITER 3796 NEW BEST:: SOT 6783450 SOS 1503980 HAS SOPS 1503980 HAS SOUS 908825 HAS SOUPS 908825 WITH SCORE 910328.98
AT ITER 3824 NEW BEST:: SOT 6783308 SOS 1503839 HAS SOPS 1503839 HAS SOUS 908684 HAS SOUPS 908684 WITH SCORE 910187.839
AT ITER 3871 NEW BEST:: SOT 6783263 SOS 1503749 HAS SOPS 1503749 HAS SOUS 908594 HAS SOUPS 908594 WITH SCORE 910097.749
AT ITER 3900 NEW BEST:: SOT 6783038 SOS 1503768 HAS SOPS 1503768 HAS SOUS 908527 HAS SOUPS 908527 WITH SCORE 910030.768
AT ITER 3928 NEW BEST:: SOT 6783008 SOS 1502316 HAS SOPS 1502316 HAS SOUS 908467 HAS SOUPS 908467 WITH SCORE 909969.316
AT ITER 3949 NEW BEST:: SOT 6782926 SOS 1502367 HAS SOPS 1502367 HAS SOUS 908302 HAS SOUPS 908302 WITH SCORE 909804.367
AT ITER 3953 NEW BEST:: SOT 6782704 SOS 1501923 HAS SOPS 1501923 HAS SOUS 907858 HAS SOUPS 907858 WITH SCORE 909359.923
AT ITER 3959 NEW BEST:: SOT 6782569 SOS 1501977 HAS SOPS 1501977 HAS SOUS 907847 HAS SOUPS 907847 WITH SCORE 909348.977
AT ITER 3971 NEW BEST:: SOT 6782418 SOS 1501675 HAS SOPS 1501675 HAS SOUS 907695 HAS SOUPS 907695 WITH SCORE 909196.675
AT ITER 3980 NEW BEST:: SOT 6782139 SOS 1501396 HAS SOPS 1501396 HAS SOUS 907416 HAS SOUPS 907416 WITH SCORE 908917.396
AT ITER 4001 NEW BEST:: SOT 6781665 SOS 1500426 HAS SOPS 1500426 HAS SOUS 906818 HAS SOUPS 906818 WITH SCORE 908318.426
AT ITER 4011 NEW BEST:: SOT 6781526 SOS 1500982 HAS SOPS 1500982 HAS SOUS 906540 HAS SOUPS 906540 WITH SCORE 908040.982
AT ITER 4030 NEW BEST:: SOT 6781526 SOS 1500034 HAS SOPS 1500034 HAS SOUS 906540 HAS SOUPS 906540 WITH SCORE 908040.034
AT ITER 4036 NEW BEST:: SOT 6781526 SOS 1500388 HAS SOPS 1500388 HAS SOUS 906539 HAS SOUPS 906539 WITH SCORE 908039.388
AT ITER 4084 NEW BEST:: SOT 6781343 SOS 1500458 HAS SOPS 1500458 HAS SOUS 906426 HAS SOUPS 906426 WITH SCORE 907926.458
AT ITER 4095 NEW BEST:: SOT 6781151 SOS 1500074 HAS SOPS 1500074 HAS SOUS 906042 HAS SOUPS 906042 WITH SCORE 907542.074
AT ITER 4127 NEW BEST:: SOT 6781151 SOS 1500074 HAS SOPS 1500074 HAS SOUS 905764 HAS SOUPS 905764 WITH SCORE 907264.074
AT ITER 4162 NEW BEST:: SOT 6781618 SOS 1500127 HAS SOPS 1500127 HAS SOUS 905618 HAS SOUPS 905618 WITH SCORE 907118.127
AT ITER 4166 NEW BEST:: SOT 6781814 SOS 1499917 HAS SOPS 1499917 HAS SOUS 905408 HAS SOUPS 905408 WITH SCORE 906907.917
AT ITER 4178 NEW BEST:: SOT 6781861 SOS 1499876 HAS SOPS 1499876 HAS SOUS 905367 HAS SOUPS 905367 WITH SCORE 906866.876
AT ITER 4196 NEW BEST:: SOT 6781828 SOS 1499810 HAS SOPS 1499810 HAS SOUS 905301 HAS SOUPS 905301 WITH SCORE 906800.81
AT ITER 4233 NEW BEST:: SOT 6781560 SOS 1499274 HAS SOPS 1499274 HAS SOUS 904765 HAS SOUPS 904765 WITH SCORE 906264.274
AT ITER 4273 NEW BEST:: SOT 6781560 SOS 1498320 HAS SOPS 1498320 HAS SOUS 904447 HAS SOUPS 904447 WITH SCORE 905945.32
AT ITER 4284 NEW BEST:: SOT 6781332 SOS 1497978 HAS SOPS 1497978 HAS SOUS 904333 HAS SOUPS 904333 WITH SCORE 905830.978
AT ITER 4295 NEW BEST:: SOT 6781331 SOS 1497976 HAS SOPS 1497976 HAS SOUS 904331 HAS SOUPS 904331 WITH SCORE 905828.976
AT ITER 4304 NEW BEST:: SOT 6780923 SOS 1497531 HAS SOPS 1497531 HAS SOUS 903886 HAS SOUPS 903886 WITH SCORE 905383.531
AT ITER 4339 NEW BEST:: SOT 6780711 SOS 1497567 HAS SOPS 1497567 HAS SOUS 903674 HAS SOUPS 903674 WITH SCORE 905171.567
AT ITER 4350 NEW BEST:: SOT 6780006 SOS 1496474 HAS SOPS 1496474 HAS SOUS 903118 HAS SOUPS 903118 WITH SCORE 904614.474
AT ITER 4354 NEW BEST:: SOT 6780006 SOS 1496453 HAS SOPS 1496453 HAS SOUS 903097 HAS SOUPS 903097 WITH SCORE 904593.453
AT ITER 4364 NEW BEST:: SOT 6780006 SOS 1495685 HAS SOPS 1495685 HAS SOUS 902841 HAS SOUPS 902841 WITH SCORE 904336.685
AT ITER 4393 NEW BEST:: SOT 6779601 SOS 1494657 HAS SOPS 1494657 HAS SOUS 902584 HAS SOUPS 902584 WITH SCORE 904078.657
AT ITER 4444 NEW BEST:: SOT 6779216 SOS 1494272 HAS SOPS 1494272 HAS SOUS 901814 HAS SOUPS 901814 WITH SCORE 903308.272
AT ITER 4445 NEW BEST:: SOT 6779127 SOS 1494094 HAS SOPS 1494094 HAS SOUS 901652 HAS SOUPS 901652 WITH SCORE 903146.094
AT ITER 4460 NEW BEST:: SOT 6778454 SOS 1493421 HAS SOPS 1493421 HAS SOUS 900979 HAS SOUPS 900979 WITH SCORE 902472.421
AT ITER 4468 NEW BEST:: SOT 6777842 SOS 1492809 HAS SOPS 1492809 HAS SOUS 900367 HAS SOUPS 900367 WITH SCORE 901859.809
AT ITER 4540 NEW BEST:: SOT 6777932 SOS 1492826 HAS SOPS 1492826 HAS SOUS 900294 HAS SOUPS 900294 WITH SCORE 901786.826
AT ITER 4543 NEW BEST:: SOT 6777926 SOS 1492992 HAS SOPS 1492992 HAS SOUS 900287 HAS SOUPS 900287 WITH SCORE 901779.992
AT ITER 4547 NEW BEST:: SOT 6777926 SOS 1492988 HAS SOPS 1492988 HAS SOUS 900202 HAS SOUPS 900202 WITH SCORE 901694.988
AT ITER 4554 NEW BEST:: SOT 6777667 SOS 1490676 HAS SOPS 1490676 HAS SOUS 899883 HAS SOUPS 899883 WITH SCORE 901373.676
AT ITER 4619 NEW BEST:: SOT 6777141 SOS 1490213 HAS SOPS 1490213 HAS SOUS 899420 HAS SOUPS 899420 WITH SCORE 900910.213
AT ITER 4628 NEW BEST:: SOT 6777141 SOS 1490092 HAS SOPS 1490092 HAS SOUS 899299 HAS SOUPS 899299 WITH SCORE 900789.092
AT ITER 4631 NEW BEST:: SOT 6777141 SOS 1489932 HAS SOPS 1489932 HAS SOUS 899299 HAS SOUPS 899299 WITH SCORE 900788.932
AT ITER 4645 NEW BEST:: SOT 6777008 SOS 1489799 HAS SOPS 1489799 HAS SOUS 899033 HAS SOUPS 899033 WITH SCORE 900522.799
AT ITER 4659 NEW BEST:: SOT 6777008 SOS 1489799 HAS SOPS 1489799 HAS SOUS 898949 HAS SOUPS 898949 WITH SCORE 900438.799
AT ITER 4664 NEW BEST:: SOT 6776971 SOS 1489725 HAS SOPS 1489725 HAS SOUS 898875 HAS SOUPS 898875 WITH SCORE 900364.725
AT ITER 4668 NEW BEST:: SOT 6776971 SOS 1489491 HAS SOPS 1489491 HAS SOUS 898641 HAS SOUPS 898641 WITH SCORE 900130.491
AT ITER 4670 NEW BEST:: SOT 6776861 SOS 1489601 HAS SOPS 1489601 HAS SOUS 898531 HAS SOUPS 898531 WITH SCORE 900020.601
AT ITER 4676 NEW BEST:: SOT 6776841 SOS 1489600 HAS SOPS 1489600 HAS SOUS 898530 HAS SOUPS 898530 WITH SCORE 900019.6
AT ITER 4682 NEW BEST:: SOT 6776814 SOS 1489546 HAS SOPS 1489546 HAS SOUS 898476 HAS SOUPS 898476 WITH SCORE 899965.546
AT ITER 4689 NEW BEST:: SOT 6776814 SOS 1489546 HAS SOPS 1489546 HAS SOUS 898475 HAS SOUPS 898475 WITH SCORE 899964.546
AT ITER 4728 NEW BEST:: SOT 6776814 SOS 1490293 HAS SOPS 1490293 HAS SOUS 898474 HAS SOUPS 898474 WITH SCORE 899964.293
AT ITER 4736 NEW BEST:: SOT 6776716 SOS 1490097 HAS SOPS 1490097 HAS SOUS 898278 HAS SOUPS 898278 WITH SCORE 899768.097
AT ITER 4746 NEW BEST:: SOT 6776673 SOS 1491695 HAS SOPS 1491695 HAS SOUS 897868 HAS SOUPS 897868 WITH SCORE 899359.695
AT ITER 4763 NEW BEST:: SOT 6776612 SOS 1491634 HAS SOPS 1491634 HAS SOUS 897746 HAS SOUPS 897746 WITH SCORE 899237.634
AT ITER 4765 NEW BEST:: SOT 6776223 SOS 1491245 HAS SOPS 1491245 HAS SOUS 896968 HAS SOUPS 896968 WITH SCORE 898459.245
AT ITER 4786 NEW BEST:: SOT 6776245 SOS 1490686 HAS SOPS 1490686 HAS SOUS 896789 HAS SOUPS 896789 WITH SCORE 898279.686
AT ITER 4793 NEW BEST:: SOT 6775958 SOS 1490529 HAS SOPS 1490529 HAS SOUS 896461 HAS SOUPS 896461 WITH SCORE 897951.529
AT ITER 4842 NEW BEST:: SOT 6775472 SOS 1489675 HAS SOPS 1489675 HAS SOUS 895883 HAS SOUPS 895883 WITH SCORE 897372.675
AT ITER 4853 NEW BEST:: SOT 6775472 SOS 1489063 HAS SOPS 1489063 HAS SOUS 895679 HAS SOUPS 895679 WITH SCORE 897168.063
AT ITER 4870 NEW BEST:: SOT 6775472 SOS 1489678 HAS SOPS 1489678 HAS SOUS 895678 HAS SOUPS 895678 WITH SCORE 897167.678
AT ITER 4872 NEW BEST:: SOT 6775409 SOS 1489994 HAS SOPS 1489994 HAS SOUS 895614 HAS SOUPS 895614 WITH SCORE 897103.994
AT ITER 4875 NEW BEST:: SOT 6775406 SOS 1489988 HAS SOPS 1489988 HAS SOUS 895609 HAS SOUPS 895609 WITH SCORE 897098.988
AT ITER 4891 NEW BEST:: SOT 6774795 SOS 1490590 HAS SOPS 1490590 HAS SOUS 895567 HAS SOUPS 895567 WITH SCORE 897057.59
AT ITER 4908 NEW BEST:: SOT 6774795 SOS 1490324 HAS SOPS 1490324 HAS SOUS 895301 HAS SOUPS 895301 WITH SCORE 896791.324
AT ITER 4943 NEW BEST:: SOT 6774768 SOS 1490270 HAS SOPS 1490270 HAS SOUS 895247 HAS SOUPS 895247 WITH SCORE 896737.27
AT ITER 4989 NEW BEST:: SOT 6774710 SOS 1489632 HAS SOPS 1489632 HAS SOUS 895131 HAS SOUPS 895131 WITH SCORE 896620.632
AT ITER 5003 NEW BEST:: SOT 6774064 SOS 1488986 HAS SOPS 1488986 HAS SOUS 894485 HAS SOUPS 894485 WITH SCORE 895973.986
AT ITER 5034 NEW BEST:: SOT 6773631 SOS 1488966 HAS SOPS 1488966 HAS SOUS 894451 HAS SOUPS 894451 WITH SCORE 895939.966
AT ITER 5040 NEW BEST:: SOT 6773607 SOS 1488918 HAS SOPS 1488918 HAS SOUS 894427 HAS SOUPS 894427 WITH SCORE 895915.918
AT ITER 5081 NEW BEST:: SOT 6773515 SOS 1488666 HAS SOPS 1488666 HAS SOUS 894427 HAS SOUPS 894427 WITH SCORE 895915.666
AT ITER 5082 NEW BEST:: SOT 6773515 SOS 1488658 HAS SOPS 1488658 HAS SOUS 894419 HAS SOUPS 894419 WITH SCORE 895907.658
AT ITER 5103 NEW BEST:: SOT 6773515 SOS 1488654 HAS SOPS 1488654 HAS SOUS 894347 HAS SOUPS 894347 WITH SCORE 895835.654
AT ITER 5111 NEW BEST:: SOT 6773133 SOS 1487890 HAS SOPS 1487890 HAS SOUS 893583 HAS SOUPS 893583 WITH SCORE 895070.89
AT ITER 5180 NEW BEST:: SOT 6772856 SOS 1489829 HAS SOPS 1489829 HAS SOUS 893306 HAS SOUPS 893306 WITH SCORE 894795.829
AT ITER 5189 NEW BEST:: SOT 6772460 SOS 1489828 HAS SOPS 1489828 HAS SOUS 893305 HAS SOUPS 893305 WITH SCORE 894794.828
AT ITER 5214 NEW BEST:: SOT 6772214 SOS 1489582 HAS SOPS 1489582 HAS SOUS 893059 HAS SOUPS 893059 WITH SCORE 894548.582
AT ITER 5220 NEW BEST:: SOT 6772144 SOS 1489574 HAS SOPS 1489574 HAS SOUS 893033 HAS SOUPS 893033 WITH SCORE 894522.574
AT ITER 5232 NEW BEST:: SOT 6772076 SOS 1489506 HAS SOPS 1489506 HAS SOUS 893033 HAS SOUPS 893033 WITH SCORE 894522.506
AT ITER 5247 NEW BEST:: SOT 6771819 SOS 1489329 HAS SOPS 1489329 HAS SOUS 892775 HAS SOUPS 892775 WITH SCORE 894264.329
AT ITER 5260 NEW BEST:: SOT 6771219 SOS 1486670 HAS SOPS 1486670 HAS SOUS 892384 HAS SOUPS 892384 WITH SCORE 893870.67
AT ITER 5282 NEW BEST:: SOT 6771202 SOS 1486534 HAS SOPS 1486534 HAS SOUS 892224 HAS SOUPS 892224 WITH SCORE 893710.534
AT ITER 5356 NEW BEST:: SOT 6771162 SOS 1486533 HAS SOPS 1486533 HAS SOUS 892223 HAS SOUPS 892223 WITH SCORE 893709.533
AT ITER 5357 NEW BEST:: SOT 6770951 SOS 1486347 HAS SOPS 1486347 HAS SOUS 892037 HAS SOUPS 892037 WITH SCORE 893523.347
AT ITER 5364 NEW BEST:: SOT 6770951 SOS 1487231 HAS SOPS 1487231 HAS SOUS 891955 HAS SOUPS 891955 WITH SCORE 893442.231
AT ITER 5370 NEW BEST:: SOT 6770946 SOS 1487221 HAS SOPS 1487221 HAS SOUS 891945 HAS SOUPS 891945 WITH SCORE 893432.221
AT ITER 5403 NEW BEST:: SOT 6770648 SOS 1486923 HAS SOPS 1486923 HAS SOUS 891945 HAS SOUPS 891945 WITH SCORE 893431.923
AT ITER 5411 NEW BEST:: SOT 6770445 SOS 1486517 HAS SOPS 1486517 HAS SOUS 891539 HAS SOUPS 891539 WITH SCORE 893025.517
AT ITER 5422 NEW BEST:: SOT 6770443 SOS 1486505 HAS SOPS 1486505 HAS SOUS 891536 HAS SOUPS 891536 WITH SCORE 893022.505
AT ITER 5423 NEW BEST:: SOT 6770443 SOS 1486318 HAS SOPS 1486318 HAS SOUS 891349 HAS SOUPS 891349 WITH SCORE 892835.318
AT ITER 5426 NEW BEST:: SOT 6770424 SOS 1487657 HAS SOPS 1487657 HAS SOUS 891330 HAS SOUPS 891330 WITH SCORE 892817.657
AT ITER 5442 NEW BEST:: SOT 6770491 SOS 1486771 HAS SOPS 1486771 HAS SOUS 891303 HAS SOUPS 891303 WITH SCORE 892789.771
AT ITER 5464 NEW BEST:: SOT 6770329 SOS 1486181 HAS SOPS 1486181 HAS SOUS 890977 HAS SOUPS 890977 WITH SCORE 892463.181
AT ITER 5470 NEW BEST:: SOT 6770107 SOS 1484738 HAS SOPS 1484738 HAS SOUS 890533 HAS SOUPS 890533 WITH SCORE 892017.738
AT ITER 5523 NEW BEST:: SOT 6770032 SOS 1484588 HAS SOPS 1484588 HAS SOUS 890383 HAS SOUPS 890383 WITH SCORE 891867.588
AT ITER 5525 NEW BEST:: SOT 6769959 SOS 1484515 HAS SOPS 1484515 HAS SOUS 890310 HAS SOUPS 890310 WITH SCORE 891794.515
AT ITER 5559 NEW BEST:: SOT 6769481 SOS 1484037 HAS SOPS 1484037 HAS SOUS 890310 HAS SOUPS 890310 WITH SCORE 891794.037
AT ITER 5587 NEW BEST:: SOT 6769400 SOS 1484037 HAS SOPS 1484037 HAS SOUS 890229 HAS SOUPS 890229 WITH SCORE 891713.037
AT ITER 5629 NEW BEST:: SOT 6769400 SOS 1483921 HAS SOPS 1483921 HAS SOUS 890113 HAS SOUPS 890113 WITH SCORE 891596.921
AT ITER 5652 NEW BEST:: SOT 6769400 SOS 1484140 HAS SOPS 1484140 HAS SOUS 890110 HAS SOUPS 890110 WITH SCORE 891594.14
AT ITER 5661 NEW BEST:: SOT 6769177 SOS 1487294 HAS SOPS 1487294 HAS SOUS 889887 HAS SOUPS 889887 WITH SCORE 891374.294
AT ITER 5671 NEW BEST:: SOT 6769114 SOS 1487168 HAS SOPS 1487168 HAS SOUS 889761 HAS SOUPS 889761 WITH SCORE 891248.168
AT ITER 5674 NEW BEST:: SOT 6769112 SOS 1487164 HAS SOPS 1487164 HAS SOUS 889757 HAS SOUPS 889757 WITH SCORE 891244.164
AT ITER 5701 NEW BEST:: SOT 6769088 SOS 1487116 HAS SOPS 1487116 HAS SOUS 889599 HAS SOUPS 889599 WITH SCORE 891086.116
AT ITER 5722 NEW BEST:: SOT 6768603 SOS 1487601 HAS SOPS 1487601 HAS SOUS 889023 HAS SOUPS 889023 WITH SCORE 890510.601
AT ITER 5746 NEW BEST:: SOT 6768345 SOS 1487085 HAS SOPS 1487085 HAS SOUS 888507 HAS SOUPS 888507 WITH SCORE 889994.085
AT ITER 5751 NEW BEST:: SOT 6767644 SOS 1486743 HAS SOPS 1486743 HAS SOUS 888165 HAS SOUPS 888165 WITH SCORE 889651.743
AT ITER 5782 NEW BEST:: SOT 6767719 SOS 1485828 HAS SOPS 1485828 HAS SOUS 887885 HAS SOUPS 887885 WITH SCORE 889370.828
AT ITER 5785 NEW BEST:: SOT 6767763 SOS 1485753 HAS SOPS 1485753 HAS SOUS 887810 HAS SOUPS 887810 WITH SCORE 889295.753
AT ITER 5840 NEW BEST:: SOT 6767197 SOS 1485177 HAS SOPS 1485177 HAS SOUS 887243 HAS SOUPS 887243 WITH SCORE 888728.177
AT ITER 5858 NEW BEST:: SOT 6767283 SOS 1484526 HAS SOPS 1484526 HAS SOUS 886952 HAS SOUPS 886952 WITH SCORE 888436.526
AT ITER 5884 NEW BEST:: SOT 6766313 SOS 1482952 HAS SOPS 1482952 HAS SOUS 886409 HAS SOUPS 886409 WITH SCORE 887891.952
AT ITER 5895 NEW BEST:: SOT 6766119 SOS 1482334 HAS SOPS 1482334 HAS SOUS 885620 HAS SOUPS 885620 WITH SCORE 887102.334
AT ITER 5910 NEW BEST:: SOT 6766070 SOS 1482285 HAS SOPS 1482285 HAS SOUS 885571 HAS SOUPS 885571 WITH SCORE 887053.285
AT ITER 5915 NEW BEST:: SOT 6766070 SOS 1482154 HAS SOPS 1482154 HAS SOUS 885455 HAS SOUPS 885455 WITH SCORE 886937.154
AT ITER 5918 NEW BEST:: SOT 6765983 SOS 1481980 HAS SOPS 1481980 HAS SOUS 885281 HAS SOUPS 885281 WITH SCORE 886762.98
AT ITER 5930 NEW BEST:: SOT 6765983 SOS 1481979 HAS SOPS 1481979 HAS SOUS 885280 HAS SOUPS 885280 WITH SCORE 886761.979
AT ITER 5954 NEW BEST:: SOT 6765784 SOS 1481581 HAS SOPS 1481581 HAS SOUS 884312 HAS SOUPS 884312 WITH SCORE 885793.581
AT ITER 5972 NEW BEST:: SOT 6765784 SOS 1481560 HAS SOPS 1481560 HAS SOUS 884312 HAS SOUPS 884312 WITH SCORE 885793.56
AT ITER 5980 NEW BEST:: SOT 6765637 SOS 1481518 HAS SOPS 1481518 HAS SOUS 884169 HAS SOUPS 884169 WITH SCORE 885650.518
AT ITER 6003 NEW BEST:: SOT 6765236 SOS 1482034 HAS SOPS 1482034 HAS SOUS 884138 HAS SOUPS 884138 WITH SCORE 885620.034
AT ITER 6061 NEW BEST:: SOT 6765213 SOS 1481988 HAS SOPS 1481988 HAS SOUS 884115 HAS SOUPS 884115 WITH SCORE 885596.988
AT ITER 6072 NEW BEST:: SOT 6765213 SOS 1481976 HAS SOPS 1481976 HAS SOUS 884115 HAS SOUPS 884115 WITH SCORE 885596.976
AT ITER 6077 NEW BEST:: SOT 6765134 SOS 1482045 HAS SOPS 1482045 HAS SOUS 884035 HAS SOUPS 884035 WITH SCORE 885517.045
AT ITER 6113 NEW BEST:: SOT 6765084 SOS 1481945 HAS SOPS 1481945 HAS SOUS 883935 HAS SOUPS 883935 WITH SCORE 885416.945
AT ITER 6116 NEW BEST:: SOT 6765084 SOS 1481699 HAS SOPS 1481699 HAS SOUS 883822 HAS SOUPS 883822 WITH SCORE 885303.699
AT ITER 6125 NEW BEST:: SOT 6765073 SOS 1481677 HAS SOPS 1481677 HAS SOUS 883800 HAS SOUPS 883800 WITH SCORE 885281.677
AT ITER 6136 NEW BEST:: SOT 6765039 SOS 1481490 HAS SOPS 1481490 HAS SOUS 883544 HAS SOUPS 883544 WITH SCORE 885025.49
AT ITER 6149 NEW BEST:: SOT 6765037 SOS 1481492 HAS SOPS 1481492 HAS SOUS 883542 HAS SOUPS 883542 WITH SCORE 885023.492
AT ITER 6169 NEW BEST:: SOT 6764812 SOS 1481267 HAS SOPS 1481267 HAS SOUS 883317 HAS SOUPS 883317 WITH SCORE 884798.267
AT ITER 6184 NEW BEST:: SOT 6764812 SOS 1481267 HAS SOPS 1481267 HAS SOUS 883055 HAS SOUPS 883055 WITH SCORE 884536.267
AT ITER 6234 NEW BEST:: SOT 6764812 SOS 1481243 HAS SOPS 1481243 HAS SOUS 883055 HAS SOUPS 883055 WITH SCORE 884536.243
AT ITER 6238 NEW BEST:: SOT 6764736 SOS 1481091 HAS SOPS 1481091 HAS SOUS 882969 HAS SOUPS 882969 WITH SCORE 884450.091
AT ITER 6239 NEW BEST:: SOT 6764736 SOS 1481091 HAS SOPS 1481091 HAS SOUS 882957 HAS SOUPS 882957 WITH SCORE 884438.091
AT ITER 6246 NEW BEST:: SOT 6764724 SOS 1481067 HAS SOPS 1481067 HAS SOUS 882933 HAS SOUPS 882933 WITH SCORE 884414.067
AT ITER 6268 NEW BEST:: SOT 6764724 SOS 1481930 HAS SOPS 1481930 HAS SOUS 882932 HAS SOUPS 882932 WITH SCORE 884413.93
AT ITER 6287 NEW BEST:: SOT 6764453 SOS 1481659 HAS SOPS 1481659 HAS SOUS 882661 HAS SOUPS 882661 WITH SCORE 884142.659
AT ITER 6320 NEW BEST:: SOT 6764453 SOS 1480849 HAS SOPS 1480849 HAS SOUS 882580 HAS SOUPS 882580 WITH SCORE 884060.849
AT ITER 6343 NEW BEST:: SOT 6764304 SOS 1480551 HAS SOPS 1480551 HAS SOUS 882146 HAS SOUPS 882146 WITH SCORE 883626.551
AT ITER 6349 NEW BEST:: SOT 6764304 SOS 1480056 HAS SOPS 1480056 HAS SOUS 881981 HAS SOUPS 881981 WITH SCORE 883461.056
AT ITER 6368 NEW BEST:: SOT 6764304 SOS 1480056 HAS SOPS 1480056 HAS SOUS 881829 HAS SOUPS 881829 WITH SCORE 883309.056
AT ITER 6391 NEW BEST:: SOT 6764257 SOS 1479962 HAS SOPS 1479962 HAS SOUS 881735 HAS SOUPS 881735 WITH SCORE 883214.962
AT ITER 6423 NEW BEST:: SOT 6764147 SOS 1479931 HAS SOPS 1479931 HAS SOUS 881704 HAS SOUPS 881704 WITH SCORE 883183.931
AT ITER 6424 NEW BEST:: SOT 6764108 SOS 1479853 HAS SOPS 1479853 HAS SOUS 881626 HAS SOUPS 881626 WITH SCORE 883105.853
AT ITER 6433 NEW BEST:: SOT 6764080 SOS 1479783 HAS SOPS 1479783 HAS SOUS 881584 HAS SOUPS 881584 WITH SCORE 883063.783
AT ITER 6455 NEW BEST:: SOT 6763977 SOS 1479577 HAS SOPS 1479577 HAS SOUS 881227 HAS SOUPS 881227 WITH SCORE 882706.577
AT ITER 6462 NEW BEST:: SOT 6763968 SOS 1479559 HAS SOPS 1479559 HAS SOUS 881209 HAS SOUPS 881209 WITH SCORE 882688.559
AT ITER 6466 NEW BEST:: SOT 6763909 SOS 1479529 HAS SOPS 1479529 HAS SOUS 881179 HAS SOUPS 881179 WITH SCORE 882658.529
AT ITER 6495 NEW BEST:: SOT 6763908 SOS 1479471 HAS SOPS 1479471 HAS SOUS 881121 HAS SOUPS 881121 WITH SCORE 882600.471
AT ITER 6517 NEW BEST:: SOT 6763301 SOS 1479994 HAS SOPS 1479994 HAS SOUS 880636 HAS SOUPS 880636 WITH SCORE 882115.994
AT ITER 6521 NEW BEST:: SOT 6763168 SOS 1478661 HAS SOPS 1478661 HAS SOUS 880401 HAS SOUPS 880401 WITH SCORE 881879.661
AT ITER 6551 NEW BEST:: SOT 6763356 SOS 1479037 HAS SOPS 1479037 HAS SOUS 880389 HAS SOUPS 880389 WITH SCORE 881868.037
AT ITER 6555 NEW BEST:: SOT 6763356 SOS 1476217 HAS SOPS 1476217 HAS SOUS 880107 HAS SOUPS 880107 WITH SCORE 881583.217
AT ITER 6557 NEW BEST:: SOT 6763365 SOS 1476001 HAS SOPS 1476001 HAS SOUS 880008 HAS SOUPS 880008 WITH SCORE 881484.001
AT ITER 6574 NEW BEST:: SOT 6763365 SOS 1475915 HAS SOPS 1475915 HAS SOUS 879922 HAS SOUPS 879922 WITH SCORE 881397.915
AT ITER 6632 NEW BEST:: SOT 6762755 SOS 1475610 HAS SOPS 1475610 HAS SOUS 879617 HAS SOUPS 879617 WITH SCORE 881092.61
AT ITER 6639 NEW BEST:: SOT 6762342 SOS 1475826 HAS SOPS 1475826 HAS SOUS 878766 HAS SOUPS 878766 WITH SCORE 880241.826
AT ITER 6646 NEW BEST:: SOT 6762341 SOS 1475824 HAS SOPS 1475824 HAS SOUS 878764 HAS SOUPS 878764 WITH SCORE 880239.824
AT ITER 6659 NEW BEST:: SOT 6762106 SOS 1475652 HAS SOPS 1475652 HAS SOUS 878528 HAS SOUPS 878528 WITH SCORE 880003.652
AT ITER 6680 NEW BEST:: SOT 6762040 SOS 1475586 HAS SOPS 1475586 HAS SOUS 878462 HAS SOUPS 878462 WITH SCORE 879937.586
AT ITER 6698 NEW BEST:: SOT 6762040 SOS 1474959 HAS SOPS 1474959 HAS SOUS 878253 HAS SOUPS 878253 WITH SCORE 879727.959
AT ITER 6724 NEW BEST:: SOT 6762040 SOS 1475118 HAS SOPS 1475118 HAS SOUS 878251 HAS SOUPS 878251 WITH SCORE 879726.118
AT ITER 6744 NEW BEST:: SOT 6762027 SOS 1475115 HAS SOPS 1475115 HAS SOUS 878250 HAS SOUPS 878250 WITH SCORE 879725.115
AT ITER 6745 NEW BEST:: SOT 6762027 SOS 1474482 HAS SOPS 1474482 HAS SOUS 878039 HAS SOUPS 878039 WITH SCORE 879513.482
AT ITER 6754 NEW BEST:: SOT 6762027 SOS 1474472 HAS SOPS 1474472 HAS SOUS 877936 HAS SOUPS 877936 WITH SCORE 879410.472
AT ITER 6769 NEW BEST:: SOT 6762345 SOS 1478643 HAS SOPS 1478643 HAS SOUS 877860 HAS SOUPS 877860 WITH SCORE 879338.643
AT ITER 6772 NEW BEST:: SOT 6762344 SOS 1478641 HAS SOPS 1478641 HAS SOUS 877858 HAS SOUPS 877858 WITH SCORE 879336.641
AT ITER 6788 NEW BEST:: SOT 6762328 SOS 1478759 HAS SOPS 1478759 HAS SOUS 877841 HAS SOUPS 877841 WITH SCORE 879319.759
AT ITER 6803 NEW BEST:: SOT 6762328 SOS 1479019 HAS SOPS 1479019 HAS SOUS 877840 HAS SOUPS 877840 WITH SCORE 879319.019
AT ITER 6806 NEW BEST:: SOT 6761637 SOS 1478766 HAS SOPS 1478766 HAS SOUS 877154 HAS SOUPS 877154 WITH SCORE 878632.766
AT ITER 6819 NEW BEST:: SOT 6761601 SOS 1478688 HAS SOPS 1478688 HAS SOUS 877076 HAS SOUPS 877076 WITH SCORE 878554.688
AT ITER 6825 NEW BEST:: SOT 6760966 SOS 1478092 HAS SOPS 1478092 HAS SOUS 876455 HAS SOUPS 876455 WITH SCORE 877933.092
AT ITER 6826 NEW BEST:: SOT 6760966 SOS 1478241 HAS SOPS 1478241 HAS SOUS 876403 HAS SOUPS 876403 WITH SCORE 877881.241
AT ITER 6830 NEW BEST:: SOT 6760966 SOS 1478150 HAS SOPS 1478150 HAS SOUS 876312 HAS SOUPS 876312 WITH SCORE 877790.15
AT ITER 6849 NEW BEST:: SOT 6760913 SOS 1478044 HAS SOPS 1478044 HAS SOUS 876206 HAS SOUPS 876206 WITH SCORE 877684.044
AT ITER 6853 NEW BEST:: SOT 6760559 SOS 1476898 HAS SOPS 1476898 HAS SOUS 875060 HAS SOUPS 875060 WITH SCORE 876536.898
AT ITER 6860 NEW BEST:: SOT 6760239 SOS 1476776 HAS SOPS 1476776 HAS SOUS 874923 HAS SOUPS 874923 WITH SCORE 876399.776
AT ITER 6884 NEW BEST:: SOT 6760160 SOS 1476618 HAS SOPS 1476618 HAS SOUS 874863 HAS SOUPS 874863 WITH SCORE 876339.618
AT ITER 6907 NEW BEST:: SOT 6760029 SOS 1476615 HAS SOPS 1476615 HAS SOUS 874600 HAS SOUPS 874600 WITH SCORE 876076.615
AT ITER 6909 NEW BEST:: SOT 6760029 SOS 1476710 HAS SOPS 1476710 HAS SOUS 874599 HAS SOUPS 874599 WITH SCORE 876075.71
AT ITER 6935 NEW BEST:: SOT 6760012 SOS 1476676 HAS SOPS 1476676 HAS SOUS 874493 HAS SOUPS 874493 WITH SCORE 875969.676
AT ITER 6967 NEW BEST:: SOT 6759865 SOS 1476382 HAS SOPS 1476382 HAS SOUS 874371 HAS SOUPS 874371 WITH SCORE 875847.382
AT ITER 7018 NEW BEST:: SOT 6759865 SOS 1474708 HAS SOPS 1474708 HAS SOUS 874260 HAS SOUPS 874260 WITH SCORE 875734.708
AT ITER 7020 NEW BEST:: SOT 6759639 SOS 1474482 HAS SOPS 1474482 HAS SOUS 874260 HAS SOUPS 874260 WITH SCORE 875734.482
AT ITER 7026 NEW BEST:: SOT 6759639 SOS 1474482 HAS SOPS 1474482 HAS SOUS 874259 HAS SOUPS 874259 WITH SCORE 875733.482
AT ITER 7028 NEW BEST:: SOT 6759606 SOS 1473863 HAS SOPS 1473863 HAS SOUS 873768 HAS SOUPS 873768 WITH SCORE 875241.863
AT ITER 7029 NEW BEST:: SOT 6759353 SOS 1473357 HAS SOPS 1473357 HAS SOUS 873603 HAS SOUPS 873603 WITH SCORE 875076.357
AT ITER 7055 NEW BEST:: SOT 6759080 SOS 1469945 HAS SOPS 1469945 HAS SOUS 872867 HAS SOUPS 872867 WITH SCORE 874336.945
AT ITER 7077 NEW BEST:: SOT 6758689 SOS 1470099 HAS SOPS 1470099 HAS SOUS 872709 HAS SOUPS 872709 WITH SCORE 874179.099
AT ITER 7155 NEW BEST:: SOT 6758689 SOS 1470429 HAS SOPS 1470429 HAS SOUS 872708 HAS SOUPS 872708 WITH SCORE 874178.429
AT ITER 7175 NEW BEST:: SOT 6758589 SOS 1470329 HAS SOPS 1470329 HAS SOUS 872608 HAS SOUPS 872608 WITH SCORE 874078.329
AT ITER 7181 NEW BEST:: SOT 6757935 SOS 1470213 HAS SOPS 1470213 HAS SOUS 872201 HAS SOUPS 872201 WITH SCORE 873671.213
AT ITER 7230 NEW BEST:: SOT 6757923 SOS 1470222 HAS SOPS 1470222 HAS SOUS 872200 HAS SOUPS 872200 WITH SCORE 873670.222
AT ITER 7232 NEW BEST:: SOT 6757781 SOS 1470009 HAS SOPS 1470009 HAS SOUS 871987 HAS SOUPS 871987 WITH SCORE 873457.009
AT ITER 7242 NEW BEST:: SOT 6757234 SOS 1469707 HAS SOPS 1469707 HAS SOUS 871685 HAS SOUPS 871685 WITH SCORE 873154.707
AT ITER 7243 NEW BEST:: SOT 6757043 SOS 1468119 HAS SOPS 1468119 HAS SOUS 871407 HAS SOUPS 871407 WITH SCORE 872875.119
AT ITER 7251 NEW BEST:: SOT 6756963 SOS 1467879 HAS SOPS 1467879 HAS SOUS 871247 HAS SOUPS 871247 WITH SCORE 872714.879
AT ITER 7281 NEW BEST:: SOT 6756963 SOS 1467848 HAS SOPS 1467848 HAS SOUS 871247 HAS SOUPS 871247 WITH SCORE 872714.848
AT ITER 7285 NEW BEST:: SOT 6756605 SOS 1468149 HAS SOPS 1468149 HAS SOUS 871228 HAS SOUPS 871228 WITH SCORE 872696.149
AT ITER 7288 NEW BEST:: SOT 6756455 SOS 1475188 HAS SOPS 1475188 HAS SOUS 870927 HAS SOUPS 870927 WITH SCORE 872402.188
AT ITER 7306 NEW BEST:: SOT 6755815 SOS 1474868 HAS SOPS 1474868 HAS SOUS 870607 HAS SOUPS 870607 WITH SCORE 872081.868
AT ITER 7313 NEW BEST:: SOT 6755814 SOS 1474866 HAS SOPS 1474866 HAS SOUS 870605 HAS SOUPS 870605 WITH SCORE 872079.866
AT ITER 7335 NEW BEST:: SOT 6752328 SOS 1479912 HAS SOPS 1479912 HAS SOUS 870564 HAS SOUPS 870564 WITH SCORE 872043.912
AT ITER 7352 NEW BEST:: SOT 6751876 SOS 1479686 HAS SOPS 1479686 HAS SOUS 870338 HAS SOUPS 870338 WITH SCORE 871817.686
AT ITER 7353 NEW BEST:: SOT 6751876 SOS 1479569 HAS SOPS 1479569 HAS SOUS 870338 HAS SOUPS 870338 WITH SCORE 871817.569
AT ITER 7366 NEW BEST:: SOT 6751903 SOS 1479541 HAS SOPS 1479541 HAS SOUS 870310 HAS SOUPS 870310 WITH SCORE 871789.541
AT ITER 7396 NEW BEST:: SOT 6751775 SOS 1479285 HAS SOPS 1479285 HAS SOUS 870054 HAS SOUPS 870054 WITH SCORE 871533.285
AT ITER 7412 NEW BEST:: SOT 6751489 SOS 1479131 HAS SOPS 1479131 HAS SOUS 869641 HAS SOUPS 869641 WITH SCORE 871120.131
AT ITER 7418 NEW BEST:: SOT 6751231 SOS 1478744 HAS SOPS 1478744 HAS SOUS 869254 HAS SOUPS 869254 WITH SCORE 870732.744
AT ITER 7433 NEW BEST:: SOT 6750846 SOS 1479048 HAS SOPS 1479048 HAS SOUS 869173 HAS SOUPS 869173 WITH SCORE 870652.048
AT ITER 7461 NEW BEST:: SOT 6750823 SOS 1479002 HAS SOPS 1479002 HAS SOUS 869150 HAS SOUPS 869150 WITH SCORE 870629.002
AT ITER 7463 NEW BEST:: SOT 6750794 SOS 1478945 HAS SOPS 1478945 HAS SOUS 869093 HAS SOUPS 869093 WITH SCORE 870571.945
AT ITER 7472 NEW BEST:: SOT 6750721 SOS 1478799 HAS SOPS 1478799 HAS SOUS 868947 HAS SOUPS 868947 WITH SCORE 870425.799
AT ITER 7481 NEW BEST:: SOT 6750521 SOS 1478730 HAS SOPS 1478730 HAS SOUS 868878 HAS SOUPS 868878 WITH SCORE 870356.73
AT ITER 7520 NEW BEST:: SOT 6750156 SOS 1478000 HAS SOPS 1478000 HAS SOUS 868148 HAS SOUPS 868148 WITH SCORE 869626.0
AT ITER 7549 NEW BEST:: SOT 6750128 SOS 1477944 HAS SOPS 1477944 HAS SOUS 867833 HAS SOUPS 867833 WITH SCORE 869310.944
AT ITER 7559 NEW BEST:: SOT 6749888 SOS 1477951 HAS SOPS 1477951 HAS SOUS 867825 HAS SOUPS 867825 WITH SCORE 869302.951
AT ITER 7584 NEW BEST:: SOT 6749823 SOS 1477821 HAS SOPS 1477821 HAS SOUS 867760 HAS SOUPS 867760 WITH SCORE 869237.821
AT ITER 7640 NEW BEST:: SOT 6749813 SOS 1477801 HAS SOPS 1477801 HAS SOUS 867750 HAS SOUPS 867750 WITH SCORE 869227.801
AT ITER 7685 NEW BEST:: SOT 6749828 SOS 1477639 HAS SOPS 1477639 HAS SOUS 867716 HAS SOUPS 867716 WITH SCORE 869193.639
AT ITER 7709 NEW BEST:: SOT 6749720 SOS 1477423 HAS SOPS 1477423 HAS SOUS 867681 HAS SOUPS 867681 WITH SCORE 869158.423
AT ITER 7712 NEW BEST:: SOT 6749606 SOS 1477138 HAS SOPS 1477138 HAS SOUS 867510 HAS SOUPS 867510 WITH SCORE 868987.138
AT ITER 7728 NEW BEST:: SOT 6749606 SOS 1476686 HAS SOPS 1476686 HAS SOUS 867284 HAS SOUPS 867284 WITH SCORE 868760.686
AT ITER 7730 NEW BEST:: SOT 6749606 SOS 1476686 HAS SOPS 1476686 HAS SOUS 867282 HAS SOUPS 867282 WITH SCORE 868758.686
AT ITER 7754 NEW BEST:: SOT 6749606 SOS 1475768 HAS SOPS 1475768 HAS SOUS 866976 HAS SOUPS 866976 WITH SCORE 868451.768
AT ITER 7756 NEW BEST:: SOT 6749528 SOS 1475742 HAS SOPS 1475742 HAS SOUS 866950 HAS SOUPS 866950 WITH SCORE 868425.742
AT ITER 7760 NEW BEST:: SOT 6749528 SOS 1475625 HAS SOPS 1475625 HAS SOUS 866911 HAS SOUPS 866911 WITH SCORE 868386.625
AT ITER 7763 NEW BEST:: SOT 6749503 SOS 1477779 HAS SOPS 1477779 HAS SOUS 866860 HAS SOUPS 866860 WITH SCORE 868337.779
AT ITER 7772 NEW BEST:: SOT 6749503 SOS 1477725 HAS SOPS 1477725 HAS SOUS 866806 HAS SOUPS 866806 WITH SCORE 868283.725
AT ITER 7797 NEW BEST:: SOT 6749375 SOS 1477469 HAS SOPS 1477469 HAS SOUS 866678 HAS SOUPS 866678 WITH SCORE 868155.469
AT ITER 7806 NEW BEST:: SOT 6749375 SOS 1477405 HAS SOPS 1477405 HAS SOUS 866678 HAS SOUPS 866678 WITH SCORE 868155.405
AT ITER 7820 NEW BEST:: SOT 6749250 SOS 1477155 HAS SOPS 1477155 HAS SOUS 866433 HAS SOUPS 866433 WITH SCORE 867910.155
AT ITER 7835 NEW BEST:: SOT 6749250 SOS 1477080 HAS SOPS 1477080 HAS SOUS 866358 HAS SOUPS 866358 WITH SCORE 867835.08
AT ITER 7848 NEW BEST:: SOT 6749231 SOS 1477641 HAS SOPS 1477641 HAS SOUS 866339 HAS SOUPS 866339 WITH SCORE 867816.641
AT ITER 7856 NEW BEST:: SOT 6749251 SOS 1477666 HAS SOPS 1477666 HAS SOUS 866308 HAS SOUPS 866308 WITH SCORE 867785.666
AT ITER 7861 NEW BEST:: SOT 6749224 SOS 1477665 HAS SOPS 1477665 HAS SOUS 866307 HAS SOUPS 866307 WITH SCORE 867784.665
AT ITER 7876 NEW BEST:: SOT 6749224 SOS 1477636 HAS SOPS 1477636 HAS SOUS 866307 HAS SOUPS 866307 WITH SCORE 867784.636
AT ITER 7891 NEW BEST:: SOT 6749116 SOS 1477576 HAS SOPS 1477576 HAS SOUS 866199 HAS SOUPS 866199 WITH SCORE 867676.576
AT ITER 7915 NEW BEST:: SOT 6749029 SOS 1477489 HAS SOPS 1477489 HAS SOUS 866112 HAS SOUPS 866112 WITH SCORE 867589.489
AT ITER 7986 NEW BEST:: SOT 6748850 SOS 1477131 HAS SOPS 1477131 HAS SOUS 865754 HAS SOUPS 865754 WITH SCORE 867231.131
AT ITER 7993 NEW BEST:: SOT 6748748 SOS 1476927 HAS SOPS 1476927 HAS SOUS 865550 HAS SOUPS 865550 WITH SCORE 867026.927
AT ITER 8027 NEW BEST:: SOT 6748660 SOS 1476839 HAS SOPS 1476839 HAS SOUS 865462 HAS SOUPS 865462 WITH SCORE 866938.839
AT ITER 8034 NEW BEST:: SOT 6748393 SOS 1476742 HAS SOPS 1476742 HAS SOUS 865204 HAS SOUPS 865204 WITH SCORE 866680.742
AT ITER 8048 NEW BEST:: SOT 6746095 SOS 1476756 HAS SOPS 1476756 HAS SOUS 863266 HAS SOUPS 863266 WITH SCORE 864742.756
AT ITER 8059 NEW BEST:: SOT 6746095 SOS 1476700 HAS SOPS 1476700 HAS SOUS 863210 HAS SOUPS 863210 WITH SCORE 864686.7
AT ITER 8101 NEW BEST:: SOT 6745825 SOS 1476475 HAS SOPS 1476475 HAS SOUS 862940 HAS SOUPS 862940 WITH SCORE 864416.475
AT ITER 8105 NEW BEST:: SOT 6745825 SOS 1476475 HAS SOPS 1476475 HAS SOUS 862701 HAS SOUPS 862701 WITH SCORE 864177.475
AT ITER 8127 NEW BEST:: SOT 6745811 SOS 1476461 HAS SOPS 1476461 HAS SOUS 862687 HAS SOUPS 862687 WITH SCORE 864163.461
AT ITER 8133 NEW BEST:: SOT 6745682 SOS 1475999 HAS SOPS 1475999 HAS SOUS 862354 HAS SOUPS 862354 WITH SCORE 863829.999
AT ITER 8139 NEW BEST:: SOT 6745664 SOS 1475963 HAS SOPS 1475963 HAS SOUS 862336 HAS SOUPS 862336 WITH SCORE 863811.963
AT ITER 8156 NEW BEST:: SOT 6745645 SOS 1475925 HAS SOPS 1475925 HAS SOUS 862298 HAS SOUPS 862298 WITH SCORE 863773.925
AT ITER 8166 NEW BEST:: SOT 6745531 SOS 1475697 HAS SOPS 1475697 HAS SOUS 862103 HAS SOUPS 862103 WITH SCORE 863578.697
AT ITER 8233 NEW BEST:: SOT 6745300 SOS 1474862 HAS SOPS 1474862 HAS SOUS 861925 HAS SOUPS 861925 WITH SCORE 863399.862
AT ITER 8301 NEW BEST:: SOT 6745300 SOS 1474778 HAS SOPS 1474778 HAS SOUS 861925 HAS SOUPS 861925 WITH SCORE 863399.778
AT ITER 8322 NEW BEST:: SOT 6745288 SOS 1474862 HAS SOPS 1474862 HAS SOUS 861913 HAS SOUPS 861913 WITH SCORE 863387.862
AT ITER 8339 NEW BEST:: SOT 6745103 SOS 1474307 HAS SOPS 1474307 HAS SOUS 861543 HAS SOUPS 861543 WITH SCORE 863017.307
AT ITER 8346 NEW BEST:: SOT 6744970 SOS 1474076 HAS SOPS 1474076 HAS SOUS 861312 HAS SOUPS 861312 WITH SCORE 862786.076
AT ITER 8349 NEW BEST:: SOT 6744398 SOS 1474284 HAS SOPS 1474284 HAS SOUS 861305 HAS SOUPS 861305 WITH SCORE 862779.284
AT ITER 8397 NEW BEST:: SOT 6744398 SOS 1474255 HAS SOPS 1474255 HAS SOUS 861305 HAS SOUPS 861305 WITH SCORE 862779.255
AT ITER 8398 NEW BEST:: SOT 6744388 SOS 1474235 HAS SOPS 1474235 HAS SOUS 861285 HAS SOUPS 861285 WITH SCORE 862759.235
AT ITER 8413 NEW BEST:: SOT 6744264 SOS 1474173 HAS SOPS 1474173 HAS SOUS 861223 HAS SOUPS 861223 WITH SCORE 862697.173
AT ITER 8420 NEW BEST:: SOT 6743669 SOS 1473578 HAS SOPS 1473578 HAS SOUS 860713 HAS SOUPS 860713 WITH SCORE 862186.578
AT ITER 8438 NEW BEST:: SOT 6743591 SOS 1473422 HAS SOPS 1473422 HAS SOUS 860557 HAS SOUPS 860557 WITH SCORE 862030.422
AT ITER 8448 NEW BEST:: SOT 6743356 SOS 1472952 HAS SOPS 1472952 HAS SOUS 860087 HAS SOUPS 860087 WITH SCORE 861559.952
AT ITER 8451 NEW BEST:: SOT 6743315 SOS 1472907 HAS SOPS 1472907 HAS SOUS 860072 HAS SOUPS 860072 WITH SCORE 861544.907
AT ITER 8460 NEW BEST:: SOT 6743002 SOS 1476473 HAS SOPS 1476473 HAS SOUS 859792 HAS SOUPS 859792 WITH SCORE 861268.473
AT ITER 8482 NEW BEST:: SOT 6743266 SOS 1476564 HAS SOPS 1476564 HAS SOUS 859710 HAS SOUPS 859710 WITH SCORE 861186.564
AT ITER 8492 NEW BEST:: SOT 6743157 SOS 1475580 HAS SOPS 1475580 HAS SOUS 859492 HAS SOUPS 859492 WITH SCORE 860967.58
AT ITER 8511 NEW BEST:: SOT 6742931 SOS 1475128 HAS SOPS 1475128 HAS SOUS 859213 HAS SOUPS 859213 WITH SCORE 860688.128
AT ITER 8545 NEW BEST:: SOT 6742829 SOS 1474924 HAS SOPS 1474924 HAS SOUS 859108 HAS SOUPS 859108 WITH SCORE 860582.924
AT ITER 8564 NEW BEST:: SOT 6742755 SOS 1474850 HAS SOPS 1474850 HAS SOUS 859034 HAS SOUPS 859034 WITH SCORE 860508.85
AT ITER 8567 NEW BEST:: SOT 6742607 SOS 1474702 HAS SOPS 1474702 HAS SOUS 858886 HAS SOUPS 858886 WITH SCORE 860360.702
AT ITER 8578 NEW BEST:: SOT 6742607 SOS 1473674 HAS SOPS 1473674 HAS SOUS 858626 HAS SOUPS 858626 WITH SCORE 860099.674
AT ITER 8592 NEW BEST:: SOT 6742422 SOS 1473304 HAS SOPS 1473304 HAS SOUS 858318 HAS SOUPS 858318 WITH SCORE 859791.304
AT ITER 8594 NEW BEST:: SOT 6742104 SOS 1473294 HAS SOPS 1473294 HAS SOUS 858078 HAS SOUPS 858078 WITH SCORE 859551.294
AT ITER 8610 NEW BEST:: SOT 6742104 SOS 1473139 HAS SOPS 1473139 HAS SOUS 857923 HAS SOUPS 857923 WITH SCORE 859396.139
AT ITER 8611 NEW BEST:: SOT 6741605 SOS 1472840 HAS SOPS 1472840 HAS SOUS 857543 HAS SOUPS 857543 WITH SCORE 859015.84
AT ITER 8636 NEW BEST:: SOT 6741424 SOS 1472478 HAS SOPS 1472478 HAS SOUS 857283 HAS SOUPS 857283 WITH SCORE 858755.478
AT ITER 8637 NEW BEST:: SOT 6741423 SOS 1472684 HAS SOPS 1472684 HAS SOUS 857282 HAS SOUPS 857282 WITH SCORE 858754.684
AT ITER 8647 NEW BEST:: SOT 6741415 SOS 1472672 HAS SOPS 1472672 HAS SOUS 857270 HAS SOUPS 857270 WITH SCORE 858742.672
AT ITER 8666 NEW BEST:: SOT 6741502 SOS 1471916 HAS SOPS 1471916 HAS SOUS 857047 HAS SOUPS 857047 WITH SCORE 858518.916
AT ITER 8674 NEW BEST:: SOT 6740899 SOS 1469465 HAS SOPS 1469465 HAS SOUS 856444 HAS SOUPS 856444 WITH SCORE 857913.465
AT ITER 8684 NEW BEST:: SOT 6740899 SOS 1469304 HAS SOPS 1469304 HAS SOUS 856283 HAS SOUPS 856283 WITH SCORE 857752.304
AT ITER 8690 NEW BEST:: SOT 6740814 SOS 1468964 HAS SOPS 1468964 HAS SOUS 856113 HAS SOUPS 856113 WITH SCORE 857581.964
AT ITER 8691 NEW BEST:: SOT 6740739 SOS 1468644 HAS SOPS 1468644 HAS SOUS 855953 HAS SOUPS 855953 WITH SCORE 857421.644
AT ITER 8697 NEW BEST:: SOT 6740674 SOS 1468514 HAS SOPS 1468514 HAS SOUS 855823 HAS SOUPS 855823 WITH SCORE 857291.514
AT ITER 8710 NEW BEST:: SOT 6740659 SOS 1468484 HAS SOPS 1468484 HAS SOUS 855793 HAS SOUPS 855793 WITH SCORE 857261.484
AT ITER 8717 NEW BEST:: SOT 6740628 SOS 1468422 HAS SOPS 1468422 HAS SOUS 855731 HAS SOUPS 855731 WITH SCORE 857199.422
AT ITER 8761 NEW BEST:: SOT 6740447 SOS 1467812 HAS SOPS 1467812 HAS SOUS 855121 HAS SOUPS 855121 WITH SCORE 856588.812
AT ITER 8800 NEW BEST:: SOT 6740802 SOS 1468350 HAS SOPS 1468350 HAS SOUS 854854 HAS SOUPS 854854 WITH SCORE 856322.35
AT ITER 8804 NEW BEST:: SOT 6740802 SOS 1468309 HAS SOPS 1468309 HAS SOUS 854854 HAS SOUPS 854854 WITH SCORE 856322.309
AT ITER 8808 NEW BEST:: SOT 6740620 SOS 1467288 HAS SOPS 1467288 HAS SOUS 854490 HAS SOUPS 854490 WITH SCORE 855957.288
AT ITER 8817 NEW BEST:: SOT 6740619 SOS 1467286 HAS SOPS 1467286 HAS SOUS 854488 HAS SOUPS 854488 WITH SCORE 855955.286
AT ITER 8818 NEW BEST:: SOT 6740561 SOS 1467170 HAS SOPS 1467170 HAS SOUS 854372 HAS SOUPS 854372 WITH SCORE 855839.17
AT ITER 8822 NEW BEST:: SOT 6740560 SOS 1467168 HAS SOPS 1467168 HAS SOUS 854370 HAS SOUPS 854370 WITH SCORE 855837.168
AT ITER 8825 NEW BEST:: SOT 6740177 SOS 1469123 HAS SOPS 1469123 HAS SOUS 854246 HAS SOUPS 854246 WITH SCORE 855715.123
AT ITER 8859 NEW BEST:: SOT 6740115 SOS 1468953 HAS SOPS 1468953 HAS SOUS 854076 HAS SOUPS 854076 WITH SCORE 855544.953
AT ITER 8867 NEW BEST:: SOT 6740114 SOS 1468951 HAS SOPS 1468951 HAS SOUS 854074 HAS SOUPS 854074 WITH SCORE 855542.951
AT ITER 8894 NEW BEST:: SOT 6740352 SOS 1469072 HAS SOPS 1469072 HAS SOUS 854034 HAS SOUPS 854034 WITH SCORE 855503.072
AT ITER 8915 NEW BEST:: SOT 6740311 SOS 1468980 HAS SOPS 1468980 HAS SOUS 853951 HAS SOUPS 853951 WITH SCORE 855419.98
AT ITER 8926 NEW BEST:: SOT 6740082 SOS 1468533 HAS SOPS 1468533 HAS SOUS 853840 HAS SOUPS 853840 WITH SCORE 855308.533
AT ITER 8971 NEW BEST:: SOT 6740058 SOS 1468532 HAS SOPS 1468532 HAS SOUS 853839 HAS SOUPS 853839 WITH SCORE 855307.532
AT ITER 8999 NEW BEST:: SOT 6739974 SOS 1468364 HAS SOPS 1468364 HAS SOUS 853536 HAS SOUPS 853536 WITH SCORE 855004.364
AT ITER 9087 NEW BEST:: SOT 6739973 SOS 1468362 HAS SOPS 1468362 HAS SOUS 853534 HAS SOUPS 853534 WITH SCORE 855002.362
AT ITER 9106 NEW BEST:: SOT 6739903 SOS 1468290 HAS SOPS 1468290 HAS SOUS 853462 HAS SOUPS 853462 WITH SCORE 854930.29
AT ITER 9114 NEW BEST:: SOT 6739323 SOS 1467130 HAS SOPS 1467130 HAS SOUS 853463 HAS SOUPS 853463 WITH SCORE 854930.13
AT ITER 9136 NEW BEST:: SOT 6739003 SOS 1465730 HAS SOPS 1465730 HAS SOUS 853001 HAS SOUPS 853001 WITH SCORE 854466.73
AT ITER 9158 NEW BEST:: SOT 6739001 SOS 1465726 HAS SOPS 1465726 HAS SOUS 852997 HAS SOUPS 852997 WITH SCORE 854462.726
AT ITER 9189 NEW BEST:: SOT 6739024 SOS 1465772 HAS SOPS 1465772 HAS SOUS 852957 HAS SOUPS 852957 WITH SCORE 854422.772
AT ITER 9204 NEW BEST:: SOT 6739000 SOS 1465724 HAS SOPS 1465724 HAS SOUS 852909 HAS SOUPS 852909 WITH SCORE 854374.724
AT ITER 9253 NEW BEST:: SOT 6738838 SOS 1464952 HAS SOPS 1464952 HAS SOUS 852473 HAS SOUPS 852473 WITH SCORE 853937.952
AT ITER 9258 NEW BEST:: SOT 6738903 SOS 1465082 HAS SOPS 1465082 HAS SOUS 852158 HAS SOUPS 852158 WITH SCORE 853623.082
AT ITER 9279 NEW BEST:: SOT 6738662 SOS 1465068 HAS SOPS 1465068 HAS SOUS 852073 HAS SOUPS 852073 WITH SCORE 853538.068
AT ITER 9280 NEW BEST:: SOT 6738520 SOS 1464926 HAS SOPS 1464926 HAS SOUS 851931 HAS SOUPS 851931 WITH SCORE 853395.926
AT ITER 9290 NEW BEST:: SOT 6738415 SOS 1465661 HAS SOPS 1465661 HAS SOUS 851826 HAS SOUPS 851826 WITH SCORE 853291.661
AT ITER 9300 NEW BEST:: SOT 6738366 SOS 1465601 HAS SOPS 1465601 HAS SOUS 851822 HAS SOUPS 851822 WITH SCORE 853287.601
AT ITER 9312 NEW BEST:: SOT 6738165 SOS 1465333 HAS SOPS 1465333 HAS SOUS 851554 HAS SOUPS 851554 WITH SCORE 853019.333
AT ITER 9324 NEW BEST:: SOT 6738165 SOS 1465442 HAS SOPS 1465442 HAS SOUS 851551 HAS SOUPS 851551 WITH SCORE 853016.442
AT ITER 9392 NEW BEST:: SOT 6738163 SOS 1465438 HAS SOPS 1465438 HAS SOUS 851547 HAS SOUPS 851547 WITH SCORE 853012.438
AT ITER 9402 NEW BEST:: SOT 6738321 SOS 1465040 HAS SOPS 1465040 HAS SOUS 851467 HAS SOUPS 851467 WITH SCORE 852932.04
AT ITER 9404 NEW BEST:: SOT 6738320 SOS 1465038 HAS SOPS 1465038 HAS SOUS 851465 HAS SOUPS 851465 WITH SCORE 852930.038
AT ITER 9443 NEW BEST:: SOT 6738320 SOS 1464778 HAS SOPS 1464778 HAS SOUS 851205 HAS SOUPS 851205 WITH SCORE 852669.778
AT ITER 9445 NEW BEST:: SOT 6738157 SOS 1464452 HAS SOPS 1464452 HAS SOUS 850733 HAS SOUPS 850733 WITH SCORE 852197.452
AT ITER 9518 NEW BEST:: SOT 6738155 SOS 1464448 HAS SOPS 1464448 HAS SOUS 850730 HAS SOUPS 850730 WITH SCORE 852194.448
AT ITER 9576 NEW BEST:: SOT 6738227 SOS 1464438 HAS SOPS 1464438 HAS SOUS 850720 HAS SOUPS 850720 WITH SCORE 852184.438
AT ITER 9614 NEW BEST:: SOT 6738188 SOS 1464009 HAS SOPS 1464009 HAS SOUS 850681 HAS SOUPS 850681 WITH SCORE 852145.009
AT ITER 9642 NEW BEST:: SOT 6738309 SOS 1463972 HAS SOPS 1463972 HAS SOUS 850522 HAS SOUPS 850522 WITH SCORE 851985.972
AT ITER 9643 NEW BEST:: SOT 6738177 SOS 1463708 HAS SOPS 1463708 HAS SOUS 850390 HAS SOUPS 850390 WITH SCORE 851853.708
AT ITER 9646 NEW BEST:: SOT 6738083 SOS 1463520 HAS SOPS 1463520 HAS SOUS 850202 HAS SOUPS 850202 WITH SCORE 851665.52
AT ITER 9670 NEW BEST:: SOT 6737922 SOS 1463359 HAS SOPS 1463359 HAS SOUS 850041 HAS SOUPS 850041 WITH SCORE 851504.359
AT ITER 9678 NEW BEST:: SOT 6738498 SOS 1462565 HAS SOPS 1462565 HAS SOUS 849952 HAS SOUPS 849952 WITH SCORE 851414.565
AT ITER 9689 NEW BEST:: SOT 6737834 SOS 1461569 HAS SOPS 1461569 HAS SOUS 849272 HAS SOUPS 849272 WITH SCORE 850733.569
AT ITER 9697 NEW BEST:: SOT 6737834 SOS 1461536 HAS SOPS 1461536 HAS SOUS 849239 HAS SOUPS 849239 WITH SCORE 850700.536
AT ITER 9707 NEW BEST:: SOT 6737698 SOS 1461264 HAS SOPS 1461264 HAS SOUS 848979 HAS SOUPS 848979 WITH SCORE 850440.264
AT ITER 9714 NEW BEST:: SOT 6737698 SOS 1461582 HAS SOPS 1461582 HAS SOUS 848960 HAS SOUPS 848960 WITH SCORE 850421.582
AT ITER 9719 NEW BEST:: SOT 6737828 SOS 1456223 HAS SOPS 1456223 HAS SOUS 848867 HAS SOUPS 848867 WITH SCORE 850323.223
AT ITER 9732 NEW BEST:: SOT 6737592 SOS 1456320 HAS SOPS 1456320 HAS SOUS 848631 HAS SOUPS 848631 WITH SCORE 850087.32
AT ITER 9739 NEW BEST:: SOT 6737565 SOS 1456072 HAS SOPS 1456072 HAS SOUS 848599 HAS SOUPS 848599 WITH SCORE 850055.072
AT ITER 9754 NEW BEST:: SOT 6736999 SOS 1456689 HAS SOPS 1456689 HAS SOUS 848134 HAS SOUPS 848134 WITH SCORE 849590.689
AT ITER 9819 NEW BEST:: SOT 6736788 SOS 1456267 HAS SOPS 1456267 HAS SOUS 847712 HAS SOUPS 847712 WITH SCORE 849168.267
AT ITER 9858 NEW BEST:: SOT 6736811 SOS 1456313 HAS SOPS 1456313 HAS SOUS 847614 HAS SOUPS 847614 WITH SCORE 849070.313
AT ITER 9868 NEW BEST:: SOT 6736803 SOS 1456304 HAS SOPS 1456304 HAS SOUS 847596 HAS SOUPS 847596 WITH SCORE 849052.304
AT ITER 9888 NEW BEST:: SOT 6736693 SOS 1456084 HAS SOPS 1456084 HAS SOUS 847517 HAS SOUPS 847517 WITH SCORE 848973.084
AT ITER 9908 NEW BEST:: SOT 6736372 SOS 1456327 HAS SOPS 1456327 HAS SOUS 846784 HAS SOUPS 846784 WITH SCORE 848240.327
AT ITER 9982 NEW BEST:: SOT 6736372 SOS 1456327 HAS SOPS 1456327 HAS SOUS 846590 HAS SOUPS 846590 WITH SCORE 848046.327
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14652624 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121992 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="DLCround-PT-07b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DLCround-PT-07b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484500696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-07b.tgz
mv DLCround-PT-07b 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 '
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 ;