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.r123-tajo-158961354700419.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 PolyORBLF-PT-S02J04T08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700419
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.1K Apr 12 05:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 12 05:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 04:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 11 04:54 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 8.7K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Apr 10 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 10 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Apr 9 17:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.1K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 PolyORBLF-PT-S02J04T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J04T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642542194

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T08
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: 614 places, 1242 transitions, 5732 arcs.
AT ITER 0 NEW BEST:: SOT 464001 SOS 247297 HAS SOPS 242467 HAS SOUS 145397 HAS SOUPS 144960 WITH SCORE 145207.297
AT ITER 5 NEW BEST:: SOT 463788 SOS 247082 HAS SOPS 242251 HAS SOUS 145104 HAS SOUPS 144667 WITH SCORE 144914.082
AT ITER 18 NEW BEST:: SOT 457023 SOS 241617 HAS SOPS 236786 HAS SOUS 142560 HAS SOUPS 142123 WITH SCORE 142364.617
AT ITER 19 NEW BEST:: SOT 456966 SOS 241509 HAS SOPS 236721 HAS SOUS 142463 HAS SOUPS 142026 WITH SCORE 142267.509
AT ITER 23 NEW BEST:: SOT 456980 SOS 241504 HAS SOPS 236716 HAS SOUS 142458 HAS SOUPS 142021 WITH SCORE 142262.504
AT ITER 42 NEW BEST:: SOT 455177 SOS 239763 HAS SOPS 234975 HAS SOUS 140841 HAS SOUPS 140404 WITH SCORE 140643.763
AT ITER 47 NEW BEST:: SOT 453326 SOS 237984 HAS SOPS 233196 HAS SOUS 138879 HAS SOUPS 138442 WITH SCORE 138679.984
AT ITER 57 NEW BEST:: SOT 452926 SOS 237684 HAS SOPS 232896 HAS SOUS 138569 HAS SOUPS 138132 WITH SCORE 138369.684
AT ITER 61 NEW BEST:: SOT 452722 SOS 237490 HAS SOPS 232702 HAS SOUS 138338 HAS SOUPS 137901 WITH SCORE 138138.49
AT ITER 65 NEW BEST:: SOT 452711 SOS 237479 HAS SOPS 232691 HAS SOUS 138327 HAS SOUPS 137890 WITH SCORE 138127.479
AT ITER 79 NEW BEST:: SOT 452711 SOS 237433 HAS SOPS 232645 HAS SOUS 138281 HAS SOUPS 137844 WITH SCORE 138081.433
AT ITER 81 NEW BEST:: SOT 452690 SOS 237549 HAS SOPS 232760 HAS SOUS 138206 HAS SOUPS 137769 WITH SCORE 138006.549
AT ITER 89 NEW BEST:: SOT 452300 SOS 237287 HAS SOPS 232498 HAS SOUS 138104 HAS SOUPS 137667 WITH SCORE 137904.287
AT ITER 99 NEW BEST:: SOT 452260 SOS 236875 HAS SOPS 232086 HAS SOUS 138097 HAS SOUPS 137660 WITH SCORE 137896.875
AT ITER 100 NEW BEST:: SOT 452216 SOS 237039 HAS SOPS 232274 HAS SOUS 138077 HAS SOUPS 137640 WITH SCORE 137877.039
AT ITER 104 NEW BEST:: SOT 452175 SOS 237034 HAS SOPS 232268 HAS SOUS 137889 HAS SOUPS 137452 WITH SCORE 137689.034
AT ITER 111 NEW BEST:: SOT 451940 SOS 236846 HAS SOPS 232080 HAS SOUS 137272 HAS SOUPS 136835 WITH SCORE 137071.846
AT ITER 116 NEW BEST:: SOT 452015 SOS 236921 HAS SOPS 232005 HAS SOUS 137347 HAS SOUPS 136760 WITH SCORE 136996.921
AT ITER 124 NEW BEST:: SOT 451991 SOS 236873 HAS SOPS 231957 HAS SOUS 137299 HAS SOUPS 136712 WITH SCORE 136948.873
AT ITER 125 NEW BEST:: SOT 451870 SOS 236631 HAS SOPS 231715 HAS SOUS 137057 HAS SOUPS 136470 WITH SCORE 136706.631
AT ITER 130 NEW BEST:: SOT 451690 SOS 233219 HAS SOPS 228303 HAS SOUS 136911 HAS SOUPS 136324 WITH SCORE 136557.219
AT ITER 142 NEW BEST:: SOT 451658 SOS 233187 HAS SOPS 228275 HAS SOUS 136885 HAS SOUPS 136298 WITH SCORE 136531.187
AT ITER 143 NEW BEST:: SOT 445096 SOS 238329 HAS SOPS 236514 HAS SOUS 131013 HAS SOUPS 130611 WITH SCORE 130849.329
AT ITER 147 NEW BEST:: SOT 445085 SOS 238318 HAS SOPS 236492 HAS SOUS 131011 HAS SOUPS 130606 WITH SCORE 130844.318
AT ITER 185 NEW BEST:: SOT 444957 SOS 238186 HAS SOPS 236429 HAS SOUS 130988 HAS SOUPS 130583 WITH SCORE 130821.186
AT ITER 192 NEW BEST:: SOT 444932 SOS 238136 HAS SOPS 236379 HAS SOUS 130958 HAS SOUPS 130553 WITH SCORE 130791.136
AT ITER 203 NEW BEST:: SOT 444935 SOS 238139 HAS SOPS 236382 HAS SOUS 130919 HAS SOUPS 130514 WITH SCORE 130752.139
AT ITER 222 NEW BEST:: SOT 444740 SOS 239484 HAS SOPS 237727 HAS SOUS 130792 HAS SOUPS 130387 WITH SCORE 130626.484
AT ITER 223 NEW BEST:: SOT 444548 SOS 239296 HAS SOPS 237539 HAS SOUS 130237 HAS SOUPS 129832 WITH SCORE 130071.296
AT ITER 229 NEW BEST:: SOT 444500 SOS 239270 HAS SOPS 237513 HAS SOUS 130207 HAS SOUPS 129802 WITH SCORE 130041.27
AT ITER 242 NEW BEST:: SOT 440190 SOS 234625 HAS SOPS 232847 HAS SOUS 128044 HAS SOUPS 127639 WITH SCORE 127873.625
AT ITER 244 NEW BEST:: SOT 440020 SOS 234455 HAS SOPS 232677 HAS SOUS 127976 HAS SOUPS 127571 WITH SCORE 127805.455
AT ITER 253 NEW BEST:: SOT 439921 SOS 234347 HAS SOPS 232569 HAS SOUS 127974 HAS SOUPS 127569 WITH SCORE 127803.347
AT ITER 294 NEW BEST:: SOT 439921 SOS 233999 HAS SOPS 232221 HAS SOUS 127974 HAS SOUPS 127569 WITH SCORE 127802.999
AT ITER 296 NEW BEST:: SOT 439898 SOS 233976 HAS SOPS 232198 HAS SOUS 127928 HAS SOUPS 127523 WITH SCORE 127756.976
AT ITER 300 NEW BEST:: SOT 439730 SOS 233876 HAS SOPS 232098 HAS SOUS 127810 HAS SOUPS 127405 WITH SCORE 127638.876
AT ITER 306 NEW BEST:: SOT 439691 SOS 233681 HAS SOPS 231903 HAS SOUS 127732 HAS SOUPS 127327 WITH SCORE 127560.681
AT ITER 314 NEW BEST:: SOT 439815 SOS 235011 HAS SOPS 233233 HAS SOUS 127648 HAS SOUPS 127243 WITH SCORE 127478.011
AT ITER 320 NEW BEST:: SOT 439647 SOS 237618 HAS SOPS 235840 HAS SOUS 127515 HAS SOUPS 127110 WITH SCORE 127347.618
AT ITER 321 NEW BEST:: SOT 439614 SOS 237585 HAS SOPS 235807 HAS SOUS 127389 HAS SOUPS 126984 WITH SCORE 127221.585
AT ITER 323 NEW BEST:: SOT 439606 SOS 237569 HAS SOPS 235791 HAS SOUS 127373 HAS SOUPS 126968 WITH SCORE 127205.569
AT ITER 324 NEW BEST:: SOT 439495 SOS 237419 HAS SOPS 235641 HAS SOUS 127238 HAS SOUPS 126833 WITH SCORE 127070.419
AT ITER 328 NEW BEST:: SOT 439495 SOS 237349 HAS SOPS 235571 HAS SOUS 127168 HAS SOUPS 126763 WITH SCORE 127000.349
AT ITER 331 NEW BEST:: SOT 439126 SOS 236115 HAS SOPS 234337 HAS SOUS 126872 HAS SOUPS 126467 WITH SCORE 126703.115
AT ITER 338 NEW BEST:: SOT 439112 SOS 236073 HAS SOPS 234295 HAS SOUS 126844 HAS SOUPS 126439 WITH SCORE 126675.073
AT ITER 347 NEW BEST:: SOT 439085 SOS 236019 HAS SOPS 234241 HAS SOUS 126763 HAS SOUPS 126358 WITH SCORE 126594.019
AT ITER 368 NEW BEST:: SOT 438623 SOS 235684 HAS SOPS 233906 HAS SOUS 126405 HAS SOUPS 126000 WITH SCORE 126235.684
AT ITER 382 NEW BEST:: SOT 438593 SOS 235624 HAS SOPS 233846 HAS SOUS 126385 HAS SOUPS 125980 WITH SCORE 126215.624
AT ITER 383 NEW BEST:: SOT 438548 SOS 235518 HAS SOPS 233740 HAS SOUS 126279 HAS SOUPS 125874 WITH SCORE 126109.518
AT ITER 406 NEW BEST:: SOT 437141 SOS 234219 HAS SOPS 232441 HAS SOUS 125151 HAS SOUPS 124746 WITH SCORE 124980.219
AT ITER 439 NEW BEST:: SOT 436878 SOS 233740 HAS SOPS 231962 HAS SOUS 124725 HAS SOUPS 124320 WITH SCORE 124553.74
AT ITER 449 NEW BEST:: SOT 436832 SOS 233689 HAS SOPS 231911 HAS SOUS 124688 HAS SOUPS 124283 WITH SCORE 124516.689
AT ITER 452 NEW BEST:: SOT 436786 SOS 233574 HAS SOPS 231796 HAS SOUS 124596 HAS SOUPS 124191 WITH SCORE 124424.574
AT ITER 455 NEW BEST:: SOT 436687 SOS 233336 HAS SOPS 231558 HAS SOUS 124511 HAS SOUPS 124106 WITH SCORE 124339.336
AT ITER 460 NEW BEST:: SOT 430111 SOS 227019 HAS SOPS 225241 HAS SOUS 122196 HAS SOUPS 121791 WITH SCORE 122018.019
AT ITER 474 NEW BEST:: SOT 428761 SOS 225669 HAS SOPS 223891 HAS SOUS 120990 HAS SOUPS 120585 WITH SCORE 120810.669
AT ITER 509 NEW BEST:: SOT 428661 SOS 225569 HAS SOPS 223791 HAS SOUS 120890 HAS SOUPS 120485 WITH SCORE 120710.569
AT ITER 540 NEW BEST:: SOT 428641 SOS 225549 HAS SOPS 223771 HAS SOUS 120850 HAS SOUPS 120445 WITH SCORE 120670.549
AT ITER 550 NEW BEST:: SOT 428593 SOS 225501 HAS SOPS 223723 HAS SOUS 120754 HAS SOUPS 120349 WITH SCORE 120574.501
AT ITER 555 NEW BEST:: SOT 428580 SOS 225488 HAS SOPS 223710 HAS SOUS 120741 HAS SOUPS 120336 WITH SCORE 120561.488
AT ITER 556 NEW BEST:: SOT 428577 SOS 225485 HAS SOPS 223707 HAS SOUS 120735 HAS SOUPS 120330 WITH SCORE 120555.485
AT ITER 558 NEW BEST:: SOT 428464 SOS 225442 HAS SOPS 223664 HAS SOUS 120200 HAS SOUPS 119795 WITH SCORE 120020.442
AT ITER 559 NEW BEST:: SOT 428462 SOS 225137 HAS SOPS 223359 HAS SOUS 120191 HAS SOUPS 119786 WITH SCORE 120011.137
AT ITER 574 NEW BEST:: SOT 428462 SOS 224945 HAS SOPS 223167 HAS SOUS 120191 HAS SOUPS 119786 WITH SCORE 120010.945
AT ITER 579 NEW BEST:: SOT 428462 SOS 224945 HAS SOPS 223167 HAS SOUS 120176 HAS SOUPS 119771 WITH SCORE 119995.945
AT ITER 580 NEW BEST:: SOT 428500 SOS 224770 HAS SOPS 222992 HAS SOUS 120096 HAS SOUPS 119691 WITH SCORE 119915.77
AT ITER 588 NEW BEST:: SOT 427216 SOS 223629 HAS SOPS 221851 HAS SOUS 119516 HAS SOUPS 119111 WITH SCORE 119334.629
AT ITER 613 NEW BEST:: SOT 427183 SOS 223670 HAS SOPS 221908 HAS SOUS 119495 HAS SOUPS 119090 WITH SCORE 119313.67
AT ITER 637 NEW BEST:: SOT 427134 SOS 223524 HAS SOPS 221762 HAS SOUS 119445 HAS SOUPS 119040 WITH SCORE 119263.524
AT ITER 639 NEW BEST:: SOT 426554 SOS 222924 HAS SOPS 221162 HAS SOUS 119185 HAS SOUPS 118780 WITH SCORE 119002.924
AT ITER 660 NEW BEST:: SOT 421870 SOS 218163 HAS SOPS 216401 HAS SOUS 117573 HAS SOUPS 117168 WITH SCORE 117386.163
AT ITER 661 NEW BEST:: SOT 421713 SOS 218082 HAS SOPS 216320 HAS SOUS 116824 HAS SOUPS 116419 WITH SCORE 116637.082
AT ITER 703 NEW BEST:: SOT 421718 SOS 217695 HAS SOPS 215933 HAS SOUS 116810 HAS SOUPS 116405 WITH SCORE 116622.695
AT ITER 728 NEW BEST:: SOT 421626 SOS 218535 HAS SOPS 216754 HAS SOUS 116657 HAS SOUPS 116252 WITH SCORE 116470.535
AT ITER 731 NEW BEST:: SOT 421614 SOS 218523 HAS SOPS 216742 HAS SOUS 116645 HAS SOUPS 116240 WITH SCORE 116458.523
AT ITER 742 NEW BEST:: SOT 421342 SOS 218344 HAS SOPS 216563 HAS SOUS 116466 HAS SOUPS 116061 WITH SCORE 116279.344
AT ITER 764 NEW BEST:: SOT 421342 SOS 217896 HAS SOPS 216115 HAS SOUS 116466 HAS SOUPS 116061 WITH SCORE 116278.896
AT ITER 782 NEW BEST:: SOT 421236 SOS 217790 HAS SOPS 216056 HAS SOUS 116447 HAS SOUPS 116045 WITH SCORE 116262.79
AT ITER 785 NEW BEST:: SOT 421145 SOS 218034 HAS SOPS 216318 HAS SOUS 116415 HAS SOUPS 116013 WITH SCORE 116231.034
AT ITER 788 NEW BEST:: SOT 421125 SOS 218004 HAS SOPS 216288 HAS SOUS 116375 HAS SOUPS 115973 WITH SCORE 116191.004
AT ITER 794 NEW BEST:: SOT 421048 SOS 217898 HAS SOPS 216182 HAS SOUS 116240 HAS SOUPS 115838 WITH SCORE 116055.898
AT ITER 795 NEW BEST:: SOT 421240 SOS 217877 HAS SOPS 216060 HAS SOUS 116223 HAS SOUPS 115821 WITH SCORE 116038.877
AT ITER 822 NEW BEST:: SOT 421218 SOS 217855 HAS SOPS 216038 HAS SOUS 116179 HAS SOUPS 115777 WITH SCORE 115994.855
AT ITER 852 NEW BEST:: SOT 421068 SOS 217627 HAS SOPS 215810 HAS SOUS 116035 HAS SOUPS 115633 WITH SCORE 115850.627
AT ITER 871 NEW BEST:: SOT 420850 SOS 217417 HAS SOPS 215600 HAS SOUS 115800 HAS SOUPS 115398 WITH SCORE 115615.417
AT ITER 874 NEW BEST:: SOT 420850 SOS 217333 HAS SOPS 215516 HAS SOUS 115797 HAS SOUPS 115395 WITH SCORE 115612.333
AT ITER 889 NEW BEST:: SOT 420865 SOS 217166 HAS SOPS 211685 HAS SOUS 115848 HAS SOUPS 114988 WITH SCORE 115205.166
AT ITER 890 NEW BEST:: SOT 420779 SOS 217281 HAS SOPS 211800 HAS SOUS 115725 HAS SOUPS 114865 WITH SCORE 115082.281
AT ITER 893 NEW BEST:: SOT 420992 SOS 217669 HAS SOPS 212188 HAS SOUS 115662 HAS SOUPS 114802 WITH SCORE 115019.669
AT ITER 896 NEW BEST:: SOT 421118 SOS 218589 HAS SOPS 213108 HAS SOUS 115609 HAS SOUPS 114749 WITH SCORE 114967.589
AT ITER 897 NEW BEST:: SOT 421147 SOS 218541 HAS SOPS 213060 HAS SOUS 115609 HAS SOUPS 114749 WITH SCORE 114967.541
AT ITER 899 NEW BEST:: SOT 417990 SOS 215218 HAS SOPS 209737 HAS SOUS 114555 HAS SOUPS 113695 WITH SCORE 113910.218
AT ITER 905 NEW BEST:: SOT 417974 SOS 215202 HAS SOPS 209721 HAS SOUS 114539 HAS SOUPS 113679 WITH SCORE 113894.202
AT ITER 908 NEW BEST:: SOT 417896 SOS 215651 HAS SOPS 210152 HAS SOUS 114416 HAS SOUPS 113556 WITH SCORE 113771.651
AT ITER 910 NEW BEST:: SOT 417837 SOS 215745 HAS SOPS 210246 HAS SOUS 114374 HAS SOUPS 113514 WITH SCORE 113729.745
AT ITER 928 NEW BEST:: SOT 417848 SOS 215756 HAS SOPS 210257 HAS SOUS 114369 HAS SOUPS 113509 WITH SCORE 113724.756
AT ITER 936 NEW BEST:: SOT 417645 SOS 215525 HAS SOPS 210026 HAS SOUS 114235 HAS SOUPS 113375 WITH SCORE 113590.525
AT ITER 961 NEW BEST:: SOT 417542 SOS 214449 HAS SOPS 208950 HAS SOUS 114039 HAS SOUPS 113179 WITH SCORE 113393.449
AT ITER 964 NEW BEST:: SOT 417542 SOS 214449 HAS SOPS 208950 HAS SOUS 114032 HAS SOUPS 113172 WITH SCORE 113386.449
AT ITER 970 NEW BEST:: SOT 417509 SOS 214416 HAS SOPS 208917 HAS SOUS 113999 HAS SOUPS 113139 WITH SCORE 113353.416
AT ITER 973 NEW BEST:: SOT 417356 SOS 214314 HAS SOPS 208815 HAS SOUS 113482 HAS SOUPS 112622 WITH SCORE 112836.314
AT ITER 986 NEW BEST:: SOT 417345 SOS 214106 HAS SOPS 208607 HAS SOUS 113460 HAS SOUPS 112600 WITH SCORE 112814.106
AT ITER 999 NEW BEST:: SOT 417321 SOS 214082 HAS SOPS 208583 HAS SOUS 113436 HAS SOUPS 112576 WITH SCORE 112790.082
AT ITER 1001 NEW BEST:: SOT 417321 SOS 214082 HAS SOPS 208583 HAS SOUS 113400 HAS SOUPS 112540 WITH SCORE 112754.082
AT ITER 1006 NEW BEST:: SOT 417226 SOS 214111 HAS SOPS 208646 HAS SOUS 113295 HAS SOUPS 112409 WITH SCORE 112623.111
AT ITER 1007 NEW BEST:: SOT 417226 SOS 213951 HAS SOPS 208486 HAS SOUS 113295 HAS SOUPS 112409 WITH SCORE 112622.951
AT ITER 1037 NEW BEST:: SOT 417206 SOS 213931 HAS SOPS 208466 HAS SOUS 113255 HAS SOUPS 112369 WITH SCORE 112582.931
AT ITER 1042 NEW BEST:: SOT 416942 SOS 213687 HAS SOPS 208222 HAS SOUS 112951 HAS SOUPS 112065 WITH SCORE 112278.687
AT ITER 1049 NEW BEST:: SOT 412764 SOS 211951 HAS SOPS 206486 HAS SOUS 112298 HAS SOUPS 111412 WITH SCORE 111623.951
AT ITER 1054 NEW BEST:: SOT 412687 SOS 211874 HAS SOPS 206464 HAS SOUS 112275 HAS SOUPS 111390 WITH SCORE 111601.874
AT ITER 1055 NEW BEST:: SOT 412568 SOS 211600 HAS SOPS 206190 HAS SOUS 112028 HAS SOUPS 111143 WITH SCORE 111354.6
AT ITER 1067 NEW BEST:: SOT 412568 SOS 211624 HAS SOPS 206214 HAS SOUS 111932 HAS SOUPS 111047 WITH SCORE 111258.624
AT ITER 1081 NEW BEST:: SOT 412527 SOS 211460 HAS SOPS 206050 HAS SOUS 111835 HAS SOUPS 110950 WITH SCORE 111161.46
AT ITER 1086 NEW BEST:: SOT 412373 SOS 211378 HAS SOPS 205968 HAS SOUS 111823 HAS SOUPS 110938 WITH SCORE 111149.378
AT ITER 1091 NEW BEST:: SOT 412334 SOS 211331 HAS SOPS 205921 HAS SOUS 111745 HAS SOUPS 110860 WITH SCORE 111071.331
AT ITER 1102 NEW BEST:: SOT 412334 SOS 211314 HAS SOPS 205904 HAS SOUS 111725 HAS SOUPS 110840 WITH SCORE 111051.314
AT ITER 1107 NEW BEST:: SOT 412127 SOS 211180 HAS SOPS 205770 HAS SOUS 110857 HAS SOUPS 109972 WITH SCORE 110183.18
AT ITER 1114 NEW BEST:: SOT 412096 SOS 211149 HAS SOPS 205739 HAS SOUS 110770 HAS SOUPS 109885 WITH SCORE 110096.149
AT ITER 1141 NEW BEST:: SOT 412043 SOS 211096 HAS SOPS 205686 HAS SOUS 110664 HAS SOUPS 109779 WITH SCORE 109990.096
AT ITER 1144 NEW BEST:: SOT 412055 SOS 211018 HAS SOPS 205608 HAS SOUS 110592 HAS SOUPS 109707 WITH SCORE 109918.018
AT ITER 1159 NEW BEST:: SOT 411799 SOS 210794 HAS SOPS 205384 HAS SOUS 110289 HAS SOUPS 109404 WITH SCORE 109614.794
AT ITER 1169 NEW BEST:: SOT 411787 SOS 210778 HAS SOPS 205368 HAS SOUS 110273 HAS SOUPS 109388 WITH SCORE 109598.778
AT ITER 1177 NEW BEST:: SOT 411743 SOS 210734 HAS SOPS 205324 HAS SOUS 110229 HAS SOUPS 109344 WITH SCORE 109554.734
AT ITER 1182 NEW BEST:: SOT 411672 SOS 211649 HAS SOPS 206239 HAS SOUS 110092 HAS SOUPS 109207 WITH SCORE 109418.649
AT ITER 1185 NEW BEST:: SOT 411564 SOS 211541 HAS SOPS 206131 HAS SOUS 109573 HAS SOUPS 108688 WITH SCORE 108899.541
AT ITER 1196 NEW BEST:: SOT 411554 SOS 211526 HAS SOPS 206116 HAS SOUS 109483 HAS SOUPS 108598 WITH SCORE 108809.526
AT ITER 1199 NEW BEST:: SOT 411788 SOS 222229 HAS SOPS 214154 HAS SOUS 109724 HAS SOUPS 108479 WITH SCORE 108701.229
AT ITER 1208 NEW BEST:: SOT 411776 SOS 222211 HAS SOPS 214136 HAS SOUS 109706 HAS SOUPS 108461 WITH SCORE 108683.211
AT ITER 1210 NEW BEST:: SOT 411686 SOS 222163 HAS SOPS 214088 HAS SOUS 109478 HAS SOUPS 108233 WITH SCORE 108455.163
AT ITER 1241 NEW BEST:: SOT 411516 SOS 222045 HAS SOPS 213970 HAS SOUS 109346 HAS SOUPS 108101 WITH SCORE 108323.045
AT ITER 1263 NEW BEST:: SOT 411113 SOS 221662 HAS SOPS 213587 HAS SOUS 108897 HAS SOUPS 107652 WITH SCORE 107873.662
AT ITER 1266 NEW BEST:: SOT 409866 SOS 220372 HAS SOPS 212297 HAS SOUS 108338 HAS SOUPS 107093 WITH SCORE 107313.372
AT ITER 1269 NEW BEST:: SOT 409638 SOS 220129 HAS SOPS 212054 HAS SOUS 108065 HAS SOUPS 106820 WITH SCORE 107040.129
AT ITER 1279 NEW BEST:: SOT 409623 SOS 220123 HAS SOPS 212072 HAS SOUS 108063 HAS SOUPS 106818 WITH SCORE 107038.123
AT ITER 1291 NEW BEST:: SOT 409623 SOS 220123 HAS SOPS 212072 HAS SOUS 108062 HAS SOUPS 106817 WITH SCORE 107037.123
AT ITER 1305 NEW BEST:: SOT 409766 SOS 220375 HAS SOPS 212324 HAS SOUS 107638 HAS SOUPS 106393 WITH SCORE 106613.375
AT ITER 1354 NEW BEST:: SOT 409636 SOS 220245 HAS SOPS 212194 HAS SOUS 107043 HAS SOUPS 105798 WITH SCORE 106018.245
AT ITER 1357 NEW BEST:: SOT 409636 SOS 220053 HAS SOPS 212002 HAS SOUS 107043 HAS SOUPS 105798 WITH SCORE 106018.053
AT ITER 1378 NEW BEST:: SOT 409440 SOS 219857 HAS SOPS 211806 HAS SOUS 106991 HAS SOUPS 105746 WITH SCORE 105965.857
AT ITER 1383 NEW BEST:: SOT 409364 SOS 219705 HAS SOPS 211654 HAS SOUS 106839 HAS SOUPS 105594 WITH SCORE 105813.705
AT ITER 1385 NEW BEST:: SOT 409351 SOS 219687 HAS SOPS 211636 HAS SOUS 106813 HAS SOUPS 105568 WITH SCORE 105787.687
AT ITER 1386 NEW BEST:: SOT 409335 SOS 219655 HAS SOPS 211636 HAS SOUS 106813 HAS SOUPS 105568 WITH SCORE 105787.655
AT ITER 1397 NEW BEST:: SOT 409336 SOS 219656 HAS SOPS 211637 HAS SOUS 106793 HAS SOUPS 105548 WITH SCORE 105767.656
AT ITER 1409 NEW BEST:: SOT 409318 SOS 219638 HAS SOPS 211603 HAS SOUS 106798 HAS SOUPS 105548 WITH SCORE 105767.638
AT ITER 1425 NEW BEST:: SOT 409331 SOS 220709 HAS SOPS 212674 HAS SOUS 106775 HAS SOUPS 105525 WITH SCORE 105745.709
AT ITER 1463 NEW BEST:: SOT 409297 SOS 220675 HAS SOPS 212640 HAS SOUS 106757 HAS SOUPS 105507 WITH SCORE 105727.675
AT ITER 1466 NEW BEST:: SOT 409245 SOS 220573 HAS SOPS 212538 HAS SOUS 106653 HAS SOUPS 105403 WITH SCORE 105623.573
AT ITER 1477 NEW BEST:: SOT 409189 SOS 220548 HAS SOPS 212513 HAS SOUS 106603 HAS SOUPS 105353 WITH SCORE 105573.548
AT ITER 1485 NEW BEST:: SOT 409164 SOS 220555 HAS SOPS 212520 HAS SOUS 106595 HAS SOUPS 105345 WITH SCORE 105565.555
AT ITER 1494 NEW BEST:: SOT 409013 SOS 220358 HAS SOPS 212349 HAS SOUS 106463 HAS SOUPS 105213 WITH SCORE 105433.358
AT ITER 1498 NEW BEST:: SOT 409001 SOS 220334 HAS SOPS 212325 HAS SOUS 106439 HAS SOUPS 105189 WITH SCORE 105409.334
AT ITER 1509 NEW BEST:: SOT 408984 SOS 220317 HAS SOPS 212308 HAS SOUS 106405 HAS SOUPS 105155 WITH SCORE 105375.317
AT ITER 1513 NEW BEST:: SOT 408837 SOS 220199 HAS SOPS 212190 HAS SOUS 105946 HAS SOUPS 104696 WITH SCORE 104916.199
AT ITER 1517 NEW BEST:: SOT 408811 SOS 220119 HAS SOPS 212108 HAS SOUS 105906 HAS SOUPS 104656 WITH SCORE 104876.119
AT ITER 1531 NEW BEST:: SOT 408775 SOS 220047 HAS SOPS 212036 HAS SOUS 105834 HAS SOUPS 104584 WITH SCORE 104804.047
AT ITER 1544 NEW BEST:: SOT 408554 SOS 219600 HAS SOPS 211589 HAS SOUS 105535 HAS SOUPS 104285 WITH SCORE 104504.6
AT ITER 1549 NEW BEST:: SOT 408648 SOS 219694 HAS SOPS 211667 HAS SOUS 105513 HAS SOUPS 104263 WITH SCORE 104482.694
AT ITER 1550 NEW BEST:: SOT 408860 SOS 219790 HAS SOPS 211763 HAS SOUS 105182 HAS SOUPS 103932 WITH SCORE 104151.79
AT ITER 1564 NEW BEST:: SOT 408683 SOS 219634 HAS SOPS 211607 HAS SOUS 104996 HAS SOUPS 103746 WITH SCORE 103965.634
AT ITER 1570 NEW BEST:: SOT 408708 SOS 219621 HAS SOPS 211594 HAS SOUS 104983 HAS SOUPS 103733 WITH SCORE 103952.621
AT ITER 1592 NEW BEST:: SOT 408676 SOS 219589 HAS SOPS 211547 HAS SOUS 104930 HAS SOUPS 103671 WITH SCORE 103890.589
AT ITER 1606 NEW BEST:: SOT 408547 SOS 219406 HAS SOPS 211337 HAS SOUS 104747 HAS SOUPS 103488 WITH SCORE 103707.406
AT ITER 1619 NEW BEST:: SOT 408412 SOS 219271 HAS SOPS 211202 HAS SOUS 104445 HAS SOUPS 103186 WITH SCORE 103405.271
AT ITER 1625 NEW BEST:: SOT 408423 SOS 219358 HAS SOPS 211289 HAS SOUS 104206 HAS SOUPS 102947 WITH SCORE 103166.358
AT ITER 1629 NEW BEST:: SOT 408229 SOS 219220 HAS SOPS 211170 HAS SOUS 104087 HAS SOUPS 102828 WITH SCORE 103047.22
AT ITER 1651 NEW BEST:: SOT 408193 SOS 219172 HAS SOPS 211122 HAS SOUS 103946 HAS SOUPS 102687 WITH SCORE 102906.172
AT ITER 1660 NEW BEST:: SOT 408231 SOS 219214 HAS SOPS 211164 HAS SOUS 103801 HAS SOUPS 102542 WITH SCORE 102761.214
AT ITER 1692 NEW BEST:: SOT 407959 SOS 218966 HAS SOPS 210916 HAS SOUS 103586 HAS SOUPS 102327 WITH SCORE 102545.966
AT ITER 1693 NEW BEST:: SOT 407781 SOS 218611 HAS SOPS 210632 HAS SOUS 103407 HAS SOUPS 102148 WITH SCORE 102366.611
AT ITER 1718 NEW BEST:: SOT 407841 SOS 218551 HAS SOPS 210512 HAS SOUS 103347 HAS SOUPS 102088 WITH SCORE 102306.551
AT ITER 1745 NEW BEST:: SOT 404494 SOS 215172 HAS SOPS 207133 HAS SOUS 100141 HAS SOUPS 98882 WITH SCORE 99097.172
AT ITER 1749 NEW BEST:: SOT 404308 SOS 215037 HAS SOPS 206998 HAS SOUS 99973 HAS SOUPS 98714 WITH SCORE 98929.037
AT ITER 1764 NEW BEST:: SOT 404306 SOS 215035 HAS SOPS 206996 HAS SOUS 99969 HAS SOUPS 98710 WITH SCORE 98925.035
AT ITER 1783 NEW BEST:: SOT 404111 SOS 214739 HAS SOPS 206848 HAS SOUS 99906 HAS SOUPS 98647 WITH SCORE 98861.739
AT ITER 1803 NEW BEST:: SOT 404096 SOS 214724 HAS SOPS 206818 HAS SOUS 99889 HAS SOUPS 98626 WITH SCORE 98840.724
AT ITER 1808 NEW BEST:: SOT 403838 SOS 214559 HAS SOPS 206653 HAS SOUS 99789 HAS SOUPS 98526 WITH SCORE 98740.559
AT ITER 1811 NEW BEST:: SOT 403827 SOS 214548 HAS SOPS 206653 HAS SOUS 99778 HAS SOUPS 98515 WITH SCORE 98729.548
AT ITER 1813 NEW BEST:: SOT 403767 SOS 214460 HAS SOPS 206565 HAS SOUS 99658 HAS SOUPS 98395 WITH SCORE 98609.46
AT ITER 1834 NEW BEST:: SOT 403428 SOS 213869 HAS SOPS 208118 HAS SOUS 99067 HAS SOUPS 98072 WITH SCORE 98285.869
AT ITER 1840 NEW BEST:: SOT 403116 SOS 213675 HAS SOPS 207924 HAS SOUS 98920 HAS SOUPS 97925 WITH SCORE 98138.675
AT ITER 1841 NEW BEST:: SOT 403151 SOS 213710 HAS SOPS 207959 HAS SOUS 98916 HAS SOUPS 97921 WITH SCORE 98134.71
AT ITER 1850 NEW BEST:: SOT 402369 SOS 212964 HAS SOPS 207213 HAS SOUS 98694 HAS SOUPS 97699 WITH SCORE 97911.964
AT ITER 1877 NEW BEST:: SOT 402365 SOS 212956 HAS SOPS 207205 HAS SOUS 98686 HAS SOUPS 97691 WITH SCORE 97903.956
AT ITER 1887 NEW BEST:: SOT 402293 SOS 212855 HAS SOPS 207104 HAS SOUS 98469 HAS SOUPS 97474 WITH SCORE 97686.855
AT ITER 1889 NEW BEST:: SOT 402062 SOS 212683 HAS SOPS 206932 HAS SOUS 98233 HAS SOUPS 97238 WITH SCORE 97450.683
AT ITER 1898 NEW BEST:: SOT 402043 SOS 212653 HAS SOPS 206902 HAS SOUS 98211 HAS SOUPS 97216 WITH SCORE 97428.653
AT ITER 1910 NEW BEST:: SOT 402004 SOS 212614 HAS SOPS 206886 HAS SOUS 98184 HAS SOUPS 97189 WITH SCORE 97401.614
AT ITER 1928 NEW BEST:: SOT 401812 SOS 212422 HAS SOPS 206694 HAS SOUS 97994 HAS SOUPS 96999 WITH SCORE 97211.422
AT ITER 1936 NEW BEST:: SOT 401780 SOS 212390 HAS SOPS 206662 HAS SOUS 97930 HAS SOUPS 96935 WITH SCORE 97147.39
AT ITER 1971 NEW BEST:: SOT 401916 SOS 212526 HAS SOPS 206798 HAS SOUS 97898 HAS SOUPS 96903 WITH SCORE 97115.526
AT ITER 1978 NEW BEST:: SOT 400002 SOS 210497 HAS SOPS 204694 HAS SOUS 96963 HAS SOUPS 95968 WITH SCORE 96178.497
AT ITER 1979 NEW BEST:: SOT 399943 SOS 210405 HAS SOPS 204602 HAS SOUS 96954 HAS SOUPS 95959 WITH SCORE 96169.405
AT ITER 2002 NEW BEST:: SOT 399968 SOS 210430 HAS SOPS 204627 HAS SOUS 96930 HAS SOUPS 95935 WITH SCORE 96145.43
AT ITER 2014 NEW BEST:: SOT 399950 SOS 210402 HAS SOPS 204599 HAS SOUS 96908 HAS SOUPS 95913 WITH SCORE 96123.402
AT ITER 2024 NEW BEST:: SOT 399933 SOS 210379 HAS SOPS 204576 HAS SOUS 96885 HAS SOUPS 95890 WITH SCORE 96100.379
AT ITER 2044 NEW BEST:: SOT 399800 SOS 210292 HAS SOPS 204489 HAS SOUS 96788 HAS SOUPS 95793 WITH SCORE 96003.292
AT ITER 2048 NEW BEST:: SOT 399585 SOS 210173 HAS SOPS 204370 HAS SOUS 96561 HAS SOUPS 95566 WITH SCORE 95776.173
AT ITER 2069 NEW BEST:: SOT 399602 SOS 210190 HAS SOPS 204387 HAS SOUS 96469 HAS SOUPS 95474 WITH SCORE 95684.19
AT ITER 2079 NEW BEST:: SOT 399592 SOS 210180 HAS SOPS 204377 HAS SOUS 96468 HAS SOUPS 95473 WITH SCORE 95683.18
AT ITER 2091 NEW BEST:: SOT 399358 SOS 209946 HAS SOPS 204143 HAS SOUS 96234 HAS SOUPS 95239 WITH SCORE 95448.946
AT ITER 2096 NEW BEST:: SOT 399359 SOS 209947 HAS SOPS 204144 HAS SOUS 96195 HAS SOUPS 95200 WITH SCORE 95409.947
AT ITER 2111 NEW BEST:: SOT 399351 SOS 209939 HAS SOPS 204136 HAS SOUS 96187 HAS SOUPS 95192 WITH SCORE 95401.939
AT ITER 2120 NEW BEST:: SOT 399333 SOS 210788 HAS SOPS 204985 HAS SOUS 96145 HAS SOUPS 95150 WITH SCORE 95360.788
AT ITER 2130 NEW BEST:: SOT 399309 SOS 210665 HAS SOPS 205678 HAS SOUS 96022 HAS SOUPS 95129 WITH SCORE 95339.665
AT ITER 2166 NEW BEST:: SOT 399279 SOS 210633 HAS SOPS 205646 HAS SOUS 96006 HAS SOUPS 95113 WITH SCORE 95323.633
AT ITER 2179 NEW BEST:: SOT 399254 SOS 210608 HAS SOPS 205621 HAS SOUS 95956 HAS SOUPS 95063 WITH SCORE 95273.608
AT ITER 2185 NEW BEST:: SOT 399218 SOS 210578 HAS SOPS 205633 HAS SOUS 95926 HAS SOUPS 95033 WITH SCORE 95243.578
AT ITER 2198 NEW BEST:: SOT 399218 SOS 210583 HAS SOPS 205665 HAS SOUS 95898 HAS SOUPS 95031 WITH SCORE 95241.583
AT ITER 2200 NEW BEST:: SOT 399191 SOS 210529 HAS SOPS 205611 HAS SOUS 95844 HAS SOUPS 94977 WITH SCORE 95187.529
AT ITER 2205 NEW BEST:: SOT 399153 SOS 210506 HAS SOPS 205588 HAS SOUS 95818 HAS SOUPS 94951 WITH SCORE 95161.506
AT ITER 2212 NEW BEST:: SOT 399026 SOS 210296 HAS SOPS 205378 HAS SOUS 95655 HAS SOUPS 94788 WITH SCORE 94998.296
AT ITER 2218 NEW BEST:: SOT 399016 SOS 209899 HAS SOPS 205230 HAS SOUS 95622 HAS SOUPS 94755 WITH SCORE 94964.899
AT ITER 2219 NEW BEST:: SOT 398896 SOS 209479 HAS SOPS 204810 HAS SOUS 95382 HAS SOUPS 94515 WITH SCORE 94724.479
AT ITER 2225 NEW BEST:: SOT 398896 SOS 209483 HAS SOPS 204810 HAS SOUS 95378 HAS SOUPS 94511 WITH SCORE 94720.483
AT ITER 2248 NEW BEST:: SOT 398871 SOS 209458 HAS SOPS 204785 HAS SOUS 95053 HAS SOUPS 94186 WITH SCORE 94395.458
AT ITER 2250 NEW BEST:: SOT 398797 SOS 208295 HAS SOPS 203622 HAS SOUS 95004 HAS SOUPS 94137 WITH SCORE 94345.295
AT ITER 2260 NEW BEST:: SOT 398851 SOS 208376 HAS SOPS 203703 HAS SOUS 94432 HAS SOUPS 93565 WITH SCORE 93773.376
AT ITER 2282 NEW BEST:: SOT 398765 SOS 208030 HAS SOPS 203357 HAS SOUS 94325 HAS SOUPS 93458 WITH SCORE 93666.03
AT ITER 2290 NEW BEST:: SOT 398758 SOS 207988 HAS SOPS 203315 HAS SOUS 94318 HAS SOUPS 93451 WITH SCORE 93658.988
AT ITER 2324 NEW BEST:: SOT 398754 SOS 207992 HAS SOPS 203319 HAS SOUS 94306 HAS SOUPS 93439 WITH SCORE 93646.992
AT ITER 2331 NEW BEST:: SOT 398708 SOS 207644 HAS SOPS 202971 HAS SOUS 94214 HAS SOUPS 93347 WITH SCORE 93554.644
AT ITER 2332 NEW BEST:: SOT 398708 SOS 207669 HAS SOPS 202996 HAS SOUS 94207 HAS SOUPS 93340 WITH SCORE 93547.669
AT ITER 2379 NEW BEST:: SOT 398757 SOS 207844 HAS SOPS 203171 HAS SOUS 93973 HAS SOUPS 93106 WITH SCORE 93313.844
AT ITER 2399 NEW BEST:: SOT 398695 SOS 207810 HAS SOPS 203137 HAS SOUS 93916 HAS SOUPS 93049 WITH SCORE 93256.81
AT ITER 2404 NEW BEST:: SOT 398679 SOS 207794 HAS SOPS 203121 HAS SOUS 93900 HAS SOUPS 93033 WITH SCORE 93240.794
AT ITER 2406 NEW BEST:: SOT 398673 SOS 207782 HAS SOPS 203109 HAS SOUS 93888 HAS SOUPS 93021 WITH SCORE 93228.782
AT ITER 2412 NEW BEST:: SOT 398628 SOS 207782 HAS SOPS 203109 HAS SOUS 93258 HAS SOUPS 92391 WITH SCORE 92598.782
AT ITER 2416 NEW BEST:: SOT 398520 SOS 207701 HAS SOPS 203028 HAS SOUS 93170 HAS SOUPS 92303 WITH SCORE 92510.701
AT ITER 2425 NEW BEST:: SOT 398508 SOS 207677 HAS SOPS 203004 HAS SOUS 93141 HAS SOUPS 92274 WITH SCORE 92481.677
AT ITER 2429 NEW BEST:: SOT 398490 SOS 207659 HAS SOPS 202986 HAS SOUS 93108 HAS SOUPS 92241 WITH SCORE 92448.659
AT ITER 2433 NEW BEST:: SOT 398492 SOS 207627 HAS SOPS 202954 HAS SOUS 93076 HAS SOUPS 92209 WITH SCORE 92416.627
AT ITER 2461 NEW BEST:: SOT 397641 SOS 206776 HAS SOPS 202103 HAS SOUS 92844 HAS SOUPS 91977 WITH SCORE 92183.776
AT ITER 2475 NEW BEST:: SOT 397641 SOS 206767 HAS SOPS 202094 HAS SOUS 92844 HAS SOUPS 91977 WITH SCORE 92183.767
AT ITER 2483 NEW BEST:: SOT 397662 SOS 206771 HAS SOPS 202098 HAS SOUS 92810 HAS SOUPS 91943 WITH SCORE 92149.771
AT ITER 2485 NEW BEST:: SOT 397636 SOS 206586 HAS SOPS 201913 HAS SOUS 92677 HAS SOUPS 91810 WITH SCORE 92016.586
AT ITER 2493 NEW BEST:: SOT 397625 SOS 206697 HAS SOPS 202024 HAS SOUS 92655 HAS SOUPS 91788 WITH SCORE 91994.697
AT ITER 2500 NEW BEST:: SOT 397566 SOS 206683 HAS SOPS 202078 HAS SOUS 92621 HAS SOUPS 91754 WITH SCORE 91960.683
AT ITER 2503 NEW BEST:: SOT 397566 SOS 206595 HAS SOPS 201990 HAS SOUS 92605 HAS SOUPS 91738 WITH SCORE 91944.595
AT ITER 2504 NEW BEST:: SOT 397567 SOS 206472 HAS SOPS 201973 HAS SOUS 92590 HAS SOUPS 91732 WITH SCORE 91938.472
AT ITER 2514 NEW BEST:: SOT 397542 SOS 206447 HAS SOPS 201948 HAS SOUS 92574 HAS SOUPS 91716 WITH SCORE 91922.447
AT ITER 2517 NEW BEST:: SOT 397532 SOS 206437 HAS SOPS 201938 HAS SOUS 92546 HAS SOUPS 91688 WITH SCORE 91894.437
AT ITER 2531 NEW BEST:: SOT 397457 SOS 206367 HAS SOPS 201868 HAS SOUS 92468 HAS SOUPS 91610 WITH SCORE 91816.367
AT ITER 2533 NEW BEST:: SOT 397432 SOS 206342 HAS SOPS 201843 HAS SOUS 92462 HAS SOUPS 91604 WITH SCORE 91810.342
AT ITER 2543 NEW BEST:: SOT 397250 SOS 206159 HAS SOPS 201633 HAS SOUS 92318 HAS SOUPS 91434 WITH SCORE 91640.159
AT ITER 2562 NEW BEST:: SOT 397250 SOS 206147 HAS SOPS 201621 HAS SOUS 92174 HAS SOUPS 91290 WITH SCORE 91496.147
AT ITER 2611 NEW BEST:: SOT 397248 SOS 206143 HAS SOPS 201617 HAS SOUS 92170 HAS SOUPS 91286 WITH SCORE 91492.143
AT ITER 2616 NEW BEST:: SOT 397180 SOS 199769 HAS SOPS 196308 HAS SOUS 91952 HAS SOUPS 91204 WITH SCORE 91403.769
AT ITER 2618 NEW BEST:: SOT 397068 SOS 199027 HAS SOPS 195566 HAS SOUS 91753 HAS SOUPS 91005 WITH SCORE 91204.027
AT ITER 2657 NEW BEST:: SOT 397081 SOS 199034 HAS SOPS 195573 HAS SOUS 91749 HAS SOUPS 91001 WITH SCORE 91200.034
AT ITER 2665 NEW BEST:: SOT 396881 SOS 198807 HAS SOPS 195346 HAS SOUS 91481 HAS SOUPS 90733 WITH SCORE 90931.807
AT ITER 2713 NEW BEST:: SOT 396834 SOS 198799 HAS SOPS 195338 HAS SOUS 91473 HAS SOUPS 90725 WITH SCORE 90923.799
AT ITER 2714 NEW BEST:: SOT 397087 SOS 198359 HAS SOPS 194898 HAS SOUS 91447 HAS SOUPS 90699 WITH SCORE 90897.359
AT ITER 2716 NEW BEST:: SOT 397099 SOS 198367 HAS SOPS 194906 HAS SOUS 91423 HAS SOUPS 90675 WITH SCORE 90873.367
AT ITER 2724 NEW BEST:: SOT 397100 SOS 198368 HAS SOPS 194907 HAS SOUS 91403 HAS SOUPS 90655 WITH SCORE 90853.368
AT ITER 2727 NEW BEST:: SOT 397090 SOS 198358 HAS SOPS 194897 HAS SOUS 91383 HAS SOUPS 90635 WITH SCORE 90833.358
AT ITER 2752 NEW BEST:: SOT 397045 SOS 198268 HAS SOPS 194807 HAS SOUS 91293 HAS SOUPS 90545 WITH SCORE 90743.268
AT ITER 2763 NEW BEST:: SOT 396908 SOS 197891 HAS SOPS 194430 HAS SOUS 91098 HAS SOUPS 90350 WITH SCORE 90547.891
AT ITER 2774 NEW BEST:: SOT 396881 SOS 197471 HAS SOPS 194010 HAS SOUS 91062 HAS SOUPS 90314 WITH SCORE 90511.471
AT ITER 2795 NEW BEST:: SOT 396841 SOS 197115 HAS SOPS 193654 HAS SOUS 91041 HAS SOUPS 90293 WITH SCORE 90490.115
AT ITER 2800 NEW BEST:: SOT 396670 SOS 196952 HAS SOPS 193491 HAS SOUS 90978 HAS SOUPS 90230 WITH SCORE 90426.952
AT ITER 2810 NEW BEST:: SOT 396670 SOS 196952 HAS SOPS 193491 HAS SOUS 90885 HAS SOUPS 90137 WITH SCORE 90333.952
AT ITER 2819 NEW BEST:: SOT 396666 SOS 196948 HAS SOPS 193487 HAS SOUS 90877 HAS SOUPS 90129 WITH SCORE 90325.948
AT ITER 2849 NEW BEST:: SOT 396644 SOS 197042 HAS SOPS 193581 HAS SOUS 90658 HAS SOUPS 89910 WITH SCORE 90107.042
AT ITER 2867 NEW BEST:: SOT 396644 SOS 197076 HAS SOPS 193615 HAS SOUS 90629 HAS SOUPS 89881 WITH SCORE 90078.076
AT ITER 2884 NEW BEST:: SOT 396644 SOS 197045 HAS SOPS 193584 HAS SOUS 90629 HAS SOUPS 89881 WITH SCORE 90078.045
AT ITER 2893 NEW BEST:: SOT 396587 SOS 196808 HAS SOPS 193347 HAS SOUS 90621 HAS SOUPS 89873 WITH SCORE 90069.808
AT ITER 2906 NEW BEST:: SOT 396587 SOS 196805 HAS SOPS 193344 HAS SOUS 90613 HAS SOUPS 89865 WITH SCORE 90061.805
AT ITER 2907 NEW BEST:: SOT 396593 SOS 197339 HAS SOPS 193899 HAS SOUS 90581 HAS SOUPS 89833 WITH SCORE 90030.339
AT ITER 2941 NEW BEST:: SOT 395964 SOS 196774 HAS SOPS 193334 HAS SOUS 90247 HAS SOUPS 89499 WITH SCORE 89695.774
AT ITER 2950 NEW BEST:: SOT 395883 SOS 197581 HAS SOPS 194141 HAS SOUS 90225 HAS SOUPS 89477 WITH SCORE 89674.581
AT ITER 2957 NEW BEST:: SOT 395897 SOS 197595 HAS SOPS 194155 HAS SOUS 90199 HAS SOUPS 89451 WITH SCORE 89648.595
AT ITER 2962 NEW BEST:: SOT 395784 SOS 197385 HAS SOPS 193945 HAS SOUS 90007 HAS SOUPS 89259 WITH SCORE 89456.385
AT ITER 2965 NEW BEST:: SOT 395572 SOS 197157 HAS SOPS 193717 HAS SOUS 89738 HAS SOUPS 88990 WITH SCORE 89187.157
AT ITER 3019 NEW BEST:: SOT 395572 SOS 197165 HAS SOPS 193725 HAS SOUS 89737 HAS SOUPS 88989 WITH SCORE 89186.165
AT ITER 3026 NEW BEST:: SOT 395572 SOS 197165 HAS SOPS 193725 HAS SOUS 89713 HAS SOUPS 88965 WITH SCORE 89162.165
AT ITER 3036 NEW BEST:: SOT 395571 SOS 197164 HAS SOPS 193724 HAS SOUS 89712 HAS SOUPS 88964 WITH SCORE 89161.164
AT ITER 3056 NEW BEST:: SOT 395605 SOS 197198 HAS SOPS 193758 HAS SOUS 89699 HAS SOUPS 88951 WITH SCORE 89148.198
AT ITER 3060 NEW BEST:: SOT 395566 SOS 188630 HAS SOPS 184098 HAS SOUS 89335 HAS SOUPS 88518 WITH SCORE 88706.63
AT ITER 3066 NEW BEST:: SOT 395559 SOS 188616 HAS SOPS 184091 HAS SOUS 89335 HAS SOUPS 88518 WITH SCORE 88706.616
AT ITER 3072 NEW BEST:: SOT 395575 SOS 188632 HAS SOPS 184091 HAS SOUS 89331 HAS SOUPS 88514 WITH SCORE 88702.632
AT ITER 3085 NEW BEST:: SOT 395574 SOS 188631 HAS SOPS 184162 HAS SOUS 89221 HAS SOUPS 88476 WITH SCORE 88664.631
AT ITER 3119 NEW BEST:: SOT 395551 SOS 188481 HAS SOPS 184012 HAS SOUS 89164 HAS SOUPS 88419 WITH SCORE 88607.481
AT ITER 3121 NEW BEST:: SOT 395550 SOS 188488 HAS SOPS 184019 HAS SOUS 89162 HAS SOUPS 88417 WITH SCORE 88605.488
AT ITER 3123 NEW BEST:: SOT 395439 SOS 189160 HAS SOPS 184691 HAS SOUS 89120 HAS SOUPS 88375 WITH SCORE 88564.16
AT ITER 3133 NEW BEST:: SOT 395370 SOS 189053 HAS SOPS 184584 HAS SOUS 88989 HAS SOUPS 88244 WITH SCORE 88433.053
AT ITER 3139 NEW BEST:: SOT 395337 SOS 189020 HAS SOPS 184551 HAS SOUS 88923 HAS SOUPS 88178 WITH SCORE 88367.02
AT ITER 3147 NEW BEST:: SOT 395346 SOS 189029 HAS SOPS 184544 HAS SOUS 88825 HAS SOUPS 88080 WITH SCORE 88269.029
AT ITER 3159 NEW BEST:: SOT 395318 SOS 189001 HAS SOPS 184516 HAS SOUS 88769 HAS SOUPS 88024 WITH SCORE 88213.001
AT ITER 3173 NEW BEST:: SOT 395202 SOS 188973 HAS SOPS 184552 HAS SOUS 88723 HAS SOUPS 87978 WITH SCORE 88166.973
AT ITER 3175 NEW BEST:: SOT 395169 SOS 190711 HAS SOPS 186112 HAS SOUS 88640 HAS SOUPS 87895 WITH SCORE 88085.711
AT ITER 3206 NEW BEST:: SOT 395193 SOS 190813 HAS SOPS 186214 HAS SOUS 88440 HAS SOUPS 87695 WITH SCORE 87885.813
AT ITER 3218 NEW BEST:: SOT 395131 SOS 190675 HAS SOPS 186076 HAS SOUS 88316 HAS SOUPS 87571 WITH SCORE 87761.675
AT ITER 3224 NEW BEST:: SOT 395118 SOS 190662 HAS SOPS 186063 HAS SOUS 88260 HAS SOUPS 87515 WITH SCORE 87705.662
AT ITER 3225 NEW BEST:: SOT 395117 SOS 190661 HAS SOPS 186062 HAS SOUS 88256 HAS SOUPS 87511 WITH SCORE 87701.661
AT ITER 3249 NEW BEST:: SOT 394886 SOS 190304 HAS SOPS 185705 HAS SOUS 88193 HAS SOUPS 87448 WITH SCORE 87638.304
AT ITER 3274 NEW BEST:: SOT 394810 SOS 190338 HAS SOPS 185702 HAS SOUS 88119 HAS SOUPS 87374 WITH SCORE 87564.338
AT ITER 3279 NEW BEST:: SOT 394799 SOS 190316 HAS SOPS 185680 HAS SOUS 88097 HAS SOUPS 87352 WITH SCORE 87542.316
AT ITER 3280 NEW BEST:: SOT 394840 SOS 190326 HAS SOPS 185710 HAS SOUS 88021 HAS SOUPS 87296 WITH SCORE 87486.326
AT ITER 3331 NEW BEST:: SOT 394741 SOS 190254 HAS SOPS 185638 HAS SOUS 87919 HAS SOUPS 87194 WITH SCORE 87384.254
AT ITER 3341 NEW BEST:: SOT 394674 SOS 190144 HAS SOPS 185528 HAS SOUS 87809 HAS SOUPS 87084 WITH SCORE 87274.144
AT ITER 3348 NEW BEST:: SOT 394665 SOS 190157 HAS SOPS 185524 HAS SOUS 87822 HAS SOUPS 87080 WITH SCORE 87270.157
AT ITER 3376 NEW BEST:: SOT 394644 SOS 190136 HAS SOPS 185503 HAS SOUS 87806 HAS SOUPS 87064 WITH SCORE 87254.136
AT ITER 3380 NEW BEST:: SOT 394648 SOS 190164 HAS SOPS 185531 HAS SOUS 87658 HAS SOUPS 86916 WITH SCORE 87106.164
AT ITER 3389 NEW BEST:: SOT 394581 SOS 190112 HAS SOPS 185479 HAS SOUS 87575 HAS SOUPS 86833 WITH SCORE 87023.112
AT ITER 3419 NEW BEST:: SOT 394620 SOS 190151 HAS SOPS 185474 HAS SOUS 87575 HAS SOUPS 86802 WITH SCORE 86992.151
AT ITER 3450 NEW BEST:: SOT 394251 SOS 189782 HAS SOPS 185105 HAS SOUS 87346 HAS SOUPS 86573 WITH SCORE 86762.782
AT ITER 3452 NEW BEST:: SOT 394266 SOS 189804 HAS SOPS 185127 HAS SOUS 87198 HAS SOUPS 86425 WITH SCORE 86614.804
AT ITER 3462 NEW BEST:: SOT 394264 SOS 189806 HAS SOPS 185129 HAS SOUS 87137 HAS SOUPS 86364 WITH SCORE 86553.806
AT ITER 3479 NEW BEST:: SOT 394221 SOS 190042 HAS SOPS 185361 HAS SOUS 87098 HAS SOUPS 86328 WITH SCORE 86518.042
AT ITER 3497 NEW BEST:: SOT 394162 SOS 189983 HAS SOPS 185302 HAS SOUS 86994 HAS SOUPS 86224 WITH SCORE 86413.983
AT ITER 3498 NEW BEST:: SOT 394070 SOS 189873 HAS SOPS 185192 HAS SOUS 86956 HAS SOUPS 86186 WITH SCORE 86375.873
AT ITER 3508 NEW BEST:: SOT 394054 SOS 189857 HAS SOPS 185078 HAS SOUS 86940 HAS SOUPS 86072 WITH SCORE 86261.857
AT ITER 3511 NEW BEST:: SOT 394046 SOS 189849 HAS SOPS 185070 HAS SOUS 86932 HAS SOUPS 86064 WITH SCORE 86253.849
AT ITER 3520 NEW BEST:: SOT 394043 SOS 189846 HAS SOPS 185067 HAS SOUS 86926 HAS SOUPS 86058 WITH SCORE 86247.846
AT ITER 3538 NEW BEST:: SOT 392391 SOS 188194 HAS SOPS 183415 HAS SOUS 86525 HAS SOUPS 85657 WITH SCORE 85845.194
AT ITER 3554 NEW BEST:: SOT 392383 SOS 188192 HAS SOPS 183421 HAS SOUS 86516 HAS SOUPS 85648 WITH SCORE 85836.192
AT ITER 3573 NEW BEST:: SOT 392401 SOS 188178 HAS SOPS 183407 HAS SOUS 86515 HAS SOUPS 85647 WITH SCORE 85835.178
AT ITER 3587 NEW BEST:: SOT 392373 SOS 188150 HAS SOPS 183379 HAS SOUS 86487 HAS SOUPS 85619 WITH SCORE 85807.15
AT ITER 3602 NEW BEST:: SOT 392316 SOS 188099 HAS SOPS 183328 HAS SOUS 86455 HAS SOUPS 85587 WITH SCORE 85775.099
AT ITER 3627 NEW BEST:: SOT 392294 SOS 188077 HAS SOPS 183306 HAS SOUS 86433 HAS SOUPS 85565 WITH SCORE 85753.077
AT ITER 3662 NEW BEST:: SOT 392294 SOS 188077 HAS SOPS 183306 HAS SOUS 86431 HAS SOUPS 85563 WITH SCORE 85751.077
AT ITER 3691 NEW BEST:: SOT 392294 SOS 188077 HAS SOPS 183306 HAS SOUS 86384 HAS SOUPS 85516 WITH SCORE 85704.077
AT ITER 3730 NEW BEST:: SOT 392247 SOS 188030 HAS SOPS 183259 HAS SOUS 86302 HAS SOUPS 85434 WITH SCORE 85622.03
AT ITER 3731 NEW BEST:: SOT 392239 SOS 188022 HAS SOPS 183251 HAS SOUS 86282 HAS SOUPS 85414 WITH SCORE 85602.022
AT ITER 3742 NEW BEST:: SOT 392289 SOS 188079 HAS SOPS 183285 HAS SOUS 86205 HAS SOUPS 85337 WITH SCORE 85525.079
AT ITER 3756 NEW BEST:: SOT 392215 SOS 188005 HAS SOPS 183211 HAS SOUS 86126 HAS SOUPS 85258 WITH SCORE 85446.005
AT ITER 3780 NEW BEST:: SOT 392175 SOS 187890 HAS SOPS 183096 HAS SOUS 86077 HAS SOUPS 85209 WITH SCORE 85396.89
AT ITER 3785 NEW BEST:: SOT 392130 SOS 187845 HAS SOPS 183051 HAS SOUS 86050 HAS SOUPS 85182 WITH SCORE 85369.845
AT ITER 3821 NEW BEST:: SOT 392113 SOS 187828 HAS SOPS 183034 HAS SOUS 86016 HAS SOUPS 85148 WITH SCORE 85335.828
AT ITER 3826 NEW BEST:: SOT 392117 SOS 187821 HAS SOPS 183027 HAS SOUS 85997 HAS SOUPS 85129 WITH SCORE 85316.821
AT ITER 3836 NEW BEST:: SOT 392111 SOS 187815 HAS SOPS 183021 HAS SOUS 85985 HAS SOUPS 85117 WITH SCORE 85304.815
AT ITER 3851 NEW BEST:: SOT 392578 SOS 188344 HAS SOPS 183550 HAS SOUS 85653 HAS SOUPS 84785 WITH SCORE 84973.344
AT ITER 3867 NEW BEST:: SOT 392473 SOS 188253 HAS SOPS 183459 HAS SOUS 85625 HAS SOUPS 84757 WITH SCORE 84945.253
AT ITER 3902 NEW BEST:: SOT 392456 SOS 188236 HAS SOPS 183442 HAS SOUS 85608 HAS SOUPS 84740 WITH SCORE 84928.236
AT ITER 3903 NEW BEST:: SOT 392445 SOS 188221 HAS SOPS 183427 HAS SOUS 85593 HAS SOUPS 84725 WITH SCORE 84913.221
AT ITER 3926 NEW BEST:: SOT 392414 SOS 188318 HAS SOPS 183524 HAS SOUS 85530 HAS SOUPS 84662 WITH SCORE 84850.318
AT ITER 3928 NEW BEST:: SOT 392419 SOS 188323 HAS SOPS 183517 HAS SOUS 85506 HAS SOUPS 84638 WITH SCORE 84826.323
AT ITER 3931 NEW BEST:: SOT 392424 SOS 188334 HAS SOPS 183495 HAS SOUS 85483 HAS SOUPS 84615 WITH SCORE 84803.334
AT ITER 3947 NEW BEST:: SOT 392419 SOS 188309 HAS SOPS 183470 HAS SOUS 85478 HAS SOUPS 84610 WITH SCORE 84798.309
AT ITER 3990 NEW BEST:: SOT 392419 SOS 188160 HAS SOPS 183321 HAS SOUS 85421 HAS SOUPS 84553 WITH SCORE 84741.16
AT ITER 3995 NEW BEST:: SOT 392518 SOS 188259 HAS SOPS 183420 HAS SOUS 85250 HAS SOUPS 84382 WITH SCORE 84570.259
AT ITER 4016 NEW BEST:: SOT 392518 SOS 188259 HAS SOPS 183420 HAS SOUS 85235 HAS SOUPS 84367 WITH SCORE 84555.259
AT ITER 4037 NEW BEST:: SOT 392486 SOS 187907 HAS SOPS 183068 HAS SOUS 85139 HAS SOUPS 84271 WITH SCORE 84458.907
AT ITER 4043 NEW BEST:: SOT 392469 SOS 187837 HAS SOPS 182998 HAS SOUS 85064 HAS SOUPS 84196 WITH SCORE 84383.837
AT ITER 4051 NEW BEST:: SOT 392401 SOS 187768 HAS SOPS 182949 HAS SOUS 84951 HAS SOUPS 84083 WITH SCORE 84270.768
AT ITER 4062 NEW BEST:: SOT 392401 SOS 187512 HAS SOPS 182693 HAS SOUS 84951 HAS SOUPS 84083 WITH SCORE 84270.512
AT ITER 4069 NEW BEST:: SOT 392262 SOS 187399 HAS SOPS 182580 HAS SOUS 84896 HAS SOUPS 84028 WITH SCORE 84215.399
AT ITER 4079 NEW BEST:: SOT 392332 SOS 187460 HAS SOPS 182641 HAS SOUS 84892 HAS SOUPS 84024 WITH SCORE 84211.46
AT ITER 4080 NEW BEST:: SOT 392323 SOS 187451 HAS SOPS 182632 HAS SOUS 84880 HAS SOUPS 84012 WITH SCORE 84199.451
AT ITER 4102 NEW BEST:: SOT 392303 SOS 187435 HAS SOPS 182616 HAS SOUS 84852 HAS SOUPS 83984 WITH SCORE 84171.435
AT ITER 4103 NEW BEST:: SOT 392115 SOS 187247 HAS SOPS 182428 HAS SOUS 84664 HAS SOUPS 83796 WITH SCORE 83983.247
AT ITER 4117 NEW BEST:: SOT 392123 SOS 187292 HAS SOPS 182473 HAS SOUS 84647 HAS SOUPS 83779 WITH SCORE 83966.292
AT ITER 4121 NEW BEST:: SOT 392101 SOS 187270 HAS SOPS 182451 HAS SOUS 84615 HAS SOUPS 83747 WITH SCORE 83934.27
AT ITER 4153 NEW BEST:: SOT 391994 SOS 187207 HAS SOPS 182388 HAS SOUS 84588 HAS SOUPS 83720 WITH SCORE 83907.207
AT ITER 4169 NEW BEST:: SOT 392008 SOS 187221 HAS SOPS 182402 HAS SOUS 84576 HAS SOUPS 83708 WITH SCORE 83895.221
AT ITER 4176 NEW BEST:: SOT 392035 SOS 187257 HAS SOPS 182438 HAS SOUS 84567 HAS SOUPS 83699 WITH SCORE 83886.257
AT ITER 4191 NEW BEST:: SOT 392044 SOS 187298 HAS SOPS 182479 HAS SOUS 84518 HAS SOUPS 83650 WITH SCORE 83837.298
AT ITER 4221 NEW BEST:: SOT 392044 SOS 187287 HAS SOPS 182468 HAS SOUS 84507 HAS SOUPS 83639 WITH SCORE 83826.287
AT ITER 4256 NEW BEST:: SOT 392041 SOS 187296 HAS SOPS 182443 HAS SOUS 84501 HAS SOUPS 83633 WITH SCORE 83820.296
AT ITER 4265 NEW BEST:: SOT 392037 SOS 187292 HAS SOPS 182435 HAS SOUS 84489 HAS SOUPS 83621 WITH SCORE 83808.292
AT ITER 4268 NEW BEST:: SOT 391975 SOS 187230 HAS SOPS 182373 HAS SOUS 84365 HAS SOUPS 83497 WITH SCORE 83684.23
AT ITER 4280 NEW BEST:: SOT 391967 SOS 187216 HAS SOPS 182359 HAS SOUS 84351 HAS SOUPS 83483 WITH SCORE 83670.216
AT ITER 4287 NEW BEST:: SOT 391962 SOS 185064 HAS SOPS 180207 HAS SOUS 84124 HAS SOUPS 83256 WITH SCORE 83441.064
AT ITER 4288 NEW BEST:: SOT 391956 SOS 185070 HAS SOPS 180213 HAS SOUS 84106 HAS SOUPS 83238 WITH SCORE 83423.07
AT ITER 4293 NEW BEST:: SOT 391845 SOS 184885 HAS SOPS 180028 HAS SOUS 83921 HAS SOUPS 83053 WITH SCORE 83237.885
AT ITER 4311 NEW BEST:: SOT 391820 SOS 184867 HAS SOPS 180010 HAS SOUS 83903 HAS SOUPS 83035 WITH SCORE 83219.867
AT ITER 4313 NEW BEST:: SOT 391820 SOS 184801 HAS SOPS 179944 HAS SOUS 83903 HAS SOUPS 83035 WITH SCORE 83219.801
AT ITER 4316 NEW BEST:: SOT 392002 SOS 184954 HAS SOPS 180097 HAS SOUS 83877 HAS SOUPS 83009 WITH SCORE 83193.954
AT ITER 4332 NEW BEST:: SOT 392002 SOS 184977 HAS SOPS 180120 HAS SOUS 83870 HAS SOUPS 83002 WITH SCORE 83186.977
AT ITER 4340 NEW BEST:: SOT 392014 SOS 184989 HAS SOPS 180132 HAS SOUS 83849 HAS SOUPS 82981 WITH SCORE 83165.989
AT ITER 4354 NEW BEST:: SOT 391889 SOS 184864 HAS SOPS 179949 HAS SOUS 83692 HAS SOUPS 82824 WITH SCORE 83008.864
AT ITER 4357 NEW BEST:: SOT 391872 SOS 184847 HAS SOPS 179932 HAS SOUS 83692 HAS SOUPS 82824 WITH SCORE 83008.847
AT ITER 4362 NEW BEST:: SOT 391886 SOS 184889 HAS SOPS 179974 HAS SOUS 83666 HAS SOUPS 82798 WITH SCORE 82982.889
AT ITER 4363 NEW BEST:: SOT 391855 SOS 184858 HAS SOPS 179943 HAS SOUS 83651 HAS SOUPS 82783 WITH SCORE 82967.858
AT ITER 4379 NEW BEST:: SOT 391855 SOS 184856 HAS SOPS 179941 HAS SOUS 83637 HAS SOUPS 82769 WITH SCORE 82953.856
AT ITER 4382 NEW BEST:: SOT 391855 SOS 182974 HAS SOPS 178059 HAS SOUS 83637 HAS SOUPS 82769 WITH SCORE 82951.974
AT ITER 4383 NEW BEST:: SOT 391853 SOS 182972 HAS SOPS 178057 HAS SOUS 83633 HAS SOUPS 82765 WITH SCORE 82947.972
AT ITER 4386 NEW BEST:: SOT 391853 SOS 182972 HAS SOPS 178049 HAS SOUS 83617 HAS SOUPS 82749 WITH SCORE 82931.972
AT ITER 4388 NEW BEST:: SOT 391816 SOS 182634 HAS SOPS 177711 HAS SOUS 83527 HAS SOUPS 82659 WITH SCORE 82841.634
AT ITER 4391 NEW BEST:: SOT 391804 SOS 182517 HAS SOPS 177594 HAS SOUS 83514 HAS SOUPS 82646 WITH SCORE 82828.517
AT ITER 4462 NEW BEST:: SOT 391768 SOS 182387 HAS SOPS 177464 HAS SOUS 83485 HAS SOUPS 82617 WITH SCORE 82799.387
AT ITER 4474 NEW BEST:: SOT 391737 SOS 182356 HAS SOPS 177433 HAS SOUS 83437 HAS SOUPS 82569 WITH SCORE 82751.356
AT ITER 4476 NEW BEST:: SOT 391724 SOS 182343 HAS SOPS 177420 HAS SOUS 83411 HAS SOUPS 82543 WITH SCORE 82725.343
AT ITER 4485 NEW BEST:: SOT 391727 SOS 182346 HAS SOPS 177423 HAS SOUS 83396 HAS SOUPS 82528 WITH SCORE 82710.346
AT ITER 4499 NEW BEST:: SOT 391719 SOS 182331 HAS SOPS 177408 HAS SOUS 83380 HAS SOUPS 82512 WITH SCORE 82694.331
AT ITER 4505 NEW BEST:: SOT 391700 SOS 182124 HAS SOPS 177217 HAS SOUS 83346 HAS SOUPS 82481 WITH SCORE 82663.124
AT ITER 4511 NEW BEST:: SOT 391674 SOS 182119 HAS SOPS 177226 HAS SOUS 83334 HAS SOUPS 82469 WITH SCORE 82651.119
AT ITER 4518 NEW BEST:: SOT 391652 SOS 182097 HAS SOPS 177204 HAS SOUS 83114 HAS SOUPS 82249 WITH SCORE 82431.097
AT ITER 4535 NEW BEST:: SOT 391592 SOS 182037 HAS SOPS 177144 HAS SOUS 83045 HAS SOUPS 82180 WITH SCORE 82362.037
AT ITER 4553 NEW BEST:: SOT 391558 SOS 182003 HAS SOPS 177110 HAS SOUS 83011 HAS SOUPS 82146 WITH SCORE 82328.003
AT ITER 4554 NEW BEST:: SOT 391519 SOS 182136 HAS SOPS 177193 HAS SOUS 82965 HAS SOUPS 82100 WITH SCORE 82282.136
AT ITER 4569 NEW BEST:: SOT 391514 SOS 182126 HAS SOPS 177183 HAS SOUS 82950 HAS SOUPS 82085 WITH SCORE 82267.126
AT ITER 4575 NEW BEST:: SOT 391424 SOS 181970 HAS SOPS 177027 HAS SOUS 82170 HAS SOUPS 81305 WITH SCORE 81486.97
AT ITER 4580 NEW BEST:: SOT 391464 SOS 182010 HAS SOPS 177067 HAS SOUS 82118 HAS SOUPS 81253 WITH SCORE 81435.01
AT ITER 4583 NEW BEST:: SOT 391480 SOS 182042 HAS SOPS 177099 HAS SOUS 82105 HAS SOUPS 81240 WITH SCORE 81422.042
AT ITER 4586 NEW BEST:: SOT 391442 SOS 182009 HAS SOPS 177066 HAS SOUS 82029 HAS SOUPS 81164 WITH SCORE 81346.009
AT ITER 4588 NEW BEST:: SOT 391491 SOS 182058 HAS SOPS 177115 HAS SOUS 81980 HAS SOUPS 81115 WITH SCORE 81297.058
AT ITER 4605 NEW BEST:: SOT 391425 SOS 181992 HAS SOPS 177049 HAS SOUS 81919 HAS SOUPS 81054 WITH SCORE 81235.992
AT ITER 4635 NEW BEST:: SOT 391391 SOS 181958 HAS SOPS 177015 HAS SOUS 81873 HAS SOUPS 81008 WITH SCORE 81189.958
AT ITER 4689 NEW BEST:: SOT 391424 SOS 181991 HAS SOPS 177032 HAS SOUS 81851 HAS SOUPS 80986 WITH SCORE 81167.991
AT ITER 4712 NEW BEST:: SOT 391316 SOS 180959 HAS SOPS 176000 HAS SOUS 81762 HAS SOUPS 80897 WITH SCORE 81077.959
AT ITER 4743 NEW BEST:: SOT 391234 SOS 180481 HAS SOPS 175522 HAS SOUS 81548 HAS SOUPS 80683 WITH SCORE 80863.481
AT ITER 4761 NEW BEST:: SOT 391306 SOS 180534 HAS SOPS 175575 HAS SOUS 81443 HAS SOUPS 80578 WITH SCORE 80758.534
AT ITER 4773 NEW BEST:: SOT 391292 SOS 180533 HAS SOPS 175574 HAS SOUS 81442 HAS SOUPS 80577 WITH SCORE 80757.533
AT ITER 4782 NEW BEST:: SOT 391253 SOS 180494 HAS SOPS 175536 HAS SOUS 81434 HAS SOUPS 80569 WITH SCORE 80749.494
AT ITER 4798 NEW BEST:: SOT 391232 SOS 180465 HAS SOPS 175507 HAS SOUS 81392 HAS SOUPS 80527 WITH SCORE 80707.465
AT ITER 4811 NEW BEST:: SOT 391220 SOS 180453 HAS SOPS 175495 HAS SOUS 81362 HAS SOUPS 80497 WITH SCORE 80677.453
AT ITER 4813 NEW BEST:: SOT 391220 SOS 180453 HAS SOPS 175495 HAS SOUS 81330 HAS SOUPS 80465 WITH SCORE 80645.453
AT ITER 4815 NEW BEST:: SOT 391142 SOS 180113 HAS SOPS 175155 HAS SOUS 81148 HAS SOUPS 80283 WITH SCORE 80463.113
AT ITER 4844 NEW BEST:: SOT 391124 SOS 179512 HAS SOPS 174682 HAS SOUS 81129 HAS SOUPS 80280 WITH SCORE 80459.512
AT ITER 4850 NEW BEST:: SOT 391124 SOS 179560 HAS SOPS 174730 HAS SOUS 81019 HAS SOUPS 80170 WITH SCORE 80349.56
AT ITER 4864 NEW BEST:: SOT 391234 SOS 179651 HAS SOPS 174821 HAS SOUS 81002 HAS SOUPS 80153 WITH SCORE 80332.651
AT ITER 4871 NEW BEST:: SOT 391148 SOS 179576 HAS SOPS 174746 HAS SOUS 80887 HAS SOUPS 80038 WITH SCORE 80217.576
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-00 (AF((! (! ( potential( ( 3 ) <= (tk(P39) + tk(P97) + tk(P231) + tk(P234) + tk(P323) + tk(P382) + tk(P428) + tk(P515)) ) & potential( ( 3 ) <= (tk(P6) + tk(P49) + tk(P121) + tk(P153) + tk(P154) + tk(P226) + tk(P268) + tk(P292) + tk(P328) + tk(P395) + tk(P411) + tk(P472) + tk(P484) + tk(P521) + tk(P548) + tk(P596)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-01 ( (! (AF((! potential( (tk(P12) + tk(P57) + tk(P160) + tk(P252) + tk(P316) + tk(P373) + tk(P447) + tk(P512)) <= (tk(P79) + tk(P90) + tk(P142) + tk(P308) + tk(P357) + tk(P362) + tk(P466) + tk(P552)) ))))) | (! (AU( potential( (tk(P76) + tk(P145) + tk(P235) + tk(P309) + tk(P334) + tk(P386) + tk(P516) + tk(P604)) <= (tk(P457)) ),potential( ( 1 ) <= (tk(P4) + tk(P7) + tk(P10) + tk(P18) + tk(P24) + tk(P93) + tk(P96) + tk(P104) + tk(P106) + tk(P166) + tk(P194) + tk(P207) + tk(P223) + tk(P224) + tk(P245) + tk(P251) + tk(P266) + tk(P290) + tk(P319) + tk(P344) + tk(P352) + tk(P359) + tk(P377) + tk(P379) + tk(P409) + tk(P418) + tk(P429) + tk(P434) + tk(P444) + tk(P446) + tk(P455) + tk(P473) + tk(P479) + tk(P522) + tk(P539) + tk(P555) + tk(P561) + tk(P563) + tk(P575) + tk(P609)) ) ))) )
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-02 (AF(( (AG( potential( ( 3 ) <= (tk(P64) + tk(P120) + tk(P230) + tk(P253) + tk(P306) + tk(P440) + tk(P443) + tk(P580)) ))) & (EX( potential( ( 1 ) <= (tk(P613)) ))) )))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-03 (EX( ( (AG( potential( (tk(P6) + tk(P49) + tk(P121) + tk(P153) + tk(P154) + tk(P226) + tk(P268) + tk(P292) + tk(P328) + tk(P395) + tk(P411) + tk(P472) + tk(P484) + tk(P521) + tk(P548) + tk(P596)) <= (tk(P116) + tk(P174) + tk(P279) + tk(P343) + tk(P425) + tk(P540) + tk(P541) + tk(P559)) ))) & ( potential( (tk(P42) + tk(P61) + tk(P75) + tk(P130) + tk(P173) + tk(P208) + tk(P236) + tk(P322) + tk(P388) + tk(P400) + tk(P415) + tk(P478) + tk(P493) + tk(P532) + tk(P544) + tk(P578)) <= (tk(P92)) ) | (! potential( (tk(P41) + tk(P103) + tk(P169) + tk(P294) + tk(P376) + tk(P407) + tk(P449) + tk(P537)) <= (tk(P613)) )) ) )))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-04 (! (AG( potential( (tk(P25) + tk(P179) + tk(P220) + tk(P280) + tk(P350) + tk(P392) + tk(P485) + tk(P594)) <= (tk(P587)) ))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-05 (EF((AU( potential( (tk(P221) + tk(P271)) <= (tk(P568)) ),potential( ( 3 ) <= (tk(P13) + tk(P16) + tk(P66) + tk(P77) + tk(P88) + tk(P99) + tk(P119) + tk(P125) + tk(P129) + tk(P152) + tk(P159) + tk(P190) + tk(P197) + tk(P202) + tk(P214) + tk(P216) + tk(P255) + tk(P259) + tk(P269) + tk(P286) + tk(P287) + tk(P295) + tk(P302) + tk(P313) + tk(P336) + tk(P339) + tk(P372) + tk(P374) + tk(P441) + tk(P463) + tk(P474) + tk(P490) + tk(P495) + tk(P503) + tk(P542) + tk(P551) + tk(P553) + tk(P560) + tk(P574) + tk(P602)) ) ))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-06 (! (EG( (EF(potential( ( 2 ) <= (tk(P37) + tk(P55) + tk(P84) + tk(P156) + tk(P161) + tk(P200) + tk(P217) + tk(P270) + tk(P321) + tk(P354) + tk(P406) + tk(P433) + tk(P439) + tk(P491) + tk(P554) + tk(P610)) ))))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-07 (AG( (AU( potential( (tk(P529)) <= (tk(P9) + tk(P123) + tk(P184) + tk(P238) + tk(P239) + tk(P378) + tk(P496) + tk(P584)) ),potential( ( 3 ) <= (tk(P109) + tk(P182) + tk(P293) + tk(P305) + tk(P430) + tk(P500) + tk(P531) + tk(P543)) ) ))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-08 (AG( ( potential( ( 3 ) <= (tk(P534)) ) | ( ( potential( (tk(P336)) <= (tk(P130)) ) | potential( (tk(P520)) <= (tk(P472)) ) ) | (! potential( (tk(P600)) <= (tk(P233)) )) ) )))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-09 ( (AX( (EG( potential( (tk(P353)) <= (tk(P25)) ))))) & (EX( (EG( potential( (tk(P495)) <= (tk(P355)) ))))) )
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-10 ( potential( (tk(P553)) <= (tk(P332)) ) & (! (EG( ( potential( (tk(P170)) <= (tk(P299)) ) & potential( (tk(P165)) <= (tk(P153)) ) )))) )
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-11 (AF((EX( (! potential( (tk(P235)) <= (tk(P215)) ))))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-12 (EG( ( (AF(potential( (tk(P525)) <= (tk(P429)) ))) | potential( (tk(P244)) <= (tk(P183)) ) )))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-13 (EF((EG( ( potential( (tk(P229)) <= (tk(P375)) ) | potential( ( 2 ) <= (tk(P561)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-14 ( (! (EF((! potential( (tk(P533)) <= (tk(P144)) ))))) & (EF(( ( potential( (tk(P497)) <= (tk(P288)) ) | potential( ( 2 ) <= (tk(P168)) ) ) | ( potential( (tk(P238)) <= (tk(P273)) ) | potential( (tk(P255)) <= (tk(P399)) ) ) ))) )
PROPERTY: PolyORBLF-PT-S02J04T08-CTLCardinality-15 ( (AX( ( potential( (tk(P590)) <= (tk(P350)) ) & (! potential( ( 1 ) <= (tk(P117)) )) ))) & ( ( (EF(potential( ( 2 ) <= (tk(P111)) ))) & (AF(potential( (tk(P284)) <= (tk(P527)) ))) ) & (! potential( ( 2 ) <= (tk(P105)) )) ) )

BK_TIME_CONFINEMENT_REACHED

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

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="PolyORBLF-PT-S02J04T08"
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 PolyORBLF-PT-S02J04T08, 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 r123-tajo-158961354700419"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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