Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600248.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Raft-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.6K Apr 12 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 09:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 09:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 62K Mar 24 05:38 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 1589799784840

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

Filename model.pnml
Petri model created: 133 places, 238 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 27317 SOS 17522 HAS SOPS 17502 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.522
AT ITER 5 NEW BEST:: SOT 27317 SOS 17515 HAS SOPS 17495 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.515
AT ITER 8 NEW BEST:: SOT 27155 SOS 17370 HAS SOPS 17332 HAS SOUS 13818 HAS SOUPS 13796 WITH SCORE 13813.37
AT ITER 9 NEW BEST:: SOT 27087 SOS 17293 HAS SOPS 17247 HAS SOUS 13708 HAS SOUPS 13679 WITH SCORE 13696.293
AT ITER 11 NEW BEST:: SOT 26955 SOS 17211 HAS SOPS 17150 HAS SOUS 13594 HAS SOUPS 13551 WITH SCORE 13568.211
AT ITER 13 NEW BEST:: SOT 26129 SOS 17494 HAS SOPS 16565 HAS SOUS 13243 HAS SOUPS 13124 WITH SCORE 13141.494
AT ITER 18 NEW BEST:: SOT 26129 SOS 17298 HAS SOPS 16369 HAS SOUS 13243 HAS SOUPS 13124 WITH SCORE 13141.298
AT ITER 19 NEW BEST:: SOT 26089 SOS 17210 HAS SOPS 16277 HAS SOUS 13105 HAS SOUPS 12986 WITH SCORE 13003.21
AT ITER 20 NEW BEST:: SOT 25992 SOS 17113 HAS SOPS 16206 HAS SOUS 13019 HAS SOUPS 12923 WITH SCORE 12940.113
AT ITER 21 NEW BEST:: SOT 25986 SOS 17101 HAS SOPS 16194 HAS SOUS 13007 HAS SOUPS 12911 WITH SCORE 12928.101
AT ITER 23 NEW BEST:: SOT 25986 SOS 17098 HAS SOPS 16155 HAS SOUS 13007 HAS SOUPS 12911 WITH SCORE 12928.098
AT ITER 25 NEW BEST:: SOT 25986 SOS 16978 HAS SOPS 16035 HAS SOUS 12985 HAS SOUPS 12889 WITH SCORE 12905.978
AT ITER 26 NEW BEST:: SOT 25806 SOS 16798 HAS SOPS 15855 HAS SOUS 12805 HAS SOUPS 12709 WITH SCORE 12725.798
AT ITER 33 NEW BEST:: SOT 25723 SOS 16731 HAS SOPS 15788 HAS SOUS 12720 HAS SOUPS 12624 WITH SCORE 12640.731
AT ITER 34 NEW BEST:: SOT 25723 SOS 16580 HAS SOPS 15700 HAS SOUS 12702 HAS SOUPS 12606 WITH SCORE 12622.58
AT ITER 36 NEW BEST:: SOT 25723 SOS 16373 HAS SOPS 15508 HAS SOUS 12664 HAS SOUPS 12568 WITH SCORE 12584.373
AT ITER 38 NEW BEST:: SOT 25723 SOS 16311 HAS SOPS 15446 HAS SOUS 12662 HAS SOUPS 12566 WITH SCORE 12582.311
AT ITER 40 NEW BEST:: SOT 25561 SOS 16190 HAS SOPS 15300 HAS SOUS 12565 HAS SOUPS 12465 WITH SCORE 12481.19
AT ITER 43 NEW BEST:: SOT 25383 SOS 15973 HAS SOPS 15038 HAS SOUS 12339 HAS SOUPS 12203 WITH SCORE 12218.973
AT ITER 45 NEW BEST:: SOT 25243 SOS 16189 HAS SOPS 14966 HAS SOUS 12299 HAS SOUPS 12147 WITH SCORE 12163.189
AT ITER 46 NEW BEST:: SOT 25243 SOS 15946 HAS SOPS 14776 HAS SOUS 12299 HAS SOUPS 12147 WITH SCORE 12162.946
AT ITER 47 NEW BEST:: SOT 25243 SOS 15872 HAS SOPS 14776 HAS SOUS 12269 HAS SOUPS 12117 WITH SCORE 12132.872
AT ITER 51 NEW BEST:: SOT 24907 SOS 15502 HAS SOPS 14409 HAS SOUS 11844 HAS SOUPS 11692 WITH SCORE 11707.502
AT ITER 53 NEW BEST:: SOT 24907 SOS 15474 HAS SOPS 14381 HAS SOUS 11788 HAS SOUPS 11636 WITH SCORE 11651.474
AT ITER 54 NEW BEST:: SOT 24615 SOS 15182 HAS SOPS 14089 HAS SOUS 11516 HAS SOUPS 11364 WITH SCORE 11379.182
AT ITER 56 NEW BEST:: SOT 24615 SOS 15193 HAS SOPS 14100 HAS SOUS 11505 HAS SOUPS 11353 WITH SCORE 11368.193
AT ITER 58 NEW BEST:: SOT 24615 SOS 15148 HAS SOPS 14100 HAS SOUS 11499 HAS SOUPS 11347 WITH SCORE 11362.148
AT ITER 60 NEW BEST:: SOT 24615 SOS 15138 HAS SOPS 14090 HAS SOUS 11499 HAS SOUPS 11347 WITH SCORE 11362.138
AT ITER 71 NEW BEST:: SOT 24602 SOS 15101 HAS SOPS 14087 HAS SOUS 11497 HAS SOUPS 11345 WITH SCORE 11360.101
AT ITER 73 NEW BEST:: SOT 24600 SOS 15097 HAS SOPS 14083 HAS SOUS 11493 HAS SOUPS 11341 WITH SCORE 11356.097
AT ITER 79 NEW BEST:: SOT 24532 SOS 15006 HAS SOPS 13974 HAS SOUS 11351 HAS SOUPS 11199 WITH SCORE 11214.006
AT ITER 80 NEW BEST:: SOT 24435 SOS 14841 HAS SOPS 13809 HAS SOUS 11203 HAS SOUPS 11051 WITH SCORE 11065.841
AT ITER 81 NEW BEST:: SOT 23692 SOS 14044 HAS SOPS 13012 HAS SOUS 10439 HAS SOUPS 10287 WITH SCORE 10301.044
AT ITER 82 NEW BEST:: SOT 23577 SOS 13946 HAS SOPS 12904 HAS SOUS 10341 HAS SOUPS 10189 WITH SCORE 10202.946
AT ITER 84 NEW BEST:: SOT 23577 SOS 14020 HAS SOPS 12978 HAS SOUS 10339 HAS SOUPS 10187 WITH SCORE 10201.02
AT ITER 88 NEW BEST:: SOT 23564 SOS 14034 HAS SOPS 12987 HAS SOUS 10330 HAS SOUPS 10178 WITH SCORE 10192.034
AT ITER 89 NEW BEST:: SOT 23554 SOS 14023 HAS SOPS 12972 HAS SOUS 10312 HAS SOUPS 10160 WITH SCORE 10174.023
AT ITER 90 NEW BEST:: SOT 22444 SOS 13890 HAS SOPS 12367 HAS SOUS 9703 HAS SOUPS 9480 WITH SCORE 9493.89
AT ITER 91 NEW BEST:: SOT 22444 SOS 13869 HAS SOPS 12325 HAS SOUS 9682 HAS SOUPS 9459 WITH SCORE 9472.869
AT ITER 92 NEW BEST:: SOT 22234 SOS 13674 HAS SOPS 12294 HAS SOUS 9617 HAS SOUPS 9394 WITH SCORE 9407.674
AT ITER 97 NEW BEST:: SOT 22233 SOS 13709 HAS SOPS 12251 HAS SOUS 9555 HAS SOUPS 9332 WITH SCORE 9345.709
AT ITER 102 NEW BEST:: SOT 22049 SOS 13525 HAS SOPS 12051 HAS SOUS 9333 HAS SOUPS 9110 WITH SCORE 9123.525
AT ITER 104 NEW BEST:: SOT 21998 SOS 13492 HAS SOPS 12081 HAS SOUS 9299 HAS SOUPS 9103 WITH SCORE 9116.492
AT ITER 105 NEW BEST:: SOT 21982 SOS 13465 HAS SOPS 12029 HAS SOUS 9263 HAS SOUPS 9067 WITH SCORE 9080.465
AT ITER 106 NEW BEST:: SOT 22025 SOS 13276 HAS SOPS 11840 HAS SOUS 9192 HAS SOUPS 8996 WITH SCORE 9009.276
AT ITER 109 NEW BEST:: SOT 22018 SOS 13269 HAS SOPS 11833 HAS SOUS 9185 HAS SOUPS 8989 WITH SCORE 9002.269
AT ITER 116 NEW BEST:: SOT 22018 SOS 13258 HAS SOPS 11822 HAS SOUS 9162 HAS SOUPS 8966 WITH SCORE 8979.258
AT ITER 117 NEW BEST:: SOT 21901 SOS 13021 HAS SOPS 11527 HAS SOUS 9075 HAS SOUPS 8862 WITH SCORE 8875.021
AT ITER 120 NEW BEST:: SOT 21648 SOS 12778 HAS SOPS 11283 HAS SOUS 8786 HAS SOUPS 8573 WITH SCORE 8585.778
AT ITER 123 NEW BEST:: SOT 21574 SOS 12706 HAS SOPS 11201 HAS SOUS 8704 HAS SOUPS 8491 WITH SCORE 8503.706
AT ITER 127 NEW BEST:: SOT 21552 SOS 12662 HAS SOPS 11135 HAS SOUS 8639 HAS SOUPS 8426 WITH SCORE 8438.662
AT ITER 133 NEW BEST:: SOT 21552 SOS 12659 HAS SOPS 11097 HAS SOUS 8639 HAS SOUPS 8426 WITH SCORE 8438.659
AT ITER 135 NEW BEST:: SOT 21528 SOS 12573 HAS SOPS 11011 HAS SOUS 8572 HAS SOUPS 8359 WITH SCORE 8371.573
AT ITER 137 NEW BEST:: SOT 21505 SOS 12633 HAS SOPS 11032 HAS SOUS 8573 HAS SOUPS 8357 WITH SCORE 8369.633
AT ITER 140 NEW BEST:: SOT 21495 SOS 12623 HAS SOPS 11012 HAS SOUS 8563 HAS SOUPS 8347 WITH SCORE 8359.623
AT ITER 150 NEW BEST:: SOT 21491 SOS 12604 HAS SOPS 10993 HAS SOUS 8560 HAS SOUPS 8344 WITH SCORE 8356.604
AT ITER 159 NEW BEST:: SOT 21475 SOS 12572 HAS SOPS 10961 HAS SOUS 8544 HAS SOUPS 8328 WITH SCORE 8340.572
AT ITER 161 NEW BEST:: SOT 21520 SOS 12527 HAS SOPS 10916 HAS SOUS 8544 HAS SOUPS 8328 WITH SCORE 8340.527
AT ITER 164 NEW BEST:: SOT 21613 SOS 12540 HAS SOPS 10830 HAS SOUS 8529 HAS SOUPS 8313 WITH SCORE 8325.54
AT ITER 168 NEW BEST:: SOT 21613 SOS 12477 HAS SOPS 10793 HAS SOUS 8490 HAS SOUPS 8274 WITH SCORE 8286.477
AT ITER 170 NEW BEST:: SOT 21647 SOS 12473 HAS SOPS 10671 HAS SOUS 8482 HAS SOUPS 8266 WITH SCORE 8278.473
AT ITER 171 NEW BEST:: SOT 21615 SOS 12441 HAS SOPS 10671 HAS SOUS 8478 HAS SOUPS 8262 WITH SCORE 8274.441
AT ITER 187 NEW BEST:: SOT 20583 SOS 12254 HAS SOPS 9863 HAS SOUS 7723 HAS SOUPS 7451 WITH SCORE 7463.254
AT ITER 188 NEW BEST:: SOT 20583 SOS 12038 HAS SOPS 9647 HAS SOUS 7704 HAS SOUPS 7432 WITH SCORE 7444.038
AT ITER 190 NEW BEST:: SOT 20300 SOS 11856 HAS SOPS 9419 HAS SOUS 7501 HAS SOUPS 7218 WITH SCORE 7229.856
AT ITER 196 NEW BEST:: SOT 20177 SOS 11783 HAS SOPS 9482 HAS SOUS 7491 HAS SOUPS 7208 WITH SCORE 7219.783
AT ITER 197 NEW BEST:: SOT 20177 SOS 11782 HAS SOPS 9481 HAS SOUS 7491 HAS SOUPS 7208 WITH SCORE 7219.782
AT ITER 198 NEW BEST:: SOT 20177 SOS 11769 HAS SOPS 9468 HAS SOUS 7491 HAS SOUPS 7208 WITH SCORE 7219.769
AT ITER 204 NEW BEST:: SOT 20168 SOS 11760 HAS SOPS 9477 HAS SOUS 7488 HAS SOUPS 7205 WITH SCORE 7216.76
AT ITER 229 NEW BEST:: SOT 20040 SOS 11632 HAS SOPS 9481 HAS SOUS 7416 HAS SOUPS 7133 WITH SCORE 7144.632
AT ITER 232 NEW BEST:: SOT 20027 SOS 11619 HAS SOPS 9455 HAS SOUS 7381 HAS SOUPS 7098 WITH SCORE 7109.619
AT ITER 233 NEW BEST:: SOT 20025 SOS 11617 HAS SOPS 9452 HAS SOUS 7379 HAS SOUPS 7096 WITH SCORE 7107.617
AT ITER 248 NEW BEST:: SOT 20025 SOS 11652 HAS SOPS 9487 HAS SOUS 7365 HAS SOUPS 7082 WITH SCORE 7093.652
AT ITER 250 NEW BEST:: SOT 20021 SOS 11644 HAS SOPS 9479 HAS SOUS 7361 HAS SOUPS 7078 WITH SCORE 7089.644
AT ITER 255 NEW BEST:: SOT 19978 SOS 11614 HAS SOPS 9451 HAS SOUS 7332 HAS SOUPS 7049 WITH SCORE 7060.614
AT ITER 266 NEW BEST:: SOT 19940 SOS 11521 HAS SOPS 9350 HAS SOUS 7276 HAS SOUPS 6993 WITH SCORE 7004.521
AT ITER 272 NEW BEST:: SOT 19971 SOS 11506 HAS SOPS 9325 HAS SOUS 7268 HAS SOUPS 6985 WITH SCORE 6996.506
AT ITER 274 NEW BEST:: SOT 19970 SOS 11504 HAS SOPS 9323 HAS SOUS 7263 HAS SOUPS 6980 WITH SCORE 6991.504
AT ITER 275 NEW BEST:: SOT 19985 SOS 11554 HAS SOPS 9398 HAS SOUS 7246 HAS SOUPS 6963 WITH SCORE 6974.554
AT ITER 281 NEW BEST:: SOT 19952 SOS 11509 HAS SOPS 9397 HAS SOUS 7199 HAS SOUPS 6916 WITH SCORE 6927.509
AT ITER 284 NEW BEST:: SOT 19876 SOS 11421 HAS SOPS 9321 HAS SOUS 7139 HAS SOUPS 6856 WITH SCORE 6867.421
AT ITER 287 NEW BEST:: SOT 19868 SOS 11413 HAS SOPS 9273 HAS SOUS 7120 HAS SOUPS 6808 WITH SCORE 6819.413
AT ITER 289 NEW BEST:: SOT 19527 SOS 11704 HAS SOPS 9104 HAS SOUS 7012 HAS SOUPS 6668 WITH SCORE 6679.704
AT ITER 298 NEW BEST:: SOT 19516 SOS 11693 HAS SOPS 9096 HAS SOUS 7001 HAS SOUPS 6657 WITH SCORE 6668.693
AT ITER 303 NEW BEST:: SOT 19516 SOS 11693 HAS SOPS 9096 HAS SOUS 6998 HAS SOUPS 6654 WITH SCORE 6665.693
AT ITER 306 NEW BEST:: SOT 19122 SOS 12568 HAS SOPS 9061 HAS SOUS 6898 HAS SOUPS 6505 WITH SCORE 6517.568
AT ITER 308 NEW BEST:: SOT 19122 SOS 12568 HAS SOPS 9061 HAS SOUS 6892 HAS SOUPS 6499 WITH SCORE 6511.568
AT ITER 320 NEW BEST:: SOT 19117 SOS 12558 HAS SOPS 9046 HAS SOUS 6882 HAS SOUPS 6489 WITH SCORE 6501.558
AT ITER 324 NEW BEST:: SOT 19091 SOS 12532 HAS SOPS 9034 HAS SOUS 6863 HAS SOUPS 6470 WITH SCORE 6482.532
AT ITER 325 NEW BEST:: SOT 18991 SOS 12463 HAS SOPS 8947 HAS SOUS 6780 HAS SOUPS 6383 WITH SCORE 6395.463
AT ITER 342 NEW BEST:: SOT 18955 SOS 12427 HAS SOPS 8905 HAS SOUS 6732 HAS SOUPS 6335 WITH SCORE 6347.427
AT ITER 347 NEW BEST:: SOT 18935 SOS 12421 HAS SOPS 8889 HAS SOUS 6692 HAS SOUPS 6295 WITH SCORE 6307.421
AT ITER 361 NEW BEST:: SOT 18932 SOS 12417 HAS SOPS 8884 HAS SOUS 6689 HAS SOUPS 6292 WITH SCORE 6304.417
AT ITER 363 NEW BEST:: SOT 18930 SOS 12400 HAS SOPS 8881 HAS SOUS 6685 HAS SOUPS 6288 WITH SCORE 6300.4
AT ITER 364 NEW BEST:: SOT 18930 SOS 12406 HAS SOPS 8854 HAS SOUS 6684 HAS SOUPS 6287 WITH SCORE 6299.406
AT ITER 371 NEW BEST:: SOT 18902 SOS 12383 HAS SOPS 8817 HAS SOUS 6635 HAS SOUPS 6238 WITH SCORE 6250.383
AT ITER 376 NEW BEST:: SOT 18819 SOS 12341 HAS SOPS 8822 HAS SOUS 6572 HAS SOUPS 6175 WITH SCORE 6187.341
AT ITER 377 NEW BEST:: SOT 18809 SOS 12326 HAS SOPS 8827 HAS SOUS 6567 HAS SOUPS 6170 WITH SCORE 6182.326
AT ITER 381 NEW BEST:: SOT 18728 SOS 12245 HAS SOPS 8746 HAS SOUS 6526 HAS SOUPS 6129 WITH SCORE 6141.245
AT ITER 388 NEW BEST:: SOT 18725 SOS 12275 HAS SOPS 8776 HAS SOUS 6523 HAS SOUPS 6126 WITH SCORE 6138.275
AT ITER 400 NEW BEST:: SOT 18725 SOS 12275 HAS SOPS 8764 HAS SOUS 6515 HAS SOUPS 6118 WITH SCORE 6130.275
AT ITER 401 NEW BEST:: SOT 18727 SOS 12267 HAS SOPS 8747 HAS SOUS 6512 HAS SOUPS 6115 WITH SCORE 6127.267
AT ITER 414 NEW BEST:: SOT 18723 SOS 12259 HAS SOPS 8739 HAS SOUS 6512 HAS SOUPS 6115 WITH SCORE 6127.259
AT ITER 418 NEW BEST:: SOT 18721 SOS 12286 HAS SOPS 8771 HAS SOUS 6509 HAS SOUPS 6112 WITH SCORE 6124.286
AT ITER 421 NEW BEST:: SOT 18592 SOS 12051 HAS SOPS 8536 HAS SOUS 6367 HAS SOUPS 5970 WITH SCORE 5982.051
AT ITER 423 NEW BEST:: SOT 18560 SOS 12019 HAS SOPS 8512 HAS SOUS 6343 HAS SOUPS 5946 WITH SCORE 5958.019
AT ITER 436 NEW BEST:: SOT 18485 SOS 11944 HAS SOPS 8449 HAS SOUS 6258 HAS SOUPS 5861 WITH SCORE 5872.944
AT ITER 445 NEW BEST:: SOT 18361 SOS 12531 HAS SOPS 8598 HAS SOUS 6270 HAS SOUPS 5851 WITH SCORE 5863.531
AT ITER 447 NEW BEST:: SOT 18361 SOS 12531 HAS SOPS 8598 HAS SOUS 6261 HAS SOUPS 5842 WITH SCORE 5854.531
AT ITER 448 NEW BEST:: SOT 18373 SOS 12441 HAS SOPS 8568 HAS SOUS 6255 HAS SOUPS 5839 WITH SCORE 5851.441
AT ITER 450 NEW BEST:: SOT 18370 SOS 12450 HAS SOPS 8574 HAS SOUS 6252 HAS SOUPS 5836 WITH SCORE 5848.45
AT ITER 451 NEW BEST:: SOT 18252 SOS 12332 HAS SOPS 8492 HAS SOUS 6144 HAS SOUPS 5728 WITH SCORE 5740.332
AT ITER 453 NEW BEST:: SOT 18166 SOS 12241 HAS SOPS 8480 HAS SOUS 6063 HAS SOUPS 5647 WITH SCORE 5659.241
AT ITER 455 NEW BEST:: SOT 18125 SOS 12200 HAS SOPS 8430 HAS SOUS 6020 HAS SOUPS 5604 WITH SCORE 5616.2
AT ITER 457 NEW BEST:: SOT 18091 SOS 12121 HAS SOPS 8381 HAS SOUS 5966 HAS SOUPS 5550 WITH SCORE 5562.121
AT ITER 462 NEW BEST:: SOT 17138 SOS 12918 HAS SOPS 8310 HAS SOUS 5526 HAS SOUPS 5030 WITH SCORE 5042.918
AT ITER 483 NEW BEST:: SOT 17100 SOS 12880 HAS SOPS 8272 HAS SOUS 5525 HAS SOUPS 5029 WITH SCORE 5041.88
AT ITER 514 NEW BEST:: SOT 17091 SOS 12871 HAS SOPS 8263 HAS SOUS 5516 HAS SOUPS 5020 WITH SCORE 5032.871
AT ITER 515 NEW BEST:: SOT 17091 SOS 12859 HAS SOPS 8263 HAS SOUS 5516 HAS SOUPS 5020 WITH SCORE 5032.859
AT ITER 516 NEW BEST:: SOT 17111 SOS 12879 HAS SOPS 8169 HAS SOUS 5480 HAS SOUPS 4976 WITH SCORE 4988.879
AT ITER 521 NEW BEST:: SOT 17081 SOS 12849 HAS SOPS 8159 HAS SOUS 5476 HAS SOUPS 4972 WITH SCORE 4984.849
AT ITER 524 NEW BEST:: SOT 17067 SOS 12829 HAS SOPS 8123 HAS SOUS 5455 HAS SOUPS 4951 WITH SCORE 4963.829
AT ITER 531 NEW BEST:: SOT 17079 SOS 12841 HAS SOPS 8135 HAS SOUS 5418 HAS SOUPS 4914 WITH SCORE 4926.841
AT ITER 532 NEW BEST:: SOT 17075 SOS 12837 HAS SOPS 8127 HAS SOUS 5407 HAS SOUPS 4903 WITH SCORE 4915.837
AT ITER 533 NEW BEST:: SOT 17054 SOS 12816 HAS SOPS 8099 HAS SOUS 5372 HAS SOUPS 4868 WITH SCORE 4880.816
AT ITER 538 NEW BEST:: SOT 17050 SOS 12814 HAS SOPS 8078 HAS SOUS 5368 HAS SOUPS 4864 WITH SCORE 4876.814
AT ITER 562 NEW BEST:: SOT 16986 SOS 12581 HAS SOPS 7845 HAS SOUS 5277 HAS SOUPS 4773 WITH SCORE 4785.581
AT ITER 578 NEW BEST:: SOT 16984 SOS 12579 HAS SOPS 7842 HAS SOUS 5274 HAS SOUPS 4770 WITH SCORE 4782.579
AT ITER 585 NEW BEST:: SOT 16955 SOS 12550 HAS SOPS 7833 HAS SOUS 5250 HAS SOUPS 4758 WITH SCORE 4770.55
AT ITER 586 NEW BEST:: SOT 16931 SOS 12526 HAS SOPS 7801 HAS SOUS 5212 HAS SOUPS 4720 WITH SCORE 4732.526
AT ITER 594 NEW BEST:: SOT 16927 SOS 12522 HAS SOPS 7793 HAS SOUS 5204 HAS SOUPS 4712 WITH SCORE 4724.522
AT ITER 599 NEW BEST:: SOT 16927 SOS 12522 HAS SOPS 7793 HAS SOUS 5196 HAS SOUPS 4704 WITH SCORE 4716.522
AT ITER 611 NEW BEST:: SOT 16901 SOS 12475 HAS SOPS 7746 HAS SOUS 5194 HAS SOUPS 4702 WITH SCORE 4714.475
AT ITER 620 NEW BEST:: SOT 16931 SOS 12473 HAS SOPS 7770 HAS SOUS 5169 HAS SOUPS 4677 WITH SCORE 4689.473
AT ITER 631 NEW BEST:: SOT 16925 SOS 12467 HAS SOPS 7776 HAS SOUS 5169 HAS SOUPS 4677 WITH SCORE 4689.467
AT ITER 642 NEW BEST:: SOT 16903 SOS 12445 HAS SOPS 7743 HAS SOUS 5134 HAS SOUPS 4642 WITH SCORE 4654.445
AT ITER 647 NEW BEST:: SOT 16858 SOS 12393 HAS SOPS 7664 HAS SOUS 5031 HAS SOUPS 4539 WITH SCORE 4551.393
AT ITER 650 NEW BEST:: SOT 16800 SOS 12335 HAS SOPS 7664 HAS SOUS 5025 HAS SOUPS 4533 WITH SCORE 4545.335
AT ITER 651 NEW BEST:: SOT 16745 SOS 12295 HAS SOPS 7627 HAS SOUS 5005 HAS SOUPS 4513 WITH SCORE 4525.295
AT ITER 654 NEW BEST:: SOT 16728 SOS 12278 HAS SOPS 7576 HAS SOUS 4968 HAS SOUPS 4476 WITH SCORE 4488.278
AT ITER 656 NEW BEST:: SOT 16728 SOS 12278 HAS SOPS 7576 HAS SOUS 4965 HAS SOUPS 4473 WITH SCORE 4485.278
AT ITER 669 NEW BEST:: SOT 16720 SOS 12270 HAS SOPS 7560 HAS SOUS 4938 HAS SOUPS 4446 WITH SCORE 4458.27
AT ITER 670 NEW BEST:: SOT 16725 SOS 12235 HAS SOPS 7546 HAS SOUS 4937 HAS SOUPS 4446 WITH SCORE 4458.235
AT ITER 675 NEW BEST:: SOT 16723 SOS 12233 HAS SOPS 7536 HAS SOUS 4927 HAS SOUPS 4436 WITH SCORE 4448.233
AT ITER 677 NEW BEST:: SOT 16707 SOS 12213 HAS SOPS 7515 HAS SOUS 4913 HAS SOUPS 4422 WITH SCORE 4434.213
AT ITER 694 NEW BEST:: SOT 16712 SOS 12218 HAS SOPS 7520 HAS SOUS 4908 HAS SOUPS 4417 WITH SCORE 4429.218
AT ITER 697 NEW BEST:: SOT 16643 SOS 12149 HAS SOPS 7405 HAS SOUS 4838 HAS SOUPS 4347 WITH SCORE 4359.149
AT ITER 716 NEW BEST:: SOT 16635 SOS 12141 HAS SOPS 7393 HAS SOUS 4821 HAS SOUPS 4330 WITH SCORE 4342.141
AT ITER 718 NEW BEST:: SOT 16622 SOS 12128 HAS SOPS 7377 HAS SOUS 4786 HAS SOUPS 4295 WITH SCORE 4307.128
AT ITER 724 NEW BEST:: SOT 16614 SOS 12120 HAS SOPS 7377 HAS SOUS 4782 HAS SOUPS 4291 WITH SCORE 4303.12
AT ITER 726 NEW BEST:: SOT 16616 SOS 12122 HAS SOPS 7374 HAS SOUS 4781 HAS SOUPS 4290 WITH SCORE 4302.122
AT ITER 731 NEW BEST:: SOT 16616 SOS 12122 HAS SOPS 7374 HAS SOUS 4775 HAS SOUPS 4284 WITH SCORE 4296.122
AT ITER 743 NEW BEST:: SOT 16612 SOS 12118 HAS SOPS 7374 HAS SOUS 4771 HAS SOUPS 4280 WITH SCORE 4292.118
AT ITER 746 NEW BEST:: SOT 16573 SOS 12067 HAS SOPS 7315 HAS SOUS 4711 HAS SOUPS 4220 WITH SCORE 4232.067
AT ITER 761 NEW BEST:: SOT 16617 SOS 11621 HAS SOPS 7113 HAS SOUS 4679 HAS SOUPS 4200 WITH SCORE 4211.621
AT ITER 767 NEW BEST:: SOT 16617 SOS 11619 HAS SOPS 7111 HAS SOUS 4679 HAS SOUPS 4200 WITH SCORE 4211.619
AT ITER 781 NEW BEST:: SOT 16591 SOS 11593 HAS SOPS 6981 HAS SOUS 4644 HAS SOUPS 4165 WITH SCORE 4176.593
AT ITER 782 NEW BEST:: SOT 16589 SOS 11591 HAS SOPS 6974 HAS SOUS 4639 HAS SOUPS 4160 WITH SCORE 4171.591
AT ITER 789 NEW BEST:: SOT 16580 SOS 11589 HAS SOPS 6972 HAS SOUS 4638 HAS SOUPS 4159 WITH SCORE 4170.589
AT ITER 805 NEW BEST:: SOT 16566 SOS 11575 HAS SOPS 6968 HAS SOUS 4630 HAS SOUPS 4155 WITH SCORE 4166.575
AT ITER 815 NEW BEST:: SOT 16567 SOS 11575 HAS SOPS 6968 HAS SOUS 4628 HAS SOUPS 4153 WITH SCORE 4164.575
AT ITER 822 NEW BEST:: SOT 16564 SOS 11577 HAS SOPS 6980 HAS SOUS 4623 HAS SOUPS 4148 WITH SCORE 4159.577
AT ITER 826 NEW BEST:: SOT 16498 SOS 11511 HAS SOPS 6804 HAS SOUS 4526 HAS SOUPS 4051 WITH SCORE 4062.511
AT ITER 841 NEW BEST:: SOT 16498 SOS 11511 HAS SOPS 6804 HAS SOUS 4521 HAS SOUPS 4046 WITH SCORE 4057.511
AT ITER 849 NEW BEST:: SOT 16472 SOS 11478 HAS SOPS 6765 HAS SOUS 4470 HAS SOUPS 3995 WITH SCORE 4006.478
AT ITER 866 NEW BEST:: SOT 16458 SOS 11464 HAS SOPS 6751 HAS SOUS 4454 HAS SOUPS 3979 WITH SCORE 3990.464
AT ITER 886 NEW BEST:: SOT 16454 SOS 11460 HAS SOPS 6737 HAS SOUS 4442 HAS SOUPS 3967 WITH SCORE 3978.46
AT ITER 890 NEW BEST:: SOT 16446 SOS 11452 HAS SOPS 6721 HAS SOUS 4439 HAS SOUPS 3964 WITH SCORE 3975.452
AT ITER 897 NEW BEST:: SOT 16454 SOS 11460 HAS SOPS 6740 HAS SOUS 4430 HAS SOUPS 3955 WITH SCORE 3966.46
AT ITER 898 NEW BEST:: SOT 16450 SOS 11456 HAS SOPS 6734 HAS SOUS 4424 HAS SOUPS 3949 WITH SCORE 3960.456
AT ITER 914 NEW BEST:: SOT 16448 SOS 11459 HAS SOPS 6731 HAS SOUS 4420 HAS SOUPS 3945 WITH SCORE 3956.459
AT ITER 926 NEW BEST:: SOT 16439 SOS 11450 HAS SOPS 6720 HAS SOUS 4409 HAS SOUPS 3934 WITH SCORE 3945.45
AT ITER 929 NEW BEST:: SOT 16440 SOS 11458 HAS SOPS 6728 HAS SOUS 4406 HAS SOUPS 3931 WITH SCORE 3942.458
AT ITER 947 NEW BEST:: SOT 16425 SOS 11439 HAS SOPS 6702 HAS SOUS 4391 HAS SOUPS 3916 WITH SCORE 3927.439
AT ITER 968 NEW BEST:: SOT 16403 SOS 11417 HAS SOPS 6669 HAS SOUS 4358 HAS SOUPS 3883 WITH SCORE 3894.417
AT ITER 991 NEW BEST:: SOT 16293 SOS 11307 HAS SOPS 6682 HAS SOUS 4263 HAS SOUPS 3793 WITH SCORE 3804.307
AT ITER 1017 NEW BEST:: SOT 16286 SOS 11300 HAS SOPS 6675 HAS SOUS 4259 HAS SOUPS 3789 WITH SCORE 3800.3
AT ITER 1020 NEW BEST:: SOT 16281 SOS 11247 HAS SOPS 6622 HAS SOUS 4249 HAS SOUPS 3779 WITH SCORE 3790.247
AT ITER 1056 NEW BEST:: SOT 16333 SOS 11299 HAS SOPS 6570 HAS SOUS 4213 HAS SOUPS 3743 WITH SCORE 3754.299
AT ITER 1063 NEW BEST:: SOT 16333 SOS 11299 HAS SOPS 6570 HAS SOUS 4207 HAS SOUPS 3737 WITH SCORE 3748.299
AT ITER 1073 NEW BEST:: SOT 16283 SOS 11249 HAS SOPS 6485 HAS SOUS 4147 HAS SOUPS 3677 WITH SCORE 3688.249
AT ITER 1089 NEW BEST:: SOT 16265 SOS 11216 HAS SOPS 6452 HAS SOUS 4136 HAS SOUPS 3666 WITH SCORE 3677.216
AT ITER 1106 NEW BEST:: SOT 16261 SOS 11188 HAS SOPS 6424 HAS SOUS 4132 HAS SOUPS 3662 WITH SCORE 3673.188
AT ITER 1119 NEW BEST:: SOT 16262 SOS 11178 HAS SOPS 6414 HAS SOUS 4132 HAS SOUPS 3662 WITH SCORE 3673.178
AT ITER 1130 NEW BEST:: SOT 16259 SOS 11175 HAS SOPS 6413 HAS SOUS 4128 HAS SOUPS 3658 WITH SCORE 3669.175
AT ITER 1133 NEW BEST:: SOT 16251 SOS 11165 HAS SOPS 6410 HAS SOUS 4108 HAS SOUPS 3638 WITH SCORE 3649.165
AT ITER 1138 NEW BEST:: SOT 16279 SOS 11193 HAS SOPS 6314 HAS SOUS 4106 HAS SOUPS 3636 WITH SCORE 3647.193
AT ITER 1147 NEW BEST:: SOT 16278 SOS 11192 HAS SOPS 6313 HAS SOUS 4104 HAS SOUPS 3634 WITH SCORE 3645.192
AT ITER 1177 NEW BEST:: SOT 16216 SOS 11417 HAS SOPS 6376 HAS SOUS 4102 HAS SOUPS 3623 WITH SCORE 3634.417
AT ITER 1182 NEW BEST:: SOT 16212 SOS 11413 HAS SOPS 6374 HAS SOUS 4101 HAS SOUPS 3622 WITH SCORE 3633.413
AT ITER 1189 NEW BEST:: SOT 16196 SOS 11397 HAS SOPS 6350 HAS SOUS 4072 HAS SOUPS 3593 WITH SCORE 3604.397
AT ITER 1207 NEW BEST:: SOT 16196 SOS 11397 HAS SOPS 6350 HAS SOUS 4062 HAS SOUPS 3583 WITH SCORE 3594.397
AT ITER 1213 NEW BEST:: SOT 16186 SOS 11387 HAS SOPS 6335 HAS SOUS 4032 HAS SOUPS 3553 WITH SCORE 3564.387
AT ITER 1225 NEW BEST:: SOT 16166 SOS 11367 HAS SOPS 6305 HAS SOUS 4023 HAS SOUPS 3543 WITH SCORE 3554.367
AT ITER 1231 NEW BEST:: SOT 16166 SOS 11367 HAS SOPS 6305 HAS SOUS 3998 HAS SOUPS 3518 WITH SCORE 3529.367
AT ITER 1234 NEW BEST:: SOT 16160 SOS 11361 HAS SOPS 6293 HAS SOUS 3989 HAS SOUPS 3509 WITH SCORE 3520.361
AT ITER 1238 NEW BEST:: SOT 16168 SOS 11353 HAS SOPS 6289 HAS SOUS 3985 HAS SOUPS 3505 WITH SCORE 3516.353
AT ITER 1252 NEW BEST:: SOT 16170 SOS 11355 HAS SOPS 6281 HAS SOUS 3983 HAS SOUPS 3500 WITH SCORE 3511.355
AT ITER 1253 NEW BEST:: SOT 16159 SOS 11339 HAS SOPS 6264 HAS SOUS 3980 HAS SOUPS 3496 WITH SCORE 3507.339
AT ITER 1288 NEW BEST:: SOT 16160 SOS 11353 HAS SOPS 6279 HAS SOUS 3977 HAS SOUPS 3494 WITH SCORE 3505.353
AT ITER 1312 NEW BEST:: SOT 16180 SOS 11373 HAS SOPS 6254 HAS SOUS 3976 HAS SOUPS 3493 WITH SCORE 3504.373
AT ITER 1319 NEW BEST:: SOT 16157 SOS 11350 HAS SOPS 6238 HAS SOUS 3948 HAS SOUPS 3465 WITH SCORE 3476.35
AT ITER 1330 NEW BEST:: SOT 16147 SOS 11340 HAS SOPS 6238 HAS SOUS 3941 HAS SOUPS 3460 WITH SCORE 3471.34
AT ITER 1340 NEW BEST:: SOT 16097 SOS 11290 HAS SOPS 6162 HAS SOUS 3870 HAS SOUPS 3389 WITH SCORE 3400.29
AT ITER 1353 NEW BEST:: SOT 16094 SOS 11281 HAS SOPS 6153 HAS SOUS 3867 HAS SOUPS 3386 WITH SCORE 3397.281
AT ITER 1356 NEW BEST:: SOT 16088 SOS 11272 HAS SOPS 6141 HAS SOUS 3851 HAS SOUPS 3370 WITH SCORE 3381.272
AT ITER 1360 NEW BEST:: SOT 16082 SOS 11275 HAS SOPS 6141 HAS SOUS 3843 HAS SOUPS 3362 WITH SCORE 3373.275
AT ITER 1372 NEW BEST:: SOT 16068 SOS 11261 HAS SOPS 6112 HAS SOUS 3822 HAS SOUPS 3341 WITH SCORE 3352.261
AT ITER 1381 NEW BEST:: SOT 16066 SOS 11252 HAS SOPS 6103 HAS SOUS 3811 HAS SOUPS 3330 WITH SCORE 3341.252
AT ITER 1386 NEW BEST:: SOT 16066 SOS 11252 HAS SOPS 6103 HAS SOUS 3808 HAS SOUPS 3327 WITH SCORE 3338.252
AT ITER 1406 NEW BEST:: SOT 16048 SOS 11234 HAS SOPS 6076 HAS SOUS 3798 HAS SOUPS 3317 WITH SCORE 3328.234
AT ITER 1445 NEW BEST:: SOT 16042 SOS 11228 HAS SOPS 6062 HAS SOUS 3788 HAS SOUPS 3307 WITH SCORE 3318.228
AT ITER 1464 NEW BEST:: SOT 16040 SOS 11226 HAS SOPS 6025 HAS SOUS 3785 HAS SOUPS 3304 WITH SCORE 3315.226
AT ITER 1473 NEW BEST:: SOT 16036 SOS 11222 HAS SOPS 6021 HAS SOUS 3785 HAS SOUPS 3304 WITH SCORE 3315.222
AT ITER 1476 NEW BEST:: SOT 16030 SOS 11216 HAS SOPS 6012 HAS SOUS 3772 HAS SOUPS 3291 WITH SCORE 3302.216
AT ITER 1486 NEW BEST:: SOT 16039 SOS 11154 HAS SOPS 5992 HAS SOUS 3764 HAS SOUPS 3285 WITH SCORE 3296.154
AT ITER 1501 NEW BEST:: SOT 16032 SOS 11147 HAS SOPS 6006 HAS SOUS 3764 HAS SOUPS 3285 WITH SCORE 3296.147
AT ITER 1514 NEW BEST:: SOT 16004 SOS 11119 HAS SOPS 5969 HAS SOUS 3749 HAS SOUPS 3270 WITH SCORE 3281.119
AT ITER 1526 NEW BEST:: SOT 16002 SOS 11117 HAS SOPS 5966 HAS SOUS 3746 HAS SOUPS 3267 WITH SCORE 3278.117
AT ITER 1558 NEW BEST:: SOT 16044 SOS 11159 HAS SOPS 6012 HAS SOUS 3735 HAS SOUPS 3256 WITH SCORE 3267.159
AT ITER 1560 NEW BEST:: SOT 16024 SOS 11139 HAS SOPS 5972 HAS SOUS 3692 HAS SOUPS 3213 WITH SCORE 3224.139
AT ITER 1565 NEW BEST:: SOT 16016 SOS 11131 HAS SOPS 5944 HAS SOUS 3668 HAS SOUPS 3189 WITH SCORE 3200.131
AT ITER 1572 NEW BEST:: SOT 16012 SOS 11127 HAS SOPS 5932 HAS SOUS 3662 HAS SOUPS 3183 WITH SCORE 3194.127
AT ITER 1595 NEW BEST:: SOT 15967 SOS 11073 HAS SOPS 5861 HAS SOUS 3621 HAS SOUPS 3142 WITH SCORE 3153.073
AT ITER 1597 NEW BEST:: SOT 15967 SOS 11073 HAS SOPS 5861 HAS SOUS 3620 HAS SOUPS 3141 WITH SCORE 3152.073
AT ITER 1611 NEW BEST:: SOT 15957 SOS 11098 HAS SOPS 5869 HAS SOUS 3615 HAS SOUPS 3136 WITH SCORE 3147.098
AT ITER 1626 NEW BEST:: SOT 15956 SOS 11097 HAS SOPS 5871 HAS SOUS 3614 HAS SOUPS 3135 WITH SCORE 3146.097
AT ITER 1648 NEW BEST:: SOT 15956 SOS 11097 HAS SOPS 5868 HAS SOUS 3610 HAS SOUPS 3131 WITH SCORE 3142.097
AT ITER 1697 NEW BEST:: SOT 15954 SOS 11095 HAS SOPS 5865 HAS SOUS 3607 HAS SOUPS 3128 WITH SCORE 3139.095
AT ITER 1728 NEW BEST:: SOT 15940 SOS 11081 HAS SOPS 5850 HAS SOUS 3607 HAS SOUPS 3128 WITH SCORE 3139.081
AT ITER 1778 NEW BEST:: SOT 15940 SOS 11081 HAS SOPS 5850 HAS SOUS 3603 HAS SOUPS 3124 WITH SCORE 3135.081
AT ITER 1795 NEW BEST:: SOT 15922 SOS 11063 HAS SOPS 5823 HAS SOUS 3582 HAS SOUPS 3103 WITH SCORE 3114.063
AT ITER 1835 NEW BEST:: SOT 15922 SOS 11052 HAS SOPS 5808 HAS SOUS 3578 HAS SOUPS 3099 WITH SCORE 3110.052
AT ITER 1838 NEW BEST:: SOT 15908 SOS 11038 HAS SOPS 5796 HAS SOUS 3565 HAS SOUPS 3086 WITH SCORE 3097.038
AT ITER 1855 NEW BEST:: SOT 15902 SOS 11032 HAS SOPS 5787 HAS SOUS 3556 HAS SOUPS 3077 WITH SCORE 3088.032
AT ITER 1863 NEW BEST:: SOT 15899 SOS 11029 HAS SOPS 5781 HAS SOUS 3553 HAS SOUPS 3075 WITH SCORE 3086.029
AT ITER 1869 NEW BEST:: SOT 15899 SOS 11018 HAS SOPS 5770 HAS SOUS 3553 HAS SOUPS 3075 WITH SCORE 3086.018
AT ITER 1872 NEW BEST:: SOT 15889 SOS 11008 HAS SOPS 5755 HAS SOUS 3527 HAS SOUPS 3049 WITH SCORE 3060.008
AT ITER 1895 NEW BEST:: SOT 15879 SOS 10998 HAS SOPS 5740 HAS SOUS 3507 HAS SOUPS 3029 WITH SCORE 3039.998
AT ITER 1915 NEW BEST:: SOT 15867 SOS 10986 HAS SOPS 5722 HAS SOUS 3491 HAS SOUPS 3013 WITH SCORE 3023.986
AT ITER 1923 NEW BEST:: SOT 15883 SOS 11002 HAS SOPS 5738 HAS SOUS 3489 HAS SOUPS 3011 WITH SCORE 3022.002
AT ITER 1924 NEW BEST:: SOT 15877 SOS 11026 HAS SOPS 5741 HAS SOUS 3489 HAS SOUPS 3010 WITH SCORE 3021.026
AT ITER 1940 NEW BEST:: SOT 15873 SOS 11022 HAS SOPS 5735 HAS SOUS 3484 HAS SOUPS 3005 WITH SCORE 3016.022
AT ITER 1960 NEW BEST:: SOT 15872 SOS 11021 HAS SOPS 5738 HAS SOUS 3484 HAS SOUPS 3005 WITH SCORE 3016.021
AT ITER 1980 NEW BEST:: SOT 15872 SOS 11021 HAS SOPS 5722 HAS SOUS 3483 HAS SOUPS 3000 WITH SCORE 3011.021
AT ITER 1989 NEW BEST:: SOT 15866 SOS 11015 HAS SOPS 5713 HAS SOUS 3471 HAS SOUPS 2988 WITH SCORE 2999.015
AT ITER 1990 NEW BEST:: SOT 15856 SOS 10975 HAS SOPS 5673 HAS SOUS 3460 HAS SOUPS 2977 WITH SCORE 2987.975
AT ITER 2010 NEW BEST:: SOT 15818 SOS 10937 HAS SOPS 5623 HAS SOUS 3376 HAS SOUPS 2893 WITH SCORE 2903.937
AT ITER 2020 NEW BEST:: SOT 15808 SOS 10897 HAS SOPS 5583 HAS SOUS 3358 HAS SOUPS 2875 WITH SCORE 2885.897
AT ITER 2040 NEW BEST:: SOT 15808 SOS 10897 HAS SOPS 5583 HAS SOUS 3357 HAS SOUPS 2874 WITH SCORE 2884.897
AT ITER 2091 NEW BEST:: SOT 15808 SOS 10897 HAS SOPS 5583 HAS SOUS 3350 HAS SOUPS 2867 WITH SCORE 2877.897
AT ITER 2092 NEW BEST:: SOT 15806 SOS 10895 HAS SOPS 5580 HAS SOUS 3346 HAS SOUPS 2863 WITH SCORE 2873.895
AT ITER 2125 NEW BEST:: SOT 15805 SOS 10894 HAS SOPS 5578 HAS SOUS 3345 HAS SOUPS 2862 WITH SCORE 2872.894
AT ITER 2142 NEW BEST:: SOT 15797 SOS 10886 HAS SOPS 5580 HAS SOUS 3340 HAS SOUPS 2857 WITH SCORE 2867.886
AT ITER 2152 NEW BEST:: SOT 15805 SOS 10894 HAS SOPS 5572 HAS SOUS 3337 HAS SOUPS 2854 WITH SCORE 2864.894
AT ITER 2211 NEW BEST:: SOT 15811 SOS 10900 HAS SOPS 5579 HAS SOUS 3336 HAS SOUPS 2853 WITH SCORE 2863.9
AT ITER 2278 NEW BEST:: SOT 15809 SOS 10888 HAS SOPS 5566 HAS SOUS 3333 HAS SOUPS 2850 WITH SCORE 2860.888
AT ITER 2279 NEW BEST:: SOT 15801 SOS 10880 HAS SOPS 5550 HAS SOUS 3317 HAS SOUPS 2834 WITH SCORE 2844.88
AT ITER 2314 NEW BEST:: SOT 15795 SOS 10874 HAS SOPS 5549 HAS SOUS 3316 HAS SOUPS 2833 WITH SCORE 2843.874
AT ITER 2330 NEW BEST:: SOT 15783 SOS 10862 HAS SOPS 5531 HAS SOUS 3308 HAS SOUPS 2825 WITH SCORE 2835.862
AT ITER 2359 NEW BEST:: SOT 15775 SOS 10854 HAS SOPS 5523 HAS SOUS 3303 HAS SOUPS 2820 WITH SCORE 2830.854
AT ITER 2372 NEW BEST:: SOT 15771 SOS 10850 HAS SOPS 5515 HAS SOUS 3297 HAS SOUPS 2814 WITH SCORE 2824.85
AT ITER 2405 NEW BEST:: SOT 15763 SOS 10842 HAS SOPS 5503 HAS SOUS 3281 HAS SOUPS 2798 WITH SCORE 2808.842
AT ITER 2466 NEW BEST:: SOT 15745 SOS 10837 HAS SOPS 5491 HAS SOUS 3274 HAS SOUPS 2791 WITH SCORE 2801.837
AT ITER 2482 NEW BEST:: SOT 15745 SOS 10837 HAS SOPS 5491 HAS SOUS 3272 HAS SOUPS 2789 WITH SCORE 2799.837
AT ITER 2484 NEW BEST:: SOT 15737 SOS 10829 HAS SOPS 5479 HAS SOUS 3259 HAS SOUPS 2776 WITH SCORE 2786.829
AT ITER 2502 NEW BEST:: SOT 15717 SOS 10809 HAS SOPS 5449 HAS SOUS 3228 HAS SOUPS 2745 WITH SCORE 2755.809
AT ITER 2532 NEW BEST:: SOT 15713 SOS 10805 HAS SOPS 5446 HAS SOUS 3225 HAS SOUPS 2742 WITH SCORE 2752.805
AT ITER 2536 NEW BEST:: SOT 15713 SOS 10805 HAS SOPS 5430 HAS SOUS 3225 HAS SOUPS 2734 WITH SCORE 2744.805
AT ITER 2540 NEW BEST:: SOT 15713 SOS 10805 HAS SOPS 5430 HAS SOUS 3224 HAS SOUPS 2733 WITH SCORE 2743.805
AT ITER 2543 NEW BEST:: SOT 15707 SOS 10799 HAS SOPS 5400 HAS SOUS 3215 HAS SOUPS 2724 WITH SCORE 2734.799
AT ITER 2582 NEW BEST:: SOT 15707 SOS 10799 HAS SOPS 5400 HAS SOUS 3205 HAS SOUPS 2714 WITH SCORE 2724.799
AT ITER 2665 NEW BEST:: SOT 15705 SOS 10797 HAS SOPS 5387 HAS SOUS 3192 HAS SOUPS 2701 WITH SCORE 2711.797
AT ITER 2668 NEW BEST:: SOT 15701 SOS 10789 HAS SOPS 5379 HAS SOUS 3192 HAS SOUPS 2701 WITH SCORE 2711.789
AT ITER 2679 NEW BEST:: SOT 15699 SOS 10787 HAS SOPS 5376 HAS SOUS 3186 HAS SOUPS 2695 WITH SCORE 2705.787
AT ITER 2684 NEW BEST:: SOT 15694 SOS 10782 HAS SOPS 5357 HAS SOUS 3177 HAS SOUPS 2686 WITH SCORE 2696.782
AT ITER 2710 NEW BEST:: SOT 15671 SOS 10843 HAS SOPS 5362 HAS SOUS 3173 HAS SOUPS 2679 WITH SCORE 2689.843
AT ITER 2718 NEW BEST:: SOT 15668 SOS 10840 HAS SOPS 5343 HAS SOUS 3172 HAS SOUPS 2678 WITH SCORE 2688.84
AT ITER 2880 NEW BEST:: SOT 15668 SOS 10840 HAS SOPS 5340 HAS SOUS 3169 HAS SOUPS 2675 WITH SCORE 2685.84
AT ITER 2896 NEW BEST:: SOT 15666 SOS 10838 HAS SOPS 5340 HAS SOUS 3169 HAS SOUPS 2675 WITH SCORE 2685.838
AT ITER 2918 NEW BEST:: SOT 15664 SOS 10836 HAS SOPS 5337 HAS SOUS 3166 HAS SOUPS 2672 WITH SCORE 2682.836
AT ITER 2951 NEW BEST:: SOT 15662 SOS 10834 HAS SOPS 5334 HAS SOUS 3162 HAS SOUPS 2668 WITH SCORE 2678.834
AT ITER 2953 NEW BEST:: SOT 15674 SOS 10846 HAS SOPS 5325 HAS SOUS 3153 HAS SOUPS 2659 WITH SCORE 2669.846
AT ITER 2975 NEW BEST:: SOT 15671 SOS 10827 HAS SOPS 5306 HAS SOUS 3153 HAS SOUPS 2659 WITH SCORE 2669.827
AT ITER 2979 NEW BEST:: SOT 15667 SOS 10823 HAS SOPS 5300 HAS SOUS 3146 HAS SOUPS 2652 WITH SCORE 2662.823
AT ITER 2999 NEW BEST:: SOT 15666 SOS 10821 HAS SOPS 5298 HAS SOUS 3146 HAS SOUPS 2652 WITH SCORE 2662.821
AT ITER 3025 NEW BEST:: SOT 15658 SOS 10813 HAS SOPS 5292 HAS SOUS 3140 HAS SOUPS 2646 WITH SCORE 2656.813
AT ITER 3136 NEW BEST:: SOT 15651 SOS 10806 HAS SOPS 5285 HAS SOUS 3140 HAS SOUPS 2646 WITH SCORE 2656.806
AT ITER 3155 NEW BEST:: SOT 15649 SOS 10804 HAS SOPS 5282 HAS SOUS 3138 HAS SOUPS 2644 WITH SCORE 2654.804
AT ITER 3166 NEW BEST:: SOT 15645 SOS 10798 HAS SOPS 5274 HAS SOUS 3131 HAS SOUPS 2637 WITH SCORE 2647.798
AT ITER 3202 NEW BEST:: SOT 15629 SOS 10782 HAS SOPS 5253 HAS SOUS 3125 HAS SOUPS 2631 WITH SCORE 2641.782
AT ITER 3213 NEW BEST:: SOT 15625 SOS 10778 HAS SOPS 5235 HAS SOUS 3118 HAS SOUPS 2624 WITH SCORE 2634.778
AT ITER 3240 NEW BEST:: SOT 15619 SOS 10772 HAS SOPS 5228 HAS SOUS 3118 HAS SOUPS 2624 WITH SCORE 2634.772
AT ITER 3274 NEW BEST:: SOT 15616 SOS 10769 HAS SOPS 5217 HAS SOUS 3113 HAS SOUPS 2619 WITH SCORE 2629.769
AT ITER 3361 NEW BEST:: SOT 15612 SOS 10767 HAS SOPS 5213 HAS SOUS 3109 HAS SOUPS 2615 WITH SCORE 2625.767
AT ITER 3447 NEW BEST:: SOT 15615 SOS 10770 HAS SOPS 5200 HAS SOUS 3107 HAS SOUPS 2613 WITH SCORE 2623.77
AT ITER 3458 NEW BEST:: SOT 15613 SOS 10768 HAS SOPS 5197 HAS SOUS 3103 HAS SOUPS 2609 WITH SCORE 2619.768
AT ITER 3462 NEW BEST:: SOT 15609 SOS 10764 HAS SOPS 5191 HAS SOUS 3099 HAS SOUPS 2605 WITH SCORE 2615.764
AT ITER 3532 NEW BEST:: SOT 15587 SOS 10747 HAS SOPS 5174 HAS SOUS 3084 HAS SOUPS 2590 WITH SCORE 2600.747
AT ITER 3585 NEW BEST:: SOT 15585 SOS 10745 HAS SOPS 5171 HAS SOUS 3082 HAS SOUPS 2588 WITH SCORE 2598.745
AT ITER 3619 NEW BEST:: SOT 15583 SOS 10743 HAS SOPS 5168 HAS SOUS 3078 HAS SOUPS 2584 WITH SCORE 2594.743
AT ITER 3709 NEW BEST:: SOT 15565 SOS 10725 HAS SOPS 5153 HAS SOUS 3063 HAS SOUPS 2569 WITH SCORE 2579.725
AT ITER 3714 NEW BEST:: SOT 15565 SOS 10725 HAS SOPS 5153 HAS SOUS 3062 HAS SOUPS 2568 WITH SCORE 2578.725
AT ITER 3780 NEW BEST:: SOT 15525 SOS 11063 HAS SOPS 5298 HAS SOUS 3067 HAS SOUPS 2564 WITH SCORE 2575.063
AT ITER 3788 NEW BEST:: SOT 15523 SOS 11060 HAS SOPS 5294 HAS SOUS 3064 HAS SOUPS 2561 WITH SCORE 2572.06
AT ITER 3806 NEW BEST:: SOT 15519 SOS 11056 HAS SOPS 5286 HAS SOUS 3056 HAS SOUPS 2553 WITH SCORE 2564.056
AT ITER 3824 NEW BEST:: SOT 15519 SOS 11056 HAS SOPS 5286 HAS SOUS 3050 HAS SOUPS 2547 WITH SCORE 2558.056
AT ITER 3864 NEW BEST:: SOT 15519 SOS 11056 HAS SOPS 5286 HAS SOUS 3044 HAS SOUPS 2541 WITH SCORE 2552.056
AT ITER 3894 NEW BEST:: SOT 15509 SOS 11046 HAS SOPS 5271 HAS SOUS 3029 HAS SOUPS 2526 WITH SCORE 2537.046
AT ITER 3971 NEW BEST:: SOT 15509 SOS 11046 HAS SOPS 5270 HAS SOUS 3028 HAS SOUPS 2525 WITH SCORE 2536.046
AT ITER 4099 NEW BEST:: SOT 15509 SOS 11039 HAS SOPS 5263 HAS SOUS 3028 HAS SOUPS 2525 WITH SCORE 2536.039
AT ITER 4133 NEW BEST:: SOT 15502 SOS 11027 HAS SOPS 5255 HAS SOUS 3023 HAS SOUPS 2520 WITH SCORE 2531.027
AT ITER 4191 NEW BEST:: SOT 15501 SOS 11026 HAS SOPS 5256 HAS SOUS 3023 HAS SOUPS 2520 WITH SCORE 2531.026
AT ITER 4206 NEW BEST:: SOT 15497 SOS 11022 HAS SOPS 5250 HAS SOUS 3019 HAS SOUPS 2516 WITH SCORE 2527.022
AT ITER 4246 NEW BEST:: SOT 15495 SOS 11020 HAS SOPS 5250 HAS SOUS 3019 HAS SOUPS 2516 WITH SCORE 2527.02
AT ITER 4249 NEW BEST:: SOT 15493 SOS 11018 HAS SOPS 5247 HAS SOUS 3016 HAS SOUPS 2513 WITH SCORE 2524.018
AT ITER 4269 NEW BEST:: SOT 15496 SOS 11021 HAS SOPS 5247 HAS SOUS 3014 HAS SOUPS 2511 WITH SCORE 2522.021
AT ITER 4600 NEW BEST:: SOT 15490 SOS 11015 HAS SOPS 5235 HAS SOUS 3005 HAS SOUPS 2502 WITH SCORE 2513.015
AT ITER 4895 NEW BEST:: SOT 15490 SOS 11015 HAS SOPS 5235 HAS SOUS 3004 HAS SOUPS 2501 WITH SCORE 2512.015
AT ITER 4932 NEW BEST:: SOT 15484 SOS 11009 HAS SOPS 5226 HAS SOUS 2992 HAS SOUPS 2489 WITH SCORE 2500.009
AT ITER 4972 NEW BEST:: SOT 15473 SOS 10998 HAS SOPS 5211 HAS SOUS 2977 HAS SOUPS 2474 WITH SCORE 2484.998
AT ITER 4976 NEW BEST:: SOT 15471 SOS 10996 HAS SOPS 5208 HAS SOUS 2976 HAS SOUPS 2473 WITH SCORE 2483.996
AT ITER 4997 NEW BEST:: SOT 15463 SOS 10988 HAS SOPS 5205 HAS SOUS 2973 HAS SOUPS 2470 WITH SCORE 2480.988
AT ITER 5135 NEW BEST:: SOT 15406 SOS 11371 HAS SOPS 5357 HAS SOUS 2983 HAS SOUPS 2469 WITH SCORE 2480.371
AT ITER 5161 NEW BEST:: SOT 15404 SOS 11369 HAS SOPS 5354 HAS SOUS 2975 HAS SOUPS 2461 WITH SCORE 2472.369
AT ITER 5237 NEW BEST:: SOT 15400 SOS 11365 HAS SOPS 5346 HAS SOUS 2968 HAS SOUPS 2454 WITH SCORE 2465.365
AT ITER 5276 NEW BEST:: SOT 15396 SOS 11361 HAS SOPS 5338 HAS SOUS 2960 HAS SOUPS 2446 WITH SCORE 2457.361
AT ITER 5315 NEW BEST:: SOT 15390 SOS 11355 HAS SOPS 5329 HAS SOUS 2948 HAS SOUPS 2434 WITH SCORE 2445.355
AT ITER 5378 NEW BEST:: SOT 15388 SOS 11353 HAS SOPS 5318 HAS SOUS 2941 HAS SOUPS 2427 WITH SCORE 2438.353
AT ITER 5410 NEW BEST:: SOT 15388 SOS 11312 HAS SOPS 5274 HAS SOUS 2937 HAS SOUPS 2420 WITH SCORE 2431.312
AT ITER 5423 NEW BEST:: SOT 15387 SOS 11311 HAS SOPS 5277 HAS SOUS 2935 HAS SOUPS 2420 WITH SCORE 2431.311
AT ITER 5426 NEW BEST:: SOT 15384 SOS 11308 HAS SOPS 5272 HAS SOUS 2934 HAS SOUPS 2419 WITH SCORE 2430.308
AT ITER 5433 NEW BEST:: SOT 15384 SOS 11308 HAS SOPS 5269 HAS SOUS 2930 HAS SOUPS 2415 WITH SCORE 2426.308
AT ITER 5504 NEW BEST:: SOT 15384 SOS 11308 HAS SOPS 5259 HAS SOUS 2923 HAS SOUPS 2408 WITH SCORE 2419.308
AT ITER 5551 NEW BEST:: SOT 15381 SOS 11305 HAS SOPS 5254 HAS SOUS 2921 HAS SOUPS 2406 WITH SCORE 2417.305
AT ITER 5562 NEW BEST:: SOT 15379 SOS 11303 HAS SOPS 5251 HAS SOUS 2916 HAS SOUPS 2401 WITH SCORE 2412.303
AT ITER 5586 NEW BEST:: SOT 15378 SOS 11302 HAS SOPS 5250 HAS SOUS 2915 HAS SOUPS 2400 WITH SCORE 2411.302
AT ITER 5665 NEW BEST:: SOT 15368 SOS 11370 HAS SOPS 5274 HAS SOUS 2916 HAS SOUPS 2399 WITH SCORE 2410.37
AT ITER 5684 NEW BEST:: SOT 15365 SOS 11367 HAS SOPS 5271 HAS SOUS 2912 HAS SOUPS 2395 WITH SCORE 2406.367
AT ITER 5699 NEW BEST:: SOT 15363 SOS 11365 HAS SOPS 5268 HAS SOUS 2905 HAS SOUPS 2388 WITH SCORE 2399.365
AT ITER 5840 NEW BEST:: SOT 15355 SOS 11358 HAS SOPS 5255 HAS SOUS 2893 HAS SOUPS 2376 WITH SCORE 2387.358
AT ITER 5909 NEW BEST:: SOT 15368 SOS 11245 HAS SOPS 5207 HAS SOUS 2890 HAS SOUPS 2376 WITH SCORE 2387.245
AT ITER 5996 NEW BEST:: SOT 15360 SOS 11252 HAS SOPS 5210 HAS SOUS 2883 HAS SOUPS 2369 WITH SCORE 2380.252
AT ITER 6075 NEW BEST:: SOT 15375 SOS 11099 HAS SOPS 5143 HAS SOUS 2872 HAS SOUPS 2362 WITH SCORE 2373.099
AT ITER 6091 NEW BEST:: SOT 15375 SOS 11094 HAS SOPS 5138 HAS SOUS 2872 HAS SOUPS 2362 WITH SCORE 2373.094
AT ITER 6267 NEW BEST:: SOT 15383 SOS 11105 HAS SOPS 5149 HAS SOUS 2863 HAS SOUPS 2353 WITH SCORE 2364.105
AT ITER 6297 NEW BEST:: SOT 15408 SOS 10925 HAS SOPS 5074 HAS SOUS 2858 HAS SOUPS 2353 WITH SCORE 2363.925
AT ITER 6329 NEW BEST:: SOT 15406 SOS 10923 HAS SOPS 5071 HAS SOUS 2855 HAS SOUPS 2350 WITH SCORE 2360.923
AT ITER 6403 NEW BEST:: SOT 15404 SOS 10921 HAS SOPS 5068 HAS SOUS 2852 HAS SOUPS 2347 WITH SCORE 2357.921
AT ITER 6453 NEW BEST:: SOT 15420 SOS 10929 HAS SOPS 5080 HAS SOUS 2851 HAS SOUPS 2346 WITH SCORE 2356.929
AT ITER 6466 NEW BEST:: SOT 15416 SOS 10925 HAS SOPS 5063 HAS SOUS 2842 HAS SOUPS 2337 WITH SCORE 2347.925
AT ITER 6497 NEW BEST:: SOT 15412 SOS 10921 HAS SOPS 5050 HAS SOUS 2836 HAS SOUPS 2331 WITH SCORE 2341.921
AT ITER 6621 NEW BEST:: SOT 15410 SOS 10919 HAS SOPS 5048 HAS SOUS 2834 HAS SOUPS 2329 WITH SCORE 2339.919
AT ITER 6752 NEW BEST:: SOT 15415 SOS 10883 HAS SOPS 5033 HAS SOUS 2833 HAS SOUPS 2329 WITH SCORE 2339.883
AT ITER 6803 NEW BEST:: SOT 15409 SOS 10877 HAS SOPS 5033 HAS SOUS 2833 HAS SOUPS 2329 WITH SCORE 2339.877
AT ITER 6823 NEW BEST:: SOT 15405 SOS 10873 HAS SOPS 5024 HAS SOUS 2827 HAS SOUPS 2323 WITH SCORE 2333.873
AT ITER 6869 NEW BEST:: SOT 15409 SOS 10840 HAS SOPS 5013 HAS SOUS 2826 HAS SOUPS 2323 WITH SCORE 2333.84
AT ITER 6915 NEW BEST:: SOT 15410 SOS 10840 HAS SOPS 5013 HAS SOUS 2825 HAS SOUPS 2322 WITH SCORE 2332.84
AT ITER 7307 NEW BEST:: SOT 15410 SOS 10840 HAS SOPS 5009 HAS SOUS 2821 HAS SOUPS 2318 WITH SCORE 2328.84
AT ITER 7309 NEW BEST:: SOT 15406 SOS 10836 HAS SOPS 5003 HAS SOUS 2817 HAS SOUPS 2314 WITH SCORE 2324.836
AT ITER 7335 NEW BEST:: SOT 15420 SOS 10845 HAS SOPS 5019 HAS SOUS 2816 HAS SOUPS 2313 WITH SCORE 2323.845
AT ITER 7389 NEW BEST:: SOT 15418 SOS 10843 HAS SOPS 5017 HAS SOUS 2813 HAS SOUPS 2310 WITH SCORE 2320.843
AT ITER 7395 NEW BEST:: SOT 15417 SOS 10831 HAS SOPS 5005 HAS SOUS 2803 HAS SOUPS 2300 WITH SCORE 2310.831
AT ITER 7450 NEW BEST:: SOT 15417 SOS 10831 HAS SOPS 5002 HAS SOUS 2799 HAS SOUPS 2296 WITH SCORE 2306.831
AT ITER 7453 NEW BEST:: SOT 15417 SOS 10831 HAS SOPS 4990 HAS SOUS 2792 HAS SOUPS 2287 WITH SCORE 2297.831
AT ITER 7605 NEW BEST:: SOT 15411 SOS 10850 HAS SOPS 5006 HAS SOUS 2787 HAS SOUPS 2282 WITH SCORE 2292.85
AT ITER 7680 NEW BEST:: SOT 15385 SOS 10906 HAS SOPS 5008 HAS SOUS 2784 HAS SOUPS 2276 WITH SCORE 2286.906
AT ITER 7692 NEW BEST:: SOT 15380 SOS 10904 HAS SOPS 5004 HAS SOUS 2782 HAS SOUPS 2274 WITH SCORE 2284.904
AT ITER 7784 NEW BEST:: SOT 15374 SOS 10898 HAS SOPS 4992 HAS SOUS 2768 HAS SOUPS 2260 WITH SCORE 2270.898
AT ITER 7977 NEW BEST:: SOT 15374 SOS 10898 HAS SOPS 4992 HAS SOUS 2767 HAS SOUPS 2259 WITH SCORE 2269.898
AT ITER 8193 NEW BEST:: SOT 15356 SOS 10871 HAS SOPS 4969 HAS SOUS 2747 HAS SOUPS 2239 WITH SCORE 2249.871
AT ITER 8197 NEW BEST:: SOT 15356 SOS 10871 HAS SOPS 4965 HAS SOUS 2745 HAS SOUPS 2236 WITH SCORE 2246.871
AT ITER 8305 NEW BEST:: SOT 15354 SOS 10868 HAS SOPS 4962 HAS SOUS 2744 HAS SOUPS 2235 WITH SCORE 2245.868
AT ITER 8387 NEW BEST:: SOT 15370 SOS 10680 HAS SOPS 4879 HAS SOUS 2735 HAS SOUPS 2231 WITH SCORE 2241.68
AT ITER 8549 NEW BEST:: SOT 15397 SOS 10287 HAS SOPS 4696 HAS SOUS 2721 HAS SOUPS 2227 WITH SCORE 2237.287
AT ITER 8578 NEW BEST:: SOT 15395 SOS 10285 HAS SOPS 4693 HAS SOUS 2716 HAS SOUPS 2222 WITH SCORE 2232.285
AT ITER 8587 NEW BEST:: SOT 15395 SOS 10285 HAS SOPS 4693 HAS SOUS 2709 HAS SOUPS 2215 WITH SCORE 2225.285
AT ITER 8680 NEW BEST:: SOT 15395 SOS 10285 HAS SOPS 4693 HAS SOUS 2706 HAS SOUPS 2212 WITH SCORE 2222.285
AT ITER 8716 NEW BEST:: SOT 15393 SOS 10283 HAS SOPS 4690 HAS SOUS 2702 HAS SOUPS 2208 WITH SCORE 2218.283
AT ITER 8730 NEW BEST:: SOT 15398 SOS 10163 HAS SOPS 4639 HAS SOUS 2695 HAS SOUPS 2204 WITH SCORE 2214.163
AT ITER 8736 NEW BEST:: SOT 15396 SOS 10161 HAS SOPS 4635 HAS SOUS 2690 HAS SOUPS 2199 WITH SCORE 2209.161
AT ITER 8769 NEW BEST:: SOT 15388 SOS 10145 HAS SOPS 4623 HAS SOUS 2686 HAS SOUPS 2195 WITH SCORE 2205.145
AT ITER 8829 NEW BEST:: SOT 15392 SOS 10149 HAS SOPS 4613 HAS SOUS 2680 HAS SOUPS 2185 WITH SCORE 2195.149
AT ITER 8933 NEW BEST:: SOT 15388 SOS 10144 HAS SOPS 4607 HAS SOUS 2676 HAS SOUPS 2181 WITH SCORE 2191.144
AT ITER 8979 NEW BEST:: SOT 15388 SOS 10144 HAS SOPS 4603 HAS SOUS 2675 HAS SOUPS 2180 WITH SCORE 2190.144
AT ITER 9266 NEW BEST:: SOT 15388 SOS 10144 HAS SOPS 4603 HAS SOUS 2674 HAS SOUPS 2179 WITH SCORE 2189.144
AT ITER 9293 NEW BEST:: SOT 15394 SOS 10119 HAS SOPS 4599 HAS SOUS 2674 HAS SOUPS 2179 WITH SCORE 2189.119
AT ITER 9469 NEW BEST:: SOT 15396 SOS 10121 HAS SOPS 4594 HAS SOUS 2672 HAS SOUPS 2177 WITH SCORE 2187.121
AT ITER 9596 NEW BEST:: SOT 15394 SOS 10119 HAS SOPS 4595 HAS SOUS 2671 HAS SOUPS 2176 WITH SCORE 2186.119
STATE_SPACE STATES 5937946479402210021 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 110949304473756838378 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589799804230

--------------------
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="Raft-PT-05"
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 Raft-PT-05, 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 r138-smll-158961502600248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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