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.r139-smll-167819422700352.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 smartxred
Input is DiscoveryGPU-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422700352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.6K Feb 25 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 13:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 25 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 36K 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 1678375672874

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 15:27:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 15:27:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 15:27:56] [INFO ] Load time of PNML (sax parser for PT used): 204 ms
[2023-03-09 15:27:56] [INFO ] Transformed 103 places.
[2023-03-09 15:27:56] [INFO ] Transformed 141 transitions.
[2023-03-09 15:27:56] [INFO ] Found NUPN structural information;
[2023-03-09 15:27:56] [INFO ] Parsed PT model containing 103 places and 141 transitions and 453 arcs in 348 ms.
[2023-03-09 15:27:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 103 places, 141 transitions and 453 arcs took 8 ms.
Total runtime 420 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 103 places, 141 transitions, 453 arcs.
AT ITER 0 NEW BEST:: SOT 10642 SOS 5365 HAS SOPS 5365 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5316.365
AT ITER 5 NEW BEST:: SOT 10340 SOS 5062 HAS SOPS 5062 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5013.062
AT ITER 7 NEW BEST:: SOT 10379 SOS 5033 HAS SOPS 5033 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4984.033
AT ITER 8 NEW BEST:: SOT 10396 SOS 5048 HAS SOPS 5048 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.048
AT ITER 11 NEW BEST:: SOT 10395 SOS 5066 HAS SOPS 5066 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4982.066
AT ITER 15 NEW BEST:: SOT 10395 SOS 5044 HAS SOPS 5044 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.044
AT ITER 41 NEW BEST:: SOT 10443 SOS 5083 HAS SOPS 5083 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4958.083
AT ITER 44 NEW BEST:: SOT 9767 SOS 4630 HAS SOPS 4360 HAS SOUS 4361 HAS SOUPS 4326 WITH SCORE 4330.63
AT ITER 46 NEW BEST:: SOT 9805 SOS 4630 HAS SOPS 4360 HAS SOUS 4343 HAS SOUPS 4308 WITH SCORE 4312.63
AT ITER 56 NEW BEST:: SOT 9804 SOS 4614 HAS SOPS 4344 HAS SOUS 4328 HAS SOUPS 4293 WITH SCORE 4297.614
AT ITER 61 NEW BEST:: SOT 9822 SOS 4570 HAS SOPS 4300 HAS SOUS 4274 HAS SOUPS 4239 WITH SCORE 4243.57
AT ITER 63 NEW BEST:: SOT 9825 SOS 4485 HAS SOPS 4215 HAS SOUS 4182 HAS SOUPS 4147 WITH SCORE 4151.485
AT ITER 64 NEW BEST:: SOT 9825 SOS 4485 HAS SOPS 4177 HAS SOUS 4150 HAS SOUPS 4109 WITH SCORE 4113.485
AT ITER 99 NEW BEST:: SOT 9816 SOS 4474 HAS SOPS 4166 HAS SOUS 4139 HAS SOUPS 4098 WITH SCORE 4102.474
AT ITER 100 NEW BEST:: SOT 9816 SOS 4473 HAS SOPS 4165 HAS SOUS 4138 HAS SOUPS 4097 WITH SCORE 4101.473
AT ITER 115 NEW BEST:: SOT 9816 SOS 4554 HAS SOPS 4202 HAS SOUS 4140 HAS SOUPS 4096 WITH SCORE 4100.554
AT ITER 118 NEW BEST:: SOT 9855 SOS 4569 HAS SOPS 4194 HAS SOUS 4128 HAS SOUPS 4074 WITH SCORE 4078.569
AT ITER 127 NEW BEST:: SOT 9866 SOS 4633 HAS SOPS 4227 HAS SOUS 4119 HAS SOUPS 4065 WITH SCORE 4069.633
AT ITER 131 NEW BEST:: SOT 9773 SOS 4538 HAS SOPS 4132 HAS SOUS 4026 HAS SOUPS 3972 WITH SCORE 3976.538
AT ITER 136 NEW BEST:: SOT 9770 SOS 4532 HAS SOPS 4126 HAS SOUS 4023 HAS SOUPS 3969 WITH SCORE 3973.532
AT ITER 138 NEW BEST:: SOT 9762 SOS 4527 HAS SOPS 4121 HAS SOUS 4018 HAS SOUPS 3964 WITH SCORE 3968.527
AT ITER 142 NEW BEST:: SOT 9764 SOS 4521 HAS SOPS 4107 HAS SOUS 4004 HAS SOUPS 3950 WITH SCORE 3954.521
AT ITER 147 NEW BEST:: SOT 9811 SOS 4506 HAS SOPS 4092 HAS SOUS 3990 HAS SOUPS 3936 WITH SCORE 3940.506
AT ITER 157 NEW BEST:: SOT 9808 SOS 4503 HAS SOPS 4089 HAS SOUS 3987 HAS SOUPS 3933 WITH SCORE 3937.503
AT ITER 172 NEW BEST:: SOT 9793 SOS 4496 HAS SOPS 4067 HAS SOUS 3965 HAS SOUPS 3911 WITH SCORE 3915.496
AT ITER 186 NEW BEST:: SOT 9837 SOS 4497 HAS SOPS 4064 HAS SOUS 3967 HAS SOUPS 3909 WITH SCORE 3913.497
AT ITER 190 NEW BEST:: SOT 9837 SOS 4499 HAS SOPS 4064 HAS SOUS 3965 HAS SOUPS 3907 WITH SCORE 3911.499
AT ITER 195 NEW BEST:: SOT 9833 SOS 4497 HAS SOPS 4062 HAS SOUS 3963 HAS SOUPS 3905 WITH SCORE 3909.497
AT ITER 199 NEW BEST:: SOT 8286 SOS 4621 HAS SOPS 2535 HAS SOUS 2624 HAS SOUPS 2489 WITH SCORE 2493.621
AT ITER 202 NEW BEST:: SOT 8278 SOS 4617 HAS SOPS 2535 HAS SOUS 2623 HAS SOUPS 2488 WITH SCORE 2492.617
AT ITER 204 NEW BEST:: SOT 8276 SOS 4614 HAS SOPS 2531 HAS SOUS 2619 HAS SOUPS 2484 WITH SCORE 2488.614
AT ITER 208 NEW BEST:: SOT 8261 SOS 4912 HAS SOPS 2520 HAS SOUS 2613 HAS SOUPS 2472 WITH SCORE 2476.912
AT ITER 210 NEW BEST:: SOT 8222 SOS 4873 HAS SOPS 2486 HAS SOUS 2579 HAS SOUPS 2438 WITH SCORE 2442.873
AT ITER 216 NEW BEST:: SOT 8195 SOS 4846 HAS SOPS 2432 HAS SOUS 2525 HAS SOUPS 2384 WITH SCORE 2388.846
AT ITER 224 NEW BEST:: SOT 8170 SOS 4819 HAS SOPS 2405 HAS SOUS 2489 HAS SOUPS 2348 WITH SCORE 2352.819
AT ITER 230 NEW BEST:: SOT 8148 SOS 4804 HAS SOPS 2361 HAS SOUS 2445 HAS SOUPS 2304 WITH SCORE 2308.804
AT ITER 241 NEW BEST:: SOT 8161 SOS 4817 HAS SOPS 2329 HAS SOUS 2411 HAS SOUPS 2270 WITH SCORE 2274.817
AT ITER 243 NEW BEST:: SOT 8155 SOS 4811 HAS SOPS 2319 HAS SOUS 2401 HAS SOUPS 2260 WITH SCORE 2264.811
AT ITER 245 NEW BEST:: SOT 8147 SOS 4803 HAS SOPS 2311 HAS SOUS 2393 HAS SOUPS 2252 WITH SCORE 2256.803
AT ITER 253 NEW BEST:: SOT 8166 SOS 4795 HAS SOPS 2295 HAS SOUS 2377 HAS SOUPS 2236 WITH SCORE 2240.795
AT ITER 257 NEW BEST:: SOT 8166 SOS 4790 HAS SOPS 2290 HAS SOUS 2372 HAS SOUPS 2231 WITH SCORE 2235.79
AT ITER 262 NEW BEST:: SOT 8130 SOS 4756 HAS SOPS 2218 HAS SOUS 2301 HAS SOUPS 2159 WITH SCORE 2163.756
AT ITER 263 NEW BEST:: SOT 8150 SOS 4732 HAS SOPS 2202 HAS SOUS 2285 HAS SOUPS 2143 WITH SCORE 2147.732
AT ITER 281 NEW BEST:: SOT 8135 SOS 4732 HAS SOPS 2187 HAS SOUS 2270 HAS SOUPS 2128 WITH SCORE 2132.732
AT ITER 282 NEW BEST:: SOT 8138 SOS 4735 HAS SOPS 2168 HAS SOUS 2252 HAS SOUPS 2110 WITH SCORE 2114.735
AT ITER 295 NEW BEST:: SOT 8134 SOS 4731 HAS SOPS 2160 HAS SOUS 2244 HAS SOUPS 2102 WITH SCORE 2106.731
AT ITER 306 NEW BEST:: SOT 8111 SOS 4708 HAS SOPS 2139 HAS SOUS 2223 HAS SOUPS 2081 WITH SCORE 2085.708
AT ITER 310 NEW BEST:: SOT 8111 SOS 4706 HAS SOPS 2137 HAS SOUS 2221 HAS SOUPS 2079 WITH SCORE 2083.706
AT ITER 312 NEW BEST:: SOT 8111 SOS 4695 HAS SOPS 2126 HAS SOUS 2221 HAS SOUPS 2079 WITH SCORE 2083.695
AT ITER 324 NEW BEST:: SOT 8105 SOS 4683 HAS SOPS 2114 HAS SOUS 2209 HAS SOUPS 2067 WITH SCORE 2071.683
AT ITER 339 NEW BEST:: SOT 8097 SOS 4678 HAS SOPS 2098 HAS SOUS 2193 HAS SOUPS 2051 WITH SCORE 2055.678
AT ITER 341 NEW BEST:: SOT 8090 SOS 4664 HAS SOPS 2084 HAS SOUS 2179 HAS SOUPS 2037 WITH SCORE 2041.664
AT ITER 369 NEW BEST:: SOT 8081 SOS 4664 HAS SOPS 2075 HAS SOUS 2170 HAS SOUPS 2028 WITH SCORE 2032.664
AT ITER 381 NEW BEST:: SOT 8080 SOS 4668 HAS SOPS 2073 HAS SOUS 2168 HAS SOUPS 2026 WITH SCORE 2030.668
AT ITER 416 NEW BEST:: SOT 8073 SOS 4660 HAS SOPS 2065 HAS SOUS 2161 HAS SOUPS 2019 WITH SCORE 2023.66
AT ITER 436 NEW BEST:: SOT 8011 SOS 4773 HAS SOPS 1991 HAS SOUS 2112 HAS SOUPS 1960 WITH SCORE 1964.773
AT ITER 442 NEW BEST:: SOT 7967 SOS 4759 HAS SOPS 1938 HAS SOUS 2059 HAS SOUPS 1907 WITH SCORE 1911.759
AT ITER 447 NEW BEST:: SOT 8003 SOS 4794 HAS SOPS 1934 HAS SOUS 2055 HAS SOUPS 1903 WITH SCORE 1907.794
AT ITER 451 NEW BEST:: SOT 8001 SOS 4792 HAS SOPS 1930 HAS SOUS 2051 HAS SOUPS 1899 WITH SCORE 1903.792
AT ITER 453 NEW BEST:: SOT 7939 SOS 4766 HAS SOPS 1867 HAS SOUS 1992 HAS SOUPS 1836 WITH SCORE 1840.766
AT ITER 476 NEW BEST:: SOT 7935 SOS 4762 HAS SOPS 1861 HAS SOUS 1986 HAS SOUPS 1830 WITH SCORE 1834.762
AT ITER 484 NEW BEST:: SOT 7935 SOS 4762 HAS SOPS 1857 HAS SOUS 1982 HAS SOUPS 1826 WITH SCORE 1830.762
AT ITER 488 NEW BEST:: SOT 7921 SOS 4720 HAS SOPS 1823 HAS SOUS 1966 HAS SOUPS 1810 WITH SCORE 1814.72
AT ITER 519 NEW BEST:: SOT 7880 SOS 4680 HAS SOPS 1805 HAS SOUS 1948 HAS SOUPS 1792 WITH SCORE 1796.68
AT ITER 520 NEW BEST:: SOT 7880 SOS 4679 HAS SOPS 1805 HAS SOUS 1948 HAS SOUPS 1792 WITH SCORE 1796.679
AT ITER 523 NEW BEST:: SOT 7880 SOS 4679 HAS SOPS 1804 HAS SOUS 1947 HAS SOUPS 1791 WITH SCORE 1795.679
AT ITER 545 NEW BEST:: SOT 7882 SOS 4681 HAS SOPS 1802 HAS SOUS 1949 HAS SOUPS 1789 WITH SCORE 1793.681
AT ITER 556 NEW BEST:: SOT 7882 SOS 4670 HAS SOPS 1802 HAS SOUS 1949 HAS SOUPS 1789 WITH SCORE 1793.67
AT ITER 558 NEW BEST:: SOT 7919 SOS 4706 HAS SOPS 1798 HAS SOUS 1945 HAS SOUPS 1785 WITH SCORE 1789.706
AT ITER 578 NEW BEST:: SOT 7926 SOS 4684 HAS SOPS 1783 HAS SOUS 1930 HAS SOUPS 1770 WITH SCORE 1774.684
AT ITER 591 NEW BEST:: SOT 7933 SOS 4668 HAS SOPS 1731 HAS SOUS 1879 HAS SOUPS 1719 WITH SCORE 1723.668
AT ITER 612 NEW BEST:: SOT 7908 SOS 5000 HAS SOPS 1689 HAS SOUS 1860 HAS SOUPS 1685 WITH SCORE 1690.0
AT ITER 613 NEW BEST:: SOT 7882 SOS 4973 HAS SOPS 1637 HAS SOUS 1808 HAS SOUPS 1633 WITH SCORE 1637.973
AT ITER 641 NEW BEST:: SOT 7873 SOS 4964 HAS SOPS 1610 HAS SOUS 1781 HAS SOUPS 1606 WITH SCORE 1610.964
AT ITER 644 NEW BEST:: SOT 7872 SOS 4954 HAS SOPS 1608 HAS SOUS 1779 HAS SOUPS 1604 WITH SCORE 1608.954
AT ITER 654 NEW BEST:: SOT 7872 SOS 4945 HAS SOPS 1590 HAS SOUS 1761 HAS SOUPS 1586 WITH SCORE 1590.945
AT ITER 672 NEW BEST:: SOT 7872 SOS 4940 HAS SOPS 1590 HAS SOUS 1761 HAS SOUPS 1586 WITH SCORE 1590.94
AT ITER 679 NEW BEST:: SOT 7861 SOS 4923 HAS SOPS 1568 HAS SOUS 1739 HAS SOUPS 1564 WITH SCORE 1568.923
AT ITER 684 NEW BEST:: SOT 7866 SOS 4937 HAS SOPS 1576 HAS SOUS 1736 HAS SOUPS 1561 WITH SCORE 1565.937
AT ITER 704 NEW BEST:: SOT 7807 SOS 4912 HAS SOPS 1526 HAS SOUS 1686 HAS SOUPS 1511 WITH SCORE 1515.912
AT ITER 711 NEW BEST:: SOT 7806 SOS 4911 HAS SOPS 1524 HAS SOUS 1684 HAS SOUPS 1509 WITH SCORE 1513.911
AT ITER 743 NEW BEST:: SOT 7794 SOS 4901 HAS SOPS 1516 HAS SOUS 1676 HAS SOUPS 1501 WITH SCORE 1505.901
AT ITER 744 NEW BEST:: SOT 7792 SOS 4899 HAS SOPS 1513 HAS SOUS 1673 HAS SOUPS 1498 WITH SCORE 1502.899
AT ITER 754 NEW BEST:: SOT 7790 SOS 4897 HAS SOPS 1511 HAS SOUS 1671 HAS SOUPS 1496 WITH SCORE 1500.897
AT ITER 766 NEW BEST:: SOT 7780 SOS 4887 HAS SOPS 1491 HAS SOUS 1651 HAS SOUPS 1476 WITH SCORE 1480.887
AT ITER 772 NEW BEST:: SOT 7780 SOS 4886 HAS SOPS 1491 HAS SOUS 1651 HAS SOUPS 1476 WITH SCORE 1480.886
AT ITER 776 NEW BEST:: SOT 7779 SOS 4885 HAS SOPS 1490 HAS SOUS 1650 HAS SOUPS 1475 WITH SCORE 1479.885
AT ITER 791 NEW BEST:: SOT 7747 SOS 4874 HAS SOPS 1468 HAS SOUS 1628 HAS SOUPS 1453 WITH SCORE 1457.874
AT ITER 795 NEW BEST:: SOT 7743 SOS 4870 HAS SOPS 1464 HAS SOUS 1624 HAS SOUPS 1449 WITH SCORE 1453.87
AT ITER 809 NEW BEST:: SOT 7723 SOS 4879 HAS SOPS 1453 HAS SOUS 1613 HAS SOUPS 1438 WITH SCORE 1442.879
AT ITER 824 NEW BEST:: SOT 7706 SOS 4862 HAS SOPS 1419 HAS SOUS 1579 HAS SOUPS 1404 WITH SCORE 1408.862
AT ITER 851 NEW BEST:: SOT 7705 SOS 4860 HAS SOPS 1416 HAS SOUS 1576 HAS SOUPS 1401 WITH SCORE 1405.86
AT ITER 923 NEW BEST:: SOT 7705 SOS 4860 HAS SOPS 1415 HAS SOUS 1575 HAS SOUPS 1400 WITH SCORE 1404.86
AT ITER 958 NEW BEST:: SOT 7698 SOS 4853 HAS SOPS 1401 HAS SOUS 1561 HAS SOUPS 1386 WITH SCORE 1390.853
AT ITER 1001 NEW BEST:: SOT 7697 SOS 4859 HAS SOPS 1399 HAS SOUS 1559 HAS SOUPS 1384 WITH SCORE 1388.859
AT ITER 1007 NEW BEST:: SOT 7709 SOS 4862 HAS SOPS 1393 HAS SOUS 1553 HAS SOUPS 1378 WITH SCORE 1382.862
AT ITER 1015 NEW BEST:: SOT 7717 SOS 4861 HAS SOPS 1391 HAS SOUS 1551 HAS SOUPS 1376 WITH SCORE 1380.861
AT ITER 1048 NEW BEST:: SOT 7716 SOS 4860 HAS SOPS 1389 HAS SOUS 1549 HAS SOUPS 1374 WITH SCORE 1378.86
AT ITER 1052 NEW BEST:: SOT 7717 SOS 4860 HAS SOPS 1380 HAS SOUS 1540 HAS SOUPS 1365 WITH SCORE 1369.86
AT ITER 1110 NEW BEST:: SOT 7717 SOS 4859 HAS SOPS 1380 HAS SOUS 1540 HAS SOUPS 1365 WITH SCORE 1369.859
AT ITER 1123 NEW BEST:: SOT 7719 SOS 4859 HAS SOPS 1378 HAS SOUS 1538 HAS SOUPS 1363 WITH SCORE 1367.859
AT ITER 1138 NEW BEST:: SOT 7715 SOS 4853 HAS SOPS 1370 HAS SOUS 1530 HAS SOUPS 1355 WITH SCORE 1359.853
AT ITER 1203 NEW BEST:: SOT 7715 SOS 4844 HAS SOPS 1370 HAS SOUS 1530 HAS SOUPS 1355 WITH SCORE 1359.844
AT ITER 1204 NEW BEST:: SOT 7712 SOS 4837 HAS SOPS 1359 HAS SOUS 1519 HAS SOUPS 1344 WITH SCORE 1348.837
AT ITER 1231 NEW BEST:: SOT 7704 SOS 4829 HAS SOPS 1353 HAS SOUS 1513 HAS SOUPS 1338 WITH SCORE 1342.829
AT ITER 1246 NEW BEST:: SOT 7696 SOS 4829 HAS SOPS 1345 HAS SOUS 1505 HAS SOUPS 1330 WITH SCORE 1334.829
AT ITER 1254 NEW BEST:: SOT 7688 SOS 4821 HAS SOPS 1340 HAS SOUS 1500 HAS SOUPS 1325 WITH SCORE 1329.821
AT ITER 1256 NEW BEST:: SOT 7685 SOS 4814 HAS SOPS 1330 HAS SOUS 1490 HAS SOUPS 1315 WITH SCORE 1319.814
AT ITER 1257 NEW BEST:: SOT 7689 SOS 4818 HAS SOPS 1318 HAS SOUS 1482 HAS SOUPS 1303 WITH SCORE 1307.818
AT ITER 1278 NEW BEST:: SOT 7687 SOS 4814 HAS SOPS 1310 HAS SOUS 1474 HAS SOUPS 1295 WITH SCORE 1299.814
AT ITER 1280 NEW BEST:: SOT 7682 SOS 4804 HAS SOPS 1292 HAS SOUS 1456 HAS SOUPS 1277 WITH SCORE 1281.804
AT ITER 1305 NEW BEST:: SOT 7669 SOS 4791 HAS SOPS 1253 HAS SOUS 1417 HAS SOUPS 1238 WITH SCORE 1242.791
AT ITER 1307 NEW BEST:: SOT 7666 SOS 4788 HAS SOPS 1250 HAS SOUS 1414 HAS SOUPS 1235 WITH SCORE 1239.788
AT ITER 1355 NEW BEST:: SOT 7656 SOS 4778 HAS SOPS 1230 HAS SOUS 1394 HAS SOUPS 1215 WITH SCORE 1219.778
AT ITER 1357 NEW BEST:: SOT 7653 SOS 4766 HAS SOPS 1215 HAS SOUS 1386 HAS SOUPS 1207 WITH SCORE 1211.766
AT ITER 1380 NEW BEST:: SOT 7643 SOS 4756 HAS SOPS 1195 HAS SOUS 1366 HAS SOUPS 1187 WITH SCORE 1191.756
AT ITER 1388 NEW BEST:: SOT 7641 SOS 4750 HAS SOPS 1183 HAS SOUS 1354 HAS SOUPS 1175 WITH SCORE 1179.75
AT ITER 1422 NEW BEST:: SOT 7639 SOS 4748 HAS SOPS 1179 HAS SOUS 1350 HAS SOUPS 1171 WITH SCORE 1175.748
AT ITER 1462 NEW BEST:: SOT 7637 SOS 4749 HAS SOPS 1175 HAS SOUS 1346 HAS SOUPS 1167 WITH SCORE 1171.749
AT ITER 1465 NEW BEST:: SOT 7639 SOS 4967 HAS SOPS 1166 HAS SOUS 1352 HAS SOUPS 1165 WITH SCORE 1169.967
AT ITER 1476 NEW BEST:: SOT 7639 SOS 4966 HAS SOPS 1164 HAS SOUS 1350 HAS SOUPS 1163 WITH SCORE 1167.966
AT ITER 1519 NEW BEST:: SOT 7639 SOS 4953 HAS SOPS 1151 HAS SOUS 1337 HAS SOUPS 1150 WITH SCORE 1154.953
AT ITER 1522 NEW BEST:: SOT 7630 SOS 4752 HAS SOPS 1152 HAS SOUS 1329 HAS SOUPS 1149 WITH SCORE 1153.752
AT ITER 1530 NEW BEST:: SOT 7624 SOS 4746 HAS SOPS 1147 HAS SOUS 1323 HAS SOUPS 1144 WITH SCORE 1148.746
AT ITER 1556 NEW BEST:: SOT 7628 SOS 4746 HAS SOPS 1143 HAS SOUS 1319 HAS SOUPS 1140 WITH SCORE 1144.746
AT ITER 1638 NEW BEST:: SOT 7628 SOS 4744 HAS SOPS 1143 HAS SOUS 1319 HAS SOUPS 1140 WITH SCORE 1144.744
AT ITER 1666 NEW BEST:: SOT 7626 SOS 4739 HAS SOPS 1135 HAS SOUS 1311 HAS SOUPS 1132 WITH SCORE 1136.739
AT ITER 1674 NEW BEST:: SOT 7625 SOS 4739 HAS SOPS 1133 HAS SOUS 1309 HAS SOUPS 1130 WITH SCORE 1134.739
AT ITER 1681 NEW BEST:: SOT 7615 SOS 4721 HAS SOPS 1113 HAS SOUS 1289 HAS SOUPS 1110 WITH SCORE 1114.721
AT ITER 1696 NEW BEST:: SOT 7612 SOS 4718 HAS SOPS 1095 HAS SOUS 1271 HAS SOUPS 1092 WITH SCORE 1096.718
AT ITER 1706 NEW BEST:: SOT 7623 SOS 4719 HAS SOPS 1092 HAS SOUS 1269 HAS SOUPS 1090 WITH SCORE 1094.719
AT ITER 1772 NEW BEST:: SOT 7620 SOS 4718 HAS SOPS 1092 HAS SOUS 1270 HAS SOUPS 1090 WITH SCORE 1094.718
AT ITER 1790 NEW BEST:: SOT 7618 SOS 4717 HAS SOPS 1090 HAS SOUS 1268 HAS SOUPS 1088 WITH SCORE 1092.717
AT ITER 1796 NEW BEST:: SOT 7617 SOS 4716 HAS SOPS 1089 HAS SOUS 1267 HAS SOUPS 1087 WITH SCORE 1091.716
AT ITER 1800 NEW BEST:: SOT 7616 SOS 4715 HAS SOPS 1087 HAS SOUS 1265 HAS SOUPS 1085 WITH SCORE 1089.715
AT ITER 1810 NEW BEST:: SOT 7614 SOS 4708 HAS SOPS 1083 HAS SOUS 1261 HAS SOUPS 1081 WITH SCORE 1085.708
AT ITER 1836 NEW BEST:: SOT 7609 SOS 4703 HAS SOPS 1083 HAS SOUS 1256 HAS SOUPS 1081 WITH SCORE 1085.703
AT ITER 1862 NEW BEST:: SOT 7607 SOS 4700 HAS SOPS 1076 HAS SOUS 1249 HAS SOUPS 1074 WITH SCORE 1078.7
AT ITER 1865 NEW BEST:: SOT 7605 SOS 4695 HAS SOPS 1068 HAS SOUS 1241 HAS SOUPS 1066 WITH SCORE 1070.695
AT ITER 1878 NEW BEST:: SOT 7604 SOS 4692 HAS SOPS 1066 HAS SOUS 1239 HAS SOUPS 1064 WITH SCORE 1068.692
AT ITER 1932 NEW BEST:: SOT 7603 SOS 4804 HAS SOPS 1065 HAS SOUS 1239 HAS SOUPS 1062 WITH SCORE 1066.804
AT ITER 1948 NEW BEST:: SOT 7604 SOS 4804 HAS SOPS 1064 HAS SOUS 1238 HAS SOUPS 1061 WITH SCORE 1065.804
AT ITER 1994 NEW BEST:: SOT 7604 SOS 4829 HAS SOPS 1061 HAS SOUS 1237 HAS SOUPS 1059 WITH SCORE 1063.829
AT ITER 2049 NEW BEST:: SOT 7606 SOS 4826 HAS SOPS 1047 HAS SOUS 1224 HAS SOUPS 1045 WITH SCORE 1049.826
AT ITER 2139 NEW BEST:: SOT 7592 SOS 4812 HAS SOPS 1019 HAS SOUS 1196 HAS SOUPS 1017 WITH SCORE 1021.812
AT ITER 2287 NEW BEST:: SOT 7592 SOS 4811 HAS SOPS 1019 HAS SOUS 1195 HAS SOUPS 1017 WITH SCORE 1021.811
AT ITER 2288 NEW BEST:: SOT 7595 SOS 4810 HAS SOPS 1015 HAS SOUS 1191 HAS SOUPS 1013 WITH SCORE 1017.81
AT ITER 2295 NEW BEST:: SOT 7589 SOS 4804 HAS SOPS 1009 HAS SOUS 1185 HAS SOUPS 1007 WITH SCORE 1011.804
AT ITER 2301 NEW BEST:: SOT 7585 SOS 4800 HAS SOPS 1001 HAS SOUS 1177 HAS SOUPS 999 WITH SCORE 1003.8
AT ITER 2322 NEW BEST:: SOT 7614 SOS 4827 HAS SOPS 993 HAS SOUS 1169 HAS SOUPS 991 WITH SCORE 995.827
AT ITER 2338 NEW BEST:: SOT 7612 SOS 4824 HAS SOPS 989 HAS SOUS 1165 HAS SOUPS 987 WITH SCORE 991.824
AT ITER 2349 NEW BEST:: SOT 7610 SOS 4821 HAS SOPS 985 HAS SOUS 1161 HAS SOUPS 983 WITH SCORE 987.821
AT ITER 2354 NEW BEST:: SOT 7608 SOS 4818 HAS SOPS 981 HAS SOUS 1157 HAS SOUPS 979 WITH SCORE 983.818
AT ITER 2383 NEW BEST:: SOT 7603 SOS 4813 HAS SOPS 978 HAS SOUS 1152 HAS SOUPS 976 WITH SCORE 980.813
AT ITER 2445 NEW BEST:: SOT 7603 SOS 4810 HAS SOPS 978 HAS SOUS 1152 HAS SOUPS 976 WITH SCORE 980.81
AT ITER 2461 NEW BEST:: SOT 7601 SOS 4809 HAS SOPS 976 HAS SOUS 1150 HAS SOUPS 974 WITH SCORE 978.809
AT ITER 2470 NEW BEST:: SOT 7601 SOS 4795 HAS SOPS 962 HAS SOUS 1136 HAS SOUPS 960 WITH SCORE 964.795
AT ITER 2501 NEW BEST:: SOT 7600 SOS 4793 HAS SOPS 958 HAS SOUS 1132 HAS SOUPS 956 WITH SCORE 960.793
AT ITER 2547 NEW BEST:: SOT 7599 SOS 4783 HAS SOPS 956 HAS SOUS 1130 HAS SOUPS 954 WITH SCORE 958.783
AT ITER 2634 NEW BEST:: SOT 7601 SOS 4784 HAS SOPS 952 HAS SOUS 1126 HAS SOUPS 950 WITH SCORE 954.784
AT ITER 2654 NEW BEST:: SOT 7599 SOS 4784 HAS SOPS 951 HAS SOUS 1125 HAS SOUPS 949 WITH SCORE 953.784
AT ITER 2668 NEW BEST:: SOT 7590 SOS 4787 HAS SOPS 945 HAS SOUS 1119 HAS SOUPS 943 WITH SCORE 947.787
AT ITER 2716 NEW BEST:: SOT 7588 SOS 4784 HAS SOPS 941 HAS SOUS 1115 HAS SOUPS 939 WITH SCORE 943.784
AT ITER 2719 NEW BEST:: SOT 7587 SOS 4782 HAS SOPS 939 HAS SOUS 1114 HAS SOUPS 938 WITH SCORE 942.782
AT ITER 2740 NEW BEST:: SOT 7587 SOS 4782 HAS SOPS 936 HAS SOUS 1111 HAS SOUPS 935 WITH SCORE 939.782
AT ITER 2775 NEW BEST:: SOT 7586 SOS 4781 HAS SOPS 934 HAS SOUS 1109 HAS SOUPS 933 WITH SCORE 937.781
AT ITER 2780 NEW BEST:: SOT 7586 SOS 4780 HAS SOPS 934 HAS SOUS 1109 HAS SOUPS 933 WITH SCORE 937.78
AT ITER 2823 NEW BEST:: SOT 7584 SOS 4778 HAS SOPS 930 HAS SOUS 1105 HAS SOUPS 929 WITH SCORE 933.778
AT ITER 2851 NEW BEST:: SOT 7582 SOS 4773 HAS SOPS 926 HAS SOUS 1101 HAS SOUPS 925 WITH SCORE 929.773
AT ITER 2886 NEW BEST:: SOT 7583 SOS 4774 HAS SOPS 923 HAS SOUS 1098 HAS SOUPS 922 WITH SCORE 926.774
AT ITER 3019 NEW BEST:: SOT 7583 SOS 4770 HAS SOPS 919 HAS SOUS 1094 HAS SOUPS 918 WITH SCORE 922.77
AT ITER 3054 NEW BEST:: SOT 7582 SOS 4770 HAS SOPS 917 HAS SOUS 1092 HAS SOUPS 916 WITH SCORE 920.77
AT ITER 3308 NEW BEST:: SOT 7581 SOS 4769 HAS SOPS 917 HAS SOUS 1092 HAS SOUPS 916 WITH SCORE 920.769
AT ITER 3358 NEW BEST:: SOT 7580 SOS 4767 HAS SOPS 913 HAS SOUS 1088 HAS SOUPS 912 WITH SCORE 916.767
AT ITER 3365 NEW BEST:: SOT 7579 SOS 4766 HAS SOPS 912 HAS SOUS 1087 HAS SOUPS 911 WITH SCORE 915.766
AT ITER 3484 NEW BEST:: SOT 7573 SOS 4763 HAS SOPS 906 HAS SOUS 1081 HAS SOUPS 905 WITH SCORE 909.763
AT ITER 3503 NEW BEST:: SOT 7571 SOS 4761 HAS SOPS 902 HAS SOUS 1077 HAS SOUPS 901 WITH SCORE 905.761
AT ITER 3509 NEW BEST:: SOT 7570 SOS 4761 HAS SOPS 901 HAS SOUS 1076 HAS SOUPS 900 WITH SCORE 904.761
AT ITER 3743 NEW BEST:: SOT 7569 SOS 4759 HAS SOPS 898 HAS SOUS 1073 HAS SOUPS 897 WITH SCORE 901.759
AT ITER 3762 NEW BEST:: SOT 7563 SOS 4760 HAS SOPS 893 HAS SOUS 1068 HAS SOUPS 892 WITH SCORE 896.76
AT ITER 3951 NEW BEST:: SOT 7563 SOS 4759 HAS SOPS 891 HAS SOUS 1066 HAS SOUPS 890 WITH SCORE 894.759
AT ITER 3985 NEW BEST:: SOT 7563 SOS 4758 HAS SOPS 887 HAS SOUS 1062 HAS SOUPS 886 WITH SCORE 890.758
AT ITER 4025 NEW BEST:: SOT 7563 SOS 4758 HAS SOPS 885 HAS SOUS 1060 HAS SOUPS 884 WITH SCORE 888.758
AT ITER 4130 NEW BEST:: SOT 7561 SOS 4755 HAS SOPS 881 HAS SOUS 1056 HAS SOUPS 880 WITH SCORE 884.755
AT ITER 4182 NEW BEST:: SOT 7558 SOS 4751 HAS SOPS 875 HAS SOUS 1050 HAS SOUPS 874 WITH SCORE 878.751
AT ITER 4341 NEW BEST:: SOT 7557 SOS 4750 HAS SOPS 873 HAS SOUS 1048 HAS SOUPS 872 WITH SCORE 876.75
AT ITER 4347 NEW BEST:: SOT 7556 SOS 4749 HAS SOPS 872 HAS SOUS 1047 HAS SOUPS 871 WITH SCORE 875.749
AT ITER 4392 NEW BEST:: SOT 7554 SOS 4747 HAS SOPS 869 HAS SOUS 1044 HAS SOUPS 868 WITH SCORE 872.747
AT ITER 4540 NEW BEST:: SOT 7552 SOS 4745 HAS SOPS 867 HAS SOUS 1042 HAS SOUPS 866 WITH SCORE 870.745
AT ITER 4550 NEW BEST:: SOT 7550 SOS 4744 HAS SOPS 867 HAS SOUS 1042 HAS SOUPS 866 WITH SCORE 870.744
AT ITER 4577 NEW BEST:: SOT 7540 SOS 4741 HAS SOPS 867 HAS SOUS 1041 HAS SOUPS 865 WITH SCORE 869.741
AT ITER 4645 NEW BEST:: SOT 7538 SOS 4738 HAS SOPS 863 HAS SOUS 1037 HAS SOUPS 861 WITH SCORE 865.738
AT ITER 4791 NEW BEST:: SOT 7539 SOS 4736 HAS SOPS 857 HAS SOUS 1031 HAS SOUPS 855 WITH SCORE 859.736
AT ITER 4810 NEW BEST:: SOT 7539 SOS 4735 HAS SOPS 857 HAS SOUS 1031 HAS SOUPS 855 WITH SCORE 859.735
AT ITER 4857 NEW BEST:: SOT 7541 SOS 4736 HAS SOPS 853 HAS SOUS 1031 HAS SOUPS 851 WITH SCORE 855.736
AT ITER 4930 NEW BEST:: SOT 7540 SOS 4734 HAS SOPS 851 HAS SOUS 1029 HAS SOUPS 849 WITH SCORE 853.734
AT ITER 4931 NEW BEST:: SOT 7539 SOS 4733 HAS SOPS 849 HAS SOUS 1027 HAS SOUPS 847 WITH SCORE 851.733
AT ITER 5171 NEW BEST:: SOT 7543 SOS 4739 HAS SOPS 851 HAS SOUS 1026 HAS SOUPS 846 WITH SCORE 850.739
AT ITER 5261 NEW BEST:: SOT 7543 SOS 4738 HAS SOPS 850 HAS SOUS 1025 HAS SOUPS 845 WITH SCORE 849.738
AT ITER 5363 NEW BEST:: SOT 7542 SOS 4735 HAS SOPS 847 HAS SOUS 1024 HAS SOUPS 844 WITH SCORE 848.735
AT ITER 5425 NEW BEST:: SOT 7524 SOS 4734 HAS SOPS 828 HAS SOUS 1005 HAS SOUPS 825 WITH SCORE 829.734
AT ITER 5459 NEW BEST:: SOT 7523 SOS 4733 HAS SOPS 826 HAS SOUS 1003 HAS SOUPS 823 WITH SCORE 827.733
AT ITER 5489 NEW BEST:: SOT 7527 SOS 4737 HAS SOPS 822 HAS SOUS 999 HAS SOUPS 819 WITH SCORE 823.737
AT ITER 5590 NEW BEST:: SOT 7525 SOS 4657 HAS SOPS 823 HAS SOUS 995 HAS SOUPS 818 WITH SCORE 822.657
AT ITER 5621 NEW BEST:: SOT 7526 SOS 4657 HAS SOPS 822 HAS SOUS 994 HAS SOUPS 817 WITH SCORE 821.657
AT ITER 5834 NEW BEST:: SOT 7535 SOS 4655 HAS SOPS 818 HAS SOUS 990 HAS SOUPS 813 WITH SCORE 817.655
AT ITER 6074 NEW BEST:: SOT 7535 SOS 4654 HAS SOPS 816 HAS SOUS 988 HAS SOUPS 811 WITH SCORE 815.654
AT ITER 6123 NEW BEST:: SOT 7534 SOS 4653 HAS SOPS 814 HAS SOUS 986 HAS SOUPS 809 WITH SCORE 813.653
AT ITER 6268 NEW BEST:: SOT 7570 SOS 4651 HAS SOPS 810 HAS SOUS 982 HAS SOUPS 805 WITH SCORE 809.651
AT ITER 6862 NEW BEST:: SOT 7570 SOS 4650 HAS SOPS 808 HAS SOUS 980 HAS SOUPS 803 WITH SCORE 807.65
AT ITER 7186 NEW BEST:: SOT 7572 SOS 4652 HAS SOPS 806 HAS SOUS 978 HAS SOUPS 801 WITH SCORE 805.652
AT ITER 7224 NEW BEST:: SOT 7574 SOS 4652 HAS SOPS 804 HAS SOUS 976 HAS SOUPS 799 WITH SCORE 803.652
AT ITER 7278 NEW BEST:: SOT 7569 SOS 4649 HAS SOPS 802 HAS SOUS 974 HAS SOUPS 797 WITH SCORE 801.649
AT ITER 7352 NEW BEST:: SOT 7570 SOS 4650 HAS SOPS 799 HAS SOUS 971 HAS SOUPS 794 WITH SCORE 798.65
AT ITER 7596 NEW BEST:: SOT 7570 SOS 4648 HAS SOPS 799 HAS SOUS 971 HAS SOUPS 794 WITH SCORE 798.648
AT ITER 7670 NEW BEST:: SOT 7570 SOS 4647 HAS SOPS 799 HAS SOUS 971 HAS SOUPS 794 WITH SCORE 798.647
AT ITER 7762 NEW BEST:: SOT 7568 SOS 4645 HAS SOPS 796 HAS SOUS 968 HAS SOUPS 791 WITH SCORE 795.645
AT ITER 7927 NEW BEST:: SOT 7569 SOS 4647 HAS SOPS 797 HAS SOUS 967 HAS SOUPS 790 WITH SCORE 794.647
AT ITER 8309 NEW BEST:: SOT 7567 SOS 4644 HAS SOPS 793 HAS SOUS 963 HAS SOUPS 786 WITH SCORE 790.644
AT ITER 8530 NEW BEST:: SOT 7566 SOS 4643 HAS SOPS 791 HAS SOUS 961 HAS SOUPS 784 WITH SCORE 788.643
AT ITER 8592 NEW BEST:: SOT 7565 SOS 4642 HAS SOPS 789 HAS SOUS 959 HAS SOUPS 782 WITH SCORE 786.642
AT ITER 8655 NEW BEST:: SOT 7566 SOS 4643 HAS SOPS 788 HAS SOUS 958 HAS SOUPS 781 WITH SCORE 785.643
AT ITER 8962 NEW BEST:: SOT 7564 SOS 4645 HAS SOPS 784 HAS SOUS 954 HAS SOUPS 777 WITH SCORE 781.645
AT ITER 8989 NEW BEST:: SOT 7566 SOS 4643 HAS SOPS 784 HAS SOUS 954 HAS SOUPS 777 WITH SCORE 781.643
AT ITER 9064 NEW BEST:: SOT 7565 SOS 4640 HAS SOPS 780 HAS SOUS 952 HAS SOUPS 775 WITH SCORE 779.64
AT ITER 9066 NEW BEST:: SOT 7568 SOS 4642 HAS SOPS 778 HAS SOUS 950 HAS SOUPS 773 WITH SCORE 777.642
AT ITER 9082 NEW BEST:: SOT 7566 SOS 4639 HAS SOPS 774 HAS SOUS 946 HAS SOUPS 769 WITH SCORE 773.639
AT ITER 9135 NEW BEST:: SOT 7567 SOS 4637 HAS SOPS 770 HAS SOUS 942 HAS SOUPS 765 WITH SCORE 769.637
AT ITER 9220 NEW BEST:: SOT 7559 SOS 4637 HAS SOPS 762 HAS SOUS 934 HAS SOUPS 757 WITH SCORE 761.637
AT ITER 9245 NEW BEST:: SOT 7555 SOS 4640 HAS SOPS 761 HAS SOUS 933 HAS SOUPS 756 WITH SCORE 760.64
AT ITER 9312 NEW BEST:: SOT 7555 SOS 4811 HAS SOPS 757 HAS SOUS 935 HAS SOUPS 755 WITH SCORE 759.811
AT ITER 9322 NEW BEST:: SOT 7553 SOS 4811 HAS SOPS 756 HAS SOUS 934 HAS SOUPS 754 WITH SCORE 758.811
AT ITER 9795 NEW BEST:: SOT 7551 SOS 4812 HAS SOPS 755 HAS SOUS 933 HAS SOUPS 753 WITH SCORE 757.812
AT ITER 9796 NEW BEST:: SOT 7549 SOS 4809 HAS SOPS 751 HAS SOUS 929 HAS SOUPS 749 WITH SCORE 753.809
AT ITER 9927 NEW BEST:: SOT 7548 SOS 4808 HAS SOPS 750 HAS SOUS 928 HAS SOUPS 748 WITH SCORE 752.808
STATE_SPACE STATES 25937424602 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 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 330112676741 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678375683015

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="DiscoveryGPU-PT-10a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DiscoveryGPU-PT-10a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819422700352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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