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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.5K Apr 12 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 12 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Apr 11 04:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Apr 11 04:56 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.1K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Apr 10 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 9 17:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Apr 9 17:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:22 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 983K 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-S02J06T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J06T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642545124

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T06
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: 536 places, 1064 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 349952 SOS 193804 HAS SOPS 190980 HAS SOUS 110674 HAS SOUPS 110339 WITH SCORE 110532.804
AT ITER 1 NEW BEST:: SOT 349463 SOS 193405 HAS SOPS 190581 HAS SOUS 110548 HAS SOUPS 110213 WITH SCORE 110406.405
AT ITER 8 NEW BEST:: SOT 349463 SOS 193344 HAS SOPS 190520 HAS SOUS 110548 HAS SOUPS 110213 WITH SCORE 110406.344
AT ITER 22 NEW BEST:: SOT 349256 SOS 193137 HAS SOPS 190313 HAS SOUS 110439 HAS SOUPS 110104 WITH SCORE 110297.137
AT ITER 23 NEW BEST:: SOT 349281 SOS 193127 HAS SOPS 190303 HAS SOUS 110429 HAS SOUPS 110094 WITH SCORE 110287.127
AT ITER 27 NEW BEST:: SOT 349281 SOS 192741 HAS SOPS 189917 HAS SOUS 110429 HAS SOUPS 110094 WITH SCORE 110286.741
AT ITER 32 NEW BEST:: SOT 349145 SOS 192571 HAS SOPS 189747 HAS SOUS 110190 HAS SOUPS 109855 WITH SCORE 110047.571
AT ITER 39 NEW BEST:: SOT 347975 SOS 191428 HAS SOPS 188604 HAS SOUS 109671 HAS SOUPS 109336 WITH SCORE 109527.428
AT ITER 46 NEW BEST:: SOT 344174 SOS 187768 HAS SOPS 184944 HAS SOUS 108245 HAS SOUPS 107910 WITH SCORE 108097.768
AT ITER 51 NEW BEST:: SOT 344074 SOS 187668 HAS SOPS 184844 HAS SOUS 108091 HAS SOUPS 107756 WITH SCORE 107943.668
AT ITER 58 NEW BEST:: SOT 344016 SOS 187552 HAS SOPS 184728 HAS SOUS 107994 HAS SOUPS 107659 WITH SCORE 107846.552
AT ITER 63 NEW BEST:: SOT 342553 SOS 186141 HAS SOPS 183317 HAS SOUS 106594 HAS SOUPS 106259 WITH SCORE 106445.141
AT ITER 65 NEW BEST:: SOT 342483 SOS 186056 HAS SOPS 183276 HAS SOUS 106408 HAS SOUPS 106073 WITH SCORE 106259.056
AT ITER 69 NEW BEST:: SOT 339122 SOS 184959 HAS SOPS 182179 HAS SOUS 105509 HAS SOUPS 105174 WITH SCORE 105358.959
AT ITER 73 NEW BEST:: SOT 339054 SOS 184891 HAS SOPS 182111 HAS SOUS 105456 HAS SOUPS 105121 WITH SCORE 105305.891
AT ITER 78 NEW BEST:: SOT 339072 SOS 184877 HAS SOPS 182097 HAS SOUS 105430 HAS SOUPS 105095 WITH SCORE 105279.877
AT ITER 79 NEW BEST:: SOT 339026 SOS 185091 HAS SOPS 182422 HAS SOUS 105390 HAS SOUPS 105055 WITH SCORE 105240.091
AT ITER 84 NEW BEST:: SOT 338886 SOS 185005 HAS SOPS 182336 HAS SOUS 105304 HAS SOUPS 104969 WITH SCORE 105154.005
AT ITER 126 NEW BEST:: SOT 338678 SOS 184603 HAS SOPS 181934 HAS SOUS 105040 HAS SOUPS 104705 WITH SCORE 104889.603
AT ITER 131 NEW BEST:: SOT 335552 SOS 181260 HAS SOPS 178584 HAS SOUS 103444 HAS SOUPS 103109 WITH SCORE 103290.26
AT ITER 141 NEW BEST:: SOT 335539 SOS 181257 HAS SOPS 178581 HAS SOUS 103322 HAS SOUPS 102987 WITH SCORE 103168.257
AT ITER 147 NEW BEST:: SOT 335539 SOS 181257 HAS SOPS 178581 HAS SOUS 103314 HAS SOUPS 102979 WITH SCORE 103160.257
AT ITER 148 NEW BEST:: SOT 335509 SOS 181227 HAS SOPS 178545 HAS SOUS 103276 HAS SOUPS 102939 WITH SCORE 103120.227
AT ITER 149 NEW BEST:: SOT 330196 SOS 177557 HAS SOPS 174875 HAS SOUS 101657 HAS SOUPS 101320 WITH SCORE 101497.557
AT ITER 174 NEW BEST:: SOT 328150 SOS 175656 HAS SOPS 172974 HAS SOUS 100973 HAS SOUPS 100636 WITH SCORE 100811.656
AT ITER 180 NEW BEST:: SOT 327990 SOS 175499 HAS SOPS 172810 HAS SOUS 100749 HAS SOUPS 100412 WITH SCORE 100587.499
AT ITER 184 NEW BEST:: SOT 327963 SOS 175594 HAS SOPS 172921 HAS SOUS 100732 HAS SOUPS 100395 WITH SCORE 100570.594
AT ITER 185 NEW BEST:: SOT 327921 SOS 175286 HAS SOPS 172613 HAS SOUS 100704 HAS SOUPS 100367 WITH SCORE 100542.286
AT ITER 197 NEW BEST:: SOT 327924 SOS 175472 HAS SOPS 172799 HAS SOUS 100692 HAS SOUPS 100355 WITH SCORE 100530.472
AT ITER 198 NEW BEST:: SOT 327918 SOS 175436 HAS SOPS 172763 HAS SOUS 100656 HAS SOUPS 100319 WITH SCORE 100494.436
AT ITER 205 NEW BEST:: SOT 327901 SOS 175377 HAS SOPS 172704 HAS SOUS 100611 HAS SOUPS 100274 WITH SCORE 100449.377
AT ITER 237 NEW BEST:: SOT 327883 SOS 175341 HAS SOPS 172668 HAS SOUS 100575 HAS SOUPS 100238 WITH SCORE 100413.341
AT ITER 241 NEW BEST:: SOT 325444 SOS 172527 HAS SOPS 169854 HAS SOUS 98207 HAS SOUPS 97870 WITH SCORE 98042.527
AT ITER 259 NEW BEST:: SOT 323875 SOS 174614 HAS SOPS 171941 HAS SOUS 97829 HAS SOUPS 97492 WITH SCORE 97666.614
AT ITER 267 NEW BEST:: SOT 323875 SOS 174594 HAS SOPS 171921 HAS SOUS 97809 HAS SOUPS 97472 WITH SCORE 97646.594
AT ITER 268 NEW BEST:: SOT 323592 SOS 174267 HAS SOPS 171594 HAS SOUS 97472 HAS SOUPS 97135 WITH SCORE 97309.267
AT ITER 271 NEW BEST:: SOT 323552 SOS 174430 HAS SOPS 171764 HAS SOUS 97380 HAS SOUPS 97043 WITH SCORE 97217.43
AT ITER 275 NEW BEST:: SOT 322937 SOS 173969 HAS SOPS 171303 HAS SOUS 97318 HAS SOUPS 96981 WITH SCORE 97154.969
AT ITER 291 NEW BEST:: SOT 322987 SOS 174019 HAS SOPS 171279 HAS SOUS 97360 HAS SOUPS 96965 WITH SCORE 97139.019
AT ITER 295 NEW BEST:: SOT 322742 SOS 173499 HAS SOPS 170759 HAS SOUS 96960 HAS SOUPS 96565 WITH SCORE 96738.499
AT ITER 297 NEW BEST:: SOT 322712 SOS 173439 HAS SOPS 170699 HAS SOUS 96900 HAS SOUPS 96505 WITH SCORE 96678.439
AT ITER 307 NEW BEST:: SOT 322756 SOS 173483 HAS SOPS 170675 HAS SOUS 96867 HAS SOUPS 96472 WITH SCORE 96645.483
AT ITER 314 NEW BEST:: SOT 322573 SOS 173329 HAS SOPS 170521 HAS SOUS 96510 HAS SOUPS 96115 WITH SCORE 96288.329
AT ITER 328 NEW BEST:: SOT 322462 SOS 173090 HAS SOPS 169058 HAS SOUS 96414 HAS SOUPS 95815 WITH SCORE 95988.09
AT ITER 329 NEW BEST:: SOT 322032 SOS 172746 HAS SOPS 168714 HAS SOUS 96049 HAS SOUPS 95450 WITH SCORE 95622.746
AT ITER 334 NEW BEST:: SOT 322032 SOS 172746 HAS SOPS 168712 HAS SOUS 96048 HAS SOUPS 95449 WITH SCORE 95621.746
AT ITER 338 NEW BEST:: SOT 321824 SOS 172330 HAS SOPS 168296 HAS SOUS 95683 HAS SOUPS 95084 WITH SCORE 95256.33
AT ITER 341 NEW BEST:: SOT 318346 SOS 168981 HAS SOPS 164947 HAS SOUS 94356 HAS SOUPS 93757 WITH SCORE 93925.981
AT ITER 353 NEW BEST:: SOT 318380 SOS 168980 HAS SOPS 164946 HAS SOUS 94316 HAS SOUPS 93717 WITH SCORE 93885.98
AT ITER 359 NEW BEST:: SOT 318336 SOS 168817 HAS SOPS 164783 HAS SOUS 94169 HAS SOUPS 93570 WITH SCORE 93738.817
AT ITER 373 NEW BEST:: SOT 317930 SOS 168455 HAS SOPS 164421 HAS SOUS 93789 HAS SOUPS 93190 WITH SCORE 93358.455
AT ITER 379 NEW BEST:: SOT 317746 SOS 167981 HAS SOPS 163947 HAS SOUS 93387 HAS SOUPS 92788 WITH SCORE 92955.981
AT ITER 389 NEW BEST:: SOT 317746 SOS 167981 HAS SOPS 163947 HAS SOUS 93369 HAS SOUPS 92770 WITH SCORE 92937.981
AT ITER 395 NEW BEST:: SOT 317693 SOS 167928 HAS SOPS 163894 HAS SOUS 93265 HAS SOUPS 92666 WITH SCORE 92833.928
AT ITER 400 NEW BEST:: SOT 317721 SOS 167820 HAS SOPS 163717 HAS SOUS 93150 HAS SOUPS 92551 WITH SCORE 92718.82
AT ITER 401 NEW BEST:: SOT 317721 SOS 167820 HAS SOPS 163717 HAS SOUS 93138 HAS SOUPS 92539 WITH SCORE 92706.82
AT ITER 403 NEW BEST:: SOT 317721 SOS 167820 HAS SOPS 163717 HAS SOUS 93124 HAS SOUPS 92525 WITH SCORE 92692.82
AT ITER 418 NEW BEST:: SOT 317572 SOS 167671 HAS SOPS 163568 HAS SOUS 92985 HAS SOUPS 92386 WITH SCORE 92553.671
AT ITER 444 NEW BEST:: SOT 317564 SOS 167768 HAS SOPS 163665 HAS SOUS 92956 HAS SOUPS 92357 WITH SCORE 92524.768
AT ITER 454 NEW BEST:: SOT 317546 SOS 167732 HAS SOPS 163629 HAS SOUS 92920 HAS SOUPS 92321 WITH SCORE 92488.732
AT ITER 459 NEW BEST:: SOT 317472 SOS 167707 HAS SOPS 163604 HAS SOUS 92895 HAS SOUPS 92296 WITH SCORE 92463.707
AT ITER 480 NEW BEST:: SOT 317479 SOS 167714 HAS SOPS 163583 HAS SOUS 92869 HAS SOUPS 92250 WITH SCORE 92417.714
AT ITER 499 NEW BEST:: SOT 317283 SOS 166898 HAS SOPS 162767 HAS SOUS 92769 HAS SOUPS 92150 WITH SCORE 92316.898
AT ITER 508 NEW BEST:: SOT 317277 SOS 166886 HAS SOPS 162755 HAS SOUS 92737 HAS SOUPS 92118 WITH SCORE 92284.886
AT ITER 511 NEW BEST:: SOT 317243 SOS 166852 HAS SOPS 162715 HAS SOUS 92693 HAS SOUPS 92073 WITH SCORE 92239.852
AT ITER 525 NEW BEST:: SOT 317159 SOS 166768 HAS SOPS 162631 HAS SOUS 92525 HAS SOUPS 91905 WITH SCORE 92071.768
AT ITER 526 NEW BEST:: SOT 317144 SOS 166753 HAS SOPS 162616 HAS SOUS 92510 HAS SOUPS 91890 WITH SCORE 92056.753
AT ITER 534 NEW BEST:: SOT 317152 SOS 166695 HAS SOPS 162558 HAS SOUS 92452 HAS SOUPS 91832 WITH SCORE 91998.695
AT ITER 540 NEW BEST:: SOT 313821 SOS 164570 HAS SOPS 160925 HAS SOUS 89415 HAS SOUPS 88913 WITH SCORE 89077.57
AT ITER 546 NEW BEST:: SOT 313212 SOS 163911 HAS SOPS 160266 HAS SOUS 88777 HAS SOUPS 88275 WITH SCORE 88438.911
AT ITER 566 NEW BEST:: SOT 311520 SOS 162351 HAS SOPS 158706 HAS SOUS 87837 HAS SOUPS 87335 WITH SCORE 87497.351
AT ITER 569 NEW BEST:: SOT 311577 SOS 162366 HAS SOPS 158721 HAS SOUS 87611 HAS SOUPS 87109 WITH SCORE 87271.366
AT ITER 577 NEW BEST:: SOT 311560 SOS 162349 HAS SOPS 158704 HAS SOUS 87594 HAS SOUPS 87092 WITH SCORE 87254.349
AT ITER 590 NEW BEST:: SOT 311560 SOS 162349 HAS SOPS 158704 HAS SOUS 87360 HAS SOUPS 86858 WITH SCORE 87020.349
AT ITER 597 NEW BEST:: SOT 311535 SOS 162329 HAS SOPS 158484 HAS SOUS 87399 HAS SOUPS 86697 WITH SCORE 86859.329
AT ITER 599 NEW BEST:: SOT 311530 SOS 162324 HAS SOPS 158479 HAS SOUS 87397 HAS SOUPS 86695 WITH SCORE 86857.324
AT ITER 600 NEW BEST:: SOT 311530 SOS 162037 HAS SOPS 158192 HAS SOUS 87397 HAS SOUPS 86695 WITH SCORE 86857.037
AT ITER 628 NEW BEST:: SOT 311383 SOS 161932 HAS SOPS 158087 HAS SOUS 87327 HAS SOUPS 86625 WITH SCORE 86786.932
AT ITER 634 NEW BEST:: SOT 311383 SOS 161932 HAS SOPS 158087 HAS SOUS 87310 HAS SOUPS 86608 WITH SCORE 86769.932
AT ITER 647 NEW BEST:: SOT 311331 SOS 161747 HAS SOPS 157902 HAS SOUS 87281 HAS SOUPS 86579 WITH SCORE 86740.747
AT ITER 655 NEW BEST:: SOT 311323 SOS 161361 HAS SOPS 157520 HAS SOUS 87193 HAS SOUPS 86489 WITH SCORE 86650.361
AT ITER 668 NEW BEST:: SOT 311343 SOS 161339 HAS SOPS 157498 HAS SOUS 86993 HAS SOUPS 86289 WITH SCORE 86450.339
AT ITER 669 NEW BEST:: SOT 311333 SOS 161339 HAS SOPS 157498 HAS SOUS 86983 HAS SOUPS 86279 WITH SCORE 86440.339
AT ITER 673 NEW BEST:: SOT 311297 SOS 161315 HAS SOPS 157474 HAS SOUS 86959 HAS SOUPS 86255 WITH SCORE 86416.315
AT ITER 679 NEW BEST:: SOT 311166 SOS 160982 HAS SOPS 157141 HAS SOUS 86697 HAS SOUPS 85993 WITH SCORE 86153.982
AT ITER 694 NEW BEST:: SOT 309136 SOS 158905 HAS SOPS 155064 HAS SOUS 85743 HAS SOUPS 85039 WITH SCORE 85197.905
AT ITER 697 NEW BEST:: SOT 307671 SOS 166309 HAS SOPS 160528 HAS SOUS 84944 HAS SOUPS 83882 WITH SCORE 84048.309
AT ITER 703 NEW BEST:: SOT 307651 SOS 166257 HAS SOPS 160476 HAS SOUS 84892 HAS SOUPS 83830 WITH SCORE 83996.257
AT ITER 720 NEW BEST:: SOT 307632 SOS 166104 HAS SOPS 160133 HAS SOUS 84625 HAS SOUPS 83563 WITH SCORE 83729.104
AT ITER 721 NEW BEST:: SOT 307377 SOS 165944 HAS SOPS 159973 HAS SOUS 83821 HAS SOUPS 82759 WITH SCORE 82924.944
AT ITER 722 NEW BEST:: SOT 307377 SOS 165752 HAS SOPS 159781 HAS SOUS 83821 HAS SOUPS 82759 WITH SCORE 82924.752
AT ITER 755 NEW BEST:: SOT 307369 SOS 165799 HAS SOPS 159828 HAS SOUS 83802 HAS SOUPS 82740 WITH SCORE 82905.799
AT ITER 764 NEW BEST:: SOT 307344 SOS 165673 HAS SOPS 159702 HAS SOUS 83752 HAS SOUPS 82690 WITH SCORE 82855.673
AT ITER 792 NEW BEST:: SOT 307326 SOS 165619 HAS SOPS 159648 HAS SOUS 83698 HAS SOUPS 82636 WITH SCORE 82801.619
AT ITER 800 NEW BEST:: SOT 307120 SOS 165039 HAS SOPS 159068 HAS SOUS 83447 HAS SOUPS 82385 WITH SCORE 82550.039
AT ITER 802 NEW BEST:: SOT 306928 SOS 164924 HAS SOPS 158953 HAS SOUS 82900 HAS SOUPS 81838 WITH SCORE 82002.924
AT ITER 807 NEW BEST:: SOT 306898 SOS 165075 HAS SOPS 159029 HAS SOUS 82896 HAS SOUPS 81829 WITH SCORE 81994.075
AT ITER 841 NEW BEST:: SOT 306859 SOS 165036 HAS SOPS 158990 HAS SOUS 82836 HAS SOUPS 81769 WITH SCORE 81934.036
AT ITER 848 NEW BEST:: SOT 306859 SOS 164886 HAS SOPS 158840 HAS SOUS 82831 HAS SOUPS 81764 WITH SCORE 81928.886
AT ITER 858 NEW BEST:: SOT 306861 SOS 164888 HAS SOPS 158842 HAS SOUS 82780 HAS SOUPS 81713 WITH SCORE 81877.888
AT ITER 875 NEW BEST:: SOT 306784 SOS 164806 HAS SOPS 158789 HAS SOUS 82751 HAS SOUPS 81688 WITH SCORE 81852.806
AT ITER 880 NEW BEST:: SOT 306614 SOS 157227 HAS SOPS 152410 HAS SOUS 82412 HAS SOUPS 81549 WITH SCORE 81706.227
AT ITER 882 NEW BEST:: SOT 306542 SOS 157505 HAS SOPS 152688 HAS SOUS 82390 HAS SOUPS 81527 WITH SCORE 81684.505
AT ITER 910 NEW BEST:: SOT 306427 SOS 158465 HAS SOPS 153443 HAS SOUS 82406 HAS SOUPS 81490 WITH SCORE 81648.465
AT ITER 923 NEW BEST:: SOT 305066 SOS 157169 HAS SOPS 152147 HAS SOUS 81132 HAS SOUPS 80216 WITH SCORE 80373.169
AT ITER 925 NEW BEST:: SOT 305231 SOS 157334 HAS SOPS 152312 HAS SOUS 80527 HAS SOUPS 79611 WITH SCORE 79768.334
AT ITER 931 NEW BEST:: SOT 305143 SOS 157246 HAS SOPS 152224 HAS SOUS 80145 HAS SOUPS 79229 WITH SCORE 79386.246
AT ITER 943 NEW BEST:: SOT 305138 SOS 157241 HAS SOPS 152219 HAS SOUS 80140 HAS SOUPS 79224 WITH SCORE 79381.241
AT ITER 964 NEW BEST:: SOT 305123 SOS 157174 HAS SOPS 152152 HAS SOUS 80070 HAS SOUPS 79154 WITH SCORE 79311.174
AT ITER 968 NEW BEST:: SOT 304964 SOS 157015 HAS SOPS 151993 HAS SOUS 79989 HAS SOUPS 79073 WITH SCORE 79230.015
AT ITER 974 NEW BEST:: SOT 304951 SOS 157002 HAS SOPS 151965 HAS SOUS 79922 HAS SOUPS 79006 WITH SCORE 79163.002
AT ITER 984 NEW BEST:: SOT 304867 SOS 156918 HAS SOPS 151881 HAS SOUS 79778 HAS SOUPS 78862 WITH SCORE 79018.918
AT ITER 989 NEW BEST:: SOT 305210 SOS 157176 HAS SOPS 152139 HAS SOUS 79726 HAS SOUPS 78810 WITH SCORE 78967.176
AT ITER 1022 NEW BEST:: SOT 305164 SOS 157130 HAS SOPS 152093 HAS SOUS 79680 HAS SOUPS 78764 WITH SCORE 78921.13
AT ITER 1046 NEW BEST:: SOT 305164 SOS 156962 HAS SOPS 151925 HAS SOUS 79680 HAS SOUPS 78764 WITH SCORE 78920.962
AT ITER 1048 NEW BEST:: SOT 305135 SOS 156933 HAS SOPS 151896 HAS SOUS 79651 HAS SOUPS 78735 WITH SCORE 78891.933
AT ITER 1055 NEW BEST:: SOT 305126 SOS 156924 HAS SOPS 151887 HAS SOUS 79639 HAS SOUPS 78723 WITH SCORE 78879.924
AT ITER 1061 NEW BEST:: SOT 305150 SOS 156948 HAS SOPS 151870 HAS SOUS 79563 HAS SOUPS 78623 WITH SCORE 78779.948
AT ITER 1087 NEW BEST:: SOT 305150 SOS 156948 HAS SOPS 151870 HAS SOUS 79560 HAS SOUPS 78620 WITH SCORE 78776.948
AT ITER 1096 NEW BEST:: SOT 305158 SOS 156940 HAS SOPS 151862 HAS SOUS 79555 HAS SOUPS 78615 WITH SCORE 78771.94
AT ITER 1097 NEW BEST:: SOT 305169 SOS 156951 HAS SOPS 151873 HAS SOUS 79553 HAS SOUPS 78613 WITH SCORE 78769.951
AT ITER 1100 NEW BEST:: SOT 304761 SOS 156543 HAS SOPS 151465 HAS SOUS 79145 HAS SOUPS 78205 WITH SCORE 78361.543
AT ITER 1135 NEW BEST:: SOT 304754 SOS 156536 HAS SOPS 151458 HAS SOUS 79131 HAS SOUPS 78191 WITH SCORE 78347.536
AT ITER 1144 NEW BEST:: SOT 304754 SOS 156589 HAS SOPS 151496 HAS SOUS 79098 HAS SOUPS 78158 WITH SCORE 78314.589
AT ITER 1154 NEW BEST:: SOT 304714 SOS 156549 HAS SOPS 151456 HAS SOUS 79058 HAS SOUPS 78118 WITH SCORE 78274.549
AT ITER 1172 NEW BEST:: SOT 304772 SOS 156607 HAS SOPS 151502 HAS SOUS 79012 HAS SOUPS 78072 WITH SCORE 78228.607
AT ITER 1182 NEW BEST:: SOT 304750 SOS 156718 HAS SOPS 151613 HAS SOUS 79009 HAS SOUPS 78069 WITH SCORE 78225.718
AT ITER 1192 NEW BEST:: SOT 304516 SOS 156510 HAS SOPS 151405 HAS SOUS 78975 HAS SOUPS 78035 WITH SCORE 78191.51
AT ITER 1226 NEW BEST:: SOT 304516 SOS 156510 HAS SOPS 151405 HAS SOUS 78923 HAS SOUPS 77983 WITH SCORE 78139.51
AT ITER 1244 NEW BEST:: SOT 304504 SOS 156498 HAS SOPS 151393 HAS SOUS 78917 HAS SOUPS 77977 WITH SCORE 78133.498
AT ITER 1245 NEW BEST:: SOT 302483 SOS 154453 HAS SOPS 149348 HAS SOUS 78897 HAS SOUPS 77957 WITH SCORE 78111.453
AT ITER 1246 NEW BEST:: SOT 302465 SOS 154435 HAS SOPS 149330 HAS SOUS 78864 HAS SOUPS 77924 WITH SCORE 78078.435
AT ITER 1255 NEW BEST:: SOT 302412 SOS 154382 HAS SOPS 149277 HAS SOUS 78825 HAS SOUPS 77885 WITH SCORE 78039.382
AT ITER 1264 NEW BEST:: SOT 302409 SOS 154380 HAS SOPS 149272 HAS SOUS 78820 HAS SOUPS 77880 WITH SCORE 78034.38
AT ITER 1272 NEW BEST:: SOT 302450 SOS 154512 HAS SOPS 149397 HAS SOUS 78787 HAS SOUPS 77847 WITH SCORE 78001.512
AT ITER 1285 NEW BEST:: SOT 302454 SOS 154493 HAS SOPS 149378 HAS SOUS 78725 HAS SOUPS 77785 WITH SCORE 77939.493
AT ITER 1321 NEW BEST:: SOT 302852 SOS 154785 HAS SOPS 149670 HAS SOUS 78655 HAS SOUPS 77715 WITH SCORE 77869.785
AT ITER 1336 NEW BEST:: SOT 302851 SOS 154784 HAS SOPS 149669 HAS SOUS 78654 HAS SOUPS 77714 WITH SCORE 77868.784
AT ITER 1341 NEW BEST:: SOT 302848 SOS 154778 HAS SOPS 149663 HAS SOUS 78648 HAS SOUPS 77708 WITH SCORE 77862.778
AT ITER 1349 NEW BEST:: SOT 302818 SOS 154748 HAS SOPS 149687 HAS SOUS 78599 HAS SOUPS 77659 WITH SCORE 77813.748
AT ITER 1364 NEW BEST:: SOT 302749 SOS 154679 HAS SOPS 149618 HAS SOUS 78530 HAS SOUPS 77590 WITH SCORE 77744.679
AT ITER 1368 NEW BEST:: SOT 302749 SOS 155309 HAS SOPS 150248 HAS SOUS 78488 HAS SOUPS 77548 WITH SCORE 77703.309
AT ITER 1392 NEW BEST:: SOT 302716 SOS 155276 HAS SOPS 150215 HAS SOUS 78433 HAS SOUPS 77493 WITH SCORE 77648.276
AT ITER 1399 NEW BEST:: SOT 302581 SOS 155095 HAS SOPS 149988 HAS SOUS 78209 HAS SOUPS 77269 WITH SCORE 77424.095
AT ITER 1412 NEW BEST:: SOT 302193 SOS 154805 HAS SOPS 149698 HAS SOUS 78025 HAS SOUPS 77085 WITH SCORE 77239.805
AT ITER 1423 NEW BEST:: SOT 302191 SOS 154803 HAS SOPS 149696 HAS SOUS 78018 HAS SOUPS 77078 WITH SCORE 77232.803
AT ITER 1448 NEW BEST:: SOT 302180 SOS 154792 HAS SOPS 149685 HAS SOUS 77999 HAS SOUPS 77059 WITH SCORE 77213.792
AT ITER 1478 NEW BEST:: SOT 302028 SOS 154640 HAS SOPS 149529 HAS SOUS 77816 HAS SOUPS 76876 WITH SCORE 77030.64
AT ITER 1489 NEW BEST:: SOT 301992 SOS 154765 HAS SOPS 149654 HAS SOUS 77727 HAS SOUPS 76787 WITH SCORE 76941.765
AT ITER 1505 NEW BEST:: SOT 301958 SOS 154672 HAS SOPS 149509 HAS SOUS 77585 HAS SOUPS 76645 WITH SCORE 76799.672
AT ITER 1525 NEW BEST:: SOT 301915 SOS 154645 HAS SOPS 149482 HAS SOUS 77585 HAS SOUPS 76645 WITH SCORE 76799.645
AT ITER 1540 NEW BEST:: SOT 301899 SOS 154629 HAS SOPS 149466 HAS SOUS 77553 HAS SOUPS 76613 WITH SCORE 76767.629
AT ITER 1542 NEW BEST:: SOT 301893 SOS 154623 HAS SOPS 149460 HAS SOUS 77519 HAS SOUPS 76579 WITH SCORE 76733.623
AT ITER 1564 NEW BEST:: SOT 301883 SOS 154613 HAS SOPS 149450 HAS SOUS 77509 HAS SOUPS 76569 WITH SCORE 76723.613
AT ITER 1569 NEW BEST:: SOT 301883 SOS 154595 HAS SOPS 149432 HAS SOUS 77507 HAS SOUPS 76567 WITH SCORE 76721.595
AT ITER 1601 NEW BEST:: SOT 301864 SOS 154557 HAS SOPS 149394 HAS SOUS 77469 HAS SOUPS 76529 WITH SCORE 76683.557
AT ITER 1606 NEW BEST:: SOT 301868 SOS 154561 HAS SOPS 149404 HAS SOUS 77463 HAS SOUPS 76525 WITH SCORE 76679.561
AT ITER 1607 NEW BEST:: SOT 301843 SOS 154530 HAS SOPS 149379 HAS SOUS 77409 HAS SOUPS 76471 WITH SCORE 76625.53
AT ITER 1608 NEW BEST:: SOT 301804 SOS 154491 HAS SOPS 149340 HAS SOUS 77355 HAS SOUPS 76417 WITH SCORE 76571.491
AT ITER 1614 NEW BEST:: SOT 301746 SOS 154148 HAS SOPS 148997 HAS SOUS 77304 HAS SOUPS 76366 WITH SCORE 76520.148
AT ITER 1623 NEW BEST:: SOT 301734 SOS 154136 HAS SOPS 148985 HAS SOUS 77284 HAS SOUPS 76346 WITH SCORE 76500.136
AT ITER 1663 NEW BEST:: SOT 301735 SOS 154138 HAS SOPS 148987 HAS SOUS 77243 HAS SOUPS 76305 WITH SCORE 76459.138
AT ITER 1666 NEW BEST:: SOT 301717 SOS 154138 HAS SOPS 148987 HAS SOUS 77232 HAS SOUPS 76294 WITH SCORE 76448.138
AT ITER 1668 NEW BEST:: SOT 301673 SOS 153779 HAS SOPS 148594 HAS SOUS 77109 HAS SOUPS 76171 WITH SCORE 76324.779
AT ITER 1677 NEW BEST:: SOT 301656 SOS 153809 HAS SOPS 148598 HAS SOUS 77099 HAS SOUPS 76151 WITH SCORE 76304.809
AT ITER 1694 NEW BEST:: SOT 301648 SOS 153817 HAS SOPS 148606 HAS SOUS 77063 HAS SOUPS 76115 WITH SCORE 76268.817
AT ITER 1713 NEW BEST:: SOT 301535 SOS 153709 HAS SOPS 148498 HAS SOUS 76961 HAS SOUPS 76013 WITH SCORE 76166.709
AT ITER 1769 NEW BEST:: SOT 301499 SOS 153686 HAS SOPS 148475 HAS SOUS 76956 HAS SOUPS 76008 WITH SCORE 76161.686
AT ITER 1774 NEW BEST:: SOT 301255 SOS 153451 HAS SOPS 148240 HAS SOUS 76865 HAS SOUPS 75917 WITH SCORE 76070.451
AT ITER 1792 NEW BEST:: SOT 301291 SOS 153487 HAS SOPS 148276 HAS SOUS 76843 HAS SOUPS 75895 WITH SCORE 76048.487
AT ITER 1801 NEW BEST:: SOT 301326 SOS 152868 HAS SOPS 147657 HAS SOUS 76704 HAS SOUPS 75756 WITH SCORE 75908.868
AT ITER 1802 NEW BEST:: SOT 301320 SOS 152862 HAS SOPS 147651 HAS SOUS 76698 HAS SOUPS 75750 WITH SCORE 75902.862
AT ITER 1830 NEW BEST:: SOT 301278 SOS 152748 HAS SOPS 147537 HAS SOUS 76618 HAS SOUPS 75670 WITH SCORE 75822.748
AT ITER 1844 NEW BEST:: SOT 300104 SOS 151574 HAS SOPS 146363 HAS SOUS 75369 HAS SOUPS 74421 WITH SCORE 74572.574
AT ITER 1847 NEW BEST:: SOT 300085 SOS 150726 HAS SOPS 145515 HAS SOUS 75358 HAS SOUPS 74410 WITH SCORE 74560.726
AT ITER 1890 NEW BEST:: SOT 300085 SOS 150726 HAS SOPS 145515 HAS SOUS 75254 HAS SOUPS 74306 WITH SCORE 74456.726
AT ITER 1901 NEW BEST:: SOT 300078 SOS 150720 HAS SOPS 145509 HAS SOUS 75245 HAS SOUPS 74297 WITH SCORE 74447.72
AT ITER 1904 NEW BEST:: SOT 299929 SOS 150584 HAS SOPS 145373 HAS SOUS 75081 HAS SOUPS 74133 WITH SCORE 74283.584
AT ITER 1911 NEW BEST:: SOT 299904 SOS 150659 HAS SOPS 145298 HAS SOUS 75031 HAS SOUPS 74058 WITH SCORE 74208.659
AT ITER 1921 NEW BEST:: SOT 299904 SOS 150653 HAS SOPS 145292 HAS SOUS 75025 HAS SOUPS 74052 WITH SCORE 74202.653
AT ITER 1934 NEW BEST:: SOT 299850 SOS 150599 HAS SOPS 145238 HAS SOUS 74890 HAS SOUPS 73917 WITH SCORE 74067.599
AT ITER 1935 NEW BEST:: SOT 300145 SOS 150894 HAS SOPS 145533 HAS SOUS 74837 HAS SOUPS 73864 WITH SCORE 74014.894
AT ITER 1944 NEW BEST:: SOT 300032 SOS 150765 HAS SOPS 145404 HAS SOUS 74800 HAS SOUPS 73827 WITH SCORE 73977.765
AT ITER 1945 NEW BEST:: SOT 299960 SOS 150693 HAS SOPS 145332 HAS SOUS 74767 HAS SOUPS 73794 WITH SCORE 73944.693
AT ITER 1949 NEW BEST:: SOT 299960 SOS 148692 HAS SOPS 143331 HAS SOUS 74767 HAS SOUPS 73794 WITH SCORE 73942.692
AT ITER 1964 NEW BEST:: SOT 300132 SOS 148806 HAS SOPS 143445 HAS SOUS 74624 HAS SOUPS 73651 WITH SCORE 73799.806
AT ITER 1981 NEW BEST:: SOT 299976 SOS 148781 HAS SOPS 143420 HAS SOUS 74574 HAS SOUPS 73601 WITH SCORE 73749.781
AT ITER 2018 NEW BEST:: SOT 299976 SOS 148775 HAS SOPS 143420 HAS SOUS 74573 HAS SOUPS 73601 WITH SCORE 73749.775
AT ITER 2021 NEW BEST:: SOT 299970 SOS 148769 HAS SOPS 143414 HAS SOUS 74503 HAS SOUPS 73531 WITH SCORE 73679.769
AT ITER 2029 NEW BEST:: SOT 299954 SOS 148737 HAS SOPS 143382 HAS SOUS 74471 HAS SOUPS 73499 WITH SCORE 73647.737
AT ITER 2047 NEW BEST:: SOT 298047 SOS 146808 HAS SOPS 141453 HAS SOUS 72719 HAS SOUPS 71747 WITH SCORE 71893.808
AT ITER 2049 NEW BEST:: SOT 298027 SOS 146795 HAS SOPS 141440 HAS SOUS 72713 HAS SOUPS 71741 WITH SCORE 71887.795
AT ITER 2064 NEW BEST:: SOT 297957 SOS 146677 HAS SOPS 141322 HAS SOUS 72597 HAS SOUPS 71625 WITH SCORE 71771.677
AT ITER 2065 NEW BEST:: SOT 298725 SOS 147445 HAS SOPS 142090 HAS SOUS 72590 HAS SOUPS 71618 WITH SCORE 71765.445
AT ITER 2074 NEW BEST:: SOT 298658 SOS 147378 HAS SOPS 142023 HAS SOUS 72577 HAS SOUPS 71605 WITH SCORE 71752.378
AT ITER 2077 NEW BEST:: SOT 298641 SOS 147361 HAS SOPS 142006 HAS SOUS 72556 HAS SOUPS 71584 WITH SCORE 71731.361
AT ITER 2081 NEW BEST:: SOT 299077 SOS 147826 HAS SOPS 142471 HAS SOUS 72472 HAS SOUPS 71500 WITH SCORE 71647.826
AT ITER 2082 NEW BEST:: SOT 299095 SOS 147844 HAS SOPS 142489 HAS SOUS 72418 HAS SOUPS 71446 WITH SCORE 71593.844
AT ITER 2089 NEW BEST:: SOT 299092 SOS 147838 HAS SOPS 142483 HAS SOUS 72412 HAS SOUPS 71440 WITH SCORE 71587.838
AT ITER 2113 NEW BEST:: SOT 298900 SOS 147646 HAS SOPS 142291 HAS SOUS 72255 HAS SOUPS 71283 WITH SCORE 71430.646
AT ITER 2141 NEW BEST:: SOT 298897 SOS 147643 HAS SOPS 142288 HAS SOUS 72252 HAS SOUPS 71280 WITH SCORE 71427.643
AT ITER 2163 NEW BEST:: SOT 298897 SOS 147643 HAS SOPS 142288 HAS SOUS 72250 HAS SOUPS 71278 WITH SCORE 71425.643
AT ITER 2167 NEW BEST:: SOT 298897 SOS 147660 HAS SOPS 142305 HAS SOUS 72216 HAS SOUPS 71244 WITH SCORE 71391.66
AT ITER 2175 NEW BEST:: SOT 298894 SOS 147657 HAS SOPS 142302 HAS SOUS 72196 HAS SOUPS 71224 WITH SCORE 71371.657
AT ITER 2197 NEW BEST:: SOT 298913 SOS 147404 HAS SOPS 141748 HAS SOUS 72121 HAS SOUPS 71117 WITH SCORE 71264.404
AT ITER 2212 NEW BEST:: SOT 298980 SOS 147439 HAS SOPS 141783 HAS SOUS 71604 HAS SOUPS 70600 WITH SCORE 70747.439
AT ITER 2229 NEW BEST:: SOT 298970 SOS 147429 HAS SOPS 141773 HAS SOUS 71547 HAS SOUPS 70543 WITH SCORE 70690.429
AT ITER 2279 NEW BEST:: SOT 298986 SOS 147445 HAS SOPS 141789 HAS SOUS 71531 HAS SOUPS 70527 WITH SCORE 70674.445
AT ITER 2303 NEW BEST:: SOT 298979 SOS 147438 HAS SOPS 141782 HAS SOUS 71506 HAS SOUPS 70502 WITH SCORE 70649.438
AT ITER 2323 NEW BEST:: SOT 298960 SOS 147468 HAS SOPS 141812 HAS SOUS 71505 HAS SOUPS 70501 WITH SCORE 70648.468
AT ITER 2326 NEW BEST:: SOT 298934 SOS 147436 HAS SOPS 141780 HAS SOUS 71453 HAS SOUPS 70449 WITH SCORE 70596.436
AT ITER 2336 NEW BEST:: SOT 298909 SOS 147371 HAS SOPS 141715 HAS SOUS 71403 HAS SOUPS 70399 WITH SCORE 70546.371
AT ITER 2339 NEW BEST:: SOT 298834 SOS 147296 HAS SOPS 141640 HAS SOUS 71253 HAS SOUPS 70249 WITH SCORE 70396.296
AT ITER 2348 NEW BEST:: SOT 298660 SOS 146799 HAS SOPS 141143 HAS SOUS 70916 HAS SOUPS 69912 WITH SCORE 70058.799
AT ITER 2349 NEW BEST:: SOT 298602 SOS 146654 HAS SOPS 140998 HAS SOUS 70913 HAS SOUPS 69909 WITH SCORE 70055.654
AT ITER 2372 NEW BEST:: SOT 298602 SOS 146675 HAS SOPS 141033 HAS SOUS 70822 HAS SOUPS 69818 WITH SCORE 69964.675
AT ITER 2382 NEW BEST:: SOT 298553 SOS 146626 HAS SOPS 140984 HAS SOUS 70773 HAS SOUPS 69769 WITH SCORE 69915.626
AT ITER 2389 NEW BEST:: SOT 299217 SOS 147189 HAS SOPS 141547 HAS SOUS 70437 HAS SOUPS 69433 WITH SCORE 69580.189
AT ITER 2392 NEW BEST:: SOT 299166 SOS 147138 HAS SOPS 141496 HAS SOUS 70335 HAS SOUPS 69331 WITH SCORE 69478.138
AT ITER 2400 NEW BEST:: SOT 299120 SOS 147061 HAS SOPS 141419 HAS SOUS 70256 HAS SOUPS 69252 WITH SCORE 69399.061
AT ITER 2432 NEW BEST:: SOT 299073 SOS 147014 HAS SOPS 141372 HAS SOUS 70235 HAS SOUPS 69231 WITH SCORE 69378.014
AT ITER 2445 NEW BEST:: SOT 299073 SOS 147014 HAS SOPS 141372 HAS SOUS 70222 HAS SOUPS 69218 WITH SCORE 69365.014
AT ITER 2447 NEW BEST:: SOT 298916 SOS 147151 HAS SOPS 141509 HAS SOUS 70055 HAS SOUPS 69051 WITH SCORE 69198.151
AT ITER 2464 NEW BEST:: SOT 298818 SOS 147057 HAS SOPS 141415 HAS SOUS 69943 HAS SOUPS 68939 WITH SCORE 69086.057
AT ITER 2504 NEW BEST:: SOT 298767 SOS 146972 HAS SOPS 141330 HAS SOUS 69858 HAS SOUPS 68854 WITH SCORE 69000.972
AT ITER 2525 NEW BEST:: SOT 298715 SOS 146920 HAS SOPS 141278 HAS SOUS 69767 HAS SOUPS 68763 WITH SCORE 68909.92
AT ITER 2527 NEW BEST:: SOT 298706 SOS 146902 HAS SOPS 141260 HAS SOUS 69749 HAS SOUPS 68745 WITH SCORE 68891.902
AT ITER 2538 NEW BEST:: SOT 298750 SOS 146946 HAS SOPS 141304 HAS SOUS 69747 HAS SOUPS 68743 WITH SCORE 68889.946
AT ITER 2564 NEW BEST:: SOT 298749 SOS 146945 HAS SOPS 141303 HAS SOUS 69746 HAS SOUPS 68742 WITH SCORE 68888.945
AT ITER 2606 NEW BEST:: SOT 298804 SOS 146982 HAS SOPS 141340 HAS SOUS 69653 HAS SOUPS 68649 WITH SCORE 68795.982
AT ITER 2609 NEW BEST:: SOT 298689 SOS 146873 HAS SOPS 141231 HAS SOUS 69533 HAS SOUPS 68529 WITH SCORE 68675.873
AT ITER 2611 NEW BEST:: SOT 298659 SOS 146843 HAS SOPS 141201 HAS SOUS 69503 HAS SOUPS 68499 WITH SCORE 68645.843
AT ITER 2628 NEW BEST:: SOT 298503 SOS 146699 HAS SOPS 141057 HAS SOUS 69395 HAS SOUPS 68391 WITH SCORE 68537.699
AT ITER 2635 NEW BEST:: SOT 298503 SOS 146306 HAS SOPS 140664 HAS SOUS 69395 HAS SOUPS 68391 WITH SCORE 68537.306
AT ITER 2659 NEW BEST:: SOT 298254 SOS 146115 HAS SOPS 140473 HAS SOUS 69279 HAS SOUPS 68275 WITH SCORE 68421.115
AT ITER 2660 NEW BEST:: SOT 298254 SOS 146113 HAS SOPS 140471 HAS SOUS 69279 HAS SOUPS 68275 WITH SCORE 68421.113
AT ITER 2663 NEW BEST:: SOT 297981 SOS 145921 HAS SOPS 140279 HAS SOUS 69200 HAS SOUPS 68196 WITH SCORE 68341.921
AT ITER 2680 NEW BEST:: SOT 297965 SOS 145944 HAS SOPS 140357 HAS SOUS 69171 HAS SOUPS 68167 WITH SCORE 68312.944
AT ITER 2687 NEW BEST:: SOT 297951 SOS 145944 HAS SOPS 140357 HAS SOUS 69157 HAS SOUPS 68153 WITH SCORE 68298.944
AT ITER 2703 NEW BEST:: SOT 297950 SOS 145943 HAS SOPS 140354 HAS SOUS 69154 HAS SOUPS 68150 WITH SCORE 68295.943
AT ITER 2708 NEW BEST:: SOT 297948 SOS 145942 HAS SOPS 140353 HAS SOUS 69151 HAS SOUPS 68147 WITH SCORE 68292.942
AT ITER 2715 NEW BEST:: SOT 297912 SOS 145870 HAS SOPS 140281 HAS SOUS 69079 HAS SOUPS 68075 WITH SCORE 68220.87
AT ITER 2732 NEW BEST:: SOT 298528 SOS 146397 HAS SOPS 140808 HAS SOUS 68641 HAS SOUPS 67637 WITH SCORE 67783.397
AT ITER 2735 NEW BEST:: SOT 298441 SOS 146310 HAS SOPS 140721 HAS SOUS 68554 HAS SOUPS 67550 WITH SCORE 67696.31
AT ITER 2747 NEW BEST:: SOT 298441 SOS 145203 HAS SOPS 139614 HAS SOUS 68554 HAS SOUPS 67550 WITH SCORE 67695.203
AT ITER 2784 NEW BEST:: SOT 298364 SOS 145120 HAS SOPS 139531 HAS SOUS 68507 HAS SOUPS 67503 WITH SCORE 67648.12
AT ITER 2837 NEW BEST:: SOT 298359 SOS 145115 HAS SOPS 139526 HAS SOUS 68502 HAS SOUPS 67498 WITH SCORE 67643.115
AT ITER 2873 NEW BEST:: SOT 298332 SOS 145342 HAS SOPS 139753 HAS SOUS 68429 HAS SOUPS 67425 WITH SCORE 67570.342
AT ITER 2881 NEW BEST:: SOT 298332 SOS 145321 HAS SOPS 139732 HAS SOUS 68429 HAS SOUPS 67425 WITH SCORE 67570.321
AT ITER 2904 NEW BEST:: SOT 298326 SOS 145402 HAS SOPS 139813 HAS SOUS 68425 HAS SOUPS 67421 WITH SCORE 67566.402
AT ITER 2935 NEW BEST:: SOT 297569 SOS 144645 HAS SOPS 139056 HAS SOUS 67976 HAS SOUPS 66972 WITH SCORE 67116.645
AT ITER 2943 NEW BEST:: SOT 297521 SOS 144597 HAS SOPS 139008 HAS SOUS 67928 HAS SOUPS 66924 WITH SCORE 67068.597
AT ITER 2956 NEW BEST:: SOT 297522 SOS 144676 HAS SOPS 138679 HAS SOUS 67973 HAS SOUPS 66901 WITH SCORE 67045.676
AT ITER 2965 NEW BEST:: SOT 297474 SOS 144616 HAS SOPS 138600 HAS SOUS 67894 HAS SOUPS 66822 WITH SCORE 66966.616
AT ITER 2968 NEW BEST:: SOT 297450 SOS 144592 HAS SOPS 138576 HAS SOUS 67822 HAS SOUPS 66750 WITH SCORE 66894.592
AT ITER 2977 NEW BEST:: SOT 297433 SOS 144575 HAS SOPS 138559 HAS SOUS 67822 HAS SOUPS 66750 WITH SCORE 66894.575
AT ITER 2979 NEW BEST:: SOT 297428 SOS 144585 HAS SOPS 138569 HAS SOUS 67817 HAS SOUPS 66745 WITH SCORE 66889.585
AT ITER 2997 NEW BEST:: SOT 297428 SOS 144508 HAS SOPS 138492 HAS SOUS 67817 HAS SOUPS 66745 WITH SCORE 66889.508
AT ITER 3002 NEW BEST:: SOT 297377 SOS 144457 HAS SOPS 138441 HAS SOUS 67738 HAS SOUPS 66666 WITH SCORE 66810.457
AT ITER 3023 NEW BEST:: SOT 297713 SOS 143340 HAS SOPS 137324 HAS SOUS 67434 HAS SOUPS 66362 WITH SCORE 66505.34
AT ITER 3032 NEW BEST:: SOT 297673 SOS 143310 HAS SOPS 137294 HAS SOUS 67364 HAS SOUPS 66292 WITH SCORE 66435.31
AT ITER 3034 NEW BEST:: SOT 297673 SOS 143313 HAS SOPS 137291 HAS SOUS 67367 HAS SOUPS 66289 WITH SCORE 66432.313
AT ITER 3035 NEW BEST:: SOT 297693 SOS 143333 HAS SOPS 137311 HAS SOUS 67348 HAS SOUPS 66270 WITH SCORE 66413.333
AT ITER 3044 NEW BEST:: SOT 297690 SOS 143328 HAS SOPS 137306 HAS SOUS 67343 HAS SOUPS 66265 WITH SCORE 66408.328
AT ITER 3055 NEW BEST:: SOT 297674 SOS 143300 HAS SOPS 137278 HAS SOUS 67315 HAS SOUPS 66237 WITH SCORE 66380.3
AT ITER 3077 NEW BEST:: SOT 297669 SOS 143295 HAS SOPS 137273 HAS SOUS 67310 HAS SOUPS 66232 WITH SCORE 66375.295
AT ITER 3096 NEW BEST:: SOT 297651 SOS 143268 HAS SOPS 137246 HAS SOUS 67256 HAS SOUPS 66178 WITH SCORE 66321.268
AT ITER 3115 NEW BEST:: SOT 297651 SOS 143252 HAS SOPS 137230 HAS SOUS 67240 HAS SOUPS 66162 WITH SCORE 66305.252
AT ITER 3119 NEW BEST:: SOT 297647 SOS 143248 HAS SOPS 137226 HAS SOUS 67232 HAS SOUPS 66154 WITH SCORE 66297.248
AT ITER 3137 NEW BEST:: SOT 297647 SOS 143236 HAS SOPS 137207 HAS SOUS 67139 HAS SOUPS 66061 WITH SCORE 66204.236
AT ITER 3138 NEW BEST:: SOT 297647 SOS 143237 HAS SOPS 137208 HAS SOUS 67138 HAS SOUPS 66060 WITH SCORE 66203.237
AT ITER 3156 NEW BEST:: SOT 297404 SOS 142986 HAS SOPS 136957 HAS SOUS 66835 HAS SOUPS 65757 WITH SCORE 65899.986
AT ITER 3200 NEW BEST:: SOT 297310 SOS 142798 HAS SOPS 136769 HAS SOUS 66647 HAS SOUPS 65569 WITH SCORE 65711.798
AT ITER 3206 NEW BEST:: SOT 297310 SOS 142740 HAS SOPS 136689 HAS SOUS 66567 HAS SOUPS 65489 WITH SCORE 65631.74
AT ITER 3208 NEW BEST:: SOT 297276 SOS 142639 HAS SOPS 136588 HAS SOUS 66552 HAS SOUPS 65474 WITH SCORE 65616.639
AT ITER 3219 NEW BEST:: SOT 297196 SOS 142550 HAS SOPS 136587 HAS SOUS 66464 HAS SOUPS 65474 WITH SCORE 65616.55
AT ITER 3253 NEW BEST:: SOT 296698 SOS 142064 HAS SOPS 136101 HAS SOUS 66221 HAS SOUPS 65231 WITH SCORE 65373.064
AT ITER 3269 NEW BEST:: SOT 296686 SOS 142046 HAS SOPS 136083 HAS SOUS 66209 HAS SOUPS 65219 WITH SCORE 65361.046
AT ITER 3277 NEW BEST:: SOT 296667 SOS 142008 HAS SOPS 136045 HAS SOUS 66198 HAS SOUPS 65208 WITH SCORE 65350.008
AT ITER 3284 NEW BEST:: SOT 296661 SOS 142002 HAS SOPS 136039 HAS SOUS 66102 HAS SOUPS 65112 WITH SCORE 65254.002
AT ITER 3332 NEW BEST:: SOT 296646 SOS 141987 HAS SOPS 136024 HAS SOUS 66102 HAS SOUPS 65112 WITH SCORE 65253.987
AT ITER 3344 NEW BEST:: SOT 296600 SOS 141941 HAS SOPS 135978 HAS SOUS 66079 HAS SOUPS 65089 WITH SCORE 65230.941
AT ITER 3359 NEW BEST:: SOT 296560 SOS 141901 HAS SOPS 135938 HAS SOUS 66069 HAS SOUPS 65079 WITH SCORE 65220.901
AT ITER 3365 NEW BEST:: SOT 296564 SOS 141905 HAS SOPS 135942 HAS SOUS 66049 HAS SOUPS 65059 WITH SCORE 65200.905
AT ITER 3366 NEW BEST:: SOT 296440 SOS 141049 HAS SOPS 135086 HAS SOUS 66003 HAS SOUPS 65013 WITH SCORE 65154.049
AT ITER 3368 NEW BEST:: SOT 296417 SOS 141040 HAS SOPS 135077 HAS SOUS 65957 HAS SOUPS 64967 WITH SCORE 65108.04
AT ITER 3372 NEW BEST:: SOT 296417 SOS 141033 HAS SOPS 135070 HAS SOUS 65941 HAS SOUPS 64951 WITH SCORE 65092.033
AT ITER 3398 NEW BEST:: SOT 296238 SOS 140873 HAS SOPS 134910 HAS SOUS 65718 HAS SOUPS 64728 WITH SCORE 64868.873
AT ITER 3424 NEW BEST:: SOT 296204 SOS 140807 HAS SOPS 134844 HAS SOUS 65638 HAS SOUPS 64648 WITH SCORE 64788.807
AT ITER 3505 NEW BEST:: SOT 296185 SOS 140788 HAS SOPS 134844 HAS SOUS 65619 HAS SOUPS 64629 WITH SCORE 64769.788
AT ITER 3513 NEW BEST:: SOT 296175 SOS 140778 HAS SOPS 134824 HAS SOUS 65619 HAS SOUPS 64629 WITH SCORE 64769.778
AT ITER 3542 NEW BEST:: SOT 295932 SOS 139965 HAS SOPS 134011 HAS SOUS 65323 HAS SOUPS 64333 WITH SCORE 64472.965
AT ITER 3547 NEW BEST:: SOT 295880 SOS 139913 HAS SOPS 133959 HAS SOUS 65279 HAS SOUPS 64289 WITH SCORE 64428.913
AT ITER 3550 NEW BEST:: SOT 295663 SOS 139753 HAS SOPS 133799 HAS SOUS 65127 HAS SOUPS 64137 WITH SCORE 64276.753
AT ITER 3577 NEW BEST:: SOT 295663 SOS 139747 HAS SOPS 133793 HAS SOUS 65107 HAS SOUPS 64117 WITH SCORE 64256.747
AT ITER 3584 NEW BEST:: SOT 295428 SOS 139594 HAS SOPS 133640 HAS SOUS 64845 HAS SOUPS 63855 WITH SCORE 63994.594
AT ITER 3607 NEW BEST:: SOT 295405 SOS 139408 HAS SOPS 133454 HAS SOUS 64659 HAS SOUPS 63669 WITH SCORE 63808.408
AT ITER 3609 NEW BEST:: SOT 295383 SOS 139386 HAS SOPS 133418 HAS SOUS 64614 HAS SOUPS 63624 WITH SCORE 63763.386
AT ITER 3626 NEW BEST:: SOT 295380 SOS 139383 HAS SOPS 133415 HAS SOUS 64608 HAS SOUPS 63618 WITH SCORE 63757.383
AT ITER 3627 NEW BEST:: SOT 295326 SOS 139293 HAS SOPS 133325 HAS SOUS 64518 HAS SOUPS 63528 WITH SCORE 63667.293
AT ITER 3651 NEW BEST:: SOT 295308 SOS 139205 HAS SOPS 133237 HAS SOUS 64462 HAS SOUPS 63472 WITH SCORE 63611.205
AT ITER 3664 NEW BEST:: SOT 295304 SOS 139197 HAS SOPS 133229 HAS SOUS 64454 HAS SOUPS 63464 WITH SCORE 63603.197
AT ITER 3669 NEW BEST:: SOT 295126 SOS 139003 HAS SOPS 133035 HAS SOUS 64112 HAS SOUPS 63122 WITH SCORE 63261.003
AT ITER 3697 NEW BEST:: SOT 295135 SOS 139002 HAS SOPS 133034 HAS SOUS 64112 HAS SOUPS 63122 WITH SCORE 63261.002
AT ITER 3743 NEW BEST:: SOT 295087 SOS 138954 HAS SOPS 132986 HAS SOUS 64016 HAS SOUPS 63026 WITH SCORE 63164.954
AT ITER 3757 NEW BEST:: SOT 295070 SOS 139182 HAS SOPS 133214 HAS SOUS 63980 HAS SOUPS 62990 WITH SCORE 63129.182
AT ITER 3774 NEW BEST:: SOT 295068 SOS 139180 HAS SOPS 133212 HAS SOUS 63977 HAS SOUPS 62987 WITH SCORE 63126.18
AT ITER 3785 NEW BEST:: SOT 295052 SOS 139164 HAS SOPS 133196 HAS SOUS 63961 HAS SOUPS 62971 WITH SCORE 63110.164
AT ITER 3805 NEW BEST:: SOT 295052 SOS 139098 HAS SOPS 133130 HAS SOUS 63961 HAS SOUPS 62971 WITH SCORE 63110.098
AT ITER 3817 NEW BEST:: SOT 295089 SOS 139135 HAS SOPS 133144 HAS SOUS 63954 HAS SOUPS 62941 WITH SCORE 63080.135
AT ITER 3826 NEW BEST:: SOT 295083 SOS 139129 HAS SOPS 133138 HAS SOUS 63942 HAS SOUPS 62929 WITH SCORE 63068.129
AT ITER 3849 NEW BEST:: SOT 295063 SOS 139109 HAS SOPS 133118 HAS SOUS 63922 HAS SOUPS 62909 WITH SCORE 63048.109
AT ITER 3863 NEW BEST:: SOT 295036 SOS 139082 HAS SOPS 133091 HAS SOUS 63868 HAS SOUPS 62855 WITH SCORE 62994.082
AT ITER 3865 NEW BEST:: SOT 295036 SOS 139082 HAS SOPS 133091 HAS SOUS 63864 HAS SOUPS 62851 WITH SCORE 62990.082
AT ITER 3876 NEW BEST:: SOT 295030 SOS 139076 HAS SOPS 133085 HAS SOUS 63852 HAS SOUPS 62839 WITH SCORE 62978.076
AT ITER 3878 NEW BEST:: SOT 294998 SOS 139044 HAS SOPS 133053 HAS SOUS 63751 HAS SOUPS 62738 WITH SCORE 62877.044
AT ITER 3892 NEW BEST:: SOT 295027 SOS 139045 HAS SOPS 133054 HAS SOUS 63710 HAS SOUPS 62697 WITH SCORE 62836.045
AT ITER 3907 NEW BEST:: SOT 294567 SOS 138630 HAS SOPS 132639 HAS SOUS 63423 HAS SOUPS 62410 WITH SCORE 62548.63
AT ITER 3911 NEW BEST:: SOT 294563 SOS 138628 HAS SOPS 132637 HAS SOUS 63419 HAS SOUPS 62406 WITH SCORE 62544.628
AT ITER 3923 NEW BEST:: SOT 294545 SOS 138540 HAS SOPS 132549 HAS SOUS 63327 HAS SOUPS 62314 WITH SCORE 62452.54
AT ITER 3931 NEW BEST:: SOT 294539 SOS 138420 HAS SOPS 132429 HAS SOUS 63211 HAS SOUPS 62198 WITH SCORE 62336.42
AT ITER 3944 NEW BEST:: SOT 294531 SOS 138408 HAS SOPS 132417 HAS SOUS 63203 HAS SOUPS 62190 WITH SCORE 62328.408
AT ITER 3948 NEW BEST:: SOT 294520 SOS 138397 HAS SOPS 132417 HAS SOUS 63192 HAS SOUPS 62179 WITH SCORE 62317.397
AT ITER 3967 NEW BEST:: SOT 294348 SOS 138253 HAS SOPS 132273 HAS SOUS 63034 HAS SOUPS 62021 WITH SCORE 62159.253
AT ITER 3982 NEW BEST:: SOT 294270 SOS 138230 HAS SOPS 132250 HAS SOUS 62932 HAS SOUPS 61919 WITH SCORE 62057.23
AT ITER 3983 NEW BEST:: SOT 294276 SOS 138204 HAS SOPS 132224 HAS SOUS 62931 HAS SOUPS 61918 WITH SCORE 62056.204
AT ITER 3985 NEW BEST:: SOT 294270 SOS 138198 HAS SOPS 132218 HAS SOUS 62919 HAS SOUPS 61906 WITH SCORE 62044.198
AT ITER 4000 NEW BEST:: SOT 294253 SOS 138181 HAS SOPS 132201 HAS SOUS 62885 HAS SOUPS 61872 WITH SCORE 62010.181
AT ITER 4051 NEW BEST:: SOT 294276 SOS 138204 HAS SOPS 132193 HAS SOUS 62866 HAS SOUPS 61853 WITH SCORE 61991.204
AT ITER 4068 NEW BEST:: SOT 294176 SOS 138104 HAS SOPS 132093 HAS SOUS 62741 HAS SOUPS 61728 WITH SCORE 61866.104
AT ITER 4088 NEW BEST:: SOT 294178 SOS 138106 HAS SOPS 132095 HAS SOUS 62731 HAS SOUPS 61718 WITH SCORE 61856.106
AT ITER 4094 NEW BEST:: SOT 294175 SOS 138103 HAS SOPS 132092 HAS SOUS 62725 HAS SOUPS 61712 WITH SCORE 61850.103
AT ITER 4103 NEW BEST:: SOT 294042 SOS 137927 HAS SOPS 131916 HAS SOUS 62436 HAS SOUPS 61423 WITH SCORE 61560.927
AT ITER 4106 NEW BEST:: SOT 294039 SOS 137924 HAS SOPS 131913 HAS SOUS 62436 HAS SOUPS 61423 WITH SCORE 61560.924
AT ITER 4143 NEW BEST:: SOT 294019 SOS 137904 HAS SOPS 131889 HAS SOUS 62384 HAS SOUPS 61371 WITH SCORE 61508.904
AT ITER 4155 NEW BEST:: SOT 293959 SOS 137883 HAS SOPS 131868 HAS SOUS 62334 HAS SOUPS 61321 WITH SCORE 61458.883
AT ITER 4208 NEW BEST:: SOT 293915 SOS 137839 HAS SOPS 131824 HAS SOUS 62312 HAS SOUPS 61299 WITH SCORE 61436.839
AT ITER 4227 NEW BEST:: SOT 293876 SOS 137470 HAS SOPS 131455 HAS SOUS 62300 HAS SOUPS 61287 WITH SCORE 61424.47
AT ITER 4232 NEW BEST:: SOT 293847 SOS 137422 HAS SOPS 131407 HAS SOUS 62242 HAS SOUPS 61229 WITH SCORE 61366.422
AT ITER 4236 NEW BEST:: SOT 293847 SOS 137386 HAS SOPS 131371 HAS SOUS 62242 HAS SOUPS 61229 WITH SCORE 61366.386
AT ITER 4237 NEW BEST:: SOT 293833 SOS 137372 HAS SOPS 131357 HAS SOUS 62228 HAS SOUPS 61215 WITH SCORE 61352.372
AT ITER 4262 NEW BEST:: SOT 293768 SOS 136936 HAS SOPS 130921 HAS SOUS 61988 HAS SOUPS 60975 WITH SCORE 61111.936
AT ITER 4278 NEW BEST:: SOT 293716 SOS 136884 HAS SOPS 130869 HAS SOUS 61936 HAS SOUPS 60923 WITH SCORE 61059.884
AT ITER 4292 NEW BEST:: SOT 293716 SOS 136879 HAS SOPS 130864 HAS SOUS 61931 HAS SOUPS 60918 WITH SCORE 61054.879
AT ITER 4311 NEW BEST:: SOT 293706 SOS 136869 HAS SOPS 130854 HAS SOUS 61911 HAS SOUPS 60898 WITH SCORE 61034.869
AT ITER 4314 NEW BEST:: SOT 293636 SOS 136806 HAS SOPS 130791 HAS SOUS 61841 HAS SOUPS 60828 WITH SCORE 60964.806
AT ITER 4372 NEW BEST:: SOT 293592 SOS 136762 HAS SOPS 130747 HAS SOUS 61776 HAS SOUPS 60763 WITH SCORE 60899.762
AT ITER 4373 NEW BEST:: SOT 293550 SOS 136930 HAS SOPS 130691 HAS SOUS 61748 HAS SOUPS 60721 WITH SCORE 60857.93
AT ITER 4418 NEW BEST:: SOT 293502 SOS 136820 HAS SOPS 130581 HAS SOUS 61683 HAS SOUPS 60656 WITH SCORE 60792.82
AT ITER 4423 NEW BEST:: SOT 293487 SOS 136805 HAS SOPS 130566 HAS SOUS 61673 HAS SOUPS 60646 WITH SCORE 60782.805
AT ITER 4425 NEW BEST:: SOT 293487 SOS 137184 HAS SOPS 130777 HAS SOUS 61652 HAS SOUPS 60597 WITH SCORE 60734.184
AT ITER 4448 NEW BEST:: SOT 293533 SOS 137115 HAS SOPS 130708 HAS SOUS 61572 HAS SOUPS 60517 WITH SCORE 60654.115
AT ITER 4450 NEW BEST:: SOT 293465 SOS 137047 HAS SOPS 130640 HAS SOUS 61504 HAS SOUPS 60449 WITH SCORE 60586.047
AT ITER 4471 NEW BEST:: SOT 293428 SOS 137023 HAS SOPS 130589 HAS SOUS 61453 HAS SOUPS 60398 WITH SCORE 60535.023
AT ITER 4473 NEW BEST:: SOT 293424 SOS 137017 HAS SOPS 130583 HAS SOUS 61447 HAS SOUPS 60392 WITH SCORE 60529.017
AT ITER 4518 NEW BEST:: SOT 293411 SOS 136997 HAS SOPS 130563 HAS SOUS 61421 HAS SOUPS 60366 WITH SCORE 60502.997
AT ITER 4521 NEW BEST:: SOT 293378 SOS 136997 HAS SOPS 130563 HAS SOUS 61388 HAS SOUPS 60333 WITH SCORE 60469.997
AT ITER 4529 NEW BEST:: SOT 293376 SOS 136975 HAS SOPS 130430 HAS SOUS 61233 HAS SOUPS 60178 WITH SCORE 60314.975
AT ITER 4533 NEW BEST:: SOT 293403 SOS 136978 HAS SOPS 130433 HAS SOUS 61173 HAS SOUPS 60118 WITH SCORE 60254.978
AT ITER 4546 NEW BEST:: SOT 293375 SOS 136950 HAS SOPS 130383 HAS SOUS 61138 HAS SOUPS 60083 WITH SCORE 60219.95
AT ITER 4581 NEW BEST:: SOT 293347 SOS 136855 HAS SOPS 130708 HAS SOUS 61043 HAS SOUPS 60058 WITH SCORE 60194.855
AT ITER 4603 NEW BEST:: SOT 293361 SOS 136834 HAS SOPS 130687 HAS SOUS 61019 HAS SOUPS 60034 WITH SCORE 60170.834
AT ITER 4624 NEW BEST:: SOT 292869 SOS 136342 HAS SOPS 130195 HAS SOUS 60854 HAS SOUPS 59869 WITH SCORE 60005.342
AT ITER 4656 NEW BEST:: SOT 292853 SOS 136310 HAS SOPS 130163 HAS SOUS 60822 HAS SOUPS 59837 WITH SCORE 59973.31
AT ITER 4666 NEW BEST:: SOT 292844 SOS 136301 HAS SOPS 130154 HAS SOUS 60808 HAS SOUPS 59823 WITH SCORE 59959.301
AT ITER 4693 NEW BEST:: SOT 292843 SOS 136300 HAS SOPS 130153 HAS SOUS 60806 HAS SOUPS 59821 WITH SCORE 59957.3
AT ITER 4707 NEW BEST:: SOT 292843 SOS 136240 HAS SOPS 130093 HAS SOUS 60806 HAS SOUPS 59821 WITH SCORE 59957.24
AT ITER 4723 NEW BEST:: SOT 292840 SOS 136237 HAS SOPS 130090 HAS SOUS 60641 HAS SOUPS 59656 WITH SCORE 59792.237
AT ITER 4728 NEW BEST:: SOT 292714 SOS 136120 HAS SOPS 129973 HAS SOUS 60482 HAS SOUPS 59497 WITH SCORE 59633.12
AT ITER 4745 NEW BEST:: SOT 292687 SOS 136093 HAS SOPS 129946 HAS SOUS 60463 HAS SOUPS 59478 WITH SCORE 59614.093
AT ITER 4759 NEW BEST:: SOT 292592 SOS 136051 HAS SOPS 129904 HAS SOUS 60359 HAS SOUPS 59374 WITH SCORE 59510.051
AT ITER 4794 NEW BEST:: SOT 292592 SOS 135979 HAS SOPS 129832 HAS SOUS 60287 HAS SOUPS 59302 WITH SCORE 59437.979
AT ITER 4801 NEW BEST:: SOT 292574 SOS 135961 HAS SOPS 129787 HAS SOUS 60266 HAS SOUPS 59281 WITH SCORE 59416.961
AT ITER 4822 NEW BEST:: SOT 292566 SOS 135953 HAS SOPS 129779 HAS SOUS 60250 HAS SOUPS 59265 WITH SCORE 59400.953
AT ITER 4827 NEW BEST:: SOT 292545 SOS 136037 HAS SOPS 129863 HAS SOUS 60208 HAS SOUPS 59223 WITH SCORE 59359.037
AT ITER 4842 NEW BEST:: SOT 292284 SOS 135799 HAS SOPS 129625 HAS SOUS 60175 HAS SOUPS 59190 WITH SCORE 59325.799
AT ITER 4865 NEW BEST:: SOT 292264 SOS 135759 HAS SOPS 129585 HAS SOUS 60135 HAS SOUPS 59150 WITH SCORE 59285.759
AT ITER 4940 NEW BEST:: SOT 292215 SOS 135710 HAS SOPS 129540 HAS SOUS 60099 HAS SOUPS 59118 WITH SCORE 59253.71
AT ITER 4947 NEW BEST:: SOT 292405 SOS 135870 HAS SOPS 129700 HAS SOUS 59909 HAS SOUPS 58928 WITH SCORE 59063.87
AT ITER 4966 NEW BEST:: SOT 292405 SOS 135935 HAS SOPS 129765 HAS SOUS 59900 HAS SOUPS 58919 WITH SCORE 59054.935
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-00 (EG( ( ( (! potential( ( 3 ) <= (tk(P26) + tk(P63) + tk(P168) + tk(P244) + tk(P357) + tk(P421)) )) & potential( (tk(P26) + tk(P63) + tk(P168) + tk(P244) + tk(P357) + tk(P421)) <= (tk(P14)) ) ) | (AG( potential( (tk(P7) + tk(P39) + tk(P41) + tk(P46) + tk(P53) + tk(P56) + tk(P70) + tk(P81) + tk(P105) + tk(P119) + tk(P142) + tk(P165) + tk(P171) + tk(P186) + tk(P188) + tk(P205) + tk(P216) + tk(P231) + tk(P250) + tk(P259) + tk(P261) + tk(P266) + tk(P279) + tk(P302) + tk(P327) + tk(P347) + tk(P350) + tk(P368) + tk(P385) + tk(P387) + tk(P394) + tk(P402) + tk(P438) + tk(P442) + tk(P443) + tk(P451) + tk(P453) + tk(P480) + tk(P484) + tk(P503) + tk(P509) + tk(P535)) <= (tk(P77)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-01 ( (AG( ( potential( ( 2 ) <= (tk(P97) + tk(P112) + tk(P242) + tk(P255) + tk(P308) + tk(P498)) ) | ( potential( (tk(P148) + tk(P159) + tk(P184) + tk(P260) + tk(P323) + tk(P360)) <= (tk(P69) + tk(P100) + tk(P155) + tk(P218) + tk(P446) + tk(P515)) ) | potential( ( 2 ) <= (tk(P500)) ) ) ))) & ( potential( (tk(P68) + tk(P78) + tk(P111) + tk(P126) + tk(P172) + tk(P270) + tk(P289) + tk(P314) + tk(P318) + tk(P342) + tk(P408) + tk(P417) + tk(P481) + tk(P495)) <= (tk(P29) + tk(P60) + tk(P163) + tk(P226) + tk(P248) + tk(P536)) ) | (EX( ( potential( (tk(P10) + tk(P86) + tk(P124) + tk(P191) + tk(P324) + tk(P422)) <= (tk(P85) + tk(P204) + tk(P207) + tk(P282) + tk(P335) + tk(P375)) ) | potential( (tk(P148) + tk(P159) + tk(P184) + tk(P260) + tk(P323) + tk(P360)) <= (tk(P21) + tk(P181) + tk(P196) + tk(P222) + tk(P362) + tk(P376)) ) ))) ) )
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-02 (EF((AF(( potential( (tk(P254)) <= (tk(P32) + tk(P174) + tk(P236) + tk(P359) + tk(P429) + tk(P483)) ) & potential( ( 3 ) <= (tk(P384)) ) )))))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-03 (EG( ( ( ( potential( ( 3 ) <= (tk(P49) + tk(P123) + tk(P241) + tk(P273) + tk(P361) + tk(P406) + tk(P492)) ) & potential( (tk(P19) + tk(P80) + tk(P94) + tk(P194) + tk(P237) + tk(P253) + tk(P277) + tk(P310) + tk(P320) + tk(P403) + tk(P437) + tk(P487)) <= (tk(P2) + tk(P4) + tk(P9) + tk(P12) + tk(P15) + tk(P33) + tk(P44) + tk(P79) + tk(P82) + tk(P101) + tk(P147) + tk(P164) + tk(P175) + tk(P195) + tk(P197) + tk(P214) + tk(P219) + tk(P229) + tk(P232) + tk(P263) + tk(P300) + tk(P304) + tk(P325) + tk(P328) + tk(P330) + tk(P333) + tk(P356) + tk(P381) + tk(P396) + tk(P397) + tk(P404) + tk(P411) + tk(P412) + tk(P425) + tk(P430) + tk(P435) + tk(P464) + tk(P490) + tk(P501) + tk(P507) + tk(P516) + tk(P524)) ) ) | (! potential( (tk(P50) + tk(P134) + tk(P378) + tk(P439) + tk(P460) + tk(P533)) <= (tk(P37) + tk(P132) + tk(P221) + tk(P278) + tk(P454) + tk(P526)) )) ) | ( ( potential( ( 2 ) <= (tk(P76) + tk(P251) + tk(P326) + tk(P405) + tk(P415) + tk(P482) + tk(P525)) ) | potential( ( 2 ) <= (tk(P18) + tk(P40) + tk(P158) + tk(P202) + tk(P485) + tk(P511)) ) ) | potential( (tk(P11) + tk(P67) + tk(P110) + tk(P176) + tk(P275) + tk(P471)) <= (tk(P383)) ) ) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-04 ( (! (EF(( potential( ( 3 ) <= (tk(P34) + tk(P257) + tk(P267) + tk(P377) + tk(P436) + tk(P448)) ) & potential( (tk(P36) + tk(P65) + tk(P98) + tk(P114) + tk(P182) + tk(P209) + tk(P272) + tk(P281) + tk(P353) + tk(P365) + tk(P431) + tk(P473)) <= (tk(P332)) ) )))) & (! potential( ( 3 ) <= (tk(P108) + tk(P143) + tk(P283) + tk(P340) + tk(P447) + tk(P530)) )) )
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-05 (! (! ( (AF(potential( ( 1 ) <= (tk(P367)) ))) | (EG( potential( ( 2 ) <= (tk(P13) + tk(P74) + tk(P239) + tk(P284) + tk(P319) + tk(P393)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-06 ( (EF(potential( ( 3 ) <= (tk(P384)) ))) | potential( ( 1 ) <= (tk(P140) + tk(P228)) ) )
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-07 (AF(( (AX( potential( (tk(P433) + tk(P489)) <= (tk(P7) + tk(P39) + tk(P41) + tk(P46) + tk(P53) + tk(P56) + tk(P70) + tk(P81) + tk(P105) + tk(P119) + tk(P142) + tk(P165) + tk(P171) + tk(P186) + tk(P188) + tk(P205) + tk(P216) + tk(P231) + tk(P250) + tk(P259) + tk(P261) + tk(P266) + tk(P279) + tk(P302) + tk(P327) + tk(P347) + tk(P350) + tk(P368) + tk(P385) + tk(P387) + tk(P394) + tk(P402) + tk(P438) + tk(P442) + tk(P443) + tk(P451) + tk(P453) + tk(P480) + tk(P484) + tk(P503) + tk(P509) + tk(P535)) ))) | ( (! potential( (tk(P42) + tk(P136) + tk(P234) + tk(P413) + tk(P477) + tk(P521)) <= (tk(P59) + tk(P290) + tk(P321) + tk(P426) + tk(P486) + tk(P494)) )) | ( potential( ( 3 ) <= (tk(P108) + tk(P143) + tk(P283) + tk(P340) + tk(P447) + tk(P530)) ) | potential( ( 1 ) <= (tk(P58) + tk(P130) + tk(P187) + tk(P249) + tk(P479) + tk(P493)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-08 (EG( ( (! ( potential( (tk(P389)) <= (tk(P322)) ) & potential( ( 1 ) <= (tk(P91)) ) )) | (EG( potential( (tk(P456)) <= (tk(P527)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-09 (AG( potential( (tk(P525)) <= (tk(P233)) )))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-10 (AF((AG( potential( ( 2 ) <= (tk(P356)) )))))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-11 (! (AF(potential( ( 2 ) <= (tk(P80)) ))))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-12 ( (EU( ( potential( ( 1 ) <= (tk(P364)) ) & potential( (tk(P496)) <= (tk(P315)) ) ),( potential( (tk(P432)) <= (tk(P93)) ) & potential( (tk(P9)) <= (tk(P205)) ) ) )) & (EG( (AX( potential( (tk(P169)) <= (tk(P175)) ))))) )
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-13 (AF((EG( potential( (tk(P121)) <= (tk(P507)) )))))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-14 (EU( ( ( potential( ( 3 ) <= (tk(P465)) ) | potential( (tk(P44)) <= (tk(P328)) ) ) | potential( (tk(P194)) <= (tk(P389)) ) ),(! ( potential( (tk(P365)) <= (tk(P469)) ) & potential( (tk(P17)) <= (tk(P149)) ) )) ))
PROPERTY: PolyORBLF-PT-S02J06T06-CTLCardinality-15 (AG( (EF(( potential( (tk(P400)) <= (tk(P252)) ) | potential( (tk(P146)) <= (tk(P323)) ) )))))

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-S02J06T06"
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-S02J06T06, 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-158961354700435"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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