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-158922807300324.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 Dekker-PT-020, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300324
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 247K Apr 27 14:36 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 Dekker-PT-020-CTLFireability-00
FORMULA_NAME Dekker-PT-020-CTLFireability-01
FORMULA_NAME Dekker-PT-020-CTLFireability-02
FORMULA_NAME Dekker-PT-020-CTLFireability-03
FORMULA_NAME Dekker-PT-020-CTLFireability-04
FORMULA_NAME Dekker-PT-020-CTLFireability-05
FORMULA_NAME Dekker-PT-020-CTLFireability-06
FORMULA_NAME Dekker-PT-020-CTLFireability-07
FORMULA_NAME Dekker-PT-020-CTLFireability-08
FORMULA_NAME Dekker-PT-020-CTLFireability-09
FORMULA_NAME Dekker-PT-020-CTLFireability-10
FORMULA_NAME Dekker-PT-020-CTLFireability-11
FORMULA_NAME Dekker-PT-020-CTLFireability-12
FORMULA_NAME Dekker-PT-020-CTLFireability-13
FORMULA_NAME Dekker-PT-020-CTLFireability-14
FORMULA_NAME Dekker-PT-020-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589360028181

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

GOT IT HERE. BS
Petri model created: 100 places, 440 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 38527 SOS 34746 HAS SOPS 31950 HAS SOUS 31744 HAS SOUPS 30088 WITH SCORE 30122.746
AT ITER 1 NEW BEST:: SOT 38527 SOS 34598 HAS SOPS 31587 HAS SOUS 30463 HAS SOUPS 28862 WITH SCORE 28896.598
AT ITER 2 NEW BEST:: SOT 38527 SOS 34382 HAS SOPS 31356 HAS SOUS 29886 HAS SOUPS 28312 WITH SCORE 28346.382
AT ITER 4 NEW BEST:: SOT 38527 SOS 34166 HAS SOPS 31011 HAS SOUS 29053 HAS SOUPS 27516 WITH SCORE 27550.166
AT ITER 5 NEW BEST:: SOT 38527 SOS 33776 HAS SOPS 30649 HAS SOUS 28377 HAS SOUPS 26877 WITH SCORE 26910.776
AT ITER 9 NEW BEST:: SOT 38527 SOS 33757 HAS SOPS 30630 HAS SOUS 28339 HAS SOUPS 26839 WITH SCORE 26872.757
AT ITER 10 NEW BEST:: SOT 37562 SOS 33136 HAS SOPS 29266 HAS SOUS 26000 HAS SOUPS 24502 WITH SCORE 24535.136
AT ITER 11 NEW BEST:: SOT 37280 SOS 32854 HAS SOPS 28984 HAS SOUS 25718 HAS SOUPS 24220 WITH SCORE 24252.854
AT ITER 12 NEW BEST:: SOT 37305 SOS 32669 HAS SOPS 29055 HAS SOUS 25185 HAS SOUPS 23728 WITH SCORE 23760.669
AT ITER 13 NEW BEST:: SOT 36352 SOS 31862 HAS SOPS 27997 HAS SOUS 24211 HAS SOUPS 22741 WITH SCORE 22772.862
AT ITER 14 NEW BEST:: SOT 35705 SOS 31215 HAS SOPS 27331 HAS SOUS 23529 HAS SOUPS 22056 WITH SCORE 22087.215
AT ITER 15 NEW BEST:: SOT 35724 SOS 30892 HAS SOPS 27245 HAS SOUS 23115 HAS SOUPS 21675 WITH SCORE 21705.892
AT ITER 17 NEW BEST:: SOT 35741 SOS 30656 HAS SOPS 26905 HAS SOUS 22654 HAS SOUPS 21231 WITH SCORE 21261.656
AT ITER 20 NEW BEST:: SOT 35741 SOS 30500 HAS SOPS 26549 HAS SOUS 22440 HAS SOUPS 21017 WITH SCORE 21047.5
AT ITER 21 NEW BEST:: SOT 35292 SOS 30063 HAS SOPS 26289 HAS SOUS 21236 HAS SOUPS 19851 WITH SCORE 19881.063
AT ITER 22 NEW BEST:: SOT 35244 SOS 30015 HAS SOPS 26241 HAS SOUS 21185 HAS SOUPS 19803 WITH SCORE 19833.015
AT ITER 23 NEW BEST:: SOT 35244 SOS 29891 HAS SOPS 25842 HAS SOUS 20872 HAS SOUPS 19490 WITH SCORE 19519.891
AT ITER 27 NEW BEST:: SOT 35038 SOS 29632 HAS SOPS 25636 HAS SOUS 19845 HAS SOUPS 18501 WITH SCORE 18530.632
AT ITER 29 NEW BEST:: SOT 34470 SOS 29064 HAS SOPS 25049 HAS SOUS 19239 HAS SOUPS 17895 WITH SCORE 17924.064
AT ITER 37 NEW BEST:: SOT 34318 SOS 28912 HAS SOPS 24897 HAS SOUS 19087 HAS SOUPS 17743 WITH SCORE 17771.912
AT ITER 38 NEW BEST:: SOT 34392 SOS 28921 HAS SOPS 24803 HAS SOUS 19050 HAS SOUPS 17698 WITH SCORE 17726.921
AT ITER 39 NEW BEST:: SOT 34291 SOS 28791 HAS SOPS 24687 HAS SOUS 18778 HAS SOUPS 17444 WITH SCORE 17472.791
AT ITER 41 NEW BEST:: SOT 34317 SOS 28862 HAS SOPS 24884 HAS SOUS 18729 HAS SOUPS 17406 WITH SCORE 17434.862
AT ITER 45 NEW BEST:: SOT 34332 SOS 28797 HAS SOPS 24741 HAS SOUS 18660 HAS SOUPS 17337 WITH SCORE 17365.797
AT ITER 46 NEW BEST:: SOT 34511 SOS 28671 HAS SOPS 24940 HAS SOUS 18503 HAS SOUPS 17214 WITH SCORE 17242.671
AT ITER 48 NEW BEST:: SOT 34464 SOS 28624 HAS SOPS 24893 HAS SOUS 18469 HAS SOUPS 17167 WITH SCORE 17195.624
AT ITER 50 NEW BEST:: SOT 33954 SOS 28114 HAS SOPS 24364 HAS SOUS 17921 HAS SOUPS 16619 WITH SCORE 16647.114
AT ITER 58 NEW BEST:: SOT 33935 SOS 28082 HAS SOPS 24332 HAS SOUS 17889 HAS SOUPS 16587 WITH SCORE 16615.082
AT ITER 60 NEW BEST:: SOT 33910 SOS 28057 HAS SOPS 24289 HAS SOUS 17822 HAS SOUPS 16526 WITH SCORE 16554.057
AT ITER 61 NEW BEST:: SOT 33910 SOS 27952 HAS SOPS 24299 HAS SOUS 17749 HAS SOUPS 16462 WITH SCORE 16489.952
AT ITER 63 NEW BEST:: SOT 34314 SOS 28188 HAS SOPS 24752 HAS SOUS 17344 HAS SOUPS 16110 WITH SCORE 16138.188
AT ITER 64 NEW BEST:: SOT 34600 SOS 27975 HAS SOPS 24694 HAS SOUS 16382 HAS SOUPS 15219 WITH SCORE 15246.975
AT ITER 68 NEW BEST:: SOT 34600 SOS 27928 HAS SOPS 24618 HAS SOUS 16349 HAS SOUPS 15186 WITH SCORE 15213.928
AT ITER 70 NEW BEST:: SOT 34294 SOS 27622 HAS SOPS 24312 HAS SOUS 16043 HAS SOUPS 14880 WITH SCORE 14907.622
AT ITER 72 NEW BEST:: SOT 34399 SOS 27712 HAS SOPS 24416 HAS SOUS 16001 HAS SOUPS 14846 WITH SCORE 14873.712
AT ITER 73 NEW BEST:: SOT 34386 SOS 27718 HAS SOPS 24403 HAS SOUS 15988 HAS SOUPS 14814 WITH SCORE 14841.718
AT ITER 75 NEW BEST:: SOT 34369 SOS 27701 HAS SOPS 24386 HAS SOUS 15971 HAS SOUPS 14797 WITH SCORE 14824.701
AT ITER 76 NEW BEST:: SOT 33811 SOS 27143 HAS SOPS 23827 HAS SOUS 15411 HAS SOUPS 14237 WITH SCORE 14264.143
AT ITER 84 NEW BEST:: SOT 33946 SOS 26417 HAS SOPS 22870 HAS SOUS 14181 HAS SOUPS 13049 WITH SCORE 13075.417
AT ITER 86 NEW BEST:: SOT 34004 SOS 26367 HAS SOPS 23063 HAS SOUS 13803 HAS SOUPS 12706 WITH SCORE 12732.367
AT ITER 89 NEW BEST:: SOT 34008 SOS 26368 HAS SOPS 23067 HAS SOUS 13790 HAS SOUPS 12694 WITH SCORE 12720.368
AT ITER 90 NEW BEST:: SOT 34245 SOS 26546 HAS SOPS 23324 HAS SOUS 13726 HAS SOUPS 12650 WITH SCORE 12676.546
AT ITER 92 NEW BEST:: SOT 34277 SOS 26561 HAS SOPS 23363 HAS SOUS 13649 HAS SOUPS 12580 WITH SCORE 12606.561
AT ITER 98 NEW BEST:: SOT 34277 SOS 26370 HAS SOPS 23083 HAS SOUS 13532 HAS SOUPS 12463 WITH SCORE 12489.37
AT ITER 99 NEW BEST:: SOT 34220 SOS 26313 HAS SOPS 23026 HAS SOUS 13479 HAS SOUPS 12406 WITH SCORE 12432.313
AT ITER 101 NEW BEST:: SOT 34036 SOS 26129 HAS SOPS 22842 HAS SOUS 13303 HAS SOUPS 12222 WITH SCORE 12248.129
AT ITER 102 NEW BEST:: SOT 34903 SOS 26644 HAS SOPS 23795 HAS SOUS 12880 HAS SOUPS 11910 WITH SCORE 11936.644
AT ITER 107 NEW BEST:: SOT 34894 SOS 26629 HAS SOPS 23786 HAS SOUS 12817 HAS SOUPS 11850 WITH SCORE 11876.629
AT ITER 109 NEW BEST:: SOT 34839 SOS 26576 HAS SOPS 23731 HAS SOUS 12800 HAS SOUPS 11831 WITH SCORE 11857.576
AT ITER 112 NEW BEST:: SOT 34839 SOS 26579 HAS SOPS 23656 HAS SOUS 12751 HAS SOUPS 11752 WITH SCORE 11778.579
AT ITER 113 NEW BEST:: SOT 34468 SOS 26222 HAS SOPS 23285 HAS SOUS 12646 HAS SOUPS 11633 WITH SCORE 11659.222
AT ITER 119 NEW BEST:: SOT 34468 SOS 26222 HAS SOPS 23280 HAS SOUS 12641 HAS SOUPS 11623 WITH SCORE 11649.222
AT ITER 121 NEW BEST:: SOT 34468 SOS 26224 HAS SOPS 23262 HAS SOUS 12642 HAS SOUPS 11583 WITH SCORE 11609.224
AT ITER 123 NEW BEST:: SOT 34447 SOS 26203 HAS SOPS 23241 HAS SOUS 12586 HAS SOUPS 11562 WITH SCORE 11588.203
AT ITER 124 NEW BEST:: SOT 34447 SOS 26000 HAS SOPS 23117 HAS SOUS 12533 HAS SOUPS 11517 WITH SCORE 11543.0
AT ITER 125 NEW BEST:: SOT 34447 SOS 25958 HAS SOPS 23053 HAS SOUS 12469 HAS SOUPS 11473 WITH SCORE 11498.958
AT ITER 126 NEW BEST:: SOT 34447 SOS 25588 HAS SOPS 22612 HAS SOUS 12354 HAS SOUPS 11362 WITH SCORE 11387.588
AT ITER 128 NEW BEST:: SOT 34447 SOS 25528 HAS SOPS 22696 HAS SOUS 12278 HAS SOUPS 11286 WITH SCORE 11311.528
AT ITER 133 NEW BEST:: SOT 34433 SOS 25155 HAS SOPS 22133 HAS SOUS 12034 HAS SOUPS 11046 WITH SCORE 11071.155
AT ITER 134 NEW BEST:: SOT 34430 SOS 25152 HAS SOPS 22130 HAS SOUS 12031 HAS SOUPS 11043 WITH SCORE 11068.152
AT ITER 135 NEW BEST:: SOT 34430 SOS 25132 HAS SOPS 22109 HAS SOUS 12028 HAS SOUPS 11040 WITH SCORE 11065.132
AT ITER 137 NEW BEST:: SOT 34358 SOS 25347 HAS SOPS 22358 HAS SOUS 12024 HAS SOUPS 11017 WITH SCORE 11042.347
AT ITER 138 NEW BEST:: SOT 34322 SOS 25311 HAS SOPS 22321 HAS SOUS 11986 HAS SOUPS 10979 WITH SCORE 11004.311
AT ITER 144 NEW BEST:: SOT 34324 SOS 25289 HAS SOPS 22323 HAS SOUS 11955 HAS SOUPS 10948 WITH SCORE 10973.289
AT ITER 150 NEW BEST:: SOT 34315 SOS 25196 HAS SOPS 22194 HAS SOUS 11898 HAS SOUPS 10891 WITH SCORE 10916.196
AT ITER 151 NEW BEST:: SOT 34354 SOS 25223 HAS SOPS 22233 HAS SOUS 11889 HAS SOUPS 10885 WITH SCORE 10910.223
AT ITER 160 NEW BEST:: SOT 34338 SOS 25207 HAS SOPS 22217 HAS SOUS 11873 HAS SOUPS 10869 WITH SCORE 10894.207
AT ITER 162 NEW BEST:: SOT 34338 SOS 25124 HAS SOPS 22097 HAS SOUS 11832 HAS SOUPS 10820 WITH SCORE 10845.124
AT ITER 177 NEW BEST:: SOT 34338 SOS 25066 HAS SOPS 22009 HAS SOUS 11809 HAS SOUPS 10797 WITH SCORE 10822.066
AT ITER 185 NEW BEST:: SOT 34338 SOS 24820 HAS SOPS 22009 HAS SOUS 11695 HAS SOUPS 10701 WITH SCORE 10725.82
AT ITER 186 NEW BEST:: SOT 34533 SOS 24840 HAS SOPS 22204 HAS SOUS 11225 HAS SOUPS 10273 WITH SCORE 10297.84
AT ITER 191 NEW BEST:: SOT 35114 SOS 25640 HAS SOPS 23541 HAS SOUS 11012 HAS SOUPS 10076 WITH SCORE 10101.64
AT ITER 192 NEW BEST:: SOT 35082 SOS 25608 HAS SOPS 23509 HAS SOUS 10980 HAS SOUPS 10044 WITH SCORE 10069.608
AT ITER 194 NEW BEST:: SOT 35226 SOS 25676 HAS SOPS 23805 HAS SOUS 10671 HAS SOUPS 9770 WITH SCORE 9795.676
AT ITER 196 NEW BEST:: SOT 35226 SOS 25686 HAS SOPS 23811 HAS SOUS 10677 HAS SOUPS 9766 WITH SCORE 9791.686
AT ITER 202 NEW BEST:: SOT 35215 SOS 25675 HAS SOPS 23800 HAS SOUS 10666 HAS SOUPS 9755 WITH SCORE 9780.675
AT ITER 206 NEW BEST:: SOT 35169 SOS 25650 HAS SOPS 23775 HAS SOUS 10669 HAS SOUPS 9711 WITH SCORE 9736.65
AT ITER 211 NEW BEST:: SOT 35169 SOS 25430 HAS SOPS 23506 HAS SOUS 10617 HAS SOUPS 9661 WITH SCORE 9686.43
AT ITER 214 NEW BEST:: SOT 35184 SOS 25444 HAS SOPS 23521 HAS SOUS 10613 HAS SOUPS 9658 WITH SCORE 9683.444
AT ITER 215 NEW BEST:: SOT 35237 SOS 25571 HAS SOPS 23805 HAS SOUS 10427 HAS SOUPS 9472 WITH SCORE 9497.571
AT ITER 217 NEW BEST:: SOT 35137 SOS 25471 HAS SOPS 23708 HAS SOUS 10330 HAS SOUPS 9378 WITH SCORE 9403.471
AT ITER 231 NEW BEST:: SOT 35146 SOS 25582 HAS SOPS 23957 HAS SOUS 10099 HAS SOUPS 9176 WITH SCORE 9201.582
AT ITER 232 NEW BEST:: SOT 35150 SOS 25570 HAS SOPS 23969 HAS SOUS 10051 HAS SOUPS 9132 WITH SCORE 9157.57
AT ITER 233 NEW BEST:: SOT 35107 SOS 25527 HAS SOPS 23926 HAS SOUS 10008 HAS SOUPS 9089 WITH SCORE 9114.527
AT ITER 234 NEW BEST:: SOT 35105 SOS 25525 HAS SOPS 23924 HAS SOUS 10006 HAS SOUPS 9087 WITH SCORE 9112.525
AT ITER 239 NEW BEST:: SOT 35089 SOS 25488 HAS SOPS 23866 HAS SOUS 9949 HAS SOUPS 9029 WITH SCORE 9054.488
AT ITER 243 NEW BEST:: SOT 35089 SOS 25009 HAS SOPS 23386 HAS SOUS 9899 HAS SOUPS 9004 WITH SCORE 9029.009
AT ITER 251 NEW BEST:: SOT 35089 SOS 24995 HAS SOPS 23372 HAS SOUS 9885 HAS SOUPS 8990 WITH SCORE 9014.995
AT ITER 252 NEW BEST:: SOT 35105 SOS 25010 HAS SOPS 23388 HAS SOUS 9882 HAS SOUPS 8988 WITH SCORE 9013.01
AT ITER 257 NEW BEST:: SOT 35105 SOS 24943 HAS SOPS 23327 HAS SOUS 9871 HAS SOUPS 8984 WITH SCORE 9008.943
AT ITER 261 NEW BEST:: SOT 35389 SOS 25047 HAS SOPS 23211 HAS SOUS 9395 HAS SOUPS 8533 WITH SCORE 8558.047
AT ITER 264 NEW BEST:: SOT 35389 SOS 24222 HAS SOPS 22287 HAS SOUS 9208 HAS SOUPS 8346 WITH SCORE 8370.222
AT ITER 267 NEW BEST:: SOT 35389 SOS 24227 HAS SOPS 22287 HAS SOUS 9203 HAS SOUPS 8341 WITH SCORE 8365.227
AT ITER 271 NEW BEST:: SOT 35348 SOS 24160 HAS SOPS 22177 HAS SOUS 9090 HAS SOUPS 8214 WITH SCORE 8238.16
AT ITER 275 NEW BEST:: SOT 35144 SOS 23956 HAS SOPS 21973 HAS SOUS 8886 HAS SOUPS 8010 WITH SCORE 8033.956
AT ITER 278 NEW BEST:: SOT 35144 SOS 23916 HAS SOPS 21917 HAS SOUS 8866 HAS SOUPS 7976 WITH SCORE 7999.916
AT ITER 292 NEW BEST:: SOT 35372 SOS 24037 HAS SOPS 22145 HAS SOUS 8741 HAS SOUPS 7874 WITH SCORE 7898.037
AT ITER 303 NEW BEST:: SOT 35372 SOS 23696 HAS SOPS 21804 HAS SOUS 8723 HAS SOUPS 7856 WITH SCORE 7879.696
AT ITER 313 NEW BEST:: SOT 35371 SOS 23695 HAS SOPS 21803 HAS SOUS 8722 HAS SOUPS 7855 WITH SCORE 7878.695
AT ITER 320 NEW BEST:: SOT 34676 SOS 23051 HAS SOPS 21091 HAS SOUS 8617 HAS SOUPS 7701 WITH SCORE 7724.051
AT ITER 324 NEW BEST:: SOT 35068 SOS 23344 HAS SOPS 21485 HAS SOUS 8530 HAS SOUPS 7645 WITH SCORE 7668.344
AT ITER 331 NEW BEST:: SOT 35063 SOS 23339 HAS SOPS 21480 HAS SOUS 8525 HAS SOUPS 7640 WITH SCORE 7663.339
AT ITER 334 NEW BEST:: SOT 35063 SOS 23136 HAS SOPS 21277 HAS SOUS 8486 HAS SOUPS 7627 WITH SCORE 7650.136
AT ITER 347 NEW BEST:: SOT 35037 SOS 23110 HAS SOPS 21251 HAS SOUS 8451 HAS SOUPS 7601 WITH SCORE 7624.11
AT ITER 349 NEW BEST:: SOT 35037 SOS 23368 HAS SOPS 21467 HAS SOUS 8458 HAS SOUPS 7555 WITH SCORE 7578.368
AT ITER 357 NEW BEST:: SOT 35037 SOS 23368 HAS SOPS 21465 HAS SOUS 8458 HAS SOUPS 7551 WITH SCORE 7574.368
AT ITER 364 NEW BEST:: SOT 34905 SOS 23227 HAS SOPS 21315 HAS SOUS 8317 HAS SOUPS 7401 WITH SCORE 7424.227
AT ITER 370 NEW BEST:: SOT 34872 SOS 23194 HAS SOPS 21282 HAS SOUS 8284 HAS SOUPS 7368 WITH SCORE 7391.194
AT ITER 373 NEW BEST:: SOT 34869 SOS 23191 HAS SOPS 21279 HAS SOUS 8281 HAS SOUPS 7365 WITH SCORE 7388.191
AT ITER 380 NEW BEST:: SOT 34780 SOS 23073 HAS SOPS 21127 HAS SOUS 8272 HAS SOUPS 7350 WITH SCORE 7373.073
AT ITER 402 NEW BEST:: SOT 34780 SOS 23073 HAS SOPS 21116 HAS SOUS 8261 HAS SOUPS 7328 WITH SCORE 7351.073
AT ITER 403 NEW BEST:: SOT 34790 SOS 23052 HAS SOPS 21131 HAS SOUS 8207 HAS SOUPS 7284 WITH SCORE 7307.052
AT ITER 408 NEW BEST:: SOT 35140 SOS 23621 HAS SOPS 21859 HAS SOUS 8162 HAS SOUPS 7240 WITH SCORE 7263.621
AT ITER 421 NEW BEST:: SOT 34895 SOS 23406 HAS SOPS 21614 HAS SOUS 8167 HAS SOUPS 7231 WITH SCORE 7254.406
AT ITER 424 NEW BEST:: SOT 34860 SOS 23115 HAS SOPS 21313 HAS SOUS 8084 HAS SOUPS 7148 WITH SCORE 7171.115
AT ITER 449 NEW BEST:: SOT 34860 SOS 22896 HAS SOPS 21084 HAS SOUS 8054 HAS SOUPS 7117 WITH SCORE 7139.896
AT ITER 451 NEW BEST:: SOT 34860 SOS 22670 HAS SOPS 20875 HAS SOUS 8037 HAS SOUPS 7117 WITH SCORE 7139.67
AT ITER 453 NEW BEST:: SOT 34841 SOS 22651 HAS SOPS 20856 HAS SOUS 8018 HAS SOUPS 7098 WITH SCORE 7120.651
AT ITER 465 NEW BEST:: SOT 34877 SOS 22678 HAS SOPS 20892 HAS SOUS 8003 HAS SOUPS 7086 WITH SCORE 7108.678
AT ITER 478 NEW BEST:: SOT 34876 SOS 22653 HAS SOPS 20867 HAS SOUS 7978 HAS SOUPS 7085 WITH SCORE 7107.653
AT ITER 495 NEW BEST:: SOT 34876 SOS 22590 HAS SOPS 20807 HAS SOUS 7975 HAS SOUPS 7085 WITH SCORE 7107.59
AT ITER 503 NEW BEST:: SOT 34654 SOS 23344 HAS SOPS 21622 HAS SOUS 7914 HAS SOUPS 7024 WITH SCORE 7047.344
AT ITER 504 NEW BEST:: SOT 34626 SOS 23316 HAS SOPS 21594 HAS SOUS 7886 HAS SOUPS 6996 WITH SCORE 7019.316
AT ITER 507 NEW BEST:: SOT 34630 SOS 23335 HAS SOPS 21619 HAS SOUS 7878 HAS SOUPS 6989 WITH SCORE 7012.335
AT ITER 515 NEW BEST:: SOT 34630 SOS 23348 HAS SOPS 21619 HAS SOUS 7878 HAS SOUPS 6976 WITH SCORE 6999.348
AT ITER 538 NEW BEST:: SOT 34630 SOS 23348 HAS SOPS 21616 HAS SOUS 7875 HAS SOUPS 6970 WITH SCORE 6993.348
AT ITER 540 NEW BEST:: SOT 34630 SOS 23487 HAS SOPS 21747 HAS SOUS 7873 HAS SOUPS 6968 WITH SCORE 6991.487
AT ITER 544 NEW BEST:: SOT 34577 SOS 23436 HAS SOPS 21734 HAS SOUS 7822 HAS SOUPS 6955 WITH SCORE 6978.436
AT ITER 545 NEW BEST:: SOT 34561 SOS 23408 HAS SOPS 21691 HAS SOUS 7794 HAS SOUPS 6912 WITH SCORE 6935.408
AT ITER 554 NEW BEST:: SOT 34577 SOS 23423 HAS SOPS 21707 HAS SOUS 7791 HAS SOUPS 6910 WITH SCORE 6933.423
AT ITER 559 NEW BEST:: SOT 34637 SOS 23418 HAS SOPS 21782 HAS SOUS 7591 HAS SOUPS 6742 WITH SCORE 6765.418
AT ITER 568 NEW BEST:: SOT 34637 SOS 23355 HAS SOPS 21722 HAS SOUS 7588 HAS SOUPS 6742 WITH SCORE 6765.355
AT ITER 574 NEW BEST:: SOT 34651 SOS 23369 HAS SOPS 21726 HAS SOUS 7592 HAS SOUPS 6736 WITH SCORE 6759.369
AT ITER 599 NEW BEST:: SOT 34667 SOS 23367 HAS SOPS 21742 HAS SOUS 7506 HAS SOUPS 6656 WITH SCORE 6679.367
AT ITER 601 NEW BEST:: SOT 34885 SOS 23558 HAS SOPS 21960 HAS SOUS 7491 HAS SOUPS 6654 WITH SCORE 6677.558
AT ITER 602 NEW BEST:: SOT 34786 SOS 23450 HAS SOPS 21852 HAS SOUS 7383 HAS SOUPS 6546 WITH SCORE 6569.45
AT ITER 603 NEW BEST:: SOT 34786 SOS 23450 HAS SOPS 21850 HAS SOUS 7381 HAS SOUPS 6542 WITH SCORE 6565.45
AT ITER 616 NEW BEST:: SOT 34796 SOS 23424 HAS SOPS 21814 HAS SOUS 7345 HAS SOUPS 6530 WITH SCORE 6553.424
AT ITER 622 NEW BEST:: SOT 34843 SOS 23468 HAS SOPS 21861 HAS SOUS 7335 HAS SOUPS 6523 WITH SCORE 6546.468
AT ITER 631 NEW BEST:: SOT 34843 SOS 23272 HAS SOPS 21651 HAS SOUS 7309 HAS SOUPS 6493 WITH SCORE 6516.272
AT ITER 635 NEW BEST:: SOT 34843 SOS 23041 HAS SOPS 21420 HAS SOUS 7269 HAS SOUPS 6471 WITH SCORE 6494.041
AT ITER 649 NEW BEST:: SOT 35022 SOS 23189 HAS SOPS 21609 HAS SOUS 7229 HAS SOUPS 6454 WITH SCORE 6477.189
AT ITER 650 NEW BEST:: SOT 35022 SOS 23210 HAS SOPS 21624 HAS SOUS 7225 HAS SOUPS 6444 WITH SCORE 6467.21
AT ITER 672 NEW BEST:: SOT 35022 SOS 23211 HAS SOPS 21618 HAS SOUS 7225 HAS SOUPS 6432 WITH SCORE 6455.211
AT ITER 673 NEW BEST:: SOT 35022 SOS 23169 HAS SOPS 21576 HAS SOUS 7232 HAS SOUPS 6428 WITH SCORE 6451.169
AT ITER 696 NEW BEST:: SOT 35006 SOS 23153 HAS SOPS 21560 HAS SOUS 7216 HAS SOUPS 6412 WITH SCORE 6435.153
AT ITER 704 NEW BEST:: SOT 35006 SOS 23159 HAS SOPS 21565 HAS SOUS 7221 HAS SOUPS 6410 WITH SCORE 6433.159
AT ITER 712 NEW BEST:: SOT 35005 SOS 23158 HAS SOPS 21564 HAS SOUS 7220 HAS SOUPS 6409 WITH SCORE 6432.158
AT ITER 746 NEW BEST:: SOT 34947 SOS 23104 HAS SOPS 21506 HAS SOUS 7198 HAS SOUPS 6385 WITH SCORE 6408.104
AT ITER 758 NEW BEST:: SOT 34955 SOS 23103 HAS SOPS 21517 HAS SOUS 7158 HAS SOUPS 6351 WITH SCORE 6374.103
AT ITER 759 NEW BEST:: SOT 35146 SOS 23259 HAS SOPS 21723 HAS SOUS 7099 HAS SOUPS 6322 WITH SCORE 6345.259
AT ITER 764 NEW BEST:: SOT 35146 SOS 23259 HAS SOPS 21721 HAS SOUS 7097 HAS SOUPS 6318 WITH SCORE 6341.259
AT ITER 787 NEW BEST:: SOT 35146 SOS 23290 HAS SOPS 21752 HAS SOUS 7090 HAS SOUPS 6311 WITH SCORE 6334.29
AT ITER 795 NEW BEST:: SOT 35150 SOS 23288 HAS SOPS 21743 HAS SOUS 7081 HAS SOUPS 6301 WITH SCORE 6324.288
AT ITER 810 NEW BEST:: SOT 35150 SOS 23308 HAS SOPS 21761 HAS SOUS 7081 HAS SOUPS 6299 WITH SCORE 6322.308
AT ITER 814 NEW BEST:: SOT 35150 SOS 23317 HAS SOPS 21752 HAS SOUS 7072 HAS SOUPS 6272 WITH SCORE 6295.317
AT ITER 829 NEW BEST:: SOT 34970 SOS 23045 HAS SOPS 21336 HAS SOUS 7041 HAS SOUPS 6225 WITH SCORE 6248.045
AT ITER 841 NEW BEST:: SOT 34865 SOS 22958 HAS SOPS 21231 HAS SOUS 7038 HAS SOUPS 6216 WITH SCORE 6238.958
AT ITER 854 NEW BEST:: SOT 34865 SOS 23230 HAS SOPS 21476 HAS SOUS 7067 HAS SOUPS 6206 WITH SCORE 6229.23
AT ITER 900 NEW BEST:: SOT 34865 SOS 23230 HAS SOPS 21475 HAS SOUS 7067 HAS SOUPS 6205 WITH SCORE 6228.23
AT ITER 920 NEW BEST:: SOT 34865 SOS 23104 HAS SOPS 21353 HAS SOUS 7048 HAS SOUPS 6201 WITH SCORE 6224.104
AT ITER 928 NEW BEST:: SOT 34865 SOS 23104 HAS SOPS 21352 HAS SOUS 7047 HAS SOUPS 6199 WITH SCORE 6222.104
AT ITER 941 NEW BEST:: SOT 34865 SOS 23108 HAS SOPS 21353 HAS SOUS 7048 HAS SOUPS 6197 WITH SCORE 6220.108
AT ITER 960 NEW BEST:: SOT 34863 SOS 23106 HAS SOPS 21343 HAS SOUS 7038 HAS SOUPS 6179 WITH SCORE 6202.106
AT ITER 964 NEW BEST:: SOT 34863 SOS 22917 HAS SOPS 21156 HAS SOUS 7012 HAS SOUPS 6165 WITH SCORE 6187.917
AT ITER 969 NEW BEST:: SOT 34864 SOS 22918 HAS SOPS 21151 HAS SOUS 7007 HAS SOUPS 6154 WITH SCORE 6176.918
AT ITER 1004 NEW BEST:: SOT 34864 SOS 22918 HAS SOPS 21132 HAS SOUS 6982 HAS SOUPS 6116 WITH SCORE 6138.918
AT ITER 1005 NEW BEST:: SOT 34769 SOS 22822 HAS SOPS 20997 HAS SOUS 6944 HAS SOUPS 6073 WITH SCORE 6095.822
AT ITER 1008 NEW BEST:: SOT 34760 SOS 22813 HAS SOPS 20988 HAS SOUS 6935 HAS SOUPS 6064 WITH SCORE 6086.813
AT ITER 1013 NEW BEST:: SOT 34760 SOS 22813 HAS SOPS 20987 HAS SOUS 6934 HAS SOUPS 6062 WITH SCORE 6084.813
AT ITER 1034 NEW BEST:: SOT 34758 SOS 22809 HAS SOPS 20981 HAS SOUS 6928 HAS SOUPS 6056 WITH SCORE 6078.809
AT ITER 1065 NEW BEST:: SOT 34758 SOS 22788 HAS SOPS 20960 HAS SOUS 6926 HAS SOUPS 6054 WITH SCORE 6076.788
AT ITER 1081 NEW BEST:: SOT 34758 SOS 22788 HAS SOPS 20957 HAS SOUS 6920 HAS SOUPS 6048 WITH SCORE 6070.788
AT ITER 1099 NEW BEST:: SOT 34991 SOS 22973 HAS SOPS 21207 HAS SOUS 6878 HAS SOUPS 6040 WITH SCORE 6062.973
AT ITER 1166 NEW BEST:: SOT 34991 SOS 22973 HAS SOPS 21204 HAS SOUS 6875 HAS SOUPS 6034 WITH SCORE 6056.973
AT ITER 1175 NEW BEST:: SOT 34991 SOS 22910 HAS SOPS 21141 HAS SOUS 6869 HAS SOUPS 6028 WITH SCORE 6050.91
AT ITER 1248 NEW BEST:: SOT 35039 SOS 22946 HAS SOPS 21189 HAS SOUS 6849 HAS SOUPS 6012 WITH SCORE 6034.946
AT ITER 1251 NEW BEST:: SOT 35226 SOS 23108 HAS SOPS 21376 HAS SOUS 6809 HAS SOUPS 5977 WITH SCORE 6000.108
AT ITER 1253 NEW BEST:: SOT 35554 SOS 23379 HAS SOPS 21704 HAS SOUS 6774 HAS SOUPS 5963 WITH SCORE 5986.379
AT ITER 1273 NEW BEST:: SOT 35499 SOS 23324 HAS SOPS 21639 HAS SOUS 6709 HAS SOUPS 5888 WITH SCORE 5911.324
AT ITER 1285 NEW BEST:: SOT 35499 SOS 23204 HAS SOPS 21513 HAS SOUS 6691 HAS SOUPS 5870 WITH SCORE 5893.204
AT ITER 1307 NEW BEST:: SOT 35423 SOS 23109 HAS SOPS 21374 HAS SOUS 6622 HAS SOUPS 5801 WITH SCORE 5824.109
AT ITER 1326 NEW BEST:: SOT 35423 SOS 23277 HAS SOPS 21529 HAS SOUS 6638 HAS SOUPS 5791 WITH SCORE 5814.277
AT ITER 1340 NEW BEST:: SOT 35406 SOS 23260 HAS SOPS 21512 HAS SOUS 6621 HAS SOUPS 5774 WITH SCORE 5797.26
AT ITER 1367 NEW BEST:: SOT 35354 SOS 23208 HAS SOPS 21457 HAS SOUS 6566 HAS SOUPS 5716 WITH SCORE 5739.208
AT ITER 1371 NEW BEST:: SOT 35354 SOS 23208 HAS SOPS 21454 HAS SOUS 6563 HAS SOUPS 5710 WITH SCORE 5733.208
AT ITER 1382 NEW BEST:: SOT 35320 SOS 23172 HAS SOPS 21400 HAS SOUS 6529 HAS SOUPS 5675 WITH SCORE 5698.172
AT ITER 1388 NEW BEST:: SOT 35320 SOS 23151 HAS SOPS 21379 HAS SOUS 6527 HAS SOUPS 5673 WITH SCORE 5696.151
AT ITER 1411 NEW BEST:: SOT 35320 SOS 23109 HAS SOPS 21337 HAS SOUS 6525 HAS SOUPS 5669 WITH SCORE 5692.109
AT ITER 1462 NEW BEST:: SOT 35304 SOS 23093 HAS SOPS 21323 HAS SOUS 6511 HAS SOUPS 5657 WITH SCORE 5680.093
AT ITER 1480 NEW BEST:: SOT 35310 SOS 23096 HAS SOPS 21329 HAS SOUS 6500 HAS SOUPS 5647 WITH SCORE 5670.096
AT ITER 1482 NEW BEST:: SOT 35230 SOS 23025 HAS SOPS 21249 HAS SOUS 6491 HAS SOUPS 5634 WITH SCORE 5657.025
AT ITER 1493 NEW BEST:: SOT 35230 SOS 23025 HAS SOPS 21246 HAS SOUS 6488 HAS SOUPS 5628 WITH SCORE 5651.025
AT ITER 1512 NEW BEST:: SOT 35198 SOS 22993 HAS SOPS 21214 HAS SOUS 6456 HAS SOUPS 5596 WITH SCORE 5618.993
AT ITER 1530 NEW BEST:: SOT 35194 SOS 22989 HAS SOPS 21207 HAS SOUS 6449 HAS SOUPS 5586 WITH SCORE 5608.989
AT ITER 1535 NEW BEST:: SOT 35194 SOS 22842 HAS SOPS 21063 HAS SOUS 6431 HAS SOUPS 5578 WITH SCORE 5600.842
AT ITER 1547 NEW BEST:: SOT 35194 SOS 22779 HAS SOPS 21000 HAS SOUS 6425 HAS SOUPS 5572 WITH SCORE 5594.779
AT ITER 1549 NEW BEST:: SOT 35194 SOS 22612 HAS SOPS 20840 HAS SOUS 6408 HAS SOUPS 5571 WITH SCORE 5593.612
AT ITER 1557 NEW BEST:: SOT 35194 SOS 22612 HAS SOPS 20839 HAS SOUS 6407 HAS SOUPS 5569 WITH SCORE 5591.612
AT ITER 1566 NEW BEST:: SOT 35194 SOS 22599 HAS SOPS 20797 HAS SOUS 6371 HAS SOUPS 5536 WITH SCORE 5558.599
AT ITER 1585 NEW BEST:: SOT 35193 SOS 22598 HAS SOPS 20796 HAS SOUS 6370 HAS SOUPS 5535 WITH SCORE 5557.598
AT ITER 1604 NEW BEST:: SOT 35193 SOS 22598 HAS SOPS 20795 HAS SOUS 6369 HAS SOUPS 5533 WITH SCORE 5555.598
AT ITER 1626 NEW BEST:: SOT 35193 SOS 22578 HAS SOPS 20775 HAS SOUS 6366 HAS SOUPS 5532 WITH SCORE 5554.578
AT ITER 1699 NEW BEST:: SOT 35191 SOS 22576 HAS SOPS 20773 HAS SOUS 6364 HAS SOUPS 5530 WITH SCORE 5552.576
AT ITER 1752 NEW BEST:: SOT 35191 SOS 22577 HAS SOPS 20752 HAS SOUS 6369 HAS SOUPS 5528 WITH SCORE 5550.577
AT ITER 1764 NEW BEST:: SOT 35205 SOS 22591 HAS SOPS 20749 HAS SOUS 6366 HAS SOUPS 5508 WITH SCORE 5530.591
AT ITER 1863 NEW BEST:: SOT 35198 SOS 22584 HAS SOPS 20742 HAS SOUS 6359 HAS SOUPS 5501 WITH SCORE 5523.584
AT ITER 1909 NEW BEST:: SOT 35166 SOS 22553 HAS SOPS 20708 HAS SOUS 6343 HAS SOUPS 5484 WITH SCORE 5506.553
AT ITER 2113 NEW BEST:: SOT 35165 SOS 22552 HAS SOPS 20707 HAS SOUS 6341 HAS SOUPS 5483 WITH SCORE 5505.552
AT ITER 2217 NEW BEST:: SOT 35164 SOS 22551 HAS SOPS 20705 HAS SOUS 6340 HAS SOUPS 5481 WITH SCORE 5503.551
AT ITER 2266 NEW BEST:: SOT 35164 SOS 22551 HAS SOPS 20701 HAS SOUS 6336 HAS SOUPS 5473 WITH SCORE 5495.551
AT ITER 2268 NEW BEST:: SOT 35164 SOS 22551 HAS SOPS 20700 HAS SOUS 6335 HAS SOUPS 5471 WITH SCORE 5493.551
AT ITER 2269 NEW BEST:: SOT 35148 SOS 22535 HAS SOPS 20688 HAS SOUS 6323 HAS SOUPS 5463 WITH SCORE 5485.535
AT ITER 2309 NEW BEST:: SOT 35148 SOS 22535 HAS SOPS 20687 HAS SOUS 6322 HAS SOUPS 5461 WITH SCORE 5483.535
AT ITER 2326 NEW BEST:: SOT 35148 SOS 22534 HAS SOPS 20686 HAS SOUS 6321 HAS SOUPS 5461 WITH SCORE 5483.534
AT ITER 2353 NEW BEST:: SOT 35148 SOS 22534 HAS SOPS 20685 HAS SOUS 6321 HAS SOUPS 5459 WITH SCORE 5481.534
AT ITER 2374 NEW BEST:: SOT 35148 SOS 22513 HAS SOPS 20664 HAS SOUS 6319 HAS SOUPS 5457 WITH SCORE 5479.513
AT ITER 2415 NEW BEST:: SOT 35148 SOS 22328 HAS SOPS 20486 HAS SOUS 6302 HAS SOUPS 5453 WITH SCORE 5475.328
AT ITER 2503 NEW BEST:: SOT 35152 SOS 22325 HAS SOPS 20490 HAS SOUS 6273 HAS SOUPS 5426 WITH SCORE 5448.325
AT ITER 2533 NEW BEST:: SOT 35152 SOS 22325 HAS SOPS 20489 HAS SOUS 6272 HAS SOUPS 5424 WITH SCORE 5446.325
AT ITER 2544 NEW BEST:: SOT 35152 SOS 22325 HAS SOPS 20488 HAS SOUS 6271 HAS SOUPS 5422 WITH SCORE 5444.325
AT ITER 2608 NEW BEST:: SOT 35152 SOS 22304 HAS SOPS 20467 HAS SOUS 6268 HAS SOUPS 5420 WITH SCORE 5442.304
AT ITER 2613 NEW BEST:: SOT 35143 SOS 22291 HAS SOPS 20452 HAS SOUS 6253 HAS SOUPS 5405 WITH SCORE 5427.291
AT ITER 2624 NEW BEST:: SOT 34995 SOS 22173 HAS SOPS 20294 HAS SOUS 6265 HAS SOUPS 5397 WITH SCORE 5419.173
AT ITER 2638 NEW BEST:: SOT 34995 SOS 22152 HAS SOPS 20273 HAS SOUS 6263 HAS SOUPS 5395 WITH SCORE 5417.152
AT ITER 2671 NEW BEST:: SOT 34971 SOS 22131 HAS SOPS 20248 HAS SOUS 6255 HAS SOUPS 5385 WITH SCORE 5407.131
AT ITER 2673 NEW BEST:: SOT 34953 SOS 22114 HAS SOPS 20230 HAS SOUS 6256 HAS SOUPS 5385 WITH SCORE 5407.114
AT ITER 2699 NEW BEST:: SOT 34863 SOS 22030 HAS SOPS 20140 HAS SOUS 6220 HAS SOUPS 5346 WITH SCORE 5368.03
AT ITER 2768 NEW BEST:: SOT 34863 SOS 21988 HAS SOPS 20100 HAS SOUS 6216 HAS SOUPS 5346 WITH SCORE 5367.988
AT ITER 2803 NEW BEST:: SOT 34850 SOS 21976 HAS SOPS 20088 HAS SOUS 6204 HAS SOUPS 5334 WITH SCORE 5355.976
AT ITER 2819 NEW BEST:: SOT 34850 SOS 22015 HAS SOPS 20124 HAS SOUS 6202 HAS SOUPS 5332 WITH SCORE 5354.015
AT ITER 2821 NEW BEST:: SOT 34850 SOS 21991 HAS SOPS 20100 HAS SOUS 6197 HAS SOUPS 5327 WITH SCORE 5348.991
AT ITER 2900 NEW BEST:: SOT 34845 SOS 21975 HAS SOPS 20053 HAS SOUS 6157 HAS SOUPS 5287 WITH SCORE 5308.975
AT ITER 2933 NEW BEST:: SOT 34845 SOS 21995 HAS SOPS 20071 HAS SOUS 6157 HAS SOUPS 5285 WITH SCORE 5306.995
AT ITER 2955 NEW BEST:: SOT 34845 SOS 21938 HAS SOPS 20014 HAS SOUS 6154 HAS SOUPS 5282 WITH SCORE 5303.938
AT ITER 2974 NEW BEST:: SOT 34979 SOS 22039 HAS SOPS 20159 HAS SOUS 6112 HAS SOUPS 5262 WITH SCORE 5284.039
AT ITER 2977 NEW BEST:: SOT 34979 SOS 22039 HAS SOPS 20158 HAS SOUS 6111 HAS SOUPS 5260 WITH SCORE 5282.039
AT ITER 3096 NEW BEST:: SOT 34977 SOS 22027 HAS SOPS 20114 HAS SOUS 6071 HAS SOUPS 5222 WITH SCORE 5244.027
AT ITER 3211 NEW BEST:: SOT 34977 SOS 21947 HAS SOPS 20038 HAS SOUS 6067 HAS SOUPS 5222 WITH SCORE 5243.947
AT ITER 3401 NEW BEST:: SOT 34963 SOS 21933 HAS SOPS 20024 HAS SOUS 6053 HAS SOUPS 5208 WITH SCORE 5229.933
AT ITER 3485 NEW BEST:: SOT 34963 SOS 21912 HAS SOPS 20003 HAS SOUS 6048 HAS SOUPS 5206 WITH SCORE 5227.912
AT ITER 3516 NEW BEST:: SOT 34933 SOS 21884 HAS SOPS 19994 HAS SOUS 6020 HAS SOUPS 5197 WITH SCORE 5218.884
AT ITER 3542 NEW BEST:: SOT 34933 SOS 21881 HAS SOPS 19974 HAS SOUS 6001 HAS SOUPS 5179 WITH SCORE 5200.881
AT ITER 3750 NEW BEST:: SOT 34933 SOS 21858 HAS SOPS 19953 HAS SOUS 5995 HAS SOUPS 5177 WITH SCORE 5198.858
AT ITER 3913 NEW BEST:: SOT 34933 SOS 22040 HAS SOPS 20122 HAS SOUS 5989 HAS SOUPS 5169 WITH SCORE 5191.04
AT ITER 4006 NEW BEST:: SOT 34933 SOS 22019 HAS SOPS 20101 HAS SOUS 5987 HAS SOUPS 5167 WITH SCORE 5189.019
AT ITER 4103 NEW BEST:: SOT 34933 SOS 21998 HAS SOPS 20081 HAS SOUS 5986 HAS SOUPS 5167 WITH SCORE 5188.998
AT ITER 4332 NEW BEST:: SOT 34721 SOS 21802 HAS SOPS 19869 HAS SOUS 5938 HAS SOUPS 5110 WITH SCORE 5131.802
AT ITER 4352 NEW BEST:: SOT 34721 SOS 21802 HAS SOPS 19867 HAS SOUS 5936 HAS SOUPS 5106 WITH SCORE 5127.802
AT ITER 4361 NEW BEST:: SOT 35019 SOS 22040 HAS SOPS 20168 HAS SOUS 5898 HAS SOUPS 5090 WITH SCORE 5112.04
AT ITER 4395 NEW BEST:: SOT 35019 SOS 21998 HAS SOPS 20128 HAS SOUS 5896 HAS SOUPS 5090 WITH SCORE 5111.998
AT ITER 4689 NEW BEST:: SOT 35149 SOS 22098 HAS SOPS 20268 HAS SOUS 5866 HAS SOUPS 5080 WITH SCORE 5102.098
AT ITER 4721 NEW BEST:: SOT 35147 SOS 22096 HAS SOPS 20266 HAS SOUS 5864 HAS SOUPS 5078 WITH SCORE 5100.096
AT ITER 4746 NEW BEST:: SOT 35144 SOS 22093 HAS SOPS 20263 HAS SOUS 5861 HAS SOUPS 5075 WITH SCORE 5097.093
AT ITER 4859 NEW BEST:: SOT 35144 SOS 22135 HAS SOPS 20302 HAS SOUS 5862 HAS SOUPS 5073 WITH SCORE 5095.135
AT ITER 4894 NEW BEST:: SOT 35141 SOS 22132 HAS SOPS 20299 HAS SOUS 5859 HAS SOUPS 5070 WITH SCORE 5092.132
AT ITER 4922 NEW BEST:: SOT 35141 SOS 22132 HAS SOPS 20297 HAS SOUS 5857 HAS SOUPS 5066 WITH SCORE 5088.132
Bounds file is: CTLFireability.xml
PROPERTY: Dekker-PT-020-CTLFireability-00 (EG( (AG( (EF( ((potential((tk(P32)>=1) & (tk(P38)>=1) & (tk(P87)>=1))))))))))
PROPERTY: Dekker-PT-020-CTLFireability-01 (AG( (! ( ((potential((tk(P28)>=1) & (tk(P32)>=1) & (tk(P81)>=1)))) & (AF( ((potential((tk(P24)>=1) & (tk(P26)>=1) & (tk(P78)>=1)))))) ))))
PROPERTY: Dekker-PT-020-CTLFireability-02 (EX( ( ( (AF( ((potential((tk(P24)>=1) & (tk(P36)>=1) & (tk(P75)>=1)))))) | (AG( ((potential((tk(P4)>=1) & (tk(P6)>=1) & (tk(P48)>=1)))))) ) | (EF( ( ((potential((tk(P20)>=1) & (tk(P32)>=1) & (tk(P69)>=1)))) & ((potential((tk(P4)>=1) & (tk(P14)>=1) & (tk(P60)>=1)))) ))) )))
PROPERTY: Dekker-PT-020-CTLFireability-03 (EF( (EG( ((potential((tk(P14)>=1) & (tk(P20)>=1) & (tk(P60)>=1))))))))
PROPERTY: Dekker-PT-020-CTLFireability-04 ( (! ((potential((tk(P4)>=1) & (tk(P34)>=1) & (tk(P90)>=1))))) & (AG( (EX( (! ((potential((tk(P4)>=1) & (tk(P40)>=1) & (tk(P99)>=1))))))))) )
PROPERTY: Dekker-PT-020-CTLFireability-05 (AX( (EF( ( ( ((potential((tk(P22)>=1) & (tk(P28)>=1) & (tk(P72)>=1)))) & ((potential((tk(P12)>=1) & (tk(P38)>=1) & (tk(P57)>=1)))) ) & (! ((potential((tk(P26)>=1) & (tk(P38)>=1) & (tk(P96)>=1))))) )))))
PROPERTY: Dekker-PT-020-CTLFireability-06 ( (EF( (AX( ( ((potential((tk(P4)>=1) & (tk(P22)>=1) & (tk(P72)>=1)))) | ((potential((tk(P1)>=1) & (tk(P5)>=1) & (tk(P7)>=1) & (tk(P9)>=1) & (tk(P11)>=1) & (tk(P13)>=1) & (tk(P15)>=1) & (tk(P17)>=1) & (tk(P19)>=1) & (tk(P21)>=1) & (tk(P23)>=1) & (tk(P25)>=1) & (tk(P27)>=1) & (tk(P29)>=1) & (tk(P31)>=1) & (tk(P33)>=1) & (tk(P35)>=1) & (tk(P37)>=1) & (tk(P39)>=1) & (tk(P45)>=1)))) ))))) | ( ((potential((tk(P14)>=1) & (tk(P61)>=1)))) | (AG( (! ((potential((tk(P8)>=1) & (tk(P34)>=1) & (tk(P51)>=1))))))) ) )
PROPERTY: Dekker-PT-020-CTLFireability-07 (! ( (AF( ((potential((tk(P16)>=1) & (tk(P24)>=1) & (tk(P63)>=1)))))) | ( (! ( ( ((potential((tk(P4)>=1) & (tk(P32)>=1) & (tk(P45)>=1)))) & ((potential((tk(P26)>=1) & (tk(P28)>=1) & (tk(P78)>=1)))) ) & (! ((potential((tk(P22)>=1) & (tk(P30)>=1) & (tk(P84)>=1))))) )) & (EF( ( ((potential((tk(P2)>=1) & (tk(P10)>=1) & (tk(P54)>=1)))) & ((potential((tk(P32)>=1) & (tk(P40)>=1) & (tk(P99)>=1)))) ))) ) ))
PROPERTY: Dekker-PT-020-CTLFireability-08 (AX( (AG( (! ( ((potential((tk(P28)>=1) & (tk(P38)>=1) & (tk(P81)>=1)))) & ((potential((tk(P8)>=1) & (tk(P18)>=1) & (tk(P66)>=1)))) ))))))
PROPERTY: Dekker-PT-020-CTLFireability-09 (AG( (EX( ( (! ((potential((tk(P2)>=1) & (tk(P20)>=1) & (tk(P42)>=1))))) & (! ((potential((tk(P14)>=1) & (tk(P18)>=1) & (tk(P60)>=1))))) )))))
PROPERTY: Dekker-PT-020-CTLFireability-10 (AG( (! ( ((potential((tk(P4)>=1) & (tk(P34)>=1) & (tk(P45)>=1)))) & (AF( ((potential((tk(P22)>=1) & (tk(P36)>=1) & (tk(P72)>=1)))))) ))))
PROPERTY: Dekker-PT-020-CTLFireability-11 ( (AX( (EF( ( ((potential((tk(P22)>=1) & (tk(P24)>=1) & (tk(P72)>=1)))) & ((potential((tk(P10)>=1) & (tk(P20)>=1) & (tk(P69)>=1)))) ))))) | (AX( (EU( ((potential((tk(P18)>=1) & (tk(P24)>=1) & (tk(P66)>=1)))) , ((potential((tk(P8)>=1) & (tk(P20)>=1) & (tk(P51)>=1)))) )))) )
PROPERTY: Dekker-PT-020-CTLFireability-12 (! ( (AG( (EF( ((potential((tk(P18)>=1) & (tk(P20)>=1) & (tk(P69)>=1)))))))) | (! ( (! ( ((potential((tk(P6)>=1) & (tk(P36)>=1) & (tk(P48)>=1)))) | ((potential((tk(P16)>=1) & (tk(P34)>=1) & (tk(P63)>=1)))) )) | ((potential((tk(P18)>=1) & (tk(P20)>=1) & (tk(P66)>=1)))) )) ))
PROPERTY: Dekker-PT-020-CTLFireability-13 (! (AG( (! (AG( ((potential((tk(P18)>=1) & (tk(P34)>=1) & (tk(P66)>=1))))))))))
PROPERTY: Dekker-PT-020-CTLFireability-14 (! ( (AU( ((potential((tk(P8)>=1) & (tk(P10)>=1) & (tk(P54)>=1)))) , ((potential((tk(P24)>=1) & (tk(P36)>=1) & (tk(P75)>=1)))) )) | (EF( (AX( ((potential((tk(P28)>=1) & (tk(P36)>=1) & (tk(P93)>=1)))))))) ))
PROPERTY: Dekker-PT-020-CTLFireability-15 (AU( ( (AX( ((potential((tk(P8)>=1) & (tk(P40)>=1) & (tk(P51)>=1)))))) & (AG( ((potential((tk(P10)>=1) & (tk(P22)>=1) & (tk(P54)>=1)))))) ) , ((potential((tk(P24)>=1) & (tk(P30)>=1) & (tk(P75)>=1)))) ))

BK_STOP 1589362128117

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 378 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Dekker-PT-020"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Dekker-PT-020, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807300324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-020.tgz
mv Dekker-PT-020 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;