About the Execution of smart for BusinessProcesses-PT-11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.640 | 3600000.00 | 3599970.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 '/data/fko/mcc2020-input.r018-oct2-158897680100531.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-11, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100531
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 141K 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 BusinessProcesses-PT-11-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-11-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589019768044
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 11
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 567 places, 508 transitions, 1512 arcs.
AT ITER 0 NEW BEST:: SOT 183845 SOS 71447 HAS SOPS 71447 HAS SOUS 69467 HAS SOUPS 69467 WITH SCORE 69538.447
AT ITER 5 NEW BEST:: SOT 183845 SOS 71371 HAS SOPS 71371 HAS SOUS 69391 HAS SOUPS 69391 WITH SCORE 69462.371
AT ITER 6 NEW BEST:: SOT 183836 SOS 71344 HAS SOPS 71344 HAS SOUS 69373 HAS SOUPS 69373 WITH SCORE 69444.344
AT ITER 7 NEW BEST:: SOT 183835 SOS 71342 HAS SOPS 71342 HAS SOUS 69371 HAS SOUPS 69371 WITH SCORE 69442.342
AT ITER 10 NEW BEST:: SOT 183835 SOS 71262 HAS SOPS 71262 HAS SOUS 69291 HAS SOUPS 69291 WITH SCORE 69362.262
AT ITER 16 NEW BEST:: SOT 183648 SOS 71178 HAS SOPS 71178 HAS SOUS 69157 HAS SOUPS 69157 WITH SCORE 69228.178
AT ITER 17 NEW BEST:: SOT 180396 SOS 68227 HAS SOPS 68227 HAS SOUS 66161 HAS SOUPS 66161 WITH SCORE 66229.227
AT ITER 21 NEW BEST:: SOT 180443 SOS 67933 HAS SOPS 67933 HAS SOUS 65867 HAS SOUPS 65867 WITH SCORE 65934.933
AT ITER 22 NEW BEST:: SOT 180442 SOS 67883 HAS SOPS 67883 HAS SOUS 65817 HAS SOUPS 65817 WITH SCORE 65884.883
AT ITER 23 NEW BEST:: SOT 180428 SOS 67855 HAS SOPS 67855 HAS SOUS 65789 HAS SOUPS 65789 WITH SCORE 65856.855
AT ITER 30 NEW BEST:: SOT 180196 SOS 67570 HAS SOPS 67570 HAS SOUS 65554 HAS SOUPS 65554 WITH SCORE 65621.57
AT ITER 32 NEW BEST:: SOT 180038 SOS 67159 HAS SOPS 67159 HAS SOUS 65143 HAS SOUPS 65143 WITH SCORE 65210.159
AT ITER 40 NEW BEST:: SOT 179249 SOS 66385 HAS SOPS 66385 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64435.385
AT ITER 45 NEW BEST:: SOT 179249 SOS 66384 HAS SOPS 66384 HAS SOUS 64368 HAS SOUPS 64368 WITH SCORE 64434.384
AT ITER 46 NEW BEST:: SOT 179249 SOS 66380 HAS SOPS 66380 HAS SOUS 64364 HAS SOUPS 64364 WITH SCORE 64430.38
AT ITER 59 NEW BEST:: SOT 179219 SOS 66342 HAS SOPS 66342 HAS SOUS 64326 HAS SOUPS 64326 WITH SCORE 64392.342
AT ITER 63 NEW BEST:: SOT 177047 SOS 64302 HAS SOPS 64302 HAS SOUS 62252 HAS SOUPS 62252 WITH SCORE 62316.302
AT ITER 65 NEW BEST:: SOT 176875 SOS 64144 HAS SOPS 64144 HAS SOUS 62110 HAS SOUPS 62110 WITH SCORE 62174.144
AT ITER 70 NEW BEST:: SOT 176869 SOS 64138 HAS SOPS 64138 HAS SOUS 62109 HAS SOUPS 62109 WITH SCORE 62173.138
AT ITER 77 NEW BEST:: SOT 176898 SOS 63715 HAS SOPS 63715 HAS SOUS 61858 HAS SOUPS 61858 WITH SCORE 61921.715
AT ITER 82 NEW BEST:: SOT 176895 SOS 63692 HAS SOPS 63692 HAS SOUS 61835 HAS SOUPS 61835 WITH SCORE 61898.692
AT ITER 84 NEW BEST:: SOT 176864 SOS 63563 HAS SOPS 63563 HAS SOUS 61706 HAS SOUPS 61706 WITH SCORE 61769.563
AT ITER 92 NEW BEST:: SOT 176810 SOS 63455 HAS SOPS 63455 HAS SOUS 61598 HAS SOUPS 61598 WITH SCORE 61661.455
AT ITER 96 NEW BEST:: SOT 176662 SOS 63208 HAS SOPS 63208 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61414.208
AT ITER 99 NEW BEST:: SOT 176662 SOS 63197 HAS SOPS 63197 HAS SOUS 61340 HAS SOUPS 61340 WITH SCORE 61403.197
AT ITER 100 NEW BEST:: SOT 176588 SOS 63049 HAS SOPS 63049 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61255.049
AT ITER 116 NEW BEST:: SOT 176430 SOS 62921 HAS SOPS 62921 HAS SOUS 61064 HAS SOUPS 61064 WITH SCORE 61126.921
AT ITER 118 NEW BEST:: SOT 176406 SOS 62896 HAS SOPS 62896 HAS SOUS 61039 HAS SOUPS 61039 WITH SCORE 61101.896
AT ITER 130 NEW BEST:: SOT 176281 SOS 62770 HAS SOPS 62770 HAS SOUS 60913 HAS SOUPS 60913 WITH SCORE 60975.77
AT ITER 133 NEW BEST:: SOT 176281 SOS 62607 HAS SOPS 62607 HAS SOUS 60750 HAS SOUPS 60750 WITH SCORE 60812.607
AT ITER 142 NEW BEST:: SOT 176281 SOS 62591 HAS SOPS 62591 HAS SOUS 60734 HAS SOUPS 60734 WITH SCORE 60796.591
AT ITER 143 NEW BEST:: SOT 176275 SOS 62539 HAS SOPS 62539 HAS SOUS 60682 HAS SOUPS 60682 WITH SCORE 60744.539
AT ITER 149 NEW BEST:: SOT 174126 SOS 71465 HAS SOPS 71465 HAS SOUS 58866 HAS SOUPS 58866 WITH SCORE 58937.465
AT ITER 151 NEW BEST:: SOT 174136 SOS 71360 HAS SOPS 71360 HAS SOUS 58761 HAS SOUPS 58761 WITH SCORE 58832.36
AT ITER 158 NEW BEST:: SOT 174136 SOS 71235 HAS SOPS 71235 HAS SOUS 58636 HAS SOUPS 58636 WITH SCORE 58707.235
AT ITER 176 NEW BEST:: SOT 174115 SOS 71194 HAS SOPS 71194 HAS SOUS 58544 HAS SOUPS 58544 WITH SCORE 58615.194
AT ITER 179 NEW BEST:: SOT 174050 SOS 71126 HAS SOPS 71126 HAS SOUS 58538 HAS SOUPS 58538 WITH SCORE 58609.126
AT ITER 183 NEW BEST:: SOT 173795 SOS 70679 HAS SOPS 70679 HAS SOUS 58189 HAS SOUPS 58189 WITH SCORE 58259.679
AT ITER 195 NEW BEST:: SOT 173627 SOS 70343 HAS SOPS 70343 HAS SOUS 58012 HAS SOUPS 58012 WITH SCORE 58082.343
AT ITER 203 NEW BEST:: SOT 173506 SOS 70222 HAS SOPS 70222 HAS SOUS 57891 HAS SOUPS 57891 WITH SCORE 57961.222
AT ITER 206 NEW BEST:: SOT 173493 SOS 70221 HAS SOPS 70221 HAS SOUS 57890 HAS SOUPS 57890 WITH SCORE 57960.221
AT ITER 209 NEW BEST:: SOT 173442 SOS 69979 HAS SOPS 69979 HAS SOUS 57697 HAS SOUPS 57697 WITH SCORE 57766.979
AT ITER 218 NEW BEST:: SOT 173441 SOS 69978 HAS SOPS 69978 HAS SOUS 57696 HAS SOUPS 57696 WITH SCORE 57765.978
AT ITER 220 NEW BEST:: SOT 173440 SOS 69976 HAS SOPS 69976 HAS SOUS 57694 HAS SOUPS 57694 WITH SCORE 57763.976
AT ITER 221 NEW BEST:: SOT 173440 SOS 69959 HAS SOPS 69959 HAS SOUS 57677 HAS SOUPS 57677 WITH SCORE 57746.959
AT ITER 228 NEW BEST:: SOT 172921 SOS 69453 HAS SOPS 69453 HAS SOUS 57260 HAS SOUPS 57260 WITH SCORE 57329.453
AT ITER 243 NEW BEST:: SOT 172920 SOS 69323 HAS SOPS 69323 HAS SOUS 57147 HAS SOUPS 57147 WITH SCORE 57216.323
AT ITER 267 NEW BEST:: SOT 172978 SOS 69381 HAS SOPS 69381 HAS SOUS 57111 HAS SOUPS 57111 WITH SCORE 57180.381
AT ITER 268 NEW BEST:: SOT 172977 SOS 69380 HAS SOPS 69380 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57179.38
AT ITER 273 NEW BEST:: SOT 172950 SOS 69373 HAS SOPS 69373 HAS SOUS 57103 HAS SOUPS 57103 WITH SCORE 57172.373
AT ITER 275 NEW BEST:: SOT 172947 SOS 69367 HAS SOPS 69367 HAS SOUS 57100 HAS SOUPS 57100 WITH SCORE 57169.367
AT ITER 284 NEW BEST:: SOT 172961 SOS 69380 HAS SOPS 69380 HAS SOUS 57032 HAS SOUPS 57032 WITH SCORE 57101.38
AT ITER 293 NEW BEST:: SOT 172851 SOS 69270 HAS SOPS 69270 HAS SOUS 56922 HAS SOUPS 56922 WITH SCORE 56991.27
AT ITER 303 NEW BEST:: SOT 172830 SOS 69222 HAS SOPS 69222 HAS SOUS 56905 HAS SOUPS 56905 WITH SCORE 56974.222
AT ITER 305 NEW BEST:: SOT 172733 SOS 69179 HAS SOPS 69179 HAS SOUS 56763 HAS SOUPS 56763 WITH SCORE 56832.179
AT ITER 309 NEW BEST:: SOT 172732 SOS 68974 HAS SOPS 68974 HAS SOUS 56558 HAS SOUPS 56558 WITH SCORE 56626.974
AT ITER 311 NEW BEST:: SOT 172674 SOS 68916 HAS SOPS 68916 HAS SOUS 56500 HAS SOUPS 56500 WITH SCORE 56568.916
AT ITER 315 NEW BEST:: SOT 172546 SOS 68660 HAS SOPS 68660 HAS SOUS 56372 HAS SOUPS 56372 WITH SCORE 56440.66
AT ITER 327 NEW BEST:: SOT 172481 SOS 68510 HAS SOPS 68510 HAS SOUS 56222 HAS SOUPS 56222 WITH SCORE 56290.51
AT ITER 328 NEW BEST:: SOT 172325 SOS 68270 HAS SOPS 68270 HAS SOUS 56090 HAS SOUPS 56090 WITH SCORE 56158.27
AT ITER 337 NEW BEST:: SOT 172236 SOS 68180 HAS SOPS 68180 HAS SOUS 56088 HAS SOUPS 56088 WITH SCORE 56156.18
AT ITER 344 NEW BEST:: SOT 172191 SOS 68090 HAS SOPS 68090 HAS SOUS 56043 HAS SOUPS 56043 WITH SCORE 56111.09
AT ITER 353 NEW BEST:: SOT 172172 SOS 68081 HAS SOPS 68081 HAS SOUS 56034 HAS SOUPS 56034 WITH SCORE 56102.081
AT ITER 356 NEW BEST:: SOT 172167 SOS 68076 HAS SOPS 68076 HAS SOUS 56029 HAS SOUPS 56029 WITH SCORE 56097.076
AT ITER 357 NEW BEST:: SOT 172192 SOS 67907 HAS SOPS 67907 HAS SOUS 55860 HAS SOUPS 55860 WITH SCORE 55927.907
AT ITER 358 NEW BEST:: SOT 172132 SOS 67771 HAS SOPS 67771 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55912.771
AT ITER 381 NEW BEST:: SOT 172260 SOS 67729 HAS SOPS 67729 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55870.729
AT ITER 383 NEW BEST:: SOT 172246 SOS 67701 HAS SOPS 67701 HAS SOUS 55775 HAS SOUPS 55775 WITH SCORE 55842.701
AT ITER 386 NEW BEST:: SOT 172230 SOS 67669 HAS SOPS 67669 HAS SOUS 55759 HAS SOUPS 55759 WITH SCORE 55826.669
AT ITER 410 NEW BEST:: SOT 172230 SOS 67523 HAS SOPS 67523 HAS SOUS 55753 HAS SOUPS 55753 WITH SCORE 55820.523
AT ITER 420 NEW BEST:: SOT 172230 SOS 67389 HAS SOPS 67389 HAS SOUS 55753 HAS SOUPS 55753 WITH SCORE 55820.389
AT ITER 422 NEW BEST:: SOT 172239 SOS 67407 HAS SOPS 67407 HAS SOUS 55740 HAS SOUPS 55740 WITH SCORE 55807.407
AT ITER 429 NEW BEST:: SOT 172239 SOS 67399 HAS SOPS 67399 HAS SOUS 55734 HAS SOUPS 55734 WITH SCORE 55801.399
AT ITER 430 NEW BEST:: SOT 172075 SOS 67231 HAS SOPS 67231 HAS SOUS 55726 HAS SOUPS 55726 WITH SCORE 55793.231
AT ITER 437 NEW BEST:: SOT 172075 SOS 67157 HAS SOPS 67157 HAS SOUS 55652 HAS SOUPS 55652 WITH SCORE 55719.157
AT ITER 446 NEW BEST:: SOT 171722 SOS 67594 HAS SOPS 67594 HAS SOUS 55569 HAS SOUPS 55569 WITH SCORE 55636.594
AT ITER 458 NEW BEST:: SOT 171602 SOS 67473 HAS SOPS 67473 HAS SOUS 55567 HAS SOUPS 55567 WITH SCORE 55634.473
AT ITER 459 NEW BEST:: SOT 171488 SOS 67332 HAS SOPS 67332 HAS SOUS 55497 HAS SOUPS 55497 WITH SCORE 55564.332
AT ITER 467 NEW BEST:: SOT 171475 SOS 67319 HAS SOPS 67319 HAS SOUS 55484 HAS SOUPS 55484 WITH SCORE 55551.319
AT ITER 468 NEW BEST:: SOT 171481 SOS 67317 HAS SOPS 67317 HAS SOUS 55482 HAS SOUPS 55482 WITH SCORE 55549.317
AT ITER 472 NEW BEST:: SOT 171481 SOS 67289 HAS SOPS 67289 HAS SOUS 55454 HAS SOUPS 55454 WITH SCORE 55521.289
AT ITER 486 NEW BEST:: SOT 171473 SOS 67281 HAS SOPS 67281 HAS SOUS 55446 HAS SOUPS 55446 WITH SCORE 55513.281
AT ITER 489 NEW BEST:: SOT 171453 SOS 67261 HAS SOPS 67261 HAS SOUS 55426 HAS SOUPS 55426 WITH SCORE 55493.261
AT ITER 497 NEW BEST:: SOT 171402 SOS 67180 HAS SOPS 67180 HAS SOUS 55348 HAS SOUPS 55348 WITH SCORE 55415.18
AT ITER 500 NEW BEST:: SOT 171293 SOS 67060 HAS SOPS 67060 HAS SOUS 55228 HAS SOUPS 55228 WITH SCORE 55295.06
AT ITER 504 NEW BEST:: SOT 171232 SOS 66938 HAS SOPS 66938 HAS SOUS 55126 HAS SOUPS 55126 WITH SCORE 55192.938
AT ITER 510 NEW BEST:: SOT 171216 SOS 66857 HAS SOPS 66857 HAS SOUS 55066 HAS SOUPS 55066 WITH SCORE 55132.857
AT ITER 520 NEW BEST:: SOT 171127 SOS 66783 HAS SOPS 66783 HAS SOUS 55029 HAS SOUPS 55029 WITH SCORE 55095.783
AT ITER 532 NEW BEST:: SOT 171119 SOS 66765 HAS SOPS 66765 HAS SOUS 55011 HAS SOUPS 55011 WITH SCORE 55077.765
AT ITER 548 NEW BEST:: SOT 171119 SOS 66677 HAS SOPS 66677 HAS SOUS 54923 HAS SOUPS 54923 WITH SCORE 54989.677
AT ITER 593 NEW BEST:: SOT 171079 SOS 66637 HAS SOPS 66637 HAS SOUS 54883 HAS SOUPS 54883 WITH SCORE 54949.637
AT ITER 595 NEW BEST:: SOT 170910 SOS 66299 HAS SOPS 66299 HAS SOUS 54665 HAS SOUPS 54665 WITH SCORE 54731.299
AT ITER 596 NEW BEST:: SOT 170943 SOS 66273 HAS SOPS 66273 HAS SOUS 54639 HAS SOUPS 54639 WITH SCORE 54705.273
AT ITER 598 NEW BEST:: SOT 170982 SOS 66165 HAS SOPS 66165 HAS SOUS 54594 HAS SOUPS 54594 WITH SCORE 54660.165
AT ITER 617 NEW BEST:: SOT 171038 SOS 66148 HAS SOPS 66148 HAS SOUS 54554 HAS SOUPS 54554 WITH SCORE 54620.148
AT ITER 619 NEW BEST:: SOT 171094 SOS 66173 HAS SOPS 66173 HAS SOUS 54543 HAS SOUPS 54543 WITH SCORE 54609.173
AT ITER 648 NEW BEST:: SOT 171094 SOS 65981 HAS SOPS 65981 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54482.981
AT ITER 653 NEW BEST:: SOT 171114 SOS 66021 HAS SOPS 66021 HAS SOUS 54328 HAS SOUPS 54328 WITH SCORE 54394.021
AT ITER 657 NEW BEST:: SOT 171005 SOS 65973 HAS SOPS 65973 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54345.973
AT ITER 679 NEW BEST:: SOT 170982 SOS 65927 HAS SOPS 65927 HAS SOUS 54234 HAS SOUPS 54234 WITH SCORE 54299.927
AT ITER 681 NEW BEST:: SOT 170982 SOS 65927 HAS SOPS 65927 HAS SOUS 54145 HAS SOUPS 54145 WITH SCORE 54210.927
AT ITER 687 NEW BEST:: SOT 170920 SOS 65800 HAS SOPS 65800 HAS SOUS 54018 HAS SOUPS 54018 WITH SCORE 54083.8
AT ITER 688 NEW BEST:: SOT 170918 SOS 65798 HAS SOPS 65798 HAS SOUS 54016 HAS SOUPS 54016 WITH SCORE 54081.798
AT ITER 694 NEW BEST:: SOT 170911 SOS 65733 HAS SOPS 65733 HAS SOUS 53951 HAS SOUPS 53951 WITH SCORE 54016.733
AT ITER 702 NEW BEST:: SOT 170953 SOS 65692 HAS SOPS 65692 HAS SOUS 53823 HAS SOUPS 53823 WITH SCORE 53888.692
AT ITER 706 NEW BEST:: SOT 170935 SOS 65663 HAS SOPS 65663 HAS SOUS 53794 HAS SOUPS 53794 WITH SCORE 53859.663
AT ITER 710 NEW BEST:: SOT 170933 SOS 65666 HAS SOPS 65666 HAS SOUS 53790 HAS SOUPS 53790 WITH SCORE 53855.666
AT ITER 713 NEW BEST:: SOT 170758 SOS 65484 HAS SOPS 65484 HAS SOUS 53606 HAS SOUPS 53606 WITH SCORE 53671.484
AT ITER 717 NEW BEST:: SOT 170684 SOS 65334 HAS SOPS 65334 HAS SOUS 53456 HAS SOUPS 53456 WITH SCORE 53521.334
AT ITER 731 NEW BEST:: SOT 170675 SOS 65422 HAS SOPS 65422 HAS SOUS 53430 HAS SOUPS 53430 WITH SCORE 53495.422
AT ITER 742 NEW BEST:: SOT 170658 SOS 65388 HAS SOPS 65388 HAS SOUS 53396 HAS SOUPS 53396 WITH SCORE 53461.388
AT ITER 758 NEW BEST:: SOT 170673 SOS 65418 HAS SOPS 65418 HAS SOUS 53385 HAS SOUPS 53385 WITH SCORE 53450.418
AT ITER 767 NEW BEST:: SOT 170553 SOS 65302 HAS SOPS 65302 HAS SOUS 53331 HAS SOUPS 53331 WITH SCORE 53396.302
AT ITER 774 NEW BEST:: SOT 170511 SOS 65285 HAS SOPS 65285 HAS SOUS 53309 HAS SOUPS 53309 WITH SCORE 53374.285
AT ITER 782 NEW BEST:: SOT 170547 SOS 65180 HAS SOPS 65180 HAS SOUS 53204 HAS SOUPS 53204 WITH SCORE 53269.18
AT ITER 803 NEW BEST:: SOT 170458 SOS 65139 HAS SOPS 65139 HAS SOUS 53163 HAS SOUPS 53163 WITH SCORE 53228.139
AT ITER 808 NEW BEST:: SOT 170645 SOS 65106 HAS SOPS 65106 HAS SOUS 53130 HAS SOUPS 53130 WITH SCORE 53195.106
AT ITER 810 NEW BEST:: SOT 170635 SOS 65086 HAS SOPS 65086 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53175.086
AT ITER 819 NEW BEST:: SOT 170609 SOS 65034 HAS SOPS 65034 HAS SOUS 53100 HAS SOUPS 53100 WITH SCORE 53165.034
AT ITER 820 NEW BEST:: SOT 170609 SOS 65034 HAS SOPS 65034 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53124.034
AT ITER 821 NEW BEST:: SOT 170595 SOS 65006 HAS SOPS 65006 HAS SOUS 52994 HAS SOUPS 52994 WITH SCORE 53059.006
AT ITER 823 NEW BEST:: SOT 170595 SOS 64774 HAS SOPS 64774 HAS SOUS 52878 HAS SOUPS 52878 WITH SCORE 52942.774
AT ITER 839 NEW BEST:: SOT 170365 SOS 64547 HAS SOPS 64547 HAS SOUS 52860 HAS SOUPS 52860 WITH SCORE 52924.547
AT ITER 851 NEW BEST:: SOT 170411 SOS 64463 HAS SOPS 64463 HAS SOUS 52773 HAS SOUPS 52773 WITH SCORE 52837.463
AT ITER 856 NEW BEST:: SOT 170444 SOS 64418 HAS SOPS 64418 HAS SOUS 52728 HAS SOUPS 52728 WITH SCORE 52792.418
AT ITER 862 NEW BEST:: SOT 170464 SOS 64458 HAS SOPS 64458 HAS SOUS 52701 HAS SOUPS 52701 WITH SCORE 52765.458
AT ITER 873 NEW BEST:: SOT 170573 SOS 64567 HAS SOPS 64567 HAS SOUS 52681 HAS SOUPS 52681 WITH SCORE 52745.567
AT ITER 877 NEW BEST:: SOT 170392 SOS 64208 HAS SOPS 64208 HAS SOUS 52130 HAS SOUPS 52130 WITH SCORE 52194.208
AT ITER 881 NEW BEST:: SOT 170357 SOS 64138 HAS SOPS 64138 HAS SOUS 52025 HAS SOUPS 52025 WITH SCORE 52089.138
AT ITER 882 NEW BEST:: SOT 170277 SOS 63898 HAS SOPS 63898 HAS SOUS 51834 HAS SOUPS 51834 WITH SCORE 51897.898
AT ITER 896 NEW BEST:: SOT 170181 SOS 63792 HAS SOPS 63792 HAS SOUS 51793 HAS SOUPS 51793 WITH SCORE 51856.792
AT ITER 916 NEW BEST:: SOT 170130 SOS 63741 HAS SOPS 63741 HAS SOUS 51744 HAS SOUPS 51744 WITH SCORE 51807.741
AT ITER 923 NEW BEST:: SOT 170098 SOS 63725 HAS SOPS 63725 HAS SOUS 51728 HAS SOUPS 51728 WITH SCORE 51791.725
AT ITER 928 NEW BEST:: SOT 170095 SOS 63721 HAS SOPS 63721 HAS SOUS 51724 HAS SOUPS 51724 WITH SCORE 51787.721
AT ITER 935 NEW BEST:: SOT 170095 SOS 63720 HAS SOPS 63720 HAS SOUS 51723 HAS SOUPS 51723 WITH SCORE 51786.72
AT ITER 937 NEW BEST:: SOT 168527 SOS 61981 HAS SOPS 61981 HAS SOUS 50082 HAS SOUPS 50082 WITH SCORE 50143.981
AT ITER 943 NEW BEST:: SOT 168566 SOS 61978 HAS SOPS 61978 HAS SOUS 50079 HAS SOUPS 50079 WITH SCORE 50140.978
AT ITER 944 NEW BEST:: SOT 168534 SOS 61914 HAS SOPS 61914 HAS SOUS 50047 HAS SOUPS 50047 WITH SCORE 50108.914
AT ITER 953 NEW BEST:: SOT 168507 SOS 61776 HAS SOPS 61776 HAS SOUS 49987 HAS SOUPS 49987 WITH SCORE 50048.776
AT ITER 957 NEW BEST:: SOT 168467 SOS 61728 HAS SOPS 61728 HAS SOUS 49939 HAS SOUPS 49939 WITH SCORE 50000.728
AT ITER 980 NEW BEST:: SOT 166658 SOS 59731 HAS SOPS 59731 HAS SOUS 47942 HAS SOUPS 47942 WITH SCORE 48001.731
AT ITER 981 NEW BEST:: SOT 166524 SOS 59459 HAS SOPS 59459 HAS SOUS 47670 HAS SOUPS 47670 WITH SCORE 47729.459
AT ITER 985 NEW BEST:: SOT 166357 SOS 59218 HAS SOPS 59218 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47488.218
AT ITER 999 NEW BEST:: SOT 166386 SOS 59247 HAS SOPS 59247 HAS SOUS 47414 HAS SOUPS 47414 WITH SCORE 47473.247
AT ITER 1007 NEW BEST:: SOT 166354 SOS 59183 HAS SOPS 59183 HAS SOUS 47350 HAS SOUPS 47350 WITH SCORE 47409.183
AT ITER 1008 NEW BEST:: SOT 166355 SOS 59052 HAS SOPS 59052 HAS SOUS 47169 HAS SOUPS 47169 WITH SCORE 47228.052
AT ITER 1009 NEW BEST:: SOT 166309 SOS 59027 HAS SOPS 59027 HAS SOUS 47144 HAS SOUPS 47144 WITH SCORE 47203.027
AT ITER 1042 NEW BEST:: SOT 166291 SOS 59020 HAS SOPS 59020 HAS SOUS 47137 HAS SOUPS 47137 WITH SCORE 47196.02
AT ITER 1044 NEW BEST:: SOT 166291 SOS 59019 HAS SOPS 59019 HAS SOUS 47136 HAS SOUPS 47136 WITH SCORE 47195.019
AT ITER 1050 NEW BEST:: SOT 166287 SOS 59006 HAS SOPS 59006 HAS SOUS 47123 HAS SOUPS 47123 WITH SCORE 47182.006
AT ITER 1059 NEW BEST:: SOT 165485 SOS 58311 HAS SOPS 58311 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46524.311
AT ITER 1063 NEW BEST:: SOT 165473 SOS 58308 HAS SOPS 58308 HAS SOUS 46463 HAS SOUPS 46463 WITH SCORE 46521.308
AT ITER 1076 NEW BEST:: SOT 165324 SOS 58151 HAS SOPS 58151 HAS SOUS 46306 HAS SOUPS 46306 WITH SCORE 46364.151
AT ITER 1089 NEW BEST:: SOT 165295 SOS 58122 HAS SOPS 58122 HAS SOUS 46277 HAS SOUPS 46277 WITH SCORE 46335.122
AT ITER 1100 NEW BEST:: SOT 165268 SOS 58082 HAS SOPS 58082 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46309.082
AT ITER 1102 NEW BEST:: SOT 165274 SOS 58041 HAS SOPS 58041 HAS SOUS 46152 HAS SOUPS 46152 WITH SCORE 46210.041
AT ITER 1103 NEW BEST:: SOT 165268 SOS 58029 HAS SOPS 58029 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46198.029
AT ITER 1106 NEW BEST:: SOT 165194 SOS 57827 HAS SOPS 57827 HAS SOUS 46125 HAS SOUPS 46125 WITH SCORE 46182.827
AT ITER 1115 NEW BEST:: SOT 165175 SOS 57770 HAS SOPS 57770 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46125.77
AT ITER 1118 NEW BEST:: SOT 165175 SOS 57767 HAS SOPS 57767 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46125.767
AT ITER 1120 NEW BEST:: SOT 165063 SOS 57543 HAS SOPS 57543 HAS SOUS 45973 HAS SOUPS 45973 WITH SCORE 46030.543
AT ITER 1129 NEW BEST:: SOT 165063 SOS 57543 HAS SOPS 57543 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45972.543
AT ITER 1164 NEW BEST:: SOT 165060 SOS 57540 HAS SOPS 57540 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45969.54
AT ITER 1169 NEW BEST:: SOT 164952 SOS 57443 HAS SOPS 57443 HAS SOUS 45815 HAS SOUPS 45815 WITH SCORE 45872.443
AT ITER 1180 NEW BEST:: SOT 164952 SOS 57332 HAS SOPS 57332 HAS SOUS 45704 HAS SOUPS 45704 WITH SCORE 45761.332
AT ITER 1187 NEW BEST:: SOT 164952 SOS 57132 HAS SOPS 57132 HAS SOUS 45650 HAS SOUPS 45650 WITH SCORE 45707.132
AT ITER 1204 NEW BEST:: SOT 164930 SOS 57088 HAS SOPS 57088 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45694.088
AT ITER 1210 NEW BEST:: SOT 164865 SOS 57023 HAS SOPS 57023 HAS SOUS 45572 HAS SOUPS 45572 WITH SCORE 45629.023
AT ITER 1234 NEW BEST:: SOT 164865 SOS 57013 HAS SOPS 57013 HAS SOUS 45552 HAS SOUPS 45552 WITH SCORE 45609.013
AT ITER 1235 NEW BEST:: SOT 164865 SOS 57002 HAS SOPS 57002 HAS SOUS 45515 HAS SOUPS 45515 WITH SCORE 45572.002
AT ITER 1238 NEW BEST:: SOT 164882 SOS 56989 HAS SOPS 56989 HAS SOUS 45475 HAS SOUPS 45475 WITH SCORE 45531.989
AT ITER 1241 NEW BEST:: SOT 164887 SOS 56990 HAS SOPS 56990 HAS SOUS 45469 HAS SOUPS 45469 WITH SCORE 45525.99
AT ITER 1257 NEW BEST:: SOT 164870 SOS 56980 HAS SOPS 56980 HAS SOUS 45459 HAS SOUPS 45459 WITH SCORE 45515.98
AT ITER 1259 NEW BEST:: SOT 164902 SOS 56965 HAS SOPS 56965 HAS SOUS 45444 HAS SOUPS 45444 WITH SCORE 45500.965
AT ITER 1277 NEW BEST:: SOT 164540 SOS 56433 HAS SOPS 56433 HAS SOUS 45104 HAS SOUPS 45104 WITH SCORE 45160.433
AT ITER 1282 NEW BEST:: SOT 164514 SOS 56381 HAS SOPS 56381 HAS SOUS 45052 HAS SOUPS 45052 WITH SCORE 45108.381
AT ITER 1310 NEW BEST:: SOT 164529 SOS 56241 HAS SOPS 56241 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45031.241
AT ITER 1321 NEW BEST:: SOT 164494 SOS 56205 HAS SOPS 56205 HAS SOUS 44939 HAS SOUPS 44939 WITH SCORE 44995.205
AT ITER 1324 NEW BEST:: SOT 164417 SOS 56051 HAS SOPS 56051 HAS SOUS 44919 HAS SOUPS 44919 WITH SCORE 44975.051
AT ITER 1325 NEW BEST:: SOT 164432 SOS 56007 HAS SOPS 56007 HAS SOUS 44875 HAS SOUPS 44875 WITH SCORE 44931.007
AT ITER 1335 NEW BEST:: SOT 164368 SOS 55866 HAS SOPS 55866 HAS SOUS 44811 HAS SOUPS 44811 WITH SCORE 44866.866
AT ITER 1339 NEW BEST:: SOT 164356 SOS 55847 HAS SOPS 55847 HAS SOUS 44799 HAS SOUPS 44799 WITH SCORE 44854.847
AT ITER 1343 NEW BEST:: SOT 164347 SOS 55829 HAS SOPS 55829 HAS SOUS 44781 HAS SOUPS 44781 WITH SCORE 44836.829
AT ITER 1354 NEW BEST:: SOT 164347 SOS 55817 HAS SOPS 55817 HAS SOUS 44769 HAS SOUPS 44769 WITH SCORE 44824.817
AT ITER 1366 NEW BEST:: SOT 164367 SOS 55820 HAS SOPS 55820 HAS SOUS 44768 HAS SOUPS 44768 WITH SCORE 44823.82
AT ITER 1381 NEW BEST:: SOT 164372 SOS 55830 HAS SOPS 55830 HAS SOUS 44632 HAS SOUPS 44632 WITH SCORE 44687.83
AT ITER 1390 NEW BEST:: SOT 164301 SOS 55739 HAS SOPS 55739 HAS SOUS 44592 HAS SOUPS 44592 WITH SCORE 44647.739
AT ITER 1414 NEW BEST:: SOT 164275 SOS 55756 HAS SOPS 55756 HAS SOUS 44575 HAS SOUPS 44575 WITH SCORE 44630.756
AT ITER 1424 NEW BEST:: SOT 164016 SOS 55497 HAS SOPS 55497 HAS SOUS 44461 HAS SOUPS 44461 WITH SCORE 44516.497
AT ITER 1434 NEW BEST:: SOT 164016 SOS 55497 HAS SOPS 55497 HAS SOUS 44448 HAS SOUPS 44448 WITH SCORE 44503.497
AT ITER 1450 NEW BEST:: SOT 163997 SOS 55449 HAS SOPS 55449 HAS SOUS 44438 HAS SOUPS 44438 WITH SCORE 44493.449
AT ITER 1473 NEW BEST:: SOT 164028 SOS 55521 HAS SOPS 55521 HAS SOUS 44430 HAS SOUPS 44430 WITH SCORE 44485.521
AT ITER 1507 NEW BEST:: SOT 164081 SOS 55560 HAS SOPS 55560 HAS SOUS 44412 HAS SOUPS 44412 WITH SCORE 44467.56
AT ITER 1519 NEW BEST:: SOT 164080 SOS 55558 HAS SOPS 55558 HAS SOUS 44410 HAS SOUPS 44410 WITH SCORE 44465.558
AT ITER 1521 NEW BEST:: SOT 163989 SOS 55500 HAS SOPS 55500 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44407.5
AT ITER 1528 NEW BEST:: SOT 163974 SOS 55485 HAS SOPS 55485 HAS SOUS 44337 HAS SOUPS 44337 WITH SCORE 44392.485
AT ITER 1529 NEW BEST:: SOT 163966 SOS 55496 HAS SOPS 55496 HAS SOUS 44329 HAS SOUPS 44329 WITH SCORE 44384.496
AT ITER 1540 NEW BEST:: SOT 163966 SOS 55493 HAS SOPS 55493 HAS SOUS 44323 HAS SOUPS 44323 WITH SCORE 44378.493
AT ITER 1544 NEW BEST:: SOT 163964 SOS 55491 HAS SOPS 55491 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44376.491
AT ITER 1553 NEW BEST:: SOT 163919 SOS 55446 HAS SOPS 55446 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44376.446
AT ITER 1558 NEW BEST:: SOT 163839 SOS 55377 HAS SOPS 55377 HAS SOUS 44252 HAS SOUPS 44252 WITH SCORE 44307.377
AT ITER 1568 NEW BEST:: SOT 163806 SOS 55278 HAS SOPS 55278 HAS SOUS 44153 HAS SOUPS 44153 WITH SCORE 44208.278
AT ITER 1582 NEW BEST:: SOT 163900 SOS 54815 HAS SOPS 54815 HAS SOUS 44106 HAS SOUPS 44106 WITH SCORE 44160.815
AT ITER 1585 NEW BEST:: SOT 163880 SOS 54795 HAS SOPS 54795 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44140.795
AT ITER 1594 NEW BEST:: SOT 163880 SOS 54795 HAS SOPS 54795 HAS SOUS 44084 HAS SOUPS 44084 WITH SCORE 44138.795
AT ITER 1595 NEW BEST:: SOT 163814 SOS 54707 HAS SOPS 54707 HAS SOUS 44036 HAS SOUPS 44036 WITH SCORE 44090.707
AT ITER 1600 NEW BEST:: SOT 163590 SOS 55026 HAS SOPS 55026 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44052.026
AT ITER 1605 NEW BEST:: SOT 163579 SOS 55015 HAS SOPS 55015 HAS SOUS 43986 HAS SOUPS 43986 WITH SCORE 44041.015
AT ITER 1615 NEW BEST:: SOT 163579 SOS 55015 HAS SOPS 55015 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44017.015
AT ITER 1623 NEW BEST:: SOT 163570 SOS 55006 HAS SOPS 55006 HAS SOUS 43953 HAS SOUPS 43953 WITH SCORE 44008.006
AT ITER 1625 NEW BEST:: SOT 163538 SOS 54968 HAS SOPS 54968 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 43985.968
AT ITER 1646 NEW BEST:: SOT 163505 SOS 54902 HAS SOPS 54902 HAS SOUS 43884 HAS SOUPS 43884 WITH SCORE 43938.902
AT ITER 1647 NEW BEST:: SOT 163488 SOS 54851 HAS SOPS 54851 HAS SOUS 43850 HAS SOUPS 43850 WITH SCORE 43904.851
AT ITER 1655 NEW BEST:: SOT 163493 SOS 54954 HAS SOPS 54954 HAS SOUS 43848 HAS SOUPS 43848 WITH SCORE 43902.954
AT ITER 1661 NEW BEST:: SOT 163485 SOS 54946 HAS SOPS 54946 HAS SOUS 43840 HAS SOUPS 43840 WITH SCORE 43894.946
AT ITER 1668 NEW BEST:: SOT 163485 SOS 54929 HAS SOPS 54929 HAS SOUS 43840 HAS SOUPS 43840 WITH SCORE 43894.929
AT ITER 1686 NEW BEST:: SOT 163449 SOS 54857 HAS SOPS 54857 HAS SOUS 43768 HAS SOUPS 43768 WITH SCORE 43822.857
AT ITER 1690 NEW BEST:: SOT 163575 SOS 55109 HAS SOPS 55109 HAS SOUS 43735 HAS SOUPS 43735 WITH SCORE 43790.109
AT ITER 1691 NEW BEST:: SOT 163379 SOS 54815 HAS SOPS 54815 HAS SOUS 43539 HAS SOUPS 43539 WITH SCORE 43593.815
AT ITER 1703 NEW BEST:: SOT 163442 SOS 54825 HAS SOPS 54825 HAS SOUS 43536 HAS SOUPS 43536 WITH SCORE 43590.825
AT ITER 1704 NEW BEST:: SOT 163506 SOS 54790 HAS SOPS 54790 HAS SOUS 43501 HAS SOUPS 43501 WITH SCORE 43555.79
AT ITER 1712 NEW BEST:: SOT 163538 SOS 54749 HAS SOPS 54749 HAS SOUS 43460 HAS SOUPS 43460 WITH SCORE 43514.749
AT ITER 1718 NEW BEST:: SOT 163538 SOS 54625 HAS SOPS 54625 HAS SOUS 43336 HAS SOUPS 43336 WITH SCORE 43390.625
AT ITER 1726 NEW BEST:: SOT 163507 SOS 54604 HAS SOPS 54604 HAS SOUS 43315 HAS SOUPS 43315 WITH SCORE 43369.604
AT ITER 1733 NEW BEST:: SOT 163502 SOS 54574 HAS SOPS 54574 HAS SOUS 43285 HAS SOUPS 43285 WITH SCORE 43339.574
AT ITER 1735 NEW BEST:: SOT 163332 SOS 54298 HAS SOPS 54298 HAS SOUS 43009 HAS SOUPS 43009 WITH SCORE 43063.298
AT ITER 1741 NEW BEST:: SOT 163323 SOS 54288 HAS SOPS 54288 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43053.288
AT ITER 1751 NEW BEST:: SOT 163193 SOS 54027 HAS SOPS 54027 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42792.027
AT ITER 1764 NEW BEST:: SOT 163189 SOS 54023 HAS SOPS 54023 HAS SOUS 42734 HAS SOUPS 42734 WITH SCORE 42788.023
AT ITER 1776 NEW BEST:: SOT 163081 SOS 53853 HAS SOPS 53853 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42617.853
AT ITER 1797 NEW BEST:: SOT 163081 SOS 53853 HAS SOPS 53853 HAS SOUS 42538 HAS SOUPS 42538 WITH SCORE 42591.853
AT ITER 1800 NEW BEST:: SOT 162841 SOS 53553 HAS SOPS 53553 HAS SOUS 42418 HAS SOUPS 42418 WITH SCORE 42471.553
AT ITER 1813 NEW BEST:: SOT 162905 SOS 53582 HAS SOPS 53582 HAS SOUS 42390 HAS SOUPS 42390 WITH SCORE 42443.582
AT ITER 1819 NEW BEST:: SOT 162893 SOS 53588 HAS SOPS 53588 HAS SOUS 42378 HAS SOUPS 42378 WITH SCORE 42431.588
AT ITER 1821 NEW BEST:: SOT 162889 SOS 53528 HAS SOPS 53528 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42403.528
AT ITER 1828 NEW BEST:: SOT 162824 SOS 53398 HAS SOPS 53398 HAS SOUS 42220 HAS SOUPS 42220 WITH SCORE 42273.398
AT ITER 1853 NEW BEST:: SOT 162849 SOS 53423 HAS SOPS 53423 HAS SOUS 42213 HAS SOUPS 42213 WITH SCORE 42266.423
AT ITER 1866 NEW BEST:: SOT 162849 SOS 53499 HAS SOPS 53499 HAS SOUS 42212 HAS SOUPS 42212 WITH SCORE 42265.499
AT ITER 1882 NEW BEST:: SOT 162816 SOS 53354 HAS SOPS 53354 HAS SOUS 42146 HAS SOUPS 42146 WITH SCORE 42199.354
AT ITER 1901 NEW BEST:: SOT 162642 SOS 53283 HAS SOPS 53283 HAS SOUS 41962 HAS SOUPS 41962 WITH SCORE 42015.283
AT ITER 1903 NEW BEST:: SOT 162698 SOS 53318 HAS SOPS 53318 HAS SOUS 41920 HAS SOUPS 41920 WITH SCORE 41973.318
AT ITER 1915 NEW BEST:: SOT 162656 SOS 53234 HAS SOPS 53234 HAS SOUS 41837 HAS SOUPS 41837 WITH SCORE 41890.234
AT ITER 1917 NEW BEST:: SOT 162453 SOS 53116 HAS SOPS 53116 HAS SOUS 41623 HAS SOUPS 41623 WITH SCORE 41676.116
AT ITER 1937 NEW BEST:: SOT 162385 SOS 53014 HAS SOPS 53014 HAS SOUS 41555 HAS SOUPS 41555 WITH SCORE 41608.014
AT ITER 1945 NEW BEST:: SOT 162338 SOS 52967 HAS SOPS 52967 HAS SOUS 41535 HAS SOUPS 41535 WITH SCORE 41587.967
AT ITER 1965 NEW BEST:: SOT 162390 SOS 52906 HAS SOPS 52906 HAS SOUS 41522 HAS SOUPS 41522 WITH SCORE 41574.906
AT ITER 1974 NEW BEST:: SOT 162354 SOS 52816 HAS SOPS 52816 HAS SOUS 41432 HAS SOUPS 41432 WITH SCORE 41484.816
AT ITER 1983 NEW BEST:: SOT 162337 SOS 52753 HAS SOPS 52753 HAS SOUS 41369 HAS SOUPS 41369 WITH SCORE 41421.753
AT ITER 1984 NEW BEST:: SOT 162391 SOS 52723 HAS SOPS 52723 HAS SOUS 41339 HAS SOUPS 41339 WITH SCORE 41391.723
AT ITER 1994 NEW BEST:: SOT 162340 SOS 52718 HAS SOPS 52718 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41386.718
AT ITER 2011 NEW BEST:: SOT 162334 SOS 52712 HAS SOPS 52712 HAS SOUS 41322 HAS SOUPS 41322 WITH SCORE 41374.712
AT ITER 2016 NEW BEST:: SOT 162251 SOS 52629 HAS SOPS 52629 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41291.629
AT ITER 2042 NEW BEST:: SOT 162239 SOS 52613 HAS SOPS 52613 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41275.613
AT ITER 2045 NEW BEST:: SOT 162046 SOS 52463 HAS SOPS 52463 HAS SOUS 41181 HAS SOUPS 41181 WITH SCORE 41233.463
AT ITER 2061 NEW BEST:: SOT 162053 SOS 52483 HAS SOPS 52483 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41221.483
AT ITER 2071 NEW BEST:: SOT 161921 SOS 52263 HAS SOPS 52263 HAS SOUS 41133 HAS SOUPS 41133 WITH SCORE 41185.263
AT ITER 2072 NEW BEST:: SOT 161921 SOS 52220 HAS SOPS 52220 HAS SOUS 41090 HAS SOUPS 41090 WITH SCORE 41142.22
AT ITER 2100 NEW BEST:: SOT 161934 SOS 52215 HAS SOPS 52215 HAS SOUS 41085 HAS SOUPS 41085 WITH SCORE 41137.215
AT ITER 2171 NEW BEST:: SOT 161872 SOS 52101 HAS SOPS 52101 HAS SOUS 40923 HAS SOUPS 40923 WITH SCORE 40975.101
AT ITER 2176 NEW BEST:: SOT 161872 SOS 52086 HAS SOPS 52086 HAS SOUS 40908 HAS SOUPS 40908 WITH SCORE 40960.086
AT ITER 2205 NEW BEST:: SOT 161868 SOS 52082 HAS SOPS 52082 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40956.082
AT ITER 2206 NEW BEST:: SOT 161851 SOS 52048 HAS SOPS 52048 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40922.048
AT ITER 2213 NEW BEST:: SOT 161851 SOS 52044 HAS SOPS 52044 HAS SOUS 40866 HAS SOUPS 40866 WITH SCORE 40918.044
AT ITER 2225 NEW BEST:: SOT 161812 SOS 51903 HAS SOPS 51903 HAS SOUS 40725 HAS SOUPS 40725 WITH SCORE 40776.903
AT ITER 2228 NEW BEST:: SOT 161767 SOS 51836 HAS SOPS 51836 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40709.836
AT ITER 2231 NEW BEST:: SOT 161760 SOS 51822 HAS SOPS 51822 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40695.822
AT ITER 2247 NEW BEST:: SOT 161763 SOS 51828 HAS SOPS 51828 HAS SOUS 40636 HAS SOUPS 40636 WITH SCORE 40687.828
AT ITER 2250 NEW BEST:: SOT 161693 SOS 51688 HAS SOPS 51688 HAS SOUS 40488 HAS SOUPS 40488 WITH SCORE 40539.688
AT ITER 2275 NEW BEST:: SOT 161675 SOS 51670 HAS SOPS 51670 HAS SOUS 40470 HAS SOUPS 40470 WITH SCORE 40521.67
AT ITER 2288 NEW BEST:: SOT 161674 SOS 51668 HAS SOPS 51668 HAS SOUS 40468 HAS SOUPS 40468 WITH SCORE 40519.668
AT ITER 2289 NEW BEST:: SOT 161545 SOS 51494 HAS SOPS 51494 HAS SOUS 40392 HAS SOUPS 40392 WITH SCORE 40443.494
AT ITER 2304 NEW BEST:: SOT 161545 SOS 51445 HAS SOPS 51445 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40394.445
AT ITER 2312 NEW BEST:: SOT 161563 SOS 51442 HAS SOPS 51442 HAS SOUS 40327 HAS SOUPS 40327 WITH SCORE 40378.442
AT ITER 2332 NEW BEST:: SOT 161458 SOS 51343 HAS SOPS 51343 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40316.343
AT ITER 2345 NEW BEST:: SOT 161469 SOS 51312 HAS SOPS 51312 HAS SOUS 40234 HAS SOUPS 40234 WITH SCORE 40285.312
AT ITER 2347 NEW BEST:: SOT 161469 SOS 51283 HAS SOPS 51283 HAS SOUS 40205 HAS SOUPS 40205 WITH SCORE 40256.283
AT ITER 2378 NEW BEST:: SOT 161422 SOS 51258 HAS SOPS 51258 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40175.258
AT ITER 2387 NEW BEST:: SOT 161422 SOS 51255 HAS SOPS 51255 HAS SOUS 40121 HAS SOUPS 40121 WITH SCORE 40172.255
AT ITER 2390 NEW BEST:: SOT 160954 SOS 51838 HAS SOPS 51838 HAS SOUS 39814 HAS SOUPS 39814 WITH SCORE 39865.838
AT ITER 2392 NEW BEST:: SOT 160935 SOS 51800 HAS SOPS 51800 HAS SOUS 39795 HAS SOUPS 39795 WITH SCORE 39846.8
AT ITER 2415 NEW BEST:: SOT 160935 SOS 51787 HAS SOPS 51787 HAS SOUS 39782 HAS SOUPS 39782 WITH SCORE 39833.787
AT ITER 2418 NEW BEST:: SOT 160935 SOS 51787 HAS SOPS 51787 HAS SOUS 39781 HAS SOUPS 39781 WITH SCORE 39832.787
AT ITER 2441 NEW BEST:: SOT 160935 SOS 51747 HAS SOPS 51747 HAS SOUS 39761 HAS SOUPS 39761 WITH SCORE 39812.747
AT ITER 2501 NEW BEST:: SOT 160908 SOS 51690 HAS SOPS 51690 HAS SOUS 39704 HAS SOUPS 39704 WITH SCORE 39755.69
AT ITER 2531 NEW BEST:: SOT 161041 SOS 51656 HAS SOPS 51656 HAS SOUS 39704 HAS SOUPS 39704 WITH SCORE 39755.656
AT ITER 2536 NEW BEST:: SOT 161004 SOS 51619 HAS SOPS 51619 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39718.619
AT ITER 2561 NEW BEST:: SOT 160971 SOS 51553 HAS SOPS 51553 HAS SOUS 39601 HAS SOUPS 39601 WITH SCORE 39652.553
AT ITER 2587 NEW BEST:: SOT 160973 SOS 51542 HAS SOPS 51542 HAS SOUS 39590 HAS SOUPS 39590 WITH SCORE 39641.542
AT ITER 2606 NEW BEST:: SOT 160948 SOS 51534 HAS SOPS 51534 HAS SOUS 39582 HAS SOUPS 39582 WITH SCORE 39633.534
AT ITER 2620 NEW BEST:: SOT 160948 SOS 51533 HAS SOPS 51533 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39632.533
AT ITER 2621 NEW BEST:: SOT 160412 SOS 50921 HAS SOPS 50921 HAS SOUS 39045 HAS SOUPS 39045 WITH SCORE 39095.921
AT ITER 2643 NEW BEST:: SOT 160370 SOS 50879 HAS SOPS 50879 HAS SOUS 39003 HAS SOUPS 39003 WITH SCORE 39053.879
AT ITER 2646 NEW BEST:: SOT 160370 SOS 50873 HAS SOPS 50873 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39047.873
AT ITER 2660 NEW BEST:: SOT 160370 SOS 50873 HAS SOPS 50873 HAS SOUS 38926 HAS SOUPS 38926 WITH SCORE 38976.873
AT ITER 2661 NEW BEST:: SOT 160355 SOS 50858 HAS SOPS 50858 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38961.858
AT ITER 2673 NEW BEST:: SOT 160355 SOS 50820 HAS SOPS 50820 HAS SOUS 38873 HAS SOUPS 38873 WITH SCORE 38923.82
AT ITER 2680 NEW BEST:: SOT 160355 SOS 50724 HAS SOPS 50724 HAS SOUS 38873 HAS SOUPS 38873 WITH SCORE 38923.724
AT ITER 2686 NEW BEST:: SOT 160297 SOS 50616 HAS SOPS 50616 HAS SOUS 38829 HAS SOUPS 38829 WITH SCORE 38879.616
AT ITER 2687 NEW BEST:: SOT 160296 SOS 50556 HAS SOPS 50556 HAS SOUS 38676 HAS SOUPS 38676 WITH SCORE 38726.556
AT ITER 2701 NEW BEST:: SOT 160297 SOS 50551 HAS SOPS 50551 HAS SOUS 38671 HAS SOUPS 38671 WITH SCORE 38721.551
AT ITER 2704 NEW BEST:: SOT 160282 SOS 50486 HAS SOPS 50486 HAS SOUS 38606 HAS SOUPS 38606 WITH SCORE 38656.486
AT ITER 2721 NEW BEST:: SOT 160277 SOS 50473 HAS SOPS 50473 HAS SOUS 38585 HAS SOUPS 38585 WITH SCORE 38635.473
AT ITER 2738 NEW BEST:: SOT 160255 SOS 50451 HAS SOPS 50451 HAS SOUS 38585 HAS SOUPS 38585 WITH SCORE 38635.451
AT ITER 2742 NEW BEST:: SOT 160272 SOS 50429 HAS SOPS 50429 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38565.429
AT ITER 2763 NEW BEST:: SOT 160244 SOS 50401 HAS SOPS 50401 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38565.401
AT ITER 2774 NEW BEST:: SOT 160197 SOS 50354 HAS SOPS 50354 HAS SOUS 38468 HAS SOUPS 38468 WITH SCORE 38518.354
AT ITER 2792 NEW BEST:: SOT 160197 SOS 50336 HAS SOPS 50336 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38500.336
AT ITER 2812 NEW BEST:: SOT 160176 SOS 50294 HAS SOPS 50294 HAS SOUS 38429 HAS SOUPS 38429 WITH SCORE 38479.294
AT ITER 2841 NEW BEST:: SOT 160176 SOS 50294 HAS SOPS 50294 HAS SOUS 38423 HAS SOUPS 38423 WITH SCORE 38473.294
AT ITER 2850 NEW BEST:: SOT 160176 SOS 50259 HAS SOPS 50259 HAS SOUS 38388 HAS SOUPS 38388 WITH SCORE 38438.259
AT ITER 2853 NEW BEST:: SOT 160186 SOS 50248 HAS SOPS 50248 HAS SOUS 38381 HAS SOUPS 38381 WITH SCORE 38431.248
AT ITER 2865 NEW BEST:: SOT 160186 SOS 50247 HAS SOPS 50247 HAS SOUS 38380 HAS SOUPS 38380 WITH SCORE 38430.247
AT ITER 2870 NEW BEST:: SOT 160118 SOS 50236 HAS SOPS 50236 HAS SOUS 38369 HAS SOUPS 38369 WITH SCORE 38419.236
AT ITER 2879 NEW BEST:: SOT 160092 SOS 50224 HAS SOPS 50224 HAS SOUS 38357 HAS SOUPS 38357 WITH SCORE 38407.224
AT ITER 2895 NEW BEST:: SOT 160078 SOS 50210 HAS SOPS 50210 HAS SOUS 38343 HAS SOUPS 38343 WITH SCORE 38393.21
AT ITER 2896 NEW BEST:: SOT 160073 SOS 50200 HAS SOPS 50200 HAS SOUS 38333 HAS SOUPS 38333 WITH SCORE 38383.2
AT ITER 2906 NEW BEST:: SOT 160065 SOS 50192 HAS SOPS 50192 HAS SOUS 38325 HAS SOUPS 38325 WITH SCORE 38375.192
AT ITER 2935 NEW BEST:: SOT 160072 SOS 50130 HAS SOPS 50130 HAS SOUS 38263 HAS SOUPS 38263 WITH SCORE 38313.13
AT ITER 2936 NEW BEST:: SOT 160062 SOS 50120 HAS SOPS 50120 HAS SOUS 38263 HAS SOUPS 38263 WITH SCORE 38313.12
AT ITER 2951 NEW BEST:: SOT 160032 SOS 50075 HAS SOPS 50075 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38298.075
AT ITER 2969 NEW BEST:: SOT 160033 SOS 50077 HAS SOPS 50077 HAS SOUS 38215 HAS SOUPS 38215 WITH SCORE 38265.077
AT ITER 2977 NEW BEST:: SOT 160019 SOS 50039 HAS SOPS 50039 HAS SOUS 38177 HAS SOUPS 38177 WITH SCORE 38227.039
AT ITER 2983 NEW BEST:: SOT 160019 SOS 50016 HAS SOPS 50016 HAS SOUS 38154 HAS SOUPS 38154 WITH SCORE 38204.016
AT ITER 3017 NEW BEST:: SOT 160013 SOS 50010 HAS SOPS 50010 HAS SOUS 38148 HAS SOUPS 38148 WITH SCORE 38198.01
AT ITER 3089 NEW BEST:: SOT 160010 SOS 49996 HAS SOPS 49996 HAS SOUS 38134 HAS SOUPS 38134 WITH SCORE 38183.996
AT ITER 3091 NEW BEST:: SOT 160050 SOS 49915 HAS SOPS 49915 HAS SOUS 38063 HAS SOUPS 38063 WITH SCORE 38112.915
AT ITER 3092 NEW BEST:: SOT 159975 SOS 49765 HAS SOPS 49765 HAS SOUS 37988 HAS SOUPS 37988 WITH SCORE 38037.765
AT ITER 3104 NEW BEST:: SOT 159975 SOS 49765 HAS SOPS 49765 HAS SOUS 37978 HAS SOUPS 37978 WITH SCORE 38027.765
AT ITER 3138 NEW BEST:: SOT 159968 SOS 49751 HAS SOPS 49751 HAS SOUS 37964 HAS SOUPS 37964 WITH SCORE 38013.751
AT ITER 3169 NEW BEST:: SOT 159948 SOS 49845 HAS SOPS 49845 HAS SOUS 37962 HAS SOUPS 37962 WITH SCORE 38011.845
AT ITER 3187 NEW BEST:: SOT 160093 SOS 49937 HAS SOPS 49937 HAS SOUS 37955 HAS SOUPS 37955 WITH SCORE 38004.937
AT ITER 3194 NEW BEST:: SOT 160074 SOS 49935 HAS SOPS 49935 HAS SOUS 37953 HAS SOUPS 37953 WITH SCORE 38002.935
AT ITER 3206 NEW BEST:: SOT 159995 SOS 49795 HAS SOPS 49795 HAS SOUS 37920 HAS SOUPS 37920 WITH SCORE 37969.795
AT ITER 3221 NEW BEST:: SOT 159994 SOS 49793 HAS SOPS 49793 HAS SOUS 37918 HAS SOUPS 37918 WITH SCORE 37967.793
AT ITER 3225 NEW BEST:: SOT 159994 SOS 49777 HAS SOPS 49777 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37927.777
AT ITER 3228 NEW BEST:: SOT 159994 SOS 49761 HAS SOPS 49761 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37926.761
AT ITER 3246 NEW BEST:: SOT 159994 SOS 49761 HAS SOPS 49761 HAS SOUS 37870 HAS SOUPS 37870 WITH SCORE 37919.761
AT ITER 3256 NEW BEST:: SOT 159930 SOS 49633 HAS SOPS 49633 HAS SOUS 37742 HAS SOUPS 37742 WITH SCORE 37791.633
AT ITER 3285 NEW BEST:: SOT 159933 SOS 49602 HAS SOPS 49602 HAS SOUS 37674 HAS SOUPS 37674 WITH SCORE 37723.602
AT ITER 3287 NEW BEST:: SOT 159793 SOS 49436 HAS SOPS 49436 HAS SOUS 37508 HAS SOUPS 37508 WITH SCORE 37557.436
AT ITER 3308 NEW BEST:: SOT 159796 SOS 49430 HAS SOPS 49430 HAS SOUS 37502 HAS SOUPS 37502 WITH SCORE 37551.43
AT ITER 3323 NEW BEST:: SOT 159796 SOS 49299 HAS SOPS 49299 HAS SOUS 37371 HAS SOUPS 37371 WITH SCORE 37420.299
AT ITER 3338 NEW BEST:: SOT 159767 SOS 49212 HAS SOPS 49212 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37333.212
AT ITER 3361 NEW BEST:: SOT 159766 SOS 49232 HAS SOPS 49232 HAS SOUS 37283 HAS SOUPS 37283 WITH SCORE 37332.232
AT ITER 3380 NEW BEST:: SOT 159754 SOS 49220 HAS SOPS 49220 HAS SOUS 37267 HAS SOUPS 37267 WITH SCORE 37316.22
AT ITER 3382 NEW BEST:: SOT 159733 SOS 49151 HAS SOPS 49151 HAS SOUS 37219 HAS SOUPS 37219 WITH SCORE 37268.151
AT ITER 3404 NEW BEST:: SOT 159668 SOS 49054 HAS SOPS 49054 HAS SOUS 37137 HAS SOUPS 37137 WITH SCORE 37186.054
AT ITER 3460 NEW BEST:: SOT 159661 SOS 49040 HAS SOPS 49040 HAS SOUS 37123 HAS SOUPS 37123 WITH SCORE 37172.04
AT ITER 3473 NEW BEST:: SOT 159786 SOS 49139 HAS SOPS 49139 HAS SOUS 37075 HAS SOUPS 37075 WITH SCORE 37124.139
AT ITER 3477 NEW BEST:: SOT 159786 SOS 49095 HAS SOPS 49095 HAS SOUS 37031 HAS SOUPS 37031 WITH SCORE 37080.095
AT ITER 3478 NEW BEST:: SOT 159750 SOS 49059 HAS SOPS 49059 HAS SOUS 36995 HAS SOUPS 36995 WITH SCORE 37044.059
AT ITER 3482 NEW BEST:: SOT 159751 SOS 49060 HAS SOPS 49060 HAS SOUS 36907 HAS SOUPS 36907 WITH SCORE 36956.06
AT ITER 3484 NEW BEST:: SOT 159733 SOS 49024 HAS SOPS 49024 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36938.024
AT ITER 3495 NEW BEST:: SOT 159720 SOS 48998 HAS SOPS 48998 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36911.998
AT ITER 3557 NEW BEST:: SOT 159607 SOS 48855 HAS SOPS 48855 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36851.855
AT ITER 3598 NEW BEST:: SOT 159604 SOS 48849 HAS SOPS 48849 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36848.849
AT ITER 3686 NEW BEST:: SOT 159604 SOS 48845 HAS SOPS 48845 HAS SOUS 36796 HAS SOUPS 36796 WITH SCORE 36844.845
AT ITER 3726 NEW BEST:: SOT 159584 SOS 48805 HAS SOPS 48805 HAS SOUS 36734 HAS SOUPS 36734 WITH SCORE 36782.805
AT ITER 3752 NEW BEST:: SOT 159564 SOS 48785 HAS SOPS 48785 HAS SOUS 36714 HAS SOUPS 36714 WITH SCORE 36762.785
AT ITER 3754 NEW BEST:: SOT 159564 SOS 48747 HAS SOPS 48747 HAS SOUS 36676 HAS SOUPS 36676 WITH SCORE 36724.747
AT ITER 3758 NEW BEST:: SOT 159532 SOS 48715 HAS SOPS 48715 HAS SOUS 36644 HAS SOUPS 36644 WITH SCORE 36692.715
AT ITER 3765 NEW BEST:: SOT 159370 SOS 48553 HAS SOPS 48553 HAS SOUS 36482 HAS SOUPS 36482 WITH SCORE 36530.553
AT ITER 3774 NEW BEST:: SOT 159363 SOS 48522 HAS SOPS 48522 HAS SOUS 36469 HAS SOUPS 36469 WITH SCORE 36517.522
AT ITER 3778 NEW BEST:: SOT 159353 SOS 48512 HAS SOPS 48512 HAS SOUS 36459 HAS SOUPS 36459 WITH SCORE 36507.512
AT ITER 3849 NEW BEST:: SOT 159336 SOS 48478 HAS SOPS 48478 HAS SOUS 36425 HAS SOUPS 36425 WITH SCORE 36473.478
AT ITER 3856 NEW BEST:: SOT 159321 SOS 48463 HAS SOPS 48463 HAS SOUS 36425 HAS SOUPS 36425 WITH SCORE 36473.463
AT ITER 3866 NEW BEST:: SOT 159254 SOS 48396 HAS SOPS 48396 HAS SOUS 36358 HAS SOUPS 36358 WITH SCORE 36406.396
AT ITER 3883 NEW BEST:: SOT 159212 SOS 48381 HAS SOPS 48381 HAS SOUS 36347 HAS SOUPS 36347 WITH SCORE 36395.381
AT ITER 3899 NEW BEST:: SOT 159266 SOS 48435 HAS SOPS 48435 HAS SOUS 36287 HAS SOUPS 36287 WITH SCORE 36335.435
AT ITER 3923 NEW BEST:: SOT 159268 SOS 48439 HAS SOPS 48439 HAS SOUS 36263 HAS SOUPS 36263 WITH SCORE 36311.439
AT ITER 3934 NEW BEST:: SOT 159230 SOS 48401 HAS SOPS 48401 HAS SOUS 36225 HAS SOUPS 36225 WITH SCORE 36273.401
AT ITER 3984 NEW BEST:: SOT 159210 SOS 48365 HAS SOPS 48365 HAS SOUS 36189 HAS SOUPS 36189 WITH SCORE 36237.365
AT ITER 4015 NEW BEST:: SOT 159228 SOS 48382 HAS SOPS 48382 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36235.382
AT ITER 4016 NEW BEST:: SOT 159228 SOS 48359 HAS SOPS 48359 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36235.359
AT ITER 4073 NEW BEST:: SOT 159130 SOS 48250 HAS SOPS 48250 HAS SOUS 36171 HAS SOUPS 36171 WITH SCORE 36219.25
AT ITER 4077 NEW BEST:: SOT 159128 SOS 48248 HAS SOPS 48248 HAS SOUS 36169 HAS SOUPS 36169 WITH SCORE 36217.248
AT ITER 4098 NEW BEST:: SOT 159019 SOS 48158 HAS SOPS 48158 HAS SOUS 36079 HAS SOUPS 36079 WITH SCORE 36127.158
AT ITER 4119 NEW BEST:: SOT 159007 SOS 48142 HAS SOPS 48142 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36119.142
AT ITER 4122 NEW BEST:: SOT 159007 SOS 48141 HAS SOPS 48141 HAS SOUS 36070 HAS SOUPS 36070 WITH SCORE 36118.141
AT ITER 4140 NEW BEST:: SOT 158982 SOS 48091 HAS SOPS 48091 HAS SOUS 36059 HAS SOUPS 36059 WITH SCORE 36107.091
AT ITER 4144 NEW BEST:: SOT 158967 SOS 48088 HAS SOPS 48088 HAS SOUS 36056 HAS SOUPS 36056 WITH SCORE 36104.088
AT ITER 4154 NEW BEST:: SOT 158969 SOS 48092 HAS SOPS 48092 HAS SOUS 36042 HAS SOUPS 36042 WITH SCORE 36090.092
AT ITER 4173 NEW BEST:: SOT 158957 SOS 48080 HAS SOPS 48080 HAS SOUS 36042 HAS SOUPS 36042 WITH SCORE 36090.08
AT ITER 4187 NEW BEST:: SOT 158910 SOS 48022 HAS SOPS 48022 HAS SOUS 35984 HAS SOUPS 35984 WITH SCORE 36032.022
AT ITER 4200 NEW BEST:: SOT 158952 SOS 47961 HAS SOPS 47961 HAS SOUS 35923 HAS SOUPS 35923 WITH SCORE 35970.961
AT ITER 4220 NEW BEST:: SOT 158952 SOS 47961 HAS SOPS 47961 HAS SOUS 35903 HAS SOUPS 35903 WITH SCORE 35950.961
AT ITER 4235 NEW BEST:: SOT 158940 SOS 47949 HAS SOPS 47949 HAS SOUS 35891 HAS SOUPS 35891 WITH SCORE 35938.949
AT ITER 4251 NEW BEST:: SOT 158943 SOS 47952 HAS SOPS 47952 HAS SOUS 35856 HAS SOUPS 35856 WITH SCORE 35903.952
AT ITER 4253 NEW BEST:: SOT 158943 SOS 47952 HAS SOPS 47952 HAS SOUS 35853 HAS SOUPS 35853 WITH SCORE 35900.952
AT ITER 4281 NEW BEST:: SOT 158942 SOS 47951 HAS SOPS 47951 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35899.951
AT ITER 4309 NEW BEST:: SOT 158942 SOS 47907 HAS SOPS 47907 HAS SOUS 35838 HAS SOUPS 35838 WITH SCORE 35885.907
AT ITER 4337 NEW BEST:: SOT 158960 SOS 47901 HAS SOPS 47901 HAS SOUS 35832 HAS SOUPS 35832 WITH SCORE 35879.901
AT ITER 4343 NEW BEST:: SOT 159000 SOS 47928 HAS SOPS 47928 HAS SOUS 35825 HAS SOUPS 35825 WITH SCORE 35872.928
AT ITER 4366 NEW BEST:: SOT 159013 SOS 47941 HAS SOPS 47941 HAS SOUS 35796 HAS SOUPS 35796 WITH SCORE 35843.941
AT ITER 4368 NEW BEST:: SOT 159003 SOS 47867 HAS SOPS 47867 HAS SOUS 35754 HAS SOUPS 35754 WITH SCORE 35801.867
AT ITER 4414 NEW BEST:: SOT 159135 SOS 47995 HAS SOPS 47995 HAS SOUS 35746 HAS SOUPS 35746 WITH SCORE 35793.995
AT ITER 4417 NEW BEST:: SOT 159097 SOS 47956 HAS SOPS 47956 HAS SOUS 35707 HAS SOUPS 35707 WITH SCORE 35754.956
AT ITER 4435 NEW BEST:: SOT 159097 SOS 47952 HAS SOPS 47952 HAS SOUS 35706 HAS SOUPS 35706 WITH SCORE 35753.952
AT ITER 4463 NEW BEST:: SOT 159097 SOS 47927 HAS SOPS 47927 HAS SOUS 35681 HAS SOUPS 35681 WITH SCORE 35728.927
AT ITER 4490 NEW BEST:: SOT 159069 SOS 47915 HAS SOPS 47915 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35716.915
AT ITER 4492 NEW BEST:: SOT 159050 SOS 47946 HAS SOPS 47946 HAS SOUS 35626 HAS SOUPS 35626 WITH SCORE 35673.946
AT ITER 4500 NEW BEST:: SOT 159015 SOS 47911 HAS SOPS 47911 HAS SOUS 35591 HAS SOUPS 35591 WITH SCORE 35638.911
AT ITER 4501 NEW BEST:: SOT 158947 SOS 47793 HAS SOPS 47793 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35513.793
AT ITER 4535 NEW BEST:: SOT 158947 SOS 47769 HAS SOPS 47769 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35489.769
AT ITER 4553 NEW BEST:: SOT 158948 SOS 47768 HAS SOPS 47768 HAS SOUS 35441 HAS SOUPS 35441 WITH SCORE 35488.768
AT ITER 4590 NEW BEST:: SOT 158948 SOS 47765 HAS SOPS 47765 HAS SOUS 35435 HAS SOUPS 35435 WITH SCORE 35482.765
AT ITER 4610 NEW BEST:: SOT 158896 SOS 47714 HAS SOPS 47714 HAS SOUS 35384 HAS SOUPS 35384 WITH SCORE 35431.714
AT ITER 4640 NEW BEST:: SOT 158797 SOS 47654 HAS SOPS 47654 HAS SOUS 35266 HAS SOUPS 35266 WITH SCORE 35313.654
AT ITER 4660 NEW BEST:: SOT 158762 SOS 47645 HAS SOPS 47645 HAS SOUS 35257 HAS SOUPS 35257 WITH SCORE 35304.645
AT ITER 4756 NEW BEST:: SOT 158726 SOS 47573 HAS SOPS 47573 HAS SOUS 35185 HAS SOUPS 35185 WITH SCORE 35232.573
AT ITER 4788 NEW BEST:: SOT 158753 SOS 47585 HAS SOPS 47585 HAS SOUS 35134 HAS SOUPS 35134 WITH SCORE 35181.585
AT ITER 4809 NEW BEST:: SOT 158758 SOS 47535 HAS SOPS 47535 HAS SOUS 35084 HAS SOUPS 35084 WITH SCORE 35131.535
AT ITER 4840 NEW BEST:: SOT 158757 SOS 47533 HAS SOPS 47533 HAS SOUS 35082 HAS SOUPS 35082 WITH SCORE 35129.533
AT ITER 4854 NEW BEST:: SOT 158757 SOS 47338 HAS SOPS 47338 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34934.338
AT ITER 4879 NEW BEST:: SOT 158753 SOS 47210 HAS SOPS 47210 HAS SOUS 34873 HAS SOUPS 34873 WITH SCORE 34920.21
AT ITER 4910 NEW BEST:: SOT 158753 SOS 47210 HAS SOPS 47210 HAS SOUS 34868 HAS SOUPS 34868 WITH SCORE 34915.21
AT ITER 4931 NEW BEST:: SOT 158753 SOS 47210 HAS SOPS 47210 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34894.21
AT ITER 4943 NEW BEST:: SOT 158647 SOS 47099 HAS SOPS 47099 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34887.099
AT ITER 4992 NEW BEST:: SOT 158644 SOS 47096 HAS SOPS 47096 HAS SOUS 34837 HAS SOUPS 34837 WITH SCORE 34884.096
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-00 (EF((! (AX( potential( (tk(P502)) <= (tk(P354)) ))))))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-01 (EU( ( (! potential( ( 1 ) <= (tk(P75)) )) | ( potential( ( 2 ) <= (tk(P505)) ) & potential( (tk(P456)) <= (tk(P196)) ) ) ),( ( potential( (tk(P312)) <= (tk(P139)) ) & potential( ( 3 ) <= (tk(P546)) ) ) & potential( (tk(P422)) <= (tk(P562)) ) ) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-02 (EF(potential( ( 1 ) <= (tk(P133)) )))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-03 (EG( (EF(potential( ( 1 ) <= (tk(P350)) )))))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-04 (EF((! ( (! potential( ( 1 ) <= (tk(P515)) )) | potential( ( 3 ) <= (tk(P475)) ) ))))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-05 (! ( (EU( potential( (tk(P417)) <= (tk(P499)) ),potential( ( 1 ) <= (tk(P508)) ) )) | (! ( potential( (tk(P218)) <= (tk(P194)) ) | ( potential( ( 3 ) <= (tk(P252)) ) | potential( (tk(P388)) <= (tk(P416)) ) ) )) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-06 (EU( (AX( potential( (tk(P304)) <= (tk(P355)) ))),(! (! potential( ( 1 ) <= (tk(P453)) ))) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-07 (EU( (! potential( ( 2 ) <= (tk(P166)) )),potential( ( 3 ) <= (tk(P2)) ) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-08 (! ( ( (AG( potential( ( 1 ) <= (tk(P135)) ))) & potential( (tk(P31)) <= (tk(P159)) ) ) | (EF(( potential( ( 3 ) <= (tk(P258)) ) | potential( ( 3 ) <= (tk(P416)) ) ))) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-09 (AG( potential( (tk(P333)) <= (tk(P324)) )))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-10 (AG( potential( (tk(P297)) <= (tk(P145)) )))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-11 (! (EF(( ( potential( (tk(P550)) <= (tk(P147)) ) & potential( (tk(P218)) <= (tk(P193)) ) ) & potential( ( 2 ) <= (tk(P391)) ) ))))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-12 ( ( (! ( ( potential( ( 2 ) <= (tk(P345)) ) | potential( ( 2 ) <= (tk(P416)) ) ) & (! potential( ( 2 ) <= (tk(P29)) )) )) & (EG( ( potential( ( 3 ) <= (tk(P512)) ) | potential( ( 3 ) <= (tk(P564)) ) ))) ) | (EF((! (! potential( ( 3 ) <= (tk(P198)) ))))) )
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-13 (EU( (AF(potential( (tk(P449)) <= (tk(P358)) ))),(! ( potential( (tk(P67)) <= (tk(P381)) ) | potential( (tk(P476)) <= (tk(P319)) ) )) ))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-14 (! (EF((! (! potential( ( 1 ) <= (tk(P281)) ))))))
PROPERTY: BusinessProcesses-PT-11-CTLCardinality-15 (EU( (AF(potential( ( 3 ) <= (tk(P47)) ))),(EF(potential( ( 2 ) <= (tk(P251)) ))) ))
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="BusinessProcesses-PT-11"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-11, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100531"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-11.tgz
mv BusinessProcesses-PT-11 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;