Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000280.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-30a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 70K Mar 24 05:37 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 1589106672107

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 234 places, 191 transitions, 926 arcs.
AT ITER 0 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19423.681
AT ITER 17 NEW BEST:: SOT 32885 SOS 29064 HAS SOPS 29064 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15802.064
AT ITER 19 NEW BEST:: SOT 32894 SOS 29073 HAS SOPS 29073 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15800.073
AT ITER 40 NEW BEST:: SOT 32757 SOS 25481 HAS SOPS 25481 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15647.481
AT ITER 42 NEW BEST:: SOT 32699 SOS 25423 HAS SOPS 25423 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15589.423
AT ITER 56 NEW BEST:: SOT 32699 SOS 25422 HAS SOPS 25422 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15589.422
AT ITER 75 NEW BEST:: SOT 29929 SOS 22706 HAS SOPS 22706 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12869.706
AT ITER 81 NEW BEST:: SOT 29911 SOS 22688 HAS SOPS 22688 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12850.688
AT ITER 86 NEW BEST:: SOT 29833 SOS 22600 HAS SOPS 22600 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12762.6
AT ITER 87 NEW BEST:: SOT 29751 SOS 22518 HAS SOPS 22518 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12682.518
AT ITER 88 NEW BEST:: SOT 29751 SOS 22517 HAS SOPS 22517 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12681.517
AT ITER 89 NEW BEST:: SOT 29751 SOS 22513 HAS SOPS 22513 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12681.513
AT ITER 94 NEW BEST:: SOT 29688 SOS 22449 HAS SOPS 22449 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12617.449
AT ITER 109 NEW BEST:: SOT 29688 SOS 22437 HAS SOPS 22437 HAS SOUS 12583 HAS SOUPS 12583 WITH SCORE 12605.437
AT ITER 119 NEW BEST:: SOT 29687 SOS 22436 HAS SOPS 22436 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12604.436
AT ITER 140 NEW BEST:: SOT 29687 SOS 22426 HAS SOPS 22426 HAS SOUS 12572 HAS SOUPS 12572 WITH SCORE 12594.426
AT ITER 157 NEW BEST:: SOT 29517 SOS 22256 HAS SOPS 22256 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12423.256
AT ITER 172 NEW BEST:: SOT 29517 SOS 22096 HAS SOPS 22096 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12423.096
AT ITER 198 NEW BEST:: SOT 29519 SOS 22095 HAS SOPS 22095 HAS SOUS 12400 HAS SOUPS 12400 WITH SCORE 12422.095
AT ITER 202 NEW BEST:: SOT 29519 SOS 22139 HAS SOPS 22139 HAS SOUS 12382 HAS SOUPS 12382 WITH SCORE 12404.139
AT ITER 207 NEW BEST:: SOT 29561 SOS 22056 HAS SOPS 22056 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12373.056
AT ITER 211 NEW BEST:: SOT 29561 SOS 21999 HAS SOPS 21999 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12315.999
AT ITER 215 NEW BEST:: SOT 29549 SOS 22045 HAS SOPS 22045 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12312.045
AT ITER 221 NEW BEST:: SOT 29549 SOS 22221 HAS SOPS 22221 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12306.221
AT ITER 240 NEW BEST:: SOT 29536 SOS 22185 HAS SOPS 22185 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12298.185
AT ITER 242 NEW BEST:: SOT 29521 SOS 22170 HAS SOPS 22170 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12283.17
AT ITER 250 NEW BEST:: SOT 29395 SOS 22044 HAS SOPS 22044 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12245.044
AT ITER 253 NEW BEST:: SOT 29434 SOS 21814 HAS SOPS 21814 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12102.814
AT ITER 257 NEW BEST:: SOT 29281 SOS 21661 HAS SOPS 21661 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12052.661
AT ITER 261 NEW BEST:: SOT 29280 SOS 21660 HAS SOPS 21660 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12050.66
AT ITER 265 NEW BEST:: SOT 29266 SOS 21642 HAS SOPS 21642 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12041.642
AT ITER 268 NEW BEST:: SOT 29163 SOS 21363 HAS SOPS 21363 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11794.363
AT ITER 274 NEW BEST:: SOT 29149 SOS 21349 HAS SOPS 21349 HAS SOUS 11759 HAS SOUPS 11759 WITH SCORE 11780.349
AT ITER 288 NEW BEST:: SOT 29081 SOS 21281 HAS SOPS 21281 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11711.281
AT ITER 292 NEW BEST:: SOT 29081 SOS 21295 HAS SOPS 21295 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11702.295
AT ITER 296 NEW BEST:: SOT 28691 SOS 24144 HAS SOPS 24144 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11300.144
AT ITER 306 NEW BEST:: SOT 28685 SOS 24138 HAS SOPS 24138 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11294.138
AT ITER 307 NEW BEST:: SOT 28653 SOS 24106 HAS SOPS 24106 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11273.106
AT ITER 331 NEW BEST:: SOT 28636 SOS 24089 HAS SOPS 24089 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11256.089
AT ITER 344 NEW BEST:: SOT 28351 SOS 23804 HAS SOPS 23804 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11159.804
AT ITER 351 NEW BEST:: SOT 28333 SOS 23777 HAS SOPS 23777 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11132.777
AT ITER 372 NEW BEST:: SOT 28294 SOS 23717 HAS SOPS 23717 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11072.717
AT ITER 398 NEW BEST:: SOT 28162 SOS 23585 HAS SOPS 23585 HAS SOUS 10979 HAS SOUPS 10979 WITH SCORE 11002.585
AT ITER 400 NEW BEST:: SOT 28131 SOS 23554 HAS SOPS 23554 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10971.554
AT ITER 427 NEW BEST:: SOT 28136 SOS 23559 HAS SOPS 23559 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10968.559
AT ITER 432 NEW BEST:: SOT 28135 SOS 23559 HAS SOPS 23559 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10967.559
AT ITER 435 NEW BEST:: SOT 28137 SOS 23561 HAS SOPS 23561 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10966.561
AT ITER 446 NEW BEST:: SOT 28136 SOS 23560 HAS SOPS 23560 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10964.56
AT ITER 447 NEW BEST:: SOT 28136 SOS 23679 HAS SOPS 23679 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10953.679
AT ITER 453 NEW BEST:: SOT 27832 SOS 23375 HAS SOPS 23375 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10639.375
AT ITER 461 NEW BEST:: SOT 27832 SOS 23375 HAS SOPS 23375 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10636.375
AT ITER 464 NEW BEST:: SOT 27724 SOS 23267 HAS SOPS 23267 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10542.267
AT ITER 475 NEW BEST:: SOT 27731 SOS 23257 HAS SOPS 23257 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10532.257
AT ITER 481 NEW BEST:: SOT 27748 SOS 23299 HAS SOPS 23299 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10494.299
AT ITER 495 NEW BEST:: SOT 27871 SOS 23422 HAS SOPS 23422 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10485.422
AT ITER 500 NEW BEST:: SOT 27853 SOS 23404 HAS SOPS 23404 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10483.404
AT ITER 501 NEW BEST:: SOT 27831 SOS 23382 HAS SOPS 23382 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10461.382
AT ITER 504 NEW BEST:: SOT 27768 SOS 23217 HAS SOPS 23217 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10380.217
AT ITER 513 NEW BEST:: SOT 27786 SOS 23213 HAS SOPS 23213 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10314.213
AT ITER 519 NEW BEST:: SOT 27632 SOS 23060 HAS SOPS 23060 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10223.06
AT ITER 526 NEW BEST:: SOT 27631 SOS 23059 HAS SOPS 23059 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10221.059
AT ITER 537 NEW BEST:: SOT 27631 SOS 22769 HAS SOPS 22769 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10206.769
AT ITER 560 NEW BEST:: SOT 27613 SOS 22760 HAS SOPS 22760 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10197.76
AT ITER 562 NEW BEST:: SOT 27614 SOS 22641 HAS SOPS 22641 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10194.641
AT ITER 582 NEW BEST:: SOT 27613 SOS 22640 HAS SOPS 22640 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10192.64
AT ITER 584 NEW BEST:: SOT 27613 SOS 22640 HAS SOPS 22640 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10176.64
AT ITER 589 NEW BEST:: SOT 27656 SOS 22734 HAS SOPS 22734 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10159.734
AT ITER 593 NEW BEST:: SOT 27639 SOS 22608 HAS SOPS 22608 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10033.608
AT ITER 594 NEW BEST:: SOT 27639 SOS 22596 HAS SOPS 22596 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10021.596
AT ITER 595 NEW BEST:: SOT 27598 SOS 22555 HAS SOPS 22555 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9974.555
AT ITER 601 NEW BEST:: SOT 27612 SOS 22569 HAS SOPS 22569 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9904.569
AT ITER 604 NEW BEST:: SOT 27504 SOS 22461 HAS SOPS 22461 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9742.461
AT ITER 605 NEW BEST:: SOT 27504 SOS 22461 HAS SOPS 22461 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9740.461
AT ITER 625 NEW BEST:: SOT 27504 SOS 22451 HAS SOPS 22451 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9730.451
AT ITER 635 NEW BEST:: SOT 27526 SOS 22449 HAS SOPS 22449 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9728.449
AT ITER 642 NEW BEST:: SOT 27435 SOS 22371 HAS SOPS 22371 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9647.371
AT ITER 644 NEW BEST:: SOT 27387 SOS 22323 HAS SOPS 22323 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9587.323
AT ITER 645 NEW BEST:: SOT 27143 SOS 22079 HAS SOPS 22079 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9396.079
AT ITER 646 NEW BEST:: SOT 27131 SOS 22067 HAS SOPS 22067 HAS SOUS 9362 HAS SOUPS 9362 WITH SCORE 9384.067
AT ITER 653 NEW BEST:: SOT 27131 SOS 22067 HAS SOPS 22067 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9382.067
AT ITER 657 NEW BEST:: SOT 27066 SOS 21995 HAS SOPS 21995 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9309.995
AT ITER 658 NEW BEST:: SOT 27056 SOS 21985 HAS SOPS 21985 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9293.985
AT ITER 665 NEW BEST:: SOT 27054 SOS 21983 HAS SOPS 21983 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9291.983
AT ITER 667 NEW BEST:: SOT 26830 SOS 21751 HAS SOPS 21751 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9171.751
AT ITER 681 NEW BEST:: SOT 26824 SOS 21742 HAS SOPS 21742 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9162.742
AT ITER 683 NEW BEST:: SOT 26856 SOS 21709 HAS SOPS 21709 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9129.709
AT ITER 712 NEW BEST:: SOT 26797 SOS 21650 HAS SOPS 21650 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9070.65
AT ITER 713 NEW BEST:: SOT 26704 SOS 21530 HAS SOPS 21530 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8950.53
AT ITER 721 NEW BEST:: SOT 26674 SOS 21500 HAS SOPS 21500 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8913.5
AT ITER 737 NEW BEST:: SOT 26656 SOS 21151 HAS SOPS 21151 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8884.151
AT ITER 749 NEW BEST:: SOT 26558 SOS 21015 HAS SOPS 21015 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8748.015
AT ITER 758 NEW BEST:: SOT 26277 SOS 20725 HAS SOPS 20725 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8621.725
AT ITER 775 NEW BEST:: SOT 25656 SOS 20085 HAS SOPS 20085 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7981.085
AT ITER 814 NEW BEST:: SOT 25653 SOS 19992 HAS SOPS 19992 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7892.992
AT ITER 818 NEW BEST:: SOT 25653 SOS 19951 HAS SOPS 19951 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7891.951
AT ITER 819 NEW BEST:: SOT 25649 SOS 19944 HAS SOPS 19944 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7884.944
AT ITER 826 NEW BEST:: SOT 25647 SOS 19927 HAS SOPS 19927 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7867.927
AT ITER 827 NEW BEST:: SOT 25667 SOS 19947 HAS SOPS 19947 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7813.947
AT ITER 829 NEW BEST:: SOT 25657 SOS 19927 HAS SOPS 19927 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7793.927
AT ITER 834 NEW BEST:: SOT 25657 SOS 19926 HAS SOPS 19926 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7792.926
AT ITER 837 NEW BEST:: SOT 25657 SOS 19924 HAS SOPS 19924 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7790.924
AT ITER 841 NEW BEST:: SOT 25656 SOS 19923 HAS SOPS 19923 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7788.923
AT ITER 845 NEW BEST:: SOT 25634 SOS 19901 HAS SOPS 19901 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7744.901
AT ITER 856 NEW BEST:: SOT 25634 SOS 19846 HAS SOPS 19846 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7689.846
AT ITER 881 NEW BEST:: SOT 25198 SOS 19371 HAS SOPS 19371 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7432.371
AT ITER 894 NEW BEST:: SOT 25158 SOS 19331 HAS SOPS 19331 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7392.331
AT ITER 905 NEW BEST:: SOT 25151 SOS 19322 HAS SOPS 19322 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7390.322
AT ITER 914 NEW BEST:: SOT 25150 SOS 19321 HAS SOPS 19321 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7388.321
AT ITER 922 NEW BEST:: SOT 25141 SOS 19312 HAS SOPS 19312 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7379.312
AT ITER 961 NEW BEST:: SOT 25123 SOS 19294 HAS SOPS 19294 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7352.294
AT ITER 982 NEW BEST:: SOT 25152 SOS 19231 HAS SOPS 19231 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7283.231
AT ITER 996 NEW BEST:: SOT 25152 SOS 19231 HAS SOPS 19231 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7280.231
AT ITER 1003 NEW BEST:: SOT 25152 SOS 19223 HAS SOPS 19223 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7272.223
AT ITER 1005 NEW BEST:: SOT 25118 SOS 19182 HAS SOPS 19182 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7231.182
AT ITER 1009 NEW BEST:: SOT 25095 SOS 19159 HAS SOPS 19159 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7179.159
AT ITER 1017 NEW BEST:: SOT 25094 SOS 19158 HAS SOPS 19158 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7177.158
AT ITER 1038 NEW BEST:: SOT 25094 SOS 19156 HAS SOPS 19156 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7175.156
AT ITER 1044 NEW BEST:: SOT 25005 SOS 19064 HAS SOPS 19064 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7138.064
AT ITER 1045 NEW BEST:: SOT 24998 SOS 19061 HAS SOPS 19061 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7135.061
AT ITER 1064 NEW BEST:: SOT 24946 SOS 18996 HAS SOPS 18996 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7069.996
AT ITER 1117 NEW BEST:: SOT 24945 SOS 18995 HAS SOPS 18995 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7067.995
AT ITER 1123 NEW BEST:: SOT 24944 SOS 18965 HAS SOPS 18965 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7037.965
AT ITER 1141 NEW BEST:: SOT 24939 SOS 18960 HAS SOPS 18960 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7027.96
AT ITER 1153 NEW BEST:: SOT 24912 SOS 19036 HAS SOPS 19036 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6898.036
AT ITER 1163 NEW BEST:: SOT 24914 SOS 19035 HAS SOPS 19035 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6897.035
AT ITER 1167 NEW BEST:: SOT 24904 SOS 19021 HAS SOPS 19021 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6883.021
AT ITER 1179 NEW BEST:: SOT 24889 SOS 18991 HAS SOPS 18991 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6876.991
AT ITER 1180 NEW BEST:: SOT 24889 SOS 18991 HAS SOPS 18991 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6828.991
AT ITER 1183 NEW BEST:: SOT 24884 SOS 18986 HAS SOPS 18986 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6823.986
AT ITER 1189 NEW BEST:: SOT 24838 SOS 18913 HAS SOPS 18913 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6795.913
AT ITER 1198 NEW BEST:: SOT 24805 SOS 18880 HAS SOPS 18880 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6795.88
AT ITER 1200 NEW BEST:: SOT 24804 SOS 18879 HAS SOPS 18879 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6793.879
AT ITER 1233 NEW BEST:: SOT 24801 SOS 18873 HAS SOPS 18873 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6790.873
AT ITER 1234 NEW BEST:: SOT 24825 SOS 18897 HAS SOPS 18897 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6770.897
AT ITER 1236 NEW BEST:: SOT 24818 SOS 18890 HAS SOPS 18890 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6763.89
AT ITER 1245 NEW BEST:: SOT 24828 SOS 18954 HAS SOPS 18954 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6729.954
AT ITER 1250 NEW BEST:: SOT 24823 SOS 18949 HAS SOPS 18949 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6724.949
AT ITER 1251 NEW BEST:: SOT 24808 SOS 18922 HAS SOPS 18922 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6697.922
AT ITER 1259 NEW BEST:: SOT 24792 SOS 18906 HAS SOPS 18906 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6665.906
AT ITER 1268 NEW BEST:: SOT 24720 SOS 18834 HAS SOPS 18834 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6594.834
AT ITER 1287 NEW BEST:: SOT 24719 SOS 18833 HAS SOPS 18833 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6592.833
AT ITER 1291 NEW BEST:: SOT 24709 SOS 18823 HAS SOPS 18823 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6572.823
AT ITER 1295 NEW BEST:: SOT 24661 SOS 18766 HAS SOPS 18766 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6515.766
AT ITER 1327 NEW BEST:: SOT 24616 SOS 18706 HAS SOPS 18706 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6500.706
AT ITER 1329 NEW BEST:: SOT 24600 SOS 18690 HAS SOPS 18690 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6468.69
AT ITER 1356 NEW BEST:: SOT 24582 SOS 18676 HAS SOPS 18676 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6460.676
AT ITER 1359 NEW BEST:: SOT 24575 SOS 18666 HAS SOPS 18666 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6450.666
AT ITER 1369 NEW BEST:: SOT 24575 SOS 18692 HAS SOPS 18692 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6447.692
AT ITER 1388 NEW BEST:: SOT 24563 SOS 18661 HAS SOPS 18661 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6416.661
AT ITER 1393 NEW BEST:: SOT 24333 SOS 18447 HAS SOPS 18447 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6340.447
AT ITER 1421 NEW BEST:: SOT 24331 SOS 18445 HAS SOPS 18445 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6336.445
AT ITER 1424 NEW BEST:: SOT 24312 SOS 18353 HAS SOPS 18353 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6311.353
AT ITER 1447 NEW BEST:: SOT 24312 SOS 18243 HAS SOPS 18243 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6201.243
AT ITER 1460 NEW BEST:: SOT 24301 SOS 18232 HAS SOPS 18232 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6179.232
AT ITER 1488 NEW BEST:: SOT 24301 SOS 18186 HAS SOPS 18186 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6133.186
AT ITER 1489 NEW BEST:: SOT 24306 SOS 18183 HAS SOPS 18183 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6130.183
AT ITER 1493 NEW BEST:: SOT 24266 SOS 18143 HAS SOPS 18143 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6090.143
AT ITER 1505 NEW BEST:: SOT 24266 SOS 18126 HAS SOPS 18126 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6073.126
AT ITER 1544 NEW BEST:: SOT 24261 SOS 18121 HAS SOPS 18121 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6073.121
AT ITER 1552 NEW BEST:: SOT 24233 SOS 18079 HAS SOPS 18079 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6031.079
AT ITER 1555 NEW BEST:: SOT 24165 SOS 18001 HAS SOPS 18001 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5953.001
AT ITER 1563 NEW BEST:: SOT 24157 SOS 17993 HAS SOPS 17993 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5928.993
AT ITER 1571 NEW BEST:: SOT 24153 SOS 17989 HAS SOPS 17989 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5920.989
AT ITER 1599 NEW BEST:: SOT 24150 SOS 17968 HAS SOPS 17968 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5913.968
AT ITER 1611 NEW BEST:: SOT 24145 SOS 17963 HAS SOPS 17963 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5913.963
AT ITER 1622 NEW BEST:: SOT 24128 SOS 17946 HAS SOPS 17946 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5896.946
AT ITER 1632 NEW BEST:: SOT 24094 SOS 17912 HAS SOPS 17912 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5828.912
AT ITER 1635 NEW BEST:: SOT 24094 SOS 17910 HAS SOPS 17910 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5826.91
AT ITER 1670 NEW BEST:: SOT 24093 SOS 17909 HAS SOPS 17909 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5798.909
AT ITER 1725 NEW BEST:: SOT 24057 SOS 17873 HAS SOPS 17873 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5736.873
AT ITER 1743 NEW BEST:: SOT 23973 SOS 17787 HAS SOPS 17787 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5731.787
AT ITER 1767 NEW BEST:: SOT 23971 SOS 17784 HAS SOPS 17784 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5728.784
AT ITER 1784 NEW BEST:: SOT 23930 SOS 17783 HAS SOPS 17783 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5727.783
AT ITER 1817 NEW BEST:: SOT 23928 SOS 17781 HAS SOPS 17781 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5725.781
AT ITER 1829 NEW BEST:: SOT 23923 SOS 17776 HAS SOPS 17776 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5708.776
AT ITER 1872 NEW BEST:: SOT 23919 SOS 17772 HAS SOPS 17772 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5677.772
AT ITER 1893 NEW BEST:: SOT 23918 SOS 17771 HAS SOPS 17771 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5675.771
AT ITER 1898 NEW BEST:: SOT 23892 SOS 17718 HAS SOPS 17718 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5622.718
AT ITER 1922 NEW BEST:: SOT 23916 SOS 17704 HAS SOPS 17704 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5608.704
AT ITER 1924 NEW BEST:: SOT 23916 SOS 17704 HAS SOPS 17704 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5556.704
AT ITER 1925 NEW BEST:: SOT 23919 SOS 17728 HAS SOPS 17728 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5553.728
AT ITER 1942 NEW BEST:: SOT 23918 SOS 17727 HAS SOPS 17727 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5551.727
AT ITER 1952 NEW BEST:: SOT 23874 SOS 17633 HAS SOPS 17633 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5457.633
AT ITER 1963 NEW BEST:: SOT 23882 SOS 17631 HAS SOPS 17631 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5455.631
AT ITER 1966 NEW BEST:: SOT 23505 SOS 17254 HAS SOPS 17254 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5406.254
AT ITER 2007 NEW BEST:: SOT 23501 SOS 17250 HAS SOPS 17250 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5402.25
AT ITER 2011 NEW BEST:: SOT 23501 SOS 17250 HAS SOPS 17250 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5396.25
AT ITER 2017 NEW BEST:: SOT 23490 SOS 17239 HAS SOPS 17239 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5385.239
AT ITER 2019 NEW BEST:: SOT 23488 SOS 17245 HAS SOPS 17245 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5381.245
AT ITER 2031 NEW BEST:: SOT 23485 SOS 17155 HAS SOPS 17155 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5375.155
AT ITER 2040 NEW BEST:: SOT 23475 SOS 17147 HAS SOPS 17147 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5367.147
AT ITER 2046 NEW BEST:: SOT 23474 SOS 17146 HAS SOPS 17146 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5362.146
AT ITER 2072 NEW BEST:: SOT 23479 SOS 17151 HAS SOPS 17151 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5357.151
AT ITER 2073 NEW BEST:: SOT 23473 SOS 17145 HAS SOPS 17145 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5345.145
AT ITER 2123 NEW BEST:: SOT 23471 SOS 17143 HAS SOPS 17143 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5343.143
AT ITER 2138 NEW BEST:: SOT 23467 SOS 17131 HAS SOPS 17131 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5339.131
AT ITER 2168 NEW BEST:: SOT 23447 SOS 17111 HAS SOPS 17111 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5269.111
AT ITER 2176 NEW BEST:: SOT 23433 SOS 17097 HAS SOPS 17097 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5261.097
AT ITER 2184 NEW BEST:: SOT 23403 SOS 17055 HAS SOPS 17055 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5219.055
AT ITER 2292 NEW BEST:: SOT 23403 SOS 17039 HAS SOPS 17039 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5210.039
AT ITER 2317 NEW BEST:: SOT 23382 SOS 17018 HAS SOPS 17018 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5188.018
AT ITER 2326 NEW BEST:: SOT 23413 SOS 17049 HAS SOPS 17049 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5186.049
AT ITER 2336 NEW BEST:: SOT 23414 SOS 17016 HAS SOPS 17016 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5153.016
AT ITER 2411 NEW BEST:: SOT 23412 SOS 17012 HAS SOPS 17012 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5153.012
AT ITER 2420 NEW BEST:: SOT 23410 SOS 17011 HAS SOPS 17011 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5150.011
AT ITER 2438 NEW BEST:: SOT 23410 SOS 17005 HAS SOPS 17005 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5150.005
AT ITER 2442 NEW BEST:: SOT 23399 SOS 16979 HAS SOPS 16979 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5142.979
AT ITER 2450 NEW BEST:: SOT 23394 SOS 16974 HAS SOPS 16974 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5132.974
AT ITER 2453 NEW BEST:: SOT 23391 SOS 16968 HAS SOPS 16968 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5126.968
AT ITER 2506 NEW BEST:: SOT 23391 SOS 16957 HAS SOPS 16957 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5121.957
AT ITER 2515 NEW BEST:: SOT 23383 SOS 16949 HAS SOPS 16949 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5113.949
AT ITER 2519 NEW BEST:: SOT 23371 SOS 16937 HAS SOPS 16937 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5101.937
AT ITER 2553 NEW BEST:: SOT 23367 SOS 16917 HAS SOPS 16917 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5081.917
AT ITER 2559 NEW BEST:: SOT 23363 SOS 16913 HAS SOPS 16913 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5071.913
AT ITER 2626 NEW BEST:: SOT 23373 SOS 16923 HAS SOPS 16923 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5070.923
AT ITER 2644 NEW BEST:: SOT 23367 SOS 16917 HAS SOPS 16917 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5068.917
AT ITER 2774 NEW BEST:: SOT 23365 SOS 16915 HAS SOPS 16915 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5067.915
AT ITER 2790 NEW BEST:: SOT 23362 SOS 16912 HAS SOPS 16912 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5061.912
AT ITER 2844 NEW BEST:: SOT 23349 SOS 16903 HAS SOPS 16903 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5060.903
AT ITER 2889 NEW BEST:: SOT 23349 SOS 16903 HAS SOPS 16903 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5058.903
AT ITER 2939 NEW BEST:: SOT 23273 SOS 16826 HAS SOPS 16826 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5045.826
AT ITER 2946 NEW BEST:: SOT 23265 SOS 16818 HAS SOPS 16818 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5029.818
AT ITER 2957 NEW BEST:: SOT 23257 SOS 16810 HAS SOPS 16810 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 5004.81
AT ITER 2969 NEW BEST:: SOT 23257 SOS 16810 HAS SOPS 16810 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4986.81
AT ITER 3054 NEW BEST:: SOT 23257 SOS 16614 HAS SOPS 16614 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4986.614
AT ITER 3067 NEW BEST:: SOT 23256 SOS 16613 HAS SOPS 16613 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4984.613
AT ITER 3070 NEW BEST:: SOT 23249 SOS 16606 HAS SOPS 16606 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4977.606
AT ITER 3076 NEW BEST:: SOT 23247 SOS 16604 HAS SOPS 16604 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4971.604
AT ITER 3143 NEW BEST:: SOT 23245 SOS 16596 HAS SOPS 16596 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4967.596
AT ITER 3152 NEW BEST:: SOT 23243 SOS 16594 HAS SOPS 16594 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4964.594
AT ITER 3190 NEW BEST:: SOT 23243 SOS 16565 HAS SOPS 16565 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4964.565
AT ITER 3317 NEW BEST:: SOT 23239 SOS 16567 HAS SOPS 16567 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4963.567
AT ITER 3326 NEW BEST:: SOT 23214 SOS 16314 HAS SOPS 16314 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4859.314
AT ITER 3344 NEW BEST:: SOT 23210 SOS 16310 HAS SOPS 16310 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4857.31
AT ITER 3370 NEW BEST:: SOT 23204 SOS 16316 HAS SOPS 16316 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4837.316
AT ITER 3381 NEW BEST:: SOT 23204 SOS 16315 HAS SOPS 16315 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4836.315
AT ITER 3385 NEW BEST:: SOT 23202 SOS 16312 HAS SOPS 16312 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4833.312
AT ITER 3449 NEW BEST:: SOT 23193 SOS 16296 HAS SOPS 16296 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4829.296
AT ITER 3469 NEW BEST:: SOT 23192 SOS 16295 HAS SOPS 16295 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4827.295
AT ITER 3549 NEW BEST:: SOT 23191 SOS 16294 HAS SOPS 16294 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4825.294
AT ITER 3576 NEW BEST:: SOT 23191 SOS 16283 HAS SOPS 16283 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4823.283
AT ITER 3587 NEW BEST:: SOT 23186 SOS 16278 HAS SOPS 16278 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4818.278
AT ITER 3594 NEW BEST:: SOT 23178 SOS 16254 HAS SOPS 16254 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4807.254
AT ITER 3602 NEW BEST:: SOT 23167 SOS 16243 HAS SOPS 16243 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4796.243
AT ITER 3620 NEW BEST:: SOT 23166 SOS 16242 HAS SOPS 16242 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4782.242
AT ITER 3648 NEW BEST:: SOT 23177 SOS 16244 HAS SOPS 16244 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4781.244
AT ITER 3655 NEW BEST:: SOT 23180 SOS 16247 HAS SOPS 16247 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4776.247
AT ITER 3684 NEW BEST:: SOT 23180 SOS 16241 HAS SOPS 16241 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4770.241
AT ITER 3737 NEW BEST:: SOT 23180 SOS 16237 HAS SOPS 16237 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4766.237
AT ITER 3746 NEW BEST:: SOT 23179 SOS 16236 HAS SOPS 16236 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4765.236
AT ITER 3854 NEW BEST:: SOT 23178 SOS 16235 HAS SOPS 16235 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4763.235
AT ITER 3863 NEW BEST:: SOT 23178 SOS 16235 HAS SOPS 16235 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4741.235
AT ITER 3978 NEW BEST:: SOT 23190 SOS 16247 HAS SOPS 16247 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4740.247
AT ITER 4037 NEW BEST:: SOT 23150 SOS 16202 HAS SOPS 16202 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4711.202
AT ITER 4056 NEW BEST:: SOT 23150 SOS 16199 HAS SOPS 16199 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4705.199
AT ITER 4061 NEW BEST:: SOT 23148 SOS 16197 HAS SOPS 16197 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4703.197
AT ITER 4093 NEW BEST:: SOT 23139 SOS 16188 HAS SOPS 16188 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4699.188
AT ITER 4101 NEW BEST:: SOT 23138 SOS 16187 HAS SOPS 16187 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4697.187
AT ITER 4114 NEW BEST:: SOT 23137 SOS 16186 HAS SOPS 16186 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4695.186
AT ITER 4117 NEW BEST:: SOT 23138 SOS 16187 HAS SOPS 16187 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4694.187
AT ITER 4155 NEW BEST:: SOT 23148 SOS 16201 HAS SOPS 16201 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4691.201
AT ITER 4158 NEW BEST:: SOT 23150 SOS 16206 HAS SOPS 16206 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4690.206
AT ITER 4165 NEW BEST:: SOT 23150 SOS 16207 HAS SOPS 16207 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4689.207
AT ITER 4210 NEW BEST:: SOT 23148 SOS 16205 HAS SOPS 16205 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4687.205
AT ITER 4282 NEW BEST:: SOT 23146 SOS 16201 HAS SOPS 16201 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4685.201
AT ITER 4292 NEW BEST:: SOT 23146 SOS 16186 HAS SOPS 16186 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4670.186
AT ITER 4332 NEW BEST:: SOT 23140 SOS 16140 HAS SOPS 16140 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4624.14
AT ITER 4355 NEW BEST:: SOT 23131 SOS 16044 HAS SOPS 16044 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4615.044
AT ITER 4379 NEW BEST:: SOT 23130 SOS 16043 HAS SOPS 16043 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4613.043
AT ITER 4432 NEW BEST:: SOT 23127 SOS 16040 HAS SOPS 16040 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4607.04
AT ITER 4467 NEW BEST:: SOT 23091 SOS 16004 HAS SOPS 16004 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4571.004
AT ITER 4473 NEW BEST:: SOT 23098 SOS 16011 HAS SOPS 16011 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4551.011
AT ITER 4481 NEW BEST:: SOT 23090 SOS 16003 HAS SOPS 16003 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4545.003
AT ITER 4516 NEW BEST:: SOT 23072 SOS 15985 HAS SOPS 15985 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4526.985
AT ITER 4537 NEW BEST:: SOT 23069 SOS 15982 HAS SOPS 15982 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4523.982
AT ITER 4566 NEW BEST:: SOT 23059 SOS 15971 HAS SOPS 15971 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4512.971
AT ITER 4571 NEW BEST:: SOT 23019 SOS 15930 HAS SOPS 15930 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4506.93
AT ITER 4582 NEW BEST:: SOT 23009 SOS 15920 HAS SOPS 15920 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4496.92
AT ITER 4604 NEW BEST:: SOT 23008 SOS 15919 HAS SOPS 15919 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4494.919
AT ITER 4617 NEW BEST:: SOT 23007 SOS 15918 HAS SOPS 15918 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4480.918
AT ITER 4642 NEW BEST:: SOT 22999 SOS 15910 HAS SOPS 15910 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4478.91
AT ITER 4644 NEW BEST:: SOT 22994 SOS 15905 HAS SOPS 15905 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4473.905
AT ITER 4710 NEW BEST:: SOT 22994 SOS 15904 HAS SOPS 15904 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4472.904
AT ITER 4718 NEW BEST:: SOT 22996 SOS 15762 HAS SOPS 15762 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4472.762
AT ITER 4725 NEW BEST:: SOT 22989 SOS 15755 HAS SOPS 15755 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4468.755
AT ITER 4736 NEW BEST:: SOT 22974 SOS 15734 HAS SOPS 15734 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4447.734
AT ITER 4937 NEW BEST:: SOT 22967 SOS 15731 HAS SOPS 15731 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4445.731
AT ITER 5051 NEW BEST:: SOT 22966 SOS 15730 HAS SOPS 15730 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4443.73
AT ITER 5068 NEW BEST:: SOT 22961 SOS 15725 HAS SOPS 15725 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4430.725
AT ITER 5116 NEW BEST:: SOT 22968 SOS 15732 HAS SOPS 15732 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4423.732
AT ITER 5131 NEW BEST:: SOT 22968 SOS 15732 HAS SOPS 15732 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4413.732
AT ITER 5236 NEW BEST:: SOT 22967 SOS 15731 HAS SOPS 15731 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4411.731
AT ITER 5265 NEW BEST:: SOT 22949 SOS 15627 HAS SOPS 15627 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4392.627
AT ITER 5310 NEW BEST:: SOT 22949 SOS 15627 HAS SOPS 15627 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4388.627
AT ITER 5330 NEW BEST:: SOT 22948 SOS 15626 HAS SOPS 15626 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4387.626
AT ITER 5341 NEW BEST:: SOT 22945 SOS 15613 HAS SOPS 15613 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4374.613
AT ITER 5345 NEW BEST:: SOT 22905 SOS 15542 HAS SOPS 15542 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4303.542
AT ITER 5416 NEW BEST:: SOT 22903 SOS 15540 HAS SOPS 15540 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4299.54
AT ITER 5446 NEW BEST:: SOT 22902 SOS 15530 HAS SOPS 15530 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4298.53
AT ITER 5547 NEW BEST:: SOT 22899 SOS 15527 HAS SOPS 15527 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4291.527
AT ITER 5671 NEW BEST:: SOT 22883 SOS 15503 HAS SOPS 15503 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4283.503
AT ITER 5700 NEW BEST:: SOT 22885 SOS 15505 HAS SOPS 15505 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4274.505
AT ITER 5779 NEW BEST:: SOT 22886 SOS 15504 HAS SOPS 15504 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4273.504
AT ITER 5780 NEW BEST:: SOT 22885 SOS 15503 HAS SOPS 15503 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4271.503
AT ITER 5819 NEW BEST:: SOT 22879 SOS 15499 HAS SOPS 15499 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4267.499
AT ITER 5839 NEW BEST:: SOT 22878 SOS 15498 HAS SOPS 15498 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4265.498
AT ITER 5862 NEW BEST:: SOT 22883 SOS 15517 HAS SOPS 15517 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4261.517
AT ITER 5951 NEW BEST:: SOT 22887 SOS 15521 HAS SOPS 15521 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4260.521
AT ITER 6115 NEW BEST:: SOT 22887 SOS 15519 HAS SOPS 15519 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4258.519
AT ITER 6284 NEW BEST:: SOT 22886 SOS 15518 HAS SOPS 15518 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4256.518
AT ITER 6410 NEW BEST:: SOT 22891 SOS 15509 HAS SOPS 15509 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4247.509
AT ITER 6452 NEW BEST:: SOT 22890 SOS 15508 HAS SOPS 15508 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4246.508
AT ITER 6465 NEW BEST:: SOT 22888 SOS 15506 HAS SOPS 15506 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4246.506
AT ITER 6473 NEW BEST:: SOT 22916 SOS 15534 HAS SOPS 15534 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4242.534
AT ITER 6517 NEW BEST:: SOT 22901 SOS 15511 HAS SOPS 15511 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4234.511
AT ITER 6621 NEW BEST:: SOT 22900 SOS 15510 HAS SOPS 15510 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4232.51
AT ITER 6662 NEW BEST:: SOT 22894 SOS 15502 HAS SOPS 15502 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4230.502
AT ITER 6715 NEW BEST:: SOT 22894 SOS 15500 HAS SOPS 15500 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4228.5
AT ITER 6785 NEW BEST:: SOT 22895 SOS 15505 HAS SOPS 15505 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4226.505
AT ITER 6834 NEW BEST:: SOT 22919 SOS 15544 HAS SOPS 15544 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4221.544
AT ITER 6850 NEW BEST:: SOT 22917 SOS 15542 HAS SOPS 15542 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4210.542
AT ITER 6863 NEW BEST:: SOT 22917 SOS 15513 HAS SOPS 15513 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4210.513
AT ITER 6866 NEW BEST:: SOT 22905 SOS 15492 HAS SOPS 15492 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4195.492
AT ITER 6915 NEW BEST:: SOT 22905 SOS 15575 HAS SOPS 15575 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4194.575
AT ITER 6920 NEW BEST:: SOT 22903 SOS 15457 HAS SOPS 15457 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4192.457
AT ITER 6921 NEW BEST:: SOT 22904 SOS 15458 HAS SOPS 15458 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4188.458
AT ITER 6993 NEW BEST:: SOT 22904 SOS 15458 HAS SOPS 15458 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4186.458
AT ITER 7023 NEW BEST:: SOT 22903 SOS 15457 HAS SOPS 15457 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4184.457
AT ITER 7095 NEW BEST:: SOT 22901 SOS 15452 HAS SOPS 15452 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4179.452
AT ITER 7101 NEW BEST:: SOT 22890 SOS 15430 HAS SOPS 15430 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4157.43
AT ITER 7152 NEW BEST:: SOT 22887 SOS 15427 HAS SOPS 15427 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4154.427
AT ITER 7182 NEW BEST:: SOT 22919 SOS 15459 HAS SOPS 15459 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4137.459
AT ITER 7190 NEW BEST:: SOT 22918 SOS 15458 HAS SOPS 15458 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4135.458
AT ITER 7281 NEW BEST:: SOT 22907 SOS 15447 HAS SOPS 15447 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4124.447
AT ITER 7309 NEW BEST:: SOT 22906 SOS 15475 HAS SOPS 15475 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4123.475
AT ITER 7376 NEW BEST:: SOT 22906 SOS 15472 HAS SOPS 15472 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4120.472
AT ITER 7380 NEW BEST:: SOT 22905 SOS 15471 HAS SOPS 15471 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4118.471
AT ITER 7392 NEW BEST:: SOT 22900 SOS 15466 HAS SOPS 15466 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4108.466
AT ITER 7398 NEW BEST:: SOT 22899 SOS 15465 HAS SOPS 15465 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4107.465
AT ITER 7464 NEW BEST:: SOT 22897 SOS 15463 HAS SOPS 15463 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4105.463
AT ITER 7487 NEW BEST:: SOT 22894 SOS 15460 HAS SOPS 15460 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4099.46
AT ITER 7536 NEW BEST:: SOT 22886 SOS 15460 HAS SOPS 15460 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4086.46
AT ITER 7610 NEW BEST:: SOT 22886 SOS 15456 HAS SOPS 15456 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4085.456
AT ITER 7618 NEW BEST:: SOT 22886 SOS 15452 HAS SOPS 15452 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4081.452
AT ITER 7728 NEW BEST:: SOT 22886 SOS 15447 HAS SOPS 15447 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4076.447
AT ITER 7729 NEW BEST:: SOT 22884 SOS 15445 HAS SOPS 15445 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4072.445
AT ITER 7773 NEW BEST:: SOT 22882 SOS 15440 HAS SOPS 15440 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4071.44
AT ITER 7785 NEW BEST:: SOT 22880 SOS 15438 HAS SOPS 15438 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4071.438
AT ITER 7815 NEW BEST:: SOT 22886 SOS 15454 HAS SOPS 15454 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4068.454
AT ITER 7857 NEW BEST:: SOT 22884 SOS 15452 HAS SOPS 15452 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4062.452
AT ITER 7861 NEW BEST:: SOT 22883 SOS 15451 HAS SOPS 15451 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4061.451
AT ITER 7895 NEW BEST:: SOT 22882 SOS 15450 HAS SOPS 15450 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4060.45
AT ITER 7949 NEW BEST:: SOT 22880 SOS 15449 HAS SOPS 15449 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4059.449
AT ITER 8085 NEW BEST:: SOT 22880 SOS 15449 HAS SOPS 15449 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4051.449
AT ITER 8100 NEW BEST:: SOT 22879 SOS 15448 HAS SOPS 15448 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4049.448
AT ITER 8142 NEW BEST:: SOT 22869 SOS 15432 HAS SOPS 15432 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4033.432
AT ITER 8209 NEW BEST:: SOT 22872 SOS 15455 HAS SOPS 15455 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4025.455
AT ITER 8315 NEW BEST:: SOT 22872 SOS 15455 HAS SOPS 15455 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4022.455
AT ITER 8420 NEW BEST:: SOT 22872 SOS 15455 HAS SOPS 15455 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4010.455
AT ITER 8437 NEW BEST:: SOT 22842 SOS 15412 HAS SOPS 15412 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3990.412
AT ITER 8440 NEW BEST:: SOT 22833 SOS 15374 HAS SOPS 15374 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3985.374
AT ITER 8523 NEW BEST:: SOT 22830 SOS 15372 HAS SOPS 15372 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3983.372
AT ITER 8524 NEW BEST:: SOT 22831 SOS 15373 HAS SOPS 15373 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3966.373
AT ITER 8607 NEW BEST:: SOT 22831 SOS 15373 HAS SOPS 15373 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3955.373
AT ITER 8637 NEW BEST:: SOT 22830 SOS 15372 HAS SOPS 15372 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3953.372
AT ITER 8649 NEW BEST:: SOT 22812 SOS 15340 HAS SOPS 15340 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3951.34
AT ITER 8651 NEW BEST:: SOT 22794 SOS 15337 HAS SOPS 15337 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3948.337
AT ITER 8733 NEW BEST:: SOT 22789 SOS 15332 HAS SOPS 15332 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3943.332
AT ITER 8743 NEW BEST:: SOT 22789 SOS 15332 HAS SOPS 15332 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3940.332
AT ITER 8750 NEW BEST:: SOT 22789 SOS 15332 HAS SOPS 15332 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3938.332
AT ITER 8813 NEW BEST:: SOT 22787 SOS 15330 HAS SOPS 15330 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3934.33
AT ITER 8830 NEW BEST:: SOT 22784 SOS 15327 HAS SOPS 15327 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3931.327
AT ITER 8842 NEW BEST:: SOT 22782 SOS 15325 HAS SOPS 15325 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3927.325
AT ITER 8849 NEW BEST:: SOT 22780 SOS 15323 HAS SOPS 15323 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3923.323
AT ITER 8909 NEW BEST:: SOT 22765 SOS 15277 HAS SOPS 15277 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3907.277
AT ITER 8948 NEW BEST:: SOT 22765 SOS 15277 HAS SOPS 15277 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3906.277
AT ITER 8997 NEW BEST:: SOT 22764 SOS 15276 HAS SOPS 15276 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3905.276
AT ITER 9048 NEW BEST:: SOT 22763 SOS 15275 HAS SOPS 15275 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3903.275
AT ITER 9088 NEW BEST:: SOT 22758 SOS 15255 HAS SOPS 15255 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3883.255
AT ITER 9102 NEW BEST:: SOT 22753 SOS 15243 HAS SOPS 15243 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3880.243
AT ITER 9119 NEW BEST:: SOT 22751 SOS 15211 HAS SOPS 15211 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3878.211
AT ITER 9135 NEW BEST:: SOT 22745 SOS 15205 HAS SOPS 15205 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3866.205
AT ITER 9139 NEW BEST:: SOT 22706 SOS 14556 HAS SOPS 14556 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3852.556
AT ITER 9155 NEW BEST:: SOT 22704 SOS 14554 HAS SOPS 14554 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3848.554
AT ITER 9159 NEW BEST:: SOT 22710 SOS 14560 HAS SOPS 14560 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3846.56
AT ITER 9169 NEW BEST:: SOT 22715 SOS 14565 HAS SOPS 14565 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3844.565
AT ITER 9181 NEW BEST:: SOT 22714 SOS 14561 HAS SOPS 14561 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3841.561
AT ITER 9239 NEW BEST:: SOT 22714 SOS 14559 HAS SOPS 14559 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3841.559
AT ITER 9440 NEW BEST:: SOT 22712 SOS 14557 HAS SOPS 14557 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3837.557
AT ITER 9462 NEW BEST:: SOT 22716 SOS 14561 HAS SOPS 14561 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3835.561
AT ITER 9679 NEW BEST:: SOT 22711 SOS 14551 HAS SOPS 14551 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3830.551
AT ITER 9715 NEW BEST:: SOT 22710 SOS 14550 HAS SOPS 14550 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3828.55
AT ITER 9717 NEW BEST:: SOT 22707 SOS 14547 HAS SOPS 14547 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3826.547
AT ITER 9741 NEW BEST:: SOT 22710 SOS 14544 HAS SOPS 14544 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3823.544
AT ITER 9814 NEW BEST:: SOT 22707 SOS 14541 HAS SOPS 14541 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3817.541
AT ITER 9866 NEW BEST:: SOT 22705 SOS 14539 HAS SOPS 14539 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3815.539
AT ITER 9887 NEW BEST:: SOT 22690 SOS 14516 HAS SOPS 14516 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3807.516
AT ITER 9917 NEW BEST:: SOT 22690 SOS 14514 HAS SOPS 14514 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3805.514
AT ITER 9953 NEW BEST:: SOT 22686 SOS 14272 HAS SOPS 14272 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3795.272
AT ITER 9996 NEW BEST:: SOT 22686 SOS 14272 HAS SOPS 14272 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3789.272
STATE_SPACE STATES 19177775757445 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 232311716509481 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589109047639

--------------------
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="DES-PT-30a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DES-PT-30a, 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 r048-ebro-158902542000280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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