Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484700784.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700784
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.3K Feb 25 20:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 20:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 19:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 19:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 22:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 22:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 21:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 21:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 987K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678427386028

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-13a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 05:49:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 05:49:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 05:49:47] [INFO ] Load time of PNML (sax parser for PT used): 144 ms
[2023-03-10 05:49:47] [INFO ] Transformed 463 places.
[2023-03-10 05:49:47] [INFO ] Transformed 3847 transitions.
[2023-03-10 05:49:47] [INFO ] Found NUPN structural information;
[2023-03-10 05:49:47] [INFO ] Parsed PT model containing 463 places and 3847 transitions and 15089 arcs in 230 ms.
[2023-03-10 05:49:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 463 places, 3847 transitions and 15089 arcs took 27 ms.
Total runtime 286 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 463 places, 3847 transitions, 15089 arcs.
AT ITER 0 NEW BEST:: SOT 1098087 SOS 951716 HAS SOPS 579739 HAS SOUS 102156 HAS SOUPS 74420 WITH SCORE 75371.716
AT ITER 18 NEW BEST:: SOT 1098376 SOS 952159 HAS SOPS 579412 HAS SOUS 101929 HAS SOUPS 73601 WITH SCORE 74553.159
AT ITER 28 NEW BEST:: SOT 1097848 SOS 951697 HAS SOPS 578620 HAS SOUS 101095 HAS SOUPS 72551 WITH SCORE 73502.697
AT ITER 40 NEW BEST:: SOT 1098875 SOS 952917 HAS SOPS 578682 HAS SOUS 100162 HAS SOUPS 71542 WITH SCORE 72494.917
AT ITER 46 NEW BEST:: SOT 1099007 SOS 949741 HAS SOPS 577291 HAS SOUS 100026 HAS SOUPS 71511 WITH SCORE 72460.741
AT ITER 57 NEW BEST:: SOT 1100331 SOS 951065 HAS SOPS 578397 HAS SOUS 100003 HAS SOUPS 71420 WITH SCORE 72371.065
AT ITER 69 NEW BEST:: SOT 1100297 SOS 951031 HAS SOPS 578363 HAS SOUS 99969 HAS SOUPS 71386 WITH SCORE 72337.031
AT ITER 76 NEW BEST:: SOT 1099073 SOS 949960 HAS SOPS 576527 HAS SOUS 96945 HAS SOUPS 68346 WITH SCORE 69295.96
AT ITER 77 NEW BEST:: SOT 1100432 SOS 948062 HAS SOPS 575989 HAS SOUS 99591 HAS SOUPS 68278 WITH SCORE 69226.062
AT ITER 100 NEW BEST:: SOT 1100328 SOS 949827 HAS SOPS 577718 HAS SOUS 96833 HAS SOUPS 68197 WITH SCORE 69146.827
AT ITER 105 NEW BEST:: SOT 1100472 SOS 948435 HAS SOPS 577890 HAS SOUS 96681 HAS SOUPS 68137 WITH SCORE 69085.435
AT ITER 114 NEW BEST:: SOT 1100472 SOS 948435 HAS SOPS 577890 HAS SOUS 96673 HAS SOUPS 68129 WITH SCORE 69077.435
AT ITER 117 NEW BEST:: SOT 1099552 SOS 947630 HAS SOPS 576510 HAS SOUS 95300 HAS SOUPS 66344 WITH SCORE 67291.63
AT ITER 127 NEW BEST:: SOT 1100409 SOS 948487 HAS SOPS 577367 HAS SOUS 95146 HAS SOUPS 66188 WITH SCORE 67136.487
AT ITER 133 NEW BEST:: SOT 1101082 SOS 945629 HAS SOPS 577083 HAS SOUS 95557 HAS SOUPS 65904 WITH SCORE 66849.629
AT ITER 144 NEW BEST:: SOT 1100668 SOS 945317 HAS SOPS 576261 HAS SOUS 93919 HAS SOUPS 64266 WITH SCORE 65211.317
AT ITER 164 NEW BEST:: SOT 1100452 SOS 950286 HAS SOPS 578826 HAS SOUS 93803 HAS SOUPS 64195 WITH SCORE 65145.286
AT ITER 177 NEW BEST:: SOT 1100720 SOS 950735 HAS SOPS 578370 HAS SOUS 93456 HAS SOUPS 63156 WITH SCORE 64106.735
AT ITER 184 NEW BEST:: SOT 1100757 SOS 950735 HAS SOPS 578370 HAS SOUS 93356 HAS SOUPS 63056 WITH SCORE 64006.735
AT ITER 190 NEW BEST:: SOT 1100879 SOS 949359 HAS SOPS 578371 HAS SOUS 93195 HAS SOUPS 62976 WITH SCORE 63925.359
AT ITER 206 NEW BEST:: SOT 1100911 SOS 946303 HAS SOPS 578418 HAS SOUS 92957 HAS SOUPS 62827 WITH SCORE 63773.303
AT ITER 209 NEW BEST:: SOT 1100833 SOS 944821 HAS SOPS 577735 HAS SOUS 92848 HAS SOUPS 62765 WITH SCORE 63709.821
AT ITER 210 NEW BEST:: SOT 1099756 SOS 943919 HAS SOPS 575958 HAS SOUS 91147 HAS SOUPS 60408 WITH SCORE 61351.919
AT ITER 211 NEW BEST:: SOT 1099747 SOS 943091 HAS SOPS 575130 HAS SOUS 91147 HAS SOUPS 60408 WITH SCORE 61351.091
AT ITER 214 NEW BEST:: SOT 1100475 SOS 943907 HAS SOPS 575418 HAS SOUS 90811 HAS SOUPS 60072 WITH SCORE 61015.907
AT ITER 232 NEW BEST:: SOT 1100443 SOS 943363 HAS SOPS 575322 HAS SOUS 90683 HAS SOUPS 59976 WITH SCORE 60919.363
AT ITER 241 NEW BEST:: SOT 1100161 SOS 943271 HAS SOPS 573990 HAS SOUS 88698 HAS SOUPS 57704 WITH SCORE 58647.271
AT ITER 247 NEW BEST:: SOT 1100052 SOS 948215 HAS SOPS 576634 HAS SOUS 88588 HAS SOUPS 57594 WITH SCORE 58542.215
AT ITER 259 NEW BEST:: SOT 1100006 SOS 945662 HAS SOPS 574081 HAS SOUS 88565 HAS SOUPS 57571 WITH SCORE 58516.662
AT ITER 260 NEW BEST:: SOT 1100039 SOS 945669 HAS SOPS 574055 HAS SOUS 88513 HAS SOUPS 57545 WITH SCORE 58490.669
AT ITER 270 NEW BEST:: SOT 1099692 SOS 946179 HAS SOPS 573999 HAS SOUS 87262 HAS SOUPS 56833 WITH SCORE 57779.179
AT ITER 293 NEW BEST:: SOT 1099679 SOS 946166 HAS SOPS 573986 HAS SOUS 87249 HAS SOUPS 56820 WITH SCORE 57766.166
AT ITER 302 NEW BEST:: SOT 1099600 SOS 946008 HAS SOPS 573907 HAS SOUS 87091 HAS SOUPS 56741 WITH SCORE 57687.008
AT ITER 305 NEW BEST:: SOT 1098481 SOS 944938 HAS SOPS 573142 HAS SOUS 87108 HAS SOUPS 56675 WITH SCORE 57619.938
AT ITER 316 NEW BEST:: SOT 1096209 SOS 937826 HAS SOPS 571054 HAS SOUS 87394 HAS SOUPS 56563 WITH SCORE 57500.826
AT ITER 324 NEW BEST:: SOT 1096318 SOS 938045 HAS SOPS 571053 HAS SOUS 87432 HAS SOUPS 56560 WITH SCORE 57498.045
AT ITER 326 NEW BEST:: SOT 1096256 SOS 937425 HAS SOPS 570960 HAS SOUS 87370 HAS SOUPS 56529 WITH SCORE 57466.425
AT ITER 334 NEW BEST:: SOT 1096344 SOS 936490 HAS SOPS 571045 HAS SOUS 87275 HAS SOUPS 56494 WITH SCORE 57430.49
AT ITER 335 NEW BEST:: SOT 1096297 SOS 936507 HAS SOPS 571062 HAS SOUS 87265 HAS SOUPS 56484 WITH SCORE 57420.507
AT ITER 343 NEW BEST:: SOT 1096649 SOS 937067 HAS SOPS 570374 HAS SOUS 85624 HAS SOUPS 54527 WITH SCORE 55464.067
AT ITER 347 NEW BEST:: SOT 1096863 SOS 937281 HAS SOPS 570351 HAS SOUS 84530 HAS SOUPS 54045 WITH SCORE 54982.281
AT ITER 353 NEW BEST:: SOT 1096841 SOS 937259 HAS SOPS 570329 HAS SOUS 84508 HAS SOUPS 54023 WITH SCORE 54960.259
AT ITER 356 NEW BEST:: SOT 1096790 SOS 934918 HAS SOPS 570217 HAS SOUS 84360 HAS SOUPS 53962 WITH SCORE 54896.918
AT ITER 367 NEW BEST:: SOT 1096775 SOS 934903 HAS SOPS 570202 HAS SOUS 84345 HAS SOUPS 53947 WITH SCORE 54881.903
AT ITER 376 NEW BEST:: SOT 1096623 SOS 933085 HAS SOPS 570050 HAS SOUS 83992 HAS SOUPS 53692 WITH SCORE 54625.085
AT ITER 396 NEW BEST:: SOT 1096236 SOS 932840 HAS SOPS 569805 HAS SOUS 83224 HAS SOUPS 52924 WITH SCORE 53856.84
AT ITER 409 NEW BEST:: SOT 1096206 SOS 932234 HAS SOPS 569667 HAS SOUS 83083 HAS SOUPS 52822 WITH SCORE 53754.234
AT ITER 417 NEW BEST:: SOT 1096172 SOS 931574 HAS SOPS 569630 HAS SOUS 83009 HAS SOUPS 52785 WITH SCORE 53716.574
AT ITER 418 NEW BEST:: SOT 1096286 SOS 931696 HAS SOPS 569638 HAS SOUS 83007 HAS SOUPS 52783 WITH SCORE 53714.696
AT ITER 426 NEW BEST:: SOT 1096232 SOS 931642 HAS SOPS 569584 HAS SOUS 82953 HAS SOUPS 52729 WITH SCORE 53660.642
AT ITER 437 NEW BEST:: SOT 1096193 SOS 931645 HAS SOPS 569587 HAS SOUS 82941 HAS SOUPS 52717 WITH SCORE 53648.645
AT ITER 441 NEW BEST:: SOT 1096209 SOS 931167 HAS SOPS 569109 HAS SOUS 82927 HAS SOUPS 52703 WITH SCORE 53634.167
AT ITER 451 NEW BEST:: SOT 1096158 SOS 931116 HAS SOPS 569058 HAS SOUS 82876 HAS SOUPS 52652 WITH SCORE 53583.116
AT ITER 456 NEW BEST:: SOT 1094549 SOS 923649 HAS SOPS 565215 HAS SOUS 82710 HAS SOUPS 52618 WITH SCORE 53541.649
AT ITER 459 NEW BEST:: SOT 1094489 SOS 920319 HAS SOPS 561885 HAS SOUS 82680 HAS SOUPS 52588 WITH SCORE 53508.319
AT ITER 460 NEW BEST:: SOT 1094482 SOS 920312 HAS SOPS 561878 HAS SOUS 82673 HAS SOUPS 52581 WITH SCORE 53501.312
AT ITER 464 NEW BEST:: SOT 1094463 SOS 920293 HAS SOPS 561859 HAS SOUS 82654 HAS SOUPS 52562 WITH SCORE 53482.293
AT ITER 467 NEW BEST:: SOT 1094936 SOS 921039 HAS SOPS 561820 HAS SOUS 81475 HAS SOUPS 51383 WITH SCORE 52304.039
AT ITER 480 NEW BEST:: SOT 1095039 SOS 921142 HAS SOPS 561779 HAS SOUS 81434 HAS SOUPS 51342 WITH SCORE 52263.142
AT ITER 487 NEW BEST:: SOT 1095032 SOS 921128 HAS SOPS 561779 HAS SOUS 81427 HAS SOUPS 51342 WITH SCORE 52263.128
AT ITER 516 NEW BEST:: SOT 1095016 SOS 921104 HAS SOPS 561771 HAS SOUS 81411 HAS SOUPS 51334 WITH SCORE 52255.104
AT ITER 517 NEW BEST:: SOT 1095016 SOS 921150 HAS SOPS 561725 HAS SOUS 81411 HAS SOUPS 51288 WITH SCORE 52209.15
AT ITER 533 NEW BEST:: SOT 1095491 SOS 921742 HAS SOPS 561615 HAS SOUS 80365 HAS SOUPS 50242 WITH SCORE 51163.742
AT ITER 542 NEW BEST:: SOT 1094854 SOS 921154 HAS SOPS 560081 HAS SOUS 76986 HAS SOUPS 47026 WITH SCORE 47947.154
AT ITER 546 NEW BEST:: SOT 1094851 SOS 921151 HAS SOPS 560078 HAS SOUS 76983 HAS SOUPS 47023 WITH SCORE 47944.151
AT ITER 556 NEW BEST:: SOT 1094809 SOS 920406 HAS SOPS 559333 HAS SOUS 76963 HAS SOUPS 47003 WITH SCORE 47923.406
AT ITER 565 NEW BEST:: SOT 1094732 SOS 920329 HAS SOPS 559428 HAS SOUS 76872 HAS SOUPS 46888 WITH SCORE 47808.329
AT ITER 581 NEW BEST:: SOT 1094649 SOS 912557 HAS SOPS 552914 HAS SOUS 76787 HAS SOUPS 46877 WITH SCORE 47789.557
AT ITER 587 NEW BEST:: SOT 1094631 SOS 912521 HAS SOPS 552914 HAS SOUS 76769 HAS SOUPS 46877 WITH SCORE 47789.521
AT ITER 591 NEW BEST:: SOT 1094055 SOS 911945 HAS SOPS 552338 HAS SOUS 76769 HAS SOUPS 46877 WITH SCORE 47788.945
AT ITER 597 NEW BEST:: SOT 1094032 SOS 912144 HAS SOPS 552333 HAS SOUS 76760 HAS SOUPS 46856 WITH SCORE 47768.144
AT ITER 600 NEW BEST:: SOT 1094010 SOS 912122 HAS SOPS 552333 HAS SOUS 76760 HAS SOUPS 46856 WITH SCORE 47768.122
AT ITER 604 NEW BEST:: SOT 1093995 SOS 912086 HAS SOPS 552312 HAS SOUS 76718 HAS SOUPS 46835 WITH SCORE 47747.086
AT ITER 607 NEW BEST:: SOT 1093927 SOS 912018 HAS SOPS 552244 HAS SOUS 76650 HAS SOUPS 46767 WITH SCORE 47679.018
AT ITER 620 NEW BEST:: SOT 1093920 SOS 912011 HAS SOPS 552237 HAS SOUS 76643 HAS SOUPS 46760 WITH SCORE 47672.011
AT ITER 624 NEW BEST:: SOT 1093951 SOS 912011 HAS SOPS 552237 HAS SOUS 76550 HAS SOUPS 46667 WITH SCORE 47579.011
AT ITER 634 NEW BEST:: SOT 1093913 SOS 908985 HAS SOPS 549211 HAS SOUS 76544 HAS SOUPS 46661 WITH SCORE 47569.985
AT ITER 643 NEW BEST:: SOT 1095212 SOS 910446 HAS SOPS 549700 HAS SOUS 75872 HAS SOUPS 45989 WITH SCORE 46899.446
AT ITER 644 NEW BEST:: SOT 1095204 SOS 910472 HAS SOPS 549726 HAS SOUS 75812 HAS SOUPS 45929 WITH SCORE 46839.472
AT ITER 648 NEW BEST:: SOT 1095178 SOS 910446 HAS SOPS 549700 HAS SOUS 75786 HAS SOUPS 45903 WITH SCORE 46813.446
AT ITER 654 NEW BEST:: SOT 1095164 SOS 910432 HAS SOPS 549686 HAS SOUS 75772 HAS SOUPS 45889 WITH SCORE 46799.432
AT ITER 659 NEW BEST:: SOT 1095209 SOS 909712 HAS SOPS 549641 HAS SOUS 75764 HAS SOUPS 45882 WITH SCORE 46791.712
AT ITER 663 NEW BEST:: SOT 1095192 SOS 909695 HAS SOPS 549624 HAS SOUS 75747 HAS SOUPS 45865 WITH SCORE 46774.695
AT ITER 664 NEW BEST:: SOT 1095125 SOS 909628 HAS SOPS 549557 HAS SOUS 75680 HAS SOUPS 45798 WITH SCORE 46707.628
AT ITER 674 NEW BEST:: SOT 1095127 SOS 909819 HAS SOPS 549561 HAS SOUS 75684 HAS SOUPS 45791 WITH SCORE 46700.819
AT ITER 681 NEW BEST:: SOT 1095562 SOS 910384 HAS SOPS 549828 HAS SOUS 75499 HAS SOUPS 45640 WITH SCORE 46550.384
AT ITER 691 NEW BEST:: SOT 1095560 SOS 910382 HAS SOPS 549827 HAS SOUS 75498 HAS SOUPS 45639 WITH SCORE 46549.382
AT ITER 695 NEW BEST:: SOT 1095560 SOS 910337 HAS SOPS 549782 HAS SOUS 75493 HAS SOUPS 45634 WITH SCORE 46544.337
AT ITER 697 NEW BEST:: SOT 1095560 SOS 910337 HAS SOPS 549769 HAS SOUS 75480 HAS SOUPS 45621 WITH SCORE 46531.337
AT ITER 698 NEW BEST:: SOT 1095563 SOS 904639 HAS SOPS 545132 HAS SOUS 75410 HAS SOUPS 45615 WITH SCORE 46519.639
AT ITER 701 NEW BEST:: SOT 1095563 SOS 904639 HAS SOPS 545132 HAS SOUS 75194 HAS SOUPS 45495 WITH SCORE 46399.639
AT ITER 714 NEW BEST:: SOT 1095518 SOS 904602 HAS SOPS 545095 HAS SOUS 75104 HAS SOUPS 45405 WITH SCORE 46309.602
AT ITER 718 NEW BEST:: SOT 1095545 SOS 904615 HAS SOPS 545081 HAS SOUS 75076 HAS SOUPS 45391 WITH SCORE 46295.615
AT ITER 733 NEW BEST:: SOT 1095077 SOS 904147 HAS SOPS 544613 HAS SOUS 75076 HAS SOUPS 45391 WITH SCORE 46295.147
AT ITER 767 NEW BEST:: SOT 1094417 SOS 903487 HAS SOPS 543953 HAS SOUS 75076 HAS SOUPS 45391 WITH SCORE 46294.487
AT ITER 776 NEW BEST:: SOT 1094388 SOS 903458 HAS SOPS 543924 HAS SOUS 75047 HAS SOUPS 45362 WITH SCORE 46265.458
AT ITER 783 NEW BEST:: SOT 1094375 SOS 903445 HAS SOPS 543911 HAS SOUS 75025 HAS SOUPS 45344 WITH SCORE 46247.445
AT ITER 807 NEW BEST:: SOT 1094355 SOS 903425 HAS SOPS 543891 HAS SOUS 75005 HAS SOUPS 45324 WITH SCORE 46227.425
AT ITER 808 NEW BEST:: SOT 1094340 SOS 903455 HAS SOPS 543846 HAS SOUS 74990 HAS SOUPS 45309 WITH SCORE 46212.455
AT ITER 809 NEW BEST:: SOT 1094305 SOS 903793 HAS SOPS 544184 HAS SOUS 74979 HAS SOUPS 45298 WITH SCORE 46201.793
AT ITER 812 NEW BEST:: SOT 1094339 SOS 905076 HAS SOPS 544318 HAS SOUS 75013 HAS SOUPS 45290 WITH SCORE 46195.076
AT ITER 818 NEW BEST:: SOT 1094339 SOS 905076 HAS SOPS 544318 HAS SOUS 75004 HAS SOUPS 45285 WITH SCORE 46190.076
AT ITER 825 NEW BEST:: SOT 1094981 SOS 905718 HAS SOPS 544960 HAS SOUS 75067 HAS SOUPS 45272 WITH SCORE 46177.718
AT ITER 853 NEW BEST:: SOT 1095055 SOS 897307 HAS SOPS 538368 HAS SOUS 74959 HAS SOUPS 45271 WITH SCORE 46168.307
AT ITER 862 NEW BEST:: SOT 1095060 SOS 897312 HAS SOPS 538373 HAS SOUS 74874 HAS SOUPS 45226 WITH SCORE 46123.312
AT ITER 865 NEW BEST:: SOT 1094951 SOS 897203 HAS SOPS 538264 HAS SOUS 74729 HAS SOUPS 45097 WITH SCORE 45994.203
AT ITER 870 NEW BEST:: SOT 1094942 SOS 897041 HAS SOPS 538255 HAS SOUS 74711 HAS SOUPS 45088 WITH SCORE 45985.041
AT ITER 882 NEW BEST:: SOT 1094962 SOS 897066 HAS SOPS 538250 HAS SOUS 74711 HAS SOUPS 45068 WITH SCORE 45965.066
AT ITER 904 NEW BEST:: SOT 1094955 SOS 897059 HAS SOPS 538243 HAS SOUS 74704 HAS SOUPS 45061 WITH SCORE 45958.059
AT ITER 915 NEW BEST:: SOT 1094985 SOS 897092 HAS SOPS 538258 HAS SOUS 74698 HAS SOUPS 45055 WITH SCORE 45952.092
AT ITER 938 NEW BEST:: SOT 1095010 SOS 897117 HAS SOPS 538204 HAS SOUS 74644 HAS SOUPS 45001 WITH SCORE 45898.117
AT ITER 958 NEW BEST:: SOT 1095026 SOS 897022 HAS SOPS 538192 HAS SOUS 74521 HAS SOUPS 44989 WITH SCORE 45886.022
AT ITER 960 NEW BEST:: SOT 1095116 SOS 897125 HAS SOPS 538245 HAS SOUS 74494 HAS SOUPS 44962 WITH SCORE 45859.125
AT ITER 985 NEW BEST:: SOT 1095116 SOS 897125 HAS SOPS 538161 HAS SOUS 74410 HAS SOUPS 44878 WITH SCORE 45775.125
AT ITER 1009 NEW BEST:: SOT 1095092 SOS 896669 HAS SOPS 537705 HAS SOUS 74386 HAS SOUPS 44854 WITH SCORE 45750.669
AT ITER 1010 NEW BEST:: SOT 1095059 SOS 896118 HAS SOPS 537672 HAS SOUS 74348 HAS SOUPS 44853 WITH SCORE 45749.118
AT ITER 1019 NEW BEST:: SOT 1094946 SOS 894155 HAS SOPS 538565 HAS SOUS 73975 HAS SOUPS 44648 WITH SCORE 45542.155
AT ITER 1030 NEW BEST:: SOT 1094890 SOS 894216 HAS SOPS 538566 HAS SOUS 74027 HAS SOUPS 44613 WITH SCORE 45507.216
AT ITER 1033 NEW BEST:: SOT 1094932 SOS 894258 HAS SOPS 538608 HAS SOUS 73924 HAS SOUPS 44610 WITH SCORE 45504.258
AT ITER 1074 NEW BEST:: SOT 1094866 SOS 894159 HAS SOPS 538509 HAS SOUS 73764 HAS SOUPS 44450 WITH SCORE 45344.159
AT ITER 1077 NEW BEST:: SOT 1094857 SOS 894157 HAS SOPS 538493 HAS SOUS 73755 HAS SOUPS 44434 WITH SCORE 45328.157
AT ITER 1085 NEW BEST:: SOT 1094837 SOS 893797 HAS SOPS 538473 HAS SOUS 73715 HAS SOUPS 44414 WITH SCORE 45307.797
AT ITER 1092 NEW BEST:: SOT 1094872 SOS 893797 HAS SOPS 538473 HAS SOUS 73628 HAS SOUPS 44327 WITH SCORE 45220.797
AT ITER 1100 NEW BEST:: SOT 1094902 SOS 893861 HAS SOPS 538215 HAS SOUS 73635 HAS SOUPS 44311 WITH SCORE 45204.861
AT ITER 1133 NEW BEST:: SOT 1094902 SOS 893749 HAS SOPS 538103 HAS SOUS 73635 HAS SOUPS 44311 WITH SCORE 45204.749
AT ITER 1148 NEW BEST:: SOT 1094896 SOS 893737 HAS SOPS 538091 HAS SOUS 73623 HAS SOUPS 44299 WITH SCORE 45192.737
AT ITER 1151 NEW BEST:: SOT 1094834 SOS 893675 HAS SOPS 538091 HAS SOUS 73623 HAS SOUPS 44299 WITH SCORE 45192.675
AT ITER 1152 NEW BEST:: SOT 1094786 SOS 893371 HAS SOPS 538011 HAS SOUS 73591 HAS SOUPS 44283 WITH SCORE 45176.371
AT ITER 1161 NEW BEST:: SOT 1095332 SOS 893985 HAS SOPS 538217 HAS SOUS 73253 HAS SOUPS 43945 WITH SCORE 44838.985
AT ITER 1165 NEW BEST:: SOT 1095308 SOS 891120 HAS SOPS 535352 HAS SOUS 73253 HAS SOUPS 43945 WITH SCORE 44836.12
AT ITER 1167 NEW BEST:: SOT 1095530 SOS 891272 HAS SOPS 535390 HAS SOUS 73108 HAS SOUPS 43848 WITH SCORE 44739.272
AT ITER 1182 NEW BEST:: SOT 1095537 SOS 891405 HAS SOPS 535132 HAS SOUS 73122 HAS SOUPS 43839 WITH SCORE 44730.405
AT ITER 1188 NEW BEST:: SOT 1095529 SOS 891397 HAS SOPS 535124 HAS SOUS 73114 HAS SOUPS 43831 WITH SCORE 44722.397
AT ITER 1231 NEW BEST:: SOT 1095181 SOS 891049 HAS SOPS 534776 HAS SOUS 73114 HAS SOUPS 43831 WITH SCORE 44722.049
AT ITER 1234 NEW BEST:: SOT 1095181 SOS 891049 HAS SOPS 534776 HAS SOUS 73105 HAS SOUPS 43826 WITH SCORE 44717.049
AT ITER 1244 NEW BEST:: SOT 1095290 SOS 891296 HAS SOPS 534333 HAS SOUS 72764 HAS SOUPS 42949 WITH SCORE 43840.296
AT ITER 1249 NEW BEST:: SOT 1095314 SOS 891311 HAS SOPS 534348 HAS SOUS 72757 HAS SOUPS 42942 WITH SCORE 43833.311
AT ITER 1252 NEW BEST:: SOT 1095325 SOS 891509 HAS SOPS 534359 HAS SOUS 72757 HAS SOUPS 42931 WITH SCORE 43822.509
AT ITER 1253 NEW BEST:: SOT 1095245 SOS 889989 HAS SOPS 533536 HAS SOUS 72681 HAS SOUPS 42896 WITH SCORE 43785.989
AT ITER 1257 NEW BEST:: SOT 1095262 SOS 889700 HAS SOPS 533536 HAS SOUS 72630 HAS SOUPS 42862 WITH SCORE 43751.7
AT ITER 1269 NEW BEST:: SOT 1095193 SOS 888990 HAS SOPS 533426 HAS SOUS 72500 HAS SOUPS 42758 WITH SCORE 43646.99
AT ITER 1274 NEW BEST:: SOT 1095182 SOS 888781 HAS SOPS 533217 HAS SOUS 72489 HAS SOUPS 42747 WITH SCORE 43635.781
AT ITER 1282 NEW BEST:: SOT 1095134 SOS 888787 HAS SOPS 532271 HAS SOUS 72472 HAS SOUPS 42674 WITH SCORE 43562.787
AT ITER 1283 NEW BEST:: SOT 1095111 SOS 888741 HAS SOPS 532271 HAS SOUS 72431 HAS SOUPS 42664 WITH SCORE 43552.741
AT ITER 1288 NEW BEST:: SOT 1095111 SOS 888741 HAS SOPS 532271 HAS SOUS 72404 HAS SOUPS 42649 WITH SCORE 43537.741
AT ITER 1316 NEW BEST:: SOT 1095113 SOS 888733 HAS SOPS 532348 HAS SOUS 72396 HAS SOUPS 42646 WITH SCORE 43534.733
AT ITER 1378 NEW BEST:: SOT 1095089 SOS 888685 HAS SOPS 532348 HAS SOUS 72372 HAS SOUPS 42646 WITH SCORE 43534.685
AT ITER 1402 NEW BEST:: SOT 1094039 SOS 885332 HAS SOPS 531479 HAS SOUS 72392 HAS SOUPS 42594 WITH SCORE 43479.332
AT ITER 1441 NEW BEST:: SOT 1093942 SOS 885138 HAS SOPS 531473 HAS SOUS 72343 HAS SOUPS 42569 WITH SCORE 43454.138
AT ITER 1444 NEW BEST:: SOT 1094025 SOS 885783 HAS SOPS 532118 HAS SOUS 72320 HAS SOUPS 42546 WITH SCORE 43431.783
AT ITER 1461 NEW BEST:: SOT 1094025 SOS 885783 HAS SOPS 532118 HAS SOUS 72203 HAS SOUPS 42481 WITH SCORE 43366.783
AT ITER 1466 NEW BEST:: SOT 1094054 SOS 881344 HAS SOPS 528215 HAS SOUS 72199 HAS SOUPS 42477 WITH SCORE 43358.344
AT ITER 1473 NEW BEST:: SOT 1093371 SOS 880784 HAS SOPS 527928 HAS SOUS 72190 HAS SOUPS 42432 WITH SCORE 43312.784
AT ITER 1482 NEW BEST:: SOT 1093270 SOS 880582 HAS SOPS 527827 HAS SOUS 71988 HAS SOUPS 42331 WITH SCORE 43211.582
AT ITER 1485 NEW BEST:: SOT 1093446 SOS 881297 HAS SOPS 528661 HAS SOUS 71934 HAS SOUPS 42322 WITH SCORE 43203.297
AT ITER 1488 NEW BEST:: SOT 1093348 SOS 881199 HAS SOPS 528661 HAS SOUS 71982 HAS SOUPS 42312 WITH SCORE 43193.199
AT ITER 1490 NEW BEST:: SOT 1093348 SOS 881176 HAS SOPS 528684 HAS SOUS 71959 HAS SOUPS 42312 WITH SCORE 43193.176
AT ITER 1517 NEW BEST:: SOT 1093325 SOS 881214 HAS SOPS 528507 HAS SOUS 71950 HAS SOUPS 42291 WITH SCORE 43172.214
AT ITER 1533 NEW BEST:: SOT 1093164 SOS 882076 HAS SOPS 529369 HAS SOUS 71693 HAS SOUPS 42034 WITH SCORE 42916.076
AT ITER 1537 NEW BEST:: SOT 1093135 SOS 882047 HAS SOPS 529369 HAS SOUS 71693 HAS SOUPS 42034 WITH SCORE 42916.047
AT ITER 1547 NEW BEST:: SOT 1093024 SOS 882087 HAS SOPS 529409 HAS SOUS 71674 HAS SOUPS 42015 WITH SCORE 42897.087
AT ITER 1568 NEW BEST:: SOT 1092736 SOS 879131 HAS SOPS 528828 HAS SOUS 71297 HAS SOUPS 41763 WITH SCORE 42642.131
AT ITER 1571 NEW BEST:: SOT 1093114 SOS 880348 HAS SOPS 529095 HAS SOUS 71103 HAS SOUPS 41614 WITH SCORE 42494.348
AT ITER 1580 NEW BEST:: SOT 1093152 SOS 879816 HAS SOPS 529107 HAS SOUS 71068 HAS SOUPS 41611 WITH SCORE 42490.816
AT ITER 1589 NEW BEST:: SOT 1093152 SOS 879816 HAS SOPS 529107 HAS SOUS 70727 HAS SOUPS 41442 WITH SCORE 42321.816
AT ITER 1631 NEW BEST:: SOT 1093148 SOS 879808 HAS SOPS 529107 HAS SOUS 70723 HAS SOUPS 41442 WITH SCORE 42321.808
AT ITER 1634 NEW BEST:: SOT 1093134 SOS 879318 HAS SOPS 528855 HAS SOUS 70708 HAS SOUPS 41441 WITH SCORE 42320.318
AT ITER 1646 NEW BEST:: SOT 1093104 SOS 879258 HAS SOPS 528855 HAS SOUS 70678 HAS SOUPS 41441 WITH SCORE 42320.258
AT ITER 1715 NEW BEST:: SOT 1093078 SOS 878858 HAS SOPS 528455 HAS SOUS 70652 HAS SOUPS 41415 WITH SCORE 42293.858
AT ITER 1720 NEW BEST:: SOT 1092967 SOS 879068 HAS SOPS 528409 HAS SOUS 70582 HAS SOUPS 41360 WITH SCORE 42239.068
AT ITER 1733 NEW BEST:: SOT 1092848 SOS 878949 HAS SOPS 528409 HAS SOUS 70552 HAS SOUPS 41330 WITH SCORE 42208.949
AT ITER 1746 NEW BEST:: SOT 1092848 SOS 878949 HAS SOPS 528409 HAS SOUS 70526 HAS SOUPS 41304 WITH SCORE 42182.949
AT ITER 1765 NEW BEST:: SOT 1092861 SOS 878962 HAS SOPS 528409 HAS SOUS 70517 HAS SOUPS 41299 WITH SCORE 42177.962
AT ITER 1776 NEW BEST:: SOT 1092845 SOS 878930 HAS SOPS 528409 HAS SOUS 70501 HAS SOUPS 41299 WITH SCORE 42177.93
AT ITER 1796 NEW BEST:: SOT 1093308 SOS 880512 HAS SOPS 528901 HAS SOUS 70296 HAS SOUPS 41265 WITH SCORE 42145.512
AT ITER 1812 NEW BEST:: SOT 1093323 SOS 880758 HAS SOPS 528773 HAS SOUS 70290 HAS SOUPS 41237 WITH SCORE 42117.758
AT ITER 1815 NEW BEST:: SOT 1093318 SOS 880763 HAS SOPS 528778 HAS SOUS 70285 HAS SOUPS 41232 WITH SCORE 42112.763
AT ITER 1822 NEW BEST:: SOT 1093357 SOS 880711 HAS SOPS 528362 HAS SOUS 70308 HAS SOUPS 41229 WITH SCORE 42109.711
AT ITER 1868 NEW BEST:: SOT 1093357 SOS 880711 HAS SOPS 528362 HAS SOUS 70182 HAS SOUPS 41159 WITH SCORE 42039.711
AT ITER 1877 NEW BEST:: SOT 1093357 SOS 880711 HAS SOPS 528362 HAS SOUS 70164 HAS SOUPS 41149 WITH SCORE 42029.711
AT ITER 1957 NEW BEST:: SOT 1093304 SOS 880171 HAS SOPS 528256 HAS SOUS 70049 HAS SOUPS 41065 WITH SCORE 41945.171
AT ITER 1990 NEW BEST:: SOT 1093281 SOS 880148 HAS SOPS 528256 HAS SOUS 70049 HAS SOUPS 41065 WITH SCORE 41945.148
AT ITER 1992 NEW BEST:: SOT 1093282 SOS 880130 HAS SOPS 528255 HAS SOUS 70046 HAS SOUPS 41063 WITH SCORE 41943.13
AT ITER 1993 NEW BEST:: SOT 1093597 SOS 881006 HAS SOPS 528466 HAS SOUS 69943 HAS SOUPS 40995 WITH SCORE 41876.006
AT ITER 2014 NEW BEST:: SOT 1093619 SOS 881424 HAS SOPS 528510 HAS SOUS 69933 HAS SOUPS 40963 WITH SCORE 41844.424
AT ITER 2018 NEW BEST:: SOT 1093590 SOS 881395 HAS SOPS 528481 HAS SOUS 69904 HAS SOUPS 40934 WITH SCORE 41815.395
AT ITER 2020 NEW BEST:: SOT 1093566 SOS 878217 HAS SOPS 525830 HAS SOUS 69854 HAS SOUPS 40915 WITH SCORE 41793.217
AT ITER 2031 NEW BEST:: SOT 1093564 SOS 878215 HAS SOPS 525828 HAS SOUS 69852 HAS SOUPS 40913 WITH SCORE 41791.215
AT ITER 2041 NEW BEST:: SOT 1093546 SOS 876907 HAS SOPS 524520 HAS SOUS 69846 HAS SOUPS 40907 WITH SCORE 41783.907
AT ITER 2053 NEW BEST:: SOT 1093484 SOS 876747 HAS SOPS 524400 HAS SOUS 69746 HAS SOUPS 40772 WITH SCORE 41648.747
AT ITER 2066 NEW BEST:: SOT 1093230 SOS 876193 HAS SOPS 524260 HAS SOUS 69745 HAS SOUPS 40771 WITH SCORE 41647.193
AT ITER 2088 NEW BEST:: SOT 1093193 SOS 868315 HAS SOPS 517946 HAS SOUS 69566 HAS SOUPS 40684 WITH SCORE 41552.315
AT ITER 2091 NEW BEST:: SOT 1093250 SOS 868313 HAS SOPS 517929 HAS SOUS 69490 HAS SOUPS 40667 WITH SCORE 41535.313
AT ITER 2111 NEW BEST:: SOT 1093248 SOS 859163 HAS SOPS 510751 HAS SOUS 69346 HAS SOUPS 40639 WITH SCORE 41498.163
AT ITER 2129 NEW BEST:: SOT 1093248 SOS 859163 HAS SOPS 510751 HAS SOUS 69247 HAS SOUPS 40584 WITH SCORE 41443.163
AT ITER 2143 NEW BEST:: SOT 1093231 SOS 858653 HAS SOPS 510513 HAS SOUS 69221 HAS SOUPS 40574 WITH SCORE 41432.653
AT ITER 2164 NEW BEST:: SOT 1093094 SOS 858685 HAS SOPS 508909 HAS SOUS 69264 HAS SOUPS 40522 WITH SCORE 41380.685
AT ITER 2186 NEW BEST:: SOT 1093039 SOS 858630 HAS SOPS 508909 HAS SOUS 69264 HAS SOUPS 40522 WITH SCORE 41380.63
AT ITER 2248 NEW BEST:: SOT 1093017 SOS 858212 HAS SOPS 508865 HAS SOUS 69233 HAS SOUPS 40513 WITH SCORE 41371.212
AT ITER 2260 NEW BEST:: SOT 1093069 SOS 855335 HAS SOPS 508079 HAS SOUS 68900 HAS SOUPS 40303 WITH SCORE 41158.335
AT ITER 2261 NEW BEST:: SOT 1093262 SOS 855528 HAS SOPS 508079 HAS SOUS 68891 HAS SOUPS 40298 WITH SCORE 41153.528
AT ITER 2270 NEW BEST:: SOT 1093312 SOS 855100 HAS SOPS 508093 HAS SOUS 68863 HAS SOUPS 40296 WITH SCORE 41151.1
AT ITER 2324 NEW BEST:: SOT 1093198 SOS 854320 HAS SOPS 507629 HAS SOUS 68843 HAS SOUPS 40276 WITH SCORE 41130.32
AT ITER 2345 NEW BEST:: SOT 1093165 SOS 854084 HAS SOPS 507002 HAS SOUS 68856 HAS SOUPS 40266 WITH SCORE 41120.084
AT ITER 2358 NEW BEST:: SOT 1093209 SOS 854150 HAS SOPS 507024 HAS SOUS 68588 HAS SOUPS 40114 WITH SCORE 40968.15
AT ITER 2374 NEW BEST:: SOT 1093299 SOS 854250 HAS SOPS 507084 HAS SOUS 68582 HAS SOUPS 40108 WITH SCORE 40962.25
AT ITER 2421 NEW BEST:: SOT 1093229 SOS 854180 HAS SOPS 507084 HAS SOUS 68582 HAS SOUPS 40108 WITH SCORE 40962.18
AT ITER 2431 NEW BEST:: SOT 1093168 SOS 854119 HAS SOPS 507059 HAS SOUS 68581 HAS SOUPS 40107 WITH SCORE 40961.119
AT ITER 2432 NEW BEST:: SOT 1092994 SOS 855933 HAS SOPS 508937 HAS SOUS 68521 HAS SOUPS 40047 WITH SCORE 40902.933
AT ITER 2434 NEW BEST:: SOT 1094017 SOS 859763 HAS SOPS 510688 HAS SOUS 68549 HAS SOUPS 40035 WITH SCORE 40894.763
AT ITER 2435 NEW BEST:: SOT 1093544 SOS 854339 HAS SOPS 506590 HAS SOUS 68524 HAS SOUPS 40026 WITH SCORE 40880.339
AT ITER 2448 NEW BEST:: SOT 1093517 SOS 854264 HAS SOPS 506572 HAS SOUS 68527 HAS SOUPS 40026 WITH SCORE 40880.264
AT ITER 2459 NEW BEST:: SOT 1093443 SOS 854162 HAS SOPS 506526 HAS SOUS 68460 HAS SOUPS 39987 WITH SCORE 40841.162
AT ITER 2498 NEW BEST:: SOT 1093547 SOS 854142 HAS SOPS 506466 HAS SOUS 68426 HAS SOUPS 39984 WITH SCORE 40838.142
AT ITER 2499 NEW BEST:: SOT 1093472 SOS 852717 HAS SOPS 506316 HAS SOUS 68298 HAS SOUPS 39931 WITH SCORE 40783.717
AT ITER 2524 NEW BEST:: SOT 1093459 SOS 853120 HAS SOPS 506719 HAS SOUS 68294 HAS SOUPS 39927 WITH SCORE 40780.12
AT ITER 2534 NEW BEST:: SOT 1094166 SOS 853827 HAS SOPS 507090 HAS SOUS 68217 HAS SOUPS 39850 WITH SCORE 40703.827
AT ITER 2538 NEW BEST:: SOT 1093277 SOS 850070 HAS SOPS 503679 HAS SOUS 68282 HAS SOUPS 39845 WITH SCORE 40695.07
AT ITER 2547 NEW BEST:: SOT 1093272 SOS 848725 HAS SOPS 503532 HAS SOUS 68264 HAS SOUPS 39841 WITH SCORE 40689.725
AT ITER 2561 NEW BEST:: SOT 1093433 SOS 848886 HAS SOPS 503578 HAS SOUS 68218 HAS SOUPS 39795 WITH SCORE 40643.886
AT ITER 2593 NEW BEST:: SOT 1093433 SOS 848886 HAS SOPS 503578 HAS SOUS 68209 HAS SOUPS 39790 WITH SCORE 40638.886
AT ITER 2606 NEW BEST:: SOT 1093356 SOS 848809 HAS SOPS 503578 HAS SOUS 68128 HAS SOUPS 39745 WITH SCORE 40593.809
AT ITER 2608 NEW BEST:: SOT 1093281 SOS 848734 HAS SOPS 503578 HAS SOUS 68165 HAS SOUPS 39722 WITH SCORE 40570.734
AT ITER 2628 NEW BEST:: SOT 1093230 SOS 848581 HAS SOPS 503425 HAS SOUS 68152 HAS SOUPS 39709 WITH SCORE 40557.581
AT ITER 2647 NEW BEST:: SOT 1093227 SOS 848575 HAS SOPS 503419 HAS SOUS 68149 HAS SOUPS 39706 WITH SCORE 40554.575
AT ITER 2686 NEW BEST:: SOT 1093225 SOS 848558 HAS SOPS 503402 HAS SOUS 68147 HAS SOUPS 39704 WITH SCORE 40552.558
AT ITER 2688 NEW BEST:: SOT 1093225 SOS 848558 HAS SOPS 503402 HAS SOUS 68111 HAS SOUPS 39684 WITH SCORE 40532.558
AT ITER 2700 NEW BEST:: SOT 1093545 SOS 849582 HAS SOPS 503590 HAS SOUS 68021 HAS SOUPS 39608 WITH SCORE 40457.582
AT ITER 2766 NEW BEST:: SOT 1093590 SOS 849422 HAS SOPS 502830 HAS SOUS 68061 HAS SOUPS 39599 WITH SCORE 40448.422
AT ITER 2775 NEW BEST:: SOT 1093555 SOS 848315 HAS SOPS 501723 HAS SOUS 68040 HAS SOUPS 39578 WITH SCORE 40426.315
AT ITER 2791 NEW BEST:: SOT 1093427 SOS 847035 HAS SOPS 500987 HAS SOUS 67912 HAS SOUPS 39482 WITH SCORE 40329.035
AT ITER 2806 NEW BEST:: SOT 1093598 SOS 847517 HAS SOPS 501107 HAS SOUS 67843 HAS SOUPS 39442 WITH SCORE 40289.517
AT ITER 2841 NEW BEST:: SOT 1093605 SOS 847615 HAS SOPS 501107 HAS SOUS 67849 HAS SOUPS 39441 WITH SCORE 40288.615
AT ITER 2909 NEW BEST:: SOT 1093630 SOS 846065 HAS SOPS 500607 HAS SOUS 67824 HAS SOUPS 39441 WITH SCORE 40287.065
AT ITER 2910 NEW BEST:: SOT 1093599 SOS 845422 HAS SOPS 500491 HAS SOUS 67788 HAS SOUPS 39436 WITH SCORE 40281.422
AT ITER 2913 NEW BEST:: SOT 1093597 SOS 845420 HAS SOPS 500491 HAS SOUS 67788 HAS SOUPS 39436 WITH SCORE 40281.42
AT ITER 2943 NEW BEST:: SOT 1093595 SOS 845418 HAS SOPS 500491 HAS SOUS 67784 HAS SOUPS 39432 WITH SCORE 40277.418
AT ITER 2948 NEW BEST:: SOT 1093588 SOS 845358 HAS SOPS 500453 HAS SOUS 67783 HAS SOUPS 39432 WITH SCORE 40277.358
AT ITER 2958 NEW BEST:: SOT 1094650 SOS 846420 HAS SOPS 501515 HAS SOUS 67777 HAS SOUPS 39428 WITH SCORE 40274.42
AT ITER 2962 NEW BEST:: SOT 1094720 SOS 846490 HAS SOPS 501515 HAS SOUS 67507 HAS SOUPS 39294 WITH SCORE 40140.49
AT ITER 2968 NEW BEST:: SOT 1093519 SOS 845258 HAS SOPS 500883 HAS SOUS 67475 HAS SOUPS 39247 WITH SCORE 40092.258
AT ITER 2983 NEW BEST:: SOT 1093837 SOS 845633 HAS SOPS 501084 HAS SOUS 67472 HAS SOUPS 39244 WITH SCORE 40089.633
AT ITER 3029 NEW BEST:: SOT 1093798 SOS 845594 HAS SOPS 501084 HAS SOUS 67472 HAS SOUPS 39244 WITH SCORE 40089.594
AT ITER 3033 NEW BEST:: SOT 1093762 SOS 844905 HAS SOPS 500888 HAS SOUS 67426 HAS SOUPS 39227 WITH SCORE 40071.905
AT ITER 3043 NEW BEST:: SOT 1093762 SOS 844737 HAS SOPS 500720 HAS SOUS 67423 HAS SOUPS 39224 WITH SCORE 40068.737
AT ITER 3108 NEW BEST:: SOT 1093720 SOS 844898 HAS SOPS 501861 HAS SOUS 67348 HAS SOUPS 39207 WITH SCORE 40051.898
AT ITER 3121 NEW BEST:: SOT 1093719 SOS 844875 HAS SOPS 501824 HAS SOUS 67347 HAS SOUPS 39205 WITH SCORE 40049.875
AT ITER 3122 NEW BEST:: SOT 1093703 SOS 844859 HAS SOPS 501824 HAS SOUS 67347 HAS SOUPS 39205 WITH SCORE 40049.859
AT ITER 3145 NEW BEST:: SOT 1093663 SOS 844799 HAS SOPS 501804 HAS SOUS 67307 HAS SOUPS 39185 WITH SCORE 40029.799
AT ITER 3154 NEW BEST:: SOT 1093636 SOS 844601 HAS SOPS 501759 HAS SOUS 67280 HAS SOUPS 39167 WITH SCORE 40011.601
AT ITER 3166 NEW BEST:: SOT 1093617 SOS 844563 HAS SOPS 501751 HAS SOUS 67243 HAS SOUPS 39145 WITH SCORE 39989.563
AT ITER 3172 NEW BEST:: SOT 1093474 SOS 844367 HAS SOPS 501608 HAS SOUS 67110 HAS SOUPS 39065 WITH SCORE 39909.367
AT ITER 3200 NEW BEST:: SOT 1092130 SOS 824425 HAS SOPS 484472 HAS SOUS 67035 HAS SOUPS 39070 WITH SCORE 39894.425
AT ITER 3221 NEW BEST:: SOT 1091923 SOS 825001 HAS SOPS 485048 HAS SOUS 66987 HAS SOUPS 39022 WITH SCORE 39847.001
AT ITER 3233 NEW BEST:: SOT 1091387 SOS 824174 HAS SOPS 484453 HAS SOUS 66946 HAS SOUPS 38972 WITH SCORE 39796.174
AT ITER 3258 NEW BEST:: SOT 1091387 SOS 824172 HAS SOPS 484451 HAS SOUS 66946 HAS SOUPS 38972 WITH SCORE 39796.172
AT ITER 3276 NEW BEST:: SOT 1091467 SOS 824162 HAS SOPS 486549 HAS SOUS 66788 HAS SOUPS 38938 WITH SCORE 39762.162
AT ITER 3295 NEW BEST:: SOT 1091427 SOS 824122 HAS SOPS 486529 HAS SOUS 66788 HAS SOUPS 38938 WITH SCORE 39762.122
AT ITER 3316 NEW BEST:: SOT 1090601 SOS 821012 HAS SOPS 485732 HAS SOUS 66666 HAS SOUPS 38851 WITH SCORE 39672.012
AT ITER 3332 NEW BEST:: SOT 1090599 SOS 820992 HAS SOPS 485714 HAS SOUS 66664 HAS SOUPS 38849 WITH SCORE 39669.992
AT ITER 3350 NEW BEST:: SOT 1089931 SOS 820214 HAS SOPS 485246 HAS SOUS 66630 HAS SOUPS 38815 WITH SCORE 39635.214
AT ITER 3351 NEW BEST:: SOT 1089885 SOS 819717 HAS SOPS 484755 HAS SOUS 66541 HAS SOUPS 38726 WITH SCORE 39545.717
AT ITER 3360 NEW BEST:: SOT 1089882 SOS 819694 HAS SOPS 484766 HAS SOUS 66536 HAS SOUPS 38723 WITH SCORE 39542.694
AT ITER 3415 NEW BEST:: SOT 1088511 SOS 817797 HAS SOPS 483414 HAS SOUS 66472 HAS SOUPS 38659 WITH SCORE 39476.797
AT ITER 3418 NEW BEST:: SOT 1088399 SOS 817557 HAS SOPS 483222 HAS SOUS 66456 HAS SOUPS 38643 WITH SCORE 39460.557
AT ITER 3434 NEW BEST:: SOT 1088625 SOS 819455 HAS SOPS 484405 HAS SOUS 66409 HAS SOUPS 38593 WITH SCORE 39412.455
AT ITER 3483 NEW BEST:: SOT 1088675 SOS 817892 HAS SOPS 483432 HAS SOUS 66328 HAS SOUPS 38547 WITH SCORE 39364.892
AT ITER 3510 NEW BEST:: SOT 1088101 SOS 816583 HAS SOPS 482384 HAS SOUS 66343 HAS SOUPS 38540 WITH SCORE 39356.583
AT ITER 3516 NEW BEST:: SOT 1088094 SOS 816576 HAS SOPS 482384 HAS SOUS 66343 HAS SOUPS 38540 WITH SCORE 39356.576
AT ITER 3518 NEW BEST:: SOT 1088143 SOS 814626 HAS SOPS 480434 HAS SOUS 66335 HAS SOUPS 38532 WITH SCORE 39346.626
AT ITER 3533 NEW BEST:: SOT 1087978 SOS 814436 HAS SOPS 480322 HAS SOUS 66324 HAS SOUPS 38518 WITH SCORE 39332.436
AT ITER 3546 NEW BEST:: SOT 1087737 SOS 814170 HAS SOPS 480186 HAS SOUS 66318 HAS SOUPS 38512 WITH SCORE 39326.17
AT ITER 3570 NEW BEST:: SOT 1087729 SOS 814162 HAS SOPS 480186 HAS SOUS 66318 HAS SOUPS 38512 WITH SCORE 39326.162
AT ITER 3595 NEW BEST:: SOT 1087710 SOS 813758 HAS SOPS 480061 HAS SOUS 66057 HAS SOUPS 38427 WITH SCORE 39240.758
AT ITER 3671 NEW BEST:: SOT 1087710 SOS 813746 HAS SOPS 480049 HAS SOUS 66039 HAS SOUPS 38409 WITH SCORE 39222.746
AT ITER 3686 NEW BEST:: SOT 1087710 SOS 813746 HAS SOPS 480049 HAS SOUS 66021 HAS SOUPS 38399 WITH SCORE 39212.746
AT ITER 3695 NEW BEST:: SOT 1087162 SOS 812250 HAS SOPS 479653 HAS SOUS 65925 HAS SOUPS 38353 WITH SCORE 39165.25
AT ITER 3702 NEW BEST:: SOT 1087162 SOS 812250 HAS SOPS 479653 HAS SOUS 65916 HAS SOUPS 38348 WITH SCORE 39160.25
AT ITER 3718 NEW BEST:: SOT 1087026 SOS 811240 HAS SOPS 478643 HAS SOUS 65818 HAS SOUPS 38250 WITH SCORE 39061.24
AT ITER 3744 NEW BEST:: SOT 1087052 SOS 811278 HAS SOPS 478657 HAS SOUS 65718 HAS SOUPS 38194 WITH SCORE 39005.278
AT ITER 3753 NEW BEST:: SOT 1086879 SOS 811105 HAS SOPS 478657 HAS SOUS 65718 HAS SOUPS 38194 WITH SCORE 39005.105
AT ITER 3817 NEW BEST:: SOT 1086871 SOS 811097 HAS SOPS 478657 HAS SOUS 65718 HAS SOUPS 38194 WITH SCORE 39005.097
AT ITER 3837 NEW BEST:: SOT 1086845 SOS 810749 HAS SOPS 478459 HAS SOUS 65699 HAS SOUPS 38184 WITH SCORE 38994.749
AT ITER 3840 NEW BEST:: SOT 1086877 SOS 809894 HAS SOPS 477661 HAS SOUS 65698 HAS SOUPS 38183 WITH SCORE 38992.894
AT ITER 3846 NEW BEST:: SOT 1086132 SOS 806778 HAS SOPS 476023 HAS SOUS 65618 HAS SOUPS 38171 WITH SCORE 38977.778
AT ITER 3863 NEW BEST:: SOT 1085862 SOS 806400 HAS SOPS 475780 HAS SOUS 65615 HAS SOUPS 38168 WITH SCORE 38974.4
AT ITER 3877 NEW BEST:: SOT 1085863 SOS 806146 HAS SOPS 475750 HAS SOUS 65560 HAS SOUPS 38129 WITH SCORE 38935.146
AT ITER 3920 NEW BEST:: SOT 1085509 SOS 802879 HAS SOPS 473180 HAS SOUS 65492 HAS SOUPS 38092 WITH SCORE 38894.879
AT ITER 3924 NEW BEST:: SOT 1085604 SOS 803176 HAS SOPS 473249 HAS SOUS 65469 HAS SOUPS 38069 WITH SCORE 38872.176
AT ITER 3926 NEW BEST:: SOT 1085500 SOS 802613 HAS SOPS 472700 HAS SOUS 65430 HAS SOUPS 38030 WITH SCORE 38832.613
AT ITER 3935 NEW BEST:: SOT 1085567 SOS 801183 HAS SOPS 471559 HAS SOUS 65409 HAS SOUPS 38026 WITH SCORE 38827.183
AT ITER 3951 NEW BEST:: SOT 1085571 SOS 803052 HAS SOPS 473111 HAS SOUS 65416 HAS SOUPS 38014 WITH SCORE 38817.052
AT ITER 3982 NEW BEST:: SOT 1085561 SOS 803042 HAS SOPS 473111 HAS SOUS 65416 HAS SOUPS 38014 WITH SCORE 38817.042
AT ITER 4019 NEW BEST:: SOT 1085550 SOS 803031 HAS SOPS 473111 HAS SOUS 65394 HAS SOUPS 37992 WITH SCORE 38795.031
AT ITER 4029 NEW BEST:: SOT 1085408 SOS 802889 HAS SOPS 473046 HAS SOUS 65355 HAS SOUPS 37953 WITH SCORE 38755.889
AT ITER 4044 NEW BEST:: SOT 1085324 SOS 802805 HAS SOPS 473046 HAS SOUS 65355 HAS SOUPS 37953 WITH SCORE 38755.805
AT ITER 4067 NEW BEST:: SOT 1085318 SOS 802792 HAS SOPS 473039 HAS SOUS 65341 HAS SOUPS 37946 WITH SCORE 38748.792
AT ITER 4076 NEW BEST:: SOT 1085262 SOS 802736 HAS SOPS 473039 HAS SOUS 65341 HAS SOUPS 37946 WITH SCORE 38748.736
AT ITER 4079 NEW BEST:: SOT 1085248 SOS 802722 HAS SOPS 473039 HAS SOUS 65358 HAS SOUPS 37943 WITH SCORE 38745.722
AT ITER 4113 NEW BEST:: SOT 1085222 SOS 802684 HAS SOPS 473025 HAS SOUS 65332 HAS SOUPS 37929 WITH SCORE 38731.684
AT ITER 4122 NEW BEST:: SOT 1085786 SOS 804337 HAS SOPS 473422 HAS SOUS 65327 HAS SOUPS 37918 WITH SCORE 38722.337
AT ITER 4133 NEW BEST:: SOT 1085786 SOS 804337 HAS SOPS 473422 HAS SOUS 65318 HAS SOUPS 37913 WITH SCORE 38717.337
AT ITER 4155 NEW BEST:: SOT 1085786 SOS 804337 HAS SOPS 474204 HAS SOUS 65226 HAS SOUPS 37867 WITH SCORE 38671.337
AT ITER 4165 NEW BEST:: SOT 1085756 SOS 804037 HAS SOPS 473934 HAS SOUS 65196 HAS SOUPS 37837 WITH SCORE 38641.037
AT ITER 4216 NEW BEST:: SOT 1085617 SOS 803889 HAS SOPS 473837 HAS SOUS 65189 HAS SOUPS 37828 WITH SCORE 38631.889
AT ITER 4224 NEW BEST:: SOT 1085616 SOS 802690 HAS SOPS 472638 HAS SOUS 65188 HAS SOUPS 37827 WITH SCORE 38629.69
AT ITER 4257 NEW BEST:: SOT 1085617 SOS 802691 HAS SOPS 472655 HAS SOUS 65186 HAS SOUPS 37826 WITH SCORE 38628.691
AT ITER 4259 NEW BEST:: SOT 1085551 SOS 802625 HAS SOPS 472655 HAS SOUS 65186 HAS SOUPS 37826 WITH SCORE 38628.625
AT ITER 4270 NEW BEST:: SOT 1085555 SOS 802617 HAS SOPS 472655 HAS SOUS 65174 HAS SOUPS 37826 WITH SCORE 38628.617
AT ITER 4279 NEW BEST:: SOT 1085554 SOS 802496 HAS SOPS 472534 HAS SOUS 65173 HAS SOUPS 37825 WITH SCORE 38627.496
AT ITER 4283 NEW BEST:: SOT 1085537 SOS 802479 HAS SOPS 472534 HAS SOUS 65173 HAS SOUPS 37825 WITH SCORE 38627.479
AT ITER 4362 NEW BEST:: SOT 1085527 SOS 802484 HAS SOPS 472514 HAS SOUS 65158 HAS SOUPS 37810 WITH SCORE 38612.484
AT ITER 4381 NEW BEST:: SOT 1085525 SOS 802378 HAS SOPS 472408 HAS SOUS 65158 HAS SOUPS 37810 WITH SCORE 38612.378
AT ITER 4391 NEW BEST:: SOT 1085492 SOS 801916 HAS SOPS 472342 HAS SOUS 65092 HAS SOUPS 37777 WITH SCORE 38578.916
AT ITER 4398 NEW BEST:: SOT 1085483 SOS 803752 HAS SOPS 472507 HAS SOUS 64974 HAS SOUPS 37596 WITH SCORE 38399.752
AT ITER 4437 NEW BEST:: SOT 1085465 SOS 803734 HAS SOPS 472507 HAS SOUS 64974 HAS SOUPS 37596 WITH SCORE 38399.734
AT ITER 4453 NEW BEST:: SOT 1084801 SOS 794555 HAS SOPS 465074 HAS SOUS 64956 HAS SOUPS 37601 WITH SCORE 38395.555
AT ITER 4477 NEW BEST:: SOT 1084296 SOS 793173 HAS SOPS 464741 HAS SOUS 64911 HAS SOUPS 37587 WITH SCORE 38380.173
AT ITER 4487 NEW BEST:: SOT 1084296 SOS 793173 HAS SOPS 464741 HAS SOUS 64902 HAS SOUPS 37582 WITH SCORE 38375.173
AT ITER 4512 NEW BEST:: SOT 1084250 SOS 793127 HAS SOPS 464741 HAS SOUS 64902 HAS SOUPS 37582 WITH SCORE 38375.127
AT ITER 4563 NEW BEST:: SOT 1084208 SOS 793085 HAS SOPS 464741 HAS SOUS 64818 HAS SOUPS 37498 WITH SCORE 38291.085
AT ITER 4579 NEW BEST:: SOT 1084208 SOS 793085 HAS SOPS 464741 HAS SOUS 64813 HAS SOUPS 37493 WITH SCORE 38286.085
AT ITER 4587 NEW BEST:: SOT 1084244 SOS 790783 HAS SOPS 462863 HAS SOUS 64782 HAS SOUPS 37488 WITH SCORE 38278.783
AT ITER 4591 NEW BEST:: SOT 1083671 SOS 789287 HAS SOPS 461485 HAS SOUS 64703 HAS SOUPS 37379 WITH SCORE 38168.287
AT ITER 4592 NEW BEST:: SOT 1083653 SOS 789149 HAS SOPS 461347 HAS SOUS 64685 HAS SOUPS 37361 WITH SCORE 38150.149
AT ITER 4612 NEW BEST:: SOT 1085333 SOS 791020 HAS SOPS 462473 HAS SOUS 64557 HAS SOUPS 37297 WITH SCORE 38088.02
AT ITER 4626 NEW BEST:: SOT 1085310 SOS 790997 HAS SOPS 462473 HAS SOUS 64557 HAS SOUPS 37297 WITH SCORE 38087.997
AT ITER 4643 NEW BEST:: SOT 1085313 SOS 790946 HAS SOPS 462473 HAS SOUS 64554 HAS SOUPS 37297 WITH SCORE 38087.946
AT ITER 4644 NEW BEST:: SOT 1085300 SOS 790995 HAS SOPS 462447 HAS SOUS 64543 HAS SOUPS 37286 WITH SCORE 38076.995
AT ITER 4673 NEW BEST:: SOT 1085241 SOS 790936 HAS SOPS 462447 HAS SOUS 64543 HAS SOUPS 37286 WITH SCORE 38076.936
AT ITER 4687 NEW BEST:: SOT 1085241 SOS 790936 HAS SOPS 462447 HAS SOUS 64489 HAS SOUPS 37256 WITH SCORE 38046.936
AT ITER 4694 NEW BEST:: SOT 1085182 SOS 790666 HAS SOPS 462709 HAS SOUS 64424 HAS SOUPS 37250 WITH SCORE 38040.666
AT ITER 4709 NEW BEST:: SOT 1084412 SOS 788577 HAS SOPS 462200 HAS SOUS 64351 HAS SOUPS 37248 WITH SCORE 38036.577
AT ITER 4710 NEW BEST:: SOT 1084591 SOS 789039 HAS SOPS 462630 HAS SOUS 64303 HAS SOUPS 37224 WITH SCORE 38013.039
AT ITER 4732 NEW BEST:: SOT 1085153 SOS 790470 HAS SOPS 462960 HAS SOUS 64335 HAS SOUPS 37209 WITH SCORE 37999.47
AT ITER 4736 NEW BEST:: SOT 1085096 SOS 789516 HAS SOPS 462398 HAS SOUS 64240 HAS SOUPS 37142 WITH SCORE 37931.516
AT ITER 4741 NEW BEST:: SOT 1084782 SOS 789144 HAS SOPS 462176 HAS SOUS 64228 HAS SOUPS 37130 WITH SCORE 37919.144
AT ITER 4744 NEW BEST:: SOT 1084729 SOS 788137 HAS SOPS 462070 HAS SOUS 64175 HAS SOUPS 37130 WITH SCORE 37918.137
AT ITER 4775 NEW BEST:: SOT 1084726 SOS 788134 HAS SOPS 462070 HAS SOUS 64175 HAS SOUPS 37130 WITH SCORE 37918.134
AT ITER 4786 NEW BEST:: SOT 1084651 SOS 788059 HAS SOPS 462070 HAS SOUS 64175 HAS SOUPS 37130 WITH SCORE 37918.059
AT ITER 4790 NEW BEST:: SOT 1084657 SOS 788173 HAS SOPS 462082 HAS SOUS 64169 HAS SOUPS 37118 WITH SCORE 37906.173
AT ITER 4810 NEW BEST:: SOT 1084657 SOS 788172 HAS SOPS 462081 HAS SOUS 64169 HAS SOUPS 37118 WITH SCORE 37906.172
AT ITER 4816 NEW BEST:: SOT 1084657 SOS 788172 HAS SOPS 462081 HAS SOUS 64160 HAS SOUPS 37113 WITH SCORE 37901.172
AT ITER 4826 NEW BEST:: SOT 1084644 SOS 788618 HAS SOPS 462362 HAS SOUS 64147 HAS SOUPS 37100 WITH SCORE 37888.618
AT ITER 4836 NEW BEST:: SOT 1084594 SOS 788518 HAS SOPS 462262 HAS SOUS 64127 HAS SOUPS 37080 WITH SCORE 37868.518
AT ITER 4851 NEW BEST:: SOT 1084630 SOS 788596 HAS SOPS 462280 HAS SOUS 64128 HAS SOUPS 37078 WITH SCORE 37866.596
AT ITER 4853 NEW BEST:: SOT 1084612 SOS 788578 HAS SOPS 462262 HAS SOUS 64107 HAS SOUPS 37057 WITH SCORE 37845.578
AT ITER 4862 NEW BEST:: SOT 1084610 SOS 788532 HAS SOPS 462222 HAS SOUS 64103 HAS SOUPS 37053 WITH SCORE 37841.532
AT ITER 4864 NEW BEST:: SOT 1084952 SOS 788565 HAS SOPS 462478 HAS SOUS 64006 HAS SOUPS 37023 WITH SCORE 37811.565
AT ITER 4894 NEW BEST:: SOT 1085085 SOS 787379 HAS SOPS 462533 HAS SOUS 63915 HAS SOUPS 37005 WITH SCORE 37792.379
AT ITER 4900 NEW BEST:: SOT 1084421 SOS 785835 HAS SOPS 462041 HAS SOUS 63826 HAS SOUPS 36952 WITH SCORE 37737.835
AT ITER 4902 NEW BEST:: SOT 1084544 SOS 783543 HAS SOPS 460945 HAS SOUS 63813 HAS SOUPS 36941 WITH SCORE 37724.543
AT ITER 4926 NEW BEST:: SOT 1084539 SOS 783693 HAS SOPS 460925 HAS SOUS 63808 HAS SOUPS 36926 WITH SCORE 37709.693
AT ITER 4935 NEW BEST:: SOT 1084367 SOS 780646 HAS SOPS 459340 HAS SOUS 63525 HAS SOUPS 36729 WITH SCORE 37509.646
AT ITER 4940 NEW BEST:: SOT 1084359 SOS 780638 HAS SOPS 459332 HAS SOUS 63517 HAS SOUPS 36721 WITH SCORE 37501.638
AT ITER 4949 NEW BEST:: SOT 1084329 SOS 780608 HAS SOPS 459332 HAS SOUS 63463 HAS SOUPS 36667 WITH SCORE 37447.608
AT ITER 4969 NEW BEST:: SOT 1084148 SOS 780134 HAS SOPS 459208 HAS SOUS 63444 HAS SOUPS 36655 WITH SCORE 37435.134
AT ITER 4986 NEW BEST:: SOT 1083526 SOS 779546 HAS SOPS 458795 HAS SOUS 63423 HAS SOUPS 36611 WITH SCORE 37390.546
AT ITER 5014 NEW BEST:: SOT 1083586 SOS 778593 HAS SOPS 458466 HAS SOUS 63385 HAS SOUPS 36600 WITH SCORE 37378.593
AT ITER 5044 NEW BEST:: SOT 1083584 SOS 778409 HAS SOPS 458282 HAS SOUS 63385 HAS SOUPS 36600 WITH SCORE 37378.409
AT ITER 5071 NEW BEST:: SOT 1083524 SOS 778323 HAS SOPS 458246 HAS SOUS 63329 HAS SOUPS 36566 WITH SCORE 37344.323
AT ITER 5090 NEW BEST:: SOT 1083524 SOS 778323 HAS SOPS 458246 HAS SOUS 63302 HAS SOUPS 36551 WITH SCORE 37329.323
AT ITER 5096 NEW BEST:: SOT 1083524 SOS 778323 HAS SOPS 458246 HAS SOUS 63293 HAS SOUPS 36546 WITH SCORE 37324.323
AT ITER 5102 NEW BEST:: SOT 1083523 SOS 778425 HAS SOPS 458344 HAS SOUS 63288 HAS SOUPS 36541 WITH SCORE 37319.425
AT ITER 5106 NEW BEST:: SOT 1083577 SOS 778697 HAS SOPS 458596 HAS SOUS 63278 HAS SOUPS 36537 WITH SCORE 37315.697
AT ITER 5133 NEW BEST:: SOT 1083535 SOS 778634 HAS SOPS 458176 HAS SOUS 63278 HAS SOUPS 36516 WITH SCORE 37294.634
AT ITER 5168 NEW BEST:: SOT 1083527 SOS 778610 HAS SOPS 458016 HAS SOUS 63278 HAS SOUPS 36508 WITH SCORE 37286.61
AT ITER 5175 NEW BEST:: SOT 1083527 SOS 778610 HAS SOPS 458016 HAS SOUS 63260 HAS SOUPS 36498 WITH SCORE 37276.61
AT ITER 5215 NEW BEST:: SOT 1083523 SOS 778567 HAS SOPS 458000 HAS SOUS 63209 HAS SOUPS 36486 WITH SCORE 37264.567
AT ITER 5351 NEW BEST:: SOT 1083511 SOS 778549 HAS SOPS 457994 HAS SOUS 63197 HAS SOUPS 36480 WITH SCORE 37258.549
AT ITER 5353 NEW BEST:: SOT 1082606 SOS 776200 HAS SOPS 457393 HAS SOUS 63052 HAS SOUPS 36411 WITH SCORE 37187.2
AT ITER 5364 NEW BEST:: SOT 1081859 SOS 763768 HAS SOPS 446540 HAS SOUS 62945 HAS SOUPS 36304 WITH SCORE 37067.768
AT ITER 5369 NEW BEST:: SOT 1081815 SOS 763724 HAS SOPS 446540 HAS SOUS 62945 HAS SOUPS 36304 WITH SCORE 37067.724
AT ITER 5422 NEW BEST:: SOT 1081973 SOS 763882 HAS SOPS 446533 HAS SOUS 62938 HAS SOUPS 36297 WITH SCORE 37060.882
AT ITER 5425 NEW BEST:: SOT 1081973 SOS 763882 HAS SOPS 446533 HAS SOUS 62929 HAS SOUPS 36292 WITH SCORE 37055.882
AT ITER 5466 NEW BEST:: SOT 1082637 SOS 764546 HAS SOPS 446862 HAS SOUS 62859 HAS SOUPS 36222 WITH SCORE 36986.546
AT ITER 5486 NEW BEST:: SOT 1082967 SOS 764920 HAS SOPS 447076 HAS SOUS 62829 HAS SOUPS 36192 WITH SCORE 36956.92
AT ITER 5529 NEW BEST:: SOT 1082941 SOS 764894 HAS SOPS 447050 HAS SOUS 62803 HAS SOUPS 36166 WITH SCORE 36930.894
AT ITER 5603 NEW BEST:: SOT 1082941 SOS 764889 HAS SOPS 447045 HAS SOUS 62798 HAS SOUPS 36161 WITH SCORE 36925.889
AT ITER 5615 NEW BEST:: SOT 1082944 SOS 764527 HAS SOPS 447074 HAS SOUS 62741 HAS SOUPS 36127 WITH SCORE 36891.527
AT ITER 5647 NEW BEST:: SOT 1082266 SOS 762660 HAS SOPS 446647 HAS SOUS 62678 HAS SOUPS 36117 WITH SCORE 36879.66
AT ITER 5670 NEW BEST:: SOT 1082280 SOS 762193 HAS SOPS 446642 HAS SOUS 62638 HAS SOUPS 36110 WITH SCORE 36872.193
AT ITER 5689 NEW BEST:: SOT 1082226 SOS 761173 HAS SOPS 445622 HAS SOUS 62613 HAS SOUPS 36085 WITH SCORE 36846.173
AT ITER 5738 NEW BEST:: SOT 1082215 SOS 761344 HAS SOPS 445768 HAS SOUS 62577 HAS SOUPS 36049 WITH SCORE 36810.344
AT ITER 5760 NEW BEST:: SOT 1082215 SOS 761344 HAS SOPS 445768 HAS SOUS 62550 HAS SOUPS 36034 WITH SCORE 36795.344
AT ITER 5767 NEW BEST:: SOT 1081887 SOS 760100 HAS SOPS 445196 HAS SOUS 62497 HAS SOUPS 35981 WITH SCORE 36741.1
AT ITER 5823 NEW BEST:: SOT 1081865 SOS 760078 HAS SOPS 445196 HAS SOUS 62497 HAS SOUPS 35981 WITH SCORE 36741.078
AT ITER 5838 NEW BEST:: SOT 1081834 SOS 759098 HAS SOPS 445083 HAS SOUS 62341 HAS SOUPS 35876 WITH SCORE 36635.098
AT ITER 5861 NEW BEST:: SOT 1081852 SOS 758752 HAS SOPS 444794 HAS SOUS 62340 HAS SOUPS 35875 WITH SCORE 36633.752
AT ITER 5881 NEW BEST:: SOT 1081839 SOS 757638 HAS SOPS 444224 HAS SOUS 62300 HAS SOUPS 35867 WITH SCORE 36624.638
AT ITER 5893 NEW BEST:: SOT 1081780 SOS 757579 HAS SOPS 444224 HAS SOUS 62300 HAS SOUPS 35867 WITH SCORE 36624.579
AT ITER 5936 NEW BEST:: SOT 1081611 SOS 757202 HAS SOPS 444094 HAS SOUS 62261 HAS SOUPS 35841 WITH SCORE 36598.202
AT ITER 5940 NEW BEST:: SOT 1081059 SOS 756650 HAS SOPS 443542 HAS SOUS 62261 HAS SOUPS 35841 WITH SCORE 36597.65
AT ITER 5951 NEW BEST:: SOT 1081059 SOS 756650 HAS SOPS 443542 HAS SOUS 62216 HAS SOUPS 35816 WITH SCORE 36572.65
AT ITER 5962 NEW BEST:: SOT 1079593 SOS 752541 HAS SOPS 442574 HAS SOUS 62108 HAS SOUPS 35817 WITH SCORE 36569.541
AT ITER 5971 NEW BEST:: SOT 1079607 SOS 752299 HAS SOPS 442318 HAS SOUS 62098 HAS SOUPS 35807 WITH SCORE 36559.299
AT ITER 5978 NEW BEST:: SOT 1079601 SOS 752236 HAS SOPS 442255 HAS SOUS 62092 HAS SOUPS 35801 WITH SCORE 36553.236
AT ITER 6036 NEW BEST:: SOT 1079026 SOS 751638 HAS SOPS 441887 HAS SOUS 62084 HAS SOUPS 35793 WITH SCORE 36544.638
AT ITER 6046 NEW BEST:: SOT 1079014 SOS 751632 HAS SOPS 441881 HAS SOUS 62084 HAS SOUPS 35793 WITH SCORE 36544.632
AT ITER 6053 NEW BEST:: SOT 1078934 SOS 751552 HAS SOPS 441841 HAS SOUS 62084 HAS SOUPS 35793 WITH SCORE 36544.552
AT ITER 6081 NEW BEST:: SOT 1078923 SOS 751523 HAS SOPS 441834 HAS SOUS 62082 HAS SOUPS 35792 WITH SCORE 36543.523
AT ITER 6131 NEW BEST:: SOT 1078867 SOS 751288 HAS SOPS 441613 HAS SOUS 62076 HAS SOUPS 35783 WITH SCORE 36534.288
AT ITER 6263 NEW BEST:: SOT 1077502 SOS 747539 HAS SOPS 440595 HAS SOUS 62003 HAS SOUPS 35785 WITH SCORE 36532.539
AT ITER 6266 NEW BEST:: SOT 1077436 SOS 745759 HAS SOPS 438873 HAS SOUS 61958 HAS SOUPS 35740 WITH SCORE 36485.759
AT ITER 6342 NEW BEST:: SOT 1076920 SOS 745243 HAS SOPS 438642 HAS SOUS 61949 HAS SOUPS 35735 WITH SCORE 36480.243
AT ITER 6353 NEW BEST:: SOT 1076942 SOS 745265 HAS SOPS 438664 HAS SOUS 61938 HAS SOUPS 35724 WITH SCORE 36469.265
AT ITER 6362 NEW BEST:: SOT 1076888 SOS 745211 HAS SOPS 438664 HAS SOUS 61938 HAS SOUPS 35724 WITH SCORE 36469.211
AT ITER 6387 NEW BEST:: SOT 1076999 SOS 745321 HAS SOPS 438663 HAS SOUS 61936 HAS SOUPS 35723 WITH SCORE 36468.321
AT ITER 6427 NEW BEST:: SOT 1076928 SOS 745250 HAS SOPS 438663 HAS SOUS 61936 HAS SOUPS 35723 WITH SCORE 36468.25
AT ITER 6438 NEW BEST:: SOT 1075430 SOS 739027 HAS SOPS 432869 HAS SOUS 61994 HAS SOUPS 35711 WITH SCORE 36450.027
AT ITER 6483 NEW BEST:: SOT 1075439 SOS 739013 HAS SOPS 432851 HAS SOUS 61974 HAS SOUPS 35700 WITH SCORE 36439.013
AT ITER 6493 NEW BEST:: SOT 1075439 SOS 737553 HAS SOPS 431391 HAS SOUS 61974 HAS SOUPS 35700 WITH SCORE 36437.553
AT ITER 6527 NEW BEST:: SOT 1075344 SOS 737403 HAS SOPS 431329 HAS SOUS 61941 HAS SOUPS 35678 WITH SCORE 36415.403
AT ITER 6586 NEW BEST:: SOT 1075305 SOS 737364 HAS SOPS 431329 HAS SOUS 61941 HAS SOUPS 35678 WITH SCORE 36415.364
AT ITER 6627 NEW BEST:: SOT 1075342 SOS 738241 HAS SOPS 431347 HAS SOUS 61982 HAS SOUPS 35668 WITH SCORE 36406.241
AT ITER 6633 NEW BEST:: SOT 1075905 SOS 739694 HAS SOPS 431704 HAS SOUS 61962 HAS SOUPS 35625 WITH SCORE 36364.694
AT ITER 6661 NEW BEST:: SOT 1075902 SOS 739691 HAS SOPS 431701 HAS SOUS 61959 HAS SOUPS 35622 WITH SCORE 36361.691
AT ITER 6677 NEW BEST:: SOT 1075882 SOS 739681 HAS SOPS 431691 HAS SOUS 61959 HAS SOUPS 35622 WITH SCORE 36361.681
AT ITER 6717 NEW BEST:: SOT 1075882 SOS 739681 HAS SOPS 431691 HAS SOUS 61950 HAS SOUPS 35617 WITH SCORE 36356.681
AT ITER 6767 NEW BEST:: SOT 1075850 SOS 739361 HAS SOPS 431643 HAS SOUS 61918 HAS SOUPS 35601 WITH SCORE 36340.361
AT ITER 6785 NEW BEST:: SOT 1075831 SOS 738086 HAS SOPS 430368 HAS SOUS 61907 HAS SOUPS 35590 WITH SCORE 36328.086
AT ITER 6787 NEW BEST:: SOT 1075774 SOS 738029 HAS SOPS 430368 HAS SOUS 61907 HAS SOUPS 35590 WITH SCORE 36328.029
AT ITER 6793 NEW BEST:: SOT 1075648 SOS 737903 HAS SOPS 430242 HAS SOUS 61907 HAS SOUPS 35590 WITH SCORE 36327.903
AT ITER 6794 NEW BEST:: SOT 1075707 SOS 737952 HAS SOPS 430232 HAS SOUS 61887 HAS SOUPS 35580 WITH SCORE 36317.952
AT ITER 6818 NEW BEST:: SOT 1075549 SOS 738607 HAS SOPS 429927 HAS SOUS 61877 HAS SOUPS 35561 WITH SCORE 36299.607
AT ITER 6825 NEW BEST:: SOT 1075519 SOS 738557 HAS SOPS 429907 HAS SOUS 61857 HAS SOUPS 35551 WITH SCORE 36289.557
AT ITER 6841 NEW BEST:: SOT 1075519 SOS 738557 HAS SOPS 429907 HAS SOUS 61848 HAS SOUPS 35546 WITH SCORE 36284.557
AT ITER 6882 NEW BEST:: SOT 1075495 SOS 738533 HAS SOPS 429907 HAS SOUS 61800 HAS SOUPS 35498 WITH SCORE 36236.533
AT ITER 6914 NEW BEST:: SOT 1075449 SOS 738763 HAS SOPS 429746 HAS SOUS 61800 HAS SOUPS 35475 WITH SCORE 36213.763
AT ITER 6969 NEW BEST:: SOT 1075446 SOS 738722 HAS SOPS 429705 HAS SOUS 61799 HAS SOUPS 35474 WITH SCORE 36212.722
AT ITER 6970 NEW BEST:: SOT 1075446 SOS 738722 HAS SOPS 429705 HAS SOUS 61790 HAS SOUPS 35469 WITH SCORE 36207.722
AT ITER 6989 NEW BEST:: SOT 1075426 SOS 737509 HAS SOPS 428761 HAS SOUS 61739 HAS SOUPS 35436 WITH SCORE 36173.509
AT ITER 7042 NEW BEST:: SOT 1075426 SOS 737509 HAS SOPS 428761 HAS SOUS 61685 HAS SOUPS 35406 WITH SCORE 36143.509
AT ITER 7108 NEW BEST:: SOT 1075240 SOS 736855 HAS SOPS 428459 HAS SOUS 61653 HAS SOUPS 35390 WITH SCORE 36126.855
AT ITER 7112 NEW BEST:: SOT 1075251 SOS 736894 HAS SOPS 428498 HAS SOUS 61652 HAS SOUPS 35389 WITH SCORE 36125.894
AT ITER 7128 NEW BEST:: SOT 1075262 SOS 736954 HAS SOPS 428558 HAS SOUS 61595 HAS SOUPS 35332 WITH SCORE 36068.954
AT ITER 7134 NEW BEST:: SOT 1075229 SOS 736648 HAS SOPS 428318 HAS SOUS 61589 HAS SOUPS 35329 WITH SCORE 36065.648
AT ITER 7186 NEW BEST:: SOT 1075273 SOS 736286 HAS SOPS 427978 HAS SOUS 61514 HAS SOUPS 35234 WITH SCORE 35970.286
AT ITER 7200 NEW BEST:: SOT 1075251 SOS 736242 HAS SOPS 427288 HAS SOUS 61510 HAS SOUPS 35192 WITH SCORE 35928.242
AT ITER 7250 NEW BEST:: SOT 1075164 SOS 736103 HAS SOPS 427230 HAS SOUS 61446 HAS SOUPS 35157 WITH SCORE 35893.103
AT ITER 7252 NEW BEST:: SOT 1074912 SOS 735851 HAS SOPS 426978 HAS SOUS 61446 HAS SOUPS 35157 WITH SCORE 35892.851
AT ITER 7272 NEW BEST:: SOT 1074936 SOS 735615 HAS SOPS 427062 HAS SOUS 61441 HAS SOUPS 35147 WITH SCORE 35882.615
AT ITER 7274 NEW BEST:: SOT 1074896 SOS 736061 HAS SOPS 427083 HAS SOUS 61454 HAS SOUPS 35135 WITH SCORE 35871.061
AT ITER 7290 NEW BEST:: SOT 1074883 SOS 736048 HAS SOPS 427083 HAS SOUS 61454 HAS SOUPS 35135 WITH SCORE 35871.048
AT ITER 7317 NEW BEST:: SOT 1074883 SOS 735838 HAS SOPS 426873 HAS SOUS 61448 HAS SOUPS 35129 WITH SCORE 35864.838
AT ITER 7321 NEW BEST:: SOT 1074809 SOS 734826 HAS SOPS 426677 HAS SOUS 61374 HAS SOUPS 35103 WITH SCORE 35837.826
AT ITER 7333 NEW BEST:: SOT 1074883 SOS 735074 HAS SOPS 426732 HAS SOUS 61404 HAS SOUPS 35102 WITH SCORE 35837.074
AT ITER 7335 NEW BEST:: SOT 1074883 SOS 735074 HAS SOPS 426732 HAS SOUS 61386 HAS SOUPS 35092 WITH SCORE 35827.074
AT ITER 7404 NEW BEST:: SOT 1074907 SOS 734240 HAS SOPS 426024 HAS SOUS 61350 HAS SOUPS 35056 WITH SCORE 35790.24
AT ITER 7408 NEW BEST:: SOT 1074480 SOS 733096 HAS SOPS 425045 HAS SOUS 61339 HAS SOUPS 35028 WITH SCORE 35761.096
AT ITER 7438 NEW BEST:: SOT 1074483 SOS 733169 HAS SOPS 425100 HAS SOUS 61337 HAS SOUPS 35027 WITH SCORE 35760.169
AT ITER 7505 NEW BEST:: SOT 1074312 SOS 732545 HAS SOPS 424476 HAS SOUS 61214 HAS SOUPS 34904 WITH SCORE 35636.545
AT ITER 7514 NEW BEST:: SOT 1074280 SOS 732513 HAS SOPS 424476 HAS SOUS 61214 HAS SOUPS 34904 WITH SCORE 35636.513
AT ITER 7540 NEW BEST:: SOT 1074196 SOS 732429 HAS SOPS 424392 HAS SOUS 61214 HAS SOUPS 34904 WITH SCORE 35636.429
AT ITER 7549 NEW BEST:: SOT 1074195 SOS 732430 HAS SOPS 424389 HAS SOUS 61211 HAS SOUPS 34901 WITH SCORE 35633.43
AT ITER 7567 NEW BEST:: SOT 1074154 SOS 731934 HAS SOPS 423502 HAS SOUS 61193 HAS SOUPS 34860 WITH SCORE 35591.934
AT ITER 7583 NEW BEST:: SOT 1074079 SOS 732824 HAS SOPS 424233 HAS SOUS 61198 HAS SOUPS 34854 WITH SCORE 35586.824
AT ITER 7677 NEW BEST:: SOT 1074109 SOS 728518 HAS SOPS 419927 HAS SOUS 61197 HAS SOUPS 34853 WITH SCORE 35581.518
AT ITER 7682 NEW BEST:: SOT 1074070 SOS 727872 HAS SOPS 419621 HAS SOUS 61175 HAS SOUPS 34851 WITH SCORE 35578.872
AT ITER 7704 NEW BEST:: SOT 1074286 SOS 728088 HAS SOPS 419837 HAS SOUS 61172 HAS SOUPS 34849 WITH SCORE 35577.088
AT ITER 7710 NEW BEST:: SOT 1074274 SOS 727546 HAS SOPS 419295 HAS SOUS 61142 HAS SOUPS 34819 WITH SCORE 35546.546
AT ITER 7730 NEW BEST:: SOT 1074239 SOS 727320 HAS SOPS 419417 HAS SOUS 61085 HAS SOUPS 34790 WITH SCORE 35517.32
AT ITER 7741 NEW BEST:: SOT 1074219 SOS 727298 HAS SOPS 419405 HAS SOUS 61085 HAS SOUPS 34790 WITH SCORE 35517.298
AT ITER 7794 NEW BEST:: SOT 1074183 SOS 727262 HAS SOPS 419369 HAS SOUS 61058 HAS SOUPS 34777 WITH SCORE 35504.262
AT ITER 7812 NEW BEST:: SOT 1074183 SOS 727262 HAS SOPS 419369 HAS SOUS 61049 HAS SOUPS 34772 WITH SCORE 35499.262
AT ITER 7815 NEW BEST:: SOT 1074087 SOS 727166 HAS SOPS 419273 HAS SOUS 61049 HAS SOUPS 34772 WITH SCORE 35499.166
AT ITER 7890 NEW BEST:: SOT 1074806 SOS 729038 HAS SOPS 419719 HAS SOUS 61093 HAS SOUPS 34754 WITH SCORE 35483.038
AT ITER 7928 NEW BEST:: SOT 1074798 SOS 728954 HAS SOPS 419567 HAS SOUS 61093 HAS SOUPS 34750 WITH SCORE 35478.954
AT ITER 8092 NEW BEST:: SOT 1074844 SOS 729090 HAS SOPS 419597 HAS SOUS 61091 HAS SOUPS 34745 WITH SCORE 35474.09
AT ITER 8149 NEW BEST:: SOT 1074775 SOS 728733 HAS SOPS 419240 HAS SOUS 61061 HAS SOUPS 34715 WITH SCORE 35443.733
AT ITER 8243 NEW BEST:: SOT 1074775 SOS 728733 HAS SOPS 419240 HAS SOUS 61043 HAS SOUPS 34705 WITH SCORE 35433.733
AT ITER 8257 NEW BEST:: SOT 1074770 SOS 728728 HAS SOPS 419240 HAS SOUS 61043 HAS SOUPS 34705 WITH SCORE 35433.728
AT ITER 8263 NEW BEST:: SOT 1074436 SOS 728039 HAS SOPS 418716 HAS SOUS 61030 HAS SOUPS 34692 WITH SCORE 35420.039
AT ITER 8271 NEW BEST:: SOT 1074293 SOS 727720 HAS SOPS 418452 HAS SOUS 61019 HAS SOUPS 34681 WITH SCORE 35408.72
AT ITER 8274 NEW BEST:: SOT 1074287 SOS 727411 HAS SOPS 418296 HAS SOUS 60998 HAS SOUPS 34669 WITH SCORE 35396.411
AT ITER 8277 NEW BEST:: SOT 1074219 SOS 727343 HAS SOPS 418267 HAS SOUS 60996 HAS SOUPS 34659 WITH SCORE 35386.343
AT ITER 8284 NEW BEST:: SOT 1074141 SOS 727265 HAS SOPS 418189 HAS SOUS 60996 HAS SOUPS 34659 WITH SCORE 35386.265
AT ITER 8293 NEW BEST:: SOT 1074099 SOS 726845 HAS SOPS 417811 HAS SOUS 60934 HAS SOUPS 34597 WITH SCORE 35323.845
AT ITER 8354 NEW BEST:: SOT 1073991 SOS 726719 HAS SOPS 417739 HAS SOUS 60929 HAS SOUPS 34592 WITH SCORE 35318.719
AT ITER 8385 NEW BEST:: SOT 1073984 SOS 726712 HAS SOPS 417739 HAS SOUS 60929 HAS SOUPS 34592 WITH SCORE 35318.712
AT ITER 8406 NEW BEST:: SOT 1073887 SOS 726615 HAS SOPS 417739 HAS SOUS 60929 HAS SOUPS 34592 WITH SCORE 35318.615
AT ITER 8412 NEW BEST:: SOT 1073722 SOS 726420 HAS SOPS 417619 HAS SOUS 60929 HAS SOUPS 34592 WITH SCORE 35318.42
AT ITER 8449 NEW BEST:: SOT 1073671 SOS 726411 HAS SOPS 417610 HAS SOUS 60910 HAS SOUPS 34573 WITH SCORE 35299.411
AT ITER 8471 NEW BEST:: SOT 1073671 SOS 726391 HAS SOPS 417250 HAS SOUS 60910 HAS SOUPS 34553 WITH SCORE 35279.391
AT ITER 8532 NEW BEST:: SOT 1073600 SOS 726320 HAS SOPS 417250 HAS SOUS 60910 HAS SOUPS 34553 WITH SCORE 35279.32
AT ITER 8563 NEW BEST:: SOT 1073149 SOS 724951 HAS SOPS 416761 HAS SOUS 60819 HAS SOUPS 34502 WITH SCORE 35226.951
AT ITER 8582 NEW BEST:: SOT 1073341 SOS 725367 HAS SOPS 416857 HAS SOUS 60831 HAS SOUPS 34498 WITH SCORE 35223.367
AT ITER 8662 NEW BEST:: SOT 1073321 SOS 725347 HAS SOPS 416847 HAS SOUS 60821 HAS SOUPS 34488 WITH SCORE 35213.347
AT ITER 8680 NEW BEST:: SOT 1073500 SOS 725970 HAS SOPS 417430 HAS SOUS 60755 HAS SOUPS 34449 WITH SCORE 35174.97
AT ITER 8820 NEW BEST:: SOT 1073500 SOS 725970 HAS SOPS 417430 HAS SOUS 60737 HAS SOUPS 34439 WITH SCORE 35164.97
AT ITER 8839 NEW BEST:: SOT 1073485 SOS 725855 HAS SOPS 417315 HAS SOUS 60726 HAS SOUPS 34428 WITH SCORE 35153.855
AT ITER 8867 NEW BEST:: SOT 1073485 SOS 725855 HAS SOPS 417315 HAS SOUS 60699 HAS SOUPS 34413 WITH SCORE 35138.855
AT ITER 8881 NEW BEST:: SOT 1073485 SOS 725855 HAS SOPS 417315 HAS SOUS 60690 HAS SOUPS 34408 WITH SCORE 35133.855
AT ITER 8968 NEW BEST:: SOT 1073414 SOS 725460 HAS SOPS 416866 HAS SOUS 60705 HAS SOUPS 34405 WITH SCORE 35130.46
AT ITER 8997 NEW BEST:: SOT 1073540 SOS 725824 HAS SOPS 416950 HAS SOUS 60677 HAS SOUPS 34377 WITH SCORE 35102.824
AT ITER 9035 NEW BEST:: SOT 1073537 SOS 725802 HAS SOPS 416928 HAS SOUS 60676 HAS SOUPS 34376 WITH SCORE 35101.802
AT ITER 9066 NEW BEST:: SOT 1073498 SOS 725715 HAS SOPS 416856 HAS SOUS 60673 HAS SOUPS 34373 WITH SCORE 35098.715
AT ITER 9192 NEW BEST:: SOT 1073212 SOS 724961 HAS SOPS 416674 HAS SOUS 60642 HAS SOUPS 34368 WITH SCORE 35092.961
AT ITER 9264 NEW BEST:: SOT 1073208 SOS 724953 HAS SOPS 416666 HAS SOUS 60616 HAS SOUPS 34342 WITH SCORE 35066.953
AT ITER 9321 NEW BEST:: SOT 1073206 SOS 724934 HAS SOPS 416647 HAS SOUS 60612 HAS SOUPS 34338 WITH SCORE 35062.934
AT ITER 9323 NEW BEST:: SOT 1073206 SOS 724934 HAS SOPS 416647 HAS SOUS 60603 HAS SOUPS 34333 WITH SCORE 35057.934
AT ITER 9360 NEW BEST:: SOT 1073190 SOS 724918 HAS SOPS 416647 HAS SOUS 60571 HAS SOUPS 34301 WITH SCORE 35025.918
AT ITER 9361 NEW BEST:: SOT 1073190 SOS 724595 HAS SOPS 416324 HAS SOUS 60571 HAS SOUPS 34301 WITH SCORE 35025.595
AT ITER 9371 NEW BEST:: SOT 1073161 SOS 724566 HAS SOPS 416324 HAS SOUS 60565 HAS SOUPS 34295 WITH SCORE 35019.566
AT ITER 9458 NEW BEST:: SOT 1073333 SOS 724734 HAS SOPS 416426 HAS SOUS 60549 HAS SOUPS 34284 WITH SCORE 35008.734
AT ITER 9477 NEW BEST:: SOT 1073189 SOS 724362 HAS SOPS 416126 HAS SOUS 60537 HAS SOUPS 34272 WITH SCORE 34996.362
AT ITER 9488 NEW BEST:: SOT 1073099 SOS 724272 HAS SOPS 416036 HAS SOUS 60537 HAS SOUPS 34272 WITH SCORE 34996.272
AT ITER 9508 NEW BEST:: SOT 1073047 SOS 724283 HAS SOPS 416065 HAS SOUS 60510 HAS SOUPS 34270 WITH SCORE 34994.283
AT ITER 9539 NEW BEST:: SOT 1073043 SOS 724365 HAS SOPS 416095 HAS SOUS 60509 HAS SOUPS 34266 WITH SCORE 34990.365
AT ITER 9600 NEW BEST:: SOT 1073064 SOS 724135 HAS SOPS 415865 HAS SOUS 60509 HAS SOUPS 34266 WITH SCORE 34990.135
AT ITER 9636 NEW BEST:: SOT 1073082 SOS 721996 HAS SOPS 414151 HAS SOUS 60485 HAS SOUPS 34267 WITH SCORE 34988.996
AT ITER 9669 NEW BEST:: SOT 1073051 SOS 721965 HAS SOPS 414150 HAS SOUS 60484 HAS SOUPS 34266 WITH SCORE 34987.965
AT ITER 9676 NEW BEST:: SOT 1073013 SOS 721927 HAS SOPS 414150 HAS SOUS 60484 HAS SOUPS 34266 WITH SCORE 34987.927
AT ITER 9686 NEW BEST:: SOT 1073012 SOS 721965 HAS SOPS 414169 HAS SOUS 60502 HAS SOUPS 34265 WITH SCORE 34986.965
AT ITER 9720 NEW BEST:: SOT 1072495 SOS 720490 HAS SOPS 413772 HAS SOUS 60389 HAS SOUPS 34209 WITH SCORE 34929.49
AT ITER 9775 NEW BEST:: SOT 1072495 SOS 720490 HAS SOPS 413772 HAS SOUS 60385 HAS SOUPS 34205 WITH SCORE 34925.49
AT ITER 9804 NEW BEST:: SOT 1072267 SOS 719938 HAS SOPS 413286 HAS SOUS 60365 HAS SOUPS 34176 WITH SCORE 34895.938
AT ITER 9862 NEW BEST:: SOT 1072304 SOS 720013 HAS SOPS 413305 HAS SOUS 60361 HAS SOUPS 34175 WITH SCORE 34895.013
AT ITER 9870 NEW BEST:: SOT 1072237 SOS 719923 HAS SOPS 413229 HAS SOUS 60345 HAS SOUPS 34174 WITH SCORE 34893.923
AT ITER 9937 NEW BEST:: SOT 1071878 SOS 718933 HAS SOPS 412979 HAS SOUS 60308 HAS SOUPS 34167 WITH SCORE 34885.933
AT ITER 9954 NEW BEST:: SOT 1071866 SOS 718907 HAS SOPS 412973 HAS SOUS 60307 HAS SOUPS 34167 WITH SCORE 34885.907
AT ITER 9982 NEW BEST:: SOT 1071807 SOS 718848 HAS SOPS 412973 HAS SOUS 60307 HAS SOUPS 34167 WITH SCORE 34885.848
AT ITER 9996 NEW BEST:: SOT 1071806 SOS 718814 HAS SOPS 413010 HAS SOUS 60301 HAS SOUPS 34165 WITH SCORE 34883.814

BK_STOP 1678428889601

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 Killed ${SMART}/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="DLCround-PT-13a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-13a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484700784"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13a.tgz
mv DLCround-PT-13a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;