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-158961250100148.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-15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100148
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.8K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 02:51 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 193K 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-15-CTLFireability-00
FORMULA_NAME NQueens-PT-15-CTLFireability-01
FORMULA_NAME NQueens-PT-15-CTLFireability-02
FORMULA_NAME NQueens-PT-15-CTLFireability-03
FORMULA_NAME NQueens-PT-15-CTLFireability-04
FORMULA_NAME NQueens-PT-15-CTLFireability-05
FORMULA_NAME NQueens-PT-15-CTLFireability-06
FORMULA_NAME NQueens-PT-15-CTLFireability-07
FORMULA_NAME NQueens-PT-15-CTLFireability-08
FORMULA_NAME NQueens-PT-15-CTLFireability-09
FORMULA_NAME NQueens-PT-15-CTLFireability-10
FORMULA_NAME NQueens-PT-15-CTLFireability-11
FORMULA_NAME NQueens-PT-15-CTLFireability-12
FORMULA_NAME NQueens-PT-15-CTLFireability-13
FORMULA_NAME NQueens-PT-15-CTLFireability-14
FORMULA_NAME NQueens-PT-15-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589637828515

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 15
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: 315 places, 225 transitions, 1125 arcs.
AT ITER 0 NEW BEST:: SOT 56768 SOS 36218 HAS SOPS 36218 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.218
AT ITER 3 NEW BEST:: SOT 56768 SOS 36182 HAS SOPS 36182 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.182
AT ITER 4 NEW BEST:: SOT 56745 SOS 36825 HAS SOPS 36825 HAS SOUS 31302 HAS SOUPS 31302 WITH SCORE 31338.825
AT ITER 5 NEW BEST:: SOT 56749 SOS 36815 HAS SOPS 36815 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31328.815
AT ITER 13 NEW BEST:: SOT 56749 SOS 36795 HAS SOPS 36795 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31328.795
AT ITER 20 NEW BEST:: SOT 56697 SOS 36918 HAS SOPS 36918 HAS SOUS 31268 HAS SOUPS 31268 WITH SCORE 31304.918
AT ITER 24 NEW BEST:: SOT 56697 SOS 36873 HAS SOPS 36873 HAS SOUS 31268 HAS SOUPS 31268 WITH SCORE 31304.873
AT ITER 29 NEW BEST:: SOT 56697 SOS 36720 HAS SOPS 36720 HAS SOUS 31268 HAS SOUPS 31268 WITH SCORE 31304.72
AT ITER 31 NEW BEST:: SOT 56521 SOS 36587 HAS SOPS 36587 HAS SOUS 31099 HAS SOUPS 31099 WITH SCORE 31135.587
AT ITER 32 NEW BEST:: SOT 56523 SOS 36537 HAS SOPS 36537 HAS SOUS 31086 HAS SOUPS 31086 WITH SCORE 31122.537
AT ITER 33 NEW BEST:: SOT 56523 SOS 36494 HAS SOPS 36494 HAS SOUS 31086 HAS SOUPS 31086 WITH SCORE 31122.494
AT ITER 34 NEW BEST:: SOT 56148 SOS 37367 HAS SOPS 37367 HAS SOUS 31023 HAS SOUPS 31023 WITH SCORE 31060.367
AT ITER 42 NEW BEST:: SOT 56148 SOS 37292 HAS SOPS 37292 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31047.292
AT ITER 43 NEW BEST:: SOT 56148 SOS 36660 HAS SOPS 36660 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31046.66
AT ITER 45 NEW BEST:: SOT 56148 SOS 36525 HAS SOPS 36525 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31046.525
AT ITER 48 NEW BEST:: SOT 56148 SOS 36525 HAS SOPS 36525 HAS SOUS 31005 HAS SOUPS 31005 WITH SCORE 31041.525
AT ITER 56 NEW BEST:: SOT 56127 SOS 36438 HAS SOPS 36438 HAS SOUS 30966 HAS SOUPS 30966 WITH SCORE 31002.438
AT ITER 59 NEW BEST:: SOT 56041 SOS 36391 HAS SOPS 36391 HAS SOUS 30857 HAS SOUPS 30857 WITH SCORE 30893.391
AT ITER 64 NEW BEST:: SOT 56041 SOS 36324 HAS SOPS 36324 HAS SOUS 30845 HAS SOUPS 30845 WITH SCORE 30881.324
AT ITER 65 NEW BEST:: SOT 55977 SOS 36329 HAS SOPS 36329 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30831.329
AT ITER 68 NEW BEST:: SOT 55977 SOS 36316 HAS SOPS 36316 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30831.316
AT ITER 70 NEW BEST:: SOT 55977 SOS 36231 HAS SOPS 36231 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30831.231
AT ITER 71 NEW BEST:: SOT 55977 SOS 36199 HAS SOPS 36199 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30831.199
AT ITER 75 NEW BEST:: SOT 55907 SOS 36296 HAS SOPS 36296 HAS SOUS 30758 HAS SOUPS 30758 WITH SCORE 30794.296
AT ITER 80 NEW BEST:: SOT 55875 SOS 36332 HAS SOPS 36332 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30759.332
AT ITER 82 NEW BEST:: SOT 55771 SOS 36266 HAS SOPS 36266 HAS SOUS 30657 HAS SOUPS 30657 WITH SCORE 30693.266
AT ITER 83 NEW BEST:: SOT 55771 SOS 36244 HAS SOPS 36244 HAS SOUS 30657 HAS SOUPS 30657 WITH SCORE 30693.244
AT ITER 86 NEW BEST:: SOT 55670 SOS 36360 HAS SOPS 36360 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30622.36
AT ITER 91 NEW BEST:: SOT 55670 SOS 36354 HAS SOPS 36354 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30622.354
AT ITER 92 NEW BEST:: SOT 55670 SOS 36273 HAS SOPS 36273 HAS SOUS 30586 HAS SOUPS 30586 WITH SCORE 30622.273
AT ITER 95 NEW BEST:: SOT 55589 SOS 36332 HAS SOPS 36332 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30621.332
AT ITER 97 NEW BEST:: SOT 55476 SOS 36300 HAS SOPS 36300 HAS SOUS 30548 HAS SOUPS 30548 WITH SCORE 30584.3
AT ITER 101 NEW BEST:: SOT 55476 SOS 36300 HAS SOPS 36300 HAS SOUS 30520 HAS SOUPS 30520 WITH SCORE 30556.3
AT ITER 103 NEW BEST:: SOT 55557 SOS 36381 HAS SOPS 36381 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30519.381
AT ITER 106 NEW BEST:: SOT 55442 SOS 36266 HAS SOPS 36266 HAS SOUS 30403 HAS SOUPS 30403 WITH SCORE 30439.266
AT ITER 111 NEW BEST:: SOT 55442 SOS 36231 HAS SOPS 36231 HAS SOUS 30403 HAS SOUPS 30403 WITH SCORE 30439.231
AT ITER 112 NEW BEST:: SOT 55329 SOS 35079 HAS SOPS 35079 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30107.079
AT ITER 119 NEW BEST:: SOT 55329 SOS 35043 HAS SOPS 35043 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30107.043
AT ITER 121 NEW BEST:: SOT 55329 SOS 35022 HAS SOPS 35022 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30107.022
AT ITER 122 NEW BEST:: SOT 55314 SOS 34970 HAS SOPS 34970 HAS SOUS 30040 HAS SOUPS 30040 WITH SCORE 30074.97
AT ITER 125 NEW BEST:: SOT 55314 SOS 34981 HAS SOPS 34981 HAS SOUS 30037 HAS SOUPS 30037 WITH SCORE 30071.981
AT ITER 126 NEW BEST:: SOT 55314 SOS 34975 HAS SOPS 34975 HAS SOUS 30037 HAS SOUPS 30037 WITH SCORE 30071.975
AT ITER 133 NEW BEST:: SOT 55269 SOS 35303 HAS SOPS 35303 HAS SOUS 30005 HAS SOUPS 30005 WITH SCORE 30040.303
AT ITER 137 NEW BEST:: SOT 55269 SOS 35163 HAS SOPS 35163 HAS SOUS 29922 HAS SOUPS 29922 WITH SCORE 29957.163
AT ITER 138 NEW BEST:: SOT 55156 SOS 35115 HAS SOPS 35115 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29861.115
AT ITER 141 NEW BEST:: SOT 55014 SOS 35104 HAS SOPS 35104 HAS SOUS 29693 HAS SOUPS 29693 WITH SCORE 29728.104
AT ITER 158 NEW BEST:: SOT 54978 SOS 35152 HAS SOPS 35152 HAS SOUS 29666 HAS SOUPS 29666 WITH SCORE 29701.152
AT ITER 161 NEW BEST:: SOT 54978 SOS 35147 HAS SOPS 35147 HAS SOUS 29666 HAS SOUPS 29666 WITH SCORE 29701.147
AT ITER 167 NEW BEST:: SOT 54839 SOS 35008 HAS SOPS 35008 HAS SOUS 29536 HAS SOUPS 29536 WITH SCORE 29571.008
AT ITER 169 NEW BEST:: SOT 54839 SOS 34780 HAS SOPS 34780 HAS SOUS 29536 HAS SOUPS 29536 WITH SCORE 29570.78
AT ITER 177 NEW BEST:: SOT 54743 SOS 34895 HAS SOPS 34895 HAS SOUS 29534 HAS SOUPS 29534 WITH SCORE 29568.895
AT ITER 180 NEW BEST:: SOT 54737 SOS 34889 HAS SOPS 34889 HAS SOUS 29528 HAS SOUPS 29528 WITH SCORE 29562.889
AT ITER 198 NEW BEST:: SOT 54737 SOS 34630 HAS SOPS 34630 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29531.63
AT ITER 201 NEW BEST:: SOT 54737 SOS 34617 HAS SOPS 34617 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29531.617
AT ITER 209 NEW BEST:: SOT 54737 SOS 34573 HAS SOPS 34573 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29531.573
AT ITER 212 NEW BEST:: SOT 54674 SOS 34894 HAS SOPS 34894 HAS SOUS 29450 HAS SOUPS 29450 WITH SCORE 29484.894
AT ITER 213 NEW BEST:: SOT 54605 SOS 34850 HAS SOPS 34850 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29472.85
AT ITER 214 NEW BEST:: SOT 54606 SOS 34851 HAS SOPS 34851 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29468.851
AT ITER 215 NEW BEST:: SOT 54606 SOS 34849 HAS SOPS 34849 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29468.849
AT ITER 217 NEW BEST:: SOT 54606 SOS 34823 HAS SOPS 34823 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29468.823
AT ITER 218 NEW BEST:: SOT 54606 SOS 34236 HAS SOPS 34236 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29468.236
AT ITER 219 NEW BEST:: SOT 54582 SOS 34212 HAS SOPS 34212 HAS SOUS 29410 HAS SOUPS 29410 WITH SCORE 29444.212
AT ITER 222 NEW BEST:: SOT 54582 SOS 34029 HAS SOPS 34029 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29386.029
AT ITER 225 NEW BEST:: SOT 54512 SOS 33959 HAS SOPS 33959 HAS SOUS 29282 HAS SOUPS 29282 WITH SCORE 29315.959
AT ITER 232 NEW BEST:: SOT 54489 SOS 33945 HAS SOPS 33945 HAS SOUS 29259 HAS SOUPS 29259 WITH SCORE 29292.945
AT ITER 236 NEW BEST:: SOT 54481 SOS 33936 HAS SOPS 33936 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29288.936
AT ITER 240 NEW BEST:: SOT 54481 SOS 33730 HAS SOPS 33730 HAS SOUS 29253 HAS SOUPS 29253 WITH SCORE 29286.73
AT ITER 244 NEW BEST:: SOT 54462 SOS 33711 HAS SOPS 33711 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29267.711
AT ITER 250 NEW BEST:: SOT 54462 SOS 33641 HAS SOPS 33641 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29267.641
AT ITER 255 NEW BEST:: SOT 54369 SOS 34195 HAS SOPS 34195 HAS SOUS 29195 HAS SOUPS 29195 WITH SCORE 29229.195
AT ITER 262 NEW BEST:: SOT 54348 SOS 34142 HAS SOPS 34142 HAS SOUS 29163 HAS SOUPS 29163 WITH SCORE 29197.142
AT ITER 263 NEW BEST:: SOT 54348 SOS 34028 HAS SOPS 34028 HAS SOUS 29143 HAS SOUPS 29143 WITH SCORE 29177.028
AT ITER 265 NEW BEST:: SOT 54312 SOS 34052 HAS SOPS 34052 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29174.052
AT ITER 267 NEW BEST:: SOT 54322 SOS 34049 HAS SOPS 34049 HAS SOUS 29113 HAS SOUPS 29113 WITH SCORE 29147.049
AT ITER 276 NEW BEST:: SOT 54320 SOS 34047 HAS SOPS 34047 HAS SOUS 29111 HAS SOUPS 29111 WITH SCORE 29145.047
AT ITER 280 NEW BEST:: SOT 54299 SOS 33994 HAS SOPS 33994 HAS SOUS 29090 HAS SOUPS 29090 WITH SCORE 29123.994
AT ITER 281 NEW BEST:: SOT 54171 SOS 33923 HAS SOPS 33923 HAS SOUS 29037 HAS SOUPS 29037 WITH SCORE 29070.923
AT ITER 283 NEW BEST:: SOT 54094 SOS 33846 HAS SOPS 33846 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 28995.846
AT ITER 287 NEW BEST:: SOT 54094 SOS 33660 HAS SOPS 33660 HAS SOUS 28952 HAS SOUPS 28952 WITH SCORE 28985.66
AT ITER 289 NEW BEST:: SOT 54094 SOS 33480 HAS SOPS 33480 HAS SOUS 28952 HAS SOUPS 28952 WITH SCORE 28985.48
AT ITER 293 NEW BEST:: SOT 53803 SOS 33245 HAS SOPS 33245 HAS SOUS 28694 HAS SOUPS 28694 WITH SCORE 28727.245
AT ITER 296 NEW BEST:: SOT 53803 SOS 33237 HAS SOPS 33237 HAS SOUS 28694 HAS SOUPS 28694 WITH SCORE 28727.237
AT ITER 298 NEW BEST:: SOT 53803 SOS 32548 HAS SOPS 32548 HAS SOUS 28666 HAS SOUPS 28666 WITH SCORE 28698.548
AT ITER 301 NEW BEST:: SOT 53688 SOS 32607 HAS SOPS 32607 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28655.607
AT ITER 304 NEW BEST:: SOT 53688 SOS 32584 HAS SOPS 32584 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28655.584
AT ITER 305 NEW BEST:: SOT 53688 SOS 32531 HAS SOPS 32531 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28645.531
AT ITER 307 NEW BEST:: SOT 53688 SOS 32529 HAS SOPS 32529 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28645.529
AT ITER 311 NEW BEST:: SOT 53653 SOS 32501 HAS SOPS 32501 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28556.501
AT ITER 322 NEW BEST:: SOT 53629 SOS 32477 HAS SOPS 32477 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28532.477
AT ITER 326 NEW BEST:: SOT 53629 SOS 32286 HAS SOPS 32286 HAS SOUS 28500 HAS SOUPS 28500 WITH SCORE 28532.286
AT ITER 343 NEW BEST:: SOT 53654 SOS 32262 HAS SOPS 32262 HAS SOUS 28478 HAS SOUPS 28478 WITH SCORE 28510.262
AT ITER 348 NEW BEST:: SOT 53625 SOS 32233 HAS SOPS 32233 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28481.233
AT ITER 357 NEW BEST:: SOT 53625 SOS 32214 HAS SOPS 32214 HAS SOUS 28437 HAS SOUPS 28437 WITH SCORE 28469.214
AT ITER 358 NEW BEST:: SOT 53625 SOS 32106 HAS SOPS 32106 HAS SOUS 28413 HAS SOUPS 28413 WITH SCORE 28445.106
AT ITER 371 NEW BEST:: SOT 53625 SOS 32095 HAS SOPS 32095 HAS SOUS 28413 HAS SOUPS 28413 WITH SCORE 28445.095
AT ITER 382 NEW BEST:: SOT 53629 SOS 32092 HAS SOPS 32092 HAS SOUS 28410 HAS SOUPS 28410 WITH SCORE 28442.092
AT ITER 385 NEW BEST:: SOT 53514 SOS 32020 HAS SOPS 32020 HAS SOUS 28309 HAS SOUPS 28309 WITH SCORE 28341.02
AT ITER 389 NEW BEST:: SOT 53514 SOS 32031 HAS SOPS 32031 HAS SOUS 28305 HAS SOUPS 28305 WITH SCORE 28337.031
AT ITER 395 NEW BEST:: SOT 53514 SOS 32002 HAS SOPS 32002 HAS SOUS 28305 HAS SOUPS 28305 WITH SCORE 28337.002
AT ITER 401 NEW BEST:: SOT 53514 SOS 31973 HAS SOPS 31973 HAS SOUS 28305 HAS SOUPS 28305 WITH SCORE 28336.973
AT ITER 404 NEW BEST:: SOT 53514 SOS 31988 HAS SOPS 31988 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28333.988
AT ITER 408 NEW BEST:: SOT 53514 SOS 31988 HAS SOPS 31988 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28328.988
AT ITER 410 NEW BEST:: SOT 53514 SOS 32063 HAS SOPS 32063 HAS SOUS 28294 HAS SOUPS 28294 WITH SCORE 28326.063
AT ITER 411 NEW BEST:: SOT 53516 SOS 32094 HAS SOPS 32094 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28320.094
AT ITER 413 NEW BEST:: SOT 53490 SOS 32068 HAS SOPS 32068 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28294.068
AT ITER 418 NEW BEST:: SOT 53490 SOS 32081 HAS SOPS 32081 HAS SOUS 28251 HAS SOUPS 28251 WITH SCORE 28283.081
AT ITER 423 NEW BEST:: SOT 53490 SOS 32033 HAS SOPS 32033 HAS SOUS 28251 HAS SOUPS 28251 WITH SCORE 28283.033
AT ITER 430 NEW BEST:: SOT 53490 SOS 32029 HAS SOPS 32029 HAS SOUS 28247 HAS SOUPS 28247 WITH SCORE 28279.029
AT ITER 432 NEW BEST:: SOT 53490 SOS 31991 HAS SOPS 31991 HAS SOUS 28245 HAS SOUPS 28245 WITH SCORE 28276.991
AT ITER 438 NEW BEST:: SOT 53418 SOS 32135 HAS SOPS 32135 HAS SOUS 28190 HAS SOUPS 28190 WITH SCORE 28222.135
AT ITER 441 NEW BEST:: SOT 53297 SOS 32076 HAS SOPS 32076 HAS SOUS 28149 HAS SOUPS 28149 WITH SCORE 28181.076
AT ITER 443 NEW BEST:: SOT 53297 SOS 32037 HAS SOPS 32037 HAS SOUS 28139 HAS SOUPS 28139 WITH SCORE 28171.037
AT ITER 452 NEW BEST:: SOT 53297 SOS 32036 HAS SOPS 32036 HAS SOUS 28129 HAS SOUPS 28129 WITH SCORE 28161.036
AT ITER 458 NEW BEST:: SOT 53297 SOS 31996 HAS SOPS 31996 HAS SOUS 28129 HAS SOUPS 28129 WITH SCORE 28160.996
AT ITER 459 NEW BEST:: SOT 53308 SOS 32007 HAS SOPS 32007 HAS SOUS 28120 HAS SOUPS 28120 WITH SCORE 28152.007
AT ITER 460 NEW BEST:: SOT 53306 SOS 32026 HAS SOPS 32026 HAS SOUS 28117 HAS SOUPS 28117 WITH SCORE 28149.026
AT ITER 464 NEW BEST:: SOT 53306 SOS 32026 HAS SOPS 32026 HAS SOUS 28099 HAS SOUPS 28099 WITH SCORE 28131.026
AT ITER 472 NEW BEST:: SOT 53301 SOS 31968 HAS SOPS 31968 HAS SOUS 28098 HAS SOUPS 28098 WITH SCORE 28129.968
AT ITER 473 NEW BEST:: SOT 53284 SOS 31911 HAS SOPS 31911 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28078.911
AT ITER 479 NEW BEST:: SOT 53284 SOS 31760 HAS SOPS 31760 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28078.76
AT ITER 499 NEW BEST:: SOT 53284 SOS 31550 HAS SOPS 31550 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28078.55
AT ITER 500 NEW BEST:: SOT 53284 SOS 31550 HAS SOPS 31550 HAS SOUS 28034 HAS SOUPS 28034 WITH SCORE 28065.55
AT ITER 518 NEW BEST:: SOT 53218 SOS 31489 HAS SOPS 31489 HAS SOUS 27983 HAS SOUPS 27983 WITH SCORE 28014.489
AT ITER 522 NEW BEST:: SOT 53241 SOS 31510 HAS SOPS 31510 HAS SOUS 27926 HAS SOUPS 27926 WITH SCORE 27957.51
AT ITER 532 NEW BEST:: SOT 53222 SOS 31417 HAS SOPS 31417 HAS SOUS 27887 HAS SOUPS 27887 WITH SCORE 27918.417
AT ITER 560 NEW BEST:: SOT 53275 SOS 31452 HAS SOPS 31452 HAS SOUS 27866 HAS SOUPS 27866 WITH SCORE 27897.452
AT ITER 564 NEW BEST:: SOT 53280 SOS 31164 HAS SOPS 31164 HAS SOUS 27836 HAS SOUPS 27836 WITH SCORE 27867.164
AT ITER 570 NEW BEST:: SOT 53287 SOS 31257 HAS SOPS 31257 HAS SOUS 27835 HAS SOUPS 27835 WITH SCORE 27866.257
AT ITER 571 NEW BEST:: SOT 53301 SOS 31244 HAS SOPS 31244 HAS SOUS 27835 HAS SOUPS 27835 WITH SCORE 27866.244
AT ITER 576 NEW BEST:: SOT 53271 SOS 31220 HAS SOPS 31220 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27846.22
AT ITER 577 NEW BEST:: SOT 53271 SOS 31215 HAS SOPS 31215 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27846.215
AT ITER 579 NEW BEST:: SOT 53251 SOS 31195 HAS SOPS 31195 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27826.195
AT ITER 580 NEW BEST:: SOT 53251 SOS 30565 HAS SOPS 30565 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27825.565
AT ITER 584 NEW BEST:: SOT 53251 SOS 30546 HAS SOPS 30546 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27825.546
AT ITER 593 NEW BEST:: SOT 53251 SOS 30503 HAS SOPS 30503 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27825.503
AT ITER 594 NEW BEST:: SOT 53251 SOS 30498 HAS SOPS 30498 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27825.498
AT ITER 612 NEW BEST:: SOT 53251 SOS 30485 HAS SOPS 30485 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27801.485
AT ITER 613 NEW BEST:: SOT 53251 SOS 30355 HAS SOPS 30355 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27801.355
AT ITER 614 NEW BEST:: SOT 53248 SOS 30352 HAS SOPS 30352 HAS SOUS 27768 HAS SOUPS 27768 WITH SCORE 27798.352
AT ITER 622 NEW BEST:: SOT 53243 SOS 30412 HAS SOPS 30412 HAS SOUS 27763 HAS SOUPS 27763 WITH SCORE 27793.412
AT ITER 624 NEW BEST:: SOT 53096 SOS 30386 HAS SOPS 30386 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27762.386
AT ITER 629 NEW BEST:: SOT 53088 SOS 30349 HAS SOPS 30349 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27758.349
AT ITER 638 NEW BEST:: SOT 53088 SOS 30363 HAS SOPS 30363 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27755.363
AT ITER 643 NEW BEST:: SOT 53088 SOS 30301 HAS SOPS 30301 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27714.301
AT ITER 653 NEW BEST:: SOT 53096 SOS 30295 HAS SOPS 30295 HAS SOUS 27678 HAS SOUPS 27678 WITH SCORE 27708.295
AT ITER 654 NEW BEST:: SOT 53096 SOS 30280 HAS SOPS 30280 HAS SOUS 27678 HAS SOUPS 27678 WITH SCORE 27708.28
AT ITER 658 NEW BEST:: SOT 53096 SOS 30258 HAS SOPS 30258 HAS SOUS 27678 HAS SOUPS 27678 WITH SCORE 27708.258
AT ITER 660 NEW BEST:: SOT 53079 SOS 30241 HAS SOPS 30241 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27691.241
AT ITER 664 NEW BEST:: SOT 53095 SOS 30215 HAS SOPS 30215 HAS SOUS 27643 HAS SOUPS 27643 WITH SCORE 27673.215
AT ITER 678 NEW BEST:: SOT 53095 SOS 30254 HAS SOPS 30254 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27669.254
AT ITER 689 NEW BEST:: SOT 52926 SOS 30149 HAS SOPS 30149 HAS SOUS 27540 HAS SOUPS 27540 WITH SCORE 27570.149
AT ITER 693 NEW BEST:: SOT 52926 SOS 30134 HAS SOPS 30134 HAS SOUS 27540 HAS SOUPS 27540 WITH SCORE 27570.134
AT ITER 695 NEW BEST:: SOT 52926 SOS 30117 HAS SOPS 30117 HAS SOUS 27534 HAS SOUPS 27534 WITH SCORE 27564.117
AT ITER 696 NEW BEST:: SOT 52926 SOS 30111 HAS SOPS 30111 HAS SOUS 27534 HAS SOUPS 27534 WITH SCORE 27564.111
AT ITER 703 NEW BEST:: SOT 52896 SOS 30077 HAS SOPS 30077 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27500.077
AT ITER 711 NEW BEST:: SOT 52896 SOS 30074 HAS SOPS 30074 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27500.074
AT ITER 714 NEW BEST:: SOT 52896 SOS 30008 HAS SOPS 30008 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27500.008
AT ITER 726 NEW BEST:: SOT 52876 SOS 29995 HAS SOPS 29995 HAS SOUS 27447 HAS SOUPS 27447 WITH SCORE 27476.995
AT ITER 733 NEW BEST:: SOT 52879 SOS 29954 HAS SOPS 29954 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27451.954
AT ITER 744 NEW BEST:: SOT 52615 SOS 30106 HAS SOPS 30106 HAS SOUS 27407 HAS SOUPS 27407 WITH SCORE 27437.106
AT ITER 762 NEW BEST:: SOT 52593 SOS 30084 HAS SOPS 30084 HAS SOUS 27385 HAS SOUPS 27385 WITH SCORE 27415.084
AT ITER 779 NEW BEST:: SOT 52593 SOS 30044 HAS SOPS 30044 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27375.044
AT ITER 790 NEW BEST:: SOT 52595 SOS 30024 HAS SOPS 30024 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27373.024
AT ITER 818 NEW BEST:: SOT 52595 SOS 29972 HAS SOPS 29972 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27320.972
AT ITER 821 NEW BEST:: SOT 52595 SOS 29928 HAS SOPS 29928 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27320.928
AT ITER 822 NEW BEST:: SOT 52595 SOS 29925 HAS SOPS 29925 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27320.925
AT ITER 827 NEW BEST:: SOT 52592 SOS 29922 HAS SOPS 29922 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27317.922
AT ITER 828 NEW BEST:: SOT 52561 SOS 29916 HAS SOPS 29916 HAS SOUS 27273 HAS SOUPS 27273 WITH SCORE 27302.916
AT ITER 831 NEW BEST:: SOT 52561 SOS 29876 HAS SOPS 29876 HAS SOUS 27273 HAS SOUPS 27273 WITH SCORE 27302.876
AT ITER 833 NEW BEST:: SOT 52561 SOS 29937 HAS SOPS 29937 HAS SOUS 27267 HAS SOUPS 27267 WITH SCORE 27296.937
AT ITER 842 NEW BEST:: SOT 52483 SOS 30007 HAS SOPS 30007 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27284.007
AT ITER 847 NEW BEST:: SOT 52280 SOS 30506 HAS SOPS 30506 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27246.506
AT ITER 854 NEW BEST:: SOT 52298 SOS 30583 HAS SOPS 30583 HAS SOUS 27199 HAS SOUPS 27199 WITH SCORE 27229.583
AT ITER 857 NEW BEST:: SOT 52277 SOS 30562 HAS SOPS 30562 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27208.562
AT ITER 864 NEW BEST:: SOT 52277 SOS 30550 HAS SOPS 30550 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27196.55
AT ITER 867 NEW BEST:: SOT 52132 SOS 30410 HAS SOPS 30410 HAS SOUS 27132 HAS SOUPS 27132 WITH SCORE 27162.41
AT ITER 868 NEW BEST:: SOT 52130 SOS 30380 HAS SOPS 30380 HAS SOUS 27097 HAS SOUPS 27097 WITH SCORE 27127.38
AT ITER 872 NEW BEST:: SOT 52130 SOS 30359 HAS SOPS 30359 HAS SOUS 27081 HAS SOUPS 27081 WITH SCORE 27111.359
AT ITER 890 NEW BEST:: SOT 52130 SOS 30345 HAS SOPS 30345 HAS SOUS 27081 HAS SOUPS 27081 WITH SCORE 27111.345
AT ITER 925 NEW BEST:: SOT 52126 SOS 30341 HAS SOPS 30341 HAS SOUS 27077 HAS SOUPS 27077 WITH SCORE 27107.341
AT ITER 932 NEW BEST:: SOT 52126 SOS 30283 HAS SOPS 30283 HAS SOUS 27044 HAS SOUPS 27044 WITH SCORE 27074.283
AT ITER 939 NEW BEST:: SOT 52126 SOS 30269 HAS SOPS 30269 HAS SOUS 27015 HAS SOUPS 27015 WITH SCORE 27045.269
AT ITER 949 NEW BEST:: SOT 52091 SOS 30237 HAS SOPS 30237 HAS SOUS 26975 HAS SOUPS 26975 WITH SCORE 27005.237
AT ITER 951 NEW BEST:: SOT 52016 SOS 30182 HAS SOPS 30182 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26929.182
AT ITER 969 NEW BEST:: SOT 52012 SOS 30178 HAS SOPS 30178 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26925.178
AT ITER 973 NEW BEST:: SOT 52012 SOS 30175 HAS SOPS 30175 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26925.175
AT ITER 983 NEW BEST:: SOT 51990 SOS 30153 HAS SOPS 30153 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26903.153
AT ITER 987 NEW BEST:: SOT 51990 SOS 30144 HAS SOPS 30144 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26894.144
AT ITER 1000 NEW BEST:: SOT 51813 SOS 30704 HAS SOPS 30704 HAS SOUS 26813 HAS SOUPS 26813 WITH SCORE 26843.704
AT ITER 1001 NEW BEST:: SOT 51813 SOS 30691 HAS SOPS 30691 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26839.691
AT ITER 1002 NEW BEST:: SOT 51813 SOS 30693 HAS SOPS 30693 HAS SOUS 26803 HAS SOUPS 26803 WITH SCORE 26833.693
AT ITER 1005 NEW BEST:: SOT 51813 SOS 30693 HAS SOPS 30693 HAS SOUS 26773 HAS SOUPS 26773 WITH SCORE 26803.693
AT ITER 1018 NEW BEST:: SOT 51792 SOS 30667 HAS SOPS 30667 HAS SOUS 26746 HAS SOUPS 26746 WITH SCORE 26776.667
AT ITER 1029 NEW BEST:: SOT 51791 SOS 30666 HAS SOPS 30666 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26775.666
AT ITER 1033 NEW BEST:: SOT 51791 SOS 30648 HAS SOPS 30648 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26775.648
AT ITER 1037 NEW BEST:: SOT 51791 SOS 30638 HAS SOPS 30638 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26770.638
AT ITER 1054 NEW BEST:: SOT 51780 SOS 30627 HAS SOPS 30627 HAS SOUS 26729 HAS SOUPS 26729 WITH SCORE 26759.627
AT ITER 1061 NEW BEST:: SOT 51780 SOS 30608 HAS SOPS 30608 HAS SOUS 26729 HAS SOUPS 26729 WITH SCORE 26759.608
AT ITER 1069 NEW BEST:: SOT 51628 SOS 30551 HAS SOPS 30551 HAS SOUS 26718 HAS SOUPS 26718 WITH SCORE 26748.551
AT ITER 1070 NEW BEST:: SOT 51628 SOS 30587 HAS SOPS 30587 HAS SOUS 26694 HAS SOUPS 26694 WITH SCORE 26724.587
AT ITER 1072 NEW BEST:: SOT 51628 SOS 30298 HAS SOPS 30298 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26722.298
AT ITER 1080 NEW BEST:: SOT 51628 SOS 30366 HAS SOPS 30366 HAS SOUS 26674 HAS SOUPS 26674 WITH SCORE 26704.366
AT ITER 1081 NEW BEST:: SOT 51448 SOS 30285 HAS SOPS 30285 HAS SOUS 26648 HAS SOUPS 26648 WITH SCORE 26678.285
AT ITER 1090 NEW BEST:: SOT 51474 SOS 30230 HAS SOPS 30230 HAS SOUS 26643 HAS SOUPS 26643 WITH SCORE 26673.23
AT ITER 1109 NEW BEST:: SOT 51459 SOS 30238 HAS SOPS 30238 HAS SOUS 26638 HAS SOUPS 26638 WITH SCORE 26668.238
AT ITER 1111 NEW BEST:: SOT 51459 SOS 30233 HAS SOPS 30233 HAS SOUS 26638 HAS SOUPS 26638 WITH SCORE 26668.233
AT ITER 1113 NEW BEST:: SOT 51457 SOS 30231 HAS SOPS 30231 HAS SOUS 26636 HAS SOUPS 26636 WITH SCORE 26666.231
AT ITER 1116 NEW BEST:: SOT 51435 SOS 30209 HAS SOPS 30209 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26627.209
AT ITER 1123 NEW BEST:: SOT 51435 SOS 30101 HAS SOPS 30101 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26627.101
AT ITER 1128 NEW BEST:: SOT 51435 SOS 30095 HAS SOPS 30095 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26623.095
AT ITER 1137 NEW BEST:: SOT 51432 SOS 30124 HAS SOPS 30124 HAS SOUS 26546 HAS SOUPS 26546 WITH SCORE 26576.124
AT ITER 1138 NEW BEST:: SOT 51336 SOS 30034 HAS SOPS 30034 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26505.034
AT ITER 1143 NEW BEST:: SOT 51338 SOS 30036 HAS SOPS 30036 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26500.036
AT ITER 1151 NEW BEST:: SOT 51269 SOS 29967 HAS SOPS 29967 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26430.967
AT ITER 1153 NEW BEST:: SOT 51269 SOS 29919 HAS SOPS 29919 HAS SOUS 26401 HAS SOUPS 26401 WITH SCORE 26430.919
AT ITER 1160 NEW BEST:: SOT 51259 SOS 29909 HAS SOPS 29909 HAS SOUS 26398 HAS SOUPS 26398 WITH SCORE 26427.909
AT ITER 1167 NEW BEST:: SOT 51259 SOS 29850 HAS SOPS 29850 HAS SOUS 26398 HAS SOUPS 26398 WITH SCORE 26427.85
AT ITER 1185 NEW BEST:: SOT 51236 SOS 29815 HAS SOPS 29815 HAS SOUS 26313 HAS SOUPS 26313 WITH SCORE 26342.815
AT ITER 1198 NEW BEST:: SOT 51236 SOS 29792 HAS SOPS 29792 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26332.792
AT ITER 1206 NEW BEST:: SOT 51204 SOS 29760 HAS SOPS 29760 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26300.76
AT ITER 1214 NEW BEST:: SOT 51204 SOS 29723 HAS SOPS 29723 HAS SOUS 26234 HAS SOUPS 26234 WITH SCORE 26263.723
AT ITER 1217 NEW BEST:: SOT 51210 SOS 29725 HAS SOPS 29725 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26262.725
AT ITER 1220 NEW BEST:: SOT 51217 SOS 29712 HAS SOPS 29712 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26260.712
AT ITER 1221 NEW BEST:: SOT 51217 SOS 29680 HAS SOPS 29680 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26260.68
AT ITER 1223 NEW BEST:: SOT 51224 SOS 29687 HAS SOPS 29687 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26241.687
AT ITER 1238 NEW BEST:: SOT 51215 SOS 29609 HAS SOPS 29609 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26124.609
AT ITER 1239 NEW BEST:: SOT 51014 SOS 29570 HAS SOPS 29570 HAS SOUS 26085 HAS SOUPS 26085 WITH SCORE 26114.57
AT ITER 1241 NEW BEST:: SOT 51014 SOS 29607 HAS SOPS 29607 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26095.607
AT ITER 1244 NEW BEST:: SOT 51014 SOS 29585 HAS SOPS 29585 HAS SOUS 26057 HAS SOUPS 26057 WITH SCORE 26086.585
AT ITER 1247 NEW BEST:: SOT 51007 SOS 29601 HAS SOPS 29601 HAS SOUS 26048 HAS SOUPS 26048 WITH SCORE 26077.601
AT ITER 1251 NEW BEST:: SOT 51007 SOS 29615 HAS SOPS 29615 HAS SOUS 26032 HAS SOUPS 26032 WITH SCORE 26061.615
AT ITER 1254 NEW BEST:: SOT 51007 SOS 29509 HAS SOPS 29509 HAS SOUS 26030 HAS SOUPS 26030 WITH SCORE 26059.509
AT ITER 1261 NEW BEST:: SOT 51003 SOS 29492 HAS SOPS 29492 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26006.492
AT ITER 1269 NEW BEST:: SOT 51003 SOS 29447 HAS SOPS 29447 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26006.447
AT ITER 1272 NEW BEST:: SOT 50939 SOS 29383 HAS SOPS 29383 HAS SOUS 25913 HAS SOUPS 25913 WITH SCORE 25942.383
AT ITER 1289 NEW BEST:: SOT 50959 SOS 29380 HAS SOPS 29380 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25903.38
AT ITER 1292 NEW BEST:: SOT 50959 SOS 29380 HAS SOPS 29380 HAS SOUS 25839 HAS SOUPS 25839 WITH SCORE 25868.38
AT ITER 1295 NEW BEST:: SOT 50944 SOS 29365 HAS SOPS 29365 HAS SOUS 25824 HAS SOUPS 25824 WITH SCORE 25853.365
AT ITER 1302 NEW BEST:: SOT 50944 SOS 29299 HAS SOPS 29299 HAS SOUS 25824 HAS SOUPS 25824 WITH SCORE 25853.299
AT ITER 1310 NEW BEST:: SOT 50943 SOS 29274 HAS SOPS 29274 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25828.274
AT ITER 1360 NEW BEST:: SOT 50943 SOS 29241 HAS SOPS 29241 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25828.241
AT ITER 1363 NEW BEST:: SOT 50943 SOS 29277 HAS SOPS 29277 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25792.277
AT ITER 1370 NEW BEST:: SOT 50942 SOS 29178 HAS SOPS 29178 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25791.178
AT ITER 1375 NEW BEST:: SOT 50942 SOS 29113 HAS SOPS 29113 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25791.113
AT ITER 1379 NEW BEST:: SOT 50933 SOS 29104 HAS SOPS 29104 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25782.104
AT ITER 1390 NEW BEST:: SOT 50905 SOS 29076 HAS SOPS 29076 HAS SOUS 25725 HAS SOUPS 25725 WITH SCORE 25754.076
AT ITER 1415 NEW BEST:: SOT 50808 SOS 29001 HAS SOPS 29001 HAS SOUS 25669 HAS SOUPS 25669 WITH SCORE 25698.001
AT ITER 1422 NEW BEST:: SOT 50808 SOS 29000 HAS SOPS 29000 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 25697.0
AT ITER 1423 NEW BEST:: SOT 50794 SOS 28958 HAS SOPS 28958 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25643.958
AT ITER 1441 NEW BEST:: SOT 50794 SOS 28766 HAS SOPS 28766 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25643.766
AT ITER 1445 NEW BEST:: SOT 50794 SOS 28466 HAS SOPS 28466 HAS SOUS 25600 HAS SOUPS 25600 WITH SCORE 25628.466
AT ITER 1481 NEW BEST:: SOT 50788 SOS 28460 HAS SOPS 28460 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25622.46
AT ITER 1485 NEW BEST:: SOT 50788 SOS 28456 HAS SOPS 28456 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25618.456
AT ITER 1490 NEW BEST:: SOT 50772 SOS 28440 HAS SOPS 28440 HAS SOUS 25574 HAS SOUPS 25574 WITH SCORE 25602.44
AT ITER 1501 NEW BEST:: SOT 50772 SOS 28369 HAS SOPS 28369 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25523.369
AT ITER 1505 NEW BEST:: SOT 50638 SOS 28276 HAS SOPS 28276 HAS SOUS 25479 HAS SOUPS 25479 WITH SCORE 25507.276
AT ITER 1511 NEW BEST:: SOT 50632 SOS 28270 HAS SOPS 28270 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25501.27
AT ITER 1513 NEW BEST:: SOT 50632 SOS 28179 HAS SOPS 28179 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25501.179
AT ITER 1514 NEW BEST:: SOT 50632 SOS 28119 HAS SOPS 28119 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25501.119
AT ITER 1515 NEW BEST:: SOT 50632 SOS 27871 HAS SOPS 27871 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25500.871
AT ITER 1516 NEW BEST:: SOT 50632 SOS 27769 HAS SOPS 27769 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25500.769
AT ITER 1520 NEW BEST:: SOT 50632 SOS 27760 HAS SOPS 27760 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25500.76
AT ITER 1538 NEW BEST:: SOT 50632 SOS 27756 HAS SOPS 27756 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25500.756
AT ITER 1552 NEW BEST:: SOT 50674 SOS 27777 HAS SOPS 27777 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25489.777
AT ITER 1571 NEW BEST:: SOT 50794 SOS 27834 HAS SOPS 27834 HAS SOUS 25443 HAS SOUPS 25443 WITH SCORE 25470.834
AT ITER 1579 NEW BEST:: SOT 50792 SOS 27832 HAS SOPS 27832 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25468.832
AT ITER 1585 NEW BEST:: SOT 50820 SOS 27817 HAS SOPS 27817 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25468.817
AT ITER 1615 NEW BEST:: SOT 50820 SOS 27772 HAS SOPS 27772 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25468.772
AT ITER 1628 NEW BEST:: SOT 50820 SOS 27771 HAS SOPS 27771 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25468.771
AT ITER 1642 NEW BEST:: SOT 50820 SOS 27766 HAS SOPS 27766 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25463.766
AT ITER 1644 NEW BEST:: SOT 50820 SOS 27707 HAS SOPS 27707 HAS SOUS 25411 HAS SOUPS 25411 WITH SCORE 25438.707
AT ITER 1669 NEW BEST:: SOT 50794 SOS 27726 HAS SOPS 27726 HAS SOUS 25400 HAS SOUPS 25400 WITH SCORE 25427.726
AT ITER 1678 NEW BEST:: SOT 50796 SOS 27728 HAS SOPS 27728 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25422.728
AT ITER 1683 NEW BEST:: SOT 50796 SOS 27752 HAS SOPS 27752 HAS SOUS 25392 HAS SOUPS 25392 WITH SCORE 25419.752
AT ITER 1684 NEW BEST:: SOT 50703 SOS 27791 HAS SOPS 27791 HAS SOUS 25378 HAS SOUPS 25378 WITH SCORE 25405.791
AT ITER 1686 NEW BEST:: SOT 50695 SOS 27783 HAS SOPS 27783 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25397.783
AT ITER 1710 NEW BEST:: SOT 50676 SOS 27764 HAS SOPS 27764 HAS SOUS 25368 HAS SOUPS 25368 WITH SCORE 25395.764
AT ITER 1720 NEW BEST:: SOT 50676 SOS 27747 HAS SOPS 27747 HAS SOUS 25368 HAS SOUPS 25368 WITH SCORE 25395.747
AT ITER 1730 NEW BEST:: SOT 50676 SOS 27748 HAS SOPS 27748 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25394.748
AT ITER 1737 NEW BEST:: SOT 50676 SOS 27735 HAS SOPS 27735 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25394.735
AT ITER 1750 NEW BEST:: SOT 50666 SOS 27725 HAS SOPS 27725 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25384.725
AT ITER 1767 NEW BEST:: SOT 50666 SOS 27725 HAS SOPS 27725 HAS SOUS 25356 HAS SOUPS 25356 WITH SCORE 25383.725
AT ITER 1779 NEW BEST:: SOT 50666 SOS 27723 HAS SOPS 27723 HAS SOUS 25354 HAS SOUPS 25354 WITH SCORE 25381.723
AT ITER 1783 NEW BEST:: SOT 50666 SOS 27505 HAS SOPS 27505 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25373.505
AT ITER 1806 NEW BEST:: SOT 50654 SOS 27505 HAS SOPS 27505 HAS SOUS 25338 HAS SOUPS 25338 WITH SCORE 25365.505
AT ITER 1816 NEW BEST:: SOT 50654 SOS 27536 HAS SOPS 27536 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25358.536
AT ITER 1820 NEW BEST:: SOT 50654 SOS 27518 HAS SOPS 27518 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25358.518
AT ITER 1831 NEW BEST:: SOT 50654 SOS 27513 HAS SOPS 27513 HAS SOUS 25313 HAS SOUPS 25313 WITH SCORE 25340.513
AT ITER 1844 NEW BEST:: SOT 50649 SOS 27509 HAS SOPS 27509 HAS SOUS 25310 HAS SOUPS 25310 WITH SCORE 25337.509
AT ITER 1850 NEW BEST:: SOT 50649 SOS 27492 HAS SOPS 27492 HAS SOUS 25310 HAS SOUPS 25310 WITH SCORE 25337.492
AT ITER 1858 NEW BEST:: SOT 50642 SOS 27485 HAS SOPS 27485 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25318.485
AT ITER 1869 NEW BEST:: SOT 50642 SOS 27468 HAS SOPS 27468 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25318.468
AT ITER 1878 NEW BEST:: SOT 50642 SOS 27463 HAS SOPS 27463 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25318.463
AT ITER 1925 NEW BEST:: SOT 50642 SOS 27479 HAS SOPS 27479 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25312.479
AT ITER 1936 NEW BEST:: SOT 50642 SOS 27471 HAS SOPS 27471 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25312.471
AT ITER 1949 NEW BEST:: SOT 50642 SOS 27471 HAS SOPS 27471 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25309.471
AT ITER 1952 NEW BEST:: SOT 50634 SOS 27437 HAS SOPS 27437 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.437
AT ITER 1961 NEW BEST:: SOT 50634 SOS 27410 HAS SOPS 27410 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.41
AT ITER 1977 NEW BEST:: SOT 50634 SOS 27393 HAS SOPS 27393 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.393
AT ITER 1983 NEW BEST:: SOT 50634 SOS 27309 HAS SOPS 27309 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.309
AT ITER 1984 NEW BEST:: SOT 50634 SOS 27305 HAS SOPS 27305 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.305
AT ITER 2027 NEW BEST:: SOT 50625 SOS 27310 HAS SOPS 27310 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25297.31
AT ITER 2039 NEW BEST:: SOT 50625 SOS 27279 HAS SOPS 27279 HAS SOUS 25245 HAS SOUPS 25245 WITH SCORE 25272.279
AT ITER 2070 NEW BEST:: SOT 50625 SOS 27276 HAS SOPS 27276 HAS SOUS 25245 HAS SOUPS 25245 WITH SCORE 25272.276
AT ITER 2071 NEW BEST:: SOT 50642 SOS 27276 HAS SOPS 27276 HAS SOUS 25236 HAS SOUPS 25236 WITH SCORE 25263.276
AT ITER 2076 NEW BEST:: SOT 50642 SOS 27270 HAS SOPS 27270 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25257.27
AT ITER 2115 NEW BEST:: SOT 50642 SOS 27137 HAS SOPS 27137 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25257.137
AT ITER 2131 NEW BEST:: SOT 50631 SOS 27139 HAS SOPS 27139 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25251.139
AT ITER 2144 NEW BEST:: SOT 50554 SOS 27467 HAS SOPS 27467 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25241.467
AT ITER 2146 NEW BEST:: SOT 50538 SOS 27508 HAS SOPS 27508 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25217.508
AT ITER 2149 NEW BEST:: SOT 50514 SOS 27484 HAS SOPS 27484 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25193.484
AT ITER 2152 NEW BEST:: SOT 50487 SOS 27467 HAS SOPS 27467 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25135.467
AT ITER 2163 NEW BEST:: SOT 50486 SOS 27787 HAS SOPS 27787 HAS SOUS 25107 HAS SOUPS 25107 WITH SCORE 25134.787
AT ITER 2202 NEW BEST:: SOT 50485 SOS 27786 HAS SOPS 27786 HAS SOUS 25106 HAS SOUPS 25106 WITH SCORE 25133.786
AT ITER 2204 NEW BEST:: SOT 50485 SOS 27779 HAS SOPS 27779 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25088.779
AT ITER 2212 NEW BEST:: SOT 50375 SOS 27726 HAS SOPS 27726 HAS SOUS 25045 HAS SOUPS 25045 WITH SCORE 25072.726
AT ITER 2223 NEW BEST:: SOT 50375 SOS 27768 HAS SOPS 27768 HAS SOUS 25038 HAS SOUPS 25038 WITH SCORE 25065.768
AT ITER 2227 NEW BEST:: SOT 50375 SOS 27774 HAS SOPS 27774 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25059.774
AT ITER 2238 NEW BEST:: SOT 50375 SOS 27748 HAS SOPS 27748 HAS SOUS 25024 HAS SOUPS 25024 WITH SCORE 25051.748
AT ITER 2242 NEW BEST:: SOT 50374 SOS 27747 HAS SOPS 27747 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25050.747
AT ITER 2245 NEW BEST:: SOT 50346 SOS 27752 HAS SOPS 27752 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24971.752
AT ITER 2247 NEW BEST:: SOT 50346 SOS 27750 HAS SOPS 27750 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24971.75
AT ITER 2287 NEW BEST:: SOT 50346 SOS 27726 HAS SOPS 27726 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24971.726
AT ITER 2298 NEW BEST:: SOT 50342 SOS 27722 HAS SOPS 27722 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24967.722
AT ITER 2306 NEW BEST:: SOT 50341 SOS 27721 HAS SOPS 27721 HAS SOUS 24939 HAS SOUPS 24939 WITH SCORE 24966.721
AT ITER 2331 NEW BEST:: SOT 50322 SOS 27667 HAS SOPS 27667 HAS SOUS 24876 HAS SOUPS 24876 WITH SCORE 24903.667
AT ITER 2351 NEW BEST:: SOT 50280 SOS 27625 HAS SOPS 27625 HAS SOUS 24838 HAS SOUPS 24838 WITH SCORE 24865.625
AT ITER 2360 NEW BEST:: SOT 50280 SOS 27324 HAS SOPS 27324 HAS SOUS 24795 HAS SOUPS 24795 WITH SCORE 24822.324
AT ITER 2362 NEW BEST:: SOT 50277 SOS 27321 HAS SOPS 27321 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24819.321
AT ITER 2367 NEW BEST:: SOT 50277 SOS 27302 HAS SOPS 27302 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24819.302
AT ITER 2389 NEW BEST:: SOT 50277 SOS 27300 HAS SOPS 27300 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24819.3
AT ITER 2404 NEW BEST:: SOT 50277 SOS 27287 HAS SOPS 27287 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24794.287
AT ITER 2419 NEW BEST:: SOT 50274 SOS 27284 HAS SOPS 27284 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24771.284
AT ITER 2431 NEW BEST:: SOT 50254 SOS 27264 HAS SOPS 27264 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24751.264
AT ITER 2456 NEW BEST:: SOT 50235 SOS 28003 HAS SOPS 28003 HAS SOUS 24716 HAS SOUPS 24716 WITH SCORE 24744.003
AT ITER 2473 NEW BEST:: SOT 50235 SOS 27983 HAS SOPS 27983 HAS SOUS 24716 HAS SOUPS 24716 WITH SCORE 24743.983
AT ITER 2485 NEW BEST:: SOT 50235 SOS 27946 HAS SOPS 27946 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24733.946
AT ITER 2505 NEW BEST:: SOT 50230 SOS 27934 HAS SOPS 27934 HAS SOUS 24703 HAS SOUPS 24703 WITH SCORE 24730.934
AT ITER 2506 NEW BEST:: SOT 50230 SOS 27905 HAS SOPS 27905 HAS SOUS 24703 HAS SOUPS 24703 WITH SCORE 24730.905
AT ITER 2514 NEW BEST:: SOT 50218 SOS 27898 HAS SOPS 27898 HAS SOUS 24696 HAS SOUPS 24696 WITH SCORE 24723.898
AT ITER 2551 NEW BEST:: SOT 50202 SOS 27889 HAS SOPS 27889 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24714.889
AT ITER 2557 NEW BEST:: SOT 50197 SOS 27884 HAS SOPS 27884 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24709.884
AT ITER 2580 NEW BEST:: SOT 50197 SOS 27848 HAS SOPS 27848 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24709.848
AT ITER 2588 NEW BEST:: SOT 50197 SOS 27863 HAS SOPS 27863 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24693.863
AT ITER 2593 NEW BEST:: SOT 50182 SOS 27848 HAS SOPS 27848 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24678.848
AT ITER 2617 NEW BEST:: SOT 50182 SOS 27800 HAS SOPS 27800 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24678.8
AT ITER 2636 NEW BEST:: SOT 50182 SOS 27791 HAS SOPS 27791 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24678.791
AT ITER 2651 NEW BEST:: SOT 50182 SOS 27770 HAS SOPS 27770 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24657.77
AT ITER 2656 NEW BEST:: SOT 50177 SOS 27765 HAS SOPS 27765 HAS SOUS 24625 HAS SOUPS 24625 WITH SCORE 24652.765
AT ITER 2677 NEW BEST:: SOT 50177 SOS 27764 HAS SOPS 27764 HAS SOUS 24624 HAS SOUPS 24624 WITH SCORE 24651.764
AT ITER 2684 NEW BEST:: SOT 50142 SOS 27779 HAS SOPS 27779 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24625.779
AT ITER 2688 NEW BEST:: SOT 50142 SOS 27730 HAS SOPS 27730 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24614.73
AT ITER 2709 NEW BEST:: SOT 50140 SOS 27728 HAS SOPS 27728 HAS SOUS 24585 HAS SOUPS 24585 WITH SCORE 24612.728
AT ITER 2731 NEW BEST:: SOT 50140 SOS 27728 HAS SOPS 27728 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.728
AT ITER 2739 NEW BEST:: SOT 50140 SOS 27680 HAS SOPS 27680 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.68
AT ITER 2742 NEW BEST:: SOT 50140 SOS 27643 HAS SOPS 27643 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.643
AT ITER 2758 NEW BEST:: SOT 50140 SOS 27626 HAS SOPS 27626 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.626
AT ITER 2782 NEW BEST:: SOT 50139 SOS 27625 HAS SOPS 27625 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24610.625
AT ITER 2786 NEW BEST:: SOT 50112 SOS 27598 HAS SOPS 27598 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24583.598
AT ITER 2812 NEW BEST:: SOT 50082 SOS 27568 HAS SOPS 27568 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24553.568
AT ITER 2828 NEW BEST:: SOT 50082 SOS 27578 HAS SOPS 27578 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24549.578
AT ITER 2839 NEW BEST:: SOT 50082 SOS 27569 HAS SOPS 27569 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24549.569
AT ITER 2844 NEW BEST:: SOT 50082 SOS 27567 HAS SOPS 27567 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24549.567
AT ITER 2877 NEW BEST:: SOT 50076 SOS 27561 HAS SOPS 27561 HAS SOUS 24518 HAS SOUPS 24518 WITH SCORE 24545.561
AT ITER 2878 NEW BEST:: SOT 50076 SOS 27533 HAS SOPS 27533 HAS SOUS 24518 HAS SOUPS 24518 WITH SCORE 24545.533
AT ITER 2888 NEW BEST:: SOT 50076 SOS 27459 HAS SOPS 27459 HAS SOUS 24491 HAS SOUPS 24491 WITH SCORE 24518.459
AT ITER 2901 NEW BEST:: SOT 50076 SOS 27455 HAS SOPS 27455 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24514.455
AT ITER 2912 NEW BEST:: SOT 50076 SOS 27448 HAS SOPS 27448 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24514.448
AT ITER 2937 NEW BEST:: SOT 50076 SOS 27408 HAS SOPS 27408 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24514.408
AT ITER 2966 NEW BEST:: SOT 50076 SOS 27314 HAS SOPS 27314 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24514.314
AT ITER 2969 NEW BEST:: SOT 49998 SOS 27236 HAS SOPS 27236 HAS SOUS 24480 HAS SOUPS 24480 WITH SCORE 24507.236
AT ITER 2971 NEW BEST:: SOT 49982 SOS 27548 HAS SOPS 27548 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24494.548
AT ITER 2978 NEW BEST:: SOT 49953 SOS 27511 HAS SOPS 27511 HAS SOUS 24420 HAS SOUPS 24420 WITH SCORE 24447.511
AT ITER 2986 NEW BEST:: SOT 49953 SOS 27504 HAS SOPS 27504 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24421.504
AT ITER 2987 NEW BEST:: SOT 49953 SOS 27496 HAS SOPS 27496 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24413.496
AT ITER 3001 NEW BEST:: SOT 49941 SOS 27484 HAS SOPS 27484 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24401.484
AT ITER 3004 NEW BEST:: SOT 49941 SOS 27353 HAS SOPS 27353 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24398.353
AT ITER 3010 NEW BEST:: SOT 49941 SOS 27340 HAS SOPS 27340 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24398.34
AT ITER 3020 NEW BEST:: SOT 49941 SOS 27351 HAS SOPS 27351 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24396.351
AT ITER 3061 NEW BEST:: SOT 49941 SOS 27350 HAS SOPS 27350 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24396.35
AT ITER 3077 NEW BEST:: SOT 49941 SOS 27317 HAS SOPS 27317 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24396.317
AT ITER 3093 NEW BEST:: SOT 49925 SOS 27354 HAS SOPS 27354 HAS SOUS 24360 HAS SOUPS 24360 WITH SCORE 24387.354
AT ITER 3111 NEW BEST:: SOT 49925 SOS 27367 HAS SOPS 27367 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24359.367
AT ITER 3140 NEW BEST:: SOT 49925 SOS 27365 HAS SOPS 27365 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24359.365
AT ITER 3146 NEW BEST:: SOT 49925 SOS 27311 HAS SOPS 27311 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24359.311
AT ITER 3156 NEW BEST:: SOT 49925 SOS 27310 HAS SOPS 27310 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24359.31
AT ITER 3174 NEW BEST:: SOT 49925 SOS 27205 HAS SOPS 27205 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24359.205
AT ITER 3188 NEW BEST:: SOT 49890 SOS 27182 HAS SOPS 27182 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24328.182
AT ITER 3207 NEW BEST:: SOT 49880 SOS 27172 HAS SOPS 27172 HAS SOUS 24291 HAS SOUPS 24291 WITH SCORE 24318.172
AT ITER 3220 NEW BEST:: SOT 49877 SOS 27169 HAS SOPS 27169 HAS SOUS 24288 HAS SOUPS 24288 WITH SCORE 24315.169
AT ITER 3229 NEW BEST:: SOT 49859 SOS 27168 HAS SOPS 27168 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24314.168
AT ITER 3255 NEW BEST:: SOT 49859 SOS 27149 HAS SOPS 27149 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24314.149
AT ITER 3276 NEW BEST:: SOT 49859 SOS 27113 HAS SOPS 27113 HAS SOUS 24237 HAS SOUPS 24237 WITH SCORE 24264.113
AT ITER 3278 NEW BEST:: SOT 49739 SOS 27042 HAS SOPS 27042 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24246.042
AT ITER 3307 NEW BEST:: SOT 49739 SOS 26663 HAS SOPS 26663 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24245.663
AT ITER 3312 NEW BEST:: SOT 49719 SOS 26643 HAS SOPS 26643 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24210.643
AT ITER 3328 NEW BEST:: SOT 49719 SOS 26690 HAS SOPS 26690 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24197.69
AT ITER 3332 NEW BEST:: SOT 49724 SOS 26701 HAS SOPS 26701 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24193.701
AT ITER 3342 NEW BEST:: SOT 49724 SOS 26706 HAS SOPS 26706 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24188.706
AT ITER 3343 NEW BEST:: SOT 49653 SOS 26699 HAS SOPS 26699 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24168.699
AT ITER 3360 NEW BEST:: SOT 49650 SOS 26712 HAS SOPS 26712 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24143.712
AT ITER 3363 NEW BEST:: SOT 49606 SOS 26686 HAS SOPS 26686 HAS SOUS 24098 HAS SOUPS 24098 WITH SCORE 24124.686
AT ITER 3370 NEW BEST:: SOT 49606 SOS 26659 HAS SOPS 26659 HAS SOUS 24073 HAS SOUPS 24073 WITH SCORE 24099.659
AT ITER 3372 NEW BEST:: SOT 49606 SOS 26651 HAS SOPS 26651 HAS SOUS 24073 HAS SOUPS 24073 WITH SCORE 24099.651
AT ITER 3376 NEW BEST:: SOT 49606 SOS 26582 HAS SOPS 26582 HAS SOUS 24073 HAS SOUPS 24073 WITH SCORE 24099.582
AT ITER 3412 NEW BEST:: SOT 49606 SOS 26571 HAS SOPS 26571 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24088.571
AT ITER 3413 NEW BEST:: SOT 49589 SOS 26968 HAS SOPS 26968 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24083.968
AT ITER 3414 NEW BEST:: SOT 49589 SOS 26958 HAS SOPS 26958 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24083.958
AT ITER 3430 NEW BEST:: SOT 49584 SOS 26953 HAS SOPS 26953 HAS SOUS 24052 HAS SOUPS 24052 WITH SCORE 24078.953
AT ITER 3434 NEW BEST:: SOT 49582 SOS 26951 HAS SOPS 26951 HAS SOUS 24050 HAS SOUPS 24050 WITH SCORE 24076.951
AT ITER 3456 NEW BEST:: SOT 49552 SOS 26922 HAS SOPS 26922 HAS SOUS 24021 HAS SOUPS 24021 WITH SCORE 24047.922
AT ITER 3457 NEW BEST:: SOT 49552 SOS 26909 HAS SOPS 26909 HAS SOUS 24021 HAS SOUPS 24021 WITH SCORE 24047.909
AT ITER 3465 NEW BEST:: SOT 49552 SOS 26693 HAS SOPS 26693 HAS SOUS 24013 HAS SOUPS 24013 WITH SCORE 24039.693
AT ITER 3467 NEW BEST:: SOT 49552 SOS 26681 HAS SOPS 26681 HAS SOUS 24007 HAS SOUPS 24007 WITH SCORE 24033.681
AT ITER 3469 NEW BEST:: SOT 49552 SOS 26704 HAS SOPS 26704 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24028.704
AT ITER 3470 NEW BEST:: SOT 49550 SOS 26702 HAS SOPS 26702 HAS SOUS 24000 HAS SOUPS 24000 WITH SCORE 24026.702
AT ITER 3484 NEW BEST:: SOT 49550 SOS 26672 HAS SOPS 26672 HAS SOUS 23951 HAS SOUPS 23951 WITH SCORE 23977.672
AT ITER 3536 NEW BEST:: SOT 49547 SOS 26669 HAS SOPS 26669 HAS SOUS 23948 HAS SOUPS 23948 WITH SCORE 23974.669
AT ITER 3540 NEW BEST:: SOT 49455 SOS 26590 HAS SOPS 26590 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23894.59
AT ITER 3575 NEW BEST:: SOT 49455 SOS 26586 HAS SOPS 26586 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23894.586
AT ITER 3594 NEW BEST:: SOT 49455 SOS 26584 HAS SOPS 26584 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23892.584
AT ITER 3595 NEW BEST:: SOT 49452 SOS 26569 HAS SOPS 26569 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23888.569
AT ITER 3600 NEW BEST:: SOT 49452 SOS 26567 HAS SOPS 26567 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23888.567
AT ITER 3620 NEW BEST:: SOT 49484 SOS 26594 HAS SOPS 26594 HAS SOUS 23857 HAS SOUPS 23857 WITH SCORE 23883.594
AT ITER 3634 NEW BEST:: SOT 49448 SOS 26571 HAS SOPS 26571 HAS SOUS 23840 HAS SOUPS 23840 WITH SCORE 23866.571
AT ITER 3666 NEW BEST:: SOT 49395 SOS 26506 HAS SOPS 26506 HAS SOUS 23830 HAS SOUPS 23830 WITH SCORE 23856.506
AT ITER 3675 NEW BEST:: SOT 49407 SOS 26480 HAS SOPS 26480 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23854.48
AT ITER 3684 NEW BEST:: SOT 49407 SOS 26451 HAS SOPS 26451 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23854.451
AT ITER 3695 NEW BEST:: SOT 49407 SOS 26438 HAS SOPS 26438 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23854.438
AT ITER 3702 NEW BEST:: SOT 49406 SOS 26437 HAS SOPS 26437 HAS SOUS 23827 HAS SOUPS 23827 WITH SCORE 23853.437
AT ITER 3710 NEW BEST:: SOT 49406 SOS 26428 HAS SOPS 26428 HAS SOUS 23827 HAS SOUPS 23827 WITH SCORE 23853.428
AT ITER 3729 NEW BEST:: SOT 49304 SOS 26421 HAS SOPS 26421 HAS SOUS 23822 HAS SOUPS 23822 WITH SCORE 23848.421
AT ITER 3738 NEW BEST:: SOT 49304 SOS 26411 HAS SOPS 26411 HAS SOUS 23822 HAS SOUPS 23822 WITH SCORE 23848.411
AT ITER 3805 NEW BEST:: SOT 49304 SOS 26440 HAS SOPS 26440 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23847.44
AT ITER 3828 NEW BEST:: SOT 49304 SOS 26433 HAS SOPS 26433 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23840.433
AT ITER 3836 NEW BEST:: SOT 49304 SOS 26431 HAS SOPS 26431 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23840.431
AT ITER 3861 NEW BEST:: SOT 49304 SOS 26427 HAS SOPS 26427 HAS SOUS 23814 HAS SOUPS 23814 WITH SCORE 23840.427
AT ITER 3862 NEW BEST:: SOT 49304 SOS 26442 HAS SOPS 26442 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23831.442
AT ITER 3887 NEW BEST:: SOT 49302 SOS 26434 HAS SOPS 26434 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23817.434
AT ITER 3895 NEW BEST:: SOT 49236 SOS 26428 HAS SOPS 26428 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23815.428
AT ITER 3909 NEW BEST:: SOT 49236 SOS 26389 HAS SOPS 26389 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23815.389
AT ITER 3911 NEW BEST:: SOT 49235 SOS 26388 HAS SOPS 26388 HAS SOUS 23770 HAS SOUPS 23770 WITH SCORE 23796.388
AT ITER 3926 NEW BEST:: SOT 49226 SOS 26379 HAS SOPS 26379 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23789.379
AT ITER 3945 NEW BEST:: SOT 49226 SOS 26379 HAS SOPS 26379 HAS SOUS 23750 HAS SOUPS 23750 WITH SCORE 23776.379
AT ITER 3972 NEW BEST:: SOT 49226 SOS 26379 HAS SOPS 26379 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23769.379
AT ITER 3988 NEW BEST:: SOT 49226 SOS 26394 HAS SOPS 26394 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23747.394
AT ITER 3992 NEW BEST:: SOT 49226 SOS 26426 HAS SOPS 26426 HAS SOUS 23716 HAS SOUPS 23716 WITH SCORE 23742.426
AT ITER 3998 NEW BEST:: SOT 49218 SOS 26418 HAS SOPS 26418 HAS SOUS 23699 HAS SOUPS 23699 WITH SCORE 23725.418
AT ITER 4055 NEW BEST:: SOT 49226 SOS 26465 HAS SOPS 26465 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23723.465
AT ITER 4075 NEW BEST:: SOT 49226 SOS 26414 HAS SOPS 26414 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23723.414
AT ITER 4125 NEW BEST:: SOT 49226 SOS 26421 HAS SOPS 26421 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23713.421
AT ITER 4159 NEW BEST:: SOT 49196 SOS 26391 HAS SOPS 26391 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23684.391
AT ITER 4190 NEW BEST:: SOT 49196 SOS 26385 HAS SOPS 26385 HAS SOUS 23652 HAS SOUPS 23652 WITH SCORE 23678.385
AT ITER 4217 NEW BEST:: SOT 49196 SOS 26381 HAS SOPS 26381 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23674.381
AT ITER 4220 NEW BEST:: SOT 49186 SOS 26436 HAS SOPS 26436 HAS SOUS 23645 HAS SOUPS 23645 WITH SCORE 23671.436
AT ITER 4245 NEW BEST:: SOT 49171 SOS 26587 HAS SOPS 26587 HAS SOUS 23637 HAS SOUPS 23637 WITH SCORE 23663.587
AT ITER 4251 NEW BEST:: SOT 49164 SOS 26587 HAS SOPS 26587 HAS SOUS 23623 HAS SOUPS 23623 WITH SCORE 23649.587
AT ITER 4254 NEW BEST:: SOT 49164 SOS 26565 HAS SOPS 26565 HAS SOUS 23601 HAS SOUPS 23601 WITH SCORE 23627.565
AT ITER 4260 NEW BEST:: SOT 49182 SOS 26567 HAS SOPS 26567 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23621.567
AT ITER 4286 NEW BEST:: SOT 49182 SOS 26560 HAS SOPS 26560 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23614.56
AT ITER 4301 NEW BEST:: SOT 49182 SOS 26525 HAS SOPS 26525 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23606.525
AT ITER 4364 NEW BEST:: SOT 49178 SOS 26521 HAS SOPS 26521 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23602.521
AT ITER 4382 NEW BEST:: SOT 49178 SOS 26516 HAS SOPS 26516 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23602.516
AT ITER 4395 NEW BEST:: SOT 49178 SOS 26602 HAS SOPS 26602 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23587.602
AT ITER 4403 NEW BEST:: SOT 49178 SOS 26584 HAS SOPS 26584 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23581.584
AT ITER 4422 NEW BEST:: SOT 49166 SOS 26572 HAS SOPS 26572 HAS SOUS 23537 HAS SOUPS 23537 WITH SCORE 23563.572
AT ITER 4423 NEW BEST:: SOT 49166 SOS 26572 HAS SOPS 26572 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23551.572
AT ITER 4495 NEW BEST:: SOT 49166 SOS 26570 HAS SOPS 26570 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23551.57
AT ITER 4524 NEW BEST:: SOT 49153 SOS 26557 HAS SOPS 26557 HAS SOUS 23512 HAS SOUPS 23512 WITH SCORE 23538.557
AT ITER 4546 NEW BEST:: SOT 49138 SOS 26546 HAS SOPS 26546 HAS SOUS 23512 HAS SOUPS 23512 WITH SCORE 23538.546
AT ITER 4562 NEW BEST:: SOT 49138 SOS 26542 HAS SOPS 26542 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23534.542
AT ITER 4563 NEW BEST:: SOT 49124 SOS 26519 HAS SOPS 26519 HAS SOUS 23487 HAS SOUPS 23487 WITH SCORE 23513.519
AT ITER 4616 NEW BEST:: SOT 49124 SOS 26516 HAS SOPS 26516 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23510.516
AT ITER 4617 NEW BEST:: SOT 49123 SOS 26515 HAS SOPS 26515 HAS SOUS 23468 HAS SOUPS 23468 WITH SCORE 23494.515
AT ITER 4620 NEW BEST:: SOT 49095 SOS 26496 HAS SOPS 26496 HAS SOUS 23465 HAS SOUPS 23465 WITH SCORE 23491.496
AT ITER 4660 NEW BEST:: SOT 49068 SOS 26469 HAS SOPS 26469 HAS SOUS 23438 HAS SOUPS 23438 WITH SCORE 23464.469
AT ITER 4687 NEW BEST:: SOT 49060 SOS 26461 HAS SOPS 26461 HAS SOUS 23430 HAS SOUPS 23430 WITH SCORE 23456.461
AT ITER 4688 NEW BEST:: SOT 49060 SOS 26453 HAS SOPS 26453 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23449.453
AT ITER 4709 NEW BEST:: SOT 49036 SOS 26429 HAS SOPS 26429 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23388.429
AT ITER 4739 NEW BEST:: SOT 49036 SOS 26437 HAS SOPS 26437 HAS SOUS 23348 HAS SOUPS 23348 WITH SCORE 23374.437
AT ITER 4744 NEW BEST:: SOT 49037 SOS 26402 HAS SOPS 26402 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23369.402
AT ITER 4753 NEW BEST:: SOT 48950 SOS 26429 HAS SOPS 26429 HAS SOUS 23338 HAS SOUPS 23338 WITH SCORE 23364.429
AT ITER 4755 NEW BEST:: SOT 48701 SOS 26331 HAS SOPS 26331 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23226.331
AT ITER 4792 NEW BEST:: SOT 48689 SOS 26319 HAS SOPS 26319 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23214.319
AT ITER 4797 NEW BEST:: SOT 48680 SOS 26310 HAS SOPS 26310 HAS SOUS 23179 HAS SOUPS 23179 WITH SCORE 23205.31
AT ITER 4806 NEW BEST:: SOT 48678 SOS 26276 HAS SOPS 26276 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23181.276
AT ITER 4984 NEW BEST:: SOT 48678 SOS 26265 HAS SOPS 26265 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23181.265
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-15-CTLFireability-00 ( ( (! (AU( ((potential((tk(P243)>=1) & (tk(P269)>=1) & (tk(P290)>=1) & (tk(P227)>=1)))) , ((potential((tk(P250)>=1) & (tk(P266)>=1) & (tk(P301)>=1) & (tk(P231)>=1)))) ))) | (AF( (! ((potential((tk(P247)>=1) & (tk(P273)>=1) & (tk(P302)>=1) & (tk(P235)>=1))))))) ) | (EF( (AG( ( ((potential((tk(P244)>=1) & (tk(P275)>=1) & (tk(P298)>=1) & (tk(P234)>=1)))) | ((potential((tk(P250)>=1) & (tk(P275)>=1) & (tk(P310)>=1) & (tk(P240)>=1)))) ))))) )
PROPERTY: NQueens-PT-15-CTLFireability-01 (EG( (EU( ( ((potential((tk(P241)>=1) & (tk(P280)>=1) & (tk(P297)>=1) & (tk(P236)>=1)))) | ((potential((tk(P244)>=1) & (tk(P273)>=1) & (tk(P296)>=1) & (tk(P232)>=1)))) ) , ((potential((tk(P241)>=1) & (tk(P280)>=1) & (tk(P297)>=1) & (tk(P236)>=1)))) ))))
PROPERTY: NQueens-PT-15-CTLFireability-02 (AU( (AU( ((potential((tk(P242)>=1) & (tk(P276)>=1) & (tk(P295)>=1) & (tk(P233)>=1)))) , ((potential((tk(P243)>=1) & (tk(P276)>=1) & (tk(P297)>=1) & (tk(P234)>=1)))) )) , (EG( ( ((potential((tk(P245)>=1) & (tk(P268)>=1) & (tk(P293)>=1) & (tk(P228)>=1)))) | ((potential((tk(P244)>=1) & (tk(P275)>=1) & (tk(P298)>=1) & (tk(P234)>=1)))) ))) ))
PROPERTY: NQueens-PT-15-CTLFireability-03 (EF( ( (EG( ((potential((tk(P245)>=1) & (tk(P268)>=1) & (tk(P293)>=1) & (tk(P228)>=1)))))) & (! (! ((potential((tk(P245)>=1) & (tk(P279)>=1) & (tk(P304)>=1) & (tk(P239)>=1)))))) )))
PROPERTY: NQueens-PT-15-CTLFireability-04 ( (EU( (AF( ((potential((tk(P254)>=1) & (tk(P268)>=1) & (tk(P311)>=1) & (tk(P237)>=1)))))) , (AX( ((potential((tk(P245)>=1) & (tk(P274)>=1) & (tk(P299)>=1) & (tk(P234)>=1)))))) )) | (EG( ( (EF( ((potential((tk(P245)>=1) & (tk(P280)>=1) & (tk(P305)>=1) & (tk(P240)>=1)))))) & ( ( ((potential((tk(P245)>=1) & (tk(P275)>=1) & (tk(P300)>=1) & (tk(P235)>=1)))) & ((potential((tk(P252)>=1) & (tk(P268)>=1) & (tk(P307)>=1) & (tk(P235)>=1)))) ) | ((potential((tk(P246)>=1) & (tk(P275)>=1) & (tk(P302)>=1) & (tk(P236)>=1)))) ) ))) )
PROPERTY: NQueens-PT-15-CTLFireability-05 (EX( (EG( ((potential((tk(P245)>=1) & (tk(P271)>=1) & (tk(P296)>=1) & (tk(P231)>=1))))))))
PROPERTY: NQueens-PT-15-CTLFireability-06 (AU( (EX( ((potential((tk(P253)>=1) & (tk(P261)>=1) & (tk(P302)>=1) & (tk(P229)>=1)))))) , (EG( ( ((potential((tk(P246)>=1) & (tk(P270)>=1) & (tk(P297)>=1) & (tk(P231)>=1)))) | ((potential((tk(P251)>=1) & (tk(P268)>=1) & (tk(P305)>=1) & (tk(P234)>=1)))) ))) ))
PROPERTY: NQueens-PT-15-CTLFireability-07 ( (! (AX( (EF( ((potential((tk(P244)>=1) & (tk(P280)>=1) & (tk(P303)>=1) & (tk(P239)>=1))))))))) & ( ((potential((tk(P241)>=1) & (tk(P281)>=1) & (tk(P298)>=1) & (tk(P237)>=1)))) | (! ((potential((tk(P255)>=1) & (tk(P267)>=1) & (tk(P312)>=1) & (tk(P237)>=1))))) ) )
PROPERTY: NQueens-PT-15-CTLFireability-08 (AG( ( ( (AF( ((potential((tk(P250)>=1) & (tk(P274)>=1) & (tk(P309)>=1) & (tk(P239)>=1)))))) | ((potential((tk(P244)>=1) & (tk(P281)>=1) & (tk(P304)>=1) & (tk(P240)>=1)))) ) | ( ( ((potential((tk(P244)>=1) & (tk(P281)>=1) & (tk(P304)>=1) & (tk(P240)>=1)))) & (! ((potential((tk(P241)>=1) & (tk(P280)>=1) & (tk(P297)>=1) & (tk(P236)>=1))))) ) & (! ( ((potential((tk(P248)>=1) & (tk(P272)>=1) & (tk(P303)>=1) & (tk(P235)>=1)))) & ((potential((tk(P250)>=1) & (tk(P272)>=1) & (tk(P307)>=1) & (tk(P237)>=1)))) )) ) )))
PROPERTY: NQueens-PT-15-CTLFireability-09 (AF( ( (AX( ( ((potential((tk(P255)>=1) & (tk(P262)>=1) & (tk(P307)>=1) & (tk(P232)>=1)))) & ((potential((tk(P250)>=1) & (tk(P274)>=1) & (tk(P309)>=1) & (tk(P239)>=1)))) ))) & ( ((potential((tk(P251)>=1) & (tk(P271)>=1) & (tk(P308)>=1) & (tk(P237)>=1)))) & (! (! ((potential((tk(P248)>=1) & (tk(P273)>=1) & (tk(P304)>=1) & (tk(P236)>=1)))))) ) )))
PROPERTY: NQueens-PT-15-CTLFireability-10 (AG( (! (! (EF( ((potential((tk(P253)>=1) & (tk(P260)>=1) & (tk(P301)>=1) & (tk(P228)>=1))))))))))
PROPERTY: NQueens-PT-15-CTLFireability-11 ( ( (EG( (! ( ((potential((tk(P249)>=1) & (tk(P265)>=1) & (tk(P298)>=1) & (tk(P229)>=1)))) | ((potential((tk(P241)>=1) & (tk(P280)>=1) & (tk(P297)>=1) & (tk(P236)>=1)))) )))) & ((potential((tk(P249)>=1) & (tk(P274)>=1) & (tk(P307)>=1) & (tk(P238)>=1)))) ) | (EF( (! (AF( ((potential((tk(P255)>=1) & (tk(P264)>=1) & (tk(P309)>=1) & (tk(P234)>=1))))))))) )
PROPERTY: NQueens-PT-15-CTLFireability-12 (EG( ( (EU( ((potential((tk(P242)>=1) & (tk(P269)>=1) & (tk(P288)>=1) & (tk(P226)>=1)))) , ((potential((tk(P243)>=1) & (tk(P275)>=1) & (tk(P296)>=1) & (tk(P233)>=1)))) )) | ( (EF( ((potential((tk(P246)>=1) & (tk(P279)>=1) & (tk(P306)>=1) & (tk(P240)>=1)))))) | (! ((potential((tk(P249)>=1) & (tk(P265)>=1) & (tk(P298)>=1) & (tk(P229)>=1))))) ) )))
PROPERTY: NQueens-PT-15-CTLFireability-13 (EF( (EG( ( ( ((potential((tk(P248)>=1) & (tk(P266)>=1) & (tk(P297)>=1) & (tk(P229)>=1)))) | ((potential((tk(P252)>=1) & (tk(P268)>=1) & (tk(P307)>=1) & (tk(P235)>=1)))) ) & (! ((potential((tk(P253)>=1) & (tk(P261)>=1) & (tk(P302)>=1) & (tk(P229)>=1))))) )))))
PROPERTY: NQueens-PT-15-CTLFireability-14 (AG( ( (AF( ( ((potential((tk(P249)>=1) & (tk(P271)>=1) & (tk(P304)>=1) & (tk(P235)>=1)))) | ((potential((tk(P249)>=1) & (tk(P269)>=1) & (tk(P302)>=1) & (tk(P233)>=1)))) ))) | (! ((potential((tk(P241)>=1) & (tk(P280)>=1) & (tk(P297)>=1) & (tk(P236)>=1))))) )))
PROPERTY: NQueens-PT-15-CTLFireability-15 (! (EF( (EG( ((potential((tk(P243)>=1) & (tk(P279)>=1) & (tk(P300)>=1) & (tk(P237)>=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-15"
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-15, 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-158961250100148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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