Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 16:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 192K 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 1678471144279

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 782 places, 697 transitions, 2011 arcs.
AT ITER 0 NEW BEST:: SOT 346049 SOS 133379 HAS SOPS 133379 HAS SOUS 130584 HAS SOUPS 130584 WITH SCORE 130717.379
AT ITER 3 NEW BEST:: SOT 346049 SOS 133292 HAS SOPS 133292 HAS SOUS 130497 HAS SOUPS 130497 WITH SCORE 130630.292
AT ITER 11 NEW BEST:: SOT 345795 SOS 132942 HAS SOPS 132942 HAS SOUS 130147 HAS SOUPS 130147 WITH SCORE 130279.942
AT ITER 19 NEW BEST:: SOT 341462 SOS 130272 HAS SOPS 130272 HAS SOUS 126232 HAS SOUPS 126232 WITH SCORE 126362.272
AT ITER 41 NEW BEST:: SOT 341462 SOS 130198 HAS SOPS 130198 HAS SOUS 126158 HAS SOUPS 126158 WITH SCORE 126288.198
AT ITER 51 NEW BEST:: SOT 341474 SOS 130017 HAS SOPS 130017 HAS SOUS 125977 HAS SOUPS 125977 WITH SCORE 126107.017
AT ITER 57 NEW BEST:: SOT 341408 SOS 129951 HAS SOPS 129951 HAS SOUS 125911 HAS SOUPS 125911 WITH SCORE 126040.951
AT ITER 65 NEW BEST:: SOT 341408 SOS 129894 HAS SOPS 129894 HAS SOUS 125852 HAS SOUPS 125852 WITH SCORE 125981.894
AT ITER 71 NEW BEST:: SOT 341256 SOS 129786 HAS SOPS 129786 HAS SOUS 125744 HAS SOUPS 125744 WITH SCORE 125873.786
AT ITER 78 NEW BEST:: SOT 341246 SOS 129753 HAS SOPS 129753 HAS SOUS 125711 HAS SOUPS 125711 WITH SCORE 125840.753
AT ITER 95 NEW BEST:: SOT 341246 SOS 129572 HAS SOPS 129572 HAS SOUS 125530 HAS SOUPS 125530 WITH SCORE 125659.572
AT ITER 100 NEW BEST:: SOT 340905 SOS 129165 HAS SOPS 129165 HAS SOUS 125137 HAS SOUPS 125137 WITH SCORE 125266.165
AT ITER 111 NEW BEST:: SOT 340721 SOS 128981 HAS SOPS 128981 HAS SOUS 124953 HAS SOUPS 124953 WITH SCORE 125081.981
AT ITER 114 NEW BEST:: SOT 340721 SOS 128811 HAS SOPS 128811 HAS SOUS 124783 HAS SOUPS 124783 WITH SCORE 124911.811
AT ITER 119 NEW BEST:: SOT 340720 SOS 128617 HAS SOPS 128617 HAS SOUS 124589 HAS SOUPS 124589 WITH SCORE 124717.617
AT ITER 128 NEW BEST:: SOT 340688 SOS 128462 HAS SOPS 128462 HAS SOUS 124434 HAS SOUPS 124434 WITH SCORE 124562.462
AT ITER 141 NEW BEST:: SOT 340687 SOS 128457 HAS SOPS 128457 HAS SOUS 124433 HAS SOUPS 124433 WITH SCORE 124561.457
AT ITER 151 NEW BEST:: SOT 340687 SOS 128452 HAS SOPS 128452 HAS SOUS 124431 HAS SOUPS 124431 WITH SCORE 124559.452
AT ITER 157 NEW BEST:: SOT 340597 SOS 128318 HAS SOPS 128318 HAS SOUS 124297 HAS SOUPS 124297 WITH SCORE 124425.318
AT ITER 166 NEW BEST:: SOT 340541 SOS 128262 HAS SOPS 128262 HAS SOUS 124241 HAS SOUPS 124241 WITH SCORE 124369.262
AT ITER 177 NEW BEST:: SOT 340386 SOS 128254 HAS SOPS 128254 HAS SOUS 124217 HAS SOUPS 124217 WITH SCORE 124345.254
AT ITER 183 NEW BEST:: SOT 340232 SOS 128354 HAS SOPS 128354 HAS SOUS 124207 HAS SOUPS 124207 WITH SCORE 124335.354
AT ITER 199 NEW BEST:: SOT 340227 SOS 128295 HAS SOPS 128295 HAS SOUS 124148 HAS SOUPS 124148 WITH SCORE 124276.295
AT ITER 200 NEW BEST:: SOT 340267 SOS 128166 HAS SOPS 128166 HAS SOUS 124088 HAS SOUPS 124088 WITH SCORE 124216.166
AT ITER 206 NEW BEST:: SOT 340243 SOS 128094 HAS SOPS 128094 HAS SOUS 124016 HAS SOUPS 124016 WITH SCORE 124144.094
AT ITER 210 NEW BEST:: SOT 340242 SOS 128092 HAS SOPS 128092 HAS SOUS 124014 HAS SOUPS 124014 WITH SCORE 124142.092
AT ITER 218 NEW BEST:: SOT 340232 SOS 128072 HAS SOPS 128072 HAS SOUS 124002 HAS SOUPS 124002 WITH SCORE 124130.072
AT ITER 222 NEW BEST:: SOT 340232 SOS 128042 HAS SOPS 128042 HAS SOUS 124002 HAS SOUPS 124002 WITH SCORE 124130.042
AT ITER 225 NEW BEST:: SOT 340182 SOS 128004 HAS SOPS 128004 HAS SOUS 124002 HAS SOUPS 124002 WITH SCORE 124130.004
AT ITER 230 NEW BEST:: SOT 339952 SOS 127839 HAS SOPS 127839 HAS SOUS 123837 HAS SOUPS 123837 WITH SCORE 123964.839
AT ITER 231 NEW BEST:: SOT 339823 SOS 127646 HAS SOPS 127646 HAS SOUS 123740 HAS SOUPS 123740 WITH SCORE 123867.646
AT ITER 232 NEW BEST:: SOT 339823 SOS 127638 HAS SOPS 127638 HAS SOUS 123732 HAS SOUPS 123732 WITH SCORE 123859.638
AT ITER 235 NEW BEST:: SOT 339599 SOS 127414 HAS SOPS 127414 HAS SOUS 123508 HAS SOUPS 123508 WITH SCORE 123635.414
AT ITER 237 NEW BEST:: SOT 339418 SOS 127017 HAS SOPS 127017 HAS SOUS 123111 HAS SOUPS 123111 WITH SCORE 123238.017
AT ITER 243 NEW BEST:: SOT 339553 SOS 127015 HAS SOPS 127015 HAS SOUS 123109 HAS SOUPS 123109 WITH SCORE 123236.015
AT ITER 257 NEW BEST:: SOT 339513 SOS 126935 HAS SOPS 126935 HAS SOUS 123029 HAS SOUPS 123029 WITH SCORE 123155.935
AT ITER 261 NEW BEST:: SOT 339460 SOS 126895 HAS SOPS 126895 HAS SOUS 122989 HAS SOUPS 122989 WITH SCORE 123115.895
AT ITER 268 NEW BEST:: SOT 339579 SOS 126894 HAS SOPS 126894 HAS SOUS 122988 HAS SOUPS 122988 WITH SCORE 123114.894
AT ITER 282 NEW BEST:: SOT 337898 SOS 126663 HAS SOPS 126663 HAS SOUS 121859 HAS SOUPS 121859 WITH SCORE 121985.663
AT ITER 289 NEW BEST:: SOT 337641 SOS 126360 HAS SOPS 126360 HAS SOUS 121556 HAS SOUPS 121556 WITH SCORE 121682.36
AT ITER 292 NEW BEST:: SOT 337641 SOS 126278 HAS SOPS 126278 HAS SOUS 121474 HAS SOUPS 121474 WITH SCORE 121600.278
AT ITER 294 NEW BEST:: SOT 337608 SOS 126225 HAS SOPS 126225 HAS SOUS 121447 HAS SOUPS 121447 WITH SCORE 121573.225
AT ITER 295 NEW BEST:: SOT 337560 SOS 126129 HAS SOPS 126129 HAS SOUS 121351 HAS SOUPS 121351 WITH SCORE 121477.129
AT ITER 302 NEW BEST:: SOT 337576 SOS 125925 HAS SOPS 125925 HAS SOUS 121147 HAS SOUPS 121147 WITH SCORE 121272.925
AT ITER 303 NEW BEST:: SOT 337550 SOS 125886 HAS SOPS 125886 HAS SOUS 121121 HAS SOUPS 121121 WITH SCORE 121246.886
AT ITER 305 NEW BEST:: SOT 337533 SOS 125613 HAS SOPS 125613 HAS SOUS 120831 HAS SOUPS 120831 WITH SCORE 120956.613
AT ITER 327 NEW BEST:: SOT 336347 SOS 124347 HAS SOPS 124347 HAS SOUS 119565 HAS SOUPS 119565 WITH SCORE 119689.347
AT ITER 333 NEW BEST:: SOT 336235 SOS 124240 HAS SOPS 124240 HAS SOUS 119458 HAS SOUPS 119458 WITH SCORE 119582.24
AT ITER 338 NEW BEST:: SOT 336276 SOS 124441 HAS SOPS 124441 HAS SOUS 119371 HAS SOUPS 119371 WITH SCORE 119495.441
AT ITER 347 NEW BEST:: SOT 336311 SOS 124425 HAS SOPS 124425 HAS SOUS 119355 HAS SOUPS 119355 WITH SCORE 119479.425
AT ITER 362 NEW BEST:: SOT 336311 SOS 124360 HAS SOPS 124360 HAS SOUS 119290 HAS SOUPS 119290 WITH SCORE 119414.36
AT ITER 366 NEW BEST:: SOT 336311 SOS 124316 HAS SOPS 124316 HAS SOUS 119246 HAS SOUPS 119246 WITH SCORE 119370.316
AT ITER 367 NEW BEST:: SOT 336026 SOS 124033 HAS SOPS 124033 HAS SOUS 118963 HAS SOUPS 118963 WITH SCORE 119087.033
AT ITER 373 NEW BEST:: SOT 335958 SOS 123897 HAS SOPS 123897 HAS SOUS 118827 HAS SOUPS 118827 WITH SCORE 118950.897
AT ITER 377 NEW BEST:: SOT 335853 SOS 123687 HAS SOPS 123687 HAS SOUS 118617 HAS SOUPS 118617 WITH SCORE 118740.687
AT ITER 378 NEW BEST:: SOT 335853 SOS 123649 HAS SOPS 123649 HAS SOUS 118579 HAS SOUPS 118579 WITH SCORE 118702.649
AT ITER 379 NEW BEST:: SOT 335851 SOS 123645 HAS SOPS 123645 HAS SOUS 118575 HAS SOUPS 118575 WITH SCORE 118698.645
AT ITER 391 NEW BEST:: SOT 335649 SOS 123346 HAS SOPS 123346 HAS SOUS 118276 HAS SOUPS 118276 WITH SCORE 118399.346
AT ITER 419 NEW BEST:: SOT 335648 SOS 123344 HAS SOPS 123344 HAS SOUS 118274 HAS SOUPS 118274 WITH SCORE 118397.344
AT ITER 430 NEW BEST:: SOT 335629 SOS 123324 HAS SOPS 123324 HAS SOUS 118254 HAS SOUPS 118254 WITH SCORE 118377.324
AT ITER 436 NEW BEST:: SOT 335670 SOS 123315 HAS SOPS 123315 HAS SOUS 118245 HAS SOUPS 118245 WITH SCORE 118368.315
AT ITER 470 NEW BEST:: SOT 335591 SOS 123191 HAS SOPS 123191 HAS SOUS 118238 HAS SOUPS 118238 WITH SCORE 118361.191
AT ITER 472 NEW BEST:: SOT 335859 SOS 123092 HAS SOPS 123092 HAS SOUS 118139 HAS SOUPS 118139 WITH SCORE 118262.092
AT ITER 485 NEW BEST:: SOT 335781 SOS 122972 HAS SOPS 122972 HAS SOUS 118019 HAS SOUPS 118019 WITH SCORE 118141.972
AT ITER 490 NEW BEST:: SOT 335795 SOS 122967 HAS SOPS 122967 HAS SOUS 118005 HAS SOUPS 118005 WITH SCORE 118127.967
AT ITER 510 NEW BEST:: SOT 335764 SOS 122898 HAS SOPS 122898 HAS SOUS 117936 HAS SOUPS 117936 WITH SCORE 118058.898
AT ITER 511 NEW BEST:: SOT 335764 SOS 122751 HAS SOPS 122751 HAS SOUS 117789 HAS SOUPS 117789 WITH SCORE 117911.751
AT ITER 526 NEW BEST:: SOT 335601 SOS 122425 HAS SOPS 122425 HAS SOUS 117463 HAS SOUPS 117463 WITH SCORE 117585.425
AT ITER 529 NEW BEST:: SOT 335599 SOS 122411 HAS SOPS 122411 HAS SOUS 117451 HAS SOUPS 117451 WITH SCORE 117573.411
AT ITER 540 NEW BEST:: SOT 335445 SOS 122103 HAS SOPS 122103 HAS SOUS 117143 HAS SOUPS 117143 WITH SCORE 117265.103
AT ITER 547 NEW BEST:: SOT 335342 SOS 122063 HAS SOPS 122063 HAS SOUS 117103 HAS SOUPS 117103 WITH SCORE 117225.063
AT ITER 557 NEW BEST:: SOT 335334 SOS 122059 HAS SOPS 122059 HAS SOUS 117099 HAS SOUPS 117099 WITH SCORE 117221.059
AT ITER 559 NEW BEST:: SOT 335419 SOS 122032 HAS SOPS 122032 HAS SOUS 117072 HAS SOUPS 117072 WITH SCORE 117194.032
AT ITER 562 NEW BEST:: SOT 335376 SOS 121946 HAS SOPS 121946 HAS SOUS 116973 HAS SOUPS 116973 WITH SCORE 117094.946
AT ITER 571 NEW BEST:: SOT 335184 SOS 121768 HAS SOPS 121768 HAS SOUS 116795 HAS SOUPS 116795 WITH SCORE 116916.768
AT ITER 575 NEW BEST:: SOT 335183 SOS 121766 HAS SOPS 121766 HAS SOUS 116793 HAS SOUPS 116793 WITH SCORE 116914.766
AT ITER 588 NEW BEST:: SOT 335183 SOS 121620 HAS SOPS 121620 HAS SOUS 116647 HAS SOUPS 116647 WITH SCORE 116768.62
AT ITER 591 NEW BEST:: SOT 335183 SOS 121493 HAS SOPS 121493 HAS SOUS 116520 HAS SOUPS 116520 WITH SCORE 116641.493
AT ITER 605 NEW BEST:: SOT 335374 SOS 121415 HAS SOPS 121415 HAS SOUS 116442 HAS SOUPS 116442 WITH SCORE 116563.415
AT ITER 607 NEW BEST:: SOT 335373 SOS 121413 HAS SOPS 121413 HAS SOUS 116440 HAS SOUPS 116440 WITH SCORE 116561.413
AT ITER 633 NEW BEST:: SOT 335331 SOS 121326 HAS SOPS 121326 HAS SOUS 116353 HAS SOUPS 116353 WITH SCORE 116474.326
AT ITER 635 NEW BEST:: SOT 335329 SOS 121322 HAS SOPS 121322 HAS SOUS 116349 HAS SOUPS 116349 WITH SCORE 116470.322
AT ITER 647 NEW BEST:: SOT 335320 SOS 121304 HAS SOPS 121304 HAS SOUS 116340 HAS SOUPS 116340 WITH SCORE 116461.304
AT ITER 652 NEW BEST:: SOT 335248 SOS 121232 HAS SOPS 121232 HAS SOUS 116196 HAS SOUPS 116196 WITH SCORE 116317.232
AT ITER 653 NEW BEST:: SOT 335151 SOS 121135 HAS SOPS 121135 HAS SOUS 116099 HAS SOUPS 116099 WITH SCORE 116220.135
AT ITER 662 NEW BEST:: SOT 335141 SOS 121108 HAS SOPS 121108 HAS SOUS 116072 HAS SOUPS 116072 WITH SCORE 116193.108
AT ITER 663 NEW BEST:: SOT 335127 SOS 121079 HAS SOPS 121079 HAS SOUS 116049 HAS SOUPS 116049 WITH SCORE 116170.079
AT ITER 664 NEW BEST:: SOT 335178 SOS 120786 HAS SOPS 120786 HAS SOUS 115756 HAS SOUPS 115756 WITH SCORE 115876.786
AT ITER 668 NEW BEST:: SOT 335221 SOS 120662 HAS SOPS 120662 HAS SOUS 115405 HAS SOUPS 115405 WITH SCORE 115525.662
AT ITER 673 NEW BEST:: SOT 335224 SOS 120589 HAS SOPS 120589 HAS SOUS 115332 HAS SOUPS 115332 WITH SCORE 115452.589
AT ITER 680 NEW BEST:: SOT 335171 SOS 120536 HAS SOPS 120536 HAS SOUS 115332 HAS SOUPS 115332 WITH SCORE 115452.536
AT ITER 700 NEW BEST:: SOT 335171 SOS 120534 HAS SOPS 120534 HAS SOUS 115330 HAS SOUPS 115330 WITH SCORE 115450.534
AT ITER 708 NEW BEST:: SOT 335093 SOS 120378 HAS SOPS 120378 HAS SOUS 115174 HAS SOUPS 115174 WITH SCORE 115294.378
AT ITER 724 NEW BEST:: SOT 335001 SOS 119943 HAS SOPS 119943 HAS SOUS 115059 HAS SOUPS 115059 WITH SCORE 115178.943
AT ITER 728 NEW BEST:: SOT 335206 SOS 119799 HAS SOPS 119799 HAS SOUS 114915 HAS SOUPS 114915 WITH SCORE 115034.799
AT ITER 731 NEW BEST:: SOT 335158 SOS 119751 HAS SOPS 119751 HAS SOUS 114915 HAS SOUPS 114915 WITH SCORE 115034.751
AT ITER 753 NEW BEST:: SOT 334970 SOS 119561 HAS SOPS 119561 HAS SOUS 114725 HAS SOUPS 114725 WITH SCORE 114844.561
AT ITER 759 NEW BEST:: SOT 334970 SOS 119392 HAS SOPS 119392 HAS SOUS 114725 HAS SOUPS 114725 WITH SCORE 114844.392
AT ITER 764 NEW BEST:: SOT 334960 SOS 119382 HAS SOPS 119382 HAS SOUS 114715 HAS SOUPS 114715 WITH SCORE 114834.382
AT ITER 768 NEW BEST:: SOT 334959 SOS 119380 HAS SOPS 119380 HAS SOUS 114713 HAS SOUPS 114713 WITH SCORE 114832.38
AT ITER 770 NEW BEST:: SOT 334828 SOS 119340 HAS SOPS 119340 HAS SOUS 114673 HAS SOUPS 114673 WITH SCORE 114792.34
AT ITER 771 NEW BEST:: SOT 334723 SOS 119130 HAS SOPS 119130 HAS SOUS 114557 HAS SOUPS 114557 WITH SCORE 114676.13
AT ITER 774 NEW BEST:: SOT 334743 SOS 119086 HAS SOPS 119086 HAS SOUS 114513 HAS SOUPS 114513 WITH SCORE 114632.086
AT ITER 778 NEW BEST:: SOT 334742 SOS 118988 HAS SOPS 118988 HAS SOUS 114415 HAS SOUPS 114415 WITH SCORE 114533.988
AT ITER 802 NEW BEST:: SOT 334562 SOS 118808 HAS SOPS 118808 HAS SOUS 114235 HAS SOUPS 114235 WITH SCORE 114353.808
AT ITER 808 NEW BEST:: SOT 334600 SOS 118984 HAS SOPS 118984 HAS SOUS 114222 HAS SOUPS 114222 WITH SCORE 114340.984
AT ITER 819 NEW BEST:: SOT 334597 SOS 118518 HAS SOPS 118518 HAS SOUS 114219 HAS SOUPS 114219 WITH SCORE 114337.518
AT ITER 824 NEW BEST:: SOT 334346 SOS 118267 HAS SOPS 118267 HAS SOUS 113968 HAS SOUPS 113968 WITH SCORE 114086.267
AT ITER 830 NEW BEST:: SOT 334329 SOS 118233 HAS SOPS 118233 HAS SOUS 113934 HAS SOUPS 113934 WITH SCORE 114052.233
AT ITER 832 NEW BEST:: SOT 334262 SOS 118166 HAS SOPS 118166 HAS SOUS 113867 HAS SOUPS 113867 WITH SCORE 113985.166
AT ITER 835 NEW BEST:: SOT 334262 SOS 118166 HAS SOPS 118166 HAS SOUS 113865 HAS SOUPS 113865 WITH SCORE 113983.166
AT ITER 846 NEW BEST:: SOT 334312 SOS 118008 HAS SOPS 118008 HAS SOUS 113707 HAS SOUPS 113707 WITH SCORE 113825.008
AT ITER 853 NEW BEST:: SOT 334312 SOS 117980 HAS SOPS 117980 HAS SOUS 113679 HAS SOUPS 113679 WITH SCORE 113796.98
AT ITER 857 NEW BEST:: SOT 332856 SOS 116523 HAS SOPS 116523 HAS SOUS 112222 HAS SOUPS 112222 WITH SCORE 112338.523
AT ITER 862 NEW BEST:: SOT 332632 SOS 116263 HAS SOPS 116263 HAS SOUS 111945 HAS SOUPS 111945 WITH SCORE 112061.263
AT ITER 881 NEW BEST:: SOT 332632 SOS 116224 HAS SOPS 116224 HAS SOUS 111906 HAS SOUPS 111906 WITH SCORE 112022.224
AT ITER 885 NEW BEST:: SOT 332632 SOS 116146 HAS SOPS 116146 HAS SOUS 111828 HAS SOUPS 111828 WITH SCORE 111944.146
AT ITER 889 NEW BEST:: SOT 332632 SOS 116089 HAS SOPS 116089 HAS SOUS 111771 HAS SOUPS 111771 WITH SCORE 111887.089
AT ITER 905 NEW BEST:: SOT 332598 SOS 116021 HAS SOPS 116021 HAS SOUS 111703 HAS SOUPS 111703 WITH SCORE 111819.021
AT ITER 912 NEW BEST:: SOT 332598 SOS 116007 HAS SOPS 116007 HAS SOUS 111689 HAS SOUPS 111689 WITH SCORE 111805.007
AT ITER 917 NEW BEST:: SOT 332586 SOS 115995 HAS SOPS 115995 HAS SOUS 111677 HAS SOUPS 111677 WITH SCORE 111792.995
AT ITER 918 NEW BEST:: SOT 332616 SOS 115888 HAS SOPS 115888 HAS SOUS 111567 HAS SOUPS 111567 WITH SCORE 111682.888
AT ITER 924 NEW BEST:: SOT 332636 SOS 115880 HAS SOPS 115880 HAS SOUS 111559 HAS SOUPS 111559 WITH SCORE 111674.88
AT ITER 935 NEW BEST:: SOT 332636 SOS 115811 HAS SOPS 115811 HAS SOUS 111490 HAS SOUPS 111490 WITH SCORE 111605.811
AT ITER 942 NEW BEST:: SOT 332610 SOS 115785 HAS SOPS 115785 HAS SOUS 111464 HAS SOUPS 111464 WITH SCORE 111579.785
AT ITER 944 NEW BEST:: SOT 332610 SOS 115781 HAS SOPS 115781 HAS SOUS 111460 HAS SOUPS 111460 WITH SCORE 111575.781
AT ITER 950 NEW BEST:: SOT 332669 SOS 115588 HAS SOPS 115588 HAS SOUS 111267 HAS SOUPS 111267 WITH SCORE 111382.588
AT ITER 953 NEW BEST:: SOT 332669 SOS 115571 HAS SOPS 115571 HAS SOUS 111250 HAS SOUPS 111250 WITH SCORE 111365.571
AT ITER 965 NEW BEST:: SOT 332651 SOS 115464 HAS SOPS 115464 HAS SOUS 111156 HAS SOUPS 111156 WITH SCORE 111271.464
AT ITER 975 NEW BEST:: SOT 332315 SOS 115044 HAS SOPS 115044 HAS SOUS 110799 HAS SOUPS 110799 WITH SCORE 110914.044
AT ITER 1005 NEW BEST:: SOT 332340 SOS 114917 HAS SOPS 114917 HAS SOUS 110672 HAS SOUPS 110672 WITH SCORE 110786.917
AT ITER 1009 NEW BEST:: SOT 332352 SOS 114850 HAS SOPS 114850 HAS SOUS 110615 HAS SOUPS 110615 WITH SCORE 110729.85
AT ITER 1026 NEW BEST:: SOT 332313 SOS 114811 HAS SOPS 114811 HAS SOUS 110576 HAS SOUPS 110576 WITH SCORE 110690.811
AT ITER 1031 NEW BEST:: SOT 332313 SOS 114747 HAS SOPS 114747 HAS SOUS 110512 HAS SOUPS 110512 WITH SCORE 110626.747
AT ITER 1036 NEW BEST:: SOT 332286 SOS 114720 HAS SOPS 114720 HAS SOUS 110485 HAS SOUPS 110485 WITH SCORE 110599.72
AT ITER 1050 NEW BEST:: SOT 332265 SOS 114718 HAS SOPS 114718 HAS SOUS 110483 HAS SOUPS 110483 WITH SCORE 110597.718
AT ITER 1051 NEW BEST:: SOT 332252 SOS 114692 HAS SOPS 114692 HAS SOUS 110457 HAS SOUPS 110457 WITH SCORE 110571.692
AT ITER 1056 NEW BEST:: SOT 332206 SOS 114648 HAS SOPS 114648 HAS SOUS 110413 HAS SOUPS 110413 WITH SCORE 110527.648
AT ITER 1087 NEW BEST:: SOT 332238 SOS 114536 HAS SOPS 114536 HAS SOUS 110301 HAS SOUPS 110301 WITH SCORE 110415.536
AT ITER 1093 NEW BEST:: SOT 332208 SOS 114522 HAS SOPS 114522 HAS SOUS 110287 HAS SOUPS 110287 WITH SCORE 110401.522
AT ITER 1111 NEW BEST:: SOT 332198 SOS 114482 HAS SOPS 114482 HAS SOUS 110247 HAS SOUPS 110247 WITH SCORE 110361.482
AT ITER 1112 NEW BEST:: SOT 332157 SOS 114541 HAS SOPS 114541 HAS SOUS 110159 HAS SOUPS 110159 WITH SCORE 110273.541
AT ITER 1132 NEW BEST:: SOT 330297 SOS 112958 HAS SOPS 112958 HAS SOUS 108262 HAS SOUPS 108262 WITH SCORE 108374.958
AT ITER 1137 NEW BEST:: SOT 329730 SOS 114265 HAS SOPS 114265 HAS SOUS 107960 HAS SOUPS 107960 WITH SCORE 108074.265
AT ITER 1159 NEW BEST:: SOT 329612 SOS 114002 HAS SOPS 114002 HAS SOUS 107692 HAS SOUPS 107692 WITH SCORE 107806.002
AT ITER 1168 NEW BEST:: SOT 329560 SOS 113950 HAS SOPS 113950 HAS SOUS 107640 HAS SOUPS 107640 WITH SCORE 107753.95
AT ITER 1173 NEW BEST:: SOT 329560 SOS 113875 HAS SOPS 113875 HAS SOUS 107565 HAS SOUPS 107565 WITH SCORE 107678.875
AT ITER 1177 NEW BEST:: SOT 329463 SOS 113845 HAS SOPS 113845 HAS SOUS 107535 HAS SOUPS 107535 WITH SCORE 107648.845
AT ITER 1186 NEW BEST:: SOT 329286 SOS 113399 HAS SOPS 113399 HAS SOUS 107089 HAS SOUPS 107089 WITH SCORE 107202.399
AT ITER 1190 NEW BEST:: SOT 329305 SOS 113329 HAS SOPS 113329 HAS SOUS 107019 HAS SOUPS 107019 WITH SCORE 107132.329
AT ITER 1201 NEW BEST:: SOT 329341 SOS 113290 HAS SOPS 113290 HAS SOUS 107006 HAS SOUPS 107006 WITH SCORE 107119.29
AT ITER 1212 NEW BEST:: SOT 329240 SOS 113205 HAS SOPS 113205 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107037.205
AT ITER 1216 NEW BEST:: SOT 329320 SOS 113103 HAS SOPS 113103 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107037.103
AT ITER 1217 NEW BEST:: SOT 329265 SOS 113048 HAS SOPS 113048 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107037.048
AT ITER 1237 NEW BEST:: SOT 329265 SOS 112993 HAS SOPS 112993 HAS SOUS 106869 HAS SOUPS 106869 WITH SCORE 106981.993
AT ITER 1248 NEW BEST:: SOT 329265 SOS 112911 HAS SOPS 112911 HAS SOUS 106787 HAS SOUPS 106787 WITH SCORE 106899.911
AT ITER 1254 NEW BEST:: SOT 329268 SOS 112898 HAS SOPS 112898 HAS SOUS 106774 HAS SOUPS 106774 WITH SCORE 106886.898
AT ITER 1268 NEW BEST:: SOT 329268 SOS 112792 HAS SOPS 112792 HAS SOUS 106668 HAS SOUPS 106668 WITH SCORE 106780.792
AT ITER 1282 NEW BEST:: SOT 329266 SOS 112787 HAS SOPS 112787 HAS SOUS 106663 HAS SOUPS 106663 WITH SCORE 106775.787
AT ITER 1291 NEW BEST:: SOT 329289 SOS 112768 HAS SOPS 112768 HAS SOUS 106644 HAS SOUPS 106644 WITH SCORE 106756.768
AT ITER 1292 NEW BEST:: SOT 329233 SOS 112747 HAS SOPS 112747 HAS SOUS 106623 HAS SOUPS 106623 WITH SCORE 106735.747
AT ITER 1300 NEW BEST:: SOT 329233 SOS 112633 HAS SOPS 112633 HAS SOUS 106509 HAS SOUPS 106509 WITH SCORE 106621.633
AT ITER 1305 NEW BEST:: SOT 329185 SOS 112537 HAS SOPS 112537 HAS SOUS 106413 HAS SOUPS 106413 WITH SCORE 106525.537
AT ITER 1319 NEW BEST:: SOT 329184 SOS 112535 HAS SOPS 112535 HAS SOUS 106411 HAS SOUPS 106411 WITH SCORE 106523.535
AT ITER 1322 NEW BEST:: SOT 329184 SOS 112499 HAS SOPS 112499 HAS SOUS 106375 HAS SOUPS 106375 WITH SCORE 106487.499
AT ITER 1323 NEW BEST:: SOT 329109 SOS 112355 HAS SOPS 112355 HAS SOUS 106236 HAS SOUPS 106236 WITH SCORE 106348.355
AT ITER 1361 NEW BEST:: SOT 329109 SOS 112293 HAS SOPS 112293 HAS SOUS 106174 HAS SOUPS 106174 WITH SCORE 106286.293
AT ITER 1388 NEW BEST:: SOT 329055 SOS 112216 HAS SOPS 112216 HAS SOUS 106097 HAS SOUPS 106097 WITH SCORE 106209.216
AT ITER 1393 NEW BEST:: SOT 329055 SOS 112196 HAS SOPS 112196 HAS SOUS 106077 HAS SOUPS 106077 WITH SCORE 106189.196
AT ITER 1397 NEW BEST:: SOT 328919 SOS 112068 HAS SOPS 112068 HAS SOUS 105949 HAS SOUPS 105949 WITH SCORE 106061.068
AT ITER 1408 NEW BEST:: SOT 328931 SOS 111951 HAS SOPS 111951 HAS SOUS 105832 HAS SOUPS 105832 WITH SCORE 105943.951
AT ITER 1418 NEW BEST:: SOT 328615 SOS 111429 HAS SOPS 111429 HAS SOUS 105499 HAS SOUPS 105499 WITH SCORE 105610.429
AT ITER 1423 NEW BEST:: SOT 328455 SOS 111296 HAS SOPS 111296 HAS SOUS 105366 HAS SOUPS 105366 WITH SCORE 105477.296
AT ITER 1450 NEW BEST:: SOT 328425 SOS 110946 HAS SOPS 110946 HAS SOUS 104998 HAS SOUPS 104998 WITH SCORE 105108.946
AT ITER 1452 NEW BEST:: SOT 328425 SOS 110895 HAS SOPS 110895 HAS SOUS 104947 HAS SOUPS 104947 WITH SCORE 105057.895
AT ITER 1457 NEW BEST:: SOT 328371 SOS 110819 HAS SOPS 110819 HAS SOUS 104871 HAS SOUPS 104871 WITH SCORE 104981.819
AT ITER 1458 NEW BEST:: SOT 328389 SOS 110641 HAS SOPS 110641 HAS SOUS 104740 HAS SOUPS 104740 WITH SCORE 104850.641
AT ITER 1471 NEW BEST:: SOT 318762 SOS 138150 HAS SOPS 138150 HAS SOUS 96352 HAS SOUPS 96352 WITH SCORE 96490.15
AT ITER 1483 NEW BEST:: SOT 318762 SOS 138133 HAS SOPS 138133 HAS SOUS 96335 HAS SOUPS 96335 WITH SCORE 96473.133
AT ITER 1504 NEW BEST:: SOT 318545 SOS 137699 HAS SOPS 137699 HAS SOUS 95901 HAS SOUPS 95901 WITH SCORE 96038.699
AT ITER 1507 NEW BEST:: SOT 318553 SOS 137695 HAS SOPS 137695 HAS SOUS 95897 HAS SOUPS 95897 WITH SCORE 96034.695
AT ITER 1508 NEW BEST:: SOT 316077 SOS 135123 HAS SOPS 135123 HAS SOUS 93333 HAS SOUPS 93333 WITH SCORE 93468.123
AT ITER 1517 NEW BEST:: SOT 316072 SOS 135118 HAS SOPS 135118 HAS SOUS 93328 HAS SOUPS 93328 WITH SCORE 93463.118
AT ITER 1532 NEW BEST:: SOT 316015 SOS 135115 HAS SOPS 135115 HAS SOUS 93264 HAS SOUPS 93264 WITH SCORE 93399.115
AT ITER 1533 NEW BEST:: SOT 315984 SOS 135053 HAS SOPS 135053 HAS SOUS 93202 HAS SOUPS 93202 WITH SCORE 93337.053
AT ITER 1548 NEW BEST:: SOT 315819 SOS 134867 HAS SOPS 134867 HAS SOUS 93130 HAS SOUPS 93130 WITH SCORE 93264.867
AT ITER 1550 NEW BEST:: SOT 315624 SOS 134672 HAS SOPS 134672 HAS SOUS 92935 HAS SOUPS 92935 WITH SCORE 93069.672
AT ITER 1559 NEW BEST:: SOT 315509 SOS 134557 HAS SOPS 134557 HAS SOUS 92926 HAS SOUPS 92926 WITH SCORE 93060.557
AT ITER 1561 NEW BEST:: SOT 315269 SOS 134219 HAS SOPS 134219 HAS SOUS 92795 HAS SOUPS 92795 WITH SCORE 92929.219
AT ITER 1564 NEW BEST:: SOT 315231 SOS 134143 HAS SOPS 134143 HAS SOUS 92719 HAS SOUPS 92719 WITH SCORE 92853.143
AT ITER 1565 NEW BEST:: SOT 315159 SOS 133906 HAS SOPS 133906 HAS SOUS 92482 HAS SOUPS 92482 WITH SCORE 92615.906
AT ITER 1583 NEW BEST:: SOT 314620 SOS 133323 HAS SOPS 133323 HAS SOUS 91872 HAS SOUPS 91872 WITH SCORE 92005.323
AT ITER 1602 NEW BEST:: SOT 314606 SOS 133309 HAS SOPS 133309 HAS SOUS 91858 HAS SOUPS 91858 WITH SCORE 91991.309
AT ITER 1606 NEW BEST:: SOT 314606 SOS 133309 HAS SOPS 133309 HAS SOUS 91797 HAS SOUPS 91797 WITH SCORE 91930.309
AT ITER 1613 NEW BEST:: SOT 314509 SOS 133212 HAS SOPS 133212 HAS SOUS 91700 HAS SOUPS 91700 WITH SCORE 91833.212
AT ITER 1618 NEW BEST:: SOT 314509 SOS 133212 HAS SOPS 133212 HAS SOUS 91641 HAS SOUPS 91641 WITH SCORE 91774.212
AT ITER 1622 NEW BEST:: SOT 314486 SOS 133189 HAS SOPS 133189 HAS SOUS 91641 HAS SOUPS 91641 WITH SCORE 91774.189
AT ITER 1624 NEW BEST:: SOT 314485 SOS 133187 HAS SOPS 133187 HAS SOUS 91639 HAS SOUPS 91639 WITH SCORE 91772.187
AT ITER 1633 NEW BEST:: SOT 314438 SOS 133231 HAS SOPS 133231 HAS SOUS 91592 HAS SOUPS 91592 WITH SCORE 91725.231
AT ITER 1641 NEW BEST:: SOT 314346 SOS 133139 HAS SOPS 133139 HAS SOUS 91500 HAS SOUPS 91500 WITH SCORE 91633.139
AT ITER 1646 NEW BEST:: SOT 314339 SOS 133132 HAS SOPS 133132 HAS SOUS 91500 HAS SOUPS 91500 WITH SCORE 91633.132
AT ITER 1652 NEW BEST:: SOT 314231 SOS 132645 HAS SOPS 132645 HAS SOUS 91013 HAS SOUPS 91013 WITH SCORE 91145.645
AT ITER 1659 NEW BEST:: SOT 314106 SOS 132519 HAS SOPS 132519 HAS SOUS 91011 HAS SOUPS 91011 WITH SCORE 91143.519
AT ITER 1670 NEW BEST:: SOT 313887 SOS 132108 HAS SOPS 132108 HAS SOUS 90846 HAS SOUPS 90846 WITH SCORE 90978.108
AT ITER 1671 NEW BEST:: SOT 313898 SOS 132016 HAS SOPS 132016 HAS SOUS 90628 HAS SOUPS 90628 WITH SCORE 90760.016
AT ITER 1678 NEW BEST:: SOT 313705 SOS 131612 HAS SOPS 131612 HAS SOUS 90258 HAS SOUPS 90258 WITH SCORE 90389.612
AT ITER 1679 NEW BEST:: SOT 313745 SOS 131589 HAS SOPS 131589 HAS SOUS 90235 HAS SOUPS 90235 WITH SCORE 90366.589
AT ITER 1684 NEW BEST:: SOT 313659 SOS 131503 HAS SOPS 131503 HAS SOUS 90149 HAS SOUPS 90149 WITH SCORE 90280.503
AT ITER 1687 NEW BEST:: SOT 313647 SOS 131479 HAS SOPS 131479 HAS SOUS 90125 HAS SOUPS 90125 WITH SCORE 90256.479
AT ITER 1709 NEW BEST:: SOT 313596 SOS 130628 HAS SOPS 130628 HAS SOUS 90023 HAS SOUPS 90023 WITH SCORE 90153.628
AT ITER 1718 NEW BEST:: SOT 313596 SOS 130586 HAS SOPS 130586 HAS SOUS 90023 HAS SOUPS 90023 WITH SCORE 90153.586
AT ITER 1724 NEW BEST:: SOT 313593 SOS 130583 HAS SOPS 130583 HAS SOUS 90020 HAS SOUPS 90020 WITH SCORE 90150.583
AT ITER 1754 NEW BEST:: SOT 313588 SOS 130573 HAS SOPS 130573 HAS SOUS 90010 HAS SOUPS 90010 WITH SCORE 90140.573
AT ITER 1755 NEW BEST:: SOT 313522 SOS 130487 HAS SOPS 130487 HAS SOUS 89942 HAS SOUPS 89942 WITH SCORE 90072.487
AT ITER 1767 NEW BEST:: SOT 313522 SOS 130412 HAS SOPS 130412 HAS SOUS 89867 HAS SOUPS 89867 WITH SCORE 89997.412
AT ITER 1784 NEW BEST:: SOT 313522 SOS 130412 HAS SOPS 130412 HAS SOUS 89759 HAS SOUPS 89759 WITH SCORE 89889.412
AT ITER 1787 NEW BEST:: SOT 313431 SOS 130037 HAS SOPS 130037 HAS SOUS 89411 HAS SOUPS 89411 WITH SCORE 89541.037
AT ITER 1810 NEW BEST:: SOT 313436 SOS 129989 HAS SOPS 129989 HAS SOUS 89363 HAS SOUPS 89363 WITH SCORE 89492.989
AT ITER 1813 NEW BEST:: SOT 313426 SOS 129039 HAS SOPS 129039 HAS SOUS 89343 HAS SOUPS 89343 WITH SCORE 89472.039
AT ITER 1816 NEW BEST:: SOT 313399 SOS 129028 HAS SOPS 129028 HAS SOUS 89332 HAS SOUPS 89332 WITH SCORE 89461.028
AT ITER 1827 NEW BEST:: SOT 313436 SOS 129102 HAS SOPS 129102 HAS SOUS 89328 HAS SOUPS 89328 WITH SCORE 89457.102
AT ITER 1836 NEW BEST:: SOT 313472 SOS 129056 HAS SOPS 129056 HAS SOUS 89282 HAS SOUPS 89282 WITH SCORE 89411.056
AT ITER 1854 NEW BEST:: SOT 313353 SOS 128937 HAS SOPS 128937 HAS SOUS 89282 HAS SOUPS 89282 WITH SCORE 89410.937
AT ITER 1857 NEW BEST:: SOT 313225 SOS 128628 HAS SOPS 128628 HAS SOUS 89143 HAS SOUPS 89143 WITH SCORE 89271.628
AT ITER 1862 NEW BEST:: SOT 313117 SOS 128283 HAS SOPS 128283 HAS SOUS 88864 HAS SOUPS 88864 WITH SCORE 88992.283
AT ITER 1871 NEW BEST:: SOT 312966 SOS 128126 HAS SOPS 128126 HAS SOUS 88707 HAS SOUPS 88707 WITH SCORE 88835.126
AT ITER 1874 NEW BEST:: SOT 312831 SOS 127918 HAS SOPS 127918 HAS SOUS 88499 HAS SOUPS 88499 WITH SCORE 88626.918
AT ITER 1906 NEW BEST:: SOT 312831 SOS 127918 HAS SOPS 127918 HAS SOUS 88447 HAS SOUPS 88447 WITH SCORE 88574.918
AT ITER 1910 NEW BEST:: SOT 312785 SOS 127811 HAS SOPS 127811 HAS SOUS 88340 HAS SOUPS 88340 WITH SCORE 88467.811
AT ITER 1915 NEW BEST:: SOT 312713 SOS 127738 HAS SOPS 127738 HAS SOUS 88267 HAS SOUPS 88267 WITH SCORE 88394.738
AT ITER 1929 NEW BEST:: SOT 312662 SOS 127674 HAS SOPS 127674 HAS SOUS 88203 HAS SOUPS 88203 WITH SCORE 88330.674
AT ITER 1931 NEW BEST:: SOT 312662 SOS 127674 HAS SOPS 127674 HAS SOUS 88196 HAS SOUPS 88196 WITH SCORE 88323.674
AT ITER 1944 NEW BEST:: SOT 312599 SOS 127611 HAS SOPS 127611 HAS SOUS 88133 HAS SOUPS 88133 WITH SCORE 88260.611
AT ITER 1950 NEW BEST:: SOT 312616 SOS 127576 HAS SOPS 127576 HAS SOUS 88098 HAS SOUPS 88098 WITH SCORE 88225.576
AT ITER 1963 NEW BEST:: SOT 312593 SOS 127530 HAS SOPS 127530 HAS SOUS 88052 HAS SOUPS 88052 WITH SCORE 88179.53
AT ITER 1976 NEW BEST:: SOT 312504 SOS 127402 HAS SOPS 127402 HAS SOUS 87924 HAS SOUPS 87924 WITH SCORE 88051.402
AT ITER 1980 NEW BEST:: SOT 312127 SOS 126706 HAS SOPS 126706 HAS SOUS 87228 HAS SOUPS 87228 WITH SCORE 87354.706
AT ITER 1985 NEW BEST:: SOT 311757 SOS 126039 HAS SOPS 126039 HAS SOUS 86572 HAS SOUPS 86572 WITH SCORE 86698.039
AT ITER 1993 NEW BEST:: SOT 311734 SOS 125970 HAS SOPS 125970 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86628.97
AT ITER 1995 NEW BEST:: SOT 311719 SOS 125970 HAS SOPS 125970 HAS SOUS 86488 HAS SOUPS 86488 WITH SCORE 86613.97
AT ITER 2008 NEW BEST:: SOT 311719 SOS 125970 HAS SOPS 125970 HAS SOUS 86478 HAS SOUPS 86478 WITH SCORE 86603.97
AT ITER 2027 NEW BEST:: SOT 311691 SOS 125784 HAS SOPS 125784 HAS SOUS 86292 HAS SOUPS 86292 WITH SCORE 86417.784
AT ITER 2036 NEW BEST:: SOT 311621 SOS 125714 HAS SOPS 125714 HAS SOUS 86222 HAS SOUPS 86222 WITH SCORE 86347.714
AT ITER 2041 NEW BEST:: SOT 311388 SOS 125386 HAS SOPS 125386 HAS SOUS 86032 HAS SOUPS 86032 WITH SCORE 86157.386
AT ITER 2044 NEW BEST:: SOT 311424 SOS 125380 HAS SOPS 125380 HAS SOUS 86026 HAS SOUPS 86026 WITH SCORE 86151.38
AT ITER 2051 NEW BEST:: SOT 311421 SOS 125377 HAS SOPS 125377 HAS SOUS 86023 HAS SOUPS 86023 WITH SCORE 86148.377
AT ITER 2062 NEW BEST:: SOT 311454 SOS 125377 HAS SOPS 125377 HAS SOUS 85990 HAS SOUPS 85990 WITH SCORE 86115.377
AT ITER 2065 NEW BEST:: SOT 311454 SOS 125125 HAS SOPS 125125 HAS SOUS 85990 HAS SOUPS 85990 WITH SCORE 86115.125
AT ITER 2081 NEW BEST:: SOT 311387 SOS 124921 HAS SOPS 124921 HAS SOUS 85853 HAS SOUPS 85853 WITH SCORE 85977.921
AT ITER 2082 NEW BEST:: SOT 311394 SOS 124883 HAS SOPS 124883 HAS SOUS 85815 HAS SOUPS 85815 WITH SCORE 85939.883
AT ITER 2103 NEW BEST:: SOT 311357 SOS 124809 HAS SOPS 124809 HAS SOUS 85757 HAS SOUPS 85757 WITH SCORE 85881.809
AT ITER 2112 NEW BEST:: SOT 311375 SOS 124510 HAS SOPS 124510 HAS SOUS 85415 HAS SOUPS 85415 WITH SCORE 85539.51
AT ITER 2120 NEW BEST:: SOT 311369 SOS 124503 HAS SOPS 124503 HAS SOUS 85408 HAS SOUPS 85408 WITH SCORE 85532.503
AT ITER 2168 NEW BEST:: SOT 311303 SOS 124371 HAS SOPS 124371 HAS SOUS 85312 HAS SOUPS 85312 WITH SCORE 85436.371
AT ITER 2188 NEW BEST:: SOT 311263 SOS 124359 HAS SOPS 124359 HAS SOUS 85300 HAS SOUPS 85300 WITH SCORE 85424.359
AT ITER 2202 NEW BEST:: SOT 311077 SOS 123987 HAS SOPS 123987 HAS SOUS 85114 HAS SOUPS 85114 WITH SCORE 85237.987
AT ITER 2208 NEW BEST:: SOT 311042 SOS 123952 HAS SOPS 123952 HAS SOUS 85079 HAS SOUPS 85079 WITH SCORE 85202.952
AT ITER 2214 NEW BEST:: SOT 310680 SOS 123743 HAS SOPS 123743 HAS SOUS 85012 HAS SOUPS 85012 WITH SCORE 85135.743
AT ITER 2216 NEW BEST:: SOT 310680 SOS 123736 HAS SOPS 123736 HAS SOUS 85012 HAS SOUPS 85012 WITH SCORE 85135.736
AT ITER 2251 NEW BEST:: SOT 310324 SOS 123308 HAS SOPS 123308 HAS SOUS 84896 HAS SOUPS 84896 WITH SCORE 85019.308
AT ITER 2272 NEW BEST:: SOT 310296 SOS 123279 HAS SOPS 123279 HAS SOUS 84840 HAS SOUPS 84840 WITH SCORE 84963.279
AT ITER 2283 NEW BEST:: SOT 310242 SOS 123171 HAS SOPS 123171 HAS SOUS 84732 HAS SOUPS 84732 WITH SCORE 84855.171
AT ITER 2285 NEW BEST:: SOT 310214 SOS 122983 HAS SOPS 122983 HAS SOUS 84544 HAS SOUPS 84544 WITH SCORE 84666.983
AT ITER 2297 NEW BEST:: SOT 310214 SOS 122962 HAS SOPS 122962 HAS SOUS 84523 HAS SOUPS 84523 WITH SCORE 84645.962
AT ITER 2307 NEW BEST:: SOT 310057 SOS 122634 HAS SOPS 122634 HAS SOUS 84195 HAS SOUPS 84195 WITH SCORE 84317.634
AT ITER 2308 NEW BEST:: SOT 310195 SOS 122422 HAS SOPS 122422 HAS SOUS 84115 HAS SOUPS 84115 WITH SCORE 84237.422
AT ITER 2309 NEW BEST:: SOT 310167 SOS 122366 HAS SOPS 122366 HAS SOUS 84059 HAS SOUPS 84059 WITH SCORE 84181.366
AT ITER 2321 NEW BEST:: SOT 310190 SOS 122366 HAS SOPS 122366 HAS SOUS 84036 HAS SOUPS 84036 WITH SCORE 84158.366
AT ITER 2324 NEW BEST:: SOT 310188 SOS 122334 HAS SOPS 122334 HAS SOUS 83982 HAS SOUPS 83982 WITH SCORE 84104.334
AT ITER 2359 NEW BEST:: SOT 310188 SOS 122086 HAS SOPS 122086 HAS SOUS 83734 HAS SOUPS 83734 WITH SCORE 83856.086
AT ITER 2365 NEW BEST:: SOT 310182 SOS 122074 HAS SOPS 122074 HAS SOUS 83722 HAS SOUPS 83722 WITH SCORE 83844.074
AT ITER 2372 NEW BEST:: SOT 309746 SOS 121473 HAS SOPS 121473 HAS SOUS 83392 HAS SOUPS 83392 WITH SCORE 83513.473
AT ITER 2375 NEW BEST:: SOT 309636 SOS 121229 HAS SOPS 121229 HAS SOUS 83148 HAS SOUPS 83148 WITH SCORE 83269.229
AT ITER 2376 NEW BEST:: SOT 309549 SOS 121142 HAS SOPS 121142 HAS SOUS 83121 HAS SOUPS 83121 WITH SCORE 83242.142
AT ITER 2385 NEW BEST:: SOT 309517 SOS 121121 HAS SOPS 121121 HAS SOUS 83100 HAS SOUPS 83100 WITH SCORE 83221.121
AT ITER 2387 NEW BEST:: SOT 309477 SOS 121053 HAS SOPS 121053 HAS SOUS 83032 HAS SOUPS 83032 WITH SCORE 83153.053
AT ITER 2399 NEW BEST:: SOT 309409 SOS 120985 HAS SOPS 120985 HAS SOUS 83032 HAS SOUPS 83032 WITH SCORE 83152.985
AT ITER 2400 NEW BEST:: SOT 309201 SOS 120569 HAS SOPS 120569 HAS SOUS 82982 HAS SOUPS 82982 WITH SCORE 83102.569
AT ITER 2421 NEW BEST:: SOT 309201 SOS 120447 HAS SOPS 120447 HAS SOUS 82860 HAS SOUPS 82860 WITH SCORE 82980.447
AT ITER 2425 NEW BEST:: SOT 309201 SOS 119797 HAS SOPS 119797 HAS SOUS 82427 HAS SOUPS 82427 WITH SCORE 82546.797
AT ITER 2432 NEW BEST:: SOT 309218 SOS 119793 HAS SOPS 119793 HAS SOUS 82423 HAS SOUPS 82423 WITH SCORE 82542.793
AT ITER 2438 NEW BEST:: SOT 309125 SOS 119700 HAS SOPS 119700 HAS SOUS 82330 HAS SOUPS 82330 WITH SCORE 82449.7
AT ITER 2440 NEW BEST:: SOT 309117 SOS 119692 HAS SOPS 119692 HAS SOUS 82322 HAS SOUPS 82322 WITH SCORE 82441.692
AT ITER 2452 NEW BEST:: SOT 308831 SOS 120732 HAS SOPS 120732 HAS SOUS 82219 HAS SOUPS 82219 WITH SCORE 82339.732
AT ITER 2453 NEW BEST:: SOT 308793 SOS 120656 HAS SOPS 120656 HAS SOUS 82143 HAS SOUPS 82143 WITH SCORE 82263.656
AT ITER 2459 NEW BEST:: SOT 308553 SOS 120416 HAS SOPS 120416 HAS SOUS 82023 HAS SOUPS 82023 WITH SCORE 82143.416
AT ITER 2462 NEW BEST:: SOT 308564 SOS 120404 HAS SOPS 120404 HAS SOUS 82011 HAS SOUPS 82011 WITH SCORE 82131.404
AT ITER 2469 NEW BEST:: SOT 308652 SOS 120568 HAS SOPS 120568 HAS SOUS 81985 HAS SOUPS 81985 WITH SCORE 82105.568
AT ITER 2486 NEW BEST:: SOT 308652 SOS 120539 HAS SOPS 120539 HAS SOUS 81956 HAS SOUPS 81956 WITH SCORE 82076.539
AT ITER 2489 NEW BEST:: SOT 308652 SOS 120340 HAS SOPS 120340 HAS SOUS 81873 HAS SOUPS 81873 WITH SCORE 81993.34
AT ITER 2495 NEW BEST:: SOT 308652 SOS 120303 HAS SOPS 120303 HAS SOUS 81836 HAS SOUPS 81836 WITH SCORE 81956.303
AT ITER 2502 NEW BEST:: SOT 308594 SOS 120086 HAS SOPS 120086 HAS SOUS 81719 HAS SOUPS 81719 WITH SCORE 81839.086
AT ITER 2515 NEW BEST:: SOT 308581 SOS 120060 HAS SOPS 120060 HAS SOUS 81694 HAS SOUPS 81694 WITH SCORE 81814.06
AT ITER 2522 NEW BEST:: SOT 308564 SOS 120026 HAS SOPS 120026 HAS SOUS 81660 HAS SOUPS 81660 WITH SCORE 81780.026
AT ITER 2523 NEW BEST:: SOT 308575 SOS 119991 HAS SOPS 119991 HAS SOUS 81625 HAS SOUPS 81625 WITH SCORE 81744.991
AT ITER 2524 NEW BEST:: SOT 308575 SOS 119949 HAS SOPS 119949 HAS SOUS 81583 HAS SOUPS 81583 WITH SCORE 81702.949
AT ITER 2529 NEW BEST:: SOT 308574 SOS 119947 HAS SOPS 119947 HAS SOUS 81551 HAS SOUPS 81551 WITH SCORE 81670.947
AT ITER 2535 NEW BEST:: SOT 308574 SOS 119944 HAS SOPS 119944 HAS SOUS 81548 HAS SOUPS 81548 WITH SCORE 81667.944
AT ITER 2573 NEW BEST:: SOT 308574 SOS 119801 HAS SOPS 119801 HAS SOUS 81405 HAS SOUPS 81405 WITH SCORE 81524.801
AT ITER 2586 NEW BEST:: SOT 308591 SOS 119681 HAS SOPS 119681 HAS SOUS 81285 HAS SOUPS 81285 WITH SCORE 81404.681
AT ITER 2605 NEW BEST:: SOT 308558 SOS 119615 HAS SOPS 119615 HAS SOUS 81219 HAS SOUPS 81219 WITH SCORE 81338.615
AT ITER 2631 NEW BEST:: SOT 308538 SOS 119575 HAS SOPS 119575 HAS SOUS 81179 HAS SOUPS 81179 WITH SCORE 81298.575
AT ITER 2648 NEW BEST:: SOT 308538 SOS 119559 HAS SOPS 119559 HAS SOUS 81089 HAS SOUPS 81089 WITH SCORE 81208.559
AT ITER 2654 NEW BEST:: SOT 308538 SOS 119544 HAS SOPS 119544 HAS SOUS 81089 HAS SOUPS 81089 WITH SCORE 81208.544
AT ITER 2657 NEW BEST:: SOT 308445 SOS 119451 HAS SOPS 119451 HAS SOUS 80996 HAS SOUPS 80996 WITH SCORE 81115.451
AT ITER 2659 NEW BEST:: SOT 308430 SOS 119435 HAS SOPS 119435 HAS SOUS 80980 HAS SOUPS 80980 WITH SCORE 81099.435
AT ITER 2671 NEW BEST:: SOT 308422 SOS 119427 HAS SOPS 119427 HAS SOUS 80972 HAS SOUPS 80972 WITH SCORE 81091.427
AT ITER 2672 NEW BEST:: SOT 308422 SOS 119419 HAS SOPS 119419 HAS SOUS 80964 HAS SOUPS 80964 WITH SCORE 81083.419
AT ITER 2677 NEW BEST:: SOT 308566 SOS 119532 HAS SOPS 119532 HAS SOUS 80902 HAS SOUPS 80902 WITH SCORE 81021.532
AT ITER 2698 NEW BEST:: SOT 308313 SOS 119321 HAS SOPS 119321 HAS SOUS 80778 HAS SOUPS 80778 WITH SCORE 80897.321
AT ITER 2702 NEW BEST:: SOT 308258 SOS 119266 HAS SOPS 119266 HAS SOUS 80723 HAS SOUPS 80723 WITH SCORE 80842.266
AT ITER 2712 NEW BEST:: SOT 308050 SOS 119001 HAS SOPS 119001 HAS SOUS 80709 HAS SOUPS 80709 WITH SCORE 80828.001
AT ITER 2721 NEW BEST:: SOT 308045 SOS 118991 HAS SOPS 118991 HAS SOUS 80699 HAS SOUPS 80699 WITH SCORE 80817.991
AT ITER 2722 NEW BEST:: SOT 308022 SOS 118967 HAS SOPS 118967 HAS SOUS 80675 HAS SOUPS 80675 WITH SCORE 80793.967
AT ITER 2763 NEW BEST:: SOT 307977 SOS 118828 HAS SOPS 118828 HAS SOUS 80536 HAS SOUPS 80536 WITH SCORE 80654.828
AT ITER 2764 NEW BEST:: SOT 307977 SOS 118796 HAS SOPS 118796 HAS SOUS 80530 HAS SOUPS 80530 WITH SCORE 80648.796
AT ITER 2784 NEW BEST:: SOT 307971 SOS 118790 HAS SOPS 118790 HAS SOUS 80530 HAS SOUPS 80530 WITH SCORE 80648.79
AT ITER 2788 NEW BEST:: SOT 307961 SOS 118749 HAS SOPS 118749 HAS SOUS 80507 HAS SOUPS 80507 WITH SCORE 80625.749
AT ITER 2796 NEW BEST:: SOT 307983 SOS 118780 HAS SOPS 118780 HAS SOUS 80492 HAS SOUPS 80492 WITH SCORE 80610.78
AT ITER 2810 NEW BEST:: SOT 307873 SOS 118632 HAS SOPS 118632 HAS SOUS 80344 HAS SOUPS 80344 WITH SCORE 80462.632
AT ITER 2814 NEW BEST:: SOT 307871 SOS 118628 HAS SOPS 118628 HAS SOUS 80340 HAS SOUPS 80340 WITH SCORE 80458.628
AT ITER 2826 NEW BEST:: SOT 307871 SOS 118608 HAS SOPS 118608 HAS SOUS 80320 HAS SOUPS 80320 WITH SCORE 80438.608
AT ITER 2827 NEW BEST:: SOT 307871 SOS 118548 HAS SOPS 118548 HAS SOUS 80260 HAS SOUPS 80260 WITH SCORE 80378.548
AT ITER 2847 NEW BEST:: SOT 307868 SOS 118560 HAS SOPS 118560 HAS SOUS 80257 HAS SOUPS 80257 WITH SCORE 80375.56
AT ITER 2850 NEW BEST:: SOT 307837 SOS 118498 HAS SOPS 118498 HAS SOUS 80195 HAS SOUPS 80195 WITH SCORE 80313.498
AT ITER 2858 NEW BEST:: SOT 307767 SOS 118358 HAS SOPS 118358 HAS SOUS 80055 HAS SOUPS 80055 WITH SCORE 80173.358
AT ITER 2871 NEW BEST:: SOT 307767 SOS 118341 HAS SOPS 118341 HAS SOUS 80054 HAS SOUPS 80054 WITH SCORE 80172.341
AT ITER 2876 NEW BEST:: SOT 307652 SOS 118050 HAS SOPS 118050 HAS SOUS 79769 HAS SOUPS 79769 WITH SCORE 79887.05
AT ITER 2878 NEW BEST:: SOT 307651 SOS 118076 HAS SOPS 118076 HAS SOUS 79767 HAS SOUPS 79767 WITH SCORE 79885.076
AT ITER 2884 NEW BEST:: SOT 307569 SOS 117994 HAS SOPS 117994 HAS SOUS 79685 HAS SOUPS 79685 WITH SCORE 79802.994
AT ITER 2886 NEW BEST:: SOT 307624 SOS 118104 HAS SOPS 118104 HAS SOUS 79670 HAS SOUPS 79670 WITH SCORE 79788.104
AT ITER 2887 NEW BEST:: SOT 307620 SOS 118096 HAS SOPS 118096 HAS SOUS 79642 HAS SOUPS 79642 WITH SCORE 79760.096
AT ITER 2891 NEW BEST:: SOT 307451 SOS 117927 HAS SOPS 117927 HAS SOUS 79473 HAS SOUPS 79473 WITH SCORE 79590.927
AT ITER 2894 NEW BEST:: SOT 307443 SOS 117923 HAS SOPS 117923 HAS SOUS 79469 HAS SOUPS 79469 WITH SCORE 79586.923
AT ITER 2904 NEW BEST:: SOT 307417 SOS 117884 HAS SOPS 117884 HAS SOUS 79443 HAS SOUPS 79443 WITH SCORE 79560.884
AT ITER 2922 NEW BEST:: SOT 307390 SOS 117705 HAS SOPS 117705 HAS SOUS 79264 HAS SOUPS 79264 WITH SCORE 79381.705
AT ITER 2946 NEW BEST:: SOT 307387 SOS 117723 HAS SOPS 117723 HAS SOUS 79260 HAS SOUPS 79260 WITH SCORE 79377.723
AT ITER 2960 NEW BEST:: SOT 307344 SOS 117680 HAS SOPS 117680 HAS SOUS 79260 HAS SOUPS 79260 WITH SCORE 79377.68
AT ITER 2985 NEW BEST:: SOT 307376 SOS 117710 HAS SOPS 117710 HAS SOUS 79251 HAS SOUPS 79251 WITH SCORE 79368.71
AT ITER 3001 NEW BEST:: SOT 307347 SOS 117634 HAS SOPS 117634 HAS SOUS 79175 HAS SOUPS 79175 WITH SCORE 79292.634
AT ITER 3031 NEW BEST:: SOT 307330 SOS 117617 HAS SOPS 117617 HAS SOUS 79175 HAS SOUPS 79175 WITH SCORE 79292.617
AT ITER 3037 NEW BEST:: SOT 307328 SOS 117616 HAS SOPS 117616 HAS SOUS 79172 HAS SOUPS 79172 WITH SCORE 79289.616
AT ITER 3047 NEW BEST:: SOT 307404 SOS 117664 HAS SOPS 117664 HAS SOUS 79116 HAS SOUPS 79116 WITH SCORE 79233.664
AT ITER 3051 NEW BEST:: SOT 307360 SOS 117615 HAS SOPS 117615 HAS SOUS 79067 HAS SOUPS 79067 WITH SCORE 79184.615
AT ITER 3070 NEW BEST:: SOT 307382 SOS 117549 HAS SOPS 117549 HAS SOUS 79001 HAS SOUPS 79001 WITH SCORE 79118.549
AT ITER 3085 NEW BEST:: SOT 307430 SOS 117513 HAS SOPS 117513 HAS SOUS 78965 HAS SOUPS 78965 WITH SCORE 79082.513
AT ITER 3098 NEW BEST:: SOT 307443 SOS 117480 HAS SOPS 117480 HAS SOUS 78914 HAS SOUPS 78914 WITH SCORE 79031.48
AT ITER 3123 NEW BEST:: SOT 307318 SOS 117285 HAS SOPS 117285 HAS SOUS 78789 HAS SOUPS 78789 WITH SCORE 78906.285
AT ITER 3125 NEW BEST:: SOT 307318 SOS 117278 HAS SOPS 117278 HAS SOUS 78782 HAS SOUPS 78782 WITH SCORE 78899.278
AT ITER 3128 NEW BEST:: SOT 307285 SOS 117138 HAS SOPS 117138 HAS SOUS 78679 HAS SOUPS 78679 WITH SCORE 78796.138
AT ITER 3175 NEW BEST:: SOT 307306 SOS 117131 HAS SOPS 117131 HAS SOUS 78672 HAS SOUPS 78672 WITH SCORE 78789.131
AT ITER 3182 NEW BEST:: SOT 307264 SOS 117089 HAS SOPS 117089 HAS SOUS 78630 HAS SOUPS 78630 WITH SCORE 78747.089
AT ITER 3190 NEW BEST:: SOT 307242 SOS 117013 HAS SOPS 117013 HAS SOUS 78554 HAS SOUPS 78554 WITH SCORE 78671.013
AT ITER 3198 NEW BEST:: SOT 307286 SOS 116808 HAS SOPS 116808 HAS SOUS 78541 HAS SOUPS 78541 WITH SCORE 78657.808
AT ITER 3213 NEW BEST:: SOT 307258 SOS 116753 HAS SOPS 116753 HAS SOUS 78462 HAS SOUPS 78462 WITH SCORE 78578.753
AT ITER 3217 NEW BEST:: SOT 307258 SOS 116727 HAS SOPS 116727 HAS SOUS 78436 HAS SOUPS 78436 WITH SCORE 78552.727
AT ITER 3234 NEW BEST:: SOT 307250 SOS 116711 HAS SOPS 116711 HAS SOUS 78428 HAS SOUPS 78428 WITH SCORE 78544.711
AT ITER 3238 NEW BEST:: SOT 307176 SOS 116671 HAS SOPS 116671 HAS SOUS 78388 HAS SOUPS 78388 WITH SCORE 78504.671
AT ITER 3251 NEW BEST:: SOT 307173 SOS 116396 HAS SOPS 116396 HAS SOUS 78113 HAS SOUPS 78113 WITH SCORE 78229.396
AT ITER 3260 NEW BEST:: SOT 307173 SOS 116325 HAS SOPS 116325 HAS SOUS 78042 HAS SOUPS 78042 WITH SCORE 78158.325
AT ITER 3270 NEW BEST:: SOT 307172 SOS 116323 HAS SOPS 116323 HAS SOUS 78040 HAS SOUPS 78040 WITH SCORE 78156.323
AT ITER 3278 NEW BEST:: SOT 307160 SOS 116305 HAS SOPS 116305 HAS SOUS 78022 HAS SOUPS 78022 WITH SCORE 78138.305
AT ITER 3288 NEW BEST:: SOT 307160 SOS 116305 HAS SOPS 116305 HAS SOUS 78008 HAS SOUPS 78008 WITH SCORE 78124.305
AT ITER 3289 NEW BEST:: SOT 307123 SOS 116261 HAS SOPS 116261 HAS SOUS 77964 HAS SOUPS 77964 WITH SCORE 78080.261
AT ITER 3291 NEW BEST:: SOT 307079 SOS 116196 HAS SOPS 116196 HAS SOUS 77899 HAS SOUPS 77899 WITH SCORE 78015.196
AT ITER 3298 NEW BEST:: SOT 307027 SOS 116152 HAS SOPS 116152 HAS SOUS 77886 HAS SOUPS 77886 WITH SCORE 78002.152
AT ITER 3299 NEW BEST:: SOT 306960 SOS 116018 HAS SOPS 116018 HAS SOUS 77785 HAS SOUPS 77785 WITH SCORE 77901.018
AT ITER 3338 NEW BEST:: SOT 306939 SOS 115976 HAS SOPS 115976 HAS SOUS 77743 HAS SOUPS 77743 WITH SCORE 77858.976
AT ITER 3368 NEW BEST:: SOT 306917 SOS 115932 HAS SOPS 115932 HAS SOUS 77652 HAS SOUPS 77652 WITH SCORE 77767.932
AT ITER 3380 NEW BEST:: SOT 306920 SOS 115838 HAS SOPS 115838 HAS SOUS 77594 HAS SOUPS 77594 WITH SCORE 77709.838
AT ITER 3390 NEW BEST:: SOT 306934 SOS 115594 HAS SOPS 115594 HAS SOUS 77456 HAS SOUPS 77456 WITH SCORE 77571.594
AT ITER 3395 NEW BEST:: SOT 306848 SOS 115530 HAS SOPS 115530 HAS SOUS 77407 HAS SOUPS 77407 WITH SCORE 77522.53
AT ITER 3412 NEW BEST:: SOT 306848 SOS 115480 HAS SOPS 115480 HAS SOUS 77357 HAS SOUPS 77357 WITH SCORE 77472.48
AT ITER 3421 NEW BEST:: SOT 306785 SOS 115478 HAS SOPS 115478 HAS SOUS 77355 HAS SOUPS 77355 WITH SCORE 77470.478
AT ITER 3431 NEW BEST:: SOT 306778 SOS 115464 HAS SOPS 115464 HAS SOUS 77341 HAS SOUPS 77341 WITH SCORE 77456.464
AT ITER 3439 NEW BEST:: SOT 306406 SOS 115159 HAS SOPS 115159 HAS SOUS 77283 HAS SOUPS 77283 WITH SCORE 77398.159
AT ITER 3440 NEW BEST:: SOT 306312 SOS 115064 HAS SOPS 115064 HAS SOUS 77281 HAS SOUPS 77281 WITH SCORE 77396.064
AT ITER 3479 NEW BEST:: SOT 306184 SOS 114872 HAS SOPS 114872 HAS SOUS 77089 HAS SOUPS 77089 WITH SCORE 77203.872
AT ITER 3482 NEW BEST:: SOT 306107 SOS 114660 HAS SOPS 114660 HAS SOUS 76722 HAS SOUPS 76722 WITH SCORE 76836.66
AT ITER 3490 NEW BEST:: SOT 306094 SOS 114647 HAS SOPS 114647 HAS SOUS 76709 HAS SOUPS 76709 WITH SCORE 76823.647
AT ITER 3497 NEW BEST:: SOT 306094 SOS 114647 HAS SOPS 114647 HAS SOUS 76585 HAS SOUPS 76585 WITH SCORE 76699.647
AT ITER 3498 NEW BEST:: SOT 306087 SOS 114640 HAS SOPS 114640 HAS SOUS 76578 HAS SOUPS 76578 WITH SCORE 76692.64
AT ITER 3507 NEW BEST:: SOT 306087 SOS 114623 HAS SOPS 114623 HAS SOUS 76561 HAS SOUPS 76561 WITH SCORE 76675.623
AT ITER 3509 NEW BEST:: SOT 306084 SOS 114620 HAS SOPS 114620 HAS SOUS 76558 HAS SOUPS 76558 WITH SCORE 76672.62
AT ITER 3516 NEW BEST:: SOT 306077 SOS 114560 HAS SOPS 114560 HAS SOUS 76498 HAS SOUPS 76498 WITH SCORE 76612.56
AT ITER 3521 NEW BEST:: SOT 306391 SOS 114519 HAS SOPS 114519 HAS SOUS 76457 HAS SOUPS 76457 WITH SCORE 76571.519
AT ITER 3524 NEW BEST:: SOT 306451 SOS 114511 HAS SOPS 114511 HAS SOUS 76449 HAS SOUPS 76449 WITH SCORE 76563.511
AT ITER 3533 NEW BEST:: SOT 306339 SOS 114307 HAS SOPS 114307 HAS SOUS 76378 HAS SOUPS 76378 WITH SCORE 76492.307
AT ITER 3550 NEW BEST:: SOT 306363 SOS 114331 HAS SOPS 114331 HAS SOUS 76375 HAS SOUPS 76375 WITH SCORE 76489.331
AT ITER 3557 NEW BEST:: SOT 306363 SOS 114189 HAS SOPS 114189 HAS SOUS 76345 HAS SOUPS 76345 WITH SCORE 76459.189
AT ITER 3596 NEW BEST:: SOT 306277 SOS 114103 HAS SOPS 114103 HAS SOUS 76259 HAS SOUPS 76259 WITH SCORE 76373.103
AT ITER 3614 NEW BEST:: SOT 306240 SOS 114066 HAS SOPS 114066 HAS SOUS 76222 HAS SOUPS 76222 WITH SCORE 76336.066
AT ITER 3632 NEW BEST:: SOT 305964 SOS 113785 HAS SOPS 113785 HAS SOUS 75941 HAS SOUPS 75941 WITH SCORE 76054.785
AT ITER 3649 NEW BEST:: SOT 305780 SOS 113477 HAS SOPS 113477 HAS SOUS 75747 HAS SOUPS 75747 WITH SCORE 75860.477
AT ITER 3655 NEW BEST:: SOT 305768 SOS 113453 HAS SOPS 113453 HAS SOUS 75723 HAS SOUPS 75723 WITH SCORE 75836.453
AT ITER 3665 NEW BEST:: SOT 305673 SOS 113263 HAS SOPS 113263 HAS SOUS 75533 HAS SOUPS 75533 WITH SCORE 75646.263
AT ITER 3667 NEW BEST:: SOT 305673 SOS 113149 HAS SOPS 113149 HAS SOUS 75419 HAS SOUPS 75419 WITH SCORE 75532.149
AT ITER 3708 NEW BEST:: SOT 305620 SOS 112907 HAS SOPS 112907 HAS SOUS 75177 HAS SOUPS 75177 WITH SCORE 75289.907
AT ITER 3739 NEW BEST:: SOT 305569 SOS 112803 HAS SOPS 112803 HAS SOUS 75163 HAS SOUPS 75163 WITH SCORE 75275.803
AT ITER 3759 NEW BEST:: SOT 305500 SOS 112740 HAS SOPS 112740 HAS SOUS 75100 HAS SOUPS 75100 WITH SCORE 75212.74
AT ITER 3777 NEW BEST:: SOT 305400 SOS 112640 HAS SOPS 112640 HAS SOUS 75055 HAS SOUPS 75055 WITH SCORE 75167.64
AT ITER 3780 NEW BEST:: SOT 305270 SOS 112292 HAS SOPS 112292 HAS SOUS 74795 HAS SOUPS 74795 WITH SCORE 74907.292
AT ITER 3783 NEW BEST:: SOT 305296 SOS 112270 HAS SOPS 112270 HAS SOUS 74773 HAS SOUPS 74773 WITH SCORE 74885.27
AT ITER 3809 NEW BEST:: SOT 304985 SOS 111972 HAS SOPS 111972 HAS SOUS 74637 HAS SOUPS 74637 WITH SCORE 74748.972
AT ITER 3813 NEW BEST:: SOT 304975 SOS 111952 HAS SOPS 111952 HAS SOUS 74617 HAS SOUPS 74617 WITH SCORE 74728.952
AT ITER 3834 NEW BEST:: SOT 304869 SOS 111808 HAS SOPS 111808 HAS SOUS 74473 HAS SOUPS 74473 WITH SCORE 74584.808
AT ITER 3845 NEW BEST:: SOT 304869 SOS 111790 HAS SOPS 111790 HAS SOUS 74473 HAS SOUPS 74473 WITH SCORE 74584.79
AT ITER 3857 NEW BEST:: SOT 304869 SOS 111790 HAS SOPS 111790 HAS SOUS 74460 HAS SOUPS 74460 WITH SCORE 74571.79
AT ITER 3889 NEW BEST:: SOT 304852 SOS 111770 HAS SOPS 111770 HAS SOUS 74440 HAS SOUPS 74440 WITH SCORE 74551.77
AT ITER 3892 NEW BEST:: SOT 304797 SOS 111688 HAS SOPS 111688 HAS SOUS 74358 HAS SOUPS 74358 WITH SCORE 74469.688
AT ITER 3903 NEW BEST:: SOT 304778 SOS 111669 HAS SOPS 111669 HAS SOUS 74339 HAS SOUPS 74339 WITH SCORE 74450.669
AT ITER 3915 NEW BEST:: SOT 304549 SOS 111402 HAS SOPS 111402 HAS SOUS 74322 HAS SOUPS 74322 WITH SCORE 74433.402
AT ITER 3919 NEW BEST:: SOT 304295 SOS 111202 HAS SOPS 111202 HAS SOUS 74122 HAS SOUPS 74122 WITH SCORE 74233.202
AT ITER 3944 NEW BEST:: SOT 304195 SOS 111102 HAS SOPS 111102 HAS SOUS 74122 HAS SOUPS 74122 WITH SCORE 74233.102
AT ITER 3945 NEW BEST:: SOT 304026 SOS 110868 HAS SOPS 110868 HAS SOUS 74038 HAS SOUPS 74038 WITH SCORE 74148.868
AT ITER 3952 NEW BEST:: SOT 304012 SOS 110840 HAS SOPS 110840 HAS SOUS 74024 HAS SOUPS 74024 WITH SCORE 74134.84
AT ITER 3953 NEW BEST:: SOT 304051 SOS 110799 HAS SOPS 110799 HAS SOUS 73988 HAS SOUPS 73988 WITH SCORE 74098.799
AT ITER 3966 NEW BEST:: SOT 304049 SOS 110718 HAS SOPS 110718 HAS SOUS 73892 HAS SOUPS 73892 WITH SCORE 74002.718
AT ITER 3981 NEW BEST:: SOT 304022 SOS 110356 HAS SOPS 110356 HAS SOUS 73530 HAS SOUPS 73530 WITH SCORE 73640.356
AT ITER 3984 NEW BEST:: SOT 304002 SOS 110356 HAS SOPS 110356 HAS SOUS 73510 HAS SOUPS 73510 WITH SCORE 73620.356
AT ITER 3990 NEW BEST:: SOT 304035 SOS 110389 HAS SOPS 110389 HAS SOUS 73405 HAS SOUPS 73405 WITH SCORE 73515.389
AT ITER 3992 NEW BEST:: SOT 304026 SOS 110353 HAS SOPS 110353 HAS SOUS 73387 HAS SOUPS 73387 WITH SCORE 73497.353
AT ITER 4004 NEW BEST:: SOT 303982 SOS 110287 HAS SOPS 110287 HAS SOUS 73343 HAS SOUPS 73343 WITH SCORE 73453.287
AT ITER 4024 NEW BEST:: SOT 303961 SOS 110266 HAS SOPS 110266 HAS SOUS 73322 HAS SOUPS 73322 WITH SCORE 73432.266
AT ITER 4028 NEW BEST:: SOT 303946 SOS 110260 HAS SOPS 110260 HAS SOUS 73316 HAS SOUPS 73316 WITH SCORE 73426.26
AT ITER 4048 NEW BEST:: SOT 303896 SOS 110210 HAS SOPS 110210 HAS SOUS 73316 HAS SOUPS 73316 WITH SCORE 73426.21
AT ITER 4050 NEW BEST:: SOT 303808 SOS 110109 HAS SOPS 110109 HAS SOUS 73179 HAS SOUPS 73179 WITH SCORE 73289.109
AT ITER 4058 NEW BEST:: SOT 303808 SOS 109997 HAS SOPS 109997 HAS SOUS 73179 HAS SOUPS 73179 WITH SCORE 73288.997
AT ITER 4067 NEW BEST:: SOT 303758 SOS 109924 HAS SOPS 109924 HAS SOUS 73133 HAS SOUPS 73133 WITH SCORE 73242.924
AT ITER 4072 NEW BEST:: SOT 303752 SOS 109912 HAS SOPS 109912 HAS SOUS 73121 HAS SOUPS 73121 WITH SCORE 73230.912
AT ITER 4094 NEW BEST:: SOT 303692 SOS 109857 HAS SOPS 109857 HAS SOUS 73066 HAS SOUPS 73066 WITH SCORE 73175.857
AT ITER 4104 NEW BEST:: SOT 303633 SOS 110329 HAS SOPS 110329 HAS SOUS 73019 HAS SOUPS 73019 WITH SCORE 73129.329
AT ITER 4127 NEW BEST:: SOT 303574 SOS 110211 HAS SOPS 110211 HAS SOUS 72896 HAS SOUPS 72896 WITH SCORE 73006.211
AT ITER 4136 NEW BEST:: SOT 303397 SOS 109857 HAS SOPS 109857 HAS SOUS 72719 HAS SOUPS 72719 WITH SCORE 72828.857
AT ITER 4182 NEW BEST:: SOT 303387 SOS 109823 HAS SOPS 109823 HAS SOUS 72685 HAS SOUPS 72685 WITH SCORE 72794.823
AT ITER 4187 NEW BEST:: SOT 303398 SOS 109820 HAS SOPS 109820 HAS SOUS 72682 HAS SOUPS 72682 WITH SCORE 72791.82
AT ITER 4194 NEW BEST:: SOT 303251 SOS 109663 HAS SOPS 109663 HAS SOUS 72679 HAS SOUPS 72679 WITH SCORE 72788.663
AT ITER 4211 NEW BEST:: SOT 303251 SOS 109663 HAS SOPS 109663 HAS SOUS 72671 HAS SOUPS 72671 WITH SCORE 72780.663
AT ITER 4218 NEW BEST:: SOT 303251 SOS 109639 HAS SOPS 109639 HAS SOUS 72647 HAS SOUPS 72647 WITH SCORE 72756.639
AT ITER 4245 NEW BEST:: SOT 303207 SOS 109551 HAS SOPS 109551 HAS SOUS 72559 HAS SOUPS 72559 WITH SCORE 72668.551
AT ITER 4259 NEW BEST:: SOT 303072 SOS 109381 HAS SOPS 109381 HAS SOUS 72501 HAS SOUPS 72501 WITH SCORE 72610.381
AT ITER 4283 NEW BEST:: SOT 303311 SOS 109373 HAS SOPS 109373 HAS SOUS 72493 HAS SOUPS 72493 WITH SCORE 72602.373
AT ITER 4303 NEW BEST:: SOT 303327 SOS 109358 HAS SOPS 109358 HAS SOUS 72478 HAS SOUPS 72478 WITH SCORE 72587.358
AT ITER 4327 NEW BEST:: SOT 303367 SOS 109313 HAS SOPS 109313 HAS SOUS 72457 HAS SOUPS 72457 WITH SCORE 72566.313
AT ITER 4343 NEW BEST:: SOT 303350 SOS 109296 HAS SOPS 109296 HAS SOUS 72423 HAS SOUPS 72423 WITH SCORE 72532.296
AT ITER 4346 NEW BEST:: SOT 303376 SOS 109322 HAS SOPS 109322 HAS SOUS 72422 HAS SOUPS 72422 WITH SCORE 72531.322
AT ITER 4373 NEW BEST:: SOT 303378 SOS 109326 HAS SOPS 109326 HAS SOUS 72416 HAS SOUPS 72416 WITH SCORE 72525.326
AT ITER 4384 NEW BEST:: SOT 303378 SOS 109293 HAS SOPS 109293 HAS SOUS 72383 HAS SOUPS 72383 WITH SCORE 72492.293
AT ITER 4408 NEW BEST:: SOT 303352 SOS 109267 HAS SOPS 109267 HAS SOUS 72357 HAS SOUPS 72357 WITH SCORE 72466.267
AT ITER 4410 NEW BEST:: SOT 303336 SOS 109235 HAS SOPS 109235 HAS SOUS 72325 HAS SOUPS 72325 WITH SCORE 72434.235
AT ITER 4412 NEW BEST:: SOT 303013 SOS 108808 HAS SOPS 108808 HAS SOUS 72303 HAS SOUPS 72303 WITH SCORE 72411.808
AT ITER 4457 NEW BEST:: SOT 302962 SOS 108751 HAS SOPS 108751 HAS SOUS 72246 HAS SOUPS 72246 WITH SCORE 72354.751
AT ITER 4461 NEW BEST:: SOT 302864 SOS 108653 HAS SOPS 108653 HAS SOUS 72191 HAS SOUPS 72191 WITH SCORE 72299.653
AT ITER 4470 NEW BEST:: SOT 302836 SOS 108625 HAS SOPS 108625 HAS SOUS 72163 HAS SOUPS 72163 WITH SCORE 72271.625
AT ITER 4488 NEW BEST:: SOT 302740 SOS 108424 HAS SOPS 108424 HAS SOUS 72077 HAS SOUPS 72077 WITH SCORE 72185.424
AT ITER 4545 NEW BEST:: SOT 302708 SOS 108392 HAS SOPS 108392 HAS SOUS 71994 HAS SOUPS 71994 WITH SCORE 72102.392
AT ITER 4550 NEW BEST:: SOT 302571 SOS 108255 HAS SOPS 108255 HAS SOUS 71994 HAS SOUPS 71994 WITH SCORE 72102.255
AT ITER 4566 NEW BEST:: SOT 302571 SOS 108237 HAS SOPS 108237 HAS SOUS 71976 HAS SOUPS 71976 WITH SCORE 72084.237
AT ITER 4567 NEW BEST:: SOT 302495 SOS 108161 HAS SOPS 108161 HAS SOUS 71900 HAS SOUPS 71900 WITH SCORE 72008.161
AT ITER 4581 NEW BEST:: SOT 302485 SOS 108134 HAS SOPS 108134 HAS SOUS 71873 HAS SOUPS 71873 WITH SCORE 71981.134
AT ITER 4591 NEW BEST:: SOT 302484 SOS 108132 HAS SOPS 108132 HAS SOUS 71871 HAS SOUPS 71871 WITH SCORE 71979.132
AT ITER 4593 NEW BEST:: SOT 302459 SOS 108082 HAS SOPS 108082 HAS SOUS 71846 HAS SOUPS 71846 WITH SCORE 71954.082
AT ITER 4596 NEW BEST:: SOT 302470 SOS 108104 HAS SOPS 108104 HAS SOUS 71844 HAS SOUPS 71844 WITH SCORE 71952.104
AT ITER 4639 NEW BEST:: SOT 302468 SOS 108020 HAS SOPS 108020 HAS SOUS 71760 HAS SOUPS 71760 WITH SCORE 71868.02
AT ITER 4641 NEW BEST:: SOT 302453 SOS 107990 HAS SOPS 107990 HAS SOUS 71730 HAS SOUPS 71730 WITH SCORE 71837.99
AT ITER 4645 NEW BEST:: SOT 302421 SOS 107953 HAS SOPS 107953 HAS SOUS 71693 HAS SOUPS 71693 WITH SCORE 71800.953
AT ITER 4646 NEW BEST:: SOT 302421 SOS 107953 HAS SOPS 107953 HAS SOUS 71691 HAS SOUPS 71691 WITH SCORE 71798.953
AT ITER 4648 NEW BEST:: SOT 302412 SOS 107926 HAS SOPS 107926 HAS SOUS 71673 HAS SOUPS 71673 WITH SCORE 71780.926
AT ITER 4649 NEW BEST:: SOT 302444 SOS 107998 HAS SOPS 107998 HAS SOUS 71639 HAS SOUPS 71639 WITH SCORE 71746.998
AT ITER 4691 NEW BEST:: SOT 302436 SOS 107990 HAS SOPS 107990 HAS SOUS 71631 HAS SOUPS 71631 WITH SCORE 71738.99
AT ITER 4697 NEW BEST:: SOT 302378 SOS 107874 HAS SOPS 107874 HAS SOUS 71600 HAS SOUPS 71600 WITH SCORE 71707.874
AT ITER 4729 NEW BEST:: SOT 302364 SOS 107846 HAS SOPS 107846 HAS SOUS 71572 HAS SOUPS 71572 WITH SCORE 71679.846
AT ITER 4735 NEW BEST:: SOT 302330 SOS 107812 HAS SOPS 107812 HAS SOUS 71542 HAS SOUPS 71542 WITH SCORE 71649.812
AT ITER 4745 NEW BEST:: SOT 302315 SOS 107797 HAS SOPS 107797 HAS SOUS 71527 HAS SOUPS 71527 WITH SCORE 71634.797
AT ITER 4767 NEW BEST:: SOT 302315 SOS 107786 HAS SOPS 107786 HAS SOUS 71516 HAS SOUPS 71516 WITH SCORE 71623.786
AT ITER 4774 NEW BEST:: SOT 302314 SOS 107784 HAS SOPS 107784 HAS SOUS 71514 HAS SOUPS 71514 WITH SCORE 71621.784
AT ITER 4782 NEW BEST:: SOT 302328 SOS 107780 HAS SOPS 107780 HAS SOUS 71496 HAS SOUPS 71496 WITH SCORE 71603.78
AT ITER 4787 NEW BEST:: SOT 302328 SOS 107741 HAS SOPS 107741 HAS SOUS 71496 HAS SOUPS 71496 WITH SCORE 71603.741
AT ITER 4791 NEW BEST:: SOT 302253 SOS 107741 HAS SOPS 107741 HAS SOUS 71489 HAS SOUPS 71489 WITH SCORE 71596.741
AT ITER 4792 NEW BEST:: SOT 302253 SOS 107741 HAS SOPS 107741 HAS SOUS 71483 HAS SOUPS 71483 WITH SCORE 71590.741
AT ITER 4801 NEW BEST:: SOT 302083 SOS 107540 HAS SOPS 107540 HAS SOUS 71386 HAS SOUPS 71386 WITH SCORE 71493.54
AT ITER 4805 NEW BEST:: SOT 302080 SOS 107504 HAS SOPS 107504 HAS SOUS 71368 HAS SOUPS 71368 WITH SCORE 71475.504
AT ITER 4814 NEW BEST:: SOT 302080 SOS 107504 HAS SOPS 107504 HAS SOUS 71209 HAS SOUPS 71209 WITH SCORE 71316.504
AT ITER 4823 NEW BEST:: SOT 302075 SOS 107487 HAS SOPS 107487 HAS SOUS 71192 HAS SOUPS 71192 WITH SCORE 71299.487
AT ITER 4825 NEW BEST:: SOT 302017 SOS 107429 HAS SOPS 107429 HAS SOUS 71134 HAS SOUPS 71134 WITH SCORE 71241.429
AT ITER 4855 NEW BEST:: SOT 302017 SOS 107403 HAS SOPS 107403 HAS SOUS 71108 HAS SOUPS 71108 WITH SCORE 71215.403
AT ITER 4884 NEW BEST:: SOT 302010 SOS 107321 HAS SOPS 107321 HAS SOUS 71026 HAS SOUPS 71026 WITH SCORE 71133.321
AT ITER 4908 NEW BEST:: SOT 302008 SOS 107321 HAS SOPS 107321 HAS SOUS 71020 HAS SOUPS 71020 WITH SCORE 71127.321
AT ITER 4922 NEW BEST:: SOT 302085 SOS 107299 HAS SOPS 107299 HAS SOUS 70998 HAS SOUPS 70998 WITH SCORE 71105.299
AT ITER 4956 NEW BEST:: SOT 302039 SOS 107150 HAS SOPS 107150 HAS SOUS 70838 HAS SOUPS 70838 WITH SCORE 70945.15
AT ITER 4982 NEW BEST:: SOT 302038 SOS 107148 HAS SOPS 107148 HAS SOUS 70836 HAS SOUPS 70836 WITH SCORE 70943.148
AT ITER 5000 NEW BEST:: SOT 301996 SOS 107105 HAS SOPS 107105 HAS SOUS 70751 HAS SOUPS 70751 WITH SCORE 70858.105
AT ITER 5019 NEW BEST:: SOT 301989 SOS 107084 HAS SOPS 107084 HAS SOUS 70737 HAS SOUPS 70737 WITH SCORE 70844.084
AT ITER 5039 NEW BEST:: SOT 301978 SOS 107081 HAS SOPS 107081 HAS SOUS 70734 HAS SOUPS 70734 WITH SCORE 70841.081
AT ITER 5053 NEW BEST:: SOT 301963 SOS 107066 HAS SOPS 107066 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70826.066
AT ITER 5068 NEW BEST:: SOT 301923 SOS 106986 HAS SOPS 106986 HAS SOUS 70639 HAS SOUPS 70639 WITH SCORE 70745.986
AT ITER 5075 NEW BEST:: SOT 301871 SOS 106934 HAS SOPS 106934 HAS SOUS 70587 HAS SOUPS 70587 WITH SCORE 70693.934
AT ITER 5089 NEW BEST:: SOT 301823 SOS 106834 HAS SOPS 106834 HAS SOUS 70487 HAS SOUPS 70487 WITH SCORE 70593.834
AT ITER 5093 NEW BEST:: SOT 301676 SOS 106701 HAS SOPS 106701 HAS SOUS 70354 HAS SOUPS 70354 WITH SCORE 70460.701
AT ITER 5096 NEW BEST:: SOT 301662 SOS 106687 HAS SOPS 106687 HAS SOUS 70340 HAS SOUPS 70340 WITH SCORE 70446.687
AT ITER 5111 NEW BEST:: SOT 301661 SOS 106685 HAS SOPS 106685 HAS SOUS 70338 HAS SOUPS 70338 WITH SCORE 70444.685
AT ITER 5144 NEW BEST:: SOT 301621 SOS 106694 HAS SOPS 106694 HAS SOUS 70323 HAS SOUPS 70323 WITH SCORE 70429.694
AT ITER 5147 NEW BEST:: SOT 301484 SOS 106557 HAS SOPS 106557 HAS SOUS 70186 HAS SOUPS 70186 WITH SCORE 70292.557
AT ITER 5151 NEW BEST:: SOT 301180 SOS 106246 HAS SOPS 106246 HAS SOUS 70172 HAS SOUPS 70172 WITH SCORE 70278.246
AT ITER 5158 NEW BEST:: SOT 301167 SOS 106214 HAS SOPS 106214 HAS SOUS 70140 HAS SOUPS 70140 WITH SCORE 70246.214
AT ITER 5173 NEW BEST:: SOT 301184 SOS 106164 HAS SOPS 106164 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70196.164
AT ITER 5175 NEW BEST:: SOT 301155 SOS 106134 HAS SOPS 106134 HAS SOUS 70088 HAS SOUPS 70088 WITH SCORE 70194.134
AT ITER 5176 NEW BEST:: SOT 300884 SOS 105588 HAS SOPS 105588 HAS SOUS 69542 HAS SOUPS 69542 WITH SCORE 69647.588
AT ITER 5191 NEW BEST:: SOT 300941 SOS 105733 HAS SOPS 105733 HAS SOUS 69536 HAS SOUPS 69536 WITH SCORE 69641.733
AT ITER 5200 NEW BEST:: SOT 300897 SOS 105706 HAS SOPS 105706 HAS SOUS 69509 HAS SOUPS 69509 WITH SCORE 69614.706
AT ITER 5226 NEW BEST:: SOT 300897 SOS 105699 HAS SOPS 105699 HAS SOUS 69502 HAS SOUPS 69502 WITH SCORE 69607.699
AT ITER 5227 NEW BEST:: SOT 300871 SOS 105647 HAS SOPS 105647 HAS SOUS 69457 HAS SOUPS 69457 WITH SCORE 69562.647
AT ITER 5232 NEW BEST:: SOT 300852 SOS 105646 HAS SOPS 105646 HAS SOUS 69456 HAS SOUPS 69456 WITH SCORE 69561.646
AT ITER 5283 NEW BEST:: SOT 300843 SOS 105627 HAS SOPS 105627 HAS SOUS 69437 HAS SOUPS 69437 WITH SCORE 69542.627
AT ITER 5298 NEW BEST:: SOT 300823 SOS 105597 HAS SOPS 105597 HAS SOUS 69417 HAS SOUPS 69417 WITH SCORE 69522.597
AT ITER 5311 NEW BEST:: SOT 300790 SOS 105386 HAS SOPS 105386 HAS SOUS 69206 HAS SOUPS 69206 WITH SCORE 69311.386
AT ITER 5316 NEW BEST:: SOT 300784 SOS 105374 HAS SOPS 105374 HAS SOUS 69199 HAS SOUPS 69199 WITH SCORE 69304.374
AT ITER 5319 NEW BEST:: SOT 300779 SOS 105369 HAS SOPS 105369 HAS SOUS 69194 HAS SOUPS 69194 WITH SCORE 69299.369
AT ITER 5322 NEW BEST:: SOT 300785 SOS 105335 HAS SOPS 105335 HAS SOUS 69160 HAS SOUPS 69160 WITH SCORE 69265.335
AT ITER 5328 NEW BEST:: SOT 300787 SOS 105312 HAS SOPS 105312 HAS SOUS 69119 HAS SOUPS 69119 WITH SCORE 69224.312
AT ITER 5336 NEW BEST:: SOT 300655 SOS 105361 HAS SOPS 105361 HAS SOUS 69043 HAS SOUPS 69043 WITH SCORE 69148.361
AT ITER 5342 NEW BEST:: SOT 300587 SOS 105443 HAS SOPS 105443 HAS SOUS 68989 HAS SOUPS 68989 WITH SCORE 69094.443
AT ITER 5354 NEW BEST:: SOT 300465 SOS 105199 HAS SOPS 105199 HAS SOUS 68867 HAS SOUPS 68867 WITH SCORE 68972.199
AT ITER 5390 NEW BEST:: SOT 300395 SOS 105110 HAS SOPS 105110 HAS SOUS 68778 HAS SOUPS 68778 WITH SCORE 68883.11
AT ITER 5393 NEW BEST:: SOT 300392 SOS 105107 HAS SOPS 105107 HAS SOUS 68775 HAS SOUPS 68775 WITH SCORE 68880.107
AT ITER 5396 NEW BEST:: SOT 300374 SOS 105071 HAS SOPS 105071 HAS SOUS 68721 HAS SOUPS 68721 WITH SCORE 68826.071
AT ITER 5408 NEW BEST:: SOT 300415 SOS 105071 HAS SOPS 105071 HAS SOUS 68680 HAS SOUPS 68680 WITH SCORE 68785.071
AT ITER 5436 NEW BEST:: SOT 300355 SOS 105102 HAS SOPS 105102 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68716.102
AT ITER 5446 NEW BEST:: SOT 300332 SOS 105079 HAS SOPS 105079 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68716.079
AT ITER 5466 NEW BEST:: SOT 300313 SOS 105060 HAS SOPS 105060 HAS SOUS 68592 HAS SOUPS 68592 WITH SCORE 68697.06
AT ITER 5483 NEW BEST:: SOT 300313 SOS 105007 HAS SOPS 105007 HAS SOUS 68539 HAS SOUPS 68539 WITH SCORE 68644.007
AT ITER 5484 NEW BEST:: SOT 300295 SOS 104935 HAS SOPS 104935 HAS SOUS 68521 HAS SOUPS 68521 WITH SCORE 68625.935
AT ITER 5493 NEW BEST:: SOT 300287 SOS 104919 HAS SOPS 104919 HAS SOUS 68505 HAS SOUPS 68505 WITH SCORE 68609.919
AT ITER 5595 NEW BEST:: SOT 300287 SOS 104898 HAS SOPS 104898 HAS SOUS 68442 HAS SOUPS 68442 WITH SCORE 68546.898
AT ITER 5614 NEW BEST:: SOT 300287 SOS 104898 HAS SOPS 104898 HAS SOUS 68375 HAS SOUPS 68375 WITH SCORE 68479.898
AT ITER 5659 NEW BEST:: SOT 300259 SOS 104870 HAS SOPS 104870 HAS SOUS 68347 HAS SOUPS 68347 WITH SCORE 68451.87
AT ITER 5660 NEW BEST:: SOT 300215 SOS 104826 HAS SOPS 104826 HAS SOUS 68325 HAS SOUPS 68325 WITH SCORE 68429.826
AT ITER 5665 NEW BEST:: SOT 300215 SOS 104817 HAS SOPS 104817 HAS SOUS 68316 HAS SOUPS 68316 WITH SCORE 68420.817
AT ITER 5669 NEW BEST:: SOT 300161 SOS 104773 HAS SOPS 104773 HAS SOUS 68272 HAS SOUPS 68272 WITH SCORE 68376.773
AT ITER 5681 NEW BEST:: SOT 300161 SOS 104773 HAS SOPS 104773 HAS SOUS 68260 HAS SOUPS 68260 WITH SCORE 68364.773
AT ITER 5685 NEW BEST:: SOT 300159 SOS 104771 HAS SOPS 104771 HAS SOUS 68258 HAS SOUPS 68258 WITH SCORE 68362.771
AT ITER 5720 NEW BEST:: SOT 300146 SOS 104537 HAS SOPS 104537 HAS SOUS 68232 HAS SOUPS 68232 WITH SCORE 68336.537
AT ITER 5758 NEW BEST:: SOT 300135 SOS 104515 HAS SOPS 104515 HAS SOUS 68209 HAS SOUPS 68209 WITH SCORE 68313.515
AT ITER 5769 NEW BEST:: SOT 300092 SOS 104433 HAS SOPS 104433 HAS SOUS 68127 HAS SOUPS 68127 WITH SCORE 68231.433
AT ITER 5774 NEW BEST:: SOT 300048 SOS 104345 HAS SOPS 104345 HAS SOUS 68039 HAS SOUPS 68039 WITH SCORE 68143.345
AT ITER 5775 NEW BEST:: SOT 300048 SOS 104342 HAS SOPS 104342 HAS SOUS 68033 HAS SOUPS 68033 WITH SCORE 68137.342
AT ITER 5786 NEW BEST:: SOT 300357 SOS 104570 HAS SOPS 104570 HAS SOUS 68004 HAS SOUPS 68004 WITH SCORE 68108.57
AT ITER 5787 NEW BEST:: SOT 300317 SOS 104510 HAS SOPS 104510 HAS SOUS 67944 HAS SOUPS 67944 WITH SCORE 68048.51
AT ITER 5802 NEW BEST:: SOT 300316 SOS 104509 HAS SOPS 104509 HAS SOUS 67943 HAS SOUPS 67943 WITH SCORE 68047.509
AT ITER 5805 NEW BEST:: SOT 300240 SOS 104357 HAS SOPS 104357 HAS SOUS 67791 HAS SOUPS 67791 WITH SCORE 67895.357
AT ITER 5823 NEW BEST:: SOT 299758 SOS 104337 HAS SOPS 104337 HAS SOUS 67771 HAS SOUPS 67771 WITH SCORE 67875.337
AT ITER 5825 NEW BEST:: SOT 299730 SOS 104351 HAS SOPS 104351 HAS SOUS 67727 HAS SOUPS 67727 WITH SCORE 67831.351
AT ITER 5842 NEW BEST:: SOT 299730 SOS 104349 HAS SOPS 104349 HAS SOUS 67725 HAS SOUPS 67725 WITH SCORE 67829.349
AT ITER 5860 NEW BEST:: SOT 299722 SOS 104333 HAS SOPS 104333 HAS SOUS 67709 HAS SOUPS 67709 WITH SCORE 67813.333
AT ITER 5865 NEW BEST:: SOT 299715 SOS 104319 HAS SOPS 104319 HAS SOUS 67695 HAS SOUPS 67695 WITH SCORE 67799.319
AT ITER 5911 NEW BEST:: SOT 299715 SOS 104320 HAS SOPS 104320 HAS SOUS 67693 HAS SOUPS 67693 WITH SCORE 67797.32
AT ITER 5918 NEW BEST:: SOT 299690 SOS 104295 HAS SOPS 104295 HAS SOUS 67668 HAS SOUPS 67668 WITH SCORE 67772.295
AT ITER 5924 NEW BEST:: SOT 299662 SOS 104243 HAS SOPS 104243 HAS SOUS 67616 HAS SOUPS 67616 WITH SCORE 67720.243
AT ITER 5944 NEW BEST:: SOT 299684 SOS 104407 HAS SOPS 104407 HAS SOUS 67585 HAS SOUPS 67585 WITH SCORE 67689.407
AT ITER 5946 NEW BEST:: SOT 299684 SOS 104407 HAS SOPS 104407 HAS SOUS 67493 HAS SOUPS 67493 WITH SCORE 67597.407
AT ITER 5992 NEW BEST:: SOT 299634 SOS 104279 HAS SOPS 104279 HAS SOUS 67393 HAS SOUPS 67393 WITH SCORE 67497.279
AT ITER 6011 NEW BEST:: SOT 299633 SOS 104277 HAS SOPS 104277 HAS SOUS 67391 HAS SOUPS 67391 WITH SCORE 67495.277
AT ITER 6018 NEW BEST:: SOT 299633 SOS 104236 HAS SOPS 104236 HAS SOUS 67391 HAS SOUPS 67391 WITH SCORE 67495.236
AT ITER 6039 NEW BEST:: SOT 299633 SOS 104166 HAS SOPS 104166 HAS SOUS 67321 HAS SOUPS 67321 WITH SCORE 67425.166
AT ITER 6043 NEW BEST:: SOT 299599 SOS 104097 HAS SOPS 104097 HAS SOUS 67277 HAS SOUPS 67277 WITH SCORE 67381.097
AT ITER 6053 NEW BEST:: SOT 299597 SOS 104094 HAS SOPS 104094 HAS SOUS 67274 HAS SOUPS 67274 WITH SCORE 67378.094
AT ITER 6055 NEW BEST:: SOT 299436 SOS 104017 HAS SOPS 104017 HAS SOUS 67183 HAS SOUPS 67183 WITH SCORE 67287.017
AT ITER 6068 NEW BEST:: SOT 299448 SOS 103946 HAS SOPS 103946 HAS SOUS 67100 HAS SOUPS 67100 WITH SCORE 67203.946
AT ITER 6072 NEW BEST:: SOT 299382 SOS 103940 HAS SOPS 103940 HAS SOUS 67094 HAS SOUPS 67094 WITH SCORE 67197.94
AT ITER 6088 NEW BEST:: SOT 299342 SOS 103880 HAS SOPS 103880 HAS SOUS 67054 HAS SOUPS 67054 WITH SCORE 67157.88
AT ITER 6105 NEW BEST:: SOT 299312 SOS 103800 HAS SOPS 103800 HAS SOUS 66974 HAS SOUPS 66974 WITH SCORE 67077.8
AT ITER 6109 NEW BEST:: SOT 299312 SOS 103788 HAS SOPS 103788 HAS SOUS 66962 HAS SOUPS 66962 WITH SCORE 67065.788
AT ITER 6147 NEW BEST:: SOT 299226 SOS 103616 HAS SOPS 103616 HAS SOUS 66937 HAS SOUPS 66937 WITH SCORE 67040.616
AT ITER 6151 NEW BEST:: SOT 298997 SOS 103387 HAS SOPS 103387 HAS SOUS 66915 HAS SOUPS 66915 WITH SCORE 67018.387
AT ITER 6169 NEW BEST:: SOT 298994 SOS 103381 HAS SOPS 103381 HAS SOUS 66909 HAS SOUPS 66909 WITH SCORE 67012.381
AT ITER 6176 NEW BEST:: SOT 299013 SOS 103360 HAS SOPS 103360 HAS SOUS 66888 HAS SOUPS 66888 WITH SCORE 66991.36
AT ITER 6204 NEW BEST:: SOT 298977 SOS 103288 HAS SOPS 103288 HAS SOUS 66877 HAS SOUPS 66877 WITH SCORE 66980.288
AT ITER 6234 NEW BEST:: SOT 298965 SOS 103264 HAS SOPS 103264 HAS SOUS 66853 HAS SOUPS 66853 WITH SCORE 66956.264
AT ITER 6242 NEW BEST:: SOT 298894 SOS 103122 HAS SOPS 103122 HAS SOUS 66832 HAS SOUPS 66832 WITH SCORE 66935.122
AT ITER 6249 NEW BEST:: SOT 298875 SOS 103201 HAS SOPS 103201 HAS SOUS 66808 HAS SOUPS 66808 WITH SCORE 66911.201
AT ITER 6270 NEW BEST:: SOT 298877 SOS 103200 HAS SOPS 103200 HAS SOUS 66807 HAS SOUPS 66807 WITH SCORE 66910.2
AT ITER 6273 NEW BEST:: SOT 298841 SOS 103052 HAS SOPS 103052 HAS SOUS 66659 HAS SOUPS 66659 WITH SCORE 66762.052
AT ITER 6288 NEW BEST:: SOT 298874 SOS 103118 HAS SOPS 103118 HAS SOUS 66619 HAS SOUPS 66619 WITH SCORE 66722.118
AT ITER 6297 NEW BEST:: SOT 298682 SOS 102617 HAS SOPS 102617 HAS SOUS 66151 HAS SOUPS 66151 WITH SCORE 66253.617
AT ITER 6308 NEW BEST:: SOT 298714 SOS 102649 HAS SOPS 102649 HAS SOUS 66135 HAS SOUPS 66135 WITH SCORE 66237.649
AT ITER 6330 NEW BEST:: SOT 298679 SOS 102579 HAS SOPS 102579 HAS SOUS 66065 HAS SOUPS 66065 WITH SCORE 66167.579
AT ITER 6346 NEW BEST:: SOT 298693 SOS 102560 HAS SOPS 102560 HAS SOUS 66029 HAS SOUPS 66029 WITH SCORE 66131.56
AT ITER 6355 NEW BEST:: SOT 298677 SOS 102536 HAS SOPS 102536 HAS SOUS 66013 HAS SOUPS 66013 WITH SCORE 66115.536
AT ITER 6382 NEW BEST:: SOT 298648 SOS 102469 HAS SOPS 102469 HAS SOUS 65946 HAS SOUPS 65946 WITH SCORE 66048.469
AT ITER 6392 NEW BEST:: SOT 298648 SOS 102265 HAS SOPS 102265 HAS SOUS 65946 HAS SOUPS 65946 WITH SCORE 66048.265
AT ITER 6399 NEW BEST:: SOT 298657 SOS 102245 HAS SOPS 102245 HAS SOUS 65931 HAS SOUPS 65931 WITH SCORE 66033.245
AT ITER 6437 NEW BEST:: SOT 298657 SOS 102207 HAS SOPS 102207 HAS SOUS 65917 HAS SOUPS 65917 WITH SCORE 66019.207
AT ITER 6446 NEW BEST:: SOT 298588 SOS 102142 HAS SOPS 102142 HAS SOUS 65875 HAS SOUPS 65875 WITH SCORE 65977.142
AT ITER 6447 NEW BEST:: SOT 298566 SOS 102120 HAS SOPS 102120 HAS SOUS 65864 HAS SOUPS 65864 WITH SCORE 65966.12
AT ITER 6458 NEW BEST:: SOT 298539 SOS 102093 HAS SOPS 102093 HAS SOUS 65769 HAS SOUPS 65769 WITH SCORE 65871.093
AT ITER 6465 NEW BEST:: SOT 298630 SOS 102155 HAS SOPS 102155 HAS SOUS 65724 HAS SOUPS 65724 WITH SCORE 65826.155
AT ITER 6478 NEW BEST:: SOT 298600 SOS 102095 HAS SOPS 102095 HAS SOUS 65664 HAS SOUPS 65664 WITH SCORE 65766.095
AT ITER 6487 NEW BEST:: SOT 298387 SOS 101881 HAS SOPS 101881 HAS SOUS 65450 HAS SOUPS 65450 WITH SCORE 65551.881
AT ITER 6495 NEW BEST:: SOT 298370 SOS 101847 HAS SOPS 101847 HAS SOUS 65450 HAS SOUPS 65450 WITH SCORE 65551.847
AT ITER 6504 NEW BEST:: SOT 298360 SOS 101827 HAS SOPS 101827 HAS SOUS 65430 HAS SOUPS 65430 WITH SCORE 65531.827
AT ITER 6611 NEW BEST:: SOT 298340 SOS 101787 HAS SOPS 101787 HAS SOUS 65426 HAS SOUPS 65426 WITH SCORE 65527.787
AT ITER 6643 NEW BEST:: SOT 298334 SOS 101775 HAS SOPS 101775 HAS SOUS 65420 HAS SOUPS 65420 WITH SCORE 65521.775
AT ITER 6684 NEW BEST:: SOT 298332 SOS 101643 HAS SOPS 101643 HAS SOUS 65288 HAS SOUPS 65288 WITH SCORE 65389.643
AT ITER 6695 NEW BEST:: SOT 298321 SOS 101641 HAS SOPS 101641 HAS SOUS 65286 HAS SOUPS 65286 WITH SCORE 65387.641
AT ITER 6701 NEW BEST:: SOT 298312 SOS 101632 HAS SOPS 101632 HAS SOUS 65277 HAS SOUPS 65277 WITH SCORE 65378.632
AT ITER 6729 NEW BEST:: SOT 298212 SOS 101473 HAS SOPS 101473 HAS SOUS 65178 HAS SOUPS 65178 WITH SCORE 65279.473
AT ITER 6739 NEW BEST:: SOT 298200 SOS 101461 HAS SOPS 101461 HAS SOUS 65166 HAS SOUPS 65166 WITH SCORE 65267.461
AT ITER 6745 NEW BEST:: SOT 298109 SOS 101370 HAS SOPS 101370 HAS SOUS 65075 HAS SOUPS 65075 WITH SCORE 65176.37
AT ITER 6772 NEW BEST:: SOT 298075 SOS 101292 HAS SOPS 101292 HAS SOUS 64997 HAS SOUPS 64997 WITH SCORE 65098.292
AT ITER 6780 NEW BEST:: SOT 298068 SOS 101229 HAS SOPS 101229 HAS SOUS 64983 HAS SOUPS 64983 WITH SCORE 65084.229
AT ITER 6798 NEW BEST:: SOT 298051 SOS 101206 HAS SOPS 101206 HAS SOUS 64960 HAS SOUPS 64960 WITH SCORE 65061.206
AT ITER 6800 NEW BEST:: SOT 298009 SOS 101052 HAS SOPS 101052 HAS SOUS 64909 HAS SOUPS 64909 WITH SCORE 65010.052
AT ITER 6801 NEW BEST:: SOT 298008 SOS 101050 HAS SOPS 101050 HAS SOUS 64907 HAS SOUPS 64907 WITH SCORE 65008.05
AT ITER 6833 NEW BEST:: SOT 297920 SOS 101042 HAS SOPS 101042 HAS SOUS 64899 HAS SOUPS 64899 WITH SCORE 65000.042
AT ITER 6834 NEW BEST:: SOT 297907 SOS 101029 HAS SOPS 101029 HAS SOUS 64891 HAS SOUPS 64891 WITH SCORE 64992.029
AT ITER 6863 NEW BEST:: SOT 297891 SOS 100997 HAS SOPS 100997 HAS SOUS 64859 HAS SOUPS 64859 WITH SCORE 64959.997
AT ITER 6864 NEW BEST:: SOT 297891 SOS 100997 HAS SOPS 100997 HAS SOUS 64837 HAS SOUPS 64837 WITH SCORE 64937.997
AT ITER 6884 NEW BEST:: SOT 297869 SOS 100983 HAS SOPS 100983 HAS SOUS 64823 HAS SOUPS 64823 WITH SCORE 64923.983
AT ITER 6891 NEW BEST:: SOT 297810 SOS 100948 HAS SOPS 100948 HAS SOUS 64787 HAS SOUPS 64787 WITH SCORE 64887.948
AT ITER 6898 NEW BEST:: SOT 297798 SOS 100770 HAS SOPS 100770 HAS SOUS 64609 HAS SOUPS 64609 WITH SCORE 64709.77
AT ITER 6900 NEW BEST:: SOT 297769 SOS 100684 HAS SOPS 100684 HAS SOUS 64523 HAS SOUPS 64523 WITH SCORE 64623.684
AT ITER 6932 NEW BEST:: SOT 297763 SOS 100660 HAS SOPS 100660 HAS SOUS 64499 HAS SOUPS 64499 WITH SCORE 64599.66
AT ITER 6937 NEW BEST:: SOT 297761 SOS 100656 HAS SOPS 100656 HAS SOUS 64497 HAS SOUPS 64497 WITH SCORE 64597.656
AT ITER 6975 NEW BEST:: SOT 297821 SOS 100710 HAS SOPS 100710 HAS SOUS 64446 HAS SOUPS 64446 WITH SCORE 64546.71
AT ITER 6993 NEW BEST:: SOT 297753 SOS 100642 HAS SOPS 100642 HAS SOUS 64378 HAS SOUPS 64378 WITH SCORE 64478.642
AT ITER 7014 NEW BEST:: SOT 297712 SOS 100560 HAS SOPS 100560 HAS SOUS 64296 HAS SOUPS 64296 WITH SCORE 64396.56
AT ITER 7118 NEW BEST:: SOT 297712 SOS 100552 HAS SOPS 100552 HAS SOUS 64288 HAS SOUPS 64288 WITH SCORE 64388.552
AT ITER 7123 NEW BEST:: SOT 297695 SOS 100518 HAS SOPS 100518 HAS SOUS 64254 HAS SOUPS 64254 WITH SCORE 64354.518
AT ITER 7124 NEW BEST:: SOT 297689 SOS 100472 HAS SOPS 100472 HAS SOUS 64248 HAS SOUPS 64248 WITH SCORE 64348.472
AT ITER 7125 NEW BEST:: SOT 297689 SOS 100433 HAS SOPS 100433 HAS SOUS 64209 HAS SOUPS 64209 WITH SCORE 64309.433
AT ITER 7141 NEW BEST:: SOT 297673 SOS 100417 HAS SOPS 100417 HAS SOUS 64193 HAS SOUPS 64193 WITH SCORE 64293.417
AT ITER 7173 NEW BEST:: SOT 297394 SOS 100410 HAS SOPS 100410 HAS SOUS 64186 HAS SOUPS 64186 WITH SCORE 64286.41
AT ITER 7199 NEW BEST:: SOT 297372 SOS 100388 HAS SOPS 100388 HAS SOUS 64164 HAS SOUPS 64164 WITH SCORE 64264.388
AT ITER 7222 NEW BEST:: SOT 297408 SOS 100410 HAS SOPS 100410 HAS SOUS 64136 HAS SOUPS 64136 WITH SCORE 64236.41
AT ITER 7242 NEW BEST:: SOT 297318 SOS 100309 HAS SOPS 100309 HAS SOUS 64035 HAS SOUPS 64035 WITH SCORE 64135.309
AT ITER 7245 NEW BEST:: SOT 297253 SOS 100241 HAS SOPS 100241 HAS SOUS 64029 HAS SOUPS 64029 WITH SCORE 64129.241
AT ITER 7289 NEW BEST:: SOT 297225 SOS 99829 HAS SOPS 99829 HAS SOUS 63973 HAS SOUPS 63973 WITH SCORE 64072.829
AT ITER 7316 NEW BEST:: SOT 297225 SOS 99794 HAS SOPS 99794 HAS SOUS 63944 HAS SOUPS 63944 WITH SCORE 64043.794
AT ITER 7330 NEW BEST:: SOT 297225 SOS 99794 HAS SOPS 99794 HAS SOUS 63934 HAS SOUPS 63934 WITH SCORE 64033.794
AT ITER 7341 NEW BEST:: SOT 297225 SOS 99773 HAS SOPS 99773 HAS SOUS 63913 HAS SOUPS 63913 WITH SCORE 64012.773
AT ITER 7359 NEW BEST:: SOT 297188 SOS 99686 HAS SOPS 99686 HAS SOUS 63884 HAS SOUPS 63884 WITH SCORE 63983.686
AT ITER 7376 NEW BEST:: SOT 297238 SOS 99705 HAS SOPS 99705 HAS SOUS 63851 HAS SOUPS 63851 WITH SCORE 63950.705
AT ITER 7390 NEW BEST:: SOT 297165 SOS 99552 HAS SOPS 99552 HAS SOUS 63814 HAS SOUPS 63814 WITH SCORE 63913.552
AT ITER 7409 NEW BEST:: SOT 297161 SOS 99504 HAS SOPS 99504 HAS SOUS 63806 HAS SOUPS 63806 WITH SCORE 63905.504
AT ITER 7413 NEW BEST:: SOT 297161 SOS 99490 HAS SOPS 99490 HAS SOUS 63792 HAS SOUPS 63792 WITH SCORE 63891.49
AT ITER 7414 NEW BEST:: SOT 297184 SOS 99484 HAS SOPS 99484 HAS SOUS 63786 HAS SOUPS 63786 WITH SCORE 63885.484
AT ITER 7440 NEW BEST:: SOT 297200 SOS 99470 HAS SOPS 99470 HAS SOUS 63773 HAS SOUPS 63773 WITH SCORE 63872.47
AT ITER 7442 NEW BEST:: SOT 297193 SOS 99456 HAS SOPS 99456 HAS SOUS 63759 HAS SOUPS 63759 WITH SCORE 63858.456
AT ITER 7446 NEW BEST:: SOT 297224 SOS 99447 HAS SOPS 99447 HAS SOUS 63750 HAS SOUPS 63750 WITH SCORE 63849.447
AT ITER 7473 NEW BEST:: SOT 297219 SOS 99423 HAS SOPS 99423 HAS SOUS 63726 HAS SOUPS 63726 WITH SCORE 63825.423
AT ITER 7478 NEW BEST:: SOT 297223 SOS 99369 HAS SOPS 99369 HAS SOUS 63705 HAS SOUPS 63705 WITH SCORE 63804.369
AT ITER 7486 NEW BEST:: SOT 297065 SOS 99093 HAS SOPS 99093 HAS SOUS 63429 HAS SOUPS 63429 WITH SCORE 63528.093
AT ITER 7518 NEW BEST:: SOT 297202 SOS 99090 HAS SOPS 99090 HAS SOUS 63426 HAS SOUPS 63426 WITH SCORE 63525.09
AT ITER 7520 NEW BEST:: SOT 297172 SOS 99038 HAS SOPS 99038 HAS SOUS 63374 HAS SOUPS 63374 WITH SCORE 63473.038
AT ITER 7547 NEW BEST:: SOT 297169 SOS 99035 HAS SOPS 99035 HAS SOUS 63359 HAS SOUPS 63359 WITH SCORE 63458.035
AT ITER 7555 NEW BEST:: SOT 297151 SOS 98997 HAS SOPS 98997 HAS SOUS 63321 HAS SOUPS 63321 WITH SCORE 63419.997
AT ITER 7609 NEW BEST:: SOT 297148 SOS 98994 HAS SOPS 98994 HAS SOUS 63315 HAS SOUPS 63315 WITH SCORE 63413.994
AT ITER 7624 NEW BEST:: SOT 297148 SOS 98994 HAS SOPS 98994 HAS SOUS 63308 HAS SOUPS 63308 WITH SCORE 63406.994
AT ITER 7662 NEW BEST:: SOT 297045 SOS 98891 HAS SOPS 98891 HAS SOUS 63205 HAS SOUPS 63205 WITH SCORE 63303.891
AT ITER 7678 NEW BEST:: SOT 297045 SOS 98823 HAS SOPS 98823 HAS SOUS 63137 HAS SOUPS 63137 WITH SCORE 63235.823
AT ITER 7679 NEW BEST:: SOT 297045 SOS 98772 HAS SOPS 98772 HAS SOUS 63131 HAS SOUPS 63131 WITH SCORE 63229.772
AT ITER 7723 NEW BEST:: SOT 297077 SOS 98766 HAS SOPS 98766 HAS SOUS 63125 HAS SOUPS 63125 WITH SCORE 63223.766
AT ITER 7750 NEW BEST:: SOT 297077 SOS 98621 HAS SOPS 98621 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63078.621
AT ITER 7753 NEW BEST:: SOT 297077 SOS 98621 HAS SOPS 98621 HAS SOUS 62963 HAS SOUPS 62963 WITH SCORE 63061.621
AT ITER 7761 NEW BEST:: SOT 296998 SOS 98542 HAS SOPS 98542 HAS SOUS 62946 HAS SOUPS 62946 WITH SCORE 63044.542
AT ITER 7762 NEW BEST:: SOT 296999 SOS 98543 HAS SOPS 98543 HAS SOUS 62937 HAS SOUPS 62937 WITH SCORE 63035.543
AT ITER 7793 NEW BEST:: SOT 297024 SOS 98568 HAS SOPS 98568 HAS SOUS 62872 HAS SOUPS 62872 WITH SCORE 62970.568
AT ITER 7800 NEW BEST:: SOT 297024 SOS 98566 HAS SOPS 98566 HAS SOUS 62870 HAS SOUPS 62870 WITH SCORE 62968.566
AT ITER 7804 NEW BEST:: SOT 297024 SOS 98564 HAS SOPS 98564 HAS SOUS 62869 HAS SOUPS 62869 WITH SCORE 62967.564
AT ITER 7822 NEW BEST:: SOT 296895 SOS 98368 HAS SOPS 98368 HAS SOUS 62741 HAS SOUPS 62741 WITH SCORE 62839.368
AT ITER 7890 NEW BEST:: SOT 296871 SOS 98344 HAS SOPS 98344 HAS SOUS 62718 HAS SOUPS 62718 WITH SCORE 62816.344
AT ITER 7908 NEW BEST:: SOT 296871 SOS 98344 HAS SOPS 98344 HAS SOUS 62711 HAS SOUPS 62711 WITH SCORE 62809.344
AT ITER 7914 NEW BEST:: SOT 296871 SOS 98341 HAS SOPS 98341 HAS SOUS 62708 HAS SOUPS 62708 WITH SCORE 62806.341
AT ITER 7919 NEW BEST:: SOT 296871 SOS 98341 HAS SOPS 98341 HAS SOUS 62703 HAS SOUPS 62703 WITH SCORE 62801.341
AT ITER 7929 NEW BEST:: SOT 296871 SOS 98425 HAS SOPS 98425 HAS SOUS 62650 HAS SOUPS 62650 WITH SCORE 62748.425
AT ITER 7936 NEW BEST:: SOT 296818 SOS 98407 HAS SOPS 98407 HAS SOUS 62623 HAS SOUPS 62623 WITH SCORE 62721.407
AT ITER 7959 NEW BEST:: SOT 296770 SOS 98311 HAS SOPS 98311 HAS SOUS 62527 HAS SOUPS 62527 WITH SCORE 62625.311
AT ITER 8054 NEW BEST:: SOT 296770 SOS 98377 HAS SOPS 98377 HAS SOUS 62513 HAS SOUPS 62513 WITH SCORE 62611.377
AT ITER 8062 NEW BEST:: SOT 296763 SOS 98364 HAS SOPS 98364 HAS SOUS 62500 HAS SOUPS 62500 WITH SCORE 62598.364
AT ITER 8070 NEW BEST:: SOT 296678 SOS 98279 HAS SOPS 98279 HAS SOUS 62415 HAS SOUPS 62415 WITH SCORE 62513.279
AT ITER 8087 NEW BEST:: SOT 296677 SOS 98278 HAS SOPS 98278 HAS SOUS 62415 HAS SOUPS 62415 WITH SCORE 62513.278
AT ITER 8156 NEW BEST:: SOT 296670 SOS 98264 HAS SOPS 98264 HAS SOUS 62401 HAS SOUPS 62401 WITH SCORE 62499.264
AT ITER 8178 NEW BEST:: SOT 296670 SOS 98255 HAS SOPS 98255 HAS SOUS 62392 HAS SOUPS 62392 WITH SCORE 62490.255
AT ITER 8207 NEW BEST:: SOT 296635 SOS 98204 HAS SOPS 98204 HAS SOUS 62360 HAS SOUPS 62360 WITH SCORE 62458.204
AT ITER 8229 NEW BEST:: SOT 296631 SOS 98196 HAS SOPS 98196 HAS SOUS 62352 HAS SOUPS 62352 WITH SCORE 62450.196
AT ITER 8268 NEW BEST:: SOT 296591 SOS 98136 HAS SOPS 98136 HAS SOUS 62292 HAS SOUPS 62292 WITH SCORE 62390.136
AT ITER 8273 NEW BEST:: SOT 296557 SOS 98102 HAS SOPS 98102 HAS SOUS 62258 HAS SOUPS 62258 WITH SCORE 62356.102
AT ITER 8316 NEW BEST:: SOT 296304 SOS 97600 HAS SOPS 97600 HAS SOUS 62005 HAS SOUPS 62005 WITH SCORE 62102.6
AT ITER 8317 NEW BEST:: SOT 296293 SOS 97578 HAS SOPS 97578 HAS SOUS 61983 HAS SOUPS 61983 WITH SCORE 62080.578
AT ITER 8322 NEW BEST:: SOT 296314 SOS 97525 HAS SOPS 97525 HAS SOUS 61969 HAS SOUPS 61969 WITH SCORE 62066.525
AT ITER 8348 NEW BEST:: SOT 296449 SOS 97443 HAS SOPS 97443 HAS SOUS 61887 HAS SOUPS 61887 WITH SCORE 61984.443
AT ITER 8359 NEW BEST:: SOT 296449 SOS 97407 HAS SOPS 97407 HAS SOUS 61851 HAS SOUPS 61851 WITH SCORE 61948.407
AT ITER 8384 NEW BEST:: SOT 296469 SOS 97388 HAS SOPS 97388 HAS SOUS 61832 HAS SOUPS 61832 WITH SCORE 61929.388
AT ITER 8391 NEW BEST:: SOT 296468 SOS 97386 HAS SOPS 97386 HAS SOUS 61830 HAS SOUPS 61830 WITH SCORE 61927.386
AT ITER 8396 NEW BEST:: SOT 296468 SOS 97386 HAS SOPS 97386 HAS SOUS 61810 HAS SOUPS 61810 WITH SCORE 61907.386
AT ITER 8408 NEW BEST:: SOT 296460 SOS 97374 HAS SOPS 97374 HAS SOUS 61798 HAS SOUPS 61798 WITH SCORE 61895.374
AT ITER 8432 NEW BEST:: SOT 296446 SOS 97346 HAS SOPS 97346 HAS SOUS 61784 HAS SOUPS 61784 WITH SCORE 61881.346
AT ITER 8459 NEW BEST:: SOT 296424 SOS 97313 HAS SOPS 97313 HAS SOUS 61762 HAS SOUPS 61762 WITH SCORE 61859.313
AT ITER 8490 NEW BEST:: SOT 296405 SOS 97294 HAS SOPS 97294 HAS SOUS 61743 HAS SOUPS 61743 WITH SCORE 61840.294
AT ITER 8541 NEW BEST:: SOT 296440 SOS 97289 HAS SOPS 97289 HAS SOUS 61663 HAS SOUPS 61663 WITH SCORE 61760.289
AT ITER 8544 NEW BEST:: SOT 296380 SOS 97268 HAS SOPS 97268 HAS SOUS 61642 HAS SOUPS 61642 WITH SCORE 61739.268
AT ITER 8633 NEW BEST:: SOT 296318 SOS 97205 HAS SOPS 97205 HAS SOUS 61640 HAS SOUPS 61640 WITH SCORE 61737.205
AT ITER 8638 NEW BEST:: SOT 296318 SOS 97183 HAS SOPS 97183 HAS SOUS 61628 HAS SOUPS 61628 WITH SCORE 61725.183
AT ITER 8709 NEW BEST:: SOT 296242 SOS 97077 HAS SOPS 97077 HAS SOUS 61589 HAS SOUPS 61589 WITH SCORE 61686.077
AT ITER 8713 NEW BEST:: SOT 296080 SOS 96849 HAS SOPS 96849 HAS SOUS 61361 HAS SOUPS 61361 WITH SCORE 61457.849
AT ITER 8724 NEW BEST:: SOT 295989 SOS 96836 HAS SOPS 96836 HAS SOUS 61348 HAS SOUPS 61348 WITH SCORE 61444.836
AT ITER 8736 NEW BEST:: SOT 295974 SOS 96813 HAS SOPS 96813 HAS SOUS 61348 HAS SOUPS 61348 WITH SCORE 61444.813
AT ITER 8739 NEW BEST:: SOT 295913 SOS 96729 HAS SOPS 96729 HAS SOUS 61264 HAS SOUPS 61264 WITH SCORE 61360.729
AT ITER 8751 NEW BEST:: SOT 295912 SOS 96727 HAS SOPS 96727 HAS SOUS 61262 HAS SOUPS 61262 WITH SCORE 61358.727
AT ITER 8752 NEW BEST:: SOT 296013 SOS 96737 HAS SOPS 96737 HAS SOUS 61230 HAS SOUPS 61230 WITH SCORE 61326.737
AT ITER 8762 NEW BEST:: SOT 295958 SOS 96682 HAS SOPS 96682 HAS SOUS 61175 HAS SOUPS 61175 WITH SCORE 61271.682
AT ITER 8769 NEW BEST:: SOT 295947 SOS 96660 HAS SOPS 96660 HAS SOUS 61164 HAS SOUPS 61164 WITH SCORE 61260.66
AT ITER 8774 NEW BEST:: SOT 295891 SOS 96481 HAS SOPS 96481 HAS SOUS 61092 HAS SOUPS 61092 WITH SCORE 61188.481
AT ITER 8852 NEW BEST:: SOT 295887 SOS 96438 HAS SOPS 96438 HAS SOUS 61084 HAS SOUPS 61084 WITH SCORE 61180.438
AT ITER 8884 NEW BEST:: SOT 295887 SOS 96411 HAS SOPS 96411 HAS SOUS 61057 HAS SOUPS 61057 WITH SCORE 61153.411
AT ITER 8902 NEW BEST:: SOT 295835 SOS 96334 HAS SOPS 96334 HAS SOUS 60980 HAS SOUPS 60980 WITH SCORE 61076.334
AT ITER 8952 NEW BEST:: SOT 295720 SOS 96246 HAS SOPS 96246 HAS SOUS 60778 HAS SOUPS 60778 WITH SCORE 60874.246
AT ITER 8995 NEW BEST:: SOT 295616 SOS 96142 HAS SOPS 96142 HAS SOUS 60778 HAS SOUPS 60778 WITH SCORE 60874.142
AT ITER 9005 NEW BEST:: SOT 295608 SOS 96105 HAS SOPS 96105 HAS SOUS 60741 HAS SOUPS 60741 WITH SCORE 60837.105
AT ITER 9064 NEW BEST:: SOT 295718 SOS 95722 HAS SOPS 95722 HAS SOUS 60699 HAS SOUPS 60699 WITH SCORE 60794.722
AT ITER 9065 NEW BEST:: SOT 295738 SOS 95727 HAS SOPS 95727 HAS SOUS 60679 HAS SOUPS 60679 WITH SCORE 60774.727
AT ITER 9082 NEW BEST:: SOT 295729 SOS 95700 HAS SOPS 95700 HAS SOUS 60677 HAS SOUPS 60677 WITH SCORE 60772.7
AT ITER 9113 NEW BEST:: SOT 295728 SOS 95699 HAS SOPS 95699 HAS SOUS 60676 HAS SOUPS 60676 WITH SCORE 60771.699
AT ITER 9126 NEW BEST:: SOT 295800 SOS 95766 HAS SOPS 95766 HAS SOUS 60666 HAS SOUPS 60666 WITH SCORE 60761.766
AT ITER 9164 NEW BEST:: SOT 295805 SOS 95733 HAS SOPS 95733 HAS SOUS 60633 HAS SOUPS 60633 WITH SCORE 60728.733
AT ITER 9198 NEW BEST:: SOT 295849 SOS 95731 HAS SOPS 95731 HAS SOUS 60631 HAS SOUPS 60631 WITH SCORE 60726.731
AT ITER 9246 NEW BEST:: SOT 295843 SOS 95725 HAS SOPS 95725 HAS SOUS 60625 HAS SOUPS 60625 WITH SCORE 60720.725
AT ITER 9324 NEW BEST:: SOT 295842 SOS 95661 HAS SOPS 95661 HAS SOUS 60587 HAS SOUPS 60587 WITH SCORE 60682.661
AT ITER 9370 NEW BEST:: SOT 295931 SOS 95709 HAS SOPS 95709 HAS SOUS 60471 HAS SOUPS 60471 WITH SCORE 60566.709
AT ITER 9400 NEW BEST:: SOT 295937 SOS 95673 HAS SOPS 95673 HAS SOUS 60435 HAS SOUPS 60435 WITH SCORE 60530.673
AT ITER 9423 NEW BEST:: SOT 295935 SOS 95671 HAS SOPS 95671 HAS SOUS 60433 HAS SOUPS 60433 WITH SCORE 60528.671
AT ITER 9440 NEW BEST:: SOT 295935 SOS 95667 HAS SOPS 95667 HAS SOUS 60429 HAS SOUPS 60429 WITH SCORE 60524.667
AT ITER 9448 NEW BEST:: SOT 295923 SOS 95643 HAS SOPS 95643 HAS SOUS 60405 HAS SOUPS 60405 WITH SCORE 60500.643
AT ITER 9467 NEW BEST:: SOT 295794 SOS 95488 HAS SOPS 95488 HAS SOUS 60353 HAS SOUPS 60353 WITH SCORE 60448.488
AT ITER 9471 NEW BEST:: SOT 295788 SOS 95476 HAS SOPS 95476 HAS SOUS 60341 HAS SOUPS 60341 WITH SCORE 60436.476
AT ITER 9490 NEW BEST:: SOT 295792 SOS 95467 HAS SOPS 95467 HAS SOUS 60332 HAS SOUPS 60332 WITH SCORE 60427.467
AT ITER 9502 NEW BEST:: SOT 295790 SOS 95461 HAS SOPS 95461 HAS SOUS 60326 HAS SOUPS 60326 WITH SCORE 60421.461
AT ITER 9532 NEW BEST:: SOT 295813 SOS 95587 HAS SOPS 95587 HAS SOUS 60267 HAS SOUPS 60267 WITH SCORE 60362.587
AT ITER 9556 NEW BEST:: SOT 295799 SOS 95566 HAS SOPS 95566 HAS SOUS 60246 HAS SOUPS 60246 WITH SCORE 60341.566
AT ITER 9561 NEW BEST:: SOT 295826 SOS 95539 HAS SOPS 95539 HAS SOUS 60219 HAS SOUPS 60219 WITH SCORE 60314.539
AT ITER 9564 NEW BEST:: SOT 295841 SOS 95569 HAS SOPS 95569 HAS SOUS 60193 HAS SOUPS 60193 WITH SCORE 60288.569
AT ITER 9603 NEW BEST:: SOT 295820 SOS 95485 HAS SOPS 95485 HAS SOUS 60130 HAS SOUPS 60130 WITH SCORE 60225.485
AT ITER 9623 NEW BEST:: SOT 295820 SOS 95478 HAS SOPS 95478 HAS SOUS 60123 HAS SOUPS 60123 WITH SCORE 60218.478
AT ITER 9626 NEW BEST:: SOT 295838 SOS 95431 HAS SOPS 95431 HAS SOUS 60076 HAS SOUPS 60076 WITH SCORE 60171.431
AT ITER 9636 NEW BEST:: SOT 295838 SOS 95410 HAS SOPS 95410 HAS SOUS 60055 HAS SOUPS 60055 WITH SCORE 60150.41
AT ITER 9640 NEW BEST:: SOT 295838 SOS 95406 HAS SOPS 95406 HAS SOUS 60053 HAS SOUPS 60053 WITH SCORE 60148.406
AT ITER 9665 NEW BEST:: SOT 295815 SOS 95360 HAS SOPS 95360 HAS SOUS 60007 HAS SOUPS 60007 WITH SCORE 60102.36
AT ITER 9685 NEW BEST:: SOT 295786 SOS 95292 HAS SOPS 95292 HAS SOUS 59977 HAS SOUPS 59977 WITH SCORE 60072.292
AT ITER 9712 NEW BEST:: SOT 295587 SOS 95075 HAS SOPS 95075 HAS SOUS 59760 HAS SOUPS 59760 WITH SCORE 59855.075
AT ITER 9722 NEW BEST:: SOT 295587 SOS 95054 HAS SOPS 95054 HAS SOUS 59739 HAS SOUPS 59739 WITH SCORE 59834.054
AT ITER 9787 NEW BEST:: SOT 295599 SOS 95051 HAS SOPS 95051 HAS SOUS 59736 HAS SOUPS 59736 WITH SCORE 59831.051
AT ITER 9808 NEW BEST:: SOT 295553 SOS 94978 HAS SOPS 94978 HAS SOUS 59707 HAS SOUPS 59707 WITH SCORE 59801.978
AT ITER 9826 NEW BEST:: SOT 295552 SOS 94960 HAS SOPS 94960 HAS SOUS 59705 HAS SOUPS 59705 WITH SCORE 59799.96
AT ITER 9839 NEW BEST:: SOT 295560 SOS 94956 HAS SOPS 94956 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59795.956
AT ITER 9856 NEW BEST:: SOT 295560 SOS 94955 HAS SOPS 94955 HAS SOUS 59700 HAS SOUPS 59700 WITH SCORE 59794.955
AT ITER 9872 NEW BEST:: SOT 295560 SOS 94932 HAS SOPS 94932 HAS SOUS 59677 HAS SOUPS 59677 WITH SCORE 59771.932
AT ITER 9900 NEW BEST:: SOT 295558 SOS 94929 HAS SOPS 94929 HAS SOUS 59675 HAS SOUPS 59675 WITH SCORE 59769.929
AT ITER 9956 NEW BEST:: SOT 295428 SOS 94799 HAS SOPS 94799 HAS SOUS 59545 HAS SOUPS 59545 WITH SCORE 59639.799
AT ITER 9988 NEW BEST:: SOT 295408 SOS 94779 HAS SOPS 94779 HAS SOUS 59493 HAS SOUPS 59493 WITH SCORE 59587.779
AT ITER 9989 NEW BEST:: SOT 295368 SOS 94739 HAS SOPS 94739 HAS SOUS 59453 HAS SOUPS 59453 WITH SCORE 59547.739
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 12558304 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156324 kB

BK_TIME_CONFINEMENT_REACHED

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

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="BusinessProcesses-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688400608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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