Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400307.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-10a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400307
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.8K Apr 4 18:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 4 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 4 06:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 94K 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 FlexibleBarrier-PT-10a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-10a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589410233847

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10a
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: 123 places, 334 transitions, 1467 arcs.
AT ITER 0 NEW BEST:: SOT 34605 SOS 27847 HAS SOPS 27847 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17088.847
AT ITER 1 NEW BEST:: SOT 34550 SOS 27809 HAS SOPS 27809 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17050.809
AT ITER 2 NEW BEST:: SOT 34542 SOS 27785 HAS SOPS 27785 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16961.785
AT ITER 4 NEW BEST:: SOT 33899 SOS 27268 HAS SOPS 27186 HAS SOUS 16303 HAS SOUPS 16274 WITH SCORE 16301.268
AT ITER 5 NEW BEST:: SOT 33903 SOS 27226 HAS SOPS 27103 HAS SOUS 16232 HAS SOUPS 16191 WITH SCORE 16218.226
AT ITER 9 NEW BEST:: SOT 33913 SOS 27146 HAS SOPS 27023 HAS SOUS 16181 HAS SOUPS 16140 WITH SCORE 16167.146
AT ITER 11 NEW BEST:: SOT 33787 SOS 27039 HAS SOPS 26916 HAS SOUS 16074 HAS SOUPS 16033 WITH SCORE 16060.039
AT ITER 14 NEW BEST:: SOT 33837 SOS 26997 HAS SOPS 26897 HAS SOUS 16057 HAS SOUPS 16016 WITH SCORE 16042.997
AT ITER 15 NEW BEST:: SOT 33856 SOS 26997 HAS SOPS 26878 HAS SOUS 16046 HAS SOUPS 15998 WITH SCORE 16024.997
AT ITER 16 NEW BEST:: SOT 33768 SOS 26909 HAS SOPS 26790 HAS SOUS 15996 HAS SOUPS 15948 WITH SCORE 15974.909
AT ITER 20 NEW BEST:: SOT 33803 SOS 26941 HAS SOPS 26822 HAS SOUS 15994 HAS SOUPS 15946 WITH SCORE 15972.941
AT ITER 21 NEW BEST:: SOT 33797 SOS 26933 HAS SOPS 26814 HAS SOUS 15988 HAS SOUPS 15940 WITH SCORE 15966.933
AT ITER 25 NEW BEST:: SOT 33522 SOS 26658 HAS SOPS 26539 HAS SOUS 15821 HAS SOUPS 15773 WITH SCORE 15799.658
AT ITER 28 NEW BEST:: SOT 33534 SOS 26669 HAS SOPS 26550 HAS SOUS 15596 HAS SOUPS 15548 WITH SCORE 15574.669
AT ITER 29 NEW BEST:: SOT 33534 SOS 26669 HAS SOPS 26550 HAS SOUS 15585 HAS SOUPS 15537 WITH SCORE 15563.669
AT ITER 30 NEW BEST:: SOT 33614 SOS 26774 HAS SOPS 26655 HAS SOUS 15430 HAS SOUPS 15382 WITH SCORE 15408.774
AT ITER 32 NEW BEST:: SOT 33691 SOS 26789 HAS SOPS 26630 HAS SOUS 14853 HAS SOUPS 14805 WITH SCORE 14831.789
AT ITER 33 NEW BEST:: SOT 33697 SOS 26633 HAS SOPS 26474 HAS SOUS 14650 HAS SOUPS 14602 WITH SCORE 14628.633
AT ITER 34 NEW BEST:: SOT 33718 SOS 26525 HAS SOPS 26366 HAS SOUS 14362 HAS SOUPS 14314 WITH SCORE 14340.525
AT ITER 35 NEW BEST:: SOT 33763 SOS 26448 HAS SOPS 26289 HAS SOUS 14356 HAS SOUPS 14308 WITH SCORE 14334.448
AT ITER 37 NEW BEST:: SOT 33388 SOS 26036 HAS SOPS 25871 HAS SOUS 14105 HAS SOUPS 14051 WITH SCORE 14077.036
AT ITER 39 NEW BEST:: SOT 33070 SOS 25718 HAS SOPS 25553 HAS SOUS 13922 HAS SOUPS 13868 WITH SCORE 13893.718
AT ITER 40 NEW BEST:: SOT 33100 SOS 25662 HAS SOPS 25365 HAS SOUS 13483 HAS SOUPS 13429 WITH SCORE 13454.662
AT ITER 42 NEW BEST:: SOT 33088 SOS 25614 HAS SOPS 25317 HAS SOUS 13471 HAS SOUPS 13417 WITH SCORE 13442.614
AT ITER 43 NEW BEST:: SOT 33011 SOS 25549 HAS SOPS 25216 HAS SOUS 13435 HAS SOUPS 13381 WITH SCORE 13406.549
AT ITER 48 NEW BEST:: SOT 33007 SOS 25548 HAS SOPS 25215 HAS SOUS 13432 HAS SOUPS 13378 WITH SCORE 13403.548
AT ITER 49 NEW BEST:: SOT 33007 SOS 25548 HAS SOPS 25215 HAS SOUS 13428 HAS SOUPS 13374 WITH SCORE 13399.548
AT ITER 51 NEW BEST:: SOT 32947 SOS 25518 HAS SOPS 25185 HAS SOUS 13417 HAS SOUPS 13363 WITH SCORE 13388.518
AT ITER 52 NEW BEST:: SOT 32949 SOS 25490 HAS SOPS 25157 HAS SOUS 13408 HAS SOUPS 13354 WITH SCORE 13379.49
AT ITER 53 NEW BEST:: SOT 32947 SOS 25488 HAS SOPS 25155 HAS SOUS 13406 HAS SOUPS 13352 WITH SCORE 13377.488
AT ITER 55 NEW BEST:: SOT 32974 SOS 25488 HAS SOPS 25155 HAS SOUS 13376 HAS SOUPS 13322 WITH SCORE 13347.488
AT ITER 58 NEW BEST:: SOT 32972 SOS 25379 HAS SOPS 25046 HAS SOUS 13269 HAS SOUPS 13215 WITH SCORE 13240.379
AT ITER 59 NEW BEST:: SOT 32979 SOS 25386 HAS SOPS 25028 HAS SOUS 13251 HAS SOUPS 13197 WITH SCORE 13222.386
AT ITER 62 NEW BEST:: SOT 33019 SOS 25406 HAS SOPS 25000 HAS SOUS 13124 HAS SOUPS 13070 WITH SCORE 13095.406
AT ITER 64 NEW BEST:: SOT 32971 SOS 25358 HAS SOPS 24952 HAS SOUS 13100 HAS SOUPS 13046 WITH SCORE 13071.358
AT ITER 67 NEW BEST:: SOT 32418 SOS 24787 HAS SOPS 24381 HAS SOUS 12798 HAS SOUPS 12744 WITH SCORE 12768.787
AT ITER 68 NEW BEST:: SOT 32418 SOS 24787 HAS SOPS 24349 HAS SOUS 12796 HAS SOUPS 12742 WITH SCORE 12766.787
AT ITER 72 NEW BEST:: SOT 32415 SOS 24755 HAS SOPS 24317 HAS SOUS 12793 HAS SOUPS 12739 WITH SCORE 12763.755
AT ITER 73 NEW BEST:: SOT 32422 SOS 24762 HAS SOPS 24324 HAS SOUS 12789 HAS SOUPS 12735 WITH SCORE 12759.762
AT ITER 74 NEW BEST:: SOT 31284 SOS 25106 HAS SOPS 23130 HAS SOUS 11724 HAS SOUPS 11583 WITH SCORE 11608.106
AT ITER 77 NEW BEST:: SOT 31282 SOS 25104 HAS SOPS 23109 HAS SOUS 11720 HAS SOUPS 11579 WITH SCORE 11604.104
AT ITER 78 NEW BEST:: SOT 31118 SOS 24946 HAS SOPS 22951 HAS SOUS 11655 HAS SOUPS 11514 WITH SCORE 11538.946
AT ITER 80 NEW BEST:: SOT 30560 SOS 24388 HAS SOPS 22393 HAS SOUS 11389 HAS SOUPS 11248 WITH SCORE 11272.388
AT ITER 81 NEW BEST:: SOT 30558 SOS 24386 HAS SOPS 22389 HAS SOUS 11385 HAS SOUPS 11244 WITH SCORE 11268.386
AT ITER 83 NEW BEST:: SOT 30531 SOS 24303 HAS SOPS 22287 HAS SOUS 11283 HAS SOUPS 11142 WITH SCORE 11166.303
AT ITER 85 NEW BEST:: SOT 30531 SOS 24303 HAS SOPS 22286 HAS SOUS 11282 HAS SOUPS 11141 WITH SCORE 11165.303
AT ITER 88 NEW BEST:: SOT 30531 SOS 24275 HAS SOPS 22258 HAS SOUS 11250 HAS SOUPS 11109 WITH SCORE 11133.275
AT ITER 89 NEW BEST:: SOT 30290 SOS 23927 HAS SOPS 21910 HAS SOUS 11081 HAS SOUPS 10940 WITH SCORE 10963.927
AT ITER 90 NEW BEST:: SOT 30265 SOS 23902 HAS SOPS 21861 HAS SOUS 11000 HAS SOUPS 10859 WITH SCORE 10882.902
AT ITER 91 NEW BEST:: SOT 30265 SOS 23902 HAS SOPS 21853 HAS SOUS 10992 HAS SOUPS 10851 WITH SCORE 10874.902
AT ITER 94 NEW BEST:: SOT 30238 SOS 23854 HAS SOPS 21820 HAS SOUS 10959 HAS SOUPS 10818 WITH SCORE 10841.854
AT ITER 101 NEW BEST:: SOT 30233 SOS 23844 HAS SOPS 21810 HAS SOUS 10959 HAS SOUPS 10818 WITH SCORE 10841.844
AT ITER 104 NEW BEST:: SOT 30203 SOS 23784 HAS SOPS 21720 HAS SOUS 10866 HAS SOUPS 10725 WITH SCORE 10748.784
AT ITER 116 NEW BEST:: SOT 30126 SOS 23481 HAS SOPS 21120 HAS SOUS 10198 HAS SOUPS 10057 WITH SCORE 10080.481
AT ITER 117 NEW BEST:: SOT 29786 SOS 23643 HAS SOPS 20740 HAS SOUS 10085 HAS SOUPS 9924 WITH SCORE 9947.643
AT ITER 120 NEW BEST:: SOT 29742 SOS 23566 HAS SOPS 20646 HAS SOUS 10037 HAS SOUPS 9876 WITH SCORE 9899.566
AT ITER 121 NEW BEST:: SOT 29739 SOS 23602 HAS SOPS 20667 HAS SOUS 10034 HAS SOUPS 9873 WITH SCORE 9896.602
AT ITER 122 NEW BEST:: SOT 29734 SOS 23586 HAS SOPS 20637 HAS SOUS 10004 HAS SOUPS 9843 WITH SCORE 9866.586
AT ITER 123 NEW BEST:: SOT 29247 SOS 23102 HAS SOPS 20153 HAS SOUS 9743 HAS SOUPS 9582 WITH SCORE 9605.102
AT ITER 124 NEW BEST:: SOT 29264 SOS 22771 HAS SOPS 19814 HAS SOUS 9477 HAS SOUPS 9316 WITH SCORE 9338.771
AT ITER 130 NEW BEST:: SOT 29267 SOS 22535 HAS SOPS 19578 HAS SOUS 9385 HAS SOUPS 9224 WITH SCORE 9246.535
AT ITER 132 NEW BEST:: SOT 29299 SOS 22563 HAS SOPS 19578 HAS SOUS 9380 HAS SOUPS 9219 WITH SCORE 9241.563
AT ITER 140 NEW BEST:: SOT 29297 SOS 22546 HAS SOPS 19561 HAS SOUS 9378 HAS SOUPS 9217 WITH SCORE 9239.546
AT ITER 141 NEW BEST:: SOT 29295 SOS 22542 HAS SOPS 19557 HAS SOUS 9374 HAS SOUPS 9213 WITH SCORE 9235.542
AT ITER 146 NEW BEST:: SOT 29300 SOS 22199 HAS SOPS 19214 HAS SOUS 9298 HAS SOUPS 9137 WITH SCORE 9159.199
AT ITER 149 NEW BEST:: SOT 28665 SOS 21564 HAS SOPS 18579 HAS SOUS 8981 HAS SOUPS 8820 WITH SCORE 8841.564
AT ITER 154 NEW BEST:: SOT 28669 SOS 21582 HAS SOPS 18587 HAS SOUS 8976 HAS SOUPS 8815 WITH SCORE 8836.582
AT ITER 157 NEW BEST:: SOT 28670 SOS 21583 HAS SOPS 18580 HAS SOUS 8971 HAS SOUPS 8808 WITH SCORE 8829.583
AT ITER 160 NEW BEST:: SOT 28641 SOS 21490 HAS SOPS 18482 HAS SOUS 8913 HAS SOUPS 8750 WITH SCORE 8771.49
AT ITER 163 NEW BEST:: SOT 28639 SOS 21487 HAS SOPS 18478 HAS SOUS 8911 HAS SOUPS 8748 WITH SCORE 8769.487
AT ITER 164 NEW BEST:: SOT 28643 SOS 20848 HAS SOPS 17127 HAS SOUS 7964 HAS SOUPS 7801 WITH SCORE 7821.848
AT ITER 166 NEW BEST:: SOT 27871 SOS 20321 HAS SOPS 16593 HAS SOUS 7557 HAS SOUPS 7394 WITH SCORE 7414.321
AT ITER 168 NEW BEST:: SOT 27865 SOS 20309 HAS SOPS 16581 HAS SOUS 7551 HAS SOUPS 7388 WITH SCORE 7408.309
AT ITER 171 NEW BEST:: SOT 27563 SOS 20019 HAS SOPS 16375 HAS SOUS 7502 HAS SOUPS 7339 WITH SCORE 7359.019
AT ITER 175 NEW BEST:: SOT 27563 SOS 20017 HAS SOPS 16373 HAS SOUS 7502 HAS SOUPS 7339 WITH SCORE 7359.017
AT ITER 177 NEW BEST:: SOT 27560 SOS 19815 HAS SOPS 16167 HAS SOUS 7369 HAS SOUPS 7206 WITH SCORE 7225.815
AT ITER 179 NEW BEST:: SOT 27559 SOS 19814 HAS SOPS 16165 HAS SOUS 7367 HAS SOUPS 7204 WITH SCORE 7223.814
AT ITER 181 NEW BEST:: SOT 27578 SOS 19808 HAS SOPS 16149 HAS SOUS 7341 HAS SOUPS 7178 WITH SCORE 7197.808
AT ITER 185 NEW BEST:: SOT 27559 SOS 19770 HAS SOPS 16111 HAS SOUS 7341 HAS SOUPS 7178 WITH SCORE 7197.77
AT ITER 190 NEW BEST:: SOT 26695 SOS 18862 HAS SOPS 15513 HAS SOUS 7154 HAS SOUPS 6991 WITH SCORE 7009.862
AT ITER 203 NEW BEST:: SOT 26648 SOS 18832 HAS SOPS 15468 HAS SOUS 7124 HAS SOUPS 6961 WITH SCORE 6979.832
AT ITER 205 NEW BEST:: SOT 26652 SOS 18436 HAS SOPS 15072 HAS SOUS 7090 HAS SOUPS 6927 WITH SCORE 6945.436
AT ITER 210 NEW BEST:: SOT 26632 SOS 18385 HAS SOPS 15032 HAS SOUS 7080 HAS SOUPS 6917 WITH SCORE 6935.385
AT ITER 212 NEW BEST:: SOT 26603 SOS 18306 HAS SOPS 14953 HAS SOUS 7056 HAS SOUPS 6893 WITH SCORE 6911.306
AT ITER 219 NEW BEST:: SOT 26546 SOS 18180 HAS SOPS 14839 HAS SOUS 6961 HAS SOUPS 6798 WITH SCORE 6816.18
AT ITER 221 NEW BEST:: SOT 26540 SOS 18174 HAS SOPS 14827 HAS SOUS 6949 HAS SOUPS 6786 WITH SCORE 6804.174
AT ITER 242 NEW BEST:: SOT 26562 SOS 18922 HAS SOPS 14830 HAS SOUS 6943 HAS SOUPS 6763 WITH SCORE 6781.922
AT ITER 243 NEW BEST:: SOT 25500 SOS 18536 HAS SOPS 14433 HAS SOUS 6721 HAS SOUPS 6541 WITH SCORE 6559.536
AT ITER 253 NEW BEST:: SOT 25495 SOS 18531 HAS SOPS 14423 HAS SOUS 6711 HAS SOUPS 6531 WITH SCORE 6549.531
AT ITER 256 NEW BEST:: SOT 25512 SOS 18572 HAS SOPS 14457 HAS SOUS 6699 HAS SOUPS 6519 WITH SCORE 6537.572
AT ITER 264 NEW BEST:: SOT 25504 SOS 18490 HAS SOPS 14365 HAS SOUS 6612 HAS SOUPS 6427 WITH SCORE 6445.49
AT ITER 266 NEW BEST:: SOT 25495 SOS 18472 HAS SOPS 14347 HAS SOUS 6594 HAS SOUPS 6409 WITH SCORE 6427.472
AT ITER 268 NEW BEST:: SOT 25419 SOS 18406 HAS SOPS 14267 HAS SOUS 6518 HAS SOUPS 6333 WITH SCORE 6351.406
AT ITER 271 NEW BEST:: SOT 25435 SOS 18403 HAS SOPS 14267 HAS SOUS 6505 HAS SOUPS 6320 WITH SCORE 6338.403
AT ITER 274 NEW BEST:: SOT 25561 SOS 18338 HAS SOPS 14222 HAS SOUS 6493 HAS SOUPS 6308 WITH SCORE 6326.338
AT ITER 279 NEW BEST:: SOT 25569 SOS 18331 HAS SOPS 14226 HAS SOUS 6486 HAS SOUPS 6301 WITH SCORE 6319.331
AT ITER 284 NEW BEST:: SOT 25569 SOS 18283 HAS SOPS 14194 HAS SOUS 6470 HAS SOUPS 6285 WITH SCORE 6303.283
AT ITER 285 NEW BEST:: SOT 25631 SOS 18305 HAS SOPS 14108 HAS SOUS 6412 HAS SOUPS 6227 WITH SCORE 6245.305
AT ITER 288 NEW BEST:: SOT 25613 SOS 18269 HAS SOPS 14027 HAS SOUS 6223 HAS SOUPS 6038 WITH SCORE 6056.269
AT ITER 300 NEW BEST:: SOT 25613 SOS 18251 HAS SOPS 14016 HAS SOUS 6223 HAS SOUPS 6038 WITH SCORE 6056.251
AT ITER 302 NEW BEST:: SOT 25601 SOS 18222 HAS SOPS 13918 HAS SOUS 6177 HAS SOUPS 5992 WITH SCORE 6010.222
AT ITER 314 NEW BEST:: SOT 25617 SOS 18152 HAS SOPS 13892 HAS SOUS 6150 HAS SOUPS 5965 WITH SCORE 5983.152
AT ITER 315 NEW BEST:: SOT 25696 SOS 18152 HAS SOPS 13892 HAS SOUS 6097 HAS SOUPS 5912 WITH SCORE 5930.152
AT ITER 322 NEW BEST:: SOT 25696 SOS 18329 HAS SOPS 13881 HAS SOUS 6099 HAS SOUPS 5910 WITH SCORE 5928.329
AT ITER 328 NEW BEST:: SOT 25499 SOS 18080 HAS SOPS 13575 HAS SOUS 5891 HAS SOUPS 5702 WITH SCORE 5720.08
AT ITER 329 NEW BEST:: SOT 25498 SOS 18079 HAS SOPS 13574 HAS SOUS 5890 HAS SOUPS 5701 WITH SCORE 5719.079
AT ITER 335 NEW BEST:: SOT 25456 SOS 18015 HAS SOPS 13490 HAS SOUS 5844 HAS SOUPS 5655 WITH SCORE 5673.015
AT ITER 340 NEW BEST:: SOT 25432 SOS 17976 HAS SOPS 13442 HAS SOUS 5786 HAS SOUPS 5597 WITH SCORE 5614.976
AT ITER 341 NEW BEST:: SOT 25432 SOS 17974 HAS SOPS 13440 HAS SOUS 5782 HAS SOUPS 5593 WITH SCORE 5610.974
AT ITER 344 NEW BEST:: SOT 25651 SOS 17574 HAS SOPS 13058 HAS SOUS 5775 HAS SOUPS 5586 WITH SCORE 5603.574
AT ITER 354 NEW BEST:: SOT 25638 SOS 17561 HAS SOPS 13032 HAS SOUS 5749 HAS SOUPS 5560 WITH SCORE 5577.561
AT ITER 355 NEW BEST:: SOT 25110 SOS 17029 HAS SOPS 12528 HAS SOUS 5506 HAS SOUPS 5317 WITH SCORE 5334.029
AT ITER 360 NEW BEST:: SOT 25138 SOS 16985 HAS SOPS 12478 HAS SOUS 5500 HAS SOUPS 5311 WITH SCORE 5327.985
AT ITER 366 NEW BEST:: SOT 25094 SOS 17798 HAS SOPS 12425 HAS SOUS 5490 HAS SOUPS 5291 WITH SCORE 5308.798
AT ITER 370 NEW BEST:: SOT 25061 SOS 17729 HAS SOPS 12341 HAS SOUS 5424 HAS SOUPS 5225 WITH SCORE 5242.729
AT ITER 384 NEW BEST:: SOT 25043 SOS 17689 HAS SOPS 12301 HAS SOUS 5395 HAS SOUPS 5196 WITH SCORE 5213.689
AT ITER 390 NEW BEST:: SOT 25037 SOS 17677 HAS SOPS 12286 HAS SOUS 5383 HAS SOUPS 5184 WITH SCORE 5201.677
AT ITER 395 NEW BEST:: SOT 25026 SOS 17627 HAS SOPS 12241 HAS SOUS 5354 HAS SOUPS 5155 WITH SCORE 5172.627
AT ITER 406 NEW BEST:: SOT 25026 SOS 17582 HAS SOPS 12243 HAS SOUS 5353 HAS SOUPS 5155 WITH SCORE 5172.582
AT ITER 417 NEW BEST:: SOT 25013 SOS 17569 HAS SOPS 12225 HAS SOUS 5335 HAS SOUPS 5137 WITH SCORE 5154.569
AT ITER 424 NEW BEST:: SOT 25014 SOS 17570 HAS SOPS 12209 HAS SOUS 5319 HAS SOUPS 5121 WITH SCORE 5138.57
AT ITER 432 NEW BEST:: SOT 25007 SOS 17601 HAS SOPS 12195 HAS SOUS 5305 HAS SOUPS 5107 WITH SCORE 5124.601
AT ITER 435 NEW BEST:: SOT 25028 SOS 17607 HAS SOPS 12206 HAS SOUS 5302 HAS SOUPS 5104 WITH SCORE 5121.607
AT ITER 438 NEW BEST:: SOT 25016 SOS 17594 HAS SOPS 12192 HAS SOUS 5298 HAS SOUPS 5100 WITH SCORE 5117.594
AT ITER 439 NEW BEST:: SOT 25003 SOS 17582 HAS SOPS 12180 HAS SOUS 5293 HAS SOUPS 5095 WITH SCORE 5112.582
AT ITER 440 NEW BEST:: SOT 25001 SOS 17578 HAS SOPS 12168 HAS SOUS 5257 HAS SOUPS 5059 WITH SCORE 5076.578
AT ITER 442 NEW BEST:: SOT 24987 SOS 17504 HAS SOPS 12140 HAS SOUS 5229 HAS SOUPS 5031 WITH SCORE 5048.504
AT ITER 443 NEW BEST:: SOT 24991 SOS 17508 HAS SOPS 12130 HAS SOUS 5230 HAS SOUPS 5021 WITH SCORE 5038.508
AT ITER 446 NEW BEST:: SOT 24569 SOS 17097 HAS SOPS 11730 HAS SOUS 5152 HAS SOUPS 4943 WITH SCORE 4960.097
AT ITER 458 NEW BEST:: SOT 24544 SOS 17062 HAS SOPS 11685 HAS SOUS 5131 HAS SOUPS 4922 WITH SCORE 4939.062
AT ITER 470 NEW BEST:: SOT 24543 SOS 17001 HAS SOPS 11650 HAS SOUS 5121 HAS SOUPS 4912 WITH SCORE 4929.001
AT ITER 482 NEW BEST:: SOT 24545 SOS 17001 HAS SOPS 11644 HAS SOUS 5107 HAS SOUPS 4898 WITH SCORE 4915.001
AT ITER 486 NEW BEST:: SOT 24485 SOS 16970 HAS SOPS 11588 HAS SOUS 5021 HAS SOUPS 4812 WITH SCORE 4828.97
AT ITER 492 NEW BEST:: SOT 24481 SOS 16962 HAS SOPS 11580 HAS SOUS 5020 HAS SOUPS 4811 WITH SCORE 4827.962
AT ITER 499 NEW BEST:: SOT 24469 SOS 16872 HAS SOPS 11505 HAS SOUS 4975 HAS SOUPS 4766 WITH SCORE 4782.872
AT ITER 513 NEW BEST:: SOT 24472 SOS 16909 HAS SOPS 11526 HAS SOUS 4974 HAS SOUPS 4765 WITH SCORE 4781.909
AT ITER 528 NEW BEST:: SOT 24470 SOS 16905 HAS SOPS 11522 HAS SOUS 4970 HAS SOUPS 4761 WITH SCORE 4777.905
AT ITER 530 NEW BEST:: SOT 24162 SOS 16607 HAS SOPS 11224 HAS SOUS 4826 HAS SOUPS 4617 WITH SCORE 4633.607
AT ITER 535 NEW BEST:: SOT 24157 SOS 16592 HAS SOPS 11187 HAS SOUS 4784 HAS SOUPS 4575 WITH SCORE 4591.592
AT ITER 544 NEW BEST:: SOT 24141 SOS 16563 HAS SOPS 11155 HAS SOUS 4764 HAS SOUPS 4555 WITH SCORE 4571.563
AT ITER 552 NEW BEST:: SOT 24145 SOS 16576 HAS SOPS 11163 HAS SOUS 4754 HAS SOUPS 4545 WITH SCORE 4561.576
AT ITER 564 NEW BEST:: SOT 24058 SOS 16478 HAS SOPS 11045 HAS SOUS 4657 HAS SOUPS 4448 WITH SCORE 4464.478
AT ITER 565 NEW BEST:: SOT 24060 SOS 16480 HAS SOPS 11041 HAS SOUS 4653 HAS SOUPS 4444 WITH SCORE 4460.48
AT ITER 572 NEW BEST:: SOT 24049 SOS 16469 HAS SOPS 11019 HAS SOUS 4631 HAS SOUPS 4422 WITH SCORE 4438.469
AT ITER 582 NEW BEST:: SOT 24051 SOS 16474 HAS SOPS 11023 HAS SOUS 4624 HAS SOUPS 4415 WITH SCORE 4431.474
AT ITER 583 NEW BEST:: SOT 24046 SOS 16464 HAS SOPS 10973 HAS SOUS 4559 HAS SOUPS 4350 WITH SCORE 4366.464
AT ITER 596 NEW BEST:: SOT 24031 SOS 16457 HAS SOPS 10960 HAS SOUS 4546 HAS SOUPS 4337 WITH SCORE 4353.457
AT ITER 605 NEW BEST:: SOT 24027 SOS 16432 HAS SOPS 10935 HAS SOUS 4525 HAS SOUPS 4316 WITH SCORE 4332.432
AT ITER 617 NEW BEST:: SOT 24027 SOS 16420 HAS SOPS 10935 HAS SOUS 4518 HAS SOUPS 4309 WITH SCORE 4325.42
AT ITER 620 NEW BEST:: SOT 24040 SOS 16459 HAS SOPS 10961 HAS SOUS 4505 HAS SOUPS 4296 WITH SCORE 4312.459
AT ITER 635 NEW BEST:: SOT 24033 SOS 16172 HAS SOPS 10674 HAS SOUS 4484 HAS SOUPS 4275 WITH SCORE 4291.172
AT ITER 654 NEW BEST:: SOT 24031 SOS 16169 HAS SOPS 10670 HAS SOUS 4481 HAS SOUPS 4272 WITH SCORE 4288.169
AT ITER 682 NEW BEST:: SOT 23980 SOS 16112 HAS SOPS 10608 HAS SOUS 4444 HAS SOUPS 4235 WITH SCORE 4251.112
AT ITER 683 NEW BEST:: SOT 23978 SOS 16109 HAS SOPS 10604 HAS SOUS 4441 HAS SOUPS 4232 WITH SCORE 4248.109
AT ITER 687 NEW BEST:: SOT 23947 SOS 16055 HAS SOPS 10542 HAS SOUS 4379 HAS SOUPS 4170 WITH SCORE 4186.055
AT ITER 697 NEW BEST:: SOT 24028 SOS 16121 HAS SOPS 10596 HAS SOUS 4352 HAS SOUPS 4143 WITH SCORE 4159.121
AT ITER 702 NEW BEST:: SOT 24025 SOS 16115 HAS SOPS 10590 HAS SOUS 4346 HAS SOUPS 4137 WITH SCORE 4153.115
AT ITER 719 NEW BEST:: SOT 24102 SOS 16173 HAS SOPS 10628 HAS SOUS 4332 HAS SOUPS 4123 WITH SCORE 4139.173
AT ITER 737 NEW BEST:: SOT 24099 SOS 16168 HAS SOPS 10622 HAS SOUS 4331 HAS SOUPS 4120 WITH SCORE 4136.168
AT ITER 738 NEW BEST:: SOT 24099 SOS 16167 HAS SOPS 10621 HAS SOUS 4329 HAS SOUPS 4118 WITH SCORE 4134.167
AT ITER 740 NEW BEST:: SOT 24087 SOS 16151 HAS SOPS 10597 HAS SOUS 4305 HAS SOUPS 4094 WITH SCORE 4110.151
AT ITER 748 NEW BEST:: SOT 24099 SOS 16152 HAS SOPS 10621 HAS SOUS 4304 HAS SOUPS 4093 WITH SCORE 4109.152
AT ITER 749 NEW BEST:: SOT 24051 SOS 16104 HAS SOPS 10573 HAS SOUS 4280 HAS SOUPS 4069 WITH SCORE 4085.104
AT ITER 756 NEW BEST:: SOT 24039 SOS 16052 HAS SOPS 10549 HAS SOUS 4274 HAS SOUPS 4063 WITH SCORE 4079.052
AT ITER 757 NEW BEST:: SOT 24023 SOS 16031 HAS SOPS 10517 HAS SOUS 4251 HAS SOUPS 4040 WITH SCORE 4056.031
AT ITER 764 NEW BEST:: SOT 23987 SOS 15995 HAS SOPS 10445 HAS SOUS 4179 HAS SOUPS 3968 WITH SCORE 3983.995
AT ITER 770 NEW BEST:: SOT 23985 SOS 16017 HAS SOPS 10454 HAS SOUS 4178 HAS SOUPS 3967 WITH SCORE 3983.017
AT ITER 776 NEW BEST:: SOT 23864 SOS 15904 HAS SOPS 10340 HAS SOUS 4132 HAS SOUPS 3921 WITH SCORE 3936.904
AT ITER 782 NEW BEST:: SOT 23864 SOS 15902 HAS SOPS 10338 HAS SOUS 4132 HAS SOUPS 3921 WITH SCORE 3936.902
AT ITER 794 NEW BEST:: SOT 23825 SOS 15866 HAS SOPS 10260 HAS SOUS 4049 HAS SOUPS 3838 WITH SCORE 3853.866
AT ITER 797 NEW BEST:: SOT 23805 SOS 15839 HAS SOPS 10220 HAS SOUS 4009 HAS SOUPS 3798 WITH SCORE 3813.839
AT ITER 810 NEW BEST:: SOT 23762 SOS 15772 HAS SOPS 10172 HAS SOUS 3961 HAS SOUPS 3750 WITH SCORE 3765.772
AT ITER 827 NEW BEST:: SOT 23769 SOS 15779 HAS SOPS 10179 HAS SOUS 3954 HAS SOUPS 3743 WITH SCORE 3758.779
AT ITER 831 NEW BEST:: SOT 23767 SOS 15775 HAS SOPS 10170 HAS SOUS 3933 HAS SOUPS 3722 WITH SCORE 3737.775
AT ITER 835 NEW BEST:: SOT 23766 SOS 15773 HAS SOPS 10168 HAS SOUS 3930 HAS SOUPS 3719 WITH SCORE 3734.773
AT ITER 849 NEW BEST:: SOT 23768 SOS 15770 HAS SOPS 10164 HAS SOUS 3922 HAS SOUPS 3711 WITH SCORE 3726.77
AT ITER 850 NEW BEST:: SOT 23761 SOS 15756 HAS SOPS 10150 HAS SOUS 3903 HAS SOUPS 3692 WITH SCORE 3707.756
AT ITER 852 NEW BEST:: SOT 23744 SOS 15731 HAS SOPS 10116 HAS SOUS 3867 HAS SOUPS 3656 WITH SCORE 3671.731
AT ITER 880 NEW BEST:: SOT 23755 SOS 15730 HAS SOPS 10115 HAS SOUS 3866 HAS SOUPS 3655 WITH SCORE 3670.73
AT ITER 885 NEW BEST:: SOT 23753 SOS 15726 HAS SOPS 10111 HAS SOUS 3863 HAS SOUPS 3652 WITH SCORE 3667.726
AT ITER 926 NEW BEST:: SOT 23753 SOS 15726 HAS SOPS 10101 HAS SOUS 3852 HAS SOUPS 3641 WITH SCORE 3656.726
AT ITER 930 NEW BEST:: SOT 23748 SOS 15721 HAS SOPS 10096 HAS SOUS 3852 HAS SOUPS 3641 WITH SCORE 3656.721
AT ITER 931 NEW BEST:: SOT 23720 SOS 15733 HAS SOPS 10067 HAS SOUS 3824 HAS SOUPS 3613 WITH SCORE 3628.733
AT ITER 934 NEW BEST:: SOT 23722 SOS 15734 HAS SOPS 9983 HAS SOUS 3801 HAS SOUPS 3590 WITH SCORE 3605.734
AT ITER 957 NEW BEST:: SOT 23696 SOS 15727 HAS SOPS 9960 HAS SOUS 3788 HAS SOUPS 3577 WITH SCORE 3592.727
AT ITER 981 NEW BEST:: SOT 23693 SOS 15725 HAS SOPS 9954 HAS SOUS 3782 HAS SOUPS 3571 WITH SCORE 3586.725
AT ITER 988 NEW BEST:: SOT 23686 SOS 15718 HAS SOPS 9946 HAS SOUS 3782 HAS SOUPS 3571 WITH SCORE 3586.718
AT ITER 1018 NEW BEST:: SOT 23684 SOS 15712 HAS SOPS 9940 HAS SOUS 3778 HAS SOUPS 3567 WITH SCORE 3582.712
AT ITER 1022 NEW BEST:: SOT 23651 SOS 15679 HAS SOPS 9874 HAS SOUS 3712 HAS SOUPS 3501 WITH SCORE 3516.679
AT ITER 1048 NEW BEST:: SOT 23660 SOS 15646 HAS SOPS 9856 HAS SOUS 3712 HAS SOUPS 3501 WITH SCORE 3516.646
AT ITER 1051 NEW BEST:: SOT 23643 SOS 15629 HAS SOPS 9834 HAS SOUS 3695 HAS SOUPS 3484 WITH SCORE 3499.629
AT ITER 1055 NEW BEST:: SOT 23618 SOS 15614 HAS SOPS 9806 HAS SOUS 3673 HAS SOUPS 3460 WITH SCORE 3475.614
AT ITER 1058 NEW BEST:: SOT 23609 SOS 15596 HAS SOPS 9788 HAS SOUS 3655 HAS SOUPS 3442 WITH SCORE 3457.596
AT ITER 1074 NEW BEST:: SOT 23592 SOS 15579 HAS SOPS 9770 HAS SOUS 3646 HAS SOUPS 3433 WITH SCORE 3448.579
AT ITER 1092 NEW BEST:: SOT 23591 SOS 15566 HAS SOPS 9756 HAS SOUS 3644 HAS SOUPS 3431 WITH SCORE 3446.566
AT ITER 1097 NEW BEST:: SOT 23586 SOS 15561 HAS SOPS 9754 HAS SOUS 3642 HAS SOUPS 3429 WITH SCORE 3444.561
AT ITER 1108 NEW BEST:: SOT 23555 SOS 15494 HAS SOPS 9692 HAS SOUS 3629 HAS SOUPS 3416 WITH SCORE 3431.494
AT ITER 1126 NEW BEST:: SOT 23555 SOS 15494 HAS SOPS 9692 HAS SOUS 3607 HAS SOUPS 3394 WITH SCORE 3409.494
AT ITER 1133 NEW BEST:: SOT 23552 SOS 15488 HAS SOPS 9686 HAS SOUS 3604 HAS SOUPS 3391 WITH SCORE 3406.488
AT ITER 1174 NEW BEST:: SOT 23550 SOS 15484 HAS SOPS 9682 HAS SOUS 3598 HAS SOUPS 3385 WITH SCORE 3400.484
AT ITER 1177 NEW BEST:: SOT 23518 SOS 15452 HAS SOPS 9650 HAS SOUS 3586 HAS SOUPS 3373 WITH SCORE 3388.452
AT ITER 1204 NEW BEST:: SOT 23517 SOS 15452 HAS SOPS 9649 HAS SOUS 3584 HAS SOUPS 3371 WITH SCORE 3386.452
AT ITER 1239 NEW BEST:: SOT 23490 SOS 15414 HAS SOPS 9611 HAS SOUS 3557 HAS SOUPS 3344 WITH SCORE 3359.414
AT ITER 1241 NEW BEST:: SOT 23484 SOS 15384 HAS SOPS 9583 HAS SOUS 3528 HAS SOUPS 3315 WITH SCORE 3330.384
AT ITER 1245 NEW BEST:: SOT 23482 SOS 15381 HAS SOPS 9579 HAS SOUS 3523 HAS SOUPS 3310 WITH SCORE 3325.381
AT ITER 1252 NEW BEST:: SOT 23468 SOS 15540 HAS SOPS 9561 HAS SOUS 3513 HAS SOUPS 3298 WITH SCORE 3313.54
AT ITER 1264 NEW BEST:: SOT 23465 SOS 15539 HAS SOPS 9557 HAS SOUS 3513 HAS SOUPS 3298 WITH SCORE 3313.539
AT ITER 1274 NEW BEST:: SOT 23459 SOS 15531 HAS SOPS 9547 HAS SOUS 3503 HAS SOUPS 3288 WITH SCORE 3303.531
AT ITER 1275 NEW BEST:: SOT 23459 SOS 15533 HAS SOPS 9547 HAS SOUS 3501 HAS SOUPS 3286 WITH SCORE 3301.533
AT ITER 1278 NEW BEST:: SOT 23458 SOS 15529 HAS SOPS 9541 HAS SOUS 3495 HAS SOUPS 3280 WITH SCORE 3295.529
AT ITER 1287 NEW BEST:: SOT 23471 SOS 15523 HAS SOPS 9548 HAS SOUS 3483 HAS SOUPS 3268 WITH SCORE 3283.523
AT ITER 1298 NEW BEST:: SOT 23469 SOS 15521 HAS SOPS 9546 HAS SOUS 3481 HAS SOUPS 3266 WITH SCORE 3281.521
AT ITER 1303 NEW BEST:: SOT 23469 SOS 15520 HAS SOPS 9545 HAS SOUS 3479 HAS SOUPS 3264 WITH SCORE 3279.52
AT ITER 1325 NEW BEST:: SOT 23468 SOS 15518 HAS SOPS 9543 HAS SOUS 3478 HAS SOUPS 3263 WITH SCORE 3278.518
AT ITER 1328 NEW BEST:: SOT 23466 SOS 15512 HAS SOPS 9539 HAS SOUS 3476 HAS SOUPS 3261 WITH SCORE 3276.512
AT ITER 1343 NEW BEST:: SOT 23461 SOS 15509 HAS SOPS 9529 HAS SOUS 3470 HAS SOUPS 3255 WITH SCORE 3270.509
AT ITER 1344 NEW BEST:: SOT 23459 SOS 15467 HAS SOPS 9505 HAS SOUS 3466 HAS SOUPS 3251 WITH SCORE 3266.467
AT ITER 1355 NEW BEST:: SOT 23454 SOS 15463 HAS SOPS 9499 HAS SOUS 3461 HAS SOUPS 3246 WITH SCORE 3261.463
AT ITER 1378 NEW BEST:: SOT 23426 SOS 15407 HAS SOPS 9429 HAS SOUS 3405 HAS SOUPS 3190 WITH SCORE 3205.407
AT ITER 1408 NEW BEST:: SOT 23433 SOS 15412 HAS SOPS 9427 HAS SOUS 3405 HAS SOUPS 3188 WITH SCORE 3203.412
AT ITER 1409 NEW BEST:: SOT 23406 SOS 15362 HAS SOPS 9373 HAS SOUS 3351 HAS SOUPS 3134 WITH SCORE 3149.362
AT ITER 1427 NEW BEST:: SOT 23410 SOS 15317 HAS SOPS 9305 HAS SOUS 3341 HAS SOUPS 3124 WITH SCORE 3139.317
AT ITER 1435 NEW BEST:: SOT 23397 SOS 15304 HAS SOPS 9279 HAS SOUS 3315 HAS SOUPS 3098 WITH SCORE 3113.304
AT ITER 1471 NEW BEST:: SOT 23387 SOS 15293 HAS SOPS 9259 HAS SOUS 3295 HAS SOUPS 3078 WITH SCORE 3093.293
AT ITER 1490 NEW BEST:: SOT 23384 SOS 15290 HAS SOPS 9254 HAS SOUS 3290 HAS SOUPS 3073 WITH SCORE 3088.29
AT ITER 1753 NEW BEST:: SOT 23355 SOS 15263 HAS SOPS 9227 HAS SOUS 3278 HAS SOUPS 3061 WITH SCORE 3076.263
AT ITER 1765 NEW BEST:: SOT 23352 SOS 15597 HAS SOPS 9159 HAS SOUS 3276 HAS SOUPS 3056 WITH SCORE 3071.597
AT ITER 1767 NEW BEST:: SOT 23361 SOS 15606 HAS SOPS 9164 HAS SOUS 3269 HAS SOUPS 3049 WITH SCORE 3064.606
AT ITER 1768 NEW BEST:: SOT 23363 SOS 15597 HAS SOPS 9154 HAS SOUS 3258 HAS SOUPS 3038 WITH SCORE 3053.597
AT ITER 1796 NEW BEST:: SOT 23359 SOS 15593 HAS SOPS 9150 HAS SOUS 3254 HAS SOUPS 3034 WITH SCORE 3049.593
AT ITER 1826 NEW BEST:: SOT 23359 SOS 15604 HAS SOPS 9150 HAS SOUS 3243 HAS SOUPS 3023 WITH SCORE 3038.604
AT ITER 1834 NEW BEST:: SOT 23350 SOS 15590 HAS SOPS 9132 HAS SOUS 3229 HAS SOUPS 3009 WITH SCORE 3024.59
AT ITER 1854 NEW BEST:: SOT 23342 SOS 15552 HAS SOPS 9095 HAS SOUS 3219 HAS SOUPS 2999 WITH SCORE 3014.552
AT ITER 1886 NEW BEST:: SOT 23340 SOS 15550 HAS SOPS 9091 HAS SOUS 3215 HAS SOUPS 2995 WITH SCORE 3010.55
AT ITER 1901 NEW BEST:: SOT 23335 SOS 15542 HAS SOPS 9081 HAS SOUS 3213 HAS SOUPS 2993 WITH SCORE 3008.542
AT ITER 1930 NEW BEST:: SOT 23316 SOS 15523 HAS SOPS 9063 HAS SOUS 3205 HAS SOUPS 2985 WITH SCORE 3000.523
AT ITER 2038 NEW BEST:: SOT 23311 SOS 15508 HAS SOPS 9053 HAS SOUS 3200 HAS SOUPS 2980 WITH SCORE 2995.508
AT ITER 2044 NEW BEST:: SOT 23309 SOS 15502 HAS SOPS 9045 HAS SOUS 3188 HAS SOUPS 2968 WITH SCORE 2983.502
AT ITER 2060 NEW BEST:: SOT 23309 SOS 15506 HAS SOPS 9045 HAS SOUS 3184 HAS SOUPS 2964 WITH SCORE 2979.506
AT ITER 2176 NEW BEST:: SOT 23306 SOS 15497 HAS SOPS 9036 HAS SOUS 3178 HAS SOUPS 2958 WITH SCORE 2973.497
AT ITER 2179 NEW BEST:: SOT 23274 SOS 15467 HAS SOPS 9006 HAS SOUS 3163 HAS SOUPS 2943 WITH SCORE 2958.467
AT ITER 2205 NEW BEST:: SOT 23273 SOS 15478 HAS SOPS 9010 HAS SOUS 3161 HAS SOUPS 2941 WITH SCORE 2956.478
AT ITER 2228 NEW BEST:: SOT 23272 SOS 15475 HAS SOPS 9008 HAS SOUS 3160 HAS SOUPS 2940 WITH SCORE 2955.475
AT ITER 2243 NEW BEST:: SOT 23291 SOS 15494 HAS SOPS 9026 HAS SOUS 3158 HAS SOUPS 2938 WITH SCORE 2953.494
AT ITER 2251 NEW BEST:: SOT 23290 SOS 15663 HAS SOPS 9193 HAS SOUS 3156 HAS SOUPS 2936 WITH SCORE 2951.663
AT ITER 2259 NEW BEST:: SOT 23284 SOS 15661 HAS SOPS 9186 HAS SOUS 3152 HAS SOUPS 2932 WITH SCORE 2947.661
AT ITER 2260 NEW BEST:: SOT 23283 SOS 15657 HAS SOPS 9184 HAS SOUS 3150 HAS SOUPS 2930 WITH SCORE 2945.657
AT ITER 2271 NEW BEST:: SOT 23282 SOS 15655 HAS SOPS 9181 HAS SOUS 3147 HAS SOUPS 2927 WITH SCORE 2942.655
AT ITER 2294 NEW BEST:: SOT 23279 SOS 15651 HAS SOPS 9176 HAS SOUS 3142 HAS SOUPS 2922 WITH SCORE 2937.651
AT ITER 2320 NEW BEST:: SOT 23281 SOS 15651 HAS SOPS 9176 HAS SOUS 3140 HAS SOUPS 2920 WITH SCORE 2935.651
AT ITER 2338 NEW BEST:: SOT 23268 SOS 15636 HAS SOPS 9150 HAS SOUS 3130 HAS SOUPS 2910 WITH SCORE 2925.636
AT ITER 2360 NEW BEST:: SOT 23263 SOS 15620 HAS SOPS 9134 HAS SOUS 3114 HAS SOUPS 2894 WITH SCORE 2909.62
AT ITER 2375 NEW BEST:: SOT 23261 SOS 15609 HAS SOPS 9125 HAS SOUS 3105 HAS SOUPS 2885 WITH SCORE 2900.609
AT ITER 2389 NEW BEST:: SOT 23252 SOS 15602 HAS SOPS 9114 HAS SOUS 3098 HAS SOUPS 2878 WITH SCORE 2893.602
AT ITER 2422 NEW BEST:: SOT 23243 SOS 15587 HAS SOPS 9096 HAS SOUS 3086 HAS SOUPS 2866 WITH SCORE 2881.587
AT ITER 2454 NEW BEST:: SOT 23241 SOS 15585 HAS SOPS 9092 HAS SOUS 3082 HAS SOUPS 2862 WITH SCORE 2877.585
AT ITER 2467 NEW BEST:: SOT 23251 SOS 15608 HAS SOPS 9112 HAS SOUS 3081 HAS SOUPS 2861 WITH SCORE 2876.608
AT ITER 2486 NEW BEST:: SOT 23257 SOS 15612 HAS SOPS 9064 HAS SOUS 3071 HAS SOUPS 2851 WITH SCORE 2866.612
AT ITER 2526 NEW BEST:: SOT 23256 SOS 15605 HAS SOPS 9057 HAS SOUS 3065 HAS SOUPS 2845 WITH SCORE 2860.605
AT ITER 2586 NEW BEST:: SOT 23248 SOS 15593 HAS SOPS 9045 HAS SOUS 3057 HAS SOUPS 2837 WITH SCORE 2852.593
AT ITER 2592 NEW BEST:: SOT 23245 SOS 15589 HAS SOPS 9034 HAS SOUS 3046 HAS SOUPS 2826 WITH SCORE 2841.589
AT ITER 2601 NEW BEST:: SOT 23244 SOS 15586 HAS SOPS 9031 HAS SOUS 3044 HAS SOUPS 2824 WITH SCORE 2839.586
AT ITER 2608 NEW BEST:: SOT 23230 SOS 15572 HAS SOPS 9017 HAS SOUS 3030 HAS SOUPS 2810 WITH SCORE 2825.572
AT ITER 2609 NEW BEST:: SOT 23284 SOS 15627 HAS SOPS 9037 HAS SOUS 3006 HAS SOUPS 2786 WITH SCORE 2801.627
AT ITER 2622 NEW BEST:: SOT 23283 SOS 15626 HAS SOPS 9036 HAS SOUS 3005 HAS SOUPS 2785 WITH SCORE 2800.626
AT ITER 2637 NEW BEST:: SOT 23278 SOS 15620 HAS SOPS 9026 HAS SOUS 2993 HAS SOUPS 2773 WITH SCORE 2788.62
AT ITER 2658 NEW BEST:: SOT 23277 SOS 15616 HAS SOPS 9022 HAS SOUS 2990 HAS SOUPS 2770 WITH SCORE 2785.616
AT ITER 2670 NEW BEST:: SOT 23271 SOS 15582 HAS SOPS 8996 HAS SOUS 2978 HAS SOUPS 2758 WITH SCORE 2773.582
AT ITER 2676 NEW BEST:: SOT 23269 SOS 15578 HAS SOPS 8992 HAS SOUS 2972 HAS SOUPS 2752 WITH SCORE 2767.578
AT ITER 2734 NEW BEST:: SOT 23263 SOS 15580 HAS SOPS 8990 HAS SOUS 2969 HAS SOUPS 2749 WITH SCORE 2764.58
AT ITER 2749 NEW BEST:: SOT 23232 SOS 15554 HAS SOPS 8962 HAS SOUS 2956 HAS SOUPS 2736 WITH SCORE 2751.554
AT ITER 2845 NEW BEST:: SOT 23235 SOS 15557 HAS SOPS 8910 HAS SOUS 2934 HAS SOUPS 2714 WITH SCORE 2729.557
AT ITER 2856 NEW BEST:: SOT 23226 SOS 15538 HAS SOPS 8892 HAS SOUS 2927 HAS SOUPS 2708 WITH SCORE 2723.538
AT ITER 2863 NEW BEST:: SOT 23200 SOS 15514 HAS SOPS 8875 HAS SOUS 2925 HAS SOUPS 2706 WITH SCORE 2721.514
AT ITER 2892 NEW BEST:: SOT 23200 SOS 15513 HAS SOPS 8874 HAS SOUS 2924 HAS SOUPS 2705 WITH SCORE 2720.513
AT ITER 2919 NEW BEST:: SOT 23200 SOS 15512 HAS SOPS 8873 HAS SOUS 2923 HAS SOUPS 2704 WITH SCORE 2719.512
AT ITER 3051 NEW BEST:: SOT 23193 SOS 15498 HAS SOPS 8859 HAS SOUS 2918 HAS SOUPS 2699 WITH SCORE 2714.498
AT ITER 3182 NEW BEST:: SOT 23200 SOS 15498 HAS SOPS 8857 HAS SOUS 2916 HAS SOUPS 2697 WITH SCORE 2712.498
AT ITER 3199 NEW BEST:: SOT 23193 SOS 15480 HAS SOPS 8834 HAS SOUS 2895 HAS SOUPS 2676 WITH SCORE 2691.48
AT ITER 3229 NEW BEST:: SOT 23188 SOS 15475 HAS SOPS 8824 HAS SOUS 2885 HAS SOUPS 2666 WITH SCORE 2681.475
AT ITER 3258 NEW BEST:: SOT 23188 SOS 15475 HAS SOPS 8824 HAS SOUS 2884 HAS SOUPS 2665 WITH SCORE 2680.475
AT ITER 3281 NEW BEST:: SOT 23187 SOS 15473 HAS SOPS 8822 HAS SOUS 2883 HAS SOUPS 2664 WITH SCORE 2679.473
AT ITER 3299 NEW BEST:: SOT 23187 SOS 15403 HAS SOPS 8752 HAS SOUS 2883 HAS SOUPS 2664 WITH SCORE 2679.403
AT ITER 3320 NEW BEST:: SOT 23200 SOS 15415 HAS SOPS 8758 HAS SOUS 2880 HAS SOUPS 2661 WITH SCORE 2676.415
AT ITER 3351 NEW BEST:: SOT 23194 SOS 15406 HAS SOPS 8751 HAS SOUS 2873 HAS SOUPS 2654 WITH SCORE 2669.406
AT ITER 3397 NEW BEST:: SOT 23199 SOS 15373 HAS SOPS 8738 HAS SOUS 2868 HAS SOUPS 2649 WITH SCORE 2664.373
AT ITER 3403 NEW BEST:: SOT 23188 SOS 15365 HAS SOPS 8723 HAS SOUS 2859 HAS SOUPS 2640 WITH SCORE 2655.365
AT ITER 3453 NEW BEST:: SOT 23183 SOS 15361 HAS SOPS 8713 HAS SOUS 2851 HAS SOUPS 2632 WITH SCORE 2647.361
AT ITER 3549 NEW BEST:: SOT 23183 SOS 15360 HAS SOPS 8712 HAS SOUS 2850 HAS SOUPS 2631 WITH SCORE 2646.36
AT ITER 3595 NEW BEST:: SOT 23179 SOS 15356 HAS SOPS 8704 HAS SOUS 2841 HAS SOUPS 2622 WITH SCORE 2637.356
AT ITER 3704 NEW BEST:: SOT 23177 SOS 15352 HAS SOPS 8700 HAS SOUS 2835 HAS SOUPS 2616 WITH SCORE 2631.352
AT ITER 3769 NEW BEST:: SOT 23180 SOS 15238 HAS SOPS 8586 HAS SOUS 2831 HAS SOUPS 2612 WITH SCORE 2627.238
AT ITER 3801 NEW BEST:: SOT 23174 SOS 15220 HAS SOPS 8568 HAS SOUS 2813 HAS SOUPS 2594 WITH SCORE 2609.22
AT ITER 3841 NEW BEST:: SOT 23173 SOS 15219 HAS SOPS 8567 HAS SOUS 2812 HAS SOUPS 2593 WITH SCORE 2608.219
AT ITER 3932 NEW BEST:: SOT 23172 SOS 15218 HAS SOPS 8565 HAS SOUS 2810 HAS SOUPS 2591 WITH SCORE 2606.218
AT ITER 4012 NEW BEST:: SOT 23176 SOS 15222 HAS SOPS 8568 HAS SOUS 2808 HAS SOUPS 2589 WITH SCORE 2604.222
AT ITER 4114 NEW BEST:: SOT 23176 SOS 15221 HAS SOPS 8566 HAS SOUS 2807 HAS SOUPS 2588 WITH SCORE 2603.221
AT ITER 4238 NEW BEST:: SOT 23167 SOS 15203 HAS SOPS 8548 HAS SOUS 2788 HAS SOUPS 2569 WITH SCORE 2584.203
AT ITER 4329 NEW BEST:: SOT 23166 SOS 15200 HAS SOPS 8545 HAS SOUS 2786 HAS SOUPS 2567 WITH SCORE 2582.2
AT ITER 4332 NEW BEST:: SOT 23156 SOS 15193 HAS SOPS 8541 HAS SOUS 2775 HAS SOUPS 2556 WITH SCORE 2571.193
AT ITER 4373 NEW BEST:: SOT 23161 SOS 15195 HAS SOPS 8517 HAS SOUS 2768 HAS SOUPS 2549 WITH SCORE 2564.195
AT ITER 4376 NEW BEST:: SOT 23160 SOS 15194 HAS SOPS 8515 HAS SOUS 2766 HAS SOUPS 2547 WITH SCORE 2562.194
AT ITER 4427 NEW BEST:: SOT 23158 SOS 15190 HAS SOPS 8510 HAS SOUS 2762 HAS SOUPS 2543 WITH SCORE 2558.19
AT ITER 4558 NEW BEST:: SOT 23157 SOS 15189 HAS SOPS 8508 HAS SOUS 2762 HAS SOUPS 2541 WITH SCORE 2556.189
AT ITER 4604 NEW BEST:: SOT 23168 SOS 15197 HAS SOPS 8488 HAS SOUS 2755 HAS SOUPS 2534 WITH SCORE 2549.197
AT ITER 4665 NEW BEST:: SOT 23166 SOS 15189 HAS SOPS 8480 HAS SOUS 2749 HAS SOUPS 2528 WITH SCORE 2543.189
AT ITER 4698 NEW BEST:: SOT 23163 SOS 15180 HAS SOPS 8471 HAS SOUS 2743 HAS SOUPS 2522 WITH SCORE 2537.18
AT ITER 4716 NEW BEST:: SOT 23134 SOS 15156 HAS SOPS 8447 HAS SOUS 2736 HAS SOUPS 2515 WITH SCORE 2530.156
AT ITER 4742 NEW BEST:: SOT 23148 SOS 15170 HAS SOPS 8412 HAS SOUS 2735 HAS SOUPS 2514 WITH SCORE 2529.17
AT ITER 4792 NEW BEST:: SOT 23146 SOS 15175 HAS SOPS 8412 HAS SOUS 2732 HAS SOUPS 2511 WITH SCORE 2526.175
AT ITER 4844 NEW BEST:: SOT 23144 SOS 15173 HAS SOPS 8410 HAS SOUS 2732 HAS SOUPS 2511 WITH SCORE 2526.173
AT ITER 4881 NEW BEST:: SOT 23143 SOS 15172 HAS SOPS 8408 HAS SOUS 2732 HAS SOUPS 2511 WITH SCORE 2526.172
AT ITER 4970 NEW BEST:: SOT 23138 SOS 15167 HAS SOPS 8403 HAS SOUS 2727 HAS SOUPS 2506 WITH SCORE 2521.167
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-00 (! (AG( ( ( potential( (tk(P102)) <= (tk(P35)) ) & potential( (tk(P115)) <= (tk(P104)) ) ) & ( potential( (tk(P102)) <= (tk(P69)) ) | potential( ( 3 ) <= (tk(P100)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-01 (EU( ( ( potential( (tk(P8)) <= (tk(P82)) ) & potential( (tk(P23)) <= (tk(P45)) ) ) & ( potential( (tk(P23)) <= (tk(P16)) ) | potential( (tk(P120)) <= (tk(P32)) ) ) ),( ( potential( ( 2 ) <= (tk(P6)) ) & potential( ( 2 ) <= (tk(P40)) ) ) | ( potential( ( 2 ) <= (tk(P13)) ) & potential( (tk(P110)) <= (tk(P80)) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-02 (AF(( (EF(potential( ( 1 ) <= (tk(P62)) ))) | (AX( potential( ( 1 ) <= (tk(P4)) ))) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-03 ( ( ( potential( ( 2 ) <= (tk(P81)) ) | potential( (tk(P35)) <= (tk(P83)) ) ) | ( ( (! potential( ( 1 ) <= (tk(P111)) )) & potential( ( 1 ) <= (tk(P49)) ) ) & ( ( potential( ( 2 ) <= (tk(P122)) ) & potential( (tk(P116)) <= (tk(P106)) ) ) & (! potential( ( 1 ) <= (tk(P17)) )) ) ) ) & ( (AG( ( potential( (tk(P26)) <= (tk(P89)) ) | potential( (tk(P112)) <= (tk(P90)) ) ))) & (EU( potential( ( 1 ) <= (tk(P93)) ),potential( (tk(P105)) <= (tk(P51)) ) )) ) )
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-04 (AG( (! (EG( potential( ( 2 ) <= (tk(P86)) ))))))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-05 (EU( ( ( potential( ( 2 ) <= (tk(P27)) ) & potential( ( 2 ) <= (tk(P19)) ) ) & ( potential( ( 3 ) <= (tk(P94)) ) | potential( (tk(P104)) <= (tk(P22)) ) ) ),(EF(potential( ( 1 ) <= (tk(P64)) ))) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-06 (AU( (AX( potential( ( 3 ) <= (tk(P76)) ))),(AG( potential( (tk(P103)) <= (tk(P53)) ))) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-07 (AG( (EG( ( potential( (tk(P121)) <= (tk(P39)) ) | potential( (tk(P26)) <= (tk(P29)) ) )))))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-08 ( (EF((AF(potential( ( 3 ) <= (tk(P91)) ))))) & (! (! (AG( potential( (tk(P98)) <= (tk(P109)) ))))) )
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-09 (EU( potential( (tk(P96)) <= (tk(P81)) ),(AX( potential( ( 2 ) <= (tk(P37)) ))) ))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-10 ( (AG( potential( (tk(P98)) <= (tk(P8)) ))) | (EX( ( ( potential( (tk(P120)) <= (tk(P15)) ) & potential( ( 3 ) <= (tk(P13)) ) ) & (! potential( ( 3 ) <= (tk(P73)) )) ))) )
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-11 (AG( ( (AX( potential( ( 3 ) <= (tk(P14)) ))) | (! potential( ( 2 ) <= (tk(P86)) )) )))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-12 (EF((EU( potential( ( 1 ) <= (tk(P48)) ),potential( ( 2 ) <= (tk(P116)) ) ))))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-13 (AG( (! (AX( potential( ( 3 ) <= (tk(P97)) ))))))
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-14 ( (EU( ( potential( (tk(P57)) <= (tk(P27)) ) | potential( ( 1 ) <= (tk(P113)) ) ),( potential( ( 2 ) <= (tk(P90)) ) | potential( ( 3 ) <= (tk(P81)) ) ) )) | (EX( (! ( potential( ( 1 ) <= (tk(P72)) ) | potential( (tk(P63)) <= (tk(P21)) ) )))) )
PROPERTY: FlexibleBarrier-PT-10a-CTLCardinality-15 (AX( ( (AG( potential( (tk(P27)) <= (tk(P10)) ))) & ( (! potential( (tk(P4)) <= (tk(P72)) )) | potential( (tk(P68)) <= (tk(P108)) ) ) )))

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="FlexibleBarrier-PT-10a"
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 FlexibleBarrier-PT-10a, 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 r078-smll-158922972400307"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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