Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400356.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-2B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400356
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.8K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 548K 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 NoC3x3-PT-2B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-2B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589641477459

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2B
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: 2003 places, 2292 transitions, 5835 arcs.
AT ITER 0 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274863 HAS SOUPS 274863 WITH SCORE 275191.184
AT ITER 5 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274855 HAS SOUPS 274855 WITH SCORE 275183.184
AT ITER 17 NEW BEST:: SOT 2472754 SOS 328164 HAS SOPS 328164 HAS SOUS 274835 HAS SOUPS 274835 WITH SCORE 275163.164
AT ITER 21 NEW BEST:: SOT 2472729 SOS 328208 HAS SOPS 328208 HAS SOUS 274810 HAS SOUPS 274810 WITH SCORE 275138.208
AT ITER 49 NEW BEST:: SOT 2472110 SOS 329921 HAS SOPS 329921 HAS SOUS 274528 HAS SOUPS 274528 WITH SCORE 274857.921
AT ITER 58 NEW BEST:: SOT 2472071 SOS 329840 HAS SOPS 329840 HAS SOUS 274427 HAS SOUPS 274427 WITH SCORE 274756.84
AT ITER 106 NEW BEST:: SOT 2472230 SOS 329820 HAS SOPS 329820 HAS SOUS 274333 HAS SOUPS 274333 WITH SCORE 274662.82
AT ITER 160 NEW BEST:: SOT 2472192 SOS 329744 HAS SOPS 329744 HAS SOUS 274292 HAS SOUPS 274292 WITH SCORE 274621.744
AT ITER 182 NEW BEST:: SOT 2472169 SOS 329698 HAS SOPS 329698 HAS SOUS 274288 HAS SOUPS 274288 WITH SCORE 274617.698
AT ITER 196 NEW BEST:: SOT 2472168 SOS 329563 HAS SOPS 329563 HAS SOUS 274153 HAS SOUPS 274153 WITH SCORE 274482.563
AT ITER 201 NEW BEST:: SOT 2472031 SOS 329305 HAS SOPS 329305 HAS SOUS 274010 HAS SOUPS 274010 WITH SCORE 274339.305
AT ITER 204 NEW BEST:: SOT 2471857 SOS 329511 HAS SOPS 329511 HAS SOUS 273891 HAS SOUPS 273891 WITH SCORE 274220.511
AT ITER 236 NEW BEST:: SOT 2471739 SOS 329393 HAS SOPS 329393 HAS SOUS 273773 HAS SOUPS 273773 WITH SCORE 274102.393
AT ITER 240 NEW BEST:: SOT 2471518 SOS 328788 HAS SOPS 328788 HAS SOUS 273605 HAS SOUPS 273605 WITH SCORE 273933.788
AT ITER 253 NEW BEST:: SOT 2471518 SOS 328767 HAS SOPS 328767 HAS SOUS 273584 HAS SOUPS 273584 WITH SCORE 273912.767
AT ITER 278 NEW BEST:: SOT 2470547 SOS 332183 HAS SOPS 332183 HAS SOUS 272915 HAS SOUPS 272915 WITH SCORE 273247.183
AT ITER 302 NEW BEST:: SOT 2470562 SOS 332139 HAS SOPS 332139 HAS SOUS 272898 HAS SOUPS 272898 WITH SCORE 273230.139
AT ITER 318 NEW BEST:: SOT 2470409 SOS 331935 HAS SOPS 331935 HAS SOUS 272745 HAS SOUPS 272745 WITH SCORE 273076.935
AT ITER 365 NEW BEST:: SOT 2470333 SOS 331783 HAS SOPS 331783 HAS SOUS 272631 HAS SOUPS 272631 WITH SCORE 272962.783
AT ITER 367 NEW BEST:: SOT 2470285 SOS 331727 HAS SOPS 331727 HAS SOUS 272575 HAS SOUPS 272575 WITH SCORE 272906.727
AT ITER 395 NEW BEST:: SOT 2470133 SOS 331503 HAS SOPS 331503 HAS SOUS 272347 HAS SOUPS 272347 WITH SCORE 272678.503
AT ITER 396 NEW BEST:: SOT 2470037 SOS 331311 HAS SOPS 331311 HAS SOUS 272251 HAS SOUPS 272251 WITH SCORE 272582.311
AT ITER 408 NEW BEST:: SOT 2470028 SOS 331293 HAS SOPS 331293 HAS SOUS 272248 HAS SOUPS 272248 WITH SCORE 272579.293
AT ITER 436 NEW BEST:: SOT 2469957 SOS 331222 HAS SOPS 331222 HAS SOUS 272248 HAS SOUPS 272248 WITH SCORE 272579.222
AT ITER 465 NEW BEST:: SOT 2469926 SOS 331206 HAS SOPS 331206 HAS SOUS 272217 HAS SOUPS 272217 WITH SCORE 272548.206
AT ITER 471 NEW BEST:: SOT 2469926 SOS 331088 HAS SOPS 331088 HAS SOUS 272213 HAS SOUPS 272213 WITH SCORE 272544.088
AT ITER 488 NEW BEST:: SOT 2469926 SOS 330996 HAS SOPS 330996 HAS SOUS 272139 HAS SOUPS 272139 WITH SCORE 272469.996
AT ITER 492 NEW BEST:: SOT 2469930 SOS 330905 HAS SOPS 330905 HAS SOUS 271960 HAS SOUPS 271960 WITH SCORE 272290.905
AT ITER 511 NEW BEST:: SOT 2469941 SOS 330864 HAS SOPS 330864 HAS SOUS 271865 HAS SOUPS 271865 WITH SCORE 272195.864
AT ITER 523 NEW BEST:: SOT 2469113 SOS 331999 HAS SOPS 331999 HAS SOUS 271429 HAS SOUPS 271429 WITH SCORE 271760.999
AT ITER 527 NEW BEST:: SOT 2469113 SOS 331937 HAS SOPS 331937 HAS SOUS 271429 HAS SOUPS 271429 WITH SCORE 271760.937
AT ITER 534 NEW BEST:: SOT 2469112 SOS 331915 HAS SOPS 331915 HAS SOUS 271407 HAS SOUPS 271407 WITH SCORE 271738.915
AT ITER 535 NEW BEST:: SOT 2469121 SOS 331904 HAS SOPS 331904 HAS SOUS 271389 HAS SOUPS 271389 WITH SCORE 271720.904
AT ITER 553 NEW BEST:: SOT 2469063 SOS 331906 HAS SOPS 331906 HAS SOUS 271328 HAS SOUPS 271328 WITH SCORE 271659.906
AT ITER 563 NEW BEST:: SOT 2469043 SOS 331886 HAS SOPS 331886 HAS SOUS 271288 HAS SOUPS 271288 WITH SCORE 271619.886
AT ITER 566 NEW BEST:: SOT 2469027 SOS 331853 HAS SOPS 331853 HAS SOUS 271253 HAS SOUPS 271253 WITH SCORE 271584.853
AT ITER 622 NEW BEST:: SOT 2469027 SOS 331837 HAS SOPS 331837 HAS SOUS 271253 HAS SOUPS 271253 WITH SCORE 271584.837
AT ITER 624 NEW BEST:: SOT 2469170 SOS 331988 HAS SOPS 331988 HAS SOUS 271117 HAS SOUPS 271117 WITH SCORE 271448.988
AT ITER 646 NEW BEST:: SOT 2469057 SOS 331947 HAS SOPS 331947 HAS SOUS 271003 HAS SOUPS 271003 WITH SCORE 271334.947
AT ITER 661 NEW BEST:: SOT 2468512 SOS 331781 HAS SOPS 331781 HAS SOUS 270537 HAS SOUPS 270537 WITH SCORE 270868.781
AT ITER 718 NEW BEST:: SOT 2468396 SOS 331549 HAS SOPS 331549 HAS SOUS 270305 HAS SOUPS 270305 WITH SCORE 270636.549
AT ITER 722 NEW BEST:: SOT 2468396 SOS 331580 HAS SOPS 331580 HAS SOUS 270200 HAS SOUPS 270200 WITH SCORE 270531.58
AT ITER 740 NEW BEST:: SOT 2468339 SOS 331304 HAS SOPS 331304 HAS SOUS 270096 HAS SOUPS 270096 WITH SCORE 270427.304
AT ITER 741 NEW BEST:: SOT 2468259 SOS 331300 HAS SOPS 331300 HAS SOUS 270092 HAS SOUPS 270092 WITH SCORE 270423.3
AT ITER 795 NEW BEST:: SOT 2468251 SOS 331450 HAS SOPS 331450 HAS SOUS 270083 HAS SOUPS 270083 WITH SCORE 270414.45
AT ITER 804 NEW BEST:: SOT 2468267 SOS 331390 HAS SOPS 331390 HAS SOUS 269977 HAS SOUPS 269977 WITH SCORE 270308.39
AT ITER 810 NEW BEST:: SOT 2467195 SOS 332483 HAS SOPS 332483 HAS SOUS 269223 HAS SOUPS 269223 WITH SCORE 269555.483
AT ITER 824 NEW BEST:: SOT 2466998 SOS 332525 HAS SOPS 332525 HAS SOUS 269180 HAS SOUPS 269180 WITH SCORE 269512.525
AT ITER 853 NEW BEST:: SOT 2466998 SOS 332267 HAS SOPS 332267 HAS SOUS 269176 HAS SOUPS 269176 WITH SCORE 269508.267
AT ITER 861 NEW BEST:: SOT 2466940 SOS 332216 HAS SOPS 332216 HAS SOUS 269138 HAS SOUPS 269138 WITH SCORE 269470.216
AT ITER 868 NEW BEST:: SOT 2466780 SOS 332204 HAS SOPS 332204 HAS SOUS 268990 HAS SOUPS 268990 WITH SCORE 269322.204
AT ITER 894 NEW BEST:: SOT 2466780 SOS 332204 HAS SOPS 332204 HAS SOUS 268989 HAS SOUPS 268989 WITH SCORE 269321.204
AT ITER 896 NEW BEST:: SOT 2466780 SOS 332171 HAS SOPS 332171 HAS SOUS 268972 HAS SOUPS 268972 WITH SCORE 269304.171
AT ITER 911 NEW BEST:: SOT 2466732 SOS 332132 HAS SOPS 332132 HAS SOUS 268924 HAS SOUPS 268924 WITH SCORE 269256.132
AT ITER 936 NEW BEST:: SOT 2467025 SOS 332718 HAS SOPS 332718 HAS SOUS 268846 HAS SOUPS 268846 WITH SCORE 269178.718
AT ITER 937 NEW BEST:: SOT 2467024 SOS 332716 HAS SOPS 332716 HAS SOUS 268844 HAS SOUPS 268844 WITH SCORE 269176.716
AT ITER 938 NEW BEST:: SOT 2466951 SOS 332570 HAS SOPS 332570 HAS SOUS 268621 HAS SOUPS 268621 WITH SCORE 268953.57
AT ITER 954 NEW BEST:: SOT 2466931 SOS 332438 HAS SOPS 332438 HAS SOUS 268581 HAS SOUPS 268581 WITH SCORE 268913.438
AT ITER 955 NEW BEST:: SOT 2466832 SOS 332376 HAS SOPS 332376 HAS SOUS 268519 HAS SOUPS 268519 WITH SCORE 268851.376
AT ITER 989 NEW BEST:: SOT 2466832 SOS 332371 HAS SOPS 332371 HAS SOUS 268518 HAS SOUPS 268518 WITH SCORE 268850.371
AT ITER 993 NEW BEST:: SOT 2466342 SOS 332165 HAS SOPS 332165 HAS SOUS 268136 HAS SOUPS 268136 WITH SCORE 268468.165
AT ITER 1010 NEW BEST:: SOT 2466239 SOS 331860 HAS SOPS 331860 HAS SOUS 268136 HAS SOUPS 268136 WITH SCORE 268467.86
AT ITER 1042 NEW BEST:: SOT 2466238 SOS 331859 HAS SOPS 331859 HAS SOUS 268135 HAS SOUPS 268135 WITH SCORE 268466.859
AT ITER 1053 NEW BEST:: SOT 2466231 SOS 331892 HAS SOPS 331892 HAS SOUS 268128 HAS SOUPS 268128 WITH SCORE 268459.892
AT ITER 1064 NEW BEST:: SOT 2466125 SOS 331574 HAS SOPS 331574 HAS SOUS 267907 HAS SOUPS 267907 WITH SCORE 268238.574
AT ITER 1066 NEW BEST:: SOT 2466120 SOS 331621 HAS SOPS 331621 HAS SOUS 267865 HAS SOUPS 267865 WITH SCORE 268196.621
AT ITER 1076 NEW BEST:: SOT 2465809 SOS 331213 HAS SOPS 331213 HAS SOUS 267554 HAS SOUPS 267554 WITH SCORE 267885.213
AT ITER 1093 NEW BEST:: SOT 2465782 SOS 331039 HAS SOPS 331039 HAS SOUS 267497 HAS SOUPS 267497 WITH SCORE 267828.039
AT ITER 1105 NEW BEST:: SOT 2465691 SOS 330669 HAS SOPS 330669 HAS SOUS 267318 HAS SOUPS 267318 WITH SCORE 267648.669
AT ITER 1231 NEW BEST:: SOT 2465456 SOS 330438 HAS SOPS 330438 HAS SOUS 267085 HAS SOUPS 267085 WITH SCORE 267415.438
AT ITER 1234 NEW BEST:: SOT 2465411 SOS 330348 HAS SOPS 330348 HAS SOUS 267040 HAS SOUPS 267040 WITH SCORE 267370.348
AT ITER 1248 NEW BEST:: SOT 2465342 SOS 330358 HAS SOPS 330358 HAS SOUS 266902 HAS SOUPS 266902 WITH SCORE 267232.358
AT ITER 1250 NEW BEST:: SOT 2465044 SOS 330059 HAS SOPS 330059 HAS SOUS 266506 HAS SOUPS 266506 WITH SCORE 266836.059
AT ITER 1251 NEW BEST:: SOT 2465043 SOS 330032 HAS SOPS 330032 HAS SOUS 266479 HAS SOUPS 266479 WITH SCORE 266809.032
AT ITER 1271 NEW BEST:: SOT 2464983 SOS 329972 HAS SOPS 329972 HAS SOUS 266419 HAS SOUPS 266419 WITH SCORE 266748.972
AT ITER 1303 NEW BEST:: SOT 2464834 SOS 329880 HAS SOPS 329880 HAS SOUS 266297 HAS SOUPS 266297 WITH SCORE 266626.88
AT ITER 1341 NEW BEST:: SOT 2464808 SOS 329850 HAS SOPS 329850 HAS SOUS 266268 HAS SOUPS 266268 WITH SCORE 266597.85
AT ITER 1346 NEW BEST:: SOT 2464790 SOS 329832 HAS SOPS 329832 HAS SOUS 266250 HAS SOUPS 266250 WITH SCORE 266579.832
AT ITER 1376 NEW BEST:: SOT 2464244 SOS 329916 HAS SOPS 329916 HAS SOUS 265667 HAS SOUPS 265667 WITH SCORE 265996.916
AT ITER 1418 NEW BEST:: SOT 2464244 SOS 329964 HAS SOPS 329964 HAS SOUS 265652 HAS SOUPS 265652 WITH SCORE 265981.964
AT ITER 1433 NEW BEST:: SOT 2462087 SOS 330373 HAS SOPS 330373 HAS SOUS 263832 HAS SOUPS 263832 WITH SCORE 264162.373
AT ITER 1484 NEW BEST:: SOT 2460620 SOS 334486 HAS SOPS 334486 HAS SOUS 263137 HAS SOUPS 263137 WITH SCORE 263471.486
AT ITER 1519 NEW BEST:: SOT 2460351 SOS 334244 HAS SOPS 334244 HAS SOUS 262875 HAS SOUPS 262875 WITH SCORE 263209.244
AT ITER 1521 NEW BEST:: SOT 2460318 SOS 334268 HAS SOPS 334268 HAS SOUS 262842 HAS SOUPS 262842 WITH SCORE 263176.268
AT ITER 1531 NEW BEST:: SOT 2460318 SOS 334269 HAS SOPS 334269 HAS SOUS 262718 HAS SOUPS 262718 WITH SCORE 263052.269
AT ITER 1567 NEW BEST:: SOT 2460289 SOS 334211 HAS SOPS 334211 HAS SOUS 262663 HAS SOUPS 262663 WITH SCORE 262997.211
AT ITER 1575 NEW BEST:: SOT 2460254 SOS 334093 HAS SOPS 334093 HAS SOUS 262579 HAS SOUPS 262579 WITH SCORE 262913.093
AT ITER 1593 NEW BEST:: SOT 2460180 SOS 333945 HAS SOPS 333945 HAS SOUS 262431 HAS SOUPS 262431 WITH SCORE 262764.945
AT ITER 1617 NEW BEST:: SOT 2460168 SOS 333927 HAS SOPS 333927 HAS SOUS 262413 HAS SOUPS 262413 WITH SCORE 262746.927
AT ITER 1618 NEW BEST:: SOT 2460168 SOS 333792 HAS SOPS 333792 HAS SOUS 262382 HAS SOUPS 262382 WITH SCORE 262715.792
AT ITER 1642 NEW BEST:: SOT 2460168 SOS 333768 HAS SOPS 333768 HAS SOUS 262381 HAS SOUPS 262381 WITH SCORE 262714.768
AT ITER 1670 NEW BEST:: SOT 2460139 SOS 333807 HAS SOPS 333807 HAS SOUS 262352 HAS SOUPS 262352 WITH SCORE 262685.807
AT ITER 1705 NEW BEST:: SOT 2460089 SOS 333757 HAS SOPS 333757 HAS SOUS 262301 HAS SOUPS 262301 WITH SCORE 262634.757
AT ITER 1718 NEW BEST:: SOT 2459997 SOS 333577 HAS SOPS 333577 HAS SOUS 262038 HAS SOUPS 262038 WITH SCORE 262371.577
AT ITER 1726 NEW BEST:: SOT 2459870 SOS 333646 HAS SOPS 333646 HAS SOUS 261909 HAS SOUPS 261909 WITH SCORE 262242.646
AT ITER 1727 NEW BEST:: SOT 2459768 SOS 333350 HAS SOPS 333350 HAS SOUS 261796 HAS SOUPS 261796 WITH SCORE 262129.35
AT ITER 1747 NEW BEST:: SOT 2459751 SOS 333345 HAS SOPS 333345 HAS SOUS 261788 HAS SOUPS 261788 WITH SCORE 262121.345
AT ITER 1753 NEW BEST:: SOT 2459799 SOS 333301 HAS SOPS 333301 HAS SOUS 261761 HAS SOUPS 261761 WITH SCORE 262094.301
AT ITER 1756 NEW BEST:: SOT 2459650 SOS 333152 HAS SOPS 333152 HAS SOUS 261686 HAS SOUPS 261686 WITH SCORE 262019.152
AT ITER 1788 NEW BEST:: SOT 2459537 SOS 333081 HAS SOPS 333081 HAS SOUS 261573 HAS SOUPS 261573 WITH SCORE 261906.081
AT ITER 1808 NEW BEST:: SOT 2459509 SOS 333077 HAS SOPS 333077 HAS SOUS 261545 HAS SOUPS 261545 WITH SCORE 261878.077
AT ITER 1826 NEW BEST:: SOT 2459425 SOS 333196 HAS SOPS 333196 HAS SOUS 261448 HAS SOUPS 261448 WITH SCORE 261781.196
AT ITER 1867 NEW BEST:: SOT 2459410 SOS 333178 HAS SOPS 333178 HAS SOUS 261430 HAS SOUPS 261430 WITH SCORE 261763.178
AT ITER 1873 NEW BEST:: SOT 2459376 SOS 333144 HAS SOPS 333144 HAS SOUS 261413 HAS SOUPS 261413 WITH SCORE 261746.144
AT ITER 1890 NEW BEST:: SOT 2459395 SOS 333248 HAS SOPS 333248 HAS SOUS 261289 HAS SOUPS 261289 WITH SCORE 261622.248
AT ITER 1901 NEW BEST:: SOT 2459320 SOS 333173 HAS SOPS 333173 HAS SOUS 261213 HAS SOUPS 261213 WITH SCORE 261546.173
AT ITER 1938 NEW BEST:: SOT 2459278 SOS 333131 HAS SOPS 333131 HAS SOUS 261213 HAS SOUPS 261213 WITH SCORE 261546.131
AT ITER 1970 NEW BEST:: SOT 2458749 SOS 333158 HAS SOPS 333158 HAS SOUS 261005 HAS SOUPS 261005 WITH SCORE 261338.158
AT ITER 1983 NEW BEST:: SOT 2458398 SOS 332776 HAS SOPS 332776 HAS SOUS 260654 HAS SOUPS 260654 WITH SCORE 260986.776
AT ITER 2042 NEW BEST:: SOT 2458256 SOS 332687 HAS SOPS 332687 HAS SOUS 260585 HAS SOUPS 260585 WITH SCORE 260917.687
AT ITER 2078 NEW BEST:: SOT 2457808 SOS 332331 HAS SOPS 332331 HAS SOUS 260280 HAS SOUPS 260280 WITH SCORE 260612.331
AT ITER 2096 NEW BEST:: SOT 2457759 SOS 332135 HAS SOPS 332135 HAS SOUS 260180 HAS SOUPS 260180 WITH SCORE 260512.135
AT ITER 2103 NEW BEST:: SOT 2457682 SOS 331981 HAS SOPS 331981 HAS SOUS 260103 HAS SOUPS 260103 WITH SCORE 260434.981
AT ITER 2114 NEW BEST:: SOT 2457747 SOS 332111 HAS SOPS 332111 HAS SOUS 260064 HAS SOUPS 260064 WITH SCORE 260396.111
AT ITER 2176 NEW BEST:: SOT 2457747 SOS 332185 HAS SOPS 332185 HAS SOUS 260052 HAS SOUPS 260052 WITH SCORE 260384.185
AT ITER 2195 NEW BEST:: SOT 2457747 SOS 332185 HAS SOPS 332185 HAS SOUS 260051 HAS SOUPS 260051 WITH SCORE 260383.185
AT ITER 2212 NEW BEST:: SOT 2457747 SOS 332184 HAS SOPS 332184 HAS SOUS 260051 HAS SOUPS 260051 WITH SCORE 260383.184
AT ITER 2216 NEW BEST:: SOT 2457723 SOS 332136 HAS SOPS 332136 HAS SOUS 260024 HAS SOUPS 260024 WITH SCORE 260356.136
AT ITER 2230 NEW BEST:: SOT 2457582 SOS 331425 HAS SOPS 331425 HAS SOUS 259996 HAS SOUPS 259996 WITH SCORE 260327.425
AT ITER 2236 NEW BEST:: SOT 2457469 SOS 331311 HAS SOPS 331311 HAS SOUS 259938 HAS SOUPS 259938 WITH SCORE 260269.311
AT ITER 2283 NEW BEST:: SOT 2457449 SOS 331291 HAS SOPS 331291 HAS SOUS 259938 HAS SOUPS 259938 WITH SCORE 260269.291
AT ITER 2319 NEW BEST:: SOT 2457274 SOS 331103 HAS SOPS 331103 HAS SOUS 259763 HAS SOUPS 259763 WITH SCORE 260094.103
AT ITER 2328 NEW BEST:: SOT 2456954 SOS 332521 HAS SOPS 332521 HAS SOUS 259679 HAS SOUPS 259679 WITH SCORE 260011.521
AT ITER 2343 NEW BEST:: SOT 2456832 SOS 332399 HAS SOPS 332399 HAS SOUS 259679 HAS SOUPS 259679 WITH SCORE 260011.399
AT ITER 2350 NEW BEST:: SOT 2456820 SOS 332354 HAS SOPS 332354 HAS SOUS 259634 HAS SOUPS 259634 WITH SCORE 259966.354
AT ITER 2375 NEW BEST:: SOT 2456628 SOS 332334 HAS SOPS 332334 HAS SOUS 259624 HAS SOUPS 259624 WITH SCORE 259956.334
AT ITER 2388 NEW BEST:: SOT 2456286 SOS 332220 HAS SOPS 332220 HAS SOUS 259339 HAS SOUPS 259339 WITH SCORE 259671.22
AT ITER 2395 NEW BEST:: SOT 2456175 SOS 331443 HAS SOPS 331443 HAS SOUS 259006 HAS SOUPS 259006 WITH SCORE 259337.443
AT ITER 2477 NEW BEST:: SOT 2456052 SOS 331305 HAS SOPS 331305 HAS SOUS 258820 HAS SOUPS 258820 WITH SCORE 259151.305
AT ITER 2488 NEW BEST:: SOT 2455884 SOS 331129 HAS SOPS 331129 HAS SOUS 258623 HAS SOUPS 258623 WITH SCORE 258954.129
AT ITER 2541 NEW BEST:: SOT 2455861 SOS 331083 HAS SOPS 331083 HAS SOUS 258577 HAS SOUPS 258577 WITH SCORE 258908.083
AT ITER 2544 NEW BEST:: SOT 2455836 SOS 331128 HAS SOPS 331128 HAS SOUS 258457 HAS SOUPS 258457 WITH SCORE 258788.128
AT ITER 2568 NEW BEST:: SOT 2455804 SOS 331096 HAS SOPS 331096 HAS SOUS 258425 HAS SOUPS 258425 WITH SCORE 258756.096
AT ITER 2584 NEW BEST:: SOT 2456038 SOS 331286 HAS SOPS 331286 HAS SOUS 258415 HAS SOUPS 258415 WITH SCORE 258746.286
AT ITER 2599 NEW BEST:: SOT 2455852 SOS 330914 HAS SOPS 330914 HAS SOUS 258222 HAS SOUPS 258222 WITH SCORE 258552.914
AT ITER 2604 NEW BEST:: SOT 2455250 SOS 330722 HAS SOPS 330722 HAS SOUS 257712 HAS SOUPS 257712 WITH SCORE 258042.722
AT ITER 2616 NEW BEST:: SOT 2455205 SOS 330677 HAS SOPS 330677 HAS SOUS 257712 HAS SOUPS 257712 WITH SCORE 258042.677
AT ITER 2625 NEW BEST:: SOT 2455077 SOS 330421 HAS SOPS 330421 HAS SOUS 257520 HAS SOUPS 257520 WITH SCORE 257850.421
AT ITER 2642 NEW BEST:: SOT 2455077 SOS 330398 HAS SOPS 330398 HAS SOUS 257517 HAS SOUPS 257517 WITH SCORE 257847.398
AT ITER 2677 NEW BEST:: SOT 2455017 SOS 330318 HAS SOPS 330318 HAS SOUS 257437 HAS SOUPS 257437 WITH SCORE 257767.318
AT ITER 2706 NEW BEST:: SOT 2454797 SOS 330113 HAS SOPS 330113 HAS SOUS 257273 HAS SOUPS 257273 WITH SCORE 257603.113
AT ITER 2725 NEW BEST:: SOT 2454278 SOS 331334 HAS SOPS 331334 HAS SOUS 256936 HAS SOUPS 256936 WITH SCORE 257267.334
AT ITER 2756 NEW BEST:: SOT 2454278 SOS 331332 HAS SOPS 331332 HAS SOUS 256932 HAS SOUPS 256932 WITH SCORE 257263.332
AT ITER 2759 NEW BEST:: SOT 2454236 SOS 331310 HAS SOPS 331310 HAS SOUS 256898 HAS SOUPS 256898 WITH SCORE 257229.31
AT ITER 2793 NEW BEST:: SOT 2454225 SOS 331277 HAS SOPS 331277 HAS SOUS 256875 HAS SOUPS 256875 WITH SCORE 257206.277
AT ITER 2852 NEW BEST:: SOT 2454225 SOS 331231 HAS SOPS 331231 HAS SOUS 256875 HAS SOUPS 256875 WITH SCORE 257206.231
AT ITER 2871 NEW BEST:: SOT 2454015 SOS 330789 HAS SOPS 330789 HAS SOUS 256582 HAS SOUPS 256582 WITH SCORE 256912.789
AT ITER 2874 NEW BEST:: SOT 2454015 SOS 330769 HAS SOPS 330769 HAS SOUS 256581 HAS SOUPS 256581 WITH SCORE 256911.769
AT ITER 2880 NEW BEST:: SOT 2454015 SOS 330769 HAS SOPS 330769 HAS SOUS 256580 HAS SOUPS 256580 WITH SCORE 256910.769
AT ITER 2921 NEW BEST:: SOT 2453897 SOS 330630 HAS SOPS 330630 HAS SOUS 256546 HAS SOUPS 256546 WITH SCORE 256876.63
AT ITER 2928 NEW BEST:: SOT 2453628 SOS 330092 HAS SOPS 330092 HAS SOUS 256462 HAS SOUPS 256462 WITH SCORE 256792.092
AT ITER 2945 NEW BEST:: SOT 2453513 SOS 330029 HAS SOPS 330029 HAS SOUS 256401 HAS SOUPS 256401 WITH SCORE 256731.029
AT ITER 2949 NEW BEST:: SOT 2453511 SOS 330025 HAS SOPS 330025 HAS SOUS 256397 HAS SOUPS 256397 WITH SCORE 256727.025
AT ITER 2966 NEW BEST:: SOT 2453458 SOS 329887 HAS SOPS 329887 HAS SOUS 256259 HAS SOUPS 256259 WITH SCORE 256588.887
AT ITER 2967 NEW BEST:: SOT 2453458 SOS 329838 HAS SOPS 329838 HAS SOUS 256259 HAS SOUPS 256259 WITH SCORE 256588.838
AT ITER 3041 NEW BEST:: SOT 2453445 SOS 329812 HAS SOPS 329812 HAS SOUS 256233 HAS SOUPS 256233 WITH SCORE 256562.812
AT ITER 3075 NEW BEST:: SOT 2453406 SOS 329773 HAS SOPS 329773 HAS SOUS 256194 HAS SOUPS 256194 WITH SCORE 256523.773
AT ITER 3082 NEW BEST:: SOT 2453384 SOS 329696 HAS SOPS 329696 HAS SOUS 256161 HAS SOUPS 256161 WITH SCORE 256490.696
AT ITER 3121 NEW BEST:: SOT 2453328 SOS 329640 HAS SOPS 329640 HAS SOUS 256161 HAS SOUPS 256161 WITH SCORE 256490.64
AT ITER 3147 NEW BEST:: SOT 2453306 SOS 329618 HAS SOPS 329618 HAS SOUS 256139 HAS SOUPS 256139 WITH SCORE 256468.618
AT ITER 3150 NEW BEST:: SOT 2453300 SOS 329606 HAS SOPS 329606 HAS SOUS 256128 HAS SOUPS 256128 WITH SCORE 256457.606
AT ITER 3196 NEW BEST:: SOT 2453056 SOS 329438 HAS SOPS 329438 HAS SOUS 255950 HAS SOUPS 255950 WITH SCORE 256279.438
AT ITER 3217 NEW BEST:: SOT 2453009 SOS 329296 HAS SOPS 329296 HAS SOUS 255902 HAS SOUPS 255902 WITH SCORE 256231.296
AT ITER 3219 NEW BEST:: SOT 2452857 SOS 328825 HAS SOPS 328825 HAS SOUS 255814 HAS SOUPS 255814 WITH SCORE 256142.825
AT ITER 3290 NEW BEST:: SOT 2452789 SOS 328744 HAS SOPS 328744 HAS SOUS 255746 HAS SOUPS 255746 WITH SCORE 256074.744
AT ITER 3292 NEW BEST:: SOT 2452751 SOS 328666 HAS SOPS 328666 HAS SOUS 255688 HAS SOUPS 255688 WITH SCORE 256016.666
AT ITER 3298 NEW BEST:: SOT 2452389 SOS 329680 HAS SOPS 329680 HAS SOUS 255387 HAS SOUPS 255387 WITH SCORE 255716.68
AT ITER 3333 NEW BEST:: SOT 2452265 SOS 329612 HAS SOPS 329612 HAS SOUS 255365 HAS SOUPS 255365 WITH SCORE 255694.612
AT ITER 3334 NEW BEST:: SOT 2451935 SOS 329093 HAS SOPS 329093 HAS SOUS 255099 HAS SOUPS 255099 WITH SCORE 255428.093
AT ITER 3355 NEW BEST:: SOT 2451603 SOS 328959 HAS SOPS 328959 HAS SOUS 255079 HAS SOUPS 255079 WITH SCORE 255407.959
AT ITER 3377 NEW BEST:: SOT 2450515 SOS 331016 HAS SOPS 331016 HAS SOUS 254242 HAS SOUPS 254242 WITH SCORE 254573.016
AT ITER 3382 NEW BEST:: SOT 2450452 SOS 331016 HAS SOPS 331016 HAS SOUS 254200 HAS SOUPS 254200 WITH SCORE 254531.016
AT ITER 3385 NEW BEST:: SOT 2450360 SOS 330832 HAS SOPS 330832 HAS SOUS 254180 HAS SOUPS 254180 WITH SCORE 254510.832
AT ITER 3414 NEW BEST:: SOT 2450326 SOS 330743 HAS SOPS 330743 HAS SOUS 254180 HAS SOUPS 254180 WITH SCORE 254510.743
AT ITER 3424 NEW BEST:: SOT 2450315 SOS 330721 HAS SOPS 330721 HAS SOUS 254076 HAS SOUPS 254076 WITH SCORE 254406.721
AT ITER 3425 NEW BEST:: SOT 2450233 SOS 330557 HAS SOPS 330557 HAS SOUS 253895 HAS SOUPS 253895 WITH SCORE 254225.557
AT ITER 3444 NEW BEST:: SOT 2450233 SOS 330485 HAS SOPS 330485 HAS SOUS 253733 HAS SOUPS 253733 WITH SCORE 254063.485
AT ITER 3456 NEW BEST:: SOT 2450172 SOS 330363 HAS SOPS 330363 HAS SOUS 253632 HAS SOUPS 253632 WITH SCORE 253962.363
AT ITER 3457 NEW BEST:: SOT 2450264 SOS 331004 HAS SOPS 331004 HAS SOUS 253628 HAS SOUPS 253628 WITH SCORE 253959.004
AT ITER 3485 NEW BEST:: SOT 2450263 SOS 331002 HAS SOPS 331002 HAS SOUS 253626 HAS SOUPS 253626 WITH SCORE 253957.002
AT ITER 3511 NEW BEST:: SOT 2450196 SOS 330868 HAS SOPS 330868 HAS SOUS 253273 HAS SOUPS 253273 WITH SCORE 253603.868
AT ITER 3514 NEW BEST:: SOT 2450196 SOS 330705 HAS SOPS 330705 HAS SOUS 253176 HAS SOUPS 253176 WITH SCORE 253506.705
AT ITER 3545 NEW BEST:: SOT 2450055 SOS 330480 HAS SOPS 330480 HAS SOUS 253034 HAS SOUPS 253034 WITH SCORE 253364.48
AT ITER 3549 NEW BEST:: SOT 2450054 SOS 330516 HAS SOPS 330516 HAS SOUS 253032 HAS SOUPS 253032 WITH SCORE 253362.516
AT ITER 3582 NEW BEST:: SOT 2450170 SOS 330394 HAS SOPS 330394 HAS SOUS 253030 HAS SOUPS 253030 WITH SCORE 253360.394
AT ITER 3583 NEW BEST:: SOT 2450178 SOS 330485 HAS SOPS 330485 HAS SOUS 252962 HAS SOUPS 252962 WITH SCORE 253292.485
AT ITER 3612 NEW BEST:: SOT 2450167 SOS 330464 HAS SOPS 330464 HAS SOUS 252940 HAS SOUPS 252940 WITH SCORE 253270.464
AT ITER 3638 NEW BEST:: SOT 2450131 SOS 330392 HAS SOPS 330392 HAS SOUS 252868 HAS SOUPS 252868 WITH SCORE 253198.392
AT ITER 3684 NEW BEST:: SOT 2450170 SOS 330400 HAS SOPS 330400 HAS SOUS 252751 HAS SOUPS 252751 WITH SCORE 253081.4
AT ITER 3695 NEW BEST:: SOT 2450110 SOS 330340 HAS SOPS 330340 HAS SOUS 252691 HAS SOUPS 252691 WITH SCORE 253021.34
AT ITER 3715 NEW BEST:: SOT 2449866 SOS 331876 HAS SOPS 331876 HAS SOUS 252645 HAS SOUPS 252645 WITH SCORE 252976.876
AT ITER 3758 NEW BEST:: SOT 2449612 SOS 331551 HAS SOPS 331551 HAS SOUS 252391 HAS SOUPS 252391 WITH SCORE 252722.551
AT ITER 3785 NEW BEST:: SOT 2449558 SOS 331462 HAS SOPS 331462 HAS SOUS 252337 HAS SOUPS 252337 WITH SCORE 252668.462
AT ITER 3797 NEW BEST:: SOT 2449577 SOS 331449 HAS SOPS 331449 HAS SOUS 252332 HAS SOUPS 252332 WITH SCORE 252663.449
AT ITER 3823 NEW BEST:: SOT 2449539 SOS 331411 HAS SOPS 331411 HAS SOUS 252288 HAS SOUPS 252288 WITH SCORE 252619.411
AT ITER 3901 NEW BEST:: SOT 2449539 SOS 331411 HAS SOPS 331411 HAS SOUS 252219 HAS SOUPS 252219 WITH SCORE 252550.411
AT ITER 3909 NEW BEST:: SOT 2449515 SOS 331434 HAS SOPS 331434 HAS SOUS 252212 HAS SOUPS 252212 WITH SCORE 252543.434
AT ITER 3920 NEW BEST:: SOT 2449564 SOS 331410 HAS SOPS 331410 HAS SOUS 252184 HAS SOUPS 252184 WITH SCORE 252515.41
AT ITER 3939 NEW BEST:: SOT 2449561 SOS 331512 HAS SOPS 331512 HAS SOUS 252152 HAS SOUPS 252152 WITH SCORE 252483.512
AT ITER 3942 NEW BEST:: SOT 2449524 SOS 331480 HAS SOPS 331480 HAS SOUS 252073 HAS SOUPS 252073 WITH SCORE 252404.48
AT ITER 3950 NEW BEST:: SOT 2449024 SOS 331840 HAS SOPS 331840 HAS SOUS 251573 HAS SOUPS 251573 WITH SCORE 251904.84
AT ITER 3958 NEW BEST:: SOT 2448980 SOS 331752 HAS SOPS 331752 HAS SOUS 251485 HAS SOUPS 251485 WITH SCORE 251816.752
AT ITER 3976 NEW BEST:: SOT 2448931 SOS 331732 HAS SOPS 331732 HAS SOUS 251391 HAS SOUPS 251391 WITH SCORE 251722.732
AT ITER 3978 NEW BEST:: SOT 2448931 SOS 331719 HAS SOPS 331719 HAS SOUS 251378 HAS SOUPS 251378 WITH SCORE 251709.719
AT ITER 3981 NEW BEST:: SOT 2448639 SOS 331734 HAS SOPS 331734 HAS SOUS 251219 HAS SOUPS 251219 WITH SCORE 251550.734
AT ITER 4013 NEW BEST:: SOT 2448600 SOS 331380 HAS SOPS 331380 HAS SOUS 250858 HAS SOUPS 250858 WITH SCORE 251189.38
AT ITER 4025 NEW BEST:: SOT 2448588 SOS 331356 HAS SOPS 331356 HAS SOUS 250808 HAS SOUPS 250808 WITH SCORE 251139.356
AT ITER 4057 NEW BEST:: SOT 2448536 SOS 331241 HAS SOPS 331241 HAS SOUS 250693 HAS SOUPS 250693 WITH SCORE 251024.241
AT ITER 4066 NEW BEST:: SOT 2448427 SOS 331285 HAS SOPS 331285 HAS SOUS 250637 HAS SOUPS 250637 WITH SCORE 250968.285
AT ITER 4068 NEW BEST:: SOT 2448409 SOS 331321 HAS SOPS 331321 HAS SOUS 250628 HAS SOUPS 250628 WITH SCORE 250959.321
AT ITER 4076 NEW BEST:: SOT 2448409 SOS 331221 HAS SOPS 331221 HAS SOUS 250528 HAS SOUPS 250528 WITH SCORE 250859.221
AT ITER 4081 NEW BEST:: SOT 2448357 SOS 331169 HAS SOPS 331169 HAS SOUS 250476 HAS SOUPS 250476 WITH SCORE 250807.169
AT ITER 4123 NEW BEST:: SOT 2448122 SOS 331040 HAS SOPS 331040 HAS SOUS 250266 HAS SOUPS 250266 WITH SCORE 250597.04
AT ITER 4173 NEW BEST:: SOT 2448119 SOS 331055 HAS SOPS 331055 HAS SOUS 250263 HAS SOUPS 250263 WITH SCORE 250594.055
AT ITER 4184 NEW BEST:: SOT 2448167 SOS 331109 HAS SOPS 331109 HAS SOUS 250235 HAS SOUPS 250235 WITH SCORE 250566.109
AT ITER 4189 NEW BEST:: SOT 2448085 SOS 331068 HAS SOPS 331068 HAS SOUS 250194 HAS SOUPS 250194 WITH SCORE 250525.068
AT ITER 4191 NEW BEST:: SOT 2447549 SOS 331848 HAS SOPS 331848 HAS SOUS 249954 HAS SOUPS 249954 WITH SCORE 250285.848
AT ITER 4193 NEW BEST:: SOT 2447434 SOS 331376 HAS SOPS 331376 HAS SOUS 249693 HAS SOUPS 249693 WITH SCORE 250024.376
AT ITER 4202 NEW BEST:: SOT 2447434 SOS 331370 HAS SOPS 331370 HAS SOUS 249693 HAS SOUPS 249693 WITH SCORE 250024.37
AT ITER 4218 NEW BEST:: SOT 2447110 SOS 331273 HAS SOPS 331273 HAS SOUS 249415 HAS SOUPS 249415 WITH SCORE 249746.273
AT ITER 4270 NEW BEST:: SOT 2447043 SOS 331193 HAS SOPS 331193 HAS SOUS 249321 HAS SOUPS 249321 WITH SCORE 249652.193
AT ITER 4301 NEW BEST:: SOT 2447039 SOS 331114 HAS SOPS 331114 HAS SOUS 249312 HAS SOUPS 249312 WITH SCORE 249643.114
AT ITER 4338 NEW BEST:: SOT 2447039 SOS 331114 HAS SOPS 331114 HAS SOUS 249238 HAS SOUPS 249238 WITH SCORE 249569.114
AT ITER 4341 NEW BEST:: SOT 2447025 SOS 330987 HAS SOPS 330987 HAS SOUS 249223 HAS SOUPS 249223 WITH SCORE 249553.987
AT ITER 4394 NEW BEST:: SOT 2447025 SOS 330868 HAS SOPS 330868 HAS SOUS 249223 HAS SOUPS 249223 WITH SCORE 249553.868
AT ITER 4402 NEW BEST:: SOT 2447008 SOS 330834 HAS SOPS 330834 HAS SOUS 249206 HAS SOUPS 249206 WITH SCORE 249536.834
AT ITER 4429 NEW BEST:: SOT 2447008 SOS 330877 HAS SOPS 330877 HAS SOUS 249181 HAS SOUPS 249181 WITH SCORE 249511.877
AT ITER 4431 NEW BEST:: SOT 2447181 SOS 331169 HAS SOPS 331169 HAS SOUS 249151 HAS SOUPS 249151 WITH SCORE 249482.169
AT ITER 4484 NEW BEST:: SOT 2447157 SOS 331121 HAS SOPS 331121 HAS SOUS 249127 HAS SOUPS 249127 WITH SCORE 249458.121
AT ITER 4494 NEW BEST:: SOT 2446768 SOS 331344 HAS SOPS 331344 HAS SOUS 248857 HAS SOUPS 248857 WITH SCORE 249188.344
AT ITER 4508 NEW BEST:: SOT 2446277 SOS 331469 HAS SOPS 331469 HAS SOUS 248366 HAS SOUPS 248366 WITH SCORE 248697.469
AT ITER 4551 NEW BEST:: SOT 2446267 SOS 331459 HAS SOPS 331459 HAS SOUS 248361 HAS SOUPS 248361 WITH SCORE 248692.459
AT ITER 4584 NEW BEST:: SOT 2446255 SOS 331470 HAS SOPS 331470 HAS SOUS 248348 HAS SOUPS 248348 WITH SCORE 248679.47
AT ITER 4628 NEW BEST:: SOT 2446199 SOS 331354 HAS SOPS 331354 HAS SOUS 248295 HAS SOUPS 248295 WITH SCORE 248626.354
AT ITER 4678 NEW BEST:: SOT 2446066 SOS 331221 HAS SOPS 331221 HAS SOUS 248291 HAS SOUPS 248291 WITH SCORE 248622.221
AT ITER 4713 NEW BEST:: SOT 2446042 SOS 331173 HAS SOPS 331173 HAS SOUS 248267 HAS SOUPS 248267 WITH SCORE 248598.173
AT ITER 4724 NEW BEST:: SOT 2445969 SOS 331132 HAS SOPS 331132 HAS SOUS 248130 HAS SOUPS 248130 WITH SCORE 248461.132
AT ITER 4780 NEW BEST:: SOT 2445822 SOS 330988 HAS SOPS 330988 HAS SOUS 248113 HAS SOUPS 248113 WITH SCORE 248443.988
AT ITER 4805 NEW BEST:: SOT 2445738 SOS 330656 HAS SOPS 330656 HAS SOUS 247812 HAS SOUPS 247812 WITH SCORE 248142.656
AT ITER 4828 NEW BEST:: SOT 2445480 SOS 330272 HAS SOPS 330272 HAS SOUS 247554 HAS SOUPS 247554 WITH SCORE 247884.272
AT ITER 4850 NEW BEST:: SOT 2445480 SOS 330673 HAS SOPS 330673 HAS SOUS 247501 HAS SOUPS 247501 WITH SCORE 247831.673
AT ITER 4852 NEW BEST:: SOT 2445151 SOS 330516 HAS SOPS 330516 HAS SOUS 247423 HAS SOUPS 247423 WITH SCORE 247753.516
AT ITER 4865 NEW BEST:: SOT 2444794 SOS 332689 HAS SOPS 332689 HAS SOUS 247202 HAS SOUPS 247202 WITH SCORE 247534.689
AT ITER 4887 NEW BEST:: SOT 2444703 SOS 332507 HAS SOPS 332507 HAS SOUS 247020 HAS SOUPS 247020 WITH SCORE 247352.507
AT ITER 4896 NEW BEST:: SOT 2444619 SOS 332057 HAS SOPS 332057 HAS SOUS 246853 HAS SOUPS 246853 WITH SCORE 247185.057
AT ITER 4903 NEW BEST:: SOT 2444596 SOS 332051 HAS SOPS 332051 HAS SOUS 246847 HAS SOUPS 246847 WITH SCORE 247179.051
AT ITER 4941 NEW BEST:: SOT 2444617 SOS 332072 HAS SOPS 332072 HAS SOUS 246783 HAS SOUPS 246783 WITH SCORE 247115.072
AT ITER 4943 NEW BEST:: SOT 2444568 SOS 331974 HAS SOPS 331974 HAS SOUS 246576 HAS SOUPS 246576 WITH SCORE 246907.974
AT ITER 4945 NEW BEST:: SOT 2444503 SOS 331844 HAS SOPS 331844 HAS SOUS 246511 HAS SOUPS 246511 WITH SCORE 246842.844
AT ITER 4958 NEW BEST:: SOT 2444050 SOS 333675 HAS SOPS 333675 HAS SOUS 246472 HAS SOUPS 246472 WITH SCORE 246805.675
AT ITER 4971 NEW BEST:: SOT 2444014 SOS 333471 HAS SOPS 333471 HAS SOUS 246198 HAS SOUPS 246198 WITH SCORE 246531.471
AT ITER 4992 NEW BEST:: SOT 2443967 SOS 332827 HAS SOPS 332827 HAS SOUS 246041 HAS SOUPS 246041 WITH SCORE 246373.827
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-2B-CTLFireability-00 ( (EU( (! ( ((potential((tk(P1090)>=1)))) & ((potential((tk(P489)>=1) & (tk(P601)>=1)))) )) , (AG( ((potential((tk(P1323)>=1)))))) )) | (! (EF( (! (! ((potential((tk(P290)>=1))))))))) )
PROPERTY: NoC3x3-PT-2B-CTLFireability-01 ( ( ((potential((tk(P725)>=1) & (tk(P1165)>=1)))) | (! ( (EF( ((potential((tk(P1187)>=1) & (tk(P1464)>=1)))))) | (EF( ((potential((tk(P161)>=1) & (tk(P841)>=1)))))) )) ) | (AF( (! ( (! ((potential((tk(P163)>=1) & (tk(P297)>=1))))) & (! ((potential((tk(P760)>=1))))) )))) )
PROPERTY: NoC3x3-PT-2B-CTLFireability-02 (! (! ( ( (EF( ((potential((tk(P1625)>=1) & (tk(P1732)>=1)))))) & ( (! ((potential((tk(P1849)>=1))))) | (! ((potential((tk(P1913)>=1))))) ) ) & ( (! ( ((potential((tk(P585)>=1)))) & ((potential((tk(P614)>=1)))) )) | (! ((potential((tk(P1100)>=1))))) ) )))
PROPERTY: NoC3x3-PT-2B-CTLFireability-03 (EX( (EF( (EG( ((potential((tk(P1774)>=1))))))))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-04 (EF( (EU( (! ((potential((tk(P1683)>=1))))) , ( ((potential((tk(P1942)>=1)))) & ((potential((tk(P1683)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-05 ( ( (! (EX( ( ((potential((tk(P1940)>=1)))) | ((potential((tk(P1919)>=1) & (tk(P1965)>=1)))) )))) | ((potential((tk(P759)>=1)))) ) & (! (EF( ( ( ((potential((tk(P1612)>=1) & (tk(P1691)>=1)))) | ((potential((tk(P119)>=1)))) ) | ((potential((tk(P37)>=1)))) )))) )
PROPERTY: NoC3x3-PT-2B-CTLFireability-06 ( ( ( (! ( ( ((potential((tk(P70)>=1)))) | ((potential((tk(P274)>=1)))) ) | ((potential((tk(P317)>=1)))) )) & (EF( ( ((potential((tk(P1414)>=1)))) | ((potential((tk(P469)>=1)))) ))) ) | (EX( ( ( ((potential((tk(P1589)>=1) & (tk(P1693)>=1)))) | ((potential((tk(P724)>=1) & (tk(P1159)>=1)))) ) & (! ((potential((tk(P822)>=1))))) ))) ) | (! (! ( (EF( ((potential((tk(P355)>=1)))))) | (AG( ((potential((tk(P863)>=1)))))) ))) )
PROPERTY: NoC3x3-PT-2B-CTLFireability-07 (EG( (EF( (EX( ((potential((tk(P1187)>=1) & (tk(P1488)>=1))))))))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-08 (EF( ((potential((tk(P173)>=1) & (tk(P284)>=1))))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-09 (EU( (! (EG( ((potential((tk(P798)>=1))))))) , (EF( ((potential((tk(P1601)>=1) & (tk(P1835)>=1)))))) ))
PROPERTY: NoC3x3-PT-2B-CTLFireability-10 (! (EF( ( ( ((potential((tk(P1631)>=1)))) & (! ((potential((tk(P1211)>=1))))) ) & ( (! ((potential((tk(P1465)>=1))))) | ( ((potential((tk(P1740)>=1)))) | ((potential((tk(P518)>=1) & (tk(P1587)>=1)))) ) ) ))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-11 ( (! ((potential((tk(P306)>=1))))) & ( (! (! (EF( ((potential((tk(P1178)>=1)))))))) | (EG( ((potential((tk(P997)>=1)))))) ) )
PROPERTY: NoC3x3-PT-2B-CTLFireability-12 (EF( ( (EG( ( ((potential((tk(P700)>=1) & (tk(P1025)>=1)))) | ((potential((tk(P1409)>=1)))) ))) & (AF( ((potential((tk(P1991)>=1)))))) )))
PROPERTY: NoC3x3-PT-2B-CTLFireability-13 (AG( ( (EG( ( ((potential((tk(P1618)>=1)))) | ((potential((tk(P1219)>=1)))) ))) | (AF( (! ((potential((tk(P907)>=1))))))) )))
PROPERTY: NoC3x3-PT-2B-CTLFireability-14 (AX( (EU( (! ((potential((tk(P1067)>=1))))) , ( ((potential((tk(P864)>=1)))) | ((potential((tk(P1465)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-2B-CTLFireability-15 (AF( (EF( (EX( ((potential((tk(P848)>=1))))))))))

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="NoC3x3-PT-2B"
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 NoC3x3-PT-2B, 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 r108-csrt-158961250400356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-2B.tgz
mv NoC3x3-PT-2B 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 ;