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

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

=== Now, execution of the tool begins

BK_START 1590869273455

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

GOT IT HERE. BS
Petri model created: 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 9 NEW BEST:: SOT 1098023 SOS 950436 HAS SOPS 579547 HAS SOUS 102066 HAS SOUPS 74394 WITH SCORE 75344.436
AT ITER 41 NEW BEST:: SOT 1098064 SOS 950223 HAS SOPS 580337 HAS SOUS 101951 HAS SOUPS 74338 WITH SCORE 75288.223
AT ITER 60 NEW BEST:: SOT 1097718 SOS 949935 HAS SOPS 579759 HAS SOUS 101413 HAS SOUPS 73576 WITH SCORE 74525.935
AT ITER 64 NEW BEST:: SOT 1097856 SOS 947647 HAS SOPS 579324 HAS SOUS 101264 HAS SOUPS 73536 WITH SCORE 74483.647
AT ITER 82 NEW BEST:: SOT 1098217 SOS 948114 HAS SOPS 579261 HAS SOUS 101235 HAS SOUPS 73115 WITH SCORE 74063.114
AT ITER 83 NEW BEST:: SOT 1098206 SOS 947905 HAS SOPS 579239 HAS SOUS 101213 HAS SOUPS 73104 WITH SCORE 74051.905
AT ITER 90 NEW BEST:: SOT 1098195 SOS 947894 HAS SOPS 579228 HAS SOUS 101202 HAS SOUPS 73093 WITH SCORE 74040.894
AT ITER 91 NEW BEST:: SOT 1100515 SOS 950432 HAS SOPS 581766 HAS SOUS 100697 HAS SOUPS 72588 WITH SCORE 73538.432
AT ITER 93 NEW BEST:: SOT 1100403 SOS 957183 HAS SOPS 585217 HAS SOUS 100673 HAS SOUPS 72564 WITH SCORE 73521.183
AT ITER 96 NEW BEST:: SOT 1100354 SOS 956203 HAS SOPS 585070 HAS SOUS 100598 HAS SOUPS 72538 WITH SCORE 73494.203
AT ITER 103 NEW BEST:: SOT 1100011 SOS 955909 HAS SOPS 584531 HAS SOUS 100099 HAS SOUPS 71847 WITH SCORE 72802.909
AT ITER 133 NEW BEST:: SOT 1099686 SOS 955637 HAS SOPS 583994 HAS SOUS 99183 HAS SOUPS 70911 WITH SCORE 71866.637
AT ITER 146 NEW BEST:: SOT 1097750 SOS 953749 HAS SOPS 583126 HAS SOUS 98390 HAS SOUPS 70362 WITH SCORE 71315.749
AT ITER 170 NEW BEST:: SOT 1097606 SOS 953623 HAS SOPS 582910 HAS SOUS 98030 HAS SOUPS 70002 WITH SCORE 70955.623
AT ITER 192 NEW BEST:: SOT 1097886 SOS 949132 HAS SOPS 581862 HAS SOUS 97886 HAS SOUPS 68737 WITH SCORE 69686.132
AT ITER 196 NEW BEST:: SOT 1096932 SOS 948408 HAS SOPS 579758 HAS SOUS 95564 HAS SOUPS 65863 WITH SCORE 66811.408
AT ITER 198 NEW BEST:: SOT 1096883 SOS 947428 HAS SOPS 579611 HAS SOUS 95489 HAS SOUPS 65837 WITH SCORE 66784.428
AT ITER 221 NEW BEST:: SOT 1096347 SOS 947094 HAS SOPS 578065 HAS SOUS 92344 HAS SOUPS 62688 WITH SCORE 63635.094
AT ITER 223 NEW BEST:: SOT 1095401 SOS 944360 HAS SOPS 577371 HAS SOUS 92262 HAS SOUPS 62666 WITH SCORE 63610.36
AT ITER 243 NEW BEST:: SOT 1095338 SOS 943033 HAS SOPS 576724 HAS SOUS 92170 HAS SOUPS 62614 WITH SCORE 63557.033
AT ITER 257 NEW BEST:: SOT 1095884 SOS 941219 HAS SOPS 575363 HAS SOUS 92365 HAS SOUPS 61077 WITH SCORE 62018.219
AT ITER 258 NEW BEST:: SOT 1093066 SOS 941032 HAS SOPS 574689 HAS SOUS 89151 HAS SOUPS 59593 WITH SCORE 60534.032
AT ITER 265 NEW BEST:: SOT 1092991 SOS 939420 HAS SOPS 573808 HAS SOUS 89044 HAS SOUPS 59529 WITH SCORE 60468.42
AT ITER 280 NEW BEST:: SOT 1092909 SOS 939297 HAS SOPS 573726 HAS SOUS 88979 HAS SOUPS 59505 WITH SCORE 60444.297
AT ITER 288 NEW BEST:: SOT 1092551 SOS 932408 HAS SOPS 570765 HAS SOUS 88265 HAS SOUPS 58250 WITH SCORE 59182.408
AT ITER 293 NEW BEST:: SOT 1092561 SOS 932418 HAS SOPS 570775 HAS SOUS 88260 HAS SOUPS 58245 WITH SCORE 59177.418
AT ITER 304 NEW BEST:: SOT 1092387 SOS 932244 HAS SOPS 570514 HAS SOUS 88268 HAS SOUPS 58205 WITH SCORE 59137.244
AT ITER 307 NEW BEST:: SOT 1091215 SOS 931277 HAS SOPS 569547 HAS SOUS 87301 HAS SOUPS 57238 WITH SCORE 58169.277
AT ITER 313 NEW BEST:: SOT 1091181 SOS 931209 HAS SOPS 569479 HAS SOUS 87241 HAS SOUPS 57178 WITH SCORE 58109.209
AT ITER 347 NEW BEST:: SOT 1090640 SOS 932989 HAS SOPS 569347 HAS SOUS 84719 HAS SOUPS 55905 WITH SCORE 56837.989
AT ITER 350 NEW BEST:: SOT 1090633 SOS 932975 HAS SOPS 569333 HAS SOUS 84704 HAS SOUPS 55890 WITH SCORE 56822.975
AT ITER 362 NEW BEST:: SOT 1090625 SOS 932951 HAS SOPS 569325 HAS SOUS 84705 HAS SOUPS 55889 WITH SCORE 56821.951
AT ITER 365 NEW BEST:: SOT 1090620 SOS 932946 HAS SOPS 569320 HAS SOUS 84700 HAS SOUPS 55884 WITH SCORE 56816.946
AT ITER 370 NEW BEST:: SOT 1090297 SOS 934162 HAS SOPS 569222 HAS SOUS 84029 HAS SOUPS 55392 WITH SCORE 56326.162
AT ITER 392 NEW BEST:: SOT 1090158 SOS 934060 HAS SOPS 568935 HAS SOUS 83446 HAS SOUPS 54809 WITH SCORE 55743.06
AT ITER 393 NEW BEST:: SOT 1090030 SOS 929016 HAS SOPS 564622 HAS SOUS 83330 HAS SOUPS 54736 WITH SCORE 55665.016
AT ITER 403 NEW BEST:: SOT 1089881 SOS 922029 HAS SOPS 557635 HAS SOUS 83188 HAS SOUPS 54594 WITH SCORE 55516.029
AT ITER 411 NEW BEST:: SOT 1089289 SOS 921511 HAS SOPS 556747 HAS SOUS 82302 HAS SOUPS 53444 WITH SCORE 54365.511
AT ITER 415 NEW BEST:: SOT 1089213 SOS 921397 HAS SOPS 556608 HAS SOUS 82125 HAS SOUPS 53305 WITH SCORE 54226.397
AT ITER 427 NEW BEST:: SOT 1089294 SOS 921235 HAS SOPS 556689 HAS SOUS 82125 HAS SOUPS 53305 WITH SCORE 54226.235
AT ITER 436 NEW BEST:: SOT 1090637 SOS 922578 HAS SOPS 557811 HAS SOUS 82097 HAS SOUPS 53205 WITH SCORE 54127.578
AT ITER 440 NEW BEST:: SOT 1090634 SOS 922575 HAS SOPS 557808 HAS SOUS 82094 HAS SOUPS 53202 WITH SCORE 54124.575
AT ITER 447 NEW BEST:: SOT 1090634 SOS 922575 HAS SOPS 557744 HAS SOUS 82030 HAS SOUPS 53138 WITH SCORE 54060.575
AT ITER 450 NEW BEST:: SOT 1090935 SOS 912655 HAS SOPS 549762 HAS SOUS 81906 HAS SOUPS 53128 WITH SCORE 54040.655
AT ITER 451 NEW BEST:: SOT 1090830 SOS 904713 HAS SOPS 543180 HAS SOUS 81699 HAS SOUPS 53001 WITH SCORE 53905.713
AT ITER 456 NEW BEST:: SOT 1090821 SOS 904704 HAS SOPS 543171 HAS SOUS 81690 HAS SOUPS 52992 WITH SCORE 53896.704
AT ITER 462 NEW BEST:: SOT 1090821 SOS 904976 HAS SOPS 543154 HAS SOUS 81702 HAS SOUPS 52987 WITH SCORE 53891.976
AT ITER 467 NEW BEST:: SOT 1090640 SOS 904795 HAS SOPS 542973 HAS SOUS 81639 HAS SOUPS 52924 WITH SCORE 53828.795
AT ITER 471 NEW BEST:: SOT 1090607 SOS 904762 HAS SOPS 542940 HAS SOUS 81628 HAS SOUPS 52913 WITH SCORE 53817.762
AT ITER 478 NEW BEST:: SOT 1090747 SOS 903332 HAS SOPS 543040 HAS SOUS 81474 HAS SOUPS 52849 WITH SCORE 53752.332
AT ITER 479 NEW BEST:: SOT 1088967 SOS 897716 HAS SOPS 541560 HAS SOUS 81611 HAS SOUPS 52844 WITH SCORE 53741.716
AT ITER 489 NEW BEST:: SOT 1089427 SOS 898176 HAS SOPS 542020 HAS SOUS 81567 HAS SOUPS 52789 WITH SCORE 53687.176
AT ITER 498 NEW BEST:: SOT 1089646 SOS 898395 HAS SOPS 542094 HAS SOUS 81598 HAS SOUPS 52736 WITH SCORE 53634.395
AT ITER 507 NEW BEST:: SOT 1090715 SOS 897646 HAS SOPS 540680 HAS SOUS 82522 HAS SOUPS 51322 WITH SCORE 52219.646
AT ITER 528 NEW BEST:: SOT 1090758 SOS 898463 HAS SOPS 541497 HAS SOUS 82514 HAS SOUPS 51314 WITH SCORE 52212.463
AT ITER 529 NEW BEST:: SOT 1090642 SOS 898347 HAS SOPS 541229 HAS SOUS 82514 HAS SOUPS 51314 WITH SCORE 52212.347
AT ITER 550 NEW BEST:: SOT 1088877 SOS 892816 HAS SOPS 539566 HAS SOUS 82782 HAS SOUPS 51226 WITH SCORE 52118.816
AT ITER 556 NEW BEST:: SOT 1088797 SOS 892794 HAS SOPS 539428 HAS SOUS 82840 HAS SOUPS 51226 WITH SCORE 52118.794
AT ITER 568 NEW BEST:: SOT 1088774 SOS 892771 HAS SOPS 539405 HAS SOUS 82817 HAS SOUPS 51203 WITH SCORE 52095.771
AT ITER 569 NEW BEST:: SOT 1088662 SOS 892715 HAS SOPS 539237 HAS SOUS 82817 HAS SOUPS 51147 WITH SCORE 52039.715
AT ITER 585 NEW BEST:: SOT 1088596 SOS 892649 HAS SOPS 539171 HAS SOUS 82795 HAS SOUPS 51125 WITH SCORE 52017.649
AT ITER 588 NEW BEST:: SOT 1088211 SOS 892319 HAS SOPS 539501 HAS SOUS 81750 HAS SOUPS 51015 WITH SCORE 51907.319
AT ITER 590 NEW BEST:: SOT 1087251 SOS 889985 HAS SOPS 537533 HAS SOUS 81744 HAS SOUPS 51009 WITH SCORE 51898.985
AT ITER 593 NEW BEST:: SOT 1087436 SOS 890170 HAS SOPS 537718 HAS SOUS 81566 HAS SOUPS 50955 WITH SCORE 51845.17
AT ITER 613 NEW BEST:: SOT 1087355 SOS 889456 HAS SOPS 537648 HAS SOUS 81419 HAS SOUPS 50854 WITH SCORE 51743.456
AT ITER 624 NEW BEST:: SOT 1087325 SOS 889426 HAS SOPS 537618 HAS SOUS 81389 HAS SOUPS 50824 WITH SCORE 51713.426
AT ITER 628 NEW BEST:: SOT 1087101 SOS 889202 HAS SOPS 537394 HAS SOUS 81352 HAS SOUPS 50759 WITH SCORE 51648.202
AT ITER 632 NEW BEST:: SOT 1087094 SOS 889314 HAS SOPS 537401 HAS SOUS 81338 HAS SOUPS 50745 WITH SCORE 51634.314
AT ITER 635 NEW BEST:: SOT 1087094 SOS 889314 HAS SOPS 537401 HAS SOUS 81335 HAS SOUPS 50742 WITH SCORE 51631.314
AT ITER 644 NEW BEST:: SOT 1086764 SOS 886042 HAS SOPS 536256 HAS SOUS 81556 HAS SOUPS 50477 WITH SCORE 51363.042
AT ITER 648 NEW BEST:: SOT 1086757 SOS 885909 HAS SOPS 536123 HAS SOUS 81548 HAS SOUPS 50469 WITH SCORE 51354.909
AT ITER 659 NEW BEST:: SOT 1086748 SOS 885891 HAS SOPS 536258 HAS SOUS 81521 HAS SOUPS 50451 WITH SCORE 51336.891
AT ITER 665 NEW BEST:: SOT 1086610 SOS 885385 HAS SOPS 536120 HAS SOUS 81567 HAS SOUPS 50451 WITH SCORE 51336.385
AT ITER 666 NEW BEST:: SOT 1086544 SOS 885319 HAS SOPS 536054 HAS SOUS 81501 HAS SOUPS 50385 WITH SCORE 51270.319
AT ITER 669 NEW BEST:: SOT 1085790 SOS 883612 HAS SOPS 535548 HAS SOUS 81458 HAS SOUPS 50369 WITH SCORE 51252.612
AT ITER 681 NEW BEST:: SOT 1085709 SOS 882073 HAS SOPS 535386 HAS SOUS 81374 HAS SOUPS 50366 WITH SCORE 51248.073
AT ITER 696 NEW BEST:: SOT 1085671 SOS 881351 HAS SOPS 534664 HAS SOUS 81298 HAS SOUPS 50290 WITH SCORE 51171.351
AT ITER 709 NEW BEST:: SOT 1085640 SOS 881289 HAS SOPS 534664 HAS SOUS 81267 HAS SOUPS 50290 WITH SCORE 51171.289
AT ITER 716 NEW BEST:: SOT 1085636 SOS 881285 HAS SOPS 534660 HAS SOUS 81263 HAS SOUPS 50286 WITH SCORE 51167.285
AT ITER 728 NEW BEST:: SOT 1084892 SOS 878742 HAS SOPS 532042 HAS SOUS 81338 HAS SOUPS 50246 WITH SCORE 51124.742
AT ITER 734 NEW BEST:: SOT 1084836 SOS 878686 HAS SOPS 531930 HAS SOUS 81330 HAS SOUPS 50238 WITH SCORE 51116.686
AT ITER 735 NEW BEST:: SOT 1084726 SOS 877952 HAS SOPS 531742 HAS SOUS 81103 HAS SOUPS 50050 WITH SCORE 50927.952
AT ITER 743 NEW BEST:: SOT 1084526 SOS 878627 HAS SOPS 531759 HAS SOUS 80738 HAS SOUPS 49828 WITH SCORE 50706.627
AT ITER 751 NEW BEST:: SOT 1084434 SOS 878489 HAS SOPS 531713 HAS SOUS 80646 HAS SOUPS 49782 WITH SCORE 50660.489
AT ITER 755 NEW BEST:: SOT 1084423 SOS 878460 HAS SOPS 531706 HAS SOUS 80645 HAS SOUPS 49782 WITH SCORE 50660.46
AT ITER 766 NEW BEST:: SOT 1084453 SOS 878460 HAS SOPS 531706 HAS SOUS 80563 HAS SOUPS 49700 WITH SCORE 50578.46
AT ITER 773 NEW BEST:: SOT 1084304 SOS 879395 HAS SOPS 531395 HAS SOUS 80601 HAS SOUPS 49649 WITH SCORE 50528.395
AT ITER 800 NEW BEST:: SOT 1084406 SOS 879460 HAS SOPS 531386 HAS SOUS 80555 HAS SOUPS 49640 WITH SCORE 50519.46
AT ITER 813 NEW BEST:: SOT 1084318 SOS 879328 HAS SOPS 531342 HAS SOUS 80467 HAS SOUPS 49596 WITH SCORE 50475.328
AT ITER 815 NEW BEST:: SOT 1084482 SOS 878284 HAS SOPS 531322 HAS SOUS 80356 HAS SOUPS 49564 WITH SCORE 50442.284
AT ITER 817 NEW BEST:: SOT 1085704 SOS 879375 HAS SOPS 531889 HAS SOUS 79888 HAS SOUPS 49173 WITH SCORE 50052.375
AT ITER 828 NEW BEST:: SOT 1086040 SOS 879711 HAS SOPS 531985 HAS SOUS 79792 HAS SOUPS 49077 WITH SCORE 49956.711
AT ITER 836 NEW BEST:: SOT 1086040 SOS 879711 HAS SOPS 531832 HAS SOUS 79639 HAS SOUPS 48924 WITH SCORE 49803.711
AT ITER 853 NEW BEST:: SOT 1085801 SOS 879501 HAS SOPS 531899 HAS SOUS 79668 HAS SOUPS 48924 WITH SCORE 49803.501
AT ITER 873 NEW BEST:: SOT 1085772 SOS 877782 HAS SOPS 530180 HAS SOUS 79655 HAS SOUPS 48911 WITH SCORE 49788.782
AT ITER 879 NEW BEST:: SOT 1085786 SOS 877460 HAS SOPS 530068 HAS SOUS 79588 HAS SOUPS 48844 WITH SCORE 49721.46
AT ITER 884 NEW BEST:: SOT 1085703 SOS 876199 HAS SOPS 530319 HAS SOUS 79271 HAS SOUPS 48635 WITH SCORE 49511.199
AT ITER 893 NEW BEST:: SOT 1085637 SOS 871704 HAS SOPS 526453 HAS SOUS 79212 HAS SOUPS 48613 WITH SCORE 49484.704
AT ITER 896 NEW BEST:: SOT 1085959 SOS 871982 HAS SOPS 526569 HAS SOUS 79112 HAS SOUPS 48557 WITH SCORE 49428.982
AT ITER 898 NEW BEST:: SOT 1086082 SOS 872679 HAS SOPS 526692 HAS SOUS 78784 HAS SOUPS 48352 WITH SCORE 49224.679
AT ITER 918 NEW BEST:: SOT 1086042 SOS 872639 HAS SOPS 526652 HAS SOUS 78744 HAS SOUPS 48312 WITH SCORE 49184.639
AT ITER 924 NEW BEST:: SOT 1086030 SOS 872645 HAS SOPS 526550 HAS SOUS 78738 HAS SOUPS 48300 WITH SCORE 49172.645
AT ITER 930 NEW BEST:: SOT 1086037 SOS 872796 HAS SOPS 526565 HAS SOUS 78732 HAS SOUPS 48256 WITH SCORE 49128.796
AT ITER 944 NEW BEST:: SOT 1086248 SOS 873043 HAS SOPS 526632 HAS SOUS 78511 HAS SOUPS 48035 WITH SCORE 48908.043
AT ITER 958 NEW BEST:: SOT 1086200 SOS 872995 HAS SOPS 526584 HAS SOUS 78463 HAS SOUPS 47987 WITH SCORE 48859.995
AT ITER 976 NEW BEST:: SOT 1087041 SOS 874140 HAS SOPS 526689 HAS SOUS 77000 HAS SOUPS 46524 WITH SCORE 47398.14
AT ITER 986 NEW BEST:: SOT 1086978 SOS 873897 HAS SOPS 526446 HAS SOUS 76982 HAS SOUPS 46506 WITH SCORE 47379.897
AT ITER 990 NEW BEST:: SOT 1086978 SOS 873932 HAS SOPS 526446 HAS SOUS 76873 HAS SOUPS 46416 WITH SCORE 47289.932
AT ITER 999 NEW BEST:: SOT 1086971 SOS 873925 HAS SOPS 526439 HAS SOUS 76866 HAS SOUPS 46409 WITH SCORE 47282.925
AT ITER 1004 NEW BEST:: SOT 1087073 SOS 874027 HAS SOPS 526541 HAS SOUS 76848 HAS SOUPS 46391 WITH SCORE 47265.027
AT ITER 1010 NEW BEST:: SOT 1086999 SOS 874027 HAS SOPS 526393 HAS SOUS 76848 HAS SOUPS 46317 WITH SCORE 47191.027
AT ITER 1019 NEW BEST:: SOT 1087268 SOS 874296 HAS SOPS 526442 HAS SOUS 76721 HAS SOUPS 46190 WITH SCORE 47064.296
AT ITER 1022 NEW BEST:: SOT 1087264 SOS 873456 HAS SOPS 526486 HAS SOUS 76661 HAS SOUPS 46182 WITH SCORE 47055.456
AT ITER 1029 NEW BEST:: SOT 1087216 SOS 873408 HAS SOPS 526438 HAS SOUS 76637 HAS SOUPS 46158 WITH SCORE 47031.408
AT ITER 1050 NEW BEST:: SOT 1087175 SOS 866339 HAS SOPS 519369 HAS SOUS 76644 HAS SOUPS 46165 WITH SCORE 47031.339
AT ITER 1061 NEW BEST:: SOT 1087687 SOS 866915 HAS SOPS 519561 HAS SOUS 76324 HAS SOUPS 45845 WITH SCORE 46711.915
AT ITER 1063 NEW BEST:: SOT 1087736 SOS 866873 HAS SOPS 519487 HAS SOUS 76228 HAS SOUPS 45788 WITH SCORE 46654.873
AT ITER 1067 NEW BEST:: SOT 1087736 SOS 866441 HAS SOPS 519514 HAS SOUS 76201 HAS SOUPS 45788 WITH SCORE 46654.441
AT ITER 1077 NEW BEST:: SOT 1087736 SOS 866525 HAS SOPS 519430 HAS SOUS 76201 HAS SOUPS 45704 WITH SCORE 46570.525
AT ITER 1078 NEW BEST:: SOT 1087701 SOS 865930 HAS SOPS 519325 HAS SOUS 76061 HAS SOUPS 45599 WITH SCORE 46464.93
AT ITER 1098 NEW BEST:: SOT 1087557 SOS 865735 HAS SOPS 519130 HAS SOUS 75940 HAS SOUPS 45478 WITH SCORE 46343.735
AT ITER 1114 NEW BEST:: SOT 1087637 SOS 865803 HAS SOPS 519198 HAS SOUS 75890 HAS SOUPS 45428 WITH SCORE 46293.803
AT ITER 1117 NEW BEST:: SOT 1087637 SOS 865803 HAS SOPS 519198 HAS SOUS 75881 HAS SOUPS 45423 WITH SCORE 46288.803
AT ITER 1121 NEW BEST:: SOT 1087987 SOS 866316 HAS SOPS 519711 HAS SOUS 75415 HAS SOUPS 44957 WITH SCORE 45823.316
AT ITER 1140 NEW BEST:: SOT 1087905 SOS 861692 HAS SOPS 515087 HAS SOUS 75346 HAS SOUPS 44888 WITH SCORE 45749.692
AT ITER 1145 NEW BEST:: SOT 1088241 SOS 863313 HAS SOPS 515160 HAS SOUS 75317 HAS SOUPS 44815 WITH SCORE 45678.313
AT ITER 1148 NEW BEST:: SOT 1087541 SOS 862870 HAS SOPS 514712 HAS SOUS 75391 HAS SOUPS 44791 WITH SCORE 45653.87
AT ITER 1149 NEW BEST:: SOT 1087581 SOS 862982 HAS SOPS 514736 HAS SOUS 75387 HAS SOUPS 44783 WITH SCORE 45645.982
AT ITER 1150 NEW BEST:: SOT 1087347 SOS 862306 HAS SOPS 514528 HAS SOUS 75387 HAS SOUPS 44757 WITH SCORE 45619.306
AT ITER 1156 NEW BEST:: SOT 1087302 SOS 855811 HAS SOPS 508213 HAS SOUS 75327 HAS SOUPS 44697 WITH SCORE 45552.811
AT ITER 1181 NEW BEST:: SOT 1087251 SOS 855811 HAS SOPS 508111 HAS SOUS 75327 HAS SOUPS 44646 WITH SCORE 45501.811
AT ITER 1197 NEW BEST:: SOT 1087244 SOS 856128 HAS SOPS 509142 HAS SOUS 75211 HAS SOUPS 44572 WITH SCORE 45428.128
AT ITER 1233 NEW BEST:: SOT 1087220 SOS 856073 HAS SOPS 509118 HAS SOUS 75156 HAS SOUPS 44548 WITH SCORE 45404.073
AT ITER 1246 NEW BEST:: SOT 1087352 SOS 856492 HAS SOPS 509536 HAS SOUS 75133 HAS SOUPS 44547 WITH SCORE 45403.492
AT ITER 1248 NEW BEST:: SOT 1087340 SOS 856468 HAS SOPS 509512 HAS SOUS 75109 HAS SOUPS 44523 WITH SCORE 45379.468
AT ITER 1251 NEW BEST:: SOT 1087263 SOS 856402 HAS SOPS 509578 HAS SOUS 74900 HAS SOUPS 44501 WITH SCORE 45357.402
AT ITER 1274 NEW BEST:: SOT 1087404 SOS 857005 HAS SOPS 509634 HAS SOUS 74826 HAS SOUPS 44408 WITH SCORE 45265.005
AT ITER 1281 NEW BEST:: SOT 1086519 SOS 853009 HAS SOPS 508630 HAS SOUS 74715 HAS SOUPS 44389 WITH SCORE 45242.009
AT ITER 1284 NEW BEST:: SOT 1086508 SOS 851780 HAS SOPS 508591 HAS SOUS 74644 HAS SOUPS 44388 WITH SCORE 45239.78
AT ITER 1287 NEW BEST:: SOT 1086416 SOS 850032 HAS SOPS 508407 HAS SOUS 74552 HAS SOUPS 44388 WITH SCORE 45238.032
AT ITER 1296 NEW BEST:: SOT 1085479 SOS 847401 HAS SOPS 507784 HAS SOUS 74513 HAS SOUPS 44387 WITH SCORE 45234.401
AT ITER 1306 NEW BEST:: SOT 1085479 SOS 847384 HAS SOPS 507767 HAS SOUS 74512 HAS SOUPS 44386 WITH SCORE 45233.384
AT ITER 1319 NEW BEST:: SOT 1085703 SOS 848264 HAS SOPS 507923 HAS SOUS 74403 HAS SOUPS 44284 WITH SCORE 45132.264
AT ITER 1337 NEW BEST:: SOT 1085569 SOS 844866 HAS SOPS 507126 HAS SOUS 74105 HAS SOUPS 44139 WITH SCORE 44983.866
AT ITER 1374 NEW BEST:: SOT 1085572 SOS 844933 HAS SOPS 507193 HAS SOUS 74083 HAS SOUPS 44117 WITH SCORE 44961.933
AT ITER 1379 NEW BEST:: SOT 1085571 SOS 844361 HAS SOPS 506621 HAS SOUS 74043 HAS SOUPS 44077 WITH SCORE 44921.361
AT ITER 1389 NEW BEST:: SOT 1085557 SOS 844347 HAS SOPS 506621 HAS SOUS 74043 HAS SOUPS 44077 WITH SCORE 44921.347
AT ITER 1391 NEW BEST:: SOT 1085542 SOS 844332 HAS SOPS 506606 HAS SOUS 74028 HAS SOUPS 44062 WITH SCORE 44906.332
AT ITER 1443 NEW BEST:: SOT 1085532 SOS 844322 HAS SOPS 506596 HAS SOUS 74018 HAS SOUPS 44052 WITH SCORE 44896.322
AT ITER 1444 NEW BEST:: SOT 1085506 SOS 843386 HAS SOPS 506102 HAS SOUS 73954 HAS SOUPS 44014 WITH SCORE 44857.386
AT ITER 1460 NEW BEST:: SOT 1085230 SOS 843087 HAS SOPS 505910 HAS SOUS 73956 HAS SOUPS 44004 WITH SCORE 44847.087
AT ITER 1464 NEW BEST:: SOT 1085195 SOS 843052 HAS SOPS 505875 HAS SOUS 73921 HAS SOUPS 43969 WITH SCORE 44812.052
AT ITER 1502 NEW BEST:: SOT 1085119 SOS 842976 HAS SOPS 505799 HAS SOUS 73883 HAS SOUPS 43931 WITH SCORE 44773.976
AT ITER 1507 NEW BEST:: SOT 1085114 SOS 844529 HAS SOPS 506451 HAS SOUS 73929 HAS SOUPS 43924 WITH SCORE 44768.529
AT ITER 1517 NEW BEST:: SOT 1085108 SOS 844517 HAS SOPS 506447 HAS SOUS 73925 HAS SOUPS 43922 WITH SCORE 44766.517
AT ITER 1524 NEW BEST:: SOT 1085102 SOS 844517 HAS SOPS 506741 HAS SOUS 73895 HAS SOUPS 43910 WITH SCORE 44754.517
AT ITER 1533 NEW BEST:: SOT 1084962 SOS 844397 HAS SOPS 506861 HAS SOUS 73515 HAS SOUPS 43870 WITH SCORE 44714.397
AT ITER 1535 NEW BEST:: SOT 1085062 SOS 844497 HAS SOPS 506907 HAS SOUS 73489 HAS SOUPS 43844 WITH SCORE 44688.497
AT ITER 1544 NEW BEST:: SOT 1085103 SOS 844534 HAS SOPS 506852 HAS SOUS 73430 HAS SOUPS 43789 WITH SCORE 44633.534
AT ITER 1603 NEW BEST:: SOT 1085103 SOS 844469 HAS SOPS 506852 HAS SOUS 73365 HAS SOUPS 43789 WITH SCORE 44633.469
AT ITER 1614 NEW BEST:: SOT 1085103 SOS 844457 HAS SOPS 506852 HAS SOUS 73353 HAS SOUPS 43789 WITH SCORE 44633.457
AT ITER 1615 NEW BEST:: SOT 1085263 SOS 844617 HAS SOPS 506916 HAS SOUS 73337 HAS SOUPS 43773 WITH SCORE 44617.617
AT ITER 1635 NEW BEST:: SOT 1085246 SOS 844506 HAS SOPS 506993 HAS SOUS 73232 HAS SOUPS 43762 WITH SCORE 44606.506
AT ITER 1644 NEW BEST:: SOT 1085144 SOS 844404 HAS SOPS 506891 HAS SOUS 73232 HAS SOUPS 43762 WITH SCORE 44606.404
AT ITER 1656 NEW BEST:: SOT 1085504 SOS 844764 HAS SOPS 506981 HAS SOUS 73142 HAS SOUPS 43672 WITH SCORE 44516.764
AT ITER 1659 NEW BEST:: SOT 1085420 SOS 844680 HAS SOPS 506897 HAS SOUS 73100 HAS SOUPS 43630 WITH SCORE 44474.68
AT ITER 1660 NEW BEST:: SOT 1085476 SOS 844848 HAS SOPS 506932 HAS SOUS 73099 HAS SOUPS 43622 WITH SCORE 44466.848
AT ITER 1665 NEW BEST:: SOT 1085414 SOS 842137 HAS SOPS 504578 HAS SOUS 73057 HAS SOUPS 43601 WITH SCORE 44443.137
AT ITER 1670 NEW BEST:: SOT 1085398 SOS 840665 HAS SOPS 503106 HAS SOUS 73057 HAS SOUPS 43601 WITH SCORE 44441.665
AT ITER 1680 NEW BEST:: SOT 1085578 SOS 841079 HAS SOPS 503214 HAS SOUS 73021 HAS SOUPS 43565 WITH SCORE 44406.079
AT ITER 1692 NEW BEST:: SOT 1085332 SOS 840833 HAS SOPS 502968 HAS SOUS 73021 HAS SOUPS 43565 WITH SCORE 44405.833
AT ITER 1699 NEW BEST:: SOT 1085248 SOS 840749 HAS SOPS 502884 HAS SOUS 72961 HAS SOUPS 43513 WITH SCORE 44353.749
AT ITER 1704 NEW BEST:: SOT 1085217 SOS 841146 HAS SOPS 502822 HAS SOUS 72980 HAS SOUPS 43505 WITH SCORE 44346.146
AT ITER 1709 NEW BEST:: SOT 1085107 SOS 840893 HAS SOPS 502756 HAS SOUS 72939 HAS SOUPS 43492 WITH SCORE 44332.893
AT ITER 1739 NEW BEST:: SOT 1085073 SOS 840859 HAS SOPS 502756 HAS SOUS 72939 HAS SOUPS 43492 WITH SCORE 44332.859
AT ITER 1743 NEW BEST:: SOT 1085023 SOS 840784 HAS SOPS 502731 HAS SOUS 72889 HAS SOUPS 43467 WITH SCORE 44307.784
AT ITER 1764 NEW BEST:: SOT 1084927 SOS 840688 HAS SOPS 502600 HAS SOUS 72792 HAS SOUPS 43370 WITH SCORE 44210.688
AT ITER 1778 NEW BEST:: SOT 1085007 SOS 840778 HAS SOPS 502640 HAS SOUS 72752 HAS SOUPS 43330 WITH SCORE 44170.778
AT ITER 1795 NEW BEST:: SOT 1084373 SOS 837543 HAS SOPS 502197 HAS SOUS 72122 HAS SOUPS 42917 WITH SCORE 43754.543
AT ITER 1797 NEW BEST:: SOT 1085270 SOS 838361 HAS SOPS 502513 HAS SOUS 71937 HAS SOUPS 42847 WITH SCORE 43685.361
AT ITER 1802 NEW BEST:: SOT 1084503 SOS 836664 HAS SOPS 502005 HAS SOUS 71883 HAS SOUPS 42820 WITH SCORE 43656.664
AT ITER 1805 NEW BEST:: SOT 1084485 SOS 836646 HAS SOPS 501987 HAS SOUS 71865 HAS SOUPS 42802 WITH SCORE 43638.646
AT ITER 1808 NEW BEST:: SOT 1084455 SOS 836586 HAS SOPS 501987 HAS SOUS 71835 HAS SOUPS 42802 WITH SCORE 43638.586
AT ITER 1820 NEW BEST:: SOT 1084401 SOS 836532 HAS SOPS 501933 HAS SOUS 71808 HAS SOUPS 42775 WITH SCORE 43611.532
AT ITER 1828 NEW BEST:: SOT 1086137 SOS 838563 HAS SOPS 502674 HAS SOUS 71800 HAS SOUPS 42371 WITH SCORE 43209.563
AT ITER 1844 NEW BEST:: SOT 1085996 SOS 838422 HAS SOPS 502674 HAS SOUS 71800 HAS SOUPS 42371 WITH SCORE 43209.422
AT ITER 1862 NEW BEST:: SOT 1085924 SOS 838422 HAS SOPS 502530 HAS SOUS 71800 HAS SOUPS 42299 WITH SCORE 43137.422
AT ITER 1864 NEW BEST:: SOT 1085951 SOS 838476 HAS SOPS 502530 HAS SOUS 71818 HAS SOUPS 42294 WITH SCORE 43132.476
AT ITER 1874 NEW BEST:: SOT 1085951 SOS 836476 HAS SOPS 500530 HAS SOUS 71818 HAS SOUPS 42294 WITH SCORE 43130.476
AT ITER 1900 NEW BEST:: SOT 1086061 SOS 834471 HAS SOPS 499953 HAS SOUS 71723 HAS SOUPS 42283 WITH SCORE 43117.471
AT ITER 1922 NEW BEST:: SOT 1086061 SOS 834466 HAS SOPS 499953 HAS SOUS 71718 HAS SOUPS 42283 WITH SCORE 43117.466
AT ITER 1927 NEW BEST:: SOT 1086061 SOS 835322 HAS SOPS 500367 HAS SOUS 71712 HAS SOUPS 42251 WITH SCORE 43086.322
AT ITER 1944 NEW BEST:: SOT 1085976 SOS 835237 HAS SOPS 500367 HAS SOUS 71712 HAS SOUPS 42251 WITH SCORE 43086.237
AT ITER 1958 NEW BEST:: SOT 1084030 SOS 830745 HAS SOPS 499069 HAS SOUS 71659 HAS SOUPS 42202 WITH SCORE 43032.745
AT ITER 1975 NEW BEST:: SOT 1084183 SOS 830917 HAS SOPS 499146 HAS SOUS 71584 HAS SOUPS 42127 WITH SCORE 42957.917
AT ITER 2001 NEW BEST:: SOT 1084183 SOS 830897 HAS SOPS 498986 HAS SOUS 71594 HAS SOUPS 42127 WITH SCORE 42957.897
AT ITER 2005 NEW BEST:: SOT 1084169 SOS 830869 HAS SOPS 498986 HAS SOUS 71580 HAS SOUPS 42127 WITH SCORE 42957.869
AT ITER 2009 NEW BEST:: SOT 1084212 SOS 830138 HAS SOPS 498986 HAS SOUS 71537 HAS SOUPS 42127 WITH SCORE 42957.138
AT ITER 2016 NEW BEST:: SOT 1084264 SOS 830190 HAS SOPS 498998 HAS SOUS 71493 HAS SOUPS 42083 WITH SCORE 42913.19
AT ITER 2028 NEW BEST:: SOT 1084234 SOS 825512 HAS SOPS 495306 HAS SOUS 71382 HAS SOUPS 42030 WITH SCORE 42855.512
AT ITER 2042 NEW BEST:: SOT 1084180 SOS 825458 HAS SOPS 495306 HAS SOUS 70941 HAS SOUPS 41785 WITH SCORE 42610.458
AT ITER 2046 NEW BEST:: SOT 1084099 SOS 825026 HAS SOPS 495198 HAS SOUS 70941 HAS SOUPS 41785 WITH SCORE 42610.026
AT ITER 2077 NEW BEST:: SOT 1084227 SOS 825051 HAS SOPS 495223 HAS SOUS 70906 HAS SOUPS 41750 WITH SCORE 42575.051
AT ITER 2086 NEW BEST:: SOT 1084225 SOS 824768 HAS SOPS 494926 HAS SOUS 70875 HAS SOUPS 41712 WITH SCORE 42536.768
AT ITER 2092 NEW BEST:: SOT 1084163 SOS 824004 HAS SOPS 495414 HAS SOUS 70747 HAS SOUPS 41658 WITH SCORE 42482.004
AT ITER 2102 NEW BEST:: SOT 1084127 SOS 823968 HAS SOPS 495414 HAS SOUS 70747 HAS SOUPS 41658 WITH SCORE 42481.968
AT ITER 2123 NEW BEST:: SOT 1084251 SOS 819512 HAS SOPS 491689 HAS SOUS 70701 HAS SOUPS 41655 WITH SCORE 42474.512
AT ITER 2153 NEW BEST:: SOT 1084228 SOS 817396 HAS SOPS 489573 HAS SOUS 70701 HAS SOUPS 41655 WITH SCORE 42472.396
AT ITER 2155 NEW BEST:: SOT 1083660 SOS 815663 HAS SOPS 489146 HAS SOUS 70674 HAS SOUPS 41641 WITH SCORE 42456.663
AT ITER 2234 NEW BEST:: SOT 1083713 SOS 815716 HAS SOPS 489127 HAS SOUS 70655 HAS SOUPS 41622 WITH SCORE 42437.716
AT ITER 2298 NEW BEST:: SOT 1083679 SOS 815665 HAS SOPS 489127 HAS SOUS 70638 HAS SOUPS 41622 WITH SCORE 42437.665
AT ITER 2311 NEW BEST:: SOT 1083677 SOS 815661 HAS SOPS 489123 HAS SOUS 70636 HAS SOUPS 41620 WITH SCORE 42435.661
AT ITER 2313 NEW BEST:: SOT 1083685 SOS 814805 HAS SOPS 488403 HAS SOUS 70612 HAS SOUPS 41604 WITH SCORE 42418.805
AT ITER 2315 NEW BEST:: SOT 1083613 SOS 814715 HAS SOPS 488349 HAS SOUS 70612 HAS SOUPS 41604 WITH SCORE 42418.715
AT ITER 2323 NEW BEST:: SOT 1083881 SOS 815019 HAS SOPS 488508 HAS SOUS 70546 HAS SOUPS 41538 WITH SCORE 42353.019
AT ITER 2327 NEW BEST:: SOT 1083817 SOS 814315 HAS SOPS 487260 HAS SOUS 70546 HAS SOUPS 41506 WITH SCORE 42320.315
AT ITER 2374 NEW BEST:: SOT 1083763 SOS 813901 HAS SOPS 486846 HAS SOUS 70528 HAS SOUPS 41488 WITH SCORE 42301.901
AT ITER 2392 NEW BEST:: SOT 1083763 SOS 813901 HAS SOPS 486846 HAS SOUS 70483 HAS SOUPS 41463 WITH SCORE 42276.901
AT ITER 2436 NEW BEST:: SOT 1083754 SOS 813832 HAS SOPS 486777 HAS SOUS 70472 HAS SOUPS 41452 WITH SCORE 42265.832
AT ITER 2440 NEW BEST:: SOT 1083754 SOS 813853 HAS SOPS 487155 HAS SOUS 70430 HAS SOUPS 41431 WITH SCORE 42244.853
AT ITER 2455 NEW BEST:: SOT 1083781 SOS 813789 HAS SOPS 487155 HAS SOUS 70339 HAS SOUPS 41431 WITH SCORE 42244.789
AT ITER 2491 NEW BEST:: SOT 1083738 SOS 812972 HAS SOPS 487069 HAS SOUS 70286 HAS SOUPS 41421 WITH SCORE 42233.972
AT ITER 2492 NEW BEST:: SOT 1083704 SOS 812889 HAS SOPS 486986 HAS SOUS 70274 HAS SOUPS 41409 WITH SCORE 42221.889
AT ITER 2507 NEW BEST:: SOT 1083696 SOS 812873 HAS SOPS 486978 HAS SOUS 70270 HAS SOUPS 41405 WITH SCORE 42217.873
AT ITER 2527 NEW BEST:: SOT 1084521 SOS 815419 HAS SOPS 487650 HAS SOUS 69863 HAS SOUPS 41181 WITH SCORE 41996.419
AT ITER 2530 NEW BEST:: SOT 1084519 SOS 815415 HAS SOPS 487646 HAS SOUS 69859 HAS SOUPS 41177 WITH SCORE 41992.415
AT ITER 2534 NEW BEST:: SOT 1084625 SOS 815574 HAS SOPS 487646 HAS SOUS 69888 HAS SOUPS 41162 WITH SCORE 41977.574
AT ITER 2539 NEW BEST:: SOT 1084631 SOS 813756 HAS SOPS 486236 HAS SOUS 69810 HAS SOUPS 41108 WITH SCORE 41921.756
AT ITER 2588 NEW BEST:: SOT 1084575 SOS 813700 HAS SOPS 486236 HAS SOUS 69801 HAS SOUPS 41103 WITH SCORE 41916.7
AT ITER 2607 NEW BEST:: SOT 1084050 SOS 812215 HAS SOPS 484833 HAS SOUS 69841 HAS SOUPS 41087 WITH SCORE 41899.215
AT ITER 2610 NEW BEST:: SOT 1083910 SOS 812182 HAS SOPS 484686 HAS SOUS 69745 HAS SOUPS 41001 WITH SCORE 41813.182
AT ITER 2635 NEW BEST:: SOT 1083964 SOS 812182 HAS SOPS 484281 HAS SOUS 69745 HAS SOUPS 40974 WITH SCORE 41786.182
AT ITER 2668 NEW BEST:: SOT 1083964 SOS 812182 HAS SOPS 484281 HAS SOUS 69736 HAS SOUPS 40969 WITH SCORE 41781.182
AT ITER 2682 NEW BEST:: SOT 1083911 SOS 812179 HAS SOPS 484178 HAS SOUS 69756 HAS SOUPS 40939 WITH SCORE 41751.179
AT ITER 2692 NEW BEST:: SOT 1084201 SOS 812469 HAS SOPS 483928 HAS SOUS 69712 HAS SOUPS 40643 WITH SCORE 41455.469
AT ITER 2704 NEW BEST:: SOT 1084201 SOS 812469 HAS SOPS 483928 HAS SOUS 69676 HAS SOUPS 40623 WITH SCORE 41435.469
AT ITER 2733 NEW BEST:: SOT 1084026 SOS 812783 HAS SOPS 484426 HAS SOUS 68563 HAS SOUPS 40457 WITH SCORE 41269.783
AT ITER 2737 NEW BEST:: SOT 1083930 SOS 812687 HAS SOPS 484426 HAS SOUS 68536 HAS SOUPS 40386 WITH SCORE 41198.687
AT ITER 2742 NEW BEST:: SOT 1083940 SOS 812707 HAS SOPS 484426 HAS SOUS 68537 HAS SOUPS 40381 WITH SCORE 41193.707
AT ITER 2760 NEW BEST:: SOT 1084034 SOS 812801 HAS SOPS 484384 HAS SOUS 68517 HAS SOUPS 40361 WITH SCORE 41173.801
AT ITER 2769 NEW BEST:: SOT 1084154 SOS 813077 HAS SOPS 484456 HAS SOUS 68517 HAS SOUPS 40349 WITH SCORE 41162.077
AT ITER 2777 NEW BEST:: SOT 1084042 SOS 813412 HAS SOPS 483531 HAS SOUS 68423 HAS SOUPS 40184 WITH SCORE 40997.412
AT ITER 2789 NEW BEST:: SOT 1083933 SOS 813196 HAS SOPS 483529 HAS SOUS 68320 HAS SOUPS 40182 WITH SCORE 40995.196
AT ITER 2812 NEW BEST:: SOT 1084077 SOS 813596 HAS SOPS 483625 HAS SOUS 68272 HAS SOUPS 40150 WITH SCORE 40963.596
AT ITER 2815 NEW BEST:: SOT 1084084 SOS 813477 HAS SOPS 483625 HAS SOUS 68265 HAS SOUPS 40150 WITH SCORE 40963.477
AT ITER 2825 NEW BEST:: SOT 1084000 SOS 813393 HAS SOPS 483625 HAS SOUS 68265 HAS SOUPS 40150 WITH SCORE 40963.393
AT ITER 2837 NEW BEST:: SOT 1085124 SOS 814517 HAS SOPS 483903 HAS SOUS 67979 HAS SOUPS 39864 WITH SCORE 40678.517
AT ITER 2839 NEW BEST:: SOT 1085023 SOS 818468 HAS SOPS 487722 HAS SOUS 67957 HAS SOUPS 39842 WITH SCORE 40660.468
AT ITER 2849 NEW BEST:: SOT 1084822 SOS 815315 HAS SOPS 484959 HAS SOUS 67916 HAS SOUPS 39801 WITH SCORE 40616.315
AT ITER 2853 NEW BEST:: SOT 1084822 SOS 815405 HAS SOPS 484964 HAS SOUS 67911 HAS SOUPS 39791 WITH SCORE 40606.405
AT ITER 2863 NEW BEST:: SOT 1084819 SOS 815402 HAS SOPS 484964 HAS SOUS 67884 HAS SOUPS 39776 WITH SCORE 40591.402
AT ITER 2871 NEW BEST:: SOT 1085838 SOS 818168 HAS SOPS 485621 HAS SOUS 67829 HAS SOUPS 39748 WITH SCORE 40566.168
AT ITER 2891 NEW BEST:: SOT 1085824 SOS 818035 HAS SOPS 485488 HAS SOUS 67815 HAS SOUPS 39734 WITH SCORE 40552.035
AT ITER 2906 NEW BEST:: SOT 1085824 SOS 817992 HAS SOPS 485452 HAS SOUS 67736 HAS SOUPS 39698 WITH SCORE 40515.992
AT ITER 2921 NEW BEST:: SOT 1086804 SOS 820246 HAS SOPS 486040 HAS SOUS 67677 HAS SOUPS 39592 WITH SCORE 40412.246
AT ITER 2967 NEW BEST:: SOT 1086802 SOS 820244 HAS SOPS 486040 HAS SOUS 67677 HAS SOUPS 39592 WITH SCORE 40412.244
AT ITER 2995 NEW BEST:: SOT 1086724 SOS 820231 HAS SOPS 486001 HAS SOUS 67677 HAS SOUPS 39579 WITH SCORE 40399.231
AT ITER 3027 NEW BEST:: SOT 1086714 SOS 820211 HAS SOPS 486001 HAS SOUS 67667 HAS SOUPS 39579 WITH SCORE 40399.211
AT ITER 3032 NEW BEST:: SOT 1086835 SOS 820395 HAS SOPS 485970 HAS SOUS 67699 HAS SOUPS 39548 WITH SCORE 40368.395
AT ITER 3044 NEW BEST:: SOT 1087147 SOS 820707 HAS SOPS 486282 HAS SOUS 67696 HAS SOUPS 39546 WITH SCORE 40366.707
AT ITER 3054 NEW BEST:: SOT 1087101 SOS 819563 HAS SOPS 486039 HAS SOUS 67572 HAS SOUPS 39475 WITH SCORE 40294.563
AT ITER 3055 NEW BEST:: SOT 1087136 SOS 819457 HAS SOPS 485933 HAS SOUS 67546 HAS SOUPS 39449 WITH SCORE 40268.457
AT ITER 3069 NEW BEST:: SOT 1087136 SOS 819457 HAS SOPS 485933 HAS SOUS 67528 HAS SOUPS 39439 WITH SCORE 40258.457
AT ITER 3080 NEW BEST:: SOT 1087136 SOS 819457 HAS SOPS 485933 HAS SOUS 67492 HAS SOUPS 39419 WITH SCORE 40238.457
AT ITER 3092 NEW BEST:: SOT 1087120 SOS 819233 HAS SOPS 485739 HAS SOUS 67486 HAS SOUPS 39413 WITH SCORE 40232.233
AT ITER 3124 NEW BEST:: SOT 1087219 SOS 819508 HAS SOPS 485805 HAS SOUS 67453 HAS SOUPS 39391 WITH SCORE 40210.508
AT ITER 3133 NEW BEST:: SOT 1086150 SOS 818189 HAS SOPS 485103 HAS SOUS 67356 HAS SOUPS 39391 WITH SCORE 40209.189
AT ITER 3156 NEW BEST:: SOT 1086126 SOS 818165 HAS SOPS 485103 HAS SOUS 67356 HAS SOUPS 39391 WITH SCORE 40209.165
AT ITER 3164 NEW BEST:: SOT 1086126 SOS 818165 HAS SOPS 485103 HAS SOUS 67347 HAS SOUPS 39386 WITH SCORE 40204.165
AT ITER 3189 NEW BEST:: SOT 1086068 SOS 818067 HAS SOPS 485085 HAS SOUS 67289 HAS SOUPS 39368 WITH SCORE 40186.067
AT ITER 3199 NEW BEST:: SOT 1086125 SOS 818504 HAS SOPS 485522 HAS SOUS 67271 HAS SOUPS 39350 WITH SCORE 40168.504
AT ITER 3205 NEW BEST:: SOT 1086112 SOS 818478 HAS SOPS 485522 HAS SOUS 67249 HAS SOUPS 39345 WITH SCORE 40163.478
AT ITER 3210 NEW BEST:: SOT 1086112 SOS 818478 HAS SOPS 485522 HAS SOUS 67240 HAS SOUPS 39340 WITH SCORE 40158.478
AT ITER 3214 NEW BEST:: SOT 1086292 SOS 818978 HAS SOPS 485642 HAS SOUS 67180 HAS SOUPS 39300 WITH SCORE 40118.978
AT ITER 3219 NEW BEST:: SOT 1086295 SOS 818960 HAS SOPS 485628 HAS SOUS 67166 HAS SOUPS 39293 WITH SCORE 40111.96
AT ITER 3230 NEW BEST:: SOT 1086304 SOS 818950 HAS SOPS 485594 HAS SOUS 67144 HAS SOUPS 39274 WITH SCORE 40092.95
AT ITER 3246 NEW BEST:: SOT 1086305 SOS 818772 HAS SOPS 485499 HAS SOUS 67095 HAS SOUPS 39264 WITH SCORE 40082.772
AT ITER 3265 NEW BEST:: SOT 1086300 SOS 818767 HAS SOPS 485499 HAS SOUS 67095 HAS SOUPS 39264 WITH SCORE 40082.767
AT ITER 3280 NEW BEST:: SOT 1086300 SOS 818767 HAS SOPS 485499 HAS SOUS 67086 HAS SOUPS 39259 WITH SCORE 40077.767
AT ITER 3334 NEW BEST:: SOT 1086392 SOS 818875 HAS SOPS 485496 HAS SOUS 67099 HAS SOUPS 39256 WITH SCORE 40074.875
AT ITER 3341 NEW BEST:: SOT 1086452 SOS 819005 HAS SOPS 485526 HAS SOUS 67099 HAS SOUPS 39251 WITH SCORE 40070.005
AT ITER 3345 NEW BEST:: SOT 1086089 SOS 818180 HAS SOPS 485328 HAS SOUS 67066 HAS SOUPS 39251 WITH SCORE 40069.18
AT ITER 3359 NEW BEST:: SOT 1086253 SOS 818344 HAS SOPS 485328 HAS SOUS 66922 HAS SOUPS 39171 WITH SCORE 39989.344
AT ITER 3382 NEW BEST:: SOT 1086191 SOS 818282 HAS SOPS 485328 HAS SOUS 66922 HAS SOUPS 39171 WITH SCORE 39989.282
AT ITER 3421 NEW BEST:: SOT 1086149 SOS 818275 HAS SOPS 485321 HAS SOUS 66908 HAS SOUPS 39157 WITH SCORE 39975.275
AT ITER 3432 NEW BEST:: SOT 1086107 SOS 817819 HAS SOPS 484967 HAS SOUS 66908 HAS SOUPS 39157 WITH SCORE 39974.819
AT ITER 3435 NEW BEST:: SOT 1086080 SOS 816973 HAS SOPS 484274 HAS SOUS 66890 HAS SOUPS 39148 WITH SCORE 39964.973
AT ITER 3486 NEW BEST:: SOT 1086080 SOS 816973 HAS SOPS 484274 HAS SOUS 66809 HAS SOUPS 39103 WITH SCORE 39919.973
AT ITER 3498 NEW BEST:: SOT 1086080 SOS 816973 HAS SOPS 484274 HAS SOUS 66602 HAS SOUPS 38988 WITH SCORE 39804.973
AT ITER 3536 NEW BEST:: SOT 1086056 SOS 816949 HAS SOPS 484274 HAS SOUS 66602 HAS SOUPS 38988 WITH SCORE 39804.949
AT ITER 3538 NEW BEST:: SOT 1086012 SOS 816849 HAS SOPS 484250 HAS SOUS 66598 HAS SOUPS 38988 WITH SCORE 39804.849
AT ITER 3574 NEW BEST:: SOT 1085967 SOS 815837 HAS SOPS 484241 HAS SOUS 66498 HAS SOUPS 38947 WITH SCORE 39762.837
AT ITER 3604 NEW BEST:: SOT 1085971 SOS 815719 HAS SOPS 484141 HAS SOUS 66496 HAS SOUPS 38945 WITH SCORE 39760.719
AT ITER 3605 NEW BEST:: SOT 1085956 SOS 815704 HAS SOPS 484141 HAS SOUS 66496 HAS SOUPS 38945 WITH SCORE 39760.704
AT ITER 3616 NEW BEST:: SOT 1085304 SOS 815058 HAS SOPS 483634 HAS SOUS 66541 HAS SOUPS 38935 WITH SCORE 39750.058
AT ITER 3629 NEW BEST:: SOT 1085280 SOS 815034 HAS SOPS 483610 HAS SOUS 66541 HAS SOUPS 38935 WITH SCORE 39750.034
AT ITER 3634 NEW BEST:: SOT 1085246 SOS 814531 HAS SOPS 483500 HAS SOUS 66442 HAS SOUPS 38861 WITH SCORE 39675.531
AT ITER 3652 NEW BEST:: SOT 1085216 SOS 814471 HAS SOPS 483500 HAS SOUS 66412 HAS SOUPS 38861 WITH SCORE 39675.471
AT ITER 3656 NEW BEST:: SOT 1085201 SOS 814456 HAS SOPS 483500 HAS SOUS 66412 HAS SOUPS 38861 WITH SCORE 39675.456
AT ITER 3687 NEW BEST:: SOT 1085211 SOS 814255 HAS SOPS 484540 HAS SOUS 66292 HAS SOUPS 38814 WITH SCORE 39628.255
AT ITER 3691 NEW BEST:: SOT 1085199 SOS 813806 HAS SOPS 484516 HAS SOUS 66243 HAS SOUPS 38790 WITH SCORE 39603.806
AT ITER 3729 NEW BEST:: SOT 1085172 SOS 813752 HAS SOPS 484516 HAS SOUS 66216 HAS SOUPS 38790 WITH SCORE 39603.752
AT ITER 3779 NEW BEST:: SOT 1085177 SOS 813856 HAS SOPS 484484 HAS SOUS 66219 HAS SOUPS 38785 WITH SCORE 39598.856
AT ITER 3811 NEW BEST:: SOT 1085051 SOS 813702 HAS SOPS 484400 HAS SOUS 66219 HAS SOUPS 38785 WITH SCORE 39598.702
AT ITER 3821 NEW BEST:: SOT 1085205 SOS 814052 HAS SOPS 484484 HAS SOUS 66215 HAS SOUPS 38767 WITH SCORE 39581.052
AT ITER 3855 NEW BEST:: SOT 1085179 SOS 814026 HAS SOPS 484458 HAS SOUS 66163 HAS SOUPS 38715 WITH SCORE 39529.026
AT ITER 3860 NEW BEST:: SOT 1085174 SOS 814021 HAS SOPS 484458 HAS SOUS 66163 HAS SOUPS 38715 WITH SCORE 39529.021
AT ITER 3873 NEW BEST:: SOT 1085174 SOS 814013 HAS SOPS 484450 HAS SOUS 66163 HAS SOUPS 38715 WITH SCORE 39529.013
AT ITER 3888 NEW BEST:: SOT 1085126 SOS 813101 HAS SOPS 483946 HAS SOUS 66115 HAS SOUPS 38691 WITH SCORE 39504.101
AT ITER 3909 NEW BEST:: SOT 1085774 SOS 814505 HAS SOPS 484270 HAS SOUS 66157 HAS SOUPS 38679 WITH SCORE 39493.505
AT ITER 3930 NEW BEST:: SOT 1085894 SOS 814865 HAS SOPS 484360 HAS SOUS 66112 HAS SOUPS 38649 WITH SCORE 39463.865
AT ITER 3952 NEW BEST:: SOT 1085867 SOS 814838 HAS SOPS 484360 HAS SOUS 66112 HAS SOUPS 38649 WITH SCORE 39463.838
AT ITER 3968 NEW BEST:: SOT 1086648 SOS 816613 HAS SOPS 484786 HAS SOUS 66175 HAS SOUPS 38613 WITH SCORE 39429.613
AT ITER 4000 NEW BEST:: SOT 1085786 SOS 812063 HAS SOPS 482418 HAS SOUS 66139 HAS SOUPS 38614 WITH SCORE 39426.063
AT ITER 4031 NEW BEST:: SOT 1085832 SOS 811204 HAS SOPS 481763 HAS SOUS 66126 HAS SOUPS 38613 WITH SCORE 39424.204
AT ITER 4044 NEW BEST:: SOT 1085819 SOS 810572 HAS SOPS 481131 HAS SOUS 66112 HAS SOUPS 38599 WITH SCORE 39409.572
AT ITER 4059 NEW BEST:: SOT 1085798 SOS 810707 HAS SOPS 481125 HAS SOUS 66115 HAS SOUPS 38593 WITH SCORE 39403.707
AT ITER 4092 NEW BEST:: SOT 1085788 SOS 810697 HAS SOPS 481125 HAS SOUS 66115 HAS SOUPS 38593 WITH SCORE 39403.697
AT ITER 4099 NEW BEST:: SOT 1085762 SOS 810658 HAS SOPS 481112 HAS SOUS 66102 HAS SOUPS 38580 WITH SCORE 39390.658
AT ITER 4119 NEW BEST:: SOT 1085744 SOS 810678 HAS SOPS 481056 HAS SOUS 66057 HAS SOUPS 38509 WITH SCORE 39319.678
AT ITER 4136 NEW BEST:: SOT 1086286 SOS 812245 HAS SOPS 481470 HAS SOUS 65788 HAS SOUPS 38388 WITH SCORE 39200.245
AT ITER 4152 NEW BEST:: SOT 1086249 SOS 812171 HAS SOPS 481396 HAS SOUS 65748 HAS SOUPS 38348 WITH SCORE 39160.171
AT ITER 4210 NEW BEST:: SOT 1086243 SOS 811959 HAS SOPS 481334 HAS SOUS 65730 HAS SOUPS 38330 WITH SCORE 39141.959
AT ITER 4229 NEW BEST:: SOT 1086249 SOS 812073 HAS SOPS 481448 HAS SOUS 65729 HAS SOUPS 38329 WITH SCORE 39141.073
AT ITER 4246 NEW BEST:: SOT 1086248 SOS 812072 HAS SOPS 481448 HAS SOUS 65729 HAS SOUPS 38329 WITH SCORE 39141.072
AT ITER 4254 NEW BEST:: SOT 1086291 SOS 812052 HAS SOPS 481448 HAS SOUS 65666 HAS SOUPS 38329 WITH SCORE 39141.052
AT ITER 4257 NEW BEST:: SOT 1086291 SOS 812052 HAS SOPS 481448 HAS SOUS 65648 HAS SOUPS 38319 WITH SCORE 39131.052
AT ITER 4260 NEW BEST:: SOT 1085908 SOS 811122 HAS SOPS 481232 HAS SOUS 65556 HAS SOUPS 38314 WITH SCORE 39125.122
AT ITER 4272 NEW BEST:: SOT 1085962 SOS 811176 HAS SOPS 481286 HAS SOUS 65553 HAS SOUPS 38312 WITH SCORE 39123.176
AT ITER 4276 NEW BEST:: SOT 1085932 SOS 811164 HAS SOPS 481274 HAS SOUS 65513 HAS SOUPS 38272 WITH SCORE 39083.164
AT ITER 4311 NEW BEST:: SOT 1085930 SOS 809710 HAS SOPS 479989 HAS SOUS 65489 HAS SOUPS 38254 WITH SCORE 39063.71
AT ITER 4366 NEW BEST:: SOT 1085054 SOS 807291 HAS SOPS 479459 HAS SOUS 65402 HAS SOUPS 38189 WITH SCORE 38996.291
AT ITER 4370 NEW BEST:: SOT 1084994 SOS 807231 HAS SOPS 479414 HAS SOUS 65402 HAS SOUPS 38184 WITH SCORE 38991.231
AT ITER 4387 NEW BEST:: SOT 1084451 SOS 804762 HAS SOPS 477074 HAS SOUS 65433 HAS SOUPS 38165 WITH SCORE 38969.762
AT ITER 4392 NEW BEST:: SOT 1084457 SOS 804855 HAS SOPS 477128 HAS SOUS 65430 HAS SOUPS 38162 WITH SCORE 38966.855
AT ITER 4410 NEW BEST:: SOT 1084493 SOS 804933 HAS SOPS 477146 HAS SOUS 65430 HAS SOUPS 38159 WITH SCORE 38963.933
AT ITER 4419 NEW BEST:: SOT 1084483 SOS 804923 HAS SOPS 477146 HAS SOUS 65401 HAS SOUPS 38134 WITH SCORE 38938.923
AT ITER 4423 NEW BEST:: SOT 1084453 SOS 804824 HAS SOPS 477047 HAS SOUS 65357 HAS SOUPS 38090 WITH SCORE 38894.824
AT ITER 4496 NEW BEST:: SOT 1084451 SOS 804822 HAS SOPS 477047 HAS SOUS 65353 HAS SOUPS 38086 WITH SCORE 38890.822
AT ITER 4510 NEW BEST:: SOT 1084587 SOS 803802 HAS SOPS 477183 HAS SOUS 65285 HAS SOUPS 38086 WITH SCORE 38889.802
AT ITER 4536 NEW BEST:: SOT 1084704 SOS 803919 HAS SOPS 477222 HAS SOUS 65246 HAS SOUPS 38047 WITH SCORE 38850.919
AT ITER 4584 NEW BEST:: SOT 1084665 SOS 803880 HAS SOPS 477222 HAS SOUS 65246 HAS SOUPS 38047 WITH SCORE 38850.88
AT ITER 4589 NEW BEST:: SOT 1084665 SOS 803880 HAS SOPS 477222 HAS SOUS 65219 HAS SOUPS 38032 WITH SCORE 38835.88
AT ITER 4595 NEW BEST:: SOT 1084665 SOS 803880 HAS SOPS 477222 HAS SOUS 65156 HAS SOUPS 37997 WITH SCORE 38800.88
AT ITER 4598 NEW BEST:: SOT 1084635 SOS 803847 HAS SOPS 477201 HAS SOUS 65159 HAS SOUPS 37997 WITH SCORE 38800.847
AT ITER 4612 NEW BEST:: SOT 1085048 SOS 804615 HAS SOPS 477737 HAS SOUS 65088 HAS SOUPS 37934 WITH SCORE 38738.615
AT ITER 4627 NEW BEST:: SOT 1084928 SOS 804495 HAS SOPS 477737 HAS SOUS 65088 HAS SOUPS 37934 WITH SCORE 38738.495
AT ITER 4641 NEW BEST:: SOT 1083656 SOS 801506 HAS SOPS 476934 HAS SOUS 65051 HAS SOUPS 37921 WITH SCORE 38722.506
AT ITER 4649 NEW BEST:: SOT 1083656 SOS 801524 HAS SOPS 477258 HAS SOUS 65015 HAS SOUPS 37903 WITH SCORE 38704.524
AT ITER 4707 NEW BEST:: SOT 1083654 SOS 801537 HAS SOPS 477254 HAS SOUS 65015 HAS SOUPS 37902 WITH SCORE 38703.537
AT ITER 4738 NEW BEST:: SOT 1083183 SOS 795451 HAS SOPS 472071 HAS SOUS 64935 HAS SOUPS 37822 WITH SCORE 38617.451
AT ITER 4739 NEW BEST:: SOT 1083184 SOS 795487 HAS SOPS 472107 HAS SOUS 64934 HAS SOUPS 37821 WITH SCORE 38616.487
AT ITER 4749 NEW BEST:: SOT 1083107 SOS 795410 HAS SOPS 472107 HAS SOUS 64926 HAS SOUPS 37813 WITH SCORE 38608.41
AT ITER 4757 NEW BEST:: SOT 1083092 SOS 795100 HAS SOPS 471797 HAS SOUS 64923 HAS SOUPS 37810 WITH SCORE 38605.1
AT ITER 4763 NEW BEST:: SOT 1083058 SOS 795066 HAS SOPS 471797 HAS SOUS 64923 HAS SOUPS 37810 WITH SCORE 38605.066
AT ITER 4780 NEW BEST:: SOT 1082715 SOS 794079 HAS SOPS 471522 HAS SOUS 64894 HAS SOUPS 37787 WITH SCORE 38581.079
AT ITER 4815 NEW BEST:: SOT 1082480 SOS 794743 HAS SOPS 471597 HAS SOUS 64776 HAS SOUPS 37703 WITH SCORE 38497.743
AT ITER 4823 NEW BEST:: SOT 1082443 SOS 794706 HAS SOPS 471597 HAS SOUS 64776 HAS SOUPS 37703 WITH SCORE 38497.706
AT ITER 4832 NEW BEST:: SOT 1082452 SOS 794486 HAS SOPS 471377 HAS SOUS 64771 HAS SOUPS 37698 WITH SCORE 38492.486
AT ITER 4853 NEW BEST:: SOT 1082251 SOS 793981 HAS SOPS 471217 HAS SOUS 64679 HAS SOUPS 37680 WITH SCORE 38473.981
AT ITER 4860 NEW BEST:: SOT 1081910 SOS 792995 HAS SOPS 471010 HAS SOUS 64663 HAS SOUPS 37664 WITH SCORE 38456.995
AT ITER 4921 NEW BEST:: SOT 1081869 SOS 792307 HAS SOPS 471049 HAS SOUS 64609 HAS SOUPS 37651 WITH SCORE 38443.307
AT ITER 4948 NEW BEST:: SOT 1081781 SOS 792026 HAS SOPS 470985 HAS SOUS 64604 HAS SOUPS 37646 WITH SCORE 38438.026
AT ITER 4996 NEW BEST:: SOT 1082431 SOS 793784 HAS SOPS 471378 HAS SOUS 64480 HAS SOUPS 37522 WITH SCORE 38315.784
AT ITER 4999 NEW BEST:: SOT 1082409 SOS 793727 HAS SOPS 471055 HAS SOUS 64461 HAS SOUPS 37487 WITH SCORE 38280.727
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-13a-CTLCardinality-00 (EF(( potential( ( 1 ) <= (tk(P56)) ) & potential( ( 3 ) <= (tk(P75)) ) )))
PROPERTY: DLCround-PT-13a-CTLCardinality-01 (AG( potential( (tk(P206)) <= (tk(P460)) )))
PROPERTY: DLCround-PT-13a-CTLCardinality-02 ( (AU( ( potential( (tk(P411)) <= (tk(P87)) ) | potential( (tk(P104)) <= (tk(P420)) ) ),( potential( ( 2 ) <= (tk(P213)) ) | potential( (tk(P432)) <= (tk(P390)) ) ) )) & (! (EF(potential( ( 2 ) <= (tk(P329)) )))) )
PROPERTY: DLCround-PT-13a-CTLCardinality-03 (EF(( ( potential( ( 2 ) <= (tk(P249)) ) & potential( ( 3 ) <= (tk(P221)) ) ) & (AG( potential( (tk(P286)) <= (tk(P66)) ))) )))
PROPERTY: DLCround-PT-13a-CTLCardinality-04 ( ( (EU( potential( (tk(P113)) <= (tk(P26)) ),potential( ( 1 ) <= (tk(P99)) ) )) | (EF(( potential( (tk(P317)) <= (tk(P422)) ) | potential( (tk(P335)) <= (tk(P292)) ) ))) ) & ( ( (EF(potential( ( 3 ) <= (tk(P452)) ))) | ( ( potential( ( 2 ) <= (tk(P315)) ) & potential( ( 3 ) <= (tk(P178)) ) ) | potential( ( 2 ) <= (tk(P308)) ) ) ) & (AU( potential( ( 2 ) <= (tk(P219)) ),potential( (tk(P139)) <= (tk(P394)) ) )) ) )
PROPERTY: DLCround-PT-13a-CTLCardinality-05 (AF((EF(( potential( ( 2 ) <= (tk(P247)) ) & potential( ( 1 ) <= (tk(P110)) ) )))))
PROPERTY: DLCround-PT-13a-CTLCardinality-06 (EF((EX( (! potential( ( 1 ) <= (tk(P379)) ))))))
PROPERTY: DLCround-PT-13a-CTLCardinality-07 (EF((EG( potential( (tk(P174)) <= (tk(P121)) )))))
PROPERTY: DLCround-PT-13a-CTLCardinality-08 ( (! ( (EG( potential( ( 2 ) <= (tk(P144)) ))) & ( potential( ( 2 ) <= (tk(P378)) ) & ( potential( ( 3 ) <= (tk(P330)) ) | potential( ( 1 ) <= (tk(P345)) ) ) ) )) & (AG( (EF(potential( ( 1 ) <= (tk(P351)) ))))) )
PROPERTY: DLCround-PT-13a-CTLCardinality-09 (EF(potential( ( 2 ) <= (tk(P140)) )))
PROPERTY: DLCround-PT-13a-CTLCardinality-10 (! (AG( ( (! potential( ( 3 ) <= (tk(P405)) )) | ( potential( ( 1 ) <= (tk(P434)) ) | potential( (tk(P461)) <= (tk(P120)) ) ) ))))
PROPERTY: DLCround-PT-13a-CTLCardinality-11 ( ( ( potential( ( 1 ) <= (tk(P435)) ) | (AG( potential( ( 2 ) <= (tk(P253)) ))) ) | (EU( potential( (tk(P338)) <= (tk(P368)) ),potential( ( 3 ) <= (tk(P407)) ) )) ) & (! ( (! ( potential( (tk(P17)) <= (tk(P56)) ) & potential( (tk(P344)) <= (tk(P183)) ) )) | (AF(potential( ( 2 ) <= (tk(P243)) ))) )) )
PROPERTY: DLCround-PT-13a-CTLCardinality-12 (AG( (! (AG( potential( (tk(P279)) <= (tk(P63)) ))))))
PROPERTY: DLCround-PT-13a-CTLCardinality-13 (AX( (EF((! potential( (tk(P153)) <= (tk(P418)) ))))))
PROPERTY: DLCround-PT-13a-CTLCardinality-14 ( (AU( ( potential( (tk(P332)) <= (tk(P148)) ) & potential( (tk(P393)) <= (tk(P138)) ) ),potential( ( 1 ) <= (tk(P266)) ) )) & (! (EU( potential( (tk(P342)) <= (tk(P281)) ),potential( ( 2 ) <= (tk(P319)) ) ))) )
PROPERTY: DLCround-PT-13a-CTLCardinality-15 (! ( (EU( potential( (tk(P405)) <= (tk(P323)) ),potential( ( 3 ) <= (tk(P77)) ) )) | ( ( potential( (tk(P86)) <= (tk(P312)) ) & ( potential( ( 2 ) <= (tk(P46)) ) | potential( ( 1 ) <= (tk(P403)) ) ) ) & ( potential( ( 3 ) <= (tk(P261)) ) | potential( (tk(P323)) <= (tk(P425)) ) ) ) ))

BK_STOP 1590871429527

--------------------
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: 483 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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-13a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542400611"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;