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-158902542400595.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 DLCround-PT-12a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400595
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K Mar 30 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 10:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 10:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 00:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 00:56 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 871K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-12a-CTLCardinality-00
FORMULA_NAME DLCround-PT-12a-CTLCardinality-01
FORMULA_NAME DLCround-PT-12a-CTLCardinality-02
FORMULA_NAME DLCround-PT-12a-CTLCardinality-03
FORMULA_NAME DLCround-PT-12a-CTLCardinality-04
FORMULA_NAME DLCround-PT-12a-CTLCardinality-05
FORMULA_NAME DLCround-PT-12a-CTLCardinality-06
FORMULA_NAME DLCround-PT-12a-CTLCardinality-07
FORMULA_NAME DLCround-PT-12a-CTLCardinality-08
FORMULA_NAME DLCround-PT-12a-CTLCardinality-09
FORMULA_NAME DLCround-PT-12a-CTLCardinality-10
FORMULA_NAME DLCround-PT-12a-CTLCardinality-11
FORMULA_NAME DLCround-PT-12a-CTLCardinality-12
FORMULA_NAME DLCround-PT-12a-CTLCardinality-13
FORMULA_NAME DLCround-PT-12a-CTLCardinality-14
FORMULA_NAME DLCround-PT-12a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869272440

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 419 places, 3407 transitions, 13330 arcs.
AT ITER 0 NEW BEST:: SOT 885325 SOS 761883 HAS SOPS 463178 HAS SOUS 84380 HAS SOUPS 60636 WITH SCORE 61397.883
AT ITER 1 NEW BEST:: SOT 885024 SOS 761625 HAS SOPS 462705 HAS SOUS 83896 HAS SOUPS 60004 WITH SCORE 60765.625
AT ITER 37 NEW BEST:: SOT 884981 SOS 760808 HAS SOPS 462576 HAS SOUS 83828 HAS SOUPS 59979 WITH SCORE 60739.808
AT ITER 38 NEW BEST:: SOT 884303 SOS 760332 HAS SOPS 460888 HAS SOUS 81900 HAS SOUPS 57587 WITH SCORE 58347.332
AT ITER 40 NEW BEST:: SOT 885237 SOS 758435 HAS SOPS 460411 HAS SOUS 83948 HAS SOUPS 57514 WITH SCORE 58272.435
AT ITER 46 NEW BEST:: SOT 884587 SOS 754985 HAS SOPS 457381 HAS SOUS 82479 HAS SOUPS 54236 WITH SCORE 54990.985
AT ITER 49 NEW BEST:: SOT 884449 SOS 758544 HAS SOPS 458732 HAS SOUS 82421 HAS SOUPS 54178 WITH SCORE 54936.544
AT ITER 72 NEW BEST:: SOT 884381 SOS 758408 HAS SOPS 458732 HAS SOUS 82353 HAS SOUPS 54178 WITH SCORE 54936.408
AT ITER 80 NEW BEST:: SOT 884381 SOS 758357 HAS SOPS 458732 HAS SOUS 82302 HAS SOUPS 54178 WITH SCORE 54936.357
AT ITER 86 NEW BEST:: SOT 884388 SOS 758455 HAS SOPS 458739 HAS SOUS 82302 HAS SOUPS 54171 WITH SCORE 54929.455
AT ITER 87 NEW BEST:: SOT 884424 SOS 758491 HAS SOPS 458775 HAS SOUS 82284 HAS SOUPS 54153 WITH SCORE 54911.491
AT ITER 92 NEW BEST:: SOT 883850 SOS 758071 HAS SOPS 457213 HAS SOUS 80126 HAS SOUPS 52063 WITH SCORE 52821.071
AT ITER 107 NEW BEST:: SOT 883813 SOS 757457 HAS SOPS 456599 HAS SOUS 80104 HAS SOUPS 52041 WITH SCORE 52798.457
AT ITER 113 NEW BEST:: SOT 883363 SOS 757175 HAS SOPS 455897 HAS SOUS 79486 HAS SOUPS 51087 WITH SCORE 51844.175
AT ITER 114 NEW BEST:: SOT 883339 SOS 757127 HAS SOPS 455849 HAS SOUS 79444 HAS SOUPS 51045 WITH SCORE 51802.127
AT ITER 116 NEW BEST:: SOT 883854 SOS 752738 HAS SOPS 455076 HAS SOUS 79746 HAS SOUPS 50858 WITH SCORE 51610.738
AT ITER 119 NEW BEST:: SOT 883808 SOS 751933 HAS SOPS 454639 HAS SOUS 79677 HAS SOUPS 50812 WITH SCORE 51563.933
AT ITER 123 NEW BEST:: SOT 883803 SOS 751848 HAS SOPS 454554 HAS SOUS 79671 HAS SOUPS 50806 WITH SCORE 51557.848
AT ITER 129 NEW BEST:: SOT 883887 SOS 752028 HAS SOPS 454254 HAS SOUS 79413 HAS SOUPS 50188 WITH SCORE 50940.028
AT ITER 131 NEW BEST:: SOT 883887 SOS 752028 HAS SOPS 454232 HAS SOUS 79411 HAS SOUPS 50186 WITH SCORE 50938.028
AT ITER 145 NEW BEST:: SOT 884035 SOS 750650 HAS SOPS 454342 HAS SOUS 79242 HAS SOUPS 50110 WITH SCORE 50860.65
AT ITER 152 NEW BEST:: SOT 883837 SOS 750532 HAS SOPS 453824 HAS SOUS 78084 HAS SOUPS 48952 WITH SCORE 49702.532
AT ITER 153 NEW BEST:: SOT 883751 SOS 750403 HAS SOPS 453781 HAS SOUS 77998 HAS SOUPS 48909 WITH SCORE 49659.403
AT ITER 160 NEW BEST:: SOT 883684 SOS 749197 HAS SOPS 453647 HAS SOUS 77906 HAS SOUPS 48884 WITH SCORE 49633.197
AT ITER 168 NEW BEST:: SOT 883712 SOS 749225 HAS SOPS 453592 HAS SOUS 77851 HAS SOUPS 48829 WITH SCORE 49578.225
AT ITER 175 NEW BEST:: SOT 883457 SOS 749007 HAS SOPS 453189 HAS SOUS 77449 HAS SOUPS 48295 WITH SCORE 49044.007
AT ITER 177 NEW BEST:: SOT 883445 SOS 748995 HAS SOPS 453177 HAS SOUS 77437 HAS SOUPS 48283 WITH SCORE 49031.995
AT ITER 180 NEW BEST:: SOT 883424 SOS 748953 HAS SOPS 453177 HAS SOUS 77416 HAS SOUPS 48283 WITH SCORE 49031.953
AT ITER 181 NEW BEST:: SOT 883395 SOS 748895 HAS SOPS 453119 HAS SOUS 77341 HAS SOUPS 48208 WITH SCORE 48956.895
AT ITER 192 NEW BEST:: SOT 883358 SOS 748303 HAS SOPS 453008 HAS SOUS 77193 HAS SOUPS 48097 WITH SCORE 48845.303
AT ITER 207 NEW BEST:: SOT 883429 SOS 748464 HAS SOPS 452719 HAS SOUS 76985 HAS SOUPS 47533 WITH SCORE 48281.464
AT ITER 211 NEW BEST:: SOT 883394 SOS 747869 HAS SOPS 452684 HAS SOUS 76950 HAS SOUPS 47533 WITH SCORE 48280.869
AT ITER 220 NEW BEST:: SOT 883340 SOS 747761 HAS SOPS 452684 HAS SOUS 76896 HAS SOUPS 47533 WITH SCORE 48280.761
AT ITER 229 NEW BEST:: SOT 883125 SOS 747673 HAS SOPS 452276 HAS SOUS 76568 HAS SOUPS 46969 WITH SCORE 47716.673
AT ITER 242 NEW BEST:: SOT 882184 SOS 744953 HAS SOPS 451631 HAS SOUS 76517 HAS SOUPS 46949 WITH SCORE 47693.953
AT ITER 252 NEW BEST:: SOT 882217 SOS 745547 HAS SOPS 451697 HAS SOUS 76517 HAS SOUPS 46916 WITH SCORE 47661.547
AT ITER 253 NEW BEST:: SOT 882917 SOS 746480 HAS SOPS 452630 HAS SOUS 74314 HAS SOUPS 44713 WITH SCORE 45459.48
AT ITER 254 NEW BEST:: SOT 882335 SOS 746270 HAS SOPS 453095 HAS SOUS 72851 HAS SOUPS 44549 WITH SCORE 45295.27
AT ITER 280 NEW BEST:: SOT 882249 SOS 746184 HAS SOPS 453009 HAS SOUS 72829 HAS SOUPS 44527 WITH SCORE 45273.184
AT ITER 283 NEW BEST:: SOT 881589 SOS 745851 HAS SOPS 453826 HAS SOUS 70740 HAS SOUPS 44348 WITH SCORE 45093.851
AT ITER 294 NEW BEST:: SOT 881589 SOS 745851 HAS SOPS 453800 HAS SOUS 70718 HAS SOUPS 44326 WITH SCORE 45071.851
AT ITER 295 NEW BEST:: SOT 882329 SOS 746570 HAS SOPS 454561 HAS SOUS 70699 HAS SOUPS 44300 WITH SCORE 45046.57
AT ITER 310 NEW BEST:: SOT 882317 SOS 746177 HAS SOPS 454701 HAS SOUS 70646 HAS SOUPS 44288 WITH SCORE 45034.177
AT ITER 337 NEW BEST:: SOT 882289 SOS 746149 HAS SOPS 454673 HAS SOUS 70618 HAS SOUPS 44260 WITH SCORE 45006.149
AT ITER 341 NEW BEST:: SOT 882279 SOS 745969 HAS SOPS 454493 HAS SOUS 70608 HAS SOUPS 44250 WITH SCORE 44995.969
AT ITER 349 NEW BEST:: SOT 882243 SOS 743458 HAS SOPS 451982 HAS SOUS 70599 HAS SOUPS 44241 WITH SCORE 44984.458
AT ITER 357 NEW BEST:: SOT 882097 SOS 743312 HAS SOPS 451836 HAS SOUS 70599 HAS SOUPS 44241 WITH SCORE 44984.312
AT ITER 375 NEW BEST:: SOT 882097 SOS 742666 HAS SOPS 451190 HAS SOUS 70574 HAS SOUPS 44216 WITH SCORE 44958.666
AT ITER 377 NEW BEST:: SOT 882048 SOS 742600 HAS SOPS 451158 HAS SOUS 70525 HAS SOUPS 44184 WITH SCORE 44926.6
AT ITER 403 NEW BEST:: SOT 882268 SOS 742866 HAS SOPS 451148 HAS SOUS 70271 HAS SOUPS 43930 WITH SCORE 44672.866
AT ITER 418 NEW BEST:: SOT 882172 SOS 742770 HAS SOPS 451052 HAS SOUS 70271 HAS SOUPS 43930 WITH SCORE 44672.77
AT ITER 423 NEW BEST:: SOT 882174 SOS 742772 HAS SOPS 451054 HAS SOUS 70269 HAS SOUPS 43928 WITH SCORE 44670.772
AT ITER 426 NEW BEST:: SOT 882252 SOS 741344 HAS SOPS 450778 HAS SOUS 70103 HAS SOUPS 43834 WITH SCORE 44575.344
AT ITER 444 NEW BEST:: SOT 882134 SOS 741268 HAS SOPS 450497 HAS SOUS 69577 HAS SOUPS 43308 WITH SCORE 44049.268
AT ITER 452 NEW BEST:: SOT 882134 SOS 741268 HAS SOPS 450497 HAS SOUS 69361 HAS SOUPS 43188 WITH SCORE 43929.268
AT ITER 456 NEW BEST:: SOT 882011 SOS 739054 HAS SOPS 449675 HAS SOUS 69264 HAS SOUPS 43178 WITH SCORE 43917.054
AT ITER 459 NEW BEST:: SOT 882011 SOS 739054 HAS SOPS 449675 HAS SOUS 68868 HAS SOUPS 42958 WITH SCORE 43697.054
AT ITER 467 NEW BEST:: SOT 882054 SOS 739232 HAS SOPS 449178 HAS SOUS 68407 HAS SOUPS 42001 WITH SCORE 42740.232
AT ITER 481 NEW BEST:: SOT 882004 SOS 739182 HAS SOPS 449128 HAS SOUS 68407 HAS SOUPS 42001 WITH SCORE 42740.182
AT ITER 517 NEW BEST:: SOT 882070 SOS 737712 HAS SOPS 448698 HAS SOUS 68279 HAS SOUPS 41938 WITH SCORE 42675.712
AT ITER 540 NEW BEST:: SOT 882061 SOS 736929 HAS SOPS 447915 HAS SOUS 68279 HAS SOUPS 41938 WITH SCORE 42674.929
AT ITER 543 NEW BEST:: SOT 882060 SOS 736927 HAS SOPS 447913 HAS SOUS 68278 HAS SOUPS 41937 WITH SCORE 42673.927
AT ITER 548 NEW BEST:: SOT 881446 SOS 735605 HAS SOPS 447469 HAS SOUS 68230 HAS SOUPS 41900 WITH SCORE 42635.605
AT ITER 551 NEW BEST:: SOT 881425 SOS 734861 HAS SOPS 446721 HAS SOUS 68212 HAS SOUPS 41882 WITH SCORE 42616.861
AT ITER 605 NEW BEST:: SOT 881441 SOS 734605 HAS SOPS 446721 HAS SOUS 68196 HAS SOUPS 41882 WITH SCORE 42616.605
AT ITER 616 NEW BEST:: SOT 881910 SOS 735074 HAS SOPS 447190 HAS SOUS 68259 HAS SOUPS 41873 WITH SCORE 42608.074
AT ITER 628 NEW BEST:: SOT 881910 SOS 735074 HAS SOPS 447148 HAS SOUS 68217 HAS SOUPS 41831 WITH SCORE 42566.074
AT ITER 643 NEW BEST:: SOT 881884 SOS 735022 HAS SOPS 447096 HAS SOUS 68191 HAS SOUPS 41805 WITH SCORE 42540.022
AT ITER 647 NEW BEST:: SOT 881905 SOS 734350 HAS SOPS 446760 HAS SOUS 68149 HAS SOUPS 41784 WITH SCORE 42518.35
AT ITER 649 NEW BEST:: SOT 880701 SOS 733146 HAS SOPS 446416 HAS SOUS 67683 HAS SOUPS 41678 WITH SCORE 42411.146
AT ITER 658 NEW BEST:: SOT 880667 SOS 731361 HAS SOPS 444631 HAS SOUS 67666 HAS SOUPS 41661 WITH SCORE 42392.361
AT ITER 660 NEW BEST:: SOT 880649 SOS 731343 HAS SOPS 444613 HAS SOUS 67648 HAS SOUPS 41643 WITH SCORE 42374.343
AT ITER 675 NEW BEST:: SOT 880691 SOS 731385 HAS SOPS 444655 HAS SOUS 67573 HAS SOUPS 41620 WITH SCORE 42351.385
AT ITER 683 NEW BEST:: SOT 881731 SOS 732425 HAS SOPS 444915 HAS SOUS 67505 HAS SOUPS 41552 WITH SCORE 42284.425
AT ITER 685 NEW BEST:: SOT 881985 SOS 732465 HAS SOPS 444959 HAS SOUS 67419 HAS SOUPS 41519 WITH SCORE 42251.465
AT ITER 687 NEW BEST:: SOT 881985 SOS 732458 HAS SOPS 444840 HAS SOUS 67412 HAS SOUPS 41505 WITH SCORE 42237.458
AT ITER 725 NEW BEST:: SOT 881229 SOS 734601 HAS SOPS 445095 HAS SOUS 66218 HAS SOUPS 40908 WITH SCORE 41642.601
AT ITER 729 NEW BEST:: SOT 881138 SOS 734543 HAS SOPS 444872 HAS SOUS 65731 HAS SOUPS 40421 WITH SCORE 41155.543
AT ITER 736 NEW BEST:: SOT 881068 SOS 734363 HAS SOPS 445265 HAS SOUS 65660 HAS SOUPS 40391 WITH SCORE 41125.363
AT ITER 738 NEW BEST:: SOT 881205 SOS 734531 HAS SOPS 445247 HAS SOUS 65492 HAS SOUPS 40223 WITH SCORE 40957.531
AT ITER 739 NEW BEST:: SOT 881205 SOS 734531 HAS SOPS 445247 HAS SOUS 65483 HAS SOUPS 40218 WITH SCORE 40952.531
AT ITER 746 NEW BEST:: SOT 881141 SOS 734695 HAS SOPS 445411 HAS SOUS 65183 HAS SOUPS 39918 WITH SCORE 40652.695
AT ITER 747 NEW BEST:: SOT 881630 SOS 735352 HAS SOPS 445432 HAS SOUS 64418 HAS SOUPS 39153 WITH SCORE 39888.352
AT ITER 753 NEW BEST:: SOT 881598 SOS 732568 HAS SOPS 442648 HAS SOUS 64418 HAS SOUPS 39153 WITH SCORE 39885.568
AT ITER 764 NEW BEST:: SOT 881656 SOS 732684 HAS SOPS 442570 HAS SOUS 64389 HAS SOUPS 39070 WITH SCORE 39802.684
AT ITER 772 NEW BEST:: SOT 881652 SOS 732608 HAS SOPS 442558 HAS SOUS 64385 HAS SOUPS 39070 WITH SCORE 39802.608
AT ITER 776 NEW BEST:: SOT 881648 SOS 732656 HAS SOPS 442542 HAS SOUS 64381 HAS SOUPS 39062 WITH SCORE 39794.656
AT ITER 778 NEW BEST:: SOT 881682 SOS 733652 HAS SOPS 442994 HAS SOUS 64412 HAS SOUPS 39059 WITH SCORE 39792.652
AT ITER 782 NEW BEST:: SOT 879950 SOS 728073 HAS SOPS 441074 HAS SOUS 64975 HAS SOUPS 38949 WITH SCORE 39677.073
AT ITER 802 NEW BEST:: SOT 879938 SOS 728073 HAS SOPS 441056 HAS SOUS 64957 HAS SOUPS 38931 WITH SCORE 39659.073
AT ITER 814 NEW BEST:: SOT 879523 SOS 725926 HAS SOPS 440802 HAS SOUS 64481 HAS SOUPS 38593 WITH SCORE 39318.926
AT ITER 841 NEW BEST:: SOT 879307 SOS 725656 HAS SOPS 440640 HAS SOUS 64373 HAS SOUPS 38539 WITH SCORE 39264.656
AT ITER 846 NEW BEST:: SOT 879264 SOS 725517 HAS SOPS 440493 HAS SOUS 64314 HAS SOUPS 38480 WITH SCORE 39205.517
AT ITER 847 NEW BEST:: SOT 879228 SOS 716777 HAS SOPS 433481 HAS SOUS 64207 HAS SOUPS 38481 WITH SCORE 39197.777
AT ITER 855 NEW BEST:: SOT 879180 SOS 716681 HAS SOPS 433433 HAS SOUS 64093 HAS SOUPS 38423 WITH SCORE 39139.681
AT ITER 868 NEW BEST:: SOT 879068 SOS 715610 HAS SOPS 433230 HAS SOUS 63994 HAS SOUPS 38385 WITH SCORE 39100.61
AT ITER 874 NEW BEST:: SOT 878726 SOS 718258 HAS SOPS 433896 HAS SOUS 63970 HAS SOUPS 38354 WITH SCORE 39072.258
AT ITER 876 NEW BEST:: SOT 878726 SOS 718243 HAS SOPS 433896 HAS SOUS 63955 HAS SOUPS 38354 WITH SCORE 39072.243
AT ITER 891 NEW BEST:: SOT 878610 SOS 718127 HAS SOPS 433896 HAS SOUS 63795 HAS SOUPS 38194 WITH SCORE 38912.127
AT ITER 892 NEW BEST:: SOT 878683 SOS 718142 HAS SOPS 433882 HAS SOUS 63679 HAS SOUPS 38107 WITH SCORE 38825.142
AT ITER 893 NEW BEST:: SOT 878687 SOS 718170 HAS SOPS 433888 HAS SOUS 63669 HAS SOUPS 38097 WITH SCORE 38815.17
AT ITER 900 NEW BEST:: SOT 878705 SOS 718194 HAS SOPS 433906 HAS SOUS 63678 HAS SOUPS 38096 WITH SCORE 38814.194
AT ITER 902 NEW BEST:: SOT 879041 SOS 718472 HAS SOPS 434300 HAS SOUS 63518 HAS SOUPS 37994 WITH SCORE 38712.472
AT ITER 905 NEW BEST:: SOT 879509 SOS 718879 HAS SOPS 434829 HAS SOUS 63433 HAS SOUPS 37936 WITH SCORE 38654.879
AT ITER 935 NEW BEST:: SOT 879463 SOS 718323 HAS SOPS 434993 HAS SOUS 63358 HAS SOUPS 37906 WITH SCORE 38624.323
AT ITER 946 NEW BEST:: SOT 879462 SOS 718218 HAS SOPS 434888 HAS SOUS 63305 HAS SOUPS 37853 WITH SCORE 38571.218
AT ITER 950 NEW BEST:: SOT 879491 SOS 718276 HAS SOPS 434850 HAS SOUS 63296 HAS SOUPS 37815 WITH SCORE 38533.276
AT ITER 951 NEW BEST:: SOT 879435 SOS 718206 HAS SOPS 434808 HAS SOUS 63268 HAS SOUPS 37801 WITH SCORE 38519.206
AT ITER 977 NEW BEST:: SOT 879396 SOS 718147 HAS SOPS 434789 HAS SOUS 63229 HAS SOUPS 37782 WITH SCORE 38500.147
AT ITER 982 NEW BEST:: SOT 879389 SOS 718227 HAS SOPS 434434 HAS SOUS 62700 HAS SOUPS 37253 WITH SCORE 37971.227
AT ITER 998 NEW BEST:: SOT 879370 SOS 717866 HAS SOPS 434377 HAS SOUS 62681 HAS SOUPS 37253 WITH SCORE 37970.866
AT ITER 1009 NEW BEST:: SOT 879347 SOS 717855 HAS SOPS 434306 HAS SOUS 62514 HAS SOUPS 37086 WITH SCORE 37803.855
AT ITER 1029 NEW BEST:: SOT 879300 SOS 717734 HAS SOPS 434276 HAS SOUS 62433 HAS SOUPS 37062 WITH SCORE 37779.734
AT ITER 1038 NEW BEST:: SOT 879030 SOS 717402 HAS SOPS 434068 HAS SOUS 62297 HAS SOUPS 36988 WITH SCORE 37705.402
AT ITER 1039 NEW BEST:: SOT 878991 SOS 716544 HAS SOPS 433210 HAS SOUS 62258 HAS SOUPS 36949 WITH SCORE 37665.544
AT ITER 1049 NEW BEST:: SOT 878951 SOS 716484 HAS SOPS 433190 HAS SOUS 62228 HAS SOUPS 36929 WITH SCORE 37645.484
AT ITER 1081 NEW BEST:: SOT 878944 SOS 716470 HAS SOPS 433176 HAS SOUS 62221 HAS SOUPS 36922 WITH SCORE 37638.47
AT ITER 1083 NEW BEST:: SOT 878924 SOS 716310 HAS SOPS 433146 HAS SOUS 62211 HAS SOUPS 36922 WITH SCORE 37638.31
AT ITER 1105 NEW BEST:: SOT 878861 SOS 716089 HAS SOPS 432925 HAS SOUS 62054 HAS SOUPS 36765 WITH SCORE 37481.089
AT ITER 1108 NEW BEST:: SOT 878857 SOS 715879 HAS SOPS 432715 HAS SOUS 62052 HAS SOUPS 36763 WITH SCORE 37478.879
AT ITER 1110 NEW BEST:: SOT 878970 SOS 714870 HAS SOPS 432726 HAS SOUS 61965 HAS SOUPS 36741 WITH SCORE 37455.87
AT ITER 1116 NEW BEST:: SOT 878967 SOS 714654 HAS SOPS 432734 HAS SOUS 61945 HAS SOUPS 36735 WITH SCORE 37449.654
AT ITER 1117 NEW BEST:: SOT 878989 SOS 713939 HAS SOPS 432387 HAS SOUS 61917 HAS SOUPS 36730 WITH SCORE 37443.939
AT ITER 1135 NEW BEST:: SOT 878982 SOS 713330 HAS SOPS 431778 HAS SOUS 61917 HAS SOUPS 36730 WITH SCORE 37443.33
AT ITER 1141 NEW BEST:: SOT 878971 SOS 713121 HAS SOPS 431745 HAS SOUS 61906 HAS SOUPS 36730 WITH SCORE 37443.121
AT ITER 1144 NEW BEST:: SOT 878966 SOS 713111 HAS SOPS 431639 HAS SOUS 61901 HAS SOUPS 36719 WITH SCORE 37432.111
AT ITER 1147 NEW BEST:: SOT 878966 SOS 713111 HAS SOPS 431639 HAS SOUS 61847 HAS SOUPS 36689 WITH SCORE 37402.111
AT ITER 1158 NEW BEST:: SOT 878938 SOS 712887 HAS SOPS 431597 HAS SOUS 61819 HAS SOUPS 36675 WITH SCORE 37387.887
AT ITER 1160 NEW BEST:: SOT 878924 SOS 712866 HAS SOPS 431590 HAS SOUS 61805 HAS SOUPS 36668 WITH SCORE 37380.866
AT ITER 1177 NEW BEST:: SOT 878804 SOS 712722 HAS SOPS 431494 HAS SOUS 61739 HAS SOUPS 36626 WITH SCORE 37338.722
AT ITER 1193 NEW BEST:: SOT 878789 SOS 712467 HAS SOPS 431239 HAS SOUS 61724 HAS SOUPS 36611 WITH SCORE 37323.467
AT ITER 1196 NEW BEST:: SOT 878789 SOS 712467 HAS SOPS 431239 HAS SOUS 61715 HAS SOUPS 36606 WITH SCORE 37318.467
AT ITER 1198 NEW BEST:: SOT 878785 SOS 712463 HAS SOPS 431235 HAS SOUS 61711 HAS SOUPS 36602 WITH SCORE 37314.463
AT ITER 1199 NEW BEST:: SOT 878817 SOS 707544 HAS SOPS 427260 HAS SOUS 61655 HAS SOUPS 36605 WITH SCORE 37312.544
AT ITER 1218 NEW BEST:: SOT 878213 SOS 706940 HAS SOPS 426981 HAS SOUS 61636 HAS SOUPS 36586 WITH SCORE 37292.94
AT ITER 1228 NEW BEST:: SOT 878192 SOS 706463 HAS SOPS 426504 HAS SOUS 61615 HAS SOUPS 36565 WITH SCORE 37271.463
AT ITER 1232 NEW BEST:: SOT 878077 SOS 705911 HAS SOPS 425952 HAS SOUS 61547 HAS SOUPS 36497 WITH SCORE 37202.911
AT ITER 1262 NEW BEST:: SOT 878094 SOS 705629 HAS SOPS 425969 HAS SOUS 61510 HAS SOUPS 36483 WITH SCORE 37188.629
AT ITER 1271 NEW BEST:: SOT 878027 SOS 705562 HAS SOPS 425969 HAS SOUS 61376 HAS SOUPS 36349 WITH SCORE 37054.562
AT ITER 1272 NEW BEST:: SOT 878132 SOS 705676 HAS SOPS 426083 HAS SOUS 61325 HAS SOUPS 36298 WITH SCORE 37003.676
AT ITER 1279 NEW BEST:: SOT 878206 SOS 706336 HAS SOPS 426743 HAS SOUS 61315 HAS SOUPS 36288 WITH SCORE 36994.336
AT ITER 1284 NEW BEST:: SOT 878423 SOS 696455 HAS SOPS 418524 HAS SOUS 61117 HAS SOUPS 36199 WITH SCORE 36895.455
AT ITER 1297 NEW BEST:: SOT 878418 SOS 696450 HAS SOPS 418524 HAS SOUS 61117 HAS SOUPS 36199 WITH SCORE 36895.45
AT ITER 1320 NEW BEST:: SOT 878393 SOS 696552 HAS SOPS 418512 HAS SOUS 61088 HAS SOUPS 36170 WITH SCORE 36866.552
AT ITER 1323 NEW BEST:: SOT 878359 SOS 696228 HAS SOPS 418188 HAS SOUS 61024 HAS SOUPS 36106 WITH SCORE 36802.228
AT ITER 1337 NEW BEST:: SOT 878349 SOS 696208 HAS SOPS 418188 HAS SOUS 61000 HAS SOUPS 36082 WITH SCORE 36778.208
AT ITER 1341 NEW BEST:: SOT 876340 SOS 691822 HAS SOPS 417012 HAS SOUS 60747 HAS SOUPS 36023 WITH SCORE 36714.822
AT ITER 1343 NEW BEST:: SOT 876391 SOS 689496 HAS SOPS 415934 HAS SOUS 60543 HAS SOUPS 35897 WITH SCORE 36586.496
AT ITER 1345 NEW BEST:: SOT 876285 SOS 689368 HAS SOPS 415850 HAS SOUS 60487 HAS SOUPS 35863 WITH SCORE 36552.368
AT ITER 1366 NEW BEST:: SOT 876285 SOS 689128 HAS SOPS 415834 HAS SOUS 60479 HAS SOUPS 35857 WITH SCORE 36546.128
AT ITER 1377 NEW BEST:: SOT 877094 SOS 689915 HAS SOPS 416665 HAS SOUS 60472 HAS SOUPS 35856 WITH SCORE 36545.915
AT ITER 1381 NEW BEST:: SOT 876975 SOS 677601 HAS SOPS 406527 HAS SOUS 59903 HAS SOUPS 35423 WITH SCORE 36100.601
AT ITER 1382 NEW BEST:: SOT 877254 SOS 677880 HAS SOPS 406596 HAS SOUS 59720 HAS SOUPS 35240 WITH SCORE 35917.88
AT ITER 1397 NEW BEST:: SOT 877247 SOS 677271 HAS SOPS 405987 HAS SOUS 59720 HAS SOUPS 35240 WITH SCORE 35917.271
AT ITER 1412 NEW BEST:: SOT 877077 SOS 676897 HAS SOPS 405885 HAS SOUS 59703 HAS SOUPS 35240 WITH SCORE 35916.897
AT ITER 1430 NEW BEST:: SOT 876597 SOS 675798 HAS SOPS 405523 HAS SOUS 59699 HAS SOUPS 35236 WITH SCORE 35911.798
AT ITER 1439 NEW BEST:: SOT 876588 SOS 675789 HAS SOPS 405523 HAS SOUS 59681 HAS SOUPS 35218 WITH SCORE 35893.789
AT ITER 1467 NEW BEST:: SOT 876541 SOS 675964 HAS SOPS 405698 HAS SOUS 59464 HAS SOUPS 35001 WITH SCORE 35676.964
AT ITER 1494 NEW BEST:: SOT 876523 SOS 675640 HAS SOPS 405374 HAS SOUS 59446 HAS SOUPS 34983 WITH SCORE 35658.64
AT ITER 1499 NEW BEST:: SOT 876466 SOS 675564 HAS SOPS 405317 HAS SOUS 59408 HAS SOUPS 34964 WITH SCORE 35639.564
AT ITER 1516 NEW BEST:: SOT 876557 SOS 675579 HAS SOPS 405370 HAS SOUS 59351 HAS SOUPS 34926 WITH SCORE 35601.579
AT ITER 1525 NEW BEST:: SOT 876566 SOS 675246 HAS SOPS 405388 HAS SOUS 59342 HAS SOUPS 34926 WITH SCORE 35601.246
AT ITER 1527 NEW BEST:: SOT 876536 SOS 675216 HAS SOPS 405358 HAS SOUS 59312 HAS SOUPS 34910 WITH SCORE 35585.216
AT ITER 1529 NEW BEST:: SOT 876434 SOS 675027 HAS SOPS 405304 HAS SOUS 59297 HAS SOUPS 34895 WITH SCORE 35570.027
AT ITER 1549 NEW BEST:: SOT 876327 SOS 676829 HAS SOPS 404491 HAS SOUS 59262 HAS SOUPS 34794 WITH SCORE 35470.829
AT ITER 1563 NEW BEST:: SOT 875856 SOS 676203 HAS SOPS 403996 HAS SOUS 59076 HAS SOUPS 34763 WITH SCORE 35439.203
AT ITER 1565 NEW BEST:: SOT 875844 SOS 676191 HAS SOPS 403984 HAS SOUS 59076 HAS SOUPS 34763 WITH SCORE 35439.191
AT ITER 1584 NEW BEST:: SOT 875809 SOS 676138 HAS SOPS 403967 HAS SOUS 59041 HAS SOUPS 34746 WITH SCORE 35422.138
AT ITER 1585 NEW BEST:: SOT 875789 SOS 676113 HAS SOPS 403952 HAS SOUS 59031 HAS SOUPS 34741 WITH SCORE 35417.113
AT ITER 1593 NEW BEST:: SOT 875769 SOS 675246 HAS SOPS 403915 HAS SOUS 58909 HAS SOUPS 34673 WITH SCORE 35348.246
AT ITER 1608 NEW BEST:: SOT 875699 SOS 676366 HAS SOPS 405035 HAS SOUS 58895 HAS SOUPS 34659 WITH SCORE 35335.366
AT ITER 1637 NEW BEST:: SOT 875696 SOS 676363 HAS SOPS 405032 HAS SOUS 58892 HAS SOUPS 34656 WITH SCORE 35332.363
AT ITER 1664 NEW BEST:: SOT 875132 SOS 675799 HAS SOPS 404468 HAS SOUS 58892 HAS SOUPS 34656 WITH SCORE 35331.799
AT ITER 1670 NEW BEST:: SOT 875092 SOS 675706 HAS SOPS 404413 HAS SOUS 58865 HAS SOUPS 34629 WITH SCORE 35304.706
AT ITER 1697 NEW BEST:: SOT 875070 SOS 675487 HAS SOPS 404722 HAS SOUS 58821 HAS SOUPS 34618 WITH SCORE 35293.487
AT ITER 1698 NEW BEST:: SOT 875094 SOS 675521 HAS SOPS 404731 HAS SOUS 58822 HAS SOUPS 34607 WITH SCORE 35282.521
AT ITER 1721 NEW BEST:: SOT 875043 SOS 675458 HAS SOPS 404692 HAS SOUS 58797 HAS SOUPS 34594 WITH SCORE 35269.458
AT ITER 1722 NEW BEST:: SOT 875026 SOS 675121 HAS SOPS 404355 HAS SOUS 58794 HAS SOUPS 34591 WITH SCORE 35266.121
AT ITER 1729 NEW BEST:: SOT 874994 SOS 675070 HAS SOPS 404342 HAS SOUS 58762 HAS SOUPS 34578 WITH SCORE 35253.07
AT ITER 1730 NEW BEST:: SOT 874906 SOS 673134 HAS SOPS 403286 HAS SOUS 58696 HAS SOUPS 34567 WITH SCORE 35240.134
AT ITER 1734 NEW BEST:: SOT 874848 SOS 673044 HAS SOPS 403260 HAS SOUS 58638 HAS SOUPS 34541 WITH SCORE 35214.044
AT ITER 1766 NEW BEST:: SOT 874535 SOS 672664 HAS SOPS 403014 HAS SOUS 58597 HAS SOUPS 34541 WITH SCORE 35213.664
AT ITER 1779 NEW BEST:: SOT 874505 SOS 671260 HAS SOPS 402458 HAS SOUS 58535 HAS SOUPS 34532 WITH SCORE 35203.26
AT ITER 1824 NEW BEST:: SOT 874435 SOS 671190 HAS SOPS 402388 HAS SOUS 58527 HAS SOUPS 34524 WITH SCORE 35195.19
AT ITER 1825 NEW BEST:: SOT 874303 SOS 671058 HAS SOPS 402256 HAS SOUS 58527 HAS SOUPS 34524 WITH SCORE 35195.058
AT ITER 1833 NEW BEST:: SOT 874295 SOS 670546 HAS SOPS 402240 HAS SOUS 58488 HAS SOUPS 34516 WITH SCORE 35186.546
AT ITER 1866 NEW BEST:: SOT 874302 SOS 670554 HAS SOPS 402244 HAS SOUS 58483 HAS SOUPS 34512 WITH SCORE 35182.554
AT ITER 1867 NEW BEST:: SOT 874296 SOS 670446 HAS SOPS 402136 HAS SOUS 58477 HAS SOUPS 34506 WITH SCORE 35176.446
AT ITER 1876 NEW BEST:: SOT 874263 SOS 670413 HAS SOPS 402136 HAS SOUS 58477 HAS SOUPS 34506 WITH SCORE 35176.413
AT ITER 1878 NEW BEST:: SOT 874255 SOS 670405 HAS SOPS 402128 HAS SOUS 58469 HAS SOUPS 34498 WITH SCORE 35168.405
AT ITER 1888 NEW BEST:: SOT 874134 SOS 669307 HAS SOPS 401030 HAS SOUS 58470 HAS SOUPS 34499 WITH SCORE 35168.307
AT ITER 1895 NEW BEST:: SOT 873997 SOS 659398 HAS SOPS 391155 HAS SOUS 58395 HAS SOUPS 34424 WITH SCORE 35083.398
AT ITER 1896 NEW BEST:: SOT 873928 SOS 659260 HAS SOPS 391086 HAS SOUS 58254 HAS SOUPS 34356 WITH SCORE 35015.26
AT ITER 1904 NEW BEST:: SOT 874701 SOS 660261 HAS SOPS 391437 HAS SOUS 58092 HAS SOUPS 34166 WITH SCORE 34826.261
AT ITER 1922 NEW BEST:: SOT 874699 SOS 660164 HAS SOPS 391388 HAS SOUS 58084 HAS SOUPS 34161 WITH SCORE 34821.164
AT ITER 1964 NEW BEST:: SOT 874714 SOS 660434 HAS SOPS 391658 HAS SOUS 58064 HAS SOUPS 34141 WITH SCORE 34801.434
AT ITER 1967 NEW BEST:: SOT 874473 SOS 659810 HAS SOPS 391475 HAS SOUS 58043 HAS SOUPS 34141 WITH SCORE 34800.81
AT ITER 1975 NEW BEST:: SOT 874473 SOS 659810 HAS SOPS 391475 HAS SOUS 58025 HAS SOUPS 34131 WITH SCORE 34790.81
AT ITER 1976 NEW BEST:: SOT 874414 SOS 659900 HAS SOPS 390909 HAS SOUS 58038 HAS SOUPS 34103 WITH SCORE 34762.9
AT ITER 1984 NEW BEST:: SOT 874738 SOS 660224 HAS SOPS 391233 HAS SOUS 58035 HAS SOUPS 34101 WITH SCORE 34761.224
AT ITER 1999 NEW BEST:: SOT 874865 SOS 660377 HAS SOPS 391321 HAS SOUS 58032 HAS SOUPS 34098 WITH SCORE 34758.377
AT ITER 2028 NEW BEST:: SOT 874909 SOS 660421 HAS SOPS 391165 HAS SOUS 57811 HAS SOUPS 33877 WITH SCORE 34537.421
AT ITER 2035 NEW BEST:: SOT 874845 SOS 660335 HAS SOPS 391079 HAS SOUS 57759 HAS SOUPS 33859 WITH SCORE 34519.335
AT ITER 2052 NEW BEST:: SOT 873706 SOS 655462 HAS SOPS 388582 HAS SOUS 57600 HAS SOUPS 33783 WITH SCORE 34438.462
AT ITER 2068 NEW BEST:: SOT 873346 SOS 654592 HAS SOPS 388372 HAS SOUS 57555 HAS SOUPS 33768 WITH SCORE 34422.592
AT ITER 2071 NEW BEST:: SOT 873403 SOS 654685 HAS SOPS 388429 HAS SOUS 57581 HAS SOUPS 33758 WITH SCORE 34412.685
AT ITER 2083 NEW BEST:: SOT 873411 SOS 654525 HAS SOPS 388397 HAS SOUS 57571 HAS SOUPS 33756 WITH SCORE 34410.525
AT ITER 2086 NEW BEST:: SOT 873331 SOS 653861 HAS SOPS 387813 HAS SOUS 57562 HAS SOUPS 33754 WITH SCORE 34407.861
AT ITER 2099 NEW BEST:: SOT 874267 SOS 654914 HAS SOPS 388632 HAS SOUS 57611 HAS SOUPS 33743 WITH SCORE 34397.914
AT ITER 2111 NEW BEST:: SOT 874267 SOS 654306 HAS SOPS 388344 HAS SOUS 57577 HAS SOUPS 33729 WITH SCORE 34383.306
AT ITER 2135 NEW BEST:: SOT 874082 SOS 654859 HAS SOPS 388033 HAS SOUS 57530 HAS SOUPS 33625 WITH SCORE 34279.859
AT ITER 2136 NEW BEST:: SOT 873959 SOS 654614 HAS SOPS 387959 HAS SOUS 57489 HAS SOUPS 33625 WITH SCORE 34279.614
AT ITER 2145 NEW BEST:: SOT 873175 SOS 653687 HAS SOPS 387318 HAS SOUS 57400 HAS SOUPS 33620 WITH SCORE 34273.687
AT ITER 2152 NEW BEST:: SOT 873114 SOS 653626 HAS SOPS 387318 HAS SOUS 57400 HAS SOUPS 33620 WITH SCORE 34273.626
AT ITER 2157 NEW BEST:: SOT 873175 SOS 653799 HAS SOPS 387358 HAS SOUS 57385 HAS SOUPS 33605 WITH SCORE 34258.799
AT ITER 2162 NEW BEST:: SOT 873183 SOS 649399 HAS SOPS 384110 HAS SOUS 57287 HAS SOUPS 33579 WITH SCORE 34228.399
AT ITER 2163 NEW BEST:: SOT 873153 SOS 649327 HAS SOPS 384038 HAS SOUS 57257 HAS SOUPS 33549 WITH SCORE 34198.327
AT ITER 2189 NEW BEST:: SOT 873142 SOS 648681 HAS SOPS 384240 HAS SOUS 57162 HAS SOUPS 33507 WITH SCORE 34155.681
AT ITER 2194 NEW BEST:: SOT 873139 SOS 648576 HAS SOPS 384183 HAS SOUS 57147 HAS SOUPS 33495 WITH SCORE 34143.576
AT ITER 2221 NEW BEST:: SOT 873356 SOS 648831 HAS SOPS 384286 HAS SOUS 57056 HAS SOUPS 33442 WITH SCORE 34090.831
AT ITER 2227 NEW BEST:: SOT 873337 SOS 648812 HAS SOPS 384267 HAS SOUS 57037 HAS SOUPS 33423 WITH SCORE 34071.812
AT ITER 2228 NEW BEST:: SOT 873335 SOS 648808 HAS SOPS 384267 HAS SOUS 57035 HAS SOUPS 33423 WITH SCORE 34071.808
AT ITER 2255 NEW BEST:: SOT 873293 SOS 648212 HAS SOPS 382695 HAS SOUS 57028 HAS SOUPS 33355 WITH SCORE 34003.212
AT ITER 2290 NEW BEST:: SOT 873214 SOS 648094 HAS SOPS 382616 HAS SOUS 56986 HAS SOUPS 33352 WITH SCORE 34000.094
AT ITER 2302 NEW BEST:: SOT 873189 SOS 647877 HAS SOPS 382591 HAS SOUS 56937 HAS SOUPS 33315 WITH SCORE 33962.877
AT ITER 2329 NEW BEST:: SOT 873203 SOS 647876 HAS SOPS 382591 HAS SOUS 56922 HAS SOUPS 33315 WITH SCORE 33962.876
AT ITER 2342 NEW BEST:: SOT 873255 SOS 646604 HAS SOPS 382102 HAS SOUS 56892 HAS SOUPS 33292 WITH SCORE 33938.604
AT ITER 2403 NEW BEST:: SOT 873360 SOS 646709 HAS SOPS 382095 HAS SOUS 56885 HAS SOUPS 33285 WITH SCORE 33931.709
AT ITER 2407 NEW BEST:: SOT 872178 SOS 645514 HAS SOPS 381282 HAS SOUS 56893 HAS SOUPS 33255 WITH SCORE 33900.514
AT ITER 2408 NEW BEST:: SOT 872082 SOS 645146 HAS SOPS 381090 HAS SOUS 56877 HAS SOUPS 33247 WITH SCORE 33892.146
AT ITER 2411 NEW BEST:: SOT 872686 SOS 646756 HAS SOPS 381538 HAS SOUS 56723 HAS SOUPS 33182 WITH SCORE 33828.756
AT ITER 2424 NEW BEST:: SOT 872686 SOS 646756 HAS SOPS 381538 HAS SOUS 56705 HAS SOUPS 33172 WITH SCORE 33818.756
AT ITER 2439 NEW BEST:: SOT 872683 SOS 646750 HAS SOPS 381538 HAS SOUS 56702 HAS SOUPS 33172 WITH SCORE 33818.75
AT ITER 2520 NEW BEST:: SOT 872682 SOS 646746 HAS SOPS 381534 HAS SOUS 56702 HAS SOUPS 33172 WITH SCORE 33818.746
AT ITER 2524 NEW BEST:: SOT 872608 SOS 646543 HAS SOPS 381485 HAS SOUS 56693 HAS SOUPS 33171 WITH SCORE 33817.543
AT ITER 2525 NEW BEST:: SOT 872617 SOS 646901 HAS SOPS 381523 HAS SOUS 56680 HAS SOUPS 33138 WITH SCORE 33784.901
AT ITER 2528 NEW BEST:: SOT 872603 SOS 646141 HAS SOPS 381085 HAS SOUS 56666 HAS SOUPS 33124 WITH SCORE 33770.141
AT ITER 2530 NEW BEST:: SOT 872612 SOS 646159 HAS SOPS 381085 HAS SOUS 56666 HAS SOUPS 33119 WITH SCORE 33765.159
AT ITER 2537 NEW BEST:: SOT 872612 SOS 646159 HAS SOPS 381085 HAS SOUS 56657 HAS SOUPS 33114 WITH SCORE 33760.159
AT ITER 2567 NEW BEST:: SOT 872612 SOS 646159 HAS SOPS 381085 HAS SOUS 56639 HAS SOUPS 33104 WITH SCORE 33750.159
AT ITER 2636 NEW BEST:: SOT 872624 SOS 646183 HAS SOPS 381085 HAS SOUS 56633 HAS SOUPS 33094 WITH SCORE 33740.183
AT ITER 2651 NEW BEST:: SOT 872586 SOS 646145 HAS SOPS 381085 HAS SOUS 56633 HAS SOUPS 33094 WITH SCORE 33740.145
AT ITER 2681 NEW BEST:: SOT 873226 SOS 646941 HAS SOPS 381547 HAS SOUS 56546 HAS SOUPS 33041 WITH SCORE 33687.941
AT ITER 2686 NEW BEST:: SOT 873226 SOS 646941 HAS SOPS 381547 HAS SOUS 56537 HAS SOUPS 33036 WITH SCORE 33682.941
AT ITER 2719 NEW BEST:: SOT 873127 SOS 646666 HAS SOPS 381481 HAS SOUS 56526 HAS SOUPS 33036 WITH SCORE 33682.666
AT ITER 2722 NEW BEST:: SOT 873133 SOS 646675 HAS SOPS 381487 HAS SOUS 56528 HAS SOUPS 33035 WITH SCORE 33681.675
AT ITER 2731 NEW BEST:: SOT 872522 SOS 645331 HAS SOPS 381121 HAS SOUS 56490 HAS SOUPS 33036 WITH SCORE 33681.331
AT ITER 2765 NEW BEST:: SOT 872533 SOS 645355 HAS SOPS 381127 HAS SOUS 56489 HAS SOUPS 33034 WITH SCORE 33679.355
AT ITER 2793 NEW BEST:: SOT 872708 SOS 645530 HAS SOPS 381177 HAS SOUS 56458 HAS SOUPS 33003 WITH SCORE 33648.53
AT ITER 2828 NEW BEST:: SOT 872707 SOS 645513 HAS SOPS 381174 HAS SOUS 56456 HAS SOUPS 33001 WITH SCORE 33646.513
AT ITER 2830 NEW BEST:: SOT 872671 SOS 645441 HAS SOPS 381174 HAS SOUS 56420 HAS SOUPS 33001 WITH SCORE 33646.441
AT ITER 2831 NEW BEST:: SOT 872647 SOS 645393 HAS SOPS 380934 HAS SOUS 56420 HAS SOUPS 32989 WITH SCORE 33634.393
AT ITER 2836 NEW BEST:: SOT 872353 SOS 644909 HAS SOPS 380594 HAS SOUS 56397 HAS SOUPS 32966 WITH SCORE 33610.909
AT ITER 2866 NEW BEST:: SOT 872353 SOS 644909 HAS SOPS 380594 HAS SOUS 56379 HAS SOUPS 32954 WITH SCORE 33598.909
AT ITER 2879 NEW BEST:: SOT 872335 SOS 644729 HAS SOPS 380558 HAS SOUS 56352 HAS SOUPS 32936 WITH SCORE 33580.729
AT ITER 3009 NEW BEST:: SOT 873687 SOS 646110 HAS SOPS 381674 HAS SOUS 56363 HAS SOUPS 32915 WITH SCORE 33561.11
AT ITER 3031 NEW BEST:: SOT 873687 SOS 646110 HAS SOPS 381674 HAS SOUS 56354 HAS SOUPS 32910 WITH SCORE 33556.11
AT ITER 3042 NEW BEST:: SOT 873525 SOS 645948 HAS SOPS 381512 HAS SOUS 56300 HAS SOUPS 32880 WITH SCORE 33525.948
AT ITER 3045 NEW BEST:: SOT 873469 SOS 644940 HAS SOPS 381656 HAS SOUS 56104 HAS SOUPS 32756 WITH SCORE 33400.94
AT ITER 3052 NEW BEST:: SOT 873479 SOS 644695 HAS SOPS 381491 HAS SOUS 56094 HAS SOUPS 32751 WITH SCORE 33395.695
AT ITER 3070 NEW BEST:: SOT 873488 SOS 644587 HAS SOPS 381482 HAS SOUS 56067 HAS SOUPS 32733 WITH SCORE 33377.587
AT ITER 3072 NEW BEST:: SOT 873482 SOS 644581 HAS SOPS 381479 HAS SOUS 56064 HAS SOUPS 32730 WITH SCORE 33374.581
AT ITER 3089 NEW BEST:: SOT 873480 SOS 644579 HAS SOPS 381479 HAS SOUS 56064 HAS SOUPS 32730 WITH SCORE 33374.579
AT ITER 3100 NEW BEST:: SOT 873448 SOS 643149 HAS SOPS 381315 HAS SOUS 55915 HAS SOUPS 32666 WITH SCORE 33309.149
AT ITER 3116 NEW BEST:: SOT 873433 SOS 643119 HAS SOPS 381315 HAS SOUS 55900 HAS SOUPS 32666 WITH SCORE 33309.119
AT ITER 3122 NEW BEST:: SOT 873473 SOS 643127 HAS SOPS 381323 HAS SOUS 55868 HAS SOUPS 32642 WITH SCORE 33285.127
AT ITER 3124 NEW BEST:: SOT 873851 SOS 643505 HAS SOPS 381431 HAS SOUS 55814 HAS SOUPS 32588 WITH SCORE 33231.505
AT ITER 3145 NEW BEST:: SOT 873791 SOS 643443 HAS SOPS 381354 HAS SOUS 55812 HAS SOUPS 32571 WITH SCORE 33214.443
AT ITER 3146 NEW BEST:: SOT 873785 SOS 643399 HAS SOPS 381278 HAS SOUS 55808 HAS SOUPS 32565 WITH SCORE 33208.399
AT ITER 3167 NEW BEST:: SOT 873783 SOS 643363 HAS SOPS 381242 HAS SOUS 55806 HAS SOUPS 32563 WITH SCORE 33206.363
AT ITER 3171 NEW BEST:: SOT 873675 SOS 643347 HAS SOPS 381268 HAS SOUS 55821 HAS SOUPS 32551 WITH SCORE 33194.347
AT ITER 3174 NEW BEST:: SOT 873678 SOS 643354 HAS SOPS 381269 HAS SOUS 55821 HAS SOUPS 32550 WITH SCORE 33193.354
AT ITER 3193 NEW BEST:: SOT 873678 SOS 643354 HAS SOPS 381269 HAS SOUS 55794 HAS SOUPS 32535 WITH SCORE 33178.354
AT ITER 3198 NEW BEST:: SOT 872890 SOS 637240 HAS SOPS 377475 HAS SOUS 55694 HAS SOUPS 32435 WITH SCORE 33072.24
AT ITER 3202 NEW BEST:: SOT 872368 SOS 636718 HAS SOPS 376953 HAS SOUS 55694 HAS SOUPS 32435 WITH SCORE 33071.718
AT ITER 3232 NEW BEST:: SOT 871813 SOS 634980 HAS SOPS 375286 HAS SOUS 55667 HAS SOUPS 32337 WITH SCORE 32971.98
AT ITER 3262 NEW BEST:: SOT 871900 SOS 633876 HAS SOPS 375318 HAS SOUS 55580 HAS SOUPS 32321 WITH SCORE 32954.876
AT ITER 3263 NEW BEST:: SOT 871204 SOS 624869 HAS SOPS 367603 HAS SOUS 55481 HAS SOUPS 32210 WITH SCORE 32834.869
AT ITER 3277 NEW BEST:: SOT 871153 SOS 622479 HAS SOPS 366685 HAS SOUS 55385 HAS SOUPS 32206 WITH SCORE 32828.479
AT ITER 3292 NEW BEST:: SOT 871178 SOS 622504 HAS SOPS 366662 HAS SOUS 55362 HAS SOUPS 32183 WITH SCORE 32805.504
AT ITER 3299 NEW BEST:: SOT 871178 SOS 621664 HAS SOPS 365982 HAS SOUS 55352 HAS SOUPS 32183 WITH SCORE 32804.664
AT ITER 3321 NEW BEST:: SOT 871547 SOS 622480 HAS SOPS 366216 HAS SOUS 55262 HAS SOUPS 32111 WITH SCORE 32733.48
AT ITER 3347 NEW BEST:: SOT 871717 SOS 622650 HAS SOPS 366301 HAS SOUS 55245 HAS SOUPS 32094 WITH SCORE 32716.65
AT ITER 3358 NEW BEST:: SOT 871716 SOS 622649 HAS SOPS 366301 HAS SOUS 55245 HAS SOUPS 32094 WITH SCORE 32716.649
AT ITER 3379 NEW BEST:: SOT 871596 SOS 622529 HAS SOPS 366181 HAS SOUS 55245 HAS SOUPS 32094 WITH SCORE 32716.529
AT ITER 3424 NEW BEST:: SOT 871591 SOS 622452 HAS SOPS 366171 HAS SOUS 55163 HAS SOUPS 32084 WITH SCORE 32706.452
AT ITER 3442 NEW BEST:: SOT 870911 SOS 619970 HAS SOPS 363951 HAS SOUS 55109 HAS SOUPS 32030 WITH SCORE 32649.97
AT ITER 3460 NEW BEST:: SOT 870892 SOS 619951 HAS SOPS 363951 HAS SOUS 55109 HAS SOUPS 32030 WITH SCORE 32649.951
AT ITER 3488 NEW BEST:: SOT 870832 SOS 620816 HAS SOPS 364576 HAS SOUS 55104 HAS SOUPS 32010 WITH SCORE 32630.816
AT ITER 3502 NEW BEST:: SOT 870777 SOS 620671 HAS SOPS 364536 HAS SOUS 55094 HAS SOUPS 32005 WITH SCORE 32625.671
AT ITER 3509 NEW BEST:: SOT 870777 SOS 620603 HAS SOPS 364484 HAS SOUS 55093 HAS SOUPS 32005 WITH SCORE 32625.603
AT ITER 3512 NEW BEST:: SOT 870677 SOS 620333 HAS SOPS 364404 HAS SOUS 55083 HAS SOUPS 31995 WITH SCORE 32615.333
AT ITER 3523 NEW BEST:: SOT 870664 SOS 620307 HAS SOPS 364404 HAS SOUS 55070 HAS SOUPS 31995 WITH SCORE 32615.307
AT ITER 3525 NEW BEST:: SOT 870231 SOS 618986 HAS SOPS 363923 HAS SOUS 55024 HAS SOUPS 31989 WITH SCORE 32607.986
AT ITER 3577 NEW BEST:: SOT 870300 SOS 618964 HAS SOPS 363865 HAS SOUS 54978 HAS SOUPS 31969 WITH SCORE 32587.964
AT ITER 3583 NEW BEST:: SOT 870330 SOS 618318 HAS SOPS 364003 HAS SOUS 54872 HAS SOUPS 31912 WITH SCORE 32530.318
AT ITER 3605 NEW BEST:: SOT 870329 SOS 618317 HAS SOPS 364003 HAS SOUS 54870 HAS SOUPS 31910 WITH SCORE 32528.317
AT ITER 3610 NEW BEST:: SOT 870230 SOS 618136 HAS SOPS 363937 HAS SOUS 54820 HAS SOUPS 31893 WITH SCORE 32511.136
AT ITER 3614 NEW BEST:: SOT 870282 SOS 618206 HAS SOPS 363937 HAS SOUS 54829 HAS SOUPS 31888 WITH SCORE 32506.206
AT ITER 3625 NEW BEST:: SOT 870058 SOS 617787 HAS SOPS 363760 HAS SOUS 54759 HAS SOUPS 31865 WITH SCORE 32482.787
AT ITER 3632 NEW BEST:: SOT 870064 SOS 617793 HAS SOPS 363754 HAS SOUS 54753 HAS SOUPS 31859 WITH SCORE 32476.793
AT ITER 3654 NEW BEST:: SOT 870256 SOS 616126 HAS SOPS 363318 HAS SOUS 54720 HAS SOUPS 31842 WITH SCORE 32458.126
AT ITER 3671 NEW BEST:: SOT 870256 SOS 616330 HAS SOPS 363522 HAS SOUS 54714 HAS SOUPS 31836 WITH SCORE 32452.33
AT ITER 3680 NEW BEST:: SOT 870254 SOS 616328 HAS SOPS 363522 HAS SOUS 54714 HAS SOUPS 31836 WITH SCORE 32452.328
AT ITER 3696 NEW BEST:: SOT 870253 SOS 616303 HAS SOPS 363521 HAS SOUS 54689 HAS SOUPS 31835 WITH SCORE 32451.303
AT ITER 3712 NEW BEST:: SOT 870246 SOS 616293 HAS SOPS 363511 HAS SOUS 54685 HAS SOUPS 31831 WITH SCORE 32447.293
AT ITER 3724 NEW BEST:: SOT 870236 SOS 615021 HAS SOPS 362239 HAS SOUS 54685 HAS SOUPS 31831 WITH SCORE 32446.021
AT ITER 3750 NEW BEST:: SOT 870230 SOS 614881 HAS SOPS 362163 HAS SOUS 54673 HAS SOUPS 31823 WITH SCORE 32437.881
AT ITER 3764 NEW BEST:: SOT 870208 SOS 614826 HAS SOPS 362295 HAS SOUS 54651 HAS SOUPS 31812 WITH SCORE 32426.826
AT ITER 3824 NEW BEST:: SOT 870191 SOS 614792 HAS SOPS 362295 HAS SOUS 54641 HAS SOUPS 31812 WITH SCORE 32426.792
AT ITER 3825 NEW BEST:: SOT 869981 SOS 614297 HAS SOPS 361890 HAS SOUS 54611 HAS SOUPS 31782 WITH SCORE 32396.297
AT ITER 3831 NEW BEST:: SOT 869981 SOS 614297 HAS SOPS 361890 HAS SOUS 54587 HAS SOUPS 31758 WITH SCORE 32372.297
AT ITER 3839 NEW BEST:: SOT 869484 SOS 613692 HAS SOPS 361555 HAS SOUS 54518 HAS SOUPS 31689 WITH SCORE 32302.692
AT ITER 3840 NEW BEST:: SOT 869484 SOS 613692 HAS SOPS 361555 HAS SOUS 54515 HAS SOUPS 31687 WITH SCORE 32300.692
AT ITER 3866 NEW BEST:: SOT 869567 SOS 613775 HAS SOPS 361553 HAS SOUS 54513 HAS SOUPS 31685 WITH SCORE 32298.775
AT ITER 3872 NEW BEST:: SOT 869565 SOS 613709 HAS SOPS 361519 HAS SOUS 54511 HAS SOUPS 31685 WITH SCORE 32298.709
AT ITER 3875 NEW BEST:: SOT 869555 SOS 613696 HAS SOPS 361515 HAS SOUS 54506 HAS SOUPS 31683 WITH SCORE 32296.696
AT ITER 3882 NEW BEST:: SOT 869554 SOS 613726 HAS SOPS 361545 HAS SOUS 54476 HAS SOUPS 31653 WITH SCORE 32266.726
AT ITER 3886 NEW BEST:: SOT 869086 SOS 612988 HAS SOPS 361178 HAS SOUS 54362 HAS SOUPS 31629 WITH SCORE 32241.988
AT ITER 3897 NEW BEST:: SOT 869084 SOS 612884 HAS SOPS 361074 HAS SOUS 54361 HAS SOUPS 31628 WITH SCORE 32240.884
AT ITER 3907 NEW BEST:: SOT 869100 SOS 612900 HAS SOPS 361064 HAS SOUS 54351 HAS SOUPS 31618 WITH SCORE 32230.9
AT ITER 3937 NEW BEST:: SOT 869151 SOS 613015 HAS SOPS 361138 HAS SOUS 54318 HAS SOUPS 31521 WITH SCORE 32134.015
AT ITER 3938 NEW BEST:: SOT 868896 SOS 612334 HAS SOPS 360575 HAS SOUS 54336 HAS SOUPS 31517 WITH SCORE 32129.334
AT ITER 3967 NEW BEST:: SOT 868753 SOS 613952 HAS SOPS 360657 HAS SOUS 54425 HAS SOUPS 31510 WITH SCORE 32123.952
AT ITER 4046 NEW BEST:: SOT 868862 SOS 614389 HAS SOPS 361101 HAS SOUS 54385 HAS SOUPS 31470 WITH SCORE 32084.389
AT ITER 4067 NEW BEST:: SOT 868856 SOS 614383 HAS SOPS 361047 HAS SOUS 54382 HAS SOUPS 31464 WITH SCORE 32078.383
AT ITER 4085 NEW BEST:: SOT 868964 SOS 614774 HAS SOPS 361208 HAS SOUS 54154 HAS SOUPS 31401 WITH SCORE 32015.774
AT ITER 4139 NEW BEST:: SOT 868963 SOS 614772 HAS SOPS 361206 HAS SOUS 54150 HAS SOUPS 31397 WITH SCORE 32011.772
AT ITER 4154 NEW BEST:: SOT 869305 SOS 615114 HAS SOPS 361548 HAS SOUS 54144 HAS SOUPS 31393 WITH SCORE 32008.114
AT ITER 4155 NEW BEST:: SOT 869272 SOS 615526 HAS SOPS 361960 HAS SOUS 54130 HAS SOUPS 31379 WITH SCORE 31994.526
AT ITER 4175 NEW BEST:: SOT 869272 SOS 615526 HAS SOPS 361960 HAS SOUS 54090 HAS SOUPS 31339 WITH SCORE 31954.526
AT ITER 4179 NEW BEST:: SOT 869472 SOS 615747 HAS SOPS 362076 HAS SOUS 54069 HAS SOUPS 31318 WITH SCORE 31933.747
AT ITER 4263 NEW BEST:: SOT 870008 SOS 616283 HAS SOPS 362210 HAS SOUS 54056 HAS SOUPS 31305 WITH SCORE 31921.283
AT ITER 4287 NEW BEST:: SOT 869988 SOS 616277 HAS SOPS 362210 HAS SOUS 54070 HAS SOUPS 31305 WITH SCORE 31921.277000000002
AT ITER 4293 NEW BEST:: SOT 869979 SOS 616106 HAS SOPS 362183 HAS SOUS 54034 HAS SOUPS 31278 WITH SCORE 31894.106
AT ITER 4305 NEW BEST:: SOT 869977 SOS 616104 HAS SOPS 362181 HAS SOUS 54032 HAS SOUPS 31276 WITH SCORE 31892.104
AT ITER 4373 NEW BEST:: SOT 869964 SOS 616057 HAS SOPS 362140 HAS SOUS 54031 HAS SOUPS 31275 WITH SCORE 31891.057
AT ITER 4396 NEW BEST:: SOT 869889 SOS 614794 HAS SOPS 361903 HAS SOUS 53944 HAS SOUPS 31263 WITH SCORE 31877.794
AT ITER 4420 NEW BEST:: SOT 869857 SOS 614338 HAS SOPS 361743 HAS SOUS 53936 HAS SOUPS 31255 WITH SCORE 31869.338
AT ITER 4424 NEW BEST:: SOT 869496 SOS 613835 HAS SOPS 361392 HAS SOUS 53926 HAS SOUPS 31229 WITH SCORE 31842.835
AT ITER 4431 NEW BEST:: SOT 869494 SOS 613799 HAS SOPS 361356 HAS SOUS 53922 HAS SOUPS 31225 WITH SCORE 31838.799
AT ITER 4432 NEW BEST:: SOT 869456 SOS 613051 HAS SOPS 361072 HAS SOUS 53891 HAS SOUPS 31223 WITH SCORE 31836.051
AT ITER 4438 NEW BEST:: SOT 869405 SOS 612133 HAS SOPS 360970 HAS SOUS 53838 HAS SOUPS 31221 WITH SCORE 31833.133
AT ITER 4448 NEW BEST:: SOT 869425 SOS 612297 HAS SOPS 360979 HAS SOUS 53821 HAS SOUPS 31204 WITH SCORE 31816.297
AT ITER 4449 NEW BEST:: SOT 869425 SOS 611921 HAS SOPS 360811 HAS SOUS 53813 HAS SOUPS 31196 WITH SCORE 31807.921
AT ITER 4476 NEW BEST:: SOT 869321 SOS 611722 HAS SOPS 360759 HAS SOUS 53778 HAS SOUPS 31187 WITH SCORE 31798.722
AT ITER 4495 NEW BEST:: SOT 869321 SOS 611722 HAS SOPS 360759 HAS SOUS 53724 HAS SOUPS 31133 WITH SCORE 31744.722
AT ITER 4499 NEW BEST:: SOT 869291 SOS 611692 HAS SOPS 360759 HAS SOUS 53716 HAS SOUPS 31125 WITH SCORE 31736.692
AT ITER 4505 NEW BEST:: SOT 869290 SOS 611667 HAS SOPS 360734 HAS SOUS 53694 HAS SOUPS 31103 WITH SCORE 31714.667
AT ITER 4530 NEW BEST:: SOT 869281 SOS 611658 HAS SOPS 360734 HAS SOUS 53694 HAS SOUPS 31103 WITH SCORE 31714.658
AT ITER 4533 NEW BEST:: SOT 869256 SOS 611633 HAS SOPS 360734 HAS SOUS 53694 HAS SOUPS 31103 WITH SCORE 31714.633
AT ITER 4535 NEW BEST:: SOT 869243 SOS 611607 HAS SOPS 360734 HAS SOUS 53681 HAS SOUPS 31103 WITH SCORE 31714.607
AT ITER 4545 NEW BEST:: SOT 868749 SOS 610265 HAS SOPS 360453 HAS SOUS 53655 HAS SOUPS 31095 WITH SCORE 31705.265
AT ITER 4574 NEW BEST:: SOT 868757 SOS 610299 HAS SOPS 360459 HAS SOUS 53653 HAS SOUPS 31091 WITH SCORE 31701.299
AT ITER 4598 NEW BEST:: SOT 868757 SOS 610299 HAS SOPS 360459 HAS SOUS 53617 HAS SOUPS 31071 WITH SCORE 31681.299
AT ITER 4607 NEW BEST:: SOT 868757 SOS 610299 HAS SOPS 360459 HAS SOUS 53608 HAS SOUPS 31066 WITH SCORE 31676.299
AT ITER 4613 NEW BEST:: SOT 868622 SOS 609909 HAS SOPS 360321 HAS SOUS 53590 HAS SOUPS 31060 WITH SCORE 31669.909
AT ITER 4616 NEW BEST:: SOT 868483 SOS 608766 HAS SOPS 358915 HAS SOUS 53638 HAS SOUPS 31060 WITH SCORE 31668.766
AT ITER 4622 NEW BEST:: SOT 868435 SOS 607947 HAS SOPS 358231 HAS SOUS 53641 HAS SOUPS 31054 WITH SCORE 31661.947
AT ITER 4627 NEW BEST:: SOT 868206 SOS 607581 HAS SOPS 358114 HAS SOUS 53484 HAS SOUPS 30962 WITH SCORE 31569.581
AT ITER 4635 NEW BEST:: SOT 868002 SOS 607377 HAS SOPS 357910 HAS SOUS 53484 HAS SOUPS 30962 WITH SCORE 31569.377
AT ITER 4641 NEW BEST:: SOT 868010 SOS 607469 HAS SOPS 358002 HAS SOUS 53470 HAS SOUPS 30948 WITH SCORE 31555.469
AT ITER 4659 NEW BEST:: SOT 867921 SOS 605467 HAS SOPS 356912 HAS SOUS 53366 HAS SOUPS 30901 WITH SCORE 31506.467
AT ITER 4661 NEW BEST:: SOT 867922 SOS 605469 HAS SOPS 356897 HAS SOUS 53364 HAS SOUPS 30898 WITH SCORE 31503.469
AT ITER 4673 NEW BEST:: SOT 867542 SOS 604987 HAS SOPS 356619 HAS SOUS 53361 HAS SOUPS 30895 WITH SCORE 31499.987
AT ITER 4674 NEW BEST:: SOT 867518 SOS 604929 HAS SOPS 356605 HAS SOUS 53359 HAS SOUPS 30895 WITH SCORE 31499.929
AT ITER 4681 NEW BEST:: SOT 867500 SOS 604776 HAS SOPS 356452 HAS SOUS 53359 HAS SOUPS 30895 WITH SCORE 31499.776
AT ITER 4713 NEW BEST:: SOT 868210 SOS 606840 HAS SOPS 357100 HAS SOUS 53237 HAS SOUPS 30860 WITH SCORE 31466.84
AT ITER 4726 NEW BEST:: SOT 868192 SOS 606822 HAS SOPS 357100 HAS SOUS 53237 HAS SOUPS 30860 WITH SCORE 31466.822
AT ITER 4731 NEW BEST:: SOT 868162 SOS 606792 HAS SOPS 357070 HAS SOUS 53237 HAS SOUPS 30860 WITH SCORE 31466.792
AT ITER 4744 NEW BEST:: SOT 868172 SOS 606594 HAS SOPS 357208 HAS SOUS 53202 HAS SOUPS 30846 WITH SCORE 31452.594
AT ITER 4756 NEW BEST:: SOT 868190 SOS 606266 HAS SOPS 357218 HAS SOUS 53142 HAS SOUPS 30812 WITH SCORE 31418.266
AT ITER 4772 NEW BEST:: SOT 868302 SOS 606394 HAS SOPS 357266 HAS SOUS 53078 HAS SOUPS 30748 WITH SCORE 31354.394
AT ITER 4804 NEW BEST:: SOT 868299 SOS 606391 HAS SOPS 357263 HAS SOUS 53075 HAS SOUPS 30745 WITH SCORE 31351.391
AT ITER 4821 NEW BEST:: SOT 868772 SOS 607423 HAS SOPS 357521 HAS SOUS 53112 HAS SOUPS 30739 WITH SCORE 31346.423
AT ITER 4823 NEW BEST:: SOT 868549 SOS 606863 HAS SOPS 357360 HAS SOUS 53079 HAS SOUPS 30725 WITH SCORE 31331.863
AT ITER 4836 NEW BEST:: SOT 868677 SOS 606889 HAS SOPS 357426 HAS SOUS 53007 HAS SOUPS 30699 WITH SCORE 31305.889
AT ITER 4861 NEW BEST:: SOT 868447 SOS 606099 HAS SOPS 357021 HAS SOUS 52942 HAS SOUPS 30654 WITH SCORE 31260.099
AT ITER 4864 NEW BEST:: SOT 868463 SOS 606080 HAS SOPS 357023 HAS SOUS 52921 HAS SOUPS 30640 WITH SCORE 31246.08
AT ITER 4901 NEW BEST:: SOT 868419 SOS 606088 HAS SOPS 356695 HAS SOUS 52939 HAS SOUPS 30634 WITH SCORE 31240.088
AT ITER 4902 NEW BEST:: SOT 868353 SOS 605993 HAS SOPS 356648 HAS SOUS 52900 HAS SOUPS 30611 WITH SCORE 31216.993
AT ITER 4910 NEW BEST:: SOT 868107 SOS 604058 HAS SOPS 355903 HAS SOUS 52889 HAS SOUPS 30606 WITH SCORE 31210.058
AT ITER 4998 NEW BEST:: SOT 868102 SOS 604053 HAS SOPS 355902 HAS SOUS 52888 HAS SOUPS 30605 WITH SCORE 31209.053
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-12a-CTLCardinality-00 (! ( (EF(( potential( ( 2 ) <= (tk(P374)) ) & potential( ( 2 ) <= (tk(P293)) ) ))) & (! (AG( potential( (tk(P46)) <= (tk(P372)) )))) ))
PROPERTY: DLCround-PT-12a-CTLCardinality-01 (EF(potential( ( 1 ) <= (tk(P123)) )))
PROPERTY: DLCround-PT-12a-CTLCardinality-02 (! (EF(( ( potential( ( 2 ) <= (tk(P168)) ) & potential( (tk(P28)) <= (tk(P189)) ) ) & ( potential( (tk(P25)) <= (tk(P270)) ) & potential( ( 2 ) <= (tk(P82)) ) ) ))))
PROPERTY: DLCround-PT-12a-CTLCardinality-03 ( (AG( potential( ( 1 ) <= (tk(P370)) ))) | (EF((AG( potential( ( 3 ) <= (tk(P328)) ))))) )
PROPERTY: DLCround-PT-12a-CTLCardinality-04 ( ( ( (AG( potential( ( 1 ) <= (tk(P279)) ))) | (AG( potential( ( 3 ) <= (tk(P221)) ))) ) & (AU( potential( (tk(P325)) <= (tk(P84)) ),potential( (tk(P412)) <= (tk(P206)) ) )) ) | (AG( (AF(potential( (tk(P173)) <= (tk(P255)) ))))) )
PROPERTY: DLCround-PT-12a-CTLCardinality-05 (! (EF((! (! potential( ( 2 ) <= (tk(P269)) ))))))
PROPERTY: DLCround-PT-12a-CTLCardinality-06 (EF(( potential( ( 3 ) <= (tk(P242)) ) & (EF(potential( ( 2 ) <= (tk(P356)) ))) )))
PROPERTY: DLCround-PT-12a-CTLCardinality-07 (EU( (! ( potential( ( 2 ) <= (tk(P91)) ) | potential( ( 2 ) <= (tk(P136)) ) )),( ( potential( (tk(P286)) <= (tk(P50)) ) & potential( ( 1 ) <= (tk(P227)) ) ) & (! potential( (tk(P297)) <= (tk(P417)) )) ) ))
PROPERTY: DLCround-PT-12a-CTLCardinality-08 ( (EF((EX( potential( ( 3 ) <= (tk(P315)) ))))) | potential( ( 3 ) <= (tk(P177)) ) )
PROPERTY: DLCround-PT-12a-CTLCardinality-09 (! (EU( (! potential( ( 2 ) <= (tk(P55)) )),( potential( (tk(P40)) <= (tk(P404)) ) & potential( ( 3 ) <= (tk(P311)) ) ) )))
PROPERTY: DLCround-PT-12a-CTLCardinality-10 (! (EF(( ( potential( ( 3 ) <= (tk(P11)) ) | potential( ( 3 ) <= (tk(P378)) ) ) | potential( ( 2 ) <= (tk(P86)) ) ))))
PROPERTY: DLCround-PT-12a-CTLCardinality-11 (AG( (! (AG( potential( ( 3 ) <= (tk(P74)) ))))))
PROPERTY: DLCround-PT-12a-CTLCardinality-12 (EU( potential( (tk(P271)) <= (tk(P160)) ),(EG( potential( ( 2 ) <= (tk(P272)) ))) ))
PROPERTY: DLCround-PT-12a-CTLCardinality-13 ( ( ( potential( (tk(P217)) <= (tk(P303)) ) | (EX( potential( ( 1 ) <= (tk(P281)) ))) ) | ( (AX( potential( ( 3 ) <= (tk(P280)) ))) & (AG( potential( (tk(P387)) <= (tk(P35)) ))) ) ) & (AG( ( ( potential( ( 1 ) <= (tk(P255)) ) | potential( (tk(P373)) <= (tk(P216)) ) ) | ( potential( ( 3 ) <= (tk(P138)) ) | potential( ( 2 ) <= (tk(P120)) ) ) ))) )
PROPERTY: DLCround-PT-12a-CTLCardinality-14 (EU( (AF(potential( (tk(P276)) <= (tk(P272)) ))),(EF(potential( ( 3 ) <= (tk(P46)) ))) ))
PROPERTY: DLCround-PT-12a-CTLCardinality-15 (EU( (EF(potential( (tk(P366)) <= (tk(P396)) ))),( potential( ( 1 ) <= (tk(P7)) ) & ( potential( ( 3 ) <= (tk(P247)) ) & potential( (tk(P174)) <= (tk(P50)) ) ) ) ))

BK_STOP 1590871238583

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 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="DLCround-PT-12a"
export BK_EXAMINATION="CTLCardinality"
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 DLCround-PT-12a, examination is CTLCardinality"
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-158902542400595"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-12a.tgz
mv DLCround-PT-12a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;