Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r515-tall-167987241900024.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 Anderson-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 736K
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 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 273K 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 1679873496405

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=Anderson-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 06
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: 229 places, 600 transitions, 2280 arcs.
AT ITER 0 NEW BEST:: SOT 79365 SOS 49280 HAS SOPS 49280 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21302.28
AT ITER 3 NEW BEST:: SOT 79305 SOS 49040 HAS SOPS 49040 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21212.04
AT ITER 5 NEW BEST:: SOT 79019 SOS 48484 HAS SOPS 48484 HAS SOUS 21126 HAS SOUPS 21126 WITH SCORE 21174.484
AT ITER 12 NEW BEST:: SOT 78823 SOS 48341 HAS SOPS 48341 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20990.341
AT ITER 39 NEW BEST:: SOT 79716 SOS 49287 HAS SOPS 49287 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20969.287
AT ITER 58 NEW BEST:: SOT 79716 SOS 49259 HAS SOPS 49259 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20941.259
AT ITER 72 NEW BEST:: SOT 79716 SOS 49259 HAS SOPS 49259 HAS SOUS 20886 HAS SOUPS 20886 WITH SCORE 20935.259
AT ITER 73 NEW BEST:: SOT 80191 SOS 49684 HAS SOPS 49684 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20784.684
AT ITER 79 NEW BEST:: SOT 80191 SOS 49675 HAS SOPS 49675 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20784.675
AT ITER 101 NEW BEST:: SOT 80191 SOS 49668 HAS SOPS 49668 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20777.668
AT ITER 130 NEW BEST:: SOT 80191 SOS 49668 HAS SOPS 49668 HAS SOUS 20722 HAS SOUPS 20722 WITH SCORE 20771.668
AT ITER 135 NEW BEST:: SOT 80175 SOS 49572 HAS SOPS 49572 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20755.572
AT ITER 141 NEW BEST:: SOT 80145 SOS 49400 HAS SOPS 49400 HAS SOUS 20664 HAS SOUPS 20664 WITH SCORE 20713.4
AT ITER 148 NEW BEST:: SOT 80123 SOS 49168 HAS SOPS 49168 HAS SOUS 20642 HAS SOUPS 20642 WITH SCORE 20691.168
AT ITER 163 NEW BEST:: SOT 80058 SOS 48866 HAS SOPS 48866 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20597.866
AT ITER 164 NEW BEST:: SOT 79805 SOS 48364 HAS SOPS 48364 HAS SOUS 20515 HAS SOUPS 20515 WITH SCORE 20563.364
AT ITER 175 NEW BEST:: SOT 79805 SOS 48320 HAS SOPS 48320 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20559.32
AT ITER 183 NEW BEST:: SOT 79805 SOS 47854 HAS SOPS 47854 HAS SOUS 20450 HAS SOUPS 20450 WITH SCORE 20497.854
AT ITER 201 NEW BEST:: SOT 79536 SOS 47607 HAS SOPS 47607 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20415.607
AT ITER 204 NEW BEST:: SOT 80041 SOS 48112 HAS SOPS 48112 HAS SOUS 20302 HAS SOUPS 20302 WITH SCORE 20350.112
AT ITER 217 NEW BEST:: SOT 80073 SOS 48031 HAS SOPS 47984 HAS SOUS 20327 HAS SOUPS 20280 WITH SCORE 20328.031
AT ITER 219 NEW BEST:: SOT 80073 SOS 47997 HAS SOPS 47950 HAS SOUS 20299 HAS SOUPS 20252 WITH SCORE 20299.997
AT ITER 230 NEW BEST:: SOT 80045 SOS 47733 HAS SOPS 47686 HAS SOUS 20266 HAS SOUPS 20219 WITH SCORE 20266.733
AT ITER 235 NEW BEST:: SOT 80033 SOS 47709 HAS SOPS 47662 HAS SOUS 20242 HAS SOUPS 20195 WITH SCORE 20242.709
AT ITER 241 NEW BEST:: SOT 79901 SOS 47465 HAS SOPS 47418 HAS SOUS 20230 HAS SOUPS 20183 WITH SCORE 20230.465
AT ITER 243 NEW BEST:: SOT 79844 SOS 47355 HAS SOPS 47308 HAS SOUS 20172 HAS SOUPS 20125 WITH SCORE 20172.355
AT ITER 262 NEW BEST:: SOT 79831 SOS 47329 HAS SOPS 47282 HAS SOUS 20156 HAS SOUPS 20109 WITH SCORE 20156.329
AT ITER 263 NEW BEST:: SOT 79831 SOS 47326 HAS SOPS 47279 HAS SOUS 20156 HAS SOUPS 20109 WITH SCORE 20156.326
AT ITER 264 NEW BEST:: SOT 80159 SOS 47661 HAS SOPS 47646 HAS SOUS 20017 HAS SOUPS 20002 WITH SCORE 20049.661
AT ITER 270 NEW BEST:: SOT 80156 SOS 47655 HAS SOPS 47640 HAS SOUS 20011 HAS SOUPS 19996 WITH SCORE 20043.655
AT ITER 279 NEW BEST:: SOT 80121 SOS 47604 HAS SOPS 47589 HAS SOUS 20001 HAS SOUPS 19986 WITH SCORE 20033.604
AT ITER 281 NEW BEST:: SOT 80106 SOS 47574 HAS SOPS 47559 HAS SOUS 19983 HAS SOUPS 19968 WITH SCORE 20015.574
AT ITER 309 NEW BEST:: SOT 80051 SOS 47482 HAS SOPS 47467 HAS SOUS 19967 HAS SOUPS 19952 WITH SCORE 19999.482
AT ITER 312 NEW BEST:: SOT 80027 SOS 47467 HAS SOPS 47452 HAS SOUS 19948 HAS SOUPS 19933 WITH SCORE 19980.467
AT ITER 316 NEW BEST:: SOT 79972 SOS 47153 HAS SOPS 47138 HAS SOUS 19933 HAS SOUPS 19918 WITH SCORE 19965.153
AT ITER 343 NEW BEST:: SOT 79970 SOS 47151 HAS SOPS 47136 HAS SOUS 19931 HAS SOUPS 19916 WITH SCORE 19963.151
AT ITER 347 NEW BEST:: SOT 79955 SOS 47017 HAS SOPS 47002 HAS SOUS 19902 HAS SOUPS 19887 WITH SCORE 19934.017
AT ITER 351 NEW BEST:: SOT 80585 SOS 47647 HAS SOPS 47632 HAS SOUS 19869 HAS SOUPS 19854 WITH SCORE 19901.647
AT ITER 353 NEW BEST:: SOT 80542 SOS 47389 HAS SOPS 47374 HAS SOUS 19826 HAS SOUPS 19811 WITH SCORE 19858.389
AT ITER 360 NEW BEST:: SOT 80507 SOS 47127 HAS SOPS 47112 HAS SOUS 19795 HAS SOUPS 19780 WITH SCORE 19827.127
AT ITER 398 NEW BEST:: SOT 80497 SOS 47067 HAS SOPS 47052 HAS SOUS 19785 HAS SOUPS 19770 WITH SCORE 19817.067
AT ITER 399 NEW BEST:: SOT 80376 SOS 46825 HAS SOPS 46810 HAS SOUS 19602 HAS SOUPS 19587 WITH SCORE 19633.825
AT ITER 407 NEW BEST:: SOT 80376 SOS 46825 HAS SOPS 46810 HAS SOUS 19597 HAS SOUPS 19582 WITH SCORE 19628.825
AT ITER 426 NEW BEST:: SOT 80376 SOS 46608 HAS SOPS 46593 HAS SOUS 19565 HAS SOUPS 19550 WITH SCORE 19596.608
AT ITER 442 NEW BEST:: SOT 80361 SOS 46518 HAS SOPS 46503 HAS SOUS 19550 HAS SOUPS 19535 WITH SCORE 19581.518
AT ITER 463 NEW BEST:: SOT 80196 SOS 46239 HAS SOPS 46224 HAS SOUS 19535 HAS SOUPS 19520 WITH SCORE 19566.239
AT ITER 467 NEW BEST:: SOT 80166 SOS 46179 HAS SOPS 46164 HAS SOUS 19505 HAS SOUPS 19490 WITH SCORE 19536.179
AT ITER 475 NEW BEST:: SOT 80152 SOS 46179 HAS SOPS 46164 HAS SOUS 19491 HAS SOUPS 19476 WITH SCORE 19522.179
AT ITER 499 NEW BEST:: SOT 80149 SOS 46173 HAS SOPS 46158 HAS SOUS 19488 HAS SOUPS 19473 WITH SCORE 19519.173
AT ITER 515 NEW BEST:: SOT 80140 SOS 46174 HAS SOPS 46159 HAS SOUS 19482 HAS SOUPS 19467 WITH SCORE 19513.174
AT ITER 523 NEW BEST:: SOT 80140 SOS 46174 HAS SOPS 46159 HAS SOUS 19477 HAS SOUPS 19462 WITH SCORE 19508.174
AT ITER 532 NEW BEST:: SOT 80120 SOS 46244 HAS SOPS 46229 HAS SOUS 19452 HAS SOUPS 19437 WITH SCORE 19483.244
AT ITER 537 NEW BEST:: SOT 80120 SOS 46238 HAS SOPS 46223 HAS SOUS 19451 HAS SOUPS 19436 WITH SCORE 19482.238
AT ITER 580 NEW BEST:: SOT 80078 SOS 46202 HAS SOPS 46187 HAS SOUS 19415 HAS SOUPS 19400 WITH SCORE 19446.202
AT ITER 587 NEW BEST:: SOT 79999 SOS 46055 HAS SOPS 46029 HAS SOUS 19322 HAS SOUPS 19296 WITH SCORE 19342.055
AT ITER 590 NEW BEST:: SOT 78841 SOS 44977 HAS SOPS 44951 HAS SOUS 18210 HAS SOUPS 18184 WITH SCORE 18228.977
AT ITER 592 NEW BEST:: SOT 78834 SOS 44963 HAS SOPS 44937 HAS SOUS 18203 HAS SOUPS 18177 WITH SCORE 18221.963
AT ITER 609 NEW BEST:: SOT 78834 SOS 44939 HAS SOPS 44913 HAS SOUS 18199 HAS SOUPS 18173 WITH SCORE 18217.939
AT ITER 617 NEW BEST:: SOT 78888 SOS 44695 HAS SOPS 44669 HAS SOUS 18196 HAS SOUPS 18170 WITH SCORE 18214.695
AT ITER 625 NEW BEST:: SOT 78865 SOS 44649 HAS SOPS 44623 HAS SOUS 18159 HAS SOUPS 18133 WITH SCORE 18177.649
AT ITER 642 NEW BEST:: SOT 78864 SOS 44648 HAS SOPS 44622 HAS SOUS 18158 HAS SOUPS 18132 WITH SCORE 18176.648
AT ITER 643 NEW BEST:: SOT 78564 SOS 44362 HAS SOPS 44336 HAS SOUS 17836 HAS SOUPS 17810 WITH SCORE 17854.362
AT ITER 659 NEW BEST:: SOT 78570 SOS 44393 HAS SOPS 44348 HAS SOUS 17842 HAS SOUPS 17797 WITH SCORE 17841.393
AT ITER 685 NEW BEST:: SOT 78567 SOS 44417 HAS SOPS 44372 HAS SOUS 17829 HAS SOUPS 17784 WITH SCORE 17828.417
AT ITER 701 NEW BEST:: SOT 78543 SOS 44321 HAS SOPS 44276 HAS SOUS 17793 HAS SOUPS 17748 WITH SCORE 17792.321
AT ITER 704 NEW BEST:: SOT 78541 SOS 44324 HAS SOPS 44279 HAS SOUS 17790 HAS SOUPS 17745 WITH SCORE 17789.324
AT ITER 719 NEW BEST:: SOT 78528 SOS 44149 HAS SOPS 44104 HAS SOUS 17707 HAS SOUPS 17662 WITH SCORE 17706.149
AT ITER 721 NEW BEST:: SOT 78522 SOS 44144 HAS SOPS 44099 HAS SOUS 17702 HAS SOUPS 17657 WITH SCORE 17701.144
AT ITER 722 NEW BEST:: SOT 78525 SOS 44115 HAS SOPS 44070 HAS SOUS 17673 HAS SOUPS 17628 WITH SCORE 17672.115
AT ITER 723 NEW BEST:: SOT 78525 SOS 44051 HAS SOPS 44006 HAS SOUS 17673 HAS SOUPS 17628 WITH SCORE 17672.051
AT ITER 728 NEW BEST:: SOT 78520 SOS 44046 HAS SOPS 44001 HAS SOUS 17661 HAS SOUPS 17616 WITH SCORE 17660.046
AT ITER 741 NEW BEST:: SOT 78504 SOS 44041 HAS SOPS 43996 HAS SOUS 17661 HAS SOUPS 17616 WITH SCORE 17660.041
AT ITER 753 NEW BEST:: SOT 78495 SOS 44032 HAS SOPS 43987 HAS SOUS 17633 HAS SOUPS 17588 WITH SCORE 17632.032
AT ITER 754 NEW BEST:: SOT 78585 SOS 44122 HAS SOPS 44077 HAS SOUS 17613 HAS SOUPS 17568 WITH SCORE 17612.122
AT ITER 760 NEW BEST:: SOT 78569 SOS 44090 HAS SOPS 44045 HAS SOUS 17605 HAS SOUPS 17560 WITH SCORE 17604.09
AT ITER 765 NEW BEST:: SOT 78537 SOS 44026 HAS SOPS 43981 HAS SOUS 17546 HAS SOUPS 17501 WITH SCORE 17545.026
AT ITER 780 NEW BEST:: SOT 78486 SOS 43787 HAS SOPS 43769 HAS SOUS 17441 HAS SOUPS 17423 WITH SCORE 17466.787
AT ITER 783 NEW BEST:: SOT 78475 SOS 43776 HAS SOPS 43758 HAS SOUS 17395 HAS SOUPS 17377 WITH SCORE 17420.776
AT ITER 789 NEW BEST:: SOT 78459 SOS 43760 HAS SOPS 43742 HAS SOUS 17373 HAS SOUPS 17355 WITH SCORE 17398.76
AT ITER 801 NEW BEST:: SOT 78451 SOS 43752 HAS SOPS 43734 HAS SOUS 17373 HAS SOUPS 17355 WITH SCORE 17398.752
AT ITER 803 NEW BEST:: SOT 78437 SOS 43668 HAS SOPS 43650 HAS SOUS 17359 HAS SOUPS 17341 WITH SCORE 17384.668
AT ITER 805 NEW BEST:: SOT 78424 SOS 43642 HAS SOPS 43624 HAS SOUS 17343 HAS SOUPS 17325 WITH SCORE 17368.642
AT ITER 815 NEW BEST:: SOT 78410 SOS 43614 HAS SOPS 43596 HAS SOUS 17329 HAS SOUPS 17311 WITH SCORE 17354.614
AT ITER 843 NEW BEST:: SOT 78410 SOS 43554 HAS SOPS 43536 HAS SOUS 17329 HAS SOUPS 17311 WITH SCORE 17354.554
AT ITER 856 NEW BEST:: SOT 78399 SOS 43532 HAS SOPS 43514 HAS SOUS 17323 HAS SOUPS 17305 WITH SCORE 17348.532
AT ITER 874 NEW BEST:: SOT 78399 SOS 43532 HAS SOPS 43514 HAS SOUS 17319 HAS SOUPS 17301 WITH SCORE 17344.532
AT ITER 881 NEW BEST:: SOT 78382 SOS 43515 HAS SOPS 43497 HAS SOUS 17302 HAS SOUPS 17284 WITH SCORE 17327.515
AT ITER 887 NEW BEST:: SOT 78371 SOS 43493 HAS SOPS 43475 HAS SOUS 17284 HAS SOUPS 17266 WITH SCORE 17309.493
AT ITER 889 NEW BEST:: SOT 78369 SOS 43491 HAS SOPS 43473 HAS SOUS 17284 HAS SOUPS 17266 WITH SCORE 17309.491
AT ITER 901 NEW BEST:: SOT 78799 SOS 43924 HAS SOPS 43906 HAS SOUS 17272 HAS SOUPS 17254 WITH SCORE 17297.924
AT ITER 909 NEW BEST:: SOT 78791 SOS 43911 HAS SOPS 43893 HAS SOUS 17241 HAS SOUPS 17223 WITH SCORE 17266.911
AT ITER 925 NEW BEST:: SOT 78780 SOS 43900 HAS SOPS 43882 HAS SOUS 17219 HAS SOUPS 17201 WITH SCORE 17244.9
AT ITER 927 NEW BEST:: SOT 78775 SOS 43890 HAS SOPS 43872 HAS SOUS 17213 HAS SOUPS 17195 WITH SCORE 17238.89
AT ITER 928 NEW BEST:: SOT 78776 SOS 43805 HAS SOPS 43790 HAS SOUS 17197 HAS SOUPS 17182 WITH SCORE 17225.805
AT ITER 938 NEW BEST:: SOT 78769 SOS 43777 HAS SOPS 43762 HAS SOUS 17183 HAS SOUPS 17168 WITH SCORE 17211.777
AT ITER 943 NEW BEST:: SOT 78754 SOS 43769 HAS SOPS 43754 HAS SOUS 17132 HAS SOUPS 17117 WITH SCORE 17160.769
AT ITER 951 NEW BEST:: SOT 78738 SOS 43593 HAS SOPS 43578 HAS SOUS 17130 HAS SOUPS 17115 WITH SCORE 17158.593
AT ITER 985 NEW BEST:: SOT 78738 SOS 43233 HAS SOPS 43218 HAS SOUS 17070 HAS SOUPS 17055 WITH SCORE 17098.233
AT ITER 987 NEW BEST:: SOT 78737 SOS 43231 HAS SOPS 43216 HAS SOUS 17069 HAS SOUPS 17054 WITH SCORE 17097.231
AT ITER 994 NEW BEST:: SOT 78737 SOS 43175 HAS SOPS 43160 HAS SOUS 17069 HAS SOUPS 17054 WITH SCORE 17097.175
AT ITER 999 NEW BEST:: SOT 78728 SOS 43166 HAS SOPS 43151 HAS SOUS 17060 HAS SOUPS 17045 WITH SCORE 17088.166
AT ITER 1002 NEW BEST:: SOT 78711 SOS 43146 HAS SOPS 43131 HAS SOUS 17025 HAS SOUPS 17010 WITH SCORE 17053.146
AT ITER 1003 NEW BEST:: SOT 78591 SOS 43585 HAS SOPS 43570 HAS SOUS 16947 HAS SOUPS 16932 WITH SCORE 16975.585
AT ITER 1005 NEW BEST:: SOT 78589 SOS 43581 HAS SOPS 43566 HAS SOUS 16945 HAS SOUPS 16930 WITH SCORE 16973.581
AT ITER 1015 NEW BEST:: SOT 78569 SOS 43544 HAS SOPS 43529 HAS SOUS 16925 HAS SOUPS 16910 WITH SCORE 16953.544
AT ITER 1024 NEW BEST:: SOT 78564 SOS 43533 HAS SOPS 43518 HAS SOUS 16914 HAS SOUPS 16899 WITH SCORE 16942.533
AT ITER 1059 NEW BEST:: SOT 78534 SOS 43561 HAS SOPS 43546 HAS SOUS 16895 HAS SOUPS 16880 WITH SCORE 16923.561
AT ITER 1060 NEW BEST:: SOT 78535 SOS 43575 HAS SOPS 43560 HAS SOUS 16891 HAS SOUPS 16876 WITH SCORE 16919.575
AT ITER 1067 NEW BEST:: SOT 78442 SOS 43497 HAS SOPS 43482 HAS SOUS 16795 HAS SOUPS 16780 WITH SCORE 16823.497
AT ITER 1068 NEW BEST:: SOT 78431 SOS 43475 HAS SOPS 43460 HAS SOUS 16779 HAS SOUPS 16764 WITH SCORE 16807.475
AT ITER 1072 NEW BEST:: SOT 78429 SOS 43473 HAS SOPS 43458 HAS SOUS 16777 HAS SOUPS 16762 WITH SCORE 16805.473
AT ITER 1091 NEW BEST:: SOT 78422 SOS 43466 HAS SOPS 43451 HAS SOUS 16763 HAS SOUPS 16748 WITH SCORE 16791.466
AT ITER 1104 NEW BEST:: SOT 78419 SOS 43463 HAS SOPS 43448 HAS SOUS 16757 HAS SOUPS 16742 WITH SCORE 16785.463
AT ITER 1126 NEW BEST:: SOT 78425 SOS 43475 HAS SOPS 43460 HAS SOUS 16756 HAS SOUPS 16741 WITH SCORE 16784.475
AT ITER 1136 NEW BEST:: SOT 78410 SOS 43367 HAS SOPS 43352 HAS SOUS 16749 HAS SOUPS 16734 WITH SCORE 16777.367
AT ITER 1152 NEW BEST:: SOT 78393 SOS 43333 HAS SOPS 43318 HAS SOUS 16715 HAS SOUPS 16700 WITH SCORE 16743.333
AT ITER 1154 NEW BEST:: SOT 78373 SOS 43343 HAS SOPS 43328 HAS SOUS 16708 HAS SOUPS 16693 WITH SCORE 16736.343
AT ITER 1197 NEW BEST:: SOT 78337 SOS 43087 HAS SOPS 43072 HAS SOUS 16673 HAS SOUPS 16658 WITH SCORE 16701.087
AT ITER 1212 NEW BEST:: SOT 78329 SOS 43079 HAS SOPS 43064 HAS SOUS 16657 HAS SOUPS 16642 WITH SCORE 16685.079
AT ITER 1222 NEW BEST:: SOT 78376 SOS 43119 HAS SOPS 43053 HAS SOUS 16698 HAS SOUPS 16632 WITH SCORE 16675.119
AT ITER 1250 NEW BEST:: SOT 78376 SOS 43119 HAS SOPS 43053 HAS SOUS 16697 HAS SOUPS 16631 WITH SCORE 16674.119
AT ITER 1278 NEW BEST:: SOT 78376 SOS 43059 HAS SOPS 42993 HAS SOUS 16697 HAS SOUPS 16631 WITH SCORE 16674.059
AT ITER 1292 NEW BEST:: SOT 78367 SOS 43059 HAS SOPS 42993 HAS SOUS 16691 HAS SOUPS 16625 WITH SCORE 16668.059
AT ITER 1305 NEW BEST:: SOT 78363 SOS 43055 HAS SOPS 42989 HAS SOUS 16687 HAS SOUPS 16621 WITH SCORE 16664.055
AT ITER 1310 NEW BEST:: SOT 78340 SOS 43032 HAS SOPS 42966 HAS SOUS 16678 HAS SOUPS 16612 WITH SCORE 16655.032
AT ITER 1311 NEW BEST:: SOT 78340 SOS 43032 HAS SOPS 42966 HAS SOUS 16667 HAS SOUPS 16601 WITH SCORE 16644.032
AT ITER 1316 NEW BEST:: SOT 78284 SOS 43088 HAS SOPS 43022 HAS SOUS 16639 HAS SOUPS 16573 WITH SCORE 16616.088
AT ITER 1318 NEW BEST:: SOT 78266 SOS 43052 HAS SOPS 42986 HAS SOUS 16614 HAS SOUPS 16548 WITH SCORE 16591.052
AT ITER 1323 NEW BEST:: SOT 78254 SOS 43028 HAS SOPS 42962 HAS SOUS 16599 HAS SOUPS 16533 WITH SCORE 16576.028
AT ITER 1352 NEW BEST:: SOT 78250 SOS 43020 HAS SOPS 42954 HAS SOUS 16595 HAS SOUPS 16529 WITH SCORE 16572.02
AT ITER 1396 NEW BEST:: SOT 78248 SOS 43016 HAS SOPS 42950 HAS SOUS 16593 HAS SOUPS 16527 WITH SCORE 16570.016
AT ITER 1400 NEW BEST:: SOT 78247 SOS 43015 HAS SOPS 42949 HAS SOUS 16591 HAS SOUPS 16525 WITH SCORE 16568.015
AT ITER 1411 NEW BEST:: SOT 78244 SOS 43012 HAS SOPS 42946 HAS SOUS 16585 HAS SOUPS 16519 WITH SCORE 16562.012
AT ITER 1421 NEW BEST:: SOT 78244 SOS 42872 HAS SOPS 42832 HAS SOUS 16544 HAS SOUPS 16504 WITH SCORE 16546.872
AT ITER 1452 NEW BEST:: SOT 78307 SOS 42935 HAS SOPS 42895 HAS SOUS 16530 HAS SOUPS 16490 WITH SCORE 16532.935
AT ITER 1456 NEW BEST:: SOT 78307 SOS 42919 HAS SOPS 42879 HAS SOUS 16530 HAS SOUPS 16490 WITH SCORE 16532.919
AT ITER 1459 NEW BEST:: SOT 78301 SOS 42913 HAS SOPS 42873 HAS SOUS 16521 HAS SOUPS 16481 WITH SCORE 16523.913
AT ITER 1460 NEW BEST:: SOT 78553 SOS 43165 HAS SOPS 43125 HAS SOUS 16465 HAS SOUPS 16425 WITH SCORE 16468.165
AT ITER 1473 NEW BEST:: SOT 78539 SOS 43151 HAS SOPS 43130 HAS SOUS 16442 HAS SOUPS 16421 WITH SCORE 16464.151
AT ITER 1515 NEW BEST:: SOT 78504 SOS 43116 HAS SOPS 43095 HAS SOUS 16372 HAS SOUPS 16351 WITH SCORE 16394.116
AT ITER 1525 NEW BEST:: SOT 78492 SOS 43104 HAS SOPS 43083 HAS SOUS 16360 HAS SOUPS 16339 WITH SCORE 16382.104
AT ITER 1535 NEW BEST:: SOT 78506 SOS 43118 HAS SOPS 43097 HAS SOUS 16352 HAS SOUPS 16331 WITH SCORE 16374.118
AT ITER 1537 NEW BEST:: SOT 78475 SOS 42888 HAS SOPS 42867 HAS SOUS 16321 HAS SOUPS 16300 WITH SCORE 16342.888
AT ITER 1561 NEW BEST:: SOT 78475 SOS 42889 HAS SOPS 42868 HAS SOUS 16317 HAS SOUPS 16296 WITH SCORE 16338.889
AT ITER 1570 NEW BEST:: SOT 78474 SOS 42887 HAS SOPS 42866 HAS SOUS 16316 HAS SOUPS 16295 WITH SCORE 16337.887
AT ITER 1604 NEW BEST:: SOT 78459 SOS 42873 HAS SOPS 42836 HAS SOUS 16317 HAS SOUPS 16280 WITH SCORE 16322.873
AT ITER 1623 NEW BEST:: SOT 78456 SOS 42943 HAS SOPS 42906 HAS SOUS 16297 HAS SOUPS 16260 WITH SCORE 16302.943
AT ITER 1644 NEW BEST:: SOT 78447 SOS 42925 HAS SOPS 42888 HAS SOUS 16294 HAS SOUPS 16257 WITH SCORE 16299.925
AT ITER 1645 NEW BEST:: SOT 78462 SOS 42940 HAS SOPS 42903 HAS SOUS 16287 HAS SOUPS 16250 WITH SCORE 16292.94
AT ITER 1653 NEW BEST:: SOT 78456 SOS 42960 HAS SOPS 42923 HAS SOUS 16273 HAS SOUPS 16236 WITH SCORE 16278.96
AT ITER 1712 NEW BEST:: SOT 78457 SOS 42961 HAS SOPS 42924 HAS SOUS 16258 HAS SOUPS 16221 WITH SCORE 16263.961
AT ITER 1739 NEW BEST:: SOT 78445 SOS 42931 HAS SOPS 42894 HAS SOUS 16228 HAS SOUPS 16191 WITH SCORE 16233.931
AT ITER 1751 NEW BEST:: SOT 78443 SOS 42843 HAS SOPS 42806 HAS SOUS 16226 HAS SOUPS 16189 WITH SCORE 16231.843
AT ITER 1763 NEW BEST:: SOT 78432 SOS 42832 HAS SOPS 42795 HAS SOUS 16209 HAS SOUPS 16172 WITH SCORE 16214.832
AT ITER 1807 NEW BEST:: SOT 78432 SOS 42829 HAS SOPS 42792 HAS SOUS 16206 HAS SOUPS 16169 WITH SCORE 16211.829
AT ITER 1819 NEW BEST:: SOT 78426 SOS 42823 HAS SOPS 42786 HAS SOUS 16194 HAS SOUPS 16157 WITH SCORE 16199.823
AT ITER 1826 NEW BEST:: SOT 78426 SOS 42811 HAS SOPS 42774 HAS SOUS 16194 HAS SOUPS 16157 WITH SCORE 16199.811
AT ITER 1841 NEW BEST:: SOT 78424 SOS 42807 HAS SOPS 42770 HAS SOUS 16193 HAS SOUPS 16156 WITH SCORE 16198.807
AT ITER 1857 NEW BEST:: SOT 78407 SOS 42773 HAS SOPS 42736 HAS SOUS 16159 HAS SOUPS 16122 WITH SCORE 16164.773
AT ITER 1887 NEW BEST:: SOT 78405 SOS 42504 HAS SOPS 42467 HAS SOUS 16141 HAS SOUPS 16104 WITH SCORE 16146.504
AT ITER 1902 NEW BEST:: SOT 78405 SOS 42560 HAS SOPS 42523 HAS SOUS 16136 HAS SOUPS 16099 WITH SCORE 16141.56
AT ITER 1907 NEW BEST:: SOT 78383 SOS 42516 HAS SOPS 42479 HAS SOUS 16092 HAS SOUPS 16055 WITH SCORE 16097.516
AT ITER 1916 NEW BEST:: SOT 78374 SOS 42956 HAS SOPS 42869 HAS SOUS 16134 HAS SOUPS 16047 WITH SCORE 16089.956
AT ITER 1920 NEW BEST:: SOT 78354 SOS 42932 HAS SOPS 42845 HAS SOUS 16134 HAS SOUPS 16047 WITH SCORE 16089.932
AT ITER 1922 NEW BEST:: SOT 78354 SOS 42920 HAS SOPS 42833 HAS SOUS 16133 HAS SOUPS 16046 WITH SCORE 16088.92
AT ITER 1946 NEW BEST:: SOT 78354 SOS 42947 HAS SOPS 42860 HAS SOUS 16115 HAS SOUPS 16028 WITH SCORE 16070.947
AT ITER 1962 NEW BEST:: SOT 78348 SOS 42941 HAS SOPS 42854 HAS SOUS 16099 HAS SOUPS 16012 WITH SCORE 16054.941
AT ITER 1969 NEW BEST:: SOT 78341 SOS 42927 HAS SOPS 42840 HAS SOUS 16085 HAS SOUPS 15998 WITH SCORE 16040.927
AT ITER 1983 NEW BEST:: SOT 78339 SOS 43071 HAS SOPS 42984 HAS SOUS 16063 HAS SOUPS 15976 WITH SCORE 16019.071
AT ITER 1991 NEW BEST:: SOT 78344 SOS 43076 HAS SOPS 42989 HAS SOUS 16059 HAS SOUPS 15972 WITH SCORE 16015.076
AT ITER 2001 NEW BEST:: SOT 78337 SOS 43062 HAS SOPS 42975 HAS SOUS 16052 HAS SOUPS 15965 WITH SCORE 16008.062
AT ITER 2018 NEW BEST:: SOT 78334 SOS 43056 HAS SOPS 42969 HAS SOUS 16046 HAS SOUPS 15959 WITH SCORE 16002.056
AT ITER 2037 NEW BEST:: SOT 78329 SOS 43051 HAS SOPS 42964 HAS SOUS 16036 HAS SOUPS 15949 WITH SCORE 15992.051
AT ITER 2043 NEW BEST:: SOT 78325 SOS 43047 HAS SOPS 42960 HAS SOUS 16028 HAS SOUPS 15941 WITH SCORE 15984.047
AT ITER 2047 NEW BEST:: SOT 78324 SOS 43046 HAS SOPS 42959 HAS SOUS 16028 HAS SOUPS 15941 WITH SCORE 15984.046
AT ITER 2073 NEW BEST:: SOT 78313 SOS 43024 HAS SOPS 42937 HAS SOUS 16006 HAS SOUPS 15919 WITH SCORE 15962.024
AT ITER 2099 NEW BEST:: SOT 78353 SOS 43064 HAS SOPS 42977 HAS SOUS 16002 HAS SOUPS 15915 WITH SCORE 15958.064
AT ITER 2126 NEW BEST:: SOT 78266 SOS 43115 HAS SOPS 43028 HAS SOUS 15959 HAS SOUPS 15872 WITH SCORE 15915.115
AT ITER 2132 NEW BEST:: SOT 78283 SOS 43149 HAS SOPS 43062 HAS SOUS 15946 HAS SOUPS 15859 WITH SCORE 15902.149
AT ITER 2150 NEW BEST:: SOT 78282 SOS 43158 HAS SOPS 43071 HAS SOUS 15934 HAS SOUPS 15847 WITH SCORE 15890.158
AT ITER 2161 NEW BEST:: SOT 78282 SOS 43158 HAS SOPS 43071 HAS SOUS 15933 HAS SOUPS 15846 WITH SCORE 15889.158
AT ITER 2192 NEW BEST:: SOT 78273 SOS 43149 HAS SOPS 43062 HAS SOUS 15915 HAS SOUPS 15828 WITH SCORE 15871.149
AT ITER 2220 NEW BEST:: SOT 78274 SOS 43139 HAS SOPS 43052 HAS SOUS 15908 HAS SOUPS 15821 WITH SCORE 15864.139
AT ITER 2225 NEW BEST:: SOT 78276 SOS 43141 HAS SOPS 43054 HAS SOUS 15880 HAS SOUPS 15793 WITH SCORE 15836.141
AT ITER 2253 NEW BEST:: SOT 78275 SOS 43140 HAS SOPS 43053 HAS SOUS 15878 HAS SOUPS 15791 WITH SCORE 15834.14
AT ITER 2263 NEW BEST:: SOT 78275 SOS 43110 HAS SOPS 43023 HAS SOUS 15878 HAS SOUPS 15791 WITH SCORE 15834.11
AT ITER 2267 NEW BEST:: SOT 78284 SOS 43119 HAS SOPS 43032 HAS SOUS 15877 HAS SOUPS 15790 WITH SCORE 15833.119
AT ITER 2274 NEW BEST:: SOT 78283 SOS 43118 HAS SOPS 43031 HAS SOUS 15877 HAS SOUPS 15790 WITH SCORE 15833.118
AT ITER 2278 NEW BEST:: SOT 78281 SOS 43116 HAS SOPS 43029 HAS SOUS 15875 HAS SOUPS 15788 WITH SCORE 15831.116
AT ITER 2294 NEW BEST:: SOT 78271 SOS 43096 HAS SOPS 43009 HAS SOUS 15865 HAS SOUPS 15778 WITH SCORE 15821.096
AT ITER 2316 NEW BEST:: SOT 78271 SOS 43085 HAS SOPS 42998 HAS SOUS 15854 HAS SOUPS 15767 WITH SCORE 15810.085
AT ITER 2345 NEW BEST:: SOT 78268 SOS 43079 HAS SOPS 42992 HAS SOUS 15848 HAS SOUPS 15761 WITH SCORE 15804.079
AT ITER 2358 NEW BEST:: SOT 78277 SOS 43047 HAS SOPS 42943 HAS SOUS 15847 HAS SOUPS 15743 WITH SCORE 15786.047
AT ITER 2364 NEW BEST:: SOT 78276 SOS 43052 HAS SOPS 42948 HAS SOUS 15846 HAS SOUPS 15742 WITH SCORE 15785.052
AT ITER 2376 NEW BEST:: SOT 78274 SOS 43050 HAS SOPS 42946 HAS SOUS 15844 HAS SOUPS 15740 WITH SCORE 15783.05
AT ITER 2388 NEW BEST:: SOT 78272 SOS 43048 HAS SOPS 42944 HAS SOUS 15844 HAS SOUPS 15740 WITH SCORE 15783.048
AT ITER 2413 NEW BEST:: SOT 78257 SOS 43033 HAS SOPS 42929 HAS SOUS 15810 HAS SOUPS 15706 WITH SCORE 15749.033
AT ITER 2414 NEW BEST:: SOT 78153 SOS 42918 HAS SOPS 42814 HAS SOUS 15704 HAS SOUPS 15600 WITH SCORE 15642.918
AT ITER 2422 NEW BEST:: SOT 78295 SOS 43060 HAS SOPS 42956 HAS SOUS 15686 HAS SOUPS 15582 WITH SCORE 15625.06
AT ITER 2423 NEW BEST:: SOT 78298 SOS 43066 HAS SOPS 42962 HAS SOUS 15685 HAS SOUPS 15581 WITH SCORE 15624.066
AT ITER 2426 NEW BEST:: SOT 78296 SOS 43064 HAS SOPS 42960 HAS SOUS 15683 HAS SOUPS 15579 WITH SCORE 15622.064
AT ITER 2433 NEW BEST:: SOT 78290 SOS 43052 HAS SOPS 42948 HAS SOUS 15676 HAS SOUPS 15572 WITH SCORE 15615.052
AT ITER 2460 NEW BEST:: SOT 78326 SOS 43088 HAS SOPS 42984 HAS SOUS 15613 HAS SOUPS 15509 WITH SCORE 15552.088
AT ITER 2461 NEW BEST:: SOT 78339 SOS 43099 HAS SOPS 42995 HAS SOUS 15611 HAS SOUPS 15507 WITH SCORE 15550.099
AT ITER 2466 NEW BEST:: SOT 78336 SOS 43093 HAS SOPS 42989 HAS SOUS 15608 HAS SOUPS 15504 WITH SCORE 15547.093
AT ITER 2470 NEW BEST:: SOT 78336 SOS 43077 HAS SOPS 42973 HAS SOUS 15600 HAS SOUPS 15496 WITH SCORE 15539.077
AT ITER 2483 NEW BEST:: SOT 78330 SOS 43101 HAS SOPS 42997 HAS SOUS 15594 HAS SOUPS 15490 WITH SCORE 15533.101
AT ITER 2490 NEW BEST:: SOT 78337 SOS 43250 HAS SOPS 43143 HAS SOUS 15584 HAS SOUPS 15480 WITH SCORE 15523.25
AT ITER 2538 NEW BEST:: SOT 78331 SOS 43238 HAS SOPS 43131 HAS SOUS 15579 HAS SOUPS 15475 WITH SCORE 15518.238
AT ITER 2591 NEW BEST:: SOT 78331 SOS 43238 HAS SOPS 43131 HAS SOUS 15577 HAS SOUPS 15473 WITH SCORE 15516.238
AT ITER 2608 NEW BEST:: SOT 78328 SOS 43235 HAS SOPS 43128 HAS SOUS 15571 HAS SOUPS 15467 WITH SCORE 15510.235
AT ITER 2633 NEW BEST:: SOT 78347 SOS 42740 HAS SOPS 42708 HAS SOUS 15497 HAS SOUPS 15465 WITH SCORE 15507.74
AT ITER 2635 NEW BEST:: SOT 78347 SOS 42736 HAS SOPS 42704 HAS SOUS 15497 HAS SOUPS 15465 WITH SCORE 15507.736
AT ITER 2636 NEW BEST:: SOT 78347 SOS 42676 HAS SOPS 42644 HAS SOUS 15497 HAS SOUPS 15465 WITH SCORE 15507.676
AT ITER 2697 NEW BEST:: SOT 78342 SOS 42671 HAS SOPS 42639 HAS SOUS 15492 HAS SOUPS 15460 WITH SCORE 15502.671
AT ITER 2707 NEW BEST:: SOT 78326 SOS 42639 HAS SOPS 42607 HAS SOUS 15475 HAS SOUPS 15443 WITH SCORE 15485.639
AT ITER 2709 NEW BEST:: SOT 78325 SOS 42638 HAS SOPS 42606 HAS SOUS 15473 HAS SOUPS 15441 WITH SCORE 15483.638
AT ITER 2710 NEW BEST:: SOT 78325 SOS 42629 HAS SOPS 42597 HAS SOUS 15464 HAS SOUPS 15432 WITH SCORE 15474.629
AT ITER 2727 NEW BEST:: SOT 78309 SOS 42597 HAS SOPS 42565 HAS SOUS 15441 HAS SOUPS 15409 WITH SCORE 15451.597
AT ITER 2758 NEW BEST:: SOT 78294 SOS 42568 HAS SOPS 42536 HAS SOUS 15434 HAS SOUPS 15402 WITH SCORE 15444.568
AT ITER 2764 NEW BEST:: SOT 78291 SOS 42555 HAS SOPS 42520 HAS SOUS 15421 HAS SOUPS 15386 WITH SCORE 15428.555
AT ITER 2767 NEW BEST:: SOT 78289 SOS 42539 HAS SOPS 42504 HAS SOUS 15419 HAS SOUPS 15384 WITH SCORE 15426.539
AT ITER 2838 NEW BEST:: SOT 78280 SOS 42521 HAS SOPS 42486 HAS SOUS 15401 HAS SOUPS 15366 WITH SCORE 15408.521
AT ITER 2884 NEW BEST:: SOT 78279 SOS 42519 HAS SOPS 42484 HAS SOUS 15400 HAS SOUPS 15365 WITH SCORE 15407.519
AT ITER 2893 NEW BEST:: SOT 78265 SOS 42514 HAS SOPS 42479 HAS SOUS 15395 HAS SOUPS 15360 WITH SCORE 15402.514
AT ITER 2897 NEW BEST:: SOT 78265 SOS 42514 HAS SOPS 42479 HAS SOUS 15393 HAS SOUPS 15358 WITH SCORE 15400.514
AT ITER 2934 NEW BEST:: SOT 78257 SOS 42498 HAS SOPS 42463 HAS SOUS 15377 HAS SOUPS 15342 WITH SCORE 15384.498
AT ITER 2941 NEW BEST:: SOT 78244 SOS 42425 HAS SOPS 42390 HAS SOUS 15354 HAS SOUPS 15319 WITH SCORE 15361.425
AT ITER 2960 NEW BEST:: SOT 78247 SOS 42425 HAS SOPS 42390 HAS SOUS 15351 HAS SOUPS 15316 WITH SCORE 15358.425
AT ITER 2976 NEW BEST:: SOT 78246 SOS 42423 HAS SOPS 42388 HAS SOUS 15349 HAS SOUPS 15314 WITH SCORE 15356.423
AT ITER 2977 NEW BEST:: SOT 78244 SOS 42411 HAS SOPS 42376 HAS SOUS 15347 HAS SOUPS 15312 WITH SCORE 15354.411
AT ITER 2987 NEW BEST:: SOT 78232 SOS 42387 HAS SOPS 42352 HAS SOUS 15346 HAS SOUPS 15311 WITH SCORE 15353.387
AT ITER 3029 NEW BEST:: SOT 78220 SOS 42375 HAS SOPS 42340 HAS SOUS 15345 HAS SOUPS 15310 WITH SCORE 15352.375
AT ITER 3098 NEW BEST:: SOT 78197 SOS 42179 HAS SOPS 42144 HAS SOUS 15337 HAS SOUPS 15302 WITH SCORE 15344.179
AT ITER 3102 NEW BEST:: SOT 78119 SOS 42212 HAS SOPS 42141 HAS SOUS 15331 HAS SOUPS 15260 WITH SCORE 15302.212
AT ITER 3105 NEW BEST:: SOT 78121 SOS 42214 HAS SOPS 42143 HAS SOUS 15330 HAS SOUPS 15259 WITH SCORE 15301.214
AT ITER 3121 NEW BEST:: SOT 78147 SOS 42240 HAS SOPS 42169 HAS SOUS 15326 HAS SOUPS 15255 WITH SCORE 15297.24
AT ITER 3130 NEW BEST:: SOT 78133 SOS 42206 HAS SOPS 42135 HAS SOUS 15302 HAS SOUPS 15231 WITH SCORE 15273.206
AT ITER 3145 NEW BEST:: SOT 78127 SOS 42178 HAS SOPS 42119 HAS SOUS 15284 HAS SOUPS 15225 WITH SCORE 15267.178
AT ITER 3182 NEW BEST:: SOT 78125 SOS 42176 HAS SOPS 42117 HAS SOUS 15280 HAS SOUPS 15221 WITH SCORE 15263.176
AT ITER 3185 NEW BEST:: SOT 78133 SOS 42182 HAS SOPS 42123 HAS SOUS 15275 HAS SOUPS 15216 WITH SCORE 15258.182
AT ITER 3243 NEW BEST:: SOT 78126 SOS 42048 HAS SOPS 41989 HAS SOUS 15267 HAS SOUPS 15208 WITH SCORE 15250.048
AT ITER 3311 NEW BEST:: SOT 78126 SOS 42064 HAS SOPS 42005 HAS SOUS 15263 HAS SOUPS 15204 WITH SCORE 15246.064
AT ITER 3340 NEW BEST:: SOT 78088 SOS 42045 HAS SOPS 41986 HAS SOUS 15244 HAS SOUPS 15185 WITH SCORE 15227.045
AT ITER 3406 NEW BEST:: SOT 78107 SOS 42044 HAS SOPS 41985 HAS SOUS 15243 HAS SOUPS 15184 WITH SCORE 15226.044
AT ITER 3409 NEW BEST:: SOT 78107 SOS 42040 HAS SOPS 41981 HAS SOUS 15243 HAS SOUPS 15184 WITH SCORE 15226.04
AT ITER 3428 NEW BEST:: SOT 78097 SOS 42030 HAS SOPS 41971 HAS SOUS 15235 HAS SOUPS 15176 WITH SCORE 15218.03
AT ITER 3492 NEW BEST:: SOT 78106 SOS 42039 HAS SOPS 41980 HAS SOUS 15233 HAS SOUPS 15174 WITH SCORE 15216.039
AT ITER 3543 NEW BEST:: SOT 78105 SOS 41977 HAS SOPS 41918 HAS SOUS 15232 HAS SOUPS 15173 WITH SCORE 15214.977
AT ITER 3577 NEW BEST:: SOT 78104 SOS 41979 HAS SOPS 41920 HAS SOUS 15230 HAS SOUPS 15171 WITH SCORE 15212.979
AT ITER 3593 NEW BEST:: SOT 78104 SOS 41929 HAS SOPS 41870 HAS SOUS 15230 HAS SOUPS 15171 WITH SCORE 15212.929
AT ITER 3606 NEW BEST:: SOT 78096 SOS 41921 HAS SOPS 41862 HAS SOUS 15214 HAS SOUPS 15155 WITH SCORE 15196.921
AT ITER 3614 NEW BEST:: SOT 78096 SOS 41909 HAS SOPS 41850 HAS SOUS 15214 HAS SOUPS 15155 WITH SCORE 15196.909
AT ITER 3632 NEW BEST:: SOT 78095 SOS 41908 HAS SOPS 41849 HAS SOUS 15212 HAS SOUPS 15153 WITH SCORE 15194.908
AT ITER 3639 NEW BEST:: SOT 78100 SOS 41913 HAS SOPS 41854 HAS SOUS 15210 HAS SOUPS 15151 WITH SCORE 15192.913
AT ITER 3669 NEW BEST:: SOT 78089 SOS 41902 HAS SOPS 41843 HAS SOUS 15188 HAS SOUPS 15129 WITH SCORE 15170.902
AT ITER 3674 NEW BEST:: SOT 78089 SOS 41897 HAS SOPS 41838 HAS SOUS 15183 HAS SOUPS 15124 WITH SCORE 15165.897
AT ITER 3680 NEW BEST:: SOT 78089 SOS 41885 HAS SOPS 41826 HAS SOUS 15183 HAS SOUPS 15124 WITH SCORE 15165.885
AT ITER 3689 NEW BEST:: SOT 78064 SOS 41936 HAS SOPS 41877 HAS SOUS 15166 HAS SOUPS 15107 WITH SCORE 15148.936
AT ITER 3694 NEW BEST:: SOT 78068 SOS 41940 HAS SOPS 41881 HAS SOUS 15160 HAS SOUPS 15101 WITH SCORE 15142.94
AT ITER 3702 NEW BEST:: SOT 78073 SOS 41934 HAS SOPS 41859 HAS SOUS 15170 HAS SOUPS 15095 WITH SCORE 15136.934
AT ITER 3739 NEW BEST:: SOT 78073 SOS 41921 HAS SOPS 41846 HAS SOUS 15157 HAS SOUPS 15082 WITH SCORE 15123.921
AT ITER 3758 NEW BEST:: SOT 78071 SOS 41919 HAS SOPS 41844 HAS SOUS 15153 HAS SOUPS 15078 WITH SCORE 15119.919
AT ITER 3775 NEW BEST:: SOT 78068 SOS 41908 HAS SOPS 41833 HAS SOUS 15150 HAS SOUPS 15075 WITH SCORE 15116.908
AT ITER 3792 NEW BEST:: SOT 78032 SOS 41890 HAS SOPS 41815 HAS SOUS 15106 HAS SOUPS 15031 WITH SCORE 15072.89
AT ITER 3799 NEW BEST:: SOT 78022 SOS 41878 HAS SOPS 41803 HAS SOUS 15105 HAS SOUPS 15030 WITH SCORE 15071.878
AT ITER 3837 NEW BEST:: SOT 78243 SOS 42099 HAS SOPS 42024 HAS SOUS 15086 HAS SOUPS 15011 WITH SCORE 15053.099
AT ITER 3845 NEW BEST:: SOT 78241 SOS 42096 HAS SOPS 42021 HAS SOUS 15083 HAS SOUPS 15008 WITH SCORE 15050.096
AT ITER 3848 NEW BEST:: SOT 78239 SOS 42112 HAS SOPS 42037 HAS SOUS 15081 HAS SOUPS 15006 WITH SCORE 15048.112
AT ITER 3878 NEW BEST:: SOT 78219 SOS 42052 HAS SOPS 41977 HAS SOUS 15064 HAS SOUPS 14989 WITH SCORE 15031.052
AT ITER 3890 NEW BEST:: SOT 78184 SOS 42007 HAS SOPS 41932 HAS SOUS 15024 HAS SOUPS 14949 WITH SCORE 14991.007
AT ITER 3958 NEW BEST:: SOT 78168 SOS 41991 HAS SOPS 41916 HAS SOUS 15024 HAS SOUPS 14949 WITH SCORE 14990.991
AT ITER 3962 NEW BEST:: SOT 78162 SOS 42007 HAS SOPS 41932 HAS SOUS 15016 HAS SOUPS 14941 WITH SCORE 14983.007
AT ITER 3989 NEW BEST:: SOT 78162 SOS 41996 HAS SOPS 41921 HAS SOUS 15016 HAS SOUPS 14941 WITH SCORE 14982.996
AT ITER 4068 NEW BEST:: SOT 78170 SOS 42108 HAS SOPS 42033 HAS SOUS 15011 HAS SOUPS 14936 WITH SCORE 14978.108
AT ITER 4076 NEW BEST:: SOT 78159 SOS 42097 HAS SOPS 42022 HAS SOUS 14989 HAS SOUPS 14914 WITH SCORE 14956.097
AT ITER 4100 NEW BEST:: SOT 78138 SOS 42025 HAS SOPS 41950 HAS SOUS 14972 HAS SOUPS 14897 WITH SCORE 14939.025
AT ITER 4158 NEW BEST:: SOT 78123 SOS 42010 HAS SOPS 41935 HAS SOUS 14964 HAS SOUPS 14889 WITH SCORE 14931.01
AT ITER 4174 NEW BEST:: SOT 78076 SOS 41963 HAS SOPS 41888 HAS SOUS 14926 HAS SOUPS 14851 WITH SCORE 14892.963
AT ITER 4210 NEW BEST:: SOT 78076 SOS 41963 HAS SOPS 41888 HAS SOUS 14922 HAS SOUPS 14847 WITH SCORE 14888.963
AT ITER 4316 NEW BEST:: SOT 78074 SOS 41960 HAS SOPS 41885 HAS SOUS 14919 HAS SOUPS 14844 WITH SCORE 14885.96
AT ITER 4320 NEW BEST:: SOT 78071 SOS 41954 HAS SOPS 41879 HAS SOUS 14916 HAS SOUPS 14841 WITH SCORE 14882.954
AT ITER 4334 NEW BEST:: SOT 78058 SOS 41941 HAS SOPS 41866 HAS SOUS 14903 HAS SOUPS 14828 WITH SCORE 14869.941
AT ITER 4367 NEW BEST:: SOT 77810 SOS 41693 HAS SOPS 41618 HAS SOUS 14894 HAS SOUPS 14819 WITH SCORE 14860.693
AT ITER 4410 NEW BEST:: SOT 77808 SOS 41689 HAS SOPS 41614 HAS SOUS 14890 HAS SOUPS 14815 WITH SCORE 14856.689
AT ITER 4418 NEW BEST:: SOT 77791 SOS 41672 HAS SOPS 41594 HAS SOUS 14889 HAS SOUPS 14811 WITH SCORE 14852.672
AT ITER 4424 NEW BEST:: SOT 77772 SOS 41653 HAS SOPS 41575 HAS SOUS 14848 HAS SOUPS 14770 WITH SCORE 14811.653
AT ITER 4507 NEW BEST:: SOT 77770 SOS 41651 HAS SOPS 41573 HAS SOUS 14840 HAS SOUPS 14762 WITH SCORE 14803.651
AT ITER 4509 NEW BEST:: SOT 77748 SOS 41661 HAS SOPS 41583 HAS SOUS 14838 HAS SOUPS 14760 WITH SCORE 14801.661
AT ITER 4549 NEW BEST:: SOT 77739 SOS 41607 HAS SOPS 41529 HAS SOUS 14829 HAS SOUPS 14751 WITH SCORE 14792.607
AT ITER 4550 NEW BEST:: SOT 77697 SOS 41565 HAS SOPS 41487 HAS SOUS 14817 HAS SOUPS 14739 WITH SCORE 14780.565
AT ITER 4561 NEW BEST:: SOT 77697 SOS 41565 HAS SOPS 41487 HAS SOUS 14815 HAS SOUPS 14737 WITH SCORE 14778.565
AT ITER 4574 NEW BEST:: SOT 77693 SOS 41556 HAS SOPS 41478 HAS SOUS 14814 HAS SOUPS 14736 WITH SCORE 14777.556
AT ITER 4596 NEW BEST:: SOT 77687 SOS 41532 HAS SOPS 41454 HAS SOUS 14805 HAS SOUPS 14727 WITH SCORE 14768.532
AT ITER 4613 NEW BEST:: SOT 77686 SOS 41527 HAS SOPS 41449 HAS SOUS 14800 HAS SOUPS 14722 WITH SCORE 14763.527
AT ITER 4625 NEW BEST:: SOT 77683 SOS 41521 HAS SOPS 41443 HAS SOUS 14794 HAS SOUPS 14716 WITH SCORE 14757.521
AT ITER 4627 NEW BEST:: SOT 77668 SOS 41520 HAS SOPS 41433 HAS SOUS 14799 HAS SOUPS 14712 WITH SCORE 14753.52
AT ITER 4732 NEW BEST:: SOT 77668 SOS 41518 HAS SOPS 41431 HAS SOUS 14799 HAS SOUPS 14712 WITH SCORE 14753.518
AT ITER 4761 NEW BEST:: SOT 77667 SOS 41516 HAS SOPS 41429 HAS SOUS 14797 HAS SOUPS 14710 WITH SCORE 14751.516
AT ITER 4767 NEW BEST:: SOT 77659 SOS 41510 HAS SOPS 41423 HAS SOUS 14789 HAS SOUPS 14702 WITH SCORE 14743.51
AT ITER 4781 NEW BEST:: SOT 77659 SOS 41572 HAS SOPS 41485 HAS SOUS 14786 HAS SOUPS 14699 WITH SCORE 14740.572
AT ITER 4818 NEW BEST:: SOT 77647 SOS 41562 HAS SOPS 41473 HAS SOUS 14778 HAS SOUPS 14689 WITH SCORE 14730.562
AT ITER 4836 NEW BEST:: SOT 77649 SOS 41608 HAS SOPS 41519 HAS SOUS 14747 HAS SOUPS 14658 WITH SCORE 14699.608
AT ITER 4870 NEW BEST:: SOT 77649 SOS 41597 HAS SOPS 41508 HAS SOUS 14740 HAS SOUPS 14651 WITH SCORE 14692.597
AT ITER 4881 NEW BEST:: SOT 77649 SOS 41597 HAS SOPS 41508 HAS SOUS 14739 HAS SOUPS 14650 WITH SCORE 14691.597
AT ITER 4893 NEW BEST:: SOT 77649 SOS 41605 HAS SOPS 41516 HAS SOUS 14738 HAS SOUPS 14649 WITH SCORE 14690.605
AT ITER 4901 NEW BEST:: SOT 77649 SOS 41563 HAS SOPS 41474 HAS SOUS 14737 HAS SOUPS 14648 WITH SCORE 14689.563
AT ITER 4920 NEW BEST:: SOT 77643 SOS 41481 HAS SOPS 41392 HAS SOUS 14725 HAS SOUPS 14636 WITH SCORE 14677.481
AT ITER 4931 NEW BEST:: SOT 77643 SOS 41476 HAS SOPS 41387 HAS SOUS 14720 HAS SOUPS 14631 WITH SCORE 14672.476
AT ITER 4963 NEW BEST:: SOT 77631 SOS 41465 HAS SOPS 41376 HAS SOUS 14708 HAS SOUPS 14619 WITH SCORE 14660.465
AT ITER 4982 NEW BEST:: SOT 77621 SOS 41459 HAS SOPS 41370 HAS SOUS 14702 HAS SOUPS 14613 WITH SCORE 14654.459
AT ITER 5034 NEW BEST:: SOT 77617 SOS 41475 HAS SOPS 41386 HAS SOUS 14694 HAS SOUPS 14605 WITH SCORE 14646.475
AT ITER 5089 NEW BEST:: SOT 77616 SOS 41442 HAS SOPS 41323 HAS SOUS 14683 HAS SOUPS 14564 WITH SCORE 14605.442
AT ITER 5130 NEW BEST:: SOT 77610 SOS 41418 HAS SOPS 41299 HAS SOUS 14662 HAS SOUPS 14543 WITH SCORE 14584.418
AT ITER 5147 NEW BEST:: SOT 77610 SOS 41413 HAS SOPS 41294 HAS SOUS 14657 HAS SOUPS 14538 WITH SCORE 14579.413
AT ITER 5158 NEW BEST:: SOT 77646 SOS 41449 HAS SOPS 41330 HAS SOUS 14649 HAS SOUPS 14530 WITH SCORE 14571.449
AT ITER 5225 NEW BEST:: SOT 77638 SOS 41441 HAS SOPS 41322 HAS SOUS 14644 HAS SOUPS 14525 WITH SCORE 14566.441
AT ITER 5237 NEW BEST:: SOT 77630 SOS 41373 HAS SOPS 41254 HAS SOUS 14641 HAS SOUPS 14522 WITH SCORE 14563.373
AT ITER 5249 NEW BEST:: SOT 77621 SOS 41355 HAS SOPS 41236 HAS SOUS 14630 HAS SOUPS 14511 WITH SCORE 14552.355
AT ITER 5311 NEW BEST:: SOT 77606 SOS 41307 HAS SOPS 41188 HAS SOUS 14600 HAS SOUPS 14481 WITH SCORE 14522.307
AT ITER 5313 NEW BEST:: SOT 77606 SOS 41299 HAS SOPS 41180 HAS SOUS 14600 HAS SOUPS 14481 WITH SCORE 14522.299
AT ITER 5402 NEW BEST:: SOT 77592 SOS 41282 HAS SOPS 41163 HAS SOUS 14573 HAS SOUPS 14454 WITH SCORE 14495.282
AT ITER 5430 NEW BEST:: SOT 77592 SOS 41271 HAS SOPS 41152 HAS SOUS 14572 HAS SOUPS 14453 WITH SCORE 14494.271
AT ITER 5437 NEW BEST:: SOT 77579 SOS 41257 HAS SOPS 41138 HAS SOUS 14550 HAS SOUPS 14431 WITH SCORE 14472.257
AT ITER 5442 NEW BEST:: SOT 77576 SOS 41254 HAS SOPS 41135 HAS SOUS 14547 HAS SOUPS 14428 WITH SCORE 14469.254
AT ITER 5470 NEW BEST:: SOT 77576 SOS 41254 HAS SOPS 41135 HAS SOUS 14546 HAS SOUPS 14427 WITH SCORE 14468.254
AT ITER 5490 NEW BEST:: SOT 77564 SOS 41224 HAS SOPS 41105 HAS SOUS 14542 HAS SOUPS 14423 WITH SCORE 14464.224
AT ITER 5553 NEW BEST:: SOT 77564 SOS 41223 HAS SOPS 41104 HAS SOUS 14542 HAS SOUPS 14423 WITH SCORE 14464.223
AT ITER 5575 NEW BEST:: SOT 77564 SOS 41222 HAS SOPS 41103 HAS SOUS 14542 HAS SOUPS 14423 WITH SCORE 14464.222
AT ITER 5669 NEW BEST:: SOT 77555 SOS 41204 HAS SOPS 41085 HAS SOUS 14540 HAS SOUPS 14421 WITH SCORE 14462.204
AT ITER 5682 NEW BEST:: SOT 77553 SOS 41202 HAS SOPS 41083 HAS SOUS 14531 HAS SOUPS 14412 WITH SCORE 14453.202
AT ITER 5704 NEW BEST:: SOT 77553 SOS 41148 HAS SOPS 41029 HAS SOUS 14531 HAS SOUPS 14412 WITH SCORE 14453.148
AT ITER 5769 NEW BEST:: SOT 77554 SOS 41141 HAS SOPS 41012 HAS SOUS 14533 HAS SOUPS 14404 WITH SCORE 14445.141
AT ITER 5792 NEW BEST:: SOT 77546 SOS 41133 HAS SOPS 41002 HAS SOUS 14529 HAS SOUPS 14398 WITH SCORE 14439.133
AT ITER 5818 NEW BEST:: SOT 77556 SOS 41122 HAS SOPS 41000 HAS SOUS 14512 HAS SOUPS 14390 WITH SCORE 14431.122
AT ITER 5838 NEW BEST:: SOT 77547 SOS 41124 HAS SOPS 41002 HAS SOUS 14510 HAS SOUPS 14388 WITH SCORE 14429.124
AT ITER 5858 NEW BEST:: SOT 77539 SOS 41140 HAS SOPS 41018 HAS SOUS 14494 HAS SOUPS 14372 WITH SCORE 14413.14
AT ITER 5877 NEW BEST:: SOT 77539 SOS 41129 HAS SOPS 41007 HAS SOUS 14492 HAS SOUPS 14370 WITH SCORE 14411.129
AT ITER 5899 NEW BEST:: SOT 77532 SOS 41118 HAS SOPS 40996 HAS SOUS 14475 HAS SOUPS 14353 WITH SCORE 14394.118
AT ITER 5949 NEW BEST:: SOT 77532 SOS 40956 HAS SOPS 40834 HAS SOUS 14463 HAS SOUPS 14341 WITH SCORE 14381.956
AT ITER 6035 NEW BEST:: SOT 77523 SOS 40947 HAS SOPS 40825 HAS SOUS 14445 HAS SOUPS 14323 WITH SCORE 14363.947
AT ITER 6052 NEW BEST:: SOT 77519 SOS 40939 HAS SOPS 40817 HAS SOUS 14435 HAS SOUPS 14313 WITH SCORE 14353.939
AT ITER 6112 NEW BEST:: SOT 77507 SOS 40957 HAS SOPS 40835 HAS SOUS 14418 HAS SOUPS 14296 WITH SCORE 14336.957
AT ITER 6137 NEW BEST:: SOT 77494 SOS 40934 HAS SOPS 40812 HAS SOUS 14397 HAS SOUPS 14275 WITH SCORE 14315.934
AT ITER 6184 NEW BEST:: SOT 77493 SOS 40932 HAS SOPS 40810 HAS SOUS 14389 HAS SOUPS 14267 WITH SCORE 14307.932
AT ITER 6242 NEW BEST:: SOT 77487 SOS 40920 HAS SOPS 40798 HAS SOUS 14386 HAS SOUPS 14264 WITH SCORE 14304.92
AT ITER 6303 NEW BEST:: SOT 77478 SOS 40895 HAS SOPS 40773 HAS SOUS 14382 HAS SOUPS 14260 WITH SCORE 14300.895
AT ITER 6318 NEW BEST:: SOT 77470 SOS 40867 HAS SOPS 40745 HAS SOUS 14378 HAS SOUPS 14256 WITH SCORE 14296.867
AT ITER 6336 NEW BEST:: SOT 77349 SOS 40746 HAS SOPS 40624 HAS SOUS 14345 HAS SOUPS 14223 WITH SCORE 14263.746
AT ITER 6460 NEW BEST:: SOT 77343 SOS 40740 HAS SOPS 40618 HAS SOUS 14333 HAS SOUPS 14211 WITH SCORE 14251.74
AT ITER 6469 NEW BEST:: SOT 77326 SOS 40844 HAS SOPS 40722 HAS SOUS 14324 HAS SOUPS 14202 WITH SCORE 14242.844
AT ITER 6476 NEW BEST:: SOT 77324 SOS 40841 HAS SOPS 40719 HAS SOUS 14321 HAS SOUPS 14199 WITH SCORE 14239.841
AT ITER 6567 NEW BEST:: SOT 77324 SOS 40853 HAS SOPS 40731 HAS SOUS 14317 HAS SOUPS 14195 WITH SCORE 14235.853
AT ITER 6571 NEW BEST:: SOT 77327 SOS 40859 HAS SOPS 40737 HAS SOUS 14312 HAS SOUPS 14190 WITH SCORE 14230.859
AT ITER 6577 NEW BEST:: SOT 77324 SOS 40856 HAS SOPS 40734 HAS SOUS 14306 HAS SOUPS 14184 WITH SCORE 14224.856
AT ITER 6584 NEW BEST:: SOT 77320 SOS 40852 HAS SOPS 40730 HAS SOUS 14298 HAS SOUPS 14176 WITH SCORE 14216.852
AT ITER 6620 NEW BEST:: SOT 77319 SOS 40851 HAS SOPS 40729 HAS SOUS 14296 HAS SOUPS 14174 WITH SCORE 14214.851
AT ITER 6621 NEW BEST:: SOT 77314 SOS 40846 HAS SOPS 40719 HAS SOUS 14296 HAS SOUPS 14169 WITH SCORE 14209.846
AT ITER 6641 NEW BEST:: SOT 77296 SOS 40828 HAS SOPS 40701 HAS SOUS 14289 HAS SOUPS 14162 WITH SCORE 14202.828
AT ITER 6667 NEW BEST:: SOT 77291 SOS 40838 HAS SOPS 40711 HAS SOUS 14279 HAS SOUPS 14152 WITH SCORE 14192.838
AT ITER 6706 NEW BEST:: SOT 77272 SOS 40819 HAS SOPS 40692 HAS SOUS 14279 HAS SOUPS 14152 WITH SCORE 14192.819
AT ITER 6735 NEW BEST:: SOT 77270 SOS 40817 HAS SOPS 40690 HAS SOUS 14277 HAS SOUPS 14150 WITH SCORE 14190.817
AT ITER 6753 NEW BEST:: SOT 77270 SOS 40817 HAS SOPS 40690 HAS SOUS 14274 HAS SOUPS 14147 WITH SCORE 14187.817
AT ITER 6769 NEW BEST:: SOT 77268 SOS 40814 HAS SOPS 40687 HAS SOUS 14271 HAS SOUPS 14144 WITH SCORE 14184.814
AT ITER 6808 NEW BEST:: SOT 77266 SOS 40812 HAS SOPS 40685 HAS SOUS 14267 HAS SOUPS 14140 WITH SCORE 14180.812
AT ITER 6834 NEW BEST:: SOT 77263 SOS 40818 HAS SOPS 40691 HAS SOUS 14264 HAS SOUPS 14137 WITH SCORE 14177.818
AT ITER 6870 NEW BEST:: SOT 77263 SOS 40818 HAS SOPS 40691 HAS SOUS 14263 HAS SOUPS 14136 WITH SCORE 14176.818
AT ITER 6884 NEW BEST:: SOT 77261 SOS 40822 HAS SOPS 40695 HAS SOUS 14259 HAS SOUPS 14132 WITH SCORE 14172.822
AT ITER 6918 NEW BEST:: SOT 77257 SOS 40814 HAS SOPS 40687 HAS SOUS 14255 HAS SOUPS 14128 WITH SCORE 14168.814
AT ITER 6946 NEW BEST:: SOT 77255 SOS 40812 HAS SOPS 40685 HAS SOUS 14250 HAS SOUPS 14123 WITH SCORE 14163.812
AT ITER 6979 NEW BEST:: SOT 77254 SOS 40811 HAS SOPS 40684 HAS SOUS 14248 HAS SOUPS 14121 WITH SCORE 14161.811
AT ITER 6997 NEW BEST:: SOT 77253 SOS 40810 HAS SOPS 40683 HAS SOUS 14248 HAS SOUPS 14121 WITH SCORE 14161.81
AT ITER 7028 NEW BEST:: SOT 77246 SOS 40856 HAS SOPS 40729 HAS SOUS 14247 HAS SOUPS 14120 WITH SCORE 14160.856
AT ITER 7033 NEW BEST:: SOT 77243 SOS 40850 HAS SOPS 40723 HAS SOUS 14241 HAS SOUPS 14114 WITH SCORE 14154.85
AT ITER 7087 NEW BEST:: SOT 77241 SOS 40858 HAS SOPS 40731 HAS SOUS 14239 HAS SOUPS 14112 WITH SCORE 14152.858
AT ITER 7116 NEW BEST:: SOT 77255 SOS 40832 HAS SOPS 40677 HAS SOUS 14245 HAS SOUPS 14090 WITH SCORE 14130.832
AT ITER 7149 NEW BEST:: SOT 77254 SOS 40831 HAS SOPS 40676 HAS SOUS 14242 HAS SOUPS 14087 WITH SCORE 14127.831
AT ITER 7163 NEW BEST:: SOT 77254 SOS 40831 HAS SOPS 40676 HAS SOUS 14239 HAS SOUPS 14084 WITH SCORE 14124.831
AT ITER 7207 NEW BEST:: SOT 77249 SOS 40821 HAS SOPS 40657 HAS SOUS 14229 HAS SOUPS 14065 WITH SCORE 14105.821
AT ITER 7212 NEW BEST:: SOT 77242 SOS 40807 HAS SOPS 40643 HAS SOUS 14214 HAS SOUPS 14050 WITH SCORE 14090.807
AT ITER 7231 NEW BEST:: SOT 77228 SOS 40786 HAS SOPS 40622 HAS SOUS 14193 HAS SOUPS 14029 WITH SCORE 14069.786
AT ITER 7259 NEW BEST:: SOT 77228 SOS 40786 HAS SOPS 40619 HAS SOUS 14193 HAS SOUPS 14026 WITH SCORE 14066.786
AT ITER 7345 NEW BEST:: SOT 77225 SOS 40780 HAS SOPS 40613 HAS SOUS 14187 HAS SOUPS 14020 WITH SCORE 14060.78
AT ITER 7390 NEW BEST:: SOT 77220 SOS 40818 HAS SOPS 40651 HAS SOUS 14180 HAS SOUPS 14013 WITH SCORE 14053.818
AT ITER 7482 NEW BEST:: SOT 77220 SOS 40806 HAS SOPS 40639 HAS SOUS 14180 HAS SOUPS 14013 WITH SCORE 14053.806
AT ITER 7513 NEW BEST:: SOT 77220 SOS 40781 HAS SOPS 40614 HAS SOUS 14180 HAS SOUPS 14013 WITH SCORE 14053.781
AT ITER 7524 NEW BEST:: SOT 77193 SOS 40671 HAS SOPS 40504 HAS SOUS 14168 HAS SOUPS 14001 WITH SCORE 14041.671
AT ITER 7679 NEW BEST:: SOT 77190 SOS 40662 HAS SOPS 40495 HAS SOUS 14164 HAS SOUPS 13997 WITH SCORE 14037.662
AT ITER 7717 NEW BEST:: SOT 77190 SOS 40582 HAS SOPS 40415 HAS SOUS 14164 HAS SOUPS 13997 WITH SCORE 14037.582
AT ITER 7765 NEW BEST:: SOT 77189 SOS 40581 HAS SOPS 40414 HAS SOUS 14163 HAS SOUPS 13996 WITH SCORE 14036.581
AT ITER 7788 NEW BEST:: SOT 77189 SOS 40581 HAS SOPS 40414 HAS SOUS 14161 HAS SOUPS 13994 WITH SCORE 14034.581
AT ITER 7799 NEW BEST:: SOT 77194 SOS 40561 HAS SOPS 40394 HAS SOUS 14157 HAS SOUPS 13990 WITH SCORE 14030.561
AT ITER 7890 NEW BEST:: SOT 77190 SOS 40557 HAS SOPS 40390 HAS SOUS 14153 HAS SOUPS 13986 WITH SCORE 14026.557
AT ITER 7965 NEW BEST:: SOT 77190 SOS 40557 HAS SOPS 40390 HAS SOUS 14147 HAS SOUPS 13980 WITH SCORE 14020.557
AT ITER 7992 NEW BEST:: SOT 77194 SOS 40561 HAS SOPS 40385 HAS SOUS 14151 HAS SOUPS 13975 WITH SCORE 14015.561
AT ITER 8024 NEW BEST:: SOT 77194 SOS 40537 HAS SOPS 40361 HAS SOUS 14147 HAS SOUPS 13971 WITH SCORE 14011.537
AT ITER 8078 NEW BEST:: SOT 77177 SOS 40513 HAS SOPS 40337 HAS SOUS 14134 HAS SOUPS 13958 WITH SCORE 13998.513
AT ITER 8099 NEW BEST:: SOT 77175 SOS 40511 HAS SOPS 40335 HAS SOUS 14130 HAS SOUPS 13954 WITH SCORE 13994.511
AT ITER 8108 NEW BEST:: SOT 77171 SOS 40503 HAS SOPS 40327 HAS SOUS 14122 HAS SOUPS 13946 WITH SCORE 13986.503
AT ITER 8138 NEW BEST:: SOT 77165 SOS 40527 HAS SOPS 40351 HAS SOUS 14116 HAS SOUPS 13940 WITH SCORE 13980.527
AT ITER 8140 NEW BEST:: SOT 77164 SOS 40541 HAS SOPS 40365 HAS SOUS 14114 HAS SOUPS 13938 WITH SCORE 13978.541
AT ITER 8194 NEW BEST:: SOT 77163 SOS 40540 HAS SOPS 40364 HAS SOUS 14112 HAS SOUPS 13936 WITH SCORE 13976.54
AT ITER 8220 NEW BEST:: SOT 77151 SOS 40528 HAS SOPS 40352 HAS SOUS 14086 HAS SOUPS 13910 WITH SCORE 13950.528
AT ITER 8336 NEW BEST:: SOT 77245 SOS 40608 HAS SOPS 40432 HAS SOUS 14036 HAS SOUPS 13860 WITH SCORE 13900.608
AT ITER 8347 NEW BEST:: SOT 77237 SOS 40600 HAS SOPS 40424 HAS SOUS 14025 HAS SOUPS 13849 WITH SCORE 13889.6
AT ITER 8423 NEW BEST:: SOT 77236 SOS 40599 HAS SOPS 40423 HAS SOUS 14025 HAS SOUPS 13849 WITH SCORE 13889.599
AT ITER 8440 NEW BEST:: SOT 77230 SOS 40590 HAS SOPS 40414 HAS SOUS 14016 HAS SOUPS 13840 WITH SCORE 13880.59
AT ITER 8478 NEW BEST:: SOT 77229 SOS 40594 HAS SOPS 40418 HAS SOUS 14015 HAS SOUPS 13839 WITH SCORE 13879.594
AT ITER 8546 NEW BEST:: SOT 77221 SOS 40578 HAS SOPS 40402 HAS SOUS 14003 HAS SOUPS 13827 WITH SCORE 13867.578
AT ITER 8642 NEW BEST:: SOT 77212 SOS 40560 HAS SOPS 40384 HAS SOUS 13994 HAS SOUPS 13818 WITH SCORE 13858.56
AT ITER 8666 NEW BEST:: SOT 77211 SOS 40559 HAS SOPS 40383 HAS SOUS 13993 HAS SOUPS 13817 WITH SCORE 13857.559
AT ITER 8685 NEW BEST:: SOT 77206 SOS 40545 HAS SOPS 40369 HAS SOUS 13988 HAS SOUPS 13812 WITH SCORE 13852.545
AT ITER 8744 NEW BEST:: SOT 77156 SOS 40495 HAS SOPS 40319 HAS SOUS 13988 HAS SOUPS 13812 WITH SCORE 13852.495
AT ITER 8789 NEW BEST:: SOT 77144 SOS 40488 HAS SOPS 40312 HAS SOUS 13981 HAS SOUPS 13805 WITH SCORE 13845.488
AT ITER 8833 NEW BEST:: SOT 77154 SOS 40498 HAS SOPS 40322 HAS SOUS 13980 HAS SOUPS 13804 WITH SCORE 13844.498
AT ITER 8870 NEW BEST:: SOT 77154 SOS 40498 HAS SOPS 40322 HAS SOUS 13969 HAS SOUPS 13793 WITH SCORE 13833.498
AT ITER 8984 NEW BEST:: SOT 77142 SOS 40480 HAS SOPS 40304 HAS SOUS 13951 HAS SOUPS 13775 WITH SCORE 13815.48
AT ITER 9021 NEW BEST:: SOT 77144 SOS 40495 HAS SOPS 40319 HAS SOUS 13950 HAS SOUPS 13774 WITH SCORE 13814.495
AT ITER 9108 NEW BEST:: SOT 77096 SOS 40583 HAS SOPS 40407 HAS SOUS 13925 HAS SOUPS 13749 WITH SCORE 13789.583
AT ITER 9474 NEW BEST:: SOT 77094 SOS 40581 HAS SOPS 40402 HAS SOUS 13924 HAS SOUPS 13745 WITH SCORE 13785.581
AT ITER 9515 NEW BEST:: SOT 77093 SOS 40579 HAS SOPS 40400 HAS SOUS 13922 HAS SOUPS 13743 WITH SCORE 13783.579
AT ITER 9526 NEW BEST:: SOT 77083 SOS 40569 HAS SOPS 40390 HAS SOUS 13922 HAS SOUPS 13743 WITH SCORE 13783.569
AT ITER 9730 NEW BEST:: SOT 77081 SOS 40581 HAS SOPS 40402 HAS SOUS 13917 HAS SOUPS 13738 WITH SCORE 13778.581
AT ITER 9751 NEW BEST:: SOT 77079 SOS 40579 HAS SOPS 40400 HAS SOUS 13913 HAS SOUPS 13734 WITH SCORE 13774.579
AT ITER 9794 NEW BEST:: SOT 77078 SOS 40593 HAS SOPS 40414 HAS SOUS 13912 HAS SOUPS 13733 WITH SCORE 13773.593
AT ITER 9830 NEW BEST:: SOT 77076 SOS 40590 HAS SOPS 40411 HAS SOUS 13909 HAS SOUPS 13730 WITH SCORE 13770.59
AT ITER 9833 NEW BEST:: SOT 77045 SOS 40526 HAS SOPS 40347 HAS SOUS 13839 HAS SOUPS 13660 WITH SCORE 13700.526
AT ITER 9911 NEW BEST:: SOT 76935 SOS 40416 HAS SOPS 40237 HAS SOUS 13829 HAS SOUPS 13650 WITH SCORE 13690.416
AT ITER 9994 NEW BEST:: SOT 76848 SOS 40329 HAS SOPS 40150 HAS SOUS 13829 HAS SOUPS 13650 WITH SCORE 13690.329

BK_STOP 1679875940883

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 375 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="Anderson-PT-06"
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 Anderson-PT-06, 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-167987241900024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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