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.r291-tall-167873942700296.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 smart
Input is PhilosophersDyn-COL-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942700296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 13:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 14:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 14:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32K Mar 5 18:23 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 1678784548650

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhilosophersDyn-COL-20
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 09:02:31] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 09:02:31] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 09:02:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 09:02:32] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 09:02:32] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 632 ms
[2023-03-14 09:02:32] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 540 PT places and 17240.0 transition bindings in 38 ms.
[2023-03-14 09:02:32] [INFO ] Unfolded HLPN to a Petri net with 540 places and 17220 transitions 140780 arcs in 408 ms.
[2023-03-14 09:02:32] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 190 transitions
Reduce isomorphic transitions removed 190 transitions.
[2023-03-14 09:02:36] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 540 places, 17030 transitions and 132420 arcs took 285 ms.
Total runtime 5266 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (COL), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 540 places, 17030 transitions, 132420 arcs.
AT ITER 0 NEW BEST:: SOT 6339332 SOS 5869301 HAS SOPS 5686671 HAS SOUS 3326264 HAS SOUPS 3316573 WITH SCORE 3322442.301
AT ITER 4 NEW BEST:: SOT 6339160 SOS 5858615 HAS SOPS 5677077 HAS SOUS 3289144 HAS SOUPS 3279710 WITH SCORE 3285568.615
AT ITER 8 NEW BEST:: SOT 6339033 SOS 5858488 HAS SOPS 5676950 HAS SOUS 3288802 HAS SOUPS 3279368 WITH SCORE 3285226.488
AT ITER 9 NEW BEST:: SOT 6333060 SOS 5852515 HAS SOPS 5670977 HAS SOUS 3281579 HAS SOUPS 3272145 WITH SCORE 3277997.515
AT ITER 13 NEW BEST:: SOT 6332134 SOS 5851589 HAS SOPS 5670051 HAS SOUS 3280620 HAS SOUPS 3271186 WITH SCORE 3277037.589
AT ITER 16 NEW BEST:: SOT 6315696 SOS 5835385 HAS SOPS 5653867 HAS SOUS 3263889 HAS SOUPS 3254455 WITH SCORE 3260290.385
AT ITER 25 NEW BEST:: SOT 6315546 SOS 5801653 HAS SOPS 5587075 HAS SOUS 3269515 HAS SOUPS 3243241 WITH SCORE 3249042.653
AT ITER 34 NEW BEST:: SOT 6384815 SOS 5856193 HAS SOPS 5640416 HAS SOUS 3210193 HAS SOUPS 3182499 WITH SCORE 3188355.193
AT ITER 55 NEW BEST:: SOT 6385209 SOS 5856587 HAS SOPS 5640810 HAS SOUS 3209873 HAS SOUPS 3182179 WITH SCORE 3188035.587
AT ITER 66 NEW BEST:: SOT 6385925 SOS 5856327 HAS SOPS 5640245 HAS SOUS 3188105 HAS SOUPS 3160106 WITH SCORE 3165962.327
AT ITER 67 NEW BEST:: SOT 6419333 SOS 5874416 HAS SOPS 5660329 HAS SOUS 3130293 HAS SOUPS 3102267 WITH SCORE 3108141.416
AT ITER 70 NEW BEST:: SOT 6415670 SOS 5870753 HAS SOPS 5656666 HAS SOUS 3125120 HAS SOUPS 3097094 WITH SCORE 3102964.753
AT ITER 104 NEW BEST:: SOT 6413936 SOS 5869019 HAS SOPS 5654932 HAS SOUS 3121618 HAS SOUPS 3093592 WITH SCORE 3099461.019
AT ITER 105 NEW BEST:: SOT 6413736 SOS 5868819 HAS SOPS 5654722 HAS SOUS 3121418 HAS SOUPS 3093382 WITH SCORE 3099250.819
AT ITER 108 NEW BEST:: SOT 6403928 SOS 5858795 HAS SOPS 5644914 HAS SOUS 3110530 HAS SOUPS 3082710 WITH SCORE 3088568.795
AT ITER 121 NEW BEST:: SOT 6403866 SOS 5858733 HAS SOPS 5644852 HAS SOUS 3110465 HAS SOUPS 3082645 WITH SCORE 3088503.733
AT ITER 126 NEW BEST:: SOT 6403748 SOS 5858595 HAS SOPS 5644734 HAS SOUS 3110396 HAS SOUPS 3082596 WITH SCORE 3088454.595
AT ITER 128 NEW BEST:: SOT 6454828 SOS 5894732 HAS SOPS 5681465 HAS SOUS 3050248 HAS SOUPS 3021004 WITH SCORE 3026898.732
AT ITER 150 NEW BEST:: SOT 6454820 SOS 5894724 HAS SOPS 5681457 HAS SOUS 3050240 HAS SOUPS 3020996 WITH SCORE 3026890.724
AT ITER 151 NEW BEST:: SOT 6483093 SOS 5900465 HAS SOPS 5698751 HAS SOUS 3047418 HAS SOUPS 3019069 WITH SCORE 3024969.465
AT ITER 153 NEW BEST:: SOT 6482696 SOS 5900068 HAS SOPS 5698354 HAS SOUS 3046576 HAS SOUPS 3018227 WITH SCORE 3024127.068
AT ITER 159 NEW BEST:: SOT 6483272 SOS 5881643 HAS SOPS 5688567 HAS SOUS 3006538 HAS SOUPS 2979561 WITH SCORE 2985442.643
AT ITER 168 NEW BEST:: SOT 6483218 SOS 5880864 HAS SOPS 5687782 HAS SOUS 3005983 HAS SOUPS 2979025 WITH SCORE 2984905.864
AT ITER 186 NEW BEST:: SOT 6471426 SOS 5869120 HAS SOPS 5676310 HAS SOUS 2994236 HAS SOUPS 2967550 WITH SCORE 2973419.12
AT ITER 190 NEW BEST:: SOT 6471338 SOS 5869014 HAS SOPS 5676222 HAS SOUS 2994213 HAS SOUPS 2967545 WITH SCORE 2973414.014
AT ITER 202 NEW BEST:: SOT 6470269 SOS 5868181 HAS SOPS 5675389 HAS SOUS 2993147 HAS SOUPS 2966479 WITH SCORE 2972347.181
AT ITER 207 NEW BEST:: SOT 6469558 SOS 5867470 HAS SOPS 5674678 HAS SOUS 2992065 HAS SOUPS 2965397 WITH SCORE 2971264.47
AT ITER 208 NEW BEST:: SOT 6475798 SOS 5857820 HAS SOPS 5668674 HAS SOUS 2925807 HAS SOUPS 2899089 WITH SCORE 2904946.82
AT ITER 213 NEW BEST:: SOT 6475656 SOS 5841283 HAS SOPS 5660055 HAS SOUS 2908820 HAS SOUPS 2883145 WITH SCORE 2888986.283
AT ITER 223 NEW BEST:: SOT 6475341 SOS 5840930 HAS SOPS 5659740 HAS SOUS 2907860 HAS SOUPS 2882185 WITH SCORE 2888025.93
AT ITER 225 NEW BEST:: SOT 6467096 SOS 5832522 HAS SOPS 5651495 HAS SOUS 2897862 HAS SOUPS 2872350 WITH SCORE 2878182.522
AT ITER 227 NEW BEST:: SOT 6515036 SOS 5858768 HAS SOPS 5685498 HAS SOUS 2887144 HAS SOUPS 2860956 WITH SCORE 2866814.768
AT ITER 230 NEW BEST:: SOT 6503807 SOS 5847244 HAS SOPS 5674269 HAS SOUS 2880498 HAS SOUPS 2854605 WITH SCORE 2860452.244
AT ITER 233 NEW BEST:: SOT 6476932 SOS 5836545 HAS SOPS 5655030 HAS SOUS 2877018 HAS SOUPS 2850713 WITH SCORE 2856549.545
AT ITER 243 NEW BEST:: SOT 6472636 SOS 5832249 HAS SOPS 5650734 HAS SOUS 2870510 HAS SOUPS 2844205 WITH SCORE 2850037.249
AT ITER 263 NEW BEST:: SOT 6472156 SOS 5831692 HAS SOPS 5650254 HAS SOUS 2870239 HAS SOUPS 2844011 WITH SCORE 2849842.692
AT ITER 267 NEW BEST:: SOT 6471191 SOS 5830727 HAS SOPS 5649289 HAS SOUS 2869013 HAS SOUPS 2842785 WITH SCORE 2848615.727
AT ITER 283 NEW BEST:: SOT 6470663 SOS 5830199 HAS SOPS 5648735 HAS SOUS 2868485 HAS SOUPS 2842231 WITH SCORE 2848061.199
AT ITER 290 NEW BEST:: SOT 6405984 SOS 5766138 HAS SOPS 5586422 HAS SOUS 2813195 HAS SOUPS 2788689 WITH SCORE 2794455.138
AT ITER 307 NEW BEST:: SOT 6403013 SOS 5763167 HAS SOPS 5583451 HAS SOUS 2809186 HAS SOUPS 2784680 WITH SCORE 2790443.167
AT ITER 343 NEW BEST:: SOT 6361823 SOS 5722926 HAS SOPS 5544395 HAS SOUS 2774581 HAS SOUPS 2751260 WITH SCORE 2756982.926
AT ITER 354 NEW BEST:: SOT 6351784 SOS 5712942 HAS SOPS 5534636 HAS SOUS 2764438 HAS SOUPS 2741342 WITH SCORE 2747054.942
AT ITER 364 NEW BEST:: SOT 6351423 SOS 5712581 HAS SOPS 5534275 HAS SOUS 2764328 HAS SOUPS 2741232 WITH SCORE 2746944.581
AT ITER 372 NEW BEST:: SOT 6347167 SOS 5708117 HAS SOPS 5530019 HAS SOUS 2760163 HAS SOUPS 2737275 WITH SCORE 2742983.117
AT ITER 374 NEW BEST:: SOT 6347203 SOS 5707192 HAS SOPS 5526704 HAS SOUS 2759771 HAS SOUPS 2736885 WITH SCORE 2742592.192
AT ITER 379 NEW BEST:: SOT 6346243 SOS 5706232 HAS SOPS 5525744 HAS SOUS 2758842 HAS SOUPS 2735956 WITH SCORE 2741662.232
AT ITER 419 NEW BEST:: SOT 6355671 SOS 5713141 HAS SOPS 5532080 HAS SOUS 2736045 HAS SOUPS 2712470 WITH SCORE 2718183.141
AT ITER 423 NEW BEST:: SOT 6355623 SOS 5711482 HAS SOPS 5531042 HAS SOUS 2735555 HAS SOUPS 2712014 WITH SCORE 2717725.482
AT ITER 430 NEW BEST:: SOT 6356388 SOS 5695862 HAS SOPS 5525614 HAS SOUS 2708758 HAS SOUPS 2686369 WITH SCORE 2692064.862
AT ITER 432 NEW BEST:: SOT 6355720 SOS 5695194 HAS SOPS 5524946 HAS SOUS 2707568 HAS SOUPS 2685179 WITH SCORE 2690874.194
AT ITER 433 NEW BEST:: SOT 6355471 SOS 5694945 HAS SOPS 5524685 HAS SOUS 2707319 HAS SOUPS 2684918 WITH SCORE 2690612.945
AT ITER 471 NEW BEST:: SOT 6357756 SOS 5733905 HAS SOPS 5606196 HAS SOUS 2691409 HAS SOUPS 2674500 WITH SCORE 2680233.905
AT ITER 479 NEW BEST:: SOT 6357756 SOS 5732310 HAS SOPS 5600755 HAS SOUS 2690562 HAS SOUPS 2673550 WITH SCORE 2679282.31
AT ITER 496 NEW BEST:: SOT 6357754 SOS 5731676 HAS SOPS 5599824 HAS SOUS 2690213 HAS SOUPS 2673263 WITH SCORE 2678994.676
AT ITER 510 NEW BEST:: SOT 6356817 SOS 5730670 HAS SOPS 5598887 HAS SOUS 2690108 HAS SOUPS 2673227 WITH SCORE 2678957.67
AT ITER 528 NEW BEST:: SOT 6355391 SOS 5729175 HAS SOPS 5597461 HAS SOUS 2689924 HAS SOUPS 2673112 WITH SCORE 2678841.175
AT ITER 545 NEW BEST:: SOT 6356405 SOS 5729598 HAS SOPS 5597635 HAS SOUS 2681494 HAS SOUPS 2664433 WITH SCORE 2670162.598
AT ITER 548 NEW BEST:: SOT 6337945 SOS 5711536 HAS SOPS 5580162 HAS SOUS 2665614 HAS SOUPS 2649142 WITH SCORE 2654853.536
AT ITER 569 NEW BEST:: SOT 6337899 SOS 5711965 HAS SOPS 5580973 HAS SOUS 2665392 HAS SOUPS 2648901 WITH SCORE 2654612.965
AT ITER 587 NEW BEST:: SOT 6337325 SOS 5711362 HAS SOPS 5580399 HAS SOUS 2661428 HAS SOUPS 2644966 WITH SCORE 2650677.362
AT ITER 589 NEW BEST:: SOT 6345402 SOS 5699720 HAS SOPS 5578509 HAS SOUS 2640239 HAS SOUPS 2623258 WITH SCORE 2628957.72
AT ITER 592 NEW BEST:: SOT 6369252 SOS 5708263 HAS SOPS 5593480 HAS SOUS 2617232 HAS SOUPS 2598617 WITH SCORE 2604325.263
AT ITER 596 NEW BEST:: SOT 6368134 SOS 5686863 HAS SOPS 5583381 HAS SOUS 2577004 HAS SOUPS 2558139 WITH SCORE 2563825.863
AT ITER 619 NEW BEST:: SOT 6368134 SOS 5694134 HAS SOPS 5593011 HAS SOUS 2576514 HAS SOUPS 2557689 WITH SCORE 2563383.134
AT ITER 630 NEW BEST:: SOT 6365703 SOS 5691099 HAS SOPS 5590454 HAS SOUS 2572694 HAS SOUPS 2554099 WITH SCORE 2559790.099
AT ITER 632 NEW BEST:: SOT 6364484 SOS 5689880 HAS SOPS 5589235 HAS SOUS 2569856 HAS SOUPS 2551261 WITH SCORE 2556950.88
AT ITER 635 NEW BEST:: SOT 6364484 SOS 5690146 HAS SOPS 5589434 HAS SOUS 2569061 HAS SOUPS 2550469 WITH SCORE 2556159.146
AT ITER 639 NEW BEST:: SOT 6364477 SOS 5690254 HAS SOPS 5589530 HAS SOUS 2568996 HAS SOUPS 2550404 WITH SCORE 2556094.254
AT ITER 640 NEW BEST:: SOT 6364328 SOS 5690105 HAS SOPS 5589381 HAS SOUS 2568714 HAS SOUPS 2550122 WITH SCORE 2555812.105
AT ITER 641 NEW BEST:: SOT 6364686 SOS 5690522 HAS SOPS 5589739 HAS SOUS 2566702 HAS SOUPS 2548051 WITH SCORE 2553741.522
AT ITER 643 NEW BEST:: SOT 6365235 SOS 5691511 HAS SOPS 5590280 HAS SOUS 2565815 HAS SOUPS 2547004 WITH SCORE 2552695.511
AT ITER 651 NEW BEST:: SOT 6362966 SOS 5689170 HAS SOPS 5588011 HAS SOUS 2564535 HAS SOUPS 2545796 WITH SCORE 2551485.17
AT ITER 657 NEW BEST:: SOT 6352074 SOS 5678203 HAS SOPS 5577119 HAS SOUS 2546403 HAS SOUPS 2527739 WITH SCORE 2533417.203
AT ITER 671 NEW BEST:: SOT 6351568 SOS 5677697 HAS SOPS 5576613 HAS SOUS 2545457 HAS SOUPS 2526793 WITH SCORE 2532470.697
AT ITER 673 NEW BEST:: SOT 6360239 SOS 5664550 HAS SOPS 5575090 HAS SOUS 2533432 HAS SOUPS 2514117 WITH SCORE 2519781.55
AT ITER 680 NEW BEST:: SOT 6359092 SOS 5663403 HAS SOPS 5573943 HAS SOUS 2532304 HAS SOUPS 2512989 WITH SCORE 2518652.403
AT ITER 704 NEW BEST:: SOT 6358875 SOS 5663186 HAS SOPS 5573726 HAS SOUS 2532033 HAS SOUPS 2512718 WITH SCORE 2518381.186
AT ITER 709 NEW BEST:: SOT 6354317 SOS 5647258 HAS SOPS 5554395 HAS SOUS 2530149 HAS SOUPS 2510523 WITH SCORE 2516170.258
AT ITER 713 NEW BEST:: SOT 6346794 SOS 5639676 HAS SOPS 5546872 HAS SOUS 2514577 HAS SOUPS 2495010 WITH SCORE 2500649.676
AT ITER 722 NEW BEST:: SOT 6247617 SOS 5542290 HAS SOPS 5452214 HAS SOUS 2452855 HAS SOUPS 2436016 WITH SCORE 2441558.29
AT ITER 738 NEW BEST:: SOT 6247313 SOS 5541368 HAS SOPS 5451433 HAS SOUS 2451666 HAS SOUPS 2434843 WITH SCORE 2440384.368
AT ITER 779 NEW BEST:: SOT 6247406 SOS 5541473 HAS SOPS 5451526 HAS SOUS 2451616 HAS SOUPS 2434781 WITH SCORE 2440322.473
AT ITER 796 NEW BEST:: SOT 6245889 SOS 5539930 HAS SOPS 5450009 HAS SOUS 2449979 HAS SOUPS 2433170 WITH SCORE 2438709.93
AT ITER 801 NEW BEST:: SOT 6241559 SOS 5538952 HAS SOPS 5449414 HAS SOUS 2446960 HAS SOUPS 2430534 WITH SCORE 2436072.952
AT ITER 806 NEW BEST:: SOT 6236118 SOS 5533448 HAS SOPS 5443973 HAS SOUS 2444574 HAS SOUPS 2428211 WITH SCORE 2433744.448
AT ITER 824 NEW BEST:: SOT 6236112 SOS 5533442 HAS SOPS 5443967 HAS SOUS 2444568 HAS SOUPS 2428205 WITH SCORE 2433738.442
AT ITER 847 NEW BEST:: SOT 6235896 SOS 5533226 HAS SOPS 5443751 HAS SOUS 2444327 HAS SOUPS 2427964 WITH SCORE 2433497.226
AT ITER 885 NEW BEST:: SOT 6232162 SOS 5529427 HAS SOPS 5440017 HAS SOUS 2439868 HAS SOUPS 2423570 WITH SCORE 2429099.427
AT ITER 891 NEW BEST:: SOT 6232131 SOS 5529396 HAS SOPS 5440318 HAS SOUS 2439825 HAS SOUPS 2423527 WITH SCORE 2429056.396
AT ITER 903 NEW BEST:: SOT 6232075 SOS 5529332 HAS SOPS 5440262 HAS SOUS 2439778 HAS SOUPS 2423488 WITH SCORE 2429017.332
AT ITER 908 NEW BEST:: SOT 6231847 SOS 5528955 HAS SOPS 5440034 HAS SOUS 2439235 HAS SOUPS 2423094 WITH SCORE 2428622.955
AT ITER 915 NEW BEST:: SOT 6221476 SOS 5518722 HAS SOPS 5430100 HAS SOUS 2429486 HAS SOUPS 2413644 WITH SCORE 2419162.722
AT ITER 917 NEW BEST:: SOT 6221470 SOS 5518716 HAS SOPS 5430094 HAS SOUS 2429477 HAS SOUPS 2413635 WITH SCORE 2419153.716
AT ITER 943 NEW BEST:: SOT 6224382 SOS 5489806 HAS SOPS 5416719 HAS SOUS 2421064 HAS SOUPS 2405093 WITH SCORE 2410582.806
AT ITER 949 NEW BEST:: SOT 6223968 SOS 5490050 HAS SOPS 5416993 HAS SOUS 2420344 HAS SOUPS 2404373 WITH SCORE 2409863.05
AT ITER 956 NEW BEST:: SOT 6223890 SOS 5489966 HAS SOPS 5416915 HAS SOUS 2420320 HAS SOUPS 2404355 WITH SCORE 2409844.966
AT ITER 987 NEW BEST:: SOT 6223203 SOS 5489279 HAS SOPS 5416228 HAS SOUS 2419633 HAS SOUPS 2403668 WITH SCORE 2409157.279
AT ITER 990 NEW BEST:: SOT 6241911 SOS 5489452 HAS SOPS 5422880 HAS SOUS 2384053 HAS SOUPS 2365872 WITH SCORE 2371361.452
AT ITER 993 NEW BEST:: SOT 6241723 SOS 5489264 HAS SOPS 5422692 HAS SOUS 2383692 HAS SOUPS 2365511 WITH SCORE 2371000.264
AT ITER 1025 NEW BEST:: SOT 6235529 SOS 5483687 HAS SOPS 5417418 HAS SOUS 2379107 HAS SOUPS 2361229 WITH SCORE 2366712.687
AT ITER 1079 NEW BEST:: SOT 6234745 SOS 5482905 HAS SOPS 5416634 HAS SOUS 2376456 HAS SOUPS 2358576 WITH SCORE 2364058.905
AT ITER 1081 NEW BEST:: SOT 6234542 SOS 5482692 HAS SOPS 5416431 HAS SOUS 2376282 HAS SOUPS 2358412 WITH SCORE 2363894.692
AT ITER 1086 NEW BEST:: SOT 6216033 SOS 5466558 HAS SOPS 5399957 HAS SOUS 2370292 HAS SOUPS 2352145 WITH SCORE 2357611.558
AT ITER 1098 NEW BEST:: SOT 6215853 SOS 5466378 HAS SOPS 5399777 HAS SOUS 2370112 HAS SOUPS 2351965 WITH SCORE 2357431.378
AT ITER 1105 NEW BEST:: SOT 6215840 SOS 5466365 HAS SOPS 5399764 HAS SOUS 2370019 HAS SOUPS 2351872 WITH SCORE 2357338.365
AT ITER 1123 NEW BEST:: SOT 6216364 SOS 5466833 HAS SOPS 5400288 HAS SOUS 2369584 HAS SOUPS 2351493 WITH SCORE 2356959.833
AT ITER 1134 NEW BEST:: SOT 6215873 SOS 5466342 HAS SOPS 5399797 HAS SOUS 2364334 HAS SOUPS 2346243 WITH SCORE 2351709.342
AT ITER 1152 NEW BEST:: SOT 6240029 SOS 5488845 HAS SOPS 5420395 HAS SOUS 2344613 HAS SOUPS 2324617 WITH SCORE 2330105.845
AT ITER 1153 NEW BEST:: SOT 6239973 SOS 5488292 HAS SOPS 5419821 HAS SOUS 2344492 HAS SOUPS 2324496 WITH SCORE 2329984.292
AT ITER 1178 NEW BEST:: SOT 6240016 SOS 5481069 HAS SOPS 5430544 HAS SOUS 2341725 HAS SOUPS 2321881 WITH SCORE 2327362.069
AT ITER 1183 NEW BEST:: SOT 6240016 SOS 5482043 HAS SOPS 5431531 HAS SOUS 2341652 HAS SOUPS 2321808 WITH SCORE 2327290.043
AT ITER 1198 NEW BEST:: SOT 6239998 SOS 5482024 HAS SOPS 5431515 HAS SOUS 2341504 HAS SOUPS 2321660 WITH SCORE 2327142.024
AT ITER 1247 NEW BEST:: SOT 6251508 SOS 5493325 HAS SOPS 5443025 HAS SOUS 2335861 HAS SOUPS 2316226 WITH SCORE 2321719.325
AT ITER 1276 NEW BEST:: SOT 6251068 SOS 5492885 HAS SOPS 5442585 HAS SOUS 2335381 HAS SOUPS 2315746 WITH SCORE 2321238.885
AT ITER 1321 NEW BEST:: SOT 6250464 SOS 5492281 HAS SOPS 5441981 HAS SOUS 2333780 HAS SOUPS 2314145 WITH SCORE 2319637.281
AT ITER 1323 NEW BEST:: SOT 6250363 SOS 5492180 HAS SOPS 5441880 HAS SOUS 2332874 HAS SOUPS 2313239 WITH SCORE 2318731.18
AT ITER 1334 NEW BEST:: SOT 6249864 SOS 5492128 HAS SOPS 5441828 HAS SOUS 2331938 HAS SOUPS 2312303 WITH SCORE 2317795.128
AT ITER 1339 NEW BEST:: SOT 6250169 SOS 5491229 HAS SOPS 5440835 HAS SOUS 2326457 HAS SOUPS 2306696 WITH SCORE 2312187.229
AT ITER 1343 NEW BEST:: SOT 6249543 SOS 5490594 HAS SOPS 5440209 HAS SOUS 2325727 HAS SOUPS 2305975 WITH SCORE 2311465.594
AT ITER 1400 NEW BEST:: SOT 6249543 SOS 5490558 HAS SOPS 5440171 HAS SOUS 2325717 HAS SOUPS 2305965 WITH SCORE 2311455.558
AT ITER 1405 NEW BEST:: SOT 6249602 SOS 5490626 HAS SOPS 5440230 HAS SOUS 2325560 HAS SOUPS 2305799 WITH SCORE 2311289.626
AT ITER 1406 NEW BEST:: SOT 6249539 SOS 5490563 HAS SOPS 5440167 HAS SOUS 2325521 HAS SOUPS 2305760 WITH SCORE 2311250.563
AT ITER 1411 NEW BEST:: SOT 6241975 SOS 5482877 HAS SOPS 5432603 HAS SOUS 2319040 HAS SOUPS 2299401 WITH SCORE 2304883.877
AT ITER 1417 NEW BEST:: SOT 6241995 SOS 5482897 HAS SOPS 5432623 HAS SOUS 2319027 HAS SOUPS 2299388 WITH SCORE 2304870.897
AT ITER 1424 NEW BEST:: SOT 6242007 SOS 5482917 HAS SOPS 5432635 HAS SOUS 2318974 HAS SOUPS 2299327 WITH SCORE 2304809.917
AT ITER 1425 NEW BEST:: SOT 6241757 SOS 5483906 HAS SOPS 5433596 HAS SOUS 2317775 HAS SOUPS 2298128 WITH SCORE 2303611.906
AT ITER 1437 NEW BEST:: SOT 6241757 SOS 5482136 HAS SOPS 5431607 HAS SOUS 2317628 HAS SOUPS 2297978 WITH SCORE 2303460.136
AT ITER 1441 NEW BEST:: SOT 6241757 SOS 5481678 HAS SOPS 5430885 HAS SOUS 2317628 HAS SOUPS 2297978 WITH SCORE 2303459.678
AT ITER 1462 NEW BEST:: SOT 6249675 SOS 5488881 HAS SOPS 5437363 HAS SOUS 2313225 HAS SOUPS 2292850 WITH SCORE 2298338.881
AT ITER 1464 NEW BEST:: SOT 6248633 SOS 5488518 HAS SOPS 5437014 HAS SOUS 2311794 HAS SOUPS 2291419 WITH SCORE 2296907.518
AT ITER 1472 NEW BEST:: SOT 6248585 SOS 5488470 HAS SOPS 5436966 HAS SOUS 2311790 HAS SOUPS 2291415 WITH SCORE 2296903.47
AT ITER 1478 NEW BEST:: SOT 6246055 SOS 5486491 HAS SOPS 5435129 HAS SOUS 2309630 HAS SOUPS 2289397 WITH SCORE 2294883.491
AT ITER 1505 NEW BEST:: SOT 6246054 SOS 5486490 HAS SOPS 5435128 HAS SOUS 2309462 HAS SOUPS 2289229 WITH SCORE 2294715.49
AT ITER 1532 NEW BEST:: SOT 6244368 SOS 5484737 HAS SOPS 5433442 HAS SOUS 2307347 HAS SOUPS 2287181 WITH SCORE 2292665.737
AT ITER 1540 NEW BEST:: SOT 6244297 SOS 5484666 HAS SOPS 5433371 HAS SOUS 2307276 HAS SOUPS 2287110 WITH SCORE 2292594.666
AT ITER 1549 NEW BEST:: SOT 6244048 SOS 5484417 HAS SOPS 5433122 HAS SOUS 2307010 HAS SOUPS 2286844 WITH SCORE 2292328.417
AT ITER 1559 NEW BEST:: SOT 6242408 SOS 5482777 HAS SOPS 5431482 HAS SOUS 2304891 HAS SOUPS 2284725 WITH SCORE 2290207.777
AT ITER 1592 NEW BEST:: SOT 6241761 SOS 5482130 HAS SOPS 5430835 HAS SOUS 2303708 HAS SOUPS 2283542 WITH SCORE 2289024.13
AT ITER 1599 NEW BEST:: SOT 6239489 SOS 5479858 HAS SOPS 5428563 HAS SOUS 2300433 HAS SOUPS 2280267 WITH SCORE 2285746.858
AT ITER 1608 NEW BEST:: SOT 6236972 SOS 5477308 HAS SOPS 5426046 HAS SOUS 2298190 HAS SOUPS 2278057 WITH SCORE 2283534.308
AT ITER 1613 NEW BEST:: SOT 6236628 SOS 5476964 HAS SOPS 5425702 HAS SOUS 2297866 HAS SOUPS 2277733 WITH SCORE 2283209.964
AT ITER 1619 NEW BEST:: SOT 6236572 SOS 5476908 HAS SOPS 5425646 HAS SOUS 2297810 HAS SOUPS 2277677 WITH SCORE 2283153.908
AT ITER 1650 NEW BEST:: SOT 6236136 SOS 5476432 HAS SOPS 5425210 HAS SOUS 2297382 HAS SOUPS 2277289 WITH SCORE 2282765.432
AT ITER 1651 NEW BEST:: SOT 6236116 SOS 5476412 HAS SOPS 5425190 HAS SOUS 2297352 HAS SOUPS 2277259 WITH SCORE 2282735.412
AT ITER 1684 NEW BEST:: SOT 6235972 SOS 5476268 HAS SOPS 5425046 HAS SOUS 2296999 HAS SOUPS 2276906 WITH SCORE 2282382.268
AT ITER 1693 NEW BEST:: SOT 6235381 SOS 5475677 HAS SOPS 5424455 HAS SOUS 2296408 HAS SOUPS 2276315 WITH SCORE 2281790.677
AT ITER 1734 NEW BEST:: SOT 6231814 SOS 5526043 HAS SOPS 5475574 HAS SOUS 2294911 HAS SOUPS 2274840 WITH SCORE 2280366.043
AT ITER 1743 NEW BEST:: SOT 6231603 SOS 5525832 HAS SOPS 5475363 HAS SOUS 2294318 HAS SOUPS 2274247 WITH SCORE 2279772.832
AT ITER 1745 NEW BEST:: SOT 6232202 SOS 5526527 HAS SOPS 5475962 HAS SOUS 2292354 HAS SOUPS 2272187 WITH SCORE 2277713.527
AT ITER 1774 NEW BEST:: SOT 6232383 SOS 5507109 HAS SOPS 5469102 HAS SOUS 2290390 HAS SOUPS 2270166 WITH SCORE 2275673.109
AT ITER 1780 NEW BEST:: SOT 6231837 SOS 5506563 HAS SOPS 5468556 HAS SOUS 2289975 HAS SOUPS 2269751 WITH SCORE 2275257.563
AT ITER 1784 NEW BEST:: SOT 6231832 SOS 5506558 HAS SOPS 5468551 HAS SOUS 2289970 HAS SOUPS 2269746 WITH SCORE 2275252.558
AT ITER 1813 NEW BEST:: SOT 6231836 SOS 5506562 HAS SOPS 5468555 HAS SOUS 2289968 HAS SOUPS 2269744 WITH SCORE 2275250.562
AT ITER 1837 NEW BEST:: SOT 6231550 SOS 5506276 HAS SOPS 5468269 HAS SOUS 2289239 HAS SOUPS 2269015 WITH SCORE 2274521.276
AT ITER 1846 NEW BEST:: SOT 6231036 SOS 5505762 HAS SOPS 5467755 HAS SOUS 2288713 HAS SOUPS 2268489 WITH SCORE 2273994.762
AT ITER 1852 NEW BEST:: SOT 6231024 SOS 5505750 HAS SOPS 5467743 HAS SOUS 2288581 HAS SOUPS 2268357 WITH SCORE 2273862.75
AT ITER 1862 NEW BEST:: SOT 6231060 SOS 5505793 HAS SOPS 5467779 HAS SOUS 2288582 HAS SOUPS 2268351 WITH SCORE 2273856.793
AT ITER 1863 NEW BEST:: SOT 6229620 SOS 5504353 HAS SOPS 5466339 HAS SOUS 2287141 HAS SOUPS 2266910 WITH SCORE 2272414.353
AT ITER 1898 NEW BEST:: SOT 6229616 SOS 5504353 HAS SOPS 5466335 HAS SOUS 2286977 HAS SOUPS 2266742 WITH SCORE 2272246.353
AT ITER 1928 NEW BEST:: SOT 6228623 SOS 5503373 HAS SOPS 5465342 HAS SOUS 2285852 HAS SOUPS 2265604 WITH SCORE 2271107.373
AT ITER 1933 NEW BEST:: SOT 6235354 SOS 5509138 HAS SOPS 5470448 HAS SOUS 2271608 HAS SOUPS 2250701 WITH SCORE 2256210.138
AT ITER 1937 NEW BEST:: SOT 6235118 SOS 5508902 HAS SOPS 5470212 HAS SOUS 2271372 HAS SOUPS 2250465 WITH SCORE 2255973.902
AT ITER 1948 NEW BEST:: SOT 6228287 SOS 5502261 HAS SOPS 5463948 HAS SOUS 2269624 HAS SOUPS 2249094 WITH SCORE 2254596.261
AT ITER 1954 NEW BEST:: SOT 6228242 SOS 5502216 HAS SOPS 5463903 HAS SOUS 2269584 HAS SOUPS 2249054 WITH SCORE 2254556.216
AT ITER 1975 NEW BEST:: SOT 6227748 SOS 5501722 HAS SOPS 5463409 HAS SOUS 2268584 HAS SOUPS 2248054 WITH SCORE 2253555.722
AT ITER 2017 NEW BEST:: SOT 6227748 SOS 5485929 HAS SOPS 5449869 HAS SOUS 2267906 HAS SOUPS 2247376 WITH SCORE 2252861.929
AT ITER 2020 NEW BEST:: SOT 6227501 SOS 5485682 HAS SOPS 5449622 HAS SOUS 2267577 HAS SOUPS 2247047 WITH SCORE 2252532.682
AT ITER 2026 NEW BEST:: SOT 6227360 SOS 5484723 HAS SOPS 5448707 HAS SOUS 2267189 HAS SOUPS 2246659 WITH SCORE 2252143.723
AT ITER 2037 NEW BEST:: SOT 6226825 SOS 5484188 HAS SOPS 5448172 HAS SOUS 2266382 HAS SOUPS 2245852 WITH SCORE 2251336.188
AT ITER 2039 NEW BEST:: SOT 6227070 SOS 5484455 HAS SOPS 5448417 HAS SOUS 2266300 HAS SOUPS 2245748 WITH SCORE 2251232.455
AT ITER 2067 NEW BEST:: SOT 6227068 SOS 5484421 HAS SOPS 5448429 HAS SOUS 2266290 HAS SOUPS 2245738 WITH SCORE 2251222.421
AT ITER 2073 NEW BEST:: SOT 6227067 SOS 5449818 HAS SOPS 5415181 HAS SOUS 2266383 HAS SOUPS 2245744 WITH SCORE 2251193.818
AT ITER 2076 NEW BEST:: SOT 6226707 SOS 5449444 HAS SOPS 5414821 HAS SOUS 2266003 HAS SOUPS 2245378 WITH SCORE 2250827.444
AT ITER 2089 NEW BEST:: SOT 6225877 SOS 5448595 HAS SOPS 5413991 HAS SOUS 2265136 HAS SOUPS 2244530 WITH SCORE 2249978.595
AT ITER 2120 NEW BEST:: SOT 6225814 SOS 5448397 HAS SOPS 5413793 HAS SOUS 2264947 HAS SOUPS 2244341 WITH SCORE 2249789.397
AT ITER 2126 NEW BEST:: SOT 6225775 SOS 5448355 HAS SOPS 5413754 HAS SOUS 2264824 HAS SOUPS 2244221 WITH SCORE 2249669.355
AT ITER 2140 NEW BEST:: SOT 6225775 SOS 5448472 HAS SOPS 5413852 HAS SOUS 2264518 HAS SOUPS 2243923 WITH SCORE 2249371.472
AT ITER 2161 NEW BEST:: SOT 6225593 SOS 5448260 HAS SOPS 5413670 HAS SOUS 2264150 HAS SOUPS 2243585 WITH SCORE 2249033.26
AT ITER 2165 NEW BEST:: SOT 6225553 SOS 5448220 HAS SOPS 5413630 HAS SOUS 2264110 HAS SOUPS 2243545 WITH SCORE 2248993.22
AT ITER 2176 NEW BEST:: SOT 6224698 SOS 5447343 HAS SOPS 5412775 HAS SOUS 2262292 HAS SOUPS 2241749 WITH SCORE 2247196.343
AT ITER 2212 NEW BEST:: SOT 6223186 SOS 5445923 HAS SOPS 5411410 HAS SOUS 2260900 HAS SOUPS 2240412 WITH SCORE 2245857.923
AT ITER 2236 NEW BEST:: SOT 6223552 SOS 5442677 HAS SOPS 5407491 HAS SOUS 2260231 HAS SOUPS 2239088 WITH SCORE 2244530.677
AT ITER 2271 NEW BEST:: SOT 6223374 SOS 5442499 HAS SOPS 5407313 HAS SOUS 2260027 HAS SOUPS 2238884 WITH SCORE 2244326.499
AT ITER 2282 NEW BEST:: SOT 6223416 SOS 5442545 HAS SOPS 5407355 HAS SOUS 2259991 HAS SOUPS 2238844 WITH SCORE 2244286.545
AT ITER 2322 NEW BEST:: SOT 6222680 SOS 5441809 HAS SOPS 5406619 HAS SOUS 2257799 HAS SOUPS 2236652 WITH SCORE 2242093.809
AT ITER 2358 NEW BEST:: SOT 6223472 SOS 5442547 HAS SOPS 5407339 HAS SOUS 2257158 HAS SOUPS 2235993 WITH SCORE 2241435.547
AT ITER 2361 NEW BEST:: SOT 6224575 SOS 5443844 HAS SOPS 5409017 HAS SOUS 2255514 HAS SOUPS 2234730 WITH SCORE 2240173.844
AT ITER 2367 NEW BEST:: SOT 6224575 SOS 5444498 HAS SOPS 5406651 HAS SOUS 2254967 HAS SOUPS 2234218 WITH SCORE 2239662.498
AT ITER 2370 NEW BEST:: SOT 6223528 SOS 5443428 HAS SOPS 5405581 HAS SOUS 2254668 HAS SOUPS 2233919 WITH SCORE 2239362.428
AT ITER 2372 NEW BEST:: SOT 6223273 SOS 5441745 HAS SOPS 5403946 HAS SOUS 2254620 HAS SOUPS 2233867 WITH SCORE 2239308.745
AT ITER 2378 NEW BEST:: SOT 6223251 SOS 5441723 HAS SOPS 5403924 HAS SOUS 2254593 HAS SOUPS 2233840 WITH SCORE 2239281.723
AT ITER 2380 NEW BEST:: SOT 6222673 SOS 5441145 HAS SOPS 5403346 HAS SOUS 2254019 HAS SOUPS 2233266 WITH SCORE 2238707.145
AT ITER 2381 NEW BEST:: SOT 6222673 SOS 5441361 HAS SOPS 5403650 HAS SOUS 2253938 HAS SOUPS 2233185 WITH SCORE 2238626.361
AT ITER 2416 NEW BEST:: SOT 6221676 SOS 5440364 HAS SOPS 5402653 HAS SOUS 2252145 HAS SOUPS 2231392 WITH SCORE 2236832.364
AT ITER 2421 NEW BEST:: SOT 6221697 SOS 5440385 HAS SOPS 5402674 HAS SOUS 2252048 HAS SOUPS 2231295 WITH SCORE 2236735.385
AT ITER 2449 NEW BEST:: SOT 6221569 SOS 5440257 HAS SOPS 5402546 HAS SOUS 2251723 HAS SOUPS 2230970 WITH SCORE 2236410.257
AT ITER 2461 NEW BEST:: SOT 6219209 SOS 5437867 HAS SOPS 5400186 HAS SOUS 2248428 HAS SOUPS 2227705 WITH SCORE 2233142.867
AT ITER 2484 NEW BEST:: SOT 6214996 SOS 5434088 HAS SOPS 5396655 HAS SOUS 2245920 HAS SOUPS 2225445 WITH SCORE 2230879.088
AT ITER 2518 NEW BEST:: SOT 6213817 SOS 5432832 HAS SOPS 5395476 HAS SOUS 2243905 HAS SOUPS 2223507 WITH SCORE 2228939.832
AT ITER 2525 NEW BEST:: SOT 6212548 SOS 5431601 HAS SOPS 5394207 HAS SOUS 2243741 HAS SOUPS 2223305 WITH SCORE 2228736.601
AT ITER 2535 NEW BEST:: SOT 6212455 SOS 5431505 HAS SOPS 5394114 HAS SOUS 2243610 HAS SOUPS 2223177 WITH SCORE 2228608.505
AT ITER 2543 NEW BEST:: SOT 6211862 SOS 5430912 HAS SOPS 5393521 HAS SOUS 2243057 HAS SOUPS 2222624 WITH SCORE 2228054.912
AT ITER 2551 NEW BEST:: SOT 6211120 SOS 5430158 HAS SOPS 5392779 HAS SOUS 2242316 HAS SOUPS 2221895 WITH SCORE 2227325.158
AT ITER 2573 NEW BEST:: SOT 6210887 SOS 5429925 HAS SOPS 5392546 HAS SOUS 2242083 HAS SOUPS 2221662 WITH SCORE 2227091.925
AT ITER 2588 NEW BEST:: SOT 6210492 SOS 5429539 HAS SOPS 5392151 HAS SOUS 2240035 HAS SOUPS 2219605 WITH SCORE 2225034.539
AT ITER 2589 NEW BEST:: SOT 6210224 SOS 5429271 HAS SOPS 5391883 HAS SOUS 2239728 HAS SOUPS 2219298 WITH SCORE 2224727.271
AT ITER 2591 NEW BEST:: SOT 6209539 SOS 5428586 HAS SOPS 5391198 HAS SOUS 2238853 HAS SOUPS 2218423 WITH SCORE 2223851.586
AT ITER 2608 NEW BEST:: SOT 6209609 SOS 5428672 HAS SOPS 5391268 HAS SOUS 2238596 HAS SOUPS 2218150 WITH SCORE 2223578.672
AT ITER 2615 NEW BEST:: SOT 6209531 SOS 5428594 HAS SOPS 5391190 HAS SOUS 2238407 HAS SOUPS 2217961 WITH SCORE 2223389.594
AT ITER 2624 NEW BEST:: SOT 6209327 SOS 5428390 HAS SOPS 5390986 HAS SOUS 2238192 HAS SOUPS 2217746 WITH SCORE 2223174.39
AT ITER 2677 NEW BEST:: SOT 6209293 SOS 5428356 HAS SOPS 5390952 HAS SOUS 2238141 HAS SOUPS 2217695 WITH SCORE 2223123.356
AT ITER 2684 NEW BEST:: SOT 6209276 SOS 5428339 HAS SOPS 5390935 HAS SOUS 2238109 HAS SOUPS 2217663 WITH SCORE 2223091.339
AT ITER 2696 NEW BEST:: SOT 6204672 SOS 5423671 HAS SOPS 5386331 HAS SOUS 2232677 HAS SOUPS 2212295 WITH SCORE 2217718.671
AT ITER 2712 NEW BEST:: SOT 6204670 SOS 5423669 HAS SOPS 5386329 HAS SOUS 2232671 HAS SOUPS 2212289 WITH SCORE 2217712.669
AT ITER 2725 NEW BEST:: SOT 6204295 SOS 5423283 HAS SOPS 5385954 HAS SOUS 2232228 HAS SOUPS 2211857 WITH SCORE 2217280.283
AT ITER 2728 NEW BEST:: SOT 6204295 SOS 5436065 HAS SOPS 5399671 HAS SOUS 2232156 HAS SOUPS 2211810 WITH SCORE 2217246.065
AT ITER 2777 NEW BEST:: SOT 6204247 SOS 5436017 HAS SOPS 5399623 HAS SOUS 2232100 HAS SOUPS 2211754 WITH SCORE 2217190.017
AT ITER 2778 NEW BEST:: SOT 6204283 SOS 5436055 HAS SOPS 5399659 HAS SOUS 2232092 HAS SOUPS 2211744 WITH SCORE 2217180.055
AT ITER 2801 NEW BEST:: SOT 6204607 SOS 5420832 HAS SOPS 5396096 HAS SOUS 2230244 HAS SOUPS 2209922 WITH SCORE 2215342.832
AT ITER 2817 NEW BEST:: SOT 6203239 SOS 5419509 HAS SOPS 5394728 HAS SOUS 2228876 HAS SOUPS 2208509 WITH SCORE 2213928.509
AT ITER 2859 NEW BEST:: SOT 6198658 SOS 5415255 HAS SOPS 5390707 HAS SOUS 2227957 HAS SOUPS 2207823 WITH SCORE 2213238.255
AT ITER 2860 NEW BEST:: SOT 6198417 SOS 5415007 HAS SOPS 5390466 HAS SOUS 2227676 HAS SOUPS 2207549 WITH SCORE 2212964.007
AT ITER 2864 NEW BEST:: SOT 6195603 SOS 5412087 HAS SOPS 5387652 HAS SOUS 2226904 HAS SOUPS 2206883 WITH SCORE 2212295.087
AT ITER 2867 NEW BEST:: SOT 6195531 SOS 5412015 HAS SOPS 5387580 HAS SOUS 2226627 HAS SOUPS 2206606 WITH SCORE 2212018.015
AT ITER 2874 NEW BEST:: SOT 6195531 SOS 5402191 HAS SOPS 5377709 HAS SOUS 2225868 HAS SOUPS 2205847 WITH SCORE 2211249.191
AT ITER 2875 NEW BEST:: SOT 6194399 SOS 5401049 HAS SOPS 5376577 HAS SOUS 2223868 HAS SOUPS 2203857 WITH SCORE 2209258.049
AT ITER 2880 NEW BEST:: SOT 6194335 SOS 5400985 HAS SOPS 5376513 HAS SOUS 2223787 HAS SOUPS 2203776 WITH SCORE 2209176.985
AT ITER 2901 NEW BEST:: SOT 6194196 SOS 5400846 HAS SOPS 5376374 HAS SOUS 2223464 HAS SOUPS 2203453 WITH SCORE 2208853.846
AT ITER 2914 NEW BEST:: SOT 6194173 SOS 5400823 HAS SOPS 5376351 HAS SOUS 2223392 HAS SOUPS 2203381 WITH SCORE 2208781.823
AT ITER 2979 NEW BEST:: SOT 6185945 SOS 5396731 HAS SOPS 5371776 HAS SOUS 2222113 HAS SOUPS 2201763 WITH SCORE 2207159.731
AT ITER 3008 NEW BEST:: SOT 6185945 SOS 5391539 HAS SOPS 5366520 HAS SOUS 2221754 HAS SOUPS 2201404 WITH SCORE 2206795.539
AT ITER 3011 NEW BEST:: SOT 6185513 SOS 5391107 HAS SOPS 5366088 HAS SOUS 2221323 HAS SOUPS 2200973 WITH SCORE 2206364.107
AT ITER 3045 NEW BEST:: SOT 6185398 SOS 5390992 HAS SOPS 5365973 HAS SOUS 2221118 HAS SOUPS 2200768 WITH SCORE 2206158.992
AT ITER 3051 NEW BEST:: SOT 6185398 SOS 5408219 HAS SOPS 5383671 HAS SOUS 2220659 HAS SOUPS 2200354 WITH SCORE 2205762.219
AT ITER 3056 NEW BEST:: SOT 6183315 SOS 5406098 HAS SOPS 5381588 HAS SOUS 2217555 HAS SOUPS 2197288 WITH SCORE 2202694.098
AT ITER 3061 NEW BEST:: SOT 6184616 SOS 5407173 HAS SOPS 5382537 HAS SOUS 2216925 HAS SOUPS 2196532 WITH SCORE 2201939.173
AT ITER 3093 NEW BEST:: SOT 6184455 SOS 5407004 HAS SOPS 5382376 HAS SOUS 2216777 HAS SOUPS 2196392 WITH SCORE 2201799.004
AT ITER 3101 NEW BEST:: SOT 6184455 SOS 5407022 HAS SOPS 5382394 HAS SOUS 2216776 HAS SOUPS 2196391 WITH SCORE 2201798.022
AT ITER 3156 NEW BEST:: SOT 6184455 SOS 5406739 HAS SOPS 5382111 HAS SOUS 2216765 HAS SOUPS 2196380 WITH SCORE 2201786.739
AT ITER 3161 NEW BEST:: SOT 6184477 SOS 5406775 HAS SOPS 5382133 HAS SOUS 2216335 HAS SOUPS 2195936 WITH SCORE 2201342.775
AT ITER 3191 NEW BEST:: SOT 6184472 SOS 5406155 HAS SOPS 5381546 HAS SOUS 2216245 HAS SOUPS 2195846 WITH SCORE 2201252.155
AT ITER 3214 NEW BEST:: SOT 6184472 SOS 5396054 HAS SOPS 5371295 HAS SOUS 2215516 HAS SOUPS 2195117 WITH SCORE 2200513.054
AT ITER 3216 NEW BEST:: SOT 6183735 SOS 5395211 HAS SOPS 5370558 HAS SOUS 2214205 HAS SOUPS 2193912 WITH SCORE 2199307.211
AT ITER 3225 NEW BEST:: SOT 6182795 SOS 5394746 HAS SOPS 5370093 HAS SOUS 2213265 HAS SOUPS 2192972 WITH SCORE 2198366.746
AT ITER 3236 NEW BEST:: SOT 6182589 SOS 5394540 HAS SOPS 5369887 HAS SOUS 2213166 HAS SOUPS 2192873 WITH SCORE 2198267.54
AT ITER 3241 NEW BEST:: SOT 6182589 SOS 5394540 HAS SOPS 5369887 HAS SOUS 2213082 HAS SOUPS 2192789 WITH SCORE 2198183.54
AT ITER 3306 NEW BEST:: SOT 6182979 SOS 5394446 HAS SOPS 5369678 HAS SOUS 2212764 HAS SOUPS 2192356 WITH SCORE 2197750.446
AT ITER 3308 NEW BEST:: SOT 6182969 SOS 5393709 HAS SOPS 5369006 HAS SOUS 2212693 HAS SOUPS 2192285 WITH SCORE 2197678.709
AT ITER 3311 NEW BEST:: SOT 6182969 SOS 5393249 HAS SOPS 5368570 HAS SOUS 2212681 HAS SOUPS 2192277 WITH SCORE 2197670.249
AT ITER 3329 NEW BEST:: SOT 6182632 SOS 5392912 HAS SOPS 5368233 HAS SOUS 2212237 HAS SOUPS 2191833 WITH SCORE 2197225.912
AT ITER 3346 NEW BEST:: SOT 6181434 SOS 5391682 HAS SOPS 5367035 HAS SOUS 2210487 HAS SOUPS 2190115 WITH SCORE 2195506.682
AT ITER 3359 NEW BEST:: SOT 6181357 SOS 5391605 HAS SOPS 5366958 HAS SOUS 2210446 HAS SOUPS 2190074 WITH SCORE 2195465.605
AT ITER 3371 NEW BEST:: SOT 6181356 SOS 5391604 HAS SOPS 5366957 HAS SOUS 2210437 HAS SOUPS 2190065 WITH SCORE 2195456.604
AT ITER 3407 NEW BEST:: SOT 6181285 SOS 5391532 HAS SOPS 5366885 HAS SOUS 2210386 HAS SOUPS 2190014 WITH SCORE 2195405.532
AT ITER 3427 NEW BEST:: SOT 6181040 SOS 5391287 HAS SOPS 5366640 HAS SOUS 2209611 HAS SOUPS 2189239 WITH SCORE 2194630.287
AT ITER 3452 NEW BEST:: SOT 6180929 SOS 5391169 HAS SOPS 5366529 HAS SOUS 2209479 HAS SOUPS 2189114 WITH SCORE 2194505.169
AT ITER 3457 NEW BEST:: SOT 6180738 SOS 5391122 HAS SOPS 5366506 HAS SOUS 2209320 HAS SOUPS 2188979 WITH SCORE 2194370.122
AT ITER 3486 NEW BEST:: SOT 6176274 SOS 5390050 HAS SOPS 5367803 HAS SOUS 2205385 HAS SOUPS 2187273 WITH SCORE 2192663.05
AT ITER 3487 NEW BEST:: SOT 6176351 SOS 5390127 HAS SOPS 5367880 HAS SOUS 2205381 HAS SOUPS 2187269 WITH SCORE 2192659.127
AT ITER 3532 NEW BEST:: SOT 6176342 SOS 5390075 HAS SOPS 5367871 HAS SOUS 2203371 HAS SOUPS 2185302 WITH SCORE 2190692.075
AT ITER 3553 NEW BEST:: SOT 6176177 SOS 5389910 HAS SOPS 5367706 HAS SOUS 2202870 HAS SOUPS 2184801 WITH SCORE 2190190.91
AT ITER 3556 NEW BEST:: SOT 6176171 SOS 5389904 HAS SOPS 5367700 HAS SOUS 2202864 HAS SOUPS 2184795 WITH SCORE 2190184.904
AT ITER 3580 NEW BEST:: SOT 6175735 SOS 5389468 HAS SOPS 5367264 HAS SOUS 2202282 HAS SOUPS 2184213 WITH SCORE 2189602.468
AT ITER 3587 NEW BEST:: SOT 6175734 SOS 5389442 HAS SOPS 5367263 HAS SOUS 2202256 HAS SOUPS 2184212 WITH SCORE 2189601.442
AT ITER 3647 NEW BEST:: SOT 6175657 SOS 5389365 HAS SOPS 5367186 HAS SOUS 2202020 HAS SOUPS 2183976 WITH SCORE 2189365.365
AT ITER 3705 NEW BEST:: SOT 6174760 SOS 5388450 HAS SOPS 5366289 HAS SOUS 2201034 HAS SOUPS 2183008 WITH SCORE 2188396.45
AT ITER 3712 NEW BEST:: SOT 6194863 SOS 5407706 HAS SOPS 5384298 HAS SOUS 2191962 HAS SOUPS 2172689 WITH SCORE 2178096.706
AT ITER 3773 NEW BEST:: SOT 6194844 SOS 5407687 HAS SOPS 5384279 HAS SOUS 2191851 HAS SOUPS 2172578 WITH SCORE 2177985.687
AT ITER 3799 NEW BEST:: SOT 6194233 SOS 5407076 HAS SOPS 5383668 HAS SOUS 2191240 HAS SOUPS 2171967 WITH SCORE 2177374.076
AT ITER 3802 NEW BEST:: SOT 6192386 SOS 5405531 HAS SOPS 5382201 HAS SOUS 2189801 HAS SOUPS 2170606 WITH SCORE 2176011.531
AT ITER 3854 NEW BEST:: SOT 6192386 SOS 5405531 HAS SOPS 5382201 HAS SOUS 2189798 HAS SOUPS 2170603 WITH SCORE 2176008.531
AT ITER 3857 NEW BEST:: SOT 6191949 SOS 5405094 HAS SOPS 5381764 HAS SOUS 2188409 HAS SOUPS 2169214 WITH SCORE 2174619.094
AT ITER 3872 NEW BEST:: SOT 6192169 SOS 5405191 HAS SOPS 5381984 HAS SOUS 2185855 HAS SOUPS 2166783 WITH SCORE 2172188.191
AT ITER 3905 NEW BEST:: SOT 6191429 SOS 5406012 HAS SOPS 5383076 HAS SOUS 2183923 HAS SOUPS 2164899 WITH SCORE 2170305.012
AT ITER 3931 NEW BEST:: SOT 6191438 SOS 5406021 HAS SOPS 5383085 HAS SOUS 2183908 HAS SOUPS 2164884 WITH SCORE 2170290.021
AT ITER 3943 NEW BEST:: SOT 6191254 SOS 5405828 HAS SOPS 5382901 HAS SOUS 2183720 HAS SOUPS 2164705 WITH SCORE 2170110.828
AT ITER 3947 NEW BEST:: SOT 6191276 SOS 5405852 HAS SOPS 5382923 HAS SOUS 2183710 HAS SOUPS 2164693 WITH SCORE 2170098.852
AT ITER 3986 NEW BEST:: SOT 6191271 SOS 5405847 HAS SOPS 5382918 HAS SOUS 2183622 HAS SOUPS 2164605 WITH SCORE 2170010.847
AT ITER 4007 NEW BEST:: SOT 6191287 SOS 5405827 HAS SOPS 5382934 HAS SOUS 2182389 HAS SOUPS 2163408 WITH SCORE 2168813.827
AT ITER 4029 NEW BEST:: SOT 6191238 SOS 5405778 HAS SOPS 5382885 HAS SOUS 2182281 HAS SOUPS 2163300 WITH SCORE 2168705.778
AT ITER 4037 NEW BEST:: SOT 6188523 SOS 5407415 HAS SOPS 5384941 HAS SOUS 2181273 HAS SOUPS 2162711 WITH SCORE 2168118.415
AT ITER 4071 NEW BEST:: SOT 6188419 SOS 5407343 HAS SOPS 5384837 HAS SOUS 2180936 HAS SOUPS 2162342 WITH SCORE 2167749.343
AT ITER 4120 NEW BEST:: SOT 6188321 SOS 5407267 HAS SOPS 5384739 HAS SOUS 2179874 HAS SOUPS 2161258 WITH SCORE 2166665.267
AT ITER 4130 NEW BEST:: SOT 6187836 SOS 5406708 HAS SOPS 5384254 HAS SOUS 2177846 HAS SOUPS 2159304 WITH SCORE 2164710.708
AT ITER 4146 NEW BEST:: SOT 6187827 SOS 5406699 HAS SOPS 5384245 HAS SOUS 2177767 HAS SOUPS 2159225 WITH SCORE 2164631.699
AT ITER 4177 NEW BEST:: SOT 6187768 SOS 5406640 HAS SOPS 5384186 HAS SOUS 2177677 HAS SOUPS 2159135 WITH SCORE 2164541.64
AT ITER 4183 NEW BEST:: SOT 6186913 SOS 5405785 HAS SOPS 5383331 HAS SOUS 2176323 HAS SOUPS 2157781 WITH SCORE 2163186.785
AT ITER 4192 NEW BEST:: SOT 6186888 SOS 5405760 HAS SOPS 5383306 HAS SOUS 2176210 HAS SOUPS 2157668 WITH SCORE 2163073.76
AT ITER 4197 NEW BEST:: SOT 6185830 SOS 5404684 HAS SOPS 5382248 HAS SOUS 2175065 HAS SOUPS 2156541 WITH SCORE 2161945.684
AT ITER 4230 NEW BEST:: SOT 6185482 SOS 5404336 HAS SOPS 5381900 HAS SOUS 2174717 HAS SOUPS 2156193 WITH SCORE 2161597.336
AT ITER 4308 NEW BEST:: SOT 6184827 SOS 5403681 HAS SOPS 5381245 HAS SOUS 2174062 HAS SOUPS 2155538 WITH SCORE 2160941.681
AT ITER 4361 NEW BEST:: SOT 6184293 SOS 5403147 HAS SOPS 5380711 HAS SOUS 2173809 HAS SOUPS 2155285 WITH SCORE 2160688.147
AT ITER 4385 NEW BEST:: SOT 6184269 SOS 5403123 HAS SOPS 5380687 HAS SOUS 2173645 HAS SOUPS 2155121 WITH SCORE 2160524.123
AT ITER 4395 NEW BEST:: SOT 6184133 SOS 5402983 HAS SOPS 5380551 HAS SOUS 2173485 HAS SOUPS 2154965 WITH SCORE 2160367.983
AT ITER 4401 NEW BEST:: SOT 6184127 SOS 5402977 HAS SOPS 5380545 HAS SOUS 2173479 HAS SOUPS 2154959 WITH SCORE 2160361.977
AT ITER 4434 NEW BEST:: SOT 6182494 SOS 5401344 HAS SOPS 5378912 HAS SOUS 2173368 HAS SOUPS 2154848 WITH SCORE 2160249.344
AT ITER 4441 NEW BEST:: SOT 6181753 SOS 5400603 HAS SOPS 5378171 HAS SOUS 2172327 HAS SOUPS 2153807 WITH SCORE 2159207.603
AT ITER 4442 NEW BEST:: SOT 6181593 SOS 5400397 HAS SOPS 5378011 HAS SOUS 2172266 HAS SOUPS 2153792 WITH SCORE 2159192.397
AT ITER 4448 NEW BEST:: SOT 6181511 SOS 5400315 HAS SOPS 5377929 HAS SOUS 2172085 HAS SOUPS 2153611 WITH SCORE 2159011.315
AT ITER 4457 NEW BEST:: SOT 6181493 SOS 5400297 HAS SOPS 5377911 HAS SOUS 2172067 HAS SOUPS 2153593 WITH SCORE 2158993.297
AT ITER 4466 NEW BEST:: SOT 6181491 SOS 5400295 HAS SOPS 5377909 HAS SOUS 2172045 HAS SOUPS 2153571 WITH SCORE 2158971.295
AT ITER 4531 NEW BEST:: SOT 6181491 SOS 5400295 HAS SOPS 5377909 HAS SOUS 2172039 HAS SOUPS 2153565 WITH SCORE 2158965.295
AT ITER 4564 NEW BEST:: SOT 6181491 SOS 5400295 HAS SOPS 5377909 HAS SOUS 2172036 HAS SOUPS 2153562 WITH SCORE 2158962.295
AT ITER 4574 NEW BEST:: SOT 6181329 SOS 5400323 HAS SOPS 5377974 HAS SOUS 2171963 HAS SOUPS 2153526 WITH SCORE 2158926.323
AT ITER 4599 NEW BEST:: SOT 6181293 SOS 5400248 HAS SOPS 5377938 HAS SOUS 2171905 HAS SOUPS 2153507 WITH SCORE 2158907.248
AT ITER 4601 NEW BEST:: SOT 6177859 SOS 5396742 HAS SOPS 5374504 HAS SOUS 2167853 HAS SOUPS 2149527 WITH SCORE 2154923.742
AT ITER 4602 NEW BEST:: SOT 6177858 SOS 5396741 HAS SOPS 5374503 HAS SOUS 2167852 HAS SOUPS 2149526 WITH SCORE 2154922.741
AT ITER 4627 NEW BEST:: SOT 6177614 SOS 5396508 HAS SOPS 5374259 HAS SOUS 2166810 HAS SOUPS 2148473 WITH SCORE 2153869.508
AT ITER 4642 NEW BEST:: SOT 6176570 SOS 5395464 HAS SOPS 5373215 HAS SOUS 2164304 HAS SOUPS 2145967 WITH SCORE 2151362.464
AT ITER 4646 NEW BEST:: SOT 6176219 SOS 5395113 HAS SOPS 5372864 HAS SOUS 2163953 HAS SOUPS 2145616 WITH SCORE 2151011.113
AT ITER 4738 NEW BEST:: SOT 6175897 SOS 5394791 HAS SOPS 5372542 HAS SOUS 2163468 HAS SOUPS 2145131 WITH SCORE 2150525.791
AT ITER 4754 NEW BEST:: SOT 6174022 SOS 5392852 HAS SOPS 5370667 HAS SOUS 2162180 HAS SOUPS 2143907 WITH SCORE 2149299.852
AT ITER 4762 NEW BEST:: SOT 6173260 SOS 5392090 HAS SOPS 5369905 HAS SOUS 2161929 HAS SOUPS 2143656 WITH SCORE 2149048.09
AT ITER 4801 NEW BEST:: SOT 6173260 SOS 5392098 HAS SOPS 5369889 HAS SOUS 2161923 HAS SOUPS 2143642 WITH SCORE 2149034.098
AT ITER 4817 NEW BEST:: SOT 6173198 SOS 5392019 HAS SOPS 5369827 HAS SOUS 2161856 HAS SOUPS 2143592 WITH SCORE 2148984.019
AT ITER 4833 NEW BEST:: SOT 6173198 SOS 5392019 HAS SOPS 5369827 HAS SOUS 2161844 HAS SOUPS 2143580 WITH SCORE 2148972.019
AT ITER 4854 NEW BEST:: SOT 6173192 SOS 5392013 HAS SOPS 5369821 HAS SOUS 2161832 HAS SOUPS 2143568 WITH SCORE 2148960.013
AT ITER 4855 NEW BEST:: SOT 6173192 SOS 5392013 HAS SOPS 5369821 HAS SOUS 2161808 HAS SOUPS 2143544 WITH SCORE 2148936.013
AT ITER 4875 NEW BEST:: SOT 6172789 SOS 5391610 HAS SOPS 5369418 HAS SOUS 2160717 HAS SOUPS 2142453 WITH SCORE 2147844.61
AT ITER 4895 NEW BEST:: SOT 6172789 SOS 5387271 HAS SOPS 5365032 HAS SOUS 2160486 HAS SOUPS 2142222 WITH SCORE 2147609.271
AT ITER 4949 NEW BEST:: SOT 6172473 SOS 5386955 HAS SOPS 5364716 HAS SOUS 2160268 HAS SOUPS 2142004 WITH SCORE 2147390.955
AT ITER 4997 NEW BEST:: SOT 6172243 SOS 5386725 HAS SOPS 5364486 HAS SOUS 2160027 HAS SOUPS 2141763 WITH SCORE 2147149.725
AT ITER 5009 NEW BEST:: SOT 6172020 SOS 5386502 HAS SOPS 5364263 HAS SOUS 2159794 HAS SOUPS 2141530 WITH SCORE 2146916.502
AT ITER 5015 NEW BEST:: SOT 6172629 SOS 5387841 HAS SOPS 5365808 HAS SOUS 2158131 HAS SOUPS 2140073 WITH SCORE 2145460.841
AT ITER 5017 NEW BEST:: SOT 6172607 SOS 5387819 HAS SOPS 5365786 HAS SOUS 2158086 HAS SOUPS 2140028 WITH SCORE 2145415.819
AT ITER 5038 NEW BEST:: SOT 6172597 SOS 5387809 HAS SOPS 5365776 HAS SOUS 2158021 HAS SOUPS 2139963 WITH SCORE 2145350.809
AT ITER 5041 NEW BEST:: SOT 6172575 SOS 5386874 HAS SOPS 5364841 HAS SOUS 2157931 HAS SOUPS 2139873 WITH SCORE 2145259.874
AT ITER 5066 NEW BEST:: SOT 6172565 SOS 5386864 HAS SOPS 5364831 HAS SOUS 2157917 HAS SOUPS 2139859 WITH SCORE 2145245.864
AT ITER 5085 NEW BEST:: SOT 6172540 SOS 5384788 HAS SOPS 5362592 HAS SOUS 2157792 HAS SOUPS 2139734 WITH SCORE 2145118.788
AT ITER 5086 NEW BEST:: SOT 6172520 SOS 5384768 HAS SOPS 5362572 HAS SOUS 2157770 HAS SOUPS 2139712 WITH SCORE 2145096.768
AT ITER 5142 NEW BEST:: SOT 6172079 SOS 5384327 HAS SOPS 5362131 HAS SOUS 2157437 HAS SOUPS 2139379 WITH SCORE 2144763.327
AT ITER 5170 NEW BEST:: SOT 6172054 SOS 5384302 HAS SOPS 5362106 HAS SOUS 2157408 HAS SOUPS 2139350 WITH SCORE 2144734.302
AT ITER 5176 NEW BEST:: SOT 6171611 SOS 5383839 HAS SOPS 5361663 HAS SOUS 2156851 HAS SOUPS 2138813 WITH SCORE 2144196.839
AT ITER 5185 NEW BEST:: SOT 6171533 SOS 5384785 HAS SOPS 5362609 HAS SOUS 2156335 HAS SOUPS 2138297 WITH SCORE 2143681.785
AT ITER 5205 NEW BEST:: SOT 6171511 SOS 5384762 HAS SOPS 5362587 HAS SOUS 2156318 HAS SOUPS 2138281 WITH SCORE 2143665.762
AT ITER 5254 NEW BEST:: SOT 6171116 SOS 5384367 HAS SOPS 5362192 HAS SOUS 2156122 HAS SOUPS 2138085 WITH SCORE 2143469.367
AT ITER 5256 NEW BEST:: SOT 6171028 SOS 5384279 HAS SOPS 5362104 HAS SOUS 2156006 HAS SOUPS 2137969 WITH SCORE 2143353.279
AT ITER 5277 NEW BEST:: SOT 6170817 SOS 5384068 HAS SOPS 5361893 HAS SOUS 2155702 HAS SOUPS 2137665 WITH SCORE 2143049.068
AT ITER 5283 NEW BEST:: SOT 6170350 SOS 5383778 HAS SOPS 5361603 HAS SOUS 2155256 HAS SOUPS 2137219 WITH SCORE 2142602.778
AT ITER 5285 NEW BEST:: SOT 6170350 SOS 5383153 HAS SOPS 5360895 HAS SOUS 2155006 HAS SOUPS 2136932 WITH SCORE 2142315.153
AT ITER 5294 NEW BEST:: SOT 6169442 SOS 5382371 HAS SOPS 5360158 HAS SOUS 2153980 HAS SOUPS 2135951 WITH SCORE 2141333.371
AT ITER 5340 NEW BEST:: SOT 6169188 SOS 5382117 HAS SOPS 5359904 HAS SOUS 2152668 HAS SOUPS 2134639 WITH SCORE 2140021.117
AT ITER 5342 NEW BEST:: SOT 6169174 SOS 5382103 HAS SOPS 5359890 HAS SOUS 2152647 HAS SOUPS 2134618 WITH SCORE 2140000.103
AT ITER 5346 NEW BEST:: SOT 6169172 SOS 5382110 HAS SOPS 5359888 HAS SOUS 2152593 HAS SOUPS 2134555 WITH SCORE 2139937.11
AT ITER 5373 NEW BEST:: SOT 6169172 SOS 5382454 HAS SOPS 5360223 HAS SOUS 2152573 HAS SOUPS 2134535 WITH SCORE 2139917.454
AT ITER 5403 NEW BEST:: SOT 6169036 SOS 5382318 HAS SOPS 5360087 HAS SOUS 2152465 HAS SOUPS 2134427 WITH SCORE 2139809.318
AT ITER 5407 NEW BEST:: SOT 6168856 SOS 5382138 HAS SOPS 5359907 HAS SOUS 2152302 HAS SOUPS 2134264 WITH SCORE 2139646.138
AT ITER 5439 NEW BEST:: SOT 6168852 SOS 5382134 HAS SOPS 5359903 HAS SOUS 2152300 HAS SOUPS 2134262 WITH SCORE 2139644.134
AT ITER 5453 NEW BEST:: SOT 6168029 SOS 5381311 HAS SOPS 5359080 HAS SOUS 2150824 HAS SOUPS 2132786 WITH SCORE 2138167.311
AT ITER 5457 NEW BEST:: SOT 6165941 SOS 5379223 HAS SOPS 5356992 HAS SOUS 2148803 HAS SOUPS 2130765 WITH SCORE 2136144.223
AT ITER 5459 NEW BEST:: SOT 6165941 SOS 5379223 HAS SOPS 5356992 HAS SOUS 2148762 HAS SOUPS 2130724 WITH SCORE 2136103.223
AT ITER 5528 NEW BEST:: SOT 6165784 SOS 5379066 HAS SOPS 5356835 HAS SOUS 2148471 HAS SOUPS 2130433 WITH SCORE 2135812.066
AT ITER 5533 NEW BEST:: SOT 6164448 SOS 5377730 HAS SOPS 5355499 HAS SOUS 2147141 HAS SOUPS 2129103 WITH SCORE 2134480.73
AT ITER 5552 NEW BEST:: SOT 6164112 SOS 5377394 HAS SOPS 5355163 HAS SOUS 2146737 HAS SOUPS 2128699 WITH SCORE 2134076.394
AT ITER 5553 NEW BEST:: SOT 6164148 SOS 5377436 HAS SOPS 5355199 HAS SOUS 2146475 HAS SOUPS 2128431 WITH SCORE 2133808.436
AT ITER 5565 NEW BEST:: SOT 6164101 SOS 5377386 HAS SOPS 5355152 HAS SOUS 2146426 HAS SOUPS 2128385 WITH SCORE 2133762.386
AT ITER 5586 NEW BEST:: SOT 6163830 SOS 5377110 HAS SOPS 5354881 HAS SOUS 2146158 HAS SOUPS 2128122 WITH SCORE 2133499.11
AT ITER 5594 NEW BEST:: SOT 6163740 SOS 5377015 HAS SOPS 5354791 HAS SOUS 2146032 HAS SOUPS 2128001 WITH SCORE 2133378.015
AT ITER 5613 NEW BEST:: SOT 6163740 SOS 5376537 HAS SOPS 5354417 HAS SOUS 2145388 HAS SOUPS 2127357 WITH SCORE 2132733.537
AT ITER 5617 NEW BEST:: SOT 6163517 SOS 5376330 HAS SOPS 5354194 HAS SOUS 2144907 HAS SOUPS 2126860 WITH SCORE 2132236.33
AT ITER 5618 NEW BEST:: SOT 6163517 SOS 5373432 HAS SOPS 5351270 HAS SOUS 2144691 HAS SOUPS 2126644 WITH SCORE 2132017.432
AT ITER 5628 NEW BEST:: SOT 6163620 SOS 5373551 HAS SOPS 5351373 HAS SOUS 2144474 HAS SOUPS 2126411 WITH SCORE 2131784.551
AT ITER 5673 NEW BEST:: SOT 6163504 SOS 5373433 HAS SOPS 5351257 HAS SOUS 2144272 HAS SOUPS 2126211 WITH SCORE 2131584.433
AT ITER 5685 NEW BEST:: SOT 6164477 SOS 5374296 HAS SOPS 5352050 HAS SOUS 2143485 HAS SOUPS 2125354 WITH SCORE 2130728.296
AT ITER 5737 NEW BEST:: SOT 6164249 SOS 5374120 HAS SOPS 5351874 HAS SOUS 2143306 HAS SOUPS 2125175 WITH SCORE 2130549.12
AT ITER 5739 NEW BEST:: SOT 6163457 SOS 5373328 HAS SOPS 5351082 HAS SOUS 2142514 HAS SOUPS 2124383 WITH SCORE 2129756.328
AT ITER 5743 NEW BEST:: SOT 6163437 SOS 5373308 HAS SOPS 5351062 HAS SOUS 2142503 HAS SOUPS 2124372 WITH SCORE 2129745.308
AT ITER 5771 NEW BEST:: SOT 6163378 SOS 5373241 HAS SOPS 5351003 HAS SOUS 2142353 HAS SOUPS 2124230 WITH SCORE 2129603.241
AT ITER 5811 NEW BEST:: SOT 6163367 SOS 5373230 HAS SOPS 5350992 HAS SOUS 2142309 HAS SOUPS 2124186 WITH SCORE 2129559.23
AT ITER 5817 NEW BEST:: SOT 6163367 SOS 5373230 HAS SOPS 5350992 HAS SOUS 2142305 HAS SOUPS 2124182 WITH SCORE 2129555.23
AT ITER 5823 NEW BEST:: SOT 6163366 SOS 5373229 HAS SOPS 5350991 HAS SOUS 2142298 HAS SOUPS 2124175 WITH SCORE 2129548.229
AT ITER 5833 NEW BEST:: SOT 6163373 SOS 5373250 HAS SOPS 5351013 HAS SOUS 2142269 HAS SOUPS 2124147 WITH SCORE 2129520.25
AT ITER 5856 NEW BEST:: SOT 6163744 SOS 5373667 HAS SOPS 5351384 HAS SOUS 2141613 HAS SOUPS 2123445 WITH SCORE 2128818.667
AT ITER 5877 NEW BEST:: SOT 6163458 SOS 5373376 HAS SOPS 5351098 HAS SOUS 2141326 HAS SOUPS 2123163 WITH SCORE 2128536.376
AT ITER 5892 NEW BEST:: SOT 6162484 SOS 5372392 HAS SOPS 5350124 HAS SOUS 2140249 HAS SOUPS 2122096 WITH SCORE 2127468.392
AT ITER 5912 NEW BEST:: SOT 6162484 SOS 5371072 HAS SOPS 5348788 HAS SOUS 2140143 HAS SOUPS 2121990 WITH SCORE 2127361.072
AT ITER 5921 NEW BEST:: SOT 6162465 SOS 5371053 HAS SOPS 5348769 HAS SOUS 2140124 HAS SOUPS 2121971 WITH SCORE 2127342.053
AT ITER 5932 NEW BEST:: SOT 6162159 SOS 5370747 HAS SOPS 5348463 HAS SOUS 2139586 HAS SOUPS 2121433 WITH SCORE 2126803.747
AT ITER 5958 NEW BEST:: SOT 6162172 SOS 5371000 HAS SOPS 5348729 HAS SOUS 2138998 HAS SOUPS 2120858 WITH SCORE 2126229.0
AT ITER 5978 NEW BEST:: SOT 6162169 SOS 5370997 HAS SOPS 5348726 HAS SOUS 2138995 HAS SOUPS 2120855 WITH SCORE 2126225.997
AT ITER 6019 NEW BEST:: SOT 6161855 SOS 5370621 HAS SOPS 5348412 HAS SOUS 2138223 HAS SOUPS 2120145 WITH SCORE 2125515.621
AT ITER 6038 NEW BEST:: SOT 6161855 SOS 5379207 HAS SOPS 5357258 HAS SOUS 2138106 HAS SOUPS 2120050 WITH SCORE 2125429.207
AT ITER 6054 NEW BEST:: SOT 6161735 SOS 5379087 HAS SOPS 5357138 HAS SOUS 2137986 HAS SOUPS 2119930 WITH SCORE 2125309.087
AT ITER 6086 NEW BEST:: SOT 6161764 SOS 5379123 HAS SOPS 5357167 HAS SOUS 2137841 HAS SOUPS 2119778 WITH SCORE 2125157.123
AT ITER 6097 NEW BEST:: SOT 6161128 SOS 5378487 HAS SOPS 5356531 HAS SOUS 2136427 HAS SOUPS 2118364 WITH SCORE 2123742.487
AT ITER 6098 NEW BEST:: SOT 6161100 SOS 5378459 HAS SOPS 5356503 HAS SOUS 2136362 HAS SOUPS 2118299 WITH SCORE 2123677.459
AT ITER 6126 NEW BEST:: SOT 6161036 SOS 5378382 HAS SOPS 5356439 HAS SOUS 2135626 HAS SOUPS 2117576 WITH SCORE 2122954.382
AT ITER 6143 NEW BEST:: SOT 6160954 SOS 5378300 HAS SOPS 5356357 HAS SOUS 2135459 HAS SOUPS 2117409 WITH SCORE 2122787.3
AT ITER 6154 NEW BEST:: SOT 6160736 SOS 5378067 HAS SOPS 5356139 HAS SOUS 2135328 HAS SOUPS 2117293 WITH SCORE 2122671.067
AT ITER 6187 NEW BEST:: SOT 6156451 SOS 5373711 HAS SOPS 5351854 HAS SOUS 2131418 HAS SOUPS 2113454 WITH SCORE 2118827.711
AT ITER 6206 NEW BEST:: SOT 6156443 SOS 5373703 HAS SOPS 5351846 HAS SOUS 2131408 HAS SOUPS 2113444 WITH SCORE 2118817.703
AT ITER 6243 NEW BEST:: SOT 6156267 SOS 5373527 HAS SOPS 5351670 HAS SOUS 2131232 HAS SOUPS 2113268 WITH SCORE 2118641.527
AT ITER 6267 NEW BEST:: SOT 6156263 SOS 5373877 HAS SOPS 5352008 HAS SOUS 2131217 HAS SOUPS 2113253 WITH SCORE 2118626.877
AT ITER 6269 NEW BEST:: SOT 6155850 SOS 5373464 HAS SOPS 5351595 HAS SOUS 2130147 HAS SOUPS 2112183 WITH SCORE 2117556.464
AT ITER 6312 NEW BEST:: SOT 6155843 SOS 5373457 HAS SOPS 5351588 HAS SOUS 2130140 HAS SOUPS 2112176 WITH SCORE 2117549.457
AT ITER 6314 NEW BEST:: SOT 6167331 SOS 5384283 HAS SOPS 5361709 HAS SOUS 2125635 HAS SOUPS 2106966 WITH SCORE 2112350.283
AT ITER 6331 NEW BEST:: SOT 6166029 SOS 5382981 HAS SOPS 5360407 HAS SOUS 2124717 HAS SOUPS 2106048 WITH SCORE 2111430.981
AT ITER 6360 NEW BEST:: SOT 6165656 SOS 5382608 HAS SOPS 5360034 HAS SOUS 2124275 HAS SOUPS 2105606 WITH SCORE 2110988.608
AT ITER 6416 NEW BEST:: SOT 6165662 SOS 5382611 HAS SOPS 5360040 HAS SOUS 2124215 HAS SOUPS 2105549 WITH SCORE 2110931.611
AT ITER 6435 NEW BEST:: SOT 6165662 SOS 5377063 HAS SOPS 5354390 HAS SOUS 2124152 HAS SOUPS 2105477 WITH SCORE 2110854.063
AT ITER 6481 NEW BEST:: SOT 6165660 SOS 5377061 HAS SOPS 5354388 HAS SOUS 2124076 HAS SOUPS 2105401 WITH SCORE 2110778.061
AT ITER 6496 NEW BEST:: SOT 6165660 SOS 5376531 HAS SOPS 5353853 HAS SOUS 2124066 HAS SOUPS 2105391 WITH SCORE 2110767.531
AT ITER 6500 NEW BEST:: SOT 6165527 SOS 5376398 HAS SOPS 5353720 HAS SOUS 2123606 HAS SOUPS 2104931 WITH SCORE 2110307.398
AT ITER 6538 NEW BEST:: SOT 6162910 SOS 5373781 HAS SOPS 5351103 HAS SOUS 2120991 HAS SOUPS 2102316 WITH SCORE 2107689.781
AT ITER 6560 NEW BEST:: SOT 6161649 SOS 5372454 HAS SOPS 5349842 HAS SOUS 2118809 HAS SOUPS 2100200 WITH SCORE 2105572.454
AT ITER 6603 NEW BEST:: SOT 6161644 SOS 5372450 HAS SOPS 5349837 HAS SOUS 2118760 HAS SOUPS 2100150 WITH SCORE 2105522.45
AT ITER 6629 NEW BEST:: SOT 6161512 SOS 5372318 HAS SOPS 5349705 HAS SOUS 2118201 HAS SOUPS 2099591 WITH SCORE 2104963.318
AT ITER 6649 NEW BEST:: SOT 6159810 SOS 5370616 HAS SOPS 5348003 HAS SOUS 2115132 HAS SOUPS 2096522 WITH SCORE 2101892.616
AT ITER 6650 NEW BEST:: SOT 6159782 SOS 5370588 HAS SOPS 5347975 HAS SOUS 2115068 HAS SOUPS 2096458 WITH SCORE 2101828.588
AT ITER 6662 NEW BEST:: SOT 6159782 SOS 5370588 HAS SOPS 5347975 HAS SOUS 2115053 HAS SOUPS 2096443 WITH SCORE 2101813.588
AT ITER 6674 NEW BEST:: SOT 6159316 SOS 5370117 HAS SOPS 5347509 HAS SOUS 2114712 HAS SOUPS 2096107 WITH SCORE 2101477.117
AT ITER 6675 NEW BEST:: SOT 6158427 SOS 5369228 HAS SOPS 5346620 HAS SOUS 2113699 HAS SOUPS 2095094 WITH SCORE 2100463.228
AT ITER 6697 NEW BEST:: SOT 6157597 SOS 5368377 HAS SOPS 5345790 HAS SOUS 2113599 HAS SOUPS 2095015 WITH SCORE 2100383.377
AT ITER 6714 NEW BEST:: SOT 6157371 SOS 5368151 HAS SOPS 5345564 HAS SOUS 2113204 HAS SOUPS 2094620 WITH SCORE 2099988.151
AT ITER 6743 NEW BEST:: SOT 6157339 SOS 5368119 HAS SOPS 5345532 HAS SOUS 2113172 HAS SOUPS 2094588 WITH SCORE 2099956.119
AT ITER 6761 NEW BEST:: SOT 6157339 SOS 5392338 HAS SOPS 5370352 HAS SOUS 2112133 HAS SOUPS 2093617 WITH SCORE 2099009.338
AT ITER 6767 NEW BEST:: SOT 6158127 SOS 5392842 HAS SOPS 5368213 HAS SOUS 2113103 HAS SOUPS 2091996 WITH SCORE 2097388.842
AT ITER 6773 NEW BEST:: SOT 6156242 SOS 5390912 HAS SOPS 5366328 HAS SOUS 2110666 HAS SOUPS 2089604 WITH SCORE 2094994.912
AT ITER 6791 NEW BEST:: SOT 6155804 SOS 5390448 HAS SOPS 5365890 HAS SOUS 2110325 HAS SOUPS 2089289 WITH SCORE 2094679.448
AT ITER 6839 NEW BEST:: SOT 6155622 SOS 5390259 HAS SOPS 5365708 HAS SOUS 2110122 HAS SOUPS 2089093 WITH SCORE 2094483.259
AT ITER 6860 NEW BEST:: SOT 6155602 SOS 5390239 HAS SOPS 5365688 HAS SOUS 2110102 HAS SOUPS 2089073 WITH SCORE 2094463.239
AT ITER 6894 NEW BEST:: SOT 6155171 SOS 5389830 HAS SOPS 5365257 HAS SOUS 2108041 HAS SOUPS 2086990 WITH SCORE 2092379.83
AT ITER 6901 NEW BEST:: SOT 6155064 SOS 5389724 HAS SOPS 5365150 HAS SOUS 2107785 HAS SOUPS 2086733 WITH SCORE 2092122.724
AT ITER 6910 NEW BEST:: SOT 6155057 SOS 5389717 HAS SOPS 5365143 HAS SOUS 2107732 HAS SOUPS 2086680 WITH SCORE 2092069.717
AT ITER 6924 NEW BEST:: SOT 6155040 SOS 5389709 HAS SOPS 5365126 HAS SOUS 2107299 HAS SOUPS 2086238 WITH SCORE 2091627.709
AT ITER 6937 NEW BEST:: SOT 6154710 SOS 5389400 HAS SOPS 5364853 HAS SOUS 2106934 HAS SOUPS 2085909 WITH SCORE 2091298.4
AT ITER 6946 NEW BEST:: SOT 6154483 SOS 5389167 HAS SOPS 5364626 HAS SOUS 2106662 HAS SOUPS 2085643 WITH SCORE 2091032.167
AT ITER 6985 NEW BEST:: SOT 6154480 SOS 5389164 HAS SOPS 5364623 HAS SOUS 2106656 HAS SOUPS 2085637 WITH SCORE 2091026.164
AT ITER 6988 NEW BEST:: SOT 6154315 SOS 5388999 HAS SOPS 5364458 HAS SOUS 2106344 HAS SOUPS 2085325 WITH SCORE 2090713.999
AT ITER 6989 NEW BEST:: SOT 6154270 SOS 5388954 HAS SOPS 5364413 HAS SOUS 2106229 HAS SOUPS 2085210 WITH SCORE 2090598.954
AT ITER 7033 NEW BEST:: SOT 6154270 SOS 5387812 HAS SOPS 5363254 HAS SOUS 2106156 HAS SOUPS 2085137 WITH SCORE 2090524.812
AT ITER 7035 NEW BEST:: SOT 6154196 SOS 5387738 HAS SOPS 5363180 HAS SOUS 2106085 HAS SOUPS 2085066 WITH SCORE 2090453.738
AT ITER 7039 NEW BEST:: SOT 6154196 SOS 5386443 HAS SOPS 5361859 HAS SOUS 2106013 HAS SOUPS 2084994 WITH SCORE 2090380.443
AT ITER 7126 NEW BEST:: SOT 6153786 SOS 5386949 HAS SOPS 5362365 HAS SOUS 2105601 HAS SOUPS 2084582 WITH SCORE 2089968.949
AT ITER 7138 NEW BEST:: SOT 6153827 SOS 5386996 HAS SOPS 5362406 HAS SOUS 2105545 HAS SOUPS 2084520 WITH SCORE 2089906.996
AT ITER 7159 NEW BEST:: SOT 6153819 SOS 5386988 HAS SOPS 5362398 HAS SOUS 2105467 HAS SOUPS 2084442 WITH SCORE 2089828.988
AT ITER 7169 NEW BEST:: SOT 6153783 SOS 5386952 HAS SOPS 5362362 HAS SOUS 2105435 HAS SOUPS 2084410 WITH SCORE 2089796.952
AT ITER 7269 NEW BEST:: SOT 6153369 SOS 5386538 HAS SOPS 5361948 HAS SOUS 2105021 HAS SOUPS 2083996 WITH SCORE 2089382.538
AT ITER 7272 NEW BEST:: SOT 6153324 SOS 5386493 HAS SOPS 5361903 HAS SOUS 2104976 HAS SOUPS 2083951 WITH SCORE 2089337.493
AT ITER 7278 NEW BEST:: SOT 6153324 SOS 5386493 HAS SOPS 5361903 HAS SOUS 2104973 HAS SOUPS 2083948 WITH SCORE 2089334.493
AT ITER 7292 NEW BEST:: SOT 6153482 SOS 5386651 HAS SOPS 5362061 HAS SOUS 2104951 HAS SOUPS 2083926 WITH SCORE 2089312.651
AT ITER 7363 NEW BEST:: SOT 6153442 SOS 5386647 HAS SOPS 5362061 HAS SOUS 2104924 HAS SOUPS 2083903 WITH SCORE 2089289.647
AT ITER 7370 NEW BEST:: SOT 6149740 SOS 5382908 HAS SOPS 5358359 HAS SOUS 2101100 HAS SOUPS 2080116 WITH SCORE 2085498.908
AT ITER 7409 NEW BEST:: SOT 6149620 SOS 5383130 HAS SOPS 5358581 HAS SOUS 2100980 HAS SOUPS 2079996 WITH SCORE 2085379.13
AT ITER 7446 NEW BEST:: SOT 6149354 SOS 5381710 HAS SOPS 5357182 HAS SOUS 2100474 HAS SOUPS 2079490 WITH SCORE 2084871.71
AT ITER 7458 NEW BEST:: SOT 6149354 SOS 5372329 HAS SOPS 5347629 HAS SOUS 2100450 HAS SOUPS 2079449 WITH SCORE 2084821.329
AT ITER 7498 NEW BEST:: SOT 6149255 SOS 5372230 HAS SOPS 5347530 HAS SOUS 2100208 HAS SOUPS 2079207 WITH SCORE 2084579.23
AT ITER 7502 NEW BEST:: SOT 6149217 SOS 5372192 HAS SOPS 5347492 HAS SOUS 2100170 HAS SOUPS 2079169 WITH SCORE 2084541.192
AT ITER 7518 NEW BEST:: SOT 6149214 SOS 5372189 HAS SOPS 5347489 HAS SOUS 2100127 HAS SOUPS 2079126 WITH SCORE 2084498.189
AT ITER 7544 NEW BEST:: SOT 6148470 SOS 5371445 HAS SOPS 5346745 HAS SOUS 2099383 HAS SOUPS 2078382 WITH SCORE 2083753.445
AT ITER 7563 NEW BEST:: SOT 6147791 SOS 5370766 HAS SOPS 5346066 HAS SOUS 2099210 HAS SOUPS 2078209 WITH SCORE 2083579.766
AT ITER 7570 NEW BEST:: SOT 6147778 SOS 5370753 HAS SOPS 5346053 HAS SOUS 2099156 HAS SOUPS 2078155 WITH SCORE 2083525.753
AT ITER 7617 NEW BEST:: SOT 6147778 SOS 5370760 HAS SOPS 5346053 HAS SOUS 2099156 HAS SOUPS 2078148 WITH SCORE 2083518.76
AT ITER 7640 NEW BEST:: SOT 6148019 SOS 5371054 HAS SOPS 5346294 HAS SOUS 2097823 HAS SOUPS 2076762 WITH SCORE 2082133.054
AT ITER 7657 NEW BEST:: SOT 6146260 SOS 5369268 HAS SOPS 5344535 HAS SOUS 2095648 HAS SOUPS 2074614 WITH SCORE 2079983.268
AT ITER 7678 NEW BEST:: SOT 6146261 SOS 5370079 HAS SOPS 5345368 HAS SOUS 2095630 HAS SOUPS 2074596 WITH SCORE 2079966.079
AT ITER 7690 NEW BEST:: SOT 6146228 SOS 5370046 HAS SOPS 5345335 HAS SOUS 2095586 HAS SOUPS 2074552 WITH SCORE 2079922.046
AT ITER 7752 NEW BEST:: SOT 6146147 SOS 5369965 HAS SOPS 5345254 HAS SOUS 2095473 HAS SOUPS 2074439 WITH SCORE 2079808.965
AT ITER 7765 NEW BEST:: SOT 6145851 SOS 5369669 HAS SOPS 5344958 HAS SOUS 2094693 HAS SOUPS 2073659 WITH SCORE 2079028.669
AT ITER 7829 NEW BEST:: SOT 6143098 SOS 5366916 HAS SOPS 5342205 HAS SOUS 2091986 HAS SOUPS 2070952 WITH SCORE 2076318.916
AT ITER 7833 NEW BEST:: SOT 6142231 SOS 5366028 HAS SOPS 5341338 HAS SOUS 2091308 HAS SOUPS 2070295 WITH SCORE 2075661.028
AT ITER 7863 NEW BEST:: SOT 6142562 SOS 5366561 HAS SOPS 5341924 HAS SOUS 2088658 HAS SOUPS 2067698 WITH SCORE 2073064.561
AT ITER 7874 NEW BEST:: SOT 6142377 SOS 5366376 HAS SOPS 5341739 HAS SOUS 2088186 HAS SOUPS 2067226 WITH SCORE 2072592.376
AT ITER 7902 NEW BEST:: SOT 6141976 SOS 5365962 HAS SOPS 5341338 HAS SOUS 2087667 HAS SOUPS 2066720 WITH SCORE 2072085.962
AT ITER 7911 NEW BEST:: SOT 6141885 SOS 5365878 HAS SOPS 5341247 HAS SOUS 2087156 HAS SOUPS 2066202 WITH SCORE 2071567.878
AT ITER 7935 NEW BEST:: SOT 6141485 SOS 5365478 HAS SOPS 5340847 HAS SOUS 2086756 HAS SOUPS 2065802 WITH SCORE 2071167.478
AT ITER 7945 NEW BEST:: SOT 6140631 SOS 5364581 HAS SOPS 5339993 HAS SOUS 2086380 HAS SOUPS 2065469 WITH SCORE 2070833.581
AT ITER 8001 NEW BEST:: SOT 6140184 SOS 5364134 HAS SOPS 5339546 HAS SOUS 2084955 HAS SOUPS 2064044 WITH SCORE 2069408.134
AT ITER 8058 NEW BEST:: SOT 6140184 SOS 5371728 HAS SOPS 5347167 HAS SOUS 2084909 HAS SOUPS 2064009 WITH SCORE 2069380.728
AT ITER 8099 NEW BEST:: SOT 6140184 SOS 5371548 HAS SOPS 5347035 HAS SOUS 2084687 HAS SOUPS 2063793 WITH SCORE 2069164.548
AT ITER 8114 NEW BEST:: SOT 6140184 SOS 5371548 HAS SOPS 5347035 HAS SOUS 2084651 HAS SOUPS 2063757 WITH SCORE 2069128.548
AT ITER 8135 NEW BEST:: SOT 6140140 SOS 5371504 HAS SOPS 5346991 HAS SOUS 2084506 HAS SOUPS 2063612 WITH SCORE 2068983.504
AT ITER 8137 NEW BEST:: SOT 6140142 SOS 5371506 HAS SOPS 5346993 HAS SOUS 2084496 HAS SOUPS 2063602 WITH SCORE 2068973.506
AT ITER 8161 NEW BEST:: SOT 6140086 SOS 5371450 HAS SOPS 5346937 HAS SOUS 2084390 HAS SOUPS 2063496 WITH SCORE 2068867.45
AT ITER 8202 NEW BEST:: SOT 6139020 SOS 5370384 HAS SOPS 5345871 HAS SOUS 2082230 HAS SOUPS 2061336 WITH SCORE 2066706.384
AT ITER 8203 NEW BEST:: SOT 6138642 SOS 5370006 HAS SOPS 5345493 HAS SOUS 2081852 HAS SOUPS 2060958 WITH SCORE 2066328.006
AT ITER 8209 NEW BEST:: SOT 6138524 SOS 5369856 HAS SOPS 5345375 HAS SOUS 2081455 HAS SOUPS 2060593 WITH SCORE 2065962.856
AT ITER 8227 NEW BEST:: SOT 6138624 SOS 5368693 HAS SOPS 5344212 HAS SOUS 2081084 HAS SOUPS 2060222 WITH SCORE 2065590.693
AT ITER 8290 NEW BEST:: SOT 6138266 SOS 5368326 HAS SOPS 5343854 HAS SOUS 2080729 HAS SOUPS 2059876 WITH SCORE 2065244.326
AT ITER 8309 NEW BEST:: SOT 6138018 SOS 5368078 HAS SOPS 5343606 HAS SOUS 2080208 HAS SOUPS 2059355 WITH SCORE 2064723.078
AT ITER 8319 NEW BEST:: SOT 6138018 SOS 5373828 HAS SOPS 5349440 HAS SOUS 2079821 HAS SOUPS 2058995 WITH SCORE 2064368.828
AT ITER 8329 NEW BEST:: SOT 6138018 SOS 5372343 HAS SOPS 5347955 HAS SOUS 2079397 HAS SOUPS 2058571 WITH SCORE 2063943.343
AT ITER 8338 NEW BEST:: SOT 6137418 SOS 5371743 HAS SOPS 5347355 HAS SOUS 2078797 HAS SOUPS 2057971 WITH SCORE 2063342.743
AT ITER 8357 NEW BEST:: SOT 6137342 SOS 5371667 HAS SOPS 5347279 HAS SOUS 2078671 HAS SOUPS 2057845 WITH SCORE 2063216.667
AT ITER 8412 NEW BEST:: SOT 6137285 SOS 5371610 HAS SOPS 5347222 HAS SOUS 2078649 HAS SOUPS 2057823 WITH SCORE 2063194.61
AT ITER 8439 NEW BEST:: SOT 6137285 SOS 5376062 HAS SOPS 5348446 HAS SOUS 2078663 HAS SOUPS 2057818 WITH SCORE 2063194.062
AT ITER 8477 NEW BEST:: SOT 6136636 SOS 5375406 HAS SOPS 5347797 HAS SOUS 2078081 HAS SOUPS 2057243 WITH SCORE 2062618.406
AT ITER 8481 NEW BEST:: SOT 6136526 SOS 5375296 HAS SOPS 5347687 HAS SOUS 2076502 HAS SOUPS 2055664 WITH SCORE 2061039.296
AT ITER 8553 NEW BEST:: SOT 6135844 SOS 5374658 HAS SOPS 5347005 HAS SOUS 2075870 HAS SOUPS 2054988 WITH SCORE 2060362.658
AT ITER 8568 NEW BEST:: SOT 6135812 SOS 5374626 HAS SOPS 5346973 HAS SOUS 2075702 HAS SOUPS 2054820 WITH SCORE 2060194.626
AT ITER 8582 NEW BEST:: SOT 6135812 SOS 5374606 HAS SOPS 5346953 HAS SOUS 2075701 HAS SOUPS 2054819 WITH SCORE 2060193.606
AT ITER 8632 NEW BEST:: SOT 6135811 SOS 5374605 HAS SOPS 5346952 HAS SOUS 2075699 HAS SOUPS 2054817 WITH SCORE 2060191.605
AT ITER 8745 NEW BEST:: SOT 6135538 SOS 5374332 HAS SOPS 5346679 HAS SOUS 2075016 HAS SOUPS 2054134 WITH SCORE 2059508.332
AT ITER 8767 NEW BEST:: SOT 6135192 SOS 5373986 HAS SOPS 5346333 HAS SOUS 2074226 HAS SOUPS 2053344 WITH SCORE 2058717.986
AT ITER 8793 NEW BEST:: SOT 6135166 SOS 5373960 HAS SOPS 5346307 HAS SOUS 2074213 HAS SOUPS 2053331 WITH SCORE 2058704.96
AT ITER 8812 NEW BEST:: SOT 6134532 SOS 5373326 HAS SOPS 5345673 HAS SOUS 2073730 HAS SOUPS 2052848 WITH SCORE 2058221.326
AT ITER 8840 NEW BEST:: SOT 6134284 SOS 5373078 HAS SOPS 5345425 HAS SOUS 2073215 HAS SOUPS 2052333 WITH SCORE 2057706.078
AT ITER 8941 NEW BEST:: SOT 6134090 SOS 5372900 HAS SOPS 5345231 HAS SOUS 2072737 HAS SOUPS 2051839 WITH SCORE 2057211.9
AT ITER 9028 NEW BEST:: SOT 6129350 SOS 5370662 HAS SOPS 5345896 HAS SOUS 2068232 HAS SOUPS 2050138 WITH SCORE 2055508.662
AT ITER 9041 NEW BEST:: SOT 6129350 SOS 5365904 HAS SOPS 5341016 HAS SOUS 2068179 HAS SOUPS 2050078 WITH SCORE 2055443.904
AT ITER 9053 NEW BEST:: SOT 6129330 SOS 5365893 HAS SOPS 5340996 HAS SOUS 2068119 HAS SOUPS 2050009 WITH SCORE 2055374.893
AT ITER 9055 NEW BEST:: SOT 6129095 SOS 5365658 HAS SOPS 5340761 HAS SOUS 2067871 HAS SOUPS 2049761 WITH SCORE 2055126.658
AT ITER 9110 NEW BEST:: SOT 6129080 SOS 5365643 HAS SOPS 5340746 HAS SOUS 2067826 HAS SOUPS 2049716 WITH SCORE 2055081.643
AT ITER 9115 NEW BEST:: SOT 6129004 SOS 5365567 HAS SOPS 5340670 HAS SOUS 2067750 HAS SOUPS 2049640 WITH SCORE 2055005.567
AT ITER 9121 NEW BEST:: SOT 6129004 SOS 5365428 HAS SOPS 5340531 HAS SOUS 2067744 HAS SOUPS 2049634 WITH SCORE 2054999.428
AT ITER 9218 NEW BEST:: SOT 6129024 SOS 5365448 HAS SOPS 5340551 HAS SOUS 2067731 HAS SOUPS 2049621 WITH SCORE 2054986.448
AT ITER 9268 NEW BEST:: SOT 6129022 SOS 5365446 HAS SOPS 5340549 HAS SOUS 2067725 HAS SOUPS 2049615 WITH SCORE 2054980.446
AT ITER 9285 NEW BEST:: SOT 6128826 SOS 5365320 HAS SOPS 5340448 HAS SOUS 2067630 HAS SOUPS 2049545 WITH SCORE 2054910.32
AT ITER 9308 NEW BEST:: SOT 6129304 SOS 5365845 HAS SOPS 5340926 HAS SOUS 2066194 HAS SOUPS 2048062 WITH SCORE 2053427.845
AT ITER 9356 NEW BEST:: SOT 6129304 SOS 5386959 HAS SOPS 5362541 HAS SOUS 2065604 HAS SOUPS 2047487 WITH SCORE 2052873.959
AT ITER 9375 NEW BEST:: SOT 6129244 SOS 5386899 HAS SOPS 5362481 HAS SOUS 2065497 HAS SOUPS 2047380 WITH SCORE 2052766.899
AT ITER 9380 NEW BEST:: SOT 6129244 SOS 5386899 HAS SOPS 5362481 HAS SOUS 2065491 HAS SOUPS 2047374 WITH SCORE 2052760.899
AT ITER 9385 NEW BEST:: SOT 6129232 SOS 5386887 HAS SOPS 5362469 HAS SOUS 2065467 HAS SOUPS 2047350 WITH SCORE 2052736.887
AT ITER 9397 NEW BEST:: SOT 6129197 SOS 5386852 HAS SOPS 5362434 HAS SOUS 2065435 HAS SOUPS 2047318 WITH SCORE 2052704.852
AT ITER 9439 NEW BEST:: SOT 6129197 SOS 5385300 HAS SOPS 5360900 HAS SOUS 2064836 HAS SOUPS 2046728 WITH SCORE 2052113.3
AT ITER 9444 NEW BEST:: SOT 6129228 SOS 5384217 HAS SOPS 5359795 HAS SOUS 2064652 HAS SOUPS 2046522 WITH SCORE 2051906.217
AT ITER 9486 NEW BEST:: SOT 6129174 SOS 5384163 HAS SOPS 5359741 HAS SOUS 2064593 HAS SOUPS 2046463 WITH SCORE 2051847.163
AT ITER 9492 NEW BEST:: SOT 6129160 SOS 5384168 HAS SOPS 5359727 HAS SOUS 2064323 HAS SOUPS 2046174 WITH SCORE 2051558.168
AT ITER 9511 NEW BEST:: SOT 6129336 SOS 5384335 HAS SOPS 5359885 HAS SOUS 2064299 HAS SOUPS 2046141 WITH SCORE 2051525.335
AT ITER 9519 NEW BEST:: SOT 6129304 SOS 5384303 HAS SOPS 5359853 HAS SOUS 2063901 HAS SOUPS 2045743 WITH SCORE 2051127.303
AT ITER 9522 NEW BEST:: SOT 6129101 SOS 5384100 HAS SOPS 5359650 HAS SOUS 2063698 HAS SOUPS 2045540 WITH SCORE 2050924.1
AT ITER 9523 NEW BEST:: SOT 6129060 SOS 5384059 HAS SOPS 5359609 HAS SOUS 2063626 HAS SOUPS 2045468 WITH SCORE 2050852.059
AT ITER 9552 NEW BEST:: SOT 6129060 SOS 5383289 HAS SOPS 5358833 HAS SOUS 2063580 HAS SOUPS 2045422 WITH SCORE 2050805.289
AT ITER 9591 NEW BEST:: SOT 6129088 SOS 5383317 HAS SOPS 5358861 HAS SOUS 2063534 HAS SOUPS 2045376 WITH SCORE 2050759.317
AT ITER 9594 NEW BEST:: SOT 6128943 SOS 5383188 HAS SOPS 5358716 HAS SOUS 2063241 HAS SOUPS 2045067 WITH SCORE 2050450.188
AT ITER 9597 NEW BEST:: SOT 6128943 SOS 5383189 HAS SOPS 5358716 HAS SOUS 2063241 HAS SOUPS 2045066 WITH SCORE 2050449.189
AT ITER 9612 NEW BEST:: SOT 6128538 SOS 5382784 HAS SOPS 5358311 HAS SOUS 2062396 HAS SOUPS 2044221 WITH SCORE 2049603.784
AT ITER 9641 NEW BEST:: SOT 6127837 SOS 5382065 HAS SOPS 5357610 HAS SOUS 2061203 HAS SOUPS 2043046 WITH SCORE 2048428.065
AT ITER 9648 NEW BEST:: SOT 6127838 SOS 5382066 HAS SOPS 5357611 HAS SOUS 2061191 HAS SOUPS 2043034 WITH SCORE 2048416.066
AT ITER 9693 NEW BEST:: SOT 6127148 SOS 5381359 HAS SOPS 5356921 HAS SOUS 2060752 HAS SOUPS 2042612 WITH SCORE 2047993.359
AT ITER 9743 NEW BEST:: SOT 6127117 SOS 5381333 HAS SOPS 5356890 HAS SOUS 2060500 HAS SOUPS 2042355 WITH SCORE 2047736.333
AT ITER 9806 NEW BEST:: SOT 6126567 SOS 5380783 HAS SOPS 5356340 HAS SOUS 2059846 HAS SOUPS 2041701 WITH SCORE 2047081.783
AT ITER 9846 NEW BEST:: SOT 6126564 SOS 5380780 HAS SOPS 5356337 HAS SOUS 2059799 HAS SOUPS 2041654 WITH SCORE 2047034.78
AT ITER 9867 NEW BEST:: SOT 6125518 SOS 5379734 HAS SOPS 5355291 HAS SOUS 2058816 HAS SOUPS 2040671 WITH SCORE 2046050.734
AT ITER 9888 NEW BEST:: SOT 6125498 SOS 5379714 HAS SOPS 5355271 HAS SOUS 2058796 HAS SOUPS 2040651 WITH SCORE 2046030.714
AT ITER 9952 NEW BEST:: SOT 6124975 SOS 5379191 HAS SOPS 5354748 HAS SOUS 2058763 HAS SOUPS 2040618 WITH SCORE 2045997.191
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15237988 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16115768 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhilosophersDyn-COL-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PhilosophersDyn-COL-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942700296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 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 ;