About the Execution of Smart for ShieldIIPt-PT-004B
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7969.012 | 3600000.00 | 3600131.00 | 10.10 | [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.r387-oct2-167903711600240.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 ShieldIIPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711600240
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 9.1K Feb 25 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 25 17:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:23 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 1679060361675
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=ShieldIIPt-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 004B
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: 283 places, 263 transitions, 654 arcs.
AT ITER 0 NEW BEST:: SOT 41710 SOS 13012 HAS SOPS 13012 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.012
AT ITER 25 NEW BEST:: SOT 41634 SOS 12891 HAS SOPS 12891 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11684.891
AT ITER 39 NEW BEST:: SOT 41604 SOS 12810 HAS SOPS 12810 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11592.81
AT ITER 41 NEW BEST:: SOT 41601 SOS 12804 HAS SOPS 12804 HAS SOUS 11574 HAS SOUPS 11574 WITH SCORE 11586.804
AT ITER 43 NEW BEST:: SOT 41601 SOS 12784 HAS SOPS 12784 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11566.784
AT ITER 53 NEW BEST:: SOT 41565 SOS 12712 HAS SOPS 12712 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11529.712
AT ITER 76 NEW BEST:: SOT 41564 SOS 12690 HAS SOPS 12690 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11527.69
AT ITER 87 NEW BEST:: SOT 41563 SOS 12688 HAS SOPS 12688 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11525.688
AT ITER 146 NEW BEST:: SOT 41562 SOS 12686 HAS SOPS 12686 HAS SOUS 11511 HAS SOUPS 11511 WITH SCORE 11523.686
AT ITER 148 NEW BEST:: SOT 41526 SOS 12581 HAS SOPS 12581 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11451.581
AT ITER 149 NEW BEST:: SOT 41437 SOS 12632 HAS SOPS 12632 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11409.632
AT ITER 152 NEW BEST:: SOT 41480 SOS 12590 HAS SOPS 12590 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11367.59
AT ITER 155 NEW BEST:: SOT 41480 SOS 12585 HAS SOPS 12585 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.585
AT ITER 159 NEW BEST:: SOT 41480 SOS 12584 HAS SOPS 12584 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11356.584
AT ITER 162 NEW BEST:: SOT 41485 SOS 12514 HAS SOPS 12514 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11293.514
AT ITER 176 NEW BEST:: SOT 41477 SOS 12506 HAS SOPS 12506 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11285.506
AT ITER 185 NEW BEST:: SOT 41476 SOS 12514 HAS SOPS 12514 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11283.514
AT ITER 200 NEW BEST:: SOT 41476 SOS 12513 HAS SOPS 12513 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11282.513
AT ITER 203 NEW BEST:: SOT 41427 SOS 12482 HAS SOPS 12482 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.482
AT ITER 221 NEW BEST:: SOT 41399 SOS 12393 HAS SOPS 12393 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11223.393
AT ITER 224 NEW BEST:: SOT 41323 SOS 12317 HAS SOPS 12317 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11147.317
AT ITER 225 NEW BEST:: SOT 41323 SOS 12305 HAS SOPS 12305 HAS SOUS 11123 HAS SOUPS 11123 WITH SCORE 11135.305
AT ITER 228 NEW BEST:: SOT 41323 SOS 12296 HAS SOPS 12296 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11115.296
AT ITER 237 NEW BEST:: SOT 41363 SOS 12276 HAS SOPS 12276 HAS SOUS 11048 HAS SOUPS 11048 WITH SCORE 11060.276
AT ITER 241 NEW BEST:: SOT 41363 SOS 12152 HAS SOPS 12152 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 10998.152
AT ITER 251 NEW BEST:: SOT 41362 SOS 12152 HAS SOPS 12152 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10997.152
AT ITER 254 NEW BEST:: SOT 41336 SOS 12126 HAS SOPS 12126 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10984.126
AT ITER 272 NEW BEST:: SOT 41336 SOS 12126 HAS SOPS 12126 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10955.126
AT ITER 273 NEW BEST:: SOT 41336 SOS 12117 HAS SOPS 12117 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10946.117
AT ITER 276 NEW BEST:: SOT 41336 SOS 12112 HAS SOPS 12112 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10939.112
AT ITER 284 NEW BEST:: SOT 41324 SOS 12073 HAS SOPS 12073 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10900.073
AT ITER 295 NEW BEST:: SOT 41313 SOS 12062 HAS SOPS 12062 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10889.062
AT ITER 300 NEW BEST:: SOT 41342 SOS 11957 HAS SOPS 11957 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10873.957
AT ITER 310 NEW BEST:: SOT 41332 SOS 11937 HAS SOPS 11937 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10853.937
AT ITER 311 NEW BEST:: SOT 41272 SOS 11877 HAS SOPS 11877 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10793.877
AT ITER 321 NEW BEST:: SOT 41215 SOS 11791 HAS SOPS 11791 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10714.791
AT ITER 339 NEW BEST:: SOT 41168 SOS 11660 HAS SOPS 11660 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.66
AT ITER 359 NEW BEST:: SOT 41168 SOS 11650 HAS SOPS 11650 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.65
AT ITER 363 NEW BEST:: SOT 41168 SOS 11650 HAS SOPS 11650 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10626.65
AT ITER 367 NEW BEST:: SOT 41156 SOS 11626 HAS SOPS 11626 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10602.626
AT ITER 372 NEW BEST:: SOT 41165 SOS 11579 HAS SOPS 11579 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10555.579
AT ITER 391 NEW BEST:: SOT 41156 SOS 11556 HAS SOPS 11556 HAS SOUS 10526 HAS SOUPS 10526 WITH SCORE 10537.556
AT ITER 395 NEW BEST:: SOT 41151 SOS 11546 HAS SOPS 11546 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10497.546
AT ITER 427 NEW BEST:: SOT 41110 SOS 11423 HAS SOPS 11423 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10456.423
AT ITER 443 NEW BEST:: SOT 41128 SOS 11459 HAS SOPS 11459 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10448.459
AT ITER 453 NEW BEST:: SOT 41106 SOS 11430 HAS SOPS 11430 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10419.43
AT ITER 459 NEW BEST:: SOT 41106 SOS 11409 HAS SOPS 11409 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10398.409
AT ITER 486 NEW BEST:: SOT 41106 SOS 11395 HAS SOPS 11395 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.395
AT ITER 504 NEW BEST:: SOT 41106 SOS 11377 HAS SOPS 11377 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.377
AT ITER 509 NEW BEST:: SOT 41112 SOS 11373 HAS SOPS 11373 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10374.373
AT ITER 513 NEW BEST:: SOT 41109 SOS 11366 HAS SOPS 11366 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10367.366
AT ITER 522 NEW BEST:: SOT 41092 SOS 11332 HAS SOPS 11332 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10355.332
AT ITER 525 NEW BEST:: SOT 41092 SOS 11301 HAS SOPS 11301 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10324.301
AT ITER 540 NEW BEST:: SOT 41092 SOS 11295 HAS SOPS 11295 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10318.295
AT ITER 548 NEW BEST:: SOT 41055 SOS 11222 HAS SOPS 11222 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.222
AT ITER 549 NEW BEST:: SOT 41059 SOS 11209 HAS SOPS 11209 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10284.209
AT ITER 554 NEW BEST:: SOT 41049 SOS 11143 HAS SOPS 11143 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10232.143
AT ITER 558 NEW BEST:: SOT 41037 SOS 11119 HAS SOPS 11119 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10223.119
AT ITER 562 NEW BEST:: SOT 40988 SOS 11044 HAS SOPS 11044 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10174.044
AT ITER 584 NEW BEST:: SOT 40987 SOS 11030 HAS SOPS 11030 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.03
AT ITER 587 NEW BEST:: SOT 40987 SOS 11028 HAS SOPS 11028 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10170.028
AT ITER 594 NEW BEST:: SOT 40972 SOS 10998 HAS SOPS 10998 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10137.998
AT ITER 643 NEW BEST:: SOT 40970 SOS 10963 HAS SOPS 10963 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10130.963
AT ITER 645 NEW BEST:: SOT 40969 SOS 10897 HAS SOPS 10897 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10089.897
AT ITER 661 NEW BEST:: SOT 40968 SOS 10895 HAS SOPS 10895 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10088.895
AT ITER 664 NEW BEST:: SOT 40902 SOS 10917 HAS SOPS 10917 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10065.917
AT ITER 668 NEW BEST:: SOT 40902 SOS 10885 HAS SOPS 10885 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10033.885
AT ITER 718 NEW BEST:: SOT 40914 SOS 10914 HAS SOPS 10914 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10025.914
AT ITER 725 NEW BEST:: SOT 40910 SOS 10910 HAS SOPS 10910 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10021.91
AT ITER 743 NEW BEST:: SOT 40910 SOS 10908 HAS SOPS 10908 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10019.908
AT ITER 760 NEW BEST:: SOT 40899 SOS 10886 HAS SOPS 10886 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9995.886
AT ITER 762 NEW BEST:: SOT 40866 SOS 10820 HAS SOPS 10820 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9961.82
AT ITER 780 NEW BEST:: SOT 40838 SOS 10732 HAS SOPS 10732 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9901.732
AT ITER 801 NEW BEST:: SOT 40838 SOS 10754 HAS SOPS 10754 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.754
AT ITER 813 NEW BEST:: SOT 40838 SOS 10754 HAS SOPS 10754 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9878.754
AT ITER 831 NEW BEST:: SOT 40836 SOS 10754 HAS SOPS 10754 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.754
AT ITER 860 NEW BEST:: SOT 40847 SOS 10761 HAS SOPS 10761 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9872.761
AT ITER 863 NEW BEST:: SOT 40875 SOS 10716 HAS SOPS 10716 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9857.716
AT ITER 867 NEW BEST:: SOT 40891 SOS 10622 HAS SOPS 10622 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9810.622
AT ITER 881 NEW BEST:: SOT 40887 SOS 10618 HAS SOPS 10618 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9810.618
AT ITER 894 NEW BEST:: SOT 40885 SOS 10612 HAS SOPS 10612 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9804.612
AT ITER 901 NEW BEST:: SOT 40885 SOS 10591 HAS SOPS 10591 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.591
AT ITER 906 NEW BEST:: SOT 40768 SOS 10511 HAS SOPS 10511 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9696.511
AT ITER 921 NEW BEST:: SOT 40762 SOS 10437 HAS SOPS 10437 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9628.437
AT ITER 931 NEW BEST:: SOT 40760 SOS 10435 HAS SOPS 10435 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9626.435
AT ITER 935 NEW BEST:: SOT 40719 SOS 10259 HAS SOPS 10259 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9485.259
AT ITER 970 NEW BEST:: SOT 40719 SOS 10185 HAS SOPS 10185 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9352.185
AT ITER 979 NEW BEST:: SOT 40676 SOS 10099 HAS SOPS 10099 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9309.099
AT ITER 999 NEW BEST:: SOT 40669 SOS 10097 HAS SOPS 10097 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9306.097
AT ITER 1029 NEW BEST:: SOT 40641 SOS 10138 HAS SOPS 10138 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9294.138
AT ITER 1030 NEW BEST:: SOT 40648 SOS 10083 HAS SOPS 10083 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9271.083
AT ITER 1037 NEW BEST:: SOT 40639 SOS 10074 HAS SOPS 10074 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9256.074
AT ITER 1060 NEW BEST:: SOT 40630 SOS 10045 HAS SOPS 10045 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.045
AT ITER 1086 NEW BEST:: SOT 40627 SOS 10042 HAS SOPS 10042 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9230.042
AT ITER 1097 NEW BEST:: SOT 40623 SOS 10034 HAS SOPS 10034 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9222.034
AT ITER 1113 NEW BEST:: SOT 40623 SOS 10011 HAS SOPS 10011 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9191.011
AT ITER 1114 NEW BEST:: SOT 40623 SOS 10010 HAS SOPS 10010 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.01
AT ITER 1118 NEW BEST:: SOT 40625 SOS 9996 HAS SOPS 9996 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9175.996
AT ITER 1227 NEW BEST:: SOT 40614 SOS 9942 HAS SOPS 9942 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9164.942
AT ITER 1234 NEW BEST:: SOT 40634 SOS 9940 HAS SOPS 9940 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9162.94
AT ITER 1263 NEW BEST:: SOT 40638 SOS 9936 HAS SOPS 9936 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9158.936
AT ITER 1270 NEW BEST:: SOT 40628 SOS 9927 HAS SOPS 9927 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9158.927
AT ITER 1288 NEW BEST:: SOT 40628 SOS 9909 HAS SOPS 9909 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9153.909
AT ITER 1289 NEW BEST:: SOT 40598 SOS 9889 HAS SOPS 9889 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9118.889
AT ITER 1301 NEW BEST:: SOT 40596 SOS 9887 HAS SOPS 9887 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9116.887
AT ITER 1311 NEW BEST:: SOT 40594 SOS 9883 HAS SOPS 9883 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9111.883
AT ITER 1318 NEW BEST:: SOT 40592 SOS 9875 HAS SOPS 9875 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9105.875
AT ITER 1340 NEW BEST:: SOT 40598 SOS 9886 HAS SOPS 9886 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9099.886
AT ITER 1344 NEW BEST:: SOT 40634 SOS 9865 HAS SOPS 9865 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9089.865
AT ITER 1377 NEW BEST:: SOT 40608 SOS 9832 HAS SOPS 9832 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9044.832
AT ITER 1379 NEW BEST:: SOT 40622 SOS 9860 HAS SOPS 9860 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.86
AT ITER 1385 NEW BEST:: SOT 40645 SOS 9883 HAS SOPS 9883 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9034.883
AT ITER 1401 NEW BEST:: SOT 40587 SOS 9865 HAS SOPS 9865 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9016.865
AT ITER 1427 NEW BEST:: SOT 40587 SOS 9815 HAS SOPS 9815 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8966.815
AT ITER 1444 NEW BEST:: SOT 40577 SOS 9805 HAS SOPS 9805 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8956.805
AT ITER 1466 NEW BEST:: SOT 40581 SOS 9798 HAS SOPS 9798 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8949.798
AT ITER 1468 NEW BEST:: SOT 40565 SOS 9793 HAS SOPS 9793 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8944.793
AT ITER 1490 NEW BEST:: SOT 40568 SOS 9783 HAS SOPS 9783 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8934.783
AT ITER 1492 NEW BEST:: SOT 40567 SOS 9780 HAS SOPS 9780 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8931.78
AT ITER 1500 NEW BEST:: SOT 40572 SOS 9775 HAS SOPS 9775 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8926.775
AT ITER 1503 NEW BEST:: SOT 40569 SOS 9769 HAS SOPS 9769 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8923.769
AT ITER 1537 NEW BEST:: SOT 40552 SOS 9741 HAS SOPS 9741 HAS SOUS 8886 HAS SOUPS 8886 WITH SCORE 8895.741
AT ITER 1545 NEW BEST:: SOT 40542 SOS 9736 HAS SOPS 9736 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8890.736
AT ITER 1553 NEW BEST:: SOT 40494 SOS 9719 HAS SOPS 9719 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8858.719
AT ITER 1601 NEW BEST:: SOT 40494 SOS 9715 HAS SOPS 9715 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8854.715
AT ITER 1608 NEW BEST:: SOT 40494 SOS 9705 HAS SOPS 9705 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8844.705
AT ITER 1669 NEW BEST:: SOT 40494 SOS 9705 HAS SOPS 9705 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.705
AT ITER 1672 NEW BEST:: SOT 40486 SOS 9697 HAS SOPS 9697 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8813.697
AT ITER 1678 NEW BEST:: SOT 40464 SOS 9668 HAS SOPS 9668 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8782.668
AT ITER 1710 NEW BEST:: SOT 40447 SOS 9659 HAS SOPS 9659 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8773.659
AT ITER 1719 NEW BEST:: SOT 40431 SOS 9643 HAS SOPS 9643 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8754.643
AT ITER 1746 NEW BEST:: SOT 40429 SOS 9638 HAS SOPS 9638 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.638
AT ITER 1782 NEW BEST:: SOT 40402 SOS 9584 HAS SOPS 9584 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8722.584
AT ITER 1786 NEW BEST:: SOT 40355 SOS 9490 HAS SOPS 9490 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8675.49
AT ITER 1790 NEW BEST:: SOT 40355 SOS 9490 HAS SOPS 9490 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.49
AT ITER 1795 NEW BEST:: SOT 40350 SOS 9480 HAS SOPS 9480 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.48
AT ITER 1829 NEW BEST:: SOT 40344 SOS 9476 HAS SOPS 9476 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8665.476
AT ITER 1840 NEW BEST:: SOT 40340 SOS 9466 HAS SOPS 9466 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8661.466
AT ITER 1851 NEW BEST:: SOT 40340 SOS 9464 HAS SOPS 9464 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8659.464
AT ITER 1879 NEW BEST:: SOT 40333 SOS 9475 HAS SOPS 9475 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8652.475
AT ITER 1887 NEW BEST:: SOT 40328 SOS 9470 HAS SOPS 9470 HAS SOUS 8640 HAS SOUPS 8640 WITH SCORE 8649.47
AT ITER 1929 NEW BEST:: SOT 40332 SOS 9467 HAS SOPS 9467 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.467
AT ITER 1935 NEW BEST:: SOT 40346 SOS 9475 HAS SOPS 9475 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8645.475
AT ITER 1958 NEW BEST:: SOT 40327 SOS 9446 HAS SOPS 9446 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8630.446
AT ITER 1988 NEW BEST:: SOT 40327 SOS 9453 HAS SOPS 9453 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.453
AT ITER 2054 NEW BEST:: SOT 40356 SOS 9432 HAS SOPS 9432 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8613.432
AT ITER 2069 NEW BEST:: SOT 40356 SOS 9431 HAS SOPS 9431 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8613.431
AT ITER 2123 NEW BEST:: SOT 40348 SOS 9444 HAS SOPS 9444 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8605.444
AT ITER 2126 NEW BEST:: SOT 40358 SOS 9420 HAS SOPS 9420 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8603.42
AT ITER 2182 NEW BEST:: SOT 40338 SOS 9409 HAS SOPS 9409 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.409
AT ITER 2188 NEW BEST:: SOT 40306 SOS 9370 HAS SOPS 9370 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8552.37
AT ITER 2196 NEW BEST:: SOT 40306 SOS 9345 HAS SOPS 9345 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8527.345
AT ITER 2201 NEW BEST:: SOT 40306 SOS 9343 HAS SOPS 9343 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.343
AT ITER 2207 NEW BEST:: SOT 40306 SOS 9338 HAS SOPS 9338 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8520.338
AT ITER 2249 NEW BEST:: SOT 40326 SOS 9337 HAS SOPS 9337 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8519.337
AT ITER 2305 NEW BEST:: SOT 40332 SOS 9270 HAS SOPS 9270 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.27
AT ITER 2363 NEW BEST:: SOT 40323 SOS 9234 HAS SOPS 9234 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.234
AT ITER 2367 NEW BEST:: SOT 40333 SOS 9244 HAS SOPS 9244 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8391.244
AT ITER 2390 NEW BEST:: SOT 40333 SOS 9242 HAS SOPS 9242 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8389.242
AT ITER 2394 NEW BEST:: SOT 40334 SOS 9240 HAS SOPS 9240 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8389.24
AT ITER 2438 NEW BEST:: SOT 40333 SOS 9240 HAS SOPS 9240 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8388.24
AT ITER 2449 NEW BEST:: SOT 40317 SOS 9232 HAS SOPS 9232 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8380.232
AT ITER 2454 NEW BEST:: SOT 40317 SOS 9213 HAS SOPS 9213 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8364.213
AT ITER 2488 NEW BEST:: SOT 40305 SOS 9189 HAS SOPS 9189 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8352.189
AT ITER 2498 NEW BEST:: SOT 40284 SOS 9102 HAS SOPS 9102 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.102
AT ITER 2540 NEW BEST:: SOT 40284 SOS 9082 HAS SOPS 9082 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8288.082
AT ITER 2549 NEW BEST:: SOT 40284 SOS 9076 HAS SOPS 9076 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8286.076
AT ITER 2583 NEW BEST:: SOT 40282 SOS 9074 HAS SOPS 9074 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.074
AT ITER 2585 NEW BEST:: SOT 40282 SOS 9058 HAS SOPS 9058 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.058
AT ITER 2589 NEW BEST:: SOT 40280 SOS 9037 HAS SOPS 9037 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8282.037
AT ITER 2592 NEW BEST:: SOT 40263 SOS 8988 HAS SOPS 8988 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8232.988
AT ITER 2600 NEW BEST:: SOT 40263 SOS 8983 HAS SOPS 8983 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8227.983
AT ITER 2625 NEW BEST:: SOT 40261 SOS 8981 HAS SOPS 8981 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8225.981
AT ITER 2642 NEW BEST:: SOT 40255 SOS 8968 HAS SOPS 8968 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8212.968
AT ITER 2707 NEW BEST:: SOT 40230 SOS 8998 HAS SOPS 8998 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8207.998
AT ITER 2738 NEW BEST:: SOT 40236 SOS 8999 HAS SOPS 8999 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8195.999
AT ITER 2766 NEW BEST:: SOT 40221 SOS 8969 HAS SOPS 8969 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8180.969
AT ITER 2788 NEW BEST:: SOT 40220 SOS 8965 HAS SOPS 8965 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8176.965
AT ITER 2790 NEW BEST:: SOT 40218 SOS 8961 HAS SOPS 8961 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8174.961
AT ITER 2819 NEW BEST:: SOT 40216 SOS 8952 HAS SOPS 8952 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8165.952
AT ITER 2847 NEW BEST:: SOT 40216 SOS 8953 HAS SOPS 8953 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8160.953
AT ITER 2894 NEW BEST:: SOT 40177 SOS 8869 HAS SOPS 8869 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8113.869
AT ITER 2898 NEW BEST:: SOT 40169 SOS 8861 HAS SOPS 8861 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8105.861
AT ITER 3006 NEW BEST:: SOT 40145 SOS 8813 HAS SOPS 8813 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8059.813
AT ITER 3023 NEW BEST:: SOT 40145 SOS 8784 HAS SOPS 8784 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8047.784
AT ITER 3056 NEW BEST:: SOT 40142 SOS 8781 HAS SOPS 8781 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8044.781
AT ITER 3093 NEW BEST:: SOT 40138 SOS 8773 HAS SOPS 8773 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8036.773
AT ITER 3122 NEW BEST:: SOT 40138 SOS 8803 HAS SOPS 8803 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8030.803
AT ITER 3140 NEW BEST:: SOT 40144 SOS 8744 HAS SOPS 8744 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7996.744
AT ITER 3143 NEW BEST:: SOT 40137 SOS 8737 HAS SOPS 8737 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7989.737
AT ITER 3194 NEW BEST:: SOT 40178 SOS 8795 HAS SOPS 8795 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7955.795
AT ITER 3195 NEW BEST:: SOT 40177 SOS 8781 HAS SOPS 8781 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7941.781
AT ITER 3213 NEW BEST:: SOT 40189 SOS 8777 HAS SOPS 8777 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7937.777
AT ITER 3250 NEW BEST:: SOT 40197 SOS 8761 HAS SOPS 8761 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7921.761
AT ITER 3261 NEW BEST:: SOT 40197 SOS 8760 HAS SOPS 8760 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7920.76
AT ITER 3273 NEW BEST:: SOT 40196 SOS 8759 HAS SOPS 8759 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.759
AT ITER 3310 NEW BEST:: SOT 40190 SOS 8747 HAS SOPS 8747 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7907.747
AT ITER 3325 NEW BEST:: SOT 40190 SOS 8745 HAS SOPS 8745 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.745
AT ITER 3334 NEW BEST:: SOT 40191 SOS 8717 HAS SOPS 8717 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7875.717
AT ITER 3338 NEW BEST:: SOT 40187 SOS 8715 HAS SOPS 8715 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7873.715
AT ITER 3339 NEW BEST:: SOT 40184 SOS 8706 HAS SOPS 8706 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7864.706
AT ITER 3352 NEW BEST:: SOT 40202 SOS 8716 HAS SOPS 8716 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.716
AT ITER 3357 NEW BEST:: SOT 40202 SOS 8716 HAS SOPS 8716 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7830.716
AT ITER 3451 NEW BEST:: SOT 40175 SOS 8675 HAS SOPS 8675 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7789.675
AT ITER 3501 NEW BEST:: SOT 40181 SOS 8621 HAS SOPS 8621 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7770.621
AT ITER 3515 NEW BEST:: SOT 40180 SOS 8618 HAS SOPS 8618 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7768.618
AT ITER 3544 NEW BEST:: SOT 40182 SOS 8616 HAS SOPS 8616 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7766.616
AT ITER 3572 NEW BEST:: SOT 40182 SOS 8605 HAS SOPS 8605 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7744.605
AT ITER 3582 NEW BEST:: SOT 40182 SOS 8593 HAS SOPS 8593 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.593
AT ITER 3632 NEW BEST:: SOT 40178 SOS 8586 HAS SOPS 8586 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7731.586
AT ITER 3639 NEW BEST:: SOT 40178 SOS 8583 HAS SOPS 8583 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7728.583
AT ITER 3654 NEW BEST:: SOT 40171 SOS 8583 HAS SOPS 8583 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7720.583
AT ITER 3657 NEW BEST:: SOT 40183 SOS 8598 HAS SOPS 8598 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7715.598
AT ITER 3686 NEW BEST:: SOT 40177 SOS 8593 HAS SOPS 8593 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7709.593
AT ITER 3695 NEW BEST:: SOT 40177 SOS 8590 HAS SOPS 8590 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7706.59
AT ITER 3715 NEW BEST:: SOT 40167 SOS 8558 HAS SOPS 8558 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.558
AT ITER 3773 NEW BEST:: SOT 40168 SOS 8553 HAS SOPS 8553 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7668.553
AT ITER 3792 NEW BEST:: SOT 40164 SOS 8541 HAS SOPS 8541 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7660.541
AT ITER 3814 NEW BEST:: SOT 40164 SOS 8536 HAS SOPS 8536 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.536
AT ITER 3850 NEW BEST:: SOT 40158 SOS 8568 HAS SOPS 8568 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.568
AT ITER 3857 NEW BEST:: SOT 40160 SOS 8569 HAS SOPS 8569 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7635.569
AT ITER 3859 NEW BEST:: SOT 40163 SOS 8566 HAS SOPS 8566 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7632.566
AT ITER 3872 NEW BEST:: SOT 40163 SOS 8558 HAS SOPS 8558 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.558
AT ITER 3921 NEW BEST:: SOT 40154 SOS 8550 HAS SOPS 8550 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.55
AT ITER 3923 NEW BEST:: SOT 40154 SOS 8550 HAS SOPS 8550 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7614.55
AT ITER 3928 NEW BEST:: SOT 40122 SOS 8516 HAS SOPS 8516 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7580.516
AT ITER 3942 NEW BEST:: SOT 40132 SOS 8499 HAS SOPS 8499 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.499
AT ITER 4054 NEW BEST:: SOT 40190 SOS 8430 HAS SOPS 8430 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.43
AT ITER 4060 NEW BEST:: SOT 40188 SOS 8426 HAS SOPS 8426 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7543.426
AT ITER 4073 NEW BEST:: SOT 40187 SOS 8402 HAS SOPS 8402 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.402
AT ITER 4076 NEW BEST:: SOT 40184 SOS 8399 HAS SOPS 8399 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7516.399
AT ITER 4091 NEW BEST:: SOT 40180 SOS 8391 HAS SOPS 8391 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7508.391
AT ITER 4094 NEW BEST:: SOT 40153 SOS 8364 HAS SOPS 8364 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7481.364
AT ITER 4135 NEW BEST:: SOT 40126 SOS 8320 HAS SOPS 8320 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7437.32
AT ITER 4171 NEW BEST:: SOT 40126 SOS 8320 HAS SOPS 8320 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.32
AT ITER 4202 NEW BEST:: SOT 40118 SOS 8312 HAS SOPS 8312 HAS SOUS 7399 HAS SOUPS 7399 WITH SCORE 7407.312
AT ITER 4206 NEW BEST:: SOT 40112 SOS 8300 HAS SOPS 8300 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.3
AT ITER 4210 NEW BEST:: SOT 40108 SOS 8295 HAS SOPS 8295 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.295
AT ITER 4318 NEW BEST:: SOT 40108 SOS 8291 HAS SOPS 8291 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7389.291
AT ITER 4357 NEW BEST:: SOT 40101 SOS 8275 HAS SOPS 8275 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.275
AT ITER 4366 NEW BEST:: SOT 40067 SOS 8221 HAS SOPS 8221 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.221
AT ITER 4374 NEW BEST:: SOT 40057 SOS 8211 HAS SOPS 8211 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.211
AT ITER 4385 NEW BEST:: SOT 40057 SOS 8206 HAS SOPS 8206 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.206
AT ITER 4394 NEW BEST:: SOT 40051 SOS 8191 HAS SOPS 8191 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7333.191
AT ITER 4447 NEW BEST:: SOT 40027 SOS 8135 HAS SOPS 8135 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7277.135
AT ITER 4453 NEW BEST:: SOT 40027 SOS 8124 HAS SOPS 8124 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7266.124
AT ITER 4481 NEW BEST:: SOT 40024 SOS 8121 HAS SOPS 8121 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7263.121
AT ITER 4492 NEW BEST:: SOT 40032 SOS 8118 HAS SOPS 8118 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.118
AT ITER 4508 NEW BEST:: SOT 40051 SOS 8137 HAS SOPS 8137 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.137
AT ITER 4555 NEW BEST:: SOT 40043 SOS 8129 HAS SOPS 8129 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7241.129
AT ITER 4602 NEW BEST:: SOT 40041 SOS 8128 HAS SOPS 8128 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7241.128
AT ITER 4614 NEW BEST:: SOT 40031 SOS 8108 HAS SOPS 8108 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7221.108
AT ITER 4637 NEW BEST:: SOT 40015 SOS 8056 HAS SOPS 8056 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7199.056
AT ITER 4657 NEW BEST:: SOT 40016 SOS 8049 HAS SOPS 8049 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7185.049
AT ITER 4673 NEW BEST:: SOT 40009 SOS 8047 HAS SOPS 8047 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.047
AT ITER 4698 NEW BEST:: SOT 40012 SOS 8050 HAS SOPS 8050 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7174.05
AT ITER 4719 NEW BEST:: SOT 40012 SOS 8050 HAS SOPS 8050 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7173.05
AT ITER 4762 NEW BEST:: SOT 40011 SOS 8051 HAS SOPS 8051 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7172.051
AT ITER 4771 NEW BEST:: SOT 40002 SOS 8041 HAS SOPS 8041 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.041
AT ITER 4799 NEW BEST:: SOT 40011 SOS 8040 HAS SOPS 8040 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7168.04
AT ITER 4831 NEW BEST:: SOT 40018 SOS 8021 HAS SOPS 8021 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7159.021
AT ITER 4840 NEW BEST:: SOT 40010 SOS 8021 HAS SOPS 8021 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7151.021
AT ITER 4854 NEW BEST:: SOT 40005 SOS 8013 HAS SOPS 8013 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.013
AT ITER 4901 NEW BEST:: SOT 39994 SOS 7999 HAS SOPS 7999 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7128.999
AT ITER 4935 NEW BEST:: SOT 40015 SOS 7993 HAS SOPS 7993 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7122.993
AT ITER 4936 NEW BEST:: SOT 40015 SOS 7980 HAS SOPS 7980 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7109.98
AT ITER 4939 NEW BEST:: SOT 40002 SOS 7967 HAS SOPS 7967 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7096.967
AT ITER 4948 NEW BEST:: SOT 40002 SOS 7963 HAS SOPS 7963 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7094.963
AT ITER 4961 NEW BEST:: SOT 39981 SOS 7955 HAS SOPS 7955 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7086.955
AT ITER 4967 NEW BEST:: SOT 39953 SOS 7915 HAS SOPS 7915 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7084.915
AT ITER 4974 NEW BEST:: SOT 39951 SOS 7946 HAS SOPS 7946 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7082.946
AT ITER 5021 NEW BEST:: SOT 39951 SOS 7952 HAS SOPS 7952 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7080.952
AT ITER 5023 NEW BEST:: SOT 39951 SOS 7946 HAS SOPS 7946 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7080.946
AT ITER 5093 NEW BEST:: SOT 39927 SOS 7962 HAS SOPS 7962 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7064.962
AT ITER 5148 NEW BEST:: SOT 39885 SOS 7920 HAS SOPS 7920 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7057.92
AT ITER 5168 NEW BEST:: SOT 39880 SOS 7910 HAS SOPS 7910 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7048.91
AT ITER 5195 NEW BEST:: SOT 39879 SOS 7826 HAS SOPS 7826 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7046.826
AT ITER 5268 NEW BEST:: SOT 39876 SOS 7809 HAS SOPS 7809 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7037.809
AT ITER 5305 NEW BEST:: SOT 39869 SOS 7806 HAS SOPS 7806 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7034.806
AT ITER 5310 NEW BEST:: SOT 39868 SOS 7793 HAS SOPS 7793 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7022.793
AT ITER 5359 NEW BEST:: SOT 39848 SOS 7753 HAS SOPS 7753 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7002.753
AT ITER 5369 NEW BEST:: SOT 39848 SOS 7740 HAS SOPS 7740 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7002.74
AT ITER 5401 NEW BEST:: SOT 39844 SOS 7736 HAS SOPS 7736 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6998.736
AT ITER 5415 NEW BEST:: SOT 39837 SOS 7729 HAS SOPS 7729 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6991.729
AT ITER 5430 NEW BEST:: SOT 39838 SOS 7716 HAS SOPS 7716 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.716
AT ITER 5454 NEW BEST:: SOT 39834 SOS 7714 HAS SOPS 7714 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6988.714
AT ITER 5588 NEW BEST:: SOT 39834 SOS 7714 HAS SOPS 7714 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.714
AT ITER 5608 NEW BEST:: SOT 39833 SOS 7713 HAS SOPS 7713 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.713
AT ITER 5627 NEW BEST:: SOT 39837 SOS 7712 HAS SOPS 7712 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6939.712
AT ITER 5671 NEW BEST:: SOT 39831 SOS 7700 HAS SOPS 7700 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6925.7
AT ITER 5774 NEW BEST:: SOT 39823 SOS 7684 HAS SOPS 7684 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6917.684
AT ITER 5808 NEW BEST:: SOT 39823 SOS 7681 HAS SOPS 7681 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6914.681
AT ITER 5895 NEW BEST:: SOT 39818 SOS 7670 HAS SOPS 7670 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6909.67
AT ITER 5961 NEW BEST:: SOT 39811 SOS 7659 HAS SOPS 7659 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6898.659
AT ITER 6040 NEW BEST:: SOT 39812 SOS 7656 HAS SOPS 7656 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.656
AT ITER 6042 NEW BEST:: SOT 39812 SOS 7629 HAS SOPS 7629 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.629
AT ITER 6047 NEW BEST:: SOT 39812 SOS 7590 HAS SOPS 7590 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6882.59
AT ITER 6097 NEW BEST:: SOT 39802 SOS 7578 HAS SOPS 7578 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.578
AT ITER 6161 NEW BEST:: SOT 39802 SOS 7574 HAS SOPS 7574 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.574
AT ITER 6162 NEW BEST:: SOT 39801 SOS 7573 HAS SOPS 7573 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6865.573
AT ITER 6177 NEW BEST:: SOT 39794 SOS 7553 HAS SOPS 7553 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.553
AT ITER 6192 NEW BEST:: SOT 39792 SOS 7549 HAS SOPS 7549 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6853.549
AT ITER 6273 NEW BEST:: SOT 39792 SOS 7540 HAS SOPS 7540 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6844.54
AT ITER 6318 NEW BEST:: SOT 39787 SOS 7530 HAS SOPS 7530 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.53
AT ITER 6403 NEW BEST:: SOT 39834 SOS 7527 HAS SOPS 7527 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6834.527
AT ITER 6479 NEW BEST:: SOT 39832 SOS 7538 HAS SOPS 7538 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6829.538
AT ITER 6531 NEW BEST:: SOT 39806 SOS 7512 HAS SOPS 7512 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6829.512
AT ITER 6549 NEW BEST:: SOT 39794 SOS 7508 HAS SOPS 7508 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6825.508
AT ITER 6702 NEW BEST:: SOT 39794 SOS 7506 HAS SOPS 7506 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6823.506
AT ITER 6706 NEW BEST:: SOT 39793 SOS 7524 HAS SOPS 7524 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6822.524
AT ITER 6708 NEW BEST:: SOT 39787 SOS 7496 HAS SOPS 7496 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6810.496
AT ITER 6768 NEW BEST:: SOT 39787 SOS 7495 HAS SOPS 7495 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6810.495
AT ITER 6790 NEW BEST:: SOT 39787 SOS 7495 HAS SOPS 7495 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.495
AT ITER 6842 NEW BEST:: SOT 39785 SOS 7491 HAS SOPS 7491 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6805.491
AT ITER 6899 NEW BEST:: SOT 39777 SOS 7484 HAS SOPS 7484 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.484
AT ITER 6934 NEW BEST:: SOT 39764 SOS 7476 HAS SOPS 7476 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6791.476
AT ITER 6959 NEW BEST:: SOT 39764 SOS 7476 HAS SOPS 7476 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6790.476
AT ITER 6967 NEW BEST:: SOT 39764 SOS 7473 HAS SOPS 7473 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6787.473
AT ITER 6982 NEW BEST:: SOT 39765 SOS 7480 HAS SOPS 7480 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.48
AT ITER 6996 NEW BEST:: SOT 39756 SOS 7472 HAS SOPS 7472 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6776.472
AT ITER 7017 NEW BEST:: SOT 39754 SOS 7470 HAS SOPS 7470 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6776.47
AT ITER 7058 NEW BEST:: SOT 39754 SOS 7467 HAS SOPS 7467 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6773.467
AT ITER 7087 NEW BEST:: SOT 39754 SOS 7466 HAS SOPS 7466 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6772.466
AT ITER 7116 NEW BEST:: SOT 39741 SOS 7439 HAS SOPS 7439 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6759.439
AT ITER 7168 NEW BEST:: SOT 39751 SOS 7439 HAS SOPS 7439 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.439
AT ITER 7189 NEW BEST:: SOT 39743 SOS 7423 HAS SOPS 7423 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.423
AT ITER 7267 NEW BEST:: SOT 39737 SOS 7416 HAS SOPS 7416 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6733.416
AT ITER 7366 NEW BEST:: SOT 39746 SOS 7396 HAS SOPS 7396 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6732.396
AT ITER 7510 NEW BEST:: SOT 39743 SOS 7402 HAS SOPS 7402 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6731.402
AT ITER 7544 NEW BEST:: SOT 39735 SOS 7386 HAS SOPS 7386 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.386
AT ITER 7557 NEW BEST:: SOT 39735 SOS 7385 HAS SOPS 7385 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.385
AT ITER 7566 NEW BEST:: SOT 39726 SOS 7383 HAS SOPS 7383 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.383
AT ITER 7568 NEW BEST:: SOT 39726 SOS 7379 HAS SOPS 7379 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.379
AT ITER 7570 NEW BEST:: SOT 39720 SOS 7372 HAS SOPS 7372 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.372
AT ITER 7675 NEW BEST:: SOT 39728 SOS 7370 HAS SOPS 7370 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6706.37
AT ITER 7710 NEW BEST:: SOT 39714 SOS 7360 HAS SOPS 7360 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6696.36
AT ITER 7713 NEW BEST:: SOT 39714 SOS 7354 HAS SOPS 7354 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.354
AT ITER 7717 NEW BEST:: SOT 39721 SOS 7333 HAS SOPS 7333 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.333
AT ITER 7758 NEW BEST:: SOT 39704 SOS 7299 HAS SOPS 7299 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.299
AT ITER 7764 NEW BEST:: SOT 39704 SOS 7298 HAS SOPS 7298 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.298
AT ITER 7766 NEW BEST:: SOT 39712 SOS 7288 HAS SOPS 7288 HAS SOUS 6672 HAS SOUPS 6672 WITH SCORE 6679.288
AT ITER 7831 NEW BEST:: SOT 39710 SOS 7284 HAS SOPS 7284 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.284
AT ITER 7860 NEW BEST:: SOT 39709 SOS 7262 HAS SOPS 7262 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6663.262
AT ITER 7877 NEW BEST:: SOT 39705 SOS 7258 HAS SOPS 7258 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.258
AT ITER 7925 NEW BEST:: SOT 39705 SOS 7259 HAS SOPS 7259 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6658.259
AT ITER 7937 NEW BEST:: SOT 39701 SOS 7251 HAS SOPS 7251 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.251
AT ITER 8049 NEW BEST:: SOT 39701 SOS 7249 HAS SOPS 7249 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.249
AT ITER 8082 NEW BEST:: SOT 39700 SOS 7248 HAS SOPS 7248 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.248
AT ITER 8152 NEW BEST:: SOT 39700 SOS 7244 HAS SOPS 7244 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.244
AT ITER 8215 NEW BEST:: SOT 39696 SOS 7236 HAS SOPS 7236 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.236
AT ITER 8263 NEW BEST:: SOT 39679 SOS 7231 HAS SOPS 7231 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6634.231
AT ITER 8272 NEW BEST:: SOT 39678 SOS 7228 HAS SOPS 7228 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6631.228
AT ITER 8293 NEW BEST:: SOT 39695 SOS 7247 HAS SOPS 7247 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6630.247
AT ITER 8312 NEW BEST:: SOT 39699 SOS 7240 HAS SOPS 7240 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6623.24
AT ITER 8369 NEW BEST:: SOT 39695 SOS 7250 HAS SOPS 7250 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6619.25
AT ITER 8373 NEW BEST:: SOT 39662 SOS 7275 HAS SOPS 7275 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.275
AT ITER 8417 NEW BEST:: SOT 39646 SOS 7243 HAS SOPS 7243 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6601.243
AT ITER 8470 NEW BEST:: SOT 39646 SOS 7241 HAS SOPS 7241 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.241
AT ITER 8490 NEW BEST:: SOT 39646 SOS 7235 HAS SOPS 7235 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6593.235
AT ITER 8501 NEW BEST:: SOT 39642 SOS 7227 HAS SOPS 7227 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6584.227
AT ITER 8539 NEW BEST:: SOT 39634 SOS 7219 HAS SOPS 7219 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6576.219
AT ITER 8567 NEW BEST:: SOT 39639 SOS 7207 HAS SOPS 7207 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6563.207
AT ITER 8649 NEW BEST:: SOT 39631 SOS 7194 HAS SOPS 7194 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.194
AT ITER 8654 NEW BEST:: SOT 39635 SOS 7190 HAS SOPS 7190 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6551.19
AT ITER 8667 NEW BEST:: SOT 39658 SOS 7212 HAS SOPS 7212 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6550.212
AT ITER 8695 NEW BEST:: SOT 39658 SOS 7209 HAS SOPS 7209 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6550.209
AT ITER 8701 NEW BEST:: SOT 39660 SOS 7203 HAS SOPS 7203 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.203
AT ITER 8716 NEW BEST:: SOT 39691 SOS 7193 HAS SOPS 7193 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6543.193
AT ITER 8785 NEW BEST:: SOT 39688 SOS 7187 HAS SOPS 7187 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.187
AT ITER 8855 NEW BEST:: SOT 39688 SOS 7188 HAS SOPS 7188 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.188
AT ITER 8989 NEW BEST:: SOT 39679 SOS 7179 HAS SOPS 7179 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.179
AT ITER 9071 NEW BEST:: SOT 39659 SOS 7153 HAS SOPS 7153 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.153
AT ITER 9098 NEW BEST:: SOT 39655 SOS 7147 HAS SOPS 7147 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6496.147
AT ITER 9195 NEW BEST:: SOT 39664 SOS 7152 HAS SOPS 7152 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.152
AT ITER 9219 NEW BEST:: SOT 39660 SOS 7144 HAS SOPS 7144 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6487.144
AT ITER 9323 NEW BEST:: SOT 39659 SOS 7143 HAS SOPS 7143 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.143
AT ITER 9380 NEW BEST:: SOT 39656 SOS 7131 HAS SOPS 7131 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6480.131
AT ITER 9565 NEW BEST:: SOT 39654 SOS 7129 HAS SOPS 7129 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6478.129
AT ITER 9607 NEW BEST:: SOT 39653 SOS 7121 HAS SOPS 7121 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.121
AT ITER 9621 NEW BEST:: SOT 39632 SOS 7120 HAS SOPS 7120 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6469.12
AT ITER 9627 NEW BEST:: SOT 39638 SOS 7119 HAS SOPS 7119 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.119
AT ITER 9646 NEW BEST:: SOT 39637 SOS 7119 HAS SOPS 7119 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.119
AT ITER 9675 NEW BEST:: SOT 39624 SOS 7117 HAS SOPS 7117 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.117
AT ITER 9705 NEW BEST:: SOT 39623 SOS 7115 HAS SOPS 7115 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.115
AT ITER 9713 NEW BEST:: SOT 39619 SOS 7109 HAS SOPS 7109 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6459.109
AT ITER 9763 NEW BEST:: SOT 39617 SOS 7107 HAS SOPS 7107 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.107
AT ITER 9839 NEW BEST:: SOT 39615 SOS 7103 HAS SOPS 7103 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.103
AT ITER 9872 NEW BEST:: SOT 39615 SOS 7098 HAS SOPS 7098 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.098
AT ITER 9906 NEW BEST:: SOT 39607 SOS 7083 HAS SOPS 7083 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.083
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8227060 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153152 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="ShieldIIPt-PT-004B"
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 ShieldIIPt-PT-004B, 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 r387-oct2-167903711600240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-004B.tgz
mv ShieldIIPt-PT-004B 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 ;