Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100848.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100848
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.9K May 14 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 09:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 127K May 12 20:42 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 1590452417006

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

Filename model.pnml
Petri model created: 283 places, 383 transitions, 1840 arcs.
AT ITER 0 NEW BEST:: SOT 81387 SOS 69947 HAS SOPS 69947 HAS SOUS 56615 HAS SOUPS 56615 WITH SCORE 56684.947
AT ITER 1 NEW BEST:: SOT 81370 SOS 69879 HAS SOPS 69879 HAS SOUS 56512 HAS SOUPS 56512 WITH SCORE 56581.879
AT ITER 3 NEW BEST:: SOT 81365 SOS 69806 HAS SOPS 69806 HAS SOUS 56418 HAS SOUPS 56418 WITH SCORE 56487.806
AT ITER 7 NEW BEST:: SOT 81324 SOS 69358 HAS SOPS 69358 HAS SOUS 55936 HAS SOUPS 55936 WITH SCORE 56005.358
AT ITER 8 NEW BEST:: SOT 81255 SOS 69082 HAS SOPS 69082 HAS SOUS 55728 HAS SOUPS 55728 WITH SCORE 55797.082
AT ITER 12 NEW BEST:: SOT 81252 SOS 69079 HAS SOPS 69079 HAS SOUS 55726 HAS SOUPS 55726 WITH SCORE 55795.079
AT ITER 15 NEW BEST:: SOT 80997 SOS 68945 HAS SOPS 68945 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55667.945
AT ITER 16 NEW BEST:: SOT 80915 SOS 68476 HAS SOPS 68476 HAS SOUS 55074 HAS SOUPS 55074 WITH SCORE 55142.476
AT ITER 17 NEW BEST:: SOT 80895 SOS 68456 HAS SOPS 68456 HAS SOUS 55054 HAS SOUPS 55054 WITH SCORE 55122.456
AT ITER 19 NEW BEST:: SOT 81339 SOS 68593 HAS SOPS 68593 HAS SOUS 55023 HAS SOUPS 55023 WITH SCORE 55091.593
AT ITER 20 NEW BEST:: SOT 81339 SOS 68507 HAS SOPS 68507 HAS SOUS 54980 HAS SOUPS 54980 WITH SCORE 55048.507
AT ITER 23 NEW BEST:: SOT 81205 SOS 67948 HAS SOPS 67948 HAS SOUS 54340 HAS SOUPS 54340 WITH SCORE 54407.948
AT ITER 25 NEW BEST:: SOT 81161 SOS 67672 HAS SOPS 67672 HAS SOUS 54148 HAS SOUPS 54148 WITH SCORE 54215.672
AT ITER 29 NEW BEST:: SOT 81161 SOS 67473 HAS SOPS 67473 HAS SOUS 54025 HAS SOUPS 54025 WITH SCORE 54092.473
AT ITER 31 NEW BEST:: SOT 81083 SOS 67415 HAS SOPS 67415 HAS SOUS 54007 HAS SOUPS 54007 WITH SCORE 54074.415
AT ITER 32 NEW BEST:: SOT 81080 SOS 67412 HAS SOPS 67412 HAS SOUS 54002 HAS SOUPS 54002 WITH SCORE 54069.412
AT ITER 33 NEW BEST:: SOT 81178 SOS 66957 HAS SOPS 66957 HAS SOUS 53590 HAS SOUPS 53590 WITH SCORE 53656.957
AT ITER 40 NEW BEST:: SOT 81127 SOS 66841 HAS SOPS 66841 HAS SOUS 53483 HAS SOUPS 53483 WITH SCORE 53549.841
AT ITER 44 NEW BEST:: SOT 81351 SOS 66924 HAS SOPS 66924 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53413.924
AT ITER 47 NEW BEST:: SOT 81285 SOS 66456 HAS SOPS 66456 HAS SOUS 53157 HAS SOUPS 53157 WITH SCORE 53223.456
AT ITER 49 NEW BEST:: SOT 81275 SOS 66446 HAS SOPS 66446 HAS SOUS 53146 HAS SOUPS 53146 WITH SCORE 53212.446
AT ITER 51 NEW BEST:: SOT 81313 SOS 65777 HAS SOPS 65777 HAS SOUS 52849 HAS SOUPS 52849 WITH SCORE 52914.777
AT ITER 56 NEW BEST:: SOT 81311 SOS 65775 HAS SOPS 65775 HAS SOUS 52847 HAS SOUPS 52847 WITH SCORE 52912.775
AT ITER 58 NEW BEST:: SOT 81252 SOS 65381 HAS SOPS 65381 HAS SOUS 52735 HAS SOUPS 52735 WITH SCORE 52800.381
AT ITER 60 NEW BEST:: SOT 81213 SOS 65342 HAS SOPS 65342 HAS SOUS 52690 HAS SOUPS 52690 WITH SCORE 52755.342
AT ITER 62 NEW BEST:: SOT 81222 SOS 65221 HAS SOPS 65221 HAS SOUS 52687 HAS SOUPS 52687 WITH SCORE 52752.221
AT ITER 68 NEW BEST:: SOT 81169 SOS 65168 HAS SOPS 65168 HAS SOUS 52634 HAS SOUPS 52634 WITH SCORE 52699.168
AT ITER 69 NEW BEST:: SOT 81005 SOS 65004 HAS SOPS 65004 HAS SOUS 52470 HAS SOUPS 52470 WITH SCORE 52535.004
AT ITER 72 NEW BEST:: SOT 80961 SOS 64812 HAS SOPS 64812 HAS SOUS 52294 HAS SOUPS 52294 WITH SCORE 52358.812
AT ITER 76 NEW BEST:: SOT 80934 SOS 64785 HAS SOPS 64785 HAS SOUS 52267 HAS SOUPS 52267 WITH SCORE 52331.785
AT ITER 77 NEW BEST:: SOT 81013 SOS 64766 HAS SOPS 64766 HAS SOUS 51933 HAS SOUPS 51933 WITH SCORE 51997.766
AT ITER 78 NEW BEST:: SOT 81077 SOS 64936 HAS SOPS 64936 HAS SOUS 51928 HAS SOUPS 51928 WITH SCORE 51992.936
AT ITER 81 NEW BEST:: SOT 81046 SOS 64750 HAS SOPS 64750 HAS SOUS 51835 HAS SOUPS 51835 WITH SCORE 51899.75
AT ITER 88 NEW BEST:: SOT 81018 SOS 64658 HAS SOPS 64658 HAS SOUS 51788 HAS SOUPS 51788 WITH SCORE 51852.658
AT ITER 91 NEW BEST:: SOT 80969 SOS 64609 HAS SOPS 64609 HAS SOUS 51739 HAS SOUPS 51739 WITH SCORE 51803.609
AT ITER 92 NEW BEST:: SOT 80945 SOS 64572 HAS SOPS 64572 HAS SOUS 51603 HAS SOUPS 51603 WITH SCORE 51667.572
AT ITER 93 NEW BEST:: SOT 80846 SOS 64475 HAS SOPS 64475 HAS SOUS 51505 HAS SOUPS 51505 WITH SCORE 51569.475
AT ITER 95 NEW BEST:: SOT 80773 SOS 63985 HAS SOPS 63985 HAS SOUS 50709 HAS SOUPS 50709 WITH SCORE 50772.985
AT ITER 97 NEW BEST:: SOT 80773 SOS 63889 HAS SOPS 63889 HAS SOUS 50709 HAS SOUPS 50709 WITH SCORE 50772.889
AT ITER 102 NEW BEST:: SOT 80773 SOS 63820 HAS SOPS 63820 HAS SOUS 50497 HAS SOUPS 50497 WITH SCORE 50560.82
AT ITER 104 NEW BEST:: SOT 80809 SOS 63460 HAS SOPS 63460 HAS SOUS 50288 HAS SOUPS 50288 WITH SCORE 50351.46
AT ITER 105 NEW BEST:: SOT 80806 SOS 63457 HAS SOPS 63457 HAS SOUS 50283 HAS SOUPS 50283 WITH SCORE 50346.457
AT ITER 109 NEW BEST:: SOT 80762 SOS 63171 HAS SOPS 63171 HAS SOUS 50214 HAS SOUPS 50214 WITH SCORE 50277.171
AT ITER 113 NEW BEST:: SOT 80778 SOS 63257 HAS SOPS 63257 HAS SOUS 50166 HAS SOUPS 50166 WITH SCORE 50229.257
AT ITER 117 NEW BEST:: SOT 80720 SOS 63174 HAS SOPS 63174 HAS SOUS 50107 HAS SOUPS 50107 WITH SCORE 50170.174
AT ITER 121 NEW BEST:: SOT 80720 SOS 62963 HAS SOPS 62963 HAS SOUS 49888 HAS SOUPS 49888 WITH SCORE 49950.963
AT ITER 122 NEW BEST:: SOT 80688 SOS 62794 HAS SOPS 62794 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49858.794
AT ITER 125 NEW BEST:: SOT 80626 SOS 62576 HAS SOPS 62576 HAS SOUS 49762 HAS SOUPS 49762 WITH SCORE 49824.576
AT ITER 127 NEW BEST:: SOT 80610 SOS 62560 HAS SOPS 62560 HAS SOUS 49744 HAS SOUPS 49744 WITH SCORE 49806.56
AT ITER 133 NEW BEST:: SOT 80656 SOS 62163 HAS SOPS 62163 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49377.163
AT ITER 136 NEW BEST:: SOT 80656 SOS 62088 HAS SOPS 62088 HAS SOUS 49263 HAS SOUPS 49263 WITH SCORE 49325.088
AT ITER 137 NEW BEST:: SOT 80656 SOS 62090 HAS SOPS 62090 HAS SOUS 49262 HAS SOUPS 49262 WITH SCORE 49324.09
AT ITER 138 NEW BEST:: SOT 80622 SOS 62022 HAS SOPS 62022 HAS SOUS 48934 HAS SOUPS 48934 WITH SCORE 48996.022
AT ITER 140 NEW BEST:: SOT 80545 SOS 61434 HAS SOPS 61434 HAS SOUS 48767 HAS SOUPS 48767 WITH SCORE 48828.434
AT ITER 143 NEW BEST:: SOT 80525 SOS 61404 HAS SOPS 61404 HAS SOUS 48736 HAS SOUPS 48736 WITH SCORE 48797.404
AT ITER 144 NEW BEST:: SOT 80729 SOS 61747 HAS SOPS 61747 HAS SOUS 48717 HAS SOUPS 48717 WITH SCORE 48778.747
AT ITER 145 NEW BEST:: SOT 80691 SOS 61595 HAS SOPS 61595 HAS SOUS 48558 HAS SOUPS 48558 WITH SCORE 48619.595
AT ITER 148 NEW BEST:: SOT 80678 SOS 61569 HAS SOPS 61569 HAS SOUS 48532 HAS SOUPS 48532 WITH SCORE 48593.569
AT ITER 153 NEW BEST:: SOT 80743 SOS 61513 HAS SOPS 61513 HAS SOUS 48515 HAS SOUPS 48515 WITH SCORE 48576.513
AT ITER 155 NEW BEST:: SOT 80830 SOS 61354 HAS SOPS 61354 HAS SOUS 48499 HAS SOUPS 48499 WITH SCORE 48560.354
AT ITER 158 NEW BEST:: SOT 80371 SOS 60189 HAS SOPS 60189 HAS SOUS 47549 HAS SOUPS 47549 WITH SCORE 47609.189
AT ITER 160 NEW BEST:: SOT 80286 SOS 60104 HAS SOPS 60104 HAS SOUS 47464 HAS SOUPS 47464 WITH SCORE 47524.104
AT ITER 161 NEW BEST:: SOT 80267 SOS 59886 HAS SOPS 59886 HAS SOUS 47148 HAS SOUPS 47148 WITH SCORE 47207.886
AT ITER 162 NEW BEST:: SOT 80187 SOS 59374 HAS SOPS 59374 HAS SOUS 46743 HAS SOUPS 46743 WITH SCORE 46802.374
AT ITER 163 NEW BEST:: SOT 80082 SOS 59269 HAS SOPS 59269 HAS SOUS 46636 HAS SOUPS 46636 WITH SCORE 46695.269
AT ITER 164 NEW BEST:: SOT 80052 SOS 59089 HAS SOPS 59089 HAS SOUS 46487 HAS SOUPS 46487 WITH SCORE 46546.089
AT ITER 174 NEW BEST:: SOT 79896 SOS 58933 HAS SOPS 58933 HAS SOUS 46331 HAS SOUPS 46331 WITH SCORE 46389.933
AT ITER 175 NEW BEST:: SOT 79896 SOS 59053 HAS SOPS 59053 HAS SOUS 46199 HAS SOUPS 46199 WITH SCORE 46258.053
AT ITER 179 NEW BEST:: SOT 79867 SOS 58687 HAS SOPS 58687 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45779.687
AT ITER 184 NEW BEST:: SOT 79852 SOS 58475 HAS SOPS 58475 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45555.475
AT ITER 192 NEW BEST:: SOT 79852 SOS 58460 HAS SOPS 58460 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45515.46
AT ITER 196 NEW BEST:: SOT 79774 SOS 57931 HAS SOPS 57931 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45344.931
AT ITER 197 NEW BEST:: SOT 79775 SOS 57927 HAS SOPS 57927 HAS SOUS 45285 HAS SOUPS 45285 WITH SCORE 45342.927
AT ITER 198 NEW BEST:: SOT 79868 SOS 57935 HAS SOPS 57935 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45309.935
AT ITER 199 NEW BEST:: SOT 79865 SOS 57929 HAS SOPS 57929 HAS SOUS 45236 HAS SOUPS 45236 WITH SCORE 45293.929
AT ITER 205 NEW BEST:: SOT 79741 SOS 57774 HAS SOPS 57774 HAS SOUS 45077 HAS SOUPS 45077 WITH SCORE 45134.774
AT ITER 207 NEW BEST:: SOT 79738 SOS 57768 HAS SOPS 57768 HAS SOUS 45067 HAS SOUPS 45067 WITH SCORE 45124.768
AT ITER 211 NEW BEST:: SOT 79679 SOS 57709 HAS SOPS 57709 HAS SOUS 45008 HAS SOUPS 45008 WITH SCORE 45065.709
AT ITER 212 NEW BEST:: SOT 79604 SOS 57634 HAS SOPS 57634 HAS SOUS 44933 HAS SOUPS 44933 WITH SCORE 44990.634
AT ITER 214 NEW BEST:: SOT 79536 SOS 57502 HAS SOPS 57502 HAS SOUS 44795 HAS SOUPS 44795 WITH SCORE 44852.502
AT ITER 218 NEW BEST:: SOT 79513 SOS 57479 HAS SOPS 57479 HAS SOUS 44772 HAS SOUPS 44772 WITH SCORE 44829.479
AT ITER 219 NEW BEST:: SOT 79513 SOS 57477 HAS SOPS 57477 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44828.477
AT ITER 221 NEW BEST:: SOT 79352 SOS 57316 HAS SOPS 57316 HAS SOUS 44610 HAS SOUPS 44610 WITH SCORE 44667.316
AT ITER 225 NEW BEST:: SOT 79348 SOS 57312 HAS SOPS 57312 HAS SOUS 44606 HAS SOUPS 44606 WITH SCORE 44663.312
AT ITER 229 NEW BEST:: SOT 79238 SOS 57202 HAS SOPS 57202 HAS SOUS 44423 HAS SOUPS 44423 WITH SCORE 44480.202
AT ITER 243 NEW BEST:: SOT 79172 SOS 57094 HAS SOPS 57094 HAS SOUS 44335 HAS SOUPS 44335 WITH SCORE 44392.094
AT ITER 246 NEW BEST:: SOT 79182 SOS 57074 HAS SOPS 57074 HAS SOUS 44315 HAS SOUPS 44315 WITH SCORE 44372.074
AT ITER 247 NEW BEST:: SOT 79106 SOS 56998 HAS SOPS 56998 HAS SOUS 44239 HAS SOUPS 44239 WITH SCORE 44295.998
AT ITER 249 NEW BEST:: SOT 79069 SOS 56949 HAS SOPS 56949 HAS SOUS 44190 HAS SOUPS 44190 WITH SCORE 44246.949
AT ITER 250 NEW BEST:: SOT 78897 SOS 56601 HAS SOPS 56601 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43793.601
AT ITER 251 NEW BEST:: SOT 78897 SOS 56864 HAS SOPS 56864 HAS SOUS 43581 HAS SOUPS 43581 WITH SCORE 43637.864
AT ITER 255 NEW BEST:: SOT 78895 SOS 56840 HAS SOPS 56840 HAS SOUS 43557 HAS SOUPS 43557 WITH SCORE 43613.84
AT ITER 257 NEW BEST:: SOT 78796 SOS 56741 HAS SOPS 56741 HAS SOUS 43458 HAS SOUPS 43458 WITH SCORE 43514.741
AT ITER 261 NEW BEST:: SOT 78796 SOS 56573 HAS SOPS 56573 HAS SOUS 43416 HAS SOUPS 43416 WITH SCORE 43472.573
AT ITER 269 NEW BEST:: SOT 78727 SOS 56533 HAS SOPS 56533 HAS SOUS 43411 HAS SOUPS 43411 WITH SCORE 43467.533
AT ITER 273 NEW BEST:: SOT 78429 SOS 56424 HAS SOPS 56424 HAS SOUS 43202 HAS SOUPS 43202 WITH SCORE 43258.424
AT ITER 274 NEW BEST:: SOT 78273 SOS 56393 HAS SOPS 56393 HAS SOUS 43111 HAS SOUPS 43111 WITH SCORE 43167.393
AT ITER 276 NEW BEST:: SOT 78269 SOS 56375 HAS SOPS 56375 HAS SOUS 43088 HAS SOUPS 43088 WITH SCORE 43144.375
AT ITER 281 NEW BEST:: SOT 78269 SOS 56394 HAS SOPS 56394 HAS SOUS 43070 HAS SOUPS 43070 WITH SCORE 43126.394
AT ITER 282 NEW BEST:: SOT 78236 SOS 56316 HAS SOPS 56316 HAS SOUS 43006 HAS SOUPS 43006 WITH SCORE 43062.316
AT ITER 301 NEW BEST:: SOT 78210 SOS 56374 HAS SOPS 56374 HAS SOUS 42992 HAS SOUPS 42992 WITH SCORE 43048.374
AT ITER 304 NEW BEST:: SOT 78171 SOS 56335 HAS SOPS 56335 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43009.335
AT ITER 306 NEW BEST:: SOT 78112 SOS 55993 HAS SOPS 55993 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 43007.993
AT ITER 307 NEW BEST:: SOT 78109 SOS 55987 HAS SOPS 55987 HAS SOUS 42945 HAS SOUPS 42945 WITH SCORE 43000.987
AT ITER 310 NEW BEST:: SOT 78077 SOS 55916 HAS SOPS 55916 HAS SOUS 42839 HAS SOUPS 42839 WITH SCORE 42894.916
AT ITER 325 NEW BEST:: SOT 78031 SOS 55632 HAS SOPS 55632 HAS SOUS 42751 HAS SOUPS 42751 WITH SCORE 42806.632
AT ITER 327 NEW BEST:: SOT 78027 SOS 55628 HAS SOPS 55628 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42802.628
AT ITER 329 NEW BEST:: SOT 78032 SOS 55616 HAS SOPS 55616 HAS SOUS 42731 HAS SOUPS 42731 WITH SCORE 42786.616
AT ITER 330 NEW BEST:: SOT 77881 SOS 55315 HAS SOPS 55315 HAS SOUS 42395 HAS SOUPS 42395 WITH SCORE 42450.315
AT ITER 334 NEW BEST:: SOT 77524 SOS 54958 HAS SOPS 54958 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42085.958
AT ITER 347 NEW BEST:: SOT 77545 SOS 54989 HAS SOPS 54989 HAS SOUS 42017 HAS SOUPS 42017 WITH SCORE 42071.989
AT ITER 353 NEW BEST:: SOT 77512 SOS 54964 HAS SOPS 54964 HAS SOUS 41992 HAS SOUPS 41992 WITH SCORE 42046.964
AT ITER 354 NEW BEST:: SOT 77556 SOS 54884 HAS SOPS 54884 HAS SOUS 41941 HAS SOUPS 41941 WITH SCORE 41995.884
AT ITER 358 NEW BEST:: SOT 77386 SOS 54714 HAS SOPS 54714 HAS SOUS 41771 HAS SOUPS 41771 WITH SCORE 41825.714
AT ITER 359 NEW BEST:: SOT 77409 SOS 54684 HAS SOPS 54684 HAS SOUS 41769 HAS SOUPS 41769 WITH SCORE 41823.684
AT ITER 364 NEW BEST:: SOT 77371 SOS 54565 HAS SOPS 54565 HAS SOUS 41570 HAS SOUPS 41570 WITH SCORE 41624.565
AT ITER 371 NEW BEST:: SOT 77170 SOS 53776 HAS SOPS 53776 HAS SOUS 41183 HAS SOUPS 41183 WITH SCORE 41236.776
AT ITER 373 NEW BEST:: SOT 77168 SOS 53774 HAS SOPS 53774 HAS SOUS 41181 HAS SOUPS 41181 WITH SCORE 41234.774
AT ITER 375 NEW BEST:: SOT 77180 SOS 53910 HAS SOPS 53910 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41190.91
AT ITER 383 NEW BEST:: SOT 77180 SOS 53905 HAS SOPS 53905 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41190.905
AT ITER 385 NEW BEST:: SOT 77155 SOS 53880 HAS SOPS 53880 HAS SOUS 41098 HAS SOUPS 41098 WITH SCORE 41151.88
AT ITER 387 NEW BEST:: SOT 77299 SOS 53757 HAS SOPS 53757 HAS SOUS 41013 HAS SOUPS 41013 WITH SCORE 41066.757
AT ITER 388 NEW BEST:: SOT 77299 SOS 53681 HAS SOPS 53681 HAS SOUS 40967 HAS SOUPS 40967 WITH SCORE 41020.681
AT ITER 398 NEW BEST:: SOT 77293 SOS 53432 HAS SOPS 53432 HAS SOUS 40525 HAS SOUPS 40525 WITH SCORE 40578.432
AT ITER 399 NEW BEST:: SOT 77265 SOS 53334 HAS SOPS 53334 HAS SOUS 40397 HAS SOUPS 40397 WITH SCORE 40450.334
AT ITER 406 NEW BEST:: SOT 77237 SOS 53407 HAS SOPS 53407 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40423.407
AT ITER 408 NEW BEST:: SOT 77151 SOS 53282 HAS SOPS 53282 HAS SOUS 40247 HAS SOUPS 40247 WITH SCORE 40300.282
AT ITER 410 NEW BEST:: SOT 77150 SOS 52743 HAS SOPS 52743 HAS SOUS 40052 HAS SOUPS 40052 WITH SCORE 40104.743
AT ITER 411 NEW BEST:: SOT 77166 SOS 52759 HAS SOPS 52759 HAS SOUS 39870 HAS SOUPS 39870 WITH SCORE 39922.759
AT ITER 414 NEW BEST:: SOT 77089 SOS 52682 HAS SOPS 52682 HAS SOUS 39753 HAS SOUPS 39753 WITH SCORE 39805.682
AT ITER 438 NEW BEST:: SOT 77059 SOS 52652 HAS SOPS 52652 HAS SOUS 39723 HAS SOUPS 39723 WITH SCORE 39775.652
AT ITER 442 NEW BEST:: SOT 76766 SOS 52142 HAS SOPS 52142 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39232.142
AT ITER 443 NEW BEST:: SOT 76766 SOS 52140 HAS SOPS 52140 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39228.14
AT ITER 445 NEW BEST:: SOT 76750 SOS 52084 HAS SOPS 52084 HAS SOUS 39136 HAS SOUPS 39136 WITH SCORE 39188.084
AT ITER 455 NEW BEST:: SOT 77003 SOS 51828 HAS SOPS 51828 HAS SOUS 39120 HAS SOUPS 39120 WITH SCORE 39171.828
AT ITER 458 NEW BEST:: SOT 76987 SOS 51702 HAS SOPS 51702 HAS SOUS 39000 HAS SOUPS 39000 WITH SCORE 39051.702
AT ITER 462 NEW BEST:: SOT 76646 SOS 51227 HAS SOPS 51227 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38663.227
AT ITER 473 NEW BEST:: SOT 76433 SOS 50679 HAS SOPS 50679 HAS SOUS 38520 HAS SOUPS 38520 WITH SCORE 38570.679
AT ITER 475 NEW BEST:: SOT 76433 SOS 50638 HAS SOPS 50638 HAS SOUS 38379 HAS SOUPS 38379 WITH SCORE 38429.638
AT ITER 478 NEW BEST:: SOT 76410 SOS 50615 HAS SOPS 50615 HAS SOUS 38356 HAS SOUPS 38356 WITH SCORE 38406.615
AT ITER 481 NEW BEST:: SOT 76386 SOS 50468 HAS SOPS 50468 HAS SOUS 38235 HAS SOUPS 38235 WITH SCORE 38285.468
AT ITER 482 NEW BEST:: SOT 76386 SOS 49757 HAS SOPS 49757 HAS SOUS 38203 HAS SOUPS 38203 WITH SCORE 38252.757
AT ITER 483 NEW BEST:: SOT 76394 SOS 49750 HAS SOPS 49750 HAS SOUS 38201 HAS SOUPS 38201 WITH SCORE 38250.75
AT ITER 485 NEW BEST:: SOT 76536 SOS 49585 HAS SOPS 49585 HAS SOUS 38142 HAS SOUPS 38142 WITH SCORE 38191.585
AT ITER 486 NEW BEST:: SOT 76521 SOS 49620 HAS SOPS 49620 HAS SOUS 38125 HAS SOUPS 38125 WITH SCORE 38174.62
AT ITER 494 NEW BEST:: SOT 76369 SOS 49434 HAS SOPS 49434 HAS SOUS 37879 HAS SOUPS 37879 WITH SCORE 37928.434
AT ITER 497 NEW BEST:: SOT 76288 SOS 49353 HAS SOPS 49353 HAS SOUS 37798 HAS SOUPS 37798 WITH SCORE 37847.353
AT ITER 505 NEW BEST:: SOT 76290 SOS 49336 HAS SOPS 49336 HAS SOUS 37792 HAS SOUPS 37792 WITH SCORE 37841.336
AT ITER 506 NEW BEST:: SOT 76283 SOS 49352 HAS SOPS 49352 HAS SOUS 37782 HAS SOUPS 37782 WITH SCORE 37831.352
AT ITER 509 NEW BEST:: SOT 76285 SOS 49284 HAS SOPS 49284 HAS SOUS 37748 HAS SOUPS 37748 WITH SCORE 37797.284
AT ITER 511 NEW BEST:: SOT 76053 SOS 48946 HAS SOPS 48946 HAS SOUS 37450 HAS SOUPS 37450 WITH SCORE 37498.946
AT ITER 523 NEW BEST:: SOT 76053 SOS 48950 HAS SOPS 48950 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37494.95
AT ITER 527 NEW BEST:: SOT 75930 SOS 48827 HAS SOPS 48827 HAS SOUS 37323 HAS SOUPS 37323 WITH SCORE 37371.827
AT ITER 529 NEW BEST:: SOT 75797 SOS 48368 HAS SOPS 48368 HAS SOUS 37082 HAS SOUPS 37082 WITH SCORE 37130.368
AT ITER 531 NEW BEST:: SOT 75765 SOS 48290 HAS SOPS 48290 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37031.29
AT ITER 532 NEW BEST:: SOT 75747 SOS 48038 HAS SOPS 48038 HAS SOUS 36915 HAS SOUPS 36915 WITH SCORE 36963.038
AT ITER 542 NEW BEST:: SOT 75714 SOS 48007 HAS SOPS 48007 HAS SOUS 36880 HAS SOUPS 36880 WITH SCORE 36928.007
AT ITER 545 NEW BEST:: SOT 75702 SOS 47945 HAS SOPS 47945 HAS SOUS 36830 HAS SOUPS 36830 WITH SCORE 36877.945
AT ITER 546 NEW BEST:: SOT 75674 SOS 47833 HAS SOPS 47833 HAS SOUS 36772 HAS SOUPS 36772 WITH SCORE 36819.833
AT ITER 547 NEW BEST:: SOT 75553 SOS 47639 HAS SOPS 47639 HAS SOUS 36716 HAS SOUPS 36716 WITH SCORE 36763.639
AT ITER 550 NEW BEST:: SOT 75227 SOS 47156 HAS SOPS 47156 HAS SOUS 36246 HAS SOUPS 36246 WITH SCORE 36293.156
AT ITER 553 NEW BEST:: SOT 75227 SOS 47204 HAS SOPS 47204 HAS SOUS 36232 HAS SOUPS 36232 WITH SCORE 36279.204
AT ITER 560 NEW BEST:: SOT 75267 SOS 47264 HAS SOPS 47264 HAS SOUS 36068 HAS SOUPS 36068 WITH SCORE 36115.264
AT ITER 565 NEW BEST:: SOT 75275 SOS 47194 HAS SOPS 47194 HAS SOUS 35645 HAS SOUPS 35645 WITH SCORE 35692.194
AT ITER 583 NEW BEST:: SOT 75309 SOS 47118 HAS SOPS 47118 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35633.118
AT ITER 591 NEW BEST:: SOT 75341 SOS 47075 HAS SOPS 47075 HAS SOUS 35452 HAS SOUPS 35452 WITH SCORE 35499.075
AT ITER 595 NEW BEST:: SOT 75314 SOS 47021 HAS SOPS 47021 HAS SOUS 35371 HAS SOUPS 35371 WITH SCORE 35418.021
AT ITER 596 NEW BEST:: SOT 75285 SOS 46967 HAS SOPS 46967 HAS SOUS 35322 HAS SOUPS 35322 WITH SCORE 35368.967
AT ITER 607 NEW BEST:: SOT 75278 SOS 47112 HAS SOPS 47112 HAS SOUS 35254 HAS SOUPS 35254 WITH SCORE 35301.112
AT ITER 612 NEW BEST:: SOT 75246 SOS 47080 HAS SOPS 47080 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35269.08
AT ITER 613 NEW BEST:: SOT 75200 SOS 47034 HAS SOPS 47034 HAS SOUS 35176 HAS SOUPS 35176 WITH SCORE 35223.034
AT ITER 625 NEW BEST:: SOT 75200 SOS 46987 HAS SOPS 46987 HAS SOUS 35134 HAS SOUPS 35134 WITH SCORE 35180.987
AT ITER 627 NEW BEST:: SOT 75199 SOS 46985 HAS SOPS 46985 HAS SOUS 35123 HAS SOUPS 35123 WITH SCORE 35169.985
AT ITER 633 NEW BEST:: SOT 75244 SOS 47143 HAS SOPS 47143 HAS SOUS 34944 HAS SOUPS 34944 WITH SCORE 34991.143
AT ITER 636 NEW BEST:: SOT 75082 SOS 46981 HAS SOPS 46981 HAS SOUS 34662 HAS SOUPS 34662 WITH SCORE 34708.981
AT ITER 642 NEW BEST:: SOT 75119 SOS 47145 HAS SOPS 47145 HAS SOUS 34593 HAS SOUPS 34593 WITH SCORE 34640.145
AT ITER 644 NEW BEST:: SOT 75025 SOS 45911 HAS SOPS 45911 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34453.911
AT ITER 647 NEW BEST:: SOT 74977 SOS 45863 HAS SOPS 45863 HAS SOUS 34360 HAS SOUPS 34360 WITH SCORE 34405.863
AT ITER 651 NEW BEST:: SOT 74924 SOS 45622 HAS SOPS 45622 HAS SOUS 34336 HAS SOUPS 34336 WITH SCORE 34381.622
AT ITER 655 NEW BEST:: SOT 74937 SOS 45416 HAS SOPS 45416 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34330.416
AT ITER 666 NEW BEST:: SOT 74743 SOS 45152 HAS SOPS 45152 HAS SOUS 33754 HAS SOUPS 33754 WITH SCORE 33799.152
AT ITER 668 NEW BEST:: SOT 74816 SOS 45067 HAS SOPS 45067 HAS SOUS 33685 HAS SOUPS 33685 WITH SCORE 33730.067
AT ITER 682 NEW BEST:: SOT 74824 SOS 45075 HAS SOPS 45075 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33707.075
AT ITER 683 NEW BEST:: SOT 74820 SOS 45072 HAS SOPS 45072 HAS SOUS 33659 HAS SOUPS 33659 WITH SCORE 33704.072
AT ITER 686 NEW BEST:: SOT 74729 SOS 44939 HAS SOPS 44939 HAS SOUS 33456 HAS SOUPS 33456 WITH SCORE 33500.939
AT ITER 688 NEW BEST:: SOT 74730 SOS 45059 HAS SOPS 45059 HAS SOUS 33443 HAS SOUPS 33443 WITH SCORE 33488.059
AT ITER 694 NEW BEST:: SOT 74650 SOS 44979 HAS SOPS 44979 HAS SOUS 33334 HAS SOUPS 33334 WITH SCORE 33378.979
AT ITER 705 NEW BEST:: SOT 74474 SOS 44803 HAS SOPS 44803 HAS SOUS 33158 HAS SOUPS 33158 WITH SCORE 33202.803
AT ITER 722 NEW BEST:: SOT 74474 SOS 44729 HAS SOPS 44729 HAS SOUS 33126 HAS SOUPS 33126 WITH SCORE 33170.729
AT ITER 724 NEW BEST:: SOT 74460 SOS 44704 HAS SOPS 44704 HAS SOUS 33111 HAS SOUPS 33111 WITH SCORE 33155.704
AT ITER 725 NEW BEST:: SOT 74433 SOS 44679 HAS SOPS 44679 HAS SOUS 33086 HAS SOUPS 33086 WITH SCORE 33130.679
AT ITER 727 NEW BEST:: SOT 74293 SOS 44548 HAS SOPS 44548 HAS SOUS 32953 HAS SOUPS 32953 WITH SCORE 32997.548
AT ITER 731 NEW BEST:: SOT 74253 SOS 44494 HAS SOPS 44494 HAS SOUS 32915 HAS SOUPS 32915 WITH SCORE 32959.494
AT ITER 738 NEW BEST:: SOT 74245 SOS 44366 HAS SOPS 44366 HAS SOUS 32861 HAS SOUPS 32861 WITH SCORE 32905.366
AT ITER 739 NEW BEST:: SOT 74304 SOS 44524 HAS SOPS 44524 HAS SOUS 32824 HAS SOUPS 32824 WITH SCORE 32868.524
AT ITER 749 NEW BEST:: SOT 74360 SOS 44480 HAS SOPS 44480 HAS SOUS 32773 HAS SOUPS 32773 WITH SCORE 32817.48
AT ITER 764 NEW BEST:: SOT 74358 SOS 44466 HAS SOPS 44466 HAS SOUS 32759 HAS SOUPS 32759 WITH SCORE 32803.466
AT ITER 765 NEW BEST:: SOT 74366 SOS 44594 HAS SOPS 44594 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32643.594
AT ITER 769 NEW BEST:: SOT 74366 SOS 44644 HAS SOPS 44644 HAS SOUS 32563 HAS SOUPS 32563 WITH SCORE 32607.644
AT ITER 771 NEW BEST:: SOT 74319 SOS 44456 HAS SOPS 44456 HAS SOUS 32485 HAS SOUPS 32485 WITH SCORE 32529.456
AT ITER 777 NEW BEST:: SOT 74412 SOS 44215 HAS SOPS 44215 HAS SOUS 32451 HAS SOUPS 32451 WITH SCORE 32495.215
AT ITER 778 NEW BEST:: SOT 74412 SOS 44221 HAS SOPS 44221 HAS SOUS 32448 HAS SOUPS 32448 WITH SCORE 32492.221
AT ITER 795 NEW BEST:: SOT 74391 SOS 44197 HAS SOPS 44197 HAS SOUS 32424 HAS SOUPS 32424 WITH SCORE 32468.197
AT ITER 802 NEW BEST:: SOT 74358 SOS 44147 HAS SOPS 44147 HAS SOUS 32345 HAS SOUPS 32345 WITH SCORE 32389.147
AT ITER 813 NEW BEST:: SOT 74358 SOS 44116 HAS SOPS 44116 HAS SOUS 32206 HAS SOUPS 32206 WITH SCORE 32250.116
AT ITER 814 NEW BEST:: SOT 74327 SOS 44085 HAS SOPS 44085 HAS SOUS 32144 HAS SOUPS 32144 WITH SCORE 32188.085
AT ITER 817 NEW BEST:: SOT 74305 SOS 44063 HAS SOPS 44063 HAS SOUS 32122 HAS SOUPS 32122 WITH SCORE 32166.063
AT ITER 828 NEW BEST:: SOT 74305 SOS 44059 HAS SOPS 44059 HAS SOUS 32121 HAS SOUPS 32121 WITH SCORE 32165.059
AT ITER 834 NEW BEST:: SOT 74305 SOS 44782 HAS SOPS 44782 HAS SOUS 32109 HAS SOUPS 32109 WITH SCORE 32153.782
AT ITER 839 NEW BEST:: SOT 74300 SOS 44772 HAS SOPS 44772 HAS SOUS 32104 HAS SOUPS 32104 WITH SCORE 32148.772
AT ITER 843 NEW BEST:: SOT 74190 SOS 44727 HAS SOPS 44727 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32119.727
AT ITER 848 NEW BEST:: SOT 74197 SOS 44623 HAS SOPS 44623 HAS SOUS 31999 HAS SOUPS 31999 WITH SCORE 32043.623
AT ITER 850 NEW BEST:: SOT 74049 SOS 44521 HAS SOPS 44521 HAS SOUS 31792 HAS SOUPS 31792 WITH SCORE 31836.521
AT ITER 853 NEW BEST:: SOT 74027 SOS 44448 HAS SOPS 44448 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31783.448
AT ITER 858 NEW BEST:: SOT 74012 SOS 44403 HAS SOPS 44403 HAS SOUS 31694 HAS SOUPS 31694 WITH SCORE 31738.403
AT ITER 867 NEW BEST:: SOT 74012 SOS 44398 HAS SOPS 44398 HAS SOUS 31689 HAS SOUPS 31689 WITH SCORE 31733.398
AT ITER 869 NEW BEST:: SOT 74018 SOS 44398 HAS SOPS 44398 HAS SOUS 31683 HAS SOUPS 31683 WITH SCORE 31727.398
AT ITER 872 NEW BEST:: SOT 73942 SOS 44346 HAS SOPS 44346 HAS SOUS 31631 HAS SOUPS 31631 WITH SCORE 31675.346
AT ITER 874 NEW BEST:: SOT 73942 SOS 44384 HAS SOPS 44384 HAS SOUS 31614 HAS SOUPS 31614 WITH SCORE 31658.384
AT ITER 876 NEW BEST:: SOT 73942 SOS 44384 HAS SOPS 44384 HAS SOUS 31558 HAS SOUPS 31558 WITH SCORE 31602.384
AT ITER 878 NEW BEST:: SOT 73933 SOS 44375 HAS SOPS 44375 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31593.375
AT ITER 892 NEW BEST:: SOT 73933 SOS 43975 HAS SOPS 43975 HAS SOUS 31463 HAS SOUPS 31463 WITH SCORE 31506.975
AT ITER 899 NEW BEST:: SOT 73933 SOS 43907 HAS SOPS 43907 HAS SOUS 31412 HAS SOUPS 31412 WITH SCORE 31455.907
AT ITER 902 NEW BEST:: SOT 73907 SOS 43761 HAS SOPS 43761 HAS SOUS 31214 HAS SOUPS 31214 WITH SCORE 31257.761
AT ITER 907 NEW BEST:: SOT 73907 SOS 43696 HAS SOPS 43696 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31231.696
AT ITER 908 NEW BEST:: SOT 73838 SOS 43627 HAS SOPS 43627 HAS SOUS 31119 HAS SOUPS 31119 WITH SCORE 31162.627
AT ITER 917 NEW BEST:: SOT 73829 SOS 43584 HAS SOPS 43584 HAS SOUS 31102 HAS SOUPS 31102 WITH SCORE 31145.584
AT ITER 923 NEW BEST:: SOT 73814 SOS 43513 HAS SOPS 43513 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31090.513
AT ITER 925 NEW BEST:: SOT 73814 SOS 43513 HAS SOPS 43513 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31086.513
AT ITER 927 NEW BEST:: SOT 73683 SOS 43391 HAS SOPS 43391 HAS SOUS 30921 HAS SOUPS 30921 WITH SCORE 30964.391
AT ITER 931 NEW BEST:: SOT 73683 SOS 43382 HAS SOPS 43382 HAS SOUS 30921 HAS SOUPS 30921 WITH SCORE 30964.382
AT ITER 937 NEW BEST:: SOT 73580 SOS 43264 HAS SOPS 43264 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30846.264
AT ITER 939 NEW BEST:: SOT 73580 SOS 43314 HAS SOPS 43314 HAS SOUS 30768 HAS SOUPS 30768 WITH SCORE 30811.314
AT ITER 944 NEW BEST:: SOT 73575 SOS 43312 HAS SOPS 43312 HAS SOUS 30765 HAS SOUPS 30765 WITH SCORE 30808.312
AT ITER 951 NEW BEST:: SOT 73559 SOS 43296 HAS SOPS 43296 HAS SOUS 30722 HAS SOUPS 30722 WITH SCORE 30765.296
AT ITER 964 NEW BEST:: SOT 73337 SOS 42958 HAS SOPS 42958 HAS SOUS 30446 HAS SOUPS 30446 WITH SCORE 30488.958
AT ITER 967 NEW BEST:: SOT 73081 SOS 42674 HAS SOPS 42674 HAS SOUS 30409 HAS SOUPS 30409 WITH SCORE 30451.674
AT ITER 975 NEW BEST:: SOT 73065 SOS 42610 HAS SOPS 42610 HAS SOUS 30395 HAS SOUPS 30395 WITH SCORE 30437.61
AT ITER 983 NEW BEST:: SOT 73075 SOS 42579 HAS SOPS 42579 HAS SOUS 30372 HAS SOUPS 30372 WITH SCORE 30414.579
AT ITER 985 NEW BEST:: SOT 73021 SOS 42525 HAS SOPS 42525 HAS SOUS 30318 HAS SOUPS 30318 WITH SCORE 30360.525
AT ITER 987 NEW BEST:: SOT 72990 SOS 42363 HAS SOPS 42363 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30251.363
AT ITER 989 NEW BEST:: SOT 72980 SOS 42343 HAS SOPS 42343 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30223.343
AT ITER 993 NEW BEST:: SOT 72919 SOS 42282 HAS SOPS 42282 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30149.282
AT ITER 997 NEW BEST:: SOT 72886 SOS 42249 HAS SOPS 42249 HAS SOUS 30074 HAS SOUPS 30074 WITH SCORE 30116.249
AT ITER 998 NEW BEST:: SOT 72886 SOS 42249 HAS SOPS 42249 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30114.249
AT ITER 1012 NEW BEST:: SOT 72808 SOS 42171 HAS SOPS 42171 HAS SOUS 29994 HAS SOUPS 29994 WITH SCORE 30036.171
AT ITER 1034 NEW BEST:: SOT 72674 SOS 41990 HAS SOPS 41990 HAS SOUS 29766 HAS SOUPS 29766 WITH SCORE 29807.99
AT ITER 1041 NEW BEST:: SOT 72674 SOS 41940 HAS SOPS 41940 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29798.94
AT ITER 1046 NEW BEST:: SOT 72670 SOS 41938 HAS SOPS 41938 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29796.938
AT ITER 1052 NEW BEST:: SOT 72688 SOS 41920 HAS SOPS 41920 HAS SOUS 29754 HAS SOUPS 29754 WITH SCORE 29795.92
AT ITER 1064 NEW BEST:: SOT 72619 SOS 41851 HAS SOPS 41851 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29694.851
AT ITER 1069 NEW BEST:: SOT 72673 SOS 41845 HAS SOPS 41845 HAS SOUS 29644 HAS SOUPS 29644 WITH SCORE 29685.845
AT ITER 1088 NEW BEST:: SOT 72615 SOS 41758 HAS SOPS 41758 HAS SOUS 29600 HAS SOUPS 29600 WITH SCORE 29641.758
AT ITER 1089 NEW BEST:: SOT 72581 SOS 41748 HAS SOPS 41748 HAS SOUS 29590 HAS SOUPS 29590 WITH SCORE 29631.748
AT ITER 1117 NEW BEST:: SOT 72557 SOS 41718 HAS SOPS 41718 HAS SOUS 29560 HAS SOUPS 29560 WITH SCORE 29601.718
AT ITER 1128 NEW BEST:: SOT 72373 SOS 41384 HAS SOPS 41384 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29285.384
AT ITER 1131 NEW BEST:: SOT 72394 SOS 41605 HAS SOPS 41605 HAS SOUS 29226 HAS SOUPS 29226 WITH SCORE 29267.605
AT ITER 1150 NEW BEST:: SOT 72391 SOS 41616 HAS SOPS 41616 HAS SOUS 29212 HAS SOUPS 29212 WITH SCORE 29253.616
AT ITER 1169 NEW BEST:: SOT 72381 SOS 41397 HAS SOPS 41397 HAS SOUS 29091 HAS SOUPS 29091 WITH SCORE 29132.397
AT ITER 1180 NEW BEST:: SOT 72400 SOS 41335 HAS SOPS 41335 HAS SOUS 29028 HAS SOUPS 29028 WITH SCORE 29069.335
AT ITER 1181 NEW BEST:: SOT 72397 SOS 41263 HAS SOPS 41263 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29067.263
AT ITER 1183 NEW BEST:: SOT 72397 SOS 41263 HAS SOPS 41263 HAS SOUS 28994 HAS SOUPS 28994 WITH SCORE 29035.263
AT ITER 1199 NEW BEST:: SOT 72384 SOS 41267 HAS SOPS 41267 HAS SOUS 28887 HAS SOUPS 28887 WITH SCORE 28928.267
AT ITER 1214 NEW BEST:: SOT 72308 SOS 41233 HAS SOPS 41233 HAS SOUS 28807 HAS SOUPS 28807 WITH SCORE 28848.233
AT ITER 1218 NEW BEST:: SOT 72284 SOS 41209 HAS SOPS 41209 HAS SOUS 28783 HAS SOUPS 28783 WITH SCORE 28824.209
AT ITER 1226 NEW BEST:: SOT 72271 SOS 41196 HAS SOPS 41196 HAS SOUS 28768 HAS SOUPS 28768 WITH SCORE 28809.196
AT ITER 1227 NEW BEST:: SOT 72292 SOS 41202 HAS SOPS 41202 HAS SOUS 28738 HAS SOUPS 28738 WITH SCORE 28779.202
AT ITER 1228 NEW BEST:: SOT 72240 SOS 41146 HAS SOPS 41146 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28751.146
AT ITER 1238 NEW BEST:: SOT 72224 SOS 41128 HAS SOPS 41128 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28726.128
AT ITER 1239 NEW BEST:: SOT 72130 SOS 41120 HAS SOPS 41120 HAS SOUS 28675 HAS SOUPS 28675 WITH SCORE 28716.12
AT ITER 1243 NEW BEST:: SOT 72139 SOS 41111 HAS SOPS 41111 HAS SOUS 28675 HAS SOUPS 28675 WITH SCORE 28716.111
AT ITER 1244 NEW BEST:: SOT 72137 SOS 41109 HAS SOPS 41109 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28714.109
AT ITER 1251 NEW BEST:: SOT 72137 SOS 41099 HAS SOPS 41099 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28714.099
AT ITER 1263 NEW BEST:: SOT 72137 SOS 41093 HAS SOPS 41093 HAS SOUS 28671 HAS SOUPS 28671 WITH SCORE 28712.093
AT ITER 1264 NEW BEST:: SOT 72146 SOS 41079 HAS SOPS 41079 HAS SOUS 28657 HAS SOUPS 28657 WITH SCORE 28698.079
AT ITER 1268 NEW BEST:: SOT 72112 SOS 41011 HAS SOPS 41011 HAS SOUS 28620 HAS SOUPS 28620 WITH SCORE 28661.011
AT ITER 1269 NEW BEST:: SOT 72112 SOS 41220 HAS SOPS 41220 HAS SOUS 28575 HAS SOUPS 28575 WITH SCORE 28616.22
AT ITER 1280 NEW BEST:: SOT 71921 SOS 41108 HAS SOPS 41108 HAS SOUS 28467 HAS SOUPS 28467 WITH SCORE 28508.108
AT ITER 1292 NEW BEST:: SOT 71930 SOS 41105 HAS SOPS 41105 HAS SOUS 28464 HAS SOUPS 28464 WITH SCORE 28505.105
AT ITER 1296 NEW BEST:: SOT 71853 SOS 40983 HAS SOPS 40983 HAS SOUS 28403 HAS SOUPS 28403 WITH SCORE 28443.983
AT ITER 1301 NEW BEST:: SOT 71847 SOS 40974 HAS SOPS 40974 HAS SOUS 28393 HAS SOUPS 28393 WITH SCORE 28433.974
AT ITER 1320 NEW BEST:: SOT 71805 SOS 41272 HAS SOPS 41272 HAS SOUS 28362 HAS SOUPS 28362 WITH SCORE 28403.272
AT ITER 1332 NEW BEST:: SOT 71796 SOS 41100 HAS SOPS 41100 HAS SOUS 28354 HAS SOUPS 28354 WITH SCORE 28395.1
AT ITER 1334 NEW BEST:: SOT 71798 SOS 41082 HAS SOPS 41082 HAS SOUS 28336 HAS SOUPS 28336 WITH SCORE 28377.082
AT ITER 1336 NEW BEST:: SOT 71855 SOS 41126 HAS SOPS 41126 HAS SOUS 28322 HAS SOUPS 28322 WITH SCORE 28363.126
AT ITER 1338 NEW BEST:: SOT 71911 SOS 40951 HAS SOPS 40951 HAS SOUS 28312 HAS SOUPS 28312 WITH SCORE 28352.951
AT ITER 1347 NEW BEST:: SOT 71911 SOS 40939 HAS SOPS 40939 HAS SOUS 28285 HAS SOUPS 28285 WITH SCORE 28325.939
AT ITER 1360 NEW BEST:: SOT 71892 SOS 40855 HAS SOPS 40855 HAS SOUS 28245 HAS SOUPS 28245 WITH SCORE 28285.855
AT ITER 1364 NEW BEST:: SOT 71810 SOS 40774 HAS SOPS 40774 HAS SOUS 28164 HAS SOUPS 28164 WITH SCORE 28204.774
AT ITER 1366 NEW BEST:: SOT 71810 SOS 40760 HAS SOPS 40760 HAS SOUS 28138 HAS SOUPS 28138 WITH SCORE 28178.76
AT ITER 1367 NEW BEST:: SOT 71637 SOS 40980 HAS SOPS 40980 HAS SOUS 28042 HAS SOUPS 28042 WITH SCORE 28082.98
AT ITER 1383 NEW BEST:: SOT 71610 SOS 40950 HAS SOPS 40950 HAS SOUS 28010 HAS SOUPS 28010 WITH SCORE 28050.95
AT ITER 1388 NEW BEST:: SOT 71615 SOS 40948 HAS SOPS 40948 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28044.948
AT ITER 1396 NEW BEST:: SOT 71615 SOS 40945 HAS SOPS 40945 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28044.945
AT ITER 1397 NEW BEST:: SOT 71538 SOS 40813 HAS SOPS 40813 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27896.813
AT ITER 1399 NEW BEST:: SOT 71351 SOS 40555 HAS SOPS 40555 HAS SOUS 27714 HAS SOUPS 27714 WITH SCORE 27754.555
AT ITER 1403 NEW BEST:: SOT 71340 SOS 40510 HAS SOPS 40510 HAS SOUS 27703 HAS SOUPS 27703 WITH SCORE 27743.51
AT ITER 1416 NEW BEST:: SOT 71340 SOS 40180 HAS SOPS 40180 HAS SOUS 27637 HAS SOUPS 27637 WITH SCORE 27677.18
AT ITER 1431 NEW BEST:: SOT 71264 SOS 40144 HAS SOPS 40144 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27622.144
AT ITER 1443 NEW BEST:: SOT 71243 SOS 40098 HAS SOPS 40098 HAS SOUS 27447 HAS SOUPS 27447 WITH SCORE 27487.098
AT ITER 1451 NEW BEST:: SOT 71228 SOS 40066 HAS SOPS 40066 HAS SOUS 27373 HAS SOUPS 27373 WITH SCORE 27413.066
AT ITER 1464 NEW BEST:: SOT 71230 SOS 40063 HAS SOPS 40063 HAS SOUS 27337 HAS SOUPS 27337 WITH SCORE 27377.063
AT ITER 1479 NEW BEST:: SOT 71230 SOS 40063 HAS SOPS 40063 HAS SOUS 27325 HAS SOUPS 27325 WITH SCORE 27365.063
AT ITER 1482 NEW BEST:: SOT 71209 SOS 40086 HAS SOPS 40086 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27364.086
AT ITER 1484 NEW BEST:: SOT 71225 SOS 40064 HAS SOPS 40064 HAS SOUS 27302 HAS SOUPS 27302 WITH SCORE 27342.064
AT ITER 1510 NEW BEST:: SOT 71222 SOS 40058 HAS SOPS 40058 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27337.058
AT ITER 1532 NEW BEST:: SOT 71152 SOS 39930 HAS SOPS 39930 HAS SOUS 27189 HAS SOUPS 27189 WITH SCORE 27228.93
AT ITER 1533 NEW BEST:: SOT 71135 SOS 39872 HAS SOPS 39872 HAS SOUS 27189 HAS SOUPS 27189 WITH SCORE 27228.872
AT ITER 1538 NEW BEST:: SOT 71135 SOS 39790 HAS SOPS 39790 HAS SOUS 27189 HAS SOUPS 27189 WITH SCORE 27228.79
AT ITER 1548 NEW BEST:: SOT 71134 SOS 39788 HAS SOPS 39788 HAS SOUS 27183 HAS SOUPS 27183 WITH SCORE 27222.788
AT ITER 1568 NEW BEST:: SOT 71137 SOS 39841 HAS SOPS 39841 HAS SOUS 27172 HAS SOUPS 27172 WITH SCORE 27211.841
AT ITER 1583 NEW BEST:: SOT 70971 SOS 39410 HAS SOPS 39410 HAS SOUS 26804 HAS SOUPS 26804 WITH SCORE 26843.41
AT ITER 1591 NEW BEST:: SOT 70960 SOS 39390 HAS SOPS 39390 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26832.39
AT ITER 1593 NEW BEST:: SOT 70647 SOS 38677 HAS SOPS 38677 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26475.677
AT ITER 1598 NEW BEST:: SOT 70647 SOS 38707 HAS SOPS 38707 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26445.707
AT ITER 1628 NEW BEST:: SOT 70629 SOS 38679 HAS SOPS 38679 HAS SOUS 26350 HAS SOUPS 26350 WITH SCORE 26388.679
AT ITER 1632 NEW BEST:: SOT 70629 SOS 38417 HAS SOPS 38417 HAS SOUS 26325 HAS SOUPS 26325 WITH SCORE 26363.417
AT ITER 1640 NEW BEST:: SOT 70629 SOS 37717 HAS SOPS 37717 HAS SOUS 26306 HAS SOUPS 26306 WITH SCORE 26343.717
AT ITER 1652 NEW BEST:: SOT 70620 SOS 37694 HAS SOPS 37694 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26315.694
AT ITER 1654 NEW BEST:: SOT 70568 SOS 37642 HAS SOPS 37642 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26263.642
AT ITER 1656 NEW BEST:: SOT 70542 SOS 37616 HAS SOPS 37616 HAS SOUS 26200 HAS SOUPS 26200 WITH SCORE 26237.616
AT ITER 1661 NEW BEST:: SOT 70542 SOS 37595 HAS SOPS 37595 HAS SOUS 26179 HAS SOUPS 26179 WITH SCORE 26216.595
AT ITER 1673 NEW BEST:: SOT 70542 SOS 37604 HAS SOPS 37604 HAS SOUS 26170 HAS SOUPS 26170 WITH SCORE 26207.604
AT ITER 1675 NEW BEST:: SOT 70550 SOS 37588 HAS SOPS 37588 HAS SOUS 26151 HAS SOUPS 26151 WITH SCORE 26188.588
AT ITER 1684 NEW BEST:: SOT 70523 SOS 37534 HAS SOPS 37534 HAS SOUS 26086 HAS SOUPS 26086 WITH SCORE 26123.534
AT ITER 1697 NEW BEST:: SOT 70485 SOS 37499 HAS SOPS 37499 HAS SOUS 26051 HAS SOUPS 26051 WITH SCORE 26088.499
AT ITER 1700 NEW BEST:: SOT 70485 SOS 37516 HAS SOPS 37516 HAS SOUS 26018 HAS SOUPS 26018 WITH SCORE 26055.516
AT ITER 1714 NEW BEST:: SOT 70279 SOS 37423 HAS SOPS 37423 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25615.423
AT ITER 1715 NEW BEST:: SOT 70291 SOS 37367 HAS SOPS 37367 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25549.367
AT ITER 1725 NEW BEST:: SOT 70289 SOS 37361 HAS SOPS 37361 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25548.361
AT ITER 1732 NEW BEST:: SOT 70256 SOS 37208 HAS SOPS 37208 HAS SOUS 25483 HAS SOUPS 25483 WITH SCORE 25520.208
AT ITER 1739 NEW BEST:: SOT 70256 SOS 37214 HAS SOPS 37214 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25514.214
AT ITER 1744 NEW BEST:: SOT 70142 SOS 37008 HAS SOPS 37008 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25394.008
AT ITER 1746 NEW BEST:: SOT 70142 SOS 36904 HAS SOPS 36904 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25367.904
AT ITER 1751 NEW BEST:: SOT 70152 SOS 36898 HAS SOPS 36898 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25360.898
AT ITER 1752 NEW BEST:: SOT 70131 SOS 36846 HAS SOPS 36846 HAS SOUS 25284 HAS SOUPS 25284 WITH SCORE 25320.846
AT ITER 1763 NEW BEST:: SOT 70065 SOS 36803 HAS SOPS 36803 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25280.803
AT ITER 1769 NEW BEST:: SOT 70045 SOS 36399 HAS SOPS 36399 HAS SOUS 25024 HAS SOUPS 25024 WITH SCORE 25060.399
AT ITER 1793 NEW BEST:: SOT 70026 SOS 36251 HAS SOPS 36251 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25039.251
AT ITER 1799 NEW BEST:: SOT 70033 SOS 36228 HAS SOPS 36228 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25013.228
AT ITER 1817 NEW BEST:: SOT 69907 SOS 36066 HAS SOPS 36066 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24786.066
AT ITER 1838 NEW BEST:: SOT 69906 SOS 36046 HAS SOPS 36046 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24751.046
AT ITER 1854 NEW BEST:: SOT 69776 SOS 35878 HAS SOPS 35878 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24663.878
AT ITER 1855 NEW BEST:: SOT 69762 SOS 35864 HAS SOPS 35864 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24663.864
AT ITER 1864 NEW BEST:: SOT 69793 SOS 35868 HAS SOPS 35868 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 24632.868
AT ITER 1865 NEW BEST:: SOT 69771 SOS 35828 HAS SOPS 35828 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24575.828
AT ITER 1866 NEW BEST:: SOT 69655 SOS 35642 HAS SOPS 35642 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24399.642
AT ITER 1884 NEW BEST:: SOT 69655 SOS 35640 HAS SOPS 35640 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24397.64
AT ITER 1885 NEW BEST:: SOT 69649 SOS 35634 HAS SOPS 35634 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24389.634
AT ITER 1890 NEW BEST:: SOT 69471 SOS 35400 HAS SOPS 35400 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23987.4
AT ITER 1896 NEW BEST:: SOT 69461 SOS 35390 HAS SOPS 35390 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23977.39
AT ITER 1898 NEW BEST:: SOT 69457 SOS 35360 HAS SOPS 35360 HAS SOUS 23893 HAS SOUPS 23893 WITH SCORE 23928.36
AT ITER 1904 NEW BEST:: SOT 69306 SOS 35188 HAS SOPS 35188 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23756.188
AT ITER 1916 NEW BEST:: SOT 69300 SOS 35164 HAS SOPS 35164 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23743.164
AT ITER 1926 NEW BEST:: SOT 69205 SOS 35034 HAS SOPS 35034 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23591.034
AT ITER 1935 NEW BEST:: SOT 69210 SOS 35028 HAS SOPS 35028 HAS SOUS 23543 HAS SOUPS 23543 WITH SCORE 23578.028
AT ITER 1938 NEW BEST:: SOT 69206 SOS 34969 HAS SOPS 34969 HAS SOUS 23493 HAS SOUPS 23493 WITH SCORE 23527.969
AT ITER 1956 NEW BEST:: SOT 69139 SOS 34902 HAS SOPS 34902 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23445.902
AT ITER 1962 NEW BEST:: SOT 69139 SOS 34902 HAS SOPS 34902 HAS SOUS 23400 HAS SOUPS 23400 WITH SCORE 23434.902
AT ITER 1964 NEW BEST:: SOT 69135 SOS 34898 HAS SOPS 34898 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23430.898
AT ITER 1966 NEW BEST:: SOT 69127 SOS 34780 HAS SOPS 34780 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23394.78
AT ITER 1972 NEW BEST:: SOT 69136 SOS 34762 HAS SOPS 34762 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23364.762
AT ITER 1977 NEW BEST:: SOT 69136 SOS 34673 HAS SOPS 34673 HAS SOUS 23238 HAS SOUPS 23238 WITH SCORE 23272.673
AT ITER 1982 NEW BEST:: SOT 69128 SOS 34592 HAS SOPS 34592 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23263.592
AT ITER 1984 NEW BEST:: SOT 69198 SOS 34590 HAS SOPS 34590 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23243.59
AT ITER 1989 NEW BEST:: SOT 69129 SOS 34316 HAS SOPS 34316 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23170.316
AT ITER 1996 NEW BEST:: SOT 68693 SOS 33880 HAS SOPS 33880 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22733.88
AT ITER 2016 NEW BEST:: SOT 68649 SOS 33860 HAS SOPS 33860 HAS SOUS 22689 HAS SOUPS 22689 WITH SCORE 22722.86
AT ITER 2042 NEW BEST:: SOT 68539 SOS 33702 HAS SOPS 33702 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22564.702
AT ITER 2043 NEW BEST:: SOT 68539 SOS 33699 HAS SOPS 33699 HAS SOUS 22528 HAS SOUPS 22528 WITH SCORE 22561.699
AT ITER 2046 NEW BEST:: SOT 68476 SOS 33612 HAS SOPS 33612 HAS SOUS 22489 HAS SOUPS 22489 WITH SCORE 22522.612
AT ITER 2072 NEW BEST:: SOT 68456 SOS 33552 HAS SOPS 33552 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22482.552
AT ITER 2075 NEW BEST:: SOT 68418 SOS 33514 HAS SOPS 33514 HAS SOUS 22406 HAS SOUPS 22406 WITH SCORE 22439.514
AT ITER 2141 NEW BEST:: SOT 68430 SOS 33397 HAS SOPS 33397 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22326.397
AT ITER 2150 NEW BEST:: SOT 68375 SOS 33343 HAS SOPS 33343 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22272.343
AT ITER 2155 NEW BEST:: SOT 68368 SOS 33336 HAS SOPS 33336 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22265.336
AT ITER 2174 NEW BEST:: SOT 68363 SOS 33326 HAS SOPS 33326 HAS SOUS 22212 HAS SOUPS 22212 WITH SCORE 22245.326
AT ITER 2196 NEW BEST:: SOT 68448 SOS 33019 HAS SOPS 33019 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22170.019
AT ITER 2210 NEW BEST:: SOT 68433 SOS 33060 HAS SOPS 33060 HAS SOUS 22136 HAS SOUPS 22136 WITH SCORE 22169.06
AT ITER 2217 NEW BEST:: SOT 68414 SOS 33050 HAS SOPS 33050 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22162.05
AT ITER 2218 NEW BEST:: SOT 68337 SOS 33027 HAS SOPS 33027 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22094.027
AT ITER 2219 NEW BEST:: SOT 68291 SOS 32965 HAS SOPS 32965 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21973.965
AT ITER 2221 NEW BEST:: SOT 68288 SOS 32952 HAS SOPS 32952 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21959.952
AT ITER 2235 NEW BEST:: SOT 68342 SOS 32501 HAS SOPS 32501 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21925.501
AT ITER 2242 NEW BEST:: SOT 68336 SOS 32489 HAS SOPS 32489 HAS SOUS 21880 HAS SOUPS 21880 WITH SCORE 21912.489
AT ITER 2259 NEW BEST:: SOT 68323 SOS 32463 HAS SOPS 32463 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21904.463
AT ITER 2272 NEW BEST:: SOT 68305 SOS 32414 HAS SOPS 32414 HAS SOUS 21841 HAS SOUPS 21841 WITH SCORE 21873.414
AT ITER 2284 NEW BEST:: SOT 68315 SOS 32414 HAS SOPS 32414 HAS SOUS 21834 HAS SOUPS 21834 WITH SCORE 21866.414
AT ITER 2287 NEW BEST:: SOT 68292 SOS 32366 HAS SOPS 32366 HAS SOUS 21831 HAS SOUPS 21831 WITH SCORE 21863.366
AT ITER 2293 NEW BEST:: SOT 68303 SOS 32334 HAS SOPS 32334 HAS SOUS 21789 HAS SOUPS 21789 WITH SCORE 21821.334
AT ITER 2294 NEW BEST:: SOT 68289 SOS 32320 HAS SOPS 32320 HAS SOUS 21780 HAS SOUPS 21780 WITH SCORE 21812.32
AT ITER 2325 NEW BEST:: SOT 68287 SOS 32337 HAS SOPS 32337 HAS SOUS 21778 HAS SOUPS 21778 WITH SCORE 21810.337
AT ITER 2332 NEW BEST:: SOT 68218 SOS 32285 HAS SOPS 32285 HAS SOUS 21554 HAS SOUPS 21554 WITH SCORE 21586.285
AT ITER 2339 NEW BEST:: SOT 68222 SOS 32271 HAS SOPS 32271 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21579.271
AT ITER 2343 NEW BEST:: SOT 68224 SOS 32262 HAS SOPS 32262 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21570.262
AT ITER 2365 NEW BEST:: SOT 68170 SOS 32101 HAS SOPS 32101 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21500.101
AT ITER 2371 NEW BEST:: SOT 68161 SOS 32119 HAS SOPS 32119 HAS SOUS 21436 HAS SOUPS 21436 WITH SCORE 21468.119
AT ITER 2381 NEW BEST:: SOT 68048 SOS 31926 HAS SOPS 31926 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21357.926
AT ITER 2384 NEW BEST:: SOT 68058 SOS 31936 HAS SOPS 31936 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21337.936
AT ITER 2392 NEW BEST:: SOT 67965 SOS 31735 HAS SOPS 31735 HAS SOUS 21148 HAS SOUPS 21148 WITH SCORE 21179.735
AT ITER 2394 NEW BEST:: SOT 67965 SOS 31734 HAS SOPS 31734 HAS SOUS 21148 HAS SOUPS 21148 WITH SCORE 21179.734
AT ITER 2395 NEW BEST:: SOT 67961 SOS 31857 HAS SOPS 31857 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21165.857
AT ITER 2397 NEW BEST:: SOT 67976 SOS 31701 HAS SOPS 31701 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21148.701
AT ITER 2401 NEW BEST:: SOT 67837 SOS 31310 HAS SOPS 31310 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20942.31
AT ITER 2418 NEW BEST:: SOT 67766 SOS 31210 HAS SOPS 31210 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20858.21
AT ITER 2435 NEW BEST:: SOT 67766 SOS 31166 HAS SOPS 31166 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20858.166
AT ITER 2451 NEW BEST:: SOT 67763 SOS 31157 HAS SOPS 31157 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20846.157
AT ITER 2487 NEW BEST:: SOT 67763 SOS 31183 HAS SOPS 31183 HAS SOUS 20780 HAS SOUPS 20780 WITH SCORE 20811.183
AT ITER 2494 NEW BEST:: SOT 67758 SOS 31178 HAS SOPS 31178 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20809.178
AT ITER 2501 NEW BEST:: SOT 67754 SOS 31178 HAS SOPS 31178 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20805.178
AT ITER 2509 NEW BEST:: SOT 67754 SOS 31175 HAS SOPS 31175 HAS SOUS 20773 HAS SOUPS 20773 WITH SCORE 20804.175
AT ITER 2519 NEW BEST:: SOT 67748 SOS 31139 HAS SOPS 31139 HAS SOUS 20755 HAS SOUPS 20755 WITH SCORE 20786.139
AT ITER 2528 NEW BEST:: SOT 67742 SOS 31101 HAS SOPS 31101 HAS SOUS 20740 HAS SOUPS 20740 WITH SCORE 20771.101
AT ITER 2533 NEW BEST:: SOT 67676 SOS 31002 HAS SOPS 31002 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20646.002
AT ITER 2555 NEW BEST:: SOT 67577 SOS 30086 HAS SOPS 30086 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20543.086
AT ITER 2565 NEW BEST:: SOT 67588 SOS 30138 HAS SOPS 30138 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20428.138
AT ITER 2578 NEW BEST:: SOT 67516 SOS 29942 HAS SOPS 29942 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20324.942
AT ITER 2583 NEW BEST:: SOT 67525 SOS 29945 HAS SOPS 29945 HAS SOUS 20282 HAS SOUPS 20282 WITH SCORE 20311.945
AT ITER 2594 NEW BEST:: SOT 67474 SOS 29952 HAS SOPS 29952 HAS SOUS 20273 HAS SOUPS 20273 WITH SCORE 20302.952
AT ITER 2595 NEW BEST:: SOT 67520 SOS 29817 HAS SOPS 29817 HAS SOUS 20158 HAS SOUPS 20158 WITH SCORE 20187.817
AT ITER 2607 NEW BEST:: SOT 67549 SOS 29873 HAS SOPS 29873 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20178.873
AT ITER 2615 NEW BEST:: SOT 67545 SOS 29820 HAS SOPS 29820 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20160.82
AT ITER 2616 NEW BEST:: SOT 67545 SOS 29750 HAS SOPS 29750 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20140.75
AT ITER 2630 NEW BEST:: SOT 67533 SOS 29728 HAS SOPS 29728 HAS SOUS 20025 HAS SOUPS 20025 WITH SCORE 20054.728
AT ITER 2642 NEW BEST:: SOT 67627 SOS 29812 HAS SOPS 29812 HAS SOUS 20007 HAS SOUPS 20007 WITH SCORE 20036.812
AT ITER 2644 NEW BEST:: SOT 67627 SOS 29719 HAS SOPS 29719 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20035.719
AT ITER 2657 NEW BEST:: SOT 67599 SOS 29635 HAS SOPS 29635 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19971.635
AT ITER 2658 NEW BEST:: SOT 67413 SOS 29449 HAS SOPS 29449 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19785.449
AT ITER 2667 NEW BEST:: SOT 67393 SOS 29421 HAS SOPS 29421 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19761.421
AT ITER 2673 NEW BEST:: SOT 67382 SOS 29410 HAS SOPS 29410 HAS SOUS 19725 HAS SOUPS 19725 WITH SCORE 19754.41
AT ITER 2722 NEW BEST:: SOT 67412 SOS 29442 HAS SOPS 29442 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19750.442
AT ITER 2726 NEW BEST:: SOT 67410 SOS 29369 HAS SOPS 29369 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19748.369
AT ITER 2729 NEW BEST:: SOT 67418 SOS 29391 HAS SOPS 29391 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19734.391
AT ITER 2734 NEW BEST:: SOT 67418 SOS 29406 HAS SOPS 29406 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19731.406
AT ITER 2738 NEW BEST:: SOT 67388 SOS 29373 HAS SOPS 29373 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19709.373
AT ITER 2740 NEW BEST:: SOT 67364 SOS 29357 HAS SOPS 29357 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19707.357
AT ITER 2741 NEW BEST:: SOT 67350 SOS 29343 HAS SOPS 29343 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19707.343
AT ITER 2763 NEW BEST:: SOT 67353 SOS 29342 HAS SOPS 29342 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19703.342
AT ITER 2773 NEW BEST:: SOT 67351 SOS 29340 HAS SOPS 29340 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19703.34
AT ITER 2825 NEW BEST:: SOT 67278 SOS 29255 HAS SOPS 29255 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19618.255
AT ITER 2833 NEW BEST:: SOT 67201 SOS 29180 HAS SOPS 29180 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19562.18
AT ITER 2835 NEW BEST:: SOT 67210 SOS 29189 HAS SOPS 29189 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19539.189
AT ITER 2842 NEW BEST:: SOT 66796 SOS 28377 HAS SOPS 28377 HAS SOUS 18924 HAS SOUPS 18924 WITH SCORE 18952.377
AT ITER 2858 NEW BEST:: SOT 66762 SOS 28228 HAS SOPS 28228 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18856.228
AT ITER 2866 NEW BEST:: SOT 66752 SOS 28118 HAS SOPS 28118 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18828.118
AT ITER 2875 NEW BEST:: SOT 66746 SOS 28091 HAS SOPS 28091 HAS SOUS 18769 HAS SOUPS 18769 WITH SCORE 18797.091
AT ITER 2891 NEW BEST:: SOT 66757 SOS 28080 HAS SOPS 28080 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18742.08
AT ITER 2921 NEW BEST:: SOT 66743 SOS 27992 HAS SOPS 27992 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18695.992
AT ITER 2948 NEW BEST:: SOT 66743 SOS 27989 HAS SOPS 27989 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18692.989
AT ITER 2952 NEW BEST:: SOT 66743 SOS 27994 HAS SOPS 27994 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18691.994
AT ITER 2955 NEW BEST:: SOT 66719 SOS 27910 HAS SOPS 27910 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18647.91
AT ITER 2957 NEW BEST:: SOT 66713 SOS 27879 HAS SOPS 27879 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18622.879
AT ITER 2978 NEW BEST:: SOT 66701 SOS 27731 HAS SOPS 27731 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18598.731
AT ITER 2979 NEW BEST:: SOT 66697 SOS 27707 HAS SOPS 27707 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18578.707
AT ITER 2982 NEW BEST:: SOT 66698 SOS 27706 HAS SOPS 27706 HAS SOUS 18550 HAS SOUPS 18550 WITH SCORE 18577.706
AT ITER 2990 NEW BEST:: SOT 66698 SOS 27698 HAS SOPS 27698 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18575.698
AT ITER 2991 NEW BEST:: SOT 66701 SOS 27667 HAS SOPS 27667 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18561.667
AT ITER 2992 NEW BEST:: SOT 66670 SOS 27636 HAS SOPS 27636 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18530.636
AT ITER 2993 NEW BEST:: SOT 66634 SOS 27408 HAS SOPS 27408 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18387.408
AT ITER 3013 NEW BEST:: SOT 66629 SOS 27390 HAS SOPS 27390 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18377.39
AT ITER 3018 NEW BEST:: SOT 66586 SOS 27302 HAS SOPS 27302 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18375.302
AT ITER 3024 NEW BEST:: SOT 66577 SOS 27301 HAS SOPS 27301 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18369.301
AT ITER 3038 NEW BEST:: SOT 66537 SOS 27277 HAS SOPS 27277 HAS SOUS 18326 HAS SOUPS 18326 WITH SCORE 18353.277
AT ITER 3039 NEW BEST:: SOT 66537 SOS 27279 HAS SOPS 27279 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18346.279
AT ITER 3042 NEW BEST:: SOT 66576 SOS 27468 HAS SOPS 27468 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18334.468
AT ITER 3043 NEW BEST:: SOT 66556 SOS 27330 HAS SOPS 27330 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18247.33
AT ITER 3051 NEW BEST:: SOT 66506 SOS 27250 HAS SOPS 27250 HAS SOUS 18130 HAS SOUPS 18130 WITH SCORE 18157.25
AT ITER 3054 NEW BEST:: SOT 66414 SOS 27158 HAS SOPS 27158 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18065.158
AT ITER 3082 NEW BEST:: SOT 66395 SOS 27162 HAS SOPS 27162 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18056.162
AT ITER 3091 NEW BEST:: SOT 66318 SOS 27071 HAS SOPS 27071 HAS SOUS 17963 HAS SOUPS 17963 WITH SCORE 17990.071
AT ITER 3105 NEW BEST:: SOT 66280 SOS 27099 HAS SOPS 27099 HAS SOUS 17959 HAS SOUPS 17959 WITH SCORE 17986.099
AT ITER 3114 NEW BEST:: SOT 66242 SOS 26989 HAS SOPS 26989 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17920.989
AT ITER 3118 NEW BEST:: SOT 66210 SOS 26844 HAS SOPS 26844 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17856.844
AT ITER 3123 NEW BEST:: SOT 66183 SOS 26829 HAS SOPS 26829 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17839.829
AT ITER 3161 NEW BEST:: SOT 66170 SOS 26819 HAS SOPS 26819 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17819.819
AT ITER 3163 NEW BEST:: SOT 66167 SOS 26803 HAS SOPS 26803 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17803.803
AT ITER 3164 NEW BEST:: SOT 66152 SOS 26791 HAS SOPS 26791 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17798.791
AT ITER 3168 NEW BEST:: SOT 66151 SOS 26787 HAS SOPS 26787 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17796.787
AT ITER 3177 NEW BEST:: SOT 66093 SOS 26692 HAS SOPS 26692 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17654.692
AT ITER 3209 NEW BEST:: SOT 66093 SOS 26698 HAS SOPS 26698 HAS SOUS 17624 HAS SOUPS 17624 WITH SCORE 17650.698
AT ITER 3213 NEW BEST:: SOT 66071 SOS 26692 HAS SOPS 26692 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17586.692
AT ITER 3232 NEW BEST:: SOT 66071 SOS 26668 HAS SOPS 26668 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17586.668
AT ITER 3233 NEW BEST:: SOT 66025 SOS 26676 HAS SOPS 26676 HAS SOUS 17530 HAS SOUPS 17530 WITH SCORE 17556.676
AT ITER 3235 NEW BEST:: SOT 66023 SOS 26663 HAS SOPS 26663 HAS SOUS 17513 HAS SOUPS 17513 WITH SCORE 17539.663
AT ITER 3238 NEW BEST:: SOT 65963 SOS 26600 HAS SOPS 26600 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17476.6
AT ITER 3248 NEW BEST:: SOT 65949 SOS 26572 HAS SOPS 26572 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17454.572
AT ITER 3253 NEW BEST:: SOT 65948 SOS 26571 HAS SOPS 26571 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17451.571
AT ITER 3283 NEW BEST:: SOT 65937 SOS 26509 HAS SOPS 26509 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17410.509
AT ITER 3284 NEW BEST:: SOT 65945 SOS 26481 HAS SOPS 26481 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17409.481
AT ITER 3315 NEW BEST:: SOT 65925 SOS 26461 HAS SOPS 26461 HAS SOUS 17348 HAS SOUPS 17348 WITH SCORE 17374.461
AT ITER 3328 NEW BEST:: SOT 65925 SOS 26429 HAS SOPS 26429 HAS SOUS 17346 HAS SOUPS 17346 WITH SCORE 17372.429
AT ITER 3338 NEW BEST:: SOT 65919 SOS 26423 HAS SOPS 26423 HAS SOUS 17322 HAS SOUPS 17322 WITH SCORE 17348.423
AT ITER 3346 NEW BEST:: SOT 65919 SOS 26414 HAS SOPS 26414 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17339.414
AT ITER 3347 NEW BEST:: SOT 65908 SOS 26403 HAS SOPS 26403 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17317.403
AT ITER 3355 NEW BEST:: SOT 65875 SOS 26403 HAS SOPS 26403 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17310.403
AT ITER 3378 NEW BEST:: SOT 65888 SOS 26476 HAS SOPS 26476 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17308.476
AT ITER 3382 NEW BEST:: SOT 65881 SOS 26469 HAS SOPS 26469 HAS SOUS 17275 HAS SOUPS 17275 WITH SCORE 17301.469
AT ITER 3385 NEW BEST:: SOT 65885 SOS 26467 HAS SOPS 26467 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17286.467
AT ITER 3386 NEW BEST:: SOT 65874 SOS 26446 HAS SOPS 26446 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17265.446
AT ITER 3389 NEW BEST:: SOT 65867 SOS 26443 HAS SOPS 26443 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17262.443
AT ITER 3403 NEW BEST:: SOT 65833 SOS 26397 HAS SOPS 26397 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17216.397
AT ITER 3405 NEW BEST:: SOT 65833 SOS 26227 HAS SOPS 26227 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17148.227
AT ITER 3409 NEW BEST:: SOT 65842 SOS 26229 HAS SOPS 26229 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17143.229
AT ITER 3411 NEW BEST:: SOT 65849 SOS 26204 HAS SOPS 26204 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17122.204
AT ITER 3417 NEW BEST:: SOT 65864 SOS 26162 HAS SOPS 26162 HAS SOUS 17038 HAS SOUPS 17038 WITH SCORE 17064.162
AT ITER 3439 NEW BEST:: SOT 65864 SOS 26141 HAS SOPS 26141 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17053.141
AT ITER 3448 NEW BEST:: SOT 65854 SOS 26109 HAS SOPS 26109 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17003.109
AT ITER 3467 NEW BEST:: SOT 65707 SOS 25893 HAS SOPS 25893 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16769.893
AT ITER 3489 NEW BEST:: SOT 65706 SOS 25869 HAS SOPS 25869 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16762.869
AT ITER 3505 NEW BEST:: SOT 65708 SOS 25867 HAS SOPS 25867 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16762.867
AT ITER 3518 NEW BEST:: SOT 65645 SOS 25694 HAS SOPS 25694 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16673.694
AT ITER 3526 NEW BEST:: SOT 65636 SOS 25697 HAS SOPS 25697 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16669.697
AT ITER 3540 NEW BEST:: SOT 65631 SOS 25663 HAS SOPS 25663 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16641.663
AT ITER 3542 NEW BEST:: SOT 65624 SOS 25672 HAS SOPS 25672 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16638.672
AT ITER 3560 NEW BEST:: SOT 65609 SOS 25657 HAS SOPS 25657 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16633.657
AT ITER 3574 NEW BEST:: SOT 65601 SOS 25657 HAS SOPS 25657 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16629.657
AT ITER 3587 NEW BEST:: SOT 65601 SOS 25513 HAS SOPS 25513 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16573.513
AT ITER 3590 NEW BEST:: SOT 65588 SOS 25524 HAS SOPS 25524 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16524.524
AT ITER 3596 NEW BEST:: SOT 65609 SOS 25461 HAS SOPS 25461 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16514.461
AT ITER 3599 NEW BEST:: SOT 65600 SOS 25452 HAS SOPS 25452 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16506.452
AT ITER 3601 NEW BEST:: SOT 65610 SOS 25480 HAS SOPS 25480 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16441.48
AT ITER 3615 NEW BEST:: SOT 65542 SOS 25298 HAS SOPS 25298 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16359.298
AT ITER 3616 NEW BEST:: SOT 65513 SOS 25267 HAS SOPS 25267 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16351.267
AT ITER 3626 NEW BEST:: SOT 65501 SOS 25279 HAS SOPS 25279 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16345.279
AT ITER 3639 NEW BEST:: SOT 65487 SOS 25266 HAS SOPS 25266 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16312.266
AT ITER 3656 NEW BEST:: SOT 65475 SOS 25215 HAS SOPS 25215 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16271.215
AT ITER 3661 NEW BEST:: SOT 65476 SOS 25219 HAS SOPS 25219 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16264.219
AT ITER 3683 NEW BEST:: SOT 65414 SOS 25157 HAS SOPS 25157 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16258.157
AT ITER 3691 NEW BEST:: SOT 65394 SOS 25132 HAS SOPS 25132 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16233.132
AT ITER 3693 NEW BEST:: SOT 65330 SOS 25068 HAS SOPS 25068 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16140.068
AT ITER 3694 NEW BEST:: SOT 65339 SOS 25086 HAS SOPS 25086 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16138.086
AT ITER 3699 NEW BEST:: SOT 65334 SOS 25056 HAS SOPS 25056 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16125.056
AT ITER 3708 NEW BEST:: SOT 65329 SOS 25051 HAS SOPS 25051 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16114.051
AT ITER 3721 NEW BEST:: SOT 65329 SOS 25046 HAS SOPS 25046 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16114.046
AT ITER 3722 NEW BEST:: SOT 65329 SOS 25091 HAS SOPS 25091 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16105.091
AT ITER 3738 NEW BEST:: SOT 65314 SOS 25016 HAS SOPS 25016 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16077.016
AT ITER 3743 NEW BEST:: SOT 65295 SOS 24977 HAS SOPS 24977 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16055.977
AT ITER 3766 NEW BEST:: SOT 65291 SOS 24969 HAS SOPS 24969 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16041.969
AT ITER 3770 NEW BEST:: SOT 65291 SOS 24955 HAS SOPS 24955 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 16000.955
AT ITER 3774 NEW BEST:: SOT 65277 SOS 24941 HAS SOPS 24941 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15979.941
AT ITER 3780 NEW BEST:: SOT 65221 SOS 24863 HAS SOPS 24863 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15912.863
AT ITER 3793 NEW BEST:: SOT 65241 SOS 24855 HAS SOPS 24855 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15906.855
AT ITER 3847 NEW BEST:: SOT 65279 SOS 24724 HAS SOPS 24724 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15870.724
AT ITER 3872 NEW BEST:: SOT 65278 SOS 24716 HAS SOPS 24716 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15866.716
AT ITER 3880 NEW BEST:: SOT 65278 SOS 24668 HAS SOPS 24668 HAS SOUS 15823 HAS SOUPS 15823 WITH SCORE 15847.668
AT ITER 3890 NEW BEST:: SOT 65258 SOS 24658 HAS SOPS 24658 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15814.658
AT ITER 3901 NEW BEST:: SOT 65163 SOS 24533 HAS SOPS 24533 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15643.533
AT ITER 3911 NEW BEST:: SOT 65143 SOS 24494 HAS SOPS 24494 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15596.494
AT ITER 3912 NEW BEST:: SOT 65141 SOS 24492 HAS SOPS 24492 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15594.492
AT ITER 3917 NEW BEST:: SOT 65141 SOS 24467 HAS SOPS 24467 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15529.467
AT ITER 3928 NEW BEST:: SOT 65112 SOS 24438 HAS SOPS 24438 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15493.438
AT ITER 3948 NEW BEST:: SOT 65122 SOS 24390 HAS SOPS 24390 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15491.39
AT ITER 3961 NEW BEST:: SOT 65093 SOS 24288 HAS SOPS 24288 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15446.288
AT ITER 3965 NEW BEST:: SOT 65090 SOS 24276 HAS SOPS 24276 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15421.276
AT ITER 3971 NEW BEST:: SOT 65089 SOS 24275 HAS SOPS 24275 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15420.275
AT ITER 3977 NEW BEST:: SOT 65079 SOS 24265 HAS SOPS 24265 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15408.265
AT ITER 3989 NEW BEST:: SOT 65061 SOS 24217 HAS SOPS 24217 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15377.217
AT ITER 4027 NEW BEST:: SOT 65037 SOS 24205 HAS SOPS 24205 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15365.205
AT ITER 4033 NEW BEST:: SOT 65001 SOS 24137 HAS SOPS 24137 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15269.137
AT ITER 4087 NEW BEST:: SOT 64878 SOS 24014 HAS SOPS 24014 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15147.014
AT ITER 4117 NEW BEST:: SOT 64877 SOS 24012 HAS SOPS 24012 HAS SOUS 15121 HAS SOUPS 15121 WITH SCORE 15145.012
AT ITER 4124 NEW BEST:: SOT 64855 SOS 23785 HAS SOPS 23785 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15088.785
AT ITER 4127 NEW BEST:: SOT 64852 SOS 23782 HAS SOPS 23782 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15085.782
AT ITER 4129 NEW BEST:: SOT 64804 SOS 23722 HAS SOPS 23722 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15025.722
AT ITER 4141 NEW BEST:: SOT 64804 SOS 23754 HAS SOPS 23754 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15021.754
AT ITER 4152 NEW BEST:: SOT 64797 SOS 23734 HAS SOPS 23734 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15013.734
AT ITER 4159 NEW BEST:: SOT 64775 SOS 23697 HAS SOPS 23697 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14964.697
AT ITER 4209 NEW BEST:: SOT 64774 SOS 23701 HAS SOPS 23701 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14963.701
AT ITER 4211 NEW BEST:: SOT 64799 SOS 23716 HAS SOPS 23716 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14958.716
AT ITER 4273 NEW BEST:: SOT 64747 SOS 23664 HAS SOPS 23664 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14906.664
AT ITER 4295 NEW BEST:: SOT 64747 SOS 23664 HAS SOPS 23664 HAS SOUS 14861 HAS SOUPS 14861 WITH SCORE 14884.664
AT ITER 4298 NEW BEST:: SOT 64747 SOS 23565 HAS SOPS 23565 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14850.565
AT ITER 4319 NEW BEST:: SOT 64674 SOS 23492 HAS SOPS 23492 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14771.492
AT ITER 4352 NEW BEST:: SOT 64670 SOS 23400 HAS SOPS 23400 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14712.4
AT ITER 4355 NEW BEST:: SOT 64662 SOS 23384 HAS SOPS 23384 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14702.384
AT ITER 4361 NEW BEST:: SOT 64659 SOS 23381 HAS SOPS 23381 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14700.381
AT ITER 4365 NEW BEST:: SOT 64652 SOS 23357 HAS SOPS 23357 HAS SOUS 14673 HAS SOUPS 14673 WITH SCORE 14696.357
AT ITER 4377 NEW BEST:: SOT 64658 SOS 23363 HAS SOPS 23363 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14692.363
AT ITER 4417 NEW BEST:: SOT 64652 SOS 23357 HAS SOPS 23357 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14602.357
AT ITER 4418 NEW BEST:: SOT 64651 SOS 23352 HAS SOPS 23352 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14602.352
AT ITER 4477 NEW BEST:: SOT 64637 SOS 23344 HAS SOPS 23344 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14587.344
AT ITER 4483 NEW BEST:: SOT 64636 SOS 23343 HAS SOPS 23343 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14586.343
AT ITER 4618 NEW BEST:: SOT 64637 SOS 23343 HAS SOPS 23343 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14585.343
AT ITER 4643 NEW BEST:: SOT 64603 SOS 23273 HAS SOPS 23273 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14416.273
AT ITER 4648 NEW BEST:: SOT 64541 SOS 23219 HAS SOPS 23219 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14318.219
AT ITER 4653 NEW BEST:: SOT 64541 SOS 23214 HAS SOPS 23214 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14313.214
AT ITER 4685 NEW BEST:: SOT 64588 SOS 23243 HAS SOPS 23243 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14287.243
AT ITER 4695 NEW BEST:: SOT 64491 SOS 23022 HAS SOPS 23022 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14184.022
AT ITER 4722 NEW BEST:: SOT 64491 SOS 22986 HAS SOPS 22986 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14169.986
AT ITER 4728 NEW BEST:: SOT 64494 SOS 23012 HAS SOPS 23012 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14165.012
AT ITER 4749 NEW BEST:: SOT 64494 SOS 23012 HAS SOPS 23012 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14163.012
AT ITER 4817 NEW BEST:: SOT 64464 SOS 22982 HAS SOPS 22982 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14132.982
AT ITER 4843 NEW BEST:: SOT 64451 SOS 22929 HAS SOPS 22929 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14122.929
AT ITER 4870 NEW BEST:: SOT 64405 SOS 22883 HAS SOPS 22883 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14101.883
AT ITER 4897 NEW BEST:: SOT 64405 SOS 22917 HAS SOPS 22917 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14051.917
AT ITER 4905 NEW BEST:: SOT 64405 SOS 22886 HAS SOPS 22886 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14032.886
AT ITER 4920 NEW BEST:: SOT 64387 SOS 22874 HAS SOPS 22874 HAS SOUS 13992 HAS SOUPS 13992 WITH SCORE 14014.874
AT ITER 4925 NEW BEST:: SOT 64420 SOS 22878 HAS SOPS 22878 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13981.878
AT ITER 4943 NEW BEST:: SOT 64400 SOS 22858 HAS SOPS 22858 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13966.858
AT ITER 4963 NEW BEST:: SOT 64400 SOS 22880 HAS SOPS 22880 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13949.88
AT ITER 4991 NEW BEST:: SOT 64400 SOS 22898 HAS SOPS 22898 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13941.898
AT ITER 4997 NEW BEST:: SOT 64400 SOS 22983 HAS SOPS 22983 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13934.983
AT ITER 5015 NEW BEST:: SOT 64393 SOS 22984 HAS SOPS 22984 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13933.984
AT ITER 5044 NEW BEST:: SOT 64364 SOS 22943 HAS SOPS 22943 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13892.943
AT ITER 5070 NEW BEST:: SOT 64359 SOS 22933 HAS SOPS 22933 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13887.933
AT ITER 5082 NEW BEST:: SOT 64353 SOS 22925 HAS SOPS 22925 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13879.925
AT ITER 5089 NEW BEST:: SOT 64347 SOS 22925 HAS SOPS 22925 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13876.925
AT ITER 5115 NEW BEST:: SOT 64344 SOS 22931 HAS SOPS 22931 HAS SOUS 13848 HAS SOUPS 13848 WITH SCORE 13870.931
AT ITER 5117 NEW BEST:: SOT 64341 SOS 22928 HAS SOPS 22928 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13858.928
AT ITER 5125 NEW BEST:: SOT 64341 SOS 22928 HAS SOPS 22928 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13844.928
AT ITER 5159 NEW BEST:: SOT 64341 SOS 22918 HAS SOPS 22918 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13842.918
AT ITER 5166 NEW BEST:: SOT 64326 SOS 22888 HAS SOPS 22888 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13805.888
AT ITER 5236 NEW BEST:: SOT 64311 SOS 22858 HAS SOPS 22858 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13775.858
AT ITER 5279 NEW BEST:: SOT 64308 SOS 22859 HAS SOPS 22859 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13771.859
AT ITER 5287 NEW BEST:: SOT 64307 SOS 22876 HAS SOPS 22876 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13762.876
AT ITER 5296 NEW BEST:: SOT 64298 SOS 22688 HAS SOPS 22688 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13744.688
AT ITER 5297 NEW BEST:: SOT 64302 SOS 22666 HAS SOPS 22666 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13726.666
AT ITER 5301 NEW BEST:: SOT 64276 SOS 22628 HAS SOPS 22628 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13688.628
AT ITER 5334 NEW BEST:: SOT 64277 SOS 22593 HAS SOPS 22593 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13619.593
AT ITER 5360 NEW BEST:: SOT 64261 SOS 22561 HAS SOPS 22561 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13523.561
AT ITER 5389 NEW BEST:: SOT 64249 SOS 22549 HAS SOPS 22549 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13507.549
AT ITER 5398 NEW BEST:: SOT 64248 SOS 22540 HAS SOPS 22540 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13503.54
AT ITER 5433 NEW BEST:: SOT 64245 SOS 22533 HAS SOPS 22533 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13496.533
AT ITER 5450 NEW BEST:: SOT 64219 SOS 22511 HAS SOPS 22511 HAS SOUS 13448 HAS SOUPS 13448 WITH SCORE 13470.511
AT ITER 5466 NEW BEST:: SOT 64209 SOS 22501 HAS SOPS 22501 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13460.501
AT ITER 5480 NEW BEST:: SOT 64208 SOS 22497 HAS SOPS 22497 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13453.497
AT ITER 5499 NEW BEST:: SOT 64208 SOS 22491 HAS SOPS 22491 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13447.491
AT ITER 5512 NEW BEST:: SOT 64208 SOS 22479 HAS SOPS 22479 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13447.479
AT ITER 5517 NEW BEST:: SOT 64208 SOS 22480 HAS SOPS 22480 HAS SOUS 13424 HAS SOUPS 13424 WITH SCORE 13446.48
AT ITER 5550 NEW BEST:: SOT 64165 SOS 22437 HAS SOPS 22437 HAS SOUS 13397 HAS SOUPS 13397 WITH SCORE 13419.437
AT ITER 5552 NEW BEST:: SOT 64158 SOS 22532 HAS SOPS 22532 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13404.532
AT ITER 5569 NEW BEST:: SOT 64137 SOS 22511 HAS SOPS 22511 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13383.511
AT ITER 5606 NEW BEST:: SOT 64154 SOS 22514 HAS SOPS 22514 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13376.514
AT ITER 5610 NEW BEST:: SOT 64153 SOS 22509 HAS SOPS 22509 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13375.509
AT ITER 5647 NEW BEST:: SOT 64136 SOS 22492 HAS SOPS 22492 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13358.492
AT ITER 5681 NEW BEST:: SOT 64113 SOS 22469 HAS SOPS 22469 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13335.469
AT ITER 5702 NEW BEST:: SOT 64053 SOS 22279 HAS SOPS 22279 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13249.279
AT ITER 5715 NEW BEST:: SOT 64053 SOS 22273 HAS SOPS 22273 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13243.273
AT ITER 5722 NEW BEST:: SOT 64021 SOS 22265 HAS SOPS 22265 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13207.265
AT ITER 5770 NEW BEST:: SOT 64021 SOS 22181 HAS SOPS 22181 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13202.181
AT ITER 5794 NEW BEST:: SOT 64009 SOS 22169 HAS SOPS 22169 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13190.169
AT ITER 5836 NEW BEST:: SOT 63993 SOS 22149 HAS SOPS 22149 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13158.149
AT ITER 5850 NEW BEST:: SOT 63993 SOS 22173 HAS SOPS 22173 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13157.173
AT ITER 5914 NEW BEST:: SOT 63993 SOS 22171 HAS SOPS 22171 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13155.171
AT ITER 5918 NEW BEST:: SOT 63989 SOS 22147 HAS SOPS 22147 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13143.147
AT ITER 5919 NEW BEST:: SOT 63992 SOS 22153 HAS SOPS 22153 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13141.153
AT ITER 5969 NEW BEST:: SOT 63992 SOS 22153 HAS SOPS 22153 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13117.153
AT ITER 6005 NEW BEST:: SOT 63991 SOS 22146 HAS SOPS 22146 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13111.146
AT ITER 6028 NEW BEST:: SOT 63936 SOS 22171 HAS SOPS 22171 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13107.171
AT ITER 6065 NEW BEST:: SOT 63918 SOS 22061 HAS SOPS 22061 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 13008.061
AT ITER 6068 NEW BEST:: SOT 63899 SOS 21959 HAS SOPS 21959 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12995.959
AT ITER 6109 NEW BEST:: SOT 63883 SOS 21991 HAS SOPS 21991 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12965.991
AT ITER 6136 NEW BEST:: SOT 63883 SOS 21968 HAS SOPS 21968 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12942.968
AT ITER 6209 NEW BEST:: SOT 63880 SOS 21955 HAS SOPS 21955 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12935.955
AT ITER 6210 NEW BEST:: SOT 63861 SOS 21870 HAS SOPS 21870 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12890.87
AT ITER 6229 NEW BEST:: SOT 63867 SOS 21852 HAS SOPS 21852 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12854.852
AT ITER 6234 NEW BEST:: SOT 63869 SOS 21844 HAS SOPS 21844 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12848.844
AT ITER 6237 NEW BEST:: SOT 63869 SOS 21829 HAS SOPS 21829 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12848.829
AT ITER 6256 NEW BEST:: SOT 63859 SOS 21785 HAS SOPS 21785 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12836.785
AT ITER 6295 NEW BEST:: SOT 63859 SOS 21785 HAS SOPS 21785 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12823.785
AT ITER 6323 NEW BEST:: SOT 63859 SOS 21779 HAS SOPS 21779 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12820.779
AT ITER 6335 NEW BEST:: SOT 63849 SOS 21805 HAS SOPS 21805 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12819.805
AT ITER 6347 NEW BEST:: SOT 63844 SOS 21798 HAS SOPS 21798 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12809.798
AT ITER 6357 NEW BEST:: SOT 63839 SOS 21794 HAS SOPS 21794 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12803.794
AT ITER 6369 NEW BEST:: SOT 63835 SOS 21790 HAS SOPS 21790 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12799.79
AT ITER 6415 NEW BEST:: SOT 63825 SOS 21780 HAS SOPS 21780 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12775.78
AT ITER 6440 NEW BEST:: SOT 63822 SOS 21700 HAS SOPS 21700 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12774.7
AT ITER 6476 NEW BEST:: SOT 63795 SOS 21694 HAS SOPS 21694 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12755.694
AT ITER 6543 NEW BEST:: SOT 63738 SOS 21321 HAS SOPS 21321 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12716.321
AT ITER 6583 NEW BEST:: SOT 63729 SOS 21303 HAS SOPS 21303 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12682.303
AT ITER 6631 NEW BEST:: SOT 63729 SOS 21293 HAS SOPS 21293 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12674.293
AT ITER 6655 NEW BEST:: SOT 63691 SOS 21249 HAS SOPS 21249 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12630.249
AT ITER 6755 NEW BEST:: SOT 63699 SOS 21205 HAS SOPS 21205 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12606.205
AT ITER 6771 NEW BEST:: SOT 63699 SOS 21210 HAS SOPS 21210 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12596.21
AT ITER 6810 NEW BEST:: SOT 63699 SOS 21162 HAS SOPS 21162 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12578.162
AT ITER 6859 NEW BEST:: SOT 63711 SOS 21171 HAS SOPS 21171 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12577.171
AT ITER 6888 NEW BEST:: SOT 63711 SOS 21171 HAS SOPS 21171 HAS SOUS 12553 HAS SOUPS 12553 WITH SCORE 12574.171
AT ITER 6905 NEW BEST:: SOT 63707 SOS 21147 HAS SOPS 21147 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12566.147
AT ITER 6908 NEW BEST:: SOT 63701 SOS 21139 HAS SOPS 21139 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12552.139
AT ITER 6913 NEW BEST:: SOT 63682 SOS 21120 HAS SOPS 21120 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12533.12
AT ITER 6937 NEW BEST:: SOT 63683 SOS 21110 HAS SOPS 21110 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12533.11
AT ITER 6948 NEW BEST:: SOT 63665 SOS 21046 HAS SOPS 21046 HAS SOUS 12484 HAS SOUPS 12484 WITH SCORE 12505.046
AT ITER 7039 NEW BEST:: SOT 63690 SOS 21036 HAS SOPS 21036 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12499.036
AT ITER 7072 NEW BEST:: SOT 63662 SOS 20976 HAS SOPS 20976 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12480.976
AT ITER 7092 NEW BEST:: SOT 63661 SOS 20974 HAS SOPS 20974 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12475.974
AT ITER 7100 NEW BEST:: SOT 63658 SOS 20971 HAS SOPS 20971 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12466.971
AT ITER 7108 NEW BEST:: SOT 63658 SOS 20944 HAS SOPS 20944 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12466.944
AT ITER 7119 NEW BEST:: SOT 63658 SOS 20932 HAS SOPS 20932 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12445.932
AT ITER 7133 NEW BEST:: SOT 63647 SOS 20921 HAS SOPS 20921 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12445.921
AT ITER 7283 NEW BEST:: SOT 63609 SOS 20899 HAS SOPS 20899 HAS SOUS 12407 HAS SOUPS 12407 WITH SCORE 12427.899
AT ITER 7289 NEW BEST:: SOT 63598 SOS 20895 HAS SOPS 20895 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12419.895
AT ITER 7292 NEW BEST:: SOT 63593 SOS 20935 HAS SOPS 20935 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12391.935
AT ITER 7337 NEW BEST:: SOT 63593 SOS 21040 HAS SOPS 21040 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12387.04
AT ITER 7348 NEW BEST:: SOT 63589 SOS 21034 HAS SOPS 21034 HAS SOUS 12358 HAS SOUPS 12358 WITH SCORE 12379.034
AT ITER 7377 NEW BEST:: SOT 63589 SOS 21034 HAS SOPS 21034 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12372.034
AT ITER 7385 NEW BEST:: SOT 63546 SOS 20954 HAS SOPS 20954 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12358.954
AT ITER 7424 NEW BEST:: SOT 63546 SOS 21079 HAS SOPS 21079 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12329.079
AT ITER 7447 NEW BEST:: SOT 63546 SOS 21077 HAS SOPS 21077 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12329.077
AT ITER 7470 NEW BEST:: SOT 63544 SOS 21075 HAS SOPS 21075 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12327.075
AT ITER 7493 NEW BEST:: SOT 63541 SOS 21063 HAS SOPS 21063 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12317.063
AT ITER 7591 NEW BEST:: SOT 63535 SOS 21057 HAS SOPS 21057 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12311.057
AT ITER 7615 NEW BEST:: SOT 63528 SOS 21051 HAS SOPS 21051 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12304.051
AT ITER 7630 NEW BEST:: SOT 63498 SOS 21011 HAS SOPS 21011 HAS SOUS 12213 HAS SOUPS 12213 WITH SCORE 12234.011
AT ITER 7635 NEW BEST:: SOT 63493 SOS 21001 HAS SOPS 21001 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12224.001
AT ITER 7643 NEW BEST:: SOT 63500 SOS 20995 HAS SOPS 20995 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12205.995
AT ITER 7678 NEW BEST:: SOT 63504 SOS 20934 HAS SOPS 20934 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12204.934
AT ITER 7771 NEW BEST:: SOT 63480 SOS 20910 HAS SOPS 20910 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12180.91
AT ITER 7785 NEW BEST:: SOT 63470 SOS 20900 HAS SOPS 20900 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12170.9
AT ITER 7798 NEW BEST:: SOT 63448 SOS 20866 HAS SOPS 20866 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12141.866
AT ITER 7837 NEW BEST:: SOT 63446 SOS 20864 HAS SOPS 20864 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12139.864
AT ITER 7857 NEW BEST:: SOT 63448 SOS 20866 HAS SOPS 20866 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12138.866
AT ITER 7862 NEW BEST:: SOT 63444 SOS 20862 HAS SOPS 20862 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12108.862
AT ITER 7898 NEW BEST:: SOT 63456 SOS 20864 HAS SOPS 20864 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12087.864
AT ITER 7922 NEW BEST:: SOT 63450 SOS 20858 HAS SOPS 20858 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12081.858
AT ITER 7963 NEW BEST:: SOT 63440 SOS 20852 HAS SOPS 20852 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12075.852
AT ITER 7969 NEW BEST:: SOT 63417 SOS 20839 HAS SOPS 20839 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12065.839
AT ITER 7981 NEW BEST:: SOT 63420 SOS 20839 HAS SOPS 20839 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12062.839
AT ITER 8028 NEW BEST:: SOT 63420 SOS 20837 HAS SOPS 20837 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12061.837
AT ITER 8101 NEW BEST:: SOT 63412 SOS 20813 HAS SOPS 20813 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12049.813
AT ITER 8104 NEW BEST:: SOT 63408 SOS 20809 HAS SOPS 20809 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12046.809
AT ITER 8210 NEW BEST:: SOT 63389 SOS 20780 HAS SOPS 20780 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12010.78
AT ITER 8315 NEW BEST:: SOT 63389 SOS 20779 HAS SOPS 20779 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12009.779
AT ITER 8357 NEW BEST:: SOT 63386 SOS 20776 HAS SOPS 20776 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 12006.776
AT ITER 8502 NEW BEST:: SOT 63377 SOS 20722 HAS SOPS 20722 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 12006.722
AT ITER 8515 NEW BEST:: SOT 63380 SOS 20718 HAS SOPS 20718 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12004.718
AT ITER 8519 NEW BEST:: SOT 63381 SOS 20715 HAS SOPS 20715 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12004.715
AT ITER 8547 NEW BEST:: SOT 63381 SOS 20724 HAS SOPS 20724 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 12003.724
AT ITER 8658 NEW BEST:: SOT 63360 SOS 20709 HAS SOPS 20709 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11988.709
AT ITER 8676 NEW BEST:: SOT 63360 SOS 20708 HAS SOPS 20708 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11958.708
AT ITER 8714 NEW BEST:: SOT 63352 SOS 20700 HAS SOPS 20700 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11948.7
AT ITER 8793 NEW BEST:: SOT 63344 SOS 20702 HAS SOPS 20702 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11945.702
AT ITER 8809 NEW BEST:: SOT 63319 SOS 20681 HAS SOPS 20681 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11924.681
AT ITER 8937 NEW BEST:: SOT 63317 SOS 20677 HAS SOPS 20677 HAS SOUS 11899 HAS SOUPS 11899 WITH SCORE 11919.677
AT ITER 8945 NEW BEST:: SOT 63317 SOS 20690 HAS SOPS 20690 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11899.69
AT ITER 8977 NEW BEST:: SOT 63322 SOS 20689 HAS SOPS 20689 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11897.689
AT ITER 9032 NEW BEST:: SOT 63326 SOS 20693 HAS SOPS 20693 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11892.693
AT ITER 9100 NEW BEST:: SOT 63326 SOS 20695 HAS SOPS 20695 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11890.695
AT ITER 9103 NEW BEST:: SOT 63314 SOS 20631 HAS SOPS 20631 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11876.631
AT ITER 9168 NEW BEST:: SOT 63309 SOS 20620 HAS SOPS 20620 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11869.62
AT ITER 9190 NEW BEST:: SOT 63307 SOS 20618 HAS SOPS 20618 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11867.618
AT ITER 9225 NEW BEST:: SOT 63304 SOS 20615 HAS SOPS 20615 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11860.615
AT ITER 9298 NEW BEST:: SOT 63293 SOS 20598 HAS SOPS 20598 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11845.598
AT ITER 9359 NEW BEST:: SOT 63293 SOS 20498 HAS SOPS 20498 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11820.498
AT ITER 9360 NEW BEST:: SOT 63284 SOS 20501 HAS SOPS 20501 HAS SOUS 11795 HAS SOUPS 11795 WITH SCORE 11815.501
AT ITER 9371 NEW BEST:: SOT 63249 SOS 20466 HAS SOPS 20466 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11770.466
AT ITER 9458 NEW BEST:: SOT 63248 SOS 20465 HAS SOPS 20465 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11769.465
AT ITER 9465 NEW BEST:: SOT 63248 SOS 20465 HAS SOPS 20465 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11754.465
AT ITER 9470 NEW BEST:: SOT 63239 SOS 20462 HAS SOPS 20462 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11745.462
AT ITER 9495 NEW BEST:: SOT 63237 SOS 20459 HAS SOPS 20459 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11740.459
AT ITER 9538 NEW BEST:: SOT 63224 SOS 20433 HAS SOPS 20433 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11718.433
AT ITER 9573 NEW BEST:: SOT 63224 SOS 20424 HAS SOPS 20424 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11717.424
AT ITER 9608 NEW BEST:: SOT 63165 SOS 20190 HAS SOPS 20190 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11635.19
AT ITER 9630 NEW BEST:: SOT 63162 SOS 20188 HAS SOPS 20188 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11634.188
AT ITER 9652 NEW BEST:: SOT 63155 SOS 20181 HAS SOPS 20181 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11599.181
AT ITER 9657 NEW BEST:: SOT 63153 SOS 20174 HAS SOPS 20174 HAS SOUS 11577 HAS SOUPS 11577 WITH SCORE 11597.174
AT ITER 9660 NEW BEST:: SOT 63129 SOS 20048 HAS SOPS 20048 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11556.048
AT ITER 9690 NEW BEST:: SOT 63097 SOS 20025 HAS SOPS 20025 HAS SOUS 11533 HAS SOUPS 11533 WITH SCORE 11553.025
AT ITER 9732 NEW BEST:: SOT 63081 SOS 20007 HAS SOPS 20007 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11534.007
AT ITER 9928 NEW BEST:: SOT 63075 SOS 20001 HAS SOPS 20001 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11516.001
AT ITER 9951 NEW BEST:: SOT 63069 SOS 19970 HAS SOPS 19970 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11501.97

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-020A"
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 ShieldRVs-PT-020A, 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 r207-tajo-159033470100848"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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