About the Execution of smart for BusinessProcesses-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.190 | 3600000.00 | 3600000.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-158897680200564.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-15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200564
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 22:45 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.1K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 157K 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-15-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-15-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590869257027
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (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: 630 places, 566 transitions, 1666 arcs.
AT ITER 0 NEW BEST:: SOT 225435 SOS 87383 HAS SOPS 87383 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84869.383
AT ITER 2 NEW BEST:: SOT 225199 SOS 87179 HAS SOPS 87179 HAS SOUS 84578 HAS SOUPS 84578 WITH SCORE 84665.179
AT ITER 3 NEW BEST:: SOT 225198 SOS 87018 HAS SOPS 87018 HAS SOUS 84515 HAS SOUPS 84515 WITH SCORE 84602.018
AT ITER 12 NEW BEST:: SOT 225197 SOS 87016 HAS SOPS 87016 HAS SOUS 84513 HAS SOUPS 84513 WITH SCORE 84600.016
AT ITER 26 NEW BEST:: SOT 225197 SOS 86884 HAS SOPS 86884 HAS SOUS 84381 HAS SOUPS 84381 WITH SCORE 84467.884
AT ITER 27 NEW BEST:: SOT 225036 SOS 86697 HAS SOPS 86697 HAS SOUS 84194 HAS SOUPS 84194 WITH SCORE 84280.697
AT ITER 35 NEW BEST:: SOT 225036 SOS 86540 HAS SOPS 86540 HAS SOUS 84037 HAS SOUPS 84037 WITH SCORE 84123.54
AT ITER 37 NEW BEST:: SOT 225123 SOS 86538 HAS SOPS 86538 HAS SOUS 84035 HAS SOUPS 84035 WITH SCORE 84121.538
AT ITER 40 NEW BEST:: SOT 225123 SOS 86418 HAS SOPS 86418 HAS SOUS 83968 HAS SOUPS 83968 WITH SCORE 84054.418
AT ITER 52 NEW BEST:: SOT 225123 SOS 86333 HAS SOPS 86333 HAS SOUS 83883 HAS SOUPS 83883 WITH SCORE 83969.333
AT ITER 55 NEW BEST:: SOT 225123 SOS 86293 HAS SOPS 86293 HAS SOUS 83843 HAS SOUPS 83843 WITH SCORE 83929.293
AT ITER 63 NEW BEST:: SOT 224883 SOS 86109 HAS SOPS 86109 HAS SOUS 83659 HAS SOUPS 83659 WITH SCORE 83745.109
AT ITER 67 NEW BEST:: SOT 224703 SOS 85895 HAS SOPS 85895 HAS SOUS 83445 HAS SOUPS 83445 WITH SCORE 83530.895
AT ITER 74 NEW BEST:: SOT 224703 SOS 85895 HAS SOPS 85895 HAS SOUS 83444 HAS SOUPS 83444 WITH SCORE 83529.895
AT ITER 81 NEW BEST:: SOT 224719 SOS 85723 HAS SOPS 85723 HAS SOUS 83298 HAS SOUPS 83298 WITH SCORE 83383.723
AT ITER 85 NEW BEST:: SOT 224634 SOS 85638 HAS SOPS 85638 HAS SOUS 83213 HAS SOUPS 83213 WITH SCORE 83298.638
AT ITER 96 NEW BEST:: SOT 224653 SOS 85611 HAS SOPS 85611 HAS SOUS 83186 HAS SOUPS 83186 WITH SCORE 83271.611
AT ITER 99 NEW BEST:: SOT 224653 SOS 85418 HAS SOPS 85418 HAS SOUS 82993 HAS SOUPS 82993 WITH SCORE 83078.418
AT ITER 115 NEW BEST:: SOT 224506 SOS 85363 HAS SOPS 85363 HAS SOUS 82948 HAS SOUPS 82948 WITH SCORE 83033.363
AT ITER 120 NEW BEST:: SOT 224504 SOS 85237 HAS SOPS 85237 HAS SOUS 82822 HAS SOUPS 82822 WITH SCORE 82907.237
AT ITER 125 NEW BEST:: SOT 224503 SOS 85073 HAS SOPS 85073 HAS SOUS 82658 HAS SOUPS 82658 WITH SCORE 82743.073
AT ITER 132 NEW BEST:: SOT 224487 SOS 85057 HAS SOPS 85057 HAS SOUS 82642 HAS SOUPS 82642 WITH SCORE 82727.057
AT ITER 139 NEW BEST:: SOT 224440 SOS 85010 HAS SOPS 85010 HAS SOUS 82595 HAS SOUPS 82595 WITH SCORE 82680.01
AT ITER 142 NEW BEST:: SOT 224440 SOS 84923 HAS SOPS 84923 HAS SOUS 82594 HAS SOUPS 82594 WITH SCORE 82678.923
AT ITER 156 NEW BEST:: SOT 224484 SOS 85011 HAS SOPS 85011 HAS SOUS 82498 HAS SOUPS 82498 WITH SCORE 82583.011
AT ITER 167 NEW BEST:: SOT 224484 SOS 84945 HAS SOPS 84945 HAS SOUS 82432 HAS SOUPS 82432 WITH SCORE 82516.945
AT ITER 202 NEW BEST:: SOT 224362 SOS 84878 HAS SOPS 84878 HAS SOUS 82365 HAS SOUPS 82365 WITH SCORE 82449.878
AT ITER 220 NEW BEST:: SOT 224337 SOS 84828 HAS SOPS 84828 HAS SOUS 82315 HAS SOUPS 82315 WITH SCORE 82399.828
AT ITER 221 NEW BEST:: SOT 224350 SOS 84817 HAS SOPS 84817 HAS SOUS 82304 HAS SOUPS 82304 WITH SCORE 82388.817
AT ITER 232 NEW BEST:: SOT 224174 SOS 84443 HAS SOPS 84443 HAS SOUS 82172 HAS SOUPS 82172 WITH SCORE 82256.443
AT ITER 237 NEW BEST:: SOT 224256 SOS 84628 HAS SOPS 84628 HAS SOUS 82169 HAS SOUPS 82169 WITH SCORE 82253.628
AT ITER 243 NEW BEST:: SOT 224383 SOS 84730 HAS SOPS 84730 HAS SOUS 82144 HAS SOUPS 82144 WITH SCORE 82228.73
AT ITER 244 NEW BEST:: SOT 223827 SOS 84977 HAS SOPS 84977 HAS SOUS 81749 HAS SOUPS 81749 WITH SCORE 81833.977
AT ITER 252 NEW BEST:: SOT 223647 SOS 84714 HAS SOPS 84714 HAS SOUS 81486 HAS SOUPS 81486 WITH SCORE 81570.714
AT ITER 254 NEW BEST:: SOT 223659 SOS 84694 HAS SOPS 84694 HAS SOUS 81466 HAS SOUPS 81466 WITH SCORE 81550.694
AT ITER 255 NEW BEST:: SOT 223689 SOS 84526 HAS SOPS 84526 HAS SOUS 81409 HAS SOUPS 81409 WITH SCORE 81493.526
AT ITER 258 NEW BEST:: SOT 223496 SOS 84140 HAS SOPS 84140 HAS SOUS 81023 HAS SOUPS 81023 WITH SCORE 81107.14
AT ITER 259 NEW BEST:: SOT 223433 SOS 84044 HAS SOPS 84044 HAS SOUS 80927 HAS SOUPS 80927 WITH SCORE 81011.044
AT ITER 264 NEW BEST:: SOT 223431 SOS 83932 HAS SOPS 83932 HAS SOUS 80922 HAS SOUPS 80922 WITH SCORE 81005.932
AT ITER 276 NEW BEST:: SOT 223422 SOS 83914 HAS SOPS 83914 HAS SOUS 80904 HAS SOUPS 80904 WITH SCORE 80987.914
AT ITER 277 NEW BEST:: SOT 223384 SOS 83876 HAS SOPS 83876 HAS SOUS 80866 HAS SOUPS 80866 WITH SCORE 80949.876
AT ITER 281 NEW BEST:: SOT 223384 SOS 83920 HAS SOPS 83920 HAS SOUS 80865 HAS SOUPS 80865 WITH SCORE 80948.92
AT ITER 286 NEW BEST:: SOT 223298 SOS 83640 HAS SOPS 83640 HAS SOUS 80585 HAS SOUPS 80585 WITH SCORE 80668.64
AT ITER 295 NEW BEST:: SOT 223297 SOS 83638 HAS SOPS 83638 HAS SOUS 80583 HAS SOUPS 80583 WITH SCORE 80666.638
AT ITER 310 NEW BEST:: SOT 223297 SOS 83294 HAS SOPS 83294 HAS SOUS 80239 HAS SOUPS 80239 WITH SCORE 80322.294
AT ITER 336 NEW BEST:: SOT 223219 SOS 83268 HAS SOPS 83268 HAS SOUS 80238 HAS SOUPS 80238 WITH SCORE 80321.268
AT ITER 338 NEW BEST:: SOT 223227 SOS 83249 HAS SOPS 83249 HAS SOUS 80219 HAS SOUPS 80219 WITH SCORE 80302.249
AT ITER 350 NEW BEST:: SOT 223140 SOS 83075 HAS SOPS 83075 HAS SOUS 80131 HAS SOUPS 80131 WITH SCORE 80214.075
AT ITER 353 NEW BEST:: SOT 222953 SOS 82701 HAS SOPS 82701 HAS SOUS 79757 HAS SOUPS 79757 WITH SCORE 79839.701
AT ITER 356 NEW BEST:: SOT 219848 SOS 79656 HAS SOPS 79656 HAS SOUS 76712 HAS SOUPS 76712 WITH SCORE 76791.656
AT ITER 367 NEW BEST:: SOT 219738 SOS 79401 HAS SOPS 79401 HAS SOUS 76457 HAS SOUPS 76457 WITH SCORE 76536.401
AT ITER 371 NEW BEST:: SOT 219738 SOS 79512 HAS SOPS 79512 HAS SOUS 76371 HAS SOUPS 76371 WITH SCORE 76450.512
AT ITER 375 NEW BEST:: SOT 219668 SOS 79339 HAS SOPS 79339 HAS SOUS 76198 HAS SOUPS 76198 WITH SCORE 76277.339
AT ITER 391 NEW BEST:: SOT 219429 SOS 79100 HAS SOPS 79100 HAS SOUS 76183 HAS SOUPS 76183 WITH SCORE 76262.1
AT ITER 393 NEW BEST:: SOT 219575 SOS 79060 HAS SOPS 79060 HAS SOUS 76143 HAS SOUPS 76143 WITH SCORE 76222.06
AT ITER 401 NEW BEST:: SOT 219575 SOS 78926 HAS SOPS 78926 HAS SOUS 76009 HAS SOUPS 76009 WITH SCORE 76087.926
AT ITER 414 NEW BEST:: SOT 219575 SOS 78922 HAS SOPS 78922 HAS SOUS 76005 HAS SOUPS 76005 WITH SCORE 76083.922
AT ITER 429 NEW BEST:: SOT 219543 SOS 78886 HAS SOPS 78886 HAS SOUS 75969 HAS SOUPS 75969 WITH SCORE 76047.886
AT ITER 430 NEW BEST:: SOT 219520 SOS 78851 HAS SOPS 78851 HAS SOUS 75934 HAS SOUPS 75934 WITH SCORE 76012.851
AT ITER 432 NEW BEST:: SOT 219520 SOS 78835 HAS SOPS 78835 HAS SOUS 75918 HAS SOUPS 75918 WITH SCORE 75996.835
AT ITER 436 NEW BEST:: SOT 219520 SOS 78757 HAS SOPS 78757 HAS SOUS 75840 HAS SOUPS 75840 WITH SCORE 75918.757
AT ITER 448 NEW BEST:: SOT 219520 SOS 78749 HAS SOPS 78749 HAS SOUS 75839 HAS SOUPS 75839 WITH SCORE 75917.749
AT ITER 450 NEW BEST:: SOT 219339 SOS 78568 HAS SOPS 78568 HAS SOUS 75658 HAS SOUPS 75658 WITH SCORE 75736.568
AT ITER 451 NEW BEST:: SOT 219275 SOS 78467 HAS SOPS 78467 HAS SOUS 75583 HAS SOUPS 75583 WITH SCORE 75661.467
AT ITER 453 NEW BEST:: SOT 219112 SOS 78102 HAS SOPS 78102 HAS SOUS 75218 HAS SOUPS 75218 WITH SCORE 75296.102
AT ITER 464 NEW BEST:: SOT 219206 SOS 77881 HAS SOPS 77881 HAS SOUS 74995 HAS SOUPS 74995 WITH SCORE 75072.881
AT ITER 469 NEW BEST:: SOT 219282 SOS 77837 HAS SOPS 77837 HAS SOUS 74951 HAS SOUPS 74951 WITH SCORE 75028.837
AT ITER 485 NEW BEST:: SOT 219274 SOS 77819 HAS SOPS 77819 HAS SOUS 74933 HAS SOUPS 74933 WITH SCORE 75010.819
AT ITER 496 NEW BEST:: SOT 219209 SOS 77791 HAS SOPS 77791 HAS SOUS 74930 HAS SOUPS 74930 WITH SCORE 75007.791
AT ITER 501 NEW BEST:: SOT 219209 SOS 77728 HAS SOPS 77728 HAS SOUS 74867 HAS SOUPS 74867 WITH SCORE 74944.728
AT ITER 522 NEW BEST:: SOT 219209 SOS 77714 HAS SOPS 77714 HAS SOUS 74853 HAS SOUPS 74853 WITH SCORE 74930.714
AT ITER 536 NEW BEST:: SOT 219147 SOS 77635 HAS SOPS 77635 HAS SOUS 74774 HAS SOUPS 74774 WITH SCORE 74851.635
AT ITER 539 NEW BEST:: SOT 219146 SOS 77623 HAS SOPS 77623 HAS SOUS 74772 HAS SOUPS 74772 WITH SCORE 74849.623
AT ITER 544 NEW BEST:: SOT 219179 SOS 77556 HAS SOPS 77556 HAS SOUS 74705 HAS SOUPS 74705 WITH SCORE 74782.556
AT ITER 556 NEW BEST:: SOT 219179 SOS 77549 HAS SOPS 77549 HAS SOUS 74699 HAS SOUPS 74699 WITH SCORE 74776.549
AT ITER 557 NEW BEST:: SOT 219077 SOS 77345 HAS SOPS 77345 HAS SOUS 74495 HAS SOUPS 74495 WITH SCORE 74572.345
AT ITER 561 NEW BEST:: SOT 219058 SOS 77307 HAS SOPS 77307 HAS SOUS 74457 HAS SOUPS 74457 WITH SCORE 74534.307
AT ITER 590 NEW BEST:: SOT 219086 SOS 77134 HAS SOPS 77134 HAS SOUS 74337 HAS SOUPS 74337 WITH SCORE 74414.134
AT ITER 593 NEW BEST:: SOT 218974 SOS 77346 HAS SOPS 77346 HAS SOUS 74268 HAS SOUPS 74268 WITH SCORE 74345.346
AT ITER 596 NEW BEST:: SOT 218959 SOS 77316 HAS SOPS 77316 HAS SOUS 74238 HAS SOUPS 74238 WITH SCORE 74315.316
AT ITER 616 NEW BEST:: SOT 218958 SOS 77314 HAS SOPS 77314 HAS SOUS 74236 HAS SOUPS 74236 WITH SCORE 74313.314
AT ITER 620 NEW BEST:: SOT 218904 SOS 77205 HAS SOPS 77205 HAS SOUS 74195 HAS SOUPS 74195 WITH SCORE 74272.205
AT ITER 622 NEW BEST:: SOT 218723 SOS 76937 HAS SOPS 76937 HAS SOUS 74108 HAS SOUPS 74108 WITH SCORE 74184.937
AT ITER 628 NEW BEST:: SOT 218738 SOS 76781 HAS SOPS 76781 HAS SOUS 74043 HAS SOUPS 74043 WITH SCORE 74119.781
AT ITER 632 NEW BEST:: SOT 218757 SOS 76941 HAS SOPS 76941 HAS SOUS 74024 HAS SOUPS 74024 WITH SCORE 74100.941
AT ITER 636 NEW BEST:: SOT 218671 SOS 76846 HAS SOPS 76846 HAS SOUS 73821 HAS SOUPS 73821 WITH SCORE 73897.846
AT ITER 641 NEW BEST:: SOT 218740 SOS 76756 HAS SOPS 76756 HAS SOUS 73800 HAS SOUPS 73800 WITH SCORE 73876.756
AT ITER 648 NEW BEST:: SOT 218497 SOS 76368 HAS SOPS 76368 HAS SOUS 73412 HAS SOUPS 73412 WITH SCORE 73488.368
AT ITER 651 NEW BEST:: SOT 218528 SOS 76369 HAS SOPS 76369 HAS SOUS 73382 HAS SOUPS 73382 WITH SCORE 73458.369
AT ITER 689 NEW BEST:: SOT 218468 SOS 76177 HAS SOPS 76177 HAS SOUS 73190 HAS SOUPS 73190 WITH SCORE 73266.177
AT ITER 698 NEW BEST:: SOT 218467 SOS 76148 HAS SOPS 76148 HAS SOUS 73161 HAS SOUPS 73161 WITH SCORE 73237.148
AT ITER 700 NEW BEST:: SOT 218296 SOS 76062 HAS SOPS 76062 HAS SOUS 73075 HAS SOUPS 73075 WITH SCORE 73151.062
AT ITER 716 NEW BEST:: SOT 218296 SOS 76009 HAS SOPS 76009 HAS SOUS 73022 HAS SOUPS 73022 WITH SCORE 73098.009
AT ITER 772 NEW BEST:: SOT 218237 SOS 76001 HAS SOPS 76001 HAS SOUS 73014 HAS SOUPS 73014 WITH SCORE 73090.001
AT ITER 785 NEW BEST:: SOT 218071 SOS 75839 HAS SOPS 75839 HAS SOUS 72852 HAS SOUPS 72852 WITH SCORE 72927.839
AT ITER 793 NEW BEST:: SOT 218071 SOS 75824 HAS SOPS 75824 HAS SOUS 72837 HAS SOUPS 72837 WITH SCORE 72912.824
AT ITER 820 NEW BEST:: SOT 218054 SOS 75790 HAS SOPS 75790 HAS SOUS 72803 HAS SOUPS 72803 WITH SCORE 72878.79
AT ITER 830 NEW BEST:: SOT 218054 SOS 75557 HAS SOPS 75557 HAS SOUS 72570 HAS SOUPS 72570 WITH SCORE 72645.557
AT ITER 831 NEW BEST:: SOT 218063 SOS 75384 HAS SOPS 75384 HAS SOUS 72428 HAS SOUPS 72428 WITH SCORE 72503.384
AT ITER 834 NEW BEST:: SOT 218034 SOS 75326 HAS SOPS 75326 HAS SOUS 72370 HAS SOUPS 72370 WITH SCORE 72445.326
AT ITER 845 NEW BEST:: SOT 218033 SOS 75324 HAS SOPS 75324 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72443.324
AT ITER 849 NEW BEST:: SOT 217885 SOS 75255 HAS SOPS 75255 HAS SOUS 72299 HAS SOUPS 72299 WITH SCORE 72374.255
AT ITER 860 NEW BEST:: SOT 217823 SOS 75159 HAS SOPS 75159 HAS SOUS 72203 HAS SOUPS 72203 WITH SCORE 72278.159
AT ITER 865 NEW BEST:: SOT 217754 SOS 74919 HAS SOPS 74919 HAS SOUS 71963 HAS SOUPS 71963 WITH SCORE 72037.919
AT ITER 885 NEW BEST:: SOT 217681 SOS 74848 HAS SOPS 74848 HAS SOUS 71892 HAS SOUPS 71892 WITH SCORE 71966.848
AT ITER 888 NEW BEST:: SOT 217679 SOS 74752 HAS SOPS 74752 HAS SOUS 71793 HAS SOUPS 71793 WITH SCORE 71867.752
AT ITER 904 NEW BEST:: SOT 217679 SOS 74714 HAS SOPS 74714 HAS SOUS 71755 HAS SOUPS 71755 WITH SCORE 71829.714
AT ITER 905 NEW BEST:: SOT 217623 SOS 74714 HAS SOPS 74714 HAS SOUS 71754 HAS SOUPS 71754 WITH SCORE 71828.714
AT ITER 908 NEW BEST:: SOT 217469 SOS 74562 HAS SOPS 74562 HAS SOUS 71602 HAS SOUPS 71602 WITH SCORE 71676.562
AT ITER 920 NEW BEST:: SOT 217463 SOS 74550 HAS SOPS 74550 HAS SOUS 71595 HAS SOUPS 71595 WITH SCORE 71669.55
AT ITER 932 NEW BEST:: SOT 217231 SOS 74168 HAS SOPS 74168 HAS SOUS 71363 HAS SOUPS 71363 WITH SCORE 71437.168
AT ITER 951 NEW BEST:: SOT 217193 SOS 74142 HAS SOPS 74142 HAS SOUS 71337 HAS SOUPS 71337 WITH SCORE 71411.142
AT ITER 959 NEW BEST:: SOT 217193 SOS 74139 HAS SOPS 74139 HAS SOUS 71334 HAS SOUPS 71334 WITH SCORE 71408.139
AT ITER 969 NEW BEST:: SOT 217160 SOS 74134 HAS SOPS 74134 HAS SOUS 71329 HAS SOUPS 71329 WITH SCORE 71403.134
AT ITER 973 NEW BEST:: SOT 217129 SOS 74103 HAS SOPS 74103 HAS SOUS 71298 HAS SOUPS 71298 WITH SCORE 71372.103
AT ITER 975 NEW BEST:: SOT 217140 SOS 74093 HAS SOPS 74093 HAS SOUS 71288 HAS SOUPS 71288 WITH SCORE 71362.093
AT ITER 1002 NEW BEST:: SOT 217139 SOS 74091 HAS SOPS 74091 HAS SOUS 71286 HAS SOUPS 71286 WITH SCORE 71360.091
AT ITER 1006 NEW BEST:: SOT 213991 SOS 70910 HAS SOPS 70910 HAS SOUS 68105 HAS SOUPS 68105 WITH SCORE 68175.91
AT ITER 1010 NEW BEST:: SOT 213869 SOS 70666 HAS SOPS 70666 HAS SOUS 67861 HAS SOUPS 67861 WITH SCORE 67931.666
AT ITER 1031 NEW BEST:: SOT 213864 SOS 70656 HAS SOPS 70656 HAS SOUS 67851 HAS SOUPS 67851 WITH SCORE 67921.656
AT ITER 1033 NEW BEST:: SOT 213864 SOS 70625 HAS SOPS 70625 HAS SOUS 67820 HAS SOUPS 67820 WITH SCORE 67890.625
AT ITER 1042 NEW BEST:: SOT 213848 SOS 70593 HAS SOPS 70593 HAS SOUS 67788 HAS SOUPS 67788 WITH SCORE 67858.593
AT ITER 1045 NEW BEST:: SOT 213848 SOS 70588 HAS SOPS 70588 HAS SOUS 67783 HAS SOUPS 67783 WITH SCORE 67853.588
AT ITER 1068 NEW BEST:: SOT 213700 SOS 70429 HAS SOPS 70429 HAS SOUS 67624 HAS SOUPS 67624 WITH SCORE 67694.429
AT ITER 1073 NEW BEST:: SOT 213699 SOS 70395 HAS SOPS 70395 HAS SOUS 67590 HAS SOUPS 67590 WITH SCORE 67660.395
AT ITER 1111 NEW BEST:: SOT 213699 SOS 70329 HAS SOPS 70329 HAS SOUS 67524 HAS SOUPS 67524 WITH SCORE 67594.329
AT ITER 1137 NEW BEST:: SOT 213666 SOS 70383 HAS SOPS 70383 HAS SOUS 67491 HAS SOUPS 67491 WITH SCORE 67561.383
AT ITER 1145 NEW BEST:: SOT 213715 SOS 70187 HAS SOPS 70187 HAS SOUS 67491 HAS SOUPS 67491 WITH SCORE 67561.187
AT ITER 1192 NEW BEST:: SOT 213715 SOS 70142 HAS SOPS 70142 HAS SOUS 67446 HAS SOUPS 67446 WITH SCORE 67516.142
AT ITER 1195 NEW BEST:: SOT 213704 SOS 70072 HAS SOPS 70072 HAS SOUS 67376 HAS SOUPS 67376 WITH SCORE 67446.072
AT ITER 1214 NEW BEST:: SOT 213538 SOS 69898 HAS SOPS 69898 HAS SOUS 67202 HAS SOUPS 67202 WITH SCORE 67271.898
AT ITER 1221 NEW BEST:: SOT 213525 SOS 69856 HAS SOPS 69856 HAS SOUS 67160 HAS SOUPS 67160 WITH SCORE 67229.856
AT ITER 1229 NEW BEST:: SOT 213436 SOS 69650 HAS SOPS 69650 HAS SOUS 66954 HAS SOUPS 66954 WITH SCORE 67023.65
AT ITER 1260 NEW BEST:: SOT 213435 SOS 69467 HAS SOPS 69467 HAS SOUS 66771 HAS SOUPS 66771 WITH SCORE 66840.467
AT ITER 1270 NEW BEST:: SOT 213404 SOS 69466 HAS SOPS 69466 HAS SOUS 66770 HAS SOUPS 66770 WITH SCORE 66839.466
AT ITER 1300 NEW BEST:: SOT 213403 SOS 69464 HAS SOPS 69464 HAS SOUS 66768 HAS SOUPS 66768 WITH SCORE 66837.464
AT ITER 1312 NEW BEST:: SOT 213403 SOS 69450 HAS SOPS 69450 HAS SOUS 66754 HAS SOUPS 66754 WITH SCORE 66823.45
AT ITER 1316 NEW BEST:: SOT 213423 SOS 69424 HAS SOPS 69424 HAS SOUS 66728 HAS SOUPS 66728 WITH SCORE 66797.424
AT ITER 1318 NEW BEST:: SOT 213411 SOS 69400 HAS SOPS 69400 HAS SOUS 66704 HAS SOUPS 66704 WITH SCORE 66773.4
AT ITER 1322 NEW BEST:: SOT 213487 SOS 69453 HAS SOPS 69453 HAS SOUS 66681 HAS SOUPS 66681 WITH SCORE 66750.453
AT ITER 1360 NEW BEST:: SOT 213247 SOS 69213 HAS SOPS 69213 HAS SOUS 66441 HAS SOUPS 66441 WITH SCORE 66510.213
AT ITER 1369 NEW BEST:: SOT 213345 SOS 69139 HAS SOPS 69139 HAS SOUS 66367 HAS SOUPS 66367 WITH SCORE 66436.139
AT ITER 1391 NEW BEST:: SOT 213345 SOS 69082 HAS SOPS 69082 HAS SOUS 66310 HAS SOUPS 66310 WITH SCORE 66379.082
AT ITER 1409 NEW BEST:: SOT 213347 SOS 68898 HAS SOPS 68898 HAS SOUS 66126 HAS SOUPS 66126 WITH SCORE 66194.898
AT ITER 1413 NEW BEST:: SOT 213347 SOS 68843 HAS SOPS 68843 HAS SOUS 66112 HAS SOUPS 66112 WITH SCORE 66180.843
AT ITER 1418 NEW BEST:: SOT 213346 SOS 68841 HAS SOPS 68841 HAS SOUS 66110 HAS SOUPS 66110 WITH SCORE 66178.841
AT ITER 1431 NEW BEST:: SOT 213164 SOS 68496 HAS SOPS 68496 HAS SOUS 65765 HAS SOUPS 65765 WITH SCORE 65833.496
AT ITER 1447 NEW BEST:: SOT 213002 SOS 68116 HAS SOPS 68116 HAS SOUS 65385 HAS SOUPS 65385 WITH SCORE 65453.116
AT ITER 1479 NEW BEST:: SOT 210522 SOS 65494 HAS SOPS 65494 HAS SOUS 62763 HAS SOUPS 62763 WITH SCORE 62828.494
AT ITER 1501 NEW BEST:: SOT 210460 SOS 65483 HAS SOPS 65483 HAS SOUS 62752 HAS SOUPS 62752 WITH SCORE 62817.483
AT ITER 1513 NEW BEST:: SOT 210374 SOS 65410 HAS SOPS 65410 HAS SOUS 62679 HAS SOUPS 62679 WITH SCORE 62744.41
AT ITER 1514 NEW BEST:: SOT 210368 SOS 65398 HAS SOPS 65398 HAS SOUS 62667 HAS SOUPS 62667 WITH SCORE 62732.398
AT ITER 1535 NEW BEST:: SOT 210287 SOS 65317 HAS SOPS 65317 HAS SOUS 62586 HAS SOUPS 62586 WITH SCORE 62651.317
AT ITER 1547 NEW BEST:: SOT 210247 SOS 65310 HAS SOPS 65310 HAS SOUS 62578 HAS SOUPS 62578 WITH SCORE 62643.31
AT ITER 1563 NEW BEST:: SOT 210234 SOS 65260 HAS SOPS 65260 HAS SOUS 62528 HAS SOUPS 62528 WITH SCORE 62593.26
AT ITER 1568 NEW BEST:: SOT 210233 SOS 65258 HAS SOPS 65258 HAS SOUS 62526 HAS SOUPS 62526 WITH SCORE 62591.258
AT ITER 1579 NEW BEST:: SOT 210164 SOS 65161 HAS SOPS 65161 HAS SOUS 62470 HAS SOUPS 62470 WITH SCORE 62535.161
AT ITER 1583 NEW BEST:: SOT 210148 SOS 65157 HAS SOPS 65157 HAS SOUS 62466 HAS SOUPS 62466 WITH SCORE 62531.157
AT ITER 1595 NEW BEST:: SOT 203204 SOS 83815 HAS SOPS 83815 HAS SOUS 56522 HAS SOUPS 56522 WITH SCORE 56605.815
AT ITER 1604 NEW BEST:: SOT 203145 SOS 83755 HAS SOPS 83755 HAS SOUS 56462 HAS SOUPS 56462 WITH SCORE 56545.755
AT ITER 1618 NEW BEST:: SOT 203138 SOS 83748 HAS SOPS 83748 HAS SOUS 56448 HAS SOUPS 56448 WITH SCORE 56531.748
AT ITER 1639 NEW BEST:: SOT 203138 SOS 83669 HAS SOPS 83669 HAS SOUS 56369 HAS SOUPS 56369 WITH SCORE 56452.669
AT ITER 1640 NEW BEST:: SOT 203104 SOS 83634 HAS SOPS 83634 HAS SOUS 56334 HAS SOUPS 56334 WITH SCORE 56417.634
AT ITER 1653 NEW BEST:: SOT 203104 SOS 83628 HAS SOPS 83628 HAS SOUS 56328 HAS SOUPS 56328 WITH SCORE 56411.628
AT ITER 1671 NEW BEST:: SOT 203109 SOS 83514 HAS SOPS 83514 HAS SOUS 56326 HAS SOUPS 56326 WITH SCORE 56409.514
AT ITER 1684 NEW BEST:: SOT 203106 SOS 83508 HAS SOPS 83508 HAS SOUS 56320 HAS SOUPS 56320 WITH SCORE 56403.508
AT ITER 1703 NEW BEST:: SOT 203103 SOS 83505 HAS SOPS 83505 HAS SOUS 56317 HAS SOUPS 56317 WITH SCORE 56400.505
AT ITER 1710 NEW BEST:: SOT 202993 SOS 83285 HAS SOPS 83285 HAS SOUS 56241 HAS SOUPS 56241 WITH SCORE 56324.285
AT ITER 1714 NEW BEST:: SOT 202993 SOS 83277 HAS SOPS 83277 HAS SOUS 56241 HAS SOUPS 56241 WITH SCORE 56324.277
AT ITER 1718 NEW BEST:: SOT 202946 SOS 83183 HAS SOPS 83183 HAS SOUS 56235 HAS SOUPS 56235 WITH SCORE 56318.183
AT ITER 1723 NEW BEST:: SOT 202975 SOS 82732 HAS SOPS 82732 HAS SOUS 55893 HAS SOUPS 55893 WITH SCORE 55975.732
AT ITER 1728 NEW BEST:: SOT 202972 SOS 82726 HAS SOPS 82726 HAS SOUS 55884 HAS SOUPS 55884 WITH SCORE 55966.726
AT ITER 1730 NEW BEST:: SOT 202947 SOS 83060 HAS SOPS 83060 HAS SOUS 55859 HAS SOUPS 55859 WITH SCORE 55942.06
AT ITER 1764 NEW BEST:: SOT 203030 SOS 83030 HAS SOPS 83030 HAS SOUS 55752 HAS SOUPS 55752 WITH SCORE 55835.03
AT ITER 1773 NEW BEST:: SOT 203005 SOS 82765 HAS SOPS 82765 HAS SOUS 55654 HAS SOUPS 55654 WITH SCORE 55736.765
AT ITER 1780 NEW BEST:: SOT 203005 SOS 82764 HAS SOPS 82764 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55735.764
AT ITER 1796 NEW BEST:: SOT 202933 SOS 82692 HAS SOPS 82692 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55735.692
AT ITER 1822 NEW BEST:: SOT 202933 SOS 82692 HAS SOPS 82692 HAS SOUS 55619 HAS SOUPS 55619 WITH SCORE 55701.692
AT ITER 1825 NEW BEST:: SOT 202933 SOS 82692 HAS SOPS 82692 HAS SOUS 55575 HAS SOUPS 55575 WITH SCORE 55657.692
AT ITER 1839 NEW BEST:: SOT 202902 SOS 82661 HAS SOPS 82661 HAS SOUS 55461 HAS SOUPS 55461 WITH SCORE 55543.661
AT ITER 1842 NEW BEST:: SOT 202740 SOS 69357 HAS SOPS 69357 HAS SOUS 55295 HAS SOUPS 55295 WITH SCORE 55364.357
AT ITER 1859 NEW BEST:: SOT 202717 SOS 69299 HAS SOPS 69299 HAS SOUS 55260 HAS SOUPS 55260 WITH SCORE 55329.299
AT ITER 1866 NEW BEST:: SOT 202647 SOS 69212 HAS SOPS 69212 HAS SOUS 55173 HAS SOUPS 55173 WITH SCORE 55242.212
AT ITER 1873 NEW BEST:: SOT 202627 SOS 69078 HAS SOPS 69078 HAS SOUS 55049 HAS SOUPS 55049 WITH SCORE 55118.078
AT ITER 1880 NEW BEST:: SOT 202627 SOS 68660 HAS SOPS 68660 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54669.66
AT ITER 1881 NEW BEST:: SOT 202567 SOS 68600 HAS SOPS 68600 HAS SOUS 54541 HAS SOUPS 54541 WITH SCORE 54609.6
AT ITER 1898 NEW BEST:: SOT 202618 SOS 68591 HAS SOPS 68591 HAS SOUS 54478 HAS SOUPS 54478 WITH SCORE 54546.591
AT ITER 1936 NEW BEST:: SOT 202612 SOS 68544 HAS SOPS 68544 HAS SOUS 54431 HAS SOUPS 54431 WITH SCORE 54499.544
AT ITER 1941 NEW BEST:: SOT 202520 SOS 68826 HAS SOPS 68826 HAS SOUS 54367 HAS SOUPS 54367 WITH SCORE 54435.826
AT ITER 1942 NEW BEST:: SOT 202519 SOS 68825 HAS SOPS 68825 HAS SOUS 54366 HAS SOUPS 54366 WITH SCORE 54434.825
AT ITER 1948 NEW BEST:: SOT 202509 SOS 68926 HAS SOPS 68926 HAS SOUS 54355 HAS SOUPS 54355 WITH SCORE 54423.926
AT ITER 1959 NEW BEST:: SOT 202531 SOS 68925 HAS SOPS 68925 HAS SOUS 54354 HAS SOUPS 54354 WITH SCORE 54422.925
AT ITER 1963 NEW BEST:: SOT 202552 SOS 68896 HAS SOPS 68896 HAS SOUS 54334 HAS SOUPS 54334 WITH SCORE 54402.896
AT ITER 1971 NEW BEST:: SOT 202547 SOS 68886 HAS SOPS 68886 HAS SOUS 54329 HAS SOUPS 54329 WITH SCORE 54397.886
AT ITER 1979 NEW BEST:: SOT 202424 SOS 68763 HAS SOPS 68763 HAS SOUS 54206 HAS SOUPS 54206 WITH SCORE 54274.763
AT ITER 1981 NEW BEST:: SOT 202390 SOS 68695 HAS SOPS 68695 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54206.695
AT ITER 1984 NEW BEST:: SOT 202437 SOS 68741 HAS SOPS 68741 HAS SOUS 54136 HAS SOUPS 54136 WITH SCORE 54204.741
AT ITER 1996 NEW BEST:: SOT 202557 SOS 68705 HAS SOPS 68705 HAS SOUS 54100 HAS SOUPS 54100 WITH SCORE 54168.705
AT ITER 2005 NEW BEST:: SOT 202399 SOS 68468 HAS SOPS 68468 HAS SOUS 53942 HAS SOUPS 53942 WITH SCORE 54010.468
AT ITER 2020 NEW BEST:: SOT 202315 SOS 68376 HAS SOPS 68376 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53918.376
AT ITER 2034 NEW BEST:: SOT 202250 SOS 68304 HAS SOPS 68304 HAS SOUS 53778 HAS SOUPS 53778 WITH SCORE 53846.304
AT ITER 2036 NEW BEST:: SOT 201994 SOS 67920 HAS SOPS 67920 HAS SOUS 53522 HAS SOUPS 53522 WITH SCORE 53589.92
AT ITER 2041 NEW BEST:: SOT 201925 SOS 67782 HAS SOPS 67782 HAS SOUS 53384 HAS SOUPS 53384 WITH SCORE 53451.782
AT ITER 2052 NEW BEST:: SOT 201875 SOS 67732 HAS SOPS 67732 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53401.732
AT ITER 2054 NEW BEST:: SOT 201789 SOS 67560 HAS SOPS 67560 HAS SOUS 53162 HAS SOUPS 53162 WITH SCORE 53229.56
AT ITER 2066 NEW BEST:: SOT 201735 SOS 67452 HAS SOPS 67452 HAS SOUS 53080 HAS SOUPS 53080 WITH SCORE 53147.452
AT ITER 2070 NEW BEST:: SOT 201710 SOS 67402 HAS SOPS 67402 HAS SOUS 53030 HAS SOUPS 53030 WITH SCORE 53097.402
AT ITER 2071 NEW BEST:: SOT 201710 SOS 67390 HAS SOPS 67390 HAS SOUS 53018 HAS SOUPS 53018 WITH SCORE 53085.39
AT ITER 2098 NEW BEST:: SOT 201669 SOS 67349 HAS SOPS 67349 HAS SOUS 53018 HAS SOUPS 53018 WITH SCORE 53085.349
AT ITER 2114 NEW BEST:: SOT 201667 SOS 67345 HAS SOPS 67345 HAS SOUS 53014 HAS SOUPS 53014 WITH SCORE 53081.345
AT ITER 2120 NEW BEST:: SOT 201689 SOS 67367 HAS SOPS 67367 HAS SOUS 53013 HAS SOUPS 53013 WITH SCORE 53080.367
AT ITER 2121 NEW BEST:: SOT 201696 SOS 67342 HAS SOPS 67342 HAS SOUS 52949 HAS SOUPS 52949 WITH SCORE 53016.342
AT ITER 2130 NEW BEST:: SOT 201499 SOS 67112 HAS SOPS 67112 HAS SOUS 52719 HAS SOUPS 52719 WITH SCORE 52786.112
AT ITER 2135 NEW BEST:: SOT 201482 SOS 67078 HAS SOPS 67078 HAS SOUS 52685 HAS SOUPS 52685 WITH SCORE 52752.078
AT ITER 2137 NEW BEST:: SOT 201411 SOS 66936 HAS SOPS 66936 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52583.936
AT ITER 2155 NEW BEST:: SOT 201407 SOS 66928 HAS SOPS 66928 HAS SOUS 52502 HAS SOUPS 52502 WITH SCORE 52568.928
AT ITER 2172 NEW BEST:: SOT 201364 SOS 66872 HAS SOPS 66872 HAS SOUS 52477 HAS SOUPS 52477 WITH SCORE 52543.872
AT ITER 2187 NEW BEST:: SOT 201364 SOS 66851 HAS SOPS 66851 HAS SOUS 52456 HAS SOUPS 52456 WITH SCORE 52522.851
AT ITER 2195 NEW BEST:: SOT 201142 SOS 66658 HAS SOPS 66658 HAS SOUS 52432 HAS SOUPS 52432 WITH SCORE 52498.658
AT ITER 2202 NEW BEST:: SOT 201140 SOS 66654 HAS SOPS 66654 HAS SOUS 52428 HAS SOUPS 52428 WITH SCORE 52494.654
AT ITER 2221 NEW BEST:: SOT 200982 SOS 66337 HAS SOPS 66337 HAS SOUS 52294 HAS SOUPS 52294 WITH SCORE 52360.337
AT ITER 2235 NEW BEST:: SOT 200871 SOS 66226 HAS SOPS 66226 HAS SOUS 52150 HAS SOUPS 52150 WITH SCORE 52216.226
AT ITER 2242 NEW BEST:: SOT 200871 SOS 66226 HAS SOPS 66226 HAS SOUS 52128 HAS SOUPS 52128 WITH SCORE 52194.226
AT ITER 2244 NEW BEST:: SOT 200823 SOS 66178 HAS SOPS 66178 HAS SOUS 52080 HAS SOUPS 52080 WITH SCORE 52146.178
AT ITER 2245 NEW BEST:: SOT 200823 SOS 66176 HAS SOPS 66176 HAS SOUS 52079 HAS SOUPS 52079 WITH SCORE 52145.176
AT ITER 2249 NEW BEST:: SOT 200823 SOS 66158 HAS SOPS 66158 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52127.158
AT ITER 2252 NEW BEST:: SOT 200769 SOS 65932 HAS SOPS 65932 HAS SOUS 52017 HAS SOUPS 52017 WITH SCORE 52082.932
AT ITER 2275 NEW BEST:: SOT 200765 SOS 65927 HAS SOPS 65927 HAS SOUS 52012 HAS SOUPS 52012 WITH SCORE 52077.927
AT ITER 2297 NEW BEST:: SOT 200687 SOS 65771 HAS SOPS 65771 HAS SOUS 51895 HAS SOUPS 51895 WITH SCORE 51960.771
AT ITER 2298 NEW BEST:: SOT 200795 SOS 65988 HAS SOPS 65988 HAS SOUS 51894 HAS SOUPS 51894 WITH SCORE 51959.988
AT ITER 2299 NEW BEST:: SOT 200842 SOS 65937 HAS SOPS 65937 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51908.937
AT ITER 2320 NEW BEST:: SOT 200804 SOS 65861 HAS SOPS 65861 HAS SOUS 51767 HAS SOUPS 51767 WITH SCORE 51832.861
AT ITER 2339 NEW BEST:: SOT 200681 SOS 65663 HAS SOPS 65663 HAS SOUS 51569 HAS SOUPS 51569 WITH SCORE 51634.663
AT ITER 2357 NEW BEST:: SOT 200547 SOS 65596 HAS SOPS 65596 HAS SOUS 51435 HAS SOUPS 51435 WITH SCORE 51500.596
AT ITER 2364 NEW BEST:: SOT 200537 SOS 65656 HAS SOPS 65656 HAS SOUS 51425 HAS SOUPS 51425 WITH SCORE 51490.656
AT ITER 2366 NEW BEST:: SOT 200519 SOS 65615 HAS SOPS 65615 HAS SOUS 51384 HAS SOUPS 51384 WITH SCORE 51449.615
AT ITER 2380 NEW BEST:: SOT 200579 SOS 65735 HAS SOPS 65735 HAS SOUS 51382 HAS SOUPS 51382 WITH SCORE 51447.735
AT ITER 2388 NEW BEST:: SOT 200579 SOS 65735 HAS SOPS 65735 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51391.735
AT ITER 2393 NEW BEST:: SOT 200563 SOS 65619 HAS SOPS 65619 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51275.619
AT ITER 2395 NEW BEST:: SOT 200562 SOS 65595 HAS SOPS 65595 HAS SOUS 51187 HAS SOUPS 51187 WITH SCORE 51252.595
AT ITER 2409 NEW BEST:: SOT 200587 SOS 65664 HAS SOPS 65664 HAS SOUS 51170 HAS SOUPS 51170 WITH SCORE 51235.664
AT ITER 2414 NEW BEST:: SOT 200597 SOS 65684 HAS SOPS 65684 HAS SOUS 51106 HAS SOUPS 51106 WITH SCORE 51171.684
AT ITER 2433 NEW BEST:: SOT 200587 SOS 65664 HAS SOPS 65664 HAS SOUS 51086 HAS SOUPS 51086 WITH SCORE 51151.664
AT ITER 2450 NEW BEST:: SOT 200621 SOS 65685 HAS SOPS 65685 HAS SOUS 51083 HAS SOUPS 51083 WITH SCORE 51148.685
AT ITER 2454 NEW BEST:: SOT 200542 SOS 65555 HAS SOPS 65555 HAS SOUS 51055 HAS SOUPS 51055 WITH SCORE 51120.555
AT ITER 2469 NEW BEST:: SOT 200527 SOS 65527 HAS SOPS 65527 HAS SOUS 51027 HAS SOUPS 51027 WITH SCORE 51092.527
AT ITER 2471 NEW BEST:: SOT 200518 SOS 65509 HAS SOPS 65509 HAS SOUS 51018 HAS SOUPS 51018 WITH SCORE 51083.509
AT ITER 2484 NEW BEST:: SOT 200518 SOS 65482 HAS SOPS 65482 HAS SOUS 50912 HAS SOUPS 50912 WITH SCORE 50977.482
AT ITER 2485 NEW BEST:: SOT 200506 SOS 65458 HAS SOPS 65458 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50953.458
AT ITER 2486 NEW BEST:: SOT 200499 SOS 65451 HAS SOPS 65451 HAS SOUS 50881 HAS SOUPS 50881 WITH SCORE 50946.451
AT ITER 2503 NEW BEST:: SOT 200467 SOS 65387 HAS SOPS 65387 HAS SOUS 50834 HAS SOUPS 50834 WITH SCORE 50899.387
AT ITER 2504 NEW BEST:: SOT 200455 SOS 65370 HAS SOPS 65370 HAS SOUS 50817 HAS SOUPS 50817 WITH SCORE 50882.37
AT ITER 2514 NEW BEST:: SOT 200451 SOS 65366 HAS SOPS 65366 HAS SOUS 50813 HAS SOUPS 50813 WITH SCORE 50878.366
AT ITER 2555 NEW BEST:: SOT 200421 SOS 65306 HAS SOPS 65306 HAS SOUS 50768 HAS SOUPS 50768 WITH SCORE 50833.306
AT ITER 2588 NEW BEST:: SOT 200358 SOS 65186 HAS SOPS 65186 HAS SOUS 50648 HAS SOUPS 50648 WITH SCORE 50713.186
AT ITER 2607 NEW BEST:: SOT 200307 SOS 65117 HAS SOPS 65117 HAS SOUS 50579 HAS SOUPS 50579 WITH SCORE 50644.117
AT ITER 2621 NEW BEST:: SOT 200303 SOS 65109 HAS SOPS 65109 HAS SOUS 50571 HAS SOUPS 50571 WITH SCORE 50636.109
AT ITER 2624 NEW BEST:: SOT 200246 SOS 65004 HAS SOPS 65004 HAS SOUS 50466 HAS SOUPS 50466 WITH SCORE 50531.004
AT ITER 2635 NEW BEST:: SOT 200036 SOS 64847 HAS SOPS 64847 HAS SOUS 50305 HAS SOUPS 50305 WITH SCORE 50369.847
AT ITER 2642 NEW BEST:: SOT 199938 SOS 64749 HAS SOPS 64749 HAS SOUS 50207 HAS SOUPS 50207 WITH SCORE 50271.749
AT ITER 2643 NEW BEST:: SOT 199882 SOS 64665 HAS SOPS 64665 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50187.665
AT ITER 2646 NEW BEST:: SOT 199881 SOS 64663 HAS SOPS 64663 HAS SOUS 50121 HAS SOUPS 50121 WITH SCORE 50185.663
AT ITER 2665 NEW BEST:: SOT 199878 SOS 64657 HAS SOPS 64657 HAS SOUS 50115 HAS SOUPS 50115 WITH SCORE 50179.657
AT ITER 2674 NEW BEST:: SOT 199808 SOS 64580 HAS SOPS 64580 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50165.58
AT ITER 2682 NEW BEST:: SOT 199763 SOS 64454 HAS SOPS 64454 HAS SOUS 49884 HAS SOUPS 49884 WITH SCORE 49948.454
AT ITER 2691 NEW BEST:: SOT 199715 SOS 64358 HAS SOPS 64358 HAS SOUS 49788 HAS SOUPS 49788 WITH SCORE 49852.358
AT ITER 2697 NEW BEST:: SOT 199834 SOS 64352 HAS SOPS 64352 HAS SOUS 49782 HAS SOUPS 49782 WITH SCORE 49846.352
AT ITER 2711 NEW BEST:: SOT 199660 SOS 64115 HAS SOPS 64115 HAS SOUS 49656 HAS SOUPS 49656 WITH SCORE 49720.115
AT ITER 2719 NEW BEST:: SOT 199645 SOS 64099 HAS SOPS 64099 HAS SOUS 49640 HAS SOUPS 49640 WITH SCORE 49704.099
AT ITER 2724 NEW BEST:: SOT 199644 SOS 64097 HAS SOPS 64097 HAS SOUS 49638 HAS SOUPS 49638 WITH SCORE 49702.097
AT ITER 2726 NEW BEST:: SOT 199701 SOS 64154 HAS SOPS 64154 HAS SOUS 49622 HAS SOUPS 49622 WITH SCORE 49686.154
AT ITER 2743 NEW BEST:: SOT 199706 SOS 64146 HAS SOPS 64146 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49678.146
AT ITER 2748 NEW BEST:: SOT 199570 SOS 63942 HAS SOPS 63942 HAS SOUS 49478 HAS SOUPS 49478 WITH SCORE 49541.942
AT ITER 2752 NEW BEST:: SOT 199524 SOS 63873 HAS SOPS 63873 HAS SOUS 49432 HAS SOUPS 49432 WITH SCORE 49495.873
AT ITER 2758 NEW BEST:: SOT 199506 SOS 63854 HAS SOPS 63854 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49476.854
AT ITER 2776 NEW BEST:: SOT 199297 SOS 63618 HAS SOPS 63618 HAS SOUS 49410 HAS SOUPS 49410 WITH SCORE 49473.618
AT ITER 2780 NEW BEST:: SOT 199297 SOS 63618 HAS SOPS 63618 HAS SOUS 49373 HAS SOUPS 49373 WITH SCORE 49436.618
AT ITER 2799 NEW BEST:: SOT 199288 SOS 63587 HAS SOPS 63587 HAS SOUS 49351 HAS SOUPS 49351 WITH SCORE 49414.587
AT ITER 2815 NEW BEST:: SOT 199195 SOS 63465 HAS SOPS 63465 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49292.465
AT ITER 2849 NEW BEST:: SOT 199193 SOS 63463 HAS SOPS 63463 HAS SOUS 49196 HAS SOUPS 49196 WITH SCORE 49259.463
AT ITER 2857 NEW BEST:: SOT 199066 SOS 63268 HAS SOPS 63268 HAS SOUS 49127 HAS SOUPS 49127 WITH SCORE 49190.268
AT ITER 2871 NEW BEST:: SOT 198994 SOS 63124 HAS SOPS 63124 HAS SOUS 48983 HAS SOUPS 48983 WITH SCORE 49046.124
AT ITER 2915 NEW BEST:: SOT 198901 SOS 62938 HAS SOPS 62938 HAS SOUS 48797 HAS SOUPS 48797 WITH SCORE 48859.938
AT ITER 2954 NEW BEST:: SOT 198901 SOS 62911 HAS SOPS 62911 HAS SOUS 48783 HAS SOUPS 48783 WITH SCORE 48845.911
AT ITER 2955 NEW BEST:: SOT 198900 SOS 62907 HAS SOPS 62907 HAS SOUS 48779 HAS SOUPS 48779 WITH SCORE 48841.907
AT ITER 2968 NEW BEST:: SOT 198818 SOS 62636 HAS SOPS 62636 HAS SOUS 48508 HAS SOUPS 48508 WITH SCORE 48570.636
AT ITER 3012 NEW BEST:: SOT 198773 SOS 62478 HAS SOPS 62478 HAS SOUS 48350 HAS SOUPS 48350 WITH SCORE 48412.478
AT ITER 3014 NEW BEST:: SOT 198773 SOS 62422 HAS SOPS 62422 HAS SOUS 48294 HAS SOUPS 48294 WITH SCORE 48356.422
AT ITER 3015 NEW BEST:: SOT 198774 SOS 62227 HAS SOPS 62227 HAS SOUS 48146 HAS SOUPS 48146 WITH SCORE 48208.227
AT ITER 3038 NEW BEST:: SOT 198812 SOS 62214 HAS SOPS 62214 HAS SOUS 48133 HAS SOUPS 48133 WITH SCORE 48195.214
AT ITER 3040 NEW BEST:: SOT 198778 SOS 62146 HAS SOPS 62146 HAS SOUS 48012 HAS SOUPS 48012 WITH SCORE 48074.146
AT ITER 3113 NEW BEST:: SOT 198778 SOS 62052 HAS SOPS 62052 HAS SOUS 47918 HAS SOUPS 47918 WITH SCORE 47980.052
AT ITER 3119 NEW BEST:: SOT 198764 SOS 62038 HAS SOPS 62038 HAS SOUS 47904 HAS SOUPS 47904 WITH SCORE 47966.038
AT ITER 3124 NEW BEST:: SOT 198759 SOS 62028 HAS SOPS 62028 HAS SOUS 47901 HAS SOUPS 47901 WITH SCORE 47963.028
AT ITER 3137 NEW BEST:: SOT 198759 SOS 61945 HAS SOPS 61945 HAS SOUS 47865 HAS SOUPS 47865 WITH SCORE 47926.945
AT ITER 3138 NEW BEST:: SOT 198646 SOS 61911 HAS SOPS 61911 HAS SOUS 47831 HAS SOUPS 47831 WITH SCORE 47892.911
AT ITER 3151 NEW BEST:: SOT 198644 SOS 61853 HAS SOPS 61853 HAS SOUS 47773 HAS SOUPS 47773 WITH SCORE 47834.853
AT ITER 3157 NEW BEST:: SOT 198566 SOS 61657 HAS SOPS 61657 HAS SOUS 47657 HAS SOUPS 47657 WITH SCORE 47718.657
AT ITER 3158 NEW BEST:: SOT 198561 SOS 61647 HAS SOPS 61647 HAS SOUS 47647 HAS SOUPS 47647 WITH SCORE 47708.647
AT ITER 3160 NEW BEST:: SOT 198509 SOS 61580 HAS SOPS 61580 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47678.58
AT ITER 3200 NEW BEST:: SOT 198413 SOS 61501 HAS SOPS 61501 HAS SOUS 47538 HAS SOUPS 47538 WITH SCORE 47599.501
AT ITER 3214 NEW BEST:: SOT 198413 SOS 61486 HAS SOPS 61486 HAS SOUS 47523 HAS SOUPS 47523 WITH SCORE 47584.486
AT ITER 3237 NEW BEST:: SOT 198398 SOS 61471 HAS SOPS 61471 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47569.471
AT ITER 3244 NEW BEST:: SOT 198398 SOS 61398 HAS SOPS 61398 HAS SOUS 47508 HAS SOUPS 47508 WITH SCORE 47569.398
AT ITER 3247 NEW BEST:: SOT 198398 SOS 61398 HAS SOPS 61398 HAS SOUS 47504 HAS SOUPS 47504 WITH SCORE 47565.398
AT ITER 3279 NEW BEST:: SOT 198347 SOS 61283 HAS SOPS 61283 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47450.283
AT ITER 3282 NEW BEST:: SOT 198281 SOS 61211 HAS SOPS 61211 HAS SOUS 47383 HAS SOUPS 47383 WITH SCORE 47444.211
AT ITER 3291 NEW BEST:: SOT 198276 SOS 61225 HAS SOPS 61225 HAS SOUS 47365 HAS SOUPS 47365 WITH SCORE 47426.225
AT ITER 3295 NEW BEST:: SOT 198276 SOS 61194 HAS SOPS 61194 HAS SOUS 47330 HAS SOUPS 47330 WITH SCORE 47391.194
AT ITER 3298 NEW BEST:: SOT 198267 SOS 61185 HAS SOPS 61185 HAS SOUS 47321 HAS SOUPS 47321 WITH SCORE 47382.185
AT ITER 3299 NEW BEST:: SOT 198246 SOS 61143 HAS SOPS 61143 HAS SOUS 47276 HAS SOUPS 47276 WITH SCORE 47337.143
AT ITER 3304 NEW BEST:: SOT 198245 SOS 61051 HAS SOPS 61051 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47335.051
AT ITER 3309 NEW BEST:: SOT 198215 SOS 60964 HAS SOPS 60964 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47277.964
AT ITER 3326 NEW BEST:: SOT 198224 SOS 60979 HAS SOPS 60979 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47232.979
AT ITER 3333 NEW BEST:: SOT 198174 SOS 60829 HAS SOPS 60829 HAS SOUS 47022 HAS SOUPS 47022 WITH SCORE 47082.829
AT ITER 3352 NEW BEST:: SOT 198163 SOS 60715 HAS SOPS 60715 HAS SOUS 46908 HAS SOUPS 46908 WITH SCORE 46968.715
AT ITER 3354 NEW BEST:: SOT 198106 SOS 60630 HAS SOPS 60630 HAS SOUS 46823 HAS SOUPS 46823 WITH SCORE 46883.63
AT ITER 3367 NEW BEST:: SOT 198150 SOS 60531 HAS SOPS 60531 HAS SOUS 46719 HAS SOUPS 46719 WITH SCORE 46779.531
AT ITER 3396 NEW BEST:: SOT 198106 SOS 60487 HAS SOPS 60487 HAS SOUS 46675 HAS SOUPS 46675 WITH SCORE 46735.487
AT ITER 3399 NEW BEST:: SOT 198084 SOS 60443 HAS SOPS 60443 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46733.443
AT ITER 3415 NEW BEST:: SOT 198079 SOS 60366 HAS SOPS 60366 HAS SOUS 46632 HAS SOUPS 46632 WITH SCORE 46692.366
AT ITER 3428 NEW BEST:: SOT 198076 SOS 60278 HAS SOPS 60278 HAS SOUS 46626 HAS SOUPS 46626 WITH SCORE 46686.278
AT ITER 3429 NEW BEST:: SOT 198055 SOS 60215 HAS SOPS 60215 HAS SOUS 46596 HAS SOUPS 46596 WITH SCORE 46656.215
AT ITER 3436 NEW BEST:: SOT 198089 SOS 60283 HAS SOPS 60283 HAS SOUS 46506 HAS SOUPS 46506 WITH SCORE 46566.283
AT ITER 3439 NEW BEST:: SOT 198086 SOS 60277 HAS SOPS 60277 HAS SOUS 46500 HAS SOUPS 46500 WITH SCORE 46560.277
AT ITER 3444 NEW BEST:: SOT 197946 SOS 60137 HAS SOPS 60137 HAS SOUS 46451 HAS SOUPS 46451 WITH SCORE 46511.137
AT ITER 3448 NEW BEST:: SOT 197977 SOS 60039 HAS SOPS 60039 HAS SOUS 46394 HAS SOUPS 46394 WITH SCORE 46454.039
AT ITER 3456 NEW BEST:: SOT 197977 SOS 60019 HAS SOPS 60019 HAS SOUS 46374 HAS SOUPS 46374 WITH SCORE 46434.019
AT ITER 3474 NEW BEST:: SOT 197841 SOS 59809 HAS SOPS 59809 HAS SOUS 46252 HAS SOUPS 46252 WITH SCORE 46311.809
AT ITER 3498 NEW BEST:: SOT 197801 SOS 59729 HAS SOPS 59729 HAS SOUS 46172 HAS SOUPS 46172 WITH SCORE 46231.729
AT ITER 3505 NEW BEST:: SOT 197761 SOS 59669 HAS SOPS 59669 HAS SOUS 46132 HAS SOUPS 46132 WITH SCORE 46191.669
AT ITER 3520 NEW BEST:: SOT 197745 SOS 59645 HAS SOPS 59645 HAS SOUS 46116 HAS SOUPS 46116 WITH SCORE 46175.645
AT ITER 3523 NEW BEST:: SOT 197740 SOS 59641 HAS SOPS 59641 HAS SOUS 46114 HAS SOUPS 46114 WITH SCORE 46173.641
AT ITER 3526 NEW BEST:: SOT 197449 SOS 59439 HAS SOPS 59439 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45971.439
AT ITER 3539 NEW BEST:: SOT 197432 SOS 59405 HAS SOPS 59405 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45937.405
AT ITER 3551 NEW BEST:: SOT 197418 SOS 59391 HAS SOPS 59391 HAS SOUS 45864 HAS SOUPS 45864 WITH SCORE 45923.391
AT ITER 3554 NEW BEST:: SOT 197401 SOS 59357 HAS SOPS 59357 HAS SOUS 45830 HAS SOUPS 45830 WITH SCORE 45889.357
AT ITER 3557 NEW BEST:: SOT 197453 SOS 59331 HAS SOPS 59331 HAS SOUS 45804 HAS SOUPS 45804 WITH SCORE 45863.331
AT ITER 3611 NEW BEST:: SOT 197406 SOS 59260 HAS SOPS 59260 HAS SOUS 45789 HAS SOUPS 45789 WITH SCORE 45848.26
AT ITER 3613 NEW BEST:: SOT 197475 SOS 59176 HAS SOPS 59176 HAS SOUS 45750 HAS SOUPS 45750 WITH SCORE 45809.176
AT ITER 3624 NEW BEST:: SOT 197646 SOS 59175 HAS SOPS 59175 HAS SOUS 45749 HAS SOUPS 45749 WITH SCORE 45808.175
AT ITER 3644 NEW BEST:: SOT 197646 SOS 59151 HAS SOPS 59151 HAS SOUS 45749 HAS SOUPS 45749 WITH SCORE 45808.151
AT ITER 3679 NEW BEST:: SOT 197641 SOS 59146 HAS SOPS 59146 HAS SOUS 45739 HAS SOUPS 45739 WITH SCORE 45798.146
AT ITER 3681 NEW BEST:: SOT 197630 SOS 59124 HAS SOPS 59124 HAS SOUS 45663 HAS SOUPS 45663 WITH SCORE 45722.124
AT ITER 3699 NEW BEST:: SOT 197515 SOS 59009 HAS SOPS 59009 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45692.009
AT ITER 3726 NEW BEST:: SOT 197437 SOS 58870 HAS SOPS 58870 HAS SOUS 45494 HAS SOUPS 45494 WITH SCORE 45552.87
AT ITER 3727 NEW BEST:: SOT 197344 SOS 58777 HAS SOPS 58777 HAS SOUS 45360 HAS SOUPS 45360 WITH SCORE 45418.777
AT ITER 3732 NEW BEST:: SOT 197347 SOS 58753 HAS SOPS 58753 HAS SOUS 45336 HAS SOUPS 45336 WITH SCORE 45394.753
AT ITER 3737 NEW BEST:: SOT 197255 SOS 58720 HAS SOPS 58720 HAS SOUS 45303 HAS SOUPS 45303 WITH SCORE 45361.72
AT ITER 3745 NEW BEST:: SOT 197239 SOS 58681 HAS SOPS 58681 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45322.681
AT ITER 3749 NEW BEST:: SOT 197239 SOS 58567 HAS SOPS 58567 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45280.567
AT ITER 3755 NEW BEST:: SOT 197221 SOS 58513 HAS SOPS 58513 HAS SOUS 45168 HAS SOUPS 45168 WITH SCORE 45226.513
AT ITER 3778 NEW BEST:: SOT 197253 SOS 58529 HAS SOPS 58529 HAS SOUS 45152 HAS SOUPS 45152 WITH SCORE 45210.529
AT ITER 3807 NEW BEST:: SOT 197165 SOS 58441 HAS SOPS 58441 HAS SOUS 45108 HAS SOUPS 45108 WITH SCORE 45166.441
AT ITER 3839 NEW BEST:: SOT 197191 SOS 58398 HAS SOPS 58398 HAS SOUS 45065 HAS SOUPS 45065 WITH SCORE 45123.398
AT ITER 3854 NEW BEST:: SOT 197190 SOS 58360 HAS SOPS 58360 HAS SOUS 45027 HAS SOUPS 45027 WITH SCORE 45085.36
AT ITER 3874 NEW BEST:: SOT 197190 SOS 58343 HAS SOPS 58343 HAS SOUS 45010 HAS SOUPS 45010 WITH SCORE 45068.343
AT ITER 3905 NEW BEST:: SOT 197019 SOS 58092 HAS SOPS 58092 HAS SOUS 44916 HAS SOUPS 44916 WITH SCORE 44974.092
AT ITER 3932 NEW BEST:: SOT 197019 SOS 58067 HAS SOPS 58067 HAS SOUS 44891 HAS SOUPS 44891 WITH SCORE 44949.067
AT ITER 3971 NEW BEST:: SOT 196909 SOS 57928 HAS SOPS 57928 HAS SOUS 44815 HAS SOUPS 44815 WITH SCORE 44872.928
AT ITER 3981 NEW BEST:: SOT 196891 SOS 57915 HAS SOPS 57915 HAS SOUS 44802 HAS SOUPS 44802 WITH SCORE 44859.915
AT ITER 3984 NEW BEST:: SOT 196843 SOS 57819 HAS SOPS 57819 HAS SOUS 44706 HAS SOUPS 44706 WITH SCORE 44763.819
AT ITER 3997 NEW BEST:: SOT 196777 SOS 57720 HAS SOPS 57720 HAS SOUS 44607 HAS SOUPS 44607 WITH SCORE 44664.72
AT ITER 3999 NEW BEST:: SOT 196769 SOS 57673 HAS SOPS 57673 HAS SOUS 44560 HAS SOUPS 44560 WITH SCORE 44617.673
AT ITER 4030 NEW BEST:: SOT 196760 SOS 57655 HAS SOPS 57655 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44599.655
AT ITER 4045 NEW BEST:: SOT 196833 SOS 57582 HAS SOPS 57582 HAS SOUS 44469 HAS SOUPS 44469 WITH SCORE 44526.582
AT ITER 4065 NEW BEST:: SOT 196830 SOS 57573 HAS SOPS 57573 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44520.573
AT ITER 4077 NEW BEST:: SOT 196858 SOS 57553 HAS SOPS 57553 HAS SOUS 44443 HAS SOUPS 44443 WITH SCORE 44500.553
AT ITER 4080 NEW BEST:: SOT 196840 SOS 57534 HAS SOPS 57534 HAS SOUS 44424 HAS SOUPS 44424 WITH SCORE 44481.534
AT ITER 4098 NEW BEST:: SOT 196840 SOS 57499 HAS SOPS 57499 HAS SOUS 44389 HAS SOUPS 44389 WITH SCORE 44446.499
AT ITER 4110 NEW BEST:: SOT 196854 SOS 57527 HAS SOPS 57527 HAS SOUS 44385 HAS SOUPS 44385 WITH SCORE 44442.527
AT ITER 4132 NEW BEST:: SOT 196827 SOS 60439 HAS SOPS 60439 HAS SOUS 44358 HAS SOUPS 44358 WITH SCORE 44418.439
AT ITER 4133 NEW BEST:: SOT 196794 SOS 60373 HAS SOPS 60373 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44352.373
AT ITER 4159 NEW BEST:: SOT 196790 SOS 60369 HAS SOPS 60369 HAS SOUS 44288 HAS SOUPS 44288 WITH SCORE 44348.369
AT ITER 4165 NEW BEST:: SOT 196775 SOS 60354 HAS SOPS 60354 HAS SOUS 44271 HAS SOUPS 44271 WITH SCORE 44331.354
AT ITER 4182 NEW BEST:: SOT 196657 SOS 60209 HAS SOPS 60209 HAS SOUS 44217 HAS SOUPS 44217 WITH SCORE 44277.209
AT ITER 4227 NEW BEST:: SOT 196649 SOS 60193 HAS SOPS 60193 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44261.193
AT ITER 4264 NEW BEST:: SOT 196637 SOS 60169 HAS SOPS 60169 HAS SOUS 44189 HAS SOUPS 44189 WITH SCORE 44249.169
AT ITER 4278 NEW BEST:: SOT 196637 SOS 60169 HAS SOPS 60169 HAS SOUS 44145 HAS SOUPS 44145 WITH SCORE 44205.169
AT ITER 4302 NEW BEST:: SOT 196637 SOS 60130 HAS SOPS 60130 HAS SOUS 44142 HAS SOUPS 44142 WITH SCORE 44202.13
AT ITER 4322 NEW BEST:: SOT 196618 SOS 60092 HAS SOPS 60092 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44183.092
AT ITER 4335 NEW BEST:: SOT 196529 SOS 60003 HAS SOPS 60003 HAS SOUS 44034 HAS SOUPS 44034 WITH SCORE 44094.003
AT ITER 4351 NEW BEST:: SOT 196493 SOS 59928 HAS SOPS 59928 HAS SOUS 43959 HAS SOUPS 43959 WITH SCORE 44018.928
AT ITER 4355 NEW BEST:: SOT 196492 SOS 59927 HAS SOPS 59927 HAS SOUS 43958 HAS SOUPS 43958 WITH SCORE 44017.927
AT ITER 4358 NEW BEST:: SOT 196461 SOS 59891 HAS SOPS 59891 HAS SOUS 43927 HAS SOUPS 43927 WITH SCORE 43986.891
AT ITER 4414 NEW BEST:: SOT 196480 SOS 59884 HAS SOPS 59884 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 43979.884
AT ITER 4452 NEW BEST:: SOT 196458 SOS 59862 HAS SOPS 59862 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 43979.862
AT ITER 4468 NEW BEST:: SOT 196458 SOS 59862 HAS SOPS 59862 HAS SOUS 43917 HAS SOUPS 43917 WITH SCORE 43976.862
AT ITER 4473 NEW BEST:: SOT 196482 SOS 59827 HAS SOPS 59827 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43941.827
AT ITER 4480 NEW BEST:: SOT 196446 SOS 59776 HAS SOPS 59776 HAS SOUS 43831 HAS SOUPS 43831 WITH SCORE 43890.776
AT ITER 4486 NEW BEST:: SOT 196413 SOS 59710 HAS SOPS 59710 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43824.71
AT ITER 4491 NEW BEST:: SOT 196385 SOS 59654 HAS SOPS 59654 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43796.654
AT ITER 4502 NEW BEST:: SOT 196393 SOS 59655 HAS SOPS 59655 HAS SOUS 43728 HAS SOUPS 43728 WITH SCORE 43787.655
AT ITER 4566 NEW BEST:: SOT 196339 SOS 59601 HAS SOPS 59601 HAS SOUS 43701 HAS SOUPS 43701 WITH SCORE 43760.601
AT ITER 4575 NEW BEST:: SOT 196332 SOS 59587 HAS SOPS 59587 HAS SOUS 43687 HAS SOUPS 43687 WITH SCORE 43746.587
AT ITER 4583 NEW BEST:: SOT 196286 SOS 59562 HAS SOPS 59562 HAS SOUS 43679 HAS SOUPS 43679 WITH SCORE 43738.562
AT ITER 4606 NEW BEST:: SOT 196245 SOS 59539 HAS SOPS 59539 HAS SOUS 43656 HAS SOUPS 43656 WITH SCORE 43715.539
AT ITER 4639 NEW BEST:: SOT 196204 SOS 59569 HAS SOPS 59569 HAS SOUS 43642 HAS SOUPS 43642 WITH SCORE 43701.569
AT ITER 4666 NEW BEST:: SOT 196203 SOS 59565 HAS SOPS 59565 HAS SOUS 43638 HAS SOUPS 43638 WITH SCORE 43697.565
AT ITER 4681 NEW BEST:: SOT 196129 SOS 59468 HAS SOPS 59468 HAS SOUS 43541 HAS SOUPS 43541 WITH SCORE 43600.468
AT ITER 4710 NEW BEST:: SOT 196125 SOS 59460 HAS SOPS 59460 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43592.46
AT ITER 4711 NEW BEST:: SOT 196125 SOS 59420 HAS SOPS 59420 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43592.42
AT ITER 4764 NEW BEST:: SOT 196125 SOS 59419 HAS SOPS 59419 HAS SOUS 43532 HAS SOUPS 43532 WITH SCORE 43591.419
AT ITER 4787 NEW BEST:: SOT 196085 SOS 59339 HAS SOPS 59339 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43577.339
AT ITER 4789 NEW BEST:: SOT 196036 SOS 59247 HAS SOPS 59247 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43534.247
AT ITER 4796 NEW BEST:: SOT 196048 SOS 59210 HAS SOPS 59210 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43497.21
AT ITER 4809 NEW BEST:: SOT 196048 SOS 59177 HAS SOPS 59177 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43464.177
AT ITER 4822 NEW BEST:: SOT 196090 SOS 59190 HAS SOPS 59190 HAS SOUS 43376 HAS SOUPS 43376 WITH SCORE 43435.19
AT ITER 4843 NEW BEST:: SOT 195972 SOS 59060 HAS SOPS 59060 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43305.06
AT ITER 4867 NEW BEST:: SOT 195915 SOS 58980 HAS SOPS 58980 HAS SOUS 43166 HAS SOUPS 43166 WITH SCORE 43224.98
AT ITER 4885 NEW BEST:: SOT 195915 SOS 58962 HAS SOPS 58962 HAS SOUS 43148 HAS SOUPS 43148 WITH SCORE 43206.962
AT ITER 4903 NEW BEST:: SOT 195905 SOS 58864 HAS SOPS 58864 HAS SOUS 43050 HAS SOUPS 43050 WITH SCORE 43108.864
AT ITER 4914 NEW BEST:: SOT 195877 SOS 58824 HAS SOPS 58824 HAS SOUS 43010 HAS SOUPS 43010 WITH SCORE 43068.824
AT ITER 4917 NEW BEST:: SOT 195856 SOS 58852 HAS SOPS 58852 HAS SOUS 42997 HAS SOUPS 42997 WITH SCORE 43055.852
AT ITER 4970 NEW BEST:: SOT 195881 SOS 58775 HAS SOPS 58775 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 42978.775
AT ITER 4991 NEW BEST:: SOT 195875 SOS 58741 HAS SOPS 58741 HAS SOUS 42841 HAS SOUPS 42841 WITH SCORE 42899.741
AT ITER 4997 NEW BEST:: SOT 195859 SOS 58725 HAS SOPS 58725 HAS SOUS 42841 HAS SOUPS 42841 WITH SCORE 42899.725
AT ITER 4999 NEW BEST:: SOT 195767 SOS 58619 HAS SOPS 58619 HAS SOUS 42813 HAS SOUPS 42813 WITH SCORE 42871.619
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-15-CTLFireability-00 (EF( (EU( (! ((potential((tk(P399)>=1))))) , ( ((potential((tk(P358)>=1) & (tk(P132)>=1) & (tk(P622)>=1)))) | ((potential((tk(P615)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-01 (EF( ( (AF( ( ((potential((tk(P346)>=1)))) & ((potential((tk(P422)>=1) & (tk(P50)>=1) & (tk(P596)>=1)))) ))) | (AX( ((potential((tk(P495)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-02 (! (AX( ( ((potential((tk(P358)>=1) & (tk(P110)>=1) & (tk(P604)>=1)))) | (EF( ((potential((tk(P363)>=1) & (tk(P150)>=1) & (tk(P533)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-03 (EF( ((potential((tk(P202)>=1) & (tk(P199)>=1))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-04 (EF( ( ( (EG( ((potential((tk(P286)>=1)))))) | ((potential((tk(P20)>=1)))) ) & (AX( ( ((potential((tk(P71)>=1)))) & ((potential((tk(P328)>=1) & (tk(P123)>=1) & (tk(P598)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-05 (EF( (! (! ( (! ((potential((tk(P396)>=1))))) & ( ((potential((tk(P541)>=1)))) | ((potential((tk(P237)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-06 (EF( (EX( (! (! ((potential((tk(P294)>=1))))))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-07 (EG( (! ( ( ( ((potential((tk(P469)>=1)))) | ((potential((tk(P356)>=1)))) ) & ( ((potential((tk(P499)>=1)))) | ((potential((tk(P221)>=1)))) ) ) | (EF( ((potential((tk(P363)>=1) & (tk(P150)>=1) & (tk(P533)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-08 (AX( ( (EF( ( ((potential((tk(P514)>=1)))) & ((potential((tk(P233)>=1)))) ))) | ((potential((tk(P236)>=1)))) )))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-09 (EG( (AF( (EF( ((potential((tk(P395)>=1))))))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-10 (EF( (AG( (AF( ((potential((tk(P184)>=1))))))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-11 (AG( (EF( (AF( ((potential((tk(P537)>=1))))))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-12 (AF( (EU( (! ((potential((tk(P328)>=1) & (tk(P129)>=1) & (tk(P518)>=1))))) , ( ((potential((tk(P27)>=1)))) | ((potential((tk(P253)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-13 (EG( (EF( (! (! ((potential((tk(P109)>=1))))))))))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-14 (EG( ( ((potential((tk(P594)>=1)))) | (! (EF( ((potential((tk(P297)>=1) & (tk(P188)>=1) & (tk(P596)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-15-CTLFireability-15 (EF( (AG( (! ( ((potential((tk(P80)>=1)))) | ((potential((tk(P148)>=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="BusinessProcesses-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 BusinessProcesses-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 r018-oct2-158897680200564"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-15.tgz
mv BusinessProcesses-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 '
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 ;