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-159033538700364.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-AN07, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700364
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.4K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jun 3 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Jun 3 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 93K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 329K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 142K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 504K 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.8K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:07 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 186K 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-AN07-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN07-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336624549

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN07
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: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 124888 SOS 64147 HAS SOPS 64147 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64211.147
AT ITER 33 NEW BEST:: SOT 124681 SOS 63940 HAS SOPS 63940 HAS SOUS 63940 HAS SOUPS 63940 WITH SCORE 64003.94
AT ITER 40 NEW BEST:: SOT 124500 SOS 64137 HAS SOPS 64137 HAS SOUS 63804 HAS SOUPS 63804 WITH SCORE 63868.137
AT ITER 48 NEW BEST:: SOT 124458 SOS 64257 HAS SOPS 64257 HAS SOUS 63774 HAS SOUPS 63774 WITH SCORE 63838.257
AT ITER 59 NEW BEST:: SOT 124173 SOS 64039 HAS SOPS 64039 HAS SOUS 63550 HAS SOUPS 63550 WITH SCORE 63614.039
AT ITER 61 NEW BEST:: SOT 124173 SOS 64012 HAS SOPS 64012 HAS SOUS 63550 HAS SOUPS 63550 WITH SCORE 63614.012
AT ITER 75 NEW BEST:: SOT 124187 SOS 63998 HAS SOPS 63998 HAS SOUS 63500 HAS SOUPS 63500 WITH SCORE 63563.998
AT ITER 81 NEW BEST:: SOT 124037 SOS 64091 HAS SOPS 64091 HAS SOUS 63419 HAS SOUPS 63419 WITH SCORE 63483.091
AT ITER 88 NEW BEST:: SOT 123717 SOS 63875 HAS SOPS 63875 HAS SOUS 63158 HAS SOUPS 63158 WITH SCORE 63221.875
AT ITER 92 NEW BEST:: SOT 123552 SOS 63710 HAS SOPS 63710 HAS SOUS 62957 HAS SOUPS 62957 WITH SCORE 63020.71
AT ITER 98 NEW BEST:: SOT 123424 SOS 63582 HAS SOPS 63582 HAS SOUS 62829 HAS SOUPS 62829 WITH SCORE 62892.582
AT ITER 108 NEW BEST:: SOT 123194 SOS 64129 HAS SOPS 64129 HAS SOUS 62647 HAS SOUPS 62647 WITH SCORE 62711.129
AT ITER 109 NEW BEST:: SOT 123080 SOS 64176 HAS SOPS 64176 HAS SOUS 62549 HAS SOUPS 62549 WITH SCORE 62613.176
AT ITER 115 NEW BEST:: SOT 123080 SOS 64132 HAS SOPS 64132 HAS SOUS 62505 HAS SOUPS 62505 WITH SCORE 62569.132
AT ITER 123 NEW BEST:: SOT 122915 SOS 64076 HAS SOPS 64076 HAS SOUS 62388 HAS SOUPS 62388 WITH SCORE 62452.076
AT ITER 128 NEW BEST:: SOT 122915 SOS 63982 HAS SOPS 63982 HAS SOUS 62384 HAS SOUPS 62384 WITH SCORE 62447.982
AT ITER 147 NEW BEST:: SOT 122852 SOS 63977 HAS SOPS 63977 HAS SOUS 62379 HAS SOUPS 62379 WITH SCORE 62442.977
AT ITER 151 NEW BEST:: SOT 122734 SOS 63954 HAS SOPS 63954 HAS SOUS 62339 HAS SOUPS 62339 WITH SCORE 62402.954
AT ITER 154 NEW BEST:: SOT 122734 SOS 63924 HAS SOPS 63924 HAS SOUS 62339 HAS SOUPS 62339 WITH SCORE 62402.924
AT ITER 155 NEW BEST:: SOT 122469 SOS 64735 HAS SOPS 64735 HAS SOUS 62187 HAS SOUPS 62187 WITH SCORE 62251.735
AT ITER 162 NEW BEST:: SOT 122367 SOS 64633 HAS SOPS 64633 HAS SOUS 62085 HAS SOUPS 62085 WITH SCORE 62149.633
AT ITER 164 NEW BEST:: SOT 122367 SOS 64538 HAS SOPS 64538 HAS SOUS 62085 HAS SOUPS 62085 WITH SCORE 62149.538
AT ITER 165 NEW BEST:: SOT 122255 SOS 64756 HAS SOPS 64756 HAS SOUS 62080 HAS SOUPS 62080 WITH SCORE 62144.756
AT ITER 171 NEW BEST:: SOT 122269 SOS 64693 HAS SOPS 64693 HAS SOUS 62046 HAS SOUPS 62046 WITH SCORE 62110.693
AT ITER 173 NEW BEST:: SOT 122269 SOS 64688 HAS SOPS 64688 HAS SOUS 62046 HAS SOUPS 62046 WITH SCORE 62110.688
AT ITER 182 NEW BEST:: SOT 122082 SOS 64591 HAS SOPS 64591 HAS SOUS 61898 HAS SOUPS 61898 WITH SCORE 61962.591
AT ITER 186 NEW BEST:: SOT 122006 SOS 65115 HAS SOPS 65115 HAS SOUS 61871 HAS SOUPS 61871 WITH SCORE 61936.115
AT ITER 188 NEW BEST:: SOT 122028 SOS 65121 HAS SOPS 65121 HAS SOUS 61829 HAS SOUPS 61829 WITH SCORE 61894.121
AT ITER 192 NEW BEST:: SOT 122008 SOS 65101 HAS SOPS 65101 HAS SOUS 61809 HAS SOUPS 61809 WITH SCORE 61874.101
AT ITER 203 NEW BEST:: SOT 121903 SOS 65227 HAS SOPS 65227 HAS SOUS 61735 HAS SOUPS 61735 WITH SCORE 61800.227
AT ITER 207 NEW BEST:: SOT 121887 SOS 65211 HAS SOPS 65211 HAS SOUS 61719 HAS SOUPS 61719 WITH SCORE 61784.211
AT ITER 209 NEW BEST:: SOT 121740 SOS 65051 HAS SOPS 65051 HAS SOUS 61524 HAS SOUPS 61524 WITH SCORE 61589.051
AT ITER 210 NEW BEST:: SOT 121704 SOS 65015 HAS SOPS 65015 HAS SOUS 61488 HAS SOUPS 61488 WITH SCORE 61553.015
AT ITER 213 NEW BEST:: SOT 121704 SOS 64917 HAS SOPS 64917 HAS SOUS 61488 HAS SOUPS 61488 WITH SCORE 61552.917
AT ITER 215 NEW BEST:: SOT 121700 SOS 64918 HAS SOPS 64918 HAS SOUS 61484 HAS SOUPS 61484 WITH SCORE 61548.918
AT ITER 216 NEW BEST:: SOT 121614 SOS 64917 HAS SOPS 64917 HAS SOUS 61483 HAS SOUPS 61483 WITH SCORE 61547.917
AT ITER 218 NEW BEST:: SOT 121574 SOS 64877 HAS SOPS 64877 HAS SOUS 61443 HAS SOUPS 61443 WITH SCORE 61507.877
AT ITER 220 NEW BEST:: SOT 121439 SOS 64742 HAS SOPS 64742 HAS SOUS 61308 HAS SOUPS 61308 WITH SCORE 61372.742
AT ITER 225 NEW BEST:: SOT 121310 SOS 64626 HAS SOPS 64626 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61256.626
AT ITER 233 NEW BEST:: SOT 121310 SOS 64621 HAS SOPS 64621 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61256.621
AT ITER 237 NEW BEST:: SOT 121310 SOS 64587 HAS SOPS 64587 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61256.587
AT ITER 246 NEW BEST:: SOT 121179 SOS 64493 HAS SOPS 64493 HAS SOUS 61098 HAS SOUPS 61098 WITH SCORE 61162.493
AT ITER 251 NEW BEST:: SOT 121179 SOS 64390 HAS SOPS 64390 HAS SOUS 61098 HAS SOUPS 61098 WITH SCORE 61162.39
AT ITER 254 NEW BEST:: SOT 121166 SOS 64377 HAS SOPS 64377 HAS SOUS 61085 HAS SOUPS 61085 WITH SCORE 61149.377
AT ITER 256 NEW BEST:: SOT 121082 SOS 64299 HAS SOPS 64299 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61095.299
AT ITER 258 NEW BEST:: SOT 121082 SOS 63715 HAS SOPS 63715 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61094.715
AT ITER 265 NEW BEST:: SOT 121082 SOS 63672 HAS SOPS 63672 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61094.672
AT ITER 273 NEW BEST:: SOT 121082 SOS 63465 HAS SOPS 63465 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61094.465
AT ITER 281 NEW BEST:: SOT 121034 SOS 63834 HAS SOPS 63834 HAS SOUS 60999 HAS SOUPS 60999 WITH SCORE 61062.834
AT ITER 283 NEW BEST:: SOT 120955 SOS 63962 HAS SOPS 63962 HAS SOUS 60937 HAS SOUPS 60937 WITH SCORE 61000.962
AT ITER 285 NEW BEST:: SOT 120928 SOS 63950 HAS SOPS 63950 HAS SOUS 60925 HAS SOUPS 60925 WITH SCORE 60988.95
AT ITER 287 NEW BEST:: SOT 120851 SOS 63919 HAS SOPS 63919 HAS SOUS 60912 HAS SOUPS 60912 WITH SCORE 60975.919
AT ITER 291 NEW BEST:: SOT 120783 SOS 63851 HAS SOPS 63851 HAS SOUS 60844 HAS SOUPS 60844 WITH SCORE 60907.851
AT ITER 297 NEW BEST:: SOT 120747 SOS 64093 HAS SOPS 64093 HAS SOUS 60808 HAS SOUPS 60808 WITH SCORE 60872.093
AT ITER 302 NEW BEST:: SOT 120698 SOS 64044 HAS SOPS 64044 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60823.044
AT ITER 306 NEW BEST:: SOT 120698 SOS 64037 HAS SOPS 64037 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60823.037
AT ITER 310 NEW BEST:: SOT 120698 SOS 63948 HAS SOPS 63948 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60822.948
AT ITER 321 NEW BEST:: SOT 120670 SOS 63920 HAS SOPS 63920 HAS SOUS 60731 HAS SOUPS 60731 WITH SCORE 60794.92
AT ITER 327 NEW BEST:: SOT 120665 SOS 64277 HAS SOPS 64277 HAS SOUS 60726 HAS SOUPS 60726 WITH SCORE 60790.277
AT ITER 339 NEW BEST:: SOT 120641 SOS 64252 HAS SOPS 64252 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60758.252
AT ITER 360 NEW BEST:: SOT 120641 SOS 64164 HAS SOPS 64164 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60758.164
AT ITER 368 NEW BEST:: SOT 120620 SOS 64146 HAS SOPS 64146 HAS SOUS 60676 HAS SOUPS 60676 WITH SCORE 60740.146
AT ITER 372 NEW BEST:: SOT 120324 SOS 64710 HAS SOPS 64710 HAS SOUS 60653 HAS SOUPS 60653 WITH SCORE 60717.71
AT ITER 401 NEW BEST:: SOT 120046 SOS 64657 HAS SOPS 64657 HAS SOUS 60449 HAS SOUPS 60449 WITH SCORE 60513.657
AT ITER 403 NEW BEST:: SOT 120046 SOS 64599 HAS SOPS 64599 HAS SOUS 60371 HAS SOUPS 60371 WITH SCORE 60435.599
AT ITER 424 NEW BEST:: SOT 120046 SOS 64569 HAS SOPS 64569 HAS SOUS 60341 HAS SOUPS 60341 WITH SCORE 60405.569
AT ITER 439 NEW BEST:: SOT 120007 SOS 64635 HAS SOPS 64635 HAS SOUS 60311 HAS SOUPS 60311 WITH SCORE 60375.635
AT ITER 453 NEW BEST:: SOT 120003 SOS 64572 HAS SOPS 64572 HAS SOUS 60301 HAS SOUPS 60301 WITH SCORE 60365.572
AT ITER 455 NEW BEST:: SOT 119841 SOS 64421 HAS SOPS 64421 HAS SOUS 60147 HAS SOUPS 60147 WITH SCORE 60211.421
AT ITER 457 NEW BEST:: SOT 119795 SOS 64383 HAS SOPS 64383 HAS SOUS 60109 HAS SOUPS 60109 WITH SCORE 60173.383
AT ITER 462 NEW BEST:: SOT 119795 SOS 63930 HAS SOPS 63930 HAS SOUS 60109 HAS SOUPS 60109 WITH SCORE 60172.93
AT ITER 463 NEW BEST:: SOT 119795 SOS 63780 HAS SOPS 63780 HAS SOUS 60109 HAS SOUPS 60109 WITH SCORE 60172.78
AT ITER 464 NEW BEST:: SOT 119558 SOS 63543 HAS SOPS 63543 HAS SOUS 59872 HAS SOUPS 59872 WITH SCORE 59935.543
AT ITER 465 NEW BEST:: SOT 119586 SOS 63465 HAS SOPS 63465 HAS SOUS 59856 HAS SOUPS 59856 WITH SCORE 59919.465
AT ITER 466 NEW BEST:: SOT 119462 SOS 64098 HAS SOPS 64098 HAS SOUS 59847 HAS SOUPS 59847 WITH SCORE 59911.098
AT ITER 470 NEW BEST:: SOT 119447 SOS 64024 HAS SOPS 64024 HAS SOUS 59832 HAS SOUPS 59832 WITH SCORE 59896.024
AT ITER 472 NEW BEST:: SOT 119140 SOS 64036 HAS SOPS 64036 HAS SOUS 59763 HAS SOUPS 59763 WITH SCORE 59827.036
AT ITER 480 NEW BEST:: SOT 119140 SOS 63981 HAS SOPS 63981 HAS SOUS 59763 HAS SOUPS 59763 WITH SCORE 59826.981
AT ITER 482 NEW BEST:: SOT 119092 SOS 63933 HAS SOPS 63933 HAS SOUS 59677 HAS SOUPS 59677 WITH SCORE 59740.933
AT ITER 487 NEW BEST:: SOT 119061 SOS 63915 HAS SOPS 63915 HAS SOUS 59603 HAS SOUPS 59603 WITH SCORE 59666.915
AT ITER 489 NEW BEST:: SOT 119049 SOS 63906 HAS SOPS 63906 HAS SOUS 59594 HAS SOUPS 59594 WITH SCORE 59657.906
AT ITER 492 NEW BEST:: SOT 118963 SOS 64074 HAS SOPS 64074 HAS SOUS 59561 HAS SOUPS 59561 WITH SCORE 59625.074
AT ITER 498 NEW BEST:: SOT 118666 SOS 64057 HAS SOPS 64057 HAS SOUS 59336 HAS SOUPS 59336 WITH SCORE 59400.057
AT ITER 504 NEW BEST:: SOT 118365 SOS 64137 HAS SOPS 64137 HAS SOUS 59271 HAS SOUPS 59271 WITH SCORE 59335.137
AT ITER 516 NEW BEST:: SOT 118365 SOS 63579 HAS SOPS 63579 HAS SOUS 59271 HAS SOUPS 59271 WITH SCORE 59334.579
AT ITER 523 NEW BEST:: SOT 118365 SOS 63627 HAS SOPS 63627 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59333.627
AT ITER 527 NEW BEST:: SOT 118365 SOS 63528 HAS SOPS 63528 HAS SOUS 59253 HAS SOUPS 59253 WITH SCORE 59316.528
AT ITER 540 NEW BEST:: SOT 118430 SOS 63593 HAS SOPS 63593 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59303.593
AT ITER 549 NEW BEST:: SOT 118430 SOS 63409 HAS SOPS 63409 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59303.409
AT ITER 551 NEW BEST:: SOT 118430 SOS 63378 HAS SOPS 63378 HAS SOUS 59240 HAS SOUPS 59240 WITH SCORE 59303.378
AT ITER 569 NEW BEST:: SOT 118430 SOS 63312 HAS SOPS 63312 HAS SOUS 59186 HAS SOUPS 59186 WITH SCORE 59249.312
AT ITER 570 NEW BEST:: SOT 118391 SOS 63275 HAS SOPS 63275 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59212.275
AT ITER 573 NEW BEST:: SOT 118391 SOS 63206 HAS SOPS 63206 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59212.206
AT ITER 581 NEW BEST:: SOT 118332 SOS 63312 HAS SOPS 63312 HAS SOUS 59128 HAS SOUPS 59128 WITH SCORE 59191.312
AT ITER 592 NEW BEST:: SOT 118281 SOS 63108 HAS SOPS 63108 HAS SOUS 58900 HAS SOUPS 58900 WITH SCORE 58963.108
AT ITER 600 NEW BEST:: SOT 118228 SOS 62981 HAS SOPS 62981 HAS SOUS 58852 HAS SOUPS 58852 WITH SCORE 58914.981
AT ITER 603 NEW BEST:: SOT 118228 SOS 62886 HAS SOPS 62886 HAS SOUS 58852 HAS SOUPS 58852 WITH SCORE 58914.886
AT ITER 604 NEW BEST:: SOT 118206 SOS 62872 HAS SOPS 62872 HAS SOUS 58795 HAS SOUPS 58795 WITH SCORE 58857.872
AT ITER 607 NEW BEST:: SOT 118156 SOS 62864 HAS SOPS 62864 HAS SOUS 58787 HAS SOUPS 58787 WITH SCORE 58849.864
AT ITER 620 NEW BEST:: SOT 118113 SOS 62828 HAS SOPS 62828 HAS SOUS 58787 HAS SOUPS 58787 WITH SCORE 58849.828
AT ITER 627 NEW BEST:: SOT 118113 SOS 62792 HAS SOPS 62792 HAS SOUS 58787 HAS SOUPS 58787 WITH SCORE 58849.792
AT ITER 628 NEW BEST:: SOT 118093 SOS 62634 HAS SOPS 62634 HAS SOUS 58651 HAS SOUPS 58651 WITH SCORE 58713.634
AT ITER 632 NEW BEST:: SOT 118073 SOS 62619 HAS SOPS 62619 HAS SOUS 58636 HAS SOUPS 58636 WITH SCORE 58698.619
AT ITER 651 NEW BEST:: SOT 118073 SOS 62562 HAS SOPS 62562 HAS SOUS 58636 HAS SOUPS 58636 WITH SCORE 58698.562
AT ITER 653 NEW BEST:: SOT 118073 SOS 62557 HAS SOPS 62557 HAS SOUS 58636 HAS SOUPS 58636 WITH SCORE 58698.557
AT ITER 658 NEW BEST:: SOT 117944 SOS 63406 HAS SOPS 63406 HAS SOUS 58576 HAS SOUPS 58576 WITH SCORE 58639.406
AT ITER 662 NEW BEST:: SOT 117944 SOS 63405 HAS SOPS 63405 HAS SOUS 58576 HAS SOUPS 58576 WITH SCORE 58639.405
AT ITER 663 NEW BEST:: SOT 117680 SOS 63956 HAS SOPS 63956 HAS SOUS 58520 HAS SOUPS 58520 WITH SCORE 58583.956
AT ITER 664 NEW BEST:: SOT 117680 SOS 63951 HAS SOPS 63951 HAS SOUS 58515 HAS SOUPS 58515 WITH SCORE 58578.951
AT ITER 672 NEW BEST:: SOT 117672 SOS 63943 HAS SOPS 63943 HAS SOUS 58507 HAS SOUPS 58507 WITH SCORE 58570.943
AT ITER 680 NEW BEST:: SOT 117672 SOS 63878 HAS SOPS 63878 HAS SOUS 58507 HAS SOUPS 58507 WITH SCORE 58570.878
AT ITER 682 NEW BEST:: SOT 117577 SOS 63783 HAS SOPS 63783 HAS SOUS 58412 HAS SOUPS 58412 WITH SCORE 58475.783
AT ITER 686 NEW BEST:: SOT 117476 SOS 63850 HAS SOPS 63850 HAS SOUS 58411 HAS SOUPS 58411 WITH SCORE 58474.85
AT ITER 688 NEW BEST:: SOT 117394 SOS 63973 HAS SOPS 63973 HAS SOUS 58335 HAS SOUPS 58335 WITH SCORE 58398.973
AT ITER 705 NEW BEST:: SOT 117394 SOS 63583 HAS SOPS 63583 HAS SOUS 58335 HAS SOUPS 58335 WITH SCORE 58398.583
AT ITER 707 NEW BEST:: SOT 117394 SOS 63495 HAS SOPS 63495 HAS SOUS 58328 HAS SOUPS 58328 WITH SCORE 58391.495
AT ITER 711 NEW BEST:: SOT 117414 SOS 63451 HAS SOPS 63451 HAS SOUS 58289 HAS SOUPS 58289 WITH SCORE 58352.451
AT ITER 714 NEW BEST:: SOT 117302 SOS 63357 HAS SOPS 63357 HAS SOUS 58195 HAS SOUPS 58195 WITH SCORE 58258.357
AT ITER 715 NEW BEST:: SOT 117302 SOS 63388 HAS SOPS 63388 HAS SOUS 58189 HAS SOUPS 58189 WITH SCORE 58252.388
AT ITER 718 NEW BEST:: SOT 117302 SOS 63373 HAS SOPS 63373 HAS SOUS 58189 HAS SOUPS 58189 WITH SCORE 58252.373
AT ITER 722 NEW BEST:: SOT 117302 SOS 63263 HAS SOPS 63263 HAS SOUS 58189 HAS SOUPS 58189 WITH SCORE 58252.263
AT ITER 731 NEW BEST:: SOT 117224 SOS 63185 HAS SOPS 63185 HAS SOUS 58117 HAS SOUPS 58117 WITH SCORE 58180.185
AT ITER 733 NEW BEST:: SOT 116919 SOS 63082 HAS SOPS 63082 HAS SOUS 57968 HAS SOUPS 57968 WITH SCORE 58031.082
AT ITER 735 NEW BEST:: SOT 116905 SOS 63056 HAS SOPS 63056 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58005.056
AT ITER 738 NEW BEST:: SOT 116905 SOS 63015 HAS SOPS 63015 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58005.015
AT ITER 740 NEW BEST:: SOT 116931 SOS 62974 HAS SOPS 62974 HAS SOUS 57936 HAS SOUPS 57936 WITH SCORE 57998.974
AT ITER 747 NEW BEST:: SOT 117033 SOS 62778 HAS SOPS 62778 HAS SOUS 57905 HAS SOUPS 57905 WITH SCORE 57967.778
AT ITER 764 NEW BEST:: SOT 116791 SOS 62749 HAS SOPS 62749 HAS SOUS 57795 HAS SOUPS 57795 WITH SCORE 57857.749
AT ITER 766 NEW BEST:: SOT 116802 SOS 62748 HAS SOPS 62748 HAS SOUS 57790 HAS SOUPS 57790 WITH SCORE 57852.748
AT ITER 773 NEW BEST:: SOT 116693 SOS 62716 HAS SOPS 62716 HAS SOUS 57784 HAS SOUPS 57784 WITH SCORE 57846.716
AT ITER 774 NEW BEST:: SOT 116693 SOS 62685 HAS SOPS 62685 HAS SOUS 57784 HAS SOUPS 57784 WITH SCORE 57846.685
AT ITER 788 NEW BEST:: SOT 116569 SOS 62886 HAS SOPS 62886 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57763.886
AT ITER 799 NEW BEST:: SOT 116576 SOS 62834 HAS SOPS 62834 HAS SOUS 57667 HAS SOUPS 57667 WITH SCORE 57729.834
AT ITER 801 NEW BEST:: SOT 116562 SOS 62820 HAS SOPS 62820 HAS SOUS 57653 HAS SOUPS 57653 WITH SCORE 57715.82
AT ITER 805 NEW BEST:: SOT 116633 SOS 62712 HAS SOPS 62712 HAS SOUS 57528 HAS SOUPS 57528 WITH SCORE 57590.712
AT ITER 807 NEW BEST:: SOT 116344 SOS 62879 HAS SOPS 62879 HAS SOUS 57364 HAS SOUPS 57364 WITH SCORE 57426.879
AT ITER 815 NEW BEST:: SOT 116344 SOS 62873 HAS SOPS 62873 HAS SOUS 57344 HAS SOUPS 57344 WITH SCORE 57406.873
AT ITER 817 NEW BEST:: SOT 116344 SOS 62843 HAS SOPS 62843 HAS SOUS 57344 HAS SOUPS 57344 WITH SCORE 57406.843
AT ITER 834 NEW BEST:: SOT 116141 SOS 62644 HAS SOPS 62644 HAS SOUS 57141 HAS SOUPS 57141 WITH SCORE 57203.644
AT ITER 835 NEW BEST:: SOT 116141 SOS 62546 HAS SOPS 62546 HAS SOUS 57141 HAS SOUPS 57141 WITH SCORE 57203.546
AT ITER 849 NEW BEST:: SOT 115987 SOS 62839 HAS SOPS 62839 HAS SOUS 57059 HAS SOUPS 57059 WITH SCORE 57121.839
AT ITER 857 NEW BEST:: SOT 115987 SOS 62839 HAS SOPS 62839 HAS SOUS 57058 HAS SOUPS 57058 WITH SCORE 57120.839
AT ITER 871 NEW BEST:: SOT 115987 SOS 62836 HAS SOPS 62836 HAS SOUS 57058 HAS SOUPS 57058 WITH SCORE 57120.836
AT ITER 879 NEW BEST:: SOT 116011 SOS 62840 HAS SOPS 62840 HAS SOUS 57016 HAS SOUPS 57016 WITH SCORE 57078.84
AT ITER 883 NEW BEST:: SOT 115910 SOS 62919 HAS SOPS 62919 HAS SOUS 56999 HAS SOUPS 56999 WITH SCORE 57061.919
AT ITER 885 NEW BEST:: SOT 115910 SOS 62856 HAS SOPS 62856 HAS SOUS 56957 HAS SOUPS 56957 WITH SCORE 57019.856
AT ITER 886 NEW BEST:: SOT 115898 SOS 62898 HAS SOPS 62898 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 56998.898
AT ITER 893 NEW BEST:: SOT 115893 SOS 62915 HAS SOPS 62915 HAS SOUS 56919 HAS SOUPS 56919 WITH SCORE 56981.915
AT ITER 905 NEW BEST:: SOT 115642 SOS 62832 HAS SOPS 62832 HAS SOUS 56770 HAS SOUPS 56770 WITH SCORE 56832.832
AT ITER 907 NEW BEST:: SOT 115545 SOS 62749 HAS SOPS 62749 HAS SOUS 56687 HAS SOUPS 56687 WITH SCORE 56749.749
AT ITER 928 NEW BEST:: SOT 115483 SOS 62787 HAS SOPS 62787 HAS SOUS 56642 HAS SOUPS 56642 WITH SCORE 56704.787
AT ITER 929 NEW BEST:: SOT 115483 SOS 62760 HAS SOPS 62760 HAS SOUS 56642 HAS SOUPS 56642 WITH SCORE 56704.76
AT ITER 958 NEW BEST:: SOT 115443 SOS 62720 HAS SOPS 62720 HAS SOUS 56566 HAS SOUPS 56566 WITH SCORE 56628.72
AT ITER 971 NEW BEST:: SOT 115303 SOS 62729 HAS SOPS 62729 HAS SOUS 56559 HAS SOUPS 56559 WITH SCORE 56621.729
AT ITER 979 NEW BEST:: SOT 114939 SOS 62552 HAS SOPS 62552 HAS SOUS 56382 HAS SOUPS 56382 WITH SCORE 56444.552
AT ITER 991 NEW BEST:: SOT 114835 SOS 62717 HAS SOPS 62717 HAS SOUS 56336 HAS SOUPS 56336 WITH SCORE 56398.717
AT ITER 992 NEW BEST:: SOT 114476 SOS 62789 HAS SOPS 62789 HAS SOUS 56163 HAS SOUPS 56163 WITH SCORE 56225.789
AT ITER 998 NEW BEST:: SOT 114476 SOS 62707 HAS SOPS 62707 HAS SOUS 56158 HAS SOUPS 56158 WITH SCORE 56220.707
AT ITER 1004 NEW BEST:: SOT 114424 SOS 62718 HAS SOPS 62718 HAS SOUS 56045 HAS SOUPS 56045 WITH SCORE 56107.718
AT ITER 1013 NEW BEST:: SOT 114424 SOS 62689 HAS SOPS 62689 HAS SOUS 56045 HAS SOUPS 56045 WITH SCORE 56107.689
AT ITER 1016 NEW BEST:: SOT 114146 SOS 63081 HAS SOPS 63081 HAS SOUS 55983 HAS SOUPS 55983 WITH SCORE 56046.081
AT ITER 1018 NEW BEST:: SOT 114105 SOS 63139 HAS SOPS 63139 HAS SOUS 55945 HAS SOUPS 55945 WITH SCORE 56008.139
AT ITER 1020 NEW BEST:: SOT 114105 SOS 63116 HAS SOPS 63116 HAS SOUS 55945 HAS SOUPS 55945 WITH SCORE 56008.116
AT ITER 1028 NEW BEST:: SOT 114128 SOS 63072 HAS SOPS 63072 HAS SOUS 55940 HAS SOUPS 55940 WITH SCORE 56003.072
AT ITER 1029 NEW BEST:: SOT 114035 SOS 62899 HAS SOPS 62899 HAS SOUS 55849 HAS SOUPS 55849 WITH SCORE 55911.899
AT ITER 1040 NEW BEST:: SOT 113972 SOS 62767 HAS SOPS 62767 HAS SOUS 55821 HAS SOUPS 55821 WITH SCORE 55883.767
AT ITER 1042 NEW BEST:: SOT 113918 SOS 62904 HAS SOPS 62904 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55859.904
AT ITER 1043 NEW BEST:: SOT 113918 SOS 62831 HAS SOPS 62831 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55859.831
AT ITER 1050 NEW BEST:: SOT 113921 SOS 62814 HAS SOPS 62814 HAS SOUS 55790 HAS SOUPS 55790 WITH SCORE 55852.814
AT ITER 1054 NEW BEST:: SOT 113869 SOS 62810 HAS SOPS 62810 HAS SOUS 55738 HAS SOUPS 55738 WITH SCORE 55800.81
AT ITER 1071 NEW BEST:: SOT 113872 SOS 62807 HAS SOPS 62807 HAS SOUS 55735 HAS SOUPS 55735 WITH SCORE 55797.807
AT ITER 1077 NEW BEST:: SOT 113941 SOS 62847 HAS SOPS 62847 HAS SOUS 55686 HAS SOUPS 55686 WITH SCORE 55748.847
AT ITER 1089 NEW BEST:: SOT 113914 SOS 62832 HAS SOPS 62832 HAS SOUS 55620 HAS SOUPS 55620 WITH SCORE 55682.832
AT ITER 1090 NEW BEST:: SOT 113699 SOS 63133 HAS SOPS 63133 HAS SOUS 55555 HAS SOUPS 55555 WITH SCORE 55618.133
AT ITER 1092 NEW BEST:: SOT 113623 SOS 63215 HAS SOPS 63215 HAS SOUS 55544 HAS SOUPS 55544 WITH SCORE 55607.215
AT ITER 1095 NEW BEST:: SOT 113623 SOS 63207 HAS SOPS 63207 HAS SOUS 55544 HAS SOUPS 55544 WITH SCORE 55607.207
AT ITER 1111 NEW BEST:: SOT 113843 SOS 63074 HAS SOPS 63074 HAS SOUS 55491 HAS SOUPS 55491 WITH SCORE 55554.074
AT ITER 1114 NEW BEST:: SOT 113843 SOS 63051 HAS SOPS 63051 HAS SOUS 55430 HAS SOUPS 55430 WITH SCORE 55493.051
AT ITER 1119 NEW BEST:: SOT 113714 SOS 62989 HAS SOPS 62989 HAS SOUS 55368 HAS SOUPS 55368 WITH SCORE 55430.989
AT ITER 1121 NEW BEST:: SOT 113714 SOS 62859 HAS SOPS 62859 HAS SOUS 55368 HAS SOUPS 55368 WITH SCORE 55430.859
AT ITER 1126 NEW BEST:: SOT 113714 SOS 62848 HAS SOPS 62848 HAS SOUS 55357 HAS SOUPS 55357 WITH SCORE 55419.848
AT ITER 1132 NEW BEST:: SOT 113728 SOS 62778 HAS SOPS 62778 HAS SOUS 55287 HAS SOUPS 55287 WITH SCORE 55349.778
AT ITER 1146 NEW BEST:: SOT 113776 SOS 62626 HAS SOPS 62626 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55317.626
AT ITER 1150 NEW BEST:: SOT 113776 SOS 62592 HAS SOPS 62592 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55317.592
AT ITER 1157 NEW BEST:: SOT 113776 SOS 62575 HAS SOPS 62575 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55317.575
AT ITER 1158 NEW BEST:: SOT 113762 SOS 62582 HAS SOPS 62582 HAS SOUS 55241 HAS SOUPS 55241 WITH SCORE 55303.582
AT ITER 1162 NEW BEST:: SOT 113736 SOS 62553 HAS SOPS 62553 HAS SOUS 55194 HAS SOUPS 55194 WITH SCORE 55256.553
AT ITER 1168 NEW BEST:: SOT 113673 SOS 62996 HAS SOPS 62996 HAS SOUS 55173 HAS SOUPS 55173 WITH SCORE 55235.996
AT ITER 1177 NEW BEST:: SOT 113391 SOS 62831 HAS SOPS 62831 HAS SOUS 54985 HAS SOUPS 54985 WITH SCORE 55047.831
AT ITER 1179 NEW BEST:: SOT 113344 SOS 62759 HAS SOPS 62759 HAS SOUS 54926 HAS SOUPS 54926 WITH SCORE 54988.759
AT ITER 1196 NEW BEST:: SOT 113375 SOS 62758 HAS SOPS 62758 HAS SOUS 54883 HAS SOUPS 54883 WITH SCORE 54945.758
AT ITER 1197 NEW BEST:: SOT 113335 SOS 62718 HAS SOPS 62718 HAS SOUS 54840 HAS SOUPS 54840 WITH SCORE 54902.718
AT ITER 1200 NEW BEST:: SOT 113355 SOS 62860 HAS SOPS 62860 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54886.86
AT ITER 1206 NEW BEST:: SOT 113355 SOS 62858 HAS SOPS 62858 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54886.858
AT ITER 1210 NEW BEST:: SOT 113386 SOS 62992 HAS SOPS 62992 HAS SOUS 54798 HAS SOUPS 54798 WITH SCORE 54860.992
AT ITER 1213 NEW BEST:: SOT 113342 SOS 63053 HAS SOPS 63053 HAS SOUS 54782 HAS SOUPS 54782 WITH SCORE 54845.053
AT ITER 1228 NEW BEST:: SOT 113256 SOS 62967 HAS SOPS 62967 HAS SOUS 54696 HAS SOUPS 54696 WITH SCORE 54758.967
AT ITER 1229 NEW BEST:: SOT 113264 SOS 62874 HAS SOPS 62874 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54750.874
AT ITER 1240 NEW BEST:: SOT 113264 SOS 62860 HAS SOPS 62860 HAS SOUS 54674 HAS SOUPS 54674 WITH SCORE 54736.86
AT ITER 1249 NEW BEST:: SOT 113264 SOS 62849 HAS SOPS 62849 HAS SOUS 54674 HAS SOUPS 54674 WITH SCORE 54736.849
AT ITER 1269 NEW BEST:: SOT 113207 SOS 63006 HAS SOPS 63006 HAS SOUS 54664 HAS SOUPS 54664 WITH SCORE 54727.006
AT ITER 1271 NEW BEST:: SOT 113207 SOS 62994 HAS SOPS 62994 HAS SOUS 54664 HAS SOUPS 54664 WITH SCORE 54726.994
AT ITER 1278 NEW BEST:: SOT 113239 SOS 63140 HAS SOPS 63140 HAS SOUS 54639 HAS SOUPS 54639 WITH SCORE 54702.14
AT ITER 1291 NEW BEST:: SOT 113239 SOS 63121 HAS SOPS 63121 HAS SOUS 54612 HAS SOUPS 54612 WITH SCORE 54675.121
AT ITER 1292 NEW BEST:: SOT 113228 SOS 63110 HAS SOPS 63110 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54664.11
AT ITER 1296 NEW BEST:: SOT 113132 SOS 63037 HAS SOPS 63037 HAS SOUS 54528 HAS SOUPS 54528 WITH SCORE 54591.037
AT ITER 1305 NEW BEST:: SOT 113132 SOS 63016 HAS SOPS 63016 HAS SOUS 54528 HAS SOUPS 54528 WITH SCORE 54591.016
AT ITER 1343 NEW BEST:: SOT 113069 SOS 63033 HAS SOPS 63033 HAS SOUS 54437 HAS SOUPS 54437 WITH SCORE 54500.033
AT ITER 1346 NEW BEST:: SOT 112981 SOS 62990 HAS SOPS 62990 HAS SOUS 54430 HAS SOUPS 54430 WITH SCORE 54492.99
AT ITER 1349 NEW BEST:: SOT 112981 SOS 62946 HAS SOPS 62946 HAS SOUS 54430 HAS SOUPS 54430 WITH SCORE 54492.946
AT ITER 1352 NEW BEST:: SOT 112915 SOS 62920 HAS SOPS 62920 HAS SOUS 54404 HAS SOUPS 54404 WITH SCORE 54466.92
AT ITER 1356 NEW BEST:: SOT 112919 SOS 62917 HAS SOPS 62917 HAS SOUS 54394 HAS SOUPS 54394 WITH SCORE 54456.917
AT ITER 1359 NEW BEST:: SOT 112919 SOS 62917 HAS SOPS 62917 HAS SOUS 54392 HAS SOUPS 54392 WITH SCORE 54454.917
AT ITER 1375 NEW BEST:: SOT 113016 SOS 62803 HAS SOPS 62803 HAS SOUS 54345 HAS SOUPS 54345 WITH SCORE 54407.803
AT ITER 1382 NEW BEST:: SOT 113016 SOS 62710 HAS SOPS 62710 HAS SOUS 54314 HAS SOUPS 54314 WITH SCORE 54376.71
AT ITER 1384 NEW BEST:: SOT 112997 SOS 62691 HAS SOPS 62691 HAS SOUS 54295 HAS SOUPS 54295 WITH SCORE 54357.691
AT ITER 1388 NEW BEST:: SOT 112997 SOS 62667 HAS SOPS 62667 HAS SOUS 54289 HAS SOUPS 54289 WITH SCORE 54351.667
AT ITER 1395 NEW BEST:: SOT 113040 SOS 62620 HAS SOPS 62620 HAS SOUS 54283 HAS SOUPS 54283 WITH SCORE 54345.62
AT ITER 1398 NEW BEST:: SOT 113045 SOS 62620 HAS SOPS 62620 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54340.62
AT ITER 1400 NEW BEST:: SOT 113045 SOS 62592 HAS SOPS 62592 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54338.592
AT ITER 1401 NEW BEST:: SOT 113045 SOS 62592 HAS SOPS 62592 HAS SOUS 54259 HAS SOUPS 54259 WITH SCORE 54321.592
AT ITER 1409 NEW BEST:: SOT 112723 SOS 62803 HAS SOPS 62803 HAS SOUS 54223 HAS SOUPS 54223 WITH SCORE 54285.803
AT ITER 1415 NEW BEST:: SOT 112618 SOS 62751 HAS SOPS 62751 HAS SOUS 54171 HAS SOUPS 54171 WITH SCORE 54233.751
AT ITER 1426 NEW BEST:: SOT 112615 SOS 62731 HAS SOPS 62731 HAS SOUS 54168 HAS SOUPS 54168 WITH SCORE 54230.731
AT ITER 1451 NEW BEST:: SOT 112615 SOS 62633 HAS SOPS 62633 HAS SOUS 54151 HAS SOUPS 54151 WITH SCORE 54213.633
AT ITER 1453 NEW BEST:: SOT 112615 SOS 62620 HAS SOPS 62620 HAS SOUS 54151 HAS SOUPS 54151 WITH SCORE 54213.62
AT ITER 1459 NEW BEST:: SOT 112583 SOS 62619 HAS SOPS 62619 HAS SOUS 54092 HAS SOUPS 54092 WITH SCORE 54154.619
AT ITER 1462 NEW BEST:: SOT 112583 SOS 62591 HAS SOPS 62591 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54152.591
AT ITER 1466 NEW BEST:: SOT 112577 SOS 62588 HAS SOPS 62588 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54152.588
AT ITER 1467 NEW BEST:: SOT 112572 SOS 62583 HAS SOPS 62583 HAS SOUS 54085 HAS SOUPS 54085 WITH SCORE 54147.583
AT ITER 1468 NEW BEST:: SOT 112570 SOS 62581 HAS SOPS 62581 HAS SOUS 54083 HAS SOUPS 54083 WITH SCORE 54145.581
AT ITER 1470 NEW BEST:: SOT 112556 SOS 62567 HAS SOPS 62567 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54117.567
AT ITER 1471 NEW BEST:: SOT 112556 SOS 62546 HAS SOPS 62546 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54117.546
AT ITER 1505 NEW BEST:: SOT 112556 SOS 62369 HAS SOPS 62369 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54117.369
AT ITER 1511 NEW BEST:: SOT 112556 SOS 62365 HAS SOPS 62365 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54117.365
AT ITER 1518 NEW BEST:: SOT 112556 SOS 62345 HAS SOPS 62345 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54117.345
AT ITER 1525 NEW BEST:: SOT 112457 SOS 62277 HAS SOPS 62277 HAS SOUS 54012 HAS SOUPS 54012 WITH SCORE 54074.277
AT ITER 1530 NEW BEST:: SOT 112457 SOS 62259 HAS SOPS 62259 HAS SOUS 54012 HAS SOUPS 54012 WITH SCORE 54074.259
AT ITER 1533 NEW BEST:: SOT 112406 SOS 62197 HAS SOPS 62197 HAS SOUS 53984 HAS SOUPS 53984 WITH SCORE 54046.197
AT ITER 1547 NEW BEST:: SOT 112415 SOS 62143 HAS SOPS 62143 HAS SOUS 53961 HAS SOUPS 53961 WITH SCORE 54023.143
AT ITER 1549 NEW BEST:: SOT 112514 SOS 62227 HAS SOPS 62227 HAS SOUS 53959 HAS SOUPS 53959 WITH SCORE 54021.227
AT ITER 1556 NEW BEST:: SOT 112510 SOS 62259 HAS SOPS 62259 HAS SOUS 53947 HAS SOUPS 53947 WITH SCORE 54009.259
AT ITER 1559 NEW BEST:: SOT 112197 SOS 62190 HAS SOPS 62190 HAS SOUS 53844 HAS SOUPS 53844 WITH SCORE 53906.19
AT ITER 1561 NEW BEST:: SOT 112197 SOS 62150 HAS SOPS 62150 HAS SOUS 53844 HAS SOUPS 53844 WITH SCORE 53906.15
AT ITER 1575 NEW BEST:: SOT 112197 SOS 62138 HAS SOPS 62138 HAS SOUS 53844 HAS SOUPS 53844 WITH SCORE 53906.138
AT ITER 1589 NEW BEST:: SOT 112005 SOS 62034 HAS SOPS 62034 HAS SOUS 53740 HAS SOUPS 53740 WITH SCORE 53802.034
AT ITER 1603 NEW BEST:: SOT 112021 SOS 62050 HAS SOPS 62050 HAS SOUS 53620 HAS SOUPS 53620 WITH SCORE 53682.05
AT ITER 1605 NEW BEST:: SOT 112013 SOS 62042 HAS SOPS 62042 HAS SOUS 53610 HAS SOUPS 53610 WITH SCORE 53672.042
AT ITER 1610 NEW BEST:: SOT 112013 SOS 62112 HAS SOPS 62112 HAS SOUS 53591 HAS SOUPS 53591 WITH SCORE 53653.112
AT ITER 1614 NEW BEST:: SOT 111884 SOS 62103 HAS SOPS 62103 HAS SOUS 53582 HAS SOUPS 53582 WITH SCORE 53644.103
AT ITER 1615 NEW BEST:: SOT 111889 SOS 62047 HAS SOPS 62047 HAS SOUS 53525 HAS SOUPS 53525 WITH SCORE 53587.047
AT ITER 1616 NEW BEST:: SOT 111887 SOS 62045 HAS SOPS 62045 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53585.045
AT ITER 1617 NEW BEST:: SOT 111887 SOS 61927 HAS SOPS 61927 HAS SOUS 53396 HAS SOUPS 53396 WITH SCORE 53457.927
AT ITER 1619 NEW BEST:: SOT 111887 SOS 61888 HAS SOPS 61888 HAS SOUS 53396 HAS SOUPS 53396 WITH SCORE 53457.888
AT ITER 1620 NEW BEST:: SOT 111887 SOS 61768 HAS SOPS 61768 HAS SOUS 53319 HAS SOUPS 53319 WITH SCORE 53380.768
AT ITER 1635 NEW BEST:: SOT 111842 SOS 61679 HAS SOPS 61679 HAS SOUS 53242 HAS SOUPS 53242 WITH SCORE 53303.679
AT ITER 1640 NEW BEST:: SOT 111855 SOS 61679 HAS SOPS 61679 HAS SOUS 53229 HAS SOUPS 53229 WITH SCORE 53290.679
AT ITER 1649 NEW BEST:: SOT 111805 SOS 61654 HAS SOPS 61654 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53285.654
AT ITER 1650 NEW BEST:: SOT 111781 SOS 61672 HAS SOPS 61672 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53229.672
AT ITER 1655 NEW BEST:: SOT 111781 SOS 61634 HAS SOPS 61634 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53229.634
AT ITER 1665 NEW BEST:: SOT 111781 SOS 61629 HAS SOPS 61629 HAS SOUS 53157 HAS SOUPS 53157 WITH SCORE 53218.629
AT ITER 1669 NEW BEST:: SOT 111781 SOS 61625 HAS SOPS 61625 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53171.625
AT ITER 1683 NEW BEST:: SOT 111708 SOS 62081 HAS SOPS 62081 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53170.081
AT ITER 1690 NEW BEST:: SOT 111537 SOS 61967 HAS SOPS 61967 HAS SOUS 53051 HAS SOUPS 53051 WITH SCORE 53112.967
AT ITER 1693 NEW BEST:: SOT 111524 SOS 61954 HAS SOPS 61954 HAS SOUS 53038 HAS SOUPS 53038 WITH SCORE 53099.954
AT ITER 1711 NEW BEST:: SOT 111518 SOS 62028 HAS SOPS 62028 HAS SOUS 53032 HAS SOUPS 53032 WITH SCORE 53094.028
AT ITER 1712 NEW BEST:: SOT 111565 SOS 62006 HAS SOPS 62006 HAS SOUS 53003 HAS SOUPS 53003 WITH SCORE 53065.006
AT ITER 1742 NEW BEST:: SOT 111565 SOS 62058 HAS SOPS 62058 HAS SOUS 52961 HAS SOUPS 52961 WITH SCORE 53023.058
AT ITER 1746 NEW BEST:: SOT 111557 SOS 62050 HAS SOPS 62050 HAS SOUS 52953 HAS SOUPS 52953 WITH SCORE 53015.05
AT ITER 1750 NEW BEST:: SOT 111503 SOS 62012 HAS SOPS 62012 HAS SOUS 52915 HAS SOUPS 52915 WITH SCORE 52977.012
AT ITER 1751 NEW BEST:: SOT 111503 SOS 62003 HAS SOPS 62003 HAS SOUS 52915 HAS SOUPS 52915 WITH SCORE 52977.003
AT ITER 1753 NEW BEST:: SOT 111503 SOS 61796 HAS SOPS 61796 HAS SOUS 52915 HAS SOUPS 52915 WITH SCORE 52976.796
AT ITER 1756 NEW BEST:: SOT 111508 SOS 61774 HAS SOPS 61774 HAS SOUS 52903 HAS SOUPS 52903 WITH SCORE 52964.774
AT ITER 1760 NEW BEST:: SOT 111531 SOS 61432 HAS SOPS 61432 HAS SOUS 52865 HAS SOUPS 52865 WITH SCORE 52926.432
AT ITER 1764 NEW BEST:: SOT 111545 SOS 61430 HAS SOPS 61430 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52924.43
AT ITER 1770 NEW BEST:: SOT 111545 SOS 61429 HAS SOPS 61429 HAS SOUS 52863 HAS SOUPS 52863 WITH SCORE 52924.429
AT ITER 1772 NEW BEST:: SOT 111164 SOS 61923 HAS SOPS 61923 HAS SOUS 52523 HAS SOUPS 52523 WITH SCORE 52584.923
AT ITER 1778 NEW BEST:: SOT 111164 SOS 61788 HAS SOPS 61788 HAS SOUS 52523 HAS SOUPS 52523 WITH SCORE 52584.788
AT ITER 1784 NEW BEST:: SOT 111164 SOS 61771 HAS SOPS 61771 HAS SOUS 52523 HAS SOUPS 52523 WITH SCORE 52584.771
AT ITER 1793 NEW BEST:: SOT 111023 SOS 61681 HAS SOPS 61681 HAS SOUS 52458 HAS SOUPS 52458 WITH SCORE 52519.681
AT ITER 1800 NEW BEST:: SOT 111016 SOS 61674 HAS SOPS 61674 HAS SOUS 52441 HAS SOUPS 52441 WITH SCORE 52502.674
AT ITER 1841 NEW BEST:: SOT 111016 SOS 61645 HAS SOPS 61645 HAS SOUS 52441 HAS SOUPS 52441 WITH SCORE 52502.645
AT ITER 1844 NEW BEST:: SOT 111018 SOS 61573 HAS SOPS 61573 HAS SOUS 52434 HAS SOUPS 52434 WITH SCORE 52495.573
AT ITER 1851 NEW BEST:: SOT 111009 SOS 61564 HAS SOPS 61564 HAS SOUS 52425 HAS SOUPS 52425 WITH SCORE 52486.564
AT ITER 1856 NEW BEST:: SOT 110876 SOS 61500 HAS SOPS 61500 HAS SOUS 52361 HAS SOUPS 52361 WITH SCORE 52422.5
AT ITER 1861 NEW BEST:: SOT 110774 SOS 61457 HAS SOPS 61457 HAS SOUS 52318 HAS SOUPS 52318 WITH SCORE 52379.457
AT ITER 1863 NEW BEST:: SOT 110774 SOS 61359 HAS SOPS 61359 HAS SOUS 52282 HAS SOUPS 52282 WITH SCORE 52343.359
AT ITER 1867 NEW BEST:: SOT 110752 SOS 61337 HAS SOPS 61337 HAS SOUS 52260 HAS SOUPS 52260 WITH SCORE 52321.337
AT ITER 1880 NEW BEST:: SOT 110732 SOS 61743 HAS SOPS 61743 HAS SOUS 52240 HAS SOUPS 52240 WITH SCORE 52301.743
AT ITER 1881 NEW BEST:: SOT 110730 SOS 61741 HAS SOPS 61741 HAS SOUS 52238 HAS SOUPS 52238 WITH SCORE 52299.741
AT ITER 1882 NEW BEST:: SOT 110733 SOS 61714 HAS SOPS 61714 HAS SOUS 52220 HAS SOUPS 52220 WITH SCORE 52281.714
AT ITER 1917 NEW BEST:: SOT 110693 SOS 61674 HAS SOPS 61674 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52241.674
AT ITER 1921 NEW BEST:: SOT 110703 SOS 61672 HAS SOPS 61672 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52241.672
AT ITER 1922 NEW BEST:: SOT 110698 SOS 61667 HAS SOPS 61667 HAS SOUS 52175 HAS SOUPS 52175 WITH SCORE 52236.667
AT ITER 1926 NEW BEST:: SOT 110698 SOS 61620 HAS SOPS 61620 HAS SOUS 52175 HAS SOUPS 52175 WITH SCORE 52236.62
AT ITER 1936 NEW BEST:: SOT 110630 SOS 61577 HAS SOPS 61577 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52168.577
AT ITER 1940 NEW BEST:: SOT 110630 SOS 61559 HAS SOPS 61559 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52168.559
AT ITER 1956 NEW BEST:: SOT 110631 SOS 61592 HAS SOPS 61592 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52165.592
AT ITER 1962 NEW BEST:: SOT 110631 SOS 61532 HAS SOPS 61532 HAS SOUS 52077 HAS SOUPS 52077 WITH SCORE 52138.532
AT ITER 1987 NEW BEST:: SOT 110592 SOS 61405 HAS SOPS 61405 HAS SOUS 52017 HAS SOUPS 52017 WITH SCORE 52078.405
AT ITER 1991 NEW BEST:: SOT 110563 SOS 61244 HAS SOPS 61244 HAS SOUS 52013 HAS SOUPS 52013 WITH SCORE 52074.244
AT ITER 1993 NEW BEST:: SOT 110549 SOS 61230 HAS SOPS 61230 HAS SOUS 51987 HAS SOUPS 51987 WITH SCORE 52048.23
AT ITER 2009 NEW BEST:: SOT 110403 SOS 61493 HAS SOPS 61493 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 51992.493
AT ITER 2018 NEW BEST:: SOT 110187 SOS 61579 HAS SOPS 61579 HAS SOUS 51892 HAS SOUPS 51892 WITH SCORE 51953.579
AT ITER 2038 NEW BEST:: SOT 110176 SOS 61579 HAS SOPS 61579 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51942.579
AT ITER 2047 NEW BEST:: SOT 110175 SOS 61604 HAS SOPS 61604 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51931.604
AT ITER 2049 NEW BEST:: SOT 110143 SOS 61588 HAS SOPS 61588 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51931.588
AT ITER 2051 NEW BEST:: SOT 110042 SOS 61526 HAS SOPS 61526 HAS SOUS 51833 HAS SOUPS 51833 WITH SCORE 51894.526
AT ITER 2065 NEW BEST:: SOT 110031 SOS 61515 HAS SOPS 61515 HAS SOUS 51811 HAS SOUPS 51811 WITH SCORE 51872.515
AT ITER 2066 NEW BEST:: SOT 109985 SOS 61469 HAS SOPS 61469 HAS SOUS 51765 HAS SOUPS 51765 WITH SCORE 51826.469
AT ITER 2083 NEW BEST:: SOT 109985 SOS 61462 HAS SOPS 61462 HAS SOUS 51758 HAS SOUPS 51758 WITH SCORE 51819.462
AT ITER 2090 NEW BEST:: SOT 109985 SOS 61454 HAS SOPS 61454 HAS SOUS 51753 HAS SOUPS 51753 WITH SCORE 51814.454
AT ITER 2117 NEW BEST:: SOT 109896 SOS 61406 HAS SOPS 61406 HAS SOUS 51753 HAS SOUPS 51753 WITH SCORE 51814.406
AT ITER 2130 NEW BEST:: SOT 109805 SOS 61315 HAS SOPS 61315 HAS SOUS 51662 HAS SOUPS 51662 WITH SCORE 51723.315
AT ITER 2144 NEW BEST:: SOT 109724 SOS 61277 HAS SOPS 61277 HAS SOUS 51631 HAS SOUPS 51631 WITH SCORE 51692.277
AT ITER 2152 NEW BEST:: SOT 109724 SOS 61186 HAS SOPS 61186 HAS SOUS 51620 HAS SOUPS 51620 WITH SCORE 51681.186
AT ITER 2160 NEW BEST:: SOT 109561 SOS 61085 HAS SOPS 61085 HAS SOUS 51519 HAS SOUPS 51519 WITH SCORE 51580.085
AT ITER 2163 NEW BEST:: SOT 109554 SOS 61078 HAS SOPS 61078 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51568.078
AT ITER 2166 NEW BEST:: SOT 109508 SOS 61032 HAS SOPS 61032 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51522.032
AT ITER 2176 NEW BEST:: SOT 109635 SOS 61159 HAS SOPS 61159 HAS SOUS 51445 HAS SOUPS 51445 WITH SCORE 51506.159
AT ITER 2186 NEW BEST:: SOT 109523 SOS 61049 HAS SOPS 61049 HAS SOUS 51390 HAS SOUPS 51390 WITH SCORE 51451.049
AT ITER 2192 NEW BEST:: SOT 109478 SOS 61036 HAS SOPS 61036 HAS SOUS 51377 HAS SOUPS 51377 WITH SCORE 51438.036
AT ITER 2198 NEW BEST:: SOT 109478 SOS 60995 HAS SOPS 60995 HAS SOUS 51367 HAS SOUPS 51367 WITH SCORE 51427.995
AT ITER 2218 NEW BEST:: SOT 109463 SOS 61025 HAS SOPS 61025 HAS SOUS 51356 HAS SOUPS 51356 WITH SCORE 51417.025
AT ITER 2219 NEW BEST:: SOT 109455 SOS 61017 HAS SOPS 61017 HAS SOUS 51348 HAS SOUPS 51348 WITH SCORE 51409.017
AT ITER 2222 NEW BEST:: SOT 109455 SOS 60998 HAS SOPS 60998 HAS SOUS 51348 HAS SOUPS 51348 WITH SCORE 51408.998
AT ITER 2225 NEW BEST:: SOT 109455 SOS 60978 HAS SOPS 60978 HAS SOUS 51348 HAS SOUPS 51348 WITH SCORE 51408.978
AT ITER 2231 NEW BEST:: SOT 109455 SOS 60963 HAS SOPS 60963 HAS SOUS 51348 HAS SOUPS 51348 WITH SCORE 51408.963
AT ITER 2233 NEW BEST:: SOT 109356 SOS 60668 HAS SOPS 60668 HAS SOUS 51261 HAS SOUPS 51261 WITH SCORE 51321.668
AT ITER 2235 NEW BEST:: SOT 109356 SOS 60621 HAS SOPS 60621 HAS SOUS 51231 HAS SOUPS 51231 WITH SCORE 51291.621
AT ITER 2236 NEW BEST:: SOT 109305 SOS 60731 HAS SOPS 60731 HAS SOUS 51189 HAS SOUPS 51189 WITH SCORE 51249.731
AT ITER 2249 NEW BEST:: SOT 109305 SOS 60751 HAS SOPS 60751 HAS SOUS 51179 HAS SOUPS 51179 WITH SCORE 51239.751
AT ITER 2253 NEW BEST:: SOT 109305 SOS 60748 HAS SOPS 60748 HAS SOUS 51160 HAS SOUPS 51160 WITH SCORE 51220.748
AT ITER 2263 NEW BEST:: SOT 109148 SOS 60702 HAS SOPS 60702 HAS SOUS 51114 HAS SOUPS 51114 WITH SCORE 51174.702
AT ITER 2267 NEW BEST:: SOT 109100 SOS 60654 HAS SOPS 60654 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51104.654
AT ITER 2271 NEW BEST:: SOT 109113 SOS 60363 HAS SOPS 60363 HAS SOUS 51025 HAS SOUPS 51025 WITH SCORE 51085.363
AT ITER 2275 NEW BEST:: SOT 109157 SOS 60396 HAS SOPS 60396 HAS SOUS 51024 HAS SOUPS 51024 WITH SCORE 51084.396
AT ITER 2280 NEW BEST:: SOT 109157 SOS 60367 HAS SOPS 60367 HAS SOUS 51022 HAS SOUPS 51022 WITH SCORE 51082.367
AT ITER 2297 NEW BEST:: SOT 109157 SOS 60364 HAS SOPS 60364 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51057.364
AT ITER 2303 NEW BEST:: SOT 109157 SOS 60361 HAS SOPS 60361 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51057.361
AT ITER 2324 NEW BEST:: SOT 109157 SOS 60349 HAS SOPS 60349 HAS SOUS 50991 HAS SOUPS 50991 WITH SCORE 51051.349
AT ITER 2332 NEW BEST:: SOT 109145 SOS 60561 HAS SOPS 60561 HAS SOUS 50979 HAS SOUPS 50979 WITH SCORE 51039.561
AT ITER 2333 NEW BEST:: SOT 109145 SOS 60509 HAS SOPS 60509 HAS SOUS 50953 HAS SOUPS 50953 WITH SCORE 51013.509
AT ITER 2343 NEW BEST:: SOT 109115 SOS 60510 HAS SOPS 60510 HAS SOUS 50909 HAS SOUPS 50909 WITH SCORE 50969.51
AT ITER 2364 NEW BEST:: SOT 109124 SOS 60485 HAS SOPS 60485 HAS SOUS 50884 HAS SOUPS 50884 WITH SCORE 50944.485
AT ITER 2369 NEW BEST:: SOT 109124 SOS 60485 HAS SOPS 60485 HAS SOUS 50858 HAS SOUPS 50858 WITH SCORE 50918.485
AT ITER 2376 NEW BEST:: SOT 109039 SOS 60444 HAS SOPS 60444 HAS SOUS 50854 HAS SOUPS 50854 WITH SCORE 50914.444
AT ITER 2387 NEW BEST:: SOT 109027 SOS 60432 HAS SOPS 60432 HAS SOUS 50842 HAS SOUPS 50842 WITH SCORE 50902.432
AT ITER 2388 NEW BEST:: SOT 108971 SOS 60376 HAS SOPS 60376 HAS SOUS 50798 HAS SOUPS 50798 WITH SCORE 50858.376
AT ITER 2389 NEW BEST:: SOT 108920 SOS 60414 HAS SOPS 60414 HAS SOUS 50764 HAS SOUPS 50764 WITH SCORE 50824.414
AT ITER 2397 NEW BEST:: SOT 108920 SOS 60426 HAS SOPS 60426 HAS SOUS 50755 HAS SOUPS 50755 WITH SCORE 50815.426
AT ITER 2401 NEW BEST:: SOT 108897 SOS 60414 HAS SOPS 60414 HAS SOUS 50730 HAS SOUPS 50730 WITH SCORE 50790.414
AT ITER 2403 NEW BEST:: SOT 108897 SOS 60428 HAS SOPS 60428 HAS SOUS 50702 HAS SOUPS 50702 WITH SCORE 50762.428
AT ITER 2407 NEW BEST:: SOT 108897 SOS 60428 HAS SOPS 60428 HAS SOUS 50691 HAS SOUPS 50691 WITH SCORE 50751.428
AT ITER 2413 NEW BEST:: SOT 108897 SOS 60402 HAS SOPS 60402 HAS SOUS 50678 HAS SOUPS 50678 WITH SCORE 50738.402
AT ITER 2419 NEW BEST:: SOT 108796 SOS 60335 HAS SOPS 60335 HAS SOUS 50611 HAS SOUPS 50611 WITH SCORE 50671.335
AT ITER 2421 NEW BEST:: SOT 108796 SOS 60263 HAS SOPS 60263 HAS SOUS 50611 HAS SOUPS 50611 WITH SCORE 50671.263
AT ITER 2440 NEW BEST:: SOT 108796 SOS 60251 HAS SOPS 60251 HAS SOUS 50611 HAS SOUPS 50611 WITH SCORE 50671.251
AT ITER 2449 NEW BEST:: SOT 108796 SOS 60224 HAS SOPS 60224 HAS SOUS 50565 HAS SOUPS 50565 WITH SCORE 50625.224
AT ITER 2453 NEW BEST:: SOT 108810 SOS 60227 HAS SOPS 60227 HAS SOUS 50560 HAS SOUPS 50560 WITH SCORE 50620.227
AT ITER 2478 NEW BEST:: SOT 108810 SOS 60165 HAS SOPS 60165 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50571.165
AT ITER 2482 NEW BEST:: SOT 108782 SOS 60137 HAS SOPS 60137 HAS SOUS 50483 HAS SOUPS 50483 WITH SCORE 50543.137
AT ITER 2483 NEW BEST:: SOT 108761 SOS 60116 HAS SOPS 60116 HAS SOUS 50462 HAS SOUPS 50462 WITH SCORE 50522.116
AT ITER 2493 NEW BEST:: SOT 108753 SOS 60108 HAS SOPS 60108 HAS SOUS 50454 HAS SOUPS 50454 WITH SCORE 50514.108
AT ITER 2504 NEW BEST:: SOT 108753 SOS 60075 HAS SOPS 60075 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50481.075
AT ITER 2530 NEW BEST:: SOT 108747 SOS 60069 HAS SOPS 60069 HAS SOUS 50411 HAS SOUPS 50411 WITH SCORE 50471.069
AT ITER 2586 NEW BEST:: SOT 108747 SOS 60065 HAS SOPS 60065 HAS SOUS 50411 HAS SOUPS 50411 WITH SCORE 50471.065
AT ITER 2595 NEW BEST:: SOT 108776 SOS 60155 HAS SOPS 60155 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50468.155
AT ITER 2625 NEW BEST:: SOT 108703 SOS 60082 HAS SOPS 60082 HAS SOUS 50335 HAS SOUPS 50335 WITH SCORE 50395.082
AT ITER 2640 NEW BEST:: SOT 108719 SOS 60050 HAS SOPS 60050 HAS SOUS 50335 HAS SOUPS 50335 WITH SCORE 50395.05
AT ITER 2648 NEW BEST:: SOT 108719 SOS 60009 HAS SOPS 60009 HAS SOUS 50335 HAS SOUPS 50335 WITH SCORE 50395.009
AT ITER 2649 NEW BEST:: SOT 108707 SOS 60003 HAS SOPS 60003 HAS SOUS 50329 HAS SOUPS 50329 WITH SCORE 50389.003
AT ITER 2654 NEW BEST:: SOT 108668 SOS 59981 HAS SOPS 59981 HAS SOUS 50307 HAS SOUPS 50307 WITH SCORE 50366.981
AT ITER 2656 NEW BEST:: SOT 108622 SOS 60303 HAS SOPS 60303 HAS SOUS 50306 HAS SOUPS 50306 WITH SCORE 50366.303
AT ITER 2692 NEW BEST:: SOT 108599 SOS 60287 HAS SOPS 60287 HAS SOUS 50287 HAS SOUPS 50287 WITH SCORE 50347.287
AT ITER 2700 NEW BEST:: SOT 108516 SOS 60224 HAS SOPS 60224 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50284.224
AT ITER 2705 NEW BEST:: SOT 108501 SOS 60209 HAS SOPS 60209 HAS SOUS 50181 HAS SOUPS 50181 WITH SCORE 50241.209
AT ITER 2720 NEW BEST:: SOT 108489 SOS 60197 HAS SOPS 60197 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50229.197
AT ITER 2723 NEW BEST:: SOT 108489 SOS 60151 HAS SOPS 60151 HAS SOUS 50152 HAS SOUPS 50152 WITH SCORE 50212.151
AT ITER 2744 NEW BEST:: SOT 108481 SOS 60175 HAS SOPS 60175 HAS SOUS 50144 HAS SOUPS 50144 WITH SCORE 50204.175
AT ITER 2754 NEW BEST:: SOT 108481 SOS 60108 HAS SOPS 60108 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50101.108
AT ITER 2758 NEW BEST:: SOT 108475 SOS 60102 HAS SOPS 60102 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50095.102
AT ITER 2767 NEW BEST:: SOT 108475 SOS 60066 HAS SOPS 60066 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50095.066
AT ITER 2776 NEW BEST:: SOT 108475 SOS 60054 HAS SOPS 60054 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50095.054
AT ITER 2782 NEW BEST:: SOT 108470 SOS 60049 HAS SOPS 60049 HAS SOUS 50030 HAS SOUPS 50030 WITH SCORE 50090.049
AT ITER 2791 NEW BEST:: SOT 108470 SOS 60013 HAS SOPS 60013 HAS SOUS 50030 HAS SOUPS 50030 WITH SCORE 50090.013
AT ITER 2794 NEW BEST:: SOT 108508 SOS 60066 HAS SOPS 60066 HAS SOUS 50018 HAS SOUPS 50018 WITH SCORE 50078.066
AT ITER 2817 NEW BEST:: SOT 108321 SOS 59921 HAS SOPS 59921 HAS SOUS 50011 HAS SOUPS 50011 WITH SCORE 50070.921
AT ITER 2818 NEW BEST:: SOT 108321 SOS 59921 HAS SOPS 59921 HAS SOUS 49986 HAS SOUPS 49986 WITH SCORE 50045.921
AT ITER 2825 NEW BEST:: SOT 108321 SOS 59947 HAS SOPS 59947 HAS SOUS 49969 HAS SOUPS 49969 WITH SCORE 50028.947
AT ITER 2827 NEW BEST:: SOT 108277 SOS 60106 HAS SOPS 60106 HAS SOUS 49925 HAS SOUPS 49925 WITH SCORE 49985.106
AT ITER 2844 NEW BEST:: SOT 108277 SOS 60103 HAS SOPS 60103 HAS SOUS 49922 HAS SOUPS 49922 WITH SCORE 49982.103
AT ITER 2845 NEW BEST:: SOT 108268 SOS 60094 HAS SOPS 60094 HAS SOUS 49913 HAS SOUPS 49913 WITH SCORE 49973.094
AT ITER 2864 NEW BEST:: SOT 108253 SOS 60084 HAS SOPS 60084 HAS SOUS 49903 HAS SOUPS 49903 WITH SCORE 49963.084
AT ITER 2900 NEW BEST:: SOT 108247 SOS 60041 HAS SOPS 60041 HAS SOUS 49877 HAS SOUPS 49877 WITH SCORE 49937.041
AT ITER 2931 NEW BEST:: SOT 108244 SOS 60015 HAS SOPS 60015 HAS SOUS 49870 HAS SOUPS 49870 WITH SCORE 49930.015
AT ITER 2935 NEW BEST:: SOT 108122 SOS 59979 HAS SOPS 59979 HAS SOUS 49799 HAS SOUPS 49799 WITH SCORE 49858.979
AT ITER 2946 NEW BEST:: SOT 108122 SOS 59971 HAS SOPS 59971 HAS SOUS 49782 HAS SOUPS 49782 WITH SCORE 49841.971
AT ITER 2948 NEW BEST:: SOT 108021 SOS 59904 HAS SOPS 59904 HAS SOUS 49715 HAS SOUPS 49715 WITH SCORE 49774.904
AT ITER 2956 NEW BEST:: SOT 108013 SOS 59879 HAS SOPS 59879 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49749.879
AT ITER 2960 NEW BEST:: SOT 107884 SOS 59750 HAS SOPS 59750 HAS SOUS 49664 HAS SOUPS 49664 WITH SCORE 49723.75
AT ITER 2969 NEW BEST:: SOT 107836 SOS 60155 HAS SOPS 60155 HAS SOUS 49652 HAS SOUPS 49652 WITH SCORE 49712.155
AT ITER 2979 NEW BEST:: SOT 107810 SOS 60121 HAS SOPS 60121 HAS SOUS 49585 HAS SOUPS 49585 WITH SCORE 49645.121
AT ITER 2982 NEW BEST:: SOT 107810 SOS 60110 HAS SOPS 60110 HAS SOUS 49585 HAS SOUPS 49585 WITH SCORE 49645.11
AT ITER 3001 NEW BEST:: SOT 107808 SOS 60109 HAS SOPS 60109 HAS SOUS 49584 HAS SOUPS 49584 WITH SCORE 49644.109
AT ITER 3008 NEW BEST:: SOT 107743 SOS 60177 HAS SOPS 60177 HAS SOUS 49570 HAS SOUPS 49570 WITH SCORE 49630.177
AT ITER 3024 NEW BEST:: SOT 107743 SOS 60169 HAS SOPS 60169 HAS SOUS 49570 HAS SOUPS 49570 WITH SCORE 49630.169
AT ITER 3037 NEW BEST:: SOT 107665 SOS 60091 HAS SOPS 60091 HAS SOUS 49562 HAS SOUPS 49562 WITH SCORE 49622.091
AT ITER 3047 NEW BEST:: SOT 107604 SOS 60030 HAS SOPS 60030 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49473.03
AT ITER 3050 NEW BEST:: SOT 107533 SOS 59986 HAS SOPS 59986 HAS SOUS 49369 HAS SOUPS 49369 WITH SCORE 49428.986
AT ITER 3054 NEW BEST:: SOT 107380 SOS 59876 HAS SOPS 59876 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49318.876
AT ITER 3056 NEW BEST:: SOT 107377 SOS 59845 HAS SOPS 59845 HAS SOUS 49249 HAS SOUPS 49249 WITH SCORE 49308.845
AT ITER 3064 NEW BEST:: SOT 107361 SOS 59859 HAS SOPS 59859 HAS SOUS 49240 HAS SOUPS 49240 WITH SCORE 49299.859
AT ITER 3074 NEW BEST:: SOT 107335 SOS 59820 HAS SOPS 59820 HAS SOUS 49184 HAS SOUPS 49184 WITH SCORE 49243.82
AT ITER 3076 NEW BEST:: SOT 107335 SOS 59805 HAS SOPS 59805 HAS SOUS 49184 HAS SOUPS 49184 WITH SCORE 49243.805
AT ITER 3086 NEW BEST:: SOT 107335 SOS 59793 HAS SOPS 59793 HAS SOUS 49147 HAS SOUPS 49147 WITH SCORE 49206.793
AT ITER 3110 NEW BEST:: SOT 107250 SOS 59726 HAS SOPS 59726 HAS SOUS 49080 HAS SOUPS 49080 WITH SCORE 49139.726
AT ITER 3115 NEW BEST:: SOT 107250 SOS 59726 HAS SOPS 59726 HAS SOUS 49063 HAS SOUPS 49063 WITH SCORE 49122.726
AT ITER 3118 NEW BEST:: SOT 107250 SOS 59694 HAS SOPS 59694 HAS SOUS 49056 HAS SOUPS 49056 WITH SCORE 49115.694
AT ITER 3142 NEW BEST:: SOT 107242 SOS 59686 HAS SOPS 59686 HAS SOUS 49048 HAS SOUPS 49048 WITH SCORE 49107.686
AT ITER 3147 NEW BEST:: SOT 107243 SOS 59684 HAS SOPS 59684 HAS SOUS 49048 HAS SOUPS 49048 WITH SCORE 49107.684
AT ITER 3168 NEW BEST:: SOT 107204 SOS 59794 HAS SOPS 59794 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49068.794
AT ITER 3220 NEW BEST:: SOT 107181 SOS 59771 HAS SOPS 59771 HAS SOUS 48981 HAS SOUPS 48981 WITH SCORE 49040.771
AT ITER 3227 NEW BEST:: SOT 107192 SOS 59782 HAS SOPS 59782 HAS SOUS 48978 HAS SOUPS 48978 WITH SCORE 49037.782
AT ITER 3238 NEW BEST:: SOT 107069 SOS 59725 HAS SOPS 59725 HAS SOUS 48921 HAS SOUPS 48921 WITH SCORE 48980.725
AT ITER 3239 NEW BEST:: SOT 107069 SOS 59712 HAS SOPS 59712 HAS SOUS 48916 HAS SOUPS 48916 WITH SCORE 48975.712
AT ITER 3244 NEW BEST:: SOT 106970 SOS 59598 HAS SOPS 59598 HAS SOUS 48683 HAS SOUPS 48683 WITH SCORE 48742.598
AT ITER 3252 NEW BEST:: SOT 106966 SOS 59594 HAS SOPS 59594 HAS SOUS 48679 HAS SOUPS 48679 WITH SCORE 48738.594
AT ITER 3255 NEW BEST:: SOT 106966 SOS 59586 HAS SOPS 59586 HAS SOUS 48679 HAS SOUPS 48679 WITH SCORE 48738.586
AT ITER 3271 NEW BEST:: SOT 106936 SOS 59577 HAS SOPS 59577 HAS SOUS 48649 HAS SOUPS 48649 WITH SCORE 48708.577
AT ITER 3278 NEW BEST:: SOT 106855 SOS 59924 HAS SOPS 59924 HAS SOUS 48568 HAS SOUPS 48568 WITH SCORE 48627.924
AT ITER 3284 NEW BEST:: SOT 106825 SOS 59894 HAS SOPS 59894 HAS SOUS 48538 HAS SOUPS 48538 WITH SCORE 48597.894
AT ITER 3288 NEW BEST:: SOT 106825 SOS 59790 HAS SOPS 59790 HAS SOUS 48538 HAS SOUPS 48538 WITH SCORE 48597.79
AT ITER 3294 NEW BEST:: SOT 106822 SOS 59787 HAS SOPS 59787 HAS SOUS 48537 HAS SOUPS 48537 WITH SCORE 48596.787
AT ITER 3306 NEW BEST:: SOT 106739 SOS 59719 HAS SOPS 59719 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48528.719
AT ITER 3314 NEW BEST:: SOT 106809 SOS 59744 HAS SOPS 59744 HAS SOUS 48453 HAS SOUPS 48453 WITH SCORE 48512.744
AT ITER 3349 NEW BEST:: SOT 106809 SOS 59718 HAS SOPS 59718 HAS SOUS 48419 HAS SOUPS 48419 WITH SCORE 48478.718
AT ITER 3389 NEW BEST:: SOT 106809 SOS 59597 HAS SOPS 59597 HAS SOUS 48398 HAS SOUPS 48398 WITH SCORE 48457.597
AT ITER 3400 NEW BEST:: SOT 106809 SOS 59594 HAS SOPS 59594 HAS SOUS 48398 HAS SOUPS 48398 WITH SCORE 48457.594
AT ITER 3406 NEW BEST:: SOT 106713 SOS 59519 HAS SOPS 59519 HAS SOUS 48323 HAS SOUPS 48323 WITH SCORE 48382.519
AT ITER 3415 NEW BEST:: SOT 106699 SOS 59531 HAS SOPS 59531 HAS SOUS 48322 HAS SOUPS 48322 WITH SCORE 48381.531
AT ITER 3425 NEW BEST:: SOT 106801 SOS 59560 HAS SOPS 59560 HAS SOUS 48310 HAS SOUPS 48310 WITH SCORE 48369.56
AT ITER 3476 NEW BEST:: SOT 106762 SOS 59493 HAS SOPS 59493 HAS SOUS 48290 HAS SOUPS 48290 WITH SCORE 48349.493
AT ITER 3497 NEW BEST:: SOT 106583 SOS 59592 HAS SOPS 59592 HAS SOUS 48268 HAS SOUPS 48268 WITH SCORE 48327.592
AT ITER 3534 NEW BEST:: SOT 106583 SOS 59637 HAS SOPS 59637 HAS SOUS 48207 HAS SOUPS 48207 WITH SCORE 48266.637
AT ITER 3550 NEW BEST:: SOT 106583 SOS 59427 HAS SOPS 59427 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48218.427
AT ITER 3551 NEW BEST:: SOT 106584 SOS 59425 HAS SOPS 59425 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48218.425
AT ITER 3553 NEW BEST:: SOT 106584 SOS 59368 HAS SOPS 59368 HAS SOUS 48142 HAS SOUPS 48142 WITH SCORE 48201.368
AT ITER 3565 NEW BEST:: SOT 106576 SOS 59360 HAS SOPS 59360 HAS SOUS 48134 HAS SOUPS 48134 WITH SCORE 48193.36
AT ITER 3583 NEW BEST:: SOT 106569 SOS 59353 HAS SOPS 59353 HAS SOUS 48127 HAS SOUPS 48127 WITH SCORE 48186.353
AT ITER 3595 NEW BEST:: SOT 106531 SOS 59384 HAS SOPS 59384 HAS SOUS 48112 HAS SOUPS 48112 WITH SCORE 48171.384
AT ITER 3597 NEW BEST:: SOT 106527 SOS 59380 HAS SOPS 59380 HAS SOUS 48108 HAS SOUPS 48108 WITH SCORE 48167.38
AT ITER 3619 NEW BEST:: SOT 106527 SOS 59345 HAS SOPS 59345 HAS SOUS 48108 HAS SOUPS 48108 WITH SCORE 48167.345
AT ITER 3621 NEW BEST:: SOT 106523 SOS 59309 HAS SOPS 59309 HAS SOUS 48072 HAS SOUPS 48072 WITH SCORE 48131.309
AT ITER 3633 NEW BEST:: SOT 106523 SOS 59309 HAS SOPS 59309 HAS SOUS 48009 HAS SOUPS 48009 WITH SCORE 48068.309
AT ITER 3641 NEW BEST:: SOT 106523 SOS 59400 HAS SOPS 59400 HAS SOUS 47986 HAS SOUPS 47986 WITH SCORE 48045.4
AT ITER 3656 NEW BEST:: SOT 106523 SOS 59373 HAS SOPS 59373 HAS SOUS 47981 HAS SOUPS 47981 WITH SCORE 48040.373
AT ITER 3663 NEW BEST:: SOT 106519 SOS 59365 HAS SOPS 59365 HAS SOUS 47977 HAS SOUPS 47977 WITH SCORE 48036.365
AT ITER 3665 NEW BEST:: SOT 106519 SOS 59326 HAS SOPS 59326 HAS SOUS 47977 HAS SOUPS 47977 WITH SCORE 48036.326
AT ITER 3686 NEW BEST:: SOT 106507 SOS 59327 HAS SOPS 59327 HAS SOUS 47968 HAS SOUPS 47968 WITH SCORE 48027.327
AT ITER 3712 NEW BEST:: SOT 106493 SOS 59313 HAS SOPS 59313 HAS SOUS 47954 HAS SOUPS 47954 WITH SCORE 48013.313
AT ITER 3749 NEW BEST:: SOT 106450 SOS 59280 HAS SOPS 59280 HAS SOUS 47921 HAS SOUPS 47921 WITH SCORE 47980.28
AT ITER 3762 NEW BEST:: SOT 106251 SOS 59154 HAS SOPS 59154 HAS SOUS 47873 HAS SOUPS 47873 WITH SCORE 47932.154
AT ITER 3788 NEW BEST:: SOT 106246 SOS 59282 HAS SOPS 59282 HAS SOUS 47871 HAS SOUPS 47871 WITH SCORE 47930.282
AT ITER 3790 NEW BEST:: SOT 106170 SOS 59305 HAS SOPS 59305 HAS SOUS 47861 HAS SOUPS 47861 WITH SCORE 47920.305
AT ITER 3791 NEW BEST:: SOT 106159 SOS 59263 HAS SOPS 59263 HAS SOUS 47850 HAS SOUPS 47850 WITH SCORE 47909.263
AT ITER 3814 NEW BEST:: SOT 106159 SOS 59178 HAS SOPS 59178 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47853.178
AT ITER 3824 NEW BEST:: SOT 106157 SOS 59182 HAS SOPS 59182 HAS SOUS 47792 HAS SOUPS 47792 WITH SCORE 47851.182
AT ITER 3841 NEW BEST:: SOT 106157 SOS 59189 HAS SOPS 59189 HAS SOUS 47784 HAS SOUPS 47784 WITH SCORE 47843.189
AT ITER 3847 NEW BEST:: SOT 106158 SOS 59188 HAS SOPS 59188 HAS SOUS 47784 HAS SOUPS 47784 WITH SCORE 47843.188
AT ITER 3855 NEW BEST:: SOT 106140 SOS 59176 HAS SOPS 59176 HAS SOUS 47772 HAS SOUPS 47772 WITH SCORE 47831.176
AT ITER 3895 NEW BEST:: SOT 106138 SOS 59174 HAS SOPS 59174 HAS SOUS 47770 HAS SOUPS 47770 WITH SCORE 47829.174
AT ITER 3906 NEW BEST:: SOT 106138 SOS 59174 HAS SOPS 59174 HAS SOUS 47748 HAS SOUPS 47748 WITH SCORE 47807.174
AT ITER 3909 NEW BEST:: SOT 106013 SOS 59314 HAS SOPS 59314 HAS SOUS 47721 HAS SOUPS 47721 WITH SCORE 47780.314
AT ITER 3916 NEW BEST:: SOT 106020 SOS 59321 HAS SOPS 59321 HAS SOUS 47713 HAS SOUPS 47713 WITH SCORE 47772.321
AT ITER 3917 NEW BEST:: SOT 105948 SOS 59254 HAS SOPS 59254 HAS SOUS 47662 HAS SOUPS 47662 WITH SCORE 47721.254
AT ITER 3923 NEW BEST:: SOT 105904 SOS 59210 HAS SOPS 59210 HAS SOUS 47618 HAS SOUPS 47618 WITH SCORE 47677.21
AT ITER 3931 NEW BEST:: SOT 105891 SOS 59197 HAS SOPS 59197 HAS SOUS 47605 HAS SOUPS 47605 WITH SCORE 47664.197
AT ITER 3937 NEW BEST:: SOT 105879 SOS 59185 HAS SOPS 59185 HAS SOUS 47593 HAS SOUPS 47593 WITH SCORE 47652.185
AT ITER 3938 NEW BEST:: SOT 105821 SOS 59127 HAS SOPS 59127 HAS SOUS 47535 HAS SOUPS 47535 WITH SCORE 47594.127
AT ITER 3942 NEW BEST:: SOT 105821 SOS 59130 HAS SOPS 59130 HAS SOUS 47532 HAS SOUPS 47532 WITH SCORE 47591.13
AT ITER 3963 NEW BEST:: SOT 105804 SOS 59113 HAS SOPS 59113 HAS SOUS 47500 HAS SOUPS 47500 WITH SCORE 47559.113
AT ITER 3983 NEW BEST:: SOT 105804 SOS 59097 HAS SOPS 59097 HAS SOUS 47500 HAS SOUPS 47500 WITH SCORE 47559.097
AT ITER 4015 NEW BEST:: SOT 105804 SOS 59120 HAS SOPS 59120 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47521.12
AT ITER 4033 NEW BEST:: SOT 105804 SOS 59079 HAS SOPS 59079 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47521.079
AT ITER 4043 NEW BEST:: SOT 105804 SOS 59076 HAS SOPS 59076 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47521.076
AT ITER 4044 NEW BEST:: SOT 105799 SOS 59071 HAS SOPS 59071 HAS SOUS 47443 HAS SOUPS 47443 WITH SCORE 47502.071
AT ITER 4052 NEW BEST:: SOT 105799 SOS 59068 HAS SOPS 59068 HAS SOUS 47413 HAS SOUPS 47413 WITH SCORE 47472.068
AT ITER 4069 NEW BEST:: SOT 105776 SOS 59059 HAS SOPS 59059 HAS SOUS 47397 HAS SOUPS 47397 WITH SCORE 47456.059
AT ITER 4096 NEW BEST:: SOT 105776 SOS 59041 HAS SOPS 59041 HAS SOUS 47397 HAS SOUPS 47397 WITH SCORE 47456.041
AT ITER 4103 NEW BEST:: SOT 105776 SOS 59041 HAS SOPS 59041 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47448.041
AT ITER 4114 NEW BEST:: SOT 105776 SOS 59026 HAS SOPS 59026 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47448.026
AT ITER 4117 NEW BEST:: SOT 105716 SOS 59301 HAS SOPS 59301 HAS SOUS 47356 HAS SOUPS 47356 WITH SCORE 47415.301
AT ITER 4125 NEW BEST:: SOT 105707 SOS 59292 HAS SOPS 59292 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47406.292
AT ITER 4132 NEW BEST:: SOT 105707 SOS 59283 HAS SOPS 59283 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47406.283
AT ITER 4138 NEW BEST:: SOT 105704 SOS 59280 HAS SOPS 59280 HAS SOUS 47344 HAS SOUPS 47344 WITH SCORE 47403.28
AT ITER 4142 NEW BEST:: SOT 105702 SOS 59278 HAS SOPS 59278 HAS SOUS 47342 HAS SOUPS 47342 WITH SCORE 47401.278
AT ITER 4165 NEW BEST:: SOT 105702 SOS 59247 HAS SOPS 59247 HAS SOUS 47305 HAS SOUPS 47305 WITH SCORE 47364.247
AT ITER 4178 NEW BEST:: SOT 105702 SOS 59231 HAS SOPS 59231 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47348.231
AT ITER 4180 NEW BEST:: SOT 105702 SOS 59201 HAS SOPS 59201 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47348.201
AT ITER 4185 NEW BEST:: SOT 105729 SOS 59164 HAS SOPS 59164 HAS SOUS 47288 HAS SOUPS 47288 WITH SCORE 47347.164
AT ITER 4195 NEW BEST:: SOT 105735 SOS 59158 HAS SOPS 59158 HAS SOUS 47280 HAS SOUPS 47280 WITH SCORE 47339.158
AT ITER 4209 NEW BEST:: SOT 105730 SOS 59153 HAS SOPS 59153 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47323.153
AT ITER 4215 NEW BEST:: SOT 105730 SOS 59117 HAS SOPS 59117 HAS SOUS 47228 HAS SOUPS 47228 WITH SCORE 47287.117
AT ITER 4220 NEW BEST:: SOT 105691 SOS 59078 HAS SOPS 59078 HAS SOUS 47189 HAS SOUPS 47189 WITH SCORE 47248.078
AT ITER 4222 NEW BEST:: SOT 105689 SOS 59076 HAS SOPS 59076 HAS SOUS 47187 HAS SOUPS 47187 WITH SCORE 47246.076
AT ITER 4230 NEW BEST:: SOT 105689 SOS 59076 HAS SOPS 59076 HAS SOUS 47145 HAS SOUPS 47145 WITH SCORE 47204.076
AT ITER 4250 NEW BEST:: SOT 105696 SOS 59023 HAS SOPS 59023 HAS SOUS 47137 HAS SOUPS 47137 WITH SCORE 47196.023
AT ITER 4254 NEW BEST:: SOT 105696 SOS 58815 HAS SOPS 58815 HAS SOUS 47129 HAS SOUPS 47129 WITH SCORE 47187.815
AT ITER 4285 NEW BEST:: SOT 105673 SOS 58792 HAS SOPS 58792 HAS SOUS 47106 HAS SOUPS 47106 WITH SCORE 47164.792
AT ITER 4292 NEW BEST:: SOT 105673 SOS 58780 HAS SOPS 58780 HAS SOUS 47106 HAS SOUPS 47106 WITH SCORE 47164.78
AT ITER 4342 NEW BEST:: SOT 105862 SOS 58752 HAS SOPS 58752 HAS SOUS 47086 HAS SOUPS 47086 WITH SCORE 47144.752
AT ITER 4343 NEW BEST:: SOT 105868 SOS 58748 HAS SOPS 58748 HAS SOUS 47080 HAS SOUPS 47080 WITH SCORE 47138.748
AT ITER 4354 NEW BEST:: SOT 105729 SOS 58938 HAS SOPS 58938 HAS SOUS 47069 HAS SOUPS 47069 WITH SCORE 47127.938
AT ITER 4360 NEW BEST:: SOT 105731 SOS 58940 HAS SOPS 58940 HAS SOUS 47050 HAS SOUPS 47050 WITH SCORE 47108.94
AT ITER 4410 NEW BEST:: SOT 105731 SOS 58974 HAS SOPS 58974 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47059.974
AT ITER 4464 NEW BEST:: SOT 105731 SOS 58937 HAS SOPS 58937 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47059.937
AT ITER 4469 NEW BEST:: SOT 105682 SOS 58954 HAS SOPS 58954 HAS SOUS 46970 HAS SOUPS 46970 WITH SCORE 47028.954
AT ITER 4483 NEW BEST:: SOT 105675 SOS 58947 HAS SOPS 58947 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47014.947
AT ITER 4516 NEW BEST:: SOT 105669 SOS 58941 HAS SOPS 58941 HAS SOUS 46950 HAS SOUPS 46950 WITH SCORE 47008.941
AT ITER 4518 NEW BEST:: SOT 105663 SOS 58935 HAS SOPS 58935 HAS SOUS 46944 HAS SOUPS 46944 WITH SCORE 47002.935
AT ITER 4533 NEW BEST:: SOT 105639 SOS 58937 HAS SOPS 58937 HAS SOUS 46923 HAS SOUPS 46923 WITH SCORE 46981.937
AT ITER 4537 NEW BEST:: SOT 105672 SOS 59013 HAS SOPS 59013 HAS SOUS 46917 HAS SOUPS 46917 WITH SCORE 46976.013
AT ITER 4545 NEW BEST:: SOT 105672 SOS 59008 HAS SOPS 59008 HAS SOUS 46912 HAS SOUPS 46912 WITH SCORE 46971.008
AT ITER 4551 NEW BEST:: SOT 105649 SOS 58985 HAS SOPS 58985 HAS SOUS 46889 HAS SOUPS 46889 WITH SCORE 46947.985
AT ITER 4592 NEW BEST:: SOT 105619 SOS 58955 HAS SOPS 58955 HAS SOUS 46859 HAS SOUPS 46859 WITH SCORE 46917.955
AT ITER 4594 NEW BEST:: SOT 105598 SOS 58934 HAS SOPS 58934 HAS SOUS 46838 HAS SOUPS 46838 WITH SCORE 46896.934
AT ITER 4596 NEW BEST:: SOT 105598 SOS 59032 HAS SOPS 59032 HAS SOUS 46832 HAS SOUPS 46832 WITH SCORE 46891.032
AT ITER 4599 NEW BEST:: SOT 105437 SOS 59009 HAS SOPS 59009 HAS SOUS 46810 HAS SOUPS 46810 WITH SCORE 46869.009
AT ITER 4603 NEW BEST:: SOT 105389 SOS 58973 HAS SOPS 58973 HAS SOUS 46786 HAS SOUPS 46786 WITH SCORE 46844.973
AT ITER 4628 NEW BEST:: SOT 105389 SOS 58924 HAS SOPS 58924 HAS SOUS 46763 HAS SOUPS 46763 WITH SCORE 46821.924
AT ITER 4640 NEW BEST:: SOT 105322 SOS 58857 HAS SOPS 58857 HAS SOUS 46696 HAS SOUPS 46696 WITH SCORE 46754.857
AT ITER 4647 NEW BEST:: SOT 105322 SOS 58849 HAS SOPS 58849 HAS SOUS 46696 HAS SOUPS 46696 WITH SCORE 46754.849
AT ITER 4664 NEW BEST:: SOT 105322 SOS 58835 HAS SOPS 58835 HAS SOUS 46692 HAS SOUPS 46692 WITH SCORE 46750.835
AT ITER 4699 NEW BEST:: SOT 105296 SOS 58809 HAS SOPS 58809 HAS SOUS 46666 HAS SOUPS 46666 WITH SCORE 46724.809
AT ITER 4710 NEW BEST:: SOT 105296 SOS 58760 HAS SOPS 58760 HAS SOUS 46656 HAS SOUPS 46656 WITH SCORE 46714.76
AT ITER 4721 NEW BEST:: SOT 105292 SOS 58756 HAS SOPS 58756 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46692.756
AT ITER 4743 NEW BEST:: SOT 105292 SOS 58749 HAS SOPS 58749 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46692.749
AT ITER 4757 NEW BEST:: SOT 105292 SOS 58749 HAS SOPS 58749 HAS SOUS 46621 HAS SOUPS 46621 WITH SCORE 46679.749
AT ITER 4760 NEW BEST:: SOT 105273 SOS 58730 HAS SOPS 58730 HAS SOUS 46602 HAS SOUPS 46602 WITH SCORE 46660.73
AT ITER 4807 NEW BEST:: SOT 105270 SOS 58733 HAS SOPS 58733 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46657.733
AT ITER 4832 NEW BEST:: SOT 105264 SOS 58727 HAS SOPS 58727 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46620.727
AT ITER 4854 NEW BEST:: SOT 105286 SOS 58683 HAS SOPS 58683 HAS SOUS 46555 HAS SOUPS 46555 WITH SCORE 46613.683
AT ITER 4855 NEW BEST:: SOT 105286 SOS 58702 HAS SOPS 58702 HAS SOUS 46521 HAS SOUPS 46521 WITH SCORE 46579.702
AT ITER 4869 NEW BEST:: SOT 105262 SOS 58678 HAS SOPS 58678 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46555.678
AT ITER 4877 NEW BEST:: SOT 105262 SOS 58644 HAS SOPS 58644 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46555.644
AT ITER 4887 NEW BEST:: SOT 105262 SOS 58644 HAS SOPS 58644 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46554.644
AT ITER 4911 NEW BEST:: SOT 105256 SOS 58638 HAS SOPS 58638 HAS SOUS 46490 HAS SOUPS 46490 WITH SCORE 46548.638
AT ITER 4913 NEW BEST:: SOT 105256 SOS 58638 HAS SOPS 58638 HAS SOUS 46483 HAS SOUPS 46483 WITH SCORE 46541.638
AT ITER 4923 NEW BEST:: SOT 105142 SOS 58522 HAS SOPS 58522 HAS SOUS 46329 HAS SOUPS 46329 WITH SCORE 46387.522
AT ITER 4925 NEW BEST:: SOT 105129 SOS 58509 HAS SOPS 58509 HAS SOUS 46314 HAS SOUPS 46314 WITH SCORE 46372.509
AT ITER 4930 NEW BEST:: SOT 105126 SOS 58508 HAS SOPS 58508 HAS SOUS 46311 HAS SOUPS 46311 WITH SCORE 46369.508
AT ITER 4948 NEW BEST:: SOT 105126 SOS 58508 HAS SOPS 58508 HAS SOUS 46303 HAS SOUPS 46303 WITH SCORE 46361.508
AT ITER 4952 NEW BEST:: SOT 105044 SOS 58426 HAS SOPS 58426 HAS SOUS 46221 HAS SOUPS 46221 WITH SCORE 46279.426
AT ITER 4965 NEW BEST:: SOT 105039 SOS 58421 HAS SOPS 58421 HAS SOUS 46216 HAS SOUPS 46216 WITH SCORE 46274.421
AT ITER 4977 NEW BEST:: SOT 105141 SOS 58086 HAS SOPS 58086 HAS SOUS 46173 HAS SOUPS 46173 WITH SCORE 46231.086
AT ITER 4979 NEW BEST:: SOT 105141 SOS 58082 HAS SOPS 58082 HAS SOUS 46173 HAS SOUPS 46173 WITH SCORE 46231.082
AT ITER 4986 NEW BEST:: SOT 105094 SOS 58093 HAS SOPS 58093 HAS SOUS 46156 HAS SOUPS 46156 WITH SCORE 46214.093
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN07-CTLFireability-00 (AF( (AX( (! (! ((potential((tk(P476)>=1) & (tk(P7)>=1) & (tk(P397)>=1))))))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-01 (EG( ( (AU( ((potential((tk(P446)>=1) & (tk(P19)>=1) & (tk(P407)>=1)))) , ((potential((tk(P445)>=1) & (tk(P11)>=1) & (tk(P400)>=1)))) )) | (AU( ((potential((tk(P460)>=1) & (tk(P33)>=1) & (tk(P423)>=1)))) , ((potential((tk(P460)>=1) & (tk(P47)>=1) & (tk(P437)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN07-CTLFireability-02 ( (! (AX( (AF( ((potential((tk(P469)>=1) & (tk(P21)>=1) & (tk(P410)>=1))))))))) & ((potential((tk(P461)>=1) & (tk(P27)>=1) & (tk(P416)>=1)))) )
PROPERTY: Sudoku-PT-AN07-CTLFireability-03 (AX( (! (AX( (! ((potential((tk(P459)>=1) & (tk(P46)>=1) & (tk(P437)>=1))))))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-04 ( (EG( ( (EX( ((potential((tk(P486)>=1) & (tk(P31)>=1) & (tk(P427)>=1)))))) & (! (! ((potential((tk(P453)>=1) & (tk(P47)>=1) & (tk(P436)>=1)))))) ))) | (AU( (EF( ((potential((tk(P483)>=1) & (tk(P28)>=1) & (tk(P419)>=1)))))) , (AG( ((potential((tk(P487)>=1) & (tk(P32)>=1) & (tk(P427)>=1)))))) )) )
PROPERTY: Sudoku-PT-AN07-CTLFireability-05 (EG( ((potential((tk(P454)>=1) & (tk(P34)>=1) & (tk(P422)>=1))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-06 (EX( (EG( ( ( ((potential((tk(P477)>=1) & (tk(P8)>=1) & (tk(P405)>=1)))) | ((potential((tk(P465)>=1) & (tk(P24)>=1) & (tk(P417)>=1)))) ) | (! ((potential((tk(P452)>=1) & (tk(P11)>=1) & (tk(P401)>=1))))) )))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-07 (EX( ( (EG( ((potential((tk(P454)>=1) & (tk(P20)>=1) & (tk(P408)>=1)))))) & ( (! ( ((potential((tk(P463)>=1) & (tk(P29)>=1) & (tk(P424)>=1)))) & ((potential((tk(P481)>=1) & (tk(P40)>=1) & (tk(P433)>=1)))) )) & (AX( ((potential((tk(P474)>=1) & (tk(P40)>=1) & (tk(P432)>=1)))))) ) )))
PROPERTY: Sudoku-PT-AN07-CTLFireability-08 ( (EX( (AG( ((potential((tk(P453)>=1) & (tk(P40)>=1) & (tk(P429)>=1)))))))) | (EG( (AF( (! ((potential((tk(P488)>=1) & (tk(P40)>=1) & (tk(P434)>=1))))))))) )
PROPERTY: Sudoku-PT-AN07-CTLFireability-09 (! (EX( (EG( (! ((potential((tk(P466)>=1) & (tk(P18)>=1) & (tk(P410)>=1))))))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-10 (EX( ( ((potential((tk(P458)>=1) & (tk(P3)>=1) & (tk(P395)>=1)))) & ( (AX( ((potential((tk(P452)>=1) & (tk(P18)>=1) & (tk(P408)>=1)))))) & ( ( ((potential((tk(P468)>=1) & (tk(P13)>=1) & (tk(P403)>=1)))) | ((potential((tk(P490)>=1) & (tk(P49)>=1) & (tk(P441)>=1)))) ) | ( ((potential((tk(P478)>=1) & (tk(P30)>=1) & (tk(P426)>=1)))) | ((potential((tk(P483)>=1) & (tk(P35)>=1) & (tk(P426)>=1)))) ) ) ) )))
PROPERTY: Sudoku-PT-AN07-CTLFireability-11 (! (EF( (AX( ((potential((tk(P489)>=1) & (tk(P27)>=1) & (tk(P420)>=1)))))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-12 (AF( (! ((potential((tk(P473)>=1) & (tk(P39)>=1) & (tk(P432)>=1)))))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-13 ( (AG( (EX( ((potential((tk(P443)>=1) & (tk(P44)>=1) & (tk(P435)>=1)))))))) & (EX( (! (EG( ((potential((tk(P458)>=1) & (tk(P38)>=1) & (tk(P430)>=1))))))))) )
PROPERTY: Sudoku-PT-AN07-CTLFireability-14 (AX( (AF( ( ((potential((tk(P485)>=1) & (tk(P2)>=1) & (tk(P399)>=1)))) & (! ((potential((tk(P464)>=1) & (tk(P23)>=1) & (tk(P417)>=1))))) )))))
PROPERTY: Sudoku-PT-AN07-CTLFireability-15 (AX( ( (EF( ((potential((tk(P488)>=1) & (tk(P19)>=1) & (tk(P413)>=1)))))) | (AF( ( ((potential((tk(P472)>=1) & (tk(P38)>=1) & (tk(P432)>=1)))) & ((potential((tk(P456)>=1) & (tk(P15)>=1) & (tk(P409)>=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-AN07"
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-AN07, 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-159033538700364"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN07.tgz
mv Sudoku-PT-AN07 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;