About the Execution of smart for BusinessProcesses-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.820 | 3600000.00 | 3593020.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r018-oct2-158897680000483.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000483
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.5K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 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:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 85K 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 BusinessProcesses-PT-05-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-05-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589018001910
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 05
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 368 places, 319 transitions, 854 arcs.
AT ITER 0 NEW BEST:: SOT 75677 SOS 32211 HAS SOPS 32211 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30960.211
AT ITER 5 NEW BEST:: SOT 75683 SOS 32062 HAS SOPS 32062 HAS SOUS 30802 HAS SOUPS 30802 WITH SCORE 30834.062
AT ITER 25 NEW BEST:: SOT 75590 SOS 32102 HAS SOPS 32102 HAS SOUS 30759 HAS SOUPS 30759 WITH SCORE 30791.102
AT ITER 27 NEW BEST:: SOT 75493 SOS 31994 HAS SOPS 31994 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30682.994
AT ITER 30 NEW BEST:: SOT 75492 SOS 31992 HAS SOPS 31992 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30680.992
AT ITER 31 NEW BEST:: SOT 75552 SOS 31946 HAS SOPS 31946 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30634.946
AT ITER 41 NEW BEST:: SOT 75551 SOS 31826 HAS SOPS 31826 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30514.826
AT ITER 52 NEW BEST:: SOT 75551 SOS 31824 HAS SOPS 31824 HAS SOUS 30481 HAS SOUPS 30481 WITH SCORE 30512.824
AT ITER 56 NEW BEST:: SOT 75570 SOS 31704 HAS SOPS 31704 HAS SOUS 30450 HAS SOUPS 30450 WITH SCORE 30481.704
AT ITER 61 NEW BEST:: SOT 75384 SOS 31559 HAS SOPS 31559 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30336.559
AT ITER 65 NEW BEST:: SOT 75353 SOS 31416 HAS SOPS 31416 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30193.416
AT ITER 69 NEW BEST:: SOT 75320 SOS 31365 HAS SOPS 31365 HAS SOUS 30111 HAS SOUPS 30111 WITH SCORE 30142.365
AT ITER 70 NEW BEST:: SOT 75232 SOS 31262 HAS SOPS 31262 HAS SOUS 30008 HAS SOUPS 30008 WITH SCORE 30039.262
AT ITER 80 NEW BEST:: SOT 75232 SOS 31249 HAS SOPS 31249 HAS SOUS 29995 HAS SOUPS 29995 WITH SCORE 30026.249
AT ITER 86 NEW BEST:: SOT 75201 SOS 31218 HAS SOPS 31218 HAS SOUS 29964 HAS SOUPS 29964 WITH SCORE 29995.218
AT ITER 87 NEW BEST:: SOT 75165 SOS 31045 HAS SOPS 31045 HAS SOUS 29814 HAS SOUPS 29814 WITH SCORE 29845.045
AT ITER 88 NEW BEST:: SOT 75028 SOS 30906 HAS SOPS 30906 HAS SOUS 29681 HAS SOUPS 29681 WITH SCORE 29711.906
AT ITER 92 NEW BEST:: SOT 75014 SOS 30892 HAS SOPS 30892 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29697.892
AT ITER 95 NEW BEST:: SOT 75069 SOS 30889 HAS SOPS 30889 HAS SOUS 29664 HAS SOUPS 29664 WITH SCORE 29694.889
AT ITER 98 NEW BEST:: SOT 75069 SOS 30814 HAS SOPS 30814 HAS SOUS 29589 HAS SOUPS 29589 WITH SCORE 29619.814
AT ITER 101 NEW BEST:: SOT 75069 SOS 30813 HAS SOPS 30813 HAS SOUS 29588 HAS SOUPS 29588 WITH SCORE 29618.813
AT ITER 105 NEW BEST:: SOT 75069 SOS 30810 HAS SOPS 30810 HAS SOUS 29585 HAS SOUPS 29585 WITH SCORE 29615.81
AT ITER 106 NEW BEST:: SOT 72512 SOS 33898 HAS SOPS 33898 HAS SOUS 27290 HAS SOUPS 27290 WITH SCORE 27323.898
AT ITER 119 NEW BEST:: SOT 72445 SOS 33778 HAS SOPS 33778 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27285.778
AT ITER 134 NEW BEST:: SOT 72347 SOS 33680 HAS SOPS 33680 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27285.68
AT ITER 143 NEW BEST:: SOT 72316 SOS 33618 HAS SOPS 33618 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27269.618
AT ITER 155 NEW BEST:: SOT 72227 SOS 33547 HAS SOPS 33547 HAS SOUS 27172 HAS SOUPS 27172 WITH SCORE 27205.547
AT ITER 156 NEW BEST:: SOT 72128 SOS 33349 HAS SOPS 33349 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27136.349
AT ITER 160 NEW BEST:: SOT 72127 SOS 33347 HAS SOPS 33347 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27134.347
AT ITER 164 NEW BEST:: SOT 72114 SOS 33334 HAS SOPS 33334 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27134.334
AT ITER 166 NEW BEST:: SOT 72104 SOS 33315 HAS SOPS 33315 HAS SOUS 27082 HAS SOUPS 27082 WITH SCORE 27115.315
AT ITER 169 NEW BEST:: SOT 72191 SOS 33290 HAS SOPS 33290 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27091.29
AT ITER 172 NEW BEST:: SOT 72175 SOS 33287 HAS SOPS 33287 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27088.287
AT ITER 173 NEW BEST:: SOT 72165 SOS 33162 HAS SOPS 33162 HAS SOUS 26999 HAS SOUPS 26999 WITH SCORE 27032.162
AT ITER 176 NEW BEST:: SOT 72132 SOS 33123 HAS SOPS 33123 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 26993.123
AT ITER 181 NEW BEST:: SOT 72077 SOS 33116 HAS SOPS 33116 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26986.116
AT ITER 187 NEW BEST:: SOT 72025 SOS 32879 HAS SOPS 32879 HAS SOUS 26720 HAS SOUPS 26720 WITH SCORE 26752.879
AT ITER 192 NEW BEST:: SOT 71980 SOS 32831 HAS SOPS 32831 HAS SOUS 26672 HAS SOUPS 26672 WITH SCORE 26704.831
AT ITER 196 NEW BEST:: SOT 71971 SOS 32813 HAS SOPS 32813 HAS SOUS 26671 HAS SOUPS 26671 WITH SCORE 26703.813
AT ITER 203 NEW BEST:: SOT 72043 SOS 32812 HAS SOPS 32812 HAS SOUS 26664 HAS SOUPS 26664 WITH SCORE 26696.812
AT ITER 206 NEW BEST:: SOT 72043 SOS 32790 HAS SOPS 32790 HAS SOUS 26642 HAS SOUPS 26642 WITH SCORE 26674.79
AT ITER 209 NEW BEST:: SOT 72000 SOS 32742 HAS SOPS 32742 HAS SOUS 26632 HAS SOUPS 26632 WITH SCORE 26664.742
AT ITER 220 NEW BEST:: SOT 72034 SOS 32767 HAS SOPS 32767 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26655.767
AT ITER 221 NEW BEST:: SOT 71944 SOS 32587 HAS SOPS 32587 HAS SOUS 26530 HAS SOUPS 26530 WITH SCORE 26562.587
AT ITER 225 NEW BEST:: SOT 71943 SOS 32585 HAS SOPS 32585 HAS SOUS 26528 HAS SOUPS 26528 WITH SCORE 26560.585
AT ITER 229 NEW BEST:: SOT 71921 SOS 32553 HAS SOPS 32553 HAS SOUS 26521 HAS SOUPS 26521 WITH SCORE 26553.553
AT ITER 230 NEW BEST:: SOT 71921 SOS 32547 HAS SOPS 32547 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26547.547
AT ITER 231 NEW BEST:: SOT 71935 SOS 32466 HAS SOPS 32466 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26466.466
AT ITER 236 NEW BEST:: SOT 71874 SOS 32296 HAS SOPS 32296 HAS SOUS 26384 HAS SOUPS 26384 WITH SCORE 26416.296
AT ITER 244 NEW BEST:: SOT 71730 SOS 32140 HAS SOPS 32140 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26284.14
AT ITER 253 NEW BEST:: SOT 71733 SOS 32143 HAS SOPS 32143 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26269.143
AT ITER 259 NEW BEST:: SOT 71776 SOS 32186 HAS SOPS 32186 HAS SOUS 26236 HAS SOUPS 26236 WITH SCORE 26268.186
AT ITER 261 NEW BEST:: SOT 71685 SOS 32053 HAS SOPS 32053 HAS SOUS 26214 HAS SOUPS 26214 WITH SCORE 26246.053
AT ITER 263 NEW BEST:: SOT 71652 SOS 31903 HAS SOPS 31903 HAS SOUS 26067 HAS SOUPS 26067 WITH SCORE 26098.903
AT ITER 266 NEW BEST:: SOT 71629 SOS 31857 HAS SOPS 31857 HAS SOUS 26021 HAS SOUPS 26021 WITH SCORE 26052.857
AT ITER 277 NEW BEST:: SOT 71629 SOS 31848 HAS SOPS 31848 HAS SOUS 26012 HAS SOUPS 26012 WITH SCORE 26043.848
AT ITER 279 NEW BEST:: SOT 71505 SOS 31733 HAS SOPS 31733 HAS SOUS 25898 HAS SOUPS 25898 WITH SCORE 25929.733
AT ITER 281 NEW BEST:: SOT 71469 SOS 31697 HAS SOPS 31697 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25893.697
AT ITER 293 NEW BEST:: SOT 71308 SOS 31275 HAS SOPS 31275 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25653.275
AT ITER 299 NEW BEST:: SOT 71098 SOS 30960 HAS SOPS 30960 HAS SOUS 25412 HAS SOUPS 25412 WITH SCORE 25442.96
AT ITER 300 NEW BEST:: SOT 71011 SOS 30786 HAS SOPS 30786 HAS SOUS 25238 HAS SOUPS 25238 WITH SCORE 25268.786
AT ITER 310 NEW BEST:: SOT 70978 SOS 30776 HAS SOPS 30776 HAS SOUS 25228 HAS SOUPS 25228 WITH SCORE 25258.776
AT ITER 312 NEW BEST:: SOT 70802 SOS 30584 HAS SOPS 30584 HAS SOUS 25170 HAS SOUPS 25170 WITH SCORE 25200.584
AT ITER 317 NEW BEST:: SOT 70787 SOS 30554 HAS SOPS 30554 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25170.554
AT ITER 319 NEW BEST:: SOT 70718 SOS 30388 HAS SOPS 30388 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25085.388
AT ITER 322 NEW BEST:: SOT 70718 SOS 30388 HAS SOPS 30388 HAS SOUS 25024 HAS SOUPS 25024 WITH SCORE 25054.388
AT ITER 328 NEW BEST:: SOT 70716 SOS 30386 HAS SOPS 30386 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25052.386
AT ITER 331 NEW BEST:: SOT 70715 SOS 30384 HAS SOPS 30384 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25050.384
AT ITER 334 NEW BEST:: SOT 70715 SOS 30343 HAS SOPS 30343 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25050.343
AT ITER 339 NEW BEST:: SOT 70643 SOS 30171 HAS SOPS 30171 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 24949.171
AT ITER 341 NEW BEST:: SOT 70603 SOS 30144 HAS SOPS 30144 HAS SOUS 24892 HAS SOUPS 24892 WITH SCORE 24922.144
AT ITER 343 NEW BEST:: SOT 70573 SOS 30113 HAS SOPS 30113 HAS SOUS 24885 HAS SOUPS 24885 WITH SCORE 24915.113
AT ITER 348 NEW BEST:: SOT 70357 SOS 29906 HAS SOPS 29906 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24763.906
AT ITER 352 NEW BEST:: SOT 70366 SOS 29903 HAS SOPS 29903 HAS SOUS 24731 HAS SOUPS 24731 WITH SCORE 24760.903
AT ITER 353 NEW BEST:: SOT 70485 SOS 29994 HAS SOPS 29994 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24691.994
AT ITER 365 NEW BEST:: SOT 70475 SOS 29974 HAS SOPS 29974 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24671.974
AT ITER 369 NEW BEST:: SOT 70461 SOS 29960 HAS SOPS 29960 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24668.96
AT ITER 370 NEW BEST:: SOT 70460 SOS 29866 HAS SOPS 29866 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24574.866
AT ITER 379 NEW BEST:: SOT 70345 SOS 29761 HAS SOPS 29761 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24485.761
AT ITER 396 NEW BEST:: SOT 70342 SOS 29758 HAS SOPS 29758 HAS SOUS 24453 HAS SOUPS 24453 WITH SCORE 24482.758
AT ITER 409 NEW BEST:: SOT 70334 SOS 29750 HAS SOPS 29750 HAS SOUS 24449 HAS SOUPS 24449 WITH SCORE 24478.75
AT ITER 413 NEW BEST:: SOT 70522 SOS 29828 HAS SOPS 29828 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24400.828
AT ITER 415 NEW BEST:: SOT 70471 SOS 29726 HAS SOPS 29726 HAS SOUS 24269 HAS SOUPS 24269 WITH SCORE 24298.726
AT ITER 423 NEW BEST:: SOT 70325 SOS 29507 HAS SOPS 29507 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24152.507
AT ITER 427 NEW BEST:: SOT 70325 SOS 29506 HAS SOPS 29506 HAS SOUS 24122 HAS SOUPS 24122 WITH SCORE 24151.506
AT ITER 437 NEW BEST:: SOT 70181 SOS 29203 HAS SOPS 29203 HAS SOUS 23978 HAS SOUPS 23978 WITH SCORE 24007.203
AT ITER 444 NEW BEST:: SOT 70231 SOS 29142 HAS SOPS 29142 HAS SOUS 23973 HAS SOUPS 23973 WITH SCORE 24002.142
AT ITER 445 NEW BEST:: SOT 70247 SOS 29103 HAS SOPS 29103 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23963.103
AT ITER 446 NEW BEST:: SOT 70192 SOS 28938 HAS SOPS 28938 HAS SOUS 23803 HAS SOUPS 23803 WITH SCORE 23831.938
AT ITER 457 NEW BEST:: SOT 70182 SOS 28919 HAS SOPS 28919 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23812.919
AT ITER 461 NEW BEST:: SOT 70181 SOS 28917 HAS SOPS 28917 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23810.917
AT ITER 487 NEW BEST:: SOT 70181 SOS 28890 HAS SOPS 28890 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23783.89
AT ITER 498 NEW BEST:: SOT 70181 SOS 28868 HAS SOPS 28868 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23761.868
AT ITER 500 NEW BEST:: SOT 70173 SOS 28852 HAS SOPS 28852 HAS SOUS 23717 HAS SOUPS 23717 WITH SCORE 23745.852
AT ITER 501 NEW BEST:: SOT 70094 SOS 28725 HAS SOPS 28725 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23618.725
AT ITER 510 NEW BEST:: SOT 70171 SOS 28793 HAS SOPS 28793 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23615.793
AT ITER 514 NEW BEST:: SOT 70171 SOS 28740 HAS SOPS 28740 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23547.74
AT ITER 524 NEW BEST:: SOT 70171 SOS 28733 HAS SOPS 28733 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23547.733
AT ITER 525 NEW BEST:: SOT 70159 SOS 28664 HAS SOPS 28664 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23478.664
AT ITER 537 NEW BEST:: SOT 70200 SOS 28545 HAS SOPS 28545 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23409.545
AT ITER 538 NEW BEST:: SOT 70050 SOS 28347 HAS SOPS 28347 HAS SOUS 23316 HAS SOUPS 23316 WITH SCORE 23344.347
AT ITER 543 NEW BEST:: SOT 70220 SOS 28458 HAS SOPS 28458 HAS SOUS 23238 HAS SOUPS 23238 WITH SCORE 23266.458
AT ITER 546 NEW BEST:: SOT 70220 SOS 28456 HAS SOPS 28456 HAS SOUS 23237 HAS SOUPS 23237 WITH SCORE 23265.456
AT ITER 550 NEW BEST:: SOT 70212 SOS 28430 HAS SOPS 28430 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23257.43
AT ITER 551 NEW BEST:: SOT 70134 SOS 28351 HAS SOPS 28351 HAS SOUS 23150 HAS SOUPS 23150 WITH SCORE 23178.351
AT ITER 555 NEW BEST:: SOT 70176 SOS 28239 HAS SOPS 28239 HAS SOUS 23134 HAS SOUPS 23134 WITH SCORE 23162.239
AT ITER 556 NEW BEST:: SOT 70240 SOS 28210 HAS SOPS 28210 HAS SOUS 23124 HAS SOUPS 23124 WITH SCORE 23152.21
AT ITER 557 NEW BEST:: SOT 70187 SOS 28159 HAS SOPS 28159 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23101.159
AT ITER 559 NEW BEST:: SOT 70185 SOS 28155 HAS SOPS 28155 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23097.155
AT ITER 561 NEW BEST:: SOT 70252 SOS 28200 HAS SOPS 28200 HAS SOUS 23047 HAS SOUPS 23047 WITH SCORE 23075.2
AT ITER 568 NEW BEST:: SOT 70227 SOS 28150 HAS SOPS 28150 HAS SOUS 22997 HAS SOUPS 22997 WITH SCORE 23025.15
AT ITER 577 NEW BEST:: SOT 70225 SOS 28147 HAS SOPS 28147 HAS SOUS 22995 HAS SOUPS 22995 WITH SCORE 23023.147
AT ITER 581 NEW BEST:: SOT 70187 SOS 28087 HAS SOPS 28087 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23014.087
AT ITER 595 NEW BEST:: SOT 69988 SOS 27821 HAS SOPS 27821 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22747.821
AT ITER 604 NEW BEST:: SOT 70006 SOS 27839 HAS SOPS 27839 HAS SOUS 22719 HAS SOUPS 22719 WITH SCORE 22746.839
AT ITER 609 NEW BEST:: SOT 69996 SOS 27829 HAS SOPS 27829 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22736.829
AT ITER 616 NEW BEST:: SOT 69941 SOS 27752 HAS SOPS 27752 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22659.752
AT ITER 627 NEW BEST:: SOT 69925 SOS 27743 HAS SOPS 27743 HAS SOUS 22623 HAS SOUPS 22623 WITH SCORE 22650.743
AT ITER 640 NEW BEST:: SOT 69925 SOS 27650 HAS SOPS 27650 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22557.65
AT ITER 646 NEW BEST:: SOT 69851 SOS 27502 HAS SOPS 27502 HAS SOUS 22469 HAS SOUPS 22469 WITH SCORE 22496.502
AT ITER 653 NEW BEST:: SOT 69883 SOS 27452 HAS SOPS 27452 HAS SOUS 22419 HAS SOUPS 22419 WITH SCORE 22446.452
AT ITER 667 NEW BEST:: SOT 69874 SOS 27434 HAS SOPS 27434 HAS SOUS 22401 HAS SOUPS 22401 WITH SCORE 22428.434
AT ITER 671 NEW BEST:: SOT 69874 SOS 27434 HAS SOPS 27434 HAS SOUS 22392 HAS SOUPS 22392 WITH SCORE 22419.434
AT ITER 676 NEW BEST:: SOT 69787 SOS 27411 HAS SOPS 27411 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22384.411
AT ITER 689 NEW BEST:: SOT 69687 SOS 27411 HAS SOPS 27411 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22340.411
AT ITER 692 NEW BEST:: SOT 69567 SOS 27236 HAS SOPS 27236 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22259.236
AT ITER 704 NEW BEST:: SOT 69561 SOS 27166 HAS SOPS 27166 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22176.166
AT ITER 717 NEW BEST:: SOT 69555 SOS 27154 HAS SOPS 27154 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22147.154
AT ITER 719 NEW BEST:: SOT 69544 SOS 27132 HAS SOPS 27132 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22100.132
AT ITER 724 NEW BEST:: SOT 69532 SOS 27128 HAS SOPS 27128 HAS SOUS 22069 HAS SOUPS 22069 WITH SCORE 22096.128
AT ITER 727 NEW BEST:: SOT 69483 SOS 26873 HAS SOPS 26873 HAS SOUS 21971 HAS SOUPS 21971 WITH SCORE 21997.873
AT ITER 733 NEW BEST:: SOT 69482 SOS 26871 HAS SOPS 26871 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 21995.871
AT ITER 737 NEW BEST:: SOT 69481 SOS 26869 HAS SOPS 26869 HAS SOUS 21967 HAS SOUPS 21967 WITH SCORE 21993.869
AT ITER 749 NEW BEST:: SOT 69366 SOS 26798 HAS SOPS 26798 HAS SOUS 21896 HAS SOUPS 21896 WITH SCORE 21922.798
AT ITER 754 NEW BEST:: SOT 69377 SOS 26654 HAS SOPS 26654 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21779.654
AT ITER 755 NEW BEST:: SOT 69397 SOS 26604 HAS SOPS 26604 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21729.604
AT ITER 759 NEW BEST:: SOT 69397 SOS 26568 HAS SOPS 26568 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21729.568
AT ITER 761 NEW BEST:: SOT 69396 SOS 26567 HAS SOPS 26567 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21729.567
AT ITER 765 NEW BEST:: SOT 69371 SOS 26542 HAS SOPS 26542 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21704.542
AT ITER 783 NEW BEST:: SOT 69356 SOS 26512 HAS SOPS 26512 HAS SOUS 21666 HAS SOUPS 21666 WITH SCORE 21692.512
AT ITER 809 NEW BEST:: SOT 69346 SOS 26492 HAS SOPS 26492 HAS SOUS 21666 HAS SOUPS 21666 WITH SCORE 21692.492
AT ITER 824 NEW BEST:: SOT 69346 SOS 26419 HAS SOPS 26419 HAS SOUS 21654 HAS SOUPS 21654 WITH SCORE 21680.419
AT ITER 827 NEW BEST:: SOT 69246 SOS 26319 HAS SOPS 26319 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21640.319
AT ITER 840 NEW BEST:: SOT 69272 SOS 26377 HAS SOPS 26377 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21617.377
AT ITER 842 NEW BEST:: SOT 69233 SOS 26249 HAS SOPS 26249 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21394.249
AT ITER 844 NEW BEST:: SOT 69251 SOS 26236 HAS SOPS 26236 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21332.236
AT ITER 850 NEW BEST:: SOT 69292 SOS 26252 HAS SOPS 26252 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21305.252
AT ITER 855 NEW BEST:: SOT 69239 SOS 26143 HAS SOPS 26143 HAS SOUS 21170 HAS SOUPS 21170 WITH SCORE 21196.143
AT ITER 857 NEW BEST:: SOT 69259 SOS 26169 HAS SOPS 26169 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21189.169
AT ITER 890 NEW BEST:: SOT 69253 SOS 26138 HAS SOPS 26138 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21133.138
AT ITER 904 NEW BEST:: SOT 69261 SOS 26115 HAS SOPS 26115 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21110.115
AT ITER 907 NEW BEST:: SOT 69276 SOS 26145 HAS SOPS 26145 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21109.145
AT ITER 908 NEW BEST:: SOT 69276 SOS 26137 HAS SOPS 26137 HAS SOUS 21067 HAS SOUPS 21067 WITH SCORE 21093.137
AT ITER 925 NEW BEST:: SOT 69254 SOS 26093 HAS SOPS 26093 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21071.093
AT ITER 931 NEW BEST:: SOT 69163 SOS 26002 HAS SOPS 26002 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21071.002
AT ITER 935 NEW BEST:: SOT 69114 SOS 25904 HAS SOPS 25904 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21044.904
AT ITER 947 NEW BEST:: SOT 69114 SOS 25878 HAS SOPS 25878 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21018.878
AT ITER 948 NEW BEST:: SOT 69120 SOS 25890 HAS SOPS 25890 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21006.89
AT ITER 949 NEW BEST:: SOT 69119 SOS 25856 HAS SOPS 25856 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20972.856
AT ITER 951 NEW BEST:: SOT 69111 SOS 25844 HAS SOPS 25844 HAS SOUS 20935 HAS SOUPS 20935 WITH SCORE 20960.844
AT ITER 970 NEW BEST:: SOT 69101 SOS 25791 HAS SOPS 25791 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20907.791
AT ITER 975 NEW BEST:: SOT 69022 SOS 25771 HAS SOPS 25771 HAS SOUS 20862 HAS SOUPS 20862 WITH SCORE 20887.771
AT ITER 987 NEW BEST:: SOT 69022 SOS 25753 HAS SOPS 25753 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20869.753
AT ITER 989 NEW BEST:: SOT 69022 SOS 25753 HAS SOPS 25753 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20860.753
AT ITER 1004 NEW BEST:: SOT 69027 SOS 25847 HAS SOPS 25847 HAS SOUS 20820 HAS SOUPS 20820 WITH SCORE 20845.847
AT ITER 1015 NEW BEST:: SOT 69017 SOS 25837 HAS SOPS 25837 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20835.837
AT ITER 1021 NEW BEST:: SOT 68788 SOS 25560 HAS SOPS 25560 HAS SOUS 20513 HAS SOUPS 20513 WITH SCORE 20538.56
AT ITER 1036 NEW BEST:: SOT 68788 SOS 25542 HAS SOPS 25542 HAS SOUS 20495 HAS SOUPS 20495 WITH SCORE 20520.542
AT ITER 1044 NEW BEST:: SOT 68786 SOS 25538 HAS SOPS 25538 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20514.538
AT ITER 1056 NEW BEST:: SOT 68778 SOS 25471 HAS SOPS 25471 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20447.471
AT ITER 1075 NEW BEST:: SOT 68707 SOS 26194 HAS SOPS 26194 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20377.194
AT ITER 1108 NEW BEST:: SOT 68691 SOS 26162 HAS SOPS 26162 HAS SOUS 20335 HAS SOUPS 20335 WITH SCORE 20361.162
AT ITER 1118 NEW BEST:: SOT 68690 SOS 26161 HAS SOPS 26161 HAS SOUS 20334 HAS SOUPS 20334 WITH SCORE 20360.161
AT ITER 1119 NEW BEST:: SOT 68693 SOS 26019 HAS SOPS 26019 HAS SOUS 20297 HAS SOUPS 20297 WITH SCORE 20323.019
AT ITER 1136 NEW BEST:: SOT 68694 SOS 26020 HAS SOPS 26020 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20303.02
AT ITER 1146 NEW BEST:: SOT 68566 SOS 25916 HAS SOPS 25916 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20276.916
AT ITER 1153 NEW BEST:: SOT 68569 SOS 25846 HAS SOPS 25846 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20206.846
AT ITER 1154 NEW BEST:: SOT 68575 SOS 25845 HAS SOPS 25845 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20192.845
AT ITER 1173 NEW BEST:: SOT 68563 SOS 25804 HAS SOPS 25804 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20151.804
AT ITER 1184 NEW BEST:: SOT 68563 SOS 25792 HAS SOPS 25792 HAS SOUS 20102 HAS SOUPS 20102 WITH SCORE 20127.792
AT ITER 1185 NEW BEST:: SOT 68560 SOS 25786 HAS SOPS 25786 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20121.786
AT ITER 1197 NEW BEST:: SOT 68518 SOS 25702 HAS SOPS 25702 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20086.702
AT ITER 1198 NEW BEST:: SOT 68530 SOS 25749 HAS SOPS 25749 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20081.749
AT ITER 1212 NEW BEST:: SOT 68525 SOS 25744 HAS SOPS 25744 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20076.744
AT ITER 1214 NEW BEST:: SOT 68501 SOS 25714 HAS SOPS 25714 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20065.714
AT ITER 1224 NEW BEST:: SOT 68484 SOS 25697 HAS SOPS 25697 HAS SOUS 20023 HAS SOUPS 20023 WITH SCORE 20048.697
AT ITER 1237 NEW BEST:: SOT 68497 SOS 25575 HAS SOPS 25575 HAS SOUS 19767 HAS SOUPS 19767 WITH SCORE 19792.575
AT ITER 1241 NEW BEST:: SOT 68466 SOS 25506 HAS SOPS 25506 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19785.506
AT ITER 1242 NEW BEST:: SOT 68455 SOS 25385 HAS SOPS 25385 HAS SOUS 19749 HAS SOUPS 19749 WITH SCORE 19774.385
AT ITER 1255 NEW BEST:: SOT 68455 SOS 25385 HAS SOPS 25385 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19744.385
AT ITER 1265 NEW BEST:: SOT 68449 SOS 25373 HAS SOPS 25373 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19736.373
AT ITER 1274 NEW BEST:: SOT 68456 SOS 25307 HAS SOPS 25307 HAS SOUS 19645 HAS SOUPS 19645 WITH SCORE 19670.307
AT ITER 1298 NEW BEST:: SOT 68398 SOS 25191 HAS SOPS 25191 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19554.191
AT ITER 1327 NEW BEST:: SOT 68397 SOS 25190 HAS SOPS 25190 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19553.19
AT ITER 1361 NEW BEST:: SOT 68388 SOS 25174 HAS SOPS 25174 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19537.174
AT ITER 1381 NEW BEST:: SOT 68384 SOS 25138 HAS SOPS 25138 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19491.138
AT ITER 1387 NEW BEST:: SOT 68384 SOS 25138 HAS SOPS 25138 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19477.138
AT ITER 1421 NEW BEST:: SOT 68374 SOS 25101 HAS SOPS 25101 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19440.101
AT ITER 1422 NEW BEST:: SOT 68401 SOS 25062 HAS SOPS 25062 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19401.062
AT ITER 1437 NEW BEST:: SOT 68326 SOS 25023 HAS SOPS 25023 HAS SOUS 19337 HAS SOUPS 19337 WITH SCORE 19362.023
AT ITER 1440 NEW BEST:: SOT 68298 SOS 24967 HAS SOPS 24967 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19305.967
AT ITER 1486 NEW BEST:: SOT 68246 SOS 24915 HAS SOPS 24915 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19292.915
AT ITER 1494 NEW BEST:: SOT 68246 SOS 24913 HAS SOPS 24913 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19290.913
AT ITER 1501 NEW BEST:: SOT 68235 SOS 24902 HAS SOPS 24902 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19279.902
AT ITER 1508 NEW BEST:: SOT 68253 SOS 24899 HAS SOPS 24899 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19276.899
AT ITER 1525 NEW BEST:: SOT 68256 SOS 24866 HAS SOPS 24866 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19243.866
AT ITER 1537 NEW BEST:: SOT 68268 SOS 24872 HAS SOPS 24872 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19237.872
AT ITER 1560 NEW BEST:: SOT 68245 SOS 24826 HAS SOPS 24826 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19191.826
AT ITER 1579 NEW BEST:: SOT 68238 SOS 24813 HAS SOPS 24813 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19178.813
AT ITER 1590 NEW BEST:: SOT 68220 SOS 24777 HAS SOPS 24777 HAS SOUS 19118 HAS SOUPS 19118 WITH SCORE 19142.777
AT ITER 1599 NEW BEST:: SOT 68198 SOS 24735 HAS SOPS 24735 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19076.735
AT ITER 1627 NEW BEST:: SOT 68199 SOS 24736 HAS SOPS 24736 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19074.736
AT ITER 1631 NEW BEST:: SOT 68197 SOS 24713 HAS SOPS 24713 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19051.713
AT ITER 1634 NEW BEST:: SOT 68194 SOS 24707 HAS SOPS 24707 HAS SOUS 19021 HAS SOUPS 19021 WITH SCORE 19045.707
AT ITER 1648 NEW BEST:: SOT 68141 SOS 24690 HAS SOPS 24690 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19028.69
AT ITER 1658 NEW BEST:: SOT 68137 SOS 24682 HAS SOPS 24682 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19020.682
AT ITER 1670 NEW BEST:: SOT 68125 SOS 24670 HAS SOPS 24670 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19008.67
AT ITER 1689 NEW BEST:: SOT 68124 SOS 24669 HAS SOPS 24669 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19007.669
AT ITER 1693 NEW BEST:: SOT 68091 SOS 24531 HAS SOPS 24531 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18919.531
AT ITER 1695 NEW BEST:: SOT 68072 SOS 24512 HAS SOPS 24512 HAS SOUS 18876 HAS SOUPS 18876 WITH SCORE 18900.512
AT ITER 1700 NEW BEST:: SOT 68049 SOS 24466 HAS SOPS 24466 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18877.466
AT ITER 1726 NEW BEST:: SOT 67995 SOS 24466 HAS SOPS 24466 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18863.466
AT ITER 1740 NEW BEST:: SOT 67995 SOS 24456 HAS SOPS 24456 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18853.456
AT ITER 1741 NEW BEST:: SOT 67996 SOS 24457 HAS SOPS 24457 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18804.457
AT ITER 1752 NEW BEST:: SOT 67974 SOS 24404 HAS SOPS 24404 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18751.404
AT ITER 1759 NEW BEST:: SOT 67957 SOS 24387 HAS SOPS 24387 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18734.387
AT ITER 1760 NEW BEST:: SOT 67932 SOS 24332 HAS SOPS 24332 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18679.332
AT ITER 1772 NEW BEST:: SOT 67925 SOS 24309 HAS SOPS 24309 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18670.309
AT ITER 1776 NEW BEST:: SOT 67928 SOS 24316 HAS SOPS 24316 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18648.316
AT ITER 1783 NEW BEST:: SOT 67937 SOS 24334 HAS SOPS 24334 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18644.334
AT ITER 1812 NEW BEST:: SOT 67933 SOS 24330 HAS SOPS 24330 HAS SOUS 18616 HAS SOUPS 18616 WITH SCORE 18640.33
AT ITER 1814 NEW BEST:: SOT 67823 SOS 24172 HAS SOPS 24172 HAS SOUS 18517 HAS SOUPS 18517 WITH SCORE 18541.172
AT ITER 1822 NEW BEST:: SOT 67818 SOS 24167 HAS SOPS 24167 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18537.167
AT ITER 1851 NEW BEST:: SOT 67796 SOS 24123 HAS SOPS 24123 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18485.123
AT ITER 1866 NEW BEST:: SOT 67782 SOS 24101 HAS SOPS 24101 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18473.101
AT ITER 1879 NEW BEST:: SOT 67767 SOS 24086 HAS SOPS 24086 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18458.086
AT ITER 1893 NEW BEST:: SOT 67790 SOS 24106 HAS SOPS 24106 HAS SOUS 18428 HAS SOUPS 18428 WITH SCORE 18452.106
AT ITER 1924 NEW BEST:: SOT 67789 SOS 24104 HAS SOPS 24104 HAS SOUS 18426 HAS SOUPS 18426 WITH SCORE 18450.104
AT ITER 1930 NEW BEST:: SOT 67772 SOS 24087 HAS SOPS 24087 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18433.087
AT ITER 1931 NEW BEST:: SOT 67736 SOS 24051 HAS SOPS 24051 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18397.051
AT ITER 1933 NEW BEST:: SOT 67740 SOS 24041 HAS SOPS 24041 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18383.041
AT ITER 1943 NEW BEST:: SOT 67720 SOS 24025 HAS SOPS 24025 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18367.025
AT ITER 1949 NEW BEST:: SOT 67712 SOS 24009 HAS SOPS 24009 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18358.009
AT ITER 1954 NEW BEST:: SOT 67696 SOS 23998 HAS SOPS 23998 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18346.998
AT ITER 1988 NEW BEST:: SOT 67669 SOS 23936 HAS SOPS 23936 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18284.936
AT ITER 1999 NEW BEST:: SOT 67664 SOS 23931 HAS SOPS 23931 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18279.931
AT ITER 2035 NEW BEST:: SOT 67696 SOS 23915 HAS SOPS 23915 HAS SOUS 18240 HAS SOUPS 18240 WITH SCORE 18263.915
AT ITER 2039 NEW BEST:: SOT 67664 SOS 23842 HAS SOPS 23842 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18190.842
AT ITER 2072 NEW BEST:: SOT 67670 SOS 23860 HAS SOPS 23860 HAS SOUS 18159 HAS SOUPS 18159 WITH SCORE 18182.86
AT ITER 2098 NEW BEST:: SOT 67663 SOS 23853 HAS SOPS 23853 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18181.853
AT ITER 2100 NEW BEST:: SOT 67648 SOS 23823 HAS SOPS 23823 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18151.823
AT ITER 2128 NEW BEST:: SOT 67576 SOS 23771 HAS SOPS 23771 HAS SOUS 18122 HAS SOUPS 18122 WITH SCORE 18145.771
AT ITER 2130 NEW BEST:: SOT 67576 SOS 23781 HAS SOPS 23781 HAS SOUS 18112 HAS SOUPS 18112 WITH SCORE 18135.781
AT ITER 2172 NEW BEST:: SOT 67619 SOS 23784 HAS SOPS 23784 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18109.784
AT ITER 2174 NEW BEST:: SOT 67618 SOS 23782 HAS SOPS 23782 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18107.782
AT ITER 2205 NEW BEST:: SOT 67610 SOS 23766 HAS SOPS 23766 HAS SOUS 18068 HAS SOUPS 18068 WITH SCORE 18091.766
AT ITER 2214 NEW BEST:: SOT 67596 SOS 23764 HAS SOPS 23764 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18089.764
AT ITER 2228 NEW BEST:: SOT 67596 SOS 23730 HAS SOPS 23730 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18089.73
AT ITER 2246 NEW BEST:: SOT 67612 SOS 23762 HAS SOPS 23762 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18088.762
AT ITER 2300 NEW BEST:: SOT 67632 SOS 23776 HAS SOPS 23776 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18086.776
AT ITER 2319 NEW BEST:: SOT 67608 SOS 23747 HAS SOPS 23747 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18081.747
AT ITER 2344 NEW BEST:: SOT 67620 SOS 23759 HAS SOPS 23759 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18076.759
AT ITER 2373 NEW BEST:: SOT 67620 SOS 23759 HAS SOPS 23759 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18070.759
AT ITER 2421 NEW BEST:: SOT 67637 SOS 23793 HAS SOPS 23793 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18039.793
AT ITER 2427 NEW BEST:: SOT 67626 SOS 23771 HAS SOPS 23771 HAS SOUS 17994 HAS SOUPS 17994 WITH SCORE 18017.771
AT ITER 2440 NEW BEST:: SOT 67631 SOS 23769 HAS SOPS 23769 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18005.769
AT ITER 2445 NEW BEST:: SOT 67472 SOS 23562 HAS SOPS 23562 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17975.562
AT ITER 2446 NEW BEST:: SOT 67453 SOS 23555 HAS SOPS 23555 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17968.555
AT ITER 2451 NEW BEST:: SOT 67436 SOS 23504 HAS SOPS 23504 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17934.504
AT ITER 2468 NEW BEST:: SOT 67436 SOS 23504 HAS SOPS 23504 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17917.504
AT ITER 2470 NEW BEST:: SOT 67427 SOS 23486 HAS SOPS 23486 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17899.486
AT ITER 2476 NEW BEST:: SOT 67439 SOS 23481 HAS SOPS 23481 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17894.481
AT ITER 2490 NEW BEST:: SOT 67435 SOS 23477 HAS SOPS 23477 HAS SOUS 17867 HAS SOUPS 17867 WITH SCORE 17890.477
AT ITER 2515 NEW BEST:: SOT 67435 SOS 23450 HAS SOPS 23450 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17863.45
AT ITER 2572 NEW BEST:: SOT 67427 SOS 23442 HAS SOPS 23442 HAS SOUS 17832 HAS SOUPS 17832 WITH SCORE 17855.442
AT ITER 2577 NEW BEST:: SOT 67452 SOS 23426 HAS SOPS 23426 HAS SOUS 17816 HAS SOUPS 17816 WITH SCORE 17839.426
AT ITER 2603 NEW BEST:: SOT 67452 SOS 23421 HAS SOPS 23421 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17834.421
AT ITER 2643 NEW BEST:: SOT 67434 SOS 23363 HAS SOPS 23363 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17796.363
AT ITER 2666 NEW BEST:: SOT 67418 SOS 23360 HAS SOPS 23360 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17793.36
AT ITER 2674 NEW BEST:: SOT 67409 SOS 23351 HAS SOPS 23351 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17793.351
AT ITER 2709 NEW BEST:: SOT 67389 SOS 23329 HAS SOPS 23329 HAS SOUS 17748 HAS SOUPS 17748 WITH SCORE 17771.329
AT ITER 2718 NEW BEST:: SOT 67376 SOS 23277 HAS SOPS 23277 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17756.277
AT ITER 2745 NEW BEST:: SOT 67364 SOS 23268 HAS SOPS 23268 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17747.268
AT ITER 2752 NEW BEST:: SOT 67354 SOS 23260 HAS SOPS 23260 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17739.26
AT ITER 2783 NEW BEST:: SOT 67354 SOS 23260 HAS SOPS 23260 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17728.26
AT ITER 2789 NEW BEST:: SOT 67473 SOS 23259 HAS SOPS 23259 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17727.259
AT ITER 2810 NEW BEST:: SOT 67459 SOS 23181 HAS SOPS 23181 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17724.181
AT ITER 2814 NEW BEST:: SOT 67440 SOS 23162 HAS SOPS 23162 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17724.162
AT ITER 2826 NEW BEST:: SOT 67436 SOS 23154 HAS SOPS 23154 HAS SOUS 17693 HAS SOUPS 17693 WITH SCORE 17716.154
AT ITER 2924 NEW BEST:: SOT 67413 SOS 23145 HAS SOPS 23145 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17707.145
AT ITER 2932 NEW BEST:: SOT 67408 SOS 23125 HAS SOPS 23125 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17702.125
AT ITER 2993 NEW BEST:: SOT 67408 SOS 23117 HAS SOPS 23117 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17702.117
AT ITER 2996 NEW BEST:: SOT 67414 SOS 23091 HAS SOPS 23091 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17676.091
AT ITER 3003 NEW BEST:: SOT 67414 SOS 23081 HAS SOPS 23081 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17666.081
AT ITER 3012 NEW BEST:: SOT 67414 SOS 23071 HAS SOPS 23071 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17656.071
AT ITER 3031 NEW BEST:: SOT 67371 SOS 23067 HAS SOPS 23067 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17650.067
AT ITER 3065 NEW BEST:: SOT 67371 SOS 23067 HAS SOPS 23067 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17641.067
AT ITER 3072 NEW BEST:: SOT 67371 SOS 23054 HAS SOPS 23054 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17628.054
AT ITER 3081 NEW BEST:: SOT 67372 SOS 23056 HAS SOPS 23056 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17627.056
AT ITER 3088 NEW BEST:: SOT 67358 SOS 23066 HAS SOPS 23066 HAS SOUS 17574 HAS SOUPS 17574 WITH SCORE 17597.066
AT ITER 3096 NEW BEST:: SOT 67357 SOS 23064 HAS SOPS 23064 HAS SOUS 17571 HAS SOUPS 17571 WITH SCORE 17594.064
AT ITER 3133 NEW BEST:: SOT 67345 SOS 23040 HAS SOPS 23040 HAS SOUS 17559 HAS SOUPS 17559 WITH SCORE 17582.04
AT ITER 3139 NEW BEST:: SOT 67344 SOS 23039 HAS SOPS 23039 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17581.039
AT ITER 3146 NEW BEST:: SOT 67294 SOS 22993 HAS SOPS 22993 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17534.993
AT ITER 3160 NEW BEST:: SOT 67293 SOS 22991 HAS SOPS 22991 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17532.991
AT ITER 3190 NEW BEST:: SOT 67288 SOS 22981 HAS SOPS 22981 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17527.981
AT ITER 3226 NEW BEST:: SOT 67283 SOS 22976 HAS SOPS 22976 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17522.976
AT ITER 3230 NEW BEST:: SOT 67281 SOS 22928 HAS SOPS 22928 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17456.928
AT ITER 3244 NEW BEST:: SOT 67271 SOS 22927 HAS SOPS 22927 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17456.927
AT ITER 3246 NEW BEST:: SOT 67271 SOS 22920 HAS SOPS 22920 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17450.92
AT ITER 3292 NEW BEST:: SOT 67295 SOS 22916 HAS SOPS 22916 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17428.916
AT ITER 3302 NEW BEST:: SOT 67279 SOS 22898 HAS SOPS 22898 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17424.898
AT ITER 3310 NEW BEST:: SOT 67343 SOS 22896 HAS SOPS 22896 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17422.896
AT ITER 3358 NEW BEST:: SOT 67335 SOS 22896 HAS SOPS 22896 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17411.896
AT ITER 3375 NEW BEST:: SOT 67319 SOS 22872 HAS SOPS 22872 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17395.872
AT ITER 3382 NEW BEST:: SOT 67313 SOS 22860 HAS SOPS 22860 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17383.86
AT ITER 3392 NEW BEST:: SOT 67346 SOS 22843 HAS SOPS 22843 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17366.843
AT ITER 3484 NEW BEST:: SOT 67333 SOS 22830 HAS SOPS 22830 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17366.83
AT ITER 3491 NEW BEST:: SOT 67333 SOS 22821 HAS SOPS 22821 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17357.821
AT ITER 3522 NEW BEST:: SOT 67330 SOS 22818 HAS SOPS 22818 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17354.818
AT ITER 3529 NEW BEST:: SOT 67463 SOS 22964 HAS SOPS 22964 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17341.964
AT ITER 3547 NEW BEST:: SOT 67452 SOS 22935 HAS SOPS 22935 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17333.935
AT ITER 3565 NEW BEST:: SOT 67443 SOS 22911 HAS SOPS 22911 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17309.911
AT ITER 3590 NEW BEST:: SOT 67432 SOS 22851 HAS SOPS 22851 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17249.851
AT ITER 3610 NEW BEST:: SOT 67428 SOS 22843 HAS SOPS 22843 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17241.843
AT ITER 3614 NEW BEST:: SOT 67407 SOS 22809 HAS SOPS 22809 HAS SOUS 17185 HAS SOUPS 17185 WITH SCORE 17207.809
AT ITER 3625 NEW BEST:: SOT 67402 SOS 22789 HAS SOPS 22789 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17204.789
AT ITER 3651 NEW BEST:: SOT 67425 SOS 22785 HAS SOPS 22785 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17202.785
AT ITER 3687 NEW BEST:: SOT 67430 SOS 22778 HAS SOPS 22778 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17195.778
AT ITER 3688 NEW BEST:: SOT 67430 SOS 22775 HAS SOPS 22775 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17192.775
AT ITER 3704 NEW BEST:: SOT 67387 SOS 22736 HAS SOPS 22736 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17153.736
AT ITER 3709 NEW BEST:: SOT 67384 SOS 22730 HAS SOPS 22730 HAS SOUS 17125 HAS SOUPS 17125 WITH SCORE 17147.73
AT ITER 3721 NEW BEST:: SOT 67366 SOS 22694 HAS SOPS 22694 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17145.694
AT ITER 3748 NEW BEST:: SOT 67326 SOS 22654 HAS SOPS 22654 HAS SOUS 17083 HAS SOUPS 17083 WITH SCORE 17105.654
AT ITER 3800 NEW BEST:: SOT 67326 SOS 22649 HAS SOPS 22649 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17100.649
AT ITER 3801 NEW BEST:: SOT 67285 SOS 22567 HAS SOPS 22567 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17018.567
AT ITER 3813 NEW BEST:: SOT 67282 SOS 22564 HAS SOPS 22564 HAS SOUS 16993 HAS SOUPS 16993 WITH SCORE 17015.564
AT ITER 3838 NEW BEST:: SOT 67281 SOS 22563 HAS SOPS 22563 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17014.563
AT ITER 3841 NEW BEST:: SOT 67272 SOS 22527 HAS SOPS 22527 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17014.527
AT ITER 3870 NEW BEST:: SOT 67268 SOS 22519 HAS SOPS 22519 HAS SOUS 16984 HAS SOUPS 16984 WITH SCORE 17006.519
AT ITER 3894 NEW BEST:: SOT 67255 SOS 22506 HAS SOPS 22506 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 16993.506
AT ITER 3985 NEW BEST:: SOT 67281 SOS 22504 HAS SOPS 22504 HAS SOUS 16961 HAS SOUPS 16961 WITH SCORE 16983.504
AT ITER 3999 NEW BEST:: SOT 67281 SOS 22492 HAS SOPS 22492 HAS SOUS 16949 HAS SOUPS 16949 WITH SCORE 16971.492
AT ITER 4053 NEW BEST:: SOT 67281 SOS 22491 HAS SOPS 22491 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16970.491
AT ITER 4069 NEW BEST:: SOT 67238 SOS 22448 HAS SOPS 22448 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16962.448
AT ITER 4072 NEW BEST:: SOT 67238 SOS 22423 HAS SOPS 22423 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16937.423
AT ITER 4103 NEW BEST:: SOT 67234 SOS 22419 HAS SOPS 22419 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16937.419
AT ITER 4112 NEW BEST:: SOT 67186 SOS 22282 HAS SOPS 22282 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16915.282
AT ITER 4130 NEW BEST:: SOT 67185 SOS 22281 HAS SOPS 22281 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16914.281
AT ITER 4196 NEW BEST:: SOT 67173 SOS 22249 HAS SOPS 22249 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16890.249
AT ITER 4228 NEW BEST:: SOT 67170 SOS 22240 HAS SOPS 22240 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16890.24
AT ITER 4243 NEW BEST:: SOT 67144 SOS 22824 HAS SOPS 22824 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16879.824
AT ITER 4255 NEW BEST:: SOT 67144 SOS 22818 HAS SOPS 22818 HAS SOUS 16851 HAS SOUPS 16851 WITH SCORE 16873.818
AT ITER 4299 NEW BEST:: SOT 67177 SOS 22795 HAS SOPS 22795 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16850.795
AT ITER 4327 NEW BEST:: SOT 67164 SOS 22782 HAS SOPS 22782 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16837.782
AT ITER 4377 NEW BEST:: SOT 67241 SOS 22718 HAS SOPS 22718 HAS SOUS 16812 HAS SOUPS 16812 WITH SCORE 16834.718
AT ITER 4403 NEW BEST:: SOT 67240 SOS 22716 HAS SOPS 22716 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16833.716
AT ITER 4410 NEW BEST:: SOT 67222 SOS 22711 HAS SOPS 22711 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16828.711
AT ITER 4427 NEW BEST:: SOT 67228 SOS 22704 HAS SOPS 22704 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16821.704
AT ITER 4450 NEW BEST:: SOT 67207 SOS 22683 HAS SOPS 22683 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16800.683
AT ITER 4521 NEW BEST:: SOT 67195 SOS 22671 HAS SOPS 22671 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16788.671
AT ITER 4525 NEW BEST:: SOT 67189 SOS 22659 HAS SOPS 22659 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16776.659
AT ITER 4595 NEW BEST:: SOT 67186 SOS 22656 HAS SOPS 22656 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16773.656
AT ITER 4608 NEW BEST:: SOT 67182 SOS 22650 HAS SOPS 22650 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16765.65
AT ITER 4626 NEW BEST:: SOT 67172 SOS 22596 HAS SOPS 22596 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16731.596
AT ITER 4657 NEW BEST:: SOT 67164 SOS 22580 HAS SOPS 22580 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16716.58
AT ITER 4660 NEW BEST:: SOT 67160 SOS 22581 HAS SOPS 22581 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16696.581
AT ITER 4693 NEW BEST:: SOT 67154 SOS 22569 HAS SOPS 22569 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16690.569
AT ITER 4725 NEW BEST:: SOT 67167 SOS 22595 HAS SOPS 22595 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16683.595
AT ITER 4733 NEW BEST:: SOT 67167 SOS 22595 HAS SOPS 22595 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16676.595
AT ITER 4742 NEW BEST:: SOT 67144 SOS 22576 HAS SOPS 22576 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16672.576
AT ITER 4748 NEW BEST:: SOT 67115 SOS 22518 HAS SOPS 22518 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16614.518
AT ITER 4763 NEW BEST:: SOT 67117 SOS 22503 HAS SOPS 22503 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16605.503
AT ITER 4774 NEW BEST:: SOT 67117 SOS 22489 HAS SOPS 22489 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16591.489
AT ITER 4777 NEW BEST:: SOT 67117 SOS 22477 HAS SOPS 22477 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16591.477
AT ITER 4781 NEW BEST:: SOT 67114 SOS 22451 HAS SOPS 22451 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16585.451
AT ITER 4826 NEW BEST:: SOT 67112 SOS 22435 HAS SOPS 22435 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16569.435
AT ITER 4830 NEW BEST:: SOT 67065 SOS 22377 HAS SOPS 22377 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16546.377
AT ITER 4831 NEW BEST:: SOT 67059 SOS 22362 HAS SOPS 22362 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16530.362
AT ITER 4835 NEW BEST:: SOT 67067 SOS 22354 HAS SOPS 22354 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16522.354
AT ITER 4865 NEW BEST:: SOT 67069 SOS 22334 HAS SOPS 22334 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16502.334
AT ITER 4898 NEW BEST:: SOT 67065 SOS 22330 HAS SOPS 22330 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16497.33
AT ITER 4901 NEW BEST:: SOT 67061 SOS 22344 HAS SOPS 22344 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16492.344
AT ITER 4923 NEW BEST:: SOT 67055 SOS 22332 HAS SOPS 22332 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16480.332
AT ITER 4937 NEW BEST:: SOT 67048 SOS 22325 HAS SOPS 22325 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16473.325
AT ITER 4938 NEW BEST:: SOT 67045 SOS 22321 HAS SOPS 22321 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16468.321
AT ITER 4942 NEW BEST:: SOT 67032 SOS 22310 HAS SOPS 22310 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16457.31
AT ITER 4945 NEW BEST:: SOT 67040 SOS 22318 HAS SOPS 22318 HAS SOUS 16353 HAS SOUPS 16353 WITH SCORE 16375.318
AT ITER 4965 NEW BEST:: SOT 67041 SOS 22315 HAS SOPS 22315 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16366.315
AT ITER 4984 NEW BEST:: SOT 67041 SOS 22299 HAS SOPS 22299 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16366.299
AT ITER 4985 NEW BEST:: SOT 67028 SOS 22273 HAS SOPS 22273 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16366.273
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-00 (EF((AF(( potential( ( 1 ) <= (tk(P156)) ) & potential( (tk(P355)) <= (tk(P195)) ) )))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-01 ( (AX( (! potential( ( 1 ) <= (tk(P135)) )))) & (AG( ( ( potential( (tk(P213)) <= (tk(P219)) ) | potential( (tk(P355)) <= (tk(P299)) ) ) | potential( (tk(P190)) <= (tk(P48)) ) ))) )
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-02 (EU( (EG( potential( (tk(P221)) <= (tk(P338)) ))),(! (! potential( ( 3 ) <= (tk(P335)) ))) ))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-03 (EU( (AX( potential( (tk(P32)) <= (tk(P102)) ))),(EF(potential( ( 1 ) <= (tk(P26)) ))) ))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-04 (AG( (EG( ( potential( (tk(P110)) <= (tk(P302)) ) | potential( (tk(P297)) <= (tk(P199)) ) )))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-05 ( ( (AF(( potential( ( 1 ) <= (tk(P170)) ) & potential( (tk(P124)) <= (tk(P51)) ) ))) | (AF((! potential( (tk(P59)) <= (tk(P223)) )))) ) | (! (EF(( potential( (tk(P80)) <= (tk(P58)) ) & potential( ( 2 ) <= (tk(P276)) ) )))) )
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-06 (! (AG( ( (! potential( ( 2 ) <= (tk(P151)) )) & ( potential( (tk(P99)) <= (tk(P356)) ) | potential( (tk(P361)) <= (tk(P43)) ) ) ))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-07 (AG( (EG( ( potential( (tk(P298)) <= (tk(P102)) ) | potential( ( 3 ) <= (tk(P28)) ) )))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-08 ( (AG( ( ( potential( (tk(P214)) <= (tk(P359)) ) & potential( (tk(P323)) <= (tk(P277)) ) ) & ( potential( (tk(P185)) <= (tk(P305)) ) & potential( (tk(P20)) <= (tk(P69)) ) ) ))) & potential( (tk(P284)) <= (tk(P83)) ) )
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-09 (AG( (EX( (! potential( ( 3 ) <= (tk(P99)) ))))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-10 (EF(potential( ( 3 ) <= (tk(P75)) )))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-11 (! (AG( ( ( potential( ( 1 ) <= (tk(P143)) ) & potential( ( 2 ) <= (tk(P277)) ) ) | ( potential( (tk(P351)) <= (tk(P70)) ) | potential( ( 1 ) <= (tk(P20)) ) ) ))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-12 (EF((EU( potential( (tk(P293)) <= (tk(P134)) ),potential( ( 2 ) <= (tk(P205)) ) ))))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-13 (AU( (EF(potential( (tk(P121)) <= (tk(P83)) ))),(AG( potential( (tk(P322)) <= (tk(P353)) ))) ))
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-14 ( (EG( potential( ( 2 ) <= (tk(P172)) ))) | ( ( (EF(potential( ( 3 ) <= (tk(P293)) ))) | potential( ( 2 ) <= (tk(P201)) ) ) & ( potential( (tk(P166)) <= (tk(P293)) ) & ( (! potential( ( 1 ) <= (tk(P114)) )) | potential( ( 1 ) <= (tk(P123)) ) ) ) ) )
PROPERTY: BusinessProcesses-PT-05-CTLCardinality-15 (EU( ( potential( (tk(P322)) <= (tk(P82)) ) | ( potential( (tk(P367)) <= (tk(P207)) ) | potential( (tk(P265)) <= (tk(P257)) ) ) ),(! (! potential( ( 2 ) <= (tk(P130)) ))) ))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680000483"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-05.tgz
mv BusinessProcesses-PT-05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;