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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 764K
-rw-r--r-- 1 mcc users 3.9K Apr 8 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 18:32 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.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 19K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 6 20:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 6 20:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 6 03:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 6 03:58 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 581K 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-3B-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-3B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641496790

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 3B
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: 2117 places, 2435 transitions, 6177 arcs.
AT ITER 0 NEW BEST:: SOT 2770549 SOS 361350 HAS SOPS 361350 HAS SOUS 302551 HAS SOUPS 302551 WITH SCORE 302912.35
AT ITER 23 NEW BEST:: SOT 2770510 SOS 361319 HAS SOPS 361319 HAS SOUS 302520 HAS SOUPS 302520 WITH SCORE 302881.319
AT ITER 25 NEW BEST:: SOT 2770510 SOS 361319 HAS SOPS 361319 HAS SOUS 302519 HAS SOUPS 302519 WITH SCORE 302880.319
AT ITER 31 NEW BEST:: SOT 2770462 SOS 361271 HAS SOPS 361271 HAS SOUS 302519 HAS SOUPS 302519 WITH SCORE 302880.271
AT ITER 37 NEW BEST:: SOT 2770017 SOS 360826 HAS SOPS 360826 HAS SOUS 302074 HAS SOUPS 302074 WITH SCORE 302434.826
AT ITER 48 NEW BEST:: SOT 2770003 SOS 360806 HAS SOPS 360806 HAS SOUS 302004 HAS SOUPS 302004 WITH SCORE 302364.806
AT ITER 95 NEW BEST:: SOT 2769909 SOS 360668 HAS SOPS 360668 HAS SOUS 301987 HAS SOUPS 301987 WITH SCORE 302347.668
AT ITER 103 NEW BEST:: SOT 2769909 SOS 360668 HAS SOPS 360668 HAS SOUS 301986 HAS SOUPS 301986 WITH SCORE 302346.668
AT ITER 120 NEW BEST:: SOT 2769871 SOS 360606 HAS SOPS 360606 HAS SOUS 301846 HAS SOUPS 301846 WITH SCORE 302206.606
AT ITER 144 NEW BEST:: SOT 2769769 SOS 361877 HAS SOPS 361877 HAS SOUS 301793 HAS SOUPS 301793 WITH SCORE 302154.877
AT ITER 150 NEW BEST:: SOT 2769735 SOS 361843 HAS SOPS 361843 HAS SOUS 301789 HAS SOUPS 301789 WITH SCORE 302150.843
AT ITER 157 NEW BEST:: SOT 2769631 SOS 361635 HAS SOPS 361635 HAS SOUS 301685 HAS SOUPS 301685 WITH SCORE 302046.635
AT ITER 159 NEW BEST:: SOT 2769394 SOS 361690 HAS SOPS 361690 HAS SOUS 301467 HAS SOUPS 301467 WITH SCORE 301828.69
AT ITER 172 NEW BEST:: SOT 2769296 SOS 361120 HAS SOPS 361120 HAS SOUS 301387 HAS SOUPS 301387 WITH SCORE 301748.12
AT ITER 183 NEW BEST:: SOT 2769266 SOS 360928 HAS SOPS 360928 HAS SOUS 301241 HAS SOUPS 301241 WITH SCORE 301601.928
AT ITER 195 NEW BEST:: SOT 2769209 SOS 360886 HAS SOPS 360886 HAS SOUS 301205 HAS SOUPS 301205 WITH SCORE 301565.886
AT ITER 210 NEW BEST:: SOT 2769209 SOS 361104 HAS SOPS 361104 HAS SOUS 301198 HAS SOUPS 301198 WITH SCORE 301559.104
AT ITER 220 NEW BEST:: SOT 2769030 SOS 360243 HAS SOPS 360243 HAS SOUS 301062 HAS SOUPS 301062 WITH SCORE 301422.243
AT ITER 225 NEW BEST:: SOT 2768887 SOS 360214 HAS SOPS 360214 HAS SOUS 300994 HAS SOUPS 300994 WITH SCORE 301354.214
AT ITER 304 NEW BEST:: SOT 2768819 SOS 360178 HAS SOPS 360178 HAS SOUS 300926 HAS SOUPS 300926 WITH SCORE 301286.178
AT ITER 305 NEW BEST:: SOT 2768242 SOS 360214 HAS SOPS 360214 HAS SOUS 300626 HAS SOUPS 300626 WITH SCORE 300986.214
AT ITER 318 NEW BEST:: SOT 2768242 SOS 360084 HAS SOPS 360084 HAS SOUS 300626 HAS SOUPS 300626 WITH SCORE 300986.084
AT ITER 322 NEW BEST:: SOT 2768242 SOS 360045 HAS SOPS 360045 HAS SOUS 300587 HAS SOUPS 300587 WITH SCORE 300947.045
AT ITER 326 NEW BEST:: SOT 2768202 SOS 360005 HAS SOPS 360005 HAS SOUS 300547 HAS SOUPS 300547 WITH SCORE 300907.005
AT ITER 328 NEW BEST:: SOT 2768221 SOS 359638 HAS SOPS 359638 HAS SOUS 300335 HAS SOUPS 300335 WITH SCORE 300694.638
AT ITER 334 NEW BEST:: SOT 2768221 SOS 359553 HAS SOPS 359553 HAS SOUS 300334 HAS SOUPS 300334 WITH SCORE 300693.553
AT ITER 379 NEW BEST:: SOT 2768133 SOS 359416 HAS SOPS 359416 HAS SOUS 300246 HAS SOUPS 300246 WITH SCORE 300605.416
AT ITER 391 NEW BEST:: SOT 2768056 SOS 359391 HAS SOPS 359391 HAS SOUS 300221 HAS SOUPS 300221 WITH SCORE 300580.391
AT ITER 480 NEW BEST:: SOT 2768027 SOS 359333 HAS SOPS 359333 HAS SOUS 300191 HAS SOUPS 300191 WITH SCORE 300550.333
AT ITER 525 NEW BEST:: SOT 2767927 SOS 359283 HAS SOPS 359283 HAS SOUS 300140 HAS SOUPS 300140 WITH SCORE 300499.283
AT ITER 527 NEW BEST:: SOT 2767913 SOS 359269 HAS SOPS 359269 HAS SOUS 300126 HAS SOUPS 300126 WITH SCORE 300485.269
AT ITER 555 NEW BEST:: SOT 2767913 SOS 359269 HAS SOPS 359269 HAS SOUS 300124 HAS SOUPS 300124 WITH SCORE 300483.269
AT ITER 562 NEW BEST:: SOT 2767964 SOS 359265 HAS SOPS 359265 HAS SOUS 300120 HAS SOUPS 300120 WITH SCORE 300479.265
AT ITER 597 NEW BEST:: SOT 2767961 SOS 359259 HAS SOPS 359259 HAS SOUS 300114 HAS SOUPS 300114 WITH SCORE 300473.259
AT ITER 631 NEW BEST:: SOT 2767659 SOS 359027 HAS SOPS 359027 HAS SOUS 300002 HAS SOUPS 300002 WITH SCORE 300361.027
AT ITER 645 NEW BEST:: SOT 2767595 SOS 358899 HAS SOPS 358899 HAS SOUS 299868 HAS SOUPS 299868 WITH SCORE 300226.899
AT ITER 701 NEW BEST:: SOT 2767489 SOS 359059 HAS SOPS 359059 HAS SOUS 299747 HAS SOUPS 299747 WITH SCORE 300106.059
AT ITER 702 NEW BEST:: SOT 2767413 SOS 358907 HAS SOPS 358907 HAS SOUS 299671 HAS SOUPS 299671 WITH SCORE 300029.907
AT ITER 710 NEW BEST:: SOT 2767413 SOS 358907 HAS SOPS 358907 HAS SOUS 299668 HAS SOUPS 299668 WITH SCORE 300026.907
AT ITER 724 NEW BEST:: SOT 2766336 SOS 361858 HAS SOPS 361858 HAS SOUS 298931 HAS SOUPS 298931 WITH SCORE 299292.858
AT ITER 727 NEW BEST:: SOT 2766336 SOS 361851 HAS SOPS 361851 HAS SOUS 298924 HAS SOUPS 298924 WITH SCORE 299285.851
AT ITER 737 NEW BEST:: SOT 2766299 SOS 361820 HAS SOPS 361820 HAS SOUS 298893 HAS SOUPS 298893 WITH SCORE 299254.82
AT ITER 752 NEW BEST:: SOT 2766299 SOS 361820 HAS SOPS 361820 HAS SOUS 298875 HAS SOUPS 298875 WITH SCORE 299236.82
AT ITER 813 NEW BEST:: SOT 2766037 SOS 361689 HAS SOPS 361689 HAS SOUS 298874 HAS SOUPS 298874 WITH SCORE 299235.689
AT ITER 847 NEW BEST:: SOT 2765904 SOS 361620 HAS SOPS 361620 HAS SOUS 298680 HAS SOUPS 298680 WITH SCORE 299041.62
AT ITER 853 NEW BEST:: SOT 2765483 SOS 361343 HAS SOPS 361343 HAS SOUS 298285 HAS SOUPS 298285 WITH SCORE 298646.343
AT ITER 863 NEW BEST:: SOT 2765483 SOS 361330 HAS SOPS 361330 HAS SOUS 298285 HAS SOUPS 298285 WITH SCORE 298646.33
AT ITER 876 NEW BEST:: SOT 2765483 SOS 361300 HAS SOPS 361300 HAS SOUS 298255 HAS SOUPS 298255 WITH SCORE 298616.3
AT ITER 942 NEW BEST:: SOT 2765482 SOS 361299 HAS SOPS 361299 HAS SOUS 298253 HAS SOUPS 298253 WITH SCORE 298614.299
AT ITER 972 NEW BEST:: SOT 2765220 SOS 361111 HAS SOPS 361111 HAS SOUS 297990 HAS SOUPS 297990 WITH SCORE 298351.111
AT ITER 1032 NEW BEST:: SOT 2765169 SOS 361009 HAS SOPS 361009 HAS SOUS 297837 HAS SOUPS 297837 WITH SCORE 298198.009
AT ITER 1067 NEW BEST:: SOT 2765169 SOS 360949 HAS SOPS 360949 HAS SOUS 297837 HAS SOUPS 297837 WITH SCORE 298197.949
AT ITER 1070 NEW BEST:: SOT 2764548 SOS 364406 HAS SOPS 364406 HAS SOUS 297739 HAS SOUPS 297739 WITH SCORE 298103.406
AT ITER 1082 NEW BEST:: SOT 2764547 SOS 364398 HAS SOPS 364398 HAS SOUS 297731 HAS SOUPS 297731 WITH SCORE 298095.398
AT ITER 1103 NEW BEST:: SOT 2764029 SOS 365001 HAS SOPS 365001 HAS SOUS 297425 HAS SOUPS 297425 WITH SCORE 297790.001
AT ITER 1126 NEW BEST:: SOT 2763218 SOS 369336 HAS SOPS 369336 HAS SOUS 297412 HAS SOUPS 297412 WITH SCORE 297781.336
AT ITER 1209 NEW BEST:: SOT 2763155 SOS 369274 HAS SOPS 369274 HAS SOUS 297355 HAS SOUPS 297355 WITH SCORE 297724.274
AT ITER 1249 NEW BEST:: SOT 2763155 SOS 369146 HAS SOPS 369146 HAS SOUS 297331 HAS SOUPS 297331 WITH SCORE 297700.146
AT ITER 1278 NEW BEST:: SOT 2763140 SOS 369176 HAS SOPS 369176 HAS SOUS 297319 HAS SOUPS 297319 WITH SCORE 297688.176
AT ITER 1295 NEW BEST:: SOT 2763140 SOS 369148 HAS SOPS 369148 HAS SOUS 297318 HAS SOUPS 297318 WITH SCORE 297687.148
AT ITER 1296 NEW BEST:: SOT 2763043 SOS 368851 HAS SOPS 368851 HAS SOUS 297167 HAS SOUPS 297167 WITH SCORE 297535.851
AT ITER 1330 NEW BEST:: SOT 2763012 SOS 368860 HAS SOPS 368860 HAS SOUS 297145 HAS SOUPS 297145 WITH SCORE 297513.86
AT ITER 1364 NEW BEST:: SOT 2762924 SOS 368772 HAS SOPS 368772 HAS SOUS 297057 HAS SOUPS 297057 WITH SCORE 297425.772
AT ITER 1368 NEW BEST:: SOT 2762845 SOS 368456 HAS SOPS 368456 HAS SOUS 296895 HAS SOUPS 296895 WITH SCORE 297263.456
AT ITER 1435 NEW BEST:: SOT 2762553 SOS 368143 HAS SOPS 368143 HAS SOUS 296633 HAS SOUPS 296633 WITH SCORE 297001.143
AT ITER 1438 NEW BEST:: SOT 2762432 SOS 368037 HAS SOPS 368037 HAS SOUS 296361 HAS SOUPS 296361 WITH SCORE 296729.037
AT ITER 1440 NEW BEST:: SOT 2762351 SOS 367956 HAS SOPS 367956 HAS SOUS 296280 HAS SOUPS 296280 WITH SCORE 296647.956
AT ITER 1533 NEW BEST:: SOT 2761728 SOS 368864 HAS SOPS 368864 HAS SOUS 296053 HAS SOUPS 296053 WITH SCORE 296421.864
AT ITER 1554 NEW BEST:: SOT 2761728 SOS 368864 HAS SOPS 368864 HAS SOUS 296046 HAS SOUPS 296046 WITH SCORE 296414.864
AT ITER 1567 NEW BEST:: SOT 2761728 SOS 368846 HAS SOPS 368846 HAS SOUS 296045 HAS SOUPS 296045 WITH SCORE 296413.846
AT ITER 1615 NEW BEST:: SOT 2761672 SOS 368450 HAS SOPS 368450 HAS SOUS 295998 HAS SOUPS 295998 WITH SCORE 296366.45
AT ITER 1636 NEW BEST:: SOT 2761672 SOS 368450 HAS SOPS 368450 HAS SOUS 295971 HAS SOUPS 295971 WITH SCORE 296339.45
AT ITER 1672 NEW BEST:: SOT 2761280 SOS 367650 HAS SOPS 367650 HAS SOUS 295670 HAS SOUPS 295670 WITH SCORE 296037.65
AT ITER 1699 NEW BEST:: SOT 2761279 SOS 367648 HAS SOPS 367648 HAS SOUS 295668 HAS SOUPS 295668 WITH SCORE 296035.648
AT ITER 1700 NEW BEST:: SOT 2761279 SOS 367648 HAS SOPS 367648 HAS SOUS 295664 HAS SOUPS 295664 WITH SCORE 296031.648
AT ITER 1712 NEW BEST:: SOT 2761240 SOS 367477 HAS SOPS 367477 HAS SOUS 295367 HAS SOUPS 295367 WITH SCORE 295734.477
AT ITER 1713 NEW BEST:: SOT 2761002 SOS 367988 HAS SOPS 367988 HAS SOUS 295306 HAS SOUPS 295306 WITH SCORE 295673.988
AT ITER 1718 NEW BEST:: SOT 2760965 SOS 367877 HAS SOPS 367877 HAS SOUS 295195 HAS SOUPS 295195 WITH SCORE 295562.877
AT ITER 1732 NEW BEST:: SOT 2760445 SOS 367618 HAS SOPS 367618 HAS SOUS 294762 HAS SOUPS 294762 WITH SCORE 295129.618
AT ITER 1734 NEW BEST:: SOT 2760401 SOS 367583 HAS SOPS 367583 HAS SOUS 294762 HAS SOUPS 294762 WITH SCORE 295129.583
AT ITER 1735 NEW BEST:: SOT 2760298 SOS 367479 HAS SOPS 367479 HAS SOUS 294555 HAS SOUPS 294555 WITH SCORE 294922.479
AT ITER 1744 NEW BEST:: SOT 2760202 SOS 367191 HAS SOPS 367191 HAS SOUS 294363 HAS SOUPS 294363 WITH SCORE 294730.191
AT ITER 1799 NEW BEST:: SOT 2760030 SOS 366434 HAS SOPS 366434 HAS SOUS 294085 HAS SOUPS 294085 WITH SCORE 294451.434
AT ITER 1822 NEW BEST:: SOT 2759975 SOS 366434 HAS SOPS 366434 HAS SOUS 294072 HAS SOUPS 294072 WITH SCORE 294438.434
AT ITER 1826 NEW BEST:: SOT 2759963 SOS 366434 HAS SOPS 366434 HAS SOUS 294048 HAS SOUPS 294048 WITH SCORE 294414.434
AT ITER 1838 NEW BEST:: SOT 2759839 SOS 366186 HAS SOPS 366186 HAS SOUS 293924 HAS SOUPS 293924 WITH SCORE 294290.186
AT ITER 1856 NEW BEST:: SOT 2759824 SOS 366171 HAS SOPS 366171 HAS SOUS 293924 HAS SOUPS 293924 WITH SCORE 294290.171
AT ITER 1871 NEW BEST:: SOT 2759917 SOS 366357 HAS SOPS 366357 HAS SOUS 293758 HAS SOUPS 293758 WITH SCORE 294124.357
AT ITER 1882 NEW BEST:: SOT 2759917 SOS 366334 HAS SOPS 366334 HAS SOUS 293734 HAS SOUPS 293734 WITH SCORE 294100.334
AT ITER 1902 NEW BEST:: SOT 2759926 SOS 366333 HAS SOPS 366333 HAS SOUS 293450 HAS SOUPS 293450 WITH SCORE 293816.333
AT ITER 1913 NEW BEST:: SOT 2759926 SOS 366267 HAS SOPS 366267 HAS SOUS 293443 HAS SOUPS 293443 WITH SCORE 293809.267
AT ITER 1921 NEW BEST:: SOT 2759926 SOS 366222 HAS SOPS 366222 HAS SOUS 293400 HAS SOUPS 293400 WITH SCORE 293766.222
AT ITER 1935 NEW BEST:: SOT 2759912 SOS 366132 HAS SOPS 366132 HAS SOUS 293372 HAS SOUPS 293372 WITH SCORE 293738.132
AT ITER 1954 NEW BEST:: SOT 2759868 SOS 366044 HAS SOPS 366044 HAS SOUS 293328 HAS SOUPS 293328 WITH SCORE 293694.044
AT ITER 1985 NEW BEST:: SOT 2759435 SOS 366714 HAS SOPS 366714 HAS SOUS 292991 HAS SOUPS 292991 WITH SCORE 293357.714
AT ITER 1986 NEW BEST:: SOT 2759387 SOS 366148 HAS SOPS 366148 HAS SOUS 292895 HAS SOUPS 292895 WITH SCORE 293261.148
AT ITER 1996 NEW BEST:: SOT 2759329 SOS 365967 HAS SOPS 365967 HAS SOUS 292772 HAS SOUPS 292772 WITH SCORE 293137.967
AT ITER 2010 NEW BEST:: SOT 2759261 SOS 365899 HAS SOPS 365899 HAS SOUS 292704 HAS SOUPS 292704 WITH SCORE 293069.899
AT ITER 2026 NEW BEST:: SOT 2759260 SOS 365896 HAS SOPS 365896 HAS SOUS 292702 HAS SOUPS 292702 WITH SCORE 293067.896
AT ITER 2034 NEW BEST:: SOT 2759258 SOS 365894 HAS SOPS 365894 HAS SOUS 292700 HAS SOUPS 292700 WITH SCORE 293065.894
AT ITER 2041 NEW BEST:: SOT 2759273 SOS 365825 HAS SOPS 365825 HAS SOUS 292616 HAS SOUPS 292616 WITH SCORE 292981.825
AT ITER 2057 NEW BEST:: SOT 2759264 SOS 365807 HAS SOPS 365807 HAS SOUS 292607 HAS SOUPS 292607 WITH SCORE 292972.807
AT ITER 2078 NEW BEST:: SOT 2759264 SOS 365736 HAS SOPS 365736 HAS SOUS 292536 HAS SOUPS 292536 WITH SCORE 292901.736
AT ITER 2106 NEW BEST:: SOT 2758881 SOS 365636 HAS SOPS 365636 HAS SOUS 292231 HAS SOUPS 292231 WITH SCORE 292596.636
AT ITER 2117 NEW BEST:: SOT 2758403 SOS 365518 HAS SOPS 365518 HAS SOUS 291921 HAS SOUPS 291921 WITH SCORE 292286.518
AT ITER 2154 NEW BEST:: SOT 2758372 SOS 365115 HAS SOPS 365115 HAS SOUS 291828 HAS SOUPS 291828 WITH SCORE 292193.115
AT ITER 2156 NEW BEST:: SOT 2758311 SOS 365054 HAS SOPS 365054 HAS SOUS 291782 HAS SOUPS 291782 WITH SCORE 292147.054
AT ITER 2163 NEW BEST:: SOT 2758225 SOS 364968 HAS SOPS 364968 HAS SOUS 291780 HAS SOUPS 291780 WITH SCORE 292144.968
AT ITER 2166 NEW BEST:: SOT 2758177 SOS 364966 HAS SOPS 364966 HAS SOUS 291778 HAS SOUPS 291778 WITH SCORE 292142.966
AT ITER 2190 NEW BEST:: SOT 2757768 SOS 365898 HAS SOPS 365898 HAS SOUS 291494 HAS SOUPS 291494 WITH SCORE 291859.898
AT ITER 2191 NEW BEST:: SOT 2757772 SOS 365861 HAS SOPS 365861 HAS SOUS 291474 HAS SOUPS 291474 WITH SCORE 291839.861
AT ITER 2229 NEW BEST:: SOT 2757772 SOS 365861 HAS SOPS 365861 HAS SOUS 291473 HAS SOUPS 291473 WITH SCORE 291838.861
AT ITER 2232 NEW BEST:: SOT 2757772 SOS 365833 HAS SOPS 365833 HAS SOUS 291473 HAS SOUPS 291473 WITH SCORE 291838.833
AT ITER 2316 NEW BEST:: SOT 2757772 SOS 365833 HAS SOPS 365833 HAS SOUS 291471 HAS SOUPS 291471 WITH SCORE 291836.833
AT ITER 2331 NEW BEST:: SOT 2757644 SOS 365078 HAS SOPS 365078 HAS SOUS 291301 HAS SOUPS 291301 WITH SCORE 291666.078
AT ITER 2349 NEW BEST:: SOT 2757522 SOS 364892 HAS SOPS 364892 HAS SOUS 291118 HAS SOUPS 291118 WITH SCORE 291482.892
AT ITER 2350 NEW BEST:: SOT 2757426 SOS 364596 HAS SOPS 364596 HAS SOUS 290927 HAS SOUPS 290927 WITH SCORE 291291.596
AT ITER 2356 NEW BEST:: SOT 2757296 SOS 364466 HAS SOPS 364466 HAS SOUS 290797 HAS SOUPS 290797 WITH SCORE 291161.466
AT ITER 2371 NEW BEST:: SOT 2757295 SOS 364428 HAS SOPS 364428 HAS SOUS 290759 HAS SOUPS 290759 WITH SCORE 291123.428
AT ITER 2406 NEW BEST:: SOT 2756953 SOS 364478 HAS SOPS 364478 HAS SOUS 290639 HAS SOUPS 290639 WITH SCORE 291003.478
AT ITER 2473 NEW BEST:: SOT 2756788 SOS 364538 HAS SOPS 364538 HAS SOUS 290618 HAS SOUPS 290618 WITH SCORE 290982.538
AT ITER 2484 NEW BEST:: SOT 2756753 SOS 364468 HAS SOPS 364468 HAS SOUS 290402 HAS SOUPS 290402 WITH SCORE 290766.468
AT ITER 2506 NEW BEST:: SOT 2756765 SOS 364147 HAS SOPS 364147 HAS SOUS 290166 HAS SOUPS 290166 WITH SCORE 290530.147
AT ITER 2532 NEW BEST:: SOT 2756765 SOS 364146 HAS SOPS 364146 HAS SOUS 290165 HAS SOUPS 290165 WITH SCORE 290529.146
AT ITER 2534 NEW BEST:: SOT 2756765 SOS 364147 HAS SOPS 364147 HAS SOUS 290078 HAS SOUPS 290078 WITH SCORE 290442.147
AT ITER 2540 NEW BEST:: SOT 2756678 SOS 364147 HAS SOPS 364147 HAS SOUS 290063 HAS SOUPS 290063 WITH SCORE 290427.147
AT ITER 2546 NEW BEST:: SOT 2756594 SOS 364068 HAS SOPS 364068 HAS SOUS 289984 HAS SOUPS 289984 WITH SCORE 290348.068
AT ITER 2550 NEW BEST:: SOT 2756522 SOS 363924 HAS SOPS 363924 HAS SOUS 289957 HAS SOUPS 289957 WITH SCORE 290320.924
AT ITER 2618 NEW BEST:: SOT 2756522 SOS 363924 HAS SOPS 363924 HAS SOUS 289955 HAS SOUPS 289955 WITH SCORE 290318.924
AT ITER 2640 NEW BEST:: SOT 2756492 SOS 363769 HAS SOPS 363769 HAS SOUS 289915 HAS SOUPS 289915 WITH SCORE 290278.769
AT ITER 2647 NEW BEST:: SOT 2756445 SOS 363724 HAS SOPS 363724 HAS SOUS 289800 HAS SOUPS 289800 WITH SCORE 290163.724
AT ITER 2663 NEW BEST:: SOT 2755965 SOS 364072 HAS SOPS 364072 HAS SOUS 289559 HAS SOUPS 289559 WITH SCORE 289923.072
AT ITER 2677 NEW BEST:: SOT 2755964 SOS 364027 HAS SOPS 364027 HAS SOUS 289554 HAS SOUPS 289554 WITH SCORE 289918.027
AT ITER 2683 NEW BEST:: SOT 2755964 SOS 363944 HAS SOPS 363944 HAS SOUS 289553 HAS SOUPS 289553 WITH SCORE 289916.944
AT ITER 2692 NEW BEST:: SOT 2755964 SOS 363890 HAS SOPS 363890 HAS SOUS 289526 HAS SOUPS 289526 WITH SCORE 289889.89
AT ITER 2713 NEW BEST:: SOT 2755708 SOS 363331 HAS SOPS 363331 HAS SOUS 289428 HAS SOUPS 289428 WITH SCORE 289791.331
AT ITER 2753 NEW BEST:: SOT 2755707 SOS 363242 HAS SOPS 363242 HAS SOUS 289365 HAS SOUPS 289365 WITH SCORE 289728.242
AT ITER 2761 NEW BEST:: SOT 2755765 SOS 363337 HAS SOPS 363337 HAS SOUS 289335 HAS SOUPS 289335 WITH SCORE 289698.337
AT ITER 2772 NEW BEST:: SOT 2755733 SOS 363198 HAS SOPS 363198 HAS SOUS 289271 HAS SOUPS 289271 WITH SCORE 289634.198
AT ITER 2805 NEW BEST:: SOT 2755722 SOS 363212 HAS SOPS 363212 HAS SOUS 289239 HAS SOUPS 289239 WITH SCORE 289602.212
AT ITER 2806 NEW BEST:: SOT 2755540 SOS 363027 HAS SOPS 363027 HAS SOUS 289056 HAS SOUPS 289056 WITH SCORE 289419.027
AT ITER 2816 NEW BEST:: SOT 2755234 SOS 362870 HAS SOPS 362870 HAS SOUS 288750 HAS SOUPS 288750 WITH SCORE 289112.87
AT ITER 2828 NEW BEST:: SOT 2755234 SOS 362823 HAS SOPS 362823 HAS SOUS 288703 HAS SOUPS 288703 WITH SCORE 289065.823
AT ITER 2829 NEW BEST:: SOT 2755203 SOS 362730 HAS SOPS 362730 HAS SOUS 288671 HAS SOUPS 288671 WITH SCORE 289033.73
AT ITER 2837 NEW BEST:: SOT 2754989 SOS 362724 HAS SOPS 362724 HAS SOUS 288657 HAS SOUPS 288657 WITH SCORE 289019.724
AT ITER 2884 NEW BEST:: SOT 2754994 SOS 362704 HAS SOPS 362704 HAS SOUS 288637 HAS SOUPS 288637 WITH SCORE 288999.704
AT ITER 2927 NEW BEST:: SOT 2754958 SOS 362632 HAS SOPS 362632 HAS SOUS 288601 HAS SOUPS 288601 WITH SCORE 288963.632
AT ITER 2935 NEW BEST:: SOT 2754900 SOS 362483 HAS SOPS 362483 HAS SOUS 288539 HAS SOUPS 288539 WITH SCORE 288901.483
AT ITER 2936 NEW BEST:: SOT 2754887 SOS 362488 HAS SOPS 362488 HAS SOUS 288515 HAS SOUPS 288515 WITH SCORE 288877.488
AT ITER 2948 NEW BEST:: SOT 2754739 SOS 362331 HAS SOPS 362331 HAS SOUS 288358 HAS SOUPS 288358 WITH SCORE 288720.331
AT ITER 3031 NEW BEST:: SOT 2754630 SOS 362572 HAS SOPS 362572 HAS SOUS 288334 HAS SOUPS 288334 WITH SCORE 288696.572
AT ITER 3042 NEW BEST:: SOT 2754544 SOS 362314 HAS SOPS 362314 HAS SOUS 288333 HAS SOUPS 288333 WITH SCORE 288695.314
AT ITER 3072 NEW BEST:: SOT 2754407 SOS 362213 HAS SOPS 362213 HAS SOUS 288065 HAS SOUPS 288065 WITH SCORE 288427.213
AT ITER 3082 NEW BEST:: SOT 2754411 SOS 362132 HAS SOPS 362132 HAS SOUS 287916 HAS SOUPS 287916 WITH SCORE 288278.132
AT ITER 3091 NEW BEST:: SOT 2754369 SOS 361986 HAS SOPS 361986 HAS SOUS 287769 HAS SOUPS 287769 WITH SCORE 288130.986
AT ITER 3097 NEW BEST:: SOT 2754013 SOS 361840 HAS SOPS 361840 HAS SOUS 287748 HAS SOUPS 287748 WITH SCORE 288109.84
AT ITER 3132 NEW BEST:: SOT 2754153 SOS 362116 HAS SOPS 362116 HAS SOUS 287723 HAS SOUPS 287723 WITH SCORE 288085.116
AT ITER 3137 NEW BEST:: SOT 2754029 SOS 361992 HAS SOPS 361992 HAS SOUS 287605 HAS SOUPS 287605 WITH SCORE 287966.992
AT ITER 3220 NEW BEST:: SOT 2753984 SOS 361947 HAS SOPS 361947 HAS SOUS 287558 HAS SOUPS 287558 WITH SCORE 287919.947
AT ITER 3251 NEW BEST:: SOT 2754014 SOS 361977 HAS SOPS 361977 HAS SOUS 287467 HAS SOUPS 287467 WITH SCORE 287828.977
AT ITER 3256 NEW BEST:: SOT 2753914 SOS 361941 HAS SOPS 361941 HAS SOUS 287367 HAS SOUPS 287367 WITH SCORE 287728.941
AT ITER 3266 NEW BEST:: SOT 2753904 SOS 362008 HAS SOPS 362008 HAS SOUS 287338 HAS SOUPS 287338 WITH SCORE 287700.008
AT ITER 3277 NEW BEST:: SOT 2753936 SOS 361967 HAS SOPS 361967 HAS SOUS 287297 HAS SOUPS 287297 WITH SCORE 287658.967
AT ITER 3278 NEW BEST:: SOT 2753498 SOS 365645 HAS SOPS 365645 HAS SOUS 287256 HAS SOUPS 287256 WITH SCORE 287621.645
AT ITER 3283 NEW BEST:: SOT 2753329 SOS 365134 HAS SOPS 365134 HAS SOUS 287082 HAS SOUPS 287082 WITH SCORE 287447.134
AT ITER 3300 NEW BEST:: SOT 2752803 SOS 365312 HAS SOPS 365312 HAS SOUS 286556 HAS SOUPS 286556 WITH SCORE 286921.312
AT ITER 3310 NEW BEST:: SOT 2752794 SOS 365294 HAS SOPS 365294 HAS SOUS 286538 HAS SOUPS 286538 WITH SCORE 286903.294
AT ITER 3401 NEW BEST:: SOT 2752726 SOS 365229 HAS SOPS 365229 HAS SOUS 286496 HAS SOUPS 286496 WITH SCORE 286861.229
AT ITER 3403 NEW BEST:: SOT 2752726 SOS 365228 HAS SOPS 365228 HAS SOUS 286495 HAS SOUPS 286495 WITH SCORE 286860.228
AT ITER 3440 NEW BEST:: SOT 2752530 SOS 365032 HAS SOPS 365032 HAS SOUS 286299 HAS SOUPS 286299 WITH SCORE 286664.032
AT ITER 3451 NEW BEST:: SOT 2752280 SOS 364532 HAS SOPS 364532 HAS SOUS 285943 HAS SOUPS 285943 WITH SCORE 286307.532
AT ITER 3505 NEW BEST:: SOT 2752260 SOS 364452 HAS SOPS 364452 HAS SOUS 285903 HAS SOUPS 285903 WITH SCORE 286267.452
AT ITER 3559 NEW BEST:: SOT 2752247 SOS 364426 HAS SOPS 364426 HAS SOUS 285889 HAS SOUPS 285889 WITH SCORE 286253.426
AT ITER 3586 NEW BEST:: SOT 2752236 SOS 364404 HAS SOPS 364404 HAS SOUS 285864 HAS SOUPS 285864 WITH SCORE 286228.404
AT ITER 3615 NEW BEST:: SOT 2752202 SOS 364302 HAS SOPS 364302 HAS SOUS 285796 HAS SOUPS 285796 WITH SCORE 286160.302
AT ITER 3616 NEW BEST:: SOT 2752202 SOS 364142 HAS SOPS 364142 HAS SOUS 285796 HAS SOUPS 285796 WITH SCORE 286160.142
AT ITER 3644 NEW BEST:: SOT 2752180 SOS 364076 HAS SOPS 364076 HAS SOUS 285752 HAS SOUPS 285752 WITH SCORE 286116.076
AT ITER 3697 NEW BEST:: SOT 2752102 SOS 363614 HAS SOPS 363614 HAS SOUS 285558 HAS SOUPS 285558 WITH SCORE 285921.614
AT ITER 3700 NEW BEST:: SOT 2752102 SOS 363940 HAS SOPS 363940 HAS SOUS 285533 HAS SOUPS 285533 WITH SCORE 285896.94
AT ITER 3715 NEW BEST:: SOT 2752023 SOS 363677 HAS SOPS 363677 HAS SOUS 285454 HAS SOUPS 285454 WITH SCORE 285817.677
AT ITER 3724 NEW BEST:: SOT 2751976 SOS 363653 HAS SOPS 363653 HAS SOUS 285430 HAS SOUPS 285430 WITH SCORE 285793.653
AT ITER 3734 NEW BEST:: SOT 2751794 SOS 363289 HAS SOPS 363289 HAS SOUS 285064 HAS SOUPS 285064 WITH SCORE 285427.289
AT ITER 3792 NEW BEST:: SOT 2750678 SOS 362192 HAS SOPS 362192 HAS SOUS 283814 HAS SOUPS 283814 WITH SCORE 284176.192
AT ITER 3813 NEW BEST:: SOT 2750569 SOS 362061 HAS SOPS 362061 HAS SOUS 283764 HAS SOUPS 283764 WITH SCORE 284126.061
AT ITER 3859 NEW BEST:: SOT 2750192 SOS 361307 HAS SOPS 361307 HAS SOUS 283010 HAS SOUPS 283010 WITH SCORE 283371.307
AT ITER 3909 NEW BEST:: SOT 2750094 SOS 361222 HAS SOPS 361222 HAS SOUS 282911 HAS SOUPS 282911 WITH SCORE 283272.222
AT ITER 3924 NEW BEST:: SOT 2749985 SOS 361004 HAS SOPS 361004 HAS SOUS 282693 HAS SOUPS 282693 WITH SCORE 283054.004
AT ITER 3930 NEW BEST:: SOT 2749897 SOS 360828 HAS SOPS 360828 HAS SOUS 282605 HAS SOUPS 282605 WITH SCORE 282965.828
AT ITER 3990 NEW BEST:: SOT 2749944 SOS 360875 HAS SOPS 360875 HAS SOUS 282603 HAS SOUPS 282603 WITH SCORE 282963.875
AT ITER 4003 NEW BEST:: SOT 2749942 SOS 360871 HAS SOPS 360871 HAS SOUS 282580 HAS SOUPS 282580 WITH SCORE 282940.871
AT ITER 4065 NEW BEST:: SOT 2749872 SOS 360895 HAS SOPS 360895 HAS SOUS 282440 HAS SOUPS 282440 WITH SCORE 282800.895
AT ITER 4079 NEW BEST:: SOT 2749942 SOS 360999 HAS SOPS 360999 HAS SOUS 282409 HAS SOUPS 282409 WITH SCORE 282769.999
AT ITER 4094 NEW BEST:: SOT 2749942 SOS 360998 HAS SOPS 360998 HAS SOUS 282407 HAS SOUPS 282407 WITH SCORE 282767.998
AT ITER 4130 NEW BEST:: SOT 2749857 SOS 361003 HAS SOPS 361003 HAS SOUS 282381 HAS SOUPS 282381 WITH SCORE 282742.003
AT ITER 4142 NEW BEST:: SOT 2749857 SOS 361002 HAS SOPS 361002 HAS SOUS 282378 HAS SOUPS 282378 WITH SCORE 282739.002
AT ITER 4161 NEW BEST:: SOT 2749842 SOS 361002 HAS SOPS 361002 HAS SOUS 282358 HAS SOUPS 282358 WITH SCORE 282719.002
AT ITER 4175 NEW BEST:: SOT 2749842 SOS 360981 HAS SOPS 360981 HAS SOUS 282358 HAS SOUPS 282358 WITH SCORE 282718.981
AT ITER 4194 NEW BEST:: SOT 2749807 SOS 360911 HAS SOPS 360911 HAS SOUS 282288 HAS SOUPS 282288 WITH SCORE 282648.911
AT ITER 4197 NEW BEST:: SOT 2749807 SOS 360758 HAS SOPS 360758 HAS SOUS 282287 HAS SOUPS 282287 WITH SCORE 282647.758
AT ITER 4218 NEW BEST:: SOT 2749789 SOS 360740 HAS SOPS 360740 HAS SOUS 282287 HAS SOUPS 282287 WITH SCORE 282647.74
AT ITER 4223 NEW BEST:: SOT 2749497 SOS 360876 HAS SOPS 360876 HAS SOUS 282079 HAS SOUPS 282079 WITH SCORE 282439.876
AT ITER 4227 NEW BEST:: SOT 2749433 SOS 360812 HAS SOPS 360812 HAS SOUS 282079 HAS SOUPS 282079 WITH SCORE 282439.812
AT ITER 4239 NEW BEST:: SOT 2749416 SOS 360778 HAS SOPS 360778 HAS SOUS 282045 HAS SOUPS 282045 WITH SCORE 282405.778
AT ITER 4251 NEW BEST:: SOT 2749321 SOS 360669 HAS SOPS 360669 HAS SOUS 281972 HAS SOUPS 281972 WITH SCORE 282332.669
AT ITER 4257 NEW BEST:: SOT 2748752 SOS 360676 HAS SOPS 360676 HAS SOUS 281408 HAS SOUPS 281408 WITH SCORE 281768.676
AT ITER 4263 NEW BEST:: SOT 2748714 SOS 360555 HAS SOPS 360555 HAS SOUS 281325 HAS SOUPS 281325 WITH SCORE 281685.555
AT ITER 4302 NEW BEST:: SOT 2748546 SOS 360387 HAS SOPS 360387 HAS SOUS 281105 HAS SOUPS 281105 WITH SCORE 281465.387
AT ITER 4380 NEW BEST:: SOT 2748546 SOS 360387 HAS SOPS 360387 HAS SOUS 281089 HAS SOUPS 281089 WITH SCORE 281449.387
AT ITER 4436 NEW BEST:: SOT 2748521 SOS 360337 HAS SOPS 360337 HAS SOUS 281063 HAS SOUPS 281063 WITH SCORE 281423.337
AT ITER 4441 NEW BEST:: SOT 2748405 SOS 360221 HAS SOPS 360221 HAS SOUS 280831 HAS SOUPS 280831 WITH SCORE 281191.221
AT ITER 4466 NEW BEST:: SOT 2748430 SOS 360121 HAS SOPS 360121 HAS SOUS 280830 HAS SOUPS 280830 WITH SCORE 281190.121
AT ITER 4491 NEW BEST:: SOT 2748391 SOS 360082 HAS SOPS 360082 HAS SOUS 280754 HAS SOUPS 280754 WITH SCORE 281114.082
AT ITER 4496 NEW BEST:: SOT 2748303 SOS 360058 HAS SOPS 360058 HAS SOUS 280665 HAS SOUPS 280665 WITH SCORE 281025.058
AT ITER 4510 NEW BEST:: SOT 2748297 SOS 360073 HAS SOPS 360073 HAS SOUS 280544 HAS SOUPS 280544 WITH SCORE 280904.073
AT ITER 4538 NEW BEST:: SOT 2748193 SOS 359855 HAS SOPS 359855 HAS SOUS 280417 HAS SOUPS 280417 WITH SCORE 280776.855
AT ITER 4561 NEW BEST:: SOT 2747939 SOS 359601 HAS SOPS 359601 HAS SOUS 280290 HAS SOUPS 280290 WITH SCORE 280649.601
AT ITER 4574 NEW BEST:: SOT 2747939 SOS 359361 HAS SOPS 359361 HAS SOUS 280289 HAS SOUPS 280289 WITH SCORE 280648.361
AT ITER 4582 NEW BEST:: SOT 2747803 SOS 358968 HAS SOPS 358968 HAS SOUS 280090 HAS SOUPS 280090 WITH SCORE 280448.968
AT ITER 4584 NEW BEST:: SOT 2747679 SOS 358378 HAS SOPS 358378 HAS SOUS 279900 HAS SOUPS 279900 WITH SCORE 280258.378
AT ITER 4615 NEW BEST:: SOT 2747331 SOS 357974 HAS SOPS 357974 HAS SOUS 279552 HAS SOUPS 279552 WITH SCORE 279909.974
AT ITER 4621 NEW BEST:: SOT 2746950 SOS 357212 HAS SOPS 357212 HAS SOUS 279084 HAS SOUPS 279084 WITH SCORE 279441.212
AT ITER 4629 NEW BEST:: SOT 2746895 SOS 357102 HAS SOPS 357102 HAS SOUS 279029 HAS SOUPS 279029 WITH SCORE 279386.102
AT ITER 4631 NEW BEST:: SOT 2746874 SOS 357070 HAS SOPS 357070 HAS SOUS 278997 HAS SOUPS 278997 WITH SCORE 279354.07
AT ITER 4634 NEW BEST:: SOT 2746831 SOS 356558 HAS SOPS 356558 HAS SOUS 278954 HAS SOUPS 278954 WITH SCORE 279310.558
AT ITER 4673 NEW BEST:: SOT 2746591 SOS 356265 HAS SOPS 356265 HAS SOUS 278714 HAS SOUPS 278714 WITH SCORE 279070.265
AT ITER 4674 NEW BEST:: SOT 2746610 SOS 356220 HAS SOPS 356220 HAS SOUS 278683 HAS SOUPS 278683 WITH SCORE 279039.22
AT ITER 4714 NEW BEST:: SOT 2746605 SOS 356202 HAS SOPS 356202 HAS SOUS 278673 HAS SOUPS 278673 WITH SCORE 279029.202
AT ITER 4748 NEW BEST:: SOT 2746602 SOS 356202 HAS SOPS 356202 HAS SOUS 278671 HAS SOUPS 278671 WITH SCORE 279027.202
AT ITER 4762 NEW BEST:: SOT 2745941 SOS 356530 HAS SOPS 356530 HAS SOUS 278174 HAS SOUPS 278174 WITH SCORE 278530.53
AT ITER 4784 NEW BEST:: SOT 2745747 SOS 356433 HAS SOPS 356433 HAS SOUS 278077 HAS SOUPS 278077 WITH SCORE 278433.433
AT ITER 4873 NEW BEST:: SOT 2745650 SOS 356336 HAS SOPS 356336 HAS SOUS 277808 HAS SOUPS 277808 WITH SCORE 278164.336
AT ITER 4893 NEW BEST:: SOT 2745529 SOS 356094 HAS SOPS 356094 HAS SOUS 277742 HAS SOUPS 277742 WITH SCORE 278098.094
AT ITER 4901 NEW BEST:: SOT 2745184 SOS 356169 HAS SOPS 356169 HAS SOUS 277482 HAS SOUPS 277482 WITH SCORE 277838.169
AT ITER 4908 NEW BEST:: SOT 2745154 SOS 356109 HAS SOPS 356109 HAS SOUS 277452 HAS SOUPS 277452 WITH SCORE 277808.109
AT ITER 4933 NEW BEST:: SOT 2745153 SOS 356107 HAS SOPS 356107 HAS SOUS 277450 HAS SOUPS 277450 WITH SCORE 277806.107
AT ITER 4934 NEW BEST:: SOT 2744953 SOS 356436 HAS SOPS 356436 HAS SOUS 277250 HAS SOUPS 277250 WITH SCORE 277606.436
AT ITER 4949 NEW BEST:: SOT 2744883 SOS 356260 HAS SOPS 356260 HAS SOUS 277110 HAS SOUPS 277110 WITH SCORE 277466.26
AT ITER 4955 NEW BEST:: SOT 2744883 SOS 356254 HAS SOPS 356254 HAS SOUS 277098 HAS SOUPS 277098 WITH SCORE 277454.254
AT ITER 4992 NEW BEST:: SOT 2744891 SOS 356148 HAS SOPS 356148 HAS SOUS 276992 HAS SOUPS 276992 WITH SCORE 277348.148
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-3B-CTLCardinality-00 (EF((AG( ( potential( (tk(P1335)) <= (tk(P1605)) ) & potential( ( 1 ) <= (tk(P664)) ) )))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-01 ( (EF(potential( ( 3 ) <= (tk(P457)) ))) | ( (EU( potential( ( 1 ) <= (tk(P1872)) ),potential( ( 2 ) <= (tk(P142)) ) )) & (AU( potential( ( 2 ) <= (tk(P320)) ),potential( ( 3 ) <= (tk(P92)) ) )) ) )
PROPERTY: NoC3x3-PT-3B-CTLCardinality-02 (AG( (AG( (! potential( ( 2 ) <= (tk(P1855)) ))))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-03 (EF((AF((! potential( (tk(P830)) <= (tk(P24)) ))))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-04 (! (AG( (! ( potential( (tk(P645)) <= (tk(P469)) ) & potential( ( 2 ) <= (tk(P1601)) ) )))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-05 (AG( (AF(( potential( (tk(P1916)) <= (tk(P1095)) ) & potential( (tk(P1909)) <= (tk(P1243)) ) )))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-06 ( ( ( potential( (tk(P1216)) <= (tk(P522)) ) & (EF(potential( ( 1 ) <= (tk(P1879)) ))) ) | ( (! ( potential( (tk(P263)) <= (tk(P61)) ) & potential( (tk(P420)) <= (tk(P1684)) ) )) & ( ( potential( (tk(P771)) <= (tk(P1610)) ) | potential( (tk(P421)) <= (tk(P363)) ) ) | potential( ( 1 ) <= (tk(P559)) ) ) ) ) | (EU( ( potential( (tk(P1660)) <= (tk(P238)) ) & potential( ( 2 ) <= (tk(P631)) ) ),(! potential( (tk(P113)) <= (tk(P1747)) )) )) )
PROPERTY: NoC3x3-PT-3B-CTLCardinality-07 (AG( (! ( potential( ( 3 ) <= (tk(P1778)) ) & ( potential( ( 2 ) <= (tk(P688)) ) & potential( (tk(P234)) <= (tk(P1445)) ) ) ))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-08 ( (EF(( ( potential( ( 3 ) <= (tk(P1703)) ) | potential( ( 2 ) <= (tk(P1643)) ) ) & ( potential( ( 3 ) <= (tk(P1279)) ) | potential( ( 3 ) <= (tk(P1242)) ) ) ))) | (EU( potential( (tk(P223)) <= (tk(P1300)) ),(! potential( (tk(P946)) <= (tk(P2112)) )) )) )
PROPERTY: NoC3x3-PT-3B-CTLCardinality-09 ( potential( (tk(P685)) <= (tk(P795)) ) & (AG( potential( (tk(P1470)) <= (tk(P1703)) ))) )
PROPERTY: NoC3x3-PT-3B-CTLCardinality-10 (EU( (EG( potential( (tk(P559)) <= (tk(P1450)) ))),(! (! potential( ( 3 ) <= (tk(P112)) ))) ))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-11 (EU( ( (! potential( ( 2 ) <= (tk(P9)) )) & ( potential( ( 1 ) <= (tk(P251)) ) | potential( (tk(P210)) <= (tk(P1462)) ) ) ),( (! potential( (tk(P1543)) <= (tk(P1212)) )) | ( potential( ( 1 ) <= (tk(P414)) ) & potential( (tk(P1935)) <= (tk(P1454)) ) ) ) ))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-12 ( (EX( ( ( potential( ( 3 ) <= (tk(P1867)) ) & potential( (tk(P1720)) <= (tk(P258)) ) ) & ( potential( (tk(P442)) <= (tk(P1840)) ) | potential( ( 1 ) <= (tk(P2011)) ) ) ))) | ( (AG( (! potential( ( 1 ) <= (tk(P341)) )))) | ( (! (! potential( ( 2 ) <= (tk(P1995)) ))) & ( ( potential( (tk(P1636)) <= (tk(P1441)) ) | potential( (tk(P143)) <= (tk(P1199)) ) ) & (! potential( ( 2 ) <= (tk(P20)) )) ) ) ) )
PROPERTY: NoC3x3-PT-3B-CTLCardinality-13 (EF(( (! potential( ( 3 ) <= (tk(P1951)) )) & ( potential( ( 2 ) <= (tk(P919)) ) | ( potential( ( 3 ) <= (tk(P1467)) ) | potential( ( 2 ) <= (tk(P1366)) ) ) ) )))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-14 (! (AG( (! ( potential( (tk(P625)) <= (tk(P447)) ) & potential( ( 3 ) <= (tk(P1767)) ) )))))
PROPERTY: NoC3x3-PT-3B-CTLCardinality-15 (! ( (AG( ( potential( (tk(P152)) <= (tk(P2050)) ) | potential( (tk(P779)) <= (tk(P208)) ) ))) | potential( ( 2 ) <= (tk(P749)) ) ))

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

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