Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400283.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-06b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.7K Apr 4 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 06:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 20:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 20:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 3 13:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 141K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589398103415

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

GOT IT HERE. BS
Petri model created: 542 places, 621 transitions, 1533 arcs.
AT ITER 0 NEW BEST:: SOT 214397 SOS 97670 HAS SOPS 97670 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.67
AT ITER 2 NEW BEST:: SOT 214201 SOS 97496 HAS SOPS 97496 HAS SOUS 78079 HAS SOUPS 78079 WITH SCORE 78176.496
AT ITER 5 NEW BEST:: SOT 214121 SOS 97456 HAS SOPS 97456 HAS SOUS 78017 HAS SOUPS 78017 WITH SCORE 78114.456
AT ITER 10 NEW BEST:: SOT 214069 SOS 97300 HAS SOPS 97300 HAS SOUS 77861 HAS SOUPS 77861 WITH SCORE 77958.3
AT ITER 14 NEW BEST:: SOT 214069 SOS 97240 HAS SOPS 97240 HAS SOUS 77855 HAS SOUPS 77855 WITH SCORE 77952.24
AT ITER 16 NEW BEST:: SOT 213917 SOS 96936 HAS SOPS 96936 HAS SOUS 77701 HAS SOUPS 77701 WITH SCORE 77797.936
AT ITER 18 NEW BEST:: SOT 213842 SOS 96786 HAS SOPS 96786 HAS SOUS 77637 HAS SOUPS 77637 WITH SCORE 77733.786
AT ITER 22 NEW BEST:: SOT 213842 SOS 96716 HAS SOPS 96716 HAS SOUS 77632 HAS SOUPS 77632 WITH SCORE 77728.716
AT ITER 28 NEW BEST:: SOT 213842 SOS 96716 HAS SOPS 96716 HAS SOUS 77603 HAS SOUPS 77603 WITH SCORE 77699.716
AT ITER 30 NEW BEST:: SOT 213645 SOS 96609 HAS SOPS 96609 HAS SOUS 77487 HAS SOUPS 77487 WITH SCORE 77583.609
AT ITER 31 NEW BEST:: SOT 213581 SOS 96353 HAS SOPS 96353 HAS SOUS 77422 HAS SOUPS 77422 WITH SCORE 77518.353
AT ITER 32 NEW BEST:: SOT 213517 SOS 96316 HAS SOPS 96316 HAS SOUS 77368 HAS SOUPS 77368 WITH SCORE 77464.316
AT ITER 35 NEW BEST:: SOT 213547 SOS 96205 HAS SOPS 96205 HAS SOUS 77333 HAS SOUPS 77333 WITH SCORE 77429.205
AT ITER 37 NEW BEST:: SOT 212094 SOS 95423 HAS SOPS 95423 HAS SOUS 75880 HAS SOUPS 75880 WITH SCORE 75975.423
AT ITER 38 NEW BEST:: SOT 212034 SOS 95363 HAS SOPS 95363 HAS SOUS 75718 HAS SOUPS 75718 WITH SCORE 75813.363
AT ITER 40 NEW BEST:: SOT 212010 SOS 95315 HAS SOPS 95315 HAS SOUS 75694 HAS SOUPS 75694 WITH SCORE 75789.315
AT ITER 41 NEW BEST:: SOT 211825 SOS 94760 HAS SOPS 94760 HAS SOUS 75391 HAS SOUPS 75391 WITH SCORE 75485.76
AT ITER 45 NEW BEST:: SOT 211857 SOS 94824 HAS SOPS 94824 HAS SOUS 75236 HAS SOUPS 75236 WITH SCORE 75330.824
AT ITER 50 NEW BEST:: SOT 211916 SOS 94205 HAS SOPS 94205 HAS SOUS 74881 HAS SOUPS 74881 WITH SCORE 74975.205
AT ITER 55 NEW BEST:: SOT 211818 SOS 94009 HAS SOPS 94009 HAS SOUS 74685 HAS SOUPS 74685 WITH SCORE 74779.009
AT ITER 57 NEW BEST:: SOT 211708 SOS 93905 HAS SOPS 93905 HAS SOUS 74614 HAS SOUPS 74614 WITH SCORE 74707.905
AT ITER 61 NEW BEST:: SOT 211708 SOS 93905 HAS SOPS 93905 HAS SOUS 74535 HAS SOUPS 74535 WITH SCORE 74628.905
AT ITER 62 NEW BEST:: SOT 211480 SOS 93304 HAS SOPS 93304 HAS SOUS 74314 HAS SOUPS 74314 WITH SCORE 74407.304
AT ITER 65 NEW BEST:: SOT 211499 SOS 93273 HAS SOPS 93273 HAS SOUS 74294 HAS SOUPS 74294 WITH SCORE 74387.273
AT ITER 72 NEW BEST:: SOT 211471 SOS 93217 HAS SOPS 93217 HAS SOUS 74264 HAS SOUPS 74264 WITH SCORE 74357.217
AT ITER 76 NEW BEST:: SOT 211471 SOS 93228 HAS SOPS 93228 HAS SOUS 74253 HAS SOUPS 74253 WITH SCORE 74346.228
AT ITER 81 NEW BEST:: SOT 211471 SOS 93165 HAS SOPS 93165 HAS SOUS 74253 HAS SOUPS 74253 WITH SCORE 74346.165
AT ITER 85 NEW BEST:: SOT 211117 SOS 92863 HAS SOPS 92863 HAS SOUS 73902 HAS SOUPS 73902 WITH SCORE 73994.863
AT ITER 90 NEW BEST:: SOT 211040 SOS 92735 HAS SOPS 92735 HAS SOUS 73824 HAS SOUPS 73824 WITH SCORE 73916.735
AT ITER 92 NEW BEST:: SOT 210972 SOS 92735 HAS SOPS 92735 HAS SOUS 73813 HAS SOUPS 73813 WITH SCORE 73905.735
AT ITER 98 NEW BEST:: SOT 210972 SOS 92693 HAS SOPS 92693 HAS SOUS 73771 HAS SOUPS 73771 WITH SCORE 73863.693
AT ITER 106 NEW BEST:: SOT 210972 SOS 92642 HAS SOPS 92642 HAS SOUS 73765 HAS SOUPS 73765 WITH SCORE 73857.642
AT ITER 108 NEW BEST:: SOT 210972 SOS 92633 HAS SOPS 92633 HAS SOUS 73756 HAS SOUPS 73756 WITH SCORE 73848.633
AT ITER 109 NEW BEST:: SOT 210920 SOS 92401 HAS SOPS 92401 HAS SOUS 73716 HAS SOUPS 73716 WITH SCORE 73808.401
AT ITER 113 NEW BEST:: SOT 210911 SOS 92432 HAS SOPS 92432 HAS SOUS 73707 HAS SOUPS 73707 WITH SCORE 73799.432
AT ITER 119 NEW BEST:: SOT 210900 SOS 92383 HAS SOPS 92383 HAS SOUS 73700 HAS SOUPS 73700 WITH SCORE 73792.383
AT ITER 123 NEW BEST:: SOT 210900 SOS 92073 HAS SOPS 92073 HAS SOUS 73593 HAS SOUPS 73593 WITH SCORE 73685.073
AT ITER 127 NEW BEST:: SOT 210900 SOS 92073 HAS SOPS 92073 HAS SOUS 73560 HAS SOUPS 73560 WITH SCORE 73652.073
AT ITER 128 NEW BEST:: SOT 210931 SOS 92135 HAS SOPS 92135 HAS SOUS 73332 HAS SOUPS 73332 WITH SCORE 73424.135
AT ITER 131 NEW BEST:: SOT 210869 SOS 91944 HAS SOPS 91944 HAS SOUS 73270 HAS SOUPS 73270 WITH SCORE 73361.944
AT ITER 140 NEW BEST:: SOT 210730 SOS 91527 HAS SOPS 91527 HAS SOUS 72866 HAS SOUPS 72866 WITH SCORE 72957.527
AT ITER 145 NEW BEST:: SOT 210745 SOS 91485 HAS SOPS 91485 HAS SOUS 72840 HAS SOUPS 72840 WITH SCORE 72931.485
AT ITER 149 NEW BEST:: SOT 209886 SOS 90944 HAS SOPS 90944 HAS SOUS 72114 HAS SOUPS 72114 WITH SCORE 72204.944
AT ITER 150 NEW BEST:: SOT 209886 SOS 90944 HAS SOPS 90944 HAS SOUS 72001 HAS SOUPS 72001 WITH SCORE 72091.944
AT ITER 151 NEW BEST:: SOT 209781 SOS 90958 HAS SOPS 90958 HAS SOUS 71925 HAS SOUPS 71925 WITH SCORE 72015.958
AT ITER 155 NEW BEST:: SOT 209781 SOS 90926 HAS SOPS 90926 HAS SOUS 71925 HAS SOUPS 71925 WITH SCORE 72015.926
AT ITER 156 NEW BEST:: SOT 209800 SOS 90528 HAS SOPS 90528 HAS SOUS 71758 HAS SOUPS 71758 WITH SCORE 71848.528
AT ITER 167 NEW BEST:: SOT 209797 SOS 90525 HAS SOPS 90525 HAS SOUS 71527 HAS SOUPS 71527 WITH SCORE 71617.525
AT ITER 176 NEW BEST:: SOT 209784 SOS 90191 HAS SOPS 90191 HAS SOUS 71351 HAS SOUPS 71351 WITH SCORE 71441.191
AT ITER 177 NEW BEST:: SOT 209673 SOS 90112 HAS SOPS 90112 HAS SOUS 71240 HAS SOUPS 71240 WITH SCORE 71330.112
AT ITER 178 NEW BEST:: SOT 209673 SOS 90112 HAS SOPS 90112 HAS SOUS 71236 HAS SOUPS 71236 WITH SCORE 71326.112
AT ITER 179 NEW BEST:: SOT 208515 SOS 96269 HAS SOPS 96269 HAS SOUS 70458 HAS SOUPS 70458 WITH SCORE 70554.269
AT ITER 186 NEW BEST:: SOT 206926 SOS 88793 HAS SOPS 88793 HAS SOUS 69098 HAS SOUPS 69098 WITH SCORE 69186.793
AT ITER 192 NEW BEST:: SOT 206913 SOS 88533 HAS SOPS 88533 HAS SOUS 68892 HAS SOUPS 68892 WITH SCORE 68980.533
AT ITER 198 NEW BEST:: SOT 206913 SOS 88269 HAS SOPS 88269 HAS SOUS 68643 HAS SOUPS 68643 WITH SCORE 68731.269
AT ITER 209 NEW BEST:: SOT 206868 SOS 88339 HAS SOPS 88339 HAS SOUS 68623 HAS SOUPS 68623 WITH SCORE 68711.339
AT ITER 211 NEW BEST:: SOT 206868 SOS 88319 HAS SOPS 88319 HAS SOUS 68623 HAS SOUPS 68623 WITH SCORE 68711.319
AT ITER 217 NEW BEST:: SOT 205824 SOS 87781 HAS SOPS 87781 HAS SOUS 67629 HAS SOUPS 67629 WITH SCORE 67716.781
AT ITER 218 NEW BEST:: SOT 205824 SOS 87397 HAS SOPS 87397 HAS SOUS 67572 HAS SOUPS 67572 WITH SCORE 67659.397
AT ITER 219 NEW BEST:: SOT 205836 SOS 87421 HAS SOPS 87421 HAS SOUS 67520 HAS SOUPS 67520 WITH SCORE 67607.421
AT ITER 220 NEW BEST:: SOT 205792 SOS 87377 HAS SOPS 87377 HAS SOUS 67476 HAS SOUPS 67476 WITH SCORE 67563.377
AT ITER 221 NEW BEST:: SOT 205654 SOS 87101 HAS SOPS 87101 HAS SOUS 67338 HAS SOUPS 67338 WITH SCORE 67425.101
AT ITER 226 NEW BEST:: SOT 199787 SOS 98520 HAS SOPS 98520 HAS SOUS 62125 HAS SOUPS 62125 WITH SCORE 62223.52
AT ITER 228 NEW BEST:: SOT 199751 SOS 98448 HAS SOPS 98448 HAS SOUS 62089 HAS SOUPS 62089 WITH SCORE 62187.448
AT ITER 231 NEW BEST:: SOT 199735 SOS 98432 HAS SOPS 98432 HAS SOUS 62078 HAS SOUPS 62078 WITH SCORE 62176.432
AT ITER 238 NEW BEST:: SOT 199520 SOS 98217 HAS SOPS 98217 HAS SOUS 62039 HAS SOUPS 62039 WITH SCORE 62137.217
AT ITER 241 NEW BEST:: SOT 199454 SOS 98131 HAS SOPS 98131 HAS SOUS 61907 HAS SOUPS 61907 WITH SCORE 62005.131
AT ITER 247 NEW BEST:: SOT 199619 SOS 97763 HAS SOPS 97763 HAS SOUS 61857 HAS SOUPS 61857 WITH SCORE 61954.763
AT ITER 250 NEW BEST:: SOT 199617 SOS 97759 HAS SOPS 97759 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61950.759
AT ITER 253 NEW BEST:: SOT 199639 SOS 97722 HAS SOPS 97722 HAS SOUS 61803 HAS SOUPS 61803 WITH SCORE 61900.722
AT ITER 262 NEW BEST:: SOT 199573 SOS 97456 HAS SOPS 97456 HAS SOUS 61670 HAS SOUPS 61670 WITH SCORE 61767.456
AT ITER 265 NEW BEST:: SOT 199573 SOS 96965 HAS SOPS 96965 HAS SOUS 61598 HAS SOUPS 61598 WITH SCORE 61694.965
AT ITER 273 NEW BEST:: SOT 199503 SOS 96895 HAS SOPS 96895 HAS SOUS 61577 HAS SOUPS 61577 WITH SCORE 61673.895
AT ITER 281 NEW BEST:: SOT 199536 SOS 96759 HAS SOPS 96759 HAS SOUS 61573 HAS SOUPS 61573 WITH SCORE 61669.759
AT ITER 282 NEW BEST:: SOT 199538 SOS 96713 HAS SOPS 96713 HAS SOUS 61504 HAS SOUPS 61504 WITH SCORE 61600.713
AT ITER 286 NEW BEST:: SOT 199538 SOS 96713 HAS SOPS 96713 HAS SOUS 61495 HAS SOUPS 61495 WITH SCORE 61591.713
AT ITER 288 NEW BEST:: SOT 199713 SOS 96451 HAS SOPS 96451 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61447.451
AT ITER 289 NEW BEST:: SOT 199607 SOS 96400 HAS SOPS 96400 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61273.4
AT ITER 297 NEW BEST:: SOT 199597 SOS 96380 HAS SOPS 96380 HAS SOUS 61167 HAS SOUPS 61167 WITH SCORE 61263.38
AT ITER 299 NEW BEST:: SOT 199551 SOS 96334 HAS SOPS 96334 HAS SOUS 61047 HAS SOUPS 61047 WITH SCORE 61143.334
AT ITER 303 NEW BEST:: SOT 199181 SOS 95722 HAS SOPS 95722 HAS SOUS 60737 HAS SOUPS 60737 WITH SCORE 60832.722
AT ITER 308 NEW BEST:: SOT 199055 SOS 95900 HAS SOPS 95900 HAS SOUS 60697 HAS SOUPS 60697 WITH SCORE 60792.9
AT ITER 321 NEW BEST:: SOT 199105 SOS 95877 HAS SOPS 95877 HAS SOUS 60678 HAS SOUPS 60678 WITH SCORE 60773.877
AT ITER 323 NEW BEST:: SOT 199105 SOS 95701 HAS SOPS 95701 HAS SOUS 60678 HAS SOUPS 60678 WITH SCORE 60773.701
AT ITER 325 NEW BEST:: SOT 199106 SOS 95702 HAS SOPS 95702 HAS SOUS 60611 HAS SOUPS 60611 WITH SCORE 60706.702
AT ITER 328 NEW BEST:: SOT 199046 SOS 95642 HAS SOPS 95642 HAS SOUS 60551 HAS SOUPS 60551 WITH SCORE 60646.642
AT ITER 333 NEW BEST:: SOT 199066 SOS 95662 HAS SOPS 95662 HAS SOUS 60489 HAS SOUPS 60489 WITH SCORE 60584.662
AT ITER 349 NEW BEST:: SOT 199029 SOS 95625 HAS SOPS 95625 HAS SOUS 60451 HAS SOUPS 60451 WITH SCORE 60546.625
AT ITER 351 NEW BEST:: SOT 199029 SOS 95568 HAS SOPS 95568 HAS SOUS 60451 HAS SOUPS 60451 WITH SCORE 60546.568
AT ITER 379 NEW BEST:: SOT 198975 SOS 95514 HAS SOPS 95514 HAS SOUS 60397 HAS SOUPS 60397 WITH SCORE 60492.514
AT ITER 383 NEW BEST:: SOT 198832 SOS 95269 HAS SOPS 95269 HAS SOUS 60203 HAS SOUPS 60203 WITH SCORE 60298.269
AT ITER 390 NEW BEST:: SOT 198832 SOS 95135 HAS SOPS 95135 HAS SOUS 60188 HAS SOUPS 60188 WITH SCORE 60283.135
AT ITER 399 NEW BEST:: SOT 198800 SOS 95071 HAS SOPS 95071 HAS SOUS 60156 HAS SOUPS 60156 WITH SCORE 60251.071
AT ITER 405 NEW BEST:: SOT 198800 SOS 95071 HAS SOPS 95071 HAS SOUS 60146 HAS SOUPS 60146 WITH SCORE 60241.071
AT ITER 406 NEW BEST:: SOT 198729 SOS 94836 HAS SOPS 94836 HAS SOUS 60123 HAS SOUPS 60123 WITH SCORE 60217.836
AT ITER 410 NEW BEST:: SOT 198724 SOS 94623 HAS SOPS 94623 HAS SOUS 59795 HAS SOUPS 59795 WITH SCORE 59889.623
AT ITER 417 NEW BEST:: SOT 198729 SOS 94628 HAS SOPS 94628 HAS SOUS 59794 HAS SOUPS 59794 WITH SCORE 59888.628
AT ITER 418 NEW BEST:: SOT 198729 SOS 94620 HAS SOPS 94620 HAS SOUS 59786 HAS SOUPS 59786 WITH SCORE 59880.62
AT ITER 419 NEW BEST:: SOT 198724 SOS 94365 HAS SOPS 94365 HAS SOUS 59747 HAS SOUPS 59747 WITH SCORE 59841.365
AT ITER 421 NEW BEST:: SOT 198696 SOS 94352 HAS SOPS 94352 HAS SOUS 59727 HAS SOUPS 59727 WITH SCORE 59821.352
AT ITER 425 NEW BEST:: SOT 198674 SOS 94330 HAS SOPS 94330 HAS SOUS 59683 HAS SOUPS 59683 WITH SCORE 59777.33
AT ITER 427 NEW BEST:: SOT 198671 SOS 94304 HAS SOPS 94304 HAS SOUS 59657 HAS SOUPS 59657 WITH SCORE 59751.304
AT ITER 445 NEW BEST:: SOT 198671 SOS 94292 HAS SOPS 94292 HAS SOUS 59645 HAS SOUPS 59645 WITH SCORE 59739.292
AT ITER 446 NEW BEST:: SOT 198606 SOS 94030 HAS SOPS 94030 HAS SOUS 59580 HAS SOUPS 59580 WITH SCORE 59674.03
AT ITER 449 NEW BEST:: SOT 198607 SOS 93874 HAS SOPS 93874 HAS SOUS 59506 HAS SOUPS 59506 WITH SCORE 59599.874
AT ITER 450 NEW BEST:: SOT 198562 SOS 93962 HAS SOPS 93962 HAS SOUS 59438 HAS SOUPS 59438 WITH SCORE 59531.962
AT ITER 466 NEW BEST:: SOT 198557 SOS 93957 HAS SOPS 93957 HAS SOUS 59433 HAS SOUPS 59433 WITH SCORE 59526.957
AT ITER 471 NEW BEST:: SOT 198607 SOS 93697 HAS SOPS 93697 HAS SOUS 59420 HAS SOUPS 59420 WITH SCORE 59513.697
AT ITER 483 NEW BEST:: SOT 198485 SOS 93693 HAS SOPS 93693 HAS SOUS 59340 HAS SOUPS 59340 WITH SCORE 59433.693
AT ITER 487 NEW BEST:: SOT 198485 SOS 93693 HAS SOPS 93693 HAS SOUS 59294 HAS SOUPS 59294 WITH SCORE 59387.693
AT ITER 494 NEW BEST:: SOT 198461 SOS 93645 HAS SOPS 93645 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59363.645
AT ITER 497 NEW BEST:: SOT 198374 SOS 93384 HAS SOPS 93384 HAS SOUS 59096 HAS SOUPS 59096 WITH SCORE 59189.384
AT ITER 500 NEW BEST:: SOT 198354 SOS 93310 HAS SOPS 93310 HAS SOUS 59022 HAS SOUPS 59022 WITH SCORE 59115.31
AT ITER 505 NEW BEST:: SOT 198354 SOS 93288 HAS SOPS 93288 HAS SOUS 59022 HAS SOUPS 59022 WITH SCORE 59115.288
AT ITER 511 NEW BEST:: SOT 198236 SOS 93167 HAS SOPS 93167 HAS SOUS 58907 HAS SOUPS 58907 WITH SCORE 59000.167
AT ITER 519 NEW BEST:: SOT 198236 SOS 93233 HAS SOPS 93233 HAS SOUS 58840 HAS SOUPS 58840 WITH SCORE 58933.233
AT ITER 525 NEW BEST:: SOT 198263 SOS 93260 HAS SOPS 93260 HAS SOUS 58801 HAS SOUPS 58801 WITH SCORE 58894.26
AT ITER 526 NEW BEST:: SOT 198229 SOS 93141 HAS SOPS 93141 HAS SOUS 58636 HAS SOUPS 58636 WITH SCORE 58729.141
AT ITER 558 NEW BEST:: SOT 198167 SOS 93017 HAS SOPS 93017 HAS SOUS 58579 HAS SOUPS 58579 WITH SCORE 58672.017
AT ITER 559 NEW BEST:: SOT 198129 SOS 92903 HAS SOPS 92903 HAS SOUS 58465 HAS SOUPS 58465 WITH SCORE 58557.903
AT ITER 561 NEW BEST:: SOT 198129 SOS 92903 HAS SOPS 92903 HAS SOUS 58455 HAS SOUPS 58455 WITH SCORE 58547.903
AT ITER 567 NEW BEST:: SOT 198140 SOS 92891 HAS SOPS 92891 HAS SOUS 58432 HAS SOUPS 58432 WITH SCORE 58524.891
AT ITER 568 NEW BEST:: SOT 198133 SOS 92884 HAS SOPS 92884 HAS SOUS 58380 HAS SOUPS 58380 WITH SCORE 58472.884
AT ITER 588 NEW BEST:: SOT 198098 SOS 92779 HAS SOPS 92779 HAS SOUS 58345 HAS SOUPS 58345 WITH SCORE 58437.779
AT ITER 596 NEW BEST:: SOT 198058 SOS 92750 HAS SOPS 92750 HAS SOUS 58308 HAS SOUPS 58308 WITH SCORE 58400.75
AT ITER 607 NEW BEST:: SOT 197845 SOS 92324 HAS SOPS 92324 HAS SOUS 57951 HAS SOUPS 57951 WITH SCORE 58043.324
AT ITER 611 NEW BEST:: SOT 197992 SOS 92385 HAS SOPS 92385 HAS SOUS 57924 HAS SOUPS 57924 WITH SCORE 58016.385
AT ITER 615 NEW BEST:: SOT 197733 SOS 92126 HAS SOPS 92126 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 57972.126
AT ITER 616 NEW BEST:: SOT 197603 SOS 91996 HAS SOPS 91996 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 57971.996
AT ITER 628 NEW BEST:: SOT 197342 SOS 91735 HAS SOPS 91735 HAS SOUS 57677 HAS SOUPS 57677 WITH SCORE 57768.735
AT ITER 629 NEW BEST:: SOT 197339 SOS 91892 HAS SOPS 91892 HAS SOUS 57660 HAS SOUPS 57660 WITH SCORE 57751.892
AT ITER 630 NEW BEST:: SOT 197331 SOS 91868 HAS SOPS 91868 HAS SOUS 57644 HAS SOUPS 57644 WITH SCORE 57735.868
AT ITER 631 NEW BEST:: SOT 197317 SOS 91840 HAS SOPS 91840 HAS SOUS 57630 HAS SOUPS 57630 WITH SCORE 57721.84
AT ITER 642 NEW BEST:: SOT 197317 SOS 91800 HAS SOPS 91800 HAS SOUS 57590 HAS SOUPS 57590 WITH SCORE 57681.8
AT ITER 647 NEW BEST:: SOT 197220 SOS 91008 HAS SOPS 91008 HAS SOUS 57239 HAS SOUPS 57239 WITH SCORE 57330.008
AT ITER 653 NEW BEST:: SOT 197195 SOS 90958 HAS SOPS 90958 HAS SOUS 57214 HAS SOUPS 57214 WITH SCORE 57304.958
AT ITER 655 NEW BEST:: SOT 197169 SOS 90932 HAS SOPS 90932 HAS SOUS 57209 HAS SOUPS 57209 WITH SCORE 57299.932
AT ITER 660 NEW BEST:: SOT 197169 SOS 90893 HAS SOPS 90893 HAS SOUS 57170 HAS SOUPS 57170 WITH SCORE 57260.893
AT ITER 665 NEW BEST:: SOT 196936 SOS 90427 HAS SOPS 90427 HAS SOUS 56966 HAS SOUPS 56966 WITH SCORE 57056.427
AT ITER 670 NEW BEST:: SOT 196928 SOS 90411 HAS SOPS 90411 HAS SOUS 56950 HAS SOUPS 56950 WITH SCORE 57040.411
AT ITER 674 NEW BEST:: SOT 196928 SOS 90395 HAS SOPS 90395 HAS SOUS 56918 HAS SOUPS 56918 WITH SCORE 57008.395
AT ITER 686 NEW BEST:: SOT 196910 SOS 90359 HAS SOPS 90359 HAS SOUS 56882 HAS SOUPS 56882 WITH SCORE 56972.359
AT ITER 687 NEW BEST:: SOT 196879 SOS 90297 HAS SOPS 90297 HAS SOUS 56820 HAS SOUPS 56820 WITH SCORE 56910.297
AT ITER 689 NEW BEST:: SOT 196829 SOS 90197 HAS SOPS 90197 HAS SOUS 56745 HAS SOUPS 56745 WITH SCORE 56835.197
AT ITER 692 NEW BEST:: SOT 196775 SOS 90169 HAS SOPS 90169 HAS SOUS 56645 HAS SOUPS 56645 WITH SCORE 56735.169
AT ITER 697 NEW BEST:: SOT 196565 SOS 89970 HAS SOPS 89970 HAS SOUS 56446 HAS SOUPS 56446 WITH SCORE 56535.97
AT ITER 700 NEW BEST:: SOT 196565 SOS 89970 HAS SOPS 89970 HAS SOUS 56352 HAS SOUPS 56352 WITH SCORE 56441.97
AT ITER 705 NEW BEST:: SOT 196614 SOS 90068 HAS SOPS 90068 HAS SOUS 56336 HAS SOUPS 56336 WITH SCORE 56426.068
AT ITER 707 NEW BEST:: SOT 196614 SOS 89732 HAS SOPS 89732 HAS SOUS 56336 HAS SOUPS 56336 WITH SCORE 56425.732
AT ITER 714 NEW BEST:: SOT 196614 SOS 89746 HAS SOPS 89746 HAS SOUS 56192 HAS SOUPS 56192 WITH SCORE 56281.746
AT ITER 716 NEW BEST:: SOT 196586 SOS 89690 HAS SOPS 89690 HAS SOUS 56136 HAS SOUPS 56136 WITH SCORE 56225.69
AT ITER 721 NEW BEST:: SOT 196552 SOS 89656 HAS SOPS 89656 HAS SOUS 56099 HAS SOUPS 56099 WITH SCORE 56188.656
AT ITER 731 NEW BEST:: SOT 196552 SOS 89656 HAS SOPS 89656 HAS SOUS 56098 HAS SOUPS 56098 WITH SCORE 56187.656
AT ITER 733 NEW BEST:: SOT 196517 SOS 89551 HAS SOPS 89551 HAS SOUS 56028 HAS SOUPS 56028 WITH SCORE 56117.551
AT ITER 742 NEW BEST:: SOT 196433 SOS 89383 HAS SOPS 89383 HAS SOUS 55987 HAS SOUPS 55987 WITH SCORE 56076.383
AT ITER 769 NEW BEST:: SOT 196415 SOS 89347 HAS SOPS 89347 HAS SOUS 55951 HAS SOUPS 55951 WITH SCORE 56040.347
AT ITER 774 NEW BEST:: SOT 196396 SOS 89309 HAS SOPS 89309 HAS SOUS 55915 HAS SOUPS 55915 WITH SCORE 56004.309
AT ITER 776 NEW BEST:: SOT 196321 SOS 88906 HAS SOPS 88906 HAS SOUS 55722 HAS SOUPS 55722 WITH SCORE 55810.906
AT ITER 777 NEW BEST:: SOT 196321 SOS 88870 HAS SOPS 88870 HAS SOUS 55686 HAS SOUPS 55686 WITH SCORE 55774.87
AT ITER 781 NEW BEST:: SOT 196079 SOS 88057 HAS SOPS 88057 HAS SOUS 55406 HAS SOUPS 55406 WITH SCORE 55494.057
AT ITER 785 NEW BEST:: SOT 196079 SOS 88057 HAS SOPS 88057 HAS SOUS 55395 HAS SOUPS 55395 WITH SCORE 55483.057
AT ITER 789 NEW BEST:: SOT 196116 SOS 88094 HAS SOPS 88094 HAS SOUS 55371 HAS SOUPS 55371 WITH SCORE 55459.094
AT ITER 799 NEW BEST:: SOT 195969 SOS 87800 HAS SOPS 87800 HAS SOUS 55075 HAS SOUPS 55075 WITH SCORE 55162.8
AT ITER 800 NEW BEST:: SOT 195963 SOS 87794 HAS SOPS 87794 HAS SOUS 55069 HAS SOUPS 55069 WITH SCORE 55156.794
AT ITER 820 NEW BEST:: SOT 195963 SOS 87794 HAS SOPS 87794 HAS SOUS 55044 HAS SOUPS 55044 WITH SCORE 55131.794
AT ITER 821 NEW BEST:: SOT 195898 SOS 90499 HAS SOPS 90499 HAS SOUS 54979 HAS SOUPS 54979 WITH SCORE 55069.499
AT ITER 833 NEW BEST:: SOT 195869 SOS 90402 HAS SOPS 90402 HAS SOUS 54911 HAS SOUPS 54911 WITH SCORE 55001.402
AT ITER 837 NEW BEST:: SOT 195874 SOS 90370 HAS SOPS 90370 HAS SOUS 54879 HAS SOUPS 54879 WITH SCORE 54969.37
AT ITER 839 NEW BEST:: SOT 195874 SOS 90319 HAS SOPS 90319 HAS SOUS 54828 HAS SOUPS 54828 WITH SCORE 54918.319
AT ITER 840 NEW BEST:: SOT 195882 SOS 90397 HAS SOPS 90397 HAS SOUS 54827 HAS SOUPS 54827 WITH SCORE 54917.397
AT ITER 855 NEW BEST:: SOT 195694 SOS 90217 HAS SOPS 90217 HAS SOUS 54709 HAS SOUPS 54709 WITH SCORE 54799.217
AT ITER 864 NEW BEST:: SOT 195660 SOS 90080 HAS SOPS 90080 HAS SOUS 54572 HAS SOUPS 54572 WITH SCORE 54662.08
AT ITER 865 NEW BEST:: SOT 195658 SOS 90050 HAS SOPS 90050 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54660.05
AT ITER 876 NEW BEST:: SOT 195348 SOS 90159 HAS SOPS 90159 HAS SOUS 54476 HAS SOUPS 54476 WITH SCORE 54566.159
AT ITER 877 NEW BEST:: SOT 195346 SOS 90157 HAS SOPS 90157 HAS SOUS 54474 HAS SOUPS 54474 WITH SCORE 54564.157
AT ITER 882 NEW BEST:: SOT 195250 SOS 90259 HAS SOPS 90259 HAS SOUS 54410 HAS SOUPS 54410 WITH SCORE 54500.259
AT ITER 892 NEW BEST:: SOT 195249 SOS 90055 HAS SOPS 90055 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54370.055
AT ITER 905 NEW BEST:: SOT 195255 SOS 89757 HAS SOPS 89757 HAS SOUS 54120 HAS SOUPS 54120 WITH SCORE 54209.757
AT ITER 908 NEW BEST:: SOT 195227 SOS 89691 HAS SOPS 89691 HAS SOUS 54095 HAS SOUPS 54095 WITH SCORE 54184.691
AT ITER 909 NEW BEST:: SOT 195197 SOS 89601 HAS SOPS 89601 HAS SOUS 54035 HAS SOUPS 54035 WITH SCORE 54124.601
AT ITER 921 NEW BEST:: SOT 195186 SOS 89613 HAS SOPS 89613 HAS SOUS 54028 HAS SOUPS 54028 WITH SCORE 54117.613
AT ITER 936 NEW BEST:: SOT 195151 SOS 89538 HAS SOPS 89538 HAS SOUS 53965 HAS SOUPS 53965 WITH SCORE 54054.538
AT ITER 943 NEW BEST:: SOT 195129 SOS 89494 HAS SOPS 89494 HAS SOUS 53943 HAS SOUPS 53943 WITH SCORE 54032.494
AT ITER 944 NEW BEST:: SOT 195121 SOS 89986 HAS SOPS 89986 HAS SOUS 53927 HAS SOUPS 53927 WITH SCORE 54016.986
AT ITER 945 NEW BEST:: SOT 195071 SOS 89735 HAS SOPS 89735 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53815.735
AT ITER 950 NEW BEST:: SOT 195081 SOS 89125 HAS SOPS 89125 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53815.125
AT ITER 974 NEW BEST:: SOT 195081 SOS 89125 HAS SOPS 89125 HAS SOUS 53712 HAS SOUPS 53712 WITH SCORE 53801.125
AT ITER 979 NEW BEST:: SOT 194946 SOS 88224 HAS SOPS 88224 HAS SOUS 53442 HAS SOUPS 53442 WITH SCORE 53530.224
AT ITER 988 NEW BEST:: SOT 194941 SOS 88219 HAS SOPS 88219 HAS SOUS 53437 HAS SOUPS 53437 WITH SCORE 53525.219
AT ITER 997 NEW BEST:: SOT 194926 SOS 88095 HAS SOPS 88095 HAS SOUS 53358 HAS SOUPS 53358 WITH SCORE 53446.095
AT ITER 1016 NEW BEST:: SOT 194906 SOS 88075 HAS SOPS 88075 HAS SOUS 53349 HAS SOUPS 53349 WITH SCORE 53437.075
AT ITER 1025 NEW BEST:: SOT 194865 SOS 88110 HAS SOPS 88110 HAS SOUS 53268 HAS SOUPS 53268 WITH SCORE 53356.11
AT ITER 1026 NEW BEST:: SOT 194865 SOS 88106 HAS SOPS 88106 HAS SOUS 53188 HAS SOUPS 53188 WITH SCORE 53276.106
AT ITER 1033 NEW BEST:: SOT 195112 SOS 87780 HAS SOPS 87780 HAS SOUS 53179 HAS SOUPS 53179 WITH SCORE 53266.78
AT ITER 1056 NEW BEST:: SOT 195101 SOS 87769 HAS SOPS 87769 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53255.769
AT ITER 1058 NEW BEST:: SOT 195101 SOS 87711 HAS SOPS 87711 HAS SOUS 53130 HAS SOUPS 53130 WITH SCORE 53217.711
AT ITER 1073 NEW BEST:: SOT 195225 SOS 87695 HAS SOPS 87695 HAS SOUS 53001 HAS SOUPS 53001 WITH SCORE 53088.695
AT ITER 1079 NEW BEST:: SOT 195145 SOS 87743 HAS SOPS 87743 HAS SOUS 52964 HAS SOUPS 52964 WITH SCORE 53051.743
AT ITER 1088 NEW BEST:: SOT 194830 SOS 87509 HAS SOPS 87509 HAS SOUS 52721 HAS SOUPS 52721 WITH SCORE 52808.509
AT ITER 1096 NEW BEST:: SOT 194830 SOS 87509 HAS SOPS 87509 HAS SOUS 52712 HAS SOUPS 52712 WITH SCORE 52799.509
AT ITER 1110 NEW BEST:: SOT 194359 SOS 87450 HAS SOPS 87450 HAS SOUS 52459 HAS SOUPS 52459 WITH SCORE 52546.45
AT ITER 1111 NEW BEST:: SOT 194359 SOS 87450 HAS SOPS 87450 HAS SOUS 52452 HAS SOUPS 52452 WITH SCORE 52539.45
AT ITER 1115 NEW BEST:: SOT 194365 SOS 87402 HAS SOPS 87402 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52527.402
AT ITER 1118 NEW BEST:: SOT 194329 SOS 87356 HAS SOPS 87356 HAS SOUS 52404 HAS SOUPS 52404 WITH SCORE 52491.356
AT ITER 1127 NEW BEST:: SOT 194203 SOS 86978 HAS SOPS 86978 HAS SOUS 52152 HAS SOUPS 52152 WITH SCORE 52238.978
AT ITER 1130 NEW BEST:: SOT 194097 SOS 86921 HAS SOPS 86921 HAS SOUS 52045 HAS SOUPS 52045 WITH SCORE 52131.921
AT ITER 1139 NEW BEST:: SOT 194081 SOS 86448 HAS SOPS 86448 HAS SOUS 52029 HAS SOUPS 52029 WITH SCORE 52115.448
AT ITER 1140 NEW BEST:: SOT 194078 SOS 86442 HAS SOPS 86442 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52112.442
AT ITER 1149 NEW BEST:: SOT 194077 SOS 86439 HAS SOPS 86439 HAS SOUS 52024 HAS SOUPS 52024 WITH SCORE 52110.439
AT ITER 1155 NEW BEST:: SOT 194044 SOS 86406 HAS SOPS 86406 HAS SOUS 51991 HAS SOUPS 51991 WITH SCORE 52077.406
AT ITER 1156 NEW BEST:: SOT 193958 SOS 86320 HAS SOPS 86320 HAS SOUS 51905 HAS SOUPS 51905 WITH SCORE 51991.32
AT ITER 1162 NEW BEST:: SOT 193958 SOS 86320 HAS SOPS 86320 HAS SOUS 51900 HAS SOUPS 51900 WITH SCORE 51986.32
AT ITER 1172 NEW BEST:: SOT 193958 SOS 86313 HAS SOPS 86313 HAS SOUS 51900 HAS SOUPS 51900 WITH SCORE 51986.313
AT ITER 1191 NEW BEST:: SOT 193991 SOS 86379 HAS SOPS 86379 HAS SOUS 51878 HAS SOUPS 51878 WITH SCORE 51964.379
AT ITER 1194 NEW BEST:: SOT 193727 SOS 85850 HAS SOPS 85850 HAS SOUS 51466 HAS SOUPS 51466 WITH SCORE 51551.85
AT ITER 1195 NEW BEST:: SOT 193788 SOS 85721 HAS SOPS 85721 HAS SOUS 51393 HAS SOUPS 51393 WITH SCORE 51478.721
AT ITER 1199 NEW BEST:: SOT 193781 SOS 85700 HAS SOPS 85700 HAS SOUS 51375 HAS SOUPS 51375 WITH SCORE 51460.7
AT ITER 1205 NEW BEST:: SOT 193780 SOS 85644 HAS SOPS 85644 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51459.644
AT ITER 1207 NEW BEST:: SOT 193780 SOS 85644 HAS SOPS 85644 HAS SOUS 51372 HAS SOUPS 51372 WITH SCORE 51457.644
AT ITER 1213 NEW BEST:: SOT 193798 SOS 85662 HAS SOPS 85662 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51456.662
AT ITER 1217 NEW BEST:: SOT 193798 SOS 85450 HAS SOPS 85450 HAS SOUS 51371 HAS SOUPS 51371 WITH SCORE 51456.45
AT ITER 1220 NEW BEST:: SOT 193795 SOS 85420 HAS SOPS 85420 HAS SOUS 51356 HAS SOUPS 51356 WITH SCORE 51441.42
AT ITER 1235 NEW BEST:: SOT 193808 SOS 85446 HAS SOPS 85446 HAS SOUS 51337 HAS SOUPS 51337 WITH SCORE 51422.446
AT ITER 1236 NEW BEST:: SOT 193882 SOS 84739 HAS SOPS 84739 HAS SOUS 51200 HAS SOUPS 51200 WITH SCORE 51284.739
AT ITER 1239 NEW BEST:: SOT 193828 SOS 84635 HAS SOPS 84635 HAS SOUS 51086 HAS SOUPS 51086 WITH SCORE 51170.635
AT ITER 1249 NEW BEST:: SOT 193802 SOS 84583 HAS SOPS 84583 HAS SOUS 51075 HAS SOUPS 51075 WITH SCORE 51159.583
AT ITER 1251 NEW BEST:: SOT 193786 SOS 84567 HAS SOPS 84567 HAS SOUS 51075 HAS SOUPS 51075 WITH SCORE 51159.567
AT ITER 1264 NEW BEST:: SOT 193768 SOS 84549 HAS SOPS 84549 HAS SOUS 51039 HAS SOUPS 51039 WITH SCORE 51123.549
AT ITER 1275 NEW BEST:: SOT 193690 SOS 84393 HAS SOPS 84393 HAS SOUS 50952 HAS SOUPS 50952 WITH SCORE 51036.393
AT ITER 1287 NEW BEST:: SOT 193614 SOS 84317 HAS SOPS 84317 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50960.317
AT ITER 1293 NEW BEST:: SOT 193614 SOS 84205 HAS SOPS 84205 HAS SOUS 50789 HAS SOUPS 50789 WITH SCORE 50873.205
AT ITER 1297 NEW BEST:: SOT 193605 SOS 84163 HAS SOPS 84163 HAS SOUS 50782 HAS SOUPS 50782 WITH SCORE 50866.163
AT ITER 1305 NEW BEST:: SOT 193505 SOS 83963 HAS SOPS 83963 HAS SOUS 50639 HAS SOUPS 50639 WITH SCORE 50722.963
AT ITER 1306 NEW BEST:: SOT 193504 SOS 83962 HAS SOPS 83962 HAS SOUS 50639 HAS SOUPS 50639 WITH SCORE 50722.962
AT ITER 1312 NEW BEST:: SOT 193311 SOS 83691 HAS SOPS 83691 HAS SOUS 50503 HAS SOUPS 50503 WITH SCORE 50586.691
AT ITER 1320 NEW BEST:: SOT 193210 SOS 83687 HAS SOPS 83687 HAS SOUS 50468 HAS SOUPS 50468 WITH SCORE 50551.687
AT ITER 1321 NEW BEST:: SOT 193133 SOS 83533 HAS SOPS 83533 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50438.533
AT ITER 1322 NEW BEST:: SOT 192970 SOS 83356 HAS SOPS 83356 HAS SOUS 50345 HAS SOUPS 50345 WITH SCORE 50428.356
AT ITER 1328 NEW BEST:: SOT 192944 SOS 83331 HAS SOPS 83331 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50402.331
AT ITER 1330 NEW BEST:: SOT 192893 SOS 83280 HAS SOPS 83280 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50402.28
AT ITER 1350 NEW BEST:: SOT 192893 SOS 83279 HAS SOPS 83279 HAS SOUS 50318 HAS SOUPS 50318 WITH SCORE 50401.279
AT ITER 1368 NEW BEST:: SOT 192780 SOS 83177 HAS SOPS 83177 HAS SOUS 50286 HAS SOUPS 50286 WITH SCORE 50369.177
AT ITER 1375 NEW BEST:: SOT 192629 SOS 82999 HAS SOPS 82999 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50191.999
AT ITER 1378 NEW BEST:: SOT 192599 SOS 82939 HAS SOPS 82939 HAS SOUS 50080 HAS SOUPS 50080 WITH SCORE 50162.939
AT ITER 1379 NEW BEST:: SOT 192595 SOS 82935 HAS SOPS 82935 HAS SOUS 50076 HAS SOUPS 50076 WITH SCORE 50158.935
AT ITER 1382 NEW BEST:: SOT 192514 SOS 82773 HAS SOPS 82773 HAS SOUS 50063 HAS SOUPS 50063 WITH SCORE 50145.773
AT ITER 1384 NEW BEST:: SOT 192502 SOS 82643 HAS SOPS 82643 HAS SOUS 49955 HAS SOUPS 49955 WITH SCORE 50037.643
AT ITER 1395 NEW BEST:: SOT 192490 SOS 82637 HAS SOPS 82637 HAS SOUS 49943 HAS SOUPS 49943 WITH SCORE 50025.637
AT ITER 1396 NEW BEST:: SOT 192490 SOS 82625 HAS SOPS 82625 HAS SOUS 49940 HAS SOUPS 49940 WITH SCORE 50022.625
AT ITER 1397 NEW BEST:: SOT 192410 SOS 82465 HAS SOPS 82465 HAS SOUS 49860 HAS SOUPS 49860 WITH SCORE 49942.465
AT ITER 1399 NEW BEST:: SOT 192502 SOS 82175 HAS SOPS 82175 HAS SOUS 49740 HAS SOUPS 49740 WITH SCORE 49822.175
AT ITER 1405 NEW BEST:: SOT 192458 SOS 82131 HAS SOPS 82131 HAS SOUS 49696 HAS SOUPS 49696 WITH SCORE 49778.131
AT ITER 1410 NEW BEST:: SOT 192455 SOS 82125 HAS SOPS 82125 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49772.125
AT ITER 1426 NEW BEST:: SOT 192446 SOS 82107 HAS SOPS 82107 HAS SOUS 49672 HAS SOUPS 49672 WITH SCORE 49754.107
AT ITER 1431 NEW BEST:: SOT 192355 SOS 81749 HAS SOPS 81749 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49486.749
AT ITER 1445 NEW BEST:: SOT 192335 SOS 81753 HAS SOPS 81753 HAS SOUS 49398 HAS SOUPS 49398 WITH SCORE 49479.753
AT ITER 1452 NEW BEST:: SOT 192335 SOS 81747 HAS SOPS 81747 HAS SOUS 49398 HAS SOUPS 49398 WITH SCORE 49479.747
AT ITER 1456 NEW BEST:: SOT 192300 SOS 81677 HAS SOPS 81677 HAS SOUS 49358 HAS SOUPS 49358 WITH SCORE 49439.677
AT ITER 1459 NEW BEST:: SOT 192262 SOS 81639 HAS SOPS 81639 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49401.639
AT ITER 1466 NEW BEST:: SOT 192204 SOS 81605 HAS SOPS 81605 HAS SOUS 49286 HAS SOUPS 49286 WITH SCORE 49367.605
AT ITER 1487 NEW BEST:: SOT 192183 SOS 81563 HAS SOPS 81563 HAS SOUS 49265 HAS SOUPS 49265 WITH SCORE 49346.563
AT ITER 1493 NEW BEST:: SOT 192183 SOS 81563 HAS SOPS 81563 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49335.563
AT ITER 1497 NEW BEST:: SOT 192172 SOS 81563 HAS SOPS 81563 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49324.563
AT ITER 1508 NEW BEST:: SOT 192158 SOS 81549 HAS SOPS 81549 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49310.549
AT ITER 1510 NEW BEST:: SOT 192132 SOS 81510 HAS SOPS 81510 HAS SOUS 49203 HAS SOUPS 49203 WITH SCORE 49284.51
AT ITER 1520 NEW BEST:: SOT 192132 SOS 81463 HAS SOPS 81463 HAS SOUS 49156 HAS SOUPS 49156 WITH SCORE 49237.463
AT ITER 1525 NEW BEST:: SOT 192121 SOS 81441 HAS SOPS 81441 HAS SOUS 49145 HAS SOUPS 49145 WITH SCORE 49226.441
AT ITER 1528 NEW BEST:: SOT 192108 SOS 81428 HAS SOPS 81428 HAS SOUS 49119 HAS SOUPS 49119 WITH SCORE 49200.428
AT ITER 1532 NEW BEST:: SOT 192103 SOS 81418 HAS SOPS 81418 HAS SOUS 49109 HAS SOUPS 49109 WITH SCORE 49190.418
AT ITER 1535 NEW BEST:: SOT 192026 SOS 81341 HAS SOPS 81341 HAS SOUS 49032 HAS SOUPS 49032 WITH SCORE 49113.341
AT ITER 1537 NEW BEST:: SOT 192022 SOS 81329 HAS SOPS 81329 HAS SOUS 49028 HAS SOUPS 49028 WITH SCORE 49109.329
AT ITER 1540 NEW BEST:: SOT 191952 SOS 81289 HAS SOPS 81289 HAS SOUS 48978 HAS SOUPS 48978 WITH SCORE 49059.289
AT ITER 1547 NEW BEST:: SOT 191904 SOS 81224 HAS SOPS 81224 HAS SOUS 48913 HAS SOUPS 48913 WITH SCORE 48994.224
AT ITER 1548 NEW BEST:: SOT 191904 SOS 81224 HAS SOPS 81224 HAS SOUS 48911 HAS SOUPS 48911 WITH SCORE 48992.224
AT ITER 1553 NEW BEST:: SOT 191988 SOS 81290 HAS SOPS 81290 HAS SOUS 48893 HAS SOUPS 48893 WITH SCORE 48974.29
AT ITER 1557 NEW BEST:: SOT 191988 SOS 81078 HAS SOPS 81078 HAS SOUS 48822 HAS SOUPS 48822 WITH SCORE 48903.078
AT ITER 1566 NEW BEST:: SOT 191990 SOS 80668 HAS SOPS 80668 HAS SOUS 48783 HAS SOUPS 48783 WITH SCORE 48863.668
AT ITER 1572 NEW BEST:: SOT 191986 SOS 80664 HAS SOPS 80664 HAS SOUS 48780 HAS SOUPS 48780 WITH SCORE 48860.664
AT ITER 1575 NEW BEST:: SOT 191982 SOS 80685 HAS SOPS 80685 HAS SOUS 48776 HAS SOUPS 48776 WITH SCORE 48856.685
AT ITER 1621 NEW BEST:: SOT 191945 SOS 80648 HAS SOPS 80648 HAS SOUS 48741 HAS SOUPS 48741 WITH SCORE 48821.648
AT ITER 1632 NEW BEST:: SOT 191991 SOS 80694 HAS SOPS 80694 HAS SOUS 48740 HAS SOUPS 48740 WITH SCORE 48820.694
AT ITER 1633 NEW BEST:: SOT 191949 SOS 80590 HAS SOPS 80590 HAS SOUS 48678 HAS SOUPS 48678 WITH SCORE 48758.59
AT ITER 1644 NEW BEST:: SOT 191864 SOS 80183 HAS SOPS 80183 HAS SOUS 48593 HAS SOUPS 48593 WITH SCORE 48673.183
AT ITER 1646 NEW BEST:: SOT 191820 SOS 80139 HAS SOPS 80139 HAS SOUS 48526 HAS SOUPS 48526 WITH SCORE 48606.139
AT ITER 1654 NEW BEST:: SOT 191820 SOS 80139 HAS SOPS 80139 HAS SOUS 48438 HAS SOUPS 48438 WITH SCORE 48518.139
AT ITER 1664 NEW BEST:: SOT 191773 SOS 80115 HAS SOPS 80115 HAS SOUS 48414 HAS SOUPS 48414 WITH SCORE 48494.115
AT ITER 1677 NEW BEST:: SOT 191719 SOS 80061 HAS SOPS 80061 HAS SOUS 48360 HAS SOUPS 48360 WITH SCORE 48440.061
AT ITER 1681 NEW BEST:: SOT 191719 SOS 80060 HAS SOPS 80060 HAS SOUS 48359 HAS SOUPS 48359 WITH SCORE 48439.06
AT ITER 1693 NEW BEST:: SOT 191719 SOS 80060 HAS SOPS 80060 HAS SOUS 48257 HAS SOUPS 48257 WITH SCORE 48337.06
AT ITER 1716 NEW BEST:: SOT 191771 SOS 80145 HAS SOPS 80145 HAS SOUS 48243 HAS SOUPS 48243 WITH SCORE 48323.145
AT ITER 1740 NEW BEST:: SOT 191717 SOS 80119 HAS SOPS 80119 HAS SOUS 48217 HAS SOUPS 48217 WITH SCORE 48297.119
AT ITER 1742 NEW BEST:: SOT 191717 SOS 80118 HAS SOPS 80118 HAS SOUS 48216 HAS SOUPS 48216 WITH SCORE 48296.118
AT ITER 1745 NEW BEST:: SOT 191377 SOS 79921 HAS SOPS 79921 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48175.921
AT ITER 1746 NEW BEST:: SOT 191329 SOS 79825 HAS SOPS 79825 HAS SOUS 48048 HAS SOUPS 48048 WITH SCORE 48127.825
AT ITER 1747 NEW BEST:: SOT 191329 SOS 79825 HAS SOPS 79825 HAS SOUS 48044 HAS SOUPS 48044 WITH SCORE 48123.825
AT ITER 1768 NEW BEST:: SOT 191329 SOS 79825 HAS SOPS 79825 HAS SOUS 48043 HAS SOUPS 48043 WITH SCORE 48122.825
AT ITER 1778 NEW BEST:: SOT 191166 SOS 79662 HAS SOPS 79662 HAS SOUS 48043 HAS SOUPS 48043 WITH SCORE 48122.662
AT ITER 1785 NEW BEST:: SOT 191071 SOS 79472 HAS SOPS 79472 HAS SOUS 47959 HAS SOUPS 47959 WITH SCORE 48038.472
AT ITER 1791 NEW BEST:: SOT 191059 SOS 79447 HAS SOPS 79447 HAS SOUS 47947 HAS SOUPS 47947 WITH SCORE 48026.447
AT ITER 1804 NEW BEST:: SOT 191059 SOS 79372 HAS SOPS 79372 HAS SOUS 47947 HAS SOUPS 47947 WITH SCORE 48026.372
AT ITER 1810 NEW BEST:: SOT 191054 SOS 79367 HAS SOPS 79367 HAS SOUS 47942 HAS SOUPS 47942 WITH SCORE 48021.367
AT ITER 1812 NEW BEST:: SOT 191017 SOS 79293 HAS SOPS 79293 HAS SOUS 47892 HAS SOUPS 47892 WITH SCORE 47971.293
AT ITER 1815 NEW BEST:: SOT 191002 SOS 79276 HAS SOPS 79276 HAS SOUS 47875 HAS SOUPS 47875 WITH SCORE 47954.276
AT ITER 1825 NEW BEST:: SOT 190995 SOS 79262 HAS SOPS 79262 HAS SOUS 47851 HAS SOUPS 47851 WITH SCORE 47930.262
AT ITER 1830 NEW BEST:: SOT 191046 SOS 78161 HAS SOPS 78161 HAS SOUS 47764 HAS SOUPS 47764 WITH SCORE 47842.161
AT ITER 1831 NEW BEST:: SOT 191012 SOS 78029 HAS SOPS 78029 HAS SOUS 47734 HAS SOUPS 47734 WITH SCORE 47812.029
AT ITER 1834 NEW BEST:: SOT 191012 SOS 78014 HAS SOPS 78014 HAS SOUS 47734 HAS SOUPS 47734 WITH SCORE 47812.014
AT ITER 1844 NEW BEST:: SOT 191024 SOS 78026 HAS SOPS 78026 HAS SOUS 47704 HAS SOUPS 47704 WITH SCORE 47782.026
AT ITER 1858 NEW BEST:: SOT 190959 SOS 77975 HAS SOPS 77975 HAS SOUS 47604 HAS SOUPS 47604 WITH SCORE 47681.975
AT ITER 1863 NEW BEST:: SOT 190970 SOS 77757 HAS SOPS 77757 HAS SOUS 47591 HAS SOUPS 47591 WITH SCORE 47668.757
AT ITER 1868 NEW BEST:: SOT 190932 SOS 77678 HAS SOPS 77678 HAS SOUS 47530 HAS SOUPS 47530 WITH SCORE 47607.678
AT ITER 1873 NEW BEST:: SOT 190925 SOS 77673 HAS SOPS 77673 HAS SOUS 47524 HAS SOUPS 47524 WITH SCORE 47601.673
AT ITER 1883 NEW BEST:: SOT 190910 SOS 77643 HAS SOPS 77643 HAS SOUS 47509 HAS SOUPS 47509 WITH SCORE 47586.643
AT ITER 1886 NEW BEST:: SOT 190914 SOS 77651 HAS SOPS 77651 HAS SOUS 47375 HAS SOUPS 47375 WITH SCORE 47452.651
AT ITER 1895 NEW BEST:: SOT 190944 SOS 77662 HAS SOPS 77662 HAS SOUS 47332 HAS SOUPS 47332 WITH SCORE 47409.662
AT ITER 1908 NEW BEST:: SOT 190887 SOS 77594 HAS SOPS 77594 HAS SOUS 47322 HAS SOUPS 47322 WITH SCORE 47399.594
AT ITER 1910 NEW BEST:: SOT 190760 SOS 77468 HAS SOPS 77468 HAS SOUS 47196 HAS SOUPS 47196 WITH SCORE 47273.468
AT ITER 1918 NEW BEST:: SOT 190765 SOS 77478 HAS SOPS 77478 HAS SOUS 47180 HAS SOUPS 47180 WITH SCORE 47257.478
AT ITER 1931 NEW BEST:: SOT 190701 SOS 77414 HAS SOPS 77414 HAS SOUS 47137 HAS SOUPS 47137 WITH SCORE 47214.414
AT ITER 1934 NEW BEST:: SOT 190700 SOS 77468 HAS SOPS 77468 HAS SOUS 47135 HAS SOUPS 47135 WITH SCORE 47212.468
AT ITER 1943 NEW BEST:: SOT 190618 SOS 77386 HAS SOPS 77386 HAS SOUS 47073 HAS SOUPS 47073 WITH SCORE 47150.386
AT ITER 1944 NEW BEST:: SOT 190595 SOS 77410 HAS SOPS 77410 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47050.41
AT ITER 1953 NEW BEST:: SOT 190595 SOS 77351 HAS SOPS 77351 HAS SOUS 46960 HAS SOUPS 46960 WITH SCORE 47037.351
AT ITER 1956 NEW BEST:: SOT 190574 SOS 77281 HAS SOPS 77281 HAS SOUS 46898 HAS SOUPS 46898 WITH SCORE 46975.281
AT ITER 1971 NEW BEST:: SOT 190527 SOS 77133 HAS SOPS 77133 HAS SOUS 46743 HAS SOUPS 46743 WITH SCORE 46820.133
AT ITER 1976 NEW BEST:: SOT 190511 SOS 77135 HAS SOPS 77135 HAS SOUS 46723 HAS SOUPS 46723 WITH SCORE 46800.135
AT ITER 1992 NEW BEST:: SOT 190511 SOS 77135 HAS SOPS 77135 HAS SOUS 46722 HAS SOUPS 46722 WITH SCORE 46799.135
AT ITER 2001 NEW BEST:: SOT 190514 SOS 76676 HAS SOPS 76676 HAS SOUS 46649 HAS SOUPS 46649 WITH SCORE 46725.676
AT ITER 2003 NEW BEST:: SOT 190514 SOS 76585 HAS SOPS 76585 HAS SOUS 46649 HAS SOUPS 46649 WITH SCORE 46725.585
AT ITER 2012 NEW BEST:: SOT 190485 SOS 76479 HAS SOPS 76479 HAS SOUS 46524 HAS SOUPS 46524 WITH SCORE 46600.479
AT ITER 2019 NEW BEST:: SOT 190472 SOS 76453 HAS SOPS 76453 HAS SOUS 46511 HAS SOUPS 46511 WITH SCORE 46587.453
AT ITER 2025 NEW BEST:: SOT 190475 SOS 76464 HAS SOPS 76464 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46573.464
AT ITER 2027 NEW BEST:: SOT 190456 SOS 76372 HAS SOPS 76372 HAS SOUS 46459 HAS SOUPS 46459 WITH SCORE 46535.372
AT ITER 2039 NEW BEST:: SOT 190206 SOS 76588 HAS SOPS 76588 HAS SOUS 46360 HAS SOUPS 46360 WITH SCORE 46436.588
AT ITER 2061 NEW BEST:: SOT 190151 SOS 76294 HAS SOPS 76294 HAS SOUS 46134 HAS SOUPS 46134 WITH SCORE 46210.294
AT ITER 2069 NEW BEST:: SOT 190148 SOS 76309 HAS SOPS 76309 HAS SOUS 46110 HAS SOUPS 46110 WITH SCORE 46186.309
AT ITER 2099 NEW BEST:: SOT 190192 SOS 76298 HAS SOPS 76298 HAS SOUS 46098 HAS SOUPS 46098 WITH SCORE 46174.298
AT ITER 2103 NEW BEST:: SOT 190166 SOS 76157 HAS SOPS 76157 HAS SOUS 46023 HAS SOUPS 46023 WITH SCORE 46099.157
AT ITER 2111 NEW BEST:: SOT 190117 SOS 75992 HAS SOPS 75992 HAS SOUS 45974 HAS SOUPS 45974 WITH SCORE 46049.992
AT ITER 2113 NEW BEST:: SOT 189924 SOS 76101 HAS SOPS 76101 HAS SOUS 45891 HAS SOUPS 45891 WITH SCORE 45967.101
AT ITER 2120 NEW BEST:: SOT 189924 SOS 76101 HAS SOPS 76101 HAS SOUS 45883 HAS SOUPS 45883 WITH SCORE 45959.101
AT ITER 2122 NEW BEST:: SOT 189912 SOS 76089 HAS SOPS 76089 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45947.089
AT ITER 2127 NEW BEST:: SOT 189889 SOS 76043 HAS SOPS 76043 HAS SOUS 45848 HAS SOUPS 45848 WITH SCORE 45924.043
AT ITER 2165 NEW BEST:: SOT 189890 SOS 75865 HAS SOPS 75865 HAS SOUS 45848 HAS SOUPS 45848 WITH SCORE 45923.865
AT ITER 2197 NEW BEST:: SOT 189888 SOS 75862 HAS SOPS 75862 HAS SOUS 45846 HAS SOUPS 45846 WITH SCORE 45921.862
AT ITER 2202 NEW BEST:: SOT 189878 SOS 75859 HAS SOPS 75859 HAS SOUS 45846 HAS SOUPS 45846 WITH SCORE 45921.859
AT ITER 2208 NEW BEST:: SOT 189933 SOS 75419 HAS SOPS 75419 HAS SOUS 45846 HAS SOUPS 45846 WITH SCORE 45921.419
AT ITER 2224 NEW BEST:: SOT 189937 SOS 75361 HAS SOPS 75361 HAS SOUS 45788 HAS SOUPS 45788 WITH SCORE 45863.361
AT ITER 2229 NEW BEST:: SOT 189790 SOS 75067 HAS SOPS 75067 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45612.067
AT ITER 2230 NEW BEST:: SOT 189808 SOS 75005 HAS SOPS 75005 HAS SOUS 45533 HAS SOUPS 45533 WITH SCORE 45608.005
AT ITER 2232 NEW BEST:: SOT 189804 SOS 74930 HAS SOPS 74930 HAS SOUS 45468 HAS SOUPS 45468 WITH SCORE 45542.93
AT ITER 2262 NEW BEST:: SOT 189723 SOS 75778 HAS SOPS 75778 HAS SOUS 45389 HAS SOUPS 45389 WITH SCORE 45464.778
AT ITER 2271 NEW BEST:: SOT 189771 SOS 75798 HAS SOPS 75798 HAS SOUS 45361 HAS SOUPS 45361 WITH SCORE 45436.798
AT ITER 2273 NEW BEST:: SOT 189868 SOS 75992 HAS SOPS 75992 HAS SOUS 45274 HAS SOUPS 45274 WITH SCORE 45349.992
AT ITER 2279 NEW BEST:: SOT 189839 SOS 75936 HAS SOPS 75936 HAS SOUS 45107 HAS SOUPS 45107 WITH SCORE 45182.936
AT ITER 2280 NEW BEST:: SOT 189735 SOS 75756 HAS SOPS 75756 HAS SOUS 45031 HAS SOUPS 45031 WITH SCORE 45106.756
AT ITER 2292 NEW BEST:: SOT 189752 SOS 75695 HAS SOPS 75695 HAS SOUS 44836 HAS SOUPS 44836 WITH SCORE 44911.695
AT ITER 2298 NEW BEST:: SOT 189701 SOS 75483 HAS SOPS 75483 HAS SOUS 44734 HAS SOUPS 44734 WITH SCORE 44809.483
AT ITER 2311 NEW BEST:: SOT 189668 SOS 75293 HAS SOPS 75293 HAS SOUS 44647 HAS SOUPS 44647 WITH SCORE 44722.293
AT ITER 2336 NEW BEST:: SOT 189619 SOS 75198 HAS SOPS 75198 HAS SOUS 44601 HAS SOUPS 44601 WITH SCORE 44676.198
AT ITER 2337 NEW BEST:: SOT 189597 SOS 75154 HAS SOPS 75154 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44632.154
AT ITER 2338 NEW BEST:: SOT 189592 SOS 75149 HAS SOPS 75149 HAS SOUS 44552 HAS SOUPS 44552 WITH SCORE 44627.149
AT ITER 2342 NEW BEST:: SOT 189592 SOS 75147 HAS SOPS 75147 HAS SOUS 44550 HAS SOUPS 44550 WITH SCORE 44625.147
AT ITER 2357 NEW BEST:: SOT 189576 SOS 75115 HAS SOPS 75115 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44601.115
AT ITER 2358 NEW BEST:: SOT 189555 SOS 75075 HAS SOPS 75075 HAS SOUS 44505 HAS SOUPS 44505 WITH SCORE 44580.075
AT ITER 2366 NEW BEST:: SOT 189555 SOS 75075 HAS SOPS 75075 HAS SOUS 44504 HAS SOUPS 44504 WITH SCORE 44579.075
AT ITER 2378 NEW BEST:: SOT 189558 SOS 75045 HAS SOPS 75045 HAS SOUS 44498 HAS SOUPS 44498 WITH SCORE 44573.045
AT ITER 2382 NEW BEST:: SOT 189542 SOS 75029 HAS SOPS 75029 HAS SOUS 44466 HAS SOUPS 44466 WITH SCORE 44541.029
AT ITER 2402 NEW BEST:: SOT 189530 SOS 75017 HAS SOPS 75017 HAS SOUS 44454 HAS SOUPS 44454 WITH SCORE 44529.017
AT ITER 2414 NEW BEST:: SOT 189568 SOS 75044 HAS SOPS 75044 HAS SOUS 44408 HAS SOUPS 44408 WITH SCORE 44483.044
AT ITER 2422 NEW BEST:: SOT 189563 SOS 74840 HAS SOPS 74840 HAS SOUS 44222 HAS SOUPS 44222 WITH SCORE 44296.84
AT ITER 2425 NEW BEST:: SOT 189510 SOS 74734 HAS SOPS 74734 HAS SOUS 44150 HAS SOUPS 44150 WITH SCORE 44224.734
AT ITER 2460 NEW BEST:: SOT 189253 SOS 74432 HAS SOPS 74432 HAS SOUS 43952 HAS SOUPS 43952 WITH SCORE 44026.432
AT ITER 2485 NEW BEST:: SOT 189216 SOS 74402 HAS SOPS 74402 HAS SOUS 43915 HAS SOUPS 43915 WITH SCORE 43989.402
AT ITER 2490 NEW BEST:: SOT 189169 SOS 74308 HAS SOPS 74308 HAS SOUS 43817 HAS SOUPS 43817 WITH SCORE 43891.308
AT ITER 2505 NEW BEST:: SOT 189187 SOS 74347 HAS SOPS 74347 HAS SOUS 43800 HAS SOUPS 43800 WITH SCORE 43874.347
AT ITER 2516 NEW BEST:: SOT 189170 SOS 74310 HAS SOPS 74310 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43837.31
AT ITER 2538 NEW BEST:: SOT 189136 SOS 74312 HAS SOPS 74312 HAS SOUS 43748 HAS SOUPS 43748 WITH SCORE 43822.312
AT ITER 2549 NEW BEST:: SOT 189154 SOS 74235 HAS SOPS 74235 HAS SOUS 43617 HAS SOUPS 43617 WITH SCORE 43691.235
AT ITER 2586 NEW BEST:: SOT 189153 SOS 74234 HAS SOPS 74234 HAS SOUS 43612 HAS SOUPS 43612 WITH SCORE 43686.234
AT ITER 2600 NEW BEST:: SOT 189150 SOS 74231 HAS SOPS 74231 HAS SOUS 43606 HAS SOUPS 43606 WITH SCORE 43680.231
AT ITER 2619 NEW BEST:: SOT 189115 SOS 74161 HAS SOPS 74161 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43677.161
AT ITER 2621 NEW BEST:: SOT 189080 SOS 74847 HAS SOPS 74847 HAS SOUS 43568 HAS SOUPS 43568 WITH SCORE 43642.847
AT ITER 2625 NEW BEST:: SOT 188991 SOS 74629 HAS SOPS 74629 HAS SOUS 43382 HAS SOUPS 43382 WITH SCORE 43456.629
AT ITER 2629 NEW BEST:: SOT 188986 SOS 74619 HAS SOPS 74619 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43451.619
AT ITER 2634 NEW BEST:: SOT 188906 SOS 74539 HAS SOPS 74539 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43411.539
AT ITER 2638 NEW BEST:: SOT 188830 SOS 74463 HAS SOPS 74463 HAS SOUS 43261 HAS SOUPS 43261 WITH SCORE 43335.463
AT ITER 2647 NEW BEST:: SOT 188790 SOS 74378 HAS SOPS 74378 HAS SOUS 43170 HAS SOUPS 43170 WITH SCORE 43244.378
AT ITER 2655 NEW BEST:: SOT 188831 SOS 74184 HAS SOPS 74184 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43224.184
AT ITER 2688 NEW BEST:: SOT 188831 SOS 74184 HAS SOPS 74184 HAS SOUS 43118 HAS SOUPS 43118 WITH SCORE 43192.184
AT ITER 2691 NEW BEST:: SOT 188674 SOS 73870 HAS SOPS 73870 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42877.87
AT ITER 2706 NEW BEST:: SOT 188512 SOS 74438 HAS SOPS 74438 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42814.438
AT ITER 2720 NEW BEST:: SOT 188476 SOS 74388 HAS SOPS 74388 HAS SOUS 42726 HAS SOUPS 42726 WITH SCORE 42800.388
AT ITER 2735 NEW BEST:: SOT 188400 SOS 74317 HAS SOPS 74317 HAS SOUS 42723 HAS SOUPS 42723 WITH SCORE 42797.317
AT ITER 2736 NEW BEST:: SOT 188347 SOS 74211 HAS SOPS 74211 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42741.211
AT ITER 2737 NEW BEST:: SOT 188347 SOS 74152 HAS SOPS 74152 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42741.152
AT ITER 2742 NEW BEST:: SOT 188265 SOS 74186 HAS SOPS 74186 HAS SOUS 42602 HAS SOUPS 42602 WITH SCORE 42676.186
AT ITER 2745 NEW BEST:: SOT 188260 SOS 74181 HAS SOPS 74181 HAS SOUS 42597 HAS SOUPS 42597 WITH SCORE 42671.181
AT ITER 2747 NEW BEST:: SOT 188260 SOS 74159 HAS SOPS 74159 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42656.159
AT ITER 2749 NEW BEST:: SOT 188260 SOS 74156 HAS SOPS 74156 HAS SOUS 42582 HAS SOUPS 42582 WITH SCORE 42656.156
AT ITER 2753 NEW BEST:: SOT 188165 SOS 73966 HAS SOPS 73966 HAS SOUS 42450 HAS SOUPS 42450 WITH SCORE 42523.966
AT ITER 2759 NEW BEST:: SOT 188123 SOS 73387 HAS SOPS 73387 HAS SOUS 42408 HAS SOUPS 42408 WITH SCORE 42481.387
AT ITER 2761 NEW BEST:: SOT 188140 SOS 73319 HAS SOPS 73319 HAS SOUS 42403 HAS SOUPS 42403 WITH SCORE 42476.319
AT ITER 2771 NEW BEST:: SOT 188139 SOS 73313 HAS SOPS 73313 HAS SOUS 42401 HAS SOUPS 42401 WITH SCORE 42474.313
AT ITER 2775 NEW BEST:: SOT 188182 SOS 73292 HAS SOPS 73292 HAS SOUS 42273 HAS SOUPS 42273 WITH SCORE 42346.292
AT ITER 2782 NEW BEST:: SOT 188168 SOS 73271 HAS SOPS 73271 HAS SOUS 42252 HAS SOUPS 42252 WITH SCORE 42325.271
AT ITER 2784 NEW BEST:: SOT 188133 SOS 73236 HAS SOPS 73236 HAS SOUS 42237 HAS SOUPS 42237 WITH SCORE 42310.236
AT ITER 2799 NEW BEST:: SOT 188124 SOS 73099 HAS SOPS 73099 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42141.099
AT ITER 2822 NEW BEST:: SOT 188103 SOS 73065 HAS SOPS 73065 HAS SOUS 42063 HAS SOUPS 42063 WITH SCORE 42136.065
AT ITER 2833 NEW BEST:: SOT 188085 SOS 72978 HAS SOPS 72978 HAS SOUS 42045 HAS SOUPS 42045 WITH SCORE 42117.978
AT ITER 2837 NEW BEST:: SOT 188051 SOS 72944 HAS SOPS 72944 HAS SOUS 42040 HAS SOUPS 42040 WITH SCORE 42112.944
AT ITER 2848 NEW BEST:: SOT 188087 SOS 72722 HAS SOPS 72722 HAS SOUS 41968 HAS SOUPS 41968 WITH SCORE 42040.722
AT ITER 2869 NEW BEST:: SOT 188026 SOS 72600 HAS SOPS 72600 HAS SOUS 41907 HAS SOUPS 41907 WITH SCORE 41979.6
AT ITER 2888 NEW BEST:: SOT 188022 SOS 72533 HAS SOPS 72533 HAS SOUS 41845 HAS SOUPS 41845 WITH SCORE 41917.533
AT ITER 2891 NEW BEST:: SOT 188022 SOS 72519 HAS SOPS 72519 HAS SOUS 41845 HAS SOUPS 41845 WITH SCORE 41917.519
AT ITER 2919 NEW BEST:: SOT 188018 SOS 72511 HAS SOPS 72511 HAS SOUS 41837 HAS SOUPS 41837 WITH SCORE 41909.511
AT ITER 2949 NEW BEST:: SOT 188023 SOS 72515 HAS SOPS 72515 HAS SOUS 41835 HAS SOUPS 41835 WITH SCORE 41907.515
AT ITER 2957 NEW BEST:: SOT 187979 SOS 72519 HAS SOPS 72519 HAS SOUS 41739 HAS SOUPS 41739 WITH SCORE 41811.519
AT ITER 2959 NEW BEST:: SOT 187962 SOS 72502 HAS SOPS 72502 HAS SOUS 41739 HAS SOUPS 41739 WITH SCORE 41811.502
AT ITER 2963 NEW BEST:: SOT 187915 SOS 72314 HAS SOPS 72314 HAS SOUS 41630 HAS SOUPS 41630 WITH SCORE 41702.314
AT ITER 2964 NEW BEST:: SOT 187912 SOS 72311 HAS SOPS 72311 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41699.311
AT ITER 2969 NEW BEST:: SOT 187943 SOS 71942 HAS SOPS 71942 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41689.942
AT ITER 2978 NEW BEST:: SOT 187932 SOS 71959 HAS SOPS 71959 HAS SOUS 41596 HAS SOUPS 41596 WITH SCORE 41667.959
AT ITER 2982 NEW BEST:: SOT 187921 SOS 71937 HAS SOPS 71937 HAS SOUS 41585 HAS SOUPS 41585 WITH SCORE 41656.937
AT ITER 3018 NEW BEST:: SOT 187823 SOS 71717 HAS SOPS 71717 HAS SOUS 41465 HAS SOUPS 41465 WITH SCORE 41536.717
AT ITER 3031 NEW BEST:: SOT 187821 SOS 71713 HAS SOPS 71713 HAS SOUS 41461 HAS SOUPS 41461 WITH SCORE 41532.713
AT ITER 3032 NEW BEST:: SOT 187704 SOS 71596 HAS SOPS 71596 HAS SOUS 41422 HAS SOUPS 41422 WITH SCORE 41493.596
AT ITER 3053 NEW BEST:: SOT 187704 SOS 71596 HAS SOPS 71596 HAS SOUS 41406 HAS SOUPS 41406 WITH SCORE 41477.596
AT ITER 3065 NEW BEST:: SOT 187692 SOS 71782 HAS SOPS 71782 HAS SOUS 41394 HAS SOUPS 41394 WITH SCORE 41465.782
AT ITER 3067 NEW BEST:: SOT 187688 SOS 71762 HAS SOPS 71762 HAS SOUS 41390 HAS SOUPS 41390 WITH SCORE 41461.762
AT ITER 3082 NEW BEST:: SOT 187689 SOS 71756 HAS SOPS 71756 HAS SOUS 41389 HAS SOUPS 41389 WITH SCORE 41460.756
AT ITER 3086 NEW BEST:: SOT 187689 SOS 71775 HAS SOPS 71775 HAS SOUS 41354 HAS SOUPS 41354 WITH SCORE 41425.775
AT ITER 3106 NEW BEST:: SOT 187683 SOS 71763 HAS SOPS 71763 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41419.763
AT ITER 3107 NEW BEST:: SOT 187682 SOS 71761 HAS SOPS 71761 HAS SOUS 41347 HAS SOUPS 41347 WITH SCORE 41418.761
AT ITER 3127 NEW BEST:: SOT 187682 SOS 71761 HAS SOPS 71761 HAS SOUS 41332 HAS SOUPS 41332 WITH SCORE 41403.761
AT ITER 3130 NEW BEST:: SOT 187682 SOS 71761 HAS SOPS 71761 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41372.761
AT ITER 3140 NEW BEST:: SOT 187671 SOS 71575 HAS SOPS 71575 HAS SOUS 41300 HAS SOUPS 41300 WITH SCORE 41371.575
AT ITER 3165 NEW BEST:: SOT 187690 SOS 71537 HAS SOPS 71537 HAS SOUS 41285 HAS SOUPS 41285 WITH SCORE 41356.537
AT ITER 3167 NEW BEST:: SOT 187657 SOS 71540 HAS SOPS 71540 HAS SOUS 41243 HAS SOUPS 41243 WITH SCORE 41314.54
AT ITER 3169 NEW BEST:: SOT 187614 SOS 71454 HAS SOPS 71454 HAS SOUS 41208 HAS SOUPS 41208 WITH SCORE 41279.454
AT ITER 3196 NEW BEST:: SOT 187606 SOS 71457 HAS SOPS 71457 HAS SOUS 41203 HAS SOUPS 41203 WITH SCORE 41274.457
AT ITER 3197 NEW BEST:: SOT 187553 SOS 71245 HAS SOPS 71245 HAS SOUS 41094 HAS SOUPS 41094 WITH SCORE 41165.245
AT ITER 3210 NEW BEST:: SOT 187513 SOS 71198 HAS SOPS 71198 HAS SOUS 40980 HAS SOUPS 40980 WITH SCORE 41051.198
AT ITER 3245 NEW BEST:: SOT 187476 SOS 71167 HAS SOPS 71167 HAS SOUS 40979 HAS SOUPS 40979 WITH SCORE 41050.167
AT ITER 3246 NEW BEST:: SOT 187436 SOS 71177 HAS SOPS 71177 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41049.177
AT ITER 3249 NEW BEST:: SOT 187436 SOS 71200 HAS SOPS 71200 HAS SOUS 40962 HAS SOUPS 40962 WITH SCORE 41033.2
AT ITER 3271 NEW BEST:: SOT 187396 SOS 71104 HAS SOPS 71104 HAS SOUS 40922 HAS SOUPS 40922 WITH SCORE 40993.104
AT ITER 3275 NEW BEST:: SOT 187355 SOS 71086 HAS SOPS 71086 HAS SOUS 40893 HAS SOUPS 40893 WITH SCORE 40964.086
AT ITER 3277 NEW BEST:: SOT 187327 SOS 70680 HAS SOPS 70680 HAS SOUS 40845 HAS SOUPS 40845 WITH SCORE 40915.68
AT ITER 3285 NEW BEST:: SOT 187297 SOS 70620 HAS SOPS 70620 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40855.62
AT ITER 3286 NEW BEST:: SOT 187268 SOS 70562 HAS SOPS 70562 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40855.562
AT ITER 3315 NEW BEST:: SOT 187265 SOS 70562 HAS SOPS 70562 HAS SOUS 40782 HAS SOUPS 40782 WITH SCORE 40852.562
AT ITER 3325 NEW BEST:: SOT 187372 SOS 70442 HAS SOPS 70442 HAS SOUS 40732 HAS SOUPS 40732 WITH SCORE 40802.442
AT ITER 3340 NEW BEST:: SOT 187361 SOS 70251 HAS SOPS 70251 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40621.251
AT ITER 3359 NEW BEST:: SOT 187341 SOS 70047 HAS SOPS 70047 HAS SOUS 40482 HAS SOUPS 40482 WITH SCORE 40552.047
AT ITER 3361 NEW BEST:: SOT 187336 SOS 70037 HAS SOPS 70037 HAS SOUS 40476 HAS SOUPS 40476 WITH SCORE 40546.037
AT ITER 3371 NEW BEST:: SOT 187447 SOS 70016 HAS SOPS 70016 HAS SOUS 40451 HAS SOUPS 40451 WITH SCORE 40521.016
AT ITER 3375 NEW BEST:: SOT 187444 SOS 70016 HAS SOPS 70016 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40518.016
AT ITER 3377 NEW BEST:: SOT 187440 SOS 70004 HAS SOPS 70004 HAS SOUS 40440 HAS SOUPS 40440 WITH SCORE 40510.004
AT ITER 3382 NEW BEST:: SOT 187398 SOS 70026 HAS SOPS 70026 HAS SOUS 40352 HAS SOUPS 40352 WITH SCORE 40422.026
AT ITER 3393 NEW BEST:: SOT 187383 SOS 70115 HAS SOPS 70115 HAS SOUS 40337 HAS SOUPS 40337 WITH SCORE 40407.115
AT ITER 3395 NEW BEST:: SOT 187357 SOS 70161 HAS SOPS 70161 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40381.161
AT ITER 3436 NEW BEST:: SOT 187331 SOS 70119 HAS SOPS 70119 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40355.119
AT ITER 3445 NEW BEST:: SOT 187309 SOS 70052 HAS SOPS 70052 HAS SOUS 40241 HAS SOUPS 40241 WITH SCORE 40311.052
AT ITER 3460 NEW BEST:: SOT 187291 SOS 70035 HAS SOPS 70035 HAS SOUS 40212 HAS SOUPS 40212 WITH SCORE 40282.035
AT ITER 3477 NEW BEST:: SOT 187229 SOS 70035 HAS SOPS 70035 HAS SOUS 40150 HAS SOUPS 40150 WITH SCORE 40220.035
AT ITER 3484 NEW BEST:: SOT 187341 SOS 69991 HAS SOPS 69991 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40193.991
AT ITER 3503 NEW BEST:: SOT 187319 SOS 69996 HAS SOPS 69996 HAS SOUS 40104 HAS SOUPS 40104 WITH SCORE 40173.996
AT ITER 3506 NEW BEST:: SOT 187324 SOS 70001 HAS SOPS 70001 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40161.001
AT ITER 3520 NEW BEST:: SOT 187292 SOS 69937 HAS SOPS 69937 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40096.937
AT ITER 3535 NEW BEST:: SOT 187292 SOS 69928 HAS SOPS 69928 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40096.928
AT ITER 3548 NEW BEST:: SOT 187288 SOS 69924 HAS SOPS 69924 HAS SOUS 40024 HAS SOUPS 40024 WITH SCORE 40093.924
AT ITER 3558 NEW BEST:: SOT 187156 SOS 69886 HAS SOPS 69886 HAS SOUS 39886 HAS SOUPS 39886 WITH SCORE 39955.886
AT ITER 3563 NEW BEST:: SOT 187156 SOS 69848 HAS SOPS 69848 HAS SOUS 39886 HAS SOUPS 39886 WITH SCORE 39955.848
AT ITER 3600 NEW BEST:: SOT 187153 SOS 69845 HAS SOPS 69845 HAS SOUS 39881 HAS SOUPS 39881 WITH SCORE 39950.845
AT ITER 3605 NEW BEST:: SOT 187153 SOS 69845 HAS SOPS 69845 HAS SOUS 39847 HAS SOUPS 39847 WITH SCORE 39916.845
AT ITER 3608 NEW BEST:: SOT 187110 SOS 69759 HAS SOPS 69759 HAS SOUS 39847 HAS SOUPS 39847 WITH SCORE 39916.759
AT ITER 3609 NEW BEST:: SOT 187120 SOS 69819 HAS SOPS 69819 HAS SOUS 39827 HAS SOUPS 39827 WITH SCORE 39896.819
AT ITER 3627 NEW BEST:: SOT 187113 SOS 69805 HAS SOPS 69805 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39889.805
AT ITER 3629 NEW BEST:: SOT 187020 SOS 69727 HAS SOPS 69727 HAS SOUS 39742 HAS SOUPS 39742 WITH SCORE 39811.727
AT ITER 3652 NEW BEST:: SOT 186950 SOS 69547 HAS SOPS 69547 HAS SOUS 39672 HAS SOUPS 39672 WITH SCORE 39741.547
AT ITER 3675 NEW BEST:: SOT 186923 SOS 69515 HAS SOPS 69515 HAS SOUS 39631 HAS SOUPS 39631 WITH SCORE 39700.515
AT ITER 3679 NEW BEST:: SOT 186905 SOS 69401 HAS SOPS 69401 HAS SOUS 39613 HAS SOUPS 39613 WITH SCORE 39682.401
AT ITER 3688 NEW BEST:: SOT 186904 SOS 69399 HAS SOPS 69399 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39681.399
AT ITER 3697 NEW BEST:: SOT 186874 SOS 69339 HAS SOPS 69339 HAS SOUS 39552 HAS SOUPS 39552 WITH SCORE 39621.339
AT ITER 3707 NEW BEST:: SOT 186874 SOS 69339 HAS SOPS 69339 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39611.339
AT ITER 3746 NEW BEST:: SOT 186874 SOS 69339 HAS SOPS 69339 HAS SOUS 39494 HAS SOUPS 39494 WITH SCORE 39563.339
AT ITER 3747 NEW BEST:: SOT 186874 SOS 69339 HAS SOPS 69339 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39549.339
AT ITER 3761 NEW BEST:: SOT 186839 SOS 69167 HAS SOPS 69167 HAS SOUS 39359 HAS SOUPS 39359 WITH SCORE 39428.167
AT ITER 3769 NEW BEST:: SOT 186839 SOS 69167 HAS SOPS 69167 HAS SOUS 39321 HAS SOUPS 39321 WITH SCORE 39390.167
AT ITER 3773 NEW BEST:: SOT 186821 SOS 69131 HAS SOPS 69131 HAS SOUS 39285 HAS SOUPS 39285 WITH SCORE 39354.131
AT ITER 3783 NEW BEST:: SOT 186786 SOS 69096 HAS SOPS 69096 HAS SOUS 39285 HAS SOUPS 39285 WITH SCORE 39354.096
AT ITER 3810 NEW BEST:: SOT 186762 SOS 68990 HAS SOPS 68990 HAS SOUS 39261 HAS SOUPS 39261 WITH SCORE 39329.99
AT ITER 3816 NEW BEST:: SOT 186776 SOS 68969 HAS SOPS 68969 HAS SOUS 39240 HAS SOUPS 39240 WITH SCORE 39308.969
AT ITER 3820 NEW BEST:: SOT 186758 SOS 68981 HAS SOPS 68981 HAS SOUS 39222 HAS SOUPS 39222 WITH SCORE 39290.981
AT ITER 3845 NEW BEST:: SOT 186787 SOS 68779 HAS SOPS 68779 HAS SOUS 39088 HAS SOUPS 39088 WITH SCORE 39156.779
AT ITER 3846 NEW BEST:: SOT 186767 SOS 68759 HAS SOPS 68759 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39136.759
AT ITER 3859 NEW BEST:: SOT 186762 SOS 68755 HAS SOPS 68755 HAS SOUS 39058 HAS SOUPS 39058 WITH SCORE 39126.755
AT ITER 3862 NEW BEST:: SOT 186579 SOS 68389 HAS SOPS 68389 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38778.389
AT ITER 3867 NEW BEST:: SOT 186431 SOS 68251 HAS SOPS 68251 HAS SOUS 38583 HAS SOUPS 38583 WITH SCORE 38651.251
AT ITER 3883 NEW BEST:: SOT 186385 SOS 68203 HAS SOPS 68203 HAS SOUS 38573 HAS SOUPS 38573 WITH SCORE 38641.203
AT ITER 3910 NEW BEST:: SOT 186298 SOS 68126 HAS SOPS 68126 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38554.126
AT ITER 3919 NEW BEST:: SOT 186298 SOS 68126 HAS SOPS 68126 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38539.126
AT ITER 3950 NEW BEST:: SOT 186298 SOS 68126 HAS SOPS 68126 HAS SOUS 38407 HAS SOUPS 38407 WITH SCORE 38475.126
AT ITER 3969 NEW BEST:: SOT 186298 SOS 68091 HAS SOPS 68091 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38440.091
AT ITER 3983 NEW BEST:: SOT 186297 SOS 68089 HAS SOPS 68089 HAS SOUS 38370 HAS SOUPS 38370 WITH SCORE 38438.089
AT ITER 3992 NEW BEST:: SOT 186297 SOS 68089 HAS SOPS 68089 HAS SOUS 38356 HAS SOUPS 38356 WITH SCORE 38424.089
AT ITER 4003 NEW BEST:: SOT 186412 SOS 67995 HAS SOPS 67995 HAS SOUS 38235 HAS SOUPS 38235 WITH SCORE 38302.995
AT ITER 4008 NEW BEST:: SOT 186296 SOS 67763 HAS SOPS 67763 HAS SOUS 38119 HAS SOUPS 38119 WITH SCORE 38186.763
AT ITER 4014 NEW BEST:: SOT 186274 SOS 67741 HAS SOPS 67741 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38164.741
AT ITER 4020 NEW BEST:: SOT 186281 SOS 67755 HAS SOPS 67755 HAS SOUS 38094 HAS SOUPS 38094 WITH SCORE 38161.755
AT ITER 4026 NEW BEST:: SOT 186260 SOS 67713 HAS SOPS 67713 HAS SOUS 38068 HAS SOUPS 38068 WITH SCORE 38135.713
AT ITER 4060 NEW BEST:: SOT 186282 SOS 67667 HAS SOPS 67667 HAS SOUS 38039 HAS SOUPS 38039 WITH SCORE 38106.667
AT ITER 4072 NEW BEST:: SOT 186281 SOS 67665 HAS SOPS 67665 HAS SOUS 38037 HAS SOUPS 38037 WITH SCORE 38104.665
AT ITER 4076 NEW BEST:: SOT 186281 SOS 67632 HAS SOPS 67632 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38071.632
AT ITER 4077 NEW BEST:: SOT 186281 SOS 67632 HAS SOPS 67632 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 38002.632
AT ITER 4088 NEW BEST:: SOT 186279 SOS 67556 HAS SOPS 67556 HAS SOUS 37930 HAS SOUPS 37930 WITH SCORE 37997.556
AT ITER 4113 NEW BEST:: SOT 186226 SOS 67507 HAS SOPS 67507 HAS SOUS 37896 HAS SOUPS 37896 WITH SCORE 37963.507
AT ITER 4147 NEW BEST:: SOT 186214 SOS 67471 HAS SOPS 67471 HAS SOUS 37872 HAS SOUPS 37872 WITH SCORE 37939.471
AT ITER 4161 NEW BEST:: SOT 186196 SOS 67435 HAS SOPS 67435 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37911.435
AT ITER 4188 NEW BEST:: SOT 186190 SOS 67327 HAS SOPS 67327 HAS SOUS 37811 HAS SOUPS 37811 WITH SCORE 37878.327
AT ITER 4210 NEW BEST:: SOT 186178 SOS 67318 HAS SOPS 67318 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37866.318
AT ITER 4255 NEW BEST:: SOT 186161 SOS 67250 HAS SOPS 67250 HAS SOUS 37722 HAS SOUPS 37722 WITH SCORE 37789.25
AT ITER 4256 NEW BEST:: SOT 186183 SOS 67261 HAS SOPS 67261 HAS SOUS 37690 HAS SOUPS 37690 WITH SCORE 37757.261
AT ITER 4260 NEW BEST:: SOT 186200 SOS 67285 HAS SOPS 67285 HAS SOUS 37676 HAS SOUPS 37676 WITH SCORE 37743.285
AT ITER 4264 NEW BEST:: SOT 186199 SOS 67269 HAS SOPS 67269 HAS SOUS 37660 HAS SOUPS 37660 WITH SCORE 37727.269
AT ITER 4276 NEW BEST:: SOT 186173 SOS 67217 HAS SOPS 67217 HAS SOUS 37634 HAS SOUPS 37634 WITH SCORE 37701.217
AT ITER 4284 NEW BEST:: SOT 186182 SOS 67235 HAS SOPS 67235 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37573.235
AT ITER 4335 NEW BEST:: SOT 186128 SOS 67198 HAS SOPS 67198 HAS SOUS 37470 HAS SOUPS 37470 WITH SCORE 37537.198
AT ITER 4343 NEW BEST:: SOT 186102 SOS 67130 HAS SOPS 67130 HAS SOUS 37458 HAS SOUPS 37458 WITH SCORE 37525.13
AT ITER 4359 NEW BEST:: SOT 186024 SOS 67036 HAS SOPS 67036 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37493.036
AT ITER 4366 NEW BEST:: SOT 186024 SOS 67030 HAS SOPS 67030 HAS SOUS 37420 HAS SOUPS 37420 WITH SCORE 37487.03
AT ITER 4367 NEW BEST:: SOT 186008 SOS 66998 HAS SOPS 66998 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37470.998
AT ITER 4369 NEW BEST:: SOT 186008 SOS 66998 HAS SOPS 66998 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37465.998
AT ITER 4371 NEW BEST:: SOT 185989 SOS 67019 HAS SOPS 67019 HAS SOUS 37392 HAS SOUPS 37392 WITH SCORE 37459.019
AT ITER 4385 NEW BEST:: SOT 185973 SOS 66987 HAS SOPS 66987 HAS SOUS 37368 HAS SOUPS 37368 WITH SCORE 37434.987
AT ITER 4413 NEW BEST:: SOT 185955 SOS 66937 HAS SOPS 66937 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37416.937
AT ITER 4467 NEW BEST:: SOT 185945 SOS 66927 HAS SOPS 66927 HAS SOUS 37340 HAS SOUPS 37340 WITH SCORE 37406.927
AT ITER 4471 NEW BEST:: SOT 185928 SOS 66910 HAS SOPS 66910 HAS SOUS 37323 HAS SOUPS 37323 WITH SCORE 37389.91
AT ITER 4481 NEW BEST:: SOT 185920 SOS 66923 HAS SOPS 66923 HAS SOUS 37307 HAS SOUPS 37307 WITH SCORE 37373.923
AT ITER 4537 NEW BEST:: SOT 185889 SOS 66830 HAS SOPS 66830 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37342.83
AT ITER 4569 NEW BEST:: SOT 185889 SOS 66679 HAS SOPS 66679 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37342.679
AT ITER 4570 NEW BEST:: SOT 185889 SOS 66678 HAS SOPS 66678 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37341.678
AT ITER 4617 NEW BEST:: SOT 185885 SOS 66620 HAS SOPS 66620 HAS SOUS 37271 HAS SOUPS 37271 WITH SCORE 37337.62
AT ITER 4619 NEW BEST:: SOT 185885 SOS 66575 HAS SOPS 66575 HAS SOUS 37226 HAS SOUPS 37226 WITH SCORE 37292.575
AT ITER 4656 NEW BEST:: SOT 185894 SOS 66593 HAS SOPS 66593 HAS SOUS 37219 HAS SOUPS 37219 WITH SCORE 37285.593
AT ITER 4668 NEW BEST:: SOT 185894 SOS 66548 HAS SOPS 66548 HAS SOUS 37214 HAS SOUPS 37214 WITH SCORE 37280.548
AT ITER 4689 NEW BEST:: SOT 185879 SOS 66533 HAS SOPS 66533 HAS SOUS 37199 HAS SOUPS 37199 WITH SCORE 37265.533
AT ITER 4690 NEW BEST:: SOT 185879 SOS 66500 HAS SOPS 66500 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37232.5
AT ITER 4700 NEW BEST:: SOT 185877 SOS 66496 HAS SOPS 66496 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37228.496
AT ITER 4702 NEW BEST:: SOT 185829 SOS 66368 HAS SOPS 66368 HAS SOUS 37114 HAS SOUPS 37114 WITH SCORE 37180.368
AT ITER 4711 NEW BEST:: SOT 185779 SOS 66378 HAS SOPS 66378 HAS SOUS 37064 HAS SOUPS 37064 WITH SCORE 37130.378
AT ITER 4731 NEW BEST:: SOT 185728 SOS 66213 HAS SOPS 66213 HAS SOUS 36972 HAS SOUPS 36972 WITH SCORE 37038.213
AT ITER 4743 NEW BEST:: SOT 185712 SOS 66197 HAS SOPS 66197 HAS SOUS 36956 HAS SOUPS 36956 WITH SCORE 37022.197
AT ITER 4759 NEW BEST:: SOT 185619 SOS 65837 HAS SOPS 65837 HAS SOUS 36950 HAS SOUPS 36950 WITH SCORE 37015.837
AT ITER 4771 NEW BEST:: SOT 185619 SOS 65837 HAS SOPS 65837 HAS SOUS 36933 HAS SOUPS 36933 WITH SCORE 36998.837
AT ITER 4795 NEW BEST:: SOT 185619 SOS 65837 HAS SOPS 65837 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 36997.837
AT ITER 4827 NEW BEST:: SOT 185655 SOS 65808 HAS SOPS 65808 HAS SOUS 36868 HAS SOUPS 36868 WITH SCORE 36933.808
AT ITER 4856 NEW BEST:: SOT 185670 SOS 65782 HAS SOPS 65782 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36928.782
AT ITER 4870 NEW BEST:: SOT 185657 SOS 65786 HAS SOPS 65786 HAS SOUS 36837 HAS SOUPS 36837 WITH SCORE 36902.786
AT ITER 4871 NEW BEST:: SOT 185650 SOS 65772 HAS SOPS 65772 HAS SOUS 36837 HAS SOUPS 36837 WITH SCORE 36902.772
AT ITER 4898 NEW BEST:: SOT 185650 SOS 65772 HAS SOPS 65772 HAS SOUS 36830 HAS SOUPS 36830 WITH SCORE 36895.772
AT ITER 4904 NEW BEST:: SOT 185650 SOS 65738 HAS SOPS 65738 HAS SOUS 36830 HAS SOUPS 36830 WITH SCORE 36895.738
AT ITER 4918 NEW BEST:: SOT 185512 SOS 65443 HAS SOPS 65443 HAS SOUS 36710 HAS SOUPS 36710 WITH SCORE 36775.443
AT ITER 4928 NEW BEST:: SOT 185512 SOS 65429 HAS SOPS 65429 HAS SOUS 36708 HAS SOUPS 36708 WITH SCORE 36773.429
AT ITER 4932 NEW BEST:: SOT 185512 SOS 65429 HAS SOPS 65429 HAS SOUS 36678 HAS SOUPS 36678 WITH SCORE 36743.429
AT ITER 4942 NEW BEST:: SOT 185385 SOS 65217 HAS SOPS 65217 HAS SOUS 36662 HAS SOUPS 36662 WITH SCORE 36727.217
AT ITER 4991 NEW BEST:: SOT 185360 SOS 65192 HAS SOPS 65192 HAS SOUS 36637 HAS SOUPS 36637 WITH SCORE 36702.192
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-00 (EU( potential( (tk(P67)) <= (tk(P210)) ),potential( ( 2 ) <= (tk(P257)) ) ))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-01 (AU( ( potential( (tk(P199)) <= (tk(P444)) ) | (! potential( ( 2 ) <= (tk(P342)) )) ),( ( potential( ( 3 ) <= (tk(P280)) ) & potential( (tk(P324)) <= (tk(P402)) ) ) & potential( ( 3 ) <= (tk(P440)) ) ) ))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-02 ( (AF((EF(potential( ( 2 ) <= (tk(P4)) ))))) & (EF((! ( potential( (tk(P50)) <= (tk(P343)) ) & potential( (tk(P215)) <= (tk(P139)) ) )))) )
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-03 (AF((EX( (! potential( (tk(P17)) <= (tk(P294)) ))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-04 (AU( potential( (tk(P140)) <= (tk(P513)) ),(EF(potential( ( 2 ) <= (tk(P237)) ))) ))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-05 (AF((EU( potential( (tk(P218)) <= (tk(P418)) ),potential( ( 2 ) <= (tk(P104)) ) ))))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-06 (! (AU( potential( (tk(P441)) <= (tk(P40)) ),( potential( ( 2 ) <= (tk(P352)) ) & potential( (tk(P506)) <= (tk(P361)) ) ) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-07 ( ( (EU( potential( ( 3 ) <= (tk(P266)) ),potential( ( 3 ) <= (tk(P89)) ) )) | potential( (tk(P313)) <= (tk(P397)) ) ) & ( (AF((! potential( (tk(P109)) <= (tk(P345)) )))) | (! (AX( potential( (tk(P269)) <= (tk(P16)) )))) ) )
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-08 ( (EG( ( potential( (tk(P41)) <= (tk(P248)) ) & potential( ( 3 ) <= (tk(P472)) ) ))) | (AF(( ( potential( ( 2 ) <= (tk(P459)) ) & potential( (tk(P429)) <= (tk(P382)) ) ) & ( potential( ( 1 ) <= (tk(P54)) ) | potential( ( 1 ) <= (tk(P305)) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-09 ( (AF(potential( ( 3 ) <= (tk(P132)) ))) | ( ( (EX( potential( ( 3 ) <= (tk(P109)) ))) & ( (! potential( ( 3 ) <= (tk(P229)) )) & ( potential( ( 2 ) <= (tk(P372)) ) | potential( ( 3 ) <= (tk(P103)) ) ) ) ) & (! ( potential( ( 3 ) <= (tk(P346)) ) & potential( ( 3 ) <= (tk(P524)) ) )) ) )
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-10 (EG( (AX( ( potential( (tk(P349)) <= (tk(P92)) ) | potential( ( 1 ) <= (tk(P457)) ) )))))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-11 (! ( (AG( ( potential( ( 2 ) <= (tk(P468)) ) | potential( (tk(P78)) <= (tk(P309)) ) ))) | ( ( potential( (tk(P435)) <= (tk(P39)) ) | ( potential( (tk(P485)) <= (tk(P304)) ) & potential( (tk(P107)) <= (tk(P10)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P192)) ) | potential( ( 2 ) <= (tk(P284)) ) ) & ( potential( ( 2 ) <= (tk(P128)) ) | potential( (tk(P8)) <= (tk(P152)) ) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-12 (AG( (EU( potential( (tk(P421)) <= (tk(P528)) ),potential( ( 1 ) <= (tk(P351)) ) ))))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-13 (AF(( (! (! potential( ( 3 ) <= (tk(P422)) ))) | (EG( potential( (tk(P169)) <= (tk(P32)) ))) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-14 (EG( potential( (tk(P168)) <= (tk(P280)) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLCardinality-15 (! (AU( ( potential( (tk(P262)) <= (tk(P287)) ) | potential( ( 1 ) <= (tk(P434)) ) ),(! potential( (tk(P294)) <= (tk(P456)) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-06b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-06b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-06b.tgz
mv FlexibleBarrier-PT-06b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;