About the Execution of smart for NQueens-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.690 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100144.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NQueens-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100144
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.5K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 02:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589637827449
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 12
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 216 places, 144 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 24170 SOS 15015 HAS SOPS 15015 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13764.015
AT ITER 4 NEW BEST:: SOT 24170 SOS 14957 HAS SOPS 14957 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13763.957
AT ITER 7 NEW BEST:: SOT 24101 SOS 14889 HAS SOPS 14889 HAS SOUS 13673 HAS SOUPS 13673 WITH SCORE 13687.889
AT ITER 12 NEW BEST:: SOT 24076 SOS 14860 HAS SOPS 14860 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13653.86
AT ITER 14 NEW BEST:: SOT 24021 SOS 15881 HAS SOPS 15881 HAS SOUS 13631 HAS SOUPS 13631 WITH SCORE 13646.881
AT ITER 18 NEW BEST:: SOT 24096 SOS 15956 HAS SOPS 15956 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13620.956
AT ITER 24 NEW BEST:: SOT 24064 SOS 15936 HAS SOPS 15936 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13613.936
AT ITER 31 NEW BEST:: SOT 24051 SOS 15999 HAS SOPS 15999 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.999
AT ITER 32 NEW BEST:: SOT 24006 SOS 15995 HAS SOPS 15995 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13553.995
AT ITER 33 NEW BEST:: SOT 24006 SOS 15531 HAS SOPS 15531 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13553.531
AT ITER 39 NEW BEST:: SOT 23918 SOS 15450 HAS SOPS 15450 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13459.45
AT ITER 42 NEW BEST:: SOT 23915 SOS 15447 HAS SOPS 15447 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13456.447
AT ITER 44 NEW BEST:: SOT 23826 SOS 15356 HAS SOPS 15356 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13363.356
AT ITER 52 NEW BEST:: SOT 23826 SOS 15276 HAS SOPS 15276 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13363.276
AT ITER 70 NEW BEST:: SOT 23797 SOS 15213 HAS SOPS 15213 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13333.213
AT ITER 72 NEW BEST:: SOT 23797 SOS 15213 HAS SOPS 15213 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13324.213
AT ITER 80 NEW BEST:: SOT 23797 SOS 15207 HAS SOPS 15207 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13324.207
AT ITER 84 NEW BEST:: SOT 23797 SOS 15200 HAS SOPS 15200 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13308.2
AT ITER 86 NEW BEST:: SOT 23754 SOS 15271 HAS SOPS 15271 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13302.271
AT ITER 94 NEW BEST:: SOT 23754 SOS 15262 HAS SOPS 15262 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13302.262
AT ITER 98 NEW BEST:: SOT 23701 SOS 15326 HAS SOPS 15326 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13258.326
AT ITER 99 NEW BEST:: SOT 23685 SOS 15304 HAS SOPS 15304 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13234.304
AT ITER 106 NEW BEST:: SOT 23602 SOS 15258 HAS SOPS 15258 HAS SOUS 13197 HAS SOUPS 13197 WITH SCORE 13212.258
AT ITER 108 NEW BEST:: SOT 23397 SOS 15107 HAS SOPS 15107 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13061.107
AT ITER 111 NEW BEST:: SOT 23397 SOS 15090 HAS SOPS 15090 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13061.09
AT ITER 115 NEW BEST:: SOT 23394 SOS 15081 HAS SOPS 15081 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13052.081
AT ITER 120 NEW BEST:: SOT 23156 SOS 14843 HAS SOPS 14843 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12813.843
AT ITER 123 NEW BEST:: SOT 23151 SOS 14838 HAS SOPS 14838 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12808.838
AT ITER 126 NEW BEST:: SOT 23024 SOS 14812 HAS SOPS 14812 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12741.812
AT ITER 127 NEW BEST:: SOT 23090 SOS 14805 HAS SOPS 14805 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12714.805
AT ITER 132 NEW BEST:: SOT 23088 SOS 14803 HAS SOPS 14803 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12712.803
AT ITER 134 NEW BEST:: SOT 23086 SOS 14801 HAS SOPS 14801 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12710.801
AT ITER 135 NEW BEST:: SOT 23083 SOS 14798 HAS SOPS 14798 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12707.798
AT ITER 136 NEW BEST:: SOT 23099 SOS 14781 HAS SOPS 14781 HAS SOUS 12689 HAS SOUPS 12689 WITH SCORE 12703.781
AT ITER 141 NEW BEST:: SOT 23037 SOS 14808 HAS SOPS 14808 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12682.808
AT ITER 143 NEW BEST:: SOT 23037 SOS 14803 HAS SOPS 14803 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12677.803
AT ITER 151 NEW BEST:: SOT 23032 SOS 14798 HAS SOPS 14798 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12672.798
AT ITER 153 NEW BEST:: SOT 23014 SOS 15057 HAS SOPS 15057 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12667.057
AT ITER 154 NEW BEST:: SOT 22963 SOS 15006 HAS SOPS 15006 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12616.006
AT ITER 157 NEW BEST:: SOT 22947 SOS 15022 HAS SOPS 15022 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12615.022
AT ITER 159 NEW BEST:: SOT 22901 SOS 15055 HAS SOPS 15055 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12600.055
AT ITER 164 NEW BEST:: SOT 22901 SOS 15023 HAS SOPS 15023 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12600.023
AT ITER 194 NEW BEST:: SOT 22841 SOS 15039 HAS SOPS 15039 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12542.039
AT ITER 197 NEW BEST:: SOT 22841 SOS 14605 HAS SOPS 14605 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12541.605
AT ITER 217 NEW BEST:: SOT 22833 SOS 14597 HAS SOPS 14597 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12533.597
AT ITER 220 NEW BEST:: SOT 22832 SOS 14596 HAS SOPS 14596 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12532.596
AT ITER 224 NEW BEST:: SOT 22819 SOS 14560 HAS SOPS 14560 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12519.56
AT ITER 228 NEW BEST:: SOT 22819 SOS 14549 HAS SOPS 14549 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12501.549
AT ITER 231 NEW BEST:: SOT 22811 SOS 14541 HAS SOPS 14541 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12493.541
AT ITER 253 NEW BEST:: SOT 22783 SOS 14497 HAS SOPS 14497 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12443.497
AT ITER 254 NEW BEST:: SOT 22779 SOS 14525 HAS SOPS 14525 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.525
AT ITER 264 NEW BEST:: SOT 22779 SOS 14508 HAS SOPS 14508 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.508
AT ITER 267 NEW BEST:: SOT 22779 SOS 14484 HAS SOPS 14484 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.484
AT ITER 268 NEW BEST:: SOT 22779 SOS 14480 HAS SOPS 14480 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.48
AT ITER 277 NEW BEST:: SOT 22779 SOS 14444 HAS SOPS 14444 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.444
AT ITER 279 NEW BEST:: SOT 22779 SOS 14277 HAS SOPS 14277 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12422.277
AT ITER 280 NEW BEST:: SOT 22779 SOS 14262 HAS SOPS 14262 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12416.262
AT ITER 289 NEW BEST:: SOT 22677 SOS 14343 HAS SOPS 14343 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12361.343
AT ITER 300 NEW BEST:: SOT 22624 SOS 14309 HAS SOPS 14309 HAS SOUS 12323 HAS SOUPS 12323 WITH SCORE 12337.309
AT ITER 314 NEW BEST:: SOT 22616 SOS 14301 HAS SOPS 14301 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12284.301
AT ITER 319 NEW BEST:: SOT 22622 SOS 14462 HAS SOPS 14462 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12268.462
AT ITER 320 NEW BEST:: SOT 22593 SOS 14433 HAS SOPS 14433 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12260.433
AT ITER 327 NEW BEST:: SOT 22593 SOS 14249 HAS SOPS 14249 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12260.249
AT ITER 335 NEW BEST:: SOT 22593 SOS 14195 HAS SOPS 14195 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12260.195
AT ITER 337 NEW BEST:: SOT 22573 SOS 14143 HAS SOPS 14143 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12238.143
AT ITER 351 NEW BEST:: SOT 22573 SOS 14169 HAS SOPS 14169 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12233.169
AT ITER 355 NEW BEST:: SOT 22572 SOS 14089 HAS SOPS 14089 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12142.089
AT ITER 363 NEW BEST:: SOT 22568 SOS 14045 HAS SOPS 14045 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12140.045
AT ITER 373 NEW BEST:: SOT 22568 SOS 14040 HAS SOPS 14040 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12140.04
AT ITER 374 NEW BEST:: SOT 22568 SOS 14022 HAS SOPS 14022 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12140.022
AT ITER 393 NEW BEST:: SOT 22568 SOS 14006 HAS SOPS 14006 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12140.006
AT ITER 396 NEW BEST:: SOT 22568 SOS 13940 HAS SOPS 13940 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12139.94
AT ITER 401 NEW BEST:: SOT 22550 SOS 13892 HAS SOPS 13892 HAS SOUS 12075 HAS SOUPS 12075 WITH SCORE 12088.892
AT ITER 403 NEW BEST:: SOT 22550 SOS 13755 HAS SOPS 13755 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12085.755
AT ITER 414 NEW BEST:: SOT 22550 SOS 13720 HAS SOPS 13720 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12085.72
AT ITER 418 NEW BEST:: SOT 22534 SOS 13704 HAS SOPS 13704 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12069.704
AT ITER 423 NEW BEST:: SOT 22534 SOS 13682 HAS SOPS 13682 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12068.682
AT ITER 431 NEW BEST:: SOT 22523 SOS 13856 HAS SOPS 13856 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12066.856
AT ITER 432 NEW BEST:: SOT 22523 SOS 13849 HAS SOPS 13849 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12066.849
AT ITER 434 NEW BEST:: SOT 22523 SOS 13802 HAS SOPS 13802 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12056.802
AT ITER 443 NEW BEST:: SOT 22523 SOS 13830 HAS SOPS 13830 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12052.83
AT ITER 464 NEW BEST:: SOT 22523 SOS 13820 HAS SOPS 13820 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12052.82
AT ITER 473 NEW BEST:: SOT 22523 SOS 13801 HAS SOPS 13801 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12052.801
AT ITER 474 NEW BEST:: SOT 22523 SOS 13798 HAS SOPS 13798 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12052.798
AT ITER 487 NEW BEST:: SOT 22513 SOS 13793 HAS SOPS 13793 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12032.793
AT ITER 495 NEW BEST:: SOT 22507 SOS 13787 HAS SOPS 13787 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12026.787
AT ITER 503 NEW BEST:: SOT 22507 SOS 13777 HAS SOPS 13777 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12026.777
AT ITER 513 NEW BEST:: SOT 22504 SOS 13774 HAS SOPS 13774 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12023.774
AT ITER 520 NEW BEST:: SOT 22504 SOS 13774 HAS SOPS 13774 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12015.774
AT ITER 527 NEW BEST:: SOT 22504 SOS 13768 HAS SOPS 13768 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12009.768
AT ITER 528 NEW BEST:: SOT 22492 SOS 13756 HAS SOPS 13756 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 11997.756
AT ITER 543 NEW BEST:: SOT 22492 SOS 13608 HAS SOPS 13608 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11969.608
AT ITER 549 NEW BEST:: SOT 22503 SOS 13541 HAS SOPS 13541 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11929.541
AT ITER 563 NEW BEST:: SOT 22503 SOS 13540 HAS SOPS 13540 HAS SOUS 11916 HAS SOUPS 11916 WITH SCORE 11929.54
AT ITER 565 NEW BEST:: SOT 22503 SOS 13540 HAS SOPS 13540 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11887.54
AT ITER 567 NEW BEST:: SOT 22500 SOS 13537 HAS SOPS 13537 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11884.537
AT ITER 573 NEW BEST:: SOT 22500 SOS 13527 HAS SOPS 13527 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11884.527
AT ITER 574 NEW BEST:: SOT 22499 SOS 13526 HAS SOPS 13526 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11883.526
AT ITER 577 NEW BEST:: SOT 22499 SOS 13495 HAS SOPS 13495 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11881.495
AT ITER 579 NEW BEST:: SOT 22499 SOS 13435 HAS SOPS 13435 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.435
AT ITER 580 NEW BEST:: SOT 22520 SOS 13479 HAS SOPS 13479 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11863.479
AT ITER 584 NEW BEST:: SOT 22520 SOS 13476 HAS SOPS 13476 HAS SOUS 11844 HAS SOUPS 11844 WITH SCORE 11857.476
AT ITER 585 NEW BEST:: SOT 22508 SOS 13464 HAS SOPS 13464 HAS SOUS 11828 HAS SOUPS 11828 WITH SCORE 11841.464
AT ITER 596 NEW BEST:: SOT 22407 SOS 13577 HAS SOPS 13577 HAS SOUS 11787 HAS SOUPS 11787 WITH SCORE 11800.577
AT ITER 599 NEW BEST:: SOT 22406 SOS 13576 HAS SOPS 13576 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11799.576
AT ITER 603 NEW BEST:: SOT 22399 SOS 13530 HAS SOPS 13530 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11791.53
AT ITER 611 NEW BEST:: SOT 22399 SOS 13529 HAS SOPS 13529 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11791.529
AT ITER 630 NEW BEST:: SOT 22393 SOS 13523 HAS SOPS 13523 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11785.523
AT ITER 632 NEW BEST:: SOT 22385 SOS 13515 HAS SOPS 13515 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11777.515
AT ITER 657 NEW BEST:: SOT 22371 SOS 13538 HAS SOPS 13538 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11765.538
AT ITER 665 NEW BEST:: SOT 22371 SOS 13532 HAS SOPS 13532 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11759.532
AT ITER 671 NEW BEST:: SOT 22370 SOS 13531 HAS SOPS 13531 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11758.531
AT ITER 684 NEW BEST:: SOT 22365 SOS 13526 HAS SOPS 13526 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11753.526
AT ITER 688 NEW BEST:: SOT 22365 SOS 13553 HAS SOPS 13553 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11733.553
AT ITER 711 NEW BEST:: SOT 22361 SOS 13549 HAS SOPS 13549 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11729.549
AT ITER 712 NEW BEST:: SOT 22360 SOS 13620 HAS SOPS 13620 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11728.62
AT ITER 732 NEW BEST:: SOT 22222 SOS 13619 HAS SOPS 13619 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11713.619
AT ITER 734 NEW BEST:: SOT 22181 SOS 13596 HAS SOPS 13596 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11705.596
AT ITER 735 NEW BEST:: SOT 22181 SOS 13584 HAS SOPS 13584 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11699.584
AT ITER 741 NEW BEST:: SOT 22181 SOS 13515 HAS SOPS 13515 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11699.515
AT ITER 762 NEW BEST:: SOT 22181 SOS 13488 HAS SOPS 13488 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11672.488
AT ITER 766 NEW BEST:: SOT 22172 SOS 13479 HAS SOPS 13479 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11655.479
AT ITER 767 NEW BEST:: SOT 22172 SOS 12975 HAS SOPS 12975 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11639.975
AT ITER 793 NEW BEST:: SOT 22166 SOS 12963 HAS SOPS 12963 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11639.963
AT ITER 807 NEW BEST:: SOT 22166 SOS 12959 HAS SOPS 12959 HAS SOUS 11623 HAS SOUPS 11623 WITH SCORE 11635.959
AT ITER 811 NEW BEST:: SOT 22166 SOS 12896 HAS SOPS 12896 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11616.896
AT ITER 818 NEW BEST:: SOT 22151 SOS 12911 HAS SOPS 12911 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11612.911
AT ITER 820 NEW BEST:: SOT 22151 SOS 12908 HAS SOPS 12908 HAS SOUS 11594 HAS SOUPS 11594 WITH SCORE 11606.908
AT ITER 830 NEW BEST:: SOT 22133 SOS 12890 HAS SOPS 12890 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11588.89
AT ITER 843 NEW BEST:: SOT 22133 SOS 12885 HAS SOPS 12885 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.885
AT ITER 848 NEW BEST:: SOT 22133 SOS 12871 HAS SOPS 12871 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.871
AT ITER 852 NEW BEST:: SOT 22109 SOS 12859 HAS SOPS 12859 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11579.859
AT ITER 862 NEW BEST:: SOT 22106 SOS 12856 HAS SOPS 12856 HAS SOUS 11564 HAS SOUPS 11564 WITH SCORE 11576.856
AT ITER 868 NEW BEST:: SOT 22106 SOS 12845 HAS SOPS 12845 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11565.845
AT ITER 874 NEW BEST:: SOT 22102 SOS 12841 HAS SOPS 12841 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11561.841
AT ITER 893 NEW BEST:: SOT 22026 SOS 12799 HAS SOPS 12799 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11539.799
AT ITER 894 NEW BEST:: SOT 22026 SOS 12757 HAS SOPS 12757 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11539.757
AT ITER 896 NEW BEST:: SOT 22021 SOS 12752 HAS SOPS 12752 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11533.752
AT ITER 914 NEW BEST:: SOT 22021 SOS 12832 HAS SOPS 12832 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11509.832
AT ITER 917 NEW BEST:: SOT 22021 SOS 12798 HAS SOPS 12798 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11509.798
AT ITER 977 NEW BEST:: SOT 22021 SOS 12815 HAS SOPS 12815 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11506.815
AT ITER 992 NEW BEST:: SOT 22024 SOS 12818 HAS SOPS 12818 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11504.818
AT ITER 1014 NEW BEST:: SOT 22024 SOS 12810 HAS SOPS 12810 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11496.81
AT ITER 1018 NEW BEST:: SOT 22024 SOS 12807 HAS SOPS 12807 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11491.807
AT ITER 1022 NEW BEST:: SOT 22024 SOS 12809 HAS SOPS 12809 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11484.809
AT ITER 1030 NEW BEST:: SOT 22011 SOS 12796 HAS SOPS 12796 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11470.796
AT ITER 1033 NEW BEST:: SOT 22011 SOS 12799 HAS SOPS 12799 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11460.799
AT ITER 1062 NEW BEST:: SOT 22011 SOS 12797 HAS SOPS 12797 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11460.797
AT ITER 1065 NEW BEST:: SOT 22010 SOS 12795 HAS SOPS 12795 HAS SOUS 11447 HAS SOUPS 11447 WITH SCORE 11459.795
AT ITER 1073 NEW BEST:: SOT 22010 SOS 12787 HAS SOPS 12787 HAS SOUS 11447 HAS SOUPS 11447 WITH SCORE 11459.787
AT ITER 1076 NEW BEST:: SOT 22012 SOS 12797 HAS SOPS 12797 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.797
AT ITER 1092 NEW BEST:: SOT 22012 SOS 12811 HAS SOPS 12811 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11453.811
AT ITER 1107 NEW BEST:: SOT 22008 SOS 12807 HAS SOPS 12807 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11449.807
AT ITER 1142 NEW BEST:: SOT 22029 SOS 12802 HAS SOPS 12802 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11434.802
AT ITER 1148 NEW BEST:: SOT 22027 SOS 12800 HAS SOPS 12800 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.8
AT ITER 1156 NEW BEST:: SOT 22027 SOS 12756 HAS SOPS 12756 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11425.756
AT ITER 1167 NEW BEST:: SOT 22027 SOS 12741 HAS SOPS 12741 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11425.741
AT ITER 1186 NEW BEST:: SOT 22027 SOS 12723 HAS SOPS 12723 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11422.723
AT ITER 1193 NEW BEST:: SOT 22027 SOS 12706 HAS SOPS 12706 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.706
AT ITER 1200 NEW BEST:: SOT 22027 SOS 12652 HAS SOPS 12652 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.652
AT ITER 1203 NEW BEST:: SOT 22027 SOS 12652 HAS SOPS 12652 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11403.652
AT ITER 1205 NEW BEST:: SOT 22027 SOS 12623 HAS SOPS 12623 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11385.623
AT ITER 1206 NEW BEST:: SOT 22028 SOS 12593 HAS SOPS 12593 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11378.593
AT ITER 1208 NEW BEST:: SOT 22029 SOS 12603 HAS SOPS 12603 HAS SOUS 11363 HAS SOUPS 11363 WITH SCORE 11375.603
AT ITER 1218 NEW BEST:: SOT 22029 SOS 12576 HAS SOPS 12576 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11371.576
AT ITER 1223 NEW BEST:: SOT 22029 SOS 12576 HAS SOPS 12576 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11361.576
AT ITER 1235 NEW BEST:: SOT 22022 SOS 12569 HAS SOPS 12569 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11354.569
AT ITER 1242 NEW BEST:: SOT 22017 SOS 12659 HAS SOPS 12659 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11349.659
AT ITER 1258 NEW BEST:: SOT 22017 SOS 12645 HAS SOPS 12645 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.645
AT ITER 1279 NEW BEST:: SOT 22012 SOS 12666 HAS SOPS 12666 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.666
AT ITER 1296 NEW BEST:: SOT 22012 SOS 12665 HAS SOPS 12665 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.665
AT ITER 1297 NEW BEST:: SOT 22012 SOS 12637 HAS SOPS 12637 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.637
AT ITER 1306 NEW BEST:: SOT 22012 SOS 12534 HAS SOPS 12534 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.534
AT ITER 1320 NEW BEST:: SOT 22012 SOS 12518 HAS SOPS 12518 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.518
AT ITER 1341 NEW BEST:: SOT 21937 SOS 12463 HAS SOPS 12463 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11298.463
AT ITER 1344 NEW BEST:: SOT 21933 SOS 12459 HAS SOPS 12459 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.459
AT ITER 1359 NEW BEST:: SOT 21933 SOS 12447 HAS SOPS 12447 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.447
AT ITER 1360 NEW BEST:: SOT 21933 SOS 12430 HAS SOPS 12430 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11277.43
AT ITER 1400 NEW BEST:: SOT 21909 SOS 12408 HAS SOPS 12408 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.408
AT ITER 1415 NEW BEST:: SOT 21908 SOS 12401 HAS SOPS 12401 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11248.401
AT ITER 1448 NEW BEST:: SOT 21908 SOS 12445 HAS SOPS 12445 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11246.445
AT ITER 1486 NEW BEST:: SOT 21906 SOS 12442 HAS SOPS 12442 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11244.442
AT ITER 1500 NEW BEST:: SOT 21906 SOS 12418 HAS SOPS 12418 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11244.418
AT ITER 1511 NEW BEST:: SOT 21867 SOS 12630 HAS SOPS 12630 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11226.63
AT ITER 1513 NEW BEST:: SOT 21873 SOS 12636 HAS SOPS 12636 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11225.636
AT ITER 1523 NEW BEST:: SOT 21873 SOS 12560 HAS SOPS 12560 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11225.56
AT ITER 1529 NEW BEST:: SOT 21885 SOS 12565 HAS SOPS 12565 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11223.565
AT ITER 1539 NEW BEST:: SOT 21885 SOS 12565 HAS SOPS 12565 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11222.565
AT ITER 1548 NEW BEST:: SOT 21885 SOS 12563 HAS SOPS 12563 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11222.563
AT ITER 1552 NEW BEST:: SOT 21885 SOS 12562 HAS SOPS 12562 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11221.562
AT ITER 1554 NEW BEST:: SOT 21871 SOS 12550 HAS SOPS 12550 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11221.55
AT ITER 1581 NEW BEST:: SOT 21872 SOS 12551 HAS SOPS 12551 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11219.551
AT ITER 1602 NEW BEST:: SOT 21872 SOS 12540 HAS SOPS 12540 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11219.54
AT ITER 1605 NEW BEST:: SOT 21872 SOS 12525 HAS SOPS 12525 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11219.525
AT ITER 1606 NEW BEST:: SOT 21864 SOS 12517 HAS SOPS 12517 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.517
AT ITER 1638 NEW BEST:: SOT 21864 SOS 12517 HAS SOPS 12517 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11207.517
AT ITER 1651 NEW BEST:: SOT 21864 SOS 12550 HAS SOPS 12550 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.55
AT ITER 1652 NEW BEST:: SOT 21856 SOS 12537 HAS SOPS 12537 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11195.537
AT ITER 1659 NEW BEST:: SOT 21860 SOS 12537 HAS SOPS 12537 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11194.537
AT ITER 1680 NEW BEST:: SOT 21860 SOS 12536 HAS SOPS 12536 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11194.536
AT ITER 1692 NEW BEST:: SOT 21789 SOS 12670 HAS SOPS 12670 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11164.67
AT ITER 1696 NEW BEST:: SOT 21784 SOS 12636 HAS SOPS 12636 HAS SOUS 11146 HAS SOUPS 11146 WITH SCORE 11158.636
AT ITER 1717 NEW BEST:: SOT 21780 SOS 12632 HAS SOPS 12632 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.632
AT ITER 1727 NEW BEST:: SOT 21780 SOS 12617 HAS SOPS 12617 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.617
AT ITER 1736 NEW BEST:: SOT 21780 SOS 12644 HAS SOPS 12644 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11145.644
AT ITER 1741 NEW BEST:: SOT 21780 SOS 12631 HAS SOPS 12631 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11133.631
AT ITER 1747 NEW BEST:: SOT 21780 SOS 12618 HAS SOPS 12618 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.618
AT ITER 1755 NEW BEST:: SOT 21773 SOS 12611 HAS SOPS 12611 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11124.611
AT ITER 1765 NEW BEST:: SOT 21714 SOS 12581 HAS SOPS 12581 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.581
AT ITER 1779 NEW BEST:: SOT 21657 SOS 12656 HAS SOPS 12656 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.656
AT ITER 1782 NEW BEST:: SOT 21697 SOS 12607 HAS SOPS 12607 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.607
AT ITER 1784 NEW BEST:: SOT 21694 SOS 12604 HAS SOPS 12604 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11100.604
AT ITER 1806 NEW BEST:: SOT 21686 SOS 12596 HAS SOPS 12596 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11092.596
AT ITER 1836 NEW BEST:: SOT 21686 SOS 12588 HAS SOPS 12588 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11092.588
AT ITER 1842 NEW BEST:: SOT 21686 SOS 12583 HAS SOPS 12583 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11078.583
AT ITER 1849 NEW BEST:: SOT 21686 SOS 12558 HAS SOPS 12558 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11066.558
AT ITER 1852 NEW BEST:: SOT 21686 SOS 12555 HAS SOPS 12555 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11066.555
AT ITER 1853 NEW BEST:: SOT 21686 SOS 12550 HAS SOPS 12550 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11061.55
AT ITER 1863 NEW BEST:: SOT 21689 SOS 12526 HAS SOPS 12526 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11050.526
AT ITER 1866 NEW BEST:: SOT 21689 SOS 12491 HAS SOPS 12491 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.491
AT ITER 1869 NEW BEST:: SOT 21689 SOS 12483 HAS SOPS 12483 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.483
AT ITER 1874 NEW BEST:: SOT 21689 SOS 12477 HAS SOPS 12477 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.477
AT ITER 1909 NEW BEST:: SOT 21685 SOS 12479 HAS SOPS 12479 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11020.479
AT ITER 1922 NEW BEST:: SOT 21681 SOS 12475 HAS SOPS 12475 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.475
AT ITER 1924 NEW BEST:: SOT 21681 SOS 12465 HAS SOPS 12465 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11006.465
AT ITER 1947 NEW BEST:: SOT 21681 SOS 12465 HAS SOPS 12465 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.465
AT ITER 1971 NEW BEST:: SOT 21659 SOS 12449 HAS SOPS 12449 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10997.449
AT ITER 2007 NEW BEST:: SOT 21659 SOS 12420 HAS SOPS 12420 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10997.42
AT ITER 2019 NEW BEST:: SOT 21555 SOS 12433 HAS SOPS 12433 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10955.433
AT ITER 2026 NEW BEST:: SOT 21560 SOS 12419 HAS SOPS 12419 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10952.419
AT ITER 2029 NEW BEST:: SOT 21560 SOS 12419 HAS SOPS 12419 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10949.419
AT ITER 2034 NEW BEST:: SOT 21560 SOS 12415 HAS SOPS 12415 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10943.415
AT ITER 2051 NEW BEST:: SOT 21549 SOS 12431 HAS SOPS 12431 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.431
AT ITER 2058 NEW BEST:: SOT 21549 SOS 12426 HAS SOPS 12426 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.426
AT ITER 2076 NEW BEST:: SOT 21545 SOS 12422 HAS SOPS 12422 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10927.422
AT ITER 2081 NEW BEST:: SOT 21559 SOS 12426 HAS SOPS 12426 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10893.426
AT ITER 2093 NEW BEST:: SOT 21559 SOS 12421 HAS SOPS 12421 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10891.421
AT ITER 2129 NEW BEST:: SOT 21559 SOS 12409 HAS SOPS 12409 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10891.409
AT ITER 2198 NEW BEST:: SOT 21533 SOS 12819 HAS SOPS 12819 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10879.819
AT ITER 2208 NEW BEST:: SOT 21524 SOS 12810 HAS SOPS 12810 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.81
AT ITER 2211 NEW BEST:: SOT 21515 SOS 12801 HAS SOPS 12801 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10861.801
AT ITER 2228 NEW BEST:: SOT 21515 SOS 12797 HAS SOPS 12797 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10861.797
AT ITER 2234 NEW BEST:: SOT 21515 SOS 12797 HAS SOPS 12797 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10858.797
AT ITER 2246 NEW BEST:: SOT 21515 SOS 12799 HAS SOPS 12799 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10850.799
AT ITER 2269 NEW BEST:: SOT 21515 SOS 12802 HAS SOPS 12802 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10834.802
AT ITER 2291 NEW BEST:: SOT 21515 SOS 12743 HAS SOPS 12743 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10834.743
AT ITER 2304 NEW BEST:: SOT 21515 SOS 12715 HAS SOPS 12715 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10824.715
AT ITER 2335 NEW BEST:: SOT 21513 SOS 12713 HAS SOPS 12713 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10822.713
AT ITER 2343 NEW BEST:: SOT 21505 SOS 12705 HAS SOPS 12705 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10811.705
AT ITER 2348 NEW BEST:: SOT 21505 SOS 12702 HAS SOPS 12702 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10810.702
AT ITER 2357 NEW BEST:: SOT 21504 SOS 12701 HAS SOPS 12701 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10809.701
AT ITER 2394 NEW BEST:: SOT 21504 SOS 12694 HAS SOPS 12694 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10809.694
AT ITER 2415 NEW BEST:: SOT 21502 SOS 12692 HAS SOPS 12692 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10807.692
AT ITER 2419 NEW BEST:: SOT 21502 SOS 12662 HAS SOPS 12662 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10805.662
AT ITER 2431 NEW BEST:: SOT 21502 SOS 12663 HAS SOPS 12663 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10786.663
AT ITER 2442 NEW BEST:: SOT 21502 SOS 12657 HAS SOPS 12657 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10764.657
AT ITER 2469 NEW BEST:: SOT 21502 SOS 12630 HAS SOPS 12630 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10764.63
AT ITER 2495 NEW BEST:: SOT 21503 SOS 12626 HAS SOPS 12626 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10764.626
AT ITER 2533 NEW BEST:: SOT 21468 SOS 12591 HAS SOPS 12591 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10749.591
AT ITER 2542 NEW BEST:: SOT 21468 SOS 12589 HAS SOPS 12589 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10747.589
AT ITER 2573 NEW BEST:: SOT 21468 SOS 12582 HAS SOPS 12582 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10744.582
AT ITER 2648 NEW BEST:: SOT 21461 SOS 12575 HAS SOPS 12575 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10739.575
AT ITER 2722 NEW BEST:: SOT 21461 SOS 12592 HAS SOPS 12592 HAS SOUS 10725 HAS SOUPS 10725 WITH SCORE 10737.592
AT ITER 2734 NEW BEST:: SOT 21461 SOS 12586 HAS SOPS 12586 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10735.586
AT ITER 2747 NEW BEST:: SOT 21447 SOS 12572 HAS SOPS 12572 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10721.572
AT ITER 2751 NEW BEST:: SOT 21462 SOS 12562 HAS SOPS 12562 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10695.562
AT ITER 2784 NEW BEST:: SOT 21452 SOS 12572 HAS SOPS 12572 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10691.572
AT ITER 2811 NEW BEST:: SOT 21452 SOS 12525 HAS SOPS 12525 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10691.525
AT ITER 2830 NEW BEST:: SOT 21440 SOS 12513 HAS SOPS 12513 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10686.513
AT ITER 2898 NEW BEST:: SOT 21440 SOS 12098 HAS SOPS 12098 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10675.098
AT ITER 2899 NEW BEST:: SOT 21413 SOS 12071 HAS SOPS 12071 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10664.071
AT ITER 2917 NEW BEST:: SOT 21413 SOS 12063 HAS SOPS 12063 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10637.063
AT ITER 2936 NEW BEST:: SOT 21407 SOS 12058 HAS SOPS 12058 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10632.058
AT ITER 2979 NEW BEST:: SOT 21391 SOS 12042 HAS SOPS 12042 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10621.042
AT ITER 2999 NEW BEST:: SOT 21391 SOS 12049 HAS SOPS 12049 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10612.049
AT ITER 3020 NEW BEST:: SOT 21378 SOS 12040 HAS SOPS 12040 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10607.04
AT ITER 3081 NEW BEST:: SOT 21378 SOS 12034 HAS SOPS 12034 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10607.034
AT ITER 3116 NEW BEST:: SOT 21378 SOS 12026 HAS SOPS 12026 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10607.026
AT ITER 3119 NEW BEST:: SOT 21361 SOS 12009 HAS SOPS 12009 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10590.009
AT ITER 3155 NEW BEST:: SOT 21357 SOS 12005 HAS SOPS 12005 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10586.005
AT ITER 3165 NEW BEST:: SOT 21343 SOS 11991 HAS SOPS 11991 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.991
AT ITER 3225 NEW BEST:: SOT 21323 SOS 11975 HAS SOPS 11975 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10562.975
AT ITER 3276 NEW BEST:: SOT 21319 SOS 11971 HAS SOPS 11971 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10558.971
AT ITER 3286 NEW BEST:: SOT 21319 SOS 11966 HAS SOPS 11966 HAS SOUS 10542 HAS SOUPS 10542 WITH SCORE 10553.966
AT ITER 3323 NEW BEST:: SOT 21315 SOS 11962 HAS SOPS 11962 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10549.962
AT ITER 3329 NEW BEST:: SOT 21315 SOS 11960 HAS SOPS 11960 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10549.96
AT ITER 3359 NEW BEST:: SOT 21315 SOS 11960 HAS SOPS 11960 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10540.96
AT ITER 3389 NEW BEST:: SOT 21315 SOS 11955 HAS SOPS 11955 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10540.955
AT ITER 3396 NEW BEST:: SOT 21314 SOS 11856 HAS SOPS 11856 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10509.856
AT ITER 3418 NEW BEST:: SOT 21314 SOS 11855 HAS SOPS 11855 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10508.855
AT ITER 3454 NEW BEST:: SOT 21314 SOS 11853 HAS SOPS 11853 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10508.853
AT ITER 3468 NEW BEST:: SOT 21309 SOS 11848 HAS SOPS 11848 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10503.848
AT ITER 3474 NEW BEST:: SOT 21313 SOS 11848 HAS SOPS 11848 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.848
AT ITER 3509 NEW BEST:: SOT 21313 SOS 11842 HAS SOPS 11842 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10482.842
AT ITER 3536 NEW BEST:: SOT 21313 SOS 11835 HAS SOPS 11835 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.835
AT ITER 3563 NEW BEST:: SOT 21300 SOS 11833 HAS SOPS 11833 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.833
AT ITER 3571 NEW BEST:: SOT 21300 SOS 11832 HAS SOPS 11832 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.832
AT ITER 3593 NEW BEST:: SOT 21290 SOS 11912 HAS SOPS 11912 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10452.912
AT ITER 3635 NEW BEST:: SOT 21288 SOS 11910 HAS SOPS 11910 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10450.91
AT ITER 3648 NEW BEST:: SOT 21280 SOS 11953 HAS SOPS 11953 HAS SOUS 10435 HAS SOUPS 10435 WITH SCORE 10446.953
AT ITER 3776 NEW BEST:: SOT 21281 SOS 11954 HAS SOPS 11954 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10441.954
AT ITER 3777 NEW BEST:: SOT 21272 SOS 11941 HAS SOPS 11941 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10441.941
AT ITER 3832 NEW BEST:: SOT 21260 SOS 11944 HAS SOPS 11944 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10439.944
AT ITER 3855 NEW BEST:: SOT 21260 SOS 11950 HAS SOPS 11950 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10432.95
AT ITER 3872 NEW BEST:: SOT 21269 SOS 11949 HAS SOPS 11949 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.949
AT ITER 3879 NEW BEST:: SOT 21269 SOS 11949 HAS SOPS 11949 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.949
AT ITER 3894 NEW BEST:: SOT 21266 SOS 11946 HAS SOPS 11946 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10420.946
AT ITER 3954 NEW BEST:: SOT 21263 SOS 11947 HAS SOPS 11947 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10417.947
AT ITER 3993 NEW BEST:: SOT 21260 SOS 11944 HAS SOPS 11944 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10414.944
AT ITER 4013 NEW BEST:: SOT 21260 SOS 11940 HAS SOPS 11940 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10414.94
AT ITER 4020 NEW BEST:: SOT 21264 SOS 11936 HAS SOPS 11936 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10414.936
AT ITER 4075 NEW BEST:: SOT 21260 SOS 11932 HAS SOPS 11932 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10408.932
AT ITER 4077 NEW BEST:: SOT 21260 SOS 11931 HAS SOPS 11931 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.931
AT ITER 4142 NEW BEST:: SOT 21258 SOS 11929 HAS SOPS 11929 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10404.929
AT ITER 4207 NEW BEST:: SOT 21253 SOS 11924 HAS SOPS 11924 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10399.924
AT ITER 4240 NEW BEST:: SOT 21253 SOS 11924 HAS SOPS 11924 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.924
AT ITER 4243 NEW BEST:: SOT 21246 SOS 11917 HAS SOPS 11917 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.917
AT ITER 4248 NEW BEST:: SOT 21246 SOS 11904 HAS SOPS 11904 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10375.904
AT ITER 4345 NEW BEST:: SOT 21245 SOS 11903 HAS SOPS 11903 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10374.903
AT ITER 4387 NEW BEST:: SOT 21204 SOS 11862 HAS SOPS 11862 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10354.862
AT ITER 4401 NEW BEST:: SOT 21204 SOS 11837 HAS SOPS 11837 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10354.837
AT ITER 4405 NEW BEST:: SOT 21203 SOS 11836 HAS SOPS 11836 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10353.836
AT ITER 4415 NEW BEST:: SOT 21202 SOS 11835 HAS SOPS 11835 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.835
AT ITER 4431 NEW BEST:: SOT 21202 SOS 11831 HAS SOPS 11831 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10348.831
AT ITER 4462 NEW BEST:: SOT 21202 SOS 11816 HAS SOPS 11816 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10348.816
AT ITER 4535 NEW BEST:: SOT 21202 SOS 11811 HAS SOPS 11811 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10348.811
AT ITER 4541 NEW BEST:: SOT 21195 SOS 11841 HAS SOPS 11841 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10336.841
AT ITER 4588 NEW BEST:: SOT 21197 SOS 11843 HAS SOPS 11843 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10335.843
AT ITER 4623 NEW BEST:: SOT 21197 SOS 11826 HAS SOPS 11826 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10335.826
AT ITER 4804 NEW BEST:: SOT 21191 SOS 11820 HAS SOPS 11820 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10325.82
AT ITER 4932 NEW BEST:: SOT 21187 SOS 11816 HAS SOPS 11816 HAS SOUS 10310 HAS SOUPS 10310 WITH SCORE 10321.816
AT ITER 4969 NEW BEST:: SOT 21187 SOS 11815 HAS SOPS 11815 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10320.815
AT ITER 5010 NEW BEST:: SOT 21187 SOS 11813 HAS SOPS 11813 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10318.813
AT ITER 5011 NEW BEST:: SOT 21186 SOS 11884 HAS SOPS 11884 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10317.884
AT ITER 5026 NEW BEST:: SOT 21186 SOS 11883 HAS SOPS 11883 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10317.883
AT ITER 5091 NEW BEST:: SOT 21185 SOS 11882 HAS SOPS 11882 HAS SOUS 10305 HAS SOUPS 10305 WITH SCORE 10316.882
AT ITER 5108 NEW BEST:: SOT 21181 SOS 11865 HAS SOPS 11865 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10308.865
AT ITER 5129 NEW BEST:: SOT 21181 SOS 11854 HAS SOPS 11854 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.854
AT ITER 5153 NEW BEST:: SOT 21180 SOS 11853 HAS SOPS 11853 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10296.853
AT ITER 5157 NEW BEST:: SOT 21180 SOS 11856 HAS SOPS 11856 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.856
AT ITER 5162 NEW BEST:: SOT 21180 SOS 11853 HAS SOPS 11853 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.853
AT ITER 5241 NEW BEST:: SOT 21180 SOS 11844 HAS SOPS 11844 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.844
AT ITER 5255 NEW BEST:: SOT 21180 SOS 11839 HAS SOPS 11839 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.839
AT ITER 5273 NEW BEST:: SOT 21180 SOS 11835 HAS SOPS 11835 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10291.835
AT ITER 5317 NEW BEST:: SOT 21180 SOS 11833 HAS SOPS 11833 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10289.833
AT ITER 5406 NEW BEST:: SOT 21180 SOS 11833 HAS SOPS 11833 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10283.833
AT ITER 5427 NEW BEST:: SOT 21178 SOS 11831 HAS SOPS 11831 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10281.831
AT ITER 5441 NEW BEST:: SOT 21176 SOS 11829 HAS SOPS 11829 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10279.829
AT ITER 5457 NEW BEST:: SOT 21173 SOS 11826 HAS SOPS 11826 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10276.826
AT ITER 5557 NEW BEST:: SOT 21172 SOS 11829 HAS SOPS 11829 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10275.829
AT ITER 5575 NEW BEST:: SOT 21169 SOS 11826 HAS SOPS 11826 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10272.826
AT ITER 5587 NEW BEST:: SOT 21168 SOS 11825 HAS SOPS 11825 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10271.825
AT ITER 5594 NEW BEST:: SOT 21169 SOS 11826 HAS SOPS 11826 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10266.826
AT ITER 5602 NEW BEST:: SOT 21149 SOS 11798 HAS SOPS 11798 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10261.798
AT ITER 5604 NEW BEST:: SOT 21149 SOS 11794 HAS SOPS 11794 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.794
AT ITER 5643 NEW BEST:: SOT 21146 SOS 11819 HAS SOPS 11819 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10255.819
AT ITER 5655 NEW BEST:: SOT 21146 SOS 11819 HAS SOPS 11819 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10254.819
AT ITER 5677 NEW BEST:: SOT 21149 SOS 11801 HAS SOPS 11801 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10254.801
AT ITER 5713 NEW BEST:: SOT 21152 SOS 11804 HAS SOPS 11804 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10253.804
AT ITER 5748 NEW BEST:: SOT 21149 SOS 11801 HAS SOPS 11801 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.801
AT ITER 5815 NEW BEST:: SOT 21146 SOS 11798 HAS SOPS 11798 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10247.798
AT ITER 5856 NEW BEST:: SOT 21146 SOS 11785 HAS SOPS 11785 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10247.785
AT ITER 5914 NEW BEST:: SOT 21146 SOS 11783 HAS SOPS 11783 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10247.783
AT ITER 5929 NEW BEST:: SOT 21146 SOS 11781 HAS SOPS 11781 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10244.781
AT ITER 5997 NEW BEST:: SOT 21145 SOS 11780 HAS SOPS 11780 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10243.78
AT ITER 6018 NEW BEST:: SOT 21142 SOS 11777 HAS SOPS 11777 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10242.777
AT ITER 6034 NEW BEST:: SOT 21140 SOS 11775 HAS SOPS 11775 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10240.775
AT ITER 6062 NEW BEST:: SOT 21138 SOS 11773 HAS SOPS 11773 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10238.773
AT ITER 6071 NEW BEST:: SOT 21138 SOS 11765 HAS SOPS 11765 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10238.765
AT ITER 6186 NEW BEST:: SOT 21133 SOS 11760 HAS SOPS 11760 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10233.76
AT ITER 6188 NEW BEST:: SOT 21133 SOS 11759 HAS SOPS 11759 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10233.759
AT ITER 6213 NEW BEST:: SOT 21133 SOS 11758 HAS SOPS 11758 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10232.758
AT ITER 6301 NEW BEST:: SOT 21133 SOS 11744 HAS SOPS 11744 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10232.744
AT ITER 6313 NEW BEST:: SOT 21132 SOS 11734 HAS SOPS 11734 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10231.734
AT ITER 6325 NEW BEST:: SOT 21130 SOS 11765 HAS SOPS 11765 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10230.765
AT ITER 6359 NEW BEST:: SOT 21129 SOS 11816 HAS SOPS 11816 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10229.816
AT ITER 6389 NEW BEST:: SOT 21127 SOS 11814 HAS SOPS 11814 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10227.814
AT ITER 6445 NEW BEST:: SOT 21127 SOS 11807 HAS SOPS 11807 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.807
AT ITER 6450 NEW BEST:: SOT 21123 SOS 11803 HAS SOPS 11803 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10222.803
AT ITER 6547 NEW BEST:: SOT 21123 SOS 11795 HAS SOPS 11795 HAS SOUS 10209 HAS SOUPS 10209 WITH SCORE 10220.795
AT ITER 6590 NEW BEST:: SOT 21123 SOS 11793 HAS SOPS 11793 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10218.793
AT ITER 6595 NEW BEST:: SOT 21122 SOS 11792 HAS SOPS 11792 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10217.792
AT ITER 6626 NEW BEST:: SOT 21122 SOS 11785 HAS SOPS 11785 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10217.785
AT ITER 6675 NEW BEST:: SOT 21122 SOS 11783 HAS SOPS 11783 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10217.783
AT ITER 6780 NEW BEST:: SOT 21122 SOS 11783 HAS SOPS 11783 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10216.783
AT ITER 6787 NEW BEST:: SOT 21074 SOS 11753 HAS SOPS 11753 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.753
AT ITER 6820 NEW BEST:: SOT 21074 SOS 11745 HAS SOPS 11745 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.745
AT ITER 6861 NEW BEST:: SOT 21074 SOS 11744 HAS SOPS 11744 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.744
AT ITER 6898 NEW BEST:: SOT 21072 SOS 11742 HAS SOPS 11742 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.742
AT ITER 7012 NEW BEST:: SOT 21072 SOS 11742 HAS SOPS 11742 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10208.742
AT ITER 7038 NEW BEST:: SOT 21081 SOS 11751 HAS SOPS 11751 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10201.751
AT ITER 7041 NEW BEST:: SOT 21081 SOS 11750 HAS SOPS 11750 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10201.75
AT ITER 7047 NEW BEST:: SOT 21079 SOS 11748 HAS SOPS 11748 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10199.748
AT ITER 7062 NEW BEST:: SOT 21071 SOS 11740 HAS SOPS 11740 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10191.74
AT ITER 7093 NEW BEST:: SOT 21063 SOS 11814 HAS SOPS 11814 HAS SOUS 10179 HAS SOUPS 10179 WITH SCORE 10190.814
AT ITER 7112 NEW BEST:: SOT 21060 SOS 11802 HAS SOPS 11802 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10187.802
AT ITER 7114 NEW BEST:: SOT 21059 SOS 11801 HAS SOPS 11801 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10186.801
AT ITER 7123 NEW BEST:: SOT 21062 SOS 11752 HAS SOPS 11752 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10182.752
AT ITER 7135 NEW BEST:: SOT 21062 SOS 11749 HAS SOPS 11749 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10182.749
AT ITER 7153 NEW BEST:: SOT 21058 SOS 11745 HAS SOPS 11745 HAS SOUS 10167 HAS SOUPS 10167 WITH SCORE 10178.745
AT ITER 7176 NEW BEST:: SOT 21055 SOS 11795 HAS SOPS 11795 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10175.795
AT ITER 7193 NEW BEST:: SOT 21055 SOS 11800 HAS SOPS 11800 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10173.8
AT ITER 7207 NEW BEST:: SOT 21055 SOS 11790 HAS SOPS 11790 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10163.79
AT ITER 7268 NEW BEST:: SOT 21051 SOS 11786 HAS SOPS 11786 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10159.786
AT ITER 7304 NEW BEST:: SOT 21051 SOS 11781 HAS SOPS 11781 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10159.781
AT ITER 7416 NEW BEST:: SOT 21053 SOS 11782 HAS SOPS 11782 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10157.782
AT ITER 7418 NEW BEST:: SOT 21052 SOS 11779 HAS SOPS 11779 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.779
AT ITER 7423 NEW BEST:: SOT 21044 SOS 11771 HAS SOPS 11771 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10130.771
AT ITER 7428 NEW BEST:: SOT 21032 SOS 11785 HAS SOPS 11785 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10127.785
AT ITER 7447 NEW BEST:: SOT 21032 SOS 11794 HAS SOPS 11794 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10125.794
AT ITER 7469 NEW BEST:: SOT 21032 SOS 11789 HAS SOPS 11789 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10125.789
AT ITER 7518 NEW BEST:: SOT 21023 SOS 11784 HAS SOPS 11784 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10120.784
AT ITER 7528 NEW BEST:: SOT 21022 SOS 11783 HAS SOPS 11783 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.783
AT ITER 7538 NEW BEST:: SOT 21020 SOS 11781 HAS SOPS 11781 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10117.781
AT ITER 7543 NEW BEST:: SOT 21005 SOS 11766 HAS SOPS 11766 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.766
AT ITER 7551 NEW BEST:: SOT 21005 SOS 11765 HAS SOPS 11765 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.765
AT ITER 7560 NEW BEST:: SOT 21005 SOS 11760 HAS SOPS 11760 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10113.76
AT ITER 7671 NEW BEST:: SOT 21004 SOS 11864 HAS SOPS 11864 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10112.864
AT ITER 7676 NEW BEST:: SOT 21000 SOS 11888 HAS SOPS 11888 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10108.888
AT ITER 7724 NEW BEST:: SOT 21004 SOS 11892 HAS SOPS 11892 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10100.892
AT ITER 7919 NEW BEST:: SOT 21051 SOS 11920 HAS SOPS 11920 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10098.92
AT ITER 7970 NEW BEST:: SOT 21051 SOS 11908 HAS SOPS 11908 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10098.908
AT ITER 8003 NEW BEST:: SOT 21051 SOS 11867 HAS SOPS 11867 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10097.867
AT ITER 8101 NEW BEST:: SOT 21044 SOS 11860 HAS SOPS 11860 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10093.86
AT ITER 8141 NEW BEST:: SOT 21044 SOS 11859 HAS SOPS 11859 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10092.859
AT ITER 8167 NEW BEST:: SOT 21044 SOS 11851 HAS SOPS 11851 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10092.851
AT ITER 8190 NEW BEST:: SOT 21041 SOS 11848 HAS SOPS 11848 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.848
AT ITER 8288 NEW BEST:: SOT 21041 SOS 11832 HAS SOPS 11832 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.832
AT ITER 8297 NEW BEST:: SOT 21041 SOS 11826 HAS SOPS 11826 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.826
AT ITER 8363 NEW BEST:: SOT 21041 SOS 11823 HAS SOPS 11823 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10085.823
AT ITER 8391 NEW BEST:: SOT 21033 SOS 11815 HAS SOPS 11815 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.815
AT ITER 8395 NEW BEST:: SOT 21033 SOS 11769 HAS SOPS 11769 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.769
AT ITER 8418 NEW BEST:: SOT 21033 SOS 11766 HAS SOPS 11766 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.766
AT ITER 8472 NEW BEST:: SOT 21031 SOS 11764 HAS SOPS 11764 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.764
AT ITER 8542 NEW BEST:: SOT 21035 SOS 11768 HAS SOPS 11768 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10071.768
AT ITER 8567 NEW BEST:: SOT 21033 SOS 11766 HAS SOPS 11766 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10069.766
AT ITER 8592 NEW BEST:: SOT 21030 SOS 11763 HAS SOPS 11763 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10068.763
AT ITER 8785 NEW BEST:: SOT 21027 SOS 11841 HAS SOPS 11841 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10065.841
AT ITER 8817 NEW BEST:: SOT 21027 SOS 11839 HAS SOPS 11839 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10065.839
AT ITER 8840 NEW BEST:: SOT 21021 SOS 11896 HAS SOPS 11896 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.896
AT ITER 8917 NEW BEST:: SOT 21021 SOS 11892 HAS SOPS 11892 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.892
AT ITER 8990 NEW BEST:: SOT 21021 SOS 11889 HAS SOPS 11889 HAS SOUS 10045 HAS SOUPS 10045 WITH SCORE 10056.889
AT ITER 9050 NEW BEST:: SOT 21021 SOS 11932 HAS SOPS 11932 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.932
AT ITER 9066 NEW BEST:: SOT 21021 SOS 11930 HAS SOPS 11930 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.93
AT ITER 9069 NEW BEST:: SOT 21020 SOS 11929 HAS SOPS 11929 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10052.929
AT ITER 9127 NEW BEST:: SOT 21018 SOS 11928 HAS SOPS 11928 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10048.928
AT ITER 9134 NEW BEST:: SOT 21013 SOS 11920 HAS SOPS 11920 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10043.92
AT ITER 9143 NEW BEST:: SOT 21013 SOS 11914 HAS SOPS 11914 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10043.914
AT ITER 9182 NEW BEST:: SOT 21013 SOS 11906 HAS SOPS 11906 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10039.906
AT ITER 9197 NEW BEST:: SOT 21013 SOS 11903 HAS SOPS 11903 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10039.903
AT ITER 9247 NEW BEST:: SOT 21012 SOS 11902 HAS SOPS 11902 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10038.902
AT ITER 9315 NEW BEST:: SOT 21012 SOS 11886 HAS SOPS 11886 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10038.886
AT ITER 9322 NEW BEST:: SOT 21012 SOS 11885 HAS SOPS 11885 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10038.885
AT ITER 9332 NEW BEST:: SOT 21010 SOS 11883 HAS SOPS 11883 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10036.883
AT ITER 9375 NEW BEST:: SOT 21010 SOS 11883 HAS SOPS 11883 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10034.883
AT ITER 9448 NEW BEST:: SOT 21010 SOS 11879 HAS SOPS 11879 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10034.879
AT ITER 9462 NEW BEST:: SOT 21007 SOS 11876 HAS SOPS 11876 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10034.876
AT ITER 9495 NEW BEST:: SOT 21006 SOS 11875 HAS SOPS 11875 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10033.875
AT ITER 9529 NEW BEST:: SOT 21006 SOS 11894 HAS SOPS 11894 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10030.894
AT ITER 9575 NEW BEST:: SOT 21006 SOS 11889 HAS SOPS 11889 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.889
AT ITER 9616 NEW BEST:: SOT 21006 SOS 11883 HAS SOPS 11883 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.883
AT ITER 9630 NEW BEST:: SOT 21001 SOS 11878 HAS SOPS 11878 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10027.878
AT ITER 9664 NEW BEST:: SOT 20999 SOS 11878 HAS SOPS 11878 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10026.878
AT ITER 9747 NEW BEST:: SOT 20991 SOS 11872 HAS SOPS 11872 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.872
AT ITER 9789 NEW BEST:: SOT 20991 SOS 11863 HAS SOPS 11863 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.863
AT ITER 9792 NEW BEST:: SOT 20991 SOS 11858 HAS SOPS 11858 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10019.858
AT ITER 9822 NEW BEST:: SOT 20986 SOS 11854 HAS SOPS 11854 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10016.854
AT ITER 9851 NEW BEST:: SOT 20986 SOS 11853 HAS SOPS 11853 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10016.853
AT ITER 9910 NEW BEST:: SOT 20980 SOS 11847 HAS SOPS 11847 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10010.847
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="NQueens-PT-12"
export BK_EXAMINATION="StateSpace"
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 NQueens-PT-12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NQueens-PT-12.tgz
mv NQueens-PT-12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;