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 |
| 15769.070 | 3600000.00 | 3600020.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-158961250100140.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100140
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-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 6.1K Mar 24 05:37 GenericPropertiesVerdict.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)
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 NQueens-PT-12-CTLFireability-00
FORMULA_NAME NQueens-PT-12-CTLFireability-01
FORMULA_NAME NQueens-PT-12-CTLFireability-02
FORMULA_NAME NQueens-PT-12-CTLFireability-03
FORMULA_NAME NQueens-PT-12-CTLFireability-04
FORMULA_NAME NQueens-PT-12-CTLFireability-05
FORMULA_NAME NQueens-PT-12-CTLFireability-06
FORMULA_NAME NQueens-PT-12-CTLFireability-07
FORMULA_NAME NQueens-PT-12-CTLFireability-08
FORMULA_NAME NQueens-PT-12-CTLFireability-09
FORMULA_NAME NQueens-PT-12-CTLFireability-10
FORMULA_NAME NQueens-PT-12-CTLFireability-11
FORMULA_NAME NQueens-PT-12-CTLFireability-12
FORMULA_NAME NQueens-PT-12-CTLFireability-13
FORMULA_NAME NQueens-PT-12-CTLFireability-14
FORMULA_NAME NQueens-PT-12-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589637823432
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 12
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: 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 3 NEW BEST:: SOT 24170 SOS 14982 HAS SOPS 14982 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13763.982
AT ITER 5 NEW BEST:: SOT 24138 SOS 14952 HAS SOPS 14952 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13727.952
AT ITER 6 NEW BEST:: SOT 24089 SOS 15025 HAS SOPS 15025 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13676.025
AT ITER 7 NEW BEST:: SOT 24089 SOS 14948 HAS SOPS 14948 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13675.948
AT ITER 16 NEW BEST:: SOT 24038 SOS 14943 HAS SOPS 14943 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13642.943
AT ITER 18 NEW BEST:: SOT 24013 SOS 14923 HAS SOPS 14923 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13623.923
AT ITER 19 NEW BEST:: SOT 23959 SOS 14884 HAS SOPS 14884 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13582.884
AT ITER 22 NEW BEST:: SOT 23940 SOS 15001 HAS SOPS 15001 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13574.001
AT ITER 26 NEW BEST:: SOT 23940 SOS 14940 HAS SOPS 14940 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13573.94
AT ITER 33 NEW BEST:: SOT 23940 SOS 14935 HAS SOPS 14935 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13573.935
AT ITER 35 NEW BEST:: SOT 23940 SOS 14856 HAS SOPS 14856 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.856
AT ITER 37 NEW BEST:: SOT 23940 SOS 14812 HAS SOPS 14812 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.812
AT ITER 41 NEW BEST:: SOT 23904 SOS 15134 HAS SOPS 15134 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13548.134
AT ITER 43 NEW BEST:: SOT 23884 SOS 15130 HAS SOPS 15130 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13538.13
AT ITER 48 NEW BEST:: SOT 23884 SOS 15084 HAS SOPS 15084 HAS SOUS 13489 HAS SOUPS 13489 WITH SCORE 13504.084
AT ITER 66 NEW BEST:: SOT 23839 SOS 15074 HAS SOPS 15074 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13466.074
AT ITER 71 NEW BEST:: SOT 23759 SOS 15086 HAS SOPS 15086 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13397.086
AT ITER 89 NEW BEST:: SOT 23759 SOS 15056 HAS SOPS 15056 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13397.056
AT ITER 91 NEW BEST:: SOT 23645 SOS 14932 HAS SOPS 14932 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13322.932
AT ITER 92 NEW BEST:: SOT 23645 SOS 14922 HAS SOPS 14922 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13322.922
AT ITER 94 NEW BEST:: SOT 23706 SOS 14872 HAS SOPS 14872 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13263.872
AT ITER 96 NEW BEST:: SOT 23706 SOS 14807 HAS SOPS 14807 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13263.807
AT ITER 101 NEW BEST:: SOT 23706 SOS 14753 HAS SOPS 14753 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13263.753
AT ITER 112 NEW BEST:: SOT 23599 SOS 14665 HAS SOPS 14665 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.665
AT ITER 116 NEW BEST:: SOT 23594 SOS 14630 HAS SOPS 14630 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13157.63
AT ITER 117 NEW BEST:: SOT 23594 SOS 14624 HAS SOPS 14624 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13157.624
AT ITER 122 NEW BEST:: SOT 23589 SOS 14662 HAS SOPS 14662 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13147.662
AT ITER 124 NEW BEST:: SOT 23589 SOS 14660 HAS SOPS 14660 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.66
AT ITER 127 NEW BEST:: SOT 23589 SOS 14629 HAS SOPS 14629 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.629
AT ITER 143 NEW BEST:: SOT 23589 SOS 14621 HAS SOPS 14621 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.621
AT ITER 146 NEW BEST:: SOT 23474 SOS 14501 HAS SOPS 14501 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13072.501
AT ITER 158 NEW BEST:: SOT 23446 SOS 14522 HAS SOPS 14522 HAS SOUS 13053 HAS SOUPS 13053 WITH SCORE 13067.522
AT ITER 169 NEW BEST:: SOT 23391 SOS 14708 HAS SOPS 14708 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.708
AT ITER 173 NEW BEST:: SOT 23391 SOS 14673 HAS SOPS 14673 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.673
AT ITER 175 NEW BEST:: SOT 23359 SOS 14756 HAS SOPS 14756 HAS SOUS 13003 HAS SOUPS 13003 WITH SCORE 13017.756
AT ITER 181 NEW BEST:: SOT 23359 SOS 14670 HAS SOPS 14670 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12988.67
AT ITER 182 NEW BEST:: SOT 23359 SOS 14480 HAS SOPS 14480 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12953.48
AT ITER 193 NEW BEST:: SOT 23342 SOS 14501 HAS SOPS 14501 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.501
AT ITER 194 NEW BEST:: SOT 23272 SOS 14495 HAS SOPS 14495 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 12895.495
AT ITER 198 NEW BEST:: SOT 23201 SOS 14420 HAS SOPS 14420 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12846.42
AT ITER 203 NEW BEST:: SOT 22977 SOS 14239 HAS SOPS 14239 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12665.239
AT ITER 211 NEW BEST:: SOT 22982 SOS 14233 HAS SOPS 14233 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12658.233
AT ITER 217 NEW BEST:: SOT 22934 SOS 14185 HAS SOPS 14185 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12610.185
AT ITER 227 NEW BEST:: SOT 22934 SOS 14137 HAS SOPS 14137 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12610.137
AT ITER 233 NEW BEST:: SOT 22934 SOS 14136 HAS SOPS 14136 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12610.136
AT ITER 241 NEW BEST:: SOT 22934 SOS 14038 HAS SOPS 14038 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12610.038
AT ITER 243 NEW BEST:: SOT 22934 SOS 14001 HAS SOPS 14001 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12610.001
AT ITER 253 NEW BEST:: SOT 22934 SOS 13946 HAS SOPS 13946 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12583.946
AT ITER 265 NEW BEST:: SOT 22934 SOS 13680 HAS SOPS 13680 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12583.68
AT ITER 268 NEW BEST:: SOT 22936 SOS 13699 HAS SOPS 13699 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12572.699
AT ITER 271 NEW BEST:: SOT 22732 SOS 13495 HAS SOPS 13495 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12368.495
AT ITER 272 NEW BEST:: SOT 22732 SOS 13433 HAS SOPS 13433 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12360.433
AT ITER 273 NEW BEST:: SOT 22732 SOS 13413 HAS SOPS 13413 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12360.413
AT ITER 296 NEW BEST:: SOT 22732 SOS 13389 HAS SOPS 13389 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12360.389
AT ITER 300 NEW BEST:: SOT 22755 SOS 13342 HAS SOPS 13342 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12337.342
AT ITER 303 NEW BEST:: SOT 22741 SOS 13328 HAS SOPS 13328 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12323.328
AT ITER 305 NEW BEST:: SOT 22738 SOS 13325 HAS SOPS 13325 HAS SOUS 12307 HAS SOUPS 12307 WITH SCORE 12320.325
AT ITER 306 NEW BEST:: SOT 22742 SOS 13264 HAS SOPS 13264 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12284.264
AT ITER 311 NEW BEST:: SOT 22732 SOS 13254 HAS SOPS 13254 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12274.254
AT ITER 315 NEW BEST:: SOT 22735 SOS 13356 HAS SOPS 13356 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12268.356
AT ITER 318 NEW BEST:: SOT 22713 SOS 13343 HAS SOPS 13343 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12239.343
AT ITER 321 NEW BEST:: SOT 22713 SOS 13335 HAS SOPS 13335 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12239.335
AT ITER 332 NEW BEST:: SOT 22713 SOS 13306 HAS SOPS 13306 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12239.306
AT ITER 339 NEW BEST:: SOT 22715 SOS 13301 HAS SOPS 13301 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12230.301
AT ITER 359 NEW BEST:: SOT 22715 SOS 13370 HAS SOPS 13370 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12205.37
AT ITER 371 NEW BEST:: SOT 22703 SOS 13358 HAS SOPS 13358 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12193.358
AT ITER 392 NEW BEST:: SOT 22703 SOS 13344 HAS SOPS 13344 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12179.344
AT ITER 420 NEW BEST:: SOT 22703 SOS 13343 HAS SOPS 13343 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12179.343
AT ITER 437 NEW BEST:: SOT 22703 SOS 13247 HAS SOPS 13247 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12179.247
AT ITER 442 NEW BEST:: SOT 22686 SOS 13282 HAS SOPS 13282 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12176.282
AT ITER 455 NEW BEST:: SOT 22686 SOS 13279 HAS SOPS 13279 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12176.279
AT ITER 458 NEW BEST:: SOT 22758 SOS 13324 HAS SOPS 13324 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12137.324
AT ITER 459 NEW BEST:: SOT 22750 SOS 13316 HAS SOPS 13316 HAS SOUS 12116 HAS SOUPS 12116 WITH SCORE 12129.316
AT ITER 461 NEW BEST:: SOT 22736 SOS 13325 HAS SOPS 13325 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.325
AT ITER 468 NEW BEST:: SOT 22736 SOS 13270 HAS SOPS 13270 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.27
AT ITER 480 NEW BEST:: SOT 22736 SOS 13232 HAS SOPS 13232 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.232
AT ITER 484 NEW BEST:: SOT 22736 SOS 13227 HAS SOPS 13227 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.227
AT ITER 492 NEW BEST:: SOT 22736 SOS 13223 HAS SOPS 13223 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.223
AT ITER 496 NEW BEST:: SOT 22736 SOS 13217 HAS SOPS 13217 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.217
AT ITER 503 NEW BEST:: SOT 22730 SOS 13211 HAS SOPS 13211 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12089.211
AT ITER 504 NEW BEST:: SOT 22730 SOS 13212 HAS SOPS 13212 HAS SOUS 12075 HAS SOUPS 12075 WITH SCORE 12088.212
AT ITER 506 NEW BEST:: SOT 22730 SOS 13202 HAS SOPS 13202 HAS SOUS 12075 HAS SOUPS 12075 WITH SCORE 12088.202
AT ITER 510 NEW BEST:: SOT 22723 SOS 13195 HAS SOPS 13195 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12081.195
AT ITER 522 NEW BEST:: SOT 22723 SOS 13193 HAS SOPS 13193 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12053.193
AT ITER 527 NEW BEST:: SOT 22723 SOS 13191 HAS SOPS 13191 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12053.191
AT ITER 537 NEW BEST:: SOT 22723 SOS 13188 HAS SOPS 13188 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12053.188
AT ITER 538 NEW BEST:: SOT 22696 SOS 13487 HAS SOPS 13487 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.487
AT ITER 566 NEW BEST:: SOT 22644 SOS 13451 HAS SOPS 13451 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12017.451
AT ITER 572 NEW BEST:: SOT 22644 SOS 13434 HAS SOPS 13434 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12017.434
AT ITER 581 NEW BEST:: SOT 22644 SOS 13423 HAS SOPS 13423 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12017.423
AT ITER 584 NEW BEST:: SOT 22644 SOS 13413 HAS SOPS 13413 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12009.413
AT ITER 585 NEW BEST:: SOT 22644 SOS 13411 HAS SOPS 13411 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12009.411
AT ITER 608 NEW BEST:: SOT 22644 SOS 13318 HAS SOPS 13318 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12009.318
AT ITER 615 NEW BEST:: SOT 22644 SOS 13312 HAS SOPS 13312 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 11999.312
AT ITER 617 NEW BEST:: SOT 22641 SOS 13210 HAS SOPS 13210 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11979.21
AT ITER 624 NEW BEST:: SOT 22628 SOS 13197 HAS SOPS 13197 HAS SOUS 11953 HAS SOUPS 11953 WITH SCORE 11966.197
AT ITER 638 NEW BEST:: SOT 22599 SOS 13168 HAS SOPS 13168 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11958.168
AT ITER 642 NEW BEST:: SOT 22582 SOS 13154 HAS SOPS 13154 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11921.154
AT ITER 657 NEW BEST:: SOT 22579 SOS 13094 HAS SOPS 13094 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11913.094
AT ITER 663 NEW BEST:: SOT 22539 SOS 13057 HAS SOPS 13057 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11897.057
AT ITER 673 NEW BEST:: SOT 22543 SOS 13061 HAS SOPS 13061 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11890.061
AT ITER 681 NEW BEST:: SOT 22543 SOS 13034 HAS SOPS 13034 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11890.034
AT ITER 686 NEW BEST:: SOT 22543 SOS 13035 HAS SOPS 13035 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11877.035
AT ITER 689 NEW BEST:: SOT 22539 SOS 13031 HAS SOPS 13031 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11873.031
AT ITER 694 NEW BEST:: SOT 22539 SOS 13030 HAS SOPS 13030 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11873.03
AT ITER 696 NEW BEST:: SOT 22526 SOS 13015 HAS SOPS 13015 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.015
AT ITER 701 NEW BEST:: SOT 22484 SOS 12990 HAS SOPS 12990 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11832.99
AT ITER 704 NEW BEST:: SOT 22484 SOS 12977 HAS SOPS 12977 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11813.977
AT ITER 714 NEW BEST:: SOT 22472 SOS 12966 HAS SOPS 12966 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11812.966
AT ITER 743 NEW BEST:: SOT 22469 SOS 12973 HAS SOPS 12973 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11800.973
AT ITER 748 NEW BEST:: SOT 22469 SOS 12946 HAS SOPS 12946 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11800.946
AT ITER 750 NEW BEST:: SOT 22441 SOS 12941 HAS SOPS 12941 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11763.941
AT ITER 800 NEW BEST:: SOT 22441 SOS 12935 HAS SOPS 12935 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11757.935
AT ITER 845 NEW BEST:: SOT 22441 SOS 12933 HAS SOPS 12933 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11755.933
AT ITER 849 NEW BEST:: SOT 22410 SOS 12902 HAS SOPS 12902 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.902
AT ITER 861 NEW BEST:: SOT 22410 SOS 12898 HAS SOPS 12898 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.898
AT ITER 872 NEW BEST:: SOT 22410 SOS 12886 HAS SOPS 12886 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.886
AT ITER 895 NEW BEST:: SOT 22410 SOS 12858 HAS SOPS 12858 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.858
AT ITER 903 NEW BEST:: SOT 22404 SOS 12852 HAS SOPS 12852 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11726.852
AT ITER 907 NEW BEST:: SOT 22404 SOS 12850 HAS SOPS 12850 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11726.85
AT ITER 914 NEW BEST:: SOT 22404 SOS 12846 HAS SOPS 12846 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11726.846
AT ITER 921 NEW BEST:: SOT 22404 SOS 12795 HAS SOPS 12795 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11726.795
AT ITER 977 NEW BEST:: SOT 22403 SOS 12792 HAS SOPS 12792 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11725.792
AT ITER 978 NEW BEST:: SOT 22403 SOS 12773 HAS SOPS 12773 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11725.773
AT ITER 979 NEW BEST:: SOT 22357 SOS 12882 HAS SOPS 12882 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11699.882
AT ITER 997 NEW BEST:: SOT 22357 SOS 12882 HAS SOPS 12882 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11696.882
AT ITER 1047 NEW BEST:: SOT 22366 SOS 12891 HAS SOPS 12891 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11694.891
AT ITER 1051 NEW BEST:: SOT 22366 SOS 12865 HAS SOPS 12865 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11694.865
AT ITER 1064 NEW BEST:: SOT 22376 SOS 12892 HAS SOPS 12892 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11686.892
AT ITER 1066 NEW BEST:: SOT 22378 SOS 12892 HAS SOPS 12892 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11685.892
AT ITER 1067 NEW BEST:: SOT 22378 SOS 12862 HAS SOPS 12862 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11660.862
AT ITER 1085 NEW BEST:: SOT 22378 SOS 12826 HAS SOPS 12826 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11639.826
AT ITER 1109 NEW BEST:: SOT 22371 SOS 12819 HAS SOPS 12819 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11632.819
AT ITER 1113 NEW BEST:: SOT 22345 SOS 12769 HAS SOPS 12769 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11605.769
AT ITER 1124 NEW BEST:: SOT 22345 SOS 12764 HAS SOPS 12764 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11605.764
AT ITER 1139 NEW BEST:: SOT 22339 SOS 12761 HAS SOPS 12761 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11603.761
AT ITER 1154 NEW BEST:: SOT 22339 SOS 12747 HAS SOPS 12747 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11603.747
AT ITER 1168 NEW BEST:: SOT 22329 SOS 12718 HAS SOPS 12718 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11578.718
AT ITER 1173 NEW BEST:: SOT 22329 SOS 12715 HAS SOPS 12715 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11578.715
AT ITER 1198 NEW BEST:: SOT 22324 SOS 12819 HAS SOPS 12819 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.819
AT ITER 1201 NEW BEST:: SOT 22324 SOS 12814 HAS SOPS 12814 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.814
AT ITER 1222 NEW BEST:: SOT 22329 SOS 12867 HAS SOPS 12867 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11567.867
AT ITER 1236 NEW BEST:: SOT 22329 SOS 12839 HAS SOPS 12839 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.839
AT ITER 1254 NEW BEST:: SOT 22329 SOS 12832 HAS SOPS 12832 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.832
AT ITER 1274 NEW BEST:: SOT 22329 SOS 12781 HAS SOPS 12781 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.781
AT ITER 1275 NEW BEST:: SOT 22329 SOS 12756 HAS SOPS 12756 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11550.756
AT ITER 1290 NEW BEST:: SOT 22320 SOS 12747 HAS SOPS 12747 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11540.747
AT ITER 1295 NEW BEST:: SOT 22310 SOS 12688 HAS SOPS 12688 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11539.688
AT ITER 1310 NEW BEST:: SOT 22310 SOS 12457 HAS SOPS 12457 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11539.457
AT ITER 1319 NEW BEST:: SOT 22308 SOS 12308 HAS SOPS 12308 HAS SOUS 11523 HAS SOUPS 11523 WITH SCORE 11535.308
AT ITER 1328 NEW BEST:: SOT 22308 SOS 12303 HAS SOPS 12303 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11530.303
AT ITER 1334 NEW BEST:: SOT 22308 SOS 12256 HAS SOPS 12256 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.256
AT ITER 1346 NEW BEST:: SOT 22301 SOS 12250 HAS SOPS 12250 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11511.25
AT ITER 1351 NEW BEST:: SOT 22257 SOS 12239 HAS SOPS 12239 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11501.239
AT ITER 1364 NEW BEST:: SOT 22257 SOS 12241 HAS SOPS 12241 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11493.241
AT ITER 1366 NEW BEST:: SOT 22257 SOS 12193 HAS SOPS 12193 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11493.193
AT ITER 1383 NEW BEST:: SOT 22257 SOS 12193 HAS SOPS 12193 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11490.193
AT ITER 1419 NEW BEST:: SOT 22257 SOS 12180 HAS SOPS 12180 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11477.18
AT ITER 1428 NEW BEST:: SOT 22257 SOS 12183 HAS SOPS 12183 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11471.183
AT ITER 1434 NEW BEST:: SOT 22255 SOS 12181 HAS SOPS 12181 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11471.181
AT ITER 1438 NEW BEST:: SOT 22255 SOS 12187 HAS SOPS 12187 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11451.187
AT ITER 1443 NEW BEST:: SOT 22255 SOS 12164 HAS SOPS 12164 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11451.164
AT ITER 1446 NEW BEST:: SOT 22247 SOS 12156 HAS SOPS 12156 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11443.156
AT ITER 1460 NEW BEST:: SOT 22247 SOS 12156 HAS SOPS 12156 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.156
AT ITER 1466 NEW BEST:: SOT 22246 SOS 12158 HAS SOPS 12158 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11430.158
AT ITER 1468 NEW BEST:: SOT 22241 SOS 12175 HAS SOPS 12175 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11429.175
AT ITER 1474 NEW BEST:: SOT 22241 SOS 12159 HAS SOPS 12159 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11417.159
AT ITER 1479 NEW BEST:: SOT 22241 SOS 12149 HAS SOPS 12149 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11417.149
AT ITER 1502 NEW BEST:: SOT 22237 SOS 12239 HAS SOPS 12239 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11413.239
AT ITER 1506 NEW BEST:: SOT 22150 SOS 12271 HAS SOPS 12271 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11342.271
AT ITER 1511 NEW BEST:: SOT 22150 SOS 12245 HAS SOPS 12245 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11335.245
AT ITER 1540 NEW BEST:: SOT 22134 SOS 12229 HAS SOPS 12229 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11319.229
AT ITER 1544 NEW BEST:: SOT 22130 SOS 12225 HAS SOPS 12225 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11319.225
AT ITER 1549 NEW BEST:: SOT 22127 SOS 12222 HAS SOPS 12222 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11316.222
AT ITER 1590 NEW BEST:: SOT 22127 SOS 12235 HAS SOPS 12235 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11314.235
AT ITER 1592 NEW BEST:: SOT 22058 SOS 12490 HAS SOPS 12490 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11307.49
AT ITER 1610 NEW BEST:: SOT 21987 SOS 12527 HAS SOPS 12527 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11283.527
AT ITER 1622 NEW BEST:: SOT 21982 SOS 12522 HAS SOPS 12522 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11278.522
AT ITER 1685 NEW BEST:: SOT 21982 SOS 12486 HAS SOPS 12486 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11278.486
AT ITER 1689 NEW BEST:: SOT 21982 SOS 12475 HAS SOPS 12475 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11278.475
AT ITER 1721 NEW BEST:: SOT 21982 SOS 12195 HAS SOPS 12195 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.195
AT ITER 1749 NEW BEST:: SOT 21973 SOS 12221 HAS SOPS 12221 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.221
AT ITER 1766 NEW BEST:: SOT 21973 SOS 12213 HAS SOPS 12213 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.213
AT ITER 1799 NEW BEST:: SOT 21975 SOS 12285 HAS SOPS 12285 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11230.285
AT ITER 1808 NEW BEST:: SOT 21970 SOS 12280 HAS SOPS 12280 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11226.28
AT ITER 1827 NEW BEST:: SOT 21930 SOS 12240 HAS SOPS 12240 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11190.24
AT ITER 1842 NEW BEST:: SOT 21930 SOS 12238 HAS SOPS 12238 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11190.238
AT ITER 1850 NEW BEST:: SOT 21915 SOS 12454 HAS SOPS 12454 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11175.454
AT ITER 1863 NEW BEST:: SOT 21907 SOS 12446 HAS SOPS 12446 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.446
AT ITER 1872 NEW BEST:: SOT 21907 SOS 12472 HAS SOPS 12472 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11162.472
AT ITER 1873 NEW BEST:: SOT 21907 SOS 12436 HAS SOPS 12436 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11162.436
AT ITER 1914 NEW BEST:: SOT 21907 SOS 12429 HAS SOPS 12429 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11162.429
AT ITER 1940 NEW BEST:: SOT 21876 SOS 12398 HAS SOPS 12398 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.398
AT ITER 1980 NEW BEST:: SOT 21876 SOS 12368 HAS SOPS 12368 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.368
AT ITER 2008 NEW BEST:: SOT 21864 SOS 12334 HAS SOPS 12334 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11117.334
AT ITER 2021 NEW BEST:: SOT 21849 SOS 12310 HAS SOPS 12310 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11111.31
AT ITER 2032 NEW BEST:: SOT 21849 SOS 12309 HAS SOPS 12309 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11111.309
AT ITER 2076 NEW BEST:: SOT 21848 SOS 12350 HAS SOPS 12350 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.35
AT ITER 2087 NEW BEST:: SOT 21848 SOS 12346 HAS SOPS 12346 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.346
AT ITER 2143 NEW BEST:: SOT 21848 SOS 12346 HAS SOPS 12346 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11107.346
AT ITER 2146 NEW BEST:: SOT 21849 SOS 12366 HAS SOPS 12366 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11101.366
AT ITER 2164 NEW BEST:: SOT 21850 SOS 12363 HAS SOPS 12363 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11099.363
AT ITER 2168 NEW BEST:: SOT 21830 SOS 12856 HAS SOPS 12856 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.856
AT ITER 2201 NEW BEST:: SOT 21830 SOS 12843 HAS SOPS 12843 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.843
AT ITER 2211 NEW BEST:: SOT 21830 SOS 12814 HAS SOPS 12814 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.814
AT ITER 2222 NEW BEST:: SOT 21830 SOS 12770 HAS SOPS 12770 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.77
AT ITER 2245 NEW BEST:: SOT 21829 SOS 12769 HAS SOPS 12769 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11096.769
AT ITER 2252 NEW BEST:: SOT 21829 SOS 12793 HAS SOPS 12793 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11092.793
AT ITER 2260 NEW BEST:: SOT 21829 SOS 12782 HAS SOPS 12782 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11092.782
AT ITER 2284 NEW BEST:: SOT 21823 SOS 12812 HAS SOPS 12812 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11090.812
AT ITER 2304 NEW BEST:: SOT 21823 SOS 12798 HAS SOPS 12798 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11090.798
AT ITER 2333 NEW BEST:: SOT 21821 SOS 12797 HAS SOPS 12797 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11090.797
AT ITER 2351 NEW BEST:: SOT 21821 SOS 12788 HAS SOPS 12788 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11090.788
AT ITER 2362 NEW BEST:: SOT 21821 SOS 12791 HAS SOPS 12791 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11083.791
AT ITER 2364 NEW BEST:: SOT 21816 SOS 12786 HAS SOPS 12786 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11078.786
AT ITER 2365 NEW BEST:: SOT 21816 SOS 12777 HAS SOPS 12777 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11078.777
AT ITER 2381 NEW BEST:: SOT 21831 SOS 12782 HAS SOPS 12782 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11068.782
AT ITER 2389 NEW BEST:: SOT 21831 SOS 12689 HAS SOPS 12689 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11068.689
AT ITER 2392 NEW BEST:: SOT 21831 SOS 12688 HAS SOPS 12688 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11068.688
AT ITER 2411 NEW BEST:: SOT 21831 SOS 12681 HAS SOPS 12681 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11061.681
AT ITER 2418 NEW BEST:: SOT 21831 SOS 12678 HAS SOPS 12678 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11055.678
AT ITER 2432 NEW BEST:: SOT 21764 SOS 12619 HAS SOPS 12619 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11018.619
AT ITER 2444 NEW BEST:: SOT 21755 SOS 12610 HAS SOPS 12610 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11009.61
AT ITER 2467 NEW BEST:: SOT 21754 SOS 12609 HAS SOPS 12609 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11008.609
AT ITER 2471 NEW BEST:: SOT 21754 SOS 12582 HAS SOPS 12582 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11007.582
AT ITER 2480 NEW BEST:: SOT 21754 SOS 12577 HAS SOPS 12577 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11007.577
AT ITER 2481 NEW BEST:: SOT 21754 SOS 12369 HAS SOPS 12369 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11007.369
AT ITER 2491 NEW BEST:: SOT 21754 SOS 12367 HAS SOPS 12367 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11005.367
AT ITER 2496 NEW BEST:: SOT 21732 SOS 12475 HAS SOPS 12475 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10983.475
AT ITER 2497 NEW BEST:: SOT 21732 SOS 12470 HAS SOPS 12470 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10978.47
AT ITER 2498 NEW BEST:: SOT 21732 SOS 12507 HAS SOPS 12507 HAS SOUS 10965 HAS SOUPS 10965 WITH SCORE 10977.507
AT ITER 2507 NEW BEST:: SOT 21732 SOS 12529 HAS SOPS 12529 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10969.529
AT ITER 2516 NEW BEST:: SOT 21732 SOS 12529 HAS SOPS 12529 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.529
AT ITER 2540 NEW BEST:: SOT 21732 SOS 12523 HAS SOPS 12523 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.523
AT ITER 2581 NEW BEST:: SOT 21732 SOS 12515 HAS SOPS 12515 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.515
AT ITER 2603 NEW BEST:: SOT 21732 SOS 12493 HAS SOPS 12493 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.493
AT ITER 2622 NEW BEST:: SOT 21713 SOS 12517 HAS SOPS 12517 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10946.517
AT ITER 2649 NEW BEST:: SOT 21713 SOS 12513 HAS SOPS 12513 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10942.513
AT ITER 2662 NEW BEST:: SOT 21718 SOS 12503 HAS SOPS 12503 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.503
AT ITER 2674 NEW BEST:: SOT 21718 SOS 12502 HAS SOPS 12502 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.502
AT ITER 2689 NEW BEST:: SOT 21718 SOS 12481 HAS SOPS 12481 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.481
AT ITER 2696 NEW BEST:: SOT 21718 SOS 12446 HAS SOPS 12446 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.446
AT ITER 2704 NEW BEST:: SOT 21718 SOS 12444 HAS SOPS 12444 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.444
AT ITER 2712 NEW BEST:: SOT 21718 SOS 12442 HAS SOPS 12442 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.442
AT ITER 2731 NEW BEST:: SOT 21718 SOS 12430 HAS SOPS 12430 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.43
AT ITER 2735 NEW BEST:: SOT 21656 SOS 12384 HAS SOPS 12384 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10903.384
AT ITER 2741 NEW BEST:: SOT 21653 SOS 12381 HAS SOPS 12381 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10900.381
AT ITER 2745 NEW BEST:: SOT 21617 SOS 12479 HAS SOPS 12479 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10874.479
AT ITER 2758 NEW BEST:: SOT 21559 SOS 12423 HAS SOPS 12423 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10871.423
AT ITER 2762 NEW BEST:: SOT 21559 SOS 12419 HAS SOPS 12419 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10871.419
AT ITER 2766 NEW BEST:: SOT 21539 SOS 12407 HAS SOPS 12407 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.407
AT ITER 2768 NEW BEST:: SOT 21539 SOS 12418 HAS SOPS 12418 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10866.418
AT ITER 2788 NEW BEST:: SOT 21539 SOS 12412 HAS SOPS 12412 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10866.412
AT ITER 2791 NEW BEST:: SOT 21442 SOS 12461 HAS SOPS 12461 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10853.461
AT ITER 2798 NEW BEST:: SOT 21435 SOS 12471 HAS SOPS 12471 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10818.471
AT ITER 2802 NEW BEST:: SOT 21435 SOS 12452 HAS SOPS 12452 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10815.452
AT ITER 2812 NEW BEST:: SOT 21435 SOS 12449 HAS SOPS 12449 HAS SOUS 10800 HAS SOUPS 10800 WITH SCORE 10812.449
AT ITER 2813 NEW BEST:: SOT 21427 SOS 12441 HAS SOPS 12441 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10804.441
AT ITER 2847 NEW BEST:: SOT 21427 SOS 12392 HAS SOPS 12392 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10804.392
AT ITER 2851 NEW BEST:: SOT 21427 SOS 12384 HAS SOPS 12384 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10804.384
AT ITER 2877 NEW BEST:: SOT 21410 SOS 12552 HAS SOPS 12552 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10802.552
AT ITER 2888 NEW BEST:: SOT 21410 SOS 12548 HAS SOPS 12548 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10790.548
AT ITER 2898 NEW BEST:: SOT 21410 SOS 12506 HAS SOPS 12506 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10772.506
AT ITER 2975 NEW BEST:: SOT 21412 SOS 12496 HAS SOPS 12496 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10770.496
AT ITER 2993 NEW BEST:: SOT 21412 SOS 12405 HAS SOPS 12405 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10770.405
AT ITER 3022 NEW BEST:: SOT 21404 SOS 12384 HAS SOPS 12384 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.384
AT ITER 3033 NEW BEST:: SOT 21404 SOS 12380 HAS SOPS 12380 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.38
AT ITER 3043 NEW BEST:: SOT 21404 SOS 12375 HAS SOPS 12375 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.375
AT ITER 3049 NEW BEST:: SOT 21399 SOS 12413 HAS SOPS 12413 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10736.413
AT ITER 3063 NEW BEST:: SOT 21396 SOS 12442 HAS SOPS 12442 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10726.442
AT ITER 3071 NEW BEST:: SOT 21370 SOS 12420 HAS SOPS 12420 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10712.42
AT ITER 3077 NEW BEST:: SOT 21356 SOS 12406 HAS SOPS 12406 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10698.406
AT ITER 3086 NEW BEST:: SOT 21356 SOS 12386 HAS SOPS 12386 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10689.386
AT ITER 3090 NEW BEST:: SOT 21356 SOS 12364 HAS SOPS 12364 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10684.364
AT ITER 3149 NEW BEST:: SOT 21361 SOS 12363 HAS SOPS 12363 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10682.363
AT ITER 3151 NEW BEST:: SOT 21355 SOS 12365 HAS SOPS 12365 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.365
AT ITER 3184 NEW BEST:: SOT 21355 SOS 12299 HAS SOPS 12299 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10676.299
AT ITER 3193 NEW BEST:: SOT 21355 SOS 12299 HAS SOPS 12299 HAS SOUS 10659 HAS SOUPS 10659 WITH SCORE 10671.299
AT ITER 3199 NEW BEST:: SOT 21355 SOS 12283 HAS SOPS 12283 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10655.283
AT ITER 3201 NEW BEST:: SOT 21340 SOS 12268 HAS SOPS 12268 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10644.268
AT ITER 3229 NEW BEST:: SOT 21340 SOS 12293 HAS SOPS 12293 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10638.293
AT ITER 3244 NEW BEST:: SOT 21339 SOS 12292 HAS SOPS 12292 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10637.292
AT ITER 3344 NEW BEST:: SOT 21337 SOS 12290 HAS SOPS 12290 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10635.29
AT ITER 3347 NEW BEST:: SOT 21315 SOS 12268 HAS SOPS 12268 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10613.268
AT ITER 3364 NEW BEST:: SOT 21315 SOS 12261 HAS SOPS 12261 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10613.261
AT ITER 3382 NEW BEST:: SOT 21315 SOS 12255 HAS SOPS 12255 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10606.255
AT ITER 3392 NEW BEST:: SOT 21311 SOS 12275 HAS SOPS 12275 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10602.275
AT ITER 3395 NEW BEST:: SOT 21311 SOS 12269 HAS SOPS 12269 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10599.269
AT ITER 3427 NEW BEST:: SOT 21311 SOS 12289 HAS SOPS 12289 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10594.289
AT ITER 3450 NEW BEST:: SOT 21311 SOS 12261 HAS SOPS 12261 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10594.261
AT ITER 3452 NEW BEST:: SOT 21177 SOS 12362 HAS SOPS 12362 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10523.362
AT ITER 3453 NEW BEST:: SOT 21177 SOS 12339 HAS SOPS 12339 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10523.339
AT ITER 3467 NEW BEST:: SOT 21175 SOS 12338 HAS SOPS 12338 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10523.338
AT ITER 3514 NEW BEST:: SOT 21166 SOS 12473 HAS SOPS 12473 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10514.473
AT ITER 3516 NEW BEST:: SOT 21094 SOS 12531 HAS SOPS 12531 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10510.531
AT ITER 3538 NEW BEST:: SOT 21088 SOS 12525 HAS SOPS 12525 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10504.525
AT ITER 3588 NEW BEST:: SOT 21088 SOS 12507 HAS SOPS 12507 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10496.507
AT ITER 3598 NEW BEST:: SOT 21087 SOS 12506 HAS SOPS 12506 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10495.506
AT ITER 3605 NEW BEST:: SOT 21087 SOS 12504 HAS SOPS 12504 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10495.504
AT ITER 3643 NEW BEST:: SOT 21083 SOS 12508 HAS SOPS 12508 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10491.508
AT ITER 3653 NEW BEST:: SOT 21084 SOS 12518 HAS SOPS 12518 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10485.518
AT ITER 3663 NEW BEST:: SOT 21084 SOS 12520 HAS SOPS 12520 HAS SOUS 10467 HAS SOUPS 10467 WITH SCORE 10479.52
AT ITER 3671 NEW BEST:: SOT 21073 SOS 12494 HAS SOPS 12494 HAS SOUS 10466 HAS SOUPS 10466 WITH SCORE 10478.494
AT ITER 3672 NEW BEST:: SOT 21082 SOS 12458 HAS SOPS 12458 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10476.458
AT ITER 3692 NEW BEST:: SOT 21082 SOS 12457 HAS SOPS 12457 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10476.457
AT ITER 3708 NEW BEST:: SOT 21080 SOS 12439 HAS SOPS 12439 HAS SOUS 10452 HAS SOUPS 10452 WITH SCORE 10464.439
AT ITER 3722 NEW BEST:: SOT 21075 SOS 12430 HAS SOPS 12430 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10462.43
AT ITER 3737 NEW BEST:: SOT 21075 SOS 12422 HAS SOPS 12422 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10450.422
AT ITER 3762 NEW BEST:: SOT 21075 SOS 12412 HAS SOPS 12412 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10440.412
AT ITER 3788 NEW BEST:: SOT 21044 SOS 12405 HAS SOPS 12405 HAS SOUS 10426 HAS SOUPS 10426 WITH SCORE 10438.405
AT ITER 3829 NEW BEST:: SOT 21025 SOS 12384 HAS SOPS 12384 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10415.384
AT ITER 3854 NEW BEST:: SOT 21025 SOS 12386 HAS SOPS 12386 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10410.386
AT ITER 3868 NEW BEST:: SOT 21025 SOS 12383 HAS SOPS 12383 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10409.383
AT ITER 3872 NEW BEST:: SOT 21024 SOS 12382 HAS SOPS 12382 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10408.382
AT ITER 3873 NEW BEST:: SOT 21024 SOS 12388 HAS SOPS 12388 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10407.388
AT ITER 3888 NEW BEST:: SOT 21023 SOS 12387 HAS SOPS 12387 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10406.387
AT ITER 3910 NEW BEST:: SOT 21023 SOS 12382 HAS SOPS 12382 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10406.382
AT ITER 3923 NEW BEST:: SOT 21021 SOS 12633 HAS SOPS 12633 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10404.633
AT ITER 3999 NEW BEST:: SOT 21009 SOS 12624 HAS SOPS 12624 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10403.624
AT ITER 4008 NEW BEST:: SOT 21009 SOS 12616 HAS SOPS 12616 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10403.616
AT ITER 4016 NEW BEST:: SOT 21008 SOS 12615 HAS SOPS 12615 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10402.615
AT ITER 4027 NEW BEST:: SOT 21008 SOS 12613 HAS SOPS 12613 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10401.613
AT ITER 4061 NEW BEST:: SOT 21006 SOS 12611 HAS SOPS 12611 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.611
AT ITER 4067 NEW BEST:: SOT 21006 SOS 12555 HAS SOPS 12555 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.555
AT ITER 4084 NEW BEST:: SOT 21006 SOS 12554 HAS SOPS 12554 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.554
AT ITER 4090 NEW BEST:: SOT 21006 SOS 12545 HAS SOPS 12545 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.545
AT ITER 4098 NEW BEST:: SOT 21000 SOS 12558 HAS SOPS 12558 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10396.558
AT ITER 4121 NEW BEST:: SOT 20996 SOS 12554 HAS SOPS 12554 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10392.554
AT ITER 4123 NEW BEST:: SOT 20993 SOS 12551 HAS SOPS 12551 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10389.551
AT ITER 4144 NEW BEST:: SOT 20993 SOS 12455 HAS SOPS 12455 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10388.455
AT ITER 4182 NEW BEST:: SOT 21006 SOS 12461 HAS SOPS 12461 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10379.461
AT ITER 4185 NEW BEST:: SOT 21006 SOS 12423 HAS SOPS 12423 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10379.423
AT ITER 4201 NEW BEST:: SOT 21029 SOS 12435 HAS SOPS 12435 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10377.435
AT ITER 4234 NEW BEST:: SOT 21029 SOS 12418 HAS SOPS 12418 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10377.418
AT ITER 4241 NEW BEST:: SOT 21029 SOS 12397 HAS SOPS 12397 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10373.397
AT ITER 4281 NEW BEST:: SOT 21029 SOS 12395 HAS SOPS 12395 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10373.395
AT ITER 4295 NEW BEST:: SOT 21029 SOS 12402 HAS SOPS 12402 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10362.402
AT ITER 4300 NEW BEST:: SOT 21029 SOS 12429 HAS SOPS 12429 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10361.429
AT ITER 4307 NEW BEST:: SOT 21001 SOS 12401 HAS SOPS 12401 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10335.401
AT ITER 4320 NEW BEST:: SOT 21001 SOS 12390 HAS SOPS 12390 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10335.39
AT ITER 4363 NEW BEST:: SOT 21001 SOS 12268 HAS SOPS 12268 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10323.268
AT ITER 4380 NEW BEST:: SOT 20994 SOS 12275 HAS SOPS 12275 HAS SOUS 10304 HAS SOUPS 10304 WITH SCORE 10316.275
AT ITER 4388 NEW BEST:: SOT 20994 SOS 12255 HAS SOPS 12255 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10299.255
AT ITER 4429 NEW BEST:: SOT 20994 SOS 12254 HAS SOPS 12254 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10298.254
AT ITER 4445 NEW BEST:: SOT 20997 SOS 12257 HAS SOPS 12257 HAS SOUS 10283 HAS SOUPS 10283 WITH SCORE 10295.257
AT ITER 4450 NEW BEST:: SOT 20990 SOS 12250 HAS SOPS 12250 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10288.25
AT ITER 4471 NEW BEST:: SOT 20990 SOS 12238 HAS SOPS 12238 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10288.238
AT ITER 4488 NEW BEST:: SOT 20979 SOS 12281 HAS SOPS 12281 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10277.281
AT ITER 4499 NEW BEST:: SOT 20971 SOS 12273 HAS SOPS 12273 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10277.273
AT ITER 4525 NEW BEST:: SOT 20968 SOS 12270 HAS SOPS 12270 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10274.27
AT ITER 4557 NEW BEST:: SOT 20961 SOS 12287 HAS SOPS 12287 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10272.287
AT ITER 4599 NEW BEST:: SOT 20961 SOS 12266 HAS SOPS 12266 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10272.266
AT ITER 4636 NEW BEST:: SOT 20874 SOS 12173 HAS SOPS 12173 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10267.173
AT ITER 4645 NEW BEST:: SOT 20874 SOS 12169 HAS SOPS 12169 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10267.169
AT ITER 4679 NEW BEST:: SOT 20874 SOS 12166 HAS SOPS 12166 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10267.166
AT ITER 4681 NEW BEST:: SOT 20873 SOS 12193 HAS SOPS 12193 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10251.193
AT ITER 4688 NEW BEST:: SOT 20869 SOS 12196 HAS SOPS 12196 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10247.196
AT ITER 4694 NEW BEST:: SOT 20863 SOS 12190 HAS SOPS 12190 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10241.19
AT ITER 4722 NEW BEST:: SOT 20863 SOS 12183 HAS SOPS 12183 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10241.183
AT ITER 4727 NEW BEST:: SOT 20863 SOS 12177 HAS SOPS 12177 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10241.177
AT ITER 4732 NEW BEST:: SOT 20863 SOS 12179 HAS SOPS 12179 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10233.179
AT ITER 4746 NEW BEST:: SOT 20865 SOS 12175 HAS SOPS 12175 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10231.175
AT ITER 4813 NEW BEST:: SOT 20865 SOS 12180 HAS SOPS 12180 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.18
AT ITER 4843 NEW BEST:: SOT 20831 SOS 12159 HAS SOPS 12159 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10226.159
AT ITER 4897 NEW BEST:: SOT 20835 SOS 12160 HAS SOPS 12160 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10225.16
AT ITER 4901 NEW BEST:: SOT 20835 SOS 12139 HAS SOPS 12139 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10225.139
AT ITER 4904 NEW BEST:: SOT 20835 SOS 12135 HAS SOPS 12135 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10223.135
AT ITER 4923 NEW BEST:: SOT 20834 SOS 12134 HAS SOPS 12134 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10222.134
AT ITER 4926 NEW BEST:: SOT 20834 SOS 12130 HAS SOPS 12130 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10218.13
AT ITER 4945 NEW BEST:: SOT 20831 SOS 12127 HAS SOPS 12127 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10215.127
AT ITER 4971 NEW BEST:: SOT 20803 SOS 12124 HAS SOPS 12124 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10208.124
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-12-CTLFireability-00 (AX( (AF( (EX( ((potential((tk(P164)>=1) & (tk(P173)>=1) & (tk(P201)>=1) & (tk(P145)>=1))))))))))
PROPERTY: NQueens-PT-12-CTLFireability-01 ( ( (AF( ( (! ((potential((tk(P159)>=1) & (tk(P188)>=1) & (tk(P206)>=1) & (tk(P155)>=1))))) & ( ((potential((tk(P158)>=1) & (tk(P181)>=1) & (tk(P197)>=1) & (tk(P147)>=1)))) & ((potential((tk(P157)>=1) & (tk(P190)>=1) & (tk(P204)>=1) & (tk(P155)>=1)))) ) ))) & ((potential((tk(P159)>=1) & (tk(P182)>=1) & (tk(P200)>=1) & (tk(P149)>=1)))) ) | (AG( ( (! ((potential((tk(P157)>=1) & (tk(P181)>=1) & (tk(P195)>=1) & (tk(P146)>=1))))) | (! ( ((potential((tk(P160)>=1) & (tk(P188)>=1) & (tk(P208)>=1) & (tk(P156)>=1)))) | ((potential((tk(P166)>=1) & (tk(P173)>=1) & (tk(P205)>=1) & (tk(P147)>=1)))) )) ))) )
PROPERTY: NQueens-PT-12-CTLFireability-02 (EX( (EG( ((potential((tk(P159)>=1) & (tk(P178)>=1) & (tk(P196)>=1) & (tk(P145)>=1))))))))
PROPERTY: NQueens-PT-12-CTLFireability-03 ( (EG( ((potential((tk(P168)>=1) & (tk(P175)>=1) & (tk(P211)>=1) & (tk(P151)>=1)))))) & ( (EX( ((potential((tk(P166)>=1) & (tk(P171)>=1) & (tk(P203)>=1) & (tk(P145)>=1)))))) | ((potential((tk(P161)>=1) & (tk(P177)>=1) & (tk(P199)>=1) & (tk(P146)>=1)))) ) )
PROPERTY: NQueens-PT-12-CTLFireability-04 ( ((potential((tk(P166)>=1) & (tk(P171)>=1) & (tk(P203)>=1) & (tk(P145)>=1)))) & ( (AF( (EG( ((potential((tk(P159)>=1) & (tk(P180)>=1) & (tk(P198)>=1) & (tk(P147)>=1)))))))) & ( (AF( ( ((potential((tk(P157)>=1) & (tk(P189)>=1) & (tk(P203)>=1) & (tk(P154)>=1)))) & ((potential((tk(P168)>=1) & (tk(P180)>=1) & (tk(P216)>=1) & (tk(P156)>=1)))) ))) & (EF( ( ((potential((tk(P159)>=1) & (tk(P183)>=1) & (tk(P201)>=1) & (tk(P150)>=1)))) & ((potential((tk(P167)>=1) & (tk(P178)>=1) & (tk(P212)>=1) & (tk(P153)>=1)))) ))) ) ) )
PROPERTY: NQueens-PT-12-CTLFireability-05 (EG( ( (EF( (! ((potential((tk(P168)>=1) & (tk(P180)>=1) & (tk(P216)>=1) & (tk(P156)>=1))))))) & (EX( (! ((potential((tk(P158)>=1) & (tk(P183)>=1) & (tk(P199)>=1) & (tk(P149)>=1))))))) )))
PROPERTY: NQueens-PT-12-CTLFireability-06 (! ( (EG( ( ( ((potential((tk(P165)>=1) & (tk(P180)>=1) & (tk(P210)>=1) & (tk(P153)>=1)))) & ((potential((tk(P168)>=1) & (tk(P169)>=1) & (tk(P205)>=1) & (tk(P145)>=1)))) ) & ((potential((tk(P168)>=1) & (tk(P175)>=1) & (tk(P211)>=1) & (tk(P151)>=1)))) ))) & ( (EG( ( ((potential((tk(P160)>=1) & (tk(P186)>=1) & (tk(P206)>=1) & (tk(P154)>=1)))) & ((potential((tk(P160)>=1) & (tk(P179)>=1) & (tk(P199)>=1) & (tk(P147)>=1)))) ))) | ( (AX( ((potential((tk(P158)>=1) & (tk(P190)>=1) & (tk(P206)>=1) & (tk(P156)>=1)))))) | (AX( ((potential((tk(P160)>=1) & (tk(P188)>=1) & (tk(P208)>=1) & (tk(P156)>=1)))))) ) ) ))
PROPERTY: NQueens-PT-12-CTLFireability-07 ( ((potential((tk(P161)>=1) & (tk(P187)>=1) & (tk(P209)>=1) & (tk(P156)>=1)))) & (EF( (AG( ( ((potential((tk(P165)>=1) & (tk(P175)>=1) & (tk(P205)>=1) & (tk(P148)>=1)))) | ((potential((tk(P168)>=1) & (tk(P170)>=1) & (tk(P206)>=1) & (tk(P146)>=1)))) ))))) )
PROPERTY: NQueens-PT-12-CTLFireability-08 ( (! (AF( (AG( ((potential((tk(P159)>=1) & (tk(P184)>=1) & (tk(P202)>=1) & (tk(P151)>=1))))))))) & ((potential((tk(P159)>=1) & (tk(P187)>=1) & (tk(P205)>=1) & (tk(P154)>=1)))) )
PROPERTY: NQueens-PT-12-CTLFireability-09 (AF( ( ( (EX( ((potential((tk(P168)>=1) & (tk(P172)>=1) & (tk(P208)>=1) & (tk(P148)>=1)))))) & (EX( ((potential((tk(P168)>=1) & (tk(P172)>=1) & (tk(P208)>=1) & (tk(P148)>=1)))))) ) & ( ((potential((tk(P157)>=1) & (tk(P188)>=1) & (tk(P202)>=1) & (tk(P153)>=1)))) & (EG( ((potential((tk(P165)>=1) & (tk(P178)>=1) & (tk(P208)>=1) & (tk(P151)>=1)))))) ) )))
PROPERTY: NQueens-PT-12-CTLFireability-10 (EF( (EX( (AX( ((potential((tk(P161)>=1) & (tk(P183)>=1) & (tk(P205)>=1) & (tk(P152)>=1))))))))))
PROPERTY: NQueens-PT-12-CTLFireability-11 (AF( (AG( ( ((potential((tk(P160)>=1) & (tk(P178)>=1) & (tk(P198)>=1) & (tk(P146)>=1)))) | ( ((potential((tk(P157)>=1) & (tk(P183)>=1) & (tk(P197)>=1) & (tk(P148)>=1)))) & ((potential((tk(P162)>=1) & (tk(P182)>=1) & (tk(P206)>=1) & (tk(P152)>=1)))) ) )))))
PROPERTY: NQueens-PT-12-CTLFireability-12 (EG( ( (EF( ((potential((tk(P159)>=1) & (tk(P188)>=1) & (tk(P206)>=1) & (tk(P155)>=1)))))) & ((potential((tk(P157)>=1) & (tk(P186)>=1) & (tk(P200)>=1) & (tk(P151)>=1)))) )))
PROPERTY: NQueens-PT-12-CTLFireability-13 (EF( ( (AG( (! ((potential((tk(P164)>=1) & (tk(P184)>=1) & (tk(P212)>=1) & (tk(P156)>=1))))))) & (EF( ( ((potential((tk(P164)>=1) & (tk(P179)>=1) & (tk(P207)>=1) & (tk(P151)>=1)))) | ((potential((tk(P159)>=1) & (tk(P182)>=1) & (tk(P200)>=1) & (tk(P149)>=1)))) ))) )))
PROPERTY: NQueens-PT-12-CTLFireability-14 ( (! ( (AU( ((potential((tk(P157)>=1) & (tk(P191)>=1) & (tk(P205)>=1) & (tk(P156)>=1)))) , ((potential((tk(P160)>=1) & (tk(P188)>=1) & (tk(P208)>=1) & (tk(P156)>=1)))) )) & (AF( (! ((potential((tk(P162)>=1) & (tk(P183)>=1) & (tk(P207)>=1) & (tk(P153)>=1))))))) )) | ( (! ((potential((tk(P165)>=1) & (tk(P177)>=1) & (tk(P207)>=1) & (tk(P150)>=1))))) & ( (EF( ((potential((tk(P165)>=1) & (tk(P180)>=1) & (tk(P210)>=1) & (tk(P153)>=1)))))) & (! ( ( ((potential((tk(P160)>=1) & (tk(P181)>=1) & (tk(P201)>=1) & (tk(P149)>=1)))) & ((potential((tk(P162)>=1) & (tk(P186)>=1) & (tk(P210)>=1) & (tk(P156)>=1)))) ) | (! ((potential((tk(P164)>=1) & (tk(P178)>=1) & (tk(P206)>=1) & (tk(P150)>=1))))) )) ) ) )
PROPERTY: NQueens-PT-12-CTLFireability-15 (AU( ( ((potential((tk(P158)>=1) & (tk(P184)>=1) & (tk(P200)>=1) & (tk(P150)>=1)))) & (EG( ((potential((tk(P167)>=1) & (tk(P175)>=1) & (tk(P209)>=1) & (tk(P150)>=1)))))) ) , (EG( ( ((potential((tk(P159)>=1) & (tk(P186)>=1) & (tk(P204)>=1) & (tk(P153)>=1)))) & ((potential((tk(P163)>=1) & (tk(P185)>=1) & (tk(P211)>=1) & (tk(P156)>=1)))) ))) ))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NQueens-PT-12"
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 NQueens-PT-12, 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 r108-csrt-158961250100140"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;