Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355100699.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBNT-PT-S10J60, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100699
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 24M
-rw-r--r-- 1 mcc users 31K Apr 12 06:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Apr 12 06:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 516K Apr 11 07:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 07:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 58K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 153K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 476K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 10 13:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 10 13:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 261K Apr 9 19:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 667K Apr 9 19:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 34K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S10J60-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589649669338

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J60
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1234 places, 12920 transitions, 116879 arcs.
AT ITER 0 NEW BEST:: SOT 9128117 SOS 4231401 HAS SOPS 4231401 HAS SOUS 1130922 HAS SOUPS 1130922 WITH SCORE 1135153.401
AT ITER 4 NEW BEST:: SOT 9128089 SOS 4231373 HAS SOPS 4231373 HAS SOUS 1130894 HAS SOUPS 1130894 WITH SCORE 1135125.373
AT ITER 15 NEW BEST:: SOT 9128944 SOS 4232064 HAS SOPS 4232064 HAS SOUS 1129947 HAS SOUPS 1129947 WITH SCORE 1134179.064
AT ITER 32 NEW BEST:: SOT 9128953 SOS 4250826 HAS SOPS 4250826 HAS SOUS 1129815 HAS SOUPS 1129815 WITH SCORE 1134065.826
AT ITER 42 NEW BEST:: SOT 9128840 SOS 4250539 HAS SOPS 4250539 HAS SOUS 1127962 HAS SOUPS 1127962 WITH SCORE 1132212.539
AT ITER 43 NEW BEST:: SOT 9128840 SOS 4250539 HAS SOPS 4250539 HAS SOUS 1127765 HAS SOUPS 1127765 WITH SCORE 1132015.539
AT ITER 61 NEW BEST:: SOT 9128662 SOS 4250179 HAS SOPS 4250179 HAS SOUS 1125767 HAS SOUPS 1125767 WITH SCORE 1130017.179
AT ITER 69 NEW BEST:: SOT 9128662 SOS 4250081 HAS SOPS 4250081 HAS SOUS 1125767 HAS SOUPS 1125767 WITH SCORE 1130017.081
AT ITER 74 NEW BEST:: SOT 9128668 SOS 4253289 HAS SOPS 4253289 HAS SOUS 1125409 HAS SOUPS 1125409 WITH SCORE 1129662.289
AT ITER 81 NEW BEST:: SOT 9128717 SOS 4253146 HAS SOPS 4253146 HAS SOUS 1123538 HAS SOUPS 1123538 WITH SCORE 1127791.146
AT ITER 84 NEW BEST:: SOT 9128635 SOS 4253329 HAS SOPS 4253329 HAS SOUS 1123528 HAS SOUPS 1123528 WITH SCORE 1127781.329
AT ITER 85 NEW BEST:: SOT 9128557 SOS 4253512 HAS SOPS 4253512 HAS SOUS 1123518 HAS SOUPS 1123518 WITH SCORE 1127771.512
AT ITER 93 NEW BEST:: SOT 9128074 SOS 4253029 HAS SOPS 4253029 HAS SOUS 1123035 HAS SOUPS 1123035 WITH SCORE 1127288.029
AT ITER 97 NEW BEST:: SOT 9128049 SOS 4253004 HAS SOPS 4253004 HAS SOUS 1123010 HAS SOUPS 1123010 WITH SCORE 1127263.004
AT ITER 99 NEW BEST:: SOT 9127904 SOS 4252701 HAS SOPS 4252701 HAS SOUS 1121285 HAS SOUPS 1121285 WITH SCORE 1125537.701
AT ITER 122 NEW BEST:: SOT 9127820 SOS 4252617 HAS SOPS 4252617 HAS SOUS 1121201 HAS SOUPS 1121201 WITH SCORE 1125453.617
AT ITER 126 NEW BEST:: SOT 9127820 SOS 4252479 HAS SOPS 4252479 HAS SOUS 1120901 HAS SOUPS 1120901 WITH SCORE 1125153.479
AT ITER 129 NEW BEST:: SOT 9127820 SOS 4252479 HAS SOPS 4252479 HAS SOUS 1120880 HAS SOUPS 1120880 WITH SCORE 1125132.479
AT ITER 170 NEW BEST:: SOT 9127727 SOS 4252386 HAS SOPS 4252386 HAS SOUS 1120787 HAS SOUPS 1120787 WITH SCORE 1125039.386
AT ITER 171 NEW BEST:: SOT 9129021 SOS 4253498 HAS SOPS 4253498 HAS SOUS 1120297 HAS SOUPS 1120297 WITH SCORE 1124550.498
AT ITER 176 NEW BEST:: SOT 9128863 SOS 4253158 HAS SOPS 4253158 HAS SOUS 1118509 HAS SOUPS 1118509 WITH SCORE 1122762.158
AT ITER 177 NEW BEST:: SOT 9128460 SOS 4252573 HAS SOPS 4252573 HAS SOUS 1116286 HAS SOUPS 1116286 WITH SCORE 1120538.573
AT ITER 182 NEW BEST:: SOT 9128534 SOS 4252442 HAS SOPS 4252442 HAS SOUS 1114355 HAS SOUPS 1114355 WITH SCORE 1118607.442
AT ITER 185 NEW BEST:: SOT 9128453 SOS 4252179 HAS SOPS 4252179 HAS SOUS 1112454 HAS SOUPS 1112454 WITH SCORE 1116706.179
AT ITER 190 NEW BEST:: SOT 9128742 SOS 4252286 HAS SOPS 4252286 HAS SOUS 1110961 HAS SOUPS 1110961 WITH SCORE 1115213.286
AT ITER 204 NEW BEST:: SOT 9128851 SOS 4252451 HAS SOPS 4252451 HAS SOUS 1110766 HAS SOUPS 1110766 WITH SCORE 1115018.451
AT ITER 209 NEW BEST:: SOT 9128851 SOS 4252269 HAS SOPS 4252269 HAS SOUS 1109038 HAS SOUPS 1109038 WITH SCORE 1113290.269
AT ITER 216 NEW BEST:: SOT 9128690 SOS 4252108 HAS SOPS 4252108 HAS SOUS 1108877 HAS SOUPS 1108877 WITH SCORE 1113129.108
AT ITER 226 NEW BEST:: SOT 9128193 SOS 4251429 HAS SOPS 4251429 HAS SOUS 1106574 HAS SOUPS 1106574 WITH SCORE 1110825.429
AT ITER 233 NEW BEST:: SOT 9128129 SOS 4251243 HAS SOPS 4251243 HAS SOUS 1105290 HAS SOUPS 1105290 WITH SCORE 1109541.243
AT ITER 235 NEW BEST:: SOT 9128155 SOS 4251087 HAS SOPS 4251087 HAS SOUS 1103498 HAS SOUPS 1103498 WITH SCORE 1107749.087
AT ITER 244 NEW BEST:: SOT 9128108 SOS 4251083 HAS SOPS 4251083 HAS SOUS 1103451 HAS SOUPS 1103451 WITH SCORE 1107702.083
AT ITER 245 NEW BEST:: SOT 9128108 SOS 4250966 HAS SOPS 4250966 HAS SOUS 1102281 HAS SOUPS 1102281 WITH SCORE 1106531.966
AT ITER 252 NEW BEST:: SOT 9128108 SOS 4250904 HAS SOPS 4250904 HAS SOUS 1101723 HAS SOUPS 1101723 WITH SCORE 1105973.904
AT ITER 256 NEW BEST:: SOT 9127715 SOS 4250329 HAS SOPS 4250329 HAS SOUS 1099510 HAS SOUPS 1099510 WITH SCORE 1103760.329
AT ITER 260 NEW BEST:: SOT 9127672 SOS 4250104 HAS SOPS 4250104 HAS SOUS 1097696 HAS SOUPS 1097696 WITH SCORE 1101946.104
AT ITER 264 NEW BEST:: SOT 9127570 SOS 4250002 HAS SOPS 4250002 HAS SOUS 1097594 HAS SOUPS 1097594 WITH SCORE 1101844.002
AT ITER 267 NEW BEST:: SOT 9128708 SOS 4250958 HAS SOPS 4250958 HAS SOUS 1096970 HAS SOUPS 1096970 WITH SCORE 1101220.958
AT ITER 269 NEW BEST:: SOT 9128682 SOS 4250932 HAS SOPS 4250932 HAS SOUS 1096944 HAS SOUPS 1096944 WITH SCORE 1101194.932
AT ITER 274 NEW BEST:: SOT 9128507 SOS 4250757 HAS SOPS 4250757 HAS SOUS 1096630 HAS SOUPS 1096630 WITH SCORE 1100880.757
AT ITER 275 NEW BEST:: SOT 9128490 SOS 4250792 HAS SOPS 4250792 HAS SOUS 1096613 HAS SOUPS 1096613 WITH SCORE 1100863.792
AT ITER 277 NEW BEST:: SOT 9129461 SOS 4251581 HAS SOPS 4251581 HAS SOUS 1095808 HAS SOUPS 1095808 WITH SCORE 1100059.581
AT ITER 281 NEW BEST:: SOT 9129445 SOS 4251565 HAS SOPS 4251565 HAS SOUS 1095792 HAS SOUPS 1095792 WITH SCORE 1100043.565
AT ITER 282 NEW BEST:: SOT 9129117 SOS 4251237 HAS SOPS 4251237 HAS SOUS 1095464 HAS SOUPS 1095464 WITH SCORE 1099715.237
AT ITER 291 NEW BEST:: SOT 9128988 SOS 4251108 HAS SOPS 4251108 HAS SOUS 1095335 HAS SOUPS 1095335 WITH SCORE 1099586.108
AT ITER 293 NEW BEST:: SOT 9128988 SOS 4251099 HAS SOPS 4251099 HAS SOUS 1095245 HAS SOUPS 1095245 WITH SCORE 1099496.099
AT ITER 305 NEW BEST:: SOT 9129206 SOS 4250813 HAS SOPS 4250813 HAS SOUS 1090423 HAS SOUPS 1090423 WITH SCORE 1094673.813
AT ITER 325 NEW BEST:: SOT 9129264 SOS 4250819 HAS SOPS 4250819 HAS SOUS 1089961 HAS SOUPS 1089961 WITH SCORE 1094211.819
AT ITER 330 NEW BEST:: SOT 9129230 SOS 4250785 HAS SOPS 4250785 HAS SOUS 1089927 HAS SOUPS 1089927 WITH SCORE 1094177.785
AT ITER 333 NEW BEST:: SOT 9129215 SOS 4250770 HAS SOPS 4250770 HAS SOUS 1089912 HAS SOUPS 1089912 WITH SCORE 1094162.77
AT ITER 353 NEW BEST:: SOT 9128920 SOS 4250293 HAS SOPS 4250293 HAS SOUS 1087797 HAS SOUPS 1087797 WITH SCORE 1092047.293
AT ITER 373 NEW BEST:: SOT 8960064 SOS 4146650 HAS SOPS 4146650 HAS SOUS 920139 HAS SOUPS 920139 WITH SCORE 924285.65
AT ITER 374 NEW BEST:: SOT 8960034 SOS 4146620 HAS SOPS 4146620 HAS SOUS 920109 HAS SOUPS 920109 WITH SCORE 924255.62
AT ITER 379 NEW BEST:: SOT 8959858 SOS 4146444 HAS SOPS 4146444 HAS SOUS 919845 HAS SOUPS 919845 WITH SCORE 923991.444
AT ITER 402 NEW BEST:: SOT 8960002 SOS 4146588 HAS SOPS 4146588 HAS SOUS 919809 HAS SOUPS 919809 WITH SCORE 923955.588
AT ITER 405 NEW BEST:: SOT 8959748 SOS 4146135 HAS SOPS 4146135 HAS SOUS 917739 HAS SOUPS 917739 WITH SCORE 921885.135
AT ITER 413 NEW BEST:: SOT 8959423 SOS 4145786 HAS SOPS 4145786 HAS SOUS 917190 HAS SOUPS 917190 WITH SCORE 921335.786
AT ITER 419 NEW BEST:: SOT 8959147 SOS 4145510 HAS SOPS 4145510 HAS SOUS 916914 HAS SOUPS 916914 WITH SCORE 921059.51
AT ITER 428 NEW BEST:: SOT 8959080 SOS 4145562 HAS SOPS 4145562 HAS SOUS 916893 HAS SOUPS 916893 WITH SCORE 921038.562
AT ITER 445 NEW BEST:: SOT 8959532 SOS 4145893 HAS SOPS 4145893 HAS SOUS 915531 HAS SOUPS 915531 WITH SCORE 919676.893
AT ITER 449 NEW BEST:: SOT 8959176 SOS 4145537 HAS SOPS 4145537 HAS SOUS 915175 HAS SOUPS 915175 WITH SCORE 919320.537
AT ITER 474 NEW BEST:: SOT 8959104 SOS 4145465 HAS SOPS 4145465 HAS SOUS 915103 HAS SOUPS 915103 WITH SCORE 919248.465
AT ITER 480 NEW BEST:: SOT 8959026 SOS 4145387 HAS SOPS 4145387 HAS SOUS 914987 HAS SOUPS 914987 WITH SCORE 919132.387
AT ITER 483 NEW BEST:: SOT 8958876 SOS 4145237 HAS SOPS 4145237 HAS SOUS 914837 HAS SOUPS 914837 WITH SCORE 918982.237
AT ITER 488 NEW BEST:: SOT 8958828 SOS 4145189 HAS SOPS 4145189 HAS SOUS 914789 HAS SOUPS 914789 WITH SCORE 918934.189
AT ITER 502 NEW BEST:: SOT 8958768 SOS 4145213 HAS SOPS 4145213 HAS SOUS 914751 HAS SOUPS 914751 WITH SCORE 918896.213
AT ITER 509 NEW BEST:: SOT 8958861 SOS 4145306 HAS SOPS 4145306 HAS SOUS 911767 HAS SOUPS 911767 WITH SCORE 915912.306
AT ITER 511 NEW BEST:: SOT 8958774 SOS 4145496 HAS SOPS 4145496 HAS SOUS 911764 HAS SOUPS 911764 WITH SCORE 915909.496
AT ITER 515 NEW BEST:: SOT 8958438 SOS 4145160 HAS SOPS 4145160 HAS SOUS 911428 HAS SOUPS 911428 WITH SCORE 915573.16
AT ITER 525 NEW BEST:: SOT 8958438 SOS 4145160 HAS SOPS 4145160 HAS SOUS 911356 HAS SOUPS 911356 WITH SCORE 915501.16
AT ITER 533 NEW BEST:: SOT 8958272 SOS 4144994 HAS SOPS 4144994 HAS SOUS 911190 HAS SOUPS 911190 WITH SCORE 915334.994
AT ITER 541 NEW BEST:: SOT 8958158 SOS 4144880 HAS SOPS 4144880 HAS SOUS 911076 HAS SOUPS 911076 WITH SCORE 915220.88
AT ITER 558 NEW BEST:: SOT 8958004 SOS 4144726 HAS SOPS 4144726 HAS SOUS 910922 HAS SOUPS 910922 WITH SCORE 915066.726
AT ITER 559 NEW BEST:: SOT 8957750 SOS 4144472 HAS SOPS 4144472 HAS SOUS 910668 HAS SOUPS 910668 WITH SCORE 914812.472
AT ITER 564 NEW BEST:: SOT 8957464 SOS 4144186 HAS SOPS 4144186 HAS SOUS 910382 HAS SOUPS 910382 WITH SCORE 914526.186
AT ITER 566 NEW BEST:: SOT 8957386 SOS 4144108 HAS SOPS 4144108 HAS SOUS 910304 HAS SOUPS 910304 WITH SCORE 914448.108
AT ITER 569 NEW BEST:: SOT 8957256 SOS 4143978 HAS SOPS 4143978 HAS SOUS 910174 HAS SOUPS 910174 WITH SCORE 914317.978
AT ITER 576 NEW BEST:: SOT 8957506 SOS 4144228 HAS SOPS 4144228 HAS SOUS 909705 HAS SOUPS 909705 WITH SCORE 913849.228
AT ITER 580 NEW BEST:: SOT 8957420 SOS 4144142 HAS SOPS 4144142 HAS SOUS 909619 HAS SOUPS 909619 WITH SCORE 913763.142
AT ITER 595 NEW BEST:: SOT 8957062 SOS 4143784 HAS SOPS 4143784 HAS SOUS 909118 HAS SOUPS 909118 WITH SCORE 913261.784
AT ITER 596 NEW BEST:: SOT 8957062 SOS 4143649 HAS SOPS 4143649 HAS SOUS 908728 HAS SOUPS 908728 WITH SCORE 912871.649
AT ITER 605 NEW BEST:: SOT 8957119 SOS 4143649 HAS SOPS 4143649 HAS SOUS 908215 HAS SOUPS 908215 WITH SCORE 912358.649
AT ITER 611 NEW BEST:: SOT 8957096 SOS 4143626 HAS SOPS 4143626 HAS SOUS 908192 HAS SOUPS 908192 WITH SCORE 912335.626
AT ITER 616 NEW BEST:: SOT 8957096 SOS 4143851 HAS SOPS 4143851 HAS SOUS 908057 HAS SOUPS 908057 WITH SCORE 912200.851
AT ITER 625 NEW BEST:: SOT 8957117 SOS 4143872 HAS SOPS 4143872 HAS SOUS 908048 HAS SOUPS 908048 WITH SCORE 912191.872
AT ITER 631 NEW BEST:: SOT 8957103 SOS 4143737 HAS SOPS 4143737 HAS SOUS 906356 HAS SOUPS 906356 WITH SCORE 910499.737
AT ITER 633 NEW BEST:: SOT 8957797 SOS 4144310 HAS SOPS 4144310 HAS SOUS 905464 HAS SOUPS 905464 WITH SCORE 909608.31
AT ITER 638 NEW BEST:: SOT 8957784 SOS 4144297 HAS SOPS 4144297 HAS SOUS 905438 HAS SOUPS 905438 WITH SCORE 909582.297
AT ITER 641 NEW BEST:: SOT 8957784 SOS 4144282 HAS SOPS 4144282 HAS SOUS 905288 HAS SOUPS 905288 WITH SCORE 909432.282
AT ITER 652 NEW BEST:: SOT 8957290 SOS 4143667 HAS SOPS 4143667 HAS SOUS 902974 HAS SOUPS 902974 WITH SCORE 907117.667
AT ITER 661 NEW BEST:: SOT 8957092 SOS 4143469 HAS SOPS 4143469 HAS SOUS 902776 HAS SOUPS 902776 WITH SCORE 906919.469
AT ITER 665 NEW BEST:: SOT 8957092 SOS 4143428 HAS SOPS 4143428 HAS SOUS 902638 HAS SOUPS 902638 WITH SCORE 906781.428
AT ITER 671 NEW BEST:: SOT 8956712 SOS 4143048 HAS SOPS 4143048 HAS SOUS 902258 HAS SOUPS 902258 WITH SCORE 906401.048
AT ITER 679 NEW BEST:: SOT 8956240 SOS 4142576 HAS SOPS 4142576 HAS SOUS 901654 HAS SOUPS 901654 WITH SCORE 905796.576
AT ITER 686 NEW BEST:: SOT 8956186 SOS 4142522 HAS SOPS 4142522 HAS SOUS 901600 HAS SOUPS 901600 WITH SCORE 905742.522
AT ITER 691 NEW BEST:: SOT 8956151 SOS 4142508 HAS SOPS 4142508 HAS SOUS 901572 HAS SOUPS 901572 WITH SCORE 905714.508
AT ITER 692 NEW BEST:: SOT 8956062 SOS 4142252 HAS SOPS 4142252 HAS SOUS 901316 HAS SOUPS 901316 WITH SCORE 905458.252
AT ITER 695 NEW BEST:: SOT 8955686 SOS 4141876 HAS SOPS 4141876 HAS SOUS 900940 HAS SOUPS 900940 WITH SCORE 905081.876
AT ITER 697 NEW BEST:: SOT 8955507 SOS 4141697 HAS SOPS 4141697 HAS SOUS 900761 HAS SOUPS 900761 WITH SCORE 904902.697
AT ITER 702 NEW BEST:: SOT 8955507 SOS 4141697 HAS SOPS 4141697 HAS SOUS 900713 HAS SOUPS 900713 WITH SCORE 904854.697
AT ITER 738 NEW BEST:: SOT 8955555 SOS 4141501 HAS SOPS 4141501 HAS SOUS 900439 HAS SOUPS 900439 WITH SCORE 904580.501
AT ITER 740 NEW BEST:: SOT 8956053 SOS 4141850 HAS SOPS 4141850 HAS SOUS 899945 HAS SOUPS 899945 WITH SCORE 904086.85
AT ITER 745 NEW BEST:: SOT 8955935 SOS 4141732 HAS SOPS 4141732 HAS SOUS 898582 HAS SOUPS 898582 WITH SCORE 902723.732
AT ITER 749 NEW BEST:: SOT 8955554 SOS 4140874 HAS SOPS 4140874 HAS SOUS 897724 HAS SOUPS 897724 WITH SCORE 901864.874
AT ITER 755 NEW BEST:: SOT 8955421 SOS 4140741 HAS SOPS 4140741 HAS SOUS 897591 HAS SOUPS 897591 WITH SCORE 901731.741
AT ITER 765 NEW BEST:: SOT 8955226 SOS 4140546 HAS SOPS 4140546 HAS SOUS 897396 HAS SOUPS 897396 WITH SCORE 901536.546
AT ITER 776 NEW BEST:: SOT 8954438 SOS 4139758 HAS SOPS 4139758 HAS SOUS 896608 HAS SOUPS 896608 WITH SCORE 900747.758
AT ITER 779 NEW BEST:: SOT 8954423 SOS 4139826 HAS SOPS 4139826 HAS SOUS 896603 HAS SOUPS 896603 WITH SCORE 900742.826
AT ITER 793 NEW BEST:: SOT 8954361 SOS 4139764 HAS SOPS 4139764 HAS SOUS 896541 HAS SOUPS 896541 WITH SCORE 900680.764
AT ITER 795 NEW BEST:: SOT 8954361 SOS 4139705 HAS SOPS 4139705 HAS SOUS 896364 HAS SOUPS 896364 WITH SCORE 900503.705
AT ITER 804 NEW BEST:: SOT 8954173 SOS 4139517 HAS SOPS 4139517 HAS SOUS 896110 HAS SOUPS 896110 WITH SCORE 900249.517
AT ITER 809 NEW BEST:: SOT 8954293 SOS 4139516 HAS SOPS 4139516 HAS SOUS 894524 HAS SOUPS 894524 WITH SCORE 898663.516
AT ITER 816 NEW BEST:: SOT 8954293 SOS 4139516 HAS SOPS 4139516 HAS SOUS 894515 HAS SOUPS 894515 WITH SCORE 898654.516
AT ITER 824 NEW BEST:: SOT 8954167 SOS 4139390 HAS SOPS 4139390 HAS SOUS 894347 HAS SOUPS 894347 WITH SCORE 898486.39
AT ITER 826 NEW BEST:: SOT 8954079 SOS 4139302 HAS SOPS 4139302 HAS SOUS 893169 HAS SOUPS 893169 WITH SCORE 897308.302
AT ITER 829 NEW BEST:: SOT 8953979 SOS 4139202 HAS SOPS 4139202 HAS SOUS 892459 HAS SOUPS 892459 WITH SCORE 896598.202
AT ITER 839 NEW BEST:: SOT 8953905 SOS 4139128 HAS SOPS 4139128 HAS SOUS 892385 HAS SOUPS 892385 WITH SCORE 896524.128
AT ITER 841 NEW BEST:: SOT 8953888 SOS 4140438 HAS SOPS 4140438 HAS SOUS 891852 HAS SOUPS 891852 WITH SCORE 895992.438
AT ITER 848 NEW BEST:: SOT 8953403 SOS 4139832 HAS SOPS 4139832 HAS SOUS 889677 HAS SOUPS 889677 WITH SCORE 893816.832
AT ITER 854 NEW BEST:: SOT 8953183 SOS 4139612 HAS SOPS 4139612 HAS SOUS 889457 HAS SOUPS 889457 WITH SCORE 893596.612
AT ITER 858 NEW BEST:: SOT 8953124 SOS 4139553 HAS SOPS 4139553 HAS SOUS 889398 HAS SOUPS 889398 WITH SCORE 893537.553
AT ITER 864 NEW BEST:: SOT 8953117 SOS 4139546 HAS SOPS 4139546 HAS SOUS 889391 HAS SOUPS 889391 WITH SCORE 893530.546
AT ITER 866 NEW BEST:: SOT 8953113 SOS 4139542 HAS SOPS 4139542 HAS SOUS 889387 HAS SOUPS 889387 WITH SCORE 893526.542
AT ITER 884 NEW BEST:: SOT 8953014 SOS 4139433 HAS SOPS 4139433 HAS SOUS 889287 HAS SOUPS 889287 WITH SCORE 893426.433
AT ITER 901 NEW BEST:: SOT 8952899 SOS 4139245 HAS SOPS 4139245 HAS SOUS 887952 HAS SOUPS 887952 WITH SCORE 892091.245
AT ITER 911 NEW BEST:: SOT 8953803 SOS 4139881 HAS SOPS 4139881 HAS SOUS 886478 HAS SOUPS 886478 WITH SCORE 890617.881
AT ITER 915 NEW BEST:: SOT 8953793 SOS 4139871 HAS SOPS 4139871 HAS SOUS 886414 HAS SOUPS 886414 WITH SCORE 890553.871
AT ITER 923 NEW BEST:: SOT 8953788 SOS 4139842 HAS SOPS 4139842 HAS SOUS 886193 HAS SOUPS 886193 WITH SCORE 890332.842
AT ITER 935 NEW BEST:: SOT 8953516 SOS 4139570 HAS SOPS 4139570 HAS SOUS 885921 HAS SOUPS 885921 WITH SCORE 890060.57
AT ITER 939 NEW BEST:: SOT 8953493 SOS 4139547 HAS SOPS 4139547 HAS SOUS 885898 HAS SOUPS 885898 WITH SCORE 890037.547
AT ITER 945 NEW BEST:: SOT 8953367 SOS 4139124 HAS SOPS 4139124 HAS SOUS 885676 HAS SOUPS 885676 WITH SCORE 889815.124
AT ITER 946 NEW BEST:: SOT 8953367 SOS 4139037 HAS SOPS 4139037 HAS SOUS 885455 HAS SOUPS 885455 WITH SCORE 889594.037
AT ITER 949 NEW BEST:: SOT 8953213 SOS 4138883 HAS SOPS 4138883 HAS SOUS 885231 HAS SOUPS 885231 WITH SCORE 889369.883
AT ITER 963 NEW BEST:: SOT 7594300 SOS 2780576 HAS SOPS 2780576 HAS SOUS 769963 HAS SOUPS 769963 WITH SCORE 772743.576
AT ITER 973 NEW BEST:: SOT 7594300 SOS 2780501 HAS SOPS 2780501 HAS SOUS 769807 HAS SOUPS 769807 WITH SCORE 772587.501
AT ITER 974 NEW BEST:: SOT 7594300 SOS 2780418 HAS SOPS 2780418 HAS SOUS 769604 HAS SOUPS 769604 WITH SCORE 772384.418
AT ITER 980 NEW BEST:: SOT 7594252 SOS 2780436 HAS SOPS 2780436 HAS SOUS 769556 HAS SOUPS 769556 WITH SCORE 772336.436
AT ITER 983 NEW BEST:: SOT 7593794 SOS 2779857 HAS SOPS 2779857 HAS SOUS 767278 HAS SOUPS 767278 WITH SCORE 770057.857
AT ITER 984 NEW BEST:: SOT 7593622 SOS 2779513 HAS SOPS 2779513 HAS SOUS 767033 HAS SOUPS 767033 WITH SCORE 769812.513
AT ITER 987 NEW BEST:: SOT 7593570 SOS 2779321 HAS SOPS 2779321 HAS SOUS 765581 HAS SOUPS 765581 WITH SCORE 768360.321
AT ITER 991 NEW BEST:: SOT 7593559 SOS 2779310 HAS SOPS 2779310 HAS SOUS 765559 HAS SOUPS 765559 WITH SCORE 768338.31
AT ITER 992 NEW BEST:: SOT 7592891 SOS 2778521 HAS SOPS 2778521 HAS SOUS 763071 HAS SOUPS 763071 WITH SCORE 765849.521
AT ITER 997 NEW BEST:: SOT 7592815 SOS 2778445 HAS SOPS 2778445 HAS SOUS 762995 HAS SOUPS 762995 WITH SCORE 765773.445
AT ITER 999 NEW BEST:: SOT 7592756 SOS 2778386 HAS SOPS 2778386 HAS SOUS 762936 HAS SOUPS 762936 WITH SCORE 765714.386
AT ITER 1004 NEW BEST:: SOT 7592548 SOS 2778178 HAS SOPS 2778178 HAS SOUS 762666 HAS SOUPS 762666 WITH SCORE 765444.178
AT ITER 1005 NEW BEST:: SOT 7592517 SOS 2778147 HAS SOPS 2778147 HAS SOUS 762635 HAS SOUPS 762635 WITH SCORE 765413.147
AT ITER 1013 NEW BEST:: SOT 7592367 SOS 2777997 HAS SOPS 2777997 HAS SOUS 762417 HAS SOUPS 762417 WITH SCORE 765194.997
AT ITER 1014 NEW BEST:: SOT 7591933 SOS 2777563 HAS SOPS 2777563 HAS SOUS 761946 HAS SOUPS 761946 WITH SCORE 764723.563
AT ITER 1015 NEW BEST:: SOT 7591861 SOS 2777491 HAS SOPS 2777491 HAS SOUS 761874 HAS SOUPS 761874 WITH SCORE 764651.491
AT ITER 1017 NEW BEST:: SOT 7592489 SOS 2777998 HAS SOPS 2777998 HAS SOUS 760870 HAS SOUPS 760870 WITH SCORE 763647.998
AT ITER 1018 NEW BEST:: SOT 7592393 SOS 2778124 HAS SOPS 2778124 HAS SOUS 760782 HAS SOUPS 760782 WITH SCORE 763560.124
AT ITER 1019 NEW BEST:: SOT 7592390 SOS 2778179 HAS SOPS 2778179 HAS SOUS 760772 HAS SOUPS 760772 WITH SCORE 763550.179
AT ITER 1028 NEW BEST:: SOT 7592375 SOS 2778164 HAS SOPS 2778164 HAS SOUS 760757 HAS SOUPS 760757 WITH SCORE 763535.164
AT ITER 1029 NEW BEST:: SOT 7593539 SOS 2778720 HAS SOPS 2778720 HAS SOUS 758853 HAS SOUPS 758853 WITH SCORE 761631.72
AT ITER 1033 NEW BEST:: SOT 7593438 SOS 2778619 HAS SOPS 2778619 HAS SOUS 758752 HAS SOUPS 758752 WITH SCORE 761530.619
AT ITER 1047 NEW BEST:: SOT 7593308 SOS 2778277 HAS SOPS 2778277 HAS SOUS 756502 HAS SOUPS 756502 WITH SCORE 759280.277
AT ITER 1049 NEW BEST:: SOT 7593107 SOS 2779975 HAS SOPS 2779975 HAS SOUS 755790 HAS SOUPS 755790 WITH SCORE 758569.975
AT ITER 1059 NEW BEST:: SOT 7593071 SOS 2779939 HAS SOPS 2779939 HAS SOUS 755754 HAS SOUPS 755754 WITH SCORE 758533.939
AT ITER 1074 NEW BEST:: SOT 7592495 SOS 2779091 HAS SOPS 2779091 HAS SOUS 749418 HAS SOUPS 749418 WITH SCORE 752197.091
AT ITER 1096 NEW BEST:: SOT 7592384 SOS 2778980 HAS SOPS 2778980 HAS SOUS 749307 HAS SOUPS 749307 WITH SCORE 752085.98
AT ITER 1116 NEW BEST:: SOT 7592246 SOS 2778842 HAS SOPS 2778842 HAS SOUS 747139 HAS SOUPS 747139 WITH SCORE 749917.842
AT ITER 1121 NEW BEST:: SOT 7592181 SOS 2779033 HAS SOPS 2779033 HAS SOUS 747137 HAS SOUPS 747137 WITH SCORE 749916.033
AT ITER 1123 NEW BEST:: SOT 7592278 SOS 2779083 HAS SOPS 2779083 HAS SOUS 747031 HAS SOUPS 747031 WITH SCORE 749810.083
AT ITER 1137 NEW BEST:: SOT 7592198 SOS 2779003 HAS SOPS 2779003 HAS SOUS 746951 HAS SOUPS 746951 WITH SCORE 749730.003
AT ITER 1142 NEW BEST:: SOT 7592104 SOS 2778909 HAS SOPS 2778909 HAS SOUS 746857 HAS SOUPS 746857 WITH SCORE 749635.909
AT ITER 1145 NEW BEST:: SOT 7592078 SOS 2778883 HAS SOPS 2778883 HAS SOUS 746831 HAS SOUPS 746831 WITH SCORE 749609.883
AT ITER 1148 NEW BEST:: SOT 7592078 SOS 2778862 HAS SOPS 2778862 HAS SOUS 746831 HAS SOUPS 746831 WITH SCORE 749609.862
AT ITER 1152 NEW BEST:: SOT 7592042 SOS 2778826 HAS SOPS 2778826 HAS SOUS 746795 HAS SOUPS 746795 WITH SCORE 749573.826
AT ITER 1154 NEW BEST:: SOT 7591781 SOS 2778286 HAS SOPS 2778286 HAS SOUS 742744 HAS SOUPS 742744 WITH SCORE 745522.286
AT ITER 1165 NEW BEST:: SOT 7591625 SOS 2778130 HAS SOPS 2778130 HAS SOUS 742624 HAS SOUPS 742624 WITH SCORE 745402.13
AT ITER 1169 NEW BEST:: SOT 7591529 SOS 2778034 HAS SOPS 2778034 HAS SOUS 741972 HAS SOUPS 741972 WITH SCORE 744750.034
AT ITER 1170 NEW BEST:: SOT 7591450 SOS 2777897 HAS SOPS 2777897 HAS SOUS 740733 HAS SOUPS 740733 WITH SCORE 743510.897
AT ITER 1171 NEW BEST:: SOT 7591450 SOS 2777892 HAS SOPS 2777892 HAS SOUS 740653 HAS SOUPS 740653 WITH SCORE 743430.892
AT ITER 1179 NEW BEST:: SOT 7591428 SOS 2777870 HAS SOPS 2777870 HAS SOUS 740631 HAS SOUPS 740631 WITH SCORE 743408.87
AT ITER 1182 NEW BEST:: SOT 7591391 SOS 2777870 HAS SOPS 2777870 HAS SOUS 740594 HAS SOUPS 740594 WITH SCORE 743371.87
AT ITER 1183 NEW BEST:: SOT 7591391 SOS 2777813 HAS SOPS 2777813 HAS SOUS 739568 HAS SOUPS 739568 WITH SCORE 742345.813
AT ITER 1192 NEW BEST:: SOT 7591378 SOS 2777872 HAS SOPS 2777872 HAS SOUS 739397 HAS SOUPS 739397 WITH SCORE 742174.872
AT ITER 1204 NEW BEST:: SOT 7591229 SOS 2777519 HAS SOPS 2777519 HAS SOUS 737833 HAS SOUPS 737833 WITH SCORE 740610.519
AT ITER 1208 NEW BEST:: SOT 7591197 SOS 2777503 HAS SOPS 2777503 HAS SOUS 737801 HAS SOUPS 737801 WITH SCORE 740578.503
AT ITER 1214 NEW BEST:: SOT 7590944 SOS 2777119 HAS SOPS 2777119 HAS SOUS 735068 HAS SOUPS 735068 WITH SCORE 737845.119
AT ITER 1217 NEW BEST:: SOT 7590944 SOS 2777119 HAS SOPS 2777119 HAS SOUS 735043 HAS SOUPS 735043 WITH SCORE 737820.119
AT ITER 1236 NEW BEST:: SOT 7590908 SOS 2777083 HAS SOPS 2777083 HAS SOUS 735007 HAS SOUPS 735007 WITH SCORE 737784.083
AT ITER 1247 NEW BEST:: SOT 7590584 SOS 2776800 HAS SOPS 2776800 HAS SOUS 734847 HAS SOUPS 734847 WITH SCORE 737623.8
AT ITER 1248 NEW BEST:: SOT 7590112 SOS 2776328 HAS SOPS 2776328 HAS SOUS 734295 HAS SOUPS 734295 WITH SCORE 737071.328
AT ITER 1258 NEW BEST:: SOT 7590112 SOS 2776319 HAS SOPS 2776319 HAS SOUS 734295 HAS SOUPS 734295 WITH SCORE 737071.319
AT ITER 1264 NEW BEST:: SOT 7590413 SOS 2776563 HAS SOPS 2776563 HAS SOUS 733441 HAS SOUPS 733441 WITH SCORE 736217.563
AT ITER 1271 NEW BEST:: SOT 7590333 SOS 2776483 HAS SOPS 2776483 HAS SOUS 733345 HAS SOUPS 733345 WITH SCORE 736121.483
AT ITER 1278 NEW BEST:: SOT 7590245 SOS 2776395 HAS SOPS 2776395 HAS SOUS 733257 HAS SOUPS 733257 WITH SCORE 736033.395
AT ITER 1280 NEW BEST:: SOT 7590184 SOS 2776446 HAS SOPS 2776446 HAS SOUS 733235 HAS SOUPS 733235 WITH SCORE 736011.446
AT ITER 1286 NEW BEST:: SOT 7590213 SOS 2776475 HAS SOPS 2776475 HAS SOUS 733193 HAS SOUPS 733193 WITH SCORE 735969.475
AT ITER 1307 NEW BEST:: SOT 7589592 SOS 2775854 HAS SOPS 2775854 HAS SOUS 732758 HAS SOUPS 732758 WITH SCORE 735533.854
AT ITER 1308 NEW BEST:: SOT 7589567 SOS 2775829 HAS SOPS 2775829 HAS SOUS 732733 HAS SOUPS 732733 WITH SCORE 735508.829
AT ITER 1315 NEW BEST:: SOT 7589567 SOS 2775829 HAS SOPS 2775829 HAS SOUS 732691 HAS SOUPS 732691 WITH SCORE 735466.829
AT ITER 1322 NEW BEST:: SOT 7589223 SOS 2775485 HAS SOPS 2775485 HAS SOUS 732347 HAS SOUPS 732347 WITH SCORE 735122.485
AT ITER 1328 NEW BEST:: SOT 7589172 SOS 2775434 HAS SOPS 2775434 HAS SOUS 732291 HAS SOUPS 732291 WITH SCORE 735066.434
AT ITER 1335 NEW BEST:: SOT 7588952 SOS 2775214 HAS SOPS 2775214 HAS SOUS 732071 HAS SOUPS 732071 WITH SCORE 734846.214
AT ITER 1339 NEW BEST:: SOT 7588889 SOS 2775151 HAS SOPS 2775151 HAS SOUS 732008 HAS SOUPS 732008 WITH SCORE 734783.151
AT ITER 1345 NEW BEST:: SOT 7592627 SOS 2778588 HAS SOPS 2778588 HAS SOUS 731090 HAS SOUPS 731090 WITH SCORE 733868.588
AT ITER 1351 NEW BEST:: SOT 7592595 SOS 2778540 HAS SOPS 2778540 HAS SOUS 730898 HAS SOUPS 730898 WITH SCORE 733676.54
AT ITER 1352 NEW BEST:: SOT 7592512 SOS 2778457 HAS SOPS 2778457 HAS SOUS 730815 HAS SOUPS 730815 WITH SCORE 733593.457
AT ITER 1382 NEW BEST:: SOT 7592182 SOS 2778127 HAS SOPS 2778127 HAS SOUS 726605 HAS SOUPS 726605 WITH SCORE 729383.127
AT ITER 1383 NEW BEST:: SOT 7592098 SOS 2778043 HAS SOPS 2778043 HAS SOUS 726521 HAS SOUPS 726521 WITH SCORE 729299.043
AT ITER 1389 NEW BEST:: SOT 7592021 SOS 2778106 HAS SOPS 2778106 HAS SOUS 726518 HAS SOUPS 726518 WITH SCORE 729296.106
AT ITER 1390 NEW BEST:: SOT 7592021 SOS 2778106 HAS SOPS 2778106 HAS SOUS 726400 HAS SOUPS 726400 WITH SCORE 729178.106
AT ITER 1395 NEW BEST:: SOT 7591963 SOS 2778048 HAS SOPS 2778048 HAS SOUS 725762 HAS SOUPS 725762 WITH SCORE 728540.048
AT ITER 1398 NEW BEST:: SOT 7591813 SOS 2777898 HAS SOPS 2777898 HAS SOUS 725612 HAS SOUPS 725612 WITH SCORE 728389.898
AT ITER 1405 NEW BEST:: SOT 7591644 SOS 2777729 HAS SOPS 2777729 HAS SOUS 725401 HAS SOUPS 725401 WITH SCORE 728178.729
AT ITER 1411 NEW BEST:: SOT 7591566 SOS 2777651 HAS SOPS 2777651 HAS SOUS 725323 HAS SOUPS 725323 WITH SCORE 728100.651
AT ITER 1415 NEW BEST:: SOT 7591464 SOS 2777590 HAS SOPS 2777590 HAS SOUS 725180 HAS SOUPS 725180 WITH SCORE 727957.59
AT ITER 1416 NEW BEST:: SOT 7591826 SOS 2777894 HAS SOPS 2777894 HAS SOUS 724967 HAS SOUPS 724967 WITH SCORE 727744.894
AT ITER 1426 NEW BEST:: SOT 7591980 SOS 2778048 HAS SOPS 2778048 HAS SOUS 723581 HAS SOUPS 723581 WITH SCORE 726359.048
AT ITER 1430 NEW BEST:: SOT 7591980 SOS 2778002 HAS SOPS 2778002 HAS SOUS 723489 HAS SOUPS 723489 WITH SCORE 726267.002
AT ITER 1438 NEW BEST:: SOT 7591855 SOS 2777789 HAS SOPS 2777789 HAS SOUS 720127 HAS SOUPS 720127 WITH SCORE 722904.789
AT ITER 1439 NEW BEST:: SOT 7591671 SOS 2777605 HAS SOPS 2777605 HAS SOUS 719943 HAS SOUPS 719943 WITH SCORE 722720.605
AT ITER 1443 NEW BEST:: SOT 7591691 SOS 2777493 HAS SOPS 2777493 HAS SOUS 718643 HAS SOUPS 718643 WITH SCORE 721420.493
AT ITER 1461 NEW BEST:: SOT 7591570 SOS 2777372 HAS SOPS 2777372 HAS SOUS 717433 HAS SOUPS 717433 WITH SCORE 720210.372
AT ITER 1462 NEW BEST:: SOT 7591328 SOS 2777130 HAS SOPS 2777130 HAS SOUS 717117 HAS SOUPS 717117 WITH SCORE 719894.13
AT ITER 1463 NEW BEST:: SOT 7591102 SOS 2776904 HAS SOPS 2776904 HAS SOUS 716891 HAS SOUPS 716891 WITH SCORE 719667.904
AT ITER 1476 NEW BEST:: SOT 7590947 SOS 2776749 HAS SOPS 2776749 HAS SOUS 716736 HAS SOUPS 716736 WITH SCORE 719512.749
AT ITER 1485 NEW BEST:: SOT 7590947 SOS 2776728 HAS SOPS 2776728 HAS SOUS 716694 HAS SOUPS 716694 WITH SCORE 719470.728
AT ITER 1494 NEW BEST:: SOT 7590947 SOS 2776515 HAS SOPS 2776515 HAS SOUS 716301 HAS SOUPS 716301 WITH SCORE 719077.515
AT ITER 1498 NEW BEST:: SOT 7590920 SOS 2776488 HAS SOPS 2776488 HAS SOUS 716274 HAS SOUPS 716274 WITH SCORE 719050.488
AT ITER 1504 NEW BEST:: SOT 7590738 SOS 2776209 HAS SOPS 2776209 HAS SOUS 715231 HAS SOUPS 715231 WITH SCORE 718007.209
AT ITER 1520 NEW BEST:: SOT 7590738 SOS 2775963 HAS SOPS 2775963 HAS SOUS 714882 HAS SOUPS 714882 WITH SCORE 717657.963
AT ITER 1529 NEW BEST:: SOT 7590731 SOS 2775956 HAS SOPS 2775956 HAS SOUS 714875 HAS SOUPS 714875 WITH SCORE 717650.956
AT ITER 1543 NEW BEST:: SOT 7590193 SOS 2775418 HAS SOPS 2775418 HAS SOUS 714125 HAS SOUPS 714125 WITH SCORE 716900.418
AT ITER 1547 NEW BEST:: SOT 7590193 SOS 2775418 HAS SOPS 2775418 HAS SOUS 714106 HAS SOUPS 714106 WITH SCORE 716881.418
AT ITER 1552 NEW BEST:: SOT 7590018 SOS 2775243 HAS SOPS 2775243 HAS SOUS 713895 HAS SOUPS 713895 WITH SCORE 716670.243
AT ITER 1555 NEW BEST:: SOT 7589757 SOS 2774982 HAS SOPS 2774982 HAS SOUS 713634 HAS SOUPS 713634 WITH SCORE 716408.982
AT ITER 1568 NEW BEST:: SOT 7589757 SOS 2774982 HAS SOPS 2774982 HAS SOUS 713550 HAS SOUPS 713550 WITH SCORE 716324.982
AT ITER 1574 NEW BEST:: SOT 7589527 SOS 2774777 HAS SOPS 2774777 HAS SOUS 713470 HAS SOUPS 713470 WITH SCORE 716244.777
AT ITER 1580 NEW BEST:: SOT 7589495 SOS 2774794 HAS SOPS 2774794 HAS SOUS 713420 HAS SOUPS 713420 WITH SCORE 716194.794
AT ITER 1584 NEW BEST:: SOT 7589383 SOS 2774682 HAS SOPS 2774682 HAS SOUS 713308 HAS SOUPS 713308 WITH SCORE 716082.682
AT ITER 1589 NEW BEST:: SOT 7589389 SOS 2774631 HAS SOPS 2774631 HAS SOUS 713294 HAS SOUPS 713294 WITH SCORE 716068.631
AT ITER 1591 NEW BEST:: SOT 7589219 SOS 2774461 HAS SOPS 2774461 HAS SOUS 713124 HAS SOUPS 713124 WITH SCORE 715898.461
AT ITER 1601 NEW BEST:: SOT 7589202 SOS 2774128 HAS SOPS 2774128 HAS SOUS 712908 HAS SOUPS 712908 WITH SCORE 715682.128
AT ITER 1612 NEW BEST:: SOT 7589127 SOS 2774080 HAS SOPS 2774080 HAS SOUS 712056 HAS SOUPS 712056 WITH SCORE 714830.08
AT ITER 1622 NEW BEST:: SOT 7589092 SOS 2773699 HAS SOPS 2773699 HAS SOUS 711804 HAS SOUPS 711804 WITH SCORE 714577.699
AT ITER 1625 NEW BEST:: SOT 7589032 SOS 2773639 HAS SOPS 2773639 HAS SOUS 711744 HAS SOUPS 711744 WITH SCORE 714517.639
AT ITER 1627 NEW BEST:: SOT 7589095 SOS 2773705 HAS SOPS 2773705 HAS SOUS 711270 HAS SOUPS 711270 WITH SCORE 714043.705
AT ITER 1631 NEW BEST:: SOT 7588897 SOS 2773308 HAS SOPS 2773308 HAS SOUS 708472 HAS SOUPS 708472 WITH SCORE 711245.308
AT ITER 1633 NEW BEST:: SOT 7590988 SOS 2775160 HAS SOPS 2775160 HAS SOUS 706937 HAS SOUPS 706937 WITH SCORE 709712.16
AT ITER 1642 NEW BEST:: SOT 7590710 SOS 2774882 HAS SOPS 2774882 HAS SOUS 706659 HAS SOUPS 706659 WITH SCORE 709433.882
AT ITER 1649 NEW BEST:: SOT 7590571 SOS 2774743 HAS SOPS 2774743 HAS SOUS 706531 HAS SOUPS 706531 WITH SCORE 709305.743
AT ITER 1659 NEW BEST:: SOT 7590435 SOS 2774607 HAS SOPS 2774607 HAS SOUS 706352 HAS SOUPS 706352 WITH SCORE 709126.607
AT ITER 1666 NEW BEST:: SOT 7590435 SOS 2774503 HAS SOPS 2774503 HAS SOUS 706052 HAS SOUPS 706052 WITH SCORE 708826.503
AT ITER 1683 NEW BEST:: SOT 7590405 SOS 2774473 HAS SOPS 2774473 HAS SOUS 706007 HAS SOUPS 706007 WITH SCORE 708781.473
AT ITER 1685 NEW BEST:: SOT 7590335 SOS 2774538 HAS SOPS 2774538 HAS SOUS 704373 HAS SOUPS 704373 WITH SCORE 707147.538
AT ITER 1690 NEW BEST:: SOT 7590268 SOS 2774572 HAS SOPS 2774572 HAS SOUS 704334 HAS SOUPS 704334 WITH SCORE 707108.572
AT ITER 1693 NEW BEST:: SOT 7590173 SOS 2774477 HAS SOPS 2774477 HAS SOUS 704239 HAS SOUPS 704239 WITH SCORE 707013.477
AT ITER 1697 NEW BEST:: SOT 7590173 SOS 2774373 HAS SOPS 2774373 HAS SOUS 704239 HAS SOUPS 704239 WITH SCORE 707013.373
AT ITER 1699 NEW BEST:: SOT 7590117 SOS 2774317 HAS SOPS 2774317 HAS SOUS 704129 HAS SOUPS 704129 WITH SCORE 706903.317
AT ITER 1703 NEW BEST:: SOT 7590083 SOS 2774283 HAS SOPS 2774283 HAS SOUS 704095 HAS SOUPS 704095 WITH SCORE 706869.283
AT ITER 1710 NEW BEST:: SOT 7590398 SOS 2774598 HAS SOPS 2774598 HAS SOUS 700600 HAS SOUPS 700600 WITH SCORE 703374.598
AT ITER 1712 NEW BEST:: SOT 7590318 SOS 2774518 HAS SOPS 2774518 HAS SOUS 700520 HAS SOUPS 700520 WITH SCORE 703294.518
AT ITER 1726 NEW BEST:: SOT 7590368 SOS 2774487 HAS SOPS 2774487 HAS SOUS 700502 HAS SOUPS 700502 WITH SCORE 703276.487
AT ITER 1733 NEW BEST:: SOT 7590275 SOS 2774681 HAS SOPS 2774681 HAS SOUS 700482 HAS SOUPS 700482 WITH SCORE 703256.681
AT ITER 1742 NEW BEST:: SOT 7590179 SOS 2774585 HAS SOPS 2774585 HAS SOUS 699704 HAS SOUPS 699704 WITH SCORE 702478.585
AT ITER 1745 NEW BEST:: SOT 7590179 SOS 2774585 HAS SOPS 2774585 HAS SOUS 699653 HAS SOUPS 699653 WITH SCORE 702427.585
AT ITER 1746 NEW BEST:: SOT 7590153 SOS 2774559 HAS SOPS 2774559 HAS SOUS 699627 HAS SOUPS 699627 WITH SCORE 702401.559
AT ITER 1771 NEW BEST:: SOT 7590102 SOS 2774284 HAS SOPS 2774284 HAS SOUS 697550 HAS SOUPS 697550 WITH SCORE 700324.284
AT ITER 1778 NEW BEST:: SOT 7590068 SOS 2774446 HAS SOPS 2774446 HAS SOUS 697497 HAS SOUPS 697497 WITH SCORE 700271.446
AT ITER 1784 NEW BEST:: SOT 7590010 SOS 2774388 HAS SOPS 2774388 HAS SOUS 697439 HAS SOUPS 697439 WITH SCORE 700213.388
AT ITER 1785 NEW BEST:: SOT 7589902 SOS 2774166 HAS SOPS 2774166 HAS SOUS 695632 HAS SOUPS 695632 WITH SCORE 698406.166
AT ITER 1807 NEW BEST:: SOT 7589902 SOS 2774148 HAS SOPS 2774148 HAS SOUS 695604 HAS SOUPS 695604 WITH SCORE 698378.148
AT ITER 1837 NEW BEST:: SOT 7589847 SOS 2774191 HAS SOPS 2774191 HAS SOUS 695574 HAS SOUPS 695574 WITH SCORE 698348.191
AT ITER 1871 NEW BEST:: SOT 7589847 SOS 2774191 HAS SOPS 2774191 HAS SOUS 695516 HAS SOUPS 695516 WITH SCORE 698290.191
AT ITER 1880 NEW BEST:: SOT 7589847 SOS 2774170 HAS SOPS 2774170 HAS SOUS 695138 HAS SOUPS 695138 WITH SCORE 697912.17
AT ITER 1889 NEW BEST:: SOT 7589702 SOS 2774025 HAS SOPS 2774025 HAS SOUS 694914 HAS SOUPS 694914 WITH SCORE 697688.025
AT ITER 1891 NEW BEST:: SOT 7589668 SOS 2773991 HAS SOPS 2773991 HAS SOUS 694200 HAS SOUPS 694200 WITH SCORE 696973.991
AT ITER 1894 NEW BEST:: SOT 7589350 SOS 2773673 HAS SOPS 2773673 HAS SOUS 693882 HAS SOUPS 693882 WITH SCORE 696655.673
AT ITER 1895 NEW BEST:: SOT 7588502 SOS 2772825 HAS SOPS 2772825 HAS SOUS 692493 HAS SOUPS 692493 WITH SCORE 695265.825
AT ITER 1909 NEW BEST:: SOT 7588452 SOS 2772775 HAS SOPS 2772775 HAS SOUS 692443 HAS SOUPS 692443 WITH SCORE 695215.775
AT ITER 1914 NEW BEST:: SOT 7588452 SOS 2772735 HAS SOPS 2772735 HAS SOUS 692403 HAS SOUPS 692403 WITH SCORE 695175.735
AT ITER 1921 NEW BEST:: SOT 7588431 SOS 2772714 HAS SOPS 2772714 HAS SOUS 692382 HAS SOUPS 692382 WITH SCORE 695154.714
AT ITER 1940 NEW BEST:: SOT 7588205 SOS 2772488 HAS SOPS 2772488 HAS SOUS 692074 HAS SOUPS 692074 WITH SCORE 694846.488
AT ITER 1948 NEW BEST:: SOT 7588053 SOS 2772260 HAS SOPS 2772260 HAS SOUS 691846 HAS SOUPS 691846 WITH SCORE 694618.26
AT ITER 1959 NEW BEST:: SOT 7588651 SOS 2772858 HAS SOPS 2772858 HAS SOUS 691683 HAS SOUPS 691683 WITH SCORE 694455.858
AT ITER 1970 NEW BEST:: SOT 7588480 SOS 2772687 HAS SOPS 2772687 HAS SOUS 691512 HAS SOUPS 691512 WITH SCORE 694284.687
AT ITER 1971 NEW BEST:: SOT 7588474 SOS 2772693 HAS SOPS 2772693 HAS SOUS 691506 HAS SOUPS 691506 WITH SCORE 694278.693
AT ITER 1972 NEW BEST:: SOT 7588433 SOS 2772652 HAS SOPS 2772652 HAS SOUS 691465 HAS SOUPS 691465 WITH SCORE 694237.652
AT ITER 1984 NEW BEST:: SOT 7588013 SOS 2772232 HAS SOPS 2772232 HAS SOUS 691215 HAS SOUPS 691215 WITH SCORE 693987.232
AT ITER 2000 NEW BEST:: SOT 7587345 SOS 2771564 HAS SOPS 2771564 HAS SOUS 690959 HAS SOUPS 690959 WITH SCORE 693730.564
AT ITER 2001 NEW BEST:: SOT 7586832 SOS 2771051 HAS SOPS 2771051 HAS SOUS 689929 HAS SOUPS 689929 WITH SCORE 692700.051
AT ITER 2003 NEW BEST:: SOT 7586732 SOS 2770951 HAS SOPS 2770951 HAS SOUS 689801 HAS SOUPS 689801 WITH SCORE 692571.951
AT ITER 2005 NEW BEST:: SOT 7586711 SOS 2770930 HAS SOPS 2770930 HAS SOUS 689780 HAS SOUPS 689780 WITH SCORE 692550.93
AT ITER 2006 NEW BEST:: SOT 7586786 SOS 2770995 HAS SOPS 2770995 HAS SOUS 689766 HAS SOUPS 689766 WITH SCORE 692536.995
AT ITER 2030 NEW BEST:: SOT 7587741 SOS 2771829 HAS SOPS 2771829 HAS SOUS 689272 HAS SOUPS 689272 WITH SCORE 692043.829
AT ITER 2034 NEW BEST:: SOT 7587581 SOS 2771589 HAS SOPS 2771589 HAS SOUS 688952 HAS SOUPS 688952 WITH SCORE 691723.589
AT ITER 2039 NEW BEST:: SOT 7587217 SOS 2771225 HAS SOPS 2771225 HAS SOUS 688588 HAS SOUPS 688588 WITH SCORE 691359.225
AT ITER 2046 NEW BEST:: SOT 7587045 SOS 2771053 HAS SOPS 2771053 HAS SOUS 688416 HAS SOUPS 688416 WITH SCORE 691187.053
AT ITER 2051 NEW BEST:: SOT 7586897 SOS 2770905 HAS SOPS 2770905 HAS SOUS 686983 HAS SOUPS 686983 WITH SCORE 689753.905
AT ITER 2056 NEW BEST:: SOT 7587651 SOS 2771523 HAS SOPS 2771523 HAS SOUS 685964 HAS SOUPS 685964 WITH SCORE 688735.523
AT ITER 2058 NEW BEST:: SOT 7587631 SOS 2771389 HAS SOPS 2771389 HAS SOUS 685044 HAS SOUPS 685044 WITH SCORE 687815.389
AT ITER 2059 NEW BEST:: SOT 7587593 SOS 2771455 HAS SOPS 2771455 HAS SOUS 685006 HAS SOUPS 685006 WITH SCORE 687777.455
AT ITER 2062 NEW BEST:: SOT 7587348 SOS 2771210 HAS SOPS 2771210 HAS SOUS 682556 HAS SOUPS 682556 WITH SCORE 685327.21
AT ITER 2070 NEW BEST:: SOT 7587306 SOS 2771168 HAS SOPS 2771168 HAS SOUS 682493 HAS SOUPS 682493 WITH SCORE 685264.168
AT ITER 2095 NEW BEST:: SOT 7587306 SOS 2771047 HAS SOPS 2771047 HAS SOUS 680989 HAS SOUPS 680989 WITH SCORE 683760.047
AT ITER 2100 NEW BEST:: SOT 7587303 SOS 2771044 HAS SOPS 2771044 HAS SOUS 680983 HAS SOUPS 680983 WITH SCORE 683754.044
AT ITER 2102 NEW BEST:: SOT 7587188 SOS 2770929 HAS SOPS 2770929 HAS SOUS 680868 HAS SOUPS 680868 WITH SCORE 683638.929
AT ITER 2116 NEW BEST:: SOT 7587982 SOS 2771536 HAS SOPS 2771536 HAS SOUS 679800 HAS SOUPS 679800 WITH SCORE 682571.536
AT ITER 2119 NEW BEST:: SOT 7587290 SOS 2770844 HAS SOPS 2770844 HAS SOUS 678790 HAS SOUPS 678790 WITH SCORE 681560.844
AT ITER 2127 NEW BEST:: SOT 7587290 SOS 2770844 HAS SOPS 2770844 HAS SOUS 678693 HAS SOUPS 678693 WITH SCORE 681463.844
AT ITER 2131 NEW BEST:: SOT 7587290 SOS 2770742 HAS SOPS 2770742 HAS SOUS 678529 HAS SOUPS 678529 WITH SCORE 681299.742
AT ITER 2139 NEW BEST:: SOT 7587250 SOS 2770702 HAS SOPS 2770702 HAS SOUS 678459 HAS SOUPS 678459 WITH SCORE 681229.702
AT ITER 2142 NEW BEST:: SOT 7588378 SOS 2771557 HAS SOPS 2771557 HAS SOUS 676681 HAS SOUPS 676681 WITH SCORE 679452.557
AT ITER 2153 NEW BEST:: SOT 7588377 SOS 2771556 HAS SOPS 2771556 HAS SOUS 676679 HAS SOUPS 676679 WITH SCORE 679450.556
AT ITER 2154 NEW BEST:: SOT 7588377 SOS 2771556 HAS SOPS 2771556 HAS SOUS 676673 HAS SOUPS 676673 WITH SCORE 679444.556
AT ITER 2155 NEW BEST:: SOT 7588377 SOS 2771530 HAS SOPS 2771530 HAS SOUS 676647 HAS SOUPS 676647 WITH SCORE 679418.53
AT ITER 2187 NEW BEST:: SOT 7588387 SOS 2771540 HAS SOPS 2771540 HAS SOUS 676628 HAS SOUPS 676628 WITH SCORE 679399.54
AT ITER 2209 NEW BEST:: SOT 7588279 SOS 2771432 HAS SOPS 2771432 HAS SOUS 676466 HAS SOUPS 676466 WITH SCORE 679237.432
AT ITER 2212 NEW BEST:: SOT 7588210 SOS 2771363 HAS SOPS 2771363 HAS SOUS 675865 HAS SOUPS 675865 WITH SCORE 678636.363
AT ITER 2213 NEW BEST:: SOT 7588274 SOS 2771196 HAS SOPS 2771196 HAS SOUS 675514 HAS SOUPS 675514 WITH SCORE 678285.196
AT ITER 2221 NEW BEST:: SOT 7588208 SOS 2771130 HAS SOPS 2771130 HAS SOUS 672108 HAS SOUPS 672108 WITH SCORE 674879.13
AT ITER 2223 NEW BEST:: SOT 7588332 SOS 2771133 HAS SOPS 2771133 HAS SOUS 671182 HAS SOUPS 671182 WITH SCORE 673953.133
AT ITER 2226 NEW BEST:: SOT 7588332 SOS 2771133 HAS SOPS 2771133 HAS SOUS 671170 HAS SOUPS 671170 WITH SCORE 673941.133
AT ITER 2231 NEW BEST:: SOT 7589434 SOS 2772235 HAS SOPS 2772235 HAS SOUS 670277 HAS SOUPS 670277 WITH SCORE 673049.235
AT ITER 2232 NEW BEST:: SOT 7589415 SOS 2771911 HAS SOPS 2771911 HAS SOUS 669197 HAS SOUPS 669197 WITH SCORE 671968.911
AT ITER 2238 NEW BEST:: SOT 7590102 SOS 2772477 HAS SOPS 2772477 HAS SOUS 668755 HAS SOUPS 668755 WITH SCORE 671527.477
AT ITER 2240 NEW BEST:: SOT 7590070 SOS 2772445 HAS SOPS 2772445 HAS SOUS 668691 HAS SOUPS 668691 WITH SCORE 671463.445
AT ITER 2249 NEW BEST:: SOT 7590070 SOS 2772416 HAS SOPS 2772416 HAS SOUS 668169 HAS SOUPS 668169 WITH SCORE 670941.416
AT ITER 2255 NEW BEST:: SOT 7589809 SOS 2771898 HAS SOPS 2771898 HAS SOUS 665055 HAS SOUPS 665055 WITH SCORE 667826.898
AT ITER 2257 NEW BEST:: SOT 7589732 SOS 2771821 HAS SOPS 2771821 HAS SOUS 664928 HAS SOUPS 664928 WITH SCORE 667699.821
AT ITER 2261 NEW BEST:: SOT 7589631 SOS 2771720 HAS SOPS 2771720 HAS SOUS 664827 HAS SOUPS 664827 WITH SCORE 667598.72
AT ITER 2265 NEW BEST:: SOT 7591006 SOS 2773095 HAS SOPS 2773095 HAS SOUS 661952 HAS SOUPS 661952 WITH SCORE 664725.095
AT ITER 2284 NEW BEST:: SOT 7591123 SOS 2773091 HAS SOPS 2773091 HAS SOUS 660998 HAS SOUPS 660998 WITH SCORE 663771.091
AT ITER 2290 NEW BEST:: SOT 7591053 SOS 2773136 HAS SOPS 2773136 HAS SOUS 660970 HAS SOUPS 660970 WITH SCORE 663743.136
AT ITER 2296 NEW BEST:: SOT 7590747 SOS 2772830 HAS SOPS 2772830 HAS SOUS 660664 HAS SOUPS 660664 WITH SCORE 663436.83
AT ITER 2307 NEW BEST:: SOT 7590694 SOS 2772777 HAS SOPS 2772777 HAS SOUS 660611 HAS SOUPS 660611 WITH SCORE 663383.777
AT ITER 2310 NEW BEST:: SOT 7590694 SOS 2772795 HAS SOPS 2772795 HAS SOUS 660598 HAS SOUPS 660598 WITH SCORE 663370.795
AT ITER 2315 NEW BEST:: SOT 7590640 SOS 2772741 HAS SOPS 2772741 HAS SOUS 660544 HAS SOUPS 660544 WITH SCORE 663316.741
AT ITER 2316 NEW BEST:: SOT 7590636 SOS 2772777 HAS SOPS 2772777 HAS SOUS 660536 HAS SOUPS 660536 WITH SCORE 663308.777
AT ITER 2324 NEW BEST:: SOT 7590367 SOS 2772509 HAS SOPS 2772509 HAS SOUS 660276 HAS SOUPS 660276 WITH SCORE 663048.509
AT ITER 2331 NEW BEST:: SOT 7590533 SOS 2772423 HAS SOPS 2772423 HAS SOUS 658034 HAS SOUPS 658034 WITH SCORE 660806.423
AT ITER 2336 NEW BEST:: SOT 7590524 SOS 2772450 HAS SOPS 2772450 HAS SOUS 657989 HAS SOUPS 657989 WITH SCORE 660761.45
AT ITER 2344 NEW BEST:: SOT 7590524 SOS 2772450 HAS SOPS 2772450 HAS SOUS 657967 HAS SOUPS 657967 WITH SCORE 660739.45
AT ITER 2373 NEW BEST:: SOT 7590755 SOS 2772502 HAS SOPS 2772502 HAS SOUS 656692 HAS SOUPS 656692 WITH SCORE 659464.502
AT ITER 2390 NEW BEST:: SOT 7590755 SOS 2719120 HAS SOPS 2719120 HAS SOUS 656679 HAS SOUPS 656679 WITH SCORE 659398.12
AT ITER 2402 NEW BEST:: SOT 6548815 SOS 1681949 HAS SOPS 1681949 HAS SOUS 575894 HAS SOUPS 575894 WITH SCORE 577575.949
AT ITER 2403 NEW BEST:: SOT 6548669 SOS 1681803 HAS SOPS 1681803 HAS SOUS 575648 HAS SOUPS 575648 WITH SCORE 577329.803
AT ITER 2412 NEW BEST:: SOT 6548669 SOS 1681803 HAS SOPS 1681803 HAS SOUS 574864 HAS SOUPS 574864 WITH SCORE 576545.803
AT ITER 2427 NEW BEST:: SOT 6548566 SOS 1681700 HAS SOPS 1681700 HAS SOUS 573603 HAS SOUPS 573603 WITH SCORE 575284.7
AT ITER 2429 NEW BEST:: SOT 6548463 SOS 1681597 HAS SOPS 1681597 HAS SOUS 573500 HAS SOUPS 573500 WITH SCORE 575181.597
AT ITER 2432 NEW BEST:: SOT 6548463 SOS 1681465 HAS SOPS 1681465 HAS SOUS 573422 HAS SOUPS 573422 WITH SCORE 575103.465
AT ITER 2435 NEW BEST:: SOT 6548527 SOS 1681561 HAS SOPS 1681561 HAS SOUS 573158 HAS SOUPS 573158 WITH SCORE 574839.561
AT ITER 2440 NEW BEST:: SOT 6548963 SOS 1681997 HAS SOPS 1681997 HAS SOUS 572108 HAS SOUPS 572108 WITH SCORE 573789.997
AT ITER 2444 NEW BEST:: SOT 6548963 SOS 1681990 HAS SOPS 1681990 HAS SOUS 572071 HAS SOUPS 572071 WITH SCORE 573752.99
AT ITER 2449 NEW BEST:: SOT 6547799 SOS 1681020 HAS SOPS 1681020 HAS SOUS 569781 HAS SOUPS 569781 WITH SCORE 571462.02
AT ITER 2463 NEW BEST:: SOT 6547525 SOS 1680746 HAS SOPS 1680746 HAS SOUS 569507 HAS SOUPS 569507 WITH SCORE 571187.746
AT ITER 2495 NEW BEST:: SOT 6547350 SOS 1680571 HAS SOPS 1680571 HAS SOUS 569140 HAS SOUPS 569140 WITH SCORE 570820.571
AT ITER 2512 NEW BEST:: SOT 6547461 SOS 1680682 HAS SOPS 1680682 HAS SOUS 566754 HAS SOUPS 566754 WITH SCORE 568434.682
AT ITER 2517 NEW BEST:: SOT 6538243 SOS 1671461 HAS SOPS 1671461 HAS SOUS 557456 HAS SOUPS 557456 WITH SCORE 559127.461
AT ITER 2521 NEW BEST:: SOT 6538253 SOS 1671471 HAS SOPS 1671471 HAS SOUS 557201 HAS SOUPS 557201 WITH SCORE 558872.471
AT ITER 2527 NEW BEST:: SOT 6538315 SOS 1671501 HAS SOPS 1671501 HAS SOUS 556842 HAS SOUPS 556842 WITH SCORE 558513.501
AT ITER 2540 NEW BEST:: SOT 6538021 SOS 1671207 HAS SOPS 1671207 HAS SOUS 556548 HAS SOUPS 556548 WITH SCORE 558219.207
AT ITER 2541 NEW BEST:: SOT 6535255 SOS 1668441 HAS SOPS 1668441 HAS SOUS 553782 HAS SOUPS 553782 WITH SCORE 555450.441
AT ITER 2544 NEW BEST:: SOT 6535263 SOS 1668209 HAS SOPS 1668209 HAS SOUS 553616 HAS SOUPS 553616 WITH SCORE 555284.209
AT ITER 2547 NEW BEST:: SOT 6535239 SOS 1668185 HAS SOPS 1668185 HAS SOUS 552394 HAS SOUPS 552394 WITH SCORE 554062.185
AT ITER 2552 NEW BEST:: SOT 6535144 SOS 1668090 HAS SOPS 1668090 HAS SOUS 552251 HAS SOUPS 552251 WITH SCORE 553919.09
AT ITER 2554 NEW BEST:: SOT 6535058 SOS 1668004 HAS SOPS 1668004 HAS SOUS 552155 HAS SOUPS 552155 WITH SCORE 553823.004
AT ITER 2558 NEW BEST:: SOT 6535035 SOS 1667981 HAS SOPS 1667981 HAS SOUS 552132 HAS SOUPS 552132 WITH SCORE 553799.981
AT ITER 2564 NEW BEST:: SOT 6535519 SOS 1668511 HAS SOPS 1668511 HAS SOUS 551911 HAS SOUPS 551911 WITH SCORE 553579.511
AT ITER 2567 NEW BEST:: SOT 6535232 SOS 1668224 HAS SOPS 1668224 HAS SOUS 546137 HAS SOUPS 546137 WITH SCORE 547805.224
AT ITER 2572 NEW BEST:: SOT 6534651 SOS 1667643 HAS SOPS 1667643 HAS SOUS 545386 HAS SOUPS 545386 WITH SCORE 547053.643
AT ITER 2577 NEW BEST:: SOT 6534651 SOS 1667557 HAS SOPS 1667557 HAS SOUS 545246 HAS SOUPS 545246 WITH SCORE 546913.557
AT ITER 2582 NEW BEST:: SOT 6534673 SOS 1667579 HAS SOPS 1667579 HAS SOUS 544890 HAS SOUPS 544890 WITH SCORE 546557.579
AT ITER 2583 NEW BEST:: SOT 6535862 SOS 1668647 HAS SOPS 1668647 HAS SOUS 544494 HAS SOUPS 544494 WITH SCORE 546162.647
AT ITER 2613 NEW BEST:: SOT 6535797 SOS 1668582 HAS SOPS 1668582 HAS SOUS 544429 HAS SOUPS 544429 WITH SCORE 546097.582
AT ITER 2614 NEW BEST:: SOT 6535797 SOS 1668519 HAS SOPS 1668519 HAS SOUS 544291 HAS SOUPS 544291 WITH SCORE 545959.519
AT ITER 2618 NEW BEST:: SOT 6535671 SOS 1668393 HAS SOPS 1668393 HAS SOUS 544165 HAS SOUPS 544165 WITH SCORE 545833.393
AT ITER 2621 NEW BEST:: SOT 6536425 SOS 1669045 HAS SOPS 1669045 HAS SOUS 541229 HAS SOUPS 541229 WITH SCORE 542898.045
AT ITER 2629 NEW BEST:: SOT 6535675 SOS 1668295 HAS SOPS 1668295 HAS SOUS 540479 HAS SOUPS 540479 WITH SCORE 542147.295
AT ITER 2633 NEW BEST:: SOT 6535385 SOS 1668005 HAS SOPS 1668005 HAS SOUS 540189 HAS SOUPS 540189 WITH SCORE 541857.005
AT ITER 2638 NEW BEST:: SOT 6535142 SOS 1667762 HAS SOPS 1667762 HAS SOUS 539946 HAS SOUPS 539946 WITH SCORE 541613.762
AT ITER 2646 NEW BEST:: SOT 6535140 SOS 1667760 HAS SOPS 1667760 HAS SOUS 538114 HAS SOUPS 538114 WITH SCORE 539781.76
AT ITER 2649 NEW BEST:: SOT 6535099 SOS 1667719 HAS SOPS 1667719 HAS SOUS 538073 HAS SOUPS 538073 WITH SCORE 539740.719
AT ITER 2650 NEW BEST:: SOT 6534961 SOS 1667581 HAS SOPS 1667581 HAS SOUS 537925 HAS SOUPS 537925 WITH SCORE 539592.581
AT ITER 2651 NEW BEST:: SOT 6534850 SOS 1667470 HAS SOPS 1667470 HAS SOUS 537814 HAS SOUPS 537814 WITH SCORE 539481.47
AT ITER 2652 NEW BEST:: SOT 6534841 SOS 1667461 HAS SOPS 1667461 HAS SOUS 537805 HAS SOUPS 537805 WITH SCORE 539472.461
AT ITER 2653 NEW BEST:: SOT 6534841 SOS 1667421 HAS SOPS 1667421 HAS SOUS 537764 HAS SOUPS 537764 WITH SCORE 539431.421
AT ITER 2654 NEW BEST:: SOT 6534285 SOS 1666865 HAS SOPS 1666865 HAS SOUS 536113 HAS SOUPS 536113 WITH SCORE 537779.865
AT ITER 2655 NEW BEST:: SOT 6534287 SOS 1666587 HAS SOPS 1666587 HAS SOUS 536057 HAS SOUPS 536057 WITH SCORE 537723.587
AT ITER 2661 NEW BEST:: SOT 6534287 SOS 1666587 HAS SOPS 1666587 HAS SOUS 536054 HAS SOUPS 536054 WITH SCORE 537720.587
AT ITER 2670 NEW BEST:: SOT 6534239 SOS 1666523 HAS SOPS 1666523 HAS SOUS 535581 HAS SOUPS 535581 WITH SCORE 537247.523
AT ITER 2674 NEW BEST:: SOT 6534239 SOS 1666523 HAS SOPS 1666523 HAS SOUS 535567 HAS SOUPS 535567 WITH SCORE 537233.523
AT ITER 2676 NEW BEST:: SOT 6533980 SOS 1666264 HAS SOPS 1666264 HAS SOUS 535203 HAS SOUPS 535203 WITH SCORE 536869.264
AT ITER 2690 NEW BEST:: SOT 6533980 SOS 1666264 HAS SOPS 1666264 HAS SOUS 535183 HAS SOUPS 535183 WITH SCORE 536849.264
AT ITER 2693 NEW BEST:: SOT 6534709 SOS 1666993 HAS SOPS 1666993 HAS SOUS 534483 HAS SOUPS 534483 WITH SCORE 536149.993
AT ITER 2695 NEW BEST:: SOT 6536900 SOS 1669184 HAS SOPS 1669184 HAS SOUS 534258 HAS SOUPS 534258 WITH SCORE 535927.184
AT ITER 2699 NEW BEST:: SOT 6536924 SOS 1669208 HAS SOPS 1669208 HAS SOUS 534042 HAS SOUPS 534042 WITH SCORE 535711.208
AT ITER 2704 NEW BEST:: SOT 6537526 SOS 1669785 HAS SOPS 1669785 HAS SOUS 533155 HAS SOUPS 533155 WITH SCORE 534824.785
AT ITER 2713 NEW BEST:: SOT 6537279 SOS 1669152 HAS SOPS 1669152 HAS SOUS 532618 HAS SOUPS 532618 WITH SCORE 534287.152
AT ITER 2721 NEW BEST:: SOT 6535085 SOS 1666958 HAS SOPS 1666958 HAS SOUS 531413 HAS SOUPS 531413 WITH SCORE 533079.958
AT ITER 2733 NEW BEST:: SOT 6535085 SOS 1666729 HAS SOPS 1666729 HAS SOUS 530971 HAS SOUPS 530971 WITH SCORE 532637.729
AT ITER 2738 NEW BEST:: SOT 6534980 SOS 1666624 HAS SOPS 1666624 HAS SOUS 530516 HAS SOUPS 530516 WITH SCORE 532182.624
AT ITER 2742 NEW BEST:: SOT 6534980 SOS 1666624 HAS SOPS 1666624 HAS SOUS 530513 HAS SOUPS 530513 WITH SCORE 532179.624
AT ITER 2743 NEW BEST:: SOT 6534944 SOS 1666588 HAS SOPS 1666588 HAS SOUS 529557 HAS SOUPS 529557 WITH SCORE 531223.588
AT ITER 2750 NEW BEST:: SOT 6534399 SOS 1666043 HAS SOPS 1666043 HAS SOUS 529077 HAS SOUPS 529077 WITH SCORE 530743.043
AT ITER 2753 NEW BEST:: SOT 6536145 SOS 1667789 HAS SOPS 1667789 HAS SOUS 528612 HAS SOUPS 528612 WITH SCORE 530279.789
AT ITER 2755 NEW BEST:: SOT 6536047 SOS 1667248 HAS SOPS 1667248 HAS SOUS 528356 HAS SOUPS 528356 WITH SCORE 530023.248
AT ITER 2762 NEW BEST:: SOT 6535795 SOS 1667004 HAS SOPS 1667004 HAS SOUS 527910 HAS SOUPS 527910 WITH SCORE 529577.004
AT ITER 2765 NEW BEST:: SOT 6535802 SOS 1667011 HAS SOPS 1667011 HAS SOUS 527825 HAS SOUPS 527825 WITH SCORE 529492.011
AT ITER 2766 NEW BEST:: SOT 6536093 SOS 1667295 HAS SOPS 1667295 HAS SOUS 527729 HAS SOUPS 527729 WITH SCORE 529396.295
AT ITER 2768 NEW BEST:: SOT 6536187 SOS 1667389 HAS SOPS 1667389 HAS SOUS 526727 HAS SOUPS 526727 WITH SCORE 528394.389
AT ITER 2771 NEW BEST:: SOT 6535969 SOS 1667171 HAS SOPS 1667171 HAS SOUS 524579 HAS SOUPS 524579 WITH SCORE 526246.171
AT ITER 2774 NEW BEST:: SOT 6535852 SOS 1667054 HAS SOPS 1667054 HAS SOUS 524502 HAS SOUPS 524502 WITH SCORE 526169.054
AT ITER 2778 NEW BEST:: SOT 6535850 SOS 1667052 HAS SOPS 1667052 HAS SOUS 524500 HAS SOUPS 524500 WITH SCORE 526167.052
AT ITER 2782 NEW BEST:: SOT 6535741 SOS 1666943 HAS SOPS 1666943 HAS SOUS 524391 HAS SOUPS 524391 WITH SCORE 526057.943
AT ITER 2806 NEW BEST:: SOT 6534761 SOS 1665963 HAS SOPS 1665963 HAS SOUS 523239 HAS SOUPS 523239 WITH SCORE 524904.963
AT ITER 2817 NEW BEST:: SOT 6535420 SOS 1666497 HAS SOPS 1666497 HAS SOUS 523137 HAS SOUPS 523137 WITH SCORE 524803.497
AT ITER 2818 NEW BEST:: SOT 6535414 SOS 1666491 HAS SOPS 1666491 HAS SOUS 523023 HAS SOUPS 523023 WITH SCORE 524689.491
AT ITER 2824 NEW BEST:: SOT 6532836 SOS 1921037 HAS SOPS 1921037 HAS SOUS 522708 HAS SOUPS 522708 WITH SCORE 524629.037
AT ITER 2842 NEW BEST:: SOT 6532858 SOS 1920987 HAS SOPS 1920987 HAS SOUS 521752 HAS SOUPS 521752 WITH SCORE 523672.987
AT ITER 2856 NEW BEST:: SOT 6532527 SOS 1920656 HAS SOPS 1920656 HAS SOUS 521041 HAS SOUPS 521041 WITH SCORE 522961.656
AT ITER 2862 NEW BEST:: SOT 6532411 SOS 1920540 HAS SOPS 1920540 HAS SOUS 520901 HAS SOUPS 520901 WITH SCORE 522821.54
AT ITER 2863 NEW BEST:: SOT 6532411 SOS 1920540 HAS SOPS 1920540 HAS SOUS 520875 HAS SOUPS 520875 WITH SCORE 522795.54
AT ITER 2884 NEW BEST:: SOT 6532481 SOS 1920610 HAS SOPS 1920610 HAS SOUS 520856 HAS SOUPS 520856 WITH SCORE 522776.61
AT ITER 2901 NEW BEST:: SOT 6532435 SOS 1920564 HAS SOPS 1920564 HAS SOUS 520810 HAS SOUPS 520810 WITH SCORE 522730.564
AT ITER 2904 NEW BEST:: SOT 5872827 SOS 2105389 HAS SOPS 2105389 HAS SOUS 474050 HAS SOUPS 474050 WITH SCORE 476155.389
AT ITER 2907 NEW BEST:: SOT 5872821 SOS 2105383 HAS SOPS 2105383 HAS SOUS 474038 HAS SOUPS 474038 WITH SCORE 476143.383
AT ITER 2912 NEW BEST:: SOT 5872697 SOS 2105259 HAS SOPS 2105259 HAS SOUS 473815 HAS SOUPS 473815 WITH SCORE 475920.259
AT ITER 2914 NEW BEST:: SOT 5872059 SOS 2104621 HAS SOPS 2104621 HAS SOUS 472947 HAS SOUPS 472947 WITH SCORE 475051.621
AT ITER 2939 NEW BEST:: SOT 5872059 SOS 2104575 HAS SOPS 2104575 HAS SOUS 472947 HAS SOUPS 472947 WITH SCORE 475051.575
AT ITER 2949 NEW BEST:: SOT 5872083 SOS 2104599 HAS SOPS 2104599 HAS SOUS 472922 HAS SOUPS 472922 WITH SCORE 475026.599
AT ITER 2969 NEW BEST:: SOT 5872015 SOS 2104635 HAS SOPS 2104635 HAS SOUS 472854 HAS SOUPS 472854 WITH SCORE 474958.635
AT ITER 2976 NEW BEST:: SOT 5872016 SOS 2104636 HAS SOPS 2104636 HAS SOUS 472306 HAS SOUPS 472306 WITH SCORE 474410.636
AT ITER 2981 NEW BEST:: SOT 5871643 SOS 2104263 HAS SOPS 2104263 HAS SOUS 471857 HAS SOUPS 471857 WITH SCORE 473961.263
AT ITER 2989 NEW BEST:: SOT 5871643 SOS 2104263 HAS SOPS 2104263 HAS SOUS 471850 HAS SOUPS 471850 WITH SCORE 473954.263
AT ITER 2992 NEW BEST:: SOT 5869705 SOS 2102325 HAS SOPS 2102325 HAS SOUS 469912 HAS SOUPS 469912 WITH SCORE 472014.325
AT ITER 2998 NEW BEST:: SOT 5869328 SOS 2101948 HAS SOPS 2101948 HAS SOUS 469332 HAS SOUPS 469332 WITH SCORE 471433.948
AT ITER 3013 NEW BEST:: SOT 5869328 SOS 2101948 HAS SOPS 2101948 HAS SOUS 469327 HAS SOUPS 469327 WITH SCORE 471428.948
AT ITER 3032 NEW BEST:: SOT 5869328 SOS 2101800 HAS SOPS 2101800 HAS SOUS 469179 HAS SOUPS 469179 WITH SCORE 471280.8
AT ITER 3033 NEW BEST:: SOT 5869172 SOS 2101644 HAS SOPS 2101644 HAS SOUS 468809 HAS SOUPS 468809 WITH SCORE 470910.644
AT ITER 3041 NEW BEST:: SOT 5869148 SOS 2101620 HAS SOPS 2101620 HAS SOUS 468760 HAS SOUPS 468760 WITH SCORE 470861.62
AT ITER 3043 NEW BEST:: SOT 5869142 SOS 2101614 HAS SOPS 2101614 HAS SOUS 468754 HAS SOUPS 468754 WITH SCORE 470855.614
AT ITER 3063 NEW BEST:: SOT 5869010 SOS 2101482 HAS SOPS 2101482 HAS SOUS 468622 HAS SOUPS 468622 WITH SCORE 470723.482
AT ITER 3071 NEW BEST:: SOT 5868995 SOS 2101467 HAS SOPS 2101467 HAS SOUS 468607 HAS SOUPS 468607 WITH SCORE 470708.467
AT ITER 3078 NEW BEST:: SOT 5868777 SOS 2101249 HAS SOPS 2101249 HAS SOUS 468207 HAS SOUPS 468207 WITH SCORE 470308.249
AT ITER 3097 NEW BEST:: SOT 5868731 SOS 2101203 HAS SOPS 2101203 HAS SOUS 468161 HAS SOUPS 468161 WITH SCORE 470262.203
AT ITER 3103 NEW BEST:: SOT 5868437 SOS 2100909 HAS SOPS 2100909 HAS SOUS 467867 HAS SOUPS 467867 WITH SCORE 469967.909
AT ITER 3104 NEW BEST:: SOT 5868414 SOS 2100886 HAS SOPS 2100886 HAS SOUS 467747 HAS SOUPS 467747 WITH SCORE 469847.886
AT ITER 3111 NEW BEST:: SOT 5868311 SOS 2100783 HAS SOPS 2100783 HAS SOUS 467628 HAS SOUPS 467628 WITH SCORE 469728.783
AT ITER 3142 NEW BEST:: SOT 5868332 SOS 2100804 HAS SOPS 2100804 HAS SOUS 467281 HAS SOUPS 467281 WITH SCORE 469381.804
AT ITER 3143 NEW BEST:: SOT 5867687 SOS 2100110 HAS SOPS 2100110 HAS SOUS 466365 HAS SOUPS 466365 WITH SCORE 468465.11
AT ITER 3144 NEW BEST:: SOT 5867419 SOS 2099842 HAS SOPS 2099842 HAS SOUS 463417 HAS SOUPS 463417 WITH SCORE 465516.842
AT ITER 3146 NEW BEST:: SOT 5867413 SOS 2099836 HAS SOPS 2099836 HAS SOUS 463411 HAS SOUPS 463411 WITH SCORE 465510.836
AT ITER 3153 NEW BEST:: SOT 5867079 SOS 2099502 HAS SOPS 2099502 HAS SOUS 463077 HAS SOUPS 463077 WITH SCORE 465176.502
AT ITER 3155 NEW BEST:: SOT 5867018 SOS 2099441 HAS SOPS 2099441 HAS SOUS 462406 HAS SOUPS 462406 WITH SCORE 464505.441
AT ITER 3156 NEW BEST:: SOT 5866920 SOS 2099343 HAS SOPS 2099343 HAS SOUS 462225 HAS SOUPS 462225 WITH SCORE 464324.343
AT ITER 3161 NEW BEST:: SOT 5866831 SOS 2099140 HAS SOPS 2099140 HAS SOUS 462161 HAS SOUPS 462161 WITH SCORE 464260.14
AT ITER 3169 NEW BEST:: SOT 5866803 SOS 2099112 HAS SOPS 2099112 HAS SOUS 461881 HAS SOUPS 461881 WITH SCORE 463980.112
AT ITER 3174 NEW BEST:: SOT 5866549 SOS 2098858 HAS SOPS 2098858 HAS SOUS 459001 HAS SOUPS 459001 WITH SCORE 461099.858
AT ITER 3176 NEW BEST:: SOT 5866479 SOS 2098788 HAS SOPS 2098788 HAS SOUS 458886 HAS SOUPS 458886 WITH SCORE 460984.788
AT ITER 3178 NEW BEST:: SOT 5866556 SOS 2098865 HAS SOPS 2098865 HAS SOUS 458859 HAS SOUPS 458859 WITH SCORE 460957.865
AT ITER 3186 NEW BEST:: SOT 5866509 SOS 2098818 HAS SOPS 2098818 HAS SOUS 457521 HAS SOUPS 457521 WITH SCORE 459619.818
AT ITER 3203 NEW BEST:: SOT 5866509 SOS 2098818 HAS SOPS 2098818 HAS SOUS 457484 HAS SOUPS 457484 WITH SCORE 459582.818
AT ITER 3212 NEW BEST:: SOT 5867064 SOS 2099373 HAS SOPS 2099373 HAS SOUS 457370 HAS SOUPS 457370 WITH SCORE 459469.373
AT ITER 3215 NEW BEST:: SOT 5867064 SOS 2099338 HAS SOPS 2099338 HAS SOUS 457300 HAS SOUPS 457300 WITH SCORE 459399.338
AT ITER 3219 NEW BEST:: SOT 5866997 SOS 2099271 HAS SOPS 2099271 HAS SOUS 457174 HAS SOUPS 457174 WITH SCORE 459273.271
AT ITER 3233 NEW BEST:: SOT 5866997 SOS 2099237 HAS SOPS 2099237 HAS SOUS 457112 HAS SOUPS 457112 WITH SCORE 459211.237
AT ITER 3236 NEW BEST:: SOT 5866790 SOS 2099030 HAS SOPS 2099030 HAS SOUS 456905 HAS SOUPS 456905 WITH SCORE 459004.03
AT ITER 3240 NEW BEST:: SOT 5866518 SOS 2098758 HAS SOPS 2098758 HAS SOUS 456522 HAS SOUPS 456522 WITH SCORE 458620.758
AT ITER 3260 NEW BEST:: SOT 5866392 SOS 2098632 HAS SOPS 2098632 HAS SOUS 455262 HAS SOUPS 455262 WITH SCORE 457360.632
AT ITER 3275 NEW BEST:: SOT 5866076 SOS 2098316 HAS SOPS 2098316 HAS SOUS 454697 HAS SOUPS 454697 WITH SCORE 456795.316
AT ITER 3277 NEW BEST:: SOT 5865968 SOS 2098208 HAS SOPS 2098208 HAS SOUS 452561 HAS SOUPS 452561 WITH SCORE 454659.208
AT ITER 3302 NEW BEST:: SOT 5865602 SOS 2097842 HAS SOPS 2097842 HAS SOUS 451913 HAS SOUPS 451913 WITH SCORE 454010.842
AT ITER 3303 NEW BEST:: SOT 5865610 SOS 2097608 HAS SOPS 2097608 HAS SOUS 451747 HAS SOUPS 451747 WITH SCORE 453844.608
AT ITER 3330 NEW BEST:: SOT 5865610 SOS 2097502 HAS SOPS 2097502 HAS SOUS 451705 HAS SOUPS 451705 WITH SCORE 453802.502
AT ITER 3344 NEW BEST:: SOT 5865580 SOS 2097472 HAS SOPS 2097472 HAS SOUS 451675 HAS SOUPS 451675 WITH SCORE 453772.472
AT ITER 3351 NEW BEST:: SOT 5865308 SOS 2097200 HAS SOPS 2097200 HAS SOUS 450898 HAS SOUPS 450898 WITH SCORE 452995.2
AT ITER 3360 NEW BEST:: SOT 5864474 SOS 2096366 HAS SOPS 2096366 HAS SOUS 450064 HAS SOUPS 450064 WITH SCORE 452160.366
AT ITER 3368 NEW BEST:: SOT 5864474 SOS 2096304 HAS SOPS 2096304 HAS SOUS 449879 HAS SOUPS 449879 WITH SCORE 451975.304
AT ITER 3388 NEW BEST:: SOT 5864399 SOS 2096229 HAS SOPS 2096229 HAS SOUS 449174 HAS SOUPS 449174 WITH SCORE 451270.229
AT ITER 3400 NEW BEST:: SOT 5864399 SOS 2096074 HAS SOPS 2096074 HAS SOUS 449104 HAS SOUPS 449104 WITH SCORE 451200.074
AT ITER 3402 NEW BEST:: SOT 5864329 SOS 2096109 HAS SOPS 2096109 HAS SOUS 449040 HAS SOUPS 449040 WITH SCORE 451136.109
AT ITER 3416 NEW BEST:: SOT 5864326 SOS 2096106 HAS SOPS 2096106 HAS SOUS 449037 HAS SOUPS 449037 WITH SCORE 451133.106
AT ITER 3427 NEW BEST:: SOT 5864332 SOS 2096112 HAS SOPS 2096112 HAS SOUS 448989 HAS SOUPS 448989 WITH SCORE 451085.112
AT ITER 3428 NEW BEST:: SOT 5864255 SOS 2095958 HAS SOPS 2095958 HAS SOUS 448835 HAS SOUPS 448835 WITH SCORE 450930.958
AT ITER 3433 NEW BEST:: SOT 5863908 SOS 2095611 HAS SOPS 2095611 HAS SOUS 448081 HAS SOUPS 448081 WITH SCORE 450176.611
AT ITER 3446 NEW BEST:: SOT 5863854 SOS 2095557 HAS SOPS 2095557 HAS SOUS 447939 HAS SOUPS 447939 WITH SCORE 450034.557
AT ITER 3454 NEW BEST:: SOT 5863854 SOS 2095557 HAS SOPS 2095557 HAS SOUS 447932 HAS SOUPS 447932 WITH SCORE 450027.557
AT ITER 3468 NEW BEST:: SOT 5863852 SOS 2095555 HAS SOPS 2095555 HAS SOUS 447928 HAS SOUPS 447928 WITH SCORE 450023.555
AT ITER 3474 NEW BEST:: SOT 5863706 SOS 2095409 HAS SOPS 2095409 HAS SOUS 447782 HAS SOUPS 447782 WITH SCORE 449877.409
AT ITER 3483 NEW BEST:: SOT 5863706 SOS 2095409 HAS SOPS 2095409 HAS SOUS 447750 HAS SOUPS 447750 WITH SCORE 449845.409
AT ITER 3486 NEW BEST:: SOT 5863563 SOS 2095266 HAS SOPS 2095266 HAS SOUS 447567 HAS SOUPS 447567 WITH SCORE 449662.266
AT ITER 3490 NEW BEST:: SOT 5863554 SOS 2095257 HAS SOPS 2095257 HAS SOUS 447377 HAS SOUPS 447377 WITH SCORE 449472.257
AT ITER 3491 NEW BEST:: SOT 5864149 SOS 2095852 HAS SOPS 2095852 HAS SOUS 446861 HAS SOUPS 446861 WITH SCORE 448956.852
AT ITER 3498 NEW BEST:: SOT 5864107 SOS 2095810 HAS SOPS 2095810 HAS SOUS 446819 HAS SOUPS 446819 WITH SCORE 448914.81
AT ITER 3500 NEW BEST:: SOT 5863989 SOS 2095845 HAS SOPS 2095845 HAS SOUS 446755 HAS SOUPS 446755 WITH SCORE 448850.845
AT ITER 3531 NEW BEST:: SOT 5863518 SOS 2095374 HAS SOPS 2095374 HAS SOUS 446092 HAS SOUPS 446092 WITH SCORE 448187.374
AT ITER 3565 NEW BEST:: SOT 5863508 SOS 2095364 HAS SOPS 2095364 HAS SOUS 446082 HAS SOUPS 446082 WITH SCORE 448177.364
AT ITER 3571 NEW BEST:: SOT 5863447 SOS 2095341 HAS SOPS 2095341 HAS SOUS 446030 HAS SOUPS 446030 WITH SCORE 448125.341
AT ITER 3573 NEW BEST:: SOT 5863315 SOS 2095209 HAS SOPS 2095209 HAS SOUS 445788 HAS SOUPS 445788 WITH SCORE 447883.209
AT ITER 3586 NEW BEST:: SOT 5862578 SOS 2112732 HAS SOPS 2112732 HAS SOUS 445546 HAS SOUPS 445546 WITH SCORE 447658.732
AT ITER 3592 NEW BEST:: SOT 5862572 SOS 2112726 HAS SOPS 2112726 HAS SOUS 445540 HAS SOUPS 445540 WITH SCORE 447652.726
AT ITER 3597 NEW BEST:: SOT 5862182 SOS 2112336 HAS SOPS 2112336 HAS SOUS 445162 HAS SOUPS 445162 WITH SCORE 447274.336
AT ITER 3606 NEW BEST:: SOT 5862045 SOS 2112199 HAS SOPS 2112199 HAS SOUS 444869 HAS SOUPS 444869 WITH SCORE 446981.199
AT ITER 3611 NEW BEST:: SOT 5862045 SOS 2112034 HAS SOPS 2112034 HAS SOUS 444777 HAS SOUPS 444777 WITH SCORE 446889.034
AT ITER 3615 NEW BEST:: SOT 5861943 SOS 2112211 HAS SOPS 2112211 HAS SOUS 444600 HAS SOUPS 444600 WITH SCORE 446712.211
AT ITER 3620 NEW BEST:: SOT 5861917 SOS 2112185 HAS SOPS 2112185 HAS SOUS 444574 HAS SOUPS 444574 WITH SCORE 446686.185
AT ITER 3621 NEW BEST:: SOT 5862133 SOS 2112401 HAS SOPS 2112401 HAS SOUS 444188 HAS SOUPS 444188 WITH SCORE 446300.401
AT ITER 3623 NEW BEST:: SOT 5861892 SOS 2112160 HAS SOPS 2112160 HAS SOUS 443947 HAS SOUPS 443947 WITH SCORE 446059.16
AT ITER 3625 NEW BEST:: SOT 5861984 SOS 2112128 HAS SOPS 2112128 HAS SOUS 443924 HAS SOUPS 443924 WITH SCORE 446036.128
AT ITER 3630 NEW BEST:: SOT 5861952 SOS 2112096 HAS SOPS 2112096 HAS SOUS 443860 HAS SOUPS 443860 WITH SCORE 445972.096
AT ITER 3639 NEW BEST:: SOT 5862149 SOS 2112293 HAS SOPS 2112293 HAS SOUS 441673 HAS SOUPS 441673 WITH SCORE 443785.293
AT ITER 3643 NEW BEST:: SOT 5862244 SOS 2112296 HAS SOPS 2112296 HAS SOUS 441593 HAS SOUPS 441593 WITH SCORE 443705.296
AT ITER 3647 NEW BEST:: SOT 5862149 SOS 2112106 HAS SOPS 2112106 HAS SOUS 441508 HAS SOUPS 441508 WITH SCORE 443620.106
AT ITER 3649 NEW BEST:: SOT 5862135 SOS 2112092 HAS SOPS 2112092 HAS SOUS 441421 HAS SOUPS 441421 WITH SCORE 443533.092
AT ITER 3674 NEW BEST:: SOT 5862083 SOS 2112040 HAS SOPS 2112040 HAS SOUS 441369 HAS SOUPS 441369 WITH SCORE 443481.04
AT ITER 3691 NEW BEST:: SOT 5862089 SOS 2112046 HAS SOPS 2112046 HAS SOUS 441357 HAS SOUPS 441357 WITH SCORE 443469.046
AT ITER 3705 NEW BEST:: SOT 5862152 SOS 2111674 HAS SOPS 2111674 HAS SOUS 441192 HAS SOUPS 441192 WITH SCORE 443303.674
AT ITER 3713 NEW BEST:: SOT 5861867 SOS 2111389 HAS SOPS 2111389 HAS SOUS 440963 HAS SOUPS 440963 WITH SCORE 443074.389
AT ITER 3741 NEW BEST:: SOT 5861855 SOS 2111497 HAS SOPS 2111497 HAS SOUS 440939 HAS SOUPS 440939 WITH SCORE 443050.497
AT ITER 3789 NEW BEST:: SOT 5861872 SOS 2111580 HAS SOPS 2111580 HAS SOUS 440771 HAS SOUPS 440771 WITH SCORE 442882.58
AT ITER 3795 NEW BEST:: SOT 5861863 SOS 2111571 HAS SOPS 2111571 HAS SOUS 440762 HAS SOUPS 440762 WITH SCORE 442873.571
AT ITER 3796 NEW BEST:: SOT 5861910 SOS 2111618 HAS SOPS 2111618 HAS SOUS 440386 HAS SOUPS 440386 WITH SCORE 442497.618
AT ITER 3797 NEW BEST:: SOT 5861799 SOS 2111507 HAS SOPS 2111507 HAS SOUS 440306 HAS SOUPS 440306 WITH SCORE 442417.507
AT ITER 3798 NEW BEST:: SOT 5861781 SOS 2111489 HAS SOPS 2111489 HAS SOUS 440270 HAS SOUPS 440270 WITH SCORE 442381.489
AT ITER 3805 NEW BEST:: SOT 5861758 SOS 2111466 HAS SOPS 2111466 HAS SOUS 440247 HAS SOUPS 440247 WITH SCORE 442358.466
AT ITER 3811 NEW BEST:: SOT 5861698 SOS 2111406 HAS SOPS 2111406 HAS SOUS 439647 HAS SOUPS 439647 WITH SCORE 441758.406
AT ITER 3817 NEW BEST:: SOT 5861356 SOS 2111064 HAS SOPS 2111064 HAS SOUS 439305 HAS SOUPS 439305 WITH SCORE 441416.064
AT ITER 3865 NEW BEST:: SOT 5861190 SOS 2110898 HAS SOPS 2110898 HAS SOUS 437645 HAS SOUPS 437645 WITH SCORE 439755.898
AT ITER 3902 NEW BEST:: SOT 5861121 SOS 2110670 HAS SOPS 2110670 HAS SOUS 437247 HAS SOUPS 437247 WITH SCORE 439357.67
AT ITER 3903 NEW BEST:: SOT 5861087 SOS 2110636 HAS SOPS 2110636 HAS SOUS 437213 HAS SOUPS 437213 WITH SCORE 439323.636
AT ITER 3924 NEW BEST:: SOT 5861087 SOS 2110636 HAS SOPS 2110636 HAS SOUS 437094 HAS SOUPS 437094 WITH SCORE 439204.636
AT ITER 3926 NEW BEST:: SOT 5861087 SOS 2110435 HAS SOPS 2110435 HAS SOUS 436918 HAS SOUPS 436918 WITH SCORE 439028.435
AT ITER 3938 NEW BEST:: SOT 5861087 SOS 2110357 HAS SOPS 2110357 HAS SOUS 436844 HAS SOUPS 436844 WITH SCORE 438954.357
AT ITER 3943 NEW BEST:: SOT 5861087 SOS 2110357 HAS SOPS 2110357 HAS SOUS 436837 HAS SOUPS 436837 WITH SCORE 438947.357
AT ITER 3950 NEW BEST:: SOT 5861046 SOS 2110316 HAS SOPS 2110316 HAS SOUS 436600 HAS SOUPS 436600 WITH SCORE 438710.316
AT ITER 3954 NEW BEST:: SOT 5861080 SOS 2110257 HAS SOPS 2110257 HAS SOUS 436482 HAS SOUPS 436482 WITH SCORE 438592.257
AT ITER 3965 NEW BEST:: SOT 5860997 SOS 2110174 HAS SOPS 2110174 HAS SOUS 436313 HAS SOUPS 436313 WITH SCORE 438423.174
AT ITER 3971 NEW BEST:: SOT 5860901 SOS 2110078 HAS SOPS 2110078 HAS SOUS 436217 HAS SOUPS 436217 WITH SCORE 438327.078
AT ITER 3991 NEW BEST:: SOT 5860345 SOS 2109522 HAS SOPS 2109522 HAS SOUS 435661 HAS SOUPS 435661 WITH SCORE 437770.522
AT ITER 3992 NEW BEST:: SOT 5860341 SOS 2109518 HAS SOPS 2109518 HAS SOUS 435538 HAS SOUPS 435538 WITH SCORE 437647.518
AT ITER 4006 NEW BEST:: SOT 5860580 SOS 2109757 HAS SOPS 2109757 HAS SOUS 435376 HAS SOUPS 435376 WITH SCORE 437485.757
AT ITER 4008 NEW BEST:: SOT 5860538 SOS 2109715 HAS SOPS 2109715 HAS SOUS 435350 HAS SOUPS 435350 WITH SCORE 437459.715
AT ITER 4019 NEW BEST:: SOT 5860431 SOS 2109611 HAS SOPS 2109611 HAS SOUS 435128 HAS SOUPS 435128 WITH SCORE 437237.611
AT ITER 4032 NEW BEST:: SOT 5860053 SOS 2109201 HAS SOPS 2109201 HAS SOUS 434718 HAS SOUPS 434718 WITH SCORE 436827.201
AT ITER 4054 NEW BEST:: SOT 5860049 SOS 2109197 HAS SOPS 2109197 HAS SOUS 434714 HAS SOUPS 434714 WITH SCORE 436823.197
AT ITER 4062 NEW BEST:: SOT 5859876 SOS 2109024 HAS SOPS 2109024 HAS SOUS 432353 HAS SOUPS 432353 WITH SCORE 434462.024
AT ITER 4077 NEW BEST:: SOT 5859877 SOS 2109025 HAS SOPS 2109025 HAS SOUS 429184 HAS SOUPS 429184 WITH SCORE 431293.025
AT ITER 4091 NEW BEST:: SOT 5859897 SOS 2108620 HAS SOPS 2108620 HAS SOUS 429001 HAS SOUPS 429001 WITH SCORE 431109.62
AT ITER 4103 NEW BEST:: SOT 5859876 SOS 2108626 HAS SOPS 2108626 HAS SOUS 428975 HAS SOUPS 428975 WITH SCORE 431083.626
AT ITER 4105 NEW BEST:: SOT 5859876 SOS 2108604 HAS SOPS 2108604 HAS SOUS 428972 HAS SOUPS 428972 WITH SCORE 431080.604
AT ITER 4107 NEW BEST:: SOT 5859770 SOS 2108737 HAS SOPS 2108737 HAS SOUS 428913 HAS SOUPS 428913 WITH SCORE 431021.737
AT ITER 4145 NEW BEST:: SOT 5859770 SOS 2108644 HAS SOPS 2108644 HAS SOUS 428774 HAS SOUPS 428774 WITH SCORE 430882.644
AT ITER 4148 NEW BEST:: SOT 5859929 SOS 2108803 HAS SOPS 2108803 HAS SOUS 427566 HAS SOUPS 427566 WITH SCORE 429674.803
AT ITER 4159 NEW BEST:: SOT 5859929 SOS 2108810 HAS SOPS 2108810 HAS SOUS 427492 HAS SOUPS 427492 WITH SCORE 429600.81
AT ITER 4162 NEW BEST:: SOT 5860549 SOS 2109430 HAS SOPS 2109430 HAS SOUS 427432 HAS SOUPS 427432 WITH SCORE 429541.43
AT ITER 4177 NEW BEST:: SOT 5860653 SOS 2109534 HAS SOPS 2109534 HAS SOUS 427416 HAS SOUPS 427416 WITH SCORE 429525.534
AT ITER 4181 NEW BEST:: SOT 5862263 SOS 2111144 HAS SOPS 2111144 HAS SOUS 427067 HAS SOUPS 427067 WITH SCORE 429178.144
AT ITER 4206 NEW BEST:: SOT 5862263 SOS 2111144 HAS SOPS 2111144 HAS SOUS 427027 HAS SOUPS 427027 WITH SCORE 429138.144
AT ITER 4214 NEW BEST:: SOT 5861433 SOS 2110314 HAS SOPS 2110314 HAS SOUS 426404 HAS SOUPS 426404 WITH SCORE 428514.314
AT ITER 4217 NEW BEST:: SOT 5861390 SOS 2110271 HAS SOPS 2110271 HAS SOUS 426369 HAS SOUPS 426369 WITH SCORE 428479.271
AT ITER 4221 NEW BEST:: SOT 5861172 SOS 2110053 HAS SOPS 2110053 HAS SOUS 426151 HAS SOUPS 426151 WITH SCORE 428261.053
AT ITER 4232 NEW BEST:: SOT 5861348 SOS 2110229 HAS SOPS 2110229 HAS SOUS 425299 HAS SOUPS 425299 WITH SCORE 427409.229
AT ITER 4233 NEW BEST:: SOT 5861279 SOS 2110160 HAS SOPS 2110160 HAS SOUS 425230 HAS SOUPS 425230 WITH SCORE 427340.16
AT ITER 4244 NEW BEST:: SOT 5861269 SOS 2110150 HAS SOPS 2110150 HAS SOUS 425220 HAS SOUPS 425220 WITH SCORE 427330.15
AT ITER 4255 NEW BEST:: SOT 5861252 SOS 2109096 HAS SOPS 2109096 HAS SOUS 425186 HAS SOUPS 425186 WITH SCORE 427295.096
AT ITER 4269 NEW BEST:: SOT 5861229 SOS 2109073 HAS SOPS 2109073 HAS SOUS 425163 HAS SOUPS 425163 WITH SCORE 427272.073
AT ITER 4279 NEW BEST:: SOT 5861397 SOS 2109241 HAS SOPS 2109241 HAS SOUS 424537 HAS SOUPS 424537 WITH SCORE 426646.241
AT ITER 4294 NEW BEST:: SOT 5861325 SOS 2109169 HAS SOPS 2109169 HAS SOUS 423817 HAS SOUPS 423817 WITH SCORE 425926.169
AT ITER 4296 NEW BEST:: SOT 5861325 SOS 2109169 HAS SOPS 2109169 HAS SOUS 423757 HAS SOUPS 423757 WITH SCORE 425866.169
AT ITER 4297 NEW BEST:: SOT 5861303 SOS 2109147 HAS SOPS 2109147 HAS SOUS 423735 HAS SOUPS 423735 WITH SCORE 425844.147
AT ITER 4317 NEW BEST:: SOT 5861172 SOS 2109016 HAS SOPS 2109016 HAS SOUS 423552 HAS SOUPS 423552 WITH SCORE 425661.016
AT ITER 4343 NEW BEST:: SOT 5861000 SOS 2108844 HAS SOPS 2108844 HAS SOUS 423152 HAS SOUPS 423152 WITH SCORE 425260.844
AT ITER 4346 NEW BEST:: SOT 5861583 SOS 2109427 HAS SOPS 2109427 HAS SOUS 423089 HAS SOUPS 423089 WITH SCORE 425198.427
AT ITER 4347 NEW BEST:: SOT 5861471 SOS 2109394 HAS SOPS 2109394 HAS SOUS 422989 HAS SOUPS 422989 WITH SCORE 425098.394
AT ITER 4356 NEW BEST:: SOT 5861258 SOS 2109181 HAS SOPS 2109181 HAS SOUS 422420 HAS SOUPS 422420 WITH SCORE 424529.181
AT ITER 4358 NEW BEST:: SOT 5861236 SOS 2109159 HAS SOPS 2109159 HAS SOUS 422398 HAS SOUPS 422398 WITH SCORE 424507.159
AT ITER 4367 NEW BEST:: SOT 5861236 SOS 2109159 HAS SOPS 2109159 HAS SOUS 422299 HAS SOUPS 422299 WITH SCORE 424408.159
AT ITER 4371 NEW BEST:: SOT 5861118 SOS 2109041 HAS SOPS 2109041 HAS SOUS 422129 HAS SOUPS 422129 WITH SCORE 424238.041
AT ITER 4406 NEW BEST:: SOT 5861118 SOS 2109131 HAS SOPS 2109131 HAS SOUS 422101 HAS SOUPS 422101 WITH SCORE 424210.131
AT ITER 4412 NEW BEST:: SOT 5860776 SOS 2108789 HAS SOPS 2108789 HAS SOUS 421395 HAS SOUPS 421395 WITH SCORE 423503.789
AT ITER 4426 NEW BEST:: SOT 5860776 SOS 2108789 HAS SOPS 2108789 HAS SOUS 421353 HAS SOUPS 421353 WITH SCORE 423461.789
AT ITER 4442 NEW BEST:: SOT 5860765 SOS 2108778 HAS SOPS 2108778 HAS SOUS 420982 HAS SOUPS 420982 WITH SCORE 423090.778
AT ITER 4453 NEW BEST:: SOT 5860627 SOS 2108640 HAS SOPS 2108640 HAS SOUS 420782 HAS SOUPS 420782 WITH SCORE 422890.64
AT ITER 4454 NEW BEST:: SOT 5860339 SOS 2108352 HAS SOPS 2108352 HAS SOUS 420658 HAS SOUPS 420658 WITH SCORE 422766.352
AT ITER 4463 NEW BEST:: SOT 5860339 SOS 2108226 HAS SOPS 2108226 HAS SOUS 420597 HAS SOUPS 420597 WITH SCORE 422705.226
AT ITER 4470 NEW BEST:: SOT 5860339 SOS 2108226 HAS SOPS 2108226 HAS SOUS 420559 HAS SOUPS 420559 WITH SCORE 422667.226
AT ITER 4477 NEW BEST:: SOT 5859955 SOS 2107842 HAS SOPS 2107842 HAS SOUS 419791 HAS SOUPS 419791 WITH SCORE 421898.842
AT ITER 4484 NEW BEST:: SOT 5859597 SOS 2107484 HAS SOPS 2107484 HAS SOUS 416211 HAS SOUPS 416211 WITH SCORE 418318.484
AT ITER 4486 NEW BEST:: SOT 5859348 SOS 2107235 HAS SOPS 2107235 HAS SOUS 415909 HAS SOUPS 415909 WITH SCORE 418016.235
AT ITER 4503 NEW BEST:: SOT 5859332 SOS 2107219 HAS SOPS 2107219 HAS SOUS 415893 HAS SOUPS 415893 WITH SCORE 418000.219
AT ITER 4504 NEW BEST:: SOT 5859239 SOS 2107237 HAS SOPS 2107237 HAS SOUS 415882 HAS SOUPS 415882 WITH SCORE 417989.237
AT ITER 4508 NEW BEST:: SOT 5859063 SOS 2107061 HAS SOPS 2107061 HAS SOUS 415569 HAS SOUPS 415569 WITH SCORE 417676.061
AT ITER 4519 NEW BEST:: SOT 5858829 SOS 2106827 HAS SOPS 2106827 HAS SOUS 415239 HAS SOUPS 415239 WITH SCORE 417345.827
AT ITER 4534 NEW BEST:: SOT 5858571 SOS 2106469 HAS SOPS 2106469 HAS SOUS 414881 HAS SOUPS 414881 WITH SCORE 416987.469
AT ITER 4539 NEW BEST:: SOT 5858604 SOS 2106502 HAS SOPS 2106502 HAS SOUS 414818 HAS SOUPS 414818 WITH SCORE 416924.502
AT ITER 4540 NEW BEST:: SOT 5858604 SOS 2106502 HAS SOPS 2106502 HAS SOUS 414732 HAS SOUPS 414732 WITH SCORE 416838.502
AT ITER 4541 NEW BEST:: SOT 5858604 SOS 2106502 HAS SOPS 2106502 HAS SOUS 414272 HAS SOUPS 414272 WITH SCORE 416378.502
AT ITER 4545 NEW BEST:: SOT 5858700 SOS 2106598 HAS SOPS 2106598 HAS SOUS 413600 HAS SOUPS 413600 WITH SCORE 415706.598
AT ITER 4551 NEW BEST:: SOT 5858589 SOS 2106569 HAS SOPS 2106569 HAS SOUS 413430 HAS SOUPS 413430 WITH SCORE 415536.569
AT ITER 4552 NEW BEST:: SOT 5858602 SOS 2106582 HAS SOPS 2106582 HAS SOUS 413082 HAS SOUPS 413082 WITH SCORE 415188.582
AT ITER 4562 NEW BEST:: SOT 5858497 SOS 2106477 HAS SOPS 2106477 HAS SOUS 412750 HAS SOUPS 412750 WITH SCORE 414856.477
AT ITER 4575 NEW BEST:: SOT 5858746 SOS 2106726 HAS SOPS 2106726 HAS SOUS 412598 HAS SOUPS 412598 WITH SCORE 414704.726
AT ITER 4583 NEW BEST:: SOT 5858671 SOS 2106651 HAS SOPS 2106651 HAS SOUS 412459 HAS SOUPS 412459 WITH SCORE 414565.651
AT ITER 4587 NEW BEST:: SOT 5858512 SOS 2106492 HAS SOPS 2106492 HAS SOUS 412288 HAS SOUPS 412288 WITH SCORE 414394.492
AT ITER 4591 NEW BEST:: SOT 5858669 SOS 2106649 HAS SOPS 2106649 HAS SOUS 410780 HAS SOUPS 410780 WITH SCORE 412886.649
AT ITER 4615 NEW BEST:: SOT 5858650 SOS 2106630 HAS SOPS 2106630 HAS SOUS 410749 HAS SOUPS 410749 WITH SCORE 412855.63
AT ITER 4617 NEW BEST:: SOT 5858650 SOS 2106649 HAS SOPS 2106649 HAS SOUS 410748 HAS SOUPS 410748 WITH SCORE 412854.649
AT ITER 4621 NEW BEST:: SOT 5858434 SOS 2106433 HAS SOPS 2106433 HAS SOUS 410397 HAS SOUPS 410397 WITH SCORE 412503.433
AT ITER 4627 NEW BEST:: SOT 5858480 SOS 2106267 HAS SOPS 2106267 HAS SOUS 410230 HAS SOUPS 410230 WITH SCORE 412336.267
AT ITER 4687 NEW BEST:: SOT 5858480 SOS 2106267 HAS SOPS 2106267 HAS SOUS 410211 HAS SOUPS 410211 WITH SCORE 412317.267
AT ITER 4695 NEW BEST:: SOT 5858395 SOS 2106182 HAS SOPS 2106182 HAS SOUS 410074 HAS SOUPS 410074 WITH SCORE 412180.182
AT ITER 4718 NEW BEST:: SOT 5858120 SOS 2105907 HAS SOPS 2105907 HAS SOUS 409585 HAS SOUPS 409585 WITH SCORE 411690.907
AT ITER 4722 NEW BEST:: SOT 5858024 SOS 2105811 HAS SOPS 2105811 HAS SOUS 408565 HAS SOUPS 408565 WITH SCORE 410670.811
AT ITER 4725 NEW BEST:: SOT 5857904 SOS 2105737 HAS SOPS 2105737 HAS SOUS 408417 HAS SOUPS 408417 WITH SCORE 410522.737
AT ITER 4728 NEW BEST:: SOT 5857904 SOS 2105693 HAS SOPS 2105693 HAS SOUS 408285 HAS SOUPS 408285 WITH SCORE 410390.693
AT ITER 4736 NEW BEST:: SOT 5857632 SOS 2105421 HAS SOPS 2105421 HAS SOUS 407791 HAS SOUPS 407791 WITH SCORE 409896.421
AT ITER 4749 NEW BEST:: SOT 5857568 SOS 2105415 HAS SOPS 2105415 HAS SOUS 407761 HAS SOUPS 407761 WITH SCORE 409866.415
AT ITER 4761 NEW BEST:: SOT 5857524 SOS 2105371 HAS SOPS 2105371 HAS SOUS 407737 HAS SOUPS 407737 WITH SCORE 409842.371
AT ITER 4839 NEW BEST:: SOT 5857348 SOS 2105195 HAS SOPS 2105195 HAS SOUS 407561 HAS SOUPS 407561 WITH SCORE 409666.195
AT ITER 4840 NEW BEST:: SOT 5857346 SOS 2105193 HAS SOPS 2105193 HAS SOUS 407559 HAS SOUPS 407559 WITH SCORE 409664.193
AT ITER 4843 NEW BEST:: SOT 5857081 SOS 2104928 HAS SOPS 2104928 HAS SOUS 407277 HAS SOUPS 407277 WITH SCORE 409381.928
AT ITER 4860 NEW BEST:: SOT 5856955 SOS 2104802 HAS SOPS 2104802 HAS SOUS 407109 HAS SOUPS 407109 WITH SCORE 409213.802
AT ITER 4861 NEW BEST:: SOT 5857289 SOS 2105136 HAS SOPS 2105136 HAS SOUS 406831 HAS SOUPS 406831 WITH SCORE 408936.136
AT ITER 4870 NEW BEST:: SOT 5857512 SOS 2105138 HAS SOPS 2105138 HAS SOUS 405519 HAS SOUPS 405519 WITH SCORE 407624.138
AT ITER 4876 NEW BEST:: SOT 5857309 SOS 2104726 HAS SOPS 2104726 HAS SOUS 405107 HAS SOUPS 405107 WITH SCORE 407211.726
AT ITER 4886 NEW BEST:: SOT 5857260 SOS 2104677 HAS SOPS 2104677 HAS SOUS 404619 HAS SOUPS 404619 WITH SCORE 406723.677
AT ITER 4905 NEW BEST:: SOT 5857260 SOS 2104658 HAS SOPS 2104658 HAS SOUS 404600 HAS SOUPS 404600 WITH SCORE 406704.658
AT ITER 4906 NEW BEST:: SOT 5857242 SOS 1573120 HAS SOPS 1573120 HAS SOUS 403658 HAS SOUPS 403658 WITH SCORE 405231.12
AT ITER 4913 NEW BEST:: SOT 5857599 SOS 1573477 HAS SOPS 1573477 HAS SOUS 403572 HAS SOUPS 403572 WITH SCORE 405145.477
AT ITER 4923 NEW BEST:: SOT 5857597 SOS 1573475 HAS SOPS 1573475 HAS SOUS 403570 HAS SOUPS 403570 WITH SCORE 405143.475
AT ITER 4939 NEW BEST:: SOT 5857597 SOS 1573423 HAS SOPS 1573423 HAS SOUS 403570 HAS SOUPS 403570 WITH SCORE 405143.423
AT ITER 4940 NEW BEST:: SOT 5857537 SOS 1573363 HAS SOPS 1573363 HAS SOUS 403480 HAS SOUPS 403480 WITH SCORE 405053.363
AT ITER 4969 NEW BEST:: SOT 5857445 SOS 1573271 HAS SOPS 1573271 HAS SOUS 403287 HAS SOUPS 403287 WITH SCORE 404860.271
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-00 (AG( (! (! ( potential( (tk(P219)) <= (tk(P1139)) ) | potential( ( 3 ) <= (tk(P67) + tk(P115) + tk(P180) + tk(P455) + tk(P520) + tk(P834) + tk(P899) + tk(P1011) + tk(P1082) + tk(P1221)) ) )))))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-01 (EF((EU( potential( (tk(P116)) <= (tk(P475)) ),potential( ( 3 ) <= (tk(P940)) ) ))))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-02 (! (EF((! potential( (tk(P5) + tk(P30) + tk(P33) + tk(P44) + tk(P99) + tk(P100) + tk(P105) + tk(P112) + tk(P139) + tk(P165) + tk(P181) + tk(P208) + tk(P229) + tk(P242) + tk(P252) + tk(P265) + tk(P270) + tk(P318) + tk(P337) + tk(P380) + tk(P401) + tk(P410) + tk(P421) + tk(P430) + tk(P436) + tk(P439) + tk(P443) + tk(P469) + tk(P514) + tk(P522) + tk(P535) + tk(P549) + tk(P584) + tk(P585) + tk(P603) + tk(P617) + tk(P622) + tk(P641) + tk(P684) + tk(P690) + tk(P754) + tk(P761) + tk(P890) + tk(P912) + tk(P934) + tk(P957) + tk(P984) + tk(P995) + tk(P997) + tk(P1017) + tk(P1023) + tk(P1094) + tk(P1116) + tk(P1120) + tk(P1127) + tk(P1132) + tk(P1157) + tk(P1171) + tk(P1174) + tk(P1201) + tk(P1229)) <= (tk(P98)) )))))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-03 (EF(( potential( ( 2 ) <= (tk(P3) + tk(P7) + tk(P8) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P22) + tk(P23) + tk(P26) + tk(P28) + tk(P29) + tk(P34) + tk(P38) + tk(P40) + tk(P41) + tk(P43) + tk(P48) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P58) + tk(P60) + tk(P61) + tk(P63) + tk(P64) + tk(P69) + tk(P71) + tk(P72) + tk(P75) + tk(P78) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P89) + tk(P91) + tk(P92) + tk(P94) + tk(P96) + tk(P97) + tk(P101) + tk(P102) + tk(P104) + tk(P106) + tk(P108) + tk(P109) + tk(P117) + tk(P118) + tk(P119) + tk(P121) + tk(P123) + tk(P124) + tk(P127) + tk(P129) + tk(P130) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P143) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P157) + tk(P161) + tk(P163) + tk(P166) + tk(P167) + tk(P172) + tk(P173) + tk(P175) + tk(P179) + tk(P182) + tk(P183) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P191) + tk(P192) + tk(P194) + tk(P195) + tk(P196) + tk(P204) + tk(P205) + tk(P206) + tk(P211) + tk(P214) + tk(P217) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P230) + tk(P231) + tk(P232) + tk(P236) + tk(P239) + tk(P241) + tk(P243) + tk(P247) + tk(P250) + tk(P251) + tk(P253) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P261) + tk(P263) + tk(P264) + tk(P266) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P281) + tk(P282) + tk(P283) + tk(P285) + tk(P289) + tk(P293) + tk(P294) + tk(P297) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P307) + tk(P308) + tk(P312) + tk(P313) + tk(P314) + tk(P316) + tk(P317) + tk(P320) + tk(P322) + tk(P324) + tk(P326) + tk(P328) + tk(P331) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P339) + tk(P342) + tk(P344) + tk(P345) + tk(P346) + tk(P348) + tk(P349) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P356) + tk(P363) + tk(P368) + tk(P370) + tk(P372) + tk(P373) + tk(P375) + tk(P376) + tk(P378) + tk(P379) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P389) + tk(P391) + tk(P392) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P408) + tk(P409) + tk(P412) + tk(P413) + tk(P414) + tk(P416) + tk(P417) + tk(P418) + tk(P422) + tk(P426) + tk(P429) + tk(P431) + tk(P437) + tk(P440) + tk(P441) + tk(P442) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P452) + tk(P456) + tk(P458) + tk(P459) + tk(P460) + tk(P463) + tk(P464) + tk(P465) + tk(P467) + tk(P472) + tk(P476) + tk(P477) + tk(P478) + tk(P480) + tk(P483) + tk(P485) + tk(P486) + tk(P488) + tk(P489) + tk(P490) + tk(P493) + tk(P497) + tk(P503) + tk(P504) + tk(P506) + tk(P507) + tk(P509) + tk(P510) + tk(P512) + tk(P513) + tk(P515) + tk(P518) + tk(P523) + tk(P524) + tk(P525) + tk(P527) + tk(P530) + tk(P534) + tk(P536) + tk(P537) + tk(P539) + tk(P541) + tk(P542) + tk(P544) + tk(P548) + tk(P550) + tk(P554) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P561) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P576) + tk(P577) + tk(P579) + tk(P580) + tk(P581) + tk(P586) + tk(P588) + tk(P589) + tk(P590) + tk(P593) + tk(P595) + tk(P598) + tk(P600) + tk(P601) + tk(P607) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P614) + tk(P616) + tk(P621) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P632) + tk(P633) + tk(P639) + tk(P640) + tk(P642) + tk(P644) + tk(P647) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P655) + tk(P656) + tk(P657) + tk(P659) + tk(P660) + tk(P663) + tk(P665) + tk(P667) + tk(P669) + tk(P672) + tk(P675) + tk(P676) + tk(P677) + tk(P679) + tk(P681) + tk(P683) + tk(P685) + tk(P688) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P698) + tk(P700) + tk(P703) + tk(P705) + tk(P706) + tk(P713) + tk(P715) + tk(P716) + tk(P718) + tk(P721) + tk(P723) + tk(P725) + tk(P726) + tk(P727) + tk(P730) + tk(P731) + tk(P734) + tk(P736) + tk(P737) + tk(P739) + tk(P740) + tk(P742) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P753) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P765) + tk(P769) + tk(P772) + tk(P773) + tk(P775) + tk(P776) + tk(P777) + tk(P780) + tk(P781) + tk(P784) + tk(P786) + tk(P787) + tk(P791) + tk(P792) + tk(P793) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P802) + tk(P803) + tk(P804) + tk(P810) + tk(P811) + tk(P813) + tk(P818) + tk(P819) + tk(P821) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P832) + tk(P833) + tk(P836) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P845) + tk(P847) + tk(P850) + tk(P851) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P866) + tk(P867) + tk(P868) + tk(P870) + tk(P872) + tk(P875) + tk(P877) + tk(P878) + tk(P881) + tk(P882) + tk(P884) + tk(P886) + tk(P891) + tk(P892) + tk(P897) + tk(P900) + tk(P902) + tk(P903) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P910) + tk(P918) + tk(P922) + tk(P923) + tk(P924) + tk(P927) + tk(P928) + tk(P930) + tk(P931) + tk(P936) + tk(P938) + tk(P941) + tk(P943) + tk(P944) + tk(P945) + tk(P951) + tk(P952) + tk(P953) + tk(P954) + tk(P955) + tk(P956) + tk(P958) + tk(P959) + tk(P965) + tk(P967) + tk(P968) + tk(P970) + tk(P972) + tk(P975) + tk(P977) + tk(P979) + tk(P980) + tk(P981) + tk(P985) + tk(P988) + tk(P991) + tk(P992) + tk(P994) + tk(P996) + tk(P998) + tk(P1000) + tk(P1001) + tk(P1002) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1007) + tk(P1008) + tk(P1010) + tk(P1012) + tk(P1013) + tk(P1015) + tk(P1016) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1024) + tk(P1031) + tk(P1032) + tk(P1034) + tk(P1036) + tk(P1038) + tk(P1040) + tk(P1041) + tk(P1043) + tk(P1044) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1050) + tk(P1052) + tk(P1053) + tk(P1059) + tk(P1065) + tk(P1068) + tk(P1071) + tk(P1072) + tk(P1076) + tk(P1078) + tk(P1080) + tk(P1084) + tk(P1085) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1096) + tk(P1098) + tk(P1099) + tk(P1102) + tk(P1103) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1114) + tk(P1115) + tk(P1119) + tk(P1121) + tk(P1126) + tk(P1129) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1141) + tk(P1142) + tk(P1144) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1161) + tk(P1164) + tk(P1166) + tk(P1169) + tk(P1170) + tk(P1172) + tk(P1178) + tk(P1179) + tk(P1185) + tk(P1186) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1196) + tk(P1198) + tk(P1199) + tk(P1203) + tk(P1204) + tk(P1206) + tk(P1207) + tk(P1208) + tk(P1212) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1219) + tk(P1220) + tk(P1223) + tk(P1224) + tk(P1226) + tk(P1230) + tk(P1232)) ) | (EG( potential( ( 3 ) <= (tk(P364)) ))) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-04 (EF((! potential( (tk(P20) + tk(P46) + tk(P47) + tk(P50) + tk(P107) + tk(P131) + tk(P169) + tk(P197) + tk(P226) + tk(P233) + tk(P235) + tk(P244) + tk(P245) + tk(P319) + tk(P321) + tk(P367) + tk(P374) + tk(P377) + tk(P450) + tk(P451) + tk(P462) + tk(P470) + tk(P502) + tk(P519) + tk(P547) + tk(P552) + tk(P565) + tk(P575) + tk(P591) + tk(P599) + tk(P629) + tk(P646) + tk(P671) + tk(P701) + tk(P709) + tk(P712) + tk(P738) + tk(P801) + tk(P806) + tk(P837) + tk(P848) + tk(P861) + tk(P889) + tk(P893) + tk(P929) + tk(P949) + tk(P973) + tk(P974) + tk(P1014) + tk(P1039) + tk(P1042) + tk(P1055) + tk(P1088) + tk(P1093) + tk(P1104) + tk(P1130) + tk(P1131) + tk(P1165) + tk(P1180) + tk(P1187) + tk(P1190)) <= (tk(P311)) ))))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-05 (EU( (EG( potential( (tk(P939)) <= (tk(P411)) ))),( potential( (tk(P560)) <= (tk(P778)) ) & ( potential( ( 3 ) <= (tk(P116)) ) & potential( (tk(P24) + tk(P32) + tk(P56) + tk(P57) + tk(P68) + tk(P177) + tk(P178) + tk(P202) + tk(P210) + tk(P227) + tk(P240) + tk(P248) + tk(P249) + tk(P262) + tk(P350) + tk(P357) + tk(P359) + tk(P362) + tk(P369) + tk(P388) + tk(P390) + tk(P423) + tk(P487) + tk(P532) + tk(P553) + tk(P555) + tk(P562) + tk(P597) + tk(P631) + tk(P664) + tk(P668) + tk(P670) + tk(P686) + tk(P689) + tk(P710) + tk(P720) + tk(P735) + tk(P767) + tk(P785) + tk(P794) + tk(P814) + tk(P823) + tk(P862) + tk(P911) + tk(P915) + tk(P960) + tk(P966) + tk(P999) + tk(P1045) + tk(P1051) + tk(P1075) + tk(P1086) + tk(P1101) + tk(P1155) + tk(P1156) + tk(P1173) + tk(P1177) + tk(P1184) + tk(P1195) + tk(P1197) + tk(P1217)) <= (tk(P763)) ) ) ) ))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-06 ( potential( ( 3 ) <= (tk(P1143)) ) & (AG( potential( (tk(P79)) <= (tk(P116)) ))) )
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-07 (! (! ( (AG( potential( (tk(P3) + tk(P7) + tk(P8) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P22) + tk(P23) + tk(P26) + tk(P28) + tk(P29) + tk(P34) + tk(P38) + tk(P40) + tk(P41) + tk(P43) + tk(P48) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P58) + tk(P60) + tk(P61) + tk(P63) + tk(P64) + tk(P69) + tk(P71) + tk(P72) + tk(P75) + tk(P78) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P89) + tk(P91) + tk(P92) + tk(P94) + tk(P96) + tk(P97) + tk(P101) + tk(P102) + tk(P104) + tk(P106) + tk(P108) + tk(P109) + tk(P117) + tk(P118) + tk(P119) + tk(P121) + tk(P123) + tk(P124) + tk(P127) + tk(P129) + tk(P130) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P143) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P157) + tk(P161) + tk(P163) + tk(P166) + tk(P167) + tk(P172) + tk(P173) + tk(P175) + tk(P179) + tk(P182) + tk(P183) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P191) + tk(P192) + tk(P194) + tk(P195) + tk(P196) + tk(P204) + tk(P205) + tk(P206) + tk(P211) + tk(P214) + tk(P217) + tk(P220) + tk(P221) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P230) + tk(P231) + tk(P232) + tk(P236) + tk(P239) + tk(P241) + tk(P243) + tk(P247) + tk(P250) + tk(P251) + tk(P253) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P261) + tk(P263) + tk(P264) + tk(P266) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P281) + tk(P282) + tk(P283) + tk(P285) + tk(P289) + tk(P293) + tk(P294) + tk(P297) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P307) + tk(P308) + tk(P312) + tk(P313) + tk(P314) + tk(P316) + tk(P317) + tk(P320) + tk(P322) + tk(P324) + tk(P326) + tk(P328) + tk(P331) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P339) + tk(P342) + tk(P344) + tk(P345) + tk(P346) + tk(P348) + tk(P349) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P356) + tk(P363) + tk(P368) + tk(P370) + tk(P372) + tk(P373) + tk(P375) + tk(P376) + tk(P378) + tk(P379) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P389) + tk(P391) + tk(P392) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P408) + tk(P409) + tk(P412) + tk(P413) + tk(P414) + tk(P416) + tk(P417) + tk(P418) + tk(P422) + tk(P426) + tk(P429) + tk(P431) + tk(P437) + tk(P440) + tk(P441) + tk(P442) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P452) + tk(P456) + tk(P458) + tk(P459) + tk(P460) + tk(P463) + tk(P464) + tk(P465) + tk(P467) + tk(P472) + tk(P476) + tk(P477) + tk(P478) + tk(P480) + tk(P483) + tk(P485) + tk(P486) + tk(P488) + tk(P489) + tk(P490) + tk(P493) + tk(P497) + tk(P503) + tk(P504) + tk(P506) + tk(P507) + tk(P509) + tk(P510) + tk(P512) + tk(P513) + tk(P515) + tk(P518) + tk(P523) + tk(P524) + tk(P525) + tk(P527) + tk(P530) + tk(P534) + tk(P536) + tk(P537) + tk(P539) + tk(P541) + tk(P542) + tk(P544) + tk(P548) + tk(P550) + tk(P554) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P561) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573) + tk(P574) + tk(P576) + tk(P577) + tk(P579) + tk(P580) + tk(P581) + tk(P586) + tk(P588) + tk(P589) + tk(P590) + tk(P593) + tk(P595) + tk(P598) + tk(P600) + tk(P601) + tk(P607) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P614) + tk(P616) + tk(P621) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P632) + tk(P633) + tk(P639) + tk(P640) + tk(P642) + tk(P644) + tk(P647) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P655) + tk(P656) + tk(P657) + tk(P659) + tk(P660) + tk(P663) + tk(P665) + tk(P667) + tk(P669) + tk(P672) + tk(P675) + tk(P676) + tk(P677) + tk(P679) + tk(P681) + tk(P683) + tk(P685) + tk(P688) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P698) + tk(P700) + tk(P703) + tk(P705) + tk(P706) + tk(P713) + tk(P715) + tk(P716) + tk(P718) + tk(P721) + tk(P723) + tk(P725) + tk(P726) + tk(P727) + tk(P730) + tk(P731) + tk(P734) + tk(P736) + tk(P737) + tk(P739) + tk(P740) + tk(P742) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P753) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P765) + tk(P769) + tk(P772) + tk(P773) + tk(P775) + tk(P776) + tk(P777) + tk(P780) + tk(P781) + tk(P784) + tk(P786) + tk(P787) + tk(P791) + tk(P792) + tk(P793) + tk(P795) + tk(P796) + tk(P797) + tk(P798) + tk(P799) + tk(P800) + tk(P802) + tk(P803) + tk(P804) + tk(P810) + tk(P811) + tk(P813) + tk(P818) + tk(P819) + tk(P821) + tk(P827) + tk(P828) + tk(P829) + tk(P830) + tk(P832) + tk(P833) + tk(P836) + tk(P838) + tk(P839) + tk(P840) + tk(P841) + tk(P842) + tk(P843) + tk(P845) + tk(P847) + tk(P850) + tk(P851) + tk(P854) + tk(P855) + tk(P856) + tk(P857) + tk(P858) + tk(P859) + tk(P860) + tk(P866) + tk(P867) + tk(P868) + tk(P870) + tk(P872) + tk(P875) + tk(P877) + tk(P878) + tk(P881) + tk(P882) + tk(P884) + tk(P886) + tk(P891) + tk(P892) + tk(P897) + tk(P900) + tk(P902) + tk(P903) + tk(P905) + tk(P906) + tk(P907) + tk(P908) + tk(P910) + tk(P918) + tk(P922) + tk(P923) + tk(P924) + tk(P927) + tk(P928) + tk(P930) + tk(P931) + tk(P936) + tk(P938) + tk(P941) + tk(P943) + tk(P944) + tk(P945) + tk(P951) + tk(P952) + tk(P953) + tk(P954) + tk(P955) + tk(P956) + tk(P958) + tk(P959) + tk(P965) + tk(P967) + tk(P968) + tk(P970) + tk(P972) + tk(P975) + tk(P977) + tk(P979) + tk(P980) + tk(P981) + tk(P985) + tk(P988) + tk(P991) + tk(P992) + tk(P994) + tk(P996) + tk(P998) + tk(P1000) + tk(P1001) + tk(P1002) + tk(P1003) + tk(P1004) + tk(P1005) + tk(P1007) + tk(P1008) + tk(P1010) + tk(P1012) + tk(P1013) + tk(P1015) + tk(P1016) + tk(P1019) + tk(P1020) + tk(P1021) + tk(P1022) + tk(P1024) + tk(P1031) + tk(P1032) + tk(P1034) + tk(P1036) + tk(P1038) + tk(P1040) + tk(P1041) + tk(P1043) + tk(P1044) + tk(P1046) + tk(P1047) + tk(P1048) + tk(P1050) + tk(P1052) + tk(P1053) + tk(P1059) + tk(P1065) + tk(P1068) + tk(P1071) + tk(P1072) + tk(P1076) + tk(P1078) + tk(P1080) + tk(P1084) + tk(P1085) + tk(P1089) + tk(P1090) + tk(P1091) + tk(P1092) + tk(P1096) + tk(P1098) + tk(P1099) + tk(P1102) + tk(P1103) + tk(P1105) + tk(P1106) + tk(P1107) + tk(P1108) + tk(P1110) + tk(P1111) + tk(P1112) + tk(P1114) + tk(P1115) + tk(P1119) + tk(P1121) + tk(P1126) + tk(P1129) + tk(P1134) + tk(P1135) + tk(P1136) + tk(P1137) + tk(P1141) + tk(P1142) + tk(P1144) + tk(P1146) + tk(P1147) + tk(P1148) + tk(P1149) + tk(P1151) + tk(P1152) + tk(P1153) + tk(P1161) + tk(P1164) + tk(P1166) + tk(P1169) + tk(P1170) + tk(P1172) + tk(P1178) + tk(P1179) + tk(P1185) + tk(P1186) + tk(P1191) + tk(P1192) + tk(P1193) + tk(P1194) + tk(P1196) + tk(P1198) + tk(P1199) + tk(P1203) + tk(P1204) + tk(P1206) + tk(P1207) + tk(P1208) + tk(P1212) + tk(P1214) + tk(P1215) + tk(P1216) + tk(P1219) + tk(P1220) + tk(P1223) + tk(P1224) + tk(P1226) + tk(P1230) + tk(P1232)) <= (tk(P156) + tk(P292) + tk(P529) + tk(P615) + tk(P645) + tk(P666) + tk(P901) + tk(P1033) + tk(P1074) + tk(P1234)) ))) & (! (! potential( ( 1 ) <= (tk(P156) + tk(P292) + tk(P529) + tk(P615) + tk(P645) + tk(P666) + tk(P901) + tk(P1033) + tk(P1074) + tk(P1234)) ))) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-08 (! (EU( potential( (tk(P808)) <= (tk(P1057)) ),potential( ( 3 ) <= (tk(P457)) ) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-09 (AF(potential( ( 3 ) <= (tk(P598)) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-10 ( ( potential( (tk(P1023)) <= (tk(P70)) ) & (AG( potential( (tk(P926)) <= (tk(P823)) ))) ) & ( potential( (tk(P593)) <= (tk(P25)) ) & (AF(( potential( ( 2 ) <= (tk(P673)) ) | potential( (tk(P291)) <= (tk(P776)) ) ))) ) )
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-11 ( ( (AU( potential( (tk(P638)) <= (tk(P647)) ),potential( ( 1 ) <= (tk(P1064)) ) )) | (! (! ( potential( ( 1 ) <= (tk(P1070)) ) | potential( ( 2 ) <= (tk(P697)) ) ))) ) | potential( ( 3 ) <= (tk(P806)) ) )
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-12 (AG( (AF((! potential( (tk(P1178)) <= (tk(P1169)) ))))))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-13 (EF(( potential( (tk(P572)) <= (tk(P747)) ) & ( potential( ( 3 ) <= (tk(P744)) ) & potential( ( 2 ) <= (tk(P72)) ) ) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-14 (AG( potential( (tk(P904)) <= (tk(P708)) )))
PROPERTY: PolyORBNT-PT-S10J60-CTLCardinality-15 (! (AG( ( ( potential( ( 1 ) <= (tk(P551)) ) | potential( (tk(P1006)) <= (tk(P231)) ) ) | (! potential( (tk(P572)) <= (tk(P404)) )) ))))

BK_STOP 1589652504942

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 480 Aborted ${SMART} ${INPUT_SM}

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="PolyORBNT-PT-S10J60"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S10J60, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961355100699"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J60.tgz
mv PolyORBNT-PT-S10J60 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;