Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680000472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 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 63K 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 1589017672357

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 03
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 274 places, 237 transitions, 632 arcs.
AT ITER 0 NEW BEST:: SOT 42126 SOS 18114 HAS SOPS 18114 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.114
AT ITER 3 NEW BEST:: SOT 42126 SOS 18067 HAS SOPS 18067 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17224.067
AT ITER 14 NEW BEST:: SOT 42119 SOS 18057 HAS SOPS 18057 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17221.057
AT ITER 17 NEW BEST:: SOT 42119 SOS 17969 HAS SOPS 17969 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17132.969
AT ITER 21 NEW BEST:: SOT 42053 SOS 17903 HAS SOPS 17903 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17066.903
AT ITER 43 NEW BEST:: SOT 41924 SOS 17909 HAS SOPS 17909 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17018.909
AT ITER 47 NEW BEST:: SOT 41923 SOS 17869 HAS SOPS 17869 HAS SOUS 16999 HAS SOUPS 16999 WITH SCORE 17016.869
AT ITER 48 NEW BEST:: SOT 41923 SOS 17831 HAS SOPS 17831 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 16979.831
AT ITER 51 NEW BEST:: SOT 41897 SOS 17796 HAS SOPS 17796 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16942.796
AT ITER 54 NEW BEST:: SOT 41891 SOS 17790 HAS SOPS 17790 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16933.79
AT ITER 56 NEW BEST:: SOT 41891 SOS 17763 HAS SOPS 17763 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16903.763
AT ITER 57 NEW BEST:: SOT 41962 SOS 17761 HAS SOPS 17761 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16901.761
AT ITER 67 NEW BEST:: SOT 41946 SOS 17736 HAS SOPS 17736 HAS SOUS 16859 HAS SOUPS 16859 WITH SCORE 16876.736
AT ITER 69 NEW BEST:: SOT 41926 SOS 17722 HAS SOPS 17722 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16862.722
AT ITER 74 NEW BEST:: SOT 41830 SOS 17212 HAS SOPS 17212 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16528.212
AT ITER 76 NEW BEST:: SOT 41788 SOS 17154 HAS SOPS 17154 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16487.154
AT ITER 80 NEW BEST:: SOT 41717 SOS 17130 HAS SOPS 17130 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16463.13
AT ITER 81 NEW BEST:: SOT 41717 SOS 17112 HAS SOPS 17112 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16445.112
AT ITER 83 NEW BEST:: SOT 41638 SOS 17033 HAS SOPS 17033 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16366.033
AT ITER 89 NEW BEST:: SOT 41637 SOS 17032 HAS SOPS 17032 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16365.032
AT ITER 101 NEW BEST:: SOT 41573 SOS 16968 HAS SOPS 16968 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16300.968
AT ITER 104 NEW BEST:: SOT 41573 SOS 16907 HAS SOPS 16907 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16290.907
AT ITER 105 NEW BEST:: SOT 40255 SOS 21339 HAS SOPS 21339 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15193.339
AT ITER 124 NEW BEST:: SOT 40184 SOS 21197 HAS SOPS 21197 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15106.197
AT ITER 126 NEW BEST:: SOT 40138 SOS 21158 HAS SOPS 21158 HAS SOUS 15070 HAS SOUPS 15070 WITH SCORE 15091.158
AT ITER 129 NEW BEST:: SOT 40071 SOS 21024 HAS SOPS 21024 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15088.024
AT ITER 133 NEW BEST:: SOT 40067 SOS 21020 HAS SOPS 21020 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15084.02
AT ITER 135 NEW BEST:: SOT 40002 SOS 20890 HAS SOPS 20890 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 14967.89
AT ITER 136 NEW BEST:: SOT 40001 SOS 20872 HAS SOPS 20872 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14965.872
AT ITER 138 NEW BEST:: SOT 40001 SOS 20869 HAS SOPS 20869 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14962.869
AT ITER 142 NEW BEST:: SOT 39999 SOS 20849 HAS SOPS 20849 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14942.849
AT ITER 144 NEW BEST:: SOT 40058 SOS 20837 HAS SOPS 20837 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14930.837
AT ITER 161 NEW BEST:: SOT 39956 SOS 20704 HAS SOPS 20704 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14797.704
AT ITER 164 NEW BEST:: SOT 39940 SOS 20681 HAS SOPS 20681 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14783.681
AT ITER 165 NEW BEST:: SOT 39853 SOS 20535 HAS SOPS 20535 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14637.535
AT ITER 167 NEW BEST:: SOT 39848 SOS 16498 HAS SOPS 16498 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14628.498
AT ITER 171 NEW BEST:: SOT 39845 SOS 16435 HAS SOPS 16435 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14565.435
AT ITER 172 NEW BEST:: SOT 39845 SOS 16418 HAS SOPS 16418 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14558.418
AT ITER 181 NEW BEST:: SOT 39797 SOS 16394 HAS SOPS 16394 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14534.394
AT ITER 187 NEW BEST:: SOT 39797 SOS 16392 HAS SOPS 16392 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14532.392
AT ITER 200 NEW BEST:: SOT 39797 SOS 16391 HAS SOPS 16391 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14531.391
AT ITER 205 NEW BEST:: SOT 39797 SOS 16391 HAS SOPS 16391 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14488.391
AT ITER 214 NEW BEST:: SOT 39797 SOS 16391 HAS SOPS 16391 HAS SOUS 14467 HAS SOUPS 14467 WITH SCORE 14483.391
AT ITER 216 NEW BEST:: SOT 39812 SOS 16388 HAS SOPS 16388 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14466.388
AT ITER 219 NEW BEST:: SOT 39812 SOS 16387 HAS SOPS 16387 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14466.387
AT ITER 220 NEW BEST:: SOT 39766 SOS 16362 HAS SOPS 16362 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14451.362
AT ITER 224 NEW BEST:: SOT 39767 SOS 16361 HAS SOPS 16361 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14450.361
AT ITER 233 NEW BEST:: SOT 39722 SOS 16345 HAS SOPS 16345 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.345
AT ITER 234 NEW BEST:: SOT 39668 SOS 16291 HAS SOPS 16291 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14344.291
AT ITER 243 NEW BEST:: SOT 39600 SOS 16225 HAS SOPS 16225 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14278.225
AT ITER 247 NEW BEST:: SOT 39578 SOS 16191 HAS SOPS 16191 HAS SOUS 14228 HAS SOUPS 14228 WITH SCORE 14244.191
AT ITER 251 NEW BEST:: SOT 39521 SOS 16067 HAS SOPS 16067 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14182.067
AT ITER 254 NEW BEST:: SOT 39538 SOS 16080 HAS SOPS 16080 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14173.08
AT ITER 255 NEW BEST:: SOT 39508 SOS 15894 HAS SOPS 15894 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13986.894
AT ITER 258 NEW BEST:: SOT 39553 SOS 15939 HAS SOPS 15939 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13985.939
AT ITER 261 NEW BEST:: SOT 39560 SOS 15924 HAS SOPS 15924 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13978.924
AT ITER 266 NEW BEST:: SOT 39512 SOS 15876 HAS SOPS 15876 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13978.876
AT ITER 276 NEW BEST:: SOT 39506 SOS 15869 HAS SOPS 15869 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13971.869
AT ITER 277 NEW BEST:: SOT 39489 SOS 15852 HAS SOPS 15852 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13971.852
AT ITER 278 NEW BEST:: SOT 39394 SOS 15662 HAS SOPS 15662 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13813.662
AT ITER 279 NEW BEST:: SOT 39247 SOS 15514 HAS SOPS 15514 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13768.514
AT ITER 285 NEW BEST:: SOT 39215 SOS 15450 HAS SOPS 15450 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13729.45
AT ITER 286 NEW BEST:: SOT 39181 SOS 15416 HAS SOPS 15416 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13695.416
AT ITER 293 NEW BEST:: SOT 39191 SOS 15426 HAS SOPS 15426 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13691.426
AT ITER 305 NEW BEST:: SOT 39185 SOS 15228 HAS SOPS 15228 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13517.228
AT ITER 306 NEW BEST:: SOT 39175 SOS 15228 HAS SOPS 15228 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13516.228
AT ITER 324 NEW BEST:: SOT 39152 SOS 15182 HAS SOPS 15182 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13463.182
AT ITER 329 NEW BEST:: SOT 39152 SOS 15169 HAS SOPS 15169 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13450.169
AT ITER 349 NEW BEST:: SOT 39179 SOS 15181 HAS SOPS 15181 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13435.181
AT ITER 350 NEW BEST:: SOT 39307 SOS 15102 HAS SOPS 15102 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13414.102
AT ITER 359 NEW BEST:: SOT 39297 SOS 15092 HAS SOPS 15092 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13414.092
AT ITER 362 NEW BEST:: SOT 39247 SOS 15042 HAS SOPS 15042 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13364.042
AT ITER 367 NEW BEST:: SOT 39242 SOS 15032 HAS SOPS 15032 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13301.032
AT ITER 387 NEW BEST:: SOT 39242 SOS 14962 HAS SOPS 14962 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13230.962
AT ITER 394 NEW BEST:: SOT 39120 SOS 14682 HAS SOPS 14682 HAS SOUS 12871 HAS SOUPS 12871 WITH SCORE 12885.682
AT ITER 398 NEW BEST:: SOT 39117 SOS 14680 HAS SOPS 14680 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.68
AT ITER 399 NEW BEST:: SOT 39116 SOS 14679 HAS SOPS 14679 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12882.679
AT ITER 404 NEW BEST:: SOT 39185 SOS 14628 HAS SOPS 14628 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12831.628
AT ITER 414 NEW BEST:: SOT 39131 SOS 14556 HAS SOPS 14556 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12777.556
AT ITER 418 NEW BEST:: SOT 39090 SOS 14485 HAS SOPS 14485 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12706.485
AT ITER 421 NEW BEST:: SOT 39162 SOS 14532 HAS SOPS 14532 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12673.532
AT ITER 434 NEW BEST:: SOT 39137 SOS 14507 HAS SOPS 14507 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12632.507
AT ITER 450 NEW BEST:: SOT 39129 SOS 14491 HAS SOPS 14491 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12608.491
AT ITER 467 NEW BEST:: SOT 39137 SOS 14406 HAS SOPS 14406 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12523.406
AT ITER 486 NEW BEST:: SOT 39122 SOS 14384 HAS SOPS 14384 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12491.384
AT ITER 487 NEW BEST:: SOT 38993 SOS 14209 HAS SOPS 14209 HAS SOUS 12364 HAS SOUPS 12364 WITH SCORE 12378.209
AT ITER 494 NEW BEST:: SOT 38979 SOS 14195 HAS SOPS 14195 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12364.195
AT ITER 496 NEW BEST:: SOT 38921 SOS 14085 HAS SOPS 14085 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12254.085
AT ITER 498 NEW BEST:: SOT 38919 SOS 14074 HAS SOPS 14074 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12243.074
AT ITER 516 NEW BEST:: SOT 38903 SOS 14066 HAS SOPS 14066 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12235.066
AT ITER 524 NEW BEST:: SOT 38860 SOS 14010 HAS SOPS 14010 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12179.01
AT ITER 533 NEW BEST:: SOT 38921 SOS 14005 HAS SOPS 14005 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12174.005
AT ITER 551 NEW BEST:: SOT 38908 SOS 13986 HAS SOPS 13986 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12154.986
AT ITER 570 NEW BEST:: SOT 38905 SOS 13984 HAS SOPS 13984 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12152.984
AT ITER 578 NEW BEST:: SOT 38896 SOS 13976 HAS SOPS 13976 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12134.976
AT ITER 582 NEW BEST:: SOT 38701 SOS 16448 HAS SOPS 16448 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12027.448
AT ITER 584 NEW BEST:: SOT 38694 SOS 16434 HAS SOPS 16434 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12013.434
AT ITER 586 NEW BEST:: SOT 38658 SOS 16362 HAS SOPS 16362 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11976.362
AT ITER 588 NEW BEST:: SOT 38655 SOS 16356 HAS SOPS 16356 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11970.356
AT ITER 603 NEW BEST:: SOT 38582 SOS 16262 HAS SOPS 16262 HAS SOUS 11940 HAS SOUPS 11940 WITH SCORE 11956.262
AT ITER 620 NEW BEST:: SOT 38582 SOS 16244 HAS SOPS 16244 HAS SOUS 11940 HAS SOUPS 11940 WITH SCORE 11956.244
AT ITER 632 NEW BEST:: SOT 38582 SOS 16243 HAS SOPS 16243 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11955.243
AT ITER 644 NEW BEST:: SOT 38567 SOS 16199 HAS SOPS 16199 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11936.199
AT ITER 655 NEW BEST:: SOT 38559 SOS 16185 HAS SOPS 16185 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11922.185
AT ITER 656 NEW BEST:: SOT 38577 SOS 16149 HAS SOPS 16149 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11901.149
AT ITER 659 NEW BEST:: SOT 38576 SOS 16148 HAS SOPS 16148 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11900.148
AT ITER 677 NEW BEST:: SOT 38587 SOS 16162 HAS SOPS 16162 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11838.162
AT ITER 678 NEW BEST:: SOT 38549 SOS 16086 HAS SOPS 16086 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11806.086
AT ITER 679 NEW BEST:: SOT 38552 SOS 16063 HAS SOPS 16063 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11752.063
AT ITER 681 NEW BEST:: SOT 38550 SOS 16061 HAS SOPS 16061 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11752.061
AT ITER 687 NEW BEST:: SOT 38435 SOS 15941 HAS SOPS 15941 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11631.941
AT ITER 694 NEW BEST:: SOT 38353 SOS 15777 HAS SOPS 15777 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11467.777
AT ITER 714 NEW BEST:: SOT 38353 SOS 15585 HAS SOPS 15585 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11467.585
AT ITER 723 NEW BEST:: SOT 38314 SOS 15547 HAS SOPS 15547 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11431.547
AT ITER 734 NEW BEST:: SOT 38328 SOS 15528 HAS SOPS 15528 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11405.528
AT ITER 748 NEW BEST:: SOT 38307 SOS 15499 HAS SOPS 15499 HAS SOUS 11374 HAS SOUPS 11374 WITH SCORE 11389.499
AT ITER 757 NEW BEST:: SOT 38267 SOS 15453 HAS SOPS 15453 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11377.453
AT ITER 777 NEW BEST:: SOT 38261 SOS 15550 HAS SOPS 15550 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11371.55
AT ITER 780 NEW BEST:: SOT 38262 SOS 15530 HAS SOPS 15530 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11351.53
AT ITER 797 NEW BEST:: SOT 38261 SOS 15528 HAS SOPS 15528 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11349.528
AT ITER 808 NEW BEST:: SOT 38258 SOS 15525 HAS SOPS 15525 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11323.525
AT ITER 812 NEW BEST:: SOT 38248 SOS 15514 HAS SOPS 15514 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11283.514
AT ITER 815 NEW BEST:: SOT 38253 SOS 15541 HAS SOPS 15541 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11279.541
AT ITER 822 NEW BEST:: SOT 38087 SOS 15183 HAS SOPS 15183 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11101.183
AT ITER 836 NEW BEST:: SOT 38084 SOS 15180 HAS SOPS 15180 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11098.18
AT ITER 846 NEW BEST:: SOT 38068 SOS 15169 HAS SOPS 15169 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11087.169
AT ITER 847 NEW BEST:: SOT 38046 SOS 15153 HAS SOPS 15153 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11071.153
AT ITER 854 NEW BEST:: SOT 38031 SOS 15123 HAS SOPS 15123 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11043.123
AT ITER 859 NEW BEST:: SOT 38038 SOS 15111 HAS SOPS 15111 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11031.111
AT ITER 868 NEW BEST:: SOT 38035 SOS 15099 HAS SOPS 15099 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11023.099
AT ITER 879 NEW BEST:: SOT 38023 SOS 15097 HAS SOPS 15097 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11015.097
AT ITER 882 NEW BEST:: SOT 38002 SOS 15055 HAS SOPS 15055 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10973.055
AT ITER 900 NEW BEST:: SOT 37996 SOS 15048 HAS SOPS 15048 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10966.048
AT ITER 903 NEW BEST:: SOT 37966 SOS 15014 HAS SOPS 15014 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10958.014
AT ITER 908 NEW BEST:: SOT 37965 SOS 15012 HAS SOPS 15012 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10958.012
AT ITER 920 NEW BEST:: SOT 37928 SOS 14938 HAS SOPS 14938 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10883.938
AT ITER 922 NEW BEST:: SOT 37917 SOS 14864 HAS SOPS 14864 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10809.864
AT ITER 926 NEW BEST:: SOT 37917 SOS 14864 HAS SOPS 14864 HAS SOUS 10780 HAS SOUPS 10780 WITH SCORE 10794.864
AT ITER 927 NEW BEST:: SOT 37896 SOS 14823 HAS SOPS 14823 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10763.823
AT ITER 958 NEW BEST:: SOT 37874 SOS 14779 HAS SOPS 14779 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10758.779
AT ITER 959 NEW BEST:: SOT 37830 SOS 14735 HAS SOPS 14735 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10714.735
AT ITER 970 NEW BEST:: SOT 37826 SOS 14727 HAS SOPS 14727 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10712.727
AT ITER 976 NEW BEST:: SOT 37820 SOS 14706 HAS SOPS 14706 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10697.706
AT ITER 991 NEW BEST:: SOT 37820 SOS 14706 HAS SOPS 14706 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10659.706
AT ITER 1004 NEW BEST:: SOT 37808 SOS 14694 HAS SOPS 14694 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10659.694
AT ITER 1005 NEW BEST:: SOT 37799 SOS 14684 HAS SOPS 14684 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10639.684
AT ITER 1018 NEW BEST:: SOT 37755 SOS 14684 HAS SOPS 14684 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10624.684
AT ITER 1042 NEW BEST:: SOT 37720 SOS 14649 HAS SOPS 14649 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10621.649
AT ITER 1050 NEW BEST:: SOT 37707 SOS 14639 HAS SOPS 14639 HAS SOUS 10597 HAS SOUPS 10597 WITH SCORE 10611.639
AT ITER 1069 NEW BEST:: SOT 37707 SOS 14634 HAS SOPS 14634 HAS SOUS 10597 HAS SOUPS 10597 WITH SCORE 10611.634
AT ITER 1078 NEW BEST:: SOT 37702 SOS 14624 HAS SOPS 14624 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10601.624
AT ITER 1114 NEW BEST:: SOT 37678 SOS 14588 HAS SOPS 14588 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10565.588
AT ITER 1134 NEW BEST:: SOT 37688 SOS 14572 HAS SOPS 14572 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10557.572
AT ITER 1139 NEW BEST:: SOT 37686 SOS 14573 HAS SOPS 14573 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10553.573
AT ITER 1152 NEW BEST:: SOT 37673 SOS 14897 HAS SOPS 14897 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10549.897
AT ITER 1212 NEW BEST:: SOT 37673 SOS 14786 HAS SOPS 14786 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10549.786
AT ITER 1219 NEW BEST:: SOT 37688 SOS 14786 HAS SOPS 14786 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10534.786
AT ITER 1233 NEW BEST:: SOT 37815 SOS 14729 HAS SOPS 14729 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10526.729
AT ITER 1284 NEW BEST:: SOT 37808 SOS 14715 HAS SOPS 14715 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10512.715
AT ITER 1301 NEW BEST:: SOT 37805 SOS 14712 HAS SOPS 14712 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10509.712
AT ITER 1312 NEW BEST:: SOT 37779 SOS 14699 HAS SOPS 14699 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10501.699
AT ITER 1315 NEW BEST:: SOT 37781 SOS 14701 HAS SOPS 14701 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10474.701
AT ITER 1317 NEW BEST:: SOT 37781 SOS 14666 HAS SOPS 14666 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10462.666
AT ITER 1379 NEW BEST:: SOT 37783 SOS 14664 HAS SOPS 14664 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10460.664
AT ITER 1382 NEW BEST:: SOT 37794 SOS 14719 HAS SOPS 14719 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10453.719
AT ITER 1386 NEW BEST:: SOT 37794 SOS 14679 HAS SOPS 14679 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10453.679
AT ITER 1403 NEW BEST:: SOT 37794 SOS 14647 HAS SOPS 14647 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10453.647
AT ITER 1422 NEW BEST:: SOT 37749 SOS 14555 HAS SOPS 14555 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10361.555
AT ITER 1424 NEW BEST:: SOT 37753 SOS 14551 HAS SOPS 14551 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10357.551
AT ITER 1453 NEW BEST:: SOT 37737 SOS 14519 HAS SOPS 14519 HAS SOUS 10332 HAS SOUPS 10332 WITH SCORE 10346.519
AT ITER 1467 NEW BEST:: SOT 37737 SOS 14507 HAS SOPS 14507 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10334.507
AT ITER 1468 NEW BEST:: SOT 37734 SOS 14501 HAS SOPS 14501 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10331.501
AT ITER 1485 NEW BEST:: SOT 37693 SOS 14459 HAS SOPS 14459 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10289.459
AT ITER 1492 NEW BEST:: SOT 37732 SOS 14498 HAS SOPS 14498 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10272.498
AT ITER 1499 NEW BEST:: SOT 37728 SOS 14494 HAS SOPS 14494 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10264.494
AT ITER 1503 NEW BEST:: SOT 37728 SOS 14486 HAS SOPS 14486 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10256.486
AT ITER 1510 NEW BEST:: SOT 37700 SOS 14458 HAS SOPS 14458 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10228.458
AT ITER 1521 NEW BEST:: SOT 37657 SOS 14295 HAS SOPS 14295 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10167.295
AT ITER 1526 NEW BEST:: SOT 37661 SOS 14285 HAS SOPS 14285 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10156.285
AT ITER 1545 NEW BEST:: SOT 37661 SOS 14277 HAS SOPS 14277 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10156.277
AT ITER 1550 NEW BEST:: SOT 37658 SOS 14260 HAS SOPS 14260 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10153.26
AT ITER 1561 NEW BEST:: SOT 37665 SOS 14259 HAS SOPS 14259 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10152.259
AT ITER 1569 NEW BEST:: SOT 37631 SOS 14193 HAS SOPS 14193 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10105.193
AT ITER 1597 NEW BEST:: SOT 37617 SOS 14165 HAS SOPS 14165 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10077.165
AT ITER 1604 NEW BEST:: SOT 37621 SOS 14157 HAS SOPS 14157 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10057.157
AT ITER 1607 NEW BEST:: SOT 37613 SOS 14133 HAS SOPS 14133 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10032.133
AT ITER 1615 NEW BEST:: SOT 37613 SOS 14138 HAS SOPS 14138 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10031.138
AT ITER 1641 NEW BEST:: SOT 37619 SOS 14150 HAS SOPS 14150 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10030.15
AT ITER 1649 NEW BEST:: SOT 37615 SOS 14135 HAS SOPS 14135 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10015.135
AT ITER 1677 NEW BEST:: SOT 37585 SOS 14035 HAS SOPS 14035 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9915.035
AT ITER 1684 NEW BEST:: SOT 37584 SOS 14042 HAS SOPS 14042 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9912.042
AT ITER 1691 NEW BEST:: SOT 37572 SOS 14029 HAS SOPS 14029 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9910.029
AT ITER 1696 NEW BEST:: SOT 37581 SOS 14035 HAS SOPS 14035 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9904.035
AT ITER 1727 NEW BEST:: SOT 37578 SOS 14019 HAS SOPS 14019 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9888.019
AT ITER 1804 NEW BEST:: SOT 37574 SOS 14011 HAS SOPS 14011 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9880.011
AT ITER 1809 NEW BEST:: SOT 37548 SOS 13971 HAS SOPS 13971 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9865.971
AT ITER 1846 NEW BEST:: SOT 37530 SOS 13911 HAS SOPS 13911 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9847.911
AT ITER 1850 NEW BEST:: SOT 37536 SOS 13911 HAS SOPS 13911 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9841.911
AT ITER 1859 NEW BEST:: SOT 37535 SOS 13910 HAS SOPS 13910 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.91
AT ITER 1876 NEW BEST:: SOT 37534 SOS 13909 HAS SOPS 13909 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.909
AT ITER 1884 NEW BEST:: SOT 37531 SOS 13906 HAS SOPS 13906 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.906
AT ITER 1932 NEW BEST:: SOT 37503 SOS 13878 HAS SOPS 13878 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9832.878
AT ITER 1987 NEW BEST:: SOT 37499 SOS 13870 HAS SOPS 13870 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9824.87
AT ITER 2003 NEW BEST:: SOT 37498 SOS 13865 HAS SOPS 13865 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9819.865
AT ITER 2011 NEW BEST:: SOT 37488 SOS 13850 HAS SOPS 13850 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9804.85
AT ITER 2012 NEW BEST:: SOT 37494 SOS 13806 HAS SOPS 13806 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9760.806
AT ITER 2038 NEW BEST:: SOT 37490 SOS 13802 HAS SOPS 13802 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9760.802
AT ITER 2050 NEW BEST:: SOT 37429 SOS 13680 HAS SOPS 13680 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9699.68
AT ITER 2052 NEW BEST:: SOT 37511 SOS 13451 HAS SOPS 13451 HAS SOUS 9678 HAS SOUPS 9678 WITH SCORE 9691.451
AT ITER 2136 NEW BEST:: SOT 37562 SOS 13449 HAS SOPS 13449 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9689.449
AT ITER 2146 NEW BEST:: SOT 37562 SOS 13438 HAS SOPS 13438 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9678.438
AT ITER 2149 NEW BEST:: SOT 37560 SOS 13401 HAS SOPS 13401 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9641.401
AT ITER 2191 NEW BEST:: SOT 37554 SOS 13395 HAS SOPS 13395 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9635.395
AT ITER 2205 NEW BEST:: SOT 37550 SOS 13382 HAS SOPS 13382 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9622.382
AT ITER 2222 NEW BEST:: SOT 37539 SOS 13355 HAS SOPS 13355 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9595.355
AT ITER 2233 NEW BEST:: SOT 37534 SOS 13350 HAS SOPS 13350 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9590.35
AT ITER 2235 NEW BEST:: SOT 37525 SOS 13344 HAS SOPS 13344 HAS SOUS 9571 HAS SOUPS 9571 WITH SCORE 9584.344
AT ITER 2241 NEW BEST:: SOT 37522 SOS 13341 HAS SOPS 13341 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9581.341
AT ITER 2254 NEW BEST:: SOT 37517 SOS 13325 HAS SOPS 13325 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9565.325
AT ITER 2262 NEW BEST:: SOT 37498 SOS 13309 HAS SOPS 13309 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9549.309
AT ITER 2309 NEW BEST:: SOT 37492 SOS 13303 HAS SOPS 13303 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9522.303
AT ITER 2313 NEW BEST:: SOT 37447 SOS 13280 HAS SOPS 13280 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9499.28
AT ITER 2314 NEW BEST:: SOT 37451 SOS 13284 HAS SOPS 13284 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9480.284
AT ITER 2332 NEW BEST:: SOT 37456 SOS 13279 HAS SOPS 13279 HAS SOUS 9462 HAS SOUPS 9462 WITH SCORE 9475.279
AT ITER 2354 NEW BEST:: SOT 37424 SOS 13279 HAS SOPS 13279 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9459.279
AT ITER 2370 NEW BEST:: SOT 37422 SOS 13277 HAS SOPS 13277 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9457.277
AT ITER 2430 NEW BEST:: SOT 37436 SOS 13282 HAS SOPS 13282 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9425.282
AT ITER 2518 NEW BEST:: SOT 37219 SOS 13146 HAS SOPS 13146 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9400.146
AT ITER 2535 NEW BEST:: SOT 37214 SOS 13136 HAS SOPS 13136 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9390.136
AT ITER 2599 NEW BEST:: SOT 37211 SOS 13133 HAS SOPS 13133 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9387.133
AT ITER 2604 NEW BEST:: SOT 37198 SOS 13120 HAS SOPS 13120 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9374.12
AT ITER 2605 NEW BEST:: SOT 37198 SOS 13118 HAS SOPS 13118 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9372.118
AT ITER 2626 NEW BEST:: SOT 37256 SOS 13101 HAS SOPS 13101 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9355.101
AT ITER 2637 NEW BEST:: SOT 37256 SOS 13097 HAS SOPS 13097 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9351.097
AT ITER 2638 NEW BEST:: SOT 37255 SOS 13026 HAS SOPS 13026 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9302.026
AT ITER 2639 NEW BEST:: SOT 37252 SOS 13023 HAS SOPS 13023 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9300.023
AT ITER 2649 NEW BEST:: SOT 37252 SOS 13005 HAS SOPS 13005 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9284.005
AT ITER 2665 NEW BEST:: SOT 37250 SOS 13003 HAS SOPS 13003 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9282.003
AT ITER 2681 NEW BEST:: SOT 37250 SOS 12965 HAS SOPS 12965 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9262.965
AT ITER 2685 NEW BEST:: SOT 37240 SOS 12928 HAS SOPS 12928 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9202.928
AT ITER 2700 NEW BEST:: SOT 37220 SOS 12923 HAS SOPS 12923 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9195.923
AT ITER 2736 NEW BEST:: SOT 37220 SOS 12912 HAS SOPS 12912 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9183.912
AT ITER 2765 NEW BEST:: SOT 37162 SOS 12677 HAS SOPS 12677 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9042.677
AT ITER 2789 NEW BEST:: SOT 37157 SOS 12671 HAS SOPS 12671 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9040.671
AT ITER 2805 NEW BEST:: SOT 37155 SOS 12671 HAS SOPS 12671 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9038.671
AT ITER 2816 NEW BEST:: SOT 37155 SOS 12668 HAS SOPS 12668 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9038.668
AT ITER 2818 NEW BEST:: SOT 37154 SOS 12626 HAS SOPS 12626 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9025.626
AT ITER 2825 NEW BEST:: SOT 37128 SOS 12600 HAS SOPS 12600 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9012.6
AT ITER 2847 NEW BEST:: SOT 37114 SOS 12580 HAS SOPS 12580 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8975.58
AT ITER 2879 NEW BEST:: SOT 37104 SOS 12667 HAS SOPS 12667 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8958.667
AT ITER 2884 NEW BEST:: SOT 37104 SOS 12641 HAS SOPS 12641 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8918.641
AT ITER 2906 NEW BEST:: SOT 37097 SOS 12626 HAS SOPS 12626 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8903.626
AT ITER 2920 NEW BEST:: SOT 37093 SOS 12618 HAS SOPS 12618 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8899.618
AT ITER 2924 NEW BEST:: SOT 37060 SOS 12585 HAS SOPS 12585 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8846.585
AT ITER 2934 NEW BEST:: SOT 37101 SOS 12591 HAS SOPS 12591 HAS SOUS 8811 HAS SOUPS 8811 WITH SCORE 8823.591
AT ITER 3090 NEW BEST:: SOT 37092 SOS 12573 HAS SOPS 12573 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8805.573
AT ITER 3122 NEW BEST:: SOT 37082 SOS 12558 HAS SOPS 12558 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8795.558
AT ITER 3126 NEW BEST:: SOT 37062 SOS 12529 HAS SOPS 12529 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8713.529
AT ITER 3154 NEW BEST:: SOT 37056 SOS 12511 HAS SOPS 12511 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8695.511
AT ITER 3223 NEW BEST:: SOT 37040 SOS 12487 HAS SOPS 12487 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8677.487
AT ITER 3224 NEW BEST:: SOT 37038 SOS 12483 HAS SOPS 12483 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8673.483
AT ITER 3261 NEW BEST:: SOT 37038 SOS 12483 HAS SOPS 12483 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8658.483
AT ITER 3365 NEW BEST:: SOT 37038 SOS 12476 HAS SOPS 12476 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8651.476
AT ITER 3393 NEW BEST:: SOT 37036 SOS 12472 HAS SOPS 12472 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8647.472
AT ITER 3398 NEW BEST:: SOT 37022 SOS 12459 HAS SOPS 12459 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8634.459
AT ITER 3399 NEW BEST:: SOT 37014 SOS 12450 HAS SOPS 12450 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8632.45
AT ITER 3438 NEW BEST:: SOT 36994 SOS 12434 HAS SOPS 12434 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8626.434
AT ITER 3439 NEW BEST:: SOT 36991 SOS 12428 HAS SOPS 12428 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8620.428
AT ITER 3473 NEW BEST:: SOT 36991 SOS 12422 HAS SOPS 12422 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8614.422
AT ITER 3479 NEW BEST:: SOT 36989 SOS 12420 HAS SOPS 12420 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8614.42
AT ITER 3518 NEW BEST:: SOT 36997 SOS 12425 HAS SOPS 12425 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8603.425
AT ITER 3526 NEW BEST:: SOT 36993 SOS 12421 HAS SOPS 12421 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8599.421
AT ITER 3607 NEW BEST:: SOT 36992 SOS 12419 HAS SOPS 12419 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8598.419
AT ITER 3618 NEW BEST:: SOT 36993 SOS 12414 HAS SOPS 12414 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8593.414
AT ITER 3625 NEW BEST:: SOT 36992 SOS 12412 HAS SOPS 12412 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8592.412
AT ITER 3630 NEW BEST:: SOT 36981 SOS 12390 HAS SOPS 12390 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8570.39
AT ITER 3642 NEW BEST:: SOT 36976 SOS 12372 HAS SOPS 12372 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8565.372
AT ITER 3648 NEW BEST:: SOT 36884 SOS 12280 HAS SOPS 12280 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8557.28
AT ITER 3650 NEW BEST:: SOT 36866 SOS 12254 HAS SOPS 12254 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8551.254
AT ITER 3655 NEW BEST:: SOT 36857 SOS 12249 HAS SOPS 12249 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8546.249
AT ITER 3668 NEW BEST:: SOT 36879 SOS 12271 HAS SOPS 12271 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8531.271
AT ITER 3683 NEW BEST:: SOT 36876 SOS 12268 HAS SOPS 12268 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8528.268
AT ITER 3691 NEW BEST:: SOT 36862 SOS 12240 HAS SOPS 12240 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8500.24
AT ITER 3730 NEW BEST:: SOT 36820 SOS 12210 HAS SOPS 12210 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8470.21
AT ITER 3731 NEW BEST:: SOT 36820 SOS 12209 HAS SOPS 12209 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8469.209
AT ITER 3743 NEW BEST:: SOT 36820 SOS 12209 HAS SOPS 12209 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8463.209
AT ITER 3780 NEW BEST:: SOT 36818 SOS 12205 HAS SOPS 12205 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8459.205
AT ITER 3806 NEW BEST:: SOT 36818 SOS 12191 HAS SOPS 12191 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8445.191
AT ITER 3807 NEW BEST:: SOT 36810 SOS 12181 HAS SOPS 12181 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8435.181
AT ITER 3818 NEW BEST:: SOT 36788 SOS 12167 HAS SOPS 12167 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8421.167
AT ITER 3829 NEW BEST:: SOT 36796 SOS 12175 HAS SOPS 12175 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8415.175
AT ITER 3863 NEW BEST:: SOT 36792 SOS 12171 HAS SOPS 12171 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8411.171
AT ITER 3921 NEW BEST:: SOT 36794 SOS 12031 HAS SOPS 12031 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8409.031
AT ITER 3999 NEW BEST:: SOT 36778 SOS 12053 HAS SOPS 12053 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8405.053
AT ITER 4045 NEW BEST:: SOT 36778 SOS 12023 HAS SOPS 12023 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8390.023
AT ITER 4070 NEW BEST:: SOT 36771 SOS 12016 HAS SOPS 12016 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8383.016
AT ITER 4102 NEW BEST:: SOT 36754 SOS 12008 HAS SOPS 12008 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8375.008
AT ITER 4103 NEW BEST:: SOT 36746 SOS 11992 HAS SOPS 11992 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8344.992
AT ITER 4113 NEW BEST:: SOT 36750 SOS 12000 HAS SOPS 12000 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8334.0
AT ITER 4149 NEW BEST:: SOT 36780 SOS 12010 HAS SOPS 12010 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8330.01
AT ITER 4173 NEW BEST:: SOT 36779 SOS 12008 HAS SOPS 12008 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8329.008
AT ITER 4183 NEW BEST:: SOT 36779 SOS 12001 HAS SOPS 12001 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8322.001
AT ITER 4184 NEW BEST:: SOT 36779 SOS 11997 HAS SOPS 11997 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8317.997
AT ITER 4224 NEW BEST:: SOT 36734 SOS 11974 HAS SOPS 11974 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8294.974
AT ITER 4231 NEW BEST:: SOT 36725 SOS 11961 HAS SOPS 11961 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8281.961
AT ITER 4233 NEW BEST:: SOT 36701 SOS 11913 HAS SOPS 11913 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8251.913
AT ITER 4261 NEW BEST:: SOT 36705 SOS 11912 HAS SOPS 11912 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8250.912
AT ITER 4318 NEW BEST:: SOT 36703 SOS 11908 HAS SOPS 11908 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.908
AT ITER 4380 NEW BEST:: SOT 36701 SOS 11906 HAS SOPS 11906 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.906
AT ITER 4395 NEW BEST:: SOT 36701 SOS 11871 HAS SOPS 11871 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8246.871
AT ITER 4397 NEW BEST:: SOT 36695 SOS 11859 HAS SOPS 11859 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8234.859
AT ITER 4414 NEW BEST:: SOT 36664 SOS 11831 HAS SOPS 11831 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8225.831
AT ITER 4421 NEW BEST:: SOT 36664 SOS 11822 HAS SOPS 11822 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8216.822
AT ITER 4479 NEW BEST:: SOT 36643 SOS 11819 HAS SOPS 11819 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8213.819
AT ITER 4541 NEW BEST:: SOT 36632 SOS 11773 HAS SOPS 11773 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8202.773
AT ITER 4562 NEW BEST:: SOT 36639 SOS 11772 HAS SOPS 11772 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8201.772
AT ITER 4580 NEW BEST:: SOT 36628 SOS 11761 HAS SOPS 11761 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8190.761
AT ITER 4605 NEW BEST:: SOT 36627 SOS 11779 HAS SOPS 11779 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8188.779
AT ITER 4663 NEW BEST:: SOT 36623 SOS 11754 HAS SOPS 11754 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8163.754
AT ITER 4725 NEW BEST:: SOT 36612 SOS 11743 HAS SOPS 11743 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8152.743
AT ITER 4739 NEW BEST:: SOT 36612 SOS 11740 HAS SOPS 11740 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8149.74
AT ITER 4744 NEW BEST:: SOT 36611 SOS 11749 HAS SOPS 11749 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8147.749
AT ITER 4855 NEW BEST:: SOT 36580 SOS 11687 HAS SOPS 11687 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8117.687
AT ITER 4937 NEW BEST:: SOT 36582 SOS 11678 HAS SOPS 11678 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8117.678
AT ITER 4948 NEW BEST:: SOT 36582 SOS 11674 HAS SOPS 11674 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8113.674
AT ITER 4955 NEW BEST:: SOT 36592 SOS 11678 HAS SOPS 11678 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8111.678
AT ITER 4981 NEW BEST:: SOT 36592 SOS 11654 HAS SOPS 11654 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8087.654
AT ITER 5011 NEW BEST:: SOT 36602 SOS 11647 HAS SOPS 11647 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8080.647
AT ITER 5032 NEW BEST:: SOT 36582 SOS 11613 HAS SOPS 11613 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8046.613
AT ITER 5161 NEW BEST:: SOT 36581 SOS 11611 HAS SOPS 11611 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8044.611
AT ITER 5206 NEW BEST:: SOT 36580 SOS 11591 HAS SOPS 11591 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8032.591
AT ITER 5226 NEW BEST:: SOT 36578 SOS 11587 HAS SOPS 11587 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8028.587
AT ITER 5242 NEW BEST:: SOT 36592 SOS 11573 HAS SOPS 11573 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8028.573
AT ITER 5325 NEW BEST:: SOT 36590 SOS 11569 HAS SOPS 11569 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8024.569
AT ITER 5345 NEW BEST:: SOT 36590 SOS 11563 HAS SOPS 11563 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8018.563
AT ITER 5374 NEW BEST:: SOT 36569 SOS 11559 HAS SOPS 11559 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8014.559
AT ITER 5402 NEW BEST:: SOT 36557 SOS 11550 HAS SOPS 11550 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8005.55
AT ITER 5443 NEW BEST:: SOT 36566 SOS 11537 HAS SOPS 11537 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7992.537
AT ITER 5451 NEW BEST:: SOT 36543 SOS 11515 HAS SOPS 11515 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7991.515
AT ITER 5494 NEW BEST:: SOT 36538 SOS 11505 HAS SOPS 11505 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7986.505
AT ITER 5522 NEW BEST:: SOT 36534 SOS 11501 HAS SOPS 11501 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7982.501
AT ITER 5548 NEW BEST:: SOT 36542 SOS 11421 HAS SOPS 11421 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7958.421
AT ITER 5635 NEW BEST:: SOT 36542 SOS 11417 HAS SOPS 11417 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7954.417
AT ITER 5740 NEW BEST:: SOT 36570 SOS 11436 HAS SOPS 11436 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7952.436
AT ITER 5771 NEW BEST:: SOT 36570 SOS 11436 HAS SOPS 11436 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7951.436
AT ITER 5819 NEW BEST:: SOT 36563 SOS 11415 HAS SOPS 11415 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7944.415
AT ITER 5850 NEW BEST:: SOT 36561 SOS 11413 HAS SOPS 11413 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7942.413
AT ITER 5904 NEW BEST:: SOT 36535 SOS 11387 HAS SOPS 11387 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7942.387
AT ITER 5917 NEW BEST:: SOT 36535 SOS 11387 HAS SOPS 11387 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.387
AT ITER 5989 NEW BEST:: SOT 36555 SOS 11386 HAS SOPS 11386 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7935.386
AT ITER 5993 NEW BEST:: SOT 36574 SOS 11404 HAS SOPS 11404 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7934.404
AT ITER 5996 NEW BEST:: SOT 36542 SOS 11372 HAS SOPS 11372 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7902.372
AT ITER 6006 NEW BEST:: SOT 36542 SOS 11346 HAS SOPS 11346 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7897.346
AT ITER 6016 NEW BEST:: SOT 36541 SOS 11344 HAS SOPS 11344 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7895.344
AT ITER 6078 NEW BEST:: SOT 36521 SOS 11337 HAS SOPS 11337 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7888.337
AT ITER 6106 NEW BEST:: SOT 36520 SOS 11335 HAS SOPS 11335 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7886.335
AT ITER 6137 NEW BEST:: SOT 36522 SOS 11334 HAS SOPS 11334 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7885.334
AT ITER 6146 NEW BEST:: SOT 36518 SOS 11501 HAS SOPS 11501 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7883.501
AT ITER 6148 NEW BEST:: SOT 36515 SOS 11495 HAS SOPS 11495 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7877.495
AT ITER 6220 NEW BEST:: SOT 36515 SOS 11491 HAS SOPS 11491 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7873.491
AT ITER 6228 NEW BEST:: SOT 36515 SOS 11491 HAS SOPS 11491 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7863.491
AT ITER 6336 NEW BEST:: SOT 36504 SOS 11480 HAS SOPS 11480 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7852.48
AT ITER 6339 NEW BEST:: SOT 36498 SOS 11468 HAS SOPS 11468 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7846.468
AT ITER 6403 NEW BEST:: SOT 36496 SOS 11464 HAS SOPS 11464 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7842.464
AT ITER 6405 NEW BEST:: SOT 36491 SOS 11454 HAS SOPS 11454 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7832.454
AT ITER 6427 NEW BEST:: SOT 36485 SOS 11442 HAS SOPS 11442 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7820.442
AT ITER 6627 NEW BEST:: SOT 36485 SOS 11438 HAS SOPS 11438 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7816.438
AT ITER 6644 NEW BEST:: SOT 36472 SOS 11412 HAS SOPS 11412 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7791.412
AT ITER 6646 NEW BEST:: SOT 36472 SOS 11412 HAS SOPS 11412 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7783.412
AT ITER 6653 NEW BEST:: SOT 36496 SOS 11409 HAS SOPS 11409 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7780.409
AT ITER 6673 NEW BEST:: SOT 36493 SOS 11404 HAS SOPS 11404 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7775.404
AT ITER 6676 NEW BEST:: SOT 36493 SOS 11392 HAS SOPS 11392 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.392
AT ITER 6739 NEW BEST:: SOT 36488 SOS 11387 HAS SOPS 11387 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7758.387
AT ITER 6806 NEW BEST:: SOT 36483 SOS 11382 HAS SOPS 11382 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7748.382
AT ITER 6826 NEW BEST:: SOT 36483 SOS 11381 HAS SOPS 11381 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7747.381
AT ITER 6842 NEW BEST:: SOT 36479 SOS 11376 HAS SOPS 11376 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7742.376
AT ITER 6951 NEW BEST:: SOT 36479 SOS 11375 HAS SOPS 11375 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7741.375
AT ITER 6975 NEW BEST:: SOT 36478 SOS 11374 HAS SOPS 11374 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7740.374
AT ITER 6997 NEW BEST:: SOT 36475 SOS 11368 HAS SOPS 11368 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7736.368
AT ITER 7018 NEW BEST:: SOT 36475 SOS 11363 HAS SOPS 11363 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7731.363
AT ITER 7042 NEW BEST:: SOT 36462 SOS 11350 HAS SOPS 11350 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7731.35
AT ITER 7050 NEW BEST:: SOT 36459 SOS 11344 HAS SOPS 11344 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.344
AT ITER 7066 NEW BEST:: SOT 36458 SOS 11342 HAS SOPS 11342 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7720.342
AT ITER 7151 NEW BEST:: SOT 36442 SOS 11310 HAS SOPS 11310 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7706.31
AT ITER 7250 NEW BEST:: SOT 36437 SOS 11300 HAS SOPS 11300 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.3
AT ITER 7316 NEW BEST:: SOT 36437 SOS 11300 HAS SOPS 11300 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7699.3
AT ITER 7319 NEW BEST:: SOT 36437 SOS 11290 HAS SOPS 11290 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7699.29
AT ITER 7494 NEW BEST:: SOT 36419 SOS 11288 HAS SOPS 11288 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7683.288
AT ITER 7516 NEW BEST:: SOT 36417 SOS 11284 HAS SOPS 11284 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7679.284
AT ITER 7570 NEW BEST:: SOT 36411 SOS 11275 HAS SOPS 11275 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7678.275
AT ITER 7599 NEW BEST:: SOT 36407 SOS 11271 HAS SOPS 11271 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7674.271
AT ITER 7656 NEW BEST:: SOT 36402 SOS 11261 HAS SOPS 11261 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7672.261
AT ITER 7657 NEW BEST:: SOT 36401 SOS 11259 HAS SOPS 11259 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7670.259
AT ITER 7665 NEW BEST:: SOT 36392 SOS 11254 HAS SOPS 11254 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7665.254
AT ITER 7761 NEW BEST:: SOT 36390 SOS 11250 HAS SOPS 11250 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7661.25
AT ITER 7798 NEW BEST:: SOT 36364 SOS 11235 HAS SOPS 11235 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7644.235
AT ITER 7826 NEW BEST:: SOT 36382 SOS 11254 HAS SOPS 11254 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7643.254
AT ITER 7829 NEW BEST:: SOT 36381 SOS 11271 HAS SOPS 11271 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7641.271
AT ITER 7830 NEW BEST:: SOT 36376 SOS 11252 HAS SOPS 11252 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.252
AT ITER 7869 NEW BEST:: SOT 36376 SOS 11249 HAS SOPS 11249 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7633.249
AT ITER 7913 NEW BEST:: SOT 36376 SOS 11249 HAS SOPS 11249 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7632.249
AT ITER 7933 NEW BEST:: SOT 36375 SOS 11247 HAS SOPS 11247 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7632.247
AT ITER 7955 NEW BEST:: SOT 36375 SOS 11244 HAS SOPS 11244 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7629.244
AT ITER 8033 NEW BEST:: SOT 36369 SOS 11234 HAS SOPS 11234 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7624.234
AT ITER 8139 NEW BEST:: SOT 36372 SOS 11222 HAS SOPS 11222 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7612.222
AT ITER 8146 NEW BEST:: SOT 36372 SOS 11205 HAS SOPS 11205 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7595.205
AT ITER 8155 NEW BEST:: SOT 36361 SOS 11201 HAS SOPS 11201 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7591.201
AT ITER 8157 NEW BEST:: SOT 36360 SOS 11199 HAS SOPS 11199 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7589.199
AT ITER 8254 NEW BEST:: SOT 36363 SOS 11210 HAS SOPS 11210 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7586.21
AT ITER 8255 NEW BEST:: SOT 36357 SOS 11198 HAS SOPS 11198 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.198
AT ITER 8267 NEW BEST:: SOT 36356 SOS 11203 HAS SOPS 11203 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7572.203
AT ITER 8327 NEW BEST:: SOT 36323 SOS 11203 HAS SOPS 11203 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7570.203
AT ITER 8352 NEW BEST:: SOT 36323 SOS 11185 HAS SOPS 11185 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7552.185
AT ITER 8392 NEW BEST:: SOT 36319 SOS 11180 HAS SOPS 11180 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7552.18
AT ITER 8577 NEW BEST:: SOT 36318 SOS 11179 HAS SOPS 11179 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7551.179
AT ITER 8585 NEW BEST:: SOT 36303 SOS 11164 HAS SOPS 11164 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7536.164
AT ITER 8625 NEW BEST:: SOT 36301 SOS 11166 HAS SOPS 11166 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7532.166
AT ITER 8787 NEW BEST:: SOT 36297 SOS 11162 HAS SOPS 11162 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7528.162
AT ITER 8883 NEW BEST:: SOT 36283 SOS 11158 HAS SOPS 11158 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.158
AT ITER 8910 NEW BEST:: SOT 36281 SOS 11156 HAS SOPS 11156 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7523.156
AT ITER 8913 NEW BEST:: SOT 36267 SOS 11138 HAS SOPS 11138 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7511.138
AT ITER 8939 NEW BEST:: SOT 36265 SOS 11134 HAS SOPS 11134 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7507.134
AT ITER 8942 NEW BEST:: SOT 36264 SOS 11132 HAS SOPS 11132 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7505.132
AT ITER 8943 NEW BEST:: SOT 36263 SOS 11130 HAS SOPS 11130 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.13
AT ITER 8952 NEW BEST:: SOT 36256 SOS 11116 HAS SOPS 11116 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7498.116
AT ITER 8964 NEW BEST:: SOT 36255 SOS 11115 HAS SOPS 11115 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7497.115
AT ITER 8975 NEW BEST:: SOT 36254 SOS 11114 HAS SOPS 11114 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7495.114
AT ITER 9148 NEW BEST:: SOT 36244 SOS 11108 HAS SOPS 11108 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7489.108
AT ITER 9221 NEW BEST:: SOT 36244 SOS 11112 HAS SOPS 11112 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7487.112
AT ITER 9257 NEW BEST:: SOT 36244 SOS 11104 HAS SOPS 11104 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7487.104
AT ITER 9339 NEW BEST:: SOT 36225 SOS 11084 HAS SOPS 11084 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7467.084
AT ITER 9478 NEW BEST:: SOT 36225 SOS 11084 HAS SOPS 11084 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7465.084
AT ITER 9603 NEW BEST:: SOT 36224 SOS 11082 HAS SOPS 11082 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7464.082
AT ITER 9613 NEW BEST:: SOT 36224 SOS 11082 HAS SOPS 11082 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7462.082
AT ITER 9633 NEW BEST:: SOT 36237 SOS 11079 HAS SOPS 11079 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7459.079
AT ITER 9683 NEW BEST:: SOT 36235 SOS 11071 HAS SOPS 11071 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7451.071
AT ITER 9712 NEW BEST:: SOT 36235 SOS 11067 HAS SOPS 11067 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7451.067
AT ITER 9857 NEW BEST:: SOT 36231 SOS 11059 HAS SOPS 11059 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7433.059
AT ITER 9946 NEW BEST:: SOT 36234 SOS 11056 HAS SOPS 11056 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7430.056
STATE_SPACE STATES 14794040839043 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 31 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 258219153985267 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589017869470

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-03"
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 BusinessProcesses-PT-03, 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 r018-oct2-158897680000472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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