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-158902542100360.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 DLCflexbar-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 2.7K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 17:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:50 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:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 996K 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 1589114046152

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

Filename model.pnml
Petri model created: 581 places, 3891 transitions, 14956 arcs.
AT ITER 0 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123311 HAS SOUPS 58506 WITH SCORE 59669.956
AT ITER 5 NEW BEST:: SOT 1438585 SOS 1163687 HAS SOPS 599702 HAS SOUS 123154 HAS SOUPS 58436 WITH SCORE 59599.687
AT ITER 13 NEW BEST:: SOT 1438481 SOS 1163479 HAS SOPS 599754 HAS SOUS 122946 HAS SOUPS 58280 WITH SCORE 59443.479
AT ITER 15 NEW BEST:: SOT 1438122 SOS 1168447 HAS SOPS 601767 HAS SOUS 122784 HAS SOUPS 57921 WITH SCORE 59089.447
AT ITER 25 NEW BEST:: SOT 1438122 SOS 1168405 HAS SOPS 601935 HAS SOUS 122742 HAS SOUPS 57921 WITH SCORE 59089.405
AT ITER 48 NEW BEST:: SOT 1437900 SOS 1160413 HAS SOPS 601491 HAS SOUS 122516 HAS SOUPS 57917 WITH SCORE 59077.413
AT ITER 57 NEW BEST:: SOT 1437900 SOS 1160413 HAS SOPS 601491 HAS SOUS 122462 HAS SOUPS 57863 WITH SCORE 59023.413
AT ITER 63 NEW BEST:: SOT 1437227 SOS 1162782 HAS SOPS 602310 HAS SOUS 122144 HAS SOUPS 57545 WITH SCORE 58707.782
AT ITER 68 NEW BEST:: SOT 1436442 SOS 1165831 HAS SOPS 603479 HAS SOUS 121620 HAS SOUPS 57021 WITH SCORE 58186.831
AT ITER 71 NEW BEST:: SOT 1436203 SOS 1165150 HAS SOPS 602798 HAS SOUS 121292 HAS SOUPS 56693 WITH SCORE 57858.15
AT ITER 72 NEW BEST:: SOT 1436203 SOS 1164890 HAS SOPS 602798 HAS SOUS 121240 HAS SOUPS 56693 WITH SCORE 57857.89
AT ITER 73 NEW BEST:: SOT 1436139 SOS 1164714 HAS SOPS 602622 HAS SOUS 121176 HAS SOUPS 56629 WITH SCORE 57793.714
AT ITER 79 NEW BEST:: SOT 1436139 SOS 1164714 HAS SOPS 602622 HAS SOUS 121158 HAS SOUPS 56611 WITH SCORE 57775.714
AT ITER 101 NEW BEST:: SOT 1436120 SOS 1164676 HAS SOPS 602584 HAS SOUS 121139 HAS SOUPS 56592 WITH SCORE 57756.676
AT ITER 112 NEW BEST:: SOT 1436120 SOS 1164676 HAS SOPS 602584 HAS SOUS 121079 HAS SOUPS 56532 WITH SCORE 57696.676
AT ITER 127 NEW BEST:: SOT 1435275 SOS 1166389 HAS SOPS 602787 HAS SOUS 120363 HAS SOUPS 55816 WITH SCORE 56982.389
AT ITER 137 NEW BEST:: SOT 1435146 SOS 1166131 HAS SOPS 603024 HAS SOUS 120073 HAS SOUPS 55625 WITH SCORE 56791.131
AT ITER 140 NEW BEST:: SOT 1435120 SOS 1165195 HAS SOPS 602972 HAS SOUS 120047 HAS SOUPS 55625 WITH SCORE 56790.195
AT ITER 163 NEW BEST:: SOT 1434462 SOS 1166928 HAS SOPS 603325 HAS SOUS 119525 HAS SOUPS 55103 WITH SCORE 56269.928
AT ITER 164 NEW BEST:: SOT 1433968 SOS 1167508 HAS SOPS 602615 HAS SOUS 119183 HAS SOUPS 54675 WITH SCORE 55842.508
AT ITER 193 NEW BEST:: SOT 1433772 SOS 1167648 HAS SOPS 602335 HAS SOUS 119071 HAS SOUPS 54535 WITH SCORE 55702.648
AT ITER 198 NEW BEST:: SOT 1433251 SOS 1168871 HAS SOPS 602408 HAS SOUS 118714 HAS SOUPS 54178 WITH SCORE 55346.871
AT ITER 206 NEW BEST:: SOT 1433059 SOS 1168424 HAS SOPS 601961 HAS SOUS 118711 HAS SOUPS 54175 WITH SCORE 55343.424
AT ITER 234 NEW BEST:: SOT 1433047 SOS 1168390 HAS SOPS 601927 HAS SOUS 118697 HAS SOUPS 54161 WITH SCORE 55329.39
AT ITER 249 NEW BEST:: SOT 1432396 SOS 1171432 HAS SOPS 602524 HAS SOUS 118554 HAS SOUPS 53855 WITH SCORE 55026.432
AT ITER 253 NEW BEST:: SOT 1432236 SOS 1171072 HAS SOPS 602364 HAS SOUS 118445 HAS SOUPS 53786 WITH SCORE 54957.072
AT ITER 259 NEW BEST:: SOT 1431792 SOS 1169053 HAS SOPS 604696 HAS SOUS 118337 HAS SOUPS 53678 WITH SCORE 54847.053
AT ITER 273 NEW BEST:: SOT 1431890 SOS 1164667 HAS SOPS 605002 HAS SOUS 118202 HAS SOUPS 53681 WITH SCORE 54845.667
AT ITER 277 NEW BEST:: SOT 1431814 SOS 1166810 HAS SOPS 604561 HAS SOUS 118129 HAS SOUPS 53532 WITH SCORE 54698.81
AT ITER 282 NEW BEST:: SOT 1431814 SOS 1166810 HAS SOPS 604561 HAS SOUS 118079 HAS SOUPS 53482 WITH SCORE 54648.81
AT ITER 300 NEW BEST:: SOT 1431856 SOS 1165696 HAS SOPS 603867 HAS SOUS 118059 HAS SOUPS 53462 WITH SCORE 54627.695999999996
AT ITER 308 NEW BEST:: SOT 1431190 SOS 1169052 HAS SOPS 605313 HAS SOUS 117711 HAS SOUPS 53114 WITH SCORE 54283.052
AT ITER 320 NEW BEST:: SOT 1431049 SOS 1168770 HAS SOPS 605526 HAS SOUS 117401 HAS SOUPS 52903 WITH SCORE 54071.77
AT ITER 337 NEW BEST:: SOT 1430628 SOS 1171875 HAS SOPS 607091 HAS SOUS 117234 HAS SOUPS 52736 WITH SCORE 53907.875
AT ITER 354 NEW BEST:: SOT 1430582 SOS 1171783 HAS SOPS 606999 HAS SOUS 117188 HAS SOUPS 52690 WITH SCORE 53861.783
AT ITER 372 NEW BEST:: SOT 1430622 SOS 1170715 HAS SOPS 606341 HAS SOUS 117187 HAS SOUPS 52689 WITH SCORE 53859.715
AT ITER 378 NEW BEST:: SOT 1430481 SOS 1170433 HAS SOPS 606514 HAS SOUS 116960 HAS SOUPS 52553 WITH SCORE 53723.433
AT ITER 400 NEW BEST:: SOT 1430474 SOS 1170188 HAS SOPS 606269 HAS SOUS 116953 HAS SOUPS 52546 WITH SCORE 53716.188
AT ITER 406 NEW BEST:: SOT 1430342 SOS 1170012 HAS SOPS 606093 HAS SOUS 116885 HAS SOUPS 52478 WITH SCORE 53648.012
AT ITER 418 NEW BEST:: SOT 1429831 SOS 1168877 HAS SOPS 605523 HAS SOUS 116526 HAS SOUPS 52232 WITH SCORE 53400.877
AT ITER 419 NEW BEST:: SOT 1428888 SOS 1172844 HAS SOPS 607170 HAS SOUS 115925 HAS SOUPS 51631 WITH SCORE 52803.844
AT ITER 433 NEW BEST:: SOT 1428888 SOS 1172844 HAS SOPS 607170 HAS SOUS 115923 HAS SOUPS 51629 WITH SCORE 52801.844
AT ITER 454 NEW BEST:: SOT 1428354 SOS 1175707 HAS SOPS 608363 HAS SOUS 115667 HAS SOUPS 51373 WITH SCORE 52548.707
AT ITER 455 NEW BEST:: SOT 1428236 SOS 1175471 HAS SOPS 608127 HAS SOUS 115549 HAS SOUPS 51255 WITH SCORE 52430.471
AT ITER 456 NEW BEST:: SOT 1428210 SOS 1175419 HAS SOPS 608075 HAS SOUS 115523 HAS SOUPS 51229 WITH SCORE 52404.419
AT ITER 467 NEW BEST:: SOT 1428072 SOS 1174904 HAS SOPS 607560 HAS SOUS 115432 HAS SOUPS 51138 WITH SCORE 52312.904
AT ITER 469 NEW BEST:: SOT 1428072 SOS 1174904 HAS SOPS 607560 HAS SOUS 115372 HAS SOUPS 51078 WITH SCORE 52252.904
AT ITER 472 NEW BEST:: SOT 1428072 SOS 1174904 HAS SOPS 607560 HAS SOUS 115312 HAS SOUPS 51018 WITH SCORE 52192.904
AT ITER 494 NEW BEST:: SOT 1428072 SOS 1174904 HAS SOPS 607560 HAS SOUS 115292 HAS SOUPS 50998 WITH SCORE 52172.904
AT ITER 499 NEW BEST:: SOT 1427795 SOS 1176348 HAS SOPS 607939 HAS SOUS 115231 HAS SOUPS 50866 WITH SCORE 52042.348
AT ITER 522 NEW BEST:: SOT 1427505 SOS 1178013 HAS SOPS 606154 HAS SOUS 115275 HAS SOUPS 50680 WITH SCORE 51858.013
AT ITER 545 NEW BEST:: SOT 1427098 SOS 1177087 HAS SOPS 605788 HAS SOUS 115026 HAS SOUPS 50543 WITH SCORE 51720.087
AT ITER 559 NEW BEST:: SOT 1427019 SOS 1176929 HAS SOPS 605630 HAS SOUS 114947 HAS SOUPS 50464 WITH SCORE 51640.929000000004
AT ITER 580 NEW BEST:: SOT 1427049 SOS 1175059 HAS SOPS 604780 HAS SOUS 114917 HAS SOUPS 50464 WITH SCORE 51639.059
AT ITER 591 NEW BEST:: SOT 1427049 SOS 1175059 HAS SOPS 604780 HAS SOUS 114881 HAS SOUPS 50428 WITH SCORE 51603.059
AT ITER 593 NEW BEST:: SOT 1427049 SOS 1175059 HAS SOPS 604780 HAS SOUS 114825 HAS SOUPS 50372 WITH SCORE 51547.059
AT ITER 605 NEW BEST:: SOT 1426698 SOS 1175737 HAS SOPS 604558 HAS SOUS 114663 HAS SOUPS 50150 WITH SCORE 51325.737
AT ITER 607 NEW BEST:: SOT 1426583 SOS 1175047 HAS SOPS 604368 HAS SOUS 114473 HAS SOUPS 50060 WITH SCORE 51235.047
AT ITER 609 NEW BEST:: SOT 1426037 SOS 1173819 HAS SOPS 603820 HAS SOUS 114169 HAS SOUPS 49892 WITH SCORE 51065.819
AT ITER 617 NEW BEST:: SOT 1425968 SOS 1173681 HAS SOPS 603682 HAS SOUS 114081 HAS SOUPS 49804 WITH SCORE 50977.681
AT ITER 620 NEW BEST:: SOT 1425903 SOS 1177091 HAS SOPS 603670 HAS SOUS 114058 HAS SOUPS 49781 WITH SCORE 50958.091
AT ITER 628 NEW BEST:: SOT 1423721 SOS 1174016 HAS SOPS 602177 HAS SOUS 113952 HAS SOUPS 49757 WITH SCORE 50931.016
AT ITER 629 NEW BEST:: SOT 1423491 SOS 1173052 HAS SOPS 602053 HAS SOUS 113660 HAS SOUPS 49633 WITH SCORE 50806.052
AT ITER 633 NEW BEST:: SOT 1423486 SOS 1172167 HAS SOPS 601168 HAS SOUS 113660 HAS SOUPS 49633 WITH SCORE 50805.167
AT ITER 655 NEW BEST:: SOT 1423486 SOS 1169346 HAS SOPS 600986 HAS SOUS 113569 HAS SOUPS 49542 WITH SCORE 50711.346
AT ITER 662 NEW BEST:: SOT 1422790 SOS 1167784 HAS SOPS 600274 HAS SOUS 113174 HAS SOUPS 49317 WITH SCORE 50484.784
AT ITER 663 NEW BEST:: SOT 1422146 SOS 1169793 HAS SOPS 600793 HAS SOUS 112768 HAS SOUPS 48911 WITH SCORE 50080.793
AT ITER 666 NEW BEST:: SOT 1422142 SOS 1169779 HAS SOPS 600789 HAS SOUS 112764 HAS SOUPS 48909 WITH SCORE 50078.779
AT ITER 670 NEW BEST:: SOT 1422083 SOS 1169661 HAS SOPS 600851 HAS SOUS 112640 HAS SOUPS 48821 WITH SCORE 49990.661
AT ITER 674 NEW BEST:: SOT 1422083 SOS 1169381 HAS SOPS 601046 HAS SOUS 112545 HAS SOUPS 48821 WITH SCORE 49990.381
AT ITER 676 NEW BEST:: SOT 1422083 SOS 1169381 HAS SOPS 601046 HAS SOUS 112503 HAS SOUPS 48779 WITH SCORE 49948.381
AT ITER 680 NEW BEST:: SOT 1421812 SOS 1170551 HAS SOPS 601181 HAS SOUS 112333 HAS SOUPS 48540 WITH SCORE 49710.551
AT ITER 683 NEW BEST:: SOT 1421934 SOS 1171059 HAS SOPS 601359 HAS SOUS 112389 HAS SOUPS 48530 WITH SCORE 49701.059
AT ITER 686 NEW BEST:: SOT 1421273 SOS 1173234 HAS SOPS 602957 HAS SOUS 112160 HAS SOUPS 48434 WITH SCORE 49607.234
AT ITER 687 NEW BEST:: SOT 1421273 SOS 1173234 HAS SOPS 602957 HAS SOUS 112152 HAS SOUPS 48426 WITH SCORE 49599.234
AT ITER 711 NEW BEST:: SOT 1420968 SOS 1172563 HAS SOPS 602591 HAS SOUS 111986 HAS SOUPS 48321 WITH SCORE 49493.563
AT ITER 717 NEW BEST:: SOT 1420968 SOS 1172563 HAS SOPS 602591 HAS SOUS 111926 HAS SOUPS 48261 WITH SCORE 49433.563
AT ITER 749 NEW BEST:: SOT 1420968 SOS 1172433 HAS SOPS 602591 HAS SOUS 111900 HAS SOUPS 48261 WITH SCORE 49433.433
AT ITER 763 NEW BEST:: SOT 1420902 SOS 1172301 HAS SOPS 602104 HAS SOUS 111795 HAS SOUPS 48085 WITH SCORE 49257.301
AT ITER 807 NEW BEST:: SOT 1420902 SOS 1172301 HAS SOPS 602104 HAS SOUS 111735 HAS SOUPS 48025 WITH SCORE 49197.301
AT ITER 844 NEW BEST:: SOT 1420812 SOS 1172535 HAS SOPS 602158 HAS SOUS 111663 HAS SOUPS 47953 WITH SCORE 49125.535
AT ITER 872 NEW BEST:: SOT 1421299 SOS 1165566 HAS SOPS 603045 HAS SOUS 111569 HAS SOUPS 47899 WITH SCORE 49064.566
AT ITER 876 NEW BEST:: SOT 1421244 SOS 1165181 HAS SOPS 602935 HAS SOUS 111514 HAS SOUPS 47899 WITH SCORE 49064.181
AT ITER 882 NEW BEST:: SOT 1421169 SOS 1164721 HAS SOPS 602850 HAS SOUS 111363 HAS SOUPS 47823 WITH SCORE 48987.721
AT ITER 883 NEW BEST:: SOT 1421162 SOS 1164707 HAS SOPS 602836 HAS SOUS 111355 HAS SOUPS 47815 WITH SCORE 48979.707
AT ITER 884 NEW BEST:: SOT 1421156 SOS 1164695 HAS SOPS 602329 HAS SOUS 111447 HAS SOUPS 47808 WITH SCORE 48972.695
AT ITER 912 NEW BEST:: SOT 1421156 SOS 1164695 HAS SOPS 602329 HAS SOUS 111393 HAS SOUPS 47754 WITH SCORE 48918.695
AT ITER 927 NEW BEST:: SOT 1421156 SOS 1164695 HAS SOPS 602329 HAS SOUS 111377 HAS SOUPS 47738 WITH SCORE 48902.695
AT ITER 932 NEW BEST:: SOT 1421156 SOS 1164695 HAS SOPS 602329 HAS SOUS 111337 HAS SOUPS 47698 WITH SCORE 48862.695
AT ITER 948 NEW BEST:: SOT 1421004 SOS 1164086 HAS SOPS 601720 HAS SOUS 111191 HAS SOUPS 47552 WITH SCORE 48716.086
AT ITER 977 NEW BEST:: SOT 1421004 SOS 1164097 HAS SOPS 601676 HAS SOUS 111180 HAS SOUPS 47530 WITH SCORE 48694.097
AT ITER 980 NEW BEST:: SOT 1421004 SOS 1164097 HAS SOPS 601676 HAS SOUS 111120 HAS SOUPS 47470 WITH SCORE 48634.097
AT ITER 985 NEW BEST:: SOT 1420996 SOS 1164081 HAS SOPS 601660 HAS SOUS 111104 HAS SOUPS 47454 WITH SCORE 48618.081
AT ITER 1008 NEW BEST:: SOT 1420996 SOS 1164081 HAS SOPS 601660 HAS SOUS 111080 HAS SOUPS 47430 WITH SCORE 48594.081
AT ITER 1014 NEW BEST:: SOT 1420943 SOS 1163975 HAS SOPS 601554 HAS SOUS 111063 HAS SOUPS 47413 WITH SCORE 48576.975
AT ITER 1017 NEW BEST:: SOT 1420943 SOS 1163975 HAS SOPS 601554 HAS SOUS 111025 HAS SOUPS 47375 WITH SCORE 48538.975
AT ITER 1026 NEW BEST:: SOT 1420919 SOS 1163946 HAS SOPS 601525 HAS SOUS 110996 HAS SOUPS 47346 WITH SCORE 48509.945999999996
AT ITER 1034 NEW BEST:: SOT 1420881 SOS 1163770 HAS SOPS 601849 HAS SOUS 110894 HAS SOUPS 47344 WITH SCORE 48507.77
AT ITER 1048 NEW BEST:: SOT 1422034 SOS 1164853 HAS SOPS 602396 HAS SOUS 110564 HAS SOUPS 47148 WITH SCORE 48312.853
AT ITER 1062 NEW BEST:: SOT 1421952 SOS 1164704 HAS SOPS 601887 HAS SOUS 110547 HAS SOUPS 47059 WITH SCORE 48223.704
AT ITER 1079 NEW BEST:: SOT 1421874 SOS 1164018 HAS SOPS 601731 HAS SOUS 110310 HAS SOUPS 46928 WITH SCORE 48092.018
AT ITER 1087 NEW BEST:: SOT 1422066 SOS 1164830 HAS SOPS 602543 HAS SOUS 110268 HAS SOUPS 46886 WITH SCORE 48050.83
AT ITER 1113 NEW BEST:: SOT 1419986 SOS 1162130 HAS SOPS 601048 HAS SOUS 110186 HAS SOUPS 46856 WITH SCORE 48018.13
AT ITER 1138 NEW BEST:: SOT 1419670 SOS 1162603 HAS SOPS 600621 HAS SOUS 109973 HAS SOUPS 46583 WITH SCORE 47745.603
AT ITER 1139 NEW BEST:: SOT 1419664 SOS 1162591 HAS SOPS 600609 HAS SOUS 109966 HAS SOUPS 46576 WITH SCORE 47738.591
AT ITER 1156 NEW BEST:: SOT 1419664 SOS 1162591 HAS SOPS 600609 HAS SOUS 109906 HAS SOUPS 46516 WITH SCORE 47678.591
AT ITER 1168 NEW BEST:: SOT 1419638 SOS 1162942 HAS SOPS 600518 HAS SOUS 109906 HAS SOUPS 46503 WITH SCORE 47665.942
AT ITER 1171 NEW BEST:: SOT 1419638 SOS 1162942 HAS SOPS 600518 HAS SOUS 109904 HAS SOUPS 46501 WITH SCORE 47663.942
AT ITER 1183 NEW BEST:: SOT 1419431 SOS 1163770 HAS SOPS 600536 HAS SOUS 109910 HAS SOUPS 46453 WITH SCORE 47616.77
AT ITER 1203 NEW BEST:: SOT 1419344 SOS 1164492 HAS SOPS 600938 HAS SOUS 109855 HAS SOUPS 46398 WITH SCORE 47562.492
AT ITER 1215 NEW BEST:: SOT 1419358 SOS 1164135 HAS SOPS 600581 HAS SOUS 109802 HAS SOUPS 46345 WITH SCORE 47509.135
AT ITER 1222 NEW BEST:: SOT 1419362 SOS 1164007 HAS SOPS 600515 HAS SOUS 109798 HAS SOUPS 46343 WITH SCORE 47507.007
AT ITER 1234 NEW BEST:: SOT 1419195 SOS 1164186 HAS SOPS 600289 HAS SOUS 109702 HAS SOUPS 46220 WITH SCORE 47384.186
AT ITER 1245 NEW BEST:: SOT 1419159 SOS 1164044 HAS SOPS 600147 HAS SOUS 109674 HAS SOUPS 46192 WITH SCORE 47356.044
AT ITER 1271 NEW BEST:: SOT 1419102 SOS 1163735 HAS SOPS 599838 HAS SOUS 109576 HAS SOUPS 46094 WITH SCORE 47257.735
AT ITER 1275 NEW BEST:: SOT 1419059 SOS 1163404 HAS SOPS 599752 HAS SOUS 109484 HAS SOUPS 46051 WITH SCORE 47214.404
AT ITER 1310 NEW BEST:: SOT 1419015 SOS 1163820 HAS SOPS 599988 HAS SOUS 109458 HAS SOUPS 46025 WITH SCORE 47188.82
AT ITER 1320 NEW BEST:: SOT 1419015 SOS 1163360 HAS SOPS 600128 HAS SOUS 109338 HAS SOUPS 46025 WITH SCORE 47188.36
AT ITER 1337 NEW BEST:: SOT 1418970 SOS 1162990 HAS SOPS 600038 HAS SOUS 109181 HAS SOUPS 45924 WITH SCORE 47086.99
AT ITER 1341 NEW BEST:: SOT 1418658 SOS 1162285 HAS SOPS 599333 HAS SOUS 109042 HAS SOUPS 45785 WITH SCORE 46947.285
AT ITER 1343 NEW BEST:: SOT 1418650 SOS 1162269 HAS SOPS 599292 HAS SOUS 109039 HAS SOUPS 45777 WITH SCORE 46939.269
AT ITER 1348 NEW BEST:: SOT 1418600 SOS 1160359 HAS SOPS 600743 HAS SOUS 109013 HAS SOUPS 45751 WITH SCORE 46911.359
AT ITER 1352 NEW BEST:: SOT 1418625 SOS 1158834 HAS SOPS 599868 HAS SOUS 108946 HAS SOUPS 45684 WITH SCORE 46842.834
AT ITER 1356 NEW BEST:: SOT 1418603 SOS 1158790 HAS SOPS 599824 HAS SOUS 108924 HAS SOUPS 45662 WITH SCORE 46820.79
AT ITER 1399 NEW BEST:: SOT 1418415 SOS 1158662 HAS SOPS 599696 HAS SOUS 108909 HAS SOUPS 45647 WITH SCORE 46805.662
AT ITER 1431 NEW BEST:: SOT 1418227 SOS 1157722 HAS SOPS 599696 HAS SOUS 108510 HAS SOUPS 45436 WITH SCORE 46593.722
AT ITER 1456 NEW BEST:: SOT 1417963 SOS 1155148 HAS SOPS 599366 HAS SOUS 108348 HAS SOUPS 45340 WITH SCORE 46495.148
AT ITER 1459 NEW BEST:: SOT 1417963 SOS 1155075 HAS SOPS 599293 HAS SOUS 108328 HAS SOUPS 45320 WITH SCORE 46475.075
AT ITER 1467 NEW BEST:: SOT 1417963 SOS 1155075 HAS SOPS 599293 HAS SOUS 108320 HAS SOUPS 45312 WITH SCORE 46467.075
AT ITER 1479 NEW BEST:: SOT 1418017 SOS 1154211 HAS SOPS 599347 HAS SOUS 108293 HAS SOUPS 45312 WITH SCORE 46466.211
AT ITER 1509 NEW BEST:: SOT 1418057 SOS 1154251 HAS SOPS 599387 HAS SOUS 108213 HAS SOUPS 45232 WITH SCORE 46386.251
AT ITER 1510 NEW BEST:: SOT 1418088 SOS 1152737 HAS SOPS 598655 HAS SOUS 108184 HAS SOUPS 45226 WITH SCORE 46378.737
AT ITER 1549 NEW BEST:: SOT 1418081 SOS 1152281 HAS SOPS 598471 HAS SOUS 108171 HAS SOUPS 45221 WITH SCORE 46373.281
AT ITER 1555 NEW BEST:: SOT 1418067 SOS 1152239 HAS SOPS 598464 HAS SOUS 108150 HAS SOUPS 45207 WITH SCORE 46359.239
AT ITER 1575 NEW BEST:: SOT 1418827 SOS 1148365 HAS SOPS 597260 HAS SOUS 107974 HAS SOUPS 45209 WITH SCORE 46357.365
AT ITER 1582 NEW BEST:: SOT 1418824 SOS 1134533 HAS SOPS 586114 HAS SOUS 107884 HAS SOUPS 45198 WITH SCORE 46332.533
AT ITER 1589 NEW BEST:: SOT 1418824 SOS 1134533 HAS SOPS 586114 HAS SOUS 107878 HAS SOUPS 45192 WITH SCORE 46326.533
AT ITER 1592 NEW BEST:: SOT 1418778 SOS 1134441 HAS SOPS 586022 HAS SOUS 107832 HAS SOUPS 45146 WITH SCORE 46280.441
AT ITER 1595 NEW BEST:: SOT 1418414 SOS 1133978 HAS SOPS 585559 HAS SOUS 107755 HAS SOUPS 45069 WITH SCORE 46202.978
AT ITER 1640 NEW BEST:: SOT 1418414 SOS 1133978 HAS SOPS 585559 HAS SOUS 107749 HAS SOUPS 45063 WITH SCORE 46196.978
AT ITER 1648 NEW BEST:: SOT 1418371 SOS 1134303 HAS SOPS 585629 HAS SOUS 107751 HAS SOUPS 45048 WITH SCORE 46182.303
AT ITER 1653 NEW BEST:: SOT 1418315 SOS 1135031 HAS SOPS 585405 HAS SOUS 107695 HAS SOUPS 44964 WITH SCORE 46099.031
AT ITER 1663 NEW BEST:: SOT 1418315 SOS 1135031 HAS SOPS 585405 HAS SOUS 107693 HAS SOUPS 44962 WITH SCORE 46097.031
AT ITER 1671 NEW BEST:: SOT 1418321 SOS 1135395 HAS SOPS 585389 HAS SOUS 107721 HAS SOUPS 44914 WITH SCORE 46049.395
AT ITER 1672 NEW BEST:: SOT 1418321 SOS 1135395 HAS SOPS 585389 HAS SOUS 107677 HAS SOUPS 44870 WITH SCORE 46005.395
AT ITER 1673 NEW BEST:: SOT 1418193 SOS 1135198 HAS SOPS 585330 HAS SOUS 107549 HAS SOUPS 44811 WITH SCORE 45946.198
AT ITER 1675 NEW BEST:: SOT 1417968 SOS 1134784 HAS SOPS 584055 HAS SOUS 107603 HAS SOUPS 44810 WITH SCORE 45944.784
AT ITER 1677 NEW BEST:: SOT 1417878 SOS 1134484 HAS SOPS 583905 HAS SOUS 107538 HAS SOUPS 44775 WITH SCORE 45909.484
AT ITER 1678 NEW BEST:: SOT 1417850 SOS 1134428 HAS SOPS 583849 HAS SOUS 107531 HAS SOUPS 44768 WITH SCORE 45902.428
AT ITER 1681 NEW BEST:: SOT 1417850 SOS 1134428 HAS SOPS 583849 HAS SOUS 107515 HAS SOUPS 44752 WITH SCORE 45886.428
AT ITER 1688 NEW BEST:: SOT 1416428 SOS 1132291 HAS SOPS 582854 HAS SOUS 107458 HAS SOUPS 44708 WITH SCORE 45840.291
AT ITER 1700 NEW BEST:: SOT 1416304 SOS 1132118 HAS SOPS 582251 HAS SOUS 107420 HAS SOUPS 44584 WITH SCORE 45716.118
AT ITER 1712 NEW BEST:: SOT 1416211 SOS 1131932 HAS SOPS 582065 HAS SOUS 107380 HAS SOUPS 44544 WITH SCORE 45675.932
AT ITER 1714 NEW BEST:: SOT 1416183 SOS 1131869 HAS SOPS 582037 HAS SOUS 107366 HAS SOUPS 44537 WITH SCORE 45668.869
AT ITER 1735 NEW BEST:: SOT 1416115 SOS 1131631 HAS SOPS 581799 HAS SOUS 107292 HAS SOUPS 44463 WITH SCORE 45594.631
AT ITER 1787 NEW BEST:: SOT 1416162 SOS 1131095 HAS SOPS 581908 HAS SOUS 107141 HAS SOUPS 44441 WITH SCORE 45572.095
AT ITER 1796 NEW BEST:: SOT 1415585 SOS 1130287 HAS SOPS 581376 HAS SOUS 107126 HAS SOUPS 44426 WITH SCORE 45556.287
AT ITER 1820 NEW BEST:: SOT 1415543 SOS 1130203 HAS SOPS 581292 HAS SOUS 107084 HAS SOUPS 44384 WITH SCORE 45514.203
AT ITER 1835 NEW BEST:: SOT 1415543 SOS 1130203 HAS SOPS 581292 HAS SOUS 107068 HAS SOUPS 44368 WITH SCORE 45498.203
AT ITER 1857 NEW BEST:: SOT 1415421 SOS 1130067 HAS SOPS 581156 HAS SOUS 107040 HAS SOUPS 44340 WITH SCORE 45470.067
AT ITER 1858 NEW BEST:: SOT 1415361 SOS 1129292 HAS SOPS 581036 HAS SOUS 106884 HAS SOUPS 44315 WITH SCORE 45444.292
AT ITER 1867 NEW BEST:: SOT 1415263 SOS 1127784 HAS SOPS 580840 HAS SOUS 106811 HAS SOUPS 44283 WITH SCORE 45410.784
AT ITER 1872 NEW BEST:: SOT 1415263 SOS 1127784 HAS SOPS 580840 HAS SOUS 106783 HAS SOUPS 44255 WITH SCORE 45382.784
AT ITER 1876 NEW BEST:: SOT 1414941 SOS 1132583 HAS SOPS 582549 HAS SOUS 106910 HAS SOUPS 44176 WITH SCORE 45308.583
AT ITER 1877 NEW BEST:: SOT 1414902 SOS 1132456 HAS SOPS 582422 HAS SOUS 106871 HAS SOUPS 44137 WITH SCORE 45269.456
AT ITER 1879 NEW BEST:: SOT 1414962 SOS 1132541 HAS SOPS 582452 HAS SOUS 106871 HAS SOUPS 44132 WITH SCORE 45264.541
AT ITER 1900 NEW BEST:: SOT 1414910 SOS 1132437 HAS SOPS 582348 HAS SOUS 106793 HAS SOUPS 44054 WITH SCORE 45186.437
AT ITER 1912 NEW BEST:: SOT 1414892 SOS 1132796 HAS SOPS 582312 HAS SOUS 106854 HAS SOUPS 44036 WITH SCORE 45168.796
AT ITER 1944 NEW BEST:: SOT 1414892 SOS 1132796 HAS SOPS 582312 HAS SOUS 106848 HAS SOUPS 44030 WITH SCORE 45162.796
AT ITER 1947 NEW BEST:: SOT 1414799 SOS 1133084 HAS SOPS 582600 HAS SOUS 106768 HAS SOUPS 43950 WITH SCORE 45083.084
AT ITER 1959 NEW BEST:: SOT 1414837 SOS 1131312 HAS SOPS 581488 HAS SOUS 106730 HAS SOUPS 43912 WITH SCORE 45043.312
AT ITER 1970 NEW BEST:: SOT 1412306 SOS 1127855 HAS SOPS 579758 HAS SOUS 106635 HAS SOUPS 43881 WITH SCORE 45008.855
AT ITER 1983 NEW BEST:: SOT 1412061 SOS 1128643 HAS SOPS 579836 HAS SOUS 106553 HAS SOUPS 43799 WITH SCORE 44927.643
AT ITER 2039 NEW BEST:: SOT 1412050 SOS 1128206 HAS SOPS 579814 HAS SOUS 106388 HAS SOUPS 43717 WITH SCORE 44845.206
AT ITER 2076 NEW BEST:: SOT 1412068 SOS 1128062 HAS SOPS 579850 HAS SOUS 106316 HAS SOUPS 43681 WITH SCORE 44809.062
AT ITER 2080 NEW BEST:: SOT 1412084 SOS 1127366 HAS SOPS 579414 HAS SOUS 106306 HAS SOUPS 43671 WITH SCORE 44798.366
AT ITER 2104 NEW BEST:: SOT 1412076 SOS 1127390 HAS SOPS 579198 HAS SOUS 106298 HAS SOUPS 43623 WITH SCORE 44750.39
AT ITER 2117 NEW BEST:: SOT 1412041 SOS 1127309 HAS SOPS 579117 HAS SOUS 106281 HAS SOUPS 43606 WITH SCORE 44733.309
AT ITER 2126 NEW BEST:: SOT 1413478 SOS 1127801 HAS SOPS 580657 HAS SOUS 106129 HAS SOUPS 43511 WITH SCORE 44638.801
AT ITER 2143 NEW BEST:: SOT 1413464 SOS 1127381 HAS SOPS 580167 HAS SOUS 106138 HAS SOUPS 43506 WITH SCORE 44633.381
AT ITER 2148 NEW BEST:: SOT 1413458 SOS 1127387 HAS SOPS 580158 HAS SOUS 106136 HAS SOUPS 43503 WITH SCORE 44630.387
AT ITER 2164 NEW BEST:: SOT 1413458 SOS 1127387 HAS SOPS 580158 HAS SOUS 106102 HAS SOUPS 43469 WITH SCORE 44596.387
AT ITER 2167 NEW BEST:: SOT 1413458 SOS 1127387 HAS SOPS 580158 HAS SOUS 106096 HAS SOUPS 43463 WITH SCORE 44590.387
AT ITER 2169 NEW BEST:: SOT 1413192 SOS 1126763 HAS SOPS 579810 HAS SOUS 106024 HAS SOUPS 43405 WITH SCORE 44531.763
AT ITER 2171 NEW BEST:: SOT 1412987 SOS 1126310 HAS SOPS 579572 HAS SOUS 105919 HAS SOUPS 43343 WITH SCORE 44469.31
AT ITER 2175 NEW BEST:: SOT 1412983 SOS 1126302 HAS SOPS 579564 HAS SOUS 105915 HAS SOUPS 43339 WITH SCORE 44465.302
AT ITER 2192 NEW BEST:: SOT 1413006 SOS 1124892 HAS SOPS 578732 HAS SOUS 105915 HAS SOUPS 43339 WITH SCORE 44463.892
AT ITER 2206 NEW BEST:: SOT 1413232 SOS 1125364 HAS SOPS 578818 HAS SOUS 105931 HAS SOUPS 43285 WITH SCORE 44410.364
AT ITER 2241 NEW BEST:: SOT 1413296 SOS 1125538 HAS SOPS 578762 HAS SOUS 105917 HAS SOUPS 43225 WITH SCORE 44350.538
AT ITER 2250 NEW BEST:: SOT 1413218 SOS 1125117 HAS SOPS 578606 HAS SOUS 105786 HAS SOUPS 43147 WITH SCORE 44272.117
AT ITER 2259 NEW BEST:: SOT 1413046 SOS 1124945 HAS SOPS 578434 HAS SOUS 105786 HAS SOUPS 43147 WITH SCORE 44271.945
AT ITER 2318 NEW BEST:: SOT 1413096 SOS 1117945 HAS SOPS 573134 HAS SOUS 105686 HAS SOUPS 43097 WITH SCORE 44214.945
AT ITER 2324 NEW BEST:: SOT 1413068 SOS 1117917 HAS SOPS 573106 HAS SOUS 105670 HAS SOUPS 43081 WITH SCORE 44198.917
AT ITER 2329 NEW BEST:: SOT 1412950 SOS 1117754 HAS SOPS 572943 HAS SOUS 105618 HAS SOUPS 43029 WITH SCORE 44146.754
AT ITER 2354 NEW BEST:: SOT 1413070 SOS 1117724 HAS SOPS 573310 HAS SOUS 105489 HAS SOUPS 43017 WITH SCORE 44134.724
AT ITER 2357 NEW BEST:: SOT 1413062 SOS 1117886 HAS SOPS 573292 HAS SOUS 105496 HAS SOUPS 42988 WITH SCORE 44105.886
AT ITER 2370 NEW BEST:: SOT 1413062 SOS 1117886 HAS SOPS 573292 HAS SOUS 105468 HAS SOUPS 42960 WITH SCORE 44077.886
AT ITER 2386 NEW BEST:: SOT 1413062 SOS 1117886 HAS SOPS 573292 HAS SOUS 105430 HAS SOUPS 42922 WITH SCORE 44039.886
AT ITER 2425 NEW BEST:: SOT 1413047 SOS 1118662 HAS SOPS 573184 HAS SOUS 105398 HAS SOUPS 42864 WITH SCORE 43982.662
AT ITER 2428 NEW BEST:: SOT 1412925 SOS 1118148 HAS SOPS 573120 HAS SOUS 105186 HAS SOUPS 42742 WITH SCORE 43860.148
AT ITER 2435 NEW BEST:: SOT 1412877 SOS 1118165 HAS SOPS 573110 HAS SOUS 105160 HAS SOUPS 42716 WITH SCORE 43834.165
AT ITER 2443 NEW BEST:: SOT 1412810 SOS 1118064 HAS SOPS 573009 HAS SOUS 105148 HAS SOUPS 42704 WITH SCORE 43822.064
AT ITER 2463 NEW BEST:: SOT 1412756 SOS 1117956 HAS SOPS 572901 HAS SOUS 105094 HAS SOUPS 42650 WITH SCORE 43767.956
AT ITER 2466 NEW BEST:: SOT 1412518 SOS 1117607 HAS SOPS 572774 HAS SOUS 104858 HAS SOUPS 42525 WITH SCORE 43642.607
AT ITER 2575 NEW BEST:: SOT 1412391 SOS 1117353 HAS SOPS 572520 HAS SOUS 104731 HAS SOUPS 42398 WITH SCORE 43515.353
AT ITER 2597 NEW BEST:: SOT 1412309 SOS 1110739 HAS SOPS 566839 HAS SOUS 104737 HAS SOUPS 42404 WITH SCORE 43514.739
AT ITER 2613 NEW BEST:: SOT 1412309 SOS 1110739 HAS SOPS 566839 HAS SOUS 104707 HAS SOUPS 42374 WITH SCORE 43484.739
AT ITER 2651 NEW BEST:: SOT 1412308 SOS 1110497 HAS SOPS 566869 HAS SOUS 104697 HAS SOUPS 42372 WITH SCORE 43482.497
AT ITER 2701 NEW BEST:: SOT 1412256 SOS 1110379 HAS SOPS 566821 HAS SOUS 104673 HAS SOUPS 42362 WITH SCORE 43472.379
AT ITER 2703 NEW BEST:: SOT 1411822 SOS 1109416 HAS SOPS 566333 HAS SOUS 104429 HAS SOUPS 42213 WITH SCORE 43322.416
AT ITER 2739 NEW BEST:: SOT 1411809 SOS 1109390 HAS SOPS 566307 HAS SOUS 104407 HAS SOUPS 42191 WITH SCORE 43300.39
AT ITER 2744 NEW BEST:: SOT 1411843 SOS 1108146 HAS SOPS 565783 HAS SOUS 104345 HAS SOUPS 42177 WITH SCORE 43285.146
AT ITER 2772 NEW BEST:: SOT 1411914 SOS 1108207 HAS SOPS 565844 HAS SOUS 104332 HAS SOUPS 42164 WITH SCORE 43272.207
AT ITER 2819 NEW BEST:: SOT 1411594 SOS 1107441 HAS SOPS 565708 HAS SOUS 104154 HAS SOUPS 42112 WITH SCORE 43219.441
AT ITER 2823 NEW BEST:: SOT 1411447 SOS 1109111 HAS SOPS 566283 HAS SOUS 104137 HAS SOUPS 42022 WITH SCORE 43131.111
AT ITER 2855 NEW BEST:: SOT 1411445 SOS 1109109 HAS SOPS 566281 HAS SOUS 104135 HAS SOUPS 42020 WITH SCORE 43129.109
AT ITER 2860 NEW BEST:: SOT 1411444 SOS 1109107 HAS SOPS 566279 HAS SOUS 104122 HAS SOUPS 42007 WITH SCORE 43116.107
AT ITER 2886 NEW BEST:: SOT 1409123 SOS 1106587 HAS SOPS 564875 HAS SOUS 104113 HAS SOUPS 41998 WITH SCORE 43104.587
AT ITER 2897 NEW BEST:: SOT 1409039 SOS 1106539 HAS SOPS 564827 HAS SOUS 104056 HAS SOUPS 41941 WITH SCORE 43047.539
AT ITER 2916 NEW BEST:: SOT 1408903 SOS 1105812 HAS SOPS 564555 HAS SOUS 103829 HAS SOUPS 41805 WITH SCORE 42910.812
AT ITER 2941 NEW BEST:: SOT 1408903 SOS 1105812 HAS SOPS 564360 HAS SOUS 103790 HAS SOUPS 41727 WITH SCORE 42832.812
AT ITER 2966 NEW BEST:: SOT 1408903 SOS 1105777 HAS SOPS 564325 HAS SOUS 103772 HAS SOUPS 41709 WITH SCORE 42814.777
AT ITER 2974 NEW BEST:: SOT 1408903 SOS 1105777 HAS SOPS 564325 HAS SOUS 103762 HAS SOUPS 41699 WITH SCORE 42804.777
AT ITER 3010 NEW BEST:: SOT 1408933 SOS 1105901 HAS SOPS 564369 HAS SOUS 103776 HAS SOUPS 41697 WITH SCORE 42802.901
AT ITER 3071 NEW BEST:: SOT 1408843 SOS 1105832 HAS SOPS 563745 HAS SOUS 103744 HAS SOUPS 41554 WITH SCORE 42659.832
AT ITER 3073 NEW BEST:: SOT 1408811 SOS 1106023 HAS SOPS 563681 HAS SOUS 103711 HAS SOUPS 41470 WITH SCORE 42576.023
AT ITER 3077 NEW BEST:: SOT 1408780 SOS 1105915 HAS SOPS 563586 HAS SOUS 103678 HAS SOUPS 41437 WITH SCORE 42542.915
AT ITER 3099 NEW BEST:: SOT 1408784 SOS 1105905 HAS SOPS 563586 HAS SOUS 103677 HAS SOUPS 41436 WITH SCORE 42541.905
AT ITER 3106 NEW BEST:: SOT 1408780 SOS 1105901 HAS SOPS 563586 HAS SOUS 103660 HAS SOUPS 41423 WITH SCORE 42528.901
AT ITER 3154 NEW BEST:: SOT 1408732 SOS 1106173 HAS SOPS 563698 HAS SOUS 103628 HAS SOUPS 41391 WITH SCORE 42497.173
AT ITER 3186 NEW BEST:: SOT 1408643 SOS 1106483 HAS SOPS 563588 HAS SOUS 103653 HAS SOUPS 41388 WITH SCORE 42494.483
AT ITER 3242 NEW BEST:: SOT 1408536 SOS 1106665 HAS SOPS 563600 HAS SOUS 103614 HAS SOUPS 41349 WITH SCORE 42455.665
AT ITER 3269 NEW BEST:: SOT 1408536 SOS 1106665 HAS SOPS 563600 HAS SOUS 103612 HAS SOUPS 41347 WITH SCORE 42453.665
AT ITER 3288 NEW BEST:: SOT 1408499 SOS 1106111 HAS SOPS 563561 HAS SOUS 103444 HAS SOUPS 41282 WITH SCORE 42388.111
AT ITER 3294 NEW BEST:: SOT 1406236 SOS 1102715 HAS SOPS 561981 HAS SOUS 103379 HAS SOUPS 41243 WITH SCORE 42345.715
AT ITER 3313 NEW BEST:: SOT 1406236 SOS 1102715 HAS SOPS 561981 HAS SOUS 103373 HAS SOUPS 41237 WITH SCORE 42339.715
AT ITER 3322 NEW BEST:: SOT 1406236 SOS 1102715 HAS SOPS 561981 HAS SOUS 103363 HAS SOUPS 41227 WITH SCORE 42329.715
AT ITER 3350 NEW BEST:: SOT 1406232 SOS 1102707 HAS SOPS 561973 HAS SOUS 103258 HAS SOUPS 41122 WITH SCORE 42224.707
AT ITER 3361 NEW BEST:: SOT 1406216 SOS 1102655 HAS SOPS 561966 HAS SOUS 103233 HAS SOUPS 41106 WITH SCORE 42208.655
AT ITER 3391 NEW BEST:: SOT 1406112 SOS 1102447 HAS SOPS 561758 HAS SOUS 103129 HAS SOUPS 41002 WITH SCORE 42104.447
AT ITER 3400 NEW BEST:: SOT 1405812 SOS 1105009 HAS SOPS 561566 HAS SOUS 102927 HAS SOUPS 40902 WITH SCORE 42007.009
AT ITER 3405 NEW BEST:: SOT 1406052 SOS 1105349 HAS SOPS 561686 HAS SOUS 102907 HAS SOUPS 40862 WITH SCORE 41967.349
AT ITER 3419 NEW BEST:: SOT 1406060 SOS 1103295 HAS SOPS 561633 HAS SOUS 102878 HAS SOUPS 40833 WITH SCORE 41936.295
AT ITER 3421 NEW BEST:: SOT 1406144 SOS 1103379 HAS SOPS 561675 HAS SOUS 102871 HAS SOUPS 40826 WITH SCORE 41929.379
AT ITER 3429 NEW BEST:: SOT 1406111 SOS 1103339 HAS SOPS 561635 HAS SOUS 102870 HAS SOUPS 40825 WITH SCORE 41928.339
AT ITER 3446 NEW BEST:: SOT 1406109 SOS 1103320 HAS SOPS 562236 HAS SOUS 102744 HAS SOUPS 40823 WITH SCORE 41926.32
AT ITER 3472 NEW BEST:: SOT 1406089 SOS 1104304 HAS SOPS 562740 HAS SOUS 102763 HAS SOUPS 40810 WITH SCORE 41914.304000000004
AT ITER 3473 NEW BEST:: SOT 1405939 SOS 1107073 HAS SOPS 563829 HAS SOUS 102777 HAS SOUPS 40712 WITH SCORE 41819.073
AT ITER 3503 NEW BEST:: SOT 1405913 SOS 1107111 HAS SOPS 563777 HAS SOUS 102763 HAS SOUPS 40680 WITH SCORE 41787.111
AT ITER 3539 NEW BEST:: SOT 1405907 SOS 1107064 HAS SOPS 563730 HAS SOUS 102757 HAS SOUPS 40674 WITH SCORE 41781.064
AT ITER 3554 NEW BEST:: SOT 1405907 SOS 1107064 HAS SOPS 563730 HAS SOUS 102727 HAS SOUPS 40644 WITH SCORE 41751.064
AT ITER 3561 NEW BEST:: SOT 1405896 SOS 1107042 HAS SOPS 563708 HAS SOUS 102723 HAS SOUPS 40640 WITH SCORE 41747.042
AT ITER 3573 NEW BEST:: SOT 1405755 SOS 1106760 HAS SOPS 563426 HAS SOUS 102579 HAS SOUPS 40496 WITH SCORE 41602.76
AT ITER 3583 NEW BEST:: SOT 1405670 SOS 1105039 HAS SOPS 561705 HAS SOUS 102476 HAS SOUPS 40393 WITH SCORE 41498.039
AT ITER 3588 NEW BEST:: SOT 1405308 SOS 1104511 HAS SOPS 561485 HAS SOUS 102446 HAS SOUPS 40391 WITH SCORE 41495.511
AT ITER 3597 NEW BEST:: SOT 1405304 SOS 1104501 HAS SOPS 561475 HAS SOUS 102446 HAS SOUPS 40391 WITH SCORE 41495.501
AT ITER 3622 NEW BEST:: SOT 1405304 SOS 1104501 HAS SOPS 561475 HAS SOUS 102442 HAS SOUPS 40387 WITH SCORE 41491.501
AT ITER 3655 NEW BEST:: SOT 1405290 SOS 1102793 HAS SOPS 559767 HAS SOUS 102428 HAS SOUPS 40373 WITH SCORE 41475.793
AT ITER 3666 NEW BEST:: SOT 1405282 SOS 1102777 HAS SOPS 559751 HAS SOUS 102378 HAS SOUPS 40323 WITH SCORE 41425.777
AT ITER 3711 NEW BEST:: SOT 1405256 SOS 1102749 HAS SOPS 559735 HAS SOUS 102378 HAS SOUPS 40323 WITH SCORE 41425.749
AT ITER 3725 NEW BEST:: SOT 1405254 SOS 1102745 HAS SOPS 559731 HAS SOUS 102376 HAS SOUPS 40321 WITH SCORE 41423.745
AT ITER 3728 NEW BEST:: SOT 1405282 SOS 1099109 HAS SOPS 556675 HAS SOUS 102379 HAS SOUPS 40324 WITH SCORE 41423.109
AT ITER 3729 NEW BEST:: SOT 1405246 SOS 1099190 HAS SOPS 556696 HAS SOUS 102367 HAS SOUPS 40312 WITH SCORE 41411.19
AT ITER 3777 NEW BEST:: SOT 1404960 SOS 1098772 HAS SOPS 556520 HAS SOUS 102323 HAS SOUPS 40290 WITH SCORE 41388.772
AT ITER 3824 NEW BEST:: SOT 1404800 SOS 1098452 HAS SOPS 556200 HAS SOUS 102237 HAS SOUPS 40204 WITH SCORE 41302.452
AT ITER 3840 NEW BEST:: SOT 1404772 SOS 1097444 HAS SOPS 556144 HAS SOUS 102209 HAS SOUPS 40204 WITH SCORE 41301.444
AT ITER 3842 NEW BEST:: SOT 1404772 SOS 1097444 HAS SOPS 556134 HAS SOUS 102207 HAS SOUPS 40200 WITH SCORE 41297.444
AT ITER 3883 NEW BEST:: SOT 1404748 SOS 1097816 HAS SOPS 556086 HAS SOUS 102228 HAS SOUPS 40137 WITH SCORE 41234.816
AT ITER 3950 NEW BEST:: SOT 1404748 SOS 1097816 HAS SOPS 556086 HAS SOUS 102196 HAS SOUPS 40105 WITH SCORE 41202.816
AT ITER 3955 NEW BEST:: SOT 1404836 SOS 1099542 HAS SOPS 556112 HAS SOUS 102234 HAS SOUPS 40093 WITH SCORE 41192.542
AT ITER 3958 NEW BEST:: SOT 1405068 SOS 1098261 HAS SOPS 555481 HAS SOUS 102234 HAS SOUPS 40093 WITH SCORE 41191.261
AT ITER 3985 NEW BEST:: SOT 1405103 SOS 1098290 HAS SOPS 555526 HAS SOUS 102169 HAS SOUPS 40042 WITH SCORE 41140.29
AT ITER 3988 NEW BEST:: SOT 1405103 SOS 1098290 HAS SOPS 555526 HAS SOUS 102145 HAS SOUPS 40018 WITH SCORE 41116.29
AT ITER 4019 NEW BEST:: SOT 1405106 SOS 1101075 HAS SOPS 556883 HAS SOUS 102163 HAS SOUPS 39994 WITH SCORE 41095.075
AT ITER 4048 NEW BEST:: SOT 1405090 SOS 1101043 HAS SOPS 556851 HAS SOUS 102147 HAS SOUPS 39978 WITH SCORE 41079.043
AT ITER 4079 NEW BEST:: SOT 1405125 SOS 1100744 HAS SOPS 556747 HAS SOUS 102132 HAS SOUPS 39976 WITH SCORE 41076.744
AT ITER 4086 NEW BEST:: SOT 1405128 SOS 1100345 HAS SOPS 556803 HAS SOUS 101993 HAS SOUPS 39928 WITH SCORE 41028.345
AT ITER 4104 NEW BEST:: SOT 1405093 SOS 1100275 HAS SOPS 556763 HAS SOUS 101968 HAS SOUPS 39903 WITH SCORE 41003.275
AT ITER 4150 NEW BEST:: SOT 1405093 SOS 1100275 HAS SOPS 556763 HAS SOUS 101962 HAS SOUPS 39897 WITH SCORE 40997.275
AT ITER 4174 NEW BEST:: SOT 1405093 SOS 1100275 HAS SOPS 556763 HAS SOUS 101902 HAS SOUPS 39837 WITH SCORE 40937.275
AT ITER 4195 NEW BEST:: SOT 1405071 SOS 1100181 HAS SOPS 556669 HAS SOUS 101869 HAS SOUPS 39804 WITH SCORE 40904.181
AT ITER 4212 NEW BEST:: SOT 1405071 SOS 1100181 HAS SOPS 556669 HAS SOUS 101859 HAS SOUPS 39794 WITH SCORE 40894.181
AT ITER 4217 NEW BEST:: SOT 1405065 SOS 1099239 HAS SOPS 556626 HAS SOUS 101816 HAS SOUPS 39751 WITH SCORE 40850.239
AT ITER 4222 NEW BEST:: SOT 1406104 SOS 1100228 HAS SOPS 557057 HAS SOUS 101496 HAS SOUPS 39485 WITH SCORE 40585.228
AT ITER 4233 NEW BEST:: SOT 1406080 SOS 1100172 HAS SOPS 557041 HAS SOUS 101480 HAS SOUPS 39477 WITH SCORE 40577.172
AT ITER 4356 NEW BEST:: SOT 1406126 SOS 1098170 HAS SOPS 556209 HAS SOUS 101370 HAS SOUPS 39445 WITH SCORE 40543.17
AT ITER 4369 NEW BEST:: SOT 1406150 SOS 1098146 HAS SOPS 556185 HAS SOUS 101346 HAS SOUPS 39421 WITH SCORE 40519.146
AT ITER 4377 NEW BEST:: SOT 1406072 SOS 1098030 HAS SOPS 556069 HAS SOUS 101236 HAS SOUPS 39311 WITH SCORE 40409.03
AT ITER 4380 NEW BEST:: SOT 1406163 SOS 1092088 HAS SOPS 549367 HAS SOUS 101318 HAS SOUPS 39241 WITH SCORE 40333.088
AT ITER 4393 NEW BEST:: SOT 1406163 SOS 1092088 HAS SOPS 549367 HAS SOUS 101314 HAS SOUPS 39237 WITH SCORE 40329.088
AT ITER 4404 NEW BEST:: SOT 1406091 SOS 1093864 HAS SOPS 549287 HAS SOUS 101284 HAS SOUPS 39207 WITH SCORE 40300.864
AT ITER 4457 NEW BEST:: SOT 1406047 SOS 1093901 HAS SOPS 549324 HAS SOUS 101240 HAS SOUPS 39163 WITH SCORE 40256.901
AT ITER 4499 NEW BEST:: SOT 1405955 SOS 1095143 HAS SOPS 549002 HAS SOUS 101240 HAS SOUPS 39117 WITH SCORE 40212.143
AT ITER 4524 NEW BEST:: SOT 1405955 SOS 1095082 HAS SOPS 549246 HAS SOUS 101179 HAS SOUPS 39117 WITH SCORE 40212.082
AT ITER 4540 NEW BEST:: SOT 1405968 SOS 1094436 HAS SOPS 548960 HAS SOUS 101144 HAS SOUPS 39106 WITH SCORE 40200.436
AT ITER 4556 NEW BEST:: SOT 1405975 SOS 1094450 HAS SOPS 548956 HAS SOUS 101136 HAS SOUPS 39098 WITH SCORE 40192.45
AT ITER 4569 NEW BEST:: SOT 1405958 SOS 1094413 HAS SOPS 548912 HAS SOUS 101109 HAS SOUPS 39071 WITH SCORE 40165.413
AT ITER 4637 NEW BEST:: SOT 1405870 SOS 1094186 HAS SOPS 548685 HAS SOUS 101071 HAS SOUPS 39033 WITH SCORE 40127.186
AT ITER 4680 NEW BEST:: SOT 1405830 SOS 1093986 HAS SOPS 548685 HAS SOUS 101031 HAS SOUPS 39033 WITH SCORE 40126.986
AT ITER 4711 NEW BEST:: SOT 1404218 SOS 1091966 HAS SOPS 547571 HAS SOUS 101018 HAS SOUPS 39020 WITH SCORE 40111.966
AT ITER 4724 NEW BEST:: SOT 1404235 SOS 1091915 HAS SOPS 547571 HAS SOUS 101001 HAS SOUPS 39020 WITH SCORE 40111.915
AT ITER 4758 NEW BEST:: SOT 1404231 SOS 1091927 HAS SOPS 547563 HAS SOUS 101001 HAS SOUPS 39016 WITH SCORE 40107.927
AT ITER 4794 NEW BEST:: SOT 1404231 SOS 1091927 HAS SOPS 547563 HAS SOUS 100981 HAS SOUPS 38996 WITH SCORE 40087.927
AT ITER 4799 NEW BEST:: SOT 1404231 SOS 1091927 HAS SOPS 547563 HAS SOUS 100945 HAS SOUPS 38960 WITH SCORE 40051.927
AT ITER 4834 NEW BEST:: SOT 1404230 SOS 1091926 HAS SOPS 547562 HAS SOUS 100944 HAS SOUPS 38959 WITH SCORE 40050.926
AT ITER 4943 NEW BEST:: SOT 1404224 SOS 1091074 HAS SOPS 547010 HAS SOUS 100908 HAS SOUPS 38923 WITH SCORE 40014.074
AT ITER 4960 NEW BEST:: SOT 1403988 SOS 1090533 HAS SOPS 546469 HAS SOUS 100855 HAS SOUPS 38870 WITH SCORE 39960.533
AT ITER 4961 NEW BEST:: SOT 1403980 SOS 1090452 HAS SOPS 546453 HAS SOUS 100839 HAS SOUPS 38867 WITH SCORE 39957.452
AT ITER 4978 NEW BEST:: SOT 1403984 SOS 1090404 HAS SOPS 546425 HAS SOUS 100839 HAS SOUPS 38867 WITH SCORE 39957.404
AT ITER 4989 NEW BEST:: SOT 1403984 SOS 1090404 HAS SOPS 546425 HAS SOUS 100815 HAS SOUPS 38843 WITH SCORE 39933.404
AT ITER 4994 NEW BEST:: SOT 1402775 SOS 1088767 HAS SOPS 545418 HAS SOUS 100760 HAS SOUPS 38788 WITH SCORE 39876.767
AT ITER 5032 NEW BEST:: SOT 1402794 SOS 1087589 HAS SOPS 544791 HAS SOUS 100760 HAS SOUPS 38788 WITH SCORE 39875.589
AT ITER 5072 NEW BEST:: SOT 1402738 SOS 1088432 HAS SOPS 545234 HAS SOUS 100744 HAS SOUPS 38772 WITH SCORE 39860.432
AT ITER 5083 NEW BEST:: SOT 1402714 SOS 1088384 HAS SOPS 545186 HAS SOUS 100718 HAS SOUPS 38746 WITH SCORE 39834.384
AT ITER 5154 NEW BEST:: SOT 1402714 SOS 1088384 HAS SOPS 545186 HAS SOUS 100682 HAS SOUPS 38742 WITH SCORE 39830.384
AT ITER 5207 NEW BEST:: SOT 1402597 SOS 1085107 HAS SOPS 543955 HAS SOUS 100600 HAS SOUPS 38660 WITH SCORE 39745.107
AT ITER 5229 NEW BEST:: SOT 1402597 SOS 1081257 HAS SOPS 542512 HAS SOUS 100495 HAS SOUPS 38555 WITH SCORE 39636.257
AT ITER 5273 NEW BEST:: SOT 1402566 SOS 1080065 HAS SOPS 542214 HAS SOUS 100456 HAS SOUPS 38542 WITH SCORE 39622.065
AT ITER 5284 NEW BEST:: SOT 1402556 SOS 1079800 HAS SOPS 542049 HAS SOUS 100421 HAS SOUPS 38507 WITH SCORE 39586.8
AT ITER 5336 NEW BEST:: SOT 1402545 SOS 1079783 HAS SOPS 542043 HAS SOUS 100420 HAS SOUPS 38507 WITH SCORE 39586.783
AT ITER 5340 NEW BEST:: SOT 1402591 SOS 1079715 HAS SOPS 542056 HAS SOUS 100392 HAS SOUPS 38501 WITH SCORE 39580.715
AT ITER 5357 NEW BEST:: SOT 1402590 SOS 1079708 HAS SOPS 542054 HAS SOUS 100388 HAS SOUPS 38498 WITH SCORE 39577.708
AT ITER 5360 NEW BEST:: SOT 1402563 SOS 1080134 HAS SOPS 542180 HAS SOUS 100407 HAS SOUPS 38497 WITH SCORE 39577.134
AT ITER 5387 NEW BEST:: SOT 1402585 SOS 1079592 HAS SOPS 541858 HAS SOUS 100407 HAS SOUPS 38497 WITH SCORE 39576.592
AT ITER 5425 NEW BEST:: SOT 1402629 SOS 1078990 HAS SOPS 541556 HAS SOUS 100386 HAS SOUPS 38476 WITH SCORE 39554.99
AT ITER 5449 NEW BEST:: SOT 1402629 SOS 1078990 HAS SOPS 541556 HAS SOUS 100382 HAS SOUPS 38472 WITH SCORE 39550.99
AT ITER 5454 NEW BEST:: SOT 1402628 SOS 1078955 HAS SOPS 541555 HAS SOUS 100380 HAS SOUPS 38471 WITH SCORE 39549.955
AT ITER 5480 NEW BEST:: SOT 1402664 SOS 1078991 HAS SOPS 541573 HAS SOUS 100377 HAS SOUPS 38468 WITH SCORE 39546.991
AT ITER 5523 NEW BEST:: SOT 1402649 SOS 1078606 HAS SOPS 541543 HAS SOUS 100303 HAS SOUPS 38465 WITH SCORE 39543.606
AT ITER 5528 NEW BEST:: SOT 1402645 SOS 1078568 HAS SOPS 541505 HAS SOUS 100220 HAS SOUPS 38382 WITH SCORE 39460.568
AT ITER 5533 NEW BEST:: SOT 1402571 SOS 1078380 HAS SOPS 541517 HAS SOUS 100178 HAS SOUPS 38380 WITH SCORE 39458.38
AT ITER 5535 NEW BEST:: SOT 1402581 SOS 1078032 HAS SOPS 541329 HAS SOUS 100160 HAS SOUPS 38362 WITH SCORE 39440.032
AT ITER 5610 NEW BEST:: SOT 1402571 SOS 1078012 HAS SOPS 541309 HAS SOUS 100145 HAS SOUPS 38347 WITH SCORE 39425.012
AT ITER 5643 NEW BEST:: SOT 1402421 SOS 1075202 HAS SOPS 539039 HAS SOUS 100133 HAS SOUPS 38339 WITH SCORE 39414.202
AT ITER 5685 NEW BEST:: SOT 1402437 SOS 1075242 HAS SOPS 539039 HAS SOUS 100139 HAS SOUPS 38337 WITH SCORE 39412.242
AT ITER 5746 NEW BEST:: SOT 1402429 SOS 1075226 HAS SOPS 539023 HAS SOUS 100111 HAS SOUPS 38309 WITH SCORE 39384.226
AT ITER 5757 NEW BEST:: SOT 1402429 SOS 1075226 HAS SOPS 539023 HAS SOUS 100067 HAS SOUPS 38265 WITH SCORE 39340.226
AT ITER 5765 NEW BEST:: SOT 1401429 SOS 1073336 HAS SOPS 537133 HAS SOUS 100032 HAS SOUPS 38130 WITH SCORE 39203.336
AT ITER 5779 NEW BEST:: SOT 1401396 SOS 1073578 HAS SOPS 537210 HAS SOUS 100021 HAS SOUPS 38108 WITH SCORE 39181.578
AT ITER 5872 NEW BEST:: SOT 1401397 SOS 1073579 HAS SOPS 537211 HAS SOUS 100018 HAS SOUPS 38105 WITH SCORE 39178.579
AT ITER 5903 NEW BEST:: SOT 1400762 SOS 1072817 HAS SOPS 536725 HAS SOUS 99902 HAS SOUPS 37989 WITH SCORE 39061.817
AT ITER 5915 NEW BEST:: SOT 1400762 SOS 1072817 HAS SOPS 536725 HAS SOUS 99870 HAS SOUPS 37957 WITH SCORE 39029.817
AT ITER 5960 NEW BEST:: SOT 1400762 SOS 1072817 HAS SOPS 536725 HAS SOUS 99852 HAS SOUPS 37939 WITH SCORE 39011.817
AT ITER 6038 NEW BEST:: SOT 1400673 SOS 1073114 HAS SOPS 536422 HAS SOUS 99811 HAS SOUPS 37778 WITH SCORE 38851.114
AT ITER 6048 NEW BEST:: SOT 1400659 SOS 1072931 HAS SOPS 536479 HAS SOUS 99728 HAS SOUPS 37743 WITH SCORE 38815.931
AT ITER 6056 NEW BEST:: SOT 1400659 SOS 1072931 HAS SOPS 536479 HAS SOUS 99692 HAS SOUPS 37707 WITH SCORE 38779.931
AT ITER 6112 NEW BEST:: SOT 1400675 SOS 1072615 HAS SOPS 536453 HAS SOUS 99592 HAS SOUPS 37665 WITH SCORE 38737.615
AT ITER 6124 NEW BEST:: SOT 1400675 SOS 1072605 HAS SOPS 536493 HAS SOUS 99582 HAS SOUPS 37665 WITH SCORE 38737.605
AT ITER 6150 NEW BEST:: SOT 1400415 SOS 1072256 HAS SOPS 536144 HAS SOUS 99525 HAS SOUPS 37608 WITH SCORE 38680.256
AT ITER 6163 NEW BEST:: SOT 1400415 SOS 1072256 HAS SOPS 536144 HAS SOUS 99521 HAS SOUPS 37604 WITH SCORE 38676.256
AT ITER 6165 NEW BEST:: SOT 1400421 SOS 1071916 HAS SOPS 536008 HAS SOUS 99511 HAS SOUPS 37600 WITH SCORE 38671.916
AT ITER 6242 NEW BEST:: SOT 1400417 SOS 1071910 HAS SOPS 535990 HAS SOUS 99503 HAS SOUPS 37590 WITH SCORE 38661.91
AT ITER 6251 NEW BEST:: SOT 1400453 SOS 1071403 HAS SOPS 535753 HAS SOUS 99485 HAS SOUPS 37590 WITH SCORE 38661.403
AT ITER 6267 NEW BEST:: SOT 1400451 SOS 1071409 HAS SOPS 535749 HAS SOUS 99483 HAS SOUPS 37586 WITH SCORE 38657.409
AT ITER 6273 NEW BEST:: SOT 1400547 SOS 1071505 HAS SOPS 535797 HAS SOUS 99475 HAS SOUPS 37578 WITH SCORE 38649.505
AT ITER 6276 NEW BEST:: SOT 1399959 SOS 1070658 HAS SOPS 535467 HAS SOUS 99421 HAS SOUPS 37571 WITH SCORE 38641.658
AT ITER 6289 NEW BEST:: SOT 1399959 SOS 1070658 HAS SOPS 535467 HAS SOUS 99433 HAS SOUPS 37567 WITH SCORE 38637.658
AT ITER 6346 NEW BEST:: SOT 1399959 SOS 1070658 HAS SOPS 535467 HAS SOUS 99415 HAS SOUPS 37549 WITH SCORE 38619.658
AT ITER 6376 NEW BEST:: SOT 1399938 SOS 1070152 HAS SOPS 534961 HAS SOUS 99405 HAS SOUPS 37539 WITH SCORE 38609.152
AT ITER 6385 NEW BEST:: SOT 1399938 SOS 1070087 HAS SOPS 534896 HAS SOUS 99380 HAS SOUPS 37514 WITH SCORE 38584.087
AT ITER 6420 NEW BEST:: SOT 1399956 SOS 1070325 HAS SOPS 534957 HAS SOUS 99302 HAS SOUPS 37426 WITH SCORE 38496.325
AT ITER 6453 NEW BEST:: SOT 1399909 SOS 1071440 HAS SOPS 534941 HAS SOUS 99294 HAS SOUPS 37418 WITH SCORE 38489.44
AT ITER 6573 NEW BEST:: SOT 1399883 SOS 1070492 HAS SOPS 534377 HAS SOUS 99248 HAS SOUPS 37382 WITH SCORE 38452.492
AT ITER 6588 NEW BEST:: SOT 1399883 SOS 1070492 HAS SOPS 534377 HAS SOUS 99246 HAS SOUPS 37380 WITH SCORE 38450.492
AT ITER 6602 NEW BEST:: SOT 1399868 SOS 1070477 HAS SOPS 534362 HAS SOUS 99231 HAS SOUPS 37365 WITH SCORE 38435.477
AT ITER 6603 NEW BEST:: SOT 1399899 SOS 1069806 HAS SOPS 534131 HAS SOUS 99188 HAS SOUPS 37344 WITH SCORE 38413.806
AT ITER 6637 NEW BEST:: SOT 1399865 SOS 1069687 HAS SOPS 534097 HAS SOUS 99154 HAS SOUPS 37327 WITH SCORE 38396.687
AT ITER 6652 NEW BEST:: SOT 1399838 SOS 1073085 HAS SOPS 536973 HAS SOUS 99145 HAS SOUPS 37318 WITH SCORE 38391.085
AT ITER 6711 NEW BEST:: SOT 1399828 SOS 1073075 HAS SOPS 536963 HAS SOUS 99136 HAS SOUPS 37309 WITH SCORE 38382.075
AT ITER 6747 NEW BEST:: SOT 1399834 SOS 1072591 HAS SOPS 536943 HAS SOUS 99126 HAS SOUPS 37299 WITH SCORE 38371.591
AT ITER 6759 NEW BEST:: SOT 1399834 SOS 1072591 HAS SOPS 536943 HAS SOUS 99104 HAS SOUPS 37277 WITH SCORE 38349.591
AT ITER 6776 NEW BEST:: SOT 1399805 SOS 1072584 HAS SOPS 536936 HAS SOUS 99079 HAS SOUPS 37252 WITH SCORE 38324.584
AT ITER 6794 NEW BEST:: SOT 1399792 SOS 1072599 HAS SOPS 536838 HAS SOUS 99080 HAS SOUPS 37233 WITH SCORE 38305.599
AT ITER 6797 NEW BEST:: SOT 1399776 SOS 1072027 HAS SOPS 536802 HAS SOUS 99056 HAS SOUPS 37225 WITH SCORE 38297.027
AT ITER 6807 NEW BEST:: SOT 1399860 SOS 1071747 HAS SOPS 536732 HAS SOUS 99056 HAS SOUPS 37225 WITH SCORE 38296.747
AT ITER 6827 NEW BEST:: SOT 1399858 SOS 1067223 HAS SOPS 533058 HAS SOUS 99029 HAS SOUPS 37223 WITH SCORE 38290.223
AT ITER 6948 NEW BEST:: SOT 1399813 SOS 1067492 HAS SOPS 533132 HAS SOUS 99033 HAS SOUPS 37214 WITH SCORE 38281.492
AT ITER 6959 NEW BEST:: SOT 1399752 SOS 1067347 HAS SOPS 532987 HAS SOUS 98939 HAS SOUPS 37120 WITH SCORE 38187.347
AT ITER 6975 NEW BEST:: SOT 1399732 SOS 1066439 HAS SOPS 531924 HAS SOUS 98937 HAS SOUPS 37087 WITH SCORE 38153.439
AT ITER 6999 NEW BEST:: SOT 1399172 SOS 1065767 HAS SOPS 531588 HAS SOUS 98937 HAS SOUPS 37087 WITH SCORE 38152.767
AT ITER 7013 NEW BEST:: SOT 1399088 SOS 1065365 HAS SOPS 531576 HAS SOUS 98733 HAS SOUPS 36961 WITH SCORE 38026.365
AT ITER 7068 NEW BEST:: SOT 1399135 SOS 1065333 HAS SOPS 531544 HAS SOUS 98689 HAS SOUPS 36917 WITH SCORE 37982.333
AT ITER 7094 NEW BEST:: SOT 1399135 SOS 1065333 HAS SOPS 531544 HAS SOUS 98667 HAS SOUPS 36895 WITH SCORE 37960.333
AT ITER 7177 NEW BEST:: SOT 1399129 SOS 1065315 HAS SOPS 531322 HAS SOUS 98673 HAS SOUPS 36895 WITH SCORE 37960.315
AT ITER 7202 NEW BEST:: SOT 1399053 SOS 1066548 HAS SOPS 531655 HAS SOUS 98717 HAS SOUPS 36879 WITH SCORE 37945.548
AT ITER 7220 NEW BEST:: SOT 1399024 SOS 1066514 HAS SOPS 531621 HAS SOUS 98701 HAS SOUPS 36863 WITH SCORE 37929.514
AT ITER 7225 NEW BEST:: SOT 1399024 SOS 1066514 HAS SOPS 531621 HAS SOUS 98649 HAS SOUPS 36811 WITH SCORE 37877.514
AT ITER 7297 NEW BEST:: SOT 1399024 SOS 1066482 HAS SOPS 531589 HAS SOUS 98633 HAS SOUPS 36795 WITH SCORE 37861.482
AT ITER 7300 NEW BEST:: SOT 1399024 SOS 1066482 HAS SOPS 531589 HAS SOUS 98631 HAS SOUPS 36793 WITH SCORE 37859.482
AT ITER 7321 NEW BEST:: SOT 1399027 SOS 1066303 HAS SOPS 531595 HAS SOUS 98583 HAS SOUPS 36782 WITH SCORE 37848.303
AT ITER 7333 NEW BEST:: SOT 1398997 SOS 1065564 HAS SOPS 531186 HAS SOUS 98553 HAS SOUPS 36774 WITH SCORE 37839.564
AT ITER 7464 NEW BEST:: SOT 1398989 SOS 1065548 HAS SOPS 531170 HAS SOUS 98545 HAS SOUPS 36766 WITH SCORE 37831.548
AT ITER 7494 NEW BEST:: SOT 1398989 SOS 1065548 HAS SOPS 531170 HAS SOUS 98519 HAS SOUPS 36740 WITH SCORE 37805.548
AT ITER 7522 NEW BEST:: SOT 1398989 SOS 1065548 HAS SOPS 531170 HAS SOUS 98511 HAS SOUPS 36732 WITH SCORE 37797.548
AT ITER 7533 NEW BEST:: SOT 1398989 SOS 1065548 HAS SOPS 531170 HAS SOUS 98479 HAS SOUPS 36700 WITH SCORE 37765.548
AT ITER 7547 NEW BEST:: SOT 1399028 SOS 1065249 HAS SOPS 531066 HAS SOUS 98453 HAS SOUPS 36687 WITH SCORE 37752.249
AT ITER 7553 NEW BEST:: SOT 1399025 SOS 1065243 HAS SOPS 531060 HAS SOUS 98447 HAS SOUPS 36681 WITH SCORE 37746.243
AT ITER 7628 NEW BEST:: SOT 1399021 SOS 1065235 HAS SOPS 531052 HAS SOUS 98424 HAS SOUPS 36658 WITH SCORE 37723.235
AT ITER 7671 NEW BEST:: SOT 1399019 SOS 1065239 HAS SOPS 531046 HAS SOUS 98420 HAS SOUPS 36652 WITH SCORE 37717.239
AT ITER 7713 NEW BEST:: SOT 1399013 SOS 1064875 HAS SOPS 530655 HAS SOUS 98422 HAS SOUPS 36645 WITH SCORE 37709.875
AT ITER 7725 NEW BEST:: SOT 1399025 SOS 1064372 HAS SOPS 530645 HAS SOUS 98407 HAS SOUPS 36630 WITH SCORE 37694.372
AT ITER 7739 NEW BEST:: SOT 1399016 SOS 1064399 HAS SOPS 530627 HAS SOUS 98407 HAS SOUPS 36621 WITH SCORE 37685.399
AT ITER 7780 NEW BEST:: SOT 1399016 SOS 1064399 HAS SOPS 530627 HAS SOUS 98397 HAS SOUPS 36611 WITH SCORE 37675.399
AT ITER 7806 NEW BEST:: SOT 1399026 SOS 1063330 HAS SOPS 530053 HAS SOUS 98341 HAS SOUPS 36588 WITH SCORE 37651.33
AT ITER 7845 NEW BEST:: SOT 1398914 SOS 1063416 HAS SOPS 530029 HAS SOUS 98307 HAS SOUPS 36564 WITH SCORE 37627.416
AT ITER 7858 NEW BEST:: SOT 1399404 SOS 1063948 HAS SOPS 530225 HAS SOUS 98252 HAS SOUPS 36509 WITH SCORE 37572.948
AT ITER 7888 NEW BEST:: SOT 1399356 SOS 1063892 HAS SOPS 529989 HAS SOUS 98240 HAS SOUPS 36461 WITH SCORE 37524.892
AT ITER 7925 NEW BEST:: SOT 1399724 SOS 1064637 HAS SOPS 530094 HAS SOUS 98224 HAS SOUPS 36420 WITH SCORE 37484.637
AT ITER 7945 NEW BEST:: SOT 1399716 SOS 1064061 HAS SOPS 529518 HAS SOUS 98208 HAS SOUPS 36404 WITH SCORE 37468.061
AT ITER 7993 NEW BEST:: SOT 1399716 SOS 1063806 HAS SOPS 529518 HAS SOUS 98157 HAS SOUPS 36404 WITH SCORE 37467.806
AT ITER 8005 NEW BEST:: SOT 1399716 SOS 1063806 HAS SOPS 529518 HAS SOUS 98151 HAS SOUPS 36398 WITH SCORE 37461.806
AT ITER 8009 NEW BEST:: SOT 1399714 SOS 1063802 HAS SOPS 529514 HAS SOUS 98145 HAS SOUPS 36392 WITH SCORE 37455.802
AT ITER 8030 NEW BEST:: SOT 1399714 SOS 1063802 HAS SOPS 529514 HAS SOUS 98137 HAS SOUPS 36384 WITH SCORE 37447.802
AT ITER 8048 NEW BEST:: SOT 1399714 SOS 1063802 HAS SOPS 529514 HAS SOUS 98111 HAS SOUPS 36358 WITH SCORE 37421.802
AT ITER 8139 NEW BEST:: SOT 1399680 SOS 1063719 HAS SOPS 529431 HAS SOUS 98107 HAS SOUPS 36354 WITH SCORE 37417.719
AT ITER 8154 NEW BEST:: SOT 1399717 SOS 1061297 HAS SOPS 528140 HAS SOUS 98105 HAS SOUPS 36352 WITH SCORE 37413.297
AT ITER 8169 NEW BEST:: SOT 1399693 SOS 1061339 HAS SOPS 528007 HAS SOUS 98139 HAS SOUPS 36351 WITH SCORE 37412.339
AT ITER 8284 NEW BEST:: SOT 1399643 SOS 1061279 HAS SOPS 527977 HAS SOUS 98139 HAS SOUPS 36351 WITH SCORE 37412.279
AT ITER 8311 NEW BEST:: SOT 1399545 SOS 1059367 HAS SOPS 526065 HAS SOUS 98114 HAS SOUPS 36326 WITH SCORE 37385.367
AT ITER 8335 NEW BEST:: SOT 1399495 SOS 1059615 HAS SOPS 526133 HAS SOUS 98124 HAS SOUPS 36324 WITH SCORE 37383.615
AT ITER 8492 NEW BEST:: SOT 1399495 SOS 1059615 HAS SOPS 526133 HAS SOUS 98108 HAS SOUPS 36308 WITH SCORE 37367.615
AT ITER 8530 NEW BEST:: SOT 1399615 SOS 1059785 HAS SOPS 526193 HAS SOUS 98110 HAS SOUPS 36300 WITH SCORE 37359.785
AT ITER 8535 NEW BEST:: SOT 1399607 SOS 1059701 HAS SOPS 526109 HAS SOUS 98083 HAS SOUPS 36273 WITH SCORE 37332.701
AT ITER 8574 NEW BEST:: SOT 1399607 SOS 1059701 HAS SOPS 526109 HAS SOUS 98035 HAS SOUPS 36225 WITH SCORE 37284.701
AT ITER 8579 NEW BEST:: SOT 1399607 SOS 1059701 HAS SOPS 526099 HAS SOUS 98035 HAS SOUPS 36223 WITH SCORE 37282.701
AT ITER 8587 NEW BEST:: SOT 1399731 SOS 1057673 HAS SOPS 524881 HAS SOUS 98019 HAS SOUPS 36207 WITH SCORE 37264.673
AT ITER 8607 NEW BEST:: SOT 1399720 SOS 1057651 HAS SOPS 524859 HAS SOUS 97965 HAS SOUPS 36153 WITH SCORE 37210.651
AT ITER 8641 NEW BEST:: SOT 1399720 SOS 1057651 HAS SOPS 524859 HAS SOUS 97949 HAS SOUPS 36137 WITH SCORE 37194.651
AT ITER 8730 NEW BEST:: SOT 1399720 SOS 1057651 HAS SOPS 524859 HAS SOUS 97939 HAS SOUPS 36127 WITH SCORE 37184.651
AT ITER 8735 NEW BEST:: SOT 1399720 SOS 1057651 HAS SOPS 524859 HAS SOUS 97915 HAS SOUPS 36103 WITH SCORE 37160.651
AT ITER 8736 NEW BEST:: SOT 1399708 SOS 1057642 HAS SOPS 524850 HAS SOUS 97915 HAS SOUPS 36103 WITH SCORE 37160.642
AT ITER 8782 NEW BEST:: SOT 1399708 SOS 1057642 HAS SOPS 524850 HAS SOUS 97875 HAS SOUPS 36063 WITH SCORE 37120.642
AT ITER 8801 NEW BEST:: SOT 1399609 SOS 1057854 HAS SOPS 524822 HAS SOUS 97836 HAS SOUPS 36009 WITH SCORE 37066.854
AT ITER 8841 NEW BEST:: SOT 1399615 SOS 1057812 HAS SOPS 524798 HAS SOUS 97834 HAS SOUPS 36007 WITH SCORE 37064.812
AT ITER 8859 NEW BEST:: SOT 1398796 SOS 1056993 HAS SOPS 524096 HAS SOUS 97834 HAS SOUPS 36007 WITH SCORE 37063.993
AT ITER 8873 NEW BEST:: SOT 1398702 SOS 1057998 HAS SOPS 525291 HAS SOUS 97729 HAS SOUPS 35940 WITH SCORE 36997.998
AT ITER 8923 NEW BEST:: SOT 1398928 SOS 1058234 HAS SOPS 525419 HAS SOUS 97721 HAS SOUPS 35932 WITH SCORE 36990.234
AT ITER 8933 NEW BEST:: SOT 1398928 SOS 1058234 HAS SOPS 525419 HAS SOUS 97717 HAS SOUPS 35928 WITH SCORE 36986.234
AT ITER 9018 NEW BEST:: SOT 1398882 SOS 1058948 HAS SOPS 525249 HAS SOUS 97723 HAS SOUPS 35908 WITH SCORE 36966.948
AT ITER 9028 NEW BEST:: SOT 1398588 SOS 1058265 HAS SOPS 525041 HAS SOUS 97555 HAS SOUPS 35835 WITH SCORE 36893.265
AT ITER 9120 NEW BEST:: SOT 1397815 SOS 1057296 HAS SOPS 524438 HAS SOUS 97543 HAS SOUPS 35823 WITH SCORE 36880.296
AT ITER 9188 NEW BEST:: SOT 1397778 SOS 1057446 HAS SOPS 524508 HAS SOUS 97541 HAS SOUPS 35821 WITH SCORE 36878.445999999996
AT ITER 9241 NEW BEST:: SOT 1397746 SOS 1057998 HAS SOPS 524730 HAS SOUS 97553 HAS SOUPS 35811 WITH SCORE 36868.998
AT ITER 9242 NEW BEST:: SOT 1397746 SOS 1057998 HAS SOPS 524730 HAS SOUS 97529 HAS SOUPS 35787 WITH SCORE 36844.998
AT ITER 9272 NEW BEST:: SOT 1397772 SOS 1055554 HAS SOPS 523417 HAS SOUS 97516 HAS SOUPS 35774 WITH SCORE 36829.554000000004
AT ITER 9408 NEW BEST:: SOT 1396932 SOS 1054714 HAS SOPS 522577 HAS SOUS 97516 HAS SOUPS 35774 WITH SCORE 36828.714
AT ITER 9463 NEW BEST:: SOT 1396900 SOS 1054465 HAS SOPS 522673 HAS SOUS 97415 HAS SOUPS 35742 WITH SCORE 36796.465
AT ITER 9479 NEW BEST:: SOT 1396900 SOS 1054465 HAS SOPS 522673 HAS SOUS 97385 HAS SOUPS 35712 WITH SCORE 36766.465
AT ITER 9536 NEW BEST:: SOT 1396876 SOS 1054417 HAS SOPS 522625 HAS SOUS 97361 HAS SOUPS 35688 WITH SCORE 36742.417
AT ITER 9538 NEW BEST:: SOT 1396859 SOS 1054400 HAS SOPS 522625 HAS SOUS 97341 HAS SOUPS 35668 WITH SCORE 36722.4
AT ITER 9563 NEW BEST:: SOT 1396858 SOS 1054398 HAS SOPS 522623 HAS SOUS 97339 HAS SOUPS 35666 WITH SCORE 36720.398
AT ITER 9612 NEW BEST:: SOT 1396490 SOS 1053844 HAS SOPS 522348 HAS SOUS 97312 HAS SOUPS 35639 WITH SCORE 36692.844
AT ITER 9641 NEW BEST:: SOT 1396490 SOS 1053844 HAS SOPS 522348 HAS SOUS 97300 HAS SOUPS 35627 WITH SCORE 36680.844
AT ITER 9662 NEW BEST:: SOT 1396490 SOS 1053831 HAS SOPS 522335 HAS SOUS 97300 HAS SOUPS 35627 WITH SCORE 36680.831
AT ITER 9902 NEW BEST:: SOT 1395884 SOS 1052931 HAS SOPS 521930 HAS SOUS 97193 HAS SOUPS 35565 WITH SCORE 36617.931
AT ITER 9906 NEW BEST:: SOT 1395875 SOS 1052913 HAS SOPS 521947 HAS SOUS 97170 HAS SOUPS 35549 WITH SCORE 36601.913

BK_STOP 1589116661301

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 480 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

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