fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508500457
Last Updated
Jun 28, 2020

About the Execution of smart for AutoFlight-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.540 3600000.00 3600059.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/fkordon/mcc2020-input.r003-smll-158897508500457.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500457
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 4.1K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 134K 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 1589159841688

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

Filename model.pnml
Petri model created: 574 places, 572 transitions, 1334 arcs.
AT ITER 0 NEW BEST:: SOT 177901 SOS 33567 HAS SOPS 33567 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30783.567
AT ITER 23 NEW BEST:: SOT 177882 SOS 33645 HAS SOPS 33645 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30763.645
AT ITER 25 NEW BEST:: SOT 177882 SOS 33640 HAS SOPS 33640 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30763.64
AT ITER 53 NEW BEST:: SOT 177852 SOS 33628 HAS SOPS 33628 HAS SOUS 30700 HAS SOUPS 30700 WITH SCORE 30733.628
AT ITER 56 NEW BEST:: SOT 177831 SOS 33586 HAS SOPS 33586 HAS SOUS 30658 HAS SOUPS 30658 WITH SCORE 30691.586
AT ITER 124 NEW BEST:: SOT 177831 SOS 33562 HAS SOPS 33562 HAS SOUS 30634 HAS SOUPS 30634 WITH SCORE 30667.562
AT ITER 171 NEW BEST:: SOT 177831 SOS 33532 HAS SOPS 33532 HAS SOUS 30634 HAS SOUPS 30634 WITH SCORE 30667.532
AT ITER 196 NEW BEST:: SOT 177831 SOS 33521 HAS SOPS 33521 HAS SOUS 30623 HAS SOUPS 30623 WITH SCORE 30656.521
AT ITER 206 NEW BEST:: SOT 177831 SOS 33545 HAS SOPS 33545 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30632.545
AT ITER 224 NEW BEST:: SOT 177831 SOS 33535 HAS SOPS 33535 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30632.535
AT ITER 227 NEW BEST:: SOT 177804 SOS 33497 HAS SOPS 33497 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30594.497
AT ITER 282 NEW BEST:: SOT 177721 SOS 33331 HAS SOPS 33331 HAS SOUS 30478 HAS SOUPS 30478 WITH SCORE 30511.331
AT ITER 312 NEW BEST:: SOT 177680 SOS 33308 HAS SOPS 33308 HAS SOUS 30455 HAS SOUPS 30455 WITH SCORE 30488.308
AT ITER 319 NEW BEST:: SOT 177645 SOS 33265 HAS SOPS 33265 HAS SOUS 30412 HAS SOUPS 30412 WITH SCORE 30445.265
AT ITER 336 NEW BEST:: SOT 177639 SOS 33253 HAS SOPS 33253 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30433.253
AT ITER 341 NEW BEST:: SOT 177630 SOS 33244 HAS SOPS 33244 HAS SOUS 30391 HAS SOUPS 30391 WITH SCORE 30424.244
AT ITER 378 NEW BEST:: SOT 177617 SOS 33231 HAS SOPS 33231 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30411.231
AT ITER 384 NEW BEST:: SOT 177627 SOS 33198 HAS SOPS 33198 HAS SOUS 30345 HAS SOUPS 30345 WITH SCORE 30378.198
AT ITER 395 NEW BEST:: SOT 177627 SOS 33182 HAS SOPS 33182 HAS SOUS 30329 HAS SOUPS 30329 WITH SCORE 30362.182
AT ITER 404 NEW BEST:: SOT 177549 SOS 33026 HAS SOPS 33026 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30206.026
AT ITER 429 NEW BEST:: SOT 177549 SOS 33014 HAS SOPS 33014 HAS SOUS 30149 HAS SOUPS 30149 WITH SCORE 30182.014
AT ITER 445 NEW BEST:: SOT 177515 SOS 33009 HAS SOPS 33009 HAS SOUS 30144 HAS SOUPS 30144 WITH SCORE 30177.009
AT ITER 451 NEW BEST:: SOT 177537 SOS 33151 HAS SOPS 33151 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30176.151
AT ITER 453 NEW BEST:: SOT 177537 SOS 33151 HAS SOPS 33151 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30148.151
AT ITER 478 NEW BEST:: SOT 177537 SOS 33143 HAS SOPS 33143 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30140.143
AT ITER 479 NEW BEST:: SOT 177536 SOS 33141 HAS SOPS 33141 HAS SOUS 30105 HAS SOUPS 30105 WITH SCORE 30138.141
AT ITER 490 NEW BEST:: SOT 177513 SOS 33077 HAS SOPS 33077 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30127.077
AT ITER 494 NEW BEST:: SOT 177413 SOS 33017 HAS SOPS 33017 HAS SOUS 29982 HAS SOUPS 29982 WITH SCORE 30015.017
AT ITER 530 NEW BEST:: SOT 177382 SOS 32986 HAS SOPS 32986 HAS SOUS 29951 HAS SOUPS 29951 WITH SCORE 29983.986
AT ITER 540 NEW BEST:: SOT 177382 SOS 32963 HAS SOPS 32963 HAS SOUS 29928 HAS SOUPS 29928 WITH SCORE 29960.963
AT ITER 550 NEW BEST:: SOT 177331 SOS 32839 HAS SOPS 32839 HAS SOUS 29905 HAS SOUPS 29905 WITH SCORE 29937.839
AT ITER 559 NEW BEST:: SOT 177311 SOS 32819 HAS SOPS 32819 HAS SOUS 29885 HAS SOUPS 29885 WITH SCORE 29917.819
AT ITER 598 NEW BEST:: SOT 177337 SOS 32829 HAS SOPS 32829 HAS SOUS 29874 HAS SOUPS 29874 WITH SCORE 29906.829
AT ITER 611 NEW BEST:: SOT 177336 SOS 32810 HAS SOPS 32810 HAS SOUS 29855 HAS SOUPS 29855 WITH SCORE 29887.81
AT ITER 620 NEW BEST:: SOT 177336 SOS 32795 HAS SOPS 32795 HAS SOUS 29840 HAS SOUPS 29840 WITH SCORE 29872.795
AT ITER 629 NEW BEST:: SOT 177275 SOS 32745 HAS SOPS 32745 HAS SOUS 29779 HAS SOUPS 29779 WITH SCORE 29811.745
AT ITER 635 NEW BEST:: SOT 177244 SOS 32681 HAS SOPS 32681 HAS SOUS 29715 HAS SOUPS 29715 WITH SCORE 29747.681
AT ITER 656 NEW BEST:: SOT 177192 SOS 32629 HAS SOPS 32629 HAS SOUS 29663 HAS SOUPS 29663 WITH SCORE 29695.629
AT ITER 672 NEW BEST:: SOT 177197 SOS 32633 HAS SOPS 32633 HAS SOUS 29661 HAS SOUPS 29661 WITH SCORE 29693.633
AT ITER 679 NEW BEST:: SOT 177196 SOS 32631 HAS SOPS 32631 HAS SOUS 29659 HAS SOUPS 29659 WITH SCORE 29691.631
AT ITER 695 NEW BEST:: SOT 177196 SOS 32617 HAS SOPS 32617 HAS SOUS 29645 HAS SOUPS 29645 WITH SCORE 29677.617
AT ITER 702 NEW BEST:: SOT 177194 SOS 32585 HAS SOPS 32585 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29654.585
AT ITER 704 NEW BEST:: SOT 177138 SOS 32585 HAS SOPS 32585 HAS SOUS 29510 HAS SOUPS 29510 WITH SCORE 29542.585
AT ITER 757 NEW BEST:: SOT 177061 SOS 32519 HAS SOPS 32519 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29476.519
AT ITER 763 NEW BEST:: SOT 177061 SOS 32516 HAS SOPS 32516 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29473.516
AT ITER 779 NEW BEST:: SOT 177099 SOS 32307 HAS SOPS 32307 HAS SOUS 29392 HAS SOUPS 29392 WITH SCORE 29424.307
AT ITER 781 NEW BEST:: SOT 177079 SOS 32300 HAS SOPS 32300 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29384.3
AT ITER 795 NEW BEST:: SOT 177067 SOS 32296 HAS SOPS 32296 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29384.296
AT ITER 814 NEW BEST:: SOT 177067 SOS 32286 HAS SOPS 32286 HAS SOUS 29342 HAS SOUPS 29342 WITH SCORE 29374.286
AT ITER 830 NEW BEST:: SOT 177067 SOS 32212 HAS SOPS 32212 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29341.212
AT ITER 853 NEW BEST:: SOT 177027 SOS 32172 HAS SOPS 32172 HAS SOUS 29269 HAS SOUPS 29269 WITH SCORE 29301.172
AT ITER 862 NEW BEST:: SOT 177027 SOS 32172 HAS SOPS 32172 HAS SOUS 29267 HAS SOUPS 29267 WITH SCORE 29299.172
AT ITER 898 NEW BEST:: SOT 177026 SOS 32172 HAS SOPS 32172 HAS SOUS 29266 HAS SOUPS 29266 WITH SCORE 29298.172
AT ITER 901 NEW BEST:: SOT 177026 SOS 32131 HAS SOPS 32131 HAS SOUS 29191 HAS SOUPS 29191 WITH SCORE 29223.131
AT ITER 941 NEW BEST:: SOT 177052 SOS 32079 HAS SOPS 32079 HAS SOUS 29191 HAS SOUPS 29191 WITH SCORE 29223.079
AT ITER 946 NEW BEST:: SOT 177052 SOS 32079 HAS SOPS 32079 HAS SOUS 29171 HAS SOUPS 29171 WITH SCORE 29203.079
AT ITER 951 NEW BEST:: SOT 177035 SOS 32037 HAS SOPS 32037 HAS SOUS 29129 HAS SOUPS 29129 WITH SCORE 29161.037
AT ITER 964 NEW BEST:: SOT 177035 SOS 32026 HAS SOPS 32026 HAS SOUS 29129 HAS SOUPS 29129 WITH SCORE 29161.026
AT ITER 975 NEW BEST:: SOT 177009 SOS 31974 HAS SOPS 31974 HAS SOUS 29098 HAS SOUPS 29098 WITH SCORE 29129.974
AT ITER 1011 NEW BEST:: SOT 177009 SOS 31956 HAS SOPS 31956 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29111.956
AT ITER 1023 NEW BEST:: SOT 177017 SOS 31953 HAS SOPS 31953 HAS SOUS 29077 HAS SOUPS 29077 WITH SCORE 29108.953
AT ITER 1056 NEW BEST:: SOT 177017 SOS 31952 HAS SOPS 31952 HAS SOUS 29076 HAS SOUPS 29076 WITH SCORE 29107.952
AT ITER 1103 NEW BEST:: SOT 176974 SOS 31919 HAS SOPS 31919 HAS SOUS 28993 HAS SOUPS 28993 WITH SCORE 29024.919
AT ITER 1109 NEW BEST:: SOT 176967 SOS 31905 HAS SOPS 31905 HAS SOUS 28979 HAS SOUPS 28979 WITH SCORE 29010.905
AT ITER 1121 NEW BEST:: SOT 176917 SOS 31754 HAS SOPS 31754 HAS SOUS 28873 HAS SOUPS 28873 WITH SCORE 28904.754
AT ITER 1126 NEW BEST:: SOT 176909 SOS 31725 HAS SOPS 31725 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28875.725
AT ITER 1131 NEW BEST:: SOT 176904 SOS 31720 HAS SOPS 31720 HAS SOUS 28839 HAS SOUPS 28839 WITH SCORE 28870.72
AT ITER 1144 NEW BEST:: SOT 176930 SOS 31717 HAS SOPS 31717 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28867.717
AT ITER 1151 NEW BEST:: SOT 176910 SOS 31722 HAS SOPS 31722 HAS SOUS 28831 HAS SOUPS 28831 WITH SCORE 28862.722
AT ITER 1153 NEW BEST:: SOT 176902 SOS 31722 HAS SOPS 31722 HAS SOUS 28823 HAS SOUPS 28823 WITH SCORE 28854.722
AT ITER 1158 NEW BEST:: SOT 176939 SOS 31724 HAS SOPS 31724 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28819.724
AT ITER 1161 NEW BEST:: SOT 176939 SOS 31720 HAS SOPS 31720 HAS SOUS 28784 HAS SOUPS 28784 WITH SCORE 28815.72
AT ITER 1195 NEW BEST:: SOT 176870 SOS 31582 HAS SOPS 31582 HAS SOUS 28705 HAS SOUPS 28705 WITH SCORE 28736.582
AT ITER 1226 NEW BEST:: SOT 176870 SOS 31582 HAS SOPS 31582 HAS SOUS 28696 HAS SOUPS 28696 WITH SCORE 28727.582
AT ITER 1230 NEW BEST:: SOT 176836 SOS 31439 HAS SOPS 31439 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28644.439
AT ITER 1244 NEW BEST:: SOT 176833 SOS 31433 HAS SOPS 31433 HAS SOUS 28607 HAS SOUPS 28607 WITH SCORE 28638.433
AT ITER 1246 NEW BEST:: SOT 176833 SOS 31433 HAS SOPS 31433 HAS SOUS 28556 HAS SOUPS 28556 WITH SCORE 28587.433
AT ITER 1305 NEW BEST:: SOT 176815 SOS 31413 HAS SOPS 31413 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28564.413
AT ITER 1326 NEW BEST:: SOT 176815 SOS 31386 HAS SOPS 31386 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28537.386
AT ITER 1334 NEW BEST:: SOT 176815 SOS 31401 HAS SOPS 31401 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28518.401
AT ITER 1363 NEW BEST:: SOT 176805 SOS 31396 HAS SOPS 31396 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28518.396
AT ITER 1364 NEW BEST:: SOT 176805 SOS 31339 HAS SOPS 31339 HAS SOUS 28468 HAS SOUPS 28468 WITH SCORE 28499.339
AT ITER 1374 NEW BEST:: SOT 176739 SOS 31121 HAS SOPS 31121 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28427.121
AT ITER 1421 NEW BEST:: SOT 176732 SOS 31094 HAS SOPS 31094 HAS SOUS 28393 HAS SOUPS 28393 WITH SCORE 28424.094
AT ITER 1427 NEW BEST:: SOT 176732 SOS 31094 HAS SOPS 31094 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28423.094
AT ITER 1444 NEW BEST:: SOT 176732 SOS 31094 HAS SOPS 31094 HAS SOUS 28391 HAS SOUPS 28391 WITH SCORE 28422.094
AT ITER 1469 NEW BEST:: SOT 176706 SOS 31021 HAS SOPS 31021 HAS SOUS 28339 HAS SOUPS 28339 WITH SCORE 28370.021
AT ITER 1484 NEW BEST:: SOT 176706 SOS 31021 HAS SOPS 31021 HAS SOUS 28317 HAS SOUPS 28317 WITH SCORE 28348.021
AT ITER 1508 NEW BEST:: SOT 176697 SOS 31018 HAS SOPS 31018 HAS SOUS 28314 HAS SOUPS 28314 WITH SCORE 28345.018
AT ITER 1522 NEW BEST:: SOT 176697 SOS 31009 HAS SOPS 31009 HAS SOUS 28305 HAS SOUPS 28305 WITH SCORE 28336.009
AT ITER 1525 NEW BEST:: SOT 176690 SOS 30995 HAS SOPS 30995 HAS SOUS 28232 HAS SOUPS 28232 WITH SCORE 28262.995
AT ITER 1547 NEW BEST:: SOT 176664 SOS 30943 HAS SOPS 30943 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28243.943
AT ITER 1566 NEW BEST:: SOT 176661 SOS 30941 HAS SOPS 30941 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28243.941
AT ITER 1567 NEW BEST:: SOT 176661 SOS 30926 HAS SOPS 30926 HAS SOUS 28198 HAS SOUPS 28198 WITH SCORE 28228.926
AT ITER 1571 NEW BEST:: SOT 176661 SOS 30917 HAS SOPS 30917 HAS SOUS 28189 HAS SOUPS 28189 WITH SCORE 28219.917
AT ITER 1576 NEW BEST:: SOT 176661 SOS 30902 HAS SOPS 30902 HAS SOUS 28174 HAS SOUPS 28174 WITH SCORE 28204.902
AT ITER 1637 NEW BEST:: SOT 176675 SOS 30869 HAS SOPS 30869 HAS SOUS 28141 HAS SOUPS 28141 WITH SCORE 28171.869
AT ITER 1645 NEW BEST:: SOT 176657 SOS 31097 HAS SOPS 31097 HAS SOUS 28131 HAS SOUPS 28131 WITH SCORE 28162.097
AT ITER 1652 NEW BEST:: SOT 176593 SOS 31068 HAS SOPS 31068 HAS SOUS 28077 HAS SOUPS 28077 WITH SCORE 28108.068
AT ITER 1675 NEW BEST:: SOT 176593 SOS 31052 HAS SOPS 31052 HAS SOUS 28061 HAS SOUPS 28061 WITH SCORE 28092.052
AT ITER 1678 NEW BEST:: SOT 176551 SOS 31026 HAS SOPS 31026 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28084.026
AT ITER 1697 NEW BEST:: SOT 176530 SOS 30984 HAS SOPS 30984 HAS SOUS 28011 HAS SOUPS 28011 WITH SCORE 28041.984
AT ITER 1723 NEW BEST:: SOT 176513 SOS 30950 HAS SOPS 30950 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28025.95
AT ITER 1735 NEW BEST:: SOT 176552 SOS 30989 HAS SOPS 30989 HAS SOUS 27964 HAS SOUPS 27964 WITH SCORE 27994.989
AT ITER 1766 NEW BEST:: SOT 176552 SOS 30975 HAS SOPS 30975 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27980.975
AT ITER 1772 NEW BEST:: SOT 176552 SOS 30949 HAS SOPS 30949 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27980.949
AT ITER 1804 NEW BEST:: SOT 176549 SOS 30943 HAS SOPS 30943 HAS SOUS 27944 HAS SOUPS 27944 WITH SCORE 27974.943
AT ITER 1885 NEW BEST:: SOT 176549 SOS 30920 HAS SOPS 30920 HAS SOUS 27921 HAS SOUPS 27921 WITH SCORE 27951.92
AT ITER 1888 NEW BEST:: SOT 176536 SOS 30880 HAS SOPS 30880 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27938.88
AT ITER 1892 NEW BEST:: SOT 176536 SOS 30880 HAS SOPS 30880 HAS SOUS 27886 HAS SOUPS 27886 WITH SCORE 27916.88
AT ITER 1910 NEW BEST:: SOT 176489 SOS 30786 HAS SOPS 30786 HAS SOUS 27859 HAS SOUPS 27859 WITH SCORE 27889.786
AT ITER 1912 NEW BEST:: SOT 176447 SOS 30773 HAS SOPS 30773 HAS SOUS 27846 HAS SOUPS 27846 WITH SCORE 27876.773
AT ITER 1923 NEW BEST:: SOT 176467 SOS 30764 HAS SOPS 30764 HAS SOUS 27837 HAS SOUPS 27837 WITH SCORE 27867.764
AT ITER 1933 NEW BEST:: SOT 176458 SOS 30719 HAS SOPS 30719 HAS SOUS 27748 HAS SOUPS 27748 WITH SCORE 27778.719
AT ITER 1940 NEW BEST:: SOT 176428 SOS 30659 HAS SOPS 30659 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27755.659
AT ITER 1961 NEW BEST:: SOT 176428 SOS 30633 HAS SOPS 30633 HAS SOUS 27699 HAS SOUPS 27699 WITH SCORE 27729.633
AT ITER 1969 NEW BEST:: SOT 176408 SOS 30613 HAS SOPS 30613 HAS SOUS 27679 HAS SOUPS 27679 WITH SCORE 27709.613
AT ITER 1978 NEW BEST:: SOT 176422 SOS 30590 HAS SOPS 30590 HAS SOUS 27656 HAS SOUPS 27656 WITH SCORE 27686.59
AT ITER 1980 NEW BEST:: SOT 176445 SOS 30656 HAS SOPS 30656 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27679.656
AT ITER 2042 NEW BEST:: SOT 176438 SOS 30642 HAS SOPS 30642 HAS SOUS 27635 HAS SOUPS 27635 WITH SCORE 27665.642
AT ITER 2092 NEW BEST:: SOT 176432 SOS 30630 HAS SOPS 30630 HAS SOUS 27631 HAS SOUPS 27631 WITH SCORE 27661.63
AT ITER 2097 NEW BEST:: SOT 176429 SOS 30624 HAS SOPS 30624 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27655.624
AT ITER 2118 NEW BEST:: SOT 176435 SOS 30624 HAS SOPS 30624 HAS SOUS 27619 HAS SOUPS 27619 WITH SCORE 27649.624
AT ITER 2135 NEW BEST:: SOT 176412 SOS 30546 HAS SOPS 30546 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27571.546
AT ITER 2155 NEW BEST:: SOT 176412 SOS 30546 HAS SOPS 30546 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27567.546
AT ITER 2162 NEW BEST:: SOT 176389 SOS 30463 HAS SOPS 30463 HAS SOUS 27501 HAS SOUPS 27501 WITH SCORE 27531.463
AT ITER 2190 NEW BEST:: SOT 176389 SOS 30437 HAS SOPS 30437 HAS SOUS 27475 HAS SOUPS 27475 WITH SCORE 27505.437
AT ITER 2210 NEW BEST:: SOT 176389 SOS 30434 HAS SOPS 30434 HAS SOUS 27475 HAS SOUPS 27475 WITH SCORE 27505.434
AT ITER 2225 NEW BEST:: SOT 176371 SOS 30385 HAS SOPS 30385 HAS SOUS 27426 HAS SOUPS 27426 WITH SCORE 27456.385
AT ITER 2236 NEW BEST:: SOT 176260 SOS 30307 HAS SOPS 30307 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27283.307
AT ITER 2242 NEW BEST:: SOT 176259 SOS 30305 HAS SOPS 30305 HAS SOUS 27251 HAS SOUPS 27251 WITH SCORE 27281.305
AT ITER 2262 NEW BEST:: SOT 176233 SOS 30290 HAS SOPS 30290 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27266.29
AT ITER 2273 NEW BEST:: SOT 176224 SOS 30281 HAS SOPS 30281 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27266.281
AT ITER 2283 NEW BEST:: SOT 176254 SOS 30274 HAS SOPS 30274 HAS SOUS 27201 HAS SOUPS 27201 WITH SCORE 27231.274
AT ITER 2328 NEW BEST:: SOT 176232 SOS 30230 HAS SOPS 30230 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27187.23
AT ITER 2381 NEW BEST:: SOT 176233 SOS 30232 HAS SOPS 30232 HAS SOUS 27147 HAS SOUPS 27147 WITH SCORE 27177.232
AT ITER 2384 NEW BEST:: SOT 176203 SOS 30235 HAS SOPS 30235 HAS SOUS 27117 HAS SOUPS 27117 WITH SCORE 27147.235
AT ITER 2418 NEW BEST:: SOT 176203 SOS 30209 HAS SOPS 30209 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27121.209
AT ITER 2422 NEW BEST:: SOT 176249 SOS 30209 HAS SOPS 30209 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27075.209
AT ITER 2437 NEW BEST:: SOT 176229 SOS 30183 HAS SOPS 30183 HAS SOUS 27019 HAS SOUPS 27019 WITH SCORE 27049.183
AT ITER 2462 NEW BEST:: SOT 176229 SOS 30175 HAS SOPS 30175 HAS SOUS 27011 HAS SOUPS 27011 WITH SCORE 27041.175
AT ITER 2518 NEW BEST:: SOT 176229 SOS 30141 HAS SOPS 30141 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27007.141
AT ITER 2537 NEW BEST:: SOT 176229 SOS 30122 HAS SOPS 30122 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27007.122
AT ITER 2549 NEW BEST:: SOT 176210 SOS 30050 HAS SOPS 30050 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 26990.05
AT ITER 2571 NEW BEST:: SOT 176183 SOS 30003 HAS SOPS 30003 HAS SOUS 26940 HAS SOUPS 26940 WITH SCORE 26970.003
AT ITER 2609 NEW BEST:: SOT 176182 SOS 30007 HAS SOPS 30007 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26966.007
AT ITER 2610 NEW BEST:: SOT 176166 SOS 29991 HAS SOPS 29991 HAS SOUS 26920 HAS SOUPS 26920 WITH SCORE 26949.991
AT ITER 2617 NEW BEST:: SOT 176165 SOS 29990 HAS SOPS 29990 HAS SOUS 26919 HAS SOUPS 26919 WITH SCORE 26948.99
AT ITER 2640 NEW BEST:: SOT 176147 SOS 29916 HAS SOPS 29916 HAS SOUS 26902 HAS SOUPS 26902 WITH SCORE 26931.916
AT ITER 2651 NEW BEST:: SOT 176163 SOS 29915 HAS SOPS 29915 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26913.915
AT ITER 2654 NEW BEST:: SOT 176161 SOS 29876 HAS SOPS 29876 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26909.876
AT ITER 2667 NEW BEST:: SOT 176165 SOS 29832 HAS SOPS 29832 HAS SOUS 26836 HAS SOUPS 26836 WITH SCORE 26865.832
AT ITER 2671 NEW BEST:: SOT 176165 SOS 29808 HAS SOPS 29808 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26841.808
AT ITER 2674 NEW BEST:: SOT 176232 SOS 29819 HAS SOPS 29819 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26793.819
AT ITER 2716 NEW BEST:: SOT 176232 SOS 29811 HAS SOPS 29811 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26793.811
AT ITER 2717 NEW BEST:: SOT 176232 SOS 29811 HAS SOPS 29811 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26788.811
AT ITER 2778 NEW BEST:: SOT 176232 SOS 29810 HAS SOPS 29810 HAS SOUS 26758 HAS SOUPS 26758 WITH SCORE 26787.81
AT ITER 2829 NEW BEST:: SOT 176207 SOS 29767 HAS SOPS 29767 HAS SOUS 26718 HAS SOUPS 26718 WITH SCORE 26747.767
AT ITER 2847 NEW BEST:: SOT 176177 SOS 29707 HAS SOPS 29707 HAS SOUS 26658 HAS SOUPS 26658 WITH SCORE 26687.707
AT ITER 2852 NEW BEST:: SOT 176201 SOS 29720 HAS SOPS 29720 HAS SOUS 26653 HAS SOUPS 26653 WITH SCORE 26682.72
AT ITER 2874 NEW BEST:: SOT 176156 SOS 29630 HAS SOPS 29630 HAS SOUS 26563 HAS SOUPS 26563 WITH SCORE 26592.63
AT ITER 2903 NEW BEST:: SOT 176146 SOS 29612 HAS SOPS 29612 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26574.612
AT ITER 3009 NEW BEST:: SOT 176146 SOS 29592 HAS SOPS 29592 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26574.592
AT ITER 3031 NEW BEST:: SOT 176144 SOS 29588 HAS SOPS 29588 HAS SOUS 26541 HAS SOUPS 26541 WITH SCORE 26570.588
AT ITER 3047 NEW BEST:: SOT 176133 SOS 29555 HAS SOPS 29555 HAS SOUS 26508 HAS SOUPS 26508 WITH SCORE 26537.555
AT ITER 3070 NEW BEST:: SOT 176127 SOS 29543 HAS SOPS 29543 HAS SOUS 26490 HAS SOUPS 26490 WITH SCORE 26519.543
AT ITER 3074 NEW BEST:: SOT 176127 SOS 29543 HAS SOPS 29543 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26512.543
AT ITER 3090 NEW BEST:: SOT 176183 SOS 29752 HAS SOPS 29752 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26501.752
AT ITER 3094 NEW BEST:: SOT 176118 SOS 29541 HAS SOPS 29541 HAS SOUS 26374 HAS SOUPS 26374 WITH SCORE 26403.541
AT ITER 3106 NEW BEST:: SOT 176106 SOS 29509 HAS SOPS 29509 HAS SOUS 26342 HAS SOUPS 26342 WITH SCORE 26371.509
AT ITER 3122 NEW BEST:: SOT 176106 SOS 29500 HAS SOPS 29500 HAS SOUS 26333 HAS SOUPS 26333 WITH SCORE 26362.5
AT ITER 3146 NEW BEST:: SOT 176091 SOS 29462 HAS SOPS 29462 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26339.462
AT ITER 3154 NEW BEST:: SOT 176060 SOS 29400 HAS SOPS 29400 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26279.4
AT ITER 3188 NEW BEST:: SOT 176061 SOS 29378 HAS SOPS 29378 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26257.378
AT ITER 3192 NEW BEST:: SOT 176084 SOS 29355 HAS SOPS 29355 HAS SOUS 26205 HAS SOUPS 26205 WITH SCORE 26234.355
AT ITER 3193 NEW BEST:: SOT 176064 SOS 29315 HAS SOPS 29315 HAS SOUS 26185 HAS SOUPS 26185 WITH SCORE 26214.315
AT ITER 3205 NEW BEST:: SOT 176063 SOS 29314 HAS SOPS 29314 HAS SOUS 26184 HAS SOUPS 26184 WITH SCORE 26213.314
AT ITER 3247 NEW BEST:: SOT 176063 SOS 29317 HAS SOPS 29317 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26210.317
AT ITER 3278 NEW BEST:: SOT 176063 SOS 29264 HAS SOPS 29264 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26157.264
AT ITER 3327 NEW BEST:: SOT 176016 SOS 29170 HAS SOPS 29170 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26097.17
AT ITER 3413 NEW BEST:: SOT 176010 SOS 29144 HAS SOPS 29144 HAS SOUS 26048 HAS SOUPS 26048 WITH SCORE 26077.144
AT ITER 3528 NEW BEST:: SOT 176008 SOS 29140 HAS SOPS 29140 HAS SOUS 26044 HAS SOUPS 26044 WITH SCORE 26073.14
AT ITER 3540 NEW BEST:: SOT 176022 SOS 29134 HAS SOPS 29134 HAS SOUS 26038 HAS SOUPS 26038 WITH SCORE 26067.134
AT ITER 3545 NEW BEST:: SOT 176010 SOS 29110 HAS SOPS 29110 HAS SOUS 26014 HAS SOUPS 26014 WITH SCORE 26043.11
AT ITER 3571 NEW BEST:: SOT 175940 SOS 29070 HAS SOPS 29070 HAS SOUS 25974 HAS SOUPS 25974 WITH SCORE 26003.07
AT ITER 3615 NEW BEST:: SOT 175920 SOS 29050 HAS SOPS 29050 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25983.05
AT ITER 3658 NEW BEST:: SOT 175896 SOS 29026 HAS SOPS 29026 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25935.026
AT ITER 3693 NEW BEST:: SOT 175895 SOS 29022 HAS SOPS 29022 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25931.022
AT ITER 3754 NEW BEST:: SOT 175868 SOS 28968 HAS SOPS 28968 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25861.968
AT ITER 3783 NEW BEST:: SOT 175861 SOS 28983 HAS SOPS 28983 HAS SOUS 25826 HAS SOUPS 25826 WITH SCORE 25854.983
AT ITER 3794 NEW BEST:: SOT 175861 SOS 28978 HAS SOPS 28978 HAS SOUS 25816 HAS SOUPS 25816 WITH SCORE 25844.978
AT ITER 3818 NEW BEST:: SOT 175859 SOS 28974 HAS SOPS 28974 HAS SOUS 25800 HAS SOUPS 25800 WITH SCORE 25828.974
AT ITER 3857 NEW BEST:: SOT 175861 SOS 28968 HAS SOPS 28968 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25822.968
AT ITER 3904 NEW BEST:: SOT 175852 SOS 28964 HAS SOPS 28964 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 25811.964
AT ITER 3963 NEW BEST:: SOT 175863 SOS 28957 HAS SOPS 28957 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25804.957
AT ITER 3975 NEW BEST:: SOT 175863 SOS 28951 HAS SOPS 28951 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25798.951
AT ITER 3992 NEW BEST:: SOT 175860 SOS 28942 HAS SOPS 28942 HAS SOUS 25761 HAS SOUPS 25761 WITH SCORE 25789.942
AT ITER 4007 NEW BEST:: SOT 175907 SOS 29036 HAS SOPS 29036 HAS SOUS 25747 HAS SOUPS 25747 WITH SCORE 25776.036
AT ITER 4089 NEW BEST:: SOT 175907 SOS 29030 HAS SOPS 29030 HAS SOUS 25741 HAS SOUPS 25741 WITH SCORE 25770.03
AT ITER 4091 NEW BEST:: SOT 175907 SOS 29003 HAS SOPS 29003 HAS SOUS 25714 HAS SOUPS 25714 WITH SCORE 25743.003
AT ITER 4100 NEW BEST:: SOT 175875 SOS 28939 HAS SOPS 28939 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25678.939
AT ITER 4126 NEW BEST:: SOT 175875 SOS 28939 HAS SOPS 28939 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25663.939
AT ITER 4143 NEW BEST:: SOT 175848 SOS 28935 HAS SOPS 28935 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25636.935
AT ITER 4186 NEW BEST:: SOT 175855 SOS 28949 HAS SOPS 28949 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25630.949
AT ITER 4240 NEW BEST:: SOT 175836 SOS 28979 HAS SOPS 28979 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25612.979
AT ITER 4324 NEW BEST:: SOT 175841 SOS 29097 HAS SOPS 29097 HAS SOUS 25573 HAS SOUPS 25573 WITH SCORE 25602.097
AT ITER 4398 NEW BEST:: SOT 175825 SOS 29065 HAS SOPS 29065 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25591.065
AT ITER 4453 NEW BEST:: SOT 175823 SOS 29061 HAS SOPS 29061 HAS SOUS 25558 HAS SOUPS 25558 WITH SCORE 25587.061
AT ITER 4497 NEW BEST:: SOT 175796 SOS 28953 HAS SOPS 28953 HAS SOUS 25531 HAS SOUPS 25531 WITH SCORE 25559.953
AT ITER 4534 NEW BEST:: SOT 175811 SOS 28913 HAS SOPS 28913 HAS SOUS 25491 HAS SOUPS 25491 WITH SCORE 25519.913
AT ITER 4538 NEW BEST:: SOT 175776 SOS 28883 HAS SOPS 28883 HAS SOUS 25454 HAS SOUPS 25454 WITH SCORE 25482.883
AT ITER 4572 NEW BEST:: SOT 175772 SOS 28879 HAS SOPS 28879 HAS SOUS 25450 HAS SOUPS 25450 WITH SCORE 25478.879
AT ITER 4595 NEW BEST:: SOT 175790 SOS 28831 HAS SOPS 28831 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25464.831
AT ITER 4647 NEW BEST:: SOT 175810 SOS 28796 HAS SOPS 28796 HAS SOUS 25432 HAS SOUPS 25432 WITH SCORE 25460.796
AT ITER 4669 NEW BEST:: SOT 175815 SOS 28795 HAS SOPS 28795 HAS SOUS 25419 HAS SOUPS 25419 WITH SCORE 25447.795
AT ITER 4689 NEW BEST:: SOT 175810 SOS 28780 HAS SOPS 28780 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25432.78
AT ITER 4737 NEW BEST:: SOT 175822 SOS 28778 HAS SOPS 28778 HAS SOUS 25402 HAS SOUPS 25402 WITH SCORE 25430.778
AT ITER 4812 NEW BEST:: SOT 175816 SOS 28760 HAS SOPS 28760 HAS SOUS 25390 HAS SOUPS 25390 WITH SCORE 25418.76
AT ITER 4817 NEW BEST:: SOT 175815 SOS 28741 HAS SOPS 28741 HAS SOUS 25371 HAS SOUPS 25371 WITH SCORE 25399.741
AT ITER 4820 NEW BEST:: SOT 175781 SOS 28707 HAS SOPS 28707 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25313.707
AT ITER 4832 NEW BEST:: SOT 175781 SOS 28707 HAS SOPS 28707 HAS SOUS 25269 HAS SOUPS 25269 WITH SCORE 25297.707
AT ITER 4852 NEW BEST:: SOT 175767 SOS 28676 HAS SOPS 28676 HAS SOUS 25238 HAS SOUPS 25238 WITH SCORE 25266.676
AT ITER 4874 NEW BEST:: SOT 175782 SOS 28658 HAS SOPS 28658 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25238.658
AT ITER 4905 NEW BEST:: SOT 175782 SOS 28657 HAS SOPS 28657 HAS SOUS 25209 HAS SOUPS 25209 WITH SCORE 25237.657
AT ITER 4947 NEW BEST:: SOT 175782 SOS 28627 HAS SOPS 28627 HAS SOUS 25197 HAS SOUPS 25197 WITH SCORE 25225.627
AT ITER 4996 NEW BEST:: SOT 175743 SOS 28549 HAS SOPS 28549 HAS SOUS 25119 HAS SOUPS 25119 WITH SCORE 25147.549
AT ITER 5003 NEW BEST:: SOT 175756 SOS 28532 HAS SOPS 28532 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25130.532
AT ITER 5011 NEW BEST:: SOT 175756 SOS 28458 HAS SOPS 28458 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25056.458
AT ITER 5103 NEW BEST:: SOT 175756 SOS 28458 HAS SOPS 28458 HAS SOUS 25026 HAS SOUPS 25026 WITH SCORE 25054.458
AT ITER 5170 NEW BEST:: SOT 175756 SOS 28438 HAS SOPS 28438 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25034.438
AT ITER 5174 NEW BEST:: SOT 175754 SOS 28434 HAS SOPS 28434 HAS SOUS 25002 HAS SOUPS 25002 WITH SCORE 25030.434
AT ITER 5203 NEW BEST:: SOT 175746 SOS 28418 HAS SOPS 28418 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25017.418
AT ITER 5219 NEW BEST:: SOT 175745 SOS 28372 HAS SOPS 28372 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25015.372
AT ITER 5241 NEW BEST:: SOT 175744 SOS 28370 HAS SOPS 28370 HAS SOUS 24985 HAS SOUPS 24985 WITH SCORE 25013.37
AT ITER 5302 NEW BEST:: SOT 175744 SOS 28361 HAS SOPS 28361 HAS SOUS 24976 HAS SOUPS 24976 WITH SCORE 25004.361
AT ITER 5354 NEW BEST:: SOT 175744 SOS 28353 HAS SOPS 28353 HAS SOUS 24968 HAS SOUPS 24968 WITH SCORE 24996.353
AT ITER 5423 NEW BEST:: SOT 175744 SOS 28348 HAS SOPS 28348 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 24991.348
AT ITER 5434 NEW BEST:: SOT 175742 SOS 28281 HAS SOPS 28281 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24980.281
AT ITER 5473 NEW BEST:: SOT 175729 SOS 28363 HAS SOPS 28363 HAS SOUS 24939 HAS SOUPS 24939 WITH SCORE 24967.363
AT ITER 5516 NEW BEST:: SOT 175716 SOS 28337 HAS SOPS 28337 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24955.337
AT ITER 5540 NEW BEST:: SOT 175687 SOS 28325 HAS SOPS 28325 HAS SOUS 24912 HAS SOUPS 24912 WITH SCORE 24940.325
AT ITER 5573 NEW BEST:: SOT 175651 SOS 28263 HAS SOPS 28263 HAS SOUS 24876 HAS SOUPS 24876 WITH SCORE 24904.263
AT ITER 5575 NEW BEST:: SOT 175609 SOS 28190 HAS SOPS 28190 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24844.19
AT ITER 5584 NEW BEST:: SOT 175606 SOS 28187 HAS SOPS 28187 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24841.187
AT ITER 5587 NEW BEST:: SOT 175606 SOS 28185 HAS SOPS 28185 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24841.185
AT ITER 5614 NEW BEST:: SOT 175580 SOS 28221 HAS SOPS 28221 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24772.221
AT ITER 5630 NEW BEST:: SOT 175550 SOS 28161 HAS SOPS 28161 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24742.161
AT ITER 5637 NEW BEST:: SOT 175542 SOS 28109 HAS SOPS 28109 HAS SOUS 24698 HAS SOUPS 24698 WITH SCORE 24726.109
AT ITER 5698 NEW BEST:: SOT 175503 SOS 28017 HAS SOPS 28017 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24635.017
AT ITER 5721 NEW BEST:: SOT 175499 SOS 28013 HAS SOPS 28013 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24634.013
AT ITER 5734 NEW BEST:: SOT 175497 SOS 28009 HAS SOPS 28009 HAS SOUS 24602 HAS SOUPS 24602 WITH SCORE 24630.009
AT ITER 5740 NEW BEST:: SOT 175497 SOS 28006 HAS SOPS 28006 HAS SOUS 24599 HAS SOUPS 24599 WITH SCORE 24627.006
AT ITER 5771 NEW BEST:: SOT 175497 SOS 28003 HAS SOPS 28003 HAS SOUS 24596 HAS SOUPS 24596 WITH SCORE 24624.003
AT ITER 5796 NEW BEST:: SOT 175494 SOS 27991 HAS SOPS 27991 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24614.991
AT ITER 5888 NEW BEST:: SOT 175494 SOS 27973 HAS SOPS 27973 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24605.973
AT ITER 5912 NEW BEST:: SOT 175491 SOS 27897 HAS SOPS 27897 HAS SOUS 24572 HAS SOUPS 24572 WITH SCORE 24599.897
AT ITER 5938 NEW BEST:: SOT 175487 SOS 27889 HAS SOPS 27889 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24579.889
AT ITER 5976 NEW BEST:: SOT 175476 SOS 27876 HAS SOPS 27876 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24566.876
AT ITER 5985 NEW BEST:: SOT 175476 SOS 27875 HAS SOPS 27875 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24564.875
AT ITER 5993 NEW BEST:: SOT 175450 SOS 27959 HAS SOPS 27959 HAS SOUS 24511 HAS SOUPS 24511 WITH SCORE 24538.959
AT ITER 6002 NEW BEST:: SOT 175450 SOS 27937 HAS SOPS 27937 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24494.937
AT ITER 6007 NEW BEST:: SOT 175448 SOS 27986 HAS SOPS 27986 HAS SOUS 24465 HAS SOUPS 24465 WITH SCORE 24492.986
AT ITER 6038 NEW BEST:: SOT 175463 SOS 28016 HAS SOPS 28016 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24490.016
AT ITER 6054 NEW BEST:: SOT 175463 SOS 28016 HAS SOPS 28016 HAS SOUS 24455 HAS SOUPS 24455 WITH SCORE 24483.016
AT ITER 6097 NEW BEST:: SOT 175462 SOS 28014 HAS SOPS 28014 HAS SOUS 24454 HAS SOUPS 24454 WITH SCORE 24482.014
AT ITER 6105 NEW BEST:: SOT 175463 SOS 27988 HAS SOPS 27988 HAS SOUS 24448 HAS SOUPS 24448 WITH SCORE 24475.988
AT ITER 6162 NEW BEST:: SOT 175463 SOS 27984 HAS SOPS 27984 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24471.984
AT ITER 6350 NEW BEST:: SOT 175461 SOS 27939 HAS SOPS 27939 HAS SOUS 24405 HAS SOUPS 24405 WITH SCORE 24432.939
AT ITER 6368 NEW BEST:: SOT 175461 SOS 27909 HAS SOPS 27909 HAS SOUS 24405 HAS SOUPS 24405 WITH SCORE 24432.909
AT ITER 6402 NEW BEST:: SOT 175461 SOS 27909 HAS SOPS 27909 HAS SOUS 24403 HAS SOUPS 24403 WITH SCORE 24430.909
AT ITER 6419 NEW BEST:: SOT 175462 SOS 27908 HAS SOPS 27908 HAS SOUS 24401 HAS SOUPS 24401 WITH SCORE 24428.908
AT ITER 6435 NEW BEST:: SOT 175496 SOS 27976 HAS SOPS 27976 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24398.976
AT ITER 6522 NEW BEST:: SOT 175499 SOS 27965 HAS SOPS 27965 HAS SOUS 24360 HAS SOUPS 24360 WITH SCORE 24387.965
AT ITER 6542 NEW BEST:: SOT 175498 SOS 27964 HAS SOPS 27964 HAS SOUS 24359 HAS SOUPS 24359 WITH SCORE 24386.964
AT ITER 6603 NEW BEST:: SOT 175498 SOS 27955 HAS SOPS 27955 HAS SOUS 24356 HAS SOUPS 24356 WITH SCORE 24383.955
AT ITER 6623 NEW BEST:: SOT 175491 SOS 27931 HAS SOPS 27931 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24382.931
AT ITER 6688 NEW BEST:: SOT 175477 SOS 27918 HAS SOPS 27918 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24369.918
AT ITER 6690 NEW BEST:: SOT 175455 SOS 27852 HAS SOPS 27852 HAS SOUS 24297 HAS SOUPS 24297 WITH SCORE 24324.852
AT ITER 6694 NEW BEST:: SOT 175459 SOS 27831 HAS SOPS 27831 HAS SOUS 24276 HAS SOUPS 24276 WITH SCORE 24303.831
AT ITER 6700 NEW BEST:: SOT 175414 SOS 27784 HAS SOPS 27784 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24256.784
AT ITER 6769 NEW BEST:: SOT 175408 SOS 27745 HAS SOPS 27745 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24215.745
AT ITER 6778 NEW BEST:: SOT 175408 SOS 27501 HAS SOPS 27501 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24215.501
AT ITER 6779 NEW BEST:: SOT 175395 SOS 27472 HAS SOPS 27472 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24186.472
AT ITER 6845 NEW BEST:: SOT 175398 SOS 27478 HAS SOPS 27478 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24184.478
AT ITER 6864 NEW BEST:: SOT 175390 SOS 27442 HAS SOPS 27442 HAS SOUS 24141 HAS SOUPS 24141 WITH SCORE 24168.442
AT ITER 6896 NEW BEST:: SOT 175387 SOS 27432 HAS SOPS 27432 HAS SOUS 24131 HAS SOUPS 24131 WITH SCORE 24158.432
AT ITER 6927 NEW BEST:: SOT 175388 SOS 27434 HAS SOPS 27434 HAS SOUS 24109 HAS SOUPS 24109 WITH SCORE 24136.434
AT ITER 6956 NEW BEST:: SOT 175391 SOS 27451 HAS SOPS 27451 HAS SOUS 24108 HAS SOUPS 24108 WITH SCORE 24135.451
AT ITER 7041 NEW BEST:: SOT 175338 SOS 27402 HAS SOPS 27402 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24086.402
AT ITER 7067 NEW BEST:: SOT 175338 SOS 27388 HAS SOPS 27388 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24084.388
AT ITER 7070 NEW BEST:: SOT 175338 SOS 27390 HAS SOPS 27390 HAS SOUS 24043 HAS SOUPS 24043 WITH SCORE 24070.39
AT ITER 7075 NEW BEST:: SOT 175336 SOS 27388 HAS SOPS 27388 HAS SOUS 24040 HAS SOUPS 24040 WITH SCORE 24067.388
AT ITER 7108 NEW BEST:: SOT 175335 SOS 27387 HAS SOPS 27387 HAS SOUS 24032 HAS SOUPS 24032 WITH SCORE 24059.387
AT ITER 7151 NEW BEST:: SOT 175317 SOS 27383 HAS SOPS 27383 HAS SOUS 24014 HAS SOUPS 24014 WITH SCORE 24041.383
AT ITER 7156 NEW BEST:: SOT 175296 SOS 27341 HAS SOPS 27341 HAS SOUS 23990 HAS SOUPS 23990 WITH SCORE 24017.341
AT ITER 7176 NEW BEST:: SOT 175296 SOS 27341 HAS SOPS 27341 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24016.341
AT ITER 7195 NEW BEST:: SOT 175293 SOS 27338 HAS SOPS 27338 HAS SOUS 23983 HAS SOUPS 23983 WITH SCORE 24010.338
AT ITER 7284 NEW BEST:: SOT 175293 SOS 27322 HAS SOPS 27322 HAS SOUS 23967 HAS SOUPS 23967 WITH SCORE 23994.322
AT ITER 7297 NEW BEST:: SOT 175293 SOS 27278 HAS SOPS 27278 HAS SOUS 23967 HAS SOUPS 23967 WITH SCORE 23994.278
AT ITER 7306 NEW BEST:: SOT 175288 SOS 27272 HAS SOPS 27272 HAS SOUS 23961 HAS SOUPS 23961 WITH SCORE 23988.272
AT ITER 7320 NEW BEST:: SOT 175276 SOS 27248 HAS SOPS 27248 HAS SOUS 23947 HAS SOUPS 23947 WITH SCORE 23974.248
AT ITER 7336 NEW BEST:: SOT 175266 SOS 27336 HAS SOPS 27336 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23961.336
AT ITER 7343 NEW BEST:: SOT 175266 SOS 27333 HAS SOPS 27333 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23958.333
AT ITER 7350 NEW BEST:: SOT 175266 SOS 27325 HAS SOPS 27325 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23958.325
AT ITER 7412 NEW BEST:: SOT 175234 SOS 27266 HAS SOPS 27266 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23899.266
AT ITER 7421 NEW BEST:: SOT 175234 SOS 27266 HAS SOPS 27266 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23893.266
AT ITER 7424 NEW BEST:: SOT 175230 SOS 27258 HAS SOPS 27258 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23875.258
AT ITER 7431 NEW BEST:: SOT 175203 SOS 27167 HAS SOPS 27167 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23858.167
AT ITER 7438 NEW BEST:: SOT 175205 SOS 27163 HAS SOPS 27163 HAS SOUS 23827 HAS SOUPS 23827 WITH SCORE 23854.163
AT ITER 7467 NEW BEST:: SOT 175205 SOS 27152 HAS SOPS 27152 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23843.152
AT ITER 7489 NEW BEST:: SOT 175121 SOS 27106 HAS SOPS 27106 HAS SOUS 23749 HAS SOUPS 23749 WITH SCORE 23776.106
AT ITER 7526 NEW BEST:: SOT 175115 SOS 27098 HAS SOPS 27098 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23770.098
AT ITER 7535 NEW BEST:: SOT 175123 SOS 27103 HAS SOPS 27103 HAS SOUS 23739 HAS SOUPS 23739 WITH SCORE 23766.103
AT ITER 7574 NEW BEST:: SOT 175123 SOS 27094 HAS SOPS 27094 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23737.094
AT ITER 7586 NEW BEST:: SOT 175123 SOS 27094 HAS SOPS 27094 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23727.094
AT ITER 7587 NEW BEST:: SOT 175109 SOS 27066 HAS SOPS 27066 HAS SOUS 23695 HAS SOUPS 23695 WITH SCORE 23722.066
AT ITER 7748 NEW BEST:: SOT 175109 SOS 27060 HAS SOPS 27060 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23716.06
AT ITER 7756 NEW BEST:: SOT 175136 SOS 27074 HAS SOPS 27074 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23715.074
AT ITER 7776 NEW BEST:: SOT 175146 SOS 27052 HAS SOPS 27052 HAS SOUS 23666 HAS SOUPS 23666 WITH SCORE 23693.052
AT ITER 7830 NEW BEST:: SOT 175180 SOS 27074 HAS SOPS 27074 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23671.074
AT ITER 7926 NEW BEST:: SOT 175179 SOS 27105 HAS SOPS 27105 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23669.105
AT ITER 8022 NEW BEST:: SOT 175164 SOS 27090 HAS SOPS 27090 HAS SOUS 23637 HAS SOUPS 23637 WITH SCORE 23664.09
AT ITER 8027 NEW BEST:: SOT 175159 SOS 27080 HAS SOPS 27080 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23661.08
AT ITER 8045 NEW BEST:: SOT 175159 SOS 27058 HAS SOPS 27058 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23661.058
AT ITER 8050 NEW BEST:: SOT 175135 SOS 27068 HAS SOPS 27068 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23618.068
AT ITER 8064 NEW BEST:: SOT 175135 SOS 27016 HAS SOPS 27016 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23618.016
AT ITER 8084 NEW BEST:: SOT 175159 SOS 26997 HAS SOPS 26997 HAS SOUS 23554 HAS SOUPS 23554 WITH SCORE 23580.997
AT ITER 8118 NEW BEST:: SOT 175156 SOS 26971 HAS SOPS 26971 HAS SOUS 23528 HAS SOUPS 23528 WITH SCORE 23554.971
AT ITER 8121 NEW BEST:: SOT 175152 SOS 26967 HAS SOPS 26967 HAS SOUS 23524 HAS SOUPS 23524 WITH SCORE 23550.967
AT ITER 8184 NEW BEST:: SOT 175162 SOS 27008 HAS SOPS 27008 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23543.008
AT ITER 8188 NEW BEST:: SOT 175156 SOS 27030 HAS SOPS 27030 HAS SOUS 23514 HAS SOUPS 23514 WITH SCORE 23541.03
AT ITER 8227 NEW BEST:: SOT 175150 SOS 27018 HAS SOPS 27018 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23535.018
AT ITER 8312 NEW BEST:: SOT 175150 SOS 27005 HAS SOPS 27005 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23522.005
AT ITER 8321 NEW BEST:: SOT 175150 SOS 26994 HAS SOPS 26994 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23510.994
AT ITER 8329 NEW BEST:: SOT 175136 SOS 26966 HAS SOPS 26966 HAS SOUS 23456 HAS SOUPS 23456 WITH SCORE 23482.966
AT ITER 8334 NEW BEST:: SOT 175133 SOS 26960 HAS SOPS 26960 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23476.96
AT ITER 8336 NEW BEST:: SOT 175124 SOS 26942 HAS SOPS 26942 HAS SOUS 23441 HAS SOUPS 23441 WITH SCORE 23467.942
AT ITER 8398 NEW BEST:: SOT 175124 SOS 26903 HAS SOPS 26903 HAS SOUS 23428 HAS SOUPS 23428 WITH SCORE 23454.903
AT ITER 8406 NEW BEST:: SOT 175100 SOS 26891 HAS SOPS 26891 HAS SOUS 23416 HAS SOUPS 23416 WITH SCORE 23442.891
AT ITER 8416 NEW BEST:: SOT 175093 SOS 26851 HAS SOPS 26851 HAS SOUS 23409 HAS SOUPS 23409 WITH SCORE 23435.851
AT ITER 8419 NEW BEST:: SOT 175093 SOS 26842 HAS SOPS 26842 HAS SOUS 23400 HAS SOUPS 23400 WITH SCORE 23426.842
AT ITER 8515 NEW BEST:: SOT 175093 SOS 26824 HAS SOPS 26824 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23408.824
AT ITER 8536 NEW BEST:: SOT 175092 SOS 26824 HAS SOPS 26824 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23406.824
AT ITER 8610 NEW BEST:: SOT 175086 SOS 26818 HAS SOPS 26818 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23400.818
AT ITER 8661 NEW BEST:: SOT 175075 SOS 26796 HAS SOPS 26796 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23378.796
AT ITER 8747 NEW BEST:: SOT 174958 SOS 26589 HAS SOPS 26589 HAS SOUS 23206 HAS SOUPS 23206 WITH SCORE 23232.589
AT ITER 8786 NEW BEST:: SOT 174955 SOS 26586 HAS SOPS 26586 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23229.586
AT ITER 8791 NEW BEST:: SOT 174955 SOS 26525 HAS SOPS 26525 HAS SOUS 23202 HAS SOUPS 23202 WITH SCORE 23228.525
AT ITER 8862 NEW BEST:: SOT 174934 SOS 26493 HAS SOPS 26493 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23196.493
AT ITER 8890 NEW BEST:: SOT 174945 SOS 26486 HAS SOPS 26486 HAS SOUS 23152 HAS SOUPS 23152 WITH SCORE 23178.486
AT ITER 8895 NEW BEST:: SOT 174914 SOS 26467 HAS SOPS 26467 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23159.467
AT ITER 8897 NEW BEST:: SOT 174914 SOS 26460 HAS SOPS 26460 HAS SOUS 23126 HAS SOUPS 23126 WITH SCORE 23152.46
AT ITER 8949 NEW BEST:: SOT 174903 SOS 26473 HAS SOPS 26473 HAS SOUS 23123 HAS SOUPS 23123 WITH SCORE 23149.473
AT ITER 9030 NEW BEST:: SOT 174900 SOS 26467 HAS SOPS 26467 HAS SOUS 23117 HAS SOUPS 23117 WITH SCORE 23143.467
AT ITER 9041 NEW BEST:: SOT 174866 SOS 26342 HAS SOPS 26342 HAS SOUS 23049 HAS SOUPS 23049 WITH SCORE 23075.342
AT ITER 9097 NEW BEST:: SOT 174845 SOS 26328 HAS SOPS 26328 HAS SOUS 23049 HAS SOUPS 23049 WITH SCORE 23075.328
AT ITER 9147 NEW BEST:: SOT 174858 SOS 26307 HAS SOPS 26307 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23054.307
AT ITER 9177 NEW BEST:: SOT 174853 SOS 26297 HAS SOPS 26297 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23044.297
AT ITER 9206 NEW BEST:: SOT 174850 SOS 26291 HAS SOPS 26291 HAS SOUS 23009 HAS SOUPS 23009 WITH SCORE 23035.291
AT ITER 9323 NEW BEST:: SOT 174818 SOS 26233 HAS SOPS 26233 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 22986.233
AT ITER 9325 NEW BEST:: SOT 174814 SOS 26225 HAS SOPS 26225 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22978.225
AT ITER 9347 NEW BEST:: SOT 174849 SOS 26269 HAS SOPS 26269 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22966.269
AT ITER 9348 NEW BEST:: SOT 174847 SOS 26265 HAS SOPS 26265 HAS SOUS 22936 HAS SOUPS 22936 WITH SCORE 22962.265
AT ITER 9363 NEW BEST:: SOT 174825 SOS 26257 HAS SOPS 26257 HAS SOUS 22923 HAS SOUPS 22923 WITH SCORE 22949.257
AT ITER 9390 NEW BEST:: SOT 174825 SOS 26232 HAS SOPS 26232 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22940.232
AT ITER 9393 NEW BEST:: SOT 174815 SOS 26236 HAS SOPS 26236 HAS SOUS 22913 HAS SOUPS 22913 WITH SCORE 22939.236
AT ITER 9438 NEW BEST:: SOT 174812 SOS 26232 HAS SOPS 26232 HAS SOUS 22909 HAS SOUPS 22909 WITH SCORE 22935.232
AT ITER 9454 NEW BEST:: SOT 174839 SOS 26244 HAS SOPS 26244 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22934.244
AT ITER 9457 NEW BEST:: SOT 174829 SOS 26218 HAS SOPS 26218 HAS SOUS 22882 HAS SOUPS 22882 WITH SCORE 22908.218
AT ITER 9490 NEW BEST:: SOT 174826 SOS 26251 HAS SOPS 26251 HAS SOUS 22879 HAS SOUPS 22879 WITH SCORE 22905.251
AT ITER 9593 NEW BEST:: SOT 174826 SOS 26251 HAS SOPS 26251 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22899.251
AT ITER 9647 NEW BEST:: SOT 174834 SOS 26247 HAS SOPS 26247 HAS SOUS 22869 HAS SOUPS 22869 WITH SCORE 22895.247
AT ITER 9655 NEW BEST:: SOT 174823 SOS 26225 HAS SOPS 26225 HAS SOUS 22847 HAS SOUPS 22847 WITH SCORE 22873.225
AT ITER 9687 NEW BEST:: SOT 174804 SOS 26199 HAS SOPS 26199 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22847.199
AT ITER 9709 NEW BEST:: SOT 174804 SOS 26168 HAS SOPS 26168 HAS SOUS 22790 HAS SOUPS 22790 WITH SCORE 22816.168
AT ITER 9715 NEW BEST:: SOT 174802 SOS 26149 HAS SOPS 26149 HAS SOUS 22783 HAS SOUPS 22783 WITH SCORE 22809.149
AT ITER 9742 NEW BEST:: SOT 174798 SOS 26141 HAS SOPS 26141 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22792.141
AT ITER 9767 NEW BEST:: SOT 174798 SOS 26139 HAS SOPS 26139 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22790.139
AT ITER 9794 NEW BEST:: SOT 174799 SOS 26141 HAS SOPS 26141 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22789.141
AT ITER 9830 NEW BEST:: SOT 174794 SOS 26131 HAS SOPS 26131 HAS SOUS 22745 HAS SOUPS 22745 WITH SCORE 22771.131
AT ITER 9881 NEW BEST:: SOT 174793 SOS 26130 HAS SOPS 26130 HAS SOUS 22744 HAS SOUPS 22744 WITH SCORE 22770.13
AT ITER 9910 NEW BEST:: SOT 174793 SOS 26130 HAS SOPS 26130 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22754.13
AT ITER 9945 NEW BEST:: SOT 174793 SOS 26110 HAS SOPS 26110 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22734.11

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="AutoFlight-PT-06b"
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 AutoFlight-PT-06b, 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 r003-smll-158897508500457"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-06b.tgz
mv AutoFlight-PT-06b 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 ;