Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472800704.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCround-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472800704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 6.4K Feb 25 19:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 19:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 18:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 19:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 19:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 19:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 19:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 479K Mar 5 18:22 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 1678259161066

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-08a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 263 places, 1907 transitions, 7354 arcs.
AT ITER 0 NEW BEST:: SOT 320727 SOS 265771 HAS SOPS 160044 HAS SOUS 35066 HAS SOUPS 23630 WITH SCORE 23895.771
AT ITER 8 NEW BEST:: SOT 320621 SOS 268870 HAS SOPS 161748 HAS SOUS 35028 HAS SOUPS 23592 WITH SCORE 23860.87
AT ITER 10 NEW BEST:: SOT 320621 SOS 267536 HAS SOPS 160934 HAS SOUS 34963 HAS SOUPS 22842 WITH SCORE 23109.536
AT ITER 11 NEW BEST:: SOT 320560 SOS 267513 HAS SOPS 160721 HAS SOUS 34770 HAS SOUPS 22505 WITH SCORE 22772.513
AT ITER 18 NEW BEST:: SOT 320342 SOS 267388 HAS SOPS 160596 HAS SOUS 34645 HAS SOUPS 22380 WITH SCORE 22647.388
AT ITER 27 NEW BEST:: SOT 320283 SOS 266562 HAS SOPS 160478 HAS SOUS 34565 HAS SOUPS 22359 WITH SCORE 22625.562
AT ITER 29 NEW BEST:: SOT 321151 SOS 267562 HAS SOPS 161478 HAS SOUS 33348 HAS SOUPS 21142 WITH SCORE 21409.562
AT ITER 32 NEW BEST:: SOT 321120 SOS 267097 HAS SOPS 161385 HAS SOUS 33296 HAS SOUPS 21121 WITH SCORE 21388.097
AT ITER 43 NEW BEST:: SOT 321439 SOS 263510 HAS SOPS 158890 HAS SOUS 33202 HAS SOUPS 21118 WITH SCORE 21381.51
AT ITER 51 NEW BEST:: SOT 321419 SOS 263090 HAS SOPS 158575 HAS SOUS 33166 HAS SOUPS 21082 WITH SCORE 21345.09
AT ITER 53 NEW BEST:: SOT 321343 SOS 257939 HAS SOPS 154276 HAS SOUS 33098 HAS SOUPS 21085 WITH SCORE 21342.939
AT ITER 56 NEW BEST:: SOT 321446 SOS 256905 HAS SOPS 154202 HAS SOUS 33017 HAS SOUPS 21084 WITH SCORE 21340.905
AT ITER 57 NEW BEST:: SOT 321443 SOS 256899 HAS SOPS 154196 HAS SOUS 33014 HAS SOUPS 21081 WITH SCORE 21337.899
AT ITER 63 NEW BEST:: SOT 321882 SOS 255525 HAS SOPS 154354 HAS SOUS 33045 HAS SOUPS 21068 WITH SCORE 21323.525
AT ITER 69 NEW BEST:: SOT 321874 SOS 255521 HAS SOPS 154342 HAS SOUS 33045 HAS SOUPS 21064 WITH SCORE 21319.521
AT ITER 70 NEW BEST:: SOT 321849 SOS 255636 HAS SOPS 154442 HAS SOUS 33030 HAS SOUPS 21049 WITH SCORE 21304.636
AT ITER 76 NEW BEST:: SOT 321798 SOS 255602 HAS SOPS 154323 HAS SOUS 32892 HAS SOUPS 20859 WITH SCORE 21114.602
AT ITER 83 NEW BEST:: SOT 321488 SOS 255292 HAS SOPS 154113 HAS SOUS 32904 HAS SOUPS 20846 WITH SCORE 21101.292
AT ITER 85 NEW BEST:: SOT 321702 SOS 253400 HAS SOPS 153549 HAS SOUS 32849 HAS SOUPS 20450 WITH SCORE 20703.4
AT ITER 91 NEW BEST:: SOT 321837 SOS 253940 HAS SOPS 153639 HAS SOUS 32526 HAS SOUPS 20262 WITH SCORE 20515.94
AT ITER 95 NEW BEST:: SOT 321855 SOS 253958 HAS SOPS 153657 HAS SOUS 32517 HAS SOUPS 20253 WITH SCORE 20506.958
AT ITER 97 NEW BEST:: SOT 321804 SOS 253925 HAS SOPS 153534 HAS SOUS 32490 HAS SOUPS 20210 WITH SCORE 20463.925
AT ITER 107 NEW BEST:: SOT 321747 SOS 253844 HAS SOPS 153501 HAS SOUS 32364 HAS SOUPS 20148 WITH SCORE 20401.844
AT ITER 111 NEW BEST:: SOT 321680 SOS 252582 HAS SOPS 152803 HAS SOUS 32303 HAS SOUPS 20134 WITH SCORE 20386.582
AT ITER 116 NEW BEST:: SOT 321665 SOS 252567 HAS SOPS 152770 HAS SOUS 32222 HAS SOUPS 20059 WITH SCORE 20311.567
AT ITER 117 NEW BEST:: SOT 321653 SOS 252549 HAS SOPS 152764 HAS SOUS 32210 HAS SOUPS 20053 WITH SCORE 20305.549
AT ITER 147 NEW BEST:: SOT 321600 SOS 252545 HAS SOPS 152613 HAS SOUS 32222 HAS SOUPS 20008 WITH SCORE 20260.545
AT ITER 149 NEW BEST:: SOT 321597 SOS 252254 HAS SOPS 152610 HAS SOUS 32190 HAS SOUPS 20008 WITH SCORE 20260.254
AT ITER 150 NEW BEST:: SOT 321597 SOS 252254 HAS SOPS 152598 HAS SOUS 32190 HAS SOUPS 19996 WITH SCORE 20248.254
AT ITER 161 NEW BEST:: SOT 321471 SOS 250183 HAS SOPS 152236 HAS SOUS 32693 HAS SOUPS 19886 WITH SCORE 20136.183
AT ITER 162 NEW BEST:: SOT 321306 SOS 250048 HAS SOPS 152176 HAS SOUS 32363 HAS SOUPS 19706 WITH SCORE 19956.048
AT ITER 166 NEW BEST:: SOT 321285 SOS 248593 HAS SOPS 150721 HAS SOUS 32359 HAS SOUPS 19702 WITH SCORE 19950.593
AT ITER 171 NEW BEST:: SOT 320383 SOS 246600 HAS SOPS 149898 HAS SOUS 32212 HAS SOUPS 19685 WITH SCORE 19931.6
AT ITER 172 NEW BEST:: SOT 320383 SOS 246540 HAS SOPS 149838 HAS SOUS 32152 HAS SOUPS 19625 WITH SCORE 19871.54
AT ITER 191 NEW BEST:: SOT 320434 SOS 244779 HAS SOPS 149490 HAS SOUS 32817 HAS SOUPS 19517 WITH SCORE 19761.779
AT ITER 195 NEW BEST:: SOT 320079 SOS 244172 HAS SOPS 149198 HAS SOUS 32768 HAS SOUPS 19471 WITH SCORE 19715.172
AT ITER 206 NEW BEST:: SOT 318590 SOS 242681 HAS SOPS 147707 HAS SOUS 31763 HAS SOUPS 18466 WITH SCORE 18708.681
AT ITER 223 NEW BEST:: SOT 318563 SOS 241769 HAS SOPS 146795 HAS SOUS 31673 HAS SOUPS 18376 WITH SCORE 18617.769
AT ITER 233 NEW BEST:: SOT 318516 SOS 241111 HAS SOPS 146701 HAS SOUS 31585 HAS SOUPS 18335 WITH SCORE 18576.111
AT ITER 239 NEW BEST:: SOT 318132 SOS 239665 HAS SOPS 146461 HAS SOUS 31349 HAS SOUPS 18233 WITH SCORE 18472.665
AT ITER 260 NEW BEST:: SOT 318072 SOS 239565 HAS SOPS 146361 HAS SOUS 31329 HAS SOUPS 18213 WITH SCORE 18452.565
AT ITER 276 NEW BEST:: SOT 318057 SOS 241019 HAS SOPS 147815 HAS SOUS 31317 HAS SOUPS 18201 WITH SCORE 18442.019
AT ITER 286 NEW BEST:: SOT 318041 SOS 239947 HAS SOPS 146743 HAS SOUS 31317 HAS SOUPS 18201 WITH SCORE 18440.947
AT ITER 290 NEW BEST:: SOT 318134 SOS 238889 HAS SOPS 146753 HAS SOUS 31227 HAS SOUPS 18200 WITH SCORE 18438.889
AT ITER 298 NEW BEST:: SOT 318130 SOS 238873 HAS SOPS 146735 HAS SOUS 31221 HAS SOUPS 18194 WITH SCORE 18432.873
AT ITER 299 NEW BEST:: SOT 318094 SOS 238801 HAS SOPS 146429 HAS SOUS 31211 HAS SOUPS 18158 WITH SCORE 18396.801
AT ITER 302 NEW BEST:: SOT 317899 SOS 237622 HAS SOPS 146126 HAS SOUS 31110 HAS SOUPS 18130 WITH SCORE 18367.622
AT ITER 305 NEW BEST:: SOT 318639 SOS 238554 HAS SOPS 146482 HAS SOUS 31199 HAS SOUPS 18107 WITH SCORE 18345.554
AT ITER 320 NEW BEST:: SOT 318663 SOS 238578 HAS SOPS 146506 HAS SOUS 31191 HAS SOUPS 18099 WITH SCORE 18337.578
AT ITER 334 NEW BEST:: SOT 318637 SOS 238419 HAS SOPS 146290 HAS SOUS 31191 HAS SOUPS 18080 WITH SCORE 18318.419
AT ITER 336 NEW BEST:: SOT 318613 SOS 237553 HAS SOPS 145544 HAS SOUS 31174 HAS SOUPS 18073 WITH SCORE 18310.553
AT ITER 363 NEW BEST:: SOT 318538 SOS 237147 HAS SOPS 145138 HAS SOUS 31120 HAS SOUPS 18019 WITH SCORE 18256.147
AT ITER 380 NEW BEST:: SOT 318496 SOS 237378 HAS SOPS 145117 HAS SOUS 31123 HAS SOUPS 18001 WITH SCORE 18238.378
AT ITER 385 NEW BEST:: SOT 318428 SOS 237344 HAS SOPS 144913 HAS SOUS 30647 HAS SOUPS 17525 WITH SCORE 17762.344
AT ITER 389 NEW BEST:: SOT 318436 SOS 237046 HAS SOPS 144718 HAS SOUS 30630 HAS SOUPS 17508 WITH SCORE 17745.046
AT ITER 390 NEW BEST:: SOT 318183 SOS 238309 HAS SOPS 144923 HAS SOUS 30329 HAS SOUPS 17383 WITH SCORE 17621.309
AT ITER 407 NEW BEST:: SOT 318169 SOS 237263 HAS SOPS 144573 HAS SOUS 30235 HAS SOUPS 17347 WITH SCORE 17584.263
AT ITER 423 NEW BEST:: SOT 318235 SOS 237725 HAS SOPS 144639 HAS SOUS 30261 HAS SOUPS 17340 WITH SCORE 17577.725
AT ITER 431 NEW BEST:: SOT 318273 SOS 237763 HAS SOPS 144627 HAS SOUS 30189 HAS SOUPS 17268 WITH SCORE 17505.763
AT ITER 448 NEW BEST:: SOT 318273 SOS 237131 HAS SOPS 144145 HAS SOUS 30153 HAS SOUPS 17232 WITH SCORE 17469.131
AT ITER 451 NEW BEST:: SOT 318999 SOS 238385 HAS SOPS 144541 HAS SOUS 30087 HAS SOUPS 17166 WITH SCORE 17404.385
AT ITER 456 NEW BEST:: SOT 318987 SOS 238385 HAS SOPS 144529 HAS SOUS 30117 HAS SOUPS 17160 WITH SCORE 17398.385
AT ITER 460 NEW BEST:: SOT 318987 SOS 238397 HAS SOPS 144526 HAS SOUS 30114 HAS SOUPS 17157 WITH SCORE 17395.397
AT ITER 467 NEW BEST:: SOT 318987 SOS 238422 HAS SOPS 144851 HAS SOUS 30064 HAS SOUPS 17132 WITH SCORE 17370.422
AT ITER 480 NEW BEST:: SOT 318974 SOS 238346 HAS SOPS 144775 HAS SOUS 30053 HAS SOUPS 17121 WITH SCORE 17359.346
AT ITER 500 NEW BEST:: SOT 319009 SOS 238416 HAS SOPS 144775 HAS SOUS 30080 HAS SOUPS 17116 WITH SCORE 17354.416
AT ITER 536 NEW BEST:: SOT 319005 SOS 238360 HAS SOPS 144719 HAS SOUS 30076 HAS SOUPS 17112 WITH SCORE 17350.36
AT ITER 538 NEW BEST:: SOT 318945 SOS 238240 HAS SOPS 144659 HAS SOUS 29956 HAS SOUPS 17052 WITH SCORE 17290.24
AT ITER 543 NEW BEST:: SOT 318873 SOS 238156 HAS SOPS 144611 HAS SOUS 29950 HAS SOUPS 17046 WITH SCORE 17284.156
AT ITER 546 NEW BEST:: SOT 318960 SOS 238243 HAS SOPS 144656 HAS SOUS 29939 HAS SOUPS 17035 WITH SCORE 17273.243
AT ITER 549 NEW BEST:: SOT 319047 SOS 238417 HAS SOPS 144656 HAS SOUS 29879 HAS SOUPS 16918 WITH SCORE 17156.417
AT ITER 553 NEW BEST:: SOT 319040 SOS 237315 HAS SOPS 143758 HAS SOUS 29862 HAS SOUPS 16918 WITH SCORE 17155.315
AT ITER 573 NEW BEST:: SOT 318974 SOS 238318 HAS SOPS 144036 HAS SOUS 29831 HAS SOUPS 16887 WITH SCORE 17125.318
AT ITER 591 NEW BEST:: SOT 318967 SOS 238220 HAS SOPS 143938 HAS SOUS 29817 HAS SOUPS 16873 WITH SCORE 17111.22
AT ITER 598 NEW BEST:: SOT 318936 SOS 237786 HAS SOPS 143876 HAS SOUS 29786 HAS SOUPS 16873 WITH SCORE 17110.786
AT ITER 607 NEW BEST:: SOT 318750 SOS 236580 HAS SOPS 143545 HAS SOUS 29743 HAS SOUPS 16837 WITH SCORE 17073.58
AT ITER 610 NEW BEST:: SOT 318760 SOS 235052 HAS SOPS 142737 HAS SOUS 29524 HAS SOUPS 16678 WITH SCORE 16913.052
AT ITER 637 NEW BEST:: SOT 318749 SOS 235041 HAS SOPS 142726 HAS SOUS 29513 HAS SOUPS 16667 WITH SCORE 16902.041
AT ITER 641 NEW BEST:: SOT 318713 SOS 235365 HAS SOPS 142906 HAS SOUS 29495 HAS SOUPS 16649 WITH SCORE 16884.365
AT ITER 645 NEW BEST:: SOT 319303 SOS 236427 HAS SOPS 143260 HAS SOUS 29440 HAS SOUPS 16592 WITH SCORE 16828.427
AT ITER 655 NEW BEST:: SOT 319275 SOS 234922 HAS SOPS 141755 HAS SOUS 29414 HAS SOUPS 16566 WITH SCORE 16800.922
AT ITER 668 NEW BEST:: SOT 319224 SOS 234765 HAS SOPS 141451 HAS SOUS 28743 HAS SOUPS 16062 WITH SCORE 16296.765
AT ITER 669 NEW BEST:: SOT 319172 SOS 234729 HAS SOPS 141411 HAS SOUS 28745 HAS SOUPS 16057 WITH SCORE 16291.729
AT ITER 702 NEW BEST:: SOT 319150 SOS 234733 HAS SOPS 141393 HAS SOUS 28731 HAS SOUPS 16045 WITH SCORE 16279.733
AT ITER 704 NEW BEST:: SOT 318997 SOS 234128 HAS SOPS 141035 HAS SOUS 28723 HAS SOUPS 16037 WITH SCORE 16271.128
AT ITER 781 NEW BEST:: SOT 318998 SOS 230716 HAS SOPS 138127 HAS SOUS 28671 HAS SOUPS 16027 WITH SCORE 16257.716
AT ITER 782 NEW BEST:: SOT 319527 SOS 231666 HAS SOPS 138397 HAS SOUS 28598 HAS SOUPS 15965 WITH SCORE 16196.666
AT ITER 805 NEW BEST:: SOT 319522 SOS 231591 HAS SOPS 138322 HAS SOUS 28593 HAS SOUPS 15960 WITH SCORE 16191.591
AT ITER 819 NEW BEST:: SOT 319555 SOS 231624 HAS SOPS 138322 HAS SOUS 28585 HAS SOUPS 15955 WITH SCORE 16186.624
AT ITER 838 NEW BEST:: SOT 319531 SOS 231588 HAS SOPS 138310 HAS SOUS 28552 HAS SOUPS 15938 WITH SCORE 16169.588
AT ITER 841 NEW BEST:: SOT 319574 SOS 231494 HAS SOPS 138324 HAS SOUS 28530 HAS SOUPS 15916 WITH SCORE 16147.494
AT ITER 849 NEW BEST:: SOT 319575 SOS 231656 HAS SOPS 138246 HAS SOUS 28527 HAS SOUPS 15893 WITH SCORE 16124.656
AT ITER 870 NEW BEST:: SOT 319295 SOS 231376 HAS SOPS 138006 HAS SOUS 28441 HAS SOUPS 15831 WITH SCORE 16062.376
AT ITER 888 NEW BEST:: SOT 319290 SOS 231426 HAS SOPS 138056 HAS SOUS 28431 HAS SOUPS 15821 WITH SCORE 16052.426
AT ITER 904 NEW BEST:: SOT 319292 SOS 231398 HAS SOPS 138034 HAS SOUS 28431 HAS SOUPS 15821 WITH SCORE 16052.398
AT ITER 913 NEW BEST:: SOT 319274 SOS 230669 HAS SOPS 137413 HAS SOUS 28400 HAS SOUPS 15799 WITH SCORE 16029.669
AT ITER 914 NEW BEST:: SOT 319274 SOS 230669 HAS SOPS 137413 HAS SOUS 28319 HAS SOUPS 15754 WITH SCORE 15984.669
AT ITER 938 NEW BEST:: SOT 319231 SOS 230414 HAS SOPS 137158 HAS SOUS 28304 HAS SOUPS 15739 WITH SCORE 15969.414
AT ITER 952 NEW BEST:: SOT 319337 SOS 230495 HAS SOPS 137289 HAS SOUS 28284 HAS SOUPS 15735 WITH SCORE 15965.495
AT ITER 984 NEW BEST:: SOT 319342 SOS 230389 HAS SOPS 137291 HAS SOUS 28283 HAS SOUPS 15734 WITH SCORE 15964.389
AT ITER 990 NEW BEST:: SOT 319639 SOS 230902 HAS SOPS 137453 HAS SOUS 28306 HAS SOUPS 15732 WITH SCORE 15962.902
AT ITER 1012 NEW BEST:: SOT 318795 SOS 229368 HAS SOPS 136843 HAS SOUS 28203 HAS SOUPS 15698 WITH SCORE 15927.368
AT ITER 1023 NEW BEST:: SOT 318795 SOS 229327 HAS SOPS 136843 HAS SOUS 28162 HAS SOUPS 15698 WITH SCORE 15927.327
AT ITER 1026 NEW BEST:: SOT 318823 SOS 228505 HAS SOPS 136021 HAS SOUS 28120 HAS SOUPS 15656 WITH SCORE 15884.505
AT ITER 1045 NEW BEST:: SOT 318813 SOS 229007 HAS SOPS 136526 HAS SOUS 28087 HAS SOUPS 15623 WITH SCORE 15852.007
AT ITER 1069 NEW BEST:: SOT 318867 SOS 228583 HAS SOPS 136558 HAS SOUS 28043 HAS SOUPS 15617 WITH SCORE 15845.583
AT ITER 1085 NEW BEST:: SOT 318832 SOS 228513 HAS SOPS 136558 HAS SOUS 28008 HAS SOUPS 15617 WITH SCORE 15845.513
AT ITER 1086 NEW BEST:: SOT 318808 SOS 228445 HAS SOPS 136526 HAS SOUS 27992 HAS SOUPS 15605 WITH SCORE 15833.445
AT ITER 1093 NEW BEST:: SOT 318784 SOS 228863 HAS SOPS 136950 HAS SOUS 27991 HAS SOUPS 15604 WITH SCORE 15832.863
AT ITER 1107 NEW BEST:: SOT 319012 SOS 229262 HAS SOPS 137064 HAS SOUS 27972 HAS SOUPS 15566 WITH SCORE 15795.262
AT ITER 1112 NEW BEST:: SOT 318976 SOS 229046 HAS SOPS 136848 HAS SOUS 27924 HAS SOUPS 15518 WITH SCORE 15747.046
AT ITER 1127 NEW BEST:: SOT 318858 SOS 229558 HAS SOPS 136544 HAS SOUS 27955 HAS SOUPS 15481 WITH SCORE 15710.558
AT ITER 1128 NEW BEST:: SOT 318852 SOS 229084 HAS SOPS 136070 HAS SOUS 27949 HAS SOUPS 15475 WITH SCORE 15704.084
AT ITER 1134 NEW BEST:: SOT 318827 SOS 229034 HAS SOPS 136070 HAS SOUS 27924 HAS SOUPS 15475 WITH SCORE 15704.034
AT ITER 1145 NEW BEST:: SOT 317864 SOS 227858 HAS SOPS 136116 HAS SOUS 27027 HAS SOUPS 15466 WITH SCORE 15693.858
AT ITER 1157 NEW BEST:: SOT 317856 SOS 225230 HAS SOPS 133980 HAS SOUS 26978 HAS SOUPS 15458 WITH SCORE 15683.23
AT ITER 1160 NEW BEST:: SOT 317856 SOS 225230 HAS SOPS 133980 HAS SOUS 26969 HAS SOUPS 15453 WITH SCORE 15678.23
AT ITER 1167 NEW BEST:: SOT 317867 SOS 225299 HAS SOPS 133896 HAS SOUS 26946 HAS SOUPS 15413 WITH SCORE 15638.299
AT ITER 1176 NEW BEST:: SOT 317891 SOS 225318 HAS SOPS 133891 HAS SOUS 26936 HAS SOUPS 15408 WITH SCORE 15633.318
AT ITER 1179 NEW BEST:: SOT 317574 SOS 224865 HAS SOPS 133576 HAS SOUS 26895 HAS SOUPS 15367 WITH SCORE 15591.865
AT ITER 1183 NEW BEST:: SOT 317547 SOS 224811 HAS SOPS 133576 HAS SOUS 26868 HAS SOUPS 15367 WITH SCORE 15591.811
AT ITER 1191 NEW BEST:: SOT 317413 SOS 224651 HAS SOPS 133481 HAS SOUS 26864 HAS SOUPS 15363 WITH SCORE 15587.651
AT ITER 1220 NEW BEST:: SOT 317413 SOS 224541 HAS SOPS 133470 HAS SOUS 26842 HAS SOUPS 15352 WITH SCORE 15576.541
AT ITER 1223 NEW BEST:: SOT 317399 SOS 224496 HAS SOPS 133425 HAS SOUS 26831 HAS SOUPS 15341 WITH SCORE 15565.496
AT ITER 1258 NEW BEST:: SOT 317383 SOS 224542 HAS SOPS 133401 HAS SOUS 26843 HAS SOUPS 15338 WITH SCORE 15562.542
AT ITER 1266 NEW BEST:: SOT 317392 SOS 224437 HAS SOPS 133287 HAS SOUS 26843 HAS SOUPS 15338 WITH SCORE 15562.437
AT ITER 1275 NEW BEST:: SOT 317388 SOS 224381 HAS SOPS 133231 HAS SOUS 26843 HAS SOUPS 15338 WITH SCORE 15562.381
AT ITER 1282 NEW BEST:: SOT 317354 SOS 224330 HAS SOPS 133214 HAS SOUS 26791 HAS SOUPS 15311 WITH SCORE 15535.33
AT ITER 1284 NEW BEST:: SOT 316888 SOS 223834 HAS SOPS 132976 HAS SOUS 26780 HAS SOUPS 15300 WITH SCORE 15523.834
AT ITER 1335 NEW BEST:: SOT 316882 SOS 223828 HAS SOPS 132970 HAS SOUS 26774 HAS SOUPS 15294 WITH SCORE 15517.828
AT ITER 1343 NEW BEST:: SOT 316855 SOS 224161 HAS SOPS 133060 HAS SOUS 26765 HAS SOUPS 15276 WITH SCORE 15500.161
AT ITER 1372 NEW BEST:: SOT 316901 SOS 223301 HAS SOPS 133016 HAS SOUS 26653 HAS SOUPS 15232 WITH SCORE 15455.301
AT ITER 1389 NEW BEST:: SOT 317143 SOS 223719 HAS SOPS 133148 HAS SOUS 26645 HAS SOUPS 15210 WITH SCORE 15433.719
AT ITER 1436 NEW BEST:: SOT 317143 SOS 223719 HAS SOPS 133148 HAS SOUS 26618 HAS SOUPS 15195 WITH SCORE 15418.719
AT ITER 1468 NEW BEST:: SOT 317143 SOS 223698 HAS SOPS 133124 HAS SOUS 26618 HAS SOUPS 15195 WITH SCORE 15418.698
AT ITER 1473 NEW BEST:: SOT 316923 SOS 223318 HAS SOPS 133004 HAS SOUS 26598 HAS SOUPS 15195 WITH SCORE 15418.318
AT ITER 1481 NEW BEST:: SOT 316869 SOS 222755 HAS SOPS 132021 HAS SOUS 26614 HAS SOUPS 15176 WITH SCORE 15398.755
AT ITER 1489 NEW BEST:: SOT 316923 SOS 222133 HAS SOPS 131819 HAS SOUS 26578 HAS SOUPS 15175 WITH SCORE 15397.133
AT ITER 1502 NEW BEST:: SOT 316899 SOS 222113 HAS SOPS 131811 HAS SOUS 26566 HAS SOUPS 15168 WITH SCORE 15390.113
AT ITER 1508 NEW BEST:: SOT 316979 SOS 220665 HAS SOPS 130831 HAS SOUS 26505 HAS SOUPS 15146 WITH SCORE 15366.665
AT ITER 1524 NEW BEST:: SOT 316979 SOS 219933 HAS SOPS 130099 HAS SOUS 26448 HAS SOUPS 15089 WITH SCORE 15308.933
AT ITER 1526 NEW BEST:: SOT 316919 SOS 221886 HAS SOPS 130453 HAS SOUS 25789 HAS SOUPS 15060 WITH SCORE 15281.886
AT ITER 1530 NEW BEST:: SOT 316918 SOS 221898 HAS SOPS 130465 HAS SOUS 25788 HAS SOUPS 15059 WITH SCORE 15280.898
AT ITER 1536 NEW BEST:: SOT 316914 SOS 221880 HAS SOPS 130447 HAS SOUS 25763 HAS SOUPS 15034 WITH SCORE 15255.88
AT ITER 1551 NEW BEST:: SOT 316884 SOS 221886 HAS SOPS 130453 HAS SOUS 25755 HAS SOUPS 15026 WITH SCORE 15247.886
AT ITER 1555 NEW BEST:: SOT 315863 SOS 219283 HAS SOPS 129571 HAS SOUS 25701 HAS SOUPS 14985 WITH SCORE 15204.283
AT ITER 1563 NEW BEST:: SOT 315546 SOS 218782 HAS SOPS 129426 HAS SOUS 25639 HAS SOUPS 14946 WITH SCORE 15164.782
AT ITER 1571 NEW BEST:: SOT 315547 SOS 218784 HAS SOPS 129427 HAS SOUS 25639 HAS SOUPS 14945 WITH SCORE 15163.784
AT ITER 1573 NEW BEST:: SOT 315069 SOS 217713 HAS SOPS 129119 HAS SOUS 25591 HAS SOUPS 14944 WITH SCORE 15161.713
AT ITER 1585 NEW BEST:: SOT 315087 SOS 217731 HAS SOPS 129137 HAS SOUS 25556 HAS SOUPS 14909 WITH SCORE 15126.731
AT ITER 1586 NEW BEST:: SOT 315111 SOS 217773 HAS SOPS 129149 HAS SOUS 25556 HAS SOUPS 14907 WITH SCORE 15124.773
AT ITER 1588 NEW BEST:: SOT 315091 SOS 217801 HAS SOPS 129129 HAS SOUS 25555 HAS SOUPS 14902 WITH SCORE 15119.801
AT ITER 1640 NEW BEST:: SOT 315110 SOS 219165 HAS SOPS 130460 HAS SOUS 25549 HAS SOUPS 14896 WITH SCORE 15115.165
AT ITER 1668 NEW BEST:: SOT 315472 SOS 219579 HAS SOPS 130666 HAS SOUS 25443 HAS SOUPS 14842 WITH SCORE 15061.579
AT ITER 1696 NEW BEST:: SOT 315472 SOS 219563 HAS SOPS 130650 HAS SOUS 25443 HAS SOUPS 14842 WITH SCORE 15061.563
AT ITER 1698 NEW BEST:: SOT 316070 SOS 220071 HAS SOPS 130798 HAS SOUS 25338 HAS SOUPS 14818 WITH SCORE 15038.071
AT ITER 1705 NEW BEST:: SOT 316108 SOS 218437 HAS SOPS 129278 HAS SOUS 25234 HAS SOUPS 14714 WITH SCORE 14932.437
AT ITER 1706 NEW BEST:: SOT 316070 SOS 218118 HAS SOPS 129145 HAS SOUS 25220 HAS SOUPS 14713 WITH SCORE 14931.118
AT ITER 1729 NEW BEST:: SOT 316054 SOS 218090 HAS SOPS 129135 HAS SOUS 25204 HAS SOUPS 14703 WITH SCORE 14921.09
AT ITER 1731 NEW BEST:: SOT 316045 SOS 218081 HAS SOPS 129135 HAS SOUS 25188 HAS SOUPS 14687 WITH SCORE 14905.081
AT ITER 1744 NEW BEST:: SOT 316027 SOS 218063 HAS SOPS 129135 HAS SOUS 25188 HAS SOUPS 14687 WITH SCORE 14905.063
AT ITER 1764 NEW BEST:: SOT 316207 SOS 218459 HAS SOPS 129243 HAS SOUS 25182 HAS SOUPS 14669 WITH SCORE 14887.459
AT ITER 1791 NEW BEST:: SOT 316207 SOS 218064 HAS SOPS 128908 HAS SOUS 25177 HAS SOUPS 14669 WITH SCORE 14887.064
AT ITER 1850 NEW BEST:: SOT 316207 SOS 218111 HAS SOPS 128908 HAS SOUS 25205 HAS SOUPS 14615 WITH SCORE 14833.111
AT ITER 1856 NEW BEST:: SOT 316192 SOS 218216 HAS SOPS 129004 HAS SOUS 25202 HAS SOUPS 14612 WITH SCORE 14830.216
AT ITER 1862 NEW BEST:: SOT 316183 SOS 218201 HAS SOPS 129001 HAS SOUS 25193 HAS SOUPS 14609 WITH SCORE 14827.201
AT ITER 1872 NEW BEST:: SOT 316151 SOS 218183 HAS SOPS 128985 HAS SOUS 25189 HAS SOUPS 14605 WITH SCORE 14823.183
AT ITER 1895 NEW BEST:: SOT 316115 SOS 217938 HAS SOPS 128778 HAS SOUS 25174 HAS SOUPS 14590 WITH SCORE 14807.938
AT ITER 1935 NEW BEST:: SOT 315971 SOS 217658 HAS SOPS 128490 HAS SOUS 25187 HAS SOUPS 14584 WITH SCORE 14801.658
AT ITER 1946 NEW BEST:: SOT 315952 SOS 217653 HAS SOPS 128539 HAS SOUS 25176 HAS SOUPS 14579 WITH SCORE 14796.653
AT ITER 1948 NEW BEST:: SOT 315906 SOS 216829 HAS SOPS 128375 HAS SOUS 25115 HAS SOUPS 14573 WITH SCORE 14789.829
AT ITER 1964 NEW BEST:: SOT 315913 SOS 217577 HAS SOPS 129003 HAS SOUS 25120 HAS SOUPS 14568 WITH SCORE 14785.577
AT ITER 1969 NEW BEST:: SOT 315901 SOS 217559 HAS SOPS 128997 HAS SOUS 25108 HAS SOUPS 14562 WITH SCORE 14779.559
AT ITER 1980 NEW BEST:: SOT 315912 SOS 215709 HAS SOPS 127147 HAS SOUS 25105 HAS SOUPS 14559 WITH SCORE 14774.709
AT ITER 1983 NEW BEST:: SOT 315323 SOS 214754 HAS SOPS 126442 HAS SOUS 25108 HAS SOUPS 14551 WITH SCORE 14765.754
AT ITER 1999 NEW BEST:: SOT 315314 SOS 214359 HAS SOPS 126107 HAS SOUS 25103 HAS SOUPS 14551 WITH SCORE 14765.359
AT ITER 2004 NEW BEST:: SOT 315330 SOS 214014 HAS SOPS 126110 HAS SOUS 25072 HAS SOUPS 14549 WITH SCORE 14763.014
AT ITER 2027 NEW BEST:: SOT 315225 SOS 213930 HAS SOPS 125984 HAS SOUS 25093 HAS SOUPS 14549 WITH SCORE 14762.93
AT ITER 2058 NEW BEST:: SOT 315212 SOS 213904 HAS SOPS 125984 HAS SOUS 25080 HAS SOUPS 14549 WITH SCORE 14762.904
AT ITER 2068 NEW BEST:: SOT 315251 SOS 214206 HAS SOPS 126034 HAS SOUS 25104 HAS SOUPS 14545 WITH SCORE 14759.206
AT ITER 2125 NEW BEST:: SOT 315235 SOS 214150 HAS SOPS 126014 HAS SOUS 25096 HAS SOUPS 14541 WITH SCORE 14755.15
AT ITER 2135 NEW BEST:: SOT 315235 SOS 213775 HAS SOPS 125819 HAS SOUS 25051 HAS SOUPS 14511 WITH SCORE 14724.775
AT ITER 2144 NEW BEST:: SOT 315158 SOS 214195 HAS SOPS 126051 HAS SOUS 25022 HAS SOUPS 14497 WITH SCORE 14711.195
AT ITER 2151 NEW BEST:: SOT 315171 SOS 213829 HAS SOPS 125664 HAS SOUS 25021 HAS SOUPS 14496 WITH SCORE 14709.829
AT ITER 2170 NEW BEST:: SOT 315127 SOS 213753 HAS SOPS 125640 HAS SOUS 25021 HAS SOUPS 14496 WITH SCORE 14709.753
AT ITER 2209 NEW BEST:: SOT 315094 SOS 213466 HAS SOPS 125370 HAS SOUS 25020 HAS SOUPS 14495 WITH SCORE 14708.466
AT ITER 2210 NEW BEST:: SOT 315040 SOS 213178 HAS SOPS 125082 HAS SOUS 25002 HAS SOUPS 14477 WITH SCORE 14690.178
AT ITER 2222 NEW BEST:: SOT 315028 SOS 213166 HAS SOPS 125082 HAS SOUS 25002 HAS SOUPS 14477 WITH SCORE 14690.166
AT ITER 2241 NEW BEST:: SOT 314970 SOS 213220 HAS SOPS 124716 HAS SOUS 25030 HAS SOUPS 14467 WITH SCORE 14680.22
AT ITER 2246 NEW BEST:: SOT 314944 SOS 212593 HAS SOPS 124084 HAS SOUS 24999 HAS SOUPS 14436 WITH SCORE 14648.593
AT ITER 2304 NEW BEST:: SOT 314949 SOS 212575 HAS SOPS 124082 HAS SOUS 24974 HAS SOUPS 14434 WITH SCORE 14646.575
AT ITER 2331 NEW BEST:: SOT 314949 SOS 212575 HAS SOPS 124082 HAS SOUS 24947 HAS SOUPS 14419 WITH SCORE 14631.575
AT ITER 2334 NEW BEST:: SOT 314709 SOS 212218 HAS SOPS 123833 HAS SOUS 24923 HAS SOUPS 14395 WITH SCORE 14607.218
AT ITER 2346 NEW BEST:: SOT 314707 SOS 212216 HAS SOPS 123833 HAS SOUS 24923 HAS SOUPS 14395 WITH SCORE 14607.216
AT ITER 2415 NEW BEST:: SOT 314905 SOS 212364 HAS SOPS 123935 HAS SOUS 24889 HAS SOUPS 14372 WITH SCORE 14584.364
AT ITER 2428 NEW BEST:: SOT 315002 SOS 211646 HAS SOPS 123550 HAS SOUS 24901 HAS SOUPS 14371 WITH SCORE 14582.646
AT ITER 2432 NEW BEST:: SOT 314970 SOS 211646 HAS SOPS 123502 HAS SOUS 24853 HAS SOUPS 14323 WITH SCORE 14534.646
AT ITER 2477 NEW BEST:: SOT 314934 SOS 211606 HAS SOPS 123462 HAS SOUS 24810 HAS SOUPS 14280 WITH SCORE 14491.606
AT ITER 2479 NEW BEST:: SOT 314930 SOS 211550 HAS SOPS 123454 HAS SOUS 24799 HAS SOUPS 14273 WITH SCORE 14484.55
AT ITER 2500 NEW BEST:: SOT 314940 SOS 211570 HAS SOPS 123474 HAS SOUS 24795 HAS SOUPS 14269 WITH SCORE 14480.57
AT ITER 2502 NEW BEST:: SOT 313787 SOS 208427 HAS SOPS 120883 HAS SOUS 24734 HAS SOUPS 14208 WITH SCORE 14416.427
AT ITER 2520 NEW BEST:: SOT 313787 SOS 208427 HAS SOPS 120883 HAS SOUS 24725 HAS SOUPS 14203 WITH SCORE 14411.427
AT ITER 2538 NEW BEST:: SOT 313519 SOS 208107 HAS SOPS 120693 HAS SOUS 24717 HAS SOUPS 14195 WITH SCORE 14403.107
AT ITER 2546 NEW BEST:: SOT 313321 SOS 208017 HAS SOPS 120599 HAS SOUS 24735 HAS SOUPS 14185 WITH SCORE 14393.017
AT ITER 2550 NEW BEST:: SOT 313321 SOS 207396 HAS SOPS 120005 HAS SOUS 24717 HAS SOUPS 14167 WITH SCORE 14374.396
AT ITER 2575 NEW BEST:: SOT 313355 SOS 207402 HAS SOPS 119982 HAS SOUS 24698 HAS SOUPS 14156 WITH SCORE 14363.402
AT ITER 2646 NEW BEST:: SOT 313342 SOS 205940 HAS SOPS 118760 HAS SOUS 24677 HAS SOUPS 14155 WITH SCORE 14360.94
AT ITER 2670 NEW BEST:: SOT 313310 SOS 204916 HAS SOPS 117736 HAS SOUS 24667 HAS SOUPS 14145 WITH SCORE 14349.916
AT ITER 2693 NEW BEST:: SOT 312725 SOS 204402 HAS SOPS 117340 HAS SOUS 24689 HAS SOUPS 14121 WITH SCORE 14325.402
AT ITER 2714 NEW BEST:: SOT 312707 SOS 204411 HAS SOPS 117322 HAS SOUS 24680 HAS SOUPS 14112 WITH SCORE 14316.411
AT ITER 2731 NEW BEST:: SOT 312863 SOS 204907 HAS SOPS 117550 HAS SOUS 24670 HAS SOUPS 14102 WITH SCORE 14306.907
AT ITER 2787 NEW BEST:: SOT 312875 SOS 204933 HAS SOPS 117394 HAS SOUS 24684 HAS SOUPS 14101 WITH SCORE 14305.933
AT ITER 2795 NEW BEST:: SOT 312510 SOS 203853 HAS SOPS 116841 HAS SOUS 24605 HAS SOUPS 14053 WITH SCORE 14256.853
AT ITER 2824 NEW BEST:: SOT 312498 SOS 203278 HAS SOPS 116566 HAS SOUS 24579 HAS SOUPS 14052 WITH SCORE 14255.278
AT ITER 2838 NEW BEST:: SOT 312612 SOS 203526 HAS SOPS 116634 HAS SOUS 24561 HAS SOUPS 14032 WITH SCORE 14235.526
AT ITER 2850 NEW BEST:: SOT 312612 SOS 203446 HAS SOPS 116602 HAS SOUS 24547 HAS SOUPS 14022 WITH SCORE 14225.446
AT ITER 2871 NEW BEST:: SOT 312492 SOS 203196 HAS SOPS 116532 HAS SOUS 24533 HAS SOUPS 14018 WITH SCORE 14221.196
AT ITER 2889 NEW BEST:: SOT 312489 SOS 203193 HAS SOPS 116529 HAS SOUS 24530 HAS SOUPS 14015 WITH SCORE 14218.193
AT ITER 2902 NEW BEST:: SOT 312269 SOS 202709 HAS SOPS 116123 HAS SOUS 24508 HAS SOUPS 13987 WITH SCORE 14189.709
AT ITER 2932 NEW BEST:: SOT 312277 SOS 202735 HAS SOPS 116149 HAS SOUS 24504 HAS SOUPS 13983 WITH SCORE 14185.735
AT ITER 2985 NEW BEST:: SOT 312206 SOS 202658 HAS SOPS 116141 HAS SOUS 24490 HAS SOUPS 13975 WITH SCORE 14177.658
AT ITER 3026 NEW BEST:: SOT 312261 SOS 202718 HAS SOPS 116171 HAS SOUS 24485 HAS SOUPS 13970 WITH SCORE 14172.718
AT ITER 3045 NEW BEST:: SOT 312257 SOS 202714 HAS SOPS 116171 HAS SOUS 24485 HAS SOUPS 13970 WITH SCORE 14172.714
AT ITER 3067 NEW BEST:: SOT 312240 SOS 202621 HAS SOPS 116335 HAS SOUS 24459 HAS SOUPS 13966 WITH SCORE 14168.621
AT ITER 3070 NEW BEST:: SOT 312376 SOS 203031 HAS SOPS 116851 HAS SOUS 24424 HAS SOUPS 13961 WITH SCORE 14164.031
AT ITER 3083 NEW BEST:: SOT 312286 SOS 202437 HAS SOPS 116419 HAS SOUS 24412 HAS SOUPS 13958 WITH SCORE 14160.437
AT ITER 3111 NEW BEST:: SOT 312225 SOS 202045 HAS SOPS 116153 HAS SOUS 24403 HAS SOUPS 13956 WITH SCORE 14158.045
AT ITER 3128 NEW BEST:: SOT 312225 SOS 202021 HAS SOPS 116105 HAS SOUS 24405 HAS SOUPS 13956 WITH SCORE 14158.021
AT ITER 3150 NEW BEST:: SOT 312211 SOS 201885 HAS SOPS 116677 HAS SOUS 24340 HAS SOUPS 13950 WITH SCORE 14151.885
AT ITER 3159 NEW BEST:: SOT 312074 SOS 201633 HAS SOPS 116587 HAS SOUS 24327 HAS SOUPS 13944 WITH SCORE 14145.633
AT ITER 3178 NEW BEST:: SOT 312018 SOS 201573 HAS SOPS 116551 HAS SOUS 24323 HAS SOUPS 13940 WITH SCORE 14141.573
AT ITER 3186 NEW BEST:: SOT 312030 SOS 201507 HAS SOPS 116536 HAS SOUS 24301 HAS SOUPS 13912 WITH SCORE 14113.507
AT ITER 3214 NEW BEST:: SOT 312006 SOS 201593 HAS SOPS 116415 HAS SOUS 24304 HAS SOUPS 13892 WITH SCORE 14093.593
AT ITER 3255 NEW BEST:: SOT 312181 SOS 201979 HAS SOPS 116523 HAS SOUS 24263 HAS SOUPS 13856 WITH SCORE 14057.979
AT ITER 3265 NEW BEST:: SOT 312204 SOS 202002 HAS SOPS 116523 HAS SOUS 24254 HAS SOUPS 13851 WITH SCORE 14053.002
AT ITER 3275 NEW BEST:: SOT 312202 SOS 202000 HAS SOPS 116523 HAS SOUS 24254 HAS SOUPS 13851 WITH SCORE 14053.0
AT ITER 3314 NEW BEST:: SOT 312212 SOS 202018 HAS SOPS 116529 HAS SOUS 24252 HAS SOUPS 13849 WITH SCORE 14051.018
AT ITER 3319 NEW BEST:: SOT 312242 SOS 202446 HAS SOPS 116189 HAS SOUS 24285 HAS SOUPS 13818 WITH SCORE 14020.446
AT ITER 3342 NEW BEST:: SOT 312208 SOS 202918 HAS SOPS 116517 HAS SOUS 24287 HAS SOUPS 13808 WITH SCORE 14010.918
AT ITER 3389 NEW BEST:: SOT 312192 SOS 202767 HAS SOPS 116355 HAS SOUS 24257 HAS SOUPS 13778 WITH SCORE 13980.767
AT ITER 3408 NEW BEST:: SOT 312206 SOS 202781 HAS SOPS 116359 HAS SOUS 24255 HAS SOUPS 13776 WITH SCORE 13978.781
AT ITER 3428 NEW BEST:: SOT 312086 SOS 202130 HAS SOPS 116028 HAS SOUS 24225 HAS SOUPS 13756 WITH SCORE 13958.13
AT ITER 3435 NEW BEST:: SOT 312041 SOS 202031 HAS SOPS 116010 HAS SOUS 24225 HAS SOUPS 13756 WITH SCORE 13958.031
AT ITER 3437 NEW BEST:: SOT 312037 SOS 202023 HAS SOPS 116010 HAS SOUS 24221 HAS SOUPS 13756 WITH SCORE 13958.023
AT ITER 3476 NEW BEST:: SOT 312033 SOS 202000 HAS SOPS 115994 HAS SOUS 24221 HAS SOUPS 13756 WITH SCORE 13958.0
AT ITER 3503 NEW BEST:: SOT 312127 SOS 202198 HAS SOPS 116048 HAS SOUS 24219 HAS SOUPS 13746 WITH SCORE 13948.198
AT ITER 3536 NEW BEST:: SOT 312123 SOS 202192 HAS SOPS 116020 HAS SOUS 24211 HAS SOUPS 13738 WITH SCORE 13940.192
AT ITER 3553 NEW BEST:: SOT 311869 SOS 201972 HAS SOPS 116020 HAS SOUS 23787 HAS SOUPS 13688 WITH SCORE 13889.972
AT ITER 3587 NEW BEST:: SOT 312577 SOS 203211 HAS SOPS 116374 HAS SOUS 23826 HAS SOUPS 13644 WITH SCORE 13847.211
AT ITER 3624 NEW BEST:: SOT 312781 SOS 203568 HAS SOPS 116476 HAS SOUS 23837 HAS SOUPS 13638 WITH SCORE 13841.568
AT ITER 3685 NEW BEST:: SOT 312808 SOS 206314 HAS SOPS 119222 HAS SOUS 23827 HAS SOUPS 13628 WITH SCORE 13834.314
AT ITER 3731 NEW BEST:: SOT 312808 SOS 206313 HAS SOPS 119209 HAS SOUS 23826 HAS SOUPS 13626 WITH SCORE 13832.313
AT ITER 3739 NEW BEST:: SOT 312808 SOS 206305 HAS SOPS 119209 HAS SOUS 23818 HAS SOUPS 13626 WITH SCORE 13832.305
AT ITER 3755 NEW BEST:: SOT 312471 SOS 202807 HAS SOPS 116208 HAS SOUS 23806 HAS SOUPS 13618 WITH SCORE 13820.807
AT ITER 3767 NEW BEST:: SOT 312480 SOS 202828 HAS SOPS 116235 HAS SOUS 23803 HAS SOUPS 13615 WITH SCORE 13817.828
AT ITER 3852 NEW BEST:: SOT 312461 SOS 202462 HAS SOPS 116053 HAS SOUS 23771 HAS SOUPS 13599 WITH SCORE 13801.462
AT ITER 3864 NEW BEST:: SOT 312461 SOS 202456 HAS SOPS 116020 HAS SOUS 23774 HAS SOUPS 13599 WITH SCORE 13801.456
AT ITER 3865 NEW BEST:: SOT 312377 SOS 202282 HAS SOPS 115882 HAS SOUS 23762 HAS SOUPS 13587 WITH SCORE 13789.282
AT ITER 3869 NEW BEST:: SOT 312354 SOS 202131 HAS SOPS 115809 HAS SOUS 23720 HAS SOUPS 13576 WITH SCORE 13778.131
AT ITER 3892 NEW BEST:: SOT 312728 SOS 202811 HAS SOPS 116013 HAS SOUS 23686 HAS SOUPS 13508 WITH SCORE 13710.811
AT ITER 3909 NEW BEST:: SOT 312758 SOS 202856 HAS SOPS 116028 HAS SOUS 23686 HAS SOUPS 13493 WITH SCORE 13695.856
AT ITER 3970 NEW BEST:: SOT 312758 SOS 202828 HAS SOPS 116000 HAS SOUS 23686 HAS SOUPS 13493 WITH SCORE 13695.828
AT ITER 4067 NEW BEST:: SOT 312735 SOS 202790 HAS SOPS 115962 HAS SOUS 23671 HAS SOUPS 13478 WITH SCORE 13680.79
AT ITER 4103 NEW BEST:: SOT 312742 SOS 202524 HAS SOPS 115780 HAS SOUS 23664 HAS SOUPS 13478 WITH SCORE 13680.524
AT ITER 4114 NEW BEST:: SOT 312771 SOS 202432 HAS SOPS 115666 HAS SOUS 23649 HAS SOUPS 13463 WITH SCORE 13665.432
AT ITER 4215 NEW BEST:: SOT 312687 SOS 202166 HAS SOPS 115435 HAS SOUS 23642 HAS SOUPS 13456 WITH SCORE 13658.166
AT ITER 4220 NEW BEST:: SOT 312651 SOS 202592 HAS SOPS 115831 HAS SOUS 23640 HAS SOUPS 13454 WITH SCORE 13656.592
AT ITER 4224 NEW BEST:: SOT 312659 SOS 202576 HAS SOPS 115839 HAS SOUS 23638 HAS SOUPS 13452 WITH SCORE 13654.576
AT ITER 4275 NEW BEST:: SOT 312656 SOS 202586 HAS SOPS 115849 HAS SOUS 23637 HAS SOUPS 13451 WITH SCORE 13653.586
AT ITER 4279 NEW BEST:: SOT 312604 SOS 202522 HAS SOPS 115641 HAS SOUS 23598 HAS SOUPS 13400 WITH SCORE 13602.522
AT ITER 4321 NEW BEST:: SOT 311639 SOS 201758 HAS SOPS 115010 HAS SOUS 23602 HAS SOUPS 13336 WITH SCORE 13537.758
AT ITER 4377 NEW BEST:: SOT 311637 SOS 201756 HAS SOPS 115010 HAS SOUS 23602 HAS SOUPS 13336 WITH SCORE 13537.756
AT ITER 4380 NEW BEST:: SOT 311630 SOS 201743 HAS SOPS 115006 HAS SOUS 23601 HAS SOUPS 13335 WITH SCORE 13536.743
AT ITER 4383 NEW BEST:: SOT 311672 SOS 201785 HAS SOPS 115018 HAS SOUS 23591 HAS SOUPS 13325 WITH SCORE 13526.785
AT ITER 4430 NEW BEST:: SOT 311660 SOS 201717 HAS SOPS 114958 HAS SOUS 23574 HAS SOUPS 13309 WITH SCORE 13510.717
AT ITER 4462 NEW BEST:: SOT 311659 SOS 201707 HAS SOPS 114912 HAS SOUS 23577 HAS SOUPS 13308 WITH SCORE 13509.707
AT ITER 4466 NEW BEST:: SOT 311659 SOS 201683 HAS SOPS 114888 HAS SOUS 23575 HAS SOUPS 13306 WITH SCORE 13507.683
AT ITER 4486 NEW BEST:: SOT 311659 SOS 201688 HAS SOPS 114888 HAS SOUS 23570 HAS SOUPS 13296 WITH SCORE 13497.688
AT ITER 4497 NEW BEST:: SOT 311649 SOS 201678 HAS SOPS 114888 HAS SOUS 23570 HAS SOUPS 13296 WITH SCORE 13497.678
AT ITER 4536 NEW BEST:: SOT 311627 SOS 201630 HAS SOPS 114874 HAS SOUS 23568 HAS SOUPS 13296 WITH SCORE 13497.63
AT ITER 4593 NEW BEST:: SOT 311621 SOS 201618 HAS SOPS 114866 HAS SOUS 23565 HAS SOUPS 13296 WITH SCORE 13497.618
AT ITER 4596 NEW BEST:: SOT 311532 SOS 201511 HAS SOPS 114800 HAS SOUS 23563 HAS SOUPS 13293 WITH SCORE 13494.511
AT ITER 4611 NEW BEST:: SOT 311544 SOS 201117 HAS SOPS 114610 HAS SOUS 23526 HAS SOUPS 13273 WITH SCORE 13474.117
AT ITER 4641 NEW BEST:: SOT 311544 SOS 201037 HAS SOPS 114590 HAS SOUS 23505 HAS SOUPS 13252 WITH SCORE 13453.037
AT ITER 4650 NEW BEST:: SOT 311603 SOS 201239 HAS SOPS 114692 HAS SOUS 23500 HAS SOUPS 13247 WITH SCORE 13448.239
AT ITER 4659 NEW BEST:: SOT 311313 SOS 200450 HAS SOPS 114357 HAS SOUS 23488 HAS SOUPS 13245 WITH SCORE 13445.45
AT ITER 4715 NEW BEST:: SOT 311298 SOS 200264 HAS SOPS 114171 HAS SOUS 23484 HAS SOUPS 13241 WITH SCORE 13441.264
AT ITER 4783 NEW BEST:: SOT 311270 SOS 200260 HAS SOPS 114215 HAS SOUS 23474 HAS SOUPS 13241 WITH SCORE 13441.26
AT ITER 4815 NEW BEST:: SOT 311254 SOS 200364 HAS SOPS 114319 HAS SOUS 23466 HAS SOUPS 13233 WITH SCORE 13433.364
AT ITER 4885 NEW BEST:: SOT 311247 SOS 200357 HAS SOPS 114319 HAS SOUS 23466 HAS SOUPS 13233 WITH SCORE 13433.357
AT ITER 4904 NEW BEST:: SOT 311226 SOS 200043 HAS SOPS 114143 HAS SOUS 23478 HAS SOUPS 13229 WITH SCORE 13429.043
AT ITER 4920 NEW BEST:: SOT 311236 SOS 199798 HAS SOPS 113958 HAS SOUS 23473 HAS SOUPS 13229 WITH SCORE 13428.798
AT ITER 4960 NEW BEST:: SOT 311236 SOS 199666 HAS SOPS 113826 HAS SOUS 23473 HAS SOUPS 13229 WITH SCORE 13428.666
AT ITER 4974 NEW BEST:: SOT 311227 SOS 199657 HAS SOPS 113781 HAS SOUS 23467 HAS SOUPS 13220 WITH SCORE 13419.657
AT ITER 5076 NEW BEST:: SOT 311218 SOS 199639 HAS SOPS 113781 HAS SOUS 23458 HAS SOUPS 13220 WITH SCORE 13419.639
AT ITER 5116 NEW BEST:: SOT 311206 SOS 199521 HAS SOPS 113391 HAS SOUS 23456 HAS SOUPS 13197 WITH SCORE 13396.521
AT ITER 5135 NEW BEST:: SOT 311236 SOS 199525 HAS SOPS 113375 HAS SOUS 23442 HAS SOUPS 13191 WITH SCORE 13390.525
AT ITER 5136 NEW BEST:: SOT 311203 SOS 199477 HAS SOPS 113353 HAS SOUS 23421 HAS SOUPS 13175 WITH SCORE 13374.477
AT ITER 5221 NEW BEST:: SOT 311115 SOS 199389 HAS SOPS 113313 HAS SOUS 23413 HAS SOUPS 13167 WITH SCORE 13366.389
AT ITER 5249 NEW BEST:: SOT 311095 SOS 199341 HAS SOPS 113275 HAS SOUS 23411 HAS SOUPS 13165 WITH SCORE 13364.341
AT ITER 5262 NEW BEST:: SOT 311089 SOS 199335 HAS SOPS 113275 HAS SOUS 23411 HAS SOUPS 13165 WITH SCORE 13364.335
AT ITER 5310 NEW BEST:: SOT 311090 SOS 199909 HAS SOPS 113717 HAS SOUS 23412 HAS SOUPS 13155 WITH SCORE 13354.909
AT ITER 5335 NEW BEST:: SOT 311165 SOS 198859 HAS SOPS 112892 HAS SOUS 23412 HAS SOUPS 13155 WITH SCORE 13353.859
AT ITER 5359 NEW BEST:: SOT 311138 SOS 198857 HAS SOPS 112873 HAS SOUS 23394 HAS SOUPS 13143 WITH SCORE 13341.857
AT ITER 5430 NEW BEST:: SOT 311121 SOS 198921 HAS SOPS 112781 HAS SOUS 23404 HAS SOUPS 13140 WITH SCORE 13338.921
AT ITER 5501 NEW BEST:: SOT 311121 SOS 198417 HAS SOPS 112402 HAS SOUS 23393 HAS SOUPS 13139 WITH SCORE 13337.417
AT ITER 5505 NEW BEST:: SOT 311091 SOS 198411 HAS SOPS 112180 HAS SOUS 23405 HAS SOUPS 13133 WITH SCORE 13331.411
AT ITER 5563 NEW BEST:: SOT 311100 SOS 198621 HAS SOPS 112282 HAS SOUS 23412 HAS SOUPS 13131 WITH SCORE 13329.621
AT ITER 5577 NEW BEST:: SOT 311098 SOS 198581 HAS SOPS 112326 HAS SOUS 23402 HAS SOUPS 13128 WITH SCORE 13326.581
AT ITER 5585 NEW BEST:: SOT 311116 SOS 198745 HAS SOPS 112346 HAS SOUS 23416 HAS SOUPS 13126 WITH SCORE 13324.745
AT ITER 5633 NEW BEST:: SOT 311154 SOS 198661 HAS SOPS 112342 HAS SOUS 23423 HAS SOUPS 13122 WITH SCORE 13320.661
AT ITER 5743 NEW BEST:: SOT 310763 SOS 197999 HAS SOPS 111994 HAS SOUS 23342 HAS SOUPS 13051 WITH SCORE 13248.999
AT ITER 5753 NEW BEST:: SOT 310754 SOS 197987 HAS SOPS 111982 HAS SOUS 23318 HAS SOUPS 13027 WITH SCORE 13224.987
AT ITER 5822 NEW BEST:: SOT 310753 SOS 197985 HAS SOPS 111982 HAS SOUS 23308 HAS SOUPS 13022 WITH SCORE 13219.985
AT ITER 5825 NEW BEST:: SOT 310743 SOS 198035 HAS SOPS 111972 HAS SOUS 23303 HAS SOUPS 13012 WITH SCORE 13210.035
AT ITER 5861 NEW BEST:: SOT 310752 SOS 197973 HAS SOPS 111910 HAS SOUS 23242 HAS SOUPS 12951 WITH SCORE 13148.973
AT ITER 5945 NEW BEST:: SOT 310713 SOS 197853 HAS SOPS 111805 HAS SOUS 23236 HAS SOUPS 12945 WITH SCORE 13142.853
AT ITER 5994 NEW BEST:: SOT 310696 SOS 197615 HAS SOPS 111771 HAS SOUS 23219 HAS SOUPS 12945 WITH SCORE 13142.615
AT ITER 6048 NEW BEST:: SOT 310598 SOS 197429 HAS SOPS 111697 HAS SOUS 23201 HAS SOUPS 12935 WITH SCORE 13132.429
AT ITER 6121 NEW BEST:: SOT 310598 SOS 197404 HAS SOPS 111684 HAS SOUS 23198 HAS SOUPS 12933 WITH SCORE 13130.404
AT ITER 6123 NEW BEST:: SOT 310646 SOS 197452 HAS SOPS 111696 HAS SOUS 23192 HAS SOUPS 12927 WITH SCORE 13124.452
AT ITER 6128 NEW BEST:: SOT 310649 SOS 197458 HAS SOPS 111702 HAS SOUS 23189 HAS SOUPS 12924 WITH SCORE 13121.458
AT ITER 6151 NEW BEST:: SOT 310622 SOS 195649 HAS SOPS 109893 HAS SOUS 23189 HAS SOUPS 12924 WITH SCORE 13119.649
AT ITER 6221 NEW BEST:: SOT 310617 SOS 196099 HAS SOPS 110247 HAS SOUS 23192 HAS SOUPS 12919 WITH SCORE 13115.099
AT ITER 6305 NEW BEST:: SOT 310186 SOS 195060 HAS SOPS 109944 HAS SOUS 23138 HAS SOUPS 12906 WITH SCORE 13101.06
AT ITER 6386 NEW BEST:: SOT 310323 SOS 195223 HAS SOPS 110073 HAS SOUS 23107 HAS SOUPS 12892 WITH SCORE 13087.223
AT ITER 6404 NEW BEST:: SOT 310337 SOS 195231 HAS SOPS 110079 HAS SOUS 23104 HAS SOUPS 12891 WITH SCORE 13086.231
AT ITER 6407 NEW BEST:: SOT 310980 SOS 196131 HAS SOPS 110905 HAS SOUS 23027 HAS SOUPS 12863 WITH SCORE 13059.131
AT ITER 6411 NEW BEST:: SOT 310980 SOS 196129 HAS SOPS 110903 HAS SOUS 23027 HAS SOUPS 12863 WITH SCORE 13059.129
AT ITER 6437 NEW BEST:: SOT 310984 SOS 196133 HAS SOPS 110903 HAS SOUS 23018 HAS SOUPS 12858 WITH SCORE 13054.133
AT ITER 6503 NEW BEST:: SOT 311043 SOS 196202 HAS SOPS 110942 HAS SOUS 23017 HAS SOUPS 12857 WITH SCORE 13053.202
AT ITER 6504 NEW BEST:: SOT 311038 SOS 196181 HAS SOPS 110927 HAS SOUS 23011 HAS SOUPS 12853 WITH SCORE 13049.181
AT ITER 6513 NEW BEST:: SOT 311028 SOS 196369 HAS SOPS 111115 HAS SOUS 23001 HAS SOUPS 12843 WITH SCORE 13039.369
AT ITER 6514 NEW BEST:: SOT 311041 SOS 194577 HAS SOPS 109547 HAS SOUS 22984 HAS SOUPS 12826 WITH SCORE 13020.577
AT ITER 6555 NEW BEST:: SOT 311041 SOS 194559 HAS SOPS 109448 HAS SOUS 22993 HAS SOUPS 12826 WITH SCORE 13020.559
AT ITER 6556 NEW BEST:: SOT 311041 SOS 194555 HAS SOPS 109448 HAS SOUS 22989 HAS SOUPS 12826 WITH SCORE 13020.555
AT ITER 6607 NEW BEST:: SOT 311036 SOS 194550 HAS SOPS 109448 HAS SOUS 22989 HAS SOUPS 12826 WITH SCORE 13020.55
AT ITER 6663 NEW BEST:: SOT 311082 SOS 194882 HAS SOPS 109510 HAS SOUS 22999 HAS SOUPS 12806 WITH SCORE 13000.882
AT ITER 6675 NEW BEST:: SOT 311173 SOS 195968 HAS SOPS 110445 HAS SOUS 22990 HAS SOUPS 12797 WITH SCORE 12992.968
AT ITER 6722 NEW BEST:: SOT 311172 SOS 195966 HAS SOPS 110445 HAS SOUS 22989 HAS SOUPS 12797 WITH SCORE 12992.966
AT ITER 6741 NEW BEST:: SOT 311172 SOS 195942 HAS SOPS 110421 HAS SOUS 22989 HAS SOUPS 12797 WITH SCORE 12992.942
AT ITER 6789 NEW BEST:: SOT 310736 SOS 194968 HAS SOPS 110095 HAS SOUS 22981 HAS SOUPS 12789 WITH SCORE 12983.968
AT ITER 6790 NEW BEST:: SOT 310153 SOS 193696 HAS SOPS 109724 HAS SOUS 22928 HAS SOUPS 12789 WITH SCORE 12982.696
AT ITER 6791 NEW BEST:: SOT 310149 SOS 193692 HAS SOPS 109724 HAS SOUS 22928 HAS SOUPS 12789 WITH SCORE 12982.692
AT ITER 6818 NEW BEST:: SOT 310140 SOS 193683 HAS SOPS 109724 HAS SOUS 22928 HAS SOUPS 12789 WITH SCORE 12982.683
AT ITER 7186 NEW BEST:: SOT 310130 SOS 194199 HAS SOPS 109826 HAS SOUS 22914 HAS SOUPS 12766 WITH SCORE 12960.199
AT ITER 7204 NEW BEST:: SOT 310129 SOS 194145 HAS SOPS 109772 HAS SOUS 22911 HAS SOUPS 12763 WITH SCORE 12957.145
AT ITER 7215 NEW BEST:: SOT 310115 SOS 194257 HAS SOPS 109836 HAS SOUS 22908 HAS SOUPS 12756 WITH SCORE 12950.257
AT ITER 7217 NEW BEST:: SOT 310115 SOS 194173 HAS SOPS 109822 HAS SOUS 22893 HAS SOUPS 12748 WITH SCORE 12942.173
AT ITER 7222 NEW BEST:: SOT 310107 SOS 194173 HAS SOPS 109810 HAS SOUS 22885 HAS SOUPS 12740 WITH SCORE 12934.173
AT ITER 7250 NEW BEST:: SOT 309842 SOS 193621 HAS SOPS 109654 HAS SOUS 22862 HAS SOUPS 12739 WITH SCORE 12932.621
AT ITER 7288 NEW BEST:: SOT 309840 SOS 193621 HAS SOPS 109651 HAS SOUS 22860 HAS SOUPS 12737 WITH SCORE 12930.621
AT ITER 7291 NEW BEST:: SOT 309829 SOS 193671 HAS SOPS 109629 HAS SOUS 22865 HAS SOUPS 12736 WITH SCORE 12929.671
AT ITER 7333 NEW BEST:: SOT 309762 SOS 193544 HAS SOPS 109532 HAS SOUS 22856 HAS SOUPS 12727 WITH SCORE 12920.544
AT ITER 7391 NEW BEST:: SOT 309707 SOS 193222 HAS SOPS 109346 HAS SOUS 22846 HAS SOUPS 12725 WITH SCORE 12918.222
AT ITER 7451 NEW BEST:: SOT 309863 SOS 193547 HAS SOPS 109437 HAS SOUS 22852 HAS SOUPS 12718 WITH SCORE 12911.547
AT ITER 7468 NEW BEST:: SOT 309689 SOS 193151 HAS SOPS 109323 HAS SOUS 22840 HAS SOUPS 12712 WITH SCORE 12905.151
AT ITER 7493 NEW BEST:: SOT 310065 SOS 194272 HAS SOPS 109813 HAS SOUS 22837 HAS SOUPS 12691 WITH SCORE 12885.272
AT ITER 7548 NEW BEST:: SOT 310002 SOS 194200 HAS SOPS 109771 HAS SOUS 22831 HAS SOUPS 12689 WITH SCORE 12883.2
AT ITER 7559 NEW BEST:: SOT 310066 SOS 194410 HAS SOPS 109824 HAS SOUS 22849 HAS SOUPS 12678 WITH SCORE 12872.41
AT ITER 7579 NEW BEST:: SOT 310053 SOS 194408 HAS SOPS 109799 HAS SOUS 22840 HAS SOUPS 12669 WITH SCORE 12863.408
AT ITER 7584 NEW BEST:: SOT 309487 SOS 192854 HAS SOPS 109106 HAS SOUS 22797 HAS SOUPS 12647 WITH SCORE 12839.854
AT ITER 7664 NEW BEST:: SOT 309466 SOS 192845 HAS SOPS 109097 HAS SOUS 22800 HAS SOUPS 12647 WITH SCORE 12839.845
AT ITER 7671 NEW BEST:: SOT 309304 SOS 192467 HAS SOPS 108989 HAS SOUS 22746 HAS SOUPS 12647 WITH SCORE 12839.467
AT ITER 7679 NEW BEST:: SOT 309302 SOS 192487 HAS SOPS 108989 HAS SOUS 22746 HAS SOUPS 12645 WITH SCORE 12837.487
AT ITER 7690 NEW BEST:: SOT 309104 SOS 191887 HAS SOPS 108695 HAS SOUS 22714 HAS SOUPS 12631 WITH SCORE 12822.887
AT ITER 7694 NEW BEST:: SOT 309042 SOS 191825 HAS SOPS 108695 HAS SOUS 22714 HAS SOUPS 12631 WITH SCORE 12822.825
AT ITER 7701 NEW BEST:: SOT 308690 SOS 190832 HAS SOPS 108221 HAS SOUS 22691 HAS SOUPS 12612 WITH SCORE 12802.832
AT ITER 7744 NEW BEST:: SOT 308688 SOS 190816 HAS SOPS 108193 HAS SOUS 22690 HAS SOUPS 12610 WITH SCORE 12800.816
AT ITER 7791 NEW BEST:: SOT 308680 SOS 190579 HAS SOPS 108126 HAS SOUS 22673 HAS SOUPS 12603 WITH SCORE 12793.579
AT ITER 7795 NEW BEST:: SOT 308640 SOS 190504 HAS SOPS 108036 HAS SOUS 22668 HAS SOUPS 12593 WITH SCORE 12783.504
AT ITER 8004 NEW BEST:: SOT 308645 SOS 190499 HAS SOPS 108036 HAS SOUS 22616 HAS SOUPS 12583 WITH SCORE 12773.499
AT ITER 8013 NEW BEST:: SOT 308611 SOS 190448 HAS SOPS 108036 HAS SOUS 22525 HAS SOUPS 12533 WITH SCORE 12723.448
AT ITER 8018 NEW BEST:: SOT 308599 SOS 190420 HAS SOPS 108028 HAS SOUS 22521 HAS SOUPS 12533 WITH SCORE 12723.42
AT ITER 8027 NEW BEST:: SOT 308545 SOS 190224 HAS SOPS 107921 HAS SOUS 22518 HAS SOUPS 12530 WITH SCORE 12720.224
AT ITER 8058 NEW BEST:: SOT 308523 SOS 190184 HAS SOPS 107909 HAS SOUS 22509 HAS SOUPS 12526 WITH SCORE 12716.184
AT ITER 8062 NEW BEST:: SOT 308326 SOS 190177 HAS SOPS 107833 HAS SOUS 22518 HAS SOUPS 12499 WITH SCORE 12689.177
AT ITER 8081 NEW BEST:: SOT 308239 SOS 189999 HAS SOPS 107679 HAS SOUS 22521 HAS SOUPS 12495 WITH SCORE 12684.999
AT ITER 8097 NEW BEST:: SOT 308235 SOS 189999 HAS SOPS 107673 HAS SOUS 22515 HAS SOUPS 12489 WITH SCORE 12678.999
AT ITER 8151 NEW BEST:: SOT 308254 SOS 187649 HAS SOPS 105323 HAS SOUS 22510 HAS SOUPS 12484 WITH SCORE 12671.649
AT ITER 8176 NEW BEST:: SOT 308254 SOS 187649 HAS SOPS 105323 HAS SOUS 22501 HAS SOUPS 12479 WITH SCORE 12666.649
AT ITER 8242 NEW BEST:: SOT 308253 SOS 187648 HAS SOPS 105323 HAS SOUS 22501 HAS SOUPS 12479 WITH SCORE 12666.648
AT ITER 8254 NEW BEST:: SOT 307285 SOS 185536 HAS SOPS 104707 HAS SOUS 22413 HAS SOUPS 12479 WITH SCORE 12664.536
AT ITER 8376 NEW BEST:: SOT 307270 SOS 184510 HAS SOPS 103825 HAS SOUS 22400 HAS SOUPS 12478 WITH SCORE 12662.51
AT ITER 8425 NEW BEST:: SOT 307292 SOS 184532 HAS SOPS 103825 HAS SOUS 22364 HAS SOUPS 12458 WITH SCORE 12642.532
AT ITER 8528 NEW BEST:: SOT 307290 SOS 184530 HAS SOPS 103825 HAS SOUS 22364 HAS SOUPS 12458 WITH SCORE 12642.53
AT ITER 8595 NEW BEST:: SOT 307334 SOS 184610 HAS SOPS 103849 HAS SOUS 22360 HAS SOUPS 12450 WITH SCORE 12634.61
AT ITER 8614 NEW BEST:: SOT 307342 SOS 184350 HAS SOPS 103601 HAS SOUS 22360 HAS SOUPS 12450 WITH SCORE 12634.35
AT ITER 8629 NEW BEST:: SOT 307342 SOS 184357 HAS SOPS 103601 HAS SOUS 22353 HAS SOUPS 12436 WITH SCORE 12620.357
AT ITER 8667 NEW BEST:: SOT 307360 SOS 184388 HAS SOPS 103611 HAS SOUS 22336 HAS SOUPS 12426 WITH SCORE 12610.388
AT ITER 8698 NEW BEST:: SOT 307373 SOS 184389 HAS SOPS 103599 HAS SOUS 22312 HAS SOUPS 12414 WITH SCORE 12598.389
AT ITER 8726 NEW BEST:: SOT 307373 SOS 184400 HAS SOPS 103579 HAS SOUS 22309 HAS SOUPS 12408 WITH SCORE 12592.4
AT ITER 8795 NEW BEST:: SOT 307244 SOS 184260 HAS SOPS 103435 HAS SOUS 22326 HAS SOUPS 12405 WITH SCORE 12589.26
AT ITER 8927 NEW BEST:: SOT 307245 SOS 184262 HAS SOPS 103436 HAS SOUS 22326 HAS SOUPS 12404 WITH SCORE 12588.262
AT ITER 8983 NEW BEST:: SOT 307225 SOS 184224 HAS SOPS 103398 HAS SOUS 22324 HAS SOUPS 12400 WITH SCORE 12584.224
AT ITER 9098 NEW BEST:: SOT 307225 SOS 184218 HAS SOPS 103320 HAS SOUS 22324 HAS SOUPS 12394 WITH SCORE 12578.218
AT ITER 9100 NEW BEST:: SOT 307267 SOS 184206 HAS SOPS 103335 HAS SOUS 22315 HAS SOUPS 12394 WITH SCORE 12578.206
AT ITER 9115 NEW BEST:: SOT 307031 SOS 183788 HAS SOPS 103187 HAS SOUS 22277 HAS SOUPS 12374 WITH SCORE 12557.788
AT ITER 9169 NEW BEST:: SOT 307027 SOS 183780 HAS SOPS 103179 HAS SOUS 22276 HAS SOUPS 12373 WITH SCORE 12556.78
AT ITER 9207 NEW BEST:: SOT 306835 SOS 183198 HAS SOPS 102677 HAS SOUS 22252 HAS SOUPS 12347 WITH SCORE 12530.198
AT ITER 9319 NEW BEST:: SOT 306854 SOS 182744 HAS SOPS 102247 HAS SOUS 22240 HAS SOUPS 12335 WITH SCORE 12517.744
AT ITER 9368 NEW BEST:: SOT 306804 SOS 182569 HAS SOPS 102077 HAS SOUS 22235 HAS SOUPS 12325 WITH SCORE 12507.569
AT ITER 9580 NEW BEST:: SOT 306771 SOS 182491 HAS SOPS 102014 HAS SOUS 22232 HAS SOUPS 12322 WITH SCORE 12504.491
AT ITER 9583 NEW BEST:: SOT 306811 SOS 182529 HAS SOPS 102012 HAS SOUS 22228 HAS SOUPS 12320 WITH SCORE 12502.529
AT ITER 9592 NEW BEST:: SOT 307033 SOS 183415 HAS SOPS 102527 HAS SOUS 22222 HAS SOUPS 12319 WITH SCORE 12502.415
AT ITER 9638 NEW BEST:: SOT 306918 SOS 183184 HAS SOPS 102325 HAS SOUS 22210 HAS SOUPS 12300 WITH SCORE 12483.184
AT ITER 9704 NEW BEST:: SOT 306921 SOS 183067 HAS SOPS 102208 HAS SOUS 22201 HAS SOUPS 12291 WITH SCORE 12474.067
AT ITER 9727 NEW BEST:: SOT 306921 SOS 183067 HAS SOPS 102208 HAS SOUS 22192 HAS SOUPS 12286 WITH SCORE 12469.067
AT ITER 9787 NEW BEST:: SOT 306921 SOS 183067 HAS SOPS 102208 HAS SOUS 22183 HAS SOUPS 12281 WITH SCORE 12464.067
AT ITER 9797 NEW BEST:: SOT 306930 SOS 183280 HAS SOPS 102241 HAS SOUS 22196 HAS SOUPS 12279 WITH SCORE 12462.28
AT ITER 9851 NEW BEST:: SOT 306918 SOS 183268 HAS SOPS 102241 HAS SOUS 22196 HAS SOUPS 12279 WITH SCORE 12462.268
AT ITER 9939 NEW BEST:: SOT 306913 SOS 183258 HAS SOPS 102231 HAS SOUS 22191 HAS SOUPS 12274 WITH SCORE 12457.258
AT ITER 9978 NEW BEST:: SOT 306619 SOS 182677 HAS SOPS 101760 HAS SOUS 22193 HAS SOUPS 12259 WITH SCORE 12441.677
STATE_SPACE STATES 2401000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 157 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 492616600000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7065284 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155020 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-08a"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DLCround-PT-08a, 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 r099-tall-167814472800704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08a.tgz
mv DLCround-PT-08a 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;