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.r515-tall-167987242200232.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 EisenbergMcGuire-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 7.3K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 232K Mar 26 22:42 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 1679879776940

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=EisenbergMcGuire-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 04
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: 196 places, 448 transitions, 1952 arcs.
AT ITER 0 NEW BEST:: SOT 62583 SOS 32292 HAS SOPS 23981 HAS SOUS 20909 HAS SOUPS 19570 WITH SCORE 19602.292
AT ITER 2 NEW BEST:: SOT 62547 SOS 32184 HAS SOPS 23693 HAS SOUS 20657 HAS SOUPS 19318 WITH SCORE 19350.184
AT ITER 6 NEW BEST:: SOT 62540 SOS 32366 HAS SOPS 23686 HAS SOUS 20675 HAS SOUPS 19303 WITH SCORE 19335.366
AT ITER 9 NEW BEST:: SOT 62525 SOS 32435 HAS SOPS 23818 HAS SOUS 20644 HAS SOUPS 19272 WITH SCORE 19304.435
AT ITER 11 NEW BEST:: SOT 62522 SOS 32369 HAS SOPS 23752 HAS SOUS 20638 HAS SOUPS 19266 WITH SCORE 19298.369
AT ITER 14 NEW BEST:: SOT 62514 SOS 32353 HAS SOPS 23736 HAS SOUS 20622 HAS SOUPS 19250 WITH SCORE 19282.353
AT ITER 17 NEW BEST:: SOT 62486 SOS 32008 HAS SOPS 23731 HAS SOUS 20584 HAS SOUPS 19228 WITH SCORE 19260.008
AT ITER 21 NEW BEST:: SOT 62456 SOS 31976 HAS SOPS 23661 HAS SOUS 20584 HAS SOUPS 19228 WITH SCORE 19259.976
AT ITER 23 NEW BEST:: SOT 62459 SOS 31982 HAS SOPS 23667 HAS SOUS 20573 HAS SOUPS 19214 WITH SCORE 19245.982
AT ITER 29 NEW BEST:: SOT 62438 SOS 31891 HAS SOPS 23576 HAS SOUS 20531 HAS SOUPS 19172 WITH SCORE 19203.891
AT ITER 49 NEW BEST:: SOT 62431 SOS 31877 HAS SOPS 23562 HAS SOUS 20517 HAS SOUPS 19158 WITH SCORE 19189.877
AT ITER 56 NEW BEST:: SOT 62374 SOS 31735 HAS SOPS 23244 HAS SOUS 20108 HAS SOUPS 18755 WITH SCORE 18786.735
AT ITER 60 NEW BEST:: SOT 62550 SOS 31896 HAS SOPS 23445 HAS SOUS 20099 HAS SOUPS 18746 WITH SCORE 18777.896
AT ITER 62 NEW BEST:: SOT 62538 SOS 31888 HAS SOPS 23397 HAS SOUS 20059 HAS SOUPS 18706 WITH SCORE 18737.888
AT ITER 68 NEW BEST:: SOT 62538 SOS 31885 HAS SOPS 23397 HAS SOUS 20059 HAS SOUPS 18706 WITH SCORE 18737.885
AT ITER 72 NEW BEST:: SOT 62538 SOS 31885 HAS SOPS 23379 HAS SOUS 20050 HAS SOUPS 18697 WITH SCORE 18728.885
AT ITER 75 NEW BEST:: SOT 61812 SOS 36074 HAS SOPS 22965 HAS SOUS 20022 HAS SOUPS 18559 WITH SCORE 18595.074
AT ITER 78 NEW BEST:: SOT 61805 SOS 36042 HAS SOPS 22933 HAS SOUS 20008 HAS SOUPS 18545 WITH SCORE 18581.042
AT ITER 90 NEW BEST:: SOT 61856 SOS 36142 HAS SOPS 22937 HAS SOUS 19975 HAS SOUPS 18506 WITH SCORE 18542.142
AT ITER 91 NEW BEST:: SOT 61727 SOS 36435 HAS SOPS 22827 HAS SOUS 20012 HAS SOUPS 18501 WITH SCORE 18537.435
AT ITER 101 NEW BEST:: SOT 61715 SOS 36411 HAS SOPS 22803 HAS SOUS 19988 HAS SOUPS 18477 WITH SCORE 18513.411
AT ITER 119 NEW BEST:: SOT 61715 SOS 36307 HAS SOPS 22729 HAS SOUS 19988 HAS SOUPS 18477 WITH SCORE 18513.307
AT ITER 127 NEW BEST:: SOT 61805 SOS 36050 HAS SOPS 22817 HAS SOUS 19941 HAS SOUPS 18462 WITH SCORE 18498.05
AT ITER 128 NEW BEST:: SOT 61733 SOS 35978 HAS SOPS 22745 HAS SOUS 19933 HAS SOUPS 18434 WITH SCORE 18469.978
AT ITER 134 NEW BEST:: SOT 61677 SOS 36100 HAS SOPS 22182 HAS SOUS 19524 HAS SOUPS 18024 WITH SCORE 18060.1
AT ITER 141 NEW BEST:: SOT 61665 SOS 36100 HAS SOPS 22161 HAS SOUS 19510 HAS SOUPS 17996 WITH SCORE 18032.1
AT ITER 144 NEW BEST:: SOT 61654 SOS 35937 HAS SOPS 21998 HAS SOUS 19485 HAS SOUPS 17971 WITH SCORE 18006.937
AT ITER 161 NEW BEST:: SOT 61538 SOS 35740 HAS SOPS 21809 HAS SOUS 19300 HAS SOUPS 17786 WITH SCORE 17821.74
AT ITER 164 NEW BEST:: SOT 61603 SOS 35797 HAS SOPS 21568 HAS SOUS 19059 HAS SOUPS 17545 WITH SCORE 17580.797
AT ITER 175 NEW BEST:: SOT 62120 SOS 31866 HAS SOPS 21794 HAS SOUS 18963 HAS SOUPS 17544 WITH SCORE 17575.866
AT ITER 176 NEW BEST:: SOT 62100 SOS 31799 HAS SOPS 21727 HAS SOUS 18923 HAS SOUPS 17504 WITH SCORE 17535.799
AT ITER 190 NEW BEST:: SOT 62082 SOS 31711 HAS SOPS 21125 HAS SOUS 18412 HAS SOUPS 16995 WITH SCORE 17026.711
AT ITER 192 NEW BEST:: SOT 62095 SOS 31649 HAS SOPS 21104 HAS SOUS 18378 HAS SOUPS 16961 WITH SCORE 16992.649
AT ITER 194 NEW BEST:: SOT 62069 SOS 31584 HAS SOPS 21065 HAS SOUS 18352 HAS SOUPS 16935 WITH SCORE 16966.584
AT ITER 198 NEW BEST:: SOT 62058 SOS 31573 HAS SOPS 21021 HAS SOUS 18341 HAS SOUPS 16891 WITH SCORE 16922.573
AT ITER 199 NEW BEST:: SOT 62011 SOS 31542 HAS SOPS 20990 HAS SOUS 18290 HAS SOUPS 16840 WITH SCORE 16871.542
AT ITER 200 NEW BEST:: SOT 61869 SOS 31554 HAS SOPS 20880 HAS SOUS 18177 HAS SOUPS 16704 WITH SCORE 16735.554
AT ITER 205 NEW BEST:: SOT 61853 SOS 31538 HAS SOPS 20864 HAS SOUS 18161 HAS SOUPS 16688 WITH SCORE 16719.538
AT ITER 218 NEW BEST:: SOT 61578 SOS 31295 HAS SOPS 20573 HAS SOUS 17928 HAS SOUPS 16407 WITH SCORE 16438.295
AT ITER 220 NEW BEST:: SOT 61578 SOS 31374 HAS SOPS 20562 HAS SOUS 17955 HAS SOUPS 16395 WITH SCORE 16426.374
AT ITER 236 NEW BEST:: SOT 61578 SOS 31308 HAS SOPS 20496 HAS SOUS 17955 HAS SOUPS 16395 WITH SCORE 16426.308
AT ITER 248 NEW BEST:: SOT 61606 SOS 31098 HAS SOPS 20538 HAS SOUS 17922 HAS SOUPS 16392 WITH SCORE 16423.098
AT ITER 260 NEW BEST:: SOT 61599 SOS 31084 HAS SOPS 20524 HAS SOUS 17908 HAS SOUPS 16378 WITH SCORE 16409.084
AT ITER 265 NEW BEST:: SOT 61087 SOS 30790 HAS SOPS 19572 HAS SOUS 17532 HAS SOUPS 15834 WITH SCORE 15864.79
AT ITER 266 NEW BEST:: SOT 61033 SOS 30671 HAS SOPS 19453 HAS SOUS 17467 HAS SOUPS 15769 WITH SCORE 15799.671
AT ITER 274 NEW BEST:: SOT 61033 SOS 30647 HAS SOPS 19429 HAS SOUS 17467 HAS SOUPS 15769 WITH SCORE 15799.647
AT ITER 276 NEW BEST:: SOT 61052 SOS 30665 HAS SOPS 19440 HAS SOUS 17450 HAS SOUPS 15752 WITH SCORE 15782.665
AT ITER 280 NEW BEST:: SOT 60113 SOS 29796 HAS SOPS 19205 HAS SOUS 17042 HAS SOUPS 15345 WITH SCORE 15374.796
AT ITER 281 NEW BEST:: SOT 60088 SOS 29945 HAS SOPS 19369 HAS SOUS 17032 HAS SOUPS 15335 WITH SCORE 15364.945
AT ITER 287 NEW BEST:: SOT 60088 SOS 29903 HAS SOPS 19327 HAS SOUS 17029 HAS SOUPS 15332 WITH SCORE 15361.903
AT ITER 292 NEW BEST:: SOT 60109 SOS 29882 HAS SOPS 19306 HAS SOUS 17022 HAS SOUPS 15325 WITH SCORE 15354.882
AT ITER 293 NEW BEST:: SOT 60079 SOS 29816 HAS SOPS 19280 HAS SOUS 16998 HAS SOUPS 15301 WITH SCORE 15330.816
AT ITER 294 NEW BEST:: SOT 60072 SOS 29746 HAS SOPS 19273 HAS SOUS 16984 HAS SOUPS 15294 WITH SCORE 15323.746
AT ITER 302 NEW BEST:: SOT 59488 SOS 32915 HAS SOPS 18843 HAS SOUS 16703 HAS SOUPS 14929 WITH SCORE 14961.915
AT ITER 305 NEW BEST:: SOT 59480 SOS 32892 HAS SOPS 18671 HAS SOUS 16590 HAS SOUPS 14804 WITH SCORE 14836.892
AT ITER 321 NEW BEST:: SOT 59411 SOS 32823 HAS SOPS 18654 HAS SOUS 16579 HAS SOUPS 14787 WITH SCORE 14819.823
AT ITER 325 NEW BEST:: SOT 59426 SOS 32838 HAS SOPS 18639 HAS SOUS 16608 HAS SOUPS 14770 WITH SCORE 14802.838
AT ITER 326 NEW BEST:: SOT 59415 SOS 32797 HAS SOPS 18598 HAS SOUS 16578 HAS SOUPS 14740 WITH SCORE 14772.797
AT ITER 327 NEW BEST:: SOT 59412 SOS 32794 HAS SOPS 18562 HAS SOUS 16566 HAS SOUPS 14727 WITH SCORE 14759.794
AT ITER 340 NEW BEST:: SOT 59426 SOS 32808 HAS SOPS 18567 HAS SOUS 16558 HAS SOUPS 14719 WITH SCORE 14751.808
AT ITER 343 NEW BEST:: SOT 59354 SOS 32721 HAS SOPS 18519 HAS SOUS 16497 HAS SOUPS 14671 WITH SCORE 14703.721
AT ITER 350 NEW BEST:: SOT 59302 SOS 32705 HAS SOPS 18368 HAS SOUS 16310 HAS SOUPS 14484 WITH SCORE 14516.705
AT ITER 356 NEW BEST:: SOT 59325 SOS 32736 HAS SOPS 18389 HAS SOUS 16309 HAS SOUPS 14483 WITH SCORE 14515.736
AT ITER 358 NEW BEST:: SOT 59262 SOS 32673 HAS SOPS 18317 HAS SOUS 16293 HAS SOUPS 14465 WITH SCORE 14497.673
AT ITER 373 NEW BEST:: SOT 59260 SOS 32738 HAS SOPS 18382 HAS SOUS 16289 HAS SOUPS 14461 WITH SCORE 14493.738
AT ITER 387 NEW BEST:: SOT 58805 SOS 32802 HAS SOPS 18737 HAS SOUS 16269 HAS SOUPS 14441 WITH SCORE 14473.802
AT ITER 404 NEW BEST:: SOT 58796 SOS 32702 HAS SOPS 18637 HAS SOUS 16251 HAS SOUPS 14423 WITH SCORE 14455.702
AT ITER 407 NEW BEST:: SOT 58792 SOS 32702 HAS SOPS 18637 HAS SOUS 16243 HAS SOUPS 14415 WITH SCORE 14447.702
AT ITER 408 NEW BEST:: SOT 58765 SOS 32633 HAS SOPS 18568 HAS SOUS 16174 HAS SOUPS 14346 WITH SCORE 14378.633
AT ITER 409 NEW BEST:: SOT 58765 SOS 32633 HAS SOPS 18568 HAS SOUS 16173 HAS SOUPS 14345 WITH SCORE 14377.633
AT ITER 439 NEW BEST:: SOT 58708 SOS 32576 HAS SOPS 18598 HAS SOUS 16142 HAS SOUPS 14314 WITH SCORE 14346.576
AT ITER 441 NEW BEST:: SOT 58673 SOS 32539 HAS SOPS 18594 HAS SOUS 16136 HAS SOUPS 14310 WITH SCORE 14342.539
AT ITER 444 NEW BEST:: SOT 58692 SOS 32731 HAS SOPS 18695 HAS SOUS 16161 HAS SOUPS 14286 WITH SCORE 14318.731
AT ITER 451 NEW BEST:: SOT 58247 SOS 32585 HAS SOPS 18943 HAS SOUS 16011 HAS SOUPS 14136 WITH SCORE 14168.585
AT ITER 455 NEW BEST:: SOT 58246 SOS 32593 HAS SOPS 18926 HAS SOUS 16004 HAS SOUPS 14129 WITH SCORE 14161.593
AT ITER 469 NEW BEST:: SOT 58171 SOS 32361 HAS SOPS 18758 HAS SOUS 15943 HAS SOUPS 14068 WITH SCORE 14100.361
AT ITER 470 NEW BEST:: SOT 58176 SOS 32370 HAS SOPS 18768 HAS SOUS 15940 HAS SOUPS 14065 WITH SCORE 14097.37
AT ITER 471 NEW BEST:: SOT 58146 SOS 32340 HAS SOPS 18733 HAS SOUS 15911 HAS SOUPS 14036 WITH SCORE 14068.34
AT ITER 472 NEW BEST:: SOT 58154 SOS 32348 HAS SOPS 18730 HAS SOUS 15908 HAS SOUPS 14033 WITH SCORE 14065.348
AT ITER 485 NEW BEST:: SOT 58173 SOS 32358 HAS SOPS 18702 HAS SOUS 15909 HAS SOUPS 14029 WITH SCORE 14061.358
AT ITER 488 NEW BEST:: SOT 58160 SOS 32343 HAS SOPS 18653 HAS SOUS 15906 HAS SOUPS 14026 WITH SCORE 14058.343
AT ITER 490 NEW BEST:: SOT 58129 SOS 32294 HAS SOPS 18584 HAS SOUS 15827 HAS SOUPS 13947 WITH SCORE 13979.294
AT ITER 496 NEW BEST:: SOT 58000 SOS 32544 HAS SOPS 18379 HAS SOUS 15859 HAS SOUPS 13938 WITH SCORE 13970.544
AT ITER 497 NEW BEST:: SOT 57999 SOS 32543 HAS SOPS 18348 HAS SOUS 15837 HAS SOUPS 13921 WITH SCORE 13953.543
AT ITER 517 NEW BEST:: SOT 57989 SOS 32533 HAS SOPS 18308 HAS SOUS 15814 HAS SOUPS 13881 WITH SCORE 13913.533
AT ITER 522 NEW BEST:: SOT 57961 SOS 32484 HAS SOPS 18231 HAS SOUS 15785 HAS SOUPS 13852 WITH SCORE 13884.484
AT ITER 530 NEW BEST:: SOT 57941 SOS 32461 HAS SOPS 18208 HAS SOUS 15764 HAS SOUPS 13831 WITH SCORE 13863.461
AT ITER 537 NEW BEST:: SOT 57939 SOS 32459 HAS SOPS 18202 HAS SOUS 15758 HAS SOUPS 13825 WITH SCORE 13857.459
AT ITER 539 NEW BEST:: SOT 57863 SOS 32390 HAS SOPS 18160 HAS SOUS 15661 HAS SOUPS 13728 WITH SCORE 13760.39
AT ITER 541 NEW BEST:: SOT 57852 SOS 32416 HAS SOPS 18172 HAS SOUS 15615 HAS SOUPS 13682 WITH SCORE 13714.416
AT ITER 542 NEW BEST:: SOT 57833 SOS 32366 HAS SOPS 18096 HAS SOUS 15563 HAS SOUPS 13630 WITH SCORE 13662.366
AT ITER 545 NEW BEST:: SOT 57829 SOS 32358 HAS SOPS 18088 HAS SOUS 15555 HAS SOUPS 13622 WITH SCORE 13654.358
AT ITER 549 NEW BEST:: SOT 57843 SOS 32108 HAS SOPS 17812 HAS SOUS 15536 HAS SOUPS 13603 WITH SCORE 13635.108
AT ITER 559 NEW BEST:: SOT 57839 SOS 32072 HAS SOPS 17776 HAS SOUS 15519 HAS SOUPS 13586 WITH SCORE 13618.072
AT ITER 564 NEW BEST:: SOT 57754 SOS 31998 HAS SOPS 17732 HAS SOUS 15471 HAS SOUPS 13538 WITH SCORE 13569.998
AT ITER 572 NEW BEST:: SOT 57741 SOS 31978 HAS SOPS 17712 HAS SOUS 15451 HAS SOUPS 13518 WITH SCORE 13549.978
AT ITER 576 NEW BEST:: SOT 57659 SOS 31989 HAS SOPS 17615 HAS SOUS 15455 HAS SOUPS 13492 WITH SCORE 13523.989
AT ITER 580 NEW BEST:: SOT 57687 SOS 31925 HAS SOPS 17530 HAS SOUS 15433 HAS SOUPS 13470 WITH SCORE 13501.925
AT ITER 592 NEW BEST:: SOT 57616 SOS 31659 HAS SOPS 17259 HAS SOUS 15216 HAS SOUPS 13253 WITH SCORE 13284.659
AT ITER 603 NEW BEST:: SOT 57616 SOS 31649 HAS SOPS 17249 HAS SOUS 15216 HAS SOUPS 13253 WITH SCORE 13284.649
AT ITER 604 NEW BEST:: SOT 57662 SOS 31702 HAS SOPS 17306 HAS SOUS 15206 HAS SOUPS 13250 WITH SCORE 13281.702
AT ITER 612 NEW BEST:: SOT 57665 SOS 31710 HAS SOPS 17312 HAS SOUS 15201 HAS SOUPS 13243 WITH SCORE 13274.71
AT ITER 623 NEW BEST:: SOT 57621 SOS 31660 HAS SOPS 17298 HAS SOUS 15136 HAS SOUPS 13178 WITH SCORE 13209.66
AT ITER 651 NEW BEST:: SOT 57619 SOS 31658 HAS SOPS 17294 HAS SOUS 15134 HAS SOUPS 13176 WITH SCORE 13207.658
AT ITER 691 NEW BEST:: SOT 57607 SOS 31681 HAS SOPS 17278 HAS SOUS 15116 HAS SOUPS 13152 WITH SCORE 13183.681
AT ITER 695 NEW BEST:: SOT 57647 SOS 31691 HAS SOPS 17283 HAS SOUS 15111 HAS SOUPS 13147 WITH SCORE 13178.691
AT ITER 700 NEW BEST:: SOT 57619 SOS 31649 HAS SOPS 17241 HAS SOUS 15069 HAS SOUPS 13105 WITH SCORE 13136.649
AT ITER 704 NEW BEST:: SOT 57622 SOS 31652 HAS SOPS 17051 HAS SOUS 15053 HAS SOUPS 13058 WITH SCORE 13089.652
AT ITER 730 NEW BEST:: SOT 57586 SOS 31616 HAS SOPS 17042 HAS SOUS 15044 HAS SOUPS 13049 WITH SCORE 13080.616
AT ITER 736 NEW BEST:: SOT 57611 SOS 32016 HAS SOPS 16955 HAS SOUS 15030 HAS SOUPS 12923 WITH SCORE 12955.016
AT ITER 749 NEW BEST:: SOT 57552 SOS 31957 HAS SOPS 16865 HAS SOUS 14971 HAS SOUPS 12864 WITH SCORE 12895.957
AT ITER 777 NEW BEST:: SOT 57552 SOS 31950 HAS SOPS 16858 HAS SOUS 14971 HAS SOUPS 12864 WITH SCORE 12895.95
AT ITER 791 NEW BEST:: SOT 57552 SOS 31951 HAS SOPS 16855 HAS SOUS 14970 HAS SOUPS 12863 WITH SCORE 12894.951
AT ITER 805 NEW BEST:: SOT 57541 SOS 31937 HAS SOPS 16841 HAS SOUS 14957 HAS SOUPS 12849 WITH SCORE 12880.937
AT ITER 810 NEW BEST:: SOT 57544 SOS 31931 HAS SOPS 16835 HAS SOUS 14954 HAS SOUPS 12846 WITH SCORE 12877.931
AT ITER 812 NEW BEST:: SOT 57531 SOS 31913 HAS SOPS 16773 HAS SOUS 14892 HAS SOUPS 12784 WITH SCORE 12815.913
AT ITER 815 NEW BEST:: SOT 57528 SOS 31808 HAS SOPS 16668 HAS SOUS 14888 HAS SOUPS 12780 WITH SCORE 12811.808
AT ITER 828 NEW BEST:: SOT 57545 SOS 31816 HAS SOPS 16598 HAS SOUS 14885 HAS SOUPS 12762 WITH SCORE 12793.816
AT ITER 829 NEW BEST:: SOT 57503 SOS 31774 HAS SOPS 16580 HAS SOUS 14909 HAS SOUPS 12762 WITH SCORE 12793.774
AT ITER 852 NEW BEST:: SOT 57503 SOS 31769 HAS SOPS 16570 HAS SOUS 14904 HAS SOUPS 12757 WITH SCORE 12788.769
AT ITER 859 NEW BEST:: SOT 57506 SOS 31676 HAS SOPS 16573 HAS SOUS 14869 HAS SOUPS 12730 WITH SCORE 12761.676
AT ITER 870 NEW BEST:: SOT 57506 SOS 31672 HAS SOPS 16565 HAS SOUS 14861 HAS SOUPS 12722 WITH SCORE 12753.672
AT ITER 874 NEW BEST:: SOT 57506 SOS 31650 HAS SOPS 16543 HAS SOUS 14861 HAS SOUPS 12722 WITH SCORE 12753.65
AT ITER 878 NEW BEST:: SOT 57433 SOS 31572 HAS SOPS 16465 HAS SOUS 14847 HAS SOUPS 12708 WITH SCORE 12739.572
AT ITER 891 NEW BEST:: SOT 57419 SOS 31558 HAS SOPS 16451 HAS SOUS 14821 HAS SOUPS 12680 WITH SCORE 12711.558
AT ITER 896 NEW BEST:: SOT 57517 SOS 29946 HAS SOPS 16583 HAS SOUS 14730 HAS SOUPS 12640 WITH SCORE 12669.946
AT ITER 899 NEW BEST:: SOT 57459 SOS 29888 HAS SOPS 16539 HAS SOUS 14669 HAS SOUPS 12579 WITH SCORE 12608.888
AT ITER 901 NEW BEST:: SOT 57459 SOS 29827 HAS SOPS 16478 HAS SOUS 14650 HAS SOUPS 12560 WITH SCORE 12589.827
AT ITER 921 NEW BEST:: SOT 57466 SOS 29803 HAS SOPS 16436 HAS SOUS 14646 HAS SOUPS 12556 WITH SCORE 12585.803
AT ITER 931 NEW BEST:: SOT 57447 SOS 29738 HAS SOPS 16419 HAS SOUS 14633 HAS SOUPS 12540 WITH SCORE 12569.738
AT ITER 937 NEW BEST:: SOT 57486 SOS 29681 HAS SOPS 16334 HAS SOUS 14607 HAS SOUPS 12514 WITH SCORE 12543.681
AT ITER 945 NEW BEST:: SOT 57462 SOS 29661 HAS SOPS 16314 HAS SOUS 14589 HAS SOUPS 12496 WITH SCORE 12525.661
AT ITER 971 NEW BEST:: SOT 57462 SOS 29654 HAS SOPS 16307 HAS SOUS 14584 HAS SOUPS 12491 WITH SCORE 12520.654
AT ITER 979 NEW BEST:: SOT 57389 SOS 29553 HAS SOPS 16206 HAS SOUS 14483 HAS SOUPS 12390 WITH SCORE 12419.553
AT ITER 985 NEW BEST:: SOT 57423 SOS 29407 HAS SOPS 15893 HAS SOUS 14456 HAS SOUPS 12363 WITH SCORE 12392.407
AT ITER 995 NEW BEST:: SOT 57422 SOS 29406 HAS SOPS 15892 HAS SOUS 14455 HAS SOUPS 12362 WITH SCORE 12391.406
AT ITER 1011 NEW BEST:: SOT 57415 SOS 29354 HAS SOPS 15840 HAS SOUS 14441 HAS SOUPS 12348 WITH SCORE 12377.354
AT ITER 1012 NEW BEST:: SOT 57415 SOS 29507 HAS SOPS 15992 HAS SOUS 14439 HAS SOUPS 12346 WITH SCORE 12375.507
AT ITER 1037 NEW BEST:: SOT 57412 SOS 29504 HAS SOPS 15992 HAS SOUS 14436 HAS SOUPS 12346 WITH SCORE 12375.504
AT ITER 1059 NEW BEST:: SOT 57410 SOS 29502 HAS SOPS 15992 HAS SOUS 14436 HAS SOUPS 12346 WITH SCORE 12375.502
AT ITER 1067 NEW BEST:: SOT 57415 SOS 29485 HAS SOPS 15973 HAS SOUS 14410 HAS SOUPS 12327 WITH SCORE 12356.485
AT ITER 1076 NEW BEST:: SOT 57409 SOS 29541 HAS SOPS 16029 HAS SOUS 14398 HAS SOUPS 12315 WITH SCORE 12344.541
AT ITER 1091 NEW BEST:: SOT 57398 SOS 29309 HAS SOPS 16018 HAS SOUS 14351 HAS SOUPS 12286 WITH SCORE 12315.309
AT ITER 1093 NEW BEST:: SOT 57359 SOS 29272 HAS SOPS 16018 HAS SOUS 14351 HAS SOUPS 12286 WITH SCORE 12315.272
AT ITER 1100 NEW BEST:: SOT 57355 SOS 29272 HAS SOPS 16018 HAS SOUS 14345 HAS SOUPS 12280 WITH SCORE 12309.272
AT ITER 1102 NEW BEST:: SOT 57357 SOS 29274 HAS SOPS 16016 HAS SOUS 14343 HAS SOUPS 12278 WITH SCORE 12307.274
AT ITER 1103 NEW BEST:: SOT 57354 SOS 29393 HAS SOPS 15990 HAS SOUS 14375 HAS SOUPS 12264 WITH SCORE 12293.393
AT ITER 1104 NEW BEST:: SOT 57343 SOS 29382 HAS SOPS 15990 HAS SOUS 14345 HAS SOUPS 12242 WITH SCORE 12271.382
AT ITER 1111 NEW BEST:: SOT 57370 SOS 29272 HAS SOPS 15994 HAS SOUS 14298 HAS SOUPS 12213 WITH SCORE 12242.272
AT ITER 1132 NEW BEST:: SOT 57358 SOS 29256 HAS SOPS 15991 HAS SOUS 14299 HAS SOUPS 12210 WITH SCORE 12239.256
AT ITER 1136 NEW BEST:: SOT 57352 SOS 29250 HAS SOPS 15980 HAS SOUS 14288 HAS SOUPS 12199 WITH SCORE 12228.25
AT ITER 1137 NEW BEST:: SOT 57327 SOS 29207 HAS SOPS 15937 HAS SOUS 14250 HAS SOUPS 12161 WITH SCORE 12190.207
AT ITER 1154 NEW BEST:: SOT 57329 SOS 29216 HAS SOPS 15932 HAS SOUS 14245 HAS SOUPS 12156 WITH SCORE 12185.216
AT ITER 1155 NEW BEST:: SOT 57291 SOS 29095 HAS SOPS 15856 HAS SOUS 14169 HAS SOUPS 12080 WITH SCORE 12109.095
AT ITER 1160 NEW BEST:: SOT 57171 SOS 28963 HAS SOPS 16012 HAS SOUS 14157 HAS SOUPS 12068 WITH SCORE 12096.963
AT ITER 1181 NEW BEST:: SOT 57173 SOS 28965 HAS SOPS 16016 HAS SOUS 14152 HAS SOUPS 12064 WITH SCORE 12092.965
AT ITER 1182 NEW BEST:: SOT 57113 SOS 29017 HAS SOPS 16013 HAS SOUS 14211 HAS SOUPS 12056 WITH SCORE 12085.017
AT ITER 1193 NEW BEST:: SOT 57107 SOS 29018 HAS SOPS 16001 HAS SOUS 14211 HAS SOUPS 12044 WITH SCORE 12073.018
AT ITER 1204 NEW BEST:: SOT 57184 SOS 29145 HAS SOPS 15937 HAS SOUS 13986 HAS SOUPS 11819 WITH SCORE 11848.145
AT ITER 1233 NEW BEST:: SOT 57171 SOS 29194 HAS SOPS 15920 HAS SOUS 13992 HAS SOUPS 11814 WITH SCORE 11843.194
AT ITER 1255 NEW BEST:: SOT 57169 SOS 29194 HAS SOPS 15920 HAS SOUS 13988 HAS SOUPS 11810 WITH SCORE 11839.194
AT ITER 1273 NEW BEST:: SOT 57098 SOS 29090 HAS SOPS 15814 HAS SOUS 13893 HAS SOUPS 11715 WITH SCORE 11744.09
AT ITER 1282 NEW BEST:: SOT 57154 SOS 29143 HAS SOPS 15878 HAS SOUS 13886 HAS SOUPS 11708 WITH SCORE 11737.143
AT ITER 1295 NEW BEST:: SOT 57142 SOS 29134 HAS SOPS 15874 HAS SOUS 13882 HAS SOUPS 11704 WITH SCORE 11733.134
AT ITER 1301 NEW BEST:: SOT 57140 SOS 29159 HAS SOPS 15872 HAS SOUS 13880 HAS SOUPS 11702 WITH SCORE 11731.159
AT ITER 1356 NEW BEST:: SOT 57163 SOS 29197 HAS SOPS 15849 HAS SOUS 13857 HAS SOUPS 11679 WITH SCORE 11708.197
AT ITER 1358 NEW BEST:: SOT 57161 SOS 29195 HAS SOPS 15845 HAS SOUS 13850 HAS SOUPS 11675 WITH SCORE 11704.195
AT ITER 1399 NEW BEST:: SOT 57161 SOS 29161 HAS SOPS 15811 HAS SOUS 13850 HAS SOUPS 11675 WITH SCORE 11704.161
AT ITER 1408 NEW BEST:: SOT 57187 SOS 29186 HAS SOPS 15785 HAS SOUS 13824 HAS SOUPS 11649 WITH SCORE 11678.186
AT ITER 1417 NEW BEST:: SOT 57187 SOS 29172 HAS SOPS 15785 HAS SOUS 13810 HAS SOUPS 11649 WITH SCORE 11678.172
AT ITER 1441 NEW BEST:: SOT 57184 SOS 29169 HAS SOPS 15782 HAS SOUS 13804 HAS SOUPS 11643 WITH SCORE 11672.169
AT ITER 1455 NEW BEST:: SOT 57179 SOS 29169 HAS SOPS 15772 HAS SOUS 13794 HAS SOUPS 11633 WITH SCORE 11662.169
AT ITER 1459 NEW BEST:: SOT 57171 SOS 29161 HAS SOPS 15769 HAS SOUS 13804 HAS SOUPS 11630 WITH SCORE 11659.161
AT ITER 1472 NEW BEST:: SOT 57171 SOS 29138 HAS SOPS 15746 HAS SOUS 13804 HAS SOUPS 11630 WITH SCORE 11659.138
AT ITER 1546 NEW BEST:: SOT 57290 SOS 29896 HAS SOPS 15729 HAS SOUS 13818 HAS SOUPS 11549 WITH SCORE 11578.896
AT ITER 1548 NEW BEST:: SOT 57282 SOS 29885 HAS SOPS 15710 HAS SOUS 13799 HAS SOUPS 11530 WITH SCORE 11559.885
AT ITER 1561 NEW BEST:: SOT 57302 SOS 30612 HAS SOPS 15641 HAS SOUS 13901 HAS SOUPS 11474 WITH SCORE 11504.612
AT ITER 1571 NEW BEST:: SOT 57339 SOS 30510 HAS SOPS 15666 HAS SOUS 13864 HAS SOUPS 11454 WITH SCORE 11484.51
AT ITER 1577 NEW BEST:: SOT 57353 SOS 30524 HAS SOPS 15662 HAS SOUS 13861 HAS SOUPS 11450 WITH SCORE 11480.524
AT ITER 1617 NEW BEST:: SOT 57179 SOS 30334 HAS SOPS 15490 HAS SOUS 13849 HAS SOUPS 11438 WITH SCORE 11468.334
AT ITER 1622 NEW BEST:: SOT 57159 SOS 30314 HAS SOPS 15486 HAS SOUS 13845 HAS SOUPS 11434 WITH SCORE 11464.314
AT ITER 1625 NEW BEST:: SOT 57179 SOS 30385 HAS SOPS 15475 HAS SOUS 13927 HAS SOUPS 11423 WITH SCORE 11453.385
AT ITER 1645 NEW BEST:: SOT 57102 SOS 30299 HAS SOPS 15384 HAS SOUS 13890 HAS SOUPS 11386 WITH SCORE 11416.299
AT ITER 1654 NEW BEST:: SOT 57102 SOS 30052 HAS SOPS 15399 HAS SOUS 13873 HAS SOUPS 11386 WITH SCORE 11416.052
AT ITER 1661 NEW BEST:: SOT 57104 SOS 30020 HAS SOPS 15403 HAS SOUS 13867 HAS SOUPS 11383 WITH SCORE 11413.02
AT ITER 1667 NEW BEST:: SOT 57089 SOS 30003 HAS SOPS 15387 HAS SOUS 13851 HAS SOUPS 11367 WITH SCORE 11397.003
AT ITER 1681 NEW BEST:: SOT 57065 SOS 29973 HAS SOPS 15351 HAS SOUS 13833 HAS SOUPS 11349 WITH SCORE 11378.973
AT ITER 1683 NEW BEST:: SOT 57046 SOS 29954 HAS SOPS 15351 HAS SOUS 13833 HAS SOUPS 11349 WITH SCORE 11378.954
AT ITER 1717 NEW BEST:: SOT 57046 SOS 29928 HAS SOPS 15325 HAS SOUS 13831 HAS SOUPS 11347 WITH SCORE 11376.928
AT ITER 1719 NEW BEST:: SOT 57042 SOS 29922 HAS SOPS 15321 HAS SOUS 13827 HAS SOUPS 11343 WITH SCORE 11372.922
AT ITER 1720 NEW BEST:: SOT 57054 SOS 29907 HAS SOPS 15267 HAS SOUS 13827 HAS SOUPS 11343 WITH SCORE 11372.907
AT ITER 1768 NEW BEST:: SOT 57041 SOS 29885 HAS SOPS 15239 HAS SOUS 13801 HAS SOUPS 11317 WITH SCORE 11346.885
AT ITER 1770 NEW BEST:: SOT 57033 SOS 29877 HAS SOPS 15223 HAS SOUS 13785 HAS SOUPS 11301 WITH SCORE 11330.877
AT ITER 1772 NEW BEST:: SOT 57032 SOS 29874 HAS SOPS 15220 HAS SOUS 13783 HAS SOUPS 11299 WITH SCORE 11328.874
AT ITER 1788 NEW BEST:: SOT 56942 SOS 30108 HAS SOPS 15131 HAS SOUS 13809 HAS SOUPS 11297 WITH SCORE 11327.108
AT ITER 1803 NEW BEST:: SOT 56938 SOS 30104 HAS SOPS 15071 HAS SOUS 13801 HAS SOUPS 11289 WITH SCORE 11319.104
AT ITER 1816 NEW BEST:: SOT 56928 SOS 30053 HAS SOPS 15020 HAS SOUS 13795 HAS SOUPS 11283 WITH SCORE 11313.053
AT ITER 1835 NEW BEST:: SOT 56915 SOS 30063 HAS SOPS 15140 HAS SOUS 13788 HAS SOUPS 11276 WITH SCORE 11306.063
AT ITER 1837 NEW BEST:: SOT 56919 SOS 30067 HAS SOPS 15144 HAS SOUS 13787 HAS SOUPS 11275 WITH SCORE 11305.067
AT ITER 1857 NEW BEST:: SOT 56838 SOS 29967 HAS SOPS 14920 HAS SOUS 13625 HAS SOUPS 11051 WITH SCORE 11080.967
AT ITER 1858 NEW BEST:: SOT 56836 SOS 29963 HAS SOPS 14916 HAS SOUS 13621 HAS SOUPS 11047 WITH SCORE 11076.963
AT ITER 1865 NEW BEST:: SOT 56816 SOS 29875 HAS SOPS 14828 HAS SOUS 13620 HAS SOUPS 11046 WITH SCORE 11075.875
AT ITER 1871 NEW BEST:: SOT 56808 SOS 29795 HAS SOPS 14820 HAS SOUS 13596 HAS SOUPS 11038 WITH SCORE 11067.795
AT ITER 1905 NEW BEST:: SOT 56811 SOS 29798 HAS SOPS 14792 HAS SOUS 13585 HAS SOUPS 11027 WITH SCORE 11056.798
AT ITER 1912 NEW BEST:: SOT 56796 SOS 29718 HAS SOPS 14635 HAS SOUS 13522 HAS SOUPS 10964 WITH SCORE 10993.718
AT ITER 1919 NEW BEST:: SOT 56796 SOS 29718 HAS SOPS 14635 HAS SOUS 13514 HAS SOUPS 10956 WITH SCORE 10985.718
AT ITER 1984 NEW BEST:: SOT 56791 SOS 29713 HAS SOPS 14635 HAS SOUS 13514 HAS SOUPS 10956 WITH SCORE 10985.713
AT ITER 1987 NEW BEST:: SOT 56806 SOS 29728 HAS SOPS 14651 HAS SOUS 13498 HAS SOUPS 10940 WITH SCORE 10969.728
AT ITER 2009 NEW BEST:: SOT 56801 SOS 29723 HAS SOPS 14641 HAS SOUS 13488 HAS SOUPS 10930 WITH SCORE 10959.723
AT ITER 2037 NEW BEST:: SOT 56783 SOS 29711 HAS SOPS 14554 HAS SOUS 13401 HAS SOUPS 10843 WITH SCORE 10872.711
AT ITER 2051 NEW BEST:: SOT 56819 SOS 29747 HAS SOPS 14578 HAS SOUS 13389 HAS SOUPS 10831 WITH SCORE 10860.747
AT ITER 2067 NEW BEST:: SOT 56819 SOS 29750 HAS SOPS 14579 HAS SOUS 13387 HAS SOUPS 10829 WITH SCORE 10858.75
AT ITER 2068 NEW BEST:: SOT 56974 SOS 29526 HAS SOPS 14286 HAS SOUS 13353 HAS SOUPS 10795 WITH SCORE 10824.526
AT ITER 2072 NEW BEST:: SOT 56979 SOS 29518 HAS SOPS 14289 HAS SOUS 13352 HAS SOUPS 10794 WITH SCORE 10823.518
AT ITER 2101 NEW BEST:: SOT 56969 SOS 29490 HAS SOPS 14287 HAS SOUS 13350 HAS SOUPS 10792 WITH SCORE 10821.49
AT ITER 2108 NEW BEST:: SOT 56998 SOS 29518 HAS SOPS 14285 HAS SOUS 13348 HAS SOUPS 10790 WITH SCORE 10819.518
AT ITER 2147 NEW BEST:: SOT 56993 SOS 29512 HAS SOPS 14275 HAS SOUS 13338 HAS SOUPS 10780 WITH SCORE 10809.512
AT ITER 2151 NEW BEST:: SOT 56949 SOS 29468 HAS SOPS 14231 HAS SOUS 13334 HAS SOUPS 10776 WITH SCORE 10805.468
AT ITER 2153 NEW BEST:: SOT 56895 SOS 29438 HAS SOPS 14145 HAS SOUS 13319 HAS SOUPS 10761 WITH SCORE 10790.438
AT ITER 2174 NEW BEST:: SOT 56888 SOS 29417 HAS SOPS 14124 HAS SOUS 13305 HAS SOUPS 10747 WITH SCORE 10776.417
AT ITER 2183 NEW BEST:: SOT 56879 SOS 29408 HAS SOPS 14106 HAS SOUS 13287 HAS SOUPS 10729 WITH SCORE 10758.408
AT ITER 2213 NEW BEST:: SOT 56909 SOS 29438 HAS SOPS 14136 HAS SOUS 13267 HAS SOUPS 10709 WITH SCORE 10738.438
AT ITER 2221 NEW BEST:: SOT 56900 SOS 29894 HAS SOPS 14199 HAS SOUS 13259 HAS SOUPS 10692 WITH SCORE 10721.894
AT ITER 2234 NEW BEST:: SOT 56847 SOS 29794 HAS SOPS 14099 HAS SOUS 13212 HAS SOUPS 10638 WITH SCORE 10667.794
AT ITER 2241 NEW BEST:: SOT 56847 SOS 29770 HAS SOPS 14075 HAS SOUS 13212 HAS SOUPS 10638 WITH SCORE 10667.77
AT ITER 2278 NEW BEST:: SOT 56855 SOS 29778 HAS SOPS 14059 HAS SOUS 13196 HAS SOUPS 10622 WITH SCORE 10651.778
AT ITER 2312 NEW BEST:: SOT 56891 SOS 29814 HAS SOPS 14065 HAS SOUS 13175 HAS SOUPS 10586 WITH SCORE 10615.814
AT ITER 2315 NEW BEST:: SOT 56896 SOS 29819 HAS SOPS 14052 HAS SOUS 13172 HAS SOUPS 10583 WITH SCORE 10612.819
AT ITER 2325 NEW BEST:: SOT 56906 SOS 29829 HAS SOPS 14072 HAS SOUS 13170 HAS SOUPS 10581 WITH SCORE 10610.829
AT ITER 2358 NEW BEST:: SOT 56713 SOS 29173 HAS SOPS 13897 HAS SOUS 13105 HAS SOUPS 10551 WITH SCORE 10580.173
AT ITER 2371 NEW BEST:: SOT 56713 SOS 29178 HAS SOPS 13902 HAS SOUS 13091 HAS SOUPS 10537 WITH SCORE 10566.178
AT ITER 2378 NEW BEST:: SOT 56671 SOS 29136 HAS SOPS 13818 HAS SOUS 13050 HAS SOUPS 10453 WITH SCORE 10482.136
AT ITER 2393 NEW BEST:: SOT 56642 SOS 29083 HAS SOPS 13734 HAS SOUS 13041 HAS SOUPS 10444 WITH SCORE 10473.083
AT ITER 2406 NEW BEST:: SOT 56630 SOS 29071 HAS SOPS 13734 HAS SOUS 13041 HAS SOUPS 10444 WITH SCORE 10473.071
AT ITER 2417 NEW BEST:: SOT 56609 SOS 29038 HAS SOPS 13692 HAS SOUS 13019 HAS SOUPS 10422 WITH SCORE 10451.038
AT ITER 2428 NEW BEST:: SOT 56589 SOS 29074 HAS SOPS 13660 HAS SOUS 12996 HAS SOUPS 10394 WITH SCORE 10423.074
AT ITER 2443 NEW BEST:: SOT 56588 SOS 29074 HAS SOPS 13660 HAS SOUS 12994 HAS SOUPS 10392 WITH SCORE 10421.074
AT ITER 2479 NEW BEST:: SOT 56585 SOS 29074 HAS SOPS 13660 HAS SOUS 12991 HAS SOUPS 10389 WITH SCORE 10418.074
AT ITER 2496 NEW BEST:: SOT 56580 SOS 29154 HAS SOPS 13650 HAS SOUS 13000 HAS SOUPS 10379 WITH SCORE 10408.154
AT ITER 2511 NEW BEST:: SOT 56576 SOS 29178 HAS SOPS 13674 HAS SOUS 12999 HAS SOUPS 10378 WITH SCORE 10407.178
AT ITER 2513 NEW BEST:: SOT 56555 SOS 29157 HAS SOPS 13656 HAS SOUS 12986 HAS SOUPS 10360 WITH SCORE 10389.157
AT ITER 2620 NEW BEST:: SOT 56565 SOS 29165 HAS SOPS 13664 HAS SOUS 12983 HAS SOUPS 10357 WITH SCORE 10386.165
AT ITER 2629 NEW BEST:: SOT 56358 SOS 28955 HAS SOPS 13562 HAS SOUS 12925 HAS SOUPS 10299 WITH SCORE 10327.955
AT ITER 2637 NEW BEST:: SOT 56404 SOS 29014 HAS SOPS 13582 HAS SOUS 12912 HAS SOUPS 10286 WITH SCORE 10315.014
AT ITER 2640 NEW BEST:: SOT 56400 SOS 29014 HAS SOPS 13582 HAS SOUS 12904 HAS SOUPS 10278 WITH SCORE 10307.014
AT ITER 2658 NEW BEST:: SOT 56381 SOS 28957 HAS SOPS 13506 HAS SOUS 12885 HAS SOUPS 10259 WITH SCORE 10287.957
AT ITER 2688 NEW BEST:: SOT 56392 SOS 28968 HAS SOPS 13517 HAS SOUS 12874 HAS SOUPS 10248 WITH SCORE 10276.968
AT ITER 2735 NEW BEST:: SOT 56352 SOS 28922 HAS SOPS 13477 HAS SOUS 12854 HAS SOUPS 10228 WITH SCORE 10256.922
AT ITER 2744 NEW BEST:: SOT 56360 SOS 28944 HAS SOPS 13433 HAS SOUS 12810 HAS SOUPS 10184 WITH SCORE 10212.944
AT ITER 2752 NEW BEST:: SOT 56383 SOS 29759 HAS SOPS 13441 HAS SOUS 12855 HAS SOUPS 10178 WITH SCORE 10207.759
AT ITER 2753 NEW BEST:: SOT 56327 SOS 29607 HAS SOPS 13061 HAS SOUS 12704 HAS SOUPS 9999 WITH SCORE 10028.607
AT ITER 2758 NEW BEST:: SOT 56318 SOS 29589 HAS SOPS 13043 HAS SOUS 12686 HAS SOUPS 9981 WITH SCORE 10010.589
AT ITER 2763 NEW BEST:: SOT 56318 SOS 29564 HAS SOPS 13018 HAS SOUS 12686 HAS SOUPS 9981 WITH SCORE 10010.564
AT ITER 2769 NEW BEST:: SOT 56312 SOS 29638 HAS SOPS 13009 HAS SOUS 12675 HAS SOUPS 9963 WITH SCORE 9992.638
AT ITER 2776 NEW BEST:: SOT 56292 SOS 29618 HAS SOPS 13005 HAS SOUS 12667 HAS SOUPS 9955 WITH SCORE 9984.618
AT ITER 2786 NEW BEST:: SOT 56291 SOS 29618 HAS SOPS 13004 HAS SOUS 12666 HAS SOUPS 9954 WITH SCORE 9983.618
AT ITER 2806 NEW BEST:: SOT 56288 SOS 29620 HAS SOPS 13003 HAS SOUS 12665 HAS SOUPS 9953 WITH SCORE 9982.62
AT ITER 2813 NEW BEST:: SOT 56282 SOS 29614 HAS SOPS 12997 HAS SOUS 12659 HAS SOUPS 9947 WITH SCORE 9976.614
AT ITER 2854 NEW BEST:: SOT 56281 SOS 29613 HAS SOPS 12996 HAS SOUS 12653 HAS SOUPS 9941 WITH SCORE 9970.613
AT ITER 2860 NEW BEST:: SOT 56283 SOS 29591 HAS SOPS 12979 HAS SOUS 12636 HAS SOUPS 9924 WITH SCORE 9953.591
AT ITER 2871 NEW BEST:: SOT 56279 SOS 29584 HAS SOPS 12976 HAS SOUS 12633 HAS SOUPS 9921 WITH SCORE 9950.584
AT ITER 2921 NEW BEST:: SOT 56352 SOS 29610 HAS SOPS 13002 HAS SOUS 12632 HAS SOUPS 9920 WITH SCORE 9949.61
AT ITER 2928 NEW BEST:: SOT 56345 SOS 29174 HAS SOPS 12916 HAS SOUS 12607 HAS SOUPS 9903 WITH SCORE 9932.174
AT ITER 2932 NEW BEST:: SOT 56345 SOS 29173 HAS SOPS 12915 HAS SOUS 12607 HAS SOUPS 9903 WITH SCORE 9932.173
AT ITER 2950 NEW BEST:: SOT 56338 SOS 29159 HAS SOPS 12875 HAS SOUS 12593 HAS SOUPS 9863 WITH SCORE 9892.159
AT ITER 2985 NEW BEST:: SOT 56336 SOS 29157 HAS SOPS 12873 HAS SOUS 12593 HAS SOUPS 9863 WITH SCORE 9892.157
AT ITER 2989 NEW BEST:: SOT 56335 SOS 29156 HAS SOPS 12872 HAS SOUS 12593 HAS SOUPS 9863 WITH SCORE 9892.156
AT ITER 3038 NEW BEST:: SOT 56339 SOS 29055 HAS SOPS 12819 HAS SOUS 12543 HAS SOUPS 9845 WITH SCORE 9874.055
AT ITER 3104 NEW BEST:: SOT 56339 SOS 29039 HAS SOPS 12803 HAS SOUS 12535 HAS SOUPS 9837 WITH SCORE 9866.039
AT ITER 3105 NEW BEST:: SOT 56331 SOS 29031 HAS SOPS 12795 HAS SOUS 12533 HAS SOUPS 9835 WITH SCORE 9864.031
AT ITER 3167 NEW BEST:: SOT 56327 SOS 29027 HAS SOPS 12791 HAS SOUS 12529 HAS SOUPS 9831 WITH SCORE 9860.027
AT ITER 3169 NEW BEST:: SOT 56324 SOS 29085 HAS SOPS 12785 HAS SOUS 12523 HAS SOUPS 9825 WITH SCORE 9854.085
AT ITER 3171 NEW BEST:: SOT 56321 SOS 29082 HAS SOPS 12781 HAS SOUS 12520 HAS SOUPS 9821 WITH SCORE 9850.082
AT ITER 3224 NEW BEST:: SOT 56321 SOS 29089 HAS SOPS 12767 HAS SOUS 12506 HAS SOUPS 9807 WITH SCORE 9836.089
AT ITER 3273 NEW BEST:: SOT 56321 SOS 29081 HAS SOPS 12759 HAS SOUS 12502 HAS SOUPS 9803 WITH SCORE 9832.081
AT ITER 3281 NEW BEST:: SOT 56177 SOS 28972 HAS SOPS 12689 HAS SOUS 12408 HAS SOUPS 9709 WITH SCORE 9737.972
AT ITER 3326 NEW BEST:: SOT 56177 SOS 28974 HAS SOPS 12690 HAS SOUS 12407 HAS SOUPS 9708 WITH SCORE 9736.974
AT ITER 3405 NEW BEST:: SOT 56177 SOS 28968 HAS SOPS 12684 HAS SOUS 12405 HAS SOUPS 9706 WITH SCORE 9734.968
AT ITER 3411 NEW BEST:: SOT 56175 SOS 28972 HAS SOPS 12678 HAS SOUS 12403 HAS SOUPS 9700 WITH SCORE 9728.972
AT ITER 3449 NEW BEST:: SOT 56104 SOS 28937 HAS SOPS 12643 HAS SOUS 12387 HAS SOUPS 9684 WITH SCORE 9712.937
AT ITER 3475 NEW BEST:: SOT 56081 SOS 28906 HAS SOPS 12612 HAS SOUS 12387 HAS SOUPS 9684 WITH SCORE 9712.906
AT ITER 3485 NEW BEST:: SOT 56084 SOS 28903 HAS SOPS 12609 HAS SOUS 12381 HAS SOUPS 9678 WITH SCORE 9706.903
AT ITER 3490 NEW BEST:: SOT 56099 SOS 28918 HAS SOPS 12594 HAS SOUS 12366 HAS SOUPS 9663 WITH SCORE 9691.918
AT ITER 3517 NEW BEST:: SOT 56104 SOS 28884 HAS SOPS 12560 HAS SOUS 12365 HAS SOUPS 9662 WITH SCORE 9690.884
AT ITER 3539 NEW BEST:: SOT 56078 SOS 28852 HAS SOPS 12520 HAS SOUS 12360 HAS SOUPS 9654 WITH SCORE 9682.852
AT ITER 3598 NEW BEST:: SOT 56080 SOS 28836 HAS SOPS 12488 HAS SOUS 12346 HAS SOUPS 9640 WITH SCORE 9668.836
AT ITER 3601 NEW BEST:: SOT 56084 SOS 28840 HAS SOPS 12482 HAS SOUS 12340 HAS SOUPS 9634 WITH SCORE 9662.84
AT ITER 3608 NEW BEST:: SOT 56077 SOS 28855 HAS SOPS 12529 HAS SOUS 12333 HAS SOUPS 9627 WITH SCORE 9655.855
AT ITER 3619 NEW BEST:: SOT 56058 SOS 28835 HAS SOPS 12524 HAS SOUS 12322 HAS SOUPS 9616 WITH SCORE 9644.835
AT ITER 3640 NEW BEST:: SOT 56010 SOS 29195 HAS SOPS 12460 HAS SOUS 12284 HAS SOUPS 9558 WITH SCORE 9587.195
AT ITER 3660 NEW BEST:: SOT 56008 SOS 29193 HAS SOPS 12458 HAS SOUS 12282 HAS SOUPS 9556 WITH SCORE 9585.193
AT ITER 3706 NEW BEST:: SOT 55996 SOS 29161 HAS SOPS 12414 HAS SOUS 12276 HAS SOUPS 9549 WITH SCORE 9578.161
AT ITER 3709 NEW BEST:: SOT 55973 SOS 29115 HAS SOPS 12368 HAS SOUS 12253 HAS SOUPS 9526 WITH SCORE 9555.115
AT ITER 3756 NEW BEST:: SOT 55951 SOS 29093 HAS SOPS 12324 HAS SOUS 12223 HAS SOUPS 9482 WITH SCORE 9511.093
AT ITER 3786 NEW BEST:: SOT 55936 SOS 29005 HAS SOPS 12233 HAS SOUS 12223 HAS SOUPS 9482 WITH SCORE 9511.005
AT ITER 3808 NEW BEST:: SOT 55933 SOS 29002 HAS SOPS 12231 HAS SOUS 12221 HAS SOUPS 9480 WITH SCORE 9509.002
AT ITER 3891 NEW BEST:: SOT 55955 SOS 28904 HAS SOPS 12249 HAS SOUS 12211 HAS SOUPS 9479 WITH SCORE 9507.904
AT ITER 3903 NEW BEST:: SOT 55952 SOS 28901 HAS SOPS 12241 HAS SOUS 12195 HAS SOUPS 9463 WITH SCORE 9491.901
AT ITER 3909 NEW BEST:: SOT 55946 SOS 28895 HAS SOPS 12233 HAS SOUS 12187 HAS SOUPS 9455 WITH SCORE 9483.895
AT ITER 3929 NEW BEST:: SOT 55940 SOS 28976 HAS SOPS 12225 HAS SOUS 12188 HAS SOUPS 9451 WITH SCORE 9479.976
AT ITER 3945 NEW BEST:: SOT 55857 SOS 28910 HAS SOPS 12178 HAS SOUS 12117 HAS SOUPS 9380 WITH SCORE 9408.91
AT ITER 3954 NEW BEST:: SOT 55856 SOS 28907 HAS SOPS 12175 HAS SOUS 12115 HAS SOUPS 9378 WITH SCORE 9406.907
AT ITER 3958 NEW BEST:: SOT 55848 SOS 28870 HAS SOPS 12043 HAS SOUS 12070 HAS SOUPS 9333 WITH SCORE 9361.87
AT ITER 3968 NEW BEST:: SOT 55801 SOS 28828 HAS SOPS 12001 HAS SOUS 12028 HAS SOUPS 9291 WITH SCORE 9319.828
AT ITER 4108 NEW BEST:: SOT 55818 SOS 28837 HAS SOPS 12002 HAS SOUS 12025 HAS SOUPS 9288 WITH SCORE 9316.837
AT ITER 4126 NEW BEST:: SOT 55818 SOS 28849 HAS SOPS 12010 HAS SOUS 12021 HAS SOUPS 9284 WITH SCORE 9312.849
AT ITER 4140 NEW BEST:: SOT 55822 SOS 28853 HAS SOPS 11986 HAS SOUS 11997 HAS SOUPS 9260 WITH SCORE 9288.853
AT ITER 4184 NEW BEST:: SOT 55807 SOS 28836 HAS SOPS 11943 HAS SOUS 11967 HAS SOUPS 9230 WITH SCORE 9258.836
AT ITER 4209 NEW BEST:: SOT 55779 SOS 28794 HAS SOPS 11901 HAS SOUS 11925 HAS SOUPS 9188 WITH SCORE 9216.794
AT ITER 4219 NEW BEST:: SOT 55778 SOS 28793 HAS SOPS 11893 HAS SOUS 11920 HAS SOUPS 9183 WITH SCORE 9211.793
AT ITER 4252 NEW BEST:: SOT 55760 SOS 28775 HAS SOPS 11863 HAS SOUS 11890 HAS SOUPS 9153 WITH SCORE 9181.775
AT ITER 4270 NEW BEST:: SOT 55739 SOS 28735 HAS SOPS 11773 HAS SOUS 11872 HAS SOUPS 9135 WITH SCORE 9163.735
AT ITER 4285 NEW BEST:: SOT 55746 SOS 28741 HAS SOPS 11767 HAS SOUS 11866 HAS SOUPS 9129 WITH SCORE 9157.741
AT ITER 4291 NEW BEST:: SOT 55765 SOS 28791 HAS SOPS 11817 HAS SOUS 11865 HAS SOUPS 9128 WITH SCORE 9156.791
AT ITER 4338 NEW BEST:: SOT 55735 SOS 28761 HAS SOPS 11802 HAS SOUS 11862 HAS SOUPS 9125 WITH SCORE 9153.761
AT ITER 4423 NEW BEST:: SOT 55718 SOS 28727 HAS SOPS 11768 HAS SOUS 11828 HAS SOUPS 9091 WITH SCORE 9119.727
AT ITER 4446 NEW BEST:: SOT 55533 SOS 28533 HAS SOPS 11574 HAS SOUS 11666 HAS SOUPS 8929 WITH SCORE 8957.533
AT ITER 4451 NEW BEST:: SOT 55504 SOS 28504 HAS SOPS 11560 HAS SOUS 11652 HAS SOUPS 8915 WITH SCORE 8943.504
AT ITER 4464 NEW BEST:: SOT 55495 SOS 28486 HAS SOPS 11542 HAS SOUS 11649 HAS SOUPS 8912 WITH SCORE 8940.486
AT ITER 4470 NEW BEST:: SOT 55466 SOS 28430 HAS SOPS 11484 HAS SOUS 11591 HAS SOUPS 8854 WITH SCORE 8882.43
AT ITER 4475 NEW BEST:: SOT 55491 SOS 28455 HAS SOPS 11498 HAS SOUS 11573 HAS SOUPS 8836 WITH SCORE 8864.455
AT ITER 4482 NEW BEST:: SOT 55470 SOS 28446 HAS SOPS 11500 HAS SOUS 11564 HAS SOUPS 8836 WITH SCORE 8864.446
AT ITER 4501 NEW BEST:: SOT 55446 SOS 28422 HAS SOPS 11452 HAS SOUS 11516 HAS SOUPS 8788 WITH SCORE 8816.422
AT ITER 4532 NEW BEST:: SOT 55446 SOS 28418 HAS SOPS 11445 HAS SOUS 11514 HAS SOUPS 8781 WITH SCORE 8809.418
AT ITER 4540 NEW BEST:: SOT 55385 SOS 28360 HAS SOPS 11442 HAS SOUS 11512 HAS SOUPS 8778 WITH SCORE 8806.36
AT ITER 4544 NEW BEST:: SOT 55413 SOS 28388 HAS SOPS 11458 HAS SOUS 11500 HAS SOUPS 8766 WITH SCORE 8794.388
AT ITER 4553 NEW BEST:: SOT 55411 SOS 28381 HAS SOPS 11448 HAS SOUS 11490 HAS SOUPS 8756 WITH SCORE 8784.381
AT ITER 4594 NEW BEST:: SOT 55424 SOS 28391 HAS SOPS 11439 HAS SOUS 11481 HAS SOUPS 8747 WITH SCORE 8775.391
AT ITER 4616 NEW BEST:: SOT 55407 SOS 28375 HAS SOPS 11417 HAS SOUS 11465 HAS SOUPS 8725 WITH SCORE 8753.375
AT ITER 4636 NEW BEST:: SOT 55405 SOS 28378 HAS SOPS 11413 HAS SOUS 11461 HAS SOUPS 8721 WITH SCORE 8749.378
AT ITER 4643 NEW BEST:: SOT 55404 SOS 28377 HAS SOPS 11412 HAS SOUS 11460 HAS SOUPS 8720 WITH SCORE 8748.377
AT ITER 4650 NEW BEST:: SOT 55389 SOS 28362 HAS SOPS 11412 HAS SOUS 11460 HAS SOUPS 8720 WITH SCORE 8748.362
AT ITER 4749 NEW BEST:: SOT 55386 SOS 28326 HAS SOPS 11376 HAS SOUS 11441 HAS SOUPS 8701 WITH SCORE 8729.326
AT ITER 4755 NEW BEST:: SOT 55386 SOS 28318 HAS SOPS 11376 HAS SOUS 11439 HAS SOUPS 8701 WITH SCORE 8729.318
AT ITER 4761 NEW BEST:: SOT 55384 SOS 28314 HAS SOPS 11368 HAS SOUS 11435 HAS SOUPS 8693 WITH SCORE 8721.314
AT ITER 4779 NEW BEST:: SOT 55386 SOS 28318 HAS SOPS 11372 HAS SOUS 11433 HAS SOUPS 8691 WITH SCORE 8719.318
AT ITER 4816 NEW BEST:: SOT 55384 SOS 28314 HAS SOPS 11370 HAS SOUS 11433 HAS SOUPS 8691 WITH SCORE 8719.314
AT ITER 4819 NEW BEST:: SOT 55384 SOS 28313 HAS SOPS 11369 HAS SOUS 11433 HAS SOUPS 8691 WITH SCORE 8719.313
AT ITER 4846 NEW BEST:: SOT 55380 SOS 28305 HAS SOPS 11361 HAS SOUS 11425 HAS SOUPS 8683 WITH SCORE 8711.305
AT ITER 4921 NEW BEST:: SOT 55379 SOS 28313 HAS SOPS 11369 HAS SOUS 11423 HAS SOUPS 8681 WITH SCORE 8709.313
AT ITER 4950 NEW BEST:: SOT 55367 SOS 28281 HAS SOPS 11345 HAS SOUS 11399 HAS SOUPS 8657 WITH SCORE 8685.281
AT ITER 4978 NEW BEST:: SOT 55341 SOS 28283 HAS SOPS 11287 HAS SOUS 11406 HAS SOUPS 8652 WITH SCORE 8680.283
AT ITER 4994 NEW BEST:: SOT 55348 SOS 28290 HAS SOPS 11275 HAS SOUS 11413 HAS SOUPS 8640 WITH SCORE 8668.29
AT ITER 5053 NEW BEST:: SOT 55320 SOS 28255 HAS SOPS 11240 HAS SOUS 11386 HAS SOUPS 8613 WITH SCORE 8641.255
AT ITER 5125 NEW BEST:: SOT 55331 SOS 28266 HAS SOPS 11222 HAS SOUS 11393 HAS SOUPS 8595 WITH SCORE 8623.266
AT ITER 5156 NEW BEST:: SOT 55330 SOS 28284 HAS SOPS 11240 HAS SOUS 11391 HAS SOUPS 8593 WITH SCORE 8621.284
AT ITER 5192 NEW BEST:: SOT 55334 SOS 28336 HAS SOPS 11242 HAS SOUS 11401 HAS SOUPS 8591 WITH SCORE 8619.336
AT ITER 5199 NEW BEST:: SOT 55375 SOS 28378 HAS SOPS 11212 HAS SOUS 11327 HAS SOUPS 8517 WITH SCORE 8545.378
AT ITER 5232 NEW BEST:: SOT 55370 SOS 28373 HAS SOPS 11202 HAS SOUS 11322 HAS SOUPS 8507 WITH SCORE 8535.373
AT ITER 5237 NEW BEST:: SOT 55371 SOS 28374 HAS SOPS 11200 HAS SOUS 11320 HAS SOUPS 8505 WITH SCORE 8533.374
AT ITER 5253 NEW BEST:: SOT 55370 SOS 28372 HAS SOPS 11198 HAS SOUS 11319 HAS SOUPS 8504 WITH SCORE 8532.372
AT ITER 5258 NEW BEST:: SOT 55361 SOS 28365 HAS SOPS 11191 HAS SOUS 11318 HAS SOUPS 8503 WITH SCORE 8531.365
AT ITER 5265 NEW BEST:: SOT 55358 SOS 28355 HAS SOPS 11177 HAS SOUS 11316 HAS SOUPS 8497 WITH SCORE 8525.355
AT ITER 5283 NEW BEST:: SOT 55357 SOS 28352 HAS SOPS 11174 HAS SOUS 11314 HAS SOUPS 8495 WITH SCORE 8523.352
AT ITER 5313 NEW BEST:: SOT 55352 SOS 28354 HAS SOPS 11171 HAS SOUS 11311 HAS SOUPS 8492 WITH SCORE 8520.354
AT ITER 5337 NEW BEST:: SOT 55327 SOS 28320 HAS SOPS 11153 HAS SOUS 11293 HAS SOUPS 8474 WITH SCORE 8502.32
AT ITER 5391 NEW BEST:: SOT 55319 SOS 28318 HAS SOPS 11149 HAS SOUS 11295 HAS SOUPS 8470 WITH SCORE 8498.318
AT ITER 5422 NEW BEST:: SOT 55334 SOS 28282 HAS SOPS 11164 HAS SOUS 11289 HAS SOUPS 8470 WITH SCORE 8498.282
AT ITER 5493 NEW BEST:: SOT 55334 SOS 28278 HAS SOPS 11164 HAS SOUS 11289 HAS SOUPS 8470 WITH SCORE 8498.278
AT ITER 5536 NEW BEST:: SOT 55338 SOS 28277 HAS SOPS 11163 HAS SOUS 11288 HAS SOUPS 8469 WITH SCORE 8497.277
AT ITER 5582 NEW BEST:: SOT 55337 SOS 28273 HAS SOPS 11159 HAS SOUS 11286 HAS SOUPS 8467 WITH SCORE 8495.273
AT ITER 5583 NEW BEST:: SOT 55335 SOS 28319 HAS SOPS 11162 HAS SOUS 11285 HAS SOUPS 8465 WITH SCORE 8493.319
AT ITER 5588 NEW BEST:: SOT 55333 SOS 28315 HAS SOPS 11158 HAS SOUS 11281 HAS SOUPS 8461 WITH SCORE 8489.315
AT ITER 5670 NEW BEST:: SOT 55337 SOS 28323 HAS SOPS 11156 HAS SOUS 11279 HAS SOUPS 8459 WITH SCORE 8487.323
AT ITER 5680 NEW BEST:: SOT 55352 SOS 28322 HAS SOPS 11110 HAS SOUS 11282 HAS SOUPS 8450 WITH SCORE 8478.322
AT ITER 5703 NEW BEST:: SOT 55349 SOS 28310 HAS SOPS 11098 HAS SOUS 11282 HAS SOUPS 8450 WITH SCORE 8478.31
AT ITER 5760 NEW BEST:: SOT 55404 SOS 28358 HAS SOPS 11139 HAS SOUS 11255 HAS SOUPS 8423 WITH SCORE 8451.358
AT ITER 5844 NEW BEST:: SOT 55375 SOS 28349 HAS SOPS 11096 HAS SOUS 11254 HAS SOUPS 8422 WITH SCORE 8450.349
AT ITER 5861 NEW BEST:: SOT 55367 SOS 28452 HAS SOPS 11089 HAS SOUS 11258 HAS SOUPS 8421 WITH SCORE 8449.452
AT ITER 5890 NEW BEST:: SOT 55365 SOS 28449 HAS SOPS 11085 HAS SOUS 11254 HAS SOUPS 8417 WITH SCORE 8445.449
AT ITER 5986 NEW BEST:: SOT 55380 SOS 28449 HAS SOPS 11085 HAS SOUS 11249 HAS SOUPS 8412 WITH SCORE 8440.449
AT ITER 6010 NEW BEST:: SOT 55356 SOS 28414 HAS SOPS 11037 HAS SOUS 11238 HAS SOUPS 8401 WITH SCORE 8429.414
AT ITER 6029 NEW BEST:: SOT 55291 SOS 28374 HAS SOPS 11016 HAS SOUS 11229 HAS SOUPS 8392 WITH SCORE 8420.374
AT ITER 6044 NEW BEST:: SOT 55288 SOS 28371 HAS SOPS 11013 HAS SOUS 11226 HAS SOUPS 8389 WITH SCORE 8417.371
AT ITER 6049 NEW BEST:: SOT 55276 SOS 28356 HAS SOPS 11001 HAS SOUS 11223 HAS SOUPS 8386 WITH SCORE 8414.356
AT ITER 6063 NEW BEST:: SOT 55266 SOS 28346 HAS SOPS 11001 HAS SOUS 11218 HAS SOUPS 8381 WITH SCORE 8409.346
AT ITER 6177 NEW BEST:: SOT 55263 SOS 28343 HAS SOPS 10995 HAS SOUS 11215 HAS SOUPS 8378 WITH SCORE 8406.343
AT ITER 6274 NEW BEST:: SOT 55290 SOS 28370 HAS SOPS 11007 HAS SOUS 11212 HAS SOUPS 8375 WITH SCORE 8403.37
AT ITER 6293 NEW BEST:: SOT 55297 SOS 28384 HAS SOPS 11021 HAS SOUS 11206 HAS SOUPS 8369 WITH SCORE 8397.384
AT ITER 6329 NEW BEST:: SOT 55294 SOS 28376 HAS SOPS 11010 HAS SOUS 11206 HAS SOUPS 8369 WITH SCORE 8397.376
AT ITER 6343 NEW BEST:: SOT 55293 SOS 28374 HAS SOPS 11008 HAS SOUS 11204 HAS SOUPS 8367 WITH SCORE 8395.374
AT ITER 6353 NEW BEST:: SOT 55285 SOS 28368 HAS SOPS 11002 HAS SOUS 11198 HAS SOUPS 8361 WITH SCORE 8389.368
AT ITER 6397 NEW BEST:: SOT 55281 SOS 28360 HAS SOPS 10994 HAS SOUS 11190 HAS SOUPS 8353 WITH SCORE 8381.36
AT ITER 6499 NEW BEST:: SOT 55272 SOS 28345 HAS SOPS 10976 HAS SOUS 11184 HAS SOUPS 8347 WITH SCORE 8375.345
AT ITER 6534 NEW BEST:: SOT 55256 SOS 28329 HAS SOPS 10976 HAS SOUS 11176 HAS SOUPS 8339 WITH SCORE 8367.329
AT ITER 6541 NEW BEST:: SOT 55235 SOS 28308 HAS SOPS 10945 HAS SOUS 11145 HAS SOUPS 8308 WITH SCORE 8336.308
AT ITER 6620 NEW BEST:: SOT 55225 SOS 28798 HAS SOPS 11005 HAS SOUS 11151 HAS SOUPS 8304 WITH SCORE 8332.798
AT ITER 6634 NEW BEST:: SOT 55243 SOS 28810 HAS SOPS 11012 HAS SOUS 11140 HAS SOUPS 8293 WITH SCORE 8321.81
AT ITER 6858 NEW BEST:: SOT 55242 SOS 28808 HAS SOPS 11010 HAS SOUS 11138 HAS SOUPS 8291 WITH SCORE 8319.808
AT ITER 6889 NEW BEST:: SOT 55240 SOS 28805 HAS SOPS 11009 HAS SOUS 11135 HAS SOUPS 8288 WITH SCORE 8316.805
AT ITER 6897 NEW BEST:: SOT 55203 SOS 28743 HAS SOPS 10985 HAS SOUS 11111 HAS SOUPS 8264 WITH SCORE 8292.743
AT ITER 6914 NEW BEST:: SOT 55190 SOS 28725 HAS SOPS 10981 HAS SOUS 11107 HAS SOUPS 8260 WITH SCORE 8288.725
AT ITER 6958 NEW BEST:: SOT 55185 SOS 28715 HAS SOPS 10971 HAS SOUS 11097 HAS SOUPS 8250 WITH SCORE 8278.715
AT ITER 6972 NEW BEST:: SOT 55177 SOS 28680 HAS SOPS 10955 HAS SOUS 11081 HAS SOUPS 8234 WITH SCORE 8262.68
AT ITER 7013 NEW BEST:: SOT 55173 SOS 28675 HAS SOPS 10953 HAS SOUS 11082 HAS SOUPS 8232 WITH SCORE 8260.675
AT ITER 7049 NEW BEST:: SOT 55174 SOS 28654 HAS SOPS 10950 HAS SOUS 11064 HAS SOUPS 8217 WITH SCORE 8245.654
AT ITER 7096 NEW BEST:: SOT 55178 SOS 28712 HAS SOPS 10952 HAS SOUS 11060 HAS SOUPS 8213 WITH SCORE 8241.712
AT ITER 7100 NEW BEST:: SOT 55174 SOS 28706 HAS SOPS 10950 HAS SOUS 11056 HAS SOUPS 8209 WITH SCORE 8237.706
AT ITER 7129 NEW BEST:: SOT 55182 SOS 28698 HAS SOPS 10958 HAS SOUS 11048 HAS SOUPS 8201 WITH SCORE 8229.698
AT ITER 7184 NEW BEST:: SOT 55180 SOS 28693 HAS SOPS 10953 HAS SOUS 11044 HAS SOUPS 8197 WITH SCORE 8225.693
AT ITER 7227 NEW BEST:: SOT 55185 SOS 28659 HAS SOPS 10961 HAS SOUS 11040 HAS SOUPS 8196 WITH SCORE 8224.659
AT ITER 7290 NEW BEST:: SOT 55180 SOS 28649 HAS SOPS 10951 HAS SOUS 11030 HAS SOUPS 8186 WITH SCORE 8214.649
AT ITER 7393 NEW BEST:: SOT 55183 SOS 28648 HAS SOPS 10950 HAS SOUS 11029 HAS SOUPS 8185 WITH SCORE 8213.648
AT ITER 7397 NEW BEST:: SOT 55142 SOS 28592 HAS SOPS 10898 HAS SOUS 11017 HAS SOUPS 8173 WITH SCORE 8201.592
AT ITER 7417 NEW BEST:: SOT 55137 SOS 28587 HAS SOPS 10891 HAS SOUS 11010 HAS SOUPS 8166 WITH SCORE 8194.587
AT ITER 7423 NEW BEST:: SOT 55138 SOS 28588 HAS SOPS 10887 HAS SOUS 11006 HAS SOUPS 8162 WITH SCORE 8190.588
AT ITER 7431 NEW BEST:: SOT 55138 SOS 28588 HAS SOPS 10886 HAS SOUS 11005 HAS SOUPS 8161 WITH SCORE 8189.588
AT ITER 7443 NEW BEST:: SOT 55071 SOS 28523 HAS SOPS 10824 HAS SOUS 10992 HAS SOUPS 8148 WITH SCORE 8176.523
AT ITER 7481 NEW BEST:: SOT 55069 SOS 28477 HAS SOPS 10820 HAS SOUS 10990 HAS SOUPS 8148 WITH SCORE 8176.477
AT ITER 7490 NEW BEST:: SOT 55053 SOS 28461 HAS SOPS 10804 HAS SOUS 10974 HAS SOUPS 8132 WITH SCORE 8160.461
AT ITER 7531 NEW BEST:: SOT 55043 SOS 28444 HAS SOPS 10787 HAS SOUS 10971 HAS SOUPS 8129 WITH SCORE 8157.444
AT ITER 7570 NEW BEST:: SOT 55028 SOS 28419 HAS SOPS 10733 HAS SOUS 10946 HAS SOUPS 8096 WITH SCORE 8124.419
AT ITER 7676 NEW BEST:: SOT 55027 SOS 28417 HAS SOPS 10734 HAS SOUS 10944 HAS SOUPS 8094 WITH SCORE 8122.417
AT ITER 7712 NEW BEST:: SOT 55025 SOS 28415 HAS SOPS 10731 HAS SOUS 10942 HAS SOUPS 8091 WITH SCORE 8119.415
AT ITER 7729 NEW BEST:: SOT 55021 SOS 28407 HAS SOPS 10728 HAS SOUS 10941 HAS SOUPS 8090 WITH SCORE 8118.407
AT ITER 7734 NEW BEST:: SOT 55027 SOS 28419 HAS SOPS 10716 HAS SOUS 10929 HAS SOUPS 8078 WITH SCORE 8106.419
AT ITER 7746 NEW BEST:: SOT 55028 SOS 28421 HAS SOPS 10702 HAS SOUS 10915 HAS SOUPS 8064 WITH SCORE 8092.421
AT ITER 7762 NEW BEST:: SOT 55032 SOS 28425 HAS SOPS 10698 HAS SOUS 10911 HAS SOUPS 8060 WITH SCORE 8088.425
AT ITER 7764 NEW BEST:: SOT 55030 SOS 28417 HAS SOPS 10690 HAS SOUS 10907 HAS SOUPS 8056 WITH SCORE 8084.417
AT ITER 7785 NEW BEST:: SOT 55013 SOS 28427 HAS SOPS 10700 HAS SOUS 10898 HAS SOUPS 8047 WITH SCORE 8075.427
AT ITER 7794 NEW BEST:: SOT 55014 SOS 28390 HAS SOPS 10660 HAS SOUS 10884 HAS SOUPS 8033 WITH SCORE 8061.39
AT ITER 7877 NEW BEST:: SOT 55012 SOS 28386 HAS SOPS 10656 HAS SOUS 10880 HAS SOUPS 8029 WITH SCORE 8057.386
AT ITER 7919 NEW BEST:: SOT 55012 SOS 28381 HAS SOPS 10651 HAS SOUS 10879 HAS SOUPS 8028 WITH SCORE 8056.381
AT ITER 7992 NEW BEST:: SOT 55011 SOS 28377 HAS SOPS 10649 HAS SOUS 10879 HAS SOUPS 8028 WITH SCORE 8056.377
AT ITER 8057 NEW BEST:: SOT 55012 SOS 28375 HAS SOPS 10647 HAS SOUS 10879 HAS SOUPS 8028 WITH SCORE 8056.375
AT ITER 8065 NEW BEST:: SOT 55009 SOS 28372 HAS SOPS 10641 HAS SOUS 10873 HAS SOUPS 8022 WITH SCORE 8050.372
AT ITER 8087 NEW BEST:: SOT 55020 SOS 28402 HAS SOPS 10663 HAS SOUS 10865 HAS SOUPS 8014 WITH SCORE 8042.402
AT ITER 8105 NEW BEST:: SOT 55010 SOS 28388 HAS SOPS 10647 HAS SOUS 10851 HAS SOUPS 7998 WITH SCORE 8026.388
AT ITER 8128 NEW BEST:: SOT 55010 SOS 28382 HAS SOPS 10647 HAS SOUS 10851 HAS SOUPS 7998 WITH SCORE 8026.382
AT ITER 8132 NEW BEST:: SOT 55010 SOS 28381 HAS SOPS 10646 HAS SOUS 10851 HAS SOUPS 7998 WITH SCORE 8026.381
AT ITER 8215 NEW BEST:: SOT 55008 SOS 28379 HAS SOPS 10646 HAS SOUS 10851 HAS SOUPS 7998 WITH SCORE 8026.379
AT ITER 8247 NEW BEST:: SOT 55021 SOS 28366 HAS SOPS 10632 HAS SOUS 10850 HAS SOUPS 7997 WITH SCORE 8025.366
AT ITER 8248 NEW BEST:: SOT 55022 SOS 28331 HAS SOPS 10597 HAS SOUS 10849 HAS SOUPS 7996 WITH SCORE 8024.331
AT ITER 8302 NEW BEST:: SOT 55013 SOS 28322 HAS SOPS 10586 HAS SOUS 10846 HAS SOUPS 7993 WITH SCORE 8021.322
AT ITER 8311 NEW BEST:: SOT 55012 SOS 28320 HAS SOPS 10584 HAS SOUS 10844 HAS SOUPS 7991 WITH SCORE 8019.32
AT ITER 8360 NEW BEST:: SOT 55012 SOS 28318 HAS SOPS 10582 HAS SOUS 10844 HAS SOUPS 7991 WITH SCORE 8019.318
AT ITER 8417 NEW BEST:: SOT 55014 SOS 28216 HAS SOPS 10566 HAS SOUS 10842 HAS SOUPS 7991 WITH SCORE 8019.216
AT ITER 8477 NEW BEST:: SOT 55009 SOS 28211 HAS SOPS 10559 HAS SOUS 10834 HAS SOUPS 7983 WITH SCORE 8011.211
AT ITER 8547 NEW BEST:: SOT 55011 SOS 28210 HAS SOPS 10557 HAS SOUS 10833 HAS SOUPS 7981 WITH SCORE 8009.21
AT ITER 8592 NEW BEST:: SOT 55010 SOS 28209 HAS SOPS 10556 HAS SOUS 10833 HAS SOUPS 7981 WITH SCORE 8009.209
AT ITER 8631 NEW BEST:: SOT 55004 SOS 28193 HAS SOPS 10544 HAS SOUS 10831 HAS SOUPS 7979 WITH SCORE 8007.193
AT ITER 8705 NEW BEST:: SOT 55008 SOS 28189 HAS SOPS 10544 HAS SOUS 10831 HAS SOUPS 7979 WITH SCORE 8007.189
AT ITER 8784 NEW BEST:: SOT 55004 SOS 28185 HAS SOPS 10544 HAS SOUS 10827 HAS SOUPS 7975 WITH SCORE 8003.185
AT ITER 8875 NEW BEST:: SOT 55049 SOS 28218 HAS SOPS 10577 HAS SOUS 10809 HAS SOUPS 7957 WITH SCORE 7985.218
AT ITER 9142 NEW BEST:: SOT 55037 SOS 28194 HAS SOPS 10565 HAS SOUS 10809 HAS SOUPS 7957 WITH SCORE 7985.194
AT ITER 9219 NEW BEST:: SOT 55006 SOS 28164 HAS SOPS 10536 HAS SOUS 10797 HAS SOUPS 7945 WITH SCORE 7973.164
AT ITER 9341 NEW BEST:: SOT 54994 SOS 28152 HAS SOPS 10521 HAS SOUS 10782 HAS SOUPS 7930 WITH SCORE 7958.152
AT ITER 9411 NEW BEST:: SOT 54995 SOS 28177 HAS SOPS 10547 HAS SOUS 10760 HAS SOUPS 7908 WITH SCORE 7936.177
AT ITER 9495 NEW BEST:: SOT 54997 SOS 28179 HAS SOPS 10517 HAS SOUS 10753 HAS SOUPS 7901 WITH SCORE 7929.179
AT ITER 9518 NEW BEST:: SOT 54993 SOS 28173 HAS SOPS 10511 HAS SOUS 10753 HAS SOUPS 7901 WITH SCORE 7929.173
AT ITER 9590 NEW BEST:: SOT 54997 SOS 28177 HAS SOPS 10520 HAS SOUS 10746 HAS SOUPS 7894 WITH SCORE 7922.177
AT ITER 9657 NEW BEST:: SOT 54997 SOS 28170 HAS SOPS 10513 HAS SOUS 10746 HAS SOUPS 7894 WITH SCORE 7922.17
AT ITER 9658 NEW BEST:: SOT 54938 SOS 28939 HAS SOPS 10442 HAS SOUS 10777 HAS SOUPS 7883 WITH SCORE 7911.939
AT ITER 9668 NEW BEST:: SOT 54937 SOS 28937 HAS SOPS 10440 HAS SOUS 10775 HAS SOUPS 7881 WITH SCORE 7909.937
AT ITER 9746 NEW BEST:: SOT 54925 SOS 28944 HAS SOPS 10416 HAS SOUS 10751 HAS SOUPS 7857 WITH SCORE 7885.944
AT ITER 9755 NEW BEST:: SOT 54919 SOS 28944 HAS SOPS 10416 HAS SOUS 10745 HAS SOUPS 7851 WITH SCORE 7879.944
AT ITER 9807 NEW BEST:: SOT 54919 SOS 28934 HAS SOPS 10406 HAS SOUS 10745 HAS SOUPS 7851 WITH SCORE 7879.934
AT ITER 9954 NEW BEST:: SOT 54916 SOS 28931 HAS SOPS 10406 HAS SOUS 10745 HAS SOUPS 7851 WITH SCORE 7879.931
AT ITER 9981 NEW BEST:: SOT 54912 SOS 28930 HAS SOPS 10404 HAS SOUS 10740 HAS SOUPS 7846 WITH SCORE 7874.93
AT ITER 9984 NEW BEST:: SOT 54912 SOS 28930 HAS SOPS 10402 HAS SOUS 10738 HAS SOUPS 7844 WITH SCORE 7872.93
AT ITER 9995 NEW BEST:: SOT 54906 SOS 28924 HAS SOPS 10396 HAS SOUS 10732 HAS SOUPS 7838 WITH SCORE 7866.924
STATE_SPACE STATES 1762378 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7049512 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679879909437

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-04"
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 EisenbergMcGuire-PT-04, 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 r515-tall-167987242200232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-04.tgz
mv EisenbergMcGuire-PT-04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;