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-158961250500419.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-6B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500419
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 728K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 7 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:37 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.4K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 6 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 04:01 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 552K 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-6B-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-6B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642800413

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6B
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: 1544 places, 2229 transitions, 6663 arcs.
AT ITER 0 NEW BEST:: SOT 1868159 SOS 300531 HAS SOPS 300531 HAS SOUS 227648 HAS SOUPS 227648 WITH SCORE 227948.531
AT ITER 11 NEW BEST:: SOT 1868082 SOS 300454 HAS SOPS 300454 HAS SOUS 227571 HAS SOUPS 227571 WITH SCORE 227871.454
AT ITER 59 NEW BEST:: SOT 1868041 SOS 300227 HAS SOPS 300227 HAS SOUS 227515 HAS SOUPS 227515 WITH SCORE 227815.227
AT ITER 71 NEW BEST:: SOT 1868041 SOS 300152 HAS SOPS 300152 HAS SOUS 227490 HAS SOUPS 227490 WITH SCORE 227790.152
AT ITER 73 NEW BEST:: SOT 1868019 SOS 300130 HAS SOPS 300130 HAS SOUS 227456 HAS SOUPS 227456 WITH SCORE 227756.13
AT ITER 76 NEW BEST:: SOT 1868009 SOS 300110 HAS SOPS 300110 HAS SOUS 227436 HAS SOUPS 227436 WITH SCORE 227736.11
AT ITER 78 NEW BEST:: SOT 1867933 SOS 299869 HAS SOPS 299869 HAS SOUS 227338 HAS SOUPS 227338 WITH SCORE 227637.869
AT ITER 79 NEW BEST:: SOT 1867725 SOS 299661 HAS SOPS 299661 HAS SOUS 227129 HAS SOUPS 227129 WITH SCORE 227428.661
AT ITER 80 NEW BEST:: SOT 1867518 SOS 299544 HAS SOPS 299544 HAS SOUS 226998 HAS SOUPS 226998 WITH SCORE 227297.544
AT ITER 81 NEW BEST:: SOT 1867486 SOS 299512 HAS SOPS 299512 HAS SOUS 226964 HAS SOUPS 226964 WITH SCORE 227263.512
AT ITER 83 NEW BEST:: SOT 1867416 SOS 299474 HAS SOPS 299474 HAS SOUS 226945 HAS SOUPS 226945 WITH SCORE 227244.474
AT ITER 92 NEW BEST:: SOT 1867409 SOS 299453 HAS SOPS 299453 HAS SOUS 226924 HAS SOUPS 226924 WITH SCORE 227223.453
AT ITER 93 NEW BEST:: SOT 1866049 SOS 307511 HAS SOPS 307511 HAS SOUS 226234 HAS SOUPS 226234 WITH SCORE 226541.511
AT ITER 105 NEW BEST:: SOT 1866049 SOS 307509 HAS SOPS 307509 HAS SOUS 226218 HAS SOUPS 226218 WITH SCORE 226525.509
AT ITER 127 NEW BEST:: SOT 1864198 SOS 306160 HAS SOPS 306160 HAS SOUS 224418 HAS SOUPS 224418 WITH SCORE 224724.16
AT ITER 141 NEW BEST:: SOT 1863892 SOS 305712 HAS SOPS 305712 HAS SOUS 223803 HAS SOUPS 223803 WITH SCORE 224108.712
AT ITER 144 NEW BEST:: SOT 1863856 SOS 305764 HAS SOPS 305764 HAS SOUS 223581 HAS SOUPS 223581 WITH SCORE 223886.764
AT ITER 156 NEW BEST:: SOT 1863790 SOS 305566 HAS SOPS 305566 HAS SOUS 223470 HAS SOUPS 223470 WITH SCORE 223775.566
AT ITER 158 NEW BEST:: SOT 1863625 SOS 305328 HAS SOPS 305328 HAS SOUS 223460 HAS SOUPS 223460 WITH SCORE 223765.328
AT ITER 204 NEW BEST:: SOT 1863485 SOS 305253 HAS SOPS 305253 HAS SOUS 223379 HAS SOUPS 223379 WITH SCORE 223684.253
AT ITER 240 NEW BEST:: SOT 1863484 SOS 305251 HAS SOPS 305251 HAS SOUS 223377 HAS SOUPS 223377 WITH SCORE 223682.251
AT ITER 255 NEW BEST:: SOT 1863394 SOS 305161 HAS SOPS 305161 HAS SOUS 223332 HAS SOUPS 223332 WITH SCORE 223637.161
AT ITER 278 NEW BEST:: SOT 1863390 SOS 305153 HAS SOPS 305153 HAS SOUS 223324 HAS SOUPS 223324 WITH SCORE 223629.153
AT ITER 319 NEW BEST:: SOT 1863404 SOS 305092 HAS SOPS 305092 HAS SOUS 223204 HAS SOUPS 223204 WITH SCORE 223509.092
AT ITER 327 NEW BEST:: SOT 1863404 SOS 305079 HAS SOPS 305079 HAS SOUS 223204 HAS SOUPS 223204 WITH SCORE 223509.079
AT ITER 367 NEW BEST:: SOT 1862901 SOS 304269 HAS SOPS 304269 HAS SOUS 222575 HAS SOUPS 222575 WITH SCORE 222879.269
AT ITER 372 NEW BEST:: SOT 1862736 SOS 303662 HAS SOPS 303662 HAS SOUS 222276 HAS SOUPS 222276 WITH SCORE 222579.662
AT ITER 384 NEW BEST:: SOT 1862665 SOS 303608 HAS SOPS 303608 HAS SOUS 222084 HAS SOUPS 222084 WITH SCORE 222387.608
AT ITER 397 NEW BEST:: SOT 1862578 SOS 303435 HAS SOPS 303435 HAS SOUS 221997 HAS SOUPS 221997 WITH SCORE 222300.435
AT ITER 406 NEW BEST:: SOT 1862430 SOS 303139 HAS SOPS 303139 HAS SOUS 221310 HAS SOUPS 221310 WITH SCORE 221613.139
AT ITER 421 NEW BEST:: SOT 1862476 SOS 303206 HAS SOPS 303206 HAS SOUS 221286 HAS SOUPS 221286 WITH SCORE 221589.206
AT ITER 441 NEW BEST:: SOT 1862408 SOS 302998 HAS SOPS 302998 HAS SOUS 221182 HAS SOUPS 221182 WITH SCORE 221484.998
AT ITER 486 NEW BEST:: SOT 1862234 SOS 302681 HAS SOPS 302681 HAS SOUS 221132 HAS SOUPS 221132 WITH SCORE 221434.681
AT ITER 538 NEW BEST:: SOT 1862189 SOS 302912 HAS SOPS 302912 HAS SOUS 221125 HAS SOUPS 221125 WITH SCORE 221427.912
AT ITER 553 NEW BEST:: SOT 1862189 SOS 302936 HAS SOPS 302936 HAS SOUS 221074 HAS SOUPS 221074 WITH SCORE 221376.936
AT ITER 615 NEW BEST:: SOT 1862154 SOS 302289 HAS SOPS 302289 HAS SOUS 220864 HAS SOUPS 220864 WITH SCORE 221166.289
AT ITER 628 NEW BEST:: SOT 1862100 SOS 302272 HAS SOPS 302272 HAS SOUS 220812 HAS SOUPS 220812 WITH SCORE 221114.272
AT ITER 643 NEW BEST:: SOT 1861986 SOS 302120 HAS SOPS 302120 HAS SOUS 220730 HAS SOUPS 220730 WITH SCORE 221032.12
AT ITER 656 NEW BEST:: SOT 1861667 SOS 301482 HAS SOPS 301482 HAS SOUS 220239 HAS SOUPS 220239 WITH SCORE 220540.482
AT ITER 660 NEW BEST:: SOT 1861606 SOS 301421 HAS SOPS 301421 HAS SOUS 220178 HAS SOUPS 220178 WITH SCORE 220479.421
AT ITER 688 NEW BEST:: SOT 1861565 SOS 301290 HAS SOPS 301290 HAS SOUS 220135 HAS SOUPS 220135 WITH SCORE 220436.29
AT ITER 689 NEW BEST:: SOT 1861096 SOS 301002 HAS SOPS 301002 HAS SOUS 219847 HAS SOUPS 219847 WITH SCORE 220148.002
AT ITER 826 NEW BEST:: SOT 1861092 SOS 300954 HAS SOPS 300954 HAS SOUS 219847 HAS SOUPS 219847 WITH SCORE 220147.954
AT ITER 827 NEW BEST:: SOT 1860941 SOS 300778 HAS SOPS 300778 HAS SOUS 219636 HAS SOUPS 219636 WITH SCORE 219936.778
AT ITER 837 NEW BEST:: SOT 1860925 SOS 300746 HAS SOPS 300746 HAS SOUS 219620 HAS SOUPS 219620 WITH SCORE 219920.746
AT ITER 845 NEW BEST:: SOT 1860827 SOS 300256 HAS SOPS 300256 HAS SOUS 219476 HAS SOUPS 219476 WITH SCORE 219776.256
AT ITER 878 NEW BEST:: SOT 1860645 SOS 300227 HAS SOPS 300227 HAS SOUS 219322 HAS SOUPS 219322 WITH SCORE 219622.227
AT ITER 893 NEW BEST:: SOT 1860630 SOS 300197 HAS SOPS 300197 HAS SOUS 219292 HAS SOUPS 219292 WITH SCORE 219592.197
AT ITER 894 NEW BEST:: SOT 1860512 SOS 300011 HAS SOPS 300011 HAS SOUS 219084 HAS SOUPS 219084 WITH SCORE 219384.011
AT ITER 919 NEW BEST:: SOT 1860432 SOS 299769 HAS SOPS 299769 HAS SOUS 218884 HAS SOUPS 218884 WITH SCORE 219183.769
AT ITER 922 NEW BEST:: SOT 1860423 SOS 299751 HAS SOPS 299751 HAS SOUS 218866 HAS SOUPS 218866 WITH SCORE 219165.751
AT ITER 939 NEW BEST:: SOT 1860423 SOS 299687 HAS SOPS 299687 HAS SOUS 218785 HAS SOUPS 218785 WITH SCORE 219084.687
AT ITER 955 NEW BEST:: SOT 1860423 SOS 299766 HAS SOPS 299766 HAS SOUS 218532 HAS SOUPS 218532 WITH SCORE 218831.766
AT ITER 957 NEW BEST:: SOT 1860301 SOS 299156 HAS SOPS 299156 HAS SOUS 218166 HAS SOUPS 218166 WITH SCORE 218465.156
AT ITER 977 NEW BEST:: SOT 1860303 SOS 299131 HAS SOPS 299131 HAS SOUS 218143 HAS SOUPS 218143 WITH SCORE 218442.131
AT ITER 1031 NEW BEST:: SOT 1860253 SOS 299073 HAS SOPS 299073 HAS SOUS 218141 HAS SOUPS 218141 WITH SCORE 218440.073
AT ITER 1043 NEW BEST:: SOT 1860253 SOS 299020 HAS SOPS 299020 HAS SOUS 218139 HAS SOUPS 218139 WITH SCORE 218438.02
AT ITER 1065 NEW BEST:: SOT 1860097 SOS 298864 HAS SOPS 298864 HAS SOUS 217983 HAS SOUPS 217983 WITH SCORE 218281.864
AT ITER 1077 NEW BEST:: SOT 1860038 SOS 298805 HAS SOPS 298805 HAS SOUS 217920 HAS SOUPS 217920 WITH SCORE 218218.805
AT ITER 1081 NEW BEST:: SOT 1860038 SOS 298805 HAS SOPS 298805 HAS SOUS 217896 HAS SOUPS 217896 WITH SCORE 218194.805
AT ITER 1082 NEW BEST:: SOT 1859945 SOS 298689 HAS SOPS 298689 HAS SOUS 217834 HAS SOUPS 217834 WITH SCORE 218132.689
AT ITER 1095 NEW BEST:: SOT 1859941 SOS 298681 HAS SOPS 298681 HAS SOUS 217826 HAS SOUPS 217826 WITH SCORE 218124.681
AT ITER 1145 NEW BEST:: SOT 1859997 SOS 298709 HAS SOPS 298709 HAS SOUS 217770 HAS SOUPS 217770 WITH SCORE 218068.709
AT ITER 1192 NEW BEST:: SOT 1859957 SOS 298583 HAS SOPS 298583 HAS SOUS 217716 HAS SOUPS 217716 WITH SCORE 218014.583
AT ITER 1203 NEW BEST:: SOT 1859909 SOS 298602 HAS SOPS 298602 HAS SOUS 217631 HAS SOUPS 217631 WITH SCORE 217929.602
AT ITER 1225 NEW BEST:: SOT 1859888 SOS 298560 HAS SOPS 298560 HAS SOUS 217589 HAS SOUPS 217589 WITH SCORE 217887.56
AT ITER 1229 NEW BEST:: SOT 1859888 SOS 298540 HAS SOPS 298540 HAS SOUS 217564 HAS SOUPS 217564 WITH SCORE 217862.54
AT ITER 1236 NEW BEST:: SOT 1859888 SOS 298498 HAS SOPS 298498 HAS SOUS 217543 HAS SOUPS 217543 WITH SCORE 217841.498
AT ITER 1240 NEW BEST:: SOT 1859247 SOS 298861 HAS SOPS 298861 HAS SOUS 217154 HAS SOUPS 217154 WITH SCORE 217452.861
AT ITER 1282 NEW BEST:: SOT 1858847 SOS 298460 HAS SOPS 298460 HAS SOUS 216753 HAS SOUPS 216753 WITH SCORE 217051.46
AT ITER 1299 NEW BEST:: SOT 1858776 SOS 298318 HAS SOPS 298318 HAS SOUS 216630 HAS SOUPS 216630 WITH SCORE 216928.318
AT ITER 1325 NEW BEST:: SOT 1858731 SOS 298184 HAS SOPS 298184 HAS SOUS 216630 HAS SOUPS 216630 WITH SCORE 216928.184
AT ITER 1341 NEW BEST:: SOT 1858731 SOS 298183 HAS SOPS 298183 HAS SOUS 216629 HAS SOUPS 216629 WITH SCORE 216927.183
AT ITER 1359 NEW BEST:: SOT 1858535 SOS 298129 HAS SOPS 298129 HAS SOUS 216564 HAS SOUPS 216564 WITH SCORE 216862.129
AT ITER 1365 NEW BEST:: SOT 1858411 SOS 298242 HAS SOPS 298242 HAS SOUS 216505 HAS SOUPS 216505 WITH SCORE 216803.242
AT ITER 1417 NEW BEST:: SOT 1858360 SOS 298140 HAS SOPS 298140 HAS SOUS 216399 HAS SOUPS 216399 WITH SCORE 216697.14
AT ITER 1435 NEW BEST:: SOT 1858389 SOS 298324 HAS SOPS 298324 HAS SOUS 216269 HAS SOUPS 216269 WITH SCORE 216567.324
AT ITER 1459 NEW BEST:: SOT 1858389 SOS 298314 HAS SOPS 298314 HAS SOUS 216267 HAS SOUPS 216267 WITH SCORE 216565.314
AT ITER 1483 NEW BEST:: SOT 1858390 SOS 298189 HAS SOPS 298189 HAS SOUS 216208 HAS SOUPS 216208 WITH SCORE 216506.189
AT ITER 1487 NEW BEST:: SOT 1858370 SOS 298211 HAS SOPS 298211 HAS SOUS 216188 HAS SOUPS 216188 WITH SCORE 216486.211
AT ITER 1516 NEW BEST:: SOT 1858183 SOS 298092 HAS SOPS 298092 HAS SOUS 216069 HAS SOUPS 216069 WITH SCORE 216367.092
AT ITER 1566 NEW BEST:: SOT 1857919 SOS 297944 HAS SOPS 297944 HAS SOUS 216069 HAS SOUPS 216069 WITH SCORE 216366.944
AT ITER 1591 NEW BEST:: SOT 1857250 SOS 297028 HAS SOPS 297028 HAS SOUS 215395 HAS SOUPS 215395 WITH SCORE 215692.028
AT ITER 1598 NEW BEST:: SOT 1857208 SOS 296860 HAS SOPS 296860 HAS SOUS 215353 HAS SOUPS 215353 WITH SCORE 215649.86
AT ITER 1602 NEW BEST:: SOT 1856969 SOS 297018 HAS SOPS 297018 HAS SOUS 215221 HAS SOUPS 215221 WITH SCORE 215518.018
AT ITER 1606 NEW BEST:: SOT 1856948 SOS 296934 HAS SOPS 296934 HAS SOUS 215158 HAS SOUPS 215158 WITH SCORE 215454.934
AT ITER 1659 NEW BEST:: SOT 1856873 SOS 296818 HAS SOPS 296818 HAS SOUS 215013 HAS SOUPS 215013 WITH SCORE 215309.818
AT ITER 1679 NEW BEST:: SOT 1856894 SOS 296839 HAS SOPS 296839 HAS SOUS 214992 HAS SOUPS 214992 WITH SCORE 215288.839
AT ITER 1716 NEW BEST:: SOT 1856636 SOS 296801 HAS SOPS 296801 HAS SOUS 214895 HAS SOUPS 214895 WITH SCORE 215191.801
AT ITER 1730 NEW BEST:: SOT 1856636 SOS 296801 HAS SOPS 296801 HAS SOUS 214855 HAS SOUPS 214855 WITH SCORE 215151.801
AT ITER 1733 NEW BEST:: SOT 1856636 SOS 296801 HAS SOPS 296801 HAS SOUS 214675 HAS SOUPS 214675 WITH SCORE 214971.801
AT ITER 1747 NEW BEST:: SOT 1856636 SOS 296776 HAS SOPS 296776 HAS SOUS 214600 HAS SOUPS 214600 WITH SCORE 214896.776
AT ITER 1796 NEW BEST:: SOT 1856687 SOS 296964 HAS SOPS 296964 HAS SOUS 214594 HAS SOUPS 214594 WITH SCORE 214890.964
AT ITER 1813 NEW BEST:: SOT 1856739 SOS 297038 HAS SOPS 297038 HAS SOUS 214591 HAS SOUPS 214591 WITH SCORE 214888.038
AT ITER 1858 NEW BEST:: SOT 1856739 SOS 296963 HAS SOPS 296963 HAS SOUS 214591 HAS SOUPS 214591 WITH SCORE 214887.963
AT ITER 1862 NEW BEST:: SOT 1856549 SOS 297037 HAS SOPS 297037 HAS SOUS 214549 HAS SOUPS 214549 WITH SCORE 214846.037
AT ITER 1865 NEW BEST:: SOT 1856549 SOS 295969 HAS SOPS 295969 HAS SOUS 214549 HAS SOUPS 214549 WITH SCORE 214844.969
AT ITER 1878 NEW BEST:: SOT 1856543 SOS 295945 HAS SOPS 295945 HAS SOUS 214549 HAS SOUPS 214549 WITH SCORE 214844.945
AT ITER 1901 NEW BEST:: SOT 1856475 SOS 295769 HAS SOPS 295769 HAS SOUS 214441 HAS SOUPS 214441 WITH SCORE 214736.769
AT ITER 1902 NEW BEST:: SOT 1855970 SOS 295444 HAS SOPS 295444 HAS SOUS 214243 HAS SOUPS 214243 WITH SCORE 214538.444
AT ITER 1906 NEW BEST:: SOT 1855969 SOS 295474 HAS SOPS 295474 HAS SOUS 214242 HAS SOUPS 214242 WITH SCORE 214537.474
AT ITER 1933 NEW BEST:: SOT 1855917 SOS 295294 HAS SOPS 295294 HAS SOUS 214108 HAS SOUPS 214108 WITH SCORE 214403.294
AT ITER 1947 NEW BEST:: SOT 1855917 SOS 295279 HAS SOPS 295279 HAS SOUS 214093 HAS SOUPS 214093 WITH SCORE 214388.279
AT ITER 1948 NEW BEST:: SOT 1855884 SOS 295214 HAS SOPS 295214 HAS SOUS 214054 HAS SOUPS 214054 WITH SCORE 214349.214
AT ITER 1975 NEW BEST:: SOT 1855874 SOS 295194 HAS SOPS 295194 HAS SOUS 214044 HAS SOUPS 214044 WITH SCORE 214339.194
AT ITER 1987 NEW BEST:: SOT 1855839 SOS 295379 HAS SOPS 295379 HAS SOUS 214014 HAS SOUPS 214014 WITH SCORE 214309.379
AT ITER 2013 NEW BEST:: SOT 1855839 SOS 295370 HAS SOPS 295370 HAS SOUS 214011 HAS SOUPS 214011 WITH SCORE 214306.37
AT ITER 2042 NEW BEST:: SOT 1855832 SOS 295356 HAS SOPS 295356 HAS SOUS 214011 HAS SOUPS 214011 WITH SCORE 214306.356
AT ITER 2048 NEW BEST:: SOT 1855839 SOS 295348 HAS SOPS 295348 HAS SOUS 213990 HAS SOUPS 213990 WITH SCORE 214285.348
AT ITER 2078 NEW BEST:: SOT 1855753 SOS 295158 HAS SOPS 295158 HAS SOUS 213904 HAS SOUPS 213904 WITH SCORE 214199.158
AT ITER 2090 NEW BEST:: SOT 1855738 SOS 295128 HAS SOPS 295128 HAS SOUS 213889 HAS SOUPS 213889 WITH SCORE 214184.128
AT ITER 2103 NEW BEST:: SOT 1855760 SOS 295138 HAS SOPS 295138 HAS SOUS 213742 HAS SOUPS 213742 WITH SCORE 214037.138
AT ITER 2142 NEW BEST:: SOT 1855759 SOS 295136 HAS SOPS 295136 HAS SOUS 213740 HAS SOUPS 213740 WITH SCORE 214035.136
AT ITER 2157 NEW BEST:: SOT 1855759 SOS 295116 HAS SOPS 295116 HAS SOUS 213720 HAS SOUPS 213720 WITH SCORE 214015.116
AT ITER 2162 NEW BEST:: SOT 1855744 SOS 295229 HAS SOPS 295229 HAS SOUS 213703 HAS SOUPS 213703 WITH SCORE 213998.229
AT ITER 2167 NEW BEST:: SOT 1855742 SOS 295227 HAS SOPS 295227 HAS SOUS 213701 HAS SOUPS 213701 WITH SCORE 213996.227
AT ITER 2174 NEW BEST:: SOT 1855722 SOS 295207 HAS SOPS 295207 HAS SOUS 213671 HAS SOUPS 213671 WITH SCORE 213966.207
AT ITER 2195 NEW BEST:: SOT 1855954 SOS 295493 HAS SOPS 295493 HAS SOUS 213627 HAS SOUPS 213627 WITH SCORE 213922.493
AT ITER 2224 NEW BEST:: SOT 1855954 SOS 295432 HAS SOPS 295432 HAS SOUS 213627 HAS SOUPS 213627 WITH SCORE 213922.432
AT ITER 2227 NEW BEST:: SOT 1855970 SOS 295448 HAS SOPS 295448 HAS SOUS 213622 HAS SOUPS 213622 WITH SCORE 213917.448
AT ITER 2240 NEW BEST:: SOT 1855638 SOS 295351 HAS SOPS 295351 HAS SOUS 213560 HAS SOUPS 213560 WITH SCORE 213855.351
AT ITER 2241 NEW BEST:: SOT 1855505 SOS 294994 HAS SOPS 294994 HAS SOUS 213250 HAS SOUPS 213250 WITH SCORE 213544.994
AT ITER 2243 NEW BEST:: SOT 1855315 SOS 294831 HAS SOPS 294831 HAS SOUS 213086 HAS SOUPS 213086 WITH SCORE 213380.831
AT ITER 2262 NEW BEST:: SOT 1855307 SOS 294823 HAS SOPS 294823 HAS SOUS 213078 HAS SOUPS 213078 WITH SCORE 213372.823
AT ITER 2312 NEW BEST:: SOT 1855307 SOS 294853 HAS SOPS 294853 HAS SOUS 213048 HAS SOUPS 213048 WITH SCORE 213342.853
AT ITER 2333 NEW BEST:: SOT 1855307 SOS 294853 HAS SOPS 294853 HAS SOUS 213046 HAS SOUPS 213046 WITH SCORE 213340.853
AT ITER 2377 NEW BEST:: SOT 1855307 SOS 295234 HAS SOPS 295234 HAS SOUS 212966 HAS SOUPS 212966 WITH SCORE 213261.234
AT ITER 2427 NEW BEST:: SOT 1855307 SOS 295235 HAS SOPS 295235 HAS SOUS 212964 HAS SOUPS 212964 WITH SCORE 213259.235
AT ITER 2471 NEW BEST:: SOT 1855249 SOS 294833 HAS SOPS 294833 HAS SOUS 212915 HAS SOUPS 212915 WITH SCORE 213209.833
AT ITER 2515 NEW BEST:: SOT 1855212 SOS 294669 HAS SOPS 294669 HAS SOUS 212858 HAS SOUPS 212858 WITH SCORE 213152.669
AT ITER 2530 NEW BEST:: SOT 1855167 SOS 294635 HAS SOPS 294635 HAS SOUS 212768 HAS SOUPS 212768 WITH SCORE 213062.635
AT ITER 2538 NEW BEST:: SOT 1855046 SOS 294538 HAS SOPS 294538 HAS SOUS 212691 HAS SOUPS 212691 WITH SCORE 212985.538
AT ITER 2540 NEW BEST:: SOT 1854999 SOS 294531 HAS SOPS 294531 HAS SOUS 212687 HAS SOUPS 212687 WITH SCORE 212981.531
AT ITER 2543 NEW BEST:: SOT 1854838 SOS 294369 HAS SOPS 294369 HAS SOUS 212556 HAS SOUPS 212556 WITH SCORE 212850.369
AT ITER 2545 NEW BEST:: SOT 1854783 SOS 293924 HAS SOPS 293924 HAS SOUS 212466 HAS SOUPS 212466 WITH SCORE 212759.924
AT ITER 2618 NEW BEST:: SOT 1854687 SOS 293959 HAS SOPS 293959 HAS SOUS 212412 HAS SOUPS 212412 WITH SCORE 212705.959
AT ITER 2649 NEW BEST:: SOT 1854647 SOS 293904 HAS SOPS 293904 HAS SOUS 212357 HAS SOUPS 212357 WITH SCORE 212650.904
AT ITER 2659 NEW BEST:: SOT 1854733 SOS 293975 HAS SOPS 293975 HAS SOUS 212282 HAS SOUPS 212282 WITH SCORE 212575.975
AT ITER 2683 NEW BEST:: SOT 1854309 SOS 293615 HAS SOPS 293615 HAS SOUS 211922 HAS SOUPS 211922 WITH SCORE 212215.615
AT ITER 2692 NEW BEST:: SOT 1853943 SOS 299738 HAS SOPS 299738 HAS SOUS 211870 HAS SOUPS 211870 WITH SCORE 212169.738
AT ITER 2714 NEW BEST:: SOT 1853748 SOS 299626 HAS SOPS 299626 HAS SOUS 211758 HAS SOUPS 211758 WITH SCORE 212057.626
AT ITER 2757 NEW BEST:: SOT 1853652 SOS 299541 HAS SOPS 299541 HAS SOUS 211329 HAS SOUPS 211329 WITH SCORE 211628.541
AT ITER 2781 NEW BEST:: SOT 1853550 SOS 299576 HAS SOPS 299576 HAS SOUS 211225 HAS SOUPS 211225 WITH SCORE 211524.576
AT ITER 2853 NEW BEST:: SOT 1853489 SOS 299454 HAS SOPS 299454 HAS SOUS 211164 HAS SOUPS 211164 WITH SCORE 211463.454
AT ITER 2865 NEW BEST:: SOT 1853457 SOS 299391 HAS SOPS 299391 HAS SOUS 211043 HAS SOUPS 211043 WITH SCORE 211342.391
AT ITER 2892 NEW BEST:: SOT 1853457 SOS 299293 HAS SOPS 299293 HAS SOUS 211039 HAS SOUPS 211039 WITH SCORE 211338.293
AT ITER 2909 NEW BEST:: SOT 1853206 SOS 300426 HAS SOPS 300426 HAS SOUS 210773 HAS SOUPS 210773 WITH SCORE 211073.426
AT ITER 2910 NEW BEST:: SOT 1853116 SOS 300414 HAS SOPS 300414 HAS SOUS 210683 HAS SOUPS 210683 WITH SCORE 210983.414
AT ITER 2916 NEW BEST:: SOT 1853084 SOS 300371 HAS SOPS 300371 HAS SOUS 210667 HAS SOUPS 210667 WITH SCORE 210967.371
AT ITER 2928 NEW BEST:: SOT 1852980 SOS 300267 HAS SOPS 300267 HAS SOUS 210563 HAS SOUPS 210563 WITH SCORE 210863.267
AT ITER 2944 NEW BEST:: SOT 1852980 SOS 300267 HAS SOPS 300267 HAS SOUS 210539 HAS SOUPS 210539 WITH SCORE 210839.267
AT ITER 2972 NEW BEST:: SOT 1852947 SOS 300105 HAS SOPS 300105 HAS SOUS 210500 HAS SOUPS 210500 WITH SCORE 210800.105
AT ITER 2992 NEW BEST:: SOT 1852878 SOS 299842 HAS SOPS 299842 HAS SOUS 210462 HAS SOUPS 210462 WITH SCORE 210761.842
AT ITER 2995 NEW BEST:: SOT 1852826 SOS 299738 HAS SOPS 299738 HAS SOUS 210306 HAS SOUPS 210306 WITH SCORE 210605.738
AT ITER 3004 NEW BEST:: SOT 1852733 SOS 299402 HAS SOPS 299402 HAS SOUS 210125 HAS SOUPS 210125 WITH SCORE 210424.402
AT ITER 3006 NEW BEST:: SOT 1852726 SOS 299361 HAS SOPS 299361 HAS SOUS 210031 HAS SOUPS 210031 WITH SCORE 210330.361
AT ITER 3012 NEW BEST:: SOT 1852686 SOS 299321 HAS SOPS 299321 HAS SOUS 209922 HAS SOUPS 209922 WITH SCORE 210221.321
AT ITER 3014 NEW BEST:: SOT 1852839 SOS 299560 HAS SOPS 299560 HAS SOUS 209897 HAS SOUPS 209897 WITH SCORE 210196.56
AT ITER 3059 NEW BEST:: SOT 1852839 SOS 299671 HAS SOPS 299671 HAS SOUS 209876 HAS SOUPS 209876 WITH SCORE 210175.671
AT ITER 3064 NEW BEST:: SOT 1852839 SOS 299664 HAS SOPS 299664 HAS SOUS 209869 HAS SOUPS 209869 WITH SCORE 210168.664
AT ITER 3075 NEW BEST:: SOT 1852777 SOS 299425 HAS SOPS 299425 HAS SOUS 209791 HAS SOUPS 209791 WITH SCORE 210090.425
AT ITER 3084 NEW BEST:: SOT 1852698 SOS 299243 HAS SOPS 299243 HAS SOUS 209712 HAS SOUPS 209712 WITH SCORE 210011.243
AT ITER 3087 NEW BEST:: SOT 1852667 SOS 299026 HAS SOPS 299026 HAS SOUS 209650 HAS SOUPS 209650 WITH SCORE 209949.026
AT ITER 3089 NEW BEST:: SOT 1852662 SOS 299001 HAS SOPS 299001 HAS SOUS 209645 HAS SOUPS 209645 WITH SCORE 209944.001
AT ITER 3138 NEW BEST:: SOT 1852648 SOS 298945 HAS SOPS 298945 HAS SOUS 209639 HAS SOUPS 209639 WITH SCORE 209937.945
AT ITER 3167 NEW BEST:: SOT 1852615 SOS 298879 HAS SOPS 298879 HAS SOUS 209573 HAS SOUPS 209573 WITH SCORE 209871.879
AT ITER 3212 NEW BEST:: SOT 1852606 SOS 298861 HAS SOPS 298861 HAS SOUS 209564 HAS SOUPS 209564 WITH SCORE 209862.861
AT ITER 3215 NEW BEST:: SOT 1852515 SOS 298634 HAS SOPS 298634 HAS SOUS 209440 HAS SOUPS 209440 WITH SCORE 209738.634
AT ITER 3216 NEW BEST:: SOT 1852507 SOS 298618 HAS SOPS 298618 HAS SOUS 209424 HAS SOUPS 209424 WITH SCORE 209722.618
AT ITER 3226 NEW BEST:: SOT 1852469 SOS 298605 HAS SOPS 298605 HAS SOUS 209386 HAS SOUPS 209386 WITH SCORE 209684.605
AT ITER 3228 NEW BEST:: SOT 1852407 SOS 298557 HAS SOPS 298557 HAS SOUS 209348 HAS SOUPS 209348 WITH SCORE 209646.557
AT ITER 3261 NEW BEST:: SOT 1852403 SOS 298553 HAS SOPS 298553 HAS SOUS 209344 HAS SOUPS 209344 WITH SCORE 209642.553
AT ITER 3278 NEW BEST:: SOT 1852403 SOS 298553 HAS SOPS 298553 HAS SOUS 209342 HAS SOUPS 209342 WITH SCORE 209640.553
AT ITER 3302 NEW BEST:: SOT 1852312 SOS 298434 HAS SOPS 298434 HAS SOUS 209074 HAS SOUPS 209074 WITH SCORE 209372.434
AT ITER 3343 NEW BEST:: SOT 1852277 SOS 298269 HAS SOPS 298269 HAS SOUS 209048 HAS SOUPS 209048 WITH SCORE 209346.269
AT ITER 3358 NEW BEST:: SOT 1852278 SOS 298270 HAS SOPS 298270 HAS SOUS 209035 HAS SOUPS 209035 WITH SCORE 209333.27
AT ITER 3388 NEW BEST:: SOT 1852278 SOS 298256 HAS SOPS 298256 HAS SOUS 209021 HAS SOUPS 209021 WITH SCORE 209319.256
AT ITER 3399 NEW BEST:: SOT 1852267 SOS 298234 HAS SOPS 298234 HAS SOUS 208999 HAS SOUPS 208999 WITH SCORE 209297.234
AT ITER 3432 NEW BEST:: SOT 1852227 SOS 298230 HAS SOPS 298230 HAS SOUS 208997 HAS SOUPS 208997 WITH SCORE 209295.23
AT ITER 3445 NEW BEST:: SOT 1852189 SOS 298008 HAS SOPS 298008 HAS SOUS 208972 HAS SOUPS 208972 WITH SCORE 209270.008
AT ITER 3462 NEW BEST:: SOT 1852188 SOS 297967 HAS SOPS 297967 HAS SOUS 208929 HAS SOUPS 208929 WITH SCORE 209226.967
AT ITER 3490 NEW BEST:: SOT 1851955 SOS 297253 HAS SOPS 297253 HAS SOUS 208572 HAS SOUPS 208572 WITH SCORE 208869.253
AT ITER 3505 NEW BEST:: SOT 1851955 SOS 297246 HAS SOPS 297246 HAS SOUS 208572 HAS SOUPS 208572 WITH SCORE 208869.246
AT ITER 3517 NEW BEST:: SOT 1851937 SOS 297125 HAS SOPS 297125 HAS SOUS 208536 HAS SOUPS 208536 WITH SCORE 208833.125
AT ITER 3537 NEW BEST:: SOT 1851937 SOS 297188 HAS SOPS 297188 HAS SOUS 208518 HAS SOUPS 208518 WITH SCORE 208815.188
AT ITER 3540 NEW BEST:: SOT 1851789 SOS 296898 HAS SOPS 296898 HAS SOUS 208204 HAS SOUPS 208204 WITH SCORE 208500.898
AT ITER 3554 NEW BEST:: SOT 1851508 SOS 297000 HAS SOPS 297000 HAS SOUS 208187 HAS SOUPS 208187 WITH SCORE 208484.0
AT ITER 3592 NEW BEST:: SOT 1851418 SOS 297136 HAS SOPS 297136 HAS SOUS 208179 HAS SOUPS 208179 WITH SCORE 208476.136
AT ITER 3603 NEW BEST:: SOT 1851488 SOS 297182 HAS SOPS 297182 HAS SOUS 207850 HAS SOUPS 207850 WITH SCORE 208147.182
AT ITER 3605 NEW BEST:: SOT 1851488 SOS 297182 HAS SOPS 297182 HAS SOUS 207824 HAS SOUPS 207824 WITH SCORE 208121.182
AT ITER 3647 NEW BEST:: SOT 1851369 SOS 296915 HAS SOPS 296915 HAS SOUS 207799 HAS SOUPS 207799 WITH SCORE 208095.915
AT ITER 3666 NEW BEST:: SOT 1851353 SOS 296915 HAS SOPS 296915 HAS SOUS 207797 HAS SOUPS 207797 WITH SCORE 208093.915
AT ITER 3695 NEW BEST:: SOT 1851282 SOS 296808 HAS SOPS 296808 HAS SOUS 207690 HAS SOUPS 207690 WITH SCORE 207986.808
AT ITER 3721 NEW BEST:: SOT 1851188 SOS 296714 HAS SOPS 296714 HAS SOUS 207596 HAS SOUPS 207596 WITH SCORE 207892.714
AT ITER 3733 NEW BEST:: SOT 1850949 SOS 296620 HAS SOPS 296620 HAS SOUS 207357 HAS SOUPS 207357 WITH SCORE 207653.62
AT ITER 3771 NEW BEST:: SOT 1850935 SOS 296487 HAS SOPS 296487 HAS SOUS 207347 HAS SOUPS 207347 WITH SCORE 207643.487
AT ITER 3775 NEW BEST:: SOT 1850917 SOS 296765 HAS SOPS 296765 HAS SOUS 207234 HAS SOUPS 207234 WITH SCORE 207530.765
AT ITER 3791 NEW BEST:: SOT 1850799 SOS 296604 HAS SOPS 296604 HAS SOUS 206998 HAS SOUPS 206998 WITH SCORE 207294.604
AT ITER 3849 NEW BEST:: SOT 1850763 SOS 296379 HAS SOPS 296379 HAS SOUS 206949 HAS SOUPS 206949 WITH SCORE 207245.379
AT ITER 3880 NEW BEST:: SOT 1850717 SOS 296331 HAS SOPS 296331 HAS SOUS 206901 HAS SOUPS 206901 WITH SCORE 207197.331
AT ITER 3888 NEW BEST:: SOT 1850411 SOS 296233 HAS SOPS 296233 HAS SOUS 206591 HAS SOUPS 206591 WITH SCORE 206887.233
AT ITER 3894 NEW BEST:: SOT 1850375 SOS 296125 HAS SOPS 296125 HAS SOUS 206531 HAS SOUPS 206531 WITH SCORE 206827.125
AT ITER 3900 NEW BEST:: SOT 1850372 SOS 296096 HAS SOPS 296096 HAS SOUS 206501 HAS SOUPS 206501 WITH SCORE 206797.096
AT ITER 3903 NEW BEST:: SOT 1850293 SOS 295521 HAS SOPS 295521 HAS SOUS 206299 HAS SOUPS 206299 WITH SCORE 206594.521
AT ITER 3917 NEW BEST:: SOT 1850293 SOS 295479 HAS SOPS 295479 HAS SOUS 206290 HAS SOUPS 206290 WITH SCORE 206585.479
AT ITER 3924 NEW BEST:: SOT 1850188 SOS 295479 HAS SOPS 295479 HAS SOUS 206185 HAS SOUPS 206185 WITH SCORE 206480.479
AT ITER 3940 NEW BEST:: SOT 1850177 SOS 295423 HAS SOPS 295423 HAS SOUS 206163 HAS SOUPS 206163 WITH SCORE 206458.423
AT ITER 3943 NEW BEST:: SOT 1850205 SOS 295389 HAS SOPS 295389 HAS SOUS 206082 HAS SOUPS 206082 WITH SCORE 206377.389
AT ITER 3954 NEW BEST:: SOT 1850159 SOS 295343 HAS SOPS 295343 HAS SOUS 206078 HAS SOUPS 206078 WITH SCORE 206373.343
AT ITER 3976 NEW BEST:: SOT 1850302 SOS 295448 HAS SOPS 295448 HAS SOUS 206049 HAS SOUPS 206049 WITH SCORE 206344.448
AT ITER 4043 NEW BEST:: SOT 1849675 SOS 295933 HAS SOPS 295933 HAS SOUS 205664 HAS SOUPS 205664 WITH SCORE 205959.933
AT ITER 4046 NEW BEST:: SOT 1849530 SOS 295732 HAS SOPS 295732 HAS SOUS 205577 HAS SOUPS 205577 WITH SCORE 205872.732
AT ITER 4085 NEW BEST:: SOT 1849467 SOS 295722 HAS SOPS 295722 HAS SOUS 205570 HAS SOUPS 205570 WITH SCORE 205865.722
AT ITER 4118 NEW BEST:: SOT 1849467 SOS 295673 HAS SOPS 295673 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205816.673
AT ITER 4124 NEW BEST:: SOT 1849467 SOS 295635 HAS SOPS 295635 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205816.635
AT ITER 4156 NEW BEST:: SOT 1849477 SOS 295681 HAS SOPS 295681 HAS SOUS 205497 HAS SOUPS 205497 WITH SCORE 205792.681
AT ITER 4162 NEW BEST:: SOT 1849443 SOS 295622 HAS SOPS 295622 HAS SOUS 205382 HAS SOUPS 205382 WITH SCORE 205677.622
AT ITER 4168 NEW BEST:: SOT 1849443 SOS 295622 HAS SOPS 295622 HAS SOUS 205346 HAS SOUPS 205346 WITH SCORE 205641.622
AT ITER 4171 NEW BEST:: SOT 1849358 SOS 295426 HAS SOPS 295426 HAS SOUS 205291 HAS SOUPS 205291 WITH SCORE 205586.426
AT ITER 4197 NEW BEST:: SOT 1849330 SOS 295398 HAS SOPS 295398 HAS SOUS 205263 HAS SOUPS 205263 WITH SCORE 205558.398
AT ITER 4266 NEW BEST:: SOT 1849253 SOS 295343 HAS SOPS 295343 HAS SOUS 205205 HAS SOUPS 205205 WITH SCORE 205500.343
AT ITER 4317 NEW BEST:: SOT 1849309 SOS 295563 HAS SOPS 295563 HAS SOUS 205191 HAS SOUPS 205191 WITH SCORE 205486.563
AT ITER 4319 NEW BEST:: SOT 1849025 SOS 297484 HAS SOPS 297484 HAS SOUS 205085 HAS SOUPS 205085 WITH SCORE 205382.484
AT ITER 4326 NEW BEST:: SOT 1849019 SOS 297480 HAS SOPS 297480 HAS SOUS 205078 HAS SOUPS 205078 WITH SCORE 205375.48
AT ITER 4351 NEW BEST:: SOT 1849199 SOS 298085 HAS SOPS 298085 HAS SOUS 205007 HAS SOUPS 205007 WITH SCORE 205305.085
AT ITER 4363 NEW BEST:: SOT 1849256 SOS 298007 HAS SOPS 298007 HAS SOUS 205000 HAS SOUPS 205000 WITH SCORE 205298.007
AT ITER 4387 NEW BEST:: SOT 1849110 SOS 297861 HAS SOPS 297861 HAS SOUS 204998 HAS SOUPS 204998 WITH SCORE 205295.861
AT ITER 4390 NEW BEST:: SOT 1849181 SOS 297699 HAS SOPS 297699 HAS SOUS 204977 HAS SOUPS 204977 WITH SCORE 205274.699
AT ITER 4402 NEW BEST:: SOT 1849181 SOS 297677 HAS SOPS 297677 HAS SOUS 204977 HAS SOUPS 204977 WITH SCORE 205274.677
AT ITER 4406 NEW BEST:: SOT 1849076 SOS 297569 HAS SOPS 297569 HAS SOUS 204912 HAS SOUPS 204912 WITH SCORE 205209.569
AT ITER 4451 NEW BEST:: SOT 1849076 SOS 297485 HAS SOPS 297485 HAS SOUS 204912 HAS SOUPS 204912 WITH SCORE 205209.485
AT ITER 4455 NEW BEST:: SOT 1849036 SOS 297445 HAS SOPS 297445 HAS SOUS 204912 HAS SOUPS 204912 WITH SCORE 205209.445
AT ITER 4468 NEW BEST:: SOT 1848972 SOS 297317 HAS SOPS 297317 HAS SOUS 204848 HAS SOUPS 204848 WITH SCORE 205145.317
AT ITER 4494 NEW BEST:: SOT 1848972 SOS 297417 HAS SOPS 297417 HAS SOUS 204584 HAS SOUPS 204584 WITH SCORE 204881.417
AT ITER 4522 NEW BEST:: SOT 1848944 SOS 297409 HAS SOPS 297409 HAS SOUS 204566 HAS SOUPS 204566 WITH SCORE 204863.409
AT ITER 4534 NEW BEST:: SOT 1848945 SOS 297496 HAS SOPS 297496 HAS SOUS 204434 HAS SOUPS 204434 WITH SCORE 204731.496
AT ITER 4542 NEW BEST:: SOT 1848919 SOS 297241 HAS SOPS 297241 HAS SOUS 204421 HAS SOUPS 204421 WITH SCORE 204718.241
AT ITER 4562 NEW BEST:: SOT 1848824 SOS 297187 HAS SOPS 297187 HAS SOUS 204326 HAS SOUPS 204326 WITH SCORE 204623.187
AT ITER 4600 NEW BEST:: SOT 1848802 SOS 297143 HAS SOPS 297143 HAS SOUS 204294 HAS SOUPS 204294 WITH SCORE 204591.143
AT ITER 4604 NEW BEST:: SOT 1848771 SOS 297024 HAS SOPS 297024 HAS SOUS 204245 HAS SOUPS 204245 WITH SCORE 204542.024
AT ITER 4616 NEW BEST:: SOT 1848738 SOS 296958 HAS SOPS 296958 HAS SOUS 204201 HAS SOUPS 204201 WITH SCORE 204497.958
AT ITER 4644 NEW BEST:: SOT 1848597 SOS 296770 HAS SOPS 296770 HAS SOUS 203997 HAS SOUPS 203997 WITH SCORE 204293.77
AT ITER 4650 NEW BEST:: SOT 1848215 SOS 296409 HAS SOPS 296409 HAS SOUS 203610 HAS SOUPS 203610 WITH SCORE 203906.409
AT ITER 4727 NEW BEST:: SOT 1848213 SOS 296405 HAS SOPS 296405 HAS SOUS 203608 HAS SOUPS 203608 WITH SCORE 203904.405
AT ITER 4765 NEW BEST:: SOT 1848214 SOS 296386 HAS SOPS 296386 HAS SOUS 203547 HAS SOUPS 203547 WITH SCORE 203843.386
AT ITER 4781 NEW BEST:: SOT 1848214 SOS 296566 HAS SOPS 296566 HAS SOUS 203367 HAS SOUPS 203367 WITH SCORE 203663.566
AT ITER 4830 NEW BEST:: SOT 1848177 SOS 296510 HAS SOPS 296510 HAS SOUS 203358 HAS SOUPS 203358 WITH SCORE 203654.51
AT ITER 4839 NEW BEST:: SOT 1848055 SOS 296327 HAS SOPS 296327 HAS SOUS 203236 HAS SOUPS 203236 WITH SCORE 203532.327
AT ITER 4843 NEW BEST:: SOT 1848420 SOS 296436 HAS SOPS 296436 HAS SOUS 203015 HAS SOUPS 203015 WITH SCORE 203311.436
AT ITER 4854 NEW BEST:: SOT 1848417 SOS 296421 HAS SOPS 296421 HAS SOUS 203015 HAS SOUPS 203015 WITH SCORE 203311.421
AT ITER 4856 NEW BEST:: SOT 1848417 SOS 296377 HAS SOPS 296377 HAS SOUS 203011 HAS SOUPS 203011 WITH SCORE 203307.377
AT ITER 4860 NEW BEST:: SOT 1848416 SOS 296362 HAS SOPS 296362 HAS SOUS 202996 HAS SOUPS 202996 WITH SCORE 203292.362
AT ITER 4932 NEW BEST:: SOT 1848372 SOS 296318 HAS SOPS 296318 HAS SOUS 202952 HAS SOUPS 202952 WITH SCORE 203248.318
AT ITER 4955 NEW BEST:: SOT 1848357 SOS 296298 HAS SOPS 296298 HAS SOUS 202933 HAS SOUPS 202933 WITH SCORE 203229.298
AT ITER 4958 NEW BEST:: SOT 1848294 SOS 296196 HAS SOPS 296196 HAS SOUS 202933 HAS SOUPS 202933 WITH SCORE 203229.196
AT ITER 4964 NEW BEST:: SOT 1848294 SOS 296065 HAS SOPS 296065 HAS SOUS 202933 HAS SOUPS 202933 WITH SCORE 203229.065
AT ITER 4984 NEW BEST:: SOT 1848291 SOS 296054 HAS SOPS 296054 HAS SOUS 202881 HAS SOUPS 202881 WITH SCORE 203177.054
AT ITER 4993 NEW BEST:: SOT 1848291 SOS 296007 HAS SOPS 296007 HAS SOUS 202787 HAS SOUPS 202787 WITH SCORE 203083.007
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-6B-CTLCardinality-00 (AF(( (AG( potential( (tk(P1399)) <= (tk(P204)) ))) & (EF(potential( ( 3 ) <= (tk(P1206)) ))) )))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-01 (AF((! (EX( potential( (tk(P253)) <= (tk(P1020)) ))))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-02 (AU( ( ( potential( ( 1 ) <= (tk(P479)) ) & potential( (tk(P94)) <= (tk(P12)) ) ) | potential( ( 2 ) <= (tk(P951)) ) ),(AG( potential( (tk(P41)) <= (tk(P620)) ))) ))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-03 ( (! (AF((! potential( (tk(P1140)) <= (tk(P1022)) ))))) | (AG( ( ( potential( ( 2 ) <= (tk(P675)) ) & potential( (tk(P957)) <= (tk(P615)) ) ) & potential( (tk(P733)) <= (tk(P540)) ) ))) )
PROPERTY: NoC3x3-PT-6B-CTLCardinality-04 (EG( ( ( ( potential( ( 1 ) <= (tk(P1329)) ) | potential( ( 2 ) <= (tk(P474)) ) ) & potential( (tk(P558)) <= (tk(P592)) ) ) | (! ( potential( ( 1 ) <= (tk(P485)) ) & potential( ( 1 ) <= (tk(P757)) ) )) )))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-05 (AG( (EU( potential( (tk(P277)) <= (tk(P1164)) ),potential( ( 2 ) <= (tk(P1505)) ) ))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-06 (EF((! ( ( potential( ( 2 ) <= (tk(P77)) ) & potential( (tk(P651)) <= (tk(P665)) ) ) | ( potential( ( 1 ) <= (tk(P1393)) ) | potential( (tk(P1032)) <= (tk(P752)) ) ) ))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-07 (EX( (EU( potential( (tk(P1218)) <= (tk(P109)) ),potential( ( 1 ) <= (tk(P1080)) ) ))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-08 ( (EG( (AX( potential( (tk(P1398)) <= (tk(P343)) ))))) | potential( ( 1 ) <= (tk(P769)) ) )
PROPERTY: NoC3x3-PT-6B-CTLCardinality-09 (EF((EG( ( potential( ( 1 ) <= (tk(P509)) ) | potential( ( 1 ) <= (tk(P429)) ) )))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-10 (AU( (! (! potential( (tk(P546)) <= (tk(P415)) ))),( ( potential( ( 3 ) <= (tk(P1407)) ) & potential( ( 3 ) <= (tk(P1058)) ) ) & ( potential( (tk(P1397)) <= (tk(P298)) ) | potential( ( 1 ) <= (tk(P1419)) ) ) ) ))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-11 (EF(potential( ( 2 ) <= (tk(P635)) )))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-12 (AF(( (EG( potential( ( 1 ) <= (tk(P1514)) ))) | ( potential( ( 2 ) <= (tk(P955)) ) & ( potential( ( 2 ) <= (tk(P1430)) ) & potential( (tk(P516)) <= (tk(P329)) ) ) ) )))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-13 ( ( (EF((! potential( (tk(P1387)) <= (tk(P996)) )))) | ( potential( ( 1 ) <= (tk(P669)) ) & (AG( potential( (tk(P987)) <= (tk(P1467)) ))) ) ) & potential( (tk(P1513)) <= (tk(P1464)) ) )
PROPERTY: NoC3x3-PT-6B-CTLCardinality-14 (EG( (EG( ( potential( (tk(P1012)) <= (tk(P1071)) ) | potential( ( 3 ) <= (tk(P794)) ) )))))
PROPERTY: NoC3x3-PT-6B-CTLCardinality-15 (AG( (AX( potential( (tk(P1462)) <= (tk(P1159)) )))))

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-6B"
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 NoC3x3-PT-6B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500419"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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