Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469300312.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.5K May 14 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 08:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 08:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 167K May 12 20:42 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 1590439237137

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 703 places, 653 transitions, 1626 arcs.
AT ITER 0 NEW BEST:: SOT 244046 SOS 42062 HAS SOPS 42062 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39011.062
AT ITER 4 NEW BEST:: SOT 244046 SOS 42055 HAS SOPS 42055 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 38984.055
AT ITER 8 NEW BEST:: SOT 244034 SOS 42043 HAS SOPS 42043 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 38984.043
AT ITER 42 NEW BEST:: SOT 244034 SOS 42012 HAS SOPS 42012 HAS SOUS 38910 HAS SOUPS 38910 WITH SCORE 38952.012
AT ITER 50 NEW BEST:: SOT 244034 SOS 42002 HAS SOPS 42002 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38942.002
AT ITER 95 NEW BEST:: SOT 244034 SOS 41866 HAS SOPS 41866 HAS SOUS 38764 HAS SOUPS 38764 WITH SCORE 38805.866
AT ITER 135 NEW BEST:: SOT 244034 SOS 41863 HAS SOPS 41863 HAS SOUS 38749 HAS SOUPS 38749 WITH SCORE 38790.863
AT ITER 163 NEW BEST:: SOT 244034 SOS 41853 HAS SOPS 41853 HAS SOUS 38749 HAS SOUPS 38749 WITH SCORE 38790.853
AT ITER 169 NEW BEST:: SOT 244034 SOS 41851 HAS SOPS 41851 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38788.851
AT ITER 172 NEW BEST:: SOT 244034 SOS 41833 HAS SOPS 41833 HAS SOUS 38729 HAS SOUPS 38729 WITH SCORE 38770.833
AT ITER 194 NEW BEST:: SOT 244026 SOS 41843 HAS SOPS 41843 HAS SOUS 38721 HAS SOUPS 38721 WITH SCORE 38762.843
AT ITER 200 NEW BEST:: SOT 243940 SOS 41598 HAS SOPS 41598 HAS SOUS 38508 HAS SOUPS 38508 WITH SCORE 38549.598
AT ITER 204 NEW BEST:: SOT 243934 SOS 41603 HAS SOPS 41603 HAS SOUS 38501 HAS SOUPS 38501 WITH SCORE 38542.603
AT ITER 249 NEW BEST:: SOT 243999 SOS 41684 HAS SOPS 41684 HAS SOUS 38458 HAS SOUPS 38458 WITH SCORE 38499.684
AT ITER 290 NEW BEST:: SOT 243999 SOS 41683 HAS SOPS 41683 HAS SOUS 38457 HAS SOUPS 38457 WITH SCORE 38498.683
AT ITER 316 NEW BEST:: SOT 243948 SOS 41439 HAS SOPS 41439 HAS SOUS 38340 HAS SOUPS 38340 WITH SCORE 38381.439
AT ITER 322 NEW BEST:: SOT 243973 SOS 41393 HAS SOPS 41393 HAS SOUS 38317 HAS SOUPS 38317 WITH SCORE 38358.393
AT ITER 326 NEW BEST:: SOT 243960 SOS 41354 HAS SOPS 41354 HAS SOUS 38278 HAS SOUPS 38278 WITH SCORE 38319.354
AT ITER 336 NEW BEST:: SOT 243924 SOS 41282 HAS SOPS 41282 HAS SOUS 38206 HAS SOUPS 38206 WITH SCORE 38247.282
AT ITER 353 NEW BEST:: SOT 243910 SOS 41254 HAS SOPS 41254 HAS SOUS 38192 HAS SOUPS 38192 WITH SCORE 38233.254
AT ITER 375 NEW BEST:: SOT 243910 SOS 41226 HAS SOPS 41226 HAS SOUS 38164 HAS SOUPS 38164 WITH SCORE 38205.226
AT ITER 389 NEW BEST:: SOT 243905 SOS 41216 HAS SOPS 41216 HAS SOUS 38141 HAS SOUPS 38141 WITH SCORE 38182.216
AT ITER 422 NEW BEST:: SOT 243901 SOS 41145 HAS SOPS 41145 HAS SOUS 38101 HAS SOUPS 38101 WITH SCORE 38142.145
AT ITER 433 NEW BEST:: SOT 243895 SOS 41127 HAS SOPS 41127 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38124.127
AT ITER 468 NEW BEST:: SOT 243882 SOS 41075 HAS SOPS 41075 HAS SOUS 38070 HAS SOUPS 38070 WITH SCORE 38111.075
AT ITER 513 NEW BEST:: SOT 243882 SOS 41058 HAS SOPS 41058 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38092.058
AT ITER 525 NEW BEST:: SOT 243878 SOS 41056 HAS SOPS 41056 HAS SOUS 38049 HAS SOUPS 38049 WITH SCORE 38090.056
AT ITER 526 NEW BEST:: SOT 243876 SOS 41052 HAS SOPS 41052 HAS SOUS 38045 HAS SOUPS 38045 WITH SCORE 38086.052
AT ITER 545 NEW BEST:: SOT 243875 SOS 41050 HAS SOPS 41050 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38084.05
AT ITER 547 NEW BEST:: SOT 243875 SOS 41050 HAS SOPS 41050 HAS SOUS 38022 HAS SOUPS 38022 WITH SCORE 38063.05
AT ITER 560 NEW BEST:: SOT 243875 SOS 41029 HAS SOPS 41029 HAS SOUS 38019 HAS SOUPS 38019 WITH SCORE 38060.029
AT ITER 587 NEW BEST:: SOT 243900 SOS 40966 HAS SOPS 40966 HAS SOUS 37989 HAS SOUPS 37989 WITH SCORE 38029.966
AT ITER 595 NEW BEST:: SOT 243842 SOS 40829 HAS SOPS 40829 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 37950.829
AT ITER 614 NEW BEST:: SOT 243842 SOS 40821 HAS SOPS 40821 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37949.821
AT ITER 631 NEW BEST:: SOT 243842 SOS 40820 HAS SOPS 40820 HAS SOUS 37908 HAS SOUPS 37908 WITH SCORE 37948.82
AT ITER 648 NEW BEST:: SOT 243842 SOS 40768 HAS SOPS 40768 HAS SOUS 37856 HAS SOUPS 37856 WITH SCORE 37896.768
AT ITER 676 NEW BEST:: SOT 243842 SOS 40734 HAS SOPS 40734 HAS SOUS 37828 HAS SOUPS 37828 WITH SCORE 37868.734
AT ITER 700 NEW BEST:: SOT 243838 SOS 40730 HAS SOPS 40730 HAS SOUS 37824 HAS SOUPS 37824 WITH SCORE 37864.73
AT ITER 736 NEW BEST:: SOT 243838 SOS 40707 HAS SOPS 40707 HAS SOUS 37801 HAS SOUPS 37801 WITH SCORE 37841.707
AT ITER 752 NEW BEST:: SOT 243839 SOS 40707 HAS SOPS 40707 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37840.707
AT ITER 755 NEW BEST:: SOT 243865 SOS 40732 HAS SOPS 40732 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37839.732
AT ITER 772 NEW BEST:: SOT 243799 SOS 40645 HAS SOPS 40645 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37739.645
AT ITER 777 NEW BEST:: SOT 243763 SOS 40573 HAS SOPS 40573 HAS SOUS 37627 HAS SOUPS 37627 WITH SCORE 37667.573
AT ITER 779 NEW BEST:: SOT 243738 SOS 40671 HAS SOPS 40671 HAS SOUS 37605 HAS SOUPS 37605 WITH SCORE 37645.671
AT ITER 786 NEW BEST:: SOT 243677 SOS 40425 HAS SOPS 40425 HAS SOUS 37481 HAS SOUPS 37481 WITH SCORE 37521.425
AT ITER 788 NEW BEST:: SOT 243629 SOS 40281 HAS SOPS 40281 HAS SOUS 37372 HAS SOUPS 37372 WITH SCORE 37412.281
AT ITER 809 NEW BEST:: SOT 243619 SOS 40272 HAS SOPS 40272 HAS SOUS 37363 HAS SOUPS 37363 WITH SCORE 37403.272
AT ITER 817 NEW BEST:: SOT 243597 SOS 40241 HAS SOPS 40241 HAS SOUS 37330 HAS SOUPS 37330 WITH SCORE 37370.241
AT ITER 821 NEW BEST:: SOT 243596 SOS 40239 HAS SOPS 40239 HAS SOUS 37329 HAS SOUPS 37329 WITH SCORE 37369.239
AT ITER 828 NEW BEST:: SOT 243583 SOS 40093 HAS SOPS 40093 HAS SOUS 37285 HAS SOUPS 37285 WITH SCORE 37325.093
AT ITER 830 NEW BEST:: SOT 243569 SOS 40072 HAS SOPS 40072 HAS SOUS 37264 HAS SOUPS 37264 WITH SCORE 37304.072
AT ITER 842 NEW BEST:: SOT 243512 SOS 39958 HAS SOPS 39958 HAS SOUS 37207 HAS SOUPS 37207 WITH SCORE 37246.958
AT ITER 870 NEW BEST:: SOT 243512 SOS 39937 HAS SOPS 39937 HAS SOUS 37186 HAS SOUPS 37186 WITH SCORE 37225.937
AT ITER 875 NEW BEST:: SOT 243550 SOS 39919 HAS SOPS 39919 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37216.919
AT ITER 894 NEW BEST:: SOT 243532 SOS 39915 HAS SOPS 39915 HAS SOUS 37155 HAS SOUPS 37155 WITH SCORE 37194.915
AT ITER 922 NEW BEST:: SOT 243520 SOS 39867 HAS SOPS 39867 HAS SOUS 37119 HAS SOUPS 37119 WITH SCORE 37158.867
AT ITER 932 NEW BEST:: SOT 243520 SOS 39835 HAS SOPS 39835 HAS SOUS 37084 HAS SOUPS 37084 WITH SCORE 37123.835
AT ITER 934 NEW BEST:: SOT 243518 SOS 39833 HAS SOPS 39833 HAS SOUS 37082 HAS SOUPS 37082 WITH SCORE 37121.833
AT ITER 1003 NEW BEST:: SOT 243499 SOS 39779 HAS SOPS 39779 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37067.779
AT ITER 1004 NEW BEST:: SOT 243458 SOS 39738 HAS SOPS 39738 HAS SOUS 36987 HAS SOUPS 36987 WITH SCORE 37026.738
AT ITER 1021 NEW BEST:: SOT 243458 SOS 39687 HAS SOPS 39687 HAS SOUS 36936 HAS SOUPS 36936 WITH SCORE 36975.687
AT ITER 1026 NEW BEST:: SOT 243443 SOS 39652 HAS SOPS 39652 HAS SOUS 36931 HAS SOUPS 36931 WITH SCORE 36970.652
AT ITER 1062 NEW BEST:: SOT 243443 SOS 39611 HAS SOPS 39611 HAS SOUS 36890 HAS SOUPS 36890 WITH SCORE 36929.611
AT ITER 1073 NEW BEST:: SOT 243424 SOS 39597 HAS SOPS 39597 HAS SOUS 36876 HAS SOUPS 36876 WITH SCORE 36915.597
AT ITER 1112 NEW BEST:: SOT 243402 SOS 39553 HAS SOPS 39553 HAS SOUS 36854 HAS SOUPS 36854 WITH SCORE 36893.553
AT ITER 1128 NEW BEST:: SOT 243402 SOS 39546 HAS SOPS 39546 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36873.546
AT ITER 1151 NEW BEST:: SOT 243402 SOS 39510 HAS SOPS 39510 HAS SOUS 36798 HAS SOUPS 36798 WITH SCORE 36837.51
AT ITER 1166 NEW BEST:: SOT 243401 SOS 39488 HAS SOPS 39488 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36815.488
AT ITER 1175 NEW BEST:: SOT 243380 SOS 39467 HAS SOPS 39467 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36794.467
AT ITER 1186 NEW BEST:: SOT 243380 SOS 39459 HAS SOPS 39459 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36786.459
AT ITER 1225 NEW BEST:: SOT 243379 SOS 39363 HAS SOPS 39363 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36737.363
AT ITER 1232 NEW BEST:: SOT 243373 SOS 39357 HAS SOPS 39357 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36737.357
AT ITER 1282 NEW BEST:: SOT 243370 SOS 39351 HAS SOPS 39351 HAS SOUS 36683 HAS SOUPS 36683 WITH SCORE 36722.351
AT ITER 1309 NEW BEST:: SOT 243346 SOS 39246 HAS SOPS 39246 HAS SOUS 36553 HAS SOUPS 36553 WITH SCORE 36592.246
AT ITER 1323 NEW BEST:: SOT 243341 SOS 39241 HAS SOPS 39241 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36587.241
AT ITER 1357 NEW BEST:: SOT 243316 SOS 39191 HAS SOPS 39191 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36537.191
AT ITER 1359 NEW BEST:: SOT 243396 SOS 39126 HAS SOPS 39126 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36472.126
AT ITER 1368 NEW BEST:: SOT 243392 SOS 39111 HAS SOPS 39111 HAS SOUS 36367 HAS SOUPS 36367 WITH SCORE 36406.111
AT ITER 1371 NEW BEST:: SOT 243392 SOS 39123 HAS SOPS 39123 HAS SOUS 36361 HAS SOUPS 36361 WITH SCORE 36400.123
AT ITER 1381 NEW BEST:: SOT 243392 SOS 39122 HAS SOPS 39122 HAS SOUS 36360 HAS SOUPS 36360 WITH SCORE 36399.122
AT ITER 1386 NEW BEST:: SOT 243397 SOS 39132 HAS SOPS 39132 HAS SOUS 36317 HAS SOUPS 36317 WITH SCORE 36356.132
AT ITER 1445 NEW BEST:: SOT 243365 SOS 39127 HAS SOPS 39127 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36351.127
AT ITER 1456 NEW BEST:: SOT 243369 SOS 39098 HAS SOPS 39098 HAS SOUS 36279 HAS SOUPS 36279 WITH SCORE 36318.098
AT ITER 1496 NEW BEST:: SOT 243364 SOS 39088 HAS SOPS 39088 HAS SOUS 36269 HAS SOUPS 36269 WITH SCORE 36308.088
AT ITER 1525 NEW BEST:: SOT 243398 SOS 39086 HAS SOPS 39086 HAS SOUS 36267 HAS SOUPS 36267 WITH SCORE 36306.086
AT ITER 1541 NEW BEST:: SOT 243398 SOS 39064 HAS SOPS 39064 HAS SOUS 36245 HAS SOUPS 36245 WITH SCORE 36284.064
AT ITER 1611 NEW BEST:: SOT 243420 SOS 39045 HAS SOPS 39045 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36265.045
AT ITER 1616 NEW BEST:: SOT 243384 SOS 38991 HAS SOPS 38991 HAS SOUS 36190 HAS SOUPS 36190 WITH SCORE 36228.991
AT ITER 1630 NEW BEST:: SOT 243341 SOS 38944 HAS SOPS 38944 HAS SOUS 36154 HAS SOUPS 36154 WITH SCORE 36192.944
AT ITER 1636 NEW BEST:: SOT 243276 SOS 38886 HAS SOPS 38886 HAS SOUS 36092 HAS SOUPS 36092 WITH SCORE 36130.886
AT ITER 1644 NEW BEST:: SOT 243248 SOS 38820 HAS SOPS 38820 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36064.82
AT ITER 1661 NEW BEST:: SOT 243247 SOS 38810 HAS SOPS 38810 HAS SOUS 36024 HAS SOUPS 36024 WITH SCORE 36062.81
AT ITER 1663 NEW BEST:: SOT 243236 SOS 38788 HAS SOPS 38788 HAS SOUS 36002 HAS SOUPS 36002 WITH SCORE 36040.788
AT ITER 1664 NEW BEST:: SOT 243246 SOS 38730 HAS SOPS 38730 HAS SOUS 35943 HAS SOUPS 35943 WITH SCORE 35981.73
AT ITER 1703 NEW BEST:: SOT 243246 SOS 38730 HAS SOPS 38730 HAS SOUS 35925 HAS SOUPS 35925 WITH SCORE 35963.73
AT ITER 1743 NEW BEST:: SOT 243197 SOS 38730 HAS SOPS 38730 HAS SOUS 35910 HAS SOUPS 35910 WITH SCORE 35948.73
AT ITER 1779 NEW BEST:: SOT 243154 SOS 38639 HAS SOPS 38639 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35857.639
AT ITER 1782 NEW BEST:: SOT 243153 SOS 38636 HAS SOPS 38636 HAS SOUS 35816 HAS SOUPS 35816 WITH SCORE 35854.636
AT ITER 1783 NEW BEST:: SOT 243165 SOS 38606 HAS SOPS 38606 HAS SOUS 35786 HAS SOUPS 35786 WITH SCORE 35824.606
AT ITER 1803 NEW BEST:: SOT 243091 SOS 38489 HAS SOPS 38489 HAS SOUS 35702 HAS SOUPS 35702 WITH SCORE 35740.489
AT ITER 1805 NEW BEST:: SOT 243091 SOS 38474 HAS SOPS 38474 HAS SOUS 35687 HAS SOUPS 35687 WITH SCORE 35725.474
AT ITER 1806 NEW BEST:: SOT 243044 SOS 38286 HAS SOPS 38286 HAS SOUS 35546 HAS SOUPS 35546 WITH SCORE 35584.286
AT ITER 1812 NEW BEST:: SOT 243044 SOS 38259 HAS SOPS 38259 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35576.259
AT ITER 1848 NEW BEST:: SOT 243044 SOS 38198 HAS SOPS 38198 HAS SOUS 35538 HAS SOUPS 35538 WITH SCORE 35576.198
AT ITER 1857 NEW BEST:: SOT 243043 SOS 38196 HAS SOPS 38196 HAS SOUS 35536 HAS SOUPS 35536 WITH SCORE 35574.196
AT ITER 1892 NEW BEST:: SOT 243043 SOS 38188 HAS SOPS 38188 HAS SOUS 35528 HAS SOUPS 35528 WITH SCORE 35566.188
AT ITER 1910 NEW BEST:: SOT 243012 SOS 38148 HAS SOPS 38148 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35526.148
AT ITER 1916 NEW BEST:: SOT 243012 SOS 38139 HAS SOPS 38139 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35526.139
AT ITER 1919 NEW BEST:: SOT 243041 SOS 38028 HAS SOPS 38028 HAS SOUS 35478 HAS SOUPS 35478 WITH SCORE 35516.028
AT ITER 1936 NEW BEST:: SOT 243039 SOS 38014 HAS SOPS 38014 HAS SOUS 35464 HAS SOUPS 35464 WITH SCORE 35502.014
AT ITER 1962 NEW BEST:: SOT 243007 SOS 37918 HAS SOPS 37918 HAS SOUS 35397 HAS SOUPS 35397 WITH SCORE 35434.918
AT ITER 1984 NEW BEST:: SOT 242998 SOS 37907 HAS SOPS 37907 HAS SOUS 35396 HAS SOUPS 35396 WITH SCORE 35433.907
AT ITER 1994 NEW BEST:: SOT 242995 SOS 37930 HAS SOPS 37930 HAS SOUS 35391 HAS SOUPS 35391 WITH SCORE 35428.93
AT ITER 2019 NEW BEST:: SOT 242995 SOS 37930 HAS SOPS 37930 HAS SOUS 35389 HAS SOUPS 35389 WITH SCORE 35426.93
AT ITER 2054 NEW BEST:: SOT 242990 SOS 37863 HAS SOPS 37863 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35390.863
AT ITER 2147 NEW BEST:: SOT 242989 SOS 37861 HAS SOPS 37861 HAS SOUS 35351 HAS SOUPS 35351 WITH SCORE 35388.861
AT ITER 2161 NEW BEST:: SOT 243006 SOS 37849 HAS SOPS 37849 HAS SOUS 35296 HAS SOUPS 35296 WITH SCORE 35333.849
AT ITER 2167 NEW BEST:: SOT 243004 SOS 37843 HAS SOPS 37843 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35327.843
AT ITER 2187 NEW BEST:: SOT 243004 SOS 37798 HAS SOPS 37798 HAS SOUS 35245 HAS SOUPS 35245 WITH SCORE 35282.798
AT ITER 2205 NEW BEST:: SOT 243008 SOS 37771 HAS SOPS 37771 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35253.771
AT ITER 2206 NEW BEST:: SOT 242943 SOS 37880 HAS SOPS 37880 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35229.88
AT ITER 2209 NEW BEST:: SOT 242929 SOS 37835 HAS SOPS 37835 HAS SOUS 35147 HAS SOUPS 35147 WITH SCORE 35184.835
AT ITER 2214 NEW BEST:: SOT 242919 SOS 37765 HAS SOPS 37765 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35147.765
AT ITER 2219 NEW BEST:: SOT 242904 SOS 37760 HAS SOPS 37760 HAS SOUS 35095 HAS SOUPS 35095 WITH SCORE 35132.76
AT ITER 2240 NEW BEST:: SOT 242904 SOS 37760 HAS SOPS 37760 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35130.76
AT ITER 2281 NEW BEST:: SOT 242865 SOS 37682 HAS SOPS 37682 HAS SOUS 35053 HAS SOUPS 35053 WITH SCORE 35090.682
AT ITER 2307 NEW BEST:: SOT 242801 SOS 37667 HAS SOPS 37667 HAS SOUS 35029 HAS SOUPS 35029 WITH SCORE 35066.667
AT ITER 2324 NEW BEST:: SOT 242804 SOS 37673 HAS SOPS 37673 HAS SOUS 35024 HAS SOUPS 35024 WITH SCORE 35061.673
AT ITER 2327 NEW BEST:: SOT 242804 SOS 37673 HAS SOPS 37673 HAS SOUS 35021 HAS SOUPS 35021 WITH SCORE 35058.673
AT ITER 2331 NEW BEST:: SOT 242798 SOS 37661 HAS SOPS 37661 HAS SOUS 35012 HAS SOUPS 35012 WITH SCORE 35049.661
AT ITER 2339 NEW BEST:: SOT 242793 SOS 37642 HAS SOPS 37642 HAS SOUS 35004 HAS SOUPS 35004 WITH SCORE 35041.642
AT ITER 2340 NEW BEST:: SOT 242782 SOS 37671 HAS SOPS 37671 HAS SOUS 34984 HAS SOUPS 34984 WITH SCORE 35021.671
AT ITER 2358 NEW BEST:: SOT 242792 SOS 37673 HAS SOPS 37673 HAS SOUS 34977 HAS SOUPS 34977 WITH SCORE 35014.673
AT ITER 2388 NEW BEST:: SOT 242760 SOS 37670 HAS SOPS 37670 HAS SOUS 34904 HAS SOUPS 34904 WITH SCORE 34941.67
AT ITER 2395 NEW BEST:: SOT 242722 SOS 37556 HAS SOPS 37556 HAS SOUS 34790 HAS SOUPS 34790 WITH SCORE 34827.556
AT ITER 2450 NEW BEST:: SOT 242687 SOS 37488 HAS SOPS 37488 HAS SOUS 34760 HAS SOUPS 34760 WITH SCORE 34797.488
AT ITER 2470 NEW BEST:: SOT 242732 SOS 37446 HAS SOPS 37446 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34767.446
AT ITER 2478 NEW BEST:: SOT 242664 SOS 37500 HAS SOPS 37500 HAS SOUS 34613 HAS SOUPS 34613 WITH SCORE 34650.5
AT ITER 2493 NEW BEST:: SOT 242664 SOS 37488 HAS SOPS 37488 HAS SOUS 34613 HAS SOUPS 34613 WITH SCORE 34650.488
AT ITER 2494 NEW BEST:: SOT 242664 SOS 37426 HAS SOPS 37426 HAS SOUS 34551 HAS SOUPS 34551 WITH SCORE 34588.426
AT ITER 2523 NEW BEST:: SOT 242592 SOS 37284 HAS SOPS 37284 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34547.284
AT ITER 2559 NEW BEST:: SOT 242592 SOS 37233 HAS SOPS 37233 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34496.233
AT ITER 2568 NEW BEST:: SOT 242600 SOS 37238 HAS SOPS 37238 HAS SOUS 34456 HAS SOUPS 34456 WITH SCORE 34493.238
AT ITER 2569 NEW BEST:: SOT 242608 SOS 37174 HAS SOPS 37174 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34436.174
AT ITER 2593 NEW BEST:: SOT 242608 SOS 37139 HAS SOPS 37139 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34401.139
AT ITER 2624 NEW BEST:: SOT 242592 SOS 37091 HAS SOPS 37091 HAS SOUS 34316 HAS SOUPS 34316 WITH SCORE 34353.091
AT ITER 2635 NEW BEST:: SOT 242586 SOS 37085 HAS SOPS 37085 HAS SOUS 34310 HAS SOUPS 34310 WITH SCORE 34347.085
AT ITER 2664 NEW BEST:: SOT 242538 SOS 36917 HAS SOPS 36917 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34250.917
AT ITER 2671 NEW BEST:: SOT 242522 SOS 36847 HAS SOPS 36847 HAS SOUS 34144 HAS SOUPS 34144 WITH SCORE 34180.847
AT ITER 2680 NEW BEST:: SOT 242515 SOS 36824 HAS SOPS 36824 HAS SOUS 34130 HAS SOUPS 34130 WITH SCORE 34166.824
AT ITER 2723 NEW BEST:: SOT 242502 SOS 36798 HAS SOPS 36798 HAS SOUS 34091 HAS SOUPS 34091 WITH SCORE 34127.798
AT ITER 2767 NEW BEST:: SOT 242471 SOS 36736 HAS SOPS 36736 HAS SOUS 34007 HAS SOUPS 34007 WITH SCORE 34043.736
AT ITER 2782 NEW BEST:: SOT 242471 SOS 36644 HAS SOPS 36644 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34020.644
AT ITER 2793 NEW BEST:: SOT 242471 SOS 36643 HAS SOPS 36643 HAS SOUS 33983 HAS SOUPS 33983 WITH SCORE 34019.643
AT ITER 2796 NEW BEST:: SOT 242441 SOS 36594 HAS SOPS 36594 HAS SOUS 33980 HAS SOUPS 33980 WITH SCORE 34016.594
AT ITER 2809 NEW BEST:: SOT 242441 SOS 36579 HAS SOPS 36579 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34012.579
AT ITER 2811 NEW BEST:: SOT 242399 SOS 36436 HAS SOPS 36436 HAS SOUS 33921 HAS SOUPS 33921 WITH SCORE 33957.436
AT ITER 2874 NEW BEST:: SOT 242356 SOS 36287 HAS SOPS 36287 HAS SOUS 33898 HAS SOUPS 33898 WITH SCORE 33934.287
AT ITER 2915 NEW BEST:: SOT 242351 SOS 36243 HAS SOPS 36243 HAS SOUS 33888 HAS SOUPS 33888 WITH SCORE 33924.243
AT ITER 2985 NEW BEST:: SOT 242336 SOS 36213 HAS SOPS 36213 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33909.213
AT ITER 2991 NEW BEST:: SOT 242281 SOS 36168 HAS SOPS 36168 HAS SOUS 33789 HAS SOUPS 33789 WITH SCORE 33825.168
AT ITER 2998 NEW BEST:: SOT 242281 SOS 36148 HAS SOPS 36148 HAS SOUS 33786 HAS SOUPS 33786 WITH SCORE 33822.148
AT ITER 3009 NEW BEST:: SOT 242265 SOS 36113 HAS SOPS 36113 HAS SOUS 33751 HAS SOUPS 33751 WITH SCORE 33787.113
AT ITER 3012 NEW BEST:: SOT 242208 SOS 36056 HAS SOPS 36056 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33784.056
AT ITER 3017 NEW BEST:: SOT 242208 SOS 36045 HAS SOPS 36045 HAS SOUS 33741 HAS SOUPS 33741 WITH SCORE 33777.045
AT ITER 3028 NEW BEST:: SOT 242109 SOS 36081 HAS SOPS 36081 HAS SOUS 33726 HAS SOUPS 33726 WITH SCORE 33762.081
AT ITER 3033 NEW BEST:: SOT 242078 SOS 35949 HAS SOPS 35949 HAS SOUS 33625 HAS SOUPS 33625 WITH SCORE 33660.949
AT ITER 3035 NEW BEST:: SOT 242064 SOS 35893 HAS SOPS 35893 HAS SOUS 33569 HAS SOUPS 33569 WITH SCORE 33604.893
AT ITER 3075 NEW BEST:: SOT 242045 SOS 35822 HAS SOPS 35822 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33593.822
AT ITER 3085 NEW BEST:: SOT 242044 SOS 35820 HAS SOPS 35820 HAS SOUS 33556 HAS SOUPS 33556 WITH SCORE 33591.82
AT ITER 3104 NEW BEST:: SOT 242024 SOS 35760 HAS SOPS 35760 HAS SOUS 33499 HAS SOUPS 33499 WITH SCORE 33534.76
AT ITER 3116 NEW BEST:: SOT 242024 SOS 35760 HAS SOPS 35760 HAS SOUS 33484 HAS SOUPS 33484 WITH SCORE 33519.76
AT ITER 3121 NEW BEST:: SOT 242018 SOS 35754 HAS SOPS 35754 HAS SOUS 33478 HAS SOUPS 33478 WITH SCORE 33513.754
AT ITER 3129 NEW BEST:: SOT 242016 SOS 35752 HAS SOPS 35752 HAS SOUS 33476 HAS SOUPS 33476 WITH SCORE 33511.752
AT ITER 3164 NEW BEST:: SOT 242016 SOS 35692 HAS SOPS 35692 HAS SOUS 33442 HAS SOUPS 33442 WITH SCORE 33477.692
AT ITER 3191 NEW BEST:: SOT 241886 SOS 35511 HAS SOPS 35511 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33297.511
AT ITER 3224 NEW BEST:: SOT 241872 SOS 35511 HAS SOPS 35511 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33283.511
AT ITER 3233 NEW BEST:: SOT 241848 SOS 35411 HAS SOPS 35411 HAS SOUS 33223 HAS SOUPS 33223 WITH SCORE 33258.411
AT ITER 3246 NEW BEST:: SOT 241837 SOS 35387 HAS SOPS 35387 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33220.387
AT ITER 3285 NEW BEST:: SOT 241864 SOS 35299 HAS SOPS 35299 HAS SOUS 33141 HAS SOUPS 33141 WITH SCORE 33176.299
AT ITER 3357 NEW BEST:: SOT 241864 SOS 35298 HAS SOPS 35298 HAS SOUS 33140 HAS SOUPS 33140 WITH SCORE 33175.298
AT ITER 3395 NEW BEST:: SOT 241904 SOS 35338 HAS SOPS 35338 HAS SOUS 33135 HAS SOUPS 33135 WITH SCORE 33170.338
AT ITER 3398 NEW BEST:: SOT 241915 SOS 35337 HAS SOPS 35337 HAS SOUS 33134 HAS SOUPS 33134 WITH SCORE 33169.337
AT ITER 3407 NEW BEST:: SOT 241899 SOS 35320 HAS SOPS 35320 HAS SOUS 33117 HAS SOUPS 33117 WITH SCORE 33152.32
AT ITER 3423 NEW BEST:: SOT 241901 SOS 35318 HAS SOPS 35318 HAS SOUS 33115 HAS SOUPS 33115 WITH SCORE 33150.318
AT ITER 3441 NEW BEST:: SOT 241871 SOS 35303 HAS SOPS 35303 HAS SOUS 33100 HAS SOUPS 33100 WITH SCORE 33135.303
AT ITER 3454 NEW BEST:: SOT 241871 SOS 35296 HAS SOPS 35296 HAS SOUS 33093 HAS SOUPS 33093 WITH SCORE 33128.296
AT ITER 3464 NEW BEST:: SOT 241869 SOS 35280 HAS SOPS 35280 HAS SOUS 33077 HAS SOUPS 33077 WITH SCORE 33112.28
AT ITER 3484 NEW BEST:: SOT 241859 SOS 35270 HAS SOPS 35270 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33102.27
AT ITER 3506 NEW BEST:: SOT 241859 SOS 35234 HAS SOPS 35234 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33066.234
AT ITER 3548 NEW BEST:: SOT 241937 SOS 35214 HAS SOPS 35214 HAS SOUS 33021 HAS SOUPS 33021 WITH SCORE 33056.214
AT ITER 3558 NEW BEST:: SOT 241917 SOS 35178 HAS SOPS 35178 HAS SOUS 33001 HAS SOUPS 33001 WITH SCORE 33036.178
AT ITER 3576 NEW BEST:: SOT 241915 SOS 35156 HAS SOPS 35156 HAS SOUS 32979 HAS SOUPS 32979 WITH SCORE 33014.156
AT ITER 3577 NEW BEST:: SOT 241865 SOS 35098 HAS SOPS 35098 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32953.098
AT ITER 3597 NEW BEST:: SOT 241862 SOS 35021 HAS SOPS 35021 HAS SOUS 32877 HAS SOUPS 32877 WITH SCORE 32912.021
AT ITER 3620 NEW BEST:: SOT 241831 SOS 35001 HAS SOPS 35001 HAS SOUS 32858 HAS SOUPS 32858 WITH SCORE 32893.001
AT ITER 3670 NEW BEST:: SOT 241831 SOS 34990 HAS SOPS 34990 HAS SOUS 32847 HAS SOUPS 32847 WITH SCORE 32881.99
AT ITER 3729 NEW BEST:: SOT 241816 SOS 35032 HAS SOPS 35032 HAS SOUS 32817 HAS SOUPS 32817 WITH SCORE 32852.032
AT ITER 3775 NEW BEST:: SOT 241789 SOS 35032 HAS SOPS 35032 HAS SOUS 32790 HAS SOUPS 32790 WITH SCORE 32825.032
AT ITER 3778 NEW BEST:: SOT 241789 SOS 35030 HAS SOPS 35030 HAS SOUS 32788 HAS SOUPS 32788 WITH SCORE 32823.03
AT ITER 3793 NEW BEST:: SOT 241783 SOS 35006 HAS SOPS 35006 HAS SOUS 32770 HAS SOUPS 32770 WITH SCORE 32805.006
AT ITER 3870 NEW BEST:: SOT 241727 SOS 34928 HAS SOPS 34928 HAS SOUS 32699 HAS SOUPS 32699 WITH SCORE 32733.928
AT ITER 3881 NEW BEST:: SOT 241727 SOS 34920 HAS SOPS 34920 HAS SOUS 32691 HAS SOUPS 32691 WITH SCORE 32725.92
AT ITER 4031 NEW BEST:: SOT 241727 SOS 34895 HAS SOPS 34895 HAS SOUS 32691 HAS SOUPS 32691 WITH SCORE 32725.895
AT ITER 4051 NEW BEST:: SOT 241727 SOS 34882 HAS SOPS 34882 HAS SOUS 32678 HAS SOUPS 32678 WITH SCORE 32712.882
AT ITER 4126 NEW BEST:: SOT 241745 SOS 34870 HAS SOPS 34870 HAS SOUS 32675 HAS SOUPS 32675 WITH SCORE 32709.87
AT ITER 4128 NEW BEST:: SOT 241639 SOS 34897 HAS SOPS 34897 HAS SOUS 32634 HAS SOUPS 32634 WITH SCORE 32668.897
AT ITER 4143 NEW BEST:: SOT 241625 SOS 34879 HAS SOPS 34879 HAS SOUS 32616 HAS SOUPS 32616 WITH SCORE 32650.879
AT ITER 4182 NEW BEST:: SOT 241655 SOS 34867 HAS SOPS 34867 HAS SOUS 32604 HAS SOUPS 32604 WITH SCORE 32638.867
AT ITER 4226 NEW BEST:: SOT 241674 SOS 34849 HAS SOPS 34849 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32594.849
AT ITER 4247 NEW BEST:: SOT 241646 SOS 34847 HAS SOPS 34847 HAS SOUS 32558 HAS SOUPS 32558 WITH SCORE 32592.847
AT ITER 4250 NEW BEST:: SOT 241587 SOS 34816 HAS SOPS 34816 HAS SOUS 32523 HAS SOUPS 32523 WITH SCORE 32557.816
AT ITER 4292 NEW BEST:: SOT 241590 SOS 34801 HAS SOPS 34801 HAS SOUS 32508 HAS SOUPS 32508 WITH SCORE 32542.801
AT ITER 4303 NEW BEST:: SOT 241546 SOS 34713 HAS SOPS 34713 HAS SOUS 32464 HAS SOUPS 32464 WITH SCORE 32498.713
AT ITER 4354 NEW BEST:: SOT 241544 SOS 34563 HAS SOPS 34563 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32348.563
AT ITER 4365 NEW BEST:: SOT 241534 SOS 34536 HAS SOPS 34536 HAS SOUS 32287 HAS SOUPS 32287 WITH SCORE 32321.536
AT ITER 4384 NEW BEST:: SOT 241534 SOS 34549 HAS SOPS 34549 HAS SOUS 32274 HAS SOUPS 32274 WITH SCORE 32308.549
AT ITER 4396 NEW BEST:: SOT 241511 SOS 34503 HAS SOPS 34503 HAS SOUS 32215 HAS SOUPS 32215 WITH SCORE 32249.503
AT ITER 4431 NEW BEST:: SOT 241511 SOS 34497 HAS SOPS 34497 HAS SOUS 32209 HAS SOUPS 32209 WITH SCORE 32243.497
AT ITER 4459 NEW BEST:: SOT 241508 SOS 34491 HAS SOPS 34491 HAS SOUS 32203 HAS SOUPS 32203 WITH SCORE 32237.491
AT ITER 4502 NEW BEST:: SOT 241551 SOS 34472 HAS SOPS 34472 HAS SOUS 32177 HAS SOUPS 32177 WITH SCORE 32211.472
AT ITER 4541 NEW BEST:: SOT 241503 SOS 34470 HAS SOPS 34470 HAS SOUS 32162 HAS SOUPS 32162 WITH SCORE 32196.47
AT ITER 4561 NEW BEST:: SOT 241503 SOS 34467 HAS SOPS 34467 HAS SOUS 32159 HAS SOUPS 32159 WITH SCORE 32193.467
AT ITER 4572 NEW BEST:: SOT 241497 SOS 34436 HAS SOPS 34436 HAS SOUS 32126 HAS SOUPS 32126 WITH SCORE 32160.436
AT ITER 4619 NEW BEST:: SOT 241511 SOS 34382 HAS SOPS 34382 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32147.382
AT ITER 4628 NEW BEST:: SOT 241517 SOS 34374 HAS SOPS 34374 HAS SOUS 32112 HAS SOUPS 32112 WITH SCORE 32146.374
AT ITER 4666 NEW BEST:: SOT 241510 SOS 34360 HAS SOPS 34360 HAS SOUS 32098 HAS SOUPS 32098 WITH SCORE 32132.36
AT ITER 4699 NEW BEST:: SOT 241509 SOS 34358 HAS SOPS 34358 HAS SOUS 32096 HAS SOUPS 32096 WITH SCORE 32130.358
AT ITER 4719 NEW BEST:: SOT 241539 SOS 34382 HAS SOPS 34382 HAS SOUS 32071 HAS SOUPS 32071 WITH SCORE 32105.382
AT ITER 4737 NEW BEST:: SOT 241533 SOS 34373 HAS SOPS 34373 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32097.373
AT ITER 4740 NEW BEST:: SOT 241533 SOS 34355 HAS SOPS 34355 HAS SOUS 32058 HAS SOUPS 32058 WITH SCORE 32092.355
AT ITER 4757 NEW BEST:: SOT 241536 SOS 34353 HAS SOPS 34353 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32090.353
AT ITER 4763 NEW BEST:: SOT 241536 SOS 34297 HAS SOPS 34297 HAS SOUS 32036 HAS SOUPS 32036 WITH SCORE 32070.297
AT ITER 4765 NEW BEST:: SOT 241529 SOS 34237 HAS SOPS 34237 HAS SOUS 31976 HAS SOUPS 31976 WITH SCORE 32010.237
AT ITER 4842 NEW BEST:: SOT 241528 SOS 34218 HAS SOPS 34218 HAS SOUS 31957 HAS SOUPS 31957 WITH SCORE 31991.218
AT ITER 4857 NEW BEST:: SOT 241528 SOS 34156 HAS SOPS 34156 HAS SOUS 31900 HAS SOUPS 31900 WITH SCORE 31934.156
AT ITER 4872 NEW BEST:: SOT 241532 SOS 34118 HAS SOPS 34118 HAS SOUS 31885 HAS SOUPS 31885 WITH SCORE 31919.118
AT ITER 4884 NEW BEST:: SOT 241532 SOS 34103 HAS SOPS 34103 HAS SOUS 31870 HAS SOUPS 31870 WITH SCORE 31904.103
AT ITER 4977 NEW BEST:: SOT 241531 SOS 34102 HAS SOPS 34102 HAS SOUS 31869 HAS SOUPS 31869 WITH SCORE 31903.102
AT ITER 5020 NEW BEST:: SOT 241551 SOS 34107 HAS SOPS 34107 HAS SOUS 31848 HAS SOUPS 31848 WITH SCORE 31882.107
AT ITER 5042 NEW BEST:: SOT 241549 SOS 34105 HAS SOPS 34105 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31867.105
AT ITER 5053 NEW BEST:: SOT 241523 SOS 34053 HAS SOPS 34053 HAS SOUS 31781 HAS SOUPS 31781 WITH SCORE 31815.053
AT ITER 5075 NEW BEST:: SOT 241519 SOS 34044 HAS SOPS 34044 HAS SOUS 31760 HAS SOUPS 31760 WITH SCORE 31794.044
AT ITER 5098 NEW BEST:: SOT 241501 SOS 34008 HAS SOPS 34008 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31758.008
AT ITER 5112 NEW BEST:: SOT 241501 SOS 34030 HAS SOPS 34030 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31752.03
AT ITER 5157 NEW BEST:: SOT 241501 SOS 34027 HAS SOPS 34027 HAS SOUS 31715 HAS SOUPS 31715 WITH SCORE 31749.027
AT ITER 5180 NEW BEST:: SOT 241465 SOS 33917 HAS SOPS 33917 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31638.917
AT ITER 5184 NEW BEST:: SOT 241444 SOS 33896 HAS SOPS 33896 HAS SOUS 31584 HAS SOUPS 31584 WITH SCORE 31617.896
AT ITER 5193 NEW BEST:: SOT 241437 SOS 33889 HAS SOPS 33889 HAS SOUS 31577 HAS SOUPS 31577 WITH SCORE 31610.889
AT ITER 5205 NEW BEST:: SOT 241417 SOS 33869 HAS SOPS 33869 HAS SOUS 31557 HAS SOUPS 31557 WITH SCORE 31590.869
AT ITER 5214 NEW BEST:: SOT 241409 SOS 33823 HAS SOPS 33823 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31544.823
AT ITER 5216 NEW BEST:: SOT 241396 SOS 33823 HAS SOPS 33823 HAS SOUS 31502 HAS SOUPS 31502 WITH SCORE 31535.823
AT ITER 5226 NEW BEST:: SOT 241377 SOS 33785 HAS SOPS 33785 HAS SOUS 31464 HAS SOUPS 31464 WITH SCORE 31497.785
AT ITER 5288 NEW BEST:: SOT 241377 SOS 33783 HAS SOPS 33783 HAS SOUS 31463 HAS SOUPS 31463 WITH SCORE 31496.783
AT ITER 5292 NEW BEST:: SOT 241377 SOS 33765 HAS SOPS 33765 HAS SOUS 31445 HAS SOUPS 31445 WITH SCORE 31478.765
AT ITER 5312 NEW BEST:: SOT 241377 SOS 33748 HAS SOPS 33748 HAS SOUS 31416 HAS SOUPS 31416 WITH SCORE 31449.748
AT ITER 5343 NEW BEST:: SOT 241397 SOS 33728 HAS SOPS 33728 HAS SOUS 31416 HAS SOUPS 31416 WITH SCORE 31449.728
AT ITER 5435 NEW BEST:: SOT 241420 SOS 33724 HAS SOPS 33724 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31435.724
AT ITER 5460 NEW BEST:: SOT 241391 SOS 33666 HAS SOPS 33666 HAS SOUS 31344 HAS SOUPS 31344 WITH SCORE 31377.666
AT ITER 5470 NEW BEST:: SOT 241386 SOS 33653 HAS SOPS 33653 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31364.653
AT ITER 5471 NEW BEST:: SOT 241376 SOS 33615 HAS SOPS 33615 HAS SOUS 31319 HAS SOUPS 31319 WITH SCORE 31352.615
AT ITER 5481 NEW BEST:: SOT 241374 SOS 33613 HAS SOPS 33613 HAS SOUS 31317 HAS SOUPS 31317 WITH SCORE 31350.613
AT ITER 5484 NEW BEST:: SOT 241321 SOS 33419 HAS SOPS 33419 HAS SOUS 31176 HAS SOUPS 31176 WITH SCORE 31209.419
AT ITER 5495 NEW BEST:: SOT 241327 SOS 33419 HAS SOPS 33419 HAS SOUS 31170 HAS SOUPS 31170 WITH SCORE 31203.419
AT ITER 5499 NEW BEST:: SOT 241326 SOS 33388 HAS SOPS 33388 HAS SOUS 31139 HAS SOUPS 31139 WITH SCORE 31172.388
AT ITER 5569 NEW BEST:: SOT 241326 SOS 33390 HAS SOPS 33390 HAS SOUS 31137 HAS SOUPS 31137 WITH SCORE 31170.39
AT ITER 5581 NEW BEST:: SOT 241326 SOS 33376 HAS SOPS 33376 HAS SOUS 31123 HAS SOUPS 31123 WITH SCORE 31156.376
AT ITER 5650 NEW BEST:: SOT 241320 SOS 33376 HAS SOPS 33376 HAS SOUS 31122 HAS SOUPS 31122 WITH SCORE 31155.376
AT ITER 5711 NEW BEST:: SOT 241313 SOS 33362 HAS SOPS 33362 HAS SOUS 31115 HAS SOUPS 31115 WITH SCORE 31148.362
AT ITER 5726 NEW BEST:: SOT 241318 SOS 33372 HAS SOPS 33372 HAS SOUS 31107 HAS SOUPS 31107 WITH SCORE 31140.372
AT ITER 5730 NEW BEST:: SOT 241304 SOS 33344 HAS SOPS 33344 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31112.344
AT ITER 5736 NEW BEST:: SOT 241276 SOS 33371 HAS SOPS 33371 HAS SOUS 31067 HAS SOUPS 31067 WITH SCORE 31100.371
AT ITER 5744 NEW BEST:: SOT 241269 SOS 33381 HAS SOPS 33381 HAS SOUS 31060 HAS SOUPS 31060 WITH SCORE 31093.381
AT ITER 5786 NEW BEST:: SOT 241269 SOS 33381 HAS SOPS 33381 HAS SOUS 31056 HAS SOUPS 31056 WITH SCORE 31089.381
AT ITER 5807 NEW BEST:: SOT 241283 SOS 33405 HAS SOPS 33405 HAS SOUS 31053 HAS SOUPS 31053 WITH SCORE 31086.405
AT ITER 5809 NEW BEST:: SOT 241309 SOS 33448 HAS SOPS 33448 HAS SOUS 31045 HAS SOUPS 31045 WITH SCORE 31078.448
AT ITER 5831 NEW BEST:: SOT 241273 SOS 33348 HAS SOPS 33348 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30978.348
AT ITER 5836 NEW BEST:: SOT 241270 SOS 33339 HAS SOPS 33339 HAS SOUS 30942 HAS SOUPS 30942 WITH SCORE 30975.339
AT ITER 5845 NEW BEST:: SOT 241270 SOS 33287 HAS SOPS 33287 HAS SOUS 30942 HAS SOUPS 30942 WITH SCORE 30975.287
AT ITER 5863 NEW BEST:: SOT 241260 SOS 33277 HAS SOPS 33277 HAS SOUS 30932 HAS SOUPS 30932 WITH SCORE 30965.277
AT ITER 5866 NEW BEST:: SOT 241260 SOS 33272 HAS SOPS 33272 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30960.272
AT ITER 5873 NEW BEST:: SOT 241209 SOS 33066 HAS SOPS 33066 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30809.066
AT ITER 5878 NEW BEST:: SOT 241209 SOS 33066 HAS SOPS 33066 HAS SOUS 30760 HAS SOUPS 30760 WITH SCORE 30793.066
AT ITER 5893 NEW BEST:: SOT 241233 SOS 33043 HAS SOPS 33043 HAS SOUS 30748 HAS SOUPS 30748 WITH SCORE 30781.043
AT ITER 5950 NEW BEST:: SOT 241234 SOS 33054 HAS SOPS 33054 HAS SOUS 30737 HAS SOUPS 30737 WITH SCORE 30770.054
AT ITER 5971 NEW BEST:: SOT 241215 SOS 32946 HAS SOPS 32946 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30705.946
AT ITER 5993 NEW BEST:: SOT 241229 SOS 32945 HAS SOPS 32945 HAS SOUS 30672 HAS SOUPS 30672 WITH SCORE 30704.945
AT ITER 6005 NEW BEST:: SOT 241220 SOS 32918 HAS SOPS 32918 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30677.918
AT ITER 6007 NEW BEST:: SOT 241204 SOS 32876 HAS SOPS 32876 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 30651.876
AT ITER 6021 NEW BEST:: SOT 241126 SOS 32824 HAS SOPS 32824 HAS SOUS 30567 HAS SOUPS 30567 WITH SCORE 30599.824
AT ITER 6024 NEW BEST:: SOT 241147 SOS 32836 HAS SOPS 32836 HAS SOUS 30559 HAS SOUPS 30559 WITH SCORE 30591.836
AT ITER 6039 NEW BEST:: SOT 241147 SOS 32791 HAS SOPS 32791 HAS SOUS 30514 HAS SOUPS 30514 WITH SCORE 30546.791
AT ITER 6089 NEW BEST:: SOT 241089 SOS 32707 HAS SOPS 32707 HAS SOUS 30419 HAS SOUPS 30419 WITH SCORE 30451.707
AT ITER 6108 NEW BEST:: SOT 240973 SOS 32476 HAS SOPS 32476 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30306.476
AT ITER 6123 NEW BEST:: SOT 240977 SOS 32472 HAS SOPS 32472 HAS SOUS 30270 HAS SOUPS 30270 WITH SCORE 30302.472
AT ITER 6149 NEW BEST:: SOT 240961 SOS 32456 HAS SOPS 32456 HAS SOUS 30238 HAS SOUPS 30238 WITH SCORE 30270.456
AT ITER 6177 NEW BEST:: SOT 240925 SOS 32467 HAS SOPS 32467 HAS SOUS 30228 HAS SOUPS 30228 WITH SCORE 30260.467
AT ITER 6195 NEW BEST:: SOT 240914 SOS 32445 HAS SOPS 32445 HAS SOUS 30213 HAS SOUPS 30213 WITH SCORE 30245.445
AT ITER 6273 NEW BEST:: SOT 240906 SOS 32400 HAS SOPS 32400 HAS SOUS 30200 HAS SOUPS 30200 WITH SCORE 30232.4
AT ITER 6316 NEW BEST:: SOT 240910 SOS 32402 HAS SOPS 32402 HAS SOUS 30199 HAS SOUPS 30199 WITH SCORE 30231.402
AT ITER 6317 NEW BEST:: SOT 240893 SOS 32396 HAS SOPS 32396 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30214.396
AT ITER 6330 NEW BEST:: SOT 240868 SOS 32396 HAS SOPS 32396 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30189.396
AT ITER 6335 NEW BEST:: SOT 240834 SOS 32508 HAS SOPS 32508 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30173.508
AT ITER 6378 NEW BEST:: SOT 240821 SOS 32482 HAS SOPS 32482 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30147.482
AT ITER 6380 NEW BEST:: SOT 240821 SOS 32482 HAS SOPS 32482 HAS SOUS 30114 HAS SOUPS 30114 WITH SCORE 30146.482
AT ITER 6386 NEW BEST:: SOT 240763 SOS 32355 HAS SOPS 32355 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30077.355
AT ITER 6394 NEW BEST:: SOT 240760 SOS 32349 HAS SOPS 32349 HAS SOUS 30039 HAS SOUPS 30039 WITH SCORE 30071.349
AT ITER 6403 NEW BEST:: SOT 240756 SOS 32341 HAS SOPS 32341 HAS SOUS 30033 HAS SOUPS 30033 WITH SCORE 30065.341
AT ITER 6410 NEW BEST:: SOT 240751 SOS 32326 HAS SOPS 32326 HAS SOUS 30018 HAS SOUPS 30018 WITH SCORE 30050.326
AT ITER 6419 NEW BEST:: SOT 240751 SOS 32325 HAS SOPS 32325 HAS SOUS 30017 HAS SOUPS 30017 WITH SCORE 30049.325
AT ITER 6431 NEW BEST:: SOT 240751 SOS 32268 HAS SOPS 32268 HAS SOUS 29960 HAS SOUPS 29960 WITH SCORE 29992.268
AT ITER 6472 NEW BEST:: SOT 240759 SOS 32270 HAS SOPS 32270 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 29966.27
AT ITER 6512 NEW BEST:: SOT 240759 SOS 32242 HAS SOPS 32242 HAS SOUS 29904 HAS SOUPS 29904 WITH SCORE 29936.242
AT ITER 6518 NEW BEST:: SOT 240759 SOS 32168 HAS SOPS 32168 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29894.168
AT ITER 6544 NEW BEST:: SOT 240757 SOS 32153 HAS SOPS 32153 HAS SOUS 29847 HAS SOUPS 29847 WITH SCORE 29879.153
AT ITER 6555 NEW BEST:: SOT 240677 SOS 31942 HAS SOPS 31942 HAS SOUS 29705 HAS SOUPS 29705 WITH SCORE 29736.942
AT ITER 6568 NEW BEST:: SOT 240671 SOS 31890 HAS SOPS 31890 HAS SOUS 29669 HAS SOUPS 29669 WITH SCORE 29700.89
AT ITER 6575 NEW BEST:: SOT 240687 SOS 31890 HAS SOPS 31890 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29684.89
AT ITER 6630 NEW BEST:: SOT 240702 SOS 31848 HAS SOPS 31848 HAS SOUS 29641 HAS SOUPS 29641 WITH SCORE 29672.848
AT ITER 6656 NEW BEST:: SOT 240656 SOS 31800 HAS SOPS 31800 HAS SOUS 29593 HAS SOUPS 29593 WITH SCORE 29624.8
AT ITER 6671 NEW BEST:: SOT 240660 SOS 31796 HAS SOPS 31796 HAS SOUS 29593 HAS SOUPS 29593 WITH SCORE 29624.796
AT ITER 6694 NEW BEST:: SOT 240659 SOS 31722 HAS SOPS 31722 HAS SOUS 29531 HAS SOUPS 29531 WITH SCORE 29562.722
AT ITER 6697 NEW BEST:: SOT 240657 SOS 31682 HAS SOPS 31682 HAS SOUS 29529 HAS SOUPS 29529 WITH SCORE 29560.682
AT ITER 6720 NEW BEST:: SOT 240652 SOS 31672 HAS SOPS 31672 HAS SOUS 29519 HAS SOUPS 29519 WITH SCORE 29550.672
AT ITER 6721 NEW BEST:: SOT 240645 SOS 31648 HAS SOPS 31648 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29526.648
AT ITER 6738 NEW BEST:: SOT 240632 SOS 31622 HAS SOPS 31622 HAS SOUS 29469 HAS SOUPS 29469 WITH SCORE 29500.622
AT ITER 6827 NEW BEST:: SOT 240632 SOS 31615 HAS SOPS 31615 HAS SOUS 29462 HAS SOUPS 29462 WITH SCORE 29493.615
AT ITER 6860 NEW BEST:: SOT 240590 SOS 31536 HAS SOPS 31536 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29426.536
AT ITER 6868 NEW BEST:: SOT 240583 SOS 31509 HAS SOPS 31509 HAS SOUS 29368 HAS SOUPS 29368 WITH SCORE 29399.509
AT ITER 6873 NEW BEST:: SOT 240618 SOS 31534 HAS SOPS 31534 HAS SOUS 29360 HAS SOUPS 29360 WITH SCORE 29391.534
AT ITER 6916 NEW BEST:: SOT 240578 SOS 31414 HAS SOPS 31414 HAS SOUS 29320 HAS SOUPS 29320 WITH SCORE 29351.414
AT ITER 6924 NEW BEST:: SOT 240578 SOS 31392 HAS SOPS 31392 HAS SOUS 29301 HAS SOUPS 29301 WITH SCORE 29332.392
AT ITER 6959 NEW BEST:: SOT 240552 SOS 31361 HAS SOPS 31361 HAS SOUS 29270 HAS SOUPS 29270 WITH SCORE 29301.361
AT ITER 6962 NEW BEST:: SOT 240502 SOS 31311 HAS SOPS 31311 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29251.311
AT ITER 7012 NEW BEST:: SOT 240486 SOS 31247 HAS SOPS 31247 HAS SOUS 29172 HAS SOUPS 29172 WITH SCORE 29203.247
AT ITER 7016 NEW BEST:: SOT 240481 SOS 31237 HAS SOPS 31237 HAS SOUS 29162 HAS SOUPS 29162 WITH SCORE 29193.237
AT ITER 7031 NEW BEST:: SOT 240461 SOS 31197 HAS SOPS 31197 HAS SOUS 29122 HAS SOUPS 29122 WITH SCORE 29153.197
AT ITER 7058 NEW BEST:: SOT 240450 SOS 31175 HAS SOPS 31175 HAS SOUS 29100 HAS SOUPS 29100 WITH SCORE 29131.175
AT ITER 7117 NEW BEST:: SOT 240450 SOS 31167 HAS SOPS 31167 HAS SOUS 29092 HAS SOUPS 29092 WITH SCORE 29123.167
AT ITER 7171 NEW BEST:: SOT 240406 SOS 31055 HAS SOPS 31055 HAS SOUS 28980 HAS SOUPS 28980 WITH SCORE 29011.055
AT ITER 7174 NEW BEST:: SOT 240383 SOS 31047 HAS SOPS 31047 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29003.047
AT ITER 7209 NEW BEST:: SOT 240343 SOS 30952 HAS SOPS 30952 HAS SOUS 28877 HAS SOUPS 28877 WITH SCORE 28907.952
AT ITER 7227 NEW BEST:: SOT 240337 SOS 30940 HAS SOPS 30940 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28901.94
AT ITER 7244 NEW BEST:: SOT 240338 SOS 30888 HAS SOPS 30888 HAS SOUS 28856 HAS SOUPS 28856 WITH SCORE 28886.888
AT ITER 7245 NEW BEST:: SOT 240331 SOS 30874 HAS SOPS 30874 HAS SOUS 28842 HAS SOUPS 28842 WITH SCORE 28872.874
AT ITER 7260 NEW BEST:: SOT 240287 SOS 30849 HAS SOPS 30849 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28845.849
AT ITER 7284 NEW BEST:: SOT 240287 SOS 30845 HAS SOPS 30845 HAS SOUS 28811 HAS SOUPS 28811 WITH SCORE 28841.845
AT ITER 7317 NEW BEST:: SOT 240283 SOS 30837 HAS SOPS 30837 HAS SOUS 28803 HAS SOUPS 28803 WITH SCORE 28833.837
AT ITER 7371 NEW BEST:: SOT 240281 SOS 30835 HAS SOPS 30835 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28829.835
AT ITER 7395 NEW BEST:: SOT 240265 SOS 30803 HAS SOPS 30803 HAS SOUS 28767 HAS SOUPS 28767 WITH SCORE 28797.803
AT ITER 7442 NEW BEST:: SOT 240265 SOS 30799 HAS SOPS 30799 HAS SOUS 28763 HAS SOUPS 28763 WITH SCORE 28793.799
AT ITER 7474 NEW BEST:: SOT 240265 SOS 30799 HAS SOPS 30799 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28783.799
AT ITER 7529 NEW BEST:: SOT 240265 SOS 30798 HAS SOPS 30798 HAS SOUS 28752 HAS SOUPS 28752 WITH SCORE 28782.798
AT ITER 7552 NEW BEST:: SOT 240262 SOS 30792 HAS SOPS 30792 HAS SOUS 28743 HAS SOUPS 28743 WITH SCORE 28773.792
AT ITER 7579 NEW BEST:: SOT 240245 SOS 30759 HAS SOPS 30759 HAS SOUS 28733 HAS SOUPS 28733 WITH SCORE 28763.759
AT ITER 7583 NEW BEST:: SOT 240210 SOS 30611 HAS SOPS 30611 HAS SOUS 28712 HAS SOUPS 28712 WITH SCORE 28742.611
AT ITER 7648 NEW BEST:: SOT 240180 SOS 30564 HAS SOPS 30564 HAS SOUS 28682 HAS SOUPS 28682 WITH SCORE 28712.564
AT ITER 7677 NEW BEST:: SOT 240160 SOS 30477 HAS SOPS 30477 HAS SOUS 28654 HAS SOUPS 28654 WITH SCORE 28684.477
AT ITER 7726 NEW BEST:: SOT 240153 SOS 30470 HAS SOPS 30470 HAS SOUS 28647 HAS SOUPS 28647 WITH SCORE 28677.47
AT ITER 7743 NEW BEST:: SOT 240132 SOS 30449 HAS SOPS 30449 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28656.449
AT ITER 7744 NEW BEST:: SOT 240126 SOS 30431 HAS SOPS 30431 HAS SOUS 28620 HAS SOUPS 28620 WITH SCORE 28650.431
AT ITER 7752 NEW BEST:: SOT 240126 SOS 30430 HAS SOPS 30430 HAS SOUS 28619 HAS SOUPS 28619 WITH SCORE 28649.43
AT ITER 7836 NEW BEST:: SOT 240124 SOS 30424 HAS SOPS 30424 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28645.424
AT ITER 7842 NEW BEST:: SOT 240123 SOS 30421 HAS SOPS 30421 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28643.421
AT ITER 7904 NEW BEST:: SOT 240119 SOS 30389 HAS SOPS 30389 HAS SOUS 28602 HAS SOUPS 28602 WITH SCORE 28632.389
AT ITER 7910 NEW BEST:: SOT 240130 SOS 30405 HAS SOPS 30405 HAS SOUS 28600 HAS SOUPS 28600 WITH SCORE 28630.405
AT ITER 7949 NEW BEST:: SOT 240101 SOS 30319 HAS SOPS 30319 HAS SOUS 28514 HAS SOUPS 28514 WITH SCORE 28544.319
AT ITER 7953 NEW BEST:: SOT 240101 SOS 30308 HAS SOPS 30308 HAS SOUS 28514 HAS SOUPS 28514 WITH SCORE 28544.308
AT ITER 7997 NEW BEST:: SOT 240086 SOS 30262 HAS SOPS 30262 HAS SOUS 28484 HAS SOUPS 28484 WITH SCORE 28514.262
AT ITER 8051 NEW BEST:: SOT 240086 SOS 30239 HAS SOPS 30239 HAS SOUS 28461 HAS SOUPS 28461 WITH SCORE 28491.239
AT ITER 8068 NEW BEST:: SOT 240069 SOS 30205 HAS SOPS 30205 HAS SOUS 28427 HAS SOUPS 28427 WITH SCORE 28457.205
AT ITER 8098 NEW BEST:: SOT 240070 SOS 30207 HAS SOPS 30207 HAS SOUS 28401 HAS SOUPS 28401 WITH SCORE 28431.207
AT ITER 8111 NEW BEST:: SOT 240065 SOS 30204 HAS SOPS 30204 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28428.204
AT ITER 8114 NEW BEST:: SOT 240061 SOS 30196 HAS SOPS 30196 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28420.196
AT ITER 8141 NEW BEST:: SOT 240047 SOS 30196 HAS SOPS 30196 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28406.196
AT ITER 8204 NEW BEST:: SOT 240046 SOS 30195 HAS SOPS 30195 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28406.195
AT ITER 8269 NEW BEST:: SOT 240054 SOS 30200 HAS SOPS 30200 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28388.2
AT ITER 8303 NEW BEST:: SOT 240030 SOS 30176 HAS SOPS 30176 HAS SOUS 28310 HAS SOUPS 28310 WITH SCORE 28340.176
AT ITER 8312 NEW BEST:: SOT 240030 SOS 30170 HAS SOPS 30170 HAS SOUS 28304 HAS SOUPS 28304 WITH SCORE 28334.17
AT ITER 8352 NEW BEST:: SOT 240015 SOS 30136 HAS SOPS 30136 HAS SOUS 28250 HAS SOUPS 28250 WITH SCORE 28280.136
AT ITER 8353 NEW BEST:: SOT 240016 SOS 30137 HAS SOPS 30137 HAS SOUS 28247 HAS SOUPS 28247 WITH SCORE 28277.137
AT ITER 8446 NEW BEST:: SOT 240008 SOS 30120 HAS SOPS 30120 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28269.12
AT ITER 8455 NEW BEST:: SOT 240000 SOS 30118 HAS SOPS 30118 HAS SOUS 28223 HAS SOUPS 28223 WITH SCORE 28253.118
AT ITER 8472 NEW BEST:: SOT 240003 SOS 30115 HAS SOPS 30115 HAS SOUS 28221 HAS SOUPS 28221 WITH SCORE 28251.115
AT ITER 8515 NEW BEST:: SOT 240003 SOS 30097 HAS SOPS 30097 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28233.097
AT ITER 8559 NEW BEST:: SOT 240002 SOS 30095 HAS SOPS 30095 HAS SOUS 28201 HAS SOUPS 28201 WITH SCORE 28231.095
AT ITER 8626 NEW BEST:: SOT 240002 SOS 30100 HAS SOPS 30100 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28218.1
AT ITER 8635 NEW BEST:: SOT 240012 SOS 30120 HAS SOPS 30120 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28215.12
AT ITER 8664 NEW BEST:: SOT 240014 SOS 30122 HAS SOPS 30122 HAS SOUS 28183 HAS SOUPS 28183 WITH SCORE 28213.122
AT ITER 8677 NEW BEST:: SOT 240014 SOS 30097 HAS SOPS 30097 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28188.097
AT ITER 8708 NEW BEST:: SOT 240006 SOS 30086 HAS SOPS 30086 HAS SOUS 28145 HAS SOUPS 28145 WITH SCORE 28175.086
AT ITER 8724 NEW BEST:: SOT 240006 SOS 30060 HAS SOPS 30060 HAS SOUS 28132 HAS SOUPS 28132 WITH SCORE 28162.06
AT ITER 8883 NEW BEST:: SOT 240000 SOS 30013 HAS SOPS 30013 HAS SOUS 28111 HAS SOUPS 28111 WITH SCORE 28141.013
AT ITER 8939 NEW BEST:: SOT 239999 SOS 29968 HAS SOPS 29968 HAS SOUS 28088 HAS SOUPS 28088 WITH SCORE 28117.968
AT ITER 8959 NEW BEST:: SOT 239913 SOS 29958 HAS SOPS 29958 HAS SOUS 28020 HAS SOUPS 28020 WITH SCORE 28049.958
AT ITER 9044 NEW BEST:: SOT 239912 SOS 29956 HAS SOPS 29956 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28047.956
AT ITER 9052 NEW BEST:: SOT 239917 SOS 29954 HAS SOPS 29954 HAS SOUS 28017 HAS SOUPS 28017 WITH SCORE 28046.954
AT ITER 9072 NEW BEST:: SOT 239914 SOS 29942 HAS SOPS 29942 HAS SOUS 28011 HAS SOUPS 28011 WITH SCORE 28040.942
AT ITER 9082 NEW BEST:: SOT 239904 SOS 29929 HAS SOPS 29929 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28033.929
AT ITER 9114 NEW BEST:: SOT 239903 SOS 29902 HAS SOPS 29902 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28031.902
AT ITER 9134 NEW BEST:: SOT 239903 SOS 29885 HAS SOPS 29885 HAS SOUS 27985 HAS SOUPS 27985 WITH SCORE 28014.885
AT ITER 9169 NEW BEST:: SOT 239885 SOS 29858 HAS SOPS 29858 HAS SOUS 27976 HAS SOUPS 27976 WITH SCORE 28005.858
AT ITER 9220 NEW BEST:: SOT 239885 SOS 29857 HAS SOPS 29857 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28004.857
AT ITER 9258 NEW BEST:: SOT 239885 SOS 29843 HAS SOPS 29843 HAS SOUS 27961 HAS SOUPS 27961 WITH SCORE 27990.843
AT ITER 9273 NEW BEST:: SOT 239892 SOS 29865 HAS SOPS 29865 HAS SOUS 27930 HAS SOUPS 27930 WITH SCORE 27959.865
AT ITER 9355 NEW BEST:: SOT 239892 SOS 29857 HAS SOPS 29857 HAS SOUS 27922 HAS SOUPS 27922 WITH SCORE 27951.857
AT ITER 9383 NEW BEST:: SOT 239869 SOS 29853 HAS SOPS 29853 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27947.853
AT ITER 9395 NEW BEST:: SOT 239869 SOS 29847 HAS SOPS 29847 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27944.847
AT ITER 9406 NEW BEST:: SOT 239856 SOS 29808 HAS SOPS 29808 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27905.808
AT ITER 9441 NEW BEST:: SOT 239850 SOS 29796 HAS SOPS 29796 HAS SOUS 27870 HAS SOUPS 27870 WITH SCORE 27899.796
AT ITER 9478 NEW BEST:: SOT 239831 SOS 29786 HAS SOPS 29786 HAS SOUS 27860 HAS SOUPS 27860 WITH SCORE 27889.786
AT ITER 9604 NEW BEST:: SOT 239823 SOS 29778 HAS SOPS 29778 HAS SOUS 27852 HAS SOUPS 27852 WITH SCORE 27881.778
AT ITER 9662 NEW BEST:: SOT 239813 SOS 29768 HAS SOPS 29768 HAS SOUS 27842 HAS SOUPS 27842 WITH SCORE 27871.768
AT ITER 9680 NEW BEST:: SOT 239813 SOS 29735 HAS SOPS 29735 HAS SOUS 27824 HAS SOUPS 27824 WITH SCORE 27853.735
AT ITER 9766 NEW BEST:: SOT 239813 SOS 29726 HAS SOPS 29726 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27844.726
AT ITER 9822 NEW BEST:: SOT 239813 SOS 29723 HAS SOPS 29723 HAS SOUS 27812 HAS SOUPS 27812 WITH SCORE 27841.723
AT ITER 9839 NEW BEST:: SOT 239792 SOS 29583 HAS SOPS 29583 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27754.583
AT ITER 9841 NEW BEST:: SOT 239802 SOS 29559 HAS SOPS 29559 HAS SOUS 27701 HAS SOUPS 27701 WITH SCORE 27730.559
AT ITER 9851 NEW BEST:: SOT 239793 SOS 29550 HAS SOPS 29550 HAS SOUS 27692 HAS SOUPS 27692 WITH SCORE 27721.55
AT ITER 9871 NEW BEST:: SOT 239744 SOS 29482 HAS SOPS 29482 HAS SOUS 27638 HAS SOUPS 27638 WITH SCORE 27667.482
AT ITER 9905 NEW BEST:: SOT 239705 SOS 29476 HAS SOPS 29476 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27661.476
AT ITER 9943 NEW BEST:: SOT 239704 SOS 29461 HAS SOPS 29461 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27646.461
AT ITER 9963 NEW BEST:: SOT 239704 SOS 29451 HAS SOPS 29451 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27645.451
AT ITER 9985 NEW BEST:: SOT 239724 SOS 29463 HAS SOPS 29463 HAS SOUS 27608 HAS SOUPS 27608 WITH SCORE 27637.463

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-010B"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-010B, 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 r207-tajo-159033469300312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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