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.r227-tall-167856409800024.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 HypercubeGrid-PT-C5K3P3B15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856409800024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.7K Feb 26 11:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 11:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 06:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 06:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 23:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 23:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 19:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 19:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 14M 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 1678602366148

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=HypercubeGrid-PT-C5K3P3B15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C5K3P3B15
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: 9153 places, 25110 transitions, 100440 arcs.
AT ITER 0 NEW BEST:: SOT 127702202 SOS 25101875 HAS SOPS 25101875 HAS SOUS 8318929 HAS SOUPS 8318929 WITH SCORE 8344030.875
AT ITER 8 NEW BEST:: SOT 127702202 SOS 25097496 HAS SOPS 25097496 HAS SOUS 8318630 HAS SOUPS 8318630 WITH SCORE 8343727.496
AT ITER 16 NEW BEST:: SOT 127702126 SOS 25097344 HAS SOPS 25097344 HAS SOUS 8318478 HAS SOUPS 8318478 WITH SCORE 8343575.344
AT ITER 28 NEW BEST:: SOT 127703440 SOS 25099758 HAS SOPS 25099758 HAS SOUS 8318218 HAS SOUPS 8318218 WITH SCORE 8343317.758
AT ITER 30 NEW BEST:: SOT 127703191 SOS 25097019 HAS SOPS 25097019 HAS SOUS 8317471 HAS SOUPS 8317471 WITH SCORE 8342568.019
AT ITER 31 NEW BEST:: SOT 127702965 SOS 25096567 HAS SOPS 25096567 HAS SOUS 8317019 HAS SOUPS 8317019 WITH SCORE 8342115.567
AT ITER 37 NEW BEST:: SOT 127702965 SOS 25093516 HAS SOPS 25093516 HAS SOUS 8316848 HAS SOUPS 8316848 WITH SCORE 8341941.516
AT ITER 59 NEW BEST:: SOT 127702856 SOS 25093298 HAS SOPS 25093298 HAS SOUS 8316630 HAS SOUPS 8316630 WITH SCORE 8341723.298
AT ITER 178 NEW BEST:: SOT 127702715 SOS 25093016 HAS SOPS 25093016 HAS SOUS 8316348 HAS SOUPS 8316348 WITH SCORE 8341441.016
AT ITER 189 NEW BEST:: SOT 127702480 SOS 25090431 HAS SOPS 25090431 HAS SOUS 8315643 HAS SOUPS 8315643 WITH SCORE 8340733.431
AT ITER 204 NEW BEST:: SOT 127702437 SOS 25090345 HAS SOPS 25090345 HAS SOUS 8315557 HAS SOUPS 8315557 WITH SCORE 8340647.345
AT ITER 205 NEW BEST:: SOT 127702437 SOS 25090236 HAS SOPS 25090236 HAS SOUS 8315448 HAS SOUPS 8315448 WITH SCORE 8340538.236
AT ITER 218 NEW BEST:: SOT 127702363 SOS 25090088 HAS SOPS 25090088 HAS SOUS 8315300 HAS SOUPS 8315300 WITH SCORE 8340390.088
AT ITER 237 NEW BEST:: SOT 127700595 SOS 25088320 HAS SOPS 25088320 HAS SOUS 8313532 HAS SOUPS 8313532 WITH SCORE 8338620.32
AT ITER 268 NEW BEST:: SOT 127696221 SOS 25083460 HAS SOPS 25083460 HAS SOUS 8308021 HAS SOUPS 8308021 WITH SCORE 8333104.46
AT ITER 315 NEW BEST:: SOT 127696078 SOS 25083317 HAS SOPS 25083317 HAS SOUS 8307735 HAS SOUPS 8307735 WITH SCORE 8332818.317
AT ITER 328 NEW BEST:: SOT 127695985 SOS 25081317 HAS SOPS 25081317 HAS SOUS 8307655 HAS SOUPS 8307655 WITH SCORE 8332736.317
AT ITER 373 NEW BEST:: SOT 127693510 SOS 25078567 HAS SOPS 25078567 HAS SOUS 8304905 HAS SOUPS 8304905 WITH SCORE 8329983.567
AT ITER 456 NEW BEST:: SOT 127689291 SOS 25070129 HAS SOPS 25070129 HAS SOUS 8303376 HAS SOUPS 8303376 WITH SCORE 8328446.129
AT ITER 479 NEW BEST:: SOT 127689291 SOS 25070129 HAS SOPS 25070129 HAS SOUS 8302986 HAS SOUPS 8302986 WITH SCORE 8328056.129
AT ITER 486 NEW BEST:: SOT 127689220 SOS 25069987 HAS SOPS 25069987 HAS SOUS 8302844 HAS SOUPS 8302844 WITH SCORE 8327913.987
AT ITER 497 NEW BEST:: SOT 127685575 SOS 25062330 HAS SOPS 25062330 HAS SOUS 8298733 HAS SOUPS 8298733 WITH SCORE 8323795.33
AT ITER 520 NEW BEST:: SOT 127685575 SOS 25058540 HAS SOPS 25058540 HAS SOUS 8297975 HAS SOUPS 8297975 WITH SCORE 8323033.54
AT ITER 557 NEW BEST:: SOT 127685249 SOS 25058214 HAS SOPS 25058214 HAS SOUS 8297649 HAS SOUPS 8297649 WITH SCORE 8322707.214
AT ITER 572 NEW BEST:: SOT 127685160 SOS 25058036 HAS SOPS 25058036 HAS SOUS 8297471 HAS SOUPS 8297471 WITH SCORE 8322529.036
AT ITER 583 NEW BEST:: SOT 127680705 SOS 25048712 HAS SOPS 25048712 HAS SOUS 8292836 HAS SOUPS 8292836 WITH SCORE 8317884.712
AT ITER 601 NEW BEST:: SOT 127680705 SOS 25048616 HAS SOPS 25048616 HAS SOUS 8292740 HAS SOUPS 8292740 WITH SCORE 8317788.616
AT ITER 610 NEW BEST:: SOT 127680378 SOS 25045346 HAS SOPS 25045346 HAS SOUS 8292086 HAS SOUPS 8292086 WITH SCORE 8317131.346
AT ITER 617 NEW BEST:: SOT 127680378 SOS 25045778 HAS SOPS 25045778 HAS SOUS 8291702 HAS SOUPS 8291702 WITH SCORE 8316747.778
AT ITER 664 NEW BEST:: SOT 127676028 SOS 25037078 HAS SOPS 25037078 HAS SOUS 8287907 HAS SOUPS 8287907 WITH SCORE 8312944.078
AT ITER 674 NEW BEST:: SOT 127671571 SOS 25028164 HAS SOPS 25028164 HAS SOUS 8284270 HAS SOUPS 8284270 WITH SCORE 8309298.164
AT ITER 708 NEW BEST:: SOT 127671516 SOS 25027559 HAS SOPS 25027559 HAS SOUS 8284105 HAS SOUPS 8284105 WITH SCORE 8309132.559
AT ITER 782 NEW BEST:: SOT 127669185 SOS 25025228 HAS SOPS 25025228 HAS SOUS 8281774 HAS SOUPS 8281774 WITH SCORE 8306799.228
AT ITER 810 NEW BEST:: SOT 127664823 SOS 25016504 HAS SOPS 25016504 HAS SOUS 8279080 HAS SOUPS 8279080 WITH SCORE 8304096.504
AT ITER 848 NEW BEST:: SOT 127664787 SOS 25016432 HAS SOPS 25016432 HAS SOUS 8279008 HAS SOUPS 8279008 WITH SCORE 8304024.432
AT ITER 885 NEW BEST:: SOT 127664572 SOS 25014067 HAS SOPS 25014067 HAS SOUS 8278363 HAS SOUPS 8278363 WITH SCORE 8303377.067
AT ITER 921 NEW BEST:: SOT 127664523 SOS 25010637 HAS SOPS 25010637 HAS SOUS 8278173 HAS SOUPS 8278173 WITH SCORE 8303183.637
AT ITER 938 NEW BEST:: SOT 127664523 SOS 25005967 HAS SOPS 25005967 HAS SOUS 8277239 HAS SOUPS 8277239 WITH SCORE 8302244.967
AT ITER 943 NEW BEST:: SOT 127664523 SOS 25005967 HAS SOPS 25005967 HAS SOUS 8276797 HAS SOUPS 8276797 WITH SCORE 8301802.967
AT ITER 945 NEW BEST:: SOT 127664384 SOS 25005828 HAS SOPS 25005828 HAS SOUS 8276389 HAS SOUPS 8276389 WITH SCORE 8301394.828
AT ITER 953 NEW BEST:: SOT 127664284 SOS 25005815 HAS SOPS 25005815 HAS SOUS 8276376 HAS SOUPS 8276376 WITH SCORE 8301381.815
AT ITER 964 NEW BEST:: SOT 127663660 SOS 25005191 HAS SOPS 25005191 HAS SOUS 8275752 HAS SOUPS 8275752 WITH SCORE 8300757.191
AT ITER 1005 NEW BEST:: SOT 127663508 SOS 25004887 HAS SOPS 25004887 HAS SOUS 8275448 HAS SOUPS 8275448 WITH SCORE 8300452.887
AT ITER 1024 NEW BEST:: SOT 127660259 SOS 25001277 HAS SOPS 25001277 HAS SOUS 8270910 HAS SOUPS 8270910 WITH SCORE 8295911.277
AT ITER 1039 NEW BEST:: SOT 127658963 SOS 24999981 HAS SOPS 24999981 HAS SOUS 8269614 HAS SOUPS 8269614 WITH SCORE 8294613.981
AT ITER 1154 NEW BEST:: SOT 127654373 SOS 24990358 HAS SOPS 24990358 HAS SOUS 8264207 HAS SOUPS 8264207 WITH SCORE 8289197.358
AT ITER 1159 NEW BEST:: SOT 127649783 SOS 24980959 HAS SOPS 24980959 HAS SOUS 8260996 HAS SOUPS 8260996 WITH SCORE 8285976.959
AT ITER 1176 NEW BEST:: SOT 127649824 SOS 24977765 HAS SOPS 24977765 HAS SOUS 8260714 HAS SOUPS 8260714 WITH SCORE 8285691.765
AT ITER 1216 NEW BEST:: SOT 127649575 SOS 24977267 HAS SOPS 24977267 HAS SOUS 8259792 HAS SOUPS 8259792 WITH SCORE 8284769.267
AT ITER 1235 NEW BEST:: SOT 127649575 SOS 24977267 HAS SOPS 24977267 HAS SOUS 8258982 HAS SOUPS 8258982 WITH SCORE 8283959.267
AT ITER 1251 NEW BEST:: SOT 127649575 SOS 24977137 HAS SOPS 24977137 HAS SOUS 8257812 HAS SOUPS 8257812 WITH SCORE 8282789.137
AT ITER 1288 NEW BEST:: SOT 127649218 SOS 24973567 HAS SOPS 24973567 HAS SOUS 8257098 HAS SOUPS 8257098 WITH SCORE 8282071.567
AT ITER 1312 NEW BEST:: SOT 127649218 SOS 24973567 HAS SOPS 24973567 HAS SOUS 8256807 HAS SOUPS 8256807 WITH SCORE 8281780.567
AT ITER 1332 NEW BEST:: SOT 127649218 SOS 24971877 HAS SOPS 24971877 HAS SOUS 8256469 HAS SOUPS 8256469 WITH SCORE 8281440.877
AT ITER 1333 NEW BEST:: SOT 127649218 SOS 24971877 HAS SOPS 24971877 HAS SOUS 8256389 HAS SOUPS 8256389 WITH SCORE 8281360.877
AT ITER 1398 NEW BEST:: SOT 127649315 SOS 24971974 HAS SOPS 24971974 HAS SOUS 8256150 HAS SOUPS 8256150 WITH SCORE 8281121.974
AT ITER 1421 NEW BEST:: SOT 127649229 SOS 24971802 HAS SOPS 24971802 HAS SOUS 8255978 HAS SOUPS 8255978 WITH SCORE 8280949.802
AT ITER 1442 NEW BEST:: SOT 127649069 SOS 24967702 HAS SOPS 24967702 HAS SOUS 8255958 HAS SOUPS 8255958 WITH SCORE 8280925.702
AT ITER 1476 NEW BEST:: SOT 127649014 SOS 24967647 HAS SOPS 24967647 HAS SOUS 8255958 HAS SOUPS 8255958 WITH SCORE 8280925.647
AT ITER 1477 NEW BEST:: SOT 127648534 SOS 24962847 HAS SOPS 24962847 HAS SOUS 8254998 HAS SOUPS 8254998 WITH SCORE 8279960.847
AT ITER 1512 NEW BEST:: SOT 127644079 SOS 24953527 HAS SOPS 24953527 HAS SOUS 8249894 HAS SOUPS 8249894 WITH SCORE 8274847.527
AT ITER 1514 NEW BEST:: SOT 127642375 SOS 24951823 HAS SOPS 24951823 HAS SOUS 8248190 HAS SOUPS 8248190 WITH SCORE 8273141.823
AT ITER 1522 NEW BEST:: SOT 127639348 SOS 24945769 HAS SOPS 24945769 HAS SOUS 8246892 HAS SOUPS 8246892 WITH SCORE 8271837.769
AT ITER 1545 NEW BEST:: SOT 127639348 SOS 24945769 HAS SOPS 24945769 HAS SOUS 8246796 HAS SOUPS 8246796 WITH SCORE 8271741.769
AT ITER 1550 NEW BEST:: SOT 127640023 SOS 24947119 HAS SOPS 24947119 HAS SOUS 8246574 HAS SOUPS 8246574 WITH SCORE 8271521.119
AT ITER 1553 NEW BEST:: SOT 127639937 SOS 24946259 HAS SOPS 24946259 HAS SOUS 8246402 HAS SOUPS 8246402 WITH SCORE 8271348.259
AT ITER 1565 NEW BEST:: SOT 127639937 SOS 24946040 HAS SOPS 24946040 HAS SOUS 8246183 HAS SOUPS 8246183 WITH SCORE 8271129.04
AT ITER 1571 NEW BEST:: SOT 127639937 SOS 24946040 HAS SOPS 24946040 HAS SOUS 8245922 HAS SOUPS 8245922 WITH SCORE 8270868.04
AT ITER 1631 NEW BEST:: SOT 127639937 SOS 24945790 HAS SOPS 24945790 HAS SOUS 8245672 HAS SOUPS 8245672 WITH SCORE 8270617.79
AT ITER 1655 NEW BEST:: SOT 127639937 SOS 24942700 HAS SOPS 24942700 HAS SOUS 8245054 HAS SOUPS 8245054 WITH SCORE 8269996.7
AT ITER 1675 NEW BEST:: SOT 127637777 SOS 24938287 HAS SOPS 24938287 HAS SOUS 8243866 HAS SOUPS 8243866 WITH SCORE 8268804.287
AT ITER 1680 NEW BEST:: SOT 127637777 SOS 24938287 HAS SOPS 24938287 HAS SOUS 8242972 HAS SOUPS 8242972 WITH SCORE 8267910.287
AT ITER 1682 NEW BEST:: SOT 127637777 SOS 24934289 HAS SOPS 24934289 HAS SOUS 8242934 HAS SOUPS 8242934 WITH SCORE 8267868.289
AT ITER 1726 NEW BEST:: SOT 127634132 SOS 24926793 HAS SOPS 24926793 HAS SOUS 8240469 HAS SOUPS 8240469 WITH SCORE 8265395.793
AT ITER 1741 NEW BEST:: SOT 127634132 SOS 24926793 HAS SOPS 24926793 HAS SOUS 8240391 HAS SOUPS 8240391 WITH SCORE 8265317.793
AT ITER 1865 NEW BEST:: SOT 127630487 SOS 24917967 HAS SOPS 24917967 HAS SOUS 8238033 HAS SOUPS 8238033 WITH SCORE 8262950.967
AT ITER 1870 NEW BEST:: SOT 127630467 SOS 24917947 HAS SOPS 24917947 HAS SOUS 8238013 HAS SOUPS 8238013 WITH SCORE 8262930.947
AT ITER 1926 NEW BEST:: SOT 127630467 SOS 24917947 HAS SOPS 24917947 HAS SOUS 8237711 HAS SOUPS 8237711 WITH SCORE 8262628.947
AT ITER 1931 NEW BEST:: SOT 127625951 SOS 24908915 HAS SOPS 24908915 HAS SOUS 8233425 HAS SOUPS 8233425 WITH SCORE 8258333.915
AT ITER 1941 NEW BEST:: SOT 127625073 SOS 24907159 HAS SOPS 24907159 HAS SOUS 8233052 HAS SOUPS 8233052 WITH SCORE 8257959.159
AT ITER 1964 NEW BEST:: SOT 127624985 SOS 24907071 HAS SOPS 24907071 HAS SOUS 8233052 HAS SOUPS 8233052 WITH SCORE 8257959.071
AT ITER 1978 NEW BEST:: SOT 127624869 SOS 24905911 HAS SOPS 24905911 HAS SOUS 8232820 HAS SOUPS 8232820 WITH SCORE 8257725.911
AT ITER 1980 NEW BEST:: SOT 127622358 SOS 24900610 HAS SOPS 24900610 HAS SOUS 8229751 HAS SOUPS 8229751 WITH SCORE 8254651.61
AT ITER 1994 NEW BEST:: SOT 127622213 SOS 24896879 HAS SOPS 24896879 HAS SOUS 8229260 HAS SOUPS 8229260 WITH SCORE 8254156.879
AT ITER 2056 NEW BEST:: SOT 127622483 SOS 24896954 HAS SOPS 24896954 HAS SOUS 8228655 HAS SOUPS 8228655 WITH SCORE 8253551.954
AT ITER 2069 NEW BEST:: SOT 127622147 SOS 24896618 HAS SOPS 24896618 HAS SOUS 8228319 HAS SOUPS 8228319 WITH SCORE 8253215.618
AT ITER 2110 NEW BEST:: SOT 127621952 SOS 24894668 HAS SOPS 24894668 HAS SOUS 8227929 HAS SOUPS 8227929 WITH SCORE 8252823.668
AT ITER 2140 NEW BEST:: SOT 127621952 SOS 24890272 HAS SOPS 24890272 HAS SOUS 8227613 HAS SOUPS 8227613 WITH SCORE 8252503.272
AT ITER 2184 NEW BEST:: SOT 127618712 SOS 24883554 HAS SOPS 24883554 HAS SOUS 8224831 HAS SOUPS 8224831 WITH SCORE 8249714.554
AT ITER 2187 NEW BEST:: SOT 127618712 SOS 24883538 HAS SOPS 24883538 HAS SOUS 8224815 HAS SOUPS 8224815 WITH SCORE 8249698.538
AT ITER 2209 NEW BEST:: SOT 127618676 SOS 24879370 HAS SOPS 24879370 HAS SOUS 8224607 HAS SOUPS 8224607 WITH SCORE 8249486.37
AT ITER 2245 NEW BEST:: SOT 127614086 SOS 24874009 HAS SOPS 24874009 HAS SOUS 8219723 HAS SOUPS 8219723 WITH SCORE 8244597.009
AT ITER 2248 NEW BEST:: SOT 127613881 SOS 24871754 HAS SOPS 24871754 HAS SOUS 8219108 HAS SOUPS 8219108 WITH SCORE 8243979.754
AT ITER 2249 NEW BEST:: SOT 127613809 SOS 24871610 HAS SOPS 24871610 HAS SOUS 8218964 HAS SOUPS 8218964 WITH SCORE 8243835.61
AT ITER 2250 NEW BEST:: SOT 127612729 SOS 24870530 HAS SOPS 24870530 HAS SOUS 8217884 HAS SOUPS 8217884 WITH SCORE 8242754.53
AT ITER 2258 NEW BEST:: SOT 127612676 SOS 24869548 HAS SOPS 24869548 HAS SOUS 8217742 HAS SOUPS 8217742 WITH SCORE 8242611.548
AT ITER 2375 NEW BEST:: SOT 127612676 SOS 24870565 HAS SOPS 24870565 HAS SOUS 8216851 HAS SOUPS 8216851 WITH SCORE 8241721.565
AT ITER 2391 NEW BEST:: SOT 127612652 SOS 24870541 HAS SOPS 24870541 HAS SOUS 8216683 HAS SOUPS 8216683 WITH SCORE 8241553.541
AT ITER 2394 NEW BEST:: SOT 127612492 SOS 24865840 HAS SOPS 24865840 HAS SOUS 8216062 HAS SOUPS 8216062 WITH SCORE 8240927.84
AT ITER 2441 NEW BEST:: SOT 127608252 SOS 24857360 HAS SOPS 24857360 HAS SOUS 8213424 HAS SOUPS 8213424 WITH SCORE 8238281.36
AT ITER 2495 NEW BEST:: SOT 127608369 SOS 24854057 HAS SOPS 24854057 HAS SOUS 8213265 HAS SOUPS 8213265 WITH SCORE 8238119.057
AT ITER 2549 NEW BEST:: SOT 127608369 SOS 24854057 HAS SOPS 24854057 HAS SOUS 8212935 HAS SOUPS 8212935 WITH SCORE 8237789.057
AT ITER 2568 NEW BEST:: SOT 127605129 SOS 24847260 HAS SOPS 24847260 HAS SOUS 8209405 HAS SOUPS 8209405 WITH SCORE 8234252.26
AT ITER 2572 NEW BEST:: SOT 127604831 SOS 24846664 HAS SOPS 24846664 HAS SOUS 8207505 HAS SOUPS 8207505 WITH SCORE 8232351.664
AT ITER 2579 NEW BEST:: SOT 127604496 SOS 24845994 HAS SOPS 24845994 HAS SOUS 8206435 HAS SOUPS 8206435 WITH SCORE 8231280.994
AT ITER 2581 NEW BEST:: SOT 127604060 SOS 24841198 HAS SOPS 24841198 HAS SOUS 8205127 HAS SOUPS 8205127 WITH SCORE 8229968.198
AT ITER 2616 NEW BEST:: SOT 127600703 SOS 24834484 HAS SOPS 24834484 HAS SOUS 8201397 HAS SOUPS 8201397 WITH SCORE 8226231.484
AT ITER 2626 NEW BEST:: SOT 127600703 SOS 24834484 HAS SOPS 24834484 HAS SOUS 8200485 HAS SOUPS 8200485 WITH SCORE 8225319.484
AT ITER 2665 NEW BEST:: SOT 127597571 SOS 24827872 HAS SOPS 24827872 HAS SOUS 8196657 HAS SOUPS 8196657 WITH SCORE 8221484.872
AT ITER 2692 NEW BEST:: SOT 127593315 SOS 24819360 HAS SOPS 24819360 HAS SOUS 8195231 HAS SOUPS 8195231 WITH SCORE 8220050.36
AT ITER 2701 NEW BEST:: SOT 127593315 SOS 24816332 HAS SOPS 24816332 HAS SOUS 8195083 HAS SOUPS 8195083 WITH SCORE 8219899.332
AT ITER 2724 NEW BEST:: SOT 127592387 SOS 24815404 HAS SOPS 24815404 HAS SOUS 8194155 HAS SOUPS 8194155 WITH SCORE 8218970.404
AT ITER 2749 NEW BEST:: SOT 127592387 SOS 24812083 HAS SOPS 24812083 HAS SOUS 8194074 HAS SOUPS 8194074 WITH SCORE 8218886.083
AT ITER 2753 NEW BEST:: SOT 127592387 SOS 24812083 HAS SOPS 24812083 HAS SOUS 8193292 HAS SOUPS 8193292 WITH SCORE 8218104.083
AT ITER 2786 NEW BEST:: SOT 127592387 SOS 24812083 HAS SOPS 24812083 HAS SOUS 8192948 HAS SOUPS 8192948 WITH SCORE 8217760.083
AT ITER 2801 NEW BEST:: SOT 127591977 SOS 24807983 HAS SOPS 24807983 HAS SOUS 8192128 HAS SOUPS 8192128 WITH SCORE 8216935.983
AT ITER 2811 NEW BEST:: SOT 127591212 SOS 24807133 HAS SOPS 24807133 HAS SOUS 8191149 HAS SOUPS 8191149 WITH SCORE 8215956.133
AT ITER 2837 NEW BEST:: SOT 127591984 SOS 24807905 HAS SOPS 24807905 HAS SOUS 8190611 HAS SOUPS 8190611 WITH SCORE 8215418.905
AT ITER 2858 NEW BEST:: SOT 127591923 SOS 24807783 HAS SOPS 24807783 HAS SOUS 8190489 HAS SOUPS 8190489 WITH SCORE 8215296.783
AT ITER 2930 NEW BEST:: SOT 127587468 SOS 24798574 HAS SOPS 24798574 HAS SOUS 8187004 HAS SOUPS 8187004 WITH SCORE 8211802.574
AT ITER 3026 NEW BEST:: SOT 127587357 SOS 24797464 HAS SOPS 24797464 HAS SOUS 8186782 HAS SOUPS 8186782 WITH SCORE 8211579.464
AT ITER 3053 NEW BEST:: SOT 127585350 SOS 24795234 HAS SOPS 24795234 HAS SOUS 8184399 HAS SOUPS 8184399 WITH SCORE 8209194.234
AT ITER 3099 NEW BEST:: SOT 127585301 SOS 24795185 HAS SOPS 24795185 HAS SOUS 8184399 HAS SOUPS 8184399 WITH SCORE 8209194.185
AT ITER 3124 NEW BEST:: SOT 127584824 SOS 24790415 HAS SOPS 24790415 HAS SOUS 8183445 HAS SOUPS 8183445 WITH SCORE 8208235.415
AT ITER 3135 NEW BEST:: SOT 127584606 SOS 24790197 HAS SOPS 24790197 HAS SOUS 8182964 HAS SOUPS 8182964 WITH SCORE 8207754.197
AT ITER 3138 NEW BEST:: SOT 127581726 SOS 24787317 HAS SOPS 24787317 HAS SOUS 8180084 HAS SOUPS 8180084 WITH SCORE 8204871.317
AT ITER 3144 NEW BEST:: SOT 127581231 SOS 24786822 HAS SOPS 24786822 HAS SOUS 8179589 HAS SOUPS 8179589 WITH SCORE 8204375.822
AT ITER 3145 NEW BEST:: SOT 127580818 SOS 24782692 HAS SOPS 24782692 HAS SOUS 8178763 HAS SOUPS 8178763 WITH SCORE 8203545.692
AT ITER 3178 NEW BEST:: SOT 127580767 SOS 24782641 HAS SOPS 24782641 HAS SOUS 8178712 HAS SOUPS 8178712 WITH SCORE 8203494.641
AT ITER 3247 NEW BEST:: SOT 127580715 SOS 24782537 HAS SOPS 24782537 HAS SOUS 8178608 HAS SOUPS 8178608 WITH SCORE 8203390.537
AT ITER 3264 NEW BEST:: SOT 127580715 SOS 24782537 HAS SOPS 24782537 HAS SOUS 8178408 HAS SOUPS 8178408 WITH SCORE 8203190.537
AT ITER 3298 NEW BEST:: SOT 127576125 SOS 24773211 HAS SOPS 24773211 HAS SOUS 8175928 HAS SOUPS 8175928 WITH SCORE 8200701.211
AT ITER 3331 NEW BEST:: SOT 127575639 SOS 24772725 HAS SOPS 24772725 HAS SOUS 8175442 HAS SOUPS 8175442 WITH SCORE 8200214.725
AT ITER 3347 NEW BEST:: SOT 127573731 SOS 24768909 HAS SOPS 24768909 HAS SOUS 8173322 HAS SOUPS 8173322 WITH SCORE 8198090.909
AT ITER 3357 NEW BEST:: SOT 127573731 SOS 24766499 HAS SOPS 24766499 HAS SOUS 8172840 HAS SOUPS 8172840 WITH SCORE 8197606.499
AT ITER 3378 NEW BEST:: SOT 127570158 SOS 24762529 HAS SOPS 24762529 HAS SOUS 8168519 HAS SOUPS 8168519 WITH SCORE 8193281.529
AT ITER 3404 NEW BEST:: SOT 127567719 SOS 24757380 HAS SOPS 24757380 HAS SOUS 8165538 HAS SOUPS 8165538 WITH SCORE 8190295.38
AT ITER 3416 NEW BEST:: SOT 127563264 SOS 24748142 HAS SOPS 24748142 HAS SOUS 8161710 HAS SOUPS 8161710 WITH SCORE 8186458.142
AT ITER 3485 NEW BEST:: SOT 127563160 SOS 24748038 HAS SOPS 24748038 HAS SOUS 8161710 HAS SOUPS 8161710 WITH SCORE 8186458.038
AT ITER 3495 NEW BEST:: SOT 127563057 SOS 24747832 HAS SOPS 24747832 HAS SOUS 8161504 HAS SOUPS 8161504 WITH SCORE 8186251.832
AT ITER 3526 NEW BEST:: SOT 127563057 SOS 24747720 HAS SOPS 24747720 HAS SOUS 8161392 HAS SOUPS 8161392 WITH SCORE 8186139.72
AT ITER 3539 NEW BEST:: SOT 127562699 SOS 24744140 HAS SOPS 24744140 HAS SOUS 8160676 HAS SOUPS 8160676 WITH SCORE 8185420.14
AT ITER 3559 NEW BEST:: SOT 127561131 SOS 24742572 HAS SOPS 24742572 HAS SOUS 8159108 HAS SOUPS 8159108 WITH SCORE 8183850.572
AT ITER 3567 NEW BEST:: SOT 127561110 SOS 24742551 HAS SOPS 24742551 HAS SOUS 8159087 HAS SOUPS 8159087 WITH SCORE 8183829.551
AT ITER 3592 NEW BEST:: SOT 127560165 SOS 24740572 HAS SOPS 24740572 HAS SOUS 8158092 HAS SOUPS 8158092 WITH SCORE 8182832.572
AT ITER 3598 NEW BEST:: SOT 127560097 SOS 24740436 HAS SOPS 24740436 HAS SOUS 8157956 HAS SOUPS 8157956 WITH SCORE 8182696.436
AT ITER 3627 NEW BEST:: SOT 127558009 SOS 24738348 HAS SOPS 24738348 HAS SOUS 8155868 HAS SOUPS 8155868 WITH SCORE 8180606.348
AT ITER 3655 NEW BEST:: SOT 127558009 SOS 24736656 HAS SOPS 24736656 HAS SOUS 8155680 HAS SOUPS 8155680 WITH SCORE 8180416.656
AT ITER 3689 NEW BEST:: SOT 127554265 SOS 24732496 HAS SOPS 24732496 HAS SOUS 8151520 HAS SOUPS 8151520 WITH SCORE 8176252.496
AT ITER 3695 NEW BEST:: SOT 127550260 SOS 24728046 HAS SOPS 24728046 HAS SOUS 8146606 HAS SOUPS 8146606 WITH SCORE 8171334.046
AT ITER 3703 NEW BEST:: SOT 127547020 SOS 24721309 HAS SOPS 24721309 HAS SOUS 8143229 HAS SOUPS 8143229 WITH SCORE 8167950.309
AT ITER 3733 NEW BEST:: SOT 127546685 SOS 24720639 HAS SOPS 24720639 HAS SOUS 8142151 HAS SOUPS 8142151 WITH SCORE 8166871.639
AT ITER 3781 NEW BEST:: SOT 127542122 SOS 24715569 HAS SOPS 24715569 HAS SOUS 8135333 HAS SOUPS 8135333 WITH SCORE 8160048.569
AT ITER 3837 NEW BEST:: SOT 127540394 SOS 24711497 HAS SOPS 24711497 HAS SOUS 8134106 HAS SOUPS 8134106 WITH SCORE 8158817.497
AT ITER 3844 NEW BEST:: SOT 127536236 SOS 24706877 HAS SOPS 24706877 HAS SOUS 8129486 HAS SOUPS 8129486 WITH SCORE 8154192.877
AT ITER 3855 NEW BEST:: SOT 127535726 SOS 24701915 HAS SOPS 24701915 HAS SOUS 8128028 HAS SOUPS 8128028 WITH SCORE 8152729.915
AT ITER 3856 NEW BEST:: SOT 127535668 SOS 24701799 HAS SOPS 24701799 HAS SOUS 8127912 HAS SOUPS 8127912 WITH SCORE 8152613.799
AT ITER 3939 NEW BEST:: SOT 127535668 SOS 24698539 HAS SOPS 24698539 HAS SOUS 8127892 HAS SOUPS 8127892 WITH SCORE 8152590.539
AT ITER 3998 NEW BEST:: SOT 127535523 SOS 24698530 HAS SOPS 24698530 HAS SOUS 8127883 HAS SOUPS 8127883 WITH SCORE 8152581.53
AT ITER 4008 NEW BEST:: SOT 127535523 SOS 24698229 HAS SOPS 24698229 HAS SOUS 8125846 HAS SOUPS 8125846 WITH SCORE 8150544.229
AT ITER 4021 NEW BEST:: SOT 127535195 SOS 24694949 HAS SOPS 24694949 HAS SOUS 8125190 HAS SOUPS 8125190 WITH SCORE 8149884.949
AT ITER 4064 NEW BEST:: SOT 127535195 SOS 24691949 HAS SOPS 24691949 HAS SOUS 8124590 HAS SOUPS 8124590 WITH SCORE 8149281.949
AT ITER 4071 NEW BEST:: SOT 127535070 SOS 24691699 HAS SOPS 24691699 HAS SOUS 8124340 HAS SOUPS 8124340 WITH SCORE 8149031.699
AT ITER 4119 NEW BEST:: SOT 127534726 SOS 24691355 HAS SOPS 24691355 HAS SOUS 8123996 HAS SOUPS 8123996 WITH SCORE 8148687.355
AT ITER 4240 NEW BEST:: SOT 127534726 SOS 24689225 HAS SOPS 24689225 HAS SOUS 8123570 HAS SOUPS 8123570 WITH SCORE 8148259.225
AT ITER 4279 NEW BEST:: SOT 127534626 SOS 24689148 HAS SOPS 24689148 HAS SOUS 8123493 HAS SOUPS 8123493 WITH SCORE 8148182.148
AT ITER 4283 NEW BEST:: SOT 127534626 SOS 24687028 HAS SOPS 24687028 HAS SOUS 8123069 HAS SOUPS 8123069 WITH SCORE 8147756.028
AT ITER 4285 NEW BEST:: SOT 127534841 SOS 24687243 HAS SOPS 24687243 HAS SOUS 8122723 HAS SOUPS 8122723 WITH SCORE 8147410.243
AT ITER 4310 NEW BEST:: SOT 127534627 SOS 24685103 HAS SOPS 24685103 HAS SOUS 8122295 HAS SOUPS 8122295 WITH SCORE 8146980.103
AT ITER 4311 NEW BEST:: SOT 127534627 SOS 24685663 HAS SOPS 24685663 HAS SOUS 8122007 HAS SOUPS 8122007 WITH SCORE 8146692.663
AT ITER 4340 NEW BEST:: SOT 127534627 SOS 24685663 HAS SOPS 24685663 HAS SOUS 8121753 HAS SOUPS 8121753 WITH SCORE 8146438.663
AT ITER 4352 NEW BEST:: SOT 127534627 SOS 24682273 HAS SOPS 24682273 HAS SOUS 8121075 HAS SOUPS 8121075 WITH SCORE 8145757.273
AT ITER 4354 NEW BEST:: SOT 127532267 SOS 24679913 HAS SOPS 24679913 HAS SOUS 8118715 HAS SOUPS 8118715 WITH SCORE 8143394.913
AT ITER 4381 NEW BEST:: SOT 127532267 SOS 24680601 HAS SOPS 24680601 HAS SOUS 8118103 HAS SOUPS 8118103 WITH SCORE 8142783.601
AT ITER 4433 NEW BEST:: SOT 127528811 SOS 24673689 HAS SOPS 24673689 HAS SOUS 8115772 HAS SOUPS 8115772 WITH SCORE 8140445.689
AT ITER 4466 NEW BEST:: SOT 127528567 SOS 24671005 HAS SOPS 24671005 HAS SOUS 8115040 HAS SOUPS 8115040 WITH SCORE 8139711.005
AT ITER 4532 NEW BEST:: SOT 127528567 SOS 24666787 HAS SOPS 24666787 HAS SOUS 8114782 HAS SOUPS 8114782 WITH SCORE 8139448.787
AT ITER 4554 NEW BEST:: SOT 127524112 SOS 24657520 HAS SOPS 24657520 HAS SOUS 8110147 HAS SOUPS 8110147 WITH SCORE 8134804.52
AT ITER 4557 NEW BEST:: SOT 127524077 SOS 24657485 HAS SOPS 24657485 HAS SOUS 8110147 HAS SOUPS 8110147 WITH SCORE 8134804.485
AT ITER 4591 NEW BEST:: SOT 127524077 SOS 24657332 HAS SOPS 24657332 HAS SOUS 8109994 HAS SOUPS 8109994 WITH SCORE 8134651.332
AT ITER 4669 NEW BEST:: SOT 127524077 SOS 24653543 HAS SOPS 24653543 HAS SOUS 8109573 HAS SOUPS 8109573 WITH SCORE 8134226.543
AT ITER 4675 NEW BEST:: SOT 127523978 SOS 24653345 HAS SOPS 24653345 HAS SOUS 8109375 HAS SOUPS 8109375 WITH SCORE 8134028.345
AT ITER 4703 NEW BEST:: SOT 127522502 SOS 24651705 HAS SOPS 24651705 HAS SOUS 8107735 HAS SOUPS 8107735 WITH SCORE 8132386.705
AT ITER 4793 NEW BEST:: SOT 127522133 SOS 24651336 HAS SOPS 24651336 HAS SOUS 8107366 HAS SOUPS 8107366 WITH SCORE 8132017.336
AT ITER 4836 NEW BEST:: SOT 127522034 SOS 24650346 HAS SOPS 24650346 HAS SOUS 8107168 HAS SOUPS 8107168 WITH SCORE 8131818.346
AT ITER 4860 NEW BEST:: SOT 127522034 SOS 24649086 HAS SOPS 24649086 HAS SOUS 8106916 HAS SOUPS 8106916 WITH SCORE 8131565.086
AT ITER 4875 NEW BEST:: SOT 127522034 SOS 24649086 HAS SOPS 24649086 HAS SOUS 8106542 HAS SOUPS 8106542 WITH SCORE 8131191.086
AT ITER 4936 NEW BEST:: SOT 127522016 SOS 24648226 HAS SOPS 24648226 HAS SOUS 8106522 HAS SOUPS 8106522 WITH SCORE 8131170.226
AT ITER 4974 NEW BEST:: SOT 127522016 SOS 24648631 HAS SOPS 24648631 HAS SOUS 8106162 HAS SOUPS 8106162 WITH SCORE 8130810.631
AT ITER 4990 NEW BEST:: SOT 127519325 SOS 24645641 HAS SOPS 24645641 HAS SOUS 8102925 HAS SOUPS 8102925 WITH SCORE 8127570.641
AT ITER 5027 NEW BEST:: SOT 127519325 SOS 24645641 HAS SOPS 24645641 HAS SOUS 8102230 HAS SOUPS 8102230 WITH SCORE 8126875.641
AT ITER 5072 NEW BEST:: SOT 127515527 SOS 24641843 HAS SOPS 24641843 HAS SOUS 8098432 HAS SOUPS 8098432 WITH SCORE 8123073.843
AT ITER 5075 NEW BEST:: SOT 127515527 SOS 24641788 HAS SOPS 24641788 HAS SOUS 8097882 HAS SOUPS 8097882 WITH SCORE 8122523.788
AT ITER 5077 NEW BEST:: SOT 127515527 SOS 24638698 HAS SOPS 24638698 HAS SOUS 8097264 HAS SOUPS 8097264 WITH SCORE 8121902.698
AT ITER 5081 NEW BEST:: SOT 127514024 SOS 24637195 HAS SOPS 24637195 HAS SOUS 8095761 HAS SOUPS 8095761 WITH SCORE 8120398.195
AT ITER 5101 NEW BEST:: SOT 127513928 SOS 24637099 HAS SOPS 24637099 HAS SOUS 8095431 HAS SOUPS 8095431 WITH SCORE 8120068.099
AT ITER 5131 NEW BEST:: SOT 127514248 SOS 24637419 HAS SOPS 24637419 HAS SOUS 8095386 HAS SOUPS 8095386 WITH SCORE 8120023.419
AT ITER 5177 NEW BEST:: SOT 127512744 SOS 24635915 HAS SOPS 24635915 HAS SOUS 8093882 HAS SOUPS 8093882 WITH SCORE 8118517.915
AT ITER 5202 NEW BEST:: SOT 127512819 SOS 24633500 HAS SOPS 24633500 HAS SOUS 8093747 HAS SOUPS 8093747 WITH SCORE 8118380.5
AT ITER 5225 NEW BEST:: SOT 127512697 SOS 24633256 HAS SOPS 24633256 HAS SOUS 8093503 HAS SOUPS 8093503 WITH SCORE 8118136.256
AT ITER 5240 NEW BEST:: SOT 127512697 SOS 24630091 HAS SOPS 24630091 HAS SOUS 8093218 HAS SOUPS 8093218 WITH SCORE 8117848.091
AT ITER 5263 NEW BEST:: SOT 127512409 SOS 24629515 HAS SOPS 24629515 HAS SOUS 8092218 HAS SOUPS 8092218 WITH SCORE 8116847.515
AT ITER 5286 NEW BEST:: SOT 127510402 SOS 24627373 HAS SOPS 24627373 HAS SOUS 8090196 HAS SOUPS 8090196 WITH SCORE 8114823.373
AT ITER 5296 NEW BEST:: SOT 127510402 SOS 24623318 HAS SOPS 24623318 HAS SOUS 8090101 HAS SOUPS 8090101 WITH SCORE 8114724.318
AT ITER 5305 NEW BEST:: SOT 127510402 SOS 24619701 HAS SOPS 24619701 HAS SOUS 8089724 HAS SOUPS 8089724 WITH SCORE 8114343.701
AT ITER 5325 NEW BEST:: SOT 127506370 SOS 24615221 HAS SOPS 24615221 HAS SOUS 8084208 HAS SOUPS 8084208 WITH SCORE 8108823.221
AT ITER 5328 NEW BEST:: SOT 127506078 SOS 24614637 HAS SOPS 24614637 HAS SOUS 8081163 HAS SOUPS 8081163 WITH SCORE 8105777.637
AT ITER 5334 NEW BEST:: SOT 127505926 SOS 24614573 HAS SOPS 24614573 HAS SOUS 8081099 HAS SOUPS 8081099 WITH SCORE 8105713.573
AT ITER 5379 NEW BEST:: SOT 127501471 SOS 24605290 HAS SOPS 24605290 HAS SOUS 8076820 HAS SOUPS 8076820 WITH SCORE 8101425.29
AT ITER 5385 NEW BEST:: SOT 127501196 SOS 24604740 HAS SOPS 24604740 HAS SOUS 8075838 HAS SOUPS 8075838 WITH SCORE 8100442.74
AT ITER 5397 NEW BEST:: SOT 127497864 SOS 24598076 HAS SOPS 24598076 HAS SOUS 8074834 HAS SOUPS 8074834 WITH SCORE 8099432.076
AT ITER 5406 NEW BEST:: SOT 127497881 SOS 24598093 HAS SOPS 24598093 HAS SOUS 8074749 HAS SOUPS 8074749 WITH SCORE 8099347.093
AT ITER 5423 NEW BEST:: SOT 127497432 SOS 24593603 HAS SOPS 24593603 HAS SOUS 8073851 HAS SOUPS 8073851 WITH SCORE 8098444.603
AT ITER 5458 NEW BEST:: SOT 127497329 SOS 24593397 HAS SOPS 24593397 HAS SOUS 8073645 HAS SOUPS 8073645 WITH SCORE 8098238.397
AT ITER 5461 NEW BEST:: SOT 127497329 SOS 24589797 HAS SOPS 24589797 HAS SOUS 8073245 HAS SOUPS 8073245 WITH SCORE 8097834.797
AT ITER 5463 NEW BEST:: SOT 127497329 SOS 24589797 HAS SOPS 24589797 HAS SOUS 8073115 HAS SOUPS 8073115 WITH SCORE 8097704.797
AT ITER 5489 NEW BEST:: SOT 127495601 SOS 24588069 HAS SOPS 24588069 HAS SOUS 8071387 HAS SOUPS 8071387 WITH SCORE 8095975.069
AT ITER 5523 NEW BEST:: SOT 127495601 SOS 24589824 HAS SOPS 24589824 HAS SOUS 8070178 HAS SOUPS 8070178 WITH SCORE 8094767.824
AT ITER 5542 NEW BEST:: SOT 127495346 SOS 24589569 HAS SOPS 24589569 HAS SOUS 8069923 HAS SOUPS 8069923 WITH SCORE 8094512.569
AT ITER 5574 NEW BEST:: SOT 127495022 SOS 24588921 HAS SOPS 24588921 HAS SOUS 8068207 HAS SOUPS 8068207 WITH SCORE 8092795.921
AT ITER 5591 NEW BEST:: SOT 127495022 SOS 24589441 HAS SOPS 24589441 HAS SOUS 8067927 HAS SOUPS 8067927 WITH SCORE 8092516.441
AT ITER 5595 NEW BEST:: SOT 127494118 SOS 24588537 HAS SOPS 24588537 HAS SOUS 8067023 HAS SOUPS 8067023 WITH SCORE 8091611.537
AT ITER 5633 NEW BEST:: SOT 127494070 SOS 24588489 HAS SOPS 24588489 HAS SOUS 8067023 HAS SOUPS 8067023 WITH SCORE 8091611.489
AT ITER 5654 NEW BEST:: SOT 127494463 SOS 24588882 HAS SOPS 24588882 HAS SOUS 8066969 HAS SOUPS 8066969 WITH SCORE 8091557.882
AT ITER 5694 NEW BEST:: SOT 127494404 SOS 24588823 HAS SOPS 24588823 HAS SOUS 8066969 HAS SOUPS 8066969 WITH SCORE 8091557.823
AT ITER 5704 NEW BEST:: SOT 127490337 SOS 24584769 HAS SOPS 24584769 HAS SOUS 8063032 HAS SOUPS 8063032 WITH SCORE 8087616.769
AT ITER 5713 NEW BEST:: SOT 127490211 SOS 24584517 HAS SOPS 24584517 HAS SOUS 8062780 HAS SOUPS 8062780 WITH SCORE 8087364.517
AT ITER 5715 NEW BEST:: SOT 127490073 SOS 24584241 HAS SOPS 24584241 HAS SOUS 8062504 HAS SOUPS 8062504 WITH SCORE 8087088.241
AT ITER 5731 NEW BEST:: SOT 127489980 SOS 24582111 HAS SOPS 24582111 HAS SOUS 8062294 HAS SOUPS 8062294 WITH SCORE 8086876.111
AT ITER 5775 NEW BEST:: SOT 127485877 SOS 24573905 HAS SOPS 24573905 HAS SOUS 8060190 HAS SOUPS 8060190 WITH SCORE 8084763.905
AT ITER 5797 NEW BEST:: SOT 127485877 SOS 24575905 HAS SOPS 24575905 HAS SOUS 8058049 HAS SOUPS 8058049 WITH SCORE 8082624.905
AT ITER 5810 NEW BEST:: SOT 127481287 SOS 24566311 HAS SOPS 24566311 HAS SOUS 8053399 HAS SOUPS 8053399 WITH SCORE 8077965.311
AT ITER 5819 NEW BEST:: SOT 127481191 SOS 24566119 HAS SOPS 24566119 HAS SOUS 8053207 HAS SOUPS 8053207 WITH SCORE 8077773.119
AT ITER 5850 NEW BEST:: SOT 127481191 SOS 24565609 HAS SOPS 24565609 HAS SOUS 8053105 HAS SOUPS 8053105 WITH SCORE 8077670.609
AT ITER 5963 NEW BEST:: SOT 127476736 SOS 24556407 HAS SOPS 24556407 HAS SOUS 8048697 HAS SOUPS 8048697 WITH SCORE 8073253.407
AT ITER 5983 NEW BEST:: SOT 127476524 SOS 24554075 HAS SOPS 24554075 HAS SOUS 8048061 HAS SOUPS 8048061 WITH SCORE 8072615.075
AT ITER 6009 NEW BEST:: SOT 127476295 SOS 24553617 HAS SOPS 24553617 HAS SOUS 8046999 HAS SOUPS 8046999 WITH SCORE 8071552.617
AT ITER 6018 NEW BEST:: SOT 127476295 SOS 24550429 HAS SOPS 24550429 HAS SOUS 8046691 HAS SOUPS 8046691 WITH SCORE 8071241.429
AT ITER 6035 NEW BEST:: SOT 127476295 SOS 24547039 HAS SOPS 24547039 HAS SOUS 8046013 HAS SOUPS 8046013 WITH SCORE 8070560.039
AT ITER 6041 NEW BEST:: SOT 127476476 SOS 24547220 HAS SOPS 24547220 HAS SOUS 8045569 HAS SOUPS 8045569 WITH SCORE 8070116.22
AT ITER 6055 NEW BEST:: SOT 127476476 SOS 24544870 HAS SOPS 24544870 HAS SOUS 8045099 HAS SOUPS 8045099 WITH SCORE 8069643.87
AT ITER 6067 NEW BEST:: SOT 127476397 SOS 24544712 HAS SOPS 24544712 HAS SOUS 8044941 HAS SOUPS 8044941 WITH SCORE 8069485.712
AT ITER 6083 NEW BEST:: SOT 127477711 SOS 24546172 HAS SOPS 24546172 HAS SOUS 8044521 HAS SOUPS 8044521 WITH SCORE 8069067.172
AT ITER 6098 NEW BEST:: SOT 127476083 SOS 24544604 HAS SOPS 24544604 HAS SOUS 8042953 HAS SOUPS 8042953 WITH SCORE 8067497.604
AT ITER 6113 NEW BEST:: SOT 127475399 SOS 24543920 HAS SOPS 24543920 HAS SOUS 8042269 HAS SOUPS 8042269 WITH SCORE 8066812.92
AT ITER 6144 NEW BEST:: SOT 127475254 SOS 24540356 HAS SOPS 24540356 HAS SOUS 8041817 HAS SOUPS 8041817 WITH SCORE 8066357.356
AT ITER 6161 NEW BEST:: SOT 127475725 SOS 24541298 HAS SOPS 24541298 HAS SOUS 8041659 HAS SOUPS 8041659 WITH SCORE 8066200.298
AT ITER 6186 NEW BEST:: SOT 127471648 SOS 24536768 HAS SOPS 24536768 HAS SOUS 8034719 HAS SOUPS 8034719 WITH SCORE 8059255.768
AT ITER 6247 NEW BEST:: SOT 127471616 SOS 24536416 HAS SOPS 24536416 HAS SOUS 8034623 HAS SOUPS 8034623 WITH SCORE 8059159.416
AT ITER 6259 NEW BEST:: SOT 127471556 SOS 24536296 HAS SOPS 24536296 HAS SOUS 8034503 HAS SOUPS 8034503 WITH SCORE 8059039.296
AT ITER 6304 NEW BEST:: SOT 127471655 SOS 24536494 HAS SOPS 24536494 HAS SOUS 8034173 HAS SOUPS 8034173 WITH SCORE 8058709.494
AT ITER 6344 NEW BEST:: SOT 127472411 SOS 24537595 HAS SOPS 24537595 HAS SOUS 8032759 HAS SOUPS 8032759 WITH SCORE 8057296.595
AT ITER 6357 NEW BEST:: SOT 127472411 SOS 24533615 HAS SOPS 24533615 HAS SOUS 8031963 HAS SOUPS 8031963 WITH SCORE 8056496.615
AT ITER 6360 NEW BEST:: SOT 127472386 SOS 24533590 HAS SOPS 24533590 HAS SOUS 8031938 HAS SOUPS 8031938 WITH SCORE 8056471.59
AT ITER 6377 NEW BEST:: SOT 127467796 SOS 24524124 HAS SOPS 24524124 HAS SOUS 8028568 HAS SOUPS 8028568 WITH SCORE 8053092.124
AT ITER 6394 NEW BEST:: SOT 127466761 SOS 24523089 HAS SOPS 24523089 HAS SOUS 8027533 HAS SOUPS 8027533 WITH SCORE 8052056.089
AT ITER 6431 NEW BEST:: SOT 127466761 SOS 24520189 HAS SOPS 24520189 HAS SOUS 8026953 HAS SOUPS 8026953 WITH SCORE 8051473.189
AT ITER 6441 NEW BEST:: SOT 127466761 SOS 24518359 HAS SOPS 24518359 HAS SOUS 8026587 HAS SOUPS 8026587 WITH SCORE 8051105.359
AT ITER 6520 NEW BEST:: SOT 127462306 SOS 24512153 HAS SOPS 24512153 HAS SOUS 8023634 HAS SOUPS 8023634 WITH SCORE 8048146.153
AT ITER 6530 NEW BEST:: SOT 127462146 SOS 24510553 HAS SOPS 24510553 HAS SOUS 8023314 HAS SOUPS 8023314 WITH SCORE 8047824.553
AT ITER 6538 NEW BEST:: SOT 127461836 SOS 24509933 HAS SOPS 24509933 HAS SOUS 8020374 HAS SOUPS 8020374 WITH SCORE 8044883.933
AT ITER 6545 NEW BEST:: SOT 127457732 SOS 24505829 HAS SOPS 24505829 HAS SOUS 8016270 HAS SOUPS 8016270 WITH SCORE 8040775.829
AT ITER 6549 NEW BEST:: SOT 127457732 SOS 24502581 HAS SOPS 24502581 HAS SOUS 8016262 HAS SOUPS 8016262 WITH SCORE 8040764.581
AT ITER 6575 NEW BEST:: SOT 127457732 SOS 24502581 HAS SOPS 24502581 HAS SOUS 8015902 HAS SOUPS 8015902 WITH SCORE 8040404.581
AT ITER 6588 NEW BEST:: SOT 127457677 SOS 24502471 HAS SOPS 24502471 HAS SOUS 8015792 HAS SOUPS 8015792 WITH SCORE 8040294.471
AT ITER 6662 NEW BEST:: SOT 127456805 SOS 24501599 HAS SOPS 24501599 HAS SOUS 8014920 HAS SOUPS 8014920 WITH SCORE 8039421.599
AT ITER 6679 NEW BEST:: SOT 127456805 SOS 24497502 HAS SOPS 24497502 HAS SOUS 8014903 HAS SOUPS 8014903 WITH SCORE 8039400.502
AT ITER 6709 NEW BEST:: SOT 127456805 SOS 24496611 HAS SOPS 24496611 HAS SOUS 8014804 HAS SOUPS 8014804 WITH SCORE 8039300.611
AT ITER 6734 NEW BEST:: SOT 127456805 SOS 24496300 HAS SOPS 24496300 HAS SOUS 8013259 HAS SOUPS 8013259 WITH SCORE 8037755.3
AT ITER 6776 NEW BEST:: SOT 127452350 SOS 24487140 HAS SOPS 24487140 HAS SOUS 8010156 HAS SOUPS 8010156 WITH SCORE 8034643.14
AT ITER 6823 NEW BEST:: SOT 127452350 SOS 24482757 HAS SOPS 24482757 HAS SOUS 8009669 HAS SOUPS 8009669 WITH SCORE 8034151.757
AT ITER 6833 NEW BEST:: SOT 127452350 SOS 24484774 HAS SOPS 24484774 HAS SOUS 8008359 HAS SOUPS 8008359 WITH SCORE 8032843.774
AT ITER 6861 NEW BEST:: SOT 127449920 SOS 24479644 HAS SOPS 24479644 HAS SOUS 8005389 HAS SOUPS 8005389 WITH SCORE 8029868.644
AT ITER 6864 NEW BEST:: SOT 127451426 SOS 24481544 HAS SOPS 24481544 HAS SOUS 8003780 HAS SOUPS 8003780 WITH SCORE 8028261.544
AT ITER 6878 NEW BEST:: SOT 127451426 SOS 24483389 HAS SOPS 24483389 HAS SOUS 8002206 HAS SOUPS 8002206 WITH SCORE 8026689.389
AT ITER 6902 NEW BEST:: SOT 127451048 SOS 24479609 HAS SOPS 24479609 HAS SOUS 8001450 HAS SOUPS 8001450 WITH SCORE 8025929.609
AT ITER 6908 NEW BEST:: SOT 127451048 SOS 24479311 HAS SOPS 24479311 HAS SOUS 8000128 HAS SOUPS 8000128 WITH SCORE 8024607.311
AT ITER 6965 NEW BEST:: SOT 127451048 SOS 24479214 HAS SOPS 24479214 HAS SOUS 8000031 HAS SOUPS 8000031 WITH SCORE 8024510.214
AT ITER 7109 NEW BEST:: SOT 127451048 SOS 24476394 HAS SOPS 24476394 HAS SOUS 7999467 HAS SOUPS 7999467 WITH SCORE 8023943.394
AT ITER 7141 NEW BEST:: SOT 127446874 SOS 24468046 HAS SOPS 24468046 HAS SOUS 7996039 HAS SOUPS 7996039 WITH SCORE 8020507.046
AT ITER 7154 NEW BEST:: SOT 127442656 SOS 24459610 HAS SOPS 24459610 HAS SOUS 7993157 HAS SOUPS 7993157 WITH SCORE 8017616.61
AT ITER 7156 NEW BEST:: SOT 127442433 SOS 24457157 HAS SOPS 24457157 HAS SOUS 7992488 HAS SOUPS 7992488 WITH SCORE 8016945.157
AT ITER 7163 NEW BEST:: SOT 127442207 SOS 24456705 HAS SOPS 24456705 HAS SOUS 7991177 HAS SOUPS 7991177 WITH SCORE 8015633.705
AT ITER 7197 NEW BEST:: SOT 127438654 SOS 24449599 HAS SOPS 24449599 HAS SOUS 7988103 HAS SOUPS 7988103 WITH SCORE 8012552.599
AT ITER 7200 NEW BEST:: SOT 127438640 SOS 24449459 HAS SOPS 24449459 HAS SOUS 7988075 HAS SOUPS 7988075 WITH SCORE 8012524.459
AT ITER 7228 NEW BEST:: SOT 127436920 SOS 24446019 HAS SOPS 24446019 HAS SOUS 7986475 HAS SOUPS 7986475 WITH SCORE 8010921.019
AT ITER 7232 NEW BEST:: SOT 127436745 SOS 24445669 HAS SOPS 24445669 HAS SOUS 7985253 HAS SOUPS 7985253 WITH SCORE 8009698.669
AT ITER 7243 NEW BEST:: SOT 127436745 SOS 24444719 HAS SOPS 24444719 HAS SOUS 7985063 HAS SOUPS 7985063 WITH SCORE 8009507.719
AT ITER 7259 NEW BEST:: SOT 127436674 SOS 24444648 HAS SOPS 24444648 HAS SOUS 7984992 HAS SOUPS 7984992 WITH SCORE 8009436.648
AT ITER 7388 NEW BEST:: SOT 127436229 SOS 24440198 HAS SOPS 24440198 HAS SOUS 7984102 HAS SOUPS 7984102 WITH SCORE 8008542.198
AT ITER 7456 NEW BEST:: SOT 127434069 SOS 24435683 HAS SOPS 24435683 HAS SOUS 7981912 HAS SOUPS 7981912 WITH SCORE 8006347.683
AT ITER 7467 NEW BEST:: SOT 127432605 SOS 24434219 HAS SOPS 24434219 HAS SOUS 7980448 HAS SOUPS 7980448 WITH SCORE 8004882.219
AT ITER 7478 NEW BEST:: SOT 127428960 SOS 24426720 HAS SOPS 24426720 HAS SOUS 7977881 HAS SOUPS 7977881 WITH SCORE 8002307.72
AT ITER 7505 NEW BEST:: SOT 127429020 SOS 24425220 HAS SOPS 24425220 HAS SOUS 7977821 HAS SOUPS 7977821 WITH SCORE 8002246.22
AT ITER 7511 NEW BEST:: SOT 127428972 SOS 24425124 HAS SOPS 24425124 HAS SOUS 7977725 HAS SOUPS 7977725 WITH SCORE 8002150.124
AT ITER 7518 NEW BEST:: SOT 127428972 SOS 24425124 HAS SOPS 24425124 HAS SOUS 7977507 HAS SOUPS 7977507 WITH SCORE 8001932.124
AT ITER 7525 NEW BEST:: SOT 127428900 SOS 24425052 HAS SOPS 24425052 HAS SOUS 7977435 HAS SOUPS 7977435 WITH SCORE 8001860.052
AT ITER 7647 NEW BEST:: SOT 127428821 SOS 24424894 HAS SOPS 24424894 HAS SOUS 7977277 HAS SOUPS 7977277 WITH SCORE 8001701.894
AT ITER 7651 NEW BEST:: SOT 127428821 SOS 24424894 HAS SOPS 24424894 HAS SOUS 7977199 HAS SOUPS 7977199 WITH SCORE 8001623.894
AT ITER 7653 NEW BEST:: SOT 127428546 SOS 24424344 HAS SOPS 24424344 HAS SOUS 7975758 HAS SOUPS 7975758 WITH SCORE 8000182.344
AT ITER 7674 NEW BEST:: SOT 127428449 SOS 24425390 HAS SOPS 24425390 HAS SOUS 7975164 HAS SOUPS 7975164 WITH SCORE 7999589.39
AT ITER 7677 NEW BEST:: SOT 127428449 SOS 24425390 HAS SOPS 24425390 HAS SOUS 7974900 HAS SOUPS 7974900 WITH SCORE 7999325.39
AT ITER 7690 NEW BEST:: SOT 127427234 SOS 24422960 HAS SOPS 24422960 HAS SOUS 7973550 HAS SOUPS 7973550 WITH SCORE 7997972.96
AT ITER 7711 NEW BEST:: SOT 127427234 SOS 24424544 HAS SOPS 24424544 HAS SOUS 7972275 HAS SOUPS 7972275 WITH SCORE 7996699.544
AT ITER 7723 NEW BEST:: SOT 127427165 SOS 24424406 HAS SOPS 24424406 HAS SOUS 7972137 HAS SOUPS 7972137 WITH SCORE 7996561.406
AT ITER 7740 NEW BEST:: SOT 127425536 SOS 24422596 HAS SOPS 24422596 HAS SOUS 7970219 HAS SOUPS 7970219 WITH SCORE 7994641.596
AT ITER 7742 NEW BEST:: SOT 127425041 SOS 24417178 HAS SOPS 24417178 HAS SOUS 7968737 HAS SOUPS 7968737 WITH SCORE 7993154.178
AT ITER 7887 NEW BEST:: SOT 127420802 SOS 24408229 HAS SOPS 24408229 HAS SOUS 7963556 HAS SOUPS 7963556 WITH SCORE 7987964.229
AT ITER 7904 NEW BEST:: SOT 127416806 SOS 24403789 HAS SOPS 24403789 HAS SOUS 7959575 HAS SOUPS 7959575 WITH SCORE 7983978.789
AT ITER 7975 NEW BEST:: SOT 127416887 SOS 24403870 HAS SOPS 24403870 HAS SOUS 7959269 HAS SOUPS 7959269 WITH SCORE 7983672.87
AT ITER 7984 NEW BEST:: SOT 127413449 SOS 24396994 HAS SOPS 24396994 HAS SOUS 7955449 HAS SOUPS 7955449 WITH SCORE 7979845.994
AT ITER 8009 NEW BEST:: SOT 127413449 SOS 24396684 HAS SOPS 24396684 HAS SOUS 7955139 HAS SOUPS 7955139 WITH SCORE 7979535.684
AT ITER 8067 NEW BEST:: SOT 127413319 SOS 24396424 HAS SOPS 24396424 HAS SOUS 7954879 HAS SOUPS 7954879 WITH SCORE 7979275.424
AT ITER 8083 NEW BEST:: SOT 127410322 SOS 24393094 HAS SOPS 24393094 HAS SOUS 7950857 HAS SOUPS 7950857 WITH SCORE 7975250.094
AT ITER 8113 NEW BEST:: SOT 127410177 SOS 24389357 HAS SOPS 24389357 HAS SOUS 7950360 HAS SOUPS 7950360 WITH SCORE 7974749.357
AT ITER 8128 NEW BEST:: SOT 127410051 SOS 24389217 HAS SOPS 24389217 HAS SOUS 7950094 HAS SOUPS 7950094 WITH SCORE 7974483.217
AT ITER 8174 NEW BEST:: SOT 127406406 SOS 24381803 HAS SOPS 24381803 HAS SOUS 7948413 HAS SOUPS 7948413 WITH SCORE 7972794.803
AT ITER 8180 NEW BEST:: SOT 127403598 SOS 24378683 HAS SOPS 24378683 HAS SOUS 7945218 HAS SOUPS 7945218 WITH SCORE 7969596.683
AT ITER 8199 NEW BEST:: SOT 127403088 SOS 24376445 HAS SOPS 24376445 HAS SOUS 7944300 HAS SOUPS 7944300 WITH SCORE 7968676.445
AT ITER 8240 NEW BEST:: SOT 127402752 SOS 24373085 HAS SOPS 24373085 HAS SOUS 7943628 HAS SOUPS 7943628 WITH SCORE 7968001.085
AT ITER 8270 NEW BEST:: SOT 127403013 SOS 24374216 HAS SOPS 24374216 HAS SOUS 7942831 HAS SOUPS 7942831 WITH SCORE 7967205.216
AT ITER 8273 NEW BEST:: SOT 127403013 SOS 24372686 HAS SOPS 24372686 HAS SOUS 7942525 HAS SOUPS 7942525 WITH SCORE 7966897.686
AT ITER 8343 NEW BEST:: SOT 127403013 SOS 24370136 HAS SOPS 24370136 HAS SOUS 7942015 HAS SOUPS 7942015 WITH SCORE 7966385.136
AT ITER 8374 NEW BEST:: SOT 127403013 SOS 24370059 HAS SOPS 24370059 HAS SOUS 7941938 HAS SOUPS 7941938 WITH SCORE 7966308.059
AT ITER 8401 NEW BEST:: SOT 127403013 SOS 24370059 HAS SOPS 24370059 HAS SOUS 7941767 HAS SOUPS 7941767 WITH SCORE 7966137.059
AT ITER 8412 NEW BEST:: SOT 127403003 SOS 24370049 HAS SOPS 24370049 HAS SOUS 7941757 HAS SOUPS 7941757 WITH SCORE 7966127.049
AT ITER 8448 NEW BEST:: SOT 127403003 SOS 24371353 HAS SOPS 24371353 HAS SOUS 7941085 HAS SOUPS 7941085 WITH SCORE 7965456.353
AT ITER 8557 NEW BEST:: SOT 127402875 SOS 24371097 HAS SOPS 24371097 HAS SOUS 7940829 HAS SOUPS 7940829 WITH SCORE 7965200.097
AT ITER 8576 NEW BEST:: SOT 127402875 SOS 24368092 HAS SOPS 24368092 HAS SOUS 7940704 HAS SOUPS 7940704 WITH SCORE 7965072.092
AT ITER 8616 NEW BEST:: SOT 127402875 SOS 24368092 HAS SOPS 24368092 HAS SOUS 7940418 HAS SOUPS 7940418 WITH SCORE 7964786.092
AT ITER 8647 NEW BEST:: SOT 127402875 SOS 24368028 HAS SOPS 24368028 HAS SOUS 7940354 HAS SOUPS 7940354 WITH SCORE 7964722.028
AT ITER 8652 NEW BEST:: SOT 127402875 SOS 24365798 HAS SOPS 24365798 HAS SOUS 7939908 HAS SOUPS 7939908 WITH SCORE 7964273.798
AT ITER 8655 NEW BEST:: SOT 127402875 SOS 24368342 HAS SOPS 24368342 HAS SOUS 7937487 HAS SOUPS 7937487 WITH SCORE 7961855.342
AT ITER 8670 NEW BEST:: SOT 127402875 SOS 24364962 HAS SOPS 24364962 HAS SOUS 7936811 HAS SOUPS 7936811 WITH SCORE 7961175.962
AT ITER 8709 NEW BEST:: SOT 127402475 SOS 24364562 HAS SOPS 24364562 HAS SOUS 7936446 HAS SOUPS 7936446 WITH SCORE 7960810.562
AT ITER 8767 NEW BEST:: SOT 127402475 SOS 24364230 HAS SOPS 24364230 HAS SOUS 7936114 HAS SOUPS 7936114 WITH SCORE 7960478.23
AT ITER 8769 NEW BEST:: SOT 127402475 SOS 24360830 HAS SOPS 24360830 HAS SOUS 7935434 HAS SOUPS 7935434 WITH SCORE 7959794.83
AT ITER 8809 NEW BEST:: SOT 127397885 SOS 24351361 HAS SOPS 24351361 HAS SOUS 7931985 HAS SOUPS 7931985 WITH SCORE 7956336.361
AT ITER 8868 NEW BEST:: SOT 127397956 SOS 24348657 HAS SOPS 24348657 HAS SOUS 7931897 HAS SOUPS 7931897 WITH SCORE 7956245.657
AT ITER 8871 NEW BEST:: SOT 127394716 SOS 24341877 HAS SOPS 24341877 HAS SOUS 7928493 HAS SOUPS 7928493 WITH SCORE 7952834.877
AT ITER 9000 NEW BEST:: SOT 127394635 SOS 24341796 HAS SOPS 24341796 HAS SOUS 7928412 HAS SOUPS 7928412 WITH SCORE 7952753.796
AT ITER 9010 NEW BEST:: SOT 127394635 SOS 24341652 HAS SOPS 24341652 HAS SOUS 7927116 HAS SOUPS 7927116 WITH SCORE 7951457.652
AT ITER 9020 NEW BEST:: SOT 127390990 SOS 24334133 HAS SOPS 24334133 HAS SOUS 7924386 HAS SOUPS 7924386 WITH SCORE 7948720.133
AT ITER 9042 NEW BEST:: SOT 127390616 SOS 24330393 HAS SOPS 24330393 HAS SOUS 7923638 HAS SOUPS 7923638 WITH SCORE 7947968.393
AT ITER 9045 NEW BEST:: SOT 127390303 SOS 24327263 HAS SOPS 24327263 HAS SOUS 7923012 HAS SOUPS 7923012 WITH SCORE 7947339.263
AT ITER 9143 NEW BEST:: SOT 127390249 SOS 24326987 HAS SOPS 24326987 HAS SOUS 7922736 HAS SOUPS 7922736 WITH SCORE 7947062.987
AT ITER 9195 NEW BEST:: SOT 127389886 SOS 24326261 HAS SOPS 24326261 HAS SOUS 7920744 HAS SOUPS 7920744 WITH SCORE 7945070.261
AT ITER 9198 NEW BEST:: SOT 127386705 SOS 24319899 HAS SOPS 24319899 HAS SOUS 7917793 HAS SOUPS 7917793 WITH SCORE 7942112.899
AT ITER 9208 NEW BEST:: SOT 127386560 SOS 24316247 HAS SOPS 24316247 HAS SOUS 7917381 HAS SOUPS 7917381 WITH SCORE 7941697.247
AT ITER 9221 NEW BEST:: SOT 127386271 SOS 24313357 HAS SOPS 24313357 HAS SOUS 7916803 HAS SOUPS 7916803 WITH SCORE 7941116.357
AT ITER 9224 NEW BEST:: SOT 127386299 SOS 24313385 HAS SOPS 24313385 HAS SOUS 7916747 HAS SOUPS 7916747 WITH SCORE 7941060.385
AT ITER 9277 NEW BEST:: SOT 127386264 SOS 24313350 HAS SOPS 24313350 HAS SOUS 7916677 HAS SOUPS 7916677 WITH SCORE 7940990.35
AT ITER 9327 NEW BEST:: SOT 127385904 SOS 24310587 HAS SOPS 24310587 HAS SOUS 7915730 HAS SOUPS 7915730 WITH SCORE 7940040.587
AT ITER 9344 NEW BEST:: SOT 127383654 SOS 24308337 HAS SOPS 24308337 HAS SOUS 7913480 HAS SOUPS 7913480 WITH SCORE 7937788.337
AT ITER 9404 NEW BEST:: SOT 127383654 SOS 24308241 HAS SOPS 24308241 HAS SOUS 7913384 HAS SOUPS 7913384 WITH SCORE 7937692.241
AT ITER 9463 NEW BEST:: SOT 127383654 SOS 24307980 HAS SOPS 24307980 HAS SOUS 7913123 HAS SOUPS 7913123 WITH SCORE 7937430.98
AT ITER 9479 NEW BEST:: SOT 127383654 SOS 24304170 HAS SOPS 24304170 HAS SOUS 7912361 HAS SOUPS 7912361 WITH SCORE 7936665.17
AT ITER 9515 NEW BEST:: SOT 127383654 SOS 24305088 HAS SOPS 24305088 HAS SOUS 7911860 HAS SOUPS 7911860 WITH SCORE 7936165.088
AT ITER 9544 NEW BEST:: SOT 127383654 SOS 24302758 HAS SOPS 24302758 HAS SOUS 7911394 HAS SOUPS 7911394 WITH SCORE 7935696.758
AT ITER 9600 NEW BEST:: SOT 127383299 SOS 24299208 HAS SOPS 24299208 HAS SOUS 7910684 HAS SOUPS 7910684 WITH SCORE 7934983.208
AT ITER 9648 NEW BEST:: SOT 127383299 SOS 24299015 HAS SOPS 24299015 HAS SOUS 7908947 HAS SOUPS 7908947 WITH SCORE 7933246.015
AT ITER 9695 NEW BEST:: SOT 127383299 SOS 24296265 HAS SOPS 24296265 HAS SOUS 7908397 HAS SOUPS 7908397 WITH SCORE 7932693.265
AT ITER 9739 NEW BEST:: SOT 127383299 SOS 24294215 HAS SOPS 24294215 HAS SOUS 7907987 HAS SOUPS 7907987 WITH SCORE 7932281.215
AT ITER 9803 NEW BEST:: SOT 127383139 SOS 24294055 HAS SOPS 24294055 HAS SOUS 7907667 HAS SOUPS 7907667 WITH SCORE 7931961.055
AT ITER 9811 NEW BEST:: SOT 127380811 SOS 24291727 HAS SOPS 24291727 HAS SOUS 7905339 HAS SOUPS 7905339 WITH SCORE 7929630.727
AT ITER 9814 NEW BEST:: SOT 127380811 SOS 24293041 HAS SOPS 24293041 HAS SOUS 7904772 HAS SOUPS 7904772 WITH SCORE 7929065.041
AT ITER 9841 NEW BEST:: SOT 127380811 SOS 24292553 HAS SOPS 24292553 HAS SOUS 7903852 HAS SOUPS 7903852 WITH SCORE 7928144.553
AT ITER 9912 NEW BEST:: SOT 127380811 SOS 24292553 HAS SOPS 24292553 HAS SOUS 7903816 HAS SOUPS 7903816 WITH SCORE 7928108.553
AT ITER 9929 NEW BEST:: SOT 127380811 SOS 24292553 HAS SOPS 24292553 HAS SOUS 7903800 HAS SOUPS 7903800 WITH SCORE 7928092.553
AT ITER 9955 NEW BEST:: SOT 127377760 SOS 24289163 HAS SOPS 24289163 HAS SOUS 7900071 HAS SOUPS 7900071 WITH SCORE 7924360.163

BK_STOP 1678605884597

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 444 Killed ${SMART}/smart ${INPUT_SM}

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="HypercubeGrid-PT-C5K3P3B15"
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 HypercubeGrid-PT-C5K3P3B15, 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 r227-tall-167856409800024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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