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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:36 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.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:00 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 525K 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-5B-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-5B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641620537

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5B
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: 1571 places, 2173 transitions, 6109 arcs.
AT ITER 0 NEW BEST:: SOT 1846019 SOS 295120 HAS SOPS 295120 HAS SOUS 236109 HAS SOUPS 236109 WITH SCORE 236404.12
AT ITER 8 NEW BEST:: SOT 1845984 SOS 295013 HAS SOPS 295013 HAS SOUS 236000 HAS SOUPS 236000 WITH SCORE 236295.013
AT ITER 27 NEW BEST:: SOT 1845844 SOS 294985 HAS SOPS 294985 HAS SOUS 235930 HAS SOUPS 235930 WITH SCORE 236224.985
AT ITER 31 NEW BEST:: SOT 1845510 SOS 294693 HAS SOPS 294693 HAS SOUS 235650 HAS SOUPS 235650 WITH SCORE 235944.693
AT ITER 52 NEW BEST:: SOT 1845194 SOS 294514 HAS SOPS 294514 HAS SOUS 235469 HAS SOUPS 235469 WITH SCORE 235763.514
AT ITER 79 NEW BEST:: SOT 1845092 SOS 294412 HAS SOPS 294412 HAS SOUS 235367 HAS SOUPS 235367 WITH SCORE 235661.412
AT ITER 84 NEW BEST:: SOT 1844877 SOS 293038 HAS SOPS 293038 HAS SOUS 234383 HAS SOUPS 234383 WITH SCORE 234676.038
AT ITER 116 NEW BEST:: SOT 1842508 SOS 313916 HAS SOPS 313916 HAS SOUS 233176 HAS SOUPS 233176 WITH SCORE 233489.916
AT ITER 145 NEW BEST:: SOT 1842466 SOS 313832 HAS SOPS 313832 HAS SOUS 233092 HAS SOUPS 233092 WITH SCORE 233405.832
AT ITER 150 NEW BEST:: SOT 1842446 SOS 313832 HAS SOPS 313832 HAS SOUS 233063 HAS SOUPS 233063 WITH SCORE 233376.832
AT ITER 174 NEW BEST:: SOT 1842446 SOS 313902 HAS SOPS 313902 HAS SOUS 233028 HAS SOUPS 233028 WITH SCORE 233341.902
AT ITER 192 NEW BEST:: SOT 1842331 SOS 313794 HAS SOPS 313794 HAS SOUS 232920 HAS SOUPS 232920 WITH SCORE 233233.794
AT ITER 193 NEW BEST:: SOT 1842323 SOS 313778 HAS SOPS 313778 HAS SOUS 232919 HAS SOUPS 232919 WITH SCORE 233232.778
AT ITER 202 NEW BEST:: SOT 1842223 SOS 313677 HAS SOPS 313677 HAS SOUS 232794 HAS SOUPS 232794 WITH SCORE 233107.677
AT ITER 218 NEW BEST:: SOT 1842223 SOS 313609 HAS SOPS 313609 HAS SOUS 232760 HAS SOUPS 232760 WITH SCORE 233073.609
AT ITER 288 NEW BEST:: SOT 1842117 SOS 313672 HAS SOPS 313672 HAS SOUS 232589 HAS SOUPS 232589 WITH SCORE 232902.672
AT ITER 337 NEW BEST:: SOT 1842078 SOS 313555 HAS SOPS 313555 HAS SOUS 232433 HAS SOUPS 232433 WITH SCORE 232746.555
AT ITER 342 NEW BEST:: SOT 1842001 SOS 313477 HAS SOPS 313477 HAS SOUS 232355 HAS SOUPS 232355 WITH SCORE 232668.477
AT ITER 358 NEW BEST:: SOT 1841870 SOS 313434 HAS SOPS 313434 HAS SOUS 232255 HAS SOUPS 232255 WITH SCORE 232568.434
AT ITER 435 NEW BEST:: SOT 1841428 SOS 313102 HAS SOPS 313102 HAS SOUS 231927 HAS SOUPS 231927 WITH SCORE 232240.102
AT ITER 472 NEW BEST:: SOT 1841372 SOS 313035 HAS SOPS 313035 HAS SOUS 231907 HAS SOUPS 231907 WITH SCORE 232220.035
AT ITER 485 NEW BEST:: SOT 1841197 SOS 312974 HAS SOPS 312974 HAS SOUS 231762 HAS SOUPS 231762 WITH SCORE 232074.974
AT ITER 496 NEW BEST:: SOT 1841209 SOS 312960 HAS SOPS 312960 HAS SOUS 231748 HAS SOUPS 231748 WITH SCORE 232060.96
AT ITER 507 NEW BEST:: SOT 1841209 SOS 312524 HAS SOPS 312524 HAS SOUS 231702 HAS SOUPS 231702 WITH SCORE 232014.524
AT ITER 542 NEW BEST:: SOT 1841009 SOS 312324 HAS SOPS 312324 HAS SOUS 231462 HAS SOUPS 231462 WITH SCORE 231774.324
AT ITER 566 NEW BEST:: SOT 1841009 SOS 312285 HAS SOPS 312285 HAS SOUS 231458 HAS SOUPS 231458 WITH SCORE 231770.285
AT ITER 579 NEW BEST:: SOT 1840922 SOS 312263 HAS SOPS 312263 HAS SOUS 231403 HAS SOUPS 231403 WITH SCORE 231715.263
AT ITER 599 NEW BEST:: SOT 1840716 SOS 312079 HAS SOPS 312079 HAS SOUS 231175 HAS SOUPS 231175 WITH SCORE 231487.079
AT ITER 620 NEW BEST:: SOT 1840440 SOS 311803 HAS SOPS 311803 HAS SOUS 230899 HAS SOUPS 230899 WITH SCORE 231210.803
AT ITER 623 NEW BEST:: SOT 1840143 SOS 311727 HAS SOPS 311727 HAS SOUS 230782 HAS SOUPS 230782 WITH SCORE 231093.727
AT ITER 642 NEW BEST:: SOT 1840133 SOS 311164 HAS SOPS 311164 HAS SOUS 230582 HAS SOUPS 230582 WITH SCORE 230893.164
AT ITER 658 NEW BEST:: SOT 1840062 SOS 311022 HAS SOPS 311022 HAS SOUS 230510 HAS SOUPS 230510 WITH SCORE 230821.022
AT ITER 659 NEW BEST:: SOT 1839957 SOS 310858 HAS SOPS 310858 HAS SOUS 230322 HAS SOUPS 230322 WITH SCORE 230632.858
AT ITER 665 NEW BEST:: SOT 1838842 SOS 309962 HAS SOPS 309962 HAS SOUS 229149 HAS SOUPS 229149 WITH SCORE 229458.962
AT ITER 668 NEW BEST:: SOT 1838804 SOS 309924 HAS SOPS 309924 HAS SOUS 229111 HAS SOUPS 229111 WITH SCORE 229420.924
AT ITER 671 NEW BEST:: SOT 1838803 SOS 309877 HAS SOPS 309877 HAS SOUS 229108 HAS SOUPS 229108 WITH SCORE 229417.877
AT ITER 678 NEW BEST:: SOT 1838701 SOS 309775 HAS SOPS 309775 HAS SOUS 229006 HAS SOUPS 229006 WITH SCORE 229315.775
AT ITER 692 NEW BEST:: SOT 1838533 SOS 309607 HAS SOPS 309607 HAS SOUS 228838 HAS SOUPS 228838 WITH SCORE 229147.607
AT ITER 705 NEW BEST:: SOT 1838533 SOS 309551 HAS SOPS 309551 HAS SOUS 228810 HAS SOUPS 228810 WITH SCORE 229119.551
AT ITER 709 NEW BEST:: SOT 1838491 SOS 309467 HAS SOPS 309467 HAS SOUS 228765 HAS SOUPS 228765 WITH SCORE 229074.467
AT ITER 737 NEW BEST:: SOT 1838457 SOS 309365 HAS SOPS 309365 HAS SOUS 228731 HAS SOUPS 228731 WITH SCORE 229040.365
AT ITER 741 NEW BEST:: SOT 1838337 SOS 309125 HAS SOPS 309125 HAS SOUS 228617 HAS SOUPS 228617 WITH SCORE 228926.125
AT ITER 761 NEW BEST:: SOT 1837522 SOS 309044 HAS SOPS 309044 HAS SOUS 228070 HAS SOUPS 228070 WITH SCORE 228379.044
AT ITER 776 NEW BEST:: SOT 1837498 SOS 309140 HAS SOPS 309140 HAS SOUS 228036 HAS SOUPS 228036 WITH SCORE 228345.14
AT ITER 782 NEW BEST:: SOT 1837402 SOS 309098 HAS SOPS 309098 HAS SOUS 227925 HAS SOUPS 227925 WITH SCORE 228234.098
AT ITER 790 NEW BEST:: SOT 1837414 SOS 309061 HAS SOPS 309061 HAS SOUS 227912 HAS SOUPS 227912 WITH SCORE 228221.061
AT ITER 802 NEW BEST:: SOT 1837349 SOS 309219 HAS SOPS 309219 HAS SOUS 227847 HAS SOUPS 227847 WITH SCORE 228156.219
AT ITER 822 NEW BEST:: SOT 1837269 SOS 309099 HAS SOPS 309099 HAS SOUS 227767 HAS SOUPS 227767 WITH SCORE 228076.099
AT ITER 849 NEW BEST:: SOT 1836969 SOS 308684 HAS SOPS 308684 HAS SOUS 227294 HAS SOUPS 227294 WITH SCORE 227602.684
AT ITER 886 NEW BEST:: SOT 1837156 SOS 307834 HAS SOPS 307834 HAS SOUS 227262 HAS SOUPS 227262 WITH SCORE 227569.834
AT ITER 896 NEW BEST:: SOT 1837141 SOS 307804 HAS SOPS 307804 HAS SOUS 227247 HAS SOUPS 227247 WITH SCORE 227554.804
AT ITER 935 NEW BEST:: SOT 1837166 SOS 307858 HAS SOPS 307858 HAS SOUS 227225 HAS SOUPS 227225 WITH SCORE 227532.858
AT ITER 938 NEW BEST:: SOT 1836702 SOS 308282 HAS SOPS 308282 HAS SOUS 226937 HAS SOUPS 226937 WITH SCORE 227245.282
AT ITER 989 NEW BEST:: SOT 1836644 SOS 308325 HAS SOPS 308325 HAS SOUS 226900 HAS SOUPS 226900 WITH SCORE 227208.325
AT ITER 993 NEW BEST:: SOT 1836599 SOS 308032 HAS SOPS 308032 HAS SOUS 226459 HAS SOUPS 226459 WITH SCORE 226767.032
AT ITER 997 NEW BEST:: SOT 1836181 SOS 308072 HAS SOPS 308072 HAS SOUS 226438 HAS SOUPS 226438 WITH SCORE 226746.072
AT ITER 1000 NEW BEST:: SOT 1836165 SOS 308056 HAS SOPS 308056 HAS SOUS 226422 HAS SOUPS 226422 WITH SCORE 226730.056
AT ITER 1003 NEW BEST:: SOT 1836145 SOS 308036 HAS SOPS 308036 HAS SOUS 226390 HAS SOUPS 226390 WITH SCORE 226698.036
AT ITER 1036 NEW BEST:: SOT 1836092 SOS 307826 HAS SOPS 307826 HAS SOUS 226285 HAS SOUPS 226285 WITH SCORE 226592.826
AT ITER 1061 NEW BEST:: SOT 1836035 SOS 307776 HAS SOPS 307776 HAS SOUS 226219 HAS SOUPS 226219 WITH SCORE 226526.776
AT ITER 1063 NEW BEST:: SOT 1835997 SOS 308321 HAS SOPS 308321 HAS SOUS 226152 HAS SOUPS 226152 WITH SCORE 226460.321
AT ITER 1082 NEW BEST:: SOT 1835954 SOS 308192 HAS SOPS 308192 HAS SOUS 226066 HAS SOUPS 226066 WITH SCORE 226374.192
AT ITER 1088 NEW BEST:: SOT 1835673 SOS 309900 HAS SOPS 309900 HAS SOUS 225939 HAS SOUPS 225939 WITH SCORE 226248.9
AT ITER 1132 NEW BEST:: SOT 1835643 SOS 309897 HAS SOPS 309897 HAS SOUS 225936 HAS SOUPS 225936 WITH SCORE 226245.897
AT ITER 1141 NEW BEST:: SOT 1835620 SOS 309805 HAS SOPS 309805 HAS SOUS 225907 HAS SOUPS 225907 WITH SCORE 226216.805
AT ITER 1192 NEW BEST:: SOT 1835605 SOS 309785 HAS SOPS 309785 HAS SOUS 225892 HAS SOUPS 225892 WITH SCORE 226201.785
AT ITER 1221 NEW BEST:: SOT 1835564 SOS 309791 HAS SOPS 309791 HAS SOUS 225877 HAS SOUPS 225877 WITH SCORE 226186.791
AT ITER 1224 NEW BEST:: SOT 1835528 SOS 309700 HAS SOPS 309700 HAS SOUS 225799 HAS SOUPS 225799 WITH SCORE 226108.7
AT ITER 1225 NEW BEST:: SOT 1835699 SOS 309358 HAS SOPS 309358 HAS SOUS 225799 HAS SOUPS 225799 WITH SCORE 226108.358
AT ITER 1226 NEW BEST:: SOT 1835642 SOS 309325 HAS SOPS 309325 HAS SOUS 225767 HAS SOUPS 225767 WITH SCORE 226076.325
AT ITER 1231 NEW BEST:: SOT 1835598 SOS 309072 HAS SOPS 309072 HAS SOUS 225724 HAS SOUPS 225724 WITH SCORE 226033.072
AT ITER 1236 NEW BEST:: SOT 1835517 SOS 308977 HAS SOPS 308977 HAS SOUS 225610 HAS SOUPS 225610 WITH SCORE 225918.977
AT ITER 1241 NEW BEST:: SOT 1835517 SOS 308977 HAS SOPS 308977 HAS SOUS 225603 HAS SOUPS 225603 WITH SCORE 225911.977
AT ITER 1260 NEW BEST:: SOT 1835474 SOS 308934 HAS SOPS 308934 HAS SOUS 225517 HAS SOUPS 225517 WITH SCORE 225825.934
AT ITER 1316 NEW BEST:: SOT 1835452 SOS 308930 HAS SOPS 308930 HAS SOUS 225491 HAS SOUPS 225491 WITH SCORE 225799.93
AT ITER 1317 NEW BEST:: SOT 1835261 SOS 308528 HAS SOPS 308528 HAS SOUS 225144 HAS SOUPS 225144 WITH SCORE 225452.528
AT ITER 1327 NEW BEST:: SOT 1835203 SOS 308540 HAS SOPS 308540 HAS SOUS 225102 HAS SOUPS 225102 WITH SCORE 225410.54
AT ITER 1357 NEW BEST:: SOT 1835202 SOS 307452 HAS SOPS 307452 HAS SOUS 225100 HAS SOUPS 225100 WITH SCORE 225407.452
AT ITER 1396 NEW BEST:: SOT 1835086 SOS 306988 HAS SOPS 306988 HAS SOUS 224984 HAS SOUPS 224984 WITH SCORE 225290.988
AT ITER 1406 NEW BEST:: SOT 1835086 SOS 306975 HAS SOPS 306975 HAS SOUS 224984 HAS SOUPS 224984 WITH SCORE 225290.975
AT ITER 1412 NEW BEST:: SOT 1832535 SOS 305206 HAS SOPS 305206 HAS SOUS 222483 HAS SOUPS 222483 WITH SCORE 222788.206
AT ITER 1426 NEW BEST:: SOT 1832510 SOS 294572 HAS SOPS 294572 HAS SOUS 222458 HAS SOUPS 222458 WITH SCORE 222752.572
AT ITER 1446 NEW BEST:: SOT 1832498 SOS 294564 HAS SOPS 294564 HAS SOUS 222449 HAS SOUPS 222449 WITH SCORE 222743.564
AT ITER 1456 NEW BEST:: SOT 1831743 SOS 294662 HAS SOPS 294662 HAS SOUS 221734 HAS SOUPS 221734 WITH SCORE 222028.662
AT ITER 1463 NEW BEST:: SOT 1831743 SOS 294587 HAS SOPS 294587 HAS SOUS 221659 HAS SOUPS 221659 WITH SCORE 221953.587
AT ITER 1473 NEW BEST:: SOT 1830742 SOS 295161 HAS SOPS 295161 HAS SOUS 220794 HAS SOUPS 220794 WITH SCORE 221089.161
AT ITER 1481 NEW BEST:: SOT 1830679 SOS 295098 HAS SOPS 295098 HAS SOUS 220751 HAS SOUPS 220751 WITH SCORE 221046.098
AT ITER 1496 NEW BEST:: SOT 1830641 SOS 295079 HAS SOPS 295079 HAS SOUS 220732 HAS SOUPS 220732 WITH SCORE 221027.079
AT ITER 1517 NEW BEST:: SOT 1830641 SOS 295032 HAS SOPS 295032 HAS SOUS 220732 HAS SOUPS 220732 WITH SCORE 221027.032
AT ITER 1530 NEW BEST:: SOT 1830637 SOS 295028 HAS SOPS 295028 HAS SOUS 220726 HAS SOUPS 220726 WITH SCORE 221021.028
AT ITER 1572 NEW BEST:: SOT 1830527 SOS 294863 HAS SOPS 294863 HAS SOUS 220561 HAS SOUPS 220561 WITH SCORE 220855.863
AT ITER 1574 NEW BEST:: SOT 1830485 SOS 294779 HAS SOPS 294779 HAS SOUS 220522 HAS SOUPS 220522 WITH SCORE 220816.779
AT ITER 1589 NEW BEST:: SOT 1830485 SOS 294749 HAS SOPS 294749 HAS SOUS 220522 HAS SOUPS 220522 WITH SCORE 220816.749
AT ITER 1651 NEW BEST:: SOT 1830487 SOS 294723 HAS SOPS 294723 HAS SOUS 220496 HAS SOUPS 220496 WITH SCORE 220790.723
AT ITER 1677 NEW BEST:: SOT 1830457 SOS 294693 HAS SOPS 294693 HAS SOUS 220456 HAS SOUPS 220456 WITH SCORE 220750.693
AT ITER 1704 NEW BEST:: SOT 1830350 SOS 294380 HAS SOPS 294380 HAS SOUS 220248 HAS SOUPS 220248 WITH SCORE 220542.38
AT ITER 1725 NEW BEST:: SOT 1830348 SOS 294352 HAS SOPS 294352 HAS SOUS 220220 HAS SOUPS 220220 WITH SCORE 220514.352
AT ITER 1750 NEW BEST:: SOT 1830370 SOS 294242 HAS SOPS 294242 HAS SOUS 220054 HAS SOUPS 220054 WITH SCORE 220348.242
AT ITER 1772 NEW BEST:: SOT 1830304 SOS 294254 HAS SOPS 294254 HAS SOUS 220006 HAS SOUPS 220006 WITH SCORE 220300.254
AT ITER 1793 NEW BEST:: SOT 1830184 SOS 293906 HAS SOPS 293906 HAS SOUS 219873 HAS SOUPS 219873 WITH SCORE 220166.906
AT ITER 1885 NEW BEST:: SOT 1830183 SOS 293889 HAS SOPS 293889 HAS SOUS 219871 HAS SOUPS 219871 WITH SCORE 220164.889
AT ITER 1944 NEW BEST:: SOT 1830096 SOS 293997 HAS SOPS 293997 HAS SOUS 219784 HAS SOUPS 219784 WITH SCORE 220077.997
AT ITER 2012 NEW BEST:: SOT 1830081 SOS 293967 HAS SOPS 293967 HAS SOUS 219768 HAS SOUPS 219768 WITH SCORE 220061.967
AT ITER 2042 NEW BEST:: SOT 1830081 SOS 293713 HAS SOPS 293713 HAS SOUS 219721 HAS SOUPS 219721 WITH SCORE 220014.713
AT ITER 2048 NEW BEST:: SOT 1830075 SOS 293701 HAS SOPS 293701 HAS SOUS 219709 HAS SOUPS 219709 WITH SCORE 220002.701
AT ITER 2049 NEW BEST:: SOT 1830075 SOS 293674 HAS SOPS 293674 HAS SOUS 219681 HAS SOUPS 219681 WITH SCORE 219974.674
AT ITER 2077 NEW BEST:: SOT 1829749 SOS 293367 HAS SOPS 293367 HAS SOUS 219374 HAS SOUPS 219374 WITH SCORE 219667.367
AT ITER 2081 NEW BEST:: SOT 1829687 SOS 293243 HAS SOPS 293243 HAS SOUS 219288 HAS SOUPS 219288 WITH SCORE 219581.243
AT ITER 2109 NEW BEST:: SOT 1829595 SOS 293283 HAS SOPS 293283 HAS SOUS 219270 HAS SOUPS 219270 WITH SCORE 219563.283
AT ITER 2126 NEW BEST:: SOT 1829595 SOS 293275 HAS SOPS 293275 HAS SOUS 219262 HAS SOUPS 219262 WITH SCORE 219555.275
AT ITER 2130 NEW BEST:: SOT 1829565 SOS 293275 HAS SOPS 293275 HAS SOUS 219232 HAS SOUPS 219232 WITH SCORE 219525.275
AT ITER 2149 NEW BEST:: SOT 1829538 SOS 292974 HAS SOPS 292974 HAS SOUS 219065 HAS SOUPS 219065 WITH SCORE 219357.974
AT ITER 2154 NEW BEST:: SOT 1829535 SOS 292954 HAS SOPS 292954 HAS SOUS 219045 HAS SOUPS 219045 WITH SCORE 219337.954
AT ITER 2168 NEW BEST:: SOT 1829542 SOS 292861 HAS SOPS 292861 HAS SOUS 218950 HAS SOUPS 218950 WITH SCORE 219242.861
AT ITER 2186 NEW BEST:: SOT 1829542 SOS 292781 HAS SOPS 292781 HAS SOUS 218940 HAS SOUPS 218940 WITH SCORE 219232.781
AT ITER 2291 NEW BEST:: SOT 1829418 SOS 292599 HAS SOPS 292599 HAS SOUS 218812 HAS SOUPS 218812 WITH SCORE 219104.599
AT ITER 2311 NEW BEST:: SOT 1829260 SOS 292441 HAS SOPS 292441 HAS SOUS 218604 HAS SOUPS 218604 WITH SCORE 218896.441
AT ITER 2373 NEW BEST:: SOT 1829110 SOS 292291 HAS SOPS 292291 HAS SOUS 218501 HAS SOUPS 218501 WITH SCORE 218793.291
AT ITER 2377 NEW BEST:: SOT 1829108 SOS 292287 HAS SOPS 292287 HAS SOUS 218497 HAS SOUPS 218497 WITH SCORE 218789.287
AT ITER 2396 NEW BEST:: SOT 1828893 SOS 292219 HAS SOPS 292219 HAS SOUS 218282 HAS SOUPS 218282 WITH SCORE 218574.219
AT ITER 2414 NEW BEST:: SOT 1828693 SOS 291977 HAS SOPS 291977 HAS SOUS 218011 HAS SOUPS 218011 WITH SCORE 218302.977
AT ITER 2415 NEW BEST:: SOT 1828676 SOS 291943 HAS SOPS 291943 HAS SOUS 217977 HAS SOUPS 217977 WITH SCORE 218268.943
AT ITER 2416 NEW BEST:: SOT 1828676 SOS 291810 HAS SOPS 291810 HAS SOUS 217851 HAS SOUPS 217851 WITH SCORE 218142.81
AT ITER 2419 NEW BEST:: SOT 1828584 SOS 291672 HAS SOPS 291672 HAS SOUS 217751 HAS SOUPS 217751 WITH SCORE 218042.672
AT ITER 2434 NEW BEST:: SOT 1828401 SOS 291512 HAS SOPS 291512 HAS SOUS 217607 HAS SOUPS 217607 WITH SCORE 217898.512
AT ITER 2464 NEW BEST:: SOT 1828283 SOS 291789 HAS SOPS 291789 HAS SOUS 217479 HAS SOUPS 217479 WITH SCORE 217770.789
AT ITER 2484 NEW BEST:: SOT 1828141 SOS 291647 HAS SOPS 291647 HAS SOUS 217419 HAS SOUPS 217419 WITH SCORE 217710.647
AT ITER 2515 NEW BEST:: SOT 1828044 SOS 291505 HAS SOPS 291505 HAS SOUS 217276 HAS SOUPS 217276 WITH SCORE 217567.505
AT ITER 2539 NEW BEST:: SOT 1828043 SOS 291503 HAS SOPS 291503 HAS SOUS 217270 HAS SOUPS 217270 WITH SCORE 217561.503
AT ITER 2547 NEW BEST:: SOT 1827998 SOS 291903 HAS SOPS 291903 HAS SOUS 217179 HAS SOUPS 217179 WITH SCORE 217470.903
AT ITER 2548 NEW BEST:: SOT 1827998 SOS 291865 HAS SOPS 291865 HAS SOUS 217179 HAS SOUPS 217179 WITH SCORE 217470.865
AT ITER 2557 NEW BEST:: SOT 1827935 SOS 291781 HAS SOPS 291781 HAS SOUS 217095 HAS SOUPS 217095 WITH SCORE 217386.781
AT ITER 2576 NEW BEST:: SOT 1827840 SOS 291677 HAS SOPS 291677 HAS SOUS 216853 HAS SOUPS 216853 WITH SCORE 217144.677
AT ITER 2582 NEW BEST:: SOT 1827832 SOS 291640 HAS SOPS 291640 HAS SOUS 216801 HAS SOUPS 216801 WITH SCORE 217092.64
AT ITER 2603 NEW BEST:: SOT 1827551 SOS 290974 HAS SOPS 290974 HAS SOUS 216351 HAS SOUPS 216351 WITH SCORE 216641.974
AT ITER 2607 NEW BEST:: SOT 1827551 SOS 290974 HAS SOPS 290974 HAS SOUS 216348 HAS SOUPS 216348 WITH SCORE 216638.974
AT ITER 2608 NEW BEST:: SOT 1827490 SOS 290936 HAS SOPS 290936 HAS SOUS 216310 HAS SOUPS 216310 WITH SCORE 216600.936
AT ITER 2618 NEW BEST:: SOT 1827490 SOS 290906 HAS SOPS 290906 HAS SOUS 216310 HAS SOUPS 216310 WITH SCORE 216600.906
AT ITER 2725 NEW BEST:: SOT 1827422 SOS 290918 HAS SOPS 290918 HAS SOUS 216267 HAS SOUPS 216267 WITH SCORE 216557.918
AT ITER 2739 NEW BEST:: SOT 1827397 SOS 290792 HAS SOPS 290792 HAS SOUS 216218 HAS SOUPS 216218 WITH SCORE 216508.792
AT ITER 2742 NEW BEST:: SOT 1827383 SOS 290792 HAS SOPS 290792 HAS SOUS 216190 HAS SOUPS 216190 WITH SCORE 216480.792
AT ITER 2772 NEW BEST:: SOT 1827383 SOS 290187 HAS SOPS 290187 HAS SOUS 216165 HAS SOUPS 216165 WITH SCORE 216455.187
AT ITER 2773 NEW BEST:: SOT 1827378 SOS 290177 HAS SOPS 290177 HAS SOUS 216155 HAS SOUPS 216155 WITH SCORE 216445.177
AT ITER 2897 NEW BEST:: SOT 1827189 SOS 289364 HAS SOPS 289364 HAS SOUS 215828 HAS SOUPS 215828 WITH SCORE 216117.364
AT ITER 2901 NEW BEST:: SOT 1827100 SOS 289015 HAS SOPS 289015 HAS SOUS 215592 HAS SOUPS 215592 WITH SCORE 215881.015
AT ITER 2948 NEW BEST:: SOT 1827104 SOS 288523 HAS SOPS 288523 HAS SOUS 215531 HAS SOUPS 215531 WITH SCORE 215819.523
AT ITER 2962 NEW BEST:: SOT 1827027 SOS 288375 HAS SOPS 288375 HAS SOUS 215351 HAS SOUPS 215351 WITH SCORE 215639.375
AT ITER 2972 NEW BEST:: SOT 1826631 SOS 288501 HAS SOPS 288501 HAS SOUS 215037 HAS SOUPS 215037 WITH SCORE 215325.501
AT ITER 2982 NEW BEST:: SOT 1826435 SOS 288357 HAS SOPS 288357 HAS SOUS 214915 HAS SOUPS 214915 WITH SCORE 215203.357
AT ITER 3046 NEW BEST:: SOT 1826420 SOS 288342 HAS SOPS 288342 HAS SOUS 214897 HAS SOUPS 214897 WITH SCORE 215185.342
AT ITER 3179 NEW BEST:: SOT 1826116 SOS 288818 HAS SOPS 288818 HAS SOUS 214722 HAS SOUPS 214722 WITH SCORE 215010.818
AT ITER 3200 NEW BEST:: SOT 1826181 SOS 288884 HAS SOPS 288884 HAS SOUS 214698 HAS SOUPS 214698 WITH SCORE 214986.884
AT ITER 3209 NEW BEST:: SOT 1826029 SOS 288875 HAS SOPS 288875 HAS SOUS 214633 HAS SOUPS 214633 WITH SCORE 214921.875
AT ITER 3210 NEW BEST:: SOT 1826029 SOS 288619 HAS SOPS 288619 HAS SOUS 214569 HAS SOUPS 214569 WITH SCORE 214857.619
AT ITER 3252 NEW BEST:: SOT 1825826 SOS 289106 HAS SOPS 289106 HAS SOUS 214563 HAS SOUPS 214563 WITH SCORE 214852.106
AT ITER 3264 NEW BEST:: SOT 1825804 SOS 289084 HAS SOPS 289084 HAS SOUS 214534 HAS SOUPS 214534 WITH SCORE 214823.084
AT ITER 3292 NEW BEST:: SOT 1825627 SOS 288885 HAS SOPS 288885 HAS SOUS 214325 HAS SOUPS 214325 WITH SCORE 214613.885
AT ITER 3316 NEW BEST:: SOT 1825544 SOS 288647 HAS SOPS 288647 HAS SOUS 214206 HAS SOUPS 214206 WITH SCORE 214494.647
AT ITER 3320 NEW BEST:: SOT 1825490 SOS 288437 HAS SOPS 288437 HAS SOUS 214176 HAS SOUPS 214176 WITH SCORE 214464.437
AT ITER 3353 NEW BEST:: SOT 1825314 SOS 288345 HAS SOPS 288345 HAS SOUS 213977 HAS SOUPS 213977 WITH SCORE 214265.345
AT ITER 3354 NEW BEST:: SOT 1825026 SOS 287826 HAS SOPS 287826 HAS SOUS 213605 HAS SOUPS 213605 WITH SCORE 213892.826
AT ITER 3392 NEW BEST:: SOT 1825026 SOS 287819 HAS SOPS 287819 HAS SOUS 213598 HAS SOUPS 213598 WITH SCORE 213885.819
AT ITER 3427 NEW BEST:: SOT 1824979 SOS 287652 HAS SOPS 287652 HAS SOUS 213577 HAS SOUPS 213577 WITH SCORE 213864.652
AT ITER 3431 NEW BEST:: SOT 1824923 SOS 287540 HAS SOPS 287540 HAS SOUS 213315 HAS SOUPS 213315 WITH SCORE 213602.54
AT ITER 3449 NEW BEST:: SOT 1824900 SOS 287517 HAS SOPS 287517 HAS SOUS 213280 HAS SOUPS 213280 WITH SCORE 213567.517
AT ITER 3457 NEW BEST:: SOT 1824702 SOS 286725 HAS SOPS 286725 HAS SOUS 212884 HAS SOUPS 212884 WITH SCORE 213170.725
AT ITER 3472 NEW BEST:: SOT 1824678 SOS 286605 HAS SOPS 286605 HAS SOUS 212856 HAS SOUPS 212856 WITH SCORE 213142.605
AT ITER 3475 NEW BEST:: SOT 1824678 SOS 286584 HAS SOPS 286584 HAS SOUS 212847 HAS SOUPS 212847 WITH SCORE 213133.584
AT ITER 3489 NEW BEST:: SOT 1824637 SOS 286543 HAS SOPS 286543 HAS SOUS 212806 HAS SOUPS 212806 WITH SCORE 213092.543
AT ITER 3490 NEW BEST:: SOT 1824525 SOS 286389 HAS SOPS 286389 HAS SOUS 212681 HAS SOUPS 212681 WITH SCORE 212967.389
AT ITER 3506 NEW BEST:: SOT 1824511 SOS 286390 HAS SOPS 286390 HAS SOUS 212671 HAS SOUPS 212671 WITH SCORE 212957.39
AT ITER 3518 NEW BEST:: SOT 1824457 SOS 286504 HAS SOPS 286504 HAS SOUS 212623 HAS SOUPS 212623 WITH SCORE 212909.504
AT ITER 3522 NEW BEST:: SOT 1824457 SOS 286445 HAS SOPS 286445 HAS SOUS 212623 HAS SOUPS 212623 WITH SCORE 212909.445
AT ITER 3534 NEW BEST:: SOT 1824400 SOS 286369 HAS SOPS 286369 HAS SOUS 212547 HAS SOUPS 212547 WITH SCORE 212833.369
AT ITER 3540 NEW BEST:: SOT 1824261 SOS 286173 HAS SOPS 286173 HAS SOUS 212262 HAS SOUPS 212262 WITH SCORE 212548.173
AT ITER 3549 NEW BEST:: SOT 1823930 SOS 285742 HAS SOPS 285742 HAS SOUS 211836 HAS SOUPS 211836 WITH SCORE 212121.742
AT ITER 3567 NEW BEST:: SOT 1823869 SOS 285736 HAS SOPS 285736 HAS SOUS 211655 HAS SOUPS 211655 WITH SCORE 211940.736
AT ITER 3576 NEW BEST:: SOT 1823845 SOS 285776 HAS SOPS 285776 HAS SOUS 211621 HAS SOUPS 211621 WITH SCORE 211906.776
AT ITER 3620 NEW BEST:: SOT 1822857 SOS 286847 HAS SOPS 286847 HAS SOUS 210955 HAS SOUPS 210955 WITH SCORE 211241.847
AT ITER 3622 NEW BEST:: SOT 1822698 SOS 286529 HAS SOPS 286529 HAS SOUS 210796 HAS SOUPS 210796 WITH SCORE 211082.529
AT ITER 3640 NEW BEST:: SOT 1822684 SOS 286473 HAS SOPS 286473 HAS SOUS 210796 HAS SOUPS 210796 WITH SCORE 211082.473
AT ITER 3657 NEW BEST:: SOT 1822681 SOS 286407 HAS SOPS 286407 HAS SOUS 210790 HAS SOUPS 210790 WITH SCORE 211076.407
AT ITER 3664 NEW BEST:: SOT 1822577 SOS 286337 HAS SOPS 286337 HAS SOUS 210743 HAS SOUPS 210743 WITH SCORE 211029.337
AT ITER 3667 NEW BEST:: SOT 1822458 SOS 285466 HAS SOPS 285466 HAS SOUS 210355 HAS SOUPS 210355 WITH SCORE 210640.466
AT ITER 3678 NEW BEST:: SOT 1822458 SOS 285417 HAS SOPS 285417 HAS SOUS 210306 HAS SOUPS 210306 WITH SCORE 210591.417
AT ITER 3700 NEW BEST:: SOT 1821911 SOS 285325 HAS SOPS 285325 HAS SOUS 210092 HAS SOUPS 210092 WITH SCORE 210377.325
AT ITER 3722 NEW BEST:: SOT 1821872 SOS 285349 HAS SOPS 285349 HAS SOUS 209952 HAS SOUPS 209952 WITH SCORE 210237.349
AT ITER 3736 NEW BEST:: SOT 1821512 SOS 285079 HAS SOPS 285079 HAS SOUS 209592 HAS SOUPS 209592 WITH SCORE 209877.079
AT ITER 3797 NEW BEST:: SOT 1821508 SOS 285127 HAS SOPS 285127 HAS SOUS 209588 HAS SOUPS 209588 WITH SCORE 209873.127
AT ITER 3800 NEW BEST:: SOT 1821496 SOS 285091 HAS SOPS 285091 HAS SOUS 209576 HAS SOUPS 209576 WITH SCORE 209861.091
AT ITER 3804 NEW BEST:: SOT 1821496 SOS 285046 HAS SOPS 285046 HAS SOUS 209531 HAS SOUPS 209531 WITH SCORE 209816.046
AT ITER 3837 NEW BEST:: SOT 1821405 SOS 284864 HAS SOPS 284864 HAS SOUS 209440 HAS SOUPS 209440 WITH SCORE 209724.864
AT ITER 3853 NEW BEST:: SOT 1821571 SOS 285086 HAS SOPS 285086 HAS SOUS 209437 HAS SOUPS 209437 WITH SCORE 209722.086
AT ITER 3857 NEW BEST:: SOT 1821518 SOS 285026 HAS SOPS 285026 HAS SOUS 209384 HAS SOUPS 209384 WITH SCORE 209669.026
AT ITER 3870 NEW BEST:: SOT 1821530 SOS 285074 HAS SOPS 285074 HAS SOUS 209382 HAS SOUPS 209382 WITH SCORE 209667.074
AT ITER 3877 NEW BEST:: SOT 1821410 SOS 285005 HAS SOPS 285005 HAS SOUS 209310 HAS SOUPS 209310 WITH SCORE 209595.005
AT ITER 3893 NEW BEST:: SOT 1821377 SOS 285041 HAS SOPS 285041 HAS SOUS 209304 HAS SOUPS 209304 WITH SCORE 209589.041
AT ITER 3921 NEW BEST:: SOT 1821321 SOS 284873 HAS SOPS 284873 HAS SOUS 209192 HAS SOUPS 209192 WITH SCORE 209476.873
AT ITER 3945 NEW BEST:: SOT 1821066 SOS 284424 HAS SOPS 284424 HAS SOUS 208879 HAS SOUPS 208879 WITH SCORE 209163.424
AT ITER 3950 NEW BEST:: SOT 1821066 SOS 284360 HAS SOPS 284360 HAS SOUS 208879 HAS SOUPS 208879 WITH SCORE 209163.36
AT ITER 3988 NEW BEST:: SOT 1821009 SOS 284246 HAS SOPS 284246 HAS SOUS 208837 HAS SOUPS 208837 WITH SCORE 209121.246
AT ITER 4026 NEW BEST:: SOT 1820957 SOS 284153 HAS SOPS 284153 HAS SOUS 208778 HAS SOUPS 208778 WITH SCORE 209062.153
AT ITER 4071 NEW BEST:: SOT 1820825 SOS 283720 HAS SOPS 283720 HAS SOUS 208640 HAS SOUPS 208640 WITH SCORE 208923.72
AT ITER 4107 NEW BEST:: SOT 1820810 SOS 283720 HAS SOPS 283720 HAS SOUS 208625 HAS SOUPS 208625 WITH SCORE 208908.72
AT ITER 4168 NEW BEST:: SOT 1820605 SOS 283611 HAS SOPS 283611 HAS SOUS 208517 HAS SOUPS 208517 WITH SCORE 208800.611
AT ITER 4185 NEW BEST:: SOT 1820440 SOS 283488 HAS SOPS 283488 HAS SOUS 208358 HAS SOUPS 208358 WITH SCORE 208641.488
AT ITER 4203 NEW BEST:: SOT 1820375 SOS 283245 HAS SOPS 283245 HAS SOUS 208163 HAS SOUPS 208163 WITH SCORE 208446.245
AT ITER 4218 NEW BEST:: SOT 1819894 SOS 282751 HAS SOPS 282751 HAS SOUS 207680 HAS SOUPS 207680 WITH SCORE 207962.751
AT ITER 4232 NEW BEST:: SOT 1819774 SOS 282633 HAS SOPS 282633 HAS SOUS 207616 HAS SOUPS 207616 WITH SCORE 207898.633
AT ITER 4240 NEW BEST:: SOT 1819718 SOS 282577 HAS SOPS 282577 HAS SOUS 207532 HAS SOUPS 207532 WITH SCORE 207814.577
AT ITER 4241 NEW BEST:: SOT 1819627 SOS 282486 HAS SOPS 282486 HAS SOUS 207484 HAS SOUPS 207484 WITH SCORE 207766.486
AT ITER 4258 NEW BEST:: SOT 1819607 SOS 282464 HAS SOPS 282464 HAS SOUS 207463 HAS SOUPS 207463 WITH SCORE 207745.464
AT ITER 4277 NEW BEST:: SOT 1819607 SOS 282421 HAS SOPS 282421 HAS SOUS 207437 HAS SOUPS 207437 WITH SCORE 207719.421
AT ITER 4286 NEW BEST:: SOT 1819662 SOS 282284 HAS SOPS 282284 HAS SOUS 207370 HAS SOUPS 207370 WITH SCORE 207652.284
AT ITER 4290 NEW BEST:: SOT 1819662 SOS 282350 HAS SOPS 282350 HAS SOUS 207353 HAS SOUPS 207353 WITH SCORE 207635.35
AT ITER 4350 NEW BEST:: SOT 1819568 SOS 282027 HAS SOPS 282027 HAS SOUS 207216 HAS SOUPS 207216 WITH SCORE 207498.027
AT ITER 4355 NEW BEST:: SOT 1818207 SOS 281472 HAS SOPS 281472 HAS SOUS 206533 HAS SOUPS 206533 WITH SCORE 206814.472
AT ITER 4382 NEW BEST:: SOT 1818104 SOS 281266 HAS SOPS 281266 HAS SOUS 206327 HAS SOUPS 206327 WITH SCORE 206608.266
AT ITER 4405 NEW BEST:: SOT 1818009 SOS 281177 HAS SOPS 281177 HAS SOUS 206191 HAS SOUPS 206191 WITH SCORE 206472.177
AT ITER 4407 NEW BEST:: SOT 1817880 SOS 281048 HAS SOPS 281048 HAS SOUS 206062 HAS SOUPS 206062 WITH SCORE 206343.048
AT ITER 4453 NEW BEST:: SOT 1817852 SOS 280992 HAS SOPS 280992 HAS SOUS 206006 HAS SOUPS 206006 WITH SCORE 206286.992
AT ITER 4466 NEW BEST:: SOT 1816715 SOS 279906 HAS SOPS 279906 HAS SOUS 205001 HAS SOUPS 205001 WITH SCORE 205280.906
AT ITER 4497 NEW BEST:: SOT 1816307 SOS 279498 HAS SOPS 279498 HAS SOUS 204593 HAS SOUPS 204593 WITH SCORE 204872.498
AT ITER 4538 NEW BEST:: SOT 1816212 SOS 279308 HAS SOPS 279308 HAS SOUS 204532 HAS SOUPS 204532 WITH SCORE 204811.308
AT ITER 4548 NEW BEST:: SOT 1816212 SOS 279276 HAS SOPS 279276 HAS SOUS 204532 HAS SOUPS 204532 WITH SCORE 204811.276
AT ITER 4557 NEW BEST:: SOT 1815884 SOS 279636 HAS SOPS 279636 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204563.636
AT ITER 4571 NEW BEST:: SOT 1815626 SOS 279249 HAS SOPS 279249 HAS SOUS 203510 HAS SOUPS 203510 WITH SCORE 203789.249
AT ITER 4581 NEW BEST:: SOT 1815347 SOS 278970 HAS SOPS 278970 HAS SOUS 203138 HAS SOUPS 203138 WITH SCORE 203416.97
AT ITER 4609 NEW BEST:: SOT 1815347 SOS 278670 HAS SOPS 278670 HAS SOUS 203038 HAS SOUPS 203038 WITH SCORE 203316.67
AT ITER 4688 NEW BEST:: SOT 1815207 SOS 278468 HAS SOPS 278468 HAS SOUS 202836 HAS SOUPS 202836 WITH SCORE 203114.468
AT ITER 4689 NEW BEST:: SOT 1815207 SOS 278370 HAS SOPS 278370 HAS SOUS 202752 HAS SOUPS 202752 WITH SCORE 203030.37
AT ITER 4708 NEW BEST:: SOT 1815235 SOS 278385 HAS SOPS 278385 HAS SOUS 202677 HAS SOUPS 202677 WITH SCORE 202955.385
AT ITER 4739 NEW BEST:: SOT 1815235 SOS 278303 HAS SOPS 278303 HAS SOUS 202614 HAS SOUPS 202614 WITH SCORE 202892.303
AT ITER 4764 NEW BEST:: SOT 1815231 SOS 278357 HAS SOPS 278357 HAS SOUS 202610 HAS SOUPS 202610 WITH SCORE 202888.357
AT ITER 4794 NEW BEST:: SOT 1815014 SOS 278001 HAS SOPS 278001 HAS SOUS 202288 HAS SOUPS 202288 WITH SCORE 202566.001
AT ITER 4809 NEW BEST:: SOT 1814961 SOS 277895 HAS SOPS 277895 HAS SOUS 202235 HAS SOUPS 202235 WITH SCORE 202512.895
AT ITER 4820 NEW BEST:: SOT 1814828 SOS 277821 HAS SOPS 277821 HAS SOUS 202150 HAS SOUPS 202150 WITH SCORE 202427.821
AT ITER 4822 NEW BEST:: SOT 1814826 SOS 277821 HAS SOPS 277821 HAS SOUS 202146 HAS SOUPS 202146 WITH SCORE 202423.821
AT ITER 4888 NEW BEST:: SOT 1814824 SOS 277798 HAS SOPS 277798 HAS SOUS 202144 HAS SOUPS 202144 WITH SCORE 202421.798
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-5B-CTLCardinality-00 (AG( potential( (tk(P558)) <= (tk(P1302)) )))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-01 (! (AG( ( potential( (tk(P906)) <= (tk(P1277)) ) | ( potential( (tk(P1276)) <= (tk(P397)) ) & potential( ( 3 ) <= (tk(P399)) ) ) ))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-02 ( (EF(( ( potential( (tk(P1556)) <= (tk(P1351)) ) & potential( (tk(P1085)) <= (tk(P523)) ) ) & ( potential( ( 2 ) <= (tk(P294)) ) & potential( (tk(P753)) <= (tk(P739)) ) ) ))) | (EF(( ( potential( ( 2 ) <= (tk(P42)) ) & potential( ( 2 ) <= (tk(P1124)) ) ) | potential( ( 1 ) <= (tk(P1279)) ) ))) )
PROPERTY: NoC3x3-PT-5B-CTLCardinality-03 (EF((AX( potential( ( 1 ) <= (tk(P36)) )))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-04 (EG( (AG( potential( (tk(P25)) <= (tk(P339)) )))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-05 ( ( (EF((! potential( ( 1 ) <= (tk(P1490)) )))) & (EF(( potential( ( 2 ) <= (tk(P72)) ) | potential( ( 2 ) <= (tk(P544)) ) ))) ) | (AG( (! potential( ( 2 ) <= (tk(P968)) )))) )
PROPERTY: NoC3x3-PT-5B-CTLCardinality-06 ( ( potential( (tk(P1305)) <= (tk(P890)) ) | (AF(potential( (tk(P427)) <= (tk(P1319)) ))) ) & (EU( ( potential( (tk(P53)) <= (tk(P1345)) ) | potential( ( 3 ) <= (tk(P942)) ) ),(! potential( (tk(P451)) <= (tk(P20)) )) )) )
PROPERTY: NoC3x3-PT-5B-CTLCardinality-07 (AG( (! potential( ( 2 ) <= (tk(P387)) ))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-08 (AG( (EU( potential( ( 1 ) <= (tk(P1544)) ),potential( (tk(P398)) <= (tk(P1212)) ) ))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-09 (! ( (AG( (! potential( ( 2 ) <= (tk(P424)) )))) | potential( ( 2 ) <= (tk(P1207)) ) ))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-10 ( ( (! (EF(potential( ( 1 ) <= (tk(P982)) )))) | (! (AX( potential( (tk(P1477)) <= (tk(P1215)) )))) ) & (AF(( potential( (tk(P1450)) <= (tk(P779)) ) | (! potential( ( 3 ) <= (tk(P550)) )) ))) )
PROPERTY: NoC3x3-PT-5B-CTLCardinality-11 (EU( potential( (tk(P632)) <= (tk(P916)) ),(AF(potential( ( 3 ) <= (tk(P958)) ))) ))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-12 (EF(( ( ( potential( (tk(P1554)) <= (tk(P985)) ) & potential( (tk(P1364)) <= (tk(P784)) ) ) & (! potential( (tk(P490)) <= (tk(P1240)) )) ) | ( (! potential( (tk(P488)) <= (tk(P918)) )) & potential( ( 3 ) <= (tk(P166)) ) ) )))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-13 (EF(potential( ( 3 ) <= (tk(P1459)) )))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-14 (AF((AG( ( potential( (tk(P971)) <= (tk(P1405)) ) & potential( (tk(P207)) <= (tk(P1523)) ) )))))
PROPERTY: NoC3x3-PT-5B-CTLCardinality-15 (! (EX( (AG( potential( (tk(P791)) <= (tk(P308)) ))))))

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-5B"
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-5B, 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-158961250500403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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