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.r033-smll-158901925900300.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 CloudDeployment-PT-4a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900300
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 156K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-4a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589143553784

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 141 places, 475 transitions, 2657 arcs.
AT ITER 0 NEW BEST:: SOT 50104 SOS 29169 HAS SOPS 27043 HAS SOUS 23029 HAS SOUPS 21104 WITH SCORE 21133.169
AT ITER 2 NEW BEST:: SOT 50107 SOS 29115 HAS SOPS 26969 HAS SOUS 22974 HAS SOUPS 21029 WITH SCORE 21058.115
AT ITER 9 NEW BEST:: SOT 50055 SOS 29073 HAS SOPS 26927 HAS SOUS 22931 HAS SOUPS 20986 WITH SCORE 21015.073
AT ITER 11 NEW BEST:: SOT 50055 SOS 29059 HAS SOPS 26913 HAS SOUS 22865 HAS SOUPS 20920 WITH SCORE 20949.059
AT ITER 14 NEW BEST:: SOT 50045 SOS 29049 HAS SOPS 26903 HAS SOUS 22853 HAS SOUPS 20908 WITH SCORE 20937.049
AT ITER 15 NEW BEST:: SOT 50010 SOS 29084 HAS SOPS 26973 HAS SOUS 22734 HAS SOUPS 20824 WITH SCORE 20853.084
AT ITER 21 NEW BEST:: SOT 50046 SOS 29121 HAS SOPS 27010 HAS SOUS 22698 HAS SOUPS 20788 WITH SCORE 20817.121
AT ITER 25 NEW BEST:: SOT 49814 SOS 29165 HAS SOPS 26808 HAS SOUS 22494 HAS SOUPS 20586 WITH SCORE 20615.165
AT ITER 28 NEW BEST:: SOT 49869 SOS 29094 HAS SOPS 26792 HAS SOUS 22338 HAS SOUPS 20485 WITH SCORE 20514.094
AT ITER 30 NEW BEST:: SOT 49986 SOS 29046 HAS SOPS 26744 HAS SOUS 22163 HAS SOUPS 20310 WITH SCORE 20339.046
AT ITER 35 NEW BEST:: SOT 50106 SOS 29146 HAS SOPS 26904 HAS SOUS 22083 HAS SOUPS 20290 WITH SCORE 20319.146
AT ITER 36 NEW BEST:: SOT 50085 SOS 29104 HAS SOPS 26909 HAS SOUS 21852 HAS SOUPS 20106 WITH SCORE 20135.104
AT ITER 37 NEW BEST:: SOT 50167 SOS 29132 HAS SOPS 26971 HAS SOUS 21792 HAS SOUPS 20080 WITH SCORE 20109.132
AT ITER 38 NEW BEST:: SOT 50117 SOS 29081 HAS SOPS 26920 HAS SOUS 21741 HAS SOUPS 20029 WITH SCORE 20058.081
AT ITER 39 NEW BEST:: SOT 49938 SOS 29634 HAS SOPS 26794 HAS SOUS 21713 HAS SOUPS 20006 WITH SCORE 20035.634
AT ITER 41 NEW BEST:: SOT 50022 SOS 31232 HAS SOPS 28392 HAS SOUS 21656 HAS SOUPS 19949 WITH SCORE 19980.232
AT ITER 44 NEW BEST:: SOT 50151 SOS 31297 HAS SOPS 28496 HAS SOUS 21420 HAS SOUPS 19766 WITH SCORE 19797.297
AT ITER 51 NEW BEST:: SOT 50178 SOS 31150 HAS SOPS 28537 HAS SOUS 21387 HAS SOUPS 19747 WITH SCORE 19778.15
AT ITER 52 NEW BEST:: SOT 50175 SOS 31144 HAS SOPS 28569 HAS SOUS 21254 HAS SOUPS 19652 WITH SCORE 19683.144
AT ITER 54 NEW BEST:: SOT 50208 SOS 31140 HAS SOPS 28565 HAS SOUS 21183 HAS SOUPS 19581 WITH SCORE 19612.14
AT ITER 55 NEW BEST:: SOT 48588 SOS 30402 HAS SOPS 27257 HAS SOUS 19664 HAS SOUPS 18228 WITH SCORE 18258.402
AT ITER 56 NEW BEST:: SOT 48576 SOS 30392 HAS SOPS 27247 HAS SOUS 19662 HAS SOUPS 18226 WITH SCORE 18256.392
AT ITER 58 NEW BEST:: SOT 48500 SOS 30311 HAS SOPS 27194 HAS SOUS 19642 HAS SOUPS 18206 WITH SCORE 18236.311
AT ITER 60 NEW BEST:: SOT 48988 SOS 30515 HAS SOPS 27398 HAS SOUS 19451 HAS SOUPS 18015 WITH SCORE 18045.515
AT ITER 62 NEW BEST:: SOT 48987 SOS 30512 HAS SOPS 27396 HAS SOUS 19445 HAS SOUPS 18010 WITH SCORE 18040.512
AT ITER 63 NEW BEST:: SOT 48774 SOS 30404 HAS SOPS 27362 HAS SOUS 19367 HAS SOUPS 17976 WITH SCORE 18006.404
AT ITER 66 NEW BEST:: SOT 48744 SOS 30374 HAS SOPS 27332 HAS SOUS 19367 HAS SOUPS 17976 WITH SCORE 18006.374
AT ITER 67 NEW BEST:: SOT 48770 SOS 30370 HAS SOPS 27250 HAS SOUS 19346 HAS SOUPS 17951 WITH SCORE 17981.37
AT ITER 68 NEW BEST:: SOT 48847 SOS 30362 HAS SOPS 27188 HAS SOUS 19377 HAS SOUPS 17928 WITH SCORE 17958.362
AT ITER 75 NEW BEST:: SOT 48065 SOS 31608 HAS SOPS 26468 HAS SOUS 18969 HAS SOUPS 17556 WITH SCORE 17587.608
AT ITER 77 NEW BEST:: SOT 48029 SOS 31593 HAS SOPS 26463 HAS SOUS 18956 HAS SOUPS 17551 WITH SCORE 17582.593
AT ITER 80 NEW BEST:: SOT 47302 SOS 31006 HAS SOPS 25876 HAS SOUS 18395 HAS SOUPS 17004 WITH SCORE 17035.006
AT ITER 86 NEW BEST:: SOT 47293 SOS 30979 HAS SOPS 25858 HAS SOUS 18366 HAS SOUPS 16984 WITH SCORE 17014.979
AT ITER 87 NEW BEST:: SOT 47125 SOS 30955 HAS SOPS 25658 HAS SOUS 18126 HAS SOUPS 16728 WITH SCORE 16758.955
AT ITER 88 NEW BEST:: SOT 47077 SOS 30861 HAS SOPS 25520 HAS SOUS 18142 HAS SOUPS 16700 WITH SCORE 16730.861
AT ITER 89 NEW BEST:: SOT 46673 SOS 31202 HAS SOPS 25423 HAS SOUS 18067 HAS SOUPS 16613 WITH SCORE 16644.202
AT ITER 99 NEW BEST:: SOT 46622 SOS 30941 HAS SOPS 25393 HAS SOUS 17914 HAS SOUPS 16481 WITH SCORE 16511.941
AT ITER 100 NEW BEST:: SOT 46614 SOS 30929 HAS SOPS 25385 HAS SOUS 17898 HAS SOUPS 16469 WITH SCORE 16499.929
AT ITER 104 NEW BEST:: SOT 46722 SOS 31087 HAS SOPS 25597 HAS SOUS 17799 HAS SOUPS 16424 WITH SCORE 16455.087
AT ITER 105 NEW BEST:: SOT 46689 SOS 31040 HAS SOPS 25550 HAS SOUS 17757 HAS SOUPS 16382 WITH SCORE 16413.04
AT ITER 107 NEW BEST:: SOT 46688 SOS 31027 HAS SOPS 25470 HAS SOUS 17782 HAS SOUPS 16368 WITH SCORE 16399.027
AT ITER 110 NEW BEST:: SOT 46711 SOS 31050 HAS SOPS 25464 HAS SOUS 17776 HAS SOUPS 16362 WITH SCORE 16393.05
AT ITER 121 NEW BEST:: SOT 46837 SOS 31122 HAS SOPS 25584 HAS SOUS 17602 HAS SOUPS 16242 WITH SCORE 16273.122
AT ITER 126 NEW BEST:: SOT 46707 SOS 31011 HAS SOPS 25507 HAS SOUS 17553 HAS SOUPS 16196 WITH SCORE 16227.011
AT ITER 129 NEW BEST:: SOT 46687 SOS 30991 HAS SOPS 25487 HAS SOUS 17533 HAS SOUPS 16176 WITH SCORE 16206.991
AT ITER 131 NEW BEST:: SOT 46699 SOS 30651 HAS SOPS 25501 HAS SOUS 17527 HAS SOUPS 16176 WITH SCORE 16206.651
AT ITER 132 NEW BEST:: SOT 46753 SOS 30534 HAS SOPS 25426 HAS SOUS 17486 HAS SOUPS 16135 WITH SCORE 16165.534
AT ITER 136 NEW BEST:: SOT 46758 SOS 30554 HAS SOPS 25441 HAS SOUS 17466 HAS SOUPS 16115 WITH SCORE 16145.554
AT ITER 138 NEW BEST:: SOT 46786 SOS 30554 HAS SOPS 25453 HAS SOUS 17440 HAS SOUPS 16090 WITH SCORE 16120.554
AT ITER 141 NEW BEST:: SOT 46769 SOS 30537 HAS SOPS 25436 HAS SOUS 17423 HAS SOUPS 16073 WITH SCORE 16103.537
AT ITER 145 NEW BEST:: SOT 47049 SOS 30583 HAS SOPS 25482 HAS SOUS 17401 HAS SOUPS 16051 WITH SCORE 16081.583
AT ITER 148 NEW BEST:: SOT 47044 SOS 30606 HAS SOPS 25485 HAS SOUS 17396 HAS SOUPS 16045 WITH SCORE 16075.606
AT ITER 152 NEW BEST:: SOT 47090 SOS 30602 HAS SOPS 25481 HAS SOUS 17366 HAS SOUPS 16015 WITH SCORE 16045.602
AT ITER 154 NEW BEST:: SOT 47022 SOS 30534 HAS SOPS 25413 HAS SOUS 17298 HAS SOUPS 15947 WITH SCORE 15977.534
AT ITER 155 NEW BEST:: SOT 47020 SOS 30530 HAS SOPS 25409 HAS SOUS 17296 HAS SOUPS 15945 WITH SCORE 15975.53
AT ITER 157 NEW BEST:: SOT 47030 SOS 30381 HAS SOPS 25424 HAS SOUS 17290 HAS SOUPS 15944 WITH SCORE 15974.381
AT ITER 162 NEW BEST:: SOT 47101 SOS 30547 HAS SOPS 25520 HAS SOUS 17261 HAS SOUPS 15915 WITH SCORE 15945.547
AT ITER 166 NEW BEST:: SOT 47104 SOS 30562 HAS SOPS 25538 HAS SOUS 17255 HAS SOUPS 15912 WITH SCORE 15942.562
AT ITER 167 NEW BEST:: SOT 47118 SOS 30563 HAS SOPS 25582 HAS SOUS 17112 HAS SOUPS 15790 WITH SCORE 15820.563
AT ITER 168 NEW BEST:: SOT 47263 SOS 30734 HAS SOPS 25807 HAS SOUS 16996 HAS SOUPS 15728 WITH SCORE 15758.734
AT ITER 173 NEW BEST:: SOT 47250 SOS 30721 HAS SOPS 25794 HAS SOUS 16970 HAS SOUPS 15702 WITH SCORE 15732.721
AT ITER 183 NEW BEST:: SOT 47170 SOS 30487 HAS SOPS 25527 HAS SOUS 16783 HAS SOUPS 15508 WITH SCORE 15538.487
AT ITER 184 NEW BEST:: SOT 47156 SOS 30480 HAS SOPS 25520 HAS SOUS 16776 HAS SOUPS 15501 WITH SCORE 15531.48
AT ITER 188 NEW BEST:: SOT 47144 SOS 30468 HAS SOPS 25508 HAS SOUS 16764 HAS SOUPS 15489 WITH SCORE 15519.468
AT ITER 189 NEW BEST:: SOT 47117 SOS 30414 HAS SOPS 25454 HAS SOUS 16764 HAS SOUPS 15489 WITH SCORE 15519.414
AT ITER 196 NEW BEST:: SOT 47180 SOS 30577 HAS SOPS 25710 HAS SOUS 16698 HAS SOUPS 15488 WITH SCORE 15518.577
AT ITER 200 NEW BEST:: SOT 47108 SOS 30481 HAS SOPS 25590 HAS SOUS 16674 HAS SOUPS 15440 WITH SCORE 15470.481
AT ITER 201 NEW BEST:: SOT 47230 SOS 30548 HAS SOPS 25657 HAS SOUS 16637 HAS SOUPS 15403 WITH SCORE 15433.548
AT ITER 203 NEW BEST:: SOT 47300 SOS 30618 HAS SOPS 25762 HAS SOUS 16567 HAS SOUPS 15368 WITH SCORE 15398.618
AT ITER 206 NEW BEST:: SOT 47287 SOS 30477 HAS SOPS 25621 HAS SOUS 16508 HAS SOUPS 15309 WITH SCORE 15339.477
AT ITER 207 NEW BEST:: SOT 47026 SOS 30191 HAS SOPS 25299 HAS SOUS 16504 HAS SOUPS 15297 WITH SCORE 15327.191
AT ITER 211 NEW BEST:: SOT 47004 SOS 30109 HAS SOPS 25217 HAS SOUS 16430 HAS SOUPS 15223 WITH SCORE 15253.109
AT ITER 213 NEW BEST:: SOT 46946 SOS 30117 HAS SOPS 25202 HAS SOUS 16416 HAS SOUPS 15209 WITH SCORE 15239.117
AT ITER 215 NEW BEST:: SOT 46963 SOS 30083 HAS SOPS 25106 HAS SOUS 16388 HAS SOUPS 15181 WITH SCORE 15211.083
AT ITER 226 NEW BEST:: SOT 46990 SOS 30073 HAS SOPS 25096 HAS SOUS 16343 HAS SOUPS 15136 WITH SCORE 15166.073
AT ITER 231 NEW BEST:: SOT 47026 SOS 29945 HAS SOPS 24968 HAS SOUS 16273 HAS SOUPS 15066 WITH SCORE 15095.945
AT ITER 232 NEW BEST:: SOT 45941 SOS 29533 HAS SOPS 24749 HAS SOUS 16004 HAS SOUPS 14932 WITH SCORE 14961.533
AT ITER 234 NEW BEST:: SOT 45609 SOS 29253 HAS SOPS 24457 HAS SOUS 15732 HAS SOUPS 14660 WITH SCORE 14689.253
AT ITER 238 NEW BEST:: SOT 45622 SOS 29403 HAS SOPS 24611 HAS SOUS 15715 HAS SOUPS 14644 WITH SCORE 14673.403
AT ITER 242 NEW BEST:: SOT 45670 SOS 29451 HAS SOPS 24659 HAS SOUS 15706 HAS SOUPS 14635 WITH SCORE 14664.451
AT ITER 246 NEW BEST:: SOT 45674 SOS 29461 HAS SOPS 24665 HAS SOUS 15702 HAS SOUPS 14631 WITH SCORE 14660.461
AT ITER 250 NEW BEST:: SOT 45628 SOS 29407 HAS SOPS 24687 HAS SOUS 15543 HAS SOUPS 14510 WITH SCORE 14539.407
AT ITER 251 NEW BEST:: SOT 45491 SOS 29292 HAS SOPS 24533 HAS SOUS 15461 HAS SOUPS 14424 WITH SCORE 14453.292
AT ITER 256 NEW BEST:: SOT 45396 SOS 29312 HAS SOPS 24553 HAS SOUS 15436 HAS SOUPS 14399 WITH SCORE 14428.312
AT ITER 262 NEW BEST:: SOT 45516 SOS 29536 HAS SOPS 24873 HAS SOUS 15345 HAS SOUPS 14327 WITH SCORE 14356.536
AT ITER 266 NEW BEST:: SOT 45509 SOS 29531 HAS SOPS 24866 HAS SOUS 15338 HAS SOUPS 14320 WITH SCORE 14349.531
AT ITER 267 NEW BEST:: SOT 45533 SOS 29575 HAS SOPS 24910 HAS SOUS 15285 HAS SOUPS 14267 WITH SCORE 14296.575
AT ITER 271 NEW BEST:: SOT 45520 SOS 29562 HAS SOPS 24910 HAS SOUS 15246 HAS SOUPS 14241 WITH SCORE 14270.562
AT ITER 282 NEW BEST:: SOT 45388 SOS 29437 HAS SOPS 24806 HAS SOUS 15175 HAS SOUPS 14173 WITH SCORE 14202.437
AT ITER 283 NEW BEST:: SOT 45402 SOS 29323 HAS SOPS 24692 HAS SOUS 15175 HAS SOUPS 14173 WITH SCORE 14202.323
AT ITER 285 NEW BEST:: SOT 45350 SOS 29267 HAS SOPS 24636 HAS SOUS 15113 HAS SOUPS 14111 WITH SCORE 14140.267
AT ITER 288 NEW BEST:: SOT 45349 SOS 29265 HAS SOPS 24634 HAS SOUS 15113 HAS SOUPS 14111 WITH SCORE 14140.265
AT ITER 289 NEW BEST:: SOT 45298 SOS 29205 HAS SOPS 24588 HAS SOUS 15104 HAS SOUPS 14102 WITH SCORE 14131.205
AT ITER 290 NEW BEST:: SOT 45262 SOS 29048 HAS SOPS 24431 HAS SOUS 15063 HAS SOUPS 14061 WITH SCORE 14090.048
AT ITER 297 NEW BEST:: SOT 45248 SOS 29052 HAS SOPS 24430 HAS SOUS 15060 HAS SOUPS 14060 WITH SCORE 14089.052
AT ITER 306 NEW BEST:: SOT 45440 SOS 29074 HAS SOPS 24467 HAS SOUS 14837 HAS SOUPS 13837 WITH SCORE 13866.074
AT ITER 309 NEW BEST:: SOT 45305 SOS 29118 HAS SOPS 24713 HAS SOUS 14775 HAS SOUPS 13800 WITH SCORE 13829.118
AT ITER 311 NEW BEST:: SOT 45599 SOS 29473 HAS SOPS 25088 HAS SOUS 14666 HAS SOUPS 13691 WITH SCORE 13720.473
AT ITER 315 NEW BEST:: SOT 45626 SOS 29455 HAS SOPS 25070 HAS SOUS 14630 HAS SOUPS 13655 WITH SCORE 13684.455
AT ITER 318 NEW BEST:: SOT 45626 SOS 29452 HAS SOPS 25068 HAS SOUS 14629 HAS SOUPS 13654 WITH SCORE 13683.452
AT ITER 319 NEW BEST:: SOT 45552 SOS 29338 HAS SOPS 24988 HAS SOUS 14467 HAS SOUPS 13526 WITH SCORE 13555.338
AT ITER 325 NEW BEST:: SOT 45536 SOS 29322 HAS SOPS 24972 HAS SOUS 14451 HAS SOUPS 13510 WITH SCORE 13539.322
AT ITER 326 NEW BEST:: SOT 45494 SOS 29238 HAS SOPS 24902 HAS SOUS 14431 HAS SOUPS 13490 WITH SCORE 13519.238
AT ITER 328 NEW BEST:: SOT 45462 SOS 29164 HAS SOPS 24838 HAS SOUS 14386 HAS SOUPS 13445 WITH SCORE 13474.164
AT ITER 331 NEW BEST:: SOT 45511 SOS 29175 HAS SOPS 24868 HAS SOUS 14352 HAS SOUPS 13411 WITH SCORE 13440.175
AT ITER 336 NEW BEST:: SOT 45493 SOS 29132 HAS SOPS 24826 HAS SOUS 14334 HAS SOUPS 13390 WITH SCORE 13419.132
AT ITER 340 NEW BEST:: SOT 45457 SOS 29063 HAS SOPS 24790 HAS SOUS 14133 HAS SOUPS 13222 WITH SCORE 13251.063
AT ITER 341 NEW BEST:: SOT 45457 SOS 29063 HAS SOPS 24800 HAS SOUS 14122 HAS SOUPS 13211 WITH SCORE 13240.063
AT ITER 342 NEW BEST:: SOT 45732 SOS 28885 HAS SOPS 24734 HAS SOUS 13958 HAS SOUPS 13033 WITH SCORE 13061.885
AT ITER 344 NEW BEST:: SOT 45650 SOS 28721 HAS SOPS 24570 HAS SOUS 13681 HAS SOUPS 12756 WITH SCORE 12784.721
AT ITER 347 NEW BEST:: SOT 45674 SOS 28713 HAS SOPS 24562 HAS SOUS 13663 HAS SOUPS 12738 WITH SCORE 12766.713
AT ITER 348 NEW BEST:: SOT 45775 SOS 28555 HAS SOPS 24665 HAS SOUS 13597 HAS SOUPS 12706 WITH SCORE 12734.555
AT ITER 354 NEW BEST:: SOT 45675 SOS 28413 HAS SOPS 24581 HAS SOUS 13539 HAS SOUPS 12706 WITH SCORE 12734.413
AT ITER 356 NEW BEST:: SOT 45688 SOS 28414 HAS SOPS 24607 HAS SOUS 13513 HAS SOUPS 12693 WITH SCORE 12721.414
AT ITER 358 NEW BEST:: SOT 44225 SOS 27223 HAS SOPS 23757 HAS SOUS 12407 HAS SOUPS 11731 WITH SCORE 11758.223
AT ITER 359 NEW BEST:: SOT 44225 SOS 27187 HAS SOPS 23721 HAS SOUS 12407 HAS SOUPS 11731 WITH SCORE 11758.187
AT ITER 361 NEW BEST:: SOT 44101 SOS 27637 HAS SOPS 23466 HAS SOUS 12287 HAS SOUPS 11576 WITH SCORE 11603.637
AT ITER 367 NEW BEST:: SOT 44171 SOS 27670 HAS SOPS 23499 HAS SOUS 12260 HAS SOUPS 11549 WITH SCORE 11576.67
AT ITER 373 NEW BEST:: SOT 44171 SOS 27658 HAS SOPS 23491 HAS SOUS 12256 HAS SOUPS 11545 WITH SCORE 11572.658
AT ITER 375 NEW BEST:: SOT 44271 SOS 27782 HAS SOPS 23615 HAS SOUS 12247 HAS SOUPS 11536 WITH SCORE 11563.782
AT ITER 382 NEW BEST:: SOT 44386 SOS 27892 HAS SOPS 23665 HAS SOUS 12267 HAS SOUPS 11526 WITH SCORE 11553.892
AT ITER 387 NEW BEST:: SOT 44497 SOS 27916 HAS SOPS 23689 HAS SOUS 12246 HAS SOUPS 11505 WITH SCORE 11532.916
AT ITER 397 NEW BEST:: SOT 44469 SOS 27902 HAS SOPS 23682 HAS SOUS 12211 HAS SOUPS 11477 WITH SCORE 11504.902
AT ITER 399 NEW BEST:: SOT 44458 SOS 27888 HAS SOPS 23668 HAS SOUS 12193 HAS SOUPS 11460 WITH SCORE 11487.888
AT ITER 400 NEW BEST:: SOT 44502 SOS 27931 HAS SOPS 23698 HAS SOUS 12190 HAS SOUPS 11457 WITH SCORE 11484.931
AT ITER 401 NEW BEST:: SOT 43650 SOS 27499 HAS SOPS 23455 HAS SOUS 11893 HAS SOUPS 11295 WITH SCORE 11322.499
AT ITER 409 NEW BEST:: SOT 43710 SOS 27504 HAS SOPS 23506 HAS SOUS 11836 HAS SOUPS 11284 WITH SCORE 11311.504
AT ITER 418 NEW BEST:: SOT 43675 SOS 27472 HAS SOPS 23480 HAS SOUS 11811 HAS SOUPS 11258 WITH SCORE 11285.472
AT ITER 425 NEW BEST:: SOT 43633 SOS 27416 HAS SOPS 23432 HAS SOUS 11798 HAS SOUPS 11248 WITH SCORE 11275.416
AT ITER 427 NEW BEST:: SOT 43477 SOS 27265 HAS SOPS 23304 HAS SOUS 11748 HAS SOUPS 11205 WITH SCORE 11232.265
AT ITER 430 NEW BEST:: SOT 43423 SOS 27353 HAS SOPS 23392 HAS SOUS 11744 HAS SOUPS 11201 WITH SCORE 11228.353
AT ITER 432 NEW BEST:: SOT 42650 SOS 26917 HAS SOPS 22782 HAS SOUS 11149 HAS SOUPS 10557 WITH SCORE 10583.917
AT ITER 433 NEW BEST:: SOT 42671 SOS 26814 HAS SOPS 22679 HAS SOUS 11137 HAS SOUPS 10545 WITH SCORE 10571.814
AT ITER 434 NEW BEST:: SOT 42597 SOS 26770 HAS SOPS 22635 HAS SOUS 11099 HAS SOUPS 10507 WITH SCORE 10533.77
AT ITER 436 NEW BEST:: SOT 42591 SOS 26764 HAS SOPS 22629 HAS SOUS 11092 HAS SOUPS 10500 WITH SCORE 10526.764
AT ITER 437 NEW BEST:: SOT 42567 SOS 26716 HAS SOPS 22581 HAS SOUS 11020 HAS SOUPS 10428 WITH SCORE 10454.716
AT ITER 438 NEW BEST:: SOT 42525 SOS 26651 HAS SOPS 22497 HAS SOUS 10997 HAS SOUPS 10386 WITH SCORE 10412.651
AT ITER 450 NEW BEST:: SOT 41614 SOS 25955 HAS SOPS 21801 HAS SOUS 10879 HAS SOUPS 10268 WITH SCORE 10293.955
AT ITER 453 NEW BEST:: SOT 41705 SOS 26023 HAS SOPS 21863 HAS SOUS 10720 HAS SOUPS 10122 WITH SCORE 10148.023
AT ITER 455 NEW BEST:: SOT 41646 SOS 25960 HAS SOPS 21832 HAS SOUS 10570 HAS SOUPS 9988 WITH SCORE 10013.96
AT ITER 456 NEW BEST:: SOT 41778 SOS 25776 HAS SOPS 21648 HAS SOUS 10388 HAS SOUPS 9806 WITH SCORE 9831.776
AT ITER 458 NEW BEST:: SOT 41714 SOS 25712 HAS SOPS 21584 HAS SOUS 10324 HAS SOUPS 9742 WITH SCORE 9767.712
AT ITER 459 NEW BEST:: SOT 41688 SOS 25686 HAS SOPS 21558 HAS SOUS 10298 HAS SOUPS 9716 WITH SCORE 9741.686
AT ITER 470 NEW BEST:: SOT 41745 SOS 25648 HAS SOPS 21510 HAS SOUS 10240 HAS SOUPS 9658 WITH SCORE 9683.648
AT ITER 471 NEW BEST:: SOT 41658 SOS 25554 HAS SOPS 21416 HAS SOUS 10147 HAS SOUPS 9565 WITH SCORE 9590.554
AT ITER 474 NEW BEST:: SOT 41674 SOS 25481 HAS SOPS 21386 HAS SOUS 10117 HAS SOUPS 9535 WITH SCORE 9560.481
AT ITER 479 NEW BEST:: SOT 41564 SOS 25426 HAS SOPS 21331 HAS SOUS 10067 HAS SOUPS 9485 WITH SCORE 9510.426
AT ITER 499 NEW BEST:: SOT 41411 SOS 25290 HAS SOPS 21161 HAS SOUS 9920 HAS SOUPS 9315 WITH SCORE 9340.29
AT ITER 500 NEW BEST:: SOT 41075 SOS 24991 HAS SOPS 20929 HAS SOUS 9688 HAS SOUPS 9083 WITH SCORE 9107.991
AT ITER 513 NEW BEST:: SOT 41162 SOS 24991 HAS SOPS 20929 HAS SOUS 9574 HAS SOUPS 8969 WITH SCORE 8993.991
AT ITER 517 NEW BEST:: SOT 41174 SOS 24982 HAS SOPS 20920 HAS SOUS 9568 HAS SOUPS 8963 WITH SCORE 8987.982
AT ITER 518 NEW BEST:: SOT 41193 SOS 24925 HAS SOPS 20844 HAS SOUS 9569 HAS SOUPS 8945 WITH SCORE 8969.925
AT ITER 521 NEW BEST:: SOT 41123 SOS 24855 HAS SOPS 20760 HAS SOUS 9541 HAS SOUPS 8917 WITH SCORE 8941.855
AT ITER 523 NEW BEST:: SOT 41133 SOS 24855 HAS SOPS 20760 HAS SOUS 9505 HAS SOUPS 8881 WITH SCORE 8905.855
AT ITER 530 NEW BEST:: SOT 41114 SOS 24748 HAS SOPS 20742 HAS SOUS 9496 HAS SOUPS 8872 WITH SCORE 8896.748
AT ITER 544 NEW BEST:: SOT 41107 SOS 24727 HAS SOPS 20721 HAS SOUS 9454 HAS SOUPS 8830 WITH SCORE 8854.727
AT ITER 551 NEW BEST:: SOT 41103 SOS 24723 HAS SOPS 20717 HAS SOUS 9450 HAS SOUPS 8826 WITH SCORE 8850.723
AT ITER 560 NEW BEST:: SOT 40449 SOS 25427 HAS SOPS 20464 HAS SOUS 9409 HAS SOUPS 8791 WITH SCORE 8816.427
AT ITER 561 NEW BEST:: SOT 40383 SOS 25385 HAS SOPS 20430 HAS SOUS 9349 HAS SOUPS 8719 WITH SCORE 8744.385
AT ITER 566 NEW BEST:: SOT 40363 SOS 25373 HAS SOPS 20413 HAS SOUS 9339 HAS SOUPS 8709 WITH SCORE 8734.373
AT ITER 581 NEW BEST:: SOT 40343 SOS 25368 HAS SOPS 20403 HAS SOUS 9329 HAS SOUPS 8699 WITH SCORE 8724.368
AT ITER 592 NEW BEST:: SOT 40319 SOS 25344 HAS SOPS 20379 HAS SOUS 9308 HAS SOUPS 8678 WITH SCORE 8703.344
AT ITER 598 NEW BEST:: SOT 40291 SOS 25316 HAS SOPS 20351 HAS SOUS 9292 HAS SOUPS 8662 WITH SCORE 8687.316
AT ITER 601 NEW BEST:: SOT 40087 SOS 25112 HAS SOPS 20067 HAS SOUS 9274 HAS SOUPS 8622 WITH SCORE 8647.112
AT ITER 604 NEW BEST:: SOT 40078 SOS 25097 HAS SOPS 20052 HAS SOUS 9274 HAS SOUPS 8622 WITH SCORE 8647.097
AT ITER 614 NEW BEST:: SOT 40083 SOS 25102 HAS SOPS 20044 HAS SOUS 9261 HAS SOUPS 8603 WITH SCORE 8628.102
AT ITER 623 NEW BEST:: SOT 40083 SOS 25089 HAS SOPS 20031 HAS SOUS 9248 HAS SOUPS 8590 WITH SCORE 8615.089
AT ITER 627 NEW BEST:: SOT 40128 SOS 25137 HAS SOPS 20079 HAS SOUS 9218 HAS SOUPS 8560 WITH SCORE 8585.137
AT ITER 641 NEW BEST:: SOT 39954 SOS 24994 HAS SOPS 19967 HAS SOUS 9185 HAS SOUPS 8527 WITH SCORE 8551.994
AT ITER 657 NEW BEST:: SOT 39954 SOS 24967 HAS SOPS 19940 HAS SOUS 9148 HAS SOUPS 8490 WITH SCORE 8514.967
AT ITER 664 NEW BEST:: SOT 39981 SOS 24994 HAS SOPS 19956 HAS SOUS 9106 HAS SOUPS 8448 WITH SCORE 8472.994
AT ITER 694 NEW BEST:: SOT 40110 SOS 24142 HAS SOPS 19948 HAS SOUS 8997 HAS SOUPS 8356 WITH SCORE 8380.142
AT ITER 703 NEW BEST:: SOT 40126 SOS 24158 HAS SOPS 20006 HAS SOUS 8985 HAS SOUPS 8344 WITH SCORE 8368.158
AT ITER 712 NEW BEST:: SOT 40042 SOS 24113 HAS SOPS 19986 HAS SOUS 8975 HAS SOUPS 8334 WITH SCORE 8358.113
AT ITER 732 NEW BEST:: SOT 40065 SOS 24159 HAS SOPS 20013 HAS SOUS 8973 HAS SOUPS 8332 WITH SCORE 8356.159
AT ITER 737 NEW BEST:: SOT 40189 SOS 24208 HAS SOPS 20070 HAS SOUS 8898 HAS SOUPS 8264 WITH SCORE 8288.208
AT ITER 750 NEW BEST:: SOT 40227 SOS 24134 HAS SOPS 19966 HAS SOUS 8892 HAS SOUPS 8228 WITH SCORE 8252.134
AT ITER 781 NEW BEST:: SOT 40207 SOS 24114 HAS SOPS 19956 HAS SOUS 8882 HAS SOUPS 8223 WITH SCORE 8247.114
AT ITER 785 NEW BEST:: SOT 40101 SOS 24031 HAS SOPS 19873 HAS SOUS 8783 HAS SOUPS 8124 WITH SCORE 8148.031
AT ITER 788 NEW BEST:: SOT 40089 SOS 23996 HAS SOPS 19838 HAS SOUS 8772 HAS SOUPS 8113 WITH SCORE 8136.996
AT ITER 795 NEW BEST:: SOT 39864 SOS 23779 HAS SOPS 19650 HAS SOUS 8704 HAS SOUPS 8045 WITH SCORE 8068.779
AT ITER 799 NEW BEST:: SOT 39843 SOS 23782 HAS SOPS 19632 HAS SOUS 8677 HAS SOUPS 8012 WITH SCORE 8035.782
AT ITER 807 NEW BEST:: SOT 39837 SOS 23778 HAS SOPS 19628 HAS SOUS 8677 HAS SOUPS 8012 WITH SCORE 8035.778
AT ITER 812 NEW BEST:: SOT 39837 SOS 23750 HAS SOPS 19604 HAS SOUS 8665 HAS SOUPS 8000 WITH SCORE 8023.75
AT ITER 841 NEW BEST:: SOT 39739 SOS 23652 HAS SOPS 19504 HAS SOUS 8609 HAS SOUPS 7944 WITH SCORE 7967.652
AT ITER 847 NEW BEST:: SOT 39630 SOS 23494 HAS SOPS 19366 HAS SOUS 8600 HAS SOUPS 7935 WITH SCORE 7958.494
AT ITER 848 NEW BEST:: SOT 39558 SOS 23422 HAS SOPS 19326 HAS SOUS 8549 HAS SOUPS 7897 WITH SCORE 7920.422
AT ITER 852 NEW BEST:: SOT 39859 SOS 23564 HAS SOPS 19499 HAS SOUS 8490 HAS SOUPS 7838 WITH SCORE 7861.564
AT ITER 860 NEW BEST:: SOT 39899 SOS 23539 HAS SOPS 19474 HAS SOUS 8475 HAS SOUPS 7823 WITH SCORE 7846.539
AT ITER 879 NEW BEST:: SOT 39962 SOS 23588 HAS SOPS 19510 HAS SOUS 8429 HAS SOUPS 7785 WITH SCORE 7808.588
AT ITER 883 NEW BEST:: SOT 39968 SOS 23588 HAS SOPS 19510 HAS SOUS 8420 HAS SOUPS 7776 WITH SCORE 7799.588
AT ITER 885 NEW BEST:: SOT 40008 SOS 23576 HAS SOPS 19498 HAS SOUS 8369 HAS SOUPS 7725 WITH SCORE 7748.576
AT ITER 887 NEW BEST:: SOT 39972 SOS 23548 HAS SOPS 19492 HAS SOUS 8361 HAS SOUPS 7717 WITH SCORE 7740.548
AT ITER 896 NEW BEST:: SOT 39976 SOS 23552 HAS SOPS 19488 HAS SOUS 8343 HAS SOUPS 7699 WITH SCORE 7722.552
AT ITER 918 NEW BEST:: SOT 39983 SOS 23543 HAS SOPS 19481 HAS SOUS 8322 HAS SOUPS 7678 WITH SCORE 7701.543
AT ITER 920 NEW BEST:: SOT 40066 SOS 23610 HAS SOPS 19525 HAS SOUS 8289 HAS SOUPS 7645 WITH SCORE 7668.61
AT ITER 950 NEW BEST:: SOT 40075 SOS 23610 HAS SOPS 19525 HAS SOUS 8286 HAS SOUPS 7642 WITH SCORE 7665.61
AT ITER 970 NEW BEST:: SOT 40079 SOS 23570 HAS SOPS 19497 HAS SOUS 8278 HAS SOUPS 7634 WITH SCORE 7657.57
AT ITER 975 NEW BEST:: SOT 40079 SOS 23549 HAS SOPS 19476 HAS SOUS 8264 HAS SOUPS 7620 WITH SCORE 7643.549
AT ITER 977 NEW BEST:: SOT 40059 SOS 23539 HAS SOPS 19476 HAS SOUS 8264 HAS SOUPS 7620 WITH SCORE 7643.539
AT ITER 984 NEW BEST:: SOT 40054 SOS 23534 HAS SOPS 19473 HAS SOUS 8264 HAS SOUPS 7620 WITH SCORE 7643.534
AT ITER 986 NEW BEST:: SOT 39843 SOS 23434 HAS SOPS 19368 HAS SOUS 8275 HAS SOUPS 7604 WITH SCORE 7627.434
AT ITER 1010 NEW BEST:: SOT 39843 SOS 23435 HAS SOPS 19369 HAS SOUS 8274 HAS SOUPS 7603 WITH SCORE 7626.435
AT ITER 1014 NEW BEST:: SOT 39848 SOS 23430 HAS SOPS 19369 HAS SOUS 8259 HAS SOUPS 7593 WITH SCORE 7616.43
AT ITER 1015 NEW BEST:: SOT 39792 SOS 23347 HAS SOPS 19253 HAS SOUS 8243 HAS SOUPS 7565 WITH SCORE 7588.347
AT ITER 1027 NEW BEST:: SOT 39772 SOS 23327 HAS SOPS 19233 HAS SOUS 8215 HAS SOUPS 7537 WITH SCORE 7560.327
AT ITER 1031 NEW BEST:: SOT 39723 SOS 23278 HAS SOPS 19191 HAS SOUS 8208 HAS SOUPS 7530 WITH SCORE 7553.278
AT ITER 1032 NEW BEST:: SOT 39814 SOS 23346 HAS SOPS 19297 HAS SOUS 8187 HAS SOUPS 7528 WITH SCORE 7551.346
AT ITER 1037 NEW BEST:: SOT 39894 SOS 23416 HAS SOPS 19352 HAS SOUS 8172 HAS SOUPS 7513 WITH SCORE 7536.416
AT ITER 1053 NEW BEST:: SOT 39844 SOS 23435 HAS SOPS 19371 HAS SOUS 8139 HAS SOUPS 7480 WITH SCORE 7503.435
AT ITER 1069 NEW BEST:: SOT 39996 SOS 23537 HAS SOPS 19468 HAS SOUS 8034 HAS SOUPS 7401 WITH SCORE 7424.537
AT ITER 1076 NEW BEST:: SOT 40001 SOS 23532 HAS SOPS 19463 HAS SOUS 7989 HAS SOUPS 7356 WITH SCORE 7379.532
AT ITER 1090 NEW BEST:: SOT 40038 SOS 23592 HAS SOPS 19508 HAS SOUS 7978 HAS SOUPS 7345 WITH SCORE 7368.592
AT ITER 1097 NEW BEST:: SOT 40309 SOS 23666 HAS SOPS 19582 HAS SOUS 7931 HAS SOUPS 7298 WITH SCORE 7321.666
AT ITER 1115 NEW BEST:: SOT 40366 SOS 23636 HAS SOPS 19544 HAS SOUS 7817 HAS SOUPS 7184 WITH SCORE 7207.636
AT ITER 1118 NEW BEST:: SOT 40356 SOS 23629 HAS SOPS 19534 HAS SOUS 7817 HAS SOUPS 7184 WITH SCORE 7207.629
AT ITER 1124 NEW BEST:: SOT 40356 SOS 23627 HAS SOPS 19532 HAS SOUS 7813 HAS SOUPS 7180 WITH SCORE 7203.627
AT ITER 1142 NEW BEST:: SOT 40360 SOS 23625 HAS SOPS 19528 HAS SOUS 7809 HAS SOUPS 7176 WITH SCORE 7199.625
AT ITER 1153 NEW BEST:: SOT 40092 SOS 23241 HAS SOPS 19202 HAS SOUS 7780 HAS SOUPS 7145 WITH SCORE 7168.241
AT ITER 1161 NEW BEST:: SOT 40054 SOS 23212 HAS SOPS 19158 HAS SOUS 7740 HAS SOUPS 7105 WITH SCORE 7128.212
AT ITER 1175 NEW BEST:: SOT 40042 SOS 23203 HAS SOPS 19146 HAS SOUS 7740 HAS SOUPS 7105 WITH SCORE 7128.203
AT ITER 1176 NEW BEST:: SOT 40020 SOS 23170 HAS SOPS 19113 HAS SOUS 7707 HAS SOUPS 7072 WITH SCORE 7095.17
AT ITER 1181 NEW BEST:: SOT 40016 SOS 23146 HAS SOPS 19089 HAS SOUS 7697 HAS SOUPS 7062 WITH SCORE 7085.146
AT ITER 1188 NEW BEST:: SOT 40055 SOS 23183 HAS SOPS 19126 HAS SOUS 7687 HAS SOUPS 7052 WITH SCORE 7075.183
AT ITER 1192 NEW BEST:: SOT 40074 SOS 23178 HAS SOPS 19114 HAS SOUS 7653 HAS SOUPS 7020 WITH SCORE 7043.178
AT ITER 1213 NEW BEST:: SOT 40067 SOS 23135 HAS SOPS 19107 HAS SOUS 7635 HAS SOUPS 7008 WITH SCORE 7031.135
AT ITER 1215 NEW BEST:: SOT 39989 SOS 23069 HAS SOPS 19041 HAS SOUS 7593 HAS SOUPS 6966 WITH SCORE 6989.069
AT ITER 1223 NEW BEST:: SOT 39851 SOS 23003 HAS SOPS 19034 HAS SOUS 7585 HAS SOUPS 6959 WITH SCORE 6982.003
AT ITER 1255 NEW BEST:: SOT 39699 SOS 22815 HAS SOPS 18846 HAS SOUS 7567 HAS SOUPS 6941 WITH SCORE 6963.815
AT ITER 1264 NEW BEST:: SOT 39642 SOS 23263 HAS SOPS 18786 HAS SOUS 7535 HAS SOUPS 6898 WITH SCORE 6921.263
AT ITER 1267 NEW BEST:: SOT 39770 SOS 23308 HAS SOPS 18853 HAS SOUS 7493 HAS SOUPS 6878 WITH SCORE 6901.308
AT ITER 1268 NEW BEST:: SOT 39755 SOS 23278 HAS SOPS 18823 HAS SOUS 7472 HAS SOUPS 6857 WITH SCORE 6880.278
AT ITER 1270 NEW BEST:: SOT 39750 SOS 23317 HAS SOPS 18873 HAS SOUS 7418 HAS SOUPS 6803 WITH SCORE 6826.317
AT ITER 1275 NEW BEST:: SOT 39748 SOS 23311 HAS SOPS 18871 HAS SOUS 7418 HAS SOUPS 6803 WITH SCORE 6826.311
AT ITER 1276 NEW BEST:: SOT 39729 SOS 23248 HAS SOPS 18808 HAS SOUS 7372 HAS SOUPS 6757 WITH SCORE 6780.248
AT ITER 1281 NEW BEST:: SOT 39729 SOS 23234 HAS SOPS 18794 HAS SOUS 7347 HAS SOUPS 6732 WITH SCORE 6755.234
AT ITER 1298 NEW BEST:: SOT 39727 SOS 23237 HAS SOPS 18797 HAS SOUS 7346 HAS SOUPS 6731 WITH SCORE 6754.237
AT ITER 1308 NEW BEST:: SOT 39727 SOS 23110 HAS SOPS 18797 HAS SOUS 7330 HAS SOUPS 6731 WITH SCORE 6754.11
AT ITER 1312 NEW BEST:: SOT 39723 SOS 23106 HAS SOPS 18789 HAS SOUS 7327 HAS SOUPS 6727 WITH SCORE 6750.106
AT ITER 1316 NEW BEST:: SOT 39711 SOS 22876 HAS SOPS 18559 HAS SOUS 7247 HAS SOUPS 6647 WITH SCORE 6669.876
AT ITER 1330 NEW BEST:: SOT 39472 SOS 22688 HAS SOPS 18417 HAS SOUS 7087 HAS SOUPS 6505 WITH SCORE 6527.688
AT ITER 1334 NEW BEST:: SOT 39450 SOS 22626 HAS SOPS 18355 HAS SOUS 7025 HAS SOUPS 6443 WITH SCORE 6465.626
AT ITER 1342 NEW BEST:: SOT 39456 SOS 22638 HAS SOPS 18361 HAS SOUS 7010 HAS SOUPS 6428 WITH SCORE 6450.638
AT ITER 1343 NEW BEST:: SOT 39492 SOS 22662 HAS SOPS 18385 HAS SOUS 7008 HAS SOUPS 6426 WITH SCORE 6448.662
AT ITER 1355 NEW BEST:: SOT 39624 SOS 22836 HAS SOPS 18529 HAS SOUS 6988 HAS SOUPS 6406 WITH SCORE 6428.836
AT ITER 1358 NEW BEST:: SOT 39618 SOS 22824 HAS SOPS 18517 HAS SOUS 6988 HAS SOUPS 6406 WITH SCORE 6428.824
AT ITER 1362 NEW BEST:: SOT 39615 SOS 22799 HAS SOPS 18492 HAS SOUS 6965 HAS SOUPS 6383 WITH SCORE 6405.799
AT ITER 1373 NEW BEST:: SOT 39475 SOS 22659 HAS SOPS 18372 HAS SOUS 6925 HAS SOUPS 6343 WITH SCORE 6365.659
AT ITER 1387 NEW BEST:: SOT 39471 SOS 22663 HAS SOPS 18376 HAS SOUS 6901 HAS SOUPS 6319 WITH SCORE 6341.663
AT ITER 1397 NEW BEST:: SOT 39432 SOS 22629 HAS SOPS 18359 HAS SOUS 6881 HAS SOUPS 6302 WITH SCORE 6324.629
AT ITER 1419 NEW BEST:: SOT 39436 SOS 23066 HAS SOPS 18952 HAS SOUS 6879 HAS SOUPS 6301 WITH SCORE 6324.066
AT ITER 1448 NEW BEST:: SOT 39313 SOS 22978 HAS SOPS 18884 HAS SOUS 6811 HAS SOUPS 6233 WITH SCORE 6255.978
AT ITER 1449 NEW BEST:: SOT 39287 SOS 22956 HAS SOPS 18864 HAS SOUS 6794 HAS SOUPS 6218 WITH SCORE 6240.956
AT ITER 1504 NEW BEST:: SOT 39255 SOS 22908 HAS SOPS 18816 HAS SOUS 6746 HAS SOUPS 6170 WITH SCORE 6192.908
AT ITER 1517 NEW BEST:: SOT 39215 SOS 23009 HAS SOPS 18917 HAS SOUS 6673 HAS SOUPS 6097 WITH SCORE 6120.009
AT ITER 1535 NEW BEST:: SOT 39245 SOS 23021 HAS SOPS 18929 HAS SOUS 6669 HAS SOUPS 6093 WITH SCORE 6116.021
AT ITER 1561 NEW BEST:: SOT 39236 SOS 23012 HAS SOPS 18920 HAS SOUS 6660 HAS SOUPS 6084 WITH SCORE 6107.012
AT ITER 1568 NEW BEST:: SOT 39188 SOS 23020 HAS SOPS 18924 HAS SOUS 6661 HAS SOUPS 6081 WITH SCORE 6104.02
AT ITER 1578 NEW BEST:: SOT 39190 SOS 23036 HAS SOPS 18912 HAS SOUS 6657 HAS SOUPS 6075 WITH SCORE 6098.036
AT ITER 1595 NEW BEST:: SOT 39180 SOS 23022 HAS SOPS 18898 HAS SOUS 6647 HAS SOUPS 6065 WITH SCORE 6088.022
AT ITER 1629 NEW BEST:: SOT 39179 SOS 23021 HAS SOPS 18896 HAS SOUS 6645 HAS SOUPS 6063 WITH SCORE 6086.021
AT ITER 1663 NEW BEST:: SOT 39072 SOS 22880 HAS SOPS 18755 HAS SOUS 6599 HAS SOUPS 6017 WITH SCORE 6039.88
AT ITER 1701 NEW BEST:: SOT 39073 SOS 22878 HAS SOPS 18753 HAS SOUS 6598 HAS SOUPS 6016 WITH SCORE 6038.878
AT ITER 1717 NEW BEST:: SOT 39040 SOS 22848 HAS SOPS 18747 HAS SOUS 6583 HAS SOUPS 5998 WITH SCORE 6020.848
AT ITER 1720 NEW BEST:: SOT 38949 SOS 22806 HAS SOPS 18705 HAS SOUS 6547 HAS SOUPS 5962 WITH SCORE 5984.806
AT ITER 1758 NEW BEST:: SOT 38943 SOS 22799 HAS SOPS 18699 HAS SOUS 6547 HAS SOUPS 5962 WITH SCORE 5984.799
AT ITER 1769 NEW BEST:: SOT 38942 SOS 22786 HAS SOPS 18700 HAS SOUS 6546 HAS SOUPS 5962 WITH SCORE 5984.786
AT ITER 1779 NEW BEST:: SOT 38943 SOS 22784 HAS SOPS 18698 HAS SOUS 6545 HAS SOUPS 5961 WITH SCORE 5983.784
AT ITER 1809 NEW BEST:: SOT 38958 SOS 22796 HAS SOPS 18704 HAS SOUS 6527 HAS SOUPS 5937 WITH SCORE 5959.796
AT ITER 1815 NEW BEST:: SOT 38907 SOS 22734 HAS SOPS 18642 HAS SOUS 6516 HAS SOUPS 5926 WITH SCORE 5948.734
AT ITER 1890 NEW BEST:: SOT 38915 SOS 22718 HAS SOPS 18626 HAS SOUS 6508 HAS SOUPS 5918 WITH SCORE 5940.718
AT ITER 1904 NEW BEST:: SOT 38949 SOS 22742 HAS SOPS 18650 HAS SOUS 6501 HAS SOUPS 5911 WITH SCORE 5933.742
AT ITER 1906 NEW BEST:: SOT 38953 SOS 22600 HAS SOPS 18650 HAS SOUS 6499 HAS SOUPS 5911 WITH SCORE 5933.6
AT ITER 1932 NEW BEST:: SOT 38969 SOS 22600 HAS SOPS 18650 HAS SOUS 6467 HAS SOUPS 5879 WITH SCORE 5901.6
AT ITER 1939 NEW BEST:: SOT 38896 SOS 22505 HAS SOPS 18572 HAS SOUS 6445 HAS SOUPS 5857 WITH SCORE 5879.505
AT ITER 1941 NEW BEST:: SOT 38925 SOS 22424 HAS SOPS 18491 HAS SOUS 6384 HAS SOUPS 5796 WITH SCORE 5818.424
AT ITER 1956 NEW BEST:: SOT 38921 SOS 22420 HAS SOPS 18487 HAS SOUS 6380 HAS SOUPS 5792 WITH SCORE 5814.42
AT ITER 1961 NEW BEST:: SOT 38911 SOS 22390 HAS SOPS 18457 HAS SOUS 6360 HAS SOUPS 5772 WITH SCORE 5794.39
AT ITER 2008 NEW BEST:: SOT 38894 SOS 22329 HAS SOPS 18396 HAS SOUS 6326 HAS SOUPS 5738 WITH SCORE 5760.329
AT ITER 2014 NEW BEST:: SOT 38883 SOS 22323 HAS SOPS 18362 HAS SOUS 6307 HAS SOUPS 5718 WITH SCORE 5740.323
AT ITER 2050 NEW BEST:: SOT 38880 SOS 21859 HAS SOPS 17742 HAS SOUS 6300 HAS SOUPS 5710 WITH SCORE 5731.859
AT ITER 2070 NEW BEST:: SOT 38860 SOS 21875 HAS SOPS 17758 HAS SOUS 6294 HAS SOUPS 5704 WITH SCORE 5725.875
AT ITER 2075 NEW BEST:: SOT 38849 SOS 21844 HAS SOPS 17751 HAS SOUS 6277 HAS SOUPS 5688 WITH SCORE 5709.844
AT ITER 2092 NEW BEST:: SOT 38838 SOS 21833 HAS SOPS 17740 HAS SOUS 6266 HAS SOUPS 5677 WITH SCORE 5698.833
AT ITER 2097 NEW BEST:: SOT 38824 SOS 21772 HAS SOPS 17687 HAS SOUS 6240 HAS SOUPS 5651 WITH SCORE 5672.772
AT ITER 2112 NEW BEST:: SOT 38804 SOS 21772 HAS SOPS 17687 HAS SOUS 6238 HAS SOUPS 5649 WITH SCORE 5670.772
AT ITER 2113 NEW BEST:: SOT 38800 SOS 21768 HAS SOPS 17683 HAS SOUS 6236 HAS SOUPS 5647 WITH SCORE 5668.768
AT ITER 2116 NEW BEST:: SOT 38815 SOS 21785 HAS SOPS 17700 HAS SOUS 6234 HAS SOUPS 5645 WITH SCORE 5666.785
AT ITER 2153 NEW BEST:: SOT 38813 SOS 21778 HAS SOPS 17693 HAS SOUS 6232 HAS SOUPS 5643 WITH SCORE 5664.778
AT ITER 2205 NEW BEST:: SOT 38813 SOS 22029 HAS SOPS 17692 HAS SOUS 6250 HAS SOUPS 5642 WITH SCORE 5664.029
AT ITER 2216 NEW BEST:: SOT 38657 SOS 21891 HAS SOPS 17548 HAS SOUS 6191 HAS SOUPS 5606 WITH SCORE 5627.891
AT ITER 2220 NEW BEST:: SOT 38640 SOS 21699 HAS SOPS 17547 HAS SOUS 6183 HAS SOUPS 5605 WITH SCORE 5626.699
AT ITER 2236 NEW BEST:: SOT 38640 SOS 21697 HAS SOPS 17545 HAS SOUS 6183 HAS SOUPS 5605 WITH SCORE 5626.697
AT ITER 2239 NEW BEST:: SOT 38653 SOS 21674 HAS SOPS 17520 HAS SOUS 6161 HAS SOUPS 5583 WITH SCORE 5604.674
AT ITER 2241 NEW BEST:: SOT 38688 SOS 21694 HAS SOPS 17540 HAS SOUS 6160 HAS SOUPS 5582 WITH SCORE 5603.694
AT ITER 2250 NEW BEST:: SOT 38681 SOS 21687 HAS SOPS 17533 HAS SOUS 6153 HAS SOUPS 5575 WITH SCORE 5596.687
AT ITER 2263 NEW BEST:: SOT 38681 SOS 21687 HAS SOPS 17533 HAS SOUS 6152 HAS SOUPS 5574 WITH SCORE 5595.687
AT ITER 2300 NEW BEST:: SOT 38750 SOS 21726 HAS SOPS 17560 HAS SOUS 6144 HAS SOUPS 5566 WITH SCORE 5587.726
AT ITER 2308 NEW BEST:: SOT 38702 SOS 21662 HAS SOPS 17504 HAS SOUS 6136 HAS SOUPS 5558 WITH SCORE 5579.662
AT ITER 2311 NEW BEST:: SOT 38700 SOS 21658 HAS SOPS 17502 HAS SOUS 6135 HAS SOUPS 5557 WITH SCORE 5578.658
AT ITER 2318 NEW BEST:: SOT 38708 SOS 21672 HAS SOPS 17511 HAS SOUS 6131 HAS SOUPS 5553 WITH SCORE 5574.672
AT ITER 2327 NEW BEST:: SOT 38713 SOS 21559 HAS SOPS 17359 HAS SOUS 6130 HAS SOUPS 5550 WITH SCORE 5571.559
AT ITER 2404 NEW BEST:: SOT 38680 SOS 21548 HAS SOPS 17348 HAS SOUS 6128 HAS SOUPS 5548 WITH SCORE 5569.548
AT ITER 2441 NEW BEST:: SOT 38664 SOS 21506 HAS SOPS 17306 HAS SOUS 6099 HAS SOUPS 5519 WITH SCORE 5540.506
AT ITER 2453 NEW BEST:: SOT 38523 SOS 21416 HAS SOPS 17216 HAS SOUS 6092 HAS SOUPS 5512 WITH SCORE 5533.416
AT ITER 2480 NEW BEST:: SOT 38516 SOS 21402 HAS SOPS 17202 HAS SOUS 6088 HAS SOUPS 5508 WITH SCORE 5529.402
AT ITER 2491 NEW BEST:: SOT 38522 SOS 21360 HAS SOPS 17182 HAS SOUS 6088 HAS SOUPS 5508 WITH SCORE 5529.36
AT ITER 2500 NEW BEST:: SOT 38522 SOS 21360 HAS SOPS 17178 HAS SOUS 6076 HAS SOUPS 5496 WITH SCORE 5517.36
AT ITER 2503 NEW BEST:: SOT 38522 SOS 21304 HAS SOPS 17178 HAS SOUS 6069 HAS SOUPS 5496 WITH SCORE 5517.304
AT ITER 2519 NEW BEST:: SOT 38485 SOS 21267 HAS SOPS 17144 HAS SOUS 6055 HAS SOUPS 5482 WITH SCORE 5503.267
AT ITER 2543 NEW BEST:: SOT 38282 SOS 21021 HAS SOPS 16898 HAS SOUS 5943 HAS SOUPS 5370 WITH SCORE 5391.021
AT ITER 2548 NEW BEST:: SOT 38283 SOS 20969 HAS SOPS 16847 HAS SOUS 5910 HAS SOUPS 5337 WITH SCORE 5357.969
AT ITER 2552 NEW BEST:: SOT 38278 SOS 20958 HAS SOPS 16837 HAS SOUS 5898 HAS SOUPS 5325 WITH SCORE 5345.958
AT ITER 2555 NEW BEST:: SOT 38278 SOS 20950 HAS SOPS 16829 HAS SOUS 5898 HAS SOUPS 5325 WITH SCORE 5345.95
AT ITER 2568 NEW BEST:: SOT 38261 SOS 20902 HAS SOPS 16781 HAS SOUS 5896 HAS SOUPS 5323 WITH SCORE 5343.902
AT ITER 2576 NEW BEST:: SOT 38267 SOS 20824 HAS SOPS 16703 HAS SOUS 5868 HAS SOUPS 5295 WITH SCORE 5315.824
AT ITER 2579 NEW BEST:: SOT 38330 SOS 20878 HAS SOPS 16751 HAS SOUS 5856 HAS SOUPS 5292 WITH SCORE 5312.878
AT ITER 2584 NEW BEST:: SOT 38286 SOS 20804 HAS SOPS 16691 HAS SOUS 5829 HAS SOUPS 5265 WITH SCORE 5285.804
AT ITER 2585 NEW BEST:: SOT 38286 SOS 20700 HAS SOPS 16534 HAS SOUS 5829 HAS SOUPS 5262 WITH SCORE 5282.7
AT ITER 2621 NEW BEST:: SOT 38286 SOS 20699 HAS SOPS 16533 HAS SOUS 5829 HAS SOUPS 5262 WITH SCORE 5282.699
AT ITER 2664 NEW BEST:: SOT 38295 SOS 20703 HAS SOPS 16531 HAS SOUS 5818 HAS SOUPS 5261 WITH SCORE 5281.703
AT ITER 2720 NEW BEST:: SOT 38319 SOS 20667 HAS SOPS 16495 HAS SOUS 5798 HAS SOUPS 5241 WITH SCORE 5261.667
AT ITER 2788 NEW BEST:: SOT 38311 SOS 20655 HAS SOPS 16483 HAS SOUS 5786 HAS SOUPS 5229 WITH SCORE 5249.655
AT ITER 2796 NEW BEST:: SOT 38306 SOS 20638 HAS SOPS 16466 HAS SOUS 5769 HAS SOUPS 5212 WITH SCORE 5232.638
AT ITER 2813 NEW BEST:: SOT 38305 SOS 20637 HAS SOPS 16464 HAS SOUS 5765 HAS SOUPS 5208 WITH SCORE 5228.637
AT ITER 2817 NEW BEST:: SOT 38290 SOS 20623 HAS SOPS 16450 HAS SOUS 5752 HAS SOUPS 5195 WITH SCORE 5215.623
AT ITER 2931 NEW BEST:: SOT 38321 SOS 20657 HAS SOPS 16484 HAS SOUS 5748 HAS SOUPS 5191 WITH SCORE 5211.657
AT ITER 2976 NEW BEST:: SOT 38309 SOS 20645 HAS SOPS 16472 HAS SOUS 5744 HAS SOUPS 5187 WITH SCORE 5207.645
AT ITER 2987 NEW BEST:: SOT 38316 SOS 20641 HAS SOPS 16474 HAS SOUS 5735 HAS SOUPS 5184 WITH SCORE 5204.641
AT ITER 3016 NEW BEST:: SOT 38321 SOS 20655 HAS SOPS 16484 HAS SOUS 5734 HAS SOUPS 5183 WITH SCORE 5203.655
AT ITER 3067 NEW BEST:: SOT 38301 SOS 20594 HAS SOPS 16430 HAS SOUS 5699 HAS SOUPS 5148 WITH SCORE 5168.594
AT ITER 3100 NEW BEST:: SOT 38296 SOS 20596 HAS SOPS 16432 HAS SOUS 5696 HAS SOUPS 5145 WITH SCORE 5165.596
AT ITER 3108 NEW BEST:: SOT 38255 SOS 20562 HAS SOPS 16413 HAS SOUS 5669 HAS SOUPS 5122 WITH SCORE 5142.562
AT ITER 3122 NEW BEST:: SOT 38037 SOS 20422 HAS SOPS 16378 HAS SOUS 5609 HAS SOUPS 5079 WITH SCORE 5099.422
AT ITER 3126 NEW BEST:: SOT 38034 SOS 20419 HAS SOPS 16375 HAS SOUS 5602 HAS SOUPS 5072 WITH SCORE 5092.419
AT ITER 3130 NEW BEST:: SOT 37985 SOS 20370 HAS SOPS 16333 HAS SOUS 5590 HAS SOUPS 5060 WITH SCORE 5080.37
AT ITER 3135 NEW BEST:: SOT 37985 SOS 20364 HAS SOPS 16327 HAS SOUS 5588 HAS SOUPS 5058 WITH SCORE 5078.364
AT ITER 3156 NEW BEST:: SOT 37979 SOS 20352 HAS SOPS 16315 HAS SOUS 5576 HAS SOUPS 5046 WITH SCORE 5066.352
AT ITER 3177 NEW BEST:: SOT 37977 SOS 20349 HAS SOPS 16312 HAS SOUS 5569 HAS SOUPS 5039 WITH SCORE 5059.349
AT ITER 3208 NEW BEST:: SOT 38000 SOS 20307 HAS SOPS 16269 HAS SOUS 5517 HAS SOUPS 4987 WITH SCORE 5007.307
AT ITER 3210 NEW BEST:: SOT 38021 SOS 20327 HAS SOPS 16267 HAS SOUS 5470 HAS SOUPS 4940 WITH SCORE 4960.327
AT ITER 3223 NEW BEST:: SOT 38018 SOS 20326 HAS SOPS 16266 HAS SOUS 5468 HAS SOUPS 4938 WITH SCORE 4958.326
AT ITER 3235 NEW BEST:: SOT 37984 SOS 20260 HAS SOPS 16200 HAS SOUS 5454 HAS SOUPS 4916 WITH SCORE 4936.26
AT ITER 3238 NEW BEST:: SOT 37956 SOS 20216 HAS SOPS 16156 HAS SOUS 5414 HAS SOUPS 4876 WITH SCORE 4896.216
AT ITER 3366 NEW BEST:: SOT 37952 SOS 20210 HAS SOPS 16152 HAS SOUS 5408 HAS SOUPS 4870 WITH SCORE 4890.21
AT ITER 3419 NEW BEST:: SOT 37876 SOS 20218 HAS SOPS 16074 HAS SOUS 5380 HAS SOUPS 4831 WITH SCORE 4851.218
AT ITER 3442 NEW BEST:: SOT 37880 SOS 20220 HAS SOPS 16079 HAS SOUS 5379 HAS SOUPS 4830 WITH SCORE 4850.22
AT ITER 3529 NEW BEST:: SOT 37864 SOS 20196 HAS SOPS 16063 HAS SOUS 5373 HAS SOUPS 4824 WITH SCORE 4844.196
AT ITER 3581 NEW BEST:: SOT 37857 SOS 20193 HAS SOPS 16059 HAS SOUS 5371 HAS SOUPS 4821 WITH SCORE 4841.193
AT ITER 3588 NEW BEST:: SOT 37825 SOS 20147 HAS SOPS 16013 HAS SOUS 5339 HAS SOUPS 4789 WITH SCORE 4809.147
AT ITER 3596 NEW BEST:: SOT 37823 SOS 20145 HAS SOPS 16011 HAS SOUS 5337 HAS SOUPS 4787 WITH SCORE 4807.145
AT ITER 3599 NEW BEST:: SOT 37844 SOS 20119 HAS SOPS 15985 HAS SOUS 5320 HAS SOUPS 4770 WITH SCORE 4790.119
AT ITER 3607 NEW BEST:: SOT 37843 SOS 20112 HAS SOPS 15986 HAS SOUS 5308 HAS SOUPS 4759 WITH SCORE 4779.112
AT ITER 3659 NEW BEST:: SOT 37887 SOS 20144 HAS SOPS 16018 HAS SOUS 5298 HAS SOUPS 4749 WITH SCORE 4769.144
AT ITER 3664 NEW BEST:: SOT 37883 SOS 20133 HAS SOPS 16007 HAS SOUS 5279 HAS SOUPS 4730 WITH SCORE 4750.133
AT ITER 3717 NEW BEST:: SOT 37728 SOS 19958 HAS SOPS 15870 HAS SOUS 5252 HAS SOUPS 4703 WITH SCORE 4722.958
AT ITER 3725 NEW BEST:: SOT 37594 SOS 19834 HAS SOPS 15762 HAS SOUS 5233 HAS SOUPS 4684 WITH SCORE 4703.834
AT ITER 3772 NEW BEST:: SOT 37560 SOS 19806 HAS SOPS 15736 HAS SOUS 5225 HAS SOUPS 4680 WITH SCORE 4699.806
AT ITER 3785 NEW BEST:: SOT 37560 SOS 19804 HAS SOPS 15742 HAS SOUS 5225 HAS SOUPS 4680 WITH SCORE 4699.804
AT ITER 3791 NEW BEST:: SOT 37523 SOS 19747 HAS SOPS 15685 HAS SOUS 5177 HAS SOUPS 4632 WITH SCORE 4651.747
AT ITER 3831 NEW BEST:: SOT 37531 SOS 19757 HAS SOPS 15693 HAS SOUS 5175 HAS SOUPS 4630 WITH SCORE 4649.757
AT ITER 3857 NEW BEST:: SOT 37519 SOS 19733 HAS SOPS 15669 HAS SOUS 5171 HAS SOUPS 4626 WITH SCORE 4645.733
AT ITER 3880 NEW BEST:: SOT 37454 SOS 19717 HAS SOPS 15657 HAS SOUS 5168 HAS SOUPS 4623 WITH SCORE 4642.717
AT ITER 4038 NEW BEST:: SOT 37438 SOS 19669 HAS SOPS 15609 HAS SOUS 5136 HAS SOUPS 4591 WITH SCORE 4610.669
AT ITER 4049 NEW BEST:: SOT 37440 SOS 19671 HAS SOPS 15609 HAS SOUS 5134 HAS SOUPS 4589 WITH SCORE 4608.671
AT ITER 4050 NEW BEST:: SOT 37447 SOS 19673 HAS SOPS 15599 HAS SOUS 5124 HAS SOUPS 4579 WITH SCORE 4598.673
AT ITER 4074 NEW BEST:: SOT 37419 SOS 19650 HAS SOPS 15565 HAS SOUS 5093 HAS SOUPS 4548 WITH SCORE 4567.65
AT ITER 4079 NEW BEST:: SOT 37425 SOS 19642 HAS SOPS 15565 HAS SOUS 5090 HAS SOUPS 4548 WITH SCORE 4567.642
AT ITER 4118 NEW BEST:: SOT 37423 SOS 19632 HAS SOPS 15555 HAS SOUS 5086 HAS SOUPS 4544 WITH SCORE 4563.632
AT ITER 4182 NEW BEST:: SOT 37420 SOS 19284 HAS SOPS 15090 HAS SOUS 5086 HAS SOUPS 4538 WITH SCORE 4557.284
AT ITER 4226 NEW BEST:: SOT 37373 SOS 19245 HAS SOPS 15051 HAS SOUS 5077 HAS SOUPS 4529 WITH SCORE 4548.245
AT ITER 4249 NEW BEST:: SOT 37369 SOS 19241 HAS SOPS 15047 HAS SOUS 5075 HAS SOUPS 4527 WITH SCORE 4546.241
AT ITER 4265 NEW BEST:: SOT 37373 SOS 19236 HAS SOPS 15054 HAS SOUS 5073 HAS SOUPS 4526 WITH SCORE 4545.236
AT ITER 4292 NEW BEST:: SOT 37368 SOS 19226 HAS SOPS 15044 HAS SOUS 5055 HAS SOUPS 4508 WITH SCORE 4527.226
AT ITER 4380 NEW BEST:: SOT 37491 SOS 19335 HAS SOPS 15136 HAS SOUS 5045 HAS SOUPS 4498 WITH SCORE 4517.335
AT ITER 4446 NEW BEST:: SOT 37448 SOS 19297 HAS SOPS 15106 HAS SOUS 5031 HAS SOUPS 4484 WITH SCORE 4503.297
AT ITER 4488 NEW BEST:: SOT 37450 SOS 19284 HAS SOPS 15082 HAS SOUS 5025 HAS SOUPS 4477 WITH SCORE 4496.284
AT ITER 4514 NEW BEST:: SOT 37387 SOS 19238 HAS SOPS 15048 HAS SOUS 4983 HAS SOUPS 4435 WITH SCORE 4454.238
AT ITER 4554 NEW BEST:: SOT 37381 SOS 19232 HAS SOPS 15042 HAS SOUS 4981 HAS SOUPS 4433 WITH SCORE 4452.232
AT ITER 4617 NEW BEST:: SOT 37383 SOS 19226 HAS SOPS 15036 HAS SOUS 4981 HAS SOUPS 4433 WITH SCORE 4452.226
AT ITER 4675 NEW BEST:: SOT 37375 SOS 19220 HAS SOPS 15022 HAS SOUS 4967 HAS SOUPS 4419 WITH SCORE 4438.22
AT ITER 4715 NEW BEST:: SOT 37356 SOS 19215 HAS SOPS 15018 HAS SOUS 4963 HAS SOUPS 4415 WITH SCORE 4434.215
AT ITER 4723 NEW BEST:: SOT 37250 SOS 19163 HAS SOPS 14963 HAS SOUS 4943 HAS SOUPS 4395 WITH SCORE 4414.163
AT ITER 4739 NEW BEST:: SOT 37165 SOS 19095 HAS SOPS 14895 HAS SOUS 4909 HAS SOUPS 4361 WITH SCORE 4380.095
AT ITER 4757 NEW BEST:: SOT 37138 SOS 19030 HAS SOPS 14821 HAS SOUS 4869 HAS SOUPS 4320 WITH SCORE 4339.03
AT ITER 4825 NEW BEST:: SOT 37127 SOS 19021 HAS SOPS 14812 HAS SOUS 4864 HAS SOUPS 4315 WITH SCORE 4334.021
AT ITER 4939 NEW BEST:: SOT 37125 SOS 19021 HAS SOPS 14812 HAS SOUS 4859 HAS SOUPS 4310 WITH SCORE 4329.021
AT ITER 4954 NEW BEST:: SOT 37111 SOS 19013 HAS SOPS 14800 HAS SOUS 4861 HAS SOUPS 4310 WITH SCORE 4329.013
AT ITER 4990 NEW BEST:: SOT 37081 SOS 18965 HAS SOPS 14758 HAS SOUS 4837 HAS SOUPS 4286 WITH SCORE 4304.965
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-4a-CTLFireability-00 (EU( ( (! ( ((potential((tk(P8)>=1)))) & ((potential((tk(P36)>=1)))) )) | (! (! ((potential((tk(P61)>=1) & (tk(P79)>=1)))))) ) , ( ((potential((tk(P44)>=1)))) & ( ( ((potential((tk(P112)>=1)))) & ((potential((tk(P14)>=1)))) ) & ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P122)>=1)))) ) ) ))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-01 ( ( (EF( ((potential((tk(P5)>=1) & (tk(P10)>=1)))))) | (EF( (AX( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P35)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))))))) ) & ( (AX( ( ((potential((tk(P20)>=1)))) | ( ((potential((tk(P3)>=1) & (tk(P61)>=1)))) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P23)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ) ))) | ( ((potential((tk(P106)>=1)))) | ( (! (! ((potential((tk(P33)>=1) & (tk(P89)>=1)))))) & (! ((potential((tk(P27)>=1))))) ) ) ) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-02 (AF( (! (AF( ( ((potential((tk(P106)>=1)))) | ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-03 (EG( (! (AG( (! ((potential((tk(P5)>=1) & (tk(P23)>=1))))))))))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-04 ( (AU( (! ( ((potential((tk(P80)>=1)))) & ((potential((tk(P14)>=1)))) )) , (EX( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P107)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))))) )) | ( ( (AU( ((potential((tk(P17)>=1)))) , ((potential((tk(P59)>=1) & (tk(P72)>=1)))) )) | ((potential((tk(P5)>=1) & (tk(P59)>=1)))) ) | (EG( (! ( ((potential((tk(P61)>=1) & (tk(P63)>=1)))) & ((potential((tk(P89)>=1) & (tk(P96)>=1)))) )))) ) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-05 ( (! (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P51)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))))) | (AF( (! (EX( ((potential((tk(P3)>=1) & (tk(P89)>=1))))))))) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-06 (AG( (EX( (! ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P130)>=1)))) | ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P126)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-07 ( ( (EU( (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P55)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))) , (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P40)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))) )) & ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P104)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ) | (EF( (EG( (! ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P73)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))))))) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-08 ( (AF( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P93)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))))) | (EG( (EX( (! ((potential((tk(P16)>=1))))))))) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-09 (! (! (AG( (EF( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P23)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))))))))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-10 ( (! (AX( (EF( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P45)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))))))) | (EG( ((potential((tk(P3)>=1) & (tk(P61)>=1)))))) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-11 ( (AF( ((potential((tk(P50)>=1)))))) | ( (AX( ( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P16)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))) & ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P9)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ))) & (AU( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P102)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) , (! ((potential((tk(P106)>=1))))) )) ) )
PROPERTY: CloudDeployment-PT-4a-CTLFireability-12 (AF( (EU( ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P26)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) | ((potential((tk(P43)>=1)))) ) , ((potential((tk(P108)>=1)))) ))))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-13 (EU( (EF( (! ((potential((tk(P33)>=1) & (tk(P59)>=1))))))) , (AX( ((potential((tk(P93)>=1)))))) ))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-14 (AU( (AF( ((potential((tk(P13)>=1)))))) , ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P40)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ))
PROPERTY: CloudDeployment-PT-4a-CTLFireability-15 (EG( (AU( (! ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P63)>=1) & (tk(P131)>=1) & (tk(P140)>=1))))) , ( ((potential((tk(P37)>=1)))) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P9)>=1) & (tk(P131)>=1) & (tk(P140)>=1)))) ) ))))

BK_STOP 1589143569220

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 401 Segmentation fault ${SMART} ${INPUT_SM}

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="CloudDeployment-PT-4a"
export BK_EXAMINATION="CTLFireability"
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 CloudDeployment-PT-4a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925900300"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4a.tgz
mv CloudDeployment-PT-4a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;