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.r259-smll-167863534400336.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 NoC3x3-PT-7B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 8.0K Feb 26 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 09:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 09:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 130K Feb 26 09:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.0M 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 1678762948248

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=NoC3x3-PT-7B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 7B
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: 7014 places, 8833 transitions, 19619 arcs.
AT ITER 0 NEW BEST:: SOT 32421435 SOS 3262032 HAS SOPS 3262032 HAS SOUS 2812389 HAS SOUPS 2812389 WITH SCORE 2815651.032
AT ITER 4 NEW BEST:: SOT 32421697 SOS 3262175 HAS SOPS 3262175 HAS SOUS 2812357 HAS SOUPS 2812357 WITH SCORE 2815619.175
AT ITER 8 NEW BEST:: SOT 32422051 SOS 3262883 HAS SOPS 3262883 HAS SOUS 2812242 HAS SOUPS 2812242 WITH SCORE 2815504.883
AT ITER 62 NEW BEST:: SOT 32420763 SOS 3261595 HAS SOPS 3261595 HAS SOUS 2810954 HAS SOUPS 2810954 WITH SCORE 2814215.595
AT ITER 71 NEW BEST:: SOT 32420463 SOS 3261295 HAS SOPS 3261295 HAS SOUS 2810624 HAS SOUPS 2810624 WITH SCORE 2813885.295
AT ITER 75 NEW BEST:: SOT 32420625 SOS 3261619 HAS SOPS 3261619 HAS SOUS 2810475 HAS SOUPS 2810475 WITH SCORE 2813736.619
AT ITER 195 NEW BEST:: SOT 32419941 SOS 3260935 HAS SOPS 3260935 HAS SOUS 2809791 HAS SOUPS 2809791 WITH SCORE 2813051.935
AT ITER 210 NEW BEST:: SOT 32419633 SOS 3260781 HAS SOPS 3260781 HAS SOUS 2809637 HAS SOUPS 2809637 WITH SCORE 2812897.781
AT ITER 224 NEW BEST:: SOT 32419824 SOS 3260374 HAS SOPS 3260374 HAS SOUS 2809361 HAS SOUPS 2809361 WITH SCORE 2812621.374
AT ITER 249 NEW BEST:: SOT 32419824 SOS 3260374 HAS SOPS 3260374 HAS SOUS 2809340 HAS SOUPS 2809340 WITH SCORE 2812600.374
AT ITER 260 NEW BEST:: SOT 32419824 SOS 3260349 HAS SOPS 3260349 HAS SOUS 2809340 HAS SOUPS 2809340 WITH SCORE 2812600.349
AT ITER 300 NEW BEST:: SOT 32419824 SOS 3260141 HAS SOPS 3260141 HAS SOUS 2809340 HAS SOUPS 2809340 WITH SCORE 2812600.141
AT ITER 303 NEW BEST:: SOT 32419350 SOS 3259430 HAS SOPS 3259430 HAS SOUS 2808629 HAS SOUPS 2808629 WITH SCORE 2811888.43
AT ITER 322 NEW BEST:: SOT 32419454 SOS 3259038 HAS SOPS 3259038 HAS SOUS 2808536 HAS SOUPS 2808536 WITH SCORE 2811795.038
AT ITER 328 NEW BEST:: SOT 32419165 SOS 3259038 HAS SOPS 3259038 HAS SOUS 2808247 HAS SOUPS 2808247 WITH SCORE 2811506.038
AT ITER 334 NEW BEST:: SOT 32419165 SOS 3259038 HAS SOPS 3259038 HAS SOUS 2808179 HAS SOUPS 2808179 WITH SCORE 2811438.038
AT ITER 359 NEW BEST:: SOT 32418891 SOS 3256817 HAS SOPS 3256817 HAS SOUS 2807668 HAS SOUPS 2807668 WITH SCORE 2810924.817
AT ITER 372 NEW BEST:: SOT 32418885 SOS 3256805 HAS SOPS 3256805 HAS SOUS 2807656 HAS SOUPS 2807656 WITH SCORE 2810912.805
AT ITER 393 NEW BEST:: SOT 32418763 SOS 3256683 HAS SOPS 3256683 HAS SOUS 2807534 HAS SOUPS 2807534 WITH SCORE 2810790.683
AT ITER 418 NEW BEST:: SOT 32418622 SOS 3256401 HAS SOPS 3256401 HAS SOUS 2807391 HAS SOUPS 2807391 WITH SCORE 2810647.401
AT ITER 432 NEW BEST:: SOT 32417730 SOS 3258217 HAS SOPS 3258217 HAS SOUS 2806785 HAS SOUPS 2806785 WITH SCORE 2810043.217
AT ITER 451 NEW BEST:: SOT 32417950 SOS 3257899 HAS SOPS 3257899 HAS SOUS 2806667 HAS SOUPS 2806667 WITH SCORE 2809924.899
AT ITER 557 NEW BEST:: SOT 32418018 SOS 3258035 HAS SOPS 3258035 HAS SOUS 2806280 HAS SOUPS 2806280 WITH SCORE 2809538.035
AT ITER 582 NEW BEST:: SOT 32418018 SOS 3258035 HAS SOPS 3258035 HAS SOUS 2806274 HAS SOUPS 2806274 WITH SCORE 2809532.035
AT ITER 617 NEW BEST:: SOT 32417558 SOS 3264060 HAS SOPS 3264060 HAS SOUS 2806259 HAS SOUPS 2806259 WITH SCORE 2809523.06
AT ITER 660 NEW BEST:: SOT 32416885 SOS 3265016 HAS SOPS 3265016 HAS SOUS 2805304 HAS SOUPS 2805304 WITH SCORE 2808569.016
AT ITER 662 NEW BEST:: SOT 32416900 SOS 3266718 HAS SOPS 3266718 HAS SOUS 2804765 HAS SOUPS 2804765 WITH SCORE 2808031.718
AT ITER 742 NEW BEST:: SOT 32416900 SOS 3266695 HAS SOPS 3266695 HAS SOUS 2804764 HAS SOUPS 2804764 WITH SCORE 2808030.695
AT ITER 745 NEW BEST:: SOT 32416900 SOS 3266369 HAS SOPS 3266369 HAS SOUS 2804601 HAS SOUPS 2804601 WITH SCORE 2807867.369
AT ITER 747 NEW BEST:: SOT 32417369 SOS 3266391 HAS SOPS 3266391 HAS SOUS 2804526 HAS SOUPS 2804526 WITH SCORE 2807792.391
AT ITER 777 NEW BEST:: SOT 32416894 SOS 3266010 HAS SOPS 3266010 HAS SOUS 2804051 HAS SOUPS 2804051 WITH SCORE 2807317.01
AT ITER 780 NEW BEST:: SOT 32416822 SOS 3265866 HAS SOPS 3265866 HAS SOUS 2803669 HAS SOUPS 2803669 WITH SCORE 2806934.866
AT ITER 796 NEW BEST:: SOT 32416609 SOS 3265227 HAS SOPS 3265227 HAS SOUS 2803243 HAS SOUPS 2803243 WITH SCORE 2806508.227
AT ITER 813 NEW BEST:: SOT 32416391 SOS 3268496 HAS SOPS 3268496 HAS SOUS 2803025 HAS SOUPS 2803025 WITH SCORE 2806293.496
AT ITER 816 NEW BEST:: SOT 32416391 SOS 3268450 HAS SOPS 3268450 HAS SOUS 2802979 HAS SOUPS 2802979 WITH SCORE 2806247.45
AT ITER 859 NEW BEST:: SOT 32416213 SOS 3268094 HAS SOPS 3268094 HAS SOUS 2802623 HAS SOUPS 2802623 WITH SCORE 2805891.094
AT ITER 873 NEW BEST:: SOT 32416019 SOS 3267720 HAS SOPS 3267720 HAS SOUS 2802489 HAS SOUPS 2802489 WITH SCORE 2805756.72
AT ITER 875 NEW BEST:: SOT 32414174 SOS 3271500 HAS SOPS 3271500 HAS SOUS 2801447 HAS SOUPS 2801447 WITH SCORE 2804718.5
AT ITER 888 NEW BEST:: SOT 32413569 SOS 3271137 HAS SOPS 3271137 HAS SOUS 2800842 HAS SOUPS 2800842 WITH SCORE 2804113.137
AT ITER 895 NEW BEST:: SOT 32413274 SOS 3271075 HAS SOPS 3271075 HAS SOUS 2800625 HAS SOUPS 2800625 WITH SCORE 2803896.075
AT ITER 908 NEW BEST:: SOT 32413455 SOS 3270069 HAS SOPS 3270069 HAS SOUS 2800350 HAS SOUPS 2800350 WITH SCORE 2803620.069
AT ITER 913 NEW BEST:: SOT 32413277 SOS 3269713 HAS SOPS 3269713 HAS SOUS 2799715 HAS SOUPS 2799715 WITH SCORE 2802984.713
AT ITER 919 NEW BEST:: SOT 32413004 SOS 3269651 HAS SOPS 3269651 HAS SOUS 2799509 HAS SOUPS 2799509 WITH SCORE 2802778.651
AT ITER 923 NEW BEST:: SOT 32412938 SOS 3269573 HAS SOPS 3269573 HAS SOUS 2799463 HAS SOUPS 2799463 WITH SCORE 2802732.573
AT ITER 931 NEW BEST:: SOT 32412498 SOS 3266513 HAS SOPS 3266513 HAS SOUS 2798769 HAS SOUPS 2798769 WITH SCORE 2802035.513
AT ITER 935 NEW BEST:: SOT 32412483 SOS 3266483 HAS SOPS 3266483 HAS SOUS 2798754 HAS SOUPS 2798754 WITH SCORE 2802020.483
AT ITER 1016 NEW BEST:: SOT 32412404 SOS 3266325 HAS SOPS 3266325 HAS SOUS 2798596 HAS SOUPS 2798596 WITH SCORE 2801862.325
AT ITER 1055 NEW BEST:: SOT 32412288 SOS 3266209 HAS SOPS 3266209 HAS SOUS 2798480 HAS SOUPS 2798480 WITH SCORE 2801746.209
AT ITER 1066 NEW BEST:: SOT 32410466 SOS 3285245 HAS SOPS 3285245 HAS SOUS 2797663 HAS SOUPS 2797663 WITH SCORE 2800948.245
AT ITER 1087 NEW BEST:: SOT 32410256 SOS 3285035 HAS SOPS 3285035 HAS SOUS 2797453 HAS SOUPS 2797453 WITH SCORE 2800738.035
AT ITER 1088 NEW BEST:: SOT 32410256 SOS 3284840 HAS SOPS 3284840 HAS SOUS 2797258 HAS SOUPS 2797258 WITH SCORE 2800542.84
AT ITER 1092 NEW BEST:: SOT 32410246 SOS 3284840 HAS SOPS 3284840 HAS SOUS 2797253 HAS SOUPS 2797253 WITH SCORE 2800537.84
AT ITER 1122 NEW BEST:: SOT 32410246 SOS 3284612 HAS SOPS 3284612 HAS SOUS 2797253 HAS SOUPS 2797253 WITH SCORE 2800537.612
AT ITER 1191 NEW BEST:: SOT 32410338 SOS 3284796 HAS SOPS 3284796 HAS SOUS 2797103 HAS SOUPS 2797103 WITH SCORE 2800387.796
AT ITER 1262 NEW BEST:: SOT 32410131 SOS 3279546 HAS SOPS 3279546 HAS SOUS 2796896 HAS SOUPS 2796896 WITH SCORE 2800175.546
AT ITER 1264 NEW BEST:: SOT 32410131 SOS 3279515 HAS SOPS 3279515 HAS SOUS 2796865 HAS SOUPS 2796865 WITH SCORE 2800144.515
AT ITER 1283 NEW BEST:: SOT 32409975 SOS 3279490 HAS SOPS 3279490 HAS SOUS 2796709 HAS SOUPS 2796709 WITH SCORE 2799988.49
AT ITER 1320 NEW BEST:: SOT 32409829 SOS 3279500 HAS SOPS 3279500 HAS SOUS 2796563 HAS SOUPS 2796563 WITH SCORE 2799842.5
AT ITER 1343 NEW BEST:: SOT 32409829 SOS 3279204 HAS SOPS 3279204 HAS SOUS 2796562 HAS SOUPS 2796562 WITH SCORE 2799841.204
AT ITER 1366 NEW BEST:: SOT 32409829 SOS 3279204 HAS SOPS 3279204 HAS SOUS 2796560 HAS SOUPS 2796560 WITH SCORE 2799839.204
AT ITER 1402 NEW BEST:: SOT 32409673 SOS 3279048 HAS SOPS 3279048 HAS SOUS 2796404 HAS SOUPS 2796404 WITH SCORE 2799683.048
AT ITER 1411 NEW BEST:: SOT 32409608 SOS 3278983 HAS SOPS 3278983 HAS SOUS 2796339 HAS SOUPS 2796339 WITH SCORE 2799617.983
AT ITER 1461 NEW BEST:: SOT 32409418 SOS 3278813 HAS SOPS 3278813 HAS SOUS 2796169 HAS SOUPS 2796169 WITH SCORE 2799447.813
AT ITER 1489 NEW BEST:: SOT 32409418 SOS 3278586 HAS SOPS 3278586 HAS SOUS 2795942 HAS SOUPS 2795942 WITH SCORE 2799220.586
AT ITER 1491 NEW BEST:: SOT 32409643 SOS 3279284 HAS SOPS 3279284 HAS SOUS 2795554 HAS SOUPS 2795554 WITH SCORE 2798833.284
AT ITER 1503 NEW BEST:: SOT 32409871 SOS 3279056 HAS SOPS 3279056 HAS SOUS 2795554 HAS SOUPS 2795554 WITH SCORE 2798833.056
AT ITER 1511 NEW BEST:: SOT 32409807 SOS 3279141 HAS SOPS 3279141 HAS SOUS 2795345 HAS SOUPS 2795345 WITH SCORE 2798624.141
AT ITER 1537 NEW BEST:: SOT 32409384 SOS 3278295 HAS SOPS 3278295 HAS SOUS 2794990 HAS SOUPS 2794990 WITH SCORE 2798268.295
AT ITER 1585 NEW BEST:: SOT 32408976 SOS 3278118 HAS SOPS 3278118 HAS SOUS 2794805 HAS SOUPS 2794805 WITH SCORE 2798083.118
AT ITER 1599 NEW BEST:: SOT 32408698 SOS 3277807 HAS SOPS 3277807 HAS SOUS 2794495 HAS SOUPS 2794495 WITH SCORE 2797772.807
AT ITER 1600 NEW BEST:: SOT 32408224 SOS 3277333 HAS SOPS 3277333 HAS SOUS 2793643 HAS SOUPS 2793643 WITH SCORE 2796920.333
AT ITER 1612 NEW BEST:: SOT 32407652 SOS 3276761 HAS SOPS 3276761 HAS SOUS 2793071 HAS SOUPS 2793071 WITH SCORE 2796347.761
AT ITER 1631 NEW BEST:: SOT 32407652 SOS 3276693 HAS SOPS 3276693 HAS SOUS 2793003 HAS SOUPS 2793003 WITH SCORE 2796279.693
AT ITER 1681 NEW BEST:: SOT 32407194 SOS 3273599 HAS SOPS 3273599 HAS SOUS 2791777 HAS SOUPS 2791777 WITH SCORE 2795050.599
AT ITER 1694 NEW BEST:: SOT 32407254 SOS 3272985 HAS SOPS 3272985 HAS SOUS 2791470 HAS SOUPS 2791470 WITH SCORE 2794742.985
AT ITER 1701 NEW BEST:: SOT 32406829 SOS 3272560 HAS SOPS 3272560 HAS SOUS 2791045 HAS SOUPS 2791045 WITH SCORE 2794317.56
AT ITER 1716 NEW BEST:: SOT 32406609 SOS 3272340 HAS SOPS 3272340 HAS SOUS 2790825 HAS SOUPS 2790825 WITH SCORE 2794097.34
AT ITER 1726 NEW BEST:: SOT 32406403 SOS 3272134 HAS SOPS 3272134 HAS SOUS 2790619 HAS SOUPS 2790619 WITH SCORE 2793891.134
AT ITER 1745 NEW BEST:: SOT 32406387 SOS 3272102 HAS SOPS 3272102 HAS SOUS 2790587 HAS SOUPS 2790587 WITH SCORE 2793859.102
AT ITER 1755 NEW BEST:: SOT 32406373 SOS 3273988 HAS SOPS 3273988 HAS SOUS 2790126 HAS SOUPS 2790126 WITH SCORE 2793399.988
AT ITER 1776 NEW BEST:: SOT 32406117 SOS 3273890 HAS SOPS 3273890 HAS SOUS 2789950 HAS SOUPS 2789950 WITH SCORE 2793223.89
AT ITER 1779 NEW BEST:: SOT 32405874 SOS 3273678 HAS SOPS 3273678 HAS SOUS 2789738 HAS SOUPS 2789738 WITH SCORE 2793011.678
AT ITER 1821 NEW BEST:: SOT 32404977 SOS 3272482 HAS SOPS 3272482 HAS SOUS 2788542 HAS SOUPS 2788542 WITH SCORE 2791814.482
AT ITER 1834 NEW BEST:: SOT 32404911 SOS 3272034 HAS SOPS 3272034 HAS SOUS 2788410 HAS SOUPS 2788410 WITH SCORE 2791682.034
AT ITER 1841 NEW BEST:: SOT 32404911 SOS 3271966 HAS SOPS 3271966 HAS SOUS 2788410 HAS SOUPS 2788410 WITH SCORE 2791681.966
AT ITER 1848 NEW BEST:: SOT 32404727 SOS 3271113 HAS SOPS 3271113 HAS SOUS 2788217 HAS SOUPS 2788217 WITH SCORE 2791488.113
AT ITER 1854 NEW BEST:: SOT 32404182 SOS 3270567 HAS SOPS 3270567 HAS SOUS 2787671 HAS SOUPS 2787671 WITH SCORE 2790941.567
AT ITER 1899 NEW BEST:: SOT 32404182 SOS 3270418 HAS SOPS 3270418 HAS SOUS 2787522 HAS SOUPS 2787522 WITH SCORE 2790792.418
AT ITER 1932 NEW BEST:: SOT 32403946 SOS 3270381 HAS SOPS 3270381 HAS SOUS 2787373 HAS SOUPS 2787373 WITH SCORE 2790643.381
AT ITER 1972 NEW BEST:: SOT 32403075 SOS 3269543 HAS SOPS 3269543 HAS SOUS 2786500 HAS SOUPS 2786500 WITH SCORE 2789769.543
AT ITER 1986 NEW BEST:: SOT 32403075 SOS 3269540 HAS SOPS 3269540 HAS SOUS 2786500 HAS SOUPS 2786500 WITH SCORE 2789769.54
AT ITER 2014 NEW BEST:: SOT 32402965 SOS 3268327 HAS SOPS 3268327 HAS SOUS 2786059 HAS SOUPS 2786059 WITH SCORE 2789327.327
AT ITER 2062 NEW BEST:: SOT 32402965 SOS 3268196 HAS SOPS 3268196 HAS SOUS 2785927 HAS SOUPS 2785927 WITH SCORE 2789195.196
AT ITER 2103 NEW BEST:: SOT 32402584 SOS 3267489 HAS SOPS 3267489 HAS SOUS 2785299 HAS SOUPS 2785299 WITH SCORE 2788566.489
AT ITER 2109 NEW BEST:: SOT 32402632 SOS 3267585 HAS SOPS 3267585 HAS SOUS 2785171 HAS SOUPS 2785171 WITH SCORE 2788438.585
AT ITER 2154 NEW BEST:: SOT 32402632 SOS 3267413 HAS SOPS 3267413 HAS SOUS 2785085 HAS SOUPS 2785085 WITH SCORE 2788352.413
AT ITER 2185 NEW BEST:: SOT 32402350 SOS 3266504 HAS SOPS 3266504 HAS SOUS 2784798 HAS SOUPS 2784798 WITH SCORE 2788064.504
AT ITER 2189 NEW BEST:: SOT 32402205 SOS 3265668 HAS SOPS 3265668 HAS SOUS 2784684 HAS SOUPS 2784684 WITH SCORE 2787949.668
AT ITER 2203 NEW BEST:: SOT 32402205 SOS 3265655 HAS SOPS 3265655 HAS SOUS 2784684 HAS SOUPS 2784684 WITH SCORE 2787949.655
AT ITER 2269 NEW BEST:: SOT 32402205 SOS 3265390 HAS SOPS 3265390 HAS SOUS 2784678 HAS SOUPS 2784678 WITH SCORE 2787943.39
AT ITER 2277 NEW BEST:: SOT 32402136 SOS 3264811 HAS SOPS 3264811 HAS SOUS 2784168 HAS SOUPS 2784168 WITH SCORE 2787432.811
AT ITER 2283 NEW BEST:: SOT 32402136 SOS 3264811 HAS SOPS 3264811 HAS SOUS 2784164 HAS SOUPS 2784164 WITH SCORE 2787428.811
AT ITER 2321 NEW BEST:: SOT 32402046 SOS 3264777 HAS SOPS 3264777 HAS SOUS 2784082 HAS SOUPS 2784082 WITH SCORE 2787346.777
AT ITER 2325 NEW BEST:: SOT 32402165 SOS 3264479 HAS SOPS 3264479 HAS SOUS 2783964 HAS SOUPS 2783964 WITH SCORE 2787228.479
AT ITER 2391 NEW BEST:: SOT 32402293 SOS 3264735 HAS SOPS 3264735 HAS SOUS 2783892 HAS SOUPS 2783892 WITH SCORE 2787156.735
AT ITER 2465 NEW BEST:: SOT 32402146 SOS 3264763 HAS SOPS 3264763 HAS SOUS 2783759 HAS SOUPS 2783759 WITH SCORE 2787023.763
AT ITER 2467 NEW BEST:: SOT 32401788 SOS 3263703 HAS SOPS 3263703 HAS SOUS 2783048 HAS SOUPS 2783048 WITH SCORE 2786311.703
AT ITER 2596 NEW BEST:: SOT 32401596 SOS 3263127 HAS SOPS 3263127 HAS SOUS 2782833 HAS SOUPS 2782833 WITH SCORE 2786096.127
AT ITER 2616 NEW BEST:: SOT 32401453 SOS 3262841 HAS SOPS 3262841 HAS SOUS 2782547 HAS SOUPS 2782547 WITH SCORE 2785809.841
AT ITER 2619 NEW BEST:: SOT 32401429 SOS 3262769 HAS SOPS 3262769 HAS SOUS 2782499 HAS SOUPS 2782499 WITH SCORE 2785761.769
AT ITER 2628 NEW BEST:: SOT 32401099 SOS 3262437 HAS SOPS 3262437 HAS SOUS 2781840 HAS SOUPS 2781840 WITH SCORE 2785102.437
AT ITER 2692 NEW BEST:: SOT 32400921 SOS 3261903 HAS SOPS 3261903 HAS SOUS 2781484 HAS SOUPS 2781484 WITH SCORE 2784745.903
AT ITER 2738 NEW BEST:: SOT 32400720 SOS 3261501 HAS SOPS 3261501 HAS SOUS 2781474 HAS SOUPS 2781474 WITH SCORE 2784735.501
AT ITER 2747 NEW BEST:: SOT 32400137 SOS 3261715 HAS SOPS 3261715 HAS SOUS 2781236 HAS SOUPS 2781236 WITH SCORE 2784497.715
AT ITER 2790 NEW BEST:: SOT 32399803 SOS 3261809 HAS SOPS 3261809 HAS SOUS 2780902 HAS SOUPS 2780902 WITH SCORE 2784163.809
AT ITER 2796 NEW BEST:: SOT 32400133 SOS 3261479 HAS SOPS 3261479 HAS SOUS 2780901 HAS SOUPS 2780901 WITH SCORE 2784162.479
AT ITER 2828 NEW BEST:: SOT 32398912 SOS 3260258 HAS SOPS 3260258 HAS SOUS 2779680 HAS SOUPS 2779680 WITH SCORE 2782940.258
AT ITER 2871 NEW BEST:: SOT 32398766 SOS 3259966 HAS SOPS 3259966 HAS SOUS 2779388 HAS SOUPS 2779388 WITH SCORE 2782647.966
AT ITER 2887 NEW BEST:: SOT 32398189 SOS 3259626 HAS SOPS 3259626 HAS SOUS 2778404 HAS SOUPS 2778404 WITH SCORE 2781663.626
AT ITER 2890 NEW BEST:: SOT 32398212 SOS 3259893 HAS SOPS 3259893 HAS SOUS 2778268 HAS SOUPS 2778268 WITH SCORE 2781527.893
AT ITER 2898 NEW BEST:: SOT 32395724 SOS 3258316 HAS SOPS 3258316 HAS SOUS 2776341 HAS SOUPS 2776341 WITH SCORE 2779599.316
AT ITER 2910 NEW BEST:: SOT 32395723 SOS 3257556 HAS SOPS 3257556 HAS SOUS 2775961 HAS SOUPS 2775961 WITH SCORE 2779218.556
AT ITER 2939 NEW BEST:: SOT 32395620 SOS 3257484 HAS SOPS 3257484 HAS SOUS 2775858 HAS SOUPS 2775858 WITH SCORE 2779115.484
AT ITER 2964 NEW BEST:: SOT 32395620 SOS 3257416 HAS SOPS 3257416 HAS SOUS 2775854 HAS SOUPS 2775854 WITH SCORE 2779111.416
AT ITER 2975 NEW BEST:: SOT 32395543 SOS 3257339 HAS SOPS 3257339 HAS SOUS 2775853 HAS SOUPS 2775853 WITH SCORE 2779110.339
AT ITER 2984 NEW BEST:: SOT 32395523 SOS 3257299 HAS SOPS 3257299 HAS SOUS 2775813 HAS SOUPS 2775813 WITH SCORE 2779070.299
AT ITER 3017 NEW BEST:: SOT 32395330 SOS 3256913 HAS SOPS 3256913 HAS SOUS 2775304 HAS SOUPS 2775304 WITH SCORE 2778560.913
AT ITER 3022 NEW BEST:: SOT 32395225 SOS 3256703 HAS SOPS 3256703 HAS SOUS 2774853 HAS SOUPS 2774853 WITH SCORE 2778109.703
AT ITER 3023 NEW BEST:: SOT 32395129 SOS 3256696 HAS SOPS 3256696 HAS SOUS 2774836 HAS SOUPS 2774836 WITH SCORE 2778092.696
AT ITER 3030 NEW BEST:: SOT 32395129 SOS 3256382 HAS SOPS 3256382 HAS SOUS 2774836 HAS SOUPS 2774836 WITH SCORE 2778092.382
AT ITER 3052 NEW BEST:: SOT 32395129 SOS 3256366 HAS SOPS 3256366 HAS SOUS 2774828 HAS SOUPS 2774828 WITH SCORE 2778084.366
AT ITER 3074 NEW BEST:: SOT 32394951 SOS 3256366 HAS SOPS 3256366 HAS SOUS 2774650 HAS SOUPS 2774650 WITH SCORE 2777906.366
AT ITER 3077 NEW BEST:: SOT 32394951 SOS 3256150 HAS SOPS 3256150 HAS SOUS 2774532 HAS SOUPS 2774532 WITH SCORE 2777788.15
AT ITER 3088 NEW BEST:: SOT 32394522 SOS 3258492 HAS SOPS 3258492 HAS SOUS 2774006 HAS SOUPS 2774006 WITH SCORE 2777264.492
AT ITER 3091 NEW BEST:: SOT 32394166 SOS 3257986 HAS SOPS 3257986 HAS SOUS 2773444 HAS SOUPS 2773444 WITH SCORE 2776701.986
AT ITER 3104 NEW BEST:: SOT 32389962 SOS 3261533 HAS SOPS 3261533 HAS SOUS 2769684 HAS SOUPS 2769684 WITH SCORE 2772945.533
AT ITER 3121 NEW BEST:: SOT 32389962 SOS 3261532 HAS SOPS 3261532 HAS SOUS 2769683 HAS SOUPS 2769683 WITH SCORE 2772944.532
AT ITER 3131 NEW BEST:: SOT 32389828 SOS 3261264 HAS SOPS 3261264 HAS SOUS 2769549 HAS SOUPS 2769549 WITH SCORE 2772810.264
AT ITER 3159 NEW BEST:: SOT 32389787 SOS 3261294 HAS SOPS 3261294 HAS SOUS 2769467 HAS SOUPS 2769467 WITH SCORE 2772728.294
AT ITER 3170 NEW BEST:: SOT 32389889 SOS 3260823 HAS SOPS 3260823 HAS SOUS 2769445 HAS SOUPS 2769445 WITH SCORE 2772705.823
AT ITER 3178 NEW BEST:: SOT 32389889 SOS 3260751 HAS SOPS 3260751 HAS SOUS 2769445 HAS SOUPS 2769445 WITH SCORE 2772705.751
AT ITER 3219 NEW BEST:: SOT 32389689 SOS 3261035 HAS SOPS 3261035 HAS SOUS 2769049 HAS SOUPS 2769049 WITH SCORE 2772310.035
AT ITER 3228 NEW BEST:: SOT 32389688 SOS 3261033 HAS SOPS 3261033 HAS SOUS 2769047 HAS SOUPS 2769047 WITH SCORE 2772308.033
AT ITER 3230 NEW BEST:: SOT 32389596 SOS 3260849 HAS SOPS 3260849 HAS SOUS 2768909 HAS SOUPS 2768909 WITH SCORE 2772169.849
AT ITER 3234 NEW BEST:: SOT 32389291 SOS 3260239 HAS SOPS 3260239 HAS SOUS 2768299 HAS SOUPS 2768299 WITH SCORE 2771559.239
AT ITER 3353 NEW BEST:: SOT 32389530 SOS 3260716 HAS SOPS 3260716 HAS SOUS 2767996 HAS SOUPS 2767996 WITH SCORE 2771256.716
AT ITER 3365 NEW BEST:: SOT 32389381 SOS 3260269 HAS SOPS 3260269 HAS SOUS 2767549 HAS SOUPS 2767549 WITH SCORE 2770809.269
AT ITER 3417 NEW BEST:: SOT 32389395 SOS 3260129 HAS SOPS 3260129 HAS SOUS 2767479 HAS SOUPS 2767479 WITH SCORE 2770739.129
AT ITER 3430 NEW BEST:: SOT 32389657 SOS 3260653 HAS SOPS 3260653 HAS SOUS 2767461 HAS SOUPS 2767461 WITH SCORE 2770721.653
AT ITER 3443 NEW BEST:: SOT 32389713 SOS 3260765 HAS SOPS 3260765 HAS SOUS 2767281 HAS SOUPS 2767281 WITH SCORE 2770541.765
AT ITER 3458 NEW BEST:: SOT 32389712 SOS 3260764 HAS SOPS 3260764 HAS SOUS 2767279 HAS SOUPS 2767279 WITH SCORE 2770539.764
AT ITER 3459 NEW BEST:: SOT 32389259 SOS 3260458 HAS SOPS 3260458 HAS SOUS 2766284 HAS SOUPS 2766284 WITH SCORE 2769544.458
AT ITER 3481 NEW BEST:: SOT 32389259 SOS 3260428 HAS SOPS 3260428 HAS SOUS 2766278 HAS SOUPS 2766278 WITH SCORE 2769538.428
AT ITER 3501 NEW BEST:: SOT 32389620 SOS 3261150 HAS SOPS 3261150 HAS SOUS 2766230 HAS SOUPS 2766230 WITH SCORE 2769491.15
AT ITER 3542 NEW BEST:: SOT 32389389 SOS 3260951 HAS SOPS 3260951 HAS SOUS 2765803 HAS SOUPS 2765803 WITH SCORE 2769063.951
AT ITER 3545 NEW BEST:: SOT 32389389 SOS 3260946 HAS SOPS 3260946 HAS SOUS 2765803 HAS SOUPS 2765803 WITH SCORE 2769063.946
AT ITER 3575 NEW BEST:: SOT 32389389 SOS 3260654 HAS SOPS 3260654 HAS SOUS 2765803 HAS SOUPS 2765803 WITH SCORE 2769063.654
AT ITER 3576 NEW BEST:: SOT 32389220 SOS 3260654 HAS SOPS 3260654 HAS SOUS 2765801 HAS SOUPS 2765801 WITH SCORE 2769061.654
AT ITER 3581 NEW BEST:: SOT 32389048 SOS 3260978 HAS SOPS 3260978 HAS SOUS 2765629 HAS SOUPS 2765629 WITH SCORE 2768889.978
AT ITER 3582 NEW BEST:: SOT 32388787 SOS 3260717 HAS SOPS 3260717 HAS SOUS 2765593 HAS SOUPS 2765593 WITH SCORE 2768853.717
AT ITER 3596 NEW BEST:: SOT 32388556 SOS 3260568 HAS SOPS 3260568 HAS SOUS 2765444 HAS SOUPS 2765444 WITH SCORE 2768704.568
AT ITER 3663 NEW BEST:: SOT 32388413 SOS 3260425 HAS SOPS 3260425 HAS SOUS 2765296 HAS SOUPS 2765296 WITH SCORE 2768556.425
AT ITER 3664 NEW BEST:: SOT 32386798 SOS 3265118 HAS SOPS 3265118 HAS SOUS 2764436 HAS SOUPS 2764436 WITH SCORE 2767701.118
AT ITER 3775 NEW BEST:: SOT 32386798 SOS 3265059 HAS SOPS 3265059 HAS SOUS 2764377 HAS SOUPS 2764377 WITH SCORE 2767642.059
AT ITER 3788 NEW BEST:: SOT 32383093 SOS 3269974 HAS SOPS 3269974 HAS SOUS 2761964 HAS SOUPS 2761964 WITH SCORE 2765233.974
AT ITER 3814 NEW BEST:: SOT 32382868 SOS 3268762 HAS SOPS 3268762 HAS SOUS 2761358 HAS SOUPS 2761358 WITH SCORE 2764626.762
AT ITER 3853 NEW BEST:: SOT 32382722 SOS 3268760 HAS SOPS 3268760 HAS SOUS 2761356 HAS SOUPS 2761356 WITH SCORE 2764624.76
AT ITER 3900 NEW BEST:: SOT 32382416 SOS 3268386 HAS SOPS 3268386 HAS SOUS 2760982 HAS SOUPS 2760982 WITH SCORE 2764250.386
AT ITER 3904 NEW BEST:: SOT 32382523 SOS 3268600 HAS SOPS 3268600 HAS SOUS 2760779 HAS SOUPS 2760779 WITH SCORE 2764047.6
AT ITER 3927 NEW BEST:: SOT 32382266 SOS 3268086 HAS SOPS 3268086 HAS SOUS 2760522 HAS SOUPS 2760522 WITH SCORE 2763790.086
AT ITER 3946 NEW BEST:: SOT 32382033 SOS 3267559 HAS SOPS 3267559 HAS SOUS 2760309 HAS SOUPS 2760309 WITH SCORE 2763576.559
AT ITER 4001 NEW BEST:: SOT 32381607 SOS 3267133 HAS SOPS 3267133 HAS SOUS 2759883 HAS SOUPS 2759883 WITH SCORE 2763150.133
AT ITER 4002 NEW BEST:: SOT 32381601 SOS 3267133 HAS SOPS 3267133 HAS SOUS 2759877 HAS SOUPS 2759877 WITH SCORE 2763144.133
AT ITER 4029 NEW BEST:: SOT 32381601 SOS 3266883 HAS SOPS 3266883 HAS SOUS 2759752 HAS SOUPS 2759752 WITH SCORE 2763018.883
AT ITER 4034 NEW BEST:: SOT 32381554 SOS 3266883 HAS SOPS 3266883 HAS SOUS 2759705 HAS SOUPS 2759705 WITH SCORE 2762971.883
AT ITER 4037 NEW BEST:: SOT 32380174 SOS 3265503 HAS SOPS 3265503 HAS SOUS 2758095 HAS SOUPS 2758095 WITH SCORE 2761360.503
AT ITER 4039 NEW BEST:: SOT 32380174 SOS 3265379 HAS SOPS 3265379 HAS SOUS 2757971 HAS SOUPS 2757971 WITH SCORE 2761236.379
AT ITER 4040 NEW BEST:: SOT 32380058 SOS 3265147 HAS SOPS 3265147 HAS SOUS 2757739 HAS SOUPS 2757739 WITH SCORE 2761004.147
AT ITER 4080 NEW BEST:: SOT 32380058 SOS 3265147 HAS SOPS 3265147 HAS SOUS 2757738 HAS SOUPS 2757738 WITH SCORE 2761003.147
AT ITER 4084 NEW BEST:: SOT 32379906 SOS 3264185 HAS SOPS 3264185 HAS SOUS 2757586 HAS SOUPS 2757586 WITH SCORE 2760850.185
AT ITER 4097 NEW BEST:: SOT 32379639 SOS 3263987 HAS SOPS 3263987 HAS SOUS 2757207 HAS SOUPS 2757207 WITH SCORE 2760470.987
AT ITER 4101 NEW BEST:: SOT 32379962 SOS 3264253 HAS SOPS 3264253 HAS SOUS 2756906 HAS SOUPS 2756906 WITH SCORE 2760170.253
AT ITER 4110 NEW BEST:: SOT 32379871 SOS 3264251 HAS SOPS 3264251 HAS SOUS 2756904 HAS SOUPS 2756904 WITH SCORE 2760168.251
AT ITER 4122 NEW BEST:: SOT 32379871 SOS 3264251 HAS SOPS 3264251 HAS SOUS 2756825 HAS SOUPS 2756825 WITH SCORE 2760089.251
AT ITER 4185 NEW BEST:: SOT 32379870 SOS 3264405 HAS SOPS 3264405 HAS SOUS 2756822 HAS SOUPS 2756822 WITH SCORE 2760086.405
AT ITER 4219 NEW BEST:: SOT 32379611 SOS 3263733 HAS SOPS 3263733 HAS SOUS 2756563 HAS SOUPS 2756563 WITH SCORE 2759826.733
AT ITER 4221 NEW BEST:: SOT 32379438 SOS 3263718 HAS SOPS 3263718 HAS SOUS 2756548 HAS SOUPS 2756548 WITH SCORE 2759811.718
AT ITER 4290 NEW BEST:: SOT 32379438 SOS 3263628 HAS SOPS 3263628 HAS SOUS 2756548 HAS SOUPS 2756548 WITH SCORE 2759811.628
AT ITER 4295 NEW BEST:: SOT 32379481 SOS 3263714 HAS SOPS 3263714 HAS SOUS 2756403 HAS SOUPS 2756403 WITH SCORE 2759666.714
AT ITER 4359 NEW BEST:: SOT 32378595 SOS 3263292 HAS SOPS 3263292 HAS SOUS 2755476 HAS SOUPS 2755476 WITH SCORE 2758739.292
AT ITER 4365 NEW BEST:: SOT 32379003 SOS 3262952 HAS SOPS 3262952 HAS SOUS 2755306 HAS SOUPS 2755306 WITH SCORE 2758568.952
AT ITER 4404 NEW BEST:: SOT 32379003 SOS 3262952 HAS SOPS 3262952 HAS SOUS 2755232 HAS SOUPS 2755232 WITH SCORE 2758494.952
AT ITER 4418 NEW BEST:: SOT 32378916 SOS 3263063 HAS SOPS 3263063 HAS SOUS 2755208 HAS SOUPS 2755208 WITH SCORE 2758471.063
AT ITER 4424 NEW BEST:: SOT 32378916 SOS 3262702 HAS SOPS 3262702 HAS SOUS 2754935 HAS SOUPS 2754935 WITH SCORE 2758197.702
AT ITER 4429 NEW BEST:: SOT 32378908 SOS 3262686 HAS SOPS 3262686 HAS SOUS 2754919 HAS SOUPS 2754919 WITH SCORE 2758181.686
AT ITER 4439 NEW BEST:: SOT 32378706 SOS 3263292 HAS SOPS 3263292 HAS SOUS 2754717 HAS SOUPS 2754717 WITH SCORE 2757980.292
AT ITER 4445 NEW BEST:: SOT 32378041 SOS 3261962 HAS SOPS 3261962 HAS SOUS 2754414 HAS SOUPS 2754414 WITH SCORE 2757675.962
AT ITER 4453 NEW BEST:: SOT 32378097 SOS 3261975 HAS SOPS 3261975 HAS SOUS 2754371 HAS SOUPS 2754371 WITH SCORE 2757632.975
AT ITER 4485 NEW BEST:: SOT 32378097 SOS 3261282 HAS SOPS 3261282 HAS SOUS 2754140 HAS SOUPS 2754140 WITH SCORE 2757401.282
AT ITER 4549 NEW BEST:: SOT 32377995 SOS 3260976 HAS SOPS 3260976 HAS SOUS 2753936 HAS SOUPS 2753936 WITH SCORE 2757196.976
AT ITER 4552 NEW BEST:: SOT 32377995 SOS 3260506 HAS SOPS 3260506 HAS SOUS 2753701 HAS SOUPS 2753701 WITH SCORE 2756961.506
AT ITER 4602 NEW BEST:: SOT 32377935 SOS 3260332 HAS SOPS 3260332 HAS SOUS 2753455 HAS SOUPS 2753455 WITH SCORE 2756715.332
AT ITER 4645 NEW BEST:: SOT 32377771 SOS 3260944 HAS SOPS 3260944 HAS SOUS 2753428 HAS SOUPS 2753428 WITH SCORE 2756688.944
AT ITER 4696 NEW BEST:: SOT 32377771 SOS 3260944 HAS SOPS 3260944 HAS SOUS 2753422 HAS SOUPS 2753422 WITH SCORE 2756682.944
AT ITER 4797 NEW BEST:: SOT 32377743 SOS 3260888 HAS SOPS 3260888 HAS SOUS 2753388 HAS SOUPS 2753388 WITH SCORE 2756648.888
AT ITER 4821 NEW BEST:: SOT 32377743 SOS 3260888 HAS SOPS 3260888 HAS SOUS 2753271 HAS SOUPS 2753271 WITH SCORE 2756531.888
AT ITER 4890 NEW BEST:: SOT 32377414 SOS 3262840 HAS SOPS 3262840 HAS SOUS 2752768 HAS SOUPS 2752768 WITH SCORE 2756030.84
AT ITER 4928 NEW BEST:: SOT 32377197 SOS 3261898 HAS SOPS 3261898 HAS SOUS 2752043 HAS SOUPS 2752043 WITH SCORE 2755304.898
AT ITER 4930 NEW BEST:: SOT 32376771 SOS 3261725 HAS SOPS 3261725 HAS SOUS 2751850 HAS SOUPS 2751850 WITH SCORE 2755111.725
AT ITER 4953 NEW BEST:: SOT 32376629 SOS 3261710 HAS SOPS 3261710 HAS SOUS 2751809 HAS SOUPS 2751809 WITH SCORE 2755070.71
AT ITER 5019 NEW BEST:: SOT 32376883 SOS 3261419 HAS SOPS 3261419 HAS SOUS 2751748 HAS SOUPS 2751748 WITH SCORE 2755009.419
AT ITER 5028 NEW BEST:: SOT 32375478 SOS 3262372 HAS SOPS 3262372 HAS SOUS 2750829 HAS SOUPS 2750829 WITH SCORE 2754091.372
AT ITER 5061 NEW BEST:: SOT 32375477 SOS 3262370 HAS SOPS 3262370 HAS SOUS 2750827 HAS SOUPS 2750827 WITH SCORE 2754089.37
AT ITER 5063 NEW BEST:: SOT 32374430 SOS 3261969 HAS SOPS 3261969 HAS SOUS 2750212 HAS SOUPS 2750212 WITH SCORE 2753473.969
AT ITER 5072 NEW BEST:: SOT 32374034 SOS 3261573 HAS SOPS 3261573 HAS SOUS 2749816 HAS SOUPS 2749816 WITH SCORE 2753077.573
AT ITER 5105 NEW BEST:: SOT 32373778 SOS 3261479 HAS SOPS 3261479 HAS SOUS 2749560 HAS SOUPS 2749560 WITH SCORE 2752821.479
AT ITER 5122 NEW BEST:: SOT 32373690 SOS 3261215 HAS SOPS 3261215 HAS SOUS 2749384 HAS SOUPS 2749384 WITH SCORE 2752645.215
AT ITER 5132 NEW BEST:: SOT 32373689 SOS 3261213 HAS SOPS 3261213 HAS SOUS 2749382 HAS SOUPS 2749382 WITH SCORE 2752643.213
AT ITER 5215 NEW BEST:: SOT 32372763 SOS 3260287 HAS SOPS 3260287 HAS SOUS 2748456 HAS SOUPS 2748456 WITH SCORE 2751716.287
AT ITER 5228 NEW BEST:: SOT 32372120 SOS 3259559 HAS SOPS 3259559 HAS SOUS 2747534 HAS SOUPS 2747534 WITH SCORE 2750793.559
AT ITER 5267 NEW BEST:: SOT 32372120 SOS 3259516 HAS SOPS 3259516 HAS SOUS 2747534 HAS SOUPS 2747534 WITH SCORE 2750793.516
AT ITER 5276 NEW BEST:: SOT 32372120 SOS 3259476 HAS SOPS 3259476 HAS SOUS 2747534 HAS SOUPS 2747534 WITH SCORE 2750793.476
AT ITER 5288 NEW BEST:: SOT 32368830 SOS 3266681 HAS SOPS 3266681 HAS SOUS 2745567 HAS SOUPS 2745567 WITH SCORE 2748833.681
AT ITER 5298 NEW BEST:: SOT 32367766 SOS 3266833 HAS SOPS 3266833 HAS SOUS 2744655 HAS SOUPS 2744655 WITH SCORE 2747921.833
AT ITER 5375 NEW BEST:: SOT 32367766 SOS 3266769 HAS SOPS 3266769 HAS SOUS 2744654 HAS SOUPS 2744654 WITH SCORE 2747920.769
AT ITER 5381 NEW BEST:: SOT 32367863 SOS 3266963 HAS SOPS 3266963 HAS SOUS 2744635 HAS SOUPS 2744635 WITH SCORE 2747901.963
AT ITER 5387 NEW BEST:: SOT 32366270 SOS 3268703 HAS SOPS 3268703 HAS SOUS 2743656 HAS SOUPS 2743656 WITH SCORE 2746924.703
AT ITER 5389 NEW BEST:: SOT 32366270 SOS 3268523 HAS SOPS 3268523 HAS SOUS 2743656 HAS SOUPS 2743656 WITH SCORE 2746924.523
AT ITER 5400 NEW BEST:: SOT 32366270 SOS 3268179 HAS SOPS 3268179 HAS SOUS 2743484 HAS SOUPS 2743484 WITH SCORE 2746752.179
AT ITER 5459 NEW BEST:: SOT 32366197 SOS 3268262 HAS SOPS 3268262 HAS SOUS 2743482 HAS SOUPS 2743482 WITH SCORE 2746750.262
AT ITER 5539 NEW BEST:: SOT 32364132 SOS 3267530 HAS SOPS 3267530 HAS SOUS 2742008 HAS SOUPS 2742008 WITH SCORE 2745275.53
AT ITER 5550 NEW BEST:: SOT 32364127 SOS 3267520 HAS SOPS 3267520 HAS SOUS 2742003 HAS SOUPS 2742003 WITH SCORE 2745270.52
AT ITER 5614 NEW BEST:: SOT 32364044 SOS 3267488 HAS SOPS 3267488 HAS SOUS 2741786 HAS SOUPS 2741786 WITH SCORE 2745053.488
AT ITER 5635 NEW BEST:: SOT 32363612 SOS 3267056 HAS SOPS 3267056 HAS SOUS 2741354 HAS SOUPS 2741354 WITH SCORE 2744621.056
AT ITER 5643 NEW BEST:: SOT 32363407 SOS 3266646 HAS SOPS 3266646 HAS SOUS 2740672 HAS SOUPS 2740672 WITH SCORE 2743938.646
AT ITER 5674 NEW BEST:: SOT 32363347 SOS 3266598 HAS SOPS 3266598 HAS SOUS 2740624 HAS SOUPS 2740624 WITH SCORE 2743890.598
AT ITER 5696 NEW BEST:: SOT 32363347 SOS 3266598 HAS SOPS 3266598 HAS SOUS 2740610 HAS SOUPS 2740610 WITH SCORE 2743876.598
AT ITER 5709 NEW BEST:: SOT 32362255 SOS 3266770 HAS SOPS 3266770 HAS SOUS 2739335 HAS SOUPS 2739335 WITH SCORE 2742601.77
AT ITER 5711 NEW BEST:: SOT 32362295 SOS 3266850 HAS SOPS 3266850 HAS SOUS 2739306 HAS SOUPS 2739306 WITH SCORE 2742572.85
AT ITER 5725 NEW BEST:: SOT 32362324 SOS 3267826 HAS SOPS 3267826 HAS SOUS 2739250 HAS SOUPS 2739250 WITH SCORE 2742517.826
AT ITER 5727 NEW BEST:: SOT 32362324 SOS 3267825 HAS SOPS 3267825 HAS SOUS 2739249 HAS SOUPS 2739249 WITH SCORE 2742516.825
AT ITER 5740 NEW BEST:: SOT 32361646 SOS 3266947 HAS SOPS 3266947 HAS SOUS 2738551 HAS SOUPS 2738551 WITH SCORE 2741817.947
AT ITER 5761 NEW BEST:: SOT 32361646 SOS 3266888 HAS SOPS 3266888 HAS SOUS 2738551 HAS SOUPS 2738551 WITH SCORE 2741817.888
AT ITER 5823 NEW BEST:: SOT 32361645 SOS 3266807 HAS SOPS 3266807 HAS SOUS 2738549 HAS SOUPS 2738549 WITH SCORE 2741815.807
AT ITER 5842 NEW BEST:: SOT 32361308 SOS 3266410 HAS SOPS 3266410 HAS SOUS 2738196 HAS SOUPS 2738196 WITH SCORE 2741462.41
AT ITER 5906 NEW BEST:: SOT 32361308 SOS 3265696 HAS SOPS 3265696 HAS SOUS 2737836 HAS SOUPS 2737836 WITH SCORE 2741101.696
AT ITER 5917 NEW BEST:: SOT 32361308 SOS 3265696 HAS SOPS 3265696 HAS SOUS 2737835 HAS SOUPS 2737835 WITH SCORE 2741100.696
AT ITER 5943 NEW BEST:: SOT 32361164 SOS 3265838 HAS SOPS 3265838 HAS SOUS 2737762 HAS SOUPS 2737762 WITH SCORE 2741027.838
AT ITER 5945 NEW BEST:: SOT 32361096 SOS 3265702 HAS SOPS 3265702 HAS SOUS 2737626 HAS SOUPS 2737626 WITH SCORE 2740891.702
AT ITER 5983 NEW BEST:: SOT 32361267 SOS 3264710 HAS SOPS 3264710 HAS SOUS 2737301 HAS SOUPS 2737301 WITH SCORE 2740565.71
AT ITER 5999 NEW BEST:: SOT 32361267 SOS 3264515 HAS SOPS 3264515 HAS SOUS 2737301 HAS SOUPS 2737301 WITH SCORE 2740565.515
AT ITER 6018 NEW BEST:: SOT 32361496 SOS 3264330 HAS SOPS 3264330 HAS SOUS 2737116 HAS SOUPS 2737116 WITH SCORE 2740380.33
AT ITER 6061 NEW BEST:: SOT 32360910 SOS 3264448 HAS SOPS 3264448 HAS SOUS 2736710 HAS SOUPS 2736710 WITH SCORE 2739974.448
AT ITER 6077 NEW BEST:: SOT 32360789 SOS 3263718 HAS SOPS 3263718 HAS SOUS 2736345 HAS SOUPS 2736345 WITH SCORE 2739608.718
AT ITER 6094 NEW BEST:: SOT 32360788 SOS 3263716 HAS SOPS 3263716 HAS SOUS 2736343 HAS SOUPS 2736343 WITH SCORE 2739606.716
AT ITER 6095 NEW BEST:: SOT 32360796 SOS 3263732 HAS SOPS 3263732 HAS SOUS 2735796 HAS SOUPS 2735796 WITH SCORE 2739059.732
AT ITER 6126 NEW BEST:: SOT 32360664 SOS 3263453 HAS SOPS 3263453 HAS SOUS 2735517 HAS SOUPS 2735517 WITH SCORE 2738780.453
AT ITER 6128 NEW BEST:: SOT 32360664 SOS 3263409 HAS SOPS 3263409 HAS SOUS 2735473 HAS SOUPS 2735473 WITH SCORE 2738736.409
AT ITER 6135 NEW BEST:: SOT 32360585 SOS 3263251 HAS SOPS 3263251 HAS SOUS 2735315 HAS SOUPS 2735315 WITH SCORE 2738578.251
AT ITER 6151 NEW BEST:: SOT 32360535 SOS 3263101 HAS SOPS 3263101 HAS SOUS 2735215 HAS SOUPS 2735215 WITH SCORE 2738478.101
AT ITER 6220 NEW BEST:: SOT 32359919 SOS 3263238 HAS SOPS 3263238 HAS SOUS 2734845 HAS SOUPS 2734845 WITH SCORE 2738108.238
AT ITER 6222 NEW BEST:: SOT 32359918 SOS 3263236 HAS SOPS 3263236 HAS SOUS 2734843 HAS SOUPS 2734843 WITH SCORE 2738106.236
AT ITER 6260 NEW BEST:: SOT 32359169 SOS 3262332 HAS SOPS 3262332 HAS SOUS 2733852 HAS SOUPS 2733852 WITH SCORE 2737114.332
AT ITER 6320 NEW BEST:: SOT 32359200 SOS 3262263 HAS SOPS 3262263 HAS SOUS 2733752 HAS SOUPS 2733752 WITH SCORE 2737014.263
AT ITER 6332 NEW BEST:: SOT 32358996 SOS 3262059 HAS SOPS 3262059 HAS SOUS 2733752 HAS SOUPS 2733752 WITH SCORE 2737014.059
AT ITER 6389 NEW BEST:: SOT 32358851 SOS 3261929 HAS SOPS 3261929 HAS SOUS 2733447 HAS SOUPS 2733447 WITH SCORE 2736708.929
AT ITER 6409 NEW BEST:: SOT 32358851 SOS 3261852 HAS SOPS 3261852 HAS SOUS 2733370 HAS SOUPS 2733370 WITH SCORE 2736631.852
AT ITER 6442 NEW BEST:: SOT 32356103 SOS 3259162 HAS SOPS 3259162 HAS SOUS 2730843 HAS SOUPS 2730843 WITH SCORE 2734102.162
AT ITER 6467 NEW BEST:: SOT 32356077 SOS 3259110 HAS SOPS 3259110 HAS SOUS 2730583 HAS SOUPS 2730583 WITH SCORE 2733842.11
AT ITER 6476 NEW BEST:: SOT 32355894 SOS 3258885 HAS SOPS 3258885 HAS SOUS 2730358 HAS SOUPS 2730358 WITH SCORE 2733616.885
AT ITER 6534 NEW BEST:: SOT 32355873 SOS 3258843 HAS SOPS 3258843 HAS SOUS 2730337 HAS SOUPS 2730337 WITH SCORE 2733595.843
AT ITER 6550 NEW BEST:: SOT 32355872 SOS 3258841 HAS SOPS 3258841 HAS SOUS 2730335 HAS SOUPS 2730335 WITH SCORE 2733593.841
AT ITER 6553 NEW BEST:: SOT 32355400 SOS 3258573 HAS SOPS 3258573 HAS SOUS 2730074 HAS SOUPS 2730074 WITH SCORE 2733332.573
AT ITER 6554 NEW BEST:: SOT 32355400 SOS 3258542 HAS SOPS 3258542 HAS SOUS 2730056 HAS SOUPS 2730056 WITH SCORE 2733314.542
AT ITER 6627 NEW BEST:: SOT 32350351 SOS 3265791 HAS SOPS 3265791 HAS SOUS 2726774 HAS SOUPS 2726774 WITH SCORE 2730039.791
AT ITER 6653 NEW BEST:: SOT 32350351 SOS 3265708 HAS SOPS 3265708 HAS SOUS 2726771 HAS SOUPS 2726771 WITH SCORE 2730036.708
AT ITER 6672 NEW BEST:: SOT 32350156 SOS 3265035 HAS SOPS 3265035 HAS SOUS 2726574 HAS SOUPS 2726574 WITH SCORE 2729839.035
AT ITER 6678 NEW BEST:: SOT 32350081 SOS 3264810 HAS SOPS 3264810 HAS SOUS 2726424 HAS SOUPS 2726424 WITH SCORE 2729688.81
AT ITER 6698 NEW BEST:: SOT 32348481 SOS 3264927 HAS SOPS 3264927 HAS SOUS 2724938 HAS SOUPS 2724938 WITH SCORE 2728202.927
AT ITER 6733 NEW BEST:: SOT 32348538 SOS 3264849 HAS SOPS 3264849 HAS SOUS 2724860 HAS SOUPS 2724860 WITH SCORE 2728124.849
AT ITER 6743 NEW BEST:: SOT 32348026 SOS 3264465 HAS SOPS 3264465 HAS SOUS 2724348 HAS SOUPS 2724348 WITH SCORE 2727612.465
AT ITER 6753 NEW BEST:: SOT 32348024 SOS 3264461 HAS SOPS 3264461 HAS SOUS 2724346 HAS SOUPS 2724346 WITH SCORE 2727610.461
AT ITER 6757 NEW BEST:: SOT 32345959 SOS 3262617 HAS SOPS 3262617 HAS SOUS 2722056 HAS SOUPS 2722056 WITH SCORE 2725318.617
AT ITER 6782 NEW BEST:: SOT 32345880 SOS 3262459 HAS SOPS 3262459 HAS SOUS 2721828 HAS SOUPS 2721828 WITH SCORE 2725090.459
AT ITER 6785 NEW BEST:: SOT 32345810 SOS 3262014 HAS SOPS 3262014 HAS SOUS 2721687 HAS SOUPS 2721687 WITH SCORE 2724949.014
AT ITER 6834 NEW BEST:: SOT 32345721 SOS 3261925 HAS SOPS 3261925 HAS SOUS 2721601 HAS SOUPS 2721601 WITH SCORE 2724862.925
AT ITER 6837 NEW BEST:: SOT 32345721 SOS 3261677 HAS SOPS 3261677 HAS SOUS 2721477 HAS SOUPS 2721477 WITH SCORE 2724738.677
AT ITER 6854 NEW BEST:: SOT 32345454 SOS 3261143 HAS SOPS 3261143 HAS SOUS 2720943 HAS SOUPS 2720943 WITH SCORE 2724204.143
AT ITER 6861 NEW BEST:: SOT 32345073 SOS 3261316 HAS SOPS 3261316 HAS SOUS 2720749 HAS SOUPS 2720749 WITH SCORE 2724010.316
AT ITER 6863 NEW BEST:: SOT 32344956 SOS 3263436 HAS SOPS 3263436 HAS SOUS 2720681 HAS SOUPS 2720681 WITH SCORE 2723944.436
AT ITER 6867 NEW BEST:: SOT 32345080 SOS 3263684 HAS SOPS 3263684 HAS SOUS 2720478 HAS SOUPS 2720478 WITH SCORE 2723741.684
AT ITER 6871 NEW BEST:: SOT 32345278 SOS 3263654 HAS SOPS 3263654 HAS SOUS 2720301 HAS SOUPS 2720301 WITH SCORE 2723564.654
AT ITER 6880 NEW BEST:: SOT 32345098 SOS 3263294 HAS SOPS 3263294 HAS SOUS 2720112 HAS SOUPS 2720112 WITH SCORE 2723375.294
AT ITER 6917 NEW BEST:: SOT 32344739 SOS 3262576 HAS SOPS 3262576 HAS SOUS 2719394 HAS SOUPS 2719394 WITH SCORE 2722656.576
AT ITER 6932 NEW BEST:: SOT 32344690 SOS 3262888 HAS SOPS 3262888 HAS SOUS 2719349 HAS SOUPS 2719349 WITH SCORE 2722611.888
AT ITER 6938 NEW BEST:: SOT 32344723 SOS 3262904 HAS SOPS 3262904 HAS SOUS 2719263 HAS SOUPS 2719263 WITH SCORE 2722525.904
AT ITER 6960 NEW BEST:: SOT 32344501 SOS 3262992 HAS SOPS 3262992 HAS SOUS 2719041 HAS SOUPS 2719041 WITH SCORE 2722303.992
AT ITER 6966 NEW BEST:: SOT 32344415 SOS 3262820 HAS SOPS 3262820 HAS SOUS 2718955 HAS SOUPS 2718955 WITH SCORE 2722217.82
AT ITER 6972 NEW BEST:: SOT 32344415 SOS 3262820 HAS SOPS 3262820 HAS SOUS 2718905 HAS SOUPS 2718905 WITH SCORE 2722167.82
AT ITER 6976 NEW BEST:: SOT 32344346 SOS 3262682 HAS SOPS 3262682 HAS SOUS 2718767 HAS SOUPS 2718767 WITH SCORE 2722029.682
AT ITER 6991 NEW BEST:: SOT 32344293 SOS 3263060 HAS SOPS 3263060 HAS SOUS 2718714 HAS SOUPS 2718714 WITH SCORE 2721977.06
AT ITER 7002 NEW BEST:: SOT 32344011 SOS 3262778 HAS SOPS 3262778 HAS SOUS 2718432 HAS SOUPS 2718432 WITH SCORE 2721694.778
AT ITER 7009 NEW BEST:: SOT 32343928 SOS 3262414 HAS SOPS 3262414 HAS SOUS 2718151 HAS SOUPS 2718151 WITH SCORE 2721413.414
AT ITER 7063 NEW BEST:: SOT 32343661 SOS 3262115 HAS SOPS 3262115 HAS SOUS 2718020 HAS SOUPS 2718020 WITH SCORE 2721282.115
AT ITER 7070 NEW BEST:: SOT 32343661 SOS 3262023 HAS SOPS 3262023 HAS SOUS 2717974 HAS SOUPS 2717974 WITH SCORE 2721236.023
AT ITER 7084 NEW BEST:: SOT 32343539 SOS 3261952 HAS SOPS 3261952 HAS SOUS 2717679 HAS SOUPS 2717679 WITH SCORE 2720940.952
AT ITER 7206 NEW BEST:: SOT 32343737 SOS 3262348 HAS SOPS 3262348 HAS SOUS 2717612 HAS SOUPS 2717612 WITH SCORE 2720874.348
AT ITER 7233 NEW BEST:: SOT 32343385 SOS 3261841 HAS SOPS 3261841 HAS SOUS 2717063 HAS SOUPS 2717063 WITH SCORE 2720324.841
AT ITER 7284 NEW BEST:: SOT 32343174 SOS 3261419 HAS SOPS 3261419 HAS SOUS 2716433 HAS SOUPS 2716433 WITH SCORE 2719694.419
AT ITER 7345 NEW BEST:: SOT 32340669 SOS 3273203 HAS SOPS 3273203 HAS SOUS 2715126 HAS SOUPS 2715126 WITH SCORE 2718399.203
AT ITER 7408 NEW BEST:: SOT 32340967 SOS 3272737 HAS SOPS 3272737 HAS SOUS 2715070 HAS SOUPS 2715070 WITH SCORE 2718342.737
AT ITER 7413 NEW BEST:: SOT 32340732 SOS 3272267 HAS SOPS 3272267 HAS SOUS 2714600 HAS SOUPS 2714600 WITH SCORE 2717872.267
AT ITER 7440 NEW BEST:: SOT 32340732 SOS 3272194 HAS SOPS 3272194 HAS SOUS 2714600 HAS SOUPS 2714600 WITH SCORE 2717872.194
AT ITER 7451 NEW BEST:: SOT 32340661 SOS 3271981 HAS SOPS 3271981 HAS SOUS 2714458 HAS SOUPS 2714458 WITH SCORE 2717729.981
AT ITER 7474 NEW BEST:: SOT 32340037 SOS 3272603 HAS SOPS 3272603 HAS SOUS 2714208 HAS SOUPS 2714208 WITH SCORE 2717480.603
AT ITER 7576 NEW BEST:: SOT 32340195 SOS 3272141 HAS SOPS 3272141 HAS SOUS 2713889 HAS SOUPS 2713889 WITH SCORE 2717161.141
AT ITER 7625 NEW BEST:: SOT 32340195 SOS 3272137 HAS SOPS 3272137 HAS SOUS 2713881 HAS SOUPS 2713881 WITH SCORE 2717153.137
AT ITER 7647 NEW BEST:: SOT 32340342 SOS 3272431 HAS SOPS 3272431 HAS SOUS 2713849 HAS SOUPS 2713849 WITH SCORE 2717121.431
AT ITER 7670 NEW BEST:: SOT 32340342 SOS 3272232 HAS SOPS 3272232 HAS SOUS 2713808 HAS SOUPS 2713808 WITH SCORE 2717080.232
AT ITER 7671 NEW BEST:: SOT 32340342 SOS 3272071 HAS SOPS 3272071 HAS SOUS 2713647 HAS SOUPS 2713647 WITH SCORE 2716919.071
AT ITER 7699 NEW BEST:: SOT 32340099 SOS 3271099 HAS SOPS 3271099 HAS SOUS 2713161 HAS SOUPS 2713161 WITH SCORE 2716432.099
AT ITER 7736 NEW BEST:: SOT 32340063 SOS 3270939 HAS SOPS 3270939 HAS SOUS 2713089 HAS SOUPS 2713089 WITH SCORE 2716359.939
AT ITER 7738 NEW BEST:: SOT 32340063 SOS 3270683 HAS SOPS 3270683 HAS SOUS 2712961 HAS SOUPS 2712961 WITH SCORE 2716231.683
AT ITER 7788 NEW BEST:: SOT 32339694 SOS 3268838 HAS SOPS 3268838 HAS SOUS 2712223 HAS SOUPS 2712223 WITH SCORE 2715491.838
AT ITER 7796 NEW BEST:: SOT 32339229 SOS 3268636 HAS SOPS 3268636 HAS SOUS 2711765 HAS SOUPS 2711765 WITH SCORE 2715033.636
AT ITER 7841 NEW BEST:: SOT 32339229 SOS 3268636 HAS SOPS 3268636 HAS SOUS 2711634 HAS SOUPS 2711634 WITH SCORE 2714902.636
AT ITER 7845 NEW BEST:: SOT 32339023 SOS 3268224 HAS SOPS 3268224 HAS SOUS 2710838 HAS SOUPS 2710838 WITH SCORE 2714106.224
AT ITER 7852 NEW BEST:: SOT 32338923 SOS 3268024 HAS SOPS 3268024 HAS SOUS 2710688 HAS SOUPS 2710688 WITH SCORE 2713956.024
AT ITER 7917 NEW BEST:: SOT 32338789 SOS 3267926 HAS SOPS 3267926 HAS SOUS 2710554 HAS SOUPS 2710554 WITH SCORE 2713821.926
AT ITER 7932 NEW BEST:: SOT 32338729 SOS 3267866 HAS SOPS 3267866 HAS SOUS 2710494 HAS SOUPS 2710494 WITH SCORE 2713761.866
AT ITER 7943 NEW BEST:: SOT 32338507 SOS 3267570 HAS SOPS 3267570 HAS SOUS 2710124 HAS SOUPS 2710124 WITH SCORE 2713391.57
AT ITER 7949 NEW BEST:: SOT 32337858 SOS 3267157 HAS SOPS 3267157 HAS SOUS 2709534 HAS SOUPS 2709534 WITH SCORE 2712801.157
AT ITER 7957 NEW BEST:: SOT 32337492 SOS 3266827 HAS SOPS 3266827 HAS SOUS 2709168 HAS SOUPS 2709168 WITH SCORE 2712434.827
AT ITER 7975 NEW BEST:: SOT 32337002 SOS 3265258 HAS SOPS 3265258 HAS SOUS 2708678 HAS SOUPS 2708678 WITH SCORE 2711943.258
AT ITER 8019 NEW BEST:: SOT 32336749 SOS 3262981 HAS SOPS 3262981 HAS SOUS 2708172 HAS SOUPS 2708172 WITH SCORE 2711434.981
AT ITER 8063 NEW BEST:: SOT 32336521 SOS 3262695 HAS SOPS 3262695 HAS SOUS 2708158 HAS SOUPS 2708158 WITH SCORE 2711420.695
AT ITER 8067 NEW BEST:: SOT 32335987 SOS 3262517 HAS SOPS 3262517 HAS SOUS 2707624 HAS SOUPS 2707624 WITH SCORE 2710886.517
AT ITER 8068 NEW BEST:: SOT 32335987 SOS 3262427 HAS SOPS 3262427 HAS SOUS 2707617 HAS SOUPS 2707617 WITH SCORE 2710879.427
AT ITER 8086 NEW BEST:: SOT 32335986 SOS 3262425 HAS SOPS 3262425 HAS SOUS 2707615 HAS SOUPS 2707615 WITH SCORE 2710877.425
AT ITER 8093 NEW BEST:: SOT 32335946 SOS 3262703 HAS SOPS 3262703 HAS SOUS 2707427 HAS SOUPS 2707427 WITH SCORE 2710689.703
AT ITER 8108 NEW BEST:: SOT 32335198 SOS 3263251 HAS SOPS 3263251 HAS SOUS 2706743 HAS SOUPS 2706743 WITH SCORE 2710006.251
AT ITER 8111 NEW BEST:: SOT 32335111 SOS 3262990 HAS SOPS 3262990 HAS SOUS 2706655 HAS SOUPS 2706655 WITH SCORE 2709917.99
AT ITER 8120 NEW BEST:: SOT 32335111 SOS 3262905 HAS SOPS 3262905 HAS SOUS 2706570 HAS SOUPS 2706570 WITH SCORE 2709832.905
AT ITER 8133 NEW BEST:: SOT 32334901 SOS 3262485 HAS SOPS 3262485 HAS SOUS 2706150 HAS SOUPS 2706150 WITH SCORE 2709412.485
AT ITER 8142 NEW BEST:: SOT 32334671 SOS 3262255 HAS SOPS 3262255 HAS SOUS 2705920 HAS SOUPS 2705920 WITH SCORE 2709182.255
AT ITER 8161 NEW BEST:: SOT 32334619 SOS 3262151 HAS SOPS 3262151 HAS SOUS 2705868 HAS SOUPS 2705868 WITH SCORE 2709130.151
AT ITER 8167 NEW BEST:: SOT 32334913 SOS 3262739 HAS SOPS 3262739 HAS SOUS 2705812 HAS SOUPS 2705812 WITH SCORE 2709074.739
AT ITER 8199 NEW BEST:: SOT 32334632 SOS 3262323 HAS SOPS 3262323 HAS SOUS 2705500 HAS SOUPS 2705500 WITH SCORE 2708762.323
AT ITER 8207 NEW BEST:: SOT 32334376 SOS 3261811 HAS SOPS 3261811 HAS SOUS 2704841 HAS SOUPS 2704841 WITH SCORE 2708102.811
AT ITER 8232 NEW BEST:: SOT 32334517 SOS 3261704 HAS SOPS 3261704 HAS SOUS 2704518 HAS SOUPS 2704518 WITH SCORE 2707779.704
AT ITER 8254 NEW BEST:: SOT 32333923 SOS 3261110 HAS SOPS 3261110 HAS SOUS 2703924 HAS SOUPS 2703924 WITH SCORE 2707185.11
AT ITER 8390 NEW BEST:: SOT 32333403 SOS 3261091 HAS SOPS 3261091 HAS SOUS 2703759 HAS SOUPS 2703759 WITH SCORE 2707020.091
AT ITER 8398 NEW BEST:: SOT 32333165 SOS 3260853 HAS SOPS 3260853 HAS SOUS 2703589 HAS SOUPS 2703589 WITH SCORE 2706849.853
AT ITER 8465 NEW BEST:: SOT 32333165 SOS 3260401 HAS SOPS 3260401 HAS SOUS 2703589 HAS SOUPS 2703589 WITH SCORE 2706849.401
AT ITER 8485 NEW BEST:: SOT 32333165 SOS 3260388 HAS SOPS 3260388 HAS SOUS 2703589 HAS SOUPS 2703589 WITH SCORE 2706849.388
AT ITER 8513 NEW BEST:: SOT 32333201 SOS 3260460 HAS SOPS 3260460 HAS SOUS 2703466 HAS SOUPS 2703466 WITH SCORE 2706726.46
AT ITER 8559 NEW BEST:: SOT 32333201 SOS 3260459 HAS SOPS 3260459 HAS SOUS 2703465 HAS SOUPS 2703465 WITH SCORE 2706725.459
AT ITER 8567 NEW BEST:: SOT 32332987 SOS 3260471 HAS SOPS 3260471 HAS SOUS 2703187 HAS SOUPS 2703187 WITH SCORE 2706447.471
AT ITER 8594 NEW BEST:: SOT 32333126 SOS 3260749 HAS SOPS 3260749 HAS SOUS 2703145 HAS SOUPS 2703145 WITH SCORE 2706405.749
AT ITER 8608 NEW BEST:: SOT 32333092 SOS 3260613 HAS SOPS 3260613 HAS SOUS 2703111 HAS SOUPS 2703111 WITH SCORE 2706371.613
AT ITER 8623 NEW BEST:: SOT 32333091 SOS 3260414 HAS SOPS 3260414 HAS SOUS 2703102 HAS SOUPS 2703102 WITH SCORE 2706362.414
AT ITER 8681 NEW BEST:: SOT 32331996 SOS 3260472 HAS SOPS 3260472 HAS SOUS 2701922 HAS SOUPS 2701922 WITH SCORE 2705182.472
AT ITER 8692 NEW BEST:: SOT 32332135 SOS 3260052 HAS SOPS 3260052 HAS SOUS 2701756 HAS SOUPS 2701756 WITH SCORE 2705016.052
AT ITER 8700 NEW BEST:: SOT 32331669 SOS 3256948 HAS SOPS 3256948 HAS SOUS 2700213 HAS SOUPS 2700213 WITH SCORE 2703469.948
AT ITER 8705 NEW BEST:: SOT 32331523 SOS 3256702 HAS SOPS 3256702 HAS SOUS 2700058 HAS SOUPS 2700058 WITH SCORE 2703314.702
AT ITER 8769 NEW BEST:: SOT 32331734 SOS 3257124 HAS SOPS 3257124 HAS SOUS 2699933 HAS SOUPS 2699933 WITH SCORE 2703190.124
AT ITER 8777 NEW BEST:: SOT 32331570 SOS 3256906 HAS SOPS 3256906 HAS SOUS 2699715 HAS SOUPS 2699715 WITH SCORE 2702971.906
AT ITER 8787 NEW BEST:: SOT 32331608 SOS 3256336 HAS SOPS 3256336 HAS SOUS 2699452 HAS SOUPS 2699452 WITH SCORE 2702708.336
AT ITER 8790 NEW BEST:: SOT 32331572 SOS 3256489 HAS SOPS 3256489 HAS SOUS 2699233 HAS SOUPS 2699233 WITH SCORE 2702489.489
AT ITER 8791 NEW BEST:: SOT 32325207 SOS 3256968 HAS SOPS 3256968 HAS SOUS 2694538 HAS SOUPS 2694538 WITH SCORE 2697794.968
AT ITER 8822 NEW BEST:: SOT 32325016 SOS 3256816 HAS SOPS 3256816 HAS SOUS 2694240 HAS SOUPS 2694240 WITH SCORE 2697496.816
AT ITER 8823 NEW BEST:: SOT 32324891 SOS 3256566 HAS SOPS 3256566 HAS SOUS 2694115 HAS SOUPS 2694115 WITH SCORE 2697371.566
AT ITER 8827 NEW BEST:: SOT 32324805 SOS 3256351 HAS SOPS 3256351 HAS SOUS 2694072 HAS SOUPS 2694072 WITH SCORE 2697328.351
AT ITER 8837 NEW BEST:: SOT 32324682 SOS 3256693 HAS SOPS 3256693 HAS SOUS 2693949 HAS SOUPS 2693949 WITH SCORE 2697205.693
AT ITER 8841 NEW BEST:: SOT 32324198 SOS 3255100 HAS SOPS 3255100 HAS SOUS 2692981 HAS SOUPS 2692981 WITH SCORE 2696236.1
AT ITER 8888 NEW BEST:: SOT 32324198 SOS 3254664 HAS SOPS 3254664 HAS SOUS 2692981 HAS SOUPS 2692981 WITH SCORE 2696235.664
AT ITER 8915 NEW BEST:: SOT 32324146 SOS 3254560 HAS SOPS 3254560 HAS SOUS 2692877 HAS SOUPS 2692877 WITH SCORE 2696131.56
AT ITER 8947 NEW BEST:: SOT 32324247 SOS 3254762 HAS SOPS 3254762 HAS SOUS 2692824 HAS SOUPS 2692824 WITH SCORE 2696078.762
AT ITER 8956 NEW BEST:: SOT 32324039 SOS 3254496 HAS SOPS 3254496 HAS SOUS 2692509 HAS SOUPS 2692509 WITH SCORE 2695763.496
AT ITER 8963 NEW BEST:: SOT 32322118 SOS 3255022 HAS SOPS 3255022 HAS SOUS 2690900 HAS SOUPS 2690900 WITH SCORE 2694155.022
AT ITER 8966 NEW BEST:: SOT 32321870 SOS 3254774 HAS SOPS 3254774 HAS SOUS 2690528 HAS SOUPS 2690528 WITH SCORE 2693782.774
AT ITER 8978 NEW BEST:: SOT 32321788 SOS 3254958 HAS SOPS 3254958 HAS SOUS 2690098 HAS SOUPS 2690098 WITH SCORE 2693352.958
AT ITER 9007 NEW BEST:: SOT 32321788 SOS 3254936 HAS SOPS 3254936 HAS SOUS 2690098 HAS SOUPS 2690098 WITH SCORE 2693352.936
AT ITER 9032 NEW BEST:: SOT 32322227 SOS 3255814 HAS SOPS 3255814 HAS SOUS 2689860 HAS SOUPS 2689860 WITH SCORE 2693115.814
AT ITER 9111 NEW BEST:: SOT 32322269 SOS 3255178 HAS SOPS 3255178 HAS SOUS 2689542 HAS SOUPS 2689542 WITH SCORE 2692797.178
AT ITER 9131 NEW BEST:: SOT 32321483 SOS 3253253 HAS SOPS 3253253 HAS SOUS 2688611 HAS SOUPS 2688611 WITH SCORE 2691864.253
AT ITER 9204 NEW BEST:: SOT 32320968 SOS 3253009 HAS SOPS 3253009 HAS SOUS 2688361 HAS SOUPS 2688361 WITH SCORE 2691614.009
AT ITER 9313 NEW BEST:: SOT 32320752 SOS 3252577 HAS SOPS 3252577 HAS SOUS 2687555 HAS SOUPS 2687555 WITH SCORE 2690807.577
AT ITER 9393 NEW BEST:: SOT 32320752 SOS 3252577 HAS SOPS 3252577 HAS SOUS 2687553 HAS SOUPS 2687553 WITH SCORE 2690805.577
AT ITER 9412 NEW BEST:: SOT 32320525 SOS 3253145 HAS SOPS 3253145 HAS SOUS 2687364 HAS SOUPS 2687364 WITH SCORE 2690617.145
AT ITER 9434 NEW BEST:: SOT 32320525 SOS 3253107 HAS SOPS 3253107 HAS SOUS 2687364 HAS SOUPS 2687364 WITH SCORE 2690617.107
AT ITER 9450 NEW BEST:: SOT 32320465 SOS 3252987 HAS SOPS 3252987 HAS SOUS 2687244 HAS SOUPS 2687244 WITH SCORE 2690496.987
AT ITER 9454 NEW BEST:: SOT 32320417 SOS 3252891 HAS SOPS 3252891 HAS SOUS 2687148 HAS SOUPS 2687148 WITH SCORE 2690400.891
AT ITER 9458 NEW BEST:: SOT 32320230 SOS 3252032 HAS SOPS 3252032 HAS SOUS 2686774 HAS SOUPS 2686774 WITH SCORE 2690026.032
AT ITER 9481 NEW BEST:: SOT 32320194 SOS 3251960 HAS SOPS 3251960 HAS SOUS 2686738 HAS SOUPS 2686738 WITH SCORE 2689989.96
AT ITER 9485 NEW BEST:: SOT 32317555 SOS 3254836 HAS SOPS 3254836 HAS SOUS 2684906 HAS SOUPS 2684906 WITH SCORE 2688160.836
AT ITER 9488 NEW BEST:: SOT 32317368 SOS 3254462 HAS SOPS 3254462 HAS SOUS 2684656 HAS SOUPS 2684656 WITH SCORE 2687910.462
AT ITER 9515 NEW BEST:: SOT 32317138 SOS 3254285 HAS SOPS 3254285 HAS SOUS 2684143 HAS SOUPS 2684143 WITH SCORE 2687397.285
AT ITER 9527 NEW BEST:: SOT 32316688 SOS 3253792 HAS SOPS 3253792 HAS SOUS 2683544 HAS SOUPS 2683544 WITH SCORE 2686797.792
AT ITER 9541 NEW BEST:: SOT 32316688 SOS 3253558 HAS SOPS 3253558 HAS SOUS 2683544 HAS SOUPS 2683544 WITH SCORE 2686797.558
AT ITER 9548 NEW BEST:: SOT 32316318 SOS 3252818 HAS SOPS 3252818 HAS SOUS 2682758 HAS SOUPS 2682758 WITH SCORE 2686010.818
AT ITER 9550 NEW BEST:: SOT 32316278 SOS 3252738 HAS SOPS 3252738 HAS SOUS 2682678 HAS SOUPS 2682678 WITH SCORE 2685930.738
AT ITER 9564 NEW BEST:: SOT 32316267 SOS 3252716 HAS SOPS 3252716 HAS SOUS 2682667 HAS SOUPS 2682667 WITH SCORE 2685919.716
AT ITER 9584 NEW BEST:: SOT 32316040 SOS 3253300 HAS SOPS 3253300 HAS SOUS 2682589 HAS SOUPS 2682589 WITH SCORE 2685842.3
AT ITER 9605 NEW BEST:: SOT 32316040 SOS 3252800 HAS SOPS 3252800 HAS SOUS 2682569 HAS SOUPS 2682569 WITH SCORE 2685821.8
AT ITER 9623 NEW BEST:: SOT 32316040 SOS 3252647 HAS SOPS 3252647 HAS SOUS 2682569 HAS SOUPS 2682569 WITH SCORE 2685821.647
AT ITER 9667 NEW BEST:: SOT 32315963 SOS 3252717 HAS SOPS 3252717 HAS SOUS 2682492 HAS SOUPS 2682492 WITH SCORE 2685744.717
AT ITER 9670 NEW BEST:: SOT 32315904 SOS 3252599 HAS SOPS 3252599 HAS SOUS 2682374 HAS SOUPS 2682374 WITH SCORE 2685626.599
AT ITER 9676 NEW BEST:: SOT 32315396 SOS 3252157 HAS SOPS 3252157 HAS SOUS 2681865 HAS SOUPS 2681865 WITH SCORE 2685117.157
AT ITER 9742 NEW BEST:: SOT 32315342 SOS 3252211 HAS SOPS 3252211 HAS SOUS 2681811 HAS SOUPS 2681811 WITH SCORE 2685063.211
AT ITER 9783 NEW BEST:: SOT 32315381 SOS 3252289 HAS SOPS 3252289 HAS SOUS 2681575 HAS SOUPS 2681575 WITH SCORE 2684827.289
AT ITER 9816 NEW BEST:: SOT 32315410 SOS 3252256 HAS SOPS 3252256 HAS SOUS 2681542 HAS SOUPS 2681542 WITH SCORE 2684794.256
AT ITER 9832 NEW BEST:: SOT 32313116 SOS 3260567 HAS SOPS 3260567 HAS SOUS 2680709 HAS SOUPS 2680709 WITH SCORE 2683969.567
AT ITER 9839 NEW BEST:: SOT 32312828 SOS 3260331 HAS SOPS 3260331 HAS SOUS 2680473 HAS SOUPS 2680473 WITH SCORE 2683733.331
AT ITER 9870 NEW BEST:: SOT 32312691 SOS 3259594 HAS SOPS 3259594 HAS SOUS 2679871 HAS SOUPS 2679871 WITH SCORE 2683130.594
AT ITER 9918 NEW BEST:: SOT 32312691 SOS 3259510 HAS SOPS 3259510 HAS SOUS 2679871 HAS SOUPS 2679871 WITH SCORE 2683130.51
AT ITER 9937 NEW BEST:: SOT 32312691 SOS 3259280 HAS SOPS 3259280 HAS SOUS 2679862 HAS SOUPS 2679862 WITH SCORE 2683121.28
AT ITER 9993 NEW BEST:: SOT 32312271 SOS 3255500 HAS SOPS 3255500 HAS SOUS 2679442 HAS SOUPS 2679442 WITH SCORE 2682697.5
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12393028 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16145844 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="NoC3x3-PT-7B"
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 NoC3x3-PT-7B, 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 r259-smll-167863534400336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7B.tgz
mv NoC3x3-PT-7B 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 ;