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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.380 3600000.00 3600050.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500441.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-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500441
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 3.3K Mar 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:43 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 113K 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 1589152423889

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

Filename model.pnml
Petri model created: 482 places, 480 transitions, 1120 arcs.
AT ITER 0 NEW BEST:: SOT 125658 SOS 25107 HAS SOPS 25107 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.107
AT ITER 13 NEW BEST:: SOT 125658 SOS 25081 HAS SOPS 25081 HAS SOUS 23054 HAS SOUPS 23054 WITH SCORE 23079.081
AT ITER 31 NEW BEST:: SOT 125658 SOS 24994 HAS SOPS 24994 HAS SOUS 23020 HAS SOUPS 23020 WITH SCORE 23044.994
AT ITER 44 NEW BEST:: SOT 125658 SOS 24940 HAS SOPS 24940 HAS SOUS 23020 HAS SOUPS 23020 WITH SCORE 23044.94
AT ITER 45 NEW BEST:: SOT 125634 SOS 24892 HAS SOPS 24892 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23020.892
AT ITER 71 NEW BEST:: SOT 125604 SOS 24832 HAS SOPS 24832 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22932.832
AT ITER 84 NEW BEST:: SOT 125569 SOS 24777 HAS SOPS 24777 HAS SOUS 22853 HAS SOUPS 22853 WITH SCORE 22877.777
AT ITER 101 NEW BEST:: SOT 125541 SOS 24663 HAS SOPS 24663 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22820.663
AT ITER 141 NEW BEST:: SOT 125531 SOS 24643 HAS SOPS 24643 HAS SOUS 22781 HAS SOUPS 22781 WITH SCORE 22805.643
AT ITER 148 NEW BEST:: SOT 125489 SOS 24559 HAS SOPS 24559 HAS SOUS 22697 HAS SOUPS 22697 WITH SCORE 22721.559
AT ITER 160 NEW BEST:: SOT 125463 SOS 24501 HAS SOPS 24501 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22663.501
AT ITER 181 NEW BEST:: SOT 125453 SOS 24495 HAS SOPS 24495 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22657.495
AT ITER 191 NEW BEST:: SOT 125438 SOS 24481 HAS SOPS 24481 HAS SOUS 22611 HAS SOUPS 22611 WITH SCORE 22635.481
AT ITER 200 NEW BEST:: SOT 125443 SOS 24426 HAS SOPS 24426 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22580.426
AT ITER 239 NEW BEST:: SOT 125443 SOS 24425 HAS SOPS 24425 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22580.425
AT ITER 263 NEW BEST:: SOT 125368 SOS 24314 HAS SOPS 24314 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22466.314
AT ITER 275 NEW BEST:: SOT 125368 SOS 24314 HAS SOPS 24314 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22426.314
AT ITER 283 NEW BEST:: SOT 125353 SOS 24309 HAS SOPS 24309 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22426.309
AT ITER 286 NEW BEST:: SOT 125305 SOS 24303 HAS SOPS 24303 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22412.303
AT ITER 314 NEW BEST:: SOT 125274 SOS 24272 HAS SOPS 24272 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22374.272
AT ITER 321 NEW BEST:: SOT 125211 SOS 24218 HAS SOPS 24218 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22311.218
AT ITER 340 NEW BEST:: SOT 125211 SOS 24200 HAS SOPS 24200 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22293.2
AT ITER 352 NEW BEST:: SOT 125211 SOS 24177 HAS SOPS 24177 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22270.177
AT ITER 407 NEW BEST:: SOT 125182 SOS 24162 HAS SOPS 24162 HAS SOUS 22225 HAS SOUPS 22225 WITH SCORE 22249.162
AT ITER 408 NEW BEST:: SOT 125175 SOS 24043 HAS SOPS 24043 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22190.043
AT ITER 410 NEW BEST:: SOT 125136 SOS 23991 HAS SOPS 23991 HAS SOUS 22114 HAS SOUPS 22114 WITH SCORE 22137.991
AT ITER 427 NEW BEST:: SOT 125136 SOS 23931 HAS SOPS 23931 HAS SOUS 22054 HAS SOUPS 22054 WITH SCORE 22077.931
AT ITER 461 NEW BEST:: SOT 125117 SOS 23846 HAS SOPS 23846 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21964.846
AT ITER 502 NEW BEST:: SOT 125107 SOS 23826 HAS SOPS 23826 HAS SOUS 21921 HAS SOUPS 21921 WITH SCORE 21944.826
AT ITER 540 NEW BEST:: SOT 125077 SOS 23766 HAS SOPS 23766 HAS SOUS 21876 HAS SOUPS 21876 WITH SCORE 21899.766
AT ITER 642 NEW BEST:: SOT 125082 SOS 23752 HAS SOPS 23752 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21885.752
AT ITER 682 NEW BEST:: SOT 125082 SOS 23752 HAS SOPS 23752 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21863.752
AT ITER 693 NEW BEST:: SOT 125082 SOS 23749 HAS SOPS 23749 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21863.749
AT ITER 697 NEW BEST:: SOT 125052 SOS 23673 HAS SOPS 23673 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21819.673
AT ITER 710 NEW BEST:: SOT 125034 SOS 23637 HAS SOPS 23637 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21742.637
AT ITER 735 NEW BEST:: SOT 125034 SOS 23634 HAS SOPS 23634 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21732.634
AT ITER 749 NEW BEST:: SOT 125034 SOS 23630 HAS SOPS 23630 HAS SOUS 21705 HAS SOUPS 21705 WITH SCORE 21728.63
AT ITER 760 NEW BEST:: SOT 125030 SOS 23646 HAS SOPS 23646 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21724.646
AT ITER 768 NEW BEST:: SOT 125033 SOS 23637 HAS SOPS 23637 HAS SOUS 21692 HAS SOUPS 21692 WITH SCORE 21715.637
AT ITER 782 NEW BEST:: SOT 125032 SOS 23635 HAS SOPS 23635 HAS SOUS 21690 HAS SOUPS 21690 WITH SCORE 21713.635
AT ITER 793 NEW BEST:: SOT 125007 SOS 23624 HAS SOPS 23624 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21688.624
AT ITER 836 NEW BEST:: SOT 125011 SOS 23593 HAS SOPS 23593 HAS SOUS 21634 HAS SOUPS 21634 WITH SCORE 21657.593
AT ITER 873 NEW BEST:: SOT 125026 SOS 23573 HAS SOPS 23573 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21621.573
AT ITER 899 NEW BEST:: SOT 125010 SOS 23541 HAS SOPS 23541 HAS SOUS 21566 HAS SOUPS 21566 WITH SCORE 21589.541
AT ITER 913 NEW BEST:: SOT 124980 SOS 23525 HAS SOPS 23525 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21573.525
AT ITER 931 NEW BEST:: SOT 124980 SOS 23517 HAS SOPS 23517 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21565.517
AT ITER 944 NEW BEST:: SOT 124939 SOS 23493 HAS SOPS 23493 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21541.493
AT ITER 980 NEW BEST:: SOT 124931 SOS 23463 HAS SOPS 23463 HAS SOUS 21512 HAS SOUPS 21512 WITH SCORE 21535.463
AT ITER 985 NEW BEST:: SOT 124931 SOS 23462 HAS SOPS 23462 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21534.462
AT ITER 989 NEW BEST:: SOT 124900 SOS 23461 HAS SOPS 23461 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21533.461
AT ITER 1000 NEW BEST:: SOT 124900 SOS 23455 HAS SOPS 23455 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21527.455
AT ITER 1042 NEW BEST:: SOT 124900 SOS 23442 HAS SOPS 23442 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21514.442
AT ITER 1083 NEW BEST:: SOT 124900 SOS 23432 HAS SOPS 23432 HAS SOUS 21481 HAS SOUPS 21481 WITH SCORE 21504.432
AT ITER 1090 NEW BEST:: SOT 124897 SOS 23426 HAS SOPS 23426 HAS SOUS 21478 HAS SOUPS 21478 WITH SCORE 21501.426
AT ITER 1098 NEW BEST:: SOT 124896 SOS 23425 HAS SOPS 23425 HAS SOUS 21477 HAS SOUPS 21477 WITH SCORE 21500.425
AT ITER 1125 NEW BEST:: SOT 124896 SOS 23382 HAS SOPS 23382 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21465.382
AT ITER 1135 NEW BEST:: SOT 124892 SOS 23404 HAS SOPS 23404 HAS SOUS 21434 HAS SOUPS 21434 WITH SCORE 21457.404
AT ITER 1160 NEW BEST:: SOT 124892 SOS 23392 HAS SOPS 23392 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21445.392
AT ITER 1183 NEW BEST:: SOT 124844 SOS 23409 HAS SOPS 23409 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21439.409
AT ITER 1189 NEW BEST:: SOT 124840 SOS 23401 HAS SOPS 23401 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21431.401
AT ITER 1237 NEW BEST:: SOT 124840 SOS 23394 HAS SOPS 23394 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21424.394
AT ITER 1240 NEW BEST:: SOT 124840 SOS 23376 HAS SOPS 23376 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21415.376
AT ITER 1285 NEW BEST:: SOT 124839 SOS 23374 HAS SOPS 23374 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21413.374
AT ITER 1330 NEW BEST:: SOT 124835 SOS 23323 HAS SOPS 23323 HAS SOUS 21343 HAS SOUPS 21343 WITH SCORE 21366.323
AT ITER 1332 NEW BEST:: SOT 124843 SOS 23373 HAS SOPS 23373 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21365.373
AT ITER 1335 NEW BEST:: SOT 124843 SOS 23372 HAS SOPS 23372 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21364.372
AT ITER 1358 NEW BEST:: SOT 124825 SOS 23336 HAS SOPS 23336 HAS SOUS 21305 HAS SOUPS 21305 WITH SCORE 21328.336
AT ITER 1392 NEW BEST:: SOT 124802 SOS 23290 HAS SOPS 23290 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21305.29
AT ITER 1406 NEW BEST:: SOT 124799 SOS 23281 HAS SOPS 23281 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21302.281
AT ITER 1412 NEW BEST:: SOT 124785 SOS 23312 HAS SOPS 23312 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21288.312
AT ITER 1421 NEW BEST:: SOT 124784 SOS 23297 HAS SOPS 23297 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21279.297
AT ITER 1436 NEW BEST:: SOT 124777 SOS 23283 HAS SOPS 23283 HAS SOUS 21242 HAS SOUPS 21242 WITH SCORE 21265.283
AT ITER 1440 NEW BEST:: SOT 124768 SOS 23247 HAS SOPS 23247 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21247.247
AT ITER 1451 NEW BEST:: SOT 124740 SOS 23140 HAS SOPS 23140 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21138.14
AT ITER 1512 NEW BEST:: SOT 124713 SOS 23086 HAS SOPS 23086 HAS SOUS 21061 HAS SOUPS 21061 WITH SCORE 21084.086
AT ITER 1523 NEW BEST:: SOT 124713 SOS 23079 HAS SOPS 23079 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21077.079
AT ITER 1533 NEW BEST:: SOT 124703 SOS 23059 HAS SOPS 23059 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21057.059
AT ITER 1540 NEW BEST:: SOT 124692 SOS 23030 HAS SOPS 23030 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21031.03
AT ITER 1568 NEW BEST:: SOT 124688 SOS 23022 HAS SOPS 23022 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21023.022
AT ITER 1580 NEW BEST:: SOT 124688 SOS 23007 HAS SOPS 23007 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21008.007
AT ITER 1591 NEW BEST:: SOT 124685 SOS 23001 HAS SOPS 23001 HAS SOUS 20979 HAS SOUPS 20979 WITH SCORE 21002.001
AT ITER 1592 NEW BEST:: SOT 124685 SOS 23001 HAS SOPS 23001 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20996.001
AT ITER 1646 NEW BEST:: SOT 124685 SOS 22949 HAS SOPS 22949 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 20976.949
AT ITER 1672 NEW BEST:: SOT 124553 SOS 22806 HAS SOPS 22806 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20800.806
AT ITER 1682 NEW BEST:: SOT 124553 SOS 22787 HAS SOPS 22787 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20781.787
AT ITER 1741 NEW BEST:: SOT 124547 SOS 22761 HAS SOPS 22761 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20769.761
AT ITER 1760 NEW BEST:: SOT 124533 SOS 22694 HAS SOPS 22694 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20755.694
AT ITER 1809 NEW BEST:: SOT 124524 SOS 22676 HAS SOPS 22676 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20737.676
AT ITER 1814 NEW BEST:: SOT 124531 SOS 22664 HAS SOPS 22664 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20725.664
AT ITER 1838 NEW BEST:: SOT 124525 SOS 22646 HAS SOPS 22646 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20713.646
AT ITER 1844 NEW BEST:: SOT 124506 SOS 22627 HAS SOPS 22627 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20694.627
AT ITER 1871 NEW BEST:: SOT 124502 SOS 22619 HAS SOPS 22619 HAS SOUS 20664 HAS SOUPS 20664 WITH SCORE 20686.619
AT ITER 1890 NEW BEST:: SOT 124465 SOS 22615 HAS SOPS 22615 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20645.615
AT ITER 1892 NEW BEST:: SOT 124480 SOS 22599 HAS SOPS 22599 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20629.599
AT ITER 1915 NEW BEST:: SOT 124476 SOS 22630 HAS SOPS 22630 HAS SOUS 20603 HAS SOUPS 20603 WITH SCORE 20625.63
AT ITER 1928 NEW BEST:: SOT 124505 SOS 22686 HAS SOPS 22686 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20583.686
AT ITER 1929 NEW BEST:: SOT 124511 SOS 22661 HAS SOPS 22661 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20558.661
AT ITER 1930 NEW BEST:: SOT 124505 SOS 22649 HAS SOPS 22649 HAS SOUS 20524 HAS SOUPS 20524 WITH SCORE 20546.649
AT ITER 1965 NEW BEST:: SOT 124514 SOS 22654 HAS SOPS 22654 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20536.654
AT ITER 2039 NEW BEST:: SOT 124514 SOS 22631 HAS SOPS 22631 HAS SOUS 20507 HAS SOUPS 20507 WITH SCORE 20529.631
AT ITER 2050 NEW BEST:: SOT 124516 SOS 22611 HAS SOPS 22611 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20509.611
AT ITER 2052 NEW BEST:: SOT 124512 SOS 22607 HAS SOPS 22607 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20505.607
AT ITER 2057 NEW BEST:: SOT 124512 SOS 22631 HAS SOPS 22631 HAS SOUS 20459 HAS SOUPS 20459 WITH SCORE 20481.631
AT ITER 2060 NEW BEST:: SOT 124483 SOS 22671 HAS SOPS 22671 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20417.671
AT ITER 2089 NEW BEST:: SOT 124483 SOS 22662 HAS SOPS 22662 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20408.662
AT ITER 2100 NEW BEST:: SOT 124487 SOS 22686 HAS SOPS 22686 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20405.686
AT ITER 2114 NEW BEST:: SOT 124499 SOS 22676 HAS SOPS 22676 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20394.676
AT ITER 2130 NEW BEST:: SOT 124493 SOS 22670 HAS SOPS 22670 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20388.67
AT ITER 2135 NEW BEST:: SOT 124482 SOS 22648 HAS SOPS 22648 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20366.648
AT ITER 2167 NEW BEST:: SOT 124482 SOS 22643 HAS SOPS 22643 HAS SOUS 20339 HAS SOUPS 20339 WITH SCORE 20361.643
AT ITER 2184 NEW BEST:: SOT 124458 SOS 22625 HAS SOPS 22625 HAS SOUS 20321 HAS SOUPS 20321 WITH SCORE 20343.625
AT ITER 2195 NEW BEST:: SOT 124479 SOS 22615 HAS SOPS 22615 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20333.615
AT ITER 2203 NEW BEST:: SOT 124473 SOS 22621 HAS SOPS 22621 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20327.621
AT ITER 2204 NEW BEST:: SOT 124456 SOS 22645 HAS SOPS 22645 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20310.645
AT ITER 2208 NEW BEST:: SOT 124456 SOS 22622 HAS SOPS 22622 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20287.622
AT ITER 2214 NEW BEST:: SOT 124441 SOS 22592 HAS SOPS 22592 HAS SOUS 20235 HAS SOUPS 20235 WITH SCORE 20257.592
AT ITER 2242 NEW BEST:: SOT 124404 SOS 22572 HAS SOPS 22572 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20207.572
AT ITER 2245 NEW BEST:: SOT 124404 SOS 22545 HAS SOPS 22545 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20180.545
AT ITER 2278 NEW BEST:: SOT 124402 SOS 22544 HAS SOPS 22544 HAS SOUS 20155 HAS SOUPS 20155 WITH SCORE 20177.544
AT ITER 2313 NEW BEST:: SOT 124391 SOS 22533 HAS SOPS 22533 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20166.533
AT ITER 2340 NEW BEST:: SOT 124389 SOS 22519 HAS SOPS 22519 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20162.519
AT ITER 2348 NEW BEST:: SOT 124406 SOS 22553 HAS SOPS 22553 HAS SOUS 20119 HAS SOUPS 20119 WITH SCORE 20141.553
AT ITER 2363 NEW BEST:: SOT 124391 SOS 22545 HAS SOPS 22545 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20133.545
AT ITER 2371 NEW BEST:: SOT 124391 SOS 22529 HAS SOPS 22529 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20117.529
AT ITER 2374 NEW BEST:: SOT 124392 SOS 22531 HAS SOPS 22531 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20104.531
AT ITER 2384 NEW BEST:: SOT 124392 SOS 22507 HAS SOPS 22507 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20080.507
AT ITER 2393 NEW BEST:: SOT 124392 SOS 22507 HAS SOPS 22507 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20079.507
AT ITER 2417 NEW BEST:: SOT 124390 SOS 22504 HAS SOPS 22504 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20077.504
AT ITER 2428 NEW BEST:: SOT 124359 SOS 22442 HAS SOPS 22442 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20021.442
AT ITER 2433 NEW BEST:: SOT 124334 SOS 22405 HAS SOPS 22405 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 19982.405
AT ITER 2437 NEW BEST:: SOT 124331 SOS 22383 HAS SOPS 22383 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19960.383
AT ITER 2484 NEW BEST:: SOT 124332 SOS 22385 HAS SOPS 22385 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19954.385
AT ITER 2504 NEW BEST:: SOT 124327 SOS 22380 HAS SOPS 22380 HAS SOUS 19927 HAS SOUPS 19927 WITH SCORE 19949.38
AT ITER 2513 NEW BEST:: SOT 124299 SOS 22296 HAS SOPS 22296 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19865.296
AT ITER 2564 NEW BEST:: SOT 124285 SOS 22248 HAS SOPS 22248 HAS SOUS 19795 HAS SOUPS 19795 WITH SCORE 19817.248
AT ITER 2569 NEW BEST:: SOT 124285 SOS 22191 HAS SOPS 22191 HAS SOUS 19738 HAS SOUPS 19738 WITH SCORE 19760.191
AT ITER 2576 NEW BEST:: SOT 124265 SOS 22151 HAS SOPS 22151 HAS SOUS 19698 HAS SOUPS 19698 WITH SCORE 19720.151
AT ITER 2681 NEW BEST:: SOT 124265 SOS 22151 HAS SOPS 22151 HAS SOUS 19696 HAS SOUPS 19696 WITH SCORE 19718.151
AT ITER 2695 NEW BEST:: SOT 124265 SOS 22151 HAS SOPS 22151 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19705.151
AT ITER 2738 NEW BEST:: SOT 124282 SOS 22141 HAS SOPS 22141 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19695.141
AT ITER 2802 NEW BEST:: SOT 124276 SOS 22137 HAS SOPS 22137 HAS SOUS 19669 HAS SOUPS 19669 WITH SCORE 19691.137
AT ITER 2804 NEW BEST:: SOT 124276 SOS 22134 HAS SOPS 22134 HAS SOUS 19666 HAS SOUPS 19666 WITH SCORE 19688.134
AT ITER 2909 NEW BEST:: SOT 124275 SOS 22132 HAS SOPS 22132 HAS SOUS 19665 HAS SOUPS 19665 WITH SCORE 19687.132
AT ITER 2919 NEW BEST:: SOT 124292 SOS 22121 HAS SOPS 22121 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19608.121
AT ITER 2920 NEW BEST:: SOT 124290 SOS 22119 HAS SOPS 22119 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19608.119
AT ITER 2975 NEW BEST:: SOT 124281 SOS 22091 HAS SOPS 22091 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19590.091
AT ITER 2976 NEW BEST:: SOT 124255 SOS 22078 HAS SOPS 22078 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19577.078
AT ITER 2987 NEW BEST:: SOT 124239 SOS 21998 HAS SOPS 21998 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19544.998
AT ITER 2990 NEW BEST:: SOT 124239 SOS 21998 HAS SOPS 21998 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19536.998
AT ITER 3015 NEW BEST:: SOT 124239 SOS 21965 HAS SOPS 21965 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19531.965
AT ITER 3034 NEW BEST:: SOT 124237 SOS 22015 HAS SOPS 22015 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19530.015
AT ITER 3036 NEW BEST:: SOT 124220 SOS 21981 HAS SOPS 21981 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19471.981
AT ITER 3088 NEW BEST:: SOT 124220 SOS 21966 HAS SOPS 21966 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19456.966
AT ITER 3108 NEW BEST:: SOT 124220 SOS 21965 HAS SOPS 21965 HAS SOUS 19434 HAS SOUPS 19434 WITH SCORE 19455.965
AT ITER 3110 NEW BEST:: SOT 124220 SOS 21953 HAS SOPS 21953 HAS SOUS 19434 HAS SOUPS 19434 WITH SCORE 19455.953
AT ITER 3132 NEW BEST:: SOT 124194 SOS 21901 HAS SOPS 21901 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19403.901
AT ITER 3183 NEW BEST:: SOT 124166 SOS 21855 HAS SOPS 21855 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19374.855
AT ITER 3186 NEW BEST:: SOT 124166 SOS 21853 HAS SOPS 21853 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19374.853
AT ITER 3210 NEW BEST:: SOT 124160 SOS 21847 HAS SOPS 21847 HAS SOUS 19347 HAS SOUPS 19347 WITH SCORE 19368.847
AT ITER 3219 NEW BEST:: SOT 124136 SOS 21813 HAS SOPS 21813 HAS SOUS 19309 HAS SOUPS 19309 WITH SCORE 19330.813
AT ITER 3232 NEW BEST:: SOT 124086 SOS 21823 HAS SOPS 21823 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19301.823
AT ITER 3234 NEW BEST:: SOT 124086 SOS 21821 HAS SOPS 21821 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19301.821
AT ITER 3246 NEW BEST:: SOT 124102 SOS 21720 HAS SOPS 21720 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19284.72
AT ITER 3263 NEW BEST:: SOT 124072 SOS 21598 HAS SOPS 21598 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19162.598
AT ITER 3281 NEW BEST:: SOT 124071 SOS 21597 HAS SOPS 21597 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19161.597
AT ITER 3287 NEW BEST:: SOT 124070 SOS 21596 HAS SOPS 21596 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19159.596
AT ITER 3298 NEW BEST:: SOT 124060 SOS 21594 HAS SOPS 21594 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19157.594
AT ITER 3303 NEW BEST:: SOT 124071 SOS 21680 HAS SOPS 21680 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19126.68
AT ITER 3318 NEW BEST:: SOT 124028 SOS 21634 HAS SOPS 21634 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19080.634
AT ITER 3348 NEW BEST:: SOT 124028 SOS 21626 HAS SOPS 21626 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19080.626
AT ITER 3371 NEW BEST:: SOT 124025 SOS 21626 HAS SOPS 21626 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19076.626
AT ITER 3395 NEW BEST:: SOT 124023 SOS 21622 HAS SOPS 21622 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19072.622
AT ITER 3405 NEW BEST:: SOT 124013 SOS 21620 HAS SOPS 21620 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19070.62
AT ITER 3426 NEW BEST:: SOT 124013 SOS 21619 HAS SOPS 21619 HAS SOUS 19048 HAS SOUPS 19048 WITH SCORE 19069.619
AT ITER 3466 NEW BEST:: SOT 124011 SOS 21617 HAS SOPS 21617 HAS SOUS 19046 HAS SOUPS 19046 WITH SCORE 19067.617
AT ITER 3468 NEW BEST:: SOT 124005 SOS 21615 HAS SOPS 21615 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19059.615
AT ITER 3471 NEW BEST:: SOT 123986 SOS 21577 HAS SOPS 21577 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19040.577
AT ITER 3474 NEW BEST:: SOT 123985 SOS 21576 HAS SOPS 21576 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19039.576
AT ITER 3485 NEW BEST:: SOT 123981 SOS 21568 HAS SOPS 21568 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19031.568
AT ITER 3488 NEW BEST:: SOT 123979 SOS 21564 HAS SOPS 21564 HAS SOUS 19009 HAS SOUPS 19009 WITH SCORE 19030.564
AT ITER 3489 NEW BEST:: SOT 123975 SOS 21556 HAS SOPS 21556 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19022.556
AT ITER 3545 NEW BEST:: SOT 123975 SOS 21551 HAS SOPS 21551 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19017.551
AT ITER 3554 NEW BEST:: SOT 123975 SOS 21548 HAS SOPS 21548 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19014.548
AT ITER 3573 NEW BEST:: SOT 123971 SOS 21499 HAS SOPS 21499 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 18993.499
AT ITER 3641 NEW BEST:: SOT 123971 SOS 21488 HAS SOPS 21488 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18982.488
AT ITER 3658 NEW BEST:: SOT 123961 SOS 21487 HAS SOPS 21487 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 18981.487
AT ITER 3723 NEW BEST:: SOT 123961 SOS 21459 HAS SOPS 21459 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18953.459
AT ITER 3806 NEW BEST:: SOT 123961 SOS 21449 HAS SOPS 21449 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18943.449
AT ITER 3831 NEW BEST:: SOT 123972 SOS 21447 HAS SOPS 21447 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18943.447
AT ITER 3859 NEW BEST:: SOT 123975 SOS 21427 HAS SOPS 21427 HAS SOUS 18902 HAS SOUPS 18902 WITH SCORE 18923.427
AT ITER 3888 NEW BEST:: SOT 123966 SOS 21409 HAS SOPS 21409 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18905.409
AT ITER 3912 NEW BEST:: SOT 123934 SOS 21379 HAS SOPS 21379 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18875.379
AT ITER 3988 NEW BEST:: SOT 123934 SOS 21377 HAS SOPS 21377 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18875.377
AT ITER 4005 NEW BEST:: SOT 123879 SOS 21338 HAS SOPS 21338 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18836.338
AT ITER 4022 NEW BEST:: SOT 123874 SOS 21333 HAS SOPS 21333 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18831.333
AT ITER 4027 NEW BEST:: SOT 123862 SOS 21290 HAS SOPS 21290 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18788.29
AT ITER 4028 NEW BEST:: SOT 123891 SOS 21289 HAS SOPS 21289 HAS SOUS 18766 HAS SOUPS 18766 WITH SCORE 18787.289
AT ITER 4071 NEW BEST:: SOT 123892 SOS 21283 HAS SOPS 21283 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18781.283
AT ITER 4094 NEW BEST:: SOT 123892 SOS 21232 HAS SOPS 21232 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18730.232
AT ITER 4173 NEW BEST:: SOT 123870 SOS 21113 HAS SOPS 21113 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.113
AT ITER 4174 NEW BEST:: SOT 123924 SOS 20959 HAS SOPS 20959 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18666.959
AT ITER 4177 NEW BEST:: SOT 123924 SOS 20953 HAS SOPS 20953 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18660.953
AT ITER 4224 NEW BEST:: SOT 123919 SOS 20908 HAS SOPS 20908 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18615.908
AT ITER 4252 NEW BEST:: SOT 123928 SOS 20880 HAS SOPS 20880 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18587.88
AT ITER 4297 NEW BEST:: SOT 123908 SOS 20840 HAS SOPS 20840 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18538.84
AT ITER 4313 NEW BEST:: SOT 123908 SOS 20840 HAS SOPS 20840 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18524.84
AT ITER 4329 NEW BEST:: SOT 123902 SOS 20828 HAS SOPS 20828 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18512.828
AT ITER 4351 NEW BEST:: SOT 123903 SOS 20827 HAS SOPS 20827 HAS SOUS 18491 HAS SOUPS 18491 WITH SCORE 18511.827
AT ITER 4401 NEW BEST:: SOT 123880 SOS 20784 HAS SOPS 20784 HAS SOUS 18471 HAS SOUPS 18471 WITH SCORE 18491.784
AT ITER 4422 NEW BEST:: SOT 123891 SOS 20712 HAS SOPS 20712 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18419.712
AT ITER 4458 NEW BEST:: SOT 123891 SOS 20701 HAS SOPS 20701 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18419.701
AT ITER 4473 NEW BEST:: SOT 123870 SOS 20680 HAS SOPS 20680 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18398.68
AT ITER 4502 NEW BEST:: SOT 123871 SOS 20678 HAS SOPS 20678 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18396.678
AT ITER 4506 NEW BEST:: SOT 123871 SOS 20676 HAS SOPS 20676 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18394.676
AT ITER 4541 NEW BEST:: SOT 123871 SOS 20676 HAS SOPS 20676 HAS SOUS 18371 HAS SOUPS 18371 WITH SCORE 18391.676
AT ITER 4543 NEW BEST:: SOT 123869 SOS 20667 HAS SOPS 20667 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18382.667
AT ITER 4544 NEW BEST:: SOT 123872 SOS 20673 HAS SOPS 20673 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18379.673
AT ITER 4546 NEW BEST:: SOT 123846 SOS 20663 HAS SOPS 20663 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18352.663
AT ITER 4582 NEW BEST:: SOT 123846 SOS 20528 HAS SOPS 20528 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18307.528
AT ITER 4645 NEW BEST:: SOT 123861 SOS 20500 HAS SOPS 20500 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18279.5
AT ITER 4651 NEW BEST:: SOT 123861 SOS 20495 HAS SOPS 20495 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18279.495
AT ITER 4680 NEW BEST:: SOT 123858 SOS 20491 HAS SOPS 20491 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18275.491
AT ITER 4726 NEW BEST:: SOT 123858 SOS 20490 HAS SOPS 20490 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18274.49
AT ITER 4728 NEW BEST:: SOT 123852 SOS 20484 HAS SOPS 20484 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18262.484
AT ITER 4753 NEW BEST:: SOT 123853 SOS 20468 HAS SOPS 20468 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18246.468
AT ITER 4842 NEW BEST:: SOT 123853 SOS 20468 HAS SOPS 20468 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18244.468
AT ITER 4864 NEW BEST:: SOT 123853 SOS 20440 HAS SOPS 20440 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18244.44
AT ITER 4867 NEW BEST:: SOT 123853 SOS 20440 HAS SOPS 20440 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18239.44
AT ITER 4876 NEW BEST:: SOT 123853 SOS 20432 HAS SOPS 20432 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18239.432
AT ITER 4921 NEW BEST:: SOT 123861 SOS 20417 HAS SOPS 20417 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18224.417
AT ITER 4926 NEW BEST:: SOT 123861 SOS 20391 HAS SOPS 20391 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18208.391
AT ITER 4936 NEW BEST:: SOT 123851 SOS 20361 HAS SOPS 20361 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18188.361
AT ITER 4965 NEW BEST:: SOT 123842 SOS 20302 HAS SOPS 20302 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18147.302
AT ITER 4991 NEW BEST:: SOT 123821 SOS 20276 HAS SOPS 20276 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18121.276
AT ITER 4992 NEW BEST:: SOT 123814 SOS 20269 HAS SOPS 20269 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18114.269
AT ITER 5010 NEW BEST:: SOT 123800 SOS 20255 HAS SOPS 20255 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18100.255
AT ITER 5048 NEW BEST:: SOT 123809 SOS 20273 HAS SOPS 20273 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18089.273
AT ITER 5093 NEW BEST:: SOT 123808 SOS 20253 HAS SOPS 20253 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18069.253
AT ITER 5159 NEW BEST:: SOT 123810 SOS 20219 HAS SOPS 20219 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18035.219
AT ITER 5186 NEW BEST:: SOT 123799 SOS 20192 HAS SOPS 20192 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18021.192
AT ITER 5258 NEW BEST:: SOT 123795 SOS 20184 HAS SOPS 20184 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18017.184
AT ITER 5311 NEW BEST:: SOT 123807 SOS 20118 HAS SOPS 20118 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 17998.118
AT ITER 5314 NEW BEST:: SOT 123796 SOS 20107 HAS SOPS 20107 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17987.107
AT ITER 5356 NEW BEST:: SOT 123796 SOS 20105 HAS SOPS 20105 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17987.105
AT ITER 5369 NEW BEST:: SOT 123786 SOS 20085 HAS SOPS 20085 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17967.085
AT ITER 5384 NEW BEST:: SOT 123795 SOS 20067 HAS SOPS 20067 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17964.067
AT ITER 5411 NEW BEST:: SOT 123788 SOS 20060 HAS SOPS 20060 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17951.06
AT ITER 5415 NEW BEST:: SOT 123786 SOS 20056 HAS SOPS 20056 HAS SOUS 17927 HAS SOUPS 17927 WITH SCORE 17947.056
AT ITER 5418 NEW BEST:: SOT 123774 SOS 20066 HAS SOPS 20066 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17944.066
AT ITER 5426 NEW BEST:: SOT 123769 SOS 20056 HAS SOPS 20056 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17934.056
AT ITER 5448 NEW BEST:: SOT 123767 SOS 20052 HAS SOPS 20052 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17930.052
AT ITER 5453 NEW BEST:: SOT 123781 SOS 20051 HAS SOPS 20051 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17929.051
AT ITER 5485 NEW BEST:: SOT 123801 SOS 20277 HAS SOPS 20277 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17885.277
AT ITER 5515 NEW BEST:: SOT 123801 SOS 20277 HAS SOPS 20277 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17865.277
AT ITER 5538 NEW BEST:: SOT 123801 SOS 20277 HAS SOPS 20277 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17861.277
AT ITER 5558 NEW BEST:: SOT 123801 SOS 20277 HAS SOPS 20277 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17853.277
AT ITER 5634 NEW BEST:: SOT 123812 SOS 20288 HAS SOPS 20288 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17829.288
AT ITER 5644 NEW BEST:: SOT 123813 SOS 20285 HAS SOPS 20285 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17826.285
AT ITER 5653 NEW BEST:: SOT 123814 SOS 20279 HAS SOPS 20279 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17820.279
AT ITER 5687 NEW BEST:: SOT 123808 SOS 20267 HAS SOPS 20267 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17808.267
AT ITER 5732 NEW BEST:: SOT 123808 SOS 20266 HAS SOPS 20266 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17807.266
AT ITER 5742 NEW BEST:: SOT 123807 SOS 20264 HAS SOPS 20264 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17805.264
AT ITER 5825 NEW BEST:: SOT 123808 SOS 20266 HAS SOPS 20266 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17793.266
AT ITER 5827 NEW BEST:: SOT 123807 SOS 20264 HAS SOPS 20264 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17791.264
AT ITER 5852 NEW BEST:: SOT 123807 SOS 20283 HAS SOPS 20283 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17772.283
AT ITER 5868 NEW BEST:: SOT 123807 SOS 20283 HAS SOPS 20283 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17771.283
AT ITER 5890 NEW BEST:: SOT 123807 SOS 20283 HAS SOPS 20283 HAS SOUS 17729 HAS SOUPS 17729 WITH SCORE 17749.283
AT ITER 5908 NEW BEST:: SOT 123805 SOS 20279 HAS SOPS 20279 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17745.279
AT ITER 5910 NEW BEST:: SOT 123802 SOS 20273 HAS SOPS 20273 HAS SOUS 17719 HAS SOUPS 17719 WITH SCORE 17739.273
AT ITER 5939 NEW BEST:: SOT 123802 SOS 20271 HAS SOPS 20271 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17737.271
AT ITER 6059 NEW BEST:: SOT 123802 SOS 20258 HAS SOPS 20258 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17724.258
AT ITER 6075 NEW BEST:: SOT 123796 SOS 20246 HAS SOPS 20246 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17712.246
AT ITER 6084 NEW BEST:: SOT 123771 SOS 20236 HAS SOPS 20236 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17698.236
AT ITER 6089 NEW BEST:: SOT 123780 SOS 20229 HAS SOPS 20229 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17691.229
AT ITER 6111 NEW BEST:: SOT 123735 SOS 20167 HAS SOPS 20167 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17641.167
AT ITER 6134 NEW BEST:: SOT 123727 SOS 20053 HAS SOPS 20053 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17589.053
AT ITER 6158 NEW BEST:: SOT 123730 SOS 20053 HAS SOPS 20053 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17586.053
AT ITER 6192 NEW BEST:: SOT 123729 SOS 20021 HAS SOPS 20021 HAS SOUS 17564 HAS SOUPS 17564 WITH SCORE 17584.021
AT ITER 6197 NEW BEST:: SOT 123729 SOS 20019 HAS SOPS 20019 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17582.019
AT ITER 6209 NEW BEST:: SOT 123728 SOS 20017 HAS SOPS 20017 HAS SOUS 17561 HAS SOUPS 17561 WITH SCORE 17581.017
AT ITER 6253 NEW BEST:: SOT 123728 SOS 20015 HAS SOPS 20015 HAS SOUS 17559 HAS SOUPS 17559 WITH SCORE 17579.015
AT ITER 6266 NEW BEST:: SOT 123728 SOS 19971 HAS SOPS 19971 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17534.971
AT ITER 6274 NEW BEST:: SOT 123712 SOS 19978 HAS SOPS 19978 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17519.978
AT ITER 6340 NEW BEST:: SOT 123705 SOS 19989 HAS SOPS 19989 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17512.989
AT ITER 6441 NEW BEST:: SOT 123685 SOS 19965 HAS SOPS 19965 HAS SOUS 17469 HAS SOUPS 17469 WITH SCORE 17488.965
AT ITER 6457 NEW BEST:: SOT 123681 SOS 19950 HAS SOPS 19950 HAS SOUS 17448 HAS SOUPS 17448 WITH SCORE 17467.95
AT ITER 6591 NEW BEST:: SOT 123665 SOS 19918 HAS SOPS 19918 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17451.918
AT ITER 6623 NEW BEST:: SOT 123658 SOS 19901 HAS SOPS 19901 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17444.901
AT ITER 6638 NEW BEST:: SOT 123656 SOS 19899 HAS SOPS 19899 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17442.899
AT ITER 6675 NEW BEST:: SOT 123657 SOS 19889 HAS SOPS 19889 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17432.889
AT ITER 6738 NEW BEST:: SOT 123633 SOS 19853 HAS SOPS 19853 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17397.853
AT ITER 6739 NEW BEST:: SOT 123629 SOS 19847 HAS SOPS 19847 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17391.847
AT ITER 6775 NEW BEST:: SOT 123613 SOS 19831 HAS SOPS 19831 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17375.831
AT ITER 6803 NEW BEST:: SOT 123611 SOS 19831 HAS SOPS 19831 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17373.831
AT ITER 6815 NEW BEST:: SOT 123606 SOS 19827 HAS SOPS 19827 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17369.827
AT ITER 6828 NEW BEST:: SOT 123597 SOS 19826 HAS SOPS 19826 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17368.826
AT ITER 6857 NEW BEST:: SOT 123588 SOS 19808 HAS SOPS 19808 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17342.808
AT ITER 6882 NEW BEST:: SOT 123587 SOS 19807 HAS SOPS 19807 HAS SOUS 17322 HAS SOUPS 17322 WITH SCORE 17341.807
AT ITER 6883 NEW BEST:: SOT 123587 SOS 19777 HAS SOPS 19777 HAS SOUS 17322 HAS SOUPS 17322 WITH SCORE 17341.777
AT ITER 6977 NEW BEST:: SOT 123588 SOS 19779 HAS SOPS 19779 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17338.779
AT ITER 7024 NEW BEST:: SOT 123588 SOS 19725 HAS SOPS 19725 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17300.725
AT ITER 7041 NEW BEST:: SOT 123588 SOS 19716 HAS SOPS 19716 HAS SOUS 17274 HAS SOUPS 17274 WITH SCORE 17293.716
AT ITER 7046 NEW BEST:: SOT 123558 SOS 19693 HAS SOPS 19693 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17270.693
AT ITER 7063 NEW BEST:: SOT 123527 SOS 19753 HAS SOPS 19753 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17245.753
AT ITER 7089 NEW BEST:: SOT 123525 SOS 19749 HAS SOPS 19749 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17241.749
AT ITER 7114 NEW BEST:: SOT 123507 SOS 19747 HAS SOPS 19747 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17225.747
AT ITER 7152 NEW BEST:: SOT 123514 SOS 19777 HAS SOPS 19777 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17171.777
AT ITER 7178 NEW BEST:: SOT 123509 SOS 19767 HAS SOPS 19767 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17165.767
AT ITER 7268 NEW BEST:: SOT 123509 SOS 19756 HAS SOPS 19756 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17154.756
AT ITER 7280 NEW BEST:: SOT 123509 SOS 19739 HAS SOPS 19739 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17137.739
AT ITER 7306 NEW BEST:: SOT 123509 SOS 19649 HAS SOPS 19649 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17137.649
AT ITER 7402 NEW BEST:: SOT 123520 SOS 19671 HAS SOPS 19671 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17124.671
AT ITER 7413 NEW BEST:: SOT 123520 SOS 19647 HAS SOPS 19647 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17100.647
AT ITER 7524 NEW BEST:: SOT 123515 SOS 19637 HAS SOPS 19637 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17090.637
AT ITER 7531 NEW BEST:: SOT 123446 SOS 19578 HAS SOPS 19578 HAS SOUS 17002 HAS SOUPS 17002 WITH SCORE 17021.578
AT ITER 7538 NEW BEST:: SOT 123420 SOS 19526 HAS SOPS 19526 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16969.526
AT ITER 7570 NEW BEST:: SOT 123419 SOS 19524 HAS SOPS 19524 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16969.524
AT ITER 7647 NEW BEST:: SOT 123413 SOS 19518 HAS SOPS 19518 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16963.518
AT ITER 7662 NEW BEST:: SOT 123403 SOS 19508 HAS SOPS 19508 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16953.508
AT ITER 7669 NEW BEST:: SOT 123383 SOS 19468 HAS SOPS 19468 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16913.468
AT ITER 7680 NEW BEST:: SOT 123394 SOS 19459 HAS SOPS 19459 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16904.459
AT ITER 7718 NEW BEST:: SOT 123394 SOS 19454 HAS SOPS 19454 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16904.454
AT ITER 7819 NEW BEST:: SOT 123394 SOS 19401 HAS SOPS 19401 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16900.401
AT ITER 7837 NEW BEST:: SOT 123392 SOS 19399 HAS SOPS 19399 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16898.399
AT ITER 7897 NEW BEST:: SOT 123392 SOS 19370 HAS SOPS 19370 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16898.37
AT ITER 7961 NEW BEST:: SOT 123399 SOS 19308 HAS SOPS 19308 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16842.308
AT ITER 8002 NEW BEST:: SOT 123397 SOS 19193 HAS SOPS 19193 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16839.193
AT ITER 8036 NEW BEST:: SOT 123373 SOS 19168 HAS SOPS 19168 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16814.168
AT ITER 8125 NEW BEST:: SOT 123365 SOS 19169 HAS SOPS 19169 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16798.169
AT ITER 8131 NEW BEST:: SOT 123362 SOS 19164 HAS SOPS 19164 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16793.164
AT ITER 8201 NEW BEST:: SOT 123349 SOS 19158 HAS SOPS 19158 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16787.158
AT ITER 8216 NEW BEST:: SOT 123349 SOS 19146 HAS SOPS 19146 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16787.146
AT ITER 8230 NEW BEST:: SOT 123341 SOS 19137 HAS SOPS 19137 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16771.137
AT ITER 8279 NEW BEST:: SOT 123341 SOS 19124 HAS SOPS 19124 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16758.124
AT ITER 8318 NEW BEST:: SOT 123327 SOS 19096 HAS SOPS 19096 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16748.096
AT ITER 8322 NEW BEST:: SOT 123318 SOS 19073 HAS SOPS 19073 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16735.073
AT ITER 8407 NEW BEST:: SOT 123311 SOS 19031 HAS SOPS 19031 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16721.031
AT ITER 8415 NEW BEST:: SOT 123302 SOS 19007 HAS SOPS 19007 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16697.007
AT ITER 8449 NEW BEST:: SOT 123302 SOS 19004 HAS SOPS 19004 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16694.004
AT ITER 8473 NEW BEST:: SOT 123298 SOS 19000 HAS SOPS 19000 HAS SOUS 16670 HAS SOUPS 16670 WITH SCORE 16689.0
AT ITER 8538 NEW BEST:: SOT 123264 SOS 19025 HAS SOPS 19025 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16687.025
AT ITER 8547 NEW BEST:: SOT 123264 SOS 19018 HAS SOPS 19018 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16680.018
AT ITER 8550 NEW BEST:: SOT 123262 SOS 19016 HAS SOPS 19016 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16678.016
AT ITER 8552 NEW BEST:: SOT 123260 SOS 18987 HAS SOPS 18987 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16648.987
AT ITER 8559 NEW BEST:: SOT 123266 SOS 18999 HAS SOPS 18999 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16646.999
AT ITER 8592 NEW BEST:: SOT 123257 SOS 18984 HAS SOPS 18984 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.984
AT ITER 8642 NEW BEST:: SOT 123257 SOS 18979 HAS SOPS 18979 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16631.979
AT ITER 8652 NEW BEST:: SOT 123248 SOS 18949 HAS SOPS 18949 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16612.949
AT ITER 8677 NEW BEST:: SOT 123235 SOS 18937 HAS SOPS 18937 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16586.937
AT ITER 8716 NEW BEST:: SOT 123227 SOS 18936 HAS SOPS 18936 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16585.936
AT ITER 8779 NEW BEST:: SOT 123205 SOS 18931 HAS SOPS 18931 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16580.931
AT ITER 8786 NEW BEST:: SOT 123202 SOS 18925 HAS SOPS 18925 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16577.925
AT ITER 8802 NEW BEST:: SOT 123202 SOS 18922 HAS SOPS 18922 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16574.922
AT ITER 8851 NEW BEST:: SOT 123202 SOS 18922 HAS SOPS 18922 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16569.922
AT ITER 8859 NEW BEST:: SOT 123200 SOS 18914 HAS SOPS 18914 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16565.914
AT ITER 8880 NEW BEST:: SOT 123202 SOS 18918 HAS SOPS 18918 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16557.918
AT ITER 8934 NEW BEST:: SOT 123201 SOS 18916 HAS SOPS 18916 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16555.916
AT ITER 8935 NEW BEST:: SOT 123203 SOS 18904 HAS SOPS 18904 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16543.904
AT ITER 8992 NEW BEST:: SOT 123196 SOS 18897 HAS SOPS 18897 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16536.897
AT ITER 9014 NEW BEST:: SOT 123200 SOS 18896 HAS SOPS 18896 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16535.896
AT ITER 9120 NEW BEST:: SOT 123183 SOS 18862 HAS SOPS 18862 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16528.862
AT ITER 9131 NEW BEST:: SOT 123183 SOS 18849 HAS SOPS 18849 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16515.849
AT ITER 9153 NEW BEST:: SOT 123181 SOS 18896 HAS SOPS 18896 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16513.896
AT ITER 9177 NEW BEST:: SOT 123181 SOS 18888 HAS SOPS 18888 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16505.888
AT ITER 9186 NEW BEST:: SOT 123181 SOS 18864 HAS SOPS 18864 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16481.864
AT ITER 9212 NEW BEST:: SOT 123168 SOS 18838 HAS SOPS 18838 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16455.838
AT ITER 9232 NEW BEST:: SOT 123168 SOS 18827 HAS SOPS 18827 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16444.827
AT ITER 9250 NEW BEST:: SOT 123166 SOS 18825 HAS SOPS 18825 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16442.825
AT ITER 9267 NEW BEST:: SOT 123163 SOS 18822 HAS SOPS 18822 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16439.822
AT ITER 9288 NEW BEST:: SOT 123145 SOS 18854 HAS SOPS 18854 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16404.854
AT ITER 9312 NEW BEST:: SOT 123142 SOS 18843 HAS SOPS 18843 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16390.843
AT ITER 9320 NEW BEST:: SOT 123133 SOS 18818 HAS SOPS 18818 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16365.818
AT ITER 9336 NEW BEST:: SOT 123133 SOS 18731 HAS SOPS 18731 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16339.731
AT ITER 9344 NEW BEST:: SOT 123128 SOS 18753 HAS SOPS 18753 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16329.753
AT ITER 9349 NEW BEST:: SOT 123126 SOS 18751 HAS SOPS 18751 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16327.751
AT ITER 9367 NEW BEST:: SOT 123118 SOS 18749 HAS SOPS 18749 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16325.749
AT ITER 9388 NEW BEST:: SOT 123096 SOS 18705 HAS SOPS 18705 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16281.705
AT ITER 9450 NEW BEST:: SOT 123085 SOS 18642 HAS SOPS 18642 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16263.642
AT ITER 9513 NEW BEST:: SOT 123071 SOS 18616 HAS SOPS 18616 HAS SOUS 16219 HAS SOUPS 16219 WITH SCORE 16237.616
AT ITER 9567 NEW BEST:: SOT 123074 SOS 18610 HAS SOPS 18610 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16232.61
AT ITER 9581 NEW BEST:: SOT 123014 SOS 18480 HAS SOPS 18480 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16172.48
AT ITER 9585 NEW BEST:: SOT 123021 SOS 18452 HAS SOPS 18452 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16144.452
AT ITER 9613 NEW BEST:: SOT 123018 SOS 18446 HAS SOPS 18446 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16138.446
AT ITER 9661 NEW BEST:: SOT 123013 SOS 18436 HAS SOPS 18436 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16128.436
AT ITER 9675 NEW BEST:: SOT 123018 SOS 18422 HAS SOPS 18422 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16125.422
AT ITER 9688 NEW BEST:: SOT 123006 SOS 18403 HAS SOPS 18403 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16106.403
AT ITER 9742 NEW BEST:: SOT 123000 SOS 18395 HAS SOPS 18395 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16098.395
AT ITER 9760 NEW BEST:: SOT 122989 SOS 18399 HAS SOPS 18399 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16082.399
AT ITER 9800 NEW BEST:: SOT 122954 SOS 18330 HAS SOPS 18330 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16009.33
AT ITER 9807 NEW BEST:: SOT 122964 SOS 18320 HAS SOPS 18320 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 15999.32
AT ITER 9813 NEW BEST:: SOT 122962 SOS 18316 HAS SOPS 18316 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 15995.316
AT ITER 9848 NEW BEST:: SOT 122962 SOS 18306 HAS SOPS 18306 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 15995.306
AT ITER 9854 NEW BEST:: SOT 122949 SOS 18250 HAS SOPS 18250 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15969.25
AT ITER 9883 NEW BEST:: SOT 122949 SOS 18242 HAS SOPS 18242 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15961.242
AT ITER 9923 NEW BEST:: SOT 122945 SOS 18240 HAS SOPS 18240 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15955.24
AT ITER 9938 NEW BEST:: SOT 122943 SOS 18215 HAS SOPS 18215 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15935.215
AT ITER 9940 NEW BEST:: SOT 122938 SOS 18135 HAS SOPS 18135 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15925.135

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

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