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.r099-tall-167814472900776.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 DLCround-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900776
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 5.9K Feb 25 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 18:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 18:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 1678263765840

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=DLCround-PT-12b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12b
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: 4848 places, 7836 transitions, 22188 arcs.
AT ITER 0 NEW BEST:: SOT 24787847 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3212168 HAS SOUPS 3212168 WITH SCORE 3218201.677
AT ITER 6 NEW BEST:: SOT 24787892 SOS 6033374 HAS SOPS 6033374 HAS SOUS 3212127 HAS SOUPS 3212127 WITH SCORE 3218160.374
AT ITER 38 NEW BEST:: SOT 24787796 SOS 6033182 HAS SOPS 6033182 HAS SOUS 3211935 HAS SOUPS 3211935 WITH SCORE 3217968.182
AT ITER 69 NEW BEST:: SOT 24787617 SOS 6032824 HAS SOPS 6032824 HAS SOUS 3211756 HAS SOUPS 3211756 WITH SCORE 3217788.824
AT ITER 78 NEW BEST:: SOT 24787617 SOS 6031772 HAS SOPS 6031772 HAS SOUS 3211756 HAS SOUPS 3211756 WITH SCORE 3217787.772
AT ITER 87 NEW BEST:: SOT 24787616 SOS 6031770 HAS SOPS 6031770 HAS SOUS 3211754 HAS SOUPS 3211754 WITH SCORE 3217785.77
AT ITER 96 NEW BEST:: SOT 24787616 SOS 6031083 HAS SOPS 6031083 HAS SOUS 3211525 HAS SOUPS 3211525 WITH SCORE 3217556.083
AT ITER 102 NEW BEST:: SOT 24786936 SOS 6030949 HAS SOPS 6030949 HAS SOUS 3211117 HAS SOUPS 3211117 WITH SCORE 3217147.949
AT ITER 152 NEW BEST:: SOT 24786936 SOS 6030133 HAS SOPS 6030133 HAS SOUS 3210845 HAS SOUPS 3210845 WITH SCORE 3216875.133
AT ITER 197 NEW BEST:: SOT 24786936 SOS 6029964 HAS SOPS 6029964 HAS SOUS 3210676 HAS SOUPS 3210676 WITH SCORE 3216705.964
AT ITER 200 NEW BEST:: SOT 24786936 SOS 6030332 HAS SOPS 6030332 HAS SOUS 3210674 HAS SOUPS 3210674 WITH SCORE 3216704.332
AT ITER 208 NEW BEST:: SOT 24786532 SOS 6029524 HAS SOPS 6029524 HAS SOUS 3210381 HAS SOUPS 3210381 WITH SCORE 3216410.524
AT ITER 210 NEW BEST:: SOT 24786339 SOS 6030024 HAS SOPS 6030024 HAS SOUS 3210187 HAS SOUPS 3210187 WITH SCORE 3216217.024
AT ITER 212 NEW BEST:: SOT 24785339 SOS 6029111 HAS SOPS 6029111 HAS SOUS 3209274 HAS SOUPS 3209274 WITH SCORE 3215303.111
AT ITER 239 NEW BEST:: SOT 24785339 SOS 6029007 HAS SOPS 6029007 HAS SOUS 3209170 HAS SOUPS 3209170 WITH SCORE 3215199.007
AT ITER 281 NEW BEST:: SOT 24785218 SOS 6028765 HAS SOPS 6028765 HAS SOUS 3208928 HAS SOUPS 3208928 WITH SCORE 3214956.765
AT ITER 294 NEW BEST:: SOT 24785048 SOS 6028425 HAS SOPS 6028425 HAS SOUS 3208588 HAS SOUPS 3208588 WITH SCORE 3214616.425
AT ITER 304 NEW BEST:: SOT 24783633 SOS 6027007 HAS SOPS 6027007 HAS SOUS 3207170 HAS SOUPS 3207170 WITH SCORE 3213197.007
AT ITER 307 NEW BEST:: SOT 24783439 SOS 6026422 HAS SOPS 6026422 HAS SOUS 3206781 HAS SOUPS 3206781 WITH SCORE 3212807.422
AT ITER 312 NEW BEST:: SOT 24783106 SOS 6026089 HAS SOPS 6026089 HAS SOUS 3206781 HAS SOUPS 3206781 WITH SCORE 3212807.089
AT ITER 363 NEW BEST:: SOT 24782998 SOS 6026194 HAS SOPS 6026194 HAS SOUS 3206672 HAS SOUPS 3206672 WITH SCORE 3212698.194
AT ITER 377 NEW BEST:: SOT 24781895 SOS 6026685 HAS SOPS 6026685 HAS SOUS 3204465 HAS SOUPS 3204465 WITH SCORE 3210491.685
AT ITER 379 NEW BEST:: SOT 24781958 SOS 6026811 HAS SOPS 6026811 HAS SOUS 3203574 HAS SOUPS 3203574 WITH SCORE 3209600.811
AT ITER 385 NEW BEST:: SOT 24781785 SOS 6026808 HAS SOPS 6026808 HAS SOUS 3203573 HAS SOUPS 3203573 WITH SCORE 3209599.808
AT ITER 395 NEW BEST:: SOT 24781785 SOS 6025644 HAS SOPS 6025644 HAS SOUS 3203572 HAS SOUPS 3203572 WITH SCORE 3209597.644
AT ITER 396 NEW BEST:: SOT 24781675 SOS 6025754 HAS SOPS 6025754 HAS SOUS 3203462 HAS SOUPS 3203462 WITH SCORE 3209487.754
AT ITER 438 NEW BEST:: SOT 24781583 SOS 6025570 HAS SOPS 6025570 HAS SOUS 3203077 HAS SOUPS 3203077 WITH SCORE 3209102.57
AT ITER 447 NEW BEST:: SOT 24781278 SOS 6026296 HAS SOPS 6026296 HAS SOUS 3203031 HAS SOUPS 3203031 WITH SCORE 3209057.296
AT ITER 529 NEW BEST:: SOT 24781260 SOS 6026260 HAS SOPS 6026260 HAS SOUS 3202995 HAS SOUPS 3202995 WITH SCORE 3209021.26
AT ITER 533 NEW BEST:: SOT 24781260 SOS 6026650 HAS SOPS 6026650 HAS SOUS 3202993 HAS SOUPS 3202993 WITH SCORE 3209019.65
AT ITER 540 NEW BEST:: SOT 24780219 SOS 6025593 HAS SOPS 6025593 HAS SOUS 3201951 HAS SOUPS 3201951 WITH SCORE 3207976.593
AT ITER 584 NEW BEST:: SOT 24780149 SOS 6025453 HAS SOPS 6025453 HAS SOUS 3201881 HAS SOUPS 3201881 WITH SCORE 3207906.453
AT ITER 600 NEW BEST:: SOT 24779589 SOS 6026009 HAS SOPS 6026009 HAS SOUS 3200760 HAS SOUPS 3200760 WITH SCORE 3206786.009
AT ITER 638 NEW BEST:: SOT 24779475 SOS 6026911 HAS SOPS 6026911 HAS SOUS 3200645 HAS SOUPS 3200645 WITH SCORE 3206671.911
AT ITER 641 NEW BEST:: SOT 24778672 SOS 6027666 HAS SOPS 6027666 HAS SOUS 3200566 HAS SOUPS 3200566 WITH SCORE 3206593.666
AT ITER 647 NEW BEST:: SOT 24775676 SOS 6029798 HAS SOPS 6029798 HAS SOUS 3197999 HAS SOUPS 3197999 WITH SCORE 3204028.798
AT ITER 667 NEW BEST:: SOT 24775426 SOS 6029298 HAS SOPS 6029298 HAS SOUS 3197748 HAS SOUPS 3197748 WITH SCORE 3203777.298
AT ITER 703 NEW BEST:: SOT 24775139 SOS 6029011 HAS SOPS 6029011 HAS SOUS 3197461 HAS SOUPS 3197461 WITH SCORE 3203490.011
AT ITER 715 NEW BEST:: SOT 24775138 SOS 6030538 HAS SOPS 6030538 HAS SOUS 3197458 HAS SOUPS 3197458 WITH SCORE 3203488.538
AT ITER 716 NEW BEST:: SOT 24775213 SOS 6029784 HAS SOPS 6029784 HAS SOUS 3197081 HAS SOUPS 3197081 WITH SCORE 3203110.784
AT ITER 723 NEW BEST:: SOT 24774931 SOS 6029781 HAS SOPS 6029781 HAS SOUS 3197080 HAS SOUPS 3197080 WITH SCORE 3203109.781
AT ITER 726 NEW BEST:: SOT 24774550 SOS 6028257 HAS SOPS 6028257 HAS SOUS 3196318 HAS SOUPS 3196318 WITH SCORE 3202346.257
AT ITER 727 NEW BEST:: SOT 24774550 SOS 6028185 HAS SOPS 6028185 HAS SOUS 3196282 HAS SOUPS 3196282 WITH SCORE 3202310.185
AT ITER 745 NEW BEST:: SOT 24774271 SOS 6028182 HAS SOPS 6028182 HAS SOUS 3196002 HAS SOUPS 3196002 WITH SCORE 3202030.182
AT ITER 751 NEW BEST:: SOT 24774024 SOS 6028066 HAS SOPS 6028066 HAS SOUS 3195886 HAS SOUPS 3195886 WITH SCORE 3201914.066
AT ITER 772 NEW BEST:: SOT 24774023 SOS 6028064 HAS SOPS 6028064 HAS SOUS 3195884 HAS SOUPS 3195884 WITH SCORE 3201912.064
AT ITER 784 NEW BEST:: SOT 24774023 SOS 6028064 HAS SOPS 6028064 HAS SOUS 3195883 HAS SOUPS 3195883 WITH SCORE 3201911.064
AT ITER 798 NEW BEST:: SOT 24774023 SOS 6028063 HAS SOPS 6028063 HAS SOUS 3195882 HAS SOUPS 3195882 WITH SCORE 3201910.063
AT ITER 805 NEW BEST:: SOT 24774023 SOS 6028063 HAS SOPS 6028063 HAS SOUS 3195880 HAS SOUPS 3195880 WITH SCORE 3201908.063
AT ITER 813 NEW BEST:: SOT 24772963 SOS 6028060 HAS SOPS 6028060 HAS SOUS 3193759 HAS SOUPS 3193759 WITH SCORE 3199787.06
AT ITER 817 NEW BEST:: SOT 24771823 SOS 6027164 HAS SOPS 6027164 HAS SOUS 3192863 HAS SOUPS 3192863 WITH SCORE 3198890.164
AT ITER 818 NEW BEST:: SOT 24771823 SOS 6026554 HAS SOPS 6026554 HAS SOUS 3192253 HAS SOUPS 3192253 WITH SCORE 3198279.554
AT ITER 825 NEW BEST:: SOT 24767969 SOS 6022432 HAS SOPS 6022432 HAS SOUS 3188697 HAS SOUPS 3188697 WITH SCORE 3194719.432
AT ITER 829 NEW BEST:: SOT 24768704 SOS 6023902 HAS SOPS 6023902 HAS SOUS 3188508 HAS SOUPS 3188508 WITH SCORE 3194531.902
AT ITER 832 NEW BEST:: SOT 24767829 SOS 6023892 HAS SOPS 6023892 HAS SOUS 3187970 HAS SOUPS 3187970 WITH SCORE 3193993.892
AT ITER 848 NEW BEST:: SOT 24768012 SOS 6022544 HAS SOPS 6022544 HAS SOUS 3187238 HAS SOUPS 3187238 WITH SCORE 3193260.544
AT ITER 850 NEW BEST:: SOT 24767838 SOS 6022583 HAS SOPS 6022583 HAS SOUS 3187193 HAS SOUPS 3187193 WITH SCORE 3193215.583
AT ITER 854 NEW BEST:: SOT 24767287 SOS 6020379 HAS SOPS 6020379 HAS SOUS 3186642 HAS SOUPS 3186642 WITH SCORE 3192662.379
AT ITER 870 NEW BEST:: SOT 24767109 SOS 6020023 HAS SOPS 6020023 HAS SOUS 3185825 HAS SOUPS 3185825 WITH SCORE 3191845.023
AT ITER 875 NEW BEST:: SOT 24767525 SOS 6019191 HAS SOPS 6019191 HAS SOUS 3185825 HAS SOUPS 3185825 WITH SCORE 3191844.191
AT ITER 898 NEW BEST:: SOT 24766992 SOS 6018125 HAS SOPS 6018125 HAS SOUS 3184759 HAS SOUPS 3184759 WITH SCORE 3190777.125
AT ITER 917 NEW BEST:: SOT 24766992 SOS 6018125 HAS SOPS 6018125 HAS SOUS 3184758 HAS SOUPS 3184758 WITH SCORE 3190776.125
AT ITER 938 NEW BEST:: SOT 24766491 SOS 6018954 HAS SOPS 6018954 HAS SOUS 3183546 HAS SOUPS 3183546 WITH SCORE 3189564.954
AT ITER 946 NEW BEST:: SOT 24766491 SOS 6018828 HAS SOPS 6018828 HAS SOUS 3183420 HAS SOUPS 3183420 WITH SCORE 3189438.828
AT ITER 954 NEW BEST:: SOT 24766232 SOS 6019215 HAS SOPS 6019215 HAS SOUS 3183289 HAS SOUPS 3183289 WITH SCORE 3189308.215
AT ITER 965 NEW BEST:: SOT 24765373 SOS 6018356 HAS SOPS 6018356 HAS SOUS 3181571 HAS SOUPS 3181571 WITH SCORE 3187589.356
AT ITER 976 NEW BEST:: SOT 24764152 SOS 6017125 HAS SOPS 6017125 HAS SOUS 3180349 HAS SOUPS 3180349 WITH SCORE 3186366.125
AT ITER 986 NEW BEST:: SOT 24763414 SOS 6016540 HAS SOPS 6016540 HAS SOUS 3179764 HAS SOUPS 3179764 WITH SCORE 3185780.54
AT ITER 992 NEW BEST:: SOT 24762861 SOS 6016530 HAS SOPS 6016530 HAS SOUS 3179595 HAS SOUPS 3179595 WITH SCORE 3185611.53
AT ITER 1017 NEW BEST:: SOT 24762816 SOS 6017915 HAS SOPS 6017915 HAS SOUS 3178810 HAS SOUPS 3178810 WITH SCORE 3184827.915
AT ITER 1018 NEW BEST:: SOT 24761903 SOS 6017591 HAS SOPS 6017591 HAS SOUS 3177319 HAS SOUPS 3177319 WITH SCORE 3183336.591
AT ITER 1027 NEW BEST:: SOT 24761615 SOS 6017015 HAS SOPS 6017015 HAS SOUS 3176743 HAS SOUPS 3176743 WITH SCORE 3182760.015
AT ITER 1077 NEW BEST:: SOT 24760413 SOS 6016516 HAS SOPS 6016516 HAS SOUS 3176231 HAS SOUPS 3176231 WITH SCORE 3182247.516
AT ITER 1088 NEW BEST:: SOT 24760412 SOS 6016514 HAS SOPS 6016514 HAS SOUS 3176229 HAS SOUPS 3176229 WITH SCORE 3182245.514
AT ITER 1103 NEW BEST:: SOT 24760412 SOS 6014867 HAS SOPS 6014867 HAS SOUS 3176227 HAS SOUPS 3176227 WITH SCORE 3182241.867
AT ITER 1124 NEW BEST:: SOT 24759819 SOS 6014968 HAS SOPS 6014968 HAS SOUS 3175980 HAS SOUPS 3175980 WITH SCORE 3181994.968
AT ITER 1143 NEW BEST:: SOT 24761681 SOS 6002781 HAS SOPS 6002781 HAS SOUS 3175889 HAS SOUPS 3175889 WITH SCORE 3181891.781
AT ITER 1182 NEW BEST:: SOT 24761681 SOS 6005198 HAS SOPS 6005198 HAS SOUS 3175849 HAS SOUPS 3175849 WITH SCORE 3181854.198
AT ITER 1209 NEW BEST:: SOT 24761681 SOS 6004959 HAS SOPS 6004959 HAS SOUS 3175849 HAS SOUPS 3175849 WITH SCORE 3181853.959
AT ITER 1211 NEW BEST:: SOT 24759871 SOS 6002244 HAS SOPS 6002244 HAS SOUS 3173134 HAS SOUPS 3173134 WITH SCORE 3179136.244
AT ITER 1230 NEW BEST:: SOT 24758937 SOS 6008782 HAS SOPS 6008782 HAS SOUS 3172200 HAS SOUPS 3172200 WITH SCORE 3178208.782
AT ITER 1232 NEW BEST:: SOT 24759064 SOS 6006600 HAS SOPS 6006600 HAS SOUS 3171578 HAS SOUPS 3171578 WITH SCORE 3177584.6
AT ITER 1238 NEW BEST:: SOT 24758568 SOS 6006788 HAS SOPS 6006788 HAS SOUS 3171417 HAS SOUPS 3171417 WITH SCORE 3177423.788
AT ITER 1242 NEW BEST:: SOT 24758406 SOS 6006464 HAS SOPS 6006464 HAS SOUS 3171093 HAS SOUPS 3171093 WITH SCORE 3177099.464
AT ITER 1276 NEW BEST:: SOT 24757630 SOS 6002584 HAS SOPS 6002584 HAS SOUS 3169541 HAS SOUPS 3169541 WITH SCORE 3175543.584
AT ITER 1281 NEW BEST:: SOT 24756979 SOS 6001719 HAS SOPS 6001719 HAS SOUS 3168676 HAS SOUPS 3168676 WITH SCORE 3174677.719
AT ITER 1290 NEW BEST:: SOT 24756335 SOS 6000431 HAS SOPS 6000431 HAS SOUS 3167084 HAS SOUPS 3167084 WITH SCORE 3173084.431
AT ITER 1297 NEW BEST:: SOT 24755626 SOS 6002129 HAS SOPS 6002129 HAS SOUS 3165665 HAS SOUPS 3165665 WITH SCORE 3171667.129
AT ITER 1311 NEW BEST:: SOT 24755123 SOS 6001123 HAS SOPS 6001123 HAS SOUS 3164138 HAS SOUPS 3164138 WITH SCORE 3170139.123
AT ITER 1356 NEW BEST:: SOT 24755123 SOS 6002580 HAS SOPS 6002580 HAS SOUS 3164136 HAS SOUPS 3164136 WITH SCORE 3170138.58
AT ITER 1358 NEW BEST:: SOT 24754456 SOS 6002342 HAS SOPS 6002342 HAS SOUS 3163617 HAS SOUPS 3163617 WITH SCORE 3169619.342
AT ITER 1391 NEW BEST:: SOT 24754456 SOS 6003900 HAS SOPS 6003900 HAS SOUS 3163615 HAS SOUPS 3163615 WITH SCORE 3169618.9
AT ITER 1416 NEW BEST:: SOT 24754303 SOS 6004198 HAS SOPS 6004198 HAS SOUS 3163460 HAS SOUPS 3163460 WITH SCORE 3169464.198
AT ITER 1422 NEW BEST:: SOT 24754060 SOS 6004015 HAS SOPS 6004015 HAS SOUS 3163277 HAS SOUPS 3163277 WITH SCORE 3169281.015
AT ITER 1428 NEW BEST:: SOT 24754060 SOS 6004015 HAS SOPS 6004015 HAS SOUS 3163276 HAS SOUPS 3163276 WITH SCORE 3169280.015
AT ITER 1445 NEW BEST:: SOT 24753635 SOS 6004440 HAS SOPS 6004440 HAS SOUS 3162851 HAS SOUPS 3162851 WITH SCORE 3168855.44
AT ITER 1446 NEW BEST:: SOT 24753396 SOS 6005340 HAS SOPS 6005340 HAS SOUS 3162612 HAS SOUPS 3162612 WITH SCORE 3168617.34
AT ITER 1451 NEW BEST:: SOT 24752918 SOS 6004862 HAS SOPS 6004862 HAS SOUS 3162134 HAS SOUPS 3162134 WITH SCORE 3168138.862
AT ITER 1468 NEW BEST:: SOT 24752417 SOS 6005155 HAS SOPS 6005155 HAS SOUS 3162058 HAS SOUPS 3162058 WITH SCORE 3168063.155
AT ITER 1472 NEW BEST:: SOT 24751569 SOS 6004152 HAS SOPS 6004152 HAS SOUS 3161441 HAS SOUPS 3161441 WITH SCORE 3167445.152
AT ITER 1478 NEW BEST:: SOT 24751414 SOS 6003997 HAS SOPS 6003997 HAS SOUS 3161286 HAS SOUPS 3161286 WITH SCORE 3167289.997
AT ITER 1481 NEW BEST:: SOT 24750060 SOS 6001289 HAS SOPS 6001289 HAS SOUS 3160054 HAS SOUPS 3160054 WITH SCORE 3166055.289
AT ITER 1522 NEW BEST:: SOT 24749742 SOS 6001285 HAS SOPS 6001285 HAS SOUS 3159782 HAS SOUPS 3159782 WITH SCORE 3165783.285
AT ITER 1537 NEW BEST:: SOT 24749357 SOS 6000515 HAS SOPS 6000515 HAS SOUS 3158847 HAS SOUPS 3158847 WITH SCORE 3164847.515
AT ITER 1543 NEW BEST:: SOT 24748619 SOS 6001253 HAS SOPS 6001253 HAS SOUS 3157371 HAS SOUPS 3157371 WITH SCORE 3163372.253
AT ITER 1548 NEW BEST:: SOT 24746370 SOS 6002319 HAS SOPS 6002319 HAS SOUS 3156233 HAS SOUPS 3156233 WITH SCORE 3162235.319
AT ITER 1553 NEW BEST:: SOT 24746654 SOS 6001924 HAS SOPS 6001924 HAS SOUS 3156196 HAS SOUPS 3156196 WITH SCORE 3162197.924
AT ITER 1559 NEW BEST:: SOT 24745845 SOS 6001112 HAS SOPS 6001112 HAS SOUS 3155386 HAS SOUPS 3155386 WITH SCORE 3161387.112
AT ITER 1568 NEW BEST:: SOT 24744640 SOS 5999897 HAS SOPS 5999897 HAS SOUS 3154180 HAS SOUPS 3154180 WITH SCORE 3160179.897
AT ITER 1571 NEW BEST:: SOT 24744182 SOS 5998981 HAS SOPS 5998981 HAS SOUS 3153144 HAS SOUPS 3153144 WITH SCORE 3159142.981
AT ITER 1577 NEW BEST:: SOT 24742670 SOS 6001779 HAS SOPS 6001779 HAS SOUS 3150526 HAS SOUPS 3150526 WITH SCORE 3156527.779
AT ITER 1592 NEW BEST:: SOT 24740430 SOS 5998744 HAS SOPS 5998744 HAS SOUS 3146929 HAS SOUPS 3146929 WITH SCORE 3152927.744
AT ITER 1593 NEW BEST:: SOT 24740317 SOS 5998631 HAS SOPS 5998631 HAS SOUS 3146816 HAS SOUPS 3146816 WITH SCORE 3152814.631
AT ITER 1638 NEW BEST:: SOT 24739723 SOS 5998037 HAS SOPS 5998037 HAS SOUS 3146222 HAS SOUPS 3146222 WITH SCORE 3152220.037
AT ITER 1693 NEW BEST:: SOT 24739257 SOS 5998503 HAS SOPS 5998503 HAS SOUS 3145756 HAS SOUPS 3145756 WITH SCORE 3151754.503
AT ITER 1719 NEW BEST:: SOT 24738982 SOS 5997953 HAS SOPS 5997953 HAS SOUS 3145206 HAS SOUPS 3145206 WITH SCORE 3151203.953
AT ITER 1742 NEW BEST:: SOT 24738564 SOS 5997535 HAS SOPS 5997535 HAS SOUS 3144788 HAS SOUPS 3144788 WITH SCORE 3150785.535
AT ITER 1800 NEW BEST:: SOT 24738546 SOS 5997526 HAS SOPS 5997526 HAS SOUS 3144779 HAS SOUPS 3144779 WITH SCORE 3150776.526
AT ITER 1807 NEW BEST:: SOT 24738546 SOS 5997526 HAS SOPS 5997526 HAS SOUS 3144777 HAS SOUPS 3144777 WITH SCORE 3150774.526
AT ITER 1809 NEW BEST:: SOT 24738410 SOS 5998478 HAS SOPS 5998478 HAS SOUS 3144641 HAS SOUPS 3144641 WITH SCORE 3150639.478
AT ITER 1823 NEW BEST:: SOT 24738236 SOS 5998130 HAS SOPS 5998130 HAS SOUS 3144293 HAS SOUPS 3144293 WITH SCORE 3150291.13
AT ITER 1849 NEW BEST:: SOT 24738667 SOS 5996526 HAS SOPS 5996526 HAS SOUS 3144117 HAS SOUPS 3144117 WITH SCORE 3150113.526
AT ITER 1859 NEW BEST:: SOT 24738160 SOS 5996103 HAS SOPS 5996103 HAS SOUS 3143694 HAS SOUPS 3143694 WITH SCORE 3149690.103
AT ITER 1896 NEW BEST:: SOT 24735547 SOS 5993674 HAS SOPS 5993674 HAS SOUS 3141265 HAS SOUPS 3141265 WITH SCORE 3147258.674
AT ITER 1932 NEW BEST:: SOT 24734764 SOS 5999155 HAS SOPS 5999155 HAS SOUS 3140482 HAS SOUPS 3140482 WITH SCORE 3146481.155
AT ITER 1939 NEW BEST:: SOT 24734478 SOS 5999106 HAS SOPS 5999106 HAS SOUS 3140433 HAS SOUPS 3140433 WITH SCORE 3146432.106
AT ITER 1955 NEW BEST:: SOT 24732395 SOS 6000564 HAS SOPS 6000564 HAS SOUS 3138531 HAS SOUPS 3138531 WITH SCORE 3144531.564
AT ITER 1975 NEW BEST:: SOT 24732210 SOS 6000551 HAS SOPS 6000551 HAS SOUS 3138465 HAS SOUPS 3138465 WITH SCORE 3144465.551
AT ITER 1981 NEW BEST:: SOT 24730390 SOS 5998471 HAS SOPS 5998471 HAS SOUS 3135680 HAS SOUPS 3135680 WITH SCORE 3141678.471
AT ITER 2027 NEW BEST:: SOT 24729766 SOS 5997223 HAS SOPS 5997223 HAS SOUS 3135027 HAS SOUPS 3135027 WITH SCORE 3141024.223
AT ITER 2028 NEW BEST:: SOT 24727533 SOS 5994990 HAS SOPS 5994990 HAS SOUS 3132794 HAS SOUPS 3132794 WITH SCORE 3138788.99
AT ITER 2033 NEW BEST:: SOT 24727165 SOS 5994254 HAS SOPS 5994254 HAS SOUS 3132545 HAS SOUPS 3132545 WITH SCORE 3138539.254
AT ITER 2054 NEW BEST:: SOT 24726000 SOS 5993089 HAS SOPS 5993089 HAS SOUS 3131380 HAS SOUPS 3131380 WITH SCORE 3137373.089
AT ITER 2090 NEW BEST:: SOT 24725901 SOS 5992891 HAS SOPS 5992891 HAS SOUS 3131281 HAS SOUPS 3131281 WITH SCORE 3137273.891
AT ITER 2104 NEW BEST:: SOT 24725324 SOS 5992314 HAS SOPS 5992314 HAS SOUS 3130704 HAS SOUPS 3130704 WITH SCORE 3136696.314
AT ITER 2128 NEW BEST:: SOT 24724998 SOS 5991988 HAS SOPS 5991988 HAS SOUS 3130378 HAS SOUPS 3130378 WITH SCORE 3136369.988
AT ITER 2136 NEW BEST:: SOT 24724998 SOS 5990227 HAS SOPS 5990227 HAS SOUS 3130378 HAS SOUPS 3130378 WITH SCORE 3136368.227
AT ITER 2162 NEW BEST:: SOT 24724998 SOS 5990227 HAS SOPS 5990227 HAS SOUS 3129831 HAS SOUPS 3129831 WITH SCORE 3135821.227
AT ITER 2168 NEW BEST:: SOT 24725037 SOS 5988291 HAS SOPS 5988291 HAS SOUS 3129217 HAS SOUPS 3129217 WITH SCORE 3135205.291
AT ITER 2173 NEW BEST:: SOT 24724829 SOS 5987875 HAS SOPS 5987875 HAS SOUS 3128690 HAS SOUPS 3128690 WITH SCORE 3134677.875
AT ITER 2220 NEW BEST:: SOT 24724820 SOS 5987862 HAS SOPS 5987862 HAS SOUS 3128680 HAS SOUPS 3128680 WITH SCORE 3134667.862
AT ITER 2230 NEW BEST:: SOT 24724701 SOS 5987743 HAS SOPS 5987743 HAS SOUS 3128561 HAS SOUPS 3128561 WITH SCORE 3134548.743
AT ITER 2253 NEW BEST:: SOT 24724487 SOS 5988607 HAS SOPS 5988607 HAS SOUS 3128491 HAS SOUPS 3128491 WITH SCORE 3134479.607
AT ITER 2266 NEW BEST:: SOT 24724487 SOS 5988045 HAS SOPS 5988045 HAS SOUS 3128491 HAS SOUPS 3128491 WITH SCORE 3134479.045
AT ITER 2286 NEW BEST:: SOT 24724354 SOS 5987779 HAS SOPS 5987779 HAS SOUS 3128358 HAS SOUPS 3128358 WITH SCORE 3134345.779
AT ITER 2301 NEW BEST:: SOT 24724768 SOS 5988607 HAS SOPS 5988607 HAS SOUS 3128143 HAS SOUPS 3128143 WITH SCORE 3134131.607
AT ITER 2333 NEW BEST:: SOT 24724768 SOS 5988603 HAS SOPS 5988603 HAS SOUS 3127850 HAS SOUPS 3127850 WITH SCORE 3133838.603
AT ITER 2344 NEW BEST:: SOT 24724768 SOS 5988593 HAS SOPS 5988593 HAS SOUS 3127849 HAS SOUPS 3127849 WITH SCORE 3133837.593
AT ITER 2348 NEW BEST:: SOT 24723938 SOS 5988583 HAS SOPS 5988583 HAS SOUS 3127316 HAS SOUPS 3127316 WITH SCORE 3133304.583
AT ITER 2350 NEW BEST:: SOT 24722208 SOS 5986119 HAS SOPS 5986119 HAS SOUS 3124852 HAS SOUPS 3124852 WITH SCORE 3130838.119
AT ITER 2355 NEW BEST:: SOT 24722444 SOS 5992972 HAS SOPS 5992972 HAS SOUS 3124479 HAS SOUPS 3124479 WITH SCORE 3130471.972
AT ITER 2356 NEW BEST:: SOT 24722444 SOS 5991397 HAS SOPS 5991397 HAS SOUS 3124479 HAS SOUPS 3124479 WITH SCORE 3130470.397
AT ITER 2368 NEW BEST:: SOT 24722531 SOS 5991571 HAS SOPS 5991571 HAS SOUS 3123620 HAS SOUPS 3123620 WITH SCORE 3129611.571
AT ITER 2370 NEW BEST:: SOT 24722271 SOS 5993381 HAS SOPS 5993381 HAS SOUS 3123099 HAS SOUPS 3123099 WITH SCORE 3129092.381
AT ITER 2384 NEW BEST:: SOT 24722171 SOS 5993181 HAS SOPS 5993181 HAS SOUS 3123081 HAS SOUPS 3123081 WITH SCORE 3129074.181
AT ITER 2386 NEW BEST:: SOT 24722171 SOS 5993043 HAS SOPS 5993043 HAS SOUS 3122943 HAS SOUPS 3122943 WITH SCORE 3128936.043
AT ITER 2393 NEW BEST:: SOT 24721896 SOS 5992493 HAS SOPS 5992493 HAS SOUS 3122261 HAS SOUPS 3122261 WITH SCORE 3128253.493
AT ITER 2403 NEW BEST:: SOT 24722578 SOS 5991583 HAS SOPS 5991583 HAS SOUS 3121802 HAS SOUPS 3121802 WITH SCORE 3127793.583
AT ITER 2447 NEW BEST:: SOT 24722566 SOS 5991559 HAS SOPS 5991559 HAS SOUS 3121789 HAS SOUPS 3121789 WITH SCORE 3127780.559
AT ITER 2465 NEW BEST:: SOT 24722028 SOS 5991286 HAS SOPS 5991286 HAS SOUS 3121519 HAS SOUPS 3121519 WITH SCORE 3127510.286
AT ITER 2488 NEW BEST:: SOT 24722028 SOS 5991283 HAS SOPS 5991283 HAS SOUS 3121516 HAS SOUPS 3121516 WITH SCORE 3127507.283
AT ITER 2500 NEW BEST:: SOT 24722028 SOS 5992546 HAS SOPS 5992546 HAS SOUS 3121511 HAS SOUPS 3121511 WITH SCORE 3127503.546
AT ITER 2528 NEW BEST:: SOT 24722025 SOS 5994444 HAS SOPS 5994444 HAS SOUS 3121504 HAS SOUPS 3121504 WITH SCORE 3127498.444
AT ITER 2551 NEW BEST:: SOT 24722025 SOS 5994434 HAS SOPS 5994434 HAS SOUS 3121503 HAS SOUPS 3121503 WITH SCORE 3127497.434
AT ITER 2582 NEW BEST:: SOT 24721992 SOS 5995663 HAS SOPS 5995663 HAS SOUS 3120841 HAS SOUPS 3120841 WITH SCORE 3126836.663
AT ITER 2673 NEW BEST:: SOT 24722041 SOS 5995401 HAS SOPS 5995401 HAS SOUS 3120748 HAS SOUPS 3120748 WITH SCORE 3126743.401
AT ITER 2677 NEW BEST:: SOT 24721491 SOS 5995947 HAS SOPS 5995947 HAS SOUS 3119647 HAS SOUPS 3119647 WITH SCORE 3125642.947
AT ITER 2686 NEW BEST:: SOT 24721398 SOS 5996040 HAS SOPS 5996040 HAS SOUS 3119554 HAS SOUPS 3119554 WITH SCORE 3125550.04
AT ITER 2689 NEW BEST:: SOT 24720778 SOS 5994800 HAS SOPS 5994800 HAS SOUS 3118635 HAS SOUPS 3118635 WITH SCORE 3124629.8
AT ITER 2703 NEW BEST:: SOT 24720706 SOS 5994657 HAS SOPS 5994657 HAS SOUS 3118492 HAS SOUPS 3118492 WITH SCORE 3124486.657
AT ITER 2737 NEW BEST:: SOT 24720642 SOS 5997948 HAS SOPS 5997948 HAS SOUS 3118363 HAS SOUPS 3118363 WITH SCORE 3124360.948
AT ITER 2738 NEW BEST:: SOT 24720642 SOS 5999280 HAS SOPS 5999280 HAS SOUS 3118222 HAS SOUPS 3118222 WITH SCORE 3124221.28
AT ITER 2740 NEW BEST:: SOT 24719750 SOS 5999270 HAS SOPS 5999270 HAS SOUS 3117684 HAS SOUPS 3117684 WITH SCORE 3123683.27
AT ITER 2743 NEW BEST:: SOT 24719750 SOS 5999270 HAS SOPS 5999270 HAS SOUS 3117683 HAS SOUPS 3117683 WITH SCORE 3123682.27
AT ITER 2765 NEW BEST:: SOT 24719750 SOS 5999270 HAS SOPS 5999270 HAS SOUS 3117682 HAS SOUPS 3117682 WITH SCORE 3123681.27
AT ITER 2767 NEW BEST:: SOT 24719750 SOS 5997671 HAS SOPS 5997671 HAS SOUS 3117682 HAS SOUPS 3117682 WITH SCORE 3123679.671
AT ITER 2768 NEW BEST:: SOT 24719750 SOS 5997515 HAS SOPS 5997515 HAS SOUS 3117526 HAS SOUPS 3117526 WITH SCORE 3123523.515
AT ITER 2771 NEW BEST:: SOT 24719742 SOS 5996367 HAS SOPS 5996367 HAS SOUS 3117518 HAS SOUPS 3117518 WITH SCORE 3123514.367
AT ITER 2782 NEW BEST:: SOT 24719620 SOS 5996245 HAS SOPS 5996245 HAS SOUS 3117396 HAS SOUPS 3117396 WITH SCORE 3123392.245
AT ITER 2841 NEW BEST:: SOT 24719208 SOS 5999119 HAS SOPS 5999119 HAS SOUS 3116571 HAS SOUPS 3116571 WITH SCORE 3122570.119
AT ITER 2843 NEW BEST:: SOT 24718545 SOS 5998307 HAS SOPS 5998307 HAS SOUS 3115759 HAS SOUPS 3115759 WITH SCORE 3121757.307
AT ITER 2866 NEW BEST:: SOT 24718545 SOS 5999563 HAS SOPS 5999563 HAS SOUS 3114833 HAS SOUPS 3114833 WITH SCORE 3120832.563
AT ITER 2926 NEW BEST:: SOT 24718296 SOS 5999562 HAS SOPS 5999562 HAS SOUS 3114832 HAS SOUPS 3114832 WITH SCORE 3120831.562
AT ITER 2933 NEW BEST:: SOT 24718152 SOS 5999466 HAS SOPS 5999466 HAS SOUS 3114736 HAS SOUPS 3114736 WITH SCORE 3120735.466
AT ITER 2958 NEW BEST:: SOT 24717288 SOS 5998672 HAS SOPS 5998672 HAS SOUS 3113872 HAS SOUPS 3113872 WITH SCORE 3119870.672
AT ITER 2979 NEW BEST:: SOT 24716853 SOS 5999476 HAS SOPS 5999476 HAS SOUS 3113778 HAS SOUPS 3113778 WITH SCORE 3119777.476
AT ITER 2981 NEW BEST:: SOT 24716853 SOS 5999062 HAS SOPS 5999062 HAS SOUS 3113685 HAS SOUPS 3113685 WITH SCORE 3119684.062
AT ITER 2994 NEW BEST:: SOT 24715726 SOS 5997928 HAS SOPS 5997928 HAS SOUS 3112951 HAS SOUPS 3112951 WITH SCORE 3118948.928
AT ITER 3020 NEW BEST:: SOT 24714316 SOS 5996258 HAS SOPS 5996258 HAS SOUS 3110835 HAS SOUPS 3110835 WITH SCORE 3116831.258
AT ITER 3023 NEW BEST:: SOT 24714170 SOS 5995966 HAS SOPS 5995966 HAS SOUS 3110543 HAS SOUPS 3110543 WITH SCORE 3116538.966
AT ITER 3027 NEW BEST:: SOT 24714170 SOS 5996336 HAS SOPS 5996336 HAS SOUS 3110541 HAS SOUPS 3110541 WITH SCORE 3116537.336
AT ITER 3029 NEW BEST:: SOT 24714126 SOS 5996270 HAS SOPS 5996270 HAS SOUS 3110519 HAS SOUPS 3110519 WITH SCORE 3116515.27
AT ITER 3040 NEW BEST:: SOT 24713428 SOS 5996955 HAS SOPS 5996955 HAS SOUS 3109819 HAS SOUPS 3109819 WITH SCORE 3115815.955
AT ITER 3043 NEW BEST:: SOT 24713428 SOS 5996955 HAS SOPS 5996955 HAS SOUS 3109817 HAS SOUPS 3109817 WITH SCORE 3115813.955
AT ITER 3044 NEW BEST:: SOT 24713799 SOS 5995420 HAS SOPS 5995420 HAS SOUS 3109614 HAS SOUPS 3109614 WITH SCORE 3115609.42
AT ITER 3054 NEW BEST:: SOT 24713799 SOS 5995198 HAS SOPS 5995198 HAS SOUS 3109497 HAS SOUPS 3109497 WITH SCORE 3115492.198
AT ITER 3068 NEW BEST:: SOT 24713917 SOS 5995424 HAS SOPS 5995424 HAS SOUS 3109005 HAS SOUPS 3109005 WITH SCORE 3115000.424
AT ITER 3091 NEW BEST:: SOT 24713831 SOS 5995586 HAS SOPS 5995586 HAS SOUS 3109004 HAS SOUPS 3109004 WITH SCORE 3114999.586
AT ITER 3096 NEW BEST:: SOT 24713745 SOS 5995672 HAS SOPS 5995672 HAS SOUS 3108918 HAS SOUPS 3108918 WITH SCORE 3114913.672
AT ITER 3101 NEW BEST:: SOT 24713588 SOS 5997713 HAS SOPS 5997713 HAS SOUS 3108604 HAS SOUPS 3108604 WITH SCORE 3114601.713
AT ITER 3105 NEW BEST:: SOT 24712044 SOS 5996159 HAS SOPS 5996159 HAS SOUS 3107059 HAS SOUPS 3107059 WITH SCORE 3113055.159
AT ITER 3137 NEW BEST:: SOT 24711666 SOS 5995403 HAS SOPS 5995403 HAS SOUS 3106680 HAS SOUPS 3106680 WITH SCORE 3112675.403
AT ITER 3140 NEW BEST:: SOT 24711666 SOS 5996088 HAS SOPS 5996088 HAS SOUS 3106679 HAS SOUPS 3106679 WITH SCORE 3112675.088
AT ITER 3206 NEW BEST:: SOT 24711665 SOS 5996086 HAS SOPS 5996086 HAS SOUS 3106677 HAS SOUPS 3106677 WITH SCORE 3112673.086
AT ITER 3208 NEW BEST:: SOT 24711664 SOS 5996084 HAS SOPS 5996084 HAS SOUS 3106675 HAS SOUPS 3106675 WITH SCORE 3112671.084
AT ITER 3209 NEW BEST:: SOT 24711569 SOS 5996266 HAS SOPS 5996266 HAS SOUS 3106578 HAS SOUPS 3106578 WITH SCORE 3112574.266
AT ITER 3226 NEW BEST:: SOT 24711569 SOS 5994469 HAS SOPS 5994469 HAS SOUS 3105979 HAS SOUPS 3105979 WITH SCORE 3111973.469
AT ITER 3240 NEW BEST:: SOT 24710361 SOS 5993865 HAS SOPS 5993865 HAS SOUS 3105375 HAS SOUPS 3105375 WITH SCORE 3111368.865
AT ITER 3246 NEW BEST:: SOT 24710324 SOS 5993828 HAS SOPS 5993828 HAS SOUS 3105375 HAS SOUPS 3105375 WITH SCORE 3111368.828
AT ITER 3274 NEW BEST:: SOT 24710324 SOS 5993828 HAS SOPS 5993828 HAS SOUS 3105206 HAS SOUPS 3105206 WITH SCORE 3111199.828
AT ITER 3276 NEW BEST:: SOT 24710084 SOS 5990492 HAS SOPS 5990492 HAS SOUS 3104966 HAS SOUPS 3104966 WITH SCORE 3110956.492
AT ITER 3281 NEW BEST:: SOT 24710429 SOS 5989343 HAS SOPS 5989343 HAS SOUS 3104870 HAS SOUPS 3104870 WITH SCORE 3110859.343
AT ITER 3287 NEW BEST:: SOT 24710631 SOS 5988736 HAS SOPS 5988736 HAS SOUS 3104796 HAS SOUPS 3104796 WITH SCORE 3110784.736
AT ITER 3318 NEW BEST:: SOT 24710462 SOS 5988736 HAS SOPS 5988736 HAS SOUS 3104458 HAS SOUPS 3104458 WITH SCORE 3110446.736
AT ITER 3370 NEW BEST:: SOT 24710420 SOS 5988648 HAS SOPS 5988648 HAS SOUS 3104373 HAS SOUPS 3104373 WITH SCORE 3110361.648
AT ITER 3397 NEW BEST:: SOT 24710297 SOS 5985834 HAS SOPS 5985834 HAS SOUS 3103823 HAS SOUPS 3103823 WITH SCORE 3109808.834
AT ITER 3402 NEW BEST:: SOT 24710297 SOS 5985438 HAS SOPS 5985438 HAS SOUS 3103823 HAS SOUPS 3103823 WITH SCORE 3109808.438
AT ITER 3450 NEW BEST:: SOT 24710154 SOS 5985152 HAS SOPS 5985152 HAS SOUS 3103680 HAS SOUPS 3103680 WITH SCORE 3109665.152
AT ITER 3456 NEW BEST:: SOT 24710150 SOS 5987714 HAS SOPS 5987714 HAS SOUS 3103157 HAS SOUPS 3103157 WITH SCORE 3109144.714
AT ITER 3466 NEW BEST:: SOT 24709720 SOS 5988525 HAS SOPS 5988525 HAS SOUS 3102296 HAS SOUPS 3102296 WITH SCORE 3108284.525
AT ITER 3500 NEW BEST:: SOT 24709665 SOS 5988415 HAS SOPS 5988415 HAS SOUS 3102184 HAS SOUPS 3102184 WITH SCORE 3108172.415
AT ITER 3504 NEW BEST:: SOT 24709571 SOS 5988321 HAS SOPS 5988321 HAS SOUS 3102090 HAS SOUPS 3102090 WITH SCORE 3108078.321
AT ITER 3577 NEW BEST:: SOT 24709496 SOS 5988172 HAS SOPS 5988172 HAS SOUS 3101941 HAS SOUPS 3101941 WITH SCORE 3107929.172
AT ITER 3586 NEW BEST:: SOT 24705844 SOS 5984102 HAS SOPS 5984102 HAS SOUS 3099737 HAS SOUPS 3099737 WITH SCORE 3105721.102
AT ITER 3596 NEW BEST:: SOT 24705844 SOS 5985454 HAS SOPS 5985454 HAS SOUS 3099735 HAS SOUPS 3099735 WITH SCORE 3105720.454
AT ITER 3624 NEW BEST:: SOT 24705717 SOS 5985518 HAS SOPS 5985518 HAS SOUS 3099651 HAS SOUPS 3099651 WITH SCORE 3105636.518
AT ITER 3630 NEW BEST:: SOT 24705283 SOS 5986496 HAS SOPS 5986496 HAS SOUS 3099341 HAS SOUPS 3099341 WITH SCORE 3105327.496
AT ITER 3677 NEW BEST:: SOT 24705112 SOS 5986325 HAS SOPS 5986325 HAS SOUS 3099170 HAS SOUPS 3099170 WITH SCORE 3105156.325
AT ITER 3681 NEW BEST:: SOT 24703294 SOS 5989916 HAS SOPS 5989916 HAS SOUS 3098417 HAS SOUPS 3098417 WITH SCORE 3104406.916
AT ITER 3705 NEW BEST:: SOT 24703107 SOS 5990103 HAS SOPS 5990103 HAS SOUS 3098230 HAS SOUPS 3098230 WITH SCORE 3104220.103
AT ITER 3714 NEW BEST:: SOT 24703135 SOS 5990159 HAS SOPS 5990159 HAS SOUS 3098078 HAS SOUPS 3098078 WITH SCORE 3104068.159
AT ITER 3723 NEW BEST:: SOT 24702826 SOS 5989759 HAS SOPS 5989759 HAS SOUS 3097987 HAS SOUPS 3097987 WITH SCORE 3103976.759
AT ITER 3748 NEW BEST:: SOT 24702674 SOS 5989756 HAS SOPS 5989756 HAS SOUS 3097986 HAS SOUPS 3097986 WITH SCORE 3103975.756
AT ITER 3762 NEW BEST:: SOT 24702674 SOS 5989588 HAS SOPS 5989588 HAS SOUS 3097986 HAS SOUPS 3097986 WITH SCORE 3103975.588
AT ITER 3771 NEW BEST:: SOT 24701506 SOS 5989760 HAS SOPS 5989760 HAS SOUS 3096818 HAS SOUPS 3096818 WITH SCORE 3102807.76
AT ITER 3776 NEW BEST:: SOT 24701137 SOS 5989391 HAS SOPS 5989391 HAS SOUS 3096449 HAS SOUPS 3096449 WITH SCORE 3102438.391
AT ITER 3812 NEW BEST:: SOT 24700167 SOS 5988421 HAS SOPS 5988421 HAS SOUS 3095479 HAS SOUPS 3095479 WITH SCORE 3101467.421
AT ITER 3816 NEW BEST:: SOT 24699402 SOS 5987656 HAS SOPS 5987656 HAS SOUS 3094714 HAS SOUPS 3094714 WITH SCORE 3100701.656
AT ITER 3852 NEW BEST:: SOT 24699348 SOS 5987372 HAS SOPS 5987372 HAS SOUS 3094658 HAS SOUPS 3094658 WITH SCORE 3100645.372
AT ITER 3878 NEW BEST:: SOT 24698788 SOS 5987363 HAS SOPS 5987363 HAS SOUS 3094448 HAS SOUPS 3094448 WITH SCORE 3100435.363
AT ITER 3886 NEW BEST:: SOT 24697360 SOS 5987119 HAS SOPS 5987119 HAS SOUS 3094204 HAS SOUPS 3094204 WITH SCORE 3100191.119
AT ITER 3902 NEW BEST:: SOT 24697360 SOS 5986318 HAS SOPS 5986318 HAS SOUS 3093937 HAS SOUPS 3093937 WITH SCORE 3099923.318
AT ITER 3930 NEW BEST:: SOT 24697360 SOS 5986340 HAS SOPS 5986340 HAS SOUS 3093915 HAS SOUPS 3093915 WITH SCORE 3099901.34
AT ITER 3989 NEW BEST:: SOT 24697360 SOS 5984717 HAS SOPS 5984717 HAS SOUS 3093914 HAS SOUPS 3093914 WITH SCORE 3099898.717
AT ITER 4001 NEW BEST:: SOT 24695537 SOS 5982636 HAS SOPS 5982636 HAS SOUS 3092091 HAS SOUPS 3092091 WITH SCORE 3098073.636
AT ITER 4037 NEW BEST:: SOT 24695303 SOS 5982491 HAS SOPS 5982491 HAS SOUS 3091762 HAS SOUPS 3091762 WITH SCORE 3097744.491
AT ITER 4039 NEW BEST:: SOT 24694891 SOS 5981667 HAS SOPS 5981667 HAS SOUS 3090938 HAS SOUPS 3090938 WITH SCORE 3096919.667
AT ITER 4053 NEW BEST:: SOT 24694367 SOS 5978449 HAS SOPS 5978449 HAS SOUS 3090707 HAS SOUPS 3090707 WITH SCORE 3096685.449
AT ITER 4056 NEW BEST:: SOT 24694443 SOS 5980144 HAS SOPS 5980144 HAS SOUS 3090085 HAS SOUPS 3090085 WITH SCORE 3096065.144
AT ITER 4084 NEW BEST:: SOT 24693972 SOS 5980666 HAS SOPS 5980666 HAS SOUS 3089614 HAS SOUPS 3089614 WITH SCORE 3095594.666
AT ITER 4111 NEW BEST:: SOT 24693717 SOS 5980921 HAS SOPS 5980921 HAS SOUS 3089359 HAS SOUPS 3089359 WITH SCORE 3095339.921
AT ITER 4130 NEW BEST:: SOT 24693584 SOS 5981808 HAS SOPS 5981808 HAS SOUS 3089225 HAS SOUPS 3089225 WITH SCORE 3095206.808
AT ITER 4142 NEW BEST:: SOT 24693134 SOS 5981506 HAS SOPS 5981506 HAS SOUS 3088172 HAS SOUPS 3088172 WITH SCORE 3094153.506
AT ITER 4185 NEW BEST:: SOT 24692709 SOS 5980656 HAS SOPS 5980656 HAS SOUS 3087662 HAS SOUPS 3087662 WITH SCORE 3093642.656
AT ITER 4188 NEW BEST:: SOT 24692078 SOS 5980242 HAS SOPS 5980242 HAS SOUS 3087248 HAS SOUPS 3087248 WITH SCORE 3093228.242
AT ITER 4229 NEW BEST:: SOT 24692078 SOS 5980242 HAS SOPS 5980242 HAS SOUS 3087247 HAS SOUPS 3087247 WITH SCORE 3093227.242
AT ITER 4234 NEW BEST:: SOT 24690161 SOS 5978238 HAS SOPS 5978238 HAS SOUS 3086487 HAS SOUPS 3086487 WITH SCORE 3092465.238
AT ITER 4247 NEW BEST:: SOT 24690161 SOS 5978238 HAS SOPS 5978238 HAS SOUS 3086485 HAS SOUPS 3086485 WITH SCORE 3092463.238
AT ITER 4259 NEW BEST:: SOT 24688847 SOS 5977581 HAS SOPS 5977581 HAS SOUS 3085828 HAS SOUPS 3085828 WITH SCORE 3091805.581
AT ITER 4267 NEW BEST:: SOT 24688847 SOS 5980693 HAS SOPS 5980693 HAS SOUS 3085691 HAS SOUPS 3085691 WITH SCORE 3091671.693
AT ITER 4269 NEW BEST:: SOT 24688951 SOS 5987272 HAS SOPS 5987272 HAS SOUS 3085189 HAS SOUPS 3085189 WITH SCORE 3091176.272
AT ITER 4284 NEW BEST:: SOT 24688828 SOS 5986903 HAS SOPS 5986903 HAS SOUS 3084943 HAS SOUPS 3084943 WITH SCORE 3090929.903
AT ITER 4289 NEW BEST:: SOT 24688660 SOS 5986209 HAS SOPS 5986209 HAS SOUS 3084366 HAS SOUPS 3084366 WITH SCORE 3090352.209
AT ITER 4340 NEW BEST:: SOT 24687624 SOS 5987069 HAS SOPS 5987069 HAS SOUS 3084170 HAS SOUPS 3084170 WITH SCORE 3090157.069
AT ITER 4349 NEW BEST:: SOT 24687624 SOS 5987059 HAS SOPS 5987059 HAS SOUS 3084148 HAS SOUPS 3084148 WITH SCORE 3090135.059
AT ITER 4357 NEW BEST:: SOT 24687624 SOS 5986132 HAS SOPS 5986132 HAS SOUS 3083839 HAS SOUPS 3083839 WITH SCORE 3089825.132
AT ITER 4364 NEW BEST:: SOT 24687624 SOS 5986802 HAS SOPS 5986802 HAS SOUS 3083837 HAS SOUPS 3083837 WITH SCORE 3089823.802
AT ITER 4374 NEW BEST:: SOT 24687615 SOS 5986784 HAS SOPS 5986784 HAS SOUS 3083828 HAS SOUPS 3083828 WITH SCORE 3089814.784
AT ITER 4375 NEW BEST:: SOT 24687374 SOS 5986302 HAS SOPS 5986302 HAS SOUS 3083587 HAS SOUPS 3083587 WITH SCORE 3089573.302
AT ITER 4383 NEW BEST:: SOT 24686943 SOS 5987024 HAS SOPS 5987024 HAS SOUS 3083469 HAS SOUPS 3083469 WITH SCORE 3089456.024
AT ITER 4442 NEW BEST:: SOT 24686094 SOS 5986206 HAS SOPS 5986206 HAS SOUS 3082620 HAS SOUPS 3082620 WITH SCORE 3088606.206
AT ITER 4449 NEW BEST:: SOT 24686094 SOS 5985117 HAS SOPS 5985117 HAS SOUS 3082620 HAS SOUPS 3082620 WITH SCORE 3088605.117
AT ITER 4466 NEW BEST:: SOT 24685722 SOS 5984373 HAS SOPS 5984373 HAS SOUS 3081876 HAS SOUPS 3081876 WITH SCORE 3087860.373
AT ITER 4470 NEW BEST:: SOT 24684835 SOS 5983486 HAS SOPS 5983486 HAS SOUS 3080102 HAS SOUPS 3080102 WITH SCORE 3086085.486
AT ITER 4491 NEW BEST:: SOT 24684811 SOS 5983438 HAS SOPS 5983438 HAS SOUS 3080054 HAS SOUPS 3080054 WITH SCORE 3086037.438
AT ITER 4496 NEW BEST:: SOT 24684759 SOS 5983854 HAS SOPS 5983854 HAS SOUS 3080002 HAS SOUPS 3080002 WITH SCORE 3085985.854
AT ITER 4510 NEW BEST:: SOT 24684759 SOS 5983854 HAS SOPS 5983854 HAS SOUS 3080000 HAS SOUPS 3080000 WITH SCORE 3085983.854
AT ITER 4533 NEW BEST:: SOT 24684092 SOS 5982520 HAS SOPS 5982520 HAS SOUS 3078666 HAS SOUPS 3078666 WITH SCORE 3084648.52
AT ITER 4579 NEW BEST:: SOT 24683314 SOS 5982529 HAS SOPS 5982529 HAS SOUS 3078582 HAS SOUPS 3078582 WITH SCORE 3084564.529
AT ITER 4650 NEW BEST:: SOT 24683294 SOS 5982489 HAS SOPS 5982489 HAS SOUS 3078542 HAS SOUPS 3078542 WITH SCORE 3084524.489
AT ITER 4690 NEW BEST:: SOT 24683294 SOS 5980986 HAS SOPS 5980986 HAS SOUS 3078541 HAS SOUPS 3078541 WITH SCORE 3084521.986
AT ITER 4703 NEW BEST:: SOT 24682351 SOS 5980043 HAS SOPS 5980043 HAS SOUS 3076655 HAS SOUPS 3076655 WITH SCORE 3082635.043
AT ITER 4735 NEW BEST:: SOT 24681560 SOS 5979252 HAS SOPS 5979252 HAS SOUS 3075864 HAS SOUPS 3075864 WITH SCORE 3081843.252
AT ITER 4741 NEW BEST:: SOT 24680625 SOS 5973647 HAS SOPS 5973647 HAS SOUS 3074462 HAS SOUPS 3074462 WITH SCORE 3080435.647
AT ITER 4746 NEW BEST:: SOT 24680502 SOS 5973523 HAS SOPS 5973523 HAS SOUS 3074338 HAS SOUPS 3074338 WITH SCORE 3080311.523
AT ITER 4771 NEW BEST:: SOT 24680501 SOS 5973521 HAS SOPS 5973521 HAS SOUS 3074336 HAS SOUPS 3074336 WITH SCORE 3080309.521
AT ITER 4785 NEW BEST:: SOT 24680516 SOS 5973179 HAS SOPS 5973179 HAS SOUS 3074179 HAS SOUPS 3074179 WITH SCORE 3080152.179
AT ITER 4796 NEW BEST:: SOT 24680550 SOS 5971102 HAS SOPS 5971102 HAS SOUS 3073966 HAS SOUPS 3073966 WITH SCORE 3079937.102
AT ITER 4799 NEW BEST:: SOT 24680541 SOS 5971084 HAS SOPS 5971084 HAS SOUS 3073957 HAS SOUPS 3073957 WITH SCORE 3079928.084
AT ITER 4812 NEW BEST:: SOT 24680894 SOS 5970263 HAS SOPS 5970263 HAS SOUS 3072859 HAS SOUPS 3072859 WITH SCORE 3078829.263
AT ITER 4830 NEW BEST:: SOT 24680794 SOS 5970163 HAS SOPS 5970163 HAS SOUS 3072759 HAS SOUPS 3072759 WITH SCORE 3078729.163
AT ITER 4849 NEW BEST:: SOT 24680794 SOS 5968959 HAS SOPS 5968959 HAS SOUS 3072759 HAS SOUPS 3072759 WITH SCORE 3078727.959
AT ITER 4864 NEW BEST:: SOT 24680794 SOS 5969786 HAS SOPS 5969786 HAS SOUS 3071932 HAS SOUPS 3071932 WITH SCORE 3077901.786
AT ITER 4875 NEW BEST:: SOT 24680733 SOS 5969654 HAS SOPS 5969654 HAS SOUS 3071809 HAS SOUPS 3071809 WITH SCORE 3077778.654
AT ITER 4942 NEW BEST:: SOT 24681015 SOS 5970218 HAS SOPS 5970218 HAS SOUS 3070804 HAS SOUPS 3070804 WITH SCORE 3076774.218
AT ITER 4944 NEW BEST:: SOT 24680501 SOS 5969704 HAS SOPS 5969704 HAS SOUS 3070804 HAS SOUPS 3070804 WITH SCORE 3076773.704
AT ITER 4945 NEW BEST:: SOT 24680501 SOS 5969694 HAS SOPS 5969694 HAS SOUS 3070803 HAS SOUPS 3070803 WITH SCORE 3076772.694
AT ITER 4958 NEW BEST:: SOT 24680993 SOS 5970678 HAS SOPS 5970678 HAS SOUS 3069627 HAS SOUPS 3069627 WITH SCORE 3075597.678
AT ITER 4971 NEW BEST:: SOT 24679629 SOS 5969304 HAS SOPS 5969304 HAS SOUS 3068262 HAS SOUPS 3068262 WITH SCORE 3074231.304
AT ITER 4992 NEW BEST:: SOT 24679122 SOS 5969107 HAS SOPS 5969107 HAS SOUS 3068065 HAS SOUPS 3068065 WITH SCORE 3074034.107
AT ITER 5002 NEW BEST:: SOT 24678610 SOS 5968083 HAS SOPS 5968083 HAS SOUS 3067803 HAS SOUPS 3067803 WITH SCORE 3073771.083
AT ITER 5037 NEW BEST:: SOT 24678610 SOS 5970222 HAS SOPS 5970222 HAS SOUS 3066731 HAS SOUPS 3066731 WITH SCORE 3072701.222
AT ITER 5042 NEW BEST:: SOT 24678599 SOS 5970189 HAS SOPS 5970189 HAS SOUS 3066698 HAS SOUPS 3066698 WITH SCORE 3072668.189
AT ITER 5061 NEW BEST:: SOT 24678757 SOS 5969049 HAS SOPS 5969049 HAS SOUS 3066521 HAS SOUPS 3066521 WITH SCORE 3072490.049
AT ITER 5084 NEW BEST:: SOT 24677408 SOS 5965569 HAS SOPS 5965569 HAS SOUS 3064594 HAS SOUPS 3064594 WITH SCORE 3070559.569
AT ITER 5097 NEW BEST:: SOT 24677399 SOS 5965551 HAS SOPS 5965551 HAS SOUS 3064576 HAS SOUPS 3064576 WITH SCORE 3070541.551
AT ITER 5115 NEW BEST:: SOT 24677166 SOS 5964885 HAS SOPS 5964885 HAS SOUS 3064323 HAS SOUPS 3064323 WITH SCORE 3070287.885
AT ITER 5126 NEW BEST:: SOT 24677054 SOS 5964661 HAS SOPS 5964661 HAS SOUS 3064099 HAS SOUPS 3064099 WITH SCORE 3070063.661
AT ITER 5136 NEW BEST:: SOT 24677054 SOS 5963548 HAS SOPS 5963548 HAS SOUS 3064098 HAS SOUPS 3064098 WITH SCORE 3070061.548
AT ITER 5151 NEW BEST:: SOT 24677054 SOS 5963538 HAS SOPS 5963538 HAS SOUS 3064098 HAS SOUPS 3064098 WITH SCORE 3070061.538
AT ITER 5160 NEW BEST:: SOT 24677167 SOS 5963080 HAS SOPS 5963080 HAS SOUS 3064096 HAS SOUPS 3064096 WITH SCORE 3070059.08
AT ITER 5166 NEW BEST:: SOT 24677167 SOS 5961244 HAS SOPS 5961244 HAS SOUS 3064000 HAS SOUPS 3064000 WITH SCORE 3069961.244
AT ITER 5167 NEW BEST:: SOT 24677149 SOS 5961208 HAS SOPS 5961208 HAS SOUS 3063899 HAS SOUPS 3063899 WITH SCORE 3069860.208
AT ITER 5181 NEW BEST:: SOT 24677093 SOS 5960310 HAS SOPS 5960310 HAS SOUS 3063817 HAS SOUPS 3063817 WITH SCORE 3069777.31
AT ITER 5195 NEW BEST:: SOT 24677023 SOS 5960237 HAS SOPS 5960237 HAS SOUS 3063816 HAS SOUPS 3063816 WITH SCORE 3069776.237
AT ITER 5212 NEW BEST:: SOT 24676357 SOS 5959567 HAS SOPS 5959567 HAS SOUS 3063149 HAS SOUPS 3063149 WITH SCORE 3069108.567
AT ITER 5241 NEW BEST:: SOT 24676372 SOS 5961759 HAS SOPS 5961759 HAS SOUS 3062456 HAS SOUPS 3062456 WITH SCORE 3068417.759
AT ITER 5246 NEW BEST:: SOT 24676372 SOS 5961758 HAS SOPS 5961758 HAS SOUS 3062455 HAS SOUPS 3062455 WITH SCORE 3068416.758
AT ITER 5276 NEW BEST:: SOT 24675016 SOS 5960402 HAS SOPS 5960402 HAS SOUS 3061099 HAS SOUPS 3061099 WITH SCORE 3067059.402
AT ITER 5351 NEW BEST:: SOT 24674889 SOS 5960148 HAS SOPS 5960148 HAS SOUS 3060972 HAS SOUPS 3060972 WITH SCORE 3066932.148
AT ITER 5355 NEW BEST:: SOT 24674889 SOS 5960342 HAS SOPS 5960342 HAS SOUS 3060970 HAS SOUPS 3060970 WITH SCORE 3066930.342
AT ITER 5442 NEW BEST:: SOT 24674914 SOS 5960862 HAS SOPS 5960862 HAS SOUS 3060823 HAS SOUPS 3060823 WITH SCORE 3066783.862
AT ITER 5453 NEW BEST:: SOT 24674914 SOS 5962184 HAS SOPS 5962184 HAS SOUS 3060821 HAS SOUPS 3060821 WITH SCORE 3066783.184
AT ITER 5473 NEW BEST:: SOT 24674892 SOS 5962206 HAS SOPS 5962206 HAS SOUS 3060799 HAS SOUPS 3060799 WITH SCORE 3066761.206
AT ITER 5476 NEW BEST:: SOT 24674889 SOS 5962200 HAS SOPS 5962200 HAS SOUS 3060793 HAS SOUPS 3060793 WITH SCORE 3066755.2
AT ITER 5477 NEW BEST:: SOT 24675014 SOS 5962136 HAS SOPS 5962136 HAS SOUS 3060786 HAS SOUPS 3060786 WITH SCORE 3066748.136
AT ITER 5483 NEW BEST:: SOT 24674841 SOS 5962041 HAS SOPS 5962041 HAS SOUS 3060691 HAS SOUPS 3060691 WITH SCORE 3066653.041
AT ITER 5487 NEW BEST:: SOT 24675196 SOS 5965921 HAS SOPS 5965921 HAS SOUS 3060342 HAS SOUPS 3060342 WITH SCORE 3066307.921
AT ITER 5511 NEW BEST:: SOT 24675447 SOS 5964863 HAS SOPS 5964863 HAS SOUS 3060198 HAS SOUPS 3060198 WITH SCORE 3066162.863
AT ITER 5549 NEW BEST:: SOT 24675459 SOS 5965468 HAS SOPS 5965468 HAS SOUS 3059838 HAS SOUPS 3059838 WITH SCORE 3065803.468
AT ITER 5557 NEW BEST:: SOT 24674738 SOS 5964026 HAS SOPS 5964026 HAS SOUS 3057921 HAS SOUPS 3057921 WITH SCORE 3063885.026
AT ITER 5572 NEW BEST:: SOT 24674423 SOS 5963888 HAS SOPS 5963888 HAS SOUS 3057606 HAS SOUPS 3057606 WITH SCORE 3063569.888
AT ITER 5630 NEW BEST:: SOT 24674081 SOS 5971979 HAS SOPS 5971979 HAS SOUS 3057156 HAS SOUPS 3057156 WITH SCORE 3063127.979
AT ITER 5654 NEW BEST:: SOT 24674081 SOS 5971778 HAS SOPS 5971778 HAS SOUS 3056955 HAS SOUPS 3056955 WITH SCORE 3062926.778
AT ITER 5667 NEW BEST:: SOT 24674079 SOS 5971774 HAS SOPS 5971774 HAS SOUS 3056951 HAS SOUPS 3056951 WITH SCORE 3062922.774
AT ITER 5679 NEW BEST:: SOT 24673703 SOS 5971022 HAS SOPS 5971022 HAS SOUS 3056199 HAS SOUPS 3056199 WITH SCORE 3062170.022
AT ITER 5684 NEW BEST:: SOT 24673703 SOS 5966644 HAS SOPS 5966644 HAS SOUS 3056198 HAS SOUPS 3056198 WITH SCORE 3062164.644
AT ITER 5685 NEW BEST:: SOT 24673468 SOS 5968279 HAS SOPS 5968279 HAS SOUS 3055727 HAS SOUPS 3055727 WITH SCORE 3061695.279
AT ITER 5694 NEW BEST:: SOT 24673468 SOS 5971096 HAS SOPS 5971096 HAS SOUS 3055499 HAS SOUPS 3055499 WITH SCORE 3061470.096
AT ITER 5696 NEW BEST:: SOT 24673468 SOS 5972508 HAS SOPS 5972508 HAS SOUS 3055497 HAS SOUPS 3055497 WITH SCORE 3061469.508
AT ITER 5699 NEW BEST:: SOT 24673613 SOS 5971724 HAS SOPS 5971724 HAS SOUS 3055284 HAS SOUPS 3055284 WITH SCORE 3061255.724
AT ITER 5701 NEW BEST:: SOT 24673688 SOS 5971196 HAS SOPS 5971196 HAS SOUS 3055208 HAS SOUPS 3055208 WITH SCORE 3061179.196
AT ITER 5710 NEW BEST:: SOT 24673186 SOS 5971694 HAS SOPS 5971694 HAS SOUS 3054203 HAS SOUPS 3054203 WITH SCORE 3060174.694
AT ITER 5716 NEW BEST:: SOT 24672708 SOS 5970738 HAS SOPS 5970738 HAS SOUS 3053247 HAS SOUPS 3053247 WITH SCORE 3059217.738
AT ITER 5762 NEW BEST:: SOT 24671310 SOS 5970039 HAS SOPS 5970039 HAS SOUS 3052548 HAS SOUPS 3052548 WITH SCORE 3058518.039
AT ITER 5775 NEW BEST:: SOT 24670858 SOS 5968231 HAS SOPS 5968231 HAS SOUS 3051644 HAS SOUPS 3051644 WITH SCORE 3057612.231
AT ITER 5803 NEW BEST:: SOT 24671046 SOS 5969076 HAS SOPS 5969076 HAS SOUS 3051049 HAS SOUPS 3051049 WITH SCORE 3057018.076
AT ITER 5824 NEW BEST:: SOT 24670617 SOS 5965644 HAS SOPS 5965644 HAS SOUS 3050620 HAS SOUPS 3050620 WITH SCORE 3056585.644
AT ITER 5860 NEW BEST:: SOT 24670142 SOS 5965117 HAS SOPS 5965117 HAS SOUS 3049910 HAS SOUPS 3049910 WITH SCORE 3055875.117
AT ITER 5867 NEW BEST:: SOT 24670142 SOS 5963985 HAS SOPS 5963985 HAS SOUS 3049909 HAS SOUPS 3049909 WITH SCORE 3055872.985
AT ITER 5872 NEW BEST:: SOT 24670142 SOS 5963985 HAS SOPS 5963985 HAS SOUS 3049907 HAS SOUPS 3049907 WITH SCORE 3055870.985
AT ITER 5895 NEW BEST:: SOT 24670142 SOS 5963205 HAS SOPS 5963205 HAS SOUS 3049907 HAS SOUPS 3049907 WITH SCORE 3055870.205
AT ITER 5928 NEW BEST:: SOT 24670044 SOS 5963009 HAS SOPS 5963009 HAS SOUS 3049760 HAS SOUPS 3049760 WITH SCORE 3055723.009
AT ITER 5932 NEW BEST:: SOT 24670006 SOS 5962933 HAS SOPS 5962933 HAS SOUS 3049722 HAS SOUPS 3049722 WITH SCORE 3055684.933
AT ITER 5944 NEW BEST:: SOT 24669753 SOS 5963332 HAS SOPS 5963332 HAS SOUS 3049468 HAS SOUPS 3049468 WITH SCORE 3055431.332
AT ITER 5945 NEW BEST:: SOT 24669753 SOS 5963332 HAS SOPS 5963332 HAS SOUS 3049464 HAS SOUPS 3049464 WITH SCORE 3055427.332
AT ITER 5976 NEW BEST:: SOT 24669753 SOS 5964115 HAS SOPS 5964115 HAS SOUS 3049070 HAS SOUPS 3049070 WITH SCORE 3055034.115
AT ITER 5979 NEW BEST:: SOT 24669753 SOS 5964115 HAS SOPS 5964115 HAS SOUS 3048957 HAS SOUPS 3048957 WITH SCORE 3054921.115
AT ITER 6005 NEW BEST:: SOT 24669601 SOS 5963811 HAS SOPS 5963811 HAS SOUS 3048653 HAS SOUPS 3048653 WITH SCORE 3054616.811
AT ITER 6011 NEW BEST:: SOT 24669601 SOS 5963811 HAS SOPS 5963811 HAS SOUS 3048375 HAS SOUPS 3048375 WITH SCORE 3054338.811
AT ITER 6014 NEW BEST:: SOT 24669601 SOS 5963991 HAS SOPS 5963991 HAS SOUS 3048373 HAS SOUPS 3048373 WITH SCORE 3054336.991
AT ITER 6026 NEW BEST:: SOT 24669526 SOS 5963691 HAS SOPS 5963691 HAS SOUS 3048223 HAS SOUPS 3048223 WITH SCORE 3054186.691
AT ITER 6034 NEW BEST:: SOT 24669474 SOS 5964055 HAS SOPS 5964055 HAS SOUS 3048171 HAS SOUPS 3048171 WITH SCORE 3054135.055
AT ITER 6036 NEW BEST:: SOT 24669075 SOS 5956084 HAS SOPS 5956084 HAS SOUS 3047373 HAS SOUPS 3047373 WITH SCORE 3053329.084
AT ITER 6052 NEW BEST:: SOT 24668061 SOS 5963182 HAS SOPS 5963182 HAS SOUS 3046359 HAS SOUPS 3046359 WITH SCORE 3052322.182
AT ITER 6066 NEW BEST:: SOT 24667858 SOS 5964603 HAS SOPS 5964603 HAS SOUS 3046156 HAS SOUPS 3046156 WITH SCORE 3052120.603
AT ITER 6083 NEW BEST:: SOT 24667858 SOS 5964047 HAS SOPS 5964047 HAS SOUS 3046156 HAS SOUPS 3046156 WITH SCORE 3052120.047
AT ITER 6130 NEW BEST:: SOT 24666470 SOS 5963410 HAS SOPS 5963410 HAS SOUS 3045519 HAS SOUPS 3045519 WITH SCORE 3051482.41
AT ITER 6133 NEW BEST:: SOT 24666146 SOS 5964878 HAS SOPS 5964878 HAS SOUS 3045184 HAS SOUPS 3045184 WITH SCORE 3051148.878
AT ITER 6144 NEW BEST:: SOT 24665977 SOS 5965047 HAS SOPS 5965047 HAS SOUS 3045015 HAS SOUPS 3045015 WITH SCORE 3050980.047
AT ITER 6153 NEW BEST:: SOT 24665977 SOS 5964565 HAS SOPS 5964565 HAS SOUS 3045015 HAS SOUPS 3045015 WITH SCORE 3050979.565
AT ITER 6160 NEW BEST:: SOT 24665704 SOS 5964292 HAS SOPS 5964292 HAS SOUS 3045015 HAS SOUPS 3045015 WITH SCORE 3050979.292
AT ITER 6219 NEW BEST:: SOT 24665389 SOS 5963805 HAS SOPS 5963805 HAS SOUS 3044528 HAS SOUPS 3044528 WITH SCORE 3050491.805
AT ITER 6220 NEW BEST:: SOT 24665692 SOS 5963557 HAS SOPS 5963557 HAS SOUS 3044280 HAS SOUPS 3044280 WITH SCORE 3050243.557
AT ITER 6240 NEW BEST:: SOT 24665607 SOS 5963471 HAS SOPS 5963471 HAS SOUS 3044194 HAS SOUPS 3044194 WITH SCORE 3050157.471
AT ITER 6249 NEW BEST:: SOT 24665551 SOS 5963359 HAS SOPS 5963359 HAS SOUS 3044082 HAS SOUPS 3044082 WITH SCORE 3050045.359
AT ITER 6300 NEW BEST:: SOT 24665551 SOS 5963314 HAS SOPS 5963314 HAS SOUS 3044037 HAS SOUPS 3044037 WITH SCORE 3050000.314
AT ITER 6315 NEW BEST:: SOT 24665550 SOS 5963312 HAS SOPS 5963312 HAS SOUS 3044035 HAS SOUPS 3044035 WITH SCORE 3049998.312
AT ITER 6354 NEW BEST:: SOT 24665550 SOS 5958874 HAS SOPS 5958874 HAS SOUS 3044035 HAS SOUPS 3044035 WITH SCORE 3049993.874
AT ITER 6370 NEW BEST:: SOT 24665652 SOS 5958666 HAS SOPS 5958666 HAS SOUS 3043827 HAS SOUPS 3043827 WITH SCORE 3049785.666
AT ITER 6379 NEW BEST:: SOT 24665439 SOS 5958450 HAS SOPS 5958450 HAS SOUS 3043826 HAS SOUPS 3043826 WITH SCORE 3049784.45
AT ITER 6399 NEW BEST:: SOT 24663991 SOS 5958730 HAS SOPS 5958730 HAS SOUS 3043677 HAS SOUPS 3043677 WITH SCORE 3049635.73
AT ITER 6400 NEW BEST:: SOT 24663504 SOS 5957756 HAS SOPS 5957756 HAS SOUS 3043190 HAS SOUPS 3043190 WITH SCORE 3049147.756
AT ITER 6413 NEW BEST:: SOT 24663705 SOS 5956913 HAS SOPS 5956913 HAS SOUS 3042976 HAS SOUPS 3042976 WITH SCORE 3048932.913
AT ITER 6420 NEW BEST:: SOT 24663148 SOS 5956425 HAS SOPS 5956425 HAS SOUS 3042488 HAS SOUPS 3042488 WITH SCORE 3048444.425
AT ITER 6434 NEW BEST:: SOT 24663148 SOS 5956415 HAS SOPS 5956415 HAS SOUS 3042007 HAS SOUPS 3042007 WITH SCORE 3047963.415
AT ITER 6463 NEW BEST:: SOT 24663148 SOS 5956149 HAS SOPS 5956149 HAS SOUS 3041741 HAS SOUPS 3041741 WITH SCORE 3047697.149
AT ITER 6493 NEW BEST:: SOT 24662950 SOS 5955753 HAS SOPS 5955753 HAS SOUS 3041542 HAS SOUPS 3041542 WITH SCORE 3047497.753
AT ITER 6505 NEW BEST:: SOT 24662663 SOS 5955179 HAS SOPS 5955179 HAS SOUS 3040968 HAS SOUPS 3040968 WITH SCORE 3046923.179
AT ITER 6509 NEW BEST:: SOT 24662662 SOS 5955177 HAS SOPS 5955177 HAS SOUS 3040966 HAS SOUPS 3040966 WITH SCORE 3046921.177
AT ITER 6516 NEW BEST:: SOT 24661050 SOS 5945505 HAS SOPS 5945505 HAS SOUS 3038548 HAS SOUPS 3038548 WITH SCORE 3044493.505
AT ITER 6555 NEW BEST:: SOT 24659422 SOS 5943166 HAS SOPS 5943166 HAS SOUS 3036209 HAS SOUPS 3036209 WITH SCORE 3042152.166
AT ITER 6562 NEW BEST:: SOT 24659491 SOS 5942021 HAS SOPS 5942021 HAS SOUS 3035779 HAS SOUPS 3035779 WITH SCORE 3041721.021
AT ITER 6569 NEW BEST:: SOT 24659349 SOS 5941733 HAS SOPS 5941733 HAS SOUS 3035494 HAS SOUPS 3035494 WITH SCORE 3041435.733
AT ITER 6573 NEW BEST:: SOT 24659344 SOS 5943575 HAS SOPS 5943575 HAS SOUS 3035352 HAS SOUPS 3035352 WITH SCORE 3041295.575
AT ITER 6576 NEW BEST:: SOT 24659344 SOS 5943365 HAS SOPS 5943365 HAS SOUS 3035331 HAS SOUPS 3035331 WITH SCORE 3041274.365
AT ITER 6659 NEW BEST:: SOT 24659125 SOS 5943068 HAS SOPS 5943068 HAS SOUS 3034611 HAS SOUPS 3034611 WITH SCORE 3040554.068
AT ITER 6667 NEW BEST:: SOT 24659125 SOS 5943065 HAS SOPS 5943065 HAS SOUS 3034610 HAS SOUPS 3034610 WITH SCORE 3040553.065
AT ITER 6699 NEW BEST:: SOT 24658388 SOS 5934958 HAS SOPS 5934958 HAS SOUS 3033136 HAS SOUPS 3033136 WITH SCORE 3039070.958
AT ITER 6702 NEW BEST:: SOT 24655546 SOS 5932319 HAS SOPS 5932319 HAS SOUS 3030497 HAS SOUPS 3030497 WITH SCORE 3036429.319
AT ITER 6708 NEW BEST:: SOT 24655434 SOS 5932427 HAS SOPS 5932427 HAS SOUS 3030496 HAS SOUPS 3030496 WITH SCORE 3036428.427
AT ITER 6727 NEW BEST:: SOT 24655434 SOS 5924507 HAS SOPS 5924507 HAS SOUS 3030496 HAS SOUPS 3030496 WITH SCORE 3036420.507
AT ITER 6742 NEW BEST:: SOT 24653139 SOS 5922512 HAS SOPS 5922512 HAS SOUS 3028231 HAS SOUPS 3028231 WITH SCORE 3034153.512
AT ITER 6754 NEW BEST:: SOT 24652136 SOS 5921542 HAS SOPS 5921542 HAS SOUS 3027270 HAS SOUPS 3027270 WITH SCORE 3033191.542
AT ITER 6774 NEW BEST:: SOT 24652136 SOS 5921797 HAS SOPS 5921797 HAS SOUS 3027269 HAS SOUPS 3027269 WITH SCORE 3033190.797
AT ITER 6783 NEW BEST:: SOT 24652110 SOS 5921745 HAS SOPS 5921745 HAS SOUS 3027243 HAS SOUPS 3027243 WITH SCORE 3033164.745
AT ITER 6795 NEW BEST:: SOT 24652086 SOS 5921697 HAS SOPS 5921697 HAS SOUS 3027034 HAS SOUPS 3027034 WITH SCORE 3032955.697
AT ITER 6799 NEW BEST:: SOT 24651442 SOS 5921694 HAS SOPS 5921694 HAS SOUS 3025745 HAS SOUPS 3025745 WITH SCORE 3031666.694
AT ITER 6814 NEW BEST:: SOT 24651246 SOS 5921302 HAS SOPS 5921302 HAS SOUS 3025013 HAS SOUPS 3025013 WITH SCORE 3030934.302
AT ITER 6868 NEW BEST:: SOT 24651071 SOS 5920952 HAS SOPS 5920952 HAS SOUS 3024663 HAS SOUPS 3024663 WITH SCORE 3030583.952
AT ITER 6921 NEW BEST:: SOT 24651070 SOS 5920950 HAS SOPS 5920950 HAS SOUS 3024661 HAS SOUPS 3024661 WITH SCORE 3030581.95
AT ITER 6932 NEW BEST:: SOT 24651070 SOS 5920749 HAS SOPS 5920749 HAS SOUS 3024460 HAS SOUPS 3024460 WITH SCORE 3030380.749
AT ITER 6937 NEW BEST:: SOT 24651624 SOS 5923230 HAS SOPS 5923230 HAS SOUS 3024325 HAS SOUPS 3024325 WITH SCORE 3030248.23
AT ITER 6971 NEW BEST:: SOT 24651552 SOS 5923734 HAS SOPS 5923734 HAS SOUS 3024181 HAS SOUPS 3024181 WITH SCORE 3030104.734
AT ITER 7007 NEW BEST:: SOT 24651552 SOS 5923734 HAS SOPS 5923734 HAS SOUS 3023984 HAS SOUPS 3023984 WITH SCORE 3029907.734
AT ITER 7022 NEW BEST:: SOT 24651552 SOS 5922354 HAS SOPS 5922354 HAS SOUS 3023984 HAS SOUPS 3023984 WITH SCORE 3029906.354
AT ITER 7029 NEW BEST:: SOT 24650166 SOS 5921372 HAS SOPS 5921372 HAS SOUS 3023074 HAS SOUPS 3023074 WITH SCORE 3028995.372
AT ITER 7035 NEW BEST:: SOT 24649284 SOS 5920490 HAS SOPS 5920490 HAS SOUS 3022192 HAS SOUPS 3022192 WITH SCORE 3028112.49
AT ITER 7054 NEW BEST:: SOT 24649102 SOS 5920686 HAS SOPS 5920686 HAS SOUS 3022010 HAS SOUPS 3022010 WITH SCORE 3027930.686
AT ITER 7063 NEW BEST:: SOT 24649535 SOS 5921552 HAS SOPS 5921552 HAS SOUS 3021607 HAS SOUPS 3021607 WITH SCORE 3027528.552
AT ITER 7093 NEW BEST:: SOT 24649535 SOS 5920888 HAS SOPS 5920888 HAS SOUS 3021275 HAS SOUPS 3021275 WITH SCORE 3027195.888
AT ITER 7104 NEW BEST:: SOT 24649266 SOS 5920350 HAS SOPS 5920350 HAS SOUS 3020737 HAS SOUPS 3020737 WITH SCORE 3026657.35
AT ITER 7138 NEW BEST:: SOT 24649148 SOS 5920114 HAS SOPS 5920114 HAS SOUS 3020501 HAS SOUPS 3020501 WITH SCORE 3026421.114
AT ITER 7150 NEW BEST:: SOT 24649148 SOS 5918395 HAS SOPS 5918395 HAS SOUS 3019928 HAS SOUPS 3019928 WITH SCORE 3025846.395
AT ITER 7158 NEW BEST:: SOT 24648767 SOS 5918429 HAS SOPS 5918429 HAS SOUS 3019718 HAS SOUPS 3019718 WITH SCORE 3025636.429
AT ITER 7161 NEW BEST:: SOT 24648483 SOS 5917861 HAS SOPS 5917861 HAS SOUS 3019425 HAS SOUPS 3019425 WITH SCORE 3025342.861
AT ITER 7168 NEW BEST:: SOT 24648483 SOS 5917972 HAS SOPS 5917972 HAS SOUS 3019384 HAS SOUPS 3019384 WITH SCORE 3025301.972
AT ITER 7185 NEW BEST:: SOT 24648483 SOS 5917971 HAS SOPS 5917971 HAS SOUS 3019382 HAS SOUPS 3019382 WITH SCORE 3025299.971
AT ITER 7236 NEW BEST:: SOT 24647515 SOS 5913131 HAS SOPS 5913131 HAS SOUS 3017446 HAS SOUPS 3017446 WITH SCORE 3023359.131
AT ITER 7237 NEW BEST:: SOT 24647504 SOS 5913120 HAS SOPS 5913120 HAS SOUS 3017444 HAS SOUPS 3017444 WITH SCORE 3023357.12
AT ITER 7248 NEW BEST:: SOT 24647504 SOS 5912700 HAS SOPS 5912700 HAS SOUS 3017444 HAS SOUPS 3017444 WITH SCORE 3023356.7
AT ITER 7252 NEW BEST:: SOT 24647018 SOS 5912536 HAS SOPS 5912536 HAS SOUS 3017403 HAS SOUPS 3017403 WITH SCORE 3023315.536
AT ITER 7256 NEW BEST:: SOT 24646112 SOS 5911812 HAS SOPS 5911812 HAS SOUS 3016135 HAS SOUPS 3016135 WITH SCORE 3022046.812
AT ITER 7262 NEW BEST:: SOT 24645994 SOS 5911694 HAS SOPS 5911694 HAS SOUS 3016017 HAS SOUPS 3016017 WITH SCORE 3021928.694
AT ITER 7273 NEW BEST:: SOT 24645725 SOS 5911959 HAS SOPS 5911959 HAS SOUS 3015824 HAS SOUPS 3015824 WITH SCORE 3021735.959
AT ITER 7280 NEW BEST:: SOT 24645781 SOS 5912067 HAS SOPS 5912067 HAS SOUS 3015822 HAS SOUPS 3015822 WITH SCORE 3021734.067
AT ITER 7322 NEW BEST:: SOT 24645781 SOS 5910807 HAS SOPS 5910807 HAS SOUS 3015402 HAS SOUPS 3015402 WITH SCORE 3021312.807
AT ITER 7337 NEW BEST:: SOT 24645717 SOS 5910679 HAS SOPS 5910679 HAS SOUS 3015274 HAS SOUPS 3015274 WITH SCORE 3021184.679
AT ITER 7354 NEW BEST:: SOT 24645717 SOS 5910573 HAS SOPS 5910573 HAS SOUS 3015168 HAS SOUPS 3015168 WITH SCORE 3021078.573
AT ITER 7365 NEW BEST:: SOT 24645717 SOS 5910024 HAS SOPS 5910024 HAS SOUS 3015168 HAS SOUPS 3015168 WITH SCORE 3021078.024
AT ITER 7385 NEW BEST:: SOT 24645489 SOS 5911620 HAS SOPS 5911620 HAS SOUS 3014712 HAS SOUPS 3014712 WITH SCORE 3020623.62
AT ITER 7392 NEW BEST:: SOT 24645302 SOS 5911433 HAS SOPS 5911433 HAS SOUS 3014592 HAS SOUPS 3014592 WITH SCORE 3020503.433
AT ITER 7414 NEW BEST:: SOT 24645302 SOS 5910008 HAS SOPS 5910008 HAS SOUS 3014117 HAS SOUPS 3014117 WITH SCORE 3020027.008
AT ITER 7419 NEW BEST:: SOT 24645299 SOS 5910002 HAS SOPS 5910002 HAS SOUS 3014111 HAS SOUPS 3014111 WITH SCORE 3020021.002
AT ITER 7454 NEW BEST:: SOT 24645299 SOS 5909670 HAS SOPS 5909670 HAS SOUS 3013945 HAS SOUPS 3013945 WITH SCORE 3019854.67
AT ITER 7465 NEW BEST:: SOT 24645030 SOS 5909670 HAS SOPS 5909670 HAS SOUS 3013784 HAS SOUPS 3013784 WITH SCORE 3019693.67
AT ITER 7499 NEW BEST:: SOT 24645033 SOS 5909319 HAS SOPS 5909319 HAS SOUS 3013433 HAS SOUPS 3013433 WITH SCORE 3019342.319
AT ITER 7531 NEW BEST:: SOT 24644444 SOS 5908730 HAS SOPS 5908730 HAS SOUS 3012255 HAS SOUPS 3012255 WITH SCORE 3018163.73
AT ITER 7575 NEW BEST:: SOT 24644444 SOS 5910472 HAS SOPS 5910472 HAS SOUS 3011962 HAS SOUPS 3011962 WITH SCORE 3017872.472
AT ITER 7576 NEW BEST:: SOT 24643934 SOS 5910378 HAS SOPS 5910378 HAS SOUS 3011868 HAS SOUPS 3011868 WITH SCORE 3017778.378
AT ITER 7609 NEW BEST:: SOT 24643934 SOS 5910696 HAS SOPS 5910696 HAS SOUS 3011866 HAS SOUPS 3011866 WITH SCORE 3017776.696
AT ITER 7613 NEW BEST:: SOT 24643934 SOS 5910288 HAS SOPS 5910288 HAS SOUS 3011458 HAS SOUPS 3011458 WITH SCORE 3017368.288
AT ITER 7621 NEW BEST:: SOT 24643933 SOS 5910286 HAS SOPS 5910286 HAS SOUS 3011456 HAS SOUPS 3011456 WITH SCORE 3017366.286
AT ITER 7638 NEW BEST:: SOT 24643772 SOS 5909560 HAS SOPS 5909560 HAS SOUS 3011134 HAS SOUPS 3011134 WITH SCORE 3017043.56
AT ITER 7683 NEW BEST:: SOT 24643430 SOS 5908876 HAS SOPS 5908876 HAS SOUS 3009984 HAS SOUPS 3009984 WITH SCORE 3015892.876
AT ITER 7706 NEW BEST:: SOT 24643110 SOS 5908134 HAS SOPS 5908134 HAS SOUS 3009242 HAS SOUPS 3009242 WITH SCORE 3015150.134
AT ITER 7735 NEW BEST:: SOT 24641633 SOS 5905180 HAS SOPS 5905180 HAS SOUS 3006882 HAS SOUPS 3006882 WITH SCORE 3012787.18
AT ITER 7743 NEW BEST:: SOT 24640607 SOS 5905357 HAS SOPS 5905357 HAS SOUS 3006858 HAS SOUPS 3006858 WITH SCORE 3012763.357
AT ITER 7778 NEW BEST:: SOT 24639864 SOS 5904888 HAS SOPS 5904888 HAS SOUS 3006224 HAS SOUPS 3006224 WITH SCORE 3012128.888
AT ITER 7798 NEW BEST:: SOT 24639852 SOS 5904864 HAS SOPS 5904864 HAS SOUS 3006200 HAS SOUPS 3006200 WITH SCORE 3012104.864
AT ITER 7808 NEW BEST:: SOT 24639771 SOS 5904863 HAS SOPS 5904863 HAS SOUS 3006199 HAS SOUPS 3006199 WITH SCORE 3012103.863
AT ITER 7816 NEW BEST:: SOT 24639685 SOS 5903831 HAS SOPS 5903831 HAS SOUS 3006027 HAS SOUPS 3006027 WITH SCORE 3011930.831
AT ITER 7819 NEW BEST:: SOT 24639685 SOS 5903627 HAS SOPS 5903627 HAS SOUS 3005925 HAS SOUPS 3005925 WITH SCORE 3011828.627
AT ITER 7833 NEW BEST:: SOT 24639332 SOS 5906088 HAS SOPS 5906088 HAS SOUS 3005218 HAS SOUPS 3005218 WITH SCORE 3011124.088
AT ITER 7838 NEW BEST:: SOT 24639011 SOS 5905446 HAS SOPS 5905446 HAS SOUS 3004576 HAS SOUPS 3004576 WITH SCORE 3010481.446
AT ITER 7847 NEW BEST:: SOT 24637684 SOS 5904922 HAS SOPS 5904922 HAS SOUS 3003959 HAS SOUPS 3003959 WITH SCORE 3009863.922
AT ITER 7853 NEW BEST:: SOT 24637440 SOS 5905040 HAS SOPS 5905040 HAS SOUS 3003858 HAS SOUPS 3003858 WITH SCORE 3009763.04
AT ITER 7854 NEW BEST:: SOT 24637241 SOS 5904642 HAS SOPS 5904642 HAS SOUS 3003460 HAS SOUPS 3003460 WITH SCORE 3009364.642
AT ITER 7874 NEW BEST:: SOT 24637056 SOS 5905937 HAS SOPS 5905937 HAS SOUS 3003275 HAS SOUPS 3003275 WITH SCORE 3009180.937
AT ITER 7892 NEW BEST:: SOT 24637030 SOS 5905911 HAS SOPS 5905911 HAS SOUS 3003249 HAS SOUPS 3003249 WITH SCORE 3009154.911
AT ITER 7909 NEW BEST:: SOT 24636624 SOS 5905516 HAS SOPS 5905516 HAS SOUS 3002854 HAS SOUPS 3002854 WITH SCORE 3008759.516
AT ITER 7910 NEW BEST:: SOT 24636599 SOS 5905466 HAS SOPS 5905466 HAS SOUS 3002804 HAS SOUPS 3002804 WITH SCORE 3008709.466
AT ITER 7945 NEW BEST:: SOT 24636599 SOS 5906140 HAS SOPS 5906140 HAS SOUS 3002803 HAS SOUPS 3002803 WITH SCORE 3008709.14
AT ITER 7956 NEW BEST:: SOT 24636595 SOS 5905346 HAS SOPS 5905346 HAS SOUS 3002688 HAS SOUPS 3002688 WITH SCORE 3008593.346
AT ITER 7975 NEW BEST:: SOT 24636515 SOS 5906413 HAS SOPS 5906413 HAS SOUS 3002337 HAS SOUPS 3002337 WITH SCORE 3008243.413
AT ITER 7984 NEW BEST:: SOT 24636515 SOS 5906413 HAS SOPS 5906413 HAS SOUS 3002144 HAS SOUPS 3002144 WITH SCORE 3008050.413
AT ITER 7987 NEW BEST:: SOT 24636514 SOS 5906411 HAS SOPS 5906411 HAS SOUS 3002142 HAS SOUPS 3002142 WITH SCORE 3008048.411
AT ITER 8016 NEW BEST:: SOT 24634824 SOS 5907054 HAS SOPS 5907054 HAS SOUS 3001514 HAS SOUPS 3001514 WITH SCORE 3007421.054
AT ITER 8017 NEW BEST:: SOT 24635248 SOS 5909981 HAS SOPS 5909981 HAS SOUS 3001320 HAS SOUPS 3001320 WITH SCORE 3007229.981
AT ITER 8072 NEW BEST:: SOT 24635245 SOS 5909975 HAS SOPS 5909975 HAS SOUS 3001314 HAS SOUPS 3001314 WITH SCORE 3007223.975
AT ITER 8114 NEW BEST:: SOT 24635123 SOS 5909913 HAS SOPS 5909913 HAS SOUS 3001252 HAS SOUPS 3001252 WITH SCORE 3007161.913
AT ITER 8125 NEW BEST:: SOT 24634905 SOS 5909695 HAS SOPS 5909695 HAS SOUS 3001034 HAS SOUPS 3001034 WITH SCORE 3006943.695
AT ITER 8127 NEW BEST:: SOT 24634376 SOS 5909293 HAS SOPS 5909293 HAS SOUS 3000118 HAS SOUPS 3000118 WITH SCORE 3006027.293
AT ITER 8157 NEW BEST:: SOT 24634376 SOS 5909293 HAS SOPS 5909293 HAS SOUS 2999926 HAS SOUPS 2999926 WITH SCORE 3005835.293
AT ITER 8169 NEW BEST:: SOT 24634269 SOS 5909079 HAS SOPS 5909079 HAS SOUS 2999814 HAS SOUPS 2999814 WITH SCORE 3005723.079
AT ITER 8200 NEW BEST:: SOT 24634269 SOS 5908944 HAS SOPS 5908944 HAS SOUS 2999814 HAS SOUPS 2999814 WITH SCORE 3005722.944
AT ITER 8236 NEW BEST:: SOT 24634251 SOS 5911805 HAS SOPS 5911805 HAS SOUS 2998941 HAS SOUPS 2998941 WITH SCORE 3004852.805
AT ITER 8299 NEW BEST:: SOT 24634251 SOS 5911745 HAS SOPS 5911745 HAS SOUS 2998921 HAS SOUPS 2998921 WITH SCORE 3004832.745
AT ITER 8376 NEW BEST:: SOT 24634627 SOS 5912497 HAS SOPS 5912497 HAS SOUS 2998386 HAS SOUPS 2998386 WITH SCORE 3004298.497
AT ITER 8442 NEW BEST:: SOT 24634627 SOS 5911687 HAS SOPS 5911687 HAS SOUS 2998116 HAS SOUPS 2998116 WITH SCORE 3004027.687
AT ITER 8453 NEW BEST:: SOT 24634585 SOS 5911561 HAS SOPS 5911561 HAS SOUS 2998032 HAS SOUPS 2998032 WITH SCORE 3003943.561
AT ITER 8466 NEW BEST:: SOT 24634585 SOS 5911561 HAS SOPS 5911561 HAS SOUS 2997952 HAS SOUPS 2997952 WITH SCORE 3003863.561
AT ITER 8541 NEW BEST:: SOT 24633811 SOS 5906883 HAS SOPS 5906883 HAS SOUS 2997529 HAS SOUPS 2997529 WITH SCORE 3003435.883
AT ITER 8542 NEW BEST:: SOT 24633747 SOS 5906755 HAS SOPS 5906755 HAS SOUS 2997401 HAS SOUPS 2997401 WITH SCORE 3003307.755
AT ITER 8558 NEW BEST:: SOT 24633681 SOS 5906821 HAS SOPS 5906821 HAS SOUS 2997335 HAS SOUPS 2997335 WITH SCORE 3003241.821
AT ITER 8559 NEW BEST:: SOT 24633676 SOS 5906841 HAS SOPS 5906841 HAS SOUS 2997328 HAS SOUPS 2997328 WITH SCORE 3003234.841
AT ITER 8568 NEW BEST:: SOT 24633045 SOS 5907235 HAS SOPS 5907235 HAS SOUS 2997248 HAS SOUPS 2997248 WITH SCORE 3003155.235
AT ITER 8591 NEW BEST:: SOT 24633045 SOS 5907507 HAS SOPS 5907507 HAS SOUS 2997085 HAS SOUPS 2997085 WITH SCORE 3002992.507
AT ITER 8592 NEW BEST:: SOT 24633045 SOS 5909141 HAS SOPS 5909141 HAS SOUS 2996538 HAS SOUPS 2996538 WITH SCORE 3002447.141
AT ITER 8594 NEW BEST:: SOT 24632991 SOS 5909087 HAS SOPS 5909087 HAS SOUS 2996484 HAS SOUPS 2996484 WITH SCORE 3002393.087
AT ITER 8608 NEW BEST:: SOT 24632946 SOS 5908952 HAS SOPS 5908952 HAS SOUS 2996394 HAS SOUPS 2996394 WITH SCORE 3002302.952
AT ITER 8620 NEW BEST:: SOT 24632740 SOS 5908540 HAS SOPS 5908540 HAS SOUS 2996188 HAS SOUPS 2996188 WITH SCORE 3002096.54
AT ITER 8633 NEW BEST:: SOT 24632444 SOS 5910602 HAS SOPS 5910602 HAS SOUS 2995595 HAS SOUPS 2995595 WITH SCORE 3001505.602
AT ITER 8651 NEW BEST:: SOT 24631967 SOS 5910598 HAS SOPS 5910598 HAS SOUS 2995594 HAS SOUPS 2995594 WITH SCORE 3001504.598
AT ITER 8663 NEW BEST:: SOT 24631967 SOS 5911092 HAS SOPS 5911092 HAS SOUS 2995593 HAS SOUPS 2995593 WITH SCORE 3001504.092
AT ITER 8699 NEW BEST:: SOT 24631967 SOS 5910084 HAS SOPS 5910084 HAS SOUS 2995593 HAS SOUPS 2995593 WITH SCORE 3001503.084
AT ITER 8702 NEW BEST:: SOT 24631550 SOS 5909250 HAS SOPS 5909250 HAS SOUS 2994759 HAS SOUPS 2994759 WITH SCORE 3000668.25
AT ITER 8767 NEW BEST:: SOT 24631550 SOS 5909246 HAS SOPS 5909246 HAS SOUS 2994724 HAS SOUPS 2994724 WITH SCORE 3000633.246
AT ITER 8768 NEW BEST:: SOT 24630978 SOS 5913960 HAS SOPS 5913960 HAS SOUS 2993579 HAS SOUPS 2993579 WITH SCORE 2999492.96
AT ITER 8775 NEW BEST:: SOT 24630978 SOS 5913960 HAS SOPS 5913960 HAS SOUS 2993231 HAS SOUPS 2993231 WITH SCORE 2999144.96
AT ITER 8828 NEW BEST:: SOT 24630453 SOS 5912910 HAS SOPS 5912910 HAS SOUS 2991867 HAS SOUPS 2991867 WITH SCORE 2997779.91
AT ITER 8843 NEW BEST:: SOT 24630302 SOS 5912608 HAS SOPS 5912608 HAS SOUS 2991716 HAS SOUPS 2991716 WITH SCORE 2997628.608
AT ITER 8849 NEW BEST:: SOT 24629360 SOS 5911334 HAS SOPS 5911334 HAS SOUS 2990745 HAS SOUPS 2990745 WITH SCORE 2996656.334
AT ITER 8853 NEW BEST:: SOT 24629060 SOS 5910183 HAS SOPS 5910183 HAS SOUS 2990445 HAS SOUPS 2990445 WITH SCORE 2996355.183
AT ITER 8860 NEW BEST:: SOT 24628985 SOS 5910033 HAS SOPS 5910033 HAS SOUS 2990370 HAS SOUPS 2990370 WITH SCORE 2996280.033
AT ITER 8868 NEW BEST:: SOT 24627869 SOS 5910275 HAS SOPS 5910275 HAS SOUS 2989254 HAS SOUPS 2989254 WITH SCORE 2995164.275
AT ITER 8880 NEW BEST:: SOT 24626419 SOS 5909844 HAS SOPS 5909844 HAS SOUS 2988019 HAS SOUPS 2988019 WITH SCORE 2993928.844
AT ITER 8882 NEW BEST:: SOT 24625091 SOS 5909180 HAS SOPS 5909180 HAS SOUS 2987355 HAS SOUPS 2987355 WITH SCORE 2993264.18
AT ITER 8887 NEW BEST:: SOT 24625091 SOS 5908820 HAS SOPS 5908820 HAS SOUS 2987175 HAS SOUPS 2987175 WITH SCORE 2993083.82
AT ITER 8891 NEW BEST:: SOT 24624532 SOS 5905119 HAS SOPS 5905119 HAS SOUS 2986473 HAS SOUPS 2986473 WITH SCORE 2992378.119
AT ITER 8904 NEW BEST:: SOT 24624760 SOS 5907797 HAS SOPS 5907797 HAS SOUS 2986452 HAS SOUPS 2986452 WITH SCORE 2992359.797
AT ITER 8906 NEW BEST:: SOT 24624817 SOS 5907740 HAS SOPS 5907740 HAS SOUS 2986395 HAS SOUPS 2986395 WITH SCORE 2992302.74
AT ITER 8917 NEW BEST:: SOT 24624752 SOS 5907610 HAS SOPS 5907610 HAS SOUS 2986265 HAS SOUPS 2986265 WITH SCORE 2992172.61
AT ITER 8948 NEW BEST:: SOT 24624624 SOS 5907354 HAS SOPS 5907354 HAS SOUS 2986009 HAS SOUPS 2986009 WITH SCORE 2991916.354
AT ITER 8965 NEW BEST:: SOT 24624624 SOS 5906937 HAS SOPS 5906937 HAS SOUS 2985870 HAS SOUPS 2985870 WITH SCORE 2991776.937
AT ITER 8983 NEW BEST:: SOT 24624614 SOS 5906917 HAS SOPS 5906917 HAS SOUS 2985859 HAS SOUPS 2985859 WITH SCORE 2991765.917
AT ITER 8985 NEW BEST:: SOT 24624168 SOS 5906025 HAS SOPS 5906025 HAS SOUS 2984967 HAS SOUPS 2984967 WITH SCORE 2990873.025
AT ITER 8987 NEW BEST:: SOT 24623956 SOS 5905597 HAS SOPS 5905597 HAS SOUS 2984754 HAS SOUPS 2984754 WITH SCORE 2990659.597
AT ITER 8990 NEW BEST:: SOT 24623340 SOS 5905394 HAS SOPS 5905394 HAS SOUS 2984370 HAS SOUPS 2984370 WITH SCORE 2990275.394
AT ITER 9008 NEW BEST:: SOT 24622672 SOS 5905534 HAS SOPS 5905534 HAS SOUS 2984079 HAS SOUPS 2984079 WITH SCORE 2989984.534
AT ITER 9022 NEW BEST:: SOT 24622717 SOS 5905510 HAS SOPS 5905510 HAS SOUS 2983941 HAS SOUPS 2983941 WITH SCORE 2989846.51
AT ITER 9039 NEW BEST:: SOT 24622695 SOS 5905510 HAS SOPS 5905510 HAS SOUS 2983919 HAS SOUPS 2983919 WITH SCORE 2989824.51
AT ITER 9074 NEW BEST:: SOT 24622560 SOS 5905375 HAS SOPS 5905375 HAS SOUS 2983784 HAS SOUPS 2983784 WITH SCORE 2989689.375
AT ITER 9101 NEW BEST:: SOT 24622425 SOS 5905027 HAS SOPS 5905027 HAS SOUS 2983668 HAS SOUPS 2983668 WITH SCORE 2989573.027
AT ITER 9128 NEW BEST:: SOT 24621331 SOS 5903923 HAS SOPS 5903923 HAS SOUS 2982573 HAS SOUPS 2982573 WITH SCORE 2988476.923
AT ITER 9148 NEW BEST:: SOT 24620442 SOS 5904345 HAS SOPS 5904345 HAS SOUS 2982234 HAS SOUPS 2982234 WITH SCORE 2988138.345
AT ITER 9156 NEW BEST:: SOT 24620198 SOS 5904164 HAS SOPS 5904164 HAS SOUS 2981990 HAS SOUPS 2981990 WITH SCORE 2987894.164
AT ITER 9161 NEW BEST:: SOT 24620198 SOS 5904587 HAS SOPS 5904587 HAS SOUS 2981989 HAS SOUPS 2981989 WITH SCORE 2987893.587
AT ITER 9162 NEW BEST:: SOT 24620046 SOS 5905499 HAS SOPS 5905499 HAS SOUS 2981837 HAS SOUPS 2981837 WITH SCORE 2987742.499
AT ITER 9200 NEW BEST:: SOT 24620109 SOS 5903987 HAS SOPS 5903987 HAS SOUS 2981385 HAS SOUPS 2981385 WITH SCORE 2987288.987
AT ITER 9203 NEW BEST:: SOT 24620109 SOS 5904607 HAS SOPS 5904607 HAS SOUS 2981383 HAS SOUPS 2981383 WITH SCORE 2987287.607
AT ITER 9204 NEW BEST:: SOT 24619455 SOS 5903735 HAS SOPS 5903735 HAS SOUS 2980511 HAS SOUPS 2980511 WITH SCORE 2986414.735
AT ITER 9205 NEW BEST:: SOT 24619455 SOS 5903734 HAS SOPS 5903734 HAS SOUS 2980434 HAS SOUPS 2980434 WITH SCORE 2986337.734
AT ITER 9217 NEW BEST:: SOT 24619210 SOS 5903244 HAS SOPS 5903244 HAS SOUS 2979930 HAS SOUPS 2979930 WITH SCORE 2985833.244
AT ITER 9242 NEW BEST:: SOT 24619140 SOS 5902894 HAS SOPS 5902894 HAS SOUS 2979720 HAS SOUPS 2979720 WITH SCORE 2985622.894
AT ITER 9255 NEW BEST:: SOT 24619140 SOS 5894308 HAS SOPS 5894308 HAS SOUS 2979720 HAS SOUPS 2979720 WITH SCORE 2985614.308
AT ITER 9264 NEW BEST:: SOT 24618340 SOS 5893580 HAS SOPS 5893580 HAS SOUS 2978920 HAS SOUPS 2978920 WITH SCORE 2984813.58
AT ITER 9289 NEW BEST:: SOT 24618320 SOS 5896626 HAS SOPS 5896626 HAS SOUS 2978879 HAS SOUPS 2978879 WITH SCORE 2984775.626
AT ITER 9304 NEW BEST:: SOT 24618320 SOS 5895666 HAS SOPS 5895666 HAS SOUS 2978559 HAS SOUPS 2978559 WITH SCORE 2984454.666
AT ITER 9308 NEW BEST:: SOT 24618272 SOS 5895570 HAS SOPS 5895570 HAS SOUS 2978463 HAS SOUPS 2978463 WITH SCORE 2984358.57
AT ITER 9321 NEW BEST:: SOT 24617067 SOS 5893160 HAS SOPS 5893160 HAS SOUS 2976053 HAS SOUPS 2976053 WITH SCORE 2981946.16
AT ITER 9342 NEW BEST:: SOT 24616914 SOS 5894374 HAS SOPS 5894374 HAS SOUS 2975899 HAS SOUPS 2975899 WITH SCORE 2981793.374
AT ITER 9352 NEW BEST:: SOT 24616639 SOS 5893824 HAS SOPS 5893824 HAS SOUS 2975889 HAS SOUPS 2975889 WITH SCORE 2981782.824
AT ITER 9396 NEW BEST:: SOT 24616627 SOS 5893702 HAS SOPS 5893702 HAS SOUS 2975865 HAS SOUPS 2975865 WITH SCORE 2981758.702
AT ITER 9440 NEW BEST:: SOT 24616455 SOS 5889374 HAS SOPS 5889374 HAS SOUS 2975749 HAS SOUPS 2975749 WITH SCORE 2981638.374
AT ITER 9446 NEW BEST:: SOT 24616455 SOS 5889371 HAS SOPS 5889371 HAS SOUS 2975465 HAS SOUPS 2975465 WITH SCORE 2981354.371
AT ITER 9467 NEW BEST:: SOT 24616741 SOS 5889159 HAS SOPS 5889159 HAS SOUS 2975418 HAS SOUPS 2975418 WITH SCORE 2981307.159
AT ITER 9473 NEW BEST:: SOT 24616522 SOS 5889507 HAS SOPS 5889507 HAS SOUS 2975199 HAS SOUPS 2975199 WITH SCORE 2981088.507
AT ITER 9482 NEW BEST:: SOT 24616656 SOS 5889775 HAS SOPS 5889775 HAS SOUS 2973919 HAS SOUPS 2973919 WITH SCORE 2979808.775
AT ITER 9548 NEW BEST:: SOT 24616510 SOS 5890057 HAS SOPS 5890057 HAS SOUS 2973918 HAS SOUPS 2973918 WITH SCORE 2979808.057
AT ITER 9556 NEW BEST:: SOT 24616378 SOS 5889969 HAS SOPS 5889969 HAS SOUS 2973830 HAS SOUPS 2973830 WITH SCORE 2979719.969
AT ITER 9560 NEW BEST:: SOT 24616023 SOS 5889477 HAS SOPS 5889477 HAS SOUS 2973338 HAS SOUPS 2973338 WITH SCORE 2979227.477
AT ITER 9570 NEW BEST:: SOT 24616019 SOS 5889469 HAS SOPS 5889469 HAS SOUS 2973330 HAS SOUPS 2973330 WITH SCORE 2979219.469
AT ITER 9573 NEW BEST:: SOT 24615851 SOS 5889787 HAS SOPS 5889787 HAS SOUS 2973162 HAS SOUPS 2973162 WITH SCORE 2979051.787
AT ITER 9588 NEW BEST:: SOT 24615851 SOS 5889613 HAS SOPS 5889613 HAS SOUS 2973104 HAS SOUPS 2973104 WITH SCORE 2978993.613
AT ITER 9605 NEW BEST:: SOT 24615242 SOS 5889484 HAS SOPS 5889484 HAS SOUS 2972975 HAS SOUPS 2972975 WITH SCORE 2978864.484
AT ITER 9611 NEW BEST:: SOT 24615242 SOS 5889413 HAS SOPS 5889413 HAS SOUS 2972904 HAS SOUPS 2972904 WITH SCORE 2978793.413
AT ITER 9648 NEW BEST:: SOT 24615242 SOS 5884545 HAS SOPS 5884545 HAS SOUS 2972903 HAS SOUPS 2972903 WITH SCORE 2978787.545
AT ITER 9650 NEW BEST:: SOT 24614309 SOS 5883612 HAS SOPS 5883612 HAS SOUS 2971970 HAS SOUPS 2971970 WITH SCORE 2977853.612
AT ITER 9658 NEW BEST:: SOT 24614130 SOS 5883608 HAS SOPS 5883608 HAS SOUS 2971969 HAS SOUPS 2971969 WITH SCORE 2977852.608
AT ITER 9678 NEW BEST:: SOT 24611269 SOS 5888756 HAS SOPS 5888756 HAS SOUS 2970217 HAS SOUPS 2970217 WITH SCORE 2976105.756
AT ITER 9681 NEW BEST:: SOT 24611565 SOS 5892347 HAS SOPS 5892347 HAS SOUS 2969807 HAS SOUPS 2969807 WITH SCORE 2975699.347
AT ITER 9711 NEW BEST:: SOT 24611221 SOS 5893025 HAS SOPS 5893025 HAS SOUS 2969806 HAS SOUPS 2969806 WITH SCORE 2975699.025
AT ITER 9718 NEW BEST:: SOT 24611009 SOS 5893755 HAS SOPS 5893755 HAS SOUS 2969778 HAS SOUPS 2969778 WITH SCORE 2975671.755
AT ITER 9719 NEW BEST:: SOT 24609422 SOS 5892163 HAS SOPS 5892163 HAS SOUS 2969004 HAS SOUPS 2969004 WITH SCORE 2974896.163
AT ITER 9721 NEW BEST:: SOT 24609422 SOS 5892153 HAS SOPS 5892153 HAS SOUS 2969003 HAS SOUPS 2969003 WITH SCORE 2974895.153
AT ITER 9745 NEW BEST:: SOT 24608984 SOS 5890817 HAS SOPS 5890817 HAS SOUS 2968252 HAS SOUPS 2968252 WITH SCORE 2974142.817
AT ITER 9839 NEW BEST:: SOT 24608531 SOS 5886660 HAS SOPS 5886660 HAS SOUS 2967345 HAS SOUPS 2967345 WITH SCORE 2973231.66
AT ITER 9856 NEW BEST:: SOT 24608005 SOS 5884030 HAS SOPS 5884030 HAS SOUS 2966819 HAS SOUPS 2966819 WITH SCORE 2972703.03
AT ITER 9881 NEW BEST:: SOT 24607916 SOS 5883674 HAS SOPS 5883674 HAS SOUS 2966730 HAS SOUPS 2966730 WITH SCORE 2972613.674
AT ITER 9890 NEW BEST:: SOT 24607916 SOS 5884624 HAS SOPS 5884624 HAS SOUS 2966729 HAS SOUPS 2966729 WITH SCORE 2972613.624
AT ITER 9953 NEW BEST:: SOT 24606947 SOS 5884623 HAS SOPS 5884623 HAS SOUS 2966728 HAS SOUPS 2966728 WITH SCORE 2972612.623
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15375416 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151552 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="DLCround-PT-12b"
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 DLCround-PT-12b, 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 r099-tall-167814472900776"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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