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

--------------------
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-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336623960

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN06
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: 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 50784 SOS 26364 HAS SOPS 26364 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26385.364
AT ITER 17 NEW BEST:: SOT 50749 SOS 26373 HAS SOPS 26373 HAS SOUS 26348 HAS SOUPS 26348 WITH SCORE 26374.373
AT ITER 18 NEW BEST:: SOT 50628 SOS 26538 HAS SOPS 26538 HAS SOUS 26248 HAS SOUPS 26248 WITH SCORE 26274.538
AT ITER 19 NEW BEST:: SOT 50598 SOS 26537 HAS SOPS 26537 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26244.537
AT ITER 23 NEW BEST:: SOT 50598 SOS 26522 HAS SOPS 26522 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26244.522
AT ITER 28 NEW BEST:: SOT 50553 SOS 26613 HAS SOPS 26613 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26208.613
AT ITER 36 NEW BEST:: SOT 50438 SOS 26543 HAS SOPS 26543 HAS SOUS 26077 HAS SOUPS 26077 WITH SCORE 26103.543
AT ITER 37 NEW BEST:: SOT 50450 SOS 26535 HAS SOPS 26535 HAS SOUS 26059 HAS SOUPS 26059 WITH SCORE 26085.535
AT ITER 48 NEW BEST:: SOT 50450 SOS 26498 HAS SOPS 26498 HAS SOUS 26059 HAS SOUPS 26059 WITH SCORE 26085.498
AT ITER 55 NEW BEST:: SOT 50268 SOS 26595 HAS SOPS 26595 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25932.595
AT ITER 56 NEW BEST:: SOT 50078 SOS 26496 HAS SOPS 26496 HAS SOUS 25761 HAS SOUPS 25761 WITH SCORE 25787.496
AT ITER 64 NEW BEST:: SOT 50053 SOS 26433 HAS SOPS 26433 HAS SOUS 25709 HAS SOUPS 25709 WITH SCORE 25735.433
AT ITER 71 NEW BEST:: SOT 50028 SOS 26408 HAS SOPS 26408 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25710.408
AT ITER 72 NEW BEST:: SOT 49964 SOS 26628 HAS SOPS 26628 HAS SOUS 25674 HAS SOUPS 25674 WITH SCORE 25700.628
AT ITER 89 NEW BEST:: SOT 49824 SOS 26488 HAS SOPS 26488 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25560.488
AT ITER 106 NEW BEST:: SOT 49824 SOS 26476 HAS SOPS 26476 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25560.476
AT ITER 111 NEW BEST:: SOT 49716 SOS 26401 HAS SOPS 26401 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25460.401
AT ITER 125 NEW BEST:: SOT 49570 SOS 26398 HAS SOPS 26398 HAS SOUS 25311 HAS SOUPS 25311 WITH SCORE 25337.398
AT ITER 128 NEW BEST:: SOT 49530 SOS 26430 HAS SOPS 26430 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25308.43
AT ITER 133 NEW BEST:: SOT 49470 SOS 26388 HAS SOPS 26388 HAS SOUS 25225 HAS SOUPS 25225 WITH SCORE 25251.388
AT ITER 136 NEW BEST:: SOT 49425 SOS 26440 HAS SOPS 26440 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25236.44
AT ITER 139 NEW BEST:: SOT 49399 SOS 26435 HAS SOPS 26435 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25210.435
AT ITER 147 NEW BEST:: SOT 49399 SOS 26345 HAS SOPS 26345 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25210.345
AT ITER 153 NEW BEST:: SOT 49375 SOS 26333 HAS SOPS 26333 HAS SOUS 25172 HAS SOUPS 25172 WITH SCORE 25198.333
AT ITER 158 NEW BEST:: SOT 49375 SOS 26322 HAS SOPS 26322 HAS SOUS 25172 HAS SOUPS 25172 WITH SCORE 25198.322
AT ITER 165 NEW BEST:: SOT 49249 SOS 26328 HAS SOPS 26328 HAS SOUS 25138 HAS SOUPS 25138 WITH SCORE 25164.328
AT ITER 167 NEW BEST:: SOT 49266 SOS 26316 HAS SOPS 26316 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25112.316
AT ITER 168 NEW BEST:: SOT 49171 SOS 26513 HAS SOPS 26513 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25069.513
AT ITER 172 NEW BEST:: SOT 49161 SOS 26503 HAS SOPS 26503 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25059.503
AT ITER 174 NEW BEST:: SOT 49126 SOS 26517 HAS SOPS 26517 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25057.517
AT ITER 177 NEW BEST:: SOT 49134 SOS 26507 HAS SOPS 26507 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25022.507
AT ITER 187 NEW BEST:: SOT 49124 SOS 26497 HAS SOPS 26497 HAS SOUS 24966 HAS SOUPS 24966 WITH SCORE 24992.497
AT ITER 198 NEW BEST:: SOT 49018 SOS 26669 HAS SOPS 26669 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24974.669
AT ITER 212 NEW BEST:: SOT 48960 SOS 26611 HAS SOPS 26611 HAS SOUS 24890 HAS SOUPS 24890 WITH SCORE 24916.611
AT ITER 223 NEW BEST:: SOT 48889 SOS 26604 HAS SOPS 26604 HAS SOUS 24868 HAS SOUPS 24868 WITH SCORE 24894.604
AT ITER 232 NEW BEST:: SOT 48889 SOS 26595 HAS SOPS 26595 HAS SOUS 24868 HAS SOUPS 24868 WITH SCORE 24894.595
AT ITER 236 NEW BEST:: SOT 48875 SOS 26574 HAS SOPS 26574 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24887.574
AT ITER 244 NEW BEST:: SOT 48828 SOS 26510 HAS SOPS 26510 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24840.51
AT ITER 249 NEW BEST:: SOT 48759 SOS 26649 HAS SOPS 26649 HAS SOUS 24810 HAS SOUPS 24810 WITH SCORE 24836.649
AT ITER 250 NEW BEST:: SOT 48759 SOS 26610 HAS SOPS 26610 HAS SOUS 24810 HAS SOUPS 24810 WITH SCORE 24836.61
AT ITER 253 NEW BEST:: SOT 48720 SOS 26571 HAS SOPS 26571 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24797.571
AT ITER 255 NEW BEST:: SOT 48720 SOS 26553 HAS SOPS 26553 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24797.553
AT ITER 285 NEW BEST:: SOT 48572 SOS 26723 HAS SOPS 26723 HAS SOUS 24665 HAS SOUPS 24665 WITH SCORE 24691.723
AT ITER 295 NEW BEST:: SOT 48512 SOS 26706 HAS SOPS 26706 HAS SOUS 24648 HAS SOUPS 24648 WITH SCORE 24674.706
AT ITER 296 NEW BEST:: SOT 48495 SOS 26759 HAS SOPS 26759 HAS SOUS 24622 HAS SOUPS 24622 WITH SCORE 24648.759
AT ITER 301 NEW BEST:: SOT 48457 SOS 26780 HAS SOPS 26780 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24610.78
AT ITER 309 NEW BEST:: SOT 48508 SOS 26842 HAS SOPS 26842 HAS SOUS 24546 HAS SOUPS 24546 WITH SCORE 24572.842
AT ITER 314 NEW BEST:: SOT 48508 SOS 26814 HAS SOPS 26814 HAS SOUS 24546 HAS SOUPS 24546 WITH SCORE 24572.814
AT ITER 329 NEW BEST:: SOT 48435 SOS 26802 HAS SOPS 26802 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24514.802
AT ITER 355 NEW BEST:: SOT 48435 SOS 26621 HAS SOPS 26621 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24514.621
AT ITER 361 NEW BEST:: SOT 48435 SOS 26621 HAS SOPS 26621 HAS SOUS 24486 HAS SOUPS 24486 WITH SCORE 24512.621
AT ITER 362 NEW BEST:: SOT 48335 SOS 26536 HAS SOPS 26536 HAS SOUS 24401 HAS SOUPS 24401 WITH SCORE 24427.536
AT ITER 363 NEW BEST:: SOT 48300 SOS 26532 HAS SOPS 26532 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24390.532
AT ITER 372 NEW BEST:: SOT 48178 SOS 26479 HAS SOPS 26479 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24368.479
AT ITER 377 NEW BEST:: SOT 48093 SOS 26424 HAS SOPS 26424 HAS SOUS 24290 HAS SOUPS 24290 WITH SCORE 24316.424
AT ITER 380 NEW BEST:: SOT 48067 SOS 26207 HAS SOPS 26207 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24290.207
AT ITER 381 NEW BEST:: SOT 48027 SOS 26147 HAS SOPS 26147 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24267.147
AT ITER 396 NEW BEST:: SOT 48044 SOS 26132 HAS SOPS 26132 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24171.132
AT ITER 414 NEW BEST:: SOT 47965 SOS 26129 HAS SOPS 26129 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24168.129
AT ITER 427 NEW BEST:: SOT 47901 SOS 26286 HAS SOPS 26286 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24146.286
AT ITER 428 NEW BEST:: SOT 47898 SOS 26283 HAS SOPS 26283 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24143.283
AT ITER 432 NEW BEST:: SOT 47898 SOS 26283 HAS SOPS 26283 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24141.283
AT ITER 436 NEW BEST:: SOT 47809 SOS 26270 HAS SOPS 26270 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24128.27
AT ITER 447 NEW BEST:: SOT 47729 SOS 26246 HAS SOPS 26246 HAS SOUS 24035 HAS SOUPS 24035 WITH SCORE 24061.246
AT ITER 454 NEW BEST:: SOT 47743 SOS 26186 HAS SOPS 26186 HAS SOUS 23945 HAS SOUPS 23945 WITH SCORE 23971.186
AT ITER 457 NEW BEST:: SOT 47732 SOS 26175 HAS SOPS 26175 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23970.175
AT ITER 501 NEW BEST:: SOT 47732 SOS 26151 HAS SOPS 26151 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23970.151
AT ITER 505 NEW BEST:: SOT 47725 SOS 26159 HAS SOPS 26159 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23955.159
AT ITER 517 NEW BEST:: SOT 47725 SOS 26116 HAS SOPS 26116 HAS SOUS 23908 HAS SOUPS 23908 WITH SCORE 23934.116
AT ITER 526 NEW BEST:: SOT 47719 SOS 26107 HAS SOPS 26107 HAS SOUS 23886 HAS SOUPS 23886 WITH SCORE 23912.107
AT ITER 531 NEW BEST:: SOT 47719 SOS 26069 HAS SOPS 26069 HAS SOUS 23873 HAS SOUPS 23873 WITH SCORE 23899.069
AT ITER 542 NEW BEST:: SOT 47719 SOS 26054 HAS SOPS 26054 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23884.054
AT ITER 563 NEW BEST:: SOT 47719 SOS 26034 HAS SOPS 26034 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23870.034
AT ITER 566 NEW BEST:: SOT 47711 SOS 25994 HAS SOPS 25994 HAS SOUS 23822 HAS SOUPS 23822 WITH SCORE 23847.994
AT ITER 571 NEW BEST:: SOT 47697 SOS 25941 HAS SOPS 25941 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23803.941
AT ITER 572 NEW BEST:: SOT 47692 SOS 25904 HAS SOPS 25904 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23771.904
AT ITER 587 NEW BEST:: SOT 47692 SOS 25872 HAS SOPS 25872 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23739.872
AT ITER 619 NEW BEST:: SOT 47704 SOS 25828 HAS SOPS 25828 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23726.828
AT ITER 626 NEW BEST:: SOT 47662 SOS 25786 HAS SOPS 25786 HAS SOUS 23659 HAS SOUPS 23659 WITH SCORE 23684.786
AT ITER 629 NEW BEST:: SOT 47660 SOS 25784 HAS SOPS 25784 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23682.784
AT ITER 635 NEW BEST:: SOT 47536 SOS 25813 HAS SOPS 25813 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23595.813
AT ITER 645 NEW BEST:: SOT 47529 SOS 25784 HAS SOPS 25784 HAS SOUS 23563 HAS SOUPS 23563 WITH SCORE 23588.784
AT ITER 649 NEW BEST:: SOT 47561 SOS 25796 HAS SOPS 25796 HAS SOUS 23558 HAS SOUPS 23558 WITH SCORE 23583.796
AT ITER 652 NEW BEST:: SOT 47496 SOS 25981 HAS SOPS 25981 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23546.981
AT ITER 655 NEW BEST:: SOT 47491 SOS 25976 HAS SOPS 25976 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23541.976
AT ITER 665 NEW BEST:: SOT 47476 SOS 26035 HAS SOPS 26035 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23521.035
AT ITER 677 NEW BEST:: SOT 47476 SOS 25991 HAS SOPS 25991 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23520.991
AT ITER 722 NEW BEST:: SOT 47476 SOS 25959 HAS SOPS 25959 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23520.959
AT ITER 724 NEW BEST:: SOT 47377 SOS 25904 HAS SOPS 25904 HAS SOUS 23472 HAS SOUPS 23472 WITH SCORE 23497.904
AT ITER 730 NEW BEST:: SOT 47331 SOS 25893 HAS SOPS 25893 HAS SOUS 23461 HAS SOUPS 23461 WITH SCORE 23486.893
AT ITER 742 NEW BEST:: SOT 47323 SOS 25930 HAS SOPS 25930 HAS SOUS 23438 HAS SOUPS 23438 WITH SCORE 23463.93
AT ITER 750 NEW BEST:: SOT 47323 SOS 25913 HAS SOPS 25913 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23448.913
AT ITER 756 NEW BEST:: SOT 47323 SOS 25905 HAS SOPS 25905 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23448.905
AT ITER 768 NEW BEST:: SOT 47323 SOS 25688 HAS SOPS 25688 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23448.688
AT ITER 775 NEW BEST:: SOT 47220 SOS 25777 HAS SOPS 25777 HAS SOUS 23350 HAS SOUPS 23350 WITH SCORE 23375.777
AT ITER 783 NEW BEST:: SOT 47181 SOS 25816 HAS SOPS 25816 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23336.816
AT ITER 796 NEW BEST:: SOT 47181 SOS 25808 HAS SOPS 25808 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23336.808
AT ITER 806 NEW BEST:: SOT 47181 SOS 25803 HAS SOPS 25803 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23336.803
AT ITER 807 NEW BEST:: SOT 47181 SOS 25790 HAS SOPS 25790 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23336.79
AT ITER 811 NEW BEST:: SOT 47053 SOS 25604 HAS SOPS 25604 HAS SOUS 23192 HAS SOUPS 23192 WITH SCORE 23217.604
AT ITER 831 NEW BEST:: SOT 47050 SOS 25570 HAS SOPS 25570 HAS SOUS 23177 HAS SOUPS 23177 WITH SCORE 23202.57
AT ITER 842 NEW BEST:: SOT 47013 SOS 25598 HAS SOPS 25598 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23165.598
AT ITER 864 NEW BEST:: SOT 46998 SOS 25583 HAS SOPS 25583 HAS SOUS 23125 HAS SOUPS 23125 WITH SCORE 23150.583
AT ITER 877 NEW BEST:: SOT 46974 SOS 25571 HAS SOPS 25571 HAS SOUS 23113 HAS SOUPS 23113 WITH SCORE 23138.571
AT ITER 892 NEW BEST:: SOT 46974 SOS 25472 HAS SOPS 25472 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23125.472
AT ITER 896 NEW BEST:: SOT 46974 SOS 25457 HAS SOPS 25457 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23125.457
AT ITER 909 NEW BEST:: SOT 46974 SOS 25368 HAS SOPS 25368 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23125.368
AT ITER 928 NEW BEST:: SOT 46974 SOS 25368 HAS SOPS 25368 HAS SOUS 23097 HAS SOUPS 23097 WITH SCORE 23122.368
AT ITER 929 NEW BEST:: SOT 46957 SOS 25378 HAS SOPS 25378 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23096.378
AT ITER 940 NEW BEST:: SOT 46988 SOS 25363 HAS SOPS 25363 HAS SOUS 23067 HAS SOUPS 23067 WITH SCORE 23092.363
AT ITER 950 NEW BEST:: SOT 46988 SOS 25361 HAS SOPS 25361 HAS SOUS 23067 HAS SOUPS 23067 WITH SCORE 23092.361
AT ITER 954 NEW BEST:: SOT 46841 SOS 25258 HAS SOPS 25258 HAS SOUS 22968 HAS SOUPS 22968 WITH SCORE 22993.258
AT ITER 968 NEW BEST:: SOT 46854 SOS 25292 HAS SOPS 25292 HAS SOUS 22943 HAS SOUPS 22943 WITH SCORE 22968.292
AT ITER 972 NEW BEST:: SOT 46917 SOS 25334 HAS SOPS 25334 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22963.334
AT ITER 1014 NEW BEST:: SOT 46907 SOS 25333 HAS SOPS 25333 HAS SOUS 22937 HAS SOUPS 22937 WITH SCORE 22962.333
AT ITER 1036 NEW BEST:: SOT 46841 SOS 25400 HAS SOPS 25400 HAS SOUS 22882 HAS SOUPS 22882 WITH SCORE 22907.4
AT ITER 1040 NEW BEST:: SOT 46784 SOS 25493 HAS SOPS 25493 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22866.493
AT ITER 1041 NEW BEST:: SOT 46784 SOS 25489 HAS SOPS 25489 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22866.489
AT ITER 1047 NEW BEST:: SOT 46784 SOS 25487 HAS SOPS 25487 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22866.487
AT ITER 1056 NEW BEST:: SOT 46784 SOS 25464 HAS SOPS 25464 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22866.464
AT ITER 1075 NEW BEST:: SOT 46783 SOS 25463 HAS SOPS 25463 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22865.463
AT ITER 1105 NEW BEST:: SOT 46772 SOS 25483 HAS SOPS 25483 HAS SOUS 22805 HAS SOUPS 22805 WITH SCORE 22830.483
AT ITER 1120 NEW BEST:: SOT 46768 SOS 25487 HAS SOPS 25487 HAS SOUS 22801 HAS SOUPS 22801 WITH SCORE 22826.487
AT ITER 1138 NEW BEST:: SOT 46768 SOS 25252 HAS SOPS 25252 HAS SOUS 22778 HAS SOUPS 22778 WITH SCORE 22803.252
AT ITER 1144 NEW BEST:: SOT 46700 SOS 25251 HAS SOPS 25251 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22802.251
AT ITER 1148 NEW BEST:: SOT 46667 SOS 25181 HAS SOPS 25181 HAS SOUS 22707 HAS SOUPS 22707 WITH SCORE 22732.181
AT ITER 1149 NEW BEST:: SOT 46652 SOS 25131 HAS SOPS 25131 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22695.131
AT ITER 1155 NEW BEST:: SOT 46652 SOS 25117 HAS SOPS 25117 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22695.117
AT ITER 1157 NEW BEST:: SOT 46652 SOS 25114 HAS SOPS 25114 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22695.114
AT ITER 1161 NEW BEST:: SOT 46648 SOS 25111 HAS SOPS 25111 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22692.111
AT ITER 1173 NEW BEST:: SOT 46649 SOS 25098 HAS SOPS 25098 HAS SOUS 22660 HAS SOUPS 22660 WITH SCORE 22685.098
AT ITER 1183 NEW BEST:: SOT 46648 SOS 25064 HAS SOPS 25064 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22671.064
AT ITER 1186 NEW BEST:: SOT 46648 SOS 25064 HAS SOPS 25064 HAS SOUS 22641 HAS SOUPS 22641 WITH SCORE 22666.064
AT ITER 1193 NEW BEST:: SOT 46648 SOS 25060 HAS SOPS 25060 HAS SOUS 22637 HAS SOUPS 22637 WITH SCORE 22662.06
AT ITER 1195 NEW BEST:: SOT 46648 SOS 25044 HAS SOPS 25044 HAS SOUS 22637 HAS SOUPS 22637 WITH SCORE 22662.044
AT ITER 1200 NEW BEST:: SOT 46640 SOS 24964 HAS SOPS 24964 HAS SOUS 22635 HAS SOUPS 22635 WITH SCORE 22659.964
AT ITER 1215 NEW BEST:: SOT 46635 SOS 24959 HAS SOPS 24959 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22649.959
AT ITER 1225 NEW BEST:: SOT 46608 SOS 24950 HAS SOPS 24950 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22640.95
AT ITER 1232 NEW BEST:: SOT 46608 SOS 24938 HAS SOPS 24938 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22640.938
AT ITER 1247 NEW BEST:: SOT 46565 SOS 25044 HAS SOPS 25044 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22637.044
AT ITER 1250 NEW BEST:: SOT 46565 SOS 24997 HAS SOPS 24997 HAS SOUS 22612 HAS SOUPS 22612 WITH SCORE 22636.997
AT ITER 1257 NEW BEST:: SOT 46522 SOS 24980 HAS SOPS 24980 HAS SOUS 22595 HAS SOUPS 22595 WITH SCORE 22619.98
AT ITER 1264 NEW BEST:: SOT 46457 SOS 25121 HAS SOPS 25121 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22593.121
AT ITER 1270 NEW BEST:: SOT 46446 SOS 25110 HAS SOPS 25110 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22582.11
AT ITER 1272 NEW BEST:: SOT 46364 SOS 25063 HAS SOPS 25063 HAS SOUS 22510 HAS SOUPS 22510 WITH SCORE 22535.063
AT ITER 1287 NEW BEST:: SOT 46338 SOS 25036 HAS SOPS 25036 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22508.036
AT ITER 1291 NEW BEST:: SOT 46338 SOS 24980 HAS SOPS 24980 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22507.98
AT ITER 1314 NEW BEST:: SOT 46338 SOS 24923 HAS SOPS 24923 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22447.923
AT ITER 1349 NEW BEST:: SOT 46312 SOS 24879 HAS SOPS 24879 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22403.879
AT ITER 1358 NEW BEST:: SOT 46304 SOS 24871 HAS SOPS 24871 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22395.871
AT ITER 1361 NEW BEST:: SOT 46251 SOS 24837 HAS SOPS 24837 HAS SOUS 22337 HAS SOUPS 22337 WITH SCORE 22361.837
AT ITER 1365 NEW BEST:: SOT 46234 SOS 24820 HAS SOPS 24820 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22343.82
AT ITER 1370 NEW BEST:: SOT 46170 SOS 24756 HAS SOPS 24756 HAS SOUS 22255 HAS SOUPS 22255 WITH SCORE 22279.756
AT ITER 1372 NEW BEST:: SOT 46169 SOS 24811 HAS SOPS 24811 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22278.811
AT ITER 1379 NEW BEST:: SOT 46156 SOS 24798 HAS SOPS 24798 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22265.798
AT ITER 1381 NEW BEST:: SOT 46156 SOS 24775 HAS SOPS 24775 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22265.775
AT ITER 1385 NEW BEST:: SOT 46128 SOS 24747 HAS SOPS 24747 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22216.747
AT ITER 1386 NEW BEST:: SOT 46137 SOS 24738 HAS SOPS 24738 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22216.738
AT ITER 1387 NEW BEST:: SOT 46137 SOS 24737 HAS SOPS 24737 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22216.737
AT ITER 1403 NEW BEST:: SOT 46052 SOS 24973 HAS SOPS 24973 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22194.973
AT ITER 1410 NEW BEST:: SOT 46081 SOS 24944 HAS SOPS 24944 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22194.944
AT ITER 1416 NEW BEST:: SOT 46066 SOS 24929 HAS SOPS 24929 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22179.929
AT ITER 1431 NEW BEST:: SOT 45997 SOS 24898 HAS SOPS 24898 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22148.898
AT ITER 1434 NEW BEST:: SOT 46004 SOS 24893 HAS SOPS 24893 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22131.893
AT ITER 1480 NEW BEST:: SOT 46002 SOS 24910 HAS SOPS 24910 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22129.91
AT ITER 1498 NEW BEST:: SOT 45994 SOS 24902 HAS SOPS 24902 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22101.902
AT ITER 1502 NEW BEST:: SOT 45984 SOS 24912 HAS SOPS 24912 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22091.912
AT ITER 1505 NEW BEST:: SOT 46002 SOS 24905 HAS SOPS 24905 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22058.905
AT ITER 1517 NEW BEST:: SOT 46002 SOS 24871 HAS SOPS 24871 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22058.871
AT ITER 1518 NEW BEST:: SOT 45994 SOS 24865 HAS SOPS 24865 HAS SOUS 22028 HAS SOUPS 22028 WITH SCORE 22052.865
AT ITER 1555 NEW BEST:: SOT 45953 SOS 24824 HAS SOPS 24824 HAS SOUS 21945 HAS SOUPS 21945 WITH SCORE 21969.824
AT ITER 1570 NEW BEST:: SOT 45882 SOS 24820 HAS SOPS 24820 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21965.82
AT ITER 1603 NEW BEST:: SOT 45883 SOS 24576 HAS SOPS 24576 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21953.576
AT ITER 1606 NEW BEST:: SOT 45883 SOS 24624 HAS SOPS 24624 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21946.624
AT ITER 1608 NEW BEST:: SOT 45850 SOS 24735 HAS SOPS 24735 HAS SOUS 21918 HAS SOUPS 21918 WITH SCORE 21942.735
AT ITER 1620 NEW BEST:: SOT 45812 SOS 24710 HAS SOPS 24710 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21917.71
AT ITER 1623 NEW BEST:: SOT 45789 SOS 24877 HAS SOPS 24877 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21901.877
AT ITER 1633 NEW BEST:: SOT 45742 SOS 24860 HAS SOPS 24860 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21884.86
AT ITER 1645 NEW BEST:: SOT 45593 SOS 24818 HAS SOPS 24818 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21838.818
AT ITER 1667 NEW BEST:: SOT 45590 SOS 24815 HAS SOPS 24815 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21835.815
AT ITER 1675 NEW BEST:: SOT 45590 SOS 24763 HAS SOPS 24763 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21835.763
AT ITER 1678 NEW BEST:: SOT 45526 SOS 24827 HAS SOPS 24827 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21829.827
AT ITER 1705 NEW BEST:: SOT 45520 SOS 24821 HAS SOPS 24821 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21823.821
AT ITER 1707 NEW BEST:: SOT 45505 SOS 24806 HAS SOPS 24806 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21805.806
AT ITER 1719 NEW BEST:: SOT 45505 SOS 24778 HAS SOPS 24778 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21757.778
AT ITER 1720 NEW BEST:: SOT 45549 SOS 25031 HAS SOPS 25031 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21737.031
AT ITER 1726 NEW BEST:: SOT 45532 SOS 24948 HAS SOPS 24948 HAS SOUS 21692 HAS SOUPS 21692 WITH SCORE 21716.948
AT ITER 1745 NEW BEST:: SOT 45532 SOS 24988 HAS SOPS 24988 HAS SOUS 21687 HAS SOUPS 21687 WITH SCORE 21711.988
AT ITER 1759 NEW BEST:: SOT 45530 SOS 25032 HAS SOPS 25032 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21710.032
AT ITER 1773 NEW BEST:: SOT 45530 SOS 25026 HAS SOPS 25026 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21710.026
AT ITER 1781 NEW BEST:: SOT 45482 SOS 24978 HAS SOPS 24978 HAS SOUS 21637 HAS SOUPS 21637 WITH SCORE 21661.978
AT ITER 1791 NEW BEST:: SOT 45489 SOS 24985 HAS SOPS 24985 HAS SOUS 21631 HAS SOUPS 21631 WITH SCORE 21655.985
AT ITER 1796 NEW BEST:: SOT 45489 SOS 24996 HAS SOPS 24996 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21645.996
AT ITER 1819 NEW BEST:: SOT 45489 SOS 24968 HAS SOPS 24968 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21642.968
AT ITER 1837 NEW BEST:: SOT 45489 SOS 24966 HAS SOPS 24966 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21640.966
AT ITER 1838 NEW BEST:: SOT 45489 SOS 24964 HAS SOPS 24964 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21640.964
AT ITER 1844 NEW BEST:: SOT 45492 SOS 24958 HAS SOPS 24958 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21637.958
AT ITER 1864 NEW BEST:: SOT 45488 SOS 24954 HAS SOPS 24954 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21623.954
AT ITER 1866 NEW BEST:: SOT 45486 SOS 24952 HAS SOPS 24952 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21621.952
AT ITER 1875 NEW BEST:: SOT 45491 SOS 24946 HAS SOPS 24946 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21615.946
AT ITER 1879 NEW BEST:: SOT 45491 SOS 24945 HAS SOPS 24945 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21615.945
AT ITER 1884 NEW BEST:: SOT 45486 SOS 24940 HAS SOPS 24940 HAS SOUS 21586 HAS SOUPS 21586 WITH SCORE 21610.94
AT ITER 1891 NEW BEST:: SOT 45483 SOS 24939 HAS SOPS 24939 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21609.939
AT ITER 1892 NEW BEST:: SOT 45526 SOS 24930 HAS SOPS 24930 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21604.93
AT ITER 1911 NEW BEST:: SOT 45526 SOS 24923 HAS SOPS 24923 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21603.923
AT ITER 1913 NEW BEST:: SOT 45525 SOS 24923 HAS SOPS 24923 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21585.923
AT ITER 1924 NEW BEST:: SOT 45397 SOS 24843 HAS SOPS 24843 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21543.843
AT ITER 1936 NEW BEST:: SOT 45405 SOS 24860 HAS SOPS 24860 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21533.86
AT ITER 1949 NEW BEST:: SOT 45405 SOS 24857 HAS SOPS 24857 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21533.857
AT ITER 1977 NEW BEST:: SOT 45375 SOS 24864 HAS SOPS 24864 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21520.864
AT ITER 1984 NEW BEST:: SOT 45348 SOS 24849 HAS SOPS 24849 HAS SOUS 21481 HAS SOUPS 21481 WITH SCORE 21505.849
AT ITER 1986 NEW BEST:: SOT 45333 SOS 24826 HAS SOPS 24826 HAS SOUS 21446 HAS SOUPS 21446 WITH SCORE 21470.826
AT ITER 1995 NEW BEST:: SOT 45278 SOS 24945 HAS SOPS 24945 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21441.945
AT ITER 2010 NEW BEST:: SOT 45264 SOS 24948 HAS SOPS 24948 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21406.948
AT ITER 2019 NEW BEST:: SOT 45246 SOS 24930 HAS SOPS 24930 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21388.93
AT ITER 2033 NEW BEST:: SOT 45239 SOS 24930 HAS SOPS 24930 HAS SOUS 21357 HAS SOUPS 21357 WITH SCORE 21381.93
AT ITER 2049 NEW BEST:: SOT 45175 SOS 25143 HAS SOPS 25143 HAS SOUS 21305 HAS SOUPS 21305 WITH SCORE 21330.143
AT ITER 2058 NEW BEST:: SOT 45176 SOS 25134 HAS SOPS 25134 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21328.134
AT ITER 2067 NEW BEST:: SOT 45160 SOS 25129 HAS SOPS 25129 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21323.129
AT ITER 2088 NEW BEST:: SOT 45142 SOS 25118 HAS SOPS 25118 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21312.118
AT ITER 2099 NEW BEST:: SOT 45138 SOS 25035 HAS SOPS 25035 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21296.035
AT ITER 2126 NEW BEST:: SOT 45095 SOS 25059 HAS SOPS 25059 HAS SOUS 21252 HAS SOUPS 21252 WITH SCORE 21277.059
AT ITER 2147 NEW BEST:: SOT 45053 SOS 25028 HAS SOPS 25028 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21246.028
AT ITER 2157 NEW BEST:: SOT 45053 SOS 25028 HAS SOPS 25028 HAS SOUS 21211 HAS SOUPS 21211 WITH SCORE 21236.028
AT ITER 2161 NEW BEST:: SOT 45049 SOS 25024 HAS SOPS 25024 HAS SOUS 21207 HAS SOUPS 21207 WITH SCORE 21232.024
AT ITER 2162 NEW BEST:: SOT 45018 SOS 24993 HAS SOPS 24993 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21200.993
AT ITER 2169 NEW BEST:: SOT 44930 SOS 25284 HAS SOPS 25284 HAS SOUS 21168 HAS SOUPS 21168 WITH SCORE 21193.284
AT ITER 2181 NEW BEST:: SOT 44739 SOS 25158 HAS SOPS 25158 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21067.158
AT ITER 2193 NEW BEST:: SOT 44739 SOS 25171 HAS SOPS 25171 HAS SOUS 21037 HAS SOUPS 21037 WITH SCORE 21062.171
AT ITER 2220 NEW BEST:: SOT 44730 SOS 25165 HAS SOPS 25165 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21059.165
AT ITER 2250 NEW BEST:: SOT 44727 SOS 25162 HAS SOPS 25162 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21056.162
AT ITER 2253 NEW BEST:: SOT 44598 SOS 25118 HAS SOPS 25118 HAS SOUS 20992 HAS SOUPS 20992 WITH SCORE 21017.118
AT ITER 2256 NEW BEST:: SOT 44598 SOS 25192 HAS SOPS 25192 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21005.192
AT ITER 2259 NEW BEST:: SOT 44661 SOS 25077 HAS SOPS 25077 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20969.077
AT ITER 2269 NEW BEST:: SOT 44661 SOS 25055 HAS SOPS 25055 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20951.055
AT ITER 2285 NEW BEST:: SOT 44548 SOS 25152 HAS SOPS 25152 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20925.152
AT ITER 2296 NEW BEST:: SOT 44521 SOS 25207 HAS SOPS 25207 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20908.207
AT ITER 2333 NEW BEST:: SOT 44511 SOS 25176 HAS SOPS 25176 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20877.176
AT ITER 2345 NEW BEST:: SOT 44472 SOS 25137 HAS SOPS 25137 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20838.137
AT ITER 2364 NEW BEST:: SOT 44472 SOS 25123 HAS SOPS 25123 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20838.123
AT ITER 2366 NEW BEST:: SOT 44504 SOS 25132 HAS SOPS 25132 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20826.132
AT ITER 2373 NEW BEST:: SOT 44494 SOS 25122 HAS SOPS 25122 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20816.122
AT ITER 2380 NEW BEST:: SOT 44552 SOS 24861 HAS SOPS 24861 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20796.861
AT ITER 2408 NEW BEST:: SOT 44525 SOS 24924 HAS SOPS 24924 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20789.924
AT ITER 2433 NEW BEST:: SOT 44525 SOS 24919 HAS SOPS 24919 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20789.919
AT ITER 2446 NEW BEST:: SOT 44524 SOS 24918 HAS SOPS 24918 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20788.918
AT ITER 2461 NEW BEST:: SOT 44518 SOS 24912 HAS SOPS 24912 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20782.912
AT ITER 2468 NEW BEST:: SOT 44516 SOS 24910 HAS SOPS 24910 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20780.91
AT ITER 2480 NEW BEST:: SOT 44516 SOS 24903 HAS SOPS 24903 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20780.903
AT ITER 2483 NEW BEST:: SOT 44400 SOS 24799 HAS SOPS 24799 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20676.799
AT ITER 2485 NEW BEST:: SOT 44368 SOS 24767 HAS SOPS 24767 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20644.767
AT ITER 2487 NEW BEST:: SOT 44365 SOS 24764 HAS SOPS 24764 HAS SOUS 20617 HAS SOUPS 20617 WITH SCORE 20641.764
AT ITER 2493 NEW BEST:: SOT 44333 SOS 24764 HAS SOPS 24764 HAS SOUS 20595 HAS SOUPS 20595 WITH SCORE 20619.764
AT ITER 2494 NEW BEST:: SOT 44337 SOS 24757 HAS SOPS 24757 HAS SOUS 20588 HAS SOUPS 20588 WITH SCORE 20612.757
AT ITER 2495 NEW BEST:: SOT 44327 SOS 24747 HAS SOPS 24747 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20602.747
AT ITER 2498 NEW BEST:: SOT 44327 SOS 24744 HAS SOPS 24744 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20602.744
AT ITER 2514 NEW BEST:: SOT 44327 SOS 24736 HAS SOPS 24736 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20602.736
AT ITER 2553 NEW BEST:: SOT 44308 SOS 24800 HAS SOPS 24800 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20583.8
AT ITER 2565 NEW BEST:: SOT 44303 SOS 24790 HAS SOPS 24790 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20583.79
AT ITER 2586 NEW BEST:: SOT 44303 SOS 24734 HAS SOPS 24734 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20581.734
AT ITER 2598 NEW BEST:: SOT 44297 SOS 24728 HAS SOPS 24728 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20575.728
AT ITER 2621 NEW BEST:: SOT 44297 SOS 24728 HAS SOPS 24728 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20537.728
AT ITER 2623 NEW BEST:: SOT 44273 SOS 24704 HAS SOPS 24704 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20513.704
AT ITER 2641 NEW BEST:: SOT 44273 SOS 24679 HAS SOPS 24679 HAS SOUS 20488 HAS SOUPS 20488 WITH SCORE 20512.679
AT ITER 2683 NEW BEST:: SOT 44255 SOS 24661 HAS SOPS 24661 HAS SOUS 20470 HAS SOUPS 20470 WITH SCORE 20494.661
AT ITER 2686 NEW BEST:: SOT 44248 SOS 24654 HAS SOPS 24654 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20478.654
AT ITER 2696 NEW BEST:: SOT 44248 SOS 24651 HAS SOPS 24651 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20478.651
AT ITER 2699 NEW BEST:: SOT 44247 SOS 24650 HAS SOPS 24650 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20477.65
AT ITER 2711 NEW BEST:: SOT 44254 SOS 24571 HAS SOPS 24571 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20473.571
AT ITER 2716 NEW BEST:: SOT 44254 SOS 24558 HAS SOPS 24558 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20464.558
AT ITER 2732 NEW BEST:: SOT 44246 SOS 24550 HAS SOPS 24550 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20435.55
AT ITER 2760 NEW BEST:: SOT 44201 SOS 24561 HAS SOPS 24561 HAS SOUS 20394 HAS SOUPS 20394 WITH SCORE 20418.561
AT ITER 2779 NEW BEST:: SOT 44080 SOS 24485 HAS SOPS 24485 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20327.485
AT ITER 2797 NEW BEST:: SOT 44088 SOS 24078 HAS SOPS 24078 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20320.078
AT ITER 2804 NEW BEST:: SOT 44066 SOS 24056 HAS SOPS 24056 HAS SOUS 20274 HAS SOUPS 20274 WITH SCORE 20298.056
AT ITER 2814 NEW BEST:: SOT 44066 SOS 24052 HAS SOPS 24052 HAS SOUS 20272 HAS SOUPS 20272 WITH SCORE 20296.052
AT ITER 2818 NEW BEST:: SOT 44045 SOS 24031 HAS SOPS 24031 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20275.031
AT ITER 2836 NEW BEST:: SOT 44035 SOS 24021 HAS SOPS 24021 HAS SOUS 20241 HAS SOUPS 20241 WITH SCORE 20265.021
AT ITER 2853 NEW BEST:: SOT 44035 SOS 24021 HAS SOPS 24021 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20260.021
AT ITER 2881 NEW BEST:: SOT 44029 SOS 24015 HAS SOPS 24015 HAS SOUS 20214 HAS SOUPS 20214 WITH SCORE 20238.015
AT ITER 2891 NEW BEST:: SOT 44025 SOS 24011 HAS SOPS 24011 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20234.011
AT ITER 2896 NEW BEST:: SOT 44025 SOS 24003 HAS SOPS 24003 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20234.003
AT ITER 2901 NEW BEST:: SOT 43983 SOS 24158 HAS SOPS 24158 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20222.158
AT ITER 2936 NEW BEST:: SOT 43904 SOS 24149 HAS SOPS 24149 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20213.149
AT ITER 2938 NEW BEST:: SOT 43904 SOS 24104 HAS SOPS 24104 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20213.104
AT ITER 2944 NEW BEST:: SOT 43904 SOS 24104 HAS SOPS 24104 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20199.104
AT ITER 2961 NEW BEST:: SOT 43905 SOS 24167 HAS SOPS 24167 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20194.167
AT ITER 2969 NEW BEST:: SOT 43884 SOS 24158 HAS SOPS 24158 HAS SOUS 20161 HAS SOUPS 20161 WITH SCORE 20185.158
AT ITER 3021 NEW BEST:: SOT 43876 SOS 24150 HAS SOPS 24150 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20183.15
AT ITER 3026 NEW BEST:: SOT 43797 SOS 24199 HAS SOPS 24199 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20146.199
AT ITER 3036 NEW BEST:: SOT 43797 SOS 24182 HAS SOPS 24182 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20141.182
AT ITER 3045 NEW BEST:: SOT 43797 SOS 24178 HAS SOPS 24178 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20141.178
AT ITER 3048 NEW BEST:: SOT 43796 SOS 24178 HAS SOPS 24178 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20139.178
AT ITER 3069 NEW BEST:: SOT 43721 SOS 24169 HAS SOPS 24169 HAS SOUS 20106 HAS SOUPS 20106 WITH SCORE 20130.169
AT ITER 3075 NEW BEST:: SOT 43713 SOS 24161 HAS SOPS 24161 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20122.161
AT ITER 3085 NEW BEST:: SOT 43713 SOS 24157 HAS SOPS 24157 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20122.157
AT ITER 3123 NEW BEST:: SOT 43711 SOS 24155 HAS SOPS 24155 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20120.155
AT ITER 3127 NEW BEST:: SOT 43702 SOS 24139 HAS SOPS 24139 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20111.139
AT ITER 3132 NEW BEST:: SOT 43744 SOS 24089 HAS SOPS 24089 HAS SOUS 20078 HAS SOUPS 20078 WITH SCORE 20102.089
AT ITER 3137 NEW BEST:: SOT 43738 SOS 24083 HAS SOPS 24083 HAS SOUS 20072 HAS SOUPS 20072 WITH SCORE 20096.083
AT ITER 3145 NEW BEST:: SOT 43689 SOS 24373 HAS SOPS 24373 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20054.373
AT ITER 3183 NEW BEST:: SOT 43689 SOS 24349 HAS SOPS 24349 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20054.349
AT ITER 3214 NEW BEST:: SOT 43670 SOS 24298 HAS SOPS 24298 HAS SOUS 20023 HAS SOUPS 20023 WITH SCORE 20047.298
AT ITER 3217 NEW BEST:: SOT 43680 SOS 24303 HAS SOPS 24303 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20039.303
AT ITER 3248 NEW BEST:: SOT 43680 SOS 24303 HAS SOPS 24303 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20035.303
AT ITER 3261 NEW BEST:: SOT 43704 SOS 24293 HAS SOPS 24293 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20030.293
AT ITER 3280 NEW BEST:: SOT 43704 SOS 24312 HAS SOPS 24312 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20004.312
AT ITER 3285 NEW BEST:: SOT 43680 SOS 24252 HAS SOPS 24252 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20004.252
AT ITER 3304 NEW BEST:: SOT 43678 SOS 24250 HAS SOPS 24250 HAS SOUS 19978 HAS SOUPS 19978 WITH SCORE 20002.25
AT ITER 3315 NEW BEST:: SOT 43677 SOS 24249 HAS SOPS 24249 HAS SOUS 19977 HAS SOUPS 19977 WITH SCORE 20001.249
AT ITER 3328 NEW BEST:: SOT 43677 SOS 24202 HAS SOPS 24202 HAS SOUS 19977 HAS SOUPS 19977 WITH SCORE 20001.202
AT ITER 3340 NEW BEST:: SOT 43694 SOS 24219 HAS SOPS 24219 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19978.219
AT ITER 3345 NEW BEST:: SOT 43694 SOS 24225 HAS SOPS 24225 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19977.225
AT ITER 3347 NEW BEST:: SOT 43690 SOS 24221 HAS SOPS 24221 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19973.221
AT ITER 3353 NEW BEST:: SOT 43681 SOS 24245 HAS SOPS 24245 HAS SOUS 19941 HAS SOUPS 19941 WITH SCORE 19965.245
AT ITER 3355 NEW BEST:: SOT 43685 SOS 24249 HAS SOPS 24249 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 19964.249
AT ITER 3357 NEW BEST:: SOT 43680 SOS 24244 HAS SOPS 24244 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19959.244
AT ITER 3360 NEW BEST:: SOT 43680 SOS 24244 HAS SOPS 24244 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19958.244
AT ITER 3368 NEW BEST:: SOT 43670 SOS 24234 HAS SOPS 24234 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19948.234
AT ITER 3374 NEW BEST:: SOT 43668 SOS 24246 HAS SOPS 24246 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19946.246
AT ITER 3378 NEW BEST:: SOT 43668 SOS 24223 HAS SOPS 24223 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19946.223
AT ITER 3380 NEW BEST:: SOT 43689 SOS 24176 HAS SOPS 24176 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19946.176
AT ITER 3388 NEW BEST:: SOT 43676 SOS 24258 HAS SOPS 24258 HAS SOUS 19919 HAS SOUPS 19919 WITH SCORE 19943.258
AT ITER 3411 NEW BEST:: SOT 43675 SOS 24257 HAS SOPS 24257 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19942.257
AT ITER 3429 NEW BEST:: SOT 43682 SOS 24252 HAS SOPS 24252 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19942.252
AT ITER 3440 NEW BEST:: SOT 43682 SOS 24250 HAS SOPS 24250 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19942.25
AT ITER 3442 NEW BEST:: SOT 43630 SOS 24244 HAS SOPS 24244 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19936.244
AT ITER 3469 NEW BEST:: SOT 43614 SOS 24232 HAS SOPS 24232 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19928.232
AT ITER 3470 NEW BEST:: SOT 43614 SOS 24223 HAS SOPS 24223 HAS SOUS 19864 HAS SOUPS 19864 WITH SCORE 19888.223
AT ITER 3480 NEW BEST:: SOT 43629 SOS 24124 HAS SOPS 24124 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19868.124
AT ITER 3483 NEW BEST:: SOT 43625 SOS 24122 HAS SOPS 24122 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19866.122
AT ITER 3512 NEW BEST:: SOT 43608 SOS 24105 HAS SOPS 24105 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19849.105
AT ITER 3514 NEW BEST:: SOT 43615 SOS 24098 HAS SOPS 24098 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19837.098
AT ITER 3544 NEW BEST:: SOT 43574 SOS 24057 HAS SOPS 24057 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19796.057
AT ITER 3552 NEW BEST:: SOT 43571 SOS 24051 HAS SOPS 24051 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19780.051
AT ITER 3555 NEW BEST:: SOT 43560 SOS 24150 HAS SOPS 24150 HAS SOUS 19745 HAS SOUPS 19745 WITH SCORE 19769.15
AT ITER 3597 NEW BEST:: SOT 43560 SOS 24149 HAS SOPS 24149 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19768.149
AT ITER 3611 NEW BEST:: SOT 43554 SOS 24143 HAS SOPS 24143 HAS SOUS 19738 HAS SOUPS 19738 WITH SCORE 19762.143
AT ITER 3612 NEW BEST:: SOT 43601 SOS 24135 HAS SOPS 24135 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19754.135
AT ITER 3619 NEW BEST:: SOT 43589 SOS 24204 HAS SOPS 24204 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19742.204
AT ITER 3623 NEW BEST:: SOT 43578 SOS 24187 HAS SOPS 24187 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19737.187
AT ITER 3630 NEW BEST:: SOT 43578 SOS 24175 HAS SOPS 24175 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19734.175
AT ITER 3639 NEW BEST:: SOT 43551 SOS 24158 HAS SOPS 24158 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19717.158
AT ITER 3700 NEW BEST:: SOT 43470 SOS 24096 HAS SOPS 24096 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19655.096
AT ITER 3729 NEW BEST:: SOT 43470 SOS 24096 HAS SOPS 24096 HAS SOUS 19626 HAS SOUPS 19626 WITH SCORE 19650.096
AT ITER 3741 NEW BEST:: SOT 43451 SOS 24199 HAS SOPS 24199 HAS SOUS 19621 HAS SOUPS 19621 WITH SCORE 19645.199
AT ITER 3809 NEW BEST:: SOT 43459 SOS 24190 HAS SOPS 24190 HAS SOUS 19618 HAS SOUPS 19618 WITH SCORE 19642.19
AT ITER 3818 NEW BEST:: SOT 43303 SOS 24440 HAS SOPS 24440 HAS SOUS 19553 HAS SOUPS 19553 WITH SCORE 19577.44
AT ITER 3858 NEW BEST:: SOT 43301 SOS 24438 HAS SOPS 24438 HAS SOUS 19551 HAS SOUPS 19551 WITH SCORE 19575.438
AT ITER 3884 NEW BEST:: SOT 43297 SOS 24419 HAS SOPS 24419 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19563.419
AT ITER 3887 NEW BEST:: SOT 43301 SOS 24415 HAS SOPS 24415 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19559.415
AT ITER 3896 NEW BEST:: SOT 43301 SOS 24314 HAS SOPS 24314 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19559.314
AT ITER 3957 NEW BEST:: SOT 43301 SOS 24290 HAS SOPS 24290 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19559.29
AT ITER 3982 NEW BEST:: SOT 43299 SOS 24289 HAS SOPS 24289 HAS SOUS 19534 HAS SOUPS 19534 WITH SCORE 19558.289
AT ITER 3986 NEW BEST:: SOT 43296 SOS 24289 HAS SOPS 24289 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19552.289
AT ITER 4021 NEW BEST:: SOT 43272 SOS 24274 HAS SOPS 24274 HAS SOUS 19513 HAS SOUPS 19513 WITH SCORE 19537.274
AT ITER 4045 NEW BEST:: SOT 43267 SOS 24269 HAS SOPS 24269 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19532.269
AT ITER 4053 NEW BEST:: SOT 43261 SOS 24263 HAS SOPS 24263 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19526.263
AT ITER 4058 NEW BEST:: SOT 43259 SOS 24269 HAS SOPS 24269 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19516.269
AT ITER 4084 NEW BEST:: SOT 43257 SOS 24267 HAS SOPS 24267 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19514.267
AT ITER 4098 NEW BEST:: SOT 43227 SOS 24237 HAS SOPS 24237 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19484.237
AT ITER 4140 NEW BEST:: SOT 43216 SOS 24226 HAS SOPS 24226 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19473.226
AT ITER 4185 NEW BEST:: SOT 43216 SOS 24226 HAS SOPS 24226 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19461.226
AT ITER 4242 NEW BEST:: SOT 43216 SOS 24206 HAS SOPS 24206 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19447.206
AT ITER 4251 NEW BEST:: SOT 43266 SOS 24222 HAS SOPS 24222 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19442.222
AT ITER 4269 NEW BEST:: SOT 43262 SOS 24218 HAS SOPS 24218 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19438.218
AT ITER 4294 NEW BEST:: SOT 43261 SOS 24217 HAS SOPS 24217 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19437.217
AT ITER 4299 NEW BEST:: SOT 43261 SOS 24203 HAS SOPS 24203 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19437.203
AT ITER 4327 NEW BEST:: SOT 43261 SOS 24203 HAS SOPS 24203 HAS SOUS 19407 HAS SOUPS 19407 WITH SCORE 19431.203
AT ITER 4328 NEW BEST:: SOT 43255 SOS 24207 HAS SOPS 24207 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19430.207
AT ITER 4367 NEW BEST:: SOT 43265 SOS 23992 HAS SOPS 23992 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19397.992
AT ITER 4370 NEW BEST:: SOT 43247 SOS 23992 HAS SOPS 23992 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19391.992
AT ITER 4388 NEW BEST:: SOT 43233 SOS 24148 HAS SOPS 24148 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19388.148
AT ITER 4403 NEW BEST:: SOT 43233 SOS 24139 HAS SOPS 24139 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19387.139
AT ITER 4467 NEW BEST:: SOT 43233 SOS 24142 HAS SOPS 24142 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19370.142
AT ITER 4530 NEW BEST:: SOT 43233 SOS 24128 HAS SOPS 24128 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19370.128
AT ITER 4560 NEW BEST:: SOT 43231 SOS 24126 HAS SOPS 24126 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19368.126
AT ITER 4575 NEW BEST:: SOT 43178 SOS 24104 HAS SOPS 24104 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19346.104
AT ITER 4603 NEW BEST:: SOT 43175 SOS 24122 HAS SOPS 24122 HAS SOUS 19321 HAS SOUPS 19321 WITH SCORE 19345.122
AT ITER 4617 NEW BEST:: SOT 43172 SOS 24119 HAS SOPS 24119 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19342.119
AT ITER 4696 NEW BEST:: SOT 43172 SOS 24119 HAS SOPS 24119 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19338.119
AT ITER 4708 NEW BEST:: SOT 43172 SOS 24119 HAS SOPS 24119 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19336.119
AT ITER 4743 NEW BEST:: SOT 43172 SOS 24112 HAS SOPS 24112 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19329.112
AT ITER 4744 NEW BEST:: SOT 43172 SOS 24110 HAS SOPS 24110 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19329.11
AT ITER 4757 NEW BEST:: SOT 43172 SOS 23897 HAS SOPS 23897 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19328.897
AT ITER 4765 NEW BEST:: SOT 43155 SOS 23892 HAS SOPS 23892 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19311.892
AT ITER 4777 NEW BEST:: SOT 43067 SOS 23840 HAS SOPS 23840 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19284.84
AT ITER 4787 NEW BEST:: SOT 43067 SOS 23815 HAS SOPS 23815 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19279.815
AT ITER 4803 NEW BEST:: SOT 43066 SOS 23814 HAS SOPS 23814 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19278.814
AT ITER 4807 NEW BEST:: SOT 43065 SOS 23813 HAS SOPS 23813 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19254.813
AT ITER 4822 NEW BEST:: SOT 43063 SOS 23847 HAS SOPS 23847 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19252.847
AT ITER 4824 NEW BEST:: SOT 43062 SOS 23846 HAS SOPS 23846 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19251.846
AT ITER 4826 NEW BEST:: SOT 43058 SOS 23842 HAS SOPS 23842 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19247.842
AT ITER 4831 NEW BEST:: SOT 43052 SOS 23819 HAS SOPS 23819 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19217.819
AT ITER 4842 NEW BEST:: SOT 43027 SOS 23794 HAS SOPS 23794 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19192.794
AT ITER 4879 NEW BEST:: SOT 43041 SOS 23767 HAS SOPS 23767 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19192.767
AT ITER 4890 NEW BEST:: SOT 43041 SOS 23761 HAS SOPS 23761 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19191.761
AT ITER 4999 NEW BEST:: SOT 43040 SOS 23914 HAS SOPS 23914 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19190.914
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN06-CTLFireability-00 (EX( ( (AX( ( ((potential((tk(P308)>=1) & (tk(P20)>=1) & (tk(P274)>=1)))) | ((potential((tk(P305)>=1) & (tk(P11)>=1) & (tk(P261)>=1)))) ))) & ( ( (! ((potential((tk(P315)>=1) & (tk(P15)>=1) & (tk(P269)>=1))))) | ( ((potential((tk(P309)>=1) & (tk(P33)>=1) & (tk(P286)>=1)))) | ((potential((tk(P298)>=1) & (tk(P22)>=1) & (tk(P272)>=1)))) ) ) & (EG( ((potential((tk(P310)>=1) & (tk(P4)>=1) & (tk(P256)>=1)))))) ) )))
PROPERTY: Sudoku-PT-AN06-CTLFireability-01 (EG( ( ( (AF( ((potential((tk(P301)>=1) & (tk(P25)>=1) & (tk(P279)>=1)))))) & ( ( ((potential((tk(P320)>=1) & (tk(P2)>=1) & (tk(P258)>=1)))) | ((potential((tk(P295)>=1) & (tk(P7)>=1) & (tk(P260)>=1)))) ) | ( ((potential((tk(P289)>=1) & (tk(P25)>=1) & (tk(P277)>=1)))) & ((potential((tk(P324)>=1) & (tk(P18)>=1) & (tk(P270)>=1)))) ) ) ) | (! ((potential((tk(P323)>=1) & (tk(P23)>=1) & (tk(P276)>=1))))) )))
PROPERTY: Sudoku-PT-AN06-CTLFireability-02 (EG( ( (AX( ( ((potential((tk(P324)>=1) & (tk(P36)>=1) & (tk(P288)>=1)))) & ((potential((tk(P306)>=1) & (tk(P18)>=1) & (tk(P267)>=1)))) ))) | (EU( ((potential((tk(P289)>=1) & (tk(P7)>=1) & (tk(P259)>=1)))) , ((potential((tk(P312)>=1) & (tk(P24)>=1) & (tk(P274)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN06-CTLFireability-03 ( (! ( (EG( ( ((potential((tk(P314)>=1) & (tk(P14)>=1) & (tk(P269)>=1)))) & ((potential((tk(P314)>=1) & (tk(P26)>=1) & (tk(P281)>=1)))) ))) | (EG( ((potential((tk(P324)>=1) & (tk(P12)>=1) & (tk(P264)>=1)))))) )) & ((potential((tk(P293)>=1) & (tk(P23)>=1) & (tk(P271)>=1)))) )
PROPERTY: Sudoku-PT-AN06-CTLFireability-04 ( ( ( ( ( ( ((potential((tk(P293)>=1) & (tk(P23)>=1) & (tk(P271)>=1)))) | ((potential((tk(P324)>=1) & (tk(P6)>=1) & (tk(P258)>=1)))) ) & (! ((potential((tk(P317)>=1) & (tk(P23)>=1) & (tk(P275)>=1))))) ) & (EF( ((potential((tk(P308)>=1) & (tk(P2)>=1) & (tk(P256)>=1)))))) ) & ((potential((tk(P290)>=1) & (tk(P32)>=1) & (tk(P283)>=1)))) ) | (EG( ((potential((tk(P291)>=1) & (tk(P27)>=1) & (tk(P277)>=1)))))) ) | ( (AF( (AX( ((potential((tk(P312)>=1) & (tk(P12)>=1) & (tk(P262)>=1)))))))) & ((potential((tk(P303)>=1) & (tk(P9)>=1) & (tk(P261)>=1)))) ) )
PROPERTY: Sudoku-PT-AN06-CTLFireability-05 ( (EG( (EG( ( ((potential((tk(P314)>=1) & (tk(P8)>=1) & (tk(P263)>=1)))) & ((potential((tk(P324)>=1) & (tk(P18)>=1) & (tk(P270)>=1)))) ))))) & ( ( ( ((potential((tk(P290)>=1) & (tk(P26)>=1) & (tk(P277)>=1)))) | ( (! ((potential((tk(P307)>=1) & (tk(P25)>=1) & (tk(P280)>=1))))) | ( ((potential((tk(P307)>=1) & (tk(P19)>=1) & (tk(P274)>=1)))) & ((potential((tk(P313)>=1) & (tk(P19)>=1) & (tk(P275)>=1)))) ) ) ) & (AU( ((potential((tk(P316)>=1) & (tk(P10)>=1) & (tk(P263)>=1)))) , ((potential((tk(P312)>=1) & (tk(P6)>=1) & (tk(P256)>=1)))) )) ) & (AF( ((potential((tk(P290)>=1) & (tk(P8)>=1) & (tk(P259)>=1)))))) ) )
PROPERTY: Sudoku-PT-AN06-CTLFireability-06 ( (AG( ( ( ( ((potential((tk(P322)>=1) & (tk(P28)>=1) & (tk(P282)>=1)))) | ((potential((tk(P289)>=1) & (tk(P7)>=1) & (tk(P259)>=1)))) ) & ( ((potential((tk(P305)>=1) & (tk(P5)>=1) & (tk(P255)>=1)))) & ((potential((tk(P323)>=1) & (tk(P35)>=1) & (tk(P288)>=1)))) ) ) | (EF( ((potential((tk(P305)>=1) & (tk(P35)>=1) & (tk(P285)>=1)))))) ))) & ((potential((tk(P309)>=1) & (tk(P27)>=1) & (tk(P280)>=1)))) )
PROPERTY: Sudoku-PT-AN06-CTLFireability-07 (AG( (AX( (EF( ((potential((tk(P303)>=1) & (tk(P21)>=1) & (tk(P273)>=1))))))))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-08 (EG( (AU( (! ((potential((tk(P294)>=1) & (tk(P18)>=1) & (tk(P265)>=1))))) , ( ((potential((tk(P316)>=1) & (tk(P16)>=1) & (tk(P269)>=1)))) & ((potential((tk(P290)>=1) & (tk(P2)>=1) & (tk(P253)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-09 (EX( (! ( (AF( ((potential((tk(P291)>=1) & (tk(P9)>=1) & (tk(P259)>=1)))))) & (AF( ((potential((tk(P299)>=1) & (tk(P35)>=1) & (tk(P284)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-10 (EX( ( (EG( ( ((potential((tk(P294)>=1) & (tk(P30)>=1) & (tk(P277)>=1)))) & ((potential((tk(P306)>=1) & (tk(P6)>=1) & (tk(P255)>=1)))) ))) & (AX( ( ((potential((tk(P302)>=1) & (tk(P26)>=1) & (tk(P279)>=1)))) | ((potential((tk(P300)>=1) & (tk(P12)>=1) & (tk(P260)>=1)))) ))) )))
PROPERTY: Sudoku-PT-AN06-CTLFireability-11 (! (EG( (AF( ((potential((tk(P300)>=1) & (tk(P6)>=1) & (tk(P254)>=1)))))))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-12 (EF( (EG( (! (! ((potential((tk(P296)>=1) & (tk(P20)>=1) & (tk(P272)>=1))))))))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-13 (EG( (EU( ( ((potential((tk(P289)>=1) & (tk(P31)>=1) & (tk(P283)>=1)))) & ((potential((tk(P289)>=1) & (tk(P7)>=1) & (tk(P259)>=1)))) ) , ( ((potential((tk(P317)>=1) & (tk(P17)>=1) & (tk(P269)>=1)))) | ((potential((tk(P309)>=1) & (tk(P3)>=1) & (tk(P256)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-14 (AG( (EX( (! (! ((potential((tk(P316)>=1) & (tk(P34)>=1) & (tk(P287)>=1))))))))))
PROPERTY: Sudoku-PT-AN06-CTLFireability-15 ( (! (! (EG( ((potential((tk(P321)>=1) & (tk(P27)>=1) & (tk(P282)>=1)))))))) & ( (AU( ( ((potential((tk(P307)>=1) & (tk(P25)>=1) & (tk(P280)>=1)))) | ((potential((tk(P310)>=1) & (tk(P10)>=1) & (tk(P262)>=1)))) ) , ( ((potential((tk(P304)>=1) & (tk(P28)>=1) & (tk(P279)>=1)))) & ((potential((tk(P302)>=1) & (tk(P8)>=1) & (tk(P261)>=1)))) ) )) | ((potential((tk(P301)>=1) & (tk(P7)>=1) & (tk(P261)>=1)))) ) )

BK_STOP 1591339953612

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1542
/home/mcc/BenchKit/bin/smart.sh: line 117: 463 Segmentation fault ${SMART} ${INPUT_SM}

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="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-AN06, 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-159033538700356"
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 [ "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 ;