Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502900432.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Referendum-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502900432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 42K Apr 12 08:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 140K Apr 12 08:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 28K Apr 11 09:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 150K Apr 11 09:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 51K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 172K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 34K Apr 10 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Apr 10 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 32K Apr 9 21:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 171K Apr 9 21:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 113K Mar 24 05:38 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 1589835412890

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

Filename model.pnml
Petri model created: 301 places, 201 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 50005 SOS 29707 HAS SOPS 29707 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29736.707
AT ITER 4 NEW BEST:: SOT 49807 SOS 29526 HAS SOPS 29526 HAS SOUS 29526 HAS SOUPS 29526 WITH SCORE 29555.526
AT ITER 5 NEW BEST:: SOT 49609 SOS 29243 HAS SOPS 29243 HAS SOUS 29243 HAS SOUPS 29243 WITH SCORE 29272.243
AT ITER 7 NEW BEST:: SOT 49383 SOS 28960 HAS SOPS 28960 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28988.96
AT ITER 8 NEW BEST:: SOT 49185 SOS 28666 HAS SOPS 28666 HAS SOUS 28666 HAS SOUPS 28666 WITH SCORE 28694.666
AT ITER 9 NEW BEST:: SOT 48911 SOS 28397 HAS SOPS 28397 HAS SOUS 28374 HAS SOUPS 28374 WITH SCORE 28402.397
AT ITER 12 NEW BEST:: SOT 48837 SOS 28323 HAS SOPS 28323 HAS SOUS 28300 HAS SOUPS 28300 WITH SCORE 28328.323
AT ITER 13 NEW BEST:: SOT 48556 SOS 27975 HAS SOPS 27975 HAS SOUS 27936 HAS SOUPS 27936 WITH SCORE 27963.975
AT ITER 17 NEW BEST:: SOT 48274 SOS 27640 HAS SOPS 27640 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27613.64
AT ITER 24 NEW BEST:: SOT 48216 SOS 27763 HAS SOPS 27763 HAS SOUS 27569 HAS SOUPS 27569 WITH SCORE 27596.763
AT ITER 25 NEW BEST:: SOT 47950 SOS 27470 HAS SOPS 27470 HAS SOUS 27245 HAS SOUPS 27245 WITH SCORE 27272.47
AT ITER 30 NEW BEST:: SOT 47896 SOS 27416 HAS SOPS 27416 HAS SOUS 27191 HAS SOUPS 27191 WITH SCORE 27218.416
AT ITER 31 NEW BEST:: SOT 47607 SOS 27028 HAS SOPS 27028 HAS SOUS 26803 HAS SOUPS 26803 WITH SCORE 26830.028
AT ITER 34 NEW BEST:: SOT 47427 SOS 26758 HAS SOPS 26758 HAS SOUS 26533 HAS SOUPS 26533 WITH SCORE 26559.758
AT ITER 35 NEW BEST:: SOT 47229 SOS 26488 HAS SOPS 26488 HAS SOUS 26263 HAS SOUPS 26263 WITH SCORE 26289.488
AT ITER 36 NEW BEST:: SOT 47213 SOS 26456 HAS SOPS 26456 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26257.456
AT ITER 38 NEW BEST:: SOT 47143 SOS 26316 HAS SOPS 26316 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26117.316
AT ITER 39 NEW BEST:: SOT 47058 SOS 26260 HAS SOPS 26260 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26032.26
AT ITER 40 NEW BEST:: SOT 47058 SOS 26244 HAS SOPS 26244 HAS SOUS 26006 HAS SOUPS 26006 WITH SCORE 26032.244
AT ITER 41 NEW BEST:: SOT 47043 SOS 26214 HAS SOPS 26214 HAS SOUS 25976 HAS SOUPS 25976 WITH SCORE 26002.214
AT ITER 42 NEW BEST:: SOT 46929 SOS 26211 HAS SOPS 26211 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25841.211
AT ITER 43 NEW BEST:: SOT 46920 SOS 26193 HAS SOPS 26193 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25823.193
AT ITER 46 NEW BEST:: SOT 46840 SOS 26259 HAS SOPS 26259 HAS SOUS 25745 HAS SOUPS 25745 WITH SCORE 25771.259
AT ITER 48 NEW BEST:: SOT 46795 SOS 26005 HAS SOPS 26005 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25635.005
AT ITER 53 NEW BEST:: SOT 46617 SOS 25738 HAS SOPS 25738 HAS SOUS 25342 HAS SOUPS 25342 WITH SCORE 25367.738
AT ITER 54 NEW BEST:: SOT 46419 SOS 25533 HAS SOPS 25533 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25162.533
AT ITER 56 NEW BEST:: SOT 46383 SOS 25461 HAS SOPS 25461 HAS SOUS 25065 HAS SOUPS 25065 WITH SCORE 25090.461
AT ITER 59 NEW BEST:: SOT 46370 SOS 25435 HAS SOPS 25435 HAS SOUS 25052 HAS SOUPS 25052 WITH SCORE 25077.435
AT ITER 61 NEW BEST:: SOT 46216 SOS 25320 HAS SOPS 25320 HAS SOUS 24893 HAS SOUPS 24893 WITH SCORE 24918.32
AT ITER 62 NEW BEST:: SOT 46018 SOS 25050 HAS SOPS 25050 HAS SOUS 24623 HAS SOUPS 24623 WITH SCORE 24648.05
AT ITER 63 NEW BEST:: SOT 45723 SOS 24656 HAS SOPS 24656 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24253.656
AT ITER 64 NEW BEST:: SOT 45604 SOS 24550 HAS SOPS 24550 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24124.55
AT ITER 68 NEW BEST:: SOT 45335 SOS 24238 HAS SOPS 24238 HAS SOUS 23732 HAS SOUPS 23732 WITH SCORE 23756.238
AT ITER 70 NEW BEST:: SOT 45137 SOS 24023 HAS SOPS 24023 HAS SOUS 23517 HAS SOUPS 23517 WITH SCORE 23541.023
AT ITER 72 NEW BEST:: SOT 44939 SOS 23801 HAS SOPS 23801 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23318.801
AT ITER 73 NEW BEST:: SOT 44732 SOS 23581 HAS SOPS 23581 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23098.581
AT ITER 76 NEW BEST:: SOT 44600 SOS 23383 HAS SOPS 23383 HAS SOUS 22877 HAS SOUPS 22877 WITH SCORE 22900.383
AT ITER 77 NEW BEST:: SOT 44525 SOS 23233 HAS SOPS 23233 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22750.233
AT ITER 80 NEW BEST:: SOT 44490 SOS 23163 HAS SOPS 23163 HAS SOUS 22685 HAS SOUPS 22685 WITH SCORE 22708.163
AT ITER 82 NEW BEST:: SOT 44405 SOS 23078 HAS SOPS 23078 HAS SOUS 22600 HAS SOUPS 22600 WITH SCORE 22623.078
AT ITER 83 NEW BEST:: SOT 44314 SOS 22896 HAS SOPS 22896 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22440.896
AT ITER 84 NEW BEST:: SOT 44272 SOS 22812 HAS SOPS 22812 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22377.812
AT ITER 87 NEW BEST:: SOT 44244 SOS 22756 HAS SOPS 22756 HAS SOUS 22299 HAS SOUPS 22299 WITH SCORE 22321.756
AT ITER 89 NEW BEST:: SOT 44090 SOS 22556 HAS SOPS 22556 HAS SOUS 22099 HAS SOUPS 22099 WITH SCORE 22121.556
AT ITER 95 NEW BEST:: SOT 43825 SOS 22256 HAS SOPS 22256 HAS SOUS 21767 HAS SOUPS 21767 WITH SCORE 21789.256
AT ITER 98 NEW BEST:: SOT 43691 SOS 22122 HAS SOPS 22122 HAS SOUS 21633 HAS SOUPS 21633 WITH SCORE 21655.122
AT ITER 99 NEW BEST:: SOT 43637 SOS 22041 HAS SOPS 22041 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21574.041
AT ITER 104 NEW BEST:: SOT 43610 SOS 22014 HAS SOPS 22014 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21547.014
AT ITER 105 NEW BEST:: SOT 43538 SOS 21976 HAS SOPS 21976 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21508.976
AT ITER 106 NEW BEST:: SOT 43467 SOS 21915 HAS SOPS 21915 HAS SOUS 21426 HAS SOUPS 21426 WITH SCORE 21447.915
AT ITER 111 NEW BEST:: SOT 43414 SOS 21809 HAS SOPS 21809 HAS SOUS 21320 HAS SOUPS 21320 WITH SCORE 21341.809
AT ITER 115 NEW BEST:: SOT 43185 SOS 21481 HAS SOPS 21481 HAS SOUS 20992 HAS SOUPS 20992 WITH SCORE 21013.481
AT ITER 120 NEW BEST:: SOT 43178 SOS 21509 HAS SOPS 21509 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21006.509
AT ITER 121 NEW BEST:: SOT 43159 SOS 21490 HAS SOPS 21490 HAS SOUS 20966 HAS SOUPS 20966 WITH SCORE 20987.49
AT ITER 124 NEW BEST:: SOT 42999 SOS 21330 HAS SOPS 21330 HAS SOUS 20806 HAS SOUPS 20806 WITH SCORE 20827.33
AT ITER 125 NEW BEST:: SOT 42900 SOS 21256 HAS SOPS 21256 HAS SOUS 20732 HAS SOUPS 20732 WITH SCORE 20753.256
AT ITER 134 NEW BEST:: SOT 42801 SOS 21239 HAS SOPS 21239 HAS SOUS 20616 HAS SOUPS 20616 WITH SCORE 20637.239
AT ITER 135 NEW BEST:: SOT 42737 SOS 21111 HAS SOPS 21111 HAS SOUS 20552 HAS SOUPS 20552 WITH SCORE 20573.111
AT ITER 138 NEW BEST:: SOT 42691 SOS 21042 HAS SOPS 21042 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20504.042
AT ITER 139 NEW BEST:: SOT 42422 SOS 20730 HAS SOPS 20730 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20163.73
AT ITER 140 NEW BEST:: SOT 42412 SOS 20561 HAS SOPS 20561 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20124.561
AT ITER 144 NEW BEST:: SOT 42246 SOS 20229 HAS SOPS 20229 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19859.229
AT ITER 148 NEW BEST:: SOT 42074 SOS 20082 HAS SOPS 20082 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19712.082
AT ITER 149 NEW BEST:: SOT 41975 SOS 19884 HAS SOPS 19884 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19513.884
AT ITER 152 NEW BEST:: SOT 41954 SOS 19842 HAS SOPS 19842 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19461.842
AT ITER 153 NEW BEST:: SOT 41694 SOS 19483 HAS SOPS 19483 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19102.483
AT ITER 154 NEW BEST:: SOT 41498 SOS 19189 HAS SOPS 19189 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18808.189
AT ITER 155 NEW BEST:: SOT 41237 SOS 18901 HAS SOPS 18901 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18483.901
AT ITER 157 NEW BEST:: SOT 41237 SOS 18890 HAS SOPS 18890 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18483.89
AT ITER 159 NEW BEST:: SOT 41110 SOS 18636 HAS SOPS 18636 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18257.636
AT ITER 161 NEW BEST:: SOT 41102 SOS 18628 HAS SOPS 18628 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18249.628
AT ITER 163 NEW BEST:: SOT 40806 SOS 18235 HAS SOPS 18235 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17855.235
AT ITER 168 NEW BEST:: SOT 40806 SOS 18166 HAS SOPS 18166 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17786.166
AT ITER 169 NEW BEST:: SOT 40681 SOS 18071 HAS SOPS 18071 HAS SOUS 17617 HAS SOUPS 17617 WITH SCORE 17635.071
AT ITER 170 NEW BEST:: SOT 40516 SOS 17911 HAS SOPS 17911 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17403.911
AT ITER 171 NEW BEST:: SOT 40281 SOS 17577 HAS SOPS 17577 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17069.577
AT ITER 174 NEW BEST:: SOT 40204 SOS 17423 HAS SOPS 17423 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16915.423
AT ITER 178 NEW BEST:: SOT 40204 SOS 17416 HAS SOPS 17416 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16915.416
AT ITER 180 NEW BEST:: SOT 40144 SOS 17296 HAS SOPS 17296 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16795.296
AT ITER 185 NEW BEST:: SOT 40116 SOS 17240 HAS SOPS 17240 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16739.24
AT ITER 187 NEW BEST:: SOT 40093 SOS 17194 HAS SOPS 17194 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16693.194
AT ITER 189 NEW BEST:: SOT 40068 SOS 17144 HAS SOPS 17144 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16643.144
AT ITER 190 NEW BEST:: SOT 40032 SOS 17151 HAS SOPS 17151 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16622.151
AT ITER 192 NEW BEST:: SOT 40015 SOS 17141 HAS SOPS 17141 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16612.141
AT ITER 194 NEW BEST:: SOT 40001 SOS 17113 HAS SOPS 17113 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16584.113
AT ITER 195 NEW BEST:: SOT 39968 SOS 17047 HAS SOPS 17047 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16518.047
AT ITER 196 NEW BEST:: SOT 39940 SOS 16991 HAS SOPS 16991 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16461.991
AT ITER 198 NEW BEST:: SOT 39938 SOS 16987 HAS SOPS 16987 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16459.987
AT ITER 200 NEW BEST:: SOT 39922 SOS 16971 HAS SOPS 16971 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16443.971
AT ITER 202 NEW BEST:: SOT 39808 SOS 16800 HAS SOPS 16800 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16272.8
AT ITER 205 NEW BEST:: SOT 39765 SOS 16741 HAS SOPS 16741 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16213.741
AT ITER 206 NEW BEST:: SOT 39666 SOS 16639 HAS SOPS 16639 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16111.639
AT ITER 211 NEW BEST:: SOT 39601 SOS 16749 HAS SOPS 16749 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16039.749
AT ITER 213 NEW BEST:: SOT 39515 SOS 16577 HAS SOPS 16577 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15867.577
AT ITER 214 NEW BEST:: SOT 39500 SOS 16584 HAS SOPS 16584 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15852.584
AT ITER 215 NEW BEST:: SOT 39477 SOS 16538 HAS SOPS 16538 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15806.538
AT ITER 217 NEW BEST:: SOT 39405 SOS 16394 HAS SOPS 16394 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15662.394
AT ITER 221 NEW BEST:: SOT 39391 SOS 16366 HAS SOPS 16366 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15641.366
AT ITER 222 NEW BEST:: SOT 39375 SOS 16334 HAS SOPS 16334 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15625.334
AT ITER 223 NEW BEST:: SOT 39375 SOS 16284 HAS SOPS 16284 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15575.284
AT ITER 224 NEW BEST:: SOT 39359 SOS 16252 HAS SOPS 16252 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15559.252
AT ITER 230 NEW BEST:: SOT 39384 SOS 16174 HAS SOPS 16174 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15513.174
AT ITER 239 NEW BEST:: SOT 39332 SOS 16113 HAS SOPS 16113 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15452.113
AT ITER 243 NEW BEST:: SOT 39332 SOS 16105 HAS SOPS 16105 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15444.105
AT ITER 245 NEW BEST:: SOT 39270 SOS 15981 HAS SOPS 15981 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15319.981
AT ITER 247 NEW BEST:: SOT 39267 SOS 15975 HAS SOPS 15975 HAS SOUS 15298 HAS SOUPS 15298 WITH SCORE 15313.975
AT ITER 248 NEW BEST:: SOT 39257 SOS 15955 HAS SOPS 15955 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15303.955
AT ITER 257 NEW BEST:: SOT 39257 SOS 15947 HAS SOPS 15947 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15303.947
AT ITER 262 NEW BEST:: SOT 39158 SOS 15749 HAS SOPS 15749 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15105.749
AT ITER 264 NEW BEST:: SOT 39104 SOS 15690 HAS SOPS 15690 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15046.69
AT ITER 267 NEW BEST:: SOT 39043 SOS 15568 HAS SOPS 15568 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14924.568
AT ITER 275 NEW BEST:: SOT 38966 SOS 15414 HAS SOPS 15414 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14770.414
AT ITER 276 NEW BEST:: SOT 38943 SOS 15399 HAS SOPS 15399 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14747.399
AT ITER 278 NEW BEST:: SOT 38943 SOS 15368 HAS SOPS 15368 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14716.368
AT ITER 288 NEW BEST:: SOT 38849 SOS 15180 HAS SOPS 15180 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14642.18
AT ITER 293 NEW BEST:: SOT 38848 SOS 15141 HAS SOPS 15141 HAS SOUS 14606 HAS SOUPS 14606 WITH SCORE 14621.141
AT ITER 297 NEW BEST:: SOT 38787 SOS 15223 HAS SOPS 15223 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14560.223
AT ITER 299 NEW BEST:: SOT 38715 SOS 15142 HAS SOPS 15142 HAS SOUS 14464 HAS SOUPS 14464 WITH SCORE 14479.142
AT ITER 300 NEW BEST:: SOT 38518 SOS 14922 HAS SOPS 14922 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14258.922
AT ITER 304 NEW BEST:: SOT 38462 SOS 14885 HAS SOPS 14885 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14171.885
AT ITER 305 NEW BEST:: SOT 38422 SOS 14845 HAS SOPS 14845 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14131.845
AT ITER 309 NEW BEST:: SOT 38323 SOS 14791 HAS SOPS 14791 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14050.791
AT ITER 310 NEW BEST:: SOT 38323 SOS 14791 HAS SOPS 14791 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14012.791
AT ITER 313 NEW BEST:: SOT 38309 SOS 14770 HAS SOPS 14770 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 13991.77
AT ITER 315 NEW BEST:: SOT 38257 SOS 14692 HAS SOPS 14692 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13913.692
AT ITER 321 NEW BEST:: SOT 38195 SOS 14568 HAS SOPS 14568 HAS SOUS 13837 HAS SOUPS 13837 WITH SCORE 13851.568
AT ITER 326 NEW BEST:: SOT 38052 SOS 14446 HAS SOPS 14446 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13686.446
AT ITER 331 NEW BEST:: SOT 37996 SOS 14334 HAS SOPS 14334 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13610.334
AT ITER 332 NEW BEST:: SOT 37881 SOS 14104 HAS SOPS 14104 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13464.104
AT ITER 333 NEW BEST:: SOT 37858 SOS 14081 HAS SOPS 14081 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13441.081
AT ITER 339 NEW BEST:: SOT 37747 SOS 13859 HAS SOPS 13859 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13251.859
AT ITER 342 NEW BEST:: SOT 37746 SOS 13857 HAS SOPS 13857 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13249.857
AT ITER 344 NEW BEST:: SOT 37698 SOS 13875 HAS SOPS 13875 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13201.875
AT ITER 352 NEW BEST:: SOT 37682 SOS 13843 HAS SOPS 13843 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13169.843
AT ITER 353 NEW BEST:: SOT 37682 SOS 13822 HAS SOPS 13822 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13169.822
AT ITER 355 NEW BEST:: SOT 37596 SOS 13650 HAS SOPS 13650 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13037.65
AT ITER 364 NEW BEST:: SOT 37561 SOS 13580 HAS SOPS 13580 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12980.58
AT ITER 365 NEW BEST:: SOT 37462 SOS 13382 HAS SOPS 13382 HAS SOUS 12769 HAS SOUPS 12769 WITH SCORE 12782.382
AT ITER 369 NEW BEST:: SOT 37361 SOS 13180 HAS SOPS 13180 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12580.18
AT ITER 374 NEW BEST:: SOT 37361 SOS 13151 HAS SOPS 13151 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12580.151
AT ITER 391 NEW BEST:: SOT 37355 SOS 13145 HAS SOPS 13145 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12574.145
AT ITER 395 NEW BEST:: SOT 37249 SOS 12933 HAS SOPS 12933 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12389.933
AT ITER 396 NEW BEST:: SOT 37182 SOS 12964 HAS SOPS 12964 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12322.964
AT ITER 397 NEW BEST:: SOT 37121 SOS 12842 HAS SOPS 12842 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12200.842
AT ITER 402 NEW BEST:: SOT 36955 SOS 12682 HAS SOPS 12682 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11984.682
AT ITER 405 NEW BEST:: SOT 36927 SOS 12626 HAS SOPS 12626 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11928.626
AT ITER 414 NEW BEST:: SOT 36889 SOS 12613 HAS SOPS 12613 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11890.613
AT ITER 417 NEW BEST:: SOT 36889 SOS 12565 HAS SOPS 12565 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11890.565
AT ITER 418 NEW BEST:: SOT 36876 SOS 12539 HAS SOPS 12539 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11869.539
AT ITER 421 NEW BEST:: SOT 36863 SOS 12513 HAS SOPS 12513 HAS SOUS 11844 HAS SOUPS 11844 WITH SCORE 11856.513
AT ITER 423 NEW BEST:: SOT 36845 SOS 12693 HAS SOPS 12693 HAS SOUS 11824 HAS SOUPS 11824 WITH SCORE 11836.693
AT ITER 424 NEW BEST:: SOT 36838 SOS 12679 HAS SOPS 12679 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11813.679
AT ITER 429 NEW BEST:: SOT 36887 SOS 12614 HAS SOPS 12614 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11812.614
AT ITER 431 NEW BEST:: SOT 36872 SOS 12584 HAS SOPS 12584 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11797.584
AT ITER 432 NEW BEST:: SOT 36866 SOS 12578 HAS SOPS 12578 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11791.578
AT ITER 433 NEW BEST:: SOT 36608 SOS 12258 HAS SOPS 12258 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11471.258
AT ITER 434 NEW BEST:: SOT 36511 SOS 12116 HAS SOPS 12116 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11329.116
AT ITER 445 NEW BEST:: SOT 36432 SOS 11958 HAS SOPS 11958 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11191.958
AT ITER 446 NEW BEST:: SOT 36342 SOS 11861 HAS SOPS 11861 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11094.861
AT ITER 462 NEW BEST:: SOT 36325 SOS 11827 HAS SOPS 11827 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11060.827
AT ITER 468 NEW BEST:: SOT 36312 SOS 11814 HAS SOPS 11814 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11047.814
AT ITER 472 NEW BEST:: SOT 36303 SOS 11796 HAS SOPS 11796 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11029.796
AT ITER 476 NEW BEST:: SOT 36245 SOS 11709 HAS SOPS 11709 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10942.709
AT ITER 477 NEW BEST:: SOT 36232 SOS 11683 HAS SOPS 11683 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10916.683
AT ITER 482 NEW BEST:: SOT 36209 SOS 11637 HAS SOPS 11637 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10870.637
AT ITER 488 NEW BEST:: SOT 36210 SOS 11639 HAS SOPS 11639 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10868.639
AT ITER 489 NEW BEST:: SOT 36186 SOS 11615 HAS SOPS 11615 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10844.615
AT ITER 494 NEW BEST:: SOT 36153 SOS 11549 HAS SOPS 11549 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10778.549
AT ITER 505 NEW BEST:: SOT 36136 SOS 11626 HAS SOPS 11626 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10761.626
AT ITER 506 NEW BEST:: SOT 36022 SOS 11398 HAS SOPS 11398 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10631.398
AT ITER 511 NEW BEST:: SOT 36006 SOS 11366 HAS SOPS 11366 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10615.366
AT ITER 515 NEW BEST:: SOT 35892 SOS 11352 HAS SOPS 11352 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.352
AT ITER 522 NEW BEST:: SOT 35859 SOS 11286 HAS SOPS 11286 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10515.286
AT ITER 523 NEW BEST:: SOT 35689 SOS 11031 HAS SOPS 11031 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10260.031
AT ITER 532 NEW BEST:: SOT 35642 SOS 10937 HAS SOPS 10937 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10165.937
AT ITER 533 NEW BEST:: SOT 35642 SOS 10937 HAS SOPS 10937 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10130.937
AT ITER 536 NEW BEST:: SOT 35624 SOS 10901 HAS SOPS 10901 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10125.901
AT ITER 538 NEW BEST:: SOT 35597 SOS 10847 HAS SOPS 10847 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10071.847
AT ITER 551 NEW BEST:: SOT 35529 SOS 10793 HAS SOPS 10793 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10017.793
AT ITER 556 NEW BEST:: SOT 35486 SOS 10707 HAS SOPS 10707 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9931.707
AT ITER 571 NEW BEST:: SOT 35484 SOS 10720 HAS SOPS 10720 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9929.72
AT ITER 576 NEW BEST:: SOT 35386 SOS 10581 HAS SOPS 10581 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9790.581
AT ITER 587 NEW BEST:: SOT 35201 SOS 10211 HAS SOPS 10211 HAS SOUS 9426 HAS SOUPS 9426 WITH SCORE 9436.211
AT ITER 590 NEW BEST:: SOT 35124 SOS 10159 HAS SOPS 10159 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9384.159
AT ITER 591 NEW BEST:: SOT 35099 SOS 10109 HAS SOPS 10109 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9336.109
AT ITER 603 NEW BEST:: SOT 35032 SOS 9975 HAS SOPS 9975 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9201.975
AT ITER 604 NEW BEST:: SOT 35028 SOS 9956 HAS SOPS 9956 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9189.956
AT ITER 606 NEW BEST:: SOT 34875 SOS 9650 HAS SOPS 9650 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8944.65
AT ITER 607 NEW BEST:: SOT 34894 SOS 9576 HAS SOPS 9576 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8900.576
AT ITER 617 NEW BEST:: SOT 34928 SOS 9533 HAS SOPS 9533 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8858.533
AT ITER 622 NEW BEST:: SOT 34896 SOS 9437 HAS SOPS 9437 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8794.437
AT ITER 639 NEW BEST:: SOT 34860 SOS 9426 HAS SOPS 9426 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8781.426
AT ITER 645 NEW BEST:: SOT 34853 SOS 9412 HAS SOPS 9412 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8767.412
AT ITER 647 NEW BEST:: SOT 34874 SOS 9454 HAS SOPS 9454 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8752.454
AT ITER 653 NEW BEST:: SOT 34853 SOS 9412 HAS SOPS 9412 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8710.412
AT ITER 655 NEW BEST:: SOT 34813 SOS 9407 HAS SOPS 9407 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8670.407
AT ITER 658 NEW BEST:: SOT 34802 SOS 9385 HAS SOPS 9385 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8662.385
AT ITER 668 NEW BEST:: SOT 34827 SOS 9311 HAS SOPS 9311 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8569.311
AT ITER 672 NEW BEST:: SOT 34793 SOS 9276 HAS SOPS 9276 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.276
AT ITER 681 NEW BEST:: SOT 34793 SOS 9276 HAS SOPS 9276 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8529.276
AT ITER 689 NEW BEST:: SOT 34737 SOS 9164 HAS SOPS 9164 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8445.164
AT ITER 698 NEW BEST:: SOT 34708 SOS 9149 HAS SOPS 9149 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8430.149
AT ITER 703 NEW BEST:: SOT 34649 SOS 9031 HAS SOPS 9031 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.031
AT ITER 704 NEW BEST:: SOT 34617 SOS 9011 HAS SOPS 9011 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.011
AT ITER 711 NEW BEST:: SOT 34582 SOS 9014 HAS SOPS 9014 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8265.014
AT ITER 713 NEW BEST:: SOT 34557 SOS 8964 HAS SOPS 8964 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8214.964
AT ITER 714 NEW BEST:: SOT 34542 SOS 8907 HAS SOPS 8907 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8172.907
AT ITER 716 NEW BEST:: SOT 34516 SOS 8957 HAS SOPS 8957 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.957
AT ITER 720 NEW BEST:: SOT 34497 SOS 8951 HAS SOPS 8951 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8105.951
AT ITER 721 NEW BEST:: SOT 34497 SOS 8951 HAS SOPS 8951 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8100.951
AT ITER 722 NEW BEST:: SOT 34495 SOS 8947 HAS SOPS 8947 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8098.947
AT ITER 731 NEW BEST:: SOT 34494 SOS 8945 HAS SOPS 8945 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8096.945
AT ITER 736 NEW BEST:: SOT 34401 SOS 8860 HAS SOPS 8860 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7981.86
AT ITER 743 NEW BEST:: SOT 34409 SOS 8839 HAS SOPS 8839 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7960.839
AT ITER 750 NEW BEST:: SOT 34404 SOS 8834 HAS SOPS 8834 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7955.834
AT ITER 752 NEW BEST:: SOT 34408 SOS 8842 HAS SOPS 8842 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7950.842
AT ITER 753 NEW BEST:: SOT 34403 SOS 8832 HAS SOPS 8832 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.832
AT ITER 756 NEW BEST:: SOT 34405 SOS 8729 HAS SOPS 8729 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7826.729
AT ITER 759 NEW BEST:: SOT 34405 SOS 8672 HAS SOPS 8672 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7770.672
AT ITER 771 NEW BEST:: SOT 34401 SOS 8668 HAS SOPS 8668 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7766.668
AT ITER 776 NEW BEST:: SOT 34376 SOS 8652 HAS SOPS 8652 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.652
AT ITER 780 NEW BEST:: SOT 34356 SOS 8632 HAS SOPS 8632 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7730.632
AT ITER 783 NEW BEST:: SOT 34326 SOS 8442 HAS SOPS 8442 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7693.442
AT ITER 785 NEW BEST:: SOT 34298 SOS 8386 HAS SOPS 8386 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.386
AT ITER 805 NEW BEST:: SOT 34289 SOS 8373 HAS SOPS 8373 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.373
AT ITER 813 NEW BEST:: SOT 34285 SOS 8365 HAS SOPS 8365 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7658.365
AT ITER 829 NEW BEST:: SOT 34285 SOS 8341 HAS SOPS 8341 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7658.341
AT ITER 832 NEW BEST:: SOT 34241 SOS 8253 HAS SOPS 8253 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7614.253
AT ITER 835 NEW BEST:: SOT 34240 SOS 8252 HAS SOPS 8252 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.252
AT ITER 849 NEW BEST:: SOT 34230 SOS 8232 HAS SOPS 8232 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7593.232
AT ITER 871 NEW BEST:: SOT 34229 SOS 8173 HAS SOPS 8173 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7557.173
AT ITER 890 NEW BEST:: SOT 34177 SOS 8176 HAS SOPS 8176 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.176
AT ITER 896 NEW BEST:: SOT 34145 SOS 8128 HAS SOPS 8128 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7442.128
AT ITER 900 NEW BEST:: SOT 34134 SOS 8106 HAS SOPS 8106 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7420.106
AT ITER 902 NEW BEST:: SOT 34129 SOS 8101 HAS SOPS 8101 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.101
AT ITER 911 NEW BEST:: SOT 34127 SOS 8097 HAS SOPS 8097 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7413.097
AT ITER 912 NEW BEST:: SOT 34119 SOS 8081 HAS SOPS 8081 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.081
AT ITER 935 NEW BEST:: SOT 34113 SOS 8075 HAS SOPS 8075 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7392.075
AT ITER 940 NEW BEST:: SOT 34099 SOS 8047 HAS SOPS 8047 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.047
AT ITER 947 NEW BEST:: SOT 34075 SOS 7999 HAS SOPS 7999 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7325.999
AT ITER 956 NEW BEST:: SOT 34075 SOS 7982 HAS SOPS 7982 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7325.982
AT ITER 964 NEW BEST:: SOT 34075 SOS 7963 HAS SOPS 7963 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7325.963
AT ITER 970 NEW BEST:: SOT 34064 SOS 7961 HAS SOPS 7961 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7316.961
AT ITER 974 NEW BEST:: SOT 34048 SOS 7929 HAS SOPS 7929 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7284.929
AT ITER 976 NEW BEST:: SOT 34047 SOS 7929 HAS SOPS 7929 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7283.929
AT ITER 981 NEW BEST:: SOT 34042 SOS 7919 HAS SOPS 7919 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7281.919
AT ITER 987 NEW BEST:: SOT 34042 SOS 7919 HAS SOPS 7919 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7279.919
AT ITER 989 NEW BEST:: SOT 34042 SOS 7868 HAS SOPS 7868 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7228.868
AT ITER 992 NEW BEST:: SOT 34050 SOS 7866 HAS SOPS 7866 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7226.866
AT ITER 1008 NEW BEST:: SOT 34018 SOS 7802 HAS SOPS 7802 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7162.802
AT ITER 1027 NEW BEST:: SOT 33962 SOS 7690 HAS SOPS 7690 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7023.69
AT ITER 1028 NEW BEST:: SOT 33947 SOS 7674 HAS SOPS 7674 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7007.674
AT ITER 1034 NEW BEST:: SOT 33911 SOS 7602 HAS SOPS 7602 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6935.602
AT ITER 1041 NEW BEST:: SOT 33894 SOS 7568 HAS SOPS 7568 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6880.568
AT ITER 1047 NEW BEST:: SOT 33877 SOS 7543 HAS SOPS 7543 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.543
AT ITER 1048 NEW BEST:: SOT 33816 SOS 7421 HAS SOPS 7421 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.421
AT ITER 1064 NEW BEST:: SOT 33806 SOS 7361 HAS SOPS 7361 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6705.361
AT ITER 1065 NEW BEST:: SOT 33787 SOS 7304 HAS SOPS 7304 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.304
AT ITER 1090 NEW BEST:: SOT 33785 SOS 7300 HAS SOPS 7300 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.3
AT ITER 1092 NEW BEST:: SOT 33753 SOS 7429 HAS SOPS 7429 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6587.429
AT ITER 1096 NEW BEST:: SOT 33747 SOS 7417 HAS SOPS 7417 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.417
AT ITER 1106 NEW BEST:: SOT 33757 SOS 7406 HAS SOPS 7406 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.406
AT ITER 1112 NEW BEST:: SOT 33731 SOS 7378 HAS SOPS 7378 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6536.378
AT ITER 1115 NEW BEST:: SOT 33729 SOS 7376 HAS SOPS 7376 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.376
AT ITER 1122 NEW BEST:: SOT 33707 SOS 7231 HAS SOPS 7231 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6490.231
AT ITER 1132 NEW BEST:: SOT 33721 SOS 7259 HAS SOPS 7259 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6478.259
AT ITER 1141 NEW BEST:: SOT 33713 SOS 7251 HAS SOPS 7251 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.251
AT ITER 1142 NEW BEST:: SOT 33713 SOS 7251 HAS SOPS 7251 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.251
AT ITER 1143 NEW BEST:: SOT 33712 SOS 7239 HAS SOPS 7239 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.239
AT ITER 1167 NEW BEST:: SOT 33675 SOS 7165 HAS SOPS 7165 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.165
AT ITER 1171 NEW BEST:: SOT 33671 SOS 7157 HAS SOPS 7157 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6348.157
AT ITER 1176 NEW BEST:: SOT 33647 SOS 7022 HAS SOPS 7022 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.022
AT ITER 1180 NEW BEST:: SOT 33618 SOS 6964 HAS SOPS 6964 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6294.964
AT ITER 1188 NEW BEST:: SOT 33617 SOS 6962 HAS SOPS 6962 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6292.962
AT ITER 1192 NEW BEST:: SOT 33616 SOS 6960 HAS SOPS 6960 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6290.96
AT ITER 1203 NEW BEST:: SOT 33608 SOS 6952 HAS SOPS 6952 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6282.952
AT ITER 1214 NEW BEST:: SOT 33608 SOS 6947 HAS SOPS 6947 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6277.947
AT ITER 1216 NEW BEST:: SOT 33607 SOS 6968 HAS SOPS 6968 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.968
AT ITER 1250 NEW BEST:: SOT 33607 SOS 6952 HAS SOPS 6952 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.952
AT ITER 1275 NEW BEST:: SOT 33613 SOS 6932 HAS SOPS 6932 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6256.932
AT ITER 1278 NEW BEST:: SOT 33615 SOS 6899 HAS SOPS 6899 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6237.899
AT ITER 1286 NEW BEST:: SOT 33608 SOS 6885 HAS SOPS 6885 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6230.885
AT ITER 1290 NEW BEST:: SOT 33600 SOS 6843 HAS SOPS 6843 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6214.843
AT ITER 1309 NEW BEST:: SOT 33593 SOS 6829 HAS SOPS 6829 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6207.829
AT ITER 1324 NEW BEST:: SOT 33590 SOS 6823 HAS SOPS 6823 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6204.823
AT ITER 1331 NEW BEST:: SOT 33589 SOS 6821 HAS SOPS 6821 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6202.821
AT ITER 1337 NEW BEST:: SOT 33579 SOS 6812 HAS SOPS 6812 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6192.812
AT ITER 1366 NEW BEST:: SOT 33563 SOS 6796 HAS SOPS 6796 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6176.796
AT ITER 1386 NEW BEST:: SOT 33544 SOS 6758 HAS SOPS 6758 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6155.758
AT ITER 1395 NEW BEST:: SOT 33508 SOS 6686 HAS SOPS 6686 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6093.686
AT ITER 1397 NEW BEST:: SOT 33493 SOS 6677 HAS SOPS 6677 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6070.677
AT ITER 1398 NEW BEST:: SOT 33470 SOS 6631 HAS SOPS 6631 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6047.631
AT ITER 1401 NEW BEST:: SOT 33465 SOS 6610 HAS SOPS 6610 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6034.61
AT ITER 1406 NEW BEST:: SOT 33397 SOS 6629 HAS SOPS 6629 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.629
AT ITER 1408 NEW BEST:: SOT 33394 SOS 6623 HAS SOPS 6623 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5932.623
AT ITER 1412 NEW BEST:: SOT 33391 SOS 6620 HAS SOPS 6620 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5929.62
AT ITER 1415 NEW BEST:: SOT 33379 SOS 6725 HAS SOPS 6725 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5912.725
AT ITER 1424 NEW BEST:: SOT 33359 SOS 6661 HAS SOPS 6661 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5868.661
AT ITER 1441 NEW BEST:: SOT 33355 SOS 6653 HAS SOPS 6653 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.653
AT ITER 1449 NEW BEST:: SOT 33332 SOS 6607 HAS SOPS 6607 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5837.607
AT ITER 1462 NEW BEST:: SOT 33311 SOS 6614 HAS SOPS 6614 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5820.614
AT ITER 1466 NEW BEST:: SOT 33301 SOS 6608 HAS SOPS 6608 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.608
AT ITER 1477 NEW BEST:: SOT 33193 SOS 6282 HAS SOPS 6282 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.282
AT ITER 1486 NEW BEST:: SOT 33168 SOS 6207 HAS SOPS 6207 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5651.207
AT ITER 1506 NEW BEST:: SOT 33111 SOS 6093 HAS SOPS 6093 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.093
AT ITER 1509 NEW BEST:: SOT 33104 SOS 6079 HAS SOPS 6079 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.079
AT ITER 1510 NEW BEST:: SOT 33105 SOS 6030 HAS SOPS 6030 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5535.03
AT ITER 1525 NEW BEST:: SOT 33090 SOS 6021 HAS SOPS 6021 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5521.021
AT ITER 1534 NEW BEST:: SOT 33085 SOS 6011 HAS SOPS 6011 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.011
AT ITER 1535 NEW BEST:: SOT 33085 SOS 6011 HAS SOPS 6011 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.011
AT ITER 1549 NEW BEST:: SOT 33017 SOS 5875 HAS SOPS 5875 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5354.875
AT ITER 1551 NEW BEST:: SOT 33038 SOS 5850 HAS SOPS 5850 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5354.85
AT ITER 1552 NEW BEST:: SOT 33025 SOS 5824 HAS SOPS 5824 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5328.824
AT ITER 1566 NEW BEST:: SOT 33063 SOS 5802 HAS SOPS 5802 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5306.802
AT ITER 1569 NEW BEST:: SOT 33063 SOS 5802 HAS SOPS 5802 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5305.802
AT ITER 1573 NEW BEST:: SOT 33056 SOS 5781 HAS SOPS 5781 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.781
AT ITER 1576 NEW BEST:: SOT 33051 SOS 5771 HAS SOPS 5771 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5279.771
AT ITER 1579 NEW BEST:: SOT 33068 SOS 5713 HAS SOPS 5713 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5251.713
AT ITER 1586 NEW BEST:: SOT 33037 SOS 5673 HAS SOPS 5673 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5209.673
AT ITER 1589 NEW BEST:: SOT 33019 SOS 5655 HAS SOPS 5655 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5191.655
AT ITER 1590 NEW BEST:: SOT 33033 SOS 5641 HAS SOPS 5641 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5183.641
AT ITER 1595 NEW BEST:: SOT 33025 SOS 5617 HAS SOPS 5617 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.617
AT ITER 1606 NEW BEST:: SOT 33017 SOS 5601 HAS SOPS 5601 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5151.601
AT ITER 1619 NEW BEST:: SOT 33014 SOS 5595 HAS SOPS 5595 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.595
AT ITER 1626 NEW BEST:: SOT 32956 SOS 5631 HAS SOPS 5631 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.631
AT ITER 1666 NEW BEST:: SOT 32953 SOS 5622 HAS SOPS 5622 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5100.622
AT ITER 1684 NEW BEST:: SOT 32946 SOS 5608 HAS SOPS 5608 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5086.608
AT ITER 1687 NEW BEST:: SOT 32939 SOS 5587 HAS SOPS 5587 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.587
AT ITER 1690 NEW BEST:: SOT 32939 SOS 5570 HAS SOPS 5570 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5058.57
AT ITER 1705 NEW BEST:: SOT 32874 SOS 5440 HAS SOPS 5440 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.44
AT ITER 1719 NEW BEST:: SOT 32867 SOS 5439 HAS SOPS 5439 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.439
AT ITER 1764 NEW BEST:: SOT 32867 SOS 5425 HAS SOPS 5425 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.425
AT ITER 1766 NEW BEST:: SOT 32866 SOS 5429 HAS SOPS 5429 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4968.429
AT ITER 1771 NEW BEST:: SOT 32830 SOS 5422 HAS SOPS 5422 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4932.422
AT ITER 1773 NEW BEST:: SOT 32825 SOS 5421 HAS SOPS 5421 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.421
AT ITER 1774 NEW BEST:: SOT 32806 SOS 5383 HAS SOPS 5383 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.383
AT ITER 1776 NEW BEST:: SOT 32792 SOS 5355 HAS SOPS 5355 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4874.355
AT ITER 1782 NEW BEST:: SOT 32792 SOS 5355 HAS SOPS 5355 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.355
AT ITER 1792 NEW BEST:: SOT 32792 SOS 5336 HAS SOPS 5336 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.336
AT ITER 1802 NEW BEST:: SOT 32770 SOS 5292 HAS SOPS 5292 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4808.292
AT ITER 1803 NEW BEST:: SOT 32770 SOS 5292 HAS SOPS 5292 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4800.292
AT ITER 1811 NEW BEST:: SOT 32768 SOS 5286 HAS SOPS 5286 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4798.286
AT ITER 1813 NEW BEST:: SOT 32767 SOS 5285 HAS SOPS 5285 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4796.285
AT ITER 1818 NEW BEST:: SOT 32761 SOS 5267 HAS SOPS 5267 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.267
AT ITER 1845 NEW BEST:: SOT 32734 SOS 5175 HAS SOPS 5175 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.175
AT ITER 1865 NEW BEST:: SOT 32712 SOS 5160 HAS SOPS 5160 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.16
AT ITER 1883 NEW BEST:: SOT 32708 SOS 5152 HAS SOPS 5152 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4726.152
AT ITER 1884 NEW BEST:: SOT 32698 SOS 5132 HAS SOPS 5132 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.132
AT ITER 1888 NEW BEST:: SOT 32698 SOS 5127 HAS SOPS 5127 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.127
AT ITER 1892 NEW BEST:: SOT 32664 SOS 5059 HAS SOPS 5059 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.059
AT ITER 1899 NEW BEST:: SOT 32641 SOS 5013 HAS SOPS 5013 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.013
AT ITER 1918 NEW BEST:: SOT 32637 SOS 5005 HAS SOPS 5005 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.005
AT ITER 1935 NEW BEST:: SOT 32626 SOS 4983 HAS SOPS 4983 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4584.983
AT ITER 1938 NEW BEST:: SOT 32608 SOS 4965 HAS SOPS 4965 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4566.965
AT ITER 1942 NEW BEST:: SOT 32608 SOS 4949 HAS SOPS 4949 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4566.949
AT ITER 1958 NEW BEST:: SOT 32588 SOS 4909 HAS SOPS 4909 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4526.909
AT ITER 1962 NEW BEST:: SOT 32578 SOS 4894 HAS SOPS 4894 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4511.894
AT ITER 1978 NEW BEST:: SOT 32520 SOS 4832 HAS SOPS 4832 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4409.832
AT ITER 1979 NEW BEST:: SOT 32513 SOS 4811 HAS SOPS 4811 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4399.811
AT ITER 1987 NEW BEST:: SOT 32508 SOS 4811 HAS SOPS 4811 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4394.811
AT ITER 1997 NEW BEST:: SOT 32507 SOS 4817 HAS SOPS 4817 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4393.817
AT ITER 2000 NEW BEST:: SOT 32470 SOS 4776 HAS SOPS 4776 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4342.776
AT ITER 2006 NEW BEST:: SOT 32435 SOS 4706 HAS SOPS 4706 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.706
AT ITER 2008 NEW BEST:: SOT 32420 SOS 4676 HAS SOPS 4676 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.676
AT ITER 2029 NEW BEST:: SOT 32449 SOS 4630 HAS SOPS 4630 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4237.63
AT ITER 2076 NEW BEST:: SOT 32439 SOS 4610 HAS SOPS 4610 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.61
AT ITER 2082 NEW BEST:: SOT 32433 SOS 4598 HAS SOPS 4598 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4214.598
AT ITER 2102 NEW BEST:: SOT 32433 SOS 4588 HAS SOPS 4588 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4214.588
AT ITER 2109 NEW BEST:: SOT 32432 SOS 4587 HAS SOPS 4587 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4213.587
AT ITER 2112 NEW BEST:: SOT 32439 SOS 4601 HAS SOPS 4601 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.601
AT ITER 2131 NEW BEST:: SOT 32424 SOS 4643 HAS SOPS 4643 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.643
AT ITER 2136 NEW BEST:: SOT 32422 SOS 4619 HAS SOPS 4619 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4201.619
AT ITER 2144 NEW BEST:: SOT 32410 SOS 4595 HAS SOPS 4595 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.595
AT ITER 2156 NEW BEST:: SOT 32420 SOS 4562 HAS SOPS 4562 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4186.562
AT ITER 2158 NEW BEST:: SOT 32417 SOS 4556 HAS SOPS 4556 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.556
AT ITER 2160 NEW BEST:: SOT 32417 SOS 4556 HAS SOPS 4556 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4179.556
AT ITER 2181 NEW BEST:: SOT 32403 SOS 4561 HAS SOPS 4561 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4165.561
AT ITER 2184 NEW BEST:: SOT 32398 SOS 4622 HAS SOPS 4622 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.622
AT ITER 2225 NEW BEST:: SOT 32397 SOS 4620 HAS SOPS 4620 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4158.62
AT ITER 2231 NEW BEST:: SOT 32387 SOS 4600 HAS SOPS 4600 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4148.6
AT ITER 2236 NEW BEST:: SOT 32381 SOS 4607 HAS SOPS 4607 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.607
AT ITER 2271 NEW BEST:: SOT 32397 SOS 4603 HAS SOPS 4603 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.603
AT ITER 2290 NEW BEST:: SOT 32386 SOS 4554 HAS SOPS 4554 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.554
AT ITER 2342 NEW BEST:: SOT 32383 SOS 4548 HAS SOPS 4548 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.548
AT ITER 2365 NEW BEST:: SOT 32383 SOS 4547 HAS SOPS 4547 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.547
AT ITER 2387 NEW BEST:: SOT 32375 SOS 4531 HAS SOPS 4531 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.531
AT ITER 2397 NEW BEST:: SOT 32329 SOS 4470 HAS SOPS 4470 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.47
AT ITER 2400 NEW BEST:: SOT 32316 SOS 4444 HAS SOPS 4444 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.444
AT ITER 2416 NEW BEST:: SOT 32310 SOS 4470 HAS SOPS 4470 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3964.47
AT ITER 2417 NEW BEST:: SOT 32312 SOS 4338 HAS SOPS 4338 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.338
AT ITER 2421 NEW BEST:: SOT 32304 SOS 4322 HAS SOPS 4322 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.322
AT ITER 2426 NEW BEST:: SOT 32275 SOS 4264 HAS SOPS 4264 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3805.264
AT ITER 2448 NEW BEST:: SOT 32250 SOS 4240 HAS SOPS 4240 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3781.24
AT ITER 2456 NEW BEST:: SOT 32250 SOS 4227 HAS SOPS 4227 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.227
AT ITER 2461 NEW BEST:: SOT 32250 SOS 4196 HAS SOPS 4196 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.196
AT ITER 2484 NEW BEST:: SOT 32255 SOS 4206 HAS SOPS 4206 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3767.206
AT ITER 2490 NEW BEST:: SOT 32249 SOS 4194 HAS SOPS 4194 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.194
AT ITER 2491 NEW BEST:: SOT 32247 SOS 4190 HAS SOPS 4190 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.19
AT ITER 2503 NEW BEST:: SOT 32245 SOS 4184 HAS SOPS 4184 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3755.184
AT ITER 2509 NEW BEST:: SOT 32232 SOS 4158 HAS SOPS 4158 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.158
AT ITER 2513 NEW BEST:: SOT 32229 SOS 4152 HAS SOPS 4152 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.152
AT ITER 2543 NEW BEST:: SOT 32202 SOS 4067 HAS SOPS 4067 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.067
AT ITER 2546 NEW BEST:: SOT 32194 SOS 4071 HAS SOPS 4071 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.071
AT ITER 2549 NEW BEST:: SOT 32154 SOS 3991 HAS SOPS 3991 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3579.991
AT ITER 2562 NEW BEST:: SOT 32152 SOS 3987 HAS SOPS 3987 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3575.987
AT ITER 2566 NEW BEST:: SOT 32124 SOS 3931 HAS SOPS 3931 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3519.931
AT ITER 2567 NEW BEST:: SOT 32099 SOS 3881 HAS SOPS 3881 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.881
AT ITER 2576 NEW BEST:: SOT 32079 SOS 3877 HAS SOPS 3877 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.877
AT ITER 2583 NEW BEST:: SOT 32076 SOS 3871 HAS SOPS 3871 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3447.871
AT ITER 2598 NEW BEST:: SOT 32073 SOS 3868 HAS SOPS 3868 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.868
AT ITER 2623 NEW BEST:: SOT 32072 SOS 3866 HAS SOPS 3866 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.866
AT ITER 2639 NEW BEST:: SOT 32072 SOS 3864 HAS SOPS 3864 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.864
AT ITER 2671 NEW BEST:: SOT 32078 SOS 3876 HAS SOPS 3876 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.876
AT ITER 2736 NEW BEST:: SOT 32062 SOS 3861 HAS SOPS 3861 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3418.861
AT ITER 2738 NEW BEST:: SOT 32052 SOS 3818 HAS SOPS 3818 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.818
AT ITER 2753 NEW BEST:: SOT 32038 SOS 3815 HAS SOPS 3815 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3390.815
AT ITER 2757 NEW BEST:: SOT 32023 SOS 3800 HAS SOPS 3800 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.8
AT ITER 2814 NEW BEST:: SOT 32012 SOS 3778 HAS SOPS 3778 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.778
AT ITER 2831 NEW BEST:: SOT 32012 SOS 3775 HAS SOPS 3775 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.775
AT ITER 2905 NEW BEST:: SOT 32006 SOS 3763 HAS SOPS 3763 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.763
AT ITER 2926 NEW BEST:: SOT 31998 SOS 3747 HAS SOPS 3747 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.747
AT ITER 2932 NEW BEST:: SOT 31982 SOS 3715 HAS SOPS 3715 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.715
AT ITER 2935 NEW BEST:: SOT 31984 SOS 3719 HAS SOPS 3719 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.719
AT ITER 2945 NEW BEST:: SOT 31983 SOS 3717 HAS SOPS 3717 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3301.717
AT ITER 2947 NEW BEST:: SOT 31979 SOS 3705 HAS SOPS 3705 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3293.705
AT ITER 2960 NEW BEST:: SOT 31974 SOS 3695 HAS SOPS 3695 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.695
AT ITER 2987 NEW BEST:: SOT 31973 SOS 3693 HAS SOPS 3693 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.693
AT ITER 2994 NEW BEST:: SOT 31969 SOS 3685 HAS SOPS 3685 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.685
AT ITER 3002 NEW BEST:: SOT 31969 SOS 3683 HAS SOPS 3683 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.683
AT ITER 3036 NEW BEST:: SOT 31939 SOS 3712 HAS SOPS 3712 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3273.712
AT ITER 3064 NEW BEST:: SOT 31935 SOS 3704 HAS SOPS 3704 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.704
AT ITER 3076 NEW BEST:: SOT 31950 SOS 3698 HAS SOPS 3698 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.698
AT ITER 3117 NEW BEST:: SOT 31950 SOS 3698 HAS SOPS 3698 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.698
AT ITER 3128 NEW BEST:: SOT 31910 SOS 3618 HAS SOPS 3618 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.618
AT ITER 3141 NEW BEST:: SOT 31908 SOS 3642 HAS SOPS 3642 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.642
AT ITER 3150 NEW BEST:: SOT 31881 SOS 3588 HAS SOPS 3588 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.588
AT ITER 3156 NEW BEST:: SOT 31887 SOS 3574 HAS SOPS 3574 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.574
AT ITER 3169 NEW BEST:: SOT 31875 SOS 3550 HAS SOPS 3550 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.55
AT ITER 3186 NEW BEST:: SOT 31880 SOS 3560 HAS SOPS 3560 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.56
AT ITER 3206 NEW BEST:: SOT 31874 SOS 3548 HAS SOPS 3548 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.548
AT ITER 3228 NEW BEST:: SOT 31871 SOS 3526 HAS SOPS 3526 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3106.526
AT ITER 3265 NEW BEST:: SOT 31866 SOS 3516 HAS SOPS 3516 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.516
AT ITER 3340 NEW BEST:: SOT 31861 SOS 3506 HAS SOPS 3506 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.506
AT ITER 3342 NEW BEST:: SOT 31861 SOS 3506 HAS SOPS 3506 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.506
AT ITER 3359 NEW BEST:: SOT 31856 SOS 3489 HAS SOPS 3489 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.489
AT ITER 3398 NEW BEST:: SOT 31856 SOS 3489 HAS SOPS 3489 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3048.489
AT ITER 3428 NEW BEST:: SOT 31854 SOS 3485 HAS SOPS 3485 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.485
AT ITER 3471 NEW BEST:: SOT 31853 SOS 3483 HAS SOPS 3483 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.483
AT ITER 3492 NEW BEST:: SOT 31846 SOS 3441 HAS SOPS 3441 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.441
AT ITER 3532 NEW BEST:: SOT 31827 SOS 3403 HAS SOPS 3403 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.403
AT ITER 3538 NEW BEST:: SOT 31824 SOS 3390 HAS SOPS 3390 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.39
AT ITER 3599 NEW BEST:: SOT 31805 SOS 3320 HAS SOPS 3320 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.32
AT ITER 3610 NEW BEST:: SOT 31785 SOS 3280 HAS SOPS 3280 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.28
AT ITER 3614 NEW BEST:: SOT 31783 SOS 3280 HAS SOPS 3280 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.28
AT ITER 3693 NEW BEST:: SOT 31780 SOS 3274 HAS SOPS 3274 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.274
AT ITER 3702 NEW BEST:: SOT 31780 SOS 3274 HAS SOPS 3274 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.274
AT ITER 3703 NEW BEST:: SOT 31775 SOS 3269 HAS SOPS 3269 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.269
AT ITER 3704 NEW BEST:: SOT 31778 SOS 3275 HAS SOPS 3275 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.275
AT ITER 3713 NEW BEST:: SOT 31764 SOS 3233 HAS SOPS 3233 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.233
AT ITER 3729 NEW BEST:: SOT 31759 SOS 3246 HAS SOPS 3246 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.246
AT ITER 3730 NEW BEST:: SOT 31759 SOS 3244 HAS SOPS 3244 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.244
AT ITER 3735 NEW BEST:: SOT 31753 SOS 3232 HAS SOPS 3232 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.232
AT ITER 3738 NEW BEST:: SOT 31752 SOS 3230 HAS SOPS 3230 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2853.23
AT ITER 3740 NEW BEST:: SOT 31751 SOS 3218 HAS SOPS 3218 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2852.218
AT ITER 3813 NEW BEST:: SOT 31744 SOS 3204 HAS SOPS 3204 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.204
AT ITER 3822 NEW BEST:: SOT 31744 SOS 3197 HAS SOPS 3197 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.197
AT ITER 3858 NEW BEST:: SOT 31740 SOS 3195 HAS SOPS 3195 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.195
AT ITER 3861 NEW BEST:: SOT 31730 SOS 3165 HAS SOPS 3165 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.165
AT ITER 3945 NEW BEST:: SOT 31729 SOS 3163 HAS SOPS 3163 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.163
AT ITER 3951 NEW BEST:: SOT 31729 SOS 3161 HAS SOPS 3161 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.161
AT ITER 3972 NEW BEST:: SOT 31729 SOS 3161 HAS SOPS 3161 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.161
AT ITER 3976 NEW BEST:: SOT 31727 SOS 3157 HAS SOPS 3157 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2806.157
AT ITER 3983 NEW BEST:: SOT 31725 SOS 3151 HAS SOPS 3151 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.151
AT ITER 3988 NEW BEST:: SOT 31725 SOS 3150 HAS SOPS 3150 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.15
AT ITER 4040 NEW BEST:: SOT 31714 SOS 3128 HAS SOPS 3128 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.128
AT ITER 4056 NEW BEST:: SOT 31711 SOS 3122 HAS SOPS 3122 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.122
AT ITER 4088 NEW BEST:: SOT 31710 SOS 3113 HAS SOPS 3113 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.113
AT ITER 4141 NEW BEST:: SOT 31710 SOS 3107 HAS SOPS 3107 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.107
AT ITER 4187 NEW BEST:: SOT 31710 SOS 3105 HAS SOPS 3105 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.105
AT ITER 4226 NEW BEST:: SOT 31704 SOS 3093 HAS SOPS 3093 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.093
AT ITER 4238 NEW BEST:: SOT 31702 SOS 3087 HAS SOPS 3087 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.087
AT ITER 4252 NEW BEST:: SOT 31679 SOS 3041 HAS SOPS 3041 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.041
AT ITER 4273 NEW BEST:: SOT 31678 SOS 3041 HAS SOPS 3041 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2709.041
AT ITER 4293 NEW BEST:: SOT 31674 SOS 3033 HAS SOPS 3033 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2701.033
AT ITER 4304 NEW BEST:: SOT 31658 SOS 3022 HAS SOPS 3022 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.022
AT ITER 4350 NEW BEST:: SOT 31658 SOS 3019 HAS SOPS 3019 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.019
AT ITER 4376 NEW BEST:: SOT 31658 SOS 3005 HAS SOPS 3005 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.005
AT ITER 4379 NEW BEST:: SOT 31647 SOS 2983 HAS SOPS 2983 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.983
AT ITER 4423 NEW BEST:: SOT 31645 SOS 2979 HAS SOPS 2979 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.979
AT ITER 4438 NEW BEST:: SOT 31645 SOS 2979 HAS SOPS 2979 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2637.979
AT ITER 4531 NEW BEST:: SOT 31653 SOS 2995 HAS SOPS 2995 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.995
AT ITER 4542 NEW BEST:: SOT 31653 SOS 2995 HAS SOPS 2995 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2617.995
AT ITER 4554 NEW BEST:: SOT 31652 SOS 2986 HAS SOPS 2986 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.986
AT ITER 4557 NEW BEST:: SOT 31641 SOS 2971 HAS SOPS 2971 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2600.971
AT ITER 4562 NEW BEST:: SOT 31635 SOS 2959 HAS SOPS 2959 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2586.959
AT ITER 4570 NEW BEST:: SOT 31608 SOS 2905 HAS SOPS 2905 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.905
AT ITER 4582 NEW BEST:: SOT 31608 SOS 2902 HAS SOPS 2902 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.902
AT ITER 4631 NEW BEST:: SOT 31606 SOS 2898 HAS SOPS 2898 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.898
AT ITER 4634 NEW BEST:: SOT 31605 SOS 2899 HAS SOPS 2899 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2528.899
AT ITER 4657 NEW BEST:: SOT 31594 SOS 2892 HAS SOPS 2892 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.892
AT ITER 4707 NEW BEST:: SOT 31591 SOS 2883 HAS SOPS 2883 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2515.883
AT ITER 4711 NEW BEST:: SOT 31589 SOS 2879 HAS SOPS 2879 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2514.879
AT ITER 4738 NEW BEST:: SOT 31582 SOS 2865 HAS SOPS 2865 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.865
AT ITER 4747 NEW BEST:: SOT 31582 SOS 2864 HAS SOPS 2864 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.864
AT ITER 4752 NEW BEST:: SOT 31576 SOS 2852 HAS SOPS 2852 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.852
AT ITER 4760 NEW BEST:: SOT 31576 SOS 2852 HAS SOPS 2852 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2495.852
AT ITER 4768 NEW BEST:: SOT 31576 SOS 2850 HAS SOPS 2850 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2495.85
AT ITER 4909 NEW BEST:: SOT 31573 SOS 2844 HAS SOPS 2844 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.844
AT ITER 4936 NEW BEST:: SOT 31571 SOS 2840 HAS SOPS 2840 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.84
AT ITER 4959 NEW BEST:: SOT 31562 SOS 2822 HAS SOPS 2822 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2472.822
AT ITER 4963 NEW BEST:: SOT 31560 SOS 2818 HAS SOPS 2818 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.818
AT ITER 5040 NEW BEST:: SOT 31556 SOS 2810 HAS SOPS 2810 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2459.81
AT ITER 5097 NEW BEST:: SOT 31554 SOS 2806 HAS SOPS 2806 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.806
AT ITER 5113 NEW BEST:: SOT 31551 SOS 2800 HAS SOPS 2800 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.8
AT ITER 5120 NEW BEST:: SOT 31553 SOS 2804 HAS SOPS 2804 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2441.804
AT ITER 5150 NEW BEST:: SOT 31553 SOS 2801 HAS SOPS 2801 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2441.801
AT ITER 5242 NEW BEST:: SOT 31546 SOS 2794 HAS SOPS 2794 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.794
AT ITER 5250 NEW BEST:: SOT 31540 SOS 2782 HAS SOPS 2782 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2421.782
AT ITER 5266 NEW BEST:: SOT 31539 SOS 2772 HAS SOPS 2772 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.772
AT ITER 5274 NEW BEST:: SOT 31528 SOS 2761 HAS SOPS 2761 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.761
AT ITER 5276 NEW BEST:: SOT 31524 SOS 2761 HAS SOPS 2761 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.761
AT ITER 5308 NEW BEST:: SOT 31509 SOS 2731 HAS SOPS 2731 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.731
AT ITER 5421 NEW BEST:: SOT 31508 SOS 2729 HAS SOPS 2729 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.729
AT ITER 5437 NEW BEST:: SOT 31512 SOS 2706 HAS SOPS 2706 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.706
AT ITER 5488 NEW BEST:: SOT 31497 SOS 2689 HAS SOPS 2689 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.689
AT ITER 5497 NEW BEST:: SOT 31490 SOS 2675 HAS SOPS 2675 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.675
AT ITER 5502 NEW BEST:: SOT 31479 SOS 2653 HAS SOPS 2653 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.653
AT ITER 5530 NEW BEST:: SOT 31478 SOS 2651 HAS SOPS 2651 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.651
AT ITER 5585 NEW BEST:: SOT 31477 SOS 2652 HAS SOPS 2652 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.652
AT ITER 5637 NEW BEST:: SOT 31477 SOS 2649 HAS SOPS 2649 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.649
AT ITER 5639 NEW BEST:: SOT 31476 SOS 2647 HAS SOPS 2647 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.647
AT ITER 5649 NEW BEST:: SOT 31470 SOS 2635 HAS SOPS 2635 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.635
AT ITER 5650 NEW BEST:: SOT 31457 SOS 2609 HAS SOPS 2609 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.609
AT ITER 5727 NEW BEST:: SOT 31457 SOS 2609 HAS SOPS 2609 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.609
AT ITER 5822 NEW BEST:: SOT 31452 SOS 2599 HAS SOPS 2599 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.599
AT ITER 5866 NEW BEST:: SOT 31452 SOS 2599 HAS SOPS 2599 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.599
AT ITER 5881 NEW BEST:: SOT 31452 SOS 2599 HAS SOPS 2599 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.599
AT ITER 5895 NEW BEST:: SOT 31445 SOS 2599 HAS SOPS 2599 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2224.599
AT ITER 5918 NEW BEST:: SOT 31443 SOS 2593 HAS SOPS 2593 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.593
AT ITER 5946 NEW BEST:: SOT 31444 SOS 2595 HAS SOPS 2595 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.595
AT ITER 6012 NEW BEST:: SOT 31441 SOS 2589 HAS SOPS 2589 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.589
AT ITER 6038 NEW BEST:: SOT 31441 SOS 2583 HAS SOPS 2583 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.583
AT ITER 6077 NEW BEST:: SOT 31439 SOS 2581 HAS SOPS 2581 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.581
AT ITER 6082 NEW BEST:: SOT 31431 SOS 2565 HAS SOPS 2565 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.565
AT ITER 6087 NEW BEST:: SOT 31414 SOS 2531 HAS SOPS 2531 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2166.531
AT ITER 6125 NEW BEST:: SOT 31411 SOS 2502 HAS SOPS 2502 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.502
AT ITER 6311 NEW BEST:: SOT 31411 SOS 2500 HAS SOPS 2500 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.5
AT ITER 6330 NEW BEST:: SOT 31411 SOS 2494 HAS SOPS 2494 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.494
AT ITER 6342 NEW BEST:: SOT 31408 SOS 2484 HAS SOPS 2484 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.484
AT ITER 6372 NEW BEST:: SOT 31408 SOS 2481 HAS SOPS 2481 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.481
AT ITER 6462 NEW BEST:: SOT 31399 SOS 2499 HAS SOPS 2499 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.499
AT ITER 6561 NEW BEST:: SOT 31399 SOS 2499 HAS SOPS 2499 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.499
AT ITER 6571 NEW BEST:: SOT 31390 SOS 2490 HAS SOPS 2490 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.49
AT ITER 6593 NEW BEST:: SOT 31381 SOS 2458 HAS SOPS 2458 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.458
AT ITER 6594 NEW BEST:: SOT 31382 SOS 2457 HAS SOPS 2457 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.457
AT ITER 6631 NEW BEST:: SOT 31383 SOS 2454 HAS SOPS 2454 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.454
AT ITER 6634 NEW BEST:: SOT 31378 SOS 2449 HAS SOPS 2449 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.449
AT ITER 6643 NEW BEST:: SOT 31373 SOS 2434 HAS SOPS 2434 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.434
AT ITER 6721 NEW BEST:: SOT 31369 SOS 2430 HAS SOPS 2430 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.43
AT ITER 6781 NEW BEST:: SOT 31363 SOS 2418 HAS SOPS 2418 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.418
AT ITER 6804 NEW BEST:: SOT 31363 SOS 2392 HAS SOPS 2392 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2058.392
AT ITER 6824 NEW BEST:: SOT 31355 SOS 2368 HAS SOPS 2368 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.368
AT ITER 6861 NEW BEST:: SOT 31358 SOS 2365 HAS SOPS 2365 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.365
AT ITER 6868 NEW BEST:: SOT 31355 SOS 2359 HAS SOPS 2359 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.359
AT ITER 6958 NEW BEST:: SOT 31354 SOS 2357 HAS SOPS 2357 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2032.357
AT ITER 6974 NEW BEST:: SOT 31350 SOS 2349 HAS SOPS 2349 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.349
AT ITER 6977 NEW BEST:: SOT 31349 SOS 2347 HAS SOPS 2347 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.347
AT ITER 6990 NEW BEST:: SOT 31345 SOS 2339 HAS SOPS 2339 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.339
AT ITER 7000 NEW BEST:: SOT 31338 SOS 2325 HAS SOPS 2325 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.325
AT ITER 7038 NEW BEST:: SOT 31329 SOS 2307 HAS SOPS 2307 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.307
AT ITER 7076 NEW BEST:: SOT 31326 SOS 2301 HAS SOPS 2301 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.301
AT ITER 7151 NEW BEST:: SOT 31321 SOS 2295 HAS SOPS 2295 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1964.295
AT ITER 7184 NEW BEST:: SOT 31322 SOS 2297 HAS SOPS 2297 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.297
AT ITER 7328 NEW BEST:: SOT 31320 SOS 2293 HAS SOPS 2293 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.293
AT ITER 7331 NEW BEST:: SOT 31319 SOS 2291 HAS SOPS 2291 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.291
AT ITER 7334 NEW BEST:: SOT 31320 SOS 2288 HAS SOPS 2288 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.288
AT ITER 7487 NEW BEST:: SOT 31320 SOS 2275 HAS SOPS 2275 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.275
AT ITER 7505 NEW BEST:: SOT 31317 SOS 2273 HAS SOPS 2273 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.273
AT ITER 7542 NEW BEST:: SOT 31317 SOS 2272 HAS SOPS 2272 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.272
AT ITER 7547 NEW BEST:: SOT 31317 SOS 2272 HAS SOPS 2272 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.272
AT ITER 7557 NEW BEST:: SOT 31314 SOS 2259 HAS SOPS 2259 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.259
AT ITER 7573 NEW BEST:: SOT 31311 SOS 2265 HAS SOPS 2265 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.265
AT ITER 7584 NEW BEST:: SOT 31310 SOS 2260 HAS SOPS 2260 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1926.26
AT ITER 7697 NEW BEST:: SOT 31302 SOS 2260 HAS SOPS 2260 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.26
AT ITER 7833 NEW BEST:: SOT 31302 SOS 2260 HAS SOPS 2260 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.26
AT ITER 7947 NEW BEST:: SOT 31302 SOS 2257 HAS SOPS 2257 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.257
AT ITER 8002 NEW BEST:: SOT 31301 SOS 2251 HAS SOPS 2251 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.251
AT ITER 8031 NEW BEST:: SOT 31300 SOS 2249 HAS SOPS 2249 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.249
AT ITER 8053 NEW BEST:: SOT 31298 SOS 2245 HAS SOPS 2245 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.245
AT ITER 8113 NEW BEST:: SOT 31296 SOS 2244 HAS SOPS 2244 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.244
AT ITER 8176 NEW BEST:: SOT 31296 SOS 2241 HAS SOPS 2241 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.241
AT ITER 8183 NEW BEST:: SOT 31295 SOS 2239 HAS SOPS 2239 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.239
AT ITER 8216 NEW BEST:: SOT 31295 SOS 2239 HAS SOPS 2239 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.239
AT ITER 8258 NEW BEST:: SOT 31293 SOS 2235 HAS SOPS 2235 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.235
AT ITER 8314 NEW BEST:: SOT 31292 SOS 2228 HAS SOPS 2228 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.228
AT ITER 8350 NEW BEST:: SOT 31291 SOS 2226 HAS SOPS 2226 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.226
AT ITER 8356 NEW BEST:: SOT 31289 SOS 2222 HAS SOPS 2222 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.222
AT ITER 8378 NEW BEST:: SOT 31289 SOS 2221 HAS SOPS 2221 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.221
AT ITER 8490 NEW BEST:: SOT 31292 SOS 2214 HAS SOPS 2214 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.214
AT ITER 8520 NEW BEST:: SOT 31292 SOS 2214 HAS SOPS 2214 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.214
AT ITER 8629 NEW BEST:: SOT 31282 SOS 2194 HAS SOPS 2194 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.194
AT ITER 8643 NEW BEST:: SOT 31280 SOS 2195 HAS SOPS 2195 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.195
AT ITER 8701 NEW BEST:: SOT 31278 SOS 2191 HAS SOPS 2191 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.191
AT ITER 8873 NEW BEST:: SOT 31278 SOS 2186 HAS SOPS 2186 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.186
AT ITER 8888 NEW BEST:: SOT 31277 SOS 2181 HAS SOPS 2181 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1859.181
AT ITER 8906 NEW BEST:: SOT 31276 SOS 2180 HAS SOPS 2180 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.18
AT ITER 8997 NEW BEST:: SOT 31266 SOS 2160 HAS SOPS 2160 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.16
AT ITER 9062 NEW BEST:: SOT 31256 SOS 2140 HAS SOPS 2140 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.14
AT ITER 9109 NEW BEST:: SOT 31255 SOS 2135 HAS SOPS 2135 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.135
AT ITER 9134 NEW BEST:: SOT 31255 SOS 2135 HAS SOPS 2135 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.135
AT ITER 9171 NEW BEST:: SOT 31253 SOS 2106 HAS SOPS 2106 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.106
AT ITER 9178 NEW BEST:: SOT 31251 SOS 2120 HAS SOPS 2120 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.12
AT ITER 9383 NEW BEST:: SOT 31264 SOS 2146 HAS SOPS 2146 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.146
AT ITER 9406 NEW BEST:: SOT 31261 SOS 2140 HAS SOPS 2140 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.14
AT ITER 9490 NEW BEST:: SOT 31258 SOS 2131 HAS SOPS 2131 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.131
AT ITER 9511 NEW BEST:: SOT 31257 SOS 2131 HAS SOPS 2131 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.131
AT ITER 9518 NEW BEST:: SOT 31252 SOS 2121 HAS SOPS 2121 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.121
AT ITER 9689 NEW BEST:: SOT 31251 SOS 2119 HAS SOPS 2119 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.119
AT ITER 9852 NEW BEST:: SOT 31256 SOS 2105 HAS SOPS 2105 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.105
AT ITER 9876 NEW BEST:: SOT 31253 SOS 2099 HAS SOPS 2099 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.099
AT ITER 9954 NEW BEST:: SOT 31251 SOS 2095 HAS SOPS 2095 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.095
STATE_SPACE STATES 515377520732011331036461129765621272702107522002 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34358501382134088735764075317708084846807168133401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589835423246

--------------------
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="Referendum-PT-0100"
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 Referendum-PT-0100, 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 r138-smll-158961502900432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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