fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508300249
Last Updated
Jun 28, 2020

About the Execution of smart for AirplaneLD-PT-0020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.180 12051.00 12030.00 0.00 3.0830E+0005 1.3391E+0006 1 68 normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508300249.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AirplaneLD-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300249
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 12K Mar 24 10:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Mar 24 10:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K Mar 24 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 14K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 32K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K Mar 24 07:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 24 07:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 24 06:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Mar 24 06:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 169K Mar 24 05:37 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 1589091599687

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0020
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 159 places, 168 transitions, 638 arcs.
AT ITER 0 NEW BEST:: SOT 20334 SOS 10051 HAS SOPS 8694 HAS SOUS 7268 HAS SOUPS 5914 WITH SCORE 5924.051
AT ITER 1 NEW BEST:: SOT 20301 SOS 9985 HAS SOPS 8661 HAS SOUS 7202 HAS SOUPS 5881 WITH SCORE 5890.985
AT ITER 4 NEW BEST:: SOT 20267 SOS 9905 HAS SOPS 8627 HAS SOUS 7134 HAS SOUPS 5859 WITH SCORE 5868.905
AT ITER 9 NEW BEST:: SOT 20242 SOS 9905 HAS SOPS 8627 HAS SOUS 7116 HAS SOUPS 5841 WITH SCORE 5850.905
AT ITER 16 NEW BEST:: SOT 20256 SOS 9661 HAS SOPS 7895 HAS SOUS 7130 HAS SOUPS 5367 WITH SCORE 5376.661
AT ITER 17 NEW BEST:: SOT 20196 SOS 9626 HAS SOPS 7860 HAS SOUS 7122 HAS SOUPS 5359 WITH SCORE 5368.626
AT ITER 18 NEW BEST:: SOT 20231 SOS 9701 HAS SOPS 7828 HAS SOUS 7208 HAS SOUPS 5338 WITH SCORE 5347.701
AT ITER 21 NEW BEST:: SOT 20170 SOS 9667 HAS SOPS 7794 HAS SOUS 7147 HAS SOUPS 5277 WITH SCORE 5286.667
AT ITER 22 NEW BEST:: SOT 20166 SOS 9668 HAS SOPS 7791 HAS SOUS 7148 HAS SOUPS 5274 WITH SCORE 5283.668
AT ITER 26 NEW BEST:: SOT 20104 SOS 9630 HAS SOPS 7753 HAS SOUS 7089 HAS SOUPS 5215 WITH SCORE 5224.63
AT ITER 32 NEW BEST:: SOT 20061 SOS 10005 HAS SOPS 7514 HAS SOUS 6511 HAS SOUPS 4637 WITH SCORE 4647.005
AT ITER 43 NEW BEST:: SOT 20061 SOS 10089 HAS SOPS 7514 HAS SOUS 6511 HAS SOUPS 4598 WITH SCORE 4608.089
AT ITER 45 NEW BEST:: SOT 20048 SOS 10069 HAS SOPS 7501 HAS SOUS 6497 HAS SOUPS 4591 WITH SCORE 4601.069
AT ITER 49 NEW BEST:: SOT 19992 SOS 10041 HAS SOPS 7493 HAS SOUS 6441 HAS SOUPS 4555 WITH SCORE 4565.041
AT ITER 53 NEW BEST:: SOT 19007 SOS 9056 HAS SOPS 6508 HAS SOUS 5454 HAS SOUPS 3568 WITH SCORE 3577.056
AT ITER 79 NEW BEST:: SOT 18985 SOS 8990 HAS SOPS 6486 HAS SOUS 5432 HAS SOUPS 3568 WITH SCORE 3576.99
AT ITER 81 NEW BEST:: SOT 18987 SOS 9028 HAS SOPS 6418 HAS SOUS 5413 HAS SOUPS 3500 WITH SCORE 3509.028
AT ITER 94 NEW BEST:: SOT 18765 SOS 9707 HAS SOPS 7097 HAS SOUS 5179 HAS SOUPS 3266 WITH SCORE 3275.707
AT ITER 99 NEW BEST:: SOT 18780 SOS 9711 HAS SOPS 7085 HAS SOUS 5194 HAS SOUPS 3265 WITH SCORE 3274.711
AT ITER 106 NEW BEST:: SOT 18741 SOS 9738 HAS SOPS 7112 HAS SOUS 5155 HAS SOUPS 3226 WITH SCORE 3235.738
AT ITER 108 NEW BEST:: SOT 18582 SOS 9591 HAS SOPS 7010 HAS SOUS 5000 HAS SOUPS 3116 WITH SCORE 3125.591
AT ITER 122 NEW BEST:: SOT 17974 SOS 9184 HAS SOPS 7253 HAS SOUS 4938 HAS SOUPS 3114 WITH SCORE 3123.184
AT ITER 138 NEW BEST:: SOT 17974 SOS 9161 HAS SOPS 7253 HAS SOUS 4912 HAS SOUPS 3111 WITH SCORE 3120.161
AT ITER 140 NEW BEST:: SOT 17974 SOS 9134 HAS SOPS 7213 HAS SOUS 4903 HAS SOUPS 3100 WITH SCORE 3109.134
AT ITER 144 NEW BEST:: SOT 17976 SOS 9130 HAS SOPS 7179 HAS SOUS 4905 HAS SOUPS 3072 WITH SCORE 3081.13
AT ITER 157 NEW BEST:: SOT 17992 SOS 9245 HAS SOPS 7195 HAS SOUS 4938 HAS SOUPS 3068 WITH SCORE 3077.245
AT ITER 187 NEW BEST:: SOT 17912 SOS 9112 HAS SOPS 7116 HAS SOUS 4831 HAS SOUPS 3014 WITH SCORE 3023.112
AT ITER 199 NEW BEST:: SOT 17912 SOS 9168 HAS SOPS 7116 HAS SOUS 4831 HAS SOUPS 2986 WITH SCORE 2995.168
AT ITER 208 NEW BEST:: SOT 17908 SOS 9160 HAS SOPS 7116 HAS SOUS 4827 HAS SOUPS 2986 WITH SCORE 2995.16
AT ITER 218 NEW BEST:: SOT 17890 SOS 9115 HAS SOPS 7107 HAS SOUS 4809 HAS SOUPS 2986 WITH SCORE 2995.115
AT ITER 233 NEW BEST:: SOT 17872 SOS 9079 HAS SOPS 7089 HAS SOUS 4791 HAS SOUPS 2986 WITH SCORE 2995.079
AT ITER 245 NEW BEST:: SOT 17853 SOS 9074 HAS SOPS 7092 HAS SOUS 4772 HAS SOUPS 2975 WITH SCORE 2984.074
AT ITER 257 NEW BEST:: SOT 17829 SOS 9026 HAS SOPS 7068 HAS SOUS 4748 HAS SOUPS 2975 WITH SCORE 2984.026
AT ITER 258 NEW BEST:: SOT 17804 SOS 9015 HAS SOPS 7061 HAS SOUS 4723 HAS SOUPS 2954 WITH SCORE 2963.015
AT ITER 263 NEW BEST:: SOT 17747 SOS 8909 HAS SOPS 7008 HAS SOUS 4658 HAS SOUPS 2934 WITH SCORE 2942.909
AT ITER 286 NEW BEST:: SOT 17664 SOS 8835 HAS SOPS 6968 HAS SOUS 4590 HAS SOUPS 2900 WITH SCORE 2908.835
AT ITER 289 NEW BEST:: SOT 17594 SOS 8730 HAS SOPS 6898 HAS SOUS 4485 HAS SOUPS 2830 WITH SCORE 2838.73
AT ITER 290 NEW BEST:: SOT 17590 SOS 8726 HAS SOPS 6890 HAS SOUS 4477 HAS SOUPS 2822 WITH SCORE 2830.726
AT ITER 294 NEW BEST:: SOT 17574 SOS 8710 HAS SOPS 6874 HAS SOUS 4461 HAS SOUPS 2806 WITH SCORE 2814.71
AT ITER 295 NEW BEST:: SOT 17504 SOS 8643 HAS SOPS 6833 HAS SOUS 4391 HAS SOUPS 2762 WITH SCORE 2770.643
AT ITER 305 NEW BEST:: SOT 17480 SOS 8619 HAS SOPS 6809 HAS SOUS 4389 HAS SOUPS 2760 WITH SCORE 2768.619
AT ITER 308 NEW BEST:: SOT 17458 SOS 8713 HAS SOPS 6787 HAS SOUS 4381 HAS SOUPS 2680 WITH SCORE 2688.713
AT ITER 311 NEW BEST:: SOT 17458 SOS 8713 HAS SOPS 6787 HAS SOUS 4380 HAS SOUPS 2679 WITH SCORE 2687.713
AT ITER 326 NEW BEST:: SOT 17323 SOS 8580 HAS SOPS 6654 HAS SOUS 4294 HAS SOUPS 2593 WITH SCORE 2601.58
AT ITER 329 NEW BEST:: SOT 17317 SOS 8574 HAS SOPS 6648 HAS SOUS 4288 HAS SOUPS 2587 WITH SCORE 2595.574
AT ITER 334 NEW BEST:: SOT 17304 SOS 8548 HAS SOPS 6635 HAS SOUS 4275 HAS SOUPS 2587 WITH SCORE 2595.548
AT ITER 335 NEW BEST:: SOT 17300 SOS 8544 HAS SOPS 6631 HAS SOUS 4267 HAS SOUPS 2579 WITH SCORE 2587.544
AT ITER 337 NEW BEST:: SOT 17280 SOS 8524 HAS SOPS 6611 HAS SOUS 4227 HAS SOUPS 2539 WITH SCORE 2547.524
AT ITER 338 NEW BEST:: SOT 17373 SOS 8266 HAS SOPS 6191 HAS SOUS 4158 HAS SOUPS 2470 WITH SCORE 2478.266
AT ITER 342 NEW BEST:: SOT 17287 SOS 9700 HAS SOPS 7659 HAS SOUS 4099 HAS SOUPS 2445 WITH SCORE 2454.7
AT ITER 345 NEW BEST:: SOT 17281 SOS 9672 HAS SOPS 7653 HAS SOUS 4087 HAS SOUPS 2433 WITH SCORE 2442.672
AT ITER 347 NEW BEST:: SOT 17281 SOS 9552 HAS SOPS 7530 HAS SOUS 4084 HAS SOUPS 2427 WITH SCORE 2436.552
AT ITER 362 NEW BEST:: SOT 17237 SOS 9434 HAS SOPS 7486 HAS SOUS 4019 HAS SOUPS 2415 WITH SCORE 2424.434
AT ITER 386 NEW BEST:: SOT 17226 SOS 9423 HAS SOPS 7475 HAS SOUS 3997 HAS SOUPS 2393 WITH SCORE 2402.423
AT ITER 398 NEW BEST:: SOT 17219 SOS 9422 HAS SOPS 7468 HAS SOUS 3990 HAS SOUPS 2380 WITH SCORE 2389.422
AT ITER 399 NEW BEST:: SOT 17219 SOS 8587 HAS SOPS 6589 HAS SOUS 3968 HAS SOUPS 2336 WITH SCORE 2344.587
AT ITER 417 NEW BEST:: SOT 17212 SOS 8580 HAS SOPS 6582 HAS SOUS 3954 HAS SOUPS 2322 WITH SCORE 2330.58
AT ITER 425 NEW BEST:: SOT 17212 SOS 8580 HAS SOPS 6582 HAS SOUS 3946 HAS SOUPS 2314 WITH SCORE 2322.58
AT ITER 433 NEW BEST:: SOT 17212 SOS 8577 HAS SOPS 6582 HAS SOUS 3943 HAS SOUPS 2314 WITH SCORE 2322.577
AT ITER 445 NEW BEST:: SOT 17208 SOS 8569 HAS SOPS 6578 HAS SOUS 3935 HAS SOUPS 2310 WITH SCORE 2318.569
AT ITER 464 NEW BEST:: SOT 17205 SOS 8566 HAS SOPS 6575 HAS SOUS 3932 HAS SOUPS 2307 WITH SCORE 2315.566
AT ITER 471 NEW BEST:: SOT 17159 SOS 8474 HAS SOPS 6529 HAS SOUS 3886 HAS SOUPS 2284 WITH SCORE 2292.474
AT ITER 472 NEW BEST:: SOT 17137 SOS 8403 HAS SOPS 6507 HAS SOUS 3842 HAS SOUPS 2272 WITH SCORE 2280.403
AT ITER 475 NEW BEST:: SOT 17137 SOS 8393 HAS SOPS 6507 HAS SOUS 3842 HAS SOUPS 2272 WITH SCORE 2280.393
AT ITER 480 NEW BEST:: SOT 17126 SOS 8371 HAS SOPS 6485 HAS SOUS 3820 HAS SOUPS 2250 WITH SCORE 2258.371
AT ITER 481 NEW BEST:: SOT 17118 SOS 8363 HAS SOPS 6477 HAS SOUS 3815 HAS SOUPS 2245 WITH SCORE 2253.363
AT ITER 502 NEW BEST:: SOT 17125 SOS 8375 HAS SOPS 6479 HAS SOUS 3819 HAS SOUPS 2239 WITH SCORE 2247.375
AT ITER 509 NEW BEST:: SOT 17090 SOS 8376 HAS SOPS 6505 HAS SOUS 3799 HAS SOUPS 2224 WITH SCORE 2232.376
AT ITER 515 NEW BEST:: SOT 17125 SOS 8411 HAS SOPS 6509 HAS SOUS 3796 HAS SOUPS 2221 WITH SCORE 2229.411
AT ITER 533 NEW BEST:: SOT 17125 SOS 8403 HAS SOPS 6509 HAS SOUS 3796 HAS SOUPS 2221 WITH SCORE 2229.403
AT ITER 558 NEW BEST:: SOT 17125 SOS 8403 HAS SOPS 6509 HAS SOUS 3788 HAS SOUPS 2213 WITH SCORE 2221.403
AT ITER 565 NEW BEST:: SOT 17125 SOS 8403 HAS SOPS 6509 HAS SOUS 3787 HAS SOUPS 2212 WITH SCORE 2220.403
AT ITER 570 NEW BEST:: SOT 17124 SOS 8402 HAS SOPS 6508 HAS SOUS 3785 HAS SOUPS 2210 WITH SCORE 2218.402
AT ITER 572 NEW BEST:: SOT 17124 SOS 8368 HAS SOPS 6508 HAS SOUS 3785 HAS SOUPS 2210 WITH SCORE 2218.368
AT ITER 580 NEW BEST:: SOT 17108 SOS 8352 HAS SOPS 6492 HAS SOUS 3753 HAS SOUPS 2178 WITH SCORE 2186.352
AT ITER 600 NEW BEST:: SOT 17098 SOS 8342 HAS SOPS 6482 HAS SOUS 3733 HAS SOUPS 2158 WITH SCORE 2166.342
AT ITER 603 NEW BEST:: SOT 17095 SOS 8333 HAS SOPS 6479 HAS SOUS 3721 HAS SOUPS 2152 WITH SCORE 2160.333
AT ITER 638 NEW BEST:: SOT 17129 SOS 8417 HAS SOPS 6493 HAS SOUS 3739 HAS SOUPS 2140 WITH SCORE 2148.417
AT ITER 640 NEW BEST:: SOT 17107 SOS 8395 HAS SOPS 6447 HAS SOUS 3695 HAS SOUPS 2096 WITH SCORE 2104.395
AT ITER 701 NEW BEST:: SOT 17107 SOS 8391 HAS SOPS 6447 HAS SOUS 3695 HAS SOUPS 2096 WITH SCORE 2104.391
AT ITER 730 NEW BEST:: SOT 17082 SOS 8483 HAS SOPS 6539 HAS SOUS 3683 HAS SOUPS 2084 WITH SCORE 2092.483
AT ITER 734 NEW BEST:: SOT 16898 SOS 10383 HAS SOPS 8477 HAS SOUS 3542 HAS SOUPS 1981 WITH SCORE 1991.383
AT ITER 757 NEW BEST:: SOT 16898 SOS 10382 HAS SOPS 8477 HAS SOUS 3542 HAS SOUPS 1981 WITH SCORE 1991.382
AT ITER 761 NEW BEST:: SOT 16898 SOS 10284 HAS SOPS 8377 HAS SOUS 3542 HAS SOUPS 1979 WITH SCORE 1989.284
AT ITER 780 NEW BEST:: SOT 16896 SOS 10281 HAS SOPS 8375 HAS SOUS 3539 HAS SOUPS 1977 WITH SCORE 1987.281
AT ITER 800 NEW BEST:: SOT 16899 SOS 10214 HAS SOPS 8304 HAS SOUS 3538 HAS SOUPS 1972 WITH SCORE 1982.214
AT ITER 824 NEW BEST:: SOT 17127 SOS 10178 HAS SOPS 8017 HAS SOUS 3766 HAS SOUPS 1949 WITH SCORE 1959.178
AT ITER 837 NEW BEST:: SOT 17156 SOS 10253 HAS SOPS 8034 HAS SOUS 3798 HAS SOUPS 1946 WITH SCORE 1956.253
AT ITER 844 NEW BEST:: SOT 17156 SOS 10249 HAS SOPS 8034 HAS SOUS 3798 HAS SOUPS 1946 WITH SCORE 1956.249
AT ITER 874 NEW BEST:: SOT 17148 SOS 10241 HAS SOPS 8018 HAS SOUS 3782 HAS SOUPS 1922 WITH SCORE 1932.241
AT ITER 891 NEW BEST:: SOT 17148 SOS 10236 HAS SOPS 8018 HAS SOUS 3782 HAS SOUPS 1922 WITH SCORE 1932.236
AT ITER 892 NEW BEST:: SOT 17148 SOS 10228 HAS SOPS 8018 HAS SOUS 3779 HAS SOUPS 1922 WITH SCORE 1932.228
AT ITER 893 NEW BEST:: SOT 17200 SOS 10344 HAS SOPS 8049 HAS SOUS 3819 HAS SOUPS 1919 WITH SCORE 1929.344
AT ITER 896 NEW BEST:: SOT 17200 SOS 10457 HAS SOPS 8049 HAS SOUS 3819 HAS SOUPS 1893 WITH SCORE 1903.457
AT ITER 902 NEW BEST:: SOT 17200 SOS 10457 HAS SOPS 8049 HAS SOUS 3816 HAS SOUPS 1890 WITH SCORE 1900.457
AT ITER 925 NEW BEST:: SOT 17225 SOS 10482 HAS SOPS 8058 HAS SOUS 3816 HAS SOUPS 1874 WITH SCORE 1884.482
AT ITER 938 NEW BEST:: SOT 17226 SOS 10489 HAS SOPS 8059 HAS SOUS 3817 HAS SOUPS 1869 WITH SCORE 1879.489
AT ITER 943 NEW BEST:: SOT 17226 SOS 10483 HAS SOPS 8059 HAS SOUS 3811 HAS SOUPS 1869 WITH SCORE 1879.483
AT ITER 960 NEW BEST:: SOT 17224 SOS 10477 HAS SOPS 8044 HAS SOUS 3803 HAS SOUPS 1861 WITH SCORE 1871.477
AT ITER 965 NEW BEST:: SOT 17224 SOS 10471 HAS SOPS 8044 HAS SOUS 3803 HAS SOUPS 1861 WITH SCORE 1871.471
AT ITER 983 NEW BEST:: SOT 17224 SOS 10471 HAS SOPS 8030 HAS SOUS 3796 HAS SOUPS 1847 WITH SCORE 1857.471
AT ITER 989 NEW BEST:: SOT 17218 SOS 10460 HAS SOPS 8024 HAS SOUS 3788 HAS SOUPS 1844 WITH SCORE 1854.46
AT ITER 994 NEW BEST:: SOT 17217 SOS 10459 HAS SOPS 8023 HAS SOUS 3788 HAS SOUPS 1844 WITH SCORE 1854.459
AT ITER 1023 NEW BEST:: SOT 17246 SOS 10509 HAS SOPS 8031 HAS SOUS 3817 HAS SOUPS 1831 WITH SCORE 1841.509
AT ITER 1030 NEW BEST:: SOT 17246 SOS 10313 HAS SOPS 7831 HAS SOUS 3817 HAS SOUPS 1827 WITH SCORE 1837.313
AT ITER 1035 NEW BEST:: SOT 17244 SOS 10309 HAS SOPS 7825 HAS SOUS 3813 HAS SOUPS 1820 WITH SCORE 1830.309
AT ITER 1041 NEW BEST:: SOT 17222 SOS 10272 HAS SOPS 7803 HAS SOUS 3784 HAS SOUPS 1806 WITH SCORE 1816.272
AT ITER 1042 NEW BEST:: SOT 17217 SOS 10183 HAS SOPS 7798 HAS SOUS 3755 HAS SOUPS 1801 WITH SCORE 1811.183
AT ITER 1050 NEW BEST:: SOT 17217 SOS 10186 HAS SOPS 7795 HAS SOUS 3755 HAS SOUPS 1795 WITH SCORE 1805.186
AT ITER 1056 NEW BEST:: SOT 17123 SOS 10060 HAS SOPS 7701 HAS SOUS 3661 HAS SOUPS 1733 WITH SCORE 1743.06
AT ITER 1064 NEW BEST:: SOT 17125 SOS 10069 HAS SOPS 7698 HAS SOUS 3662 HAS SOUPS 1730 WITH SCORE 1740.069
AT ITER 1088 NEW BEST:: SOT 17125 SOS 10069 HAS SOPS 7696 HAS SOUS 3658 HAS SOUPS 1726 WITH SCORE 1736.069
AT ITER 1097 NEW BEST:: SOT 17125 SOS 10054 HAS SOPS 7696 HAS SOUS 3658 HAS SOUPS 1726 WITH SCORE 1736.054
AT ITER 1130 NEW BEST:: SOT 17120 SOS 10049 HAS SOPS 7691 HAS SOUS 3658 HAS SOUPS 1726 WITH SCORE 1736.049
AT ITER 1161 NEW BEST:: SOT 17120 SOS 10059 HAS SOPS 7669 HAS SOUS 3658 HAS SOUPS 1704 WITH SCORE 1714.059
AT ITER 1179 NEW BEST:: SOT 17128 SOS 10085 HAS SOPS 7677 HAS SOUS 3660 HAS SOUPS 1688 WITH SCORE 1698.085
AT ITER 1221 NEW BEST:: SOT 17128 SOS 9840 HAS SOPS 7427 HAS SOUS 3660 HAS SOUPS 1683 WITH SCORE 1692.84
AT ITER 1224 NEW BEST:: SOT 17175 SOS 9911 HAS SOPS 7450 HAS SOUS 3707 HAS SOUPS 1682 WITH SCORE 1691.911
AT ITER 1234 NEW BEST:: SOT 17174 SOS 9910 HAS SOPS 7448 HAS SOUS 3700 HAS SOUPS 1674 WITH SCORE 1683.91
AT ITER 1270 NEW BEST:: SOT 17172 SOS 9908 HAS SOPS 7446 HAS SOUS 3689 HAS SOUPS 1663 WITH SCORE 1672.908
AT ITER 1285 NEW BEST:: SOT 17168 SOS 9904 HAS SOPS 7442 HAS SOUS 3689 HAS SOUPS 1663 WITH SCORE 1672.904
AT ITER 1297 NEW BEST:: SOT 17164 SOS 9933 HAS SOPS 7468 HAS SOUS 3688 HAS SOUPS 1659 WITH SCORE 1668.933
AT ITER 1317 NEW BEST:: SOT 17254 SOS 10149 HAS SOPS 7521 HAS SOUS 3778 HAS SOUPS 1652 WITH SCORE 1662.149
AT ITER 1329 NEW BEST:: SOT 17257 SOS 10158 HAS SOPS 7518 HAS SOUS 3781 HAS SOUPS 1643 WITH SCORE 1653.158
AT ITER 1368 NEW BEST:: SOT 17223 SOS 10118 HAS SOPS 7490 HAS SOUS 3759 HAS SOUPS 1633 WITH SCORE 1643.118
AT ITER 1370 NEW BEST:: SOT 17118 SOS 9900 HAS SOPS 7397 HAS SOUS 3648 HAS SOUPS 1593 WITH SCORE 1602.9
AT ITER 1417 NEW BEST:: SOT 17112 SOS 9894 HAS SOPS 7391 HAS SOUS 3639 HAS SOUPS 1584 WITH SCORE 1593.894
AT ITER 1435 NEW BEST:: SOT 17107 SOS 9884 HAS SOPS 7386 HAS SOUS 3631 HAS SOUPS 1581 WITH SCORE 1590.884
AT ITER 1436 NEW BEST:: SOT 17087 SOS 9844 HAS SOPS 7366 HAS SOUS 3611 HAS SOUPS 1571 WITH SCORE 1580.844
AT ITER 1484 NEW BEST:: SOT 17071 SOS 9817 HAS SOPS 7351 HAS SOUS 3590 HAS SOUPS 1560 WITH SCORE 1569.817
AT ITER 1506 NEW BEST:: SOT 17092 SOS 9838 HAS SOPS 7369 HAS SOUS 3584 HAS SOUPS 1554 WITH SCORE 1563.838
AT ITER 1509 NEW BEST:: SOT 17092 SOS 9838 HAS SOPS 7369 HAS SOUS 3577 HAS SOUPS 1547 WITH SCORE 1556.838
AT ITER 1533 NEW BEST:: SOT 17084 SOS 9830 HAS SOPS 7361 HAS SOUS 3561 HAS SOUPS 1531 WITH SCORE 1540.83
AT ITER 1542 NEW BEST:: SOT 17084 SOS 9831 HAS SOPS 7352 HAS SOUS 3561 HAS SOUPS 1521 WITH SCORE 1530.831
AT ITER 1596 NEW BEST:: SOT 17072 SOS 9819 HAS SOPS 7340 HAS SOUS 3549 HAS SOUPS 1509 WITH SCORE 1518.819
AT ITER 1634 NEW BEST:: SOT 17072 SOS 9923 HAS SOPS 7340 HAS SOUS 3549 HAS SOUPS 1476 WITH SCORE 1485.923
AT ITER 1637 NEW BEST:: SOT 17073 SOS 9926 HAS SOPS 7341 HAS SOUS 3549 HAS SOUPS 1475 WITH SCORE 1484.926
AT ITER 1660 NEW BEST:: SOT 17070 SOS 9923 HAS SOPS 7335 HAS SOUS 3543 HAS SOUPS 1466 WITH SCORE 1475.923
AT ITER 1699 NEW BEST:: SOT 17064 SOS 9911 HAS SOPS 7329 HAS SOUS 3537 HAS SOUPS 1466 WITH SCORE 1475.911
AT ITER 1707 NEW BEST:: SOT 17060 SOS 9891 HAS SOPS 7325 HAS SOUS 3529 HAS SOUPS 1466 WITH SCORE 1475.891
AT ITER 1770 NEW BEST:: SOT 17083 SOS 9931 HAS SOPS 7331 HAS SOUS 3552 HAS SOUPS 1455 WITH SCORE 1464.931
AT ITER 1843 NEW BEST:: SOT 17075 SOS 9915 HAS SOPS 7323 HAS SOUS 3544 HAS SOUPS 1455 WITH SCORE 1464.915
AT ITER 1927 NEW BEST:: SOT 17072 SOS 9912 HAS SOPS 7320 HAS SOUS 3538 HAS SOUPS 1449 WITH SCORE 1458.912
AT ITER 1934 NEW BEST:: SOT 17066 SOS 9900 HAS SOPS 7314 HAS SOUS 3532 HAS SOUPS 1449 WITH SCORE 1458.9
AT ITER 1962 NEW BEST:: SOT 17062 SOS 9896 HAS SOPS 7310 HAS SOUS 3528 HAS SOUPS 1445 WITH SCORE 1454.896
AT ITER 1975 NEW BEST:: SOT 17056 SOS 9890 HAS SOPS 7304 HAS SOUS 3524 HAS SOUPS 1441 WITH SCORE 1450.89
AT ITER 1983 NEW BEST:: SOT 17073 SOS 9907 HAS SOPS 7321 HAS SOUS 3522 HAS SOUPS 1439 WITH SCORE 1448.907
AT ITER 1986 NEW BEST:: SOT 17073 SOS 9897 HAS SOPS 7321 HAS SOUS 3522 HAS SOUPS 1439 WITH SCORE 1448.897
AT ITER 2004 NEW BEST:: SOT 17073 SOS 9896 HAS SOPS 7318 HAS SOUS 3519 HAS SOUPS 1434 WITH SCORE 1443.896
AT ITER 2053 NEW BEST:: SOT 17080 SOS 9910 HAS SOPS 7318 HAS SOUS 3526 HAS SOUPS 1427 WITH SCORE 1436.91
AT ITER 2062 NEW BEST:: SOT 17080 SOS 9905 HAS SOPS 7318 HAS SOUS 3526 HAS SOUPS 1427 WITH SCORE 1436.905
AT ITER 2096 NEW BEST:: SOT 17096 SOS 9937 HAS SOPS 7330 HAS SOUS 3538 HAS SOUPS 1423 WITH SCORE 1432.937
AT ITER 2145 NEW BEST:: SOT 17155 SOS 10031 HAS SOPS 7354 HAS SOUS 3600 HAS SOUPS 1415 WITH SCORE 1425.031
AT ITER 2155 NEW BEST:: SOT 17155 SOS 10014 HAS SOPS 7354 HAS SOUS 3600 HAS SOUPS 1415 WITH SCORE 1425.014
AT ITER 2159 NEW BEST:: SOT 17151 SOS 10010 HAS SOPS 7350 HAS SOUS 3598 HAS SOUPS 1413 WITH SCORE 1423.01
AT ITER 2219 NEW BEST:: SOT 17151 SOS 10010 HAS SOPS 7340 HAS SOUS 3596 HAS SOUPS 1411 WITH SCORE 1421.01
AT ITER 2275 NEW BEST:: SOT 17151 SOS 10006 HAS SOPS 7340 HAS SOUS 3596 HAS SOUPS 1411 WITH SCORE 1421.006
AT ITER 2287 NEW BEST:: SOT 17144 SOS 9999 HAS SOPS 7333 HAS SOUS 3596 HAS SOUPS 1411 WITH SCORE 1420.999
AT ITER 2296 NEW BEST:: SOT 17143 SOS 9997 HAS SOPS 7332 HAS SOUS 3595 HAS SOUPS 1411 WITH SCORE 1420.997
AT ITER 2298 NEW BEST:: SOT 17153 SOS 10027 HAS SOPS 7342 HAS SOUS 3596 HAS SOUPS 1402 WITH SCORE 1412.027
AT ITER 2340 NEW BEST:: SOT 17151 SOS 10023 HAS SOPS 7340 HAS SOUS 3594 HAS SOUPS 1402 WITH SCORE 1412.023
AT ITER 2374 NEW BEST:: SOT 17153 SOS 10025 HAS SOPS 7342 HAS SOUS 3590 HAS SOUPS 1398 WITH SCORE 1408.025
AT ITER 2426 NEW BEST:: SOT 17146 SOS 10018 HAS SOPS 7335 HAS SOUS 3586 HAS SOUPS 1394 WITH SCORE 1404.018
AT ITER 2520 NEW BEST:: SOT 17140 SOS 10012 HAS SOPS 7329 HAS SOUS 3576 HAS SOUPS 1384 WITH SCORE 1394.012
AT ITER 2541 NEW BEST:: SOT 17140 SOS 10014 HAS SOPS 7329 HAS SOUS 3576 HAS SOUPS 1383 WITH SCORE 1393.014
AT ITER 2550 NEW BEST:: SOT 17140 SOS 10014 HAS SOPS 7329 HAS SOUS 3573 HAS SOUPS 1380 WITH SCORE 1390.014
AT ITER 2579 NEW BEST:: SOT 17141 SOS 10023 HAS SOPS 7330 HAS SOUS 3575 HAS SOUPS 1378 WITH SCORE 1388.023
AT ITER 2699 NEW BEST:: SOT 17139 SOS 10021 HAS SOPS 7328 HAS SOUS 3571 HAS SOUPS 1374 WITH SCORE 1384.021
AT ITER 2798 NEW BEST:: SOT 17114 SOS 9964 HAS SOPS 7310 HAS SOUS 3532 HAS SOUPS 1356 WITH SCORE 1365.964
AT ITER 2891 NEW BEST:: SOT 17126 SOS 9940 HAS SOPS 7262 HAS SOUS 3520 HAS SOUPS 1344 WITH SCORE 1353.94
AT ITER 2904 NEW BEST:: SOT 17139 SOS 9956 HAS SOPS 7272 HAS SOUS 3525 HAS SOUPS 1343 WITH SCORE 1352.956
AT ITER 3075 NEW BEST:: SOT 17137 SOS 9954 HAS SOPS 7270 HAS SOUS 3521 HAS SOUPS 1339 WITH SCORE 1348.954
AT ITER 3142 NEW BEST:: SOT 17135 SOS 9952 HAS SOPS 7268 HAS SOUS 3517 HAS SOUPS 1335 WITH SCORE 1344.952
AT ITER 3144 NEW BEST:: SOT 17133 SOS 9906 HAS SOPS 7227 HAS SOUS 3512 HAS SOUPS 1335 WITH SCORE 1344.906
AT ITER 3220 NEW BEST:: SOT 17178 SOS 10017 HAS SOPS 7254 HAS SOUS 3557 HAS SOUPS 1329 WITH SCORE 1339.017
AT ITER 3269 NEW BEST:: SOT 17181 SOS 10099 HAS SOPS 7257 HAS SOUS 3563 HAS SOUPS 1313 WITH SCORE 1323.099
AT ITER 3357 NEW BEST:: SOT 17180 SOS 10098 HAS SOPS 7256 HAS SOUS 3561 HAS SOUPS 1311 WITH SCORE 1321.098
AT ITER 3449 NEW BEST:: SOT 17176 SOS 10094 HAS SOPS 7252 HAS SOUS 3553 HAS SOUPS 1303 WITH SCORE 1313.094
AT ITER 3554 NEW BEST:: SOT 17176 SOS 9656 HAS SOPS 6786 HAS SOUS 3553 HAS SOUPS 1289 WITH SCORE 1298.656
AT ITER 3701 NEW BEST:: SOT 17186 SOS 9558 HAS SOPS 6664 HAS SOUS 3563 HAS SOUPS 1287 WITH SCORE 1296.558
AT ITER 3808 NEW BEST:: SOT 17186 SOS 9559 HAS SOPS 6663 HAS SOUS 3563 HAS SOUPS 1285 WITH SCORE 1294.559
AT ITER 3852 NEW BEST:: SOT 17184 SOS 9557 HAS SOPS 6661 HAS SOUS 3563 HAS SOUPS 1285 WITH SCORE 1294.557
AT ITER 3872 NEW BEST:: SOT 17190 SOS 9572 HAS SOPS 6663 HAS SOUS 3566 HAS SOUPS 1283 WITH SCORE 1292.572
AT ITER 4012 NEW BEST:: SOT 17188 SOS 9570 HAS SOPS 6661 HAS SOUS 3562 HAS SOUPS 1279 WITH SCORE 1288.57
AT ITER 4088 NEW BEST:: SOT 17200 SOS 9702 HAS SOPS 6673 HAS SOUS 3586 HAS SOUPS 1274 WITH SCORE 1283.702
AT ITER 4208 NEW BEST:: SOT 17200 SOS 9699 HAS SOPS 6673 HAS SOUS 3586 HAS SOUPS 1274 WITH SCORE 1283.699
AT ITER 4210 NEW BEST:: SOT 17200 SOS 9694 HAS SOPS 6673 HAS SOUS 3586 HAS SOUPS 1274 WITH SCORE 1283.694
AT ITER 4221 NEW BEST:: SOT 17200 SOS 9694 HAS SOPS 6673 HAS SOUS 3581 HAS SOUPS 1269 WITH SCORE 1278.694
AT ITER 4254 NEW BEST:: SOT 17200 SOS 9631 HAS SOPS 6610 HAS SOUS 3575 HAS SOUPS 1263 WITH SCORE 1272.631
AT ITER 4349 NEW BEST:: SOT 17203 SOS 9637 HAS SOPS 6610 HAS SOUS 3578 HAS SOUPS 1260 WITH SCORE 1269.637
AT ITER 4430 NEW BEST:: SOT 17202 SOS 9636 HAS SOPS 6609 HAS SOUS 3578 HAS SOUPS 1260 WITH SCORE 1269.636
AT ITER 4578 NEW BEST:: SOT 17194 SOS 9618 HAS SOPS 6605 HAS SOUS 3572 HAS SOUPS 1260 WITH SCORE 1269.618
AT ITER 4586 NEW BEST:: SOT 17195 SOS 9619 HAS SOPS 6606 HAS SOUS 3568 HAS SOUPS 1256 WITH SCORE 1265.619
AT ITER 4838 NEW BEST:: SOT 17189 SOS 9607 HAS SOPS 6600 HAS SOUS 3562 HAS SOUPS 1256 WITH SCORE 1265.607
AT ITER 4910 NEW BEST:: SOT 17196 SOS 9631 HAS SOPS 6606 HAS SOUS 3570 HAS SOUPS 1255 WITH SCORE 1264.631
AT ITER 4990 NEW BEST:: SOT 17196 SOS 9637 HAS SOPS 6606 HAS SOUS 3570 HAS SOUPS 1252 WITH SCORE 1261.637
AT ITER 5020 NEW BEST:: SOT 17194 SOS 9635 HAS SOPS 6604 HAS SOUS 3566 HAS SOUPS 1248 WITH SCORE 1257.635
AT ITER 5026 NEW BEST:: SOT 17194 SOS 9624 HAS SOPS 6593 HAS SOUS 3564 HAS SOUPS 1246 WITH SCORE 1255.624
AT ITER 5057 NEW BEST:: SOT 17194 SOS 9476 HAS SOPS 6437 HAS SOUS 3564 HAS SOUPS 1242 WITH SCORE 1251.476
AT ITER 5120 NEW BEST:: SOT 17194 SOS 9457 HAS SOPS 6437 HAS SOUS 3564 HAS SOUPS 1242 WITH SCORE 1251.457
AT ITER 5133 NEW BEST:: SOT 17188 SOS 9439 HAS SOPS 6431 HAS SOUS 3552 HAS SOUPS 1236 WITH SCORE 1245.439
AT ITER 5152 NEW BEST:: SOT 17189 SOS 9442 HAS SOPS 6431 HAS SOUS 3552 HAS SOUPS 1235 WITH SCORE 1244.442
AT ITER 5476 NEW BEST:: SOT 17190 SOS 9445 HAS SOPS 6431 HAS SOUS 3553 HAS SOUPS 1234 WITH SCORE 1243.445
AT ITER 5576 NEW BEST:: SOT 17189 SOS 9444 HAS SOPS 6430 HAS SOUS 3551 HAS SOUPS 1232 WITH SCORE 1241.444
AT ITER 5609 NEW BEST:: SOT 17197 SOS 9474 HAS SOPS 6427 HAS SOUS 3559 HAS SOUPS 1218 WITH SCORE 1227.474
AT ITER 5617 NEW BEST:: SOT 17195 SOS 9472 HAS SOPS 6425 HAS SOUS 3557 HAS SOUPS 1216 WITH SCORE 1225.472
AT ITER 5775 NEW BEST:: SOT 17194 SOS 9461 HAS SOPS 6414 HAS SOUS 3555 HAS SOUPS 1214 WITH SCORE 1223.461
AT ITER 6152 NEW BEST:: SOT 17194 SOS 9442 HAS SOPS 6414 HAS SOUS 3555 HAS SOUPS 1214 WITH SCORE 1223.442
AT ITER 6241 NEW BEST:: SOT 17197 SOS 9451 HAS SOPS 6414 HAS SOUS 3558 HAS SOUPS 1211 WITH SCORE 1220.451
AT ITER 6266 NEW BEST:: SOT 17265 SOS 9519 HAS SOPS 6406 HAS SOUS 3632 HAS SOUPS 1209 WITH SCORE 1218.519
AT ITER 6476 NEW BEST:: SOT 17262 SOS 9450 HAS SOPS 6343 HAS SOUS 3623 HAS SOUPS 1206 WITH SCORE 1215.45
AT ITER 6516 NEW BEST:: SOT 17268 SOS 9463 HAS SOPS 6345 HAS SOUS 3632 HAS SOUPS 1204 WITH SCORE 1213.463
AT ITER 6692 NEW BEST:: SOT 17270 SOS 9465 HAS SOPS 6347 HAS SOUS 3630 HAS SOUPS 1202 WITH SCORE 1211.465
AT ITER 6749 NEW BEST:: SOT 17270 SOS 9461 HAS SOPS 6347 HAS SOUS 3630 HAS SOUPS 1202 WITH SCORE 1211.461
AT ITER 6793 NEW BEST:: SOT 17268 SOS 9438 HAS SOPS 6324 HAS SOUS 3626 HAS SOUPS 1198 WITH SCORE 1207.438
AT ITER 6895 NEW BEST:: SOT 17273 SOS 8976 HAS SOPS 5830 HAS SOUS 3631 HAS SOUPS 1187 WITH SCORE 1195.976
AT ITER 7201 NEW BEST:: SOT 17278 SOS 8844 HAS SOPS 5688 HAS SOUS 3635 HAS SOUPS 1186 WITH SCORE 1194.844
AT ITER 7485 NEW BEST:: SOT 17275 SOS 8841 HAS SOPS 5685 HAS SOUS 3633 HAS SOUPS 1184 WITH SCORE 1192.841
AT ITER 7523 NEW BEST:: SOT 17281 SOS 8934 HAS SOPS 5691 HAS SOUS 3645 HAS SOUPS 1175 WITH SCORE 1183.934
AT ITER 7528 NEW BEST:: SOT 17281 SOS 8933 HAS SOPS 5691 HAS SOUS 3645 HAS SOUPS 1175 WITH SCORE 1183.933
AT ITER 7547 NEW BEST:: SOT 17279 SOS 8931 HAS SOPS 5689 HAS SOUS 3644 HAS SOUPS 1174 WITH SCORE 1182.931
AT ITER 7788 NEW BEST:: SOT 17314 SOS 8984 HAS SOPS 5706 HAS SOUS 3679 HAS SOUPS 1173 WITH SCORE 1181.984
AT ITER 7891 NEW BEST:: SOT 17314 SOS 8981 HAS SOPS 5706 HAS SOUS 3679 HAS SOUPS 1173 WITH SCORE 1181.981
AT ITER 7903 NEW BEST:: SOT 17314 SOS 8977 HAS SOPS 5706 HAS SOUS 3679 HAS SOUPS 1173 WITH SCORE 1181.977
AT ITER 7929 NEW BEST:: SOT 17314 SOS 8976 HAS SOPS 5706 HAS SOUS 3679 HAS SOUPS 1173 WITH SCORE 1181.976
AT ITER 8087 NEW BEST:: SOT 17317 SOS 8985 HAS SOPS 5709 HAS SOUS 3679 HAS SOUPS 1170 WITH SCORE 1178.985
AT ITER 8379 NEW BEST:: SOT 17317 SOS 8979 HAS SOPS 5709 HAS SOUS 3679 HAS SOUPS 1170 WITH SCORE 1178.979
AT ITER 8592 NEW BEST:: SOT 17315 SOS 8977 HAS SOPS 5705 HAS SOUS 3677 HAS SOUPS 1166 WITH SCORE 1174.977
AT ITER 8683 NEW BEST:: SOT 17313 SOS 8985 HAS SOPS 5714 HAS SOUS 3675 HAS SOUPS 1165 WITH SCORE 1173.985
AT ITER 8730 NEW BEST:: SOT 17311 SOS 8983 HAS SOPS 5712 HAS SOUS 3671 HAS SOUPS 1161 WITH SCORE 1169.983
AT ITER 8778 NEW BEST:: SOT 17310 SOS 8982 HAS SOPS 5711 HAS SOUS 3669 HAS SOUPS 1159 WITH SCORE 1167.982
AT ITER 8983 NEW BEST:: SOT 17312 SOS 8984 HAS SOPS 5713 HAS SOUS 3663 HAS SOUPS 1153 WITH SCORE 1161.984
AT ITER 9020 NEW BEST:: SOT 17315 SOS 8908 HAS SOPS 5634 HAS SOUS 3664 HAS SOUPS 1151 WITH SCORE 1159.908
AT ITER 9176 NEW BEST:: SOT 17315 SOS 8908 HAS SOPS 5634 HAS SOUS 3660 HAS SOUPS 1147 WITH SCORE 1155.908
AT ITER 9179 NEW BEST:: SOT 17314 SOS 8905 HAS SOPS 5633 HAS SOUS 3658 HAS SOUPS 1146 WITH SCORE 1154.905
AT ITER 9198 NEW BEST:: SOT 17313 SOS 8904 HAS SOPS 5632 HAS SOUS 3656 HAS SOUPS 1144 WITH SCORE 1152.904
AT ITER 9234 NEW BEST:: SOT 17316 SOS 8907 HAS SOPS 5631 HAS SOUS 3652 HAS SOUPS 1140 WITH SCORE 1148.907
AT ITER 9401 NEW BEST:: SOT 17316 SOS 8907 HAS SOPS 5631 HAS SOUS 3651 HAS SOUPS 1139 WITH SCORE 1147.907
AT ITER 9428 NEW BEST:: SOT 17316 SOS 8904 HAS SOPS 5631 HAS SOUS 3651 HAS SOUPS 1139 WITH SCORE 1147.904
AT ITER 9468 NEW BEST:: SOT 17317 SOS 8907 HAS SOPS 5630 HAS SOUS 3652 HAS SOUPS 1136 WITH SCORE 1144.907
AT ITER 9494 NEW BEST:: SOT 17315 SOS 8905 HAS SOPS 5628 HAS SOUS 3650 HAS SOUPS 1134 WITH SCORE 1142.905
AT ITER 9664 NEW BEST:: SOT 17311 SOS 8901 HAS SOPS 5624 HAS SOUS 3648 HAS SOUPS 1132 WITH SCORE 1140.901
AT ITER 9835 NEW BEST:: SOT 17299 SOS 8878 HAS SOPS 5615 HAS SOUS 3635 HAS SOUPS 1127 WITH SCORE 1135.878
AT ITER 9949 NEW BEST:: SOT 17236 SOS 8815 HAS SOPS 5615 HAS SOUS 3568 HAS SOUPS 1123 WITH SCORE 1131.815
STATE_SPACE STATES 308303 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 68 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1339104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589091611738

--------------------
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="AirplaneLD-PT-0020"
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"

# 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 AirplaneLD-PT-0020, 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 r003-smll-158897508300249"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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