Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900707.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900707
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 4.0K Mar 31 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 31 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 97K 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 DiscoveryGPU-PT-13b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-13b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363909143

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13b
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: 380 places, 404 transitions, 1056 arcs.
AT ITER 0 NEW BEST:: SOT 107316 SOS 51583 HAS SOPS 51583 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.583
AT ITER 1 NEW BEST:: SOT 107171 SOS 51438 HAS SOPS 51438 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45466.438
AT ITER 3 NEW BEST:: SOT 107171 SOS 51284 HAS SOPS 51284 HAS SOUS 45406 HAS SOUPS 45406 WITH SCORE 45457.284
AT ITER 4 NEW BEST:: SOT 107188 SOS 51185 HAS SOPS 51185 HAS SOUS 45358 HAS SOUPS 45358 WITH SCORE 45409.185
AT ITER 5 NEW BEST:: SOT 107106 SOS 51021 HAS SOPS 51021 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45316.021
AT ITER 6 NEW BEST:: SOT 107077 SOS 50963 HAS SOPS 50963 HAS SOUS 45207 HAS SOUPS 45207 WITH SCORE 45257.963
AT ITER 9 NEW BEST:: SOT 107037 SOS 50883 HAS SOPS 50883 HAS SOUS 45127 HAS SOUPS 45127 WITH SCORE 45177.883
AT ITER 15 NEW BEST:: SOT 106235 SOS 50351 HAS SOPS 50351 HAS SOUS 44480 HAS SOUPS 44480 WITH SCORE 44530.351
AT ITER 16 NEW BEST:: SOT 106078 SOS 50102 HAS SOPS 50102 HAS SOUS 44246 HAS SOUPS 44246 WITH SCORE 44296.102
AT ITER 22 NEW BEST:: SOT 106046 SOS 49954 HAS SOPS 49954 HAS SOUS 44181 HAS SOUPS 44181 WITH SCORE 44230.954
AT ITER 28 NEW BEST:: SOT 106014 SOS 49914 HAS SOPS 49914 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44197.914
AT ITER 30 NEW BEST:: SOT 106013 SOS 49809 HAS SOPS 49809 HAS SOUS 44131 HAS SOUPS 44131 WITH SCORE 44180.809
AT ITER 36 NEW BEST:: SOT 105903 SOS 49699 HAS SOPS 49699 HAS SOUS 44021 HAS SOUPS 44021 WITH SCORE 44070.699
AT ITER 43 NEW BEST:: SOT 105894 SOS 49681 HAS SOPS 49681 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44062.681
AT ITER 46 NEW BEST:: SOT 105928 SOS 49637 HAS SOPS 49637 HAS SOUS 43969 HAS SOUPS 43969 WITH SCORE 44018.637
AT ITER 47 NEW BEST:: SOT 105831 SOS 49547 HAS SOPS 49547 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43925.547
AT ITER 49 NEW BEST:: SOT 105749 SOS 49416 HAS SOPS 49416 HAS SOUS 43755 HAS SOUPS 43755 WITH SCORE 43804.416
AT ITER 52 NEW BEST:: SOT 105481 SOS 49036 HAS SOPS 49036 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43402.036
AT ITER 55 NEW BEST:: SOT 105345 SOS 48664 HAS SOPS 48664 HAS SOUS 43081 HAS SOUPS 43081 WITH SCORE 43129.664
AT ITER 56 NEW BEST:: SOT 105337 SOS 48656 HAS SOPS 48656 HAS SOUS 43073 HAS SOUPS 43073 WITH SCORE 43121.656
AT ITER 61 NEW BEST:: SOT 105283 SOS 48594 HAS SOPS 48594 HAS SOUS 42924 HAS SOUPS 42924 WITH SCORE 42972.594
AT ITER 65 NEW BEST:: SOT 102517 SOS 45894 HAS SOPS 45894 HAS SOUS 40223 HAS SOUPS 40223 WITH SCORE 40268.894
AT ITER 68 NEW BEST:: SOT 102425 SOS 45801 HAS SOPS 45801 HAS SOUS 40131 HAS SOUPS 40131 WITH SCORE 40176.801
AT ITER 69 NEW BEST:: SOT 102424 SOS 45775 HAS SOPS 45775 HAS SOUS 40129 HAS SOUPS 40129 WITH SCORE 40174.775
AT ITER 70 NEW BEST:: SOT 102346 SOS 45607 HAS SOPS 45607 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40031.607
AT ITER 79 NEW BEST:: SOT 102404 SOS 45748 HAS SOPS 45748 HAS SOUS 39963 HAS SOUPS 39963 WITH SCORE 40008.748
AT ITER 80 NEW BEST:: SOT 102169 SOS 45690 HAS SOPS 45690 HAS SOUS 39855 HAS SOUPS 39855 WITH SCORE 39900.69
AT ITER 92 NEW BEST:: SOT 102165 SOS 45604 HAS SOPS 45604 HAS SOUS 39769 HAS SOUPS 39769 WITH SCORE 39814.604
AT ITER 98 NEW BEST:: SOT 102133 SOS 45572 HAS SOPS 45572 HAS SOUS 39736 HAS SOUPS 39736 WITH SCORE 39781.572
AT ITER 99 NEW BEST:: SOT 102001 SOS 45420 HAS SOPS 45420 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39657.42
AT ITER 101 NEW BEST:: SOT 101846 SOS 45266 HAS SOPS 45266 HAS SOUS 39436 HAS SOUPS 39436 WITH SCORE 39481.266
AT ITER 104 NEW BEST:: SOT 101851 SOS 45290 HAS SOPS 45290 HAS SOUS 39377 HAS SOUPS 39377 WITH SCORE 39422.29
AT ITER 105 NEW BEST:: SOT 101766 SOS 45291 HAS SOPS 45291 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39381.291
AT ITER 110 NEW BEST:: SOT 101766 SOS 45241 HAS SOPS 45241 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39380.241
AT ITER 111 NEW BEST:: SOT 101766 SOS 45155 HAS SOPS 45155 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39380.155
AT ITER 113 NEW BEST:: SOT 101817 SOS 45010 HAS SOPS 45010 HAS SOUS 39138 HAS SOUPS 39138 WITH SCORE 39183.01
AT ITER 114 NEW BEST:: SOT 101817 SOS 45003 HAS SOPS 45003 HAS SOUS 39138 HAS SOUPS 39138 WITH SCORE 39183.003
AT ITER 116 NEW BEST:: SOT 101704 SOS 44879 HAS SOPS 44879 HAS SOUS 39024 HAS SOUPS 39024 WITH SCORE 39068.879
AT ITER 118 NEW BEST:: SOT 101588 SOS 43348 HAS SOPS 43348 HAS SOUS 38850 HAS SOUPS 38850 WITH SCORE 38893.348
AT ITER 120 NEW BEST:: SOT 101575 SOS 43322 HAS SOPS 43322 HAS SOUS 38836 HAS SOUPS 38836 WITH SCORE 38879.322
AT ITER 127 NEW BEST:: SOT 101647 SOS 43498 HAS SOPS 43498 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38870.498
AT ITER 129 NEW BEST:: SOT 101553 SOS 43383 HAS SOPS 43383 HAS SOUS 38734 HAS SOUPS 38734 WITH SCORE 38777.383
AT ITER 131 NEW BEST:: SOT 101443 SOS 43272 HAS SOPS 43272 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38666.272
AT ITER 132 NEW BEST:: SOT 101424 SOS 43234 HAS SOPS 43234 HAS SOUS 38595 HAS SOUPS 38595 WITH SCORE 38638.234
AT ITER 134 NEW BEST:: SOT 101419 SOS 43224 HAS SOPS 43224 HAS SOUS 38595 HAS SOUPS 38595 WITH SCORE 38638.224
AT ITER 135 NEW BEST:: SOT 101419 SOS 43199 HAS SOPS 43199 HAS SOUS 38595 HAS SOUPS 38595 WITH SCORE 38638.199
AT ITER 139 NEW BEST:: SOT 101307 SOS 43042 HAS SOPS 43042 HAS SOUS 38483 HAS SOUPS 38483 WITH SCORE 38526.042
AT ITER 146 NEW BEST:: SOT 101298 SOS 42916 HAS SOPS 42916 HAS SOUS 38415 HAS SOUPS 38415 WITH SCORE 38457.916
AT ITER 148 NEW BEST:: SOT 101300 SOS 42879 HAS SOPS 42879 HAS SOUS 38414 HAS SOUPS 38414 WITH SCORE 38456.879
AT ITER 151 NEW BEST:: SOT 101150 SOS 42786 HAS SOPS 42786 HAS SOUS 38266 HAS SOUPS 38266 WITH SCORE 38308.786
AT ITER 155 NEW BEST:: SOT 101201 SOS 42807 HAS SOPS 42807 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38247.807
AT ITER 162 NEW BEST:: SOT 101178 SOS 42784 HAS SOPS 42784 HAS SOUS 38204 HAS SOUPS 38204 WITH SCORE 38246.784
AT ITER 170 NEW BEST:: SOT 101076 SOS 42617 HAS SOPS 42617 HAS SOUS 38101 HAS SOUPS 38101 WITH SCORE 38143.617
AT ITER 171 NEW BEST:: SOT 101015 SOS 42495 HAS SOPS 42495 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38021.495
AT ITER 174 NEW BEST:: SOT 100938 SOS 42383 HAS SOPS 42383 HAS SOUS 37919 HAS SOUPS 37919 WITH SCORE 37961.383
AT ITER 178 NEW BEST:: SOT 100938 SOS 42362 HAS SOPS 42362 HAS SOUS 37918 HAS SOUPS 37918 WITH SCORE 37960.362
AT ITER 187 NEW BEST:: SOT 100927 SOS 42340 HAS SOPS 42340 HAS SOUS 37905 HAS SOUPS 37905 WITH SCORE 37947.34
AT ITER 191 NEW BEST:: SOT 100914 SOS 42327 HAS SOPS 42327 HAS SOUS 37892 HAS SOUPS 37892 WITH SCORE 37934.327
AT ITER 196 NEW BEST:: SOT 100793 SOS 42177 HAS SOPS 42177 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37768.177
AT ITER 209 NEW BEST:: SOT 100722 SOS 42153 HAS SOPS 42153 HAS SOUS 37550 HAS SOUPS 37550 WITH SCORE 37592.153
AT ITER 210 NEW BEST:: SOT 100828 SOS 42186 HAS SOPS 42186 HAS SOUS 37507 HAS SOUPS 37507 WITH SCORE 37549.186
AT ITER 211 NEW BEST:: SOT 100820 SOS 42178 HAS SOPS 42178 HAS SOUS 37498 HAS SOUPS 37498 WITH SCORE 37540.178
AT ITER 218 NEW BEST:: SOT 100820 SOS 42149 HAS SOPS 42149 HAS SOUS 37469 HAS SOUPS 37469 WITH SCORE 37511.149
AT ITER 226 NEW BEST:: SOT 100781 SOS 42110 HAS SOPS 42110 HAS SOUS 37469 HAS SOUPS 37469 WITH SCORE 37511.11
AT ITER 234 NEW BEST:: SOT 100661 SOS 42134 HAS SOPS 42134 HAS SOUS 37411 HAS SOUPS 37411 WITH SCORE 37453.134
AT ITER 237 NEW BEST:: SOT 100560 SOS 42088 HAS SOPS 42088 HAS SOUS 37344 HAS SOUPS 37344 WITH SCORE 37386.088
AT ITER 249 NEW BEST:: SOT 100255 SOS 41668 HAS SOPS 41668 HAS SOUS 36887 HAS SOUPS 36887 WITH SCORE 36928.668
AT ITER 252 NEW BEST:: SOT 100272 SOS 41624 HAS SOPS 41624 HAS SOUS 36843 HAS SOUPS 36843 WITH SCORE 36884.624
AT ITER 258 NEW BEST:: SOT 100264 SOS 41600 HAS SOPS 41600 HAS SOUS 36827 HAS SOUPS 36827 WITH SCORE 36868.6
AT ITER 260 NEW BEST:: SOT 100123 SOS 41378 HAS SOPS 41378 HAS SOUS 36605 HAS SOUPS 36605 WITH SCORE 36646.378
AT ITER 273 NEW BEST:: SOT 100111 SOS 41321 HAS SOPS 41321 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36635.321
AT ITER 277 NEW BEST:: SOT 100085 SOS 41269 HAS SOPS 41269 HAS SOUS 36542 HAS SOUPS 36542 WITH SCORE 36583.269
AT ITER 281 NEW BEST:: SOT 100041 SOS 41050 HAS SOPS 41050 HAS SOUS 36323 HAS SOUPS 36323 WITH SCORE 36364.05
AT ITER 283 NEW BEST:: SOT 100041 SOS 41024 HAS SOPS 41024 HAS SOUS 36271 HAS SOUPS 36271 WITH SCORE 36312.024
AT ITER 288 NEW BEST:: SOT 100037 SOS 41020 HAS SOPS 41020 HAS SOUS 36263 HAS SOUPS 36263 WITH SCORE 36304.02
AT ITER 289 NEW BEST:: SOT 99975 SOS 40805 HAS SOPS 40805 HAS SOUS 36046 HAS SOUPS 36046 WITH SCORE 36086.805
AT ITER 290 NEW BEST:: SOT 99964 SOS 40588 HAS SOPS 40588 HAS SOUS 36034 HAS SOUPS 36034 WITH SCORE 36074.588
AT ITER 294 NEW BEST:: SOT 98971 SOS 39757 HAS SOPS 39757 HAS SOUS 35111 HAS SOUPS 35111 WITH SCORE 35150.757
AT ITER 304 NEW BEST:: SOT 98872 SOS 39580 HAS SOPS 39580 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 34973.58
AT ITER 305 NEW BEST:: SOT 98933 SOS 39609 HAS SOPS 39609 HAS SOUS 34875 HAS SOUPS 34875 WITH SCORE 34914.609
AT ITER 314 NEW BEST:: SOT 98884 SOS 39511 HAS SOPS 39511 HAS SOUS 34788 HAS SOUPS 34788 WITH SCORE 34827.511
AT ITER 315 NEW BEST:: SOT 98804 SOS 39351 HAS SOPS 39351 HAS SOUS 34628 HAS SOUPS 34628 WITH SCORE 34667.351
AT ITER 319 NEW BEST:: SOT 98825 SOS 39337 HAS SOPS 39337 HAS SOUS 34609 HAS SOUPS 34609 WITH SCORE 34648.337
AT ITER 326 NEW BEST:: SOT 98825 SOS 39282 HAS SOPS 39282 HAS SOUS 34554 HAS SOUPS 34554 WITH SCORE 34593.282
AT ITER 329 NEW BEST:: SOT 98814 SOS 39271 HAS SOPS 39271 HAS SOUS 34553 HAS SOUPS 34553 WITH SCORE 34592.271
AT ITER 333 NEW BEST:: SOT 98817 SOS 39256 HAS SOPS 39256 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34569.256
AT ITER 336 NEW BEST:: SOT 98807 SOS 39236 HAS SOPS 39236 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34549.236
AT ITER 339 NEW BEST:: SOT 98818 SOS 39137 HAS SOPS 39137 HAS SOUS 34410 HAS SOUPS 34410 WITH SCORE 34449.137
AT ITER 350 NEW BEST:: SOT 98767 SOS 38984 HAS SOPS 38984 HAS SOUS 34308 HAS SOUPS 34308 WITH SCORE 34346.984
AT ITER 357 NEW BEST:: SOT 98740 SOS 38379 HAS SOPS 38379 HAS SOUS 34290 HAS SOUPS 34290 WITH SCORE 34328.379
AT ITER 360 NEW BEST:: SOT 98736 SOS 38293 HAS SOPS 38293 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34233.293
AT ITER 364 NEW BEST:: SOT 98749 SOS 38219 HAS SOPS 38219 HAS SOUS 34112 HAS SOUPS 34112 WITH SCORE 34150.219
AT ITER 366 NEW BEST:: SOT 98763 SOS 38205 HAS SOPS 38205 HAS SOUS 34098 HAS SOUPS 34098 WITH SCORE 34136.205
AT ITER 370 NEW BEST:: SOT 98686 SOS 37990 HAS SOPS 37990 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33981.99
AT ITER 374 NEW BEST:: SOT 98785 SOS 38061 HAS SOPS 38061 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 33972.061
AT ITER 391 NEW BEST:: SOT 98741 SOS 38017 HAS SOPS 38017 HAS SOUS 33890 HAS SOUPS 33890 WITH SCORE 33928.017
AT ITER 396 NEW BEST:: SOT 98717 SOS 37957 HAS SOPS 37957 HAS SOUS 33842 HAS SOUPS 33842 WITH SCORE 33879.957
AT ITER 397 NEW BEST:: SOT 98683 SOS 37923 HAS SOPS 37923 HAS SOUS 33808 HAS SOUPS 33808 WITH SCORE 33845.923
AT ITER 402 NEW BEST:: SOT 98683 SOS 37915 HAS SOPS 37915 HAS SOUS 33806 HAS SOUPS 33806 WITH SCORE 33843.915
AT ITER 416 NEW BEST:: SOT 98675 SOS 37841 HAS SOPS 37841 HAS SOUS 33790 HAS SOUPS 33790 WITH SCORE 33827.841
AT ITER 419 NEW BEST:: SOT 98670 SOS 37831 HAS SOPS 37831 HAS SOUS 33780 HAS SOUPS 33780 WITH SCORE 33817.831
AT ITER 422 NEW BEST:: SOT 98494 SOS 37567 HAS SOPS 37567 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33570.567
AT ITER 423 NEW BEST:: SOT 98493 SOS 37565 HAS SOPS 37565 HAS SOUS 33533 HAS SOUPS 33533 WITH SCORE 33570.565
AT ITER 426 NEW BEST:: SOT 98487 SOS 37552 HAS SOPS 37552 HAS SOUS 33527 HAS SOUPS 33527 WITH SCORE 33564.552
AT ITER 429 NEW BEST:: SOT 98477 SOS 37488 HAS SOPS 37488 HAS SOUS 33463 HAS SOUPS 33463 WITH SCORE 33500.488
AT ITER 433 NEW BEST:: SOT 98497 SOS 37418 HAS SOPS 37418 HAS SOUS 33375 HAS SOUPS 33375 WITH SCORE 33412.418
AT ITER 437 NEW BEST:: SOT 98418 SOS 37351 HAS SOPS 37351 HAS SOUS 33365 HAS SOUPS 33365 WITH SCORE 33402.351
AT ITER 438 NEW BEST:: SOT 98417 SOS 37350 HAS SOPS 37350 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33400.35
AT ITER 443 NEW BEST:: SOT 98467 SOS 37389 HAS SOPS 37389 HAS SOUS 33352 HAS SOUPS 33352 WITH SCORE 33389.389
AT ITER 447 NEW BEST:: SOT 98460 SOS 37395 HAS SOPS 37395 HAS SOUS 33325 HAS SOUPS 33325 WITH SCORE 33362.395
AT ITER 449 NEW BEST:: SOT 98450 SOS 37365 HAS SOPS 37365 HAS SOUS 33305 HAS SOUPS 33305 WITH SCORE 33342.365
AT ITER 453 NEW BEST:: SOT 98449 SOS 37349 HAS SOPS 37349 HAS SOUS 33303 HAS SOUPS 33303 WITH SCORE 33340.349
AT ITER 464 NEW BEST:: SOT 98385 SOS 37221 HAS SOPS 37221 HAS SOUS 33175 HAS SOUPS 33175 WITH SCORE 33212.221
AT ITER 473 NEW BEST:: SOT 98358 SOS 37167 HAS SOPS 37167 HAS SOUS 33145 HAS SOUPS 33145 WITH SCORE 33182.167
AT ITER 486 NEW BEST:: SOT 98347 SOS 37092 HAS SOPS 37092 HAS SOUS 33115 HAS SOUPS 33115 WITH SCORE 33152.092
AT ITER 489 NEW BEST:: SOT 98354 SOS 37106 HAS SOPS 37106 HAS SOUS 33091 HAS SOUPS 33091 WITH SCORE 33128.106
AT ITER 495 NEW BEST:: SOT 98201 SOS 36775 HAS SOPS 36775 HAS SOUS 32748 HAS SOUPS 32748 WITH SCORE 32784.775
AT ITER 527 NEW BEST:: SOT 98200 SOS 36723 HAS SOPS 36723 HAS SOUS 32721 HAS SOUPS 32721 WITH SCORE 32757.723
AT ITER 529 NEW BEST:: SOT 98218 SOS 36654 HAS SOPS 36654 HAS SOUS 32652 HAS SOUPS 32652 WITH SCORE 32688.654
AT ITER 530 NEW BEST:: SOT 98196 SOS 36620 HAS SOPS 36620 HAS SOUS 32621 HAS SOUPS 32621 WITH SCORE 32657.62
AT ITER 549 NEW BEST:: SOT 98086 SOS 36429 HAS SOPS 36429 HAS SOUS 32406 HAS SOUPS 32406 WITH SCORE 32442.429
AT ITER 550 NEW BEST:: SOT 98085 SOS 36427 HAS SOPS 36427 HAS SOUS 32404 HAS SOUPS 32404 WITH SCORE 32440.427
AT ITER 553 NEW BEST:: SOT 98062 SOS 36369 HAS SOPS 36369 HAS SOUS 32386 HAS SOUPS 32386 WITH SCORE 32422.369
AT ITER 555 NEW BEST:: SOT 98057 SOS 36354 HAS SOPS 36354 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32415.354
AT ITER 572 NEW BEST:: SOT 98050 SOS 36340 HAS SOPS 36340 HAS SOUS 32365 HAS SOUPS 32365 WITH SCORE 32401.34
AT ITER 582 NEW BEST:: SOT 98094 SOS 36278 HAS SOPS 36278 HAS SOUS 32357 HAS SOUPS 32357 WITH SCORE 32393.278
AT ITER 587 NEW BEST:: SOT 98094 SOS 36242 HAS SOPS 36242 HAS SOUS 32321 HAS SOUPS 32321 WITH SCORE 32357.242
AT ITER 589 NEW BEST:: SOT 98057 SOS 36168 HAS SOPS 36168 HAS SOUS 32276 HAS SOUPS 32276 WITH SCORE 32312.168
AT ITER 597 NEW BEST:: SOT 97941 SOS 36047 HAS SOPS 36047 HAS SOUS 32160 HAS SOUPS 32160 WITH SCORE 32196.047
AT ITER 598 NEW BEST:: SOT 97936 SOS 36035 HAS SOPS 36035 HAS SOUS 32148 HAS SOUPS 32148 WITH SCORE 32184.035
AT ITER 611 NEW BEST:: SOT 97935 SOS 36034 HAS SOPS 36034 HAS SOUS 32147 HAS SOUPS 32147 WITH SCORE 32183.034
AT ITER 625 NEW BEST:: SOT 97915 SOS 35974 HAS SOPS 35974 HAS SOUS 32107 HAS SOUPS 32107 WITH SCORE 32142.974
AT ITER 632 NEW BEST:: SOT 97851 SOS 35777 HAS SOPS 35777 HAS SOUS 31975 HAS SOUPS 31975 WITH SCORE 32010.777
AT ITER 639 NEW BEST:: SOT 97827 SOS 35729 HAS SOPS 35729 HAS SOUS 31939 HAS SOUPS 31939 WITH SCORE 31974.729
AT ITER 643 NEW BEST:: SOT 97942 SOS 35727 HAS SOPS 35727 HAS SOUS 31937 HAS SOUPS 31937 WITH SCORE 31972.727
AT ITER 655 NEW BEST:: SOT 97938 SOS 35719 HAS SOPS 35719 HAS SOUS 31933 HAS SOUPS 31933 WITH SCORE 31968.719
AT ITER 657 NEW BEST:: SOT 97921 SOS 35445 HAS SOPS 35445 HAS SOUS 31933 HAS SOUPS 31933 WITH SCORE 31968.445
AT ITER 659 NEW BEST:: SOT 97888 SOS 35389 HAS SOPS 35389 HAS SOUS 31887 HAS SOUPS 31887 WITH SCORE 31922.389
AT ITER 672 NEW BEST:: SOT 97914 SOS 35179 HAS SOPS 35179 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31806.179
AT ITER 674 NEW BEST:: SOT 97946 SOS 34829 HAS SOPS 34829 HAS SOUS 31769 HAS SOUPS 31769 WITH SCORE 31803.829
AT ITER 679 NEW BEST:: SOT 97925 SOS 34769 HAS SOPS 34769 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31719.769
AT ITER 683 NEW BEST:: SOT 97886 SOS 34723 HAS SOPS 34723 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31673.723
AT ITER 699 NEW BEST:: SOT 97859 SOS 34670 HAS SOPS 34670 HAS SOUS 31539 HAS SOUPS 31539 WITH SCORE 31573.67
AT ITER 723 NEW BEST:: SOT 97851 SOS 34662 HAS SOPS 34662 HAS SOUS 31531 HAS SOUPS 31531 WITH SCORE 31565.662
AT ITER 735 NEW BEST:: SOT 97859 SOS 34669 HAS SOPS 34669 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31563.669
AT ITER 759 NEW BEST:: SOT 97856 SOS 34663 HAS SOPS 34663 HAS SOUS 31523 HAS SOUPS 31523 WITH SCORE 31557.663
AT ITER 772 NEW BEST:: SOT 97844 SOS 34620 HAS SOPS 34620 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31512.62
AT ITER 777 NEW BEST:: SOT 97777 SOS 34553 HAS SOPS 34553 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31445.553
AT ITER 781 NEW BEST:: SOT 97633 SOS 34409 HAS SOPS 34409 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31445.409
AT ITER 783 NEW BEST:: SOT 97646 SOS 34406 HAS SOPS 34406 HAS SOUS 31408 HAS SOUPS 31408 WITH SCORE 31442.406
AT ITER 789 NEW BEST:: SOT 97619 SOS 34352 HAS SOPS 34352 HAS SOUS 31406 HAS SOUPS 31406 WITH SCORE 31440.352
AT ITER 790 NEW BEST:: SOT 97540 SOS 34194 HAS SOPS 34194 HAS SOUS 31327 HAS SOUPS 31327 WITH SCORE 31361.194
AT ITER 793 NEW BEST:: SOT 97528 SOS 34176 HAS SOPS 34176 HAS SOUS 31309 HAS SOUPS 31309 WITH SCORE 31343.176
AT ITER 794 NEW BEST:: SOT 97491 SOS 34118 HAS SOPS 34118 HAS SOUS 31287 HAS SOUPS 31287 WITH SCORE 31321.118
AT ITER 800 NEW BEST:: SOT 97480 SOS 34114 HAS SOPS 34114 HAS SOUS 31280 HAS SOUPS 31280 WITH SCORE 31314.114
AT ITER 801 NEW BEST:: SOT 97478 SOS 34110 HAS SOPS 34110 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31298.11
AT ITER 802 NEW BEST:: SOT 97478 SOS 34084 HAS SOPS 34084 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31272.084
AT ITER 811 NEW BEST:: SOT 97441 SOS 34051 HAS SOPS 34051 HAS SOUS 31172 HAS SOUPS 31172 WITH SCORE 31206.051
AT ITER 829 NEW BEST:: SOT 97470 SOS 34064 HAS SOPS 34064 HAS SOUS 31148 HAS SOUPS 31148 WITH SCORE 31182.064
AT ITER 835 NEW BEST:: SOT 97481 SOS 34041 HAS SOPS 34041 HAS SOUS 31103 HAS SOUPS 31103 WITH SCORE 31137.041
AT ITER 838 NEW BEST:: SOT 97476 SOS 34036 HAS SOPS 34036 HAS SOUS 31093 HAS SOUPS 31093 WITH SCORE 31127.036
AT ITER 841 NEW BEST:: SOT 97474 SOS 34034 HAS SOPS 34034 HAS SOUS 31083 HAS SOUPS 31083 WITH SCORE 31117.034
AT ITER 845 NEW BEST:: SOT 97385 SOS 33975 HAS SOPS 33975 HAS SOUS 31024 HAS SOUPS 31024 WITH SCORE 31057.975
AT ITER 861 NEW BEST:: SOT 97328 SOS 33906 HAS SOPS 33906 HAS SOUS 30967 HAS SOUPS 30967 WITH SCORE 31000.906
AT ITER 862 NEW BEST:: SOT 97328 SOS 33871 HAS SOPS 33871 HAS SOUS 30967 HAS SOUPS 30967 WITH SCORE 31000.871
AT ITER 864 NEW BEST:: SOT 97209 SOS 33692 HAS SOPS 33692 HAS SOUS 30788 HAS SOUPS 30788 WITH SCORE 30821.692
AT ITER 872 NEW BEST:: SOT 97171 SOS 33616 HAS SOPS 33616 HAS SOUS 30724 HAS SOUPS 30724 WITH SCORE 30757.616
AT ITER 874 NEW BEST:: SOT 97054 SOS 33605 HAS SOPS 33605 HAS SOUS 30713 HAS SOUPS 30713 WITH SCORE 30746.605
AT ITER 885 NEW BEST:: SOT 97021 SOS 33567 HAS SOPS 33567 HAS SOUS 30675 HAS SOUPS 30675 WITH SCORE 30708.567
AT ITER 896 NEW BEST:: SOT 96966 SOS 33457 HAS SOPS 33457 HAS SOUS 30519 HAS SOUPS 30519 WITH SCORE 30552.457
AT ITER 901 NEW BEST:: SOT 96950 SOS 33425 HAS SOPS 33425 HAS SOUS 30487 HAS SOUPS 30487 WITH SCORE 30520.425
AT ITER 908 NEW BEST:: SOT 96945 SOS 33420 HAS SOPS 33420 HAS SOUS 30482 HAS SOUPS 30482 WITH SCORE 30515.42
AT ITER 912 NEW BEST:: SOT 96944 SOS 33417 HAS SOPS 33417 HAS SOUS 30481 HAS SOUPS 30481 WITH SCORE 30514.417
AT ITER 917 NEW BEST:: SOT 96897 SOS 33323 HAS SOPS 33323 HAS SOUS 30387 HAS SOUPS 30387 WITH SCORE 30420.323
AT ITER 936 NEW BEST:: SOT 96897 SOS 33366 HAS SOPS 33366 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30419.366
AT ITER 937 NEW BEST:: SOT 96883 SOS 33347 HAS SOPS 33347 HAS SOUS 30377 HAS SOUPS 30377 WITH SCORE 30410.347
AT ITER 949 NEW BEST:: SOT 96902 SOS 33366 HAS SOPS 33366 HAS SOUS 30371 HAS SOUPS 30371 WITH SCORE 30404.366
AT ITER 958 NEW BEST:: SOT 96778 SOS 32633 HAS SOPS 32633 HAS SOUS 30185 HAS SOUPS 30185 WITH SCORE 30217.633
AT ITER 970 NEW BEST:: SOT 96769 SOS 32615 HAS SOPS 32615 HAS SOUS 30176 HAS SOUPS 30176 WITH SCORE 30208.615
AT ITER 971 NEW BEST:: SOT 96769 SOS 32614 HAS SOPS 32614 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30207.614
AT ITER 977 NEW BEST:: SOT 96767 SOS 32612 HAS SOPS 32612 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30207.612
AT ITER 984 NEW BEST:: SOT 96766 SOS 32610 HAS SOPS 32610 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30206.61
AT ITER 993 NEW BEST:: SOT 96702 SOS 32546 HAS SOPS 32546 HAS SOUS 30110 HAS SOUPS 30110 WITH SCORE 30142.546
AT ITER 996 NEW BEST:: SOT 96710 SOS 32549 HAS SOPS 32549 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30126.549
AT ITER 1005 NEW BEST:: SOT 96710 SOS 32548 HAS SOPS 32548 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30126.548
AT ITER 1033 NEW BEST:: SOT 96709 SOS 32547 HAS SOPS 32547 HAS SOUS 30092 HAS SOUPS 30092 WITH SCORE 30124.547
AT ITER 1039 NEW BEST:: SOT 96677 SOS 32536 HAS SOPS 32536 HAS SOUS 30089 HAS SOUPS 30089 WITH SCORE 30121.536
AT ITER 1056 NEW BEST:: SOT 96674 SOS 32494 HAS SOPS 32494 HAS SOUS 30086 HAS SOUPS 30086 WITH SCORE 30118.494
AT ITER 1058 NEW BEST:: SOT 96657 SOS 32486 HAS SOPS 32486 HAS SOUS 30078 HAS SOUPS 30078 WITH SCORE 30110.486
AT ITER 1060 NEW BEST:: SOT 96590 SOS 32391 HAS SOPS 32391 HAS SOUS 29970 HAS SOUPS 29970 WITH SCORE 30002.391
AT ITER 1061 NEW BEST:: SOT 96578 SOS 32344 HAS SOPS 32344 HAS SOUS 29946 HAS SOUPS 29946 WITH SCORE 29978.344
AT ITER 1088 NEW BEST:: SOT 96515 SOS 32265 HAS SOPS 32265 HAS SOUS 29840 HAS SOUPS 29840 WITH SCORE 29872.265
AT ITER 1105 NEW BEST:: SOT 96501 SOS 32208 HAS SOPS 32208 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29833.208
AT ITER 1114 NEW BEST:: SOT 96463 SOS 32177 HAS SOPS 32177 HAS SOUS 29770 HAS SOUPS 29770 WITH SCORE 29802.177
AT ITER 1141 NEW BEST:: SOT 96462 SOS 32175 HAS SOPS 32175 HAS SOUS 29768 HAS SOUPS 29768 WITH SCORE 29800.175
AT ITER 1149 NEW BEST:: SOT 96456 SOS 32144 HAS SOPS 32144 HAS SOUS 29737 HAS SOUPS 29737 WITH SCORE 29769.144
AT ITER 1154 NEW BEST:: SOT 96465 SOS 32142 HAS SOPS 32142 HAS SOUS 29736 HAS SOUPS 29736 WITH SCORE 29768.142
AT ITER 1162 NEW BEST:: SOT 96398 SOS 31805 HAS SOPS 31805 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29526.805
AT ITER 1172 NEW BEST:: SOT 96395 SOS 31799 HAS SOPS 31799 HAS SOUS 29489 HAS SOUPS 29489 WITH SCORE 29520.799
AT ITER 1174 NEW BEST:: SOT 96395 SOS 31797 HAS SOPS 31797 HAS SOUS 29488 HAS SOUPS 29488 WITH SCORE 29519.797
AT ITER 1176 NEW BEST:: SOT 96387 SOS 31786 HAS SOPS 31786 HAS SOUS 29477 HAS SOUPS 29477 WITH SCORE 29508.786
AT ITER 1184 NEW BEST:: SOT 96387 SOS 31785 HAS SOPS 31785 HAS SOUS 29476 HAS SOUPS 29476 WITH SCORE 29507.785
AT ITER 1186 NEW BEST:: SOT 95940 SOS 31893 HAS SOPS 31893 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29090.893
AT ITER 1205 NEW BEST:: SOT 95869 SOS 31775 HAS SOPS 31775 HAS SOUS 29043 HAS SOUPS 29043 WITH SCORE 29074.775
AT ITER 1208 NEW BEST:: SOT 95860 SOS 31703 HAS SOPS 31703 HAS SOUS 28956 HAS SOUPS 28956 WITH SCORE 28987.703
AT ITER 1211 NEW BEST:: SOT 95854 SOS 31697 HAS SOPS 31697 HAS SOUS 28947 HAS SOUPS 28947 WITH SCORE 28978.697
AT ITER 1212 NEW BEST:: SOT 95854 SOS 31696 HAS SOPS 31696 HAS SOUS 28946 HAS SOUPS 28946 WITH SCORE 28977.696
AT ITER 1213 NEW BEST:: SOT 95897 SOS 31685 HAS SOPS 31685 HAS SOUS 28937 HAS SOUPS 28937 WITH SCORE 28968.685
AT ITER 1222 NEW BEST:: SOT 95840 SOS 31700 HAS SOPS 31700 HAS SOUS 28927 HAS SOUPS 28927 WITH SCORE 28958.7
AT ITER 1225 NEW BEST:: SOT 95759 SOS 31556 HAS SOPS 31556 HAS SOUS 28754 HAS SOUPS 28754 WITH SCORE 28785.556
AT ITER 1239 NEW BEST:: SOT 95755 SOS 31541 HAS SOPS 31541 HAS SOUS 28739 HAS SOUPS 28739 WITH SCORE 28770.541
AT ITER 1262 NEW BEST:: SOT 95755 SOS 31537 HAS SOPS 31537 HAS SOUS 28735 HAS SOUPS 28735 WITH SCORE 28766.537
AT ITER 1263 NEW BEST:: SOT 95752 SOS 31456 HAS SOPS 31456 HAS SOUS 28665 HAS SOUPS 28665 WITH SCORE 28696.456
AT ITER 1269 NEW BEST:: SOT 95706 SOS 31237 HAS SOPS 31237 HAS SOUS 28528 HAS SOUPS 28528 WITH SCORE 28559.237
AT ITER 1290 NEW BEST:: SOT 95705 SOS 31181 HAS SOPS 31181 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28557.181
AT ITER 1300 NEW BEST:: SOT 95681 SOS 31251 HAS SOPS 31251 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28555.251
AT ITER 1323 NEW BEST:: SOT 94850 SOS 30977 HAS SOPS 30977 HAS SOUS 27650 HAS SOUPS 27650 WITH SCORE 27680.977
AT ITER 1335 NEW BEST:: SOT 94849 SOS 30975 HAS SOPS 30975 HAS SOUS 27648 HAS SOUPS 27648 WITH SCORE 27678.975
AT ITER 1340 NEW BEST:: SOT 94849 SOS 30974 HAS SOPS 30974 HAS SOUS 27648 HAS SOUPS 27648 WITH SCORE 27678.974
AT ITER 1343 NEW BEST:: SOT 94850 SOS 30935 HAS SOPS 30935 HAS SOUS 27596 HAS SOUPS 27596 WITH SCORE 27626.935
AT ITER 1344 NEW BEST:: SOT 94838 SOS 30923 HAS SOPS 30923 HAS SOUS 27584 HAS SOUPS 27584 WITH SCORE 27614.923
AT ITER 1348 NEW BEST:: SOT 94852 SOS 30899 HAS SOPS 30899 HAS SOUS 27570 HAS SOUPS 27570 WITH SCORE 27600.899
AT ITER 1351 NEW BEST:: SOT 94894 SOS 30865 HAS SOPS 30865 HAS SOUS 27536 HAS SOUPS 27536 WITH SCORE 27566.865
AT ITER 1352 NEW BEST:: SOT 94891 SOS 30859 HAS SOPS 30859 HAS SOUS 27530 HAS SOUPS 27530 WITH SCORE 27560.859
AT ITER 1369 NEW BEST:: SOT 94889 SOS 30855 HAS SOPS 30855 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27539.855
AT ITER 1386 NEW BEST:: SOT 94783 SOS 30702 HAS SOPS 30702 HAS SOUS 27356 HAS SOUPS 27356 WITH SCORE 27386.702
AT ITER 1391 NEW BEST:: SOT 94497 SOS 30404 HAS SOPS 30404 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27088.404
AT ITER 1408 NEW BEST:: SOT 94497 SOS 30396 HAS SOPS 30396 HAS SOUS 27050 HAS SOUPS 27050 WITH SCORE 27080.396
AT ITER 1424 NEW BEST:: SOT 94479 SOS 30391 HAS SOPS 30391 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27001.391
AT ITER 1431 NEW BEST:: SOT 94483 SOS 30354 HAS SOPS 30354 HAS SOUS 26934 HAS SOUPS 26934 WITH SCORE 26964.354
AT ITER 1435 NEW BEST:: SOT 94483 SOS 30327 HAS SOPS 30327 HAS SOUS 26934 HAS SOUPS 26934 WITH SCORE 26964.327
AT ITER 1441 NEW BEST:: SOT 94470 SOS 30277 HAS SOPS 30277 HAS SOUS 26911 HAS SOUPS 26911 WITH SCORE 26941.277
AT ITER 1449 NEW BEST:: SOT 94278 SOS 30462 HAS SOPS 30462 HAS SOUS 26723 HAS SOUPS 26723 WITH SCORE 26753.462
AT ITER 1458 NEW BEST:: SOT 94186 SOS 30276 HAS SOPS 30276 HAS SOUS 26577 HAS SOUPS 26577 WITH SCORE 26607.276
AT ITER 1470 NEW BEST:: SOT 94121 SOS 30240 HAS SOPS 30240 HAS SOUS 26541 HAS SOUPS 26541 WITH SCORE 26571.24
AT ITER 1479 NEW BEST:: SOT 94118 SOS 30237 HAS SOPS 30237 HAS SOUS 26538 HAS SOUPS 26538 WITH SCORE 26568.237
AT ITER 1490 NEW BEST:: SOT 93583 SOS 29807 HAS SOPS 29807 HAS SOUS 26099 HAS SOUPS 26099 WITH SCORE 26128.807
AT ITER 1495 NEW BEST:: SOT 93566 SOS 29727 HAS SOPS 29727 HAS SOUS 26042 HAS SOUPS 26042 WITH SCORE 26071.727
AT ITER 1499 NEW BEST:: SOT 93553 SOS 29701 HAS SOPS 29701 HAS SOUS 26029 HAS SOUPS 26029 WITH SCORE 26058.701
AT ITER 1509 NEW BEST:: SOT 93518 SOS 29631 HAS SOPS 29631 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26015.631
AT ITER 1517 NEW BEST:: SOT 93518 SOS 29602 HAS SOPS 29602 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26015.602
AT ITER 1536 NEW BEST:: SOT 93517 SOS 29601 HAS SOPS 29601 HAS SOUS 25984 HAS SOUPS 25984 WITH SCORE 26013.601
AT ITER 1557 NEW BEST:: SOT 93535 SOS 29502 HAS SOPS 29502 HAS SOUS 25885 HAS SOUPS 25885 WITH SCORE 25914.502
AT ITER 1571 NEW BEST:: SOT 93535 SOS 29483 HAS SOPS 29483 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25895.483
AT ITER 1601 NEW BEST:: SOT 93489 SOS 29389 HAS SOPS 29389 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25791.389
AT ITER 1605 NEW BEST:: SOT 93500 SOS 29388 HAS SOPS 29388 HAS SOUS 25761 HAS SOUPS 25761 WITH SCORE 25790.388
AT ITER 1621 NEW BEST:: SOT 93496 SOS 29384 HAS SOPS 29384 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25782.384
AT ITER 1627 NEW BEST:: SOT 93331 SOS 29436 HAS SOPS 29436 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25637.436
AT ITER 1643 NEW BEST:: SOT 93326 SOS 29426 HAS SOPS 29426 HAS SOUS 25598 HAS SOUPS 25598 WITH SCORE 25627.426
AT ITER 1658 NEW BEST:: SOT 93320 SOS 29368 HAS SOPS 29368 HAS SOUS 25573 HAS SOUPS 25573 WITH SCORE 25602.368
AT ITER 1690 NEW BEST:: SOT 93307 SOS 29303 HAS SOPS 29303 HAS SOUS 25508 HAS SOUPS 25508 WITH SCORE 25537.303
AT ITER 1713 NEW BEST:: SOT 93243 SOS 29238 HAS SOPS 29238 HAS SOUS 25443 HAS SOUPS 25443 WITH SCORE 25472.238
AT ITER 1729 NEW BEST:: SOT 93240 SOS 29229 HAS SOPS 29229 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25466.229
AT ITER 1754 NEW BEST:: SOT 93207 SOS 29218 HAS SOPS 29218 HAS SOUS 25387 HAS SOUPS 25387 WITH SCORE 25416.218
AT ITER 1760 NEW BEST:: SOT 93217 SOS 29168 HAS SOPS 29168 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25368.168
AT ITER 1762 NEW BEST:: SOT 93232 SOS 29137 HAS SOPS 29137 HAS SOUS 25308 HAS SOUPS 25308 WITH SCORE 25337.137
AT ITER 1767 NEW BEST:: SOT 93182 SOS 29118 HAS SOPS 29118 HAS SOUS 25289 HAS SOUPS 25289 WITH SCORE 25318.118
AT ITER 1769 NEW BEST:: SOT 93156 SOS 29088 HAS SOPS 29088 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25270.088
AT ITER 1774 NEW BEST:: SOT 93123 SOS 29055 HAS SOPS 29055 HAS SOUS 25213 HAS SOUPS 25213 WITH SCORE 25242.055
AT ITER 1786 NEW BEST:: SOT 93115 SOS 29039 HAS SOPS 29039 HAS SOUS 25189 HAS SOUPS 25189 WITH SCORE 25218.039
AT ITER 1787 NEW BEST:: SOT 93095 SOS 28979 HAS SOPS 28979 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25177.979
AT ITER 1789 NEW BEST:: SOT 93075 SOS 28939 HAS SOPS 28939 HAS SOUS 25109 HAS SOUPS 25109 WITH SCORE 25137.939
AT ITER 1800 NEW BEST:: SOT 93075 SOS 28939 HAS SOPS 28939 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25136.939
AT ITER 1810 NEW BEST:: SOT 93068 SOS 28925 HAS SOPS 28925 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25122.925
AT ITER 1811 NEW BEST:: SOT 93034 SOS 28925 HAS SOPS 28925 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25088.925
AT ITER 1841 NEW BEST:: SOT 93034 SOS 28871 HAS SOPS 28871 HAS SOUS 24988 HAS SOUPS 24988 WITH SCORE 25016.871
AT ITER 1842 NEW BEST:: SOT 92927 SOS 28612 HAS SOPS 28612 HAS SOUS 24779 HAS SOUPS 24779 WITH SCORE 24807.612
AT ITER 1915 NEW BEST:: SOT 92887 SOS 28481 HAS SOPS 28481 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24658.481
AT ITER 1916 NEW BEST:: SOT 92887 SOS 28462 HAS SOPS 28462 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24658.462
AT ITER 1925 NEW BEST:: SOT 92882 SOS 28487 HAS SOPS 28487 HAS SOUS 24623 HAS SOUPS 24623 WITH SCORE 24651.487
AT ITER 1937 NEW BEST:: SOT 92873 SOS 28478 HAS SOPS 28478 HAS SOUS 24594 HAS SOUPS 24594 WITH SCORE 24622.478
AT ITER 1942 NEW BEST:: SOT 92827 SOS 28373 HAS SOPS 28373 HAS SOUS 24550 HAS SOUPS 24550 WITH SCORE 24578.373
AT ITER 1943 NEW BEST:: SOT 92826 SOS 28371 HAS SOPS 28371 HAS SOUS 24548 HAS SOUPS 24548 WITH SCORE 24576.371
AT ITER 1952 NEW BEST:: SOT 92821 SOS 28371 HAS SOPS 28371 HAS SOUS 24547 HAS SOUPS 24547 WITH SCORE 24575.371
AT ITER 1983 NEW BEST:: SOT 92770 SOS 28320 HAS SOPS 28320 HAS SOUS 24496 HAS SOUPS 24496 WITH SCORE 24524.32
AT ITER 2000 NEW BEST:: SOT 92764 SOS 28251 HAS SOPS 28251 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24472.251
AT ITER 2021 NEW BEST:: SOT 92722 SOS 28201 HAS SOPS 28201 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24419.201
AT ITER 2041 NEW BEST:: SOT 92718 SOS 28202 HAS SOPS 28202 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24409.202
AT ITER 2066 NEW BEST:: SOT 92698 SOS 28178 HAS SOPS 28178 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24385.178
AT ITER 2071 NEW BEST:: SOT 92647 SOS 28127 HAS SOPS 28127 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24334.127
AT ITER 2084 NEW BEST:: SOT 92629 SOS 28091 HAS SOPS 28091 HAS SOUS 24270 HAS SOUPS 24270 WITH SCORE 24298.091
AT ITER 2085 NEW BEST:: SOT 92629 SOS 28147 HAS SOPS 28147 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24287.147
AT ITER 2096 NEW BEST:: SOT 92610 SOS 28090 HAS SOPS 28090 HAS SOUS 24221 HAS SOUPS 24221 WITH SCORE 24249.09
AT ITER 2106 NEW BEST:: SOT 92525 SOS 28073 HAS SOPS 28073 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24243.073
AT ITER 2107 NEW BEST:: SOT 92496 SOS 28015 HAS SOPS 28015 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24185.015
AT ITER 2144 NEW BEST:: SOT 92504 SOS 28011 HAS SOPS 28011 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24181.011
AT ITER 2150 NEW BEST:: SOT 92490 SOS 28012 HAS SOPS 28012 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24153.012
AT ITER 2161 NEW BEST:: SOT 92488 SOS 28010 HAS SOPS 28010 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24151.01
AT ITER 2163 NEW BEST:: SOT 92404 SOS 27933 HAS SOPS 27933 HAS SOUS 24039 HAS SOUPS 24039 WITH SCORE 24066.933
AT ITER 2178 NEW BEST:: SOT 92396 SOS 27917 HAS SOPS 27917 HAS SOUS 24023 HAS SOUPS 24023 WITH SCORE 24050.917
AT ITER 2180 NEW BEST:: SOT 92396 SOS 27934 HAS SOPS 27934 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24033.934
AT ITER 2183 NEW BEST:: SOT 92396 SOS 27912 HAS SOPS 27912 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24022.912
AT ITER 2189 NEW BEST:: SOT 92444 SOS 27954 HAS SOPS 27954 HAS SOUS 23983 HAS SOUPS 23983 WITH SCORE 24010.954
AT ITER 2201 NEW BEST:: SOT 92426 SOS 27957 HAS SOPS 27957 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 23997.957
AT ITER 2204 NEW BEST:: SOT 92455 SOS 27841 HAS SOPS 27841 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23949.841
AT ITER 2217 NEW BEST:: SOT 92455 SOS 27841 HAS SOPS 27841 HAS SOUS 23916 HAS SOUPS 23916 WITH SCORE 23943.841
AT ITER 2218 NEW BEST:: SOT 92438 SOS 27824 HAS SOPS 27824 HAS SOUS 23899 HAS SOUPS 23899 WITH SCORE 23926.824
AT ITER 2238 NEW BEST:: SOT 92393 SOS 27777 HAS SOPS 27777 HAS SOUS 23852 HAS SOUPS 23852 WITH SCORE 23879.777
AT ITER 2248 NEW BEST:: SOT 92387 SOS 27765 HAS SOPS 27765 HAS SOUS 23840 HAS SOUPS 23840 WITH SCORE 23867.765
AT ITER 2266 NEW BEST:: SOT 92385 SOS 27768 HAS SOPS 27768 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23863.768
AT ITER 2271 NEW BEST:: SOT 92381 SOS 27767 HAS SOPS 27767 HAS SOUS 23832 HAS SOUPS 23832 WITH SCORE 23859.767
AT ITER 2279 NEW BEST:: SOT 92368 SOS 27736 HAS SOPS 27736 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23833.736
AT ITER 2283 NEW BEST:: SOT 92329 SOS 27617 HAS SOPS 27617 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23753.617
AT ITER 2298 NEW BEST:: SOT 92327 SOS 27613 HAS SOPS 27613 HAS SOUS 23722 HAS SOUPS 23722 WITH SCORE 23749.613
AT ITER 2315 NEW BEST:: SOT 92306 SOS 27571 HAS SOPS 27571 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23736.571
AT ITER 2333 NEW BEST:: SOT 92305 SOS 27569 HAS SOPS 27569 HAS SOUS 23707 HAS SOUPS 23707 WITH SCORE 23734.569
AT ITER 2334 NEW BEST:: SOT 92278 SOS 27517 HAS SOPS 27517 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23687.517
AT ITER 2336 NEW BEST:: SOT 92257 SOS 27475 HAS SOPS 27475 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23666.475
AT ITER 2344 NEW BEST:: SOT 92250 SOS 27461 HAS SOPS 27461 HAS SOUS 23632 HAS SOUPS 23632 WITH SCORE 23659.461
AT ITER 2356 NEW BEST:: SOT 92187 SOS 27427 HAS SOPS 27427 HAS SOUS 23564 HAS SOUPS 23564 WITH SCORE 23591.427
AT ITER 2362 NEW BEST:: SOT 92163 SOS 27379 HAS SOPS 27379 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23543.379
AT ITER 2369 NEW BEST:: SOT 92160 SOS 27373 HAS SOPS 27373 HAS SOUS 23510 HAS SOUPS 23510 WITH SCORE 23537.373
AT ITER 2394 NEW BEST:: SOT 92154 SOS 27354 HAS SOPS 27354 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23524.354
AT ITER 2418 NEW BEST:: SOT 92152 SOS 27323 HAS SOPS 27323 HAS SOUS 23493 HAS SOUPS 23493 WITH SCORE 23520.323
AT ITER 2424 NEW BEST:: SOT 92147 SOS 27313 HAS SOPS 27313 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23510.313
AT ITER 2443 NEW BEST:: SOT 92139 SOS 27251 HAS SOPS 27251 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23448.251
AT ITER 2461 NEW BEST:: SOT 92136 SOS 27245 HAS SOPS 27245 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23442.245
AT ITER 2483 NEW BEST:: SOT 92130 SOS 27239 HAS SOPS 27239 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23433.239
AT ITER 2515 NEW BEST:: SOT 92204 SOS 27232 HAS SOPS 27232 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23354.232
AT ITER 2524 NEW BEST:: SOT 92204 SOS 27181 HAS SOPS 27181 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23354.181
AT ITER 2527 NEW BEST:: SOT 92212 SOS 27188 HAS SOPS 27188 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23353.188
AT ITER 2536 NEW BEST:: SOT 92176 SOS 27146 HAS SOPS 27146 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23319.146
AT ITER 2573 NEW BEST:: SOT 92160 SOS 27114 HAS SOPS 27114 HAS SOUS 23271 HAS SOUPS 23271 WITH SCORE 23298.114
AT ITER 2603 NEW BEST:: SOT 92159 SOS 27112 HAS SOPS 27112 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23297.112
AT ITER 2630 NEW BEST:: SOT 92144 SOS 27098 HAS SOPS 27098 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23283.098
AT ITER 2631 NEW BEST:: SOT 92140 SOS 27094 HAS SOPS 27094 HAS SOUS 23252 HAS SOUPS 23252 WITH SCORE 23279.094
AT ITER 2639 NEW BEST:: SOT 92110 SOS 27031 HAS SOPS 27031 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23234.031
AT ITER 2649 NEW BEST:: SOT 92078 SOS 27001 HAS SOPS 27001 HAS SOUS 23177 HAS SOUPS 23177 WITH SCORE 23204.001
AT ITER 2675 NEW BEST:: SOT 92074 SOS 26997 HAS SOPS 26997 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23195.997
AT ITER 2680 NEW BEST:: SOT 92074 SOS 26996 HAS SOPS 26996 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23194.996
AT ITER 2688 NEW BEST:: SOT 92074 SOS 26987 HAS SOPS 26987 HAS SOUS 23159 HAS SOUPS 23159 WITH SCORE 23185.987
AT ITER 2695 NEW BEST:: SOT 92076 SOS 27000 HAS SOPS 27000 HAS SOUS 23156 HAS SOUPS 23156 WITH SCORE 23183.0
AT ITER 2697 NEW BEST:: SOT 92040 SOS 26946 HAS SOPS 26946 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23110.946
AT ITER 2704 NEW BEST:: SOT 92032 SOS 26930 HAS SOPS 26930 HAS SOUS 23068 HAS SOUPS 23068 WITH SCORE 23094.93
AT ITER 2718 NEW BEST:: SOT 92016 SOS 26898 HAS SOPS 26898 HAS SOUS 23036 HAS SOUPS 23036 WITH SCORE 23062.898
AT ITER 2719 NEW BEST:: SOT 92023 SOS 26912 HAS SOPS 26912 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23050.912
AT ITER 2751 NEW BEST:: SOT 91783 SOS 26898 HAS SOPS 26898 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22866.898
AT ITER 2756 NEW BEST:: SOT 91807 SOS 26857 HAS SOPS 26857 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22825.857
AT ITER 2770 NEW BEST:: SOT 91807 SOS 26856 HAS SOPS 26856 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22824.856
AT ITER 2776 NEW BEST:: SOT 91603 SOS 28465 HAS SOPS 28465 HAS SOUS 22658 HAS SOUPS 22658 WITH SCORE 22686.465
AT ITER 2779 NEW BEST:: SOT 91599 SOS 28453 HAS SOPS 28453 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22674.453
AT ITER 2788 NEW BEST:: SOT 91600 SOS 28424 HAS SOPS 28424 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22645.424
AT ITER 2807 NEW BEST:: SOT 91599 SOS 28423 HAS SOPS 28423 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22630.423
AT ITER 2846 NEW BEST:: SOT 91584 SOS 28393 HAS SOPS 28393 HAS SOUS 22572 HAS SOUPS 22572 WITH SCORE 22600.393
AT ITER 2859 NEW BEST:: SOT 91574 SOS 28373 HAS SOPS 28373 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22580.373
AT ITER 2861 NEW BEST:: SOT 91517 SOS 28329 HAS SOPS 28329 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22562.329
AT ITER 2863 NEW BEST:: SOT 90931 SOS 27989 HAS SOPS 27989 HAS SOUS 22028 HAS SOUPS 22028 WITH SCORE 22055.989
AT ITER 2865 NEW BEST:: SOT 90919 SOS 27987 HAS SOPS 27987 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22053.987
AT ITER 2872 NEW BEST:: SOT 90886 SOS 27921 HAS SOPS 27921 HAS SOUS 21993 HAS SOUPS 21993 WITH SCORE 22020.921
AT ITER 2873 NEW BEST:: SOT 90886 SOS 27912 HAS SOPS 27912 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22011.912
AT ITER 2877 NEW BEST:: SOT 90884 SOS 27915 HAS SOPS 27915 HAS SOUS 21982 HAS SOUPS 21982 WITH SCORE 22009.915
AT ITER 2895 NEW BEST:: SOT 90882 SOS 27913 HAS SOPS 27913 HAS SOUS 21980 HAS SOUPS 21980 WITH SCORE 22007.913
AT ITER 2896 NEW BEST:: SOT 90862 SOS 27902 HAS SOPS 27902 HAS SOUS 21967 HAS SOUPS 21967 WITH SCORE 21994.902
AT ITER 2903 NEW BEST:: SOT 90777 SOS 27960 HAS SOPS 27960 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21971.96
AT ITER 2905 NEW BEST:: SOT 90777 SOS 27959 HAS SOPS 27959 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21971.959
AT ITER 2911 NEW BEST:: SOT 90771 SOS 27947 HAS SOPS 27947 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 21965.947
AT ITER 2920 NEW BEST:: SOT 90761 SOS 27948 HAS SOPS 27948 HAS SOUS 21928 HAS SOUPS 21928 WITH SCORE 21955.948
AT ITER 2935 NEW BEST:: SOT 90748 SOS 27935 HAS SOPS 27935 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21942.935
AT ITER 2947 NEW BEST:: SOT 90744 SOS 27931 HAS SOPS 27931 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21934.931
AT ITER 2956 NEW BEST:: SOT 90734 SOS 27911 HAS SOPS 27911 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21914.911
AT ITER 2973 NEW BEST:: SOT 90732 SOS 27794 HAS SOPS 27794 HAS SOUS 21883 HAS SOUPS 21883 WITH SCORE 21910.794
AT ITER 2976 NEW BEST:: SOT 90721 SOS 27772 HAS SOPS 27772 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21899.772
AT ITER 2978 NEW BEST:: SOT 90428 SOS 27441 HAS SOPS 27441 HAS SOUS 21607 HAS SOUPS 21607 WITH SCORE 21634.441
AT ITER 3000 NEW BEST:: SOT 90428 SOS 27441 HAS SOPS 27441 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21595.441
AT ITER 3025 NEW BEST:: SOT 90417 SOS 27460 HAS SOPS 27460 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21584.46
AT ITER 3029 NEW BEST:: SOT 90382 SOS 27355 HAS SOPS 27355 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21514.355
AT ITER 3034 NEW BEST:: SOT 90373 SOS 27337 HAS SOPS 27337 HAS SOUS 21469 HAS SOUPS 21469 WITH SCORE 21496.337
AT ITER 3050 NEW BEST:: SOT 90387 SOS 27290 HAS SOPS 27290 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21449.29
AT ITER 3062 NEW BEST:: SOT 90386 SOS 27288 HAS SOPS 27288 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21420.288
AT ITER 3121 NEW BEST:: SOT 90365 SOS 27285 HAS SOPS 27285 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21412.285
AT ITER 3146 NEW BEST:: SOT 90353 SOS 27267 HAS SOPS 27267 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21394.267
AT ITER 3147 NEW BEST:: SOT 90322 SOS 27205 HAS SOPS 27205 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21363.205
AT ITER 3186 NEW BEST:: SOT 90343 SOS 27247 HAS SOPS 27247 HAS SOUS 21333 HAS SOUPS 21333 WITH SCORE 21360.247
AT ITER 3200 NEW BEST:: SOT 90345 SOS 27229 HAS SOPS 27229 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21341.229
AT ITER 3235 NEW BEST:: SOT 90358 SOS 27189 HAS SOPS 27189 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21301.189
AT ITER 3267 NEW BEST:: SOT 90357 SOS 27187 HAS SOPS 27187 HAS SOUS 21272 HAS SOUPS 21272 WITH SCORE 21299.187
AT ITER 3271 NEW BEST:: SOT 90322 SOS 27181 HAS SOPS 27181 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21293.181
AT ITER 3280 NEW BEST:: SOT 90322 SOS 27176 HAS SOPS 27176 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21283.176
AT ITER 3297 NEW BEST:: SOT 90296 SOS 27097 HAS SOPS 27097 HAS SOUS 21206 HAS SOUPS 21206 WITH SCORE 21233.097
AT ITER 3325 NEW BEST:: SOT 90290 SOS 27091 HAS SOPS 27091 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21227.091
AT ITER 3336 NEW BEST:: SOT 90383 SOS 27101 HAS SOPS 27101 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21209.101
AT ITER 3356 NEW BEST:: SOT 90383 SOS 27043 HAS SOPS 27043 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21180.043
AT ITER 3366 NEW BEST:: SOT 90299 SOS 26875 HAS SOPS 26875 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21109.875
AT ITER 3400 NEW BEST:: SOT 90290 SOS 26863 HAS SOPS 26863 HAS SOUS 21065 HAS SOUPS 21065 WITH SCORE 21091.863
AT ITER 3413 NEW BEST:: SOT 90262 SOS 26849 HAS SOPS 26849 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21049.849
AT ITER 3414 NEW BEST:: SOT 90262 SOS 26844 HAS SOPS 26844 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21044.844
AT ITER 3429 NEW BEST:: SOT 90257 SOS 26780 HAS SOPS 26780 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 20980.78
AT ITER 3450 NEW BEST:: SOT 90212 SOS 26741 HAS SOPS 26741 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20941.741
AT ITER 3452 NEW BEST:: SOT 90218 SOS 26733 HAS SOPS 26733 HAS SOUS 20907 HAS SOUPS 20907 WITH SCORE 20933.733
AT ITER 3453 NEW BEST:: SOT 90187 SOS 26695 HAS SOPS 26695 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20895.695
AT ITER 3454 NEW BEST:: SOT 90195 SOS 26711 HAS SOPS 26711 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20894.711
AT ITER 3483 NEW BEST:: SOT 89939 SOS 26524 HAS SOPS 26524 HAS SOUS 20681 HAS SOUPS 20681 WITH SCORE 20707.524
AT ITER 3520 NEW BEST:: SOT 89893 SOS 26455 HAS SOPS 26455 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20615.455
AT ITER 3536 NEW BEST:: SOT 89893 SOS 26450 HAS SOPS 26450 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20615.45
AT ITER 3567 NEW BEST:: SOT 89893 SOS 26440 HAS SOPS 26440 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20615.44
AT ITER 3607 NEW BEST:: SOT 89893 SOS 26440 HAS SOPS 26440 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20588.44
AT ITER 3620 NEW BEST:: SOT 89891 SOS 26413 HAS SOPS 26413 HAS SOUS 20558 HAS SOUPS 20558 WITH SCORE 20584.413
AT ITER 3624 NEW BEST:: SOT 89863 SOS 26389 HAS SOPS 26389 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20560.389
AT ITER 3637 NEW BEST:: SOT 89817 SOS 26362 HAS SOPS 26362 HAS SOUS 20494 HAS SOUPS 20494 WITH SCORE 20520.362
AT ITER 3650 NEW BEST:: SOT 89814 SOS 26356 HAS SOPS 26356 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20515.356
AT ITER 3657 NEW BEST:: SOT 89793 SOS 26314 HAS SOPS 26314 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20494.314
AT ITER 3667 NEW BEST:: SOT 89808 SOS 26333 HAS SOPS 26333 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20456.333
AT ITER 3678 NEW BEST:: SOT 89778 SOS 26277 HAS SOPS 26277 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20409.277
AT ITER 3708 NEW BEST:: SOT 89776 SOS 26263 HAS SOPS 26263 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20405.263
AT ITER 3721 NEW BEST:: SOT 89810 SOS 26321 HAS SOPS 26321 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20400.321
AT ITER 3743 NEW BEST:: SOT 89803 SOS 26314 HAS SOPS 26314 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20396.314
AT ITER 3760 NEW BEST:: SOT 89803 SOS 26317 HAS SOPS 26317 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20394.317
AT ITER 3762 NEW BEST:: SOT 89803 SOS 26287 HAS SOPS 26287 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20380.287
AT ITER 3764 NEW BEST:: SOT 89793 SOS 26267 HAS SOPS 26267 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20370.267
AT ITER 3778 NEW BEST:: SOT 89809 SOS 26254 HAS SOPS 26254 HAS SOUS 20331 HAS SOUPS 20331 WITH SCORE 20357.254
AT ITER 3786 NEW BEST:: SOT 89812 SOS 26331 HAS SOPS 26331 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20285.331
AT ITER 3796 NEW BEST:: SOT 89810 SOS 26311 HAS SOPS 26311 HAS SOUS 20248 HAS SOUPS 20248 WITH SCORE 20274.311
AT ITER 3807 NEW BEST:: SOT 89810 SOS 26310 HAS SOPS 26310 HAS SOUS 20248 HAS SOUPS 20248 WITH SCORE 20274.31
AT ITER 3837 NEW BEST:: SOT 89778 SOS 26278 HAS SOPS 26278 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20242.278
AT ITER 3840 NEW BEST:: SOT 89753 SOS 26228 HAS SOPS 26228 HAS SOUS 20163 HAS SOUPS 20163 WITH SCORE 20189.228
AT ITER 3849 NEW BEST:: SOT 89753 SOS 25993 HAS SOPS 25993 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20105.993
AT ITER 3857 NEW BEST:: SOT 89737 SOS 25979 HAS SOPS 25979 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20073.979
AT ITER 3901 NEW BEST:: SOT 89731 SOS 25967 HAS SOPS 25967 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20067.967
AT ITER 3912 NEW BEST:: SOT 89725 SOS 25955 HAS SOPS 25955 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20055.955
AT ITER 3924 NEW BEST:: SOT 89713 SOS 25941 HAS SOPS 25941 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20043.941
AT ITER 3956 NEW BEST:: SOT 89675 SOS 25865 HAS SOPS 25865 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19967.865
AT ITER 3985 NEW BEST:: SOT 89661 SOS 25851 HAS SOPS 25851 HAS SOUS 19928 HAS SOUPS 19928 WITH SCORE 19953.851
AT ITER 4012 NEW BEST:: SOT 89645 SOS 25838 HAS SOPS 25838 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19940.838
AT ITER 4080 NEW BEST:: SOT 89636 SOS 25829 HAS SOPS 25829 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19931.829
AT ITER 4089 NEW BEST:: SOT 89634 SOS 25823 HAS SOPS 25823 HAS SOUS 19902 HAS SOUPS 19902 WITH SCORE 19927.823
AT ITER 4145 NEW BEST:: SOT 89633 SOS 25888 HAS SOPS 25888 HAS SOUS 19901 HAS SOUPS 19901 WITH SCORE 19926.888
AT ITER 4148 NEW BEST:: SOT 89606 SOS 25858 HAS SOPS 25858 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19872.858
AT ITER 4183 NEW BEST:: SOT 89539 SOS 26209 HAS SOPS 26209 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19863.209
AT ITER 4203 NEW BEST:: SOT 89532 SOS 26190 HAS SOPS 26190 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19843.19
AT ITER 4362 NEW BEST:: SOT 89503 SOS 26155 HAS SOPS 26155 HAS SOUS 19801 HAS SOUPS 19801 WITH SCORE 19827.155
AT ITER 4377 NEW BEST:: SOT 89503 SOS 26152 HAS SOPS 26152 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19824.152
AT ITER 4393 NEW BEST:: SOT 89274 SOS 30487 HAS SOPS 30487 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19757.487
AT ITER 4417 NEW BEST:: SOT 89269 SOS 30468 HAS SOPS 30468 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19747.468
AT ITER 4467 NEW BEST:: SOT 89256 SOS 30462 HAS SOPS 30462 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19741.462
AT ITER 4476 NEW BEST:: SOT 89268 SOS 30465 HAS SOPS 30465 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19725.465
AT ITER 4486 NEW BEST:: SOT 89268 SOS 30430 HAS SOPS 30430 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19690.43
AT ITER 4510 NEW BEST:: SOT 89248 SOS 30393 HAS SOPS 30393 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19661.393
AT ITER 4539 NEW BEST:: SOT 89225 SOS 30347 HAS SOPS 30347 HAS SOUS 19585 HAS SOUPS 19585 WITH SCORE 19615.347
AT ITER 4575 NEW BEST:: SOT 89214 SOS 30343 HAS SOPS 30343 HAS SOUS 19577 HAS SOUPS 19577 WITH SCORE 19607.343
AT ITER 4581 NEW BEST:: SOT 89193 SOS 30266 HAS SOPS 30266 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19570.266
AT ITER 4610 NEW BEST:: SOT 89181 SOS 30252 HAS SOPS 30252 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19556.252
AT ITER 4615 NEW BEST:: SOT 89238 SOS 30502 HAS SOPS 30502 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19546.502
AT ITER 4643 NEW BEST:: SOT 88955 SOS 30241 HAS SOPS 30241 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19263.241
AT ITER 4680 NEW BEST:: SOT 88952 SOS 30235 HAS SOPS 30235 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19257.235
AT ITER 4695 NEW BEST:: SOT 88952 SOS 30229 HAS SOPS 30229 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19257.229
AT ITER 4729 NEW BEST:: SOT 88957 SOS 30256 HAS SOPS 30256 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19245.256
AT ITER 4733 NEW BEST:: SOT 88981 SOS 30268 HAS SOPS 30268 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19224.268
AT ITER 4740 NEW BEST:: SOT 88985 SOS 30276 HAS SOPS 30276 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19221.276
AT ITER 4752 NEW BEST:: SOT 88985 SOS 30271 HAS SOPS 30271 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19221.271
AT ITER 4757 NEW BEST:: SOT 88985 SOS 30270 HAS SOPS 30270 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19221.27
AT ITER 4775 NEW BEST:: SOT 88978 SOS 30247 HAS SOPS 30247 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19207.247
AT ITER 4785 NEW BEST:: SOT 88969 SOS 30255 HAS SOPS 30255 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19189.255
AT ITER 4830 NEW BEST:: SOT 88969 SOS 30284 HAS SOPS 30284 HAS SOUS 19130 HAS SOUPS 19130 WITH SCORE 19160.284
AT ITER 4842 NEW BEST:: SOT 88840 SOS 30155 HAS SOPS 30155 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19082.155
AT ITER 4873 NEW BEST:: SOT 88841 SOS 30141 HAS SOPS 30141 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19072.141
AT ITER 4877 NEW BEST:: SOT 88840 SOS 30093 HAS SOPS 30093 HAS SOUS 19040 HAS SOUPS 19040 WITH SCORE 19070.093
AT ITER 4899 NEW BEST:: SOT 88838 SOS 30089 HAS SOPS 30089 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19066.089
AT ITER 4939 NEW BEST:: SOT 88838 SOS 30085 HAS SOPS 30085 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19066.085
AT ITER 4957 NEW BEST:: SOT 88837 SOS 30082 HAS SOPS 30082 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19064.082
AT ITER 4968 NEW BEST:: SOT 88837 SOS 29977 HAS SOPS 29977 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19063.977
AT ITER 4985 NEW BEST:: SOT 88830 SOS 29970 HAS SOPS 29970 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19049.97
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-00 (AF(( (EG( potential( ( 3 ) <= (tk(P248)) ))) & ( (! potential( (tk(P51)) <= (tk(P172)) )) & potential( (tk(P165)) <= (tk(P170)) ) ) )))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-01 (AG( (! ( ( potential( ( 3 ) <= (tk(P144)) ) | potential( (tk(P253)) <= (tk(P213)) ) ) & ( potential( (tk(P60)) <= (tk(P29)) ) & potential( ( 3 ) <= (tk(P68)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-02 ( (AG( (AX( potential( (tk(P236)) <= (tk(P235)) ))))) | (AU( potential( (tk(P219)) <= (tk(P309)) ),( potential( ( 3 ) <= (tk(P210)) ) & potential( (tk(P117)) <= (tk(P183)) ) ) )) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-03 (! ( potential( (tk(P352)) <= (tk(P168)) ) & ( potential( ( 3 ) <= (tk(P84)) ) | (EF(potential( ( 3 ) <= (tk(P132)) ))) ) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-04 (! ( (EG( potential( (tk(P271)) <= (tk(P145)) ))) & potential( (tk(P70)) <= (tk(P317)) ) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-05 (EG( ( (EF(potential( (tk(P349)) <= (tk(P142)) ))) | ( ( potential( (tk(P169)) <= (tk(P109)) ) & potential( (tk(P192)) <= (tk(P12)) ) ) & ( potential( (tk(P157)) <= (tk(P308)) ) & potential( (tk(P170)) <= (tk(P135)) ) ) ) )))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-06 ( ( potential( (tk(P99)) <= (tk(P213)) ) | ( (! (! potential( ( 2 ) <= (tk(P150)) ))) & ( (! potential( (tk(P169)) <= (tk(P349)) )) & ( potential( ( 2 ) <= (tk(P213)) ) & potential( ( 3 ) <= (tk(P83)) ) ) ) ) ) & ( (AF((! potential( ( 3 ) <= (tk(P323)) )))) & (EF(( potential( ( 2 ) <= (tk(P379)) ) | potential( ( 3 ) <= (tk(P211)) ) ))) ) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-07 (AU( (EG( potential( (tk(P105)) <= (tk(P334)) ))),( potential( ( 3 ) <= (tk(P271)) ) | potential( ( 2 ) <= (tk(P134)) ) ) ))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-08 ( ( potential( ( 2 ) <= (tk(P94)) ) & (! (AF(potential( (tk(P300)) <= (tk(P200)) )))) ) | (EF((AG( potential( (tk(P274)) <= (tk(P357)) ))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-09 (EX( (EG( (! potential( ( 3 ) <= (tk(P158)) ))))))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-10 ( ( ( potential( ( 2 ) <= (tk(P224)) ) & potential( (tk(P312)) <= (tk(P28)) ) ) | (! (AG( potential( (tk(P309)) <= (tk(P81)) )))) ) & (! (! (EG( potential( (tk(P267)) <= (tk(P299)) ))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-11 (AF(( (EG( potential( (tk(P123)) <= (tk(P227)) ))) & (! ( potential( ( 1 ) <= (tk(P82)) ) & potential( ( 2 ) <= (tk(P6)) ) )) )))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-12 ( potential( ( 1 ) <= (tk(P278)) ) | (EG( (AF(potential( (tk(P158)) <= (tk(P320)) ))))) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-13 (AG( ( ( ( potential( ( 1 ) <= (tk(P49)) ) | potential( (tk(P45)) <= (tk(P154)) ) ) | (! potential( (tk(P278)) <= (tk(P152)) )) ) | (AF(potential( ( 1 ) <= (tk(P239)) ))) )))
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-14 ( (EU( potential( (tk(P187)) <= (tk(P149)) ),(! potential( (tk(P273)) <= (tk(P107)) )) )) | ( ( potential( (tk(P117)) <= (tk(P106)) ) | (! (! potential( ( 1 ) <= (tk(P148)) ))) ) & (! potential( (tk(P22)) <= (tk(P321)) )) ) )
PROPERTY: DiscoveryGPU-PT-13b-CTLCardinality-15 (EG( ( potential( (tk(P175)) <= (tk(P195)) ) | ( ( potential( (tk(P245)) <= (tk(P19)) ) | potential( ( 1 ) <= (tk(P303)) ) ) | ( potential( ( 1 ) <= (tk(P33)) ) & potential( (tk(P164)) <= (tk(P209)) ) ) ) )))

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="DiscoveryGPU-PT-13b"
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 DiscoveryGPU-PT-13b, 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 r063-tajo-158922807900707"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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