Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354500248.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 PhilosophersDyn-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354500248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 98K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 373K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 115K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 421K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 39K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 248K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 912K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.8K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 2.5M Apr 27 15:14 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 1589642467023

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

Filename model.pnml
Petri model created: 170 places, 2310 transitions, 18190 arcs.
AT ITER 0 NEW BEST:: SOT 280768 SOS 249675 HAS SOPS 238517 HAS SOUS 150403 HAS SOUPS 149165 WITH SCORE 149414.675
AT ITER 12 NEW BEST:: SOT 280550 SOS 249457 HAS SOPS 238299 HAS SOUS 149758 HAS SOUPS 148520 WITH SCORE 148769.457
AT ITER 15 NEW BEST:: SOT 280534 SOS 249441 HAS SOPS 238283 HAS SOUS 149740 HAS SOUPS 148502 WITH SCORE 148751.441
AT ITER 21 NEW BEST:: SOT 280534 SOS 247512 HAS SOPS 238091 HAS SOUS 149105 HAS SOUPS 148011 WITH SCORE 148258.512
AT ITER 26 NEW BEST:: SOT 280482 SOS 247481 HAS SOPS 238051 HAS SOUS 149075 HAS SOUPS 147971 WITH SCORE 148218.481
AT ITER 32 NEW BEST:: SOT 281887 SOS 247096 HAS SOPS 237599 HAS SOUS 144151 HAS SOUPS 142776 WITH SCORE 143023.096
AT ITER 37 NEW BEST:: SOT 282182 SOS 242638 HAS SOPS 228516 HAS SOUS 146047 HAS SOUPS 142174 WITH SCORE 142416.638
AT ITER 51 NEW BEST:: SOT 282145 SOS 242601 HAS SOPS 228479 HAS SOUS 145987 HAS SOUPS 142114 WITH SCORE 142356.601
AT ITER 53 NEW BEST:: SOT 281274 SOS 241836 HAS SOPS 227726 HAS SOUS 144928 HAS SOUPS 141056 WITH SCORE 141297.836
AT ITER 56 NEW BEST:: SOT 281274 SOS 241784 HAS SOPS 226939 HAS SOUS 144637 HAS SOUPS 140765 WITH SCORE 141006.784
AT ITER 66 NEW BEST:: SOT 281268 SOS 241778 HAS SOPS 226933 HAS SOUS 144631 HAS SOUPS 140759 WITH SCORE 141000.778
AT ITER 71 NEW BEST:: SOT 281250 SOS 239686 HAS SOPS 225710 HAS SOUS 142873 HAS SOUPS 139275 WITH SCORE 139514.686
AT ITER 77 NEW BEST:: SOT 281250 SOS 238124 HAS SOPS 226496 HAS SOUS 142167 HAS SOUPS 138716 WITH SCORE 138954.124
AT ITER 79 NEW BEST:: SOT 281290 SOS 238159 HAS SOPS 226526 HAS SOUS 142043 HAS SOUPS 138587 WITH SCORE 138825.159
AT ITER 85 NEW BEST:: SOT 281268 SOS 238137 HAS SOPS 226504 HAS SOUS 142021 HAS SOUPS 138565 WITH SCORE 138803.137
AT ITER 87 NEW BEST:: SOT 281236 SOS 238103 HAS SOPS 226468 HAS SOUS 141969 HAS SOUPS 138511 WITH SCORE 138749.103
AT ITER 89 NEW BEST:: SOT 281143 SOS 238010 HAS SOPS 226366 HAS SOUS 141876 HAS SOUPS 138409 WITH SCORE 138647.01
AT ITER 111 NEW BEST:: SOT 280404 SOS 237241 HAS SOPS 225661 HAS SOUS 141280 HAS SOUPS 137878 WITH SCORE 138115.241
AT ITER 112 NEW BEST:: SOT 281627 SOS 235768 HAS SOPS 225513 HAS SOUS 139977 HAS SOUPS 136874 WITH SCORE 137109.768
AT ITER 114 NEW BEST:: SOT 281237 SOS 235413 HAS SOPS 225193 HAS SOUS 139298 HAS SOUPS 136235 WITH SCORE 136470.413
AT ITER 124 NEW BEST:: SOT 281204 SOS 235374 HAS SOPS 225184 HAS SOUS 139220 HAS SOUPS 136191 WITH SCORE 136426.374
AT ITER 128 NEW BEST:: SOT 280669 SOS 234839 HAS SOPS 224649 HAS SOUS 138542 HAS SOUPS 135513 WITH SCORE 135747.839
AT ITER 136 NEW BEST:: SOT 280671 SOS 234649 HAS SOPS 224531 HAS SOUS 138071 HAS SOUPS 135097 WITH SCORE 135331.649
AT ITER 140 NEW BEST:: SOT 280675 SOS 233490 HAS SOPS 224892 HAS SOUS 135186 HAS SOUPS 132500 WITH SCORE 132733.49
AT ITER 143 NEW BEST:: SOT 278739 SOS 231392 HAS SOPS 222886 HAS SOUS 133207 HAS SOUPS 130613 WITH SCORE 130844.392
AT ITER 147 NEW BEST:: SOT 278655 SOS 231308 HAS SOPS 222794 HAS SOUS 133123 HAS SOUPS 130521 WITH SCORE 130752.308
AT ITER 150 NEW BEST:: SOT 276430 SOS 229007 HAS SOPS 220553 HAS SOUS 130945 HAS SOUPS 128395 WITH SCORE 128624.007
AT ITER 151 NEW BEST:: SOT 276284 SOS 228854 HAS SOPS 220463 HAS SOUS 130840 HAS SOUPS 128359 WITH SCORE 128587.854
AT ITER 155 NEW BEST:: SOT 276038 SOS 228592 HAS SOPS 220217 HAS SOUS 130795 HAS SOUPS 128330 WITH SCORE 128558.592
AT ITER 156 NEW BEST:: SOT 273987 SOS 227308 HAS SOPS 219099 HAS SOUS 130699 HAS SOUPS 128260 WITH SCORE 128487.308
AT ITER 158 NEW BEST:: SOT 273870 SOS 227225 HAS SOPS 219050 HAS SOUS 130453 HAS SOUPS 128048 WITH SCORE 128275.225
AT ITER 161 NEW BEST:: SOT 273870 SOS 228956 HAS SOPS 221042 HAS SOUS 130133 HAS SOUPS 127764 WITH SCORE 127992.956
AT ITER 163 NEW BEST:: SOT 273852 SOS 228873 HAS SOPS 220942 HAS SOUS 129580 HAS SOUPS 127180 WITH SCORE 127408.873
AT ITER 173 NEW BEST:: SOT 273852 SOS 228210 HAS SOPS 221109 HAS SOUS 129352 HAS SOUPS 126984 WITH SCORE 127212.21
AT ITER 175 NEW BEST:: SOT 273720 SOS 228060 HAS SOPS 220959 HAS SOUS 129322 HAS SOUPS 126954 WITH SCORE 127182.06
AT ITER 190 NEW BEST:: SOT 274415 SOS 226695 HAS SOPS 221352 HAS SOUS 128461 HAS SOUPS 126255 WITH SCORE 126481.695
AT ITER 193 NEW BEST:: SOT 272647 SOS 224869 HAS SOPS 219582 HAS SOUS 126311 HAS SOUPS 124161 WITH SCORE 124385.869
AT ITER 194 NEW BEST:: SOT 272647 SOS 224220 HAS SOPS 218798 HAS SOUS 126248 HAS SOUPS 124095 WITH SCORE 124319.22
AT ITER 207 NEW BEST:: SOT 272593 SOS 224088 HAS SOPS 218692 HAS SOUS 126119 HAS SOUPS 123979 WITH SCORE 124203.088
AT ITER 213 NEW BEST:: SOT 272450 SOS 223925 HAS SOPS 218513 HAS SOUS 125924 HAS SOUPS 123768 WITH SCORE 123991.925
AT ITER 219 NEW BEST:: SOT 272151 SOS 223468 HAS SOPS 217739 HAS SOUS 125335 HAS SOUPS 123275 WITH SCORE 123498.468
AT ITER 220 NEW BEST:: SOT 272107 SOS 223424 HAS SOPS 217695 HAS SOUS 125282 HAS SOUPS 123229 WITH SCORE 123452.424
AT ITER 224 NEW BEST:: SOT 272049 SOS 222110 HAS SOPS 216963 HAS SOUS 123284 HAS SOUPS 121346 WITH SCORE 121568.11
AT ITER 227 NEW BEST:: SOT 271979 SOS 222040 HAS SOPS 216893 HAS SOUS 123145 HAS SOUPS 121207 WITH SCORE 121429.04
AT ITER 233 NEW BEST:: SOT 270579 SOS 220645 HAS SOPS 215498 HAS SOUS 121790 HAS SOUPS 119852 WITH SCORE 120072.645
AT ITER 236 NEW BEST:: SOT 270446 SOS 220527 HAS SOPS 215405 HAS SOUS 121698 HAS SOUPS 119785 WITH SCORE 120005.527
AT ITER 241 NEW BEST:: SOT 270423 SOS 220504 HAS SOPS 215382 HAS SOUS 121655 HAS SOUPS 119742 WITH SCORE 119962.504
AT ITER 256 NEW BEST:: SOT 271266 SOS 221237 HAS SOPS 216281 HAS SOUS 121311 HAS SOUPS 119546 WITH SCORE 119767.237
AT ITER 258 NEW BEST:: SOT 271130 SOS 221101 HAS SOPS 216145 HAS SOUS 121095 HAS SOUPS 119330 WITH SCORE 119551.101
AT ITER 266 NEW BEST:: SOT 271052 SOS 221079 HAS SOPS 216127 HAS SOUS 120887 HAS SOUPS 119128 WITH SCORE 119349.079
AT ITER 267 NEW BEST:: SOT 270929 SOS 220950 HAS SOPS 216004 HAS SOUS 120882 HAS SOUPS 119117 WITH SCORE 119337.95
AT ITER 276 NEW BEST:: SOT 270929 SOS 221195 HAS SOPS 216242 HAS SOUS 120822 HAS SOUPS 119061 WITH SCORE 119282.195
AT ITER 279 NEW BEST:: SOT 270929 SOS 220440 HAS SOPS 215341 HAS SOUS 120720 HAS SOUPS 118959 WITH SCORE 119179.44
AT ITER 280 NEW BEST:: SOT 270901 SOS 220411 HAS SOPS 215313 HAS SOUS 120693 HAS SOUPS 118933 WITH SCORE 119153.411
AT ITER 281 NEW BEST:: SOT 270884 SOS 220394 HAS SOPS 215296 HAS SOUS 120676 HAS SOUPS 118916 WITH SCORE 119136.394
AT ITER 282 NEW BEST:: SOT 270957 SOS 220532 HAS SOPS 215421 HAS SOUS 120508 HAS SOUPS 118748 WITH SCORE 118968.532
AT ITER 283 NEW BEST:: SOT 270948 SOS 220523 HAS SOPS 215411 HAS SOUS 120499 HAS SOUPS 118738 WITH SCORE 118958.523
AT ITER 288 NEW BEST:: SOT 270741 SOS 220292 HAS SOPS 215204 HAS SOUS 120208 HAS SOUPS 118459 WITH SCORE 118679.292
AT ITER 296 NEW BEST:: SOT 270720 SOS 220265 HAS SOPS 215174 HAS SOUS 120196 HAS SOUPS 118444 WITH SCORE 118664.265
AT ITER 300 NEW BEST:: SOT 270665 SOS 220210 HAS SOPS 215119 HAS SOUS 120157 HAS SOUPS 118405 WITH SCORE 118625.21
AT ITER 305 NEW BEST:: SOT 270646 SOS 220191 HAS SOPS 215100 HAS SOUS 120085 HAS SOUPS 118333 WITH SCORE 118553.191
AT ITER 331 NEW BEST:: SOT 269975 SOS 219522 HAS SOPS 214427 HAS SOUS 119435 HAS SOUPS 117679 WITH SCORE 117898.522
AT ITER 348 NEW BEST:: SOT 271736 SOS 221304 HAS SOPS 216509 HAS SOUS 118992 HAS SOUPS 117577 WITH SCORE 117798.304
AT ITER 355 NEW BEST:: SOT 271849 SOS 220813 HAS SOPS 216393 HAS SOUS 118486 HAS SOUPS 117177 WITH SCORE 117397.813
AT ITER 359 NEW BEST:: SOT 271972 SOS 221001 HAS SOPS 216516 HAS SOUS 118501 HAS SOUPS 117150 WITH SCORE 117371.001
AT ITER 363 NEW BEST:: SOT 271690 SOS 220644 HAS SOPS 216242 HAS SOUS 117569 HAS SOUPS 116294 WITH SCORE 116514.644
AT ITER 365 NEW BEST:: SOT 270865 SOS 219792 HAS SOPS 215417 HAS SOUS 116591 HAS SOUPS 115343 WITH SCORE 115562.792
AT ITER 368 NEW BEST:: SOT 270841 SOS 219752 HAS SOPS 215393 HAS SOUS 116534 HAS SOUPS 115294 WITH SCORE 115513.752
AT ITER 373 NEW BEST:: SOT 270595 SOS 219503 HAS SOPS 215161 HAS SOUS 116364 HAS SOUPS 115138 WITH SCORE 115357.503
AT ITER 377 NEW BEST:: SOT 270822 SOS 224313 HAS SOPS 221610 HAS SOUS 114865 HAS SOUPS 114130 WITH SCORE 114354.313
AT ITER 383 NEW BEST:: SOT 270838 SOS 224329 HAS SOPS 221626 HAS SOUS 114849 HAS SOUPS 114114 WITH SCORE 114338.329
AT ITER 385 NEW BEST:: SOT 270847 SOS 224338 HAS SOPS 221635 HAS SOUS 114728 HAS SOUPS 113993 WITH SCORE 114217.338
AT ITER 404 NEW BEST:: SOT 270799 SOS 224288 HAS SOPS 221587 HAS SOUS 114630 HAS SOUPS 113897 WITH SCORE 114121.288
AT ITER 408 NEW BEST:: SOT 270706 SOS 224185 HAS SOPS 221494 HAS SOUS 114437 HAS SOUPS 113714 WITH SCORE 113938.185
AT ITER 412 NEW BEST:: SOT 270631 SOS 223545 HAS SOPS 221009 HAS SOUS 114259 HAS SOUPS 113559 WITH SCORE 113782.545
AT ITER 413 NEW BEST:: SOT 270547 SOS 223426 HAS SOPS 220893 HAS SOUS 113863 HAS SOUPS 113163 WITH SCORE 113386.426
AT ITER 421 NEW BEST:: SOT 270533 SOS 223468 HAS SOPS 220927 HAS SOUS 113810 HAS SOUPS 113110 WITH SCORE 113333.468
AT ITER 437 NEW BEST:: SOT 269823 SOS 222758 HAS SOPS 220217 HAS SOUS 112966 HAS SOUPS 112266 WITH SCORE 112488.758
AT ITER 470 NEW BEST:: SOT 269951 SOS 227266 HAS SOPS 226308 HAS SOUS 112778 HAS SOUPS 112041 WITH SCORE 112268.266
AT ITER 472 NEW BEST:: SOT 269905 SOS 227220 HAS SOPS 226262 HAS SOUS 112765 HAS SOUPS 112028 WITH SCORE 112255.22
AT ITER 481 NEW BEST:: SOT 269896 SOS 227211 HAS SOPS 226252 HAS SOUS 112756 HAS SOUPS 112018 WITH SCORE 112245.211
AT ITER 495 NEW BEST:: SOT 269857 SOS 227172 HAS SOPS 226213 HAS SOUS 112689 HAS SOUPS 111951 WITH SCORE 112178.172
AT ITER 496 NEW BEST:: SOT 269848 SOS 227163 HAS SOPS 226203 HAS SOUS 112680 HAS SOUPS 111941 WITH SCORE 112168.163
AT ITER 498 NEW BEST:: SOT 269797 SOS 227106 HAS SOPS 226152 HAS SOUS 112654 HAS SOUPS 111921 WITH SCORE 112148.106
AT ITER 504 NEW BEST:: SOT 269728 SOS 227037 HAS SOPS 226075 HAS SOUS 112585 HAS SOUPS 111844 WITH SCORE 112071.037
AT ITER 510 NEW BEST:: SOT 269728 SOS 227057 HAS SOPS 226093 HAS SOUS 112583 HAS SOUPS 111842 WITH SCORE 112069.057
AT ITER 514 NEW BEST:: SOT 269710 SOS 227039 HAS SOPS 226075 HAS SOUS 112522 HAS SOUPS 111781 WITH SCORE 112008.039
AT ITER 521 NEW BEST:: SOT 269678 SOS 227007 HAS SOPS 226033 HAS SOUS 112490 HAS SOUPS 111739 WITH SCORE 111966.007
AT ITER 527 NEW BEST:: SOT 269678 SOS 227007 HAS SOPS 226029 HAS SOUS 112490 HAS SOUPS 111735 WITH SCORE 111962.007
AT ITER 531 NEW BEST:: SOT 268875 SOS 226166 HAS SOPS 225226 HAS SOUS 111372 HAS SOUPS 110655 WITH SCORE 110881.166
AT ITER 538 NEW BEST:: SOT 268704 SOS 226099 HAS SOPS 225159 HAS SOUS 111087 HAS SOUPS 110370 WITH SCORE 110596.099
AT ITER 539 NEW BEST:: SOT 268472 SOS 225867 HAS SOPS 224927 HAS SOUS 110855 HAS SOUPS 110138 WITH SCORE 110363.867
AT ITER 557 NEW BEST:: SOT 268472 SOS 227622 HAS SOPS 226773 HAS SOUS 110795 HAS SOUPS 110088 WITH SCORE 110315.622
AT ITER 589 NEW BEST:: SOT 268472 SOS 230736 HAS SOPS 229991 HAS SOUS 110426 HAS SOUPS 109750 WITH SCORE 109980.736
AT ITER 590 NEW BEST:: SOT 268454 SOS 230718 HAS SOPS 229972 HAS SOUS 110408 HAS SOUPS 109731 WITH SCORE 109961.718
AT ITER 601 NEW BEST:: SOT 268488 SOS 230740 HAS SOPS 230006 HAS SOUS 110115 HAS SOUPS 109450 WITH SCORE 109680.74
AT ITER 605 NEW BEST:: SOT 268326 SOS 230578 HAS SOPS 229844 HAS SOUS 109660 HAS SOUPS 108995 WITH SCORE 109225.578
AT ITER 616 NEW BEST:: SOT 268199 SOS 230451 HAS SOPS 229717 HAS SOUS 109438 HAS SOUPS 108773 WITH SCORE 109003.451
AT ITER 635 NEW BEST:: SOT 268057 SOS 230293 HAS SOPS 229575 HAS SOUS 109156 HAS SOUPS 108507 WITH SCORE 108737.293
AT ITER 654 NEW BEST:: SOT 267965 SOS 230196 HAS SOPS 229483 HAS SOUS 108937 HAS SOUPS 108293 WITH SCORE 108523.196
AT ITER 661 NEW BEST:: SOT 267949 SOS 230180 HAS SOPS 229467 HAS SOUS 108898 HAS SOUPS 108254 WITH SCORE 108484.18
AT ITER 663 NEW BEST:: SOT 267803 SOS 230034 HAS SOPS 229321 HAS SOUS 108668 HAS SOUPS 108024 WITH SCORE 108254.034
AT ITER 675 NEW BEST:: SOT 261072 SOS 223518 HAS SOPS 223005 HAS SOUS 103164 HAS SOUPS 102720 WITH SCORE 102943.518
AT ITER 681 NEW BEST:: SOT 261072 SOS 223518 HAS SOPS 222996 HAS SOUS 103146 HAS SOUPS 102702 WITH SCORE 102925.518
AT ITER 684 NEW BEST:: SOT 260848 SOS 223294 HAS SOPS 222772 HAS SOUS 102884 HAS SOUPS 102440 WITH SCORE 102663.294
AT ITER 695 NEW BEST:: SOT 260872 SOS 223318 HAS SOPS 222796 HAS SOUS 102865 HAS SOUPS 102421 WITH SCORE 102644.318
AT ITER 697 NEW BEST:: SOT 260867 SOS 223302 HAS SOPS 222791 HAS SOUS 102647 HAS SOUPS 102214 WITH SCORE 102437.302
AT ITER 702 NEW BEST:: SOT 260731 SOS 223145 HAS SOPS 222655 HAS SOUS 102565 HAS SOUPS 102153 WITH SCORE 102376.145
AT ITER 717 NEW BEST:: SOT 260668 SOS 222908 HAS SOPS 222355 HAS SOUS 102435 HAS SOUPS 101960 WITH SCORE 102182.908
AT ITER 738 NEW BEST:: SOT 260686 SOS 222871 HAS SOPS 222353 HAS SOUS 101704 HAS SOUPS 101247 WITH SCORE 101469.871
AT ITER 761 NEW BEST:: SOT 260530 SOS 222726 HAS SOPS 222197 HAS SOUS 101507 HAS SOUPS 101039 WITH SCORE 101261.726
AT ITER 769 NEW BEST:: SOT 260531 SOS 222727 HAS SOPS 222198 HAS SOUS 101436 HAS SOUPS 100968 WITH SCORE 101190.727
AT ITER 774 NEW BEST:: SOT 260323 SOS 222513 HAS SOPS 221990 HAS SOUS 101125 HAS SOUPS 100663 WITH SCORE 100885.513
AT ITER 830 NEW BEST:: SOT 260477 SOS 222557 HAS SOPS 221994 HAS SOUS 100599 HAS SOUPS 100097 WITH SCORE 100319.557
AT ITER 838 NEW BEST:: SOT 259993 SOS 222125 HAS SOPS 221618 HAS SOUS 100033 HAS SOUPS 99587 WITH SCORE 99809.125
AT ITER 840 NEW BEST:: SOT 259775 SOS 221898 HAS SOPS 221400 HAS SOUS 99910 HAS SOUPS 99473 WITH SCORE 99694.898
AT ITER 847 NEW BEST:: SOT 259669 SOS 221789 HAS SOPS 221294 HAS SOUS 99768 HAS SOUPS 99334 WITH SCORE 99555.789
AT ITER 872 NEW BEST:: SOT 259659 SOS 221779 HAS SOPS 221284 HAS SOUS 99755 HAS SOUPS 99321 WITH SCORE 99542.779
AT ITER 883 NEW BEST:: SOT 259628 SOS 221748 HAS SOPS 221253 HAS SOUS 99724 HAS SOUPS 99290 WITH SCORE 99511.748
AT ITER 884 NEW BEST:: SOT 259246 SOS 221894 HAS SOPS 221461 HAS SOUS 99350 HAS SOUPS 98978 WITH SCORE 99199.894
AT ITER 902 NEW BEST:: SOT 259236 SOS 221884 HAS SOPS 221451 HAS SOUS 99339 HAS SOUPS 98967 WITH SCORE 99188.884
AT ITER 903 NEW BEST:: SOT 259307 SOS 221884 HAS SOPS 221423 HAS SOUS 98600 HAS SOUPS 98200 WITH SCORE 98421.884
AT ITER 905 NEW BEST:: SOT 259289 SOS 221866 HAS SOPS 221405 HAS SOUS 98582 HAS SOUPS 98182 WITH SCORE 98403.866
AT ITER 915 NEW BEST:: SOT 258995 SOS 221572 HAS SOPS 221111 HAS SOUS 98296 HAS SOUPS 97896 WITH SCORE 98117.572
AT ITER 926 NEW BEST:: SOT 258814 SOS 221398 HAS SOPS 220930 HAS SOUS 98136 HAS SOUPS 97729 WITH SCORE 97950.398
AT ITER 932 NEW BEST:: SOT 258817 SOS 221411 HAS SOPS 220933 HAS SOUS 98145 HAS SOUPS 97728 WITH SCORE 97949.411
AT ITER 939 NEW BEST:: SOT 258721 SOS 221315 HAS SOPS 220837 HAS SOUS 98051 HAS SOUPS 97634 WITH SCORE 97855.315
AT ITER 943 NEW BEST:: SOT 258721 SOS 221255 HAS SOPS 220777 HAS SOUS 98038 HAS SOUPS 97621 WITH SCORE 97842.255
AT ITER 946 NEW BEST:: SOT 258794 SOS 221294 HAS SOPS 220802 HAS SOUS 97970 HAS SOUPS 97539 WITH SCORE 97760.294
AT ITER 964 NEW BEST:: SOT 258774 SOS 221274 HAS SOPS 220782 HAS SOUS 97812 HAS SOUPS 97381 WITH SCORE 97602.274
AT ITER 973 NEW BEST:: SOT 258805 SOS 221302 HAS SOPS 220805 HAS SOUS 97798 HAS SOUPS 97362 WITH SCORE 97583.302
AT ITER 988 NEW BEST:: SOT 258787 SOS 221284 HAS SOPS 220787 HAS SOUS 97776 HAS SOUPS 97340 WITH SCORE 97561.284
AT ITER 1001 NEW BEST:: SOT 258548 SOS 221431 HAS SOPS 221100 HAS SOUS 97514 HAS SOUPS 97244 WITH SCORE 97465.431
AT ITER 1006 NEW BEST:: SOT 258651 SOS 221525 HAS SOPS 221203 HAS SOUS 97416 HAS SOUPS 97155 WITH SCORE 97376.525
AT ITER 1010 NEW BEST:: SOT 258651 SOS 220575 HAS SOPS 220217 HAS SOUS 97365 HAS SOUPS 97102 WITH SCORE 97322.575
AT ITER 1016 NEW BEST:: SOT 258641 SOS 220565 HAS SOPS 220207 HAS SOUS 97355 HAS SOUPS 97092 WITH SCORE 97312.565
AT ITER 1018 NEW BEST:: SOT 258380 SOS 220304 HAS SOPS 219946 HAS SOUS 97075 HAS SOUPS 96812 WITH SCORE 97032.304
AT ITER 1030 NEW BEST:: SOT 258307 SOS 220453 HAS SOPS 220095 HAS SOUS 97016 HAS SOUPS 96753 WITH SCORE 96973.453
AT ITER 1035 NEW BEST:: SOT 258194 SOS 220477 HAS SOPS 220121 HAS SOUS 96821 HAS SOUPS 96606 WITH SCORE 96826.477
AT ITER 1039 NEW BEST:: SOT 257600 SOS 219883 HAS SOPS 219527 HAS SOUS 96188 HAS SOUPS 95973 WITH SCORE 96192.883
AT ITER 1050 NEW BEST:: SOT 257591 SOS 219874 HAS SOPS 219518 HAS SOUS 96179 HAS SOUPS 95964 WITH SCORE 96183.874
AT ITER 1062 NEW BEST:: SOT 258903 SOS 221146 HAS SOPS 220830 HAS SOUS 95799 HAS SOUPS 95624 WITH SCORE 95845.146
AT ITER 1076 NEW BEST:: SOT 258791 SOS 221034 HAS SOPS 220718 HAS SOUS 95681 HAS SOUPS 95506 WITH SCORE 95727.034
AT ITER 1102 NEW BEST:: SOT 258818 SOS 221057 HAS SOPS 220745 HAS SOUS 95666 HAS SOUPS 95495 WITH SCORE 95716.057
AT ITER 1115 NEW BEST:: SOT 258992 SOS 221231 HAS SOPS 220919 HAS SOUS 94563 HAS SOUPS 94392 WITH SCORE 94613.231
AT ITER 1120 NEW BEST:: SOT 259159 SOS 221398 HAS SOPS 221086 HAS SOUS 94062 HAS SOUPS 93891 WITH SCORE 94112.398
AT ITER 1125 NEW BEST:: SOT 259159 SOS 221202 HAS SOPS 220888 HAS SOUS 94049 HAS SOUPS 93877 WITH SCORE 94098.202
AT ITER 1136 NEW BEST:: SOT 259149 SOS 221351 HAS SOPS 221071 HAS SOUS 94036 HAS SOUPS 93866 WITH SCORE 94087.351
AT ITER 1152 NEW BEST:: SOT 258876 SOS 221078 HAS SOPS 220798 HAS SOUS 93515 HAS SOUPS 93345 WITH SCORE 93566.078
AT ITER 1154 NEW BEST:: SOT 258882 SOS 221086 HAS SOPS 220804 HAS SOUS 93509 HAS SOUPS 93337 WITH SCORE 93558.086
AT ITER 1156 NEW BEST:: SOT 258680 SOS 220884 HAS SOPS 220602 HAS SOUS 93301 HAS SOUPS 93129 WITH SCORE 93349.884
AT ITER 1184 NEW BEST:: SOT 258658 SOS 220862 HAS SOPS 220580 HAS SOUS 93252 HAS SOUPS 93080 WITH SCORE 93300.862
AT ITER 1188 NEW BEST:: SOT 258658 SOS 218201 HAS SOPS 217710 HAS SOUS 93121 HAS SOUPS 92920 WITH SCORE 93138.201
AT ITER 1193 NEW BEST:: SOT 258659 SOS 218369 HAS SOPS 217895 HAS SOUS 93095 HAS SOUPS 92897 WITH SCORE 93115.369
AT ITER 1196 NEW BEST:: SOT 258619 SOS 218329 HAS SOPS 217855 HAS SOUS 93083 HAS SOUPS 92885 WITH SCORE 93103.329
AT ITER 1198 NEW BEST:: SOT 258591 SOS 218301 HAS SOPS 217827 HAS SOUS 93041 HAS SOUPS 92843 WITH SCORE 93061.301
AT ITER 1199 NEW BEST:: SOT 258591 SOS 217615 HAS SOPS 217101 HAS SOUS 92995 HAS SOUPS 92797 WITH SCORE 93014.615
AT ITER 1204 NEW BEST:: SOT 258485 SOS 217524 HAS SOPS 217019 HAS SOUS 92914 HAS SOUPS 92725 WITH SCORE 92942.524
AT ITER 1221 NEW BEST:: SOT 258496 SOS 214405 HAS SOPS 213584 HAS SOUS 92766 HAS SOUPS 92570 WITH SCORE 92784.405
AT ITER 1241 NEW BEST:: SOT 258426 SOS 214335 HAS SOPS 213514 HAS SOUS 92696 HAS SOUPS 92500 WITH SCORE 92714.335
AT ITER 1257 NEW BEST:: SOT 258348 SOS 214399 HAS SOPS 213578 HAS SOUS 92554 HAS SOUPS 92358 WITH SCORE 92572.399
AT ITER 1288 NEW BEST:: SOT 258292 SOS 214343 HAS SOPS 213522 HAS SOUS 92384 HAS SOUPS 92188 WITH SCORE 92402.343
AT ITER 1301 NEW BEST:: SOT 258272 SOS 214323 HAS SOPS 213502 HAS SOUS 92307 HAS SOUPS 92111 WITH SCORE 92325.323
AT ITER 1327 NEW BEST:: SOT 258213 SOS 214264 HAS SOPS 213443 HAS SOUS 92249 HAS SOUPS 92053 WITH SCORE 92267.264
AT ITER 1350 NEW BEST:: SOT 258150 SOS 214201 HAS SOPS 213380 HAS SOUS 92136 HAS SOUPS 91940 WITH SCORE 92154.201
AT ITER 1355 NEW BEST:: SOT 258145 SOS 214196 HAS SOPS 213375 HAS SOUS 92127 HAS SOUPS 91931 WITH SCORE 92145.196
AT ITER 1374 NEW BEST:: SOT 257921 SOS 213963 HAS SOPS 213151 HAS SOUS 91601 HAS SOUPS 91414 WITH SCORE 91627.963
AT ITER 1375 NEW BEST:: SOT 257985 SOS 214027 HAS SOPS 213215 HAS SOUS 91538 HAS SOUPS 91351 WITH SCORE 91565.027
AT ITER 1382 NEW BEST:: SOT 258042 SOS 214109 HAS SOPS 213272 HAS SOUS 91465 HAS SOUPS 91253 WITH SCORE 91467.109
AT ITER 1389 NEW BEST:: SOT 257927 SOS 213994 HAS SOPS 213157 HAS SOUS 91263 HAS SOUPS 91051 WITH SCORE 91264.994
AT ITER 1396 NEW BEST:: SOT 257841 SOS 213908 HAS SOPS 213071 HAS SOUS 91199 HAS SOUPS 90987 WITH SCORE 91200.908
AT ITER 1397 NEW BEST:: SOT 257797 SOS 213864 HAS SOPS 213027 HAS SOUS 91116 HAS SOUPS 90904 WITH SCORE 91117.864
AT ITER 1403 NEW BEST:: SOT 257796 SOS 213863 HAS SOPS 213026 HAS SOUS 91115 HAS SOUPS 90903 WITH SCORE 91116.863
AT ITER 1426 NEW BEST:: SOT 257783 SOS 213850 HAS SOPS 213013 HAS SOUS 91102 HAS SOUPS 90890 WITH SCORE 91103.85
AT ITER 1450 NEW BEST:: SOT 257783 SOS 213852 HAS SOPS 213013 HAS SOUS 91101 HAS SOUPS 90887 WITH SCORE 91100.852
AT ITER 1477 NEW BEST:: SOT 257738 SOS 213644 HAS SOPS 212774 HAS SOUS 90960 HAS SOUPS 90723 WITH SCORE 90936.644
AT ITER 1492 NEW BEST:: SOT 257017 SOS 212905 HAS SOPS 212053 HAS SOUS 90246 HAS SOUPS 90027 WITH SCORE 90239.905
AT ITER 1498 NEW BEST:: SOT 256948 SOS 212836 HAS SOPS 211984 HAS SOUS 89903 HAS SOUPS 89684 WITH SCORE 89896.836
AT ITER 1516 NEW BEST:: SOT 256922 SOS 212810 HAS SOPS 211958 HAS SOUS 89877 HAS SOUPS 89658 WITH SCORE 89870.81
AT ITER 1531 NEW BEST:: SOT 256902 SOS 212790 HAS SOPS 211938 HAS SOUS 89845 HAS SOUPS 89626 WITH SCORE 89838.79
AT ITER 1545 NEW BEST:: SOT 256658 SOS 212546 HAS SOPS 211694 HAS SOUS 89749 HAS SOUPS 89530 WITH SCORE 89742.546
AT ITER 1552 NEW BEST:: SOT 256628 SOS 212516 HAS SOPS 211664 HAS SOUS 89711 HAS SOUPS 89492 WITH SCORE 89704.516
AT ITER 1554 NEW BEST:: SOT 256572 SOS 212460 HAS SOPS 211608 HAS SOUS 89655 HAS SOUPS 89436 WITH SCORE 89648.46
AT ITER 1569 NEW BEST:: SOT 256526 SOS 212414 HAS SOPS 211562 HAS SOUS 89595 HAS SOUPS 89376 WITH SCORE 89588.414
AT ITER 1572 NEW BEST:: SOT 256288 SOS 212176 HAS SOPS 211324 HAS SOUS 89159 HAS SOUPS 88940 WITH SCORE 89152.176
AT ITER 1579 NEW BEST:: SOT 255537 SOS 211408 HAS SOPS 210573 HAS SOUS 88069 HAS SOUPS 87867 WITH SCORE 88078.408
AT ITER 1582 NEW BEST:: SOT 255535 SOS 211406 HAS SOPS 210571 HAS SOUS 87973 HAS SOUPS 87771 WITH SCORE 87982.406
AT ITER 1587 NEW BEST:: SOT 255526 SOS 211397 HAS SOPS 210562 HAS SOUS 87964 HAS SOUPS 87762 WITH SCORE 87973.397
AT ITER 1605 NEW BEST:: SOT 255495 SOS 211366 HAS SOPS 210531 HAS SOUS 87817 HAS SOUPS 87615 WITH SCORE 87826.366
AT ITER 1648 NEW BEST:: SOT 255383 SOS 211254 HAS SOPS 210419 HAS SOUS 87660 HAS SOUPS 87458 WITH SCORE 87669.254
AT ITER 1675 NEW BEST:: SOT 255260 SOS 211134 HAS SOPS 210296 HAS SOUS 87519 HAS SOUPS 87314 WITH SCORE 87525.134
AT ITER 1700 NEW BEST:: SOT 255234 SOS 211108 HAS SOPS 210270 HAS SOUS 87479 HAS SOUPS 87274 WITH SCORE 87485.108
AT ITER 1716 NEW BEST:: SOT 255234 SOS 210944 HAS SOPS 210126 HAS SOUS 87426 HAS SOUPS 87226 WITH SCORE 87436.944
AT ITER 1732 NEW BEST:: SOT 255194 SOS 210904 HAS SOPS 210086 HAS SOUS 87393 HAS SOUPS 87193 WITH SCORE 87403.904
AT ITER 1741 NEW BEST:: SOT 255194 SOS 210162 HAS SOPS 209288 HAS SOUS 87330 HAS SOUPS 87127 WITH SCORE 87337.162
AT ITER 1747 NEW BEST:: SOT 255184 SOS 210159 HAS SOPS 209286 HAS SOUS 87302 HAS SOUPS 87100 WITH SCORE 87310.159
AT ITER 1749 NEW BEST:: SOT 255141 SOS 210115 HAS SOPS 209243 HAS SOUS 87231 HAS SOUPS 87030 WITH SCORE 87240.115
AT ITER 1757 NEW BEST:: SOT 255020 SOS 209995 HAS SOPS 209122 HAS SOUS 87098 HAS SOUPS 86896 WITH SCORE 87105.995
AT ITER 1763 NEW BEST:: SOT 254890 SOS 209883 HAS SOPS 208992 HAS SOUS 87005 HAS SOUPS 86785 WITH SCORE 86994.883
AT ITER 1767 NEW BEST:: SOT 254877 SOS 210663 HAS SOPS 209841 HAS SOUS 86774 HAS SOUPS 86567 WITH SCORE 86777.663
AT ITER 1769 NEW BEST:: SOT 254841 SOS 210627 HAS SOPS 209805 HAS SOUS 86705 HAS SOUPS 86498 WITH SCORE 86708.627
AT ITER 1799 NEW BEST:: SOT 254658 SOS 210446 HAS SOPS 209622 HAS SOUS 86572 HAS SOUPS 86363 WITH SCORE 86573.446
AT ITER 1815 NEW BEST:: SOT 254515 SOS 210303 HAS SOPS 209479 HAS SOUS 86033 HAS SOUPS 85824 WITH SCORE 86034.303
AT ITER 1829 NEW BEST:: SOT 254510 SOS 210298 HAS SOPS 209474 HAS SOUS 86033 HAS SOUPS 85824 WITH SCORE 86034.298
AT ITER 1830 NEW BEST:: SOT 254513 SOS 210858 HAS SOPS 210083 HAS SOUS 85986 HAS SOUPS 85780 WITH SCORE 85990.858
AT ITER 1842 NEW BEST:: SOT 254532 SOS 210853 HAS SOPS 210070 HAS SOUS 85690 HAS SOUPS 85476 WITH SCORE 85686.853
AT ITER 1861 NEW BEST:: SOT 254496 SOS 210817 HAS SOPS 210034 HAS SOUS 85660 HAS SOUPS 85446 WITH SCORE 85656.817
AT ITER 1868 NEW BEST:: SOT 254494 SOS 210815 HAS SOPS 210032 HAS SOUS 85658 HAS SOUPS 85444 WITH SCORE 85654.815
AT ITER 1885 NEW BEST:: SOT 254300 SOS 210621 HAS SOPS 209838 HAS SOUS 85448 HAS SOUPS 85234 WITH SCORE 85444.621
AT ITER 1905 NEW BEST:: SOT 254298 SOS 210619 HAS SOPS 209836 HAS SOUS 85446 HAS SOUPS 85232 WITH SCORE 85442.619
AT ITER 2038 NEW BEST:: SOT 254058 SOS 210429 HAS SOPS 209666 HAS SOUS 85419 HAS SOUPS 85225 WITH SCORE 85435.429
AT ITER 2052 NEW BEST:: SOT 253614 SOS 210090 HAS SOPS 209327 HAS SOUS 84968 HAS SOUPS 84774 WITH SCORE 84984.09
AT ITER 2057 NEW BEST:: SOT 253540 SOS 210016 HAS SOPS 209253 HAS SOUS 84909 HAS SOUPS 84715 WITH SCORE 84925.016
AT ITER 2080 NEW BEST:: SOT 252767 SOS 209243 HAS SOPS 208480 HAS SOUS 84150 HAS SOUPS 83956 WITH SCORE 84165.243
AT ITER 2111 NEW BEST:: SOT 252767 SOS 209427 HAS SOPS 208684 HAS SOUS 84141 HAS SOUPS 83949 WITH SCORE 84158.427
AT ITER 2114 NEW BEST:: SOT 252767 SOS 209308 HAS SOPS 208585 HAS SOUS 84020 HAS SOUPS 83835 WITH SCORE 84044.308
AT ITER 2118 NEW BEST:: SOT 252757 SOS 209298 HAS SOPS 208575 HAS SOUS 83996 HAS SOUPS 83811 WITH SCORE 84020.298
AT ITER 2122 NEW BEST:: SOT 252757 SOS 209305 HAS SOPS 208575 HAS SOUS 83999 HAS SOUPS 83807 WITH SCORE 84016.305
AT ITER 2155 NEW BEST:: SOT 252443 SOS 209051 HAS SOPS 208345 HAS SOUS 83939 HAS SOUPS 83771 WITH SCORE 83980.051
AT ITER 2258 NEW BEST:: SOT 252427 SOS 209035 HAS SOPS 208329 HAS SOUS 83923 HAS SOUPS 83755 WITH SCORE 83964.035
AT ITER 2266 NEW BEST:: SOT 252427 SOS 209230 HAS SOPS 208543 HAS SOUS 83873 HAS SOUPS 83708 WITH SCORE 83917.23
AT ITER 2269 NEW BEST:: SOT 252224 SOS 209033 HAS SOPS 208340 HAS SOUS 83826 HAS SOUPS 83655 WITH SCORE 83864.033
AT ITER 2293 NEW BEST:: SOT 252216 SOS 209025 HAS SOPS 208332 HAS SOUS 83818 HAS SOUPS 83647 WITH SCORE 83856.025
AT ITER 2306 NEW BEST:: SOT 252130 SOS 208939 HAS SOPS 208246 HAS SOUS 83785 HAS SOUPS 83614 WITH SCORE 83822.939
AT ITER 2313 NEW BEST:: SOT 252130 SOS 208720 HAS SOPS 208027 HAS SOUS 83784 HAS SOUPS 83613 WITH SCORE 83821.72
AT ITER 2332 NEW BEST:: SOT 252092 SOS 208689 HAS SOPS 207989 HAS SOUS 83721 HAS SOUPS 83543 WITH SCORE 83751.689
AT ITER 2343 NEW BEST:: SOT 252017 SOS 208614 HAS SOPS 207914 HAS SOUS 83654 HAS SOUPS 83476 WITH SCORE 83684.614
AT ITER 2394 NEW BEST:: SOT 251952 SOS 208549 HAS SOPS 207849 HAS SOUS 83589 HAS SOUPS 83411 WITH SCORE 83619.549
AT ITER 2406 NEW BEST:: SOT 251942 SOS 208542 HAS SOPS 207839 HAS SOUS 83555 HAS SOUPS 83374 WITH SCORE 83582.542
AT ITER 2434 NEW BEST:: SOT 251874 SOS 208474 HAS SOPS 207771 HAS SOUS 83427 HAS SOUPS 83246 WITH SCORE 83454.474
AT ITER 2444 NEW BEST:: SOT 251875 SOS 208474 HAS SOPS 207772 HAS SOUS 83400 HAS SOUPS 83220 WITH SCORE 83428.474
AT ITER 2448 NEW BEST:: SOT 251880 SOS 209822 HAS SOPS 209223 HAS SOUS 83340 HAS SOUPS 83166 WITH SCORE 83375.822
AT ITER 2466 NEW BEST:: SOT 251878 SOS 209820 HAS SOPS 209221 HAS SOUS 83338 HAS SOUPS 83164 WITH SCORE 83373.82
AT ITER 2501 NEW BEST:: SOT 251967 SOS 209855 HAS SOPS 209247 HAS SOUS 83163 HAS SOUPS 82980 WITH SCORE 83189.855
AT ITER 2507 NEW BEST:: SOT 251741 SOS 209629 HAS SOPS 209021 HAS SOUS 83131 HAS SOUPS 82948 WITH SCORE 83157.629
AT ITER 2517 NEW BEST:: SOT 251651 SOS 209539 HAS SOPS 208931 HAS SOUS 83049 HAS SOUPS 82866 WITH SCORE 83075.539
AT ITER 2532 NEW BEST:: SOT 251639 SOS 209527 HAS SOPS 208919 HAS SOUS 83025 HAS SOUPS 82842 WITH SCORE 83051.527
AT ITER 2567 NEW BEST:: SOT 251640 SOS 209528 HAS SOPS 208920 HAS SOUS 82994 HAS SOUPS 82811 WITH SCORE 83020.528
AT ITER 2570 NEW BEST:: SOT 251670 SOS 208562 HAS SOPS 207914 HAS SOUS 82988 HAS SOUPS 82805 WITH SCORE 83013.562
AT ITER 2602 NEW BEST:: SOT 251677 SOS 208569 HAS SOPS 207921 HAS SOUS 82980 HAS SOUPS 82797 WITH SCORE 83005.569
AT ITER 2617 NEW BEST:: SOT 251605 SOS 208470 HAS SOPS 207817 HAS SOUS 82974 HAS SOUPS 82786 WITH SCORE 82994.47
AT ITER 2648 NEW BEST:: SOT 251383 SOS 208263 HAS SOPS 207616 HAS SOUS 82790 HAS SOUPS 82608 WITH SCORE 82816.263
AT ITER 2653 NEW BEST:: SOT 251366 SOS 208246 HAS SOPS 207599 HAS SOUS 82761 HAS SOUPS 82579 WITH SCORE 82787.246
AT ITER 2665 NEW BEST:: SOT 251318 SOS 208198 HAS SOPS 207551 HAS SOUS 82731 HAS SOUPS 82549 WITH SCORE 82757.198
AT ITER 2678 NEW BEST:: SOT 250772 SOS 208158 HAS SOPS 207541 HAS SOUS 82322 HAS SOUPS 82170 WITH SCORE 82378.158
AT ITER 2690 NEW BEST:: SOT 250784 SOS 208170 HAS SOPS 207553 HAS SOUS 82319 HAS SOUPS 82167 WITH SCORE 82375.17
AT ITER 2717 NEW BEST:: SOT 250784 SOS 208160 HAS SOPS 207543 HAS SOUS 82318 HAS SOUPS 82166 WITH SCORE 82374.16
AT ITER 2719 NEW BEST:: SOT 250784 SOS 208177 HAS SOPS 207560 HAS SOUS 82317 HAS SOUPS 82165 WITH SCORE 82373.177
AT ITER 2732 NEW BEST:: SOT 250702 SOS 208095 HAS SOPS 207478 HAS SOUS 82169 HAS SOUPS 82017 WITH SCORE 82225.095
AT ITER 2772 NEW BEST:: SOT 250695 SOS 206770 HAS SOPS 206057 HAS SOUS 82079 HAS SOUPS 81924 WITH SCORE 82130.77
AT ITER 2850 NEW BEST:: SOT 250584 SOS 206660 HAS SOPS 205946 HAS SOUS 81919 HAS SOUPS 81763 WITH SCORE 81969.66
AT ITER 2864 NEW BEST:: SOT 250594 SOS 206670 HAS SOPS 205956 HAS SOUS 81869 HAS SOUPS 81713 WITH SCORE 81919.67
AT ITER 2922 NEW BEST:: SOT 250596 SOS 206328 HAS SOPS 205528 HAS SOUS 81869 HAS SOUPS 81712 WITH SCORE 81918.328
AT ITER 2937 NEW BEST:: SOT 250592 SOS 206320 HAS SOPS 205524 HAS SOUS 81859 HAS SOUPS 81706 WITH SCORE 81912.32
AT ITER 2977 NEW BEST:: SOT 250559 SOS 206281 HAS SOPS 205491 HAS SOUS 81767 HAS SOUPS 81620 WITH SCORE 81826.281
AT ITER 3097 NEW BEST:: SOT 250370 SOS 206122 HAS SOPS 205344 HAS SOUS 81693 HAS SOUPS 81558 WITH SCORE 81764.122
AT ITER 3102 NEW BEST:: SOT 250282 SOS 206030 HAS SOPS 205256 HAS SOUS 81540 HAS SOUPS 81409 WITH SCORE 81615.03
AT ITER 3116 NEW BEST:: SOT 250282 SOS 206073 HAS SOPS 205299 HAS SOUS 81538 HAS SOUPS 81407 WITH SCORE 81613.073
AT ITER 3199 NEW BEST:: SOT 250604 SOS 206353 HAS SOPS 205558 HAS SOUS 81447 HAS SOUPS 81295 WITH SCORE 81501.353
AT ITER 3211 NEW BEST:: SOT 250604 SOS 206350 HAS SOPS 205555 HAS SOUS 81444 HAS SOUPS 81292 WITH SCORE 81498.35
AT ITER 3212 NEW BEST:: SOT 250584 SOS 206330 HAS SOPS 205535 HAS SOUS 81443 HAS SOUPS 81291 WITH SCORE 81497.33
AT ITER 3243 NEW BEST:: SOT 250584 SOS 206130 HAS SOPS 205323 HAS SOUS 81437 HAS SOUPS 81285 WITH SCORE 81491.13
AT ITER 3316 NEW BEST:: SOT 250243 SOS 205789 HAS SOPS 204982 HAS SOUS 81179 HAS SOUPS 81027 WITH SCORE 81232.789
AT ITER 3328 NEW BEST:: SOT 250165 SOS 205711 HAS SOPS 204904 HAS SOUS 81101 HAS SOUPS 80949 WITH SCORE 81154.711
AT ITER 3360 NEW BEST:: SOT 250145 SOS 205691 HAS SOPS 204884 HAS SOUS 81081 HAS SOUPS 80929 WITH SCORE 81134.691
AT ITER 3371 NEW BEST:: SOT 250557 SOS 206086 HAS SOPS 205296 HAS SOUS 80795 HAS SOUPS 80660 WITH SCORE 80866.086
AT ITER 3380 NEW BEST:: SOT 250537 SOS 206066 HAS SOPS 205276 HAS SOUS 80775 HAS SOUPS 80640 WITH SCORE 80846.066
AT ITER 3382 NEW BEST:: SOT 250366 SOS 205908 HAS SOPS 205105 HAS SOUS 80543 HAS SOUPS 80395 WITH SCORE 80600.908
AT ITER 3387 NEW BEST:: SOT 250352 SOS 205891 HAS SOPS 205091 HAS SOUS 80519 HAS SOUPS 80374 WITH SCORE 80579.891
AT ITER 3415 NEW BEST:: SOT 250342 SOS 205881 HAS SOPS 205081 HAS SOUS 80509 HAS SOUPS 80364 WITH SCORE 80569.881
AT ITER 3438 NEW BEST:: SOT 250259 SOS 205798 HAS SOPS 204998 HAS SOUS 80390 HAS SOUPS 80245 WITH SCORE 80450.798
AT ITER 3441 NEW BEST:: SOT 250272 SOS 205806 HAS SOPS 205005 HAS SOUS 80387 HAS SOUPS 80241 WITH SCORE 80446.806
AT ITER 3487 NEW BEST:: SOT 250271 SOS 205804 HAS SOPS 205004 HAS SOUS 80385 HAS SOUPS 80240 WITH SCORE 80445.804
AT ITER 3491 NEW BEST:: SOT 250271 SOS 205046 HAS SOPS 204188 HAS SOUS 80348 HAS SOUPS 80203 WITH SCORE 80408.046
AT ITER 3552 NEW BEST:: SOT 250264 SOS 205039 HAS SOPS 204181 HAS SOUS 80281 HAS SOUPS 80136 WITH SCORE 80341.039
AT ITER 3560 NEW BEST:: SOT 250220 SOS 204995 HAS SOPS 204137 HAS SOUS 80227 HAS SOUPS 80082 WITH SCORE 80286.995
AT ITER 3617 NEW BEST:: SOT 250184 SOS 204959 HAS SOPS 204101 HAS SOUS 80052 HAS SOUPS 79907 WITH SCORE 80111.959
AT ITER 3678 NEW BEST:: SOT 250162 SOS 204937 HAS SOPS 204079 HAS SOUS 80030 HAS SOUPS 79885 WITH SCORE 80089.937
AT ITER 3714 NEW BEST:: SOT 250082 SOS 204860 HAS SOPS 204006 HAS SOUS 79973 HAS SOUPS 79832 WITH SCORE 80036.86
AT ITER 3729 NEW BEST:: SOT 250066 SOS 204844 HAS SOPS 203990 HAS SOUS 79961 HAS SOUPS 79820 WITH SCORE 80024.844
AT ITER 3734 NEW BEST:: SOT 249878 SOS 204648 HAS SOPS 203802 HAS SOUS 79577 HAS SOUPS 79444 WITH SCORE 79648.648
AT ITER 3737 NEW BEST:: SOT 249878 SOS 204648 HAS SOPS 203802 HAS SOUS 79565 HAS SOUPS 79432 WITH SCORE 79636.648
AT ITER 3773 NEW BEST:: SOT 249891 SOS 204675 HAS SOPS 203815 HAS SOUS 79567 HAS SOUPS 79421 WITH SCORE 79625.675
AT ITER 3777 NEW BEST:: SOT 249731 SOS 204515 HAS SOPS 203655 HAS SOUS 79307 HAS SOUPS 79161 WITH SCORE 79365.515
AT ITER 3839 NEW BEST:: SOT 249731 SOS 204495 HAS SOPS 203635 HAS SOUS 79305 HAS SOUPS 79159 WITH SCORE 79363.495
AT ITER 3840 NEW BEST:: SOT 249718 SOS 204484 HAS SOPS 203622 HAS SOUS 79259 HAS SOUPS 79111 WITH SCORE 79315.484
AT ITER 3841 NEW BEST:: SOT 249724 SOS 204533 HAS SOPS 203836 HAS SOUS 79222 HAS SOUPS 79074 WITH SCORE 79278.533
AT ITER 3848 NEW BEST:: SOT 249724 SOS 204533 HAS SOPS 203836 HAS SOUS 79221 HAS SOUPS 79073 WITH SCORE 79277.533
AT ITER 3856 NEW BEST:: SOT 249724 SOS 204523 HAS SOPS 203826 HAS SOUS 79220 HAS SOUPS 79072 WITH SCORE 79276.523
AT ITER 3881 NEW BEST:: SOT 249709 SOS 204508 HAS SOPS 203811 HAS SOUS 79194 HAS SOUPS 79046 WITH SCORE 79250.508
AT ITER 3927 NEW BEST:: SOT 249715 SOS 205046 HAS SOPS 204420 HAS SOUS 79147 HAS SOUPS 79000 WITH SCORE 79205.046
AT ITER 3965 NEW BEST:: SOT 249850 SOS 205094 HAS SOPS 204450 HAS SOUS 78948 HAS SOUPS 78783 WITH SCORE 78988.094
AT ITER 3968 NEW BEST:: SOT 249851 SOS 204906 HAS SOPS 204248 HAS SOUS 78946 HAS SOUPS 78781 WITH SCORE 78985.906
AT ITER 3987 NEW BEST:: SOT 249839 SOS 204894 HAS SOPS 204236 HAS SOUS 78907 HAS SOUPS 78742 WITH SCORE 78946.894
AT ITER 3992 NEW BEST:: SOT 249773 SOS 204832 HAS SOPS 204170 HAS SOUS 78717 HAS SOUPS 78548 WITH SCORE 78752.832
AT ITER 4014 NEW BEST:: SOT 249747 SOS 204806 HAS SOPS 204144 HAS SOUS 78686 HAS SOUPS 78517 WITH SCORE 78721.806
AT ITER 4025 NEW BEST:: SOT 249693 SOS 204752 HAS SOPS 204090 HAS SOUS 78634 HAS SOUPS 78465 WITH SCORE 78669.752
AT ITER 4058 NEW BEST:: SOT 249528 SOS 204587 HAS SOPS 203925 HAS SOUS 78441 HAS SOUPS 78272 WITH SCORE 78476.587
AT ITER 4085 NEW BEST:: SOT 249528 SOS 204675 HAS SOPS 204013 HAS SOUS 78439 HAS SOUPS 78270 WITH SCORE 78474.675
AT ITER 4109 NEW BEST:: SOT 249528 SOS 204508 HAS SOPS 203838 HAS SOUS 78435 HAS SOUPS 78266 WITH SCORE 78470.508
AT ITER 4116 NEW BEST:: SOT 249568 SOS 204548 HAS SOPS 203878 HAS SOUS 78424 HAS SOUPS 78255 WITH SCORE 78459.548
AT ITER 4118 NEW BEST:: SOT 249538 SOS 204518 HAS SOPS 203848 HAS SOUS 78394 HAS SOUPS 78225 WITH SCORE 78429.518
AT ITER 4154 NEW BEST:: SOT 249538 SOS 203445 HAS SOPS 202775 HAS SOUS 78384 HAS SOUPS 78215 WITH SCORE 78418.445
AT ITER 4198 NEW BEST:: SOT 249528 SOS 203435 HAS SOPS 202765 HAS SOUS 78374 HAS SOUPS 78205 WITH SCORE 78408.435
AT ITER 4219 NEW BEST:: SOT 249516 SOS 204023 HAS SOPS 203391 HAS SOUS 78354 HAS SOUPS 78185 WITH SCORE 78389.023
AT ITER 4232 NEW BEST:: SOT 249370 SOS 203877 HAS SOPS 203245 HAS SOUS 78217 HAS SOUPS 78048 WITH SCORE 78251.877
AT ITER 4246 NEW BEST:: SOT 249365 SOS 203872 HAS SOPS 203240 HAS SOUS 78180 HAS SOUPS 78011 WITH SCORE 78214.872
AT ITER 4261 NEW BEST:: SOT 249365 SOS 203872 HAS SOPS 203240 HAS SOUS 78179 HAS SOUPS 78010 WITH SCORE 78213.872
AT ITER 4356 NEW BEST:: SOT 249355 SOS 203862 HAS SOPS 203230 HAS SOUS 78169 HAS SOUPS 78000 WITH SCORE 78203.862
AT ITER 4405 NEW BEST:: SOT 249339 SOS 203846 HAS SOPS 203214 HAS SOUS 78142 HAS SOUPS 77973 WITH SCORE 78176.846
AT ITER 4445 NEW BEST:: SOT 249197 SOS 203700 HAS SOPS 203072 HAS SOUS 77935 HAS SOUPS 77770 WITH SCORE 77973.7
AT ITER 4449 NEW BEST:: SOT 249179 SOS 203682 HAS SOPS 203054 HAS SOUS 77917 HAS SOUPS 77752 WITH SCORE 77955.682
AT ITER 4486 NEW BEST:: SOT 249225 SOS 203713 HAS SOPS 203079 HAS SOUS 77869 HAS SOUPS 77698 WITH SCORE 77901.713
AT ITER 4497 NEW BEST:: SOT 249120 SOS 203586 HAS SOPS 202974 HAS SOUS 77823 HAS SOUPS 77674 WITH SCORE 77877.586
AT ITER 4550 NEW BEST:: SOT 249120 SOS 203584 HAS SOPS 202972 HAS SOUS 77823 HAS SOUPS 77674 WITH SCORE 77877.584
AT ITER 4597 NEW BEST:: SOT 249117 SOS 203581 HAS SOPS 202969 HAS SOUS 77815 HAS SOUPS 77666 WITH SCORE 77869.581
AT ITER 4601 NEW BEST:: SOT 249113 SOS 203577 HAS SOPS 202965 HAS SOUS 77806 HAS SOUPS 77657 WITH SCORE 77860.577
AT ITER 4603 NEW BEST:: SOT 249095 SOS 203565 HAS SOPS 202947 HAS SOUS 77777 HAS SOUPS 77622 WITH SCORE 77825.565
AT ITER 4614 NEW BEST:: SOT 249090 SOS 203560 HAS SOPS 202942 HAS SOUS 77748 HAS SOUPS 77593 WITH SCORE 77796.56
AT ITER 4657 NEW BEST:: SOT 249013 SOS 203465 HAS SOPS 202865 HAS SOUS 77702 HAS SOUPS 77565 WITH SCORE 77768.465
AT ITER 4698 NEW BEST:: SOT 249061 SOS 203516 HAS SOPS 202913 HAS SOUS 77644 HAS SOUPS 77504 WITH SCORE 77707.516
AT ITER 4843 NEW BEST:: SOT 249061 SOS 203279 HAS SOPS 202676 HAS SOUS 77632 HAS SOUPS 77492 WITH SCORE 77695.279
AT ITER 4886 NEW BEST:: SOT 249130 SOS 203348 HAS SOPS 202745 HAS SOUS 77586 HAS SOUPS 77446 WITH SCORE 77649.348
AT ITER 4895 NEW BEST:: SOT 249110 SOS 203328 HAS SOPS 202725 HAS SOUS 77530 HAS SOUPS 77390 WITH SCORE 77593.328
AT ITER 4923 NEW BEST:: SOT 249112 SOS 203340 HAS SOPS 202727 HAS SOUS 77533 HAS SOUPS 77383 WITH SCORE 77586.34
AT ITER 4926 NEW BEST:: SOT 249110 SOS 203340 HAS SOPS 202725 HAS SOUS 77532 HAS SOUPS 77380 WITH SCORE 77583.34
AT ITER 4951 NEW BEST:: SOT 249110 SOS 203331 HAS SOPS 202716 HAS SOUS 77532 HAS SOUPS 77380 WITH SCORE 77583.331
AT ITER 5009 NEW BEST:: SOT 249027 SOS 203244 HAS SOPS 202633 HAS SOUS 77387 HAS SOUPS 77239 WITH SCORE 77442.244
AT ITER 5031 NEW BEST:: SOT 248589 SOS 202806 HAS SOPS 202195 HAS SOUS 77309 HAS SOUPS 77161 WITH SCORE 77363.806
AT ITER 5039 NEW BEST:: SOT 248573 SOS 202794 HAS SOPS 202186 HAS SOUS 77298 HAS SOUPS 77153 WITH SCORE 77355.794
AT ITER 5046 NEW BEST:: SOT 248527 SOS 202748 HAS SOPS 202140 HAS SOUS 77279 HAS SOUPS 77134 WITH SCORE 77336.748
AT ITER 5120 NEW BEST:: SOT 248526 SOS 202747 HAS SOPS 202139 HAS SOUS 77277 HAS SOUPS 77132 WITH SCORE 77334.747
AT ITER 5172 NEW BEST:: SOT 248526 SOS 201903 HAS SOPS 201245 HAS SOUS 77254 HAS SOUPS 77109 WITH SCORE 77310.903
AT ITER 5177 NEW BEST:: SOT 248502 SOS 201885 HAS SOPS 201221 HAS SOUS 77163 HAS SOUPS 77012 WITH SCORE 77213.885
AT ITER 5178 NEW BEST:: SOT 248502 SOS 201885 HAS SOPS 201221 HAS SOUS 77148 HAS SOUPS 76997 WITH SCORE 77198.885
AT ITER 5246 NEW BEST:: SOT 248478 SOS 201861 HAS SOPS 201197 HAS SOUS 77120 HAS SOUPS 76969 WITH SCORE 77170.861
AT ITER 5368 NEW BEST:: SOT 248331 SOS 201714 HAS SOPS 201050 HAS SOUS 76903 HAS SOUPS 76752 WITH SCORE 76953.714
AT ITER 5382 NEW BEST:: SOT 248313 SOS 201696 HAS SOPS 201032 HAS SOUS 76893 HAS SOUPS 76742 WITH SCORE 76943.696
AT ITER 5394 NEW BEST:: SOT 248312 SOS 201695 HAS SOPS 201031 HAS SOUS 76892 HAS SOUPS 76741 WITH SCORE 76942.695
AT ITER 5533 NEW BEST:: SOT 248308 SOS 201691 HAS SOPS 201027 HAS SOUS 76888 HAS SOUPS 76737 WITH SCORE 76938.691
AT ITER 5551 NEW BEST:: SOT 248306 SOS 201689 HAS SOPS 201025 HAS SOUS 76875 HAS SOUPS 76724 WITH SCORE 76925.689
AT ITER 5628 NEW BEST:: SOT 248286 SOS 201669 HAS SOPS 201005 HAS SOUS 76855 HAS SOUPS 76704 WITH SCORE 76905.669
AT ITER 5654 NEW BEST:: SOT 248280 SOS 201663 HAS SOPS 200999 HAS SOUS 76849 HAS SOUPS 76698 WITH SCORE 76899.663
AT ITER 5677 NEW BEST:: SOT 248280 SOS 201653 HAS SOPS 200989 HAS SOUS 76848 HAS SOUPS 76697 WITH SCORE 76898.653
AT ITER 5706 NEW BEST:: SOT 248235 SOS 201613 HAS SOPS 200951 HAS SOUS 76815 HAS SOUPS 76666 WITH SCORE 76867.613
AT ITER 5814 NEW BEST:: SOT 248164 SOS 201548 HAS SOPS 200880 HAS SOUS 76677 HAS SOUPS 76522 WITH SCORE 76723.548
AT ITER 5821 NEW BEST:: SOT 248138 SOS 201522 HAS SOPS 200854 HAS SOUS 76657 HAS SOUPS 76502 WITH SCORE 76703.522
AT ITER 5881 NEW BEST:: SOT 248058 SOS 201442 HAS SOPS 200774 HAS SOUS 76515 HAS SOUPS 76360 WITH SCORE 76561.442
AT ITER 5938 NEW BEST:: SOT 248058 SOS 201442 HAS SOPS 200774 HAS SOUS 76493 HAS SOUPS 76338 WITH SCORE 76539.442
AT ITER 5985 NEW BEST:: SOT 248052 SOS 201437 HAS SOPS 200768 HAS SOUS 76482 HAS SOUPS 76326 WITH SCORE 76527.437
AT ITER 5995 NEW BEST:: SOT 248050 SOS 201435 HAS SOPS 200766 HAS SOUS 76477 HAS SOUPS 76321 WITH SCORE 76522.435
AT ITER 6006 NEW BEST:: SOT 248038 SOS 201416 HAS SOPS 200754 HAS SOUS 76470 HAS SOUPS 76321 WITH SCORE 76522.416
AT ITER 6125 NEW BEST:: SOT 248060 SOS 201442 HAS SOPS 200776 HAS SOUS 76461 HAS SOUPS 76308 WITH SCORE 76509.442
AT ITER 6175 NEW BEST:: SOT 247974 SOS 201389 HAS SOPS 200732 HAS SOUS 76312 HAS SOUPS 76168 WITH SCORE 76369.389
AT ITER 6233 NEW BEST:: SOT 247963 SOS 201378 HAS SOPS 200721 HAS SOUS 76255 HAS SOUPS 76111 WITH SCORE 76312.378
AT ITER 6261 NEW BEST:: SOT 247788 SOS 201203 HAS SOPS 200546 HAS SOUS 76004 HAS SOUPS 75860 WITH SCORE 76061.203
AT ITER 6280 NEW BEST:: SOT 247788 SOS 201203 HAS SOPS 200546 HAS SOUS 76001 HAS SOUPS 75857 WITH SCORE 76058.203
AT ITER 6301 NEW BEST:: SOT 247758 SOS 201173 HAS SOPS 200516 HAS SOUS 75971 HAS SOUPS 75827 WITH SCORE 76028.173
AT ITER 6312 NEW BEST:: SOT 247641 SOS 201056 HAS SOPS 200399 HAS SOUS 75856 HAS SOUPS 75712 WITH SCORE 75913.056
AT ITER 6319 NEW BEST:: SOT 247627 SOS 201042 HAS SOPS 200385 HAS SOUS 75820 HAS SOUPS 75676 WITH SCORE 75877.042
AT ITER 6327 NEW BEST:: SOT 247617 SOS 201032 HAS SOPS 200375 HAS SOUS 75810 HAS SOUPS 75666 WITH SCORE 75867.032
AT ITER 6464 NEW BEST:: SOT 247610 SOS 201018 HAS SOPS 200368 HAS SOUS 75784 HAS SOUPS 75647 WITH SCORE 75848.018
AT ITER 6487 NEW BEST:: SOT 247610 SOS 200818 HAS SOPS 200154 HAS SOUS 75779 HAS SOUPS 75642 WITH SCORE 75842.818
AT ITER 6533 NEW BEST:: SOT 247599 SOS 200807 HAS SOPS 200143 HAS SOUS 75770 HAS SOUPS 75633 WITH SCORE 75833.807
AT ITER 6566 NEW BEST:: SOT 247599 SOS 200805 HAS SOPS 200143 HAS SOUS 75722 HAS SOUPS 75587 WITH SCORE 75787.805
AT ITER 6643 NEW BEST:: SOT 247560 SOS 200760 HAS SOPS 200097 HAS SOUS 75693 HAS SOUPS 75557 WITH SCORE 75757.76
AT ITER 6733 NEW BEST:: SOT 247553 SOS 200750 HAS SOPS 200090 HAS SOUS 75680 HAS SOUPS 75547 WITH SCORE 75747.75
AT ITER 6740 NEW BEST:: SOT 247495 SOS 200692 HAS SOPS 200032 HAS SOUS 75623 HAS SOUPS 75490 WITH SCORE 75690.692
AT ITER 6769 NEW BEST:: SOT 247495 SOS 200692 HAS SOPS 200032 HAS SOUS 75620 HAS SOUPS 75487 WITH SCORE 75687.692
AT ITER 6799 NEW BEST:: SOT 247425 SOS 200622 HAS SOPS 199962 HAS SOUS 75562 HAS SOUPS 75429 WITH SCORE 75629.622
AT ITER 6803 NEW BEST:: SOT 247302 SOS 200499 HAS SOPS 199839 HAS SOUS 75445 HAS SOUPS 75312 WITH SCORE 75512.499
AT ITER 6901 NEW BEST:: SOT 247158 SOS 200355 HAS SOPS 199695 HAS SOUS 75190 HAS SOUPS 75057 WITH SCORE 75257.355
AT ITER 6984 NEW BEST:: SOT 247138 SOS 200335 HAS SOPS 199675 HAS SOUS 75170 HAS SOUPS 75037 WITH SCORE 75237.335
AT ITER 7057 NEW BEST:: SOT 247138 SOS 200135 HAS SOPS 199465 HAS SOUS 75165 HAS SOUPS 75032 WITH SCORE 75232.135
AT ITER 7159 NEW BEST:: SOT 246590 SOS 199704 HAS SOPS 199034 HAS SOUS 74510 HAS SOUPS 74377 WITH SCORE 74576.704
AT ITER 7176 NEW BEST:: SOT 246536 SOS 199650 HAS SOPS 198980 HAS SOUS 74408 HAS SOUPS 74275 WITH SCORE 74474.65
AT ITER 7201 NEW BEST:: SOT 246514 SOS 199628 HAS SOPS 198958 HAS SOUS 74367 HAS SOUPS 74234 WITH SCORE 74433.628
AT ITER 7212 NEW BEST:: SOT 246472 SOS 199610 HAS SOPS 198958 HAS SOUS 74296 HAS SOUPS 74181 WITH SCORE 74380.61
AT ITER 7244 NEW BEST:: SOT 246472 SOS 199610 HAS SOPS 198958 HAS SOUS 74294 HAS SOUPS 74179 WITH SCORE 74378.61
AT ITER 7319 NEW BEST:: SOT 246445 SOS 199582 HAS SOPS 198931 HAS SOUS 74250 HAS SOUPS 74136 WITH SCORE 74335.582
AT ITER 7320 NEW BEST:: SOT 246431 SOS 199568 HAS SOPS 198917 HAS SOUS 74221 HAS SOUPS 74107 WITH SCORE 74306.568
AT ITER 7350 NEW BEST:: SOT 246428 SOS 199570 HAS SOPS 198921 HAS SOUS 74214 HAS SOUPS 74102 WITH SCORE 74301.57
AT ITER 7359 NEW BEST:: SOT 246426 SOS 199568 HAS SOPS 198919 HAS SOUS 74210 HAS SOUPS 74098 WITH SCORE 74297.568
AT ITER 7404 NEW BEST:: SOT 246393 SOS 199535 HAS SOPS 198886 HAS SOUS 74153 HAS SOUPS 74041 WITH SCORE 74240.535
AT ITER 7418 NEW BEST:: SOT 246381 SOS 199523 HAS SOPS 198874 HAS SOUS 74120 HAS SOUPS 74008 WITH SCORE 74207.523
AT ITER 7444 NEW BEST:: SOT 246379 SOS 199521 HAS SOPS 198872 HAS SOUS 74117 HAS SOUPS 74005 WITH SCORE 74204.521
AT ITER 7609 NEW BEST:: SOT 246347 SOS 199489 HAS SOPS 198840 HAS SOUS 74085 HAS SOUPS 73973 WITH SCORE 74172.489
AT ITER 7650 NEW BEST:: SOT 246295 SOS 199437 HAS SOPS 198788 HAS SOUS 73991 HAS SOUPS 73879 WITH SCORE 74078.437
AT ITER 7689 NEW BEST:: SOT 246214 SOS 199355 HAS SOPS 198707 HAS SOUS 73910 HAS SOUPS 73799 WITH SCORE 73998.355
AT ITER 7744 NEW BEST:: SOT 246020 SOS 199155 HAS SOPS 198513 HAS SOUS 73596 HAS SOUPS 73491 WITH SCORE 73690.155
AT ITER 7754 NEW BEST:: SOT 245979 SOS 199114 HAS SOPS 198472 HAS SOUS 73572 HAS SOUPS 73467 WITH SCORE 73666.114
AT ITER 7757 NEW BEST:: SOT 245939 SOS 199074 HAS SOPS 198432 HAS SOUS 73532 HAS SOUPS 73427 WITH SCORE 73626.074
AT ITER 7851 NEW BEST:: SOT 245888 SOS 199023 HAS SOPS 198381 HAS SOUS 73440 HAS SOUPS 73335 WITH SCORE 73534.023
AT ITER 7879 NEW BEST:: SOT 245838 SOS 198973 HAS SOPS 198331 HAS SOUS 73414 HAS SOUPS 73309 WITH SCORE 73507.973
AT ITER 8002 NEW BEST:: SOT 245702 SOS 198867 HAS SOPS 198230 HAS SOUS 73332 HAS SOUPS 73232 WITH SCORE 73430.867
AT ITER 8170 NEW BEST:: SOT 245368 SOS 198533 HAS SOPS 197896 HAS SOUS 73013 HAS SOUPS 72913 WITH SCORE 73111.533
AT ITER 8193 NEW BEST:: SOT 245248 SOS 198413 HAS SOPS 197776 HAS SOUS 72894 HAS SOUPS 72794 WITH SCORE 72992.413
AT ITER 8253 NEW BEST:: SOT 245248 SOS 198410 HAS SOPS 197773 HAS SOUS 72891 HAS SOUPS 72791 WITH SCORE 72989.41
AT ITER 8340 NEW BEST:: SOT 245226 SOS 198388 HAS SOPS 197751 HAS SOUS 72848 HAS SOUPS 72748 WITH SCORE 72946.388
AT ITER 8374 NEW BEST:: SOT 245236 SOS 198398 HAS SOPS 197761 HAS SOUS 72845 HAS SOUPS 72745 WITH SCORE 72943.398
AT ITER 8396 NEW BEST:: SOT 245233 SOS 198392 HAS SOPS 197758 HAS SOUS 72822 HAS SOUPS 72725 WITH SCORE 72923.392
AT ITER 8428 NEW BEST:: SOT 245150 SOS 198309 HAS SOPS 197675 HAS SOUS 72702 HAS SOUPS 72605 WITH SCORE 72803.309
AT ITER 8475 NEW BEST:: SOT 245087 SOS 198246 HAS SOPS 197612 HAS SOUS 72565 HAS SOUPS 72468 WITH SCORE 72666.246
AT ITER 8499 NEW BEST:: SOT 245071 SOS 198230 HAS SOPS 197596 HAS SOUS 72549 HAS SOUPS 72452 WITH SCORE 72650.23
AT ITER 8527 NEW BEST:: SOT 245005 SOS 198161 HAS SOPS 197530 HAS SOUS 72426 HAS SOUPS 72332 WITH SCORE 72530.161
AT ITER 8565 NEW BEST:: SOT 244996 SOS 198152 HAS SOPS 197521 HAS SOUS 72417 HAS SOUPS 72323 WITH SCORE 72521.152
AT ITER 8689 NEW BEST:: SOT 244986 SOS 198142 HAS SOPS 197511 HAS SOUS 72407 HAS SOUPS 72313 WITH SCORE 72511.142
AT ITER 8690 NEW BEST:: SOT 244993 SOS 198714 HAS SOPS 198106 HAS SOUS 72235 HAS SOUPS 72150 WITH SCORE 72348.714
AT ITER 8712 NEW BEST:: SOT 244993 SOS 198715 HAS SOPS 198106 HAS SOUS 72235 HAS SOUPS 72149 WITH SCORE 72347.715
AT ITER 8733 NEW BEST:: SOT 244953 SOS 198671 HAS SOPS 198066 HAS SOUS 72155 HAS SOUPS 72073 WITH SCORE 72271.671
AT ITER 8799 NEW BEST:: SOT 244920 SOS 198638 HAS SOPS 198033 HAS SOUS 72086 HAS SOUPS 72004 WITH SCORE 72202.638
AT ITER 8841 NEW BEST:: SOT 244460 SOS 198221 HAS SOPS 197616 HAS SOUS 71758 HAS SOUPS 71676 WITH SCORE 71874.221
AT ITER 8924 NEW BEST:: SOT 244428 SOS 198205 HAS SOPS 197602 HAS SOUS 71726 HAS SOUPS 71646 WITH SCORE 71844.205
AT ITER 8988 NEW BEST:: SOT 244428 SOS 198005 HAS SOPS 197388 HAS SOUS 71721 HAS SOUPS 71641 WITH SCORE 71839.005
AT ITER 9006 NEW BEST:: SOT 244428 SOS 197805 HAS SOPS 197188 HAS SOUS 71721 HAS SOUPS 71641 WITH SCORE 71838.805
AT ITER 9087 NEW BEST:: SOT 244428 SOS 197794 HAS SOPS 197177 HAS SOUS 71721 HAS SOUPS 71641 WITH SCORE 71838.794
AT ITER 9197 NEW BEST:: SOT 244428 SOS 197783 HAS SOPS 197166 HAS SOUS 71721 HAS SOUPS 71641 WITH SCORE 71838.783
AT ITER 9245 NEW BEST:: SOT 244428 SOS 197183 HAS SOPS 196530 HAS SOUS 71709 HAS SOUPS 71629 WITH SCORE 71826.183
AT ITER 9294 NEW BEST:: SOT 244425 SOS 197178 HAS SOPS 196527 HAS SOUS 71692 HAS SOUPS 71614 WITH SCORE 71811.178
AT ITER 9298 NEW BEST:: SOT 244417 SOS 197170 HAS SOPS 196519 HAS SOUS 71684 HAS SOUPS 71606 WITH SCORE 71803.17
AT ITER 9516 NEW BEST:: SOT 244335 SOS 197118 HAS SOPS 196437 HAS SOUS 71650 HAS SOUPS 71542 WITH SCORE 71739.118
AT ITER 9693 NEW BEST:: SOT 244239 SOS 197022 HAS SOPS 196341 HAS SOUS 71521 HAS SOUPS 71413 WITH SCORE 71610.022
AT ITER 9789 NEW BEST:: SOT 244239 SOS 197189 HAS SOPS 196508 HAS SOUS 71519 HAS SOUPS 71411 WITH SCORE 71608.189
AT ITER 9841 NEW BEST:: SOT 244230 SOS 197186 HAS SOPS 196499 HAS SOUS 71515 HAS SOUPS 71401 WITH SCORE 71598.186
AT ITER 9942 NEW BEST:: SOT 244061 SOS 197012 HAS SOPS 196330 HAS SOUS 71259 HAS SOUPS 71150 WITH SCORE 71347.012

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="PhilosophersDyn-PT-10"
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 PhilosophersDyn-PT-10, 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 r123-tajo-158961354500248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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