Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300504.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 3.2K Mar 30 18:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 18:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 08:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 08:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 23:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 325K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589125041337

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 197 places, 1313 transitions, 5002 arcs.
AT ITER 0 NEW BEST:: SOT 169047 SOS 136160 HAS SOPS 81619 HAS SOUS 20673 HAS SOUPS 13448 WITH SCORE 13584.16
AT ITER 2 NEW BEST:: SOT 168979 SOS 137020 HAS SOPS 81933 HAS SOUS 20632 HAS SOUPS 13381 WITH SCORE 13518.02
AT ITER 4 NEW BEST:: SOT 168923 SOS 133453 HAS SOPS 78956 HAS SOUS 20557 HAS SOUPS 13365 WITH SCORE 13498.453
AT ITER 13 NEW BEST:: SOT 168887 SOS 133423 HAS SOPS 78896 HAS SOUS 20485 HAS SOUPS 13293 WITH SCORE 13426.423
AT ITER 17 NEW BEST:: SOT 168842 SOS 133243 HAS SOPS 78821 HAS SOUS 20440 HAS SOUPS 13263 WITH SCORE 13396.243
AT ITER 22 NEW BEST:: SOT 168869 SOS 132919 HAS SOPS 78578 HAS SOUS 20440 HAS SOUPS 13263 WITH SCORE 13395.919
AT ITER 23 NEW BEST:: SOT 169510 SOS 133673 HAS SOPS 79332 HAS SOUS 20082 HAS SOUPS 12905 WITH SCORE 13038.673
AT ITER 24 NEW BEST:: SOT 169563 SOS 133554 HAS SOPS 79663 HAS SOUS 20029 HAS SOUPS 12897 WITH SCORE 13030.554
AT ITER 35 NEW BEST:: SOT 169225 SOS 133307 HAS SOPS 79416 HAS SOUS 19782 HAS SOUPS 12650 WITH SCORE 12783.307
AT ITER 50 NEW BEST:: SOT 169217 SOS 132851 HAS SOPS 78960 HAS SOUS 19782 HAS SOUPS 12650 WITH SCORE 12782.851
AT ITER 58 NEW BEST:: SOT 169191 SOS 132826 HAS SOPS 78935 HAS SOUS 19720 HAS SOUPS 12588 WITH SCORE 12720.826
AT ITER 71 NEW BEST:: SOT 169147 SOS 132782 HAS SOPS 78891 HAS SOUS 19716 HAS SOUPS 12584 WITH SCORE 12716.782
AT ITER 76 NEW BEST:: SOT 168292 SOS 130913 HAS SOPS 78175 HAS SOUS 19679 HAS SOUPS 12522 WITH SCORE 12652.913
AT ITER 78 NEW BEST:: SOT 168318 SOS 130965 HAS SOPS 78175 HAS SOUS 19701 HAS SOUPS 12518 WITH SCORE 12648.965
AT ITER 87 NEW BEST:: SOT 168474 SOS 130514 HAS SOPS 78015 HAS SOUS 20305 HAS SOUPS 12518 WITH SCORE 12648.514
AT ITER 96 NEW BEST:: SOT 168473 SOS 130502 HAS SOPS 78003 HAS SOUS 20304 HAS SOUPS 12517 WITH SCORE 12647.502
AT ITER 104 NEW BEST:: SOT 168443 SOS 130352 HAS SOPS 77958 HAS SOUS 20289 HAS SOUPS 12517 WITH SCORE 12647.352
AT ITER 108 NEW BEST:: SOT 168428 SOS 130172 HAS SOPS 77778 HAS SOUS 20274 HAS SOUPS 12502 WITH SCORE 12632.172
AT ITER 114 NEW BEST:: SOT 168420 SOS 130156 HAS SOPS 77778 HAS SOUS 20266 HAS SOUPS 12502 WITH SCORE 12632.156
AT ITER 127 NEW BEST:: SOT 168613 SOS 129573 HAS SOPS 77421 HAS SOUS 20343 HAS SOUPS 12152 WITH SCORE 12281.573
AT ITER 134 NEW BEST:: SOT 168652 SOS 129582 HAS SOPS 77430 HAS SOUS 20310 HAS SOUPS 12129 WITH SCORE 12258.582
AT ITER 136 NEW BEST:: SOT 168740 SOS 129670 HAS SOPS 77518 HAS SOUS 20198 HAS SOUPS 12017 WITH SCORE 12146.67
AT ITER 157 NEW BEST:: SOT 168725 SOS 129610 HAS SOPS 77493 HAS SOUS 20183 HAS SOUPS 12007 WITH SCORE 12136.61
AT ITER 158 NEW BEST:: SOT 168714 SOS 129478 HAS SOPS 77361 HAS SOUS 20172 HAS SOUPS 11996 WITH SCORE 12125.478
AT ITER 163 NEW BEST:: SOT 168700 SOS 128860 HAS SOPS 76743 HAS SOUS 20168 HAS SOUPS 11992 WITH SCORE 12120.86
AT ITER 176 NEW BEST:: SOT 168715 SOS 128980 HAS SOPS 76758 HAS SOUS 20163 HAS SOUPS 11972 WITH SCORE 12100.98
AT ITER 187 NEW BEST:: SOT 168672 SOS 129290 HAS SOPS 76914 HAS SOUS 20131 HAS SOUPS 11940 WITH SCORE 12069.29
AT ITER 193 NEW BEST:: SOT 168657 SOS 129275 HAS SOPS 76899 HAS SOUS 20116 HAS SOUPS 11925 WITH SCORE 12054.275
AT ITER 199 NEW BEST:: SOT 168657 SOS 129289 HAS SOPS 76878 HAS SOUS 20116 HAS SOUPS 11913 WITH SCORE 12042.289
AT ITER 219 NEW BEST:: SOT 168579 SOS 129279 HAS SOPS 76907 HAS SOUS 20139 HAS SOUPS 11904 WITH SCORE 12033.279
AT ITER 226 NEW BEST:: SOT 168526 SOS 128643 HAS SOPS 76801 HAS SOUS 20086 HAS SOUPS 11904 WITH SCORE 12032.643
AT ITER 236 NEW BEST:: SOT 168525 SOS 128641 HAS SOPS 76801 HAS SOUS 20085 HAS SOUPS 11904 WITH SCORE 12032.641
AT ITER 250 NEW BEST:: SOT 168869 SOS 129071 HAS SOPS 76877 HAS SOUS 20220 HAS SOUPS 11863 WITH SCORE 11992.071
AT ITER 253 NEW BEST:: SOT 168869 SOS 129071 HAS SOPS 76877 HAS SOUS 20212 HAS SOUPS 11859 WITH SCORE 11988.071
AT ITER 254 NEW BEST:: SOT 168866 SOS 128900 HAS SOPS 76706 HAS SOUS 20212 HAS SOUPS 11859 WITH SCORE 11987.9
AT ITER 272 NEW BEST:: SOT 168851 SOS 128510 HAS SOPS 76316 HAS SOUS 20197 HAS SOUPS 11844 WITH SCORE 11972.51
AT ITER 276 NEW BEST:: SOT 168845 SOS 128486 HAS SOPS 76306 HAS SOUS 20191 HAS SOUPS 11840 WITH SCORE 11968.486
AT ITER 277 NEW BEST:: SOT 169085 SOS 128726 HAS SOPS 76546 HAS SOUS 20170 HAS SOUPS 11791 WITH SCORE 11919.726
AT ITER 278 NEW BEST:: SOT 169067 SOS 128708 HAS SOPS 76528 HAS SOUS 20152 HAS SOUPS 11773 WITH SCORE 11901.708
AT ITER 281 NEW BEST:: SOT 169683 SOS 129324 HAS SOPS 76712 HAS SOUS 20097 HAS SOUPS 11654 WITH SCORE 11783.324
AT ITER 283 NEW BEST:: SOT 169660 SOS 128939 HAS SOPS 76327 HAS SOUS 20030 HAS SOUPS 11587 WITH SCORE 11715.939
AT ITER 300 NEW BEST:: SOT 169671 SOS 129069 HAS SOPS 76457 HAS SOUS 19998 HAS SOUPS 11555 WITH SCORE 11684.069
AT ITER 302 NEW BEST:: SOT 169486 SOS 128841 HAS SOPS 75907 HAS SOUS 19790 HAS SOUPS 11390 WITH SCORE 11518.841
AT ITER 311 NEW BEST:: SOT 169480 SOS 128769 HAS SOPS 75835 HAS SOUS 19784 HAS SOUPS 11384 WITH SCORE 11512.769
AT ITER 315 NEW BEST:: SOT 169458 SOS 128743 HAS SOPS 75821 HAS SOUS 19784 HAS SOUPS 11384 WITH SCORE 11512.743
AT ITER 316 NEW BEST:: SOT 169743 SOS 129028 HAS SOPS 76106 HAS SOUS 19763 HAS SOUPS 11355 WITH SCORE 11484.028
AT ITER 318 NEW BEST:: SOT 169787 SOS 129161 HAS SOPS 76112 HAS SOUS 19761 HAS SOUPS 11337 WITH SCORE 11466.161
AT ITER 332 NEW BEST:: SOT 169784 SOS 129128 HAS SOPS 76079 HAS SOUS 19758 HAS SOUPS 11334 WITH SCORE 11463.128
AT ITER 346 NEW BEST:: SOT 169768 SOS 128945 HAS SOPS 76086 HAS SOUS 19725 HAS SOUPS 11320 WITH SCORE 11448.945
AT ITER 351 NEW BEST:: SOT 169588 SOS 128765 HAS SOPS 75906 HAS SOUS 19725 HAS SOUPS 11320 WITH SCORE 11448.765
AT ITER 359 NEW BEST:: SOT 169412 SOS 128589 HAS SOPS 75826 HAS SOUS 19725 HAS SOUPS 11320 WITH SCORE 11448.589
AT ITER 373 NEW BEST:: SOT 169308 SOS 129836 HAS SOPS 76479 HAS SOUS 19618 HAS SOUPS 11213 WITH SCORE 11342.836
AT ITER 392 NEW BEST:: SOT 169224 SOS 130104 HAS SOPS 76461 HAS SOUS 19565 HAS SOUPS 11160 WITH SCORE 11290.104
AT ITER 397 NEW BEST:: SOT 169124 SOS 130349 HAS SOPS 76706 HAS SOUS 19479 HAS SOUPS 11074 WITH SCORE 11204.349
AT ITER 406 NEW BEST:: SOT 169073 SOS 128991 HAS SOPS 75538 HAS SOUS 19418 HAS SOUPS 11032 WITH SCORE 11160.991
AT ITER 408 NEW BEST:: SOT 169069 SOS 128855 HAS SOPS 75422 HAS SOUS 19412 HAS SOUPS 11028 WITH SCORE 11156.855
AT ITER 414 NEW BEST:: SOT 169429 SOS 129215 HAS SOPS 75524 HAS SOUS 19360 HAS SOUPS 10968 WITH SCORE 11097.215
AT ITER 415 NEW BEST:: SOT 169400 SOS 129186 HAS SOPS 75495 HAS SOUS 19331 HAS SOUPS 10939 WITH SCORE 11068.186
AT ITER 417 NEW BEST:: SOT 169397 SOS 129152 HAS SOPS 75481 HAS SOUS 19329 HAS SOUPS 10939 WITH SCORE 11068.152
AT ITER 420 NEW BEST:: SOT 169355 SOS 129109 HAS SOPS 75438 HAS SOUS 19328 HAS SOUPS 10938 WITH SCORE 11067.109
AT ITER 425 NEW BEST:: SOT 169379 SOS 129133 HAS SOPS 75462 HAS SOUS 19316 HAS SOUPS 10926 WITH SCORE 11055.133
AT ITER 431 NEW BEST:: SOT 169253 SOS 126700 HAS SOPS 73403 HAS SOUS 19318 HAS SOUPS 10928 WITH SCORE 11054.7
AT ITER 448 NEW BEST:: SOT 169268 SOS 126490 HAS SOPS 73238 HAS SOUS 19288 HAS SOUPS 10898 WITH SCORE 11024.49
AT ITER 453 NEW BEST:: SOT 169282 SOS 126245 HAS SOPS 73014 HAS SOUS 19288 HAS SOUPS 10898 WITH SCORE 11024.245
AT ITER 454 NEW BEST:: SOT 169284 SOS 126251 HAS SOPS 73027 HAS SOUS 19286 HAS SOUPS 10897 WITH SCORE 11023.251
AT ITER 456 NEW BEST:: SOT 169071 SOS 126053 HAS SOPS 72799 HAS SOUS 19301 HAS SOUPS 10897 WITH SCORE 11023.053
AT ITER 460 NEW BEST:: SOT 169031 SOS 125876 HAS SOPS 72636 HAS SOUS 19235 HAS SOUPS 10734 WITH SCORE 10859.876
AT ITER 485 NEW BEST:: SOT 169034 SOS 125882 HAS SOPS 72636 HAS SOUS 19234 HAS SOUPS 10730 WITH SCORE 10855.882
AT ITER 503 NEW BEST:: SOT 168996 SOS 124901 HAS SOPS 72485 HAS SOUS 19153 HAS SOUPS 10712 WITH SCORE 10836.901
AT ITER 520 NEW BEST:: SOT 168991 SOS 124736 HAS SOPS 72375 HAS SOUS 19148 HAS SOUPS 10707 WITH SCORE 10831.736
AT ITER 536 NEW BEST:: SOT 168286 SOS 123138 HAS SOPS 71713 HAS SOUS 19252 HAS SOUPS 10683 WITH SCORE 10806.138
AT ITER 538 NEW BEST:: SOT 168279 SOS 122960 HAS SOPS 71619 HAS SOUS 19237 HAS SOUPS 10672 WITH SCORE 10794.96
AT ITER 563 NEW BEST:: SOT 168260 SOS 122330 HAS SOPS 70989 HAS SOUS 19161 HAS SOUPS 10596 WITH SCORE 10718.33
AT ITER 602 NEW BEST:: SOT 168250 SOS 122320 HAS SOPS 70889 HAS SOUS 19031 HAS SOUPS 10406 WITH SCORE 10528.32
AT ITER 613 NEW BEST:: SOT 168246 SOS 122316 HAS SOPS 70885 HAS SOUS 19029 HAS SOUPS 10404 WITH SCORE 10526.316
AT ITER 621 NEW BEST:: SOT 168271 SOS 122109 HAS SOPS 70678 HAS SOUS 19002 HAS SOUPS 10377 WITH SCORE 10499.109
AT ITER 625 NEW BEST:: SOT 168268 SOS 122082 HAS SOPS 70672 HAS SOUS 18996 HAS SOUPS 10374 WITH SCORE 10496.082
AT ITER 629 NEW BEST:: SOT 168288 SOS 122122 HAS SOPS 70672 HAS SOUS 19000 HAS SOUPS 10364 WITH SCORE 10486.122
AT ITER 646 NEW BEST:: SOT 168270 SOS 121915 HAS SOPS 70555 HAS SOUS 18973 HAS SOUPS 10346 WITH SCORE 10467.915
AT ITER 648 NEW BEST:: SOT 168270 SOS 121873 HAS SOPS 70555 HAS SOUS 18931 HAS SOUPS 10346 WITH SCORE 10467.873
AT ITER 649 NEW BEST:: SOT 168264 SOS 121598 HAS SOPS 70511 HAS SOUS 18854 HAS SOUPS 10302 WITH SCORE 10423.598
AT ITER 655 NEW BEST:: SOT 168386 SOS 121733 HAS SOPS 70594 HAS SOUS 18833 HAS SOUPS 10294 WITH SCORE 10415.733
AT ITER 674 NEW BEST:: SOT 168398 SOS 121727 HAS SOPS 70588 HAS SOUS 18815 HAS SOUPS 10282 WITH SCORE 10403.727
AT ITER 676 NEW BEST:: SOT 168355 SOS 121486 HAS SOPS 70592 HAS SOUS 18780 HAS SOUPS 10282 WITH SCORE 10403.486
AT ITER 690 NEW BEST:: SOT 168772 SOS 122320 HAS SOPS 70946 HAS SOUS 18508 HAS SOUPS 10181 WITH SCORE 10303.32
AT ITER 694 NEW BEST:: SOT 168774 SOS 122283 HAS SOPS 70946 HAS SOUS 18469 HAS SOUPS 10181 WITH SCORE 10303.283
AT ITER 704 NEW BEST:: SOT 168742 SOS 122235 HAS SOPS 70930 HAS SOUS 18437 HAS SOUPS 10165 WITH SCORE 10287.235
AT ITER 711 NEW BEST:: SOT 168741 SOS 122233 HAS SOPS 70930 HAS SOUS 18436 HAS SOUPS 10165 WITH SCORE 10287.233
AT ITER 729 NEW BEST:: SOT 168795 SOS 122317 HAS SOPS 70939 HAS SOUS 18334 HAS SOUPS 10063 WITH SCORE 10185.317
AT ITER 760 NEW BEST:: SOT 168795 SOS 122316 HAS SOPS 70939 HAS SOUS 18333 HAS SOUPS 10063 WITH SCORE 10185.316
AT ITER 781 NEW BEST:: SOT 168744 SOS 122169 HAS SOPS 70792 HAS SOUS 18301 HAS SOUPS 10031 WITH SCORE 10153.169
AT ITER 814 NEW BEST:: SOT 168708 SOS 122100 HAS SOPS 70771 HAS SOUS 18295 HAS SOUPS 10028 WITH SCORE 10150.1
AT ITER 820 NEW BEST:: SOT 168666 SOS 122037 HAS SOPS 70750 HAS SOUS 18253 HAS SOUPS 10007 WITH SCORE 10129.037
AT ITER 831 NEW BEST:: SOT 168675 SOS 122045 HAS SOPS 70754 HAS SOUS 18251 HAS SOUPS 10006 WITH SCORE 10128.045
AT ITER 834 NEW BEST:: SOT 168807 SOS 122385 HAS SOPS 71079 HAS SOUS 18181 HAS SOUPS 9958 WITH SCORE 10080.385
AT ITER 837 NEW BEST:: SOT 168792 SOS 122340 HAS SOPS 71034 HAS SOUS 18175 HAS SOUPS 9952 WITH SCORE 10074.34
AT ITER 884 NEW BEST:: SOT 168936 SOS 122521 HAS SOPS 71095 HAS SOUS 18133 HAS SOUPS 9910 WITH SCORE 10032.521
AT ITER 887 NEW BEST:: SOT 168895 SOS 122821 HAS SOPS 71143 HAS SOUS 18131 HAS SOUPS 9896 WITH SCORE 10018.821
AT ITER 894 NEW BEST:: SOT 168895 SOS 123068 HAS SOPS 71260 HAS SOUS 18131 HAS SOUPS 9883 WITH SCORE 10006.068
AT ITER 908 NEW BEST:: SOT 168889 SOS 122937 HAS SOPS 71290 HAS SOUS 18103 HAS SOUPS 9878 WITH SCORE 10000.937
AT ITER 934 NEW BEST:: SOT 168735 SOS 122806 HAS SOPS 71276 HAS SOUS 17988 HAS SOUPS 9829 WITH SCORE 9951.806
AT ITER 949 NEW BEST:: SOT 168735 SOS 122828 HAS SOPS 71278 HAS SOUS 17986 HAS SOUPS 9825 WITH SCORE 9947.828
AT ITER 960 NEW BEST:: SOT 168730 SOS 122798 HAS SOPS 71276 HAS SOUS 17981 HAS SOUPS 9824 WITH SCORE 9946.798
AT ITER 974 NEW BEST:: SOT 168729 SOS 122796 HAS SOPS 71274 HAS SOUS 17980 HAS SOUPS 9823 WITH SCORE 9945.796
AT ITER 982 NEW BEST:: SOT 168691 SOS 122905 HAS SOPS 71274 HAS SOUS 17974 HAS SOUPS 9818 WITH SCORE 9940.905
AT ITER 993 NEW BEST:: SOT 168672 SOS 122857 HAS SOPS 71056 HAS SOUS 17982 HAS SOUPS 9809 WITH SCORE 9931.857
AT ITER 1002 NEW BEST:: SOT 168685 SOS 122883 HAS SOPS 71056 HAS SOUS 17986 HAS SOUPS 9804 WITH SCORE 9926.883
AT ITER 1029 NEW BEST:: SOT 168682 SOS 122859 HAS SOPS 71042 HAS SOUS 17982 HAS SOUPS 9801 WITH SCORE 9923.859
AT ITER 1030 NEW BEST:: SOT 168726 SOS 122900 HAS SOPS 71039 HAS SOUS 17976 HAS SOUPS 9798 WITH SCORE 9920.9
AT ITER 1065 NEW BEST:: SOT 168710 SOS 122868 HAS SOPS 71039 HAS SOUS 17960 HAS SOUPS 9798 WITH SCORE 9920.868
AT ITER 1078 NEW BEST:: SOT 168709 SOS 122867 HAS SOPS 71038 HAS SOUS 17959 HAS SOUPS 9797 WITH SCORE 9919.867
AT ITER 1123 NEW BEST:: SOT 168723 SOS 122691 HAS SOPS 70922 HAS SOUS 17961 HAS SOUPS 9793 WITH SCORE 9915.691
AT ITER 1125 NEW BEST:: SOT 168731 SOS 122437 HAS SOPS 70835 HAS SOUS 17936 HAS SOUPS 9784 WITH SCORE 9906.437
AT ITER 1126 NEW BEST:: SOT 168743 SOS 122477 HAS SOPS 70847 HAS SOUS 17936 HAS SOUPS 9780 WITH SCORE 9902.477
AT ITER 1138 NEW BEST:: SOT 168716 SOS 122528 HAS SOPS 70835 HAS SOUS 17929 HAS SOUPS 9773 WITH SCORE 9895.528
AT ITER 1147 NEW BEST:: SOT 168905 SOS 123452 HAS SOPS 71122 HAS SOUS 17974 HAS SOUPS 9727 WITH SCORE 9850.452
AT ITER 1148 NEW BEST:: SOT 168932 SOS 123156 HAS SOPS 71176 HAS SOUS 17939 HAS SOUPS 9727 WITH SCORE 9850.156
AT ITER 1153 NEW BEST:: SOT 168948 SOS 123190 HAS SOPS 71186 HAS SOUS 17931 HAS SOUPS 9721 WITH SCORE 9844.19
AT ITER 1155 NEW BEST:: SOT 168948 SOS 123046 HAS SOPS 71168 HAS SOUS 17895 HAS SOUPS 9703 WITH SCORE 9826.046
AT ITER 1162 NEW BEST:: SOT 168930 SOS 123226 HAS SOPS 71222 HAS SOUS 17889 HAS SOUPS 9691 WITH SCORE 9814.226
AT ITER 1178 NEW BEST:: SOT 168834 SOS 123130 HAS SOPS 71126 HAS SOUS 17889 HAS SOUPS 9691 WITH SCORE 9814.13
AT ITER 1198 NEW BEST:: SOT 168814 SOS 123346 HAS SOPS 71285 HAS SOUS 17887 HAS SOUPS 9689 WITH SCORE 9812.346
AT ITER 1202 NEW BEST:: SOT 168826 SOS 124630 HAS SOPS 71939 HAS SOUS 17899 HAS SOUPS 9671 WITH SCORE 9795.63
AT ITER 1212 NEW BEST:: SOT 168791 SOS 124560 HAS SOPS 71939 HAS SOUS 17856 HAS SOUPS 9663 WITH SCORE 9787.56
AT ITER 1218 NEW BEST:: SOT 168793 SOS 124562 HAS SOPS 71935 HAS SOUS 17852 HAS SOUPS 9659 WITH SCORE 9783.562
AT ITER 1234 NEW BEST:: SOT 168785 SOS 124578 HAS SOPS 71923 HAS SOUS 17848 HAS SOUPS 9651 WITH SCORE 9775.578
AT ITER 1250 NEW BEST:: SOT 168773 SOS 124712 HAS SOPS 71977 HAS SOUS 17850 HAS SOUPS 9645 WITH SCORE 9769.712
AT ITER 1261 NEW BEST:: SOT 168758 SOS 124697 HAS SOPS 71977 HAS SOUS 17837 HAS SOUPS 9636 WITH SCORE 9760.697
AT ITER 1274 NEW BEST:: SOT 168746 SOS 123893 HAS SOPS 71293 HAS SOUS 17825 HAS SOUPS 9636 WITH SCORE 9759.893
AT ITER 1277 NEW BEST:: SOT 168743 SOS 123887 HAS SOPS 71293 HAS SOUS 17822 HAS SOUPS 9636 WITH SCORE 9759.887
AT ITER 1279 NEW BEST:: SOT 168719 SOS 123839 HAS SOPS 71293 HAS SOUS 17798 HAS SOUPS 9636 WITH SCORE 9759.839
AT ITER 1291 NEW BEST:: SOT 168749 SOS 123887 HAS SOPS 71308 HAS SOUS 17789 HAS SOUPS 9627 WITH SCORE 9750.887
AT ITER 1302 NEW BEST:: SOT 168201 SOS 119730 HAS SOPS 68006 HAS SOUS 17719 HAS SOUPS 9592 WITH SCORE 9711.73
AT ITER 1308 NEW BEST:: SOT 168177 SOS 119703 HAS SOPS 67979 HAS SOUS 17673 HAS SOUPS 9543 WITH SCORE 9662.703
AT ITER 1310 NEW BEST:: SOT 168155 SOS 119670 HAS SOPS 67979 HAS SOUS 17654 HAS SOUPS 9535 WITH SCORE 9654.67
AT ITER 1318 NEW BEST:: SOT 168111 SOS 119637 HAS SOPS 67946 HAS SOUS 17643 HAS SOUPS 9524 WITH SCORE 9643.637
AT ITER 1323 NEW BEST:: SOT 168154 SOS 119138 HAS SOPS 67907 HAS SOUS 17594 HAS SOUPS 9521 WITH SCORE 9640.138
AT ITER 1325 NEW BEST:: SOT 168143 SOS 117694 HAS SOPS 66743 HAS SOUS 17555 HAS SOUPS 9510 WITH SCORE 9627.694
AT ITER 1335 NEW BEST:: SOT 168206 SOS 117820 HAS SOPS 66743 HAS SOUS 17614 HAS SOUPS 9505 WITH SCORE 9622.82
AT ITER 1357 NEW BEST:: SOT 168202 SOS 117756 HAS SOPS 66691 HAS SOUS 17602 HAS SOUPS 9493 WITH SCORE 9610.756
AT ITER 1363 NEW BEST:: SOT 168199 SOS 117750 HAS SOPS 66691 HAS SOUS 17599 HAS SOUPS 9493 WITH SCORE 9610.75
AT ITER 1405 NEW BEST:: SOT 168145 SOS 117696 HAS SOPS 66691 HAS SOUS 17581 HAS SOUPS 9483 WITH SCORE 9600.696
AT ITER 1410 NEW BEST:: SOT 168124 SOS 117661 HAS SOPS 66600 HAS SOUS 17581 HAS SOUPS 9476 WITH SCORE 9593.661
AT ITER 1419 NEW BEST:: SOT 168124 SOS 117661 HAS SOPS 66614 HAS SOUS 17571 HAS SOUPS 9475 WITH SCORE 9592.661
AT ITER 1430 NEW BEST:: SOT 168106 SOS 117561 HAS SOPS 66434 HAS SOUS 17583 HAS SOUPS 9471 WITH SCORE 9588.561
AT ITER 1434 NEW BEST:: SOT 168090 SOS 117742 HAS SOPS 66543 HAS SOUS 17575 HAS SOUPS 9463 WITH SCORE 9580.742
AT ITER 1451 NEW BEST:: SOT 168048 SOS 117700 HAS SOPS 66501 HAS SOUS 17527 HAS SOUPS 9438 WITH SCORE 9555.7
AT ITER 1453 NEW BEST:: SOT 168048 SOS 117700 HAS SOPS 66501 HAS SOUS 17524 HAS SOUPS 9436 WITH SCORE 9553.7
AT ITER 1470 NEW BEST:: SOT 168054 SOS 117699 HAS SOPS 66486 HAS SOUS 17523 HAS SOUPS 9435 WITH SCORE 9552.699
AT ITER 1491 NEW BEST:: SOT 168041 SOS 117675 HAS SOPS 66484 HAS SOUS 17510 HAS SOUPS 9433 WITH SCORE 9550.675
AT ITER 1494 NEW BEST:: SOT 168023 SOS 117579 HAS SOPS 66388 HAS SOUS 17492 HAS SOUPS 9415 WITH SCORE 9532.579
AT ITER 1499 NEW BEST:: SOT 168017 SOS 117573 HAS SOPS 66382 HAS SOUS 17489 HAS SOUPS 9412 WITH SCORE 9529.573
AT ITER 1530 NEW BEST:: SOT 167993 SOS 117553 HAS SOPS 66382 HAS SOUS 17450 HAS SOUPS 9410 WITH SCORE 9527.553
AT ITER 1535 NEW BEST:: SOT 167993 SOS 117528 HAS SOPS 66322 HAS SOUS 17455 HAS SOUPS 9410 WITH SCORE 9527.528
AT ITER 1583 NEW BEST:: SOT 167993 SOS 117528 HAS SOPS 66322 HAS SOUS 17452 HAS SOUPS 9408 WITH SCORE 9525.528
AT ITER 1590 NEW BEST:: SOT 167922 SOS 117783 HAS SOPS 66555 HAS SOUS 17430 HAS SOUPS 9386 WITH SCORE 9503.783
AT ITER 1595 NEW BEST:: SOT 167925 SOS 117789 HAS SOPS 66555 HAS SOUS 17409 HAS SOUPS 9371 WITH SCORE 9488.789
AT ITER 1600 NEW BEST:: SOT 167929 SOS 117709 HAS SOPS 66515 HAS SOUS 17401 HAS SOUPS 9367 WITH SCORE 9484.709
AT ITER 1609 NEW BEST:: SOT 167951 SOS 117737 HAS SOPS 66525 HAS SOUS 17396 HAS SOUPS 9362 WITH SCORE 9479.737
AT ITER 1614 NEW BEST:: SOT 167969 SOS 117759 HAS SOPS 66537 HAS SOUS 17394 HAS SOUPS 9360 WITH SCORE 9477.759
AT ITER 1620 NEW BEST:: SOT 167918 SOS 117487 HAS SOPS 66341 HAS SOUS 17382 HAS SOUPS 9353 WITH SCORE 9470.487
AT ITER 1625 NEW BEST:: SOT 168053 SOS 117624 HAS SOPS 66430 HAS SOUS 17325 HAS SOUPS 9316 WITH SCORE 9433.624
AT ITER 1633 NEW BEST:: SOT 168053 SOS 117624 HAS SOPS 66430 HAS SOUS 17322 HAS SOUPS 9314 WITH SCORE 9431.624
AT ITER 1635 NEW BEST:: SOT 168052 SOS 117570 HAS SOPS 66383 HAS SOUS 17320 HAS SOUPS 9313 WITH SCORE 9430.57
AT ITER 1639 NEW BEST:: SOT 168027 SOS 117545 HAS SOPS 66383 HAS SOUS 17288 HAS SOUPS 9289 WITH SCORE 9406.545
AT ITER 1645 NEW BEST:: SOT 168208 SOS 117893 HAS SOPS 66499 HAS SOUS 17283 HAS SOUPS 9287 WITH SCORE 9404.893
AT ITER 1648 NEW BEST:: SOT 168164 SOS 117365 HAS SOPS 66261 HAS SOUS 17241 HAS SOUPS 9274 WITH SCORE 9391.365
AT ITER 1653 NEW BEST:: SOT 168148 SOS 117349 HAS SOPS 66261 HAS SOUS 17231 HAS SOUPS 9264 WITH SCORE 9381.349
AT ITER 1664 NEW BEST:: SOT 168148 SOS 117349 HAS SOPS 66261 HAS SOUS 17222 HAS SOUPS 9259 WITH SCORE 9376.349
AT ITER 1677 NEW BEST:: SOT 168128 SOS 117261 HAS SOPS 66257 HAS SOUS 17206 HAS SOUPS 9255 WITH SCORE 9372.261
AT ITER 1692 NEW BEST:: SOT 168105 SOS 117231 HAS SOPS 66227 HAS SOUS 17192 HAS SOUPS 9241 WITH SCORE 9358.231
AT ITER 1695 NEW BEST:: SOT 168105 SOS 117184 HAS SOPS 66227 HAS SOUS 17145 HAS SOUPS 9241 WITH SCORE 9358.184
AT ITER 1715 NEW BEST:: SOT 168122 SOS 117218 HAS SOPS 66227 HAS SOUS 17153 HAS SOUPS 9236 WITH SCORE 9353.218
AT ITER 1745 NEW BEST:: SOT 168155 SOS 117614 HAS SOPS 66293 HAS SOUS 17166 HAS SOUPS 9216 WITH SCORE 9333.614
AT ITER 1748 NEW BEST:: SOT 168155 SOS 117604 HAS SOPS 66283 HAS SOUS 17166 HAS SOUPS 9216 WITH SCORE 9333.604
AT ITER 1753 NEW BEST:: SOT 168155 SOS 117555 HAS SOPS 66283 HAS SOUS 17166 HAS SOUPS 9216 WITH SCORE 9333.555
AT ITER 1759 NEW BEST:: SOT 168161 SOS 117273 HAS SOPS 66031 HAS SOUS 17166 HAS SOUPS 9216 WITH SCORE 9333.273
AT ITER 1762 NEW BEST:: SOT 168150 SOS 117391 HAS SOPS 66149 HAS SOUS 17141 HAS SOUPS 9191 WITH SCORE 9308.391
AT ITER 1815 NEW BEST:: SOT 168177 SOS 117543 HAS SOPS 66461 HAS SOUS 17116 HAS SOUPS 9187 WITH SCORE 9304.543
AT ITER 1820 NEW BEST:: SOT 168177 SOS 117543 HAS SOPS 66461 HAS SOUS 17098 HAS SOUPS 9177 WITH SCORE 9294.543
AT ITER 1825 NEW BEST:: SOT 168157 SOS 117523 HAS SOPS 66461 HAS SOUS 17098 HAS SOUPS 9177 WITH SCORE 9294.523
AT ITER 1842 NEW BEST:: SOT 168026 SOS 115204 HAS SOPS 64341 HAS SOUS 17094 HAS SOUPS 9173 WITH SCORE 9288.204
AT ITER 1851 NEW BEST:: SOT 168026 SOS 115204 HAS SOPS 64341 HAS SOUS 17077 HAS SOUPS 9156 WITH SCORE 9271.204
AT ITER 1873 NEW BEST:: SOT 168043 SOS 115458 HAS SOPS 64795 HAS SOUS 17054 HAS SOUPS 9153 WITH SCORE 9268.458
AT ITER 1877 NEW BEST:: SOT 168043 SOS 115462 HAS SOPS 64839 HAS SOUS 17046 HAS SOUPS 9149 WITH SCORE 9264.462
AT ITER 1890 NEW BEST:: SOT 168029 SOS 115441 HAS SOPS 64839 HAS SOUS 17039 HAS SOUPS 9149 WITH SCORE 9264.441
AT ITER 1894 NEW BEST:: SOT 168015 SOS 115292 HAS SOPS 64690 HAS SOUS 17030 HAS SOUPS 9140 WITH SCORE 9255.292
AT ITER 1915 NEW BEST:: SOT 168008 SOS 115628 HAS SOPS 65026 HAS SOUS 17023 HAS SOUPS 9133 WITH SCORE 9248.628
AT ITER 1939 NEW BEST:: SOT 167983 SOS 115476 HAS SOPS 64993 HAS SOUS 16964 HAS SOUPS 9091 WITH SCORE 9206.476
AT ITER 1943 NEW BEST:: SOT 167993 SOS 115380 HAS SOPS 64917 HAS SOUS 16966 HAS SOUPS 9089 WITH SCORE 9204.38
AT ITER 1954 NEW BEST:: SOT 167981 SOS 115368 HAS SOPS 64905 HAS SOUS 16966 HAS SOUPS 9089 WITH SCORE 9204.368
AT ITER 1960 NEW BEST:: SOT 167981 SOS 115368 HAS SOPS 64905 HAS SOUS 16964 HAS SOUPS 9087 WITH SCORE 9202.368
AT ITER 1969 NEW BEST:: SOT 167988 SOS 115081 HAS SOPS 64674 HAS SOUS 16957 HAS SOUPS 9087 WITH SCORE 9202.081
AT ITER 1975 NEW BEST:: SOT 167988 SOS 115060 HAS SOPS 64674 HAS SOUS 16936 HAS SOUPS 9087 WITH SCORE 9202.06
AT ITER 1995 NEW BEST:: SOT 167928 SOS 115874 HAS SOPS 65110 HAS SOUS 16918 HAS SOUPS 9069 WITH SCORE 9184.874
AT ITER 2018 NEW BEST:: SOT 167913 SOS 115854 HAS SOPS 65100 HAS SOUS 16908 HAS SOUPS 9059 WITH SCORE 9174.854
AT ITER 2021 NEW BEST:: SOT 167907 SOS 115839 HAS SOPS 65061 HAS SOUS 16911 HAS SOUPS 9059 WITH SCORE 9174.839
AT ITER 2056 NEW BEST:: SOT 167914 SOS 115721 HAS SOPS 65063 HAS SOUS 16889 HAS SOUPS 9049 WITH SCORE 9164.721
AT ITER 2074 NEW BEST:: SOT 167466 SOS 115325 HAS SOPS 65063 HAS SOUS 16514 HAS SOUPS 9030 WITH SCORE 9145.325
AT ITER 2082 NEW BEST:: SOT 167458 SOS 114625 HAS SOPS 64723 HAS SOUS 16468 HAS SOUPS 9020 WITH SCORE 9134.625
AT ITER 2084 NEW BEST:: SOT 167451 SOS 114404 HAS SOPS 64595 HAS SOUS 16449 HAS SOUPS 9001 WITH SCORE 9115.404
AT ITER 2094 NEW BEST:: SOT 167341 SOS 114224 HAS SOPS 64535 HAS SOUS 16439 HAS SOUPS 9001 WITH SCORE 9115.224
AT ITER 2117 NEW BEST:: SOT 167320 SOS 114203 HAS SOPS 64535 HAS SOUS 16439 HAS SOUPS 9001 WITH SCORE 9115.203
AT ITER 2155 NEW BEST:: SOT 167298 SOS 113939 HAS SOPS 64491 HAS SOUS 16373 HAS SOUPS 8957 WITH SCORE 9070.939
AT ITER 2161 NEW BEST:: SOT 167301 SOS 113857 HAS SOPS 64415 HAS SOUS 16370 HAS SOUPS 8954 WITH SCORE 9067.857
AT ITER 2190 NEW BEST:: SOT 167316 SOS 114019 HAS SOPS 64467 HAS SOUS 16390 HAS SOUPS 8952 WITH SCORE 9066.019
AT ITER 2193 NEW BEST:: SOT 167296 SOS 113929 HAS SOPS 64217 HAS SOUS 16392 HAS SOUPS 8938 WITH SCORE 9051.929
AT ITER 2223 NEW BEST:: SOT 167294 SOS 113925 HAS SOPS 64303 HAS SOUS 16379 HAS SOUPS 8934 WITH SCORE 9047.925
AT ITER 2237 NEW BEST:: SOT 167297 SOS 113907 HAS SOPS 64305 HAS SOUS 16375 HAS SOUPS 8932 WITH SCORE 9045.907
AT ITER 2251 NEW BEST:: SOT 167287 SOS 113842 HAS SOPS 64250 HAS SOUS 16365 HAS SOUPS 8922 WITH SCORE 9035.842
AT ITER 2252 NEW BEST:: SOT 167285 SOS 113816 HAS SOPS 64224 HAS SOUS 16363 HAS SOUPS 8920 WITH SCORE 9033.816
AT ITER 2259 NEW BEST:: SOT 167258 SOS 113789 HAS SOPS 64224 HAS SOUS 16363 HAS SOUPS 8920 WITH SCORE 9033.789
AT ITER 2265 NEW BEST:: SOT 167245 SOS 113705 HAS SOPS 64228 HAS SOUS 16353 HAS SOUPS 8910 WITH SCORE 9023.705
AT ITER 2284 NEW BEST:: SOT 167263 SOS 113743 HAS SOPS 64240 HAS SOUS 16353 HAS SOUPS 8908 WITH SCORE 9021.743
AT ITER 2294 NEW BEST:: SOT 167263 SOS 113741 HAS SOPS 64218 HAS SOUS 16351 HAS SOUPS 8904 WITH SCORE 9017.741
AT ITER 2311 NEW BEST:: SOT 167234 SOS 113712 HAS SOPS 64218 HAS SOUS 16351 HAS SOUPS 8904 WITH SCORE 9017.712
AT ITER 2337 NEW BEST:: SOT 167224 SOS 113730 HAS SOPS 64210 HAS SOUS 16349 HAS SOUPS 8899 WITH SCORE 9012.73
AT ITER 2356 NEW BEST:: SOT 167192 SOS 113666 HAS SOPS 64146 HAS SOUS 16340 HAS SOUPS 8890 WITH SCORE 9003.666
AT ITER 2393 NEW BEST:: SOT 167189 SOS 113663 HAS SOPS 64146 HAS SOUS 16338 HAS SOUPS 8888 WITH SCORE 9001.663
AT ITER 2395 NEW BEST:: SOT 167108 SOS 113149 HAS SOPS 64042 HAS SOUS 16265 HAS SOUPS 8855 WITH SCORE 8968.149
AT ITER 2410 NEW BEST:: SOT 167108 SOS 113149 HAS SOPS 64042 HAS SOUS 16256 HAS SOUPS 8850 WITH SCORE 8963.149
AT ITER 2426 NEW BEST:: SOT 167095 SOS 113000 HAS SOPS 63893 HAS SOUS 16228 HAS SOUPS 8822 WITH SCORE 8935.0
AT ITER 2434 NEW BEST:: SOT 167101 SOS 112667 HAS SOPS 63560 HAS SOUS 16219 HAS SOUPS 8813 WITH SCORE 8925.667
AT ITER 2436 NEW BEST:: SOT 167126 SOS 110887 HAS SOPS 62160 HAS SOUS 16182 HAS SOUPS 8814 WITH SCORE 8924.887
AT ITER 2452 NEW BEST:: SOT 167104 SOS 110755 HAS SOPS 62138 HAS SOUS 16174 HAS SOUPS 8806 WITH SCORE 8916.755
AT ITER 2474 NEW BEST:: SOT 167122 SOS 110174 HAS SOPS 61557 HAS SOUS 16167 HAS SOUPS 8799 WITH SCORE 8909.174
AT ITER 2475 NEW BEST:: SOT 167123 SOS 109969 HAS SOPS 61352 HAS SOUS 16159 HAS SOUPS 8791 WITH SCORE 8900.969
AT ITER 2527 NEW BEST:: SOT 167122 SOS 109883 HAS SOPS 61296 HAS SOUS 16158 HAS SOUPS 8790 WITH SCORE 8899.883
AT ITER 2528 NEW BEST:: SOT 167117 SOS 109873 HAS SOPS 61286 HAS SOUS 16153 HAS SOUPS 8785 WITH SCORE 8894.873
AT ITER 2547 NEW BEST:: SOT 167110 SOS 109866 HAS SOPS 61280 HAS SOUS 16151 HAS SOUPS 8783 WITH SCORE 8892.866
AT ITER 2549 NEW BEST:: SOT 167094 SOS 109879 HAS SOPS 61342 HAS SOUS 16136 HAS SOUPS 8775 WITH SCORE 8884.879
AT ITER 2550 NEW BEST:: SOT 167088 SOS 109873 HAS SOPS 61336 HAS SOUS 16136 HAS SOUPS 8775 WITH SCORE 8884.873
AT ITER 2565 NEW BEST:: SOT 167090 SOS 109887 HAS SOPS 61120 HAS SOUS 16155 HAS SOUPS 8771 WITH SCORE 8880.887
AT ITER 2595 NEW BEST:: SOT 166455 SOS 108881 HAS SOPS 60803 HAS SOUS 16103 HAS SOUPS 8772 WITH SCORE 8880.881
AT ITER 2648 NEW BEST:: SOT 166441 SOS 108871 HAS SOPS 60793 HAS SOUS 16095 HAS SOUPS 8764 WITH SCORE 8872.871
AT ITER 2667 NEW BEST:: SOT 166440 SOS 108870 HAS SOPS 60792 HAS SOUS 16094 HAS SOUPS 8763 WITH SCORE 8871.87
AT ITER 2669 NEW BEST:: SOT 166416 SOS 108928 HAS SOPS 60850 HAS SOUS 16086 HAS SOUPS 8755 WITH SCORE 8863.928
AT ITER 2670 NEW BEST:: SOT 166414 SOS 108856 HAS SOPS 60862 HAS SOUS 16076 HAS SOUPS 8753 WITH SCORE 8861.856
AT ITER 2678 NEW BEST:: SOT 166406 SOS 108683 HAS SOPS 60757 HAS SOUS 16067 HAS SOUPS 8744 WITH SCORE 8852.683
AT ITER 2680 NEW BEST:: SOT 166411 SOS 108573 HAS SOPS 60817 HAS SOUS 16042 HAS SOUPS 8736 WITH SCORE 8844.573
AT ITER 2703 NEW BEST:: SOT 166429 SOS 108533 HAS SOPS 60826 HAS SOUS 16036 HAS SOUPS 8735 WITH SCORE 8843.533
AT ITER 2713 NEW BEST:: SOT 166405 SOS 108289 HAS SOPS 60582 HAS SOUS 16014 HAS SOUPS 8713 WITH SCORE 8821.289
AT ITER 2742 NEW BEST:: SOT 166461 SOS 108345 HAS SOPS 60582 HAS SOUS 15882 HAS SOUPS 8653 WITH SCORE 8761.345
AT ITER 2771 NEW BEST:: SOT 166354 SOS 108232 HAS SOPS 60517 HAS SOUS 15879 HAS SOUPS 8650 WITH SCORE 8758.232
AT ITER 2789 NEW BEST:: SOT 166340 SOS 107910 HAS SOPS 60342 HAS SOUS 15858 HAS SOUPS 8636 WITH SCORE 8743.91
AT ITER 2794 NEW BEST:: SOT 166023 SOS 107392 HAS SOPS 60168 HAS SOUS 15812 HAS SOUPS 8629 WITH SCORE 8736.392
AT ITER 2812 NEW BEST:: SOT 166021 SOS 107388 HAS SOPS 60164 HAS SOUS 15810 HAS SOUPS 8627 WITH SCORE 8734.388
AT ITER 2830 NEW BEST:: SOT 166021 SOS 107383 HAS SOPS 60164 HAS SOUS 15805 HAS SOUPS 8627 WITH SCORE 8734.383
AT ITER 2832 NEW BEST:: SOT 166020 SOS 107361 HAS SOPS 60152 HAS SOUS 15802 HAS SOUPS 8625 WITH SCORE 8732.361
AT ITER 2908 NEW BEST:: SOT 165974 SOS 107223 HAS SOPS 59554 HAS SOUS 15848 HAS SOUPS 8625 WITH SCORE 8732.223
AT ITER 2912 NEW BEST:: SOT 165973 SOS 107193 HAS SOPS 59553 HAS SOUS 15818 HAS SOUPS 8624 WITH SCORE 8731.193
AT ITER 2913 NEW BEST:: SOT 165156 SOS 104808 HAS SOPS 58297 HAS SOUS 15689 HAS SOUPS 8559 WITH SCORE 8663.808
AT ITER 2972 NEW BEST:: SOT 165154 SOS 104790 HAS SOPS 58272 HAS SOUS 15688 HAS SOUPS 8557 WITH SCORE 8661.79
AT ITER 2977 NEW BEST:: SOT 165180 SOS 104816 HAS SOPS 58298 HAS SOUS 15686 HAS SOUPS 8555 WITH SCORE 8659.816
AT ITER 3007 NEW BEST:: SOT 165145 SOS 104781 HAS SOPS 58268 HAS SOUS 15686 HAS SOUPS 8555 WITH SCORE 8659.781
AT ITER 3019 NEW BEST:: SOT 165138 SOS 104677 HAS SOPS 58254 HAS SOUS 15677 HAS SOUPS 8555 WITH SCORE 8659.677
AT ITER 3038 NEW BEST:: SOT 165138 SOS 104677 HAS SOPS 58254 HAS SOUS 15659 HAS SOUPS 8545 WITH SCORE 8649.677
AT ITER 3050 NEW BEST:: SOT 165175 SOS 104821 HAS SOPS 58206 HAS SOUS 15642 HAS SOUPS 8528 WITH SCORE 8632.821
AT ITER 3067 NEW BEST:: SOT 165164 SOS 104780 HAS SOPS 58165 HAS SOUS 15636 HAS SOUPS 8522 WITH SCORE 8626.78
AT ITER 3090 NEW BEST:: SOT 165164 SOS 104740 HAS SOPS 58125 HAS SOUS 15628 HAS SOUPS 8514 WITH SCORE 8618.74
AT ITER 3117 NEW BEST:: SOT 165155 SOS 104736 HAS SOPS 58121 HAS SOUS 15619 HAS SOUPS 8505 WITH SCORE 8609.736
AT ITER 3133 NEW BEST:: SOT 165148 SOS 104649 HAS SOPS 58104 HAS SOUS 15599 HAS SOUPS 8492 WITH SCORE 8596.649
AT ITER 3162 NEW BEST:: SOT 165137 SOS 104628 HAS SOPS 58083 HAS SOUS 15598 HAS SOUPS 8491 WITH SCORE 8595.628
AT ITER 3163 NEW BEST:: SOT 165136 SOS 104540 HAS SOPS 57916 HAS SOUS 15601 HAS SOUPS 8487 WITH SCORE 8591.54
AT ITER 3166 NEW BEST:: SOT 165143 SOS 104554 HAS SOPS 57916 HAS SOUS 15600 HAS SOUPS 8482 WITH SCORE 8586.554
AT ITER 3184 NEW BEST:: SOT 165179 SOS 104749 HAS SOPS 57898 HAS SOUS 15575 HAS SOUPS 8457 WITH SCORE 8561.749
AT ITER 3207 NEW BEST:: SOT 164723 SOS 103739 HAS SOPS 57078 HAS SOUS 15535 HAS SOUPS 8417 WITH SCORE 8520.739
AT ITER 3225 NEW BEST:: SOT 164716 SOS 103783 HAS SOPS 57102 HAS SOUS 15536 HAS SOUPS 8416 WITH SCORE 8519.783
AT ITER 3254 NEW BEST:: SOT 164748 SOS 103817 HAS SOPS 57118 HAS SOUS 15531 HAS SOUPS 8411 WITH SCORE 8514.817
AT ITER 3282 NEW BEST:: SOT 164841 SOS 104003 HAS SOPS 57202 HAS SOUS 15478 HAS SOUPS 8405 WITH SCORE 8509.003
AT ITER 3307 NEW BEST:: SOT 164827 SOS 103989 HAS SOPS 57202 HAS SOUS 15478 HAS SOUPS 8405 WITH SCORE 8508.989
AT ITER 3313 NEW BEST:: SOT 164843 SOS 103915 HAS SOPS 56995 HAS SOUS 15497 HAS SOUPS 8405 WITH SCORE 8508.915
AT ITER 3340 NEW BEST:: SOT 164846 SOS 103957 HAS SOPS 57077 HAS SOUS 15492 HAS SOUPS 8404 WITH SCORE 8507.957
AT ITER 3393 NEW BEST:: SOT 164924 SOS 104043 HAS SOPS 57113 HAS SOUS 15490 HAS SOUPS 8402 WITH SCORE 8506.043
AT ITER 3400 NEW BEST:: SOT 164909 SOS 103928 HAS SOPS 57048 HAS SOUS 15475 HAS SOUPS 8392 WITH SCORE 8495.928
AT ITER 3441 NEW BEST:: SOT 164910 SOS 103832 HAS SOPS 56972 HAS SOUS 15472 HAS SOUPS 8391 WITH SCORE 8494.832
AT ITER 3457 NEW BEST:: SOT 164921 SOS 103694 HAS SOPS 56834 HAS SOUS 15469 HAS SOUPS 8388 WITH SCORE 8491.694
AT ITER 3475 NEW BEST:: SOT 164917 SOS 103710 HAS SOPS 56822 HAS SOUS 15469 HAS SOUPS 8384 WITH SCORE 8487.71
AT ITER 3498 NEW BEST:: SOT 164911 SOS 103698 HAS SOPS 56822 HAS SOUS 15449 HAS SOUPS 8379 WITH SCORE 8482.698
AT ITER 3570 NEW BEST:: SOT 164759 SOS 103361 HAS SOPS 56541 HAS SOUS 15460 HAS SOUPS 8376 WITH SCORE 8479.361
AT ITER 3575 NEW BEST:: SOT 164755 SOS 103200 HAS SOPS 56550 HAS SOUS 15431 HAS SOUPS 8364 WITH SCORE 8467.2
AT ITER 3607 NEW BEST:: SOT 164758 SOS 103024 HAS SOPS 56283 HAS SOUS 15442 HAS SOUPS 8362 WITH SCORE 8465.024
AT ITER 3651 NEW BEST:: SOT 164756 SOS 103022 HAS SOPS 56283 HAS SOUS 15438 HAS SOUPS 8358 WITH SCORE 8461.022
AT ITER 3661 NEW BEST:: SOT 164743 SOS 103009 HAS SOPS 56283 HAS SOUS 15438 HAS SOUPS 8358 WITH SCORE 8461.009
AT ITER 3681 NEW BEST:: SOT 164740 SOS 103006 HAS SOPS 56283 HAS SOUS 15438 HAS SOUPS 8358 WITH SCORE 8461.006
AT ITER 3695 NEW BEST:: SOT 164739 SOS 103073 HAS SOPS 56347 HAS SOUS 15437 HAS SOUPS 8357 WITH SCORE 8460.073
AT ITER 3704 NEW BEST:: SOT 164725 SOS 103059 HAS SOPS 56347 HAS SOUS 15437 HAS SOUPS 8357 WITH SCORE 8460.059
AT ITER 3708 NEW BEST:: SOT 164534 SOS 102650 HAS SOPS 56174 HAS SOUS 15416 HAS SOUPS 8340 WITH SCORE 8442.65
AT ITER 3714 NEW BEST:: SOT 164534 SOS 102650 HAS SOPS 56174 HAS SOUS 15413 HAS SOUPS 8338 WITH SCORE 8440.65
AT ITER 3808 NEW BEST:: SOT 164138 SOS 101573 HAS SOPS 55615 HAS SOUS 15406 HAS SOUPS 8329 WITH SCORE 8430.573
AT ITER 3864 NEW BEST:: SOT 164158 SOS 101593 HAS SOPS 55615 HAS SOUS 15343 HAS SOUPS 8294 WITH SCORE 8395.593
AT ITER 3921 NEW BEST:: SOT 164155 SOS 101535 HAS SOPS 55567 HAS SOUS 15339 HAS SOUPS 8291 WITH SCORE 8392.535
AT ITER 3940 NEW BEST:: SOT 164135 SOS 101678 HAS SOPS 55657 HAS SOUS 15331 HAS SOUPS 8290 WITH SCORE 8391.678
AT ITER 4043 NEW BEST:: SOT 164138 SOS 101513 HAS SOPS 55522 HAS SOUS 15322 HAS SOUPS 8284 WITH SCORE 8385.513
AT ITER 4098 NEW BEST:: SOT 164184 SOS 101582 HAS SOPS 55522 HAS SOUS 15313 HAS SOUPS 8267 WITH SCORE 8368.582
AT ITER 4141 NEW BEST:: SOT 164184 SOS 101582 HAS SOPS 55522 HAS SOUS 15311 HAS SOUPS 8265 WITH SCORE 8366.582
AT ITER 4143 NEW BEST:: SOT 164153 SOS 101715 HAS SOPS 55505 HAS SOUS 15324 HAS SOUPS 8263 WITH SCORE 8364.715
AT ITER 4147 NEW BEST:: SOT 164146 SOS 101700 HAS SOPS 55498 HAS SOUS 15309 HAS SOUPS 8256 WITH SCORE 8357.7
AT ITER 4171 NEW BEST:: SOT 164146 SOS 101738 HAS SOPS 55726 HAS SOUS 14961 HAS SOUPS 8240 WITH SCORE 8341.738
AT ITER 4194 NEW BEST:: SOT 164145 SOS 101722 HAS SOPS 55703 HAS SOUS 14961 HAS SOUPS 8239 WITH SCORE 8340.722
AT ITER 4225 NEW BEST:: SOT 164139 SOS 101698 HAS SOPS 55693 HAS SOUS 14953 HAS SOUPS 8233 WITH SCORE 8334.698
AT ITER 4248 NEW BEST:: SOT 164129 SOS 101677 HAS SOPS 55687 HAS SOUS 14952 HAS SOUPS 8233 WITH SCORE 8334.677
AT ITER 4369 NEW BEST:: SOT 164137 SOS 101697 HAS SOPS 55687 HAS SOUS 14948 HAS SOUPS 8229 WITH SCORE 8330.697
AT ITER 4409 NEW BEST:: SOT 164145 SOS 101641 HAS SOPS 55599 HAS SOUS 14936 HAS SOUPS 8217 WITH SCORE 8318.641
AT ITER 4444 NEW BEST:: SOT 164138 SOS 101537 HAS SOPS 55492 HAS SOUS 14929 HAS SOUPS 8210 WITH SCORE 8311.537
AT ITER 4516 NEW BEST:: SOT 164126 SOS 101429 HAS SOPS 55482 HAS SOUS 14915 HAS SOUPS 8203 WITH SCORE 8304.429
AT ITER 4517 NEW BEST:: SOT 164090 SOS 101337 HAS SOPS 55383 HAS SOUS 14922 HAS SOUPS 8203 WITH SCORE 8304.337
AT ITER 4522 NEW BEST:: SOT 164108 SOS 101169 HAS SOPS 55263 HAS SOUS 14922 HAS SOUPS 8197 WITH SCORE 8298.169
AT ITER 4525 NEW BEST:: SOT 164023 SOS 101044 HAS SOPS 55166 HAS SOUS 14924 HAS SOUPS 8192 WITH SCORE 8293.044
AT ITER 4551 NEW BEST:: SOT 164023 SOS 101053 HAS SOPS 55166 HAS SOUS 14931 HAS SOUPS 8190 WITH SCORE 8291.053
AT ITER 4564 NEW BEST:: SOT 163953 SOS 100969 HAS SOPS 55124 HAS SOUS 14931 HAS SOUPS 8190 WITH SCORE 8290.969
AT ITER 4585 NEW BEST:: SOT 163834 SOS 100783 HAS SOPS 55046 HAS SOUS 14856 HAS SOUPS 8152 WITH SCORE 8252.783
AT ITER 4624 NEW BEST:: SOT 163841 SOS 100787 HAS SOPS 55040 HAS SOUS 14855 HAS SOUPS 8151 WITH SCORE 8251.787
AT ITER 4656 NEW BEST:: SOT 163371 SOS 100297 HAS SOPS 54645 HAS SOUS 14844 HAS SOUPS 8150 WITH SCORE 8250.297
AT ITER 4658 NEW BEST:: SOT 163405 SOS 100326 HAS SOPS 54671 HAS SOUS 14790 HAS SOUPS 8133 WITH SCORE 8233.326
AT ITER 4756 NEW BEST:: SOT 163405 SOS 100326 HAS SOPS 54671 HAS SOUS 14781 HAS SOUPS 8128 WITH SCORE 8228.326
AT ITER 4775 NEW BEST:: SOT 163401 SOS 100328 HAS SOPS 54673 HAS SOUS 14778 HAS SOUPS 8125 WITH SCORE 8225.328
AT ITER 4813 NEW BEST:: SOT 163221 SOS 100148 HAS SOPS 54493 HAS SOUS 14778 HAS SOUPS 8125 WITH SCORE 8225.148
AT ITER 4833 NEW BEST:: SOT 163234 SOS 100054 HAS SOPS 54499 HAS SOUS 14768 HAS SOUPS 8125 WITH SCORE 8225.054
AT ITER 4855 NEW BEST:: SOT 163235 SOS 100026 HAS SOPS 54465 HAS SOUS 14748 HAS SOUPS 8105 WITH SCORE 8205.026
AT ITER 4947 NEW BEST:: SOT 163381 SOS 100318 HAS SOPS 54567 HAS SOUS 14761 HAS SOUPS 8104 WITH SCORE 8204.318
AT ITER 5014 NEW BEST:: SOT 163412 SOS 100349 HAS SOPS 54567 HAS SOUS 14719 HAS SOUPS 8086 WITH SCORE 8186.349
AT ITER 5053 NEW BEST:: SOT 163433 SOS 100409 HAS SOPS 54567 HAS SOUS 14686 HAS SOUPS 8068 WITH SCORE 8168.409
AT ITER 5056 NEW BEST:: SOT 162973 SOS 98787 HAS SOPS 53622 HAS SOUS 14654 HAS SOUPS 8060 WITH SCORE 8158.787
AT ITER 5108 NEW BEST:: SOT 162924 SOS 98689 HAS SOPS 53539 HAS SOUS 14654 HAS SOUPS 8055 WITH SCORE 8153.689
AT ITER 5123 NEW BEST:: SOT 162916 SOS 98628 HAS SOPS 53528 HAS SOUS 14632 HAS SOUPS 8038 WITH SCORE 8136.628
AT ITER 5137 NEW BEST:: SOT 162932 SOS 98652 HAS SOPS 53524 HAS SOUS 14636 HAS SOUPS 8034 WITH SCORE 8132.652
AT ITER 5164 NEW BEST:: SOT 162926 SOS 98604 HAS SOPS 53496 HAS SOUS 14626 HAS SOUPS 8026 WITH SCORE 8124.604
AT ITER 5173 NEW BEST:: SOT 162925 SOS 98602 HAS SOPS 53496 HAS SOUS 14625 HAS SOUPS 8026 WITH SCORE 8124.602
AT ITER 5175 NEW BEST:: SOT 162923 SOS 98600 HAS SOPS 53496 HAS SOUS 14621 HAS SOUPS 8022 WITH SCORE 8120.6
AT ITER 5215 NEW BEST:: SOT 162913 SOS 98590 HAS SOPS 53496 HAS SOUS 14621 HAS SOUPS 8022 WITH SCORE 8120.59
AT ITER 5225 NEW BEST:: SOT 162922 SOS 98568 HAS SOPS 53498 HAS SOUS 14616 HAS SOUPS 8021 WITH SCORE 8119.568
AT ITER 5274 NEW BEST:: SOT 162884 SOS 98530 HAS SOPS 53498 HAS SOUS 14616 HAS SOUPS 8021 WITH SCORE 8119.53
AT ITER 5280 NEW BEST:: SOT 162834 SOS 98430 HAS SOPS 53458 HAS SOUS 14611 HAS SOUPS 8016 WITH SCORE 8114.43
AT ITER 5337 NEW BEST:: SOT 162827 SOS 98336 HAS SOPS 53399 HAS SOUS 14604 HAS SOUPS 8014 WITH SCORE 8112.336
AT ITER 5344 NEW BEST:: SOT 162778 SOS 98252 HAS SOPS 53365 HAS SOUS 14576 HAS SOUPS 7996 WITH SCORE 8094.252
AT ITER 5348 NEW BEST:: SOT 162754 SOS 98222 HAS SOPS 53350 HAS SOUS 14576 HAS SOUPS 7996 WITH SCORE 8094.222
AT ITER 5357 NEW BEST:: SOT 162766 SOS 98293 HAS SOPS 53357 HAS SOUS 14577 HAS SOUPS 7992 WITH SCORE 8090.293
AT ITER 5371 NEW BEST:: SOT 162764 SOS 98291 HAS SOPS 53357 HAS SOUS 14573 HAS SOUPS 7988 WITH SCORE 8086.291
AT ITER 5406 NEW BEST:: SOT 162780 SOS 98307 HAS SOPS 53361 HAS SOUS 14569 HAS SOUPS 7984 WITH SCORE 8082.307
AT ITER 5428 NEW BEST:: SOT 162704 SOS 97803 HAS SOPS 52929 HAS SOUS 14552 HAS SOUPS 7967 WITH SCORE 8064.803
AT ITER 5465 NEW BEST:: SOT 162707 SOS 97875 HAS SOPS 52996 HAS SOUS 14550 HAS SOUPS 7965 WITH SCORE 8062.875
AT ITER 5476 NEW BEST:: SOT 162702 SOS 97885 HAS SOPS 52996 HAS SOUS 14545 HAS SOUPS 7960 WITH SCORE 8057.885
AT ITER 5494 NEW BEST:: SOT 162492 SOS 97671 HAS SOPS 52887 HAS SOUS 14539 HAS SOUPS 7954 WITH SCORE 8051.671
AT ITER 5514 NEW BEST:: SOT 162566 SOS 97461 HAS SOPS 52941 HAS SOUS 14539 HAS SOUPS 7953 WITH SCORE 8050.461
AT ITER 5518 NEW BEST:: SOT 162147 SOS 97039 HAS SOPS 52709 HAS SOUS 14458 HAS SOUPS 7940 WITH SCORE 8037.039
AT ITER 5572 NEW BEST:: SOT 162240 SOS 97018 HAS SOPS 52740 HAS SOUS 14417 HAS SOUPS 7923 WITH SCORE 8020.018
AT ITER 5651 NEW BEST:: SOT 162160 SOS 96958 HAS SOPS 52690 HAS SOUS 14413 HAS SOUPS 7909 WITH SCORE 8005.958
AT ITER 5654 NEW BEST:: SOT 162154 SOS 96952 HAS SOPS 52690 HAS SOUS 14413 HAS SOUPS 7909 WITH SCORE 8005.952
AT ITER 5668 NEW BEST:: SOT 162153 SOS 96942 HAS SOPS 52679 HAS SOUS 14413 HAS SOUPS 7909 WITH SCORE 8005.942
AT ITER 5696 NEW BEST:: SOT 162305 SOS 97204 HAS SOPS 52773 HAS SOUS 14419 HAS SOUPS 7901 WITH SCORE 7998.204
AT ITER 5801 NEW BEST:: SOT 162311 SOS 97231 HAS SOPS 52758 HAS SOUS 14425 HAS SOUPS 7886 WITH SCORE 7983.231
AT ITER 5835 NEW BEST:: SOT 162200 SOS 97112 HAS SOPS 52687 HAS SOUS 14418 HAS SOUPS 7879 WITH SCORE 7976.112
AT ITER 5846 NEW BEST:: SOT 162204 SOS 97100 HAS SOPS 52679 HAS SOUS 14411 HAS SOUPS 7872 WITH SCORE 7969.1
AT ITER 5882 NEW BEST:: SOT 162204 SOS 97100 HAS SOPS 52679 HAS SOUS 14402 HAS SOUPS 7866 WITH SCORE 7963.1
AT ITER 5889 NEW BEST:: SOT 162201 SOS 97097 HAS SOPS 52679 HAS SOUS 14402 HAS SOUPS 7866 WITH SCORE 7963.097
AT ITER 5901 NEW BEST:: SOT 162199 SOS 97089 HAS SOPS 52671 HAS SOUS 14393 HAS SOUPS 7857 WITH SCORE 7954.089
AT ITER 5922 NEW BEST:: SOT 162186 SOS 96971 HAS SOPS 52653 HAS SOUS 14380 HAS SOUPS 7854 WITH SCORE 7950.971
AT ITER 5985 NEW BEST:: SOT 162172 SOS 96950 HAS SOPS 52653 HAS SOUS 14373 HAS SOUPS 7854 WITH SCORE 7950.95
AT ITER 6000 NEW BEST:: SOT 162180 SOS 96957 HAS SOPS 52657 HAS SOUS 14370 HAS SOUPS 7852 WITH SCORE 7948.957
AT ITER 6070 NEW BEST:: SOT 162177 SOS 96952 HAS SOPS 52656 HAS SOUS 14370 HAS SOUPS 7852 WITH SCORE 7948.952
AT ITER 6093 NEW BEST:: SOT 162170 SOS 96945 HAS SOPS 52656 HAS SOUS 14370 HAS SOUPS 7852 WITH SCORE 7948.945
AT ITER 6112 NEW BEST:: SOT 162174 SOS 97028 HAS SOPS 52739 HAS SOUS 14363 HAS SOUPS 7845 WITH SCORE 7942.028
AT ITER 6114 NEW BEST:: SOT 161987 SOS 96662 HAS SOPS 52609 HAS SOUS 14344 HAS SOUPS 7826 WITH SCORE 7922.662
AT ITER 6144 NEW BEST:: SOT 162047 SOS 96782 HAS SOPS 52747 HAS SOUS 14115 HAS SOUPS 7780 WITH SCORE 7876.782
AT ITER 6191 NEW BEST:: SOT 162044 SOS 96779 HAS SOPS 52792 HAS SOUS 14110 HAS SOUPS 7780 WITH SCORE 7876.779
AT ITER 6220 NEW BEST:: SOT 162041 SOS 96781 HAS SOPS 52750 HAS SOUS 14109 HAS SOUPS 7774 WITH SCORE 7870.781
AT ITER 6255 NEW BEST:: SOT 162017 SOS 96529 HAS SOPS 52618 HAS SOUS 14097 HAS SOUPS 7774 WITH SCORE 7870.529
AT ITER 6306 NEW BEST:: SOT 162017 SOS 96507 HAS SOPS 52558 HAS SOUS 14096 HAS SOUPS 7770 WITH SCORE 7866.507
AT ITER 6322 NEW BEST:: SOT 161993 SOS 96352 HAS SOPS 52527 HAS SOUS 14079 HAS SOUPS 7764 WITH SCORE 7860.352
AT ITER 6328 NEW BEST:: SOT 161993 SOS 96352 HAS SOPS 52527 HAS SOUS 14070 HAS SOUPS 7759 WITH SCORE 7855.352
AT ITER 6350 NEW BEST:: SOT 161993 SOS 96352 HAS SOPS 52527 HAS SOUS 14061 HAS SOUPS 7754 WITH SCORE 7850.352
AT ITER 6381 NEW BEST:: SOT 161984 SOS 96343 HAS SOPS 52518 HAS SOUS 14058 HAS SOUPS 7751 WITH SCORE 7847.343
AT ITER 6405 NEW BEST:: SOT 161980 SOS 96339 HAS SOPS 52518 HAS SOUS 14050 HAS SOUPS 7743 WITH SCORE 7839.339
AT ITER 6429 NEW BEST:: SOT 161980 SOS 96339 HAS SOPS 52518 HAS SOUS 14047 HAS SOUPS 7741 WITH SCORE 7837.339
AT ITER 6497 NEW BEST:: SOT 161992 SOS 96279 HAS SOPS 52518 HAS SOUS 14036 HAS SOUPS 7737 WITH SCORE 7833.279
AT ITER 6506 NEW BEST:: SOT 162000 SOS 96279 HAS SOPS 52518 HAS SOUS 14032 HAS SOUPS 7733 WITH SCORE 7829.279
AT ITER 6521 NEW BEST:: SOT 161987 SOS 96266 HAS SOPS 52518 HAS SOUS 14032 HAS SOUPS 7733 WITH SCORE 7829.266
AT ITER 6525 NEW BEST:: SOT 162012 SOS 95951 HAS SOPS 52203 HAS SOUS 14024 HAS SOUPS 7725 WITH SCORE 7820.951
AT ITER 6556 NEW BEST:: SOT 162002 SOS 96001 HAS SOPS 52221 HAS SOUS 14020 HAS SOUPS 7721 WITH SCORE 7817.001
AT ITER 6564 NEW BEST:: SOT 161914 SOS 95701 HAS SOPS 52051 HAS SOUS 13902 HAS SOUPS 7674 WITH SCORE 7769.701
AT ITER 6583 NEW BEST:: SOT 161868 SOS 95701 HAS SOPS 51982 HAS SOUS 13879 HAS SOUPS 7651 WITH SCORE 7746.701
AT ITER 6646 NEW BEST:: SOT 161861 SOS 95694 HAS SOPS 51976 HAS SOUS 13877 HAS SOUPS 7649 WITH SCORE 7744.694
AT ITER 6705 NEW BEST:: SOT 161859 SOS 95691 HAS SOPS 51973 HAS SOUS 13877 HAS SOUPS 7649 WITH SCORE 7744.691
AT ITER 6734 NEW BEST:: SOT 161850 SOS 95672 HAS SOPS 51955 HAS SOUS 13877 HAS SOUPS 7648 WITH SCORE 7743.672
AT ITER 6736 NEW BEST:: SOT 161832 SOS 95560 HAS SOPS 51868 HAS SOUS 13873 HAS SOUPS 7644 WITH SCORE 7739.56
AT ITER 6738 NEW BEST:: SOT 161867 SOS 95595 HAS SOPS 51885 HAS SOUS 13868 HAS SOUPS 7639 WITH SCORE 7734.595
AT ITER 6763 NEW BEST:: SOT 161825 SOS 95553 HAS SOPS 51849 HAS SOUS 13868 HAS SOUPS 7639 WITH SCORE 7734.553
AT ITER 6843 NEW BEST:: SOT 161821 SOS 95550 HAS SOPS 51816 HAS SOUS 13871 HAS SOUPS 7639 WITH SCORE 7734.55
AT ITER 6927 NEW BEST:: SOT 161817 SOS 95558 HAS SOPS 51810 HAS SOUS 13867 HAS SOUPS 7633 WITH SCORE 7728.558
AT ITER 6953 NEW BEST:: SOT 161809 SOS 95496 HAS SOPS 51796 HAS SOUS 13859 HAS SOUPS 7629 WITH SCORE 7724.496
AT ITER 6983 NEW BEST:: SOT 161751 SOS 95365 HAS SOPS 51692 HAS SOUS 13852 HAS SOUPS 7622 WITH SCORE 7717.365
AT ITER 7038 NEW BEST:: SOT 161748 SOS 95360 HAS SOPS 51689 HAS SOUS 13850 HAS SOUPS 7620 WITH SCORE 7715.36
AT ITER 7059 NEW BEST:: SOT 161993 SOS 95499 HAS SOPS 51856 HAS SOUS 13797 HAS SOUPS 7612 WITH SCORE 7707.499
AT ITER 7077 NEW BEST:: SOT 161974 SOS 95480 HAS SOPS 51850 HAS SOUS 13791 HAS SOUPS 7606 WITH SCORE 7701.48
AT ITER 7079 NEW BEST:: SOT 161830 SOS 95252 HAS SOPS 51778 HAS SOUS 13740 HAS SOUPS 7595 WITH SCORE 7690.252
AT ITER 7142 NEW BEST:: SOT 161833 SOS 95270 HAS SOPS 51782 HAS SOUS 13740 HAS SOUPS 7593 WITH SCORE 7688.27
AT ITER 7153 NEW BEST:: SOT 161777 SOS 94843 HAS SOPS 51432 HAS SOUS 13733 HAS SOUPS 7586 WITH SCORE 7680.843
AT ITER 7202 NEW BEST:: SOT 161723 SOS 94730 HAS SOPS 51397 HAS SOUS 13730 HAS SOUPS 7583 WITH SCORE 7677.73
AT ITER 7244 NEW BEST:: SOT 161687 SOS 94691 HAS SOPS 51373 HAS SOUS 13712 HAS SOUPS 7573 WITH SCORE 7667.691
AT ITER 7245 NEW BEST:: SOT 161693 SOS 94739 HAS SOPS 51408 HAS SOUS 13711 HAS SOUPS 7572 WITH SCORE 7666.739
AT ITER 7246 NEW BEST:: SOT 161694 SOS 94761 HAS SOPS 51396 HAS SOUS 13714 HAS SOUPS 7571 WITH SCORE 7665.761
AT ITER 7271 NEW BEST:: SOT 161690 SOS 94757 HAS SOPS 51396 HAS SOUS 13714 HAS SOUPS 7571 WITH SCORE 7665.757
AT ITER 7389 NEW BEST:: SOT 161657 SOS 94724 HAS SOPS 51363 HAS SOUS 13714 HAS SOUPS 7571 WITH SCORE 7665.724
AT ITER 7426 NEW BEST:: SOT 161610 SOS 94625 HAS SOPS 51328 HAS SOUS 13716 HAS SOUPS 7570 WITH SCORE 7664.625
AT ITER 7429 NEW BEST:: SOT 161606 SOS 94617 HAS SOPS 51332 HAS SOUS 13708 HAS SOUPS 7570 WITH SCORE 7664.617
AT ITER 7448 NEW BEST:: SOT 161679 SOS 94776 HAS SOPS 51382 HAS SOUS 13696 HAS SOUPS 7562 WITH SCORE 7656.776
AT ITER 7475 NEW BEST:: SOT 161711 SOS 94824 HAS SOPS 51432 HAS SOUS 13692 HAS SOUPS 7558 WITH SCORE 7652.824
AT ITER 7480 NEW BEST:: SOT 161620 SOS 94642 HAS SOPS 51285 HAS SOUS 13678 HAS SOUPS 7544 WITH SCORE 7638.642
AT ITER 7521 NEW BEST:: SOT 161617 SOS 94647 HAS SOPS 51264 HAS SOUS 13677 HAS SOUPS 7540 WITH SCORE 7634.647
AT ITER 7614 NEW BEST:: SOT 161611 SOS 94641 HAS SOPS 51264 HAS SOUS 13677 HAS SOUPS 7540 WITH SCORE 7634.641
AT ITER 7623 NEW BEST:: SOT 161712 SOS 94770 HAS SOPS 51393 HAS SOUS 13644 HAS SOUPS 7507 WITH SCORE 7601.77
AT ITER 7663 NEW BEST:: SOT 161712 SOS 94770 HAS SOPS 51393 HAS SOUS 13632 HAS SOUPS 7495 WITH SCORE 7589.77
AT ITER 7729 NEW BEST:: SOT 161710 SOS 94766 HAS SOPS 51371 HAS SOUS 13628 HAS SOUPS 7489 WITH SCORE 7583.766
AT ITER 7754 NEW BEST:: SOT 161690 SOS 94716 HAS SOPS 51316 HAS SOUS 13625 HAS SOUPS 7486 WITH SCORE 7580.716
AT ITER 7783 NEW BEST:: SOT 161646 SOS 94188 HAS SOPS 51208 HAS SOUS 13540 HAS SOUPS 7443 WITH SCORE 7537.188
AT ITER 7803 NEW BEST:: SOT 161634 SOS 94159 HAS SOPS 51089 HAS SOUS 13545 HAS SOUPS 7438 WITH SCORE 7532.159
AT ITER 7815 NEW BEST:: SOT 161635 SOS 94077 HAS SOPS 51021 HAS SOUS 13542 HAS SOUPS 7437 WITH SCORE 7531.077
AT ITER 7846 NEW BEST:: SOT 161635 SOS 94077 HAS SOPS 51021 HAS SOUS 13533 HAS SOUPS 7432 WITH SCORE 7526.077
AT ITER 7899 NEW BEST:: SOT 161755 SOS 94302 HAS SOPS 51096 HAS SOUS 13529 HAS SOUPS 7428 WITH SCORE 7522.302
AT ITER 7904 NEW BEST:: SOT 161764 SOS 94311 HAS SOPS 51096 HAS SOUS 13520 HAS SOUPS 7423 WITH SCORE 7517.311
AT ITER 7928 NEW BEST:: SOT 161764 SOS 94311 HAS SOPS 51096 HAS SOUS 13511 HAS SOUPS 7418 WITH SCORE 7512.311
AT ITER 8126 NEW BEST:: SOT 161745 SOS 94291 HAS SOPS 51076 HAS SOUS 13509 HAS SOUPS 7416 WITH SCORE 7510.291
AT ITER 8143 NEW BEST:: SOT 161745 SOS 94283 HAS SOPS 51075 HAS SOUS 13507 HAS SOUPS 7415 WITH SCORE 7509.283
AT ITER 8163 NEW BEST:: SOT 161745 SOS 94283 HAS SOPS 51075 HAS SOUS 13480 HAS SOUPS 7400 WITH SCORE 7494.283
AT ITER 8164 NEW BEST:: SOT 161734 SOS 94254 HAS SOPS 51044 HAS SOUS 13474 HAS SOUPS 7394 WITH SCORE 7488.254
AT ITER 8174 NEW BEST:: SOT 161734 SOS 94218 HAS SOPS 51004 HAS SOUS 13472 HAS SOUPS 7392 WITH SCORE 7486.218
AT ITER 8225 NEW BEST:: SOT 161822 SOS 94406 HAS SOPS 51042 HAS SOUS 13490 HAS SOUPS 7385 WITH SCORE 7479.406
AT ITER 8260 NEW BEST:: SOT 161850 SOS 94574 HAS SOPS 51070 HAS SOUS 13502 HAS SOUPS 7383 WITH SCORE 7477.574
AT ITER 8290 NEW BEST:: SOT 161846 SOS 94569 HAS SOPS 51065 HAS SOUS 13501 HAS SOUPS 7382 WITH SCORE 7476.569
AT ITER 8311 NEW BEST:: SOT 161852 SOS 94401 HAS SOPS 50928 HAS SOUS 13488 HAS SOUPS 7370 WITH SCORE 7464.401
AT ITER 8344 NEW BEST:: SOT 161852 SOS 94400 HAS SOPS 50927 HAS SOUS 13488 HAS SOUPS 7370 WITH SCORE 7464.4
AT ITER 8434 NEW BEST:: SOT 161847 SOS 94395 HAS SOPS 50927 HAS SOUS 13488 HAS SOUPS 7370 WITH SCORE 7464.395
AT ITER 8446 NEW BEST:: SOT 161861 SOS 94108 HAS SOPS 50619 HAS SOUS 13495 HAS SOUPS 7370 WITH SCORE 7464.108
AT ITER 8549 NEW BEST:: SOT 161849 SOS 94096 HAS SOPS 50619 HAS SOUS 13495 HAS SOUPS 7370 WITH SCORE 7464.096
AT ITER 8566 NEW BEST:: SOT 161848 SOS 94095 HAS SOPS 50619 HAS SOUS 13495 HAS SOUPS 7370 WITH SCORE 7464.095
AT ITER 8608 NEW BEST:: SOT 161851 SOS 94074 HAS SOPS 50589 HAS SOUS 13495 HAS SOUPS 7370 WITH SCORE 7464.074
AT ITER 8678 NEW BEST:: SOT 161868 SOS 93980 HAS SOPS 50607 HAS SOUS 13477 HAS SOUPS 7368 WITH SCORE 7461.98
AT ITER 8680 NEW BEST:: SOT 161868 SOS 93953 HAS SOPS 50580 HAS SOUS 13477 HAS SOUPS 7368 WITH SCORE 7461.953
AT ITER 8736 NEW BEST:: SOT 161868 SOS 93953 HAS SOPS 50580 HAS SOUS 13441 HAS SOUPS 7348 WITH SCORE 7441.953
AT ITER 8898 NEW BEST:: SOT 161676 SOS 93585 HAS SOPS 50468 HAS SOUS 13419 HAS SOUPS 7342 WITH SCORE 7435.585
AT ITER 8902 NEW BEST:: SOT 161632 SOS 93493 HAS SOPS 50436 HAS SOUS 13411 HAS SOUPS 7338 WITH SCORE 7431.493
AT ITER 8905 NEW BEST:: SOT 161662 SOS 93517 HAS SOPS 50449 HAS SOUS 13400 HAS SOUPS 7330 WITH SCORE 7423.517
AT ITER 8909 NEW BEST:: SOT 161674 SOS 93495 HAS SOPS 50445 HAS SOUS 13398 HAS SOUPS 7322 WITH SCORE 7415.495
AT ITER 9018 NEW BEST:: SOT 161281 SOS 92598 HAS SOPS 49722 HAS SOUS 13394 HAS SOUPS 7312 WITH SCORE 7404.598
AT ITER 9036 NEW BEST:: SOT 161257 SOS 92574 HAS SOPS 49698 HAS SOUS 13394 HAS SOUPS 7312 WITH SCORE 7404.574
AT ITER 9119 NEW BEST:: SOT 161252 SOS 92464 HAS SOPS 49638 HAS SOUS 13384 HAS SOUPS 7307 WITH SCORE 7399.464
AT ITER 9164 NEW BEST:: SOT 161276 SOS 92491 HAS SOPS 49650 HAS SOUS 13378 HAS SOUPS 7301 WITH SCORE 7393.491
AT ITER 9178 NEW BEST:: SOT 161246 SOS 92461 HAS SOPS 49620 HAS SOUS 13378 HAS SOUPS 7301 WITH SCORE 7393.461
AT ITER 9270 NEW BEST:: SOT 161241 SOS 92391 HAS SOPS 49600 HAS SOUS 13373 HAS SOUPS 7301 WITH SCORE 7393.391
AT ITER 9288 NEW BEST:: SOT 161239 SOS 92377 HAS SOPS 49596 HAS SOUS 13371 HAS SOUPS 7300 WITH SCORE 7392.377
AT ITER 9302 NEW BEST:: SOT 161239 SOS 92375 HAS SOPS 49596 HAS SOUS 13371 HAS SOUPS 7300 WITH SCORE 7392.375
AT ITER 9375 NEW BEST:: SOT 161236 SOS 92372 HAS SOPS 49596 HAS SOUS 13371 HAS SOUPS 7300 WITH SCORE 7392.372
AT ITER 9440 NEW BEST:: SOT 161210 SOS 92327 HAS SOPS 49547 HAS SOUS 13370 HAS SOUPS 7296 WITH SCORE 7388.327
AT ITER 9492 NEW BEST:: SOT 161225 SOS 92361 HAS SOPS 49558 HAS SOUS 13365 HAS SOUPS 7291 WITH SCORE 7383.361
AT ITER 9508 NEW BEST:: SOT 161225 SOS 92351 HAS SOPS 49534 HAS SOUS 13364 HAS SOUPS 7289 WITH SCORE 7381.351
AT ITER 9612 NEW BEST:: SOT 161247 SOS 92373 HAS SOPS 49534 HAS SOUS 13346 HAS SOUPS 7279 WITH SCORE 7371.373
AT ITER 9634 NEW BEST:: SOT 161236 SOS 92362 HAS SOPS 49534 HAS SOUS 13346 HAS SOUPS 7279 WITH SCORE 7371.362
AT ITER 9681 NEW BEST:: SOT 161341 SOS 92575 HAS SOPS 49585 HAS SOUS 13372 HAS SOUPS 7278 WITH SCORE 7370.575
AT ITER 9684 NEW BEST:: SOT 161468 SOS 92699 HAS SOPS 49692 HAS SOUS 13352 HAS SOUPS 7271 WITH SCORE 7363.699
AT ITER 9851 NEW BEST:: SOT 161476 SOS 92715 HAS SOPS 49692 HAS SOUS 13351 HAS SOUPS 7267 WITH SCORE 7359.715
STATE_SPACE STATES 24010000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 109 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3434116000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

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="DLCround-PT-06a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-06a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542300504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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