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-158902542400596.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400596
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME DLCround-PT-12a-CTLFireability-01
FORMULA_NAME DLCround-PT-12a-CTLFireability-02
FORMULA_NAME DLCround-PT-12a-CTLFireability-03
FORMULA_NAME DLCround-PT-12a-CTLFireability-04
FORMULA_NAME DLCround-PT-12a-CTLFireability-05
FORMULA_NAME DLCround-PT-12a-CTLFireability-06
FORMULA_NAME DLCround-PT-12a-CTLFireability-07
FORMULA_NAME DLCround-PT-12a-CTLFireability-08
FORMULA_NAME DLCround-PT-12a-CTLFireability-09
FORMULA_NAME DLCround-PT-12a-CTLFireability-10
FORMULA_NAME DLCround-PT-12a-CTLFireability-11
FORMULA_NAME DLCround-PT-12a-CTLFireability-12
FORMULA_NAME DLCround-PT-12a-CTLFireability-13
FORMULA_NAME DLCround-PT-12a-CTLFireability-14
FORMULA_NAME DLCround-PT-12a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869272302

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 20 NEW BEST:: SOT 885398 SOS 762000 HAS SOPS 463075 HAS SOUS 84312 HAS SOUPS 60396 WITH SCORE 61158.0
AT ITER 26 NEW BEST:: SOT 885386 SOS 760956 HAS SOPS 462031 HAS SOUS 84312 HAS SOUPS 60396 WITH SCORE 61156.956
AT ITER 29 NEW BEST:: SOT 885360 SOS 760540 HAS SOPS 461953 HAS SOUS 84208 HAS SOUPS 60318 WITH SCORE 61078.54
AT ITER 32 NEW BEST:: SOT 885524 SOS 759114 HAS SOPS 462143 HAS SOUS 84050 HAS SOUPS 60261 WITH SCORE 61020.114
AT ITER 33 NEW BEST:: SOT 885290 SOS 758934 HAS SOPS 461693 HAS SOUS 83636 HAS SOUPS 59639 WITH SCORE 60397.934
AT ITER 36 NEW BEST:: SOT 885269 SOS 758577 HAS SOPS 461336 HAS SOUS 83615 HAS SOUPS 59618 WITH SCORE 60376.577
AT ITER 47 NEW BEST:: SOT 886303 SOS 754143 HAS SOPS 459616 HAS SOUS 84423 HAS SOUPS 59431 WITH SCORE 60185.143
AT ITER 53 NEW BEST:: SOT 886331 SOS 754170 HAS SOPS 459613 HAS SOUS 84451 HAS SOUPS 59428 WITH SCORE 60182.17
AT ITER 65 NEW BEST:: SOT 885843 SOS 753686 HAS SOPS 458935 HAS SOUS 83262 HAS SOUPS 58279 WITH SCORE 59032.686
AT ITER 76 NEW BEST:: SOT 885817 SOS 753270 HAS SOPS 458857 HAS SOUS 83158 HAS SOUPS 58201 WITH SCORE 58954.27
AT ITER 82 NEW BEST:: SOT 885809 SOS 753191 HAS SOPS 458778 HAS SOUS 83150 HAS SOUPS 58193 WITH SCORE 58946.191
AT ITER 86 NEW BEST:: SOT 885699 SOS 743549 HAS SOPS 450768 HAS SOUS 83041 HAS SOUPS 58186 WITH SCORE 58929.549
AT ITER 89 NEW BEST:: SOT 885669 SOS 743369 HAS SOPS 450718 HAS SOUS 83011 HAS SOUPS 58166 WITH SCORE 58909.369
AT ITER 100 NEW BEST:: SOT 883372 SOS 738611 HAS SOPS 446122 HAS SOUS 82339 HAS SOUPS 57494 WITH SCORE 58232.611
AT ITER 115 NEW BEST:: SOT 882945 SOS 738287 HAS SOPS 445283 HAS SOUS 81549 HAS SOUPS 56316 WITH SCORE 57054.287
AT ITER 121 NEW BEST:: SOT 882922 SOS 738241 HAS SOPS 445237 HAS SOUS 81503 HAS SOUPS 56270 WITH SCORE 57008.241
AT ITER 128 NEW BEST:: SOT 882902 SOS 736501 HAS SOPS 443497 HAS SOUS 81503 HAS SOUPS 56270 WITH SCORE 57006.501
AT ITER 130 NEW BEST:: SOT 882885 SOS 736212 HAS SOPS 443208 HAS SOUS 81486 HAS SOUPS 56253 WITH SCORE 56989.212
AT ITER 132 NEW BEST:: SOT 882544 SOS 736053 HAS SOPS 441957 HAS SOUS 79155 HAS SOUPS 53906 WITH SCORE 54642.053
AT ITER 137 NEW BEST:: SOT 882367 SOS 738423 HAS SOPS 443079 HAS SOUS 79043 HAS SOUPS 53794 WITH SCORE 54532.423
AT ITER 142 NEW BEST:: SOT 884394 SOS 740687 HAS SOPS 445343 HAS SOUS 78942 HAS SOUPS 53693 WITH SCORE 54433.687
AT ITER 155 NEW BEST:: SOT 885409 SOS 741834 HAS SOPS 445698 HAS SOUS 78655 HAS SOUPS 53318 WITH SCORE 54059.834
AT ITER 177 NEW BEST:: SOT 886423 SOS 739162 HAS SOPS 445161 HAS SOUS 80909 HAS SOUPS 53251 WITH SCORE 53990.162
AT ITER 179 NEW BEST:: SOT 886422 SOS 739160 HAS SOPS 445159 HAS SOUS 80907 HAS SOUPS 53249 WITH SCORE 53988.16
AT ITER 188 NEW BEST:: SOT 886662 SOS 739608 HAS SOPS 444359 HAS SOUS 79536 HAS SOUPS 51394 WITH SCORE 52133.608
AT ITER 199 NEW BEST:: SOT 886780 SOS 739972 HAS SOPS 444723 HAS SOUS 79176 HAS SOUPS 51034 WITH SCORE 51773.972
AT ITER 200 NEW BEST:: SOT 886768 SOS 739525 HAS SOPS 444887 HAS SOUS 79119 HAS SOUPS 51024 WITH SCORE 51763.525
AT ITER 205 NEW BEST:: SOT 886651 SOS 739435 HAS SOPS 444662 HAS SOUS 78849 HAS SOUPS 50682 WITH SCORE 51421.435
AT ITER 206 NEW BEST:: SOT 886567 SOS 740001 HAS SOPS 444556 HAS SOUS 78887 HAS SOUPS 50678 WITH SCORE 51418.001
AT ITER 215 NEW BEST:: SOT 886655 SOS 738455 HAS SOPS 444242 HAS SOUS 78797 HAS SOUPS 50665 WITH SCORE 51403.455
AT ITER 216 NEW BEST:: SOT 887204 SOS 739096 HAS SOPS 444423 HAS SOUS 78334 HAS SOUPS 50202 WITH SCORE 50941.096
AT ITER 217 NEW BEST:: SOT 885379 SOS 737080 HAS SOPS 442789 HAS SOUS 78226 HAS SOUPS 50161 WITH SCORE 50898.08
AT ITER 219 NEW BEST:: SOT 885679 SOS 733389 HAS SOPS 442662 HAS SOUS 77847 HAS SOUPS 49569 WITH SCORE 50302.389
AT ITER 226 NEW BEST:: SOT 885660 SOS 733370 HAS SOPS 442536 HAS SOUS 77828 HAS SOUPS 49550 WITH SCORE 50283.37
AT ITER 227 NEW BEST:: SOT 885543 SOS 733313 HAS SOPS 442359 HAS SOUS 77790 HAS SOUPS 49452 WITH SCORE 50185.313
AT ITER 232 NEW BEST:: SOT 885847 SOS 735331 HAS SOPS 442653 HAS SOUS 76835 HAS SOUPS 48986 WITH SCORE 49721.331
AT ITER 234 NEW BEST:: SOT 885785 SOS 734153 HAS SOPS 442467 HAS SOUS 76771 HAS SOUPS 48984 WITH SCORE 49718.153
AT ITER 236 NEW BEST:: SOT 886764 SOS 737103 HAS SOPS 442996 HAS SOUS 76761 HAS SOUPS 48875 WITH SCORE 49612.103
AT ITER 237 NEW BEST:: SOT 886731 SOS 736542 HAS SOPS 442963 HAS SOUS 76695 HAS SOUPS 48842 WITH SCORE 49578.542
AT ITER 239 NEW BEST:: SOT 886723 SOS 736534 HAS SOPS 442955 HAS SOUS 76687 HAS SOUPS 48834 WITH SCORE 49570.534
AT ITER 242 NEW BEST:: SOT 886704 SOS 736211 HAS SOPS 442632 HAS SOUS 76668 HAS SOUPS 48815 WITH SCORE 49551.211
AT ITER 248 NEW BEST:: SOT 886632 SOS 736139 HAS SOPS 442533 HAS SOUS 76488 HAS SOUPS 48644 WITH SCORE 49380.139
AT ITER 255 NEW BEST:: SOT 886657 SOS 736205 HAS SOPS 442599 HAS SOUS 76461 HAS SOUPS 48617 WITH SCORE 49353.205
AT ITER 261 NEW BEST:: SOT 887805 SOS 737353 HAS SOPS 443525 HAS SOUS 76564 HAS SOUPS 48600 WITH SCORE 49337.353
AT ITER 269 NEW BEST:: SOT 887748 SOS 737182 HAS SOPS 443468 HAS SOUS 76507 HAS SOUPS 48600 WITH SCORE 49337.182
AT ITER 284 NEW BEST:: SOT 887604 SOS 737038 HAS SOPS 443324 HAS SOUS 76435 HAS SOUPS 48528 WITH SCORE 49265.038
AT ITER 285 NEW BEST:: SOT 887676 SOS 736403 HAS SOPS 443345 HAS SOUS 76374 HAS SOUPS 48508 WITH SCORE 49244.403
AT ITER 287 NEW BEST:: SOT 887778 SOS 734497 HAS SOPS 442831 HAS SOUS 76230 HAS SOUPS 48451 WITH SCORE 49185.497
AT ITER 288 NEW BEST:: SOT 887768 SOS 734487 HAS SOPS 442821 HAS SOUS 76220 HAS SOUPS 48441 WITH SCORE 49175.487
AT ITER 293 NEW BEST:: SOT 887662 SOS 735622 HAS SOPS 443312 HAS SOUS 76161 HAS SOUPS 48382 WITH SCORE 49117.622
AT ITER 311 NEW BEST:: SOT 887654 SOS 735478 HAS SOPS 443168 HAS SOUS 76153 HAS SOUPS 48374 WITH SCORE 49109.478
AT ITER 314 NEW BEST:: SOT 887651 SOS 735427 HAS SOPS 443165 HAS SOUS 76147 HAS SOUPS 48371 WITH SCORE 49106.427
AT ITER 322 NEW BEST:: SOT 886299 SOS 730363 HAS SOPS 440355 HAS SOUS 74478 HAS SOUPS 45563 WITH SCORE 46293.363
AT ITER 332 NEW BEST:: SOT 886248 SOS 729445 HAS SOPS 440253 HAS SOUS 74412 HAS SOUPS 45548 WITH SCORE 46277.445
AT ITER 344 NEW BEST:: SOT 886180 SOS 729377 HAS SOPS 440185 HAS SOUS 74344 HAS SOUPS 45480 WITH SCORE 46209.377
AT ITER 349 NEW BEST:: SOT 886142 SOS 729339 HAS SOPS 440147 HAS SOUS 74325 HAS SOUPS 45461 WITH SCORE 46190.339
AT ITER 354 NEW BEST:: SOT 886272 SOS 724740 HAS SOPS 439228 HAS SOUS 74562 HAS SOUPS 45288 WITH SCORE 46012.74
AT ITER 367 NEW BEST:: SOT 885967 SOS 728353 HAS SOPS 440541 HAS SOUS 74430 HAS SOUPS 45156 WITH SCORE 45884.353
AT ITER 372 NEW BEST:: SOT 885937 SOS 728293 HAS SOPS 440481 HAS SOUS 74400 HAS SOUPS 45126 WITH SCORE 45854.293
AT ITER 385 NEW BEST:: SOT 885851 SOS 726601 HAS SOPS 439717 HAS SOUS 74286 HAS SOUPS 45070 WITH SCORE 45796.601
AT ITER 387 NEW BEST:: SOT 885663 SOS 726323 HAS SOPS 439657 HAS SOUS 73746 HAS SOUPS 44790 WITH SCORE 45516.323
AT ITER 416 NEW BEST:: SOT 888181 SOS 727506 HAS SOPS 440776 HAS SOUS 75991 HAS SOUPS 44599 WITH SCORE 45326.506
AT ITER 418 NEW BEST:: SOT 888093 SOS 725474 HAS SOPS 439784 HAS SOUS 75885 HAS SOUPS 44558 WITH SCORE 45283.474
AT ITER 424 NEW BEST:: SOT 887976 SOS 725242 HAS SOPS 439782 HAS SOUS 75768 HAS SOUPS 44556 WITH SCORE 45281.242
AT ITER 443 NEW BEST:: SOT 887836 SOS 725032 HAS SOPS 439642 HAS SOUS 75624 HAS SOUPS 44476 WITH SCORE 45201.032
AT ITER 452 NEW BEST:: SOT 887758 SOS 724888 HAS SOPS 439603 HAS SOUS 75573 HAS SOUPS 44464 WITH SCORE 45188.888
AT ITER 455 NEW BEST:: SOT 887698 SOS 724808 HAS SOPS 439563 HAS SOUS 75569 HAS SOUPS 44456 WITH SCORE 45180.808
AT ITER 462 NEW BEST:: SOT 887673 SOS 724758 HAS SOPS 439538 HAS SOUS 75519 HAS SOUPS 44431 WITH SCORE 45155.758
AT ITER 497 NEW BEST:: SOT 888155 SOS 725240 HAS SOPS 440020 HAS SOUS 75409 HAS SOUPS 44321 WITH SCORE 45046.24
AT ITER 508 NEW BEST:: SOT 888133 SOS 725251 HAS SOPS 439998 HAS SOUS 75387 HAS SOUPS 44299 WITH SCORE 45024.251
AT ITER 523 NEW BEST:: SOT 888106 SOS 724785 HAS SOPS 440364 HAS SOUS 75311 HAS SOUPS 44275 WITH SCORE 44999.785
AT ITER 535 NEW BEST:: SOT 888154 SOS 725649 HAS SOPS 441228 HAS SOUS 75259 HAS SOUPS 44223 WITH SCORE 44948.649
AT ITER 548 NEW BEST:: SOT 888138 SOS 725361 HAS SOPS 440940 HAS SOUS 75243 HAS SOUPS 44207 WITH SCORE 44932.361
AT ITER 553 NEW BEST:: SOT 888096 SOS 719693 HAS SOPS 436296 HAS SOUS 75137 HAS SOUPS 44165 WITH SCORE 44884.693
AT ITER 554 NEW BEST:: SOT 886457 SOS 714858 HAS SOPS 434959 HAS SOUS 75248 HAS SOUPS 44165 WITH SCORE 44879.858
AT ITER 585 NEW BEST:: SOT 886333 SOS 714734 HAS SOPS 434835 HAS SOUS 75186 HAS SOUPS 44103 WITH SCORE 44817.734
AT ITER 589 NEW BEST:: SOT 886299 SOS 714666 HAS SOPS 434818 HAS SOUS 75151 HAS SOUPS 44093 WITH SCORE 44807.666
AT ITER 590 NEW BEST:: SOT 886188 SOS 707650 HAS SOPS 429034 HAS SOUS 75003 HAS SOUPS 44022 WITH SCORE 44729.65
AT ITER 602 NEW BEST:: SOT 886179 SOS 707488 HAS SOPS 428872 HAS SOUS 74985 HAS SOUPS 44004 WITH SCORE 44711.488
AT ITER 607 NEW BEST:: SOT 886147 SOS 707424 HAS SOPS 428856 HAS SOUS 74969 HAS SOUPS 44004 WITH SCORE 44711.424
AT ITER 624 NEW BEST:: SOT 886059 SOS 707336 HAS SOPS 428768 HAS SOUS 74881 HAS SOUPS 43916 WITH SCORE 44623.336
AT ITER 632 NEW BEST:: SOT 886051 SOS 707320 HAS SOPS 428752 HAS SOUS 74865 HAS SOUPS 43900 WITH SCORE 44607.32
AT ITER 646 NEW BEST:: SOT 886033 SOS 707293 HAS SOPS 428743 HAS SOUS 74847 HAS SOUPS 43891 WITH SCORE 44598.293
AT ITER 650 NEW BEST:: SOT 885983 SOS 707218 HAS SOPS 428718 HAS SOUS 74797 HAS SOUPS 43866 WITH SCORE 44573.218
AT ITER 654 NEW BEST:: SOT 885983 SOS 707169 HAS SOPS 428718 HAS SOUS 74748 HAS SOUPS 43866 WITH SCORE 44573.169
AT ITER 655 NEW BEST:: SOT 885947 SOS 705981 HAS SOPS 428106 HAS SOUS 74712 HAS SOUPS 43866 WITH SCORE 44571.981
AT ITER 659 NEW BEST:: SOT 885909 SOS 706154 HAS SOPS 427975 HAS SOUS 74724 HAS SOUPS 43859 WITH SCORE 44565.154
AT ITER 673 NEW BEST:: SOT 885599 SOS 705754 HAS SOPS 427845 HAS SOUS 74756 HAS SOUPS 43853 WITH SCORE 44558.754
AT ITER 679 NEW BEST:: SOT 885305 SOS 702843 HAS SOPS 428012 HAS SOUS 74297 HAS SOUPS 43651 WITH SCORE 44353.843
AT ITER 683 NEW BEST:: SOT 885263 SOS 702787 HAS SOPS 427984 HAS SOUS 74255 HAS SOUPS 43623 WITH SCORE 44325.787
AT ITER 691 NEW BEST:: SOT 883998 SOS 701522 HAS SOPS 427399 HAS SOUS 74214 HAS SOUPS 43582 WITH SCORE 44283.522
AT ITER 693 NEW BEST:: SOT 883747 SOS 701318 HAS SOPS 427296 HAS SOUS 73840 HAS SOUPS 43384 WITH SCORE 44085.318
AT ITER 698 NEW BEST:: SOT 883732 SOS 701388 HAS SOPS 427291 HAS SOUS 73800 HAS SOUPS 43344 WITH SCORE 44045.388
AT ITER 699 NEW BEST:: SOT 883684 SOS 701324 HAS SOPS 427259 HAS SOUS 73752 HAS SOUPS 43312 WITH SCORE 44013.324
AT ITER 708 NEW BEST:: SOT 883665 SOS 701305 HAS SOPS 427240 HAS SOUS 73733 HAS SOUPS 43293 WITH SCORE 43994.305
AT ITER 723 NEW BEST:: SOT 883711 SOS 700960 HAS SOPS 427263 HAS SOUS 73710 HAS SOUPS 43293 WITH SCORE 43993.96
AT ITER 730 NEW BEST:: SOT 883595 SOS 704853 HAS SOPS 429339 HAS SOUS 73670 HAS SOUPS 43253 WITH SCORE 43957.853
AT ITER 746 NEW BEST:: SOT 883599 SOS 704419 HAS SOPS 429113 HAS SOUS 73626 HAS SOUPS 43222 WITH SCORE 43926.419
AT ITER 752 NEW BEST:: SOT 883498 SOS 704900 HAS SOPS 429145 HAS SOUS 73193 HAS SOUPS 42970 WITH SCORE 43674.9
AT ITER 754 NEW BEST:: SOT 883691 SOS 703895 HAS SOPS 428140 HAS SOUS 73178 HAS SOUPS 42955 WITH SCORE 43658.895
AT ITER 759 NEW BEST:: SOT 883791 SOS 703250 HAS SOPS 427495 HAS SOUS 73162 HAS SOUPS 42939 WITH SCORE 43642.25
AT ITER 763 NEW BEST:: SOT 883791 SOS 703250 HAS SOPS 427495 HAS SOUS 73153 HAS SOUPS 42934 WITH SCORE 43637.25
AT ITER 766 NEW BEST:: SOT 883765 SOS 702583 HAS SOPS 426828 HAS SOUS 73134 HAS SOUPS 42915 WITH SCORE 43617.583
AT ITER 778 NEW BEST:: SOT 883805 SOS 702623 HAS SOPS 426860 HAS SOUS 73126 HAS SOUPS 42907 WITH SCORE 43609.623
AT ITER 800 NEW BEST:: SOT 883809 SOS 701120 HAS SOPS 425597 HAS SOUS 73107 HAS SOUPS 42903 WITH SCORE 43604.12
AT ITER 822 NEW BEST:: SOT 883767 SOS 699208 HAS SOPS 423685 HAS SOUS 73069 HAS SOUPS 42865 WITH SCORE 43564.208
AT ITER 827 NEW BEST:: SOT 883711 SOS 699124 HAS SOPS 423629 HAS SOUS 72985 HAS SOUPS 42809 WITH SCORE 43508.124
AT ITER 852 NEW BEST:: SOT 883606 SOS 698984 HAS SOPS 423559 HAS SOUS 72880 HAS SOUPS 42739 WITH SCORE 43437.984
AT ITER 854 NEW BEST:: SOT 883577 SOS 696926 HAS SOPS 421501 HAS SOUS 72822 HAS SOUPS 42681 WITH SCORE 43377.926
AT ITER 872 NEW BEST:: SOT 883514 SOS 694343 HAS SOPS 419254 HAS SOUS 72780 HAS SOUPS 42660 WITH SCORE 43354.343
AT ITER 895 NEW BEST:: SOT 883557 SOS 694347 HAS SOPS 419194 HAS SOUS 72681 HAS SOUPS 42600 WITH SCORE 43294.347
AT ITER 907 NEW BEST:: SOT 883413 SOS 694155 HAS SOPS 419098 HAS SOUS 72537 HAS SOUPS 42504 WITH SCORE 43198.155
AT ITER 946 NEW BEST:: SOT 883371 SOS 693847 HAS SOPS 418790 HAS SOUS 72479 HAS SOUPS 42446 WITH SCORE 43139.847
AT ITER 962 NEW BEST:: SOT 883347 SOS 692735 HAS SOPS 417678 HAS SOUS 72478 HAS SOUPS 42445 WITH SCORE 43137.735
AT ITER 990 NEW BEST:: SOT 883362 SOS 692774 HAS SOPS 417669 HAS SOUS 72493 HAS SOUPS 42436 WITH SCORE 43128.774
AT ITER 991 NEW BEST:: SOT 883362 SOS 692694 HAS SOPS 417589 HAS SOUS 72493 HAS SOUPS 42436 WITH SCORE 43128.694
AT ITER 1012 NEW BEST:: SOT 882984 SOS 692334 HAS SOPS 417427 HAS SOUS 71944 HAS SOUPS 42155 WITH SCORE 42847.334
AT ITER 1029 NEW BEST:: SOT 882924 SOS 692214 HAS SOPS 417397 HAS SOUS 71884 HAS SOUPS 42125 WITH SCORE 42817.214
AT ITER 1033 NEW BEST:: SOT 882917 SOS 692200 HAS SOPS 417397 HAS SOUS 71884 HAS SOUPS 42125 WITH SCORE 42817.2
AT ITER 1044 NEW BEST:: SOT 882779 SOS 692062 HAS SOPS 417259 HAS SOUS 71884 HAS SOUPS 42125 WITH SCORE 42817.062
AT ITER 1050 NEW BEST:: SOT 884335 SOS 690858 HAS SOPS 416819 HAS SOUS 72604 HAS SOUPS 42075 WITH SCORE 42765.858
AT ITER 1053 NEW BEST:: SOT 884161 SOS 690627 HAS SOPS 416510 HAS SOUS 72505 HAS SOUPS 41976 WITH SCORE 42666.627
AT ITER 1061 NEW BEST:: SOT 884156 SOS 690617 HAS SOPS 416505 HAS SOUS 72495 HAS SOUPS 41971 WITH SCORE 42661.617
AT ITER 1072 NEW BEST:: SOT 883754 SOS 689947 HAS SOPS 416237 HAS SOUS 72273 HAS SOUPS 41883 WITH SCORE 42572.947
AT ITER 1076 NEW BEST:: SOT 882890 SOS 687475 HAS SOPS 414149 HAS SOUS 72234 HAS SOUPS 41844 WITH SCORE 42531.475
AT ITER 1101 NEW BEST:: SOT 882884 SOS 687463 HAS SOPS 414149 HAS SOUS 72228 HAS SOUPS 41844 WITH SCORE 42531.463
AT ITER 1133 NEW BEST:: SOT 882831 SOS 683638 HAS SOPS 410513 HAS SOUS 72152 HAS SOUPS 41768 WITH SCORE 42451.638
AT ITER 1138 NEW BEST:: SOT 883591 SOS 684523 HAS SOPS 410913 HAS SOUS 72154 HAS SOUPS 41602 WITH SCORE 42286.523
AT ITER 1166 NEW BEST:: SOT 881945 SOS 683043 HAS SOPS 410219 HAS SOUS 71585 HAS SOUPS 40686 WITH SCORE 41369.043
AT ITER 1168 NEW BEST:: SOT 881976 SOS 683144 HAS SOPS 410320 HAS SOUS 71569 HAS SOUPS 40670 WITH SCORE 41353.144
AT ITER 1173 NEW BEST:: SOT 881908 SOS 683042 HAS SOPS 410286 HAS SOUS 71518 HAS SOUPS 40636 WITH SCORE 41319.042
AT ITER 1188 NEW BEST:: SOT 881823 SOS 683527 HAS SOPS 413069 HAS SOUS 71379 HAS SOUPS 40624 WITH SCORE 41307.527
AT ITER 1199 NEW BEST:: SOT 881583 SOS 683167 HAS SOPS 413033 HAS SOUS 71356 HAS SOUPS 40623 WITH SCORE 41306.167
AT ITER 1209 NEW BEST:: SOT 881583 SOS 683171 HAS SOPS 413025 HAS SOUS 71352 HAS SOUPS 40615 WITH SCORE 41298.171
AT ITER 1213 NEW BEST:: SOT 881483 SOS 683021 HAS SOPS 412975 HAS SOUS 71252 HAS SOUPS 40565 WITH SCORE 41248.021
AT ITER 1221 NEW BEST:: SOT 881483 SOS 681797 HAS SOPS 412903 HAS SOUS 71108 HAS SOUPS 40493 WITH SCORE 41174.797
AT ITER 1245 NEW BEST:: SOT 881413 SOS 680506 HAS SOPS 412652 HAS SOUS 70996 HAS SOUPS 40446 WITH SCORE 41126.506
AT ITER 1255 NEW BEST:: SOT 881373 SOS 680446 HAS SOPS 412632 HAS SOUS 70966 HAS SOUPS 40426 WITH SCORE 41106.446
AT ITER 1256 NEW BEST:: SOT 881343 SOS 680396 HAS SOPS 412622 HAS SOUS 70946 HAS SOUPS 40416 WITH SCORE 41096.396
AT ITER 1259 NEW BEST:: SOT 881517 SOS 681324 HAS SOPS 412796 HAS SOUS 70490 HAS SOUPS 40134 WITH SCORE 40815.324
AT ITER 1263 NEW BEST:: SOT 881393 SOS 681076 HAS SOPS 412672 HAS SOUS 70270 HAS SOUPS 40038 WITH SCORE 40719.076
AT ITER 1267 NEW BEST:: SOT 881367 SOS 681037 HAS SOPS 412659 HAS SOUS 70244 HAS SOUPS 40025 WITH SCORE 40706.037
AT ITER 1271 NEW BEST:: SOT 881127 SOS 680457 HAS SOPS 412519 HAS SOUS 70224 HAS SOUPS 40025 WITH SCORE 40705.457
AT ITER 1276 NEW BEST:: SOT 881022 SOS 680357 HAS SOPS 412474 HAS SOUS 70084 HAS SOUPS 39945 WITH SCORE 40625.357
AT ITER 1279 NEW BEST:: SOT 880954 SOS 680227 HAS SOPS 412437 HAS SOUS 70038 HAS SOUPS 39934 WITH SCORE 40614.227
AT ITER 1294 NEW BEST:: SOT 880972 SOS 680679 HAS SOPS 413305 HAS SOUS 70004 HAS SOUPS 39926 WITH SCORE 40606.679
AT ITER 1300 NEW BEST:: SOT 881006 SOS 680713 HAS SOPS 413339 HAS SOUS 69678 HAS SOUPS 39760 WITH SCORE 40440.713
AT ITER 1303 NEW BEST:: SOT 881006 SOS 680724 HAS SOPS 413339 HAS SOUS 69667 HAS SOUPS 39749 WITH SCORE 40429.724
AT ITER 1310 NEW BEST:: SOT 880976 SOS 680664 HAS SOPS 412799 HAS SOUS 69697 HAS SOUPS 39749 WITH SCORE 40429.664
AT ITER 1322 NEW BEST:: SOT 880940 SOS 680604 HAS SOPS 412787 HAS SOUS 69687 HAS SOUPS 39747 WITH SCORE 40427.604
AT ITER 1324 NEW BEST:: SOT 880738 SOS 680439 HAS SOPS 412704 HAS SOUS 69520 HAS SOUPS 39580 WITH SCORE 40260.439
AT ITER 1330 NEW BEST:: SOT 880677 SOS 679635 HAS SOPS 412306 HAS SOUS 69506 HAS SOUPS 39566 WITH SCORE 40245.635
AT ITER 1351 NEW BEST:: SOT 880639 SOS 679603 HAS SOPS 412274 HAS SOUS 69496 HAS SOUPS 39556 WITH SCORE 40235.603
AT ITER 1375 NEW BEST:: SOT 880547 SOS 679465 HAS SOPS 412228 HAS SOUS 69450 HAS SOUPS 39510 WITH SCORE 40189.465
AT ITER 1379 NEW BEST:: SOT 880682 SOS 679597 HAS SOPS 412274 HAS SOUS 69430 HAS SOUPS 39498 WITH SCORE 40177.597
AT ITER 1414 NEW BEST:: SOT 880713 SOS 678155 HAS SOPS 412032 HAS SOUS 69326 HAS SOUPS 39469 WITH SCORE 40147.155
AT ITER 1427 NEW BEST:: SOT 880263 SOS 677705 HAS SOPS 411807 HAS SOUS 69311 HAS SOUPS 39454 WITH SCORE 40131.705
AT ITER 1431 NEW BEST:: SOT 880229 SOS 677875 HAS SOPS 411705 HAS SOUS 69311 HAS SOUPS 39437 WITH SCORE 40114.875
AT ITER 1432 NEW BEST:: SOT 880231 SOS 677861 HAS SOPS 411707 HAS SOUS 69310 HAS SOUPS 39437 WITH SCORE 40114.861
AT ITER 1436 NEW BEST:: SOT 880231 SOS 677862 HAS SOPS 411708 HAS SOUS 69309 HAS SOUPS 39436 WITH SCORE 40113.862
AT ITER 1438 NEW BEST:: SOT 880058 SOS 677604 HAS SOPS 411666 HAS SOUS 68997 HAS SOUPS 39294 WITH SCORE 39971.604
AT ITER 1448 NEW BEST:: SOT 879998 SOS 677509 HAS SOPS 411655 HAS SOUS 68963 HAS SOUPS 39274 WITH SCORE 39951.509
AT ITER 1467 NEW BEST:: SOT 879998 SOS 677509 HAS SOPS 411655 HAS SOUS 68959 HAS SOUPS 39270 WITH SCORE 39947.509
AT ITER 1469 NEW BEST:: SOT 880001 SOS 677099 HAS SOPS 411517 HAS SOUS 68937 HAS SOUPS 39265 WITH SCORE 39942.099
AT ITER 1474 NEW BEST:: SOT 880084 SOS 677366 HAS SOPS 411324 HAS SOUS 68882 HAS SOUPS 38862 WITH SCORE 39539.366
AT ITER 1475 NEW BEST:: SOT 880084 SOS 677366 HAS SOPS 411324 HAS SOUS 68874 HAS SOUPS 38854 WITH SCORE 39531.366
AT ITER 1483 NEW BEST:: SOT 880024 SOS 678527 HAS SOPS 412488 HAS SOUS 67185 HAS SOUPS 38809 WITH SCORE 39487.527
AT ITER 1489 NEW BEST:: SOT 879970 SOS 678346 HAS SOPS 412307 HAS SOUS 67144 HAS SOUPS 38768 WITH SCORE 39446.346
AT ITER 1493 NEW BEST:: SOT 879802 SOS 677940 HAS SOPS 412209 HAS SOUS 67130 HAS SOUPS 38768 WITH SCORE 39445.94
AT ITER 1500 NEW BEST:: SOT 879597 SOS 677605 HAS SOPS 412134 HAS SOUS 67067 HAS SOUPS 38763 WITH SCORE 39440.605
AT ITER 1501 NEW BEST:: SOT 879481 SOS 677379 HAS SOPS 412073 HAS SOUS 67006 HAS SOUPS 38757 WITH SCORE 39434.379
AT ITER 1503 NEW BEST:: SOT 879481 SOS 677379 HAS SOPS 412073 HAS SOUS 66682 HAS SOUPS 38577 WITH SCORE 39254.379
AT ITER 1509 NEW BEST:: SOT 879473 SOS 677243 HAS SOPS 411937 HAS SOUS 66674 HAS SOUPS 38569 WITH SCORE 39246.243
AT ITER 1512 NEW BEST:: SOT 879464 SOS 677234 HAS SOPS 411928 HAS SOUS 66665 HAS SOUPS 38560 WITH SCORE 39237.234
AT ITER 1527 NEW BEST:: SOT 879263 SOS 676934 HAS SOPS 411826 HAS SOUS 66626 HAS SOUPS 38543 WITH SCORE 39219.934
AT ITER 1529 NEW BEST:: SOT 879201 SOS 676748 HAS SOPS 411764 HAS SOUS 66564 HAS SOUPS 38543 WITH SCORE 39219.748
AT ITER 1536 NEW BEST:: SOT 879087 SOS 676558 HAS SOPS 411726 HAS SOUS 66488 HAS SOUPS 38505 WITH SCORE 39181.558
AT ITER 1541 NEW BEST:: SOT 878926 SOS 676296 HAS SOPS 411666 HAS SOUS 66360 HAS SOUPS 38445 WITH SCORE 39121.296
AT ITER 1559 NEW BEST:: SOT 878836 SOS 676231 HAS SOPS 411601 HAS SOUS 66299 HAS SOUPS 38384 WITH SCORE 39060.231
AT ITER 1562 NEW BEST:: SOT 878818 SOS 672847 HAS SOPS 408217 HAS SOUS 66291 HAS SOUPS 38376 WITH SCORE 39048.847
AT ITER 1575 NEW BEST:: SOT 878722 SOS 672759 HAS SOPS 408217 HAS SOUS 66162 HAS SOUPS 38370 WITH SCORE 39042.759
AT ITER 1581 NEW BEST:: SOT 878722 SOS 672759 HAS SOPS 408217 HAS SOUS 66153 HAS SOUPS 38365 WITH SCORE 39037.759
AT ITER 1589 NEW BEST:: SOT 878705 SOS 672708 HAS SOPS 408200 HAS SOUS 66136 HAS SOUPS 38365 WITH SCORE 39037.708
AT ITER 1595 NEW BEST:: SOT 878689 SOS 672684 HAS SOPS 408192 HAS SOUS 66120 HAS SOUPS 38357 WITH SCORE 39029.684
AT ITER 1599 NEW BEST:: SOT 878639 SOS 672584 HAS SOPS 408142 HAS SOUS 66020 HAS SOUPS 38307 WITH SCORE 38979.584
AT ITER 1608 NEW BEST:: SOT 878637 SOS 672777 HAS SOPS 408335 HAS SOUS 65985 HAS SOUPS 38272 WITH SCORE 38944.777
AT ITER 1609 NEW BEST:: SOT 878439 SOS 672480 HAS SOPS 408236 HAS SOUS 65818 HAS SOUPS 38173 WITH SCORE 38845.48
AT ITER 1621 NEW BEST:: SOT 878251 SOS 672058 HAS SOPS 408142 HAS SOUS 65676 HAS SOUPS 38125 WITH SCORE 38797.058
AT ITER 1631 NEW BEST:: SOT 878230 SOS 670777 HAS SOPS 407680 HAS SOUS 65655 HAS SOUPS 38125 WITH SCORE 38795.777
AT ITER 1661 NEW BEST:: SOT 878230 SOS 670403 HAS SOPS 407482 HAS SOUS 65611 HAS SOUPS 38092 WITH SCORE 38762.403
AT ITER 1686 NEW BEST:: SOT 878230 SOS 670400 HAS SOPS 407479 HAS SOUS 65611 HAS SOUPS 38092 WITH SCORE 38762.4
AT ITER 1706 NEW BEST:: SOT 878140 SOS 670922 HAS SOPS 407299 HAS SOUS 65617 HAS SOUPS 38080 WITH SCORE 38750.922
AT ITER 1724 NEW BEST:: SOT 878064 SOS 670816 HAS SOPS 407253 HAS SOUS 65541 HAS SOUPS 38034 WITH SCORE 38704.816
AT ITER 1746 NEW BEST:: SOT 877907 SOS 670570 HAS SOPS 407185 HAS SOUS 65384 HAS SOUPS 37966 WITH SCORE 38636.57
AT ITER 1750 NEW BEST:: SOT 877673 SOS 670167 HAS SOPS 407020 HAS SOUS 65119 HAS SOUPS 37801 WITH SCORE 38471.167
AT ITER 1754 NEW BEST:: SOT 877646 SOS 670113 HAS SOPS 407020 HAS SOUS 65092 HAS SOUPS 37801 WITH SCORE 38471.113
AT ITER 1773 NEW BEST:: SOT 877642 SOS 670109 HAS SOPS 407016 HAS SOUS 65088 HAS SOUPS 37797 WITH SCORE 38467.109
AT ITER 1779 NEW BEST:: SOT 878152 SOS 670619 HAS SOPS 407231 HAS SOUS 65059 HAS SOUPS 37768 WITH SCORE 38438.619
AT ITER 1792 NEW BEST:: SOT 878888 SOS 671355 HAS SOPS 407527 HAS SOUS 64882 HAS SOUPS 37591 WITH SCORE 38262.355
AT ITER 1793 NEW BEST:: SOT 879055 SOS 671445 HAS SOPS 407771 HAS SOUS 64832 HAS SOUPS 37568 WITH SCORE 38239.445
AT ITER 1815 NEW BEST:: SOT 879037 SOS 671034 HAS SOPS 407360 HAS SOUS 64814 HAS SOUPS 37550 WITH SCORE 38221.034
AT ITER 1826 NEW BEST:: SOT 879033 SOS 671039 HAS SOPS 407365 HAS SOUS 64810 HAS SOUPS 37546 WITH SCORE 38217.039
AT ITER 1828 NEW BEST:: SOT 879008 SOS 668864 HAS SOPS 405190 HAS SOUS 64810 HAS SOUPS 37546 WITH SCORE 38214.864
AT ITER 1845 NEW BEST:: SOT 878908 SOS 668697 HAS SOPS 405157 HAS SOUS 64794 HAS SOUPS 37532 WITH SCORE 38200.697
AT ITER 1847 NEW BEST:: SOT 878874 SOS 668629 HAS SOPS 405157 HAS SOUS 64760 HAS SOUPS 37532 WITH SCORE 38200.629
AT ITER 1848 NEW BEST:: SOT 878492 SOS 668386 HAS SOPS 405026 HAS SOUS 64597 HAS SOUPS 37291 WITH SCORE 37959.386
AT ITER 1877 NEW BEST:: SOT 878493 SOS 668378 HAS SOPS 405003 HAS SOUS 64596 HAS SOUPS 37279 WITH SCORE 37947.378
AT ITER 1878 NEW BEST:: SOT 878512 SOS 668144 HAS SOPS 404769 HAS SOUS 64584 HAS SOUPS 37267 WITH SCORE 37935.144
AT ITER 1900 NEW BEST:: SOT 877525 SOS 667157 HAS SOPS 403923 HAS SOUS 64557 HAS SOUPS 37252 WITH SCORE 37919.157
AT ITER 1912 NEW BEST:: SOT 877505 SOS 667117 HAS SOPS 403913 HAS SOUS 64547 HAS SOUPS 37252 WITH SCORE 37919.117
AT ITER 1930 NEW BEST:: SOT 877347 SOS 666975 HAS SOPS 403771 HAS SOUS 64458 HAS SOUPS 37163 WITH SCORE 37829.975
AT ITER 1933 NEW BEST:: SOT 877183 SOS 666893 HAS SOPS 403566 HAS SOUS 64499 HAS SOUPS 37163 WITH SCORE 37829.893
AT ITER 1949 NEW BEST:: SOT 877727 SOS 667568 HAS SOPS 403777 HAS SOUS 63932 HAS SOUPS 36667 WITH SCORE 37334.568
AT ITER 1951 NEW BEST:: SOT 878453 SOS 668294 HAS SOPS 404503 HAS SOUS 63926 HAS SOUPS 36663 WITH SCORE 37331.294
AT ITER 1957 NEW BEST:: SOT 878453 SOS 668294 HAS SOPS 404503 HAS SOUS 63890 HAS SOUPS 36643 WITH SCORE 37311.294
AT ITER 1975 NEW BEST:: SOT 878507 SOS 667713 HAS SOPS 404066 HAS SOUS 63891 HAS SOUPS 36635 WITH SCORE 37302.713
AT ITER 1986 NEW BEST:: SOT 879617 SOS 672625 HAS SOPS 406328 HAS SOUS 63903 HAS SOUPS 36428 WITH SCORE 37100.625
AT ITER 1995 NEW BEST:: SOT 879609 SOS 672609 HAS SOPS 406328 HAS SOUS 63895 HAS SOUPS 36428 WITH SCORE 37100.609
AT ITER 1997 NEW BEST:: SOT 880383 SOS 673383 HAS SOPS 407102 HAS SOUS 63892 HAS SOUPS 36426 WITH SCORE 37099.383
AT ITER 2030 NEW BEST:: SOT 880122 SOS 672359 HAS SOPS 406546 HAS SOUS 63861 HAS SOUPS 36399 WITH SCORE 37071.359
AT ITER 2041 NEW BEST:: SOT 880104 SOS 671420 HAS SOPS 406263 HAS SOUS 63779 HAS SOUPS 36358 WITH SCORE 37029.42
AT ITER 2043 NEW BEST:: SOT 880143 SOS 672122 HAS SOPS 406341 HAS SOUS 63791 HAS SOUPS 36331 WITH SCORE 37003.122
AT ITER 2074 NEW BEST:: SOT 880148 SOS 672127 HAS SOPS 406346 HAS SOUS 63769 HAS SOUPS 36321 WITH SCORE 36993.127
AT ITER 2078 NEW BEST:: SOT 880147 SOS 672108 HAS SOPS 406343 HAS SOUS 63768 HAS SOUPS 36321 WITH SCORE 36993.108
AT ITER 2091 NEW BEST:: SOT 880147 SOS 672144 HAS SOPS 406343 HAS SOUS 63768 HAS SOUPS 36303 WITH SCORE 36975.144
AT ITER 2094 NEW BEST:: SOT 880283 SOS 674063 HAS SOPS 406710 HAS SOUS 63846 HAS SOUPS 36284 WITH SCORE 36958.063
AT ITER 2097 NEW BEST:: SOT 880296 SOS 674046 HAS SOPS 406661 HAS SOUS 63801 HAS SOUPS 36269 WITH SCORE 36943.046
AT ITER 2104 NEW BEST:: SOT 879287 SOS 673088 HAS SOPS 406181 HAS SOUS 63760 HAS SOUPS 36197 WITH SCORE 36870.088
AT ITER 2117 NEW BEST:: SOT 877887 SOS 671624 HAS SOPS 404969 HAS SOUS 63843 HAS SOUPS 36095 WITH SCORE 36766.624
AT ITER 2132 NEW BEST:: SOT 877921 SOS 671684 HAS SOPS 405029 HAS SOUS 63808 HAS SOUPS 36060 WITH SCORE 36731.684
AT ITER 2136 NEW BEST:: SOT 877921 SOS 671684 HAS SOPS 404994 HAS SOUS 63783 HAS SOUPS 36035 WITH SCORE 36706.684
AT ITER 2153 NEW BEST:: SOT 878065 SOS 671828 HAS SOPS 405078 HAS SOUS 63771 HAS SOUPS 36023 WITH SCORE 36694.828
AT ITER 2180 NEW BEST:: SOT 878040 SOS 671508 HAS SOPS 404758 HAS SOUS 63767 HAS SOUPS 36019 WITH SCORE 36690.508
AT ITER 2185 NEW BEST:: SOT 878036 SOS 671500 HAS SOPS 404078 HAS SOUS 63802 HAS SOUPS 36012 WITH SCORE 36683.5
AT ITER 2187 NEW BEST:: SOT 877986 SOS 671350 HAS SOPS 404028 HAS SOUS 63725 HAS SOUPS 35997 WITH SCORE 36668.35
AT ITER 2197 NEW BEST:: SOT 877986 SOS 671350 HAS SOPS 404028 HAS SOUS 63716 HAS SOUPS 35992 WITH SCORE 36663.35
AT ITER 2210 NEW BEST:: SOT 877398 SOS 670762 HAS SOPS 403440 HAS SOUS 63716 HAS SOUPS 35992 WITH SCORE 36662.762
AT ITER 2212 NEW BEST:: SOT 877380 SOS 668944 HAS SOPS 401910 HAS SOUS 63698 HAS SOUPS 35992 WITH SCORE 36660.944
AT ITER 2215 NEW BEST:: SOT 877353 SOS 669107 HAS SOPS 401927 HAS SOUS 63589 HAS SOUPS 35883 WITH SCORE 36552.107
AT ITER 2217 NEW BEST:: SOT 876847 SOS 667819 HAS SOPS 401605 HAS SOUS 63543 HAS SOUPS 35883 WITH SCORE 36550.819
AT ITER 2245 NEW BEST:: SOT 876808 SOS 667741 HAS SOPS 401605 HAS SOUS 63459 HAS SOUPS 35858 WITH SCORE 36525.741
AT ITER 2266 NEW BEST:: SOT 876747 SOS 666339 HAS SOPS 401227 HAS SOUS 63357 HAS SOUPS 35820 WITH SCORE 36486.339
AT ITER 2281 NEW BEST:: SOT 876585 SOS 666041 HAS SOPS 401201 HAS SOUS 63208 HAS SOUPS 35797 WITH SCORE 36463.041
AT ITER 2293 NEW BEST:: SOT 876585 SOS 665803 HAS SOPS 401075 HAS SOUS 63180 HAS SOUPS 35776 WITH SCORE 36441.803
AT ITER 2298 NEW BEST:: SOT 876557 SOS 665747 HAS SOPS 401047 HAS SOUS 63124 HAS SOUPS 35748 WITH SCORE 36413.747
AT ITER 2304 NEW BEST:: SOT 876447 SOS 665467 HAS SOPS 400977 HAS SOUS 63114 HAS SOUPS 35748 WITH SCORE 36413.467
AT ITER 2308 NEW BEST:: SOT 876455 SOS 665555 HAS SOPS 401065 HAS SOUS 63110 HAS SOUPS 35744 WITH SCORE 36409.555
AT ITER 2311 NEW BEST:: SOT 876290 SOS 665390 HAS SOPS 401065 HAS SOUS 63022 HAS SOUPS 35640 WITH SCORE 36305.39
AT ITER 2341 NEW BEST:: SOT 876422 SOS 659355 HAS SOPS 395279 HAS SOUS 62998 HAS SOUPS 35616 WITH SCORE 36275.355
AT ITER 2344 NEW BEST:: SOT 876423 SOS 659366 HAS SOPS 395278 HAS SOUS 62997 HAS SOUPS 35615 WITH SCORE 36274.366
AT ITER 2354 NEW BEST:: SOT 876406 SOS 659332 HAS SOPS 395278 HAS SOUS 62980 HAS SOUPS 35615 WITH SCORE 36274.332
AT ITER 2367 NEW BEST:: SOT 876342 SOS 659204 HAS SOPS 395278 HAS SOUS 62916 HAS SOUPS 35615 WITH SCORE 36274.204
AT ITER 2372 NEW BEST:: SOT 876366 SOS 657164 HAS SOPS 393622 HAS SOUS 62844 HAS SOUPS 35567 WITH SCORE 36224.164
AT ITER 2380 NEW BEST:: SOT 876306 SOS 657044 HAS SOPS 393622 HAS SOUS 62784 HAS SOUPS 35567 WITH SCORE 36224.044
AT ITER 2382 NEW BEST:: SOT 876197 SOS 656848 HAS SOPS 393600 HAS SOUS 62513 HAS SOUPS 35455 WITH SCORE 36111.848
AT ITER 2386 NEW BEST:: SOT 876281 SOS 656932 HAS SOPS 393684 HAS SOUS 62453 HAS SOUPS 35395 WITH SCORE 36051.932
AT ITER 2387 NEW BEST:: SOT 876384 SOS 657138 HAS SOPS 393684 HAS SOUS 62460 HAS SOUPS 35335 WITH SCORE 35992.138
AT ITER 2393 NEW BEST:: SOT 876240 SOS 656994 HAS SOPS 393620 HAS SOUS 62460 HAS SOUPS 35335 WITH SCORE 35991.994
AT ITER 2413 NEW BEST:: SOT 876269 SOS 657023 HAS SOPS 393620 HAS SOUS 62442 HAS SOUPS 35325 WITH SCORE 35982.023
AT ITER 2418 NEW BEST:: SOT 876269 SOS 657023 HAS SOPS 393620 HAS SOUS 62418 HAS SOUPS 35310 WITH SCORE 35967.023
AT ITER 2423 NEW BEST:: SOT 875715 SOS 654841 HAS SOPS 392320 HAS SOUS 62183 HAS SOUPS 35131 WITH SCORE 35785.841
AT ITER 2428 NEW BEST:: SOT 875595 SOS 654721 HAS SOPS 392200 HAS SOUS 62039 HAS SOUPS 35055 WITH SCORE 35709.721
AT ITER 2447 NEW BEST:: SOT 875501 SOS 654533 HAS SOPS 392200 HAS SOUS 61945 HAS SOUPS 35055 WITH SCORE 35709.533
AT ITER 2453 NEW BEST:: SOT 875054 SOS 654068 HAS SOPS 391933 HAS SOUS 61942 HAS SOUPS 35052 WITH SCORE 35706.068
AT ITER 2459 NEW BEST:: SOT 875144 SOS 654158 HAS SOPS 391933 HAS SOUS 61610 HAS SOUPS 34888 WITH SCORE 35542.158
AT ITER 2460 NEW BEST:: SOT 875422 SOS 654830 HAS SOPS 392137 HAS SOUS 61597 HAS SOUPS 34871 WITH SCORE 35525.83
AT ITER 2465 NEW BEST:: SOT 875422 SOS 654382 HAS SOPS 391689 HAS SOUS 61597 HAS SOUPS 34871 WITH SCORE 35525.382
AT ITER 2482 NEW BEST:: SOT 875498 SOS 654534 HAS SOPS 391689 HAS SOUS 61649 HAS SOUPS 34856 WITH SCORE 35510.534
AT ITER 2517 NEW BEST:: SOT 875457 SOS 651105 HAS SOPS 388260 HAS SOUS 61647 HAS SOUPS 34854 WITH SCORE 35505.105
AT ITER 2538 NEW BEST:: SOT 875431 SOS 650725 HAS SOPS 387880 HAS SOUS 61622 HAS SOUPS 34829 WITH SCORE 35479.725
AT ITER 2539 NEW BEST:: SOT 875299 SOS 650443 HAS SOPS 387744 HAS SOUS 61466 HAS SOUPS 34759 WITH SCORE 35409.443
AT ITER 2545 NEW BEST:: SOT 875456 SOS 650600 HAS SOPS 387801 HAS SOUS 61451 HAS SOUPS 34744 WITH SCORE 35394.6
AT ITER 2560 NEW BEST:: SOT 875424 SOS 650536 HAS SOPS 387801 HAS SOUS 61410 HAS SOUPS 34739 WITH SCORE 35389.536
AT ITER 2580 NEW BEST:: SOT 875359 SOS 650457 HAS SOPS 387801 HAS SOUS 61396 HAS SOUPS 34739 WITH SCORE 35389.457
AT ITER 2582 NEW BEST:: SOT 875339 SOS 650087 HAS SOPS 387431 HAS SOUS 61386 HAS SOUPS 34729 WITH SCORE 35379.087
AT ITER 2586 NEW BEST:: SOT 874591 SOS 648183 HAS SOPS 386955 HAS SOUS 61310 HAS SOUPS 34721 WITH SCORE 35369.183
AT ITER 2593 NEW BEST:: SOT 874591 SOS 648015 HAS SOPS 386683 HAS SOUS 61318 HAS SOUPS 34721 WITH SCORE 35369.015
AT ITER 2594 NEW BEST:: SOT 874556 SOS 647350 HAS SOPS 386578 HAS SOUS 61283 HAS SOUPS 34721 WITH SCORE 35368.35
AT ITER 2607 NEW BEST:: SOT 874476 SOS 647286 HAS SOPS 386482 HAS SOUS 61299 HAS SOUPS 34721 WITH SCORE 35368.286
AT ITER 2610 NEW BEST:: SOT 874548 SOS 647441 HAS SOPS 386565 HAS SOUS 61288 HAS SOUPS 34710 WITH SCORE 35357.441
AT ITER 2628 NEW BEST:: SOT 874546 SOS 647437 HAS SOPS 386565 HAS SOUS 61286 HAS SOUPS 34710 WITH SCORE 35357.437
AT ITER 2647 NEW BEST:: SOT 875348 SOS 649542 HAS SOPS 387048 HAS SOUS 61190 HAS SOUPS 34623 WITH SCORE 35272.542
AT ITER 2651 NEW BEST:: SOT 875450 SOS 650150 HAS SOPS 387345 HAS SOUS 60705 HAS SOUPS 34504 WITH SCORE 35154.15
AT ITER 2680 NEW BEST:: SOT 875576 SOS 650276 HAS SOPS 387471 HAS SOUS 60702 HAS SOUPS 34502 WITH SCORE 35152.276
AT ITER 2713 NEW BEST:: SOT 875841 SOS 650546 HAS SOPS 387621 HAS SOUS 60692 HAS SOUPS 34492 WITH SCORE 35142.546
AT ITER 2715 NEW BEST:: SOT 876099 SOS 650804 HAS SOPS 387739 HAS SOUS 60642 HAS SOUPS 34442 WITH SCORE 35092.804
AT ITER 2732 NEW BEST:: SOT 876085 SOS 650781 HAS SOPS 387734 HAS SOUS 60628 HAS SOUPS 34437 WITH SCORE 35087.781
AT ITER 2733 NEW BEST:: SOT 876190 SOS 649332 HAS SOPS 387404 HAS SOUS 60600 HAS SOUPS 34438 WITH SCORE 35087.332
AT ITER 2753 NEW BEST:: SOT 875890 SOS 649032 HAS SOPS 387104 HAS SOUS 60600 HAS SOUPS 34438 WITH SCORE 35087.032
AT ITER 2762 NEW BEST:: SOT 875934 SOS 649052 HAS SOPS 387124 HAS SOUS 60592 HAS SOUPS 34430 WITH SCORE 35079.052
AT ITER 2763 NEW BEST:: SOT 875923 SOS 649030 HAS SOPS 387124 HAS SOUS 60581 HAS SOUPS 34430 WITH SCORE 35079.03
AT ITER 2774 NEW BEST:: SOT 875833 SOS 648940 HAS SOPS 387034 HAS SOUS 60581 HAS SOUPS 34430 WITH SCORE 35078.94
AT ITER 2784 NEW BEST:: SOT 875854 SOS 649003 HAS SOPS 387052 HAS SOUS 60569 HAS SOUPS 34424 WITH SCORE 35073.003
AT ITER 2787 NEW BEST:: SOT 875673 SOS 647975 HAS SOPS 386838 HAS SOUS 60484 HAS SOUPS 34375 WITH SCORE 35022.975
AT ITER 2808 NEW BEST:: SOT 875523 SOS 647825 HAS SOPS 386688 HAS SOUS 60484 HAS SOUPS 34375 WITH SCORE 35022.825
AT ITER 2813 NEW BEST:: SOT 875693 SOS 646950 HAS SOPS 387391 HAS SOUS 60373 HAS SOUPS 34365 WITH SCORE 35011.95
AT ITER 2835 NEW BEST:: SOT 875684 SOS 646626 HAS SOPS 387067 HAS SOUS 60355 HAS SOUPS 34347 WITH SCORE 34993.626
AT ITER 2847 NEW BEST:: SOT 875663 SOS 646584 HAS SOPS 387055 HAS SOUS 60346 HAS SOUPS 34347 WITH SCORE 34993.584
AT ITER 2859 NEW BEST:: SOT 875658 SOS 646574 HAS SOPS 387055 HAS SOUS 60341 HAS SOUPS 34347 WITH SCORE 34993.574
AT ITER 2872 NEW BEST:: SOT 875747 SOS 646836 HAS SOPS 387137 HAS SOUS 60308 HAS SOUPS 34338 WITH SCORE 34984.836
AT ITER 2879 NEW BEST:: SOT 875737 SOS 646520 HAS SOPS 387205 HAS SOUS 60284 HAS SOUPS 34338 WITH SCORE 34984.52
AT ITER 2897 NEW BEST:: SOT 876133 SOS 647348 HAS SOPS 387421 HAS SOUS 60212 HAS SOUPS 34266 WITH SCORE 34913.348
AT ITER 2908 NEW BEST:: SOT 876133 SOS 647348 HAS SOPS 387421 HAS SOUS 60209 HAS SOUPS 34264 WITH SCORE 34911.348
AT ITER 2910 NEW BEST:: SOT 876049 SOS 647180 HAS SOPS 387379 HAS SOUS 60167 HAS SOUPS 34264 WITH SCORE 34911.18
AT ITER 2924 NEW BEST:: SOT 876019 SOS 647155 HAS SOPS 387379 HAS SOUS 60172 HAS SOUPS 34264 WITH SCORE 34911.155
AT ITER 2946 NEW BEST:: SOT 875899 SOS 646779 HAS SOPS 387218 HAS SOUS 60152 HAS SOUPS 34255 WITH SCORE 34901.779
AT ITER 2969 NEW BEST:: SOT 875878 SOS 646758 HAS SOPS 387212 HAS SOUS 60149 HAS SOUPS 34252 WITH SCORE 34898.758
AT ITER 2970 NEW BEST:: SOT 875864 SOS 646672 HAS SOPS 387196 HAS SOUS 60085 HAS SOUPS 34244 WITH SCORE 34890.672
AT ITER 2990 NEW BEST:: SOT 875619 SOS 646427 HAS SOPS 387076 HAS SOUS 60084 HAS SOUPS 34243 WITH SCORE 34889.427
AT ITER 2997 NEW BEST:: SOT 875475 SOS 646283 HAS SOPS 386932 HAS SOUS 60084 HAS SOUPS 34243 WITH SCORE 34889.283
AT ITER 3009 NEW BEST:: SOT 875475 SOS 646272 HAS SOPS 386932 HAS SOUS 60073 HAS SOUPS 34243 WITH SCORE 34889.272
AT ITER 3014 NEW BEST:: SOT 875485 SOS 646092 HAS SOPS 386782 HAS SOUS 60073 HAS SOUPS 34243 WITH SCORE 34889.092
AT ITER 3015 NEW BEST:: SOT 875341 SOS 645948 HAS SOPS 386638 HAS SOUS 59956 HAS SOUPS 34185 WITH SCORE 34830.948
AT ITER 3017 NEW BEST:: SOT 875544 SOS 643319 HAS SOPS 384729 HAS SOUS 59892 HAS SOUPS 34166 WITH SCORE 34809.319
AT ITER 3021 NEW BEST:: SOT 875535 SOS 643301 HAS SOPS 384729 HAS SOUS 59802 HAS SOUPS 34121 WITH SCORE 34764.301
AT ITER 3058 NEW BEST:: SOT 875541 SOS 643321 HAS SOPS 384733 HAS SOUS 59799 HAS SOUPS 34118 WITH SCORE 34761.321
AT ITER 3083 NEW BEST:: SOT 875522 SOS 641668 HAS SOPS 383384 HAS SOUS 59780 HAS SOUPS 34118 WITH SCORE 34759.668
AT ITER 3096 NEW BEST:: SOT 875488 SOS 641600 HAS SOPS 383367 HAS SOUS 59763 HAS SOUPS 34118 WITH SCORE 34759.6
AT ITER 3114 NEW BEST:: SOT 875459 SOS 641571 HAS SOPS 383367 HAS SOUS 59763 HAS SOUPS 34118 WITH SCORE 34759.571
AT ITER 3127 NEW BEST:: SOT 875459 SOS 641571 HAS SOPS 383367 HAS SOUS 59760 HAS SOUPS 34116 WITH SCORE 34757.571
AT ITER 3128 NEW BEST:: SOT 875523 SOS 641635 HAS SOPS 383355 HAS SOUS 59753 HAS SOUPS 34109 WITH SCORE 34750.635
AT ITER 3131 NEW BEST:: SOT 875517 SOS 641670 HAS SOPS 383351 HAS SOUS 59752 HAS SOUPS 34107 WITH SCORE 34748.67
AT ITER 3140 NEW BEST:: SOT 875313 SOS 641466 HAS SOPS 383147 HAS SOUS 59653 HAS SOUPS 34052 WITH SCORE 34693.466
AT ITER 3146 NEW BEST:: SOT 875335 SOS 641848 HAS SOPS 383529 HAS SOUS 59649 HAS SOUPS 34048 WITH SCORE 34689.848
AT ITER 3183 NEW BEST:: SOT 874698 SOS 637938 HAS SOPS 380983 HAS SOUS 59555 HAS SOUPS 34016 WITH SCORE 34653.938
AT ITER 3236 NEW BEST:: SOT 874698 SOS 637906 HAS SOPS 380983 HAS SOUS 59523 HAS SOUPS 34016 WITH SCORE 34653.906
AT ITER 3257 NEW BEST:: SOT 873900 SOS 635561 HAS SOPS 380343 HAS SOUS 59508 HAS SOUPS 34006 WITH SCORE 34641.561
AT ITER 3258 NEW BEST:: SOT 874002 SOS 634898 HAS SOPS 380496 HAS SOUS 59457 HAS SOUPS 34006 WITH SCORE 34640.898
AT ITER 3265 NEW BEST:: SOT 874003 SOS 635871 HAS SOPS 381469 HAS SOUS 59351 HAS SOUPS 33900 WITH SCORE 34535.871
AT ITER 3311 NEW BEST:: SOT 873959 SOS 635783 HAS SOPS 381447 HAS SOUS 59329 HAS SOUPS 33900 WITH SCORE 34535.783
AT ITER 3332 NEW BEST:: SOT 873959 SOS 635783 HAS SOPS 381447 HAS SOUS 59327 HAS SOUPS 33898 WITH SCORE 34533.783
AT ITER 3346 NEW BEST:: SOT 873959 SOS 635783 HAS SOPS 381447 HAS SOUS 59283 HAS SOUPS 33854 WITH SCORE 34489.783
AT ITER 3353 NEW BEST:: SOT 873959 SOS 635783 HAS SOPS 381447 HAS SOUS 59247 HAS SOUPS 33834 WITH SCORE 34469.783
AT ITER 3362 NEW BEST:: SOT 874018 SOS 636141 HAS SOPS 381506 HAS SOUS 59264 HAS SOUPS 33828 WITH SCORE 34464.141
AT ITER 3368 NEW BEST:: SOT 873978 SOS 636061 HAS SOPS 381506 HAS SOUS 59224 HAS SOUPS 33828 WITH SCORE 34464.061
AT ITER 3401 NEW BEST:: SOT 873954 SOS 635869 HAS SOPS 381470 HAS SOUS 59188 HAS SOUPS 33804 WITH SCORE 34439.869
AT ITER 3413 NEW BEST:: SOT 874417 SOS 636429 HAS SOPS 381775 HAS SOUS 59131 HAS SOUPS 33747 WITH SCORE 34383.429
AT ITER 3415 NEW BEST:: SOT 874410 SOS 638052 HAS SOPS 381920 HAS SOUS 59177 HAS SOUPS 33694 WITH SCORE 34332.052
AT ITER 3441 NEW BEST:: SOT 874404 SOS 638034 HAS SOPS 381902 HAS SOUS 59171 HAS SOUPS 33688 WITH SCORE 34326.034
AT ITER 3481 NEW BEST:: SOT 874404 SOS 638034 HAS SOPS 381902 HAS SOUS 59153 HAS SOUPS 33678 WITH SCORE 34316.034
AT ITER 3494 NEW BEST:: SOT 874381 SOS 637988 HAS SOPS 381902 HAS SOUS 59130 HAS SOUPS 33678 WITH SCORE 34315.988
AT ITER 3502 NEW BEST:: SOT 874344 SOS 637951 HAS SOPS 381902 HAS SOUS 59130 HAS SOUPS 33678 WITH SCORE 34315.951
AT ITER 3514 NEW BEST:: SOT 874281 SOS 637888 HAS SOPS 381902 HAS SOUS 59130 HAS SOUPS 33678 WITH SCORE 34315.888
AT ITER 3515 NEW BEST:: SOT 874221 SOS 637786 HAS SOPS 381884 HAS SOUS 59088 HAS SOUPS 33660 WITH SCORE 34297.786
AT ITER 3520 NEW BEST:: SOT 874228 SOS 641348 HAS SOPS 384758 HAS SOUS 59117 HAS SOUPS 33646 WITH SCORE 34287.348
AT ITER 3551 NEW BEST:: SOT 874228 SOS 641348 HAS SOPS 384758 HAS SOUS 59099 HAS SOUPS 33634 WITH SCORE 34275.348
AT ITER 3588 NEW BEST:: SOT 874244 SOS 641428 HAS SOPS 384838 HAS SOUS 59035 HAS SOUPS 33570 WITH SCORE 34211.428
AT ITER 3615 NEW BEST:: SOT 874254 SOS 641454 HAS SOPS 384844 HAS SOUS 59035 HAS SOUPS 33569 WITH SCORE 34210.454
AT ITER 3625 NEW BEST:: SOT 874233 SOS 641412 HAS SOPS 384844 HAS SOUS 59014 HAS SOUPS 33569 WITH SCORE 34210.412
AT ITER 3640 NEW BEST:: SOT 874167 SOS 641346 HAS SOPS 384844 HAS SOUS 59002 HAS SOUPS 33557 WITH SCORE 34198.346
AT ITER 3643 NEW BEST:: SOT 874137 SOS 631048 HAS SOPS 376498 HAS SOUS 58868 HAS SOUPS 33545 WITH SCORE 34176.048
AT ITER 3646 NEW BEST:: SOT 874091 SOS 630847 HAS SOPS 376335 HAS SOUS 58798 HAS SOUPS 33494 WITH SCORE 34124.847
AT ITER 3651 NEW BEST:: SOT 873638 SOS 629068 HAS SOPS 375375 HAS SOUS 58696 HAS SOUPS 33431 WITH SCORE 34060.068
AT ITER 3654 NEW BEST:: SOT 873546 SOS 628940 HAS SOPS 375375 HAS SOUS 58660 HAS SOUPS 33431 WITH SCORE 34059.94
AT ITER 3674 NEW BEST:: SOT 873465 SOS 628666 HAS SOPS 373917 HAS SOUS 58720 HAS SOUPS 33417 WITH SCORE 34045.666
AT ITER 3678 NEW BEST:: SOT 873455 SOS 628566 HAS SOPS 373747 HAS SOUS 58725 HAS SOUPS 33417 WITH SCORE 34045.566
AT ITER 3716 NEW BEST:: SOT 873432 SOS 628525 HAS SOPS 373733 HAS SOUS 58711 HAS SOUPS 33412 WITH SCORE 34040.525
AT ITER 3763 NEW BEST:: SOT 873432 SOS 628125 HAS SOPS 373333 HAS SOUS 58659 HAS SOUPS 33360 WITH SCORE 33988.125
AT ITER 3779 NEW BEST:: SOT 873433 SOS 628107 HAS SOPS 373318 HAS SOUS 58659 HAS SOUPS 33360 WITH SCORE 33988.107
AT ITER 3782 NEW BEST:: SOT 873568 SOS 628459 HAS SOPS 373405 HAS SOUS 58668 HAS SOUPS 33356 WITH SCORE 33984.459
AT ITER 3803 NEW BEST:: SOT 873575 SOS 628379 HAS SOPS 373357 HAS SOUS 58661 HAS SOUPS 33351 WITH SCORE 33979.379
AT ITER 3804 NEW BEST:: SOT 873556 SOS 627209 HAS SOPS 372187 HAS SOUS 58654 HAS SOUPS 33344 WITH SCORE 33971.209
AT ITER 3809 NEW BEST:: SOT 873431 SOS 625747 HAS SOPS 371223 HAS SOUS 58624 HAS SOUPS 33314 WITH SCORE 33939.747
AT ITER 3810 NEW BEST:: SOT 873430 SOS 625934 HAS SOPS 371527 HAS SOUS 58614 HAS SOUPS 33313 WITH SCORE 33938.934
AT ITER 3841 NEW BEST:: SOT 873476 SOS 625742 HAS SOPS 371495 HAS SOUS 58586 HAS SOUPS 33295 WITH SCORE 33920.742
AT ITER 3852 NEW BEST:: SOT 873422 SOS 625688 HAS SOPS 371495 HAS SOUS 58586 HAS SOUPS 33295 WITH SCORE 33920.688
AT ITER 3923 NEW BEST:: SOT 873384 SOS 625612 HAS SOPS 371495 HAS SOUS 58548 HAS SOUPS 33295 WITH SCORE 33920.612
AT ITER 3963 NEW BEST:: SOT 873240 SOS 625456 HAS SOPS 371411 HAS SOUS 58524 HAS SOUPS 33271 WITH SCORE 33896.456
AT ITER 3977 NEW BEST:: SOT 873219 SOS 625414 HAS SOPS 371390 HAS SOUS 58524 HAS SOUPS 33271 WITH SCORE 33896.414
AT ITER 4001 NEW BEST:: SOT 873202 SOS 625091 HAS SOPS 371339 HAS SOUS 58505 HAS SOUPS 33269 WITH SCORE 33894.091
AT ITER 4009 NEW BEST:: SOT 873240 SOS 623875 HAS SOPS 370731 HAS SOUS 58429 HAS SOUPS 33231 WITH SCORE 33854.875
AT ITER 4018 NEW BEST:: SOT 873257 SOS 623637 HAS SOPS 370765 HAS SOUS 58412 HAS SOUPS 33231 WITH SCORE 33854.637
AT ITER 4053 NEW BEST:: SOT 873637 SOS 624017 HAS SOPS 370970 HAS SOUS 58401 HAS SOUPS 33220 WITH SCORE 33844.017
AT ITER 4056 NEW BEST:: SOT 873637 SOS 623985 HAS SOPS 370938 HAS SOUS 58401 HAS SOUPS 33220 WITH SCORE 33843.985
AT ITER 4072 NEW BEST:: SOT 873558 SOS 624587 HAS SOPS 370799 HAS SOUS 58405 HAS SOUPS 33205 WITH SCORE 33829.587
AT ITER 4075 NEW BEST:: SOT 873899 SOS 624959 HAS SOPS 370985 HAS SOUS 58343 HAS SOUPS 33143 WITH SCORE 33767.959
AT ITER 4097 NEW BEST:: SOT 873897 SOS 624939 HAS SOPS 370965 HAS SOUS 58340 HAS SOUPS 33140 WITH SCORE 33764.939
AT ITER 4151 NEW BEST:: SOT 873894 SOS 624726 HAS SOPS 370869 HAS SOUS 58331 HAS SOUPS 33134 WITH SCORE 33758.726
AT ITER 4156 NEW BEST:: SOT 873738 SOS 624570 HAS SOPS 370713 HAS SOUS 58265 HAS SOUPS 33092 WITH SCORE 33716.57
AT ITER 4167 NEW BEST:: SOT 873738 SOS 624567 HAS SOPS 370713 HAS SOUS 58253 HAS SOUPS 33087 WITH SCORE 33711.567
AT ITER 4189 NEW BEST:: SOT 873729 SOS 624536 HAS SOPS 370474 HAS SOUS 58257 HAS SOUPS 33078 WITH SCORE 33702.536
AT ITER 4216 NEW BEST:: SOT 873367 SOS 623843 HAS SOPS 370287 HAS SOUS 58087 HAS SOUPS 33058 WITH SCORE 33681.843
AT ITER 4257 NEW BEST:: SOT 873305 SOS 623657 HAS SOPS 370225 HAS SOUS 58016 HAS SOUPS 33053 WITH SCORE 33676.657
AT ITER 4263 NEW BEST:: SOT 873162 SOS 623338 HAS SOPS 369972 HAS SOUS 58010 HAS SOUPS 33047 WITH SCORE 33670.338
AT ITER 4288 NEW BEST:: SOT 873141 SOS 623317 HAS SOPS 369972 HAS SOUS 58010 HAS SOUPS 33047 WITH SCORE 33670.317
AT ITER 4308 NEW BEST:: SOT 872779 SOS 623034 HAS SOPS 370350 HAS SOUS 57090 HAS SOUPS 33026 WITH SCORE 33649.034
AT ITER 4328 NEW BEST:: SOT 872691 SOS 622858 HAS SOPS 370306 HAS SOUS 57028 HAS SOUPS 33016 WITH SCORE 33638.858
AT ITER 4350 NEW BEST:: SOT 872647 SOS 622746 HAS SOPS 370278 HAS SOUS 57020 HAS SOUPS 33012 WITH SCORE 33634.746
AT ITER 4363 NEW BEST:: SOT 872728 SOS 622908 HAS SOPS 370278 HAS SOUS 57047 HAS SOUPS 32982 WITH SCORE 33604.908
AT ITER 4368 NEW BEST:: SOT 872773 SOS 623033 HAS SOPS 370308 HAS SOUS 57047 HAS SOUPS 32977 WITH SCORE 33600.033
AT ITER 4407 NEW BEST:: SOT 872756 SOS 622999 HAS SOPS 370308 HAS SOUS 57030 HAS SOUPS 32977 WITH SCORE 33599.999
AT ITER 4409 NEW BEST:: SOT 872769 SOS 623473 HAS SOPS 370782 HAS SOUS 57028 HAS SOUPS 32975 WITH SCORE 33598.473
AT ITER 4424 NEW BEST:: SOT 872758 SOS 623043 HAS SOPS 370352 HAS SOUS 56999 HAS SOUPS 32946 WITH SCORE 33569.043
AT ITER 4439 NEW BEST:: SOT 872158 SOS 614902 HAS SOPS 363341 HAS SOUS 56942 HAS SOUPS 32889 WITH SCORE 33503.902
AT ITER 4448 NEW BEST:: SOT 872124 SOS 615128 HAS SOPS 363593 HAS SOUS 56446 HAS SOUPS 32805 WITH SCORE 33420.128
AT ITER 4458 NEW BEST:: SOT 872208 SOS 613070 HAS SOPS 363007 HAS SOUS 56281 HAS SOUPS 32732 WITH SCORE 33345.07
AT ITER 4464 NEW BEST:: SOT 872190 SOS 612973 HAS SOPS 362946 HAS SOUS 56263 HAS SOUPS 32732 WITH SCORE 33344.973
AT ITER 4477 NEW BEST:: SOT 872173 SOS 612549 HAS SOPS 362522 HAS SOUS 56242 HAS SOUPS 32711 WITH SCORE 33323.549
AT ITER 4490 NEW BEST:: SOT 872053 SOS 612429 HAS SOPS 362402 HAS SOUS 56242 HAS SOUPS 32711 WITH SCORE 33323.429
AT ITER 4516 NEW BEST:: SOT 872053 SOS 612429 HAS SOPS 362402 HAS SOUS 56198 HAS SOUPS 32667 WITH SCORE 33279.429
AT ITER 4525 NEW BEST:: SOT 871823 SOS 610511 HAS SOPS 360946 HAS SOUS 56159 HAS SOUPS 32650 WITH SCORE 33260.511
AT ITER 4529 NEW BEST:: SOT 871729 SOS 610370 HAS SOPS 360899 HAS SOUS 56153 HAS SOUPS 32644 WITH SCORE 33254.37
AT ITER 4532 NEW BEST:: SOT 871657 SOS 610298 HAS SOPS 360827 HAS SOUS 56153 HAS SOUPS 32644 WITH SCORE 33254.298
AT ITER 4537 NEW BEST:: SOT 870145 SOS 604996 HAS SOPS 356155 HAS SOUS 56160 HAS SOUPS 32619 WITH SCORE 33223.996
AT ITER 4561 NEW BEST:: SOT 870538 SOS 605981 HAS SOPS 356400 HAS SOUS 56153 HAS SOUPS 32612 WITH SCORE 33217.981
AT ITER 4584 NEW BEST:: SOT 869928 SOS 605371 HAS SOPS 356150 HAS SOUS 56143 HAS SOUPS 32602 WITH SCORE 33207.371
AT ITER 4596 NEW BEST:: SOT 869976 SOS 605728 HAS SOPS 356162 HAS SOUS 56134 HAS SOUPS 32593 WITH SCORE 33198.728
AT ITER 4608 NEW BEST:: SOT 870297 SOS 606457 HAS SOPS 356859 HAS SOUS 56090 HAS SOUPS 32592 WITH SCORE 33198.457
AT ITER 4617 NEW BEST:: SOT 869104 SOS 601787 HAS SOPS 352635 HAS SOUS 56089 HAS SOUPS 32539 WITH SCORE 33140.787
AT ITER 4618 NEW BEST:: SOT 869126 SOS 601809 HAS SOPS 352647 HAS SOUS 56087 HAS SOUPS 32537 WITH SCORE 33138.809
AT ITER 4625 NEW BEST:: SOT 869147 SOS 601881 HAS SOPS 352653 HAS SOUS 56087 HAS SOUPS 32534 WITH SCORE 33135.881
AT ITER 4654 NEW BEST:: SOT 869132 SOS 601866 HAS SOPS 352653 HAS SOUS 56087 HAS SOUPS 32534 WITH SCORE 33135.866
AT ITER 4655 NEW BEST:: SOT 868576 SOS 601232 HAS SOPS 352255 HAS SOUS 56050 HAS SOUPS 32496 WITH SCORE 33097.232
AT ITER 4709 NEW BEST:: SOT 868334 SOS 600456 HAS SOPS 351941 HAS SOUS 56019 HAS SOUPS 32487 WITH SCORE 33087.456
AT ITER 4723 NEW BEST:: SOT 868313 SOS 600414 HAS SOPS 351941 HAS SOUS 55998 HAS SOUPS 32487 WITH SCORE 33087.414
AT ITER 4756 NEW BEST:: SOT 868388 SOS 600459 HAS SOPS 352031 HAS SOUS 55980 HAS SOUPS 32484 WITH SCORE 33084.459
AT ITER 4768 NEW BEST:: SOT 868746 SOS 602110 HAS SOPS 353590 HAS SOUS 55909 HAS SOUPS 32445 WITH SCORE 33047.11
AT ITER 4778 NEW BEST:: SOT 868728 SOS 602074 HAS SOPS 353590 HAS SOUS 55891 HAS SOUPS 32445 WITH SCORE 33047.074
AT ITER 4788 NEW BEST:: SOT 868728 SOS 602074 HAS SOPS 353590 HAS SOUS 55756 HAS SOUPS 32370 WITH SCORE 32972.074
AT ITER 4826 NEW BEST:: SOT 868612 SOS 600675 HAS SOPS 353237 HAS SOUS 55635 HAS SOUPS 32321 WITH SCORE 32921.675
AT ITER 4836 NEW BEST:: SOT 868720 SOS 600783 HAS SOPS 353345 HAS SOUS 55632 HAS SOUPS 32319 WITH SCORE 32919.783
AT ITER 4858 NEW BEST:: SOT 868886 SOS 600976 HAS SOPS 353584 HAS SOUS 55547 HAS SOUPS 32271 WITH SCORE 32871.976
AT ITER 4864 NEW BEST:: SOT 868799 SOS 600827 HAS SOPS 353516 HAS SOUS 55542 HAS SOUPS 32266 WITH SCORE 32866.827
AT ITER 4887 NEW BEST:: SOT 868711 SOS 600700 HAS SOPS 353516 HAS SOUS 55503 HAS SOUPS 32266 WITH SCORE 32866.7
AT ITER 4892 NEW BEST:: SOT 868326 SOS 599685 HAS SOPS 353236 HAS SOUS 55433 HAS SOUPS 32231 WITH SCORE 32830.685
AT ITER 4893 NEW BEST:: SOT 868342 SOS 599824 HAS SOPS 353039 HAS SOUS 55420 HAS SOUPS 32197 WITH SCORE 32796.824
AT ITER 4902 NEW BEST:: SOT 868332 SOS 599804 HAS SOPS 352837 HAS SOUS 55411 HAS SOUPS 32174 WITH SCORE 32773.804
AT ITER 4907 NEW BEST:: SOT 868316 SOS 599452 HAS SOPS 353141 HAS SOUS 55341 HAS SOUPS 32145 WITH SCORE 32744.452
AT ITER 4916 NEW BEST:: SOT 867585 SOS 596560 HAS SOPS 350539 HAS SOUS 55344 HAS SOUPS 32126 WITH SCORE 32722.56
AT ITER 4919 NEW BEST:: SOT 867567 SOS 596193 HAS SOPS 350172 HAS SOUS 55306 HAS SOUPS 32088 WITH SCORE 32684.193
AT ITER 4922 NEW BEST:: SOT 867559 SOS 596224 HAS SOPS 350177 HAS SOUS 55301 HAS SOUPS 32083 WITH SCORE 32679.224
AT ITER 4968 NEW BEST:: SOT 867559 SOS 595748 HAS SOPS 349701 HAS SOUS 55287 HAS SOUPS 32069 WITH SCORE 32664.748
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-12a-CTLFireability-00 (AU( ( ( ( ((potential((tk(P88)>=1) & (tk(P304)>=1)))) | ((potential((tk(P89)>=1) & (tk(P332)>=1)))) ) | ( ((potential((tk(P89)>=1) & (tk(P332)>=1)))) | ((potential((tk(P52)>=1) & (tk(P183)>=1)))) ) ) & (! ((potential((tk(P192)>=1) & (tk(P78)>=1))))) ) , (EF( ((potential((tk(P35)>=1) & (tk(P161)>=1)))))) ))
PROPERTY: DLCround-PT-12a-CTLFireability-01 ( ( ( (EF( ( ((potential((tk(P57)>=1) & (tk(P291)>=1)))) & ((potential((tk(P124)>=1) & (tk(P372)>=1)))) ))) | ( (! ((potential((tk(P117)>=1) & (tk(P363)>=1))))) & ((potential((tk(P132)>=1) & (tk(P391)>=1)))) ) ) | (! (EF( ((potential((tk(P94)>=1) & (tk(P344)>=1))))))) ) & ( (! (AG( ( ((potential((tk(P30)>=1) & (tk(P161)>=1)))) | ((potential((tk(P370)>=1) & (tk(P148)>=1)))) )))) | ((potential((tk(P98)>=1) & (tk(P269)>=1)))) ) )
PROPERTY: DLCround-PT-12a-CTLFireability-02 (AG( ( ( ( ( ((potential((tk(P78)>=1) & (tk(P192)>=1)))) | ((potential((tk(P8)>=1) & (tk(P241)>=1)))) ) & ( ((potential((tk(P128)>=1) & (tk(P344)>=1)))) | ((potential((tk(P115)>=1) & (tk(P368)>=1)))) ) ) | (AX( ((potential((tk(P138)>=1) & (tk(P245)>=1)))))) ) | ( (EF( ((potential((tk(P150)>=1) & (tk(P257)>=1)))))) | (EG( ((potential((tk(P35)>=1) & (tk(P273)>=1)))))) ) )))
PROPERTY: DLCround-PT-12a-CTLFireability-03 ( (AU( ((potential((tk(P85)>=1)))) , ((potential((tk(P3)>=1) & (tk(P160)>=1)))) )) | (AG( (! (AX( ((potential((tk(P77)>=1) & (tk(P314)>=1))))))))) )
PROPERTY: DLCround-PT-12a-CTLFireability-04 (EG( (EF( (EG( ((potential((tk(P117)>=1) & (tk(P229)>=1))))))))))
PROPERTY: DLCround-PT-12a-CTLFireability-05 (EG( (EF( ( ( ((potential((tk(P94)>=1) & (tk(P336)>=1)))) | ((potential((tk(P404)>=1) & (tk(P146)>=1)))) ) & ( ((potential((tk(P2)>=1) & (tk(P216)>=1)))) & ((potential((tk(P54)>=1) & (tk(P299)>=1)))) ) )))))
PROPERTY: DLCround-PT-12a-CTLFireability-06 ( (EF( (AG( ((potential((tk(P48)>=1) & (tk(P301)>=1)))))))) | (! ( (EF( ( ((potential((tk(P102)>=1)))) & ((potential((tk(P98)>=1) & (tk(P212)>=1)))) ))) | ( (AF( ((potential((tk(P23)>=1) & (tk(P222)>=1)))))) | ( ( ((potential((tk(P84)>=1) & (tk(P329)>=1)))) | ((potential((tk(P57)>=1) & (tk(P181)>=1)))) ) & ( ((potential((tk(P30)>=1) & (tk(P269)>=1)))) & ((potential((tk(P38)>=1) & (tk(P372)>=1)))) ) ) ) )) )
PROPERTY: DLCround-PT-12a-CTLFireability-07 (EF( (EF( ( ( ((potential((tk(P37)>=1) & (tk(P273)>=1)))) & ((potential((tk(P53)>=1) & (tk(P294)>=1)))) ) & ( ((potential((tk(P178)>=1) & (tk(P58)>=1)))) & ((potential((tk(P55)>=1) & (tk(P297)>=1)))) ) )))))
PROPERTY: DLCround-PT-12a-CTLFireability-08 (EF( (AF( (AG( ((potential((tk(P29)>=1) & (tk(P182)>=1))))))))))
PROPERTY: DLCround-PT-12a-CTLFireability-09 ( ( (! (AF( ( ((potential((tk(P87)>=1) & (tk(P326)>=1)))) & ((potential((tk(P77)>=1) & (tk(P323)>=1)))) )))) & (! (AU( ((potential((tk(P92)>=1) & (tk(P345)>=1)))) , ((potential((tk(P98)>=1) & (tk(P343)>=1)))) ))) ) & (EF( ( (EG( ((potential((tk(P148)>=1) & (tk(P334)>=1)))))) & ( ( ((potential((tk(P125)>=1)))) & ((potential((tk(P225)>=1) & (tk(P116)>=1)))) ) & ( ((potential((tk(P10)>=1) & (tk(P186)>=1)))) | ((potential((tk(P263)>=1) & (tk(P156)>=1)))) ) ) ))) )
PROPERTY: DLCround-PT-12a-CTLFireability-10 (AG( (! ( (EG( ((potential((tk(P54)>=1) & (tk(P293)>=1)))))) & ( ((potential((tk(P97)>=1) & (tk(P211)>=1)))) & ((potential((tk(P26)>=1) & (tk(P182)>=1)))) ) ))))
PROPERTY: DLCround-PT-12a-CTLFireability-11 (AG( ( (! (EG( ((potential((tk(P27)>=1))))))) | ((potential((tk(P97)>=1) & (tk(P211)>=1)))) )))
PROPERTY: DLCround-PT-12a-CTLFireability-12 (AG( (! ( (AG( ((potential((tk(P97)>=1) & (tk(P337)>=1)))))) & ((potential((tk(P57)>=1) & (tk(P183)>=1)))) ))))
PROPERTY: DLCround-PT-12a-CTLFireability-13 (! (EU( (! ( ((potential((tk(P37)>=1) & (tk(P272)>=1)))) | ((potential((tk(P147)>=1) & (tk(P407)>=1)))) )) , ( ( ((potential((tk(P371)>=1) & (tk(P158)>=1)))) | ((potential((tk(P47)>=1)))) ) | (! ((potential((tk(P33)>=1) & (tk(P268)>=1))))) ) )))
PROPERTY: DLCround-PT-12a-CTLFireability-14 (AF( (AU( (! ((potential((tk(P93)>=1) & (tk(P215)>=1))))) , ((potential((tk(P114)>=1) & (tk(P231)>=1)))) ))))
PROPERTY: DLCround-PT-12a-CTLFireability-15 (EX( ( ( (AX( ((potential((tk(P196)>=1) & (tk(P78)>=1)))))) & (! ( ((potential((tk(P33)>=1) & (tk(P167)>=1)))) | ((potential((tk(P43)>=1) & (tk(P278)>=1)))) )) ) & (! (AF( ((potential((tk(P99)>=1) & (tk(P342)>=1))))))) )))

BK_STOP 1590871234220

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 484 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="CTLFireability"
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 CTLFireability"
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-158902542400596"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;