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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.6K Mar 30 21:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 21:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 11:34 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.1K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 01:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 01:33 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 987K 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-13a-CTLFireability-00
FORMULA_NAME DLCround-PT-13a-CTLFireability-01
FORMULA_NAME DLCround-PT-13a-CTLFireability-02
FORMULA_NAME DLCround-PT-13a-CTLFireability-03
FORMULA_NAME DLCround-PT-13a-CTLFireability-04
FORMULA_NAME DLCround-PT-13a-CTLFireability-05
FORMULA_NAME DLCround-PT-13a-CTLFireability-06
FORMULA_NAME DLCround-PT-13a-CTLFireability-07
FORMULA_NAME DLCround-PT-13a-CTLFireability-08
FORMULA_NAME DLCround-PT-13a-CTLFireability-09
FORMULA_NAME DLCround-PT-13a-CTLFireability-10
FORMULA_NAME DLCround-PT-13a-CTLFireability-11
FORMULA_NAME DLCround-PT-13a-CTLFireability-12
FORMULA_NAME DLCround-PT-13a-CTLFireability-13
FORMULA_NAME DLCround-PT-13a-CTLFireability-14
FORMULA_NAME DLCround-PT-13a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869273336

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13a
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: 463 places, 3847 transitions, 15089 arcs.
AT ITER 0 NEW BEST:: SOT 1098087 SOS 951716 HAS SOPS 579739 HAS SOUS 102156 HAS SOUPS 74420 WITH SCORE 75371.716
AT ITER 2 NEW BEST:: SOT 1098029 SOS 950556 HAS SOPS 579565 HAS SOUS 102072 HAS SOUPS 74394 WITH SCORE 75344.556
AT ITER 4 NEW BEST:: SOT 1097619 SOS 950198 HAS SOPS 578947 HAS SOUS 101479 HAS SOUPS 73605 WITH SCORE 74555.198
AT ITER 7 NEW BEST:: SOT 1097591 SOS 949722 HAS SOPS 578863 HAS SOUS 101367 HAS SOUPS 73521 WITH SCORE 74470.722
AT ITER 26 NEW BEST:: SOT 1101773 SOS 949655 HAS SOPS 579070 HAS SOUS 104401 HAS SOUPS 73484 WITH SCORE 74433.655
AT ITER 47 NEW BEST:: SOT 1101736 SOS 944637 HAS SOPS 578470 HAS SOUS 105391 HAS SOUPS 73263 WITH SCORE 74207.637
AT ITER 67 NEW BEST:: SOT 1106327 SOS 949492 HAS SOPS 583325 HAS SOUS 104209 HAS SOUPS 72081 WITH SCORE 73030.492
AT ITER 70 NEW BEST:: SOT 1106428 SOS 949553 HAS SOPS 583386 HAS SOUS 104182 HAS SOUPS 72054 WITH SCORE 73003.553
AT ITER 73 NEW BEST:: SOT 1106324 SOS 949462 HAS SOPS 583230 HAS SOUS 104012 HAS SOUPS 71844 WITH SCORE 72793.462
AT ITER 75 NEW BEST:: SOT 1106144 SOS 949282 HAS SOPS 582990 HAS SOUS 103718 HAS SOUPS 71516 WITH SCORE 72465.282
AT ITER 85 NEW BEST:: SOT 1106098 SOS 949236 HAS SOPS 582944 HAS SOUS 103672 HAS SOUPS 71470 WITH SCORE 72419.236
AT ITER 98 NEW BEST:: SOT 1106225 SOS 946649 HAS SOPS 582108 HAS SOUS 103565 HAS SOUPS 71466 WITH SCORE 72412.649
AT ITER 127 NEW BEST:: SOT 1106188 SOS 946612 HAS SOPS 582071 HAS SOUS 103528 HAS SOUPS 71429 WITH SCORE 72375.612
AT ITER 129 NEW BEST:: SOT 1105439 SOS 945958 HAS SOPS 580942 HAS SOUS 102449 HAS SOUPS 69990 WITH SCORE 70935.958
AT ITER 150 NEW BEST:: SOT 1105405 SOS 944635 HAS SOPS 580401 HAS SOUS 102381 HAS SOUPS 69968 WITH SCORE 70912.635
AT ITER 151 NEW BEST:: SOT 1106381 SOS 942149 HAS SOPS 579851 HAS SOUS 104569 HAS SOUPS 69844 WITH SCORE 70786.149
AT ITER 153 NEW BEST:: SOT 1106334 SOS 942102 HAS SOPS 579804 HAS SOUS 104522 HAS SOUPS 69797 WITH SCORE 70739.102
AT ITER 194 NEW BEST:: SOT 1106284 SOS 941152 HAS SOPS 579279 HAS SOUS 104472 HAS SOUPS 69772 WITH SCORE 70713.152
AT ITER 197 NEW BEST:: SOT 1106280 SOS 941076 HAS SOPS 579271 HAS SOUS 104468 HAS SOUPS 69772 WITH SCORE 70713.076
AT ITER 200 NEW BEST:: SOT 1106281 SOS 935679 HAS SOPS 573874 HAS SOUS 104431 HAS SOUPS 69735 WITH SCORE 70670.679
AT ITER 202 NEW BEST:: SOT 1106157 SOS 934241 HAS SOPS 573677 HAS SOUS 104288 HAS SOUPS 69665 WITH SCORE 70599.241
AT ITER 220 NEW BEST:: SOT 1106086 SOS 933619 HAS SOPS 573055 HAS SOUS 104280 HAS SOUPS 69657 WITH SCORE 70590.619
AT ITER 231 NEW BEST:: SOT 1106086 SOS 933585 HAS SOPS 573021 HAS SOUS 104278 HAS SOUPS 69655 WITH SCORE 70588.585
AT ITER 238 NEW BEST:: SOT 1105846 SOS 933376 HAS SOPS 572719 HAS SOUS 103768 HAS SOUPS 69149 WITH SCORE 70082.376
AT ITER 240 NEW BEST:: SOT 1106016 SOS 931840 HAS SOPS 572968 HAS SOUS 103633 HAS SOUPS 69119 WITH SCORE 70050.84
AT ITER 257 NEW BEST:: SOT 1105861 SOS 921230 HAS SOPS 564143 HAS SOUS 103493 HAS SOUPS 69084 WITH SCORE 70005.23
AT ITER 260 NEW BEST:: SOT 1106019 SOS 921351 HAS SOPS 564338 HAS SOUS 103445 HAS SOUPS 69067 WITH SCORE 69988.351
AT ITER 286 NEW BEST:: SOT 1105627 SOS 921019 HAS SOPS 563706 HAS SOUS 102738 HAS SOUPS 68180 WITH SCORE 69101.019
AT ITER 296 NEW BEST:: SOT 1105643 SOS 913957 HAS SOPS 558106 HAS SOUS 102622 HAS SOUPS 68150 WITH SCORE 69063.957
AT ITER 301 NEW BEST:: SOT 1105556 SOS 913435 HAS SOPS 557990 HAS SOUS 102529 HAS SOUPS 68086 WITH SCORE 68999.435
AT ITER 305 NEW BEST:: SOT 1105555 SOS 913416 HAS SOPS 557971 HAS SOUS 102528 HAS SOUPS 68085 WITH SCORE 68998.416
AT ITER 321 NEW BEST:: SOT 1105549 SOS 912864 HAS SOPS 557419 HAS SOUS 102528 HAS SOUPS 68085 WITH SCORE 68997.864
AT ITER 325 NEW BEST:: SOT 1105549 SOS 912864 HAS SOPS 557419 HAS SOUS 102447 HAS SOUPS 68040 WITH SCORE 68952.864
AT ITER 337 NEW BEST:: SOT 1104523 SOS 912189 HAS SOPS 556744 HAS SOUS 101144 HAS SOUPS 66737 WITH SCORE 67649.189
AT ITER 347 NEW BEST:: SOT 1104466 SOS 911448 HAS SOPS 556326 HAS SOUS 101049 HAS SOUPS 66661 WITH SCORE 67572.448
AT ITER 352 NEW BEST:: SOT 1104444 SOS 911030 HAS SOPS 555908 HAS SOUS 101027 HAS SOUPS 66639 WITH SCORE 67550.03
AT ITER 353 NEW BEST:: SOT 1103331 SOS 910076 HAS SOPS 554159 HAS SOUS 99374 HAS SOUPS 64378 WITH SCORE 65288.076
AT ITER 357 NEW BEST:: SOT 1103254 SOS 910728 HAS SOPS 554811 HAS SOUS 99332 HAS SOUPS 64336 WITH SCORE 65246.728
AT ITER 392 NEW BEST:: SOT 1103083 SOS 910557 HAS SOPS 554424 HAS SOUS 98782 HAS SOUPS 63651 WITH SCORE 64561.557
AT ITER 398 NEW BEST:: SOT 1103394 SOS 911061 HAS SOPS 554156 HAS SOUS 97818 HAS SOUPS 62658 WITH SCORE 63569.061
AT ITER 409 NEW BEST:: SOT 1103353 SOS 909973 HAS SOPS 553595 HAS SOUS 97766 HAS SOUPS 62637 WITH SCORE 63546.973
AT ITER 425 NEW BEST:: SOT 1103349 SOS 909885 HAS SOPS 553507 HAS SOUS 97762 HAS SOUPS 62633 WITH SCORE 63542.885
AT ITER 427 NEW BEST:: SOT 1103338 SOS 909676 HAS SOPS 553298 HAS SOUS 97751 HAS SOUPS 62622 WITH SCORE 63531.676
AT ITER 433 NEW BEST:: SOT 1101591 SOS 908179 HAS SOPS 550449 HAS SOUS 97224 HAS SOUPS 62129 WITH SCORE 63037.179
AT ITER 437 NEW BEST:: SOT 1101571 SOS 907685 HAS SOPS 550618 HAS SOUS 97175 HAS SOUPS 62119 WITH SCORE 63026.685
AT ITER 440 NEW BEST:: SOT 1101571 SOS 908074 HAS SOPS 550616 HAS SOUS 97173 HAS SOUPS 62094 WITH SCORE 63002.074
AT ITER 454 NEW BEST:: SOT 1098550 SOS 904869 HAS SOPS 547411 HAS SOUS 96921 HAS SOUPS 61842 WITH SCORE 62746.869
AT ITER 460 NEW BEST:: SOT 1098501 SOS 904771 HAS SOPS 547411 HAS SOUS 96872 HAS SOUPS 61842 WITH SCORE 62746.771
AT ITER 471 NEW BEST:: SOT 1098501 SOS 904771 HAS SOPS 547302 HAS SOUS 96763 HAS SOUPS 61733 WITH SCORE 62637.771
AT ITER 499 NEW BEST:: SOT 1098414 SOS 904597 HAS SOPS 547215 HAS SOUS 96589 HAS SOUPS 61646 WITH SCORE 62550.597
AT ITER 504 NEW BEST:: SOT 1098413 SOS 904578 HAS SOPS 547196 HAS SOUS 96588 HAS SOUPS 61645 WITH SCORE 62549.578
AT ITER 520 NEW BEST:: SOT 1098337 SOS 905317 HAS SOPS 547305 HAS SOUS 96570 HAS SOUPS 61612 WITH SCORE 62517.317
AT ITER 524 NEW BEST:: SOT 1098403 SOS 905281 HAS SOPS 547269 HAS SOUS 96467 HAS SOUPS 61509 WITH SCORE 62414.281
AT ITER 528 NEW BEST:: SOT 1098370 SOS 904654 HAS SOPS 546642 HAS SOUS 96450 HAS SOUPS 61492 WITH SCORE 62396.654
AT ITER 530 NEW BEST:: SOT 1098236 SOS 904520 HAS SOPS 546288 HAS SOUS 96085 HAS SOUPS 60995 WITH SCORE 61899.52
AT ITER 556 NEW BEST:: SOT 1097898 SOS 904182 HAS SOPS 545050 HAS SOUS 93456 HAS SOUPS 58501 WITH SCORE 59405.182
AT ITER 560 NEW BEST:: SOT 1097923 SOS 904207 HAS SOPS 545075 HAS SOUS 93184 HAS SOUPS 58361 WITH SCORE 59265.207
AT ITER 569 NEW BEST:: SOT 1099064 SOS 901327 HAS SOPS 544505 HAS SOUS 92179 HAS SOUPS 57694 WITH SCORE 58595.327
AT ITER 582 NEW BEST:: SOT 1099110 SOS 901373 HAS SOPS 544336 HAS SOUS 90694 HAS SOUPS 56817 WITH SCORE 57718.373
AT ITER 595 NEW BEST:: SOT 1099108 SOS 901350 HAS SOPS 544279 HAS SOUS 90695 HAS SOUPS 56816 WITH SCORE 57717.35
AT ITER 599 NEW BEST:: SOT 1099134 SOS 901376 HAS SOPS 544134 HAS SOUS 90550 HAS SOUPS 56671 WITH SCORE 57572.376
AT ITER 612 NEW BEST:: SOT 1099158 SOS 902648 HAS SOPS 544590 HAS SOUS 90526 HAS SOUPS 56599 WITH SCORE 57501.648
AT ITER 614 NEW BEST:: SOT 1099158 SOS 902648 HAS SOPS 544539 HAS SOUS 90475 HAS SOUPS 56548 WITH SCORE 57450.648
AT ITER 620 NEW BEST:: SOT 1100271 SOS 903968 HAS SOPS 544617 HAS SOUS 89932 HAS SOUPS 55545 WITH SCORE 56448.968
AT ITER 641 NEW BEST:: SOT 1100269 SOS 903966 HAS SOPS 544615 HAS SOUS 89930 HAS SOUPS 55543 WITH SCORE 56446.966
AT ITER 643 NEW BEST:: SOT 1099750 SOS 903475 HAS SOPS 544390 HAS SOUS 89521 HAS SOUPS 55134 WITH SCORE 56037.475
AT ITER 646 NEW BEST:: SOT 1100573 SOS 904298 HAS SOPS 544385 HAS SOUS 88948 HAS SOUPS 54561 WITH SCORE 55465.298
AT ITER 661 NEW BEST:: SOT 1100442 SOS 906678 HAS SOPS 545505 HAS SOUS 88874 HAS SOUPS 54487 WITH SCORE 55393.678
AT ITER 662 NEW BEST:: SOT 1100247 SOS 906353 HAS SOPS 545440 HAS SOUS 88744 HAS SOUPS 54422 WITH SCORE 55328.353
AT ITER 670 NEW BEST:: SOT 1100355 SOS 906461 HAS SOPS 545548 HAS SOUS 88718 HAS SOUPS 54396 WITH SCORE 55302.461
AT ITER 671 NEW BEST:: SOT 1100334 SOS 906299 HAS SOPS 545527 HAS SOUS 88556 HAS SOUPS 54375 WITH SCORE 55281.299
AT ITER 677 NEW BEST:: SOT 1097671 SOS 903315 HAS SOPS 544334 HAS SOUS 87438 HAS SOUPS 53257 WITH SCORE 54160.315
AT ITER 680 NEW BEST:: SOT 1097599 SOS 903207 HAS SOPS 544298 HAS SOUS 87366 HAS SOUPS 53221 WITH SCORE 54124.207
AT ITER 682 NEW BEST:: SOT 1097597 SOS 903203 HAS SOPS 544298 HAS SOUS 87364 HAS SOUPS 53221 WITH SCORE 54124.203
AT ITER 713 NEW BEST:: SOT 1097550 SOS 903156 HAS SOPS 544251 HAS SOUS 87257 HAS SOUPS 53114 WITH SCORE 54017.156
AT ITER 716 NEW BEST:: SOT 1097242 SOS 902892 HAS SOPS 543767 HAS SOUS 86727 HAS SOUPS 52448 WITH SCORE 53350.892
AT ITER 717 NEW BEST:: SOT 1097183 SOS 901712 HAS SOPS 543590 HAS SOUS 86642 HAS SOUPS 52422 WITH SCORE 53323.712
AT ITER 718 NEW BEST:: SOT 1097131 SOS 901634 HAS SOPS 543564 HAS SOUS 86590 HAS SOUPS 52396 WITH SCORE 53297.634
AT ITER 727 NEW BEST:: SOT 1097091 SOS 901573 HAS SOPS 543545 HAS SOUS 86361 HAS SOUPS 52272 WITH SCORE 53173.573
AT ITER 731 NEW BEST:: SOT 1097009 SOS 901491 HAS SOPS 543381 HAS SOUS 86350 HAS SOUPS 52193 WITH SCORE 53094.491
AT ITER 745 NEW BEST:: SOT 1096953 SOS 901379 HAS SOPS 543325 HAS SOUS 86238 HAS SOUPS 52137 WITH SCORE 53038.379
AT ITER 754 NEW BEST:: SOT 1097053 SOS 898483 HAS SOPS 541891 HAS SOUS 86079 HAS SOUPS 52064 WITH SCORE 52962.483
AT ITER 766 NEW BEST:: SOT 1097026 SOS 898429 HAS SOPS 541891 HAS SOUS 86052 HAS SOUPS 52064 WITH SCORE 52962.429
AT ITER 789 NEW BEST:: SOT 1097017 SOS 897691 HAS SOPS 541153 HAS SOUS 85990 HAS SOUPS 52002 WITH SCORE 52899.691
AT ITER 790 NEW BEST:: SOT 1097017 SOS 897691 HAS SOPS 541030 HAS SOUS 85877 HAS SOUPS 51889 WITH SCORE 52786.691
AT ITER 792 NEW BEST:: SOT 1097022 SOS 897696 HAS SOPS 541017 HAS SOUS 85864 HAS SOUPS 51876 WITH SCORE 52773.696
AT ITER 793 NEW BEST:: SOT 1095058 SOS 889462 HAS SOPS 537293 HAS SOUS 82849 HAS SOUPS 49181 WITH SCORE 50070.462
AT ITER 803 NEW BEST:: SOT 1093351 SOS 883986 HAS SOPS 535820 HAS SOUS 82995 HAS SOUPS 49174 WITH SCORE 50057.986
AT ITER 807 NEW BEST:: SOT 1093243 SOS 883554 HAS SOPS 535388 HAS SOUS 82668 HAS SOUPS 48847 WITH SCORE 49730.554
AT ITER 819 NEW BEST:: SOT 1092608 SOS 882583 HAS SOPS 534903 HAS SOUS 81997 HAS SOUPS 48362 WITH SCORE 49244.583
AT ITER 820 NEW BEST:: SOT 1092593 SOS 882553 HAS SOPS 534888 HAS SOUS 81967 HAS SOUPS 48347 WITH SCORE 49229.553
AT ITER 831 NEW BEST:: SOT 1092592 SOS 882552 HAS SOPS 534887 HAS SOUS 81966 HAS SOUPS 48346 WITH SCORE 49228.552
AT ITER 837 NEW BEST:: SOT 1092639 SOS 882599 HAS SOPS 534885 HAS SOUS 81964 HAS SOUPS 48344 WITH SCORE 49226.599
AT ITER 848 NEW BEST:: SOT 1092639 SOS 882622 HAS SOPS 534885 HAS SOUS 81863 HAS SOUPS 48243 WITH SCORE 49125.622
AT ITER 857 NEW BEST:: SOT 1092611 SOS 882384 HAS SOPS 534815 HAS SOUS 81821 HAS SOUPS 48215 WITH SCORE 49097.384
AT ITER 858 NEW BEST:: SOT 1092563 SOS 882320 HAS SOPS 534799 HAS SOUS 81645 HAS SOUPS 48119 WITH SCORE 49001.32
AT ITER 861 NEW BEST:: SOT 1092433 SOS 882125 HAS SOPS 534734 HAS SOUS 81515 HAS SOUPS 48054 WITH SCORE 48936.125
AT ITER 887 NEW BEST:: SOT 1091302 SOS 880994 HAS SOPS 534278 HAS SOUS 81502 HAS SOUPS 48041 WITH SCORE 48921.994
AT ITER 891 NEW BEST:: SOT 1091271 SOS 880963 HAS SOPS 534247 HAS SOUS 81471 HAS SOUPS 48010 WITH SCORE 48890.963
AT ITER 897 NEW BEST:: SOT 1091203 SOS 880827 HAS SOPS 534179 HAS SOUS 81335 HAS SOUPS 47942 WITH SCORE 48822.827
AT ITER 902 NEW BEST:: SOT 1092383 SOS 881776 HAS SOPS 535359 HAS SOUS 81156 HAS SOUPS 47925 WITH SCORE 48806.776
AT ITER 922 NEW BEST:: SOT 1091961 SOS 879132 HAS SOPS 535131 HAS SOUS 81014 HAS SOUPS 47839 WITH SCORE 48718.132
AT ITER 937 NEW BEST:: SOT 1092394 SOS 879642 HAS SOPS 535256 HAS SOUS 80523 HAS SOUPS 47348 WITH SCORE 48227.642
AT ITER 938 NEW BEST:: SOT 1092968 SOS 875423 HAS SOPS 532265 HAS SOUS 80596 HAS SOUPS 46534 WITH SCORE 47409.423
AT ITER 939 NEW BEST:: SOT 1092965 SOS 875418 HAS SOPS 532264 HAS SOUS 80593 HAS SOUPS 46533 WITH SCORE 47408.418
AT ITER 947 NEW BEST:: SOT 1094041 SOS 876878 HAS SOPS 532572 HAS SOUS 79692 HAS SOUPS 45572 WITH SCORE 46448.878
AT ITER 949 NEW BEST:: SOT 1094041 SOS 876878 HAS SOPS 532572 HAS SOUS 79683 HAS SOUPS 45567 WITH SCORE 46443.878
AT ITER 981 NEW BEST:: SOT 1094006 SOS 874112 HAS SOPS 531940 HAS SOUS 79559 HAS SOUPS 45535 WITH SCORE 46409.112
AT ITER 989 NEW BEST:: SOT 1094000 SOS 874106 HAS SOPS 531992 HAS SOUS 79377 HAS SOUPS 45457 WITH SCORE 46331.106
AT ITER 990 NEW BEST:: SOT 1093973 SOS 873593 HAS SOPS 531479 HAS SOUS 79350 HAS SOUPS 45430 WITH SCORE 46303.593
AT ITER 1009 NEW BEST:: SOT 1094113 SOS 873733 HAS SOPS 531519 HAS SOUS 79330 HAS SOUPS 45410 WITH SCORE 46283.733
AT ITER 1016 NEW BEST:: SOT 1094147 SOS 873767 HAS SOPS 531392 HAS SOUS 79371 HAS SOUPS 45379 WITH SCORE 46252.767
AT ITER 1041 NEW BEST:: SOT 1094343 SOS 863146 HAS SOPS 522828 HAS SOUS 79238 HAS SOUPS 45367 WITH SCORE 46230.146
AT ITER 1043 NEW BEST:: SOT 1094437 SOS 863240 HAS SOPS 522782 HAS SOUS 79192 HAS SOUPS 45321 WITH SCORE 46184.24
AT ITER 1074 NEW BEST:: SOT 1094580 SOS 863350 HAS SOPS 522958 HAS SOUS 79145 HAS SOUPS 45304 WITH SCORE 46167.35
AT ITER 1077 NEW BEST:: SOT 1094601 SOS 862767 HAS SOPS 523888 HAS SOUS 79051 HAS SOUPS 45299 WITH SCORE 46161.767
AT ITER 1084 NEW BEST:: SOT 1094601 SOS 862767 HAS SOPS 523888 HAS SOUS 78997 HAS SOUPS 45269 WITH SCORE 46131.767
AT ITER 1085 NEW BEST:: SOT 1093612 SOS 860938 HAS SOPS 522544 HAS SOUS 78992 HAS SOUPS 45264 WITH SCORE 46124.938
AT ITER 1091 NEW BEST:: SOT 1092361 SOS 857230 HAS SOPS 521487 HAS SOUS 78838 HAS SOUPS 45240 WITH SCORE 46097.23
AT ITER 1092 NEW BEST:: SOT 1092266 SOS 855374 HAS SOPS 520719 HAS SOUS 78732 HAS SOUPS 45198 WITH SCORE 46053.374
AT ITER 1098 NEW BEST:: SOT 1092116 SOS 855125 HAS SOPS 520635 HAS SOUS 78648 HAS SOUPS 45147 WITH SCORE 46002.125
AT ITER 1113 NEW BEST:: SOT 1091497 SOS 853741 HAS SOPS 520192 HAS SOUS 78578 HAS SOUPS 45092 WITH SCORE 45945.741
AT ITER 1132 NEW BEST:: SOT 1091487 SOS 852821 HAS SOPS 519272 HAS SOUS 78578 HAS SOUPS 45092 WITH SCORE 45944.821
AT ITER 1160 NEW BEST:: SOT 1091368 SOS 852621 HAS SOPS 519234 HAS SOUS 78459 HAS SOUPS 45054 WITH SCORE 45906.621
AT ITER 1192 NEW BEST:: SOT 1091368 SOS 852569 HAS SOPS 519234 HAS SOUS 78407 HAS SOUPS 45054 WITH SCORE 45906.569
AT ITER 1198 NEW BEST:: SOT 1091368 SOS 852563 HAS SOPS 519234 HAS SOUS 78401 HAS SOUPS 45054 WITH SCORE 45906.563
AT ITER 1221 NEW BEST:: SOT 1091300 SOS 852461 HAS SOPS 519132 HAS SOUS 78333 HAS SOUPS 44986 WITH SCORE 45838.461
AT ITER 1225 NEW BEST:: SOT 1091207 SOS 852275 HAS SOPS 519132 HAS SOUS 78240 HAS SOUPS 44986 WITH SCORE 45838.275
AT ITER 1232 NEW BEST:: SOT 1091357 SOS 850770 HAS SOPS 519242 HAS SOUS 78080 HAS SOUPS 44921 WITH SCORE 45771.77
AT ITER 1237 NEW BEST:: SOT 1091357 SOS 850770 HAS SOPS 519245 HAS SOUS 78056 HAS SOUPS 44909 WITH SCORE 45759.77
AT ITER 1238 NEW BEST:: SOT 1091357 SOS 850770 HAS SOPS 519211 HAS SOUS 78022 HAS SOUPS 44875 WITH SCORE 45725.77
AT ITER 1288 NEW BEST:: SOT 1091322 SOS 850735 HAS SOPS 519211 HAS SOUS 77770 HAS SOUPS 44735 WITH SCORE 45585.735
AT ITER 1296 NEW BEST:: SOT 1091459 SOS 849337 HAS SOPS 519185 HAS SOUS 77718 HAS SOUPS 44709 WITH SCORE 45558.337
AT ITER 1317 NEW BEST:: SOT 1090590 SOS 848746 HAS SOPS 518836 HAS SOUS 76187 HAS SOUPS 43904 WITH SCORE 44752.746
AT ITER 1333 NEW BEST:: SOT 1090488 SOS 848406 HAS SOPS 518751 HAS SOUS 76095 HAS SOUPS 43885 WITH SCORE 44733.406
AT ITER 1338 NEW BEST:: SOT 1090486 SOS 848410 HAS SOPS 518745 HAS SOUS 76093 HAS SOUPS 43883 WITH SCORE 44731.41
AT ITER 1345 NEW BEST:: SOT 1090486 SOS 847643 HAS SOPS 518303 HAS SOUS 76093 HAS SOUPS 43883 WITH SCORE 44730.643
AT ITER 1354 NEW BEST:: SOT 1089373 SOS 845993 HAS SOPS 517054 HAS SOUS 76121 HAS SOUPS 43874 WITH SCORE 44719.993
AT ITER 1374 NEW BEST:: SOT 1089455 SOS 846075 HAS SOPS 517049 HAS SOUS 76116 HAS SOUPS 43869 WITH SCORE 44715.075
AT ITER 1391 NEW BEST:: SOT 1089468 SOS 846107 HAS SOPS 517039 HAS SOUS 76112 HAS SOUPS 43863 WITH SCORE 44709.107
AT ITER 1392 NEW BEST:: SOT 1089402 SOS 846019 HAS SOPS 517017 HAS SOUS 76068 HAS SOUPS 43841 WITH SCORE 44687.019
AT ITER 1393 NEW BEST:: SOT 1089419 SOS 845985 HAS SOPS 516983 HAS SOUS 76017 HAS SOUPS 43790 WITH SCORE 44635.985
AT ITER 1403 NEW BEST:: SOT 1089392 SOS 846802 HAS SOPS 517043 HAS SOUS 75954 HAS SOUPS 43716 WITH SCORE 44562.802
AT ITER 1408 NEW BEST:: SOT 1089396 SOS 846878 HAS SOPS 517119 HAS SOUS 75942 HAS SOUPS 43704 WITH SCORE 44550.878
AT ITER 1413 NEW BEST:: SOT 1089396 SOS 846878 HAS SOPS 517119 HAS SOUS 75762 HAS SOUPS 43604 WITH SCORE 44450.878
AT ITER 1419 NEW BEST:: SOT 1089321 SOS 846766 HAS SOPS 517081 HAS SOUS 75681 HAS SOUPS 43560 WITH SCORE 44406.766
AT ITER 1422 NEW BEST:: SOT 1089260 SOS 846673 HAS SOPS 517052 HAS SOUS 75422 HAS SOUPS 43421 WITH SCORE 44267.673
AT ITER 1423 NEW BEST:: SOT 1089242 SOS 846484 HAS SOPS 516710 HAS SOUS 75422 HAS SOUPS 43412 WITH SCORE 44258.484
AT ITER 1428 NEW BEST:: SOT 1089494 SOS 847072 HAS SOPS 516878 HAS SOUS 75338 HAS SOUPS 43356 WITH SCORE 44203.072
AT ITER 1431 NEW BEST:: SOT 1089091 SOS 847210 HAS SOPS 517586 HAS SOUS 73898 HAS SOUPS 43275 WITH SCORE 44122.21
AT ITER 1432 NEW BEST:: SOT 1089050 SOS 847128 HAS SOPS 517586 HAS SOUS 73857 HAS SOUPS 43275 WITH SCORE 44122.128
AT ITER 1450 NEW BEST:: SOT 1087396 SOS 845323 HAS SOPS 516083 HAS SOUS 73805 HAS SOUPS 43249 WITH SCORE 44094.323
AT ITER 1487 NEW BEST:: SOT 1087348 SOS 845323 HAS SOPS 516011 HAS SOUS 73781 HAS SOUPS 43225 WITH SCORE 44070.323
AT ITER 1488 NEW BEST:: SOT 1087341 SOS 845190 HAS SOPS 515878 HAS SOUS 73774 HAS SOUPS 43218 WITH SCORE 44063.19
AT ITER 1501 NEW BEST:: SOT 1087429 SOS 845390 HAS SOPS 515926 HAS SOUS 73766 HAS SOUPS 43202 WITH SCORE 44047.39
AT ITER 1502 NEW BEST:: SOT 1087423 SOS 845284 HAS SOPS 515920 HAS SOUS 73660 HAS SOUPS 43196 WITH SCORE 44041.284
AT ITER 1508 NEW BEST:: SOT 1087538 SOS 844501 HAS SOPS 515184 HAS SOUS 73667 HAS SOUPS 43185 WITH SCORE 44029.501
AT ITER 1523 NEW BEST:: SOT 1087478 SOS 844941 HAS SOPS 515148 HAS SOUS 73683 HAS SOUPS 43173 WITH SCORE 44017.941
AT ITER 1529 NEW BEST:: SOT 1087456 SOS 844919 HAS SOPS 515126 HAS SOUS 73617 HAS SOUPS 43107 WITH SCORE 43951.919
AT ITER 1534 NEW BEST:: SOT 1087445 SOS 844906 HAS SOPS 515113 HAS SOUS 73610 HAS SOUPS 43100 WITH SCORE 43944.906
AT ITER 1556 NEW BEST:: SOT 1087759 SOS 845977 HAS SOPS 515342 HAS SOUS 73551 HAS SOUPS 42993 WITH SCORE 43838.977
AT ITER 1558 NEW BEST:: SOT 1087759 SOS 846149 HAS SOPS 515342 HAS SOUS 73663 HAS SOUPS 42933 WITH SCORE 43779.149
AT ITER 1564 NEW BEST:: SOT 1087476 SOS 845633 HAS SOPS 515164 HAS SOUS 73395 HAS SOUPS 42793 WITH SCORE 43638.633
AT ITER 1566 NEW BEST:: SOT 1087275 SOS 842758 HAS SOPS 514125 HAS SOUS 73263 HAS SOUPS 42769 WITH SCORE 43611.758
AT ITER 1568 NEW BEST:: SOT 1087272 SOS 842758 HAS SOPS 514122 HAS SOUS 73263 HAS SOUPS 42766 WITH SCORE 43608.758
AT ITER 1574 NEW BEST:: SOT 1087209 SOS 842695 HAS SOPS 514059 HAS SOUS 73265 HAS SOUPS 42748 WITH SCORE 43590.695
AT ITER 1579 NEW BEST:: SOT 1087084 SOS 842496 HAS SOPS 514046 HAS SOUS 73116 HAS SOUPS 42682 WITH SCORE 43524.496
AT ITER 1581 NEW BEST:: SOT 1086954 SOS 834004 HAS SOPS 505675 HAS SOUS 73086 HAS SOUPS 42670 WITH SCORE 43504.004
AT ITER 1604 NEW BEST:: SOT 1086972 SOS 834226 HAS SOPS 505689 HAS SOUS 73054 HAS SOUPS 42638 WITH SCORE 43472.226
AT ITER 1606 NEW BEST:: SOT 1086972 SOS 834226 HAS SOPS 505689 HAS SOUS 72991 HAS SOUPS 42603 WITH SCORE 43437.226
AT ITER 1623 NEW BEST:: SOT 1086622 SOS 833946 HAS SOPS 505269 HAS SOUS 73053 HAS SOUPS 42598 WITH SCORE 43431.946
AT ITER 1626 NEW BEST:: SOT 1086617 SOS 833851 HAS SOPS 505174 HAS SOUS 73048 HAS SOUPS 42593 WITH SCORE 43426.851
AT ITER 1630 NEW BEST:: SOT 1086617 SOS 833329 HAS SOPS 504652 HAS SOUS 73048 HAS SOUPS 42593 WITH SCORE 43426.329
AT ITER 1632 NEW BEST:: SOT 1086443 SOS 833155 HAS SOPS 504478 HAS SOUS 72865 HAS SOUPS 42500 WITH SCORE 43333.155
AT ITER 1637 NEW BEST:: SOT 1086442 SOS 833153 HAS SOPS 504478 HAS SOUS 72864 HAS SOUPS 42500 WITH SCORE 43333.153
AT ITER 1650 NEW BEST:: SOT 1086330 SOS 832529 HAS SOPS 504414 HAS SOUS 72806 HAS SOUPS 42482 WITH SCORE 43314.529
AT ITER 1659 NEW BEST:: SOT 1086174 SOS 829373 HAS SOPS 501258 HAS SOUS 72781 HAS SOUPS 42457 WITH SCORE 43286.373
AT ITER 1667 NEW BEST:: SOT 1086295 SOS 824971 HAS SOPS 498369 HAS SOUS 72691 HAS SOUPS 42456 WITH SCORE 43280.971
AT ITER 1687 NEW BEST:: SOT 1086286 SOS 824890 HAS SOPS 498288 HAS SOUS 72679 HAS SOUPS 42444 WITH SCORE 43268.89
AT ITER 1704 NEW BEST:: SOT 1086286 SOS 824455 HAS SOPS 497853 HAS SOUS 72678 HAS SOUPS 42443 WITH SCORE 43267.455
AT ITER 1722 NEW BEST:: SOT 1086286 SOS 824455 HAS SOPS 498074 HAS SOUS 72652 HAS SOUPS 42430 WITH SCORE 43254.455
AT ITER 1727 NEW BEST:: SOT 1086451 SOS 824830 HAS SOPS 498164 HAS SOUS 72637 HAS SOUPS 42400 WITH SCORE 43224.83
AT ITER 1738 NEW BEST:: SOT 1085368 SOS 823834 HAS SOPS 496994 HAS SOUS 72660 HAS SOUPS 42360 WITH SCORE 43183.834
AT ITER 1739 NEW BEST:: SOT 1085368 SOS 823834 HAS SOPS 496994 HAS SOUS 72657 HAS SOUPS 42357 WITH SCORE 43180.834
AT ITER 1741 NEW BEST:: SOT 1085368 SOS 823802 HAS SOPS 496994 HAS SOUS 72616 HAS SOUPS 42352 WITH SCORE 43175.802
AT ITER 1756 NEW BEST:: SOT 1085480 SOS 823914 HAS SOPS 497041 HAS SOUS 72585 HAS SOUPS 42321 WITH SCORE 43144.914
AT ITER 1760 NEW BEST:: SOT 1085440 SOS 823871 HAS SOPS 497041 HAS SOUS 72568 HAS SOUPS 42307 WITH SCORE 43130.871
AT ITER 1764 NEW BEST:: SOT 1085446 SOS 823877 HAS SOPS 497047 HAS SOUS 72562 HAS SOUPS 42301 WITH SCORE 43124.877
AT ITER 1775 NEW BEST:: SOT 1085446 SOS 823877 HAS SOPS 497022 HAS SOUS 72537 HAS SOUPS 42276 WITH SCORE 43099.877
AT ITER 1782 NEW BEST:: SOT 1086525 SOS 825097 HAS SOPS 497960 HAS SOUS 72626 HAS SOUPS 42224 WITH SCORE 43049.097
AT ITER 1786 NEW BEST:: SOT 1086695 SOS 825337 HAS SOPS 498200 HAS SOUS 72566 HAS SOUPS 42164 WITH SCORE 42989.337
AT ITER 1790 NEW BEST:: SOT 1086281 SOS 824086 HAS SOPS 497866 HAS SOUS 72547 HAS SOUPS 42163 WITH SCORE 42987.086
AT ITER 1817 NEW BEST:: SOT 1086230 SOS 823984 HAS SOPS 497866 HAS SOUS 72496 HAS SOUPS 42163 WITH SCORE 42986.984
AT ITER 1819 NEW BEST:: SOT 1084922 SOS 820054 HAS SOPS 496908 HAS SOUS 72355 HAS SOUPS 42102 WITH SCORE 42922.054
AT ITER 1826 NEW BEST:: SOT 1084859 SOS 819949 HAS SOPS 496866 HAS SOUS 72326 HAS SOUPS 42094 WITH SCORE 42913.949
AT ITER 1837 NEW BEST:: SOT 1084914 SOS 818262 HAS SOPS 496454 HAS SOUS 72207 HAS SOUPS 42050 WITH SCORE 42868.262
AT ITER 1850 NEW BEST:: SOT 1084890 SOS 818240 HAS SOPS 496428 HAS SOUS 72101 HAS SOUPS 41944 WITH SCORE 42762.24
AT ITER 1867 NEW BEST:: SOT 1083845 SOS 815485 HAS SOPS 495763 HAS SOUS 72006 HAS SOUPS 41944 WITH SCORE 42759.485
AT ITER 1870 NEW BEST:: SOT 1083774 SOS 815414 HAS SOPS 495763 HAS SOUS 72006 HAS SOUPS 41944 WITH SCORE 42759.414
AT ITER 1873 NEW BEST:: SOT 1083713 SOS 815292 HAS SOPS 495763 HAS SOUS 71945 HAS SOUPS 41944 WITH SCORE 42759.292
AT ITER 1875 NEW BEST:: SOT 1083721 SOS 815300 HAS SOPS 495771 HAS SOUS 71934 HAS SOUPS 41933 WITH SCORE 42748.3
AT ITER 1880 NEW BEST:: SOT 1083716 SOS 815290 HAS SOPS 495771 HAS SOUS 71929 HAS SOUPS 41933 WITH SCORE 42748.29
AT ITER 1884 NEW BEST:: SOT 1083716 SOS 815290 HAS SOPS 495705 HAS SOUS 71863 HAS SOUPS 41867 WITH SCORE 42682.29
AT ITER 1901 NEW BEST:: SOT 1083707 SOS 815119 HAS SOPS 495687 HAS SOUS 71845 HAS SOUPS 41858 WITH SCORE 42673.119
AT ITER 1902 NEW BEST:: SOT 1083476 SOS 814842 HAS SOPS 495525 HAS SOUS 71844 HAS SOUPS 41857 WITH SCORE 42671.842
AT ITER 1906 NEW BEST:: SOT 1083467 SOS 814833 HAS SOPS 495516 HAS SOUS 71841 HAS SOUPS 41854 WITH SCORE 42668.833
AT ITER 1907 NEW BEST:: SOT 1083257 SOS 811347 HAS SOPS 494597 HAS SOUS 71619 HAS SOUPS 41783 WITH SCORE 42594.347
AT ITER 1922 NEW BEST:: SOT 1083194 SOS 811221 HAS SOPS 494597 HAS SOUS 71556 HAS SOUPS 41783 WITH SCORE 42594.221
AT ITER 1936 NEW BEST:: SOT 1083237 SOS 811264 HAS SOPS 494594 HAS SOUS 71544 HAS SOUPS 41775 WITH SCORE 42586.264
AT ITER 1948 NEW BEST:: SOT 1083252 SOS 811314 HAS SOPS 494609 HAS SOUS 71482 HAS SOUPS 41720 WITH SCORE 42531.314
AT ITER 1950 NEW BEST:: SOT 1083245 SOS 810722 HAS SOPS 494017 HAS SOUS 71475 HAS SOUPS 41713 WITH SCORE 42523.722
AT ITER 1959 NEW BEST:: SOT 1083245 SOS 810713 HAS SOPS 494017 HAS SOUS 71466 HAS SOUPS 41713 WITH SCORE 42523.713
AT ITER 1969 NEW BEST:: SOT 1083152 SOS 812190 HAS SOPS 494528 HAS SOUS 71466 HAS SOUPS 41690 WITH SCORE 42502.19
AT ITER 1977 NEW BEST:: SOT 1084757 SOS 813795 HAS SOPS 494963 HAS SOUS 71627 HAS SOUPS 41375 WITH SCORE 42188.795
AT ITER 1995 NEW BEST:: SOT 1083983 SOS 812931 HAS SOPS 494279 HAS SOUS 71537 HAS SOUPS 41375 WITH SCORE 42187.931
AT ITER 2018 NEW BEST:: SOT 1083840 SOS 812612 HAS SOPS 494169 HAS SOUS 71504 HAS SOUPS 41353 WITH SCORE 42165.612
AT ITER 2020 NEW BEST:: SOT 1083996 SOS 811884 HAS SOPS 494221 HAS SOUS 71462 HAS SOUPS 41353 WITH SCORE 42164.884
AT ITER 2025 NEW BEST:: SOT 1083985 SOS 811862 HAS SOPS 494221 HAS SOUS 71451 HAS SOUPS 41353 WITH SCORE 42164.862
AT ITER 2033 NEW BEST:: SOT 1083763 SOS 812472 HAS SOPS 493189 HAS SOUS 71532 HAS SOUPS 41332 WITH SCORE 42144.472
AT ITER 2040 NEW BEST:: SOT 1084753 SOS 814722 HAS SOPS 493729 HAS SOUS 71442 HAS SOUPS 41152 WITH SCORE 41966.722
AT ITER 2042 NEW BEST:: SOT 1084823 SOS 814918 HAS SOPS 493771 HAS SOUS 71440 HAS SOUPS 41143 WITH SCORE 41957.918
AT ITER 2043 NEW BEST:: SOT 1084728 SOS 812875 HAS SOPS 492884 HAS SOUS 71345 HAS SOUPS 41116 WITH SCORE 41928.875
AT ITER 2058 NEW BEST:: SOT 1084718 SOS 812865 HAS SOPS 492884 HAS SOUS 71345 HAS SOUPS 41116 WITH SCORE 41928.865
AT ITER 2092 NEW BEST:: SOT 1084838 SOS 810860 HAS SOPS 492432 HAS SOUS 71149 HAS SOUPS 41018 WITH SCORE 41828.86
AT ITER 2108 NEW BEST:: SOT 1084838 SOS 810860 HAS SOPS 492432 HAS SOUS 71060 HAS SOUPS 40981 WITH SCORE 41791.86
AT ITER 2113 NEW BEST:: SOT 1084768 SOS 810621 HAS SOPS 492344 HAS SOUS 71000 HAS SOUPS 40968 WITH SCORE 41778.621
AT ITER 2121 NEW BEST:: SOT 1084828 SOS 810666 HAS SOPS 492419 HAS SOUS 70970 HAS SOUPS 40953 WITH SCORE 41763.666
AT ITER 2145 NEW BEST:: SOT 1084871 SOS 810709 HAS SOPS 492421 HAS SOUS 70954 HAS SOUPS 40945 WITH SCORE 41755.709
AT ITER 2167 NEW BEST:: SOT 1084871 SOS 810709 HAS SOPS 492421 HAS SOUS 70918 HAS SOUPS 40925 WITH SCORE 41735.709
AT ITER 2198 NEW BEST:: SOT 1084830 SOS 810668 HAS SOPS 492421 HAS SOUS 70918 HAS SOUPS 40925 WITH SCORE 41735.668
AT ITER 2205 NEW BEST:: SOT 1084799 SOS 810640 HAS SOPS 492869 HAS SOUS 70848 HAS SOUPS 40889 WITH SCORE 41699.64
AT ITER 2213 NEW BEST:: SOT 1084799 SOS 810470 HAS SOPS 492699 HAS SOUS 70838 HAS SOUPS 40879 WITH SCORE 41689.47
AT ITER 2218 NEW BEST:: SOT 1084799 SOS 808958 HAS SOPS 491187 HAS SOUS 70817 HAS SOUPS 40858 WITH SCORE 41666.958
AT ITER 2231 NEW BEST:: SOT 1084947 SOS 806570 HAS SOPS 489206 HAS SOUS 70781 HAS SOUPS 40822 WITH SCORE 41628.57
AT ITER 2238 NEW BEST:: SOT 1084945 SOS 806566 HAS SOPS 489204 HAS SOUS 70777 HAS SOUPS 40820 WITH SCORE 41626.566
AT ITER 2272 NEW BEST:: SOT 1084915 SOS 806456 HAS SOPS 489094 HAS SOUS 70762 HAS SOUPS 40805 WITH SCORE 41611.456
AT ITER 2287 NEW BEST:: SOT 1084911 SOS 806452 HAS SOPS 489094 HAS SOUS 70762 HAS SOUPS 40805 WITH SCORE 41611.452
AT ITER 2290 NEW BEST:: SOT 1084903 SOS 806152 HAS SOPS 489042 HAS SOUS 70742 HAS SOUPS 40801 WITH SCORE 41607.152
AT ITER 2317 NEW BEST:: SOT 1084758 SOS 804011 HAS SOPS 488125 HAS SOUS 70596 HAS SOUPS 40727 WITH SCORE 41531.011
AT ITER 2326 NEW BEST:: SOT 1084758 SOS 803705 HAS SOPS 488074 HAS SOUS 70562 HAS SOUPS 40693 WITH SCORE 41496.705
AT ITER 2331 NEW BEST:: SOT 1084245 SOS 801992 HAS SOPS 487421 HAS SOUS 70500 HAS SOUPS 40666 WITH SCORE 41467.992
AT ITER 2334 NEW BEST:: SOT 1085398 SOS 803388 HAS SOPS 488232 HAS SOUS 70489 HAS SOUPS 40655 WITH SCORE 41458.388
AT ITER 2336 NEW BEST:: SOT 1085122 SOS 802624 HAS SOPS 488061 HAS SOUS 70467 HAS SOUPS 40636 WITH SCORE 41438.624
AT ITER 2351 NEW BEST:: SOT 1085003 SOS 804474 HAS SOPS 488058 HAS SOUS 70563 HAS SOUPS 40623 WITH SCORE 41427.474
AT ITER 2376 NEW BEST:: SOT 1085003 SOS 804474 HAS SOPS 488058 HAS SOUS 70495 HAS SOUPS 40595 WITH SCORE 41399.474
AT ITER 2394 NEW BEST:: SOT 1085000 SOS 804594 HAS SOPS 488262 HAS SOUS 70486 HAS SOUPS 40592 WITH SCORE 41396.594
AT ITER 2402 NEW BEST:: SOT 1085000 SOS 804579 HAS SOPS 488262 HAS SOUS 70471 HAS SOUPS 40592 WITH SCORE 41396.579
AT ITER 2412 NEW BEST:: SOT 1084992 SOS 804559 HAS SOPS 488242 HAS SOUS 70465 HAS SOUPS 40586 WITH SCORE 41390.559
AT ITER 2439 NEW BEST:: SOT 1084977 SOS 805072 HAS SOPS 488177 HAS SOUS 70417 HAS SOUPS 40504 WITH SCORE 41309.072
AT ITER 2454 NEW BEST:: SOT 1084958 SOS 805034 HAS SOPS 488177 HAS SOUS 70398 HAS SOUPS 40504 WITH SCORE 41309.034
AT ITER 2466 NEW BEST:: SOT 1084952 SOS 805013 HAS SOPS 488171 HAS SOUS 70359 HAS SOUPS 40488 WITH SCORE 41293.013
AT ITER 2483 NEW BEST:: SOT 1084940 SOS 804989 HAS SOPS 488171 HAS SOUS 70320 HAS SOUPS 40473 WITH SCORE 41277.989
AT ITER 2561 NEW BEST:: SOT 1084932 SOS 805160 HAS SOPS 488177 HAS SOUS 70326 HAS SOUPS 40468 WITH SCORE 41273.16
AT ITER 2601 NEW BEST:: SOT 1084856 SOS 800792 HAS SOPS 484387 HAS SOUS 70276 HAS SOUPS 40452 WITH SCORE 41252.792
AT ITER 2620 NEW BEST:: SOT 1084864 SOS 800816 HAS SOPS 484393 HAS SOUS 70273 HAS SOUPS 40450 WITH SCORE 41250.816
AT ITER 2624 NEW BEST:: SOT 1085271 SOS 801807 HAS SOPS 484625 HAS SOUS 70266 HAS SOUPS 40422 WITH SCORE 41223.807
AT ITER 2626 NEW BEST:: SOT 1085172 SOS 802510 HAS SOPS 485124 HAS SOUS 70204 HAS SOUPS 40360 WITH SCORE 41162.51
AT ITER 2636 NEW BEST:: SOT 1085276 SOS 801098 HAS SOPS 483712 HAS SOUS 70169 HAS SOUPS 40325 WITH SCORE 41126.098
AT ITER 2656 NEW BEST:: SOT 1085291 SOS 801098 HAS SOPS 483967 HAS SOUS 70139 HAS SOUPS 40310 WITH SCORE 41111.098
AT ITER 2683 NEW BEST:: SOT 1083914 SOS 797880 HAS SOPS 483147 HAS SOUS 70043 HAS SOUPS 40308 WITH SCORE 41105.88
AT ITER 2699 NEW BEST:: SOT 1083914 SOS 797880 HAS SOPS 483147 HAS SOUS 69800 HAS SOUPS 40173 WITH SCORE 40970.88
AT ITER 2705 NEW BEST:: SOT 1083912 SOS 797878 HAS SOPS 483147 HAS SOUS 69782 HAS SOUPS 40163 WITH SCORE 40960.878
AT ITER 2714 NEW BEST:: SOT 1084200 SOS 798166 HAS SOPS 483270 HAS SOUS 69759 HAS SOUPS 40140 WITH SCORE 40938.166
AT ITER 2719 NEW BEST:: SOT 1084408 SOS 798790 HAS SOPS 483426 HAS SOUS 69681 HAS SOUPS 40088 WITH SCORE 40886.79
AT ITER 2726 NEW BEST:: SOT 1084331 SOS 798234 HAS SOPS 482926 HAS SOUS 69583 HAS SOUPS 39990 WITH SCORE 40788.234
AT ITER 2733 NEW BEST:: SOT 1084155 SOS 798024 HAS SOPS 482801 HAS SOUS 69577 HAS SOUPS 39984 WITH SCORE 40782.024
AT ITER 2755 NEW BEST:: SOT 1084148 SOS 797866 HAS SOPS 482779 HAS SOUS 69563 HAS SOUPS 39978 WITH SCORE 40775.866
AT ITER 2763 NEW BEST:: SOT 1084068 SOS 797746 HAS SOPS 482779 HAS SOUS 69523 HAS SOUPS 39978 WITH SCORE 40775.746
AT ITER 2766 NEW BEST:: SOT 1084060 SOS 797666 HAS SOPS 482733 HAS SOUS 69509 HAS SOUPS 39966 WITH SCORE 40763.666
AT ITER 2772 NEW BEST:: SOT 1084044 SOS 797109 HAS SOPS 482448 HAS SOUS 69481 HAS SOUPS 39954 WITH SCORE 40751.109
AT ITER 2791 NEW BEST:: SOT 1084560 SOS 798227 HAS SOPS 482706 HAS SOUS 69438 HAS SOUPS 39868 WITH SCORE 40666.227
AT ITER 2796 NEW BEST:: SOT 1084532 SOS 797219 HAS SOPS 482174 HAS SOUS 69389 HAS SOUPS 39847 WITH SCORE 40644.219
AT ITER 2814 NEW BEST:: SOT 1084517 SOS 797204 HAS SOPS 482174 HAS SOUS 69389 HAS SOUPS 39847 WITH SCORE 40644.204
AT ITER 2829 NEW BEST:: SOT 1084416 SOS 796983 HAS SOPS 482113 HAS SOUS 69328 HAS SOUPS 39826 WITH SCORE 40622.983
AT ITER 2877 NEW BEST:: SOT 1084297 SOS 796699 HAS SOPS 482049 HAS SOUS 69264 HAS SOUPS 39817 WITH SCORE 40613.699
AT ITER 2889 NEW BEST:: SOT 1084187 SOS 796567 HAS SOPS 481961 HAS SOUS 69264 HAS SOUPS 39806 WITH SCORE 40602.567
AT ITER 2937 NEW BEST:: SOT 1084121 SOS 796435 HAS SOPS 481953 HAS SOUS 69190 HAS SOUPS 39794 WITH SCORE 40590.435
AT ITER 2950 NEW BEST:: SOT 1084110 SOS 796413 HAS SOPS 481931 HAS SOUS 69166 HAS SOUPS 39770 WITH SCORE 40566.413
AT ITER 2951 NEW BEST:: SOT 1084595 SOS 797922 HAS SOPS 482316 HAS SOUS 68925 HAS SOUPS 39627 WITH SCORE 40424.922
AT ITER 2967 NEW BEST:: SOT 1084574 SOS 797901 HAS SOPS 482298 HAS SOUS 68898 HAS SOUPS 39610 WITH SCORE 40407.901
AT ITER 2978 NEW BEST:: SOT 1084576 SOS 797905 HAS SOPS 482298 HAS SOUS 68884 HAS SOUPS 39600 WITH SCORE 40397.905
AT ITER 2991 NEW BEST:: SOT 1084574 SOS 796375 HAS SOPS 481006 HAS SOUS 68866 HAS SOUPS 39596 WITH SCORE 40392.375
AT ITER 3002 NEW BEST:: SOT 1084541 SOS 796309 HAS SOPS 481006 HAS SOUS 68833 HAS SOUPS 39596 WITH SCORE 40392.309
AT ITER 3066 NEW BEST:: SOT 1084526 SOS 796279 HAS SOPS 481006 HAS SOUS 68818 HAS SOUPS 39596 WITH SCORE 40392.279
AT ITER 3073 NEW BEST:: SOT 1084526 SOS 796279 HAS SOPS 481006 HAS SOUS 68505 HAS SOUPS 39431 WITH SCORE 40227.279
AT ITER 3086 NEW BEST:: SOT 1084643 SOS 796282 HAS SOPS 481068 HAS SOUS 68386 HAS SOUPS 39337 WITH SCORE 40133.282
AT ITER 3159 NEW BEST:: SOT 1084643 SOS 796282 HAS SOPS 481068 HAS SOUS 68380 HAS SOUPS 39333 WITH SCORE 40129.282
AT ITER 3160 NEW BEST:: SOT 1084613 SOS 795967 HAS SOPS 481008 HAS SOUS 68365 HAS SOUPS 39333 WITH SCORE 40128.967
AT ITER 3170 NEW BEST:: SOT 1084618 SOS 795905 HAS SOPS 480941 HAS SOUS 68353 HAS SOUPS 39321 WITH SCORE 40116.905
AT ITER 3172 NEW BEST:: SOT 1084612 SOS 795899 HAS SOPS 480941 HAS SOUS 68353 HAS SOUPS 39321 WITH SCORE 40116.899
AT ITER 3193 NEW BEST:: SOT 1084610 SOS 795897 HAS SOPS 480939 HAS SOUS 68351 HAS SOUPS 39319 WITH SCORE 40114.897
AT ITER 3223 NEW BEST:: SOT 1084589 SOS 795876 HAS SOPS 480921 HAS SOUS 68324 HAS SOUPS 39302 WITH SCORE 40097.876
AT ITER 3251 NEW BEST:: SOT 1084555 SOS 795825 HAS SOPS 480904 HAS SOUS 68290 HAS SOUPS 39285 WITH SCORE 40080.825
AT ITER 3262 NEW BEST:: SOT 1084525 SOS 795797 HAS SOPS 480904 HAS SOUS 68292 HAS SOUPS 39285 WITH SCORE 40080.797
AT ITER 3276 NEW BEST:: SOT 1084493 SOS 796003 HAS SOPS 480838 HAS SOUS 68306 HAS SOUPS 39283 WITH SCORE 40079.003
AT ITER 3290 NEW BEST:: SOT 1084304 SOS 795457 HAS SOPS 480712 HAS SOUS 68216 HAS SOUPS 39254 WITH SCORE 40049.457
AT ITER 3303 NEW BEST:: SOT 1084300 SOS 795281 HAS SOPS 480970 HAS SOUS 68183 HAS SOUPS 39252 WITH SCORE 40047.281
AT ITER 3317 NEW BEST:: SOT 1084260 SOS 794949 HAS SOPS 480726 HAS SOUS 68171 HAS SOUPS 39244 WITH SCORE 40038.949
AT ITER 3323 NEW BEST:: SOT 1084140 SOS 794735 HAS SOPS 480677 HAS SOUS 68097 HAS SOUPS 39218 WITH SCORE 40012.735
AT ITER 3353 NEW BEST:: SOT 1084116 SOS 793839 HAS SOPS 479781 HAS SOUS 68073 HAS SOUPS 39194 WITH SCORE 39987.839
AT ITER 3357 NEW BEST:: SOT 1084105 SOS 793778 HAS SOPS 479756 HAS SOUS 68047 HAS SOUPS 39189 WITH SCORE 39982.778
AT ITER 3364 NEW BEST:: SOT 1083157 SOS 791121 HAS SOPS 478997 HAS SOUS 67953 HAS SOUPS 39190 WITH SCORE 39981.121
AT ITER 3372 NEW BEST:: SOT 1083159 SOS 791508 HAS SOPS 480115 HAS SOUS 67890 HAS SOUPS 39170 WITH SCORE 39961.508
AT ITER 3374 NEW BEST:: SOT 1082302 SOS 787202 HAS SOPS 475705 HAS SOUS 67924 HAS SOUPS 39099 WITH SCORE 39886.202
AT ITER 3387 NEW BEST:: SOT 1082219 SOS 787119 HAS SOPS 475705 HAS SOUS 67663 HAS SOUPS 38954 WITH SCORE 39741.119
AT ITER 3402 NEW BEST:: SOT 1082196 SOS 787096 HAS SOPS 475705 HAS SOUS 67663 HAS SOUPS 38954 WITH SCORE 39741.096
AT ITER 3443 NEW BEST:: SOT 1082580 SOS 788395 HAS SOPS 476005 HAS SOUS 67580 HAS SOUPS 38932 WITH SCORE 39720.395
AT ITER 3449 NEW BEST:: SOT 1082590 SOS 788231 HAS SOPS 476219 HAS SOUS 67549 HAS SOUPS 38928 WITH SCORE 39716.231
AT ITER 3495 NEW BEST:: SOT 1080659 SOS 787056 HAS SOPS 475452 HAS SOUS 67815 HAS SOUPS 38901 WITH SCORE 39688.056
AT ITER 3501 NEW BEST:: SOT 1080621 SOS 787018 HAS SOPS 475452 HAS SOUS 67815 HAS SOUPS 38901 WITH SCORE 39688.018
AT ITER 3506 NEW BEST:: SOT 1080617 SOS 787012 HAS SOPS 475450 HAS SOUS 67811 HAS SOUPS 38899 WITH SCORE 39686.012
AT ITER 3511 NEW BEST:: SOT 1080636 SOS 787143 HAS SOPS 475588 HAS SOUS 67780 HAS SOUPS 38868 WITH SCORE 39655.143
AT ITER 3515 NEW BEST:: SOT 1080630 SOS 787135 HAS SOPS 475580 HAS SOUS 67778 HAS SOUPS 38866 WITH SCORE 39653.135
AT ITER 3538 NEW BEST:: SOT 1080784 SOS 787202 HAS SOPS 475646 HAS SOUS 67755 HAS SOUPS 38865 WITH SCORE 39652.202
AT ITER 3565 NEW BEST:: SOT 1080770 SOS 786600 HAS SOPS 475401 HAS SOUS 67712 HAS SOUPS 38843 WITH SCORE 39629.6
AT ITER 3566 NEW BEST:: SOT 1080720 SOS 786540 HAS SOPS 475366 HAS SOUS 67712 HAS SOUPS 38843 WITH SCORE 39629.54
AT ITER 3577 NEW BEST:: SOT 1080719 SOS 786521 HAS SOPS 475347 HAS SOUS 67711 HAS SOUPS 38842 WITH SCORE 39628.521
AT ITER 3596 NEW BEST:: SOT 1080295 SOS 785355 HAS SOPS 474353 HAS SOUS 67683 HAS SOUPS 38780 WITH SCORE 39565.355
AT ITER 3603 NEW BEST:: SOT 1080062 SOS 782926 HAS SOPS 472596 HAS SOUS 67657 HAS SOUPS 38780 WITH SCORE 39562.926
AT ITER 3619 NEW BEST:: SOT 1080384 SOS 783923 HAS SOPS 472850 HAS SOUS 67562 HAS SOUPS 38685 WITH SCORE 39468.923
AT ITER 3669 NEW BEST:: SOT 1079804 SOS 783343 HAS SOPS 472560 HAS SOUS 67562 HAS SOUPS 38685 WITH SCORE 39468.343
AT ITER 3687 NEW BEST:: SOT 1079594 SOS 783133 HAS SOPS 472500 HAS SOUS 67559 HAS SOUPS 38683 WITH SCORE 39466.133
AT ITER 3714 NEW BEST:: SOT 1079552 SOS 783049 HAS SOPS 472500 HAS SOUS 67517 HAS SOUPS 38683 WITH SCORE 39466.049
AT ITER 3728 NEW BEST:: SOT 1079534 SOS 783031 HAS SOPS 472500 HAS SOUS 67517 HAS SOUPS 38683 WITH SCORE 39466.031
AT ITER 3769 NEW BEST:: SOT 1079162 SOS 782659 HAS SOPS 472128 HAS SOUS 67517 HAS SOUPS 38683 WITH SCORE 39465.659
AT ITER 3788 NEW BEST:: SOT 1079114 SOS 782611 HAS SOPS 472128 HAS SOUS 67517 HAS SOUPS 38683 WITH SCORE 39465.611
AT ITER 3815 NEW BEST:: SOT 1079236 SOS 782967 HAS SOPS 472212 HAS SOUS 67485 HAS SOUPS 38655 WITH SCORE 39437.967
AT ITER 3853 NEW BEST:: SOT 1079016 SOS 782747 HAS SOPS 472102 HAS SOUS 67478 HAS SOUPS 38648 WITH SCORE 39430.747
AT ITER 3861 NEW BEST:: SOT 1078992 SOS 782723 HAS SOPS 472102 HAS SOUS 67478 HAS SOUPS 38648 WITH SCORE 39430.723
AT ITER 3885 NEW BEST:: SOT 1078950 SOS 782639 HAS SOPS 472102 HAS SOUS 67436 HAS SOUPS 38648 WITH SCORE 39430.639
AT ITER 3908 NEW BEST:: SOT 1078910 SOS 782559 HAS SOPS 472102 HAS SOUS 67396 HAS SOUPS 38648 WITH SCORE 39430.559
AT ITER 3951 NEW BEST:: SOT 1078883 SOS 782532 HAS SOPS 472102 HAS SOUS 67396 HAS SOUPS 38648 WITH SCORE 39430.532
AT ITER 3984 NEW BEST:: SOT 1079003 SOS 782625 HAS SOPS 472249 HAS SOUS 67293 HAS SOUPS 38592 WITH SCORE 39374.625
AT ITER 3994 NEW BEST:: SOT 1078984 SOS 782077 HAS SOPS 471701 HAS SOUS 67292 HAS SOUPS 38591 WITH SCORE 39373.077
AT ITER 4018 NEW BEST:: SOT 1079335 SOS 783091 HAS SOPS 471935 HAS SOUS 67292 HAS SOUPS 38552 WITH SCORE 39335.091
AT ITER 4034 NEW BEST:: SOT 1079335 SOS 783091 HAS SOPS 471935 HAS SOUS 67283 HAS SOUPS 38547 WITH SCORE 39330.091
AT ITER 4084 NEW BEST:: SOT 1079335 SOS 783091 HAS SOPS 471935 HAS SOUS 67256 HAS SOUPS 38532 WITH SCORE 39315.091
AT ITER 4125 NEW BEST:: SOT 1079295 SOS 783126 HAS SOPS 471901 HAS SOUS 67211 HAS SOUPS 38487 WITH SCORE 39270.126
AT ITER 4141 NEW BEST:: SOT 1079029 SOS 782855 HAS SOPS 471710 HAS SOUS 67168 HAS SOUPS 38484 WITH SCORE 39266.855
AT ITER 4143 NEW BEST:: SOT 1078961 SOS 782175 HAS SOPS 471608 HAS SOUS 67082 HAS SOUPS 38432 WITH SCORE 39214.175
AT ITER 4145 NEW BEST:: SOT 1078979 SOS 782857 HAS SOPS 472290 HAS SOUS 67080 HAS SOUPS 38430 WITH SCORE 39212.857
AT ITER 4152 NEW BEST:: SOT 1078979 SOS 782083 HAS SOPS 469902 HAS SOUS 67124 HAS SOUPS 38381 WITH SCORE 39163.083
AT ITER 4160 NEW BEST:: SOT 1079925 SOS 784147 HAS SOPS 470418 HAS SOUS 66952 HAS SOUPS 38209 WITH SCORE 38993.147
AT ITER 4194 NEW BEST:: SOT 1079893 SOS 784083 HAS SOPS 470418 HAS SOUS 66920 HAS SOUPS 38209 WITH SCORE 38993.083
AT ITER 4196 NEW BEST:: SOT 1079769 SOS 783959 HAS SOPS 470384 HAS SOUS 66897 HAS SOUPS 38186 WITH SCORE 38969.959
AT ITER 4207 NEW BEST:: SOT 1079760 SOS 783941 HAS SOPS 470384 HAS SOUS 66888 HAS SOUPS 38186 WITH SCORE 38969.941
AT ITER 4214 NEW BEST:: SOT 1079839 SOS 782314 HAS SOPS 470202 HAS SOUS 66797 HAS SOUPS 38180 WITH SCORE 38962.314
AT ITER 4237 NEW BEST:: SOT 1079751 SOS 782072 HAS SOPS 470147 HAS SOUS 66786 HAS SOUPS 38169 WITH SCORE 38951.072
AT ITER 4240 NEW BEST:: SOT 1079706 SOS 782010 HAS SOPS 469609 HAS SOUS 66797 HAS SOUPS 38152 WITH SCORE 38934.01
AT ITER 4258 NEW BEST:: SOT 1079706 SOS 782010 HAS SOPS 469609 HAS SOUS 66770 HAS SOUPS 38137 WITH SCORE 38919.01
AT ITER 4278 NEW BEST:: SOT 1077773 SOS 776171 HAS SOPS 467689 HAS SOUS 66586 HAS SOUPS 38113 WITH SCORE 38889.171
AT ITER 4287 NEW BEST:: SOT 1077594 SOS 775096 HAS SOPS 466614 HAS SOUS 66493 HAS SOUPS 38020 WITH SCORE 38795.096
AT ITER 4289 NEW BEST:: SOT 1077657 SOS 775166 HAS SOPS 466649 HAS SOUS 66472 HAS SOUPS 37999 WITH SCORE 38774.166
AT ITER 4293 NEW BEST:: SOT 1077661 SOS 775102 HAS SOPS 466645 HAS SOUS 66468 HAS SOUPS 37995 WITH SCORE 38770.102
AT ITER 4322 NEW BEST:: SOT 1077654 SOS 775088 HAS SOPS 466645 HAS SOUS 66461 HAS SOUPS 37995 WITH SCORE 38770.088
AT ITER 4338 NEW BEST:: SOT 1077267 SOS 774141 HAS SOPS 465699 HAS SOUS 66474 HAS SOUPS 37965 WITH SCORE 38739.141
AT ITER 4362 NEW BEST:: SOT 1077047 SOS 773521 HAS SOPS 465179 HAS SOUS 66434 HAS SOUPS 37925 WITH SCORE 38698.521
AT ITER 4376 NEW BEST:: SOT 1077047 SOS 773521 HAS SOPS 465179 HAS SOUS 66308 HAS SOUPS 37855 WITH SCORE 38628.521
AT ITER 4383 NEW BEST:: SOT 1076662 SOS 767578 HAS SOPS 460069 HAS SOUS 66282 HAS SOUPS 37829 WITH SCORE 38596.578
AT ITER 4393 NEW BEST:: SOT 1076662 SOS 767571 HAS SOPS 460069 HAS SOUS 66275 HAS SOUPS 37829 WITH SCORE 38596.571
AT ITER 4448 NEW BEST:: SOT 1076663 SOS 767573 HAS SOPS 460069 HAS SOUS 66274 HAS SOUPS 37828 WITH SCORE 38595.573
AT ITER 4496 NEW BEST:: SOT 1076737 SOS 767768 HAS SOPS 460113 HAS SOUS 66276 HAS SOUPS 37823 WITH SCORE 38590.768
AT ITER 4506 NEW BEST:: SOT 1076801 SOS 767832 HAS SOPS 460113 HAS SOUS 66267 HAS SOUPS 37818 WITH SCORE 38585.832
AT ITER 4509 NEW BEST:: SOT 1076663 SOS 767556 HAS SOPS 460113 HAS SOUS 66057 HAS SOUPS 37778 WITH SCORE 38545.556
AT ITER 4522 NEW BEST:: SOT 1076579 SOS 767409 HAS SOPS 460071 HAS SOUS 66015 HAS SOUPS 37757 WITH SCORE 38524.409
AT ITER 4544 NEW BEST:: SOT 1076471 SOS 767226 HAS SOPS 460015 HAS SOUS 65972 HAS SOUPS 37724 WITH SCORE 38491.226
AT ITER 4561 NEW BEST:: SOT 1076474 SOS 767419 HAS SOPS 459953 HAS SOUS 65983 HAS SOUPS 37720 WITH SCORE 38487.419
AT ITER 4577 NEW BEST:: SOT 1076474 SOS 767416 HAS SOPS 459953 HAS SOUS 65980 HAS SOUPS 37720 WITH SCORE 38487.416
AT ITER 4603 NEW BEST:: SOT 1076387 SOS 766868 HAS SOPS 458657 HAS SOUS 65917 HAS SOUPS 37613 WITH SCORE 38379.868
AT ITER 4641 NEW BEST:: SOT 1076387 SOS 766868 HAS SOPS 458657 HAS SOUS 65899 HAS SOUPS 37603 WITH SCORE 38369.868
AT ITER 4665 NEW BEST:: SOT 1076332 SOS 761808 HAS SOPS 454532 HAS SOUS 65824 HAS SOUPS 37583 WITH SCORE 38344.808
AT ITER 4672 NEW BEST:: SOT 1076371 SOS 761808 HAS SOPS 455195 HAS SOUS 65746 HAS SOUPS 37544 WITH SCORE 38305.808
AT ITER 4687 NEW BEST:: SOT 1076351 SOS 761768 HAS SOPS 455195 HAS SOUS 65726 HAS SOUPS 37544 WITH SCORE 38305.768
AT ITER 4698 NEW BEST:: SOT 1076301 SOS 761693 HAS SOPS 455170 HAS SOUS 65676 HAS SOUPS 37519 WITH SCORE 38280.693
AT ITER 4699 NEW BEST:: SOT 1076175 SOS 761567 HAS SOPS 455170 HAS SOUS 65676 HAS SOUPS 37519 WITH SCORE 38280.567
AT ITER 4704 NEW BEST:: SOT 1076125 SOS 761517 HAS SOPS 455145 HAS SOUS 65676 HAS SOUPS 37519 WITH SCORE 38280.517
AT ITER 4705 NEW BEST:: SOT 1076115 SOS 761327 HAS SOPS 454955 HAS SOUS 65666 HAS SOUPS 37509 WITH SCORE 38270.327
AT ITER 4730 NEW BEST:: SOT 1076115 SOS 761327 HAS SOPS 454955 HAS SOUS 65663 HAS SOUPS 37507 WITH SCORE 38268.327
AT ITER 4737 NEW BEST:: SOT 1075335 SOS 759456 HAS SOPS 453395 HAS SOUS 65649 HAS SOUPS 37493 WITH SCORE 38252.456
AT ITER 4745 NEW BEST:: SOT 1073942 SOS 756734 HAS SOPS 451364 HAS SOUS 65557 HAS SOUPS 37398 WITH SCORE 38154.734
AT ITER 4760 NEW BEST:: SOT 1073519 SOS 754014 HAS SOPS 449962 HAS SOUS 65543 HAS SOUPS 37384 WITH SCORE 38138.014
AT ITER 4773 NEW BEST:: SOT 1073239 SOS 752408 HAS SOPS 446447 HAS SOUS 65691 HAS SOUPS 37326 WITH SCORE 38078.408
AT ITER 4789 NEW BEST:: SOT 1073207 SOS 749464 HAS SOPS 443503 HAS SOUS 65691 HAS SOUPS 37326 WITH SCORE 38075.464
AT ITER 4816 NEW BEST:: SOT 1073186 SOS 748729 HAS SOPS 443125 HAS SOUS 65649 HAS SOUPS 37305 WITH SCORE 38053.729
AT ITER 4835 NEW BEST:: SOT 1073200 SOS 748773 HAS SOPS 443169 HAS SOUS 65645 HAS SOUPS 37301 WITH SCORE 38049.773
AT ITER 4842 NEW BEST:: SOT 1073181 SOS 748735 HAS SOPS 443169 HAS SOUS 65626 HAS SOUPS 37301 WITH SCORE 38049.735
AT ITER 4908 NEW BEST:: SOT 1073167 SOS 748701 HAS SOPS 443190 HAS SOUS 65626 HAS SOUPS 37297 WITH SCORE 38045.701
AT ITER 4911 NEW BEST:: SOT 1073162 SOS 748696 HAS SOPS 443190 HAS SOUS 65626 HAS SOUPS 37297 WITH SCORE 38045.696
AT ITER 4919 NEW BEST:: SOT 1073128 SOS 748628 HAS SOPS 443156 HAS SOUS 65558 HAS SOUPS 37263 WITH SCORE 38011.628
AT ITER 4933 NEW BEST:: SOT 1073121 SOS 748614 HAS SOPS 443156 HAS SOUS 65551 HAS SOUPS 37263 WITH SCORE 38011.614
AT ITER 4946 NEW BEST:: SOT 1073000 SOS 747199 HAS SOPS 441741 HAS SOUS 65443 HAS SOUPS 37155 WITH SCORE 37902.199
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-13a-CTLFireability-00 (EU( ( ( (! ((potential((tk(P73)>=1) & (tk(P340)>=1))))) & (! ((potential((tk(P15)>=1) & (tk(P237)>=1))))) ) & (AG( ((potential((tk(P384)>=1) & (tk(P158)>=1)))))) ) , (EF( ( ((potential((tk(P125)>=1) & (tk(P411)>=1)))) & ((potential((tk(P33)>=1) & (tk(P285)>=1)))) ))) ))
PROPERTY: DLCround-PT-13a-CTLFireability-01 ( (AG( ( (! ((potential((tk(P53)>=1) & (tk(P309)>=1))))) | (EG( ((potential((tk(P67)>=1) & (tk(P197)>=1)))))) ))) | ((potential((tk(P58)>=1) & (tk(P189)>=1)))) )
PROPERTY: DLCround-PT-13a-CTLFireability-02 ( (EF( ( (! (! ((potential((tk(P165)>=1)))))) & ( ((potential((tk(P15)>=1) & (tk(P173)>=1)))) & ( ((potential((tk(P98)>=1) & (tk(P370)>=1)))) | ((potential((tk(P84)>=1) & (tk(P354)>=1)))) ) ) ))) | (! (! ( ( (! ((potential((tk(P73)>=1) & (tk(P339)>=1))))) & ( ((potential((tk(P226)>=1) & (tk(P108)>=1)))) & ((potential((tk(P109)>=1) & (tk(P233)>=1)))) ) ) | ( ( ((potential((tk(P114)>=1) & (tk(P398)>=1)))) & ((potential((tk(P214)>=1) & (tk(P88)>=1)))) ) & ( ((potential((tk(P306)>=1) & (tk(P46)>=1)))) & ((potential((tk(P30)>=1) & (tk(P171)>=1)))) ) ) ))) )
PROPERTY: DLCround-PT-13a-CTLFireability-03 (EG( (! (AG( (! ((potential((tk(P211)>=1) & (tk(P86)>=1))))))))))
PROPERTY: DLCround-PT-13a-CTLFireability-04 (AG( (! ( (EG( ((potential((tk(P38)>=1) & (tk(P294)>=1)))))) & (! ((potential((tk(P80)>=1) & (tk(P211)>=1))))) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-05 (EF( (EU( (! ((potential((tk(P311)>=1) & (tk(P56)>=1))))) , ( ((potential((tk(P29)>=1) & (tk(P193)>=1)))) & ((potential((tk(P135)>=1) & (tk(P420)>=1)))) ) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-06 (! (EF( ( (EF( ((potential((tk(P110)>=1) & (tk(P235)>=1)))))) & (AF( ((potential((tk(P34)>=1) & (tk(P294)>=1)))))) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-07 (EF( (AU( ( ((potential((tk(P59)>=1) & (tk(P318)>=1)))) & ((potential((tk(P62)>=1)))) ) , ( ((potential((tk(P426)>=1) & (tk(P146)>=1)))) & ((potential((tk(P99)>=1) & (tk(P365)>=1)))) ) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-08 ( ((potential((tk(P138)>=1) & (tk(P356)>=1)))) | (AG( (! (EF( ((potential((tk(P388)>=1) & (tk(P116)>=1))))))))) )
PROPERTY: DLCround-PT-13a-CTLFireability-09 ( (! ( (EF( ((potential((tk(P167)>=1) & (tk(P461)>=1)))))) | (AX( ((potential((tk(P48)>=1) & (tk(P452)>=1)))))) )) | ( (EG( ((potential((tk(P221)>=1) & (tk(P15)>=1)))))) | (! (EF( ((potential((tk(P83)>=1) & (tk(P354)>=1))))))) ) )
PROPERTY: DLCround-PT-13a-CTLFireability-10 (AG( (! (EX( ( ((potential((tk(P129)>=1) & (tk(P402)>=1)))) & ((potential((tk(P400)>=1) & (tk(P126)>=1)))) ))))))
PROPERTY: DLCround-PT-13a-CTLFireability-11 (AG( (! ( (EG( ((potential((tk(P104)>=1) & (tk(P380)>=1)))))) & (! ( ((potential((tk(P127)>=1) & (tk(P405)>=1)))) | ((potential((tk(P115)>=1) & (tk(P397)>=1)))) )) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-12 (EU( (! ( ((potential((tk(P45)>=1) & (tk(P300)>=1)))) | ((potential((tk(P149)>=1) & (tk(P426)>=1)))) )) , (EF( ( ((potential((tk(P398)>=1) & (tk(P168)>=1)))) & ((potential((tk(P97)>=1) & (tk(P366)>=1)))) ))) ))
PROPERTY: DLCround-PT-13a-CTLFireability-13 (EG( (! ( ( ((potential((tk(P58)>=1) & (tk(P186)>=1)))) | ((potential((tk(P127)>=1) & (tk(P402)>=1)))) ) | (EF( ((potential((tk(P45)>=1) & (tk(P304)>=1)))))) ))))
PROPERTY: DLCround-PT-13a-CTLFireability-14 (AG( (EX( (EX( ((potential((tk(P88)>=1) & (tk(P355)>=1))))))))))
PROPERTY: DLCround-PT-13a-CTLFireability-15 (! ( ( ( ((potential((tk(P110)>=1) & (tk(P235)>=1)))) | ( (! ((potential((tk(P133)>=1) & (tk(P423)>=1))))) | ((potential((tk(P118)>=1) & (tk(P238)>=1)))) ) ) & ( (EG( ((potential((tk(P47)>=1) & (tk(P301)>=1)))))) & ( ( ((potential((tk(P168)>=1) & (tk(P463)>=1)))) & ((potential((tk(P23)>=1) & (tk(P200)>=1)))) ) & ( ((potential((tk(P48)>=1) & (tk(P299)>=1)))) & ((potential((tk(P37)>=1) & (tk(P283)>=1)))) ) ) ) ) | ( (! (EF( ((potential((tk(P350)>=1) & (tk(P86)>=1))))))) | ((potential((tk(P32)>=1) & (tk(P290)>=1)))) ) ))

BK_STOP 1590871282693

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 485 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-13a"
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-13a, 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-158902542400612"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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