fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r451-smll-167912643600488
Last Updated
May 14, 2023

About the Execution of Smart for StigmergyCommit-PT-07b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
367.235 3600000.00 3600148.00 69.30 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643600488.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 StigmergyCommit-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643600488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 7.2K Feb 26 11:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 11:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 11:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 11:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 11:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 12M 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 1679282059801

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=StigmergyCommit-PT-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 07b
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: 2443 places, 15956 transitions, 219500 arcs.
AT ITER 0 NEW BEST:: SOT 29746464 SOS 4020109 HAS SOPS 4020109 HAS SOUS 3187416 HAS SOUPS 3187416 WITH SCORE 3191436.109
AT ITER 10 NEW BEST:: SOT 29746046 SOS 4019751 HAS SOPS 4019751 HAS SOUS 3187016 HAS SOUPS 3187016 WITH SCORE 3191035.751
AT ITER 15 NEW BEST:: SOT 29723775 SOS 5771362 HAS SOPS 5771362 HAS SOUS 3166608 HAS SOUPS 3166608 WITH SCORE 3172379.362
AT ITER 19 NEW BEST:: SOT 29723584 SOS 5770980 HAS SOPS 5770980 HAS SOUS 3166205 HAS SOUPS 3166205 WITH SCORE 3171975.98
AT ITER 61 NEW BEST:: SOT 29700065 SOS 6275030 HAS SOPS 6275030 HAS SOUS 3143276 HAS SOUPS 3143276 WITH SCORE 3149551.03
AT ITER 74 NEW BEST:: SOT 29699869 SOS 6274498 HAS SOPS 6274498 HAS SOUS 3142883 HAS SOUPS 3142883 WITH SCORE 3149157.498
AT ITER 96 NEW BEST:: SOT 29699868 SOS 6274496 HAS SOPS 6274496 HAS SOUS 3142881 HAS SOUPS 3142881 WITH SCORE 3149155.496
AT ITER 153 NEW BEST:: SOT 29694839 SOS 6319181 HAS SOPS 6319181 HAS SOUS 3138794 HAS SOUPS 3138794 WITH SCORE 3145113.181
AT ITER 172 NEW BEST:: SOT 29681930 SOS 6341567 HAS SOPS 6341567 HAS SOUS 3126567 HAS SOUPS 3126567 WITH SCORE 3132908.567
AT ITER 188 NEW BEST:: SOT 29636176 SOS 6791046 HAS SOPS 6791046 HAS SOUS 3119258 HAS SOUPS 3119258 WITH SCORE 3126049.046
AT ITER 207 NEW BEST:: SOT 29608456 SOS 7121104 HAS SOPS 7121104 HAS SOUS 3091780 HAS SOUPS 3091780 WITH SCORE 3098901.104
AT ITER 245 NEW BEST:: SOT 29608455 SOS 7121102 HAS SOPS 7121102 HAS SOUS 3091778 HAS SOUPS 3091778 WITH SCORE 3098899.102
AT ITER 306 NEW BEST:: SOT 29587552 SOS 7240456 HAS SOPS 7240456 HAS SOUS 3075736 HAS SOUPS 3075736 WITH SCORE 3082976.456
AT ITER 398 NEW BEST:: SOT 29552979 SOS 9568885 HAS SOPS 9568885 HAS SOUS 3044367 HAS SOUPS 3044367 WITH SCORE 3053935.885
AT ITER 426 NEW BEST:: SOT 29552979 SOS 9568675 HAS SOPS 9568675 HAS SOUS 3044367 HAS SOUPS 3044367 WITH SCORE 3053935.675
AT ITER 458 NEW BEST:: SOT 29552917 SOS 9568551 HAS SOPS 9568551 HAS SOUS 3044243 HAS SOUPS 3044243 WITH SCORE 3053811.551
AT ITER 476 NEW BEST:: SOT 29499567 SOS 11513738 HAS SOPS 11513738 HAS SOUS 2995544 HAS SOUPS 2995544 WITH SCORE 3007057.738
AT ITER 486 NEW BEST:: SOT 29494708 SOS 11509816 HAS SOPS 11509816 HAS SOUS 2990714 HAS SOUPS 2990714 WITH SCORE 3002223.816
AT ITER 491 NEW BEST:: SOT 29494650 SOS 11509700 HAS SOPS 11509700 HAS SOUS 2990598 HAS SOUPS 2990598 WITH SCORE 3002107.7
AT ITER 509 NEW BEST:: SOT 29494606 SOS 11509713 HAS SOPS 11509713 HAS SOUS 2990583 HAS SOUPS 2990583 WITH SCORE 3002092.713
AT ITER 583 NEW BEST:: SOT 29494694 SOS 11509889 HAS SOPS 11509889 HAS SOUS 2990493 HAS SOUPS 2990493 WITH SCORE 3002002.889
AT ITER 595 NEW BEST:: SOT 29494694 SOS 11509875 HAS SOPS 11509875 HAS SOUS 2990479 HAS SOUPS 2990479 WITH SCORE 3001988.875
AT ITER 599 NEW BEST:: SOT 29494668 SOS 11509849 HAS SOPS 11509849 HAS SOUS 2990453 HAS SOUPS 2990453 WITH SCORE 3001962.849
AT ITER 603 NEW BEST:: SOT 29494650 SOS 11509813 HAS SOPS 11509813 HAS SOUS 2990417 HAS SOUPS 2990417 WITH SCORE 3001926.813
AT ITER 607 NEW BEST:: SOT 29494650 SOS 11509813 HAS SOPS 11509813 HAS SOUS 2990413 HAS SOUPS 2990413 WITH SCORE 3001922.813
AT ITER 625 NEW BEST:: SOT 29494649 SOS 11509811 HAS SOPS 11509811 HAS SOUS 2990411 HAS SOUPS 2990411 WITH SCORE 3001920.811
AT ITER 654 NEW BEST:: SOT 29410163 SOS 11870941 HAS SOPS 11870941 HAS SOUS 2911515 HAS SOUPS 2911515 WITH SCORE 2923385.941
AT ITER 658 NEW BEST:: SOT 29410742 SOS 11871721 HAS SOPS 11871721 HAS SOUS 2910926 HAS SOUPS 2910926 WITH SCORE 2922797.721
AT ITER 708 NEW BEST:: SOT 29334690 SOS 13519463 HAS SOPS 13519463 HAS SOUS 2840423 HAS SOUPS 2840423 WITH SCORE 2853942.463
AT ITER 767 NEW BEST:: SOT 29333797 SOS 13518505 HAS SOPS 13518505 HAS SOUS 2839465 HAS SOUPS 2839465 WITH SCORE 2852983.505
AT ITER 798 NEW BEST:: SOT 29333796 SOS 13518503 HAS SOPS 13518503 HAS SOUS 2839463 HAS SOUPS 2839463 WITH SCORE 2852981.503
AT ITER 803 NEW BEST:: SOT 29206353 SOS 14639762 HAS SOPS 14639762 HAS SOUS 2729071 HAS SOUPS 2729071 WITH SCORE 2743710.762
AT ITER 824 NEW BEST:: SOT 29206352 SOS 14639761 HAS SOPS 14639761 HAS SOUS 2729069 HAS SOUPS 2729069 WITH SCORE 2743708.761
AT ITER 858 NEW BEST:: SOT 29206151 SOS 14639359 HAS SOPS 14639359 HAS SOUS 2728667 HAS SOUPS 2728667 WITH SCORE 2743306.359
AT ITER 868 NEW BEST:: SOT 29206131 SOS 14639319 HAS SOPS 14639319 HAS SOUS 2728627 HAS SOUPS 2728627 WITH SCORE 2743266.319
AT ITER 871 NEW BEST:: SOT 29205947 SOS 14638805 HAS SOPS 14638805 HAS SOUS 2728113 HAS SOUPS 2728113 WITH SCORE 2742751.805
AT ITER 908 NEW BEST:: SOT 29205930 SOS 14638771 HAS SOPS 14638771 HAS SOUS 2728096 HAS SOUPS 2728096 WITH SCORE 2742734.771
AT ITER 959 NEW BEST:: SOT 29205909 SOS 14638729 HAS SOPS 14638729 HAS SOUS 2728075 HAS SOUPS 2728075 WITH SCORE 2742713.729
AT ITER 986 NEW BEST:: SOT 29205803 SOS 14638623 HAS SOPS 14638623 HAS SOUS 2727969 HAS SOUPS 2727969 WITH SCORE 2742607.623
AT ITER 995 NEW BEST:: SOT 29205795 SOS 14638607 HAS SOPS 14638607 HAS SOUS 2727953 HAS SOUPS 2727953 WITH SCORE 2742591.607
AT ITER 1001 NEW BEST:: SOT 29205656 SOS 14638329 HAS SOPS 14638329 HAS SOUS 2727675 HAS SOUPS 2727675 WITH SCORE 2742313.329
AT ITER 1004 NEW BEST:: SOT 29205421 SOS 14637859 HAS SOPS 14637859 HAS SOUS 2727205 HAS SOUPS 2727205 WITH SCORE 2741842.859
AT ITER 1062 NEW BEST:: SOT 29080897 SOS 15047754 HAS SOPS 15047754 HAS SOUS 2616093 HAS SOUPS 2616093 WITH SCORE 2631140.754
AT ITER 1068 NEW BEST:: SOT 29080624 SOS 13927950 HAS SOPS 13927950 HAS SOUS 2614865 HAS SOUPS 2614865 WITH SCORE 2628792.95
AT ITER 1077 NEW BEST:: SOT 29080250 SOS 12742145 HAS SOPS 12742145 HAS SOUS 2608510 HAS SOUPS 2608510 WITH SCORE 2621252.145
AT ITER 1082 NEW BEST:: SOT 29080227 SOS 12741786 HAS SOPS 12741786 HAS SOUS 2608464 HAS SOUPS 2608464 WITH SCORE 2621205.786
AT ITER 1099 NEW BEST:: SOT 29079933 SOS 12741198 HAS SOPS 12741198 HAS SOUS 2608260 HAS SOUPS 2608260 WITH SCORE 2621001.198
AT ITER 1102 NEW BEST:: SOT 29079784 SOS 12740900 HAS SOPS 12740900 HAS SOUS 2607962 HAS SOUPS 2607962 WITH SCORE 2620702.9
AT ITER 1129 NEW BEST:: SOT 29079666 SOS 12689688 HAS SOPS 12689688 HAS SOUS 2605956 HAS SOUPS 2605956 WITH SCORE 2618645.688
AT ITER 1171 NEW BEST:: SOT 29079659 SOS 12689674 HAS SOPS 12689674 HAS SOUS 2605811 HAS SOUPS 2605811 WITH SCORE 2618500.674
AT ITER 1248 NEW BEST:: SOT 29079658 SOS 12689545 HAS SOPS 12689545 HAS SOUS 2605809 HAS SOUPS 2605809 WITH SCORE 2618498.545
AT ITER 1252 NEW BEST:: SOT 29079658 SOS 12689402 HAS SOPS 12689402 HAS SOUS 2605809 HAS SOUPS 2605809 WITH SCORE 2618498.402
AT ITER 1282 NEW BEST:: SOT 29079599 SOS 12689284 HAS SOPS 12689284 HAS SOUS 2605691 HAS SOUPS 2605691 WITH SCORE 2618380.284
AT ITER 1287 NEW BEST:: SOT 29079447 SOS 12688980 HAS SOPS 12688980 HAS SOUS 2605387 HAS SOUPS 2605387 WITH SCORE 2618075.98
AT ITER 1288 NEW BEST:: SOT 29079478 SOS 12662120 HAS SOPS 12662120 HAS SOUS 2604776 HAS SOUPS 2604776 WITH SCORE 2617438.12
AT ITER 1331 NEW BEST:: SOT 28880237 SOS 12983274 HAS SOPS 12983274 HAS SOUS 2462025 HAS SOUPS 2462025 WITH SCORE 2475008.274
AT ITER 1341 NEW BEST:: SOT 28880123 SOS 12983160 HAS SOPS 12983160 HAS SOUS 2461911 HAS SOUPS 2461911 WITH SCORE 2474894.16
AT ITER 1356 NEW BEST:: SOT 28880080 SOS 12983117 HAS SOPS 12983117 HAS SOUS 2461868 HAS SOUPS 2461868 WITH SCORE 2474851.117
AT ITER 1373 NEW BEST:: SOT 28880010 SOS 12983047 HAS SOPS 12983047 HAS SOUS 2461798 HAS SOUPS 2461798 WITH SCORE 2474781.047
AT ITER 1408 NEW BEST:: SOT 28879952 SOS 12982875 HAS SOPS 12982875 HAS SOUS 2461682 HAS SOUPS 2461682 WITH SCORE 2474664.875
AT ITER 1421 NEW BEST:: SOT 28879951 SOS 12982788 HAS SOPS 12982788 HAS SOUS 2461680 HAS SOUPS 2461680 WITH SCORE 2474662.788
AT ITER 1464 NEW BEST:: SOT 28879729 SOS 12982344 HAS SOPS 12982344 HAS SOUS 2461236 HAS SOUPS 2461236 WITH SCORE 2474218.344
AT ITER 1474 NEW BEST:: SOT 28879551 SOS 12982166 HAS SOPS 12982166 HAS SOUS 2461058 HAS SOUPS 2461058 WITH SCORE 2474040.166
AT ITER 1519 NEW BEST:: SOT 28879555 SOS 12982174 HAS SOPS 12982174 HAS SOUS 2460931 HAS SOUPS 2460931 WITH SCORE 2473913.174
AT ITER 1543 NEW BEST:: SOT 28879542 SOS 12982148 HAS SOPS 12982148 HAS SOUS 2460905 HAS SOUPS 2460905 WITH SCORE 2473887.148
AT ITER 1553 NEW BEST:: SOT 28879475 SOS 12982014 HAS SOPS 12982014 HAS SOUS 2460663 HAS SOUPS 2460663 WITH SCORE 2473645.014
AT ITER 1587 NEW BEST:: SOT 28879459 SOS 12981982 HAS SOPS 12981982 HAS SOUS 2460631 HAS SOUPS 2460631 WITH SCORE 2473612.982
AT ITER 1605 NEW BEST:: SOT 28879450 SOS 12981964 HAS SOPS 12981964 HAS SOUS 2460613 HAS SOUPS 2460613 WITH SCORE 2473594.964
AT ITER 1686 NEW BEST:: SOT 28879352 SOS 12981768 HAS SOPS 12981768 HAS SOUS 2460417 HAS SOUPS 2460417 WITH SCORE 2473398.768
AT ITER 1721 NEW BEST:: SOT 28875664 SOS 12980220 HAS SOPS 12980220 HAS SOUS 2456864 HAS SOUPS 2456864 WITH SCORE 2469844.22
AT ITER 1789 NEW BEST:: SOT 28875503 SOS 12979898 HAS SOPS 12979898 HAS SOUS 2456542 HAS SOUPS 2456542 WITH SCORE 2469521.898
AT ITER 1830 NEW BEST:: SOT 28875500 SOS 12979892 HAS SOPS 12979892 HAS SOUS 2456539 HAS SOUPS 2456539 WITH SCORE 2469518.892
AT ITER 1831 NEW BEST:: SOT 28875574 SOS 12979606 HAS SOPS 12979606 HAS SOUS 2456253 HAS SOUPS 2456253 WITH SCORE 2469232.606
AT ITER 1832 NEW BEST:: SOT 28875573 SOS 12979482 HAS SOPS 12979482 HAS SOUS 2456251 HAS SOUPS 2456251 WITH SCORE 2469230.482
AT ITER 1862 NEW BEST:: SOT 28875495 SOS 12979105 HAS SOPS 12979105 HAS SOUS 2456095 HAS SOUPS 2456095 WITH SCORE 2469074.105
AT ITER 1876 NEW BEST:: SOT 28875494 SOS 12978929 HAS SOPS 12978929 HAS SOUS 2456093 HAS SOUPS 2456093 WITH SCORE 2469071.929
AT ITER 1974 NEW BEST:: SOT 28875425 SOS 12978860 HAS SOPS 12978860 HAS SOUS 2456024 HAS SOUPS 2456024 WITH SCORE 2469002.86
AT ITER 1985 NEW BEST:: SOT 28875424 SOS 12978858 HAS SOPS 12978858 HAS SOUS 2456022 HAS SOUPS 2456022 WITH SCORE 2469000.858
AT ITER 2049 NEW BEST:: SOT 28875424 SOS 12978734 HAS SOPS 12978734 HAS SOUS 2456022 HAS SOUPS 2456022 WITH SCORE 2469000.734
AT ITER 2065 NEW BEST:: SOT 28875292 SOS 12978602 HAS SOPS 12978602 HAS SOUS 2455890 HAS SOUPS 2455890 WITH SCORE 2468868.602
AT ITER 2082 NEW BEST:: SOT 28872694 SOS 12977720 HAS SOPS 12977720 HAS SOUS 2455483 HAS SOUPS 2455483 WITH SCORE 2468460.72
AT ITER 2086 NEW BEST:: SOT 28871978 SOS 12977362 HAS SOPS 12977362 HAS SOUS 2454946 HAS SOUPS 2454946 WITH SCORE 2467923.362
AT ITER 2109 NEW BEST:: SOT 28871976 SOS 12977358 HAS SOPS 12977358 HAS SOUS 2454942 HAS SOUPS 2454942 WITH SCORE 2467919.358
AT ITER 2137 NEW BEST:: SOT 28871962 SOS 12977330 HAS SOPS 12977330 HAS SOUS 2454928 HAS SOUPS 2454928 WITH SCORE 2467905.33
AT ITER 2152 NEW BEST:: SOT 28871962 SOS 12896959 HAS SOPS 12896959 HAS SOUS 2454160 HAS SOUPS 2454160 WITH SCORE 2467056.959
AT ITER 2158 NEW BEST:: SOT 28871835 SOS 12896705 HAS SOPS 12896705 HAS SOUS 2453906 HAS SOUPS 2453906 WITH SCORE 2466802.705
AT ITER 2179 NEW BEST:: SOT 28871737 SOS 12896509 HAS SOPS 12896509 HAS SOUS 2453808 HAS SOUPS 2453808 WITH SCORE 2466704.509
AT ITER 2182 NEW BEST:: SOT 28871617 SOS 12896269 HAS SOPS 12896269 HAS SOUS 2453568 HAS SOUPS 2453568 WITH SCORE 2466464.269
AT ITER 2198 NEW BEST:: SOT 28692337 SOS 14144081 HAS SOPS 14144081 HAS SOUS 2291453 HAS SOUPS 2291453 WITH SCORE 2305597.081
AT ITER 2227 NEW BEST:: SOT 28692286 SOS 14143979 HAS SOPS 14143979 HAS SOUS 2291430 HAS SOUPS 2291430 WITH SCORE 2305573.979
AT ITER 2230 NEW BEST:: SOT 28692128 SOS 14143663 HAS SOPS 14143663 HAS SOUS 2291114 HAS SOUPS 2291114 WITH SCORE 2305257.663
AT ITER 2250 NEW BEST:: SOT 28692127 SOS 14143661 HAS SOPS 14143661 HAS SOUS 2291112 HAS SOUPS 2291112 WITH SCORE 2305255.661
AT ITER 2251 NEW BEST:: SOT 28692127 SOS 14143583 HAS SOPS 14143583 HAS SOUS 2291034 HAS SOUPS 2291034 WITH SCORE 2305177.583
AT ITER 2261 NEW BEST:: SOT 28680912 SOS 14656855 HAS SOPS 14656855 HAS SOUS 2282642 HAS SOUPS 2282642 WITH SCORE 2297298.855
AT ITER 2268 NEW BEST:: SOT 28680836 SOS 14656703 HAS SOPS 14656703 HAS SOUS 2282490 HAS SOUPS 2282490 WITH SCORE 2297146.703
AT ITER 2275 NEW BEST:: SOT 28680776 SOS 14656583 HAS SOPS 14656583 HAS SOUS 2282347 HAS SOUPS 2282347 WITH SCORE 2297003.583
AT ITER 2276 NEW BEST:: SOT 28680628 SOS 14613663 HAS SOPS 14613663 HAS SOUS 2277463 HAS SOUPS 2277463 WITH SCORE 2292076.663
AT ITER 2277 NEW BEST:: SOT 28680599 SOS 14613605 HAS SOPS 14613605 HAS SOUS 2277431 HAS SOUPS 2277431 WITH SCORE 2292044.605
AT ITER 2298 NEW BEST:: SOT 28680599 SOS 14613409 HAS SOPS 14613409 HAS SOUS 2277235 HAS SOUPS 2277235 WITH SCORE 2291848.409
AT ITER 2306 NEW BEST:: SOT 28680599 SOS 14613343 HAS SOPS 14613343 HAS SOUS 2277235 HAS SOUPS 2277235 WITH SCORE 2291848.343
AT ITER 2309 NEW BEST:: SOT 28680556 SOS 14613257 HAS SOPS 14613257 HAS SOUS 2277149 HAS SOUPS 2277149 WITH SCORE 2291762.257
AT ITER 2370 NEW BEST:: SOT 28680473 SOS 14613091 HAS SOPS 14613091 HAS SOUS 2276983 HAS SOUPS 2276983 WITH SCORE 2291596.091
AT ITER 2391 NEW BEST:: SOT 28680399 SOS 14612943 HAS SOPS 14612943 HAS SOUS 2276835 HAS SOUPS 2276835 WITH SCORE 2291447.943
AT ITER 2396 NEW BEST:: SOT 28680248 SOS 14612390 HAS SOPS 14612390 HAS SOUS 2276533 HAS SOUPS 2276533 WITH SCORE 2291145.39
AT ITER 2398 NEW BEST:: SOT 28680225 SOS 14612344 HAS SOPS 14612344 HAS SOUS 2276487 HAS SOUPS 2276487 WITH SCORE 2291099.344
AT ITER 2440 NEW BEST:: SOT 28680225 SOS 14612332 HAS SOPS 14612332 HAS SOUS 2276475 HAS SOUPS 2276475 WITH SCORE 2291087.332
AT ITER 2487 NEW BEST:: SOT 28680102 SOS 14612209 HAS SOPS 14612209 HAS SOUS 2276352 HAS SOUPS 2276352 WITH SCORE 2290964.209
AT ITER 2515 NEW BEST:: SOT 28674258 SOS 14681553 HAS SOPS 14681553 HAS SOUS 2271793 HAS SOUPS 2271793 WITH SCORE 2286474.553
AT ITER 2534 NEW BEST:: SOT 28674212 SOS 14681461 HAS SOPS 14681461 HAS SOUS 2271701 HAS SOUPS 2271701 WITH SCORE 2286382.461
AT ITER 2566 NEW BEST:: SOT 28674212 SOS 14681289 HAS SOPS 14681289 HAS SOUS 2271701 HAS SOUPS 2271701 WITH SCORE 2286382.289
AT ITER 2575 NEW BEST:: SOT 28674212 SOS 14681289 HAS SOPS 14681289 HAS SOUS 2271699 HAS SOUPS 2271699 WITH SCORE 2286380.289
AT ITER 2591 NEW BEST:: SOT 28674211 SOS 14681090 HAS SOPS 14681090 HAS SOUS 2271697 HAS SOUPS 2271697 WITH SCORE 2286378.09
AT ITER 2620 NEW BEST:: SOT 28674229 SOS 14681126 HAS SOPS 14681126 HAS SOUS 2271661 HAS SOUPS 2271661 WITH SCORE 2286342.126
AT ITER 2639 NEW BEST:: SOT 28674162 SOS 14680992 HAS SOPS 14680992 HAS SOUS 2271527 HAS SOUPS 2271527 WITH SCORE 2286207.992
AT ITER 2665 NEW BEST:: SOT 28474553 SOS 14481246 HAS SOPS 14481246 HAS SOUS 2072055 HAS SOUPS 2072055 WITH SCORE 2086536.246
AT ITER 2671 NEW BEST:: SOT 28474551 SOS 14481045 HAS SOPS 14481045 HAS SOUS 2072051 HAS SOUPS 2072051 WITH SCORE 2086532.045
AT ITER 2684 NEW BEST:: SOT 28464026 SOS 14470438 HAS SOPS 14470438 HAS SOUS 2061195 HAS SOUPS 2061195 WITH SCORE 2075665.438
AT ITER 2738 NEW BEST:: SOT 28463928 SOS 14470242 HAS SOPS 14470242 HAS SOUS 2061097 HAS SOUPS 2061097 WITH SCORE 2075567.242
AT ITER 2781 NEW BEST:: SOT 28463920 SOS 14470226 HAS SOPS 14470226 HAS SOUS 2061081 HAS SOUPS 2061081 WITH SCORE 2075551.226
AT ITER 2801 NEW BEST:: SOT 28463647 SOS 14469680 HAS SOPS 14469680 HAS SOUS 2060535 HAS SOUPS 2060535 WITH SCORE 2075004.68
AT ITER 2807 NEW BEST:: SOT 28463401 SOS 13416512 HAS SOPS 13416512 HAS SOUS 2059823 HAS SOUPS 2059823 WITH SCORE 2073239.512
AT ITER 2822 NEW BEST:: SOT 28413130 SOS 13366211 HAS SOPS 13366211 HAS SOUS 2009582 HAS SOUPS 2009582 WITH SCORE 2022948.211
AT ITER 2842 NEW BEST:: SOT 28404537 SOS 13365173 HAS SOPS 13365173 HAS SOUS 2001778 HAS SOUPS 2001778 WITH SCORE 2015143.173
AT ITER 2849 NEW BEST:: SOT 28404271 SOS 13364641 HAS SOPS 13364641 HAS SOUS 2001246 HAS SOUPS 2001246 WITH SCORE 2014610.641
AT ITER 2864 NEW BEST:: SOT 28404222 SOS 13364543 HAS SOPS 13364543 HAS SOUS 2001197 HAS SOUPS 2001197 WITH SCORE 2014561.543
AT ITER 2903 NEW BEST:: SOT 28404221 SOS 13364541 HAS SOPS 13364541 HAS SOUS 2001195 HAS SOUPS 2001195 WITH SCORE 2014559.541
AT ITER 2932 NEW BEST:: SOT 28404221 SOS 13364394 HAS SOPS 13364394 HAS SOUS 2001195 HAS SOUPS 2001195 WITH SCORE 2014559.394
AT ITER 2999 NEW BEST:: SOT 28404220 SOS 13364210 HAS SOPS 13364210 HAS SOUS 2001193 HAS SOUPS 2001193 WITH SCORE 2014557.21
AT ITER 3036 NEW BEST:: SOT 28404220 SOS 13364210 HAS SOPS 13364210 HAS SOUS 2001102 HAS SOUPS 2001102 WITH SCORE 2014466.21
AT ITER 3038 NEW BEST:: SOT 28404105 SOS 13363980 HAS SOPS 13363980 HAS SOUS 2000872 HAS SOUPS 2000872 WITH SCORE 2014235.98
AT ITER 3040 NEW BEST:: SOT 28403822 SOS 13363414 HAS SOPS 13363414 HAS SOUS 2000306 HAS SOUPS 2000306 WITH SCORE 2013669.414
AT ITER 3046 NEW BEST:: SOT 28403821 SOS 13363412 HAS SOPS 13363412 HAS SOUS 2000304 HAS SOUPS 2000304 WITH SCORE 2013667.412
AT ITER 3049 NEW BEST:: SOT 28403798 SOS 13363366 HAS SOPS 13363366 HAS SOUS 2000281 HAS SOUPS 2000281 WITH SCORE 2013644.366
AT ITER 3067 NEW BEST:: SOT 28403631 SOS 13363032 HAS SOPS 13363032 HAS SOUS 1999947 HAS SOUPS 1999947 WITH SCORE 2013310.032
AT ITER 3086 NEW BEST:: SOT 28403490 SOS 13362750 HAS SOPS 13362750 HAS SOUS 1999665 HAS SOUPS 1999665 WITH SCORE 2013027.75
AT ITER 3129 NEW BEST:: SOT 28403490 SOS 13362647 HAS SOPS 13362647 HAS SOUS 1999665 HAS SOUPS 1999665 WITH SCORE 2013027.647
AT ITER 3141 NEW BEST:: SOT 28403489 SOS 13362645 HAS SOPS 13362645 HAS SOUS 1999663 HAS SOUPS 1999663 WITH SCORE 2013025.645
AT ITER 3187 NEW BEST:: SOT 28403232 SOS 13362131 HAS SOPS 13362131 HAS SOUS 1999149 HAS SOUPS 1999149 WITH SCORE 2012511.131
AT ITER 3190 NEW BEST:: SOT 28403169 SOS 13362005 HAS SOPS 13362005 HAS SOUS 1999023 HAS SOUPS 1999023 WITH SCORE 2012385.005
AT ITER 3198 NEW BEST:: SOT 28403137 SOS 13361941 HAS SOPS 13361941 HAS SOUS 1998991 HAS SOUPS 1998991 WITH SCORE 2012352.941
AT ITER 3203 NEW BEST:: SOT 28403141 SOS 13361949 HAS SOPS 13361949 HAS SOUS 1998799 HAS SOUPS 1998799 WITH SCORE 2012160.949
AT ITER 3206 NEW BEST:: SOT 28402847 SOS 12610005 HAS SOPS 12610005 HAS SOUS 1995817 HAS SOUPS 1995817 WITH SCORE 2008427.005
AT ITER 3229 NEW BEST:: SOT 28402803 SOS 12545809 HAS SOPS 12545809 HAS SOUS 1995685 HAS SOUPS 1995685 WITH SCORE 2008230.809
AT ITER 3264 NEW BEST:: SOT 28402720 SOS 12545736 HAS SOPS 12545736 HAS SOUS 1995612 HAS SOUPS 1995612 WITH SCORE 2008157.736
AT ITER 3329 NEW BEST:: SOT 28390006 SOS 12540310 HAS SOPS 12540310 HAS SOUS 1984094 HAS SOUPS 1984094 WITH SCORE 1996634.31
AT ITER 3333 NEW BEST:: SOT 28390006 SOS 12540162 HAS SOPS 12540162 HAS SOUS 1984094 HAS SOUPS 1984094 WITH SCORE 1996634.162
AT ITER 3341 NEW BEST:: SOT 28389747 SOS 12539644 HAS SOPS 12539644 HAS SOUS 1983576 HAS SOUPS 1983576 WITH SCORE 1996115.644
AT ITER 3404 NEW BEST:: SOT 28389746 SOS 12539642 HAS SOPS 12539642 HAS SOUS 1983574 HAS SOUPS 1983574 WITH SCORE 1996113.642
AT ITER 3414 NEW BEST:: SOT 28389746 SOS 12539572 HAS SOPS 12539572 HAS SOUS 1983574 HAS SOUPS 1983574 WITH SCORE 1996113.572
AT ITER 3421 NEW BEST:: SOT 28308397 SOS 12504864 HAS SOPS 12504864 HAS SOUS 1921025 HAS SOUPS 1921025 WITH SCORE 1933529.864
AT ITER 3455 NEW BEST:: SOT 28308309 SOS 12504688 HAS SOPS 12504688 HAS SOUS 1920481 HAS SOUPS 1920481 WITH SCORE 1932985.688
AT ITER 3467 NEW BEST:: SOT 28308023 SOS 12504116 HAS SOPS 12504116 HAS SOUS 1919909 HAS SOUPS 1919909 WITH SCORE 1932413.116
AT ITER 3472 NEW BEST:: SOT 28308022 SOS 12504115 HAS SOPS 12504115 HAS SOUS 1919907 HAS SOUPS 1919907 WITH SCORE 1932411.115
AT ITER 3483 NEW BEST:: SOT 28308022 SOS 12504009 HAS SOPS 12504009 HAS SOUS 1919907 HAS SOUPS 1919907 WITH SCORE 1932411.009
AT ITER 3497 NEW BEST:: SOT 28308018 SOS 12504001 HAS SOPS 12504001 HAS SOUS 1919899 HAS SOUPS 1919899 WITH SCORE 1932403.001
AT ITER 3498 NEW BEST:: SOT 28308133 SOS 12503900 HAS SOPS 12503900 HAS SOUS 1919798 HAS SOUPS 1919798 WITH SCORE 1932301.9
AT ITER 3499 NEW BEST:: SOT 28308132 SOS 12503899 HAS SOPS 12503899 HAS SOUS 1919796 HAS SOUPS 1919796 WITH SCORE 1932299.899
AT ITER 3511 NEW BEST:: SOT 28307963 SOS 12503561 HAS SOPS 12503561 HAS SOUS 1919458 HAS SOUPS 1919458 WITH SCORE 1931961.561
AT ITER 3557 NEW BEST:: SOT 28307951 SOS 12503537 HAS SOPS 12503537 HAS SOUS 1919446 HAS SOUPS 1919446 WITH SCORE 1931949.537
AT ITER 3599 NEW BEST:: SOT 28307950 SOS 12503535 HAS SOPS 12503535 HAS SOUS 1919444 HAS SOUPS 1919444 WITH SCORE 1931947.535
AT ITER 3603 NEW BEST:: SOT 28307870 SOS 12503257 HAS SOPS 12503257 HAS SOUS 1919166 HAS SOUPS 1919166 WITH SCORE 1931669.257
AT ITER 3609 NEW BEST:: SOT 28307767 SOS 12503051 HAS SOPS 12503051 HAS SOUS 1919063 HAS SOUPS 1919063 WITH SCORE 1931566.051
AT ITER 3629 NEW BEST:: SOT 28307523 SOS 12475971 HAS SOPS 12475971 HAS SOUS 1912067 HAS SOUPS 1912067 WITH SCORE 1924542.971
AT ITER 3676 NEW BEST:: SOT 28307209 SOS 12475343 HAS SOPS 12475343 HAS SOUS 1911439 HAS SOUPS 1911439 WITH SCORE 1923914.343
AT ITER 3694 NEW BEST:: SOT 28307092 SOS 12475109 HAS SOPS 12475109 HAS SOUS 1911205 HAS SOUPS 1911205 WITH SCORE 1923680.109
AT ITER 3712 NEW BEST:: SOT 28306659 SOS 12476613 HAS SOPS 12476613 HAS SOUS 1911031 HAS SOUPS 1911031 WITH SCORE 1923507.613
AT ITER 3713 NEW BEST:: SOT 28306534 SOS 12421911 HAS SOPS 12421911 HAS SOUS 1910902 HAS SOUPS 1910902 WITH SCORE 1923323.911
AT ITER 3715 NEW BEST:: SOT 28306515 SOS 12421873 HAS SOPS 12421873 HAS SOUS 1910883 HAS SOUPS 1910883 WITH SCORE 1923304.873
AT ITER 3716 NEW BEST:: SOT 28287937 SOS 12405477 HAS SOPS 12405477 HAS SOUS 1892405 HAS SOUPS 1892405 WITH SCORE 1904810.477
AT ITER 3726 NEW BEST:: SOT 28287937 SOS 12405284 HAS SOPS 12405284 HAS SOUS 1892405 HAS SOUPS 1892405 WITH SCORE 1904810.284
AT ITER 3739 NEW BEST:: SOT 28287936 SOS 12405282 HAS SOPS 12405282 HAS SOUS 1892403 HAS SOUPS 1892403 WITH SCORE 1904808.282
AT ITER 3788 NEW BEST:: SOT 28287714 SOS 11433810 HAS SOPS 11433810 HAS SOUS 1891500 HAS SOUPS 1891500 WITH SCORE 1902933.81
AT ITER 3796 NEW BEST:: SOT 28287586 SOS 11433426 HAS SOPS 11433426 HAS SOUS 1891244 HAS SOUPS 1891244 WITH SCORE 1902677.426
AT ITER 3814 NEW BEST:: SOT 28287586 SOS 11398867 HAS SOPS 11398867 HAS SOUS 1891045 HAS SOUPS 1891045 WITH SCORE 1902443.867
AT ITER 3826 NEW BEST:: SOT 28287288 SOS 11398271 HAS SOPS 11398271 HAS SOUS 1890746 HAS SOUPS 1890746 WITH SCORE 1902144.271
AT ITER 3867 NEW BEST:: SOT 28287180 SOS 11398055 HAS SOPS 11398055 HAS SOUS 1890530 HAS SOUPS 1890530 WITH SCORE 1901928.055
AT ITER 3881 NEW BEST:: SOT 28287172 SOS 11398039 HAS SOPS 11398039 HAS SOUS 1890514 HAS SOUPS 1890514 WITH SCORE 1901912.039
AT ITER 3889 NEW BEST:: SOT 28287071 SOS 11398055 HAS SOPS 11398055 HAS SOUS 1890472 HAS SOUPS 1890472 WITH SCORE 1901870.055
AT ITER 3900 NEW BEST:: SOT 28286582 SOS 10712789 HAS SOPS 10712789 HAS SOUS 1886983 HAS SOUPS 1886983 WITH SCORE 1897695.789
AT ITER 3903 NEW BEST:: SOT 28286507 SOS 10712639 HAS SOPS 10712639 HAS SOUS 1886833 HAS SOUPS 1886833 WITH SCORE 1897545.639
AT ITER 3962 NEW BEST:: SOT 28286416 SOS 10712457 HAS SOPS 10712457 HAS SOUS 1886651 HAS SOUPS 1886651 WITH SCORE 1897363.457
AT ITER 3968 NEW BEST:: SOT 28286135 SOS 10711895 HAS SOPS 10711895 HAS SOUS 1886370 HAS SOUPS 1886370 WITH SCORE 1897081.895
AT ITER 3999 NEW BEST:: SOT 28286062 SOS 10711749 HAS SOPS 10711749 HAS SOUS 1886224 HAS SOUPS 1886224 WITH SCORE 1896935.749
AT ITER 4034 NEW BEST:: SOT 28285909 SOS 10711443 HAS SOPS 10711443 HAS SOUS 1885918 HAS SOUPS 1885918 WITH SCORE 1896629.443
AT ITER 4052 NEW BEST:: SOT 28285767 SOS 10711159 HAS SOPS 10711159 HAS SOUS 1885634 HAS SOUPS 1885634 WITH SCORE 1896345.159
AT ITER 4056 NEW BEST:: SOT 28285714 SOS 10711373 HAS SOPS 10711373 HAS SOUS 1885554 HAS SOUPS 1885554 WITH SCORE 1896265.373
AT ITER 4062 NEW BEST:: SOT 28285701 SOS 10711347 HAS SOPS 10711347 HAS SOUS 1885407 HAS SOUPS 1885407 WITH SCORE 1896118.347
AT ITER 4074 NEW BEST:: SOT 28285614 SOS 10711173 HAS SOPS 10711173 HAS SOUS 1885233 HAS SOUPS 1885233 WITH SCORE 1895944.173
AT ITER 4086 NEW BEST:: SOT 28285612 SOS 10711169 HAS SOPS 10711169 HAS SOUS 1885229 HAS SOUPS 1885229 WITH SCORE 1895940.169
AT ITER 4090 NEW BEST:: SOT 28285612 SOS 10710996 HAS SOPS 10710996 HAS SOUS 1885229 HAS SOUPS 1885229 WITH SCORE 1895939.996
AT ITER 4119 NEW BEST:: SOT 28285449 SOS 10710670 HAS SOPS 10710670 HAS SOUS 1884903 HAS SOUPS 1884903 WITH SCORE 1895613.67
AT ITER 4133 NEW BEST:: SOT 28284938 SOS 10709219 HAS SOPS 10709219 HAS SOUS 1884075 HAS SOUPS 1884075 WITH SCORE 1894784.219
AT ITER 4138 NEW BEST:: SOT 28284882 SOS 10709107 HAS SOPS 10709107 HAS SOUS 1883721 HAS SOUPS 1883721 WITH SCORE 1894430.107
AT ITER 4156 NEW BEST:: SOT 28284882 SOS 10708983 HAS SOPS 10708983 HAS SOUS 1883721 HAS SOUPS 1883721 WITH SCORE 1894429.983
AT ITER 4210 NEW BEST:: SOT 28284832 SOS 10708883 HAS SOPS 10708883 HAS SOUS 1883621 HAS SOUPS 1883621 WITH SCORE 1894329.883
AT ITER 4217 NEW BEST:: SOT 28284831 SOS 10708881 HAS SOPS 10708881 HAS SOUS 1883619 HAS SOUPS 1883619 WITH SCORE 1894327.881
AT ITER 4233 NEW BEST:: SOT 28284830 SOS 10708879 HAS SOPS 10708879 HAS SOUS 1883617 HAS SOUPS 1883617 WITH SCORE 1894325.879
AT ITER 4245 NEW BEST:: SOT 28284762 SOS 10708743 HAS SOPS 10708743 HAS SOUS 1883549 HAS SOUPS 1883549 WITH SCORE 1894257.743
AT ITER 4250 NEW BEST:: SOT 28284744 SOS 10708707 HAS SOPS 10708707 HAS SOUS 1883531 HAS SOUPS 1883531 WITH SCORE 1894239.707
AT ITER 4252 NEW BEST:: SOT 28284646 SOS 10708511 HAS SOPS 10708511 HAS SOUS 1883433 HAS SOUPS 1883433 WITH SCORE 1894141.511
AT ITER 4253 NEW BEST:: SOT 28284645 SOS 10708509 HAS SOPS 10708509 HAS SOUS 1883431 HAS SOUPS 1883431 WITH SCORE 1894139.509
AT ITER 4254 NEW BEST:: SOT 28284300 SOS 10708173 HAS SOPS 10708173 HAS SOUS 1883086 HAS SOUPS 1883086 WITH SCORE 1893794.173
AT ITER 4283 NEW BEST:: SOT 28284300 SOS 10708028 HAS SOPS 10708028 HAS SOUS 1883086 HAS SOUPS 1883086 WITH SCORE 1893794.028
AT ITER 4286 NEW BEST:: SOT 28284190 SOS 10702992 HAS SOPS 10702992 HAS SOUS 1882882 HAS SOUPS 1882882 WITH SCORE 1893584.992
AT ITER 4304 NEW BEST:: SOT 28284040 SOS 10702692 HAS SOPS 10702692 HAS SOUS 1882222 HAS SOUPS 1882222 WITH SCORE 1892924.692
AT ITER 4310 NEW BEST:: SOT 28284040 SOS 10702651 HAS SOPS 10702651 HAS SOUS 1882222 HAS SOUPS 1882222 WITH SCORE 1892924.651
AT ITER 4312 NEW BEST:: SOT 27856681 SOS 11264103 HAS SOPS 11264103 HAS SOUS 1517140 HAS SOUPS 1517140 WITH SCORE 1528404.103
AT ITER 4316 NEW BEST:: SOT 27856308 SOS 11264047 HAS SOPS 11264047 HAS SOUS 1516822 HAS SOUPS 1516822 WITH SCORE 1528086.047
AT ITER 4327 NEW BEST:: SOT 27855556 SOS 11262575 HAS SOPS 11262575 HAS SOUS 1516433 HAS SOUPS 1516433 WITH SCORE 1527695.575
AT ITER 4332 NEW BEST:: SOT 27855348 SOS 11262493 HAS SOPS 11262493 HAS SOUS 1516289 HAS SOUPS 1516289 WITH SCORE 1527551.493
AT ITER 4362 NEW BEST:: SOT 27855176 SOS 11262149 HAS SOPS 11262149 HAS SOUS 1515945 HAS SOUPS 1515945 WITH SCORE 1527207.149
AT ITER 4391 NEW BEST:: SOT 27855062 SOS 11261921 HAS SOPS 11261921 HAS SOUS 1515717 HAS SOUPS 1515717 WITH SCORE 1526978.921
AT ITER 4392 NEW BEST:: SOT 27854851 SOS 11261317 HAS SOPS 11261317 HAS SOUS 1515295 HAS SOUPS 1515295 WITH SCORE 1526556.317
AT ITER 4402 NEW BEST:: SOT 27854737 SOS 11261203 HAS SOPS 11261203 HAS SOUS 1515181 HAS SOUPS 1515181 WITH SCORE 1526442.203
AT ITER 4437 NEW BEST:: SOT 27854668 SOS 11261065 HAS SOPS 11261065 HAS SOUS 1515043 HAS SOUPS 1515043 WITH SCORE 1526304.065
AT ITER 4445 NEW BEST:: SOT 27854502 SOS 11260733 HAS SOPS 11260733 HAS SOUS 1514711 HAS SOUPS 1514711 WITH SCORE 1525971.733
AT ITER 4461 NEW BEST:: SOT 27854419 SOS 11260567 HAS SOPS 11260567 HAS SOUS 1514545 HAS SOUPS 1514545 WITH SCORE 1525805.567
AT ITER 4464 NEW BEST:: SOT 27854278 SOS 11260430 HAS SOPS 11260430 HAS SOUS 1514407 HAS SOUPS 1514407 WITH SCORE 1525667.43
AT ITER 4497 NEW BEST:: SOT 27854048 SOS 11259970 HAS SOPS 11259970 HAS SOUS 1514177 HAS SOUPS 1514177 WITH SCORE 1525436.97
AT ITER 4504 NEW BEST:: SOT 27854035 SOS 11259944 HAS SOPS 11259944 HAS SOUS 1514151 HAS SOUPS 1514151 WITH SCORE 1525410.944
AT ITER 4530 NEW BEST:: SOT 27854034 SOS 11259942 HAS SOPS 11259942 HAS SOUS 1514149 HAS SOUPS 1514149 WITH SCORE 1525408.942
AT ITER 4573 NEW BEST:: SOT 27853836 SOS 11260158 HAS SOPS 11260158 HAS SOUS 1514093 HAS SOUPS 1514093 WITH SCORE 1525353.158
AT ITER 4639 NEW BEST:: SOT 27853836 SOS 11260098 HAS SOPS 11260098 HAS SOUS 1514033 HAS SOUPS 1514033 WITH SCORE 1525293.098
AT ITER 4663 NEW BEST:: SOT 27853680 SOS 11259575 HAS SOPS 11259575 HAS SOUS 1513721 HAS SOUPS 1513721 WITH SCORE 1524980.575
AT ITER 4680 NEW BEST:: SOT 27853591 SOS 11259397 HAS SOPS 11259397 HAS SOUS 1513632 HAS SOUPS 1513632 WITH SCORE 1524891.397
AT ITER 4687 NEW BEST:: SOT 27853591 SOS 11259334 HAS SOPS 11259334 HAS SOUS 1513632 HAS SOUPS 1513632 WITH SCORE 1524891.334
AT ITER 4697 NEW BEST:: SOT 27853630 SOS 11259412 HAS SOPS 11259412 HAS SOUS 1513313 HAS SOUPS 1513313 WITH SCORE 1524572.412
AT ITER 4703 NEW BEST:: SOT 27853549 SOS 11259250 HAS SOPS 11259250 HAS SOUS 1513151 HAS SOUPS 1513151 WITH SCORE 1524410.25
AT ITER 4719 NEW BEST:: SOT 27853453 SOS 11259058 HAS SOPS 11259058 HAS SOUS 1512959 HAS SOUPS 1512959 WITH SCORE 1524218.058
AT ITER 4754 NEW BEST:: SOT 27853453 SOS 11258961 HAS SOPS 11258961 HAS SOUS 1512862 HAS SOUPS 1512862 WITH SCORE 1524120.961
AT ITER 4759 NEW BEST:: SOT 27853343 SOS 11258741 HAS SOPS 11258741 HAS SOUS 1512642 HAS SOUPS 1512642 WITH SCORE 1523900.741
AT ITER 4769 NEW BEST:: SOT 27853128 SOS 11258311 HAS SOPS 11258311 HAS SOUS 1512212 HAS SOUPS 1512212 WITH SCORE 1523470.311
AT ITER 4784 NEW BEST:: SOT 27853125 SOS 11258305 HAS SOPS 11258305 HAS SOUS 1512209 HAS SOUPS 1512209 WITH SCORE 1523467.305
AT ITER 4790 NEW BEST:: SOT 27853124 SOS 11258303 HAS SOPS 11258303 HAS SOUS 1512202 HAS SOUPS 1512202 WITH SCORE 1523460.303
AT ITER 4793 NEW BEST:: SOT 27853120 SOS 11258295 HAS SOPS 11258295 HAS SOUS 1512194 HAS SOUPS 1512194 WITH SCORE 1523452.295
AT ITER 4805 NEW BEST:: SOT 27853030 SOS 11257901 HAS SOPS 11257901 HAS SOUS 1512014 HAS SOUPS 1512014 WITH SCORE 1523271.901
AT ITER 4810 NEW BEST:: SOT 27602276 SOS 11720431 HAS SOPS 11720431 HAS SOUS 1311679 HAS SOUPS 1311679 WITH SCORE 1323399.431
AT ITER 4837 NEW BEST:: SOT 27602232 SOS 11720343 HAS SOPS 11720343 HAS SOUS 1311671 HAS SOUPS 1311671 WITH SCORE 1323391.343
AT ITER 4850 NEW BEST:: SOT 27602161 SOS 11720201 HAS SOPS 11720201 HAS SOUS 1311600 HAS SOUPS 1311600 WITH SCORE 1323320.201
AT ITER 4922 NEW BEST:: SOT 27602160 SOS 11720199 HAS SOPS 11720199 HAS SOUS 1311598 HAS SOUPS 1311598 WITH SCORE 1323318.199
AT ITER 4964 NEW BEST:: SOT 27602022 SOS 11719923 HAS SOPS 11719923 HAS SOUS 1311460 HAS SOUPS 1311460 WITH SCORE 1323179.923
AT ITER 4967 NEW BEST:: SOT 27601666 SOS 11719211 HAS SOPS 11719211 HAS SOUS 1310357 HAS SOUPS 1310357 WITH SCORE 1322076.211
AT ITER 5024 NEW BEST:: SOT 27601665 SOS 11719209 HAS SOPS 11719209 HAS SOUS 1310355 HAS SOUPS 1310355 WITH SCORE 1322074.209
AT ITER 5062 NEW BEST:: SOT 27601664 SOS 11719207 HAS SOPS 11719207 HAS SOUS 1310353 HAS SOUPS 1310353 WITH SCORE 1322072.207
AT ITER 5077 NEW BEST:: SOT 27601654 SOS 11719187 HAS SOPS 11719187 HAS SOUS 1310343 HAS SOUPS 1310343 WITH SCORE 1322062.187
AT ITER 5083 NEW BEST:: SOT 27601387 SOS 11718653 HAS SOPS 11718653 HAS SOUS 1310220 HAS SOUPS 1310220 WITH SCORE 1321938.653
AT ITER 5087 NEW BEST:: SOT 27601206 SOS 11718291 HAS SOPS 11718291 HAS SOUS 1309858 HAS SOUPS 1309858 WITH SCORE 1321576.291
AT ITER 5104 NEW BEST:: SOT 27600940 SOS 11717759 HAS SOPS 11717759 HAS SOUS 1309326 HAS SOUPS 1309326 WITH SCORE 1321043.759
AT ITER 5132 NEW BEST:: SOT 27600920 SOS 11717739 HAS SOPS 11717739 HAS SOUS 1309306 HAS SOUPS 1309306 WITH SCORE 1321023.739
AT ITER 5184 NEW BEST:: SOT 27600636 SOS 11717171 HAS SOPS 11717171 HAS SOUS 1308738 HAS SOUPS 1308738 WITH SCORE 1320455.171
AT ITER 5193 NEW BEST:: SOT 27600527 SOS 11716911 HAS SOPS 11716911 HAS SOUS 1308478 HAS SOUPS 1308478 WITH SCORE 1320194.911
AT ITER 5204 NEW BEST:: SOT 27600526 SOS 11716800 HAS SOPS 11716800 HAS SOUS 1308476 HAS SOUPS 1308476 WITH SCORE 1320192.8
AT ITER 5222 NEW BEST:: SOT 27600511 SOS 11716800 HAS SOPS 11716800 HAS SOUS 1308446 HAS SOUPS 1308446 WITH SCORE 1320162.8
AT ITER 5232 NEW BEST:: SOT 27600246 SOS 11716535 HAS SOPS 11716535 HAS SOUS 1308446 HAS SOUPS 1308446 WITH SCORE 1320162.535
AT ITER 5263 NEW BEST:: SOT 27600163 SOS 11680513 HAS SOPS 11680513 HAS SOUS 1307035 HAS SOUPS 1307035 WITH SCORE 1318715.513
AT ITER 5310 NEW BEST:: SOT 27600163 SOS 11680513 HAS SOPS 11680513 HAS SOUS 1306767 HAS SOUPS 1306767 WITH SCORE 1318447.513
AT ITER 5340 NEW BEST:: SOT 27600142 SOS 11680471 HAS SOPS 11680471 HAS SOUS 1306725 HAS SOUPS 1306725 WITH SCORE 1318405.471
AT ITER 5343 NEW BEST:: SOT 27600088 SOS 11680363 HAS SOPS 11680363 HAS SOUS 1306617 HAS SOUPS 1306617 WITH SCORE 1318297.363
AT ITER 5361 NEW BEST:: SOT 27600078 SOS 11680343 HAS SOPS 11680343 HAS SOUS 1306607 HAS SOUPS 1306607 WITH SCORE 1318287.343
AT ITER 5380 NEW BEST:: SOT 27600140 SOS 11680467 HAS SOPS 11680467 HAS SOUS 1306531 HAS SOUPS 1306531 WITH SCORE 1318211.467
AT ITER 5402 NEW BEST:: SOT 27600143 SOS 11680155 HAS SOPS 11680155 HAS SOUS 1306411 HAS SOUPS 1306411 WITH SCORE 1318091.155
AT ITER 5420 NEW BEST:: SOT 27599937 SOS 11679743 HAS SOPS 11679743 HAS SOUS 1305999 HAS SOUPS 1305999 WITH SCORE 1317678.743
AT ITER 5430 NEW BEST:: SOT 27599931 SOS 11679731 HAS SOPS 11679731 HAS SOUS 1305956 HAS SOUPS 1305956 WITH SCORE 1317635.731
AT ITER 5444 NEW BEST:: SOT 27599930 SOS 11679730 HAS SOPS 11679730 HAS SOUS 1305954 HAS SOUPS 1305954 WITH SCORE 1317633.73
AT ITER 5456 NEW BEST:: SOT 27599929 SOS 11679728 HAS SOPS 11679728 HAS SOUS 1305952 HAS SOUPS 1305952 WITH SCORE 1317631.728
AT ITER 5491 NEW BEST:: SOT 27599881 SOS 11679632 HAS SOPS 11679632 HAS SOUS 1305904 HAS SOUPS 1305904 WITH SCORE 1317583.632
AT ITER 5524 NEW BEST:: SOT 27599703 SOS 11679125 HAS SOPS 11679125 HAS SOUS 1305498 HAS SOUPS 1305498 WITH SCORE 1317177.125
AT ITER 5531 NEW BEST:: SOT 27599493 SOS 11678705 HAS SOPS 11678705 HAS SOUS 1305288 HAS SOUPS 1305288 WITH SCORE 1316966.705
AT ITER 5541 NEW BEST:: SOT 27599493 SOS 11678636 HAS SOPS 11678636 HAS SOUS 1305288 HAS SOUPS 1305288 WITH SCORE 1316966.636
AT ITER 5624 NEW BEST:: SOT 27599428 SOS 11678506 HAS SOPS 11678506 HAS SOUS 1305158 HAS SOUPS 1305158 WITH SCORE 1316836.506
AT ITER 5645 NEW BEST:: SOT 27599386 SOS 11678422 HAS SOPS 11678422 HAS SOUS 1305074 HAS SOUPS 1305074 WITH SCORE 1316752.422
AT ITER 5670 NEW BEST:: SOT 27599386 SOS 11678269 HAS SOPS 11678269 HAS SOUS 1304921 HAS SOUPS 1304921 WITH SCORE 1316599.269
AT ITER 5676 NEW BEST:: SOT 27599312 SOS 11678195 HAS SOPS 11678195 HAS SOUS 1304859 HAS SOUPS 1304859 WITH SCORE 1316537.195
AT ITER 5677 NEW BEST:: SOT 27598753 SOS 11677077 HAS SOPS 11677077 HAS SOUS 1303800 HAS SOUPS 1303800 WITH SCORE 1315477.077
AT ITER 5678 NEW BEST:: SOT 27598554 SOS 11676679 HAS SOPS 11676679 HAS SOUS 1303402 HAS SOUPS 1303402 WITH SCORE 1315078.679
AT ITER 5703 NEW BEST:: SOT 27565615 SOS 11721171 HAS SOPS 11721171 HAS SOUS 1275100 HAS SOUPS 1275100 WITH SCORE 1286821.171
AT ITER 5711 NEW BEST:: SOT 27565349 SOS 11674271 HAS SOPS 11674271 HAS SOUS 1269682 HAS SOUPS 1269682 WITH SCORE 1281356.271
AT ITER 5719 NEW BEST:: SOT 27565348 SOS 11674269 HAS SOPS 11674269 HAS SOUS 1269680 HAS SOUPS 1269680 WITH SCORE 1281354.269
AT ITER 5738 NEW BEST:: SOT 27565227 SOS 11674027 HAS SOPS 11674027 HAS SOUS 1269559 HAS SOUPS 1269559 WITH SCORE 1281233.027
AT ITER 5753 NEW BEST:: SOT 27565190 SOS 11673953 HAS SOPS 11673953 HAS SOUS 1269485 HAS SOUPS 1269485 WITH SCORE 1281158.953
AT ITER 5765 NEW BEST:: SOT 27565094 SOS 11673809 HAS SOPS 11673809 HAS SOUS 1269341 HAS SOUPS 1269341 WITH SCORE 1281014.809
AT ITER 5785 NEW BEST:: SOT 27564884 SOS 11673389 HAS SOPS 11673389 HAS SOUS 1268921 HAS SOUPS 1268921 WITH SCORE 1280594.389
AT ITER 5787 NEW BEST:: SOT 27564794 SOS 11673209 HAS SOPS 11673209 HAS SOUS 1268741 HAS SOUPS 1268741 WITH SCORE 1280414.209
AT ITER 5819 NEW BEST:: SOT 27564794 SOS 11584433 HAS SOPS 11584433 HAS SOUS 1267782 HAS SOUPS 1267782 WITH SCORE 1279366.433
AT ITER 5821 NEW BEST:: SOT 27564449 SOS 11583743 HAS SOPS 11583743 HAS SOUS 1267092 HAS SOUPS 1267092 WITH SCORE 1278675.743
AT ITER 5824 NEW BEST:: SOT 27564468 SOS 11583781 HAS SOPS 11583781 HAS SOUS 1266696 HAS SOUPS 1266696 WITH SCORE 1278279.781
AT ITER 5843 NEW BEST:: SOT 27564425 SOS 11583770 HAS SOPS 11583770 HAS SOUS 1266685 HAS SOUPS 1266685 WITH SCORE 1278268.77
AT ITER 5887 NEW BEST:: SOT 27557780 SOS 11597958 HAS SOPS 11597958 HAS SOUS 1265419 HAS SOUPS 1265419 WITH SCORE 1277016.958
AT ITER 5898 NEW BEST:: SOT 27557756 SOS 11597910 HAS SOPS 11597910 HAS SOUS 1265371 HAS SOUPS 1265371 WITH SCORE 1276968.91
AT ITER 5925 NEW BEST:: SOT 27553388 SOS 11593898 HAS SOPS 11593898 HAS SOUS 1261359 HAS SOUPS 1261359 WITH SCORE 1272952.898
AT ITER 5984 NEW BEST:: SOT 27552587 SOS 11284064 HAS SOPS 11284064 HAS SOUS 1255569 HAS SOUPS 1255569 WITH SCORE 1266853.064
AT ITER 6029 NEW BEST:: SOT 27552586 SOS 11283907 HAS SOPS 11283907 HAS SOUS 1255567 HAS SOUPS 1255567 WITH SCORE 1266850.907
AT ITER 6032 NEW BEST:: SOT 27551446 SOS 11253925 HAS SOPS 11253925 HAS SOUS 1254489 HAS SOUPS 1254489 WITH SCORE 1265742.925
AT ITER 6036 NEW BEST:: SOT 27551343 SOS 11253719 HAS SOPS 11253719 HAS SOUS 1254395 HAS SOUPS 1254395 WITH SCORE 1265648.719
AT ITER 6084 NEW BEST:: SOT 27551171 SOS 11253265 HAS SOPS 11253265 HAS SOUS 1253941 HAS SOUPS 1253941 WITH SCORE 1265194.265
AT ITER 6092 NEW BEST:: SOT 27125426 SOS 12230407 HAS SOPS 12230407 HAS SOUS 850142 HAS SOUPS 850142 WITH SCORE 862372.407
AT ITER 6160 NEW BEST:: SOT 27125659 SOS 12154393 HAS SOPS 12154393 HAS SOUS 849045 HAS SOUPS 849045 WITH SCORE 861199.393
AT ITER 6174 NEW BEST:: SOT 27125653 SOS 12154381 HAS SOPS 12154381 HAS SOUS 849033 HAS SOUPS 849033 WITH SCORE 861187.381
AT ITER 6183 NEW BEST:: SOT 27125579 SOS 12154233 HAS SOPS 12154233 HAS SOUS 848959 HAS SOUPS 848959 WITH SCORE 861113.233
AT ITER 6195 NEW BEST:: SOT 27125525 SOS 12154125 HAS SOPS 12154125 HAS SOUS 848902 HAS SOUPS 848902 WITH SCORE 861056.125
AT ITER 6204 NEW BEST:: SOT 27125525 SOS 12154102 HAS SOPS 12154102 HAS SOUS 848902 HAS SOUPS 848902 WITH SCORE 861056.102
AT ITER 6210 NEW BEST:: SOT 27125170 SOS 12153392 HAS SOPS 12153392 HAS SOUS 848343 HAS SOUPS 848343 WITH SCORE 860496.392
AT ITER 6275 NEW BEST:: SOT 27125169 SOS 12153391 HAS SOPS 12153391 HAS SOUS 848341 HAS SOUPS 848341 WITH SCORE 860494.391
AT ITER 6313 NEW BEST:: SOT 27125165 SOS 12153217 HAS SOPS 12153217 HAS SOUS 848333 HAS SOUPS 848333 WITH SCORE 860486.217
AT ITER 6315 NEW BEST:: SOT 27125159 SOS 12153284 HAS SOPS 12153284 HAS SOUS 848321 HAS SOUPS 848321 WITH SCORE 860474.284
AT ITER 6338 NEW BEST:: SOT 27124782 SOS 12153988 HAS SOPS 12153988 HAS SOUS 848187 HAS SOUPS 848187 WITH SCORE 860340.988
AT ITER 6344 NEW BEST:: SOT 27122558 SOS 12290576 HAS SOPS 12290576 HAS SOUS 847057 HAS SOUPS 847057 WITH SCORE 859347.576
AT ITER 6360 NEW BEST:: SOT 27122299 SOS 12290058 HAS SOPS 12290058 HAS SOUS 846539 HAS SOUPS 846539 WITH SCORE 858829.058
AT ITER 6413 NEW BEST:: SOT 27122231 SOS 12289922 HAS SOPS 12289922 HAS SOUS 846333 HAS SOUPS 846333 WITH SCORE 858622.922
AT ITER 6418 NEW BEST:: SOT 27121853 SOS 12289166 HAS SOPS 12289166 HAS SOUS 845577 HAS SOUPS 845577 WITH SCORE 857866.166
AT ITER 6436 NEW BEST:: SOT 27119370 SOS 12286728 HAS SOPS 12286728 HAS SOUS 843094 HAS SOUPS 843094 WITH SCORE 855380.728
AT ITER 6442 NEW BEST:: SOT 27119335 SOS 12286524 HAS SOPS 12286524 HAS SOUS 842959 HAS SOUPS 842959 WITH SCORE 855245.524
AT ITER 6453 NEW BEST:: SOT 27119335 SOS 12286359 HAS SOPS 12286359 HAS SOUS 842959 HAS SOUPS 842959 WITH SCORE 855245.359
AT ITER 6468 NEW BEST:: SOT 27119335 SOS 12286269 HAS SOPS 12286269 HAS SOUS 842959 HAS SOUPS 842959 WITH SCORE 855245.269
AT ITER 6470 NEW BEST:: SOT 27119159 SOS 12285917 HAS SOPS 12285917 HAS SOUS 842607 HAS SOUPS 842607 WITH SCORE 854892.917
AT ITER 6482 NEW BEST:: SOT 27119159 SOS 12285492 HAS SOPS 12285492 HAS SOUS 842607 HAS SOUPS 842607 WITH SCORE 854892.492
AT ITER 6485 NEW BEST:: SOT 27118976 SOS 12285126 HAS SOPS 12285126 HAS SOUS 842241 HAS SOUPS 842241 WITH SCORE 854526.126
AT ITER 6515 NEW BEST:: SOT 27118906 SOS 12285070 HAS SOPS 12285070 HAS SOUS 842185 HAS SOUPS 842185 WITH SCORE 854470.07
AT ITER 6524 NEW BEST:: SOT 27118844 SOS 12284790 HAS SOPS 12284790 HAS SOUS 842061 HAS SOUPS 842061 WITH SCORE 854345.79
AT ITER 6527 NEW BEST:: SOT 27118515 SOS 12284132 HAS SOPS 12284132 HAS SOUS 841403 HAS SOUPS 841403 WITH SCORE 853687.132
AT ITER 6550 NEW BEST:: SOT 27118334 SOS 12283770 HAS SOPS 12283770 HAS SOUS 841041 HAS SOUPS 841041 WITH SCORE 853324.77
AT ITER 6554 NEW BEST:: SOT 27118332 SOS 12282470 HAS SOPS 12282470 HAS SOUS 841023 HAS SOUPS 841023 WITH SCORE 853305.47
AT ITER 6559 NEW BEST:: SOT 27118216 SOS 12282238 HAS SOPS 12282238 HAS SOUS 840791 HAS SOUPS 840791 WITH SCORE 853073.238
AT ITER 6600 NEW BEST:: SOT 27118257 SOS 12282320 HAS SOPS 12282320 HAS SOUS 840476 HAS SOUPS 840476 WITH SCORE 852758.32
AT ITER 6637 NEW BEST:: SOT 27118256 SOS 12282127 HAS SOPS 12282127 HAS SOUS 840474 HAS SOUPS 840474 WITH SCORE 852756.127
AT ITER 6640 NEW BEST:: SOT 27117973 SOS 12281561 HAS SOPS 12281561 HAS SOUS 840445 HAS SOUPS 840445 WITH SCORE 852726.561
AT ITER 6652 NEW BEST:: SOT 27117893 SOS 12282183 HAS SOPS 12282183 HAS SOUS 840311 HAS SOUPS 840311 WITH SCORE 852593.183
AT ITER 6662 NEW BEST:: SOT 27117810 SOS 12282017 HAS SOPS 12282017 HAS SOUS 840145 HAS SOUPS 840145 WITH SCORE 852427.017
AT ITER 6690 NEW BEST:: SOT 27117717 SOS 12281831 HAS SOPS 12281831 HAS SOUS 839959 HAS SOUPS 839959 WITH SCORE 852240.831
AT ITER 6726 NEW BEST:: SOT 27117652 SOS 12281701 HAS SOPS 12281701 HAS SOUS 839879 HAS SOUPS 839879 WITH SCORE 852160.701
AT ITER 6733 NEW BEST:: SOT 27117037 SOS 12280471 HAS SOPS 12280471 HAS SOUS 839773 HAS SOUPS 839773 WITH SCORE 852053.471
AT ITER 6739 NEW BEST:: SOT 27117010 SOS 12280417 HAS SOPS 12280417 HAS SOUS 839719 HAS SOUPS 839719 WITH SCORE 851999.417
AT ITER 6740 NEW BEST:: SOT 27116978 SOS 12280353 HAS SOPS 12280353 HAS SOUS 839655 HAS SOUPS 839655 WITH SCORE 851935.353
AT ITER 6757 NEW BEST:: SOT 27116583 SOS 12278019 HAS SOPS 12278019 HAS SOUS 838426 HAS SOUPS 838426 WITH SCORE 850704.019
AT ITER 6797 NEW BEST:: SOT 27116416 SOS 12277685 HAS SOPS 12277685 HAS SOUS 838350 HAS SOUPS 838350 WITH SCORE 850627.685
AT ITER 6805 NEW BEST:: SOT 27116285 SOS 12277423 HAS SOPS 12277423 HAS SOUS 838088 HAS SOUPS 838088 WITH SCORE 850365.423
AT ITER 6817 NEW BEST:: SOT 27116196 SOS 12277245 HAS SOPS 12277245 HAS SOUS 837999 HAS SOUPS 837999 WITH SCORE 850276.245
AT ITER 6820 NEW BEST:: SOT 27116130 SOS 12277113 HAS SOPS 12277113 HAS SOUS 837867 HAS SOUPS 837867 WITH SCORE 850144.113
AT ITER 6849 NEW BEST:: SOT 27116039 SOS 12276931 HAS SOPS 12276931 HAS SOUS 837685 HAS SOUPS 837685 WITH SCORE 849961.931
AT ITER 6867 NEW BEST:: SOT 27116039 SOS 12276788 HAS SOPS 12276788 HAS SOUS 837685 HAS SOUPS 837685 WITH SCORE 849961.788
AT ITER 6885 NEW BEST:: SOT 27115528 SOS 12275766 HAS SOPS 12275766 HAS SOUS 836663 HAS SOUPS 836663 WITH SCORE 848938.766
AT ITER 6900 NEW BEST:: SOT 27115297 SOS 12275458 HAS SOPS 12275458 HAS SOUS 836355 HAS SOUPS 836355 WITH SCORE 848630.458
AT ITER 6913 NEW BEST:: SOT 27115256 SOS 12275376 HAS SOPS 12275376 HAS SOUS 836273 HAS SOUPS 836273 WITH SCORE 848548.376
AT ITER 6919 NEW BEST:: SOT 27112278 SOS 12311244 HAS SOPS 12311244 HAS SOUS 835450 HAS SOUPS 835450 WITH SCORE 847761.244
AT ITER 6951 NEW BEST:: SOT 27112271 SOS 12311016 HAS SOPS 12311016 HAS SOUS 835436 HAS SOUPS 835436 WITH SCORE 847747.016
AT ITER 6973 NEW BEST:: SOT 27112004 SOS 12311328 HAS SOPS 12311328 HAS SOUS 835310 HAS SOUPS 835310 WITH SCORE 847621.328
AT ITER 7036 NEW BEST:: SOT 27111962 SOS 12311150 HAS SOPS 12311150 HAS SOUS 835183 HAS SOUPS 835183 WITH SCORE 847494.15
AT ITER 7040 NEW BEST:: SOT 27111756 SOS 12311040 HAS SOPS 12311040 HAS SOUS 834977 HAS SOUPS 834977 WITH SCORE 847288.04
AT ITER 7117 NEW BEST:: SOT 27111718 SOS 12310892 HAS SOPS 12310892 HAS SOUS 834901 HAS SOUPS 834901 WITH SCORE 847211.892
AT ITER 7122 NEW BEST:: SOT 27111636 SOS 12310741 HAS SOPS 12310741 HAS SOUS 834750 HAS SOUPS 834750 WITH SCORE 847060.741
AT ITER 7135 NEW BEST:: SOT 27111300 SOS 12310069 HAS SOPS 12310069 HAS SOUS 834078 HAS SOUPS 834078 WITH SCORE 846388.069
AT ITER 7136 NEW BEST:: SOT 27111293 SOS 12310062 HAS SOPS 12310062 HAS SOUS 834034 HAS SOUPS 834034 WITH SCORE 846344.062
AT ITER 7161 NEW BEST:: SOT 27111004 SOS 12309484 HAS SOPS 12309484 HAS SOUS 833847 HAS SOUPS 833847 WITH SCORE 846156.484
AT ITER 7165 NEW BEST:: SOT 27110724 SOS 12308924 HAS SOPS 12308924 HAS SOUS 833287 HAS SOUPS 833287 WITH SCORE 845595.924
AT ITER 7166 NEW BEST:: SOT 27110629 SOS 12308689 HAS SOPS 12308689 HAS SOUS 833052 HAS SOUPS 833052 WITH SCORE 845360.689
AT ITER 7175 NEW BEST:: SOT 27110628 SOS 12308687 HAS SOPS 12308687 HAS SOUS 833050 HAS SOUPS 833050 WITH SCORE 845358.687
AT ITER 7187 NEW BEST:: SOT 27110580 SOS 12308614 HAS SOPS 12308614 HAS SOUS 832913 HAS SOUPS 832913 WITH SCORE 845221.614
AT ITER 7199 NEW BEST:: SOT 27110539 SOS 12308532 HAS SOPS 12308532 HAS SOUS 832633 HAS SOUPS 832633 WITH SCORE 844941.532
AT ITER 7213 NEW BEST:: SOT 27110493 SOS 12308440 HAS SOPS 12308440 HAS SOUS 832587 HAS SOUPS 832587 WITH SCORE 844895.44
AT ITER 7214 NEW BEST:: SOT 27110394 SOS 12308242 HAS SOPS 12308242 HAS SOUS 832389 HAS SOUPS 832389 WITH SCORE 844697.242
AT ITER 7239 NEW BEST:: SOT 27110393 SOS 12308241 HAS SOPS 12308241 HAS SOUS 832387 HAS SOUPS 832387 WITH SCORE 844695.241
AT ITER 7241 NEW BEST:: SOT 27110388 SOS 12308231 HAS SOPS 12308231 HAS SOUS 832377 HAS SOUPS 832377 WITH SCORE 844685.231
AT ITER 7247 NEW BEST:: SOT 27110446 SOS 12307335 HAS SOPS 12307335 HAS SOUS 831653 HAS SOUPS 831653 WITH SCORE 843960.335
AT ITER 7265 NEW BEST:: SOT 27110440 SOS 12307350 HAS SOPS 12307350 HAS SOUS 831587 HAS SOUPS 831587 WITH SCORE 843894.35
AT ITER 7292 NEW BEST:: SOT 27110290 SOS 12307050 HAS SOPS 12307050 HAS SOUS 831287 HAS SOUPS 831287 WITH SCORE 843594.05
AT ITER 7295 NEW BEST:: SOT 27110176 SOS 12306822 HAS SOPS 12306822 HAS SOUS 831173 HAS SOUPS 831173 WITH SCORE 843479.822
AT ITER 7340 NEW BEST:: SOT 27110176 SOS 12306822 HAS SOPS 12306822 HAS SOUS 831169 HAS SOUPS 831169 WITH SCORE 843475.822
AT ITER 7343 NEW BEST:: SOT 27110192 SOS 12306854 HAS SOPS 12306854 HAS SOUS 831112 HAS SOUPS 831112 WITH SCORE 843418.854
AT ITER 7347 NEW BEST:: SOT 27110190 SOS 12306850 HAS SOPS 12306850 HAS SOUS 831108 HAS SOUPS 831108 WITH SCORE 843414.85
AT ITER 7379 NEW BEST:: SOT 27110169 SOS 12306808 HAS SOPS 12306808 HAS SOUS 831066 HAS SOUPS 831066 WITH SCORE 843372.808
AT ITER 7435 NEW BEST:: SOT 27110094 SOS 12306658 HAS SOPS 12306658 HAS SOUS 831065 HAS SOUPS 831065 WITH SCORE 843371.658
AT ITER 7448 NEW BEST:: SOT 27110071 SOS 12306612 HAS SOPS 12306612 HAS SOUS 831019 HAS SOUPS 831019 WITH SCORE 843325.612
AT ITER 7454 NEW BEST:: SOT 27110070 SOS 12306611 HAS SOPS 12306611 HAS SOUS 831017 HAS SOUPS 831017 WITH SCORE 843323.611
AT ITER 7536 NEW BEST:: SOT 27110070 SOS 12306604 HAS SOPS 12306604 HAS SOUS 831010 HAS SOUPS 831010 WITH SCORE 843316.604
AT ITER 7553 NEW BEST:: SOT 27109990 SOS 12306444 HAS SOPS 12306444 HAS SOUS 830850 HAS SOUPS 830850 WITH SCORE 843156.444
AT ITER 7595 NEW BEST:: SOT 27109897 SOS 12305983 HAS SOPS 12305983 HAS SOUS 830664 HAS SOUPS 830664 WITH SCORE 842969.983
AT ITER 7597 NEW BEST:: SOT 27109896 SOS 12305982 HAS SOPS 12305982 HAS SOUS 830662 HAS SOUPS 830662 WITH SCORE 842967.982
AT ITER 7607 NEW BEST:: SOT 27109810 SOS 12305810 HAS SOPS 12305810 HAS SOUS 830490 HAS SOUPS 830490 WITH SCORE 842795.81
AT ITER 7644 NEW BEST:: SOT 27109806 SOS 12305802 HAS SOPS 12305802 HAS SOUS 830279 HAS SOUPS 830279 WITH SCORE 842584.802
AT ITER 7671 NEW BEST:: SOT 27110464 SOS 12268750 HAS SOPS 12268750 HAS SOUS 830078 HAS SOUPS 830078 WITH SCORE 842346.75
AT ITER 7674 NEW BEST:: SOT 27110464 SOS 11359417 HAS SOPS 11359417 HAS SOUS 829949 HAS SOUPS 829949 WITH SCORE 841308.417
AT ITER 7685 NEW BEST:: SOT 27110049 SOS 11358587 HAS SOPS 11358587 HAS SOUS 829316 HAS SOUPS 829316 WITH SCORE 840674.587
AT ITER 7695 NEW BEST:: SOT 27094890 SOS 11379293 HAS SOPS 11379293 HAS SOUS 821126 HAS SOUPS 821126 WITH SCORE 832505.293
AT ITER 7700 NEW BEST:: SOT 27094890 SOS 11379293 HAS SOPS 11379293 HAS SOUS 820689 HAS SOUPS 820689 WITH SCORE 832068.293
AT ITER 7751 NEW BEST:: SOT 27094329 SOS 11378171 HAS SOPS 11378171 HAS SOUS 819567 HAS SOUPS 819567 WITH SCORE 830945.171
AT ITER 7758 NEW BEST:: SOT 27094155 SOS 11377939 HAS SOPS 11377939 HAS SOUS 819335 HAS SOUPS 819335 WITH SCORE 830712.939
AT ITER 7818 NEW BEST:: SOT 27094062 SOS 11377753 HAS SOPS 11377753 HAS SOUS 819242 HAS SOUPS 819242 WITH SCORE 830619.753
AT ITER 7823 NEW BEST:: SOT 27093942 SOS 11377633 HAS SOPS 11377633 HAS SOUS 819122 HAS SOUPS 819122 WITH SCORE 830499.633
AT ITER 7831 NEW BEST:: SOT 27093941 SOS 11377631 HAS SOPS 11377631 HAS SOUS 819120 HAS SOUPS 819120 WITH SCORE 830497.631
AT ITER 7836 NEW BEST:: SOT 27094079 SOS 11346900 HAS SOPS 11346900 HAS SOUS 819059 HAS SOUPS 819059 WITH SCORE 830405.9
AT ITER 7851 NEW BEST:: SOT 27094078 SOS 11346898 HAS SOPS 11346898 HAS SOUS 819057 HAS SOUPS 819057 WITH SCORE 830403.898
AT ITER 7852 NEW BEST:: SOT 27093768 SOS 11346278 HAS SOPS 11346278 HAS SOUS 818747 HAS SOUPS 818747 WITH SCORE 830093.278
AT ITER 7890 NEW BEST:: SOT 27093767 SOS 11346276 HAS SOPS 11346276 HAS SOUS 818745 HAS SOUPS 818745 WITH SCORE 830091.276
AT ITER 7929 NEW BEST:: SOT 27093755 SOS 11346252 HAS SOPS 11346252 HAS SOUS 818733 HAS SOUPS 818733 WITH SCORE 830079.252
AT ITER 7938 NEW BEST:: SOT 27093754 SOS 11346209 HAS SOPS 11346209 HAS SOUS 818731 HAS SOUPS 818731 WITH SCORE 830077.209
AT ITER 7939 NEW BEST:: SOT 27093753 SOS 11346207 HAS SOPS 11346207 HAS SOUS 818438 HAS SOUPS 818438 WITH SCORE 829784.207
AT ITER 7943 NEW BEST:: SOT 27093568 SOS 11345837 HAS SOPS 11345837 HAS SOUS 818068 HAS SOUPS 818068 WITH SCORE 829413.837
AT ITER 7964 NEW BEST:: SOT 27093494 SOS 11345689 HAS SOPS 11345689 HAS SOUS 817730 HAS SOUPS 817730 WITH SCORE 829075.689
AT ITER 7965 NEW BEST:: SOT 27093388 SOS 11345480 HAS SOPS 11345480 HAS SOUS 817521 HAS SOUPS 817521 WITH SCORE 828866.48
AT ITER 7980 NEW BEST:: SOT 27093311 SOS 11345326 HAS SOPS 11345326 HAS SOUS 817318 HAS SOUPS 817318 WITH SCORE 828663.326
AT ITER 7991 NEW BEST:: SOT 27093311 SOS 11345241 HAS SOPS 11345241 HAS SOUS 817318 HAS SOUPS 817318 WITH SCORE 828663.241
AT ITER 7992 NEW BEST:: SOT 27093316 SOS 11345251 HAS SOPS 11345251 HAS SOUS 817295 HAS SOUPS 817295 WITH SCORE 828640.251
AT ITER 8011 NEW BEST:: SOT 27093162 SOS 11344943 HAS SOPS 11344943 HAS SOUS 816987 HAS SOUPS 816987 WITH SCORE 828331.943
AT ITER 8033 NEW BEST:: SOT 27093010 SOS 11344639 HAS SOPS 11344639 HAS SOUS 816835 HAS SOUPS 816835 WITH SCORE 828179.639
AT ITER 8042 NEW BEST:: SOT 27092886 SOS 11344391 HAS SOPS 11344391 HAS SOUS 816587 HAS SOUPS 816587 WITH SCORE 827931.391
AT ITER 8043 NEW BEST:: SOT 27092886 SOS 11344340 HAS SOPS 11344340 HAS SOUS 816536 HAS SOUPS 816536 WITH SCORE 827880.34
AT ITER 8053 NEW BEST:: SOT 27092836 SOS 11344142 HAS SOPS 11344142 HAS SOUS 816338 HAS SOUPS 816338 WITH SCORE 827682.142
AT ITER 8075 NEW BEST:: SOT 27092892 SOS 11344113 HAS SOPS 11344113 HAS SOUS 816309 HAS SOUPS 816309 WITH SCORE 827653.113
AT ITER 8085 NEW BEST:: SOT 27092884 SOS 11343964 HAS SOPS 11343964 HAS SOUS 816301 HAS SOUPS 816301 WITH SCORE 827644.964
AT ITER 8123 NEW BEST:: SOT 27092872 SOS 11343940 HAS SOPS 11343940 HAS SOUS 816277 HAS SOUPS 816277 WITH SCORE 827620.94
AT ITER 8172 NEW BEST:: SOT 27092861 SOS 11343918 HAS SOPS 11343918 HAS SOUS 816255 HAS SOUPS 816255 WITH SCORE 827598.918
AT ITER 8193 NEW BEST:: SOT 27092718 SOS 11343570 HAS SOPS 11343570 HAS SOUS 815969 HAS SOUPS 815969 WITH SCORE 827312.57
AT ITER 8229 NEW BEST:: SOT 27092657 SOS 11343448 HAS SOPS 11343448 HAS SOUS 815847 HAS SOUPS 815847 WITH SCORE 827190.448
AT ITER 8262 NEW BEST:: SOT 27092274 SOS 11342682 HAS SOPS 11342682 HAS SOUS 815334 HAS SOUPS 815334 WITH SCORE 826676.682
AT ITER 8266 NEW BEST:: SOT 27092042 SOS 11285410 HAS SOPS 11285410 HAS SOUS 813494 HAS SOUPS 813494 WITH SCORE 824779.41
AT ITER 8296 NEW BEST:: SOT 27092041 SOS 11285317 HAS SOPS 11285317 HAS SOUS 813492 HAS SOUPS 813492 WITH SCORE 824777.317
AT ITER 8319 NEW BEST:: SOT 27091931 SOS 11285097 HAS SOPS 11285097 HAS SOUS 813272 HAS SOUPS 813272 WITH SCORE 824557.097
AT ITER 8341 NEW BEST:: SOT 27091752 SOS 11284739 HAS SOPS 11284739 HAS SOUS 812914 HAS SOUPS 812914 WITH SCORE 824198.739
AT ITER 8350 NEW BEST:: SOT 27091736 SOS 11284707 HAS SOPS 11284707 HAS SOUS 812898 HAS SOUPS 812898 WITH SCORE 824182.707
AT ITER 8362 NEW BEST:: SOT 27091689 SOS 11284613 HAS SOPS 11284613 HAS SOUS 812804 HAS SOUPS 812804 WITH SCORE 824088.613
AT ITER 8403 NEW BEST:: SOT 27091529 SOS 11284293 HAS SOPS 11284293 HAS SOUS 812484 HAS SOUPS 812484 WITH SCORE 823768.293
AT ITER 8446 NEW BEST:: SOT 27091004 SOS 11283665 HAS SOPS 11283665 HAS SOUS 811856 HAS SOUPS 811856 WITH SCORE 823139.665
AT ITER 8462 NEW BEST:: SOT 27090936 SOS 11283529 HAS SOPS 11283529 HAS SOUS 811720 HAS SOUPS 811720 WITH SCORE 823003.529
AT ITER 8472 NEW BEST:: SOT 27090936 SOS 11283529 HAS SOPS 11283529 HAS SOUS 811320 HAS SOUPS 811320 WITH SCORE 822603.529
AT ITER 8495 NEW BEST:: SOT 27090694 SOS 11283045 HAS SOPS 11283045 HAS SOUS 811235 HAS SOUPS 811235 WITH SCORE 822518.045
AT ITER 8548 NEW BEST:: SOT 27090336 SOS 11282329 HAS SOPS 11282329 HAS SOUS 810679 HAS SOUPS 810679 WITH SCORE 821961.329
AT ITER 8586 NEW BEST:: SOT 27090299 SOS 11282255 HAS SOPS 11282255 HAS SOUS 810659 HAS SOUPS 810659 WITH SCORE 821941.255
AT ITER 8658 NEW BEST:: SOT 27090063 SOS 11281783 HAS SOPS 11281783 HAS SOUS 810187 HAS SOUPS 810187 WITH SCORE 821468.783
AT ITER 8685 NEW BEST:: SOT 27089898 SOS 10976940 HAS SOPS 10976940 HAS SOUS 809648 HAS SOUPS 809648 WITH SCORE 820624.94
AT ITER 8694 NEW BEST:: SOT 27089596 SOS 10976336 HAS SOPS 10976336 HAS SOUS 809531 HAS SOUPS 809531 WITH SCORE 820507.336
AT ITER 8697 NEW BEST:: SOT 27089570 SOS 10976284 HAS SOPS 10976284 HAS SOUS 809222 HAS SOUPS 809222 WITH SCORE 820198.284
AT ITER 8709 NEW BEST:: SOT 27073143 SOS 10996880 HAS SOPS 10996880 HAS SOUS 805206 HAS SOUPS 805206 WITH SCORE 816202.88
AT ITER 8729 NEW BEST:: SOT 27072948 SOS 10996490 HAS SOPS 10996490 HAS SOUS 804816 HAS SOUPS 804816 WITH SCORE 815812.49
AT ITER 8750 NEW BEST:: SOT 27072948 SOS 10996490 HAS SOPS 10996490 HAS SOUS 804712 HAS SOUPS 804712 WITH SCORE 815708.49
AT ITER 8758 NEW BEST:: SOT 27072788 SOS 10996252 HAS SOPS 10996252 HAS SOUS 804474 HAS SOUPS 804474 WITH SCORE 815470.252
AT ITER 8780 NEW BEST:: SOT 27072696 SOS 10996142 HAS SOPS 10996142 HAS SOUS 804269 HAS SOUPS 804269 WITH SCORE 815265.142
AT ITER 8789 NEW BEST:: SOT 27072696 SOS 10996142 HAS SOPS 10996142 HAS SOUS 804208 HAS SOUPS 804208 WITH SCORE 815204.142
AT ITER 8840 NEW BEST:: SOT 27072672 SOS 10996094 HAS SOPS 10996094 HAS SOUS 804160 HAS SOUPS 804160 WITH SCORE 815156.094
AT ITER 8860 NEW BEST:: SOT 27072671 SOS 10995946 HAS SOPS 10995946 HAS SOUS 804158 HAS SOUPS 804158 WITH SCORE 815153.946
AT ITER 8877 NEW BEST:: SOT 27072638 SOS 10995880 HAS SOPS 10995880 HAS SOUS 804092 HAS SOUPS 804092 WITH SCORE 815087.88
AT ITER 8888 NEW BEST:: SOT 27072553 SOS 10995710 HAS SOPS 10995710 HAS SOUS 803922 HAS SOUPS 803922 WITH SCORE 814917.71
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15826168 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16143444 kB

BK_TIME_CONFINEMENT_REACHED

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

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="StigmergyCommit-PT-07b"
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 StigmergyCommit-PT-07b, 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 r451-smll-167912643600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;