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-159033469300299.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-010A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300299
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-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.3K May 13 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K 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.5K May 13 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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 53K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-00
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-01
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-02
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-03
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-04
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-05
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-06
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-07
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-08
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-09
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-10
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-11
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-12
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-13
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-14
FORMULA_NAME ShieldIIPt-PT-010A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590439228132

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 193 places, 143 transitions, 606 arcs.
AT ITER 0 NEW BEST:: SOT 22038 SOS 18581 HAS SOPS 18581 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.581
AT ITER 1 NEW BEST:: SOT 21937 SOS 18536 HAS SOPS 18536 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16324.536
AT ITER 2 NEW BEST:: SOT 21886 SOS 18485 HAS SOPS 18485 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16273.485
AT ITER 4 NEW BEST:: SOT 21777 SOS 18181 HAS SOPS 18181 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16097.181
AT ITER 5 NEW BEST:: SOT 21753 SOS 18157 HAS SOPS 18157 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16086.157
AT ITER 6 NEW BEST:: SOT 21651 SOS 17826 HAS SOPS 17826 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15844.826
AT ITER 9 NEW BEST:: SOT 21614 SOS 17789 HAS SOPS 17789 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15807.789
AT ITER 10 NEW BEST:: SOT 21530 SOS 17705 HAS SOPS 17705 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15723.705
AT ITER 11 NEW BEST:: SOT 21499 SOS 17596 HAS SOPS 17596 HAS SOUS 15457 HAS SOUPS 15457 WITH SCORE 15474.596
AT ITER 14 NEW BEST:: SOT 21382 SOS 17479 HAS SOPS 17479 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15389.479
AT ITER 19 NEW BEST:: SOT 21287 SOS 17231 HAS SOPS 17231 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15229.231
AT ITER 20 NEW BEST:: SOT 21184 SOS 17047 HAS SOPS 17047 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15045.047
AT ITER 22 NEW BEST:: SOT 21184 SOS 16939 HAS SOPS 16939 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15028.939
AT ITER 23 NEW BEST:: SOT 21120 SOS 16719 HAS SOPS 16719 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14838.719
AT ITER 24 NEW BEST:: SOT 21081 SOS 16527 HAS SOPS 16527 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14665.527
AT ITER 27 NEW BEST:: SOT 20890 SOS 16336 HAS SOPS 16336 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14417.336
AT ITER 28 NEW BEST:: SOT 20758 SOS 16142 HAS SOPS 16142 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14232.142
AT ITER 32 NEW BEST:: SOT 20652 SOS 16036 HAS SOPS 16036 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14085.036
AT ITER 42 NEW BEST:: SOT 20652 SOS 15933 HAS SOPS 15933 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14076.933
AT ITER 43 NEW BEST:: SOT 20652 SOS 15867 HAS SOPS 15867 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14074.867
AT ITER 44 NEW BEST:: SOT 20638 SOS 15853 HAS SOPS 15853 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14033.853
AT ITER 45 NEW BEST:: SOT 20582 SOS 15796 HAS SOPS 15796 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13976.796
AT ITER 48 NEW BEST:: SOT 20510 SOS 15724 HAS SOPS 15724 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13864.724
AT ITER 49 NEW BEST:: SOT 20505 SOS 15714 HAS SOPS 15714 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13854.714
AT ITER 52 NEW BEST:: SOT 20448 SOS 15657 HAS SOPS 15657 HAS SOUS 13782 HAS SOUPS 13782 WITH SCORE 13797.657
AT ITER 54 NEW BEST:: SOT 20414 SOS 15623 HAS SOPS 15623 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13763.623
AT ITER 55 NEW BEST:: SOT 20474 SOS 15585 HAS SOPS 15585 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13737.585
AT ITER 56 NEW BEST:: SOT 20464 SOS 15571 HAS SOPS 15571 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.571
AT ITER 58 NEW BEST:: SOT 20464 SOS 15435 HAS SOPS 15435 HAS SOUS 13612 HAS SOUPS 13612 WITH SCORE 13627.435
AT ITER 61 NEW BEST:: SOT 20450 SOS 15421 HAS SOPS 15421 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13613.421
AT ITER 62 NEW BEST:: SOT 20442 SOS 15383 HAS SOPS 15383 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13575.383
AT ITER 63 NEW BEST:: SOT 20442 SOS 15361 HAS SOPS 15361 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13574.361
AT ITER 64 NEW BEST:: SOT 20398 SOS 15362 HAS SOPS 15362 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13573.362
AT ITER 66 NEW BEST:: SOT 20308 SOS 15155 HAS SOPS 15155 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13443.155
AT ITER 69 NEW BEST:: SOT 20300 SOS 15147 HAS SOPS 15147 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13435.147
AT ITER 70 NEW BEST:: SOT 20300 SOS 15092 HAS SOPS 15092 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13397.092
AT ITER 73 NEW BEST:: SOT 20300 SOS 15038 HAS SOPS 15038 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13348.038
AT ITER 75 NEW BEST:: SOT 20230 SOS 14860 HAS SOPS 14860 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13269.86
AT ITER 78 NEW BEST:: SOT 20230 SOS 14832 HAS SOPS 14832 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13269.832
AT ITER 81 NEW BEST:: SOT 20149 SOS 14751 HAS SOPS 14751 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13198.751
AT ITER 82 NEW BEST:: SOT 20106 SOS 14708 HAS SOPS 14708 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13120.708
AT ITER 84 NEW BEST:: SOT 20074 SOS 14428 HAS SOPS 14428 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.428
AT ITER 89 NEW BEST:: SOT 19975 SOS 14311 HAS SOPS 14311 HAS SOUS 12813 HAS SOUPS 12813 WITH SCORE 12827.311
AT ITER 93 NEW BEST:: SOT 19914 SOS 14128 HAS SOPS 14128 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12674.128
AT ITER 95 NEW BEST:: SOT 19913 SOS 14119 HAS SOPS 14119 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12665.119
AT ITER 97 NEW BEST:: SOT 19912 SOS 14118 HAS SOPS 14118 HAS SOUS 12650 HAS SOUPS 12650 WITH SCORE 12664.118
AT ITER 100 NEW BEST:: SOT 19898 SOS 14104 HAS SOPS 14104 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12650.104
AT ITER 101 NEW BEST:: SOT 19870 SOS 14076 HAS SOPS 14076 HAS SOUS 12608 HAS SOUPS 12608 WITH SCORE 12622.076
AT ITER 103 NEW BEST:: SOT 19793 SOS 13794 HAS SOPS 13794 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12464.794
AT ITER 104 NEW BEST:: SOT 19800 SOS 13801 HAS SOPS 13801 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12461.801
AT ITER 106 NEW BEST:: SOT 19776 SOS 13794 HAS SOPS 13794 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12454.794
AT ITER 107 NEW BEST:: SOT 19776 SOS 13786 HAS SOPS 13786 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12454.786
AT ITER 113 NEW BEST:: SOT 19746 SOS 13734 HAS SOPS 13734 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12428.734
AT ITER 115 NEW BEST:: SOT 19660 SOS 13631 HAS SOPS 13631 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12325.631
AT ITER 117 NEW BEST:: SOT 19657 SOS 13628 HAS SOPS 13628 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12306.628
AT ITER 121 NEW BEST:: SOT 19627 SOS 13598 HAS SOPS 13598 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12276.598
AT ITER 123 NEW BEST:: SOT 19612 SOS 13583 HAS SOPS 13583 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12254.583
AT ITER 126 NEW BEST:: SOT 19612 SOS 13581 HAS SOPS 13581 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12252.581
AT ITER 139 NEW BEST:: SOT 19612 SOS 13579 HAS SOPS 13579 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12250.579
AT ITER 142 NEW BEST:: SOT 19605 SOS 13572 HAS SOPS 13572 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12236.572
AT ITER 143 NEW BEST:: SOT 19586 SOS 13553 HAS SOPS 13553 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12211.553
AT ITER 144 NEW BEST:: SOT 19585 SOS 13551 HAS SOPS 13551 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12209.551
AT ITER 147 NEW BEST:: SOT 19542 SOS 13508 HAS SOPS 13508 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12159.508
AT ITER 148 NEW BEST:: SOT 19542 SOS 13508 HAS SOPS 13508 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12150.508
AT ITER 152 NEW BEST:: SOT 19453 SOS 13265 HAS SOPS 13265 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12081.265
AT ITER 159 NEW BEST:: SOT 19365 SOS 12800 HAS SOPS 12800 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11838.8
AT ITER 160 NEW BEST:: SOT 19374 SOS 12664 HAS SOPS 12664 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11745.664
AT ITER 163 NEW BEST:: SOT 19372 SOS 12662 HAS SOPS 12662 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11745.662
AT ITER 164 NEW BEST:: SOT 19233 SOS 12272 HAS SOPS 12272 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11427.272
AT ITER 165 NEW BEST:: SOT 19209 SOS 12168 HAS SOPS 12168 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11382.168
AT ITER 170 NEW BEST:: SOT 19209 SOS 12167 HAS SOPS 12167 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11381.167
AT ITER 179 NEW BEST:: SOT 19148 SOS 12106 HAS SOPS 12106 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.106
AT ITER 180 NEW BEST:: SOT 19139 SOS 12116 HAS SOPS 12116 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11322.116
AT ITER 181 NEW BEST:: SOT 19139 SOS 12095 HAS SOPS 12095 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11310.095
AT ITER 184 NEW BEST:: SOT 19130 SOS 12068 HAS SOPS 12068 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11286.068
AT ITER 185 NEW BEST:: SOT 19130 SOS 12049 HAS SOPS 12049 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11267.049
AT ITER 187 NEW BEST:: SOT 19059 SOS 11871 HAS SOPS 11871 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11114.871
AT ITER 191 NEW BEST:: SOT 19065 SOS 11913 HAS SOPS 11913 HAS SOUS 11100 HAS SOUPS 11100 WITH SCORE 11111.913
AT ITER 192 NEW BEST:: SOT 19062 SOS 11909 HAS SOPS 11909 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11107.909
AT ITER 194 NEW BEST:: SOT 19062 SOS 11927 HAS SOPS 11927 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11068.927
AT ITER 197 NEW BEST:: SOT 19054 SOS 11895 HAS SOPS 11895 HAS SOUS 11025 HAS SOUPS 11025 WITH SCORE 11036.895
AT ITER 200 NEW BEST:: SOT 19037 SOS 11861 HAS SOPS 11861 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11002.861
AT ITER 202 NEW BEST:: SOT 19037 SOS 11760 HAS SOPS 11760 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10975.76
AT ITER 203 NEW BEST:: SOT 19024 SOS 11747 HAS SOPS 11747 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10962.747
AT ITER 204 NEW BEST:: SOT 18902 SOS 11625 HAS SOPS 11625 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10840.625
AT ITER 208 NEW BEST:: SOT 18897 SOS 11590 HAS SOPS 11590 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10831.59
AT ITER 211 NEW BEST:: SOT 18897 SOS 11566 HAS SOPS 11566 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10807.566
AT ITER 215 NEW BEST:: SOT 18897 SOS 11516 HAS SOPS 11516 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10761.516
AT ITER 216 NEW BEST:: SOT 18898 SOS 11495 HAS SOPS 11495 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10740.495
AT ITER 217 NEW BEST:: SOT 18898 SOS 11491 HAS SOPS 11491 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10740.491
AT ITER 218 NEW BEST:: SOT 18886 SOS 11496 HAS SOPS 11496 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10716.496
AT ITER 219 NEW BEST:: SOT 18886 SOS 11478 HAS SOPS 11478 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10698.478
AT ITER 220 NEW BEST:: SOT 18890 SOS 11476 HAS SOPS 11476 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10691.476
AT ITER 222 NEW BEST:: SOT 18788 SOS 11272 HAS SOPS 11272 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10445.272
AT ITER 223 NEW BEST:: SOT 18782 SOS 11266 HAS SOPS 11266 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10439.266
AT ITER 225 NEW BEST:: SOT 18715 SOS 11199 HAS SOPS 11199 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10359.199
AT ITER 233 NEW BEST:: SOT 18713 SOS 11099 HAS SOPS 11099 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10323.099
AT ITER 236 NEW BEST:: SOT 18556 SOS 10942 HAS SOPS 10942 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10180.942
AT ITER 247 NEW BEST:: SOT 18545 SOS 10930 HAS SOPS 10930 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10168.93
AT ITER 254 NEW BEST:: SOT 18525 SOS 10908 HAS SOPS 10908 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10146.908
AT ITER 255 NEW BEST:: SOT 18517 SOS 10896 HAS SOPS 10896 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10142.896
AT ITER 258 NEW BEST:: SOT 18497 SOS 10876 HAS SOPS 10876 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10122.876
AT ITER 259 NEW BEST:: SOT 18528 SOS 10843 HAS SOPS 10843 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10097.843
AT ITER 260 NEW BEST:: SOT 18586 SOS 10790 HAS SOPS 10790 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10044.79
AT ITER 261 NEW BEST:: SOT 18557 SOS 10761 HAS SOPS 10761 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10044.761
AT ITER 268 NEW BEST:: SOT 18547 SOS 10741 HAS SOPS 10741 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10024.741
AT ITER 279 NEW BEST:: SOT 18511 SOS 10705 HAS SOPS 10705 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9988.705
AT ITER 282 NEW BEST:: SOT 18513 SOS 10699 HAS SOPS 10699 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9982.699
AT ITER 288 NEW BEST:: SOT 18476 SOS 10657 HAS SOPS 10657 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9977.657
AT ITER 289 NEW BEST:: SOT 18440 SOS 10622 HAS SOPS 10622 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9942.622
AT ITER 290 NEW BEST:: SOT 18440 SOS 10603 HAS SOPS 10603 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9923.603
AT ITER 291 NEW BEST:: SOT 18440 SOS 10541 HAS SOPS 10541 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9923.541
AT ITER 297 NEW BEST:: SOT 18396 SOS 10453 HAS SOPS 10453 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9835.453
AT ITER 310 NEW BEST:: SOT 18396 SOS 10449 HAS SOPS 10449 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9835.449
AT ITER 313 NEW BEST:: SOT 18356 SOS 10409 HAS SOPS 10409 HAS SOUS 9785 HAS SOUPS 9785 WITH SCORE 9795.409
AT ITER 314 NEW BEST:: SOT 18356 SOS 10403 HAS SOPS 10403 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9792.403
AT ITER 315 NEW BEST:: SOT 18323 SOS 10370 HAS SOPS 10370 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9763.37
AT ITER 317 NEW BEST:: SOT 18299 SOS 10346 HAS SOPS 10346 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9739.346
AT ITER 318 NEW BEST:: SOT 18330 SOS 10321 HAS SOPS 10321 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9722.321
AT ITER 324 NEW BEST:: SOT 18326 SOS 10317 HAS SOPS 10317 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9718.317
AT ITER 326 NEW BEST:: SOT 18243 SOS 10155 HAS SOPS 10155 HAS SOUS 9598 HAS SOUPS 9598 WITH SCORE 9608.155
AT ITER 334 NEW BEST:: SOT 18231 SOS 10143 HAS SOPS 10143 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9579.143
AT ITER 336 NEW BEST:: SOT 18231 SOS 10143 HAS SOPS 10143 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9573.143
AT ITER 339 NEW BEST:: SOT 18226 SOS 10121 HAS SOPS 10121 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9562.121
AT ITER 341 NEW BEST:: SOT 18226 SOS 10088 HAS SOPS 10088 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9529.088
AT ITER 342 NEW BEST:: SOT 18226 SOS 10071 HAS SOPS 10071 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9529.071
AT ITER 356 NEW BEST:: SOT 18243 SOS 10049 HAS SOPS 10049 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9508.049
AT ITER 364 NEW BEST:: SOT 18243 SOS 10049 HAS SOPS 10049 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.049
AT ITER 375 NEW BEST:: SOT 18243 SOS 10038 HAS SOPS 10038 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.038
AT ITER 391 NEW BEST:: SOT 18240 SOS 10035 HAS SOPS 10035 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9504.035
AT ITER 392 NEW BEST:: SOT 18206 SOS 10002 HAS SOPS 10002 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9430.002
AT ITER 403 NEW BEST:: SOT 18206 SOS 9982 HAS SOPS 9982 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9388.982
AT ITER 410 NEW BEST:: SOT 18190 SOS 9939 HAS SOPS 9939 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9358.939
AT ITER 411 NEW BEST:: SOT 18166 SOS 9903 HAS SOPS 9903 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9322.903
AT ITER 416 NEW BEST:: SOT 18149 SOS 9799 HAS SOPS 9799 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9223.799
AT ITER 429 NEW BEST:: SOT 18120 SOS 9741 HAS SOPS 9741 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9170.741
AT ITER 436 NEW BEST:: SOT 18124 SOS 9733 HAS SOPS 9733 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9156.733
AT ITER 438 NEW BEST:: SOT 18097 SOS 9598 HAS SOPS 9598 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9072.598
AT ITER 441 NEW BEST:: SOT 18085 SOS 9578 HAS SOPS 9578 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9052.578
AT ITER 445 NEW BEST:: SOT 18031 SOS 9519 HAS SOPS 9519 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8993.519
AT ITER 447 NEW BEST:: SOT 18027 SOS 9486 HAS SOPS 9486 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8960.486
AT ITER 449 NEW BEST:: SOT 17994 SOS 9421 HAS SOPS 9421 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8927.421
AT ITER 455 NEW BEST:: SOT 17985 SOS 9403 HAS SOPS 9403 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8904.403
AT ITER 456 NEW BEST:: SOT 17985 SOS 9400 HAS SOPS 9400 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8900.4
AT ITER 457 NEW BEST:: SOT 17985 SOS 9370 HAS SOPS 9370 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8890.37
AT ITER 458 NEW BEST:: SOT 17985 SOS 9332 HAS SOPS 9332 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.332
AT ITER 465 NEW BEST:: SOT 17985 SOS 9332 HAS SOPS 9332 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8833.332
AT ITER 472 NEW BEST:: SOT 17979 SOS 9326 HAS SOPS 9326 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.326
AT ITER 475 NEW BEST:: SOT 17971 SOS 9302 HAS SOPS 9302 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8801.302
AT ITER 490 NEW BEST:: SOT 17965 SOS 9278 HAS SOPS 9278 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8783.278
AT ITER 492 NEW BEST:: SOT 17948 SOS 9210 HAS SOPS 9210 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8732.21
AT ITER 501 NEW BEST:: SOT 17918 SOS 9178 HAS SOPS 9178 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8700.178
AT ITER 507 NEW BEST:: SOT 17917 SOS 9168 HAS SOPS 9168 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.168
AT ITER 532 NEW BEST:: SOT 17899 SOS 9100 HAS SOPS 9100 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8617.1
AT ITER 533 NEW BEST:: SOT 17861 SOS 9064 HAS SOPS 9064 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8582.064
AT ITER 548 NEW BEST:: SOT 17854 SOS 9050 HAS SOPS 9050 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8568.05
AT ITER 552 NEW BEST:: SOT 17854 SOS 9050 HAS SOPS 9050 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8562.05
AT ITER 553 NEW BEST:: SOT 17854 SOS 9040 HAS SOPS 9040 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8557.04
AT ITER 557 NEW BEST:: SOT 17854 SOS 9031 HAS SOPS 9031 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.031
AT ITER 583 NEW BEST:: SOT 17825 SOS 8949 HAS SOPS 8949 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8511.949
AT ITER 589 NEW BEST:: SOT 17772 SOS 8799 HAS SOPS 8799 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8361.799
AT ITER 595 NEW BEST:: SOT 17766 SOS 8791 HAS SOPS 8791 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8353.791
AT ITER 605 NEW BEST:: SOT 17741 SOS 8735 HAS SOPS 8735 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8297.735
AT ITER 611 NEW BEST:: SOT 17750 SOS 8738 HAS SOPS 8738 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8292.738
AT ITER 614 NEW BEST:: SOT 17716 SOS 8668 HAS SOPS 8668 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8213.668
AT ITER 616 NEW BEST:: SOT 17670 SOS 8596 HAS SOPS 8596 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8141.596
AT ITER 617 NEW BEST:: SOT 17568 SOS 8494 HAS SOPS 8494 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8039.494
AT ITER 622 NEW BEST:: SOT 17550 SOS 8461 HAS SOPS 8461 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8006.461
AT ITER 625 NEW BEST:: SOT 17537 SOS 8460 HAS SOPS 8460 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.46
AT ITER 635 NEW BEST:: SOT 17537 SOS 8436 HAS SOPS 8436 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7973.436
AT ITER 636 NEW BEST:: SOT 17520 SOS 8433 HAS SOPS 8433 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7968.433
AT ITER 639 NEW BEST:: SOT 17517 SOS 8427 HAS SOPS 8427 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7962.427
AT ITER 660 NEW BEST:: SOT 17495 SOS 8437 HAS SOPS 8437 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7952.437
AT ITER 673 NEW BEST:: SOT 17469 SOS 8401 HAS SOPS 8401 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.401
AT ITER 674 NEW BEST:: SOT 17440 SOS 8329 HAS SOPS 8329 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7865.329
AT ITER 697 NEW BEST:: SOT 17521 SOS 8424 HAS SOPS 8424 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7846.424
AT ITER 706 NEW BEST:: SOT 17513 SOS 8361 HAS SOPS 8361 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7816.361
AT ITER 719 NEW BEST:: SOT 17510 SOS 8358 HAS SOPS 8358 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7813.358
AT ITER 723 NEW BEST:: SOT 17500 SOS 8321 HAS SOPS 8321 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.321
AT ITER 727 NEW BEST:: SOT 17493 SOS 8304 HAS SOPS 8304 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.304
AT ITER 728 NEW BEST:: SOT 17482 SOS 8266 HAS SOPS 8266 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7754.266
AT ITER 734 NEW BEST:: SOT 17466 SOS 8253 HAS SOPS 8253 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7741.253
AT ITER 747 NEW BEST:: SOT 17439 SOS 8226 HAS SOPS 8226 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.226
AT ITER 749 NEW BEST:: SOT 17388 SOS 8182 HAS SOPS 8182 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.182
AT ITER 756 NEW BEST:: SOT 17388 SOS 8177 HAS SOPS 8177 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.177
AT ITER 764 NEW BEST:: SOT 17385 SOS 8171 HAS SOPS 8171 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7601.171
AT ITER 771 NEW BEST:: SOT 17395 SOS 8152 HAS SOPS 8152 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7582.152
AT ITER 772 NEW BEST:: SOT 17389 SOS 8200 HAS SOPS 8200 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7576.2
AT ITER 774 NEW BEST:: SOT 17389 SOS 8194 HAS SOPS 8194 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.194
AT ITER 775 NEW BEST:: SOT 17287 SOS 8061 HAS SOPS 8061 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7488.061
AT ITER 795 NEW BEST:: SOT 17275 SOS 8043 HAS SOPS 8043 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.043
AT ITER 801 NEW BEST:: SOT 17275 SOS 8043 HAS SOPS 8043 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.043
AT ITER 811 NEW BEST:: SOT 17275 SOS 8033 HAS SOPS 8033 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7462.033
AT ITER 843 NEW BEST:: SOT 17200 SOS 7974 HAS SOPS 7974 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7398.974
AT ITER 847 NEW BEST:: SOT 17200 SOS 7947 HAS SOPS 7947 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7398.947
AT ITER 850 NEW BEST:: SOT 17198 SOS 7943 HAS SOPS 7943 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7394.943
AT ITER 886 NEW BEST:: SOT 17169 SOS 7912 HAS SOPS 7912 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7392.912
AT ITER 887 NEW BEST:: SOT 17168 SOS 7911 HAS SOPS 7911 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7391.911
AT ITER 892 NEW BEST:: SOT 17150 SOS 7908 HAS SOPS 7908 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7388.908
AT ITER 914 NEW BEST:: SOT 17118 SOS 7831 HAS SOPS 7831 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7325.831
AT ITER 926 NEW BEST:: SOT 17116 SOS 7825 HAS SOPS 7825 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7321.825
AT ITER 931 NEW BEST:: SOT 17116 SOS 7809 HAS SOPS 7809 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7305.809
AT ITER 941 NEW BEST:: SOT 17098 SOS 7769 HAS SOPS 7769 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7274.769
AT ITER 951 NEW BEST:: SOT 17098 SOS 7753 HAS SOPS 7753 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7259.753
AT ITER 964 NEW BEST:: SOT 17079 SOS 7710 HAS SOPS 7710 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7224.71
AT ITER 967 NEW BEST:: SOT 17063 SOS 7663 HAS SOPS 7663 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7177.663
AT ITER 969 NEW BEST:: SOT 17061 SOS 7672 HAS SOPS 7672 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7173.672
AT ITER 973 NEW BEST:: SOT 17059 SOS 7654 HAS SOPS 7654 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7155.654
AT ITER 987 NEW BEST:: SOT 17058 SOS 7647 HAS SOPS 7647 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7148.647
AT ITER 988 NEW BEST:: SOT 17058 SOS 7645 HAS SOPS 7645 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7147.645
AT ITER 989 NEW BEST:: SOT 17048 SOS 7630 HAS SOPS 7630 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7132.63
AT ITER 996 NEW BEST:: SOT 17043 SOS 7625 HAS SOPS 7625 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7132.625
AT ITER 1017 NEW BEST:: SOT 17043 SOS 7629 HAS SOPS 7629 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7119.629
AT ITER 1021 NEW BEST:: SOT 17044 SOS 7616 HAS SOPS 7616 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7109.616
AT ITER 1062 NEW BEST:: SOT 17011 SOS 7574 HAS SOPS 7574 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7067.574
AT ITER 1073 NEW BEST:: SOT 17005 SOS 7564 HAS SOPS 7564 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7057.564
AT ITER 1081 NEW BEST:: SOT 16987 SOS 7546 HAS SOPS 7546 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7033.546
AT ITER 1091 NEW BEST:: SOT 16982 SOS 7541 HAS SOPS 7541 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7028.541
AT ITER 1095 NEW BEST:: SOT 16982 SOS 7495 HAS SOPS 7495 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7028.495
AT ITER 1099 NEW BEST:: SOT 16981 SOS 7484 HAS SOPS 7484 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.484
AT ITER 1102 NEW BEST:: SOT 16958 SOS 7471 HAS SOPS 7471 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.471
AT ITER 1108 NEW BEST:: SOT 16958 SOS 7463 HAS SOPS 7463 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7010.463
AT ITER 1118 NEW BEST:: SOT 16958 SOS 7454 HAS SOPS 7454 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7001.454
AT ITER 1124 NEW BEST:: SOT 16941 SOS 7437 HAS SOPS 7437 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6974.437
AT ITER 1125 NEW BEST:: SOT 16926 SOS 7404 HAS SOPS 7404 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6944.404
AT ITER 1129 NEW BEST:: SOT 16862 SOS 7308 HAS SOPS 7308 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.308
AT ITER 1145 NEW BEST:: SOT 16862 SOS 7304 HAS SOPS 7304 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6846.304
AT ITER 1146 NEW BEST:: SOT 16861 SOS 7303 HAS SOPS 7303 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6846.303
AT ITER 1176 NEW BEST:: SOT 16851 SOS 7284 HAS SOPS 7284 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6803.284
AT ITER 1179 NEW BEST:: SOT 16845 SOS 7269 HAS SOPS 7269 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.269
AT ITER 1187 NEW BEST:: SOT 16826 SOS 7250 HAS SOPS 7250 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6769.25
AT ITER 1188 NEW BEST:: SOT 16763 SOS 7120 HAS SOPS 7120 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.12
AT ITER 1211 NEW BEST:: SOT 16769 SOS 7104 HAS SOPS 7104 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.104
AT ITER 1234 NEW BEST:: SOT 16775 SOS 7068 HAS SOPS 7068 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.068
AT ITER 1239 NEW BEST:: SOT 16770 SOS 7063 HAS SOPS 7063 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6592.063
AT ITER 1263 NEW BEST:: SOT 16768 SOS 7059 HAS SOPS 7059 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6587.059
AT ITER 1290 NEW BEST:: SOT 16773 SOS 7046 HAS SOPS 7046 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.046
AT ITER 1302 NEW BEST:: SOT 16724 SOS 6972 HAS SOPS 6972 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6504.972
AT ITER 1320 NEW BEST:: SOT 16716 SOS 6950 HAS SOPS 6950 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6489.95
AT ITER 1323 NEW BEST:: SOT 16706 SOS 6909 HAS SOPS 6909 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6461.909
AT ITER 1342 NEW BEST:: SOT 16688 SOS 6816 HAS SOPS 6816 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6405.816
AT ITER 1357 NEW BEST:: SOT 16688 SOS 6813 HAS SOPS 6813 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6402.813
AT ITER 1361 NEW BEST:: SOT 16685 SOS 6810 HAS SOPS 6810 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6399.81
AT ITER 1379 NEW BEST:: SOT 16623 SOS 6790 HAS SOPS 6790 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6379.79
AT ITER 1398 NEW BEST:: SOT 16642 SOS 6809 HAS SOPS 6809 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6378.809
AT ITER 1421 NEW BEST:: SOT 16643 SOS 6810 HAS SOPS 6810 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6374.81
AT ITER 1423 NEW BEST:: SOT 16643 SOS 6741 HAS SOPS 6741 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6297.741
AT ITER 1438 NEW BEST:: SOT 16643 SOS 6701 HAS SOPS 6701 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6257.701
AT ITER 1470 NEW BEST:: SOT 16637 SOS 6678 HAS SOPS 6678 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6231.678
AT ITER 1473 NEW BEST:: SOT 16629 SOS 6670 HAS SOPS 6670 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6223.67
AT ITER 1492 NEW BEST:: SOT 16642 SOS 6669 HAS SOPS 6669 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6222.669
AT ITER 1494 NEW BEST:: SOT 16637 SOS 6662 HAS SOPS 6662 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6213.662
AT ITER 1497 NEW BEST:: SOT 16637 SOS 6650 HAS SOPS 6650 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6207.65
AT ITER 1507 NEW BEST:: SOT 16626 SOS 6632 HAS SOPS 6632 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.632
AT ITER 1517 NEW BEST:: SOT 16626 SOS 6630 HAS SOPS 6630 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6187.63
AT ITER 1520 NEW BEST:: SOT 16585 SOS 6589 HAS SOPS 6589 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6146.589
AT ITER 1585 NEW BEST:: SOT 16583 SOS 6583 HAS SOPS 6583 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6140.583
AT ITER 1603 NEW BEST:: SOT 16581 SOS 6582 HAS SOPS 6582 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6139.582
AT ITER 1606 NEW BEST:: SOT 16581 SOS 6561 HAS SOPS 6561 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.561
AT ITER 1638 NEW BEST:: SOT 16581 SOS 6556 HAS SOPS 6556 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6113.556
AT ITER 1647 NEW BEST:: SOT 16560 SOS 6508 HAS SOPS 6508 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6081.508
AT ITER 1670 NEW BEST:: SOT 16546 SOS 6472 HAS SOPS 6472 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6045.472
AT ITER 1694 NEW BEST:: SOT 16541 SOS 6449 HAS SOPS 6449 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6034.449
AT ITER 1698 NEW BEST:: SOT 16535 SOS 6434 HAS SOPS 6434 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6019.434
AT ITER 1704 NEW BEST:: SOT 16535 SOS 6425 HAS SOPS 6425 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6016.425
AT ITER 1714 NEW BEST:: SOT 16523 SOS 6401 HAS SOPS 6401 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5992.401
AT ITER 1736 NEW BEST:: SOT 16519 SOS 6393 HAS SOPS 6393 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5986.393
AT ITER 1770 NEW BEST:: SOT 16507 SOS 6363 HAS SOPS 6363 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5962.363
AT ITER 1778 NEW BEST:: SOT 16474 SOS 6330 HAS SOPS 6330 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5929.33
AT ITER 1817 NEW BEST:: SOT 16474 SOS 6318 HAS SOPS 6318 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.318
AT ITER 1896 NEW BEST:: SOT 16474 SOS 6317 HAS SOPS 6317 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5916.317
AT ITER 1937 NEW BEST:: SOT 16468 SOS 6305 HAS SOPS 6305 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5910.305
AT ITER 1965 NEW BEST:: SOT 16474 SOS 6315 HAS SOPS 6315 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5905.315
AT ITER 1999 NEW BEST:: SOT 16454 SOS 6295 HAS SOPS 6295 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5875.295
AT ITER 2003 NEW BEST:: SOT 16452 SOS 6293 HAS SOPS 6293 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5873.293
AT ITER 2010 NEW BEST:: SOT 16447 SOS 6283 HAS SOPS 6283 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5863.283
AT ITER 2036 NEW BEST:: SOT 16431 SOS 6264 HAS SOPS 6264 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.264
AT ITER 2058 NEW BEST:: SOT 16404 SOS 6160 HAS SOPS 6160 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.16
AT ITER 2064 NEW BEST:: SOT 16392 SOS 6121 HAS SOPS 6121 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.121
AT ITER 2083 NEW BEST:: SOT 16380 SOS 6103 HAS SOPS 6103 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5718.103
AT ITER 2117 NEW BEST:: SOT 16377 SOS 6061 HAS SOPS 6061 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5693.061
AT ITER 2132 NEW BEST:: SOT 16377 SOS 6055 HAS SOPS 6055 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.055
AT ITER 2153 NEW BEST:: SOT 16375 SOS 6053 HAS SOPS 6053 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.053
AT ITER 2171 NEW BEST:: SOT 16373 SOS 6043 HAS SOPS 6043 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.043
AT ITER 2174 NEW BEST:: SOT 16370 SOS 6040 HAS SOPS 6040 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5669.04
AT ITER 2177 NEW BEST:: SOT 16369 SOS 6039 HAS SOPS 6039 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5668.039
AT ITER 2182 NEW BEST:: SOT 16367 SOS 6037 HAS SOPS 6037 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.037
AT ITER 2200 NEW BEST:: SOT 16349 SOS 6010 HAS SOPS 6010 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.01
AT ITER 2220 NEW BEST:: SOT 16347 SOS 6005 HAS SOPS 6005 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.005
AT ITER 2225 NEW BEST:: SOT 16347 SOS 5998 HAS SOPS 5998 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5626.998
AT ITER 2254 NEW BEST:: SOT 16344 SOS 5993 HAS SOPS 5993 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5621.993
AT ITER 2288 NEW BEST:: SOT 16344 SOS 5990 HAS SOPS 5990 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5620.99
AT ITER 2339 NEW BEST:: SOT 16344 SOS 5996 HAS SOPS 5996 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5597.996
AT ITER 2420 NEW BEST:: SOT 16344 SOS 5995 HAS SOPS 5995 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5596.995
AT ITER 2421 NEW BEST:: SOT 16342 SOS 5986 HAS SOPS 5986 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5595.986
AT ITER 2436 NEW BEST:: SOT 16336 SOS 5978 HAS SOPS 5978 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5587.978
AT ITER 2459 NEW BEST:: SOT 16316 SOS 5926 HAS SOPS 5926 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5535.926
AT ITER 2482 NEW BEST:: SOT 16313 SOS 5915 HAS SOPS 5915 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5527.915
AT ITER 2492 NEW BEST:: SOT 16311 SOS 5901 HAS SOPS 5901 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5516.901
AT ITER 2510 NEW BEST:: SOT 16298 SOS 5889 HAS SOPS 5889 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5504.889
AT ITER 2522 NEW BEST:: SOT 16292 SOS 5871 HAS SOPS 5871 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5486.871
AT ITER 2630 NEW BEST:: SOT 16287 SOS 5866 HAS SOPS 5866 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5481.866
AT ITER 2654 NEW BEST:: SOT 16254 SOS 5822 HAS SOPS 5822 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5455.822
AT ITER 2659 NEW BEST:: SOT 16255 SOS 5838 HAS SOPS 5838 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5452.838
AT ITER 2676 NEW BEST:: SOT 16241 SOS 5833 HAS SOPS 5833 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5447.833
AT ITER 2705 NEW BEST:: SOT 16240 SOS 5830 HAS SOPS 5830 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5444.83
AT ITER 2734 NEW BEST:: SOT 16240 SOS 5824 HAS SOPS 5824 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5432.824
AT ITER 2742 NEW BEST:: SOT 16236 SOS 5816 HAS SOPS 5816 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5430.816
AT ITER 2773 NEW BEST:: SOT 16243 SOS 5785 HAS SOPS 5785 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5397.785
AT ITER 2782 NEW BEST:: SOT 16214 SOS 5742 HAS SOPS 5742 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5396.742
AT ITER 2803 NEW BEST:: SOT 16202 SOS 5736 HAS SOPS 5736 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5391.736
AT ITER 2821 NEW BEST:: SOT 16201 SOS 5713 HAS SOPS 5713 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5381.713
AT ITER 2841 NEW BEST:: SOT 16185 SOS 5706 HAS SOPS 5706 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5370.706
AT ITER 2843 NEW BEST:: SOT 16179 SOS 5687 HAS SOPS 5687 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5362.687
AT ITER 2848 NEW BEST:: SOT 16168 SOS 5676 HAS SOPS 5676 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5351.676
AT ITER 2872 NEW BEST:: SOT 16152 SOS 5656 HAS SOPS 5656 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5331.656
AT ITER 2888 NEW BEST:: SOT 16154 SOS 5653 HAS SOPS 5653 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5328.653
AT ITER 2931 NEW BEST:: SOT 16153 SOS 5641 HAS SOPS 5641 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5316.641
AT ITER 2953 NEW BEST:: SOT 16146 SOS 5616 HAS SOPS 5616 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5302.616
AT ITER 2960 NEW BEST:: SOT 16147 SOS 5606 HAS SOPS 5606 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5296.606
AT ITER 2976 NEW BEST:: SOT 16145 SOS 5604 HAS SOPS 5604 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.604
AT ITER 3022 NEW BEST:: SOT 16141 SOS 5600 HAS SOPS 5600 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5292.6
AT ITER 3119 NEW BEST:: SOT 16141 SOS 5592 HAS SOPS 5592 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5284.592
AT ITER 3139 NEW BEST:: SOT 16141 SOS 5589 HAS SOPS 5589 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5281.589
AT ITER 3140 NEW BEST:: SOT 16135 SOS 5577 HAS SOPS 5577 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5269.577
AT ITER 3181 NEW BEST:: SOT 16143 SOS 5578 HAS SOPS 5578 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.578
AT ITER 3188 NEW BEST:: SOT 16141 SOS 5574 HAS SOPS 5574 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5262.574
AT ITER 3221 NEW BEST:: SOT 16139 SOS 5570 HAS SOPS 5570 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5258.57
AT ITER 3310 NEW BEST:: SOT 16135 SOS 5566 HAS SOPS 5566 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.566
AT ITER 3322 NEW BEST:: SOT 16131 SOS 5562 HAS SOPS 5562 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5250.562
AT ITER 3330 NEW BEST:: SOT 16126 SOS 5557 HAS SOPS 5557 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5245.557
AT ITER 3341 NEW BEST:: SOT 16125 SOS 5554 HAS SOPS 5554 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5242.554
AT ITER 3346 NEW BEST:: SOT 16125 SOS 5552 HAS SOPS 5552 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.552
AT ITER 3419 NEW BEST:: SOT 16123 SOS 5550 HAS SOPS 5550 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5238.55
AT ITER 3430 NEW BEST:: SOT 16121 SOS 5546 HAS SOPS 5546 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5234.546
AT ITER 3509 NEW BEST:: SOT 16120 SOS 5544 HAS SOPS 5544 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5233.544
AT ITER 3516 NEW BEST:: SOT 16115 SOS 5533 HAS SOPS 5533 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5220.533
AT ITER 3529 NEW BEST:: SOT 16106 SOS 5523 HAS SOPS 5523 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5208.523
AT ITER 3569 NEW BEST:: SOT 16111 SOS 5516 HAS SOPS 5516 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5201.516
AT ITER 3571 NEW BEST:: SOT 16101 SOS 5506 HAS SOPS 5506 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5196.506
AT ITER 3639 NEW BEST:: SOT 16099 SOS 5504 HAS SOPS 5504 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.504
AT ITER 3758 NEW BEST:: SOT 16095 SOS 5494 HAS SOPS 5494 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5184.494
AT ITER 3761 NEW BEST:: SOT 16094 SOS 5493 HAS SOPS 5493 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5183.493
AT ITER 3808 NEW BEST:: SOT 16093 SOS 5510 HAS SOPS 5510 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5178.51
AT ITER 3854 NEW BEST:: SOT 16090 SOS 5504 HAS SOPS 5504 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.504
AT ITER 3866 NEW BEST:: SOT 16091 SOS 5457 HAS SOPS 5457 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5128.457
AT ITER 3925 NEW BEST:: SOT 16072 SOS 5427 HAS SOPS 5427 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5098.427
AT ITER 3945 NEW BEST:: SOT 16070 SOS 5436 HAS SOPS 5436 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5096.436
AT ITER 3967 NEW BEST:: SOT 16064 SOS 5424 HAS SOPS 5424 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5090.424
AT ITER 4033 NEW BEST:: SOT 16064 SOS 5424 HAS SOPS 5424 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5089.424
AT ITER 4036 NEW BEST:: SOT 16052 SOS 5385 HAS SOPS 5385 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5068.385
AT ITER 4047 NEW BEST:: SOT 16041 SOS 5353 HAS SOPS 5353 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5034.353
AT ITER 4049 NEW BEST:: SOT 16032 SOS 5344 HAS SOPS 5344 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5025.344
AT ITER 4080 NEW BEST:: SOT 16029 SOS 5341 HAS SOPS 5341 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.341
AT ITER 4119 NEW BEST:: SOT 16020 SOS 5329 HAS SOPS 5329 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5010.329
AT ITER 4149 NEW BEST:: SOT 16019 SOS 5325 HAS SOPS 5325 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5008.325
AT ITER 4208 NEW BEST:: SOT 16022 SOS 5325 HAS SOPS 5325 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.325
AT ITER 4217 NEW BEST:: SOT 16019 SOS 5321 HAS SOPS 5321 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5002.321
AT ITER 4289 NEW BEST:: SOT 16019 SOS 5309 HAS SOPS 5309 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4990.309
AT ITER 4312 NEW BEST:: SOT 16044 SOS 5328 HAS SOPS 5328 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.328
AT ITER 4381 NEW BEST:: SOT 16044 SOS 5322 HAS SOPS 5322 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.322
AT ITER 4388 NEW BEST:: SOT 16044 SOS 5320 HAS SOPS 5320 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4986.32
AT ITER 4411 NEW BEST:: SOT 16048 SOS 5312 HAS SOPS 5312 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.312
AT ITER 4435 NEW BEST:: SOT 16048 SOS 5310 HAS SOPS 5310 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.31
AT ITER 4437 NEW BEST:: SOT 16050 SOS 5306 HAS SOPS 5306 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.306
AT ITER 4440 NEW BEST:: SOT 16050 SOS 5306 HAS SOPS 5306 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.306
AT ITER 4473 NEW BEST:: SOT 16035 SOS 5251 HAS SOPS 5251 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.251
AT ITER 4503 NEW BEST:: SOT 16033 SOS 5249 HAS SOPS 5249 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.249
AT ITER 4538 NEW BEST:: SOT 16032 SOS 5247 HAS SOPS 5247 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4938.247
AT ITER 4550 NEW BEST:: SOT 16007 SOS 5218 HAS SOPS 5218 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.218
AT ITER 4684 NEW BEST:: SOT 16007 SOS 5215 HAS SOPS 5215 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.215
AT ITER 4741 NEW BEST:: SOT 16007 SOS 5214 HAS SOPS 5214 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4916.214
AT ITER 4784 NEW BEST:: SOT 16004 SOS 5212 HAS SOPS 5212 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.212
AT ITER 4792 NEW BEST:: SOT 16011 SOS 5199 HAS SOPS 5199 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.199
AT ITER 4818 NEW BEST:: SOT 16012 SOS 5198 HAS SOPS 5198 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.198
AT ITER 4826 NEW BEST:: SOT 16008 SOS 5191 HAS SOPS 5191 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.191
AT ITER 4845 NEW BEST:: SOT 16005 SOS 5188 HAS SOPS 5188 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4895.188
AT ITER 4891 NEW BEST:: SOT 16004 SOS 5186 HAS SOPS 5186 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4895.186
AT ITER 4902 NEW BEST:: SOT 16006 SOS 5186 HAS SOPS 5186 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4889.186
AT ITER 4905 NEW BEST:: SOT 16004 SOS 5182 HAS SOPS 5182 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4885.182
AT ITER 4907 NEW BEST:: SOT 16012 SOS 5177 HAS SOPS 5177 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4884.177
AT ITER 4942 NEW BEST:: SOT 16016 SOS 5178 HAS SOPS 5178 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.178
AT ITER 4989 NEW BEST:: SOT 16018 SOS 5176 HAS SOPS 5176 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.176
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-00 ( potential( (tk(P60)) <= (tk(P109)) ) & (! (EF(( potential( ( 3 ) <= (tk(P111)) ) & potential( (tk(P192)) <= (tk(P124)) ) )))) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-01 (EF((! (EF(potential( (tk(P55)) <= (tk(P98)) ))))))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-02 ( (EF(( ( potential( ( 2 ) <= (tk(P94)) ) & potential( (tk(P177)) <= (tk(P146)) ) ) | (! potential( (tk(P85)) <= (tk(P153)) )) ))) | ( (AG( ( potential( (tk(P170)) <= (tk(P145)) ) | potential( (tk(P112)) <= (tk(P3)) ) ))) | (! (AG( potential( (tk(P91)) <= (tk(P29)) )))) ) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-03 (EF(( (! potential( (tk(P161)) <= (tk(P127)) )) & (EX( potential( ( 3 ) <= (tk(P152)) ))) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-04 ( (AX( (EF(potential( ( 3 ) <= (tk(P18)) ))))) & (! ( (EF(potential( (tk(P143)) <= (tk(P84)) ))) & (! potential( (tk(P124)) <= (tk(P193)) )) )) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-05 (! (EF((AG( potential( (tk(P58)) <= (tk(P17)) ))))))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-06 (EF(potential( ( 3 ) <= (tk(P66)) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-07 (! ( (AF(potential( ( 1 ) <= (tk(P118)) ))) & ( ( ( potential( ( 1 ) <= (tk(P146)) ) & potential( (tk(P100)) <= (tk(P51)) ) ) | ( potential( (tk(P37)) <= (tk(P79)) ) & potential( ( 2 ) <= (tk(P2)) ) ) ) | (EF(potential( ( 2 ) <= (tk(P44)) ))) ) ))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-08 ( ( (AX( ( potential( (tk(P11)) <= (tk(P193)) ) | potential( (tk(P193)) <= (tk(P125)) ) ))) | ( ( ( potential( ( 1 ) <= (tk(P78)) ) | potential( ( 1 ) <= (tk(P14)) ) ) | (! potential( ( 3 ) <= (tk(P127)) )) ) & (EG( potential( ( 3 ) <= (tk(P63)) ))) ) ) & (AG( (EX( potential( (tk(P124)) <= (tk(P90)) ))))) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-09 (EF(( (EX( potential( (tk(P140)) <= (tk(P119)) ))) & ( ( potential( ( 2 ) <= (tk(P3)) ) | potential( ( 2 ) <= (tk(P133)) ) ) & (! potential( (tk(P82)) <= (tk(P39)) )) ) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-10 (EF(potential( ( 3 ) <= (tk(P137)) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-11 (AG( potential( (tk(P133)) <= (tk(P99)) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-12 (EF(potential( ( 1 ) <= (tk(P105)) )))
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-13 ( ( potential( ( 3 ) <= (tk(P32)) ) & (EX( ( potential( (tk(P67)) <= (tk(P128)) ) & potential( (tk(P103)) <= (tk(P117)) ) ))) ) | (EF(potential( ( 2 ) <= (tk(P169)) ))) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-14 ( ( (! (! ( potential( ( 1 ) <= (tk(P9)) ) | potential( (tk(P36)) <= (tk(P119)) ) ))) | (EU( potential( ( 2 ) <= (tk(P129)) ),potential( ( 2 ) <= (tk(P3)) ) )) ) & (AG( potential( (tk(P107)) <= (tk(P19)) ))) )
PROPERTY: ShieldIIPt-PT-010A-CTLCardinality-15 (EF(( ( potential( ( 1 ) <= (tk(P7)) ) & potential( (tk(P60)) <= (tk(P114)) ) ) & (AG( potential( (tk(P60)) <= (tk(P50)) ))) )))

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-010A"
export BK_EXAMINATION="CTLCardinality"
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-010A, examination is CTLCardinality"
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-159033469300299"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-010A.tgz
mv ShieldIIPt-PT-010A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;