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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 647K 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 1678613578073

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=LeafsetExtension-PT-S08C2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C2
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: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 107047 SOS 26593 HAS SOPS 26264 HAS SOUS 23052 HAS SOUPS 22955 WITH SCORE 22981.593
AT ITER 17 NEW BEST:: SOT 107047 SOS 26573 HAS SOPS 26244 HAS SOUS 23032 HAS SOUPS 22935 WITH SCORE 22961.573
AT ITER 26 NEW BEST:: SOT 107047 SOS 26556 HAS SOPS 26227 HAS SOUS 23031 HAS SOUPS 22934 WITH SCORE 22960.556
AT ITER 27 NEW BEST:: SOT 107035 SOS 26496 HAS SOPS 26167 HAS SOUS 23007 HAS SOUPS 22910 WITH SCORE 22936.496
AT ITER 29 NEW BEST:: SOT 106966 SOS 26221 HAS SOPS 25892 HAS SOUS 22896 HAS SOUPS 22799 WITH SCORE 22825.221
AT ITER 55 NEW BEST:: SOT 106928 SOS 26183 HAS SOPS 25854 HAS SOUS 22858 HAS SOUPS 22761 WITH SCORE 22787.183
AT ITER 80 NEW BEST:: SOT 106928 SOS 26139 HAS SOPS 25810 HAS SOUS 22854 HAS SOUPS 22757 WITH SCORE 22783.139
AT ITER 85 NEW BEST:: SOT 106965 SOS 26099 HAS SOPS 25770 HAS SOUS 22846 HAS SOUPS 22749 WITH SCORE 22775.099
AT ITER 89 NEW BEST:: SOT 106965 SOS 25943 HAS SOPS 25614 HAS SOUS 22838 HAS SOUPS 22741 WITH SCORE 22766.943
AT ITER 105 NEW BEST:: SOT 106958 SOS 25936 HAS SOPS 25607 HAS SOUS 22831 HAS SOUPS 22734 WITH SCORE 22759.936
AT ITER 108 NEW BEST:: SOT 106958 SOS 25910 HAS SOPS 25581 HAS SOUS 22804 HAS SOUPS 22707 WITH SCORE 22732.91
AT ITER 124 NEW BEST:: SOT 106946 SOS 25910 HAS SOPS 25581 HAS SOUS 22802 HAS SOUPS 22705 WITH SCORE 22730.91
AT ITER 130 NEW BEST:: SOT 106946 SOS 25909 HAS SOPS 25580 HAS SOUS 22801 HAS SOUPS 22704 WITH SCORE 22729.909
AT ITER 132 NEW BEST:: SOT 106946 SOS 25906 HAS SOPS 25577 HAS SOUS 22798 HAS SOUPS 22701 WITH SCORE 22726.906
AT ITER 145 NEW BEST:: SOT 106882 SOS 25987 HAS SOPS 25542 HAS SOUS 22798 HAS SOUPS 22672 WITH SCORE 22697.987
AT ITER 160 NEW BEST:: SOT 106839 SOS 25964 HAS SOPS 25519 HAS SOUS 22777 HAS SOUPS 22651 WITH SCORE 22676.964
AT ITER 189 NEW BEST:: SOT 106804 SOS 25935 HAS SOPS 25490 HAS SOUS 22773 HAS SOUPS 22647 WITH SCORE 22672.935
AT ITER 203 NEW BEST:: SOT 106761 SOS 25806 HAS SOPS 25361 HAS SOUS 22707 HAS SOUPS 22581 WITH SCORE 22606.806
AT ITER 242 NEW BEST:: SOT 106462 SOS 25639 HAS SOPS 25153 HAS SOUS 22508 HAS SOUPS 22373 WITH SCORE 22398.639
AT ITER 269 NEW BEST:: SOT 106391 SOS 25585 HAS SOPS 25106 HAS SOUS 22460 HAS SOUPS 22325 WITH SCORE 22350.585
AT ITER 278 NEW BEST:: SOT 106358 SOS 25554 HAS SOPS 25075 HAS SOUS 22429 HAS SOUPS 22294 WITH SCORE 22319.554
AT ITER 291 NEW BEST:: SOT 106351 SOS 25434 HAS SOPS 24955 HAS SOUS 22417 HAS SOUPS 22282 WITH SCORE 22307.434
AT ITER 310 NEW BEST:: SOT 106347 SOS 25396 HAS SOPS 24951 HAS SOUS 22404 HAS SOUPS 22278 WITH SCORE 22303.396
AT ITER 311 NEW BEST:: SOT 106318 SOS 25363 HAS SOPS 24918 HAS SOUS 22371 HAS SOUPS 22245 WITH SCORE 22270.363
AT ITER 313 NEW BEST:: SOT 106312 SOS 25349 HAS SOPS 24904 HAS SOUS 22357 HAS SOUPS 22231 WITH SCORE 22256.349
AT ITER 330 NEW BEST:: SOT 106294 SOS 25346 HAS SOPS 24901 HAS SOUS 22354 HAS SOUPS 22228 WITH SCORE 22253.346
AT ITER 352 NEW BEST:: SOT 106270 SOS 25322 HAS SOPS 24877 HAS SOUS 22330 HAS SOUPS 22204 WITH SCORE 22229.322
AT ITER 432 NEW BEST:: SOT 106270 SOS 25309 HAS SOPS 24864 HAS SOUS 22330 HAS SOUPS 22204 WITH SCORE 22229.309
AT ITER 436 NEW BEST:: SOT 106270 SOS 25347 HAS SOPS 24902 HAS SOUS 22328 HAS SOUPS 22202 WITH SCORE 22227.347
AT ITER 449 NEW BEST:: SOT 106270 SOS 25348 HAS SOPS 24903 HAS SOUS 22324 HAS SOUPS 22198 WITH SCORE 22223.348
AT ITER 463 NEW BEST:: SOT 106270 SOS 25348 HAS SOPS 24903 HAS SOUS 22321 HAS SOUPS 22195 WITH SCORE 22220.348
AT ITER 475 NEW BEST:: SOT 106228 SOS 25318 HAS SOPS 24873 HAS SOUS 22267 HAS SOUPS 22141 WITH SCORE 22166.318
AT ITER 489 NEW BEST:: SOT 106228 SOS 25371 HAS SOPS 24926 HAS SOUS 22262 HAS SOUPS 22136 WITH SCORE 22161.371
AT ITER 503 NEW BEST:: SOT 106192 SOS 25191 HAS SOPS 24746 HAS SOUS 22190 HAS SOUPS 22064 WITH SCORE 22089.191
AT ITER 522 NEW BEST:: SOT 106231 SOS 25249 HAS SOPS 24584 HAS SOUS 22257 HAS SOUPS 21918 WITH SCORE 21943.249
AT ITER 525 NEW BEST:: SOT 106200 SOS 25122 HAS SOPS 24457 HAS SOUS 22195 HAS SOUPS 21856 WITH SCORE 21881.122
AT ITER 541 NEW BEST:: SOT 106107 SOS 25116 HAS SOPS 24451 HAS SOUS 22174 HAS SOUPS 21835 WITH SCORE 21860.116
AT ITER 557 NEW BEST:: SOT 106100 SOS 25061 HAS SOPS 24396 HAS SOUS 22160 HAS SOUPS 21821 WITH SCORE 21846.061
AT ITER 574 NEW BEST:: SOT 106100 SOS 25043 HAS SOPS 24378 HAS SOUS 22160 HAS SOUPS 21821 WITH SCORE 21846.043
AT ITER 587 NEW BEST:: SOT 106100 SOS 25027 HAS SOPS 24362 HAS SOUS 22160 HAS SOUPS 21821 WITH SCORE 21846.027
AT ITER 601 NEW BEST:: SOT 105987 SOS 25427 HAS SOPS 24251 HAS SOUS 22109 HAS SOUPS 21685 WITH SCORE 21710.427
AT ITER 609 NEW BEST:: SOT 105987 SOS 25322 HAS SOPS 24146 HAS SOUS 22064 HAS SOUPS 21640 WITH SCORE 21665.322
AT ITER 612 NEW BEST:: SOT 105974 SOS 25294 HAS SOPS 24118 HAS SOUS 22036 HAS SOUPS 21612 WITH SCORE 21637.294
AT ITER 619 NEW BEST:: SOT 105866 SOS 25294 HAS SOPS 24118 HAS SOUS 22003 HAS SOUPS 21579 WITH SCORE 21604.294
AT ITER 634 NEW BEST:: SOT 105856 SOS 25302 HAS SOPS 24126 HAS SOUS 21993 HAS SOUPS 21569 WITH SCORE 21594.302
AT ITER 645 NEW BEST:: SOT 105852 SOS 25298 HAS SOPS 24122 HAS SOUS 21989 HAS SOUPS 21565 WITH SCORE 21590.298
AT ITER 666 NEW BEST:: SOT 105471 SOS 29863 HAS SOPS 28681 HAS SOUS 21880 HAS SOUPS 21450 WITH SCORE 21479.863
AT ITER 679 NEW BEST:: SOT 105471 SOS 29862 HAS SOPS 28680 HAS SOUS 21879 HAS SOUPS 21449 WITH SCORE 21478.862
AT ITER 698 NEW BEST:: SOT 105432 SOS 29862 HAS SOPS 28680 HAS SOUS 21876 HAS SOUPS 21446 WITH SCORE 21475.862
AT ITER 701 NEW BEST:: SOT 105427 SOS 29826 HAS SOPS 28644 HAS SOUS 21871 HAS SOUPS 21441 WITH SCORE 21470.826
AT ITER 730 NEW BEST:: SOT 105419 SOS 29758 HAS SOPS 28576 HAS SOUS 21863 HAS SOUPS 21433 WITH SCORE 21462.758
AT ITER 754 NEW BEST:: SOT 105310 SOS 29680 HAS SOPS 28498 HAS SOUS 21752 HAS SOUPS 21322 WITH SCORE 21351.68
AT ITER 756 NEW BEST:: SOT 105275 SOS 29659 HAS SOPS 28477 HAS SOUS 21716 HAS SOUPS 21286 WITH SCORE 21315.659
AT ITER 765 NEW BEST:: SOT 105275 SOS 29621 HAS SOPS 28439 HAS SOUS 21705 HAS SOUPS 21275 WITH SCORE 21304.621
AT ITER 769 NEW BEST:: SOT 105211 SOS 29699 HAS SOPS 28375 HAS SOUS 21667 HAS SOUPS 21205 WITH SCORE 21234.699
AT ITER 820 NEW BEST:: SOT 105234 SOS 29722 HAS SOPS 28398 HAS SOUS 21655 HAS SOUPS 21193 WITH SCORE 21222.722
AT ITER 821 NEW BEST:: SOT 105185 SOS 29673 HAS SOPS 28349 HAS SOUS 21587 HAS SOUPS 21125 WITH SCORE 21154.673
AT ITER 838 NEW BEST:: SOT 105166 SOS 29514 HAS SOPS 28190 HAS SOUS 21554 HAS SOUPS 21092 WITH SCORE 21121.514
AT ITER 843 NEW BEST:: SOT 105181 SOS 29529 HAS SOPS 28198 HAS SOUS 21547 HAS SOUPS 21078 WITH SCORE 21107.529
AT ITER 844 NEW BEST:: SOT 105161 SOS 29533 HAS SOPS 28182 HAS SOUS 21527 HAS SOUPS 21038 WITH SCORE 21067.533
AT ITER 863 NEW BEST:: SOT 105161 SOS 29533 HAS SOPS 28155 HAS SOUS 21525 HAS SOUPS 21011 WITH SCORE 21040.533
AT ITER 866 NEW BEST:: SOT 105160 SOS 29489 HAS SOPS 28111 HAS SOUS 21481 HAS SOUPS 20967 WITH SCORE 20996.489
AT ITER 880 NEW BEST:: SOT 105152 SOS 29375 HAS SOPS 27997 HAS SOUS 21469 HAS SOUPS 20955 WITH SCORE 20984.375
AT ITER 892 NEW BEST:: SOT 105007 SOS 29417 HAS SOPS 28039 HAS SOUS 21406 HAS SOUPS 20892 WITH SCORE 20921.417
AT ITER 917 NEW BEST:: SOT 104990 SOS 29398 HAS SOPS 28036 HAS SOUS 21382 HAS SOUPS 20868 WITH SCORE 20897.398
AT ITER 947 NEW BEST:: SOT 104979 SOS 29398 HAS SOPS 28036 HAS SOUS 21381 HAS SOUPS 20867 WITH SCORE 20896.398
AT ITER 966 NEW BEST:: SOT 104946 SOS 29217 HAS SOPS 27855 HAS SOUS 21261 HAS SOUPS 20747 WITH SCORE 20776.217
AT ITER 975 NEW BEST:: SOT 104946 SOS 29196 HAS SOPS 27834 HAS SOUS 21240 HAS SOUPS 20726 WITH SCORE 20755.196
AT ITER 980 NEW BEST:: SOT 104926 SOS 29131 HAS SOPS 27769 HAS SOUS 21201 HAS SOUPS 20687 WITH SCORE 20716.131
AT ITER 996 NEW BEST:: SOT 104916 SOS 29141 HAS SOPS 27759 HAS SOUS 21201 HAS SOUPS 20682 WITH SCORE 20711.141
AT ITER 1003 NEW BEST:: SOT 104886 SOS 28991 HAS SOPS 27609 HAS SOUS 21141 HAS SOUPS 20622 WITH SCORE 20650.991
AT ITER 1017 NEW BEST:: SOT 104830 SOS 28781 HAS SOPS 27399 HAS SOUS 21041 HAS SOUPS 20522 WITH SCORE 20550.781
AT ITER 1025 NEW BEST:: SOT 104830 SOS 28781 HAS SOPS 27399 HAS SOUS 21026 HAS SOUPS 20507 WITH SCORE 20535.781
AT ITER 1028 NEW BEST:: SOT 104830 SOS 28779 HAS SOPS 27397 HAS SOUS 21024 HAS SOUPS 20505 WITH SCORE 20533.779
AT ITER 1034 NEW BEST:: SOT 104800 SOS 28734 HAS SOPS 27352 HAS SOUS 21024 HAS SOUPS 20505 WITH SCORE 20533.734
AT ITER 1037 NEW BEST:: SOT 104800 SOS 28607 HAS SOPS 27225 HAS SOUS 21020 HAS SOUPS 20501 WITH SCORE 20529.607
AT ITER 1068 NEW BEST:: SOT 104772 SOS 28579 HAS SOPS 27197 HAS SOUS 20964 HAS SOUPS 20445 WITH SCORE 20473.579
AT ITER 1072 NEW BEST:: SOT 104768 SOS 28578 HAS SOPS 27196 HAS SOUS 20963 HAS SOUPS 20444 WITH SCORE 20472.578
AT ITER 1078 NEW BEST:: SOT 104724 SOS 28518 HAS SOPS 27136 HAS SOUS 20903 HAS SOUPS 20384 WITH SCORE 20412.518
AT ITER 1096 NEW BEST:: SOT 104724 SOS 28518 HAS SOPS 27136 HAS SOUS 20902 HAS SOUPS 20383 WITH SCORE 20411.518
AT ITER 1102 NEW BEST:: SOT 104714 SOS 28597 HAS SOPS 27215 HAS SOUS 20896 HAS SOUPS 20377 WITH SCORE 20405.597
AT ITER 1132 NEW BEST:: SOT 104694 SOS 28577 HAS SOPS 27195 HAS SOUS 20876 HAS SOUPS 20357 WITH SCORE 20385.577
AT ITER 1143 NEW BEST:: SOT 104693 SOS 28576 HAS SOPS 27194 HAS SOUS 20874 HAS SOUPS 20355 WITH SCORE 20383.576
AT ITER 1165 NEW BEST:: SOT 104693 SOS 28575 HAS SOPS 27193 HAS SOUS 20873 HAS SOUPS 20354 WITH SCORE 20382.575
AT ITER 1167 NEW BEST:: SOT 104723 SOS 28605 HAS SOPS 27223 HAS SOUS 20847 HAS SOUPS 20328 WITH SCORE 20356.605
AT ITER 1181 NEW BEST:: SOT 104693 SOS 28569 HAS SOPS 27187 HAS SOUS 20811 HAS SOUPS 20292 WITH SCORE 20320.569
AT ITER 1188 NEW BEST:: SOT 104686 SOS 28549 HAS SOPS 27167 HAS SOUS 20797 HAS SOUPS 20278 WITH SCORE 20306.549
AT ITER 1189 NEW BEST:: SOT 104686 SOS 28550 HAS SOPS 27168 HAS SOUS 20779 HAS SOUPS 20260 WITH SCORE 20288.55
AT ITER 1205 NEW BEST:: SOT 104687 SOS 28545 HAS SOPS 27163 HAS SOUS 20774 HAS SOUPS 20255 WITH SCORE 20283.545
AT ITER 1211 NEW BEST:: SOT 104597 SOS 28570 HAS SOPS 27208 HAS SOUS 20748 HAS SOUPS 20229 WITH SCORE 20257.57
AT ITER 1250 NEW BEST:: SOT 104599 SOS 28572 HAS SOPS 27210 HAS SOUS 20703 HAS SOUPS 20184 WITH SCORE 20212.572
AT ITER 1258 NEW BEST:: SOT 104609 SOS 28534 HAS SOPS 27172 HAS SOUS 20697 HAS SOUPS 20178 WITH SCORE 20206.534
AT ITER 1272 NEW BEST:: SOT 104605 SOS 28530 HAS SOPS 27168 HAS SOUS 20689 HAS SOUPS 20170 WITH SCORE 20198.53
AT ITER 1284 NEW BEST:: SOT 104605 SOS 28517 HAS SOPS 27155 HAS SOUS 20676 HAS SOUPS 20157 WITH SCORE 20185.517
AT ITER 1288 NEW BEST:: SOT 104600 SOS 28512 HAS SOPS 27150 HAS SOUS 20666 HAS SOUPS 20147 WITH SCORE 20175.512
AT ITER 1307 NEW BEST:: SOT 104595 SOS 28484 HAS SOPS 27124 HAS SOUS 20656 HAS SOUPS 20137 WITH SCORE 20165.484
AT ITER 1335 NEW BEST:: SOT 104585 SOS 28494 HAS SOPS 27114 HAS SOUS 20652 HAS SOUPS 20128 WITH SCORE 20156.494
AT ITER 1336 NEW BEST:: SOT 104566 SOS 28547 HAS SOPS 27167 HAS SOUS 20648 HAS SOUPS 20124 WITH SCORE 20152.547
AT ITER 1338 NEW BEST:: SOT 104559 SOS 28536 HAS SOPS 27156 HAS SOUS 20637 HAS SOUPS 20113 WITH SCORE 20141.536
AT ITER 1360 NEW BEST:: SOT 104544 SOS 28521 HAS SOPS 27141 HAS SOUS 20622 HAS SOUPS 20098 WITH SCORE 20126.521
AT ITER 1364 NEW BEST:: SOT 104544 SOS 28517 HAS SOPS 27137 HAS SOUS 20618 HAS SOUPS 20094 WITH SCORE 20122.517
AT ITER 1380 NEW BEST:: SOT 104448 SOS 28417 HAS SOPS 27037 HAS SOUS 20518 HAS SOUPS 19994 WITH SCORE 20022.417
AT ITER 1381 NEW BEST:: SOT 104418 SOS 28340 HAS SOPS 26985 HAS SOUS 20466 HAS SOUPS 19942 WITH SCORE 19970.34
AT ITER 1382 NEW BEST:: SOT 104378 SOS 28280 HAS SOPS 26925 HAS SOUS 20394 HAS SOUPS 19870 WITH SCORE 19898.28
AT ITER 1391 NEW BEST:: SOT 104389 SOS 28291 HAS SOPS 26936 HAS SOUS 20386 HAS SOUPS 19862 WITH SCORE 19890.291
AT ITER 1393 NEW BEST:: SOT 104386 SOS 28285 HAS SOPS 26930 HAS SOUS 20383 HAS SOUPS 19859 WITH SCORE 19887.285
AT ITER 1401 NEW BEST:: SOT 104332 SOS 28231 HAS SOPS 26876 HAS SOUS 20306 HAS SOUPS 19782 WITH SCORE 19810.231
AT ITER 1422 NEW BEST:: SOT 104317 SOS 28215 HAS SOPS 26860 HAS SOUS 20290 HAS SOUPS 19766 WITH SCORE 19794.215
AT ITER 1478 NEW BEST:: SOT 104310 SOS 28172 HAS SOPS 26817 HAS SOUS 20283 HAS SOUPS 19759 WITH SCORE 19787.172
AT ITER 1485 NEW BEST:: SOT 104280 SOS 28172 HAS SOPS 26817 HAS SOUS 20262 HAS SOUPS 19738 WITH SCORE 19766.172
AT ITER 1502 NEW BEST:: SOT 104275 SOS 28159 HAS SOPS 26804 HAS SOUS 20249 HAS SOUPS 19725 WITH SCORE 19753.159
AT ITER 1505 NEW BEST:: SOT 104275 SOS 28159 HAS SOPS 26804 HAS SOUS 20247 HAS SOUPS 19723 WITH SCORE 19751.159
AT ITER 1535 NEW BEST:: SOT 104290 SOS 28142 HAS SOPS 26787 HAS SOUS 20245 HAS SOUPS 19721 WITH SCORE 19749.142
AT ITER 1554 NEW BEST:: SOT 104320 SOS 28108 HAS SOPS 26698 HAS SOUS 20186 HAS SOUPS 19662 WITH SCORE 19690.108
AT ITER 1608 NEW BEST:: SOT 104317 SOS 28102 HAS SOPS 26692 HAS SOUS 20180 HAS SOUPS 19656 WITH SCORE 19684.102
AT ITER 1617 NEW BEST:: SOT 104319 SOS 28140 HAS SOPS 26730 HAS SOUS 20165 HAS SOUPS 19641 WITH SCORE 19669.14
AT ITER 1649 NEW BEST:: SOT 104283 SOS 28094 HAS SOPS 26684 HAS SOUS 20129 HAS SOUPS 19605 WITH SCORE 19633.094
AT ITER 1658 NEW BEST:: SOT 104270 SOS 27613 HAS SOPS 26203 HAS SOUS 20103 HAS SOUPS 19579 WITH SCORE 19606.613
AT ITER 1664 NEW BEST:: SOT 104283 SOS 27626 HAS SOPS 26216 HAS SOUS 20065 HAS SOUPS 19541 WITH SCORE 19568.626
AT ITER 1668 NEW BEST:: SOT 104283 SOS 27626 HAS SOPS 26216 HAS SOUS 20017 HAS SOUPS 19493 WITH SCORE 19520.626
AT ITER 1689 NEW BEST:: SOT 104273 SOS 27655 HAS SOPS 26245 HAS SOUS 20005 HAS SOUPS 19481 WITH SCORE 19508.655
AT ITER 1695 NEW BEST:: SOT 104274 SOS 27656 HAS SOPS 26246 HAS SOUS 19999 HAS SOUPS 19475 WITH SCORE 19502.656
AT ITER 1709 NEW BEST:: SOT 104269 SOS 27651 HAS SOPS 26241 HAS SOUS 19980 HAS SOUPS 19456 WITH SCORE 19483.651
AT ITER 1710 NEW BEST:: SOT 104248 SOS 27623 HAS SOPS 26213 HAS SOUS 19952 HAS SOUPS 19428 WITH SCORE 19455.623
AT ITER 1718 NEW BEST:: SOT 104248 SOS 27630 HAS SOPS 26220 HAS SOUS 19949 HAS SOUPS 19425 WITH SCORE 19452.63
AT ITER 1729 NEW BEST:: SOT 104244 SOS 27614 HAS SOPS 26204 HAS SOUS 19933 HAS SOUPS 19409 WITH SCORE 19436.614
AT ITER 1736 NEW BEST:: SOT 104226 SOS 27595 HAS SOPS 26185 HAS SOUS 19914 HAS SOUPS 19390 WITH SCORE 19417.595
AT ITER 1801 NEW BEST:: SOT 104226 SOS 27595 HAS SOPS 26185 HAS SOUS 19913 HAS SOUPS 19389 WITH SCORE 19416.595
AT ITER 1839 NEW BEST:: SOT 104282 SOS 27669 HAS SOPS 25952 HAS SOUS 19807 HAS SOUPS 19186 WITH SCORE 19213.669
AT ITER 1847 NEW BEST:: SOT 104324 SOS 27470 HAS SOPS 25753 HAS SOUS 19774 HAS SOUPS 19153 WITH SCORE 19180.47
AT ITER 1869 NEW BEST:: SOT 104324 SOS 27463 HAS SOPS 25746 HAS SOUS 19767 HAS SOUPS 19146 WITH SCORE 19173.463
AT ITER 1886 NEW BEST:: SOT 104326 SOS 27465 HAS SOPS 25748 HAS SOUS 19740 HAS SOUPS 19119 WITH SCORE 19146.465
AT ITER 1894 NEW BEST:: SOT 104136 SOS 27418 HAS SOPS 25701 HAS SOUS 19550 HAS SOUPS 18929 WITH SCORE 18956.418
AT ITER 1907 NEW BEST:: SOT 104132 SOS 27421 HAS SOPS 25704 HAS SOUS 19549 HAS SOUPS 18928 WITH SCORE 18955.421
AT ITER 1908 NEW BEST:: SOT 104090 SOS 27418 HAS SOPS 25701 HAS SOUS 19525 HAS SOUPS 18904 WITH SCORE 18931.418
AT ITER 1911 NEW BEST:: SOT 104082 SOS 27410 HAS SOPS 25693 HAS SOUS 19505 HAS SOUPS 18884 WITH SCORE 18911.41
AT ITER 1928 NEW BEST:: SOT 104082 SOS 27405 HAS SOPS 25688 HAS SOUS 19505 HAS SOUPS 18884 WITH SCORE 18911.405
AT ITER 1946 NEW BEST:: SOT 104082 SOS 27389 HAS SOPS 25672 HAS SOUS 19503 HAS SOUPS 18882 WITH SCORE 18909.389
AT ITER 1959 NEW BEST:: SOT 104086 SOS 27377 HAS SOPS 25660 HAS SOUS 19495 HAS SOUPS 18874 WITH SCORE 18901.377
AT ITER 1961 NEW BEST:: SOT 103994 SOS 27250 HAS SOPS 25533 HAS SOUS 19368 HAS SOUPS 18747 WITH SCORE 18774.25
AT ITER 1974 NEW BEST:: SOT 103994 SOS 27248 HAS SOPS 25531 HAS SOUS 19357 HAS SOUPS 18736 WITH SCORE 18763.248
AT ITER 2010 NEW BEST:: SOT 103973 SOS 27227 HAS SOPS 25510 HAS SOUS 19341 HAS SOUPS 18720 WITH SCORE 18747.227
AT ITER 2012 NEW BEST:: SOT 103973 SOS 27222 HAS SOPS 25505 HAS SOUS 19336 HAS SOUPS 18715 WITH SCORE 18742.222
AT ITER 2024 NEW BEST:: SOT 103944 SOS 27193 HAS SOPS 25476 HAS SOUS 19307 HAS SOUPS 18686 WITH SCORE 18713.193
AT ITER 2051 NEW BEST:: SOT 103945 SOS 27194 HAS SOPS 25477 HAS SOUS 19299 HAS SOUPS 18678 WITH SCORE 18705.194
AT ITER 2063 NEW BEST:: SOT 103947 SOS 27196 HAS SOPS 25479 HAS SOUS 19297 HAS SOUPS 18676 WITH SCORE 18703.196
AT ITER 2085 NEW BEST:: SOT 103944 SOS 27193 HAS SOPS 25476 HAS SOUS 19275 HAS SOUPS 18654 WITH SCORE 18681.193
AT ITER 2106 NEW BEST:: SOT 103936 SOS 27168 HAS SOPS 25451 HAS SOUS 19250 HAS SOUPS 18629 WITH SCORE 18656.168
AT ITER 2148 NEW BEST:: SOT 103920 SOS 27152 HAS SOPS 25435 HAS SOUS 19234 HAS SOUPS 18613 WITH SCORE 18640.152
AT ITER 2184 NEW BEST:: SOT 103917 SOS 27141 HAS SOPS 25424 HAS SOUS 19220 HAS SOUPS 18599 WITH SCORE 18626.141
AT ITER 2187 NEW BEST:: SOT 103917 SOS 27141 HAS SOPS 25424 HAS SOUS 19211 HAS SOUPS 18590 WITH SCORE 18617.141
AT ITER 2204 NEW BEST:: SOT 103897 SOS 27027 HAS SOPS 25305 HAS SOUS 19180 HAS SOUPS 18559 WITH SCORE 18586.027
AT ITER 2218 NEW BEST:: SOT 103894 SOS 27026 HAS SOPS 25304 HAS SOUS 19176 HAS SOUPS 18555 WITH SCORE 18582.026
AT ITER 2257 NEW BEST:: SOT 103889 SOS 27017 HAS SOPS 25295 HAS SOUS 19167 HAS SOUPS 18546 WITH SCORE 18573.017
AT ITER 2290 NEW BEST:: SOT 104005 SOS 27142 HAS SOPS 25193 HAS SOUS 19111 HAS SOUPS 18463 WITH SCORE 18490.142
AT ITER 2306 NEW BEST:: SOT 103995 SOS 27132 HAS SOPS 25183 HAS SOUS 19101 HAS SOUPS 18453 WITH SCORE 18480.132
AT ITER 2333 NEW BEST:: SOT 103991 SOS 27128 HAS SOPS 25179 HAS SOUS 19097 HAS SOUPS 18449 WITH SCORE 18476.128
AT ITER 2348 NEW BEST:: SOT 103983 SOS 27120 HAS SOPS 25171 HAS SOUS 19096 HAS SOUPS 18448 WITH SCORE 18475.12
AT ITER 2373 NEW BEST:: SOT 103971 SOS 27073 HAS SOPS 25124 HAS SOUS 19049 HAS SOUPS 18401 WITH SCORE 18428.073
AT ITER 2382 NEW BEST:: SOT 103956 SOS 27108 HAS SOPS 25109 HAS SOUS 19038 HAS SOUPS 18380 WITH SCORE 18407.108
AT ITER 2391 NEW BEST:: SOT 103955 SOS 27070 HAS SOPS 25071 HAS SOUS 19034 HAS SOUPS 18376 WITH SCORE 18403.07
AT ITER 2420 NEW BEST:: SOT 103924 SOS 27067 HAS SOPS 25068 HAS SOUS 19003 HAS SOUPS 18345 WITH SCORE 18372.067
AT ITER 2421 NEW BEST:: SOT 103920 SOS 27063 HAS SOPS 25064 HAS SOUS 18995 HAS SOUPS 18337 WITH SCORE 18364.063
AT ITER 2424 NEW BEST:: SOT 103916 SOS 27059 HAS SOPS 25060 HAS SOUS 18992 HAS SOUPS 18334 WITH SCORE 18361.059
AT ITER 2436 NEW BEST:: SOT 103916 SOS 27084 HAS SOPS 25053 HAS SOUS 18967 HAS SOUPS 18309 WITH SCORE 18336.084
AT ITER 2528 NEW BEST:: SOT 103879 SOS 27148 HAS SOPS 25117 HAS SOUS 18933 HAS SOUPS 18275 WITH SCORE 18302.148
AT ITER 2554 NEW BEST:: SOT 103864 SOS 27133 HAS SOPS 25102 HAS SOUS 18903 HAS SOUPS 18245 WITH SCORE 18272.133
AT ITER 2566 NEW BEST:: SOT 103875 SOS 27144 HAS SOPS 25113 HAS SOUS 18878 HAS SOUPS 18220 WITH SCORE 18247.144
AT ITER 2567 NEW BEST:: SOT 103875 SOS 27134 HAS SOPS 25103 HAS SOUS 18877 HAS SOUPS 18219 WITH SCORE 18246.134
AT ITER 2584 NEW BEST:: SOT 103868 SOS 27132 HAS SOPS 25101 HAS SOUS 18873 HAS SOUPS 18215 WITH SCORE 18242.132
AT ITER 2599 NEW BEST:: SOT 103861 SOS 27180 HAS SOPS 25149 HAS SOUS 18866 HAS SOUPS 18208 WITH SCORE 18235.18
AT ITER 2660 NEW BEST:: SOT 103836 SOS 27223 HAS SOPS 25124 HAS SOUS 18871 HAS SOUPS 18196 WITH SCORE 18223.223
AT ITER 2661 NEW BEST:: SOT 103831 SOS 27401 HAS SOPS 25119 HAS SOUS 18901 HAS SOUPS 18191 WITH SCORE 18218.401
AT ITER 2670 NEW BEST:: SOT 103816 SOS 27378 HAS SOPS 25096 HAS SOUS 18878 HAS SOUPS 18168 WITH SCORE 18195.378
AT ITER 2695 NEW BEST:: SOT 103816 SOS 27336 HAS SOPS 25054 HAS SOUS 18878 HAS SOUPS 18168 WITH SCORE 18195.336
AT ITER 2711 NEW BEST:: SOT 103816 SOS 27206 HAS SOPS 24924 HAS SOUS 18835 HAS SOUPS 18125 WITH SCORE 18152.206
AT ITER 2714 NEW BEST:: SOT 103793 SOS 27156 HAS SOPS 24874 HAS SOUS 18789 HAS SOUPS 18079 WITH SCORE 18106.156
AT ITER 2743 NEW BEST:: SOT 103793 SOS 27141 HAS SOPS 24844 HAS SOUS 18759 HAS SOUPS 18049 WITH SCORE 18076.141
AT ITER 2766 NEW BEST:: SOT 103788 SOS 27130 HAS SOPS 24833 HAS SOUS 18754 HAS SOUPS 18044 WITH SCORE 18071.13
AT ITER 2768 NEW BEST:: SOT 103783 SOS 27114 HAS SOPS 24823 HAS SOUS 18744 HAS SOUPS 18034 WITH SCORE 18061.114
AT ITER 2778 NEW BEST:: SOT 103783 SOS 27108 HAS SOPS 24817 HAS SOUS 18738 HAS SOUPS 18028 WITH SCORE 18055.108
AT ITER 2780 NEW BEST:: SOT 103783 SOS 27074 HAS SOPS 24783 HAS SOUS 18732 HAS SOUPS 18022 WITH SCORE 18049.074
AT ITER 2782 NEW BEST:: SOT 103785 SOS 27076 HAS SOPS 24785 HAS SOUS 18695 HAS SOUPS 17985 WITH SCORE 18012.076
AT ITER 2795 NEW BEST:: SOT 103767 SOS 26966 HAS SOPS 24675 HAS SOUS 18677 HAS SOUPS 17967 WITH SCORE 17993.966
AT ITER 2827 NEW BEST:: SOT 103749 SOS 26948 HAS SOPS 24657 HAS SOUS 18646 HAS SOUPS 17936 WITH SCORE 17962.948
AT ITER 2876 NEW BEST:: SOT 103741 SOS 26940 HAS SOPS 24649 HAS SOUS 18588 HAS SOUPS 17878 WITH SCORE 17904.94
AT ITER 2949 NEW BEST:: SOT 103713 SOS 26930 HAS SOPS 24639 HAS SOUS 18564 HAS SOUPS 17854 WITH SCORE 17880.93
AT ITER 2965 NEW BEST:: SOT 103706 SOS 26909 HAS SOPS 24618 HAS SOUS 18550 HAS SOUPS 17840 WITH SCORE 17866.909
AT ITER 2976 NEW BEST:: SOT 103705 SOS 26908 HAS SOPS 24617 HAS SOUS 18549 HAS SOUPS 17839 WITH SCORE 17865.908
AT ITER 3024 NEW BEST:: SOT 103677 SOS 26903 HAS SOPS 24612 HAS SOUS 18521 HAS SOUPS 17811 WITH SCORE 17837.903
AT ITER 3052 NEW BEST:: SOT 103675 SOS 26873 HAS SOPS 24582 HAS SOUS 18491 HAS SOUPS 17781 WITH SCORE 17807.873
AT ITER 3144 NEW BEST:: SOT 103675 SOS 26873 HAS SOPS 24582 HAS SOUS 18488 HAS SOUPS 17778 WITH SCORE 17804.873
AT ITER 3166 NEW BEST:: SOT 103670 SOS 26850 HAS SOPS 24559 HAS SOUS 18483 HAS SOUPS 17773 WITH SCORE 17799.85
AT ITER 3182 NEW BEST:: SOT 103669 SOS 26848 HAS SOPS 24557 HAS SOUS 18481 HAS SOUPS 17771 WITH SCORE 17797.848
AT ITER 3206 NEW BEST:: SOT 103670 SOS 26843 HAS SOPS 24552 HAS SOUS 18477 HAS SOUPS 17767 WITH SCORE 17793.843
AT ITER 3218 NEW BEST:: SOT 103670 SOS 26837 HAS SOPS 24546 HAS SOUS 18471 HAS SOUPS 17761 WITH SCORE 17787.837
AT ITER 3259 NEW BEST:: SOT 103670 SOS 26836 HAS SOPS 24545 HAS SOUS 18470 HAS SOUPS 17760 WITH SCORE 17786.836
AT ITER 3318 NEW BEST:: SOT 103650 SOS 26826 HAS SOPS 24535 HAS SOUS 18452 HAS SOUPS 17742 WITH SCORE 17768.826
AT ITER 3339 NEW BEST:: SOT 103645 SOS 26801 HAS SOPS 24510 HAS SOUS 18442 HAS SOUPS 17732 WITH SCORE 17758.801
AT ITER 3363 NEW BEST:: SOT 103645 SOS 26801 HAS SOPS 24507 HAS SOUS 18436 HAS SOUPS 17726 WITH SCORE 17752.801
AT ITER 3366 NEW BEST:: SOT 103634 SOS 26780 HAS SOPS 24486 HAS SOUS 18425 HAS SOUPS 17715 WITH SCORE 17741.78
AT ITER 3367 NEW BEST:: SOT 103632 SOS 26778 HAS SOPS 24482 HAS SOUS 18423 HAS SOUPS 17711 WITH SCORE 17737.778
AT ITER 3408 NEW BEST:: SOT 103632 SOS 26898 HAS SOPS 24585 HAS SOUS 18406 HAS SOUPS 17694 WITH SCORE 17720.898
AT ITER 3412 NEW BEST:: SOT 103631 SOS 26896 HAS SOPS 24582 HAS SOUS 18404 HAS SOUPS 17692 WITH SCORE 17718.896
AT ITER 3413 NEW BEST:: SOT 103616 SOS 26881 HAS SOPS 24567 HAS SOUS 18389 HAS SOUPS 17677 WITH SCORE 17703.881
AT ITER 3422 NEW BEST:: SOT 103612 SOS 26877 HAS SOPS 24563 HAS SOUS 18381 HAS SOUPS 17669 WITH SCORE 17695.877
AT ITER 3434 NEW BEST:: SOT 103615 SOS 26880 HAS SOPS 24566 HAS SOUS 18377 HAS SOUPS 17665 WITH SCORE 17691.88
AT ITER 3445 NEW BEST:: SOT 103610 SOS 26876 HAS SOPS 24562 HAS SOUS 18373 HAS SOUPS 17661 WITH SCORE 17687.876
AT ITER 3457 NEW BEST:: SOT 103615 SOS 26850 HAS SOPS 24536 HAS SOUS 18352 HAS SOUPS 17640 WITH SCORE 17666.85
AT ITER 3469 NEW BEST:: SOT 103615 SOS 26827 HAS SOPS 24513 HAS SOUS 18345 HAS SOUPS 17633 WITH SCORE 17659.827
AT ITER 3480 NEW BEST:: SOT 103611 SOS 26830 HAS SOPS 24516 HAS SOUS 18337 HAS SOUPS 17625 WITH SCORE 17651.83
AT ITER 3491 NEW BEST:: SOT 103607 SOS 26833 HAS SOPS 24519 HAS SOUS 18327 HAS SOUPS 17615 WITH SCORE 17641.833
AT ITER 3514 NEW BEST:: SOT 103603 SOS 26801 HAS SOPS 24487 HAS SOUS 18316 HAS SOUPS 17604 WITH SCORE 17630.801
AT ITER 3544 NEW BEST:: SOT 103578 SOS 26776 HAS SOPS 24462 HAS SOUS 18291 HAS SOUPS 17579 WITH SCORE 17605.776
AT ITER 3547 NEW BEST:: SOT 103548 SOS 26726 HAS SOPS 24412 HAS SOUS 18241 HAS SOUPS 17529 WITH SCORE 17555.726
AT ITER 3575 NEW BEST:: SOT 103511 SOS 26729 HAS SOPS 24415 HAS SOUS 18239 HAS SOUPS 17527 WITH SCORE 17553.729
AT ITER 3594 NEW BEST:: SOT 103488 SOS 26713 HAS SOPS 24399 HAS SOUS 18209 HAS SOUPS 17497 WITH SCORE 17523.713
AT ITER 3609 NEW BEST:: SOT 103484 SOS 26709 HAS SOPS 24371 HAS SOUS 18183 HAS SOUPS 17471 WITH SCORE 17497.709
AT ITER 3688 NEW BEST:: SOT 103481 SOS 26692 HAS SOPS 24354 HAS SOUS 18166 HAS SOUPS 17454 WITH SCORE 17480.692
AT ITER 3798 NEW BEST:: SOT 103481 SOS 26692 HAS SOPS 24354 HAS SOUS 18161 HAS SOUPS 17449 WITH SCORE 17475.692
AT ITER 3811 NEW BEST:: SOT 103467 SOS 26677 HAS SOPS 24339 HAS SOUS 18142 HAS SOUPS 17430 WITH SCORE 17456.677
AT ITER 3850 NEW BEST:: SOT 103468 SOS 26658 HAS SOPS 24320 HAS SOUS 18139 HAS SOUPS 17427 WITH SCORE 17453.658
AT ITER 3860 NEW BEST:: SOT 103465 SOS 26658 HAS SOPS 24320 HAS SOUS 18136 HAS SOUPS 17424 WITH SCORE 17450.658
AT ITER 3934 NEW BEST:: SOT 103448 SOS 26638 HAS SOPS 24300 HAS SOUS 18116 HAS SOUPS 17404 WITH SCORE 17430.638
AT ITER 3970 NEW BEST:: SOT 103418 SOS 26611 HAS SOPS 24273 HAS SOUS 18072 HAS SOUPS 17360 WITH SCORE 17386.611
AT ITER 4041 NEW BEST:: SOT 103414 SOS 26607 HAS SOPS 24269 HAS SOUS 18068 HAS SOUPS 17356 WITH SCORE 17382.607
AT ITER 4048 NEW BEST:: SOT 103402 SOS 26601 HAS SOPS 24263 HAS SOUS 18062 HAS SOUPS 17350 WITH SCORE 17376.601
AT ITER 4054 NEW BEST:: SOT 103400 SOS 26599 HAS SOPS 24261 HAS SOUS 18060 HAS SOUPS 17348 WITH SCORE 17374.599
AT ITER 4056 NEW BEST:: SOT 103398 SOS 26573 HAS SOPS 24229 HAS SOUS 18052 HAS SOUPS 17340 WITH SCORE 17366.573
AT ITER 4057 NEW BEST:: SOT 103404 SOS 26579 HAS SOPS 24235 HAS SOUS 18050 HAS SOUPS 17338 WITH SCORE 17364.579
AT ITER 4075 NEW BEST:: SOT 103404 SOS 26734 HAS SOPS 24366 HAS SOUS 18026 HAS SOUPS 17314 WITH SCORE 17340.734
AT ITER 4090 NEW BEST:: SOT 103415 SOS 26745 HAS SOPS 24377 HAS SOUS 18024 HAS SOUPS 17312 WITH SCORE 17338.745
AT ITER 4093 NEW BEST:: SOT 103422 SOS 26752 HAS SOPS 24384 HAS SOUS 18022 HAS SOUPS 17310 WITH SCORE 17336.752
AT ITER 4096 NEW BEST:: SOT 103437 SOS 26767 HAS SOPS 24399 HAS SOUS 18015 HAS SOUPS 17303 WITH SCORE 17329.767
AT ITER 4102 NEW BEST:: SOT 103360 SOS 26700 HAS SOPS 24322 HAS SOUS 17948 HAS SOUPS 17226 WITH SCORE 17252.7
AT ITER 4105 NEW BEST:: SOT 103359 SOS 26699 HAS SOPS 24321 HAS SOUS 17946 HAS SOUPS 17224 WITH SCORE 17250.699
AT ITER 4107 NEW BEST:: SOT 103354 SOS 26718 HAS SOPS 24335 HAS SOUS 17944 HAS SOUPS 17217 WITH SCORE 17243.718
AT ITER 4136 NEW BEST:: SOT 103347 SOS 26674 HAS SOPS 24293 HAS SOUS 17936 HAS SOUPS 17210 WITH SCORE 17236.674
AT ITER 4167 NEW BEST:: SOT 103345 SOS 26672 HAS SOPS 24291 HAS SOUS 17933 HAS SOUPS 17207 WITH SCORE 17233.672
AT ITER 4203 NEW BEST:: SOT 103321 SOS 26648 HAS SOPS 24267 HAS SOUS 17897 HAS SOUPS 17171 WITH SCORE 17197.648
AT ITER 4205 NEW BEST:: SOT 103349 SOS 26597 HAS SOPS 24216 HAS SOUS 17874 HAS SOUPS 17148 WITH SCORE 17174.597
AT ITER 4226 NEW BEST:: SOT 103348 SOS 26410 HAS SOPS 24029 HAS SOUS 17872 HAS SOUPS 17146 WITH SCORE 17172.41
AT ITER 4255 NEW BEST:: SOT 103346 SOS 26408 HAS SOPS 24027 HAS SOUS 17868 HAS SOUPS 17142 WITH SCORE 17168.408
AT ITER 4278 NEW BEST:: SOT 103227 SOS 27310 HAS SOPS 24929 HAS SOUS 17791 HAS SOUPS 17065 WITH SCORE 17092.31
AT ITER 4355 NEW BEST:: SOT 103220 SOS 27306 HAS SOPS 24925 HAS SOUS 17787 HAS SOUPS 17061 WITH SCORE 17088.306
AT ITER 4364 NEW BEST:: SOT 103220 SOS 27306 HAS SOPS 24925 HAS SOUS 17781 HAS SOUPS 17055 WITH SCORE 17082.306
AT ITER 4375 NEW BEST:: SOT 103215 SOS 27302 HAS SOPS 24925 HAS SOUS 17776 HAS SOUPS 17050 WITH SCORE 17077.302
AT ITER 4395 NEW BEST:: SOT 103211 SOS 27295 HAS SOPS 24918 HAS SOUS 17768 HAS SOUPS 17042 WITH SCORE 17069.295
AT ITER 4399 NEW BEST:: SOT 103211 SOS 27294 HAS SOPS 24909 HAS SOUS 17759 HAS SOUPS 17033 WITH SCORE 17060.294
AT ITER 4401 NEW BEST:: SOT 103159 SOS 27242 HAS SOPS 24857 HAS SOUS 17646 HAS SOUPS 16920 WITH SCORE 16947.242
AT ITER 4424 NEW BEST:: SOT 103154 SOS 27237 HAS SOPS 24852 HAS SOUS 17636 HAS SOUPS 16910 WITH SCORE 16937.237
AT ITER 4440 NEW BEST:: SOT 103150 SOS 27229 HAS SOPS 24844 HAS SOUS 17628 HAS SOUPS 16902 WITH SCORE 16929.229
AT ITER 4484 NEW BEST:: SOT 103142 SOS 27221 HAS SOPS 24836 HAS SOUS 17620 HAS SOUPS 16894 WITH SCORE 16921.221
AT ITER 4496 NEW BEST:: SOT 103147 SOS 24965 HAS SOPS 22580 HAS SOUS 17614 HAS SOUPS 16888 WITH SCORE 16912.965
AT ITER 4551 NEW BEST:: SOT 103147 SOS 24933 HAS SOPS 22548 HAS SOUS 17614 HAS SOUPS 16888 WITH SCORE 16912.933
AT ITER 4583 NEW BEST:: SOT 103108 SOS 24933 HAS SOPS 22548 HAS SOUS 17575 HAS SOUPS 16849 WITH SCORE 16873.933
AT ITER 4621 NEW BEST:: SOT 103093 SOS 24933 HAS SOPS 22548 HAS SOUS 17560 HAS SOUPS 16834 WITH SCORE 16858.933
AT ITER 4672 NEW BEST:: SOT 103082 SOS 24922 HAS SOPS 22537 HAS SOUS 17538 HAS SOUPS 16812 WITH SCORE 16836.922
AT ITER 4713 NEW BEST:: SOT 103061 SOS 24818 HAS SOPS 22433 HAS SOUS 17496 HAS SOUPS 16770 WITH SCORE 16794.818
AT ITER 4728 NEW BEST:: SOT 103072 SOS 24804 HAS SOPS 22419 HAS SOUS 17482 HAS SOUPS 16756 WITH SCORE 16780.804
AT ITER 4749 NEW BEST:: SOT 103074 SOS 24961 HAS SOPS 22393 HAS SOUS 17506 HAS SOUPS 16730 WITH SCORE 16754.961
AT ITER 4786 NEW BEST:: SOT 103087 SOS 24908 HAS SOPS 22340 HAS SOUS 17502 HAS SOUPS 16726 WITH SCORE 16750.908
AT ITER 4802 NEW BEST:: SOT 103087 SOS 24895 HAS SOPS 22327 HAS SOUS 17498 HAS SOUPS 16722 WITH SCORE 16746.895
AT ITER 4833 NEW BEST:: SOT 103079 SOS 24887 HAS SOPS 22319 HAS SOUS 17486 HAS SOUPS 16710 WITH SCORE 16734.887
AT ITER 4843 NEW BEST:: SOT 103070 SOS 24880 HAS SOPS 22312 HAS SOUS 17477 HAS SOUPS 16701 WITH SCORE 16725.88
AT ITER 4879 NEW BEST:: SOT 103069 SOS 24879 HAS SOPS 22311 HAS SOUS 17475 HAS SOUPS 16699 WITH SCORE 16723.879
AT ITER 4921 NEW BEST:: SOT 103062 SOS 24865 HAS SOPS 22297 HAS SOUS 17461 HAS SOUPS 16685 WITH SCORE 16709.865
AT ITER 4937 NEW BEST:: SOT 103051 SOS 24854 HAS SOPS 22286 HAS SOUS 17459 HAS SOUPS 16683 WITH SCORE 16707.854
AT ITER 4973 NEW BEST:: SOT 103048 SOS 24847 HAS SOPS 22279 HAS SOUS 17451 HAS SOUPS 16675 WITH SCORE 16699.847
AT ITER 4981 NEW BEST:: SOT 103043 SOS 24837 HAS SOPS 22269 HAS SOUS 17441 HAS SOUPS 16665 WITH SCORE 16689.837
AT ITER 4993 NEW BEST:: SOT 103048 SOS 24842 HAS SOPS 22194 HAS SOUS 17366 HAS SOUPS 16590 WITH SCORE 16614.842
AT ITER 5011 NEW BEST:: SOT 103048 SOS 24833 HAS SOPS 22185 HAS SOUS 17362 HAS SOUPS 16586 WITH SCORE 16610.833
AT ITER 5049 NEW BEST:: SOT 103048 SOS 24833 HAS SOPS 22185 HAS SOUS 17360 HAS SOUPS 16584 WITH SCORE 16608.833
AT ITER 5088 NEW BEST:: SOT 103050 SOS 24826 HAS SOPS 22178 HAS SOUS 17343 HAS SOUPS 16567 WITH SCORE 16591.826
AT ITER 5091 NEW BEST:: SOT 103050 SOS 24824 HAS SOPS 22176 HAS SOUS 17343 HAS SOUPS 16567 WITH SCORE 16591.824
AT ITER 5092 NEW BEST:: SOT 103042 SOS 24816 HAS SOPS 22168 HAS SOUS 17335 HAS SOUPS 16559 WITH SCORE 16583.816
AT ITER 5114 NEW BEST:: SOT 103032 SOS 24806 HAS SOPS 22161 HAS SOUS 17315 HAS SOUPS 16539 WITH SCORE 16563.806
AT ITER 5139 NEW BEST:: SOT 103032 SOS 24775 HAS SOPS 22130 HAS SOUS 17284 HAS SOUPS 16508 WITH SCORE 16532.775
AT ITER 5142 NEW BEST:: SOT 103032 SOS 24775 HAS SOPS 22130 HAS SOUS 17263 HAS SOUPS 16487 WITH SCORE 16511.775
AT ITER 5153 NEW BEST:: SOT 103028 SOS 24771 HAS SOPS 22126 HAS SOUS 17257 HAS SOUPS 16481 WITH SCORE 16505.771
AT ITER 5162 NEW BEST:: SOT 103022 SOS 24883 HAS SOPS 22238 HAS SOUS 17245 HAS SOUPS 16469 WITH SCORE 16493.883
AT ITER 5176 NEW BEST:: SOT 103027 SOS 24888 HAS SOPS 22213 HAS SOUS 17220 HAS SOUPS 16444 WITH SCORE 16468.888
AT ITER 5191 NEW BEST:: SOT 103021 SOS 24894 HAS SOPS 22207 HAS SOUS 17189 HAS SOUPS 16413 WITH SCORE 16437.894
AT ITER 5197 NEW BEST:: SOT 103010 SOS 24851 HAS SOPS 22164 HAS SOUS 17167 HAS SOUPS 16391 WITH SCORE 16415.851
AT ITER 5239 NEW BEST:: SOT 103014 SOS 24855 HAS SOPS 22168 HAS SOUS 17162 HAS SOUPS 16386 WITH SCORE 16410.855
AT ITER 5273 NEW BEST:: SOT 103014 SOS 24841 HAS SOPS 22147 HAS SOUS 17148 HAS SOUPS 16372 WITH SCORE 16396.841
AT ITER 5312 NEW BEST:: SOT 102998 SOS 24708 HAS SOPS 22150 HAS SOUS 17119 HAS SOUPS 16368 WITH SCORE 16392.708
AT ITER 5314 NEW BEST:: SOT 102998 SOS 24708 HAS SOPS 22145 HAS SOUS 17109 HAS SOUPS 16358 WITH SCORE 16382.708
AT ITER 5317 NEW BEST:: SOT 103003 SOS 24713 HAS SOPS 22150 HAS SOUS 17105 HAS SOUPS 16354 WITH SCORE 16378.713
AT ITER 5392 NEW BEST:: SOT 103002 SOS 24716 HAS SOPS 22153 HAS SOUS 17104 HAS SOUPS 16353 WITH SCORE 16377.716
AT ITER 5451 NEW BEST:: SOT 103002 SOS 24705 HAS SOPS 22142 HAS SOUS 17102 HAS SOUPS 16351 WITH SCORE 16375.705
AT ITER 5558 NEW BEST:: SOT 102990 SOS 24719 HAS SOPS 22141 HAS SOUS 17093 HAS SOUPS 16327 WITH SCORE 16351.719
AT ITER 5597 NEW BEST:: SOT 102985 SOS 26966 HAS SOPS 24388 HAS SOUS 17090 HAS SOUPS 16324 WITH SCORE 16350.966
AT ITER 5625 NEW BEST:: SOT 102985 SOS 26959 HAS SOPS 24381 HAS SOUS 17090 HAS SOUPS 16324 WITH SCORE 16350.959
AT ITER 5629 NEW BEST:: SOT 102966 SOS 26858 HAS SOPS 24280 HAS SOUS 17052 HAS SOUPS 16286 WITH SCORE 16312.858
AT ITER 5660 NEW BEST:: SOT 102965 SOS 26891 HAS SOPS 24278 HAS SOUS 17054 HAS SOUPS 16284 WITH SCORE 16310.891
AT ITER 5702 NEW BEST:: SOT 102954 SOS 26928 HAS SOPS 24304 HAS SOUS 17050 HAS SOUPS 16269 WITH SCORE 16295.928
AT ITER 5704 NEW BEST:: SOT 102951 SOS 26925 HAS SOPS 24301 HAS SOUS 17044 HAS SOUPS 16263 WITH SCORE 16289.925
AT ITER 5735 NEW BEST:: SOT 102950 SOS 26891 HAS SOPS 24270 HAS SOUS 17039 HAS SOUPS 16261 WITH SCORE 16287.891
AT ITER 5805 NEW BEST:: SOT 102950 SOS 26888 HAS SOPS 24270 HAS SOUS 17039 HAS SOUPS 16261 WITH SCORE 16287.888
AT ITER 5908 NEW BEST:: SOT 102950 SOS 26872 HAS SOPS 24270 HAS SOUS 17035 HAS SOUPS 16261 WITH SCORE 16287.872
AT ITER 5918 NEW BEST:: SOT 102950 SOS 26873 HAS SOPS 24268 HAS SOUS 17032 HAS SOUPS 16258 WITH SCORE 16284.873
AT ITER 5963 NEW BEST:: SOT 102950 SOS 26872 HAS SOPS 24268 HAS SOUS 17032 HAS SOUPS 16258 WITH SCORE 16284.872
AT ITER 6005 NEW BEST:: SOT 102942 SOS 26864 HAS SOPS 24260 HAS SOUS 17024 HAS SOUPS 16250 WITH SCORE 16276.864
AT ITER 6011 NEW BEST:: SOT 102934 SOS 26856 HAS SOPS 24252 HAS SOUS 17014 HAS SOUPS 16240 WITH SCORE 16266.856
AT ITER 6043 NEW BEST:: SOT 102917 SOS 26766 HAS SOPS 24162 HAS SOUS 16980 HAS SOUPS 16206 WITH SCORE 16232.766
AT ITER 6054 NEW BEST:: SOT 102916 SOS 26765 HAS SOPS 24161 HAS SOUS 16980 HAS SOUPS 16206 WITH SCORE 16232.765
AT ITER 6078 NEW BEST:: SOT 103055 SOS 26911 HAS SOPS 24076 HAS SOUS 16955 HAS SOUPS 16156 WITH SCORE 16182.911
AT ITER 6096 NEW BEST:: SOT 103055 SOS 26910 HAS SOPS 24076 HAS SOUS 16955 HAS SOUPS 16156 WITH SCORE 16182.91
AT ITER 6181 NEW BEST:: SOT 103054 SOS 26674 HAS SOPS 23840 HAS SOUS 16923 HAS SOUPS 16124 WITH SCORE 16150.674
AT ITER 6186 NEW BEST:: SOT 103054 SOS 26672 HAS SOPS 23838 HAS SOUS 16921 HAS SOUPS 16122 WITH SCORE 16148.672
AT ITER 6220 NEW BEST:: SOT 103054 SOS 26671 HAS SOPS 23837 HAS SOUS 16921 HAS SOUPS 16122 WITH SCORE 16148.671
AT ITER 6262 NEW BEST:: SOT 103054 SOS 26666 HAS SOPS 23832 HAS SOUS 16883 HAS SOUPS 16084 WITH SCORE 16110.666
AT ITER 6291 NEW BEST:: SOT 103036 SOS 26681 HAS SOPS 23847 HAS SOUS 16865 HAS SOUPS 16066 WITH SCORE 16092.681
AT ITER 6312 NEW BEST:: SOT 103036 SOS 26681 HAS SOPS 23847 HAS SOUS 16864 HAS SOUPS 16065 WITH SCORE 16091.681
AT ITER 6319 NEW BEST:: SOT 103036 SOS 26679 HAS SOPS 23847 HAS SOUS 16864 HAS SOUPS 16065 WITH SCORE 16091.679
AT ITER 6360 NEW BEST:: SOT 103009 SOS 26669 HAS SOPS 23810 HAS SOUS 16820 HAS SOUPS 16014 WITH SCORE 16040.669
AT ITER 6473 NEW BEST:: SOT 103023 SOS 26697 HAS SOPS 23701 HAS SOUS 16838 HAS SOUPS 16013 WITH SCORE 16039.697
AT ITER 6526 NEW BEST:: SOT 103023 SOS 26695 HAS SOPS 23699 HAS SOUS 16836 HAS SOUPS 16011 WITH SCORE 16037.695
AT ITER 6554 NEW BEST:: SOT 103035 SOS 26833 HAS SOPS 23694 HAS SOUS 16844 HAS SOUPS 16002 WITH SCORE 16028.833
AT ITER 6616 NEW BEST:: SOT 103028 SOS 26823 HAS SOPS 23677 HAS SOUS 16837 HAS SOUPS 15988 WITH SCORE 16014.823
AT ITER 6804 NEW BEST:: SOT 103025 SOS 26820 HAS SOPS 23674 HAS SOUS 16831 HAS SOUPS 15982 WITH SCORE 16008.82
AT ITER 6873 NEW BEST:: SOT 103015 SOS 26810 HAS SOPS 23664 HAS SOUS 16803 HAS SOUPS 15954 WITH SCORE 15980.81
AT ITER 6888 NEW BEST:: SOT 102965 SOS 26714 HAS SOPS 23614 HAS SOUS 16751 HAS SOUPS 15938 WITH SCORE 15964.714
AT ITER 6891 NEW BEST:: SOT 103018 SOS 27228 HAS SOPS 23598 HAS SOUS 16809 HAS SOUPS 15922 WITH SCORE 15949.228
AT ITER 6923 NEW BEST:: SOT 103004 SOS 27218 HAS SOPS 23588 HAS SOUS 16809 HAS SOUPS 15922 WITH SCORE 15949.218
AT ITER 6938 NEW BEST:: SOT 102997 SOS 27218 HAS SOPS 23588 HAS SOUS 16802 HAS SOUPS 15915 WITH SCORE 15942.218
AT ITER 6939 NEW BEST:: SOT 102994 SOS 27215 HAS SOPS 23585 HAS SOUS 16796 HAS SOUPS 15909 WITH SCORE 15936.215
AT ITER 7006 NEW BEST:: SOT 102994 SOS 27212 HAS SOPS 23582 HAS SOUS 16793 HAS SOUPS 15906 WITH SCORE 15933.212
AT ITER 7009 NEW BEST:: SOT 103024 SOS 27181 HAS SOPS 23551 HAS SOUS 16790 HAS SOUPS 15903 WITH SCORE 15930.181
AT ITER 7015 NEW BEST:: SOT 103018 SOS 27189 HAS SOPS 23559 HAS SOUS 16782 HAS SOUPS 15895 WITH SCORE 15922.189
AT ITER 7017 NEW BEST:: SOT 103017 SOS 27188 HAS SOPS 23558 HAS SOUS 16780 HAS SOUPS 15893 WITH SCORE 15920.188
AT ITER 7053 NEW BEST:: SOT 103007 SOS 27178 HAS SOPS 23548 HAS SOUS 16770 HAS SOUPS 15883 WITH SCORE 15910.178
AT ITER 7080 NEW BEST:: SOT 102987 SOS 27142 HAS SOPS 23520 HAS SOUS 16742 HAS SOUPS 15855 WITH SCORE 15882.142
AT ITER 7088 NEW BEST:: SOT 102986 SOS 27141 HAS SOPS 23519 HAS SOUS 16740 HAS SOUPS 15853 WITH SCORE 15880.141
AT ITER 7131 NEW BEST:: SOT 102980 SOS 27135 HAS SOPS 23513 HAS SOUS 16728 HAS SOUPS 15841 WITH SCORE 15868.135
AT ITER 7157 NEW BEST:: SOT 102980 SOS 27135 HAS SOPS 23513 HAS SOUS 16725 HAS SOUPS 15838 WITH SCORE 15865.135
AT ITER 7270 NEW BEST:: SOT 102968 SOS 27123 HAS SOPS 23510 HAS SOUS 16717 HAS SOUPS 15832 WITH SCORE 15859.123
AT ITER 7367 NEW BEST:: SOT 102948 SOS 27105 HAS SOPS 23492 HAS SOUS 16679 HAS SOUPS 15794 WITH SCORE 15821.105
AT ITER 7369 NEW BEST:: SOT 102948 SOS 27091 HAS SOPS 23478 HAS SOUS 16665 HAS SOUPS 15780 WITH SCORE 15807.091
AT ITER 7408 NEW BEST:: SOT 102945 SOS 27085 HAS SOPS 23472 HAS SOUS 16659 HAS SOUPS 15774 WITH SCORE 15801.085
AT ITER 7410 NEW BEST:: SOT 102920 SOS 27053 HAS SOPS 23440 HAS SOUS 16619 HAS SOUPS 15734 WITH SCORE 15761.053
AT ITER 7428 NEW BEST:: SOT 102928 SOS 27038 HAS SOPS 23425 HAS SOUS 16612 HAS SOUPS 15727 WITH SCORE 15754.038
AT ITER 7432 NEW BEST:: SOT 102928 SOS 26991 HAS SOPS 23378 HAS SOUS 16600 HAS SOUPS 15715 WITH SCORE 15741.991
AT ITER 7447 NEW BEST:: SOT 102928 SOS 26967 HAS SOPS 23342 HAS SOUS 16600 HAS SOUPS 15715 WITH SCORE 15741.967
AT ITER 7527 NEW BEST:: SOT 102927 SOS 26966 HAS SOPS 23341 HAS SOUS 16598 HAS SOUPS 15713 WITH SCORE 15739.966
AT ITER 7544 NEW BEST:: SOT 102926 SOS 26965 HAS SOPS 23339 HAS SOUS 16596 HAS SOUPS 15711 WITH SCORE 15737.965
AT ITER 7553 NEW BEST:: SOT 102900 SOS 26965 HAS SOPS 23339 HAS SOUS 16570 HAS SOUPS 15685 WITH SCORE 15711.965
AT ITER 7568 NEW BEST:: SOT 102900 SOS 26965 HAS SOPS 23337 HAS SOUS 16568 HAS SOUPS 15683 WITH SCORE 15709.965
AT ITER 7576 NEW BEST:: SOT 102900 SOS 26962 HAS SOPS 23334 HAS SOUS 16565 HAS SOUPS 15680 WITH SCORE 15706.962
AT ITER 7609 NEW BEST:: SOT 102900 SOS 26950 HAS SOPS 23322 HAS SOUS 16553 HAS SOUPS 15668 WITH SCORE 15694.95
AT ITER 7636 NEW BEST:: SOT 102895 SOS 26951 HAS SOPS 23317 HAS SOUS 16543 HAS SOUPS 15658 WITH SCORE 15684.951
AT ITER 7681 NEW BEST:: SOT 102891 SOS 26947 HAS SOPS 23313 HAS SOUS 16543 HAS SOUPS 15658 WITH SCORE 15684.947
AT ITER 7717 NEW BEST:: SOT 102881 SOS 26921 HAS SOPS 23287 HAS SOUS 16523 HAS SOUPS 15638 WITH SCORE 15664.921
AT ITER 7754 NEW BEST:: SOT 102881 SOS 26921 HAS SOPS 23286 HAS SOUS 16522 HAS SOUPS 15637 WITH SCORE 15663.921
AT ITER 7866 NEW BEST:: SOT 102879 SOS 26919 HAS SOPS 23284 HAS SOUS 16518 HAS SOUPS 15633 WITH SCORE 15659.919
AT ITER 7879 NEW BEST:: SOT 102847 SOS 26936 HAS SOPS 23301 HAS SOUS 16503 HAS SOUPS 15618 WITH SCORE 15644.936
AT ITER 7906 NEW BEST:: SOT 102841 SOS 26907 HAS SOPS 23266 HAS SOUS 16493 HAS SOUPS 15606 WITH SCORE 15632.907
AT ITER 7949 NEW BEST:: SOT 102841 SOS 26907 HAS SOPS 23266 HAS SOUS 16492 HAS SOUPS 15605 WITH SCORE 15631.907
AT ITER 7950 NEW BEST:: SOT 102847 SOS 26871 HAS SOPS 23230 HAS SOUS 16475 HAS SOUPS 15588 WITH SCORE 15614.871
AT ITER 8033 NEW BEST:: SOT 102836 SOS 26894 HAS SOPS 23242 HAS SOUS 16462 HAS SOUPS 15575 WITH SCORE 15601.894
AT ITER 8036 NEW BEST:: SOT 102836 SOS 26894 HAS SOPS 23242 HAS SOUS 16456 HAS SOUPS 15569 WITH SCORE 15595.894
AT ITER 8046 NEW BEST:: SOT 102836 SOS 26892 HAS SOPS 23240 HAS SOUS 16456 HAS SOUPS 15569 WITH SCORE 15595.892
AT ITER 8051 NEW BEST:: SOT 102833 SOS 26889 HAS SOPS 23237 HAS SOUS 16450 HAS SOUPS 15563 WITH SCORE 15589.889
AT ITER 8070 NEW BEST:: SOT 102830 SOS 26905 HAS SOPS 23250 HAS SOUS 16447 HAS SOUPS 15557 WITH SCORE 15583.905
AT ITER 8179 NEW BEST:: SOT 102826 SOS 26895 HAS SOPS 23240 HAS SOUS 16437 HAS SOUPS 15547 WITH SCORE 15573.895
AT ITER 8196 NEW BEST:: SOT 102825 SOS 26894 HAS SOPS 23239 HAS SOUS 16435 HAS SOUPS 15545 WITH SCORE 15571.894
AT ITER 8213 NEW BEST:: SOT 102825 SOS 26876 HAS SOPS 23221 HAS SOUS 16435 HAS SOUPS 15545 WITH SCORE 15571.876
AT ITER 8228 NEW BEST:: SOT 102819 SOS 26758 HAS SOPS 23113 HAS SOUS 16425 HAS SOUPS 15535 WITH SCORE 15561.758
AT ITER 8262 NEW BEST:: SOT 102805 SOS 26744 HAS SOPS 23085 HAS SOUS 16405 HAS SOUPS 15507 WITH SCORE 15533.744
AT ITER 8294 NEW BEST:: SOT 102774 SOS 26720 HAS SOPS 23061 HAS SOUS 16381 HAS SOUPS 15483 WITH SCORE 15509.72
AT ITER 8342 NEW BEST:: SOT 102774 SOS 26719 HAS SOPS 23060 HAS SOUS 16380 HAS SOUPS 15482 WITH SCORE 15508.719
AT ITER 8345 NEW BEST:: SOT 102774 SOS 26715 HAS SOPS 23056 HAS SOUS 16376 HAS SOUPS 15478 WITH SCORE 15504.715
AT ITER 8351 NEW BEST:: SOT 102747 SOS 26661 HAS SOPS 23002 HAS SOUS 16360 HAS SOUPS 15462 WITH SCORE 15488.661
AT ITER 8372 NEW BEST:: SOT 102747 SOS 26661 HAS SOPS 23002 HAS SOUS 16357 HAS SOUPS 15459 WITH SCORE 15485.661
AT ITER 8445 NEW BEST:: SOT 102745 SOS 26667 HAS SOPS 23006 HAS SOUS 16355 HAS SOUPS 15455 WITH SCORE 15481.667
AT ITER 8532 NEW BEST:: SOT 102745 SOS 26651 HAS SOPS 22990 HAS SOUS 16339 HAS SOUPS 15439 WITH SCORE 15465.651
AT ITER 8551 NEW BEST:: SOT 102740 SOS 26641 HAS SOPS 22975 HAS SOUS 16324 HAS SOUPS 15424 WITH SCORE 15450.641
AT ITER 8590 NEW BEST:: SOT 102740 SOS 26641 HAS SOPS 22975 HAS SOUS 16320 HAS SOUPS 15420 WITH SCORE 15446.641
AT ITER 8662 NEW BEST:: SOT 102742 SOS 26625 HAS SOPS 22950 HAS SOUS 16290 HAS SOUPS 15390 WITH SCORE 15416.625
AT ITER 8695 NEW BEST:: SOT 102758 SOS 26586 HAS SOPS 22881 HAS SOUS 16291 HAS SOUPS 15376 WITH SCORE 15402.586
AT ITER 8767 NEW BEST:: SOT 102758 SOS 26585 HAS SOPS 22880 HAS SOUS 16290 HAS SOUPS 15375 WITH SCORE 15401.585
AT ITER 8794 NEW BEST:: SOT 102742 SOS 26569 HAS SOPS 22864 HAS SOUS 16274 HAS SOUPS 15359 WITH SCORE 15385.569
AT ITER 8821 NEW BEST:: SOT 102726 SOS 26553 HAS SOPS 22848 HAS SOUS 16258 HAS SOUPS 15343 WITH SCORE 15369.553
AT ITER 8974 NEW BEST:: SOT 102726 SOS 26544 HAS SOPS 22839 HAS SOUS 16249 HAS SOUPS 15334 WITH SCORE 15360.544
AT ITER 9018 NEW BEST:: SOT 102726 SOS 26512 HAS SOPS 22803 HAS SOUS 16248 HAS SOUPS 15333 WITH SCORE 15359.512
AT ITER 9042 NEW BEST:: SOT 102717 SOS 26509 HAS SOPS 22787 HAS SOUS 16232 HAS SOUPS 15317 WITH SCORE 15343.509
AT ITER 9046 NEW BEST:: SOT 102717 SOS 26500 HAS SOPS 22788 HAS SOUS 16232 HAS SOUPS 15317 WITH SCORE 15343.5
AT ITER 9053 NEW BEST:: SOT 102717 SOS 26454 HAS SOPS 22742 HAS SOUS 16204 HAS SOUPS 15289 WITH SCORE 15315.454
AT ITER 9055 NEW BEST:: SOT 102711 SOS 26439 HAS SOPS 22727 HAS SOUS 16189 HAS SOUPS 15274 WITH SCORE 15300.439
AT ITER 9083 NEW BEST:: SOT 102711 SOS 26488 HAS SOPS 22769 HAS SOUS 16182 HAS SOUPS 15267 WITH SCORE 15293.488
AT ITER 9116 NEW BEST:: SOT 102711 SOS 26481 HAS SOPS 22769 HAS SOUS 16182 HAS SOUPS 15267 WITH SCORE 15293.481
AT ITER 9136 NEW BEST:: SOT 102711 SOS 26481 HAS SOPS 22769 HAS SOUS 16177 HAS SOUPS 15262 WITH SCORE 15288.481
AT ITER 9160 NEW BEST:: SOT 102711 SOS 26477 HAS SOPS 22765 HAS SOUS 16176 HAS SOUPS 15261 WITH SCORE 15287.477
AT ITER 9164 NEW BEST:: SOT 102712 SOS 26478 HAS SOPS 22766 HAS SOUS 16175 HAS SOUPS 15260 WITH SCORE 15286.478
AT ITER 9234 NEW BEST:: SOT 102684 SOS 26450 HAS SOPS 22738 HAS SOUS 16138 HAS SOUPS 15223 WITH SCORE 15249.45
AT ITER 9354 NEW BEST:: SOT 102684 SOS 26450 HAS SOPS 22738 HAS SOUS 16131 HAS SOUPS 15216 WITH SCORE 15242.45
AT ITER 9380 NEW BEST:: SOT 102682 SOS 26454 HAS SOPS 22742 HAS SOUS 16129 HAS SOUPS 15214 WITH SCORE 15240.454
AT ITER 9420 NEW BEST:: SOT 102682 SOS 26446 HAS SOPS 22734 HAS SOUS 16123 HAS SOUPS 15208 WITH SCORE 15234.446
AT ITER 9447 NEW BEST:: SOT 102680 SOS 26442 HAS SOPS 22730 HAS SOUS 16119 HAS SOUPS 15204 WITH SCORE 15230.442
AT ITER 9510 NEW BEST:: SOT 102673 SOS 26443 HAS SOPS 22723 HAS SOUS 16112 HAS SOUPS 15197 WITH SCORE 15223.443
AT ITER 9515 NEW BEST:: SOT 102673 SOS 26438 HAS SOPS 22718 HAS SOUS 16107 HAS SOUPS 15192 WITH SCORE 15218.438
AT ITER 9533 NEW BEST:: SOT 102681 SOS 26410 HAS SOPS 22690 HAS SOUS 16097 HAS SOUPS 15182 WITH SCORE 15208.41
AT ITER 9701 NEW BEST:: SOT 102668 SOS 26371 HAS SOPS 22651 HAS SOUS 16069 HAS SOUPS 15154 WITH SCORE 15180.371
AT ITER 9743 NEW BEST:: SOT 102667 SOS 26370 HAS SOPS 22650 HAS SOUS 16068 HAS SOUPS 15153 WITH SCORE 15179.37
AT ITER 9854 NEW BEST:: SOT 102662 SOS 26365 HAS SOPS 22645 HAS SOUS 16058 HAS SOUPS 15143 WITH SCORE 15169.365
AT ITER 9865 NEW BEST:: SOT 102653 SOS 26251 HAS SOPS 22633 HAS SOUS 16030 HAS SOUPS 15131 WITH SCORE 15157.251
AT ITER 9949 NEW BEST:: SOT 102653 SOS 26248 HAS SOPS 22630 HAS SOUS 16030 HAS SOUPS 15131 WITH SCORE 15157.248
AT ITER 9977 NEW BEST:: SOT 102653 SOS 26231 HAS SOPS 22613 HAS SOUS 16013 HAS SOUPS 15114 WITH SCORE 15140.231
STATE_SPACE STATES 172248 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 359351 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678613604032

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

Sequence of Actions to be Executed by the VM

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

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

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