About the Execution of Smart for DiscoveryGPU-PT-08b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
8183.216 | 3600000.00 | 3599911.00 | 340.50 | [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.r131-smll-167819407300328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 DiscoveryGPU-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407300328
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:24 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:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 13:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 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 61K 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 1679885331188
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=DiscoveryGPU-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 08b
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: 240 places, 254 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 42396 SOS 20015 HAS SOPS 20015 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17846.015
AT ITER 9 NEW BEST:: SOT 42373 SOS 20057 HAS SOPS 20057 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17845.057
AT ITER 11 NEW BEST:: SOT 42331 SOS 19931 HAS SOPS 19931 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17802.931
AT ITER 13 NEW BEST:: SOT 42331 SOS 19914 HAS SOPS 19914 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17784.914
AT ITER 21 NEW BEST:: SOT 42265 SOS 19703 HAS SOPS 19703 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17620.703
AT ITER 27 NEW BEST:: SOT 42265 SOS 19686 HAS SOPS 19686 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17619.686
AT ITER 38 NEW BEST:: SOT 42201 SOS 19558 HAS SOPS 19558 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17491.558
AT ITER 42 NEW BEST:: SOT 42188 SOS 19532 HAS SOPS 19532 HAS SOUS 17446 HAS SOUPS 17446 WITH SCORE 17465.532
AT ITER 52 NEW BEST:: SOT 42186 SOS 19528 HAS SOPS 19528 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17463.528
AT ITER 59 NEW BEST:: SOT 42123 SOS 19465 HAS SOPS 19465 HAS SOUS 17381 HAS SOUPS 17381 WITH SCORE 17400.465
AT ITER 62 NEW BEST:: SOT 42056 SOS 19435 HAS SOPS 19435 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17360.435
AT ITER 64 NEW BEST:: SOT 42047 SOS 19426 HAS SOPS 19426 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17351.426
AT ITER 70 NEW BEST:: SOT 41989 SOS 19436 HAS SOPS 19436 HAS SOUS 17276 HAS SOUPS 17276 WITH SCORE 17295.436
AT ITER 72 NEW BEST:: SOT 41884 SOS 19273 HAS SOPS 19273 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17132.273
AT ITER 73 NEW BEST:: SOT 41801 SOS 19062 HAS SOPS 19062 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16966.062
AT ITER 74 NEW BEST:: SOT 41809 SOS 19042 HAS SOPS 19042 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16946.042
AT ITER 82 NEW BEST:: SOT 41767 SOS 18892 HAS SOPS 18892 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16842.892
AT ITER 83 NEW BEST:: SOT 41687 SOS 18777 HAS SOPS 18777 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16761.777
AT ITER 85 NEW BEST:: SOT 41687 SOS 18753 HAS SOPS 18753 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16761.753
AT ITER 88 NEW BEST:: SOT 41639 SOS 18715 HAS SOPS 18715 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16723.715
AT ITER 89 NEW BEST:: SOT 41634 SOS 18705 HAS SOPS 18705 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16712.705
AT ITER 93 NEW BEST:: SOT 41578 SOS 18671 HAS SOPS 18671 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16683.671
AT ITER 94 NEW BEST:: SOT 41559 SOS 18633 HAS SOPS 18633 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16664.633
AT ITER 96 NEW BEST:: SOT 41559 SOS 18618 HAS SOPS 18618 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16664.618
AT ITER 104 NEW BEST:: SOT 41580 SOS 18570 HAS SOPS 18570 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16660.57
AT ITER 105 NEW BEST:: SOT 41550 SOS 18510 HAS SOPS 18510 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16600.51
AT ITER 110 NEW BEST:: SOT 41385 SOS 18523 HAS SOPS 18523 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16589.523
AT ITER 113 NEW BEST:: SOT 41349 SOS 18449 HAS SOPS 18449 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16515.449
AT ITER 115 NEW BEST:: SOT 41349 SOS 18446 HAS SOPS 18446 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16512.446
AT ITER 116 NEW BEST:: SOT 41349 SOS 18416 HAS SOPS 18416 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16482.416
AT ITER 121 NEW BEST:: SOT 41297 SOS 18312 HAS SOPS 18312 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16443.312
AT ITER 128 NEW BEST:: SOT 41243 SOS 18274 HAS SOPS 18274 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16389.274
AT ITER 131 NEW BEST:: SOT 41197 SOS 18182 HAS SOPS 18182 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16297.182
AT ITER 137 NEW BEST:: SOT 41172 SOS 18157 HAS SOPS 18157 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16271.157
AT ITER 145 NEW BEST:: SOT 41229 SOS 18057 HAS SOPS 18057 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16190.057
AT ITER 151 NEW BEST:: SOT 41214 SOS 18035 HAS SOPS 18035 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16174.035
AT ITER 152 NEW BEST:: SOT 41200 SOS 18014 HAS SOPS 18014 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16153.014
AT ITER 154 NEW BEST:: SOT 41153 SOS 17352 HAS SOPS 17352 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16104.352
AT ITER 157 NEW BEST:: SOT 40984 SOS 17059 HAS SOPS 17059 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15930.059
AT ITER 158 NEW BEST:: SOT 40965 SOS 17040 HAS SOPS 17040 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15911.04
AT ITER 161 NEW BEST:: SOT 40931 SOS 17006 HAS SOPS 17006 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15877.006
AT ITER 168 NEW BEST:: SOT 40931 SOS 16982 HAS SOPS 16982 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15852.982
AT ITER 169 NEW BEST:: SOT 40926 SOS 16949 HAS SOPS 16949 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15819.949
AT ITER 172 NEW BEST:: SOT 40909 SOS 16889 HAS SOPS 16889 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15776.889
AT ITER 175 NEW BEST:: SOT 40861 SOS 16848 HAS SOPS 16848 HAS SOUS 15744 HAS SOUPS 15744 WITH SCORE 15760.848
AT ITER 192 NEW BEST:: SOT 40825 SOS 16833 HAS SOPS 16833 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15639.833
AT ITER 203 NEW BEST:: SOT 40764 SOS 16670 HAS SOPS 16670 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15524.67
AT ITER 204 NEW BEST:: SOT 40748 SOS 16603 HAS SOPS 16603 HAS SOUS 15441 HAS SOUPS 15441 WITH SCORE 15457.603
AT ITER 208 NEW BEST:: SOT 40738 SOS 16591 HAS SOPS 16591 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15440.591
AT ITER 211 NEW BEST:: SOT 40686 SOS 16441 HAS SOPS 16441 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15348.441
AT ITER 228 NEW BEST:: SOT 40662 SOS 16428 HAS SOPS 16428 HAS SOUS 15319 HAS SOUPS 15319 WITH SCORE 15335.428
AT ITER 232 NEW BEST:: SOT 40635 SOS 16374 HAS SOPS 16374 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15272.374
AT ITER 233 NEW BEST:: SOT 40603 SOS 16346 HAS SOPS 16346 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15261.346
AT ITER 235 NEW BEST:: SOT 40603 SOS 16346 HAS SOPS 16346 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15260.346
AT ITER 238 NEW BEST:: SOT 40565 SOS 16270 HAS SOPS 16270 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15206.27
AT ITER 241 NEW BEST:: SOT 40582 SOS 16260 HAS SOPS 16260 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15196.26
AT ITER 249 NEW BEST:: SOT 40561 SOS 16249 HAS SOPS 16249 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15175.249
AT ITER 262 NEW BEST:: SOT 40429 SOS 16118 HAS SOPS 16118 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15044.118
AT ITER 286 NEW BEST:: SOT 40394 SOS 15950 HAS SOPS 15950 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14966.95
AT ITER 297 NEW BEST:: SOT 40394 SOS 15778 HAS SOPS 15778 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14966.778
AT ITER 307 NEW BEST:: SOT 40393 SOS 15805 HAS SOPS 15805 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 14965.805
AT ITER 308 NEW BEST:: SOT 40445 SOS 15857 HAS SOPS 15857 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14945.857
AT ITER 315 NEW BEST:: SOT 40436 SOS 15829 HAS SOPS 15829 HAS SOUS 14908 HAS SOUPS 14908 WITH SCORE 14923.829
AT ITER 321 NEW BEST:: SOT 40436 SOS 15784 HAS SOPS 15784 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14920.784
AT ITER 338 NEW BEST:: SOT 40437 SOS 15769 HAS SOPS 15769 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14905.769
AT ITER 350 NEW BEST:: SOT 40000 SOS 16043 HAS SOPS 16043 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14647.043
AT ITER 358 NEW BEST:: SOT 39954 SOS 16009 HAS SOPS 16009 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14555.009
AT ITER 366 NEW BEST:: SOT 39952 SOS 16005 HAS SOPS 16005 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14552.005
AT ITER 367 NEW BEST:: SOT 39932 SOS 15989 HAS SOPS 15989 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14535.989
AT ITER 370 NEW BEST:: SOT 39932 SOS 15976 HAS SOPS 15976 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14513.976
AT ITER 377 NEW BEST:: SOT 39928 SOS 15968 HAS SOPS 15968 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14505.968
AT ITER 384 NEW BEST:: SOT 39919 SOS 15950 HAS SOPS 15950 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14496.95
AT ITER 385 NEW BEST:: SOT 39899 SOS 15910 HAS SOPS 15910 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14456.91
AT ITER 388 NEW BEST:: SOT 39884 SOS 15880 HAS SOPS 15880 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14446.88
AT ITER 395 NEW BEST:: SOT 39868 SOS 15848 HAS SOPS 15848 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14445.848
AT ITER 410 NEW BEST:: SOT 39802 SOS 15786 HAS SOPS 15786 HAS SOUS 14394 HAS SOUPS 14394 WITH SCORE 14409.786
AT ITER 412 NEW BEST:: SOT 39787 SOS 15756 HAS SOPS 15756 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14379.756
AT ITER 414 NEW BEST:: SOT 39770 SOS 15721 HAS SOPS 15721 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14345.721
AT ITER 419 NEW BEST:: SOT 39763 SOS 15714 HAS SOPS 15714 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14345.714
AT ITER 431 NEW BEST:: SOT 39769 SOS 15772 HAS SOPS 15772 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14335.772
AT ITER 445 NEW BEST:: SOT 39753 SOS 15740 HAS SOPS 15740 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14303.74
AT ITER 449 NEW BEST:: SOT 39699 SOS 15423 HAS SOPS 15423 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14150.423
AT ITER 451 NEW BEST:: SOT 39696 SOS 15424 HAS SOPS 15424 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14147.424
AT ITER 460 NEW BEST:: SOT 39696 SOS 15423 HAS SOPS 15423 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14146.423
AT ITER 461 NEW BEST:: SOT 39663 SOS 15357 HAS SOPS 15357 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14096.357
AT ITER 483 NEW BEST:: SOT 38663 SOS 15307 HAS SOPS 15307 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13214.307
AT ITER 485 NEW BEST:: SOT 38620 SOS 15278 HAS SOPS 15278 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13214.278
AT ITER 498 NEW BEST:: SOT 38383 SOS 15039 HAS SOPS 15039 HAS SOUS 12960 HAS SOUPS 12960 WITH SCORE 12975.039
AT ITER 500 NEW BEST:: SOT 38364 SOS 15038 HAS SOPS 15038 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12960.038
AT ITER 504 NEW BEST:: SOT 38402 SOS 15025 HAS SOPS 15025 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12901.025
AT ITER 509 NEW BEST:: SOT 38370 SOS 15014 HAS SOPS 15014 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12901.014
AT ITER 521 NEW BEST:: SOT 38370 SOS 15014 HAS SOPS 15014 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12851.014
AT ITER 525 NEW BEST:: SOT 38376 SOS 14997 HAS SOPS 14997 HAS SOUS 12819 HAS SOUPS 12819 WITH SCORE 12833.997
AT ITER 534 NEW BEST:: SOT 38366 SOS 14977 HAS SOPS 14977 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12813.977
AT ITER 539 NEW BEST:: SOT 38336 SOS 14940 HAS SOPS 14940 HAS SOUS 12762 HAS SOUPS 12762 WITH SCORE 12776.94
AT ITER 540 NEW BEST:: SOT 38340 SOS 14899 HAS SOPS 14899 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12709.899
AT ITER 546 NEW BEST:: SOT 38328 SOS 14825 HAS SOPS 14825 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12632.825
AT ITER 547 NEW BEST:: SOT 38288 SOS 14785 HAS SOPS 14785 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12632.785
AT ITER 548 NEW BEST:: SOT 38248 SOS 14705 HAS SOPS 14705 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12537.705
AT ITER 549 NEW BEST:: SOT 38248 SOS 14263 HAS SOPS 14263 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12516.263
AT ITER 558 NEW BEST:: SOT 38248 SOS 14262 HAS SOPS 14262 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12516.262
AT ITER 590 NEW BEST:: SOT 38242 SOS 14150 HAS SOPS 14150 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12504.15
AT ITER 592 NEW BEST:: SOT 38242 SOS 14150 HAS SOPS 14150 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12469.15
AT ITER 594 NEW BEST:: SOT 38197 SOS 14085 HAS SOPS 14085 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12404.085
AT ITER 597 NEW BEST:: SOT 38196 SOS 14069 HAS SOPS 14069 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12403.069
AT ITER 608 NEW BEST:: SOT 38170 SOS 14034 HAS SOPS 14034 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12368.034
AT ITER 609 NEW BEST:: SOT 38180 SOS 14035 HAS SOPS 14035 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12366.035
AT ITER 613 NEW BEST:: SOT 38180 SOS 14033 HAS SOPS 14033 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12365.033
AT ITER 624 NEW BEST:: SOT 38159 SOS 14006 HAS SOPS 14006 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12338.006
AT ITER 629 NEW BEST:: SOT 38150 SOS 13933 HAS SOPS 13933 HAS SOUS 12262 HAS SOUPS 12262 WITH SCORE 12275.933
AT ITER 631 NEW BEST:: SOT 38150 SOS 13933 HAS SOPS 13933 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12258.933
AT ITER 639 NEW BEST:: SOT 38029 SOS 13807 HAS SOPS 13807 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12143.807
AT ITER 647 NEW BEST:: SOT 38028 SOS 13785 HAS SOPS 13785 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12124.785
AT ITER 658 NEW BEST:: SOT 37869 SOS 13781 HAS SOPS 13781 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11961.781
AT ITER 659 NEW BEST:: SOT 37858 SOS 13748 HAS SOPS 13748 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11939.748
AT ITER 679 NEW BEST:: SOT 37841 SOS 13737 HAS SOPS 13737 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11890.737
AT ITER 680 NEW BEST:: SOT 37823 SOS 13701 HAS SOPS 13701 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11854.701
AT ITER 682 NEW BEST:: SOT 37800 SOS 13655 HAS SOPS 13655 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11808.655
AT ITER 687 NEW BEST:: SOT 37800 SOS 13630 HAS SOPS 13630 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11808.63
AT ITER 688 NEW BEST:: SOT 37794 SOS 13622 HAS SOPS 13622 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11801.622
AT ITER 693 NEW BEST:: SOT 37822 SOS 13620 HAS SOPS 13620 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11799.62
AT ITER 705 NEW BEST:: SOT 37804 SOS 13623 HAS SOPS 13623 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11795.623
AT ITER 711 NEW BEST:: SOT 37804 SOS 13617 HAS SOPS 13617 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11792.617
AT ITER 712 NEW BEST:: SOT 37804 SOS 13567 HAS SOPS 13567 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11764.567
AT ITER 720 NEW BEST:: SOT 37772 SOS 13503 HAS SOPS 13503 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11747.503
AT ITER 727 NEW BEST:: SOT 37718 SOS 13449 HAS SOPS 13449 HAS SOUS 11689 HAS SOUPS 11689 WITH SCORE 11702.449
AT ITER 731 NEW BEST:: SOT 37712 SOS 13443 HAS SOPS 13443 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11696.443
AT ITER 749 NEW BEST:: SOT 37711 SOS 13546 HAS SOPS 13546 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11694.546
AT ITER 751 NEW BEST:: SOT 37711 SOS 13519 HAS SOPS 13519 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11694.519
AT ITER 758 NEW BEST:: SOT 37721 SOS 13502 HAS SOPS 13502 HAS SOUS 11654 HAS SOUPS 11654 WITH SCORE 11667.502
AT ITER 759 NEW BEST:: SOT 37708 SOS 13476 HAS SOPS 13476 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11641.476
AT ITER 762 NEW BEST:: SOT 37687 SOS 13409 HAS SOPS 13409 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11574.409
AT ITER 771 NEW BEST:: SOT 37687 SOS 13407 HAS SOPS 13407 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11574.407
AT ITER 772 NEW BEST:: SOT 37653 SOS 13390 HAS SOPS 13390 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11506.39
AT ITER 779 NEW BEST:: SOT 37668 SOS 13390 HAS SOPS 13390 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11502.39
AT ITER 792 NEW BEST:: SOT 37667 SOS 13388 HAS SOPS 13388 HAS SOUS 11487 HAS SOUPS 11487 WITH SCORE 11500.388
AT ITER 796 NEW BEST:: SOT 37660 SOS 13391 HAS SOPS 13391 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11493.391
AT ITER 814 NEW BEST:: SOT 37643 SOS 13366 HAS SOPS 13366 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11467.366
AT ITER 815 NEW BEST:: SOT 37636 SOS 13345 HAS SOPS 13345 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11453.345
AT ITER 818 NEW BEST:: SOT 37648 SOS 13338 HAS SOPS 13338 HAS SOUS 11433 HAS SOUPS 11433 WITH SCORE 11446.338
AT ITER 819 NEW BEST:: SOT 37642 SOS 13328 HAS SOPS 13328 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11436.328
AT ITER 833 NEW BEST:: SOT 37637 SOS 13295 HAS SOPS 13295 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11415.295
AT ITER 839 NEW BEST:: SOT 37631 SOS 13283 HAS SOPS 13283 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11405.283
AT ITER 858 NEW BEST:: SOT 37573 SOS 13219 HAS SOPS 13219 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11341.219
AT ITER 868 NEW BEST:: SOT 37572 SOS 13218 HAS SOPS 13218 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11340.218
AT ITER 869 NEW BEST:: SOT 36956 SOS 12705 HAS SOPS 12705 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10764.705
AT ITER 874 NEW BEST:: SOT 36952 SOS 12697 HAS SOPS 12697 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10756.697
AT ITER 882 NEW BEST:: SOT 36946 SOS 12685 HAS SOPS 12685 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10750.685
AT ITER 924 NEW BEST:: SOT 36946 SOS 12680 HAS SOPS 12680 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10750.68
AT ITER 929 NEW BEST:: SOT 36946 SOS 12641 HAS SOPS 12641 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10711.641
AT ITER 937 NEW BEST:: SOT 36939 SOS 12620 HAS SOPS 12620 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10697.62
AT ITER 949 NEW BEST:: SOT 36939 SOS 12530 HAS SOPS 12530 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10697.53
AT ITER 952 NEW BEST:: SOT 36926 SOS 12517 HAS SOPS 12517 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10684.517
AT ITER 954 NEW BEST:: SOT 36877 SOS 12419 HAS SOPS 12419 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10585.419
AT ITER 965 NEW BEST:: SOT 36876 SOS 12417 HAS SOPS 12417 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10583.417
AT ITER 966 NEW BEST:: SOT 36873 SOS 12414 HAS SOPS 12414 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10577.414
AT ITER 975 NEW BEST:: SOT 36862 SOS 12353 HAS SOPS 12353 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10562.353
AT ITER 983 NEW BEST:: SOT 36859 SOS 12370 HAS SOPS 12370 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10559.37
AT ITER 993 NEW BEST:: SOT 36783 SOS 12218 HAS SOPS 12218 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10407.218
AT ITER 1006 NEW BEST:: SOT 36792 SOS 12227 HAS SOPS 12227 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10385.227
AT ITER 1011 NEW BEST:: SOT 36792 SOS 12213 HAS SOPS 12213 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10371.213
AT ITER 1012 NEW BEST:: SOT 36791 SOS 12212 HAS SOPS 12212 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10366.212
AT ITER 1016 NEW BEST:: SOT 36804 SOS 12211 HAS SOPS 12211 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10365.211
AT ITER 1023 NEW BEST:: SOT 36791 SOS 12174 HAS SOPS 12174 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10352.174
AT ITER 1069 NEW BEST:: SOT 36762 SOS 12145 HAS SOPS 12145 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10323.145
AT ITER 1092 NEW BEST:: SOT 36761 SOS 12128 HAS SOPS 12128 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10321.128
AT ITER 1093 NEW BEST:: SOT 36745 SOS 12112 HAS SOPS 12112 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10289.112
AT ITER 1099 NEW BEST:: SOT 36744 SOS 12110 HAS SOPS 12110 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10288.11
AT ITER 1115 NEW BEST:: SOT 36739 SOS 12100 HAS SOPS 12100 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10278.1
AT ITER 1121 NEW BEST:: SOT 36697 SOS 12035 HAS SOPS 12035 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10236.035
AT ITER 1133 NEW BEST:: SOT 36692 SOS 12043 HAS SOPS 12043 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10232.043
AT ITER 1160 NEW BEST:: SOT 36672 SOS 11993 HAS SOPS 11993 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10191.993
AT ITER 1207 NEW BEST:: SOT 36635 SOS 11956 HAS SOPS 11956 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10154.956
AT ITER 1226 NEW BEST:: SOT 36546 SOS 11971 HAS SOPS 11971 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10065.971
AT ITER 1236 NEW BEST:: SOT 36541 SOS 11961 HAS SOPS 11961 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.961
AT ITER 1254 NEW BEST:: SOT 36524 SOS 11868 HAS SOPS 11868 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9957.868
AT ITER 1269 NEW BEST:: SOT 36522 SOS 11862 HAS SOPS 11862 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9951.862
AT ITER 1273 NEW BEST:: SOT 36333 SOS 12738 HAS SOPS 12738 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9855.738
AT ITER 1284 NEW BEST:: SOT 36325 SOS 12722 HAS SOPS 12722 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9846.722
AT ITER 1288 NEW BEST:: SOT 36320 SOS 12717 HAS SOPS 12717 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9844.717
AT ITER 1289 NEW BEST:: SOT 36315 SOS 12707 HAS SOPS 12707 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.707
AT ITER 1300 NEW BEST:: SOT 36309 SOS 12701 HAS SOPS 12701 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9801.701
AT ITER 1303 NEW BEST:: SOT 36307 SOS 12699 HAS SOPS 12699 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9799.699
AT ITER 1320 NEW BEST:: SOT 36269 SOS 12672 HAS SOPS 12672 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9772.672
AT ITER 1329 NEW BEST:: SOT 36258 SOS 12639 HAS SOPS 12639 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9750.639
AT ITER 1337 NEW BEST:: SOT 36220 SOS 12628 HAS SOPS 12628 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9739.628
AT ITER 1349 NEW BEST:: SOT 36220 SOS 12619 HAS SOPS 12619 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9721.619
AT ITER 1364 NEW BEST:: SOT 36205 SOS 12664 HAS SOPS 12664 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9712.664
AT ITER 1370 NEW BEST:: SOT 36203 SOS 12634 HAS SOPS 12634 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9708.634
AT ITER 1391 NEW BEST:: SOT 36200 SOS 12630 HAS SOPS 12630 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9702.63
AT ITER 1394 NEW BEST:: SOT 36200 SOS 12539 HAS SOPS 12539 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9611.539
AT ITER 1408 NEW BEST:: SOT 36193 SOS 12532 HAS SOPS 12532 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9597.532
AT ITER 1411 NEW BEST:: SOT 36158 SOS 12490 HAS SOPS 12490 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9562.49
AT ITER 1421 NEW BEST:: SOT 36139 SOS 12464 HAS SOPS 12464 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9536.464
AT ITER 1434 NEW BEST:: SOT 36139 SOS 12445 HAS SOPS 12445 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9528.445
AT ITER 1441 NEW BEST:: SOT 36127 SOS 12421 HAS SOPS 12421 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9504.421
AT ITER 1453 NEW BEST:: SOT 36102 SOS 12386 HAS SOPS 12386 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9464.386
AT ITER 1477 NEW BEST:: SOT 36101 SOS 12407 HAS SOPS 12407 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9462.407
AT ITER 1478 NEW BEST:: SOT 36051 SOS 12307 HAS SOPS 12307 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9412.307
AT ITER 1499 NEW BEST:: SOT 36048 SOS 12301 HAS SOPS 12301 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9406.301
AT ITER 1527 NEW BEST:: SOT 36034 SOS 12259 HAS SOPS 12259 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9392.259
AT ITER 1560 NEW BEST:: SOT 36029 SOS 12249 HAS SOPS 12249 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9382.249
AT ITER 1565 NEW BEST:: SOT 35989 SOS 12225 HAS SOPS 12225 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9358.225
AT ITER 1571 NEW BEST:: SOT 35986 SOS 12223 HAS SOPS 12223 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9355.223
AT ITER 1572 NEW BEST:: SOT 35979 SOS 12204 HAS SOPS 12204 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9331.204
AT ITER 1584 NEW BEST:: SOT 35979 SOS 12203 HAS SOPS 12203 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9331.203
AT ITER 1598 NEW BEST:: SOT 35912 SOS 12069 HAS SOPS 12069 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9261.069
AT ITER 1603 NEW BEST:: SOT 35889 SOS 12053 HAS SOPS 12053 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9245.053
AT ITER 1612 NEW BEST:: SOT 35884 SOS 12048 HAS SOPS 12048 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9240.048
AT ITER 1620 NEW BEST:: SOT 35884 SOS 12051 HAS SOPS 12051 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9237.051
AT ITER 1623 NEW BEST:: SOT 35884 SOS 12041 HAS SOPS 12041 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9237.041
AT ITER 1624 NEW BEST:: SOT 35883 SOS 12039 HAS SOPS 12039 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9235.039
AT ITER 1649 NEW BEST:: SOT 35883 SOS 12039 HAS SOPS 12039 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9223.039
AT ITER 1658 NEW BEST:: SOT 35954 SOS 12043 HAS SOPS 12043 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9187.043
AT ITER 1659 NEW BEST:: SOT 35949 SOS 12069 HAS SOPS 12069 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9177.069
AT ITER 1667 NEW BEST:: SOT 35949 SOS 11665 HAS SOPS 11665 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9176.665
AT ITER 1669 NEW BEST:: SOT 35946 SOS 11683 HAS SOPS 11683 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9169.683
AT ITER 1671 NEW BEST:: SOT 35935 SOS 11661 HAS SOPS 11661 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9158.661
AT ITER 1695 NEW BEST:: SOT 35851 SOS 11582 HAS SOPS 11582 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9078.582
AT ITER 1721 NEW BEST:: SOT 35851 SOS 11563 HAS SOPS 11563 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9059.563
AT ITER 1724 NEW BEST:: SOT 35851 SOS 11563 HAS SOPS 11563 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9053.563
AT ITER 1751 NEW BEST:: SOT 35848 SOS 11560 HAS SOPS 11560 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9047.56
AT ITER 1756 NEW BEST:: SOT 35846 SOS 11556 HAS SOPS 11556 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9043.556
AT ITER 1773 NEW BEST:: SOT 35835 SOS 11551 HAS SOPS 11551 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9033.551
AT ITER 1823 NEW BEST:: SOT 35830 SOS 11545 HAS SOPS 11545 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9027.545
AT ITER 1852 NEW BEST:: SOT 35827 SOS 11539 HAS SOPS 11539 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9021.539
AT ITER 1859 NEW BEST:: SOT 35843 SOS 11571 HAS SOPS 11571 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9009.571
AT ITER 1861 NEW BEST:: SOT 35836 SOS 11557 HAS SOPS 11557 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8995.557
AT ITER 1863 NEW BEST:: SOT 35836 SOS 11516 HAS SOPS 11516 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8995.516
AT ITER 1872 NEW BEST:: SOT 35832 SOS 11512 HAS SOPS 11512 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8991.512
AT ITER 1917 NEW BEST:: SOT 35846 SOS 11525 HAS SOPS 11525 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8990.525
AT ITER 1922 NEW BEST:: SOT 35843 SOS 11525 HAS SOPS 11525 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8987.525
AT ITER 1944 NEW BEST:: SOT 35839 SOS 11522 HAS SOPS 11522 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8984.522
AT ITER 1954 NEW BEST:: SOT 35838 SOS 11520 HAS SOPS 11520 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8982.52
AT ITER 1955 NEW BEST:: SOT 35809 SOS 11491 HAS SOPS 11491 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8953.491
AT ITER 1957 NEW BEST:: SOT 35789 SOS 11444 HAS SOPS 11444 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8923.444
AT ITER 1968 NEW BEST:: SOT 35785 SOS 11440 HAS SOPS 11440 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8923.44
AT ITER 2002 NEW BEST:: SOT 35795 SOS 11461 HAS SOPS 11461 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8921.461
AT ITER 2007 NEW BEST:: SOT 35794 SOS 11459 HAS SOPS 11459 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8909.459
AT ITER 2020 NEW BEST:: SOT 35779 SOS 11450 HAS SOPS 11450 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8900.45
AT ITER 2036 NEW BEST:: SOT 35770 SOS 11444 HAS SOPS 11444 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8894.444
AT ITER 2038 NEW BEST:: SOT 35752 SOS 11408 HAS SOPS 11408 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8860.408
AT ITER 2041 NEW BEST:: SOT 35740 SOS 11396 HAS SOPS 11396 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8846.396
AT ITER 2075 NEW BEST:: SOT 35730 SOS 11376 HAS SOPS 11376 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8826.376
AT ITER 2090 NEW BEST:: SOT 35729 SOS 11375 HAS SOPS 11375 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8824.375
AT ITER 2095 NEW BEST:: SOT 35728 SOS 11355 HAS SOPS 11355 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8819.355
AT ITER 2105 NEW BEST:: SOT 35728 SOS 11355 HAS SOPS 11355 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8818.355
AT ITER 2155 NEW BEST:: SOT 35726 SOS 11351 HAS SOPS 11351 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8816.351
AT ITER 2173 NEW BEST:: SOT 35675 SOS 11249 HAS SOPS 11249 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8737.249
AT ITER 2179 NEW BEST:: SOT 35681 SOS 11241 HAS SOPS 11241 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8735.241
AT ITER 2203 NEW BEST:: SOT 35658 SOS 11240 HAS SOPS 11240 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8710.24
AT ITER 2207 NEW BEST:: SOT 35642 SOS 11224 HAS SOPS 11224 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.224
AT ITER 2230 NEW BEST:: SOT 35639 SOS 11221 HAS SOPS 11221 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8688.221
AT ITER 2235 NEW BEST:: SOT 35588 SOS 11234 HAS SOPS 11234 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8620.234
AT ITER 2255 NEW BEST:: SOT 35539 SOS 11135 HAS SOPS 11135 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8522.135
AT ITER 2260 NEW BEST:: SOT 35539 SOS 11135 HAS SOPS 11135 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8521.135
AT ITER 2272 NEW BEST:: SOT 35539 SOS 11134 HAS SOPS 11134 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8520.134
AT ITER 2278 NEW BEST:: SOT 35532 SOS 11113 HAS SOPS 11113 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8506.113
AT ITER 2308 NEW BEST:: SOT 35502 SOS 11077 HAS SOPS 11077 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8482.077
AT ITER 2309 NEW BEST:: SOT 35490 SOS 11053 HAS SOPS 11053 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8458.053
AT ITER 2316 NEW BEST:: SOT 35481 SOS 11044 HAS SOPS 11044 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8449.044
AT ITER 2347 NEW BEST:: SOT 35478 SOS 11038 HAS SOPS 11038 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8448.038
AT ITER 2349 NEW BEST:: SOT 35452 SOS 10988 HAS SOPS 10988 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8419.988
AT ITER 2367 NEW BEST:: SOT 35450 SOS 10986 HAS SOPS 10986 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8417.986
AT ITER 2371 NEW BEST:: SOT 35449 SOS 10984 HAS SOPS 10984 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8415.984
AT ITER 2395 NEW BEST:: SOT 35444 SOS 10974 HAS SOPS 10974 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8405.974
AT ITER 2405 NEW BEST:: SOT 35443 SOS 10972 HAS SOPS 10972 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8404.972
AT ITER 2416 NEW BEST:: SOT 35441 SOS 10970 HAS SOPS 10970 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8402.97
AT ITER 2418 NEW BEST:: SOT 35439 SOS 10966 HAS SOPS 10966 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8398.966
AT ITER 2420 NEW BEST:: SOT 35434 SOS 10989 HAS SOPS 10989 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8397.989
AT ITER 2426 NEW BEST:: SOT 35429 SOS 10984 HAS SOPS 10984 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8387.984
AT ITER 2453 NEW BEST:: SOT 35419 SOS 10905 HAS SOPS 10905 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8314.905
AT ITER 2464 NEW BEST:: SOT 35418 SOS 11018 HAS SOPS 11018 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8311.018
AT ITER 2472 NEW BEST:: SOT 35405 SOS 11024 HAS SOPS 11024 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8304.024
AT ITER 2483 NEW BEST:: SOT 35395 SOS 11029 HAS SOPS 11029 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8284.029
AT ITER 2485 NEW BEST:: SOT 35376 SOS 11019 HAS SOPS 11019 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8284.019
AT ITER 2495 NEW BEST:: SOT 35377 SOS 10995 HAS SOPS 10995 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8277.995
AT ITER 2534 NEW BEST:: SOT 35376 SOS 10979 HAS SOPS 10979 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8261.979
AT ITER 2540 NEW BEST:: SOT 35374 SOS 10975 HAS SOPS 10975 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8257.975
AT ITER 2551 NEW BEST:: SOT 35371 SOS 10980 HAS SOPS 10980 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8251.98
AT ITER 2557 NEW BEST:: SOT 35362 SOS 10711 HAS SOPS 10711 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8232.711
AT ITER 2565 NEW BEST:: SOT 35355 SOS 10697 HAS SOPS 10697 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8217.697
AT ITER 2586 NEW BEST:: SOT 35335 SOS 10677 HAS SOPS 10677 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8214.677
AT ITER 2624 NEW BEST:: SOT 35325 SOS 10569 HAS SOPS 10569 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8180.569
AT ITER 2647 NEW BEST:: SOT 35298 SOS 10542 HAS SOPS 10542 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8153.542
AT ITER 2660 NEW BEST:: SOT 35286 SOS 10537 HAS SOPS 10537 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8136.537
AT ITER 2692 NEW BEST:: SOT 35284 SOS 10534 HAS SOPS 10534 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8133.534
AT ITER 2723 NEW BEST:: SOT 35278 SOS 10528 HAS SOPS 10528 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8121.528
AT ITER 2725 NEW BEST:: SOT 35277 SOS 10516 HAS SOPS 10516 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8118.516
AT ITER 2751 NEW BEST:: SOT 35254 SOS 10492 HAS SOPS 10492 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8092.492
AT ITER 2755 NEW BEST:: SOT 35240 SOS 10464 HAS SOPS 10464 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8078.464
AT ITER 2770 NEW BEST:: SOT 35209 SOS 10433 HAS SOPS 10433 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8047.433
AT ITER 2802 NEW BEST:: SOT 35202 SOS 10430 HAS SOPS 10430 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8044.43
AT ITER 2862 NEW BEST:: SOT 35202 SOS 10423 HAS SOPS 10423 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8037.423
AT ITER 2868 NEW BEST:: SOT 35202 SOS 10415 HAS SOPS 10415 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8037.415
AT ITER 2870 NEW BEST:: SOT 35200 SOS 10419 HAS SOPS 10419 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8033.419
AT ITER 2873 NEW BEST:: SOT 35207 SOS 10433 HAS SOPS 10433 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8031.433
AT ITER 2888 NEW BEST:: SOT 35190 SOS 10380 HAS SOPS 10380 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8023.38
AT ITER 2897 NEW BEST:: SOT 35193 SOS 10378 HAS SOPS 10378 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8018.378
AT ITER 2908 NEW BEST:: SOT 35192 SOS 10378 HAS SOPS 10378 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8017.378
AT ITER 2974 NEW BEST:: SOT 35181 SOS 10345 HAS SOPS 10345 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7995.345
AT ITER 2980 NEW BEST:: SOT 35181 SOS 10326 HAS SOPS 10326 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7976.326
AT ITER 2982 NEW BEST:: SOT 35170 SOS 10322 HAS SOPS 10322 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7966.322
AT ITER 2998 NEW BEST:: SOT 35170 SOS 10322 HAS SOPS 10322 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7956.322
AT ITER 3002 NEW BEST:: SOT 35169 SOS 10318 HAS SOPS 10318 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7952.318
AT ITER 3043 NEW BEST:: SOT 35151 SOS 10282 HAS SOPS 10282 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7936.282
AT ITER 3066 NEW BEST:: SOT 35141 SOS 10259 HAS SOPS 10259 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7916.259
AT ITER 3087 NEW BEST:: SOT 35111 SOS 10215 HAS SOPS 10215 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7856.215
AT ITER 3089 NEW BEST:: SOT 35110 SOS 10209 HAS SOPS 10209 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7847.209
AT ITER 3106 NEW BEST:: SOT 35103 SOS 10195 HAS SOPS 10195 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7833.195
AT ITER 3115 NEW BEST:: SOT 35101 SOS 10204 HAS SOPS 10204 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7829.204
AT ITER 3147 NEW BEST:: SOT 35086 SOS 10189 HAS SOPS 10189 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7814.189
AT ITER 3194 NEW BEST:: SOT 35082 SOS 10185 HAS SOPS 10185 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7806.185
AT ITER 3239 NEW BEST:: SOT 35082 SOS 10169 HAS SOPS 10169 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7790.169
AT ITER 3344 NEW BEST:: SOT 35078 SOS 10163 HAS SOPS 10163 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7784.163
AT ITER 3354 NEW BEST:: SOT 35072 SOS 10151 HAS SOPS 10151 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7776.151
AT ITER 3400 NEW BEST:: SOT 35072 SOS 10146 HAS SOPS 10146 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7771.146
AT ITER 3417 NEW BEST:: SOT 35064 SOS 10126 HAS SOPS 10126 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7766.126
AT ITER 3449 NEW BEST:: SOT 35052 SOS 10102 HAS SOPS 10102 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7742.102
AT ITER 3495 NEW BEST:: SOT 35050 SOS 10098 HAS SOPS 10098 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7740.098
AT ITER 3543 NEW BEST:: SOT 35041 SOS 10104 HAS SOPS 10104 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7730.104
AT ITER 3596 NEW BEST:: SOT 35025 SOS 10066 HAS SOPS 10066 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7698.066
AT ITER 3598 NEW BEST:: SOT 35011 SOS 10053 HAS SOPS 10053 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7684.053
AT ITER 3608 NEW BEST:: SOT 35009 SOS 10049 HAS SOPS 10049 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7680.049
AT ITER 3627 NEW BEST:: SOT 35029 SOS 10036 HAS SOPS 10036 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7667.036
AT ITER 3637 NEW BEST:: SOT 35018 SOS 10031 HAS SOPS 10031 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7662.031
AT ITER 3650 NEW BEST:: SOT 35015 SOS 10027 HAS SOPS 10027 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7658.027
AT ITER 3670 NEW BEST:: SOT 35015 SOS 10034 HAS SOPS 10034 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7657.034
AT ITER 3715 NEW BEST:: SOT 35009 SOS 10022 HAS SOPS 10022 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.022
AT ITER 3783 NEW BEST:: SOT 35009 SOS 10020 HAS SOPS 10020 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.02
AT ITER 3836 NEW BEST:: SOT 35009 SOS 10017 HAS SOPS 10017 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7636.017
AT ITER 3876 NEW BEST:: SOT 34990 SOS 10023 HAS SOPS 10023 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7598.023
AT ITER 3893 NEW BEST:: SOT 34990 SOS 10028 HAS SOPS 10028 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7596.028
AT ITER 3916 NEW BEST:: SOT 34968 SOS 9984 HAS SOPS 9984 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7542.984
AT ITER 3947 NEW BEST:: SOT 34968 SOS 9979 HAS SOPS 9979 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7542.979
AT ITER 3995 NEW BEST:: SOT 34968 SOS 9934 HAS SOPS 9934 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7542.934
AT ITER 4010 NEW BEST:: SOT 34973 SOS 9932 HAS SOPS 9932 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.932
AT ITER 4082 NEW BEST:: SOT 34948 SOS 9927 HAS SOPS 9927 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7535.927
AT ITER 4120 NEW BEST:: SOT 34957 SOS 9927 HAS SOPS 9927 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.927
AT ITER 4124 NEW BEST:: SOT 34939 SOS 9891 HAS SOPS 9891 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7510.891
AT ITER 4199 NEW BEST:: SOT 34937 SOS 9881 HAS SOPS 9881 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7501.881
AT ITER 4242 NEW BEST:: SOT 34937 SOS 9881 HAS SOPS 9881 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7498.881
AT ITER 4247 NEW BEST:: SOT 34931 SOS 9874 HAS SOPS 9874 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7487.874
AT ITER 4253 NEW BEST:: SOT 34940 SOS 9872 HAS SOPS 9872 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7486.872
AT ITER 4270 NEW BEST:: SOT 34922 SOS 9852 HAS SOPS 9852 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7466.852
AT ITER 4273 NEW BEST:: SOT 34921 SOS 9850 HAS SOPS 9850 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7464.85
AT ITER 4314 NEW BEST:: SOT 34899 SOS 9764 HAS SOPS 9764 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7454.764
AT ITER 4358 NEW BEST:: SOT 34894 SOS 9765 HAS SOPS 9765 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7450.765
AT ITER 4426 NEW BEST:: SOT 34920 SOS 9776 HAS SOPS 9776 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7442.776
AT ITER 4428 NEW BEST:: SOT 34918 SOS 9772 HAS SOPS 9772 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7432.772
AT ITER 4439 NEW BEST:: SOT 34919 SOS 9774 HAS SOPS 9774 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7424.774
AT ITER 4460 NEW BEST:: SOT 34914 SOS 9764 HAS SOPS 9764 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7414.764
AT ITER 4541 NEW BEST:: SOT 34907 SOS 9757 HAS SOPS 9757 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7401.757
AT ITER 4561 NEW BEST:: SOT 34907 SOS 9756 HAS SOPS 9756 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7400.756
AT ITER 4562 NEW BEST:: SOT 34911 SOS 9740 HAS SOPS 9740 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7384.74
AT ITER 4575 NEW BEST:: SOT 34904 SOS 9733 HAS SOPS 9733 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7377.733
AT ITER 4584 NEW BEST:: SOT 34905 SOS 9735 HAS SOPS 9735 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7369.735
AT ITER 4591 NEW BEST:: SOT 34897 SOS 9719 HAS SOPS 9719 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7353.719
AT ITER 4602 NEW BEST:: SOT 34868 SOS 9683 HAS SOPS 9683 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7333.683
AT ITER 4603 NEW BEST:: SOT 34841 SOS 9638 HAS SOPS 9638 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.638
AT ITER 4627 NEW BEST:: SOT 34841 SOS 9620 HAS SOPS 9620 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.62
AT ITER 4634 NEW BEST:: SOT 34839 SOS 9616 HAS SOPS 9616 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7289.616
AT ITER 4650 NEW BEST:: SOT 34839 SOS 9627 HAS SOPS 9627 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7278.627
AT ITER 4655 NEW BEST:: SOT 34838 SOS 9625 HAS SOPS 9625 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7276.625
AT ITER 4686 NEW BEST:: SOT 34837 SOS 9623 HAS SOPS 9623 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7274.623
AT ITER 4689 NEW BEST:: SOT 34834 SOS 9623 HAS SOPS 9623 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7272.623
AT ITER 4801 NEW BEST:: SOT 34833 SOS 9622 HAS SOPS 9622 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7270.622
AT ITER 4830 NEW BEST:: SOT 34833 SOS 9622 HAS SOPS 9622 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7266.622
AT ITER 4835 NEW BEST:: SOT 34831 SOS 9618 HAS SOPS 9618 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7264.618
AT ITER 4849 NEW BEST:: SOT 34828 SOS 9610 HAS SOPS 9610 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7257.61
AT ITER 4857 NEW BEST:: SOT 34831 SOS 9616 HAS SOPS 9616 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7256.616
AT ITER 4858 NEW BEST:: SOT 34830 SOS 9614 HAS SOPS 9614 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7254.614
AT ITER 4977 NEW BEST:: SOT 34822 SOS 9606 HAS SOPS 9606 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7246.606
AT ITER 4996 NEW BEST:: SOT 34809 SOS 9587 HAS SOPS 9587 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7221.587
AT ITER 5027 NEW BEST:: SOT 34810 SOS 9581 HAS SOPS 9581 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7215.581
AT ITER 5071 NEW BEST:: SOT 34797 SOS 9555 HAS SOPS 9555 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7189.555
AT ITER 5072 NEW BEST:: SOT 34793 SOS 9551 HAS SOPS 9551 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7185.551
AT ITER 5088 NEW BEST:: SOT 34792 SOS 9549 HAS SOPS 9549 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7183.549
AT ITER 5131 NEW BEST:: SOT 34786 SOS 9529 HAS SOPS 9529 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7178.529
AT ITER 5173 NEW BEST:: SOT 34772 SOS 9673 HAS SOPS 9673 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7172.673
AT ITER 5189 NEW BEST:: SOT 34713 SOS 9569 HAS SOPS 9569 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7157.569
AT ITER 5241 NEW BEST:: SOT 34715 SOS 9573 HAS SOPS 9573 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7150.573
AT ITER 5244 NEW BEST:: SOT 34710 SOS 9563 HAS SOPS 9563 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7140.563
AT ITER 5257 NEW BEST:: SOT 34710 SOS 9558 HAS SOPS 9558 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7140.558
AT ITER 5270 NEW BEST:: SOT 34708 SOS 9556 HAS SOPS 9556 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7138.556
AT ITER 5306 NEW BEST:: SOT 34707 SOS 9554 HAS SOPS 9554 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7136.554
AT ITER 5329 NEW BEST:: SOT 34703 SOS 9546 HAS SOPS 9546 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7128.546
AT ITER 5448 NEW BEST:: SOT 34703 SOS 9565 HAS SOPS 9565 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7109.565
AT ITER 5608 NEW BEST:: SOT 34697 SOS 9546 HAS SOPS 9546 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7097.546
AT ITER 5639 NEW BEST:: SOT 34703 SOS 9544 HAS SOPS 9544 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7095.544
AT ITER 5646 NEW BEST:: SOT 34701 SOS 9537 HAS SOPS 9537 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7093.537
AT ITER 5687 NEW BEST:: SOT 34700 SOS 9535 HAS SOPS 9535 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7091.535
AT ITER 5698 NEW BEST:: SOT 34700 SOS 9535 HAS SOPS 9535 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7088.535
AT ITER 5870 NEW BEST:: SOT 34695 SOS 9525 HAS SOPS 9525 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7073.525
AT ITER 5894 NEW BEST:: SOT 34692 SOS 9516 HAS SOPS 9516 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7061.516
AT ITER 5973 NEW BEST:: SOT 34692 SOS 9515 HAS SOPS 9515 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7060.515
AT ITER 6025 NEW BEST:: SOT 34692 SOS 9522 HAS SOPS 9522 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7054.522
AT ITER 6149 NEW BEST:: SOT 34683 SOS 9532 HAS SOPS 9532 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7048.532
AT ITER 6215 NEW BEST:: SOT 34678 SOS 9545 HAS SOPS 9545 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7043.545
AT ITER 6278 NEW BEST:: SOT 34670 SOS 9529 HAS SOPS 9529 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7039.529
AT ITER 6288 NEW BEST:: SOT 34673 SOS 9532 HAS SOPS 9532 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7035.532
AT ITER 6316 NEW BEST:: SOT 34669 SOS 9528 HAS SOPS 9528 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7031.528
AT ITER 6350 NEW BEST:: SOT 34664 SOS 9518 HAS SOPS 9518 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7021.518
AT ITER 6408 NEW BEST:: SOT 34671 SOS 9519 HAS SOPS 9519 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7019.519
AT ITER 6421 NEW BEST:: SOT 34670 SOS 9540 HAS SOPS 9540 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7017.54
AT ITER 6452 NEW BEST:: SOT 34667 SOS 9529 HAS SOPS 9529 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6992.529
AT ITER 6495 NEW BEST:: SOT 34663 SOS 9522 HAS SOPS 9522 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6987.522
AT ITER 6520 NEW BEST:: SOT 34638 SOS 9491 HAS SOPS 9491 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6960.491
AT ITER 6530 NEW BEST:: SOT 34635 SOS 9488 HAS SOPS 9488 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6954.488
AT ITER 6552 NEW BEST:: SOT 34635 SOS 9485 HAS SOPS 9485 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6954.485
AT ITER 6710 NEW BEST:: SOT 34631 SOS 9477 HAS SOPS 9477 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6950.477
AT ITER 6768 NEW BEST:: SOT 34631 SOS 9409 HAS SOPS 9409 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6950.409
AT ITER 6818 NEW BEST:: SOT 34628 SOS 9404 HAS SOPS 9404 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6944.404
AT ITER 6827 NEW BEST:: SOT 34625 SOS 9387 HAS SOPS 9387 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6938.387
AT ITER 6879 NEW BEST:: SOT 34624 SOS 9385 HAS SOPS 9385 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6936.385
AT ITER 6880 NEW BEST:: SOT 34623 SOS 9384 HAS SOPS 9384 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6934.384
AT ITER 6939 NEW BEST:: SOT 34616 SOS 9368 HAS SOPS 9368 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6925.368
AT ITER 6984 NEW BEST:: SOT 34606 SOS 9351 HAS SOPS 9351 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6906.351
AT ITER 6986 NEW BEST:: SOT 34603 SOS 9345 HAS SOPS 9345 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6900.345
AT ITER 7048 NEW BEST:: SOT 34601 SOS 9343 HAS SOPS 9343 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6896.343
AT ITER 7179 NEW BEST:: SOT 34591 SOS 9323 HAS SOPS 9323 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6882.323
AT ITER 7188 NEW BEST:: SOT 34589 SOS 9321 HAS SOPS 9321 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6878.321
AT ITER 7200 NEW BEST:: SOT 34581 SOS 9313 HAS SOPS 9313 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6870.313
AT ITER 7278 NEW BEST:: SOT 34582 SOS 9304 HAS SOPS 9304 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6861.304
AT ITER 7295 NEW BEST:: SOT 34597 SOS 9334 HAS SOPS 9334 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6851.334
AT ITER 7438 NEW BEST:: SOT 34597 SOS 9327 HAS SOPS 9327 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6844.327
AT ITER 7459 NEW BEST:: SOT 34603 SOS 9339 HAS SOPS 9339 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6842.339
AT ITER 7505 NEW BEST:: SOT 34600 SOS 9335 HAS SOPS 9335 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6836.335
AT ITER 7506 NEW BEST:: SOT 34599 SOS 9333 HAS SOPS 9333 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6834.333
AT ITER 7569 NEW BEST:: SOT 34606 SOS 9355 HAS SOPS 9355 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6827.355
AT ITER 7637 NEW BEST:: SOT 34605 SOS 9323 HAS SOPS 9323 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6818.323
AT ITER 7653 NEW BEST:: SOT 34605 SOS 9289 HAS SOPS 9289 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6816.289
AT ITER 7686 NEW BEST:: SOT 34603 SOS 9287 HAS SOPS 9287 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6812.287
AT ITER 7733 NEW BEST:: SOT 34603 SOS 9287 HAS SOPS 9287 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6810.287
AT ITER 7739 NEW BEST:: SOT 34593 SOS 9270 HAS SOPS 9270 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6796.27
AT ITER 7837 NEW BEST:: SOT 34581 SOS 9255 HAS SOPS 9255 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6792.255
AT ITER 7866 NEW BEST:: SOT 34579 SOS 9251 HAS SOPS 9251 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6784.251
AT ITER 7901 NEW BEST:: SOT 34579 SOS 9249 HAS SOPS 9249 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6784.249
AT ITER 7927 NEW BEST:: SOT 34567 SOS 9243 HAS SOPS 9243 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6778.243
AT ITER 7933 NEW BEST:: SOT 34563 SOS 9241 HAS SOPS 9241 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6776.241
AT ITER 7943 NEW BEST:: SOT 34557 SOS 9237 HAS SOPS 9237 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6770.237
AT ITER 7959 NEW BEST:: SOT 34546 SOS 9229 HAS SOPS 9229 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6768.229
AT ITER 8050 NEW BEST:: SOT 34537 SOS 9220 HAS SOPS 9220 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6759.22
AT ITER 8130 NEW BEST:: SOT 34535 SOS 9216 HAS SOPS 9216 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6755.216
AT ITER 8196 NEW BEST:: SOT 34529 SOS 9215 HAS SOPS 9215 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6743.215
AT ITER 8223 NEW BEST:: SOT 34528 SOS 9214 HAS SOPS 9214 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6742.214
AT ITER 8238 NEW BEST:: SOT 34538 SOS 9223 HAS SOPS 9223 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6741.223
AT ITER 8257 NEW BEST:: SOT 34532 SOS 9354 HAS SOPS 9354 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6740.354
AT ITER 8272 NEW BEST:: SOT 34539 SOS 9329 HAS SOPS 9329 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6736.329
AT ITER 8280 NEW BEST:: SOT 34537 SOS 9327 HAS SOPS 9327 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6734.327
AT ITER 8346 NEW BEST:: SOT 34537 SOS 9327 HAS SOPS 9327 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6729.327
AT ITER 8428 NEW BEST:: SOT 34523 SOS 9370 HAS SOPS 9370 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6725.37
AT ITER 8429 NEW BEST:: SOT 34523 SOS 9359 HAS SOPS 9359 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6725.359
AT ITER 8456 NEW BEST:: SOT 34529 SOS 9367 HAS SOPS 9367 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6723.367
AT ITER 8577 NEW BEST:: SOT 34525 SOS 9359 HAS SOPS 9359 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6715.359
AT ITER 8763 NEW BEST:: SOT 34533 SOS 9375 HAS SOPS 9375 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6709.375
AT ITER 8813 NEW BEST:: SOT 34533 SOS 9372 HAS SOPS 9372 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6706.372
AT ITER 8896 NEW BEST:: SOT 34533 SOS 9352 HAS SOPS 9352 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6706.352
AT ITER 8938 NEW BEST:: SOT 34533 SOS 9346 HAS SOPS 9346 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6700.346
AT ITER 8957 NEW BEST:: SOT 34529 SOS 9338 HAS SOPS 9338 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6692.338
AT ITER 8962 NEW BEST:: SOT 34527 SOS 9335 HAS SOPS 9335 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6690.335
AT ITER 9064 NEW BEST:: SOT 34526 SOS 9324 HAS SOPS 9324 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6688.324
AT ITER 9067 NEW BEST:: SOT 34522 SOS 9320 HAS SOPS 9320 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6680.32
AT ITER 9134 NEW BEST:: SOT 34514 SOS 9310 HAS SOPS 9310 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6676.31
AT ITER 9142 NEW BEST:: SOT 34511 SOS 9307 HAS SOPS 9307 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6673.307
AT ITER 9149 NEW BEST:: SOT 34511 SOS 9305 HAS SOPS 9305 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6673.305
AT ITER 9151 NEW BEST:: SOT 34500 SOS 9314 HAS SOPS 9314 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6651.314
AT ITER 9292 NEW BEST:: SOT 34499 SOS 9313 HAS SOPS 9313 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6650.313
AT ITER 9314 NEW BEST:: SOT 34502 SOS 9314 HAS SOPS 9314 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6648.314
AT ITER 9322 NEW BEST:: SOT 34491 SOS 9321 HAS SOPS 9321 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6647.321
AT ITER 9332 NEW BEST:: SOT 34489 SOS 9319 HAS SOPS 9319 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6643.319
AT ITER 9346 NEW BEST:: SOT 34488 SOS 9318 HAS SOPS 9318 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6641.318
AT ITER 9414 NEW BEST:: SOT 34497 SOS 9314 HAS SOPS 9314 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6639.314
AT ITER 9425 NEW BEST:: SOT 34498 SOS 9297 HAS SOPS 9297 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6606.297
AT ITER 9488 NEW BEST:: SOT 34497 SOS 9286 HAS SOPS 9286 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6592.286
AT ITER 9512 NEW BEST:: SOT 34477 SOS 9264 HAS SOPS 9264 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6570.264
AT ITER 9613 NEW BEST:: SOT 34475 SOS 9262 HAS SOPS 9262 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6566.262
AT ITER 9625 NEW BEST:: SOT 34469 SOS 9256 HAS SOPS 9256 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6566.256
AT ITER 9676 NEW BEST:: SOT 34468 SOS 9254 HAS SOPS 9254 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6564.254
AT ITER 9695 NEW BEST:: SOT 34466 SOS 9252 HAS SOPS 9252 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6562.252
AT ITER 9824 NEW BEST:: SOT 34466 SOS 9251 HAS SOPS 9251 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6561.251
AT ITER 9864 NEW BEST:: SOT 34442 SOS 9203 HAS SOPS 9203 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6515.203
AT ITER 9994 NEW BEST:: SOT 34441 SOS 9203 HAS SOPS 9203 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6513.203
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8010844 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151476 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="DiscoveryGPU-PT-08b"
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 DiscoveryGPU-PT-08b, 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 r131-smll-167819407300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-08b.tgz
mv DiscoveryGPU-PT-08b 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 ;