Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250000107.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 MultiwaySync-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250000107
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.6K Apr 8 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 6 02:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 111K 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 MultiwaySync-PT-none-CTLCardinality-00
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-01
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-02
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-03
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-04
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-05
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-06
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-07
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-08
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-09
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-10
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-11
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-12
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-13
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-14
FORMULA_NAME MultiwaySync-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589637809426

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running MultiwaySync (PT), instance none
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: 222 places, 472 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 81779 SOS 68511 HAS SOPS 68511 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37324.511
AT ITER 1 NEW BEST:: SOT 81738 SOS 68429 HAS SOPS 68429 HAS SOUS 37174 HAS SOUPS 37174 WITH SCORE 37242.429
AT ITER 7 NEW BEST:: SOT 81330 SOS 67830 HAS SOPS 67830 HAS SOUS 36745 HAS SOUPS 36745 WITH SCORE 36812.83
AT ITER 9 NEW BEST:: SOT 81266 SOS 67626 HAS SOPS 67626 HAS SOUS 36639 HAS SOUPS 36639 WITH SCORE 36706.626
AT ITER 16 NEW BEST:: SOT 81014 SOS 67382 HAS SOPS 67382 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36615.382
AT ITER 18 NEW BEST:: SOT 80886 SOS 66937 HAS SOPS 66937 HAS SOUS 36323 HAS SOUPS 36323 WITH SCORE 36389.937
AT ITER 21 NEW BEST:: SOT 79781 SOS 65892 HAS SOPS 65892 HAS SOUS 36000 HAS SOUPS 36000 WITH SCORE 36065.892
AT ITER 22 NEW BEST:: SOT 79799 SOS 65651 HAS SOPS 65651 HAS SOUS 35973 HAS SOUPS 35973 WITH SCORE 36038.651
AT ITER 23 NEW BEST:: SOT 79828 SOS 65709 HAS SOPS 65709 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 35980.709
AT ITER 25 NEW BEST:: SOT 79527 SOS 65249 HAS SOPS 65249 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35794.249
AT ITER 28 NEW BEST:: SOT 79417 SOS 64916 HAS SOPS 64916 HAS SOUS 35428 HAS SOUPS 35428 WITH SCORE 35492.916
AT ITER 31 NEW BEST:: SOT 79417 SOS 64916 HAS SOPS 64916 HAS SOUS 35419 HAS SOUPS 35419 WITH SCORE 35483.916
AT ITER 33 NEW BEST:: SOT 78575 SOS 64099 HAS SOPS 64099 HAS SOUS 35210 HAS SOUPS 35210 WITH SCORE 35274.099
AT ITER 36 NEW BEST:: SOT 78908 SOS 64432 HAS SOPS 64432 HAS SOUS 35171 HAS SOUPS 35171 WITH SCORE 35235.432
AT ITER 40 NEW BEST:: SOT 78908 SOS 58573 HAS SOPS 58573 HAS SOUS 33943 HAS SOUPS 33943 WITH SCORE 34001.573
AT ITER 41 NEW BEST:: SOT 78613 SOS 58219 HAS SOPS 58219 HAS SOUS 33713 HAS SOUPS 33713 WITH SCORE 33771.219
AT ITER 47 NEW BEST:: SOT 78613 SOS 58169 HAS SOPS 58169 HAS SOUS 33713 HAS SOUPS 33713 WITH SCORE 33771.169
AT ITER 50 NEW BEST:: SOT 78613 SOS 57773 HAS SOPS 57773 HAS SOUS 33627 HAS SOUPS 33627 WITH SCORE 33684.773
AT ITER 51 NEW BEST:: SOT 78278 SOS 57393 HAS SOPS 57393 HAS SOUS 33160 HAS SOUPS 33160 WITH SCORE 33217.393
AT ITER 53 NEW BEST:: SOT 78294 SOS 57409 HAS SOPS 57409 HAS SOUS 33152 HAS SOUPS 33152 WITH SCORE 33209.409
AT ITER 56 NEW BEST:: SOT 78200 SOS 57005 HAS SOPS 57005 HAS SOUS 32929 HAS SOUPS 32929 WITH SCORE 32986.005
AT ITER 57 NEW BEST:: SOT 78200 SOS 56981 HAS SOPS 56981 HAS SOUS 32929 HAS SOUPS 32929 WITH SCORE 32985.981
AT ITER 58 NEW BEST:: SOT 78210 SOS 56958 HAS SOPS 56958 HAS SOUS 32929 HAS SOUPS 32929 WITH SCORE 32985.958
AT ITER 61 NEW BEST:: SOT 78129 SOS 56551 HAS SOPS 56551 HAS SOUS 32820 HAS SOUPS 32820 WITH SCORE 32876.551
AT ITER 63 NEW BEST:: SOT 77956 SOS 56190 HAS SOPS 56190 HAS SOUS 32428 HAS SOUPS 32428 WITH SCORE 32484.19
AT ITER 65 NEW BEST:: SOT 77956 SOS 56190 HAS SOPS 56190 HAS SOUS 32380 HAS SOUPS 32380 WITH SCORE 32436.19
AT ITER 66 NEW BEST:: SOT 77971 SOS 56205 HAS SOPS 56205 HAS SOUS 32365 HAS SOUPS 32365 WITH SCORE 32421.205
AT ITER 68 NEW BEST:: SOT 77931 SOS 56085 HAS SOPS 56085 HAS SOUS 32205 HAS SOUPS 32205 WITH SCORE 32261.085
AT ITER 71 NEW BEST:: SOT 78034 SOS 56131 HAS SOPS 56131 HAS SOUS 32137 HAS SOUPS 32137 WITH SCORE 32193.131
AT ITER 77 NEW BEST:: SOT 73574 SOS 51671 HAS SOPS 51671 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27914.671
AT ITER 81 NEW BEST:: SOT 72969 SOS 50601 HAS SOPS 50601 HAS SOUS 27618 HAS SOUPS 27618 WITH SCORE 27668.601
AT ITER 85 NEW BEST:: SOT 72689 SOS 50265 HAS SOPS 50265 HAS SOUS 27397 HAS SOUPS 27397 WITH SCORE 27447.265
AT ITER 89 NEW BEST:: SOT 72100 SOS 49676 HAS SOPS 49676 HAS SOUS 27040 HAS SOUPS 27040 WITH SCORE 27089.676
AT ITER 90 NEW BEST:: SOT 72173 SOS 49814 HAS SOPS 49814 HAS SOUS 27005 HAS SOUPS 27005 WITH SCORE 27054.814
AT ITER 95 NEW BEST:: SOT 72171 SOS 49811 HAS SOPS 49811 HAS SOUS 27001 HAS SOUPS 27001 WITH SCORE 27050.811
AT ITER 96 NEW BEST:: SOT 71680 SOS 49320 HAS SOPS 49320 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26699.32
AT ITER 97 NEW BEST:: SOT 71618 SOS 49232 HAS SOPS 49232 HAS SOUS 26536 HAS SOUPS 26536 WITH SCORE 26585.232
AT ITER 99 NEW BEST:: SOT 71584 SOS 49054 HAS SOPS 49054 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26553.054
AT ITER 107 NEW BEST:: SOT 71787 SOS 49081 HAS SOPS 49081 HAS SOUS 26311 HAS SOUPS 26311 WITH SCORE 26360.081
AT ITER 108 NEW BEST:: SOT 71791 SOS 49098 HAS SOPS 49098 HAS SOUS 26307 HAS SOUPS 26307 WITH SCORE 26356.098
AT ITER 111 NEW BEST:: SOT 71721 SOS 48778 HAS SOPS 48778 HAS SOUS 26199 HAS SOUPS 26199 WITH SCORE 26247.778
AT ITER 113 NEW BEST:: SOT 71301 SOS 48358 HAS SOPS 48358 HAS SOUS 25957 HAS SOUPS 25957 WITH SCORE 26005.358
AT ITER 114 NEW BEST:: SOT 71321 SOS 48278 HAS SOPS 48278 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25845.278
AT ITER 120 NEW BEST:: SOT 71046 SOS 47749 HAS SOPS 47749 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25696.749
AT ITER 122 NEW BEST:: SOT 71045 SOS 47747 HAS SOPS 47747 HAS SOUS 25646 HAS SOUPS 25646 WITH SCORE 25693.747
AT ITER 125 NEW BEST:: SOT 71021 SOS 47723 HAS SOPS 47723 HAS SOUS 25513 HAS SOUPS 25513 WITH SCORE 25560.723
AT ITER 131 NEW BEST:: SOT 68288 SOS 44990 HAS SOPS 44990 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23029.99
AT ITER 132 NEW BEST:: SOT 68276 SOS 44978 HAS SOPS 44978 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 23017.978
AT ITER 136 NEW BEST:: SOT 68250 SOS 44952 HAS SOPS 44952 HAS SOUS 22947 HAS SOUPS 22947 WITH SCORE 22991.952
AT ITER 140 NEW BEST:: SOT 68248 SOS 45076 HAS SOPS 45076 HAS SOUS 22901 HAS SOUPS 22901 WITH SCORE 22946.076
AT ITER 152 NEW BEST:: SOT 68035 SOS 44548 HAS SOPS 44548 HAS SOUS 22577 HAS SOUPS 22577 WITH SCORE 22621.548
AT ITER 157 NEW BEST:: SOT 68019 SOS 44532 HAS SOPS 44532 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22605.532
AT ITER 158 NEW BEST:: SOT 68022 SOS 44537 HAS SOPS 44537 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22580.537
AT ITER 159 NEW BEST:: SOT 68151 SOS 44456 HAS SOPS 44456 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22531.456
AT ITER 163 NEW BEST:: SOT 68175 SOS 44430 HAS SOPS 44430 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22405.43
AT ITER 166 NEW BEST:: SOT 68103 SOS 44286 HAS SOPS 44286 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22333.286
AT ITER 175 NEW BEST:: SOT 68053 SOS 43640 HAS SOPS 43640 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22271.64
AT ITER 176 NEW BEST:: SOT 68229 SOS 43920 HAS SOPS 43920 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22211.92
AT ITER 183 NEW BEST:: SOT 68174 SOS 43755 HAS SOPS 43755 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22156.755
AT ITER 191 NEW BEST:: SOT 67896 SOS 43497 HAS SOPS 43497 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22070.497
AT ITER 196 NEW BEST:: SOT 67862 SOS 43463 HAS SOPS 43463 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 22008.463
AT ITER 203 NEW BEST:: SOT 67838 SOS 43415 HAS SOPS 43415 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21924.415
AT ITER 206 NEW BEST:: SOT 67821 SOS 43485 HAS SOPS 43485 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21896.485
AT ITER 211 NEW BEST:: SOT 67899 SOS 43526 HAS SOPS 43526 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21863.526
AT ITER 212 NEW BEST:: SOT 67815 SOS 43428 HAS SOPS 43428 HAS SOUS 21736 HAS SOUPS 21736 WITH SCORE 21779.428
AT ITER 217 NEW BEST:: SOT 67745 SOS 43327 HAS SOPS 43308 HAS SOUS 21754 HAS SOUPS 21735 WITH SCORE 21778.327
AT ITER 224 NEW BEST:: SOT 67822 SOS 43337 HAS SOPS 43318 HAS SOUS 21648 HAS SOUPS 21629 WITH SCORE 21672.337
AT ITER 229 NEW BEST:: SOT 67817 SOS 42971 HAS SOPS 42952 HAS SOUS 21529 HAS SOUPS 21510 WITH SCORE 21552.971
AT ITER 231 NEW BEST:: SOT 67256 SOS 42453 HAS SOPS 42434 HAS SOUS 21309 HAS SOUPS 21290 WITH SCORE 21332.453
AT ITER 235 NEW BEST:: SOT 67293 SOS 42404 HAS SOPS 42385 HAS SOUS 21167 HAS SOUPS 21148 WITH SCORE 21190.404
AT ITER 243 NEW BEST:: SOT 67279 SOS 42277 HAS SOPS 42258 HAS SOUS 21133 HAS SOUPS 21114 WITH SCORE 21156.277
AT ITER 259 NEW BEST:: SOT 67314 SOS 42266 HAS SOPS 42247 HAS SOUS 21108 HAS SOUPS 21089 WITH SCORE 21131.266
AT ITER 260 NEW BEST:: SOT 67244 SOS 42056 HAS SOPS 42037 HAS SOUS 21003 HAS SOUPS 20984 WITH SCORE 21026.056
AT ITER 265 NEW BEST:: SOT 66766 SOS 43367 HAS SOPS 43348 HAS SOUS 20846 HAS SOUPS 20827 WITH SCORE 20870.367
AT ITER 266 NEW BEST:: SOT 66748 SOS 43325 HAS SOPS 43306 HAS SOUS 20822 HAS SOUPS 20803 WITH SCORE 20846.325
AT ITER 268 NEW BEST:: SOT 66748 SOS 43308 HAS SOPS 43289 HAS SOUS 20822 HAS SOUPS 20803 WITH SCORE 20846.308
AT ITER 277 NEW BEST:: SOT 66686 SOS 43246 HAS SOPS 43227 HAS SOUS 20774 HAS SOUPS 20755 WITH SCORE 20798.246
AT ITER 280 NEW BEST:: SOT 66466 SOS 42972 HAS SOPS 42953 HAS SOUS 20411 HAS SOUPS 20392 WITH SCORE 20434.972
AT ITER 295 NEW BEST:: SOT 66433 SOS 42811 HAS SOPS 42792 HAS SOUS 20345 HAS SOUPS 20326 WITH SCORE 20368.811
AT ITER 311 NEW BEST:: SOT 66708 SOS 42890 HAS SOPS 42871 HAS SOUS 20150 HAS SOUPS 20131 WITH SCORE 20173.89
AT ITER 318 NEW BEST:: SOT 66510 SOS 42710 HAS SOPS 42691 HAS SOUS 20078 HAS SOUPS 20059 WITH SCORE 20101.71
AT ITER 321 NEW BEST:: SOT 66174 SOS 42800 HAS SOPS 42781 HAS SOUS 20025 HAS SOUPS 20006 WITH SCORE 20048.8
AT ITER 322 NEW BEST:: SOT 66175 SOS 42800 HAS SOPS 42781 HAS SOUS 20020 HAS SOUPS 20001 WITH SCORE 20043.8
AT ITER 332 NEW BEST:: SOT 66175 SOS 42785 HAS SOPS 42766 HAS SOUS 20020 HAS SOUPS 20001 WITH SCORE 20043.785
AT ITER 333 NEW BEST:: SOT 66215 SOS 42521 HAS SOPS 42502 HAS SOUS 19783 HAS SOUPS 19764 WITH SCORE 19806.521
AT ITER 338 NEW BEST:: SOT 66212 SOS 42494 HAS SOPS 42475 HAS SOUS 19742 HAS SOUPS 19723 WITH SCORE 19765.494
AT ITER 339 NEW BEST:: SOT 66212 SOS 42425 HAS SOPS 42406 HAS SOUS 19741 HAS SOUPS 19722 WITH SCORE 19764.425
AT ITER 347 NEW BEST:: SOT 66168 SOS 42293 HAS SOPS 42274 HAS SOUS 19675 HAS SOUPS 19656 WITH SCORE 19698.293
AT ITER 350 NEW BEST:: SOT 66079 SOS 42203 HAS SOPS 42184 HAS SOUS 19574 HAS SOUPS 19555 WITH SCORE 19597.203
AT ITER 352 NEW BEST:: SOT 66273 SOS 42343 HAS SOPS 42324 HAS SOUS 19553 HAS SOUPS 19534 WITH SCORE 19576.343
AT ITER 355 NEW BEST:: SOT 66247 SOS 42291 HAS SOPS 42272 HAS SOUS 19553 HAS SOUPS 19534 WITH SCORE 19576.291
AT ITER 357 NEW BEST:: SOT 66275 SOS 42319 HAS SOPS 42300 HAS SOUS 19546 HAS SOUPS 19527 WITH SCORE 19569.319
AT ITER 361 NEW BEST:: SOT 66220 SOS 42241 HAS SOPS 42222 HAS SOUS 19491 HAS SOUPS 19472 WITH SCORE 19514.241
AT ITER 368 NEW BEST:: SOT 66208 SOS 42220 HAS SOPS 42201 HAS SOUS 19479 HAS SOUPS 19460 WITH SCORE 19502.22
AT ITER 384 NEW BEST:: SOT 66112 SOS 41932 HAS SOPS 41913 HAS SOUS 19375 HAS SOUPS 19356 WITH SCORE 19397.932
AT ITER 394 NEW BEST:: SOT 66052 SOS 41752 HAS SOPS 41733 HAS SOUS 19315 HAS SOUPS 19296 WITH SCORE 19337.752
AT ITER 395 NEW BEST:: SOT 65882 SOS 41286 HAS SOPS 41267 HAS SOUS 19034 HAS SOUPS 19015 WITH SCORE 19056.286
AT ITER 396 NEW BEST:: SOT 65872 SOS 41206 HAS SOPS 41187 HAS SOUS 19024 HAS SOUPS 19005 WITH SCORE 19046.206
AT ITER 399 NEW BEST:: SOT 65610 SOS 40734 HAS SOPS 40715 HAS SOUS 18962 HAS SOUPS 18943 WITH SCORE 18983.734
AT ITER 400 NEW BEST:: SOT 65675 SOS 40530 HAS SOPS 40511 HAS SOUS 18762 HAS SOUPS 18743 WITH SCORE 18783.53
AT ITER 402 NEW BEST:: SOT 66081 SOS 39840 HAS SOPS 39821 HAS SOUS 18654 HAS SOUPS 18635 WITH SCORE 18674.84
AT ITER 405 NEW BEST:: SOT 66288 SOS 39894 HAS SOPS 39875 HAS SOUS 18641 HAS SOUPS 18622 WITH SCORE 18661.894
AT ITER 413 NEW BEST:: SOT 66299 SOS 39927 HAS SOPS 39908 HAS SOUS 18630 HAS SOUPS 18611 WITH SCORE 18650.927
AT ITER 417 NEW BEST:: SOT 66230 SOS 39443 HAS SOPS 39391 HAS SOUS 18567 HAS SOUPS 18515 WITH SCORE 18554.443
AT ITER 419 NEW BEST:: SOT 66227 SOS 39440 HAS SOPS 39388 HAS SOUS 18567 HAS SOUPS 18515 WITH SCORE 18554.44
AT ITER 420 NEW BEST:: SOT 66211 SOS 39360 HAS SOPS 39308 HAS SOUS 18567 HAS SOUPS 18515 WITH SCORE 18554.36
AT ITER 425 NEW BEST:: SOT 66185 SOS 39352 HAS SOPS 39300 HAS SOUS 18521 HAS SOUPS 18469 WITH SCORE 18508.352
AT ITER 427 NEW BEST:: SOT 66170 SOS 39332 HAS SOPS 39280 HAS SOUS 18511 HAS SOUPS 18459 WITH SCORE 18498.332
AT ITER 439 NEW BEST:: SOT 66094 SOS 39200 HAS SOPS 39148 HAS SOUS 18400 HAS SOUPS 18348 WITH SCORE 18387.2
AT ITER 442 NEW BEST:: SOT 66083 SOS 39211 HAS SOPS 39159 HAS SOUS 18378 HAS SOUPS 18326 WITH SCORE 18365.211
AT ITER 447 NEW BEST:: SOT 66051 SOS 39729 HAS SOPS 39677 HAS SOUS 18375 HAS SOUPS 18323 WITH SCORE 18362.729
AT ITER 448 NEW BEST:: SOT 66076 SOS 39372 HAS SOPS 39301 HAS SOUS 18377 HAS SOUPS 18306 WITH SCORE 18345.372
AT ITER 450 NEW BEST:: SOT 66076 SOS 39340 HAS SOPS 39269 HAS SOUS 18377 HAS SOUPS 18306 WITH SCORE 18345.34
AT ITER 455 NEW BEST:: SOT 65974 SOS 39280 HAS SOPS 39209 HAS SOUS 18314 HAS SOUPS 18243 WITH SCORE 18282.28
AT ITER 460 NEW BEST:: SOT 66028 SOS 39188 HAS SOPS 39169 HAS SOUS 18225 HAS SOUPS 18206 WITH SCORE 18245.188
AT ITER 461 NEW BEST:: SOT 66002 SOS 39240 HAS SOPS 39221 HAS SOUS 18199 HAS SOUPS 18180 WITH SCORE 18219.24
AT ITER 464 NEW BEST:: SOT 65997 SOS 39220 HAS SOPS 39201 HAS SOUS 18189 HAS SOUPS 18170 WITH SCORE 18209.22
AT ITER 471 NEW BEST:: SOT 65973 SOS 39196 HAS SOPS 39177 HAS SOUS 18189 HAS SOUPS 18170 WITH SCORE 18209.196
AT ITER 479 NEW BEST:: SOT 65952 SOS 39175 HAS SOPS 39156 HAS SOUS 18147 HAS SOUPS 18128 WITH SCORE 18167.175
AT ITER 487 NEW BEST:: SOT 65843 SOS 39029 HAS SOPS 39010 HAS SOUS 18129 HAS SOUPS 18110 WITH SCORE 18149.029
AT ITER 494 NEW BEST:: SOT 65815 SOS 38827 HAS SOPS 38808 HAS SOUS 18119 HAS SOUPS 18100 WITH SCORE 18138.827
AT ITER 502 NEW BEST:: SOT 65815 SOS 38812 HAS SOPS 38793 HAS SOUS 18097 HAS SOUPS 18078 WITH SCORE 18116.812
AT ITER 505 NEW BEST:: SOT 65679 SOS 38598 HAS SOPS 38579 HAS SOUS 18030 HAS SOUPS 18011 WITH SCORE 18049.598
AT ITER 507 NEW BEST:: SOT 65581 SOS 38385 HAS SOPS 38366 HAS SOUS 17836 HAS SOUPS 17817 WITH SCORE 17855.385
AT ITER 514 NEW BEST:: SOT 65571 SOS 38375 HAS SOPS 38356 HAS SOUS 17767 HAS SOUPS 17748 WITH SCORE 17786.375
AT ITER 518 NEW BEST:: SOT 65504 SOS 38216 HAS SOPS 38197 HAS SOUS 17722 HAS SOUPS 17703 WITH SCORE 17741.216
AT ITER 520 NEW BEST:: SOT 65535 SOS 38130 HAS SOPS 38111 HAS SOUS 17668 HAS SOUPS 17649 WITH SCORE 17687.13
AT ITER 546 NEW BEST:: SOT 65523 SOS 38116 HAS SOPS 38097 HAS SOUS 17656 HAS SOUPS 17637 WITH SCORE 17675.116
AT ITER 549 NEW BEST:: SOT 65481 SOS 38043 HAS SOPS 38024 HAS SOUS 17537 HAS SOUPS 17518 WITH SCORE 17556.043
AT ITER 555 NEW BEST:: SOT 65410 SOS 37983 HAS SOPS 37964 HAS SOUS 17446 HAS SOUPS 17427 WITH SCORE 17464.983
AT ITER 556 NEW BEST:: SOT 65395 SOS 37962 HAS SOPS 37943 HAS SOUS 17431 HAS SOUPS 17412 WITH SCORE 17449.962
AT ITER 559 NEW BEST:: SOT 65376 SOS 37965 HAS SOPS 37946 HAS SOUS 17419 HAS SOUPS 17400 WITH SCORE 17437.965
AT ITER 560 NEW BEST:: SOT 65242 SOS 37770 HAS SOPS 37751 HAS SOUS 17406 HAS SOUPS 17387 WITH SCORE 17424.77
AT ITER 568 NEW BEST:: SOT 65348 SOS 37793 HAS SOPS 37774 HAS SOUS 17331 HAS SOUPS 17312 WITH SCORE 17349.793
AT ITER 572 NEW BEST:: SOT 65306 SOS 37503 HAS SOPS 37484 HAS SOUS 17168 HAS SOUPS 17149 WITH SCORE 17186.503
AT ITER 575 NEW BEST:: SOT 65285 SOS 37475 HAS SOPS 37456 HAS SOUS 17147 HAS SOUPS 17128 WITH SCORE 17165.475
AT ITER 576 NEW BEST:: SOT 65180 SOS 37185 HAS SOPS 37166 HAS SOUS 17001 HAS SOUPS 16982 WITH SCORE 17019.185
AT ITER 600 NEW BEST:: SOT 65016 SOS 37021 HAS SOPS 37002 HAS SOUS 16855 HAS SOUPS 16836 WITH SCORE 16873.021
AT ITER 609 NEW BEST:: SOT 65081 SOS 37048 HAS SOPS 37029 HAS SOUS 16793 HAS SOUPS 16774 WITH SCORE 16811.048
AT ITER 610 NEW BEST:: SOT 65047 SOS 36981 HAS SOPS 36962 HAS SOUS 16790 HAS SOUPS 16771 WITH SCORE 16807.981
AT ITER 617 NEW BEST:: SOT 65004 SOS 36922 HAS SOPS 36903 HAS SOUS 16715 HAS SOUPS 16696 WITH SCORE 16732.922
AT ITER 618 NEW BEST:: SOT 64995 SOS 36931 HAS SOPS 36912 HAS SOUS 16697 HAS SOUPS 16678 WITH SCORE 16714.931
AT ITER 627 NEW BEST:: SOT 64974 SOS 36909 HAS SOPS 36890 HAS SOUS 16673 HAS SOUPS 16654 WITH SCORE 16690.909
AT ITER 635 NEW BEST:: SOT 64955 SOS 36944 HAS SOPS 36925 HAS SOUS 16642 HAS SOUPS 16623 WITH SCORE 16659.944
AT ITER 638 NEW BEST:: SOT 64953 SOS 36942 HAS SOPS 36923 HAS SOUS 16640 HAS SOUPS 16621 WITH SCORE 16657.942
AT ITER 644 NEW BEST:: SOT 64949 SOS 36933 HAS SOPS 36912 HAS SOUS 16636 HAS SOUPS 16615 WITH SCORE 16651.933
AT ITER 646 NEW BEST:: SOT 64952 SOS 37076 HAS SOPS 37055 HAS SOUS 16526 HAS SOUPS 16505 WITH SCORE 16542.076
AT ITER 648 NEW BEST:: SOT 64980 SOS 37009 HAS SOPS 36988 HAS SOUS 16516 HAS SOUPS 16495 WITH SCORE 16532.009
AT ITER 658 NEW BEST:: SOT 64938 SOS 36967 HAS SOPS 36946 HAS SOUS 16516 HAS SOUPS 16495 WITH SCORE 16531.967
AT ITER 664 NEW BEST:: SOT 64898 SOS 36907 HAS SOPS 36886 HAS SOUS 16416 HAS SOUPS 16395 WITH SCORE 16431.907
AT ITER 670 NEW BEST:: SOT 64877 SOS 36876 HAS SOPS 36855 HAS SOUS 16394 HAS SOUPS 16373 WITH SCORE 16409.876
AT ITER 671 NEW BEST:: SOT 64920 SOS 36853 HAS SOPS 36832 HAS SOUS 16384 HAS SOUPS 16363 WITH SCORE 16399.853
AT ITER 679 NEW BEST:: SOT 64927 SOS 36618 HAS SOPS 36597 HAS SOUS 16381 HAS SOUPS 16360 WITH SCORE 16396.618
AT ITER 685 NEW BEST:: SOT 64740 SOS 36431 HAS SOPS 36410 HAS SOUS 16282 HAS SOUPS 16261 WITH SCORE 16297.431
AT ITER 692 NEW BEST:: SOT 64584 SOS 36261 HAS SOPS 36240 HAS SOUS 16207 HAS SOUPS 16186 WITH SCORE 16222.261
AT ITER 696 NEW BEST:: SOT 64536 SOS 36213 HAS SOPS 36192 HAS SOUS 16191 HAS SOUPS 16170 WITH SCORE 16206.213
AT ITER 718 NEW BEST:: SOT 64512 SOS 36181 HAS SOPS 36160 HAS SOUS 16143 HAS SOUPS 16122 WITH SCORE 16158.181
AT ITER 722 NEW BEST:: SOT 64505 SOS 36174 HAS SOPS 36153 HAS SOUS 16129 HAS SOUPS 16108 WITH SCORE 16144.174
AT ITER 729 NEW BEST:: SOT 64524 SOS 36186 HAS SOPS 36165 HAS SOUS 16111 HAS SOUPS 16090 WITH SCORE 16126.186
AT ITER 732 NEW BEST:: SOT 64476 SOS 36103 HAS SOPS 36082 HAS SOUS 16055 HAS SOUPS 16034 WITH SCORE 16070.103
AT ITER 734 NEW BEST:: SOT 64474 SOS 36097 HAS SOPS 36076 HAS SOUS 16051 HAS SOUPS 16030 WITH SCORE 16066.097
AT ITER 735 NEW BEST:: SOT 64440 SOS 36012 HAS SOPS 35991 HAS SOUS 16024 HAS SOUPS 16003 WITH SCORE 16039.012
AT ITER 738 NEW BEST:: SOT 64407 SOS 35981 HAS SOPS 35960 HAS SOUS 15958 HAS SOUPS 15937 WITH SCORE 15972.981
AT ITER 740 NEW BEST:: SOT 64346 SOS 35788 HAS SOPS 35767 HAS SOUS 15897 HAS SOUPS 15876 WITH SCORE 15911.788
AT ITER 741 NEW BEST:: SOT 64338 SOS 35776 HAS SOPS 35755 HAS SOUS 15897 HAS SOUPS 15876 WITH SCORE 15911.776
AT ITER 747 NEW BEST:: SOT 64315 SOS 35753 HAS SOPS 35732 HAS SOUS 15839 HAS SOUPS 15818 WITH SCORE 15853.753
AT ITER 748 NEW BEST:: SOT 64303 SOS 35741 HAS SOPS 35720 HAS SOUS 15827 HAS SOUPS 15806 WITH SCORE 15841.741
AT ITER 769 NEW BEST:: SOT 64293 SOS 35726 HAS SOPS 35705 HAS SOUS 15822 HAS SOUPS 15801 WITH SCORE 15836.726
AT ITER 774 NEW BEST:: SOT 64236 SOS 35629 HAS SOPS 35608 HAS SOUS 15725 HAS SOUPS 15704 WITH SCORE 15739.629
AT ITER 776 NEW BEST:: SOT 64203 SOS 35596 HAS SOPS 35575 HAS SOUS 15672 HAS SOUPS 15651 WITH SCORE 15686.596
AT ITER 778 NEW BEST:: SOT 64077 SOS 35799 HAS SOPS 35778 HAS SOUS 15594 HAS SOUPS 15573 WITH SCORE 15608.799
AT ITER 785 NEW BEST:: SOT 64154 SOS 35842 HAS SOPS 35821 HAS SOUS 15528 HAS SOUPS 15507 WITH SCORE 15542.842
AT ITER 793 NEW BEST:: SOT 64173 SOS 35838 HAS SOPS 35817 HAS SOUS 15484 HAS SOUPS 15463 WITH SCORE 15498.838
AT ITER 803 NEW BEST:: SOT 64197 SOS 35922 HAS SOPS 35901 HAS SOUS 15453 HAS SOUPS 15432 WITH SCORE 15467.922
AT ITER 823 NEW BEST:: SOT 64165 SOS 35762 HAS SOPS 35741 HAS SOUS 15357 HAS SOUPS 15336 WITH SCORE 15371.762
AT ITER 831 NEW BEST:: SOT 64143 SOS 35740 HAS SOPS 35719 HAS SOUS 15335 HAS SOUPS 15314 WITH SCORE 15349.74
AT ITER 851 NEW BEST:: SOT 64132 SOS 35741 HAS SOPS 35708 HAS SOUS 15303 HAS SOUPS 15270 WITH SCORE 15305.741
AT ITER 862 NEW BEST:: SOT 63725 SOS 35392 HAS SOPS 35359 HAS SOUS 15012 HAS SOUPS 14979 WITH SCORE 15014.392
AT ITER 872 NEW BEST:: SOT 63741 SOS 35381 HAS SOPS 35348 HAS SOUS 14998 HAS SOUPS 14965 WITH SCORE 15000.381
AT ITER 873 NEW BEST:: SOT 63694 SOS 35316 HAS SOPS 35283 HAS SOUS 14978 HAS SOUPS 14945 WITH SCORE 14980.316
AT ITER 878 NEW BEST:: SOT 63708 SOS 35330 HAS SOPS 35297 HAS SOUS 14964 HAS SOUPS 14931 WITH SCORE 14966.33
AT ITER 881 NEW BEST:: SOT 63679 SOS 35301 HAS SOPS 35268 HAS SOUS 14923 HAS SOUPS 14890 WITH SCORE 14925.301
AT ITER 887 NEW BEST:: SOT 63679 SOS 35294 HAS SOPS 35261 HAS SOUS 14923 HAS SOUPS 14890 WITH SCORE 14925.294
AT ITER 893 NEW BEST:: SOT 63674 SOS 35245 HAS SOPS 35212 HAS SOUS 14886 HAS SOUPS 14853 WITH SCORE 14888.245
AT ITER 912 NEW BEST:: SOT 63640 SOS 34762 HAS SOPS 34729 HAS SOUS 14656 HAS SOUPS 14623 WITH SCORE 14657.762
AT ITER 941 NEW BEST:: SOT 63680 SOS 34743 HAS SOPS 34710 HAS SOUS 14647 HAS SOUPS 14614 WITH SCORE 14648.743
AT ITER 943 NEW BEST:: SOT 63612 SOS 34606 HAS SOPS 34573 HAS SOUS 14543 HAS SOUPS 14510 WITH SCORE 14544.606
AT ITER 949 NEW BEST:: SOT 63552 SOS 34516 HAS SOPS 34483 HAS SOUS 14407 HAS SOUPS 14374 WITH SCORE 14408.516
AT ITER 950 NEW BEST:: SOT 63546 SOS 34506 HAS SOPS 34473 HAS SOUS 14399 HAS SOUPS 14366 WITH SCORE 14400.506
AT ITER 970 NEW BEST:: SOT 63450 SOS 34445 HAS SOPS 34412 HAS SOUS 14303 HAS SOUPS 14270 WITH SCORE 14304.445
AT ITER 985 NEW BEST:: SOT 63323 SOS 34373 HAS SOPS 34340 HAS SOUS 14294 HAS SOUPS 14261 WITH SCORE 14295.373
AT ITER 987 NEW BEST:: SOT 63261 SOS 34303 HAS SOPS 34270 HAS SOUS 14273 HAS SOUPS 14240 WITH SCORE 14274.303
AT ITER 995 NEW BEST:: SOT 63393 SOS 34305 HAS SOPS 34272 HAS SOUS 14247 HAS SOUPS 14214 WITH SCORE 14248.305
AT ITER 996 NEW BEST:: SOT 63302 SOS 34211 HAS SOPS 34178 HAS SOUS 14164 HAS SOUPS 14131 WITH SCORE 14165.211
AT ITER 1004 NEW BEST:: SOT 63297 SOS 34206 HAS SOPS 34173 HAS SOUS 14159 HAS SOUPS 14126 WITH SCORE 14160.206
AT ITER 1007 NEW BEST:: SOT 63297 SOS 34224 HAS SOPS 34191 HAS SOUS 14147 HAS SOUPS 14114 WITH SCORE 14148.224
AT ITER 1014 NEW BEST:: SOT 63256 SOS 34185 HAS SOPS 34152 HAS SOUS 14145 HAS SOUPS 14112 WITH SCORE 14146.185
AT ITER 1015 NEW BEST:: SOT 63290 SOS 34090 HAS SOPS 34057 HAS SOUS 14145 HAS SOUPS 14112 WITH SCORE 14146.09
AT ITER 1020 NEW BEST:: SOT 63138 SOS 33917 HAS SOPS 33884 HAS SOUS 14093 HAS SOUPS 14060 WITH SCORE 14093.917
AT ITER 1021 NEW BEST:: SOT 63179 SOS 33944 HAS SOPS 33911 HAS SOUS 14091 HAS SOUPS 14058 WITH SCORE 14091.944
AT ITER 1023 NEW BEST:: SOT 63170 SOS 33935 HAS SOPS 33902 HAS SOUS 14091 HAS SOUPS 14058 WITH SCORE 14091.935
AT ITER 1027 NEW BEST:: SOT 63178 SOS 33943 HAS SOPS 33910 HAS SOUS 14084 HAS SOUPS 14051 WITH SCORE 14084.943
AT ITER 1030 NEW BEST:: SOT 63227 SOS 33849 HAS SOPS 33816 HAS SOUS 14074 HAS SOUPS 14041 WITH SCORE 14074.849
AT ITER 1031 NEW BEST:: SOT 63203 SOS 33825 HAS SOPS 33792 HAS SOUS 14041 HAS SOUPS 14008 WITH SCORE 14041.825
AT ITER 1044 NEW BEST:: SOT 63127 SOS 33749 HAS SOPS 33716 HAS SOUS 14003 HAS SOUPS 13970 WITH SCORE 14003.749
AT ITER 1045 NEW BEST:: SOT 63092 SOS 33657 HAS SOPS 33624 HAS SOUS 13987 HAS SOUPS 13954 WITH SCORE 13987.657
AT ITER 1048 NEW BEST:: SOT 63121 SOS 33433 HAS SOPS 33400 HAS SOUS 13849 HAS SOUPS 13816 WITH SCORE 13849.433
AT ITER 1055 NEW BEST:: SOT 63114 SOS 33405 HAS SOPS 33372 HAS SOUS 13835 HAS SOUPS 13802 WITH SCORE 13835.405
AT ITER 1061 NEW BEST:: SOT 63009 SOS 33300 HAS SOPS 33267 HAS SOUS 13722 HAS SOUPS 13689 WITH SCORE 13722.3
AT ITER 1072 NEW BEST:: SOT 62920 SOS 33198 HAS SOPS 33165 HAS SOUS 13561 HAS SOUPS 13528 WITH SCORE 13561.198
AT ITER 1093 NEW BEST:: SOT 62911 SOS 33117 HAS SOPS 33084 HAS SOUS 13525 HAS SOUPS 13492 WITH SCORE 13525.117
AT ITER 1105 NEW BEST:: SOT 62911 SOS 33096 HAS SOPS 33063 HAS SOUS 13492 HAS SOUPS 13459 WITH SCORE 13492.096
AT ITER 1127 NEW BEST:: SOT 62883 SOS 33064 HAS SOPS 33031 HAS SOUS 13472 HAS SOUPS 13439 WITH SCORE 13472.064
AT ITER 1130 NEW BEST:: SOT 62872 SOS 33045 HAS SOPS 33012 HAS SOUS 13466 HAS SOUPS 13433 WITH SCORE 13466.045
AT ITER 1137 NEW BEST:: SOT 62605 SOS 32793 HAS SOPS 32760 HAS SOUS 13407 HAS SOUPS 13374 WITH SCORE 13406.793
AT ITER 1139 NEW BEST:: SOT 62531 SOS 32682 HAS SOPS 32649 HAS SOUS 13296 HAS SOUPS 13263 WITH SCORE 13295.682
AT ITER 1147 NEW BEST:: SOT 62502 SOS 32675 HAS SOPS 32642 HAS SOUS 13289 HAS SOUPS 13256 WITH SCORE 13288.675
AT ITER 1149 NEW BEST:: SOT 62502 SOS 32555 HAS SOPS 32522 HAS SOUS 13289 HAS SOUPS 13256 WITH SCORE 13288.555
AT ITER 1160 NEW BEST:: SOT 62569 SOS 32539 HAS SOPS 32525 HAS SOUS 13264 HAS SOUPS 13250 WITH SCORE 13282.539
AT ITER 1178 NEW BEST:: SOT 62569 SOS 32533 HAS SOPS 32519 HAS SOUS 13264 HAS SOUPS 13250 WITH SCORE 13282.533
AT ITER 1179 NEW BEST:: SOT 62506 SOS 32427 HAS SOPS 32413 HAS SOUS 13235 HAS SOUPS 13221 WITH SCORE 13253.427
AT ITER 1184 NEW BEST:: SOT 62486 SOS 32387 HAS SOPS 32373 HAS SOUS 13207 HAS SOUPS 13193 WITH SCORE 13225.387
AT ITER 1191 NEW BEST:: SOT 62455 SOS 32359 HAS SOPS 32345 HAS SOUS 13139 HAS SOUPS 13125 WITH SCORE 13157.359
AT ITER 1198 NEW BEST:: SOT 62377 SOS 32194 HAS SOPS 32180 HAS SOUS 13054 HAS SOUPS 13040 WITH SCORE 13072.194
AT ITER 1199 NEW BEST:: SOT 62363 SOS 32180 HAS SOPS 32166 HAS SOUS 13050 HAS SOUPS 13036 WITH SCORE 13068.18
AT ITER 1215 NEW BEST:: SOT 62228 SOS 32028 HAS SOPS 32014 HAS SOUS 13004 HAS SOUPS 12990 WITH SCORE 13022.028
AT ITER 1217 NEW BEST:: SOT 62228 SOS 32027 HAS SOPS 32013 HAS SOUS 13004 HAS SOUPS 12990 WITH SCORE 13022.027
AT ITER 1218 NEW BEST:: SOT 62187 SOS 32111 HAS SOPS 32097 HAS SOUS 12975 HAS SOUPS 12961 WITH SCORE 12993.111
AT ITER 1234 NEW BEST:: SOT 62180 SOS 32104 HAS SOPS 32090 HAS SOUS 12965 HAS SOUPS 12951 WITH SCORE 12983.104
AT ITER 1235 NEW BEST:: SOT 62177 SOS 32101 HAS SOPS 32087 HAS SOUS 12962 HAS SOUPS 12948 WITH SCORE 12980.101
AT ITER 1246 NEW BEST:: SOT 62177 SOS 32088 HAS SOPS 32074 HAS SOUS 12962 HAS SOUPS 12948 WITH SCORE 12980.088
AT ITER 1248 NEW BEST:: SOT 62171 SOS 32058 HAS SOPS 32041 HAS SOUS 12956 HAS SOUPS 12939 WITH SCORE 12971.058
AT ITER 1253 NEW BEST:: SOT 62198 SOS 32016 HAS SOPS 31999 HAS SOUS 12895 HAS SOUPS 12878 WITH SCORE 12910.016
AT ITER 1278 NEW BEST:: SOT 62032 SOS 31857 HAS SOPS 31840 HAS SOUS 12856 HAS SOUPS 12839 WITH SCORE 12870.857
AT ITER 1291 NEW BEST:: SOT 62115 SOS 31913 HAS SOPS 31896 HAS SOUS 12850 HAS SOUPS 12833 WITH SCORE 12864.913
AT ITER 1303 NEW BEST:: SOT 62079 SOS 31877 HAS SOPS 31860 HAS SOUS 12814 HAS SOUPS 12797 WITH SCORE 12828.877
AT ITER 1323 NEW BEST:: SOT 62055 SOS 31818 HAS SOPS 31801 HAS SOUS 12745 HAS SOUPS 12728 WITH SCORE 12759.818
AT ITER 1324 NEW BEST:: SOT 62018 SOS 31639 HAS SOPS 31601 HAS SOUS 12708 HAS SOUPS 12670 WITH SCORE 12701.639
AT ITER 1329 NEW BEST:: SOT 62023 SOS 31608 HAS SOPS 31570 HAS SOUS 12676 HAS SOUPS 12638 WITH SCORE 12669.608
AT ITER 1339 NEW BEST:: SOT 61999 SOS 31584 HAS SOPS 31546 HAS SOUS 12652 HAS SOUPS 12614 WITH SCORE 12645.584
AT ITER 1352 NEW BEST:: SOT 61964 SOS 31533 HAS SOPS 31495 HAS SOUS 12635 HAS SOUPS 12597 WITH SCORE 12628.533
AT ITER 1357 NEW BEST:: SOT 61960 SOS 31519 HAS SOPS 31481 HAS SOUS 12601 HAS SOUPS 12563 WITH SCORE 12594.519
AT ITER 1364 NEW BEST:: SOT 61939 SOS 31478 HAS SOPS 31440 HAS SOUS 12566 HAS SOUPS 12528 WITH SCORE 12559.478
AT ITER 1395 NEW BEST:: SOT 61931 SOS 31414 HAS SOPS 31376 HAS SOUS 12554 HAS SOUPS 12516 WITH SCORE 12547.414
AT ITER 1396 NEW BEST:: SOT 61881 SOS 30872 HAS SOPS 30834 HAS SOUS 12528 HAS SOUPS 12490 WITH SCORE 12520.872
AT ITER 1416 NEW BEST:: SOT 61882 SOS 30874 HAS SOPS 30836 HAS SOUS 12527 HAS SOUPS 12489 WITH SCORE 12519.874
AT ITER 1420 NEW BEST:: SOT 61867 SOS 30850 HAS SOPS 30812 HAS SOUS 12503 HAS SOUPS 12465 WITH SCORE 12495.85
AT ITER 1425 NEW BEST:: SOT 61866 SOS 30849 HAS SOPS 30811 HAS SOUS 12501 HAS SOUPS 12463 WITH SCORE 12493.849
AT ITER 1432 NEW BEST:: SOT 61863 SOS 30840 HAS SOPS 30802 HAS SOUS 12501 HAS SOUPS 12463 WITH SCORE 12493.84
AT ITER 1455 NEW BEST:: SOT 61857 SOS 30834 HAS SOPS 30796 HAS SOUS 12495 HAS SOUPS 12457 WITH SCORE 12487.834
AT ITER 1487 NEW BEST:: SOT 61808 SOS 30733 HAS SOPS 30695 HAS SOUS 12466 HAS SOUPS 12428 WITH SCORE 12458.733
AT ITER 1497 NEW BEST:: SOT 61812 SOS 30729 HAS SOPS 30691 HAS SOUS 12462 HAS SOUPS 12424 WITH SCORE 12454.729
AT ITER 1523 NEW BEST:: SOT 61835 SOS 30725 HAS SOPS 30687 HAS SOUS 12452 HAS SOUPS 12414 WITH SCORE 12444.725
AT ITER 1543 NEW BEST:: SOT 61798 SOS 30694 HAS SOPS 30656 HAS SOUS 12447 HAS SOUPS 12409 WITH SCORE 12439.694
AT ITER 1546 NEW BEST:: SOT 61764 SOS 30621 HAS SOPS 30583 HAS SOUS 12431 HAS SOUPS 12393 WITH SCORE 12423.621
AT ITER 1548 NEW BEST:: SOT 61764 SOS 30643 HAS SOPS 30605 HAS SOUS 12425 HAS SOUPS 12387 WITH SCORE 12417.643
AT ITER 1553 NEW BEST:: SOT 61779 SOS 30640 HAS SOPS 30602 HAS SOUS 12422 HAS SOUPS 12384 WITH SCORE 12414.64
AT ITER 1556 NEW BEST:: SOT 61762 SOS 30607 HAS SOPS 30569 HAS SOUS 12410 HAS SOUPS 12372 WITH SCORE 12402.607
AT ITER 1561 NEW BEST:: SOT 61761 SOS 30604 HAS SOPS 30566 HAS SOUS 12409 HAS SOUPS 12371 WITH SCORE 12401.604
AT ITER 1568 NEW BEST:: SOT 61754 SOS 30593 HAS SOPS 30555 HAS SOUS 12393 HAS SOUPS 12355 WITH SCORE 12385.593
AT ITER 1572 NEW BEST:: SOT 61723 SOS 30530 HAS SOPS 30492 HAS SOUS 12326 HAS SOUPS 12288 WITH SCORE 12318.53
AT ITER 1577 NEW BEST:: SOT 61679 SOS 30486 HAS SOPS 30448 HAS SOUS 12282 HAS SOUPS 12244 WITH SCORE 12274.486
AT ITER 1619 NEW BEST:: SOT 61631 SOS 30390 HAS SOPS 30352 HAS SOUS 12272 HAS SOUPS 12234 WITH SCORE 12264.39
AT ITER 1626 NEW BEST:: SOT 61627 SOS 30381 HAS SOPS 30343 HAS SOUS 12259 HAS SOUPS 12221 WITH SCORE 12251.381
AT ITER 1643 NEW BEST:: SOT 61615 SOS 30293 HAS SOPS 30255 HAS SOUS 12209 HAS SOUPS 12171 WITH SCORE 12201.293
AT ITER 1644 NEW BEST:: SOT 61632 SOS 30350 HAS SOPS 30312 HAS SOUS 12206 HAS SOUPS 12168 WITH SCORE 12198.35
AT ITER 1654 NEW BEST:: SOT 61527 SOS 30252 HAS SOPS 30214 HAS SOUS 12129 HAS SOUPS 12091 WITH SCORE 12121.252
AT ITER 1692 NEW BEST:: SOT 61527 SOS 30246 HAS SOPS 30208 HAS SOUS 12125 HAS SOUPS 12087 WITH SCORE 12117.246
AT ITER 1708 NEW BEST:: SOT 61508 SOS 30245 HAS SOPS 30207 HAS SOUS 12107 HAS SOUPS 12069 WITH SCORE 12099.245
AT ITER 1729 NEW BEST:: SOT 61507 SOS 30227 HAS SOPS 30189 HAS SOUS 12082 HAS SOUPS 12044 WITH SCORE 12074.227
AT ITER 1791 NEW BEST:: SOT 61513 SOS 30243 HAS SOPS 30205 HAS SOUS 12074 HAS SOUPS 12036 WITH SCORE 12066.243
AT ITER 1795 NEW BEST:: SOT 61504 SOS 30215 HAS SOPS 30177 HAS SOUS 12069 HAS SOUPS 12031 WITH SCORE 12061.215
AT ITER 1797 NEW BEST:: SOT 61503 SOS 30214 HAS SOPS 30176 HAS SOUS 12068 HAS SOUPS 12030 WITH SCORE 12060.214
AT ITER 1800 NEW BEST:: SOT 61487 SOS 30198 HAS SOPS 30160 HAS SOUS 12052 HAS SOUPS 12014 WITH SCORE 12044.198
AT ITER 1804 NEW BEST:: SOT 61481 SOS 30192 HAS SOPS 30154 HAS SOUS 12049 HAS SOUPS 12011 WITH SCORE 12041.192
AT ITER 1806 NEW BEST:: SOT 61411 SOS 30108 HAS SOPS 30070 HAS SOUS 12010 HAS SOUPS 11972 WITH SCORE 12002.108
AT ITER 1832 NEW BEST:: SOT 61372 SOS 30072 HAS SOPS 30034 HAS SOUS 11984 HAS SOUPS 11946 WITH SCORE 11976.072
AT ITER 1834 NEW BEST:: SOT 61372 SOS 29970 HAS SOPS 29932 HAS SOUS 11981 HAS SOUPS 11943 WITH SCORE 11972.97
AT ITER 1841 NEW BEST:: SOT 61372 SOS 29892 HAS SOPS 29854 HAS SOUS 11968 HAS SOUPS 11930 WITH SCORE 11959.892
AT ITER 1846 NEW BEST:: SOT 61275 SOS 29847 HAS SOPS 29809 HAS SOUS 11921 HAS SOUPS 11883 WITH SCORE 11912.847
AT ITER 1853 NEW BEST:: SOT 61268 SOS 29826 HAS SOPS 29788 HAS SOUS 11900 HAS SOUPS 11862 WITH SCORE 11891.826
AT ITER 1885 NEW BEST:: SOT 61273 SOS 29811 HAS SOPS 29773 HAS SOUS 11874 HAS SOUPS 11836 WITH SCORE 11865.811
AT ITER 1903 NEW BEST:: SOT 61257 SOS 29761 HAS SOPS 29723 HAS SOUS 11817 HAS SOUPS 11779 WITH SCORE 11808.761
AT ITER 1906 NEW BEST:: SOT 61238 SOS 29748 HAS SOPS 29710 HAS SOUS 11808 HAS SOUPS 11770 WITH SCORE 11799.748
AT ITER 1913 NEW BEST:: SOT 61178 SOS 29608 HAS SOPS 29570 HAS SOUS 11728 HAS SOUPS 11690 WITH SCORE 11719.608
AT ITER 1922 NEW BEST:: SOT 61205 SOS 29631 HAS SOPS 29593 HAS SOUS 11674 HAS SOUPS 11636 WITH SCORE 11665.631
AT ITER 1925 NEW BEST:: SOT 61189 SOS 29583 HAS SOPS 29545 HAS SOUS 11642 HAS SOUPS 11604 WITH SCORE 11633.583
AT ITER 1953 NEW BEST:: SOT 60955 SOS 29553 HAS SOPS 29515 HAS SOUS 11573 HAS SOUPS 11535 WITH SCORE 11564.553
AT ITER 1962 NEW BEST:: SOT 60958 SOS 29552 HAS SOPS 29514 HAS SOUS 11571 HAS SOUPS 11533 WITH SCORE 11562.552
AT ITER 1963 NEW BEST:: SOT 60953 SOS 29547 HAS SOPS 29509 HAS SOUS 11566 HAS SOUPS 11528 WITH SCORE 11557.547
AT ITER 1965 NEW BEST:: SOT 60931 SOS 29533 HAS SOPS 29495 HAS SOUS 11535 HAS SOUPS 11497 WITH SCORE 11526.533
AT ITER 1968 NEW BEST:: SOT 60917 SOS 29503 HAS SOPS 29465 HAS SOUS 11508 HAS SOUPS 11470 WITH SCORE 11499.503
AT ITER 1974 NEW BEST:: SOT 60843 SOS 29567 HAS SOPS 29529 HAS SOUS 11503 HAS SOUPS 11465 WITH SCORE 11494.567
AT ITER 1986 NEW BEST:: SOT 60864 SOS 29569 HAS SOPS 29531 HAS SOUS 11491 HAS SOUPS 11453 WITH SCORE 11482.569
AT ITER 2007 NEW BEST:: SOT 60860 SOS 29556 HAS SOPS 29518 HAS SOUS 11487 HAS SOUPS 11449 WITH SCORE 11478.556
AT ITER 2019 NEW BEST:: SOT 60888 SOS 29576 HAS SOPS 29538 HAS SOUS 11471 HAS SOUPS 11433 WITH SCORE 11462.576
AT ITER 2032 NEW BEST:: SOT 60881 SOS 29562 HAS SOPS 29509 HAS SOUS 11472 HAS SOUPS 11419 WITH SCORE 11448.562
AT ITER 2043 NEW BEST:: SOT 60890 SOS 29557 HAS SOPS 29504 HAS SOUS 11464 HAS SOUPS 11411 WITH SCORE 11440.557
AT ITER 2067 NEW BEST:: SOT 60875 SOS 29542 HAS SOPS 29489 HAS SOUS 11449 HAS SOUPS 11396 WITH SCORE 11425.542
AT ITER 2076 NEW BEST:: SOT 60888 SOS 29467 HAS SOPS 29414 HAS SOUS 11449 HAS SOUPS 11396 WITH SCORE 11425.467
AT ITER 2078 NEW BEST:: SOT 60777 SOS 29403 HAS SOPS 29350 HAS SOUS 11420 HAS SOUPS 11367 WITH SCORE 11396.403
AT ITER 2103 NEW BEST:: SOT 60774 SOS 29400 HAS SOPS 29347 HAS SOUS 11414 HAS SOUPS 11361 WITH SCORE 11390.4
AT ITER 2113 NEW BEST:: SOT 60722 SOS 29244 HAS SOPS 29191 HAS SOUS 11391 HAS SOUPS 11338 WITH SCORE 11367.244
AT ITER 2126 NEW BEST:: SOT 60721 SOS 29240 HAS SOPS 29187 HAS SOUS 11390 HAS SOUPS 11337 WITH SCORE 11366.24
AT ITER 2140 NEW BEST:: SOT 60700 SOS 29219 HAS SOPS 29166 HAS SOUS 11390 HAS SOUPS 11337 WITH SCORE 11366.219
AT ITER 2146 NEW BEST:: SOT 60714 SOS 29139 HAS SOPS 29086 HAS SOUS 11388 HAS SOUPS 11335 WITH SCORE 11364.139
AT ITER 2154 NEW BEST:: SOT 60678 SOS 29103 HAS SOPS 29050 HAS SOUS 11334 HAS SOUPS 11281 WITH SCORE 11310.103
AT ITER 2160 NEW BEST:: SOT 60672 SOS 29097 HAS SOPS 29044 HAS SOUS 11328 HAS SOUPS 11275 WITH SCORE 11304.097
AT ITER 2162 NEW BEST:: SOT 60616 SOS 29048 HAS SOPS 28995 HAS SOUS 11309 HAS SOUPS 11256 WITH SCORE 11285.048
AT ITER 2176 NEW BEST:: SOT 60690 SOS 28978 HAS SOPS 28925 HAS SOUS 11306 HAS SOUPS 11253 WITH SCORE 11281.978
AT ITER 2179 NEW BEST:: SOT 60690 SOS 28962 HAS SOPS 28909 HAS SOUS 11306 HAS SOUPS 11253 WITH SCORE 11281.962
AT ITER 2189 NEW BEST:: SOT 60730 SOS 29002 HAS SOPS 28949 HAS SOUS 11286 HAS SOUPS 11233 WITH SCORE 11262.002
AT ITER 2206 NEW BEST:: SOT 60730 SOS 28942 HAS SOPS 28889 HAS SOUS 11286 HAS SOUPS 11233 WITH SCORE 11261.942
AT ITER 2268 NEW BEST:: SOT 60592 SOS 28864 HAS SOPS 28811 HAS SOUS 11264 HAS SOUPS 11211 WITH SCORE 11239.864
AT ITER 2274 NEW BEST:: SOT 60582 SOS 28883 HAS SOPS 28830 HAS SOUS 11261 HAS SOUPS 11208 WITH SCORE 11236.883
AT ITER 2278 NEW BEST:: SOT 60587 SOS 28905 HAS SOPS 28852 HAS SOUS 11260 HAS SOUPS 11207 WITH SCORE 11235.905
AT ITER 2281 NEW BEST:: SOT 60490 SOS 28788 HAS SOPS 28735 HAS SOUS 11227 HAS SOUPS 11174 WITH SCORE 11202.788
AT ITER 2284 NEW BEST:: SOT 60469 SOS 28732 HAS SOPS 28679 HAS SOUS 11185 HAS SOUPS 11132 WITH SCORE 11160.732
AT ITER 2289 NEW BEST:: SOT 60464 SOS 28722 HAS SOPS 28669 HAS SOUS 11180 HAS SOUPS 11127 WITH SCORE 11155.722
AT ITER 2325 NEW BEST:: SOT 60443 SOS 28686 HAS SOPS 28633 HAS SOUS 11153 HAS SOUPS 11100 WITH SCORE 11128.686
AT ITER 2335 NEW BEST:: SOT 60427 SOS 28668 HAS SOPS 28615 HAS SOUS 11152 HAS SOUPS 11099 WITH SCORE 11127.668
AT ITER 2343 NEW BEST:: SOT 60422 SOS 28648 HAS SOPS 28595 HAS SOUS 11149 HAS SOUPS 11096 WITH SCORE 11124.648
AT ITER 2345 NEW BEST:: SOT 60408 SOS 28461 HAS SOPS 28408 HAS SOUS 11131 HAS SOUPS 11078 WITH SCORE 11106.461
AT ITER 2346 NEW BEST:: SOT 60396 SOS 28449 HAS SOPS 28396 HAS SOUS 11116 HAS SOUPS 11063 WITH SCORE 11091.449
AT ITER 2353 NEW BEST:: SOT 60395 SOS 28444 HAS SOPS 28391 HAS SOUS 11113 HAS SOUPS 11060 WITH SCORE 11088.444
AT ITER 2372 NEW BEST:: SOT 60379 SOS 28418 HAS SOPS 28365 HAS SOUS 11097 HAS SOUPS 11044 WITH SCORE 11072.418
AT ITER 2390 NEW BEST:: SOT 60376 SOS 28412 HAS SOPS 28359 HAS SOUS 11094 HAS SOUPS 11041 WITH SCORE 11069.412
AT ITER 2417 NEW BEST:: SOT 60362 SOS 28363 HAS SOPS 28310 HAS SOUS 11092 HAS SOUPS 11039 WITH SCORE 11067.363
AT ITER 2420 NEW BEST:: SOT 60359 SOS 28369 HAS SOPS 28316 HAS SOUS 11083 HAS SOUPS 11030 WITH SCORE 11058.369
AT ITER 2428 NEW BEST:: SOT 60376 SOS 28388 HAS SOPS 28335 HAS SOUS 11080 HAS SOUPS 11027 WITH SCORE 11055.388
AT ITER 2435 NEW BEST:: SOT 60308 SOS 28374 HAS SOPS 28321 HAS SOUS 11078 HAS SOUPS 11025 WITH SCORE 11053.374
AT ITER 2458 NEW BEST:: SOT 60278 SOS 28338 HAS SOPS 28285 HAS SOUS 11060 HAS SOUPS 11007 WITH SCORE 11035.338
AT ITER 2480 NEW BEST:: SOT 60278 SOS 28324 HAS SOPS 28271 HAS SOUS 10999 HAS SOUPS 10946 WITH SCORE 10974.324
AT ITER 2489 NEW BEST:: SOT 60237 SOS 28307 HAS SOPS 28254 HAS SOUS 10849 HAS SOUPS 10796 WITH SCORE 10824.307
AT ITER 2492 NEW BEST:: SOT 60023 SOS 27924 HAS SOPS 27871 HAS SOUS 10749 HAS SOUPS 10696 WITH SCORE 10723.924
AT ITER 2510 NEW BEST:: SOT 60011 SOS 27900 HAS SOPS 27847 HAS SOUS 10739 HAS SOUPS 10686 WITH SCORE 10713.9
AT ITER 2525 NEW BEST:: SOT 59953 SOS 27794 HAS SOPS 27741 HAS SOUS 10708 HAS SOUPS 10655 WITH SCORE 10682.794
AT ITER 2532 NEW BEST:: SOT 59952 SOS 27790 HAS SOPS 27737 HAS SOUS 10706 HAS SOUPS 10653 WITH SCORE 10680.79
AT ITER 2536 NEW BEST:: SOT 59951 SOS 27783 HAS SOPS 27730 HAS SOUS 10704 HAS SOUPS 10651 WITH SCORE 10678.783
AT ITER 2537 NEW BEST:: SOT 59941 SOS 27742 HAS SOPS 27689 HAS SOUS 10700 HAS SOUPS 10647 WITH SCORE 10674.742
AT ITER 2544 NEW BEST:: SOT 59917 SOS 27701 HAS SOPS 27648 HAS SOUS 10652 HAS SOUPS 10599 WITH SCORE 10626.701
AT ITER 2575 NEW BEST:: SOT 59910 SOS 27682 HAS SOPS 27629 HAS SOUS 10643 HAS SOUPS 10590 WITH SCORE 10617.682
AT ITER 2586 NEW BEST:: SOT 59888 SOS 27597 HAS SOPS 27544 HAS SOUS 10632 HAS SOUPS 10579 WITH SCORE 10606.597
AT ITER 2610 NEW BEST:: SOT 59852 SOS 27574 HAS SOPS 27521 HAS SOUS 10616 HAS SOUPS 10563 WITH SCORE 10590.574
AT ITER 2619 NEW BEST:: SOT 59873 SOS 27539 HAS SOPS 27486 HAS SOUS 10607 HAS SOUPS 10554 WITH SCORE 10581.539
AT ITER 2665 NEW BEST:: SOT 59834 SOS 27500 HAS SOPS 27447 HAS SOUS 10588 HAS SOUPS 10535 WITH SCORE 10562.5
AT ITER 2678 NEW BEST:: SOT 59832 SOS 27494 HAS SOPS 27441 HAS SOUS 10582 HAS SOUPS 10529 WITH SCORE 10556.494
AT ITER 2709 NEW BEST:: SOT 59843 SOS 27310 HAS SOPS 27257 HAS SOUS 10569 HAS SOUPS 10516 WITH SCORE 10543.31
AT ITER 2711 NEW BEST:: SOT 59843 SOS 27294 HAS SOPS 27241 HAS SOUS 10569 HAS SOUPS 10516 WITH SCORE 10543.294
AT ITER 2723 NEW BEST:: SOT 59849 SOS 27190 HAS SOPS 27137 HAS SOUS 10562 HAS SOUPS 10509 WITH SCORE 10536.19
AT ITER 2760 NEW BEST:: SOT 59850 SOS 27184 HAS SOPS 27131 HAS SOUS 10553 HAS SOUPS 10500 WITH SCORE 10527.184
AT ITER 2783 NEW BEST:: SOT 59850 SOS 27181 HAS SOPS 27128 HAS SOUS 10553 HAS SOUPS 10500 WITH SCORE 10527.181
AT ITER 2791 NEW BEST:: SOT 59852 SOS 27182 HAS SOPS 27129 HAS SOUS 10550 HAS SOUPS 10497 WITH SCORE 10524.182
AT ITER 2802 NEW BEST:: SOT 59855 SOS 27180 HAS SOPS 27127 HAS SOUS 10539 HAS SOUPS 10486 WITH SCORE 10513.18
AT ITER 2806 NEW BEST:: SOT 59809 SOS 27134 HAS SOPS 27075 HAS SOUS 10545 HAS SOUPS 10486 WITH SCORE 10513.134
AT ITER 2873 NEW BEST:: SOT 59808 SOS 27132 HAS SOPS 27073 HAS SOUS 10544 HAS SOUPS 10485 WITH SCORE 10512.132
AT ITER 2875 NEW BEST:: SOT 59804 SOS 27132 HAS SOPS 27073 HAS SOUS 10540 HAS SOUPS 10481 WITH SCORE 10508.132
AT ITER 2878 NEW BEST:: SOT 59800 SOS 27128 HAS SOPS 27069 HAS SOUS 10532 HAS SOUPS 10473 WITH SCORE 10500.128
AT ITER 2880 NEW BEST:: SOT 59800 SOS 27114 HAS SOPS 27055 HAS SOUS 10532 HAS SOUPS 10473 WITH SCORE 10500.114
AT ITER 2891 NEW BEST:: SOT 59784 SOS 27098 HAS SOPS 27039 HAS SOUS 10524 HAS SOUPS 10465 WITH SCORE 10492.098
AT ITER 3001 NEW BEST:: SOT 59913 SOS 27119 HAS SOPS 27060 HAS SOUS 10462 HAS SOUPS 10403 WITH SCORE 10430.119
AT ITER 3007 NEW BEST:: SOT 59897 SOS 27087 HAS SOPS 27028 HAS SOUS 10455 HAS SOUPS 10396 WITH SCORE 10423.087
AT ITER 3027 NEW BEST:: SOT 59948 SOS 27046 HAS SOPS 26987 HAS SOUS 10438 HAS SOUPS 10379 WITH SCORE 10406.046
AT ITER 3029 NEW BEST:: SOT 59965 SOS 27060 HAS SOPS 27001 HAS SOUS 10433 HAS SOUPS 10374 WITH SCORE 10401.06
AT ITER 3038 NEW BEST:: SOT 59961 SOS 27056 HAS SOPS 26997 HAS SOUS 10429 HAS SOUPS 10370 WITH SCORE 10397.056
AT ITER 3039 NEW BEST:: SOT 59921 SOS 27011 HAS SOPS 26952 HAS SOUS 10404 HAS SOUPS 10345 WITH SCORE 10372.011
AT ITER 3047 NEW BEST:: SOT 59867 SOS 26930 HAS SOPS 26871 HAS SOUS 10323 HAS SOUPS 10264 WITH SCORE 10290.93
AT ITER 3064 NEW BEST:: SOT 59863 SOS 26926 HAS SOPS 26867 HAS SOUS 10315 HAS SOUPS 10256 WITH SCORE 10282.926
AT ITER 3069 NEW BEST:: SOT 59847 SOS 26800 HAS SOPS 26741 HAS SOUS 10292 HAS SOUPS 10233 WITH SCORE 10259.8
AT ITER 3081 NEW BEST:: SOT 59830 SOS 26783 HAS SOPS 26724 HAS SOUS 10286 HAS SOUPS 10227 WITH SCORE 10253.783
AT ITER 3112 NEW BEST:: SOT 59828 SOS 26781 HAS SOPS 26722 HAS SOUS 10278 HAS SOUPS 10219 WITH SCORE 10245.781
AT ITER 3127 NEW BEST:: SOT 59828 SOS 26773 HAS SOPS 26714 HAS SOUS 10276 HAS SOUPS 10217 WITH SCORE 10243.773
AT ITER 3142 NEW BEST:: SOT 59828 SOS 26710 HAS SOPS 26651 HAS SOUS 10276 HAS SOUPS 10217 WITH SCORE 10243.71
AT ITER 3151 NEW BEST:: SOT 59837 SOS 26692 HAS SOPS 26633 HAS SOUS 10245 HAS SOUPS 10186 WITH SCORE 10212.692
AT ITER 3153 NEW BEST:: SOT 59834 SOS 26677 HAS SOPS 26618 HAS SOUS 10237 HAS SOUPS 10178 WITH SCORE 10204.677
AT ITER 3178 NEW BEST:: SOT 59832 SOS 26667 HAS SOPS 26608 HAS SOUS 10233 HAS SOUPS 10174 WITH SCORE 10200.667
AT ITER 3183 NEW BEST:: SOT 59894 SOS 26756 HAS SOPS 26697 HAS SOUS 10226 HAS SOUPS 10167 WITH SCORE 10193.756
AT ITER 3190 NEW BEST:: SOT 59896 SOS 26760 HAS SOPS 26701 HAS SOUS 10219 HAS SOUPS 10160 WITH SCORE 10186.76
AT ITER 3216 NEW BEST:: SOT 59887 SOS 26748 HAS SOPS 26689 HAS SOUS 10207 HAS SOUPS 10148 WITH SCORE 10174.748
AT ITER 3218 NEW BEST:: SOT 59863 SOS 26706 HAS SOPS 26647 HAS SOUS 10189 HAS SOUPS 10130 WITH SCORE 10156.706
AT ITER 3225 NEW BEST:: SOT 59862 SOS 26708 HAS SOPS 26649 HAS SOUS 10161 HAS SOUPS 10102 WITH SCORE 10128.708
AT ITER 3232 NEW BEST:: SOT 59844 SOS 26683 HAS SOPS 26624 HAS SOUS 10143 HAS SOUPS 10084 WITH SCORE 10110.683
AT ITER 3235 NEW BEST:: SOT 59880 SOS 26708 HAS SOPS 26649 HAS SOUS 10130 HAS SOUPS 10071 WITH SCORE 10097.708
AT ITER 3275 NEW BEST:: SOT 59946 SOS 26769 HAS SOPS 26710 HAS SOUS 10124 HAS SOUPS 10065 WITH SCORE 10091.769
AT ITER 3284 NEW BEST:: SOT 59938 SOS 26757 HAS SOPS 26698 HAS SOUS 10108 HAS SOUPS 10049 WITH SCORE 10075.757
AT ITER 3311 NEW BEST:: SOT 59918 SOS 26738 HAS SOPS 26679 HAS SOUS 10087 HAS SOUPS 10028 WITH SCORE 10054.738
AT ITER 3326 NEW BEST:: SOT 59894 SOS 26734 HAS SOPS 26675 HAS SOUS 10075 HAS SOUPS 10016 WITH SCORE 10042.734
AT ITER 3353 NEW BEST:: SOT 59888 SOS 26894 HAS SOPS 26835 HAS SOUS 10072 HAS SOUPS 10013 WITH SCORE 10039.894
AT ITER 3397 NEW BEST:: SOT 59827 SOS 27000 HAS SOPS 26947 HAS SOUS 10017 HAS SOUPS 9964 WITH SCORE 9991.0
AT ITER 3401 NEW BEST:: SOT 59809 SOS 26976 HAS SOPS 26923 HAS SOUS 9999 HAS SOUPS 9946 WITH SCORE 9972.976
AT ITER 3479 NEW BEST:: SOT 59638 SOS 26832 HAS SOPS 26779 HAS SOUS 9934 HAS SOUPS 9881 WITH SCORE 9907.832
AT ITER 3483 NEW BEST:: SOT 59630 SOS 26869 HAS SOPS 26816 HAS SOUS 9933 HAS SOUPS 9880 WITH SCORE 9906.869
AT ITER 3508 NEW BEST:: SOT 59630 SOS 26868 HAS SOPS 26815 HAS SOUS 9933 HAS SOUPS 9880 WITH SCORE 9906.868
AT ITER 3606 NEW BEST:: SOT 59605 SOS 26837 HAS SOPS 26784 HAS SOUS 9909 HAS SOUPS 9856 WITH SCORE 9882.837
AT ITER 3607 NEW BEST:: SOT 59600 SOS 26795 HAS SOPS 26742 HAS SOUS 9904 HAS SOUPS 9851 WITH SCORE 9877.795
AT ITER 3615 NEW BEST:: SOT 59598 SOS 26817 HAS SOPS 26764 HAS SOUS 9902 HAS SOUPS 9849 WITH SCORE 9875.817
AT ITER 3643 NEW BEST:: SOT 59495 SOS 27355 HAS SOPS 27302 HAS SOUS 9895 HAS SOUPS 9842 WITH SCORE 9869.355
AT ITER 3655 NEW BEST:: SOT 59493 SOS 27353 HAS SOPS 27300 HAS SOUS 9895 HAS SOUPS 9842 WITH SCORE 9869.353
AT ITER 3668 NEW BEST:: SOT 59493 SOS 27362 HAS SOPS 27309 HAS SOUS 9889 HAS SOUPS 9836 WITH SCORE 9863.362
AT ITER 3674 NEW BEST:: SOT 59507 SOS 27383 HAS SOPS 27330 HAS SOUS 9882 HAS SOUPS 9829 WITH SCORE 9856.383
AT ITER 3691 NEW BEST:: SOT 59486 SOS 27333 HAS SOPS 27280 HAS SOUS 9862 HAS SOUPS 9809 WITH SCORE 9836.333
AT ITER 3732 NEW BEST:: SOT 59278 SOS 27176 HAS SOPS 27123 HAS SOUS 9849 HAS SOUPS 9796 WITH SCORE 9823.176
AT ITER 3736 NEW BEST:: SOT 59228 SOS 27140 HAS SOPS 27087 HAS SOUS 9789 HAS SOUPS 9736 WITH SCORE 9763.14
AT ITER 3773 NEW BEST:: SOT 59218 SOS 27105 HAS SOPS 27052 HAS SOUS 9779 HAS SOUPS 9726 WITH SCORE 9753.105
AT ITER 3787 NEW BEST:: SOT 59214 SOS 27101 HAS SOPS 27048 HAS SOUS 9766 HAS SOUPS 9713 WITH SCORE 9740.101
AT ITER 3797 NEW BEST:: SOT 59132 SOS 27025 HAS SOPS 26972 HAS SOUS 9702 HAS SOUPS 9649 WITH SCORE 9676.025
AT ITER 3819 NEW BEST:: SOT 59114 SOS 27007 HAS SOPS 26954 HAS SOUS 9702 HAS SOUPS 9649 WITH SCORE 9676.007
AT ITER 3832 NEW BEST:: SOT 59107 SOS 27007 HAS SOPS 26954 HAS SOUS 9688 HAS SOUPS 9635 WITH SCORE 9662.007
AT ITER 3848 NEW BEST:: SOT 59105 SOS 27005 HAS SOPS 26952 HAS SOUS 9686 HAS SOUPS 9633 WITH SCORE 9660.005
AT ITER 3853 NEW BEST:: SOT 59097 SOS 26997 HAS SOPS 26944 HAS SOUS 9677 HAS SOUPS 9624 WITH SCORE 9650.997
AT ITER 3856 NEW BEST:: SOT 59080 SOS 26860 HAS SOPS 26807 HAS SOUS 9666 HAS SOUPS 9613 WITH SCORE 9639.86
AT ITER 3873 NEW BEST:: SOT 59077 SOS 26851 HAS SOPS 26798 HAS SOUS 9663 HAS SOUPS 9610 WITH SCORE 9636.851
AT ITER 3883 NEW BEST:: SOT 58842 SOS 26586 HAS SOPS 26533 HAS SOUS 9590 HAS SOUPS 9537 WITH SCORE 9563.586
AT ITER 3933 NEW BEST:: SOT 58743 SOS 26418 HAS SOPS 26365 HAS SOUS 9521 HAS SOUPS 9468 WITH SCORE 9494.418
AT ITER 3944 NEW BEST:: SOT 58728 SOS 26407 HAS SOPS 26354 HAS SOUS 9521 HAS SOUPS 9468 WITH SCORE 9494.407
AT ITER 3968 NEW BEST:: SOT 58732 SOS 26151 HAS SOPS 26098 HAS SOUS 9401 HAS SOUPS 9348 WITH SCORE 9374.151
AT ITER 3979 NEW BEST:: SOT 58730 SOS 26144 HAS SOPS 26091 HAS SOUS 9397 HAS SOUPS 9344 WITH SCORE 9370.144
AT ITER 3998 NEW BEST:: SOT 58714 SOS 26122 HAS SOPS 26069 HAS SOUS 9375 HAS SOUPS 9322 WITH SCORE 9348.122
AT ITER 4032 NEW BEST:: SOT 58700 SOS 26108 HAS SOPS 26055 HAS SOUS 9361 HAS SOUPS 9308 WITH SCORE 9334.108
AT ITER 4039 NEW BEST:: SOT 58700 SOS 26108 HAS SOPS 26055 HAS SOUS 9355 HAS SOUPS 9302 WITH SCORE 9328.108
AT ITER 4070 NEW BEST:: SOT 58715 SOS 26116 HAS SOPS 26063 HAS SOUS 9329 HAS SOUPS 9276 WITH SCORE 9302.116
AT ITER 4086 NEW BEST:: SOT 58711 SOS 26112 HAS SOPS 26059 HAS SOUS 9325 HAS SOUPS 9272 WITH SCORE 9298.112
AT ITER 4127 NEW BEST:: SOT 58711 SOS 26113 HAS SOPS 26060 HAS SOUS 9322 HAS SOUPS 9269 WITH SCORE 9295.113
AT ITER 4143 NEW BEST:: SOT 58708 SOS 26092 HAS SOPS 26039 HAS SOUS 9319 HAS SOUPS 9266 WITH SCORE 9292.092
AT ITER 4162 NEW BEST:: SOT 58719 SOS 26190 HAS SOPS 26137 HAS SOUS 9305 HAS SOUPS 9252 WITH SCORE 9278.19
AT ITER 4164 NEW BEST:: SOT 58716 SOS 26225 HAS SOPS 26172 HAS SOUS 9295 HAS SOUPS 9242 WITH SCORE 9268.225
AT ITER 4182 NEW BEST:: SOT 58716 SOS 26201 HAS SOPS 26148 HAS SOUS 9295 HAS SOUPS 9242 WITH SCORE 9268.201
AT ITER 4206 NEW BEST:: SOT 58715 SOS 26251 HAS SOPS 26198 HAS SOUS 9288 HAS SOUPS 9235 WITH SCORE 9261.251
AT ITER 4216 NEW BEST:: SOT 58697 SOS 26233 HAS SOPS 26180 HAS SOUS 9251 HAS SOUPS 9198 WITH SCORE 9224.233
AT ITER 4223 NEW BEST:: SOT 58671 SOS 26201 HAS SOPS 26148 HAS SOUS 9196 HAS SOUPS 9143 WITH SCORE 9169.201
AT ITER 4272 NEW BEST:: SOT 58693 SOS 26113 HAS SOPS 26060 HAS SOUS 9174 HAS SOUPS 9121 WITH SCORE 9147.113
AT ITER 4275 NEW BEST:: SOT 58692 SOS 26112 HAS SOPS 26059 HAS SOUS 9173 HAS SOUPS 9120 WITH SCORE 9146.112
AT ITER 4284 NEW BEST:: SOT 58691 SOS 26107 HAS SOPS 26054 HAS SOUS 9172 HAS SOUPS 9119 WITH SCORE 9145.107
AT ITER 4294 NEW BEST:: SOT 58679 SOS 26053 HAS SOPS 26000 HAS SOUS 9144 HAS SOUPS 9091 WITH SCORE 9117.053
AT ITER 4300 NEW BEST:: SOT 58677 SOS 26053 HAS SOPS 26000 HAS SOUS 9142 HAS SOUPS 9089 WITH SCORE 9115.053
AT ITER 4353 NEW BEST:: SOT 58675 SOS 26049 HAS SOPS 25996 HAS SOUS 9138 HAS SOUPS 9085 WITH SCORE 9111.049
AT ITER 4415 NEW BEST:: SOT 58678 SOS 26053 HAS SOPS 26000 HAS SOUS 9137 HAS SOUPS 9084 WITH SCORE 9110.053
AT ITER 4421 NEW BEST:: SOT 58670 SOS 26018 HAS SOPS 25965 HAS SOUS 9129 HAS SOUPS 9076 WITH SCORE 9102.018
AT ITER 4466 NEW BEST:: SOT 58661 SOS 26011 HAS SOPS 25958 HAS SOUS 9129 HAS SOUPS 9076 WITH SCORE 9102.011
AT ITER 4470 NEW BEST:: SOT 58661 SOS 25701 HAS SOPS 25648 HAS SOUS 9124 HAS SOUPS 9071 WITH SCORE 9096.701
AT ITER 4476 NEW BEST:: SOT 58658 SOS 25698 HAS SOPS 25645 HAS SOUS 9119 HAS SOUPS 9066 WITH SCORE 9091.698
AT ITER 4481 NEW BEST:: SOT 58648 SOS 25668 HAS SOPS 25615 HAS SOUS 9102 HAS SOUPS 9049 WITH SCORE 9074.668
AT ITER 4487 NEW BEST:: SOT 58648 SOS 25647 HAS SOPS 25594 HAS SOUS 9102 HAS SOUPS 9049 WITH SCORE 9074.647
AT ITER 4509 NEW BEST:: SOT 58645 SOS 25638 HAS SOPS 25585 HAS SOUS 9090 HAS SOUPS 9037 WITH SCORE 9062.638
AT ITER 4511 NEW BEST:: SOT 58642 SOS 25630 HAS SOPS 25577 HAS SOUS 9084 HAS SOUPS 9031 WITH SCORE 9056.63
AT ITER 4534 NEW BEST:: SOT 58629 SOS 25637 HAS SOPS 25584 HAS SOUS 9071 HAS SOUPS 9018 WITH SCORE 9043.637
AT ITER 4538 NEW BEST:: SOT 58620 SOS 25637 HAS SOPS 25584 HAS SOUS 9031 HAS SOUPS 8978 WITH SCORE 9003.637
AT ITER 4551 NEW BEST:: SOT 58615 SOS 25602 HAS SOPS 25549 HAS SOUS 9021 HAS SOUPS 8968 WITH SCORE 8993.602
AT ITER 4578 NEW BEST:: SOT 58622 SOS 25690 HAS SOPS 25637 HAS SOUS 9019 HAS SOUPS 8966 WITH SCORE 8991.69
AT ITER 4668 NEW BEST:: SOT 58627 SOS 25681 HAS SOPS 25628 HAS SOUS 9017 HAS SOUPS 8964 WITH SCORE 8989.681
AT ITER 4741 NEW BEST:: SOT 58625 SOS 25689 HAS SOPS 25636 HAS SOUS 9014 HAS SOUPS 8961 WITH SCORE 8986.689
AT ITER 4778 NEW BEST:: SOT 58656 SOS 25700 HAS SOPS 25647 HAS SOUS 8995 HAS SOUPS 8942 WITH SCORE 8967.7
AT ITER 4824 NEW BEST:: SOT 58496 SOS 25580 HAS SOPS 25527 HAS SOUS 8995 HAS SOUPS 8942 WITH SCORE 8967.58
AT ITER 4861 NEW BEST:: SOT 58489 SOS 25560 HAS SOPS 25507 HAS SOUS 8992 HAS SOUPS 8939 WITH SCORE 8964.56
AT ITER 4867 NEW BEST:: SOT 58475 SOS 25672 HAS SOPS 25619 HAS SOUS 8978 HAS SOUPS 8925 WITH SCORE 8950.672
AT ITER 4880 NEW BEST:: SOT 58447 SOS 25678 HAS SOPS 25625 HAS SOUS 8956 HAS SOUPS 8903 WITH SCORE 8928.678
AT ITER 4903 NEW BEST:: SOT 58409 SOS 25608 HAS SOPS 25555 HAS SOUS 8910 HAS SOUPS 8857 WITH SCORE 8882.608
AT ITER 4916 NEW BEST:: SOT 58410 SOS 25609 HAS SOPS 25556 HAS SOUS 8909 HAS SOUPS 8856 WITH SCORE 8881.609
AT ITER 4927 NEW BEST:: SOT 58409 SOS 25604 HAS SOPS 25551 HAS SOUS 8905 HAS SOUPS 8852 WITH SCORE 8877.604
AT ITER 4929 NEW BEST:: SOT 58431 SOS 25626 HAS SOPS 25573 HAS SOUS 8899 HAS SOUPS 8846 WITH SCORE 8871.626
AT ITER 4955 NEW BEST:: SOT 58431 SOS 25620 HAS SOPS 25567 HAS SOUS 8899 HAS SOUPS 8846 WITH SCORE 8871.62
AT ITER 4956 NEW BEST:: SOT 58315 SOS 25699 HAS SOPS 25646 HAS SOUS 8889 HAS SOUPS 8836 WITH SCORE 8861.699
AT ITER 4961 NEW BEST:: SOT 58316 SOS 25700 HAS SOPS 25647 HAS SOUS 8881 HAS SOUPS 8828 WITH SCORE 8853.7
AT ITER 4990 NEW BEST:: SOT 58316 SOS 25690 HAS SOPS 25637 HAS SOUS 8881 HAS SOUPS 8828 WITH SCORE 8853.69
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: MultiwaySync-PT-none-CTLCardinality-00 (AG( ( ( ( potential( (tk(P8)) <= (tk(P39)) ) & potential( (tk(P82)) <= (tk(P71)) ) ) | ( potential( (tk(P56)) <= (tk(P89)) ) | potential( ( 2 ) <= (tk(P63)) ) ) ) | (EX( potential( ( 1 ) <= (tk(P218)) ))) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-01 ( (AF(potential( ( 2 ) <= (tk(P135)) ))) & (! ( (EG( potential( ( 3 ) <= (tk(P218)) ))) & (AF(potential( (tk(P109)) <= (tk(P140)) ))) )) )
PROPERTY: MultiwaySync-PT-none-CTLCardinality-02 (AF((EX( (! potential( (tk(P164)) <= (tk(P108)) ))))))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-03 (AG( ( (AF(potential( (tk(P19)) <= (tk(P63)) ))) | ( potential( (tk(P197)) <= (tk(P128)) ) | potential( (tk(P114)) <= (tk(P12)) ) ) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-04 (AF(( (! ( potential( ( 1 ) <= (tk(P51)) ) | potential( (tk(P89)) <= (tk(P103)) ) )) & ( ( potential( (tk(P93)) <= (tk(P117)) ) & potential( (tk(P77)) <= (tk(P212)) ) ) & (! potential( ( 1 ) <= (tk(P183)) )) ) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-05 (! (EU( ( potential( (tk(P72)) <= (tk(P98)) ) | potential( (tk(P130)) <= (tk(P94)) ) ),(! potential( (tk(P12)) <= (tk(P79)) )) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-06 (EF(( (EX( potential( ( 2 ) <= (tk(P140)) ))) & ( (! potential( (tk(P168)) <= (tk(P215)) )) & ( potential( (tk(P102)) <= (tk(P164)) ) & potential( ( 3 ) <= (tk(P155)) ) ) ) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-07 (AG( (AF(( potential( (tk(P81)) <= (tk(P53)) ) | potential( ( 2 ) <= (tk(P220)) ) )))))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-08 (EG( (EU( potential( ( 2 ) <= (tk(P84)) ),potential( (tk(P65)) <= (tk(P117)) ) ))))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-09 (AG( ( ( ( potential( ( 1 ) <= (tk(P129)) ) | potential( ( 3 ) <= (tk(P167)) ) ) & (! potential( ( 2 ) <= (tk(P9)) )) ) | (AF(potential( ( 2 ) <= (tk(P152)) ))) )))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-10 (EG( (! (! ( potential( (tk(P67)) <= (tk(P70)) ) | potential( (tk(P184)) <= (tk(P51)) ) )))))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-11 (! (EF((EF(potential( ( 3 ) <= (tk(P60)) ))))))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-12 ( potential( (tk(P121)) <= (tk(P215)) ) & (EF(( potential( ( 3 ) <= (tk(P10)) ) & ( potential( ( 2 ) <= (tk(P59)) ) | potential( ( 2 ) <= (tk(P100)) ) ) ))) )
PROPERTY: MultiwaySync-PT-none-CTLCardinality-13 ( (EF((AG( potential( (tk(P49)) <= (tk(P125)) ))))) | potential( ( 2 ) <= (tk(P207)) ) )
PROPERTY: MultiwaySync-PT-none-CTLCardinality-14 (! ( (EG( ( potential( (tk(P94)) <= (tk(P212)) ) | potential( ( 1 ) <= (tk(P143)) ) ))) | (! ( ( potential( ( 1 ) <= (tk(P144)) ) | potential( ( 1 ) <= (tk(P128)) ) ) | (! potential( ( 3 ) <= (tk(P123)) )) )) ))
PROPERTY: MultiwaySync-PT-none-CTLCardinality-15 ( (EF(( ( potential( ( 3 ) <= (tk(P189)) ) | potential( ( 2 ) <= (tk(P66)) ) ) | ( potential( ( 1 ) <= (tk(P95)) ) | potential( ( 2 ) <= (tk(P4)) ) ) ))) | ( (AG( ( potential( ( 3 ) <= (tk(P7)) ) | potential( ( 3 ) <= (tk(P57)) ) ))) & potential( (tk(P214)) <= (tk(P78)) ) ) )

BK_STOP 1589640860330

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 456 Aborted ${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="MultiwaySync-PT-none"
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 MultiwaySync-PT-none, 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 r108-csrt-158961250000107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;