Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590900432.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
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-oct2-167813590900432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 18:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K Mar 5 18:22 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 1678472902001

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/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 14 NEW BEST:: SOT 82400 SOS 17749 HAS SOPS 17749 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16259.749
AT ITER 35 NEW BEST:: SOT 82400 SOS 17733 HAS SOPS 17733 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16243.733
AT ITER 36 NEW BEST:: SOT 82400 SOS 17730 HAS SOPS 17730 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16240.73
AT ITER 53 NEW BEST:: SOT 82381 SOS 17743 HAS SOPS 17743 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16221.743
AT ITER 68 NEW BEST:: SOT 82373 SOS 17740 HAS SOPS 17740 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16218.74
AT ITER 74 NEW BEST:: SOT 82373 SOS 17740 HAS SOPS 17740 HAS SOUS 16164 HAS SOUPS 16164 WITH SCORE 16181.74
AT ITER 79 NEW BEST:: SOT 82345 SOS 17727 HAS SOPS 17727 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16168.727
AT ITER 84 NEW BEST:: SOT 82338 SOS 17717 HAS SOPS 17717 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16158.717
AT ITER 92 NEW BEST:: SOT 82323 SOS 17687 HAS SOPS 17687 HAS SOUS 16125 HAS SOUPS 16125 WITH SCORE 16142.687
AT ITER 145 NEW BEST:: SOT 82287 SOS 17674 HAS SOPS 17674 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16129.674
AT ITER 158 NEW BEST:: SOT 82287 SOS 17670 HAS SOPS 17670 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16125.67
AT ITER 160 NEW BEST:: SOT 82287 SOS 17653 HAS SOPS 17653 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16108.653
AT ITER 173 NEW BEST:: SOT 82287 SOS 17637 HAS SOPS 17637 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16092.637
AT ITER 201 NEW BEST:: SOT 82287 SOS 17611 HAS SOPS 17611 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16066.611
AT ITER 204 NEW BEST:: SOT 82277 SOS 17591 HAS SOPS 17591 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16046.591
AT ITER 226 NEW BEST:: SOT 82248 SOS 17504 HAS SOPS 17504 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15983.504
AT ITER 251 NEW BEST:: SOT 82230 SOS 17486 HAS SOPS 17486 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15965.486
AT ITER 262 NEW BEST:: SOT 82230 SOS 17454 HAS SOPS 17454 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15914.454
AT ITER 269 NEW BEST:: SOT 82230 SOS 17446 HAS SOPS 17446 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15906.446
AT ITER 323 NEW BEST:: SOT 82230 SOS 17408 HAS SOPS 17408 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15868.408
AT ITER 335 NEW BEST:: SOT 82230 SOS 17385 HAS SOPS 17385 HAS SOUS 15828 HAS SOUPS 15828 WITH SCORE 15845.385
AT ITER 353 NEW BEST:: SOT 82230 SOS 17374 HAS SOPS 17374 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15834.374
AT ITER 354 NEW BEST:: SOT 82196 SOS 17340 HAS SOPS 17340 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15766.34
AT ITER 366 NEW BEST:: SOT 82196 SOS 17340 HAS SOPS 17340 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15765.34
AT ITER 376 NEW BEST:: SOT 82196 SOS 17330 HAS SOPS 17330 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15765.33
AT ITER 408 NEW BEST:: SOT 82220 SOS 17304 HAS SOPS 17304 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15739.304
AT ITER 418 NEW BEST:: SOT 82201 SOS 17266 HAS SOPS 17266 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15737.266
AT ITER 458 NEW BEST:: SOT 82201 SOS 17255 HAS SOPS 17255 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15726.255
AT ITER 477 NEW BEST:: SOT 82184 SOS 17221 HAS SOPS 17221 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15692.221
AT ITER 481 NEW BEST:: SOT 82177 SOS 17207 HAS SOPS 17207 HAS SOUS 15661 HAS SOUPS 15661 WITH SCORE 15678.207
AT ITER 484 NEW BEST:: SOT 82177 SOS 17207 HAS SOPS 17207 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15677.207
AT ITER 485 NEW BEST:: SOT 82166 SOS 17206 HAS SOPS 17206 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15676.206
AT ITER 487 NEW BEST:: SOT 82172 SOS 17218 HAS SOPS 17218 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15654.218
AT ITER 533 NEW BEST:: SOT 82172 SOS 17215 HAS SOPS 17215 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15651.215
AT ITER 553 NEW BEST:: SOT 82159 SOS 17189 HAS SOPS 17189 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15625.189
AT ITER 557 NEW BEST:: SOT 82145 SOS 17175 HAS SOPS 17175 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15611.175
AT ITER 592 NEW BEST:: SOT 82103 SOS 17140 HAS SOPS 17140 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15567.14
AT ITER 594 NEW BEST:: SOT 82103 SOS 17137 HAS SOPS 17137 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15564.137
AT ITER 595 NEW BEST:: SOT 82100 SOS 17093 HAS SOPS 17093 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15540.093
AT ITER 602 NEW BEST:: SOT 82100 SOS 17093 HAS SOPS 17093 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15538.093
AT ITER 633 NEW BEST:: SOT 82100 SOS 17079 HAS SOPS 17079 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15531.079
AT ITER 637 NEW BEST:: SOT 82052 SOS 17055 HAS SOPS 17055 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15507.055
AT ITER 638 NEW BEST:: SOT 81974 SOS 16997 HAS SOPS 16997 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15379.997
AT ITER 670 NEW BEST:: SOT 81930 SOS 16931 HAS SOPS 16931 HAS SOUS 15297 HAS SOUPS 15297 WITH SCORE 15313.931
AT ITER 682 NEW BEST:: SOT 81952 SOS 16966 HAS SOPS 16966 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15272.966
AT ITER 708 NEW BEST:: SOT 81952 SOS 16966 HAS SOPS 16966 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15262.966
AT ITER 745 NEW BEST:: SOT 81930 SOS 16970 HAS SOPS 16970 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15248.97
AT ITER 756 NEW BEST:: SOT 81930 SOS 16956 HAS SOPS 16956 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15234.956
AT ITER 766 NEW BEST:: SOT 81928 SOS 16952 HAS SOPS 16952 HAS SOUS 15197 HAS SOUPS 15197 WITH SCORE 15213.952
AT ITER 776 NEW BEST:: SOT 81868 SOS 16903 HAS SOPS 16903 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15153.903
AT ITER 778 NEW BEST:: SOT 81813 SOS 16728 HAS SOPS 16728 HAS SOUS 15004 HAS SOUPS 15004 WITH SCORE 15020.728
AT ITER 798 NEW BEST:: SOT 81832 SOS 16648 HAS SOPS 16648 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14997.648
AT ITER 800 NEW BEST:: SOT 81830 SOS 16633 HAS SOPS 16633 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14997.633
AT ITER 816 NEW BEST:: SOT 81826 SOS 16625 HAS SOPS 16625 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 14989.625
AT ITER 830 NEW BEST:: SOT 81800 SOS 16580 HAS SOPS 16580 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14944.58
AT ITER 833 NEW BEST:: SOT 81814 SOS 16608 HAS SOPS 16608 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14936.608
AT ITER 843 NEW BEST:: SOT 81795 SOS 16589 HAS SOPS 16589 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14931.589
AT ITER 881 NEW BEST:: SOT 81762 SOS 16616 HAS SOPS 16616 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14929.616
AT ITER 903 NEW BEST:: SOT 81762 SOS 16615 HAS SOPS 16615 HAS SOUS 14912 HAS SOUPS 14912 WITH SCORE 14928.615
AT ITER 921 NEW BEST:: SOT 81762 SOS 16601 HAS SOPS 16601 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14914.601
AT ITER 990 NEW BEST:: SOT 81762 SOS 16592 HAS SOPS 16592 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14914.592
AT ITER 1024 NEW BEST:: SOT 81742 SOS 16591 HAS SOPS 16591 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14913.591
AT ITER 1047 NEW BEST:: SOT 81742 SOS 16590 HAS SOPS 16590 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14912.59
AT ITER 1072 NEW BEST:: SOT 81742 SOS 16571 HAS SOPS 16571 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14907.571
AT ITER 1105 NEW BEST:: SOT 81739 SOS 16541 HAS SOPS 16541 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14901.541
AT ITER 1106 NEW BEST:: SOT 81739 SOS 16522 HAS SOPS 16522 HAS SOUS 14866 HAS SOUPS 14866 WITH SCORE 14882.522
AT ITER 1131 NEW BEST:: SOT 81732 SOS 16508 HAS SOPS 16508 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14875.508
AT ITER 1151 NEW BEST:: SOT 81725 SOS 16501 HAS SOPS 16501 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14868.501
AT ITER 1181 NEW BEST:: SOT 81725 SOS 16467 HAS SOPS 16467 HAS SOUS 14818 HAS SOUPS 14818 WITH SCORE 14834.467
AT ITER 1185 NEW BEST:: SOT 81724 SOS 16481 HAS SOPS 16481 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14832.481
AT ITER 1188 NEW BEST:: SOT 81695 SOS 16453 HAS SOPS 16453 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14804.453
AT ITER 1196 NEW BEST:: SOT 81694 SOS 16453 HAS SOPS 16453 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14803.453
AT ITER 1220 NEW BEST:: SOT 81681 SOS 16427 HAS SOPS 16427 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14777.427
AT ITER 1226 NEW BEST:: SOT 81681 SOS 16417 HAS SOPS 16417 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14767.417
AT ITER 1247 NEW BEST:: SOT 81693 SOS 16318 HAS SOPS 16318 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.318
AT ITER 1256 NEW BEST:: SOT 81683 SOS 16308 HAS SOPS 16308 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14742.308
AT ITER 1296 NEW BEST:: SOT 81683 SOS 16262 HAS SOPS 16262 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14703.262
AT ITER 1318 NEW BEST:: SOT 81683 SOS 16242 HAS SOPS 16242 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14683.242
AT ITER 1326 NEW BEST:: SOT 81683 SOS 16241 HAS SOPS 16241 HAS SOUS 14666 HAS SOUPS 14666 WITH SCORE 14682.241
AT ITER 1332 NEW BEST:: SOT 81665 SOS 16228 HAS SOPS 16228 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14671.228
AT ITER 1338 NEW BEST:: SOT 81678 SOS 16254 HAS SOPS 16254 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14651.254
AT ITER 1428 NEW BEST:: SOT 81667 SOS 16232 HAS SOPS 16232 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.232
AT ITER 1436 NEW BEST:: SOT 81659 SOS 16216 HAS SOPS 16216 HAS SOUS 14608 HAS SOUPS 14608 WITH SCORE 14624.216
AT ITER 1443 NEW BEST:: SOT 81659 SOS 16164 HAS SOPS 16164 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14598.164
AT ITER 1455 NEW BEST:: SOT 81665 SOS 16161 HAS SOPS 16161 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14595.161
AT ITER 1475 NEW BEST:: SOT 81632 SOS 16114 HAS SOPS 16114 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14568.114
AT ITER 1489 NEW BEST:: SOT 81645 SOS 16102 HAS SOPS 16102 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14556.102
AT ITER 1502 NEW BEST:: SOT 81645 SOS 16096 HAS SOPS 16096 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14554.096
AT ITER 1515 NEW BEST:: SOT 81640 SOS 16086 HAS SOPS 16086 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14554.086
AT ITER 1519 NEW BEST:: SOT 81615 SOS 16061 HAS SOPS 16061 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14528.061
AT ITER 1520 NEW BEST:: SOT 81615 SOS 16048 HAS SOPS 16048 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14515.048
AT ITER 1564 NEW BEST:: SOT 81580 SOS 16012 HAS SOPS 16012 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14479.012
AT ITER 1581 NEW BEST:: SOT 81572 SOS 15991 HAS SOPS 15991 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14457.991
AT ITER 1654 NEW BEST:: SOT 81539 SOS 15947 HAS SOPS 15947 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14424.947
AT ITER 1676 NEW BEST:: SOT 81539 SOS 15927 HAS SOPS 15927 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14404.927
AT ITER 1725 NEW BEST:: SOT 81526 SOS 16049 HAS SOPS 16049 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14396.049
AT ITER 1735 NEW BEST:: SOT 81526 SOS 16014 HAS SOPS 16014 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14361.014
AT ITER 1755 NEW BEST:: SOT 81490 SOS 16020 HAS SOPS 16020 HAS SOUS 14299 HAS SOUPS 14299 WITH SCORE 14315.02
AT ITER 1787 NEW BEST:: SOT 81467 SOS 15962 HAS SOPS 15962 HAS SOUS 14276 HAS SOUPS 14276 WITH SCORE 14291.962
AT ITER 1819 NEW BEST:: SOT 81467 SOS 15962 HAS SOPS 15962 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14277.962
AT ITER 1834 NEW BEST:: SOT 81535 SOS 15961 HAS SOPS 15961 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14276.961
AT ITER 1868 NEW BEST:: SOT 81516 SOS 15961 HAS SOPS 15961 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14267.961
AT ITER 1873 NEW BEST:: SOT 81516 SOS 15955 HAS SOPS 15955 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14261.955
AT ITER 1933 NEW BEST:: SOT 81507 SOS 15909 HAS SOPS 15909 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14252.909
AT ITER 1937 NEW BEST:: SOT 81507 SOS 15898 HAS SOPS 15898 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.898
AT ITER 1941 NEW BEST:: SOT 81507 SOS 15860 HAS SOPS 15860 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14203.86
AT ITER 1962 NEW BEST:: SOT 81490 SOS 15760 HAS SOPS 15760 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14164.76
AT ITER 1993 NEW BEST:: SOT 81509 SOS 15746 HAS SOPS 15746 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14150.746
AT ITER 2020 NEW BEST:: SOT 81502 SOS 15725 HAS SOPS 15725 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14143.725
AT ITER 2088 NEW BEST:: SOT 81464 SOS 15699 HAS SOPS 15699 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14129.699
AT ITER 2090 NEW BEST:: SOT 81464 SOS 15683 HAS SOPS 15683 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14113.683
AT ITER 2182 NEW BEST:: SOT 81440 SOS 15663 HAS SOPS 15663 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14093.663
AT ITER 2216 NEW BEST:: SOT 81440 SOS 15661 HAS SOPS 15661 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14091.661
AT ITER 2243 NEW BEST:: SOT 81435 SOS 15651 HAS SOPS 15651 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14081.651
AT ITER 2246 NEW BEST:: SOT 81428 SOS 15637 HAS SOPS 15637 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14067.637
AT ITER 2249 NEW BEST:: SOT 81411 SOS 15603 HAS SOPS 15603 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14021.603
AT ITER 2251 NEW BEST:: SOT 81395 SOS 15633 HAS SOPS 15633 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13968.633
AT ITER 2258 NEW BEST:: SOT 81391 SOS 15621 HAS SOPS 15621 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13964.621
AT ITER 2276 NEW BEST:: SOT 81388 SOS 15615 HAS SOPS 15615 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13960.615
AT ITER 2312 NEW BEST:: SOT 81376 SOS 15555 HAS SOPS 15555 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13932.555
AT ITER 2321 NEW BEST:: SOT 81398 SOS 15478 HAS SOPS 15478 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13848.478
AT ITER 2324 NEW BEST:: SOT 81398 SOS 15476 HAS SOPS 15476 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13846.476
AT ITER 2331 NEW BEST:: SOT 81398 SOS 15459 HAS SOPS 15459 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13829.459
AT ITER 2333 NEW BEST:: SOT 81389 SOS 15441 HAS SOPS 15441 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.441
AT ITER 2351 NEW BEST:: SOT 81389 SOS 15411 HAS SOPS 15411 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.411
AT ITER 2371 NEW BEST:: SOT 81388 SOS 15409 HAS SOPS 15409 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13809.409
AT ITER 2379 NEW BEST:: SOT 81383 SOS 15145 HAS SOPS 15145 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13786.145
AT ITER 2415 NEW BEST:: SOT 81390 SOS 15134 HAS SOPS 15134 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13775.134
AT ITER 2443 NEW BEST:: SOT 81390 SOS 15115 HAS SOPS 15115 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13756.115
AT ITER 2465 NEW BEST:: SOT 81390 SOS 15103 HAS SOPS 15103 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13744.103
AT ITER 2493 NEW BEST:: SOT 81371 SOS 15088 HAS SOPS 15088 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.088
AT ITER 2504 NEW BEST:: SOT 81359 SOS 15060 HAS SOPS 15060 HAS SOUS 13681 HAS SOUPS 13681 WITH SCORE 13696.06
AT ITER 2507 NEW BEST:: SOT 81359 SOS 15046 HAS SOPS 15046 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13682.046
AT ITER 2546 NEW BEST:: SOT 81390 SOS 15008 HAS SOPS 15008 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.008
AT ITER 2572 NEW BEST:: SOT 81389 SOS 14981 HAS SOPS 14981 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13653.981
AT ITER 2603 NEW BEST:: SOT 81379 SOS 14951 HAS SOPS 14951 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13633.951
AT ITER 2612 NEW BEST:: SOT 81360 SOS 14913 HAS SOPS 14913 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13624.913
AT ITER 2628 NEW BEST:: SOT 81360 SOS 14879 HAS SOPS 14879 HAS SOUS 13576 HAS SOUPS 13576 WITH SCORE 13590.879
AT ITER 2643 NEW BEST:: SOT 81350 SOS 14859 HAS SOPS 14859 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13580.859
AT ITER 2705 NEW BEST:: SOT 81343 SOS 14850 HAS SOPS 14850 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13571.85
AT ITER 2710 NEW BEST:: SOT 81328 SOS 14820 HAS SOPS 14820 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.82
AT ITER 2737 NEW BEST:: SOT 81328 SOS 14819 HAS SOPS 14819 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13555.819
AT ITER 2779 NEW BEST:: SOT 81319 SOS 14777 HAS SOPS 14777 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13513.777
AT ITER 2802 NEW BEST:: SOT 81294 SOS 14685 HAS SOPS 14685 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13469.685
AT ITER 2839 NEW BEST:: SOT 81291 SOS 14699 HAS SOPS 14699 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13467.699
AT ITER 2889 NEW BEST:: SOT 81284 SOS 14685 HAS SOPS 14685 HAS SOUS 13439 HAS SOUPS 13439 WITH SCORE 13453.685
AT ITER 2945 NEW BEST:: SOT 81251 SOS 14643 HAS SOPS 14643 HAS SOUS 13397 HAS SOUPS 13397 WITH SCORE 13411.643
AT ITER 2956 NEW BEST:: SOT 81270 SOS 14681 HAS SOPS 14681 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13403.681
AT ITER 2975 NEW BEST:: SOT 81248 SOS 14638 HAS SOPS 14638 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13377.638
AT ITER 2988 NEW BEST:: SOT 81251 SOS 14628 HAS SOPS 14628 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13364.628
AT ITER 2995 NEW BEST:: SOT 81251 SOS 14587 HAS SOPS 14587 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13323.587
AT ITER 3024 NEW BEST:: SOT 81217 SOS 14654 HAS SOPS 14654 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.654
AT ITER 3049 NEW BEST:: SOT 81215 SOS 14644 HAS SOPS 14644 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13272.644
AT ITER 3077 NEW BEST:: SOT 81215 SOS 14635 HAS SOPS 14635 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13263.635
AT ITER 3078 NEW BEST:: SOT 81215 SOS 14631 HAS SOPS 14631 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13259.631
AT ITER 3107 NEW BEST:: SOT 81215 SOS 14634 HAS SOPS 14634 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13256.634
AT ITER 3129 NEW BEST:: SOT 81206 SOS 14616 HAS SOPS 14616 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13247.616
AT ITER 3148 NEW BEST:: SOT 81193 SOS 14586 HAS SOPS 14586 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13217.586
AT ITER 3209 NEW BEST:: SOT 81194 SOS 14576 HAS SOPS 14576 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13206.576
AT ITER 3229 NEW BEST:: SOT 81194 SOS 14549 HAS SOPS 14549 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13179.549
AT ITER 3237 NEW BEST:: SOT 81199 SOS 14548 HAS SOPS 14548 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13178.548
AT ITER 3251 NEW BEST:: SOT 81195 SOS 14536 HAS SOPS 14536 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13170.536
AT ITER 3267 NEW BEST:: SOT 81181 SOS 14508 HAS SOPS 14508 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13134.508
AT ITER 3313 NEW BEST:: SOT 81166 SOS 14495 HAS SOPS 14495 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13121.495
AT ITER 3346 NEW BEST:: SOT 81157 SOS 14477 HAS SOPS 14477 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13103.477
AT ITER 3372 NEW BEST:: SOT 81139 SOS 14459 HAS SOPS 14459 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13079.459
AT ITER 3429 NEW BEST:: SOT 81145 SOS 14458 HAS SOPS 14458 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.458
AT ITER 3450 NEW BEST:: SOT 81144 SOS 14424 HAS SOPS 14424 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13044.424
AT ITER 3517 NEW BEST:: SOT 81140 SOS 14415 HAS SOPS 14415 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13035.415
AT ITER 3522 NEW BEST:: SOT 81141 SOS 14414 HAS SOPS 14414 HAS SOUS 13020 HAS SOUPS 13020 WITH SCORE 13034.414
AT ITER 3525 NEW BEST:: SOT 81129 SOS 14390 HAS SOPS 14390 HAS SOUS 13020 HAS SOUPS 13020 WITH SCORE 13034.39
AT ITER 3527 NEW BEST:: SOT 81129 SOS 14388 HAS SOPS 14388 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.388
AT ITER 3535 NEW BEST:: SOT 81123 SOS 14394 HAS SOPS 14394 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13014.394
AT ITER 3568 NEW BEST:: SOT 81107 SOS 14399 HAS SOPS 14399 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13009.399
AT ITER 3576 NEW BEST:: SOT 81110 SOS 14397 HAS SOPS 14397 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13003.397
AT ITER 3596 NEW BEST:: SOT 81102 SOS 14381 HAS SOPS 14381 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12965.381
AT ITER 3603 NEW BEST:: SOT 81074 SOS 14349 HAS SOPS 14349 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12925.349
AT ITER 3637 NEW BEST:: SOT 81065 SOS 14331 HAS SOPS 14331 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 12895.331
AT ITER 3654 NEW BEST:: SOT 81055 SOS 14257 HAS SOPS 14257 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12857.257
AT ITER 3695 NEW BEST:: SOT 81055 SOS 14255 HAS SOPS 14255 HAS SOUS 12841 HAS SOUPS 12841 WITH SCORE 12855.255
AT ITER 3696 NEW BEST:: SOT 81053 SOS 14252 HAS SOPS 14252 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12852.252
AT ITER 3712 NEW BEST:: SOT 81039 SOS 14238 HAS SOPS 14238 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12810.238
AT ITER 3714 NEW BEST:: SOT 81039 SOS 14233 HAS SOPS 14233 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12810.233
AT ITER 3748 NEW BEST:: SOT 81033 SOS 14224 HAS SOPS 14224 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12801.224
AT ITER 3754 NEW BEST:: SOT 81033 SOS 14176 HAS SOPS 14176 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12781.176
AT ITER 3760 NEW BEST:: SOT 81031 SOS 14160 HAS SOPS 14160 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12772.16
AT ITER 3777 NEW BEST:: SOT 81017 SOS 14135 HAS SOPS 14135 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12747.135
AT ITER 3801 NEW BEST:: SOT 81003 SOS 14062 HAS SOPS 14062 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12674.062
AT ITER 3808 NEW BEST:: SOT 81022 SOS 14100 HAS SOPS 14100 HAS SOUS 12657 HAS SOUPS 12657 WITH SCORE 12671.1
AT ITER 3811 NEW BEST:: SOT 81022 SOS 14095 HAS SOPS 14095 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12666.095
AT ITER 3812 NEW BEST:: SOT 81017 SOS 14085 HAS SOPS 14085 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12655.085
AT ITER 3833 NEW BEST:: SOT 81018 SOS 14081 HAS SOPS 14081 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12651.081
AT ITER 3874 NEW BEST:: SOT 81064 SOS 14073 HAS SOPS 14073 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12643.073
AT ITER 3901 NEW BEST:: SOT 81064 SOS 14057 HAS SOPS 14057 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12627.057
AT ITER 3907 NEW BEST:: SOT 81050 SOS 14005 HAS SOPS 14005 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12599.005
AT ITER 3984 NEW BEST:: SOT 81062 SOS 14029 HAS SOPS 14029 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12593.029
AT ITER 3985 NEW BEST:: SOT 81060 SOS 14025 HAS SOPS 14025 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12589.025
AT ITER 3986 NEW BEST:: SOT 81052 SOS 13976 HAS SOPS 13976 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12569.976
AT ITER 3995 NEW BEST:: SOT 81052 SOS 13976 HAS SOPS 13976 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12567.976
AT ITER 4093 NEW BEST:: SOT 81051 SOS 13966 HAS SOPS 13966 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12558.966
AT ITER 4114 NEW BEST:: SOT 81046 SOS 13956 HAS SOPS 13956 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12548.956
AT ITER 4118 NEW BEST:: SOT 81053 SOS 13933 HAS SOPS 13933 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12537.933
AT ITER 4146 NEW BEST:: SOT 81053 SOS 13928 HAS SOPS 13928 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12532.928
AT ITER 4149 NEW BEST:: SOT 81057 SOS 13929 HAS SOPS 13929 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12529.929
AT ITER 4184 NEW BEST:: SOT 81057 SOS 13929 HAS SOPS 13929 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12523.929
AT ITER 4210 NEW BEST:: SOT 81063 SOS 13923 HAS SOPS 13923 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12523.923
AT ITER 4235 NEW BEST:: SOT 81047 SOS 13898 HAS SOPS 13898 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12484.898
AT ITER 4241 NEW BEST:: SOT 81055 SOS 13905 HAS SOPS 13905 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12483.905
AT ITER 4243 NEW BEST:: SOT 81055 SOS 13852 HAS SOPS 13852 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12483.852
AT ITER 4272 NEW BEST:: SOT 81056 SOS 13849 HAS SOPS 13849 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12477.849
AT ITER 4307 NEW BEST:: SOT 81056 SOS 13847 HAS SOPS 13847 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12476.847
AT ITER 4313 NEW BEST:: SOT 81054 SOS 13719 HAS SOPS 13719 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12473.719
AT ITER 4329 NEW BEST:: SOT 81029 SOS 13676 HAS SOPS 13676 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12450.676
AT ITER 4331 NEW BEST:: SOT 81028 SOS 13654 HAS SOPS 13654 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12428.654
AT ITER 4401 NEW BEST:: SOT 81026 SOS 13650 HAS SOPS 13650 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12428.65
AT ITER 4423 NEW BEST:: SOT 81020 SOS 13638 HAS SOPS 13638 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12416.638
AT ITER 4442 NEW BEST:: SOT 81020 SOS 13635 HAS SOPS 13635 HAS SOUS 12400 HAS SOUPS 12400 WITH SCORE 12413.635
AT ITER 4455 NEW BEST:: SOT 81020 SOS 13630 HAS SOPS 13630 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12408.63
AT ITER 4504 NEW BEST:: SOT 81020 SOS 13630 HAS SOPS 13630 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12407.63
AT ITER 4506 NEW BEST:: SOT 81020 SOS 13613 HAS SOPS 13613 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12400.613
AT ITER 4507 NEW BEST:: SOT 81015 SOS 13603 HAS SOPS 13603 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12390.603
AT ITER 4510 NEW BEST:: SOT 81004 SOS 13581 HAS SOPS 13581 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12368.581
AT ITER 4568 NEW BEST:: SOT 81017 SOS 13607 HAS SOPS 13607 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12362.607
AT ITER 4591 NEW BEST:: SOT 81017 SOS 13606 HAS SOPS 13606 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12362.606
AT ITER 4653 NEW BEST:: SOT 81010 SOS 13592 HAS SOPS 13592 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12348.592
AT ITER 4706 NEW BEST:: SOT 81010 SOS 13589 HAS SOPS 13589 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12345.589
AT ITER 4714 NEW BEST:: SOT 81008 SOS 13587 HAS SOPS 13587 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12343.587
AT ITER 4740 NEW BEST:: SOT 81008 SOS 13541 HAS SOPS 13541 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12343.541
AT ITER 4745 NEW BEST:: SOT 80998 SOS 13531 HAS SOPS 13531 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12333.531
AT ITER 4800 NEW BEST:: SOT 80989 SOS 13536 HAS SOPS 13536 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12301.536
AT ITER 4808 NEW BEST:: SOT 80989 SOS 13533 HAS SOPS 13533 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12298.533
AT ITER 4823 NEW BEST:: SOT 80977 SOS 13490 HAS SOPS 13490 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12263.49
AT ITER 4858 NEW BEST:: SOT 80985 SOS 13464 HAS SOPS 13464 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12237.464
AT ITER 4877 NEW BEST:: SOT 80986 SOS 13463 HAS SOPS 13463 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12236.463
AT ITER 4881 NEW BEST:: SOT 80987 SOS 13458 HAS SOPS 13458 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12231.458
AT ITER 4894 NEW BEST:: SOT 80995 SOS 13455 HAS SOPS 13455 HAS SOUS 12215 HAS SOUPS 12215 WITH SCORE 12228.455
AT ITER 4925 NEW BEST:: SOT 80995 SOS 13454 HAS SOPS 13454 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12227.454
AT ITER 4953 NEW BEST:: SOT 80941 SOS 13346 HAS SOPS 13346 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12119.346
AT ITER 5047 NEW BEST:: SOT 80941 SOS 13325 HAS SOPS 13325 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12112.325
AT ITER 5071 NEW BEST:: SOT 80950 SOS 13344 HAS SOPS 13344 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12084.344
AT ITER 5080 NEW BEST:: SOT 80949 SOS 13327 HAS SOPS 13327 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12067.327
AT ITER 5100 NEW BEST:: SOT 80944 SOS 13327 HAS SOPS 13327 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12062.327
AT ITER 5103 NEW BEST:: SOT 80926 SOS 13291 HAS SOPS 13291 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12044.291
AT ITER 5117 NEW BEST:: SOT 80926 SOS 13291 HAS SOPS 13291 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12043.291
AT ITER 5143 NEW BEST:: SOT 80913 SOS 13243 HAS SOPS 13243 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12014.243
AT ITER 5146 NEW BEST:: SOT 80902 SOS 13232 HAS SOPS 13232 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11993.232
AT ITER 5166 NEW BEST:: SOT 80902 SOS 13202 HAS SOPS 13202 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11933.202
AT ITER 5173 NEW BEST:: SOT 80898 SOS 13253 HAS SOPS 13253 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11918.253
AT ITER 5174 NEW BEST:: SOT 80956 SOS 13311 HAS SOPS 13311 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11916.311
AT ITER 5182 NEW BEST:: SOT 80955 SOS 13293 HAS SOPS 13293 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11915.293
AT ITER 5226 NEW BEST:: SOT 80931 SOS 13245 HAS SOPS 13245 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11867.245
AT ITER 5325 NEW BEST:: SOT 80921 SOS 13243 HAS SOPS 13243 HAS SOUS 11844 HAS SOUPS 11844 WITH SCORE 11857.243
AT ITER 5329 NEW BEST:: SOT 80905 SOS 13227 HAS SOPS 13227 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11840.227
AT ITER 5350 NEW BEST:: SOT 80879 SOS 13189 HAS SOPS 13189 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11802.189
AT ITER 5357 NEW BEST:: SOT 80877 SOS 13187 HAS SOPS 13187 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11802.187
AT ITER 5387 NEW BEST:: SOT 80877 SOS 13179 HAS SOPS 13179 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11798.179
AT ITER 5425 NEW BEST:: SOT 80874 SOS 13173 HAS SOPS 13173 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11789.173
AT ITER 5478 NEW BEST:: SOT 80869 SOS 13163 HAS SOPS 13163 HAS SOUS 11757 HAS SOUPS 11757 WITH SCORE 11770.163
AT ITER 5480 NEW BEST:: SOT 80869 SOS 13154 HAS SOPS 13154 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11761.154
AT ITER 5491 NEW BEST:: SOT 80900 SOS 13129 HAS SOPS 13129 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11757.129
AT ITER 5501 NEW BEST:: SOT 80900 SOS 13125 HAS SOPS 13125 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11757.125
AT ITER 5570 NEW BEST:: SOT 80900 SOS 13118 HAS SOPS 13118 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11757.118
AT ITER 5620 NEW BEST:: SOT 80899 SOS 13119 HAS SOPS 13119 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11756.119
AT ITER 5713 NEW BEST:: SOT 80891 SOS 13103 HAS SOPS 13103 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11740.103
AT ITER 5720 NEW BEST:: SOT 80883 SOS 13101 HAS SOPS 13101 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11738.101
AT ITER 5743 NEW BEST:: SOT 80879 SOS 13089 HAS SOPS 13089 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11730.089
AT ITER 5798 NEW BEST:: SOT 80879 SOS 13035 HAS SOPS 13035 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11730.035
AT ITER 5805 NEW BEST:: SOT 80896 SOS 13052 HAS SOPS 13052 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11729.052
AT ITER 5817 NEW BEST:: SOT 80872 SOS 13022 HAS SOPS 13022 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11699.022
AT ITER 5826 NEW BEST:: SOT 80872 SOS 13007 HAS SOPS 13007 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11684.007
AT ITER 5828 NEW BEST:: SOT 80872 SOS 12942 HAS SOPS 12942 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11683.942
AT ITER 5836 NEW BEST:: SOT 80882 SOS 12962 HAS SOPS 12962 HAS SOUS 11669 HAS SOUPS 11669 WITH SCORE 11681.962
AT ITER 5840 NEW BEST:: SOT 80881 SOS 12964 HAS SOPS 12964 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11680.964
AT ITER 5886 NEW BEST:: SOT 80871 SOS 12944 HAS SOPS 12944 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11660.944
AT ITER 5897 NEW BEST:: SOT 80880 SOS 12949 HAS SOPS 12949 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11656.949
AT ITER 5936 NEW BEST:: SOT 80859 SOS 12934 HAS SOPS 12934 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11618.934
AT ITER 5942 NEW BEST:: SOT 80847 SOS 12898 HAS SOPS 12898 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11594.898
AT ITER 5991 NEW BEST:: SOT 80843 SOS 12890 HAS SOPS 12890 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11590.89
AT ITER 6023 NEW BEST:: SOT 80816 SOS 12874 HAS SOPS 12874 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11574.874
AT ITER 6046 NEW BEST:: SOT 80816 SOS 12873 HAS SOPS 12873 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11572.873
AT ITER 6060 NEW BEST:: SOT 80833 SOS 12880 HAS SOPS 12880 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11554.88
AT ITER 6111 NEW BEST:: SOT 80824 SOS 12868 HAS SOPS 12868 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11542.868
AT ITER 6137 NEW BEST:: SOT 80824 SOS 12796 HAS SOPS 12796 HAS SOUS 11498 HAS SOUPS 11498 WITH SCORE 11510.796
AT ITER 6145 NEW BEST:: SOT 80803 SOS 12791 HAS SOPS 12791 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11503.791
AT ITER 6149 NEW BEST:: SOT 80807 SOS 12799 HAS SOPS 12799 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11465.799
AT ITER 6171 NEW BEST:: SOT 80804 SOS 12787 HAS SOPS 12787 HAS SOUS 11447 HAS SOUPS 11447 WITH SCORE 11459.787
AT ITER 6242 NEW BEST:: SOT 80804 SOS 12780 HAS SOPS 12780 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11452.78
AT ITER 6245 NEW BEST:: SOT 80797 SOS 12772 HAS SOPS 12772 HAS SOUS 11432 HAS SOUPS 11432 WITH SCORE 11444.772
AT ITER 6249 NEW BEST:: SOT 80805 SOS 12788 HAS SOPS 12788 HAS SOUS 11426 HAS SOUPS 11426 WITH SCORE 11438.788
AT ITER 6322 NEW BEST:: SOT 80807 SOS 12801 HAS SOPS 12801 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11433.801
AT ITER 6361 NEW BEST:: SOT 80807 SOS 12801 HAS SOPS 12801 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11428.801
AT ITER 6368 NEW BEST:: SOT 80808 SOS 12787 HAS SOPS 12787 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11409.787
AT ITER 6370 NEW BEST:: SOT 80807 SOS 12783 HAS SOPS 12783 HAS SOUS 11393 HAS SOUPS 11393 WITH SCORE 11405.783
AT ITER 6374 NEW BEST:: SOT 80806 SOS 12781 HAS SOPS 12781 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11403.781
AT ITER 6398 NEW BEST:: SOT 80799 SOS 12767 HAS SOPS 12767 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11403.767
AT ITER 6494 NEW BEST:: SOT 80798 SOS 12765 HAS SOPS 12765 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11401.765
AT ITER 6502 NEW BEST:: SOT 80802 SOS 12749 HAS SOPS 12749 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11399.749
AT ITER 6511 NEW BEST:: SOT 80773 SOS 12745 HAS SOPS 12745 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11370.745
AT ITER 6527 NEW BEST:: SOT 80768 SOS 12740 HAS SOPS 12740 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.74
AT ITER 6599 NEW BEST:: SOT 80765 SOS 12731 HAS SOPS 12731 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.731
AT ITER 6607 NEW BEST:: SOT 80765 SOS 12686 HAS SOPS 12686 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.686
AT ITER 6627 NEW BEST:: SOT 80745 SOS 12646 HAS SOPS 12646 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11352.646
AT ITER 6644 NEW BEST:: SOT 80731 SOS 12628 HAS SOPS 12628 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11334.628
AT ITER 6660 NEW BEST:: SOT 80713 SOS 12654 HAS SOPS 12654 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11324.654
AT ITER 6678 NEW BEST:: SOT 80703 SOS 12634 HAS SOPS 12634 HAS SOUS 11292 HAS SOUPS 11292 WITH SCORE 11304.634
AT ITER 6681 NEW BEST:: SOT 80704 SOS 12620 HAS SOPS 12620 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11280.62
AT ITER 6725 NEW BEST:: SOT 80707 SOS 12602 HAS SOPS 12602 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11262.602
AT ITER 6732 NEW BEST:: SOT 80706 SOS 12594 HAS SOPS 12594 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11254.594
AT ITER 6799 NEW BEST:: SOT 80702 SOS 12586 HAS SOPS 12586 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11246.586
AT ITER 6868 NEW BEST:: SOT 80697 SOS 12564 HAS SOPS 12564 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.564
AT ITER 6903 NEW BEST:: SOT 80670 SOS 12545 HAS SOPS 12545 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11198.545
AT ITER 6959 NEW BEST:: SOT 80681 SOS 12513 HAS SOPS 12513 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11198.513
AT ITER 6964 NEW BEST:: SOT 80694 SOS 12493 HAS SOPS 12493 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11178.493
AT ITER 7015 NEW BEST:: SOT 80693 SOS 12491 HAS SOPS 12491 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11173.491
AT ITER 7039 NEW BEST:: SOT 80693 SOS 12474 HAS SOPS 12474 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11156.474
AT ITER 7053 NEW BEST:: SOT 80701 SOS 12473 HAS SOPS 12473 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11155.473
AT ITER 7062 NEW BEST:: SOT 80700 SOS 12471 HAS SOPS 12471 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11153.471
AT ITER 7091 NEW BEST:: SOT 80700 SOS 12466 HAS SOPS 12466 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11148.466
AT ITER 7133 NEW BEST:: SOT 80689 SOS 12444 HAS SOPS 12444 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11126.444
AT ITER 7147 NEW BEST:: SOT 80682 SOS 12440 HAS SOPS 12440 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11122.44
AT ITER 7153 NEW BEST:: SOT 80680 SOS 12436 HAS SOPS 12436 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.436
AT ITER 7197 NEW BEST:: SOT 80680 SOS 12436 HAS SOPS 12436 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11115.436
AT ITER 7200 NEW BEST:: SOT 80680 SOS 12436 HAS SOPS 12436 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11107.436
AT ITER 7219 NEW BEST:: SOT 80681 SOS 12433 HAS SOPS 12433 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11104.433
AT ITER 7483 NEW BEST:: SOT 80681 SOS 12432 HAS SOPS 12432 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.432
AT ITER 7504 NEW BEST:: SOT 80681 SOS 12422 HAS SOPS 12422 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.422
AT ITER 7520 NEW BEST:: SOT 80681 SOS 12418 HAS SOPS 12418 HAS SOUS 11077 HAS SOUPS 11077 WITH SCORE 11089.418
AT ITER 7551 NEW BEST:: SOT 80681 SOS 12406 HAS SOPS 12406 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11077.406
AT ITER 7559 NEW BEST:: SOT 80681 SOS 12405 HAS SOPS 12405 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11076.405
AT ITER 7568 NEW BEST:: SOT 80681 SOS 12415 HAS SOPS 12415 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11071.415
AT ITER 7676 NEW BEST:: SOT 80688 SOS 12397 HAS SOPS 12397 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11057.397
AT ITER 7725 NEW BEST:: SOT 80683 SOS 12392 HAS SOPS 12392 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11052.392
AT ITER 7794 NEW BEST:: SOT 80657 SOS 12359 HAS SOPS 12359 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11019.359
AT ITER 7832 NEW BEST:: SOT 80665 SOS 12273 HAS SOPS 12273 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.273
AT ITER 7904 NEW BEST:: SOT 80665 SOS 12271 HAS SOPS 12271 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11015.271
AT ITER 7920 NEW BEST:: SOT 80653 SOS 12260 HAS SOPS 12260 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.26
AT ITER 8106 NEW BEST:: SOT 80647 SOS 12248 HAS SOPS 12248 HAS SOUS 10982 HAS SOUPS 10982 WITH SCORE 10994.248
AT ITER 8159 NEW BEST:: SOT 80631 SOS 12225 HAS SOPS 12225 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10971.225
AT ITER 8195 NEW BEST:: SOT 80620 SOS 12218 HAS SOPS 12218 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10964.218
AT ITER 8233 NEW BEST:: SOT 80616 SOS 12214 HAS SOPS 12214 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10956.214
AT ITER 8293 NEW BEST:: SOT 80602 SOS 12208 HAS SOPS 12208 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10950.208
AT ITER 8330 NEW BEST:: SOT 80609 SOS 12248 HAS SOPS 12248 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.248
AT ITER 8346 NEW BEST:: SOT 80603 SOS 12236 HAS SOPS 12236 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.236
AT ITER 8401 NEW BEST:: SOT 80596 SOS 12222 HAS SOPS 12222 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10925.222
AT ITER 8409 NEW BEST:: SOT 80595 SOS 12220 HAS SOPS 12220 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10923.22
AT ITER 8436 NEW BEST:: SOT 80596 SOS 12220 HAS SOPS 12220 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10922.22
AT ITER 8458 NEW BEST:: SOT 80613 SOS 12203 HAS SOPS 12203 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10922.203
AT ITER 8512 NEW BEST:: SOT 80610 SOS 12203 HAS SOPS 12203 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10919.203
AT ITER 8583 NEW BEST:: SOT 80599 SOS 12139 HAS SOPS 12139 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10918.139
AT ITER 8624 NEW BEST:: SOT 80596 SOS 12130 HAS SOPS 12130 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.13
AT ITER 8642 NEW BEST:: SOT 80597 SOS 12132 HAS SOPS 12132 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10904.132
AT ITER 8666 NEW BEST:: SOT 80597 SOS 12072 HAS SOPS 12072 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10904.072
AT ITER 8765 NEW BEST:: SOT 80596 SOS 12072 HAS SOPS 12072 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10902.072
AT ITER 8793 NEW BEST:: SOT 80592 SOS 12064 HAS SOPS 12064 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10895.064
AT ITER 8841 NEW BEST:: SOT 80594 SOS 12062 HAS SOPS 12062 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10893.062
AT ITER 8852 NEW BEST:: SOT 80591 SOS 12065 HAS SOPS 12065 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10890.065
AT ITER 8874 NEW BEST:: SOT 80587 SOS 12057 HAS SOPS 12057 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10882.057
AT ITER 8891 NEW BEST:: SOT 80586 SOS 12055 HAS SOPS 12055 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10880.055
AT ITER 8899 NEW BEST:: SOT 80586 SOS 12049 HAS SOPS 12049 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10874.049
AT ITER 8931 NEW BEST:: SOT 80585 SOS 12046 HAS SOPS 12046 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10871.046
AT ITER 9010 NEW BEST:: SOT 80583 SOS 12040 HAS SOPS 12040 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10867.04
AT ITER 9047 NEW BEST:: SOT 80583 SOS 12038 HAS SOPS 12038 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10865.038
AT ITER 9220 NEW BEST:: SOT 80580 SOS 12037 HAS SOPS 12037 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10864.037
AT ITER 9223 NEW BEST:: SOT 80579 SOS 12035 HAS SOPS 12035 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10863.035
AT ITER 9297 NEW BEST:: SOT 80576 SOS 12031 HAS SOPS 12031 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10859.031
AT ITER 9339 NEW BEST:: SOT 80575 SOS 12030 HAS SOPS 12030 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10858.03
AT ITER 9353 NEW BEST:: SOT 80575 SOS 12004 HAS SOPS 12004 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10832.004
AT ITER 9361 NEW BEST:: SOT 80578 SOS 12003 HAS SOPS 12003 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10831.003
AT ITER 9365 NEW BEST:: SOT 80576 SOS 12000 HAS SOPS 12000 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10829.0
AT ITER 9378 NEW BEST:: SOT 80576 SOS 11996 HAS SOPS 11996 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10824.996
AT ITER 9398 NEW BEST:: SOT 80570 SOS 11984 HAS SOPS 11984 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10812.984
AT ITER 9429 NEW BEST:: SOT 80572 SOS 11969 HAS SOPS 11969 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10806.969
AT ITER 9433 NEW BEST:: SOT 80571 SOS 11967 HAS SOPS 11967 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10804.967
AT ITER 9445 NEW BEST:: SOT 80578 SOS 11964 HAS SOPS 11964 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10801.964
AT ITER 9510 NEW BEST:: SOT 80547 SOS 11949 HAS SOPS 11949 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10772.949
AT ITER 9517 NEW BEST:: SOT 80547 SOS 11944 HAS SOPS 11944 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10767.944
AT ITER 9523 NEW BEST:: SOT 80547 SOS 11944 HAS SOPS 11944 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10761.944
AT ITER 9532 NEW BEST:: SOT 80547 SOS 11938 HAS SOPS 11938 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10755.938
AT ITER 9540 NEW BEST:: SOT 80543 SOS 11936 HAS SOPS 11936 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10751.936
AT ITER 9597 NEW BEST:: SOT 80543 SOS 11935 HAS SOPS 11935 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10750.935
AT ITER 9617 NEW BEST:: SOT 80542 SOS 11934 HAS SOPS 11934 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10749.934
AT ITER 9624 NEW BEST:: SOT 80542 SOS 11922 HAS SOPS 11922 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10737.922
AT ITER 9646 NEW BEST:: SOT 80576 SOS 11927 HAS SOPS 11927 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10710.927
AT ITER 9667 NEW BEST:: SOT 80573 SOS 11921 HAS SOPS 11921 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.921
AT ITER 9742 NEW BEST:: SOT 80570 SOS 11894 HAS SOPS 11894 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10672.894
AT ITER 9749 NEW BEST:: SOT 80522 SOS 11823 HAS SOPS 11823 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.823
AT ITER 9794 NEW BEST:: SOT 80528 SOS 11817 HAS SOPS 11817 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.817
AT ITER 9814 NEW BEST:: SOT 80521 SOS 11879 HAS SOPS 11879 HAS SOUS 10602 HAS SOUPS 10602 WITH SCORE 10613.879
AT ITER 9824 NEW BEST:: SOT 80517 SOS 11873 HAS SOPS 11873 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10607.873
AT ITER 9836 NEW BEST:: SOT 80517 SOS 11873 HAS SOPS 11873 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10566.873
AT ITER 9874 NEW BEST:: SOT 80496 SOS 11852 HAS SOPS 11852 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10545.852
AT ITER 9888 NEW BEST:: SOT 80496 SOS 11843 HAS SOPS 11843 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10542.843
AT ITER 9915 NEW BEST:: SOT 80480 SOS 11795 HAS SOPS 11795 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10494.795
AT ITER 9918 NEW BEST:: SOT 80462 SOS 11775 HAS SOPS 11775 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10476.775
AT ITER 9931 NEW BEST:: SOT 80463 SOS 11750 HAS SOPS 11750 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10451.75
AT ITER 9932 NEW BEST:: SOT 80452 SOS 11728 HAS SOPS 11728 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10429.728
AT ITER 9950 NEW BEST:: SOT 80452 SOS 11724 HAS SOPS 11724 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.724
AT ITER 9966 NEW BEST:: SOT 80466 SOS 11752 HAS SOPS 11752 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10422.752
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6881408 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152884 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
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-oct2-167813590900432"
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 ;