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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.8K Mar 25 23:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 23:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:26 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:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 25 10:42 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 91K 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 1589144984690

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

Filename model.pnml
Petri model created: 390 places, 388 transitions, 906 arcs.
AT ITER 0 NEW BEST:: SOT 82400 SOS 17772 HAS SOPS 17772 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16282.772
AT ITER 10 NEW BEST:: SOT 82397 SOS 17730 HAS SOPS 17730 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16237.73
AT ITER 21 NEW BEST:: SOT 82397 SOS 17725 HAS SOPS 17725 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16232.725
AT ITER 24 NEW BEST:: SOT 82306 SOS 17866 HAS SOPS 17866 HAS SOUS 16213 HAS SOUPS 16213 WITH SCORE 16230.866
AT ITER 29 NEW BEST:: SOT 82281 SOS 17841 HAS SOPS 17841 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16205.841
AT ITER 55 NEW BEST:: SOT 82248 SOS 17866 HAS SOPS 17866 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16133.866
AT ITER 65 NEW BEST:: SOT 82218 SOS 17857 HAS SOPS 17857 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16124.857
AT ITER 81 NEW BEST:: SOT 82217 SOS 17856 HAS SOPS 17856 HAS SOUS 16106 HAS SOUPS 16106 WITH SCORE 16123.856
AT ITER 100 NEW BEST:: SOT 82193 SOS 17832 HAS SOPS 17832 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16099.832
AT ITER 104 NEW BEST:: SOT 82197 SOS 17840 HAS SOPS 17840 HAS SOUS 16057 HAS SOUPS 16057 WITH SCORE 16074.84
AT ITER 117 NEW BEST:: SOT 82110 SOS 17719 HAS SOPS 17719 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 15987.719
AT ITER 126 NEW BEST:: SOT 82096 SOS 17687 HAS SOPS 17687 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15955.687
AT ITER 139 NEW BEST:: SOT 82096 SOS 17665 HAS SOPS 17665 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15933.665
AT ITER 150 NEW BEST:: SOT 82096 SOS 17639 HAS SOPS 17639 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15933.639
AT ITER 174 NEW BEST:: SOT 82122 SOS 17635 HAS SOPS 17635 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15929.635
AT ITER 178 NEW BEST:: SOT 82122 SOS 17615 HAS SOPS 17615 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15909.615
AT ITER 183 NEW BEST:: SOT 82092 SOS 17525 HAS SOPS 17525 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15849.525
AT ITER 198 NEW BEST:: SOT 82099 SOS 17494 HAS SOPS 17494 HAS SOUS 15801 HAS SOUPS 15801 WITH SCORE 15818.494
AT ITER 205 NEW BEST:: SOT 82094 SOS 17489 HAS SOPS 17489 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15813.489
AT ITER 215 NEW BEST:: SOT 82087 SOS 17468 HAS SOPS 17468 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15806.468
AT ITER 216 NEW BEST:: SOT 82087 SOS 17422 HAS SOPS 17422 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15806.422
AT ITER 219 NEW BEST:: SOT 82081 SOS 17413 HAS SOPS 17413 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15797.413
AT ITER 222 NEW BEST:: SOT 82081 SOS 17397 HAS SOPS 17397 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15774.397
AT ITER 224 NEW BEST:: SOT 82065 SOS 17402 HAS SOPS 17402 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15745.402
AT ITER 261 NEW BEST:: SOT 82034 SOS 17364 HAS SOPS 17364 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15707.364
AT ITER 263 NEW BEST:: SOT 82034 SOS 17349 HAS SOPS 17349 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15677.349
AT ITER 264 NEW BEST:: SOT 82031 SOS 17346 HAS SOPS 17346 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15674.346
AT ITER 268 NEW BEST:: SOT 82083 SOS 17331 HAS SOPS 17331 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15652.331
AT ITER 279 NEW BEST:: SOT 82050 SOS 17307 HAS SOPS 17307 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15619.307
AT ITER 315 NEW BEST:: SOT 82045 SOS 17297 HAS SOPS 17297 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15609.297
AT ITER 319 NEW BEST:: SOT 82002 SOS 17273 HAS SOPS 17273 HAS SOUS 15568 HAS SOUPS 15568 WITH SCORE 15585.273
AT ITER 328 NEW BEST:: SOT 81972 SOS 17331 HAS SOPS 17331 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15582.331
AT ITER 341 NEW BEST:: SOT 81983 SOS 17331 HAS SOPS 17331 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15571.331
AT ITER 351 NEW BEST:: SOT 81976 SOS 17282 HAS SOPS 17282 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15557.282
AT ITER 368 NEW BEST:: SOT 81951 SOS 17257 HAS SOPS 17257 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15557.257
AT ITER 410 NEW BEST:: SOT 81951 SOS 17238 HAS SOPS 17238 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15538.238
AT ITER 426 NEW BEST:: SOT 81850 SOS 17512 HAS SOPS 17512 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15535.512
AT ITER 434 NEW BEST:: SOT 81843 SOS 17477 HAS SOPS 17477 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15514.477
AT ITER 435 NEW BEST:: SOT 81828 SOS 17462 HAS SOPS 17462 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15499.462
AT ITER 443 NEW BEST:: SOT 81753 SOS 17312 HAS SOPS 17312 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15409.312
AT ITER 446 NEW BEST:: SOT 81742 SOS 17283 HAS SOPS 17283 HAS SOUS 15345 HAS SOUPS 15345 WITH SCORE 15362.283
AT ITER 468 NEW BEST:: SOT 81741 SOS 17268 HAS SOPS 17268 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15347.268
AT ITER 472 NEW BEST:: SOT 81705 SOS 17166 HAS SOPS 17166 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15245.166
AT ITER 479 NEW BEST:: SOT 81707 SOS 17170 HAS SOPS 17170 HAS SOUS 15181 HAS SOUPS 15181 WITH SCORE 15198.17
AT ITER 485 NEW BEST:: SOT 81707 SOS 17152 HAS SOPS 17152 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15180.152
AT ITER 488 NEW BEST:: SOT 81693 SOS 17120 HAS SOPS 17120 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15148.12
AT ITER 493 NEW BEST:: SOT 81640 SOS 17057 HAS SOPS 17057 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15088.057
AT ITER 502 NEW BEST:: SOT 81639 SOS 17056 HAS SOPS 17056 HAS SOUS 15070 HAS SOUPS 15070 WITH SCORE 15087.056
AT ITER 520 NEW BEST:: SOT 81636 SOS 17050 HAS SOPS 17050 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15081.05
AT ITER 556 NEW BEST:: SOT 81636 SOS 17031 HAS SOPS 17031 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15062.031
AT ITER 568 NEW BEST:: SOT 81622 SOS 17035 HAS SOPS 17035 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15048.035
AT ITER 580 NEW BEST:: SOT 81604 SOS 17115 HAS SOPS 17115 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14963.115
AT ITER 648 NEW BEST:: SOT 81603 SOS 17113 HAS SOPS 17113 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14962.113
AT ITER 704 NEW BEST:: SOT 81590 SOS 17081 HAS SOPS 17081 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14937.081
AT ITER 729 NEW BEST:: SOT 81580 SOS 17074 HAS SOPS 17074 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14936.074
AT ITER 760 NEW BEST:: SOT 81578 SOS 17010 HAS SOPS 17010 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14926.01
AT ITER 773 NEW BEST:: SOT 81556 SOS 16988 HAS SOPS 16988 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14903.988
AT ITER 775 NEW BEST:: SOT 81556 SOS 16988 HAS SOPS 16988 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14869.988
AT ITER 786 NEW BEST:: SOT 81555 SOS 16986 HAS SOPS 16986 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14867.986
AT ITER 788 NEW BEST:: SOT 81531 SOS 16972 HAS SOPS 16972 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14853.972
AT ITER 791 NEW BEST:: SOT 81502 SOS 16869 HAS SOPS 16869 HAS SOUS 14713 HAS SOUPS 14713 WITH SCORE 14729.869
AT ITER 837 NEW BEST:: SOT 81491 SOS 16817 HAS SOPS 16817 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14653.817
AT ITER 844 NEW BEST:: SOT 81491 SOS 16802 HAS SOPS 16802 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14653.802
AT ITER 861 NEW BEST:: SOT 81491 SOS 16797 HAS SOPS 16797 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14643.797
AT ITER 869 NEW BEST:: SOT 81491 SOS 16784 HAS SOPS 16784 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14643.784
AT ITER 873 NEW BEST:: SOT 81418 SOS 16715 HAS SOPS 16715 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14574.715
AT ITER 906 NEW BEST:: SOT 81412 SOS 16703 HAS SOPS 16703 HAS SOUS 14551 HAS SOUPS 14551 WITH SCORE 14567.703
AT ITER 908 NEW BEST:: SOT 81408 SOS 16699 HAS SOPS 16699 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14563.699
AT ITER 917 NEW BEST:: SOT 81391 SOS 16583 HAS SOPS 16583 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14530.583
AT ITER 924 NEW BEST:: SOT 81367 SOS 16535 HAS SOPS 16535 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14472.535
AT ITER 944 NEW BEST:: SOT 81360 SOS 16486 HAS SOPS 16486 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14458.486
AT ITER 986 NEW BEST:: SOT 81356 SOS 16485 HAS SOPS 16485 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14456.485
AT ITER 991 NEW BEST:: SOT 81359 SOS 16491 HAS SOPS 16491 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14425.491
AT ITER 1002 NEW BEST:: SOT 81351 SOS 16526 HAS SOPS 16526 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14417.526
AT ITER 1019 NEW BEST:: SOT 81350 SOS 16524 HAS SOPS 16524 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14415.524
AT ITER 1030 NEW BEST:: SOT 81350 SOS 16521 HAS SOPS 16521 HAS SOUS 14396 HAS SOUPS 14396 WITH SCORE 14412.521
AT ITER 1045 NEW BEST:: SOT 81350 SOS 16511 HAS SOPS 16511 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14402.511
AT ITER 1134 NEW BEST:: SOT 81342 SOS 16507 HAS SOPS 16507 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14394.507
AT ITER 1158 NEW BEST:: SOT 81340 SOS 16446 HAS SOPS 16446 HAS SOUS 14374 HAS SOUPS 14374 WITH SCORE 14390.446
AT ITER 1197 NEW BEST:: SOT 81340 SOS 16440 HAS SOPS 16440 HAS SOUS 14362 HAS SOUPS 14362 WITH SCORE 14378.44
AT ITER 1202 NEW BEST:: SOT 81337 SOS 16433 HAS SOPS 16433 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14351.433
AT ITER 1213 NEW BEST:: SOT 81334 SOS 16427 HAS SOPS 16427 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14345.427
AT ITER 1232 NEW BEST:: SOT 81334 SOS 16404 HAS SOPS 16404 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14322.404
AT ITER 1244 NEW BEST:: SOT 81333 SOS 16402 HAS SOPS 16402 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14320.402
AT ITER 1245 NEW BEST:: SOT 81315 SOS 16384 HAS SOPS 16384 HAS SOUS 14286 HAS SOUPS 14286 WITH SCORE 14302.384
AT ITER 1263 NEW BEST:: SOT 81285 SOS 16349 HAS SOPS 16349 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14272.349
AT ITER 1264 NEW BEST:: SOT 81311 SOS 16315 HAS SOPS 16315 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14268.315
AT ITER 1268 NEW BEST:: SOT 81289 SOS 16249 HAS SOPS 16249 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14268.249
AT ITER 1274 NEW BEST:: SOT 81323 SOS 16239 HAS SOPS 16239 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14258.239
AT ITER 1302 NEW BEST:: SOT 81315 SOS 16223 HAS SOPS 16223 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14253.223
AT ITER 1307 NEW BEST:: SOT 81262 SOS 16117 HAS SOPS 16117 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14208.117
AT ITER 1328 NEW BEST:: SOT 81235 SOS 16143 HAS SOPS 16143 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14162.143
AT ITER 1333 NEW BEST:: SOT 81235 SOS 16097 HAS SOPS 16097 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14162.097
AT ITER 1338 NEW BEST:: SOT 81232 SOS 16088 HAS SOPS 16088 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14156.088
AT ITER 1341 NEW BEST:: SOT 81210 SOS 16066 HAS SOPS 16066 HAS SOUS 14118 HAS SOUPS 14118 WITH SCORE 14134.066
AT ITER 1358 NEW BEST:: SOT 81211 SOS 16057 HAS SOPS 16057 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14125.057
AT ITER 1361 NEW BEST:: SOT 81205 SOS 16071 HAS SOPS 16071 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14118.071
AT ITER 1362 NEW BEST:: SOT 81196 SOS 16053 HAS SOPS 16053 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14109.053
AT ITER 1364 NEW BEST:: SOT 81142 SOS 15945 HAS SOPS 15945 HAS SOUS 14072 HAS SOUPS 14072 WITH SCORE 14087.945
AT ITER 1399 NEW BEST:: SOT 81140 SOS 15943 HAS SOPS 15943 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14085.943
AT ITER 1458 NEW BEST:: SOT 81108 SOS 15911 HAS SOPS 15911 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14053.911
AT ITER 1476 NEW BEST:: SOT 81108 SOS 15886 HAS SOPS 15886 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14028.886
AT ITER 1482 NEW BEST:: SOT 81096 SOS 15862 HAS SOPS 15862 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14004.862
AT ITER 1508 NEW BEST:: SOT 81082 SOS 15790 HAS SOPS 15790 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13976.79
AT ITER 1524 NEW BEST:: SOT 81075 SOS 15748 HAS SOPS 15748 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13934.748
AT ITER 1532 NEW BEST:: SOT 81075 SOS 15727 HAS SOPS 15727 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13934.727
AT ITER 1538 NEW BEST:: SOT 81115 SOS 15714 HAS SOPS 15714 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13866.714
AT ITER 1563 NEW BEST:: SOT 81115 SOS 15686 HAS SOPS 15686 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.686
AT ITER 1567 NEW BEST:: SOT 81110 SOS 15681 HAS SOPS 15681 HAS SOUS 13818 HAS SOUPS 13818 WITH SCORE 13833.681
AT ITER 1578 NEW BEST:: SOT 81109 SOS 15680 HAS SOPS 15680 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13832.68
AT ITER 1627 NEW BEST:: SOT 81096 SOS 15654 HAS SOPS 15654 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13806.654
AT ITER 1665 NEW BEST:: SOT 81097 SOS 15649 HAS SOPS 15649 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13801.649
AT ITER 1684 NEW BEST:: SOT 81159 SOS 15593 HAS SOPS 15593 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13755.593
AT ITER 1698 NEW BEST:: SOT 81154 SOS 15592 HAS SOPS 15592 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13754.592
AT ITER 1725 NEW BEST:: SOT 81136 SOS 15573 HAS SOPS 15573 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13751.573
AT ITER 1763 NEW BEST:: SOT 81136 SOS 15570 HAS SOPS 15570 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13747.57
AT ITER 1778 NEW BEST:: SOT 81128 SOS 15566 HAS SOPS 15566 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13731.566
AT ITER 1787 NEW BEST:: SOT 81128 SOS 15565 HAS SOPS 15565 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13731.565
AT ITER 1804 NEW BEST:: SOT 81112 SOS 15556 HAS SOPS 15556 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13722.556
AT ITER 1830 NEW BEST:: SOT 81112 SOS 15541 HAS SOPS 15541 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13707.541
AT ITER 1861 NEW BEST:: SOT 81112 SOS 15533 HAS SOPS 15533 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13707.533
AT ITER 1898 NEW BEST:: SOT 81110 SOS 15528 HAS SOPS 15528 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13704.528
AT ITER 2016 NEW BEST:: SOT 81110 SOS 15486 HAS SOPS 15486 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13704.486
AT ITER 2040 NEW BEST:: SOT 81106 SOS 15482 HAS SOPS 15482 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13700.482
AT ITER 2058 NEW BEST:: SOT 81106 SOS 15476 HAS SOPS 15476 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.476
AT ITER 2068 NEW BEST:: SOT 81101 SOS 15471 HAS SOPS 15471 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13689.471
AT ITER 2126 NEW BEST:: SOT 81046 SOS 15362 HAS SOPS 15362 HAS SOUS 13605 HAS SOUPS 13605 WITH SCORE 13620.362
AT ITER 2144 NEW BEST:: SOT 81046 SOS 15361 HAS SOPS 15361 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13618.361
AT ITER 2177 NEW BEST:: SOT 81049 SOS 15332 HAS SOPS 15332 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13595.332
AT ITER 2189 NEW BEST:: SOT 81027 SOS 15310 HAS SOPS 15310 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13573.31
AT ITER 2193 NEW BEST:: SOT 81027 SOS 15290 HAS SOPS 15290 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13553.29
AT ITER 2217 NEW BEST:: SOT 81013 SOS 15193 HAS SOPS 15193 HAS SOUS 13487 HAS SOUPS 13487 WITH SCORE 13502.193
AT ITER 2241 NEW BEST:: SOT 81013 SOS 15190 HAS SOPS 15190 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13499.19
AT ITER 2324 NEW BEST:: SOT 81012 SOS 15188 HAS SOPS 15188 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13497.188
AT ITER 2352 NEW BEST:: SOT 81022 SOS 15198 HAS SOPS 15198 HAS SOUS 13476 HAS SOUPS 13476 WITH SCORE 13491.198
AT ITER 2353 NEW BEST:: SOT 81024 SOS 15202 HAS SOPS 15202 HAS SOUS 13466 HAS SOUPS 13466 WITH SCORE 13481.202
AT ITER 2409 NEW BEST:: SOT 81024 SOS 15161 HAS SOPS 15161 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13440.161
AT ITER 2457 NEW BEST:: SOT 81056 SOS 15189 HAS SOPS 15189 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13427.189
AT ITER 2465 NEW BEST:: SOT 81035 SOS 15147 HAS SOPS 15147 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13385.147
AT ITER 2466 NEW BEST:: SOT 81035 SOS 15146 HAS SOPS 15146 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13384.146
AT ITER 2473 NEW BEST:: SOT 81034 SOS 15145 HAS SOPS 15145 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13383.145
AT ITER 2484 NEW BEST:: SOT 81034 SOS 15133 HAS SOPS 15133 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13383.133
AT ITER 2490 NEW BEST:: SOT 81050 SOS 15093 HAS SOPS 15093 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13371.093
AT ITER 2492 NEW BEST:: SOT 81050 SOS 15092 HAS SOPS 15092 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13370.092
AT ITER 2545 NEW BEST:: SOT 81050 SOS 15092 HAS SOPS 15092 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13362.092
AT ITER 2553 NEW BEST:: SOT 81049 SOS 15091 HAS SOPS 15091 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13361.091
AT ITER 2555 NEW BEST:: SOT 81048 SOS 15089 HAS SOPS 15089 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13359.089
AT ITER 2566 NEW BEST:: SOT 81049 SOS 15076 HAS SOPS 15076 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13346.076
AT ITER 2581 NEW BEST:: SOT 81047 SOS 15067 HAS SOPS 15067 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13337.067
AT ITER 2584 NEW BEST:: SOT 81047 SOS 15003 HAS SOPS 15003 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13305.003
AT ITER 2585 NEW BEST:: SOT 81027 SOS 15014 HAS SOPS 15014 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13285.014
AT ITER 2599 NEW BEST:: SOT 81020 SOS 15009 HAS SOPS 15009 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13275.009
AT ITER 2601 NEW BEST:: SOT 81017 SOS 15012 HAS SOPS 15012 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13272.012
AT ITER 2612 NEW BEST:: SOT 81007 SOS 14992 HAS SOPS 14992 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13264.992
AT ITER 2616 NEW BEST:: SOT 81007 SOS 14968 HAS SOPS 14968 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13256.968
AT ITER 2623 NEW BEST:: SOT 80992 SOS 14883 HAS SOPS 14883 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13148.883
AT ITER 2635 NEW BEST:: SOT 80992 SOS 14888 HAS SOPS 14888 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13146.888
AT ITER 2636 NEW BEST:: SOT 80969 SOS 14842 HAS SOPS 14842 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13096.842
AT ITER 2644 NEW BEST:: SOT 80969 SOS 14803 HAS SOPS 14803 HAS SOUS 13043 HAS SOUPS 13043 WITH SCORE 13057.803
AT ITER 2653 NEW BEST:: SOT 80975 SOS 14794 HAS SOPS 14794 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13048.794
AT ITER 2673 NEW BEST:: SOT 80965 SOS 14789 HAS SOPS 14789 HAS SOUS 13014 HAS SOUPS 13014 WITH SCORE 13028.789
AT ITER 2750 NEW BEST:: SOT 80990 SOS 14814 HAS SOPS 14814 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13019.814
AT ITER 2752 NEW BEST:: SOT 80990 SOS 14810 HAS SOPS 14810 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13011.81
AT ITER 2755 NEW BEST:: SOT 80980 SOS 14801 HAS SOPS 14801 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13002.801
AT ITER 2766 NEW BEST:: SOT 80980 SOS 14793 HAS SOPS 14793 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 12994.793
AT ITER 2781 NEW BEST:: SOT 80980 SOS 14769 HAS SOPS 14769 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12970.769
AT ITER 2820 NEW BEST:: SOT 80978 SOS 14765 HAS SOPS 14765 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12966.765
AT ITER 2850 NEW BEST:: SOT 80974 SOS 14743 HAS SOPS 14743 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.743
AT ITER 2855 NEW BEST:: SOT 80965 SOS 14663 HAS SOPS 14663 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12926.663
AT ITER 2860 NEW BEST:: SOT 80970 SOS 14659 HAS SOPS 14659 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12922.659
AT ITER 2881 NEW BEST:: SOT 80966 SOS 14651 HAS SOPS 14651 HAS SOUS 12904 HAS SOUPS 12904 WITH SCORE 12918.651
AT ITER 2896 NEW BEST:: SOT 80946 SOS 14631 HAS SOPS 14631 HAS SOUS 12884 HAS SOUPS 12884 WITH SCORE 12898.631
AT ITER 2955 NEW BEST:: SOT 80954 SOS 14627 HAS SOPS 14627 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12894.627
AT ITER 2963 NEW BEST:: SOT 80975 SOS 14624 HAS SOPS 14624 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12890.624
AT ITER 2986 NEW BEST:: SOT 80975 SOS 14616 HAS SOPS 14616 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12882.616
AT ITER 3013 NEW BEST:: SOT 80964 SOS 14594 HAS SOPS 14594 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12860.594
AT ITER 3032 NEW BEST:: SOT 80960 SOS 14586 HAS SOPS 14586 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12856.586
AT ITER 3138 NEW BEST:: SOT 80942 SOS 14582 HAS SOPS 14582 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12844.582
AT ITER 3142 NEW BEST:: SOT 80931 SOS 14570 HAS SOPS 14570 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12832.57
AT ITER 3172 NEW BEST:: SOT 80918 SOS 14529 HAS SOPS 14529 HAS SOUS 12777 HAS SOUPS 12777 WITH SCORE 12791.529
AT ITER 3219 NEW BEST:: SOT 80917 SOS 14528 HAS SOPS 14528 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12790.528
AT ITER 3237 NEW BEST:: SOT 80915 SOS 14505 HAS SOPS 14505 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12768.505
AT ITER 3243 NEW BEST:: SOT 80915 SOS 14505 HAS SOPS 14505 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12754.505
AT ITER 3275 NEW BEST:: SOT 80907 SOS 14478 HAS SOPS 14478 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12709.478
AT ITER 3291 NEW BEST:: SOT 80907 SOS 14478 HAS SOPS 14478 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12698.478
AT ITER 3333 NEW BEST:: SOT 80906 SOS 14470 HAS SOPS 14470 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12690.47
AT ITER 3417 NEW BEST:: SOT 80906 SOS 14470 HAS SOPS 14470 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12688.47
AT ITER 3434 NEW BEST:: SOT 80900 SOS 14389 HAS SOPS 14389 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12675.389
AT ITER 3462 NEW BEST:: SOT 80900 SOS 14382 HAS SOPS 14382 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12668.382
AT ITER 3476 NEW BEST:: SOT 80897 SOS 14376 HAS SOPS 14376 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12667.376
AT ITER 3482 NEW BEST:: SOT 80887 SOS 14369 HAS SOPS 14369 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12660.369
AT ITER 3484 NEW BEST:: SOT 80883 SOS 14357 HAS SOPS 14357 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12648.357
AT ITER 3501 NEW BEST:: SOT 80878 SOS 14347 HAS SOPS 14347 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12638.347
AT ITER 3549 NEW BEST:: SOT 80877 SOS 14371 HAS SOPS 14371 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12637.371
AT ITER 3577 NEW BEST:: SOT 80902 SOS 14525 HAS SOPS 14525 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12635.525
AT ITER 3600 NEW BEST:: SOT 80894 SOS 14487 HAS SOPS 14487 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12633.487
AT ITER 3604 NEW BEST:: SOT 80894 SOS 14473 HAS SOPS 14473 HAS SOUS 12619 HAS SOUPS 12619 WITH SCORE 12633.473
AT ITER 3633 NEW BEST:: SOT 80894 SOS 14473 HAS SOPS 14473 HAS SOUS 12611 HAS SOUPS 12611 WITH SCORE 12625.473
AT ITER 3634 NEW BEST:: SOT 80894 SOS 14443 HAS SOPS 14443 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12600.443
AT ITER 3662 NEW BEST:: SOT 80875 SOS 14405 HAS SOPS 14405 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12598.405
AT ITER 3671 NEW BEST:: SOT 80874 SOS 14404 HAS SOPS 14404 HAS SOUS 12583 HAS SOUPS 12583 WITH SCORE 12597.404
AT ITER 3691 NEW BEST:: SOT 80862 SOS 14381 HAS SOPS 14381 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12585.381
AT ITER 3715 NEW BEST:: SOT 80835 SOS 14362 HAS SOPS 14362 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12583.362
AT ITER 3728 NEW BEST:: SOT 80794 SOS 14355 HAS SOPS 14355 HAS SOUS 12562 HAS SOUPS 12562 WITH SCORE 12576.355
AT ITER 3729 NEW BEST:: SOT 80792 SOS 14349 HAS SOPS 14349 HAS SOUS 12558 HAS SOUPS 12558 WITH SCORE 12572.349
AT ITER 3805 NEW BEST:: SOT 80803 SOS 14362 HAS SOPS 14362 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12563.362
AT ITER 3873 NEW BEST:: SOT 80803 SOS 14346 HAS SOPS 14346 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12547.346
AT ITER 3908 NEW BEST:: SOT 80799 SOS 14310 HAS SOPS 14310 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12539.31
AT ITER 3975 NEW BEST:: SOT 80802 SOS 14316 HAS SOPS 14316 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12530.316
AT ITER 4033 NEW BEST:: SOT 80790 SOS 14292 HAS SOPS 14292 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12506.292
AT ITER 4051 NEW BEST:: SOT 80784 SOS 14280 HAS SOPS 14280 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12496.28
AT ITER 4076 NEW BEST:: SOT 80784 SOS 14268 HAS SOPS 14268 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12484.268
AT ITER 4079 NEW BEST:: SOT 80784 SOS 14264 HAS SOPS 14264 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12484.264
AT ITER 4106 NEW BEST:: SOT 80782 SOS 14260 HAS SOPS 14260 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12477.26
AT ITER 4126 NEW BEST:: SOT 80771 SOS 14238 HAS SOPS 14238 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12471.238
AT ITER 4162 NEW BEST:: SOT 80771 SOS 14198 HAS SOPS 14198 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12471.198
AT ITER 4193 NEW BEST:: SOT 80768 SOS 14192 HAS SOPS 14192 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12465.192
AT ITER 4278 NEW BEST:: SOT 80767 SOS 14170 HAS SOPS 14170 HAS SOUS 12449 HAS SOUPS 12449 WITH SCORE 12463.17
AT ITER 4309 NEW BEST:: SOT 80766 SOS 14169 HAS SOPS 14169 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12462.169
AT ITER 4322 NEW BEST:: SOT 80766 SOS 14169 HAS SOPS 14169 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12461.169
AT ITER 4360 NEW BEST:: SOT 80750 SOS 14153 HAS SOPS 14153 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12445.153
AT ITER 4376 NEW BEST:: SOT 80731 SOS 14131 HAS SOPS 14131 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12426.131
AT ITER 4460 NEW BEST:: SOT 80716 SOS 14115 HAS SOPS 14115 HAS SOUS 12396 HAS SOUPS 12396 WITH SCORE 12410.115
AT ITER 4543 NEW BEST:: SOT 80710 SOS 14103 HAS SOPS 14103 HAS SOUS 12384 HAS SOUPS 12384 WITH SCORE 12398.103
AT ITER 4586 NEW BEST:: SOT 80710 SOS 14103 HAS SOPS 14103 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12392.103
AT ITER 4596 NEW BEST:: SOT 80696 SOS 14093 HAS SOPS 14093 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12384.093
AT ITER 4606 NEW BEST:: SOT 80690 SOS 14081 HAS SOPS 14081 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12364.081
AT ITER 4611 NEW BEST:: SOT 80636 SOS 14033 HAS SOPS 14033 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12310.033
AT ITER 4635 NEW BEST:: SOT 80636 SOS 14004 HAS SOPS 14004 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12301.004
AT ITER 4674 NEW BEST:: SOT 80632 SOS 13996 HAS SOPS 13996 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12292.996
AT ITER 4712 NEW BEST:: SOT 80632 SOS 13992 HAS SOPS 13992 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12288.992
AT ITER 4802 NEW BEST:: SOT 80632 SOS 13990 HAS SOPS 13990 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12286.99
AT ITER 4826 NEW BEST:: SOT 80661 SOS 13995 HAS SOPS 13995 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12277.995
AT ITER 4843 NEW BEST:: SOT 80672 SOS 14017 HAS SOPS 14017 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12275.017
AT ITER 4864 NEW BEST:: SOT 80667 SOS 14007 HAS SOPS 14007 HAS SOUS 12251 HAS SOUPS 12251 WITH SCORE 12265.007
AT ITER 4948 NEW BEST:: SOT 80659 SOS 13983 HAS SOPS 13983 HAS SOUS 12227 HAS SOUPS 12227 WITH SCORE 12240.983
AT ITER 4949 NEW BEST:: SOT 80651 SOS 13952 HAS SOPS 13952 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12237.952
AT ITER 5013 NEW BEST:: SOT 80639 SOS 13868 HAS SOPS 13868 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12213.868
AT ITER 5082 NEW BEST:: SOT 80632 SOS 13854 HAS SOPS 13854 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12199.854
AT ITER 5161 NEW BEST:: SOT 80631 SOS 13826 HAS SOPS 13826 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12197.826
AT ITER 5164 NEW BEST:: SOT 80585 SOS 13664 HAS SOPS 13664 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12123.664
AT ITER 5172 NEW BEST:: SOT 80593 SOS 13505 HAS SOPS 13505 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12114.505
AT ITER 5292 NEW BEST:: SOT 80565 SOS 13449 HAS SOPS 13449 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12082.449
AT ITER 5297 NEW BEST:: SOT 80565 SOS 13433 HAS SOPS 13433 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12079.433
AT ITER 5304 NEW BEST:: SOT 80565 SOS 13431 HAS SOPS 13431 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12077.431
AT ITER 5350 NEW BEST:: SOT 80562 SOS 13389 HAS SOPS 13389 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12071.389
AT ITER 5390 NEW BEST:: SOT 80562 SOS 13383 HAS SOPS 13383 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.383
AT ITER 5415 NEW BEST:: SOT 80561 SOS 13382 HAS SOPS 13382 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12056.382
AT ITER 5448 NEW BEST:: SOT 80555 SOS 13362 HAS SOPS 13362 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12050.362
AT ITER 5465 NEW BEST:: SOT 80589 SOS 13348 HAS SOPS 13348 HAS SOUS 12023 HAS SOUPS 12023 WITH SCORE 12036.348
AT ITER 5476 NEW BEST:: SOT 80584 SOS 13333 HAS SOPS 13333 HAS SOUS 12008 HAS SOUPS 12008 WITH SCORE 12021.333
AT ITER 5593 NEW BEST:: SOT 80581 SOS 13327 HAS SOPS 13327 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12015.327
AT ITER 5626 NEW BEST:: SOT 80562 SOS 13345 HAS SOPS 13345 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11993.345
AT ITER 5627 NEW BEST:: SOT 80562 SOS 13337 HAS SOPS 13337 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11985.337
AT ITER 5720 NEW BEST:: SOT 80499 SOS 13308 HAS SOPS 13308 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11956.308
AT ITER 5768 NEW BEST:: SOT 80491 SOS 13285 HAS SOPS 13285 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.285
AT ITER 5798 NEW BEST:: SOT 80491 SOS 13257 HAS SOPS 13257 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.257
AT ITER 5866 NEW BEST:: SOT 80504 SOS 13268 HAS SOPS 13268 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11942.268
AT ITER 5892 NEW BEST:: SOT 80499 SOS 13265 HAS SOPS 13265 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11939.265
AT ITER 5898 NEW BEST:: SOT 80501 SOS 13257 HAS SOPS 13257 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11931.257
AT ITER 5931 NEW BEST:: SOT 80501 SOS 13249 HAS SOPS 13249 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11931.249
AT ITER 5951 NEW BEST:: SOT 80513 SOS 13246 HAS SOPS 13246 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11928.246
AT ITER 6008 NEW BEST:: SOT 80513 SOS 13239 HAS SOPS 13239 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11925.239
AT ITER 6058 NEW BEST:: SOT 80513 SOS 13236 HAS SOPS 13236 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11925.236
AT ITER 6069 NEW BEST:: SOT 80518 SOS 13258 HAS SOPS 13258 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11923.258
AT ITER 6073 NEW BEST:: SOT 80513 SOS 13253 HAS SOPS 13253 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.253
AT ITER 6099 NEW BEST:: SOT 80513 SOS 13248 HAS SOPS 13248 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.248
AT ITER 6116 NEW BEST:: SOT 80513 SOS 13229 HAS SOPS 13229 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11905.229
AT ITER 6127 NEW BEST:: SOT 80513 SOS 13226 HAS SOPS 13226 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11905.226
AT ITER 6249 NEW BEST:: SOT 80499 SOS 13198 HAS SOPS 13198 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11891.198
AT ITER 6274 NEW BEST:: SOT 80510 SOS 13194 HAS SOPS 13194 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11887.194
AT ITER 6299 NEW BEST:: SOT 80521 SOS 13185 HAS SOPS 13185 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11884.185
AT ITER 6320 NEW BEST:: SOT 80521 SOS 13185 HAS SOPS 13185 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11877.185
AT ITER 6428 NEW BEST:: SOT 80521 SOS 13185 HAS SOPS 13185 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11874.185
AT ITER 6444 NEW BEST:: SOT 80494 SOS 13179 HAS SOPS 13179 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.179
AT ITER 6494 NEW BEST:: SOT 80494 SOS 13179 HAS SOPS 13179 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11862.179
AT ITER 6522 NEW BEST:: SOT 80494 SOS 13176 HAS SOPS 13176 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11859.176
AT ITER 6579 NEW BEST:: SOT 80496 SOS 13169 HAS SOPS 13169 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11852.169
AT ITER 6580 NEW BEST:: SOT 80496 SOS 13158 HAS SOPS 13158 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11852.158
AT ITER 6653 NEW BEST:: SOT 80489 SOS 13144 HAS SOPS 13144 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11838.144
AT ITER 6655 NEW BEST:: SOT 80489 SOS 13141 HAS SOPS 13141 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11835.141
AT ITER 6666 NEW BEST:: SOT 80488 SOS 13139 HAS SOPS 13139 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11833.139
AT ITER 6773 NEW BEST:: SOT 80488 SOS 13137 HAS SOPS 13137 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11831.137
AT ITER 6792 NEW BEST:: SOT 80488 SOS 13134 HAS SOPS 13134 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11828.134
AT ITER 6798 NEW BEST:: SOT 80414 SOS 13065 HAS SOPS 13065 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11777.065
AT ITER 6802 NEW BEST:: SOT 80388 SOS 13039 HAS SOPS 13039 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11777.039
AT ITER 6819 NEW BEST:: SOT 80385 SOS 13033 HAS SOPS 13033 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11771.033
AT ITER 6859 NEW BEST:: SOT 80385 SOS 13030 HAS SOPS 13030 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11768.03
AT ITER 6879 NEW BEST:: SOT 80385 SOS 13028 HAS SOPS 13028 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11766.028
AT ITER 6916 NEW BEST:: SOT 80381 SOS 13024 HAS SOPS 13024 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11762.024
AT ITER 6927 NEW BEST:: SOT 80368 SOS 13014 HAS SOPS 13014 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11752.014
AT ITER 6932 NEW BEST:: SOT 80369 SOS 13042 HAS SOPS 13042 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11748.042
AT ITER 6991 NEW BEST:: SOT 80365 SOS 13041 HAS SOPS 13041 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11743.041
AT ITER 7004 NEW BEST:: SOT 80364 SOS 13024 HAS SOPS 13024 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11741.024
AT ITER 7016 NEW BEST:: SOT 80367 SOS 12974 HAS SOPS 12974 HAS SOUS 11678 HAS SOUPS 11678 WITH SCORE 11690.974
AT ITER 7053 NEW BEST:: SOT 80371 SOS 13008 HAS SOPS 13008 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11686.008
AT ITER 7097 NEW BEST:: SOT 80361 SOS 12988 HAS SOPS 12988 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11665.988
AT ITER 7159 NEW BEST:: SOT 80347 SOS 12960 HAS SOPS 12960 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11637.96
AT ITER 7166 NEW BEST:: SOT 80343 SOS 12948 HAS SOPS 12948 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11625.948
AT ITER 7180 NEW BEST:: SOT 80337 SOS 12963 HAS SOPS 12963 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11615.963
AT ITER 7251 NEW BEST:: SOT 80335 SOS 12961 HAS SOPS 12961 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11613.961
AT ITER 7267 NEW BEST:: SOT 80329 SOS 12943 HAS SOPS 12943 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11605.943
AT ITER 7276 NEW BEST:: SOT 80316 SOS 12966 HAS SOPS 12966 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11578.966
AT ITER 7304 NEW BEST:: SOT 80337 SOS 12884 HAS SOPS 12884 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.884
AT ITER 7319 NEW BEST:: SOT 80337 SOS 12872 HAS SOPS 12872 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.872
AT ITER 7400 NEW BEST:: SOT 80337 SOS 12867 HAS SOPS 12867 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11556.867
AT ITER 7427 NEW BEST:: SOT 80329 SOS 12848 HAS SOPS 12848 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11537.848
AT ITER 7493 NEW BEST:: SOT 80329 SOS 12848 HAS SOPS 12848 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11536.848
AT ITER 7552 NEW BEST:: SOT 80323 SOS 12836 HAS SOPS 12836 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11524.836
AT ITER 7569 NEW BEST:: SOT 80302 SOS 12861 HAS SOPS 12861 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11503.861
AT ITER 7627 NEW BEST:: SOT 80301 SOS 12860 HAS SOPS 12860 HAS SOUS 11490 HAS SOUPS 11490 WITH SCORE 11502.86
AT ITER 7651 NEW BEST:: SOT 80301 SOS 12859 HAS SOPS 12859 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11501.859
AT ITER 7682 NEW BEST:: SOT 80301 SOS 12832 HAS SOPS 12832 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11501.832
AT ITER 7716 NEW BEST:: SOT 80297 SOS 12795 HAS SOPS 12795 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11464.795
AT ITER 7718 NEW BEST:: SOT 80281 SOS 12812 HAS SOPS 12812 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11448.812
AT ITER 7749 NEW BEST:: SOT 80281 SOS 12794 HAS SOPS 12794 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11430.794
AT ITER 7762 NEW BEST:: SOT 80246 SOS 12794 HAS SOPS 12794 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11425.794
AT ITER 7821 NEW BEST:: SOT 80271 SOS 12793 HAS SOPS 12793 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11424.793
AT ITER 7843 NEW BEST:: SOT 80280 SOS 12769 HAS SOPS 12769 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11400.769
AT ITER 7894 NEW BEST:: SOT 80279 SOS 12767 HAS SOPS 12767 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11398.767
AT ITER 8024 NEW BEST:: SOT 80279 SOS 12766 HAS SOPS 12766 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11397.766
AT ITER 8048 NEW BEST:: SOT 80281 SOS 12749 HAS SOPS 12749 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11395.749
AT ITER 8075 NEW BEST:: SOT 80280 SOS 12747 HAS SOPS 12747 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.747
AT ITER 8115 NEW BEST:: SOT 80280 SOS 12730 HAS SOPS 12730 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.73
AT ITER 8158 NEW BEST:: SOT 80264 SOS 12698 HAS SOPS 12698 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11382.698
AT ITER 8167 NEW BEST:: SOT 80264 SOS 12667 HAS SOPS 12667 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11382.667
AT ITER 8231 NEW BEST:: SOT 80264 SOS 12667 HAS SOPS 12667 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.667
AT ITER 8233 NEW BEST:: SOT 80260 SOS 12663 HAS SOPS 12663 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11370.663
AT ITER 8292 NEW BEST:: SOT 80258 SOS 12661 HAS SOPS 12661 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11370.661
AT ITER 8310 NEW BEST:: SOT 80258 SOS 12662 HAS SOPS 12662 HAS SOUS 11357 HAS SOUPS 11357 WITH SCORE 11369.662
AT ITER 8445 NEW BEST:: SOT 80258 SOS 12657 HAS SOPS 12657 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11364.657
AT ITER 8477 NEW BEST:: SOT 80257 SOS 12655 HAS SOPS 12655 HAS SOUS 11350 HAS SOUPS 11350 WITH SCORE 11362.655
AT ITER 8512 NEW BEST:: SOT 80257 SOS 12654 HAS SOPS 12654 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11361.654
AT ITER 8525 NEW BEST:: SOT 80257 SOS 12668 HAS SOPS 12668 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11359.668
AT ITER 8532 NEW BEST:: SOT 80255 SOS 12711 HAS SOPS 12711 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.711
AT ITER 8540 NEW BEST:: SOT 80254 SOS 12709 HAS SOPS 12709 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11355.709
AT ITER 8543 NEW BEST:: SOT 80253 SOS 12707 HAS SOPS 12707 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11353.707
AT ITER 8553 NEW BEST:: SOT 80258 SOS 12696 HAS SOPS 12696 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11342.696
AT ITER 8617 NEW BEST:: SOT 80266 SOS 12688 HAS SOPS 12688 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11334.688
AT ITER 8684 NEW BEST:: SOT 80254 SOS 12687 HAS SOPS 12687 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11333.687
AT ITER 8689 NEW BEST:: SOT 80240 SOS 12655 HAS SOPS 12655 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11301.655
AT ITER 8712 NEW BEST:: SOT 80246 SOS 12652 HAS SOPS 12652 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.652
AT ITER 8730 NEW BEST:: SOT 80226 SOS 12612 HAS SOPS 12612 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11254.612
AT ITER 8791 NEW BEST:: SOT 80224 SOS 12608 HAS SOPS 12608 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.608
AT ITER 8794 NEW BEST:: SOT 80189 SOS 12527 HAS SOPS 12527 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11169.527
AT ITER 8840 NEW BEST:: SOT 80184 SOS 12517 HAS SOPS 12517 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11159.517
AT ITER 8867 NEW BEST:: SOT 80172 SOS 12472 HAS SOPS 12472 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11151.472
AT ITER 8878 NEW BEST:: SOT 80166 SOS 12460 HAS SOPS 12460 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11139.46
AT ITER 8942 NEW BEST:: SOT 80165 SOS 12457 HAS SOPS 12457 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11139.457
AT ITER 8957 NEW BEST:: SOT 80147 SOS 12454 HAS SOPS 12454 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11136.454
AT ITER 8994 NEW BEST:: SOT 80146 SOS 12452 HAS SOPS 12452 HAS SOUS 11123 HAS SOUPS 11123 WITH SCORE 11135.452
AT ITER 9059 NEW BEST:: SOT 80142 SOS 12421 HAS SOPS 12421 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11129.421
AT ITER 9078 NEW BEST:: SOT 80142 SOS 12412 HAS SOPS 12412 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.412
AT ITER 9125 NEW BEST:: SOT 80142 SOS 12410 HAS SOPS 12410 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.41
AT ITER 9127 NEW BEST:: SOT 80141 SOS 12408 HAS SOPS 12408 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11118.408
AT ITER 9152 NEW BEST:: SOT 80110 SOS 12346 HAS SOPS 12346 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.346
AT ITER 9185 NEW BEST:: SOT 80111 SOS 12333 HAS SOPS 12333 HAS SOUS 11030 HAS SOUPS 11030 WITH SCORE 11042.333
AT ITER 9218 NEW BEST:: SOT 80109 SOS 12329 HAS SOPS 12329 HAS SOUS 11026 HAS SOUPS 11026 WITH SCORE 11038.329
AT ITER 9220 NEW BEST:: SOT 80108 SOS 12328 HAS SOPS 12328 HAS SOUS 11025 HAS SOUPS 11025 WITH SCORE 11037.328
AT ITER 9277 NEW BEST:: SOT 80101 SOS 12322 HAS SOPS 12322 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11031.322
AT ITER 9330 NEW BEST:: SOT 80089 SOS 12298 HAS SOPS 12298 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11007.298
AT ITER 9368 NEW BEST:: SOT 80078 SOS 12270 HAS SOPS 12270 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10979.27
AT ITER 9484 NEW BEST:: SOT 80078 SOS 12270 HAS SOPS 12270 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10976.27
AT ITER 9516 NEW BEST:: SOT 80076 SOS 12265 HAS SOPS 12265 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10971.265
AT ITER 9520 NEW BEST:: SOT 80051 SOS 12262 HAS SOPS 12262 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10968.262
AT ITER 9528 NEW BEST:: SOT 80050 SOS 12260 HAS SOPS 12260 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10967.26
AT ITER 9530 NEW BEST:: SOT 80070 SOS 12232 HAS SOPS 12232 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10963.232
AT ITER 9541 NEW BEST:: SOT 80065 SOS 12231 HAS SOPS 12231 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10962.231
AT ITER 9584 NEW BEST:: SOT 80061 SOS 12223 HAS SOPS 12223 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10954.223
AT ITER 9631 NEW BEST:: SOT 80059 SOS 12222 HAS SOPS 12222 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.222
AT ITER 9656 NEW BEST:: SOT 80058 SOS 12221 HAS SOPS 12221 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.221
AT ITER 9669 NEW BEST:: SOT 80058 SOS 12230 HAS SOPS 12230 HAS SOUS 10932 HAS SOUPS 10932 WITH SCORE 10944.23
AT ITER 9725 NEW BEST:: SOT 80058 SOS 12230 HAS SOPS 12230 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.23
AT ITER 9786 NEW BEST:: SOT 80058 SOS 12238 HAS SOPS 12238 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.238
AT ITER 9859 NEW BEST:: SOT 80058 SOS 12235 HAS SOPS 12235 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.235
AT ITER 9867 NEW BEST:: SOT 80058 SOS 12234 HAS SOPS 12234 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.234
AT ITER 9870 NEW BEST:: SOT 80058 SOS 12228 HAS SOPS 12228 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10931.228
AT ITER 9879 NEW BEST:: SOT 80055 SOS 12233 HAS SOPS 12233 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10930.233
AT ITER 9881 NEW BEST:: SOT 80031 SOS 12209 HAS SOPS 12209 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10906.209
AT ITER 9929 NEW BEST:: SOT 80031 SOS 12208 HAS SOPS 12208 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10905.208
AT ITER 9991 NEW BEST:: SOT 80031 SOS 12204 HAS SOPS 12204 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10905.204
AT ITER 9999 NEW BEST:: SOT 80037 SOS 12249 HAS SOPS 12249 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10884.249

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

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