About the Execution of Smart for AutoFlight-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4343.960 | 3600000.00 | 3600050.00 | 9.90 | [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/mcc2023-input.r003-oct2-167813590900480.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-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 18:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K 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.6K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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 8.6K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K 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 266K 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 1678472968231
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-12b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12b
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: 1126 places, 1124 transitions, 2618 arcs.
AT ITER 0 NEW BEST:: SOT 683316 SOS 108690 HAS SOPS 108690 HAS SOUS 98757 HAS SOUPS 98757 WITH SCORE 98865.69
AT ITER 14 NEW BEST:: SOT 683214 SOS 108486 HAS SOPS 108486 HAS SOUS 98497 HAS SOUPS 98497 WITH SCORE 98605.486
AT ITER 90 NEW BEST:: SOT 683213 SOS 108485 HAS SOPS 108485 HAS SOUS 98496 HAS SOUPS 98496 WITH SCORE 98604.485
AT ITER 91 NEW BEST:: SOT 683239 SOS 108363 HAS SOPS 108363 HAS SOUS 98465 HAS SOUPS 98465 WITH SCORE 98573.363
AT ITER 96 NEW BEST:: SOT 683353 SOS 108535 HAS SOPS 108535 HAS SOUS 98460 HAS SOUPS 98460 WITH SCORE 98568.535
AT ITER 154 NEW BEST:: SOT 683386 SOS 108499 HAS SOPS 108499 HAS SOUS 98424 HAS SOUPS 98424 WITH SCORE 98532.499
AT ITER 170 NEW BEST:: SOT 683411 SOS 108524 HAS SOPS 108524 HAS SOUS 98402 HAS SOUPS 98402 WITH SCORE 98510.524
AT ITER 177 NEW BEST:: SOT 683251 SOS 108364 HAS SOPS 108364 HAS SOUS 98242 HAS SOUPS 98242 WITH SCORE 98350.364
AT ITER 192 NEW BEST:: SOT 683235 SOS 108348 HAS SOPS 108348 HAS SOUS 98226 HAS SOUPS 98226 WITH SCORE 98334.348
AT ITER 202 NEW BEST:: SOT 683233 SOS 108373 HAS SOPS 108373 HAS SOUS 98224 HAS SOUPS 98224 WITH SCORE 98332.373
AT ITER 252 NEW BEST:: SOT 683262 SOS 108299 HAS SOPS 108299 HAS SOUS 98216 HAS SOUPS 98216 WITH SCORE 98324.299
AT ITER 269 NEW BEST:: SOT 683138 SOS 108051 HAS SOPS 108051 HAS SOUS 97940 HAS SOUPS 97940 WITH SCORE 98048.051
AT ITER 277 NEW BEST:: SOT 683110 SOS 108172 HAS SOPS 108172 HAS SOUS 97912 HAS SOUPS 97912 WITH SCORE 98020.172
AT ITER 316 NEW BEST:: SOT 683075 SOS 108043 HAS SOPS 108043 HAS SOUS 97847 HAS SOUPS 97847 WITH SCORE 97955.043
AT ITER 327 NEW BEST:: SOT 683075 SOS 107978 HAS SOPS 107978 HAS SOUS 97782 HAS SOUPS 97782 WITH SCORE 97889.978
AT ITER 391 NEW BEST:: SOT 683093 SOS 107849 HAS SOPS 107849 HAS SOUS 97771 HAS SOUPS 97771 WITH SCORE 97878.849
AT ITER 394 NEW BEST:: SOT 683003 SOS 107831 HAS SOPS 107831 HAS SOUS 97681 HAS SOUPS 97681 WITH SCORE 97788.831
AT ITER 400 NEW BEST:: SOT 683028 SOS 107699 HAS SOPS 107699 HAS SOUS 97634 HAS SOUPS 97634 WITH SCORE 97741.699
AT ITER 401 NEW BEST:: SOT 683000 SOS 107668 HAS SOPS 107668 HAS SOUS 97606 HAS SOUPS 97606 WITH SCORE 97713.668
AT ITER 415 NEW BEST:: SOT 683014 SOS 107696 HAS SOPS 107696 HAS SOUS 97544 HAS SOUPS 97544 WITH SCORE 97651.696
AT ITER 444 NEW BEST:: SOT 683013 SOS 107695 HAS SOPS 107695 HAS SOUS 97543 HAS SOUPS 97543 WITH SCORE 97650.695
AT ITER 447 NEW BEST:: SOT 682890 SOS 107629 HAS SOPS 107629 HAS SOUS 97420 HAS SOUPS 97420 WITH SCORE 97527.629
AT ITER 460 NEW BEST:: SOT 682890 SOS 107629 HAS SOPS 107629 HAS SOUS 97414 HAS SOUPS 97414 WITH SCORE 97521.629
AT ITER 466 NEW BEST:: SOT 682911 SOS 107622 HAS SOPS 107622 HAS SOUS 97407 HAS SOUPS 97407 WITH SCORE 97514.622
AT ITER 481 NEW BEST:: SOT 682854 SOS 107565 HAS SOPS 107565 HAS SOUS 97293 HAS SOUPS 97293 WITH SCORE 97400.565
AT ITER 494 NEW BEST:: SOT 682702 SOS 107463 HAS SOPS 107463 HAS SOUS 97191 HAS SOUPS 97191 WITH SCORE 97298.463
AT ITER 497 NEW BEST:: SOT 682668 SOS 107360 HAS SOPS 107360 HAS SOUS 97179 HAS SOUPS 97179 WITH SCORE 97286.36
AT ITER 502 NEW BEST:: SOT 682614 SOS 107276 HAS SOPS 107276 HAS SOUS 97095 HAS SOUPS 97095 WITH SCORE 97202.276
AT ITER 515 NEW BEST:: SOT 682614 SOS 107260 HAS SOPS 107260 HAS SOUS 97095 HAS SOUPS 97095 WITH SCORE 97202.26
AT ITER 559 NEW BEST:: SOT 682564 SOS 107230 HAS SOPS 107230 HAS SOUS 97065 HAS SOUPS 97065 WITH SCORE 97172.23
AT ITER 607 NEW BEST:: SOT 682555 SOS 107212 HAS SOPS 107212 HAS SOUS 97047 HAS SOUPS 97047 WITH SCORE 97154.212
AT ITER 620 NEW BEST:: SOT 682549 SOS 107206 HAS SOPS 107206 HAS SOUS 97041 HAS SOUPS 97041 WITH SCORE 97148.206
AT ITER 635 NEW BEST:: SOT 682502 SOS 107205 HAS SOPS 107205 HAS SOUS 97040 HAS SOUPS 97040 WITH SCORE 97147.205
AT ITER 639 NEW BEST:: SOT 682502 SOS 107146 HAS SOPS 107146 HAS SOUS 97040 HAS SOUPS 97040 WITH SCORE 97147.146
AT ITER 722 NEW BEST:: SOT 682485 SOS 107124 HAS SOPS 107124 HAS SOUS 97025 HAS SOUPS 97025 WITH SCORE 97132.124
AT ITER 750 NEW BEST:: SOT 682485 SOS 107079 HAS SOPS 107079 HAS SOUS 96980 HAS SOUPS 96980 WITH SCORE 97087.079
AT ITER 783 NEW BEST:: SOT 682500 SOS 107027 HAS SOPS 107027 HAS SOUS 96969 HAS SOUPS 96969 WITH SCORE 97076.027
AT ITER 806 NEW BEST:: SOT 682499 SOS 107025 HAS SOPS 107025 HAS SOUS 96913 HAS SOUPS 96913 WITH SCORE 97020.025
AT ITER 831 NEW BEST:: SOT 682481 SOS 107022 HAS SOPS 107022 HAS SOUS 96913 HAS SOUPS 96913 WITH SCORE 97020.022
AT ITER 850 NEW BEST:: SOT 682476 SOS 107012 HAS SOPS 107012 HAS SOUS 96891 HAS SOUPS 96891 WITH SCORE 96998.012
AT ITER 890 NEW BEST:: SOT 682476 SOS 107012 HAS SOPS 107012 HAS SOUS 96857 HAS SOUPS 96857 WITH SCORE 96964.012
AT ITER 904 NEW BEST:: SOT 682476 SOS 107012 HAS SOPS 107012 HAS SOUS 96829 HAS SOUPS 96829 WITH SCORE 96936.012
AT ITER 944 NEW BEST:: SOT 682428 SOS 106903 HAS SOPS 106903 HAS SOUS 96768 HAS SOUPS 96768 WITH SCORE 96874.903
AT ITER 954 NEW BEST:: SOT 682339 SOS 106725 HAS SOPS 106725 HAS SOUS 96590 HAS SOUPS 96590 WITH SCORE 96696.725
AT ITER 981 NEW BEST:: SOT 682262 SOS 106602 HAS SOPS 106602 HAS SOUS 96571 HAS SOUPS 96571 WITH SCORE 96677.602
AT ITER 994 NEW BEST:: SOT 682307 SOS 106596 HAS SOPS 106596 HAS SOUS 96565 HAS SOUPS 96565 WITH SCORE 96671.596
AT ITER 1010 NEW BEST:: SOT 682202 SOS 106386 HAS SOPS 106386 HAS SOUS 96543 HAS SOUPS 96543 WITH SCORE 96649.386
AT ITER 1031 NEW BEST:: SOT 682202 SOS 106356 HAS SOPS 106356 HAS SOUS 96513 HAS SOUPS 96513 WITH SCORE 96619.356
AT ITER 1035 NEW BEST:: SOT 682201 SOS 106355 HAS SOPS 106355 HAS SOUS 96512 HAS SOUPS 96512 WITH SCORE 96618.355
AT ITER 1036 NEW BEST:: SOT 682198 SOS 106352 HAS SOPS 106352 HAS SOUS 96509 HAS SOUPS 96509 WITH SCORE 96615.352
AT ITER 1096 NEW BEST:: SOT 682169 SOS 106294 HAS SOPS 106294 HAS SOUS 96451 HAS SOUPS 96451 WITH SCORE 96557.294
AT ITER 1150 NEW BEST:: SOT 682150 SOS 106256 HAS SOPS 106256 HAS SOUS 96432 HAS SOUPS 96432 WITH SCORE 96538.256
AT ITER 1153 NEW BEST:: SOT 682118 SOS 106255 HAS SOPS 106255 HAS SOUS 96431 HAS SOUPS 96431 WITH SCORE 96537.255
AT ITER 1158 NEW BEST:: SOT 682104 SOS 106227 HAS SOPS 106227 HAS SOUS 96403 HAS SOUPS 96403 WITH SCORE 96509.227
AT ITER 1185 NEW BEST:: SOT 682080 SOS 106203 HAS SOPS 106203 HAS SOUS 96379 HAS SOUPS 96379 WITH SCORE 96485.203
AT ITER 1195 NEW BEST:: SOT 682032 SOS 105979 HAS SOPS 105979 HAS SOUS 96371 HAS SOUPS 96371 WITH SCORE 96476.979
AT ITER 1202 NEW BEST:: SOT 682028 SOS 105971 HAS SOPS 105971 HAS SOUS 96363 HAS SOUPS 96363 WITH SCORE 96468.971
AT ITER 1211 NEW BEST:: SOT 681939 SOS 105793 HAS SOPS 105793 HAS SOUS 96185 HAS SOUPS 96185 WITH SCORE 96290.793
AT ITER 1214 NEW BEST:: SOT 681899 SOS 105745 HAS SOPS 105745 HAS SOUS 96108 HAS SOUPS 96108 WITH SCORE 96213.745
AT ITER 1230 NEW BEST:: SOT 681869 SOS 105685 HAS SOPS 105685 HAS SOUS 96048 HAS SOUPS 96048 WITH SCORE 96153.685
AT ITER 1267 NEW BEST:: SOT 681800 SOS 105547 HAS SOPS 105547 HAS SOUS 95880 HAS SOUPS 95880 WITH SCORE 95985.547
AT ITER 1285 NEW BEST:: SOT 681718 SOS 105383 HAS SOPS 105383 HAS SOUS 95848 HAS SOUPS 95848 WITH SCORE 95953.383
AT ITER 1296 NEW BEST:: SOT 681748 SOS 105349 HAS SOPS 105349 HAS SOUS 95848 HAS SOUPS 95848 WITH SCORE 95953.349
AT ITER 1316 NEW BEST:: SOT 681755 SOS 105318 HAS SOPS 105318 HAS SOUS 95817 HAS SOUPS 95817 WITH SCORE 95922.318
AT ITER 1343 NEW BEST:: SOT 681755 SOS 105317 HAS SOPS 105317 HAS SOUS 95816 HAS SOUPS 95816 WITH SCORE 95921.317
AT ITER 1345 NEW BEST:: SOT 681723 SOS 105288 HAS SOPS 105288 HAS SOUS 95783 HAS SOUPS 95783 WITH SCORE 95888.288
AT ITER 1356 NEW BEST:: SOT 681572 SOS 104986 HAS SOPS 104986 HAS SOUS 95481 HAS SOUPS 95481 WITH SCORE 95585.986
AT ITER 1358 NEW BEST:: SOT 681572 SOS 104957 HAS SOPS 104957 HAS SOUS 95452 HAS SOUPS 95452 WITH SCORE 95556.957
AT ITER 1431 NEW BEST:: SOT 681572 SOS 104957 HAS SOPS 104957 HAS SOUS 95365 HAS SOUPS 95365 WITH SCORE 95469.957
AT ITER 1441 NEW BEST:: SOT 681472 SOS 104857 HAS SOPS 104857 HAS SOUS 95265 HAS SOUPS 95265 WITH SCORE 95369.857
AT ITER 1463 NEW BEST:: SOT 681432 SOS 104841 HAS SOPS 104841 HAS SOUS 95249 HAS SOUPS 95249 WITH SCORE 95353.841
AT ITER 1492 NEW BEST:: SOT 681418 SOS 104841 HAS SOPS 104841 HAS SOUS 95235 HAS SOUPS 95235 WITH SCORE 95339.841
AT ITER 1495 NEW BEST:: SOT 681403 SOS 104825 HAS SOPS 104825 HAS SOUS 95219 HAS SOUPS 95219 WITH SCORE 95323.825
AT ITER 1520 NEW BEST:: SOT 681353 SOS 104847 HAS SOPS 104847 HAS SOUS 95179 HAS SOUPS 95179 WITH SCORE 95283.847
AT ITER 1538 NEW BEST:: SOT 681325 SOS 104791 HAS SOPS 104791 HAS SOUS 95123 HAS SOUPS 95123 WITH SCORE 95227.791
AT ITER 1544 NEW BEST:: SOT 681287 SOS 104751 HAS SOPS 104751 HAS SOUS 95054 HAS SOUPS 95054 WITH SCORE 95158.751
AT ITER 1581 NEW BEST:: SOT 681145 SOS 104558 HAS SOPS 104558 HAS SOUS 94859 HAS SOUPS 94859 WITH SCORE 94963.558
AT ITER 1623 NEW BEST:: SOT 681077 SOS 104794 HAS SOPS 104794 HAS SOUS 94835 HAS SOUPS 94835 WITH SCORE 94939.794
AT ITER 1644 NEW BEST:: SOT 681017 SOS 104665 HAS SOPS 104665 HAS SOUS 94775 HAS SOUPS 94775 WITH SCORE 94879.665
AT ITER 1673 NEW BEST:: SOT 681010 SOS 104630 HAS SOPS 104630 HAS SOUS 94718 HAS SOUPS 94718 WITH SCORE 94822.63
AT ITER 1695 NEW BEST:: SOT 680989 SOS 104544 HAS SOPS 104544 HAS SOUS 94632 HAS SOUPS 94632 WITH SCORE 94736.544
AT ITER 1697 NEW BEST:: SOT 681035 SOS 104538 HAS SOPS 104538 HAS SOUS 94614 HAS SOUPS 94614 WITH SCORE 94718.538
AT ITER 1748 NEW BEST:: SOT 680989 SOS 104446 HAS SOPS 104446 HAS SOUS 94568 HAS SOUPS 94568 WITH SCORE 94672.446
AT ITER 1853 NEW BEST:: SOT 680966 SOS 104377 HAS SOPS 104377 HAS SOUS 94522 HAS SOUPS 94522 WITH SCORE 94626.377
AT ITER 1856 NEW BEST:: SOT 680928 SOS 104342 HAS SOPS 104342 HAS SOUS 94487 HAS SOUPS 94487 WITH SCORE 94591.342
AT ITER 1899 NEW BEST:: SOT 680920 SOS 104406 HAS SOPS 104406 HAS SOUS 94476 HAS SOUPS 94476 WITH SCORE 94580.406
AT ITER 1914 NEW BEST:: SOT 681027 SOS 104620 HAS SOPS 104620 HAS SOUS 94425 HAS SOUPS 94425 WITH SCORE 94529.62
AT ITER 1976 NEW BEST:: SOT 680917 SOS 104400 HAS SOPS 104400 HAS SOUS 94205 HAS SOUPS 94205 WITH SCORE 94309.4
AT ITER 1982 NEW BEST:: SOT 680917 SOS 104400 HAS SOPS 104400 HAS SOUS 94203 HAS SOUPS 94203 WITH SCORE 94307.4
AT ITER 1990 NEW BEST:: SOT 680894 SOS 104377 HAS SOPS 104377 HAS SOUS 94180 HAS SOUPS 94180 WITH SCORE 94284.377
AT ITER 2015 NEW BEST:: SOT 680916 SOS 104373 HAS SOPS 104373 HAS SOUS 94176 HAS SOUPS 94176 WITH SCORE 94280.373
AT ITER 2057 NEW BEST:: SOT 680916 SOS 104373 HAS SOPS 104373 HAS SOUS 94149 HAS SOUPS 94149 WITH SCORE 94253.373
AT ITER 2063 NEW BEST:: SOT 680916 SOS 104367 HAS SOPS 104367 HAS SOUS 94143 HAS SOUPS 94143 WITH SCORE 94247.367
AT ITER 2072 NEW BEST:: SOT 680871 SOS 104345 HAS SOPS 104345 HAS SOUS 94110 HAS SOUPS 94110 WITH SCORE 94214.345
AT ITER 2089 NEW BEST:: SOT 680859 SOS 104345 HAS SOPS 104345 HAS SOUS 94098 HAS SOUPS 94098 WITH SCORE 94202.345
AT ITER 2097 NEW BEST:: SOT 680897 SOS 104307 HAS SOPS 104307 HAS SOUS 94098 HAS SOUPS 94098 WITH SCORE 94202.307
AT ITER 2121 NEW BEST:: SOT 680897 SOS 104259 HAS SOPS 104259 HAS SOUS 94098 HAS SOUPS 94098 WITH SCORE 94202.259
AT ITER 2126 NEW BEST:: SOT 680897 SOS 104258 HAS SOPS 104258 HAS SOUS 94097 HAS SOUPS 94097 WITH SCORE 94201.258
AT ITER 2148 NEW BEST:: SOT 680868 SOS 104249 HAS SOPS 104249 HAS SOUS 94088 HAS SOUPS 94088 WITH SCORE 94192.249
AT ITER 2157 NEW BEST:: SOT 680865 SOS 104243 HAS SOPS 104243 HAS SOUS 94082 HAS SOUPS 94082 WITH SCORE 94186.243
AT ITER 2181 NEW BEST:: SOT 680771 SOS 104055 HAS SOPS 104055 HAS SOUS 93894 HAS SOUPS 93894 WITH SCORE 93998.055
AT ITER 2228 NEW BEST:: SOT 680728 SOS 103969 HAS SOPS 103969 HAS SOUS 93894 HAS SOUPS 93894 WITH SCORE 93997.969
AT ITER 2231 NEW BEST:: SOT 680728 SOS 103931 HAS SOPS 103931 HAS SOUS 93867 HAS SOUPS 93867 WITH SCORE 93970.931
AT ITER 2249 NEW BEST:: SOT 680714 SOS 103917 HAS SOPS 103917 HAS SOUS 93853 HAS SOUPS 93853 WITH SCORE 93956.917
AT ITER 2266 NEW BEST:: SOT 680774 SOS 104459 HAS SOPS 104459 HAS SOUS 93843 HAS SOUPS 93843 WITH SCORE 93947.459
AT ITER 2287 NEW BEST:: SOT 680669 SOS 104340 HAS SOPS 104340 HAS SOUS 93775 HAS SOUPS 93775 WITH SCORE 93879.34
AT ITER 2351 NEW BEST:: SOT 680619 SOS 104240 HAS SOPS 104240 HAS SOUS 93675 HAS SOUPS 93675 WITH SCORE 93779.24
AT ITER 2354 NEW BEST:: SOT 680605 SOS 104212 HAS SOPS 104212 HAS SOUS 93675 HAS SOUPS 93675 WITH SCORE 93779.212
AT ITER 2365 NEW BEST:: SOT 680563 SOS 104209 HAS SOPS 104209 HAS SOUS 93653 HAS SOUPS 93653 WITH SCORE 93757.209
AT ITER 2394 NEW BEST:: SOT 680574 SOS 104212 HAS SOPS 104212 HAS SOUS 93648 HAS SOUPS 93648 WITH SCORE 93752.212
AT ITER 2455 NEW BEST:: SOT 680539 SOS 104142 HAS SOPS 104142 HAS SOUS 93578 HAS SOUPS 93578 WITH SCORE 93682.142
AT ITER 2472 NEW BEST:: SOT 680539 SOS 104142 HAS SOPS 104142 HAS SOUS 93538 HAS SOUPS 93538 WITH SCORE 93642.142
AT ITER 2480 NEW BEST:: SOT 680617 SOS 104217 HAS SOPS 104217 HAS SOUS 93515 HAS SOUPS 93515 WITH SCORE 93619.217
AT ITER 2501 NEW BEST:: SOT 680559 SOS 104101 HAS SOPS 104101 HAS SOUS 93494 HAS SOUPS 93494 WITH SCORE 93598.101
AT ITER 2508 NEW BEST:: SOT 680437 SOS 103857 HAS SOPS 103857 HAS SOUS 93493 HAS SOUPS 93493 WITH SCORE 93596.857
AT ITER 2526 NEW BEST:: SOT 680392 SOS 103830 HAS SOPS 103830 HAS SOUS 93466 HAS SOUPS 93466 WITH SCORE 93569.83
AT ITER 2580 NEW BEST:: SOT 680317 SOS 103854 HAS SOPS 103854 HAS SOUS 93390 HAS SOUPS 93390 WITH SCORE 93493.854
AT ITER 2583 NEW BEST:: SOT 680317 SOS 103854 HAS SOPS 103854 HAS SOUS 93386 HAS SOUPS 93386 WITH SCORE 93489.854
AT ITER 2607 NEW BEST:: SOT 680353 SOS 103828 HAS SOPS 103828 HAS SOUS 93360 HAS SOUPS 93360 WITH SCORE 93463.828
AT ITER 2624 NEW BEST:: SOT 680369 SOS 103860 HAS SOPS 103860 HAS SOUS 93293 HAS SOUPS 93293 WITH SCORE 93396.86
AT ITER 2659 NEW BEST:: SOT 680408 SOS 103789 HAS SOPS 103789 HAS SOUS 93189 HAS SOUPS 93189 WITH SCORE 93292.789
AT ITER 2664 NEW BEST:: SOT 680374 SOS 103734 HAS SOPS 103734 HAS SOUS 93134 HAS SOUPS 93134 WITH SCORE 93237.734
AT ITER 2677 NEW BEST:: SOT 680372 SOS 103730 HAS SOPS 103730 HAS SOUS 92954 HAS SOUPS 92954 WITH SCORE 93057.73
AT ITER 2696 NEW BEST:: SOT 680372 SOS 103666 HAS SOPS 103666 HAS SOUS 92890 HAS SOUPS 92890 WITH SCORE 92993.666
AT ITER 2700 NEW BEST:: SOT 680339 SOS 103664 HAS SOPS 103664 HAS SOUS 92888 HAS SOUPS 92888 WITH SCORE 92991.664
AT ITER 2708 NEW BEST:: SOT 680302 SOS 103590 HAS SOPS 103590 HAS SOUS 92814 HAS SOUPS 92814 WITH SCORE 92917.59
AT ITER 2718 NEW BEST:: SOT 680302 SOS 103590 HAS SOPS 103590 HAS SOUS 92813 HAS SOUPS 92813 WITH SCORE 92916.59
AT ITER 2735 NEW BEST:: SOT 680180 SOS 103346 HAS SOPS 103346 HAS SOUS 92515 HAS SOUPS 92515 WITH SCORE 92618.346
AT ITER 2813 NEW BEST:: SOT 680186 SOS 103338 HAS SOPS 103338 HAS SOUS 92513 HAS SOUPS 92513 WITH SCORE 92616.338
AT ITER 2826 NEW BEST:: SOT 680120 SOS 103271 HAS SOPS 103271 HAS SOUS 92446 HAS SOUPS 92446 WITH SCORE 92549.271
AT ITER 2845 NEW BEST:: SOT 680093 SOS 103261 HAS SOPS 103261 HAS SOUS 92436 HAS SOUPS 92436 WITH SCORE 92539.261
AT ITER 2850 NEW BEST:: SOT 680093 SOS 103173 HAS SOPS 103173 HAS SOUS 92348 HAS SOUPS 92348 WITH SCORE 92451.173
AT ITER 2886 NEW BEST:: SOT 680093 SOS 103172 HAS SOPS 103172 HAS SOUS 92347 HAS SOUPS 92347 WITH SCORE 92450.172
AT ITER 2942 NEW BEST:: SOT 680079 SOS 103130 HAS SOPS 103130 HAS SOUS 92319 HAS SOUPS 92319 WITH SCORE 92422.13
AT ITER 2978 NEW BEST:: SOT 680049 SOS 103040 HAS SOPS 103040 HAS SOUS 92259 HAS SOUPS 92259 WITH SCORE 92362.04
AT ITER 3011 NEW BEST:: SOT 680014 SOS 102970 HAS SOPS 102970 HAS SOUS 92189 HAS SOUPS 92189 WITH SCORE 92291.97
AT ITER 3045 NEW BEST:: SOT 680005 SOS 102862 HAS SOPS 102862 HAS SOUS 92081 HAS SOUPS 92081 WITH SCORE 92183.862
AT ITER 3063 NEW BEST:: SOT 680005 SOS 102844 HAS SOPS 102844 HAS SOUS 92072 HAS SOUPS 92072 WITH SCORE 92174.844
AT ITER 3066 NEW BEST:: SOT 679976 SOS 102821 HAS SOPS 102821 HAS SOUS 92049 HAS SOUPS 92049 WITH SCORE 92151.821
AT ITER 3077 NEW BEST:: SOT 679897 SOS 102757 HAS SOPS 102757 HAS SOUS 92025 HAS SOUPS 92025 WITH SCORE 92127.757
AT ITER 3086 NEW BEST:: SOT 679883 SOS 102715 HAS SOPS 102715 HAS SOUS 91997 HAS SOUPS 91997 WITH SCORE 92099.715
AT ITER 3098 NEW BEST:: SOT 679813 SOS 102623 HAS SOPS 102623 HAS SOUS 91905 HAS SOUPS 91905 WITH SCORE 92007.623
AT ITER 3111 NEW BEST:: SOT 679839 SOS 102618 HAS SOPS 102618 HAS SOUS 91900 HAS SOUPS 91900 WITH SCORE 92002.618
AT ITER 3158 NEW BEST:: SOT 679820 SOS 102332 HAS SOPS 102332 HAS SOUS 91878 HAS SOUPS 91878 WITH SCORE 91980.332
AT ITER 3178 NEW BEST:: SOT 679801 SOS 102294 HAS SOPS 102294 HAS SOUS 91779 HAS SOUPS 91779 WITH SCORE 91881.294
AT ITER 3187 NEW BEST:: SOT 679810 SOS 102291 HAS SOPS 102291 HAS SOUS 91674 HAS SOUPS 91674 WITH SCORE 91776.291
AT ITER 3263 NEW BEST:: SOT 679810 SOS 102290 HAS SOPS 102290 HAS SOUS 91673 HAS SOUPS 91673 WITH SCORE 91775.29
AT ITER 3285 NEW BEST:: SOT 679774 SOS 102254 HAS SOPS 102254 HAS SOUS 91637 HAS SOUPS 91637 WITH SCORE 91739.254
AT ITER 3288 NEW BEST:: SOT 679774 SOS 102251 HAS SOPS 102251 HAS SOUS 91637 HAS SOUPS 91637 WITH SCORE 91739.251
AT ITER 3299 NEW BEST:: SOT 679774 SOS 102207 HAS SOPS 102207 HAS SOUS 91593 HAS SOUPS 91593 WITH SCORE 91695.207
AT ITER 3300 NEW BEST:: SOT 679737 SOS 102309 HAS SOPS 102309 HAS SOUS 91452 HAS SOUPS 91452 WITH SCORE 91554.309
AT ITER 3307 NEW BEST:: SOT 679765 SOS 102321 HAS SOPS 102321 HAS SOUS 91379 HAS SOUPS 91379 WITH SCORE 91481.321
AT ITER 3326 NEW BEST:: SOT 679687 SOS 102157 HAS SOPS 102157 HAS SOUS 91301 HAS SOUPS 91301 WITH SCORE 91403.157
AT ITER 3330 NEW BEST:: SOT 679687 SOS 102133 HAS SOPS 102133 HAS SOUS 91277 HAS SOUPS 91277 WITH SCORE 91379.133
AT ITER 3345 NEW BEST:: SOT 679687 SOS 102111 HAS SOPS 102111 HAS SOUS 91244 HAS SOUPS 91244 WITH SCORE 91346.111
AT ITER 3361 NEW BEST:: SOT 679667 SOS 102091 HAS SOPS 102091 HAS SOUS 91230 HAS SOUPS 91230 WITH SCORE 91332.091
AT ITER 3363 NEW BEST:: SOT 679667 SOS 102059 HAS SOPS 102059 HAS SOUS 91230 HAS SOUPS 91230 WITH SCORE 91332.059
AT ITER 3397 NEW BEST:: SOT 679638 SOS 102042 HAS SOPS 102042 HAS SOUS 91219 HAS SOUPS 91219 WITH SCORE 91321.042
AT ITER 3417 NEW BEST:: SOT 679638 SOS 102041 HAS SOPS 102041 HAS SOUS 91218 HAS SOUPS 91218 WITH SCORE 91320.041
AT ITER 3419 NEW BEST:: SOT 679638 SOS 102030 HAS SOPS 102030 HAS SOUS 91207 HAS SOUPS 91207 WITH SCORE 91309.03
AT ITER 3424 NEW BEST:: SOT 679707 SOS 102009 HAS SOPS 102009 HAS SOUS 91186 HAS SOUPS 91186 WITH SCORE 91288.009
AT ITER 3434 NEW BEST:: SOT 679707 SOS 102009 HAS SOPS 102009 HAS SOUS 91176 HAS SOUPS 91176 WITH SCORE 91278.009
AT ITER 3442 NEW BEST:: SOT 679685 SOS 101965 HAS SOPS 101965 HAS SOUS 91132 HAS SOUPS 91132 WITH SCORE 91233.965
AT ITER 3452 NEW BEST:: SOT 679575 SOS 102007 HAS SOPS 102007 HAS SOUS 91018 HAS SOUPS 91018 WITH SCORE 91120.007
AT ITER 3479 NEW BEST:: SOT 679533 SOS 102227 HAS SOPS 102227 HAS SOUS 90986 HAS SOUPS 90986 WITH SCORE 91088.227
AT ITER 3485 NEW BEST:: SOT 679544 SOS 102126 HAS SOPS 102126 HAS SOUS 90986 HAS SOUPS 90986 WITH SCORE 91088.126
AT ITER 3500 NEW BEST:: SOT 679538 SOS 102198 HAS SOPS 102198 HAS SOUS 90980 HAS SOUPS 90980 WITH SCORE 91082.198
AT ITER 3533 NEW BEST:: SOT 679526 SOS 102126 HAS SOPS 102126 HAS SOUS 90925 HAS SOUPS 90925 WITH SCORE 91027.126
AT ITER 3553 NEW BEST:: SOT 679503 SOS 102090 HAS SOPS 102090 HAS SOUS 90866 HAS SOUPS 90866 WITH SCORE 90968.09
AT ITER 3581 NEW BEST:: SOT 679496 SOS 102083 HAS SOPS 102083 HAS SOUS 90859 HAS SOUPS 90859 WITH SCORE 90961.083
AT ITER 3625 NEW BEST:: SOT 679496 SOS 102056 HAS SOPS 102056 HAS SOUS 90832 HAS SOUPS 90832 WITH SCORE 90934.056
AT ITER 3632 NEW BEST:: SOT 679416 SOS 101976 HAS SOPS 101976 HAS SOUS 90752 HAS SOUPS 90752 WITH SCORE 90853.976
AT ITER 3669 NEW BEST:: SOT 679439 SOS 101905 HAS SOPS 101905 HAS SOUS 90681 HAS SOUPS 90681 WITH SCORE 90782.905
AT ITER 3685 NEW BEST:: SOT 679436 SOS 101902 HAS SOPS 101902 HAS SOUS 90678 HAS SOUPS 90678 WITH SCORE 90779.902
AT ITER 3715 NEW BEST:: SOT 679376 SOS 101691 HAS SOPS 101691 HAS SOUS 90553 HAS SOUPS 90553 WITH SCORE 90654.691
AT ITER 3716 NEW BEST:: SOT 679370 SOS 101673 HAS SOPS 101673 HAS SOUS 90541 HAS SOUPS 90541 WITH SCORE 90642.673
AT ITER 3723 NEW BEST:: SOT 679351 SOS 101655 HAS SOPS 101655 HAS SOUS 90522 HAS SOUPS 90522 WITH SCORE 90623.655
AT ITER 3731 NEW BEST:: SOT 679312 SOS 101577 HAS SOPS 101577 HAS SOUS 90483 HAS SOUPS 90483 WITH SCORE 90584.577
AT ITER 3753 NEW BEST:: SOT 679351 SOS 101655 HAS SOPS 101655 HAS SOUS 90482 HAS SOUPS 90482 WITH SCORE 90583.655
AT ITER 3764 NEW BEST:: SOT 679378 SOS 101606 HAS SOPS 101606 HAS SOUS 90433 HAS SOUPS 90433 WITH SCORE 90534.606
AT ITER 3827 NEW BEST:: SOT 679394 SOS 101508 HAS SOPS 101508 HAS SOUS 90335 HAS SOUPS 90335 WITH SCORE 90436.508
AT ITER 3838 NEW BEST:: SOT 679394 SOS 101507 HAS SOPS 101507 HAS SOUS 90334 HAS SOUPS 90334 WITH SCORE 90435.507
AT ITER 3845 NEW BEST:: SOT 679394 SOS 101507 HAS SOPS 101507 HAS SOUS 90332 HAS SOUPS 90332 WITH SCORE 90433.507
AT ITER 3868 NEW BEST:: SOT 679178 SOS 101144 HAS SOPS 101144 HAS SOUS 90214 HAS SOUPS 90214 WITH SCORE 90315.144
AT ITER 3893 NEW BEST:: SOT 679159 SOS 101190 HAS SOPS 101190 HAS SOUS 90195 HAS SOUPS 90195 WITH SCORE 90296.19
AT ITER 3908 NEW BEST:: SOT 679159 SOS 101188 HAS SOPS 101188 HAS SOUS 90193 HAS SOUPS 90193 WITH SCORE 90294.188
AT ITER 3922 NEW BEST:: SOT 679157 SOS 101177 HAS SOPS 101177 HAS SOUS 90182 HAS SOUPS 90182 WITH SCORE 90283.177
AT ITER 3935 NEW BEST:: SOT 679109 SOS 101081 HAS SOPS 101081 HAS SOUS 90158 HAS SOUPS 90158 WITH SCORE 90259.081
AT ITER 3951 NEW BEST:: SOT 679109 SOS 101081 HAS SOPS 101081 HAS SOUS 90104 HAS SOUPS 90104 WITH SCORE 90205.081
AT ITER 3984 NEW BEST:: SOT 679109 SOS 101079 HAS SOPS 101079 HAS SOUS 90102 HAS SOUPS 90102 WITH SCORE 90203.079
AT ITER 4000 NEW BEST:: SOT 679109 SOS 101078 HAS SOPS 101078 HAS SOUS 90101 HAS SOUPS 90101 WITH SCORE 90202.078
AT ITER 4027 NEW BEST:: SOT 679081 SOS 101034 HAS SOPS 101034 HAS SOUS 90053 HAS SOUPS 90053 WITH SCORE 90154.034
AT ITER 4057 NEW BEST:: SOT 679053 SOS 101006 HAS SOPS 101006 HAS SOUS 90018 HAS SOUPS 90018 WITH SCORE 90119.006
AT ITER 4060 NEW BEST:: SOT 679035 SOS 100977 HAS SOPS 100977 HAS SOUS 89989 HAS SOUPS 89989 WITH SCORE 90089.977
AT ITER 4078 NEW BEST:: SOT 679034 SOS 100975 HAS SOPS 100975 HAS SOUS 89987 HAS SOUPS 89987 WITH SCORE 90087.975
AT ITER 4093 NEW BEST:: SOT 678978 SOS 100945 HAS SOPS 100945 HAS SOUS 89890 HAS SOUPS 89890 WITH SCORE 89990.945
AT ITER 4112 NEW BEST:: SOT 678978 SOS 100927 HAS SOPS 100927 HAS SOUS 89890 HAS SOUPS 89890 WITH SCORE 89990.927
AT ITER 4121 NEW BEST:: SOT 678978 SOS 100976 HAS SOPS 100976 HAS SOUS 89841 HAS SOUPS 89841 WITH SCORE 89941.976
AT ITER 4163 NEW BEST:: SOT 678950 SOS 100772 HAS SOPS 100772 HAS SOUS 89785 HAS SOUPS 89785 WITH SCORE 89885.772
AT ITER 4182 NEW BEST:: SOT 678950 SOS 100652 HAS SOPS 100652 HAS SOUS 89665 HAS SOUPS 89665 WITH SCORE 89765.652
AT ITER 4235 NEW BEST:: SOT 678944 SOS 100640 HAS SOPS 100640 HAS SOUS 89653 HAS SOUPS 89653 WITH SCORE 89753.64
AT ITER 4256 NEW BEST:: SOT 678906 SOS 100246 HAS SOPS 100246 HAS SOUS 89576 HAS SOUPS 89576 WITH SCORE 89676.246
AT ITER 4261 NEW BEST:: SOT 678828 SOS 100204 HAS SOPS 100204 HAS SOUS 89534 HAS SOUPS 89534 WITH SCORE 89634.204
AT ITER 4290 NEW BEST:: SOT 678764 SOS 100101 HAS SOPS 100101 HAS SOUS 89431 HAS SOUPS 89431 WITH SCORE 89531.101
AT ITER 4321 NEW BEST:: SOT 678789 SOS 99871 HAS SOPS 99871 HAS SOUS 89386 HAS SOUPS 89386 WITH SCORE 89485.871
AT ITER 4342 NEW BEST:: SOT 678826 SOS 99853 HAS SOPS 99853 HAS SOUS 89368 HAS SOUPS 89368 WITH SCORE 89467.853
AT ITER 4377 NEW BEST:: SOT 678822 SOS 99845 HAS SOPS 99845 HAS SOUS 89360 HAS SOUPS 89360 WITH SCORE 89459.845
AT ITER 4424 NEW BEST:: SOT 678809 SOS 99899 HAS SOPS 99899 HAS SOUS 89347 HAS SOUPS 89347 WITH SCORE 89446.899
AT ITER 4447 NEW BEST:: SOT 678809 SOS 99898 HAS SOPS 99898 HAS SOUS 89346 HAS SOUPS 89346 WITH SCORE 89445.898
AT ITER 4470 NEW BEST:: SOT 678792 SOS 99911 HAS SOPS 99911 HAS SOUS 89312 HAS SOUPS 89312 WITH SCORE 89411.911
AT ITER 4472 NEW BEST:: SOT 678766 SOS 99865 HAS SOPS 99865 HAS SOUS 89266 HAS SOUPS 89266 WITH SCORE 89365.865
AT ITER 4498 NEW BEST:: SOT 678718 SOS 99833 HAS SOPS 99833 HAS SOUS 89234 HAS SOUPS 89234 WITH SCORE 89333.833
AT ITER 4520 NEW BEST:: SOT 678654 SOS 99705 HAS SOPS 99705 HAS SOUS 89139 HAS SOUPS 89139 WITH SCORE 89238.705
AT ITER 4531 NEW BEST:: SOT 678606 SOS 99609 HAS SOPS 99609 HAS SOUS 89069 HAS SOUPS 89069 WITH SCORE 89168.609
AT ITER 4569 NEW BEST:: SOT 678606 SOS 99474 HAS SOPS 99474 HAS SOUS 88934 HAS SOUPS 88934 WITH SCORE 89033.474
AT ITER 4647 NEW BEST:: SOT 678574 SOS 99436 HAS SOPS 99436 HAS SOUS 88896 HAS SOUPS 88896 WITH SCORE 88995.436
AT ITER 4680 NEW BEST:: SOT 678559 SOS 99406 HAS SOPS 99406 HAS SOUS 88870 HAS SOUPS 88870 WITH SCORE 88969.406
AT ITER 4684 NEW BEST:: SOT 678558 SOS 99323 HAS SOPS 99323 HAS SOUS 88821 HAS SOUPS 88821 WITH SCORE 88920.323
AT ITER 4693 NEW BEST:: SOT 678588 SOS 99185 HAS SOPS 99185 HAS SOUS 88809 HAS SOUPS 88809 WITH SCORE 88908.185
AT ITER 4737 NEW BEST:: SOT 678406 SOS 98821 HAS SOPS 98821 HAS SOUS 88532 HAS SOUPS 88532 WITH SCORE 88630.821
AT ITER 4748 NEW BEST:: SOT 678406 SOS 98785 HAS SOPS 98785 HAS SOUS 88496 HAS SOUPS 88496 WITH SCORE 88594.785
AT ITER 4751 NEW BEST:: SOT 678405 SOS 98783 HAS SOPS 98783 HAS SOUS 88494 HAS SOUPS 88494 WITH SCORE 88592.783
AT ITER 4753 NEW BEST:: SOT 678377 SOS 98727 HAS SOPS 98727 HAS SOUS 88440 HAS SOUPS 88440 WITH SCORE 88538.727
AT ITER 4801 NEW BEST:: SOT 678311 SOS 98595 HAS SOPS 98595 HAS SOUS 88308 HAS SOUPS 88308 WITH SCORE 88406.595
AT ITER 4803 NEW BEST:: SOT 678289 SOS 98530 HAS SOPS 98530 HAS SOUS 88243 HAS SOUPS 88243 WITH SCORE 88341.53
AT ITER 4829 NEW BEST:: SOT 678289 SOS 98495 HAS SOPS 98495 HAS SOUS 88208 HAS SOUPS 88208 WITH SCORE 88306.495
AT ITER 4854 NEW BEST:: SOT 678298 SOS 98479 HAS SOPS 98479 HAS SOUS 88192 HAS SOUPS 88192 WITH SCORE 88290.479
AT ITER 4874 NEW BEST:: SOT 678239 SOS 98361 HAS SOPS 98361 HAS SOUS 88036 HAS SOUPS 88036 WITH SCORE 88134.361
AT ITER 4891 NEW BEST:: SOT 678244 SOS 98591 HAS SOPS 98591 HAS SOUS 88017 HAS SOUPS 88017 WITH SCORE 88115.591
AT ITER 4893 NEW BEST:: SOT 678243 SOS 98590 HAS SOPS 98590 HAS SOUS 88016 HAS SOUPS 88016 WITH SCORE 88114.59
AT ITER 4932 NEW BEST:: SOT 678242 SOS 98588 HAS SOPS 98588 HAS SOUS 88015 HAS SOUPS 88015 WITH SCORE 88113.588
AT ITER 4991 NEW BEST:: SOT 678242 SOS 98588 HAS SOPS 98588 HAS SOUS 88014 HAS SOUPS 88014 WITH SCORE 88112.588
AT ITER 5008 NEW BEST:: SOT 678259 SOS 98659 HAS SOPS 98659 HAS SOUS 87994 HAS SOUPS 87994 WITH SCORE 88092.659
AT ITER 5024 NEW BEST:: SOT 678259 SOS 98657 HAS SOPS 98657 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88090.657
AT ITER 5074 NEW BEST:: SOT 678274 SOS 98612 HAS SOPS 98612 HAS SOUS 87992 HAS SOUPS 87992 WITH SCORE 88090.612
AT ITER 5082 NEW BEST:: SOT 678172 SOS 98548 HAS SOPS 98548 HAS SOUS 87820 HAS SOUPS 87820 WITH SCORE 87918.548
AT ITER 5123 NEW BEST:: SOT 678154 SOS 98530 HAS SOPS 98530 HAS SOUS 87820 HAS SOUPS 87820 WITH SCORE 87918.53
AT ITER 5124 NEW BEST:: SOT 678146 SOS 98570 HAS SOPS 98570 HAS SOUS 87812 HAS SOUPS 87812 WITH SCORE 87910.57
AT ITER 5130 NEW BEST:: SOT 678124 SOS 98526 HAS SOPS 98526 HAS SOUS 87790 HAS SOUPS 87790 WITH SCORE 87888.526
AT ITER 5133 NEW BEST:: SOT 678124 SOS 98521 HAS SOPS 98521 HAS SOUS 87790 HAS SOUPS 87790 WITH SCORE 87888.521
AT ITER 5173 NEW BEST:: SOT 678005 SOS 98283 HAS SOPS 98283 HAS SOUS 87715 HAS SOUPS 87715 WITH SCORE 87813.283
AT ITER 5177 NEW BEST:: SOT 677911 SOS 98189 HAS SOPS 98189 HAS SOUS 87621 HAS SOUPS 87621 WITH SCORE 87719.189
AT ITER 5193 NEW BEST:: SOT 677911 SOS 98188 HAS SOPS 98188 HAS SOUS 87620 HAS SOUPS 87620 WITH SCORE 87718.188
AT ITER 5194 NEW BEST:: SOT 677908 SOS 98065 HAS SOPS 98065 HAS SOUS 87433 HAS SOUPS 87433 WITH SCORE 87531.065
AT ITER 5251 NEW BEST:: SOT 677908 SOS 98064 HAS SOPS 98064 HAS SOUS 87432 HAS SOUPS 87432 WITH SCORE 87530.064
AT ITER 5252 NEW BEST:: SOT 677903 SOS 98049 HAS SOPS 98049 HAS SOUS 87417 HAS SOUPS 87417 WITH SCORE 87515.049
AT ITER 5262 NEW BEST:: SOT 677903 SOS 98044 HAS SOPS 98044 HAS SOUS 87417 HAS SOUPS 87417 WITH SCORE 87515.044
AT ITER 5279 NEW BEST:: SOT 677903 SOS 97982 HAS SOPS 97982 HAS SOUS 87386 HAS SOUPS 87386 WITH SCORE 87483.982
AT ITER 5288 NEW BEST:: SOT 677947 SOS 97959 HAS SOPS 97959 HAS SOUS 87363 HAS SOUPS 87363 WITH SCORE 87460.959
AT ITER 5343 NEW BEST:: SOT 677947 SOS 97917 HAS SOPS 97917 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87418.917
AT ITER 5353 NEW BEST:: SOT 678024 SOS 97908 HAS SOPS 97908 HAS SOUS 87312 HAS SOUPS 87312 WITH SCORE 87409.908
AT ITER 5361 NEW BEST:: SOT 677994 SOS 97855 HAS SOPS 97855 HAS SOUS 87286 HAS SOUPS 87286 WITH SCORE 87383.855
AT ITER 5369 NEW BEST:: SOT 677910 SOS 97687 HAS SOPS 97687 HAS SOUS 87097 HAS SOUPS 87097 WITH SCORE 87194.687
AT ITER 5373 NEW BEST:: SOT 677910 SOS 97686 HAS SOPS 97686 HAS SOUS 87096 HAS SOUPS 87096 WITH SCORE 87193.686
AT ITER 5459 NEW BEST:: SOT 677909 SOS 97684 HAS SOPS 97684 HAS SOUS 87094 HAS SOUPS 87094 WITH SCORE 87191.684
AT ITER 5539 NEW BEST:: SOT 677909 SOS 97666 HAS SOPS 97666 HAS SOUS 87076 HAS SOUPS 87076 WITH SCORE 87173.666
AT ITER 5543 NEW BEST:: SOT 677884 SOS 97648 HAS SOPS 97648 HAS SOUS 87019 HAS SOUPS 87019 WITH SCORE 87116.648
AT ITER 5546 NEW BEST:: SOT 677801 SOS 97425 HAS SOPS 97425 HAS SOUS 86936 HAS SOUPS 86936 WITH SCORE 87033.425
AT ITER 5558 NEW BEST:: SOT 677767 SOS 97517 HAS SOPS 97517 HAS SOUS 86828 HAS SOUPS 86828 WITH SCORE 86925.517
AT ITER 5569 NEW BEST:: SOT 677755 SOS 97481 HAS SOPS 97481 HAS SOUS 86816 HAS SOUPS 86816 WITH SCORE 86913.481
AT ITER 5577 NEW BEST:: SOT 677766 SOS 97428 HAS SOPS 97428 HAS SOUS 86763 HAS SOUPS 86763 WITH SCORE 86860.428
AT ITER 5607 NEW BEST:: SOT 677781 SOS 97383 HAS SOPS 97383 HAS SOUS 86718 HAS SOUPS 86718 WITH SCORE 86815.383
AT ITER 5677 NEW BEST:: SOT 677758 SOS 97336 HAS SOPS 97336 HAS SOUS 86611 HAS SOUPS 86611 WITH SCORE 86708.336
AT ITER 5678 NEW BEST:: SOT 677728 SOS 97281 HAS SOPS 97281 HAS SOUS 86556 HAS SOUPS 86556 WITH SCORE 86653.281
AT ITER 5686 NEW BEST:: SOT 677680 SOS 97236 HAS SOPS 97236 HAS SOUS 86511 HAS SOUPS 86511 WITH SCORE 86608.236
AT ITER 5726 NEW BEST:: SOT 677606 SOS 97092 HAS SOPS 97092 HAS SOUS 86443 HAS SOUPS 86443 WITH SCORE 86540.092
AT ITER 5780 NEW BEST:: SOT 677597 SOS 97083 HAS SOPS 97083 HAS SOUS 86434 HAS SOUPS 86434 WITH SCORE 86531.083
AT ITER 5829 NEW BEST:: SOT 677485 SOS 97038 HAS SOPS 97038 HAS SOUS 86389 HAS SOUPS 86389 WITH SCORE 86486.038
AT ITER 5865 NEW BEST:: SOT 677477 SOS 97014 HAS SOPS 97014 HAS SOUS 86365 HAS SOUPS 86365 WITH SCORE 86462.014
AT ITER 5922 NEW BEST:: SOT 677457 SOS 96974 HAS SOPS 96974 HAS SOUS 86325 HAS SOUPS 86325 WITH SCORE 86421.974
AT ITER 5926 NEW BEST:: SOT 677457 SOS 96969 HAS SOPS 96969 HAS SOUS 86320 HAS SOUPS 86320 WITH SCORE 86416.969
AT ITER 5965 NEW BEST:: SOT 677407 SOS 96919 HAS SOPS 96919 HAS SOUS 86320 HAS SOUPS 86320 WITH SCORE 86416.919
AT ITER 5980 NEW BEST:: SOT 677407 SOS 96869 HAS SOPS 96869 HAS SOUS 86270 HAS SOUPS 86270 WITH SCORE 86366.869
AT ITER 6000 NEW BEST:: SOT 677401 SOS 96857 HAS SOPS 96857 HAS SOUS 86260 HAS SOUPS 86260 WITH SCORE 86356.857
AT ITER 6045 NEW BEST:: SOT 677377 SOS 96809 HAS SOPS 96809 HAS SOUS 86236 HAS SOUPS 86236 WITH SCORE 86332.809
AT ITER 6062 NEW BEST:: SOT 677327 SOS 96709 HAS SOPS 96709 HAS SOUS 86136 HAS SOUPS 86136 WITH SCORE 86232.709
AT ITER 6124 NEW BEST:: SOT 677362 SOS 96670 HAS SOPS 96670 HAS SOUS 86097 HAS SOUPS 86097 WITH SCORE 86193.67
AT ITER 6125 NEW BEST:: SOT 677356 SOS 96667 HAS SOPS 96667 HAS SOUS 86091 HAS SOUPS 86091 WITH SCORE 86187.667
AT ITER 6137 NEW BEST:: SOT 677248 SOS 96469 HAS SOPS 96469 HAS SOUS 86009 HAS SOUPS 86009 WITH SCORE 86105.469
AT ITER 6141 NEW BEST:: SOT 677161 SOS 96425 HAS SOPS 96425 HAS SOUS 85885 HAS SOUPS 85885 WITH SCORE 85981.425
AT ITER 6160 NEW BEST:: SOT 677153 SOS 96409 HAS SOPS 96409 HAS SOUS 85885 HAS SOUPS 85885 WITH SCORE 85981.409
AT ITER 6174 NEW BEST:: SOT 677153 SOS 96480 HAS SOPS 96480 HAS SOUS 85854 HAS SOUPS 85854 WITH SCORE 85950.48
AT ITER 6190 NEW BEST:: SOT 677118 SOS 96451 HAS SOPS 96451 HAS SOUS 85825 HAS SOUPS 85825 WITH SCORE 85921.451
AT ITER 6197 NEW BEST:: SOT 677118 SOS 96426 HAS SOPS 96426 HAS SOUS 85800 HAS SOUPS 85800 WITH SCORE 85896.426
AT ITER 6223 NEW BEST:: SOT 677122 SOS 96434 HAS SOPS 96434 HAS SOUS 85738 HAS SOUPS 85738 WITH SCORE 85834.434
AT ITER 6321 NEW BEST:: SOT 677069 SOS 96328 HAS SOPS 96328 HAS SOUS 85688 HAS SOUPS 85688 WITH SCORE 85784.328
AT ITER 6342 NEW BEST:: SOT 677102 SOS 96327 HAS SOPS 96327 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85783.327
AT ITER 6376 NEW BEST:: SOT 677102 SOS 96306 HAS SOPS 96306 HAS SOUS 85638 HAS SOUPS 85638 WITH SCORE 85734.306
AT ITER 6379 NEW BEST:: SOT 677070 SOS 96396 HAS SOPS 96396 HAS SOUS 85591 HAS SOUPS 85591 WITH SCORE 85687.396
AT ITER 6407 NEW BEST:: SOT 677046 SOS 96372 HAS SOPS 96372 HAS SOUS 85567 HAS SOUPS 85567 WITH SCORE 85663.372
AT ITER 6569 NEW BEST:: SOT 677046 SOS 96371 HAS SOPS 96371 HAS SOUS 85567 HAS SOUPS 85567 WITH SCORE 85663.371
AT ITER 6636 NEW BEST:: SOT 677031 SOS 96356 HAS SOPS 96356 HAS SOUS 85552 HAS SOUPS 85552 WITH SCORE 85648.356
AT ITER 6654 NEW BEST:: SOT 677000 SOS 96315 HAS SOPS 96315 HAS SOUS 85511 HAS SOUPS 85511 WITH SCORE 85607.315
AT ITER 6668 NEW BEST:: SOT 676947 SOS 96255 HAS SOPS 96255 HAS SOUS 85485 HAS SOUPS 85485 WITH SCORE 85581.255
AT ITER 6709 NEW BEST:: SOT 676933 SOS 96227 HAS SOPS 96227 HAS SOUS 85471 HAS SOUPS 85471 WITH SCORE 85567.227
AT ITER 6751 NEW BEST:: SOT 676881 SOS 96123 HAS SOPS 96123 HAS SOUS 85398 HAS SOUPS 85398 WITH SCORE 85494.123
AT ITER 6777 NEW BEST:: SOT 676805 SOS 95906 HAS SOPS 95906 HAS SOUS 85181 HAS SOUPS 85181 WITH SCORE 85276.906
AT ITER 6795 NEW BEST:: SOT 676805 SOS 95914 HAS SOPS 95914 HAS SOUS 85180 HAS SOUPS 85180 WITH SCORE 85275.914
AT ITER 6819 NEW BEST:: SOT 676805 SOS 95902 HAS SOPS 95902 HAS SOUS 85180 HAS SOUPS 85180 WITH SCORE 85275.902
AT ITER 6853 NEW BEST:: SOT 676710 SOS 95712 HAS SOPS 95712 HAS SOUS 85180 HAS SOUPS 85180 WITH SCORE 85275.712
AT ITER 6861 NEW BEST:: SOT 676661 SOS 95707 HAS SOPS 95707 HAS SOUS 85175 HAS SOUPS 85175 WITH SCORE 85270.707
AT ITER 6862 NEW BEST:: SOT 676654 SOS 95693 HAS SOPS 95693 HAS SOUS 85160 HAS SOUPS 85160 WITH SCORE 85255.693
AT ITER 6877 NEW BEST:: SOT 676587 SOS 95623 HAS SOPS 95623 HAS SOUS 85090 HAS SOUPS 85090 WITH SCORE 85185.623
AT ITER 6882 NEW BEST:: SOT 676552 SOS 95580 HAS SOPS 95580 HAS SOUS 85074 HAS SOUPS 85074 WITH SCORE 85169.58
AT ITER 6885 NEW BEST:: SOT 676512 SOS 95525 HAS SOPS 95525 HAS SOUS 85019 HAS SOUPS 85019 WITH SCORE 85114.525
AT ITER 6910 NEW BEST:: SOT 676507 SOS 95494 HAS SOPS 95494 HAS SOUS 84988 HAS SOUPS 84988 WITH SCORE 85083.494
AT ITER 6917 NEW BEST:: SOT 676507 SOS 95486 HAS SOPS 95486 HAS SOUS 84980 HAS SOUPS 84980 WITH SCORE 85075.486
AT ITER 6922 NEW BEST:: SOT 676619 SOS 95401 HAS SOPS 95401 HAS SOUS 84980 HAS SOUPS 84980 WITH SCORE 85075.401
AT ITER 6958 NEW BEST:: SOT 676527 SOS 95382 HAS SOPS 95382 HAS SOUS 84955 HAS SOUPS 84955 WITH SCORE 85050.382
AT ITER 6987 NEW BEST:: SOT 676506 SOS 95284 HAS SOPS 95284 HAS SOUS 84937 HAS SOUPS 84937 WITH SCORE 85032.284
AT ITER 7008 NEW BEST:: SOT 676492 SOS 95241 HAS SOPS 95241 HAS SOUS 84894 HAS SOUPS 84894 WITH SCORE 84989.241
AT ITER 7034 NEW BEST:: SOT 676480 SOS 95236 HAS SOPS 95236 HAS SOUS 84889 HAS SOUPS 84889 WITH SCORE 84984.236
AT ITER 7058 NEW BEST:: SOT 676449 SOS 95143 HAS SOPS 95143 HAS SOUS 84827 HAS SOUPS 84827 WITH SCORE 84922.143
AT ITER 7064 NEW BEST:: SOT 676430 SOS 95070 HAS SOPS 95070 HAS SOUS 84773 HAS SOUPS 84773 WITH SCORE 84868.07
AT ITER 7106 NEW BEST:: SOT 676405 SOS 94995 HAS SOPS 94995 HAS SOUS 84748 HAS SOUPS 84748 WITH SCORE 84842.995
AT ITER 7107 NEW BEST:: SOT 676385 SOS 94955 HAS SOPS 94955 HAS SOUS 84708 HAS SOUPS 84708 WITH SCORE 84802.955
AT ITER 7110 NEW BEST:: SOT 676370 SOS 94925 HAS SOPS 94925 HAS SOUS 84653 HAS SOUPS 84653 WITH SCORE 84747.925
AT ITER 7115 NEW BEST:: SOT 676331 SOS 94975 HAS SOPS 94975 HAS SOUS 84614 HAS SOUPS 84614 WITH SCORE 84708.975
AT ITER 7116 NEW BEST:: SOT 676330 SOS 94973 HAS SOPS 94973 HAS SOUS 84612 HAS SOUPS 84612 WITH SCORE 84706.973
AT ITER 7186 NEW BEST:: SOT 676342 SOS 94976 HAS SOPS 94976 HAS SOUS 84611 HAS SOUPS 84611 WITH SCORE 84705.976
AT ITER 7217 NEW BEST:: SOT 676338 SOS 94968 HAS SOPS 94968 HAS SOUS 84603 HAS SOUPS 84603 WITH SCORE 84697.968
AT ITER 7228 NEW BEST:: SOT 676284 SOS 94860 HAS SOPS 94860 HAS SOUS 84431 HAS SOUPS 84431 WITH SCORE 84525.86
AT ITER 7247 NEW BEST:: SOT 676278 SOS 94853 HAS SOPS 94853 HAS SOUS 84424 HAS SOUPS 84424 WITH SCORE 84518.853
AT ITER 7249 NEW BEST:: SOT 676278 SOS 94853 HAS SOPS 94853 HAS SOUS 84422 HAS SOUPS 84422 WITH SCORE 84516.853
AT ITER 7281 NEW BEST:: SOT 676307 SOS 94833 HAS SOPS 94833 HAS SOUS 84402 HAS SOUPS 84402 WITH SCORE 84496.833
AT ITER 7313 NEW BEST:: SOT 676242 SOS 94917 HAS SOPS 94917 HAS SOUS 84258 HAS SOUPS 84258 WITH SCORE 84352.917
AT ITER 7350 NEW BEST:: SOT 676240 SOS 94915 HAS SOPS 94915 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84350.915
AT ITER 7423 NEW BEST:: SOT 676188 SOS 94863 HAS SOPS 94863 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84350.863
AT ITER 7463 NEW BEST:: SOT 676188 SOS 94853 HAS SOPS 94853 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84350.853
AT ITER 7482 NEW BEST:: SOT 676188 SOS 94816 HAS SOPS 94816 HAS SOUS 84219 HAS SOUPS 84219 WITH SCORE 84313.816
AT ITER 7483 NEW BEST:: SOT 676198 SOS 94836 HAS SOPS 94836 HAS SOUS 84213 HAS SOUPS 84213 WITH SCORE 84307.836
AT ITER 7531 NEW BEST:: SOT 676198 SOS 94772 HAS SOPS 94772 HAS SOUS 84167 HAS SOUPS 84167 WITH SCORE 84261.772
AT ITER 7545 NEW BEST:: SOT 676198 SOS 94772 HAS SOPS 94772 HAS SOUS 84152 HAS SOUPS 84152 WITH SCORE 84246.772
AT ITER 7552 NEW BEST:: SOT 676197 SOS 94771 HAS SOPS 94771 HAS SOUS 84151 HAS SOUPS 84151 WITH SCORE 84245.771
AT ITER 7555 NEW BEST:: SOT 676193 SOS 94763 HAS SOPS 94763 HAS SOUS 84143 HAS SOUPS 84143 WITH SCORE 84237.763
AT ITER 7559 NEW BEST:: SOT 676156 SOS 94689 HAS SOPS 94689 HAS SOUS 84069 HAS SOUPS 84069 WITH SCORE 84163.689
AT ITER 7562 NEW BEST:: SOT 676037 SOS 94677 HAS SOPS 94677 HAS SOUS 83975 HAS SOUPS 83975 WITH SCORE 84069.677
AT ITER 7663 NEW BEST:: SOT 676037 SOS 94655 HAS SOPS 94655 HAS SOUS 83975 HAS SOUPS 83975 WITH SCORE 84069.655
AT ITER 7724 NEW BEST:: SOT 676032 SOS 94618 HAS SOPS 94618 HAS SOUS 83938 HAS SOUPS 83938 WITH SCORE 84032.618
AT ITER 7727 NEW BEST:: SOT 676020 SOS 94606 HAS SOPS 94606 HAS SOUS 83926 HAS SOUPS 83926 WITH SCORE 84020.606
AT ITER 7741 NEW BEST:: SOT 676024 SOS 94548 HAS SOPS 94548 HAS SOUS 83915 HAS SOUPS 83915 WITH SCORE 84009.548
AT ITER 7756 NEW BEST:: SOT 676021 SOS 94542 HAS SOPS 94542 HAS SOUS 83909 HAS SOUPS 83909 WITH SCORE 84003.542
AT ITER 7759 NEW BEST:: SOT 676007 SOS 94514 HAS SOPS 94514 HAS SOUS 83895 HAS SOUPS 83895 WITH SCORE 83989.514
AT ITER 7778 NEW BEST:: SOT 675992 SOS 94484 HAS SOPS 94484 HAS SOUS 83877 HAS SOUPS 83877 WITH SCORE 83971.484
AT ITER 7782 NEW BEST:: SOT 675924 SOS 94354 HAS SOPS 94354 HAS SOUS 83838 HAS SOUPS 83838 WITH SCORE 83932.354
AT ITER 7832 NEW BEST:: SOT 675918 SOS 94350 HAS SOPS 94350 HAS SOUS 83834 HAS SOUPS 83834 WITH SCORE 83928.35
AT ITER 7839 NEW BEST:: SOT 675977 SOS 94468 HAS SOPS 94468 HAS SOUS 83761 HAS SOUPS 83761 WITH SCORE 83855.468
AT ITER 7862 NEW BEST:: SOT 675981 SOS 94446 HAS SOPS 94446 HAS SOUS 83749 HAS SOUPS 83749 WITH SCORE 83843.446
AT ITER 7866 NEW BEST:: SOT 675975 SOS 94489 HAS SOPS 94489 HAS SOUS 83743 HAS SOUPS 83743 WITH SCORE 83837.489
AT ITER 7872 NEW BEST:: SOT 675969 SOS 94477 HAS SOPS 94477 HAS SOUS 83731 HAS SOUPS 83731 WITH SCORE 83825.477
AT ITER 7879 NEW BEST:: SOT 675956 SOS 94451 HAS SOPS 94451 HAS SOUS 83698 HAS SOUPS 83698 WITH SCORE 83792.451
AT ITER 7928 NEW BEST:: SOT 675948 SOS 94425 HAS SOPS 94425 HAS SOUS 83691 HAS SOUPS 83691 WITH SCORE 83785.425
AT ITER 7932 NEW BEST:: SOT 675764 SOS 94567 HAS SOPS 94567 HAS SOUS 83591 HAS SOUPS 83591 WITH SCORE 83685.567
AT ITER 7947 NEW BEST:: SOT 675712 SOS 94485 HAS SOPS 94485 HAS SOUS 83462 HAS SOUPS 83462 WITH SCORE 83556.485
AT ITER 7949 NEW BEST:: SOT 675712 SOS 94485 HAS SOPS 94485 HAS SOUS 83440 HAS SOUPS 83440 WITH SCORE 83534.485
AT ITER 8041 NEW BEST:: SOT 675712 SOS 94485 HAS SOPS 94485 HAS SOUS 83439 HAS SOUPS 83439 WITH SCORE 83533.485
AT ITER 8052 NEW BEST:: SOT 675700 SOS 94467 HAS SOPS 94467 HAS SOUS 83421 HAS SOUPS 83421 WITH SCORE 83515.467
AT ITER 8104 NEW BEST:: SOT 675685 SOS 94437 HAS SOPS 94437 HAS SOUS 83406 HAS SOUPS 83406 WITH SCORE 83500.437
AT ITER 8122 NEW BEST:: SOT 675663 SOS 94393 HAS SOPS 94393 HAS SOUS 83362 HAS SOUPS 83362 WITH SCORE 83456.393
AT ITER 8131 NEW BEST:: SOT 675732 SOS 94438 HAS SOPS 94438 HAS SOUS 83359 HAS SOUPS 83359 WITH SCORE 83453.438
AT ITER 8239 NEW BEST:: SOT 675727 SOS 94433 HAS SOPS 94433 HAS SOUS 83354 HAS SOUPS 83354 WITH SCORE 83448.433
AT ITER 8245 NEW BEST:: SOT 675738 SOS 94403 HAS SOPS 94403 HAS SOUS 83324 HAS SOUPS 83324 WITH SCORE 83418.403
AT ITER 8280 NEW BEST:: SOT 675766 SOS 94459 HAS SOPS 94459 HAS SOUS 83293 HAS SOUPS 83293 WITH SCORE 83387.459
AT ITER 8344 NEW BEST:: SOT 675750 SOS 94427 HAS SOPS 94427 HAS SOUS 83261 HAS SOUPS 83261 WITH SCORE 83355.427
AT ITER 8347 NEW BEST:: SOT 675740 SOS 94407 HAS SOPS 94407 HAS SOUS 83251 HAS SOUPS 83251 WITH SCORE 83345.407
AT ITER 8361 NEW BEST:: SOT 675737 SOS 94401 HAS SOPS 94401 HAS SOUS 83248 HAS SOUPS 83248 WITH SCORE 83342.401
AT ITER 8445 NEW BEST:: SOT 675599 SOS 94103 HAS SOPS 94103 HAS SOUS 83211 HAS SOUPS 83211 WITH SCORE 83305.103
AT ITER 8448 NEW BEST:: SOT 675598 SOS 94101 HAS SOPS 94101 HAS SOUS 83210 HAS SOUPS 83210 WITH SCORE 83304.101
AT ITER 8486 NEW BEST:: SOT 675598 SOS 94086 HAS SOPS 94086 HAS SOUS 83195 HAS SOUPS 83195 WITH SCORE 83289.086
AT ITER 8488 NEW BEST:: SOT 675624 SOS 94058 HAS SOPS 94058 HAS SOUS 83167 HAS SOUPS 83167 WITH SCORE 83261.058
AT ITER 8506 NEW BEST:: SOT 675613 SOS 94036 HAS SOPS 94036 HAS SOUS 83145 HAS SOUPS 83145 WITH SCORE 83239.036
AT ITER 8511 NEW BEST:: SOT 675629 SOS 93979 HAS SOPS 93979 HAS SOUS 83088 HAS SOUPS 83088 WITH SCORE 83181.979
AT ITER 8533 NEW BEST:: SOT 675622 SOS 93965 HAS SOPS 93965 HAS SOUS 83065 HAS SOUPS 83065 WITH SCORE 83158.965
AT ITER 8534 NEW BEST:: SOT 675631 SOS 94051 HAS SOPS 94051 HAS SOUS 83046 HAS SOUPS 83046 WITH SCORE 83140.051
AT ITER 8556 NEW BEST:: SOT 675628 SOS 94023 HAS SOPS 94023 HAS SOUS 83040 HAS SOUPS 83040 WITH SCORE 83134.023
AT ITER 8562 NEW BEST:: SOT 675790 SOS 93837 HAS SOPS 93837 HAS SOUS 82920 HAS SOUPS 82920 WITH SCORE 83013.837
AT ITER 8608 NEW BEST:: SOT 675789 SOS 93836 HAS SOPS 93836 HAS SOUS 82919 HAS SOUPS 82919 WITH SCORE 83012.836
AT ITER 8621 NEW BEST:: SOT 676040 SOS 93998 HAS SOPS 93998 HAS SOUS 82911 HAS SOUPS 82911 WITH SCORE 83004.998
AT ITER 8630 NEW BEST:: SOT 676003 SOS 93961 HAS SOPS 93961 HAS SOUS 82911 HAS SOUPS 82911 WITH SCORE 83004.961
AT ITER 8641 NEW BEST:: SOT 676021 SOS 94125 HAS SOPS 94125 HAS SOUS 82896 HAS SOUPS 82896 WITH SCORE 82990.125
AT ITER 8645 NEW BEST:: SOT 675998 SOS 94079 HAS SOPS 94079 HAS SOUS 82850 HAS SOUPS 82850 WITH SCORE 82944.079
AT ITER 8648 NEW BEST:: SOT 675961 SOS 94005 HAS SOPS 94005 HAS SOUS 82847 HAS SOUPS 82847 WITH SCORE 82941.005
AT ITER 8661 NEW BEST:: SOT 675843 SOS 93908 HAS SOPS 93908 HAS SOUS 82750 HAS SOUPS 82750 WITH SCORE 82843.908
AT ITER 8766 NEW BEST:: SOT 675804 SOS 93848 HAS SOPS 93848 HAS SOUS 82711 HAS SOUPS 82711 WITH SCORE 82804.848
AT ITER 8774 NEW BEST:: SOT 675804 SOS 93817 HAS SOPS 93817 HAS SOUS 82680 HAS SOUPS 82680 WITH SCORE 82773.817
AT ITER 8851 NEW BEST:: SOT 675757 SOS 93811 HAS SOPS 93811 HAS SOUS 82674 HAS SOUPS 82674 WITH SCORE 82767.811
AT ITER 8866 NEW BEST:: SOT 675757 SOS 93811 HAS SOPS 93811 HAS SOUS 82651 HAS SOUPS 82651 WITH SCORE 82744.811
AT ITER 8904 NEW BEST:: SOT 675747 SOS 93806 HAS SOPS 93806 HAS SOUS 82641 HAS SOUPS 82641 WITH SCORE 82734.806
AT ITER 8923 NEW BEST:: SOT 675817 SOS 93776 HAS SOPS 93776 HAS SOUS 82611 HAS SOUPS 82611 WITH SCORE 82704.776
AT ITER 8930 NEW BEST:: SOT 675678 SOS 93498 HAS SOPS 93498 HAS SOUS 82560 HAS SOUPS 82560 WITH SCORE 82653.498
AT ITER 8942 NEW BEST:: SOT 675640 SOS 93422 HAS SOPS 93422 HAS SOUS 82484 HAS SOUPS 82484 WITH SCORE 82577.422
AT ITER 8981 NEW BEST:: SOT 675615 SOS 93372 HAS SOPS 93372 HAS SOUS 82444 HAS SOUPS 82444 WITH SCORE 82537.372
AT ITER 9040 NEW BEST:: SOT 675615 SOS 93372 HAS SOPS 93372 HAS SOUS 82423 HAS SOUPS 82423 WITH SCORE 82516.372
AT ITER 9088 NEW BEST:: SOT 675617 SOS 93338 HAS SOPS 93338 HAS SOUS 82412 HAS SOUPS 82412 WITH SCORE 82505.338
AT ITER 9116 NEW BEST:: SOT 675593 SOS 93290 HAS SOPS 93290 HAS SOUS 82408 HAS SOUPS 82408 WITH SCORE 82501.29
AT ITER 9118 NEW BEST:: SOT 675580 SOS 93282 HAS SOPS 93282 HAS SOUS 82397 HAS SOUPS 82397 WITH SCORE 82490.282
AT ITER 9199 NEW BEST:: SOT 675473 SOS 93229 HAS SOPS 93229 HAS SOUS 82286 HAS SOUPS 82286 WITH SCORE 82379.229
AT ITER 9232 NEW BEST:: SOT 675383 SOS 93072 HAS SOPS 93072 HAS SOUS 82163 HAS SOUPS 82163 WITH SCORE 82256.072
AT ITER 9243 NEW BEST:: SOT 675284 SOS 93048 HAS SOPS 93048 HAS SOUS 82075 HAS SOUPS 82075 WITH SCORE 82168.048
AT ITER 9254 NEW BEST:: SOT 675284 SOS 93048 HAS SOPS 93048 HAS SOUS 82064 HAS SOUPS 82064 WITH SCORE 82157.048
AT ITER 9276 NEW BEST:: SOT 675313 SOS 93000 HAS SOPS 93000 HAS SOUS 82054 HAS SOUPS 82054 WITH SCORE 82147.0
AT ITER 9281 NEW BEST:: SOT 675304 SOS 92982 HAS SOPS 92982 HAS SOUS 82036 HAS SOUPS 82036 WITH SCORE 82128.982
AT ITER 9293 NEW BEST:: SOT 675314 SOS 92992 HAS SOPS 92992 HAS SOUS 82031 HAS SOUPS 82031 WITH SCORE 82123.992
AT ITER 9347 NEW BEST:: SOT 675192 SOS 92870 HAS SOPS 92870 HAS SOUS 81909 HAS SOUPS 81909 WITH SCORE 82001.87
AT ITER 9387 NEW BEST:: SOT 675176 SOS 92838 HAS SOPS 92838 HAS SOUS 81893 HAS SOUPS 81893 WITH SCORE 81985.838
AT ITER 9388 NEW BEST:: SOT 675183 SOS 92798 HAS SOPS 92798 HAS SOUS 81882 HAS SOUPS 81882 WITH SCORE 81974.798
AT ITER 9433 NEW BEST:: SOT 675132 SOS 92684 HAS SOPS 92684 HAS SOUS 81819 HAS SOUPS 81819 WITH SCORE 81911.684
AT ITER 9439 NEW BEST:: SOT 675115 SOS 92664 HAS SOPS 92664 HAS SOUS 81799 HAS SOUPS 81799 WITH SCORE 81891.664
AT ITER 9486 NEW BEST:: SOT 675080 SOS 92559 HAS SOPS 92559 HAS SOUS 81764 HAS SOUPS 81764 WITH SCORE 81856.559
AT ITER 9559 NEW BEST:: SOT 675058 SOS 92538 HAS SOPS 92538 HAS SOUS 81748 HAS SOUPS 81748 WITH SCORE 81840.538
AT ITER 9579 NEW BEST:: SOT 675122 SOS 92510 HAS SOPS 92510 HAS SOUS 81720 HAS SOUPS 81720 WITH SCORE 81812.51
AT ITER 9609 NEW BEST:: SOT 675048 SOS 92436 HAS SOPS 92436 HAS SOUS 81646 HAS SOUPS 81646 WITH SCORE 81738.436
AT ITER 9676 NEW BEST:: SOT 675009 SOS 92358 HAS SOPS 92358 HAS SOUS 81568 HAS SOUPS 81568 WITH SCORE 81660.358
AT ITER 9687 NEW BEST:: SOT 675002 SOS 92330 HAS SOPS 92330 HAS SOUS 81554 HAS SOUPS 81554 WITH SCORE 81646.33
AT ITER 9759 NEW BEST:: SOT 674971 SOS 92330 HAS SOPS 92330 HAS SOUS 81523 HAS SOUPS 81523 WITH SCORE 81615.33
AT ITER 9798 NEW BEST:: SOT 674968 SOS 92324 HAS SOPS 92324 HAS SOUS 81520 HAS SOUPS 81520 WITH SCORE 81612.324
AT ITER 9835 NEW BEST:: SOT 674928 SOS 92283 HAS SOPS 92283 HAS SOUS 81479 HAS SOUPS 81479 WITH SCORE 81571.283
AT ITER 9848 NEW BEST:: SOT 674924 SOS 92238 HAS SOPS 92238 HAS SOUS 81434 HAS SOUPS 81434 WITH SCORE 81526.238
AT ITER 9854 NEW BEST:: SOT 674924 SOS 92196 HAS SOPS 92196 HAS SOUS 81434 HAS SOUPS 81434 WITH SCORE 81526.196
AT ITER 9876 NEW BEST:: SOT 674884 SOS 92157 HAS SOPS 92157 HAS SOUS 81395 HAS SOUPS 81395 WITH SCORE 81487.157
AT ITER 9906 NEW BEST:: SOT 674876 SOS 92149 HAS SOPS 92149 HAS SOUS 81387 HAS SOUPS 81387 WITH SCORE 81479.149
AT ITER 9932 NEW BEST:: SOT 674876 SOS 92108 HAS SOPS 92108 HAS SOUS 81346 HAS SOUPS 81346 WITH SCORE 81438.108
AT ITER 9973 NEW BEST:: SOT 674839 SOS 91882 HAS SOPS 91882 HAS SOUS 81272 HAS SOUPS 81272 WITH SCORE 81363.882
AT ITER 9982 NEW BEST:: SOT 674828 SOS 91860 HAS SOPS 91860 HAS SOUS 81250 HAS SOUPS 81250 WITH SCORE 81341.86
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11853844 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151952 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-12b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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-12b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590900480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-12b.tgz
mv AutoFlight-PT-12b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;