About the Execution of smart for Sudoku-PT-AN08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.870 | 3600000.00 | 3587030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700372.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700372
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 4.4K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 127K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 420K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 267K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1009K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 273K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591336624480
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN08
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 704 places, 512 transitions, 2048 arcs.
AT ITER 0 NEW BEST:: SOT 273284 SOS 139192 HAS SOPS 139192 HAS SOUS 139192 HAS SOUPS 139192 WITH SCORE 139331.192
AT ITER 7 NEW BEST:: SOT 272920 SOS 139999 HAS SOPS 139999 HAS SOUS 138886 HAS SOUPS 138886 WITH SCORE 139025.999
AT ITER 10 NEW BEST:: SOT 272668 SOS 139848 HAS SOPS 139848 HAS SOUS 138658 HAS SOUPS 138658 WITH SCORE 138797.848
AT ITER 11 NEW BEST:: SOT 272331 SOS 140956 HAS SOPS 140956 HAS SOUS 138415 HAS SOUPS 138415 WITH SCORE 138555.956
AT ITER 22 NEW BEST:: SOT 271995 SOS 140699 HAS SOPS 140699 HAS SOUS 138130 HAS SOUPS 138130 WITH SCORE 138270.699
AT ITER 29 NEW BEST:: SOT 271932 SOS 141758 HAS SOPS 141758 HAS SOUS 138069 HAS SOUPS 138069 WITH SCORE 138210.758
AT ITER 31 NEW BEST:: SOT 271760 SOS 141701 HAS SOPS 141701 HAS SOUS 138012 HAS SOUPS 138012 WITH SCORE 138153.701
AT ITER 36 NEW BEST:: SOT 271616 SOS 141796 HAS SOPS 141796 HAS SOUS 138004 HAS SOUPS 138004 WITH SCORE 138145.796
AT ITER 42 NEW BEST:: SOT 271322 SOS 141591 HAS SOPS 141591 HAS SOUS 137750 HAS SOUPS 137750 WITH SCORE 137891.591
AT ITER 45 NEW BEST:: SOT 271049 SOS 141780 HAS SOPS 141780 HAS SOUS 137575 HAS SOUPS 137575 WITH SCORE 137716.78
AT ITER 50 NEW BEST:: SOT 270993 SOS 142161 HAS SOPS 142161 HAS SOUS 137542 HAS SOUPS 137542 WITH SCORE 137684.161
AT ITER 54 NEW BEST:: SOT 270923 SOS 142063 HAS SOPS 142063 HAS SOUS 137465 HAS SOUPS 137465 WITH SCORE 137607.063
AT ITER 65 NEW BEST:: SOT 270579 SOS 142454 HAS SOPS 142454 HAS SOUS 137163 HAS SOUPS 137163 WITH SCORE 137305.454
AT ITER 67 NEW BEST:: SOT 270579 SOS 142364 HAS SOPS 142364 HAS SOUS 137163 HAS SOUPS 137163 WITH SCORE 137305.364
AT ITER 68 NEW BEST:: SOT 270386 SOS 142171 HAS SOPS 142171 HAS SOUS 136970 HAS SOUPS 136970 WITH SCORE 137112.171
AT ITER 77 NEW BEST:: SOT 270414 SOS 142128 HAS SOPS 142128 HAS SOUS 136927 HAS SOUPS 136927 WITH SCORE 137069.128
AT ITER 79 NEW BEST:: SOT 270414 SOS 142094 HAS SOPS 142094 HAS SOUS 136927 HAS SOUPS 136927 WITH SCORE 137069.094
AT ITER 84 NEW BEST:: SOT 270414 SOS 142081 HAS SOPS 142081 HAS SOUS 136927 HAS SOUPS 136927 WITH SCORE 137069.081
AT ITER 86 NEW BEST:: SOT 270358 SOS 142187 HAS SOPS 142187 HAS SOUS 136903 HAS SOUPS 136903 WITH SCORE 137045.187
AT ITER 107 NEW BEST:: SOT 270045 SOS 142130 HAS SOPS 142130 HAS SOUS 136691 HAS SOUPS 136691 WITH SCORE 136833.13
AT ITER 130 NEW BEST:: SOT 269716 SOS 142080 HAS SOPS 142080 HAS SOUS 136445 HAS SOUPS 136445 WITH SCORE 136587.08
AT ITER 131 NEW BEST:: SOT 269534 SOS 142500 HAS SOPS 142500 HAS SOUS 136343 HAS SOUPS 136343 WITH SCORE 136485.5
AT ITER 137 NEW BEST:: SOT 269534 SOS 142470 HAS SOPS 142470 HAS SOUS 136343 HAS SOUPS 136343 WITH SCORE 136485.47
AT ITER 140 NEW BEST:: SOT 269580 SOS 142509 HAS SOPS 142509 HAS SOUS 136305 HAS SOUPS 136305 WITH SCORE 136447.509
AT ITER 149 NEW BEST:: SOT 269473 SOS 143082 HAS SOPS 143082 HAS SOUS 136248 HAS SOUPS 136248 WITH SCORE 136391.082
AT ITER 159 NEW BEST:: SOT 269413 SOS 143032 HAS SOPS 143032 HAS SOUS 136198 HAS SOUPS 136198 WITH SCORE 136341.032
AT ITER 164 NEW BEST:: SOT 269402 SOS 143021 HAS SOPS 143021 HAS SOUS 136187 HAS SOUPS 136187 WITH SCORE 136330.021
AT ITER 167 NEW BEST:: SOT 269402 SOS 143017 HAS SOPS 143017 HAS SOUS 136187 HAS SOUPS 136187 WITH SCORE 136330.017
AT ITER 173 NEW BEST:: SOT 269402 SOS 142972 HAS SOPS 142972 HAS SOUS 136187 HAS SOUPS 136187 WITH SCORE 136329.972
AT ITER 174 NEW BEST:: SOT 269243 SOS 142813 HAS SOPS 142813 HAS SOUS 136028 HAS SOUPS 136028 WITH SCORE 136170.813
AT ITER 185 NEW BEST:: SOT 269311 SOS 142874 HAS SOPS 142874 HAS SOUS 136026 HAS SOUPS 136026 WITH SCORE 136168.874
AT ITER 189 NEW BEST:: SOT 269057 SOS 142687 HAS SOPS 142687 HAS SOUS 135832 HAS SOUPS 135832 WITH SCORE 135974.687
AT ITER 190 NEW BEST:: SOT 268711 SOS 142341 HAS SOPS 142341 HAS SOUS 135486 HAS SOUPS 135486 WITH SCORE 135628.341
AT ITER 193 NEW BEST:: SOT 268184 SOS 143253 HAS SOPS 143253 HAS SOUS 135083 HAS SOUPS 135083 WITH SCORE 135226.253
AT ITER 195 NEW BEST:: SOT 268184 SOS 143166 HAS SOPS 143166 HAS SOUS 135083 HAS SOUPS 135083 WITH SCORE 135226.166
AT ITER 196 NEW BEST:: SOT 267813 SOS 142864 HAS SOPS 142864 HAS SOUS 134760 HAS SOUPS 134760 WITH SCORE 134902.864
AT ITER 204 NEW BEST:: SOT 267717 SOS 143074 HAS SOPS 143074 HAS SOUS 134664 HAS SOUPS 134664 WITH SCORE 134807.074
AT ITER 221 NEW BEST:: SOT 267507 SOS 143384 HAS SOPS 143384 HAS SOUS 134579 HAS SOUPS 134579 WITH SCORE 134722.384
AT ITER 229 NEW BEST:: SOT 267143 SOS 143097 HAS SOPS 143097 HAS SOUS 134236 HAS SOUPS 134236 WITH SCORE 134379.097
AT ITER 231 NEW BEST:: SOT 266992 SOS 142822 HAS SOPS 142822 HAS SOUS 133939 HAS SOUPS 133939 WITH SCORE 134081.822
AT ITER 241 NEW BEST:: SOT 266992 SOS 142678 HAS SOPS 142678 HAS SOUS 133939 HAS SOUPS 133939 WITH SCORE 134081.678
AT ITER 244 NEW BEST:: SOT 266992 SOS 142643 HAS SOPS 142643 HAS SOUS 133939 HAS SOUPS 133939 WITH SCORE 134081.643
AT ITER 245 NEW BEST:: SOT 266992 SOS 142467 HAS SOPS 142467 HAS SOUS 133939 HAS SOUPS 133939 WITH SCORE 134081.467
AT ITER 250 NEW BEST:: SOT 266946 SOS 142467 HAS SOPS 142467 HAS SOUS 133893 HAS SOUPS 133893 WITH SCORE 134035.467
AT ITER 258 NEW BEST:: SOT 266925 SOS 142459 HAS SOPS 142459 HAS SOUS 133872 HAS SOUPS 133872 WITH SCORE 134014.459
AT ITER 259 NEW BEST:: SOT 266925 SOS 142403 HAS SOPS 142403 HAS SOUS 133846 HAS SOUPS 133846 WITH SCORE 133988.403
AT ITER 268 NEW BEST:: SOT 266925 SOS 142313 HAS SOPS 142313 HAS SOUS 133846 HAS SOUPS 133846 WITH SCORE 133988.313
AT ITER 275 NEW BEST:: SOT 266905 SOS 142132 HAS SOPS 142132 HAS SOUS 133756 HAS SOUPS 133756 WITH SCORE 133898.132
AT ITER 282 NEW BEST:: SOT 266693 SOS 142112 HAS SOPS 142112 HAS SOUS 133544 HAS SOUPS 133544 WITH SCORE 133686.112
AT ITER 286 NEW BEST:: SOT 266693 SOS 142101 HAS SOPS 142101 HAS SOUS 133544 HAS SOUPS 133544 WITH SCORE 133686.101
AT ITER 293 NEW BEST:: SOT 266357 SOS 141840 HAS SOPS 141840 HAS SOUS 133255 HAS SOUPS 133255 WITH SCORE 133396.84
AT ITER 294 NEW BEST:: SOT 266262 SOS 141839 HAS SOPS 141839 HAS SOUS 133254 HAS SOUPS 133254 WITH SCORE 133395.839
AT ITER 297 NEW BEST:: SOT 266303 SOS 141829 HAS SOPS 141829 HAS SOUS 133186 HAS SOUPS 133186 WITH SCORE 133327.829
AT ITER 305 NEW BEST:: SOT 266303 SOS 141718 HAS SOPS 141718 HAS SOUS 133186 HAS SOUPS 133186 WITH SCORE 133327.718
AT ITER 311 NEW BEST:: SOT 266303 SOS 141715 HAS SOPS 141715 HAS SOUS 133186 HAS SOUPS 133186 WITH SCORE 133327.715
AT ITER 318 NEW BEST:: SOT 265953 SOS 141757 HAS SOPS 141757 HAS SOUS 132901 HAS SOUPS 132901 WITH SCORE 133042.757
AT ITER 320 NEW BEST:: SOT 265746 SOS 141518 HAS SOPS 141518 HAS SOUS 132698 HAS SOUPS 132698 WITH SCORE 132839.518
AT ITER 330 NEW BEST:: SOT 265746 SOS 141506 HAS SOPS 141506 HAS SOUS 132698 HAS SOUPS 132698 WITH SCORE 132839.506
AT ITER 331 NEW BEST:: SOT 265785 SOS 141516 HAS SOPS 141516 HAS SOUS 132673 HAS SOUPS 132673 WITH SCORE 132814.516
AT ITER 337 NEW BEST:: SOT 265785 SOS 141412 HAS SOPS 141412 HAS SOUS 132673 HAS SOUPS 132673 WITH SCORE 132814.412
AT ITER 338 NEW BEST:: SOT 265785 SOS 141394 HAS SOPS 141394 HAS SOUS 132673 HAS SOUPS 132673 WITH SCORE 132814.394
AT ITER 339 NEW BEST:: SOT 265785 SOS 141345 HAS SOPS 141345 HAS SOUS 132673 HAS SOUPS 132673 WITH SCORE 132814.345
AT ITER 346 NEW BEST:: SOT 265785 SOS 141333 HAS SOPS 141333 HAS SOUS 132673 HAS SOUPS 132673 WITH SCORE 132814.333
AT ITER 349 NEW BEST:: SOT 265680 SOS 141632 HAS SOPS 141632 HAS SOUS 132671 HAS SOUPS 132671 WITH SCORE 132812.632
AT ITER 350 NEW BEST:: SOT 265419 SOS 143174 HAS SOPS 143174 HAS SOUS 132577 HAS SOUPS 132577 WITH SCORE 132720.174
AT ITER 358 NEW BEST:: SOT 265461 SOS 143091 HAS SOPS 143091 HAS SOUS 132449 HAS SOUPS 132449 WITH SCORE 132592.091
AT ITER 367 NEW BEST:: SOT 265315 SOS 143043 HAS SOPS 143043 HAS SOUS 132401 HAS SOUPS 132401 WITH SCORE 132544.043
AT ITER 374 NEW BEST:: SOT 264877 SOS 142816 HAS SOPS 142816 HAS SOUS 132045 HAS SOUPS 132045 WITH SCORE 132187.816
AT ITER 375 NEW BEST:: SOT 264510 SOS 142549 HAS SOPS 142549 HAS SOUS 131750 HAS SOUPS 131750 WITH SCORE 131892.549
AT ITER 390 NEW BEST:: SOT 264478 SOS 142522 HAS SOPS 142522 HAS SOUS 131723 HAS SOUPS 131723 WITH SCORE 131865.522
AT ITER 392 NEW BEST:: SOT 264220 SOS 143073 HAS SOPS 143073 HAS SOUS 131481 HAS SOUPS 131481 WITH SCORE 131624.073
AT ITER 398 NEW BEST:: SOT 264220 SOS 142932 HAS SOPS 142932 HAS SOUS 131481 HAS SOUPS 131481 WITH SCORE 131623.932
AT ITER 408 NEW BEST:: SOT 264220 SOS 142929 HAS SOPS 142929 HAS SOUS 131478 HAS SOUPS 131478 WITH SCORE 131620.929
AT ITER 410 NEW BEST:: SOT 263894 SOS 144116 HAS SOPS 144116 HAS SOUS 131327 HAS SOUPS 131327 WITH SCORE 131471.116
AT ITER 412 NEW BEST:: SOT 263894 SOS 143913 HAS SOPS 143913 HAS SOUS 131327 HAS SOUPS 131327 WITH SCORE 131470.913
AT ITER 431 NEW BEST:: SOT 263702 SOS 143721 HAS SOPS 143721 HAS SOUS 131076 HAS SOUPS 131076 WITH SCORE 131219.721
AT ITER 438 NEW BEST:: SOT 263740 SOS 143568 HAS SOPS 143568 HAS SOUS 130920 HAS SOUPS 130920 WITH SCORE 131063.568
AT ITER 439 NEW BEST:: SOT 263516 SOS 144005 HAS SOPS 144005 HAS SOUS 130843 HAS SOUPS 130843 WITH SCORE 130987.005
AT ITER 448 NEW BEST:: SOT 263501 SOS 144034 HAS SOPS 144034 HAS SOUS 130829 HAS SOUPS 130829 WITH SCORE 130973.034
AT ITER 449 NEW BEST:: SOT 263500 SOS 143869 HAS SOPS 143869 HAS SOUS 130754 HAS SOUPS 130754 WITH SCORE 130897.869
AT ITER 456 NEW BEST:: SOT 263381 SOS 144044 HAS SOPS 144044 HAS SOUS 130664 HAS SOUPS 130664 WITH SCORE 130808.044
AT ITER 464 NEW BEST:: SOT 263381 SOS 144035 HAS SOPS 144035 HAS SOUS 130664 HAS SOUPS 130664 WITH SCORE 130808.035
AT ITER 471 NEW BEST:: SOT 263381 SOS 144009 HAS SOPS 144009 HAS SOUS 130664 HAS SOUPS 130664 WITH SCORE 130808.009
AT ITER 474 NEW BEST:: SOT 263177 SOS 143703 HAS SOPS 143703 HAS SOUS 130358 HAS SOUPS 130358 WITH SCORE 130501.703
AT ITER 481 NEW BEST:: SOT 263177 SOS 143641 HAS SOPS 143641 HAS SOUS 130357 HAS SOUPS 130357 WITH SCORE 130500.641
AT ITER 483 NEW BEST:: SOT 262660 SOS 144383 HAS SOPS 144383 HAS SOUS 130271 HAS SOUPS 130271 WITH SCORE 130415.383
AT ITER 485 NEW BEST:: SOT 262467 SOS 144308 HAS SOPS 144308 HAS SOUS 130149 HAS SOUPS 130149 WITH SCORE 130293.308
AT ITER 492 NEW BEST:: SOT 262511 SOS 144339 HAS SOPS 144339 HAS SOUS 130138 HAS SOUPS 130138 WITH SCORE 130282.339
AT ITER 498 NEW BEST:: SOT 262481 SOS 144309 HAS SOPS 144309 HAS SOUS 130093 HAS SOUPS 130093 WITH SCORE 130237.309
AT ITER 512 NEW BEST:: SOT 262481 SOS 144291 HAS SOPS 144291 HAS SOUS 130093 HAS SOUPS 130093 WITH SCORE 130237.291
AT ITER 518 NEW BEST:: SOT 262643 SOS 144339 HAS SOPS 144339 HAS SOUS 130071 HAS SOUPS 130071 WITH SCORE 130215.339
AT ITER 521 NEW BEST:: SOT 262643 SOS 144308 HAS SOPS 144308 HAS SOUS 130040 HAS SOUPS 130040 WITH SCORE 130184.308
AT ITER 527 NEW BEST:: SOT 262186 SOS 144827 HAS SOPS 144827 HAS SOUS 129830 HAS SOUPS 129830 WITH SCORE 129974.827
AT ITER 533 NEW BEST:: SOT 262095 SOS 144736 HAS SOPS 144736 HAS SOUS 129739 HAS SOUPS 129739 WITH SCORE 129883.736
AT ITER 535 NEW BEST:: SOT 261636 SOS 144665 HAS SOPS 144665 HAS SOUS 129348 HAS SOUPS 129348 WITH SCORE 129492.665
AT ITER 538 NEW BEST:: SOT 261534 SOS 144563 HAS SOPS 144563 HAS SOUS 129246 HAS SOUPS 129246 WITH SCORE 129390.563
AT ITER 550 NEW BEST:: SOT 261592 SOS 144477 HAS SOPS 144477 HAS SOUS 129242 HAS SOUPS 129242 WITH SCORE 129386.477
AT ITER 556 NEW BEST:: SOT 261358 SOS 144243 HAS SOPS 144243 HAS SOUS 128945 HAS SOUPS 128945 WITH SCORE 129089.243
AT ITER 570 NEW BEST:: SOT 261308 SOS 144193 HAS SOPS 144193 HAS SOUS 128924 HAS SOUPS 128924 WITH SCORE 129068.193
AT ITER 575 NEW BEST:: SOT 261183 SOS 144539 HAS SOPS 144539 HAS SOUS 128633 HAS SOUPS 128633 WITH SCORE 128777.539
AT ITER 576 NEW BEST:: SOT 261180 SOS 144536 HAS SOPS 144536 HAS SOUS 128630 HAS SOUPS 128630 WITH SCORE 128774.536
AT ITER 582 NEW BEST:: SOT 261180 SOS 144538 HAS SOPS 144538 HAS SOUS 128581 HAS SOUPS 128581 WITH SCORE 128725.538
AT ITER 585 NEW BEST:: SOT 261180 SOS 144495 HAS SOPS 144495 HAS SOUS 128581 HAS SOUPS 128581 WITH SCORE 128725.495
AT ITER 600 NEW BEST:: SOT 261077 SOS 144070 HAS SOPS 144070 HAS SOUS 128547 HAS SOUPS 128547 WITH SCORE 128691.07
AT ITER 616 NEW BEST:: SOT 261077 SOS 144024 HAS SOPS 144024 HAS SOUS 128547 HAS SOUPS 128547 WITH SCORE 128691.024
AT ITER 621 NEW BEST:: SOT 261077 SOS 143320 HAS SOPS 143320 HAS SOUS 128531 HAS SOUPS 128531 WITH SCORE 128674.32
AT ITER 648 NEW BEST:: SOT 260921 SOS 143164 HAS SOPS 143164 HAS SOUS 128375 HAS SOUPS 128375 WITH SCORE 128518.164
AT ITER 655 NEW BEST:: SOT 260748 SOS 143031 HAS SOPS 143031 HAS SOUS 128212 HAS SOUPS 128212 WITH SCORE 128355.031
AT ITER 656 NEW BEST:: SOT 260407 SOS 142939 HAS SOPS 142939 HAS SOUS 128071 HAS SOUPS 128071 WITH SCORE 128213.939
AT ITER 664 NEW BEST:: SOT 260478 SOS 143027 HAS SOPS 143027 HAS SOUS 128019 HAS SOUPS 128019 WITH SCORE 128162.027
AT ITER 685 NEW BEST:: SOT 260355 SOS 142806 HAS SOPS 142806 HAS SOUS 127824 HAS SOUPS 127824 WITH SCORE 127966.806
AT ITER 686 NEW BEST:: SOT 260031 SOS 142720 HAS SOPS 142720 HAS SOUS 127582 HAS SOUPS 127582 WITH SCORE 127724.72
AT ITER 689 NEW BEST:: SOT 260031 SOS 141423 HAS SOPS 141423 HAS SOUS 127506 HAS SOUPS 127506 WITH SCORE 127647.423
AT ITER 694 NEW BEST:: SOT 260031 SOS 141420 HAS SOPS 141420 HAS SOUS 127503 HAS SOUPS 127503 WITH SCORE 127644.42
AT ITER 696 NEW BEST:: SOT 260158 SOS 141561 HAS SOPS 141561 HAS SOUS 127497 HAS SOUPS 127497 WITH SCORE 127638.561
AT ITER 705 NEW BEST:: SOT 260158 SOS 141460 HAS SOPS 141460 HAS SOUS 127497 HAS SOUPS 127497 WITH SCORE 127638.46
AT ITER 716 NEW BEST:: SOT 260125 SOS 141396 HAS SOPS 141396 HAS SOUS 127411 HAS SOUPS 127411 WITH SCORE 127552.396
AT ITER 717 NEW BEST:: SOT 260117 SOS 141373 HAS SOPS 141373 HAS SOUS 127403 HAS SOUPS 127403 WITH SCORE 127544.373
AT ITER 719 NEW BEST:: SOT 260037 SOS 141253 HAS SOPS 141253 HAS SOUS 127283 HAS SOUPS 127283 WITH SCORE 127424.253
AT ITER 734 NEW BEST:: SOT 260037 SOS 141221 HAS SOPS 141221 HAS SOUS 127283 HAS SOUPS 127283 WITH SCORE 127424.221
AT ITER 746 NEW BEST:: SOT 260037 SOS 140987 HAS SOPS 140987 HAS SOUS 127228 HAS SOUPS 127228 WITH SCORE 127368.987
AT ITER 748 NEW BEST:: SOT 259900 SOS 141175 HAS SOPS 141175 HAS SOUS 127151 HAS SOUPS 127151 WITH SCORE 127292.175
AT ITER 752 NEW BEST:: SOT 259900 SOS 141158 HAS SOPS 141158 HAS SOUS 127151 HAS SOUPS 127151 WITH SCORE 127292.158
AT ITER 765 NEW BEST:: SOT 259900 SOS 141108 HAS SOPS 141108 HAS SOUS 127151 HAS SOUPS 127151 WITH SCORE 127292.108
AT ITER 766 NEW BEST:: SOT 259813 SOS 141097 HAS SOPS 141097 HAS SOUS 127078 HAS SOUPS 127078 WITH SCORE 127219.097
AT ITER 769 NEW BEST:: SOT 259813 SOS 140976 HAS SOPS 140976 HAS SOUS 127078 HAS SOUPS 127078 WITH SCORE 127218.976
AT ITER 772 NEW BEST:: SOT 259659 SOS 140914 HAS SOPS 140914 HAS SOUS 126960 HAS SOUPS 126960 WITH SCORE 127100.914
AT ITER 774 NEW BEST:: SOT 259630 SOS 140842 HAS SOPS 140842 HAS SOUS 126868 HAS SOUPS 126868 WITH SCORE 127008.842
AT ITER 777 NEW BEST:: SOT 259730 SOS 140821 HAS SOPS 140821 HAS SOUS 126856 HAS SOUPS 126856 WITH SCORE 126996.821
AT ITER 782 NEW BEST:: SOT 259730 SOS 140799 HAS SOPS 140799 HAS SOUS 126856 HAS SOUPS 126856 WITH SCORE 126996.799
AT ITER 784 NEW BEST:: SOT 259494 SOS 140895 HAS SOPS 140895 HAS SOUS 126691 HAS SOUPS 126691 WITH SCORE 126831.895
AT ITER 787 NEW BEST:: SOT 259494 SOS 140398 HAS SOPS 140398 HAS SOUS 126518 HAS SOUPS 126518 WITH SCORE 126658.398
AT ITER 789 NEW BEST:: SOT 259494 SOS 140261 HAS SOPS 140261 HAS SOUS 126518 HAS SOUPS 126518 WITH SCORE 126658.261
AT ITER 797 NEW BEST:: SOT 259249 SOS 140278 HAS SOPS 140278 HAS SOUS 126496 HAS SOUPS 126496 WITH SCORE 126636.278
AT ITER 824 NEW BEST:: SOT 259248 SOS 140277 HAS SOPS 140277 HAS SOUS 126495 HAS SOUPS 126495 WITH SCORE 126635.277
AT ITER 826 NEW BEST:: SOT 259162 SOS 140277 HAS SOPS 140277 HAS SOUS 126475 HAS SOUPS 126475 WITH SCORE 126615.277
AT ITER 828 NEW BEST:: SOT 259145 SOS 140157 HAS SOPS 140157 HAS SOUS 126408 HAS SOUPS 126408 WITH SCORE 126548.157
AT ITER 832 NEW BEST:: SOT 259145 SOS 140082 HAS SOPS 140082 HAS SOUS 126397 HAS SOUPS 126397 WITH SCORE 126537.082
AT ITER 851 NEW BEST:: SOT 259109 SOS 140063 HAS SOPS 140063 HAS SOUS 126392 HAS SOUPS 126392 WITH SCORE 126532.063
AT ITER 852 NEW BEST:: SOT 259109 SOS 140059 HAS SOPS 140059 HAS SOUS 126392 HAS SOUPS 126392 WITH SCORE 126532.059
AT ITER 855 NEW BEST:: SOT 258881 SOS 140063 HAS SOPS 140063 HAS SOUS 126311 HAS SOUPS 126311 WITH SCORE 126451.063
AT ITER 861 NEW BEST:: SOT 258881 SOS 140021 HAS SOPS 140021 HAS SOUS 126311 HAS SOUPS 126311 WITH SCORE 126451.021
AT ITER 871 NEW BEST:: SOT 258855 SOS 139995 HAS SOPS 139995 HAS SOUS 126271 HAS SOUPS 126271 WITH SCORE 126410.995
AT ITER 894 NEW BEST:: SOT 258448 SOS 139762 HAS SOPS 139762 HAS SOUS 125939 HAS SOUPS 125939 WITH SCORE 126078.762
AT ITER 898 NEW BEST:: SOT 258448 SOS 139762 HAS SOPS 139762 HAS SOUS 125891 HAS SOUPS 125891 WITH SCORE 126030.762
AT ITER 900 NEW BEST:: SOT 258384 SOS 139977 HAS SOPS 139977 HAS SOUS 125827 HAS SOUPS 125827 WITH SCORE 125966.977
AT ITER 907 NEW BEST:: SOT 257779 SOS 140673 HAS SOPS 140673 HAS SOUS 125530 HAS SOUPS 125530 WITH SCORE 125670.673
AT ITER 934 NEW BEST:: SOT 257245 SOS 140605 HAS SOPS 140605 HAS SOUS 125318 HAS SOUPS 125318 WITH SCORE 125458.605
AT ITER 945 NEW BEST:: SOT 257177 SOS 140514 HAS SOPS 140514 HAS SOUS 125219 HAS SOUPS 125219 WITH SCORE 125359.514
AT ITER 949 NEW BEST:: SOT 257112 SOS 140462 HAS SOPS 140462 HAS SOUS 125167 HAS SOUPS 125167 WITH SCORE 125307.462
AT ITER 956 NEW BEST:: SOT 256661 SOS 141402 HAS SOPS 141402 HAS SOUS 125116 HAS SOUPS 125116 WITH SCORE 125257.402
AT ITER 957 NEW BEST:: SOT 256332 SOS 141198 HAS SOPS 141198 HAS SOUS 124869 HAS SOUPS 124869 WITH SCORE 125010.198
AT ITER 966 NEW BEST:: SOT 256332 SOS 141291 HAS SOPS 141291 HAS SOUS 124867 HAS SOUPS 124867 WITH SCORE 125008.291
AT ITER 978 NEW BEST:: SOT 256332 SOS 141144 HAS SOPS 141144 HAS SOUS 124796 HAS SOUPS 124796 WITH SCORE 124937.144
AT ITER 987 NEW BEST:: SOT 256332 SOS 139940 HAS SOPS 139940 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124902.94
AT ITER 994 NEW BEST:: SOT 256332 SOS 139870 HAS SOPS 139870 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124902.87
AT ITER 998 NEW BEST:: SOT 256332 SOS 139754 HAS SOPS 139754 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124902.754
AT ITER 1011 NEW BEST:: SOT 256332 SOS 139738 HAS SOPS 139738 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124902.738
AT ITER 1015 NEW BEST:: SOT 256332 SOS 139629 HAS SOPS 139629 HAS SOUS 124763 HAS SOUPS 124763 WITH SCORE 124902.629
AT ITER 1021 NEW BEST:: SOT 256161 SOS 139587 HAS SOPS 139587 HAS SOUS 124721 HAS SOUPS 124721 WITH SCORE 124860.587
AT ITER 1024 NEW BEST:: SOT 255993 SOS 140663 HAS SOPS 140663 HAS SOUS 124555 HAS SOUPS 124555 WITH SCORE 124695.663
AT ITER 1037 NEW BEST:: SOT 255881 SOS 140546 HAS SOPS 140546 HAS SOUS 124360 HAS SOUPS 124360 WITH SCORE 124500.546
AT ITER 1053 NEW BEST:: SOT 255881 SOS 140516 HAS SOPS 140516 HAS SOUS 124331 HAS SOUPS 124331 WITH SCORE 124471.516
AT ITER 1057 NEW BEST:: SOT 255533 SOS 140457 HAS SOPS 140457 HAS SOUS 124186 HAS SOUPS 124186 WITH SCORE 124326.457
AT ITER 1060 NEW BEST:: SOT 255533 SOS 140439 HAS SOPS 140439 HAS SOUS 124186 HAS SOUPS 124186 WITH SCORE 124326.439
AT ITER 1061 NEW BEST:: SOT 255355 SOS 140978 HAS SOPS 140978 HAS SOUS 124162 HAS SOUPS 124162 WITH SCORE 124302.978
AT ITER 1084 NEW BEST:: SOT 255247 SOS 140870 HAS SOPS 140870 HAS SOUS 124054 HAS SOUPS 124054 WITH SCORE 124194.87
AT ITER 1089 NEW BEST:: SOT 255205 SOS 140828 HAS SOPS 140828 HAS SOUS 124025 HAS SOUPS 124025 WITH SCORE 124165.828
AT ITER 1091 NEW BEST:: SOT 255205 SOS 140529 HAS SOPS 140529 HAS SOUS 124025 HAS SOUPS 124025 WITH SCORE 124165.529
AT ITER 1097 NEW BEST:: SOT 255227 SOS 140551 HAS SOPS 140551 HAS SOUS 124023 HAS SOUPS 124023 WITH SCORE 124163.551
AT ITER 1101 NEW BEST:: SOT 255110 SOS 140434 HAS SOPS 140434 HAS SOUS 123838 HAS SOUPS 123838 WITH SCORE 123978.434
AT ITER 1107 NEW BEST:: SOT 255110 SOS 140327 HAS SOPS 140327 HAS SOUS 123838 HAS SOUPS 123838 WITH SCORE 123978.327
AT ITER 1109 NEW BEST:: SOT 255110 SOS 140245 HAS SOPS 140245 HAS SOUS 123838 HAS SOUPS 123838 WITH SCORE 123978.245
AT ITER 1110 NEW BEST:: SOT 255084 SOS 140219 HAS SOPS 140219 HAS SOUS 123720 HAS SOUPS 123720 WITH SCORE 123860.219
AT ITER 1111 NEW BEST:: SOT 255018 SOS 140129 HAS SOPS 140129 HAS SOUS 123553 HAS SOUPS 123553 WITH SCORE 123693.129
AT ITER 1118 NEW BEST:: SOT 255018 SOS 140119 HAS SOPS 140119 HAS SOUS 123553 HAS SOUPS 123553 WITH SCORE 123693.119
AT ITER 1120 NEW BEST:: SOT 254890 SOS 140412 HAS SOPS 140412 HAS SOUS 123513 HAS SOUPS 123513 WITH SCORE 123653.412
AT ITER 1131 NEW BEST:: SOT 254890 SOS 140367 HAS SOPS 140367 HAS SOUS 123503 HAS SOUPS 123503 WITH SCORE 123643.367
AT ITER 1135 NEW BEST:: SOT 254890 SOS 140226 HAS SOPS 140226 HAS SOUS 123503 HAS SOUPS 123503 WITH SCORE 123643.226
AT ITER 1140 NEW BEST:: SOT 254890 SOS 140236 HAS SOPS 140236 HAS SOUS 123488 HAS SOUPS 123488 WITH SCORE 123628.236
AT ITER 1145 NEW BEST:: SOT 254890 SOS 140117 HAS SOPS 140117 HAS SOUS 123455 HAS SOUPS 123455 WITH SCORE 123595.117
AT ITER 1150 NEW BEST:: SOT 254890 SOS 140079 HAS SOPS 140079 HAS SOUS 123455 HAS SOUPS 123455 WITH SCORE 123595.079
AT ITER 1154 NEW BEST:: SOT 254253 SOS 140131 HAS SOPS 140131 HAS SOUS 123327 HAS SOUPS 123327 WITH SCORE 123467.131
AT ITER 1160 NEW BEST:: SOT 254253 SOS 140131 HAS SOPS 140131 HAS SOUS 123278 HAS SOUPS 123278 WITH SCORE 123418.131
AT ITER 1164 NEW BEST:: SOT 254253 SOS 140067 HAS SOPS 140067 HAS SOUS 123278 HAS SOUPS 123278 WITH SCORE 123418.067
AT ITER 1166 NEW BEST:: SOT 254253 SOS 139958 HAS SOPS 139958 HAS SOUS 123278 HAS SOUPS 123278 WITH SCORE 123417.958
AT ITER 1189 NEW BEST:: SOT 254253 SOS 139843 HAS SOPS 139843 HAS SOUS 123278 HAS SOUPS 123278 WITH SCORE 123417.843
AT ITER 1195 NEW BEST:: SOT 254163 SOS 140598 HAS SOPS 140598 HAS SOUS 123188 HAS SOUPS 123188 WITH SCORE 123328.598
AT ITER 1196 NEW BEST:: SOT 254218 SOS 140621 HAS SOPS 140621 HAS SOUS 123159 HAS SOUPS 123159 WITH SCORE 123299.621
AT ITER 1197 NEW BEST:: SOT 254157 SOS 140497 HAS SOPS 140497 HAS SOUS 123037 HAS SOUPS 123037 WITH SCORE 123177.497
AT ITER 1206 NEW BEST:: SOT 254188 SOS 140564 HAS SOPS 140564 HAS SOUS 123016 HAS SOUPS 123016 WITH SCORE 123156.564
AT ITER 1207 NEW BEST:: SOT 254136 SOS 140399 HAS SOPS 140399 HAS SOUS 122893 HAS SOUPS 122893 WITH SCORE 123033.399
AT ITER 1212 NEW BEST:: SOT 254082 SOS 140318 HAS SOPS 140318 HAS SOUS 122812 HAS SOUPS 122812 WITH SCORE 122952.318
AT ITER 1214 NEW BEST:: SOT 254019 SOS 140255 HAS SOPS 140255 HAS SOUS 122777 HAS SOUPS 122777 WITH SCORE 122917.255
AT ITER 1219 NEW BEST:: SOT 254019 SOS 140228 HAS SOPS 140228 HAS SOUS 122777 HAS SOUPS 122777 WITH SCORE 122917.228
AT ITER 1221 NEW BEST:: SOT 254019 SOS 140157 HAS SOPS 140157 HAS SOUS 122777 HAS SOUPS 122777 WITH SCORE 122917.157
AT ITER 1232 NEW BEST:: SOT 254029 SOS 140167 HAS SOPS 140167 HAS SOUS 122706 HAS SOUPS 122706 WITH SCORE 122846.167
AT ITER 1235 NEW BEST:: SOT 254029 SOS 139821 HAS SOPS 139821 HAS SOUS 122706 HAS SOUPS 122706 WITH SCORE 122845.821
AT ITER 1237 NEW BEST:: SOT 254029 SOS 139734 HAS SOPS 139734 HAS SOUS 122706 HAS SOUPS 122706 WITH SCORE 122845.734
AT ITER 1245 NEW BEST:: SOT 253995 SOS 139700 HAS SOPS 139700 HAS SOUS 122689 HAS SOUPS 122689 WITH SCORE 122828.7
AT ITER 1259 NEW BEST:: SOT 253995 SOS 139525 HAS SOPS 139525 HAS SOUS 122689 HAS SOUPS 122689 WITH SCORE 122828.525
AT ITER 1267 NEW BEST:: SOT 253937 SOS 139892 HAS SOPS 139892 HAS SOUS 122650 HAS SOUPS 122650 WITH SCORE 122789.892
AT ITER 1275 NEW BEST:: SOT 253937 SOS 139864 HAS SOPS 139864 HAS SOUS 122650 HAS SOUPS 122650 WITH SCORE 122789.864
AT ITER 1278 NEW BEST:: SOT 254014 SOS 139774 HAS SOPS 139774 HAS SOUS 122475 HAS SOUPS 122475 WITH SCORE 122614.774
AT ITER 1290 NEW BEST:: SOT 254003 SOS 139677 HAS SOPS 139677 HAS SOUS 122440 HAS SOUPS 122440 WITH SCORE 122579.677
AT ITER 1291 NEW BEST:: SOT 254003 SOS 139647 HAS SOPS 139647 HAS SOUS 122410 HAS SOUPS 122410 WITH SCORE 122549.647
AT ITER 1296 NEW BEST:: SOT 254084 SOS 139588 HAS SOPS 139588 HAS SOUS 122388 HAS SOUPS 122388 WITH SCORE 122527.588
AT ITER 1315 NEW BEST:: SOT 253802 SOS 139484 HAS SOPS 139484 HAS SOUS 122241 HAS SOUPS 122241 WITH SCORE 122380.484
AT ITER 1318 NEW BEST:: SOT 253805 SOS 139487 HAS SOPS 139487 HAS SOUS 122226 HAS SOUPS 122226 WITH SCORE 122365.487
AT ITER 1323 NEW BEST:: SOT 253629 SOS 139439 HAS SOPS 139439 HAS SOUS 122051 HAS SOUPS 122051 WITH SCORE 122190.439
AT ITER 1334 NEW BEST:: SOT 253629 SOS 139381 HAS SOPS 139381 HAS SOUS 122032 HAS SOUPS 122032 WITH SCORE 122171.381
AT ITER 1340 NEW BEST:: SOT 253655 SOS 139415 HAS SOPS 139415 HAS SOUS 121947 HAS SOUPS 121947 WITH SCORE 122086.415
AT ITER 1348 NEW BEST:: SOT 253655 SOS 139355 HAS SOPS 139355 HAS SOUS 121947 HAS SOUPS 121947 WITH SCORE 122086.355
AT ITER 1363 NEW BEST:: SOT 253655 SOS 139289 HAS SOPS 139289 HAS SOUS 121947 HAS SOUPS 121947 WITH SCORE 122086.289
AT ITER 1366 NEW BEST:: SOT 253563 SOS 139220 HAS SOPS 139220 HAS SOUS 121855 HAS SOUPS 121855 WITH SCORE 121994.22
AT ITER 1367 NEW BEST:: SOT 253389 SOS 139207 HAS SOPS 139207 HAS SOUS 121842 HAS SOUPS 121842 WITH SCORE 121981.207
AT ITER 1369 NEW BEST:: SOT 253389 SOS 139146 HAS SOPS 139146 HAS SOUS 121842 HAS SOUPS 121842 WITH SCORE 121981.146
AT ITER 1370 NEW BEST:: SOT 253020 SOS 139343 HAS SOPS 139343 HAS SOUS 121698 HAS SOUPS 121698 WITH SCORE 121837.343
AT ITER 1373 NEW BEST:: SOT 253016 SOS 139339 HAS SOPS 139339 HAS SOUS 121694 HAS SOUPS 121694 WITH SCORE 121833.339
AT ITER 1382 NEW BEST:: SOT 253107 SOS 138539 HAS SOPS 138539 HAS SOUS 121486 HAS SOUPS 121486 WITH SCORE 121624.539
AT ITER 1383 NEW BEST:: SOT 253107 SOS 138522 HAS SOPS 138522 HAS SOUS 121486 HAS SOUPS 121486 WITH SCORE 121624.522
AT ITER 1384 NEW BEST:: SOT 253079 SOS 138691 HAS SOPS 138691 HAS SOUS 121395 HAS SOUPS 121395 WITH SCORE 121533.691
AT ITER 1385 NEW BEST:: SOT 253018 SOS 138630 HAS SOPS 138630 HAS SOUS 121334 HAS SOUPS 121334 WITH SCORE 121472.63
AT ITER 1396 NEW BEST:: SOT 253018 SOS 138613 HAS SOPS 138613 HAS SOUS 121334 HAS SOUPS 121334 WITH SCORE 121472.613
AT ITER 1398 NEW BEST:: SOT 253018 SOS 138575 HAS SOPS 138575 HAS SOUS 121325 HAS SOUPS 121325 WITH SCORE 121463.575
AT ITER 1400 NEW BEST:: SOT 253000 SOS 138557 HAS SOPS 138557 HAS SOUS 121307 HAS SOUPS 121307 WITH SCORE 121445.557
AT ITER 1402 NEW BEST:: SOT 252986 SOS 138543 HAS SOPS 138543 HAS SOUS 121293 HAS SOUPS 121293 WITH SCORE 121431.543
AT ITER 1404 NEW BEST:: SOT 252842 SOS 138763 HAS SOPS 138763 HAS SOUS 121272 HAS SOUPS 121272 WITH SCORE 121410.763
AT ITER 1413 NEW BEST:: SOT 252842 SOS 138735 HAS SOPS 138735 HAS SOUS 121272 HAS SOUPS 121272 WITH SCORE 121410.735
AT ITER 1443 NEW BEST:: SOT 252390 SOS 139623 HAS SOPS 139623 HAS SOUS 121224 HAS SOUPS 121224 WITH SCORE 121363.623
AT ITER 1451 NEW BEST:: SOT 252350 SOS 139567 HAS SOPS 139567 HAS SOUS 121184 HAS SOUPS 121184 WITH SCORE 121323.567
AT ITER 1471 NEW BEST:: SOT 252444 SOS 139523 HAS SOPS 139523 HAS SOUS 121094 HAS SOUPS 121094 WITH SCORE 121233.523
AT ITER 1476 NEW BEST:: SOT 252426 SOS 139472 HAS SOPS 139472 HAS SOUS 120985 HAS SOUPS 120985 WITH SCORE 121124.472
AT ITER 1492 NEW BEST:: SOT 252067 SOS 139186 HAS SOPS 139186 HAS SOUS 120693 HAS SOUPS 120693 WITH SCORE 120832.186
AT ITER 1502 NEW BEST:: SOT 251755 SOS 139016 HAS SOPS 139016 HAS SOUS 120404 HAS SOUPS 120404 WITH SCORE 120543.016
AT ITER 1511 NEW BEST:: SOT 251755 SOS 138902 HAS SOPS 138902 HAS SOUS 120404 HAS SOUPS 120404 WITH SCORE 120542.902
AT ITER 1512 NEW BEST:: SOT 251755 SOS 138898 HAS SOPS 138898 HAS SOUS 120404 HAS SOUPS 120404 WITH SCORE 120542.898
AT ITER 1517 NEW BEST:: SOT 251573 SOS 138540 HAS SOPS 138540 HAS SOUS 120222 HAS SOUPS 120222 WITH SCORE 120360.54
AT ITER 1525 NEW BEST:: SOT 251573 SOS 138516 HAS SOPS 138516 HAS SOUS 120198 HAS SOUPS 120198 WITH SCORE 120336.516
AT ITER 1542 NEW BEST:: SOT 251558 SOS 138516 HAS SOPS 138516 HAS SOUS 120183 HAS SOUPS 120183 WITH SCORE 120321.516
AT ITER 1548 NEW BEST:: SOT 251558 SOS 138512 HAS SOPS 138512 HAS SOUS 120183 HAS SOUPS 120183 WITH SCORE 120321.512
AT ITER 1559 NEW BEST:: SOT 251366 SOS 138408 HAS SOPS 138408 HAS SOUS 120071 HAS SOUPS 120071 WITH SCORE 120209.408
AT ITER 1561 NEW BEST:: SOT 250928 SOS 138715 HAS SOPS 138715 HAS SOUS 119896 HAS SOUPS 119896 WITH SCORE 120034.715
AT ITER 1562 NEW BEST:: SOT 250944 SOS 138504 HAS SOPS 138504 HAS SOUS 119720 HAS SOUPS 119720 WITH SCORE 119858.504
AT ITER 1571 NEW BEST:: SOT 250944 SOS 138429 HAS SOPS 138429 HAS SOUS 119678 HAS SOUPS 119678 WITH SCORE 119816.429
AT ITER 1585 NEW BEST:: SOT 250880 SOS 138389 HAS SOPS 138389 HAS SOUS 119649 HAS SOUPS 119649 WITH SCORE 119787.389
AT ITER 1591 NEW BEST:: SOT 250667 SOS 138264 HAS SOPS 138264 HAS SOUS 119524 HAS SOUPS 119524 WITH SCORE 119662.264
AT ITER 1600 NEW BEST:: SOT 250512 SOS 138702 HAS SOPS 138702 HAS SOUS 119409 HAS SOUPS 119409 WITH SCORE 119547.702
AT ITER 1611 NEW BEST:: SOT 250049 SOS 138627 HAS SOPS 138627 HAS SOUS 119132 HAS SOUPS 119132 WITH SCORE 119270.627
AT ITER 1628 NEW BEST:: SOT 250038 SOS 138583 HAS SOPS 138583 HAS SOUS 119110 HAS SOUPS 119110 WITH SCORE 119248.583
AT ITER 1631 NEW BEST:: SOT 249990 SOS 138535 HAS SOPS 138535 HAS SOUS 119080 HAS SOUPS 119080 WITH SCORE 119218.535
AT ITER 1639 NEW BEST:: SOT 249990 SOS 138443 HAS SOPS 138443 HAS SOUS 119080 HAS SOUPS 119080 WITH SCORE 119218.443
AT ITER 1674 NEW BEST:: SOT 249990 SOS 138384 HAS SOPS 138384 HAS SOUS 119080 HAS SOUPS 119080 WITH SCORE 119218.384
AT ITER 1686 NEW BEST:: SOT 249964 SOS 138358 HAS SOPS 138358 HAS SOUS 119080 HAS SOUPS 119080 WITH SCORE 119218.358
AT ITER 1691 NEW BEST:: SOT 249964 SOS 138279 HAS SOPS 138279 HAS SOUS 119080 HAS SOUPS 119080 WITH SCORE 119218.279
AT ITER 1703 NEW BEST:: SOT 249964 SOS 138279 HAS SOPS 138279 HAS SOUS 119026 HAS SOUPS 119026 WITH SCORE 119164.279
AT ITER 1713 NEW BEST:: SOT 249964 SOS 138357 HAS SOPS 138357 HAS SOUS 118963 HAS SOUPS 118963 WITH SCORE 119101.357
AT ITER 1718 NEW BEST:: SOT 249765 SOS 138194 HAS SOPS 138194 HAS SOUS 118800 HAS SOUPS 118800 WITH SCORE 118938.194
AT ITER 1725 NEW BEST:: SOT 249765 SOS 138175 HAS SOPS 138175 HAS SOUS 118800 HAS SOUPS 118800 WITH SCORE 118938.175
AT ITER 1730 NEW BEST:: SOT 249765 SOS 138160 HAS SOPS 138160 HAS SOUS 118798 HAS SOUPS 118798 WITH SCORE 118936.16
AT ITER 1731 NEW BEST:: SOT 249732 SOS 138127 HAS SOPS 138127 HAS SOUS 118765 HAS SOUPS 118765 WITH SCORE 118903.127
AT ITER 1736 NEW BEST:: SOT 249772 SOS 138089 HAS SOPS 138089 HAS SOUS 118750 HAS SOUPS 118750 WITH SCORE 118888.089
AT ITER 1753 NEW BEST:: SOT 249696 SOS 138044 HAS SOPS 138044 HAS SOUS 118705 HAS SOUPS 118705 WITH SCORE 118843.044
AT ITER 1774 NEW BEST:: SOT 249144 SOS 137792 HAS SOPS 137792 HAS SOUS 118692 HAS SOUPS 118692 WITH SCORE 118829.792
AT ITER 1775 NEW BEST:: SOT 249100 SOS 137729 HAS SOPS 137729 HAS SOUS 118669 HAS SOUPS 118669 WITH SCORE 118806.729
AT ITER 1780 NEW BEST:: SOT 249080 SOS 137723 HAS SOPS 137723 HAS SOUS 118649 HAS SOUPS 118649 WITH SCORE 118786.723
AT ITER 1783 NEW BEST:: SOT 249137 SOS 137710 HAS SOPS 137710 HAS SOUS 118636 HAS SOUPS 118636 WITH SCORE 118773.71
AT ITER 1786 NEW BEST:: SOT 249020 SOS 137631 HAS SOPS 137631 HAS SOUS 118601 HAS SOUPS 118601 WITH SCORE 118738.631
AT ITER 1792 NEW BEST:: SOT 248920 SOS 137511 HAS SOPS 137511 HAS SOUS 118597 HAS SOUPS 118597 WITH SCORE 118734.511
AT ITER 1794 NEW BEST:: SOT 248815 SOS 137482 HAS SOPS 137482 HAS SOUS 118499 HAS SOUPS 118499 WITH SCORE 118636.482
AT ITER 1800 NEW BEST:: SOT 248751 SOS 137418 HAS SOPS 137418 HAS SOUS 118462 HAS SOUPS 118462 WITH SCORE 118599.418
AT ITER 1803 NEW BEST:: SOT 248751 SOS 136827 HAS SOPS 136827 HAS SOUS 118437 HAS SOUPS 118437 WITH SCORE 118573.827
AT ITER 1805 NEW BEST:: SOT 248036 SOS 137196 HAS SOPS 137196 HAS SOUS 118044 HAS SOUPS 118044 WITH SCORE 118181.196
AT ITER 1810 NEW BEST:: SOT 248036 SOS 137018 HAS SOPS 137018 HAS SOUS 118044 HAS SOUPS 118044 WITH SCORE 118181.018
AT ITER 1815 NEW BEST:: SOT 247987 SOS 137746 HAS SOPS 137746 HAS SOUS 118033 HAS SOUPS 118033 WITH SCORE 118170.746
AT ITER 1819 NEW BEST:: SOT 247889 SOS 137780 HAS SOPS 137780 HAS SOUS 117893 HAS SOUPS 117893 WITH SCORE 118030.78
AT ITER 1832 NEW BEST:: SOT 247889 SOS 137704 HAS SOPS 137704 HAS SOUS 117893 HAS SOUPS 117893 WITH SCORE 118030.704
AT ITER 1855 NEW BEST:: SOT 247923 SOS 137738 HAS SOPS 137738 HAS SOUS 117876 HAS SOUPS 117876 WITH SCORE 118013.738
AT ITER 1864 NEW BEST:: SOT 247710 SOS 137566 HAS SOPS 137566 HAS SOUS 117704 HAS SOUPS 117704 WITH SCORE 117841.566
AT ITER 1871 NEW BEST:: SOT 247710 SOS 137532 HAS SOPS 137532 HAS SOUS 117683 HAS SOUPS 117683 WITH SCORE 117820.532
AT ITER 1877 NEW BEST:: SOT 247702 SOS 137524 HAS SOPS 137524 HAS SOUS 117675 HAS SOUPS 117675 WITH SCORE 117812.524
AT ITER 1881 NEW BEST:: SOT 247546 SOS 137459 HAS SOPS 137459 HAS SOUS 117632 HAS SOUPS 117632 WITH SCORE 117769.459
AT ITER 1883 NEW BEST:: SOT 247546 SOS 137459 HAS SOPS 137459 HAS SOUS 117607 HAS SOUPS 117607 WITH SCORE 117744.459
AT ITER 1892 NEW BEST:: SOT 247546 SOS 137438 HAS SOPS 137438 HAS SOUS 117607 HAS SOUPS 117607 WITH SCORE 117744.438
AT ITER 1907 NEW BEST:: SOT 247399 SOS 137359 HAS SOPS 137359 HAS SOUS 117580 HAS SOUPS 117580 WITH SCORE 117717.359
AT ITER 1917 NEW BEST:: SOT 247391 SOS 137351 HAS SOPS 137351 HAS SOUS 117556 HAS SOUPS 117556 WITH SCORE 117693.351
AT ITER 1919 NEW BEST:: SOT 247391 SOS 137281 HAS SOPS 137281 HAS SOUS 117556 HAS SOUPS 117556 WITH SCORE 117693.281
AT ITER 1920 NEW BEST:: SOT 247373 SOS 137338 HAS SOPS 137338 HAS SOUS 117538 HAS SOUPS 117538 WITH SCORE 117675.338
AT ITER 1929 NEW BEST:: SOT 247449 SOS 137512 HAS SOPS 137512 HAS SOUS 117536 HAS SOUPS 117536 WITH SCORE 117673.512
AT ITER 1937 NEW BEST:: SOT 247141 SOS 137331 HAS SOPS 137331 HAS SOUS 117355 HAS SOUPS 117355 WITH SCORE 117492.331
AT ITER 1938 NEW BEST:: SOT 246600 SOS 137340 HAS SOPS 137340 HAS SOUS 117056 HAS SOUPS 117056 WITH SCORE 117193.34
AT ITER 1945 NEW BEST:: SOT 246600 SOS 137258 HAS SOPS 137258 HAS SOUS 117056 HAS SOUPS 117056 WITH SCORE 117193.258
AT ITER 1946 NEW BEST:: SOT 246598 SOS 137257 HAS SOPS 137257 HAS SOUS 117055 HAS SOUPS 117055 WITH SCORE 117192.257
AT ITER 1947 NEW BEST:: SOT 246573 SOS 137711 HAS SOPS 137711 HAS SOUS 117030 HAS SOUPS 117030 WITH SCORE 117167.711
AT ITER 1948 NEW BEST:: SOT 246403 SOS 137574 HAS SOPS 137574 HAS SOUS 116893 HAS SOUPS 116893 WITH SCORE 117030.574
AT ITER 1954 NEW BEST:: SOT 246403 SOS 137463 HAS SOPS 137463 HAS SOUS 116893 HAS SOUPS 116893 WITH SCORE 117030.463
AT ITER 1956 NEW BEST:: SOT 246403 SOS 137433 HAS SOPS 137433 HAS SOUS 116893 HAS SOUPS 116893 WITH SCORE 117030.433
AT ITER 1957 NEW BEST:: SOT 246252 SOS 137288 HAS SOPS 137288 HAS SOUS 116778 HAS SOUPS 116778 WITH SCORE 116915.288
AT ITER 1990 NEW BEST:: SOT 246202 SOS 137238 HAS SOPS 137238 HAS SOUS 116773 HAS SOUPS 116773 WITH SCORE 116910.238
AT ITER 2017 NEW BEST:: SOT 246133 SOS 137151 HAS SOPS 137151 HAS SOUS 116660 HAS SOUPS 116660 WITH SCORE 116797.151
AT ITER 2030 NEW BEST:: SOT 246133 SOS 137143 HAS SOPS 137143 HAS SOUS 116572 HAS SOUPS 116572 WITH SCORE 116709.143
AT ITER 2040 NEW BEST:: SOT 246132 SOS 137189 HAS SOPS 137189 HAS SOUS 116491 HAS SOUPS 116491 WITH SCORE 116628.189
AT ITER 2041 NEW BEST:: SOT 245989 SOS 137654 HAS SOPS 137654 HAS SOUS 116421 HAS SOUPS 116421 WITH SCORE 116558.654
AT ITER 2052 NEW BEST:: SOT 245989 SOS 137625 HAS SOPS 137625 HAS SOUS 116421 HAS SOUPS 116421 WITH SCORE 116558.625
AT ITER 2062 NEW BEST:: SOT 245989 SOS 137591 HAS SOPS 137591 HAS SOUS 116421 HAS SOUPS 116421 WITH SCORE 116558.591
AT ITER 2078 NEW BEST:: SOT 246009 SOS 137556 HAS SOPS 137556 HAS SOUS 116310 HAS SOUPS 116310 WITH SCORE 116447.556
AT ITER 2099 NEW BEST:: SOT 245947 SOS 137463 HAS SOPS 137463 HAS SOUS 116213 HAS SOUPS 116213 WITH SCORE 116350.463
AT ITER 2100 NEW BEST:: SOT 245616 SOS 137331 HAS SOPS 137331 HAS SOUS 116095 HAS SOUPS 116095 WITH SCORE 116232.331
AT ITER 2108 NEW BEST:: SOT 245562 SOS 137357 HAS SOPS 137357 HAS SOUS 116041 HAS SOUPS 116041 WITH SCORE 116178.357
AT ITER 2110 NEW BEST:: SOT 245528 SOS 137441 HAS SOPS 137441 HAS SOUS 115960 HAS SOUPS 115960 WITH SCORE 116097.441
AT ITER 2131 NEW BEST:: SOT 245522 SOS 137435 HAS SOPS 137435 HAS SOUS 115954 HAS SOUPS 115954 WITH SCORE 116091.435
AT ITER 2142 NEW BEST:: SOT 245522 SOS 137403 HAS SOPS 137403 HAS SOUS 115954 HAS SOUPS 115954 WITH SCORE 116091.403
AT ITER 2144 NEW BEST:: SOT 245555 SOS 137416 HAS SOPS 137416 HAS SOUS 115946 HAS SOUPS 115946 WITH SCORE 116083.416
AT ITER 2149 NEW BEST:: SOT 245553 SOS 137389 HAS SOPS 137389 HAS SOUS 115912 HAS SOUPS 115912 WITH SCORE 116049.389
AT ITER 2151 NEW BEST:: SOT 245340 SOS 137829 HAS SOPS 137829 HAS SOUS 115899 HAS SOUPS 115899 WITH SCORE 116036.829
AT ITER 2152 NEW BEST:: SOT 245336 SOS 137673 HAS SOPS 137673 HAS SOUS 115769 HAS SOUPS 115769 WITH SCORE 115906.673
AT ITER 2154 NEW BEST:: SOT 245309 SOS 137646 HAS SOPS 137646 HAS SOUS 115742 HAS SOUPS 115742 WITH SCORE 115879.646
AT ITER 2159 NEW BEST:: SOT 245268 SOS 137538 HAS SOPS 137538 HAS SOUS 115636 HAS SOUPS 115636 WITH SCORE 115773.538
AT ITER 2160 NEW BEST:: SOT 245241 SOS 137522 HAS SOPS 137522 HAS SOUS 115632 HAS SOUPS 115632 WITH SCORE 115769.522
AT ITER 2161 NEW BEST:: SOT 245177 SOS 137451 HAS SOPS 137451 HAS SOUS 115495 HAS SOUPS 115495 WITH SCORE 115632.451
AT ITER 2163 NEW BEST:: SOT 245065 SOS 137325 HAS SOPS 137325 HAS SOUS 115363 HAS SOUPS 115363 WITH SCORE 115500.325
AT ITER 2169 NEW BEST:: SOT 245061 SOS 137321 HAS SOPS 137321 HAS SOUS 115338 HAS SOUPS 115338 WITH SCORE 115475.321
AT ITER 2186 NEW BEST:: SOT 245061 SOS 137305 HAS SOPS 137305 HAS SOUS 115322 HAS SOUPS 115322 WITH SCORE 115459.305
AT ITER 2209 NEW BEST:: SOT 245061 SOS 137305 HAS SOPS 137305 HAS SOUS 115321 HAS SOUPS 115321 WITH SCORE 115458.305
AT ITER 2213 NEW BEST:: SOT 244985 SOS 136997 HAS SOPS 136997 HAS SOUS 115156 HAS SOUPS 115156 WITH SCORE 115292.997
AT ITER 2214 NEW BEST:: SOT 244965 SOS 136832 HAS SOPS 136832 HAS SOUS 115079 HAS SOUPS 115079 WITH SCORE 115215.832
AT ITER 2217 NEW BEST:: SOT 244633 SOS 136849 HAS SOPS 136849 HAS SOUS 114879 HAS SOUPS 114879 WITH SCORE 115015.849
AT ITER 2234 NEW BEST:: SOT 244633 SOS 136816 HAS SOPS 136816 HAS SOUS 114846 HAS SOUPS 114846 WITH SCORE 114982.816
AT ITER 2237 NEW BEST:: SOT 244595 SOS 136778 HAS SOPS 136778 HAS SOUS 114808 HAS SOUPS 114808 WITH SCORE 114944.778
AT ITER 2241 NEW BEST:: SOT 244491 SOS 136745 HAS SOPS 136745 HAS SOUS 114807 HAS SOUPS 114807 WITH SCORE 114943.745
AT ITER 2246 NEW BEST:: SOT 244366 SOS 136850 HAS SOPS 136850 HAS SOUS 114751 HAS SOUPS 114751 WITH SCORE 114887.85
AT ITER 2268 NEW BEST:: SOT 244296 SOS 136757 HAS SOPS 136757 HAS SOUS 114626 HAS SOUPS 114626 WITH SCORE 114762.757
AT ITER 2276 NEW BEST:: SOT 244296 SOS 136663 HAS SOPS 136663 HAS SOUS 114626 HAS SOUPS 114626 WITH SCORE 114762.663
AT ITER 2277 NEW BEST:: SOT 244309 SOS 136650 HAS SOPS 136650 HAS SOUS 114626 HAS SOUPS 114626 WITH SCORE 114762.65
AT ITER 2278 NEW BEST:: SOT 244264 SOS 136699 HAS SOPS 136699 HAS SOUS 114594 HAS SOUPS 114594 WITH SCORE 114730.699
AT ITER 2281 NEW BEST:: SOT 243669 SOS 136564 HAS SOPS 136564 HAS SOUS 114408 HAS SOUPS 114408 WITH SCORE 114544.564
AT ITER 2320 NEW BEST:: SOT 243669 SOS 136516 HAS SOPS 136516 HAS SOUS 114408 HAS SOUPS 114408 WITH SCORE 114544.516
AT ITER 2321 NEW BEST:: SOT 243679 SOS 136596 HAS SOPS 136596 HAS SOUS 114306 HAS SOUPS 114306 WITH SCORE 114442.596
AT ITER 2330 NEW BEST:: SOT 243642 SOS 136570 HAS SOPS 136570 HAS SOUS 114269 HAS SOUPS 114269 WITH SCORE 114405.57
AT ITER 2334 NEW BEST:: SOT 243642 SOS 136566 HAS SOPS 136566 HAS SOUS 114269 HAS SOUPS 114269 WITH SCORE 114405.566
AT ITER 2336 NEW BEST:: SOT 243246 SOS 136473 HAS SOPS 136473 HAS SOUS 113967 HAS SOUPS 113967 WITH SCORE 114103.473
AT ITER 2338 NEW BEST:: SOT 243165 SOS 136700 HAS SOPS 136700 HAS SOUS 113920 HAS SOUPS 113920 WITH SCORE 114056.7
AT ITER 2344 NEW BEST:: SOT 243163 SOS 137242 HAS SOPS 137242 HAS SOUS 113918 HAS SOUPS 113918 WITH SCORE 114055.242
AT ITER 2356 NEW BEST:: SOT 243163 SOS 137030 HAS SOPS 137030 HAS SOUS 113845 HAS SOUPS 113845 WITH SCORE 113982.03
AT ITER 2368 NEW BEST:: SOT 243161 SOS 137135 HAS SOPS 137135 HAS SOUS 113843 HAS SOUPS 113843 WITH SCORE 113980.135
AT ITER 2376 NEW BEST:: SOT 243161 SOS 137135 HAS SOPS 137135 HAS SOUS 113840 HAS SOUPS 113840 WITH SCORE 113977.135
AT ITER 2386 NEW BEST:: SOT 243073 SOS 137038 HAS SOPS 137038 HAS SOUS 113734 HAS SOUPS 113734 WITH SCORE 113871.038
AT ITER 2391 NEW BEST:: SOT 243073 SOS 137007 HAS SOPS 137007 HAS SOUS 113734 HAS SOUPS 113734 WITH SCORE 113871.007
AT ITER 2398 NEW BEST:: SOT 243048 SOS 136982 HAS SOPS 136982 HAS SOUS 113649 HAS SOUPS 113649 WITH SCORE 113785.982
AT ITER 2407 NEW BEST:: SOT 242880 SOS 136847 HAS SOPS 136847 HAS SOUS 113514 HAS SOUPS 113514 WITH SCORE 113650.847
AT ITER 2408 NEW BEST:: SOT 242810 SOS 136634 HAS SOPS 136634 HAS SOUS 113323 HAS SOUPS 113323 WITH SCORE 113459.634
AT ITER 2425 NEW BEST:: SOT 242754 SOS 136578 HAS SOPS 136578 HAS SOUS 113267 HAS SOUPS 113267 WITH SCORE 113403.578
AT ITER 2431 NEW BEST:: SOT 242745 SOS 136569 HAS SOPS 136569 HAS SOUS 113232 HAS SOUPS 113232 WITH SCORE 113368.569
AT ITER 2433 NEW BEST:: SOT 242727 SOS 136551 HAS SOPS 136551 HAS SOUS 113214 HAS SOUPS 113214 WITH SCORE 113350.551
AT ITER 2449 NEW BEST:: SOT 242719 SOS 136543 HAS SOPS 136543 HAS SOUS 113208 HAS SOUPS 113208 WITH SCORE 113344.543
AT ITER 2471 NEW BEST:: SOT 242719 SOS 136543 HAS SOPS 136543 HAS SOUS 113152 HAS SOUPS 113152 WITH SCORE 113288.543
AT ITER 2476 NEW BEST:: SOT 242719 SOS 136521 HAS SOPS 136521 HAS SOUS 113130 HAS SOUPS 113130 WITH SCORE 113266.521
AT ITER 2480 NEW BEST:: SOT 242577 SOS 136467 HAS SOPS 136467 HAS SOUS 113040 HAS SOUPS 113040 WITH SCORE 113176.467
AT ITER 2488 NEW BEST:: SOT 242533 SOS 136423 HAS SOPS 136423 HAS SOUS 112996 HAS SOUPS 112996 WITH SCORE 113132.423
AT ITER 2504 NEW BEST:: SOT 242535 SOS 136358 HAS SOPS 136358 HAS SOUS 112931 HAS SOUPS 112931 WITH SCORE 113067.358
AT ITER 2509 NEW BEST:: SOT 242488 SOS 136289 HAS SOPS 136289 HAS SOUS 112902 HAS SOUPS 112902 WITH SCORE 113038.289
AT ITER 2513 NEW BEST:: SOT 242488 SOS 136278 HAS SOPS 136278 HAS SOUS 112902 HAS SOUPS 112902 WITH SCORE 113038.278
AT ITER 2514 NEW BEST:: SOT 242455 SOS 136245 HAS SOPS 136245 HAS SOUS 112869 HAS SOUPS 112869 WITH SCORE 113005.245
AT ITER 2515 NEW BEST:: SOT 242386 SOS 136176 HAS SOPS 136176 HAS SOUS 112800 HAS SOUPS 112800 WITH SCORE 112936.176
AT ITER 2534 NEW BEST:: SOT 242319 SOS 136142 HAS SOPS 136142 HAS SOUS 112782 HAS SOUPS 112782 WITH SCORE 112918.142
AT ITER 2541 NEW BEST:: SOT 242345 SOS 136072 HAS SOPS 136072 HAS SOUS 112706 HAS SOUPS 112706 WITH SCORE 112842.072
AT ITER 2554 NEW BEST:: SOT 242345 SOS 135958 HAS SOPS 135958 HAS SOUS 112670 HAS SOUPS 112670 WITH SCORE 112805.958
AT ITER 2565 NEW BEST:: SOT 242345 SOS 135937 HAS SOPS 135937 HAS SOUS 112628 HAS SOUPS 112628 WITH SCORE 112763.937
AT ITER 2578 NEW BEST:: SOT 242186 SOS 135910 HAS SOPS 135910 HAS SOUS 112613 HAS SOUPS 112613 WITH SCORE 112748.91
AT ITER 2602 NEW BEST:: SOT 242186 SOS 135748 HAS SOPS 135748 HAS SOUS 112610 HAS SOUPS 112610 WITH SCORE 112745.748
AT ITER 2613 NEW BEST:: SOT 242181 SOS 135753 HAS SOPS 135753 HAS SOUS 112605 HAS SOUPS 112605 WITH SCORE 112740.753
AT ITER 2624 NEW BEST:: SOT 242181 SOS 135759 HAS SOPS 135759 HAS SOUS 112583 HAS SOUPS 112583 WITH SCORE 112718.759
AT ITER 2627 NEW BEST:: SOT 242181 SOS 135679 HAS SOPS 135679 HAS SOUS 112573 HAS SOUPS 112573 WITH SCORE 112708.679
AT ITER 2637 NEW BEST:: SOT 242181 SOS 135676 HAS SOPS 135676 HAS SOUS 112573 HAS SOUPS 112573 WITH SCORE 112708.676
AT ITER 2638 NEW BEST:: SOT 242152 SOS 135647 HAS SOPS 135647 HAS SOUS 112544 HAS SOUPS 112544 WITH SCORE 112679.647
AT ITER 2646 NEW BEST:: SOT 242074 SOS 135920 HAS SOPS 135920 HAS SOUS 112489 HAS SOUPS 112489 WITH SCORE 112624.92
AT ITER 2671 NEW BEST:: SOT 241986 SOS 135854 HAS SOPS 135854 HAS SOUS 112423 HAS SOUPS 112423 WITH SCORE 112558.854
AT ITER 2673 NEW BEST:: SOT 241876 SOS 135755 HAS SOPS 135755 HAS SOUS 112228 HAS SOUPS 112228 WITH SCORE 112363.755
AT ITER 2677 NEW BEST:: SOT 241802 SOS 135667 HAS SOPS 135667 HAS SOUS 112140 HAS SOUPS 112140 WITH SCORE 112275.667
AT ITER 2695 NEW BEST:: SOT 241733 SOS 135823 HAS SOPS 135823 HAS SOUS 112124 HAS SOUPS 112124 WITH SCORE 112259.823
AT ITER 2698 NEW BEST:: SOT 241820 SOS 135881 HAS SOPS 135881 HAS SOUS 111968 HAS SOUPS 111968 WITH SCORE 112103.881
AT ITER 2702 NEW BEST:: SOT 241893 SOS 135917 HAS SOPS 135917 HAS SOUS 111955 HAS SOUPS 111955 WITH SCORE 112090.917
AT ITER 2703 NEW BEST:: SOT 241846 SOS 135835 HAS SOPS 135835 HAS SOUS 111911 HAS SOUPS 111911 WITH SCORE 112046.835
AT ITER 2717 NEW BEST:: SOT 241915 SOS 135904 HAS SOPS 135904 HAS SOUS 111877 HAS SOUPS 111877 WITH SCORE 112012.904
AT ITER 2719 NEW BEST:: SOT 241916 SOS 135947 HAS SOPS 135947 HAS SOUS 111803 HAS SOUPS 111803 WITH SCORE 111938.947
AT ITER 2722 NEW BEST:: SOT 241862 SOS 135989 HAS SOPS 135989 HAS SOUS 111749 HAS SOUPS 111749 WITH SCORE 111884.989
AT ITER 2727 NEW BEST:: SOT 241862 SOS 135989 HAS SOPS 135989 HAS SOUS 111728 HAS SOUPS 111728 WITH SCORE 111863.989
AT ITER 2732 NEW BEST:: SOT 241862 SOS 135917 HAS SOPS 135917 HAS SOUS 111728 HAS SOUPS 111728 WITH SCORE 111863.917
AT ITER 2752 NEW BEST:: SOT 241705 SOS 136174 HAS SOPS 136174 HAS SOUS 111613 HAS SOUPS 111613 WITH SCORE 111749.174
AT ITER 2759 NEW BEST:: SOT 241673 SOS 136142 HAS SOPS 136142 HAS SOUS 111567 HAS SOUPS 111567 WITH SCORE 111703.142
AT ITER 2770 NEW BEST:: SOT 241666 SOS 136135 HAS SOPS 136135 HAS SOUS 111560 HAS SOUPS 111560 WITH SCORE 111696.135
AT ITER 2773 NEW BEST:: SOT 241658 SOS 136127 HAS SOPS 136127 HAS SOUS 111552 HAS SOUPS 111552 WITH SCORE 111688.127
AT ITER 2794 NEW BEST:: SOT 241702 SOS 136110 HAS SOPS 136110 HAS SOUS 111534 HAS SOUPS 111534 WITH SCORE 111670.11
AT ITER 2801 NEW BEST:: SOT 241482 SOS 136156 HAS SOPS 136156 HAS SOUS 111449 HAS SOUPS 111449 WITH SCORE 111585.156
AT ITER 2802 NEW BEST:: SOT 241452 SOS 136148 HAS SOPS 136148 HAS SOUS 111441 HAS SOUPS 111441 WITH SCORE 111577.148
AT ITER 2811 NEW BEST:: SOT 241428 SOS 136124 HAS SOPS 136124 HAS SOUS 111417 HAS SOUPS 111417 WITH SCORE 111553.124
AT ITER 2836 NEW BEST:: SOT 241408 SOS 136104 HAS SOPS 136104 HAS SOUS 111397 HAS SOUPS 111397 WITH SCORE 111533.104
AT ITER 2864 NEW BEST:: SOT 241408 SOS 135852 HAS SOPS 135852 HAS SOUS 111397 HAS SOUPS 111397 WITH SCORE 111532.852
AT ITER 2867 NEW BEST:: SOT 241408 SOS 135774 HAS SOPS 135774 HAS SOUS 111397 HAS SOUPS 111397 WITH SCORE 111532.774
AT ITER 2882 NEW BEST:: SOT 241398 SOS 135726 HAS SOPS 135726 HAS SOUS 111361 HAS SOUPS 111361 WITH SCORE 111496.726
AT ITER 2886 NEW BEST:: SOT 241168 SOS 135568 HAS SOPS 135568 HAS SOUS 111203 HAS SOUPS 111203 WITH SCORE 111338.568
AT ITER 2890 NEW BEST:: SOT 241148 SOS 135548 HAS SOPS 135548 HAS SOUS 111160 HAS SOUPS 111160 WITH SCORE 111295.548
AT ITER 2900 NEW BEST:: SOT 241039 SOS 135833 HAS SOPS 135833 HAS SOUS 111061 HAS SOUPS 111061 WITH SCORE 111196.833
AT ITER 2905 NEW BEST:: SOT 240640 SOS 135656 HAS SOPS 135656 HAS SOUS 110779 HAS SOUPS 110779 WITH SCORE 110914.656
AT ITER 2918 NEW BEST:: SOT 240640 SOS 135622 HAS SOPS 135622 HAS SOUS 110779 HAS SOUPS 110779 WITH SCORE 110914.622
AT ITER 2933 NEW BEST:: SOT 240640 SOS 135562 HAS SOPS 135562 HAS SOUS 110768 HAS SOUPS 110768 WITH SCORE 110903.562
AT ITER 2937 NEW BEST:: SOT 240214 SOS 135373 HAS SOPS 135373 HAS SOUS 110566 HAS SOUPS 110566 WITH SCORE 110701.373
AT ITER 2953 NEW BEST:: SOT 240026 SOS 135500 HAS SOPS 135500 HAS SOUS 110498 HAS SOUPS 110498 WITH SCORE 110633.5
AT ITER 2956 NEW BEST:: SOT 240043 SOS 135517 HAS SOPS 135517 HAS SOUS 110455 HAS SOUPS 110455 WITH SCORE 110590.517
AT ITER 2961 NEW BEST:: SOT 240043 SOS 135485 HAS SOPS 135485 HAS SOUS 110455 HAS SOUPS 110455 WITH SCORE 110590.485
AT ITER 2976 NEW BEST:: SOT 239884 SOS 135392 HAS SOPS 135392 HAS SOUS 110362 HAS SOUPS 110362 WITH SCORE 110497.392
AT ITER 2984 NEW BEST:: SOT 239884 SOS 135384 HAS SOPS 135384 HAS SOUS 110359 HAS SOUPS 110359 WITH SCORE 110494.384
AT ITER 2990 NEW BEST:: SOT 239903 SOS 135350 HAS SOPS 135350 HAS SOUS 110337 HAS SOUPS 110337 WITH SCORE 110472.35
AT ITER 2991 NEW BEST:: SOT 239891 SOS 135338 HAS SOPS 135338 HAS SOUS 110325 HAS SOUPS 110325 WITH SCORE 110460.338
AT ITER 2992 NEW BEST:: SOT 239891 SOS 135339 HAS SOPS 135339 HAS SOUS 110185 HAS SOUPS 110185 WITH SCORE 110320.339
AT ITER 3000 NEW BEST:: SOT 239868 SOS 135316 HAS SOPS 135316 HAS SOUS 110139 HAS SOUPS 110139 WITH SCORE 110274.316
AT ITER 3003 NEW BEST:: SOT 239629 SOS 135382 HAS SOPS 135382 HAS SOUS 110051 HAS SOUPS 110051 WITH SCORE 110186.382
AT ITER 3028 NEW BEST:: SOT 239662 SOS 135463 HAS SOPS 135463 HAS SOUS 110009 HAS SOUPS 110009 WITH SCORE 110144.463
AT ITER 3030 NEW BEST:: SOT 239541 SOS 135383 HAS SOPS 135383 HAS SOUS 109929 HAS SOUPS 109929 WITH SCORE 110064.383
AT ITER 3037 NEW BEST:: SOT 239541 SOS 135383 HAS SOPS 135383 HAS SOUS 109879 HAS SOUPS 109879 WITH SCORE 110014.383
AT ITER 3046 NEW BEST:: SOT 239644 SOS 135484 HAS SOPS 135484 HAS SOUS 109795 HAS SOUPS 109795 WITH SCORE 109930.484
AT ITER 3049 NEW BEST:: SOT 239567 SOS 135435 HAS SOPS 135435 HAS SOUS 109776 HAS SOUPS 109776 WITH SCORE 109911.435
AT ITER 3057 NEW BEST:: SOT 239523 SOS 135484 HAS SOPS 135484 HAS SOUS 109732 HAS SOUPS 109732 WITH SCORE 109867.484
AT ITER 3064 NEW BEST:: SOT 239466 SOS 135552 HAS SOPS 135552 HAS SOUS 109654 HAS SOUPS 109654 WITH SCORE 109789.552
AT ITER 3075 NEW BEST:: SOT 239165 SOS 135582 HAS SOPS 135582 HAS SOUS 109471 HAS SOUPS 109471 WITH SCORE 109606.582
AT ITER 3090 NEW BEST:: SOT 239165 SOS 135648 HAS SOPS 135648 HAS SOUS 109447 HAS SOUPS 109447 WITH SCORE 109582.648
AT ITER 3118 NEW BEST:: SOT 239167 SOS 135553 HAS SOPS 135553 HAS SOUS 109425 HAS SOUPS 109425 WITH SCORE 109560.553
AT ITER 3126 NEW BEST:: SOT 239019 SOS 135427 HAS SOPS 135427 HAS SOUS 109299 HAS SOUPS 109299 WITH SCORE 109434.427
AT ITER 3135 NEW BEST:: SOT 238580 SOS 135248 HAS SOPS 135248 HAS SOUS 109206 HAS SOUPS 109206 WITH SCORE 109341.248
AT ITER 3143 NEW BEST:: SOT 238473 SOS 135215 HAS SOPS 135215 HAS SOUS 109198 HAS SOUPS 109198 WITH SCORE 109333.215
AT ITER 3145 NEW BEST:: SOT 238473 SOS 135167 HAS SOPS 135167 HAS SOUS 109198 HAS SOUPS 109198 WITH SCORE 109333.167
AT ITER 3152 NEW BEST:: SOT 238435 SOS 134949 HAS SOPS 134949 HAS SOUS 109104 HAS SOUPS 109104 WITH SCORE 109238.949
AT ITER 3153 NEW BEST:: SOT 238207 SOS 135111 HAS SOPS 135111 HAS SOUS 108990 HAS SOUPS 108990 WITH SCORE 109125.111
AT ITER 3155 NEW BEST:: SOT 238315 SOS 135237 HAS SOPS 135237 HAS SOUS 108989 HAS SOUPS 108989 WITH SCORE 109124.237
AT ITER 3183 NEW BEST:: SOT 238215 SOS 135218 HAS SOPS 135218 HAS SOUS 108926 HAS SOUPS 108926 WITH SCORE 109061.218
AT ITER 3186 NEW BEST:: SOT 238211 SOS 135214 HAS SOPS 135214 HAS SOUS 108922 HAS SOUPS 108922 WITH SCORE 109057.214
AT ITER 3189 NEW BEST:: SOT 238201 SOS 135046 HAS SOPS 135046 HAS SOUS 108849 HAS SOUPS 108849 WITH SCORE 108984.046
AT ITER 3218 NEW BEST:: SOT 238124 SOS 134969 HAS SOPS 134969 HAS SOUS 108772 HAS SOUPS 108772 WITH SCORE 108906.969
AT ITER 3219 NEW BEST:: SOT 238124 SOS 134950 HAS SOPS 134950 HAS SOUS 108772 HAS SOUPS 108772 WITH SCORE 108906.95
AT ITER 3220 NEW BEST:: SOT 238124 SOS 134939 HAS SOPS 134939 HAS SOUS 108755 HAS SOUPS 108755 WITH SCORE 108889.939
AT ITER 3221 NEW BEST:: SOT 237950 SOS 134795 HAS SOPS 134795 HAS SOUS 108611 HAS SOUPS 108611 WITH SCORE 108745.795
AT ITER 3255 NEW BEST:: SOT 237950 SOS 134765 HAS SOPS 134765 HAS SOUS 108611 HAS SOUPS 108611 WITH SCORE 108745.765
AT ITER 3256 NEW BEST:: SOT 237950 SOS 134759 HAS SOPS 134759 HAS SOUS 108584 HAS SOUPS 108584 WITH SCORE 108718.759
AT ITER 3284 NEW BEST:: SOT 237932 SOS 134777 HAS SOPS 134777 HAS SOUS 108576 HAS SOUPS 108576 WITH SCORE 108710.777
AT ITER 3292 NEW BEST:: SOT 237914 SOS 134759 HAS SOPS 134759 HAS SOUS 108563 HAS SOUPS 108563 WITH SCORE 108697.759
AT ITER 3301 NEW BEST:: SOT 237914 SOS 134687 HAS SOPS 134687 HAS SOUS 108550 HAS SOUPS 108550 WITH SCORE 108684.687
AT ITER 3308 NEW BEST:: SOT 237914 SOS 134657 HAS SOPS 134657 HAS SOUS 108550 HAS SOUPS 108550 WITH SCORE 108684.657
AT ITER 3314 NEW BEST:: SOT 237914 SOS 134617 HAS SOPS 134617 HAS SOUS 108550 HAS SOUPS 108550 WITH SCORE 108684.617
AT ITER 3316 NEW BEST:: SOT 237842 SOS 134663 HAS SOPS 134663 HAS SOUS 108478 HAS SOUPS 108478 WITH SCORE 108612.663
AT ITER 3322 NEW BEST:: SOT 237842 SOS 134582 HAS SOPS 134582 HAS SOUS 108478 HAS SOUPS 108478 WITH SCORE 108612.582
AT ITER 3332 NEW BEST:: SOT 237842 SOS 134573 HAS SOPS 134573 HAS SOUS 108478 HAS SOUPS 108478 WITH SCORE 108612.573
AT ITER 3334 NEW BEST:: SOT 237875 SOS 134725 HAS SOPS 134725 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108603.725
AT ITER 3337 NEW BEST:: SOT 237685 SOS 134941 HAS SOPS 134941 HAS SOUS 108373 HAS SOUPS 108373 WITH SCORE 108507.941
AT ITER 3340 NEW BEST:: SOT 237685 SOS 134888 HAS SOPS 134888 HAS SOUS 108373 HAS SOUPS 108373 WITH SCORE 108507.888
AT ITER 3345 NEW BEST:: SOT 237540 SOS 134682 HAS SOPS 134682 HAS SOUS 108145 HAS SOUPS 108145 WITH SCORE 108279.682
AT ITER 3348 NEW BEST:: SOT 237478 SOS 134620 HAS SOPS 134620 HAS SOUS 108139 HAS SOUPS 108139 WITH SCORE 108273.62
AT ITER 3354 NEW BEST:: SOT 236765 SOS 134917 HAS SOPS 134917 HAS SOUS 107760 HAS SOUPS 107760 WITH SCORE 107894.917
AT ITER 3377 NEW BEST:: SOT 236694 SOS 134919 HAS SOPS 134919 HAS SOUS 107689 HAS SOUPS 107689 WITH SCORE 107823.919
AT ITER 3379 NEW BEST:: SOT 236697 SOS 134875 HAS SOPS 134875 HAS SOUS 107637 HAS SOUPS 107637 WITH SCORE 107771.875
AT ITER 3391 NEW BEST:: SOT 236358 SOS 135009 HAS SOPS 135009 HAS SOUS 107540 HAS SOUPS 107540 WITH SCORE 107675.009
AT ITER 3393 NEW BEST:: SOT 236358 SOS 135009 HAS SOPS 135009 HAS SOUS 107531 HAS SOUPS 107531 WITH SCORE 107666.009
AT ITER 3398 NEW BEST:: SOT 236343 SOS 135054 HAS SOPS 135054 HAS SOUS 107516 HAS SOUPS 107516 WITH SCORE 107651.054
AT ITER 3402 NEW BEST:: SOT 236234 SOS 135015 HAS SOPS 135015 HAS SOUS 107477 HAS SOUPS 107477 WITH SCORE 107612.015
AT ITER 3405 NEW BEST:: SOT 236130 SOS 135031 HAS SOPS 135031 HAS SOUS 107424 HAS SOUPS 107424 WITH SCORE 107559.031
AT ITER 3447 NEW BEST:: SOT 236130 SOS 135016 HAS SOPS 135016 HAS SOUS 107379 HAS SOUPS 107379 WITH SCORE 107514.016
AT ITER 3451 NEW BEST:: SOT 235924 SOS 135137 HAS SOPS 135137 HAS SOUS 107183 HAS SOUPS 107183 WITH SCORE 107318.137
AT ITER 3459 NEW BEST:: SOT 235894 SOS 135107 HAS SOPS 135107 HAS SOUS 107153 HAS SOUPS 107153 WITH SCORE 107288.107
AT ITER 3462 NEW BEST:: SOT 235894 SOS 135158 HAS SOPS 135158 HAS SOUS 107141 HAS SOUPS 107141 WITH SCORE 107276.158
AT ITER 3481 NEW BEST:: SOT 235894 SOS 135146 HAS SOPS 135146 HAS SOUS 107141 HAS SOUPS 107141 WITH SCORE 107276.146
AT ITER 3487 NEW BEST:: SOT 235894 SOS 135165 HAS SOPS 135165 HAS SOUS 107103 HAS SOUPS 107103 WITH SCORE 107238.165
AT ITER 3491 NEW BEST:: SOT 235849 SOS 135120 HAS SOPS 135120 HAS SOUS 107058 HAS SOUPS 107058 WITH SCORE 107193.12
AT ITER 3495 NEW BEST:: SOT 235785 SOS 135056 HAS SOPS 135056 HAS SOUS 106930 HAS SOUPS 106930 WITH SCORE 107065.056
AT ITER 3513 NEW BEST:: SOT 235750 SOS 135021 HAS SOPS 135021 HAS SOUS 106895 HAS SOUPS 106895 WITH SCORE 107030.021
AT ITER 3516 NEW BEST:: SOT 235750 SOS 134982 HAS SOPS 134982 HAS SOUS 106895 HAS SOUPS 106895 WITH SCORE 107029.982
AT ITER 3517 NEW BEST:: SOT 235764 SOS 134859 HAS SOPS 134859 HAS SOUS 106738 HAS SOUPS 106738 WITH SCORE 106872.859
AT ITER 3518 NEW BEST:: SOT 235698 SOS 134837 HAS SOPS 134837 HAS SOUS 106698 HAS SOUPS 106698 WITH SCORE 106832.837
AT ITER 3528 NEW BEST:: SOT 235539 SOS 134721 HAS SOPS 134721 HAS SOUS 106582 HAS SOUPS 106582 WITH SCORE 106716.721
AT ITER 3535 NEW BEST:: SOT 235539 SOS 134650 HAS SOPS 134650 HAS SOUS 106582 HAS SOUPS 106582 WITH SCORE 106716.65
AT ITER 3536 NEW BEST:: SOT 235482 SOS 134593 HAS SOPS 134593 HAS SOUS 106524 HAS SOUPS 106524 WITH SCORE 106658.593
AT ITER 3537 NEW BEST:: SOT 235473 SOS 134584 HAS SOPS 134584 HAS SOUS 106515 HAS SOUPS 106515 WITH SCORE 106649.584
AT ITER 3551 NEW BEST:: SOT 235473 SOS 134554 HAS SOPS 134554 HAS SOUS 106515 HAS SOUPS 106515 WITH SCORE 106649.554
AT ITER 3570 NEW BEST:: SOT 235441 SOS 134522 HAS SOPS 134522 HAS SOUS 106489 HAS SOUPS 106489 WITH SCORE 106623.522
AT ITER 3606 NEW BEST:: SOT 235423 SOS 134573 HAS SOPS 134573 HAS SOUS 106469 HAS SOUPS 106469 WITH SCORE 106603.573
AT ITER 3630 NEW BEST:: SOT 235562 SOS 134564 HAS SOPS 134564 HAS SOUS 106356 HAS SOUPS 106356 WITH SCORE 106490.564
AT ITER 3633 NEW BEST:: SOT 235549 SOS 134551 HAS SOPS 134551 HAS SOUS 106343 HAS SOUPS 106343 WITH SCORE 106477.551
AT ITER 3637 NEW BEST:: SOT 235442 SOS 134548 HAS SOPS 134548 HAS SOUS 106340 HAS SOUPS 106340 WITH SCORE 106474.548
AT ITER 3643 NEW BEST:: SOT 235342 SOS 134448 HAS SOPS 134448 HAS SOUS 106240 HAS SOUPS 106240 WITH SCORE 106374.448
AT ITER 3677 NEW BEST:: SOT 235342 SOS 134448 HAS SOPS 134448 HAS SOUS 106232 HAS SOUPS 106232 WITH SCORE 106366.448
AT ITER 3682 NEW BEST:: SOT 235483 SOS 134557 HAS SOPS 134557 HAS SOUS 106146 HAS SOUPS 106146 WITH SCORE 106280.557
AT ITER 3689 NEW BEST:: SOT 235387 SOS 134575 HAS SOPS 134575 HAS SOUS 106102 HAS SOUPS 106102 WITH SCORE 106236.575
AT ITER 3703 NEW BEST:: SOT 234924 SOS 135386 HAS SOPS 135386 HAS SOUS 106071 HAS SOUPS 106071 WITH SCORE 106206.386
AT ITER 3709 NEW BEST:: SOT 234924 SOS 135328 HAS SOPS 135328 HAS SOUS 106062 HAS SOUPS 106062 WITH SCORE 106197.328
AT ITER 3723 NEW BEST:: SOT 234924 SOS 135275 HAS SOPS 135275 HAS SOUS 106062 HAS SOUPS 106062 WITH SCORE 106197.275
AT ITER 3739 NEW BEST:: SOT 235196 SOS 135406 HAS SOPS 135406 HAS SOUS 106050 HAS SOUPS 106050 WITH SCORE 106185.406
AT ITER 3741 NEW BEST:: SOT 235166 SOS 135376 HAS SOPS 135376 HAS SOUS 106020 HAS SOUPS 106020 WITH SCORE 106155.376
AT ITER 3762 NEW BEST:: SOT 235166 SOS 135391 HAS SOPS 135391 HAS SOUS 106014 HAS SOUPS 106014 WITH SCORE 106149.391
AT ITER 3773 NEW BEST:: SOT 235114 SOS 135339 HAS SOPS 135339 HAS SOUS 105962 HAS SOUPS 105962 WITH SCORE 106097.339
AT ITER 3783 NEW BEST:: SOT 235026 SOS 135207 HAS SOPS 135207 HAS SOUS 105798 HAS SOUPS 105798 WITH SCORE 105933.207
AT ITER 3786 NEW BEST:: SOT 234961 SOS 135170 HAS SOPS 135170 HAS SOUS 105761 HAS SOUPS 105761 WITH SCORE 105896.17
AT ITER 3789 NEW BEST:: SOT 234954 SOS 135163 HAS SOPS 135163 HAS SOUS 105754 HAS SOUPS 105754 WITH SCORE 105889.163
AT ITER 3797 NEW BEST:: SOT 234891 SOS 135270 HAS SOPS 135270 HAS SOUS 105691 HAS SOUPS 105691 WITH SCORE 105826.27
AT ITER 3803 NEW BEST:: SOT 234883 SOS 135270 HAS SOPS 135270 HAS SOUS 105690 HAS SOUPS 105690 WITH SCORE 105825.27
AT ITER 3828 NEW BEST:: SOT 234814 SOS 135201 HAS SOPS 135201 HAS SOUS 105589 HAS SOUPS 105589 WITH SCORE 105724.201
AT ITER 3838 NEW BEST:: SOT 234814 SOS 135151 HAS SOPS 135151 HAS SOUS 105589 HAS SOUPS 105589 WITH SCORE 105724.151
AT ITER 3853 NEW BEST:: SOT 234695 SOS 135096 HAS SOPS 135096 HAS SOUS 105565 HAS SOUPS 105565 WITH SCORE 105700.096
AT ITER 3858 NEW BEST:: SOT 234695 SOS 134775 HAS SOPS 134775 HAS SOUS 105541 HAS SOUPS 105541 WITH SCORE 105675.775
AT ITER 3876 NEW BEST:: SOT 234600 SOS 134749 HAS SOPS 134749 HAS SOUS 105515 HAS SOUPS 105515 WITH SCORE 105649.749
AT ITER 3905 NEW BEST:: SOT 234597 SOS 134690 HAS SOPS 134690 HAS SOUS 105506 HAS SOUPS 105506 WITH SCORE 105640.69
AT ITER 3928 NEW BEST:: SOT 234577 SOS 134675 HAS SOPS 134675 HAS SOUS 105491 HAS SOUPS 105491 WITH SCORE 105625.675
AT ITER 3931 NEW BEST:: SOT 234577 SOS 134628 HAS SOPS 134628 HAS SOUS 105491 HAS SOUPS 105491 WITH SCORE 105625.628
AT ITER 3937 NEW BEST:: SOT 234577 SOS 134612 HAS SOPS 134612 HAS SOUS 105491 HAS SOUPS 105491 WITH SCORE 105625.612
AT ITER 3938 NEW BEST:: SOT 234349 SOS 134391 HAS SOPS 134391 HAS SOUS 105313 HAS SOUPS 105313 WITH SCORE 105447.391
AT ITER 3942 NEW BEST:: SOT 234447 SOS 134119 HAS SOPS 134119 HAS SOUS 105242 HAS SOUPS 105242 WITH SCORE 105376.119
AT ITER 3953 NEW BEST:: SOT 234359 SOS 134046 HAS SOPS 134046 HAS SOUS 105169 HAS SOUPS 105169 WITH SCORE 105303.046
AT ITER 3961 NEW BEST:: SOT 233998 SOS 133745 HAS SOPS 133745 HAS SOUS 105067 HAS SOUPS 105067 WITH SCORE 105200.745
AT ITER 3976 NEW BEST:: SOT 233998 SOS 133677 HAS SOPS 133677 HAS SOUS 105067 HAS SOUPS 105067 WITH SCORE 105200.677
AT ITER 4014 NEW BEST:: SOT 233840 SOS 133603 HAS SOPS 133603 HAS SOUS 104993 HAS SOUPS 104993 WITH SCORE 105126.603
AT ITER 4036 NEW BEST:: SOT 233421 SOS 134811 HAS SOPS 134811 HAS SOUS 104700 HAS SOUPS 104700 WITH SCORE 104834.811
AT ITER 4046 NEW BEST:: SOT 233421 SOS 134775 HAS SOPS 134775 HAS SOUS 104700 HAS SOUPS 104700 WITH SCORE 104834.775
AT ITER 4047 NEW BEST:: SOT 233320 SOS 134707 HAS SOPS 134707 HAS SOUS 104662 HAS SOUPS 104662 WITH SCORE 104796.707
AT ITER 4049 NEW BEST:: SOT 233320 SOS 134736 HAS SOPS 134736 HAS SOUS 104660 HAS SOUPS 104660 WITH SCORE 104794.736
AT ITER 4058 NEW BEST:: SOT 233241 SOS 134657 HAS SOPS 134657 HAS SOUS 104581 HAS SOUPS 104581 WITH SCORE 104715.657
AT ITER 4074 NEW BEST:: SOT 233158 SOS 134574 HAS SOPS 134574 HAS SOUS 104534 HAS SOUPS 104534 WITH SCORE 104668.574
AT ITER 4083 NEW BEST:: SOT 233158 SOS 134555 HAS SOPS 134555 HAS SOUS 104532 HAS SOUPS 104532 WITH SCORE 104666.555
AT ITER 4090 NEW BEST:: SOT 233188 SOS 134559 HAS SOPS 134559 HAS SOUS 104434 HAS SOUPS 104434 WITH SCORE 104568.559
AT ITER 4100 NEW BEST:: SOT 233181 SOS 134473 HAS SOPS 134473 HAS SOUS 104396 HAS SOUPS 104396 WITH SCORE 104530.473
AT ITER 4106 NEW BEST:: SOT 233171 SOS 134463 HAS SOPS 134463 HAS SOUS 104368 HAS SOUPS 104368 WITH SCORE 104502.463
AT ITER 4111 NEW BEST:: SOT 233171 SOS 134326 HAS SOPS 134326 HAS SOUS 104337 HAS SOUPS 104337 WITH SCORE 104471.326
AT ITER 4112 NEW BEST:: SOT 233171 SOS 134286 HAS SOPS 134286 HAS SOUS 104337 HAS SOUPS 104337 WITH SCORE 104471.286
AT ITER 4121 NEW BEST:: SOT 233201 SOS 134256 HAS SOPS 134256 HAS SOUS 104313 HAS SOUPS 104313 WITH SCORE 104447.256
AT ITER 4123 NEW BEST:: SOT 233201 SOS 134256 HAS SOPS 134256 HAS SOUS 104273 HAS SOUPS 104273 WITH SCORE 104407.256
AT ITER 4126 NEW BEST:: SOT 233116 SOS 134181 HAS SOPS 134181 HAS SOUS 104198 HAS SOUPS 104198 WITH SCORE 104332.181
AT ITER 4130 NEW BEST:: SOT 233065 SOS 134130 HAS SOPS 134130 HAS SOUS 104147 HAS SOUPS 104147 WITH SCORE 104281.13
AT ITER 4148 NEW BEST:: SOT 233065 SOS 134129 HAS SOPS 134129 HAS SOUS 104147 HAS SOUPS 104147 WITH SCORE 104281.129
AT ITER 4180 NEW BEST:: SOT 233065 SOS 134144 HAS SOPS 134144 HAS SOUS 104137 HAS SOUPS 104137 WITH SCORE 104271.144
AT ITER 4185 NEW BEST:: SOT 233109 SOS 134188 HAS SOPS 134188 HAS SOUS 104131 HAS SOUPS 104131 WITH SCORE 104265.188
AT ITER 4186 NEW BEST:: SOT 233112 SOS 134255 HAS SOPS 134255 HAS SOUS 104106 HAS SOUPS 104106 WITH SCORE 104240.255
AT ITER 4189 NEW BEST:: SOT 233098 SOS 134241 HAS SOPS 134241 HAS SOUS 104092 HAS SOUPS 104092 WITH SCORE 104226.241
AT ITER 4205 NEW BEST:: SOT 232881 SOS 134072 HAS SOPS 134072 HAS SOUS 103924 HAS SOUPS 103924 WITH SCORE 104058.072
AT ITER 4208 NEW BEST:: SOT 232837 SOS 134028 HAS SOPS 134028 HAS SOUS 103786 HAS SOUPS 103786 WITH SCORE 103920.028
AT ITER 4223 NEW BEST:: SOT 232826 SOS 133811 HAS SOPS 133811 HAS SOUS 103708 HAS SOUPS 103708 WITH SCORE 103841.811
AT ITER 4224 NEW BEST:: SOT 232814 SOS 133809 HAS SOPS 133809 HAS SOUS 103708 HAS SOUPS 103708 WITH SCORE 103841.809
AT ITER 4231 NEW BEST:: SOT 232814 SOS 133787 HAS SOPS 133787 HAS SOUS 103642 HAS SOUPS 103642 WITH SCORE 103775.787
AT ITER 4236 NEW BEST:: SOT 232437 SOS 133529 HAS SOPS 133529 HAS SOUS 103590 HAS SOUPS 103590 WITH SCORE 103723.529
AT ITER 4248 NEW BEST:: SOT 232437 SOS 133418 HAS SOPS 133418 HAS SOUS 103465 HAS SOUPS 103465 WITH SCORE 103598.418
AT ITER 4263 NEW BEST:: SOT 232417 SOS 133398 HAS SOPS 133398 HAS SOUS 103405 HAS SOUPS 103405 WITH SCORE 103538.398
AT ITER 4270 NEW BEST:: SOT 232351 SOS 133668 HAS SOPS 133668 HAS SOUS 103359 HAS SOUPS 103359 WITH SCORE 103492.668
AT ITER 4279 NEW BEST:: SOT 232349 SOS 133666 HAS SOPS 133666 HAS SOUS 103357 HAS SOUPS 103357 WITH SCORE 103490.666
AT ITER 4297 NEW BEST:: SOT 232301 SOS 133649 HAS SOPS 133649 HAS SOUS 103247 HAS SOUPS 103247 WITH SCORE 103380.649
AT ITER 4300 NEW BEST:: SOT 232364 SOS 133825 HAS SOPS 133825 HAS SOUS 103081 HAS SOUPS 103081 WITH SCORE 103214.825
AT ITER 4319 NEW BEST:: SOT 232364 SOS 133911 HAS SOPS 133911 HAS SOUS 102996 HAS SOUPS 102996 WITH SCORE 103129.911
AT ITER 4335 NEW BEST:: SOT 232364 SOS 133881 HAS SOPS 133881 HAS SOUS 102996 HAS SOUPS 102996 WITH SCORE 103129.881
AT ITER 4348 NEW BEST:: SOT 232080 SOS 134303 HAS SOPS 134303 HAS SOUS 102829 HAS SOUPS 102829 WITH SCORE 102963.303
AT ITER 4358 NEW BEST:: SOT 232040 SOS 134263 HAS SOPS 134263 HAS SOUS 102758 HAS SOUPS 102758 WITH SCORE 102892.263
AT ITER 4402 NEW BEST:: SOT 231920 SOS 134144 HAS SOPS 134144 HAS SOUS 102657 HAS SOUPS 102657 WITH SCORE 102791.144
AT ITER 4417 NEW BEST:: SOT 231920 SOS 133635 HAS SOPS 133635 HAS SOUS 102537 HAS SOUPS 102537 WITH SCORE 102670.635
AT ITER 4429 NEW BEST:: SOT 231646 SOS 133401 HAS SOPS 133401 HAS SOUS 102305 HAS SOUPS 102305 WITH SCORE 102438.401
AT ITER 4464 NEW BEST:: SOT 231635 SOS 133390 HAS SOPS 133390 HAS SOUS 102294 HAS SOUPS 102294 WITH SCORE 102427.39
AT ITER 4474 NEW BEST:: SOT 231547 SOS 133346 HAS SOPS 133346 HAS SOUS 102283 HAS SOUPS 102283 WITH SCORE 102416.346
AT ITER 4488 NEW BEST:: SOT 231547 SOS 133324 HAS SOPS 133324 HAS SOUS 102283 HAS SOUPS 102283 WITH SCORE 102416.324
AT ITER 4493 NEW BEST:: SOT 231539 SOS 133316 HAS SOPS 133316 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102408.316
AT ITER 4519 NEW BEST:: SOT 231539 SOS 133301 HAS SOPS 133301 HAS SOUS 102256 HAS SOUPS 102256 WITH SCORE 102389.301
AT ITER 4534 NEW BEST:: SOT 231539 SOS 133301 HAS SOPS 133301 HAS SOUS 102132 HAS SOUPS 102132 WITH SCORE 102265.301
AT ITER 4550 NEW BEST:: SOT 231525 SOS 133287 HAS SOPS 133287 HAS SOUS 102123 HAS SOUPS 102123 WITH SCORE 102256.287
AT ITER 4588 NEW BEST:: SOT 231497 SOS 133259 HAS SOPS 133259 HAS SOUS 102095 HAS SOUPS 102095 WITH SCORE 102228.259
AT ITER 4609 NEW BEST:: SOT 231480 SOS 133242 HAS SOPS 133242 HAS SOUS 102078 HAS SOUPS 102078 WITH SCORE 102211.242
AT ITER 4616 NEW BEST:: SOT 231303 SOS 134063 HAS SOPS 134063 HAS SOUS 102075 HAS SOUPS 102075 WITH SCORE 102209.063
AT ITER 4622 NEW BEST:: SOT 231303 SOS 134063 HAS SOPS 134063 HAS SOUS 102051 HAS SOUPS 102051 WITH SCORE 102185.063
AT ITER 4635 NEW BEST:: SOT 231287 SOS 134032 HAS SOPS 134032 HAS SOUS 102020 HAS SOUPS 102020 WITH SCORE 102154.032
AT ITER 4652 NEW BEST:: SOT 231287 SOS 133866 HAS SOPS 133866 HAS SOUS 101970 HAS SOUPS 101970 WITH SCORE 102103.866
AT ITER 4653 NEW BEST:: SOT 231287 SOS 133684 HAS SOPS 133684 HAS SOUS 101947 HAS SOUPS 101947 WITH SCORE 102080.684
AT ITER 4655 NEW BEST:: SOT 231329 SOS 133726 HAS SOPS 133726 HAS SOUS 101939 HAS SOUPS 101939 WITH SCORE 102072.726
AT ITER 4665 NEW BEST:: SOT 231329 SOS 133702 HAS SOPS 133702 HAS SOUS 101897 HAS SOUPS 101897 WITH SCORE 102030.702
AT ITER 4670 NEW BEST:: SOT 231485 SOS 133789 HAS SOPS 133789 HAS SOUS 101859 HAS SOUPS 101859 WITH SCORE 101992.789
AT ITER 4674 NEW BEST:: SOT 231497 SOS 133750 HAS SOPS 133750 HAS SOUS 101849 HAS SOUPS 101849 WITH SCORE 101982.75
AT ITER 4675 NEW BEST:: SOT 231416 SOS 133860 HAS SOPS 133860 HAS SOUS 101768 HAS SOUPS 101768 WITH SCORE 101901.86
AT ITER 4699 NEW BEST:: SOT 231349 SOS 134536 HAS SOPS 134536 HAS SOUS 101725 HAS SOUPS 101725 WITH SCORE 101859.536
AT ITER 4730 NEW BEST:: SOT 231349 SOS 134529 HAS SOPS 134529 HAS SOUS 101725 HAS SOUPS 101725 WITH SCORE 101859.529
AT ITER 4744 NEW BEST:: SOT 231276 SOS 134456 HAS SOPS 134456 HAS SOUS 101652 HAS SOUPS 101652 WITH SCORE 101786.456
AT ITER 4745 NEW BEST:: SOT 230903 SOS 135228 HAS SOPS 135228 HAS SOUS 101629 HAS SOUPS 101629 WITH SCORE 101764.228
AT ITER 4750 NEW BEST:: SOT 230680 SOS 135596 HAS SOPS 135596 HAS SOUS 101406 HAS SOUPS 101406 WITH SCORE 101541.596
AT ITER 4753 NEW BEST:: SOT 230536 SOS 135437 HAS SOPS 135437 HAS SOUS 101247 HAS SOUPS 101247 WITH SCORE 101382.437
AT ITER 4763 NEW BEST:: SOT 230500 SOS 135401 HAS SOPS 135401 HAS SOUS 101211 HAS SOUPS 101211 WITH SCORE 101346.401
AT ITER 4772 NEW BEST:: SOT 230544 SOS 135400 HAS SOPS 135400 HAS SOUS 101192 HAS SOUPS 101192 WITH SCORE 101327.4
AT ITER 4786 NEW BEST:: SOT 230253 SOS 135824 HAS SOPS 135824 HAS SOUS 101077 HAS SOUPS 101077 WITH SCORE 101212.824
AT ITER 4812 NEW BEST:: SOT 230248 SOS 135819 HAS SOPS 135819 HAS SOUS 101072 HAS SOUPS 101072 WITH SCORE 101207.819
AT ITER 4832 NEW BEST:: SOT 230234 SOS 135827 HAS SOPS 135827 HAS SOUS 101028 HAS SOUPS 101028 WITH SCORE 101163.827
AT ITER 4839 NEW BEST:: SOT 230218 SOS 135811 HAS SOPS 135811 HAS SOUS 101012 HAS SOUPS 101012 WITH SCORE 101147.811
AT ITER 4853 NEW BEST:: SOT 230220 SOS 135813 HAS SOPS 135813 HAS SOUS 101008 HAS SOUPS 101008 WITH SCORE 101143.813
AT ITER 4861 NEW BEST:: SOT 230200 SOS 135811 HAS SOPS 135811 HAS SOUS 100958 HAS SOUPS 100958 WITH SCORE 101093.811
AT ITER 4878 NEW BEST:: SOT 230200 SOS 135733 HAS SOPS 135733 HAS SOUS 100958 HAS SOUPS 100958 WITH SCORE 101093.733
AT ITER 4895 NEW BEST:: SOT 230214 SOS 135740 HAS SOPS 135740 HAS SOUS 100944 HAS SOUPS 100944 WITH SCORE 101079.74
AT ITER 4910 NEW BEST:: SOT 230205 SOS 135663 HAS SOPS 135663 HAS SOUS 100894 HAS SOUPS 100894 WITH SCORE 101029.663
AT ITER 4911 NEW BEST:: SOT 230212 SOS 135408 HAS SOPS 135408 HAS SOUS 100878 HAS SOUPS 100878 WITH SCORE 101013.408
AT ITER 4912 NEW BEST:: SOT 230207 SOS 135403 HAS SOPS 135403 HAS SOUS 100857 HAS SOUPS 100857 WITH SCORE 100992.403
AT ITER 4915 NEW BEST:: SOT 230088 SOS 135749 HAS SOPS 135749 HAS SOUS 100769 HAS SOUPS 100769 WITH SCORE 100904.749
AT ITER 4925 NEW BEST:: SOT 230071 SOS 135737 HAS SOPS 135737 HAS SOUS 100757 HAS SOUPS 100757 WITH SCORE 100892.737
AT ITER 4934 NEW BEST:: SOT 230070 SOS 135736 HAS SOPS 135736 HAS SOUS 100741 HAS SOUPS 100741 WITH SCORE 100876.736
AT ITER 4936 NEW BEST:: SOT 229874 SOS 136036 HAS SOPS 136036 HAS SOUS 100552 HAS SOUPS 100552 WITH SCORE 100688.036
AT ITER 4943 NEW BEST:: SOT 229881 SOS 136023 HAS SOPS 136023 HAS SOUS 100551 HAS SOUPS 100551 WITH SCORE 100687.023
AT ITER 4958 NEW BEST:: SOT 229751 SOS 135978 HAS SOPS 135978 HAS SOUS 100460 HAS SOUPS 100460 WITH SCORE 100595.978
AT ITER 4959 NEW BEST:: SOT 229721 SOS 135948 HAS SOPS 135948 HAS SOUS 100417 HAS SOUPS 100417 WITH SCORE 100552.948
AT ITER 4966 NEW BEST:: SOT 229602 SOS 135917 HAS SOPS 135917 HAS SOUS 100386 HAS SOUPS 100386 WITH SCORE 100521.917
AT ITER 4974 NEW BEST:: SOT 229589 SOS 135904 HAS SOPS 135904 HAS SOUS 100373 HAS SOUPS 100373 WITH SCORE 100508.904
AT ITER 4991 NEW BEST:: SOT 229541 SOS 135856 HAS SOPS 135856 HAS SOUS 100325 HAS SOUPS 100325 WITH SCORE 100460.856
AT ITER 4993 NEW BEST:: SOT 229561 SOS 135663 HAS SOPS 135663 HAS SOUS 100223 HAS SOUPS 100223 WITH SCORE 100358.663
AT ITER 4994 NEW BEST:: SOT 229561 SOS 135662 HAS SOPS 135662 HAS SOUS 100223 HAS SOUPS 100223 WITH SCORE 100358.662
AT ITER 4999 NEW BEST:: SOT 229554 SOS 135655 HAS SOPS 135655 HAS SOUS 100216 HAS SOUPS 100216 WITH SCORE 100351.655
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN08-CTLFireability-00 (! (! (! ( (EX( ((potential((tk(P642)>=1) & (tk(P50)>=1) & (tk(P625)>=1)))))) & (EG( ((potential((tk(P700)>=1) & (tk(P28)>=1) & (tk(P608)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-01 (! (EU( ( (! ((potential((tk(P667)>=1) & (tk(P35)>=1) & (tk(P612)>=1))))) | ( ((potential((tk(P693)>=1) & (tk(P29)>=1) & (tk(P607)>=1)))) & ((potential((tk(P666)>=1) & (tk(P10)>=1) & (tk(P588)>=1)))) ) ) , (AG( ((potential((tk(P643)>=1) & (tk(P51)>=1) & (tk(P625)>=1)))))) )))
PROPERTY: Sudoku-PT-AN08-CTLFireability-02 (EX( ( ( (AX( ((potential((tk(P666)>=1) & (tk(P2)>=1) & (tk(P580)>=1)))))) & (EF( ((potential((tk(P674)>=1) & (tk(P34)>=1) & (tk(P613)>=1)))))) ) & ((potential((tk(P676)>=1) & (tk(P28)>=1) & (tk(P605)>=1)))) )))
PROPERTY: Sudoku-PT-AN08-CTLFireability-03 (EG( ((potential((tk(P665)>=1) & (tk(P9)>=1) & (tk(P588)>=1))))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-04 (AF( ( (! ( (! ((potential((tk(P641)>=1) & (tk(P17)>=1) & (tk(P593)>=1))))) | ((potential((tk(P683)>=1) & (tk(P11)>=1) & (tk(P590)>=1)))) )) & (AX( (! ((potential((tk(P684)>=1) & (tk(P12)>=1) & (tk(P590)>=1))))))) )))
PROPERTY: Sudoku-PT-AN08-CTLFireability-05 (AF( (! ((potential((tk(P663)>=1) & (tk(P23)>=1) & (tk(P595)>=1)))))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-06 (! (AF( (EG( ( ((potential((tk(P671)>=1) & (tk(P47)>=1) & (tk(P620)>=1)))) & ((potential((tk(P664)>=1) & (tk(P40)>=1) & (tk(P611)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-07 (EU( ( (EX( ((potential((tk(P659)>=1) & (tk(P27)>=1) & (tk(P603)>=1)))))) | (AG( ((potential((tk(P700)>=1) & (tk(P44)>=1) & (tk(P624)>=1)))))) ) , (! (EF( ((potential((tk(P656)>=1) & (tk(P40)>=1) & (tk(P610)>=1))))))) ))
PROPERTY: Sudoku-PT-AN08-CTLFireability-08 ( ( (! (AU( ((potential((tk(P686)>=1) & (tk(P30)>=1) & (tk(P606)>=1)))) , ((potential((tk(P651)>=1) & (tk(P11)>=1) & (tk(P586)>=1)))) ))) | ( ((potential((tk(P697)>=1) & (tk(P17)>=1) & (tk(P600)>=1)))) & ( (! ( ((potential((tk(P663)>=1) & (tk(P47)>=1) & (tk(P619)>=1)))) | ((potential((tk(P668)>=1) & (tk(P12)>=1) & (tk(P588)>=1)))) )) & ((potential((tk(P650)>=1) & (tk(P58)>=1) & (tk(P634)>=1)))) ) ) ) | (EX( ( (AX( ((potential((tk(P653)>=1) & (tk(P61)>=1) & (tk(P634)>=1)))))) & (! (! ((potential((tk(P671)>=1) & (tk(P31)>=1) & (tk(P604)>=1)))))) ))) )
PROPERTY: Sudoku-PT-AN08-CTLFireability-09 (EF( (! (EX( ((potential((tk(P700)>=1) & (tk(P20)>=1) & (tk(P600)>=1)))))))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-10 (EX( (! (EF( ( ((potential((tk(P656)>=1) & (tk(P8)>=1) & (tk(P578)>=1)))) & ((potential((tk(P698)>=1) & (tk(P58)>=1) & (tk(P640)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-11 ( ((potential((tk(P686)>=1) & (tk(P30)>=1) & (tk(P606)>=1)))) & (AF( (! (EF( ((potential((tk(P661)>=1) & (tk(P5)>=1) & (tk(P579)>=1))))))))) )
PROPERTY: Sudoku-PT-AN08-CTLFireability-12 ( ( (EG( ( ( ((potential((tk(P644)>=1) & (tk(P20)>=1) & (tk(P593)>=1)))) | ((potential((tk(P667)>=1) & (tk(P11)>=1) & (tk(P588)>=1)))) ) | ((potential((tk(P686)>=1) & (tk(P6)>=1) & (tk(P582)>=1)))) ))) | ((potential((tk(P691)>=1) & (tk(P59)>=1) & (tk(P639)>=1)))) ) & ( (! ( ( ((potential((tk(P676)>=1) & (tk(P12)>=1) & (tk(P589)>=1)))) & ( ((potential((tk(P679)>=1) & (tk(P7)>=1) & (tk(P581)>=1)))) & ((potential((tk(P654)>=1) & (tk(P62)>=1) & (tk(P634)>=1)))) ) ) | (EF( ((potential((tk(P647)>=1) & (tk(P47)>=1) & (tk(P617)>=1)))))) )) | (AG( ( ( ((potential((tk(P678)>=1) & (tk(P14)>=1) & (tk(P589)>=1)))) & ((potential((tk(P664)>=1) & (tk(P24)>=1) & (tk(P595)>=1)))) ) | ( ((potential((tk(P681)>=1) & (tk(P57)>=1) & (tk(P638)>=1)))) | ((potential((tk(P653)>=1) & (tk(P29)>=1) & (tk(P602)>=1)))) ) ))) ) )
PROPERTY: Sudoku-PT-AN08-CTLFireability-13 (EG( (AU( (! ((potential((tk(P655)>=1) & (tk(P55)>=1) & (tk(P626)>=1))))) , ( ((potential((tk(P652)>=1) & (tk(P28)>=1) & (tk(P602)>=1)))) | ((potential((tk(P689)>=1) & (tk(P9)>=1) & (tk(P591)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN08-CTLFireability-14 ( (AX( (AF( ((potential((tk(P696)>=1) & (tk(P64)>=1) & (tk(P639)>=1)))))))) | ( (! ( ((potential((tk(P644)>=1) & (tk(P20)>=1) & (tk(P593)>=1)))) & ( ((potential((tk(P667)>=1) & (tk(P3)>=1) & (tk(P580)>=1)))) | ( ((potential((tk(P675)>=1) & (tk(P43)>=1) & (tk(P621)>=1)))) & ((potential((tk(P668)>=1) & (tk(P12)>=1) & (tk(P588)>=1)))) ) ) )) & (EF( (EX( ((potential((tk(P693)>=1) & (tk(P45)>=1) & (tk(P623)>=1)))))))) ) )
PROPERTY: Sudoku-PT-AN08-CTLFireability-15 (EF( (! (AU( ((potential((tk(P652)>=1) & (tk(P44)>=1) & (tk(P618)>=1)))) , ((potential((tk(P686)>=1) & (tk(P14)>=1) & (tk(P590)>=1)))) )))))
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="Sudoku-PT-AN08"
export BK_EXAMINATION="CTLFireability"
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 Sudoku-PT-AN08, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700372"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN08.tgz
mv Sudoku-PT-AN08 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;