Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858900680.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is FunctionPointer-PT-b008, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858900680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 25 11:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679496030995

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b008
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:40:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:40:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:40:32] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2023-03-22 14:40:32] [INFO ] Transformed 306 places.
[2023-03-22 14:40:32] [INFO ] Transformed 840 transitions.
[2023-03-22 14:40:32] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 156 ms.
[2023-03-22 14:40:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 10 ms.
Total runtime 193 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b008
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 3 NEW BEST:: SOT 250193 SOS 198564 HAS SOPS 191277 HAS SOUS 100303 HAS SOUPS 98819 WITH SCORE 99017.564
AT ITER 8 NEW BEST:: SOT 250200 SOS 198555 HAS SOPS 191268 HAS SOUS 100302 HAS SOUPS 98818 WITH SCORE 99016.555
AT ITER 10 NEW BEST:: SOT 250200 SOS 197938 HAS SOPS 190651 HAS SOUS 100228 HAS SOUPS 98744 WITH SCORE 98941.938
AT ITER 11 NEW BEST:: SOT 250200 SOS 197670 HAS SOPS 190267 HAS SOUS 100094 HAS SOUPS 98494 WITH SCORE 98691.67
AT ITER 14 NEW BEST:: SOT 250200 SOS 197226 HAS SOPS 189683 HAS SOUS 99872 HAS SOUPS 98132 WITH SCORE 98329.226
AT ITER 16 NEW BEST:: SOT 250200 SOS 195946 HAS SOPS 187859 HAS SOUS 98736 HAS SOUPS 96996 WITH SCORE 97191.946
AT ITER 17 NEW BEST:: SOT 250200 SOS 195822 HAS SOPS 187735 HAS SOUS 98668 HAS SOUPS 96928 WITH SCORE 97123.822
AT ITER 21 NEW BEST:: SOT 250200 SOS 195695 HAS SOPS 187608 HAS SOUS 98556 HAS SOUPS 96816 WITH SCORE 97011.695
AT ITER 28 NEW BEST:: SOT 250200 SOS 195695 HAS SOPS 187608 HAS SOUS 98552 HAS SOUPS 96812 WITH SCORE 97007.695
AT ITER 29 NEW BEST:: SOT 250200 SOS 195603 HAS SOPS 187516 HAS SOUS 98481 HAS SOUPS 96741 WITH SCORE 96936.603
AT ITER 30 NEW BEST:: SOT 250200 SOS 195587 HAS SOPS 187492 HAS SOUS 98481 HAS SOUPS 96733 WITH SCORE 96928.587
AT ITER 33 NEW BEST:: SOT 250200 SOS 195587 HAS SOPS 187492 HAS SOUS 98479 HAS SOUPS 96731 WITH SCORE 96926.587
AT ITER 34 NEW BEST:: SOT 250200 SOS 195587 HAS SOPS 187492 HAS SOUS 98461 HAS SOUPS 96713 WITH SCORE 96908.587
AT ITER 38 NEW BEST:: SOT 250200 SOS 195643 HAS SOPS 187548 HAS SOUS 98433 HAS SOUPS 96685 WITH SCORE 96880.643
AT ITER 40 NEW BEST:: SOT 250182 SOS 195313 HAS SOPS 187278 HAS SOUS 98475 HAS SOUPS 96649 WITH SCORE 96844.313
AT ITER 41 NEW BEST:: SOT 250182 SOS 195234 HAS SOPS 187199 HAS SOUS 98317 HAS SOUPS 96491 WITH SCORE 96686.234
AT ITER 47 NEW BEST:: SOT 250182 SOS 195206 HAS SOPS 187275 HAS SOUS 98153 HAS SOUPS 96379 WITH SCORE 96574.206
AT ITER 49 NEW BEST:: SOT 250182 SOS 195200 HAS SOPS 187269 HAS SOUS 98150 HAS SOUPS 96376 WITH SCORE 96571.2
AT ITER 56 NEW BEST:: SOT 250182 SOS 195122 HAS SOPS 187031 HAS SOUS 98213 HAS SOUPS 96283 WITH SCORE 96478.122
AT ITER 64 NEW BEST:: SOT 250182 SOS 195002 HAS SOPS 186911 HAS SOUS 98175 HAS SOUPS 96245 WITH SCORE 96440.002
AT ITER 68 NEW BEST:: SOT 250182 SOS 194966 HAS SOPS 186817 HAS SOUS 98204 HAS SOUPS 96245 WITH SCORE 96439.966
AT ITER 70 NEW BEST:: SOT 250182 SOS 194572 HAS SOPS 186423 HAS SOUS 98167 HAS SOUPS 96208 WITH SCORE 96402.572
AT ITER 76 NEW BEST:: SOT 250182 SOS 194556 HAS SOPS 186407 HAS SOUS 98151 HAS SOUPS 96192 WITH SCORE 96386.556
AT ITER 80 NEW BEST:: SOT 250182 SOS 194576 HAS SOPS 186427 HAS SOUS 98137 HAS SOUPS 96178 WITH SCORE 96372.576
AT ITER 83 NEW BEST:: SOT 250182 SOS 194098 HAS SOPS 185857 HAS SOUS 97931 HAS SOUPS 95880 WITH SCORE 96074.098
AT ITER 86 NEW BEST:: SOT 250182 SOS 193948 HAS SOPS 185707 HAS SOUS 97892 HAS SOUPS 95841 WITH SCORE 96034.948
AT ITER 88 NEW BEST:: SOT 250182 SOS 193848 HAS SOPS 185582 HAS SOUS 97867 HAS SOUPS 95791 WITH SCORE 95984.848
AT ITER 97 NEW BEST:: SOT 250182 SOS 194208 HAS SOPS 185942 HAS SOUS 97223 HAS SOUPS 95147 WITH SCORE 95341.208
AT ITER 99 NEW BEST:: SOT 250182 SOS 193965 HAS SOPS 185699 HAS SOUS 97199 HAS SOUPS 95123 WITH SCORE 95316.965
AT ITER 102 NEW BEST:: SOT 250182 SOS 193922 HAS SOPS 185617 HAS SOUS 97207 HAS SOUPS 95092 WITH SCORE 95285.922
AT ITER 104 NEW BEST:: SOT 250182 SOS 193990 HAS SOPS 185638 HAS SOUS 97215 HAS SOUPS 95058 WITH SCORE 95251.99
AT ITER 110 NEW BEST:: SOT 250182 SOS 194100 HAS SOPS 185748 HAS SOUS 97115 HAS SOUPS 94958 WITH SCORE 95152.1
AT ITER 111 NEW BEST:: SOT 250182 SOS 193974 HAS SOPS 185726 HAS SOUS 96939 HAS SOUPS 94834 WITH SCORE 95027.974
AT ITER 114 NEW BEST:: SOT 250182 SOS 193714 HAS SOPS 185531 HAS SOUS 97004 HAS SOUPS 94834 WITH SCORE 95027.714
AT ITER 117 NEW BEST:: SOT 250182 SOS 193578 HAS SOPS 185395 HAS SOUS 96837 HAS SOUPS 94667 WITH SCORE 94860.578
AT ITER 118 NEW BEST:: SOT 250182 SOS 193490 HAS SOPS 185405 HAS SOUS 96788 HAS SOUPS 94667 WITH SCORE 94860.49
AT ITER 120 NEW BEST:: SOT 250182 SOS 193387 HAS SOPS 185383 HAS SOUS 96625 HAS SOUPS 94581 WITH SCORE 94774.387
AT ITER 121 NEW BEST:: SOT 250182 SOS 193387 HAS SOPS 185375 HAS SOUS 96625 HAS SOUPS 94573 WITH SCORE 94766.387
AT ITER 124 NEW BEST:: SOT 250182 SOS 193189 HAS SOPS 185501 HAS SOUS 95950 HAS SOUPS 93898 WITH SCORE 94091.189
AT ITER 127 NEW BEST:: SOT 250182 SOS 193172 HAS SOPS 185484 HAS SOUS 95933 HAS SOUPS 93881 WITH SCORE 94074.172
AT ITER 128 NEW BEST:: SOT 250166 SOS 192973 HAS SOPS 185539 HAS SOUS 95879 HAS SOUPS 93827 WITH SCORE 94019.973
AT ITER 136 NEW BEST:: SOT 250166 SOS 192780 HAS SOPS 185174 HAS SOUS 96036 HAS SOUPS 93820 WITH SCORE 94012.78
AT ITER 139 NEW BEST:: SOT 250166 SOS 192738 HAS SOPS 185118 HAS SOUS 96008 HAS SOUPS 93778 WITH SCORE 93970.738
AT ITER 140 NEW BEST:: SOT 250166 SOS 192560 HAS SOPS 184940 HAS SOUS 95877 HAS SOUPS 93647 WITH SCORE 93839.56
AT ITER 143 NEW BEST:: SOT 247529 SOS 189930 HAS SOPS 182310 HAS SOUS 95676 HAS SOUPS 93446 WITH SCORE 93635.93
AT ITER 146 NEW BEST:: SOT 247529 SOS 189998 HAS SOPS 182378 HAS SOUS 95634 HAS SOUPS 93404 WITH SCORE 93593.998
AT ITER 149 NEW BEST:: SOT 247513 SOS 189784 HAS SOPS 182498 HAS SOUS 94609 HAS SOUPS 92379 WITH SCORE 92568.784
AT ITER 153 NEW BEST:: SOT 247497 SOS 189570 HAS SOPS 182596 HAS SOUS 93554 HAS SOUPS 91324 WITH SCORE 91513.57
AT ITER 155 NEW BEST:: SOT 247157 SOS 187646 HAS SOPS 180684 HAS SOUS 93392 HAS SOUPS 91162 WITH SCORE 91349.646
AT ITER 159 NEW BEST:: SOT 247157 SOS 187456 HAS SOPS 180494 HAS SOUS 93290 HAS SOUPS 91060 WITH SCORE 91247.456
AT ITER 162 NEW BEST:: SOT 246845 SOS 187144 HAS SOPS 179870 HAS SOUS 92826 HAS SOUPS 90596 WITH SCORE 90783.144
AT ITER 163 NEW BEST:: SOT 246845 SOS 187136 HAS SOPS 179862 HAS SOUS 92826 HAS SOUPS 90596 WITH SCORE 90783.136
AT ITER 165 NEW BEST:: SOT 246845 SOS 187113 HAS SOPS 179839 HAS SOUS 92818 HAS SOUPS 90588 WITH SCORE 90775.113
AT ITER 166 NEW BEST:: SOT 246845 SOS 187085 HAS SOPS 179811 HAS SOUS 92804 HAS SOUPS 90574 WITH SCORE 90761.085
AT ITER 167 NEW BEST:: SOT 246845 SOS 187331 HAS SOPS 179981 HAS SOUS 92766 HAS SOUPS 90536 WITH SCORE 90723.331
AT ITER 171 NEW BEST:: SOT 246845 SOS 187212 HAS SOPS 179982 HAS SOUS 92492 HAS SOUPS 90366 WITH SCORE 90553.212
AT ITER 172 NEW BEST:: SOT 246845 SOS 187140 HAS SOPS 179946 HAS SOUS 92488 HAS SOUPS 90362 WITH SCORE 90549.14
AT ITER 173 NEW BEST:: SOT 246845 SOS 187274 HAS SOPS 180080 HAS SOUS 92390 HAS SOUPS 90264 WITH SCORE 90451.274
AT ITER 174 NEW BEST:: SOT 246845 SOS 187004 HAS SOPS 179810 HAS SOUS 92233 HAS SOUPS 90107 WITH SCORE 90294.004
AT ITER 175 NEW BEST:: SOT 246845 SOS 187104 HAS SOPS 180054 HAS SOUS 92106 HAS SOUPS 90067 WITH SCORE 90254.104
AT ITER 177 NEW BEST:: SOT 246845 SOS 187150 HAS SOPS 180100 HAS SOUS 92101 HAS SOUPS 90062 WITH SCORE 90249.15
AT ITER 179 NEW BEST:: SOT 246845 SOS 186410 HAS SOPS 179360 HAS SOUS 91697 HAS SOUPS 89658 WITH SCORE 89844.41
AT ITER 181 NEW BEST:: SOT 246845 SOS 186348 HAS SOPS 179298 HAS SOUS 91666 HAS SOUPS 89627 WITH SCORE 89813.348
AT ITER 182 NEW BEST:: SOT 246845 SOS 186314 HAS SOPS 179264 HAS SOUS 91622 HAS SOUPS 89583 WITH SCORE 89769.314
AT ITER 183 NEW BEST:: SOT 246845 SOS 186168 HAS SOPS 178721 HAS SOUS 90655 HAS SOUPS 88616 WITH SCORE 88802.168
AT ITER 184 NEW BEST:: SOT 246845 SOS 186059 HAS SOPS 178626 HAS SOUS 90611 HAS SOUPS 88579 WITH SCORE 88765.059
AT ITER 186 NEW BEST:: SOT 246845 SOS 185517 HAS SOPS 178172 HAS SOUS 90560 HAS SOUPS 88528 WITH SCORE 88713.517
AT ITER 192 NEW BEST:: SOT 246845 SOS 185449 HAS SOPS 178104 HAS SOUS 89537 HAS SOUPS 87505 WITH SCORE 87690.449
AT ITER 195 NEW BEST:: SOT 246843 SOS 185447 HAS SOPS 178100 HAS SOUS 89537 HAS SOUPS 87503 WITH SCORE 87688.447
AT ITER 200 NEW BEST:: SOT 246843 SOS 185205 HAS SOPS 177858 HAS SOUS 89436 HAS SOUPS 87402 WITH SCORE 87587.205
AT ITER 203 NEW BEST:: SOT 246843 SOS 185141 HAS SOPS 177794 HAS SOUS 89388 HAS SOUPS 87354 WITH SCORE 87539.141
AT ITER 214 NEW BEST:: SOT 246843 SOS 184755 HAS SOPS 177408 HAS SOUS 89121 HAS SOUPS 87087 WITH SCORE 87271.755
AT ITER 217 NEW BEST:: SOT 246843 SOS 184033 HAS SOPS 176686 HAS SOUS 88961 HAS SOUPS 86927 WITH SCORE 87111.033
AT ITER 219 NEW BEST:: SOT 246843 SOS 183931 HAS SOPS 176584 HAS SOUS 88902 HAS SOUPS 86868 WITH SCORE 87051.931
AT ITER 227 NEW BEST:: SOT 246843 SOS 184107 HAS SOPS 176760 HAS SOUS 88845 HAS SOUPS 86811 WITH SCORE 86995.107
AT ITER 229 NEW BEST:: SOT 246843 SOS 184001 HAS SOPS 176601 HAS SOUS 88845 HAS SOUPS 86758 WITH SCORE 86942.001
AT ITER 234 NEW BEST:: SOT 246843 SOS 183313 HAS SOPS 176177 HAS SOUS 88515 HAS SOUPS 86428 WITH SCORE 86611.313
AT ITER 235 NEW BEST:: SOT 246861 SOS 183281 HAS SOPS 176145 HAS SOUS 88328 HAS SOUPS 86241 WITH SCORE 86424.281
AT ITER 239 NEW BEST:: SOT 246861 SOS 183179 HAS SOPS 176043 HAS SOUS 88280 HAS SOUPS 86193 WITH SCORE 86376.179
AT ITER 248 NEW BEST:: SOT 246861 SOS 183457 HAS SOPS 176413 HAS SOUS 87373 HAS SOUPS 85378 WITH SCORE 85561.457
AT ITER 249 NEW BEST:: SOT 246861 SOS 183323 HAS SOPS 176279 HAS SOUS 87239 HAS SOUPS 85244 WITH SCORE 85427.323
AT ITER 258 NEW BEST:: SOT 246809 SOS 183245 HAS SOPS 176201 HAS SOUS 87161 HAS SOUPS 85166 WITH SCORE 85349.245
AT ITER 263 NEW BEST:: SOT 246809 SOS 182875 HAS SOPS 175831 HAS SOUS 87067 HAS SOUPS 85072 WITH SCORE 85254.875
AT ITER 266 NEW BEST:: SOT 246809 SOS 182751 HAS SOPS 176013 HAS SOUS 86775 HAS SOUPS 84992 WITH SCORE 85174.751
AT ITER 268 NEW BEST:: SOT 246809 SOS 182991 HAS SOPS 176193 HAS SOUS 86715 HAS SOUPS 84932 WITH SCORE 85114.991
AT ITER 271 NEW BEST:: SOT 246809 SOS 182991 HAS SOPS 176193 HAS SOUS 86710 HAS SOUPS 84927 WITH SCORE 85109.991
AT ITER 272 NEW BEST:: SOT 246809 SOS 182871 HAS SOPS 176073 HAS SOUS 86539 HAS SOUPS 84756 WITH SCORE 84938.871
AT ITER 274 NEW BEST:: SOT 246809 SOS 182685 HAS SOPS 175887 HAS SOUS 86446 HAS SOUPS 84663 WITH SCORE 84845.685
AT ITER 278 NEW BEST:: SOT 246813 SOS 182467 HAS SOPS 175669 HAS SOUS 86377 HAS SOUPS 84594 WITH SCORE 84776.467
AT ITER 282 NEW BEST:: SOT 246813 SOS 182239 HAS SOPS 175441 HAS SOUS 86220 HAS SOUPS 84437 WITH SCORE 84619.239
AT ITER 303 NEW BEST:: SOT 246813 SOS 182227 HAS SOPS 175429 HAS SOUS 86214 HAS SOUPS 84431 WITH SCORE 84613.227
AT ITER 304 NEW BEST:: SOT 246813 SOS 180864 HAS SOPS 174066 HAS SOUS 86183 HAS SOUPS 84400 WITH SCORE 84580.864
AT ITER 305 NEW BEST:: SOT 246827 SOS 180824 HAS SOPS 173934 HAS SOUS 86230 HAS SOUPS 84355 WITH SCORE 84535.824
AT ITER 320 NEW BEST:: SOT 246827 SOS 179900 HAS SOPS 173208 HAS SOUS 85986 HAS SOUPS 84111 WITH SCORE 84290.9
AT ITER 322 NEW BEST:: SOT 246827 SOS 180194 HAS SOPS 173336 HAS SOUS 85955 HAS SOUPS 84080 WITH SCORE 84260.194
AT ITER 323 NEW BEST:: SOT 246827 SOS 179900 HAS SOPS 173042 HAS SOUS 85914 HAS SOUPS 84039 WITH SCORE 84218.9
AT ITER 325 NEW BEST:: SOT 246827 SOS 179682 HAS SOPS 172398 HAS SOUS 84548 HAS SOUPS 82673 WITH SCORE 82852.682
AT ITER 326 NEW BEST:: SOT 246827 SOS 179354 HAS SOPS 171756 HAS SOUS 84565 HAS SOUPS 82513 WITH SCORE 82692.354
AT ITER 330 NEW BEST:: SOT 246827 SOS 177120 HAS SOPS 169856 HAS SOUS 84428 HAS SOUPS 82376 WITH SCORE 82553.12
AT ITER 343 NEW BEST:: SOT 246827 SOS 176890 HAS SOPS 169626 HAS SOUS 83705 HAS SOUPS 81653 WITH SCORE 81829.89
AT ITER 356 NEW BEST:: SOT 246827 SOS 176740 HAS SOPS 169433 HAS SOUS 83663 HAS SOUPS 81568 WITH SCORE 81744.74
AT ITER 358 NEW BEST:: SOT 246827 SOS 176254 HAS SOPS 169109 HAS SOUS 83582 HAS SOUPS 81568 WITH SCORE 81744.254
AT ITER 360 NEW BEST:: SOT 246827 SOS 176242 HAS SOPS 169097 HAS SOUS 83579 HAS SOUPS 81565 WITH SCORE 81741.242
AT ITER 363 NEW BEST:: SOT 246827 SOS 176068 HAS SOPS 168923 HAS SOUS 83500 HAS SOUPS 81486 WITH SCORE 81662.068
AT ITER 366 NEW BEST:: SOT 246827 SOS 176068 HAS SOPS 168923 HAS SOUS 83480 HAS SOUPS 81466 WITH SCORE 81642.068
AT ITER 368 NEW BEST:: SOT 246827 SOS 174336 HAS SOPS 167191 HAS SOUS 83242 HAS SOUPS 81228 WITH SCORE 81402.336
AT ITER 373 NEW BEST:: SOT 246827 SOS 174228 HAS SOPS 167171 HAS SOUS 83138 HAS SOUPS 81168 WITH SCORE 81342.228
AT ITER 374 NEW BEST:: SOT 246827 SOS 174074 HAS SOPS 167017 HAS SOUS 82801 HAS SOUPS 80831 WITH SCORE 81005.074
AT ITER 384 NEW BEST:: SOT 246827 SOS 174089 HAS SOPS 167032 HAS SOUS 82762 HAS SOUPS 80792 WITH SCORE 80966.089
AT ITER 388 NEW BEST:: SOT 246827 SOS 174087 HAS SOPS 167122 HAS SOUS 82715 HAS SOUPS 80791 WITH SCORE 80965.087
AT ITER 389 NEW BEST:: SOT 246827 SOS 173953 HAS SOPS 166988 HAS SOUS 82608 HAS SOUPS 80684 WITH SCORE 80857.953
AT ITER 391 NEW BEST:: SOT 246827 SOS 174008 HAS SOPS 167043 HAS SOUS 82529 HAS SOUPS 80605 WITH SCORE 80779.008
AT ITER 392 NEW BEST:: SOT 246827 SOS 173758 HAS SOPS 167073 HAS SOUS 82293 HAS SOUPS 80544 WITH SCORE 80717.758
AT ITER 395 NEW BEST:: SOT 246827 SOS 173228 HAS SOPS 166543 HAS SOUS 82104 HAS SOUPS 80355 WITH SCORE 80528.228
AT ITER 403 NEW BEST:: SOT 246827 SOS 173192 HAS SOPS 166507 HAS SOUS 81964 HAS SOUPS 80215 WITH SCORE 80388.192
AT ITER 405 NEW BEST:: SOT 246827 SOS 173132 HAS SOPS 166417 HAS SOUS 81934 HAS SOUPS 80155 WITH SCORE 80328.132
AT ITER 406 NEW BEST:: SOT 246827 SOS 171680 HAS SOPS 164965 HAS SOUS 81540 HAS SOUPS 79761 WITH SCORE 79932.68
AT ITER 407 NEW BEST:: SOT 246811 SOS 171590 HAS SOPS 164937 HAS SOUS 81354 HAS SOUPS 79579 WITH SCORE 79750.59
AT ITER 412 NEW BEST:: SOT 246759 SOS 171538 HAS SOPS 164937 HAS SOUS 81254 HAS SOUPS 79479 WITH SCORE 79650.538
AT ITER 420 NEW BEST:: SOT 246759 SOS 171250 HAS SOPS 164677 HAS SOUS 81118 HAS SOUPS 79371 WITH SCORE 79542.25
AT ITER 430 NEW BEST:: SOT 246759 SOS 171362 HAS SOPS 164789 HAS SOUS 81105 HAS SOUPS 79358 WITH SCORE 79529.362
AT ITER 435 NEW BEST:: SOT 246759 SOS 171362 HAS SOPS 164789 HAS SOUS 81075 HAS SOUPS 79328 WITH SCORE 79499.362
AT ITER 436 NEW BEST:: SOT 246759 SOS 171393 HAS SOPS 164820 HAS SOUS 80889 HAS SOUPS 79142 WITH SCORE 79313.393
AT ITER 437 NEW BEST:: SOT 246759 SOS 170113 HAS SOPS 163540 HAS SOUS 80865 HAS SOUPS 79118 WITH SCORE 79288.113
AT ITER 442 NEW BEST:: SOT 246759 SOS 169939 HAS SOPS 163366 HAS SOUS 80842 HAS SOUPS 79095 WITH SCORE 79264.939
AT ITER 443 NEW BEST:: SOT 246759 SOS 169939 HAS SOPS 163332 HAS SOUS 80808 HAS SOUPS 79061 WITH SCORE 79230.939
AT ITER 447 NEW BEST:: SOT 246759 SOS 169947 HAS SOPS 163332 HAS SOUS 80804 HAS SOUPS 79057 WITH SCORE 79226.947
AT ITER 448 NEW BEST:: SOT 246759 SOS 169799 HAS SOPS 163184 HAS SOUS 80701 HAS SOUPS 78954 WITH SCORE 79123.799
AT ITER 451 NEW BEST:: SOT 246759 SOS 169633 HAS SOPS 163018 HAS SOUS 80701 HAS SOUPS 78954 WITH SCORE 79123.633
AT ITER 454 NEW BEST:: SOT 246759 SOS 169259 HAS SOPS 162644 HAS SOUS 80608 HAS SOUPS 78861 WITH SCORE 79030.259
AT ITER 457 NEW BEST:: SOT 246759 SOS 169093 HAS SOPS 162365 HAS SOUS 80696 HAS SOUPS 78861 WITH SCORE 79030.093
AT ITER 468 NEW BEST:: SOT 246759 SOS 168911 HAS SOPS 162183 HAS SOUS 80607 HAS SOUPS 78772 WITH SCORE 78940.911
AT ITER 469 NEW BEST:: SOT 246759 SOS 168937 HAS SOPS 162209 HAS SOUS 80284 HAS SOUPS 78449 WITH SCORE 78617.937
AT ITER 470 NEW BEST:: SOT 246759 SOS 168915 HAS SOPS 162187 HAS SOUS 80274 HAS SOUPS 78439 WITH SCORE 78607.915
AT ITER 471 NEW BEST:: SOT 246759 SOS 166907 HAS SOPS 160179 HAS SOUS 80094 HAS SOUPS 78259 WITH SCORE 78425.907
AT ITER 475 NEW BEST:: SOT 246759 SOS 166987 HAS SOPS 160217 HAS SOUS 80113 HAS SOUPS 78257 WITH SCORE 78423.987
AT ITER 477 NEW BEST:: SOT 246529 SOS 166379 HAS SOPS 159891 HAS SOUS 79925 HAS SOUPS 78197 WITH SCORE 78363.379
AT ITER 480 NEW BEST:: SOT 246531 SOS 166289 HAS SOPS 159801 HAS SOUS 79835 HAS SOUPS 78107 WITH SCORE 78273.289
AT ITER 484 NEW BEST:: SOT 246531 SOS 166265 HAS SOPS 159777 HAS SOUS 79823 HAS SOUPS 78095 WITH SCORE 78261.265
AT ITER 485 NEW BEST:: SOT 246531 SOS 166231 HAS SOPS 159725 HAS SOUS 79798 HAS SOUPS 78060 WITH SCORE 78226.231
AT ITER 487 NEW BEST:: SOT 246531 SOS 166053 HAS SOPS 159547 HAS SOUS 79501 HAS SOUPS 77763 WITH SCORE 77929.053
AT ITER 488 NEW BEST:: SOT 246531 SOS 165115 HAS SOPS 158499 HAS SOUS 79349 HAS SOUPS 77521 WITH SCORE 77686.115
AT ITER 493 NEW BEST:: SOT 246531 SOS 165112 HAS SOPS 158415 HAS SOUS 79335 HAS SOUPS 77426 WITH SCORE 77591.112
AT ITER 494 NEW BEST:: SOT 246531 SOS 165026 HAS SOPS 158329 HAS SOUS 79315 HAS SOUPS 77406 WITH SCORE 77571.026
AT ITER 498 NEW BEST:: SOT 246531 SOS 165018 HAS SOPS 158321 HAS SOUS 79311 HAS SOUPS 77402 WITH SCORE 77567.018
AT ITER 500 NEW BEST:: SOT 246531 SOS 164972 HAS SOPS 158275 HAS SOUS 79311 HAS SOUPS 77402 WITH SCORE 77566.972
AT ITER 504 NEW BEST:: SOT 246389 SOS 164546 HAS SOPS 157849 HAS SOUS 79098 HAS SOUPS 77189 WITH SCORE 77353.546
AT ITER 508 NEW BEST:: SOT 246389 SOS 164370 HAS SOPS 157673 HAS SOUS 79066 HAS SOUPS 77157 WITH SCORE 77321.37
AT ITER 513 NEW BEST:: SOT 246389 SOS 164368 HAS SOPS 157671 HAS SOUS 79065 HAS SOUPS 77156 WITH SCORE 77320.368
AT ITER 514 NEW BEST:: SOT 246389 SOS 164284 HAS SOPS 157587 HAS SOUS 79023 HAS SOUPS 77114 WITH SCORE 77278.284
AT ITER 518 NEW BEST:: SOT 246389 SOS 164348 HAS SOPS 157651 HAS SOUS 78973 HAS SOUPS 77064 WITH SCORE 77228.348
AT ITER 522 NEW BEST:: SOT 246389 SOS 164328 HAS SOPS 157631 HAS SOUS 78943 HAS SOUPS 77034 WITH SCORE 77198.328
AT ITER 531 NEW BEST:: SOT 246389 SOS 164286 HAS SOPS 157589 HAS SOUS 78911 HAS SOUPS 77002 WITH SCORE 77166.286
AT ITER 532 NEW BEST:: SOT 246389 SOS 163877 HAS SOPS 157129 HAS SOUS 78843 HAS SOUPS 76883 WITH SCORE 77046.877
AT ITER 536 NEW BEST:: SOT 246383 SOS 163685 HAS SOPS 156937 HAS SOUS 78824 HAS SOUPS 76864 WITH SCORE 77027.685
AT ITER 539 NEW BEST:: SOT 246383 SOS 163471 HAS SOPS 156613 HAS SOUS 78772 HAS SOUPS 76757 WITH SCORE 76920.471
AT ITER 541 NEW BEST:: SOT 246383 SOS 163476 HAS SOPS 156618 HAS SOUS 78767 HAS SOUPS 76752 WITH SCORE 76915.476
AT ITER 554 NEW BEST:: SOT 246383 SOS 163360 HAS SOPS 156502 HAS SOUS 78649 HAS SOUPS 76634 WITH SCORE 76797.36
AT ITER 556 NEW BEST:: SOT 246383 SOS 163332 HAS SOPS 156463 HAS SOUS 78642 HAS SOUPS 76616 WITH SCORE 76779.332
AT ITER 560 NEW BEST:: SOT 246375 SOS 163324 HAS SOPS 156447 HAS SOUS 78634 HAS SOUPS 76608 WITH SCORE 76771.324
AT ITER 562 NEW BEST:: SOT 246375 SOS 163252 HAS SOPS 156375 HAS SOUS 78626 HAS SOUPS 76600 WITH SCORE 76763.252
AT ITER 565 NEW BEST:: SOT 246375 SOS 163226 HAS SOPS 156349 HAS SOUS 78626 HAS SOUPS 76600 WITH SCORE 76763.226
AT ITER 566 NEW BEST:: SOT 246377 SOS 163210 HAS SOPS 156319 HAS SOUS 78614 HAS SOUPS 76575 WITH SCORE 76738.21
AT ITER 567 NEW BEST:: SOT 246377 SOS 163507 HAS SOPS 156616 HAS SOUS 78527 HAS SOUPS 76488 WITH SCORE 76651.507
AT ITER 569 NEW BEST:: SOT 246377 SOS 163321 HAS SOPS 156430 HAS SOUS 78527 HAS SOUPS 76488 WITH SCORE 76651.321
AT ITER 577 NEW BEST:: SOT 246377 SOS 162977 HAS SOPS 156086 HAS SOUS 78527 HAS SOUPS 76488 WITH SCORE 76650.977
AT ITER 579 NEW BEST:: SOT 246389 SOS 162789 HAS SOPS 155898 HAS SOUS 78446 HAS SOUPS 76407 WITH SCORE 76569.789
AT ITER 581 NEW BEST:: SOT 246389 SOS 162733 HAS SOPS 155842 HAS SOUS 78432 HAS SOUPS 76393 WITH SCORE 76555.733
AT ITER 582 NEW BEST:: SOT 246389 SOS 163127 HAS SOPS 155901 HAS SOUS 78514 HAS SOUPS 76303 WITH SCORE 76466.127
AT ITER 583 NEW BEST:: SOT 246343 SOS 163081 HAS SOPS 155855 HAS SOUS 78468 HAS SOUPS 76257 WITH SCORE 76420.081
AT ITER 584 NEW BEST:: SOT 246327 SOS 163065 HAS SOPS 155851 HAS SOUS 78464 HAS SOUPS 76253 WITH SCORE 76416.065
AT ITER 586 NEW BEST:: SOT 246327 SOS 162941 HAS SOPS 155727 HAS SOUS 78130 HAS SOUPS 75919 WITH SCORE 76081.941
AT ITER 589 NEW BEST:: SOT 246327 SOS 162921 HAS SOPS 155519 HAS SOUS 77510 HAS SOUPS 75299 WITH SCORE 75461.921
AT ITER 594 NEW BEST:: SOT 246293 SOS 162887 HAS SOPS 155485 HAS SOUS 77470 HAS SOUPS 75259 WITH SCORE 75421.887
AT ITER 596 NEW BEST:: SOT 246293 SOS 162685 HAS SOPS 155283 HAS SOUS 77348 HAS SOUPS 75137 WITH SCORE 75299.685
AT ITER 606 NEW BEST:: SOT 246296 SOS 162530 HAS SOPS 155128 HAS SOUS 77284 HAS SOUPS 75073 WITH SCORE 75235.53
AT ITER 608 NEW BEST:: SOT 246296 SOS 162606 HAS SOPS 155128 HAS SOUS 77246 HAS SOUPS 74997 WITH SCORE 75159.606
AT ITER 628 NEW BEST:: SOT 246296 SOS 162592 HAS SOPS 155114 HAS SOUS 77239 HAS SOUPS 74990 WITH SCORE 75152.592
AT ITER 632 NEW BEST:: SOT 246296 SOS 162588 HAS SOPS 155110 HAS SOUS 77239 HAS SOUPS 74990 WITH SCORE 75152.588
AT ITER 634 NEW BEST:: SOT 246070 SOS 162120 HAS SOPS 154642 HAS SOUS 77096 HAS SOUPS 74847 WITH SCORE 75009.12
AT ITER 641 NEW BEST:: SOT 246070 SOS 162144 HAS SOPS 154654 HAS SOUS 77084 HAS SOUPS 74835 WITH SCORE 74997.144
AT ITER 642 NEW BEST:: SOT 246070 SOS 162050 HAS SOPS 154560 HAS SOUS 77037 HAS SOUPS 74788 WITH SCORE 74950.05
AT ITER 646 NEW BEST:: SOT 246070 SOS 162178 HAS SOPS 154688 HAS SOUS 76857 HAS SOUPS 74608 WITH SCORE 74770.178
AT ITER 652 NEW BEST:: SOT 246070 SOS 162156 HAS SOPS 154666 HAS SOUS 76838 HAS SOUPS 74589 WITH SCORE 74751.156
AT ITER 653 NEW BEST:: SOT 246070 SOS 162136 HAS SOPS 154646 HAS SOUS 76833 HAS SOUPS 74584 WITH SCORE 74746.136
AT ITER 657 NEW BEST:: SOT 246070 SOS 161426 HAS SOPS 153816 HAS SOUS 76828 HAS SOUPS 74519 WITH SCORE 74680.426
AT ITER 659 NEW BEST:: SOT 246073 SOS 161477 HAS SOPS 153803 HAS SOUS 76855 HAS SOUPS 74482 WITH SCORE 74643.477
AT ITER 668 NEW BEST:: SOT 246073 SOS 160805 HAS SOPS 153131 HAS SOUS 76743 HAS SOUPS 74370 WITH SCORE 74530.805
AT ITER 677 NEW BEST:: SOT 246073 SOS 160834 HAS SOPS 153160 HAS SOUS 76714 HAS SOUPS 74341 WITH SCORE 74501.834
AT ITER 678 NEW BEST:: SOT 246073 SOS 161524 HAS SOPS 153850 HAS SOUS 76710 HAS SOUPS 74337 WITH SCORE 74498.524
AT ITER 682 NEW BEST:: SOT 246073 SOS 161420 HAS SOPS 153798 HAS SOUS 76658 HAS SOUPS 74311 WITH SCORE 74472.42
AT ITER 691 NEW BEST:: SOT 246073 SOS 161140 HAS SOPS 153518 HAS SOUS 76614 HAS SOUPS 74267 WITH SCORE 74428.14
AT ITER 694 NEW BEST:: SOT 246073 SOS 161176 HAS SOPS 153554 HAS SOUS 76522 HAS SOUPS 74175 WITH SCORE 74336.176
AT ITER 695 NEW BEST:: SOT 246065 SOS 160992 HAS SOPS 153462 HAS SOUS 76480 HAS SOUPS 74133 WITH SCORE 74293.992
AT ITER 697 NEW BEST:: SOT 246065 SOS 160912 HAS SOPS 153382 HAS SOUS 76480 HAS SOUPS 74133 WITH SCORE 74293.912
AT ITER 700 NEW BEST:: SOT 246065 SOS 160848 HAS SOPS 153318 HAS SOUS 76464 HAS SOUPS 74117 WITH SCORE 74277.848
AT ITER 708 NEW BEST:: SOT 246065 SOS 160848 HAS SOPS 153365 HAS SOUS 76420 HAS SOUPS 74113 WITH SCORE 74273.848
AT ITER 710 NEW BEST:: SOT 246065 SOS 160526 HAS SOPS 153043 HAS SOUS 76259 HAS SOUPS 73952 WITH SCORE 74112.526
AT ITER 711 NEW BEST:: SOT 246065 SOS 160480 HAS SOPS 153043 HAS SOUS 76236 HAS SOUPS 73952 WITH SCORE 74112.48
AT ITER 713 NEW BEST:: SOT 246065 SOS 159580 HAS SOPS 152143 HAS SOUS 75972 HAS SOUPS 73688 WITH SCORE 73847.58
AT ITER 717 NEW BEST:: SOT 246065 SOS 160142 HAS SOPS 152447 HAS SOUS 75825 HAS SOUPS 73541 WITH SCORE 73701.142
AT ITER 728 NEW BEST:: SOT 246065 SOS 159416 HAS SOPS 151721 HAS SOUS 75558 HAS SOUPS 73274 WITH SCORE 73433.416
AT ITER 729 NEW BEST:: SOT 246065 SOS 159574 HAS SOPS 151879 HAS SOUS 75550 HAS SOUPS 73266 WITH SCORE 73425.574
AT ITER 731 NEW BEST:: SOT 246205 SOS 158326 HAS SOPS 150645 HAS SOUS 74976 HAS SOUPS 72705 WITH SCORE 72863.326
AT ITER 733 NEW BEST:: SOT 246205 SOS 158318 HAS SOPS 150641 HAS SOUS 74968 HAS SOUPS 72701 WITH SCORE 72859.318
AT ITER 734 NEW BEST:: SOT 246205 SOS 158310 HAS SOPS 150641 HAS SOUS 74960 HAS SOUPS 72697 WITH SCORE 72855.31
AT ITER 749 NEW BEST:: SOT 246205 SOS 158326 HAS SOPS 150649 HAS SOUS 74956 HAS SOUPS 72693 WITH SCORE 72851.326
AT ITER 751 NEW BEST:: SOT 246205 SOS 158324 HAS SOPS 150647 HAS SOUS 74953 HAS SOUPS 72690 WITH SCORE 72848.324
AT ITER 755 NEW BEST:: SOT 246205 SOS 158120 HAS SOPS 150443 HAS SOUS 74851 HAS SOUPS 72588 WITH SCORE 72746.12
AT ITER 760 NEW BEST:: SOT 246205 SOS 158012 HAS SOPS 150335 HAS SOUS 74807 HAS SOUPS 72544 WITH SCORE 72702.012
AT ITER 765 NEW BEST:: SOT 246205 SOS 158350 HAS SOPS 150673 HAS SOUS 74732 HAS SOUPS 72469 WITH SCORE 72627.35
AT ITER 770 NEW BEST:: SOT 246205 SOS 158266 HAS SOPS 150517 HAS SOUS 74744 HAS SOUPS 72427 WITH SCORE 72585.266
AT ITER 772 NEW BEST:: SOT 246205 SOS 158068 HAS SOPS 150319 HAS SOUS 74740 HAS SOUPS 72423 WITH SCORE 72581.068
AT ITER 773 NEW BEST:: SOT 246205 SOS 157960 HAS SOPS 150173 HAS SOUS 74707 HAS SOUPS 72352 WITH SCORE 72509.96
AT ITER 774 NEW BEST:: SOT 246205 SOS 157734 HAS SOPS 149947 HAS SOUS 74701 HAS SOUPS 72346 WITH SCORE 72503.734
AT ITER 778 NEW BEST:: SOT 246205 SOS 157638 HAS SOPS 149851 HAS SOUS 74701 HAS SOUPS 72346 WITH SCORE 72503.638
AT ITER 784 NEW BEST:: SOT 246205 SOS 157626 HAS SOPS 149839 HAS SOUS 74698 HAS SOUPS 72343 WITH SCORE 72500.626
AT ITER 791 NEW BEST:: SOT 246213 SOS 157432 HAS SOPS 149645 HAS SOUS 74574 HAS SOUPS 72219 WITH SCORE 72376.432
AT ITER 792 NEW BEST:: SOT 246206 SOS 157341 HAS SOPS 149610 HAS SOUS 74452 HAS SOUPS 72153 WITH SCORE 72310.341
AT ITER 794 NEW BEST:: SOT 246206 SOS 157523 HAS SOPS 149518 HAS SOUS 74543 HAS SOUPS 72107 WITH SCORE 72264.523
AT ITER 805 NEW BEST:: SOT 246206 SOS 157263 HAS SOPS 149258 HAS SOUS 74480 HAS SOUPS 72044 WITH SCORE 72201.263
AT ITER 806 NEW BEST:: SOT 246206 SOS 157901 HAS SOPS 149896 HAS SOUS 74280 HAS SOUPS 71844 WITH SCORE 72001.901
AT ITER 809 NEW BEST:: SOT 246206 SOS 157889 HAS SOPS 149884 HAS SOUS 74274 HAS SOUPS 71838 WITH SCORE 71995.889
AT ITER 815 NEW BEST:: SOT 246206 SOS 157873 HAS SOPS 149948 HAS SOUS 74226 HAS SOUPS 71830 WITH SCORE 71987.873
AT ITER 819 NEW BEST:: SOT 246206 SOS 156597 HAS SOPS 148672 HAS SOUS 73787 HAS SOUPS 71391 WITH SCORE 71547.597
AT ITER 821 NEW BEST:: SOT 246206 SOS 156585 HAS SOPS 148660 HAS SOUS 73781 HAS SOUPS 71385 WITH SCORE 71541.585
AT ITER 826 NEW BEST:: SOT 246206 SOS 156443 HAS SOPS 148518 HAS SOUS 73710 HAS SOUPS 71314 WITH SCORE 71470.443
AT ITER 827 NEW BEST:: SOT 246206 SOS 156369 HAS SOPS 148444 HAS SOUS 73689 HAS SOUPS 71293 WITH SCORE 71449.369
AT ITER 831 NEW BEST:: SOT 246206 SOS 155943 HAS SOPS 148263 HAS SOUS 73357 HAS SOUPS 71125 WITH SCORE 71280.943
AT ITER 833 NEW BEST:: SOT 246206 SOS 155704 HAS SOPS 148024 HAS SOUS 73313 HAS SOUPS 71081 WITH SCORE 71236.704
AT ITER 837 NEW BEST:: SOT 246206 SOS 155740 HAS SOPS 148060 HAS SOUS 73295 HAS SOUPS 71063 WITH SCORE 71218.74
AT ITER 839 NEW BEST:: SOT 246206 SOS 155714 HAS SOPS 148034 HAS SOUS 73282 HAS SOUPS 71050 WITH SCORE 71205.714
AT ITER 843 NEW BEST:: SOT 246206 SOS 155642 HAS SOPS 147962 HAS SOUS 73246 HAS SOUPS 71014 WITH SCORE 71169.642
AT ITER 853 NEW BEST:: SOT 246206 SOS 155552 HAS SOPS 147729 HAS SOUS 73201 HAS SOUPS 70892 WITH SCORE 71047.552
AT ITER 859 NEW BEST:: SOT 246206 SOS 155472 HAS SOPS 147649 HAS SOUS 73192 HAS SOUPS 70883 WITH SCORE 71038.472
AT ITER 866 NEW BEST:: SOT 246206 SOS 155256 HAS SOPS 147649 HAS SOUS 72967 HAS SOUPS 70799 WITH SCORE 70954.256
AT ITER 867 NEW BEST:: SOT 246206 SOS 155004 HAS SOPS 147397 HAS SOUS 72861 HAS SOUPS 70693 WITH SCORE 70848.004
AT ITER 869 NEW BEST:: SOT 246206 SOS 155000 HAS SOPS 147393 HAS SOUS 72860 HAS SOUPS 70692 WITH SCORE 70847.0
AT ITER 870 NEW BEST:: SOT 246206 SOS 154829 HAS SOPS 147222 HAS SOUS 72775 HAS SOUPS 70607 WITH SCORE 70761.829
AT ITER 871 NEW BEST:: SOT 246206 SOS 154503 HAS SOPS 146940 HAS SOUS 72740 HAS SOUPS 70572 WITH SCORE 70726.503
AT ITER 873 NEW BEST:: SOT 246206 SOS 154411 HAS SOPS 146848 HAS SOUS 72694 HAS SOUPS 70526 WITH SCORE 70680.411
AT ITER 880 NEW BEST:: SOT 246206 SOS 154355 HAS SOPS 146714 HAS SOUS 72673 HAS SOUPS 70463 WITH SCORE 70617.355
AT ITER 884 NEW BEST:: SOT 246206 SOS 153819 HAS SOPS 146178 HAS SOUS 72503 HAS SOUPS 70293 WITH SCORE 70446.819
AT ITER 888 NEW BEST:: SOT 246206 SOS 153803 HAS SOPS 146162 HAS SOUS 72495 HAS SOUPS 70285 WITH SCORE 70438.803
AT ITER 902 NEW BEST:: SOT 246206 SOS 153575 HAS SOPS 145934 HAS SOUS 72459 HAS SOUPS 70249 WITH SCORE 70402.575
AT ITER 905 NEW BEST:: SOT 246206 SOS 153019 HAS SOPS 145378 HAS SOUS 72384 HAS SOUPS 70174 WITH SCORE 70327.019
AT ITER 906 NEW BEST:: SOT 246206 SOS 152861 HAS SOPS 145220 HAS SOUS 72252 HAS SOUPS 70042 WITH SCORE 70194.861
AT ITER 926 NEW BEST:: SOT 246206 SOS 152749 HAS SOPS 145108 HAS SOUS 72252 HAS SOUPS 70042 WITH SCORE 70194.749
AT ITER 928 NEW BEST:: SOT 246206 SOS 152733 HAS SOPS 145092 HAS SOUS 72252 HAS SOUPS 70042 WITH SCORE 70194.733
AT ITER 932 NEW BEST:: SOT 246206 SOS 152657 HAS SOPS 145016 HAS SOUS 72252 HAS SOUPS 70042 WITH SCORE 70194.657
AT ITER 933 NEW BEST:: SOT 246205 SOS 152458 HAS SOPS 144815 HAS SOUS 72197 HAS SOUPS 69986 WITH SCORE 70138.458
AT ITER 938 NEW BEST:: SOT 246205 SOS 152552 HAS SOPS 144909 HAS SOUS 72159 HAS SOUPS 69948 WITH SCORE 70100.552
AT ITER 939 NEW BEST:: SOT 246205 SOS 152460 HAS SOPS 144789 HAS SOUS 72131 HAS SOUPS 69892 WITH SCORE 70044.46
AT ITER 945 NEW BEST:: SOT 246205 SOS 152460 HAS SOPS 144789 HAS SOUS 72129 HAS SOUPS 69890 WITH SCORE 70042.46
AT ITER 950 NEW BEST:: SOT 246205 SOS 152448 HAS SOPS 144777 HAS SOUS 72125 HAS SOUPS 69886 WITH SCORE 70038.448
AT ITER 955 NEW BEST:: SOT 246205 SOS 152676 HAS SOPS 145005 HAS SOUS 72107 HAS SOUPS 69868 WITH SCORE 70020.676
AT ITER 956 NEW BEST:: SOT 246205 SOS 152652 HAS SOPS 144989 HAS SOUS 72103 HAS SOUPS 69868 WITH SCORE 70020.652
AT ITER 958 NEW BEST:: SOT 246205 SOS 152518 HAS SOPS 144855 HAS SOUS 72045 HAS SOUPS 69810 WITH SCORE 69962.518
AT ITER 960 NEW BEST:: SOT 246193 SOS 152470 HAS SOPS 144831 HAS SOUS 72037 HAS SOUPS 69802 WITH SCORE 69954.47
AT ITER 963 NEW BEST:: SOT 246193 SOS 152408 HAS SOPS 144769 HAS SOUS 71980 HAS SOUPS 69745 WITH SCORE 69897.408
AT ITER 972 NEW BEST:: SOT 246101 SOS 151010 HAS SOPS 143455 HAS SOUS 71865 HAS SOUPS 69630 WITH SCORE 69781.01
AT ITER 973 NEW BEST:: SOT 246101 SOS 150367 HAS SOPS 142812 HAS SOUS 71756 HAS SOUPS 69521 WITH SCORE 69671.367
AT ITER 974 NEW BEST:: SOT 246101 SOS 150178 HAS SOPS 142276 HAS SOUS 69635 HAS SOUPS 67400 WITH SCORE 67550.178
AT ITER 978 NEW BEST:: SOT 246101 SOS 150110 HAS SOPS 141970 HAS SOUS 69597 HAS SOUPS 67243 WITH SCORE 67393.11
AT ITER 981 NEW BEST:: SOT 246191 SOS 150400 HAS SOPS 142150 HAS SOUS 69583 HAS SOUPS 67229 WITH SCORE 67379.4
AT ITER 986 NEW BEST:: SOT 246191 SOS 150438 HAS SOPS 142188 HAS SOUS 69545 HAS SOUPS 67191 WITH SCORE 67341.438
AT ITER 989 NEW BEST:: SOT 246191 SOS 149322 HAS SOPS 141072 HAS SOUS 69323 HAS SOUPS 66969 WITH SCORE 67118.322
AT ITER 991 NEW BEST:: SOT 246141 SOS 149182 HAS SOPS 140948 HAS SOUS 69286 HAS SOUPS 66932 WITH SCORE 67081.182
AT ITER 992 NEW BEST:: SOT 246141 SOS 149180 HAS SOPS 140946 HAS SOUS 69285 HAS SOUPS 66931 WITH SCORE 67080.18
AT ITER 995 NEW BEST:: SOT 246141 SOS 149170 HAS SOPS 140936 HAS SOUS 69275 HAS SOUPS 66921 WITH SCORE 67070.17
AT ITER 1000 NEW BEST:: SOT 246141 SOS 149242 HAS SOPS 141008 HAS SOUS 69253 HAS SOUPS 66899 WITH SCORE 67048.242
AT ITER 1015 NEW BEST:: SOT 246141 SOS 149204 HAS SOPS 140932 HAS SOUS 69253 HAS SOUPS 66880 WITH SCORE 67029.204
AT ITER 1029 NEW BEST:: SOT 246113 SOS 149088 HAS SOPS 140846 HAS SOUS 69233 HAS SOUPS 66860 WITH SCORE 67009.088
AT ITER 1030 NEW BEST:: SOT 246113 SOS 149042 HAS SOPS 140800 HAS SOUS 69146 HAS SOUPS 66773 WITH SCORE 66922.042
AT ITER 1031 NEW BEST:: SOT 246113 SOS 148846 HAS SOPS 140604 HAS SOUS 69048 HAS SOUPS 66675 WITH SCORE 66823.846
AT ITER 1035 NEW BEST:: SOT 246113 SOS 148756 HAS SOPS 140514 HAS SOUS 68960 HAS SOUPS 66587 WITH SCORE 66735.756
AT ITER 1037 NEW BEST:: SOT 246113 SOS 148696 HAS SOPS 140454 HAS SOUS 68846 HAS SOUPS 66473 WITH SCORE 66621.696
AT ITER 1039 NEW BEST:: SOT 246113 SOS 148716 HAS SOPS 140474 HAS SOUS 68812 HAS SOUPS 66439 WITH SCORE 66587.716
AT ITER 1041 NEW BEST:: SOT 246113 SOS 148574 HAS SOPS 140332 HAS SOUS 68741 HAS SOUPS 66368 WITH SCORE 66516.574
AT ITER 1042 NEW BEST:: SOT 246113 SOS 148432 HAS SOPS 140190 HAS SOUS 68708 HAS SOUPS 66335 WITH SCORE 66483.432
AT ITER 1046 NEW BEST:: SOT 246113 SOS 148424 HAS SOPS 140182 HAS SOUS 68706 HAS SOUPS 66333 WITH SCORE 66481.424
AT ITER 1052 NEW BEST:: SOT 246113 SOS 148408 HAS SOPS 140166 HAS SOUS 68702 HAS SOUPS 66329 WITH SCORE 66477.408
AT ITER 1055 NEW BEST:: SOT 246113 SOS 148579 HAS SOPS 140166 HAS SOUS 68704 HAS SOUPS 66239 WITH SCORE 66387.579
AT ITER 1059 NEW BEST:: SOT 246113 SOS 148479 HAS SOPS 139934 HAS SOUS 68698 HAS SOUPS 66167 WITH SCORE 66315.479
AT ITER 1067 NEW BEST:: SOT 246113 SOS 148479 HAS SOPS 139834 HAS SOUS 68698 HAS SOUPS 66117 WITH SCORE 66265.479
AT ITER 1077 NEW BEST:: SOT 246113 SOS 148373 HAS SOPS 139728 HAS SOUS 68664 HAS SOUPS 66083 WITH SCORE 66231.373
AT ITER 1096 NEW BEST:: SOT 246113 SOS 148269 HAS SOPS 139624 HAS SOUS 68664 HAS SOUPS 66083 WITH SCORE 66231.269
AT ITER 1097 NEW BEST:: SOT 246113 SOS 148211 HAS SOPS 139598 HAS SOUS 68629 HAS SOUPS 66064 WITH SCORE 66212.211
AT ITER 1100 NEW BEST:: SOT 246113 SOS 148074 HAS SOPS 139611 HAS SOUS 68523 HAS SOUPS 66033 WITH SCORE 66181.074
AT ITER 1110 NEW BEST:: SOT 246155 SOS 148130 HAS SOPS 139595 HAS SOUS 68519 HAS SOUPS 66017 WITH SCORE 66165.13
AT ITER 1114 NEW BEST:: SOT 246155 SOS 148001 HAS SOPS 139466 HAS SOUS 68432 HAS SOUPS 65930 WITH SCORE 66078.001
AT ITER 1117 NEW BEST:: SOT 246155 SOS 147969 HAS SOPS 139434 HAS SOUS 68419 HAS SOUPS 65917 WITH SCORE 66064.969
AT ITER 1122 NEW BEST:: SOT 246155 SOS 147881 HAS SOPS 139346 HAS SOUS 68351 HAS SOUPS 65849 WITH SCORE 65996.881
AT ITER 1123 NEW BEST:: SOT 246155 SOS 147685 HAS SOPS 139150 HAS SOUS 68302 HAS SOUPS 65800 WITH SCORE 65947.685
AT ITER 1125 NEW BEST:: SOT 246155 SOS 147421 HAS SOPS 138982 HAS SOUS 68296 HAS SOUPS 65800 WITH SCORE 65947.421
AT ITER 1126 NEW BEST:: SOT 246153 SOS 147419 HAS SOPS 138980 HAS SOUS 68210 HAS SOUPS 65714 WITH SCORE 65861.419
AT ITER 1127 NEW BEST:: SOT 246153 SOS 146781 HAS SOPS 138342 HAS SOUS 68087 HAS SOUPS 65591 WITH SCORE 65737.781
AT ITER 1130 NEW BEST:: SOT 246153 SOS 146799 HAS SOPS 138298 HAS SOUS 68104 HAS SOUPS 65572 WITH SCORE 65718.799
AT ITER 1131 NEW BEST:: SOT 246153 SOS 146671 HAS SOPS 138170 HAS SOUS 68096 HAS SOUPS 65564 WITH SCORE 65710.671
AT ITER 1132 NEW BEST:: SOT 246153 SOS 146621 HAS SOPS 138135 HAS SOUS 68026 HAS SOUPS 65509 WITH SCORE 65655.621
AT ITER 1136 NEW BEST:: SOT 246153 SOS 146621 HAS SOPS 138213 HAS SOUS 67948 HAS SOUPS 65470 WITH SCORE 65616.621
AT ITER 1143 NEW BEST:: SOT 241414 SOS 141945 HAS SOPS 133415 HAS SOUS 67961 HAS SOUPS 65468 WITH SCORE 65609.945
AT ITER 1144 NEW BEST:: SOT 241414 SOS 141855 HAS SOPS 133325 HAS SOUS 67961 HAS SOUPS 65468 WITH SCORE 65609.855
AT ITER 1154 NEW BEST:: SOT 241414 SOS 141695 HAS SOPS 133165 HAS SOUS 67929 HAS SOUPS 65436 WITH SCORE 65577.695
AT ITER 1163 NEW BEST:: SOT 241414 SOS 142408 HAS SOPS 133878 HAS SOUS 67856 HAS SOUPS 65363 WITH SCORE 65505.408
AT ITER 1179 NEW BEST:: SOT 241414 SOS 142120 HAS SOPS 133734 HAS SOUS 67784 HAS SOUPS 65363 WITH SCORE 65505.12
AT ITER 1184 NEW BEST:: SOT 241414 SOS 142298 HAS SOPS 133912 HAS SOUS 67765 HAS SOUPS 65344 WITH SCORE 65486.298
AT ITER 1188 NEW BEST:: SOT 241424 SOS 142374 HAS SOPS 133954 HAS SOUS 67774 HAS SOUPS 65342 WITH SCORE 65484.374
AT ITER 1190 NEW BEST:: SOT 241424 SOS 142350 HAS SOPS 133994 HAS SOUS 67730 HAS SOUPS 65330 WITH SCORE 65472.35
AT ITER 1194 NEW BEST:: SOT 241334 SOS 141690 HAS SOPS 133624 HAS SOUS 67539 HAS SOUPS 65234 WITH SCORE 65375.69
AT ITER 1198 NEW BEST:: SOT 241334 SOS 141728 HAS SOPS 133662 HAS SOUS 67531 HAS SOUPS 65226 WITH SCORE 65367.728
AT ITER 1200 NEW BEST:: SOT 241334 SOS 141662 HAS SOPS 133596 HAS SOUS 67498 HAS SOUPS 65193 WITH SCORE 65334.662
AT ITER 1202 NEW BEST:: SOT 241334 SOS 141182 HAS SOPS 133020 HAS SOUS 67546 HAS SOUPS 65193 WITH SCORE 65334.182
AT ITER 1206 NEW BEST:: SOT 241304 SOS 141088 HAS SOPS 132960 HAS SOUS 67518 HAS SOUPS 65165 WITH SCORE 65306.088
AT ITER 1207 NEW BEST:: SOT 241304 SOS 141160 HAS SOPS 133032 HAS SOUS 67482 HAS SOUPS 65129 WITH SCORE 65270.16
AT ITER 1212 NEW BEST:: SOT 241304 SOS 141036 HAS SOPS 132908 HAS SOUS 67468 HAS SOUPS 65115 WITH SCORE 65256.036
AT ITER 1218 NEW BEST:: SOT 241304 SOS 141036 HAS SOPS 132908 HAS SOUS 67461 HAS SOUPS 65108 WITH SCORE 65249.036
AT ITER 1225 NEW BEST:: SOT 241304 SOS 140954 HAS SOPS 132826 HAS SOUS 67461 HAS SOUPS 65108 WITH SCORE 65248.954
AT ITER 1228 NEW BEST:: SOT 241304 SOS 141072 HAS SOPS 132944 HAS SOUS 67433 HAS SOUPS 65080 WITH SCORE 65221.072
AT ITER 1233 NEW BEST:: SOT 241304 SOS 140164 HAS SOPS 132036 HAS SOUS 67433 HAS SOUPS 65080 WITH SCORE 65220.164
AT ITER 1235 NEW BEST:: SOT 241306 SOS 140311 HAS SOPS 132184 HAS SOUS 67390 HAS SOUPS 65037 WITH SCORE 65177.311
AT ITER 1243 NEW BEST:: SOT 241306 SOS 140279 HAS SOPS 132152 HAS SOUS 67309 HAS SOUPS 64956 WITH SCORE 65096.279
AT ITER 1246 NEW BEST:: SOT 241306 SOS 140189 HAS SOPS 132062 HAS SOUS 67308 HAS SOUPS 64955 WITH SCORE 65095.189
AT ITER 1247 NEW BEST:: SOT 241306 SOS 140084 HAS SOPS 131957 HAS SOUS 67238 HAS SOUPS 64885 WITH SCORE 65025.084
AT ITER 1262 NEW BEST:: SOT 241306 SOS 140112 HAS SOPS 131985 HAS SOUS 67224 HAS SOUPS 64871 WITH SCORE 65011.112
AT ITER 1276 NEW BEST:: SOT 241306 SOS 139688 HAS SOPS 131561 HAS SOUS 67220 HAS SOUPS 64867 WITH SCORE 65006.688
AT ITER 1284 NEW BEST:: SOT 241306 SOS 138788 HAS SOPS 130661 HAS SOUS 66998 HAS SOUPS 64645 WITH SCORE 64783.788
AT ITER 1286 NEW BEST:: SOT 241306 SOS 138788 HAS SOPS 130661 HAS SOUS 66995 HAS SOUPS 64642 WITH SCORE 64780.788
AT ITER 1294 NEW BEST:: SOT 241306 SOS 138808 HAS SOPS 130681 HAS SOUS 66949 HAS SOUPS 64596 WITH SCORE 64734.808
AT ITER 1312 NEW BEST:: SOT 241306 SOS 138306 HAS SOPS 130179 HAS SOUS 66711 HAS SOUPS 64358 WITH SCORE 64496.306
AT ITER 1313 NEW BEST:: SOT 241306 SOS 138258 HAS SOPS 130131 HAS SOUS 66706 HAS SOUPS 64353 WITH SCORE 64491.258
AT ITER 1317 NEW BEST:: SOT 241498 SOS 137672 HAS SOPS 129497 HAS SOUS 66443 HAS SOUPS 64080 WITH SCORE 64217.672
AT ITER 1323 NEW BEST:: SOT 241498 SOS 137488 HAS SOPS 129313 HAS SOUS 66380 HAS SOUPS 64017 WITH SCORE 64154.488
AT ITER 1326 NEW BEST:: SOT 241498 SOS 137486 HAS SOPS 129311 HAS SOUS 66380 HAS SOUPS 64017 WITH SCORE 64154.486
AT ITER 1328 NEW BEST:: SOT 241498 SOS 137162 HAS SOPS 128987 HAS SOUS 66360 HAS SOUPS 63997 WITH SCORE 64134.162
AT ITER 1336 NEW BEST:: SOT 241498 SOS 137136 HAS SOPS 128961 HAS SOUS 66341 HAS SOUPS 63978 WITH SCORE 64115.136
AT ITER 1337 NEW BEST:: SOT 241498 SOS 137010 HAS SOPS 128835 HAS SOUS 66341 HAS SOUPS 63978 WITH SCORE 64115.01
AT ITER 1338 NEW BEST:: SOT 241498 SOS 136938 HAS SOPS 128763 HAS SOUS 66309 HAS SOUPS 63946 WITH SCORE 64082.938
AT ITER 1345 NEW BEST:: SOT 241498 SOS 137064 HAS SOPS 128973 HAS SOUS 66260 HAS SOUPS 63939 WITH SCORE 64076.064
AT ITER 1347 NEW BEST:: SOT 241498 SOS 136920 HAS SOPS 128901 HAS SOUS 66220 HAS SOUPS 63935 WITH SCORE 64071.92
AT ITER 1362 NEW BEST:: SOT 241498 SOS 136678 HAS SOPS 128659 HAS SOUS 66176 HAS SOUPS 63891 WITH SCORE 64027.678
AT ITER 1372 NEW BEST:: SOT 241498 SOS 136610 HAS SOPS 128591 HAS SOUS 66142 HAS SOUPS 63857 WITH SCORE 63993.61
AT ITER 1381 NEW BEST:: SOT 241498 SOS 136610 HAS SOPS 128591 HAS SOUS 66103 HAS SOUPS 63818 WITH SCORE 63954.61
AT ITER 1385 NEW BEST:: SOT 241498 SOS 136352 HAS SOPS 128333 HAS SOUS 66002 HAS SOUPS 63717 WITH SCORE 63853.352
AT ITER 1392 NEW BEST:: SOT 241498 SOS 136216 HAS SOPS 128197 HAS SOUS 65959 HAS SOUPS 63674 WITH SCORE 63810.216
AT ITER 1395 NEW BEST:: SOT 241498 SOS 135586 HAS SOPS 127567 HAS SOUS 65792 HAS SOUPS 63507 WITH SCORE 63642.586
AT ITER 1407 NEW BEST:: SOT 241498 SOS 135472 HAS SOPS 127453 HAS SOUS 65735 HAS SOUPS 63450 WITH SCORE 63585.472
AT ITER 1414 NEW BEST:: SOT 241498 SOS 135460 HAS SOPS 127441 HAS SOUS 65723 HAS SOUPS 63438 WITH SCORE 63573.46
AT ITER 1417 NEW BEST:: SOT 241468 SOS 135431 HAS SOPS 127417 HAS SOUS 65694 HAS SOUPS 63414 WITH SCORE 63549.431
AT ITER 1428 NEW BEST:: SOT 241434 SOS 135229 HAS SOPS 127237 HAS SOUS 65670 HAS SOUPS 63390 WITH SCORE 63525.229
AT ITER 1429 NEW BEST:: SOT 241434 SOS 135191 HAS SOPS 127217 HAS SOUS 65651 HAS SOUPS 63380 WITH SCORE 63515.191
AT ITER 1433 NEW BEST:: SOT 241434 SOS 135031 HAS SOPS 127092 HAS SOUS 65577 HAS SOUPS 63328 WITH SCORE 63463.031
AT ITER 1445 NEW BEST:: SOT 241434 SOS 134941 HAS SOPS 127092 HAS SOUS 65532 HAS SOUPS 63328 WITH SCORE 63462.941
AT ITER 1450 NEW BEST:: SOT 241434 SOS 134785 HAS SOPS 126936 HAS SOUS 65495 HAS SOUPS 63291 WITH SCORE 63425.785
AT ITER 1456 NEW BEST:: SOT 241434 SOS 134733 HAS SOPS 126884 HAS SOUS 65469 HAS SOUPS 63265 WITH SCORE 63399.733
AT ITER 1466 NEW BEST:: SOT 241434 SOS 134751 HAS SOPS 126920 HAS SOUS 65451 HAS SOUPS 63256 WITH SCORE 63390.751
AT ITER 1468 NEW BEST:: SOT 241334 SOS 134349 HAS SOPS 126520 HAS SOUS 65345 HAS SOUPS 63150 WITH SCORE 63284.349
AT ITER 1470 NEW BEST:: SOT 241277 SOS 134047 HAS SOPS 126199 HAS SOUS 65137 HAS SOUPS 62942 WITH SCORE 63076.047
AT ITER 1473 NEW BEST:: SOT 241277 SOS 134055 HAS SOPS 126207 HAS SOUS 65071 HAS SOUPS 62876 WITH SCORE 63010.055
AT ITER 1480 NEW BEST:: SOT 241277 SOS 133977 HAS SOPS 126129 HAS SOUS 65071 HAS SOUPS 62876 WITH SCORE 63009.977
AT ITER 1484 NEW BEST:: SOT 241277 SOS 133897 HAS SOPS 126049 HAS SOUS 65068 HAS SOUPS 62873 WITH SCORE 63006.897
AT ITER 1494 NEW BEST:: SOT 241277 SOS 133037 HAS SOPS 125189 HAS SOUS 64946 HAS SOUPS 62751 WITH SCORE 62884.037
AT ITER 1498 NEW BEST:: SOT 241277 SOS 133009 HAS SOPS 125133 HAS SOUS 64946 HAS SOUPS 62737 WITH SCORE 62870.009
AT ITER 1499 NEW BEST:: SOT 241277 SOS 132935 HAS SOPS 125059 HAS SOUS 64873 HAS SOUPS 62664 WITH SCORE 62796.935
AT ITER 1502 NEW BEST:: SOT 241277 SOS 132883 HAS SOPS 125007 HAS SOUS 64873 HAS SOUPS 62664 WITH SCORE 62796.883
AT ITER 1514 NEW BEST:: SOT 241277 SOS 132795 HAS SOPS 124919 HAS SOUS 64849 HAS SOUPS 62640 WITH SCORE 62772.795
AT ITER 1515 NEW BEST:: SOT 241277 SOS 132719 HAS SOPS 124811 HAS SOUS 64811 HAS SOUPS 62583 WITH SCORE 62715.719
AT ITER 1519 NEW BEST:: SOT 241277 SOS 132967 HAS SOPS 125059 HAS SOUS 64797 HAS SOUPS 62569 WITH SCORE 62701.967
AT ITER 1522 NEW BEST:: SOT 241277 SOS 132949 HAS SOPS 125041 HAS SOUS 64797 HAS SOUPS 62569 WITH SCORE 62701.949
AT ITER 1532 NEW BEST:: SOT 241279 SOS 132950 HAS SOPS 125041 HAS SOUS 64789 HAS SOUPS 62561 WITH SCORE 62693.95
AT ITER 1535 NEW BEST:: SOT 241279 SOS 132970 HAS SOPS 125017 HAS SOUS 64792 HAS SOUPS 62542 WITH SCORE 62674.97
AT ITER 1539 NEW BEST:: SOT 241279 SOS 132974 HAS SOPS 125021 HAS SOUS 64739 HAS SOUPS 62489 WITH SCORE 62621.974
AT ITER 1559 NEW BEST:: SOT 241279 SOS 132954 HAS SOPS 125001 HAS SOUS 64683 HAS SOUPS 62433 WITH SCORE 62565.954
AT ITER 1560 NEW BEST:: SOT 241279 SOS 132954 HAS SOPS 125001 HAS SOUS 64679 HAS SOUPS 62429 WITH SCORE 62561.954
AT ITER 1568 NEW BEST:: SOT 241279 SOS 132980 HAS SOPS 125027 HAS SOUS 64661 HAS SOUPS 62411 WITH SCORE 62543.98
AT ITER 1573 NEW BEST:: SOT 241279 SOS 132869 HAS SOPS 124916 HAS SOUS 64625 HAS SOUPS 62375 WITH SCORE 62507.869
AT ITER 1577 NEW BEST:: SOT 241279 SOS 132773 HAS SOPS 124820 HAS SOUS 64577 HAS SOUPS 62327 WITH SCORE 62459.773
AT ITER 1581 NEW BEST:: SOT 241279 SOS 132681 HAS SOPS 124728 HAS SOUS 64531 HAS SOUPS 62281 WITH SCORE 62413.681
AT ITER 1583 NEW BEST:: SOT 241279 SOS 132697 HAS SOPS 124744 HAS SOUS 64523 HAS SOUPS 62273 WITH SCORE 62405.697
AT ITER 1589 NEW BEST:: SOT 241295 SOS 132698 HAS SOPS 124608 HAS SOUS 64530 HAS SOUPS 62197 WITH SCORE 62329.698
AT ITER 1612 NEW BEST:: SOT 241295 SOS 132710 HAS SOPS 124620 HAS SOUS 64524 HAS SOUPS 62191 WITH SCORE 62323.71
AT ITER 1615 NEW BEST:: SOT 241295 SOS 132640 HAS SOPS 124550 HAS SOUS 64334 HAS SOUPS 62001 WITH SCORE 62133.64
AT ITER 1621 NEW BEST:: SOT 241339 SOS 132788 HAS SOPS 124610 HAS SOUS 64364 HAS SOUPS 61998 WITH SCORE 62130.788
AT ITER 1622 NEW BEST:: SOT 241339 SOS 132684 HAS SOPS 124506 HAS SOUS 64312 HAS SOUPS 61946 WITH SCORE 62078.684
AT ITER 1630 NEW BEST:: SOT 241339 SOS 132650 HAS SOPS 124472 HAS SOUS 64295 HAS SOUPS 61929 WITH SCORE 62061.65
AT ITER 1631 NEW BEST:: SOT 225459 SOS 118496 HAS SOPS 108864 HAS SOUS 58749 HAS SOUPS 56423 WITH SCORE 56541.496
AT ITER 1634 NEW BEST:: SOT 208308 SOS 107049 HAS SOPS 92517 HAS SOUS 52496 HAS SOUPS 50179 WITH SCORE 50286.049
AT ITER 1637 NEW BEST:: SOT 208308 SOS 106713 HAS SOPS 92181 HAS SOUS 52445 HAS SOUPS 50128 WITH SCORE 50234.713
AT ITER 1639 NEW BEST:: SOT 208308 SOS 106727 HAS SOPS 92167 HAS SOUS 52448 HAS SOUPS 50117 WITH SCORE 50223.727
AT ITER 1644 NEW BEST:: SOT 208308 SOS 106737 HAS SOPS 92177 HAS SOUS 52421 HAS SOUPS 50090 WITH SCORE 50196.737
AT ITER 1656 NEW BEST:: SOT 208308 SOS 106659 HAS SOPS 92099 HAS SOUS 52384 HAS SOUPS 50053 WITH SCORE 50159.659
AT ITER 1670 NEW BEST:: SOT 208308 SOS 106641 HAS SOPS 92063 HAS SOUS 52328 HAS SOUPS 49997 WITH SCORE 50103.641
AT ITER 1676 NEW BEST:: SOT 208308 SOS 106541 HAS SOPS 91963 HAS SOUS 52328 HAS SOUPS 49997 WITH SCORE 50103.541
AT ITER 1679 NEW BEST:: SOT 208308 SOS 106461 HAS SOPS 91883 HAS SOUS 52288 HAS SOUPS 49957 WITH SCORE 50063.461
AT ITER 1683 NEW BEST:: SOT 208308 SOS 106427 HAS SOPS 91605 HAS SOUS 52336 HAS SOUPS 49883 WITH SCORE 49989.427
AT ITER 1685 NEW BEST:: SOT 208231 SOS 106350 HAS SOPS 91386 HAS SOUS 52167 HAS SOUPS 49704 WITH SCORE 49810.35
AT ITER 1690 NEW BEST:: SOT 208215 SOS 106163 HAS SOPS 91335 HAS SOUS 51871 HAS SOUPS 49517 WITH SCORE 49623.163
AT ITER 1693 NEW BEST:: SOT 208215 SOS 106191 HAS SOPS 91363 HAS SOUS 51868 HAS SOUPS 49514 WITH SCORE 49620.191
AT ITER 1702 NEW BEST:: SOT 208131 SOS 105823 HAS SOPS 91127 HAS SOUS 51724 HAS SOUPS 49424 WITH SCORE 49529.823
AT ITER 1704 NEW BEST:: SOT 208110 SOS 105781 HAS SOPS 91064 HAS SOUS 51719 HAS SOUPS 49419 WITH SCORE 49524.781
AT ITER 1716 NEW BEST:: SOT 208110 SOS 105860 HAS SOPS 91143 HAS SOUS 51704 HAS SOUPS 49404 WITH SCORE 49509.86
AT ITER 1734 NEW BEST:: SOT 208110 SOS 105864 HAS SOPS 91147 HAS SOUS 51665 HAS SOUPS 49365 WITH SCORE 49470.864
AT ITER 1747 NEW BEST:: SOT 208110 SOS 105862 HAS SOPS 91353 HAS SOUS 51540 HAS SOUPS 49344 WITH SCORE 49449.862
AT ITER 1762 NEW BEST:: SOT 208110 SOS 105842 HAS SOPS 91333 HAS SOUS 51528 HAS SOUPS 49332 WITH SCORE 49437.842
AT ITER 1769 NEW BEST:: SOT 208110 SOS 105834 HAS SOPS 91325 HAS SOUS 51524 HAS SOUPS 49328 WITH SCORE 49433.834
AT ITER 1773 NEW BEST:: SOT 208110 SOS 105832 HAS SOPS 91311 HAS SOUS 51508 HAS SOUPS 49314 WITH SCORE 49419.832
AT ITER 1776 NEW BEST:: SOT 208110 SOS 105772 HAS SOPS 91251 HAS SOUS 51499 HAS SOUPS 49305 WITH SCORE 49410.772
AT ITER 1777 NEW BEST:: SOT 208079 SOS 105627 HAS SOPS 91044 HAS SOUS 51437 HAS SOUPS 49243 WITH SCORE 49348.627
AT ITER 1778 NEW BEST:: SOT 207628 SOS 105305 HAS SOPS 90607 HAS SOUS 50992 HAS SOUPS 48808 WITH SCORE 48913.305
AT ITER 1780 NEW BEST:: SOT 207557 SOS 106097 HAS SOPS 91580 HAS SOUS 50938 HAS SOUPS 48754 WITH SCORE 48860.097
AT ITER 1781 NEW BEST:: SOT 207557 SOS 106067 HAS SOPS 91550 HAS SOUS 50931 HAS SOUPS 48747 WITH SCORE 48853.067
AT ITER 1786 NEW BEST:: SOT 207583 SOS 106093 HAS SOPS 91580 HAS SOUS 50895 HAS SOUPS 48711 WITH SCORE 48817.093
AT ITER 1791 NEW BEST:: SOT 207583 SOS 106121 HAS SOPS 91580 HAS SOUS 50881 HAS SOUPS 48690 WITH SCORE 48796.121
AT ITER 1809 NEW BEST:: SOT 207583 SOS 105895 HAS SOPS 91444 HAS SOUS 50755 HAS SOUPS 48609 WITH SCORE 48714.895
AT ITER 1812 NEW BEST:: SOT 207554 SOS 105866 HAS SOPS 91399 HAS SOUS 50710 HAS SOUPS 48564 WITH SCORE 48669.866
AT ITER 1814 NEW BEST:: SOT 207772 SOS 106084 HAS SOPS 91485 HAS SOUS 50702 HAS SOUPS 48556 WITH SCORE 48662.084
AT ITER 1820 NEW BEST:: SOT 207772 SOS 106078 HAS SOPS 91479 HAS SOUS 50699 HAS SOUPS 48553 WITH SCORE 48659.078
AT ITER 1821 NEW BEST:: SOT 207772 SOS 106106 HAS SOPS 91507 HAS SOUS 50685 HAS SOUPS 48539 WITH SCORE 48645.106
AT ITER 1823 NEW BEST:: SOT 207772 SOS 106076 HAS SOPS 91477 HAS SOUS 50680 HAS SOUPS 48534 WITH SCORE 48640.076
AT ITER 1828 NEW BEST:: SOT 207772 SOS 105664 HAS SOPS 91065 HAS SOUS 50573 HAS SOUPS 48427 WITH SCORE 48532.664
AT ITER 1840 NEW BEST:: SOT 207750 SOS 105642 HAS SOPS 91059 HAS SOUS 50521 HAS SOUPS 48375 WITH SCORE 48480.642
AT ITER 1841 NEW BEST:: SOT 205829 SOS 104375 HAS SOPS 89211 HAS SOUS 48629 HAS SOUPS 46536 WITH SCORE 46640.375
AT ITER 1845 NEW BEST:: SOT 205829 SOS 104375 HAS SOPS 89211 HAS SOUS 48594 HAS SOUPS 46501 WITH SCORE 46605.375
AT ITER 1857 NEW BEST:: SOT 205835 SOS 104253 HAS SOPS 89091 HAS SOUS 48560 HAS SOUPS 46467 WITH SCORE 46571.253
AT ITER 1865 NEW BEST:: SOT 205835 SOS 104241 HAS SOPS 89079 HAS SOUS 48554 HAS SOUPS 46461 WITH SCORE 46565.241
AT ITER 1866 NEW BEST:: SOT 205581 SOS 103970 HAS SOPS 88719 HAS SOUS 48442 HAS SOUPS 46349 WITH SCORE 46452.97
AT ITER 1871 NEW BEST:: SOT 205581 SOS 103970 HAS SOPS 88755 HAS SOUS 48420 HAS SOUPS 46327 WITH SCORE 46430.97
AT ITER 1886 NEW BEST:: SOT 205579 SOS 103968 HAS SOPS 88751 HAS SOUS 48416 HAS SOUPS 46323 WITH SCORE 46426.968
AT ITER 1899 NEW BEST:: SOT 205579 SOS 103912 HAS SOPS 88723 HAS SOUS 48402 HAS SOUPS 46323 WITH SCORE 46426.912
AT ITER 1906 NEW BEST:: SOT 205572 SOS 104413 HAS SOPS 89230 HAS SOUS 48307 HAS SOUPS 46228 WITH SCORE 46332.413
AT ITER 1924 NEW BEST:: SOT 205512 SOS 104337 HAS SOPS 89154 HAS SOUS 48263 HAS SOUPS 46184 WITH SCORE 46288.337
AT ITER 1933 NEW BEST:: SOT 205482 SOS 104307 HAS SOPS 89134 HAS SOUS 48243 HAS SOUPS 46164 WITH SCORE 46268.307
AT ITER 1936 NEW BEST:: SOT 205702 SOS 104311 HAS SOPS 88756 HAS SOUS 48129 HAS SOUPS 46050 WITH SCORE 46154.311
AT ITER 1938 NEW BEST:: SOT 203163 SOS 102961 HAS SOPS 86345 HAS SOUS 45645 HAS SOUPS 43642 WITH SCORE 43744.961
AT ITER 1939 NEW BEST:: SOT 203163 SOS 102999 HAS SOPS 86309 HAS SOUS 45674 HAS SOUPS 43634 WITH SCORE 43736.999
AT ITER 1945 NEW BEST:: SOT 203182 SOS 102350 HAS SOPS 85488 HAS SOUS 45659 HAS SOUPS 43619 WITH SCORE 43721.35
AT ITER 1948 NEW BEST:: SOT 203182 SOS 102346 HAS SOPS 85486 HAS SOUS 45657 HAS SOUPS 43618 WITH SCORE 43720.346
AT ITER 1983 NEW BEST:: SOT 203158 SOS 102413 HAS SOPS 85553 HAS SOUS 45542 HAS SOUPS 43503 WITH SCORE 43605.413
AT ITER 1993 NEW BEST:: SOT 204797 SOS 102731 HAS SOPS 86994 HAS SOUS 44624 HAS SOUPS 42596 WITH SCORE 42698.731
AT ITER 2003 NEW BEST:: SOT 204807 SOS 102741 HAS SOPS 86984 HAS SOUS 44614 HAS SOUPS 42586 WITH SCORE 42688.741
AT ITER 2007 NEW BEST:: SOT 204807 SOS 102837 HAS SOPS 87080 HAS SOUS 44590 HAS SOUPS 42562 WITH SCORE 42664.837
AT ITER 2028 NEW BEST:: SOT 204807 SOS 102825 HAS SOPS 87068 HAS SOUS 44590 HAS SOUPS 42562 WITH SCORE 42664.825
AT ITER 2039 NEW BEST:: SOT 204820 SOS 102880 HAS SOPS 87207 HAS SOUS 44554 HAS SOUPS 42526 WITH SCORE 42628.88
AT ITER 2048 NEW BEST:: SOT 204820 SOS 102806 HAS SOPS 87133 HAS SOUS 44517 HAS SOUPS 42489 WITH SCORE 42591.806
AT ITER 2062 NEW BEST:: SOT 204820 SOS 102796 HAS SOPS 87123 HAS SOUS 44517 HAS SOUPS 42489 WITH SCORE 42591.796
AT ITER 2065 NEW BEST:: SOT 204820 SOS 102732 HAS SOPS 87059 HAS SOUS 44485 HAS SOUPS 42457 WITH SCORE 42559.732
AT ITER 2069 NEW BEST:: SOT 204795 SOS 102655 HAS SOPS 86952 HAS SOUS 44455 HAS SOUPS 42427 WITH SCORE 42529.655
AT ITER 2078 NEW BEST:: SOT 204671 SOS 102531 HAS SOPS 86834 HAS SOUS 44395 HAS SOUPS 42367 WITH SCORE 42469.531
AT ITER 2083 NEW BEST:: SOT 204619 SOS 102472 HAS SOPS 86722 HAS SOUS 44307 HAS SOUPS 42279 WITH SCORE 42381.472
AT ITER 2088 NEW BEST:: SOT 204619 SOS 102320 HAS SOPS 86570 HAS SOUS 44281 HAS SOUPS 42253 WITH SCORE 42355.32
AT ITER 2098 NEW BEST:: SOT 204619 SOS 102254 HAS SOPS 86526 HAS SOUS 44281 HAS SOUPS 42253 WITH SCORE 42355.254
AT ITER 2111 NEW BEST:: SOT 204619 SOS 102294 HAS SOPS 86510 HAS SOUS 44301 HAS SOUPS 42245 WITH SCORE 42347.294
AT ITER 2114 NEW BEST:: SOT 204527 SOS 102202 HAS SOPS 86426 HAS SOUS 44259 HAS SOUPS 42161 WITH SCORE 42263.202
AT ITER 2118 NEW BEST:: SOT 204503 SOS 102122 HAS SOPS 86352 HAS SOUS 44256 HAS SOUPS 42158 WITH SCORE 42260.122
AT ITER 2120 NEW BEST:: SOT 204451 SOS 102070 HAS SOPS 86300 HAS SOUS 44204 HAS SOUPS 42106 WITH SCORE 42208.07
AT ITER 2125 NEW BEST:: SOT 204557 SOS 102176 HAS SOPS 86350 HAS SOUS 44132 HAS SOUPS 42034 WITH SCORE 42136.176
AT ITER 2139 NEW BEST:: SOT 204557 SOS 102124 HAS SOPS 86298 HAS SOUS 44132 HAS SOUPS 42034 WITH SCORE 42136.124
AT ITER 2143 NEW BEST:: SOT 204551 SOS 102104 HAS SOPS 86278 HAS SOUS 44127 HAS SOUPS 42029 WITH SCORE 42131.104
AT ITER 2154 NEW BEST:: SOT 204551 SOS 102104 HAS SOPS 86270 HAS SOUS 44115 HAS SOUPS 42017 WITH SCORE 42119.104
AT ITER 2175 NEW BEST:: SOT 204551 SOS 102002 HAS SOPS 86244 HAS SOUS 44029 HAS SOUPS 41969 WITH SCORE 42071.002
AT ITER 2177 NEW BEST:: SOT 204491 SOS 102092 HAS SOPS 86413 HAS SOUS 43951 HAS SOUPS 41940 WITH SCORE 42042.092
AT ITER 2179 NEW BEST:: SOT 204635 SOS 102236 HAS SOPS 86389 HAS SOUS 43805 HAS SOUPS 41794 WITH SCORE 41896.236
AT ITER 2182 NEW BEST:: SOT 204649 SOS 102250 HAS SOPS 86379 HAS SOUS 43783 HAS SOUPS 41772 WITH SCORE 41874.25
AT ITER 2188 NEW BEST:: SOT 204649 SOS 102194 HAS SOPS 86323 HAS SOUS 43780 HAS SOUPS 41769 WITH SCORE 41871.194
AT ITER 2207 NEW BEST:: SOT 203758 SOS 101378 HAS SOPS 85709 HAS SOUS 43578 HAS SOUPS 41567 WITH SCORE 41668.378
AT ITER 2220 NEW BEST:: SOT 203758 SOS 101334 HAS SOPS 85621 HAS SOUS 43552 HAS SOUPS 41519 WITH SCORE 41620.334
AT ITER 2230 NEW BEST:: SOT 203758 SOS 101124 HAS SOPS 85411 HAS SOUS 43485 HAS SOUPS 41452 WITH SCORE 41553.124
AT ITER 2231 NEW BEST:: SOT 203758 SOS 101146 HAS SOPS 85433 HAS SOUS 43377 HAS SOUPS 41344 WITH SCORE 41445.146
AT ITER 2238 NEW BEST:: SOT 203758 SOS 100978 HAS SOPS 85265 HAS SOUS 43352 HAS SOUPS 41319 WITH SCORE 41419.978
AT ITER 2273 NEW BEST:: SOT 203758 SOS 101020 HAS SOPS 85307 HAS SOUS 43300 HAS SOUPS 41267 WITH SCORE 41368.02
AT ITER 2290 NEW BEST:: SOT 203758 SOS 101004 HAS SOPS 85291 HAS SOUS 43292 HAS SOUPS 41259 WITH SCORE 41360.004
AT ITER 2302 NEW BEST:: SOT 203758 SOS 101004 HAS SOPS 85289 HAS SOUS 43290 HAS SOUPS 41257 WITH SCORE 41358.004
AT ITER 2320 NEW BEST:: SOT 203758 SOS 100980 HAS SOPS 85265 HAS SOUS 43290 HAS SOUPS 41257 WITH SCORE 41357.98
AT ITER 2324 NEW BEST:: SOT 203485 SOS 100623 HAS SOPS 84742 HAS SOUS 43216 HAS SOUPS 41183 WITH SCORE 41283.623
AT ITER 2327 NEW BEST:: SOT 203509 SOS 100647 HAS SOPS 84738 HAS SOUS 43212 HAS SOUPS 41179 WITH SCORE 41279.647
AT ITER 2335 NEW BEST:: SOT 203509 SOS 100637 HAS SOPS 84728 HAS SOUS 43212 HAS SOUPS 41179 WITH SCORE 41279.637
AT ITER 2339 NEW BEST:: SOT 203509 SOS 100607 HAS SOPS 84698 HAS SOUS 43212 HAS SOUPS 41179 WITH SCORE 41279.607
AT ITER 2342 NEW BEST:: SOT 203509 SOS 100575 HAS SOPS 84666 HAS SOUS 43204 HAS SOUPS 41171 WITH SCORE 41271.575
AT ITER 2345 NEW BEST:: SOT 203509 SOS 100507 HAS SOPS 84598 HAS SOUS 43187 HAS SOUPS 41154 WITH SCORE 41254.507
AT ITER 2354 NEW BEST:: SOT 203509 SOS 100449 HAS SOPS 84540 HAS SOUS 43182 HAS SOUPS 41149 WITH SCORE 41249.449
AT ITER 2358 NEW BEST:: SOT 203519 SOS 100447 HAS SOPS 84480 HAS SOUS 43153 HAS SOUPS 41120 WITH SCORE 41220.447
AT ITER 2368 NEW BEST:: SOT 203519 SOS 100393 HAS SOPS 84426 HAS SOUS 43139 HAS SOUPS 41106 WITH SCORE 41206.393
AT ITER 2369 NEW BEST:: SOT 203519 SOS 100481 HAS SOPS 84514 HAS SOUS 43122 HAS SOUPS 41089 WITH SCORE 41189.481
AT ITER 2391 NEW BEST:: SOT 203519 SOS 100631 HAS SOPS 84664 HAS SOUS 43058 HAS SOUPS 41025 WITH SCORE 41125.631
AT ITER 2402 NEW BEST:: SOT 203519 SOS 100631 HAS SOPS 84664 HAS SOUS 43044 HAS SOUPS 41011 WITH SCORE 41111.631
AT ITER 2404 NEW BEST:: SOT 203419 SOS 100587 HAS SOPS 84620 HAS SOUS 42976 HAS SOUPS 40943 WITH SCORE 41043.587
AT ITER 2455 NEW BEST:: SOT 203479 SOS 100647 HAS SOPS 84560 HAS SOUS 42946 HAS SOUPS 40913 WITH SCORE 41013.647
AT ITER 2457 NEW BEST:: SOT 203455 SOS 100623 HAS SOPS 84512 HAS SOUS 42898 HAS SOUPS 40865 WITH SCORE 40965.623
AT ITER 2464 NEW BEST:: SOT 203485 SOS 100653 HAS SOPS 84544 HAS SOUS 42886 HAS SOUPS 40853 WITH SCORE 40953.653
AT ITER 2473 NEW BEST:: SOT 203485 SOS 100653 HAS SOPS 84504 HAS SOUS 42866 HAS SOUPS 40833 WITH SCORE 40933.653
AT ITER 2474 NEW BEST:: SOT 203601 SOS 100769 HAS SOPS 84424 HAS SOUS 42800 HAS SOUPS 40767 WITH SCORE 40867.769
AT ITER 2484 NEW BEST:: SOT 203592 SOS 100760 HAS SOPS 84415 HAS SOUS 42782 HAS SOUPS 40749 WITH SCORE 40849.76
AT ITER 2490 NEW BEST:: SOT 203952 SOS 101120 HAS SOPS 84309 HAS SOUS 42588 HAS SOUPS 40555 WITH SCORE 40656.12
AT ITER 2515 NEW BEST:: SOT 203952 SOS 100958 HAS SOPS 84147 HAS SOUS 42588 HAS SOUPS 40555 WITH SCORE 40655.958
AT ITER 2524 NEW BEST:: SOT 203952 SOS 100878 HAS SOPS 84027 HAS SOUS 42568 HAS SOUPS 40515 WITH SCORE 40615.878
AT ITER 2534 NEW BEST:: SOT 203952 SOS 100714 HAS SOPS 83863 HAS SOUS 42506 HAS SOUPS 40453 WITH SCORE 40553.714
AT ITER 2544 NEW BEST:: SOT 203928 SOS 100690 HAS SOPS 83821 HAS SOUS 42464 HAS SOUPS 40411 WITH SCORE 40511.69
AT ITER 2561 NEW BEST:: SOT 203876 SOS 100638 HAS SOPS 83781 HAS SOUS 42392 HAS SOUPS 40339 WITH SCORE 40439.638
AT ITER 2565 NEW BEST:: SOT 203876 SOS 100594 HAS SOPS 83737 HAS SOUS 42392 HAS SOUPS 40339 WITH SCORE 40439.594
AT ITER 2568 NEW BEST:: SOT 203856 SOS 100574 HAS SOPS 83709 HAS SOUS 42380 HAS SOUPS 40327 WITH SCORE 40427.574
AT ITER 2582 NEW BEST:: SOT 203836 SOS 100554 HAS SOPS 83701 HAS SOUS 42372 HAS SOUPS 40319 WITH SCORE 40419.554
AT ITER 2585 NEW BEST:: SOT 202321 SOS 99244 HAS SOPS 82985 HAS SOUS 41973 HAS SOUPS 40174 WITH SCORE 40273.244
AT ITER 2622 NEW BEST:: SOT 202289 SOS 99374 HAS SOPS 83243 HAS SOUS 41881 HAS SOUPS 40082 WITH SCORE 40181.374
AT ITER 2623 NEW BEST:: SOT 202289 SOS 100064 HAS SOPS 84026 HAS SOUS 41743 HAS SOUPS 40008 WITH SCORE 40108.064
AT ITER 2651 NEW BEST:: SOT 202289 SOS 100054 HAS SOPS 84160 HAS SOUS 41666 HAS SOUPS 40003 WITH SCORE 40103.054
AT ITER 2655 NEW BEST:: SOT 202283 SOS 100048 HAS SOPS 84129 HAS SOUS 41632 HAS SOUPS 39969 WITH SCORE 40069.048
AT ITER 2674 NEW BEST:: SOT 202283 SOS 100034 HAS SOPS 84127 HAS SOUS 41625 HAS SOUPS 39968 WITH SCORE 40068.034
AT ITER 2675 NEW BEST:: SOT 202283 SOS 99912 HAS SOPS 84005 HAS SOUS 41564 HAS SOUPS 39907 WITH SCORE 40006.912
AT ITER 2700 NEW BEST:: SOT 202283 SOS 99952 HAS SOPS 83984 HAS SOUS 41578 HAS SOUPS 39874 WITH SCORE 39973.952
AT ITER 2706 NEW BEST:: SOT 202139 SOS 99699 HAS SOPS 83658 HAS SOUS 41188 HAS SOUPS 39484 WITH SCORE 39583.699
AT ITER 2716 NEW BEST:: SOT 202128 SOS 99688 HAS SOPS 83626 HAS SOUS 41141 HAS SOUPS 39437 WITH SCORE 39536.688
AT ITER 2723 NEW BEST:: SOT 202010 SOS 99570 HAS SOPS 83575 HAS SOUS 41016 HAS SOUPS 39312 WITH SCORE 39411.57
AT ITER 2727 NEW BEST:: SOT 202010 SOS 99426 HAS SOPS 83431 HAS SOUS 40992 HAS SOUPS 39288 WITH SCORE 39387.426
AT ITER 2735 NEW BEST:: SOT 201986 SOS 99402 HAS SOPS 83419 HAS SOUS 40956 HAS SOUPS 39252 WITH SCORE 39351.402
AT ITER 2741 NEW BEST:: SOT 201986 SOS 99336 HAS SOPS 83353 HAS SOUS 40923 HAS SOUPS 39219 WITH SCORE 39318.336
AT ITER 2751 NEW BEST:: SOT 201986 SOS 99342 HAS SOPS 83359 HAS SOUS 40901 HAS SOUPS 39197 WITH SCORE 39296.342
AT ITER 2761 NEW BEST:: SOT 201986 SOS 99260 HAS SOPS 83352 HAS SOUS 40832 HAS SOUPS 39182 WITH SCORE 39281.26
AT ITER 2776 NEW BEST:: SOT 201986 SOS 99306 HAS SOPS 83398 HAS SOUS 40826 HAS SOUPS 39176 WITH SCORE 39275.306
AT ITER 2778 NEW BEST:: SOT 202063 SOS 99383 HAS SOPS 83475 HAS SOUS 40825 HAS SOUPS 39175 WITH SCORE 39274.383
AT ITER 2780 NEW BEST:: SOT 202063 SOS 99265 HAS SOPS 83357 HAS SOUS 40781 HAS SOUPS 39131 WITH SCORE 39230.265
AT ITER 2786 NEW BEST:: SOT 202063 SOS 99200 HAS SOPS 82832 HAS SOUS 39861 HAS SOUPS 38056 WITH SCORE 38155.2
AT ITER 2789 NEW BEST:: SOT 202063 SOS 99172 HAS SOPS 82804 HAS SOUS 39858 HAS SOUPS 38053 WITH SCORE 38152.172
AT ITER 2808 NEW BEST:: SOT 202063 SOS 99204 HAS SOPS 82796 HAS SOUS 39874 HAS SOUPS 38049 WITH SCORE 38148.204
AT ITER 2812 NEW BEST:: SOT 202063 SOS 99170 HAS SOPS 82762 HAS SOUS 39863 HAS SOUPS 38038 WITH SCORE 38137.17
AT ITER 2820 NEW BEST:: SOT 202063 SOS 99178 HAS SOPS 82770 HAS SOUS 39861 HAS SOUPS 38036 WITH SCORE 38135.178
AT ITER 2825 NEW BEST:: SOT 202063 SOS 99150 HAS SOPS 82742 HAS SOUS 39847 HAS SOUPS 38022 WITH SCORE 38121.15
AT ITER 2837 NEW BEST:: SOT 202029 SOS 99116 HAS SOPS 82708 HAS SOUS 39845 HAS SOUPS 38020 WITH SCORE 38119.116
AT ITER 2842 NEW BEST:: SOT 201929 SOS 99078 HAS SOPS 82672 HAS SOUS 39751 HAS SOUPS 37926 WITH SCORE 38025.078
AT ITER 2875 NEW BEST:: SOT 201929 SOS 99162 HAS SOPS 82756 HAS SOUS 39745 HAS SOUPS 37920 WITH SCORE 38019.162
AT ITER 2879 NEW BEST:: SOT 201929 SOS 99146 HAS SOPS 82740 HAS SOUS 39741 HAS SOUPS 37916 WITH SCORE 38015.146
AT ITER 2881 NEW BEST:: SOT 201929 SOS 99138 HAS SOPS 82732 HAS SOUS 39737 HAS SOUPS 37912 WITH SCORE 38011.138
AT ITER 2891 NEW BEST:: SOT 201929 SOS 99112 HAS SOPS 82706 HAS SOUS 39733 HAS SOUPS 37908 WITH SCORE 38007.112
AT ITER 2900 NEW BEST:: SOT 201929 SOS 98974 HAS SOPS 82568 HAS SOUS 39733 HAS SOUPS 37908 WITH SCORE 38006.974
AT ITER 2915 NEW BEST:: SOT 201897 SOS 98942 HAS SOPS 82528 HAS SOUS 39709 HAS SOUPS 37884 WITH SCORE 37982.942
AT ITER 2917 NEW BEST:: SOT 201897 SOS 98746 HAS SOPS 82332 HAS SOUS 39707 HAS SOUPS 37882 WITH SCORE 37980.746
AT ITER 2921 NEW BEST:: SOT 201933 SOS 98739 HAS SOPS 82128 HAS SOUS 39223 HAS SOUPS 37356 WITH SCORE 37454.739
AT ITER 2926 NEW BEST:: SOT 202103 SOS 98909 HAS SOPS 82404 HAS SOUS 39201 HAS SOUPS 37334 WITH SCORE 37432.909
AT ITER 2928 NEW BEST:: SOT 202099 SOS 98901 HAS SOPS 82396 HAS SOUS 39199 HAS SOUPS 37332 WITH SCORE 37430.901
AT ITER 2948 NEW BEST:: SOT 202099 SOS 98901 HAS SOPS 82396 HAS SOUS 39189 HAS SOUPS 37322 WITH SCORE 37420.901
AT ITER 2951 NEW BEST:: SOT 202099 SOS 98793 HAS SOPS 82288 HAS SOUS 39189 HAS SOUPS 37322 WITH SCORE 37420.793
AT ITER 2956 NEW BEST:: SOT 202099 SOS 98793 HAS SOPS 82282 HAS SOUS 39183 HAS SOUPS 37316 WITH SCORE 37414.793
AT ITER 2961 NEW BEST:: SOT 202053 SOS 98747 HAS SOPS 82206 HAS SOUS 39031 HAS SOUPS 37176 WITH SCORE 37274.747
AT ITER 2968 NEW BEST:: SOT 202053 SOS 98697 HAS SOPS 82156 HAS SOUS 39025 HAS SOUPS 37170 WITH SCORE 37268.697
AT ITER 2996 NEW BEST:: SOT 201997 SOS 98641 HAS SOPS 82100 HAS SOUS 38969 HAS SOUPS 37114 WITH SCORE 37212.641
AT ITER 3016 NEW BEST:: SOT 201964 SOS 98613 HAS SOPS 82085 HAS SOUS 38954 HAS SOUPS 37099 WITH SCORE 37197.613
AT ITER 3042 NEW BEST:: SOT 201964 SOS 98613 HAS SOPS 82081 HAS SOUS 38954 HAS SOUPS 37097 WITH SCORE 37195.613
AT ITER 3043 NEW BEST:: SOT 201956 SOS 98463 HAS SOPS 81871 HAS SOUS 38934 HAS SOUPS 37077 WITH SCORE 37175.463
AT ITER 3047 NEW BEST:: SOT 201940 SOS 98447 HAS SOPS 81847 HAS SOUS 38910 HAS SOUPS 37053 WITH SCORE 37151.447
AT ITER 3057 NEW BEST:: SOT 201940 SOS 98443 HAS SOPS 81845 HAS SOUS 38908 HAS SOUPS 37052 WITH SCORE 37150.443
AT ITER 3080 NEW BEST:: SOT 201693 SOS 98196 HAS SOPS 81523 HAS SOUS 38790 HAS SOUPS 36934 WITH SCORE 37032.196
AT ITER 3087 NEW BEST:: SOT 201693 SOS 98040 HAS SOPS 81507 HAS SOUS 38712 HAS SOUPS 36926 WITH SCORE 37024.04
AT ITER 3088 NEW BEST:: SOT 201693 SOS 97952 HAS SOPS 81419 HAS SOUS 38690 HAS SOUPS 36904 WITH SCORE 37001.952
AT ITER 3122 NEW BEST:: SOT 201687 SOS 97782 HAS SOPS 81311 HAS SOUS 38636 HAS SOUPS 36850 WITH SCORE 36947.782
AT ITER 3123 NEW BEST:: SOT 201687 SOS 97780 HAS SOPS 81263 HAS SOUS 38658 HAS SOUPS 36849 WITH SCORE 36946.78
AT ITER 3127 NEW BEST:: SOT 201775 SOS 97840 HAS SOPS 81523 HAS SOUS 38580 HAS SOUPS 36831 WITH SCORE 36928.84
AT ITER 3149 NEW BEST:: SOT 201645 SOS 97710 HAS SOPS 81443 HAS SOUS 38580 HAS SOUPS 36831 WITH SCORE 36928.71
AT ITER 3158 NEW BEST:: SOT 201667 SOS 97732 HAS SOPS 81471 HAS SOUS 38576 HAS SOUPS 36827 WITH SCORE 36924.732
AT ITER 3167 NEW BEST:: SOT 201667 SOS 97732 HAS SOPS 81471 HAS SOUS 38573 HAS SOUPS 36824 WITH SCORE 36921.732
AT ITER 3170 NEW BEST:: SOT 201601 SOS 97666 HAS SOPS 81259 HAS SOUS 38507 HAS SOUPS 36758 WITH SCORE 36855.666
AT ITER 3174 NEW BEST:: SOT 201583 SOS 97648 HAS SOPS 81265 HAS SOUS 38493 HAS SOUPS 36744 WITH SCORE 36841.648
AT ITER 3182 NEW BEST:: SOT 201583 SOS 97616 HAS SOPS 81249 HAS SOUS 38477 HAS SOUPS 36736 WITH SCORE 36833.616
AT ITER 3191 NEW BEST:: SOT 201424 SOS 97457 HAS SOPS 81426 HAS SOUS 38464 HAS SOUPS 36723 WITH SCORE 36820.457
AT ITER 3226 NEW BEST:: SOT 201608 SOS 97641 HAS SOPS 81318 HAS SOUS 38342 HAS SOUPS 36599 WITH SCORE 36696.641
AT ITER 3236 NEW BEST:: SOT 201608 SOS 97557 HAS SOPS 81234 HAS SOUS 38306 HAS SOUPS 36563 WITH SCORE 36660.557
AT ITER 3269 NEW BEST:: SOT 201608 SOS 97491 HAS SOPS 81168 HAS SOUS 38279 HAS SOUPS 36536 WITH SCORE 36633.491
AT ITER 3287 NEW BEST:: SOT 201596 SOS 97479 HAS SOPS 81090 HAS SOUS 38231 HAS SOUPS 36488 WITH SCORE 36585.479
AT ITER 3296 NEW BEST:: SOT 201596 SOS 97475 HAS SOPS 81086 HAS SOUS 38229 HAS SOUPS 36486 WITH SCORE 36583.475
AT ITER 3308 NEW BEST:: SOT 201596 SOS 97521 HAS SOPS 81132 HAS SOUS 38168 HAS SOUPS 36425 WITH SCORE 36522.521
AT ITER 3326 NEW BEST:: SOT 201596 SOS 97389 HAS SOPS 81000 HAS SOUS 38160 HAS SOUPS 36417 WITH SCORE 36514.389
AT ITER 3336 NEW BEST:: SOT 201596 SOS 97403 HAS SOPS 81014 HAS SOUS 38155 HAS SOUPS 36412 WITH SCORE 36509.403
AT ITER 3339 NEW BEST:: SOT 201590 SOS 97397 HAS SOPS 81002 HAS SOUS 38125 HAS SOUPS 36382 WITH SCORE 36479.397
AT ITER 3343 NEW BEST:: SOT 201590 SOS 97505 HAS SOPS 80959 HAS SOUS 38179 HAS SOUPS 36358 WITH SCORE 36455.505
AT ITER 3344 NEW BEST:: SOT 201786 SOS 97701 HAS SOPS 81351 HAS SOUS 38055 HAS SOUPS 36234 WITH SCORE 36331.701
AT ITER 3366 NEW BEST:: SOT 198125 SOS 96191 HAS SOPS 77762 HAS SOUS 36987 HAS SOUPS 35134 WITH SCORE 35230.191
AT ITER 3382 NEW BEST:: SOT 198125 SOS 96173 HAS SOPS 77744 HAS SOUS 36969 HAS SOUPS 35116 WITH SCORE 35212.173
AT ITER 3399 NEW BEST:: SOT 198125 SOS 96177 HAS SOPS 77748 HAS SOUS 36968 HAS SOUPS 35115 WITH SCORE 35211.177
AT ITER 3501 NEW BEST:: SOT 198125 SOS 96081 HAS SOPS 77652 HAS SOUS 36944 HAS SOUPS 35091 WITH SCORE 35187.081
AT ITER 3505 NEW BEST:: SOT 198129 SOS 96085 HAS SOPS 77670 HAS SOUS 36942 HAS SOUPS 35089 WITH SCORE 35185.085
AT ITER 3507 NEW BEST:: SOT 198145 SOS 96101 HAS SOPS 77686 HAS SOUS 36940 HAS SOUPS 35087 WITH SCORE 35183.101
AT ITER 3509 NEW BEST:: SOT 198145 SOS 96085 HAS SOPS 77670 HAS SOUS 36932 HAS SOUPS 35079 WITH SCORE 35175.085
AT ITER 3561 NEW BEST:: SOT 198147 SOS 95915 HAS SOPS 77500 HAS SOUS 36838 HAS SOUPS 34985 WITH SCORE 35080.915
AT ITER 3573 NEW BEST:: SOT 198147 SOS 95641 HAS SOPS 77226 HAS SOUS 36793 HAS SOUPS 34940 WITH SCORE 35035.641
AT ITER 3585 NEW BEST:: SOT 198143 SOS 95637 HAS SOPS 77192 HAS SOUS 36759 HAS SOUPS 34906 WITH SCORE 35001.637
AT ITER 3592 NEW BEST:: SOT 198143 SOS 95591 HAS SOPS 77146 HAS SOUS 36736 HAS SOUPS 34883 WITH SCORE 34978.591
AT ITER 3603 NEW BEST:: SOT 198143 SOS 95465 HAS SOPS 77020 HAS SOUS 36694 HAS SOUPS 34841 WITH SCORE 34936.465
AT ITER 3606 NEW BEST:: SOT 198131 SOS 95453 HAS SOPS 76978 HAS SOUS 36686 HAS SOUPS 34833 WITH SCORE 34928.453
AT ITER 3614 NEW BEST:: SOT 198131 SOS 95505 HAS SOPS 77030 HAS SOUS 36666 HAS SOUPS 34813 WITH SCORE 34908.505
AT ITER 3626 NEW BEST:: SOT 198131 SOS 95483 HAS SOPS 76960 HAS SOUS 36679 HAS SOUPS 34802 WITH SCORE 34897.483
AT ITER 3653 NEW BEST:: SOT 198219 SOS 95571 HAS SOPS 76982 HAS SOUS 36635 HAS SOUPS 34758 WITH SCORE 34853.571
AT ITER 3654 NEW BEST:: SOT 198217 SOS 95569 HAS SOPS 76970 HAS SOUS 36631 HAS SOUPS 34754 WITH SCORE 34849.569
AT ITER 3660 NEW BEST:: SOT 198209 SOS 95561 HAS SOPS 76978 HAS SOUS 36631 HAS SOUPS 34754 WITH SCORE 34849.561
AT ITER 3670 NEW BEST:: SOT 198209 SOS 95475 HAS SOPS 76892 HAS SOUS 36616 HAS SOUPS 34739 WITH SCORE 34834.475
AT ITER 3679 NEW BEST:: SOT 198209 SOS 95463 HAS SOPS 76880 HAS SOUS 36610 HAS SOUPS 34733 WITH SCORE 34828.463
AT ITER 3696 NEW BEST:: SOT 198209 SOS 95311 HAS SOPS 76728 HAS SOUS 36591 HAS SOUPS 34714 WITH SCORE 34809.311
AT ITER 3720 NEW BEST:: SOT 198199 SOS 95287 HAS SOPS 76687 HAS SOUS 36570 HAS SOUPS 34687 WITH SCORE 34782.287
AT ITER 3724 NEW BEST:: SOT 198199 SOS 95359 HAS SOPS 76759 HAS SOUS 36568 HAS SOUPS 34685 WITH SCORE 34780.359
AT ITER 3753 NEW BEST:: SOT 198183 SOS 95343 HAS SOPS 76711 HAS SOUS 36536 HAS SOUPS 34653 WITH SCORE 34748.343
AT ITER 3759 NEW BEST:: SOT 198183 SOS 95269 HAS SOPS 76637 HAS SOUS 36499 HAS SOUPS 34616 WITH SCORE 34711.269
AT ITER 3773 NEW BEST:: SOT 198121 SOS 95081 HAS SOPS 76515 HAS SOUS 36392 HAS SOUPS 34541 WITH SCORE 34636.081
AT ITER 3776 NEW BEST:: SOT 198121 SOS 95081 HAS SOPS 76515 HAS SOUS 36384 HAS SOUPS 34533 WITH SCORE 34628.081
AT ITER 3819 NEW BEST:: SOT 198121 SOS 95037 HAS SOPS 76471 HAS SOUS 36363 HAS SOUPS 34512 WITH SCORE 34607.037
AT ITER 3845 NEW BEST:: SOT 198121 SOS 95031 HAS SOPS 76465 HAS SOUS 36363 HAS SOUPS 34512 WITH SCORE 34607.031
AT ITER 3855 NEW BEST:: SOT 198119 SOS 95014 HAS SOPS 76447 HAS SOUS 36335 HAS SOUPS 34484 WITH SCORE 34579.014
AT ITER 3864 NEW BEST:: SOT 198119 SOS 95018 HAS SOPS 76451 HAS SOUS 36331 HAS SOUPS 34480 WITH SCORE 34575.018
AT ITER 3878 NEW BEST:: SOT 198087 SOS 94986 HAS SOPS 76007 HAS SOUS 36301 HAS SOUPS 34450 WITH SCORE 34544.986
AT ITER 3890 NEW BEST:: SOT 198146 SOS 95035 HAS SOPS 76046 HAS SOUS 36300 HAS SOUPS 34449 WITH SCORE 34544.035
AT ITER 3918 NEW BEST:: SOT 198146 SOS 95017 HAS SOPS 76028 HAS SOUS 36291 HAS SOUPS 34440 WITH SCORE 34535.017
AT ITER 3952 NEW BEST:: SOT 198104 SOS 94975 HAS SOPS 75958 HAS SOUS 36249 HAS SOUPS 34398 WITH SCORE 34492.975
AT ITER 3954 NEW BEST:: SOT 198038 SOS 94917 HAS SOPS 75908 HAS SOUS 36199 HAS SOUPS 34348 WITH SCORE 34442.917
AT ITER 3986 NEW BEST:: SOT 198031 SOS 94910 HAS SOPS 75894 HAS SOUS 36192 HAS SOUPS 34341 WITH SCORE 34435.91
AT ITER 3993 NEW BEST:: SOT 198085 SOS 94964 HAS SOPS 75902 HAS SOUS 36092 HAS SOUPS 34241 WITH SCORE 34335.964
AT ITER 4020 NEW BEST:: SOT 198085 SOS 95074 HAS SOPS 76012 HAS SOUS 36069 HAS SOUPS 34218 WITH SCORE 34313.074
AT ITER 4040 NEW BEST:: SOT 198058 SOS 95237 HAS SOPS 76000 HAS SOUS 36155 HAS SOUPS 34209 WITH SCORE 34304.237
AT ITER 4045 NEW BEST:: SOT 198058 SOS 95233 HAS SOPS 75996 HAS SOUS 36152 HAS SOUPS 34206 WITH SCORE 34301.233
AT ITER 4075 NEW BEST:: SOT 198058 SOS 95201 HAS SOPS 75964 HAS SOUS 36136 HAS SOUPS 34190 WITH SCORE 34285.201
AT ITER 4081 NEW BEST:: SOT 198058 SOS 95215 HAS SOPS 75978 HAS SOUS 36129 HAS SOUPS 34183 WITH SCORE 34278.215
AT ITER 4094 NEW BEST:: SOT 198058 SOS 95207 HAS SOPS 75970 HAS SOUS 36125 HAS SOUPS 34179 WITH SCORE 34274.207
AT ITER 4107 NEW BEST:: SOT 198056 SOS 95205 HAS SOPS 75974 HAS SOUS 36121 HAS SOUPS 34175 WITH SCORE 34270.205
AT ITER 4113 NEW BEST:: SOT 198056 SOS 95205 HAS SOPS 75974 HAS SOUS 36089 HAS SOUPS 34143 WITH SCORE 34238.205
AT ITER 4125 NEW BEST:: SOT 198056 SOS 95315 HAS SOPS 75964 HAS SOUS 36144 HAS SOUPS 34138 WITH SCORE 34233.315
AT ITER 4126 NEW BEST:: SOT 198056 SOS 95273 HAS SOPS 75922 HAS SOUS 36144 HAS SOUPS 34138 WITH SCORE 34233.273
AT ITER 4127 NEW BEST:: SOT 198056 SOS 95285 HAS SOPS 75816 HAS SOUS 36144 HAS SOUPS 34079 WITH SCORE 34174.285
AT ITER 4158 NEW BEST:: SOT 198056 SOS 95259 HAS SOPS 75790 HAS SOUS 36144 HAS SOUPS 34079 WITH SCORE 34174.259
AT ITER 4234 NEW BEST:: SOT 198056 SOS 95247 HAS SOPS 75778 HAS SOUS 36138 HAS SOUPS 34073 WITH SCORE 34168.247
AT ITER 4258 NEW BEST:: SOT 198056 SOS 95141 HAS SOPS 75672 HAS SOUS 36085 HAS SOUPS 34020 WITH SCORE 34115.141
AT ITER 4267 NEW BEST:: SOT 198054 SOS 95172 HAS SOPS 75704 HAS SOUS 36080 HAS SOUPS 34015 WITH SCORE 34110.172
AT ITER 4321 NEW BEST:: SOT 198012 SOS 95130 HAS SOPS 75620 HAS SOUS 36072 HAS SOUPS 34007 WITH SCORE 34102.13
AT ITER 4334 NEW BEST:: SOT 198245 SOS 95363 HAS SOPS 75831 HAS SOUS 36001 HAS SOUPS 33936 WITH SCORE 34031.363
AT ITER 4343 NEW BEST:: SOT 194808 SOS 94347 HAS SOPS 72680 HAS SOUS 34360 HAS SOUPS 32385 WITH SCORE 32479.347
AT ITER 4376 NEW BEST:: SOT 194808 SOS 94343 HAS SOPS 72676 HAS SOUS 34358 HAS SOUPS 32383 WITH SCORE 32477.343
AT ITER 4388 NEW BEST:: SOT 192129 SOS 94046 HAS SOPS 70343 HAS SOUS 34019 HAS SOUPS 32097 WITH SCORE 32191.046
AT ITER 4513 NEW BEST:: SOT 192129 SOS 94042 HAS SOPS 70339 HAS SOUS 34017 HAS SOUPS 32095 WITH SCORE 32189.042
AT ITER 4526 NEW BEST:: SOT 192123 SOS 93772 HAS SOPS 70045 HAS SOUS 33990 HAS SOUPS 32068 WITH SCORE 32161.772
AT ITER 4533 NEW BEST:: SOT 192171 SOS 93820 HAS SOPS 70117 HAS SOUS 33982 HAS SOUPS 32060 WITH SCORE 32153.82
AT ITER 4546 NEW BEST:: SOT 192171 SOS 93818 HAS SOPS 70115 HAS SOUS 33981 HAS SOUPS 32059 WITH SCORE 32152.818
AT ITER 4555 NEW BEST:: SOT 192171 SOS 93790 HAS SOPS 70107 HAS SOUS 33967 HAS SOUPS 32055 WITH SCORE 32148.79
AT ITER 4573 NEW BEST:: SOT 192093 SOS 93169 HAS SOPS 68253 HAS SOUS 33927 HAS SOUPS 32015 WITH SCORE 32108.169
AT ITER 4615 NEW BEST:: SOT 192093 SOS 93155 HAS SOPS 68239 HAS SOUS 33920 HAS SOUPS 32008 WITH SCORE 32101.155
AT ITER 4634 NEW BEST:: SOT 192093 SOS 93155 HAS SOPS 68239 HAS SOUS 33916 HAS SOUPS 32004 WITH SCORE 32097.155
AT ITER 4658 NEW BEST:: SOT 192093 SOS 93143 HAS SOPS 68261 HAS SOUS 33896 HAS SOUPS 32001 WITH SCORE 32094.143
AT ITER 4685 NEW BEST:: SOT 192093 SOS 93135 HAS SOPS 68261 HAS SOUS 33892 HAS SOUPS 32001 WITH SCORE 32094.135
AT ITER 4697 NEW BEST:: SOT 192059 SOS 93101 HAS SOPS 68227 HAS SOUS 33858 HAS SOUPS 31967 WITH SCORE 32060.101
AT ITER 4705 NEW BEST:: SOT 192059 SOS 93221 HAS SOPS 68353 HAS SOUS 33852 HAS SOUPS 31961 WITH SCORE 32054.221
AT ITER 4706 NEW BEST:: SOT 192059 SOS 93149 HAS SOPS 68281 HAS SOUS 33852 HAS SOUPS 31961 WITH SCORE 32054.149
AT ITER 4754 NEW BEST:: SOT 192059 SOS 93127 HAS SOPS 68259 HAS SOUS 33852 HAS SOUPS 31961 WITH SCORE 32054.127
AT ITER 4779 NEW BEST:: SOT 192059 SOS 93145 HAS SOPS 68277 HAS SOUS 33842 HAS SOUPS 31951 WITH SCORE 32044.145
AT ITER 4792 NEW BEST:: SOT 192059 SOS 93125 HAS SOPS 68257 HAS SOUS 33832 HAS SOUPS 31941 WITH SCORE 32034.125
AT ITER 4819 NEW BEST:: SOT 192059 SOS 93087 HAS SOPS 68219 HAS SOUS 33813 HAS SOUPS 31922 WITH SCORE 32015.087
AT ITER 4827 NEW BEST:: SOT 192259 SOS 93287 HAS SOPS 68565 HAS SOUS 33759 HAS SOUPS 31868 WITH SCORE 31961.287
AT ITER 4853 NEW BEST:: SOT 192259 SOS 93309 HAS SOPS 68587 HAS SOUS 33752 HAS SOUPS 31861 WITH SCORE 31954.309
AT ITER 4859 NEW BEST:: SOT 192244 SOS 93294 HAS SOPS 68557 HAS SOUS 33717 HAS SOUPS 31826 WITH SCORE 31919.294
AT ITER 4866 NEW BEST:: SOT 192244 SOS 93174 HAS SOPS 68437 HAS SOUS 33687 HAS SOUPS 31796 WITH SCORE 31889.174
AT ITER 4873 NEW BEST:: SOT 192246 SOS 93190 HAS SOPS 68351 HAS SOUS 33722 HAS SOUPS 31779 WITH SCORE 31872.19
AT ITER 4888 NEW BEST:: SOT 192246 SOS 93190 HAS SOPS 68365 HAS SOUS 33708 HAS SOUPS 31765 WITH SCORE 31858.19
AT ITER 4903 NEW BEST:: SOT 191826 SOS 92802 HAS SOPS 68007 HAS SOUS 33496 HAS SOUPS 31553 WITH SCORE 31645.802
AT ITER 4938 NEW BEST:: SOT 191824 SOS 92800 HAS SOPS 68003 HAS SOUS 33492 HAS SOUPS 31549 WITH SCORE 31641.8
AT ITER 4958 NEW BEST:: SOT 191824 SOS 92760 HAS SOPS 67963 HAS SOUS 33492 HAS SOUPS 31549 WITH SCORE 31641.76
AT ITER 4959 NEW BEST:: SOT 191824 SOS 92748 HAS SOPS 67939 HAS SOUS 33492 HAS SOUPS 31543 WITH SCORE 31635.748
AT ITER 4961 NEW BEST:: SOT 191818 SOS 92742 HAS SOPS 67897 HAS SOUS 33480 HAS SOUPS 31531 WITH SCORE 31623.742
AT ITER 4976 NEW BEST:: SOT 191801 SOS 92725 HAS SOPS 67835 HAS SOUS 33460 HAS SOUPS 31511 WITH SCORE 31603.725
AT ITER 4987 NEW BEST:: SOT 191801 SOS 92696 HAS SOPS 67781 HAS SOUS 33456 HAS SOUPS 31507 WITH SCORE 31599.696
AT ITER 4992 NEW BEST:: SOT 191801 SOS 92648 HAS SOPS 67653 HAS SOUS 33472 HAS SOUPS 31483 WITH SCORE 31575.648
AT ITER 4994 NEW BEST:: SOT 191781 SOS 92444 HAS SOPS 67011 HAS SOUS 33438 HAS SOUPS 31449 WITH SCORE 31541.444
AT ITER 5014 NEW BEST:: SOT 191781 SOS 92396 HAS SOPS 66963 HAS SOUS 33438 HAS SOUPS 31449 WITH SCORE 31541.396
AT ITER 5073 NEW BEST:: SOT 191785 SOS 92400 HAS SOPS 66947 HAS SOUS 33434 HAS SOUPS 31445 WITH SCORE 31537.4
AT ITER 5082 NEW BEST:: SOT 191729 SOS 92344 HAS SOPS 67051 HAS SOUS 33412 HAS SOUPS 31431 WITH SCORE 31523.344
AT ITER 5100 NEW BEST:: SOT 191683 SOS 92298 HAS SOPS 67039 HAS SOUS 33400 HAS SOUPS 31419 WITH SCORE 31511.298
AT ITER 5140 NEW BEST:: SOT 191683 SOS 92262 HAS SOPS 67003 HAS SOUS 33394 HAS SOUPS 31413 WITH SCORE 31505.262
AT ITER 5169 NEW BEST:: SOT 191683 SOS 92260 HAS SOPS 67001 HAS SOUS 33394 HAS SOUPS 31413 WITH SCORE 31505.26
AT ITER 5189 NEW BEST:: SOT 191620 SOS 92197 HAS SOPS 66973 HAS SOUS 33388 HAS SOUPS 31407 WITH SCORE 31499.197
AT ITER 5192 NEW BEST:: SOT 191603 SOS 92164 HAS SOPS 66935 HAS SOUS 33385 HAS SOUPS 31404 WITH SCORE 31496.164
AT ITER 5195 NEW BEST:: SOT 191603 SOS 92034 HAS SOPS 66881 HAS SOUS 33349 HAS SOUPS 31368 WITH SCORE 31460.034
AT ITER 5230 NEW BEST:: SOT 191597 SOS 92008 HAS SOPS 66843 HAS SOUS 33345 HAS SOUPS 31364 WITH SCORE 31456.008
AT ITER 5248 NEW BEST:: SOT 191629 SOS 92346 HAS SOPS 67843 HAS SOUS 33329 HAS SOUPS 31348 WITH SCORE 31440.346
AT ITER 5254 NEW BEST:: SOT 191619 SOS 92336 HAS SOPS 67823 HAS SOUS 33329 HAS SOUPS 31348 WITH SCORE 31440.336
AT ITER 5274 NEW BEST:: SOT 191618 SOS 92335 HAS SOPS 67804 HAS SOUS 33308 HAS SOUPS 31327 WITH SCORE 31419.335
AT ITER 5279 NEW BEST:: SOT 191618 SOS 92295 HAS SOPS 67764 HAS SOUS 33288 HAS SOUPS 31307 WITH SCORE 31399.295
AT ITER 5314 NEW BEST:: SOT 191618 SOS 92265 HAS SOPS 67734 HAS SOUS 33273 HAS SOUPS 31292 WITH SCORE 31384.265
AT ITER 5361 NEW BEST:: SOT 191618 SOS 92253 HAS SOPS 67722 HAS SOUS 33270 HAS SOUPS 31289 WITH SCORE 31381.253
AT ITER 5386 NEW BEST:: SOT 191630 SOS 92265 HAS SOPS 67732 HAS SOUS 33266 HAS SOUPS 31285 WITH SCORE 31377.265
AT ITER 5408 NEW BEST:: SOT 191630 SOS 92271 HAS SOPS 67738 HAS SOUS 33263 HAS SOUPS 31282 WITH SCORE 31374.271
AT ITER 5427 NEW BEST:: SOT 191630 SOS 92197 HAS SOPS 67664 HAS SOUS 33226 HAS SOUPS 31245 WITH SCORE 31337.197
AT ITER 5460 NEW BEST:: SOT 191630 SOS 92145 HAS SOPS 67612 HAS SOUS 33213 HAS SOUPS 31232 WITH SCORE 31324.145
AT ITER 5485 NEW BEST:: SOT 191630 SOS 92145 HAS SOPS 67604 HAS SOUS 33209 HAS SOUPS 31228 WITH SCORE 31320.145
AT ITER 5501 NEW BEST:: SOT 191688 SOS 92203 HAS SOPS 67345 HAS SOUS 33200 HAS SOUPS 31219 WITH SCORE 31311.203
AT ITER 5511 NEW BEST:: SOT 191666 SOS 93149 HAS SOPS 68867 HAS SOUS 33081 HAS SOUPS 31177 WITH SCORE 31270.149
AT ITER 5524 NEW BEST:: SOT 191666 SOS 93135 HAS SOPS 68853 HAS SOUS 33080 HAS SOUPS 31176 WITH SCORE 31269.135
AT ITER 5532 NEW BEST:: SOT 191666 SOS 93123 HAS SOPS 68841 HAS SOUS 33077 HAS SOUPS 31173 WITH SCORE 31266.123
AT ITER 5540 NEW BEST:: SOT 191588 SOS 93268 HAS SOPS 69075 HAS SOUS 32999 HAS SOUPS 31095 WITH SCORE 31188.268
AT ITER 5562 NEW BEST:: SOT 191588 SOS 93268 HAS SOPS 69075 HAS SOUS 32997 HAS SOUPS 31093 WITH SCORE 31186.268
AT ITER 5606 NEW BEST:: SOT 191588 SOS 93250 HAS SOPS 69057 HAS SOUS 32995 HAS SOUPS 31091 WITH SCORE 31184.25
AT ITER 5625 NEW BEST:: SOT 191588 SOS 93230 HAS SOPS 68973 HAS SOUS 33014 HAS SOUPS 31078 WITH SCORE 31171.23
AT ITER 5634 NEW BEST:: SOT 191582 SOS 93224 HAS SOPS 68963 HAS SOUS 33008 HAS SOUPS 31068 WITH SCORE 31161.224
AT ITER 5639 NEW BEST:: SOT 191582 SOS 93184 HAS SOPS 68923 HAS SOUS 33002 HAS SOUPS 31062 WITH SCORE 31155.184
AT ITER 5664 NEW BEST:: SOT 191573 SOS 93175 HAS SOPS 68866 HAS SOUS 32993 HAS SOUPS 31053 WITH SCORE 31146.175
AT ITER 5682 NEW BEST:: SOT 191573 SOS 93173 HAS SOPS 68864 HAS SOUS 32992 HAS SOUPS 31052 WITH SCORE 31145.173
AT ITER 5708 NEW BEST:: SOT 191573 SOS 93155 HAS SOPS 68846 HAS SOUS 32980 HAS SOUPS 31040 WITH SCORE 31133.155
AT ITER 5709 NEW BEST:: SOT 191246 SOS 92868 HAS SOPS 68597 HAS SOUS 32643 HAS SOUPS 30767 WITH SCORE 30859.868
AT ITER 5719 NEW BEST:: SOT 191280 SOS 92902 HAS SOPS 68623 HAS SOUS 32641 HAS SOUPS 30765 WITH SCORE 30857.902
AT ITER 5736 NEW BEST:: SOT 191272 SOS 92894 HAS SOPS 68615 HAS SOUS 32625 HAS SOUPS 30749 WITH SCORE 30841.894
AT ITER 5742 NEW BEST:: SOT 191272 SOS 92892 HAS SOPS 68613 HAS SOUS 32625 HAS SOUPS 30749 WITH SCORE 30841.892
AT ITER 5745 NEW BEST:: SOT 191272 SOS 92812 HAS SOPS 68533 HAS SOUS 32625 HAS SOUPS 30749 WITH SCORE 30841.812
AT ITER 5791 NEW BEST:: SOT 191266 SOS 92806 HAS SOPS 68521 HAS SOUS 32619 HAS SOUPS 30743 WITH SCORE 30835.806
AT ITER 5798 NEW BEST:: SOT 191274 SOS 92814 HAS SOPS 68523 HAS SOUS 32615 HAS SOUPS 30739 WITH SCORE 30831.814
AT ITER 5823 NEW BEST:: SOT 191267 SOS 92957 HAS SOPS 68546 HAS SOUS 32575 HAS SOUPS 30699 WITH SCORE 30791.957
AT ITER 5851 NEW BEST:: SOT 191267 SOS 92859 HAS SOPS 68448 HAS SOUS 32568 HAS SOUPS 30692 WITH SCORE 30784.859
AT ITER 5859 NEW BEST:: SOT 191235 SOS 92827 HAS SOPS 68384 HAS SOUS 32520 HAS SOUPS 30644 WITH SCORE 30736.827
AT ITER 5909 NEW BEST:: SOT 191223 SOS 92815 HAS SOPS 68372 HAS SOUS 32512 HAS SOUPS 30636 WITH SCORE 30728.815
AT ITER 5939 NEW BEST:: SOT 190915 SOS 92507 HAS SOPS 67864 HAS SOUS 32486 HAS SOUPS 30610 WITH SCORE 30702.507
AT ITER 5983 NEW BEST:: SOT 190915 SOS 92487 HAS SOPS 67844 HAS SOUS 32486 HAS SOUPS 30610 WITH SCORE 30702.487
AT ITER 5986 NEW BEST:: SOT 190915 SOS 92361 HAS SOPS 67718 HAS SOUS 32486 HAS SOUPS 30610 WITH SCORE 30702.361
AT ITER 5997 NEW BEST:: SOT 190915 SOS 92351 HAS SOPS 67706 HAS SOUS 32487 HAS SOUPS 30610 WITH SCORE 30702.351
AT ITER 6015 NEW BEST:: SOT 190915 SOS 92327 HAS SOPS 67702 HAS SOUS 32475 HAS SOUPS 30608 WITH SCORE 30700.327
AT ITER 6054 NEW BEST:: SOT 190915 SOS 92327 HAS SOPS 67678 HAS SOUS 32463 HAS SOUPS 30584 WITH SCORE 30676.327
AT ITER 6089 NEW BEST:: SOT 190915 SOS 92317 HAS SOPS 67668 HAS SOUS 32461 HAS SOUPS 30582 WITH SCORE 30674.317
AT ITER 6091 NEW BEST:: SOT 190915 SOS 92317 HAS SOPS 67668 HAS SOUS 32456 HAS SOUPS 30577 WITH SCORE 30669.317
AT ITER 6124 NEW BEST:: SOT 190915 SOS 92325 HAS SOPS 67668 HAS SOUS 32444 HAS SOUPS 30565 WITH SCORE 30657.325
AT ITER 6155 NEW BEST:: SOT 190915 SOS 92317 HAS SOPS 67660 HAS SOUS 32440 HAS SOUPS 30561 WITH SCORE 30653.317
AT ITER 6163 NEW BEST:: SOT 190915 SOS 92241 HAS SOPS 67584 HAS SOUS 32433 HAS SOUPS 30554 WITH SCORE 30646.241
AT ITER 6192 NEW BEST:: SOT 190907 SOS 92233 HAS SOPS 67576 HAS SOUS 32417 HAS SOUPS 30538 WITH SCORE 30630.233
AT ITER 6209 NEW BEST:: SOT 190845 SOS 92171 HAS SOPS 67638 HAS SOUS 32411 HAS SOUPS 30532 WITH SCORE 30624.171
AT ITER 6272 NEW BEST:: SOT 190757 SOS 92083 HAS SOPS 67556 HAS SOUS 32387 HAS SOUPS 30508 WITH SCORE 30600.083
AT ITER 6293 NEW BEST:: SOT 190711 SOS 92037 HAS SOPS 67484 HAS SOUS 32331 HAS SOUPS 30452 WITH SCORE 30544.037
AT ITER 6298 NEW BEST:: SOT 190696 SOS 92223 HAS SOPS 67707 HAS SOUS 32309 HAS SOUPS 30430 WITH SCORE 30522.223
AT ITER 6340 NEW BEST:: SOT 190694 SOS 92209 HAS SOPS 67697 HAS SOUS 32302 HAS SOUPS 30423 WITH SCORE 30515.209
AT ITER 6346 NEW BEST:: SOT 190686 SOS 92201 HAS SOPS 67681 HAS SOUS 32286 HAS SOUPS 30407 WITH SCORE 30499.201
AT ITER 6363 NEW BEST:: SOT 190686 SOS 92141 HAS SOPS 67621 HAS SOUS 32271 HAS SOUPS 30392 WITH SCORE 30484.141
AT ITER 6370 NEW BEST:: SOT 190664 SOS 92119 HAS SOPS 67599 HAS SOUS 32271 HAS SOUPS 30392 WITH SCORE 30484.119
AT ITER 6375 NEW BEST:: SOT 190664 SOS 92105 HAS SOPS 67645 HAS SOUS 32241 HAS SOUPS 30392 WITH SCORE 30484.105
AT ITER 6393 NEW BEST:: SOT 190658 SOS 92099 HAS SOPS 67651 HAS SOUS 32235 HAS SOUPS 30386 WITH SCORE 30478.099
AT ITER 6400 NEW BEST:: SOT 190296 SOS 91737 HAS SOPS 67297 HAS SOUS 32239 HAS SOUPS 30380 WITH SCORE 30471.737
AT ITER 6405 NEW BEST:: SOT 190296 SOS 91737 HAS SOPS 67225 HAS SOUS 32203 HAS SOUPS 30344 WITH SCORE 30435.737
AT ITER 6432 NEW BEST:: SOT 190126 SOS 91567 HAS SOPS 68317 HAS SOUS 32117 HAS SOUPS 30258 WITH SCORE 30349.567
AT ITER 6478 NEW BEST:: SOT 190126 SOS 91565 HAS SOPS 68315 HAS SOUS 32116 HAS SOUPS 30257 WITH SCORE 30348.565
AT ITER 6500 NEW BEST:: SOT 190126 SOS 91551 HAS SOPS 68301 HAS SOUS 32109 HAS SOUPS 30250 WITH SCORE 30341.551
AT ITER 6501 NEW BEST:: SOT 189982 SOS 91407 HAS SOPS 67763 HAS SOUS 32015 HAS SOUPS 30156 WITH SCORE 30247.407
AT ITER 6525 NEW BEST:: SOT 189982 SOS 91163 HAS SOPS 67519 HAS SOUS 32001 HAS SOUPS 30142 WITH SCORE 30233.163
AT ITER 6553 NEW BEST:: SOT 189982 SOS 90781 HAS SOPS 67047 HAS SOUS 31978 HAS SOUPS 30074 WITH SCORE 30164.781
AT ITER 6577 NEW BEST:: SOT 189982 SOS 90771 HAS SOPS 67037 HAS SOUS 31973 HAS SOUPS 30069 WITH SCORE 30159.771
AT ITER 6595 NEW BEST:: SOT 189982 SOS 90771 HAS SOPS 67033 HAS SOUS 31967 HAS SOUPS 30063 WITH SCORE 30153.771
AT ITER 6597 NEW BEST:: SOT 189975 SOS 90838 HAS SOPS 67104 HAS SOUS 31961 HAS SOUPS 30057 WITH SCORE 30147.838
AT ITER 6642 NEW BEST:: SOT 189809 SOS 90672 HAS SOPS 66940 HAS SOUS 31869 HAS SOUPS 29965 WITH SCORE 30055.672
AT ITER 6674 NEW BEST:: SOT 189807 SOS 90670 HAS SOPS 66936 HAS SOUS 31865 HAS SOUPS 29961 WITH SCORE 30051.67
AT ITER 6683 NEW BEST:: SOT 189807 SOS 90650 HAS SOPS 66916 HAS SOUS 31865 HAS SOUPS 29961 WITH SCORE 30051.65
AT ITER 6708 NEW BEST:: SOT 189807 SOS 90608 HAS SOPS 66924 HAS SOUS 31811 HAS SOUPS 29934 WITH SCORE 30024.608
AT ITER 6720 NEW BEST:: SOT 189807 SOS 90596 HAS SOPS 66912 HAS SOUS 31809 HAS SOUPS 29932 WITH SCORE 30022.596
AT ITER 6752 NEW BEST:: SOT 189807 SOS 90576 HAS SOPS 66892 HAS SOUS 31806 HAS SOUPS 29929 WITH SCORE 30019.576
AT ITER 6836 NEW BEST:: SOT 189807 SOS 90730 HAS SOPS 67046 HAS SOUS 31796 HAS SOUPS 29919 WITH SCORE 30009.73
AT ITER 6890 NEW BEST:: SOT 189797 SOS 90684 HAS SOPS 67008 HAS SOUS 31793 HAS SOUPS 29916 WITH SCORE 30006.684
AT ITER 6898 NEW BEST:: SOT 189797 SOS 90680 HAS SOPS 67004 HAS SOUS 31793 HAS SOUPS 29916 WITH SCORE 30006.68
AT ITER 6975 NEW BEST:: SOT 189797 SOS 90668 HAS SOPS 67020 HAS SOUS 31771 HAS SOUPS 29908 WITH SCORE 29998.668
AT ITER 6996 NEW BEST:: SOT 189797 SOS 90636 HAS SOPS 66988 HAS SOUS 31771 HAS SOUPS 29908 WITH SCORE 29998.636
AT ITER 7008 NEW BEST:: SOT 189797 SOS 90622 HAS SOPS 66974 HAS SOUS 31768 HAS SOUPS 29905 WITH SCORE 29995.622
AT ITER 7026 NEW BEST:: SOT 189797 SOS 90620 HAS SOPS 66972 HAS SOUS 31767 HAS SOUPS 29904 WITH SCORE 29994.62
AT ITER 7036 NEW BEST:: SOT 189716 SOS 90667 HAS SOPS 67056 HAS SOUS 31582 HAS SOUPS 29719 WITH SCORE 29809.667
AT ITER 7055 NEW BEST:: SOT 189716 SOS 90673 HAS SOPS 67056 HAS SOUS 31573 HAS SOUPS 29710 WITH SCORE 29800.673
AT ITER 7113 NEW BEST:: SOT 189657 SOS 90614 HAS SOPS 67006 HAS SOUS 31548 HAS SOUPS 29685 WITH SCORE 29775.614
AT ITER 7121 NEW BEST:: SOT 189657 SOS 90588 HAS SOPS 66980 HAS SOUS 31531 HAS SOUPS 29668 WITH SCORE 29758.588
AT ITER 7135 NEW BEST:: SOT 189655 SOS 90586 HAS SOPS 66980 HAS SOUS 31531 HAS SOUPS 29668 WITH SCORE 29758.586
AT ITER 7143 NEW BEST:: SOT 189666 SOS 90650 HAS SOPS 67063 HAS SOUS 31530 HAS SOUPS 29667 WITH SCORE 29757.65
AT ITER 7145 NEW BEST:: SOT 189666 SOS 90618 HAS SOPS 67031 HAS SOUS 31530 HAS SOUPS 29667 WITH SCORE 29757.618
AT ITER 7149 NEW BEST:: SOT 189806 SOS 90758 HAS SOPS 67101 HAS SOUS 31486 HAS SOUPS 29623 WITH SCORE 29713.758
AT ITER 7174 NEW BEST:: SOT 189806 SOS 90744 HAS SOPS 67087 HAS SOUS 31479 HAS SOUPS 29616 WITH SCORE 29706.744
AT ITER 7219 NEW BEST:: SOT 189806 SOS 90736 HAS SOPS 67079 HAS SOUS 31475 HAS SOUPS 29612 WITH SCORE 29702.736
AT ITER 7228 NEW BEST:: SOT 189806 SOS 90710 HAS SOPS 67073 HAS SOUS 31462 HAS SOUPS 29609 WITH SCORE 29699.71
AT ITER 7319 NEW BEST:: SOT 189232 SOS 90501 HAS SOPS 66499 HAS SOUS 30891 HAS SOUPS 29035 WITH SCORE 29125.501
AT ITER 7320 NEW BEST:: SOT 189254 SOS 90523 HAS SOPS 66483 HAS SOUS 30853 HAS SOUPS 28997 WITH SCORE 29087.523
AT ITER 7350 NEW BEST:: SOT 189254 SOS 90517 HAS SOPS 66477 HAS SOUS 30853 HAS SOUPS 28997 WITH SCORE 29087.517
AT ITER 7444 NEW BEST:: SOT 189264 SOS 90527 HAS SOPS 66337 HAS SOUS 30833 HAS SOUPS 28977 WITH SCORE 29067.527
AT ITER 7499 NEW BEST:: SOT 189264 SOS 90509 HAS SOPS 66292 HAS SOUS 30758 HAS SOUPS 28902 WITH SCORE 28992.509
AT ITER 7519 NEW BEST:: SOT 189264 SOS 90471 HAS SOPS 66254 HAS SOUS 30739 HAS SOUPS 28883 WITH SCORE 28973.471
AT ITER 7526 NEW BEST:: SOT 189194 SOS 90341 HAS SOPS 66032 HAS SOUS 30621 HAS SOUPS 28765 WITH SCORE 28855.341
AT ITER 7534 NEW BEST:: SOT 189194 SOS 90325 HAS SOPS 66016 HAS SOUS 30610 HAS SOUPS 28754 WITH SCORE 28844.325
AT ITER 7541 NEW BEST:: SOT 189192 SOS 90285 HAS SOPS 65974 HAS SOUS 30590 HAS SOUPS 28734 WITH SCORE 28824.285
AT ITER 7546 NEW BEST:: SOT 189176 SOS 90269 HAS SOPS 65958 HAS SOUS 30566 HAS SOUPS 28710 WITH SCORE 28800.269
AT ITER 7557 NEW BEST:: SOT 189165 SOS 90258 HAS SOPS 65950 HAS SOUS 30551 HAS SOUPS 28695 WITH SCORE 28785.258
AT ITER 7611 NEW BEST:: SOT 189165 SOS 90242 HAS SOPS 65934 HAS SOUS 30523 HAS SOUPS 28667 WITH SCORE 28757.242
AT ITER 7617 NEW BEST:: SOT 189137 SOS 90214 HAS SOPS 65934 HAS SOUS 30497 HAS SOUPS 28641 WITH SCORE 28731.214
AT ITER 7647 NEW BEST:: SOT 189137 SOS 89790 HAS SOPS 65654 HAS SOUS 30474 HAS SOUPS 28627 WITH SCORE 28716.79
AT ITER 7668 NEW BEST:: SOT 189129 SOS 89782 HAS SOPS 65659 HAS SOUS 30465 HAS SOUPS 28618 WITH SCORE 28707.782
AT ITER 7678 NEW BEST:: SOT 189125 SOS 89778 HAS SOPS 65655 HAS SOUS 30461 HAS SOUPS 28614 WITH SCORE 28703.778
AT ITER 7704 NEW BEST:: SOT 189103 SOS 89756 HAS SOPS 65661 HAS SOUS 30454 HAS SOUPS 28607 WITH SCORE 28696.756
AT ITER 7729 NEW BEST:: SOT 189103 SOS 89776 HAS SOPS 65681 HAS SOUS 30450 HAS SOUPS 28603 WITH SCORE 28692.776
AT ITER 7790 NEW BEST:: SOT 189089 SOS 89759 HAS SOPS 65659 HAS SOUS 30416 HAS SOUPS 28569 WITH SCORE 28658.759
AT ITER 7800 NEW BEST:: SOT 189082 SOS 89752 HAS SOPS 65652 HAS SOUS 30400 HAS SOUPS 28553 WITH SCORE 28642.752
AT ITER 7828 NEW BEST:: SOT 189082 SOS 89726 HAS SOPS 65626 HAS SOUS 30398 HAS SOUPS 28551 WITH SCORE 28640.726
AT ITER 7848 NEW BEST:: SOT 189082 SOS 89740 HAS SOPS 65640 HAS SOUS 30390 HAS SOUPS 28543 WITH SCORE 28632.74
AT ITER 7910 NEW BEST:: SOT 189074 SOS 89732 HAS SOPS 65632 HAS SOUS 30390 HAS SOUPS 28543 WITH SCORE 28632.732
AT ITER 7915 NEW BEST:: SOT 189074 SOS 89728 HAS SOPS 65628 HAS SOUS 30377 HAS SOUPS 28530 WITH SCORE 28619.728
AT ITER 7928 NEW BEST:: SOT 189074 SOS 89716 HAS SOPS 65616 HAS SOUS 30377 HAS SOUPS 28530 WITH SCORE 28619.716
AT ITER 7936 NEW BEST:: SOT 189074 SOS 89760 HAS SOPS 65660 HAS SOUS 30366 HAS SOUPS 28519 WITH SCORE 28608.76
AT ITER 7966 NEW BEST:: SOT 189074 SOS 89740 HAS SOPS 65640 HAS SOUS 30364 HAS SOUPS 28517 WITH SCORE 28606.74
AT ITER 8039 NEW BEST:: SOT 189072 SOS 89738 HAS SOPS 65644 HAS SOUS 30360 HAS SOUPS 28513 WITH SCORE 28602.738
AT ITER 8055 NEW BEST:: SOT 189072 SOS 89708 HAS SOPS 65614 HAS SOUS 30359 HAS SOUPS 28512 WITH SCORE 28601.708
AT ITER 8164 NEW BEST:: SOT 189020 SOS 89656 HAS SOPS 65536 HAS SOUS 30281 HAS SOUPS 28434 WITH SCORE 28523.656
AT ITER 8170 NEW BEST:: SOT 189020 SOS 89518 HAS SOPS 65536 HAS SOUS 30212 HAS SOUPS 28434 WITH SCORE 28523.518
AT ITER 8208 NEW BEST:: SOT 188992 SOS 89490 HAS SOPS 65660 HAS SOUS 30188 HAS SOUPS 28410 WITH SCORE 28499.49
AT ITER 8220 NEW BEST:: SOT 188990 SOS 89488 HAS SOPS 65640 HAS SOUS 30176 HAS SOUPS 28398 WITH SCORE 28487.488
AT ITER 8237 NEW BEST:: SOT 188988 SOS 89486 HAS SOPS 65638 HAS SOUS 30174 HAS SOUPS 28396 WITH SCORE 28485.486
AT ITER 8248 NEW BEST:: SOT 188988 SOS 89468 HAS SOPS 65620 HAS SOUS 30173 HAS SOUPS 28395 WITH SCORE 28484.468
AT ITER 8256 NEW BEST:: SOT 188988 SOS 89480 HAS SOPS 65632 HAS SOUS 30161 HAS SOUPS 28383 WITH SCORE 28472.48
AT ITER 8306 NEW BEST:: SOT 188988 SOS 89476 HAS SOPS 65674 HAS SOUS 30136 HAS SOUPS 28381 WITH SCORE 28470.476
AT ITER 8307 NEW BEST:: SOT 188988 SOS 89484 HAS SOPS 65682 HAS SOUS 30134 HAS SOUPS 28379 WITH SCORE 28468.484
AT ITER 8340 NEW BEST:: SOT 188980 SOS 89476 HAS SOPS 65666 HAS SOUS 30115 HAS SOUPS 28360 WITH SCORE 28449.476
AT ITER 8343 NEW BEST:: SOT 188980 SOS 89462 HAS SOPS 65666 HAS SOUS 30108 HAS SOUPS 28360 WITH SCORE 28449.462
AT ITER 8358 NEW BEST:: SOT 188977 SOS 89459 HAS SOPS 65662 HAS SOUS 30103 HAS SOUPS 28355 WITH SCORE 28444.459
AT ITER 8409 NEW BEST:: SOT 189015 SOS 89497 HAS SOPS 65716 HAS SOUS 30065 HAS SOUPS 28317 WITH SCORE 28406.497
AT ITER 8428 NEW BEST:: SOT 189015 SOS 89483 HAS SOPS 65702 HAS SOUS 30062 HAS SOUPS 28314 WITH SCORE 28403.483
AT ITER 8443 NEW BEST:: SOT 189039 SOS 89507 HAS SOPS 65726 HAS SOUS 30044 HAS SOUPS 28296 WITH SCORE 28385.507
AT ITER 8505 NEW BEST:: SOT 189060 SOS 89539 HAS SOPS 65765 HAS SOUS 30035 HAS SOUPS 28287 WITH SCORE 28376.539
AT ITER 8518 NEW BEST:: SOT 189076 SOS 89569 HAS SOPS 65789 HAS SOUS 30030 HAS SOUPS 28282 WITH SCORE 28371.569
AT ITER 8532 NEW BEST:: SOT 189076 SOS 89581 HAS SOPS 65801 HAS SOUS 30024 HAS SOUPS 28276 WITH SCORE 28365.581
AT ITER 8537 NEW BEST:: SOT 189072 SOS 89577 HAS SOPS 65785 HAS SOUS 30008 HAS SOUPS 28260 WITH SCORE 28349.577
AT ITER 8573 NEW BEST:: SOT 189020 SOS 89525 HAS SOPS 65737 HAS SOUS 29960 HAS SOUPS 28212 WITH SCORE 28301.525
AT ITER 8583 NEW BEST:: SOT 189020 SOS 89701 HAS SOPS 65913 HAS SOUS 29957 HAS SOUPS 28209 WITH SCORE 28298.701
AT ITER 8643 NEW BEST:: SOT 189022 SOS 89703 HAS SOPS 65912 HAS SOUS 29956 HAS SOUPS 28208 WITH SCORE 28297.703
AT ITER 8649 NEW BEST:: SOT 188920 SOS 89601 HAS SOPS 65804 HAS SOUS 29874 HAS SOUPS 28126 WITH SCORE 28215.601
AT ITER 8657 NEW BEST:: SOT 188920 SOS 89589 HAS SOPS 65792 HAS SOUS 29874 HAS SOUPS 28126 WITH SCORE 28215.589
AT ITER 8664 NEW BEST:: SOT 188910 SOS 89555 HAS SOPS 65760 HAS SOUS 29872 HAS SOUPS 28124 WITH SCORE 28213.555
AT ITER 8678 NEW BEST:: SOT 188936 SOS 89581 HAS SOPS 66164 HAS SOUS 29870 HAS SOUPS 28122 WITH SCORE 28211.581
AT ITER 8679 NEW BEST:: SOT 188936 SOS 89521 HAS SOPS 66150 HAS SOUS 29847 HAS SOUPS 28122 WITH SCORE 28211.521
AT ITER 8687 NEW BEST:: SOT 188936 SOS 89521 HAS SOPS 66146 HAS SOUS 29847 HAS SOUPS 28120 WITH SCORE 28209.521
AT ITER 8689 NEW BEST:: SOT 188936 SOS 89521 HAS SOPS 66146 HAS SOUS 29844 HAS SOUPS 28117 WITH SCORE 28206.521
AT ITER 8696 NEW BEST:: SOT 188936 SOS 89481 HAS SOPS 66136 HAS SOUS 29824 HAS SOUPS 28112 WITH SCORE 28201.481
AT ITER 8713 NEW BEST:: SOT 188967 SOS 89511 HAS SOPS 66135 HAS SOUS 29795 HAS SOUPS 28083 WITH SCORE 28172.511
AT ITER 8766 NEW BEST:: SOT 188957 SOS 89501 HAS SOPS 66115 HAS SOUS 29775 HAS SOUPS 28063 WITH SCORE 28152.501
AT ITER 8773 NEW BEST:: SOT 188953 SOS 89497 HAS SOPS 66117 HAS SOUS 29767 HAS SOUPS 28055 WITH SCORE 28144.497
AT ITER 8775 NEW BEST:: SOT 188951 SOS 89495 HAS SOPS 66137 HAS SOUS 29763 HAS SOUPS 28051 WITH SCORE 28140.495
AT ITER 8848 NEW BEST:: SOT 188951 SOS 89455 HAS SOPS 66043 HAS SOUS 29790 HAS SOUPS 28050 WITH SCORE 28139.455
AT ITER 8898 NEW BEST:: SOT 188951 SOS 89401 HAS SOPS 65989 HAS SOUS 29781 HAS SOUPS 28041 WITH SCORE 28130.401
AT ITER 8911 NEW BEST:: SOT 188939 SOS 89389 HAS SOPS 65881 HAS SOUS 29757 HAS SOUPS 28017 WITH SCORE 28106.389
AT ITER 8992 NEW BEST:: SOT 188939 SOS 89405 HAS SOPS 65897 HAS SOUS 29756 HAS SOUPS 28016 WITH SCORE 28105.405
AT ITER 9036 NEW BEST:: SOT 188939 SOS 89495 HAS SOPS 65987 HAS SOUS 29746 HAS SOUPS 28006 WITH SCORE 28095.495
AT ITER 9063 NEW BEST:: SOT 188939 SOS 89477 HAS SOPS 65923 HAS SOUS 29760 HAS SOUPS 27997 WITH SCORE 28086.477
AT ITER 9100 NEW BEST:: SOT 188939 SOS 89509 HAS SOPS 66013 HAS SOUS 29724 HAS SOUPS 27991 WITH SCORE 28080.509
AT ITER 9140 NEW BEST:: SOT 188903 SOS 89473 HAS SOPS 65977 HAS SOUS 29670 HAS SOUPS 27937 WITH SCORE 28026.473
AT ITER 9164 NEW BEST:: SOT 188903 SOS 89447 HAS SOPS 65951 HAS SOUS 29670 HAS SOUPS 27937 WITH SCORE 28026.447
AT ITER 9167 NEW BEST:: SOT 188903 SOS 89351 HAS SOPS 65855 HAS SOUS 29670 HAS SOUPS 27937 WITH SCORE 28026.351
AT ITER 9228 NEW BEST:: SOT 188903 SOS 89343 HAS SOPS 65847 HAS SOUS 29668 HAS SOUPS 27935 WITH SCORE 28024.343
AT ITER 9342 NEW BEST:: SOT 188967 SOS 89407 HAS SOPS 65875 HAS SOUS 29648 HAS SOUPS 27915 WITH SCORE 28004.407
AT ITER 9344 NEW BEST:: SOT 188967 SOS 89040 HAS SOPS 65636 HAS SOUS 29632 HAS SOUPS 27907 WITH SCORE 27996.04
AT ITER 9417 NEW BEST:: SOT 188967 SOS 89012 HAS SOPS 65608 HAS SOUS 29632 HAS SOUPS 27907 WITH SCORE 27996.012
AT ITER 9445 NEW BEST:: SOT 188967 SOS 89006 HAS SOPS 65602 HAS SOUS 29626 HAS SOUPS 27901 WITH SCORE 27990.006
AT ITER 9448 NEW BEST:: SOT 188965 SOS 89004 HAS SOPS 65600 HAS SOUS 29624 HAS SOUPS 27899 WITH SCORE 27988.004
AT ITER 9462 NEW BEST:: SOT 188947 SOS 88986 HAS SOPS 65578 HAS SOUS 29578 HAS SOUPS 27853 WITH SCORE 27941.986
AT ITER 9464 NEW BEST:: SOT 188947 SOS 88956 HAS SOPS 65470 HAS SOUS 29605 HAS SOUPS 27849 WITH SCORE 27937.956
AT ITER 9482 NEW BEST:: SOT 188947 SOS 88902 HAS SOPS 65416 HAS SOUS 29578 HAS SOUPS 27822 WITH SCORE 27910.902
AT ITER 9558 NEW BEST:: SOT 188947 SOS 88948 HAS SOPS 65400 HAS SOUS 29601 HAS SOUPS 27814 WITH SCORE 27902.948
AT ITER 9570 NEW BEST:: SOT 188917 SOS 88918 HAS SOPS 65360 HAS SOUS 29556 HAS SOUPS 27769 WITH SCORE 27857.918
AT ITER 9604 NEW BEST:: SOT 188917 SOS 88908 HAS SOPS 65330 HAS SOUS 29502 HAS SOUPS 27715 WITH SCORE 27803.908
AT ITER 9609 NEW BEST:: SOT 188883 SOS 88874 HAS SOPS 65262 HAS SOUS 29495 HAS SOUPS 27668 WITH SCORE 27756.874
AT ITER 9610 NEW BEST:: SOT 188871 SOS 88862 HAS SOPS 65256 HAS SOUS 29492 HAS SOUPS 27665 WITH SCORE 27753.862
AT ITER 9653 NEW BEST:: SOT 188847 SOS 88838 HAS SOPS 65232 HAS SOUS 29468 HAS SOUPS 27641 WITH SCORE 27729.838
AT ITER 9688 NEW BEST:: SOT 188878 SOS 88869 HAS SOPS 65222 HAS SOUS 29458 HAS SOUPS 27631 WITH SCORE 27719.869
AT ITER 9706 NEW BEST:: SOT 188876 SOS 88867 HAS SOPS 65218 HAS SOUS 29456 HAS SOUPS 27629 WITH SCORE 27717.867
AT ITER 9714 NEW BEST:: SOT 188876 SOS 88861 HAS SOPS 65212 HAS SOUS 29456 HAS SOUPS 27629 WITH SCORE 27717.861
AT ITER 9750 NEW BEST:: SOT 188868 SOS 88853 HAS SOPS 65191 HAS SOUS 29430 HAS SOUPS 27603 WITH SCORE 27691.853
AT ITER 9797 NEW BEST:: SOT 188828 SOS 88813 HAS SOPS 65147 HAS SOUS 29426 HAS SOUPS 27599 WITH SCORE 27687.813
AT ITER 9803 NEW BEST:: SOT 188828 SOS 88967 HAS SOPS 65301 HAS SOUS 29416 HAS SOUPS 27589 WITH SCORE 27677.967
AT ITER 9815 NEW BEST:: SOT 188848 SOS 88987 HAS SOPS 65305 HAS SOUS 29408 HAS SOUPS 27581 WITH SCORE 27669.987
AT ITER 9855 NEW BEST:: SOT 188848 SOS 89041 HAS SOPS 65359 HAS SOUS 29400 HAS SOUPS 27573 WITH SCORE 27662.041
AT ITER 9857 NEW BEST:: SOT 188854 SOS 89051 HAS SOPS 65367 HAS SOUS 29398 HAS SOUPS 27571 WITH SCORE 27660.051
AT ITER 9965 NEW BEST:: SOT 188850 SOS 89047 HAS SOPS 65359 HAS SOUS 29394 HAS SOUPS 27567 WITH SCORE 27656.047
AT ITER 9967 NEW BEST:: SOT 188850 SOS 89047 HAS SOPS 65359 HAS SOUS 29392 HAS SOUPS 27565 WITH SCORE 27654.047
AT ITER 9977 NEW BEST:: SOT 188850 SOS 89045 HAS SOPS 65357 HAS SOUS 29391 HAS SOUPS 27564 WITH SCORE 27653.045
AT ITER 9982 NEW BEST:: SOT 188850 SOS 89147 HAS SOPS 65477 HAS SOUS 29379 HAS SOUPS 27561 WITH SCORE 27650.147
AT ITER 9991 NEW BEST:: SOT 188850 SOS 89117 HAS SOPS 65459 HAS SOUS 29361 HAS SOUPS 27549 WITH SCORE 27638.117
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11647704 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124848 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FunctionPointer-PT-b008"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FunctionPointer-PT-b008, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858900680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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