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-158897508600473.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-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600473
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:47 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 266K 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 1589167268735

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

Filename model.pnml
Petri model created: 1126 places, 1124 transitions, 2618 arcs.
AT ITER 0 NEW BEST:: SOT 683316 SOS 108690 HAS SOPS 108690 HAS SOUS 98757 HAS SOUPS 98757 WITH SCORE 98865.69
AT ITER 6 NEW BEST:: SOT 683138 SOS 108423 HAS SOPS 108423 HAS SOUS 98490 HAS SOUPS 98490 WITH SCORE 98598.423
AT ITER 68 NEW BEST:: SOT 683136 SOS 108421 HAS SOPS 108421 HAS SOUS 98488 HAS SOUPS 98488 WITH SCORE 98596.421
AT ITER 90 NEW BEST:: SOT 683141 SOS 108375 HAS SOPS 108375 HAS SOUS 98442 HAS SOUPS 98442 WITH SCORE 98550.375
AT ITER 108 NEW BEST:: SOT 683155 SOS 108378 HAS SOPS 108378 HAS SOUS 98361 HAS SOUPS 98361 WITH SCORE 98469.378
AT ITER 123 NEW BEST:: SOT 683155 SOS 108377 HAS SOPS 108377 HAS SOUS 98360 HAS SOUPS 98360 WITH SCORE 98468.377
AT ITER 134 NEW BEST:: SOT 683126 SOS 108145 HAS SOPS 108145 HAS SOUS 98246 HAS SOUPS 98246 WITH SCORE 98354.145
AT ITER 143 NEW BEST:: SOT 683059 SOS 108011 HAS SOPS 108011 HAS SOUS 98246 HAS SOUPS 98246 WITH SCORE 98354.011
AT ITER 154 NEW BEST:: SOT 682969 SOS 107989 HAS SOPS 107989 HAS SOUS 98224 HAS SOUPS 98224 WITH SCORE 98331.989
AT ITER 186 NEW BEST:: SOT 682968 SOS 107987 HAS SOPS 107987 HAS SOUS 98222 HAS SOUPS 98222 WITH SCORE 98329.987
AT ITER 302 NEW BEST:: SOT 682951 SOS 108014 HAS SOPS 108014 HAS SOUS 98218 HAS SOUPS 98218 WITH SCORE 98326.014
AT ITER 314 NEW BEST:: SOT 682977 SOS 107961 HAS SOPS 107961 HAS SOUS 98217 HAS SOUPS 98217 WITH SCORE 98324.961
AT ITER 318 NEW BEST:: SOT 682935 SOS 107876 HAS SOPS 107876 HAS SOUS 98079 HAS SOUPS 98079 WITH SCORE 98186.876
AT ITER 325 NEW BEST:: SOT 682939 SOS 107858 HAS SOPS 107858 HAS SOUS 98061 HAS SOUPS 98061 WITH SCORE 98168.858
AT ITER 326 NEW BEST:: SOT 682806 SOS 107787 HAS SOPS 107787 HAS SOUS 97894 HAS SOUPS 97894 WITH SCORE 98001.787
AT ITER 347 NEW BEST:: SOT 682783 SOS 107783 HAS SOPS 107783 HAS SOUS 97894 HAS SOUPS 97894 WITH SCORE 98001.783
AT ITER 348 NEW BEST:: SOT 682783 SOS 107782 HAS SOPS 107782 HAS SOUS 97893 HAS SOUPS 97893 WITH SCORE 98000.782
AT ITER 349 NEW BEST:: SOT 682715 SOS 107714 HAS SOPS 107714 HAS SOUS 97825 HAS SOUPS 97825 WITH SCORE 97932.714
AT ITER 375 NEW BEST:: SOT 682731 SOS 107619 HAS SOPS 107619 HAS SOUS 97771 HAS SOUPS 97771 WITH SCORE 97878.619
AT ITER 389 NEW BEST:: SOT 682713 SOS 107565 HAS SOPS 107565 HAS SOUS 97735 HAS SOUPS 97735 WITH SCORE 97842.565
AT ITER 407 NEW BEST:: SOT 682669 SOS 107543 HAS SOPS 107543 HAS SOUS 97691 HAS SOUPS 97691 WITH SCORE 97798.543
AT ITER 413 NEW BEST:: SOT 682579 SOS 107507 HAS SOPS 107507 HAS SOUS 97601 HAS SOUPS 97601 WITH SCORE 97708.507
AT ITER 419 NEW BEST:: SOT 682579 SOS 107493 HAS SOPS 107493 HAS SOUS 97587 HAS SOUPS 97587 WITH SCORE 97694.493
AT ITER 421 NEW BEST:: SOT 682506 SOS 107475 HAS SOPS 107475 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97620.475
AT ITER 430 NEW BEST:: SOT 682506 SOS 107465 HAS SOPS 107465 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97620.465
AT ITER 437 NEW BEST:: SOT 682487 SOS 107464 HAS SOPS 107464 HAS SOUS 97512 HAS SOUPS 97512 WITH SCORE 97619.464
AT ITER 459 NEW BEST:: SOT 682391 SOS 107272 HAS SOPS 107272 HAS SOUS 97415 HAS SOUPS 97415 WITH SCORE 97522.272
AT ITER 493 NEW BEST:: SOT 682240 SOS 106915 HAS SOPS 106915 HAS SOUS 97292 HAS SOUPS 97292 WITH SCORE 97398.915
AT ITER 504 NEW BEST:: SOT 682012 SOS 106578 HAS SOPS 106578 HAS SOUS 97039 HAS SOUPS 97039 WITH SCORE 97145.578
AT ITER 524 NEW BEST:: SOT 682002 SOS 106578 HAS SOPS 106578 HAS SOUS 97029 HAS SOUPS 97029 WITH SCORE 97135.578
AT ITER 546 NEW BEST:: SOT 681862 SOS 106298 HAS SOPS 106298 HAS SOUS 96749 HAS SOUPS 96749 WITH SCORE 96855.298
AT ITER 552 NEW BEST:: SOT 681862 SOS 106224 HAS SOPS 106224 HAS SOUS 96675 HAS SOUPS 96675 WITH SCORE 96781.224
AT ITER 575 NEW BEST:: SOT 681844 SOS 106188 HAS SOPS 106188 HAS SOUS 96639 HAS SOUPS 96639 WITH SCORE 96745.188
AT ITER 596 NEW BEST:: SOT 681844 SOS 106186 HAS SOPS 106186 HAS SOUS 96637 HAS SOUPS 96637 WITH SCORE 96743.186
AT ITER 598 NEW BEST:: SOT 681761 SOS 106106 HAS SOPS 106106 HAS SOUS 96554 HAS SOUPS 96554 WITH SCORE 96660.106
AT ITER 623 NEW BEST:: SOT 681703 SOS 106080 HAS SOPS 106080 HAS SOUS 96466 HAS SOUPS 96466 WITH SCORE 96572.08
AT ITER 666 NEW BEST:: SOT 681665 SOS 106138 HAS SOPS 106138 HAS SOUS 96428 HAS SOUPS 96428 WITH SCORE 96534.138
AT ITER 688 NEW BEST:: SOT 681665 SOS 106083 HAS SOPS 106083 HAS SOUS 96373 HAS SOUPS 96373 WITH SCORE 96479.083
AT ITER 693 NEW BEST:: SOT 681606 SOS 106024 HAS SOPS 106024 HAS SOUS 96314 HAS SOUPS 96314 WITH SCORE 96420.024
AT ITER 694 NEW BEST:: SOT 681623 SOS 105877 HAS SOPS 105877 HAS SOUS 96264 HAS SOUPS 96264 WITH SCORE 96369.877
AT ITER 721 NEW BEST:: SOT 681549 SOS 105729 HAS SOPS 105729 HAS SOUS 96034 HAS SOUPS 96034 WITH SCORE 96139.729
AT ITER 724 NEW BEST:: SOT 681556 SOS 105722 HAS SOPS 105722 HAS SOUS 96034 HAS SOUPS 96034 WITH SCORE 96139.722
AT ITER 776 NEW BEST:: SOT 681500 SOS 105601 HAS SOPS 105601 HAS SOUS 96003 HAS SOUPS 96003 WITH SCORE 96108.601
AT ITER 794 NEW BEST:: SOT 681386 SOS 105540 HAS SOPS 105540 HAS SOUS 95889 HAS SOUPS 95889 WITH SCORE 95994.54
AT ITER 805 NEW BEST:: SOT 681375 SOS 105480 HAS SOPS 105480 HAS SOUS 95829 HAS SOUPS 95829 WITH SCORE 95934.48
AT ITER 815 NEW BEST:: SOT 681375 SOS 105470 HAS SOPS 105470 HAS SOUS 95829 HAS SOUPS 95829 WITH SCORE 95934.47
AT ITER 848 NEW BEST:: SOT 681375 SOS 105470 HAS SOPS 105470 HAS SOUS 95789 HAS SOUPS 95789 WITH SCORE 95894.47
AT ITER 866 NEW BEST:: SOT 681341 SOS 105278 HAS SOPS 105278 HAS SOUS 95721 HAS SOUPS 95721 WITH SCORE 95826.278
AT ITER 867 NEW BEST:: SOT 681226 SOS 105822 HAS SOPS 105822 HAS SOUS 95456 HAS SOUPS 95456 WITH SCORE 95561.822
AT ITER 876 NEW BEST:: SOT 681234 SOS 105768 HAS SOPS 105768 HAS SOUS 95403 HAS SOUPS 95403 WITH SCORE 95508.768
AT ITER 891 NEW BEST:: SOT 681220 SOS 105740 HAS SOPS 105740 HAS SOUS 95389 HAS SOUPS 95389 WITH SCORE 95494.74
AT ITER 914 NEW BEST:: SOT 681110 SOS 105638 HAS SOPS 105638 HAS SOUS 95287 HAS SOUPS 95287 WITH SCORE 95392.638
AT ITER 919 NEW BEST:: SOT 681110 SOS 105621 HAS SOPS 105621 HAS SOUS 95270 HAS SOUPS 95270 WITH SCORE 95375.621
AT ITER 951 NEW BEST:: SOT 681143 SOS 105687 HAS SOPS 105687 HAS SOUS 95258 HAS SOUPS 95258 WITH SCORE 95363.687
AT ITER 967 NEW BEST:: SOT 681122 SOS 105686 HAS SOPS 105686 HAS SOUS 95257 HAS SOUPS 95257 WITH SCORE 95362.686
AT ITER 995 NEW BEST:: SOT 681122 SOS 105606 HAS SOPS 105606 HAS SOUS 95177 HAS SOUPS 95177 WITH SCORE 95282.606
AT ITER 1041 NEW BEST:: SOT 681122 SOS 105614 HAS SOPS 105614 HAS SOUS 95174 HAS SOUPS 95174 WITH SCORE 95279.614
AT ITER 1105 NEW BEST:: SOT 681059 SOS 105656 HAS SOPS 105656 HAS SOUS 95111 HAS SOUPS 95111 WITH SCORE 95216.656
AT ITER 1109 NEW BEST:: SOT 681058 SOS 105655 HAS SOPS 105655 HAS SOUS 95110 HAS SOUPS 95110 WITH SCORE 95215.655
AT ITER 1126 NEW BEST:: SOT 681059 SOS 105600 HAS SOPS 105600 HAS SOUS 95055 HAS SOUPS 95055 WITH SCORE 95160.6
AT ITER 1134 NEW BEST:: SOT 681055 SOS 105556 HAS SOPS 105556 HAS SOUS 95047 HAS SOUPS 95047 WITH SCORE 95152.556
AT ITER 1164 NEW BEST:: SOT 681024 SOS 105525 HAS SOPS 105525 HAS SOUS 95016 HAS SOUPS 95016 WITH SCORE 95121.525
AT ITER 1167 NEW BEST:: SOT 681024 SOS 105502 HAS SOPS 105502 HAS SOUS 94993 HAS SOUPS 94993 WITH SCORE 95098.502
AT ITER 1196 NEW BEST:: SOT 680995 SOS 105526 HAS SOPS 105526 HAS SOUS 94991 HAS SOUPS 94991 WITH SCORE 95096.526
AT ITER 1206 NEW BEST:: SOT 680969 SOS 105474 HAS SOPS 105474 HAS SOUS 94965 HAS SOUPS 94965 WITH SCORE 95070.474
AT ITER 1243 NEW BEST:: SOT 680942 SOS 105420 HAS SOPS 105420 HAS SOUS 94937 HAS SOUPS 94937 WITH SCORE 95042.42
AT ITER 1284 NEW BEST:: SOT 680881 SOS 105227 HAS SOPS 105227 HAS SOUS 94805 HAS SOUPS 94805 WITH SCORE 94910.227
AT ITER 1299 NEW BEST:: SOT 680893 SOS 105141 HAS SOPS 105141 HAS SOUS 94719 HAS SOUPS 94719 WITH SCORE 94824.141
AT ITER 1300 NEW BEST:: SOT 680879 SOS 105113 HAS SOPS 105113 HAS SOUS 94705 HAS SOUPS 94705 WITH SCORE 94810.113
AT ITER 1304 NEW BEST:: SOT 680934 SOS 104999 HAS SOPS 104999 HAS SOUS 94619 HAS SOUPS 94619 WITH SCORE 94723.999
AT ITER 1311 NEW BEST:: SOT 680934 SOS 104962 HAS SOPS 104962 HAS SOUS 94582 HAS SOUPS 94582 WITH SCORE 94686.962
AT ITER 1315 NEW BEST:: SOT 680928 SOS 105103 HAS SOPS 105103 HAS SOUS 94520 HAS SOUPS 94520 WITH SCORE 94625.103
AT ITER 1340 NEW BEST:: SOT 680800 SOS 105021 HAS SOPS 105021 HAS SOUS 94417 HAS SOUPS 94417 WITH SCORE 94522.021
AT ITER 1341 NEW BEST:: SOT 680781 SOS 104983 HAS SOPS 104983 HAS SOUS 94417 HAS SOUPS 94417 WITH SCORE 94521.983
AT ITER 1345 NEW BEST:: SOT 680781 SOS 104963 HAS SOPS 104963 HAS SOUS 94417 HAS SOUPS 94417 WITH SCORE 94521.963
AT ITER 1366 NEW BEST:: SOT 680781 SOS 104926 HAS SOPS 104926 HAS SOUS 94380 HAS SOUPS 94380 WITH SCORE 94484.926
AT ITER 1395 NEW BEST:: SOT 680798 SOS 104872 HAS SOPS 104872 HAS SOUS 94326 HAS SOUPS 94326 WITH SCORE 94430.872
AT ITER 1400 NEW BEST:: SOT 680798 SOS 104868 HAS SOPS 104868 HAS SOUS 94321 HAS SOUPS 94321 WITH SCORE 94425.868
AT ITER 1426 NEW BEST:: SOT 680798 SOS 104826 HAS SOPS 104826 HAS SOUS 94279 HAS SOUPS 94279 WITH SCORE 94383.826
AT ITER 1446 NEW BEST:: SOT 680756 SOS 104663 HAS SOPS 104663 HAS SOUS 94264 HAS SOUPS 94264 WITH SCORE 94368.663
AT ITER 1459 NEW BEST:: SOT 680763 SOS 104677 HAS SOPS 104677 HAS SOUS 94257 HAS SOUPS 94257 WITH SCORE 94361.677
AT ITER 1468 NEW BEST:: SOT 680762 SOS 104676 HAS SOPS 104676 HAS SOUS 94256 HAS SOUPS 94256 WITH SCORE 94360.676
AT ITER 1521 NEW BEST:: SOT 680744 SOS 104640 HAS SOPS 104640 HAS SOUS 94234 HAS SOUPS 94234 WITH SCORE 94338.64
AT ITER 1527 NEW BEST:: SOT 680744 SOS 104640 HAS SOPS 104640 HAS SOUS 94183 HAS SOUPS 94183 WITH SCORE 94287.64
AT ITER 1549 NEW BEST:: SOT 680743 SOS 104635 HAS SOPS 104635 HAS SOUS 94181 HAS SOUPS 94181 WITH SCORE 94285.635
AT ITER 1574 NEW BEST:: SOT 680739 SOS 104627 HAS SOPS 104627 HAS SOUS 94177 HAS SOUPS 94177 WITH SCORE 94281.627
AT ITER 1624 NEW BEST:: SOT 680723 SOS 104595 HAS SOPS 104595 HAS SOUS 94156 HAS SOUPS 94156 WITH SCORE 94260.595
AT ITER 1652 NEW BEST:: SOT 680751 SOS 104471 HAS SOPS 104471 HAS SOUS 94122 HAS SOUPS 94122 WITH SCORE 94226.471
AT ITER 1664 NEW BEST:: SOT 680719 SOS 104239 HAS SOPS 104239 HAS SOUS 94086 HAS SOUPS 94086 WITH SCORE 94190.239
AT ITER 1665 NEW BEST:: SOT 680732 SOS 104136 HAS SOPS 104136 HAS SOUS 94072 HAS SOUPS 94072 WITH SCORE 94176.136
AT ITER 1692 NEW BEST:: SOT 680676 SOS 104024 HAS SOPS 104024 HAS SOUS 94016 HAS SOUPS 94016 WITH SCORE 94120.024
AT ITER 1697 NEW BEST:: SOT 680659 SOS 103990 HAS SOPS 103990 HAS SOUS 94016 HAS SOUPS 94016 WITH SCORE 94119.99
AT ITER 1709 NEW BEST:: SOT 680612 SOS 103960 HAS SOPS 103960 HAS SOUS 93969 HAS SOUPS 93969 WITH SCORE 94072.96
AT ITER 1717 NEW BEST:: SOT 680539 SOS 103814 HAS SOPS 103814 HAS SOUS 93896 HAS SOUPS 93896 WITH SCORE 93999.814
AT ITER 1741 NEW BEST:: SOT 680539 SOS 103716 HAS SOPS 103716 HAS SOUS 93798 HAS SOUPS 93798 WITH SCORE 93901.716
AT ITER 1749 NEW BEST:: SOT 680558 SOS 103735 HAS SOPS 103735 HAS SOUS 93797 HAS SOUPS 93797 WITH SCORE 93900.735
AT ITER 1767 NEW BEST:: SOT 680558 SOS 103708 HAS SOPS 103708 HAS SOUS 93770 HAS SOUPS 93770 WITH SCORE 93873.708
AT ITER 1808 NEW BEST:: SOT 680558 SOS 103670 HAS SOPS 103670 HAS SOUS 93743 HAS SOUPS 93743 WITH SCORE 93846.67
AT ITER 1817 NEW BEST:: SOT 680533 SOS 103717 HAS SOPS 103717 HAS SOUS 93687 HAS SOUPS 93687 WITH SCORE 93790.717
AT ITER 1834 NEW BEST:: SOT 680533 SOS 103691 HAS SOPS 103691 HAS SOUS 93661 HAS SOUPS 93661 WITH SCORE 93764.691
AT ITER 1841 NEW BEST:: SOT 680533 SOS 103690 HAS SOPS 103690 HAS SOUS 93660 HAS SOUPS 93660 WITH SCORE 93763.69
AT ITER 1856 NEW BEST:: SOT 680493 SOS 103628 HAS SOPS 103628 HAS SOUS 93598 HAS SOUPS 93598 WITH SCORE 93701.628
AT ITER 1872 NEW BEST:: SOT 680471 SOS 103646 HAS SOPS 103646 HAS SOUS 93576 HAS SOUPS 93576 WITH SCORE 93679.646
AT ITER 1875 NEW BEST:: SOT 680471 SOS 103637 HAS SOPS 103637 HAS SOUS 93567 HAS SOUPS 93567 WITH SCORE 93670.637
AT ITER 1887 NEW BEST:: SOT 680470 SOS 103636 HAS SOPS 103636 HAS SOUS 93566 HAS SOUPS 93566 WITH SCORE 93669.636
AT ITER 1900 NEW BEST:: SOT 680470 SOS 103607 HAS SOPS 103607 HAS SOUS 93537 HAS SOUPS 93537 WITH SCORE 93640.607
AT ITER 1917 NEW BEST:: SOT 680439 SOS 103583 HAS SOPS 103583 HAS SOUS 93513 HAS SOUPS 93513 WITH SCORE 93616.583
AT ITER 1921 NEW BEST:: SOT 680411 SOS 103555 HAS SOPS 103555 HAS SOUS 93485 HAS SOUPS 93485 WITH SCORE 93588.555
AT ITER 1973 NEW BEST:: SOT 680391 SOS 103572 HAS SOPS 103572 HAS SOUS 93484 HAS SOUPS 93484 WITH SCORE 93587.572
AT ITER 1975 NEW BEST:: SOT 680333 SOS 103388 HAS SOPS 103388 HAS SOUS 93379 HAS SOUPS 93379 WITH SCORE 93482.388
AT ITER 2025 NEW BEST:: SOT 680235 SOS 103284 HAS SOPS 103284 HAS SOUS 93316 HAS SOUPS 93316 WITH SCORE 93419.284
AT ITER 2042 NEW BEST:: SOT 680223 SOS 103242 HAS SOPS 103242 HAS SOUS 93292 HAS SOUPS 93292 WITH SCORE 93395.242
AT ITER 2070 NEW BEST:: SOT 680223 SOS 103178 HAS SOPS 103178 HAS SOUS 93228 HAS SOUPS 93228 WITH SCORE 93331.178
AT ITER 2094 NEW BEST:: SOT 680226 SOS 103166 HAS SOPS 103166 HAS SOUS 93190 HAS SOUPS 93190 WITH SCORE 93293.166
AT ITER 2111 NEW BEST:: SOT 680226 SOS 103166 HAS SOPS 103166 HAS SOUS 93163 HAS SOUPS 93163 WITH SCORE 93266.166
AT ITER 2125 NEW BEST:: SOT 680322 SOS 103145 HAS SOPS 103145 HAS SOUS 93163 HAS SOUPS 93163 WITH SCORE 93266.145
AT ITER 2135 NEW BEST:: SOT 680308 SOS 103131 HAS SOPS 103131 HAS SOUS 93149 HAS SOUPS 93149 WITH SCORE 93252.131
AT ITER 2146 NEW BEST:: SOT 680152 SOS 103028 HAS SOPS 103028 HAS SOUS 92995 HAS SOUPS 92995 WITH SCORE 93098.028
AT ITER 2153 NEW BEST:: SOT 680152 SOS 103027 HAS SOPS 103027 HAS SOUS 92994 HAS SOUPS 92994 WITH SCORE 93097.027
AT ITER 2161 NEW BEST:: SOT 680152 SOS 103017 HAS SOPS 103017 HAS SOUS 92984 HAS SOUPS 92984 WITH SCORE 93087.017
AT ITER 2191 NEW BEST:: SOT 680171 SOS 102979 HAS SOPS 102979 HAS SOUS 92984 HAS SOUPS 92984 WITH SCORE 93086.979
AT ITER 2206 NEW BEST:: SOT 680171 SOS 102958 HAS SOPS 102958 HAS SOUS 92963 HAS SOUPS 92963 WITH SCORE 93065.958
AT ITER 2209 NEW BEST:: SOT 680130 SOS 102876 HAS SOPS 102876 HAS SOUS 92921 HAS SOUPS 92921 WITH SCORE 93023.876
AT ITER 2254 NEW BEST:: SOT 680130 SOS 102876 HAS SOPS 102876 HAS SOUS 92920 HAS SOUPS 92920 WITH SCORE 93022.876
AT ITER 2274 NEW BEST:: SOT 680073 SOS 102727 HAS SOPS 102727 HAS SOUS 92841 HAS SOUPS 92841 WITH SCORE 92943.727
AT ITER 2328 NEW BEST:: SOT 680065 SOS 102711 HAS SOPS 102711 HAS SOUS 92832 HAS SOUPS 92832 WITH SCORE 92934.711
AT ITER 2344 NEW BEST:: SOT 680089 SOS 102673 HAS SOPS 102673 HAS SOUS 92831 HAS SOUPS 92831 WITH SCORE 92933.673
AT ITER 2361 NEW BEST:: SOT 680089 SOS 102665 HAS SOPS 102665 HAS SOUS 92823 HAS SOUPS 92823 WITH SCORE 92925.665
AT ITER 2409 NEW BEST:: SOT 680047 SOS 102616 HAS SOPS 102616 HAS SOUS 92781 HAS SOUPS 92781 WITH SCORE 92883.616
AT ITER 2416 NEW BEST:: SOT 680047 SOS 102575 HAS SOPS 102575 HAS SOUS 92740 HAS SOUPS 92740 WITH SCORE 92842.575
AT ITER 2439 NEW BEST:: SOT 680045 SOS 102569 HAS SOPS 102569 HAS SOUS 92738 HAS SOUPS 92738 WITH SCORE 92840.569
AT ITER 2459 NEW BEST:: SOT 679988 SOS 102493 HAS SOPS 102493 HAS SOUS 92662 HAS SOUPS 92662 WITH SCORE 92764.493
AT ITER 2461 NEW BEST:: SOT 679988 SOS 102492 HAS SOPS 102492 HAS SOUS 92661 HAS SOUPS 92661 WITH SCORE 92763.492
AT ITER 2462 NEW BEST:: SOT 679946 SOS 102466 HAS SOPS 102466 HAS SOUS 92590 HAS SOUPS 92590 WITH SCORE 92692.466
AT ITER 2463 NEW BEST:: SOT 679899 SOS 102285 HAS SOPS 102285 HAS SOUS 92543 HAS SOUPS 92543 WITH SCORE 92645.285
AT ITER 2503 NEW BEST:: SOT 679780 SOS 102047 HAS SOPS 102047 HAS SOUS 92305 HAS SOUPS 92305 WITH SCORE 92407.047
AT ITER 2516 NEW BEST:: SOT 679774 SOS 102041 HAS SOPS 102041 HAS SOUS 92299 HAS SOUPS 92299 WITH SCORE 92401.041
AT ITER 2581 NEW BEST:: SOT 679758 SOS 102009 HAS SOPS 102009 HAS SOUS 92267 HAS SOUPS 92267 WITH SCORE 92369.009
AT ITER 2611 NEW BEST:: SOT 679783 SOS 101960 HAS SOPS 101960 HAS SOUS 92218 HAS SOUPS 92218 WITH SCORE 92319.96
AT ITER 2625 NEW BEST:: SOT 679789 SOS 101840 HAS SOPS 101840 HAS SOUS 92165 HAS SOUPS 92165 WITH SCORE 92266.84
AT ITER 2672 NEW BEST:: SOT 679764 SOS 101790 HAS SOPS 101790 HAS SOUS 92140 HAS SOUPS 92140 WITH SCORE 92241.79
AT ITER 2692 NEW BEST:: SOT 679744 SOS 101730 HAS SOPS 101730 HAS SOUS 92100 HAS SOUPS 92100 WITH SCORE 92201.73
AT ITER 2751 NEW BEST:: SOT 679708 SOS 101635 HAS SOPS 101635 HAS SOUS 92022 HAS SOUPS 92022 WITH SCORE 92123.635
AT ITER 2768 NEW BEST:: SOT 679762 SOS 101743 HAS SOPS 101743 HAS SOUS 92014 HAS SOUPS 92014 WITH SCORE 92115.743
AT ITER 2793 NEW BEST:: SOT 679755 SOS 101729 HAS SOPS 101729 HAS SOUS 91990 HAS SOUPS 91990 WITH SCORE 92091.729
AT ITER 2795 NEW BEST:: SOT 679755 SOS 101657 HAS SOPS 101657 HAS SOUS 91989 HAS SOUPS 91989 WITH SCORE 92090.657
AT ITER 2803 NEW BEST:: SOT 679755 SOS 101640 HAS SOPS 101640 HAS SOUS 91972 HAS SOUPS 91972 WITH SCORE 92073.64
AT ITER 2818 NEW BEST:: SOT 679755 SOS 101618 HAS SOPS 101618 HAS SOUS 91950 HAS SOUPS 91950 WITH SCORE 92051.618
AT ITER 2829 NEW BEST:: SOT 679755 SOS 101570 HAS SOPS 101570 HAS SOUS 91902 HAS SOUPS 91902 WITH SCORE 92003.57
AT ITER 2859 NEW BEST:: SOT 679755 SOS 101569 HAS SOPS 101569 HAS SOUS 91901 HAS SOUPS 91901 WITH SCORE 92002.569
AT ITER 2897 NEW BEST:: SOT 679759 SOS 101569 HAS SOPS 101569 HAS SOUS 91897 HAS SOUPS 91897 WITH SCORE 91998.569
AT ITER 2901 NEW BEST:: SOT 679758 SOS 101566 HAS SOPS 101566 HAS SOUS 91894 HAS SOUPS 91894 WITH SCORE 91995.566
AT ITER 2919 NEW BEST:: SOT 679787 SOS 101526 HAS SOPS 101526 HAS SOUS 91863 HAS SOUPS 91863 WITH SCORE 91964.526
AT ITER 2924 NEW BEST:: SOT 679787 SOS 101526 HAS SOPS 101526 HAS SOUS 91862 HAS SOUPS 91862 WITH SCORE 91963.526
AT ITER 2946 NEW BEST:: SOT 679764 SOS 101480 HAS SOPS 101480 HAS SOUS 91816 HAS SOUPS 91816 WITH SCORE 91917.48
AT ITER 2947 NEW BEST:: SOT 679764 SOS 101475 HAS SOPS 101475 HAS SOUS 91816 HAS SOUPS 91816 WITH SCORE 91917.475
AT ITER 2987 NEW BEST:: SOT 679842 SOS 101631 HAS SOPS 101631 HAS SOUS 91807 HAS SOUPS 91807 WITH SCORE 91908.631
AT ITER 3001 NEW BEST:: SOT 679826 SOS 101599 HAS SOPS 101599 HAS SOUS 91791 HAS SOUPS 91791 WITH SCORE 91892.599
AT ITER 3006 NEW BEST:: SOT 679765 SOS 101477 HAS SOPS 101477 HAS SOUS 91616 HAS SOUPS 91616 WITH SCORE 91717.477
AT ITER 3090 NEW BEST:: SOT 679765 SOS 101477 HAS SOPS 101477 HAS SOUS 91602 HAS SOUPS 91602 WITH SCORE 91703.477
AT ITER 3101 NEW BEST:: SOT 679605 SOS 101267 HAS SOPS 101267 HAS SOUS 91392 HAS SOUPS 91392 WITH SCORE 91493.267
AT ITER 3144 NEW BEST:: SOT 679588 SOS 101233 HAS SOPS 101233 HAS SOUS 91358 HAS SOUPS 91358 WITH SCORE 91459.233
AT ITER 3155 NEW BEST:: SOT 679564 SOS 101185 HAS SOPS 101185 HAS SOUS 91310 HAS SOUPS 91310 WITH SCORE 91411.185
AT ITER 3184 NEW BEST:: SOT 679524 SOS 101145 HAS SOPS 101145 HAS SOUS 91270 HAS SOUPS 91270 WITH SCORE 91371.145
AT ITER 3243 NEW BEST:: SOT 679506 SOS 101144 HAS SOPS 101144 HAS SOUS 91269 HAS SOUPS 91269 WITH SCORE 91370.144
AT ITER 3326 NEW BEST:: SOT 679434 SOS 101077 HAS SOPS 101077 HAS SOUS 91191 HAS SOUPS 91191 WITH SCORE 91292.077
AT ITER 3342 NEW BEST:: SOT 679434 SOS 101054 HAS SOPS 101054 HAS SOUS 91168 HAS SOUPS 91168 WITH SCORE 91269.054
AT ITER 3368 NEW BEST:: SOT 679415 SOS 101100 HAS SOPS 101100 HAS SOUS 91149 HAS SOUPS 91149 WITH SCORE 91250.1
AT ITER 3373 NEW BEST:: SOT 679364 SOS 101020 HAS SOPS 101020 HAS SOUS 91069 HAS SOUPS 91069 WITH SCORE 91170.02
AT ITER 3379 NEW BEST:: SOT 679348 SOS 100491 HAS SOPS 100491 HAS SOUS 91037 HAS SOUPS 91037 WITH SCORE 91137.491
AT ITER 3380 NEW BEST:: SOT 679360 SOS 100515 HAS SOPS 100515 HAS SOUS 91019 HAS SOUPS 91019 WITH SCORE 91119.515
AT ITER 3403 NEW BEST:: SOT 679341 SOS 100537 HAS SOPS 100537 HAS SOUS 91012 HAS SOUPS 91012 WITH SCORE 91112.537
AT ITER 3409 NEW BEST:: SOT 679307 SOS 100510 HAS SOPS 100510 HAS SOUS 90985 HAS SOUPS 90985 WITH SCORE 91085.51
AT ITER 3472 NEW BEST:: SOT 679281 SOS 100458 HAS SOPS 100458 HAS SOUS 90959 HAS SOUPS 90959 WITH SCORE 91059.458
AT ITER 3480 NEW BEST:: SOT 679295 SOS 100416 HAS SOPS 100416 HAS SOUS 90917 HAS SOUPS 90917 WITH SCORE 91017.416
AT ITER 3558 NEW BEST:: SOT 679229 SOS 100284 HAS SOPS 100284 HAS SOUS 90843 HAS SOUPS 90843 WITH SCORE 90943.284
AT ITER 3561 NEW BEST:: SOT 679229 SOS 100280 HAS SOPS 100280 HAS SOUS 90843 HAS SOUPS 90843 WITH SCORE 90943.28
AT ITER 3571 NEW BEST:: SOT 679185 SOS 100245 HAS SOPS 100245 HAS SOUS 90808 HAS SOUPS 90808 WITH SCORE 90908.245
AT ITER 3635 NEW BEST:: SOT 679185 SOS 100224 HAS SOPS 100224 HAS SOUS 90808 HAS SOUPS 90808 WITH SCORE 90908.224
AT ITER 3641 NEW BEST:: SOT 679175 SOS 100408 HAS SOPS 100408 HAS SOUS 90798 HAS SOUPS 90798 WITH SCORE 90898.408
AT ITER 3681 NEW BEST:: SOT 679161 SOS 100380 HAS SOPS 100380 HAS SOUS 90770 HAS SOUPS 90770 WITH SCORE 90870.38
AT ITER 3687 NEW BEST:: SOT 679161 SOS 100312 HAS SOPS 100312 HAS SOUS 90770 HAS SOUPS 90770 WITH SCORE 90870.312
AT ITER 3713 NEW BEST:: SOT 679161 SOS 100364 HAS SOPS 100364 HAS SOUS 90769 HAS SOUPS 90769 WITH SCORE 90869.364
AT ITER 3727 NEW BEST:: SOT 679160 SOS 100363 HAS SOPS 100363 HAS SOUS 90768 HAS SOUPS 90768 WITH SCORE 90868.363
AT ITER 3747 NEW BEST:: SOT 679112 SOS 100225 HAS SOPS 100225 HAS SOUS 90630 HAS SOUPS 90630 WITH SCORE 90730.225
AT ITER 3749 NEW BEST:: SOT 679116 SOS 100185 HAS SOPS 100185 HAS SOUS 90546 HAS SOUPS 90546 WITH SCORE 90646.185
AT ITER 3750 NEW BEST:: SOT 679089 SOS 100131 HAS SOPS 100131 HAS SOUS 90519 HAS SOUPS 90519 WITH SCORE 90619.131
AT ITER 3756 NEW BEST:: SOT 679087 SOS 100129 HAS SOPS 100129 HAS SOUS 90517 HAS SOUPS 90517 WITH SCORE 90617.129
AT ITER 3774 NEW BEST:: SOT 679085 SOS 100121 HAS SOPS 100121 HAS SOUS 90515 HAS SOUPS 90515 WITH SCORE 90615.121
AT ITER 3800 NEW BEST:: SOT 679058 SOS 100067 HAS SOPS 100067 HAS SOUS 90461 HAS SOUPS 90461 WITH SCORE 90561.067
AT ITER 3802 NEW BEST:: SOT 679040 SOS 100117 HAS SOPS 100117 HAS SOUS 90443 HAS SOUPS 90443 WITH SCORE 90543.117
AT ITER 3834 NEW BEST:: SOT 679003 SOS 100043 HAS SOPS 100043 HAS SOUS 90369 HAS SOUPS 90369 WITH SCORE 90469.043
AT ITER 3859 NEW BEST:: SOT 679003 SOS 100042 HAS SOPS 100042 HAS SOUS 90368 HAS SOUPS 90368 WITH SCORE 90468.042
AT ITER 3868 NEW BEST:: SOT 679080 SOS 99871 HAS SOPS 99871 HAS SOUS 90319 HAS SOUPS 90319 WITH SCORE 90418.871
AT ITER 3958 NEW BEST:: SOT 678974 SOS 99659 HAS SOPS 99659 HAS SOUS 90033 HAS SOUPS 90033 WITH SCORE 90132.659
AT ITER 3996 NEW BEST:: SOT 678973 SOS 99657 HAS SOPS 99657 HAS SOUS 90031 HAS SOUPS 90031 WITH SCORE 90130.657
AT ITER 4041 NEW BEST:: SOT 678951 SOS 99635 HAS SOPS 99635 HAS SOUS 90009 HAS SOUPS 90009 WITH SCORE 90108.635
AT ITER 4042 NEW BEST:: SOT 678945 SOS 99568 HAS SOPS 99568 HAS SOUS 89997 HAS SOUPS 89997 WITH SCORE 90096.568
AT ITER 4046 NEW BEST:: SOT 678873 SOS 99521 HAS SOPS 99521 HAS SOUS 89871 HAS SOUPS 89871 WITH SCORE 89970.521
AT ITER 4050 NEW BEST:: SOT 678873 SOS 99509 HAS SOPS 99509 HAS SOUS 89859 HAS SOUPS 89859 WITH SCORE 89958.509
AT ITER 4089 NEW BEST:: SOT 678873 SOS 99432 HAS SOPS 99432 HAS SOUS 89782 HAS SOUPS 89782 WITH SCORE 89881.432
AT ITER 4114 NEW BEST:: SOT 678726 SOS 99138 HAS SOPS 99138 HAS SOUS 89635 HAS SOUPS 89635 WITH SCORE 89734.138
AT ITER 4208 NEW BEST:: SOT 678520 SOS 99043 HAS SOPS 99043 HAS SOUS 89477 HAS SOUPS 89477 WITH SCORE 89576.043
AT ITER 4258 NEW BEST:: SOT 678529 SOS 99012 HAS SOPS 99012 HAS SOUS 89446 HAS SOUPS 89446 WITH SCORE 89545.012
AT ITER 4276 NEW BEST:: SOT 678532 SOS 98964 HAS SOPS 98964 HAS SOUS 89288 HAS SOUPS 89288 WITH SCORE 89386.964
AT ITER 4316 NEW BEST:: SOT 678601 SOS 98910 HAS SOPS 98910 HAS SOUS 89282 HAS SOUPS 89282 WITH SCORE 89380.91
AT ITER 4328 NEW BEST:: SOT 678586 SOS 98904 HAS SOPS 98904 HAS SOUS 89267 HAS SOUPS 89267 WITH SCORE 89365.904
AT ITER 4371 NEW BEST:: SOT 678594 SOS 98920 HAS SOPS 98920 HAS SOUS 89241 HAS SOUPS 89241 WITH SCORE 89339.92
AT ITER 4389 NEW BEST:: SOT 678532 SOS 98844 HAS SOPS 98844 HAS SOUS 89179 HAS SOUPS 89179 WITH SCORE 89277.844
AT ITER 4398 NEW BEST:: SOT 678452 SOS 98764 HAS SOPS 98764 HAS SOUS 89099 HAS SOUPS 89099 WITH SCORE 89197.764
AT ITER 4403 NEW BEST:: SOT 678440 SOS 98728 HAS SOPS 98728 HAS SOUS 89087 HAS SOUPS 89087 WITH SCORE 89185.728
AT ITER 4454 NEW BEST:: SOT 678440 SOS 98717 HAS SOPS 98717 HAS SOUS 89076 HAS SOUPS 89076 WITH SCORE 89174.717
AT ITER 4458 NEW BEST:: SOT 678440 SOS 98716 HAS SOPS 98716 HAS SOUS 89075 HAS SOUPS 89075 WITH SCORE 89173.716
AT ITER 4464 NEW BEST:: SOT 678400 SOS 98676 HAS SOPS 98676 HAS SOUS 89035 HAS SOUPS 89035 WITH SCORE 89133.676
AT ITER 4476 NEW BEST:: SOT 678400 SOS 98591 HAS SOPS 98591 HAS SOUS 88998 HAS SOUPS 88998 WITH SCORE 89096.591
AT ITER 4490 NEW BEST:: SOT 678400 SOS 98530 HAS SOPS 98530 HAS SOUS 88937 HAS SOUPS 88937 WITH SCORE 89035.53
AT ITER 4497 NEW BEST:: SOT 678400 SOS 98528 HAS SOPS 98528 HAS SOUS 88935 HAS SOUPS 88935 WITH SCORE 89033.528
AT ITER 4500 NEW BEST:: SOT 678321 SOS 98574 HAS SOPS 98574 HAS SOUS 88856 HAS SOUPS 88856 WITH SCORE 88954.574
AT ITER 4502 NEW BEST:: SOT 678236 SOS 98404 HAS SOPS 98404 HAS SOUS 88784 HAS SOUPS 88784 WITH SCORE 88882.404
AT ITER 4570 NEW BEST:: SOT 678241 SOS 98382 HAS SOPS 98382 HAS SOUS 88773 HAS SOUPS 88773 WITH SCORE 88871.382
AT ITER 4695 NEW BEST:: SOT 678241 SOS 98362 HAS SOPS 98362 HAS SOUS 88753 HAS SOUPS 88753 WITH SCORE 88851.362
AT ITER 4792 NEW BEST:: SOT 678091 SOS 98039 HAS SOPS 98039 HAS SOUS 88667 HAS SOUPS 88667 WITH SCORE 88765.039
AT ITER 4835 NEW BEST:: SOT 678052 SOS 98025 HAS SOPS 98025 HAS SOUS 88562 HAS SOUPS 88562 WITH SCORE 88660.025
AT ITER 4874 NEW BEST:: SOT 678052 SOS 97851 HAS SOPS 97851 HAS SOUS 88562 HAS SOUPS 88562 WITH SCORE 88659.851
AT ITER 4902 NEW BEST:: SOT 678042 SOS 97831 HAS SOPS 97831 HAS SOUS 88542 HAS SOUPS 88542 WITH SCORE 88639.831
AT ITER 4904 NEW BEST:: SOT 678044 SOS 97813 HAS SOPS 97813 HAS SOUS 88524 HAS SOUPS 88524 WITH SCORE 88621.813
AT ITER 4967 NEW BEST:: SOT 678041 SOS 97703 HAS SOPS 97703 HAS SOUS 88500 HAS SOUPS 88500 WITH SCORE 88597.703
AT ITER 5003 NEW BEST:: SOT 677924 SOS 97804 HAS SOPS 97804 HAS SOUS 88446 HAS SOUPS 88446 WITH SCORE 88543.804
AT ITER 5007 NEW BEST:: SOT 677910 SOS 97776 HAS SOPS 97776 HAS SOUS 88446 HAS SOUPS 88446 WITH SCORE 88543.776
AT ITER 5008 NEW BEST:: SOT 677891 SOS 97738 HAS SOPS 97738 HAS SOUS 88408 HAS SOUPS 88408 WITH SCORE 88505.738
AT ITER 5019 NEW BEST:: SOT 677885 SOS 97729 HAS SOPS 97729 HAS SOUS 88399 HAS SOUPS 88399 WITH SCORE 88496.729
AT ITER 5060 NEW BEST:: SOT 677786 SOS 97531 HAS SOPS 97531 HAS SOUS 88329 HAS SOUPS 88329 WITH SCORE 88426.531
AT ITER 5069 NEW BEST:: SOT 677735 SOS 97504 HAS SOPS 97504 HAS SOUS 88302 HAS SOUPS 88302 WITH SCORE 88399.504
AT ITER 5080 NEW BEST:: SOT 677795 SOS 97503 HAS SOPS 97503 HAS SOUS 88301 HAS SOUPS 88301 WITH SCORE 88398.503
AT ITER 5086 NEW BEST:: SOT 677754 SOS 97477 HAS SOPS 97477 HAS SOUS 88259 HAS SOUPS 88259 WITH SCORE 88356.477
AT ITER 5089 NEW BEST:: SOT 677755 SOS 97466 HAS SOPS 97466 HAS SOUS 88248 HAS SOUPS 88248 WITH SCORE 88345.466
AT ITER 5227 NEW BEST:: SOT 677755 SOS 97444 HAS SOPS 97444 HAS SOUS 88226 HAS SOUPS 88226 WITH SCORE 88323.444
AT ITER 5230 NEW BEST:: SOT 677736 SOS 97425 HAS SOPS 97425 HAS SOUS 88207 HAS SOUPS 88207 WITH SCORE 88304.425
AT ITER 5231 NEW BEST:: SOT 677719 SOS 97408 HAS SOPS 97408 HAS SOUS 88190 HAS SOUPS 88190 WITH SCORE 88287.408
AT ITER 5234 NEW BEST:: SOT 677705 SOS 97380 HAS SOPS 97380 HAS SOUS 88162 HAS SOUPS 88162 WITH SCORE 88259.38
AT ITER 5237 NEW BEST:: SOT 677695 SOS 97345 HAS SOPS 97345 HAS SOUS 88142 HAS SOUPS 88142 WITH SCORE 88239.345
AT ITER 5291 NEW BEST:: SOT 677695 SOS 97311 HAS SOPS 97311 HAS SOUS 88108 HAS SOUPS 88108 WITH SCORE 88205.311
AT ITER 5343 NEW BEST:: SOT 677695 SOS 97309 HAS SOPS 97309 HAS SOUS 88108 HAS SOUPS 88108 WITH SCORE 88205.309
AT ITER 5394 NEW BEST:: SOT 677667 SOS 97386 HAS SOPS 97386 HAS SOUS 88095 HAS SOUPS 88095 WITH SCORE 88192.386
AT ITER 5459 NEW BEST:: SOT 677667 SOS 97376 HAS SOPS 97376 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88182.376
AT ITER 5468 NEW BEST:: SOT 677667 SOS 97362 HAS SOPS 97362 HAS SOUS 88071 HAS SOUPS 88071 WITH SCORE 88168.362
AT ITER 5472 NEW BEST:: SOT 677702 SOS 97310 HAS SOPS 97310 HAS SOUS 88019 HAS SOUPS 88019 WITH SCORE 88116.31
AT ITER 5484 NEW BEST:: SOT 677661 SOS 97257 HAS SOPS 97257 HAS SOUS 87966 HAS SOUPS 87966 WITH SCORE 88063.257
AT ITER 5486 NEW BEST:: SOT 677644 SOS 97247 HAS SOPS 97247 HAS SOUS 87925 HAS SOUPS 87925 WITH SCORE 88022.247
AT ITER 5490 NEW BEST:: SOT 677559 SOS 97207 HAS SOPS 97207 HAS SOUS 87820 HAS SOUPS 87820 WITH SCORE 87917.207
AT ITER 5529 NEW BEST:: SOT 677556 SOS 97201 HAS SOPS 97201 HAS SOUS 87814 HAS SOUPS 87814 WITH SCORE 87911.201
AT ITER 5587 NEW BEST:: SOT 677556 SOS 97135 HAS SOPS 97135 HAS SOUS 87748 HAS SOUPS 87748 WITH SCORE 87845.135
AT ITER 5608 NEW BEST:: SOT 677556 SOS 97113 HAS SOPS 97113 HAS SOUS 87726 HAS SOUPS 87726 WITH SCORE 87823.113
AT ITER 5623 NEW BEST:: SOT 677564 SOS 97094 HAS SOPS 97094 HAS SOUS 87707 HAS SOUPS 87707 WITH SCORE 87804.094
AT ITER 5630 NEW BEST:: SOT 677547 SOS 97077 HAS SOPS 97077 HAS SOUS 87690 HAS SOUPS 87690 WITH SCORE 87787.077
AT ITER 5653 NEW BEST:: SOT 677570 SOS 97076 HAS SOPS 97076 HAS SOUS 87689 HAS SOUPS 87689 WITH SCORE 87786.076
AT ITER 5664 NEW BEST:: SOT 677589 SOS 97074 HAS SOPS 97074 HAS SOUS 87687 HAS SOUPS 87687 WITH SCORE 87784.074
AT ITER 5677 NEW BEST:: SOT 677505 SOS 96906 HAS SOPS 96906 HAS SOUS 87607 HAS SOUPS 87607 WITH SCORE 87703.906
AT ITER 5703 NEW BEST:: SOT 677505 SOS 96894 HAS SOPS 96894 HAS SOUS 87607 HAS SOUPS 87607 WITH SCORE 87703.894
AT ITER 5710 NEW BEST:: SOT 677422 SOS 96803 HAS SOPS 96803 HAS SOUS 87516 HAS SOUPS 87516 WITH SCORE 87612.803
AT ITER 5731 NEW BEST:: SOT 677422 SOS 96766 HAS SOPS 96766 HAS SOUS 87442 HAS SOUPS 87442 WITH SCORE 87538.766
AT ITER 5746 NEW BEST:: SOT 677405 SOS 96840 HAS SOPS 96840 HAS SOUS 87408 HAS SOUPS 87408 WITH SCORE 87504.84
AT ITER 5762 NEW BEST:: SOT 677372 SOS 96774 HAS SOPS 96774 HAS SOUS 87375 HAS SOUPS 87375 WITH SCORE 87471.774
AT ITER 5763 NEW BEST:: SOT 677410 SOS 96657 HAS SOPS 96657 HAS SOUS 87307 HAS SOUPS 87307 WITH SCORE 87403.657
AT ITER 5787 NEW BEST:: SOT 677410 SOS 96615 HAS SOPS 96615 HAS SOUS 87307 HAS SOUPS 87307 WITH SCORE 87403.615
AT ITER 5791 NEW BEST:: SOT 677372 SOS 96609 HAS SOPS 96609 HAS SOUS 87301 HAS SOUPS 87301 WITH SCORE 87397.609
AT ITER 5851 NEW BEST:: SOT 677256 SOS 96551 HAS SOPS 96551 HAS SOUS 87243 HAS SOUPS 87243 WITH SCORE 87339.551
AT ITER 5866 NEW BEST:: SOT 677252 SOS 96543 HAS SOPS 96543 HAS SOUS 87235 HAS SOUPS 87235 WITH SCORE 87331.543
AT ITER 5909 NEW BEST:: SOT 677251 SOS 96541 HAS SOPS 96541 HAS SOUS 87233 HAS SOUPS 87233 WITH SCORE 87329.541
AT ITER 5930 NEW BEST:: SOT 677246 SOS 96536 HAS SOPS 96536 HAS SOUS 87228 HAS SOUPS 87228 WITH SCORE 87324.536
AT ITER 5942 NEW BEST:: SOT 677246 SOS 96521 HAS SOPS 96521 HAS SOUS 87213 HAS SOUPS 87213 WITH SCORE 87309.521
AT ITER 6031 NEW BEST:: SOT 677224 SOS 96466 HAS SOPS 96466 HAS SOUS 87180 HAS SOUPS 87180 WITH SCORE 87276.466
AT ITER 6060 NEW BEST:: SOT 677224 SOS 96446 HAS SOPS 96446 HAS SOUS 87160 HAS SOUPS 87160 WITH SCORE 87256.446
AT ITER 6071 NEW BEST:: SOT 677224 SOS 96439 HAS SOPS 96439 HAS SOUS 87153 HAS SOUPS 87153 WITH SCORE 87249.439
AT ITER 6087 NEW BEST:: SOT 677127 SOS 96437 HAS SOPS 96437 HAS SOUS 87151 HAS SOUPS 87151 WITH SCORE 87247.437
AT ITER 6096 NEW BEST:: SOT 677080 SOS 96343 HAS SOPS 96343 HAS SOUS 87057 HAS SOUPS 87057 WITH SCORE 87153.343
AT ITER 6101 NEW BEST:: SOT 677121 SOS 96425 HAS SOPS 96425 HAS SOUS 87019 HAS SOUPS 87019 WITH SCORE 87115.425
AT ITER 6110 NEW BEST:: SOT 677121 SOS 96423 HAS SOPS 96423 HAS SOUS 87017 HAS SOUPS 87017 WITH SCORE 87113.423
AT ITER 6203 NEW BEST:: SOT 677121 SOS 96413 HAS SOPS 96413 HAS SOUS 87007 HAS SOUPS 87007 WITH SCORE 87103.413
AT ITER 6211 NEW BEST:: SOT 677078 SOS 96370 HAS SOPS 96370 HAS SOUS 87007 HAS SOUPS 87007 WITH SCORE 87103.37
AT ITER 6231 NEW BEST:: SOT 677074 SOS 96362 HAS SOPS 96362 HAS SOUS 86999 HAS SOUPS 86999 WITH SCORE 87095.362
AT ITER 6243 NEW BEST:: SOT 677074 SOS 96356 HAS SOPS 96356 HAS SOUS 86993 HAS SOUPS 86993 WITH SCORE 87089.356
AT ITER 6245 NEW BEST:: SOT 677074 SOS 96355 HAS SOPS 96355 HAS SOUS 86992 HAS SOUPS 86992 WITH SCORE 87088.355
AT ITER 6301 NEW BEST:: SOT 677073 SOS 96275 HAS SOPS 96275 HAS SOUS 86990 HAS SOUPS 86990 WITH SCORE 87086.275
AT ITER 6302 NEW BEST:: SOT 677070 SOS 96081 HAS SOPS 96081 HAS SOUS 86987 HAS SOUPS 86987 WITH SCORE 87083.081
AT ITER 6307 NEW BEST:: SOT 677065 SOS 96076 HAS SOPS 96076 HAS SOUS 86982 HAS SOUPS 86982 WITH SCORE 87078.076
AT ITER 6384 NEW BEST:: SOT 677051 SOS 96048 HAS SOPS 96048 HAS SOUS 86954 HAS SOUPS 86954 WITH SCORE 87050.048
AT ITER 6395 NEW BEST:: SOT 677037 SOS 96020 HAS SOPS 96020 HAS SOUS 86771 HAS SOUPS 86771 WITH SCORE 86867.02
AT ITER 6445 NEW BEST:: SOT 677037 SOS 96054 HAS SOPS 96054 HAS SOUS 86741 HAS SOUPS 86741 WITH SCORE 86837.054
AT ITER 6478 NEW BEST:: SOT 676989 SOS 95958 HAS SOPS 95958 HAS SOUS 86693 HAS SOUPS 86693 WITH SCORE 86788.958
AT ITER 6504 NEW BEST:: SOT 676971 SOS 95938 HAS SOPS 95938 HAS SOUS 86673 HAS SOUPS 86673 WITH SCORE 86768.938
AT ITER 6541 NEW BEST:: SOT 676971 SOS 95889 HAS SOPS 95889 HAS SOUS 86624 HAS SOUPS 86624 WITH SCORE 86719.889
AT ITER 6561 NEW BEST:: SOT 676873 SOS 95891 HAS SOPS 95891 HAS SOUS 86526 HAS SOUPS 86526 WITH SCORE 86621.891
AT ITER 6577 NEW BEST:: SOT 676842 SOS 95829 HAS SOPS 95829 HAS SOUS 86464 HAS SOUPS 86464 WITH SCORE 86559.829
AT ITER 6585 NEW BEST:: SOT 676823 SOS 95819 HAS SOPS 95819 HAS SOUS 86454 HAS SOUPS 86454 WITH SCORE 86549.819
AT ITER 6625 NEW BEST:: SOT 676734 SOS 95730 HAS SOPS 95730 HAS SOUS 86365 HAS SOUPS 86365 WITH SCORE 86460.73
AT ITER 6627 NEW BEST:: SOT 676745 SOS 95752 HAS SOPS 95752 HAS SOUS 86356 HAS SOUPS 86356 WITH SCORE 86451.752
AT ITER 6630 NEW BEST:: SOT 676709 SOS 95488 HAS SOPS 95488 HAS SOUS 86284 HAS SOUPS 86284 WITH SCORE 86379.488
AT ITER 6678 NEW BEST:: SOT 676694 SOS 95473 HAS SOPS 95473 HAS SOUS 86284 HAS SOUPS 86284 WITH SCORE 86379.473
AT ITER 6682 NEW BEST:: SOT 676700 SOS 95485 HAS SOPS 95485 HAS SOUS 86283 HAS SOUPS 86283 WITH SCORE 86378.485
AT ITER 6696 NEW BEST:: SOT 676687 SOS 95523 HAS SOPS 95523 HAS SOUS 86270 HAS SOUPS 86270 WITH SCORE 86365.523
AT ITER 6701 NEW BEST:: SOT 676657 SOS 95493 HAS SOPS 95493 HAS SOUS 86240 HAS SOUPS 86240 WITH SCORE 86335.493
AT ITER 6722 NEW BEST:: SOT 676657 SOS 95501 HAS SOPS 95501 HAS SOUS 86232 HAS SOUPS 86232 WITH SCORE 86327.501
AT ITER 6745 NEW BEST:: SOT 676657 SOS 95468 HAS SOPS 95468 HAS SOUS 86199 HAS SOUPS 86199 WITH SCORE 86294.468
AT ITER 6766 NEW BEST:: SOT 676603 SOS 95414 HAS SOPS 95414 HAS SOUS 86145 HAS SOUPS 86145 WITH SCORE 86240.414
AT ITER 6774 NEW BEST:: SOT 676603 SOS 95396 HAS SOPS 95396 HAS SOUS 86127 HAS SOUPS 86127 WITH SCORE 86222.396
AT ITER 6789 NEW BEST:: SOT 676602 SOS 95395 HAS SOPS 95395 HAS SOUS 86126 HAS SOUPS 86126 WITH SCORE 86221.395
AT ITER 6795 NEW BEST:: SOT 676485 SOS 95218 HAS SOPS 95218 HAS SOUS 85949 HAS SOUPS 85949 WITH SCORE 86044.218
AT ITER 6796 NEW BEST:: SOT 676536 SOS 95216 HAS SOPS 95216 HAS SOUS 85947 HAS SOUPS 85947 WITH SCORE 86042.216
AT ITER 6874 NEW BEST:: SOT 676489 SOS 95122 HAS SOPS 95122 HAS SOUS 85930 HAS SOUPS 85930 WITH SCORE 86025.122
AT ITER 6906 NEW BEST:: SOT 676506 SOS 95085 HAS SOPS 95085 HAS SOUS 85893 HAS SOUPS 85893 WITH SCORE 85988.085
AT ITER 6979 NEW BEST:: SOT 676474 SOS 95050 HAS SOPS 95050 HAS SOUS 85865 HAS SOUPS 85865 WITH SCORE 85960.05
AT ITER 7082 NEW BEST:: SOT 676457 SOS 95016 HAS SOPS 95016 HAS SOUS 85831 HAS SOUPS 85831 WITH SCORE 85926.016
AT ITER 7097 NEW BEST:: SOT 676457 SOS 94958 HAS SOPS 94958 HAS SOUS 85773 HAS SOUPS 85773 WITH SCORE 85867.958
AT ITER 7105 NEW BEST:: SOT 676454 SOS 94976 HAS SOPS 94976 HAS SOUS 85767 HAS SOUPS 85767 WITH SCORE 85861.976
AT ITER 7112 NEW BEST:: SOT 676413 SOS 94956 HAS SOPS 94956 HAS SOUS 85747 HAS SOUPS 85747 WITH SCORE 85841.956
AT ITER 7122 NEW BEST:: SOT 676410 SOS 94953 HAS SOPS 94953 HAS SOUS 85744 HAS SOUPS 85744 WITH SCORE 85838.953
AT ITER 7162 NEW BEST:: SOT 676463 SOS 94919 HAS SOPS 94919 HAS SOUS 85710 HAS SOUPS 85710 WITH SCORE 85804.919
AT ITER 7166 NEW BEST:: SOT 676462 SOS 94918 HAS SOPS 94918 HAS SOUS 85709 HAS SOUPS 85709 WITH SCORE 85803.918
AT ITER 7172 NEW BEST:: SOT 676462 SOS 94897 HAS SOPS 94897 HAS SOUS 85688 HAS SOUPS 85688 WITH SCORE 85782.897
AT ITER 7212 NEW BEST:: SOT 676437 SOS 94786 HAS SOPS 94786 HAS SOUS 85577 HAS SOUPS 85577 WITH SCORE 85671.786
AT ITER 7237 NEW BEST:: SOT 676361 SOS 94710 HAS SOPS 94710 HAS SOUS 85539 HAS SOUPS 85539 WITH SCORE 85633.71
AT ITER 7243 NEW BEST:: SOT 676361 SOS 94704 HAS SOPS 94704 HAS SOUS 85533 HAS SOUPS 85533 WITH SCORE 85627.704
AT ITER 7295 NEW BEST:: SOT 676361 SOS 94703 HAS SOPS 94703 HAS SOUS 85532 HAS SOUPS 85532 WITH SCORE 85626.703
AT ITER 7299 NEW BEST:: SOT 676370 SOS 94721 HAS SOPS 94721 HAS SOUS 85476 HAS SOUPS 85476 WITH SCORE 85570.721
AT ITER 7315 NEW BEST:: SOT 676242 SOS 94624 HAS SOPS 94624 HAS SOUS 85379 HAS SOUPS 85379 WITH SCORE 85473.624
AT ITER 7318 NEW BEST:: SOT 676242 SOS 94632 HAS SOPS 94632 HAS SOUS 85374 HAS SOUPS 85374 WITH SCORE 85468.632
AT ITER 7328 NEW BEST:: SOT 676237 SOS 94627 HAS SOPS 94627 HAS SOUS 85374 HAS SOUPS 85374 WITH SCORE 85468.627
AT ITER 7332 NEW BEST:: SOT 676244 SOS 94597 HAS SOPS 94597 HAS SOUS 85344 HAS SOUPS 85344 WITH SCORE 85438.597
AT ITER 7345 NEW BEST:: SOT 676264 SOS 94637 HAS SOPS 94637 HAS SOUS 85324 HAS SOUPS 85324 WITH SCORE 85418.637
AT ITER 7347 NEW BEST:: SOT 676263 SOS 94635 HAS SOPS 94635 HAS SOUS 85322 HAS SOUPS 85322 WITH SCORE 85416.635
AT ITER 7352 NEW BEST:: SOT 676277 SOS 94663 HAS SOPS 94663 HAS SOUS 85321 HAS SOUPS 85321 WITH SCORE 85415.663
AT ITER 7378 NEW BEST:: SOT 676230 SOS 94569 HAS SOPS 94569 HAS SOUS 85122 HAS SOUPS 85122 WITH SCORE 85216.569
AT ITER 7423 NEW BEST:: SOT 676229 SOS 94567 HAS SOPS 94567 HAS SOUS 85118 HAS SOUPS 85118 WITH SCORE 85212.567
AT ITER 7499 NEW BEST:: SOT 676227 SOS 94563 HAS SOPS 94563 HAS SOUS 85114 HAS SOUPS 85114 WITH SCORE 85208.563
AT ITER 7550 NEW BEST:: SOT 676167 SOS 94443 HAS SOPS 94443 HAS SOUS 84997 HAS SOUPS 84997 WITH SCORE 85091.443
AT ITER 7617 NEW BEST:: SOT 676143 SOS 94429 HAS SOPS 94429 HAS SOUS 84983 HAS SOUPS 84983 WITH SCORE 85077.429
AT ITER 7694 NEW BEST:: SOT 676112 SOS 94428 HAS SOPS 94428 HAS SOUS 84982 HAS SOUPS 84982 WITH SCORE 85076.428
AT ITER 7697 NEW BEST:: SOT 676059 SOS 94322 HAS SOPS 94322 HAS SOUS 84943 HAS SOUPS 84943 WITH SCORE 85037.322
AT ITER 7711 NEW BEST:: SOT 676059 SOS 94266 HAS SOPS 94266 HAS SOUS 84934 HAS SOUPS 84934 WITH SCORE 85028.266
AT ITER 7751 NEW BEST:: SOT 676059 SOS 94266 HAS SOPS 94266 HAS SOUS 84933 HAS SOUPS 84933 WITH SCORE 85027.266
AT ITER 7761 NEW BEST:: SOT 676059 SOS 94232 HAS SOPS 94232 HAS SOUS 84865 HAS SOUPS 84865 WITH SCORE 84959.232
AT ITER 7816 NEW BEST:: SOT 675996 SOS 94192 HAS SOPS 94192 HAS SOUS 84825 HAS SOUPS 84825 WITH SCORE 84919.192
AT ITER 7845 NEW BEST:: SOT 675996 SOS 94184 HAS SOPS 94184 HAS SOUS 84817 HAS SOUPS 84817 WITH SCORE 84911.184
AT ITER 7846 NEW BEST:: SOT 676010 SOS 94146 HAS SOPS 94146 HAS SOUS 84779 HAS SOUPS 84779 WITH SCORE 84873.146
AT ITER 7958 NEW BEST:: SOT 675946 SOS 94005 HAS SOPS 94005 HAS SOUS 84715 HAS SOUPS 84715 WITH SCORE 84809.005
AT ITER 7964 NEW BEST:: SOT 675930 SOS 93973 HAS SOPS 93973 HAS SOUS 84712 HAS SOUPS 84712 WITH SCORE 84805.973
AT ITER 8057 NEW BEST:: SOT 675999 SOS 94051 HAS SOPS 94051 HAS SOUS 84633 HAS SOUPS 84633 WITH SCORE 84727.051
AT ITER 8125 NEW BEST:: SOT 675961 SOS 94017 HAS SOPS 94017 HAS SOUS 84632 HAS SOUPS 84632 WITH SCORE 84726.017
AT ITER 8133 NEW BEST:: SOT 675935 SOS 94017 HAS SOPS 94017 HAS SOUS 84580 HAS SOUPS 84580 WITH SCORE 84674.017
AT ITER 8145 NEW BEST:: SOT 675938 SOS 94005 HAS SOPS 94005 HAS SOUS 84519 HAS SOUPS 84519 WITH SCORE 84613.005
AT ITER 8156 NEW BEST:: SOT 675922 SOS 94005 HAS SOPS 94005 HAS SOUS 84487 HAS SOUPS 84487 WITH SCORE 84581.005
AT ITER 8159 NEW BEST:: SOT 675922 SOS 93968 HAS SOPS 93968 HAS SOUS 84450 HAS SOUPS 84450 WITH SCORE 84543.968
AT ITER 8173 NEW BEST:: SOT 675914 SOS 93952 HAS SOPS 93952 HAS SOUS 84434 HAS SOUPS 84434 WITH SCORE 84527.952
AT ITER 8185 NEW BEST:: SOT 675914 SOS 93952 HAS SOPS 93952 HAS SOUS 84420 HAS SOUPS 84420 WITH SCORE 84513.952
AT ITER 8193 NEW BEST:: SOT 675884 SOS 93918 HAS SOPS 93918 HAS SOUS 84386 HAS SOUPS 84386 WITH SCORE 84479.918
AT ITER 8206 NEW BEST:: SOT 675869 SOS 93903 HAS SOPS 93903 HAS SOUS 84371 HAS SOUPS 84371 WITH SCORE 84464.903
AT ITER 8320 NEW BEST:: SOT 675862 SOS 93889 HAS SOPS 93889 HAS SOUS 84364 HAS SOUPS 84364 WITH SCORE 84457.889
AT ITER 8330 NEW BEST:: SOT 675925 SOS 93942 HAS SOPS 93942 HAS SOUS 84344 HAS SOUPS 84344 WITH SCORE 84437.942
AT ITER 8390 NEW BEST:: SOT 675941 SOS 93898 HAS SOPS 93898 HAS SOUS 84337 HAS SOUPS 84337 WITH SCORE 84430.898
AT ITER 8395 NEW BEST:: SOT 675941 SOS 93887 HAS SOPS 93887 HAS SOUS 84326 HAS SOUPS 84326 WITH SCORE 84419.887
AT ITER 8409 NEW BEST:: SOT 675868 SOS 93741 HAS SOPS 93741 HAS SOUS 84180 HAS SOUPS 84180 WITH SCORE 84273.741
AT ITER 8442 NEW BEST:: SOT 675836 SOS 93771 HAS SOPS 93771 HAS SOUS 84163 HAS SOUPS 84163 WITH SCORE 84256.771
AT ITER 8448 NEW BEST:: SOT 675825 SOS 93715 HAS SOPS 93715 HAS SOUS 84107 HAS SOUPS 84107 WITH SCORE 84200.715
AT ITER 8488 NEW BEST:: SOT 675804 SOS 93673 HAS SOPS 93673 HAS SOUS 84065 HAS SOUPS 84065 WITH SCORE 84158.673
AT ITER 8497 NEW BEST:: SOT 675804 SOS 93667 HAS SOPS 93667 HAS SOUS 84059 HAS SOUPS 84059 WITH SCORE 84152.667
AT ITER 8515 NEW BEST:: SOT 675795 SOS 93649 HAS SOPS 93649 HAS SOUS 84041 HAS SOUPS 84041 WITH SCORE 84134.649
AT ITER 8537 NEW BEST:: SOT 675795 SOS 93588 HAS SOPS 93588 HAS SOUS 83980 HAS SOUPS 83980 WITH SCORE 84073.588
AT ITER 8551 NEW BEST:: SOT 675750 SOS 93578 HAS SOPS 93578 HAS SOUS 83965 HAS SOUPS 83965 WITH SCORE 84058.578
AT ITER 8560 NEW BEST:: SOT 675750 SOS 93578 HAS SOPS 93578 HAS SOUS 83962 HAS SOUPS 83962 WITH SCORE 84055.578
AT ITER 8587 NEW BEST:: SOT 675683 SOS 93467 HAS SOPS 93467 HAS SOUS 83851 HAS SOUPS 83851 WITH SCORE 83944.467
AT ITER 8592 NEW BEST:: SOT 675667 SOS 93584 HAS SOPS 93584 HAS SOUS 83833 HAS SOUPS 83833 WITH SCORE 83926.584
AT ITER 8626 NEW BEST:: SOT 675667 SOS 93583 HAS SOPS 93583 HAS SOUS 83832 HAS SOUPS 83832 WITH SCORE 83925.583
AT ITER 8660 NEW BEST:: SOT 675622 SOS 93493 HAS SOPS 93493 HAS SOUS 83742 HAS SOUPS 83742 WITH SCORE 83835.493
AT ITER 8693 NEW BEST:: SOT 675638 SOS 93492 HAS SOPS 93492 HAS SOUS 83741 HAS SOUPS 83741 WITH SCORE 83834.492
AT ITER 8717 NEW BEST:: SOT 675581 SOS 93378 HAS SOPS 93378 HAS SOUS 83695 HAS SOUPS 83695 WITH SCORE 83788.378
AT ITER 8723 NEW BEST:: SOT 675550 SOS 93314 HAS SOPS 93314 HAS SOUS 83586 HAS SOUPS 83586 WITH SCORE 83679.314
AT ITER 8805 NEW BEST:: SOT 675550 SOS 93314 HAS SOPS 93314 HAS SOUS 83579 HAS SOUPS 83579 WITH SCORE 83672.314
AT ITER 8858 NEW BEST:: SOT 675524 SOS 93262 HAS SOPS 93262 HAS SOUS 83564 HAS SOUPS 83564 WITH SCORE 83657.262
AT ITER 8866 NEW BEST:: SOT 675520 SOS 93288 HAS SOPS 93288 HAS SOUS 83553 HAS SOUPS 83553 WITH SCORE 83646.288
AT ITER 8882 NEW BEST:: SOT 675567 SOS 93278 HAS SOPS 93278 HAS SOUS 83543 HAS SOUPS 83543 WITH SCORE 83636.278
AT ITER 8889 NEW BEST:: SOT 675599 SOS 93258 HAS SOPS 93258 HAS SOUS 83527 HAS SOUPS 83527 WITH SCORE 83620.258
AT ITER 8890 NEW BEST:: SOT 675546 SOS 93186 HAS SOPS 93186 HAS SOUS 83455 HAS SOUPS 83455 WITH SCORE 83548.186
AT ITER 8972 NEW BEST:: SOT 675455 SOS 93082 HAS SOPS 93082 HAS SOUS 83351 HAS SOUPS 83351 WITH SCORE 83444.082
AT ITER 9013 NEW BEST:: SOT 675455 SOS 93081 HAS SOPS 93081 HAS SOUS 83350 HAS SOUPS 83350 WITH SCORE 83443.081
AT ITER 9015 NEW BEST:: SOT 675455 SOS 93048 HAS SOPS 93048 HAS SOUS 83346 HAS SOUPS 83346 WITH SCORE 83439.048
AT ITER 9063 NEW BEST:: SOT 675446 SOS 93039 HAS SOPS 93039 HAS SOUS 83337 HAS SOUPS 83337 WITH SCORE 83430.039
AT ITER 9124 NEW BEST:: SOT 675429 SOS 93022 HAS SOPS 93022 HAS SOUS 83320 HAS SOUPS 83320 WITH SCORE 83413.022
AT ITER 9128 NEW BEST:: SOT 675391 SOS 92946 HAS SOPS 92946 HAS SOUS 83244 HAS SOUPS 83244 WITH SCORE 83336.946
AT ITER 9140 NEW BEST:: SOT 675503 SOS 93060 HAS SOPS 93060 HAS SOUS 83158 HAS SOUPS 83158 WITH SCORE 83251.06
AT ITER 9187 NEW BEST:: SOT 675555 SOS 93050 HAS SOPS 93050 HAS SOUS 83148 HAS SOUPS 83148 WITH SCORE 83241.05
AT ITER 9322 NEW BEST:: SOT 675510 SOS 92958 HAS SOPS 92958 HAS SOUS 83056 HAS SOUPS 83056 WITH SCORE 83148.958
AT ITER 9341 NEW BEST:: SOT 675508 SOS 92951 HAS SOPS 92951 HAS SOUS 83049 HAS SOUPS 83049 WITH SCORE 83141.951
AT ITER 9390 NEW BEST:: SOT 675508 SOS 92946 HAS SOPS 92946 HAS SOUS 83044 HAS SOUPS 83044 WITH SCORE 83136.946
AT ITER 9431 NEW BEST:: SOT 675503 SOS 92941 HAS SOPS 92941 HAS SOUS 83034 HAS SOUPS 83034 WITH SCORE 83126.941
AT ITER 9483 NEW BEST:: SOT 675415 SOS 92667 HAS SOPS 92667 HAS SOUS 82858 HAS SOUPS 82858 WITH SCORE 82950.667
AT ITER 9528 NEW BEST:: SOT 675425 SOS 92667 HAS SOPS 92667 HAS SOUS 82856 HAS SOUPS 82856 WITH SCORE 82948.667
AT ITER 9535 NEW BEST:: SOT 675347 SOS 92621 HAS SOPS 92621 HAS SOUS 82810 HAS SOUPS 82810 WITH SCORE 82902.621
AT ITER 9587 NEW BEST:: SOT 675272 SOS 92464 HAS SOPS 92464 HAS SOUS 82735 HAS SOUPS 82735 WITH SCORE 82827.464
AT ITER 9629 NEW BEST:: SOT 675272 SOS 92457 HAS SOPS 92457 HAS SOUS 82728 HAS SOUPS 82728 WITH SCORE 82820.457
AT ITER 9708 NEW BEST:: SOT 675213 SOS 92339 HAS SOPS 92339 HAS SOUS 82610 HAS SOUPS 82610 WITH SCORE 82702.339
AT ITER 9740 NEW BEST:: SOT 675211 SOS 92337 HAS SOPS 92337 HAS SOUS 82608 HAS SOUPS 82608 WITH SCORE 82700.337
AT ITER 9758 NEW BEST:: SOT 675188 SOS 92291 HAS SOPS 92291 HAS SOUS 82562 HAS SOUPS 82562 WITH SCORE 82654.291
AT ITER 9795 NEW BEST:: SOT 675183 SOS 92281 HAS SOPS 92281 HAS SOUS 82552 HAS SOUPS 82552 WITH SCORE 82644.281
AT ITER 9799 NEW BEST:: SOT 675212 SOS 92206 HAS SOPS 92206 HAS SOUS 82477 HAS SOUPS 82477 WITH SCORE 82569.206
AT ITER 9806 NEW BEST:: SOT 675173 SOS 92190 HAS SOPS 92190 HAS SOUS 82438 HAS SOUPS 82438 WITH SCORE 82530.19
AT ITER 9812 NEW BEST:: SOT 675044 SOS 91899 HAS SOPS 91899 HAS SOUS 82309 HAS SOUPS 82309 WITH SCORE 82400.899
AT ITER 9862 NEW BEST:: SOT 675049 SOS 91909 HAS SOPS 91909 HAS SOUS 82249 HAS SOUPS 82249 WITH SCORE 82340.909
AT ITER 9905 NEW BEST:: SOT 675027 SOS 91904 HAS SOPS 91904 HAS SOUS 82244 HAS SOUPS 82244 WITH SCORE 82335.904
AT ITER 9995 NEW BEST:: SOT 675027 SOS 91901 HAS SOPS 91901 HAS SOUS 82241 HAS SOUPS 82241 WITH SCORE 82332.901

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-12b"
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-12b, 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-158897508600473"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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