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.r235-tall-167856421900512.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is LeafsetExtension-PT-S32C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 16:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678663432893

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S32C3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 23:23:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 23:23:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 23:23:54] [INFO ] Load time of PNML (sax parser for PT used): 221 ms
[2023-03-12 23:23:54] [INFO ] Transformed 5622 places.
[2023-03-12 23:23:54] [INFO ] Transformed 5449 transitions.
[2023-03-12 23:23:54] [INFO ] Parsed PT model containing 5622 places and 5449 transitions and 17500 arcs in 311 ms.
[2023-03-12 23:23:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5622 places, 5449 transitions and 17500 arcs took 56 ms.
Total runtime 395 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17081734 SOS 3627019 HAS SOPS 3606442 HAS SOUS 3197195 HAS SOUPS 3191954 WITH SCORE 3195581.019
AT ITER 4 NEW BEST:: SOT 17081379 SOS 3627117 HAS SOPS 3606540 HAS SOUS 3196938 HAS SOUPS 3191697 WITH SCORE 3195324.117
AT ITER 22 NEW BEST:: SOT 17081291 SOS 3627029 HAS SOPS 3606452 HAS SOUS 3196850 HAS SOUPS 3191609 WITH SCORE 3195236.029
AT ITER 23 NEW BEST:: SOT 17081037 SOS 3627029 HAS SOPS 3606452 HAS SOUS 3196596 HAS SOUPS 3191355 WITH SCORE 3194982.029
AT ITER 70 NEW BEST:: SOT 17080588 SOS 3627041 HAS SOPS 3606464 HAS SOUS 3196159 HAS SOUPS 3190918 WITH SCORE 3194545.041
AT ITER 116 NEW BEST:: SOT 17066661 SOS 3652994 HAS SOPS 3632417 HAS SOUS 3185059 HAS SOUPS 3179818 WITH SCORE 3183470.994
AT ITER 123 NEW BEST:: SOT 17051325 SOS 3701637 HAS SOPS 3681060 HAS SOUS 3174131 HAS SOUPS 3168890 WITH SCORE 3172591.637
AT ITER 136 NEW BEST:: SOT 17036479 SOS 3744234 HAS SOPS 3723657 HAS SOUS 3163811 HAS SOUPS 3158570 WITH SCORE 3162314.234
AT ITER 197 NEW BEST:: SOT 17034463 SOS 3742281 HAS SOPS 3721704 HAS SOUS 3161856 HAS SOUPS 3156615 WITH SCORE 3160357.281
AT ITER 226 NEW BEST:: SOT 17034463 SOS 3742282 HAS SOPS 3721705 HAS SOUS 3161834 HAS SOUPS 3156593 WITH SCORE 3160335.282
AT ITER 262 NEW BEST:: SOT 17021571 SOS 3744725 HAS SOPS 3709365 HAS SOUS 3149973 HAS SOUPS 3144253 WITH SCORE 3147997.725
AT ITER 301 NEW BEST:: SOT 17021346 SOS 3744509 HAS SOPS 3709149 HAS SOUS 3149748 HAS SOUPS 3144028 WITH SCORE 3147772.509
AT ITER 304 NEW BEST:: SOT 17021346 SOS 3744167 HAS SOPS 3708807 HAS SOUS 3149748 HAS SOUPS 3144028 WITH SCORE 3147772.167
AT ITER 309 NEW BEST:: SOT 17021123 SOS 3743721 HAS SOPS 3708361 HAS SOUS 3149525 HAS SOUPS 3143805 WITH SCORE 3147548.721
AT ITER 314 NEW BEST:: SOT 17020850 SOS 3743467 HAS SOPS 3708107 HAS SOUS 3149520 HAS SOUPS 3143800 WITH SCORE 3147543.467
AT ITER 320 NEW BEST:: SOT 17019341 SOS 3752303 HAS SOPS 3716897 HAS SOUS 3148826 HAS SOUPS 3143106 WITH SCORE 3146858.303
AT ITER 353 NEW BEST:: SOT 17018434 SOS 3750489 HAS SOPS 3715083 HAS SOUS 3147919 HAS SOUPS 3142199 WITH SCORE 3145949.489
AT ITER 413 NEW BEST:: SOT 17018218 SOS 3750489 HAS SOPS 3715083 HAS SOUS 3147703 HAS SOUPS 3141983 WITH SCORE 3145733.489
AT ITER 433 NEW BEST:: SOT 17017802 SOS 3750515 HAS SOPS 3715109 HAS SOUS 3147454 HAS SOUPS 3141734 WITH SCORE 3145484.515
AT ITER 445 NEW BEST:: SOT 17017802 SOS 3750514 HAS SOPS 3715108 HAS SOUS 3147453 HAS SOUPS 3141733 WITH SCORE 3145483.514
AT ITER 460 NEW BEST:: SOT 17017749 SOS 3750408 HAS SOPS 3715002 HAS SOUS 3147400 HAS SOUPS 3141680 WITH SCORE 3145430.408
AT ITER 462 NEW BEST:: SOT 17017693 SOS 3750408 HAS SOPS 3715002 HAS SOUS 3147344 HAS SOUPS 3141624 WITH SCORE 3145374.408
AT ITER 473 NEW BEST:: SOT 17016834 SOS 3749548 HAS SOPS 3714142 HAS SOUS 3146484 HAS SOUPS 3140764 WITH SCORE 3144513.548
AT ITER 594 NEW BEST:: SOT 17016834 SOS 3749441 HAS SOPS 3714035 HAS SOUS 3146484 HAS SOUPS 3140764 WITH SCORE 3144513.441
AT ITER 623 NEW BEST:: SOT 17016494 SOS 3749609 HAS SOPS 3714203 HAS SOUS 3146312 HAS SOUPS 3140592 WITH SCORE 3144341.609
AT ITER 630 NEW BEST:: SOT 17002097 SOS 3769395 HAS SOPS 3733989 HAS SOUS 3134501 HAS SOUPS 3128781 WITH SCORE 3132550.395
AT ITER 633 NEW BEST:: SOT 17002097 SOS 3769381 HAS SOPS 3733975 HAS SOUS 3134501 HAS SOUPS 3128781 WITH SCORE 3132550.381
AT ITER 636 NEW BEST:: SOT 17001765 SOS 3769092 HAS SOPS 3733686 HAS SOUS 3134223 HAS SOUPS 3128503 WITH SCORE 3132272.092
AT ITER 666 NEW BEST:: SOT 17001479 SOS 3768907 HAS SOPS 3733501 HAS SOUS 3134103 HAS SOUPS 3128383 WITH SCORE 3132151.907
AT ITER 712 NEW BEST:: SOT 17001198 SOS 3768638 HAS SOPS 3733232 HAS SOUS 3133822 HAS SOUPS 3128102 WITH SCORE 3131870.638
AT ITER 741 NEW BEST:: SOT 17001357 SOS 3768738 HAS SOPS 3733332 HAS SOUS 3133004 HAS SOUPS 3127284 WITH SCORE 3131052.738
AT ITER 743 NEW BEST:: SOT 17001357 SOS 3768198 HAS SOPS 3732792 HAS SOUS 3133004 HAS SOUPS 3127284 WITH SCORE 3131052.198
AT ITER 767 NEW BEST:: SOT 17001273 SOS 3769542 HAS SOPS 3732708 HAS SOUS 3133004 HAS SOUPS 3127200 WITH SCORE 3130969.542
AT ITER 807 NEW BEST:: SOT 17000995 SOS 3769542 HAS SOPS 3732708 HAS SOUS 3132726 HAS SOUPS 3126922 WITH SCORE 3130691.542
AT ITER 842 NEW BEST:: SOT 17000968 SOS 3769515 HAS SOPS 3732681 HAS SOUS 3132672 HAS SOUPS 3126868 WITH SCORE 3130637.515
AT ITER 856 NEW BEST:: SOT 17000876 SOS 3769423 HAS SOPS 3732497 HAS SOUS 3132719 HAS SOUPS 3126848 WITH SCORE 3130617.423
AT ITER 888 NEW BEST:: SOT 17000764 SOS 3769313 HAS SOPS 3732387 HAS SOUS 3132607 HAS SOUPS 3126736 WITH SCORE 3130505.313
AT ITER 1004 NEW BEST:: SOT 17000764 SOS 3769182 HAS SOPS 3732256 HAS SOUS 3132607 HAS SOUPS 3126736 WITH SCORE 3130505.182
AT ITER 1032 NEW BEST:: SOT 17002079 SOS 3770376 HAS SOPS 3723703 HAS SOUS 3130311 HAS SOUPS 3118536 WITH SCORE 3122306.376
AT ITER 1060 NEW BEST:: SOT 17001075 SOS 3781999 HAS SOPS 3735326 HAS SOUS 3130222 HAS SOUPS 3118447 WITH SCORE 3122228.999
AT ITER 1087 NEW BEST:: SOT 17000888 SOS 3781821 HAS SOPS 3735148 HAS SOUS 3130039 HAS SOUPS 3118264 WITH SCORE 3122045.821
AT ITER 1116 NEW BEST:: SOT 17000864 SOS 3781821 HAS SOPS 3735148 HAS SOUS 3130015 HAS SOUPS 3118240 WITH SCORE 3122021.821
AT ITER 1136 NEW BEST:: SOT 17000474 SOS 3782048 HAS SOPS 3735375 HAS SOUS 3129974 HAS SOUPS 3118199 WITH SCORE 3121981.048
AT ITER 1164 NEW BEST:: SOT 17000474 SOS 3781911 HAS SOPS 3735238 HAS SOUS 3129974 HAS SOUPS 3118199 WITH SCORE 3121980.911
AT ITER 1169 NEW BEST:: SOT 16999162 SOS 3791751 HAS SOPS 3733926 HAS SOUS 3129318 HAS SOUPS 3116887 WITH SCORE 3120678.751
AT ITER 1215 NEW BEST:: SOT 16999142 SOS 3791751 HAS SOPS 3733926 HAS SOUS 3129298 HAS SOUPS 3116867 WITH SCORE 3120658.751
AT ITER 1250 NEW BEST:: SOT 16998932 SOS 3791549 HAS SOPS 3733724 HAS SOUS 3129088 HAS SOUPS 3116657 WITH SCORE 3120448.549
AT ITER 1263 NEW BEST:: SOT 16998749 SOS 3791372 HAS SOPS 3733547 HAS SOUS 3128904 HAS SOUPS 3116473 WITH SCORE 3120264.372
AT ITER 1270 NEW BEST:: SOT 16998314 SOS 3791372 HAS SOPS 3733547 HAS SOUS 3128469 HAS SOUPS 3116038 WITH SCORE 3119829.372
AT ITER 1274 NEW BEST:: SOT 16997989 SOS 3790722 HAS SOPS 3732897 HAS SOUS 3128144 HAS SOUPS 3115713 WITH SCORE 3119503.722
AT ITER 1297 NEW BEST:: SOT 16997292 SOS 3790025 HAS SOPS 3732200 HAS SOUS 3127447 HAS SOUPS 3115016 WITH SCORE 3118806.025
AT ITER 1349 NEW BEST:: SOT 16996803 SOS 3798738 HAS SOPS 3731711 HAS SOUS 3127702 HAS SOUPS 3114860 WITH SCORE 3118658.738
AT ITER 1437 NEW BEST:: SOT 16995913 SOS 3798537 HAS SOPS 3731510 HAS SOUS 3126812 HAS SOUPS 3113970 WITH SCORE 3117768.537
AT ITER 1458 NEW BEST:: SOT 16995817 SOS 3799209 HAS SOPS 3731414 HAS SOUS 3126764 HAS SOUPS 3113874 WITH SCORE 3117673.209
AT ITER 1465 NEW BEST:: SOT 16995817 SOS 3799202 HAS SOPS 3731407 HAS SOUS 3126764 HAS SOUPS 3113874 WITH SCORE 3117673.202
AT ITER 1505 NEW BEST:: SOT 16995688 SOS 3799076 HAS SOPS 3731281 HAS SOUS 3126635 HAS SOUPS 3113745 WITH SCORE 3117544.076
AT ITER 1509 NEW BEST:: SOT 16995533 SOS 3798926 HAS SOPS 3731131 HAS SOUS 3126480 HAS SOUPS 3113590 WITH SCORE 3117388.926
AT ITER 1527 NEW BEST:: SOT 16995004 SOS 3797907 HAS SOPS 3730069 HAS SOUS 3125418 HAS SOUPS 3112528 WITH SCORE 3116325.907
AT ITER 1588 NEW BEST:: SOT 16995004 SOS 3797706 HAS SOPS 3729868 HAS SOUS 3125418 HAS SOUPS 3112528 WITH SCORE 3116325.706
AT ITER 1635 NEW BEST:: SOT 16994669 SOS 3797036 HAS SOPS 3729198 HAS SOUS 3125083 HAS SOUPS 3112193 WITH SCORE 3115990.036
AT ITER 1643 NEW BEST:: SOT 16994439 SOS 3796815 HAS SOPS 3728977 HAS SOUS 3124853 HAS SOUPS 3111963 WITH SCORE 3115759.815
AT ITER 1665 NEW BEST:: SOT 16993952 SOS 3805976 HAS SOPS 3728490 HAS SOUS 3125157 HAS SOUPS 3111841 WITH SCORE 3115646.976
AT ITER 1683 NEW BEST:: SOT 16993848 SOS 3805874 HAS SOPS 3728388 HAS SOUS 3125053 HAS SOUPS 3111737 WITH SCORE 3115542.874
AT ITER 1701 NEW BEST:: SOT 16993670 SOS 3805839 HAS SOPS 3728353 HAS SOUS 3125031 HAS SOUPS 3111715 WITH SCORE 3115520.839
AT ITER 1709 NEW BEST:: SOT 16993619 SOS 3805788 HAS SOPS 3728302 HAS SOUS 3124980 HAS SOUPS 3111664 WITH SCORE 3115469.788
AT ITER 1733 NEW BEST:: SOT 16993587 SOS 3805788 HAS SOPS 3728302 HAS SOUS 3124948 HAS SOUPS 3111632 WITH SCORE 3115437.788
AT ITER 1736 NEW BEST:: SOT 16993275 SOS 3806096 HAS SOPS 3728610 HAS SOUS 3124944 HAS SOUPS 3111628 WITH SCORE 3115434.096
AT ITER 1741 NEW BEST:: SOT 16993089 SOS 3805917 HAS SOPS 3728431 HAS SOUS 3124758 HAS SOUPS 3111442 WITH SCORE 3115247.917
AT ITER 1773 NEW BEST:: SOT 16993089 SOS 3805743 HAS SOPS 3728257 HAS SOUS 3124758 HAS SOUPS 3111442 WITH SCORE 3115247.743
AT ITER 1784 NEW BEST:: SOT 16992883 SOS 3805545 HAS SOPS 3728059 HAS SOUS 3124552 HAS SOUPS 3111236 WITH SCORE 3115041.545
AT ITER 1826 NEW BEST:: SOT 16992523 SOS 3805809 HAS SOPS 3728323 HAS SOUS 3124456 HAS SOUPS 3111140 WITH SCORE 3114945.809
AT ITER 1848 NEW BEST:: SOT 16992455 SOS 3805605 HAS SOPS 3726049 HAS SOUS 3122296 HAS SOUPS 3108980 WITH SCORE 3112785.605
AT ITER 1879 NEW BEST:: SOT 16992328 SOS 3805481 HAS SOPS 3725925 HAS SOUS 3122169 HAS SOUPS 3108853 WITH SCORE 3112658.481
AT ITER 1935 NEW BEST:: SOT 16991824 SOS 3804478 HAS SOPS 3724917 HAS SOUS 3121161 HAS SOUPS 3107845 WITH SCORE 3111649.478
AT ITER 2005 NEW BEST:: SOT 16991824 SOS 3804342 HAS SOPS 3724781 HAS SOUS 3121161 HAS SOUPS 3107845 WITH SCORE 3111649.342
AT ITER 2052 NEW BEST:: SOT 16991824 SOS 3798337 HAS SOPS 3718776 HAS SOUS 3121161 HAS SOUPS 3107845 WITH SCORE 3111643.337
AT ITER 2055 NEW BEST:: SOT 16991824 SOS 3793436 HAS SOPS 3713875 HAS SOUS 3121161 HAS SOUPS 3107845 WITH SCORE 3111638.436
AT ITER 2129 NEW BEST:: SOT 16991824 SOS 3793200 HAS SOPS 3713639 HAS SOUS 3121161 HAS SOUPS 3107845 WITH SCORE 3111638.2
AT ITER 2137 NEW BEST:: SOT 16991209 SOS 3792585 HAS SOPS 3713024 HAS SOUS 3120546 HAS SOUPS 3107230 WITH SCORE 3111022.585
AT ITER 2155 NEW BEST:: SOT 16991080 SOS 3792456 HAS SOPS 3712895 HAS SOUS 3120417 HAS SOUPS 3107101 WITH SCORE 3110893.456
AT ITER 2158 NEW BEST:: SOT 16990780 SOS 3792156 HAS SOPS 3712595 HAS SOUS 3120117 HAS SOUPS 3106801 WITH SCORE 3110593.156
AT ITER 2160 NEW BEST:: SOT 16990554 SOS 3791939 HAS SOPS 3712378 HAS SOUS 3119891 HAS SOUPS 3106575 WITH SCORE 3110366.939
AT ITER 2180 NEW BEST:: SOT 16990086 SOS 3791471 HAS SOPS 3711910 HAS SOUS 3119423 HAS SOUPS 3106107 WITH SCORE 3109898.471
AT ITER 2189 NEW BEST:: SOT 16989844 SOS 3791239 HAS SOPS 3711678 HAS SOUS 3119181 HAS SOUPS 3105865 WITH SCORE 3109656.239
AT ITER 2230 NEW BEST:: SOT 16989844 SOS 3791056 HAS SOPS 3711495 HAS SOUS 3119181 HAS SOUPS 3105865 WITH SCORE 3109656.056
AT ITER 2243 NEW BEST:: SOT 16989844 SOS 3791043 HAS SOPS 3711482 HAS SOUS 3119181 HAS SOUPS 3105865 WITH SCORE 3109656.043
AT ITER 2269 NEW BEST:: SOT 16987833 SOS 3789176 HAS SOPS 3709550 HAS SOUS 3117249 HAS SOUPS 3103933 WITH SCORE 3107722.176
AT ITER 2316 NEW BEST:: SOT 16987833 SOS 3789104 HAS SOPS 3709478 HAS SOUS 3117249 HAS SOUPS 3103933 WITH SCORE 3107722.104
AT ITER 2350 NEW BEST:: SOT 16987833 SOS 3788778 HAS SOPS 3709152 HAS SOUS 3117249 HAS SOUPS 3103933 WITH SCORE 3107721.778
AT ITER 2386 NEW BEST:: SOT 16987439 SOS 3787990 HAS SOPS 3708364 HAS SOUS 3116461 HAS SOUPS 3103145 WITH SCORE 3106932.99
AT ITER 2420 NEW BEST:: SOT 16987439 SOS 3787883 HAS SOPS 3708257 HAS SOUS 3116460 HAS SOUPS 3103144 WITH SCORE 3106931.883
AT ITER 2460 NEW BEST:: SOT 16987334 SOS 3787778 HAS SOPS 3708152 HAS SOUS 3116355 HAS SOUPS 3103039 WITH SCORE 3106826.778
AT ITER 2500 NEW BEST:: SOT 16986871 SOS 3787668 HAS SOPS 3708042 HAS SOUS 3116009 HAS SOUPS 3102693 WITH SCORE 3106480.668
AT ITER 2554 NEW BEST:: SOT 16975609 SOS 3825010 HAS SOPS 3745384 HAS SOUS 3107856 HAS SOUPS 3094540 WITH SCORE 3098365.01
AT ITER 2617 NEW BEST:: SOT 16975609 SOS 3824824 HAS SOPS 3742408 HAS SOUS 3104973 HAS SOUPS 3091657 WITH SCORE 3095481.824
AT ITER 2703 NEW BEST:: SOT 16975343 SOS 3824597 HAS SOPS 3742181 HAS SOUS 3104973 HAS SOUPS 3091657 WITH SCORE 3095481.597
AT ITER 2730 NEW BEST:: SOT 16974583 SOS 3823866 HAS SOPS 3741416 HAS SOUS 3104268 HAS SOUPS 3090952 WITH SCORE 3094775.866
AT ITER 2752 NEW BEST:: SOT 16974250 SOS 3823548 HAS SOPS 3741098 HAS SOUS 3103935 HAS SOUPS 3090619 WITH SCORE 3094442.548
AT ITER 2759 NEW BEST:: SOT 16973976 SOS 3823631 HAS SOPS 3741181 HAS SOUS 3103926 HAS SOUPS 3090610 WITH SCORE 3094433.631
AT ITER 2764 NEW BEST:: SOT 16973976 SOS 3823495 HAS SOPS 3741045 HAS SOUS 3103926 HAS SOUPS 3090610 WITH SCORE 3094433.495
AT ITER 2791 NEW BEST:: SOT 16973976 SOS 3823069 HAS SOPS 3740619 HAS SOUS 3103926 HAS SOUPS 3090610 WITH SCORE 3094433.069
AT ITER 2809 NEW BEST:: SOT 16973967 SOS 3823060 HAS SOPS 3740610 HAS SOUS 3103924 HAS SOUPS 3090608 WITH SCORE 3094431.06
AT ITER 2874 NEW BEST:: SOT 16973759 SOS 3822860 HAS SOPS 3740410 HAS SOUS 3103716 HAS SOUPS 3090400 WITH SCORE 3094222.86
AT ITER 2878 NEW BEST:: SOT 16973540 SOS 3822650 HAS SOPS 3740200 HAS SOUS 3103497 HAS SOUPS 3090181 WITH SCORE 3094003.65
AT ITER 2889 NEW BEST:: SOT 16973498 SOS 3822650 HAS SOPS 3740158 HAS SOUS 3103455 HAS SOUPS 3090139 WITH SCORE 3093961.65
AT ITER 2895 NEW BEST:: SOT 16972982 SOS 3822134 HAS SOPS 3739642 HAS SOUS 3102939 HAS SOUPS 3089623 WITH SCORE 3093445.134
AT ITER 2909 NEW BEST:: SOT 16972557 SOS 3822149 HAS SOPS 3739657 HAS SOUS 3102529 HAS SOUPS 3089213 WITH SCORE 3093035.149
AT ITER 3037 NEW BEST:: SOT 16972156 SOS 3822202 HAS SOPS 3739710 HAS SOUS 3102181 HAS SOUPS 3088865 WITH SCORE 3092687.202
AT ITER 3095 NEW BEST:: SOT 16972065 SOS 3822678 HAS SOPS 3740023 HAS SOUS 3102218 HAS SOUPS 3088739 WITH SCORE 3092561.678
AT ITER 3167 NEW BEST:: SOT 16972065 SOS 3822572 HAS SOPS 3739917 HAS SOUS 3102218 HAS SOUPS 3088739 WITH SCORE 3092561.572
AT ITER 3240 NEW BEST:: SOT 16971793 SOS 3822334 HAS SOPS 3739662 HAS SOUS 3102204 HAS SOUPS 3088708 WITH SCORE 3092530.334
AT ITER 3257 NEW BEST:: SOT 16971793 SOS 3822095 HAS SOPS 3739423 HAS SOUS 3102203 HAS SOUPS 3088707 WITH SCORE 3092529.095
AT ITER 3291 NEW BEST:: SOT 16971446 SOS 3822175 HAS SOPS 3739503 HAS SOUS 3101936 HAS SOUPS 3088440 WITH SCORE 3092262.175
AT ITER 3344 NEW BEST:: SOT 16971446 SOS 3822040 HAS SOPS 3739368 HAS SOUS 3101936 HAS SOUPS 3088440 WITH SCORE 3092262.04
AT ITER 3404 NEW BEST:: SOT 16971446 SOS 3822040 HAS SOPS 3739368 HAS SOUS 3101920 HAS SOUPS 3088424 WITH SCORE 3092246.04
AT ITER 3440 NEW BEST:: SOT 16971158 SOS 3824003 HAS SOPS 3739080 HAS SOUS 3101762 HAS SOUPS 3088136 WITH SCORE 3091960.003
AT ITER 3444 NEW BEST:: SOT 16971107 SOS 3823901 HAS SOPS 3738978 HAS SOUS 3101711 HAS SOUPS 3088085 WITH SCORE 3091908.901
AT ITER 3543 NEW BEST:: SOT 16971107 SOS 3823901 HAS SOPS 3738978 HAS SOUS 3101692 HAS SOUPS 3088066 WITH SCORE 3091889.901
AT ITER 3591 NEW BEST:: SOT 16955210 SOS 3815289 HAS SOPS 3730315 HAS SOUS 3086046 HAS SOUPS 3072420 WITH SCORE 3076235.289
AT ITER 3608 NEW BEST:: SOT 16955107 SOS 3815188 HAS SOPS 3730214 HAS SOUS 3085943 HAS SOUPS 3072317 WITH SCORE 3076132.188
AT ITER 3611 NEW BEST:: SOT 16954936 SOS 3815023 HAS SOPS 3730049 HAS SOUS 3085772 HAS SOUPS 3072146 WITH SCORE 3075961.023
AT ITER 3646 NEW BEST:: SOT 16954936 SOS 3810490 HAS SOPS 3725516 HAS SOUS 3085772 HAS SOUPS 3072146 WITH SCORE 3075956.49
AT ITER 3660 NEW BEST:: SOT 16954900 SOS 3810454 HAS SOPS 3725480 HAS SOUS 3085736 HAS SOUPS 3072110 WITH SCORE 3075920.454
AT ITER 3687 NEW BEST:: SOT 16954854 SOS 3810454 HAS SOPS 3725480 HAS SOUS 3085690 HAS SOUPS 3072064 WITH SCORE 3075874.454
AT ITER 3724 NEW BEST:: SOT 16954854 SOS 3810360 HAS SOPS 3725386 HAS SOUS 3085690 HAS SOUPS 3072064 WITH SCORE 3075874.36
AT ITER 3757 NEW BEST:: SOT 16954726 SOS 3810235 HAS SOPS 3725261 HAS SOUS 3085562 HAS SOUPS 3071936 WITH SCORE 3075746.235
AT ITER 3764 NEW BEST:: SOT 16954645 SOS 3810235 HAS SOPS 3725261 HAS SOUS 3085481 HAS SOUPS 3071855 WITH SCORE 3075665.235
AT ITER 3767 NEW BEST:: SOT 16954593 SOS 3810235 HAS SOPS 3725261 HAS SOUS 3085429 HAS SOUPS 3071803 WITH SCORE 3075613.235
AT ITER 3806 NEW BEST:: SOT 16954593 SOS 3810115 HAS SOPS 3725141 HAS SOUS 3085429 HAS SOUPS 3071803 WITH SCORE 3075613.115
AT ITER 3855 NEW BEST:: SOT 16954428 SOS 3808427 HAS SOPS 3723453 HAS SOUS 3085265 HAS SOUPS 3071639 WITH SCORE 3075447.427
AT ITER 3858 NEW BEST:: SOT 16954351 SOS 3808350 HAS SOPS 3723376 HAS SOUS 3085188 HAS SOUPS 3071562 WITH SCORE 3075370.35
AT ITER 3875 NEW BEST:: SOT 16953863 SOS 3808064 HAS SOPS 3723090 HAS SOUS 3084700 HAS SOUPS 3071074 WITH SCORE 3074882.064
AT ITER 3880 NEW BEST:: SOT 16953398 SOS 3808172 HAS SOPS 3723198 HAS SOUS 3084343 HAS SOUPS 3070717 WITH SCORE 3074525.172
AT ITER 3948 NEW BEST:: SOT 16953104 SOS 3807584 HAS SOPS 3722610 HAS SOUS 3084049 HAS SOUPS 3070423 WITH SCORE 3074230.584
AT ITER 3959 NEW BEST:: SOT 16952795 SOS 3806966 HAS SOPS 3721992 HAS SOUS 3083740 HAS SOUPS 3070114 WITH SCORE 3073920.966
AT ITER 3965 NEW BEST:: SOT 16952763 SOS 3806934 HAS SOPS 3721944 HAS SOUS 3083692 HAS SOUPS 3070066 WITH SCORE 3073872.934
AT ITER 4000 NEW BEST:: SOT 16952635 SOS 3806806 HAS SOPS 3721816 HAS SOUS 3083564 HAS SOUPS 3069938 WITH SCORE 3073744.806
AT ITER 4025 NEW BEST:: SOT 16952635 SOS 3806763 HAS SOPS 3721773 HAS SOUS 3083564 HAS SOUPS 3069938 WITH SCORE 3073744.763
AT ITER 4036 NEW BEST:: SOT 16952592 SOS 3806676 HAS SOPS 3719316 HAS SOUS 3081150 HAS SOUPS 3067524 WITH SCORE 3071330.676
AT ITER 4044 NEW BEST:: SOT 16952592 SOS 3806676 HAS SOPS 3719316 HAS SOUS 3081134 HAS SOUPS 3067508 WITH SCORE 3071314.676
AT ITER 4052 NEW BEST:: SOT 16951925 SOS 3806073 HAS SOPS 3718670 HAS SOUS 3080522 HAS SOUPS 3066896 WITH SCORE 3070702.073
AT ITER 4067 NEW BEST:: SOT 16951839 SOS 3805987 HAS SOPS 3718498 HAS SOUS 3080498 HAS SOUPS 3066866 WITH SCORE 3070671.987
AT ITER 4071 NEW BEST:: SOT 16951322 SOS 3805987 HAS SOPS 3718498 HAS SOUS 3079981 HAS SOUPS 3066349 WITH SCORE 3070154.987
AT ITER 4129 NEW BEST:: SOT 16951039 SOS 3805716 HAS SOPS 3718227 HAS SOUS 3079698 HAS SOUPS 3066066 WITH SCORE 3069871.716
AT ITER 4184 NEW BEST:: SOT 16950886 SOS 3805568 HAS SOPS 3718079 HAS SOUS 3079545 HAS SOUPS 3065913 WITH SCORE 3069718.568
AT ITER 4201 NEW BEST:: SOT 16950886 SOS 3805555 HAS SOPS 3718066 HAS SOUS 3079532 HAS SOUPS 3065900 WITH SCORE 3069705.555
AT ITER 4216 NEW BEST:: SOT 16950504 SOS 3805642 HAS SOPS 3718153 HAS SOUS 3078171 HAS SOUPS 3064539 WITH SCORE 3068344.642
AT ITER 4248 NEW BEST:: SOT 16950504 SOS 3805479 HAS SOPS 3717990 HAS SOUS 3078171 HAS SOUPS 3064539 WITH SCORE 3068344.479
AT ITER 4263 NEW BEST:: SOT 16950504 SOS 3805468 HAS SOPS 3717979 HAS SOUS 3078171 HAS SOUPS 3064539 WITH SCORE 3068344.468
AT ITER 4294 NEW BEST:: SOT 16938652 SOS 3818751 HAS SOPS 3731262 HAS SOUS 3068709 HAS SOUPS 3055077 WITH SCORE 3058895.751
AT ITER 4341 NEW BEST:: SOT 16938652 SOS 3818735 HAS SOPS 3731246 HAS SOUS 3068709 HAS SOUPS 3055077 WITH SCORE 3058895.735
AT ITER 4369 NEW BEST:: SOT 16936747 SOS 3821117 HAS SOPS 3733741 HAS SOUS 3067461 HAS SOUPS 3053829 WITH SCORE 3057650.117
AT ITER 4379 NEW BEST:: SOT 16936569 SOS 3820939 HAS SOPS 3733563 HAS SOUS 3067283 HAS SOUPS 3053651 WITH SCORE 3057471.939
AT ITER 4381 NEW BEST:: SOT 16936288 SOS 3820377 HAS SOPS 3733001 HAS SOUS 3066721 HAS SOUPS 3053089 WITH SCORE 3056909.377
AT ITER 4405 NEW BEST:: SOT 16935877 SOS 3819966 HAS SOPS 3732590 HAS SOUS 3066310 HAS SOUPS 3052678 WITH SCORE 3056497.966
AT ITER 4444 NEW BEST:: SOT 16935877 SOS 3819966 HAS SOPS 3732590 HAS SOUS 3066303 HAS SOUPS 3052671 WITH SCORE 3056490.966
AT ITER 4462 NEW BEST:: SOT 16935657 SOS 3819768 HAS SOPS 3732392 HAS SOUS 3066110 HAS SOUPS 3052478 WITH SCORE 3056297.768
AT ITER 4513 NEW BEST:: SOT 16935610 SOS 3808105 HAS SOPS 3720729 HAS SOUS 3065700 HAS SOUPS 3052068 WITH SCORE 3055876.105
AT ITER 4540 NEW BEST:: SOT 16935610 SOS 3807757 HAS SOPS 3720381 HAS SOUS 3065700 HAS SOUPS 3052068 WITH SCORE 3055875.757
AT ITER 4541 NEW BEST:: SOT 16935610 SOS 3801880 HAS SOPS 3714504 HAS SOUS 3065700 HAS SOUPS 3052068 WITH SCORE 3055869.88
AT ITER 4574 NEW BEST:: SOT 16935221 SOS 3801880 HAS SOPS 3714504 HAS SOUS 3065311 HAS SOUPS 3051679 WITH SCORE 3055480.88
AT ITER 4575 NEW BEST:: SOT 16934875 SOS 3801972 HAS SOPS 3714596 HAS SOUS 3065057 HAS SOUPS 3051425 WITH SCORE 3055226.972
AT ITER 4585 NEW BEST:: SOT 16934875 SOS 3801964 HAS SOPS 3714588 HAS SOUS 3065038 HAS SOUPS 3051406 WITH SCORE 3055207.964
AT ITER 4589 NEW BEST:: SOT 16934789 SOS 3795073 HAS SOPS 3707697 HAS SOUS 3064867 HAS SOUPS 3051235 WITH SCORE 3055030.073
AT ITER 4670 NEW BEST:: SOT 16934418 SOS 3795249 HAS SOPS 3707873 HAS SOUS 3064672 HAS SOUPS 3051040 WITH SCORE 3054835.249
AT ITER 4684 NEW BEST:: SOT 16934418 SOS 3795239 HAS SOPS 3707863 HAS SOUS 3064672 HAS SOUPS 3051040 WITH SCORE 3054835.239
AT ITER 4694 NEW BEST:: SOT 16934418 SOS 3795113 HAS SOPS 3707737 HAS SOUS 3064672 HAS SOUPS 3051040 WITH SCORE 3054835.113
AT ITER 4722 NEW BEST:: SOT 16933818 SOS 3798113 HAS SOPS 3707337 HAS SOUS 3064272 HAS SOUPS 3050440 WITH SCORE 3054238.113
AT ITER 4743 NEW BEST:: SOT 16933644 SOS 3797945 HAS SOPS 3707169 HAS SOUS 3064098 HAS SOUPS 3050266 WITH SCORE 3054063.945
AT ITER 4800 NEW BEST:: SOT 16933563 SOS 3792455 HAS SOPS 3701679 HAS SOUS 3063936 HAS SOUPS 3050104 WITH SCORE 3053896.455
AT ITER 4815 NEW BEST:: SOT 16933563 SOS 3792335 HAS SOPS 3701559 HAS SOUS 3063936 HAS SOUPS 3050104 WITH SCORE 3053896.335
AT ITER 4848 NEW BEST:: SOT 16933557 SOS 3792321 HAS SOPS 3701545 HAS SOUS 3063924 HAS SOUPS 3050092 WITH SCORE 3053884.321
AT ITER 4862 NEW BEST:: SOT 16933253 SOS 3792017 HAS SOPS 3701241 HAS SOUS 3063620 HAS SOUPS 3049788 WITH SCORE 3053580.017
AT ITER 4873 NEW BEST:: SOT 16933063 SOS 3791834 HAS SOPS 3701058 HAS SOUS 3063430 HAS SOUPS 3049598 WITH SCORE 3053389.834
AT ITER 4876 NEW BEST:: SOT 16933030 SOS 3792251 HAS SOPS 3701050 HAS SOUS 3063447 HAS SOUPS 3049590 WITH SCORE 3053382.251
AT ITER 4913 NEW BEST:: SOT 16932925 SOS 3792148 HAS SOPS 3700947 HAS SOUS 3063342 HAS SOUPS 3049485 WITH SCORE 3053277.148
AT ITER 4916 NEW BEST:: SOT 16932386 SOS 3757287 HAS SOPS 3666086 HAS SOUS 3062209 HAS SOUPS 3048352 WITH SCORE 3052109.287
AT ITER 4970 NEW BEST:: SOT 16932386 SOS 3757284 HAS SOPS 3666083 HAS SOUS 3062209 HAS SOUPS 3048352 WITH SCORE 3052109.284
AT ITER 4971 NEW BEST:: SOT 16932363 SOS 3757284 HAS SOPS 3666083 HAS SOUS 3062186 HAS SOUPS 3048329 WITH SCORE 3052086.284
AT ITER 5006 NEW BEST:: SOT 16932363 SOS 3757120 HAS SOPS 3665919 HAS SOUS 3062186 HAS SOUPS 3048329 WITH SCORE 3052086.12
AT ITER 5038 NEW BEST:: SOT 16932207 SOS 3756808 HAS SOPS 3665607 HAS SOUS 3062030 HAS SOUPS 3048173 WITH SCORE 3051929.808
AT ITER 5071 NEW BEST:: SOT 16932053 SOS 3756659 HAS SOPS 3665458 HAS SOUS 3061876 HAS SOUPS 3048019 WITH SCORE 3051775.659
AT ITER 5076 NEW BEST:: SOT 16932053 SOS 3756650 HAS SOPS 3665449 HAS SOUS 3061876 HAS SOUPS 3048019 WITH SCORE 3051775.65
AT ITER 5079 NEW BEST:: SOT 16931998 SOS 3755791 HAS SOPS 3664590 HAS SOUS 3061766 HAS SOUPS 3047909 WITH SCORE 3051664.791
AT ITER 5081 NEW BEST:: SOT 16931396 SOS 3755189 HAS SOPS 3663988 HAS SOUS 3061164 HAS SOUPS 3047307 WITH SCORE 3051062.189
AT ITER 5116 NEW BEST:: SOT 16931370 SOS 3755146 HAS SOPS 3663945 HAS SOUS 3061112 HAS SOUPS 3047255 WITH SCORE 3051010.146
AT ITER 5169 NEW BEST:: SOT 16930940 SOS 3758777 HAS SOPS 3663515 HAS SOUS 3060897 HAS SOUPS 3046825 WITH SCORE 3050583.777
AT ITER 5214 NEW BEST:: SOT 16930823 SOS 3758663 HAS SOPS 3663401 HAS SOUS 3060780 HAS SOUPS 3046708 WITH SCORE 3050466.663
AT ITER 5265 NEW BEST:: SOT 16930799 SOS 3758639 HAS SOPS 3663377 HAS SOUS 3060711 HAS SOUPS 3046639 WITH SCORE 3050397.639
AT ITER 5272 NEW BEST:: SOT 16930799 SOS 3758433 HAS SOPS 3663171 HAS SOUS 3060711 HAS SOUPS 3046639 WITH SCORE 3050397.433
AT ITER 5284 NEW BEST:: SOT 16921094 SOS 3763199 HAS SOPS 3667937 HAS SOUS 3052262 HAS SOUPS 3038190 WITH SCORE 3041953.199
AT ITER 5297 NEW BEST:: SOT 16921094 SOS 3763184 HAS SOPS 3667922 HAS SOUS 3052262 HAS SOUPS 3038190 WITH SCORE 3041953.184
AT ITER 5326 NEW BEST:: SOT 16921094 SOS 3762963 HAS SOPS 3667701 HAS SOUS 3052262 HAS SOUPS 3038190 WITH SCORE 3041952.963
AT ITER 5405 NEW BEST:: SOT 16921094 SOS 3762759 HAS SOPS 3667497 HAS SOUS 3052262 HAS SOUPS 3038190 WITH SCORE 3041952.759
AT ITER 5416 NEW BEST:: SOT 16920925 SOS 3762590 HAS SOPS 3667328 HAS SOUS 3052093 HAS SOUPS 3038021 WITH SCORE 3041783.59
AT ITER 5449 NEW BEST:: SOT 16920793 SOS 3762913 HAS SOPS 3667519 HAS SOUS 3051961 HAS SOUPS 3037757 WITH SCORE 3041519.913
AT ITER 5456 NEW BEST:: SOT 16920793 SOS 3762450 HAS SOPS 3667056 HAS SOUS 3051961 HAS SOUPS 3037757 WITH SCORE 3041519.45
AT ITER 5465 NEW BEST:: SOT 16920596 SOS 3762330 HAS SOPS 3666936 HAS SOUS 3051896 HAS SOUPS 3037692 WITH SCORE 3041454.33
AT ITER 5486 NEW BEST:: SOT 16920596 SOS 3762264 HAS SOPS 3666870 HAS SOUS 3051896 HAS SOUPS 3037692 WITH SCORE 3041454.264
AT ITER 5513 NEW BEST:: SOT 16920596 SOS 3762241 HAS SOPS 3666847 HAS SOUS 3051896 HAS SOUPS 3037692 WITH SCORE 3041454.241
AT ITER 5528 NEW BEST:: SOT 16920429 SOS 3762074 HAS SOPS 3666680 HAS SOUS 3051729 HAS SOUPS 3037525 WITH SCORE 3041287.074
AT ITER 5557 NEW BEST:: SOT 16920429 SOS 3762073 HAS SOPS 3666679 HAS SOUS 3051729 HAS SOUPS 3037525 WITH SCORE 3041287.073
AT ITER 5584 NEW BEST:: SOT 16907688 SOS 3755714 HAS SOPS 3660299 HAS SOUS 3039577 HAS SOUPS 3025373 WITH SCORE 3029128.714
AT ITER 5619 NEW BEST:: SOT 16907558 SOS 3755584 HAS SOPS 3660169 HAS SOUS 3039447 HAS SOUPS 3025243 WITH SCORE 3028998.584
AT ITER 5715 NEW BEST:: SOT 16907467 SOS 3748750 HAS SOPS 3653335 HAS SOUS 3039266 HAS SOUPS 3025062 WITH SCORE 3028810.75
AT ITER 5784 NEW BEST:: SOT 16907467 SOS 3748714 HAS SOPS 3653299 HAS SOUS 3039266 HAS SOUPS 3025062 WITH SCORE 3028810.714
AT ITER 5815 NEW BEST:: SOT 16907413 SOS 3748664 HAS SOPS 3653249 HAS SOUS 3039162 HAS SOUPS 3024958 WITH SCORE 3028706.664
AT ITER 5821 NEW BEST:: SOT 16901789 SOS 3743707 HAS SOPS 3647917 HAS SOUS 3033241 HAS SOUPS 3019037 WITH SCORE 3022780.707
AT ITER 5849 NEW BEST:: SOT 16901789 SOS 3743659 HAS SOPS 3647869 HAS SOUS 3033241 HAS SOUPS 3019037 WITH SCORE 3022780.659
AT ITER 5890 NEW BEST:: SOT 16901196 SOS 3742473 HAS SOPS 3646683 HAS SOUS 3032648 HAS SOUPS 3018444 WITH SCORE 3022186.473
AT ITER 5892 NEW BEST:: SOT 16901196 SOS 3742332 HAS SOPS 3646542 HAS SOUS 3032648 HAS SOUPS 3018444 WITH SCORE 3022186.332
AT ITER 5906 NEW BEST:: SOT 16901076 SOS 3742215 HAS SOPS 3646425 HAS SOUS 3032528 HAS SOUPS 3018324 WITH SCORE 3022066.215
AT ITER 5936 NEW BEST:: SOT 16900678 SOS 3742243 HAS SOPS 3646453 HAS SOUS 3032131 HAS SOUPS 3017927 WITH SCORE 3021669.243
AT ITER 5947 NEW BEST:: SOT 16900597 SOS 3742162 HAS SOPS 3646372 HAS SOUS 3032050 HAS SOUPS 3017846 WITH SCORE 3021588.162
AT ITER 5951 NEW BEST:: SOT 16900597 SOS 3741966 HAS SOPS 3646176 HAS SOUS 3032050 HAS SOUPS 3017846 WITH SCORE 3021587.966
AT ITER 6041 NEW BEST:: SOT 16888473 SOS 3773974 HAS SOPS 3678184 HAS SOUS 3022890 HAS SOUPS 3008686 WITH SCORE 3012459.974
AT ITER 6060 NEW BEST:: SOT 16888193 SOS 3774190 HAS SOPS 3678400 HAS SOUS 3022826 HAS SOUPS 3008622 WITH SCORE 3012396.19
AT ITER 6072 NEW BEST:: SOT 16888047 SOS 3774048 HAS SOPS 3678258 HAS SOUS 3022680 HAS SOUPS 3008476 WITH SCORE 3012250.048
AT ITER 6087 NEW BEST:: SOT 16887888 SOS 3773940 HAS SOPS 3678150 HAS SOUS 3022555 HAS SOUPS 3008351 WITH SCORE 3012124.94
AT ITER 6183 NEW BEST:: SOT 16885742 SOS 3778089 HAS SOPS 3682647 HAS SOUS 3021118 HAS SOUPS 3006914 WITH SCORE 3010692.089
AT ITER 6218 NEW BEST:: SOT 16885301 SOS 3777648 HAS SOPS 3682206 HAS SOUS 3020677 HAS SOUPS 3006473 WITH SCORE 3010250.648
AT ITER 6301 NEW BEST:: SOT 16885201 SOS 3777659 HAS SOPS 3682117 HAS SOUS 3020577 HAS SOUPS 3006273 WITH SCORE 3010050.659
AT ITER 6302 NEW BEST:: SOT 16884999 SOS 3777263 HAS SOPS 3681721 HAS SOUS 3020375 HAS SOUPS 3006071 WITH SCORE 3009848.263
AT ITER 6306 NEW BEST:: SOT 16884368 SOS 3783296 HAS SOPS 3681482 HAS SOUS 3020686 HAS SOUPS 3005990 WITH SCORE 3009773.296
AT ITER 6399 NEW BEST:: SOT 16884180 SOS 3783108 HAS SOPS 3681294 HAS SOUS 3020537 HAS SOUPS 3005841 WITH SCORE 3009624.108
AT ITER 6496 NEW BEST:: SOT 16884180 SOS 3783099 HAS SOPS 3681285 HAS SOUS 3020537 HAS SOUPS 3005841 WITH SCORE 3009624.099
AT ITER 6518 NEW BEST:: SOT 16884180 SOS 3782635 HAS SOPS 3680821 HAS SOUS 3020537 HAS SOUPS 3005841 WITH SCORE 3009623.635
AT ITER 6543 NEW BEST:: SOT 16883730 SOS 3782689 HAS SOPS 3680875 HAS SOUS 3020141 HAS SOUPS 3005445 WITH SCORE 3009227.689
AT ITER 6557 NEW BEST:: SOT 16872408 SOS 3836016 HAS SOPS 3734202 HAS SOUS 3013227 HAS SOUPS 2998531 WITH SCORE 3002367.016
AT ITER 6583 NEW BEST:: SOT 16872408 SOS 3835787 HAS SOPS 3733973 HAS SOUS 3013227 HAS SOUPS 2998531 WITH SCORE 3002366.787
AT ITER 6588 NEW BEST:: SOT 16872203 SOS 3835590 HAS SOPS 3733776 HAS SOUS 3013022 HAS SOUPS 2998326 WITH SCORE 3002161.59
AT ITER 6605 NEW BEST:: SOT 16872203 SOS 3835445 HAS SOPS 3733631 HAS SOUS 3013022 HAS SOUPS 2998326 WITH SCORE 3002161.445
AT ITER 6606 NEW BEST:: SOT 16872203 SOS 3835437 HAS SOPS 3733623 HAS SOUS 3013021 HAS SOUPS 2998325 WITH SCORE 3002160.437
AT ITER 6689 NEW BEST:: SOT 16871433 SOS 3849621 HAS SOPS 3732178 HAS SOUS 3013230 HAS SOUPS 2997859 WITH SCORE 3001708.621
AT ITER 6708 NEW BEST:: SOT 16871433 SOS 3849537 HAS SOPS 3732094 HAS SOUS 3013146 HAS SOUPS 2997775 WITH SCORE 3001624.537
AT ITER 6744 NEW BEST:: SOT 16870605 SOS 3856769 HAS SOPS 3730892 HAS SOUS 3012627 HAS SOUPS 2996882 WITH SCORE 3000738.769
AT ITER 6760 NEW BEST:: SOT 16870518 SOS 3856769 HAS SOPS 3730805 HAS SOUS 3012540 HAS SOUPS 2996795 WITH SCORE 3000651.769
AT ITER 6778 NEW BEST:: SOT 16739724 SOS 5804230 HAS SOPS 5678266 HAS SOUS 2888515 HAS SOUPS 2872770 WITH SCORE 2878574.23
AT ITER 6787 NEW BEST:: SOT 16739724 SOS 5804077 HAS SOPS 5678113 HAS SOUS 2888515 HAS SOUPS 2872770 WITH SCORE 2878574.077
AT ITER 6791 NEW BEST:: SOT 16738988 SOS 5802605 HAS SOPS 5676641 HAS SOUS 2887779 HAS SOUPS 2872034 WITH SCORE 2877836.605
AT ITER 6819 NEW BEST:: SOT 16727224 SOS 5811409 HAS SOPS 5685445 HAS SOUS 2877089 HAS SOUPS 2861344 WITH SCORE 2867155.409
AT ITER 6885 NEW BEST:: SOT 16727224 SOS 5811409 HAS SOPS 5685445 HAS SOUS 2876667 HAS SOUPS 2860922 WITH SCORE 2866733.409
AT ITER 6890 NEW BEST:: SOT 16727184 SOS 5811815 HAS SOPS 5685735 HAS SOUS 2876627 HAS SOUPS 2860766 WITH SCORE 2866577.815
AT ITER 6900 NEW BEST:: SOT 16727328 SOS 5811959 HAS SOPS 5685879 HAS SOUS 2876314 HAS SOUPS 2860453 WITH SCORE 2866264.959
AT ITER 6945 NEW BEST:: SOT 16727328 SOS 5811959 HAS SOPS 5685879 HAS SOUS 2875917 HAS SOUPS 2860056 WITH SCORE 2865867.959
AT ITER 6947 NEW BEST:: SOT 16727327 SOS 5811958 HAS SOPS 5685878 HAS SOUS 2875916 HAS SOUPS 2860055 WITH SCORE 2865866.958
AT ITER 6960 NEW BEST:: SOT 16727298 SOS 5766903 HAS SOPS 5640823 HAS SOUS 2875232 HAS SOUPS 2859371 WITH SCORE 2865137.903
AT ITER 6982 NEW BEST:: SOT 16726997 SOS 5766628 HAS SOPS 5640548 HAS SOUS 2874967 HAS SOUPS 2859106 WITH SCORE 2864872.628
AT ITER 6988 NEW BEST:: SOT 16726997 SOS 5766628 HAS SOPS 5640548 HAS SOUS 2874741 HAS SOUPS 2858880 WITH SCORE 2864646.628
AT ITER 7014 NEW BEST:: SOT 16726997 SOS 5766564 HAS SOPS 5640484 HAS SOUS 2874741 HAS SOUPS 2858880 WITH SCORE 2864646.564
AT ITER 7024 NEW BEST:: SOT 16726997 SOS 5766564 HAS SOPS 5640484 HAS SOUS 2874468 HAS SOUPS 2858607 WITH SCORE 2864373.564
AT ITER 7030 NEW BEST:: SOT 16726997 SOS 5766326 HAS SOPS 5640246 HAS SOUS 2874468 HAS SOUPS 2858607 WITH SCORE 2864373.326
AT ITER 7072 NEW BEST:: SOT 16726863 SOS 5766195 HAS SOPS 5640115 HAS SOUS 2874333 HAS SOUPS 2858472 WITH SCORE 2864238.195
AT ITER 7111 NEW BEST:: SOT 16726742 SOS 5766077 HAS SOPS 5639997 HAS SOUS 2874212 HAS SOUPS 2858351 WITH SCORE 2864117.077
AT ITER 7124 NEW BEST:: SOT 16726742 SOS 5765957 HAS SOPS 5639877 HAS SOUS 2874212 HAS SOUPS 2858351 WITH SCORE 2864116.957
AT ITER 7163 NEW BEST:: SOT 16726742 SOS 5765901 HAS SOPS 5639821 HAS SOUS 2874212 HAS SOUPS 2858351 WITH SCORE 2864116.901
AT ITER 7197 NEW BEST:: SOT 16727065 SOS 5766224 HAS SOPS 5640144 HAS SOUS 2874168 HAS SOUPS 2858307 WITH SCORE 2864073.224
AT ITER 7224 NEW BEST:: SOT 16727056 SOS 5766103 HAS SOPS 5635411 HAS SOUS 2869700 HAS SOUPS 2853822 WITH SCORE 2859588.103
AT ITER 7251 NEW BEST:: SOT 16725292 SOS 5765685 HAS SOPS 5635082 HAS SOUS 2868248 HAS SOUPS 2852370 WITH SCORE 2858135.685
AT ITER 7267 NEW BEST:: SOT 16725292 SOS 5765685 HAS SOPS 5635082 HAS SOUS 2867843 HAS SOUPS 2851965 WITH SCORE 2857730.685
AT ITER 7313 NEW BEST:: SOT 16725292 SOS 5765685 HAS SOPS 5635082 HAS SOUS 2867471 HAS SOUPS 2851593 WITH SCORE 2857358.685
AT ITER 7314 NEW BEST:: SOT 16724990 SOS 5765396 HAS SOPS 5634793 HAS SOUS 2867169 HAS SOUPS 2851291 WITH SCORE 2857056.396
AT ITER 7324 NEW BEST:: SOT 16724990 SOS 5765243 HAS SOPS 5634640 HAS SOUS 2867169 HAS SOUPS 2851291 WITH SCORE 2857056.243
AT ITER 7352 NEW BEST:: SOT 16724946 SOS 5765243 HAS SOPS 5634640 HAS SOUS 2867125 HAS SOUPS 2851247 WITH SCORE 2857012.243
AT ITER 7353 NEW BEST:: SOT 16724946 SOS 5765243 HAS SOPS 5634640 HAS SOUS 2866814 HAS SOUPS 2850936 WITH SCORE 2856701.243
AT ITER 7363 NEW BEST:: SOT 16724892 SOS 5765176 HAS SOPS 5634573 HAS SOUS 2866705 HAS SOUPS 2850827 WITH SCORE 2856592.176
AT ITER 7387 NEW BEST:: SOT 16724892 SOS 5765176 HAS SOPS 5634573 HAS SOUS 2866251 HAS SOUPS 2850373 WITH SCORE 2856138.176
AT ITER 7399 NEW BEST:: SOT 16724834 SOS 5765176 HAS SOPS 5634573 HAS SOUS 2866193 HAS SOUPS 2850315 WITH SCORE 2856080.176
AT ITER 7400 NEW BEST:: SOT 16724834 SOS 5765166 HAS SOPS 5634563 HAS SOUS 2866192 HAS SOUPS 2850314 WITH SCORE 2856079.166
AT ITER 7411 NEW BEST:: SOT 16724834 SOS 5765138 HAS SOPS 5634535 HAS SOUS 2866192 HAS SOUPS 2850314 WITH SCORE 2856079.138
AT ITER 7412 NEW BEST:: SOT 16724834 SOS 5765138 HAS SOPS 5634535 HAS SOUS 2865674 HAS SOUPS 2849796 WITH SCORE 2855561.138
AT ITER 7415 NEW BEST:: SOT 16724834 SOS 5765117 HAS SOPS 5634514 HAS SOUS 2865674 HAS SOUPS 2849796 WITH SCORE 2855561.117
AT ITER 7437 NEW BEST:: SOT 16725014 SOS 5765297 HAS SOPS 5634694 HAS SOUS 2865415 HAS SOUPS 2849537 WITH SCORE 2855302.297
AT ITER 7492 NEW BEST:: SOT 16725014 SOS 5765240 HAS SOPS 5634637 HAS SOUS 2865415 HAS SOUPS 2849537 WITH SCORE 2855302.24
AT ITER 7514 NEW BEST:: SOT 16725148 SOS 5765374 HAS SOPS 5634771 HAS SOUS 2865087 HAS SOUPS 2849209 WITH SCORE 2854974.374
AT ITER 7520 NEW BEST:: SOT 16724740 SOS 5765594 HAS SOPS 5634991 HAS SOUS 2864899 HAS SOUPS 2849021 WITH SCORE 2854786.594
AT ITER 7586 NEW BEST:: SOT 16724740 SOS 5765570 HAS SOPS 5634967 HAS SOUS 2864899 HAS SOUPS 2849021 WITH SCORE 2854786.57
AT ITER 7604 NEW BEST:: SOT 16724740 SOS 5765570 HAS SOPS 5634967 HAS SOUS 2864454 HAS SOUPS 2848576 WITH SCORE 2854341.57
AT ITER 7611 NEW BEST:: SOT 16724117 SOS 5764877 HAS SOPS 5634274 HAS SOUS 2863761 HAS SOUPS 2847883 WITH SCORE 2853647.877
AT ITER 7682 NEW BEST:: SOT 16724321 SOS 5765081 HAS SOPS 5634478 HAS SOUS 2863709 HAS SOUPS 2847831 WITH SCORE 2853596.081
AT ITER 7697 NEW BEST:: SOT 16721533 SOS 5769919 HAS SOPS 5640283 HAS SOUS 2861948 HAS SOUPS 2846070 WITH SCORE 2851839.919
AT ITER 7769 NEW BEST:: SOT 16721533 SOS 5769919 HAS SOPS 5640283 HAS SOUS 2861431 HAS SOUPS 2845553 WITH SCORE 2851322.919
AT ITER 7776 NEW BEST:: SOT 16721603 SOS 5769989 HAS SOPS 5640353 HAS SOUS 2861007 HAS SOUPS 2845129 WITH SCORE 2850898.989
AT ITER 7785 NEW BEST:: SOT 16721603 SOS 5769826 HAS SOPS 5640190 HAS SOUS 2861007 HAS SOUPS 2845129 WITH SCORE 2850898.826
AT ITER 7804 NEW BEST:: SOT 16721603 SOS 5769826 HAS SOPS 5640190 HAS SOUS 2860672 HAS SOUPS 2844794 WITH SCORE 2850563.826
AT ITER 7823 NEW BEST:: SOT 16721603 SOS 5769826 HAS SOPS 5640190 HAS SOUS 2860207 HAS SOUPS 2844329 WITH SCORE 2850098.826
AT ITER 7838 NEW BEST:: SOT 16721536 SOS 5769759 HAS SOPS 5640123 HAS SOUS 2860073 HAS SOUPS 2844195 WITH SCORE 2849964.759
AT ITER 7845 NEW BEST:: SOT 16721536 SOS 5769759 HAS SOPS 5640123 HAS SOUS 2859658 HAS SOUPS 2843780 WITH SCORE 2849549.759
AT ITER 7895 NEW BEST:: SOT 16721536 SOS 5769673 HAS SOPS 5640037 HAS SOUS 2859658 HAS SOUPS 2843780 WITH SCORE 2849549.673
AT ITER 7906 NEW BEST:: SOT 16721421 SOS 5769558 HAS SOPS 5639808 HAS SOUS 2859542 HAS SOUPS 2843664 WITH SCORE 2849433.558
AT ITER 7913 NEW BEST:: SOT 16721421 SOS 5769558 HAS SOPS 5639808 HAS SOUS 2859035 HAS SOUPS 2843157 WITH SCORE 2848926.558
AT ITER 7949 NEW BEST:: SOT 16721421 SOS 5769539 HAS SOPS 5639789 HAS SOUS 2859035 HAS SOUPS 2843157 WITH SCORE 2848926.539
AT ITER 7967 NEW BEST:: SOT 16721421 SOS 5769514 HAS SOPS 5639764 HAS SOUS 2859035 HAS SOUPS 2843157 WITH SCORE 2848926.514
AT ITER 7977 NEW BEST:: SOT 16720967 SOS 5769302 HAS SOPS 5639552 HAS SOUS 2858581 HAS SOUPS 2842703 WITH SCORE 2848472.302
AT ITER 8001 NEW BEST:: SOT 16720718 SOS 5768804 HAS SOPS 5638805 HAS SOUS 2858320 HAS SOUPS 2842205 WITH SCORE 2847973.804
AT ITER 8032 NEW BEST:: SOT 16720718 SOS 5768804 HAS SOPS 5638805 HAS SOUS 2857845 HAS SOUPS 2841730 WITH SCORE 2847498.804
AT ITER 8046 NEW BEST:: SOT 16720718 SOS 5768804 HAS SOPS 5638805 HAS SOUS 2857419 HAS SOUPS 2841304 WITH SCORE 2847072.804
AT ITER 8070 NEW BEST:: SOT 16720718 SOS 5768481 HAS SOPS 5638482 HAS SOUS 2857419 HAS SOUPS 2841304 WITH SCORE 2847072.481
AT ITER 8117 NEW BEST:: SOT 16720085 SOS 5771429 HAS SOPS 5638058 HAS SOUS 2857385 HAS SOUPS 2841061 WITH SCORE 2846832.429
AT ITER 8180 NEW BEST:: SOT 16720085 SOS 5771279 HAS SOPS 5637908 HAS SOUS 2857385 HAS SOUPS 2841061 WITH SCORE 2846832.279
AT ITER 8239 NEW BEST:: SOT 16718762 SOS 5778948 HAS SOPS 5637071 HAS SOUS 2857372 HAS SOUPS 2840562 WITH SCORE 2846340.948
AT ITER 8329 NEW BEST:: SOT 16716720 SOS 5801226 HAS SOPS 5636055 HAS SOUS 2856734 HAS SOUPS 2838811 WITH SCORE 2844612.226
AT ITER 8331 NEW BEST:: SOT 16716720 SOS 5801226 HAS SOPS 5636055 HAS SOUS 2856246 HAS SOUPS 2838323 WITH SCORE 2844124.226
AT ITER 8366 NEW BEST:: SOT 16716674 SOS 5801180 HAS SOPS 5636009 HAS SOUS 2856198 HAS SOUPS 2838275 WITH SCORE 2844076.18
AT ITER 8373 NEW BEST:: SOT 16716581 SOS 5801087 HAS SOPS 5635823 HAS SOUS 2856150 HAS SOUPS 2838227 WITH SCORE 2844028.087
AT ITER 8409 NEW BEST:: SOT 16716404 SOS 5800916 HAS SOPS 5635652 HAS SOUS 2855973 HAS SOUPS 2838050 WITH SCORE 2843850.916
AT ITER 8422 NEW BEST:: SOT 16716404 SOS 5800895 HAS SOPS 5635631 HAS SOUS 2855973 HAS SOUPS 2838050 WITH SCORE 2843850.895
AT ITER 8428 NEW BEST:: SOT 16716399 SOS 5800885 HAS SOPS 5635621 HAS SOUS 2855963 HAS SOUPS 2838040 WITH SCORE 2843840.885
AT ITER 8460 NEW BEST:: SOT 16716390 SOS 5800963 HAS SOPS 5635699 HAS SOUS 2855954 HAS SOUPS 2838031 WITH SCORE 2843831.963
AT ITER 8491 NEW BEST:: SOT 16716390 SOS 5800912 HAS SOPS 5635648 HAS SOUS 2855954 HAS SOUPS 2838031 WITH SCORE 2843831.912
AT ITER 8527 NEW BEST:: SOT 16716392 SOS 5800914 HAS SOPS 5635650 HAS SOUS 2855755 HAS SOUPS 2837832 WITH SCORE 2843632.914
AT ITER 8528 NEW BEST:: SOT 16716306 SOS 5800914 HAS SOPS 5635650 HAS SOUS 2855669 HAS SOUPS 2837746 WITH SCORE 2843546.914
AT ITER 8540 NEW BEST:: SOT 16716146 SOS 5800759 HAS SOPS 5635495 HAS SOUS 2855509 HAS SOUPS 2837586 WITH SCORE 2843386.759
AT ITER 8571 NEW BEST:: SOT 16715378 SOS 5799641 HAS SOPS 5633959 HAS SOUS 2853973 HAS SOUPS 2836050 WITH SCORE 2841849.641
AT ITER 8593 NEW BEST:: SOT 16715292 SOS 5799572 HAS SOPS 5633898 HAS SOUS 2853912 HAS SOUPS 2835989 WITH SCORE 2841788.572
AT ITER 8601 NEW BEST:: SOT 16715292 SOS 5799572 HAS SOPS 5633898 HAS SOUS 2853516 HAS SOUPS 2835593 WITH SCORE 2841392.572
AT ITER 8643 NEW BEST:: SOT 16710424 SOS 5817089 HAS SOPS 5652386 HAS SOUS 2851272 HAS SOUPS 2833349 WITH SCORE 2839166.089
AT ITER 8694 NEW BEST:: SOT 16710424 SOS 5817089 HAS SOPS 5652386 HAS SOUS 2850914 HAS SOUPS 2832991 WITH SCORE 2838808.089
AT ITER 8720 NEW BEST:: SOT 16710198 SOS 5817129 HAS SOPS 5652426 HAS SOUS 2850855 HAS SOUPS 2832932 WITH SCORE 2838749.129
AT ITER 8780 NEW BEST:: SOT 16710197 SOS 5817128 HAS SOPS 5652425 HAS SOUS 2850853 HAS SOUPS 2832930 WITH SCORE 2838747.128
AT ITER 8789 NEW BEST:: SOT 16710143 SOS 5817128 HAS SOPS 5652425 HAS SOUS 2850799 HAS SOUPS 2832876 WITH SCORE 2838693.128
AT ITER 8791 NEW BEST:: SOT 16710403 SOS 5817388 HAS SOPS 5652685 HAS SOUS 2850660 HAS SOUPS 2832737 WITH SCORE 2838554.388
AT ITER 8799 NEW BEST:: SOT 16710403 SOS 5817388 HAS SOPS 5652685 HAS SOUS 2850484 HAS SOUPS 2832561 WITH SCORE 2838378.388
AT ITER 8816 NEW BEST:: SOT 16710403 SOS 5817388 HAS SOPS 5652685 HAS SOUS 2850290 HAS SOUPS 2832367 WITH SCORE 2838184.388
AT ITER 8823 NEW BEST:: SOT 16710403 SOS 5817388 HAS SOPS 5652685 HAS SOUS 2850245 HAS SOUPS 2832322 WITH SCORE 2838139.388
AT ITER 8842 NEW BEST:: SOT 16710403 SOS 5817388 HAS SOPS 5652685 HAS SOUS 2849959 HAS SOUPS 2832036 WITH SCORE 2837853.388
AT ITER 8856 NEW BEST:: SOT 16710403 SOS 5817193 HAS SOPS 5652475 HAS SOUS 2849959 HAS SOUPS 2832036 WITH SCORE 2837853.193
AT ITER 8867 NEW BEST:: SOT 16710523 SOS 5817313 HAS SOPS 5652595 HAS SOUS 2849610 HAS SOUPS 2831687 WITH SCORE 2837504.313
AT ITER 8889 NEW BEST:: SOT 16710523 SOS 5817313 HAS SOPS 5652595 HAS SOUS 2849122 HAS SOUPS 2831199 WITH SCORE 2837016.313
AT ITER 8896 NEW BEST:: SOT 16710523 SOS 5817313 HAS SOPS 5652595 HAS SOUS 2848723 HAS SOUPS 2830800 WITH SCORE 2836617.313
AT ITER 8902 NEW BEST:: SOT 16710458 SOS 5817248 HAS SOPS 5652441 HAS SOUS 2848658 HAS SOUPS 2830735 WITH SCORE 2836552.248
AT ITER 8916 NEW BEST:: SOT 16710273 SOS 5818016 HAS SOPS 5653209 HAS SOUS 2848644 HAS SOUPS 2830721 WITH SCORE 2836539.016
AT ITER 8938 NEW BEST:: SOT 16710305 SOS 5818048 HAS SOPS 5653241 HAS SOUS 2848163 HAS SOUPS 2830240 WITH SCORE 2836058.048
AT ITER 8942 NEW BEST:: SOT 16710305 SOS 5818048 HAS SOPS 5653241 HAS SOUS 2847735 HAS SOUPS 2829812 WITH SCORE 2835630.048
AT ITER 8967 NEW BEST:: SOT 16710305 SOS 5818039 HAS SOPS 5653232 HAS SOUS 2847735 HAS SOUPS 2829812 WITH SCORE 2835630.039
AT ITER 8980 NEW BEST:: SOT 16710305 SOS 5818018 HAS SOPS 5653211 HAS SOUS 2847735 HAS SOUPS 2829812 WITH SCORE 2835630.018
AT ITER 8987 NEW BEST:: SOT 16710305 SOS 5817765 HAS SOPS 5652958 HAS SOUS 2847735 HAS SOUPS 2829812 WITH SCORE 2835629.765
AT ITER 9055 NEW BEST:: SOT 16710245 SOS 5817607 HAS SOPS 5649901 HAS SOUS 2844775 HAS SOUPS 2826852 WITH SCORE 2832669.607
AT ITER 9094 NEW BEST:: SOT 16710275 SOS 5817637 HAS SOPS 5649931 HAS SOUS 2844290 HAS SOUPS 2826367 WITH SCORE 2832184.637
AT ITER 9098 NEW BEST:: SOT 16709842 SOS 5817778 HAS SOPS 5650072 HAS SOUS 2844197 HAS SOUPS 2826274 WITH SCORE 2832091.778
AT ITER 9127 NEW BEST:: SOT 16709842 SOS 5817778 HAS SOPS 5650072 HAS SOUS 2843682 HAS SOUPS 2825759 WITH SCORE 2831576.778
AT ITER 9147 NEW BEST:: SOT 16709814 SOS 5817618 HAS SOPS 5649912 HAS SOUS 2843654 HAS SOUPS 2825731 WITH SCORE 2831548.618
AT ITER 9148 NEW BEST:: SOT 16709814 SOS 5814289 HAS SOPS 5646583 HAS SOUS 2843654 HAS SOUPS 2825731 WITH SCORE 2831545.289
AT ITER 9199 NEW BEST:: SOT 16709780 SOS 5814467 HAS SOPS 5646337 HAS SOUS 2843586 HAS SOUPS 2825663 WITH SCORE 2831477.467
AT ITER 9200 NEW BEST:: SOT 16709780 SOS 5814467 HAS SOPS 5646337 HAS SOUS 2843585 HAS SOUPS 2825662 WITH SCORE 2831476.467
AT ITER 9201 NEW BEST:: SOT 16707093 SOS 5822373 HAS SOPS 5644239 HAS SOUS 2841781 HAS SOUPS 2823269 WITH SCORE 2829091.373
AT ITER 9260 NEW BEST:: SOT 16707093 SOS 5822119 HAS SOPS 5643985 HAS SOUS 2841781 HAS SOUPS 2823269 WITH SCORE 2829091.119
AT ITER 9302 NEW BEST:: SOT 16706935 SOS 5821969 HAS SOPS 5643835 HAS SOUS 2841623 HAS SOUPS 2823111 WITH SCORE 2828932.969
AT ITER 9305 NEW BEST:: SOT 16706935 SOS 5821969 HAS SOPS 5643835 HAS SOUS 2841386 HAS SOUPS 2822874 WITH SCORE 2828695.969
AT ITER 9329 NEW BEST:: SOT 16706935 SOS 5821942 HAS SOPS 5643808 HAS SOUS 2841359 HAS SOUPS 2822847 WITH SCORE 2828668.942
AT ITER 9374 NEW BEST:: SOT 16706151 SOS 5821090 HAS SOPS 5642956 HAS SOUS 2840728 HAS SOUPS 2822216 WITH SCORE 2828037.09
AT ITER 9376 NEW BEST:: SOT 16706151 SOS 5820991 HAS SOPS 5642857 HAS SOUS 2840728 HAS SOUPS 2822216 WITH SCORE 2828036.991
AT ITER 9396 NEW BEST:: SOT 16706151 SOS 5820503 HAS SOPS 5642857 HAS SOUS 2840728 HAS SOUPS 2822216 WITH SCORE 2828036.503
AT ITER 9430 NEW BEST:: SOT 16693030 SOS 5836383 HAS SOPS 5658737 HAS SOUS 2830323 HAS SOUPS 2811811 WITH SCORE 2817647.383
AT ITER 9435 NEW BEST:: SOT 16693030 SOS 5836362 HAS SOPS 5658716 HAS SOUS 2830323 HAS SOUPS 2811811 WITH SCORE 2817647.362
AT ITER 9461 NEW BEST:: SOT 16692914 SOS 5835764 HAS SOPS 5657885 HAS SOUS 2830144 HAS SOUPS 2811632 WITH SCORE 2817467.764
AT ITER 9471 NEW BEST:: SOT 16692914 SOS 5835764 HAS SOPS 5657885 HAS SOUS 2829673 HAS SOUPS 2811161 WITH SCORE 2816996.764
AT ITER 9480 NEW BEST:: SOT 16691987 SOS 5834837 HAS SOPS 5656958 HAS SOUS 2827819 HAS SOUPS 2809307 WITH SCORE 2815141.837
AT ITER 9483 NEW BEST:: SOT 16691808 SOS 5834926 HAS SOPS 5657047 HAS SOUS 2827729 HAS SOUPS 2809217 WITH SCORE 2815051.926
AT ITER 9495 NEW BEST:: SOT 16691808 SOS 5828974 HAS SOPS 5651095 HAS SOUS 2827543 HAS SOUPS 2809031 WITH SCORE 2814859.974
AT ITER 9502 NEW BEST:: SOT 16691288 SOS 5828605 HAS SOPS 5651150 HAS SOUS 2827263 HAS SOUPS 2808751 WITH SCORE 2814579.605
AT ITER 9518 NEW BEST:: SOT 16691410 SOS 5828727 HAS SOPS 5651272 HAS SOUS 2826917 HAS SOUPS 2808405 WITH SCORE 2814233.727
AT ITER 9555 NEW BEST:: SOT 16691410 SOS 5828727 HAS SOPS 5651272 HAS SOUS 2826867 HAS SOUPS 2808355 WITH SCORE 2814183.727
AT ITER 9564 NEW BEST:: SOT 16691361 SOS 5828727 HAS SOPS 5651272 HAS SOUS 2826818 HAS SOUPS 2808306 WITH SCORE 2814134.727
AT ITER 9568 NEW BEST:: SOT 16691361 SOS 5828430 HAS SOPS 5650975 HAS SOUS 2826817 HAS SOUPS 2808305 WITH SCORE 2814133.43
AT ITER 9573 NEW BEST:: SOT 16691302 SOS 5828371 HAS SOPS 5650916 HAS SOUS 2826699 HAS SOUPS 2808187 WITH SCORE 2814015.371
AT ITER 9626 NEW BEST:: SOT 16690686 SOS 5827799 HAS SOPS 5650366 HAS SOUS 2826127 HAS SOUPS 2807615 WITH SCORE 2813442.799
AT ITER 9643 NEW BEST:: SOT 16690162 SOS 5827281 HAS SOPS 5649848 HAS SOUS 2825266 HAS SOUPS 2806754 WITH SCORE 2812581.281
AT ITER 9654 NEW BEST:: SOT 16690162 SOS 5827117 HAS SOPS 5649539 HAS SOUS 2825266 HAS SOUPS 2806754 WITH SCORE 2812581.117
AT ITER 9704 NEW BEST:: SOT 16685542 SOS 5828234 HAS SOPS 5651514 HAS SOUS 2822057 HAS SOUPS 2803545 WITH SCORE 2809373.234
AT ITER 9716 NEW BEST:: SOT 16685241 SOS 5828524 HAS SOPS 5651804 HAS SOUS 2822039 HAS SOUPS 2803527 WITH SCORE 2809355.524
AT ITER 9740 NEW BEST:: SOT 16685241 SOS 5828524 HAS SOPS 5651804 HAS SOUS 2821562 HAS SOUPS 2803050 WITH SCORE 2808878.524
AT ITER 9791 NEW BEST:: SOT 16685241 SOS 5828524 HAS SOPS 5651804 HAS SOUS 2821265 HAS SOUPS 2802753 WITH SCORE 2808581.524
AT ITER 9864 NEW BEST:: SOT 16685227 SOS 5828510 HAS SOPS 5651790 HAS SOUS 2821251 HAS SOUPS 2802739 WITH SCORE 2808567.51
AT ITER 9869 NEW BEST:: SOT 16685227 SOS 5828510 HAS SOPS 5651790 HAS SOUS 2821164 HAS SOUPS 2802652 WITH SCORE 2808480.51
AT ITER 9906 NEW BEST:: SOT 16684892 SOS 5827619 HAS SOPS 5650899 HAS SOUS 2820371 HAS SOUPS 2801859 WITH SCORE 2807686.619
AT ITER 9911 NEW BEST:: SOT 16684892 SOS 5826856 HAS SOPS 5650136 HAS SOUS 2820371 HAS SOUPS 2801859 WITH SCORE 2807685.856
AT ITER 9960 NEW BEST:: SOT 16684674 SOS 5826591 HAS SOPS 5649871 HAS SOUS 2819996 HAS SOUPS 2801484 WITH SCORE 2807310.591
AT ITER 9963 NEW BEST:: SOT 16684674 SOS 5826422 HAS SOPS 5649702 HAS SOUS 2819996 HAS SOUPS 2801484 WITH SCORE 2807310.422
AT ITER 9981 NEW BEST:: SOT 16682047 SOS 5826823 HAS SOPS 5651231 HAS SOUS 2819105 HAS SOUPS 2800593 WITH SCORE 2806419.823
AT ITER 9983 NEW BEST:: SOT 16682047 SOS 5826823 HAS SOPS 5651231 HAS SOUS 2819092 HAS SOUPS 2800580 WITH SCORE 2806406.823
AT ITER 9989 NEW BEST:: SOT 16682223 SOS 5826999 HAS SOPS 5651407 HAS SOUS 2818827 HAS SOUPS 2800315 WITH SCORE 2806141.999
AT ITER 9991 NEW BEST:: SOT 16682223 SOS 5826947 HAS SOPS 5651355 HAS SOUS 2818827 HAS SOUPS 2800315 WITH SCORE 2806141.947
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4564212 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114168 kB

BK_TIME_CONFINEMENT_REACHED

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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