About the Execution of smart for DLCflexbar-PT-2a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15794.400 | 1614996.00 | 1615050.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000344.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 DLCflexbar-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.3K Mar 30 02:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 02:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 09:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 09:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 545K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589113239263
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 353 places, 2169 transitions, 8205 arcs.
AT ITER 0 NEW BEST:: SOT 507319 SOS 396791 HAS SOPS 211881 HAS SOUS 56559 HAS SOUPS 30267 WITH SCORE 30663.791
AT ITER 14 NEW BEST:: SOT 507317 SOS 396787 HAS SOPS 212085 HAS SOUS 56505 HAS SOUPS 30265 WITH SCORE 30661.787
AT ITER 18 NEW BEST:: SOT 506707 SOS 397215 HAS SOPS 211857 HAS SOUS 56073 HAS SOUPS 29833 WITH SCORE 30230.215
AT ITER 25 NEW BEST:: SOT 506705 SOS 397211 HAS SOPS 212277 HAS SOUS 55965 HAS SOUPS 29831 WITH SCORE 30228.211
AT ITER 31 NEW BEST:: SOT 506094 SOS 398221 HAS SOPS 212455 HAS SOUS 55532 HAS SOUPS 29398 WITH SCORE 29796.221
AT ITER 40 NEW BEST:: SOT 505456 SOS 399621 HAS SOPS 212871 HAS SOUS 55089 HAS SOUPS 28955 WITH SCORE 29354.621
AT ITER 66 NEW BEST:: SOT 505182 SOS 399371 HAS SOPS 214326 HAS SOUS 54860 HAS SOUPS 28726 WITH SCORE 29125.371
AT ITER 72 NEW BEST:: SOT 505164 SOS 399335 HAS SOPS 214326 HAS SOUS 54833 HAS SOUPS 28708 WITH SCORE 29107.335
AT ITER 81 NEW BEST:: SOT 505139 SOS 398549 HAS SOPS 213908 HAS SOUS 54811 HAS SOUPS 28702 WITH SCORE 29100.549
AT ITER 83 NEW BEST:: SOT 504731 SOS 398195 HAS SOPS 213230 HAS SOUS 53729 HAS SOUPS 27620 WITH SCORE 28018.195
AT ITER 95 NEW BEST:: SOT 504619 SOS 397971 HAS SOPS 213254 HAS SOUS 53503 HAS SOUPS 27456 WITH SCORE 27853.971
AT ITER 96 NEW BEST:: SOT 504593 SOS 397919 HAS SOPS 213494 HAS SOUS 53401 HAS SOUPS 27427 WITH SCORE 27824.919
AT ITER 101 NEW BEST:: SOT 504615 SOS 397435 HAS SOPS 213186 HAS SOUS 53381 HAS SOUPS 27407 WITH SCORE 27804.435
AT ITER 108 NEW BEST:: SOT 504609 SOS 397423 HAS SOPS 213174 HAS SOUS 53369 HAS SOUPS 27395 WITH SCORE 27792.423
AT ITER 116 NEW BEST:: SOT 504604 SOS 397477 HAS SOPS 212874 HAS SOUS 52635 HAS SOUPS 26661 WITH SCORE 27058.477
AT ITER 117 NEW BEST:: SOT 504113 SOS 398247 HAS SOPS 212908 HAS SOUS 52420 HAS SOUPS 26446 WITH SCORE 26844.247
AT ITER 118 NEW BEST:: SOT 504085 SOS 398191 HAS SOPS 212852 HAS SOUS 52370 HAS SOUPS 26396 WITH SCORE 26794.191
AT ITER 121 NEW BEST:: SOT 503218 SOS 397064 HAS SOPS 212199 HAS SOUS 52351 HAS SOUPS 26383 WITH SCORE 26780.064
AT ITER 123 NEW BEST:: SOT 503167 SOS 396826 HAS SOPS 212165 HAS SOUS 52246 HAS SOUPS 26329 WITH SCORE 26725.826
AT ITER 126 NEW BEST:: SOT 503190 SOS 396849 HAS SOPS 212112 HAS SOUS 52243 HAS SOUPS 26318 WITH SCORE 26714.849
AT ITER 135 NEW BEST:: SOT 503133 SOS 396735 HAS SOPS 211998 HAS SOUS 52128 HAS SOUPS 26203 WITH SCORE 26599.735
AT ITER 138 NEW BEST:: SOT 503130 SOS 396732 HAS SOPS 211995 HAS SOUS 52113 HAS SOUPS 26196 WITH SCORE 26592.732
AT ITER 140 NEW BEST:: SOT 503273 SOS 396815 HAS SOPS 212078 HAS SOUS 52082 HAS SOUPS 26194 WITH SCORE 26590.815
AT ITER 158 NEW BEST:: SOT 503263 SOS 396578 HAS SOPS 211841 HAS SOUS 52075 HAS SOUPS 26187 WITH SCORE 26583.578
AT ITER 162 NEW BEST:: SOT 503183 SOS 396418 HAS SOPS 211681 HAS SOUS 51995 HAS SOUPS 26107 WITH SCORE 26503.418
AT ITER 165 NEW BEST:: SOT 502593 SOS 396734 HAS SOPS 211357 HAS SOUS 51561 HAS SOUPS 25673 WITH SCORE 26069.734
AT ITER 183 NEW BEST:: SOT 502356 SOS 396438 HAS SOPS 211061 HAS SOUS 51272 HAS SOUPS 25384 WITH SCORE 25780.438
AT ITER 187 NEW BEST:: SOT 502016 SOS 396076 HAS SOPS 212426 HAS SOUS 51159 HAS SOUPS 25271 WITH SCORE 25667.076
AT ITER 188 NEW BEST:: SOT 501822 SOS 395688 HAS SOPS 212230 HAS SOUS 51030 HAS SOUPS 25190 WITH SCORE 25585.688
AT ITER 194 NEW BEST:: SOT 501819 SOS 395682 HAS SOPS 212224 HAS SOUS 51024 HAS SOUPS 25184 WITH SCORE 25579.682
AT ITER 209 NEW BEST:: SOT 501815 SOS 395678 HAS SOPS 212220 HAS SOUS 51020 HAS SOUPS 25180 WITH SCORE 25575.678
AT ITER 214 NEW BEST:: SOT 501815 SOS 395678 HAS SOPS 212220 HAS SOUS 50980 HAS SOUPS 25140 WITH SCORE 25535.678
AT ITER 239 NEW BEST:: SOT 501667 SOS 395604 HAS SOPS 212146 HAS SOUS 50906 HAS SOUPS 25066 WITH SCORE 25461.604
AT ITER 244 NEW BEST:: SOT 501363 SOS 394737 HAS SOPS 212973 HAS SOUS 50830 HAS SOUPS 24990 WITH SCORE 25384.737
AT ITER 251 NEW BEST:: SOT 500812 SOS 395023 HAS SOPS 212627 HAS SOUS 50378 HAS SOUPS 24538 WITH SCORE 24933.023
AT ITER 273 NEW BEST:: SOT 500812 SOS 394915 HAS SOPS 212627 HAS SOUS 50324 HAS SOUPS 24511 WITH SCORE 24905.915
AT ITER 282 NEW BEST:: SOT 500704 SOS 394483 HAS SOPS 212411 HAS SOUS 50106 HAS SOUPS 24347 WITH SCORE 24741.483
AT ITER 292 NEW BEST:: SOT 500692 SOS 394459 HAS SOPS 212387 HAS SOUS 50094 HAS SOUPS 24335 WITH SCORE 24729.459
AT ITER 298 NEW BEST:: SOT 500690 SOS 394455 HAS SOPS 212735 HAS SOUS 50004 HAS SOUPS 24333 WITH SCORE 24727.455
AT ITER 300 NEW BEST:: SOT 500447 SOS 393945 HAS SOPS 212225 HAS SOUS 49793 HAS SOUPS 24122 WITH SCORE 24515.945
AT ITER 301 NEW BEST:: SOT 500373 SOS 393797 HAS SOPS 212077 HAS SOUS 49719 HAS SOUPS 24048 WITH SCORE 24441.797
AT ITER 314 NEW BEST:: SOT 500373 SOS 393797 HAS SOPS 212077 HAS SOUS 49717 HAS SOUPS 24046 WITH SCORE 24439.797
AT ITER 336 NEW BEST:: SOT 500369 SOS 393309 HAS SOPS 211589 HAS SOUS 49717 HAS SOUPS 24046 WITH SCORE 24439.309
AT ITER 349 NEW BEST:: SOT 500333 SOS 393525 HAS SOPS 211709 HAS SOUS 49693 HAS SOUPS 24022 WITH SCORE 24415.525
AT ITER 359 NEW BEST:: SOT 500305 SOS 393497 HAS SOPS 211681 HAS SOUS 49665 HAS SOUPS 23994 WITH SCORE 24387.497
AT ITER 361 NEW BEST:: SOT 500293 SOS 393485 HAS SOPS 211669 HAS SOUS 49653 HAS SOUPS 23982 WITH SCORE 24375.485
AT ITER 364 NEW BEST:: SOT 500210 SOS 394347 HAS SOPS 211799 HAS SOUS 49562 HAS SOUPS 23830 WITH SCORE 24224.347
AT ITER 368 NEW BEST:: SOT 500204 SOS 394051 HAS SOPS 211787 HAS SOUS 49425 HAS SOUPS 23764 WITH SCORE 24158.051
AT ITER 369 NEW BEST:: SOT 500157 SOS 394004 HAS SOPS 211740 HAS SOUS 49372 HAS SOUPS 23711 WITH SCORE 24105.004
AT ITER 375 NEW BEST:: SOT 500138 SOS 393966 HAS SOPS 212022 HAS SOUS 49255 HAS SOUPS 23674 WITH SCORE 24067.966
AT ITER 379 NEW BEST:: SOT 500134 SOS 393962 HAS SOPS 212018 HAS SOUS 49251 HAS SOUPS 23670 WITH SCORE 24063.962
AT ITER 380 NEW BEST:: SOT 500134 SOS 393922 HAS SOPS 211978 HAS SOUS 49251 HAS SOUPS 23670 WITH SCORE 24063.922
AT ITER 384 NEW BEST:: SOT 500134 SOS 393922 HAS SOPS 211978 HAS SOUS 49247 HAS SOUPS 23666 WITH SCORE 24059.922
AT ITER 390 NEW BEST:: SOT 500134 SOS 393882 HAS SOPS 211938 HAS SOUS 49247 HAS SOUPS 23666 WITH SCORE 24059.882
AT ITER 392 NEW BEST:: SOT 500100 SOS 393814 HAS SOPS 212114 HAS SOUS 49125 HAS SOUPS 23605 WITH SCORE 23998.814
AT ITER 393 NEW BEST:: SOT 500083 SOS 393797 HAS SOPS 212097 HAS SOUS 49108 HAS SOUPS 23588 WITH SCORE 23981.797
AT ITER 404 NEW BEST:: SOT 500044 SOS 393719 HAS SOPS 212131 HAS SOUS 49013 HAS SOUPS 23521 WITH SCORE 23914.719
AT ITER 407 NEW BEST:: SOT 500021 SOS 392957 HAS SOPS 212088 HAS SOUS 48924 HAS SOUPS 23445 WITH SCORE 23837.957
AT ITER 424 NEW BEST:: SOT 499768 SOS 393351 HAS SOPS 211942 HAS SOUS 48863 HAS SOUPS 23339 WITH SCORE 23732.351
AT ITER 426 NEW BEST:: SOT 499757 SOS 393307 HAS SOPS 211898 HAS SOUS 48862 HAS SOUPS 23338 WITH SCORE 23731.307
AT ITER 435 NEW BEST:: SOT 499720 SOS 393233 HAS SOPS 211744 HAS SOUS 48805 HAS SOUPS 23261 WITH SCORE 23654.233
AT ITER 444 NEW BEST:: SOT 499639 SOS 393141 HAS SOPS 211718 HAS SOUS 48768 HAS SOUPS 23235 WITH SCORE 23628.141
AT ITER 455 NEW BEST:: SOT 499648 SOS 393159 HAS SOPS 212072 HAS SOUS 48683 HAS SOUPS 23234 WITH SCORE 23627.159
AT ITER 461 NEW BEST:: SOT 499659 SOS 392981 HAS SOPS 212014 HAS SOUS 48665 HAS SOUPS 23226 WITH SCORE 23618.981
AT ITER 462 NEW BEST:: SOT 499571 SOS 392805 HAS SOPS 211838 HAS SOUS 48536 HAS SOUPS 23097 WITH SCORE 23489.805
AT ITER 473 NEW BEST:: SOT 499094 SOS 393655 HAS SOPS 211970 HAS SOUS 48406 HAS SOUPS 22942 WITH SCORE 23335.655
AT ITER 486 NEW BEST:: SOT 499193 SOS 393902 HAS SOPS 212217 HAS SOUS 47539 HAS SOUPS 22075 WITH SCORE 22468.902
AT ITER 501 NEW BEST:: SOT 499153 SOS 393862 HAS SOPS 212177 HAS SOUS 47519 HAS SOUPS 22055 WITH SCORE 22448.862
AT ITER 514 NEW BEST:: SOT 496801 SOS 391556 HAS SOPS 211224 HAS SOUS 47526 HAS SOUPS 22046 WITH SCORE 22437.556
AT ITER 521 NEW BEST:: SOT 496801 SOS 391556 HAS SOPS 211224 HAS SOUS 47500 HAS SOUPS 22020 WITH SCORE 22411.556
AT ITER 524 NEW BEST:: SOT 496819 SOS 391592 HAS SOPS 211108 HAS SOUS 47515 HAS SOUPS 21997 WITH SCORE 22388.592
AT ITER 537 NEW BEST:: SOT 495485 SOS 390285 HAS SOPS 209801 HAS SOUS 47114 HAS SOUPS 21596 WITH SCORE 21986.285
AT ITER 538 NEW BEST:: SOT 495436 SOS 389991 HAS SOPS 209939 HAS SOUS 46978 HAS SOUPS 21568 WITH SCORE 21957.991
AT ITER 540 NEW BEST:: SOT 495432 SOS 389983 HAS SOPS 209931 HAS SOUS 46970 HAS SOUPS 21560 WITH SCORE 21949.983
AT ITER 546 NEW BEST:: SOT 495543 SOS 390033 HAS SOPS 209981 HAS SOUS 46955 HAS SOUPS 21545 WITH SCORE 21935.033
AT ITER 547 NEW BEST:: SOT 495483 SOS 390657 HAS SOPS 210357 HAS SOUS 46926 HAS SOUPS 21516 WITH SCORE 21906.657
AT ITER 550 NEW BEST:: SOT 495304 SOS 390495 HAS SOPS 210195 HAS SOUS 46860 HAS SOUPS 21450 WITH SCORE 21840.495
AT ITER 577 NEW BEST:: SOT 495304 SOS 390495 HAS SOPS 210195 HAS SOUS 46842 HAS SOUPS 21432 WITH SCORE 21822.495
AT ITER 598 NEW BEST:: SOT 495273 SOS 390433 HAS SOPS 210133 HAS SOUS 46811 HAS SOUPS 21401 WITH SCORE 21791.433
AT ITER 600 NEW BEST:: SOT 495252 SOS 390811 HAS SOPS 210112 HAS SOUS 46801 HAS SOUPS 21391 WITH SCORE 21781.811
AT ITER 601 NEW BEST:: SOT 494981 SOS 391741 HAS SOPS 210442 HAS SOUS 46735 HAS SOUPS 21325 WITH SCORE 21716.741
AT ITER 614 NEW BEST:: SOT 494933 SOS 392453 HAS SOPS 210850 HAS SOUS 46725 HAS SOUPS 21315 WITH SCORE 21707.453
AT ITER 629 NEW BEST:: SOT 494933 SOS 392313 HAS SOPS 210850 HAS SOUS 46668 HAS SOUPS 21293 WITH SCORE 21685.313
AT ITER 633 NEW BEST:: SOT 494776 SOS 391102 HAS SOPS 210378 HAS SOUS 47192 HAS SOUPS 21264 WITH SCORE 21655.102
AT ITER 641 NEW BEST:: SOT 494806 SOS 390562 HAS SOPS 210038 HAS SOUS 47191 HAS SOUPS 21263 WITH SCORE 21653.562
AT ITER 656 NEW BEST:: SOT 494798 SOS 383762 HAS SOPS 204503 HAS SOUS 47130 HAS SOUPS 21257 WITH SCORE 21640.762
AT ITER 665 NEW BEST:: SOT 495193 SOS 385206 HAS SOPS 204849 HAS SOUS 47012 HAS SOUPS 21078 WITH SCORE 21463.206
AT ITER 677 NEW BEST:: SOT 495210 SOS 384992 HAS SOPS 204743 HAS SOUS 47002 HAS SOUPS 21077 WITH SCORE 21461.992
AT ITER 688 NEW BEST:: SOT 495190 SOS 384952 HAS SOPS 204703 HAS SOUS 46982 HAS SOUPS 21057 WITH SCORE 21441.952
AT ITER 689 NEW BEST:: SOT 495019 SOS 385058 HAS SOPS 204533 HAS SOUS 46900 HAS SOUPS 20952 WITH SCORE 21337.058
AT ITER 690 NEW BEST:: SOT 495264 SOS 385303 HAS SOPS 204622 HAS SOUS 46819 HAS SOUPS 20871 WITH SCORE 21256.303
AT ITER 709 NEW BEST:: SOT 495172 SOS 385301 HAS SOPS 204706 HAS SOUS 46573 HAS SOUPS 20857 WITH SCORE 21242.301
AT ITER 712 NEW BEST:: SOT 495172 SOS 385301 HAS SOPS 204706 HAS SOUS 46530 HAS SOUPS 20814 WITH SCORE 21199.301
AT ITER 725 NEW BEST:: SOT 495076 SOS 385497 HAS SOPS 204686 HAS SOUS 46520 HAS SOUPS 20786 WITH SCORE 21171.497
AT ITER 734 NEW BEST:: SOT 495065 SOS 385475 HAS SOPS 204686 HAS SOUS 46509 HAS SOUPS 20786 WITH SCORE 21171.475
AT ITER 757 NEW BEST:: SOT 495009 SOS 385379 HAS SOPS 204670 HAS SOUS 46459 HAS SOUPS 20770 WITH SCORE 21155.379
AT ITER 767 NEW BEST:: SOT 495009 SOS 385379 HAS SOPS 204670 HAS SOUS 46445 HAS SOUPS 20756 WITH SCORE 21141.379
AT ITER 772 NEW BEST:: SOT 494961 SOS 385283 HAS SOPS 204762 HAS SOUS 46386 HAS SOUPS 20744 WITH SCORE 21129.283
AT ITER 781 NEW BEST:: SOT 494944 SOS 385222 HAS SOPS 204701 HAS SOUS 46378 HAS SOUPS 20736 WITH SCORE 21121.222
AT ITER 784 NEW BEST:: SOT 494928 SOS 385190 HAS SOPS 204669 HAS SOUS 46362 HAS SOUPS 20720 WITH SCORE 21105.19
AT ITER 789 NEW BEST:: SOT 494922 SOS 385178 HAS SOPS 204657 HAS SOUS 46362 HAS SOUPS 20720 WITH SCORE 21105.178
AT ITER 812 NEW BEST:: SOT 494922 SOS 385178 HAS SOPS 204657 HAS SOUS 46324 HAS SOUPS 20682 WITH SCORE 21067.178
AT ITER 871 NEW BEST:: SOT 494588 SOS 384510 HAS SOPS 204313 HAS SOUS 46103 HAS SOUPS 20542 WITH SCORE 20926.51
AT ITER 889 NEW BEST:: SOT 494626 SOS 384751 HAS SOPS 204228 HAS SOUS 46105 HAS SOUPS 20486 WITH SCORE 20870.751
AT ITER 896 NEW BEST:: SOT 494604 SOS 384707 HAS SOPS 204184 HAS SOUS 46078 HAS SOUPS 20459 WITH SCORE 20843.707
AT ITER 906 NEW BEST:: SOT 494604 SOS 384647 HAS SOPS 204172 HAS SOUS 46054 HAS SOUPS 20447 WITH SCORE 20831.647
AT ITER 911 NEW BEST:: SOT 494627 SOS 384716 HAS SOPS 204149 HAS SOUS 46051 HAS SOUPS 20406 WITH SCORE 20790.716
AT ITER 921 NEW BEST:: SOT 494668 SOS 383814 HAS SOPS 203575 HAS SOUS 46051 HAS SOUPS 20406 WITH SCORE 20789.814
AT ITER 933 NEW BEST:: SOT 494648 SOS 383794 HAS SOPS 203555 HAS SOUS 46029 HAS SOUPS 20384 WITH SCORE 20767.794
AT ITER 956 NEW BEST:: SOT 494632 SOS 383626 HAS SOPS 203611 HAS SOUS 45957 HAS SOUPS 20368 WITH SCORE 20751.626
AT ITER 994 NEW BEST:: SOT 494590 SOS 383542 HAS SOPS 203359 HAS SOUS 45957 HAS SOUPS 20326 WITH SCORE 20709.542
AT ITER 1006 NEW BEST:: SOT 494732 SOS 373674 HAS SOPS 195543 HAS SOUS 45799 HAS SOUPS 20168 WITH SCORE 20541.674
AT ITER 1016 NEW BEST:: SOT 494732 SOS 373674 HAS SOPS 195543 HAS SOUS 45773 HAS SOUPS 20142 WITH SCORE 20515.674
AT ITER 1037 NEW BEST:: SOT 494520 SOS 373250 HAS SOPS 195311 HAS SOUS 45685 HAS SOUPS 20102 WITH SCORE 20475.25
AT ITER 1040 NEW BEST:: SOT 494533 SOS 373276 HAS SOPS 195337 HAS SOUS 45664 HAS SOUPS 20081 WITH SCORE 20454.276
AT ITER 1058 NEW BEST:: SOT 494398 SOS 369926 HAS SOPS 195207 HAS SOUS 45498 HAS SOUPS 20055 WITH SCORE 20424.926
AT ITER 1062 NEW BEST:: SOT 493240 SOS 367846 HAS SOPS 194771 HAS SOUS 45404 HAS SOUPS 20057 WITH SCORE 20424.846
AT ITER 1075 NEW BEST:: SOT 493240 SOS 367906 HAS SOPS 194771 HAS SOUS 45404 HAS SOUPS 20042 WITH SCORE 20409.906
AT ITER 1093 NEW BEST:: SOT 493225 SOS 367876 HAS SOPS 194771 HAS SOUS 45369 HAS SOUPS 20022 WITH SCORE 20389.876
AT ITER 1094 NEW BEST:: SOT 493217 SOS 367860 HAS SOPS 194771 HAS SOUS 45355 HAS SOUPS 20016 WITH SCORE 20383.86
AT ITER 1124 NEW BEST:: SOT 493174 SOS 367774 HAS SOPS 194739 HAS SOUS 45280 HAS SOUPS 19968 WITH SCORE 20335.774
AT ITER 1137 NEW BEST:: SOT 493156 SOS 367754 HAS SOPS 194719 HAS SOUS 45269 HAS SOUPS 19957 WITH SCORE 20324.754
AT ITER 1138 NEW BEST:: SOT 493146 SOS 367734 HAS SOPS 194743 HAS SOUS 45249 HAS SOUPS 19948 WITH SCORE 20315.734
AT ITER 1152 NEW BEST:: SOT 493140 SOS 367722 HAS SOPS 194743 HAS SOUS 45233 HAS SOUPS 19938 WITH SCORE 20305.722
AT ITER 1161 NEW BEST:: SOT 493140 SOS 367722 HAS SOPS 194743 HAS SOUS 45199 HAS SOUPS 19904 WITH SCORE 20271.722
AT ITER 1169 NEW BEST:: SOT 493286 SOS 368132 HAS SOPS 192048 HAS SOUS 45247 HAS SOUPS 19817 WITH SCORE 20185.132
AT ITER 1179 NEW BEST:: SOT 493294 SOS 367848 HAS SOPS 192064 HAS SOUS 45156 HAS SOUPS 19801 WITH SCORE 20168.848
AT ITER 1189 NEW BEST:: SOT 493269 SOS 367798 HAS SOPS 192014 HAS SOUS 45131 HAS SOUPS 19776 WITH SCORE 20143.798
AT ITER 1201 NEW BEST:: SOT 493269 SOS 367750 HAS SOPS 191982 HAS SOUS 45129 HAS SOUPS 19774 WITH SCORE 20141.75
AT ITER 1202 NEW BEST:: SOT 491618 SOS 362292 HAS SOPS 191001 HAS SOUS 44983 HAS SOUPS 19711 WITH SCORE 20073.292
AT ITER 1215 NEW BEST:: SOT 491611 SOS 362278 HAS SOPS 190987 HAS SOUS 44975 HAS SOUPS 19703 WITH SCORE 20065.278
AT ITER 1217 NEW BEST:: SOT 491389 SOS 361970 HAS SOPS 190849 HAS SOUS 44955 HAS SOUPS 19700 WITH SCORE 20061.97
AT ITER 1268 NEW BEST:: SOT 491345 SOS 361926 HAS SOPS 190829 HAS SOUS 44951 HAS SOUPS 19696 WITH SCORE 20057.926
AT ITER 1288 NEW BEST:: SOT 491330 SOS 361911 HAS SOPS 190829 HAS SOUS 44947 HAS SOUPS 19692 WITH SCORE 20053.911
AT ITER 1292 NEW BEST:: SOT 491334 SOS 361823 HAS SOPS 190789 HAS SOUS 44943 HAS SOUPS 19692 WITH SCORE 20053.823
AT ITER 1306 NEW BEST:: SOT 491336 SOS 361625 HAS SOPS 190591 HAS SOUS 44904 HAS SOUPS 19653 WITH SCORE 20014.625
AT ITER 1321 NEW BEST:: SOT 491308 SOS 361609 HAS SOPS 190467 HAS SOUS 44902 HAS SOUPS 19624 WITH SCORE 19985.609
AT ITER 1326 NEW BEST:: SOT 490123 SOS 359951 HAS SOPS 189789 HAS SOUS 44804 HAS SOUPS 19624 WITH SCORE 19983.951
AT ITER 1332 NEW BEST:: SOT 490022 SOS 357937 HAS SOPS 187739 HAS SOUS 44811 HAS SOUPS 19611 WITH SCORE 19968.937
AT ITER 1350 NEW BEST:: SOT 489905 SOS 357742 HAS SOPS 187680 HAS SOUS 44714 HAS SOUPS 19558 WITH SCORE 19915.742
AT ITER 1377 NEW BEST:: SOT 489905 SOS 357742 HAS SOPS 187680 HAS SOUS 44702 HAS SOUPS 19546 WITH SCORE 19903.742
AT ITER 1389 NEW BEST:: SOT 489905 SOS 357742 HAS SOPS 187680 HAS SOUS 44688 HAS SOUPS 19532 WITH SCORE 19889.742
AT ITER 1432 NEW BEST:: SOT 489782 SOS 358643 HAS SOPS 188581 HAS SOUS 44618 HAS SOUPS 19462 WITH SCORE 19820.643
AT ITER 1450 NEW BEST:: SOT 489765 SOS 358609 HAS SOPS 188547 HAS SOUS 44608 HAS SOUPS 19452 WITH SCORE 19810.609
AT ITER 1470 NEW BEST:: SOT 489755 SOS 358589 HAS SOPS 188547 HAS SOUS 44598 HAS SOUPS 19452 WITH SCORE 19810.589
AT ITER 1472 NEW BEST:: SOT 489679 SOS 356397 HAS SOPS 187411 HAS SOUS 44508 HAS SOUPS 19450 WITH SCORE 19806.397
AT ITER 1486 NEW BEST:: SOT 489681 SOS 356353 HAS SOPS 187383 HAS SOUS 44508 HAS SOUPS 19450 WITH SCORE 19806.353
AT ITER 1498 NEW BEST:: SOT 490111 SOS 356848 HAS SOPS 187553 HAS SOUS 44466 HAS SOUPS 19379 WITH SCORE 19735.848
AT ITER 1506 NEW BEST:: SOT 490144 SOS 356881 HAS SOPS 187586 HAS SOUS 44461 HAS SOUPS 19374 WITH SCORE 19730.881
AT ITER 1514 NEW BEST:: SOT 490125 SOS 356453 HAS SOPS 187338 HAS SOUS 44423 HAS SOUPS 19351 WITH SCORE 19707.453
AT ITER 1520 NEW BEST:: SOT 490073 SOS 357021 HAS SOPS 187682 HAS SOUS 44399 HAS SOUPS 19327 WITH SCORE 19684.021
AT ITER 1566 NEW BEST:: SOT 490205 SOS 357197 HAS SOPS 187748 HAS SOUS 44388 HAS SOUPS 19305 WITH SCORE 19662.197
AT ITER 1623 NEW BEST:: SOT 490205 SOS 357197 HAS SOPS 187748 HAS SOUS 44380 HAS SOUPS 19297 WITH SCORE 19654.197
AT ITER 1626 NEW BEST:: SOT 490205 SOS 357197 HAS SOPS 187748 HAS SOUS 44376 HAS SOUPS 19293 WITH SCORE 19650.197
AT ITER 1631 NEW BEST:: SOT 490430 SOS 357444 HAS SOPS 187863 HAS SOUS 44347 HAS SOUPS 19264 WITH SCORE 19621.444
AT ITER 1684 NEW BEST:: SOT 490429 SOS 357446 HAS SOPS 187865 HAS SOUS 44346 HAS SOUPS 19263 WITH SCORE 19620.446
AT ITER 1696 NEW BEST:: SOT 490431 SOS 357449 HAS SOPS 187866 HAS SOUS 44300 HAS SOUPS 19216 WITH SCORE 19573.449
AT ITER 1703 NEW BEST:: SOT 488225 SOS 354323 HAS SOPS 186620 HAS SOUS 44086 HAS SOUPS 19190 WITH SCORE 19544.323
AT ITER 1724 NEW BEST:: SOT 487655 SOS 353591 HAS SOPS 186260 HAS SOUS 44038 HAS SOUPS 19166 WITH SCORE 19519.591
AT ITER 1725 NEW BEST:: SOT 487645 SOS 353597 HAS SOPS 186272 HAS SOUS 44006 HAS SOUPS 19164 WITH SCORE 19517.597
AT ITER 1733 NEW BEST:: SOT 486535 SOS 352181 HAS SOPS 185384 HAS SOUS 43975 HAS SOUPS 19133 WITH SCORE 19485.181
AT ITER 1750 NEW BEST:: SOT 486510 SOS 352143 HAS SOPS 184970 HAS SOUS 44011 HAS SOUPS 19075 WITH SCORE 19427.143
AT ITER 1763 NEW BEST:: SOT 486497 SOS 352169 HAS SOPS 184970 HAS SOUS 44002 HAS SOUPS 19066 WITH SCORE 19418.169
AT ITER 1766 NEW BEST:: SOT 486388 SOS 351524 HAS SOPS 184325 HAS SOUS 44001 HAS SOUPS 19053 WITH SCORE 19404.524
AT ITER 1775 NEW BEST:: SOT 486642 SOS 352695 HAS SOPS 184631 HAS SOUS 43709 HAS SOUPS 19006 WITH SCORE 19358.695
AT ITER 1803 NEW BEST:: SOT 486581 SOS 352634 HAS SOPS 184570 HAS SOUS 43586 HAS SOUPS 18883 WITH SCORE 19235.634
AT ITER 1805 NEW BEST:: SOT 486581 SOS 352634 HAS SOPS 184570 HAS SOUS 43566 HAS SOUPS 18863 WITH SCORE 19215.634
AT ITER 1826 NEW BEST:: SOT 486278 SOS 349948 HAS SOPS 182751 HAS SOUS 43523 HAS SOUPS 18850 WITH SCORE 19199.948
AT ITER 1842 NEW BEST:: SOT 486252 SOS 349828 HAS SOPS 182631 HAS SOUS 43474 HAS SOUPS 18801 WITH SCORE 19150.828
AT ITER 1860 NEW BEST:: SOT 486252 SOS 349828 HAS SOPS 182631 HAS SOUS 43460 HAS SOUPS 18787 WITH SCORE 19136.828
AT ITER 1865 NEW BEST:: SOT 486222 SOS 349912 HAS SOPS 182667 HAS SOUS 43459 HAS SOUPS 18786 WITH SCORE 19135.912
AT ITER 1930 NEW BEST:: SOT 486218 SOS 349904 HAS SOPS 182693 HAS SOUS 43455 HAS SOUPS 18782 WITH SCORE 19131.904
AT ITER 1949 NEW BEST:: SOT 486191 SOS 349877 HAS SOPS 182666 HAS SOUS 43429 HAS SOUPS 18756 WITH SCORE 19105.877
AT ITER 1973 NEW BEST:: SOT 486232 SOS 350280 HAS SOPS 182927 HAS SOUS 43431 HAS SOUPS 18753 WITH SCORE 19103.28
AT ITER 1986 NEW BEST:: SOT 486185 SOS 350186 HAS SOPS 182833 HAS SOUS 43365 HAS SOUPS 18687 WITH SCORE 19037.186
AT ITER 1987 NEW BEST:: SOT 486199 SOS 350207 HAS SOPS 182840 HAS SOUS 43339 HAS SOUPS 18654 WITH SCORE 19004.207
AT ITER 1991 NEW BEST:: SOT 486151 SOS 350151 HAS SOPS 182808 HAS SOUS 43339 HAS SOUPS 18654 WITH SCORE 19004.151
AT ITER 2004 NEW BEST:: SOT 486018 SOS 350785 HAS SOPS 182962 HAS SOUS 43356 HAS SOUPS 18631 WITH SCORE 18981.785
AT ITER 2006 NEW BEST:: SOT 486004 SOS 350757 HAS SOPS 182934 HAS SOUS 43340 HAS SOUPS 18615 WITH SCORE 18965.757
AT ITER 2011 NEW BEST:: SOT 485978 SOS 350705 HAS SOPS 182882 HAS SOUS 43314 HAS SOUPS 18589 WITH SCORE 18939.705
AT ITER 2034 NEW BEST:: SOT 485978 SOS 350706 HAS SOPS 182878 HAS SOUS 43314 HAS SOUPS 18588 WITH SCORE 18938.706
AT ITER 2041 NEW BEST:: SOT 485965 SOS 350848 HAS SOPS 183052 HAS SOUS 43303 HAS SOUPS 18585 WITH SCORE 18935.848
AT ITER 2057 NEW BEST:: SOT 485981 SOS 350880 HAS SOPS 183052 HAS SOUS 43291 HAS SOUPS 18565 WITH SCORE 18915.88
AT ITER 2088 NEW BEST:: SOT 486018 SOS 350954 HAS SOPS 182854 HAS SOUS 43290 HAS SOUPS 18496 WITH SCORE 18846.954
AT ITER 2110 NEW BEST:: SOT 485942 SOS 350783 HAS SOPS 182550 HAS SOUS 43271 HAS SOUPS 18477 WITH SCORE 18827.783
AT ITER 2114 NEW BEST:: SOT 485938 SOS 350775 HAS SOPS 182542 HAS SOUS 43270 HAS SOUPS 18476 WITH SCORE 18826.775
AT ITER 2148 NEW BEST:: SOT 485890 SOS 350679 HAS SOPS 182446 HAS SOUS 43222 HAS SOUPS 18428 WITH SCORE 18778.679
AT ITER 2149 NEW BEST:: SOT 485834 SOS 351115 HAS SOPS 182444 HAS SOUS 43192 HAS SOUPS 18426 WITH SCORE 18777.115
AT ITER 2167 NEW BEST:: SOT 485640 SOS 352847 HAS SOPS 183328 HAS SOUS 43167 HAS SOUPS 18401 WITH SCORE 18753.847
AT ITER 2172 NEW BEST:: SOT 485601 SOS 352808 HAS SOPS 183289 HAS SOUS 43128 HAS SOUPS 18362 WITH SCORE 18714.808
AT ITER 2184 NEW BEST:: SOT 485599 SOS 352873 HAS SOPS 183239 HAS SOUS 43128 HAS SOUPS 18357 WITH SCORE 18709.873
AT ITER 2213 NEW BEST:: SOT 486261 SOS 353831 HAS SOPS 183597 HAS SOUS 43153 HAS SOUPS 18322 WITH SCORE 18675.831
AT ITER 2219 NEW BEST:: SOT 486140 SOS 354128 HAS SOPS 183654 HAS SOUS 43152 HAS SOUPS 18301 WITH SCORE 18655.128
AT ITER 2266 NEW BEST:: SOT 486154 SOS 354142 HAS SOPS 183656 HAS SOUS 43146 HAS SOUPS 18295 WITH SCORE 18649.142
AT ITER 2269 NEW BEST:: SOT 486165 SOS 354153 HAS SOPS 183667 HAS SOUS 43145 HAS SOUPS 18294 WITH SCORE 18648.153
AT ITER 2288 NEW BEST:: SOT 486223 SOS 353917 HAS SOPS 183527 HAS SOUS 43139 HAS SOUPS 18288 WITH SCORE 18641.917
AT ITER 2291 NEW BEST:: SOT 486257 SOS 354384 HAS SOPS 183994 HAS SOUS 43122 HAS SOUPS 18271 WITH SCORE 18625.384
AT ITER 2329 NEW BEST:: SOT 486255 SOS 354380 HAS SOPS 183982 HAS SOUS 43118 HAS SOUPS 18265 WITH SCORE 18619.38
AT ITER 2355 NEW BEST:: SOT 486257 SOS 354384 HAS SOPS 183974 HAS SOUS 43111 HAS SOUPS 18255 WITH SCORE 18609.384
AT ITER 2376 NEW BEST:: SOT 486156 SOS 349839 HAS SOPS 179225 HAS SOUS 43143 HAS SOUPS 18237 WITH SCORE 18586.839
AT ITER 2442 NEW BEST:: SOT 486074 SOS 349927 HAS SOPS 179193 HAS SOUS 43123 HAS SOUPS 18217 WITH SCORE 18566.927
AT ITER 2472 NEW BEST:: SOT 486073 SOS 349925 HAS SOPS 179187 HAS SOUS 43123 HAS SOUPS 18216 WITH SCORE 18565.925
AT ITER 2482 NEW BEST:: SOT 486073 SOS 349925 HAS SOPS 179187 HAS SOUS 43121 HAS SOUPS 18214 WITH SCORE 18563.925
AT ITER 2499 NEW BEST:: SOT 486055 SOS 349603 HAS SOPS 178865 HAS SOUS 43098 HAS SOUPS 18191 WITH SCORE 18540.603
AT ITER 2500 NEW BEST:: SOT 486039 SOS 349787 HAS SOPS 178817 HAS SOUS 43109 HAS SOUPS 18144 WITH SCORE 18493.787
AT ITER 2554 NEW BEST:: SOT 486039 SOS 349787 HAS SOPS 178817 HAS SOUS 43097 HAS SOUPS 18132 WITH SCORE 18481.787
AT ITER 2577 NEW BEST:: SOT 486044 SOS 350535 HAS SOPS 179729 HAS SOUS 43020 HAS SOUPS 18096 WITH SCORE 18446.535
AT ITER 2578 NEW BEST:: SOT 486028 SOS 350511 HAS SOPS 179721 HAS SOUS 43004 HAS SOUPS 18088 WITH SCORE 18438.511
AT ITER 2596 NEW BEST:: SOT 486105 SOS 350616 HAS SOPS 179756 HAS SOUS 42997 HAS SOUPS 18074 WITH SCORE 18424.616
AT ITER 2599 NEW BEST:: SOT 486080 SOS 350566 HAS SOPS 179738 HAS SOUS 42980 HAS SOUPS 18065 WITH SCORE 18415.566
AT ITER 2637 NEW BEST:: SOT 486074 SOS 350560 HAS SOPS 179732 HAS SOUS 42974 HAS SOUPS 18059 WITH SCORE 18409.56
AT ITER 2643 NEW BEST:: SOT 486034 SOS 350480 HAS SOPS 179692 HAS SOUS 42954 HAS SOUPS 18049 WITH SCORE 18399.48
AT ITER 2651 NEW BEST:: SOT 485177 SOS 349361 HAS SOPS 179053 HAS SOUS 42894 HAS SOUPS 18000 WITH SCORE 18349.361
AT ITER 2657 NEW BEST:: SOT 485161 SOS 348961 HAS SOPS 179021 HAS SOUS 42870 HAS SOUPS 17992 WITH SCORE 18340.961
AT ITER 2660 NEW BEST:: SOT 485155 SOS 348517 HAS SOPS 178721 HAS SOUS 42846 HAS SOUPS 17968 WITH SCORE 18316.517
AT ITER 2719 NEW BEST:: SOT 485215 SOS 348637 HAS SOPS 178757 HAS SOUS 42861 HAS SOUPS 17962 WITH SCORE 18310.637
AT ITER 2726 NEW BEST:: SOT 485205 SOS 348617 HAS SOPS 178737 HAS SOUS 42861 HAS SOUPS 17962 WITH SCORE 18310.617
AT ITER 2749 NEW BEST:: SOT 486118 SOS 349890 HAS SOPS 179300 HAS SOUS 42927 HAS SOUPS 17957 WITH SCORE 18306.89
AT ITER 2757 NEW BEST:: SOT 486940 SOS 350925 HAS SOPS 179835 HAS SOUS 42877 HAS SOUPS 17894 WITH SCORE 18244.925
AT ITER 2770 NEW BEST:: SOT 486947 SOS 350932 HAS SOPS 179836 HAS SOUS 42875 HAS SOUPS 17892 WITH SCORE 18242.932
AT ITER 2780 NEW BEST:: SOT 486916 SOS 351230 HAS SOPS 179954 HAS SOUS 42876 HAS SOUPS 17878 WITH SCORE 18229.23
AT ITER 2784 NEW BEST:: SOT 486902 SOS 351070 HAS SOPS 179926 HAS SOUS 42804 HAS SOUPS 17839 WITH SCORE 18190.07
AT ITER 2816 NEW BEST:: SOT 486902 SOS 351070 HAS SOPS 179926 HAS SOUS 42786 HAS SOUPS 17821 WITH SCORE 18172.07
AT ITER 2838 NEW BEST:: SOT 486887 SOS 351055 HAS SOPS 179911 HAS SOUS 42786 HAS SOUPS 17821 WITH SCORE 18172.055
AT ITER 2862 NEW BEST:: SOT 486877 SOS 351035 HAS SOPS 179891 HAS SOUS 42763 HAS SOUPS 17798 WITH SCORE 18149.035
AT ITER 2878 NEW BEST:: SOT 486878 SOS 350687 HAS SOPS 179865 HAS SOUS 42723 HAS SOUPS 17772 WITH SCORE 18122.687
AT ITER 2879 NEW BEST:: SOT 486895 SOS 350289 HAS SOPS 179683 HAS SOUS 42704 HAS SOUPS 17771 WITH SCORE 18121.289
AT ITER 2903 NEW BEST:: SOT 486895 SOS 350189 HAS SOPS 179683 HAS SOUS 42671 HAS SOUPS 17763 WITH SCORE 18113.189
AT ITER 2929 NEW BEST:: SOT 486887 SOS 350205 HAS SOPS 179667 HAS SOUS 42671 HAS SOUPS 17755 WITH SCORE 18105.205
AT ITER 2964 NEW BEST:: SOT 486887 SOS 350169 HAS SOPS 179667 HAS SOUS 42653 HAS SOUPS 17746 WITH SCORE 18096.169
AT ITER 2971 NEW BEST:: SOT 486884 SOS 350166 HAS SOPS 179664 HAS SOUS 42614 HAS SOUPS 17707 WITH SCORE 18057.166
AT ITER 2985 NEW BEST:: SOT 486878 SOS 350016 HAS SOPS 179376 HAS SOUS 42614 HAS SOUPS 17701 WITH SCORE 18051.016
AT ITER 2997 NEW BEST:: SOT 486925 SOS 350036 HAS SOPS 179396 HAS SOUS 42579 HAS SOUPS 17675 WITH SCORE 18025.036
AT ITER 2999 NEW BEST:: SOT 486916 SOS 349958 HAS SOPS 179378 HAS SOUS 42540 HAS SOUPS 17651 WITH SCORE 18000.958
AT ITER 3054 NEW BEST:: SOT 487232 SOS 350561 HAS SOPS 179549 HAS SOUS 42601 HAS SOUPS 17635 WITH SCORE 17985.561
AT ITER 3080 NEW BEST:: SOT 487225 SOS 350549 HAS SOPS 179533 HAS SOUS 42599 HAS SOUPS 17631 WITH SCORE 17981.549
AT ITER 3121 NEW BEST:: SOT 487760 SOS 351118 HAS SOPS 179820 HAS SOUS 42585 HAS SOUPS 17617 WITH SCORE 17968.118
AT ITER 3177 NEW BEST:: SOT 487734 SOS 349733 HAS SOPS 179095 HAS SOUS 42561 HAS SOUPS 17593 WITH SCORE 17942.733
AT ITER 3200 NEW BEST:: SOT 487732 SOS 349749 HAS SOPS 179092 HAS SOUS 42560 HAS SOUPS 17592 WITH SCORE 17941.749
AT ITER 3228 NEW BEST:: SOT 487732 SOS 349749 HAS SOPS 179092 HAS SOUS 42558 HAS SOUPS 17590 WITH SCORE 17939.749
AT ITER 3259 NEW BEST:: SOT 487545 SOS 349494 HAS SOPS 178990 HAS SOUS 42532 HAS SOUPS 17585 WITH SCORE 17934.494
AT ITER 3292 NEW BEST:: SOT 487540 SOS 347587 HAS SOPS 177425 HAS SOUS 42511 HAS SOUPS 17579 WITH SCORE 17926.587
AT ITER 3327 NEW BEST:: SOT 487511 SOS 347529 HAS SOPS 177367 HAS SOUS 42482 HAS SOUPS 17550 WITH SCORE 17897.529
AT ITER 3344 NEW BEST:: SOT 487519 SOS 344928 HAS SOPS 175272 HAS SOUS 42456 HAS SOUPS 17546 WITH SCORE 17890.928
AT ITER 3418 NEW BEST:: SOT 487025 SOS 342686 HAS SOPS 173182 HAS SOUS 42380 HAS SOUPS 17470 WITH SCORE 17812.686
AT ITER 3440 NEW BEST:: SOT 487053 SOS 342368 HAS SOPS 173447 HAS SOUS 42352 HAS SOUPS 17467 WITH SCORE 17809.368
AT ITER 3449 NEW BEST:: SOT 486978 SOS 342218 HAS SOPS 173401 HAS SOUS 42325 HAS SOUPS 17466 WITH SCORE 17808.218
AT ITER 3531 NEW BEST:: SOT 486793 SOS 342808 HAS SOPS 173511 HAS SOUS 42295 HAS SOUPS 17407 WITH SCORE 17749.808
AT ITER 3538 NEW BEST:: SOT 486800 SOS 342822 HAS SOPS 173511 HAS SOUS 42290 HAS SOUPS 17402 WITH SCORE 17744.822
AT ITER 3565 NEW BEST:: SOT 486734 SOS 342690 HAS SOPS 173467 HAS SOUS 42266 HAS SOUPS 17400 WITH SCORE 17742.69
AT ITER 3601 NEW BEST:: SOT 487000 SOS 342982 HAS SOPS 173579 HAS SOUS 42248 HAS SOUPS 17382 WITH SCORE 17724.982
AT ITER 3609 NEW BEST:: SOT 486712 SOS 342118 HAS SOPS 172835 HAS SOUS 42224 HAS SOUPS 17358 WITH SCORE 17700.118
AT ITER 3674 NEW BEST:: SOT 486711 SOS 342116 HAS SOPS 172833 HAS SOUS 42204 HAS SOUPS 17338 WITH SCORE 17680.116
AT ITER 3703 NEW BEST:: SOT 486684 SOS 341946 HAS SOPS 172795 HAS SOUS 42143 HAS SOUPS 17310 WITH SCORE 17651.946
AT ITER 3730 NEW BEST:: SOT 486705 SOS 341580 HAS SOPS 172609 HAS SOUS 42119 HAS SOUPS 17301 WITH SCORE 17642.58
AT ITER 3747 NEW BEST:: SOT 486705 SOS 341580 HAS SOPS 172609 HAS SOUS 42093 HAS SOUPS 17275 WITH SCORE 17616.58
AT ITER 3752 NEW BEST:: SOT 485418 SOS 339991 HAS SOPS 171747 HAS SOUS 42033 HAS SOUPS 17248 WITH SCORE 17587.991
AT ITER 3764 NEW BEST:: SOT 485417 SOS 339993 HAS SOPS 171745 HAS SOUS 42028 HAS SOUPS 17243 WITH SCORE 17582.993
AT ITER 3772 NEW BEST:: SOT 485316 SOS 339496 HAS SOPS 171622 HAS SOUS 42104 HAS SOUPS 17230 WITH SCORE 17569.496
AT ITER 3777 NEW BEST:: SOT 485312 SOS 339476 HAS SOPS 171618 HAS SOUS 42100 HAS SOUPS 17230 WITH SCORE 17569.476
AT ITER 3785 NEW BEST:: SOT 485248 SOS 339348 HAS SOPS 171554 HAS SOUS 42076 HAS SOUPS 17222 WITH SCORE 17561.348
AT ITER 3788 NEW BEST:: SOT 485222 SOS 339230 HAS SOPS 171444 HAS SOUS 42072 HAS SOUPS 17218 WITH SCORE 17557.23
AT ITER 3822 NEW BEST:: SOT 486146 SOS 340462 HAS SOPS 171906 HAS SOUS 42143 HAS SOUPS 17212 WITH SCORE 17552.462
AT ITER 3830 NEW BEST:: SOT 486146 SOS 340450 HAS SOPS 171894 HAS SOUS 42139 HAS SOUPS 17208 WITH SCORE 17548.45
AT ITER 3837 NEW BEST:: SOT 486212 SOS 340036 HAS SOPS 171606 HAS SOUS 42098 HAS SOUPS 17167 WITH SCORE 17507.036
AT ITER 3838 NEW BEST:: SOT 486212 SOS 340088 HAS SOPS 171606 HAS SOUS 42085 HAS SOUPS 17141 WITH SCORE 17481.088
AT ITER 3871 NEW BEST:: SOT 486212 SOS 340088 HAS SOPS 171606 HAS SOUS 42075 HAS SOUPS 17131 WITH SCORE 17471.088
AT ITER 3881 NEW BEST:: SOT 486212 SOS 340088 HAS SOPS 171606 HAS SOUS 42071 HAS SOUPS 17127 WITH SCORE 17467.088
AT ITER 3920 NEW BEST:: SOT 484516 SOS 337713 HAS SOPS 170601 HAS SOUS 41868 HAS SOUPS 17061 WITH SCORE 17398.713
AT ITER 3997 NEW BEST:: SOT 484514 SOS 337709 HAS SOPS 170513 HAS SOUS 41845 HAS SOUPS 17017 WITH SCORE 17354.709
AT ITER 4045 NEW BEST:: SOT 484684 SOS 337881 HAS SOPS 170601 HAS SOUS 41833 HAS SOUPS 17005 WITH SCORE 17342.881
AT ITER 4051 NEW BEST:: SOT 484640 SOS 337835 HAS SOPS 170555 HAS SOUS 41817 HAS SOUPS 16989 WITH SCORE 17326.835
AT ITER 4100 NEW BEST:: SOT 484628 SOS 337811 HAS SOPS 170531 HAS SOUS 41805 HAS SOUPS 16977 WITH SCORE 17314.811
AT ITER 4103 NEW BEST:: SOT 484650 SOS 337325 HAS SOPS 170209 HAS SOUS 41786 HAS SOUPS 16966 WITH SCORE 17303.325
AT ITER 4161 NEW BEST:: SOT 484650 SOS 337285 HAS SOPS 170215 HAS SOUS 41784 HAS SOUPS 16966 WITH SCORE 17303.285
AT ITER 4164 NEW BEST:: SOT 484626 SOS 337720 HAS SOPS 169960 HAS SOUS 41799 HAS SOUPS 16951 WITH SCORE 17288.72
AT ITER 4169 NEW BEST:: SOT 484626 SOS 337720 HAS SOPS 169960 HAS SOUS 41791 HAS SOUPS 16943 WITH SCORE 17280.72
AT ITER 4220 NEW BEST:: SOT 484544 SOS 337556 HAS SOPS 169604 HAS SOUS 41708 HAS SOUPS 16812 WITH SCORE 17149.556
AT ITER 4232 NEW BEST:: SOT 484563 SOS 337594 HAS SOPS 169543 HAS SOUS 41688 HAS SOUPS 16792 WITH SCORE 17129.594
AT ITER 4235 NEW BEST:: SOT 484959 SOS 337990 HAS SOPS 169723 HAS SOUS 41652 HAS SOUPS 16756 WITH SCORE 17093.99
AT ITER 4240 NEW BEST:: SOT 484956 SOS 337996 HAS SOPS 169717 HAS SOUS 41652 HAS SOUPS 16753 WITH SCORE 17090.996
AT ITER 4270 NEW BEST:: SOT 484956 SOS 337996 HAS SOPS 169717 HAS SOUS 41626 HAS SOUPS 16727 WITH SCORE 17064.996
AT ITER 4297 NEW BEST:: SOT 484954 SOS 337992 HAS SOPS 169713 HAS SOUS 41624 HAS SOUPS 16725 WITH SCORE 17062.992
AT ITER 4319 NEW BEST:: SOT 484954 SOS 337992 HAS SOPS 169713 HAS SOUS 41618 HAS SOUPS 16719 WITH SCORE 17056.992
AT ITER 4329 NEW BEST:: SOT 484856 SOS 337864 HAS SOPS 169585 HAS SOUS 41604 HAS SOUPS 16705 WITH SCORE 17042.864
AT ITER 4357 NEW BEST:: SOT 484800 SOS 337752 HAS SOPS 169513 HAS SOUS 41562 HAS SOUPS 16673 WITH SCORE 17010.752
AT ITER 4373 NEW BEST:: SOT 484750 SOS 337652 HAS SOPS 169471 HAS SOUS 41526 HAS SOUPS 16641 WITH SCORE 16978.652
AT ITER 4390 NEW BEST:: SOT 484757 SOS 337709 HAS SOPS 169484 HAS SOUS 41534 HAS SOUPS 16638 WITH SCORE 16975.709
AT ITER 4398 NEW BEST:: SOT 484550 SOS 337063 HAS SOPS 169288 HAS SOUS 41502 HAS SOUPS 16631 WITH SCORE 16968.063
AT ITER 4432 NEW BEST:: SOT 484524 SOS 337271 HAS SOPS 169249 HAS SOUS 41476 HAS SOUPS 16605 WITH SCORE 16942.271
AT ITER 4452 NEW BEST:: SOT 484485 SOS 337193 HAS SOPS 169223 HAS SOUS 41459 HAS SOUPS 16601 WITH SCORE 16938.193
AT ITER 4453 NEW BEST:: SOT 484480 SOS 337039 HAS SOPS 169261 HAS SOUS 41390 HAS SOUPS 16580 WITH SCORE 16917.039
AT ITER 4500 NEW BEST:: SOT 484432 SOS 336995 HAS SOPS 169217 HAS SOUS 41381 HAS SOUPS 16571 WITH SCORE 16907.995
AT ITER 4506 NEW BEST:: SOT 484496 SOS 337002 HAS SOPS 169247 HAS SOUS 41345 HAS SOUPS 16546 WITH SCORE 16883.002
AT ITER 4519 NEW BEST:: SOT 484506 SOS 336527 HAS SOPS 168772 HAS SOUS 41339 HAS SOUPS 16540 WITH SCORE 16876.527
AT ITER 4533 NEW BEST:: SOT 484273 SOS 339695 HAS SOPS 171995 HAS SOUS 41307 HAS SOUPS 16508 WITH SCORE 16847.695
AT ITER 4564 NEW BEST:: SOT 484343 SOS 339775 HAS SOPS 172075 HAS SOUS 41294 HAS SOUPS 16495 WITH SCORE 16834.775
AT ITER 4570 NEW BEST:: SOT 482997 SOS 335155 HAS SOPS 167663 HAS SOUS 41378 HAS SOUPS 16471 WITH SCORE 16806.155
AT ITER 4583 NEW BEST:: SOT 483064 SOS 335289 HAS SOPS 167705 HAS SOUS 41385 HAS SOUPS 16455 WITH SCORE 16790.289
AT ITER 4603 NEW BEST:: SOT 482964 SOS 334209 HAS SOPS 167637 HAS SOUS 41340 HAS SOUPS 16454 WITH SCORE 16788.209
AT ITER 4617 NEW BEST:: SOT 482932 SOS 334077 HAS SOPS 167621 HAS SOUS 41274 HAS SOUPS 16417 WITH SCORE 16751.077
AT ITER 4644 NEW BEST:: SOT 482928 SOS 334069 HAS SOPS 167613 HAS SOUS 41270 HAS SOUPS 16413 WITH SCORE 16747.069
AT ITER 4659 NEW BEST:: SOT 482915 SOS 334082 HAS SOPS 167574 HAS SOUS 41270 HAS SOUPS 16400 WITH SCORE 16734.082
AT ITER 4677 NEW BEST:: SOT 482901 SOS 334054 HAS SOPS 167562 HAS SOUS 41260 HAS SOUPS 16394 WITH SCORE 16728.054
AT ITER 4753 NEW BEST:: SOT 482888 SOS 333992 HAS SOPS 167466 HAS SOUS 41202 HAS SOUPS 16336 WITH SCORE 16669.992
AT ITER 4763 NEW BEST:: SOT 482425 SOS 333139 HAS SOPS 167141 HAS SOUS 41065 HAS SOUPS 16268 WITH SCORE 16601.139
AT ITER 4794 NEW BEST:: SOT 482409 SOS 333107 HAS SOPS 167125 HAS SOUS 41057 HAS SOUPS 16264 WITH SCORE 16597.107
AT ITER 4813 NEW BEST:: SOT 482405 SOS 333099 HAS SOPS 167117 HAS SOUS 41056 HAS SOUPS 16263 WITH SCORE 16596.099
AT ITER 4845 NEW BEST:: SOT 482294 SOS 332981 HAS SOPS 167047 HAS SOUS 41049 HAS SOUPS 16256 WITH SCORE 16588.981
AT ITER 4847 NEW BEST:: SOT 480959 SOS 328870 HAS SOPS 166268 HAS SOUS 40855 HAS SOUPS 16163 WITH SCORE 16491.87
AT ITER 4858 NEW BEST:: SOT 481322 SOS 330065 HAS SOPS 166480 HAS SOUS 40851 HAS SOUPS 16139 WITH SCORE 16469.065
AT ITER 4877 NEW BEST:: SOT 481211 SOS 329910 HAS SOPS 166391 HAS SOUS 40806 HAS SOUPS 16105 WITH SCORE 16434.91
AT ITER 4893 NEW BEST:: SOT 481402 SOS 330248 HAS SOPS 166507 HAS SOUS 40842 HAS SOUPS 16098 WITH SCORE 16428.248
AT ITER 4902 NEW BEST:: SOT 481401 SOS 330126 HAS SOPS 166385 HAS SOUS 40842 HAS SOUPS 16098 WITH SCORE 16428.126
AT ITER 4931 NEW BEST:: SOT 481291 SOS 329906 HAS SOPS 166289 HAS SOUS 40790 HAS SOUPS 16077 WITH SCORE 16406.906
AT ITER 4954 NEW BEST:: SOT 479647 SOS 321249 HAS SOPS 158012 HAS SOUS 40819 HAS SOUPS 16009 WITH SCORE 16330.249
AT ITER 5004 NEW BEST:: SOT 479735 SOS 317641 HAS SOPS 156076 HAS SOUS 40819 HAS SOUPS 16009 WITH SCORE 16326.641
AT ITER 5020 NEW BEST:: SOT 479726 SOS 317623 HAS SOPS 156058 HAS SOUS 40806 HAS SOUPS 15996 WITH SCORE 16313.623
AT ITER 5128 NEW BEST:: SOT 479726 SOS 317623 HAS SOPS 156058 HAS SOUS 40794 HAS SOUPS 15984 WITH SCORE 16301.623
AT ITER 5209 NEW BEST:: SOT 479736 SOS 317643 HAS SOPS 156078 HAS SOUS 40788 HAS SOUPS 15978 WITH SCORE 16295.643
AT ITER 5224 NEW BEST:: SOT 479736 SOS 317682 HAS SOPS 156096 HAS SOUS 40755 HAS SOUPS 15975 WITH SCORE 16292.682
AT ITER 5256 NEW BEST:: SOT 479736 SOS 317683 HAS SOPS 156092 HAS SOUS 40755 HAS SOUPS 15974 WITH SCORE 16291.683
AT ITER 5264 NEW BEST:: SOT 479896 SOS 317763 HAS SOPS 156172 HAS SOUS 40716 HAS SOUPS 15955 WITH SCORE 16272.763
AT ITER 5296 NEW BEST:: SOT 479918 SOS 318137 HAS SOPS 156546 HAS SOUS 40705 HAS SOUPS 15944 WITH SCORE 16262.137
AT ITER 5317 NEW BEST:: SOT 479238 SOS 313710 HAS SOPS 154056 HAS SOUS 40589 HAS SOUPS 15849 WITH SCORE 16162.71
AT ITER 5369 NEW BEST:: SOT 479216 SOS 313586 HAS SOPS 154012 HAS SOUS 40529 HAS SOUPS 15809 WITH SCORE 16122.586
AT ITER 5382 NEW BEST:: SOT 478440 SOS 312502 HAS SOPS 153270 HAS SOUS 40440 HAS SOUPS 15720 WITH SCORE 16032.502
AT ITER 5384 NEW BEST:: SOT 478440 SOS 312502 HAS SOPS 153270 HAS SOUS 40410 HAS SOUPS 15690 WITH SCORE 16002.502
AT ITER 5421 NEW BEST:: SOT 478272 SOS 313630 HAS SOPS 153196 HAS SOUS 40317 HAS SOUPS 15614 WITH SCORE 15927.63
AT ITER 5473 NEW BEST:: SOT 478266 SOS 313514 HAS SOPS 153184 HAS SOUS 40259 HAS SOUPS 15582 WITH SCORE 15895.514
AT ITER 5575 NEW BEST:: SOT 478238 SOS 313758 HAS SOPS 153160 HAS SOUS 40259 HAS SOUPS 15570 WITH SCORE 15883.758
AT ITER 5630 NEW BEST:: SOT 478290 SOS 313602 HAS SOPS 153064 HAS SOUS 40237 HAS SOUPS 15548 WITH SCORE 15861.602
AT ITER 5634 NEW BEST:: SOT 478288 SOS 313598 HAS SOPS 153052 HAS SOUS 40237 HAS SOUPS 15546 WITH SCORE 15859.598
AT ITER 5704 NEW BEST:: SOT 478085 SOS 313312 HAS SOPS 152916 HAS SOUS 40202 HAS SOUPS 15526 WITH SCORE 15839.312
AT ITER 5709 NEW BEST:: SOT 478071 SOS 313300 HAS SOPS 152904 HAS SOUS 40200 HAS SOUPS 15524 WITH SCORE 15837.3
AT ITER 5737 NEW BEST:: SOT 478035 SOS 313276 HAS SOPS 152880 HAS SOUS 40200 HAS SOUPS 15518 WITH SCORE 15831.276
AT ITER 5781 NEW BEST:: SOT 478032 SOS 313244 HAS SOPS 152835 HAS SOUS 40183 HAS SOUPS 15501 WITH SCORE 15814.244
AT ITER 5830 NEW BEST:: SOT 478032 SOS 313244 HAS SOPS 152835 HAS SOUS 40178 HAS SOUPS 15496 WITH SCORE 15809.244
AT ITER 5871 NEW BEST:: SOT 478026 SOS 313686 HAS SOPS 153377 HAS SOUS 40147 HAS SOUPS 15490 WITH SCORE 15803.686
AT ITER 5908 NEW BEST:: SOT 478026 SOS 313422 HAS SOPS 153366 HAS SOUS 40135 HAS SOUPS 15489 WITH SCORE 15802.422
AT ITER 5909 NEW BEST:: SOT 476628 SOS 311644 HAS SOPS 152462 HAS SOUS 39989 HAS SOUPS 15400 WITH SCORE 15711.644
AT ITER 5910 NEW BEST:: SOT 476631 SOS 311630 HAS SOPS 152444 HAS SOUS 39987 HAS SOUPS 15396 WITH SCORE 15707.63
AT ITER 5989 NEW BEST:: SOT 476631 SOS 311630 HAS SOPS 152444 HAS SOUS 39973 HAS SOUPS 15382 WITH SCORE 15693.63
AT ITER 6024 NEW BEST:: SOT 476635 SOS 311662 HAS SOPS 152444 HAS SOUS 39979 HAS SOUPS 15380 WITH SCORE 15691.662
AT ITER 6045 NEW BEST:: SOT 476675 SOS 311742 HAS SOPS 152412 HAS SOUS 39983 HAS SOUPS 15356 WITH SCORE 15667.742
AT ITER 6162 NEW BEST:: SOT 476651 SOS 311774 HAS SOPS 152316 HAS SOUS 40001 HAS SOUPS 15342 WITH SCORE 15653.774
AT ITER 6298 NEW BEST:: SOT 476617 SOS 311714 HAS SOPS 152308 HAS SOUS 39975 HAS SOUPS 15334 WITH SCORE 15645.714
AT ITER 6378 NEW BEST:: SOT 476619 SOS 311728 HAS SOPS 152322 HAS SOUS 39970 HAS SOUPS 15329 WITH SCORE 15640.728
AT ITER 6407 NEW BEST:: SOT 476653 SOS 311756 HAS SOPS 152350 HAS SOUS 39964 HAS SOUPS 15323 WITH SCORE 15634.756
AT ITER 6414 NEW BEST:: SOT 476639 SOS 311728 HAS SOPS 152322 HAS SOUS 39950 HAS SOUPS 15309 WITH SCORE 15620.728
AT ITER 6444 NEW BEST:: SOT 476556 SOS 311610 HAS SOPS 152274 HAS SOUS 39943 HAS SOUPS 15309 WITH SCORE 15620.61
AT ITER 6453 NEW BEST:: SOT 476556 SOS 311544 HAS SOPS 152208 HAS SOUS 39943 HAS SOUPS 15309 WITH SCORE 15620.544
AT ITER 6462 NEW BEST:: SOT 476515 SOS 311385 HAS SOPS 152043 HAS SOUS 39949 HAS SOUPS 15308 WITH SCORE 15619.385
AT ITER 6516 NEW BEST:: SOT 476483 SOS 311579 HAS SOPS 152235 HAS SOUS 39933 HAS SOUPS 15292 WITH SCORE 15603.579
AT ITER 6566 NEW BEST:: SOT 476473 SOS 311559 HAS SOPS 152223 HAS SOUS 39927 HAS SOUPS 15288 WITH SCORE 15599.559
AT ITER 6581 NEW BEST:: SOT 476463 SOS 311549 HAS SOPS 152223 HAS SOUS 39907 HAS SOUPS 15268 WITH SCORE 15579.548999999999
AT ITER 6588 NEW BEST:: SOT 476538 SOS 311399 HAS SOPS 152013 HAS SOUS 39892 HAS SOUPS 15223 WITH SCORE 15534.399
AT ITER 6591 NEW BEST:: SOT 477046 SOS 312007 HAS SOPS 152315 HAS SOUS 39890 HAS SOUPS 15221 WITH SCORE 15533.007
AT ITER 6628 NEW BEST:: SOT 476968 SOS 311847 HAS SOPS 152173 HAS SOUS 39814 HAS SOUPS 15145 WITH SCORE 15456.847
AT ITER 6644 NEW BEST:: SOT 476965 SOS 311841 HAS SOPS 152173 HAS SOUS 39811 HAS SOUPS 15145 WITH SCORE 15456.841
AT ITER 6709 NEW BEST:: SOT 476965 SOS 311841 HAS SOPS 152173 HAS SOUS 39801 HAS SOUPS 15135 WITH SCORE 15446.841
AT ITER 6808 NEW BEST:: SOT 476965 SOS 311809 HAS SOPS 152173 HAS SOUS 39793 HAS SOUPS 15135 WITH SCORE 15446.809
AT ITER 6949 NEW BEST:: SOT 476955 SOS 311789 HAS SOPS 152153 HAS SOUS 39778 HAS SOUPS 15120 WITH SCORE 15431.789
AT ITER 7079 NEW BEST:: SOT 476920 SOS 311768 HAS SOPS 152097 HAS SOUS 39764 HAS SOUPS 15099 WITH SCORE 15410.768
AT ITER 7080 NEW BEST:: SOT 476482 SOS 311180 HAS SOPS 151869 HAS SOUS 39721 HAS SOUPS 15092 WITH SCORE 15403.18
AT ITER 7189 NEW BEST:: SOT 476473 SOS 311162 HAS SOPS 151863 HAS SOUS 39715 HAS SOUPS 15089 WITH SCORE 15400.162
AT ITER 7213 NEW BEST:: SOT 476476 SOS 311177 HAS SOPS 151868 HAS SOUS 39711 HAS SOUPS 15085 WITH SCORE 15396.177
AT ITER 7228 NEW BEST:: SOT 476468 SOS 311169 HAS SOPS 151868 HAS SOUS 39711 HAS SOUPS 15085 WITH SCORE 15396.169
AT ITER 7230 NEW BEST:: SOT 476383 SOS 311639 HAS SOPS 151954 HAS SOUS 39732 HAS SOUPS 15074 WITH SCORE 15385.639
AT ITER 7295 NEW BEST:: SOT 476383 SOS 311639 HAS SOPS 151954 HAS SOUS 39716 HAS SOUPS 15058 WITH SCORE 15369.639
AT ITER 7402 NEW BEST:: SOT 476378 SOS 311541 HAS SOPS 151944 HAS SOUS 39684 HAS SOUPS 15048 WITH SCORE 15359.541
AT ITER 7408 NEW BEST:: SOT 476378 SOS 311541 HAS SOPS 151944 HAS SOUS 39680 HAS SOUPS 15044 WITH SCORE 15355.541
AT ITER 7416 NEW BEST:: SOT 476378 SOS 311541 HAS SOPS 151944 HAS SOUS 39664 HAS SOUPS 15028 WITH SCORE 15339.541
AT ITER 7492 NEW BEST:: SOT 476330 SOS 311573 HAS SOPS 151933 HAS SOUS 39668 HAS SOUPS 15021 WITH SCORE 15332.573
AT ITER 7516 NEW BEST:: SOT 476390 SOS 311633 HAS SOPS 151963 HAS SOUS 39663 HAS SOUPS 15016 WITH SCORE 15327.633
AT ITER 7517 NEW BEST:: SOT 476399 SOS 311639 HAS SOPS 151969 HAS SOUS 39661 HAS SOUPS 15014 WITH SCORE 15325.639
AT ITER 7531 NEW BEST:: SOT 476384 SOS 311609 HAS SOPS 151939 HAS SOUS 39624 HAS SOUPS 14977 WITH SCORE 15288.609
AT ITER 7564 NEW BEST:: SOT 476384 SOS 311609 HAS SOPS 151939 HAS SOUS 39618 HAS SOUPS 14971 WITH SCORE 15282.609
AT ITER 7632 NEW BEST:: SOT 476396 SOS 311133 HAS SOPS 151647 HAS SOUS 39602 HAS SOUPS 14955 WITH SCORE 15266.133
AT ITER 7661 NEW BEST:: SOT 476387 SOS 311106 HAS SOPS 151593 HAS SOUS 39591 HAS SOUPS 14944 WITH SCORE 15255.106
AT ITER 7667 NEW BEST:: SOT 476371 SOS 311042 HAS SOPS 151561 HAS SOUS 39559 HAS SOUPS 14920 WITH SCORE 15231.042
AT ITER 7681 NEW BEST:: SOT 476371 SOS 311042 HAS SOPS 151561 HAS SOUS 39555 HAS SOUPS 14916 WITH SCORE 15227.042
AT ITER 7694 NEW BEST:: SOT 476363 SOS 311042 HAS SOPS 151555 HAS SOUS 39556 HAS SOUPS 14915 WITH SCORE 15226.042
AT ITER 7708 NEW BEST:: SOT 476419 SOS 311679 HAS SOPS 152192 HAS SOUS 39552 HAS SOUPS 14911 WITH SCORE 15222.679
AT ITER 7799 NEW BEST:: SOT 476419 SOS 311679 HAS SOPS 152192 HAS SOUS 39524 HAS SOUPS 14883 WITH SCORE 15194.679
AT ITER 7817 NEW BEST:: SOT 476381 SOS 311603 HAS SOPS 152116 HAS SOUS 39486 HAS SOUPS 14845 WITH SCORE 15156.603
AT ITER 7825 NEW BEST:: SOT 476394 SOS 311605 HAS SOPS 152148 HAS SOUS 39469 HAS SOUPS 14843 WITH SCORE 15154.605
AT ITER 7980 NEW BEST:: SOT 476392 SOS 311601 HAS SOPS 152144 HAS SOUS 39466 HAS SOUPS 14840 WITH SCORE 15151.601
AT ITER 7990 NEW BEST:: SOT 476512 SOS 311761 HAS SOPS 152204 HAS SOUS 39467 HAS SOUPS 14831 WITH SCORE 15142.761
AT ITER 8054 NEW BEST:: SOT 476509 SOS 311617 HAS SOPS 152129 HAS SOUS 39464 HAS SOUPS 14831 WITH SCORE 15142.617
AT ITER 8100 NEW BEST:: SOT 476504 SOS 311607 HAS SOPS 152129 HAS SOUS 39447 HAS SOUPS 14819 WITH SCORE 15130.607
AT ITER 8108 NEW BEST:: SOT 476483 SOS 311807 HAS SOPS 152150 HAS SOUS 39418 HAS SOUPS 14790 WITH SCORE 15101.807
AT ITER 8154 NEW BEST:: SOT 476483 SOS 311807 HAS SOPS 152150 HAS SOUS 39416 HAS SOUPS 14788 WITH SCORE 15099.807
AT ITER 8182 NEW BEST:: SOT 476451 SOS 312143 HAS SOPS 152150 HAS SOUS 39400 HAS SOUPS 14756 WITH SCORE 15068.143
AT ITER 8184 NEW BEST:: SOT 476451 SOS 312143 HAS SOPS 152150 HAS SOUS 39394 HAS SOUPS 14750 WITH SCORE 15062.143
AT ITER 8359 NEW BEST:: SOT 476433 SOS 311969 HAS SOPS 151976 HAS SOUS 39384 HAS SOUPS 14740 WITH SCORE 15051.969
AT ITER 8391 NEW BEST:: SOT 476440 SOS 312009 HAS SOPS 151988 HAS SOUS 39369 HAS SOUPS 14738 WITH SCORE 15050.009
AT ITER 8424 NEW BEST:: SOT 476436 SOS 311689 HAS SOPS 151772 HAS SOUS 39341 HAS SOUPS 14710 WITH SCORE 15021.689
AT ITER 8435 NEW BEST:: SOT 476434 SOS 311685 HAS SOPS 151772 HAS SOUS 39338 HAS SOUPS 14708 WITH SCORE 15019.685
AT ITER 8442 NEW BEST:: SOT 476398 SOS 311637 HAS SOPS 151742 HAS SOUS 39338 HAS SOUPS 14708 WITH SCORE 15019.637
AT ITER 8444 NEW BEST:: SOT 476398 SOS 311637 HAS SOPS 151742 HAS SOUS 39334 HAS SOUPS 14704 WITH SCORE 15015.637
AT ITER 8451 NEW BEST:: SOT 476396 SOS 311633 HAS SOPS 151738 HAS SOUS 39332 HAS SOUPS 14702 WITH SCORE 15013.633
AT ITER 8457 NEW BEST:: SOT 476279 SOS 311586 HAS SOPS 151594 HAS SOUS 39352 HAS SOUPS 14701 WITH SCORE 15012.586
AT ITER 8471 NEW BEST:: SOT 477778 SOS 314592 HAS SOPS 152488 HAS SOUS 39379 HAS SOUPS 14647 WITH SCORE 14961.592
AT ITER 8479 NEW BEST:: SOT 477769 SOS 314574 HAS SOPS 152470 HAS SOUS 39366 HAS SOUPS 14634 WITH SCORE 14948.574
AT ITER 8493 NEW BEST:: SOT 477768 SOS 314550 HAS SOPS 152467 HAS SOUS 39364 HAS SOUPS 14633 WITH SCORE 14947.55
AT ITER 8518 NEW BEST:: SOT 477768 SOS 314550 HAS SOPS 152467 HAS SOUS 39362 HAS SOUPS 14631 WITH SCORE 14945.55
AT ITER 8583 NEW BEST:: SOT 477758 SOS 314530 HAS SOPS 152447 HAS SOUS 39357 HAS SOUPS 14626 WITH SCORE 14940.53
AT ITER 8672 NEW BEST:: SOT 478428 SOS 315246 HAS SOPS 152851 HAS SOUS 39351 HAS SOUPS 14620 WITH SCORE 14935.246
AT ITER 8715 NEW BEST:: SOT 478449 SOS 315278 HAS SOPS 152883 HAS SOUS 39348 HAS SOUPS 14617 WITH SCORE 14932.278
AT ITER 8719 NEW BEST:: SOT 478293 SOS 315062 HAS SOPS 152739 HAS SOUS 39336 HAS SOUPS 14605 WITH SCORE 14920.062
AT ITER 8781 NEW BEST:: SOT 478229 SOS 314934 HAS SOPS 152611 HAS SOUS 39318 HAS SOUPS 14587 WITH SCORE 14901.934
AT ITER 8807 NEW BEST:: SOT 478227 SOS 314926 HAS SOPS 152607 HAS SOUS 39314 HAS SOUPS 14584 WITH SCORE 14898.926
AT ITER 8842 NEW BEST:: SOT 478228 SOS 314927 HAS SOPS 152608 HAS SOUS 39271 HAS SOUPS 14541 WITH SCORE 14855.927
AT ITER 8861 NEW BEST:: SOT 478228 SOS 314927 HAS SOPS 152608 HAS SOUS 39267 HAS SOUPS 14537 WITH SCORE 14851.927
AT ITER 8933 NEW BEST:: SOT 478223 SOS 314922 HAS SOPS 152603 HAS SOUS 39248 HAS SOUPS 14518 WITH SCORE 14832.922
AT ITER 8989 NEW BEST:: SOT 478142 SOS 314843 HAS SOPS 152501 HAS SOUS 39245 HAS SOUPS 14504 WITH SCORE 14818.843
AT ITER 9123 NEW BEST:: SOT 478140 SOS 314839 HAS SOPS 152493 HAS SOUS 39244 HAS SOUPS 14502 WITH SCORE 14816.839
AT ITER 9231 NEW BEST:: SOT 478145 SOS 314849 HAS SOPS 152503 HAS SOUS 39243 HAS SOUPS 14501 WITH SCORE 14815.849
AT ITER 9256 NEW BEST:: SOT 478142 SOS 314703 HAS SOPS 152380 HAS SOUS 39242 HAS SOUPS 14501 WITH SCORE 14815.703
AT ITER 9349 NEW BEST:: SOT 478141 SOS 314713 HAS SOPS 152390 HAS SOUS 39241 HAS SOUPS 14500 WITH SCORE 14814.713
AT ITER 9392 NEW BEST:: SOT 478108 SOS 314427 HAS SOPS 152236 HAS SOUS 39219 HAS SOUPS 14489 WITH SCORE 14803.427
AT ITER 9437 NEW BEST:: SOT 478094 SOS 314399 HAS SOPS 152180 HAS SOUS 39203 HAS SOUPS 14466 WITH SCORE 14780.399
AT ITER 9455 NEW BEST:: SOT 478092 SOS 314391 HAS SOPS 152176 HAS SOUS 39199 HAS SOUPS 14463 WITH SCORE 14777.391
AT ITER 9464 NEW BEST:: SOT 478100 SOS 314431 HAS SOPS 152128 HAS SOUS 39211 HAS SOUPS 14459 WITH SCORE 14773.431
AT ITER 9572 NEW BEST:: SOT 477770 SOS 314035 HAS SOPS 151930 HAS SOUS 39211 HAS SOUPS 14459 WITH SCORE 14773.035
AT ITER 9584 NEW BEST:: SOT 477759 SOS 314014 HAS SOPS 151929 HAS SOUS 39201 HAS SOUPS 14458 WITH SCORE 14772.014
AT ITER 9692 NEW BEST:: SOT 477757 SOS 314033 HAS SOPS 151952 HAS SOUS 39198 HAS SOUPS 14456 WITH SCORE 14770.033
AT ITER 9728 NEW BEST:: SOT 477748 SOS 314000 HAS SOPS 151919 HAS SOUS 39186 HAS SOUPS 14444 WITH SCORE 14758.0
AT ITER 9828 NEW BEST:: SOT 477748 SOS 314000 HAS SOPS 151919 HAS SOUS 39184 HAS SOUPS 14442 WITH SCORE 14756.0
AT ITER 9833 NEW BEST:: SOT 477745 SOS 313954 HAS SOPS 151913 HAS SOUS 39164 HAS SOUPS 14432 WITH SCORE 14745.954
AT ITER 9837 NEW BEST:: SOT 477525 SOS 313690 HAS SOPS 151781 HAS SOUS 39164 HAS SOUPS 14432 WITH SCORE 14745.69
AT ITER 9860 NEW BEST:: SOT 477325 SOS 313076 HAS SOPS 151209 HAS SOUS 39172 HAS SOUPS 14427 WITH SCORE 14740.076000000001
AT ITER 9877 NEW BEST:: SOT 477299 SOS 313046 HAS SOPS 151191 HAS SOUS 39168 HAS SOUPS 14423 WITH SCORE 14736.046
AT ITER 9998 NEW BEST:: SOT 477353 SOS 313090 HAS SOPS 151235 HAS SOUS 39166 HAS SOUPS 14421 WITH SCORE 14734.09
BK_STOP 1589114854259
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 480 Aborted ${SMART} ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-2a"
export BK_EXAMINATION="StateSpace"
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 DLCflexbar-PT-2a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542000344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-2a.tgz
mv DLCflexbar-PT-2a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;