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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 4.2K 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 3.0K Jun 3 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 71K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 258K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 94K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 344K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.5K Jun 3 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jun 3 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 119K 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-AN06-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336625274

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

GOT IT HERE. BS
Petri model created: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50879 SOS 26429 HAS SOPS 26429 HAS SOUS 26429 HAS SOUPS 26429 WITH SCORE 26455.429
AT ITER 1 NEW BEST:: SOT 50790 SOS 26376 HAS SOPS 26376 HAS SOUS 26376 HAS SOUPS 26376 WITH SCORE 26402.376
AT ITER 13 NEW BEST:: SOT 50607 SOS 26438 HAS SOPS 26438 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26244.438
AT ITER 49 NEW BEST:: SOT 50572 SOS 26450 HAS SOPS 26450 HAS SOUS 26210 HAS SOUPS 26210 WITH SCORE 26236.45
AT ITER 53 NEW BEST:: SOT 50463 SOS 26412 HAS SOPS 26412 HAS SOUS 26127 HAS SOUPS 26127 WITH SCORE 26153.412
AT ITER 61 NEW BEST:: SOT 50363 SOS 26312 HAS SOPS 26312 HAS SOUS 26027 HAS SOUPS 26027 WITH SCORE 26053.312
AT ITER 62 NEW BEST:: SOT 50384 SOS 26315 HAS SOPS 26315 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26051.315
AT ITER 63 NEW BEST:: SOT 50309 SOS 26289 HAS SOPS 26289 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 25998.289
AT ITER 67 NEW BEST:: SOT 50162 SOS 26519 HAS SOPS 26519 HAS SOUS 25891 HAS SOUPS 25891 WITH SCORE 25917.519
AT ITER 72 NEW BEST:: SOT 50208 SOS 26480 HAS SOPS 26480 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25872.48
AT ITER 76 NEW BEST:: SOT 50208 SOS 26420 HAS SOPS 26420 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25872.42
AT ITER 77 NEW BEST:: SOT 50173 SOS 26385 HAS SOPS 26385 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25837.385
AT ITER 85 NEW BEST:: SOT 50146 SOS 26389 HAS SOPS 26389 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 25815.389
AT ITER 101 NEW BEST:: SOT 50146 SOS 26385 HAS SOPS 26385 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25796.385
AT ITER 108 NEW BEST:: SOT 50116 SOS 26410 HAS SOPS 26410 HAS SOUS 25765 HAS SOUPS 25765 WITH SCORE 25791.41
AT ITER 110 NEW BEST:: SOT 50061 SOS 26701 HAS SOPS 26701 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25747.701
AT ITER 113 NEW BEST:: SOT 50057 SOS 26697 HAS SOPS 26697 HAS SOUS 25717 HAS SOUPS 25717 WITH SCORE 25743.697
AT ITER 114 NEW BEST:: SOT 49959 SOS 26691 HAS SOPS 26691 HAS SOUS 25641 HAS SOUPS 25641 WITH SCORE 25667.691
AT ITER 125 NEW BEST:: SOT 49923 SOS 26655 HAS SOPS 26655 HAS SOUS 25605 HAS SOUPS 25605 WITH SCORE 25631.655
AT ITER 148 NEW BEST:: SOT 49923 SOS 26646 HAS SOPS 26646 HAS SOUS 25605 HAS SOUPS 25605 WITH SCORE 25631.646
AT ITER 149 NEW BEST:: SOT 49953 SOS 26669 HAS SOPS 26669 HAS SOUS 25603 HAS SOUPS 25603 WITH SCORE 25629.669
AT ITER 150 NEW BEST:: SOT 49953 SOS 26633 HAS SOPS 26633 HAS SOUS 25603 HAS SOUPS 25603 WITH SCORE 25629.633
AT ITER 154 NEW BEST:: SOT 49946 SOS 26626 HAS SOPS 26626 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25622.626
AT ITER 157 NEW BEST:: SOT 49924 SOS 26621 HAS SOPS 26621 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25617.621
AT ITER 174 NEW BEST:: SOT 49920 SOS 26617 HAS SOPS 26617 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25613.617
AT ITER 175 NEW BEST:: SOT 49918 SOS 26588 HAS SOPS 26588 HAS SOUS 25558 HAS SOUPS 25558 WITH SCORE 25584.588
AT ITER 194 NEW BEST:: SOT 49846 SOS 26517 HAS SOPS 26517 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25537.517
AT ITER 196 NEW BEST:: SOT 49836 SOS 26558 HAS SOPS 26558 HAS SOUS 25506 HAS SOUPS 25506 WITH SCORE 25532.558
AT ITER 197 NEW BEST:: SOT 49832 SOS 26554 HAS SOPS 26554 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25528.554
AT ITER 198 NEW BEST:: SOT 49832 SOS 26552 HAS SOPS 26552 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25521.552
AT ITER 208 NEW BEST:: SOT 49683 SOS 26474 HAS SOPS 26474 HAS SOUS 25392 HAS SOUPS 25392 WITH SCORE 25418.474
AT ITER 210 NEW BEST:: SOT 49683 SOS 26465 HAS SOPS 26465 HAS SOUS 25383 HAS SOUPS 25383 WITH SCORE 25409.465
AT ITER 216 NEW BEST:: SOT 49607 SOS 26430 HAS SOPS 26430 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25372.43
AT ITER 229 NEW BEST:: SOT 49539 SOS 26362 HAS SOPS 26362 HAS SOUS 25234 HAS SOUPS 25234 WITH SCORE 25260.362
AT ITER 232 NEW BEST:: SOT 49424 SOS 26284 HAS SOPS 26284 HAS SOUS 25141 HAS SOUPS 25141 WITH SCORE 25167.284
AT ITER 239 NEW BEST:: SOT 49339 SOS 26563 HAS SOPS 26563 HAS SOUS 25084 HAS SOUPS 25084 WITH SCORE 25110.563
AT ITER 257 NEW BEST:: SOT 49262 SOS 26781 HAS SOPS 26781 HAS SOUS 25073 HAS SOUPS 25073 WITH SCORE 25099.781
AT ITER 261 NEW BEST:: SOT 49262 SOS 26649 HAS SOPS 26649 HAS SOUS 25073 HAS SOUPS 25073 WITH SCORE 25099.649
AT ITER 267 NEW BEST:: SOT 49262 SOS 26624 HAS SOPS 26624 HAS SOUS 25073 HAS SOUPS 25073 WITH SCORE 25099.624
AT ITER 275 NEW BEST:: SOT 49279 SOS 26561 HAS SOPS 26561 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25016.561
AT ITER 277 NEW BEST:: SOT 49271 SOS 26553 HAS SOPS 26553 HAS SOUS 24982 HAS SOUPS 24982 WITH SCORE 25008.553
AT ITER 290 NEW BEST:: SOT 49271 SOS 26539 HAS SOPS 26539 HAS SOUS 24982 HAS SOUPS 24982 WITH SCORE 25008.539
AT ITER 296 NEW BEST:: SOT 49265 SOS 26568 HAS SOPS 26568 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25003.568
AT ITER 305 NEW BEST:: SOT 49263 SOS 26568 HAS SOPS 26568 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25001.568
AT ITER 317 NEW BEST:: SOT 49263 SOS 26562 HAS SOPS 26562 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25001.562
AT ITER 342 NEW BEST:: SOT 49180 SOS 26669 HAS SOPS 26669 HAS SOUS 24933 HAS SOUPS 24933 WITH SCORE 24959.669
AT ITER 343 NEW BEST:: SOT 49180 SOS 26638 HAS SOPS 26638 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 24937.638
AT ITER 359 NEW BEST:: SOT 49132 SOS 26793 HAS SOPS 26793 HAS SOUS 24894 HAS SOUPS 24894 WITH SCORE 24920.793
AT ITER 373 NEW BEST:: SOT 49119 SOS 26792 HAS SOPS 26792 HAS SOUS 24870 HAS SOUPS 24870 WITH SCORE 24896.792
AT ITER 384 NEW BEST:: SOT 48929 SOS 26872 HAS SOPS 26872 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24712.872
AT ITER 388 NEW BEST:: SOT 48862 SOS 27049 HAS SOPS 27049 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24686.049
AT ITER 389 NEW BEST:: SOT 48862 SOS 27018 HAS SOPS 27018 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24686.018
AT ITER 393 NEW BEST:: SOT 48862 SOS 27006 HAS SOPS 27006 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24686.006
AT ITER 394 NEW BEST:: SOT 48862 SOS 26978 HAS SOPS 26978 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24685.978
AT ITER 395 NEW BEST:: SOT 48774 SOS 26890 HAS SOPS 26890 HAS SOUS 24571 HAS SOUPS 24571 WITH SCORE 24597.89
AT ITER 402 NEW BEST:: SOT 48778 SOS 26794 HAS SOPS 26794 HAS SOUS 24533 HAS SOUPS 24533 WITH SCORE 24559.794
AT ITER 405 NEW BEST:: SOT 48729 SOS 26794 HAS SOPS 26794 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24557.794
AT ITER 410 NEW BEST:: SOT 48727 SOS 26792 HAS SOPS 26792 HAS SOUS 24527 HAS SOUPS 24527 WITH SCORE 24553.792
AT ITER 425 NEW BEST:: SOT 48727 SOS 26758 HAS SOPS 26758 HAS SOUS 24527 HAS SOUPS 24527 WITH SCORE 24553.758
AT ITER 426 NEW BEST:: SOT 48562 SOS 27100 HAS SOPS 27100 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24444.1
AT ITER 431 NEW BEST:: SOT 48562 SOS 27074 HAS SOPS 27074 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24444.074
AT ITER 439 NEW BEST:: SOT 48562 SOS 27071 HAS SOPS 27071 HAS SOUS 24411 HAS SOUPS 24411 WITH SCORE 24438.071
AT ITER 440 NEW BEST:: SOT 48587 SOS 27040 HAS SOPS 27040 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24430.04
AT ITER 445 NEW BEST:: SOT 48587 SOS 26996 HAS SOPS 26996 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24429.996
AT ITER 447 NEW BEST:: SOT 48555 SOS 26964 HAS SOPS 26964 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24397.964
AT ITER 454 NEW BEST:: SOT 48558 SOS 26957 HAS SOPS 26957 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24390.957
AT ITER 463 NEW BEST:: SOT 48558 SOS 26897 HAS SOPS 26897 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24383.897
AT ITER 467 NEW BEST:: SOT 48558 SOS 26819 HAS SOPS 26819 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24383.819
AT ITER 469 NEW BEST:: SOT 48558 SOS 26808 HAS SOPS 26808 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24383.808
AT ITER 478 NEW BEST:: SOT 48474 SOS 26888 HAS SOPS 26888 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24325.888
AT ITER 492 NEW BEST:: SOT 48474 SOS 26874 HAS SOPS 26874 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24325.874
AT ITER 500 NEW BEST:: SOT 48437 SOS 26837 HAS SOPS 26837 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24287.837
AT ITER 501 NEW BEST:: SOT 48369 SOS 26869 HAS SOPS 26869 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24278.869
AT ITER 504 NEW BEST:: SOT 48369 SOS 26836 HAS SOPS 26836 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24278.836
AT ITER 511 NEW BEST:: SOT 48323 SOS 26808 HAS SOPS 26808 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24243.808
AT ITER 534 NEW BEST:: SOT 48320 SOS 26805 HAS SOPS 26805 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24242.805
AT ITER 567 NEW BEST:: SOT 48268 SOS 26773 HAS SOPS 26773 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24210.773
AT ITER 580 NEW BEST:: SOT 48268 SOS 26772 HAS SOPS 26772 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24209.772
AT ITER 588 NEW BEST:: SOT 48225 SOS 26765 HAS SOPS 26765 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24202.765
AT ITER 598 NEW BEST:: SOT 48019 SOS 26994 HAS SOPS 26994 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24085.994
AT ITER 599 NEW BEST:: SOT 48019 SOS 26882 HAS SOPS 26882 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24085.882
AT ITER 604 NEW BEST:: SOT 47969 SOS 27025 HAS SOPS 27025 HAS SOUS 24018 HAS SOUPS 24018 WITH SCORE 24045.025
AT ITER 607 NEW BEST:: SOT 47894 SOS 26957 HAS SOPS 26957 HAS SOUS 23950 HAS SOUPS 23950 WITH SCORE 23976.957
AT ITER 614 NEW BEST:: SOT 47936 SOS 26422 HAS SOPS 26422 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23957.422
AT ITER 626 NEW BEST:: SOT 47734 SOS 26270 HAS SOPS 26270 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23796.27
AT ITER 627 NEW BEST:: SOT 47734 SOS 26264 HAS SOPS 26264 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23796.264
AT ITER 646 NEW BEST:: SOT 47662 SOS 26459 HAS SOPS 26459 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23762.459
AT ITER 649 NEW BEST:: SOT 47641 SOS 26438 HAS SOPS 26438 HAS SOUS 23719 HAS SOUPS 23719 WITH SCORE 23745.438
AT ITER 650 NEW BEST:: SOT 47545 SOS 26539 HAS SOPS 26539 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23691.539
AT ITER 652 NEW BEST:: SOT 47545 SOS 26534 HAS SOPS 26534 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23691.534
AT ITER 678 NEW BEST:: SOT 47545 SOS 26597 HAS SOPS 26597 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23689.597
AT ITER 690 NEW BEST:: SOT 47503 SOS 26588 HAS SOPS 26588 HAS SOUS 23654 HAS SOUPS 23654 WITH SCORE 23680.588
AT ITER 691 NEW BEST:: SOT 47453 SOS 26543 HAS SOPS 26543 HAS SOUS 23609 HAS SOUPS 23609 WITH SCORE 23635.543
AT ITER 700 NEW BEST:: SOT 47404 SOS 26880 HAS SOPS 26880 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23625.88
AT ITER 719 NEW BEST:: SOT 47404 SOS 26867 HAS SOPS 26867 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23625.867
AT ITER 721 NEW BEST:: SOT 47388 SOS 26812 HAS SOPS 26812 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23581.812
AT ITER 742 NEW BEST:: SOT 47388 SOS 26507 HAS SOPS 26507 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23525.507
AT ITER 750 NEW BEST:: SOT 47292 SOS 26742 HAS SOPS 26742 HAS SOUS 23456 HAS SOUPS 23456 WITH SCORE 23482.742
AT ITER 759 NEW BEST:: SOT 47292 SOS 26766 HAS SOPS 26766 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23458.766
AT ITER 769 NEW BEST:: SOT 47292 SOS 26691 HAS SOPS 26691 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23434.691
AT ITER 780 NEW BEST:: SOT 47292 SOS 26684 HAS SOPS 26684 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23434.684
AT ITER 804 NEW BEST:: SOT 47292 SOS 26684 HAS SOPS 26684 HAS SOUS 23405 HAS SOUPS 23405 WITH SCORE 23431.684
AT ITER 814 NEW BEST:: SOT 47269 SOS 26672 HAS SOPS 26672 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23428.672
AT ITER 825 NEW BEST:: SOT 47260 SOS 26663 HAS SOPS 26663 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23415.663
AT ITER 831 NEW BEST:: SOT 47272 SOS 26595 HAS SOPS 26595 HAS SOUS 23387 HAS SOUPS 23387 WITH SCORE 23413.595
AT ITER 839 NEW BEST:: SOT 47264 SOS 26563 HAS SOPS 26563 HAS SOUS 23379 HAS SOUPS 23379 WITH SCORE 23405.563
AT ITER 843 NEW BEST:: SOT 47177 SOS 26555 HAS SOPS 26555 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23397.555
AT ITER 844 NEW BEST:: SOT 47177 SOS 26524 HAS SOPS 26524 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23388.524
AT ITER 852 NEW BEST:: SOT 47177 SOS 26304 HAS SOPS 26304 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23388.304
AT ITER 858 NEW BEST:: SOT 47147 SOS 26285 HAS SOPS 26285 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23369.285
AT ITER 893 NEW BEST:: SOT 47121 SOS 26274 HAS SOPS 26274 HAS SOUS 23332 HAS SOUPS 23332 WITH SCORE 23358.274
AT ITER 894 NEW BEST:: SOT 47099 SOS 26304 HAS SOPS 26304 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23353.304
AT ITER 901 NEW BEST:: SOT 47096 SOS 26334 HAS SOPS 26334 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23332.334
AT ITER 907 NEW BEST:: SOT 47005 SOS 26298 HAS SOPS 26298 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23241.298
AT ITER 914 NEW BEST:: SOT 46976 SOS 26269 HAS SOPS 26269 HAS SOUS 23167 HAS SOUPS 23167 WITH SCORE 23193.269
AT ITER 941 NEW BEST:: SOT 46945 SOS 26238 HAS SOPS 26238 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23148.238
AT ITER 945 NEW BEST:: SOT 46940 SOS 26233 HAS SOPS 26233 HAS SOUS 23117 HAS SOUPS 23117 WITH SCORE 23143.233
AT ITER 946 NEW BEST:: SOT 46920 SOS 26231 HAS SOPS 26231 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23141.231
AT ITER 947 NEW BEST:: SOT 46896 SOS 26215 HAS SOPS 26215 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23125.215
AT ITER 951 NEW BEST:: SOT 46870 SOS 26193 HAS SOPS 26193 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23099.193
AT ITER 955 NEW BEST:: SOT 46863 SOS 26220 HAS SOPS 26220 HAS SOUS 23064 HAS SOUPS 23064 WITH SCORE 23090.22
AT ITER 966 NEW BEST:: SOT 46834 SOS 26192 HAS SOPS 26192 HAS SOUS 23036 HAS SOUPS 23036 WITH SCORE 23062.192
AT ITER 972 NEW BEST:: SOT 46834 SOS 26149 HAS SOPS 26149 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23054.149
AT ITER 983 NEW BEST:: SOT 46804 SOS 26119 HAS SOPS 26119 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23024.119
AT ITER 987 NEW BEST:: SOT 46769 SOS 26127 HAS SOPS 26127 HAS SOUS 22983 HAS SOUPS 22983 WITH SCORE 23009.127
AT ITER 995 NEW BEST:: SOT 46563 SOS 26036 HAS SOPS 26036 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22871.036
AT ITER 1011 NEW BEST:: SOT 46563 SOS 26033 HAS SOPS 26033 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22871.033
AT ITER 1016 NEW BEST:: SOT 46541 SOS 26025 HAS SOPS 26025 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22863.025
AT ITER 1020 NEW BEST:: SOT 46541 SOS 26018 HAS SOPS 26018 HAS SOUS 22837 HAS SOUPS 22837 WITH SCORE 22863.018
AT ITER 1032 NEW BEST:: SOT 46527 SOS 25984 HAS SOPS 25984 HAS SOUS 22823 HAS SOUPS 22823 WITH SCORE 22848.984
AT ITER 1058 NEW BEST:: SOT 46527 SOS 25964 HAS SOPS 25964 HAS SOUS 22823 HAS SOUPS 22823 WITH SCORE 22848.964
AT ITER 1082 NEW BEST:: SOT 46516 SOS 25953 HAS SOPS 25953 HAS SOUS 22812 HAS SOUPS 22812 WITH SCORE 22837.953
AT ITER 1087 NEW BEST:: SOT 46389 SOS 25886 HAS SOPS 25886 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22733.886
AT ITER 1092 NEW BEST:: SOT 46357 SOS 25854 HAS SOPS 25854 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.854
AT ITER 1149 NEW BEST:: SOT 46357 SOS 25851 HAS SOPS 25851 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.851
AT ITER 1151 NEW BEST:: SOT 46357 SOS 25841 HAS SOPS 25841 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22701.841
AT ITER 1159 NEW BEST:: SOT 46256 SOS 25778 HAS SOPS 25778 HAS SOUS 22613 HAS SOUPS 22613 WITH SCORE 22638.778
AT ITER 1165 NEW BEST:: SOT 46263 SOS 25769 HAS SOPS 25769 HAS SOUS 22597 HAS SOUPS 22597 WITH SCORE 22622.769
AT ITER 1167 NEW BEST:: SOT 46266 SOS 25856 HAS SOPS 25856 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22603.856
AT ITER 1171 NEW BEST:: SOT 46276 SOS 25846 HAS SOPS 25846 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22603.846
AT ITER 1196 NEW BEST:: SOT 46276 SOS 25839 HAS SOPS 25839 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22596.839
AT ITER 1229 NEW BEST:: SOT 46306 SOS 25869 HAS SOPS 25869 HAS SOUS 22566 HAS SOUPS 22566 WITH SCORE 22591.869
AT ITER 1245 NEW BEST:: SOT 46266 SOS 26272 HAS SOPS 26272 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22553.272
AT ITER 1257 NEW BEST:: SOT 46266 SOS 26220 HAS SOPS 26220 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22553.22
AT ITER 1259 NEW BEST:: SOT 46254 SOS 26208 HAS SOPS 26208 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22541.208
AT ITER 1286 NEW BEST:: SOT 46226 SOS 26205 HAS SOPS 26205 HAS SOUS 22512 HAS SOUPS 22512 WITH SCORE 22538.205
AT ITER 1288 NEW BEST:: SOT 46219 SOS 26204 HAS SOPS 26204 HAS SOUS 22505 HAS SOUPS 22505 WITH SCORE 22531.204
AT ITER 1295 NEW BEST:: SOT 46131 SOS 26264 HAS SOPS 26264 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22486.264
AT ITER 1299 NEW BEST:: SOT 46131 SOS 26252 HAS SOPS 26252 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22482.252
AT ITER 1307 NEW BEST:: SOT 46130 SOS 26251 HAS SOPS 26251 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22481.251
AT ITER 1329 NEW BEST:: SOT 46130 SOS 26101 HAS SOPS 26101 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22463.101
AT ITER 1345 NEW BEST:: SOT 46108 SOS 26059 HAS SOPS 26059 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22463.059
AT ITER 1357 NEW BEST:: SOT 46089 SOS 26040 HAS SOPS 26040 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22444.04
AT ITER 1376 NEW BEST:: SOT 46104 SOS 26025 HAS SOPS 26025 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22419.025
AT ITER 1382 NEW BEST:: SOT 46064 SOS 26013 HAS SOPS 26013 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22411.013
AT ITER 1392 NEW BEST:: SOT 46058 SOS 26007 HAS SOPS 26007 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22405.007
AT ITER 1394 NEW BEST:: SOT 46058 SOS 25960 HAS SOPS 25960 HAS SOUS 22368 HAS SOUPS 22368 WITH SCORE 22393.96
AT ITER 1405 NEW BEST:: SOT 45954 SOS 25930 HAS SOPS 25930 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22363.93
AT ITER 1413 NEW BEST:: SOT 45860 SOS 25879 HAS SOPS 25879 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22312.879
AT ITER 1416 NEW BEST:: SOT 45860 SOS 25871 HAS SOPS 25871 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22312.871
AT ITER 1461 NEW BEST:: SOT 45719 SOS 25747 HAS SOPS 25747 HAS SOUS 22163 HAS SOUPS 22163 WITH SCORE 22188.747
AT ITER 1468 NEW BEST:: SOT 45707 SOS 25735 HAS SOPS 25735 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22182.735
AT ITER 1489 NEW BEST:: SOT 45707 SOS 25708 HAS SOPS 25708 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22182.708
AT ITER 1490 NEW BEST:: SOT 45702 SOS 25808 HAS SOPS 25808 HAS SOUS 22151 HAS SOUPS 22151 WITH SCORE 22176.808
AT ITER 1497 NEW BEST:: SOT 45699 SOS 25805 HAS SOPS 25805 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22173.805
AT ITER 1532 NEW BEST:: SOT 45687 SOS 25794 HAS SOPS 25794 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22162.794
AT ITER 1545 NEW BEST:: SOT 45689 SOS 25772 HAS SOPS 25772 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22156.772
AT ITER 1554 NEW BEST:: SOT 45689 SOS 25765 HAS SOPS 25765 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22156.765
AT ITER 1557 NEW BEST:: SOT 45689 SOS 25711 HAS SOPS 25711 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22156.711
AT ITER 1574 NEW BEST:: SOT 45689 SOS 25705 HAS SOPS 25705 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22156.705
AT ITER 1576 NEW BEST:: SOT 45662 SOS 25690 HAS SOPS 25690 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22144.69
AT ITER 1594 NEW BEST:: SOT 45659 SOS 25687 HAS SOPS 25687 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22141.687
AT ITER 1602 NEW BEST:: SOT 45659 SOS 25668 HAS SOPS 25668 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22141.668
AT ITER 1608 NEW BEST:: SOT 45682 SOS 25680 HAS SOPS 25680 HAS SOUS 22085 HAS SOUPS 22085 WITH SCORE 22110.68
AT ITER 1616 NEW BEST:: SOT 45668 SOS 25677 HAS SOPS 25677 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22107.677
AT ITER 1629 NEW BEST:: SOT 45666 SOS 25677 HAS SOPS 25677 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22105.677
AT ITER 1641 NEW BEST:: SOT 45666 SOS 25669 HAS SOPS 25669 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22105.669
AT ITER 1688 NEW BEST:: SOT 45666 SOS 25674 HAS SOPS 25674 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22102.674
AT ITER 1696 NEW BEST:: SOT 45666 SOS 25609 HAS SOPS 25609 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22039.609
AT ITER 1708 NEW BEST:: SOT 45666 SOS 25588 HAS SOPS 25588 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22039.588
AT ITER 1712 NEW BEST:: SOT 45654 SOS 25576 HAS SOPS 25576 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22027.576
AT ITER 1755 NEW BEST:: SOT 45642 SOS 25585 HAS SOPS 25585 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22015.585
AT ITER 1772 NEW BEST:: SOT 45617 SOS 25560 HAS SOPS 25560 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21990.56
AT ITER 1784 NEW BEST:: SOT 45615 SOS 25588 HAS SOPS 25588 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 21988.588
AT ITER 1796 NEW BEST:: SOT 45599 SOS 25572 HAS SOPS 25572 HAS SOUS 21947 HAS SOUPS 21947 WITH SCORE 21972.572
AT ITER 1811 NEW BEST:: SOT 45525 SOS 25569 HAS SOPS 25569 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21969.569
AT ITER 1843 NEW BEST:: SOT 45525 SOS 25579 HAS SOPS 25579 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21965.579
AT ITER 1846 NEW BEST:: SOT 45355 SOS 25478 HAS SOPS 25478 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21864.478
AT ITER 1849 NEW BEST:: SOT 45355 SOS 25467 HAS SOPS 25467 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21864.467
AT ITER 1862 NEW BEST:: SOT 45352 SOS 25461 HAS SOPS 25461 HAS SOUS 21836 HAS SOUPS 21836 WITH SCORE 21861.461
AT ITER 1865 NEW BEST:: SOT 45308 SOS 25489 HAS SOPS 25489 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21830.489
AT ITER 1868 NEW BEST:: SOT 45299 SOS 25485 HAS SOPS 25485 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21827.485
AT ITER 1910 NEW BEST:: SOT 45279 SOS 25483 HAS SOPS 25483 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21825.483
AT ITER 1911 NEW BEST:: SOT 45279 SOS 25454 HAS SOPS 25454 HAS SOUS 21792 HAS SOUPS 21792 WITH SCORE 21817.454
AT ITER 1913 NEW BEST:: SOT 45273 SOS 25448 HAS SOPS 25448 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.448
AT ITER 1919 NEW BEST:: SOT 45273 SOS 25443 HAS SOPS 25443 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.443
AT ITER 1928 NEW BEST:: SOT 45273 SOS 25439 HAS SOPS 25439 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.439
AT ITER 1930 NEW BEST:: SOT 45273 SOS 25437 HAS SOPS 25437 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21809.437
AT ITER 1939 NEW BEST:: SOT 45273 SOS 25360 HAS SOPS 25360 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21809.36
AT ITER 1960 NEW BEST:: SOT 45306 SOS 25108 HAS SOPS 25108 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21760.108
AT ITER 1967 NEW BEST:: SOT 45306 SOS 25076 HAS SOPS 25076 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21760.076
AT ITER 1979 NEW BEST:: SOT 45306 SOS 25013 HAS SOPS 25013 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21760.013
AT ITER 1993 NEW BEST:: SOT 45306 SOS 25011 HAS SOPS 25011 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21737.011
AT ITER 1997 NEW BEST:: SOT 45245 SOS 25073 HAS SOPS 25073 HAS SOUS 21664 HAS SOUPS 21664 WITH SCORE 21689.073
AT ITER 1998 NEW BEST:: SOT 45248 SOS 25089 HAS SOPS 25089 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21686.089
AT ITER 2001 NEW BEST:: SOT 45207 SOS 25080 HAS SOPS 25080 HAS SOUS 21652 HAS SOUPS 21652 WITH SCORE 21677.08
AT ITER 2019 NEW BEST:: SOT 45205 SOS 25078 HAS SOPS 25078 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21675.078
AT ITER 2029 NEW BEST:: SOT 45205 SOS 24954 HAS SOPS 24954 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21674.954
AT ITER 2047 NEW BEST:: SOT 45205 SOS 24950 HAS SOPS 24950 HAS SOUS 21646 HAS SOUPS 21646 WITH SCORE 21670.95
AT ITER 2055 NEW BEST:: SOT 45173 SOS 24918 HAS SOPS 24918 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21667.918
AT ITER 2065 NEW BEST:: SOT 45107 SOS 24922 HAS SOPS 24922 HAS SOUS 21637 HAS SOUPS 21637 WITH SCORE 21661.922
AT ITER 2073 NEW BEST:: SOT 45097 SOS 24905 HAS SOPS 24905 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21622.905
AT ITER 2077 NEW BEST:: SOT 45080 SOS 24907 HAS SOPS 24907 HAS SOUS 21581 HAS SOUPS 21581 WITH SCORE 21605.907
AT ITER 2084 NEW BEST:: SOT 45041 SOS 24916 HAS SOPS 24916 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21566.916
AT ITER 2109 NEW BEST:: SOT 45031 SOS 24925 HAS SOPS 24925 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21556.925
AT ITER 2114 NEW BEST:: SOT 45005 SOS 24888 HAS SOPS 24888 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21549.888
AT ITER 2137 NEW BEST:: SOT 45005 SOS 24762 HAS SOPS 24762 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21549.762
AT ITER 2148 NEW BEST:: SOT 44952 SOS 24726 HAS SOPS 24726 HAS SOUS 21489 HAS SOUPS 21489 WITH SCORE 21513.726
AT ITER 2168 NEW BEST:: SOT 44952 SOS 24696 HAS SOPS 24696 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21503.696
AT ITER 2178 NEW BEST:: SOT 44943 SOS 24687 HAS SOPS 24687 HAS SOUS 21470 HAS SOUPS 21470 WITH SCORE 21494.687
AT ITER 2179 NEW BEST:: SOT 44937 SOS 24693 HAS SOPS 24693 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21488.693
AT ITER 2217 NEW BEST:: SOT 44870 SOS 24662 HAS SOPS 24662 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21483.662
AT ITER 2223 NEW BEST:: SOT 44836 SOS 24664 HAS SOPS 24664 HAS SOUS 21433 HAS SOUPS 21433 WITH SCORE 21457.664
AT ITER 2232 NEW BEST:: SOT 44824 SOS 24652 HAS SOPS 24652 HAS SOUS 21421 HAS SOUPS 21421 WITH SCORE 21445.652
AT ITER 2236 NEW BEST:: SOT 44836 SOS 24652 HAS SOPS 24652 HAS SOUS 21409 HAS SOUPS 21409 WITH SCORE 21433.652
AT ITER 2240 NEW BEST:: SOT 44847 SOS 24637 HAS SOPS 24637 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21418.637
AT ITER 2255 NEW BEST:: SOT 44847 SOS 24635 HAS SOPS 24635 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21418.635
AT ITER 2264 NEW BEST:: SOT 44847 SOS 24632 HAS SOPS 24632 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21415.632
AT ITER 2268 NEW BEST:: SOT 44863 SOS 24621 HAS SOPS 24621 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21404.621
AT ITER 2287 NEW BEST:: SOT 44853 SOS 24615 HAS SOPS 24615 HAS SOUS 21374 HAS SOUPS 21374 WITH SCORE 21398.615
AT ITER 2295 NEW BEST:: SOT 44831 SOS 24593 HAS SOPS 24593 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.593
AT ITER 2296 NEW BEST:: SOT 44831 SOS 24581 HAS SOPS 24581 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.581
AT ITER 2297 NEW BEST:: SOT 44831 SOS 24535 HAS SOPS 24535 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.535
AT ITER 2319 NEW BEST:: SOT 44831 SOS 24532 HAS SOPS 24532 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.532
AT ITER 2342 NEW BEST:: SOT 44831 SOS 24517 HAS SOPS 24517 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.517
AT ITER 2347 NEW BEST:: SOT 44831 SOS 24540 HAS SOPS 24540 HAS SOUS 21337 HAS SOUPS 21337 WITH SCORE 21361.54
AT ITER 2349 NEW BEST:: SOT 44826 SOS 24480 HAS SOPS 24480 HAS SOUS 21304 HAS SOUPS 21304 WITH SCORE 21328.48
AT ITER 2354 NEW BEST:: SOT 44798 SOS 24600 HAS SOPS 24600 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21327.6
AT ITER 2359 NEW BEST:: SOT 44798 SOS 24600 HAS SOPS 24600 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21304.6
AT ITER 2388 NEW BEST:: SOT 44798 SOS 24620 HAS SOPS 24620 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21298.62
AT ITER 2400 NEW BEST:: SOT 44780 SOS 24577 HAS SOPS 24577 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21280.577
AT ITER 2446 NEW BEST:: SOT 44770 SOS 24567 HAS SOPS 24567 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21260.567
AT ITER 2450 NEW BEST:: SOT 44755 SOS 24552 HAS SOPS 24552 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21245.552
AT ITER 2454 NEW BEST:: SOT 44748 SOS 24550 HAS SOPS 24550 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21240.55
AT ITER 2459 NEW BEST:: SOT 44640 SOS 24471 HAS SOPS 24471 HAS SOUS 21137 HAS SOUPS 21137 WITH SCORE 21161.471
AT ITER 2460 NEW BEST:: SOT 44640 SOS 24461 HAS SOPS 24461 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21159.461
AT ITER 2473 NEW BEST:: SOT 44640 SOS 24448 HAS SOPS 24448 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21159.448
AT ITER 2489 NEW BEST:: SOT 44628 SOS 24436 HAS SOPS 24436 HAS SOUS 21123 HAS SOUPS 21123 WITH SCORE 21147.436
AT ITER 2500 NEW BEST:: SOT 44628 SOS 24422 HAS SOPS 24422 HAS SOUS 21123 HAS SOUPS 21123 WITH SCORE 21147.422
AT ITER 2505 NEW BEST:: SOT 44551 SOS 24345 HAS SOPS 24345 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21070.345
AT ITER 2525 NEW BEST:: SOT 44525 SOS 24332 HAS SOPS 24332 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21054.332
AT ITER 2553 NEW BEST:: SOT 44448 SOS 24271 HAS SOPS 24271 HAS SOUS 20969 HAS SOUPS 20969 WITH SCORE 20993.271
AT ITER 2563 NEW BEST:: SOT 44430 SOS 24271 HAS SOPS 24271 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 20975.271
AT ITER 2585 NEW BEST:: SOT 44406 SOS 24243 HAS SOPS 24243 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20939.243
AT ITER 2602 NEW BEST:: SOT 44383 SOS 24235 HAS SOPS 24235 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20916.235
AT ITER 2608 NEW BEST:: SOT 44340 SOS 24192 HAS SOPS 24192 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20873.192
AT ITER 2632 NEW BEST:: SOT 44340 SOS 24189 HAS SOPS 24189 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20870.189
AT ITER 2638 NEW BEST:: SOT 44340 SOS 24109 HAS SOPS 24109 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20870.109
AT ITER 2656 NEW BEST:: SOT 44340 SOS 24102 HAS SOPS 24102 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20870.102
AT ITER 2664 NEW BEST:: SOT 44340 SOS 24076 HAS SOPS 24076 HAS SOUS 20820 HAS SOUPS 20820 WITH SCORE 20844.076
AT ITER 2665 NEW BEST:: SOT 44310 SOS 24021 HAS SOPS 24021 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20776.021
AT ITER 2670 NEW BEST:: SOT 44294 SOS 24005 HAS SOPS 24005 HAS SOUS 20736 HAS SOUPS 20736 WITH SCORE 20760.005
AT ITER 2679 NEW BEST:: SOT 44294 SOS 24018 HAS SOPS 24018 HAS SOUS 20726 HAS SOUPS 20726 WITH SCORE 20750.018
AT ITER 2680 NEW BEST:: SOT 44287 SOS 24011 HAS SOPS 24011 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20743.011
AT ITER 2693 NEW BEST:: SOT 44287 SOS 23981 HAS SOPS 23981 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20742.981
AT ITER 2696 NEW BEST:: SOT 44287 SOS 23978 HAS SOPS 23978 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20742.978
AT ITER 2706 NEW BEST:: SOT 44287 SOS 23968 HAS SOPS 23968 HAS SOUS 20717 HAS SOUPS 20717 WITH SCORE 20740.968
AT ITER 2710 NEW BEST:: SOT 44295 SOS 23976 HAS SOPS 23976 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20738.976
AT ITER 2730 NEW BEST:: SOT 44295 SOS 23956 HAS SOPS 23956 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20738.956
AT ITER 2751 NEW BEST:: SOT 44278 SOS 23950 HAS SOPS 23950 HAS SOUS 20709 HAS SOUPS 20709 WITH SCORE 20732.95
AT ITER 2754 NEW BEST:: SOT 44266 SOS 23938 HAS SOPS 23938 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20720.938
AT ITER 2768 NEW BEST:: SOT 44257 SOS 23929 HAS SOPS 23929 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20711.929
AT ITER 2773 NEW BEST:: SOT 44197 SOS 23893 HAS SOPS 23893 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20688.893
AT ITER 2776 NEW BEST:: SOT 44181 SOS 24245 HAS SOPS 24245 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20676.245
AT ITER 2787 NEW BEST:: SOT 44176 SOS 24240 HAS SOPS 24240 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20649.24
AT ITER 2794 NEW BEST:: SOT 44172 SOS 24238 HAS SOPS 24238 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20647.238
AT ITER 2804 NEW BEST:: SOT 44113 SOS 24396 HAS SOPS 24396 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20625.396
AT ITER 2806 NEW BEST:: SOT 44054 SOS 24337 HAS SOPS 24337 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20566.337
AT ITER 2807 NEW BEST:: SOT 44042 SOS 24339 HAS SOPS 24339 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20535.339
AT ITER 2811 NEW BEST:: SOT 44042 SOS 24330 HAS SOPS 24330 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20535.33
AT ITER 2820 NEW BEST:: SOT 44013 SOS 24301 HAS SOPS 24301 HAS SOUS 20482 HAS SOUPS 20482 WITH SCORE 20506.301
AT ITER 2827 NEW BEST:: SOT 44013 SOS 24300 HAS SOPS 24300 HAS SOUS 20480 HAS SOUPS 20480 WITH SCORE 20504.3
AT ITER 2830 NEW BEST:: SOT 44013 SOS 24192 HAS SOPS 24192 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20477.192
AT ITER 2876 NEW BEST:: SOT 43977 SOS 24216 HAS SOPS 24216 HAS SOUS 20447 HAS SOUPS 20447 WITH SCORE 20471.216
AT ITER 2877 NEW BEST:: SOT 43891 SOS 24179 HAS SOPS 24179 HAS SOUS 20404 HAS SOUPS 20404 WITH SCORE 20428.179
AT ITER 2879 NEW BEST:: SOT 43880 SOS 24168 HAS SOPS 24168 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20417.168
AT ITER 2881 NEW BEST:: SOT 43880 SOS 24195 HAS SOPS 24195 HAS SOUS 20384 HAS SOUPS 20384 WITH SCORE 20408.195
AT ITER 2917 NEW BEST:: SOT 43855 SOS 24177 HAS SOPS 24177 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20390.177
AT ITER 2923 NEW BEST:: SOT 43855 SOS 24150 HAS SOPS 24150 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20390.15
AT ITER 2934 NEW BEST:: SOT 43855 SOS 24135 HAS SOPS 24135 HAS SOUS 20364 HAS SOUPS 20364 WITH SCORE 20388.135
AT ITER 2935 NEW BEST:: SOT 43851 SOS 24131 HAS SOPS 24131 HAS SOUS 20360 HAS SOUPS 20360 WITH SCORE 20384.131
AT ITER 2940 NEW BEST:: SOT 43846 SOS 24128 HAS SOPS 24128 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20379.128
AT ITER 2948 NEW BEST:: SOT 43846 SOS 24130 HAS SOPS 24130 HAS SOUS 20353 HAS SOUPS 20353 WITH SCORE 20377.13
AT ITER 2955 NEW BEST:: SOT 43846 SOS 24130 HAS SOPS 24130 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20376.13
AT ITER 2971 NEW BEST:: SOT 43845 SOS 24129 HAS SOPS 24129 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20375.129
AT ITER 3004 NEW BEST:: SOT 43828 SOS 24143 HAS SOPS 24143 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20371.143
AT ITER 3009 NEW BEST:: SOT 43828 SOS 24125 HAS SOPS 24125 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20353.125
AT ITER 3047 NEW BEST:: SOT 43823 SOS 24122 HAS SOPS 24122 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20350.122
AT ITER 3050 NEW BEST:: SOT 43825 SOS 24115 HAS SOPS 24115 HAS SOUS 20319 HAS SOUPS 20319 WITH SCORE 20343.115
AT ITER 3051 NEW BEST:: SOT 43825 SOS 24093 HAS SOPS 24093 HAS SOUS 20319 HAS SOUPS 20319 WITH SCORE 20343.093
AT ITER 3062 NEW BEST:: SOT 43814 SOS 24096 HAS SOPS 24096 HAS SOUS 20318 HAS SOUPS 20318 WITH SCORE 20342.096
AT ITER 3064 NEW BEST:: SOT 43811 SOS 24093 HAS SOPS 24093 HAS SOUS 20315 HAS SOUPS 20315 WITH SCORE 20339.093
AT ITER 3087 NEW BEST:: SOT 43811 SOS 24089 HAS SOPS 24089 HAS SOUS 20315 HAS SOUPS 20315 WITH SCORE 20339.089
AT ITER 3097 NEW BEST:: SOT 43815 SOS 24093 HAS SOPS 24093 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20327.093
AT ITER 3110 NEW BEST:: SOT 43753 SOS 24031 HAS SOPS 24031 HAS SOUS 20293 HAS SOUPS 20293 WITH SCORE 20317.031
AT ITER 3156 NEW BEST:: SOT 43753 SOS 23833 HAS SOPS 23833 HAS SOUS 20293 HAS SOUPS 20293 WITH SCORE 20316.833
AT ITER 3164 NEW BEST:: SOT 43753 SOS 23823 HAS SOPS 23823 HAS SOUS 20293 HAS SOUPS 20293 WITH SCORE 20316.823
AT ITER 3174 NEW BEST:: SOT 43753 SOS 23807 HAS SOPS 23807 HAS SOUS 20293 HAS SOUPS 20293 WITH SCORE 20316.807
AT ITER 3177 NEW BEST:: SOT 43704 SOS 23768 HAS SOPS 23768 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20311.768
AT ITER 3194 NEW BEST:: SOT 43699 SOS 23763 HAS SOPS 23763 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20306.763
AT ITER 3195 NEW BEST:: SOT 43695 SOS 23759 HAS SOPS 23759 HAS SOUS 20272 HAS SOUPS 20272 WITH SCORE 20295.759
AT ITER 3196 NEW BEST:: SOT 43693 SOS 23748 HAS SOPS 23748 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20293.748
AT ITER 3243 NEW BEST:: SOT 43695 SOS 23750 HAS SOPS 23750 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20291.75
AT ITER 3267 NEW BEST:: SOT 43650 SOS 23746 HAS SOPS 23746 HAS SOUS 20264 HAS SOUPS 20264 WITH SCORE 20287.746
AT ITER 3268 NEW BEST:: SOT 43650 SOS 23734 HAS SOPS 23734 HAS SOUS 20264 HAS SOUPS 20264 WITH SCORE 20287.734
AT ITER 3273 NEW BEST:: SOT 43603 SOS 23700 HAS SOPS 23700 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20253.7
AT ITER 3338 NEW BEST:: SOT 43641 SOS 23698 HAS SOPS 23698 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20251.698
AT ITER 3341 NEW BEST:: SOT 43641 SOS 23697 HAS SOPS 23697 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20251.697
AT ITER 3358 NEW BEST:: SOT 43639 SOS 23695 HAS SOPS 23695 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20247.695
AT ITER 3385 NEW BEST:: SOT 43639 SOS 23693 HAS SOPS 23693 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20247.693
AT ITER 3404 NEW BEST:: SOT 43637 SOS 23680 HAS SOPS 23680 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20222.68
AT ITER 3419 NEW BEST:: SOT 43603 SOS 23844 HAS SOPS 23844 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20196.844
AT ITER 3441 NEW BEST:: SOT 43601 SOS 23842 HAS SOPS 23842 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20194.842
AT ITER 3442 NEW BEST:: SOT 43593 SOS 23856 HAS SOPS 23856 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20193.856
AT ITER 3452 NEW BEST:: SOT 43572 SOS 23848 HAS SOPS 23848 HAS SOUS 20162 HAS SOUPS 20162 WITH SCORE 20185.848
AT ITER 3468 NEW BEST:: SOT 43526 SOS 23825 HAS SOPS 23825 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20180.825
AT ITER 3518 NEW BEST:: SOT 43478 SOS 23888 HAS SOPS 23888 HAS SOUS 20130 HAS SOUPS 20130 WITH SCORE 20153.888
AT ITER 3520 NEW BEST:: SOT 43477 SOS 23887 HAS SOPS 23887 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20152.887
AT ITER 3579 NEW BEST:: SOT 43474 SOS 23884 HAS SOPS 23884 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20149.884
AT ITER 3591 NEW BEST:: SOT 43474 SOS 23882 HAS SOPS 23882 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20147.882
AT ITER 3611 NEW BEST:: SOT 43476 SOS 23882 HAS SOPS 23882 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20146.882
AT ITER 3617 NEW BEST:: SOT 43476 SOS 23870 HAS SOPS 23870 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20140.87
AT ITER 3636 NEW BEST:: SOT 43476 SOS 23868 HAS SOPS 23868 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20138.868
AT ITER 3673 NEW BEST:: SOT 43476 SOS 23853 HAS SOPS 23853 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20138.853
AT ITER 3686 NEW BEST:: SOT 43476 SOS 23801 HAS SOPS 23801 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20138.801
AT ITER 3694 NEW BEST:: SOT 43406 SOS 24005 HAS SOPS 24005 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20135.005
AT ITER 3732 NEW BEST:: SOT 43382 SOS 24022 HAS SOPS 24022 HAS SOUS 20090 HAS SOUPS 20090 WITH SCORE 20114.022
AT ITER 3759 NEW BEST:: SOT 43382 SOS 24022 HAS SOPS 24022 HAS SOUS 20088 HAS SOUPS 20088 WITH SCORE 20112.022
AT ITER 3762 NEW BEST:: SOT 43382 SOS 24022 HAS SOPS 24022 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20104.022
AT ITER 3781 NEW BEST:: SOT 43315 SOS 24015 HAS SOPS 24015 HAS SOUS 20073 HAS SOUPS 20073 WITH SCORE 20097.015
AT ITER 3821 NEW BEST:: SOT 43304 SOS 24004 HAS SOPS 24004 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20086.004
AT ITER 3823 NEW BEST:: SOT 43301 SOS 24001 HAS SOPS 24001 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20083.001
AT ITER 3847 NEW BEST:: SOT 43374 SOS 24074 HAS SOPS 24074 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20080.074
AT ITER 3854 NEW BEST:: SOT 43367 SOS 24067 HAS SOPS 24067 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20060.067
AT ITER 3868 NEW BEST:: SOT 43343 SOS 24035 HAS SOPS 24035 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20023.035
AT ITER 3885 NEW BEST:: SOT 43332 SOS 24024 HAS SOPS 24024 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20012.024
AT ITER 3899 NEW BEST:: SOT 43316 SOS 24008 HAS SOPS 24008 HAS SOUS 19972 HAS SOUPS 19972 WITH SCORE 19996.008
AT ITER 3913 NEW BEST:: SOT 43304 SOS 24003 HAS SOPS 24003 HAS SOUS 19967 HAS SOUPS 19967 WITH SCORE 19991.003
AT ITER 3953 NEW BEST:: SOT 43256 SOS 23974 HAS SOPS 23974 HAS SOUS 19955 HAS SOUPS 19955 WITH SCORE 19978.974
AT ITER 3961 NEW BEST:: SOT 43256 SOS 23950 HAS SOPS 23950 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19977.95
AT ITER 3988 NEW BEST:: SOT 43256 SOS 23940 HAS SOPS 23940 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19967.94
AT ITER 3991 NEW BEST:: SOT 43253 SOS 23925 HAS SOPS 23925 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19967.925
AT ITER 4001 NEW BEST:: SOT 43252 SOS 23924 HAS SOPS 23924 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19966.924
AT ITER 4010 NEW BEST:: SOT 43217 SOS 23912 HAS SOPS 23912 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19961.912
AT ITER 4047 NEW BEST:: SOT 43215 SOS 23945 HAS SOPS 23945 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19959.945
AT ITER 4062 NEW BEST:: SOT 43212 SOS 23942 HAS SOPS 23942 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19956.942
AT ITER 4080 NEW BEST:: SOT 43180 SOS 23960 HAS SOPS 23960 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19934.96
AT ITER 4098 NEW BEST:: SOT 43180 SOS 23955 HAS SOPS 23955 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19934.955
AT ITER 4122 NEW BEST:: SOT 43179 SOS 23954 HAS SOPS 23954 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19933.954
AT ITER 4141 NEW BEST:: SOT 43117 SOS 23918 HAS SOPS 23918 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19912.918
AT ITER 4178 NEW BEST:: SOT 43202 SOS 23881 HAS SOPS 23881 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19911.881
AT ITER 4187 NEW BEST:: SOT 43204 SOS 23881 HAS SOPS 23881 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19910.881
AT ITER 4197 NEW BEST:: SOT 43204 SOS 23881 HAS SOPS 23881 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19904.881
AT ITER 4198 NEW BEST:: SOT 43195 SOS 23872 HAS SOPS 23872 HAS SOUS 19872 HAS SOUPS 19872 WITH SCORE 19895.872
AT ITER 4207 NEW BEST:: SOT 43195 SOS 23872 HAS SOPS 23872 HAS SOUS 19867 HAS SOUPS 19867 WITH SCORE 19890.872
AT ITER 4209 NEW BEST:: SOT 43162 SOS 23859 HAS SOPS 23859 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19877.859
AT ITER 4211 NEW BEST:: SOT 43159 SOS 23856 HAS SOPS 23856 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19874.856
AT ITER 4247 NEW BEST:: SOT 43150 SOS 23863 HAS SOPS 23863 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19865.863
AT ITER 4259 NEW BEST:: SOT 43157 SOS 23870 HAS SOPS 23870 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19853.87
AT ITER 4294 NEW BEST:: SOT 43153 SOS 23866 HAS SOPS 23866 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19849.866
AT ITER 4304 NEW BEST:: SOT 43150 SOS 23863 HAS SOPS 23863 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19846.863
AT ITER 4330 NEW BEST:: SOT 43149 SOS 23864 HAS SOPS 23864 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19845.864
AT ITER 4375 NEW BEST:: SOT 43090 SOS 23816 HAS SOPS 23816 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19837.816
AT ITER 4394 NEW BEST:: SOT 43132 SOS 23750 HAS SOPS 23750 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19836.75
AT ITER 4415 NEW BEST:: SOT 43141 SOS 23759 HAS SOPS 23759 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19817.759
AT ITER 4431 NEW BEST:: SOT 43141 SOS 23759 HAS SOPS 23759 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19807.759
AT ITER 4444 NEW BEST:: SOT 43141 SOS 23737 HAS SOPS 23737 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19799.737
AT ITER 4579 NEW BEST:: SOT 43141 SOS 23737 HAS SOPS 23737 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19798.737
AT ITER 4580 NEW BEST:: SOT 43141 SOS 23735 HAS SOPS 23735 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19798.735
AT ITER 4605 NEW BEST:: SOT 43141 SOS 23727 HAS SOPS 23727 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19798.727
AT ITER 4618 NEW BEST:: SOT 43106 SOS 23707 HAS SOPS 23707 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19784.707
AT ITER 4629 NEW BEST:: SOT 43111 SOS 23568 HAS SOPS 23568 HAS SOUS 19743 HAS SOUPS 19743 WITH SCORE 19766.568
AT ITER 4649 NEW BEST:: SOT 43107 SOS 23564 HAS SOPS 23564 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19765.564
AT ITER 4692 NEW BEST:: SOT 43084 SOS 23552 HAS SOPS 23552 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19753.552
AT ITER 4698 NEW BEST:: SOT 43084 SOS 23552 HAS SOPS 23552 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19742.552
AT ITER 4700 NEW BEST:: SOT 43084 SOS 23545 HAS SOPS 23545 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19742.545
AT ITER 4730 NEW BEST:: SOT 43081 SOS 23535 HAS SOPS 23535 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19739.535
AT ITER 4738 NEW BEST:: SOT 43082 SOS 23530 HAS SOPS 23530 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19734.53
AT ITER 4740 NEW BEST:: SOT 43130 SOS 23598 HAS SOPS 23598 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19725.598
AT ITER 4767 NEW BEST:: SOT 43103 SOS 23597 HAS SOPS 23597 HAS SOUS 19701 HAS SOUPS 19701 WITH SCORE 19724.597
AT ITER 4773 NEW BEST:: SOT 43100 SOS 23594 HAS SOPS 23594 HAS SOUS 19698 HAS SOUPS 19698 WITH SCORE 19721.594
AT ITER 4802 NEW BEST:: SOT 43095 SOS 23714 HAS SOPS 23714 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19716.714
AT ITER 4827 NEW BEST:: SOT 43095 SOS 23706 HAS SOPS 23706 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19716.706
AT ITER 4831 NEW BEST:: SOT 43086 SOS 23697 HAS SOPS 23697 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19707.697
AT ITER 4870 NEW BEST:: SOT 43086 SOS 23697 HAS SOPS 23697 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19703.697
AT ITER 4915 NEW BEST:: SOT 43010 SOS 24064 HAS SOPS 24064 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19681.064
AT ITER 4937 NEW BEST:: SOT 43010 SOS 24039 HAS SOPS 24039 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19678.039
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN06-CTLCardinality-00 ( potential( (tk(P242)) <= (tk(P159)) ) & ( (AF(potential( ( 2 ) <= (tk(P95)) ))) & potential( (tk(P27)) <= (tk(P287)) ) ) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-01 (EF((! (AF(potential( ( 3 ) <= (tk(P269)) ))))))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-02 ( ( (AF(( potential( ( 3 ) <= (tk(P112)) ) & potential( ( 1 ) <= (tk(P148)) ) ))) | (AU( potential( ( 3 ) <= (tk(P249)) ),potential( ( 1 ) <= (tk(P220)) ) )) ) & (! (AU( potential( ( 2 ) <= (tk(P317)) ),potential( ( 2 ) <= (tk(P262)) ) ))) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-03 (AU( potential( ( 2 ) <= (tk(P27)) ),(EF(potential( ( 2 ) <= (tk(P190)) ))) ))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-04 (EG( (! ( potential( ( 3 ) <= (tk(P199)) ) | potential( ( 3 ) <= (tk(P28)) ) ))))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-05 ( ( (! (EG( potential( ( 1 ) <= (tk(P255)) )))) & (AU( potential( (tk(P236)) <= (tk(P263)) ),potential( (tk(P51)) <= (tk(P68)) ) )) ) & potential( (tk(P157)) <= (tk(P147)) ) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-06 ( (EG( (! potential( ( 2 ) <= (tk(P150)) )))) | (! potential( (tk(P210)) <= (tk(P155)) )) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-07 (AG( ( ( (! potential( ( 3 ) <= (tk(P21)) )) | potential( (tk(P310)) <= (tk(P118)) ) ) | (! ( potential( ( 3 ) <= (tk(P225)) ) | potential( ( 3 ) <= (tk(P250)) ) )) )))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-08 (! ( (EF(( potential( ( 1 ) <= (tk(P236)) ) & potential( ( 3 ) <= (tk(P132)) ) ))) & ( potential( (tk(P21)) <= (tk(P306)) ) | ( (! potential( ( 3 ) <= (tk(P162)) )) & (! potential( ( 3 ) <= (tk(P301)) )) ) ) ))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-09 (AX( (EG( (! potential( ( 3 ) <= (tk(P120)) ))))))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-10 ( (EF((EG( potential( (tk(P148)) <= (tk(P51)) ))))) & (! ( (EG( potential( ( 3 ) <= (tk(P6)) ))) & potential( ( 2 ) <= (tk(P300)) ) )) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-11 (EG( ( ( ( potential( ( 2 ) <= (tk(P309)) ) | potential( (tk(P42)) <= (tk(P143)) ) ) | (! potential( ( 3 ) <= (tk(P218)) )) ) & (AF(potential( ( 1 ) <= (tk(P30)) ))) )))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-12 (AU( ( ( potential( ( 2 ) <= (tk(P4)) ) & potential( (tk(P186)) <= (tk(P210)) ) ) | potential( (tk(P85)) <= (tk(P257)) ) ),(AG( potential( (tk(P198)) <= (tk(P209)) ))) ))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-13 ( ( ( ( (! potential( (tk(P58)) <= (tk(P7)) )) | (! potential( ( 3 ) <= (tk(P214)) )) ) & ( potential( ( 2 ) <= (tk(P252)) ) & ( potential( ( 2 ) <= (tk(P183)) ) | potential( ( 2 ) <= (tk(P300)) ) ) ) ) | ( (! (! potential( (tk(P174)) <= (tk(P282)) ))) & potential( ( 3 ) <= (tk(P1)) ) ) ) | ( ( (EG( potential( (tk(P221)) <= (tk(P237)) ))) | potential( ( 3 ) <= (tk(P232)) ) ) & (EU( potential( (tk(P150)) <= (tk(P188)) ),potential( ( 2 ) <= (tk(P155)) ) )) ) )
PROPERTY: Sudoku-PT-AN06-CTLCardinality-14 (! ( (AF(potential( ( 3 ) <= (tk(P259)) ))) | (! ( ( potential( (tk(P297)) <= (tk(P137)) ) | potential( ( 1 ) <= (tk(P301)) ) ) | ( potential( (tk(P55)) <= (tk(P74)) ) & potential( (tk(P146)) <= (tk(P10)) ) ) )) ))
PROPERTY: Sudoku-PT-AN06-CTLCardinality-15 (AF((AG( ( potential( (tk(P144)) <= (tk(P175)) ) | potential( (tk(P294)) <= (tk(P234)) ) )))))

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-AN06"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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