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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 30K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 165K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 38K Feb 25 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 240K Feb 25 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 93K Feb 25 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 499K Feb 25 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 265K 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 1678613268221

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=LamportFastMutEx-PT-7
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 7
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: 264 places, 536 transitions, 2352 arcs.
AT ITER 0 NEW BEST:: SOT 62486 SOS 39543 HAS SOPS 35624 HAS SOUS 30325 HAS SOUPS 28368 WITH SCORE 28407.543
AT ITER 6 NEW BEST:: SOT 62486 SOS 39516 HAS SOPS 35597 HAS SOUS 30298 HAS SOUPS 28341 WITH SCORE 28380.516
AT ITER 11 NEW BEST:: SOT 62342 SOS 39387 HAS SOPS 35404 HAS SOUS 30169 HAS SOUPS 28148 WITH SCORE 28187.387
AT ITER 13 NEW BEST:: SOT 62265 SOS 39300 HAS SOPS 35229 HAS SOUS 29999 HAS SOUPS 27978 WITH SCORE 28017.3
AT ITER 19 NEW BEST:: SOT 62265 SOS 39281 HAS SOPS 35210 HAS SOUS 29980 HAS SOUPS 27959 WITH SCORE 27998.281
AT ITER 25 NEW BEST:: SOT 62274 SOS 39306 HAS SOPS 35235 HAS SOUS 29941 HAS SOUPS 27920 WITH SCORE 27959.306
AT ITER 32 NEW BEST:: SOT 62274 SOS 39279 HAS SOPS 35208 HAS SOUS 29914 HAS SOUPS 27893 WITH SCORE 27932.279
AT ITER 34 NEW BEST:: SOT 62274 SOS 39257 HAS SOPS 35186 HAS SOUS 29892 HAS SOUPS 27871 WITH SCORE 27910.257
AT ITER 36 NEW BEST:: SOT 62318 SOS 39369 HAS SOPS 35298 HAS SOUS 29800 HAS SOUPS 27779 WITH SCORE 27818.369
AT ITER 38 NEW BEST:: SOT 62378 SOS 39440 HAS SOPS 35369 HAS SOUS 29631 HAS SOUPS 27610 WITH SCORE 27649.44
AT ITER 39 NEW BEST:: SOT 62372 SOS 39422 HAS SOPS 35315 HAS SOUS 29583 HAS SOUPS 27562 WITH SCORE 27601.422
AT ITER 44 NEW BEST:: SOT 62372 SOS 39420 HAS SOPS 35313 HAS SOUS 29581 HAS SOUPS 27560 WITH SCORE 27599.42
AT ITER 46 NEW BEST:: SOT 62228 SOS 39294 HAS SOPS 35169 HAS SOUS 29455 HAS SOUPS 27416 WITH SCORE 27455.294
AT ITER 49 NEW BEST:: SOT 61578 SOS 39017 HAS SOPS 34519 HAS SOUS 28515 HAS SOUPS 26362 WITH SCORE 26401.017
AT ITER 53 NEW BEST:: SOT 61577 SOS 38969 HAS SOPS 34471 HAS SOUS 28467 HAS SOUPS 26314 WITH SCORE 26352.969
AT ITER 73 NEW BEST:: SOT 61576 SOS 38936 HAS SOPS 34438 HAS SOUS 28434 HAS SOUPS 26281 WITH SCORE 26319.936
AT ITER 78 NEW BEST:: SOT 61632 SOS 38772 HAS SOPS 34059 HAS SOUS 28451 HAS SOUPS 26123 WITH SCORE 26161.772
AT ITER 84 NEW BEST:: SOT 61496 SOS 38653 HAS SOPS 33923 HAS SOUS 28332 HAS SOUPS 25987 WITH SCORE 26025.653
AT ITER 85 NEW BEST:: SOT 61468 SOS 38634 HAS SOPS 33917 HAS SOUS 28304 HAS SOUPS 25970 WITH SCORE 26008.634
AT ITER 86 NEW BEST:: SOT 61447 SOS 38601 HAS SOPS 33813 HAS SOUS 28089 HAS SOUPS 25755 WITH SCORE 25793.601
AT ITER 90 NEW BEST:: SOT 61350 SOS 38548 HAS SOPS 33716 HAS SOUS 28036 HAS SOUPS 25658 WITH SCORE 25696.548
AT ITER 96 NEW BEST:: SOT 61408 SOS 38731 HAS SOPS 33899 HAS SOUS 27959 HAS SOUPS 25581 WITH SCORE 25619.731
AT ITER 97 NEW BEST:: SOT 61442 SOS 38817 HAS SOPS 33985 HAS SOUS 27881 HAS SOUPS 25503 WITH SCORE 25541.817
AT ITER 105 NEW BEST:: SOT 61436 SOS 38835 HAS SOPS 33979 HAS SOUS 27866 HAS SOUPS 25485 WITH SCORE 25523.835
AT ITER 110 NEW BEST:: SOT 61417 SOS 38821 HAS SOPS 33986 HAS SOUS 27681 HAS SOUPS 25313 WITH SCORE 25351.821
AT ITER 113 NEW BEST:: SOT 61417 SOS 38814 HAS SOPS 33975 HAS SOUS 27670 HAS SOUPS 25302 WITH SCORE 25340.814
AT ITER 116 NEW BEST:: SOT 60842 SOS 38366 HAS SOPS 33492 HAS SOUS 27108 HAS SOUPS 24740 WITH SCORE 24778.366
AT ITER 122 NEW BEST:: SOT 60842 SOS 38257 HAS SOPS 33383 HAS SOUS 26999 HAS SOUPS 24631 WITH SCORE 24669.257
AT ITER 132 NEW BEST:: SOT 60835 SOS 37870 HAS SOPS 32728 HAS SOUS 26743 HAS SOUPS 24375 WITH SCORE 24412.87
AT ITER 136 NEW BEST:: SOT 60835 SOS 37870 HAS SOPS 32712 HAS SOUS 26727 HAS SOUPS 24359 WITH SCORE 24396.87
AT ITER 140 NEW BEST:: SOT 60859 SOS 37916 HAS SOPS 32758 HAS SOUS 26677 HAS SOUPS 24309 WITH SCORE 24346.916
AT ITER 148 NEW BEST:: SOT 60859 SOS 37910 HAS SOPS 32752 HAS SOUS 26671 HAS SOUPS 24303 WITH SCORE 24340.91
AT ITER 149 NEW BEST:: SOT 60775 SOS 37909 HAS SOPS 32668 HAS SOUS 26635 HAS SOUPS 24219 WITH SCORE 24256.909
AT ITER 151 NEW BEST:: SOT 59963 SOS 37254 HAS SOPS 32013 HAS SOUS 25877 HAS SOUPS 23461 WITH SCORE 23498.254
AT ITER 154 NEW BEST:: SOT 59963 SOS 37238 HAS SOPS 31999 HAS SOUS 25863 HAS SOUPS 23447 WITH SCORE 23484.238
AT ITER 171 NEW BEST:: SOT 59963 SOS 37238 HAS SOPS 31995 HAS SOUS 25863 HAS SOUPS 23443 WITH SCORE 23480.238
AT ITER 181 NEW BEST:: SOT 59963 SOS 37208 HAS SOPS 31965 HAS SOUS 25833 HAS SOUPS 23413 WITH SCORE 23450.208
AT ITER 189 NEW BEST:: SOT 59963 SOS 37185 HAS SOPS 31942 HAS SOUS 25810 HAS SOUPS 23390 WITH SCORE 23427.185
AT ITER 191 NEW BEST:: SOT 59034 SOS 36424 HAS SOPS 31166 HAS SOUS 24900 HAS SOUPS 22480 WITH SCORE 22516.424
AT ITER 195 NEW BEST:: SOT 59081 SOS 36455 HAS SOPS 31013 HAS SOUS 24755 HAS SOUPS 22335 WITH SCORE 22371.455
AT ITER 198 NEW BEST:: SOT 59081 SOS 36447 HAS SOPS 31011 HAS SOUS 24753 HAS SOUPS 22333 WITH SCORE 22369.447
AT ITER 199 NEW BEST:: SOT 59076 SOS 36442 HAS SOPS 31001 HAS SOUS 24748 HAS SOUPS 22323 WITH SCORE 22359.442
AT ITER 213 NEW BEST:: SOT 58972 SOS 36521 HAS SOPS 30878 HAS SOUS 24720 HAS SOUPS 22200 WITH SCORE 22236.521
AT ITER 216 NEW BEST:: SOT 58835 SOS 36417 HAS SOPS 30743 HAS SOUS 24492 HAS SOUPS 21941 WITH SCORE 21977.417
AT ITER 217 NEW BEST:: SOT 58957 SOS 36350 HAS SOPS 30416 HAS SOUS 24437 HAS SOUPS 21805 WITH SCORE 21841.35
AT ITER 221 NEW BEST:: SOT 58831 SOS 36266 HAS SOPS 30332 HAS SOUS 24332 HAS SOUPS 21700 WITH SCORE 21736.266
AT ITER 224 NEW BEST:: SOT 58831 SOS 36260 HAS SOPS 30326 HAS SOUS 24326 HAS SOUPS 21694 WITH SCORE 21730.26
AT ITER 245 NEW BEST:: SOT 58831 SOS 36241 HAS SOPS 30307 HAS SOUS 24307 HAS SOUPS 21675 WITH SCORE 21711.241
AT ITER 251 NEW BEST:: SOT 58831 SOS 36101 HAS SOPS 30167 HAS SOUS 24307 HAS SOUPS 21675 WITH SCORE 21711.101
AT ITER 261 NEW BEST:: SOT 58633 SOS 35963 HAS SOPS 30029 HAS SOUS 24139 HAS SOUPS 21507 WITH SCORE 21542.963
AT ITER 265 NEW BEST:: SOT 58682 SOS 36025 HAS SOPS 30112 HAS SOUS 24010 HAS SOUPS 21395 WITH SCORE 21431.025
AT ITER 274 NEW BEST:: SOT 58670 SOS 36013 HAS SOPS 30100 HAS SOUS 23998 HAS SOUPS 21383 WITH SCORE 21419.013
AT ITER 276 NEW BEST:: SOT 58670 SOS 36008 HAS SOPS 30095 HAS SOUS 23993 HAS SOUPS 21378 WITH SCORE 21414.008
AT ITER 278 NEW BEST:: SOT 58679 SOS 35861 HAS SOPS 29913 HAS SOUS 23969 HAS SOUPS 21354 WITH SCORE 21389.861
AT ITER 279 NEW BEST:: SOT 58679 SOS 35731 HAS SOPS 29783 HAS SOUS 23955 HAS SOUPS 21340 WITH SCORE 21375.731
AT ITER 285 NEW BEST:: SOT 58679 SOS 35728 HAS SOPS 29777 HAS SOUS 23949 HAS SOUPS 21334 WITH SCORE 21369.728
AT ITER 287 NEW BEST:: SOT 58679 SOS 35703 HAS SOPS 29777 HAS SOUS 23940 HAS SOUPS 21334 WITH SCORE 21369.703
AT ITER 290 NEW BEST:: SOT 58558 SOS 35601 HAS SOPS 29656 HAS SOUS 23838 HAS SOUPS 21213 WITH SCORE 21248.601
AT ITER 310 NEW BEST:: SOT 58558 SOS 35606 HAS SOPS 29653 HAS SOUS 23835 HAS SOUPS 21210 WITH SCORE 21245.606
AT ITER 312 NEW BEST:: SOT 58558 SOS 35572 HAS SOPS 29619 HAS SOUS 23801 HAS SOUPS 21176 WITH SCORE 21211.572
AT ITER 313 NEW BEST:: SOT 58558 SOS 35593 HAS SOPS 29599 HAS SOUS 23781 HAS SOUPS 21156 WITH SCORE 21191.593
AT ITER 323 NEW BEST:: SOT 58511 SOS 35573 HAS SOPS 29550 HAS SOUS 23759 HAS SOUPS 21107 WITH SCORE 21142.573
AT ITER 328 NEW BEST:: SOT 58503 SOS 35535 HAS SOPS 29528 HAS SOUS 23759 HAS SOUPS 21107 WITH SCORE 21142.535
AT ITER 330 NEW BEST:: SOT 58550 SOS 35305 HAS SOPS 29196 HAS SOUS 23676 HAS SOUPS 21024 WITH SCORE 21059.305
AT ITER 335 NEW BEST:: SOT 58550 SOS 35404 HAS SOPS 29159 HAS SOUS 23679 HAS SOUPS 20987 WITH SCORE 21022.404
AT ITER 345 NEW BEST:: SOT 58475 SOS 35345 HAS SOPS 29100 HAS SOUS 23602 HAS SOUPS 20910 WITH SCORE 20945.345
AT ITER 347 NEW BEST:: SOT 58485 SOS 35598 HAS SOPS 29111 HAS SOUS 23408 HAS SOUPS 20609 WITH SCORE 20644.598
AT ITER 361 NEW BEST:: SOT 58667 SOS 35980 HAS SOPS 29134 HAS SOUS 23414 HAS SOUPS 20595 WITH SCORE 20630.98
AT ITER 363 NEW BEST:: SOT 58662 SOS 35940 HAS SOPS 29094 HAS SOUS 23374 HAS SOUPS 20555 WITH SCORE 20590.94
AT ITER 365 NEW BEST:: SOT 58569 SOS 35808 HAS SOPS 28885 HAS SOUS 23213 HAS SOUPS 20404 WITH SCORE 20439.808
AT ITER 368 NEW BEST:: SOT 58608 SOS 35848 HAS SOPS 28925 HAS SOUS 23097 HAS SOUPS 20288 WITH SCORE 20323.848
AT ITER 378 NEW BEST:: SOT 58608 SOS 35907 HAS SOPS 28921 HAS SOUS 23107 HAS SOUPS 20284 WITH SCORE 20319.907
AT ITER 384 NEW BEST:: SOT 58608 SOS 35861 HAS SOPS 28879 HAS SOUS 23090 HAS SOUPS 20267 WITH SCORE 20302.861
AT ITER 386 NEW BEST:: SOT 58312 SOS 35609 HAS SOPS 28583 HAS SOUS 22835 HAS SOUPS 19971 WITH SCORE 20006.609
AT ITER 393 NEW BEST:: SOT 57847 SOS 35244 HAS SOPS 28079 HAS SOUS 22477 HAS SOUPS 19467 WITH SCORE 19502.244
AT ITER 397 NEW BEST:: SOT 57677 SOS 35161 HAS SOPS 27909 HAS SOUS 22375 HAS SOUPS 19305 WITH SCORE 19340.161
AT ITER 398 NEW BEST:: SOT 56968 SOS 34658 HAS SOPS 27365 HAS SOUS 21727 HAS SOUPS 18657 WITH SCORE 18691.658
AT ITER 424 NEW BEST:: SOT 56968 SOS 34657 HAS SOPS 27364 HAS SOUS 21726 HAS SOUPS 18656 WITH SCORE 18690.657
AT ITER 442 NEW BEST:: SOT 56968 SOS 34657 HAS SOPS 27364 HAS SOUS 21715 HAS SOUPS 18645 WITH SCORE 18679.657
AT ITER 447 NEW BEST:: SOT 56720 SOS 34471 HAS SOPS 27073 HAS SOUS 21714 HAS SOUPS 18526 WITH SCORE 18560.471
AT ITER 456 NEW BEST:: SOT 56454 SOS 34066 HAS SOPS 26807 HAS SOUS 21275 HAS SOUPS 18272 WITH SCORE 18306.066
AT ITER 484 NEW BEST:: SOT 56052 SOS 33748 HAS SOPS 26356 HAS SOUS 20986 HAS SOUPS 17917 WITH SCORE 17950.748
AT ITER 487 NEW BEST:: SOT 56052 SOS 33709 HAS SOPS 26350 HAS SOUS 20980 HAS SOUPS 17911 WITH SCORE 17944.709
AT ITER 488 NEW BEST:: SOT 56052 SOS 33709 HAS SOPS 26348 HAS SOUS 20980 HAS SOUPS 17909 WITH SCORE 17942.709
AT ITER 490 NEW BEST:: SOT 56050 SOS 33703 HAS SOPS 26340 HAS SOUS 20976 HAS SOUPS 17903 WITH SCORE 17936.703
AT ITER 516 NEW BEST:: SOT 56050 SOS 33703 HAS SOPS 26331 HAS SOUS 20967 HAS SOUPS 17894 WITH SCORE 17927.703
AT ITER 531 NEW BEST:: SOT 56050 SOS 33701 HAS SOPS 26331 HAS SOUS 20956 HAS SOUPS 17894 WITH SCORE 17927.701
AT ITER 535 NEW BEST:: SOT 56050 SOS 33671 HAS SOPS 26331 HAS SOUS 20956 HAS SOUPS 17894 WITH SCORE 17927.671
AT ITER 547 NEW BEST:: SOT 56035 SOS 33570 HAS SOPS 26275 HAS SOUS 20751 HAS SOUPS 17701 WITH SCORE 17734.57
AT ITER 550 NEW BEST:: SOT 56018 SOS 33548 HAS SOPS 26253 HAS SOUS 20729 HAS SOUPS 17679 WITH SCORE 17712.548
AT ITER 582 NEW BEST:: SOT 55911 SOS 33441 HAS SOPS 26146 HAS SOUS 20622 HAS SOUPS 17572 WITH SCORE 17605.441
AT ITER 604 NEW BEST:: SOT 55676 SOS 33304 HAS SOPS 26037 HAS SOUS 20271 HAS SOUPS 17221 WITH SCORE 17254.304
AT ITER 610 NEW BEST:: SOT 55598 SOS 33191 HAS SOPS 26000 HAS SOUS 20227 HAS SOUPS 17177 WITH SCORE 17210.191
AT ITER 666 NEW BEST:: SOT 55581 SOS 33174 HAS SOPS 25939 HAS SOUS 20204 HAS SOUPS 17116 WITH SCORE 17149.174
AT ITER 674 NEW BEST:: SOT 55538 SOS 33131 HAS SOPS 25905 HAS SOUS 20170 HAS SOUPS 17082 WITH SCORE 17115.131
AT ITER 683 NEW BEST:: SOT 55545 SOS 33022 HAS SOPS 25796 HAS SOUS 20134 HAS SOUPS 17046 WITH SCORE 17079.022
AT ITER 686 NEW BEST:: SOT 55540 SOS 33017 HAS SOPS 25791 HAS SOUS 20129 HAS SOUPS 17041 WITH SCORE 17074.017
AT ITER 696 NEW BEST:: SOT 55539 SOS 33013 HAS SOPS 25765 HAS SOUS 20103 HAS SOUPS 17015 WITH SCORE 17048.013
AT ITER 707 NEW BEST:: SOT 55526 SOS 33010 HAS SOPS 25742 HAS SOUS 20090 HAS SOUPS 16992 WITH SCORE 17025.01
AT ITER 714 NEW BEST:: SOT 55526 SOS 33005 HAS SOPS 25737 HAS SOUS 20090 HAS SOUPS 16992 WITH SCORE 17025.005
AT ITER 719 NEW BEST:: SOT 55487 SOS 32966 HAS SOPS 25698 HAS SOUS 20051 HAS SOUPS 16953 WITH SCORE 16985.966
AT ITER 749 NEW BEST:: SOT 55487 SOS 32976 HAS SOPS 25695 HAS SOUS 20048 HAS SOUPS 16950 WITH SCORE 16982.976
AT ITER 771 NEW BEST:: SOT 55487 SOS 32958 HAS SOPS 25695 HAS SOUS 20043 HAS SOUPS 16950 WITH SCORE 16982.958
AT ITER 774 NEW BEST:: SOT 55475 SOS 32950 HAS SOPS 25666 HAS SOUS 20014 HAS SOUPS 16921 WITH SCORE 16953.95
AT ITER 775 NEW BEST:: SOT 55452 SOS 32926 HAS SOPS 25642 HAS SOUS 19990 HAS SOUPS 16897 WITH SCORE 16929.926
AT ITER 794 NEW BEST:: SOT 55452 SOS 32898 HAS SOPS 25614 HAS SOUS 19962 HAS SOUPS 16869 WITH SCORE 16901.898
AT ITER 813 NEW BEST:: SOT 55461 SOS 32893 HAS SOPS 25609 HAS SOUS 19957 HAS SOUPS 16864 WITH SCORE 16896.893
AT ITER 821 NEW BEST:: SOT 55449 SOS 32891 HAS SOPS 25521 HAS SOUS 19937 HAS SOUPS 16776 WITH SCORE 16808.891
AT ITER 831 NEW BEST:: SOT 55526 SOS 32944 HAS SOPS 25196 HAS SOUS 19677 HAS SOUPS 16516 WITH SCORE 16548.944
AT ITER 851 NEW BEST:: SOT 55359 SOS 32782 HAS SOPS 25005 HAS SOUS 19527 HAS SOUPS 16352 WITH SCORE 16384.782
AT ITER 859 NEW BEST:: SOT 55359 SOS 32758 HAS SOPS 24981 HAS SOUS 19521 HAS SOUPS 16346 WITH SCORE 16378.758
AT ITER 883 NEW BEST:: SOT 55294 SOS 32693 HAS SOPS 24975 HAS SOUS 19456 HAS SOUPS 16340 WITH SCORE 16372.693
AT ITER 886 NEW BEST:: SOT 55271 SOS 32678 HAS SOPS 24952 HAS SOUS 19441 HAS SOUPS 16317 WITH SCORE 16349.678
AT ITER 887 NEW BEST:: SOT 55268 SOS 32662 HAS SOPS 24951 HAS SOUS 19440 HAS SOUPS 16316 WITH SCORE 16348.662
AT ITER 890 NEW BEST:: SOT 54964 SOS 32662 HAS SOPS 24647 HAS SOUS 19436 HAS SOUPS 16244 WITH SCORE 16276.662
AT ITER 891 NEW BEST:: SOT 54887 SOS 32685 HAS SOPS 24542 HAS SOUS 19464 HAS SOUPS 16139 WITH SCORE 16171.685
AT ITER 910 NEW BEST:: SOT 54885 SOS 32687 HAS SOPS 24538 HAS SOUS 19449 HAS SOUPS 16135 WITH SCORE 16167.687
AT ITER 915 NEW BEST:: SOT 54885 SOS 32679 HAS SOPS 24538 HAS SOUS 19449 HAS SOUPS 16135 WITH SCORE 16167.679
AT ITER 927 NEW BEST:: SOT 54830 SOS 32600 HAS SOPS 24489 HAS SOUS 19391 HAS SOUPS 16086 WITH SCORE 16118.6
AT ITER 932 NEW BEST:: SOT 54803 SOS 32561 HAS SOPS 24450 HAS SOUS 19352 HAS SOUPS 16047 WITH SCORE 16079.561
AT ITER 936 NEW BEST:: SOT 54796 SOS 32513 HAS SOPS 24439 HAS SOUS 19312 HAS SOUPS 16036 WITH SCORE 16068.513
AT ITER 948 NEW BEST:: SOT 54672 SOS 32400 HAS SOPS 24315 HAS SOUS 19206 HAS SOUPS 15912 WITH SCORE 15944.4
AT ITER 956 NEW BEST:: SOT 54638 SOS 32353 HAS SOPS 24264 HAS SOUS 19155 HAS SOUPS 15861 WITH SCORE 15893.353
AT ITER 966 NEW BEST:: SOT 54620 SOS 32329 HAS SOPS 24252 HAS SOUS 19069 HAS SOUPS 15781 WITH SCORE 15813.329
AT ITER 968 NEW BEST:: SOT 54472 SOS 32191 HAS SOPS 24077 HAS SOUS 18898 HAS SOUPS 15610 WITH SCORE 15642.191
AT ITER 973 NEW BEST:: SOT 54470 SOS 32189 HAS SOPS 24077 HAS SOUS 18896 HAS SOUPS 15610 WITH SCORE 15642.189
AT ITER 976 NEW BEST:: SOT 54474 SOS 32192 HAS SOPS 24056 HAS SOUS 18901 HAS SOUPS 15589 WITH SCORE 15621.192
AT ITER 991 NEW BEST:: SOT 54474 SOS 32205 HAS SOPS 24053 HAS SOUS 18898 HAS SOUPS 15586 WITH SCORE 15618.205
AT ITER 1000 NEW BEST:: SOT 54434 SOS 32079 HAS SOPS 23930 HAS SOUS 18775 HAS SOUPS 15463 WITH SCORE 15495.079
AT ITER 1001 NEW BEST:: SOT 54425 SOS 32070 HAS SOPS 23921 HAS SOUS 18766 HAS SOUPS 15454 WITH SCORE 15486.07
AT ITER 1020 NEW BEST:: SOT 54419 SOS 32052 HAS SOPS 23903 HAS SOUS 18748 HAS SOUPS 15436 WITH SCORE 15468.052
AT ITER 1028 NEW BEST:: SOT 54382 SOS 31992 HAS SOPS 23865 HAS SOUS 18675 HAS SOUPS 15398 WITH SCORE 15429.992
AT ITER 1036 NEW BEST:: SOT 54283 SOS 31893 HAS SOPS 23832 HAS SOUS 18642 HAS SOUPS 15365 WITH SCORE 15396.893
AT ITER 1038 NEW BEST:: SOT 54192 SOS 31802 HAS SOPS 23783 HAS SOUS 18593 HAS SOUPS 15316 WITH SCORE 15347.802
AT ITER 1040 NEW BEST:: SOT 54066 SOS 31694 HAS SOPS 23675 HAS SOUS 18467 HAS SOUPS 15190 WITH SCORE 15221.694
AT ITER 1059 NEW BEST:: SOT 54066 SOS 31672 HAS SOPS 23637 HAS SOUS 18429 HAS SOUPS 15152 WITH SCORE 15183.672
AT ITER 1061 NEW BEST:: SOT 54036 SOS 31665 HAS SOPS 23588 HAS SOUS 18450 HAS SOUPS 15103 WITH SCORE 15134.665
AT ITER 1069 NEW BEST:: SOT 54036 SOS 31665 HAS SOPS 23586 HAS SOUS 18450 HAS SOUPS 15101 WITH SCORE 15132.665
AT ITER 1097 NEW BEST:: SOT 54036 SOS 31663 HAS SOPS 23584 HAS SOUS 18448 HAS SOUPS 15099 WITH SCORE 15130.663
AT ITER 1108 NEW BEST:: SOT 54099 SOS 32024 HAS SOPS 23515 HAS SOUS 18413 HAS SOUPS 15030 WITH SCORE 15062.024
AT ITER 1110 NEW BEST:: SOT 54085 SOS 32010 HAS SOPS 23487 HAS SOUS 18399 HAS SOUPS 15002 WITH SCORE 15034.01
AT ITER 1113 NEW BEST:: SOT 54085 SOS 32151 HAS SOPS 23488 HAS SOUS 18342 HAS SOUPS 14945 WITH SCORE 14977.151
AT ITER 1128 NEW BEST:: SOT 54064 SOS 32130 HAS SOPS 23446 HAS SOUS 18321 HAS SOUPS 14903 WITH SCORE 14935.13
AT ITER 1141 NEW BEST:: SOT 54052 SOS 32118 HAS SOPS 23426 HAS SOUS 18313 HAS SOUPS 14883 WITH SCORE 14915.118
AT ITER 1146 NEW BEST:: SOT 54066 SOS 32168 HAS SOPS 23440 HAS SOUS 18339 HAS SOUPS 14829 WITH SCORE 14861.168
AT ITER 1148 NEW BEST:: SOT 54083 SOS 32177 HAS SOPS 23423 HAS SOUS 18345 HAS SOUPS 14812 WITH SCORE 14844.177
AT ITER 1155 NEW BEST:: SOT 54079 SOS 32173 HAS SOPS 23403 HAS SOUS 18341 HAS SOUPS 14792 WITH SCORE 14824.173
AT ITER 1159 NEW BEST:: SOT 54084 SOS 32178 HAS SOPS 23395 HAS SOUS 18333 HAS SOUPS 14784 WITH SCORE 14816.178
AT ITER 1164 NEW BEST:: SOT 54075 SOS 32169 HAS SOPS 23365 HAS SOUS 18347 HAS SOUPS 14754 WITH SCORE 14786.169
AT ITER 1171 NEW BEST:: SOT 54064 SOS 32158 HAS SOPS 23354 HAS SOUS 18336 HAS SOUPS 14743 WITH SCORE 14775.158
AT ITER 1174 NEW BEST:: SOT 54127 SOS 32366 HAS SOPS 23057 HAS SOUS 18397 HAS SOUPS 14741 WITH SCORE 14773.366
AT ITER 1180 NEW BEST:: SOT 54119 SOS 32358 HAS SOPS 23041 HAS SOUS 18373 HAS SOUPS 14725 WITH SCORE 14757.358
AT ITER 1188 NEW BEST:: SOT 54115 SOS 32390 HAS SOPS 23024 HAS SOUS 18397 HAS SOUPS 14708 WITH SCORE 14740.39
AT ITER 1189 NEW BEST:: SOT 54111 SOS 32386 HAS SOPS 23016 HAS SOUS 18387 HAS SOUPS 14700 WITH SCORE 14732.386
AT ITER 1220 NEW BEST:: SOT 54087 SOS 32373 HAS SOPS 22979 HAS SOUS 18373 HAS SOUPS 14663 WITH SCORE 14695.373
AT ITER 1223 NEW BEST:: SOT 53854 SOS 32174 HAS SOPS 22746 HAS SOUS 18108 HAS SOUPS 14486 WITH SCORE 14518.174
AT ITER 1224 NEW BEST:: SOT 53853 SOS 32173 HAS SOPS 22741 HAS SOUS 18107 HAS SOUPS 14481 WITH SCORE 14513.173
AT ITER 1323 NEW BEST:: SOT 53898 SOS 32198 HAS SOPS 22786 HAS SOUS 18081 HAS SOUPS 14462 WITH SCORE 14494.198
AT ITER 1324 NEW BEST:: SOT 53824 SOS 32224 HAS SOPS 22712 HAS SOUS 18095 HAS SOUPS 14456 WITH SCORE 14488.224
AT ITER 1338 NEW BEST:: SOT 53809 SOS 32211 HAS SOPS 22712 HAS SOUS 18054 HAS SOUPS 14418 WITH SCORE 14450.211
AT ITER 1351 NEW BEST:: SOT 53807 SOS 32209 HAS SOPS 22708 HAS SOUS 18052 HAS SOUPS 14414 WITH SCORE 14446.209
AT ITER 1366 NEW BEST:: SOT 53807 SOS 32160 HAS SOPS 22659 HAS SOUS 18046 HAS SOUPS 14408 WITH SCORE 14440.16
AT ITER 1398 NEW BEST:: SOT 53803 SOS 32156 HAS SOPS 22655 HAS SOUS 18042 HAS SOUPS 14404 WITH SCORE 14436.156
AT ITER 1400 NEW BEST:: SOT 53803 SOS 32156 HAS SOPS 22652 HAS SOUS 18042 HAS SOUPS 14401 WITH SCORE 14433.156
AT ITER 1419 NEW BEST:: SOT 53791 SOS 32147 HAS SOPS 22601 HAS SOUS 17991 HAS SOUPS 14350 WITH SCORE 14382.147
AT ITER 1422 NEW BEST:: SOT 53791 SOS 32125 HAS SOPS 22590 HAS SOUS 17991 HAS SOUPS 14350 WITH SCORE 14382.125
AT ITER 1427 NEW BEST:: SOT 53804 SOS 32118 HAS SOPS 22583 HAS SOUS 17984 HAS SOUPS 14343 WITH SCORE 14375.118
AT ITER 1454 NEW BEST:: SOT 53804 SOS 32090 HAS SOPS 22540 HAS SOUS 17971 HAS SOUPS 14315 WITH SCORE 14347.09
AT ITER 1467 NEW BEST:: SOT 53804 SOS 32048 HAS SOPS 22498 HAS SOUS 17971 HAS SOUPS 14315 WITH SCORE 14347.048
AT ITER 1496 NEW BEST:: SOT 53804 SOS 32048 HAS SOPS 22496 HAS SOUS 17969 HAS SOUPS 14313 WITH SCORE 14345.048
AT ITER 1497 NEW BEST:: SOT 53804 SOS 32045 HAS SOPS 22496 HAS SOUS 17969 HAS SOUPS 14313 WITH SCORE 14345.045
AT ITER 1507 NEW BEST:: SOT 53902 SOS 32127 HAS SOPS 22424 HAS SOUS 17905 HAS SOUPS 14249 WITH SCORE 14281.127
AT ITER 1517 NEW BEST:: SOT 53890 SOS 32115 HAS SOPS 22399 HAS SOUS 17889 HAS SOUPS 14224 WITH SCORE 14256.115
AT ITER 1535 NEW BEST:: SOT 53888 SOS 32113 HAS SOPS 22392 HAS SOUS 17887 HAS SOUPS 14217 WITH SCORE 14249.113
AT ITER 1536 NEW BEST:: SOT 53880 SOS 32105 HAS SOPS 22371 HAS SOUS 17887 HAS SOUPS 14196 WITH SCORE 14228.105
AT ITER 1555 NEW BEST:: SOT 53850 SOS 32105 HAS SOPS 22341 HAS SOUS 17887 HAS SOUPS 14190 WITH SCORE 14222.105
AT ITER 1556 NEW BEST:: SOT 53840 SOS 32019 HAS SOPS 22523 HAS SOUS 17640 HAS SOUPS 14137 WITH SCORE 14169.019
AT ITER 1559 NEW BEST:: SOT 53872 SOS 32011 HAS SOPS 22555 HAS SOUS 17632 HAS SOUPS 14137 WITH SCORE 14169.011
AT ITER 1570 NEW BEST:: SOT 53635 SOS 32085 HAS SOPS 22318 HAS SOUS 17726 HAS SOUPS 14136 WITH SCORE 14168.085
AT ITER 1610 NEW BEST:: SOT 53626 SOS 32076 HAS SOPS 22309 HAS SOUS 17717 HAS SOUPS 14127 WITH SCORE 14159.076
AT ITER 1622 NEW BEST:: SOT 53615 SOS 32065 HAS SOPS 22298 HAS SOUS 17717 HAS SOUPS 14127 WITH SCORE 14159.065
AT ITER 1681 NEW BEST:: SOT 53326 SOS 31776 HAS SOPS 22009 HAS SOUS 17428 HAS SOUPS 13838 WITH SCORE 13869.776
AT ITER 1703 NEW BEST:: SOT 53326 SOS 31775 HAS SOPS 22009 HAS SOUS 17406 HAS SOUPS 13838 WITH SCORE 13869.775
AT ITER 1726 NEW BEST:: SOT 53164 SOS 31613 HAS SOPS 21844 HAS SOUS 17244 HAS SOUPS 13673 WITH SCORE 13704.613
AT ITER 1731 NEW BEST:: SOT 53158 SOS 31607 HAS SOPS 21834 HAS SOUS 17234 HAS SOUPS 13663 WITH SCORE 13694.607
AT ITER 1749 NEW BEST:: SOT 53073 SOS 31550 HAS SOPS 21763 HAS SOUS 17149 HAS SOUPS 13578 WITH SCORE 13609.55
AT ITER 1752 NEW BEST:: SOT 53021 SOS 31508 HAS SOPS 21669 HAS SOUS 17050 HAS SOUPS 13479 WITH SCORE 13510.508
AT ITER 1753 NEW BEST:: SOT 53021 SOS 31476 HAS SOPS 21637 HAS SOUS 17050 HAS SOUPS 13479 WITH SCORE 13510.476
AT ITER 1756 NEW BEST:: SOT 53018 SOS 31653 HAS SOPS 21802 HAS SOUS 17047 HAS SOUPS 13478 WITH SCORE 13509.653
AT ITER 1791 NEW BEST:: SOT 53010 SOS 31645 HAS SOPS 21794 HAS SOUS 17039 HAS SOUPS 13470 WITH SCORE 13501.645
AT ITER 1793 NEW BEST:: SOT 53004 SOS 31639 HAS SOPS 21788 HAS SOUS 17033 HAS SOUPS 13464 WITH SCORE 13495.639
AT ITER 1799 NEW BEST:: SOT 52999 SOS 31634 HAS SOPS 21768 HAS SOUS 17024 HAS SOUPS 13444 WITH SCORE 13475.634
AT ITER 1819 NEW BEST:: SOT 53001 SOS 31830 HAS SOPS 21743 HAS SOUS 17247 HAS SOUPS 13419 WITH SCORE 13450.83
AT ITER 1845 NEW BEST:: SOT 52998 SOS 31837 HAS SOPS 21743 HAS SOUS 17242 HAS SOUPS 13414 WITH SCORE 13445.837
AT ITER 1896 NEW BEST:: SOT 52988 SOS 31827 HAS SOPS 21733 HAS SOUS 17232 HAS SOUPS 13404 WITH SCORE 13435.827
AT ITER 1948 NEW BEST:: SOT 52984 SOS 31083 HAS SOPS 21806 HAS SOUS 17099 HAS SOUPS 13396 WITH SCORE 13427.083
AT ITER 2024 NEW BEST:: SOT 52866 SOS 30986 HAS SOPS 21688 HAS SOUS 16974 HAS SOUPS 13346 WITH SCORE 13376.986
AT ITER 2032 NEW BEST:: SOT 52866 SOS 30977 HAS SOPS 21672 HAS SOUS 16958 HAS SOUPS 13330 WITH SCORE 13360.977
AT ITER 2041 NEW BEST:: SOT 52861 SOS 30972 HAS SOPS 21662 HAS SOUS 16948 HAS SOUPS 13320 WITH SCORE 13350.972
AT ITER 2052 NEW BEST:: SOT 52861 SOS 30972 HAS SOPS 21662 HAS SOUS 16937 HAS SOUPS 13309 WITH SCORE 13339.972
AT ITER 2056 NEW BEST:: SOT 52815 SOS 30904 HAS SOPS 21630 HAS SOUS 16915 HAS SOUPS 13288 WITH SCORE 13318.904
AT ITER 2090 NEW BEST:: SOT 52717 SOS 31080 HAS SOPS 21523 HAS SOUS 17215 HAS SOUPS 13181 WITH SCORE 13212.08
AT ITER 2092 NEW BEST:: SOT 52699 SOS 31062 HAS SOPS 21487 HAS SOUS 17190 HAS SOUPS 13145 WITH SCORE 13176.062
AT ITER 2095 NEW BEST:: SOT 52659 SOS 31034 HAS SOPS 21403 HAS SOUS 17100 HAS SOUPS 13055 WITH SCORE 13086.034
AT ITER 2111 NEW BEST:: SOT 52650 SOS 31025 HAS SOPS 21385 HAS SOUS 17091 HAS SOUPS 13037 WITH SCORE 13068.025
AT ITER 2123 NEW BEST:: SOT 52635 SOS 31010 HAS SOPS 21355 HAS SOUS 17076 HAS SOUPS 13007 WITH SCORE 13038.01
AT ITER 2171 NEW BEST:: SOT 52633 SOS 31008 HAS SOPS 21351 HAS SOUS 17074 HAS SOUPS 13003 WITH SCORE 13034.008
AT ITER 2208 NEW BEST:: SOT 52628 SOS 31003 HAS SOPS 21346 HAS SOUS 17073 HAS SOUPS 13002 WITH SCORE 13033.003
AT ITER 2211 NEW BEST:: SOT 52606 SOS 31026 HAS SOPS 21334 HAS SOUS 17062 HAS SOUPS 12990 WITH SCORE 13021.026
AT ITER 2225 NEW BEST:: SOT 52600 SOS 31020 HAS SOPS 21322 HAS SOUS 17056 HAS SOUPS 12978 WITH SCORE 13009.02
AT ITER 2234 NEW BEST:: SOT 52600 SOS 31016 HAS SOPS 21318 HAS SOUS 17056 HAS SOUPS 12978 WITH SCORE 13009.016
AT ITER 2247 NEW BEST:: SOT 52605 SOS 31006 HAS SOPS 21308 HAS SOUS 17051 HAS SOUPS 12973 WITH SCORE 13004.006
AT ITER 2265 NEW BEST:: SOT 52602 SOS 31003 HAS SOPS 21302 HAS SOUS 17047 HAS SOUPS 12967 WITH SCORE 12998.003
AT ITER 2275 NEW BEST:: SOT 52597 SOS 30998 HAS SOPS 21295 HAS SOUS 17040 HAS SOUPS 12960 WITH SCORE 12990.998
AT ITER 2276 NEW BEST:: SOT 52597 SOS 30991 HAS SOPS 21295 HAS SOUS 17030 HAS SOUPS 12960 WITH SCORE 12990.991
AT ITER 2304 NEW BEST:: SOT 52580 SOS 30974 HAS SOPS 21261 HAS SOUS 17013 HAS SOUPS 12926 WITH SCORE 12956.974
AT ITER 2315 NEW BEST:: SOT 52558 SOS 30952 HAS SOPS 21239 HAS SOUS 16991 HAS SOUPS 12904 WITH SCORE 12934.952
AT ITER 2331 NEW BEST:: SOT 52582 SOS 31252 HAS SOPS 21103 HAS SOUS 16963 HAS SOUPS 12847 WITH SCORE 12878.252
AT ITER 2332 NEW BEST:: SOT 52582 SOS 31236 HAS SOPS 21087 HAS SOUS 16961 HAS SOUPS 12845 WITH SCORE 12876.236
AT ITER 2346 NEW BEST:: SOT 52546 SOS 31194 HAS SOPS 21009 HAS SOUS 16883 HAS SOUPS 12767 WITH SCORE 12798.194
AT ITER 2347 NEW BEST:: SOT 52546 SOS 31178 HAS SOPS 21009 HAS SOUS 16883 HAS SOUPS 12767 WITH SCORE 12798.178
AT ITER 2349 NEW BEST:: SOT 52561 SOS 31144 HAS SOPS 20975 HAS SOUS 16849 HAS SOUPS 12733 WITH SCORE 12764.144
AT ITER 2362 NEW BEST:: SOT 52546 SOS 31129 HAS SOPS 20943 HAS SOUS 16834 HAS SOUPS 12701 WITH SCORE 12732.129
AT ITER 2404 NEW BEST:: SOT 52531 SOS 31146 HAS SOPS 20939 HAS SOUS 16814 HAS SOUPS 12681 WITH SCORE 12712.146
AT ITER 2422 NEW BEST:: SOT 52511 SOS 31126 HAS SOPS 20939 HAS SOUS 16794 HAS SOUPS 12681 WITH SCORE 12712.126
AT ITER 2451 NEW BEST:: SOT 52491 SOS 31125 HAS SOPS 20919 HAS SOUS 16883 HAS SOUPS 12661 WITH SCORE 12692.125
AT ITER 2489 NEW BEST:: SOT 52482 SOS 31119 HAS SOPS 20907 HAS SOUS 16892 HAS SOUPS 12661 WITH SCORE 12692.119
AT ITER 2493 NEW BEST:: SOT 52480 SOS 31117 HAS SOPS 20903 HAS SOUS 16890 HAS SOUPS 12657 WITH SCORE 12688.117
AT ITER 2502 NEW BEST:: SOT 52436 SOS 31080 HAS SOPS 20822 HAS SOUS 16809 HAS SOUPS 12576 WITH SCORE 12607.08
AT ITER 2520 NEW BEST:: SOT 52436 SOS 31045 HAS SOPS 20787 HAS SOUS 16804 HAS SOUPS 12571 WITH SCORE 12602.045
AT ITER 2543 NEW BEST:: SOT 52436 SOS 31045 HAS SOPS 20786 HAS SOUS 16804 HAS SOUPS 12570 WITH SCORE 12601.045
AT ITER 2548 NEW BEST:: SOT 52431 SOS 31069 HAS SOPS 20754 HAS SOUS 16944 HAS SOUPS 12538 WITH SCORE 12569.069
AT ITER 2551 NEW BEST:: SOT 52326 SOS 30941 HAS SOPS 20611 HAS SOUS 16924 HAS SOUPS 12503 WITH SCORE 12533.941
AT ITER 2632 NEW BEST:: SOT 52317 SOS 30930 HAS SOPS 20600 HAS SOUS 16914 HAS SOUPS 12493 WITH SCORE 12523.93
AT ITER 2656 NEW BEST:: SOT 52317 SOS 30586 HAS SOPS 20250 HAS SOUS 16877 HAS SOUPS 12456 WITH SCORE 12486.586
AT ITER 2658 NEW BEST:: SOT 52311 SOS 30582 HAS SOPS 20250 HAS SOUS 16842 HAS SOUPS 12422 WITH SCORE 12452.582
AT ITER 2671 NEW BEST:: SOT 52304 SOS 30577 HAS SOPS 20244 HAS SOUS 16836 HAS SOUPS 12415 WITH SCORE 12445.577
AT ITER 2727 NEW BEST:: SOT 52304 SOS 30513 HAS SOPS 20180 HAS SOUS 16828 HAS SOUPS 12407 WITH SCORE 12437.513
AT ITER 2733 NEW BEST:: SOT 52296 SOS 30505 HAS SOPS 20164 HAS SOUS 16819 HAS SOUPS 12391 WITH SCORE 12421.505
AT ITER 2741 NEW BEST:: SOT 52284 SOS 30493 HAS SOPS 20152 HAS SOUS 16819 HAS SOUPS 12391 WITH SCORE 12421.493
AT ITER 2746 NEW BEST:: SOT 52270 SOS 30477 HAS SOPS 20123 HAS SOUS 16798 HAS SOUPS 12362 WITH SCORE 12392.477
AT ITER 2757 NEW BEST:: SOT 52265 SOS 30472 HAS SOPS 20113 HAS SOUS 16793 HAS SOUPS 12352 WITH SCORE 12382.472
AT ITER 2776 NEW BEST:: SOT 52264 SOS 30471 HAS SOPS 20111 HAS SOUS 16792 HAS SOUPS 12350 WITH SCORE 12380.471
AT ITER 2783 NEW BEST:: SOT 52263 SOS 30470 HAS SOPS 20110 HAS SOUS 16791 HAS SOUPS 12349 WITH SCORE 12379.47
AT ITER 2795 NEW BEST:: SOT 52263 SOS 30470 HAS SOPS 20106 HAS SOUS 16791 HAS SOUPS 12345 WITH SCORE 12375.47
AT ITER 2800 NEW BEST:: SOT 52208 SOS 30415 HAS SOPS 20040 HAS SOUS 16736 HAS SOUPS 12279 WITH SCORE 12309.415
AT ITER 2833 NEW BEST:: SOT 52208 SOS 30407 HAS SOPS 20032 HAS SOUS 16735 HAS SOUPS 12278 WITH SCORE 12308.407
AT ITER 2840 NEW BEST:: SOT 52210 SOS 30409 HAS SOPS 20030 HAS SOUS 16737 HAS SOUPS 12276 WITH SCORE 12306.409
AT ITER 2857 NEW BEST:: SOT 52218 SOS 30462 HAS SOPS 20027 HAS SOUS 16976 HAS SOUPS 12273 WITH SCORE 12303.462
AT ITER 2882 NEW BEST:: SOT 52190 SOS 30430 HAS SOPS 19999 HAS SOUS 16948 HAS SOUPS 12245 WITH SCORE 12275.43
AT ITER 2930 NEW BEST:: SOT 52190 SOS 30492 HAS SOPS 19998 HAS SOUS 16967 HAS SOUPS 12244 WITH SCORE 12274.492
AT ITER 2938 NEW BEST:: SOT 52178 SOS 30480 HAS SOPS 19975 HAS SOUS 16955 HAS SOUPS 12221 WITH SCORE 12251.48
AT ITER 2955 NEW BEST:: SOT 52170 SOS 30469 HAS SOPS 19964 HAS SOUS 16944 HAS SOUPS 12210 WITH SCORE 12240.469
AT ITER 2958 NEW BEST:: SOT 52166 SOS 30465 HAS SOPS 19956 HAS SOUS 16931 HAS SOUPS 12202 WITH SCORE 12232.465
AT ITER 2964 NEW BEST:: SOT 52166 SOS 30411 HAS SOPS 19902 HAS SOUS 16928 HAS SOUPS 12199 WITH SCORE 12229.411
AT ITER 2975 NEW BEST:: SOT 52159 SOS 30404 HAS SOPS 19888 HAS SOUS 16921 HAS SOUPS 12185 WITH SCORE 12215.404
AT ITER 2994 NEW BEST:: SOT 52167 SOS 30418 HAS SOPS 19900 HAS SOUS 16917 HAS SOUPS 12181 WITH SCORE 12211.418
AT ITER 3022 NEW BEST:: SOT 52167 SOS 30426 HAS SOPS 19896 HAS SOUS 16941 HAS SOUPS 12177 WITH SCORE 12207.426
AT ITER 3078 NEW BEST:: SOT 52164 SOS 30423 HAS SOPS 19890 HAS SOUS 16938 HAS SOUPS 12171 WITH SCORE 12201.423
AT ITER 3090 NEW BEST:: SOT 52161 SOS 30420 HAS SOPS 19884 HAS SOUS 16932 HAS SOUPS 12165 WITH SCORE 12195.42
AT ITER 3093 NEW BEST:: SOT 52161 SOS 30406 HAS SOPS 19870 HAS SOUS 16931 HAS SOUPS 12164 WITH SCORE 12194.406
AT ITER 3121 NEW BEST:: SOT 52157 SOS 30402 HAS SOPS 19860 HAS SOUS 16927 HAS SOUPS 12154 WITH SCORE 12184.402
AT ITER 3122 NEW BEST:: SOT 52150 SOS 30395 HAS SOPS 19846 HAS SOUS 16920 HAS SOUPS 12140 WITH SCORE 12170.395
AT ITER 3151 NEW BEST:: SOT 52149 SOS 30394 HAS SOPS 19844 HAS SOUS 16919 HAS SOUPS 12138 WITH SCORE 12168.394
AT ITER 3308 NEW BEST:: SOT 52132 SOS 30377 HAS SOPS 19827 HAS SOUS 16902 HAS SOUPS 12121 WITH SCORE 12151.377
AT ITER 3352 NEW BEST:: SOT 52117 SOS 30362 HAS SOPS 19809 HAS SOUS 16884 HAS SOUPS 12103 WITH SCORE 12133.362
AT ITER 3401 NEW BEST:: SOT 52117 SOS 30350 HAS SOPS 19809 HAS SOUS 16884 HAS SOUPS 12103 WITH SCORE 12133.35
AT ITER 3403 NEW BEST:: SOT 52114 SOS 30347 HAS SOPS 19803 HAS SOUS 16878 HAS SOUPS 12097 WITH SCORE 12127.347
AT ITER 3426 NEW BEST:: SOT 52113 SOS 30346 HAS SOPS 19801 HAS SOUS 16877 HAS SOUPS 12095 WITH SCORE 12125.346
AT ITER 3431 NEW BEST:: SOT 52113 SOS 30346 HAS SOPS 19800 HAS SOUS 16877 HAS SOUPS 12094 WITH SCORE 12124.346
AT ITER 3462 NEW BEST:: SOT 52108 SOS 30341 HAS SOPS 19794 HAS SOUS 16871 HAS SOUPS 12088 WITH SCORE 12118.341
AT ITER 3496 NEW BEST:: SOT 52104 SOS 30333 HAS SOPS 19786 HAS SOUS 16863 HAS SOUPS 12080 WITH SCORE 12110.333
AT ITER 3511 NEW BEST:: SOT 52173 SOS 30399 HAS SOPS 19751 HAS SOUS 16868 HAS SOUPS 12068 WITH SCORE 12098.399
AT ITER 3512 NEW BEST:: SOT 52202 SOS 30454 HAS SOPS 19784 HAS SOUS 16856 HAS SOUPS 12061 WITH SCORE 12091.454
AT ITER 3527 NEW BEST:: SOT 52202 SOS 30570 HAS SOPS 19885 HAS SOUS 16802 HAS SOUPS 12007 WITH SCORE 12037.57
AT ITER 3550 NEW BEST:: SOT 52200 SOS 30568 HAS SOPS 19883 HAS SOUS 16800 HAS SOUPS 12005 WITH SCORE 12035.568
AT ITER 3570 NEW BEST:: SOT 52200 SOS 30640 HAS SOPS 19955 HAS SOUS 16797 HAS SOUPS 12002 WITH SCORE 12032.64
AT ITER 3577 NEW BEST:: SOT 52197 SOS 30637 HAS SOPS 19951 HAS SOUS 16794 HAS SOUPS 11998 WITH SCORE 12028.637
AT ITER 3602 NEW BEST:: SOT 52185 SOS 30625 HAS SOPS 19939 HAS SOUS 16782 HAS SOUPS 11986 WITH SCORE 12016.625
AT ITER 3698 NEW BEST:: SOT 52181 SOS 30596 HAS SOPS 19928 HAS SOUS 16697 HAS SOUPS 11975 WITH SCORE 12005.596
AT ITER 3731 NEW BEST:: SOT 52232 SOS 30512 HAS SOPS 19986 HAS SOUS 16668 HAS SOUPS 11957 WITH SCORE 11987.512
AT ITER 3782 NEW BEST:: SOT 52231 SOS 30511 HAS SOPS 19984 HAS SOUS 16667 HAS SOUPS 11955 WITH SCORE 11985.511
AT ITER 3815 NEW BEST:: SOT 52231 SOS 30479 HAS SOPS 19952 HAS SOUS 16663 HAS SOUPS 11951 WITH SCORE 11981.479
AT ITER 3821 NEW BEST:: SOT 52231 SOS 30497 HAS SOPS 19959 HAS SOUS 16633 HAS SOUPS 11928 WITH SCORE 11958.497
AT ITER 3822 NEW BEST:: SOT 52227 SOS 30493 HAS SOPS 19951 HAS SOUS 16624 HAS SOUPS 11920 WITH SCORE 11950.493
AT ITER 3856 NEW BEST:: SOT 52226 SOS 30492 HAS SOPS 19949 HAS SOUS 16623 HAS SOUPS 11918 WITH SCORE 11948.492
AT ITER 3871 NEW BEST:: SOT 52226 SOS 30489 HAS SOPS 19925 HAS SOUS 16599 HAS SOUPS 11894 WITH SCORE 11924.489
AT ITER 3875 NEW BEST:: SOT 52140 SOS 30403 HAS SOPS 19837 HAS SOUS 16535 HAS SOUPS 11830 WITH SCORE 11860.403
AT ITER 3990 NEW BEST:: SOT 52140 SOS 30403 HAS SOPS 19818 HAS SOUS 16516 HAS SOUPS 11811 WITH SCORE 11841.403
AT ITER 3996 NEW BEST:: SOT 52119 SOS 30396 HAS SOPS 19776 HAS SOUS 16467 HAS SOUPS 11762 WITH SCORE 11792.396
AT ITER 4041 NEW BEST:: SOT 52244 SOS 30532 HAS SOPS 19912 HAS SOUS 16403 HAS SOUPS 11698 WITH SCORE 11728.532
AT ITER 4047 NEW BEST:: SOT 52239 SOS 30527 HAS SOPS 19905 HAS SOUS 16398 HAS SOUPS 11691 WITH SCORE 11721.527
AT ITER 4054 NEW BEST:: SOT 52225 SOS 30513 HAS SOPS 19891 HAS SOUS 16384 HAS SOUPS 11677 WITH SCORE 11707.513
AT ITER 4087 NEW BEST:: SOT 52225 SOS 30517 HAS SOPS 19889 HAS SOUS 16382 HAS SOUPS 11675 WITH SCORE 11705.517
AT ITER 4097 NEW BEST:: SOT 52234 SOS 30542 HAS SOPS 19901 HAS SOUS 16372 HAS SOUPS 11665 WITH SCORE 11695.542
AT ITER 4132 NEW BEST:: SOT 52165 SOS 30507 HAS SOPS 19832 HAS SOUS 16421 HAS SOUPS 11640 WITH SCORE 11670.507
AT ITER 4136 NEW BEST:: SOT 52163 SOS 30505 HAS SOPS 19828 HAS SOUS 16419 HAS SOUPS 11636 WITH SCORE 11666.505
AT ITER 4146 NEW BEST:: SOT 52220 SOS 30573 HAS SOPS 19951 HAS SOUS 16374 HAS SOUPS 11591 WITH SCORE 11621.573
AT ITER 4163 NEW BEST:: SOT 52213 SOS 30566 HAS SOPS 19940 HAS SOUS 16367 HAS SOUPS 11580 WITH SCORE 11610.566
AT ITER 4209 NEW BEST:: SOT 52174 SOS 30527 HAS SOPS 19901 HAS SOUS 16356 HAS SOUPS 11569 WITH SCORE 11599.527
AT ITER 4214 NEW BEST:: SOT 52171 SOS 30524 HAS SOPS 19889 HAS SOUS 16353 HAS SOUPS 11557 WITH SCORE 11587.524
AT ITER 4265 NEW BEST:: SOT 52160 SOS 30511 HAS SOPS 19876 HAS SOUS 16341 HAS SOUPS 11545 WITH SCORE 11575.511
AT ITER 4293 NEW BEST:: SOT 52158 SOS 30509 HAS SOPS 19874 HAS SOUS 16339 HAS SOUPS 11543 WITH SCORE 11573.509
AT ITER 4319 NEW BEST:: SOT 52134 SOS 30475 HAS SOPS 19837 HAS SOUS 16286 HAS SOUPS 11490 WITH SCORE 11520.475
AT ITER 4355 NEW BEST:: SOT 52134 SOS 30473 HAS SOPS 19835 HAS SOUS 16284 HAS SOUPS 11488 WITH SCORE 11518.473
AT ITER 4377 NEW BEST:: SOT 52134 SOS 30532 HAS SOPS 19834 HAS SOUS 16492 HAS SOUPS 11487 WITH SCORE 11517.532
AT ITER 4380 NEW BEST:: SOT 52109 SOS 30471 HAS SOPS 19773 HAS SOUS 16431 HAS SOUPS 11426 WITH SCORE 11456.471
AT ITER 4386 NEW BEST:: SOT 52005 SOS 30314 HAS SOPS 19643 HAS SOUS 16378 HAS SOUPS 11373 WITH SCORE 11403.314
AT ITER 4421 NEW BEST:: SOT 51987 SOS 30312 HAS SOPS 19619 HAS SOUS 16402 HAS SOUPS 11373 WITH SCORE 11403.312
AT ITER 4459 NEW BEST:: SOT 51977 SOS 30303 HAS SOPS 19616 HAS SOUS 16384 HAS SOUPS 11370 WITH SCORE 11400.303
AT ITER 4520 NEW BEST:: SOT 52001 SOS 30323 HAS SOPS 19493 HAS SOUS 16366 HAS SOUPS 11352 WITH SCORE 11382.323
AT ITER 4543 NEW BEST:: SOT 51998 SOS 30320 HAS SOPS 19489 HAS SOUS 16363 HAS SOUPS 11348 WITH SCORE 11378.32
AT ITER 4553 NEW BEST:: SOT 51998 SOS 30302 HAS SOPS 19471 HAS SOUS 16363 HAS SOUPS 11348 WITH SCORE 11378.302
AT ITER 4652 NEW BEST:: SOT 52023 SOS 30308 HAS SOPS 19517 HAS SOUS 16332 HAS SOUPS 11322 WITH SCORE 11352.308
AT ITER 4668 NEW BEST:: SOT 52015 SOS 30300 HAS SOPS 19502 HAS SOUS 16317 HAS SOUPS 11307 WITH SCORE 11337.3
AT ITER 4736 NEW BEST:: SOT 52015 SOS 30325 HAS SOPS 19497 HAS SOUS 16332 HAS SOUPS 11302 WITH SCORE 11332.325
AT ITER 4737 NEW BEST:: SOT 52015 SOS 30304 HAS SOPS 19476 HAS SOUS 16332 HAS SOUPS 11302 WITH SCORE 11332.304
AT ITER 4786 NEW BEST:: SOT 51853 SOS 30119 HAS SOPS 19291 HAS SOUS 16326 HAS SOUPS 11296 WITH SCORE 11326.119
AT ITER 4788 NEW BEST:: SOT 51853 SOS 30119 HAS SOPS 19287 HAS SOUS 16326 HAS SOUPS 11292 WITH SCORE 11322.119
AT ITER 4856 NEW BEST:: SOT 51827 SOS 30122 HAS SOPS 19285 HAS SOUS 16329 HAS SOUPS 11290 WITH SCORE 11320.122
AT ITER 4884 NEW BEST:: SOT 51826 SOS 30101 HAS SOPS 19276 HAS SOUS 16317 HAS SOUPS 11281 WITH SCORE 11311.101
AT ITER 4922 NEW BEST:: SOT 51906 SOS 30106 HAS SOPS 19359 HAS SOUS 16298 HAS SOUPS 11268 WITH SCORE 11298.106
AT ITER 4949 NEW BEST:: SOT 51724 SOS 29738 HAS SOPS 19231 HAS SOUS 16020 HAS SOUPS 11020 WITH SCORE 11049.738
AT ITER 5004 NEW BEST:: SOT 51667 SOS 29691 HAS SOPS 19148 HAS SOUS 16010 HAS SOUPS 11007 WITH SCORE 11036.691
AT ITER 5007 NEW BEST:: SOT 51658 SOS 29679 HAS SOPS 19115 HAS SOUS 15977 HAS SOUPS 10974 WITH SCORE 11003.679
AT ITER 5009 NEW BEST:: SOT 51627 SOS 29677 HAS SOPS 19099 HAS SOUS 15963 HAS SOUPS 10959 WITH SCORE 10988.677
AT ITER 5042 NEW BEST:: SOT 51624 SOS 29674 HAS SOPS 19093 HAS SOUS 15954 HAS SOUPS 10953 WITH SCORE 10982.674
AT ITER 5136 NEW BEST:: SOT 51618 SOS 29668 HAS SOPS 19081 HAS SOUS 15948 HAS SOUPS 10941 WITH SCORE 10970.668
AT ITER 5162 NEW BEST:: SOT 51631 SOS 29676 HAS SOPS 19059 HAS SOUS 15926 HAS SOUPS 10919 WITH SCORE 10948.676
AT ITER 5248 NEW BEST:: SOT 51628 SOS 29673 HAS SOPS 19053 HAS SOUS 15923 HAS SOUPS 10913 WITH SCORE 10942.673
AT ITER 5298 NEW BEST:: SOT 51628 SOS 29673 HAS SOPS 19034 HAS SOUS 15923 HAS SOUPS 10894 WITH SCORE 10923.673
AT ITER 5425 NEW BEST:: SOT 51856 SOS 29929 HAS SOPS 19301 HAS SOUS 15904 HAS SOUPS 10886 WITH SCORE 10915.929
AT ITER 5426 NEW BEST:: SOT 51856 SOS 30006 HAS SOPS 19378 HAS SOUS 15903 HAS SOUPS 10885 WITH SCORE 10915.006
AT ITER 5447 NEW BEST:: SOT 51848 SOS 29959 HAS SOPS 19339 HAS SOUS 15854 HAS SOUPS 10844 WITH SCORE 10873.959
AT ITER 5534 NEW BEST:: SOT 51845 SOS 29956 HAS SOPS 19333 HAS SOUS 15851 HAS SOUPS 10838 WITH SCORE 10867.956
AT ITER 5550 NEW BEST:: SOT 51845 SOS 29938 HAS SOPS 19306 HAS SOUS 15842 HAS SOUPS 10820 WITH SCORE 10849.938
AT ITER 5650 NEW BEST:: SOT 51839 SOS 29933 HAS SOPS 19294 HAS SOUS 15829 HAS SOUPS 10807 WITH SCORE 10836.933
AT ITER 5679 NEW BEST:: SOT 51834 SOS 29928 HAS SOPS 19281 HAS SOUS 15824 HAS SOUPS 10794 WITH SCORE 10823.928
AT ITER 5687 NEW BEST:: SOT 51784 SOS 29828 HAS SOPS 19231 HAS SOUS 15734 HAS SOUPS 10744 WITH SCORE 10773.828
AT ITER 5718 NEW BEST:: SOT 51777 SOS 29821 HAS SOPS 19219 HAS SOUS 15722 HAS SOUPS 10732 WITH SCORE 10761.821
AT ITER 5732 NEW BEST:: SOT 51777 SOS 29842 HAS SOPS 19212 HAS SOUS 15764 HAS SOUPS 10725 WITH SCORE 10754.842
AT ITER 5787 NEW BEST:: SOT 51839 SOS 29920 HAS SOPS 19290 HAS SOUS 15675 HAS SOUPS 10636 WITH SCORE 10665.92
AT ITER 5925 NEW BEST:: SOT 51776 SOS 29887 HAS SOPS 19210 HAS SOUS 15774 HAS SOUPS 10612 WITH SCORE 10641.887
AT ITER 5937 NEW BEST:: SOT 51748 SOS 29859 HAS SOPS 19182 HAS SOUS 15726 HAS SOUPS 10556 WITH SCORE 10585.859
AT ITER 5981 NEW BEST:: SOT 51744 SOS 29855 HAS SOPS 19182 HAS SOUS 15722 HAS SOUPS 10556 WITH SCORE 10585.855
AT ITER 6021 NEW BEST:: SOT 51749 SOS 29809 HAS SOPS 19240 HAS SOUS 15601 HAS SOUPS 10448 WITH SCORE 10477.809
AT ITER 6022 NEW BEST:: SOT 51752 SOS 29812 HAS SOPS 19234 HAS SOUS 15604 HAS SOUPS 10442 WITH SCORE 10471.812
AT ITER 6080 NEW BEST:: SOT 51756 SOS 29816 HAS SOPS 19237 HAS SOUS 15602 HAS SOUPS 10440 WITH SCORE 10469.816
AT ITER 6087 NEW BEST:: SOT 51687 SOS 29747 HAS SOPS 19167 HAS SOUS 15601 HAS SOUPS 10438 WITH SCORE 10467.747
AT ITER 6089 NEW BEST:: SOT 51675 SOS 29735 HAS SOPS 19151 HAS SOUS 15605 HAS SOUPS 10438 WITH SCORE 10467.735
AT ITER 6154 NEW BEST:: SOT 51664 SOS 29724 HAS SOPS 19136 HAS SOUS 15594 HAS SOUPS 10423 WITH SCORE 10452.724
AT ITER 6259 NEW BEST:: SOT 51662 SOS 29722 HAS SOPS 19132 HAS SOUS 15592 HAS SOUPS 10419 WITH SCORE 10448.722
AT ITER 6261 NEW BEST:: SOT 51651 SOS 29711 HAS SOPS 19110 HAS SOUS 15568 HAS SOUPS 10397 WITH SCORE 10426.711
AT ITER 6292 NEW BEST:: SOT 51643 SOS 29691 HAS SOPS 19091 HAS SOUS 15562 HAS SOUPS 10391 WITH SCORE 10420.691
AT ITER 6317 NEW BEST:: SOT 51643 SOS 29701 HAS SOPS 19089 HAS SOUS 15570 HAS SOUPS 10389 WITH SCORE 10418.701
AT ITER 6350 NEW BEST:: SOT 51609 SOS 29667 HAS SOPS 19055 HAS SOUS 15536 HAS SOUPS 10355 WITH SCORE 10384.667
AT ITER 6420 NEW BEST:: SOT 51608 SOS 29666 HAS SOPS 19053 HAS SOUS 15535 HAS SOUPS 10353 WITH SCORE 10382.666
AT ITER 6430 NEW BEST:: SOT 51608 SOS 29673 HAS SOPS 19060 HAS SOUS 15528 HAS SOUPS 10346 WITH SCORE 10375.673
AT ITER 6461 NEW BEST:: SOT 51670 SOS 29768 HAS SOPS 19071 HAS SOUS 15527 HAS SOUPS 10345 WITH SCORE 10374.768
AT ITER 6475 NEW BEST:: SOT 51667 SOS 29765 HAS SOPS 19065 HAS SOUS 15524 HAS SOUPS 10339 WITH SCORE 10368.765
AT ITER 6499 NEW BEST:: SOT 51691 SOS 29772 HAS SOPS 19089 HAS SOUS 15492 HAS SOUPS 10335 WITH SCORE 10364.772
AT ITER 6523 NEW BEST:: SOT 51686 SOS 29767 HAS SOPS 19079 HAS SOUS 15487 HAS SOUPS 10325 WITH SCORE 10354.767
AT ITER 6605 NEW BEST:: SOT 51685 SOS 29766 HAS SOPS 19077 HAS SOUS 15486 HAS SOUPS 10323 WITH SCORE 10352.766
AT ITER 6613 NEW BEST:: SOT 51673 SOS 29754 HAS SOPS 19065 HAS SOUS 15482 HAS SOUPS 10319 WITH SCORE 10348.754
AT ITER 6631 NEW BEST:: SOT 51673 SOS 29739 HAS SOPS 19050 HAS SOUS 15482 HAS SOUPS 10319 WITH SCORE 10348.739
AT ITER 6689 NEW BEST:: SOT 51658 SOS 29655 HAS SOPS 18962 HAS SOUS 15463 HAS SOUPS 10296 WITH SCORE 10325.655
AT ITER 6700 NEW BEST:: SOT 51638 SOS 29739 HAS SOPS 18931 HAS SOUS 15473 HAS SOUPS 10293 WITH SCORE 10322.739
AT ITER 6737 NEW BEST:: SOT 51630 SOS 29731 HAS SOPS 18917 HAS SOUS 15465 HAS SOUPS 10279 WITH SCORE 10308.731
AT ITER 6751 NEW BEST:: SOT 51630 SOS 29750 HAS SOPS 18936 HAS SOUS 15463 HAS SOUPS 10277 WITH SCORE 10306.75
AT ITER 6769 NEW BEST:: SOT 51642 SOS 29749 HAS SOPS 18940 HAS SOUS 15462 HAS SOUPS 10276 WITH SCORE 10305.749
AT ITER 6812 NEW BEST:: SOT 51652 SOS 29737 HAS SOPS 18924 HAS SOUS 15461 HAS SOUPS 10271 WITH SCORE 10300.737
AT ITER 6814 NEW BEST:: SOT 51591 SOS 29732 HAS SOPS 18899 HAS SOUS 15428 HAS SOUPS 10218 WITH SCORE 10247.732
AT ITER 6900 NEW BEST:: SOT 51535 SOS 29676 HAS SOPS 18843 HAS SOUS 15372 HAS SOUPS 10162 WITH SCORE 10191.676
AT ITER 6911 NEW BEST:: SOT 51522 SOS 29663 HAS SOPS 18815 HAS SOUS 15359 HAS SOUPS 10134 WITH SCORE 10163.663
AT ITER 6955 NEW BEST:: SOT 51522 SOS 29674 HAS SOPS 18814 HAS SOUS 15375 HAS SOUPS 10133 WITH SCORE 10162.674
AT ITER 7008 NEW BEST:: SOT 51517 SOS 29669 HAS SOPS 18809 HAS SOUS 15370 HAS SOUPS 10128 WITH SCORE 10157.669
AT ITER 7102 NEW BEST:: SOT 51517 SOS 29637 HAS SOPS 18809 HAS SOUS 15360 HAS SOUPS 10128 WITH SCORE 10157.637
AT ITER 7106 NEW BEST:: SOT 51517 SOS 29595 HAS SOPS 18767 HAS SOUS 15360 HAS SOUPS 10128 WITH SCORE 10157.595
AT ITER 7190 NEW BEST:: SOT 51517 SOS 29577 HAS SOPS 18749 HAS SOUS 15360 HAS SOUPS 10128 WITH SCORE 10157.577
AT ITER 7235 NEW BEST:: SOT 51505 SOS 29531 HAS SOPS 18703 HAS SOUS 15352 HAS SOUPS 10120 WITH SCORE 10149.531
AT ITER 7277 NEW BEST:: SOT 51502 SOS 29528 HAS SOPS 18700 HAS SOUS 15349 HAS SOUPS 10117 WITH SCORE 10146.528
AT ITER 7290 NEW BEST:: SOT 51501 SOS 29527 HAS SOPS 18698 HAS SOUS 15348 HAS SOUPS 10115 WITH SCORE 10144.527
AT ITER 7293 NEW BEST:: SOT 51501 SOS 29527 HAS SOPS 18696 HAS SOUS 15346 HAS SOUPS 10113 WITH SCORE 10142.527
AT ITER 7297 NEW BEST:: SOT 51500 SOS 29526 HAS SOPS 18684 HAS SOUS 15334 HAS SOUPS 10101 WITH SCORE 10130.526
AT ITER 7321 NEW BEST:: SOT 51491 SOS 29513 HAS SOPS 18650 HAS SOUS 15300 HAS SOUPS 10067 WITH SCORE 10096.513
AT ITER 7322 NEW BEST:: SOT 51468 SOS 29527 HAS SOPS 18620 HAS SOUS 15315 HAS SOUPS 10065 WITH SCORE 10094.527
AT ITER 7369 NEW BEST:: SOT 51435 SOS 29495 HAS SOPS 18572 HAS SOUS 15282 HAS SOUPS 10030 WITH SCORE 10059.495
AT ITER 7418 NEW BEST:: SOT 51453 SOS 29513 HAS SOPS 18580 HAS SOUS 15251 HAS SOUPS 9999 WITH SCORE 10028.513
AT ITER 7440 NEW BEST:: SOT 51451 SOS 29511 HAS SOPS 18576 HAS SOUS 15249 HAS SOUPS 9995 WITH SCORE 10024.511
AT ITER 7462 NEW BEST:: SOT 51450 SOS 29510 HAS SOPS 18575 HAS SOUS 15248 HAS SOUPS 9994 WITH SCORE 10023.51
AT ITER 7506 NEW BEST:: SOT 51449 SOS 29509 HAS SOPS 18574 HAS SOUS 15247 HAS SOUPS 9993 WITH SCORE 10022.509
AT ITER 7638 NEW BEST:: SOT 51448 SOS 29508 HAS SOPS 18572 HAS SOUS 15246 HAS SOUPS 9991 WITH SCORE 10020.508
AT ITER 7653 NEW BEST:: SOT 51448 SOS 29439 HAS SOPS 18503 HAS SOUS 15237 HAS SOUPS 9982 WITH SCORE 10011.439
AT ITER 7834 NEW BEST:: SOT 51482 SOS 29425 HAS SOPS 18501 HAS SOUS 15196 HAS SOUPS 9947 WITH SCORE 9976.425
AT ITER 7931 NEW BEST:: SOT 51480 SOS 29423 HAS SOPS 18501 HAS SOUS 15194 HAS SOUPS 9947 WITH SCORE 9976.423
AT ITER 7960 NEW BEST:: SOT 51475 SOS 29354 HAS SOPS 18445 HAS SOUS 15186 HAS SOUPS 9938 WITH SCORE 9967.354
AT ITER 8048 NEW BEST:: SOT 51436 SOS 29210 HAS SOPS 18406 HAS SOUS 15144 HAS SOUPS 9935 WITH SCORE 9964.21
AT ITER 8082 NEW BEST:: SOT 51420 SOS 29198 HAS SOPS 18380 HAS SOUS 15116 HAS SOUPS 9907 WITH SCORE 9936.198
AT ITER 8309 NEW BEST:: SOT 51418 SOS 29196 HAS SOPS 18377 HAS SOUS 15114 HAS SOUPS 9904 WITH SCORE 9933.196
AT ITER 8368 NEW BEST:: SOT 51418 SOS 29193 HAS SOPS 18374 HAS SOUS 15111 HAS SOUPS 9901 WITH SCORE 9930.193
AT ITER 8402 NEW BEST:: SOT 51412 SOS 29187 HAS SOPS 18368 HAS SOUS 15105 HAS SOUPS 9895 WITH SCORE 9924.187
AT ITER 8404 NEW BEST:: SOT 51412 SOS 29175 HAS SOPS 18364 HAS SOUS 15101 HAS SOUPS 9891 WITH SCORE 9920.175
AT ITER 8437 NEW BEST:: SOT 51411 SOS 29174 HAS SOPS 18363 HAS SOUS 15100 HAS SOUPS 9890 WITH SCORE 9919.174
AT ITER 8462 NEW BEST:: SOT 51412 SOS 29175 HAS SOPS 18361 HAS SOUS 15101 HAS SOUPS 9888 WITH SCORE 9917.175
AT ITER 8484 NEW BEST:: SOT 51404 SOS 29165 HAS SOPS 18351 HAS SOUS 15091 HAS SOUPS 9878 WITH SCORE 9907.165
AT ITER 8519 NEW BEST:: SOT 51401 SOS 29162 HAS SOPS 18345 HAS SOUS 15088 HAS SOUPS 9872 WITH SCORE 9901.162
AT ITER 8563 NEW BEST:: SOT 51402 SOS 29163 HAS SOPS 18350 HAS SOUS 15069 HAS SOUPS 9853 WITH SCORE 9882.163
AT ITER 8571 NEW BEST:: SOT 51401 SOS 29162 HAS SOPS 18348 HAS SOUS 15068 HAS SOUPS 9851 WITH SCORE 9880.162
AT ITER 8616 NEW BEST:: SOT 51394 SOS 29155 HAS SOPS 18347 HAS SOUS 15057 HAS SOUPS 9850 WITH SCORE 9879.155
AT ITER 8619 NEW BEST:: SOT 51558 SOS 29216 HAS SOPS 18430 HAS SOUS 14870 HAS SOUPS 9685 WITH SCORE 9714.216
AT ITER 8671 NEW BEST:: SOT 51645 SOS 29205 HAS SOPS 18443 HAS SOUS 14850 HAS SOUPS 9678 WITH SCORE 9707.205
AT ITER 8701 NEW BEST:: SOT 51645 SOS 29193 HAS SOPS 18431 HAS SOUS 14850 HAS SOUPS 9678 WITH SCORE 9707.193
AT ITER 8713 NEW BEST:: SOT 51625 SOS 29173 HAS SOPS 18411 HAS SOUS 14835 HAS SOUPS 9674 WITH SCORE 9703.173
AT ITER 8871 NEW BEST:: SOT 51622 SOS 29193 HAS SOPS 18422 HAS SOUS 14797 HAS SOUPS 9637 WITH SCORE 9666.193
AT ITER 8894 NEW BEST:: SOT 51638 SOS 29179 HAS SOPS 18414 HAS SOUS 14771 HAS SOUPS 9614 WITH SCORE 9643.179
AT ITER 8913 NEW BEST:: SOT 51624 SOS 29151 HAS SOPS 18386 HAS SOUS 14753 HAS SOUPS 9596 WITH SCORE 9625.151
AT ITER 8917 NEW BEST:: SOT 51747 SOS 29212 HAS SOPS 18447 HAS SOUS 14686 HAS SOUPS 9529 WITH SCORE 9558.212
AT ITER 9053 NEW BEST:: SOT 51746 SOS 29211 HAS SOPS 18446 HAS SOUS 14685 HAS SOUPS 9528 WITH SCORE 9557.211
AT ITER 9140 NEW BEST:: SOT 51743 SOS 29208 HAS SOPS 18440 HAS SOUS 14682 HAS SOUPS 9522 WITH SCORE 9551.208
AT ITER 9204 NEW BEST:: SOT 51739 SOS 29204 HAS SOPS 18436 HAS SOUS 14678 HAS SOUPS 9518 WITH SCORE 9547.204
AT ITER 9310 NEW BEST:: SOT 51738 SOS 29203 HAS SOPS 18434 HAS SOUS 14677 HAS SOUPS 9516 WITH SCORE 9545.203
AT ITER 9459 NEW BEST:: SOT 51713 SOS 29178 HAS SOPS 18409 HAS SOUS 14672 HAS SOUPS 9511 WITH SCORE 9540.178
AT ITER 9462 NEW BEST:: SOT 51713 SOS 29176 HAS SOPS 18407 HAS SOUS 14670 HAS SOUPS 9509 WITH SCORE 9538.176
AT ITER 9473 NEW BEST:: SOT 51713 SOS 29168 HAS SOPS 18399 HAS SOUS 14669 HAS SOUPS 9508 WITH SCORE 9537.168
AT ITER 9487 NEW BEST:: SOT 51713 SOS 29168 HAS SOPS 18399 HAS SOUS 14658 HAS SOUPS 9497 WITH SCORE 9526.168
AT ITER 9502 NEW BEST:: SOT 51713 SOS 29255 HAS SOPS 18376 HAS SOUS 14764 HAS SOUPS 9474 WITH SCORE 9503.255
AT ITER 9814 NEW BEST:: SOT 51755 SOS 29273 HAS SOPS 18446 HAS SOUS 14750 HAS SOUPS 9464 WITH SCORE 9493.273
AT ITER 9908 NEW BEST:: SOT 51737 SOS 29262 HAS SOPS 18422 HAS SOUS 14803 HAS SOUPS 9464 WITH SCORE 9493.262
AT ITER 9918 NEW BEST:: SOT 51725 SOS 29235 HAS SOPS 18413 HAS SOUS 14671 HAS SOUPS 9455 WITH SCORE 9484.235

BK_STOP 1678616330743

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-PT-7"
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 LamportFastMutEx-PT-7, 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 r227-tall-167856410400440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-PT-7.tgz
mv LamportFastMutEx-PT-7 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 ;