Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r195-smll-167840341900072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is GPUForwardProgress-PT-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.1K Feb 25 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 32K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678444199638

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GPUForwardProgress-PT-20a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 20a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 88 places, 109 transitions, 421 arcs.
AT ITER 0 NEW BEST:: SOT 6268 SOS 5364 HAS SOPS 5362 HAS SOUS 4037 HAS SOUPS 4036 WITH SCORE 4041.364
AT ITER 1 NEW BEST:: SOT 6268 SOS 5364 HAS SOPS 5362 HAS SOUS 4036 HAS SOUPS 4035 WITH SCORE 4040.364
AT ITER 3 NEW BEST:: SOT 6320 SOS 5362 HAS SOPS 5360 HAS SOUS 4020 HAS SOUPS 4019 WITH SCORE 4024.362
AT ITER 4 NEW BEST:: SOT 6335 SOS 5336 HAS SOPS 5334 HAS SOUS 3950 HAS SOUPS 3949 WITH SCORE 3954.336
AT ITER 5 NEW BEST:: SOT 6348 SOS 5254 HAS SOPS 5252 HAS SOUS 3823 HAS SOUPS 3822 WITH SCORE 3827.254
AT ITER 7 NEW BEST:: SOT 6348 SOS 5254 HAS SOPS 5252 HAS SOUS 3821 HAS SOUPS 3820 WITH SCORE 3825.254
AT ITER 8 NEW BEST:: SOT 6410 SOS 5233 HAS SOPS 5231 HAS SOUS 3797 HAS SOUPS 3796 WITH SCORE 3801.233
AT ITER 9 NEW BEST:: SOT 6395 SOS 5218 HAS SOPS 5216 HAS SOUS 3782 HAS SOUPS 3781 WITH SCORE 3786.218
AT ITER 12 NEW BEST:: SOT 6379 SOS 5202 HAS SOPS 5200 HAS SOUS 3766 HAS SOUPS 3765 WITH SCORE 3770.202
AT ITER 14 NEW BEST:: SOT 6379 SOS 5168 HAS SOPS 5166 HAS SOUS 3738 HAS SOUPS 3737 WITH SCORE 3742.168
AT ITER 17 NEW BEST:: SOT 6343 SOS 5132 HAS SOPS 5130 HAS SOUS 3735 HAS SOUPS 3734 WITH SCORE 3739.132
AT ITER 21 NEW BEST:: SOT 6383 SOS 5172 HAS SOPS 5170 HAS SOUS 3717 HAS SOUPS 3716 WITH SCORE 3721.172
AT ITER 23 NEW BEST:: SOT 6379 SOS 5168 HAS SOPS 5166 HAS SOUS 3713 HAS SOUPS 3712 WITH SCORE 3717.168
AT ITER 24 NEW BEST:: SOT 6427 SOS 5216 HAS SOPS 5214 HAS SOUS 3699 HAS SOUPS 3698 WITH SCORE 3703.216
AT ITER 27 NEW BEST:: SOT 6339 SOS 5128 HAS SOPS 5126 HAS SOUS 3688 HAS SOUPS 3687 WITH SCORE 3692.128
AT ITER 28 NEW BEST:: SOT 6354 SOS 5134 HAS SOPS 5132 HAS SOUS 3682 HAS SOUPS 3681 WITH SCORE 3686.134
AT ITER 29 NEW BEST:: SOT 6326 SOS 5064 HAS SOPS 5062 HAS SOUS 3640 HAS SOUPS 3639 WITH SCORE 3644.064
AT ITER 31 NEW BEST:: SOT 6343 SOS 5064 HAS SOPS 5062 HAS SOUS 3623 HAS SOUPS 3622 WITH SCORE 3627.064
AT ITER 33 NEW BEST:: SOT 6333 SOS 5044 HAS SOPS 5042 HAS SOUS 3608 HAS SOUPS 3607 WITH SCORE 3612.044
AT ITER 35 NEW BEST:: SOT 6343 SOS 4989 HAS SOPS 4987 HAS SOUS 3568 HAS SOUPS 3567 WITH SCORE 3571.989
AT ITER 36 NEW BEST:: SOT 6331 SOS 4977 HAS SOPS 4975 HAS SOUS 3556 HAS SOUPS 3555 WITH SCORE 3559.977
AT ITER 41 NEW BEST:: SOT 6327 SOS 4928 HAS SOPS 4926 HAS SOUS 3516 HAS SOUPS 3515 WITH SCORE 3519.928
AT ITER 47 NEW BEST:: SOT 6389 SOS 4896 HAS SOPS 4894 HAS SOUS 3436 HAS SOUPS 3435 WITH SCORE 3439.896
AT ITER 50 NEW BEST:: SOT 6389 SOS 4866 HAS SOPS 4864 HAS SOUS 3406 HAS SOUPS 3405 WITH SCORE 3409.866
AT ITER 52 NEW BEST:: SOT 6349 SOS 4858 HAS SOPS 4856 HAS SOUS 3392 HAS SOUPS 3391 WITH SCORE 3395.858
AT ITER 53 NEW BEST:: SOT 6349 SOS 4858 HAS SOPS 4856 HAS SOUS 3384 HAS SOUPS 3383 WITH SCORE 3387.858
AT ITER 54 NEW BEST:: SOT 6240 SOS 4697 HAS SOPS 4695 HAS SOUS 3254 HAS SOUPS 3253 WITH SCORE 3257.697
AT ITER 57 NEW BEST:: SOT 6216 SOS 4631 HAS SOPS 4629 HAS SOUS 3214 HAS SOUPS 3213 WITH SCORE 3217.631
AT ITER 62 NEW BEST:: SOT 6282 SOS 4623 HAS SOPS 4621 HAS SOUS 3160 HAS SOUPS 3159 WITH SCORE 3163.623
AT ITER 68 NEW BEST:: SOT 6283 SOS 4599 HAS SOPS 4597 HAS SOUS 3144 HAS SOUPS 3143 WITH SCORE 3147.599
AT ITER 78 NEW BEST:: SOT 5966 SOS 4222 HAS SOPS 4220 HAS SOUS 2685 HAS SOUPS 2684 WITH SCORE 2688.222
AT ITER 82 NEW BEST:: SOT 5963 SOS 4207 HAS SOPS 4205 HAS SOUS 2673 HAS SOUPS 2672 WITH SCORE 2676.207
AT ITER 84 NEW BEST:: SOT 5963 SOS 4206 HAS SOPS 4204 HAS SOUS 2672 HAS SOUPS 2671 WITH SCORE 2675.206
AT ITER 85 NEW BEST:: SOT 5968 SOS 4101 HAS SOPS 4099 HAS SOUS 2615 HAS SOUPS 2614 WITH SCORE 2618.101
AT ITER 86 NEW BEST:: SOT 5955 SOS 4088 HAS SOPS 4086 HAS SOUS 2589 HAS SOUPS 2588 WITH SCORE 2592.088
AT ITER 87 NEW BEST:: SOT 5948 SOS 4079 HAS SOPS 4077 HAS SOUS 2581 HAS SOUPS 2580 WITH SCORE 2584.079
AT ITER 88 NEW BEST:: SOT 5940 SOS 4055 HAS SOPS 4053 HAS SOUS 2557 HAS SOUPS 2556 WITH SCORE 2560.055
AT ITER 89 NEW BEST:: SOT 5932 SOS 4047 HAS SOPS 4045 HAS SOUS 2541 HAS SOUPS 2540 WITH SCORE 2544.047
AT ITER 90 NEW BEST:: SOT 5929 SOS 4041 HAS SOPS 4039 HAS SOUS 2535 HAS SOUPS 2534 WITH SCORE 2538.041
AT ITER 91 NEW BEST:: SOT 5929 SOS 3936 HAS SOPS 3858 HAS SOUS 2540 HAS SOUPS 2534 WITH SCORE 2537.936
AT ITER 95 NEW BEST:: SOT 5943 SOS 3936 HAS SOPS 3858 HAS SOUS 2512 HAS SOUPS 2506 WITH SCORE 2509.936
AT ITER 97 NEW BEST:: SOT 5917 SOS 3923 HAS SOPS 3845 HAS SOUS 2512 HAS SOUPS 2506 WITH SCORE 2509.923
AT ITER 98 NEW BEST:: SOT 5866 SOS 3872 HAS SOPS 3794 HAS SOUS 2478 HAS SOUPS 2472 WITH SCORE 2475.872
AT ITER 102 NEW BEST:: SOT 5879 SOS 3885 HAS SOPS 3807 HAS SOUS 2472 HAS SOUPS 2466 WITH SCORE 2469.885
AT ITER 106 NEW BEST:: SOT 5895 SOS 3869 HAS SOPS 3791 HAS SOUS 2417 HAS SOUPS 2411 WITH SCORE 2414.869
AT ITER 107 NEW BEST:: SOT 5879 SOS 3781 HAS SOPS 3703 HAS SOUS 2340 HAS SOUPS 2334 WITH SCORE 2337.781
AT ITER 109 NEW BEST:: SOT 5875 SOS 3777 HAS SOPS 3699 HAS SOUS 2334 HAS SOUPS 2328 WITH SCORE 2331.777
AT ITER 116 NEW BEST:: SOT 5852 SOS 3708 HAS SOPS 3630 HAS SOUS 2265 HAS SOUPS 2259 WITH SCORE 2262.708
AT ITER 117 NEW BEST:: SOT 5904 SOS 3754 HAS SOPS 3671 HAS SOUS 2253 HAS SOUPS 2247 WITH SCORE 2250.754
AT ITER 118 NEW BEST:: SOT 5771 SOS 3653 HAS SOPS 3565 HAS SOUS 2167 HAS SOUPS 2161 WITH SCORE 2164.653
AT ITER 121 NEW BEST:: SOT 5735 SOS 3568 HAS SOPS 3480 HAS SOUS 2095 HAS SOUPS 2089 WITH SCORE 2092.568
AT ITER 122 NEW BEST:: SOT 5735 SOS 3564 HAS SOPS 3476 HAS SOUS 2091 HAS SOUPS 2085 WITH SCORE 2088.564
AT ITER 123 NEW BEST:: SOT 5730 SOS 3559 HAS SOPS 3471 HAS SOUS 2086 HAS SOUPS 2080 WITH SCORE 2083.559
AT ITER 130 NEW BEST:: SOT 5716 SOS 3522 HAS SOPS 3434 HAS SOUS 2040 HAS SOUPS 2034 WITH SCORE 2037.522
AT ITER 134 NEW BEST:: SOT 5701 SOS 3521 HAS SOPS 3433 HAS SOUS 2036 HAS SOUPS 2030 WITH SCORE 2033.521
AT ITER 137 NEW BEST:: SOT 5667 SOS 3494 HAS SOPS 3406 HAS SOUS 2024 HAS SOUPS 2018 WITH SCORE 2021.494
AT ITER 142 NEW BEST:: SOT 5692 SOS 3430 HAS SOPS 3342 HAS SOUS 1958 HAS SOUPS 1952 WITH SCORE 1955.43
AT ITER 145 NEW BEST:: SOT 5686 SOS 3417 HAS SOPS 3329 HAS SOUS 1938 HAS SOUPS 1932 WITH SCORE 1935.417
AT ITER 151 NEW BEST:: SOT 5680 SOS 3400 HAS SOPS 3312 HAS SOUS 1932 HAS SOUPS 1926 WITH SCORE 1929.4
AT ITER 153 NEW BEST:: SOT 5690 SOS 3364 HAS SOPS 3281 HAS SOUS 1915 HAS SOUPS 1909 WITH SCORE 1912.364
AT ITER 156 NEW BEST:: SOT 5717 SOS 3382 HAS SOPS 3299 HAS SOUS 1909 HAS SOUPS 1903 WITH SCORE 1906.382
AT ITER 169 NEW BEST:: SOT 5719 SOS 3384 HAS SOPS 3301 HAS SOUS 1901 HAS SOUPS 1895 WITH SCORE 1898.384
AT ITER 170 NEW BEST:: SOT 5698 SOS 3363 HAS SOPS 3280 HAS SOUS 1887 HAS SOUPS 1881 WITH SCORE 1884.363
AT ITER 190 NEW BEST:: SOT 5698 SOS 3363 HAS SOPS 3280 HAS SOUS 1867 HAS SOUPS 1861 WITH SCORE 1864.363
AT ITER 194 NEW BEST:: SOT 5702 SOS 3356 HAS SOPS 3273 HAS SOUS 1865 HAS SOUPS 1859 WITH SCORE 1862.356
AT ITER 198 NEW BEST:: SOT 5690 SOS 3332 HAS SOPS 3249 HAS SOUS 1849 HAS SOUPS 1843 WITH SCORE 1846.332
AT ITER 202 NEW BEST:: SOT 5703 SOS 3341 HAS SOPS 3258 HAS SOUS 1848 HAS SOUPS 1842 WITH SCORE 1845.341
AT ITER 208 NEW BEST:: SOT 5673 SOS 3329 HAS SOPS 3246 HAS SOUS 1842 HAS SOUPS 1836 WITH SCORE 1839.329
AT ITER 213 NEW BEST:: SOT 5670 SOS 3326 HAS SOPS 3243 HAS SOUS 1839 HAS SOUPS 1833 WITH SCORE 1836.326
AT ITER 216 NEW BEST:: SOT 5604 SOS 3260 HAS SOPS 3177 HAS SOUS 1747 HAS SOUPS 1741 WITH SCORE 1744.26
AT ITER 226 NEW BEST:: SOT 5602 SOS 3260 HAS SOPS 3177 HAS SOUS 1745 HAS SOUPS 1739 WITH SCORE 1742.26
AT ITER 231 NEW BEST:: SOT 5631 SOS 3227 HAS SOPS 3144 HAS SOUS 1739 HAS SOUPS 1733 WITH SCORE 1736.227
AT ITER 235 NEW BEST:: SOT 5624 SOS 3224 HAS SOPS 3141 HAS SOUS 1736 HAS SOUPS 1730 WITH SCORE 1733.224
AT ITER 242 NEW BEST:: SOT 5618 SOS 3218 HAS SOPS 3135 HAS SOUS 1736 HAS SOUPS 1730 WITH SCORE 1733.218
AT ITER 249 NEW BEST:: SOT 5611 SOS 3207 HAS SOPS 3124 HAS SOUS 1730 HAS SOUPS 1724 WITH SCORE 1727.207
AT ITER 254 NEW BEST:: SOT 5595 SOS 3159 HAS SOPS 3076 HAS SOUS 1682 HAS SOUPS 1676 WITH SCORE 1679.159
AT ITER 255 NEW BEST:: SOT 5582 SOS 3135 HAS SOPS 3052 HAS SOUS 1666 HAS SOUPS 1660 WITH SCORE 1663.135
AT ITER 266 NEW BEST:: SOT 5572 SOS 3115 HAS SOPS 3032 HAS SOUS 1656 HAS SOUPS 1650 WITH SCORE 1653.115
AT ITER 269 NEW BEST:: SOT 5534 SOS 3005 HAS SOPS 2922 HAS SOUS 1581 HAS SOUPS 1575 WITH SCORE 1578.005
AT ITER 271 NEW BEST:: SOT 5536 SOS 2948 HAS SOPS 2865 HAS SOUS 1509 HAS SOUPS 1503 WITH SCORE 1505.948
AT ITER 277 NEW BEST:: SOT 5539 SOS 2941 HAS SOPS 2858 HAS SOUS 1504 HAS SOUPS 1498 WITH SCORE 1500.941
AT ITER 283 NEW BEST:: SOT 5535 SOS 2945 HAS SOPS 2862 HAS SOUS 1500 HAS SOUPS 1494 WITH SCORE 1496.945
AT ITER 284 NEW BEST:: SOT 5549 SOS 2941 HAS SOPS 2858 HAS SOUS 1498 HAS SOUPS 1492 WITH SCORE 1494.941
AT ITER 300 NEW BEST:: SOT 5549 SOS 2941 HAS SOPS 2855 HAS SOUS 1488 HAS SOUPS 1482 WITH SCORE 1484.941
AT ITER 304 NEW BEST:: SOT 5550 SOS 2925 HAS SOPS 2856 HAS SOUS 1486 HAS SOUPS 1481 WITH SCORE 1483.925
AT ITER 312 NEW BEST:: SOT 5547 SOS 2908 HAS SOPS 2839 HAS SOUS 1473 HAS SOUPS 1468 WITH SCORE 1470.908
AT ITER 314 NEW BEST:: SOT 5546 SOS 2902 HAS SOPS 2833 HAS SOUS 1471 HAS SOUPS 1466 WITH SCORE 1468.902
AT ITER 318 NEW BEST:: SOT 5508 SOS 2864 HAS SOPS 2795 HAS SOUS 1471 HAS SOUPS 1466 WITH SCORE 1468.864
AT ITER 321 NEW BEST:: SOT 5524 SOS 2860 HAS SOPS 2787 HAS SOUS 1455 HAS SOUPS 1450 WITH SCORE 1452.86
AT ITER 337 NEW BEST:: SOT 5540 SOS 2866 HAS SOPS 2793 HAS SOUS 1452 HAS SOUPS 1447 WITH SCORE 1449.866
AT ITER 364 NEW BEST:: SOT 5547 SOS 2868 HAS SOPS 2795 HAS SOUS 1451 HAS SOUPS 1446 WITH SCORE 1448.868
AT ITER 366 NEW BEST:: SOT 5544 SOS 2863 HAS SOPS 2790 HAS SOUS 1447 HAS SOUPS 1442 WITH SCORE 1444.863
AT ITER 371 NEW BEST:: SOT 5534 SOS 2862 HAS SOPS 2789 HAS SOUS 1435 HAS SOUPS 1430 WITH SCORE 1432.862
AT ITER 390 NEW BEST:: SOT 5534 SOS 2856 HAS SOPS 2783 HAS SOUS 1429 HAS SOUPS 1424 WITH SCORE 1426.856
AT ITER 394 NEW BEST:: SOT 5546 SOS 2836 HAS SOPS 2763 HAS SOUS 1415 HAS SOUPS 1410 WITH SCORE 1412.836
AT ITER 410 NEW BEST:: SOT 5546 SOS 2830 HAS SOPS 2757 HAS SOUS 1403 HAS SOUPS 1398 WITH SCORE 1400.83
AT ITER 411 NEW BEST:: SOT 5546 SOS 2832 HAS SOPS 2759 HAS SOUS 1401 HAS SOUPS 1396 WITH SCORE 1398.832
AT ITER 421 NEW BEST:: SOT 5488 SOS 2855 HAS SOPS 2853 HAS SOUS 1343 HAS SOUPS 1342 WITH SCORE 1344.855
AT ITER 423 NEW BEST:: SOT 5492 SOS 2851 HAS SOPS 2849 HAS SOUS 1334 HAS SOUPS 1333 WITH SCORE 1335.851
AT ITER 441 NEW BEST:: SOT 5498 SOS 2857 HAS SOPS 2855 HAS SOUS 1313 HAS SOUPS 1312 WITH SCORE 1314.857
AT ITER 445 NEW BEST:: SOT 5498 SOS 2848 HAS SOPS 2846 HAS SOUS 1311 HAS SOUPS 1310 WITH SCORE 1312.848
AT ITER 446 NEW BEST:: SOT 5498 SOS 2847 HAS SOPS 2845 HAS SOUS 1310 HAS SOUPS 1309 WITH SCORE 1311.847
AT ITER 450 NEW BEST:: SOT 5500 SOS 2846 HAS SOPS 2844 HAS SOUS 1307 HAS SOUPS 1306 WITH SCORE 1308.846
AT ITER 456 NEW BEST:: SOT 5497 SOS 2843 HAS SOPS 2841 HAS SOUS 1301 HAS SOUPS 1300 WITH SCORE 1302.843
AT ITER 459 NEW BEST:: SOT 5490 SOS 2838 HAS SOPS 2836 HAS SOUS 1291 HAS SOUPS 1290 WITH SCORE 1292.838
AT ITER 466 NEW BEST:: SOT 5487 SOS 2833 HAS SOPS 2831 HAS SOUS 1289 HAS SOUPS 1288 WITH SCORE 1290.833
AT ITER 472 NEW BEST:: SOT 5496 SOS 2834 HAS SOPS 2832 HAS SOUS 1288 HAS SOUPS 1287 WITH SCORE 1289.834
AT ITER 497 NEW BEST:: SOT 5492 SOS 2830 HAS SOPS 2828 HAS SOUS 1286 HAS SOUPS 1285 WITH SCORE 1287.83
AT ITER 498 NEW BEST:: SOT 5483 SOS 2817 HAS SOPS 2815 HAS SOUS 1268 HAS SOUPS 1267 WITH SCORE 1269.817
AT ITER 506 NEW BEST:: SOT 5463 SOS 2797 HAS SOPS 2795 HAS SOUS 1228 HAS SOUPS 1227 WITH SCORE 1229.797
AT ITER 509 NEW BEST:: SOT 5475 SOS 2799 HAS SOPS 2797 HAS SOUS 1216 HAS SOUPS 1215 WITH SCORE 1217.799
AT ITER 523 NEW BEST:: SOT 5469 SOS 2787 HAS SOPS 2785 HAS SOUS 1198 HAS SOUPS 1197 WITH SCORE 1199.787
AT ITER 526 NEW BEST:: SOT 5463 SOS 2782 HAS SOPS 2780 HAS SOUS 1193 HAS SOUPS 1192 WITH SCORE 1194.782
AT ITER 532 NEW BEST:: SOT 5447 SOS 2756 HAS SOPS 2754 HAS SOUS 1179 HAS SOUPS 1178 WITH SCORE 1180.756
AT ITER 535 NEW BEST:: SOT 5446 SOS 2757 HAS SOPS 2755 HAS SOUS 1178 HAS SOUPS 1177 WITH SCORE 1179.757
AT ITER 544 NEW BEST:: SOT 5440 SOS 2751 HAS SOPS 2749 HAS SOUS 1166 HAS SOUPS 1165 WITH SCORE 1167.751
AT ITER 545 NEW BEST:: SOT 5424 SOS 2735 HAS SOPS 2733 HAS SOUS 1158 HAS SOUPS 1157 WITH SCORE 1159.735
AT ITER 554 NEW BEST:: SOT 5439 SOS 2746 HAS SOPS 2744 HAS SOUS 1147 HAS SOUPS 1146 WITH SCORE 1148.746
AT ITER 555 NEW BEST:: SOT 5433 SOS 2748 HAS SOPS 2746 HAS SOUS 1143 HAS SOUPS 1142 WITH SCORE 1144.748
AT ITER 564 NEW BEST:: SOT 5441 SOS 2754 HAS SOPS 2752 HAS SOUS 1135 HAS SOUPS 1134 WITH SCORE 1136.754
AT ITER 569 NEW BEST:: SOT 5437 SOS 2743 HAS SOPS 2741 HAS SOUS 1120 HAS SOUPS 1119 WITH SCORE 1121.743
AT ITER 577 NEW BEST:: SOT 5432 SOS 2730 HAS SOPS 2728 HAS SOUS 1118 HAS SOUPS 1117 WITH SCORE 1119.73
AT ITER 584 NEW BEST:: SOT 5398 SOS 2718 HAS SOPS 2716 HAS SOUS 1106 HAS SOUPS 1105 WITH SCORE 1107.718
AT ITER 587 NEW BEST:: SOT 5394 SOS 2714 HAS SOPS 2712 HAS SOUS 1102 HAS SOUPS 1101 WITH SCORE 1103.714
AT ITER 589 NEW BEST:: SOT 5374 SOS 2674 HAS SOPS 2672 HAS SOUS 1082 HAS SOUPS 1081 WITH SCORE 1083.674
AT ITER 601 NEW BEST:: SOT 5367 SOS 2667 HAS SOPS 2665 HAS SOUS 1068 HAS SOUPS 1067 WITH SCORE 1069.667
AT ITER 613 NEW BEST:: SOT 5363 SOS 2663 HAS SOPS 2661 HAS SOUS 1060 HAS SOUPS 1059 WITH SCORE 1061.663
AT ITER 618 NEW BEST:: SOT 5360 SOS 2660 HAS SOPS 2658 HAS SOUS 1058 HAS SOUPS 1057 WITH SCORE 1059.66
AT ITER 636 NEW BEST:: SOT 5345 SOS 2636 HAS SOPS 2634 HAS SOUS 1028 HAS SOUPS 1027 WITH SCORE 1029.636
AT ITER 644 NEW BEST:: SOT 5329 SOS 2604 HAS SOPS 2602 HAS SOUS 996 HAS SOUPS 995 WITH SCORE 997.604
AT ITER 648 NEW BEST:: SOT 5321 SOS 2608 HAS SOPS 2606 HAS SOUS 992 HAS SOUPS 991 WITH SCORE 993.608
AT ITER 653 NEW BEST:: SOT 5317 SOS 2604 HAS SOPS 2602 HAS SOUS 984 HAS SOUPS 983 WITH SCORE 985.604
AT ITER 687 NEW BEST:: SOT 5314 SOS 2597 HAS SOPS 2595 HAS SOUS 978 HAS SOUPS 977 WITH SCORE 979.597
AT ITER 704 NEW BEST:: SOT 5308 SOS 2591 HAS SOPS 2589 HAS SOUS 970 HAS SOUPS 969 WITH SCORE 971.591
AT ITER 737 NEW BEST:: SOT 5311 SOS 2586 HAS SOPS 2584 HAS SOUS 967 HAS SOUPS 966 WITH SCORE 968.586
AT ITER 741 NEW BEST:: SOT 5310 SOS 2582 HAS SOPS 2580 HAS SOUS 962 HAS SOUPS 961 WITH SCORE 963.582
AT ITER 746 NEW BEST:: SOT 5297 SOS 2561 HAS SOPS 2559 HAS SOUS 958 HAS SOUPS 957 WITH SCORE 959.561
AT ITER 760 NEW BEST:: SOT 5290 SOS 2560 HAS SOPS 2558 HAS SOUS 953 HAS SOUPS 952 WITH SCORE 954.56
AT ITER 772 NEW BEST:: SOT 5293 SOS 2562 HAS SOPS 2560 HAS SOUS 951 HAS SOUPS 950 WITH SCORE 952.562
AT ITER 810 NEW BEST:: SOT 5297 SOS 2561 HAS SOPS 2559 HAS SOUS 951 HAS SOUPS 950 WITH SCORE 952.561
AT ITER 836 NEW BEST:: SOT 5295 SOS 2538 HAS SOPS 2536 HAS SOUS 947 HAS SOUPS 946 WITH SCORE 948.538
AT ITER 897 NEW BEST:: SOT 5277 SOS 2520 HAS SOPS 2518 HAS SOUS 947 HAS SOUPS 946 WITH SCORE 948.52
AT ITER 905 NEW BEST:: SOT 5275 SOS 2516 HAS SOPS 2514 HAS SOUS 940 HAS SOUPS 939 WITH SCORE 941.516
AT ITER 915 NEW BEST:: SOT 5273 SOS 2512 HAS SOPS 2510 HAS SOUS 938 HAS SOUPS 937 WITH SCORE 939.512
AT ITER 919 NEW BEST:: SOT 5269 SOS 2508 HAS SOPS 2506 HAS SOUS 930 HAS SOUPS 929 WITH SCORE 931.508
AT ITER 937 NEW BEST:: SOT 5274 SOS 2498 HAS SOPS 2496 HAS SOUS 930 HAS SOUPS 929 WITH SCORE 931.498
AT ITER 956 NEW BEST:: SOT 5276 SOS 2488 HAS SOPS 2486 HAS SOUS 920 HAS SOUPS 919 WITH SCORE 921.488
AT ITER 984 NEW BEST:: SOT 5284 SOS 2489 HAS SOPS 2487 HAS SOUS 915 HAS SOUPS 914 WITH SCORE 916.489
AT ITER 989 NEW BEST:: SOT 5284 SOS 2477 HAS SOPS 2475 HAS SOUS 907 HAS SOUPS 906 WITH SCORE 908.477
AT ITER 1001 NEW BEST:: SOT 5277 SOS 2478 HAS SOPS 2476 HAS SOUS 905 HAS SOUPS 904 WITH SCORE 906.478
AT ITER 1028 NEW BEST:: SOT 5275 SOS 2476 HAS SOPS 2474 HAS SOUS 903 HAS SOUPS 902 WITH SCORE 904.476
AT ITER 1043 NEW BEST:: SOT 5258 SOS 2460 HAS SOPS 2458 HAS SOUS 893 HAS SOUPS 892 WITH SCORE 894.46
AT ITER 1079 NEW BEST:: SOT 5265 SOS 2467 HAS SOPS 2465 HAS SOUS 886 HAS SOUPS 885 WITH SCORE 887.467
AT ITER 1111 NEW BEST:: SOT 5255 SOS 2456 HAS SOPS 2454 HAS SOUS 884 HAS SOUPS 883 WITH SCORE 885.456
AT ITER 1112 NEW BEST:: SOT 5243 SOS 2452 HAS SOPS 2450 HAS SOUS 884 HAS SOUPS 883 WITH SCORE 885.452
AT ITER 1127 NEW BEST:: SOT 5242 SOS 2450 HAS SOPS 2448 HAS SOUS 882 HAS SOUPS 881 WITH SCORE 883.45
AT ITER 1150 NEW BEST:: SOT 5234 SOS 2444 HAS SOPS 2442 HAS SOUS 876 HAS SOUPS 875 WITH SCORE 877.444
AT ITER 1151 NEW BEST:: SOT 5232 SOS 2460 HAS SOPS 2458 HAS SOUS 875 HAS SOUPS 874 WITH SCORE 876.46
AT ITER 1182 NEW BEST:: SOT 5232 SOS 2458 HAS SOPS 2456 HAS SOUS 875 HAS SOUPS 874 WITH SCORE 876.458
AT ITER 1194 NEW BEST:: SOT 5224 SOS 2450 HAS SOPS 2448 HAS SOUS 875 HAS SOUPS 874 WITH SCORE 876.45
AT ITER 1231 NEW BEST:: SOT 5210 SOS 2436 HAS SOPS 2434 HAS SOUS 847 HAS SOUPS 846 WITH SCORE 848.436
AT ITER 1265 NEW BEST:: SOT 5207 SOS 2442 HAS SOPS 2440 HAS SOUS 845 HAS SOUPS 844 WITH SCORE 846.442
AT ITER 1312 NEW BEST:: SOT 5205 SOS 2439 HAS SOPS 2437 HAS SOUS 843 HAS SOUPS 842 WITH SCORE 844.439
AT ITER 1360 NEW BEST:: SOT 5204 SOS 2438 HAS SOPS 2436 HAS SOUS 841 HAS SOUPS 840 WITH SCORE 842.438
AT ITER 1365 NEW BEST:: SOT 5202 SOS 2436 HAS SOPS 2434 HAS SOUS 837 HAS SOUPS 836 WITH SCORE 838.436
AT ITER 1378 NEW BEST:: SOT 5194 SOS 2422 HAS SOPS 2420 HAS SOUS 827 HAS SOUPS 826 WITH SCORE 828.422
AT ITER 1393 NEW BEST:: SOT 5194 SOS 2424 HAS SOPS 2422 HAS SOUS 825 HAS SOUPS 824 WITH SCORE 826.424
AT ITER 1418 NEW BEST:: SOT 5200 SOS 2424 HAS SOPS 2422 HAS SOUS 822 HAS SOUPS 821 WITH SCORE 823.424
AT ITER 1634 NEW BEST:: SOT 5195 SOS 2419 HAS SOPS 2417 HAS SOUS 818 HAS SOUPS 817 WITH SCORE 819.419
AT ITER 1639 NEW BEST:: SOT 5187 SOS 2411 HAS SOPS 2409 HAS SOUS 812 HAS SOUPS 811 WITH SCORE 813.411
AT ITER 1721 NEW BEST:: SOT 5183 SOS 2407 HAS SOPS 2405 HAS SOUS 808 HAS SOUPS 807 WITH SCORE 809.407
AT ITER 1725 NEW BEST:: SOT 5181 SOS 2403 HAS SOPS 2401 HAS SOUS 802 HAS SOUPS 801 WITH SCORE 803.403
AT ITER 1753 NEW BEST:: SOT 5181 SOS 2399 HAS SOPS 2397 HAS SOUS 799 HAS SOUPS 798 WITH SCORE 800.399
AT ITER 1767 NEW BEST:: SOT 5185 SOS 2392 HAS SOPS 2390 HAS SOUS 795 HAS SOUPS 794 WITH SCORE 796.392
AT ITER 1775 NEW BEST:: SOT 5185 SOS 2390 HAS SOPS 2388 HAS SOUS 794 HAS SOUPS 793 WITH SCORE 795.39
AT ITER 1808 NEW BEST:: SOT 5182 SOS 2387 HAS SOPS 2385 HAS SOUS 791 HAS SOUPS 790 WITH SCORE 792.387
AT ITER 1819 NEW BEST:: SOT 5183 SOS 2386 HAS SOPS 2384 HAS SOUS 789 HAS SOUPS 788 WITH SCORE 790.386
AT ITER 1931 NEW BEST:: SOT 5170 SOS 2387 HAS SOPS 2385 HAS SOUS 785 HAS SOUPS 784 WITH SCORE 786.387
AT ITER 1960 NEW BEST:: SOT 5169 SOS 2383 HAS SOPS 2381 HAS SOUS 784 HAS SOUPS 783 WITH SCORE 785.383
AT ITER 2040 NEW BEST:: SOT 5165 SOS 2385 HAS SOPS 2383 HAS SOUS 783 HAS SOUPS 782 WITH SCORE 784.385
AT ITER 2057 NEW BEST:: SOT 5166 SOS 2383 HAS SOPS 2381 HAS SOUS 783 HAS SOUPS 782 WITH SCORE 784.383
AT ITER 2061 NEW BEST:: SOT 5165 SOS 2381 HAS SOPS 2379 HAS SOUS 778 HAS SOUPS 777 WITH SCORE 779.381
AT ITER 2068 NEW BEST:: SOT 5164 SOS 2380 HAS SOPS 2378 HAS SOUS 777 HAS SOUPS 776 WITH SCORE 778.38
AT ITER 2080 NEW BEST:: SOT 5165 SOS 2379 HAS SOPS 2377 HAS SOUS 777 HAS SOUPS 776 WITH SCORE 778.379
AT ITER 2088 NEW BEST:: SOT 5165 SOS 2361 HAS SOPS 2359 HAS SOUS 765 HAS SOUPS 764 WITH SCORE 766.361
AT ITER 2129 NEW BEST:: SOT 5164 SOS 2360 HAS SOPS 2358 HAS SOUS 763 HAS SOUPS 762 WITH SCORE 764.36
AT ITER 2161 NEW BEST:: SOT 5173 SOS 2342 HAS SOPS 2340 HAS SOUS 763 HAS SOUPS 762 WITH SCORE 764.342
AT ITER 2168 NEW BEST:: SOT 5169 SOS 2378 HAS SOPS 2337 HAS SOUS 764 HAS SOUPS 761 WITH SCORE 763.378
AT ITER 2172 NEW BEST:: SOT 5171 SOS 2370 HAS SOPS 2329 HAS SOUS 754 HAS SOUPS 751 WITH SCORE 753.37
AT ITER 2214 NEW BEST:: SOT 5171 SOS 2369 HAS SOPS 2328 HAS SOUS 747 HAS SOUPS 744 WITH SCORE 746.369
AT ITER 2254 NEW BEST:: SOT 5173 SOS 2369 HAS SOPS 2328 HAS SOUS 745 HAS SOUPS 742 WITH SCORE 744.369
AT ITER 2292 NEW BEST:: SOT 5173 SOS 2367 HAS SOPS 2326 HAS SOUS 744 HAS SOUPS 741 WITH SCORE 743.367
AT ITER 2353 NEW BEST:: SOT 5185 SOS 2377 HAS SOPS 2336 HAS SOUS 742 HAS SOUPS 739 WITH SCORE 741.377
AT ITER 2377 NEW BEST:: SOT 5187 SOS 2367 HAS SOPS 2326 HAS SOUS 735 HAS SOUPS 732 WITH SCORE 734.367
AT ITER 2397 NEW BEST:: SOT 5187 SOS 2361 HAS SOPS 2320 HAS SOUS 732 HAS SOUPS 729 WITH SCORE 731.361
AT ITER 2473 NEW BEST:: SOT 5166 SOS 2377 HAS SOPS 2336 HAS SOUS 728 HAS SOUPS 725 WITH SCORE 727.377
AT ITER 2482 NEW BEST:: SOT 5165 SOS 2376 HAS SOPS 2335 HAS SOUS 728 HAS SOUPS 725 WITH SCORE 727.376
AT ITER 2516 NEW BEST:: SOT 5163 SOS 2374 HAS SOPS 2333 HAS SOUS 724 HAS SOUPS 721 WITH SCORE 723.374
AT ITER 2581 NEW BEST:: SOT 5163 SOS 2373 HAS SOPS 2332 HAS SOUS 722 HAS SOUPS 719 WITH SCORE 721.373
AT ITER 2582 NEW BEST:: SOT 5162 SOS 2372 HAS SOPS 2331 HAS SOUS 721 HAS SOUPS 718 WITH SCORE 720.372
AT ITER 2670 NEW BEST:: SOT 5155 SOS 2373 HAS SOPS 2332 HAS SOUS 720 HAS SOUPS 717 WITH SCORE 719.373
AT ITER 2727 NEW BEST:: SOT 5152 SOS 2371 HAS SOPS 2330 HAS SOUS 720 HAS SOUPS 717 WITH SCORE 719.371
AT ITER 2871 NEW BEST:: SOT 5152 SOS 2371 HAS SOPS 2330 HAS SOUS 716 HAS SOUPS 713 WITH SCORE 715.371
AT ITER 2913 NEW BEST:: SOT 5140 SOS 2359 HAS SOPS 2318 HAS SOUS 712 HAS SOUPS 709 WITH SCORE 711.359
AT ITER 3001 NEW BEST:: SOT 5137 SOS 2355 HAS SOPS 2314 HAS SOUS 712 HAS SOUPS 709 WITH SCORE 711.355
AT ITER 3036 NEW BEST:: SOT 5136 SOS 2354 HAS SOPS 2313 HAS SOUS 711 HAS SOUPS 708 WITH SCORE 710.354
AT ITER 3093 NEW BEST:: SOT 5128 SOS 2351 HAS SOPS 2310 HAS SOUS 702 HAS SOUPS 699 WITH SCORE 701.351
AT ITER 3113 NEW BEST:: SOT 5125 SOS 2347 HAS SOPS 2306 HAS SOUS 698 HAS SOUPS 695 WITH SCORE 697.347
AT ITER 3141 NEW BEST:: SOT 5127 SOS 2346 HAS SOPS 2305 HAS SOUS 698 HAS SOUPS 695 WITH SCORE 697.346
AT ITER 3280 NEW BEST:: SOT 5123 SOS 2342 HAS SOPS 2301 HAS SOUS 696 HAS SOUPS 693 WITH SCORE 695.342
AT ITER 3301 NEW BEST:: SOT 5116 SOS 2330 HAS SOPS 2289 HAS SOUS 684 HAS SOUPS 681 WITH SCORE 683.33
AT ITER 3331 NEW BEST:: SOT 5120 SOS 2332 HAS SOPS 2291 HAS SOUS 682 HAS SOUPS 679 WITH SCORE 681.332
AT ITER 3345 NEW BEST:: SOT 5119 SOS 2331 HAS SOPS 2290 HAS SOUS 680 HAS SOUPS 677 WITH SCORE 679.331
AT ITER 3346 NEW BEST:: SOT 5118 SOS 2330 HAS SOPS 2289 HAS SOUS 680 HAS SOUPS 677 WITH SCORE 679.33
AT ITER 3355 NEW BEST:: SOT 5114 SOS 2326 HAS SOPS 2285 HAS SOUS 677 HAS SOUPS 674 WITH SCORE 676.326
AT ITER 3375 NEW BEST:: SOT 5113 SOS 2325 HAS SOPS 2284 HAS SOUS 677 HAS SOUPS 674 WITH SCORE 676.325
AT ITER 3419 NEW BEST:: SOT 5113 SOS 2321 HAS SOPS 2280 HAS SOUS 675 HAS SOUPS 672 WITH SCORE 674.321
AT ITER 3423 NEW BEST:: SOT 5109 SOS 2317 HAS SOPS 2276 HAS SOUS 667 HAS SOUPS 664 WITH SCORE 666.317
AT ITER 3497 NEW BEST:: SOT 5106 SOS 2314 HAS SOPS 2273 HAS SOUS 661 HAS SOUPS 658 WITH SCORE 660.314
AT ITER 3611 NEW BEST:: SOT 5103 SOS 2311 HAS SOPS 2270 HAS SOUS 655 HAS SOUPS 652 WITH SCORE 654.311
AT ITER 3659 NEW BEST:: SOT 5102 SOS 2310 HAS SOPS 2269 HAS SOUS 654 HAS SOUPS 651 WITH SCORE 653.31
AT ITER 3762 NEW BEST:: SOT 5099 SOS 2309 HAS SOPS 2268 HAS SOUS 652 HAS SOUPS 649 WITH SCORE 651.309
AT ITER 3802 NEW BEST:: SOT 5096 SOS 2304 HAS SOPS 2263 HAS SOUS 652 HAS SOUPS 649 WITH SCORE 651.304
AT ITER 3847 NEW BEST:: SOT 5096 SOS 2304 HAS SOPS 2263 HAS SOUS 651 HAS SOUPS 648 WITH SCORE 650.304
AT ITER 3944 NEW BEST:: SOT 5096 SOS 2303 HAS SOPS 2262 HAS SOUS 648 HAS SOUPS 645 WITH SCORE 647.303
AT ITER 3948 NEW BEST:: SOT 5094 SOS 2301 HAS SOPS 2260 HAS SOUS 646 HAS SOUPS 643 WITH SCORE 645.301
AT ITER 3994 NEW BEST:: SOT 5090 SOS 2299 HAS SOPS 2258 HAS SOUS 642 HAS SOUPS 639 WITH SCORE 641.299
AT ITER 4122 NEW BEST:: SOT 5088 SOS 2298 HAS SOPS 2257 HAS SOUS 640 HAS SOUPS 637 WITH SCORE 639.298
AT ITER 4219 NEW BEST:: SOT 5089 SOS 2299 HAS SOPS 2258 HAS SOUS 639 HAS SOUPS 636 WITH SCORE 638.299
AT ITER 4322 NEW BEST:: SOT 5089 SOS 2295 HAS SOPS 2254 HAS SOUS 639 HAS SOUPS 636 WITH SCORE 638.295
AT ITER 4440 NEW BEST:: SOT 5086 SOS 2292 HAS SOPS 2251 HAS SOUS 639 HAS SOUPS 636 WITH SCORE 638.292
AT ITER 4523 NEW BEST:: SOT 5086 SOS 2291 HAS SOPS 2250 HAS SOUS 639 HAS SOUPS 636 WITH SCORE 638.291
AT ITER 4559 NEW BEST:: SOT 5085 SOS 2289 HAS SOPS 2267 HAS SOUS 635 HAS SOUPS 633 WITH SCORE 635.289
AT ITER 4655 NEW BEST:: SOT 5084 SOS 2288 HAS SOPS 2266 HAS SOUS 633 HAS SOUPS 631 WITH SCORE 633.288
AT ITER 4731 NEW BEST:: SOT 5089 SOS 2292 HAS SOPS 2270 HAS SOUS 631 HAS SOUPS 629 WITH SCORE 631.292
AT ITER 4873 NEW BEST:: SOT 5085 SOS 2290 HAS SOPS 2268 HAS SOUS 627 HAS SOUPS 625 WITH SCORE 627.29
AT ITER 4922 NEW BEST:: SOT 5088 SOS 2287 HAS SOPS 2265 HAS SOUS 627 HAS SOUPS 625 WITH SCORE 627.287
AT ITER 4961 NEW BEST:: SOT 5087 SOS 2286 HAS SOPS 2264 HAS SOUS 625 HAS SOUPS 623 WITH SCORE 625.286
AT ITER 4980 NEW BEST:: SOT 5083 SOS 2288 HAS SOPS 2266 HAS SOUS 623 HAS SOUPS 621 WITH SCORE 623.288
AT ITER 5029 NEW BEST:: SOT 5082 SOS 2287 HAS SOPS 2265 HAS SOUS 621 HAS SOUPS 619 WITH SCORE 621.287
AT ITER 5058 NEW BEST:: SOT 5080 SOS 2287 HAS SOPS 2265 HAS SOUS 620 HAS SOUPS 618 WITH SCORE 620.287
AT ITER 5145 NEW BEST:: SOT 5083 SOS 2274 HAS SOPS 2252 HAS SOUS 619 HAS SOUPS 617 WITH SCORE 619.274
AT ITER 5308 NEW BEST:: SOT 5083 SOS 2273 HAS SOPS 2251 HAS SOUS 618 HAS SOUPS 616 WITH SCORE 618.273
AT ITER 5367 NEW BEST:: SOT 5079 SOS 2271 HAS SOPS 2249 HAS SOUS 615 HAS SOUPS 613 WITH SCORE 615.271
AT ITER 5505 NEW BEST:: SOT 5079 SOS 2268 HAS SOPS 2246 HAS SOUS 612 HAS SOUPS 610 WITH SCORE 612.268
AT ITER 5688 NEW BEST:: SOT 5083 SOS 2267 HAS SOPS 2245 HAS SOUS 612 HAS SOUPS 610 WITH SCORE 612.267
AT ITER 5733 NEW BEST:: SOT 5082 SOS 2266 HAS SOPS 2244 HAS SOUS 611 HAS SOUPS 609 WITH SCORE 611.266
AT ITER 5844 NEW BEST:: SOT 5081 SOS 2265 HAS SOPS 2243 HAS SOUS 608 HAS SOUPS 606 WITH SCORE 608.265
AT ITER 5943 NEW BEST:: SOT 5078 SOS 2262 HAS SOPS 2240 HAS SOUS 604 HAS SOUPS 602 WITH SCORE 604.262
AT ITER 5980 NEW BEST:: SOT 5076 SOS 2260 HAS SOPS 2238 HAS SOUS 603 HAS SOUPS 601 WITH SCORE 603.26
AT ITER 6050 NEW BEST:: SOT 5077 SOS 2259 HAS SOPS 2237 HAS SOUS 601 HAS SOUPS 599 WITH SCORE 601.259
AT ITER 6111 NEW BEST:: SOT 5074 SOS 2256 HAS SOPS 2254 HAS SOUS 599 HAS SOUPS 598 WITH SCORE 600.256
AT ITER 6159 NEW BEST:: SOT 5074 SOS 2255 HAS SOPS 2253 HAS SOUS 597 HAS SOUPS 596 WITH SCORE 598.255
AT ITER 6232 NEW BEST:: SOT 5076 SOS 2257 HAS SOPS 2255 HAS SOUS 595 HAS SOUPS 594 WITH SCORE 596.257
AT ITER 6297 NEW BEST:: SOT 5075 SOS 2257 HAS SOPS 2255 HAS SOUS 594 HAS SOUPS 593 WITH SCORE 595.257
AT ITER 6448 NEW BEST:: SOT 5070 SOS 2253 HAS SOPS 2251 HAS SOUS 592 HAS SOUPS 591 WITH SCORE 593.253
AT ITER 6592 NEW BEST:: SOT 5070 SOS 2250 HAS SOPS 2248 HAS SOUS 590 HAS SOUPS 589 WITH SCORE 591.25
AT ITER 6738 NEW BEST:: SOT 5073 SOS 2247 HAS SOPS 2245 HAS SOUS 590 HAS SOUPS 589 WITH SCORE 591.247
AT ITER 6877 NEW BEST:: SOT 5069 SOS 2241 HAS SOPS 2239 HAS SOUS 587 HAS SOUPS 586 WITH SCORE 588.241
AT ITER 6976 NEW BEST:: SOT 5066 SOS 2242 HAS SOPS 2240 HAS SOUS 586 HAS SOUPS 585 WITH SCORE 587.242
AT ITER 7117 NEW BEST:: SOT 5065 SOS 2241 HAS SOPS 2239 HAS SOUS 584 HAS SOUPS 583 WITH SCORE 585.241
AT ITER 7295 NEW BEST:: SOT 5064 SOS 2242 HAS SOPS 2240 HAS SOUS 583 HAS SOUPS 582 WITH SCORE 584.242
AT ITER 7408 NEW BEST:: SOT 5063 SOS 2243 HAS SOPS 2241 HAS SOUS 582 HAS SOUPS 581 WITH SCORE 583.243
AT ITER 7536 NEW BEST:: SOT 5058 SOS 2242 HAS SOPS 2240 HAS SOUS 580 HAS SOUPS 579 WITH SCORE 581.242
AT ITER 7943 NEW BEST:: SOT 5059 SOS 2241 HAS SOPS 2239 HAS SOUS 580 HAS SOUPS 579 WITH SCORE 581.241
AT ITER 7996 NEW BEST:: SOT 5056 SOS 2240 HAS SOPS 2238 HAS SOUS 578 HAS SOUPS 577 WITH SCORE 579.24
AT ITER 7999 NEW BEST:: SOT 5054 SOS 2238 HAS SOPS 2236 HAS SOUS 574 HAS SOUPS 573 WITH SCORE 575.238
AT ITER 8175 NEW BEST:: SOT 5048 SOS 2232 HAS SOPS 2230 HAS SOUS 568 HAS SOUPS 567 WITH SCORE 569.232
AT ITER 8187 NEW BEST:: SOT 5050 SOS 2231 HAS SOPS 2229 HAS SOUS 568 HAS SOUPS 567 WITH SCORE 569.231
AT ITER 8774 NEW BEST:: SOT 5050 SOS 2230 HAS SOPS 2228 HAS SOUS 568 HAS SOUPS 567 WITH SCORE 569.23
AT ITER 8789 NEW BEST:: SOT 5045 SOS 2229 HAS SOPS 2227 HAS SOUS 568 HAS SOUPS 567 WITH SCORE 569.229
AT ITER 8904 NEW BEST:: SOT 5040 SOS 2228 HAS SOPS 2226 HAS SOUS 568 HAS SOUPS 567 WITH SCORE 569.228
AT ITER 9338 NEW BEST:: SOT 5039 SOS 2227 HAS SOPS 2225 HAS SOUS 567 HAS SOUPS 566 WITH SCORE 568.227
AT ITER 9388 NEW BEST:: SOT 5038 SOS 2228 HAS SOPS 2226 HAS SOUS 566 HAS SOUPS 565 WITH SCORE 567.228
AT ITER 9517 NEW BEST:: SOT 5039 SOS 2227 HAS SOPS 2225 HAS SOUS 564 HAS SOUPS 563 WITH SCORE 565.227
AT ITER 9750 NEW BEST:: SOT 5038 SOS 2226 HAS SOPS 2224 HAS SOUS 562 HAS SOUPS 561 WITH SCORE 563.226
STATE_SPACE STATES 6590096197853 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 122998857366062 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678444206860

--------------------
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="GPUForwardProgress-PT-20a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is GPUForwardProgress-PT-20a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840341900072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-20a.tgz
mv GPUForwardProgress-PT-20a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;