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.r267-smll-167863542000560.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 Peterson-COL-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 5.3K Feb 25 22:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 22:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 21:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 21:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 22:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 22:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 22:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 22:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K Mar 5 18:23 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 1678929034662

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=Peterson-COL-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 01:10:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 01:10:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 01:10:37] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-16 01:10:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-16 01:10:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 750 ms
[2023-03-16 01:10:38] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 108 PT places and 159.0 transition bindings in 26 ms.
[2023-03-16 01:10:38] [INFO ] Unfolded HLPN to a Petri net with 108 places and 138 transitions 432 arcs in 32 ms.
[2023-03-16 01:10:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-16 01:10:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 108 places, 138 transitions and 432 arcs took 5 ms.
Total runtime 956 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (COL), instance 2
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: 108 places, 138 transitions, 432 arcs.
AT ITER 0 NEW BEST:: SOT 9397 SOS 3356 HAS SOPS 3216 HAS SOUS 2979 HAS SOUPS 2876 WITH SCORE 2879.356
AT ITER 5 NEW BEST:: SOT 9401 SOS 3350 HAS SOPS 3210 HAS SOUS 2973 HAS SOUPS 2870 WITH SCORE 2873.35
AT ITER 14 NEW BEST:: SOT 9397 SOS 3346 HAS SOPS 3206 HAS SOUS 2969 HAS SOUPS 2866 WITH SCORE 2869.346
AT ITER 18 NEW BEST:: SOT 9397 SOS 3343 HAS SOPS 3203 HAS SOUS 2969 HAS SOUPS 2866 WITH SCORE 2869.343
AT ITER 24 NEW BEST:: SOT 9434 SOS 3350 HAS SOPS 3205 HAS SOUS 2964 HAS SOUPS 2861 WITH SCORE 2864.35
AT ITER 29 NEW BEST:: SOT 9452 SOS 3361 HAS SOPS 3194 HAS SOUS 2975 HAS SOUPS 2850 WITH SCORE 2853.361
AT ITER 35 NEW BEST:: SOT 9435 SOS 3327 HAS SOPS 3160 HAS SOUS 2951 HAS SOUPS 2826 WITH SCORE 2829.327
AT ITER 42 NEW BEST:: SOT 9433 SOS 3329 HAS SOPS 3162 HAS SOUS 2947 HAS SOUPS 2822 WITH SCORE 2825.329
AT ITER 49 NEW BEST:: SOT 9451 SOS 3393 HAS SOPS 3153 HAS SOUS 2965 HAS SOUPS 2813 WITH SCORE 2816.393
AT ITER 58 NEW BEST:: SOT 9453 SOS 3383 HAS SOPS 3143 HAS SOUS 2961 HAS SOUPS 2809 WITH SCORE 2812.383
AT ITER 61 NEW BEST:: SOT 9452 SOS 3382 HAS SOPS 3142 HAS SOUS 2960 HAS SOUPS 2808 WITH SCORE 2811.382
AT ITER 62 NEW BEST:: SOT 9447 SOS 3377 HAS SOPS 3137 HAS SOUS 2955 HAS SOUPS 2803 WITH SCORE 2806.377
AT ITER 66 NEW BEST:: SOT 9402 SOS 3362 HAS SOPS 3133 HAS SOUS 2924 HAS SOUPS 2777 WITH SCORE 2780.362
AT ITER 74 NEW BEST:: SOT 9396 SOS 3371 HAS SOPS 3142 HAS SOUS 2912 HAS SOUPS 2765 WITH SCORE 2768.371
AT ITER 85 NEW BEST:: SOT 9398 SOS 3373 HAS SOPS 3130 HAS SOUS 2900 HAS SOUPS 2753 WITH SCORE 2756.373
AT ITER 101 NEW BEST:: SOT 9398 SOS 3373 HAS SOPS 3130 HAS SOUS 2899 HAS SOUPS 2752 WITH SCORE 2755.373
AT ITER 151 NEW BEST:: SOT 9394 SOS 3367 HAS SOPS 3124 HAS SOUS 2895 HAS SOUPS 2748 WITH SCORE 2751.367
AT ITER 155 NEW BEST:: SOT 9379 SOS 3288 HAS SOPS 3096 HAS SOUS 2782 HAS SOUPS 2658 WITH SCORE 2661.288
AT ITER 160 NEW BEST:: SOT 9366 SOS 3262 HAS SOPS 3070 HAS SOUS 2756 HAS SOUPS 2632 WITH SCORE 2635.262
AT ITER 164 NEW BEST:: SOT 9366 SOS 3276 HAS SOPS 3084 HAS SOUS 2752 HAS SOUPS 2628 WITH SCORE 2631.276
AT ITER 165 NEW BEST:: SOT 9347 SOS 3281 HAS SOPS 3000 HAS SOUS 2777 HAS SOUPS 2619 WITH SCORE 2622.281
AT ITER 179 NEW BEST:: SOT 9340 SOS 3260 HAS SOPS 2986 HAS SOUS 2763 HAS SOUPS 2605 WITH SCORE 2608.26
AT ITER 194 NEW BEST:: SOT 9334 SOS 3248 HAS SOPS 2974 HAS SOUS 2745 HAS SOUPS 2587 WITH SCORE 2590.248
AT ITER 197 NEW BEST:: SOT 9317 SOS 3214 HAS SOPS 2940 HAS SOUS 2718 HAS SOUPS 2560 WITH SCORE 2563.214
AT ITER 205 NEW BEST:: SOT 9311 SOS 3264 HAS SOPS 2990 HAS SOUS 2706 HAS SOUPS 2548 WITH SCORE 2551.264
AT ITER 245 NEW BEST:: SOT 9318 SOS 3262 HAS SOPS 2997 HAS SOUS 2706 HAS SOUPS 2548 WITH SCORE 2551.262
AT ITER 252 NEW BEST:: SOT 9324 SOS 3268 HAS SOPS 2988 HAS SOUS 2712 HAS SOUPS 2539 WITH SCORE 2542.268
AT ITER 258 NEW BEST:: SOT 9327 SOS 3265 HAS SOPS 2985 HAS SOUS 2709 HAS SOUPS 2536 WITH SCORE 2539.265
AT ITER 281 NEW BEST:: SOT 9310 SOS 3214 HAS SOPS 2934 HAS SOUS 2675 HAS SOUPS 2502 WITH SCORE 2505.214
AT ITER 306 NEW BEST:: SOT 9280 SOS 3195 HAS SOPS 2915 HAS SOUS 2656 HAS SOUPS 2483 WITH SCORE 2486.195
AT ITER 317 NEW BEST:: SOT 9280 SOS 3188 HAS SOPS 2908 HAS SOUS 2656 HAS SOUPS 2483 WITH SCORE 2486.188
AT ITER 334 NEW BEST:: SOT 9275 SOS 3178 HAS SOPS 2898 HAS SOUS 2646 HAS SOUPS 2473 WITH SCORE 2476.178
AT ITER 351 NEW BEST:: SOT 9275 SOS 3178 HAS SOPS 2896 HAS SOUS 2646 HAS SOUPS 2471 WITH SCORE 2474.178
AT ITER 361 NEW BEST:: SOT 9275 SOS 3163 HAS SOPS 2881 HAS SOUS 2646 HAS SOUPS 2471 WITH SCORE 2474.163
AT ITER 362 NEW BEST:: SOT 9273 SOS 3159 HAS SOPS 2877 HAS SOUS 2642 HAS SOUPS 2467 WITH SCORE 2470.159
AT ITER 374 NEW BEST:: SOT 9254 SOS 3147 HAS SOPS 2865 HAS SOUS 2630 HAS SOUPS 2455 WITH SCORE 2458.147
AT ITER 383 NEW BEST:: SOT 9254 SOS 3147 HAS SOPS 2865 HAS SOUS 2628 HAS SOUPS 2453 WITH SCORE 2456.147
AT ITER 406 NEW BEST:: SOT 9252 SOS 3102 HAS SOPS 2820 HAS SOUS 2621 HAS SOUPS 2446 WITH SCORE 2449.102
AT ITER 436 NEW BEST:: SOT 9250 SOS 3117 HAS SOPS 2835 HAS SOUS 2617 HAS SOUPS 2442 WITH SCORE 2445.117
AT ITER 444 NEW BEST:: SOT 9250 SOS 3113 HAS SOPS 2831 HAS SOUS 2613 HAS SOUPS 2438 WITH SCORE 2441.113
AT ITER 488 NEW BEST:: SOT 9269 SOS 3124 HAS SOPS 2827 HAS SOUS 2624 HAS SOUPS 2434 WITH SCORE 2437.124
AT ITER 500 NEW BEST:: SOT 9262 SOS 3130 HAS SOPS 2826 HAS SOUS 2617 HAS SOUPS 2427 WITH SCORE 2430.13
AT ITER 501 NEW BEST:: SOT 9262 SOS 3109 HAS SOPS 2805 HAS SOUS 2617 HAS SOUPS 2427 WITH SCORE 2430.109
AT ITER 519 NEW BEST:: SOT 9260 SOS 3107 HAS SOPS 2803 HAS SOUS 2615 HAS SOUPS 2425 WITH SCORE 2428.107
AT ITER 520 NEW BEST:: SOT 9259 SOS 3106 HAS SOPS 2802 HAS SOUS 2614 HAS SOUPS 2424 WITH SCORE 2427.106
AT ITER 525 NEW BEST:: SOT 9256 SOS 3095 HAS SOPS 2796 HAS SOUS 2608 HAS SOUPS 2418 WITH SCORE 2421.095
AT ITER 549 NEW BEST:: SOT 9245 SOS 3084 HAS SOPS 2769 HAS SOUS 2619 HAS SOUPS 2413 WITH SCORE 2416.084
AT ITER 557 NEW BEST:: SOT 9249 SOS 3097 HAS SOPS 2765 HAS SOUS 2619 HAS SOUPS 2409 WITH SCORE 2412.097
AT ITER 586 NEW BEST:: SOT 9207 SOS 3058 HAS SOPS 2713 HAS SOUS 2613 HAS SOUPS 2390 WITH SCORE 2393.058
AT ITER 598 NEW BEST:: SOT 9190 SOS 3039 HAS SOPS 2694 HAS SOUS 2597 HAS SOUPS 2374 WITH SCORE 2377.039
AT ITER 607 NEW BEST:: SOT 9198 SOS 3035 HAS SOPS 2688 HAS SOUS 2591 HAS SOUPS 2368 WITH SCORE 2371.035
AT ITER 632 NEW BEST:: SOT 9175 SOS 3047 HAS SOPS 2627 HAS SOUS 2561 HAS SOUPS 2312 WITH SCORE 2315.047
AT ITER 642 NEW BEST:: SOT 9176 SOS 3049 HAS SOPS 2629 HAS SOUS 2558 HAS SOUPS 2309 WITH SCORE 2312.049
AT ITER 660 NEW BEST:: SOT 9167 SOS 3045 HAS SOPS 2625 HAS SOUS 2554 HAS SOUPS 2305 WITH SCORE 2308.045
AT ITER 678 NEW BEST:: SOT 9170 SOS 3042 HAS SOPS 2622 HAS SOUS 2554 HAS SOUPS 2305 WITH SCORE 2308.042
AT ITER 682 NEW BEST:: SOT 9159 SOS 3031 HAS SOPS 2611 HAS SOUS 2543 HAS SOUPS 2294 WITH SCORE 2297.031
AT ITER 707 NEW BEST:: SOT 9156 SOS 3025 HAS SOPS 2605 HAS SOUS 2537 HAS SOUPS 2288 WITH SCORE 2291.025
AT ITER 715 NEW BEST:: SOT 9156 SOS 3015 HAS SOPS 2604 HAS SOUS 2536 HAS SOUPS 2287 WITH SCORE 2290.015
AT ITER 717 NEW BEST:: SOT 9156 SOS 3021 HAS SOPS 2610 HAS SOUS 2535 HAS SOUPS 2286 WITH SCORE 2289.021
AT ITER 718 NEW BEST:: SOT 9156 SOS 3023 HAS SOPS 2610 HAS SOUS 2518 HAS SOUPS 2267 WITH SCORE 2270.023
AT ITER 719 NEW BEST:: SOT 9167 SOS 3039 HAS SOPS 2602 HAS SOUS 2534 HAS SOUPS 2259 WITH SCORE 2262.039
AT ITER 727 NEW BEST:: SOT 9179 SOS 2994 HAS SOPS 2557 HAS SOUS 2532 HAS SOUPS 2257 WITH SCORE 2259.994
AT ITER 810 NEW BEST:: SOT 9182 SOS 2992 HAS SOPS 2555 HAS SOUS 2522 HAS SOUPS 2255 WITH SCORE 2257.992
AT ITER 813 NEW BEST:: SOT 9166 SOS 2966 HAS SOPS 2531 HAS SOUS 2504 HAS SOUPS 2231 WITH SCORE 2233.966
AT ITER 815 NEW BEST:: SOT 9164 SOS 2964 HAS SOPS 2529 HAS SOUS 2502 HAS SOUPS 2229 WITH SCORE 2231.964
AT ITER 824 NEW BEST:: SOT 9164 SOS 2889 HAS SOPS 2515 HAS SOUS 2483 HAS SOUPS 2229 WITH SCORE 2231.889
AT ITER 832 NEW BEST:: SOT 9149 SOS 2870 HAS SOPS 2496 HAS SOUS 2468 HAS SOUPS 2214 WITH SCORE 2216.87
AT ITER 839 NEW BEST:: SOT 9141 SOS 2854 HAS SOPS 2488 HAS SOUS 2460 HAS SOUPS 2206 WITH SCORE 2208.854
AT ITER 851 NEW BEST:: SOT 9140 SOS 2853 HAS SOPS 2487 HAS SOUS 2459 HAS SOUPS 2205 WITH SCORE 2207.853
AT ITER 857 NEW BEST:: SOT 9134 SOS 2843 HAS SOPS 2475 HAS SOUS 2449 HAS SOUPS 2193 WITH SCORE 2195.843
AT ITER 870 NEW BEST:: SOT 9132 SOS 2839 HAS SOPS 2471 HAS SOUS 2445 HAS SOUPS 2189 WITH SCORE 2191.839
AT ITER 873 NEW BEST:: SOT 9111 SOS 2821 HAS SOPS 2456 HAS SOUS 2429 HAS SOUPS 2173 WITH SCORE 2175.821
AT ITER 894 NEW BEST:: SOT 9109 SOS 2819 HAS SOPS 2452 HAS SOUS 2427 HAS SOUPS 2169 WITH SCORE 2171.819
AT ITER 906 NEW BEST:: SOT 9105 SOS 2819 HAS SOPS 2452 HAS SOUS 2423 HAS SOUPS 2165 WITH SCORE 2167.819
AT ITER 907 NEW BEST:: SOT 9094 SOS 2810 HAS SOPS 2449 HAS SOUS 2417 HAS SOUPS 2161 WITH SCORE 2163.81
AT ITER 925 NEW BEST:: SOT 9094 SOS 2804 HAS SOPS 2443 HAS SOUS 2417 HAS SOUPS 2161 WITH SCORE 2163.804
AT ITER 938 NEW BEST:: SOT 9094 SOS 2831 HAS SOPS 2472 HAS SOUS 2412 HAS SOUPS 2156 WITH SCORE 2158.831
AT ITER 962 NEW BEST:: SOT 9094 SOS 2831 HAS SOPS 2470 HAS SOUS 2412 HAS SOUPS 2154 WITH SCORE 2156.831
AT ITER 963 NEW BEST:: SOT 9092 SOS 2830 HAS SOPS 2469 HAS SOUS 2411 HAS SOUPS 2153 WITH SCORE 2155.83
AT ITER 984 NEW BEST:: SOT 9090 SOS 2830 HAS SOPS 2469 HAS SOUS 2407 HAS SOUPS 2149 WITH SCORE 2151.83
AT ITER 997 NEW BEST:: SOT 9078 SOS 2811 HAS SOPS 2457 HAS SOUS 2390 HAS SOUPS 2132 WITH SCORE 2134.811
AT ITER 1004 NEW BEST:: SOT 9077 SOS 2809 HAS SOPS 2455 HAS SOUS 2388 HAS SOUPS 2130 WITH SCORE 2132.809
AT ITER 1039 NEW BEST:: SOT 9094 SOS 2800 HAS SOPS 2446 HAS SOUS 2379 HAS SOUPS 2121 WITH SCORE 2123.8
AT ITER 1040 NEW BEST:: SOT 9090 SOS 2792 HAS SOPS 2441 HAS SOUS 2374 HAS SOUPS 2116 WITH SCORE 2118.792
AT ITER 1053 NEW BEST:: SOT 9088 SOS 2792 HAS SOPS 2441 HAS SOUS 2373 HAS SOUPS 2115 WITH SCORE 2117.792
AT ITER 1059 NEW BEST:: SOT 9088 SOS 2792 HAS SOPS 2447 HAS SOUS 2362 HAS SOUPS 2110 WITH SCORE 2112.792
AT ITER 1077 NEW BEST:: SOT 9085 SOS 2791 HAS SOPS 2444 HAS SOUS 2363 HAS SOUPS 2109 WITH SCORE 2111.791
AT ITER 1119 NEW BEST:: SOT 9085 SOS 2787 HAS SOPS 2442 HAS SOUS 2363 HAS SOUPS 2109 WITH SCORE 2111.787
AT ITER 1164 NEW BEST:: SOT 9079 SOS 2802 HAS SOPS 2441 HAS SOUS 2369 HAS SOUPS 2107 WITH SCORE 2109.802
AT ITER 1197 NEW BEST:: SOT 9078 SOS 2802 HAS SOPS 2440 HAS SOUS 2368 HAS SOUPS 2106 WITH SCORE 2108.802
AT ITER 1205 NEW BEST:: SOT 9078 SOS 2792 HAS SOPS 2440 HAS SOUS 2363 HAS SOUPS 2106 WITH SCORE 2108.792
AT ITER 1239 NEW BEST:: SOT 9077 SOS 2790 HAS SOPS 2438 HAS SOUS 2361 HAS SOUPS 2104 WITH SCORE 2106.79
AT ITER 1244 NEW BEST:: SOT 9075 SOS 2786 HAS SOPS 2434 HAS SOUS 2357 HAS SOUPS 2100 WITH SCORE 2102.786
AT ITER 1249 NEW BEST:: SOT 9083 SOS 2789 HAS SOPS 2449 HAS SOUS 2334 HAS SOUPS 2086 WITH SCORE 2088.789
AT ITER 1253 NEW BEST:: SOT 9088 SOS 2797 HAS SOPS 2444 HAS SOUS 2342 HAS SOUPS 2081 WITH SCORE 2083.797
AT ITER 1281 NEW BEST:: SOT 9087 SOS 2767 HAS SOPS 2414 HAS SOUS 2338 HAS SOUPS 2077 WITH SCORE 2079.767
AT ITER 1288 NEW BEST:: SOT 9087 SOS 2760 HAS SOPS 2407 HAS SOUS 2338 HAS SOUPS 2077 WITH SCORE 2079.76
AT ITER 1292 NEW BEST:: SOT 9076 SOS 2759 HAS SOPS 2406 HAS SOUS 2338 HAS SOUPS 2077 WITH SCORE 2079.759
AT ITER 1293 NEW BEST:: SOT 9089 SOS 2713 HAS SOPS 2360 HAS SOUS 2337 HAS SOUPS 2076 WITH SCORE 2078.713
AT ITER 1303 NEW BEST:: SOT 9088 SOS 2711 HAS SOPS 2357 HAS SOUS 2334 HAS SOUPS 2073 WITH SCORE 2075.711
AT ITER 1333 NEW BEST:: SOT 9086 SOS 2710 HAS SOPS 2355 HAS SOUS 2333 HAS SOUPS 2071 WITH SCORE 2073.71
AT ITER 1342 NEW BEST:: SOT 9085 SOS 2708 HAS SOPS 2355 HAS SOUS 2331 HAS SOUPS 2070 WITH SCORE 2072.708
AT ITER 1415 NEW BEST:: SOT 9086 SOS 2707 HAS SOPS 2354 HAS SOUS 2329 HAS SOUPS 2068 WITH SCORE 2070.707
AT ITER 1425 NEW BEST:: SOT 9073 SOS 2706 HAS SOPS 2357 HAS SOUS 2329 HAS SOUPS 2068 WITH SCORE 2070.706
AT ITER 1443 NEW BEST:: SOT 9070 SOS 2703 HAS SOPS 2354 HAS SOUS 2326 HAS SOUPS 2065 WITH SCORE 2067.703
AT ITER 1444 NEW BEST:: SOT 9079 SOS 2702 HAS SOPS 2329 HAS SOUS 2335 HAS SOUPS 2065 WITH SCORE 2067.702
AT ITER 1464 NEW BEST:: SOT 9078 SOS 2701 HAS SOPS 2328 HAS SOUS 2333 HAS SOUPS 2063 WITH SCORE 2065.701
AT ITER 1466 NEW BEST:: SOT 9077 SOS 2699 HAS SOPS 2326 HAS SOUS 2331 HAS SOUPS 2061 WITH SCORE 2063.699
AT ITER 1491 NEW BEST:: SOT 9077 SOS 2689 HAS SOPS 2316 HAS SOUS 2331 HAS SOUPS 2061 WITH SCORE 2063.689
AT ITER 1566 NEW BEST:: SOT 9077 SOS 2687 HAS SOPS 2314 HAS SOUS 2331 HAS SOUPS 2061 WITH SCORE 2063.687
AT ITER 1576 NEW BEST:: SOT 9075 SOS 2681 HAS SOPS 2308 HAS SOUS 2327 HAS SOUPS 2057 WITH SCORE 2059.681
AT ITER 1595 NEW BEST:: SOT 9077 SOS 2677 HAS SOPS 2304 HAS SOUS 2323 HAS SOUPS 2053 WITH SCORE 2055.677
AT ITER 1606 NEW BEST:: SOT 9077 SOS 2677 HAS SOPS 2302 HAS SOUS 2323 HAS SOUPS 2051 WITH SCORE 2053.677
AT ITER 1607 NEW BEST:: SOT 9071 SOS 2671 HAS SOPS 2296 HAS SOUS 2317 HAS SOUPS 2045 WITH SCORE 2047.671
AT ITER 1612 NEW BEST:: SOT 9065 SOS 2665 HAS SOPS 2308 HAS SOUS 2311 HAS SOUPS 2045 WITH SCORE 2047.665
AT ITER 1640 NEW BEST:: SOT 9063 SOS 2663 HAS SOPS 2306 HAS SOUS 2309 HAS SOUPS 2043 WITH SCORE 2045.663
AT ITER 1798 NEW BEST:: SOT 9060 SOS 2657 HAS SOPS 2300 HAS SOUS 2303 HAS SOUPS 2037 WITH SCORE 2039.657
AT ITER 1836 NEW BEST:: SOT 9059 SOS 2663 HAS SOPS 2306 HAS SOUS 2301 HAS SOUPS 2035 WITH SCORE 2037.663
AT ITER 1856 NEW BEST:: SOT 9056 SOS 2663 HAS SOPS 2306 HAS SOUS 2295 HAS SOUPS 2029 WITH SCORE 2031.663
AT ITER 1949 NEW BEST:: SOT 9058 SOS 2659 HAS SOPS 2302 HAS SOUS 2295 HAS SOUPS 2029 WITH SCORE 2031.659
AT ITER 1955 NEW BEST:: SOT 9059 SOS 2653 HAS SOPS 2296 HAS SOUS 2289 HAS SOUPS 2023 WITH SCORE 2025.653
AT ITER 1987 NEW BEST:: SOT 9059 SOS 2652 HAS SOPS 2295 HAS SOUS 2289 HAS SOUPS 2023 WITH SCORE 2025.652
AT ITER 2020 NEW BEST:: SOT 9054 SOS 2655 HAS SOPS 2298 HAS SOUS 2287 HAS SOUPS 2021 WITH SCORE 2023.655
AT ITER 2024 NEW BEST:: SOT 9051 SOS 2649 HAS SOPS 2292 HAS SOUS 2281 HAS SOUPS 2015 WITH SCORE 2017.649
AT ITER 2054 NEW BEST:: SOT 9045 SOS 2686 HAS SOPS 2286 HAS SOUS 2285 HAS SOUPS 2009 WITH SCORE 2011.686
AT ITER 2158 NEW BEST:: SOT 9044 SOS 2684 HAS SOPS 2284 HAS SOUS 2283 HAS SOUPS 2007 WITH SCORE 2009.684
AT ITER 2171 NEW BEST:: SOT 9044 SOS 2673 HAS SOPS 2273 HAS SOUS 2283 HAS SOUPS 2007 WITH SCORE 2009.673
AT ITER 2186 NEW BEST:: SOT 9043 SOS 2678 HAS SOPS 2278 HAS SOUS 2281 HAS SOUPS 2005 WITH SCORE 2007.678
AT ITER 2195 NEW BEST:: SOT 9043 SOS 2678 HAS SOPS 2278 HAS SOUS 2280 HAS SOUPS 2004 WITH SCORE 2006.678
AT ITER 2241 NEW BEST:: SOT 9043 SOS 2678 HAS SOPS 2275 HAS SOUS 2280 HAS SOUPS 2001 WITH SCORE 2003.678
AT ITER 2274 NEW BEST:: SOT 9043 SOS 2677 HAS SOPS 2275 HAS SOUS 2279 HAS SOUPS 2001 WITH SCORE 2003.677
AT ITER 2294 NEW BEST:: SOT 9046 SOS 2674 HAS SOPS 2275 HAS SOUS 2270 HAS SOUPS 1995 WITH SCORE 1997.674
AT ITER 2296 NEW BEST:: SOT 9046 SOS 2670 HAS SOPS 2271 HAS SOUS 2270 HAS SOUPS 1995 WITH SCORE 1997.67
AT ITER 2417 NEW BEST:: SOT 9045 SOS 2668 HAS SOPS 2269 HAS SOUS 2268 HAS SOUPS 1993 WITH SCORE 1995.668
AT ITER 2436 NEW BEST:: SOT 9045 SOS 2654 HAS SOPS 2255 HAS SOUS 2268 HAS SOUPS 1993 WITH SCORE 1995.654
AT ITER 2449 NEW BEST:: SOT 9056 SOS 2652 HAS SOPS 2253 HAS SOUS 2268 HAS SOUPS 1993 WITH SCORE 1995.652
AT ITER 2575 NEW BEST:: SOT 9056 SOS 2651 HAS SOPS 2252 HAS SOUS 2268 HAS SOUPS 1993 WITH SCORE 1995.651
AT ITER 2651 NEW BEST:: SOT 9055 SOS 2649 HAS SOPS 2250 HAS SOUS 2266 HAS SOUPS 1991 WITH SCORE 1993.649
AT ITER 2690 NEW BEST:: SOT 9052 SOS 2649 HAS SOPS 2250 HAS SOUS 2262 HAS SOUPS 1987 WITH SCORE 1989.649
AT ITER 2723 NEW BEST:: SOT 9051 SOS 2642 HAS SOPS 2248 HAS SOUS 2259 HAS SOUPS 1985 WITH SCORE 1987.642
AT ITER 2732 NEW BEST:: SOT 9051 SOS 2641 HAS SOPS 2247 HAS SOUS 2259 HAS SOUPS 1985 WITH SCORE 1987.641
AT ITER 2819 NEW BEST:: SOT 9049 SOS 2640 HAS SOPS 2246 HAS SOUS 2258 HAS SOUPS 1984 WITH SCORE 1986.64
AT ITER 2839 NEW BEST:: SOT 9048 SOS 2636 HAS SOPS 2244 HAS SOUS 2256 HAS SOUPS 1982 WITH SCORE 1984.636
AT ITER 2846 NEW BEST:: SOT 9048 SOS 2631 HAS SOPS 2239 HAS SOUS 2251 HAS SOUPS 1977 WITH SCORE 1979.631
AT ITER 2921 NEW BEST:: SOT 9048 SOS 2627 HAS SOPS 2235 HAS SOUS 2251 HAS SOUPS 1977 WITH SCORE 1979.627
AT ITER 2947 NEW BEST:: SOT 9045 SOS 2621 HAS SOPS 2229 HAS SOUS 2245 HAS SOUPS 1971 WITH SCORE 1973.621
AT ITER 2968 NEW BEST:: SOT 9050 SOS 2620 HAS SOPS 2231 HAS SOUS 2238 HAS SOUPS 1967 WITH SCORE 1969.62
AT ITER 3059 NEW BEST:: SOT 9049 SOS 2619 HAS SOPS 2230 HAS SOUS 2237 HAS SOUPS 1966 WITH SCORE 1968.619
AT ITER 3065 NEW BEST:: SOT 9048 SOS 2621 HAS SOPS 2232 HAS SOUS 2235 HAS SOUPS 1964 WITH SCORE 1966.621
AT ITER 3103 NEW BEST:: SOT 9047 SOS 2619 HAS SOPS 2230 HAS SOUS 2233 HAS SOUPS 1962 WITH SCORE 1964.619
AT ITER 3104 NEW BEST:: SOT 9044 SOS 2616 HAS SOPS 2224 HAS SOUS 2230 HAS SOUPS 1956 WITH SCORE 1958.616
AT ITER 3123 NEW BEST:: SOT 9035 SOS 2575 HAS SOPS 2222 HAS SOUS 2220 HAS SOUPS 1955 WITH SCORE 1957.575
AT ITER 3161 NEW BEST:: SOT 9036 SOS 2577 HAS SOPS 2214 HAS SOUS 2222 HAS SOUPS 1947 WITH SCORE 1949.577
AT ITER 3289 NEW BEST:: SOT 9034 SOS 2586 HAS SOPS 2206 HAS SOUS 2221 HAS SOUPS 1939 WITH SCORE 1941.586
AT ITER 3344 NEW BEST:: SOT 9032 SOS 2585 HAS SOPS 2206 HAS SOUS 2220 HAS SOUPS 1938 WITH SCORE 1940.585
AT ITER 3346 NEW BEST:: SOT 9032 SOS 2575 HAS SOPS 2196 HAS SOUS 2220 HAS SOUPS 1938 WITH SCORE 1940.575
AT ITER 3360 NEW BEST:: SOT 9049 SOS 2594 HAS SOPS 2195 HAS SOUS 2239 HAS SOUPS 1937 WITH SCORE 1939.594
AT ITER 3367 NEW BEST:: SOT 9046 SOS 2590 HAS SOPS 2194 HAS SOUS 2238 HAS SOUPS 1936 WITH SCORE 1938.59
AT ITER 3379 NEW BEST:: SOT 9041 SOS 2585 HAS SOPS 2189 HAS SOUS 2232 HAS SOUPS 1930 WITH SCORE 1932.585
AT ITER 3471 NEW BEST:: SOT 9041 SOS 2579 HAS SOPS 2183 HAS SOUS 2232 HAS SOUPS 1930 WITH SCORE 1932.579
AT ITER 3567 NEW BEST:: SOT 9040 SOS 2576 HAS SOPS 2181 HAS SOUS 2229 HAS SOUPS 1928 WITH SCORE 1930.576
AT ITER 3658 NEW BEST:: SOT 9038 SOS 2572 HAS SOPS 2179 HAS SOUS 2227 HAS SOUPS 1926 WITH SCORE 1928.572
AT ITER 3715 NEW BEST:: SOT 9036 SOS 2568 HAS SOPS 2175 HAS SOUS 2223 HAS SOUPS 1922 WITH SCORE 1924.568
AT ITER 3774 NEW BEST:: SOT 9034 SOS 2578 HAS SOPS 2178 HAS SOUS 2224 HAS SOUPS 1920 WITH SCORE 1922.578
AT ITER 3920 NEW BEST:: SOT 9032 SOS 2574 HAS SOPS 2174 HAS SOUS 2220 HAS SOUPS 1916 WITH SCORE 1918.574
AT ITER 3975 NEW BEST:: SOT 9032 SOS 2583 HAS SOPS 2183 HAS SOUS 2218 HAS SOUPS 1914 WITH SCORE 1916.583
AT ITER 4083 NEW BEST:: SOT 9030 SOS 2579 HAS SOPS 2183 HAS SOUS 2214 HAS SOUPS 1914 WITH SCORE 1916.579
AT ITER 4157 NEW BEST:: SOT 9030 SOS 2579 HAS SOPS 2183 HAS SOUS 2211 HAS SOUPS 1911 WITH SCORE 1913.579
AT ITER 4198 NEW BEST:: SOT 9030 SOS 2578 HAS SOPS 2183 HAS SOUS 2211 HAS SOUPS 1911 WITH SCORE 1913.578
AT ITER 4202 NEW BEST:: SOT 9041 SOS 2585 HAS SOPS 2194 HAS SOUS 2206 HAS SOUPS 1910 WITH SCORE 1912.585
AT ITER 4313 NEW BEST:: SOT 9040 SOS 2584 HAS SOPS 2193 HAS SOUS 2205 HAS SOUPS 1909 WITH SCORE 1911.584
AT ITER 4337 NEW BEST:: SOT 9039 SOS 2585 HAS SOPS 2191 HAS SOUS 2203 HAS SOUPS 1907 WITH SCORE 1909.585
AT ITER 4361 NEW BEST:: SOT 9037 SOS 2581 HAS SOPS 2184 HAS SOUS 2199 HAS SOUPS 1900 WITH SCORE 1902.581
AT ITER 4371 NEW BEST:: SOT 9036 SOS 2580 HAS SOPS 2184 HAS SOUS 2198 HAS SOUPS 1900 WITH SCORE 1902.58
AT ITER 4377 NEW BEST:: SOT 9031 SOS 2573 HAS SOPS 2180 HAS SOUS 2194 HAS SOUPS 1896 WITH SCORE 1898.573
AT ITER 4473 NEW BEST:: SOT 9031 SOS 2572 HAS SOPS 2179 HAS SOUS 2193 HAS SOUPS 1895 WITH SCORE 1897.572
AT ITER 4624 NEW BEST:: SOT 9030 SOS 2574 HAS SOPS 2181 HAS SOUS 2191 HAS SOUPS 1893 WITH SCORE 1895.574
AT ITER 4742 NEW BEST:: SOT 9031 SOS 2570 HAS SOPS 2180 HAS SOUS 2190 HAS SOUPS 1892 WITH SCORE 1894.57
AT ITER 4758 NEW BEST:: SOT 9028 SOS 2567 HAS SOPS 2177 HAS SOUS 2187 HAS SOUPS 1889 WITH SCORE 1891.567
AT ITER 4766 NEW BEST:: SOT 9040 SOS 2544 HAS SOPS 2187 HAS SOUS 2167 HAS SOUPS 1885 WITH SCORE 1887.544
AT ITER 4849 NEW BEST:: SOT 9039 SOS 2543 HAS SOPS 2188 HAS SOUS 2167 HAS SOUPS 1885 WITH SCORE 1887.543
AT ITER 4860 NEW BEST:: SOT 9038 SOS 2544 HAS SOPS 2189 HAS SOUS 2165 HAS SOUPS 1883 WITH SCORE 1885.544
AT ITER 4924 NEW BEST:: SOT 9036 SOS 2543 HAS SOPS 2188 HAS SOUS 2164 HAS SOUPS 1882 WITH SCORE 1884.543
AT ITER 4953 NEW BEST:: SOT 9035 SOS 2542 HAS SOPS 2187 HAS SOUS 2163 HAS SOUPS 1881 WITH SCORE 1883.542
AT ITER 5046 NEW BEST:: SOT 9034 SOS 2540 HAS SOPS 2185 HAS SOUS 2161 HAS SOUPS 1879 WITH SCORE 1881.54
AT ITER 5083 NEW BEST:: SOT 9034 SOS 2532 HAS SOPS 2177 HAS SOUS 2158 HAS SOUPS 1876 WITH SCORE 1878.532
AT ITER 5093 NEW BEST:: SOT 9038 SOS 2543 HAS SOPS 2173 HAS SOUS 2158 HAS SOUPS 1872 WITH SCORE 1874.543
AT ITER 5127 NEW BEST:: SOT 9052 SOS 2525 HAS SOPS 2153 HAS SOUS 2156 HAS SOUPS 1870 WITH SCORE 1872.525
AT ITER 5130 NEW BEST:: SOT 9051 SOS 2523 HAS SOPS 2151 HAS SOUS 2154 HAS SOUPS 1868 WITH SCORE 1870.523
AT ITER 5178 NEW BEST:: SOT 9045 SOS 2542 HAS SOPS 2161 HAS SOUS 2144 HAS SOUPS 1858 WITH SCORE 1860.542
AT ITER 5195 NEW BEST:: SOT 9045 SOS 2540 HAS SOPS 2159 HAS SOUS 2144 HAS SOUPS 1858 WITH SCORE 1860.54
AT ITER 5251 NEW BEST:: SOT 9043 SOS 2538 HAS SOPS 2157 HAS SOUS 2142 HAS SOUPS 1856 WITH SCORE 1858.538
AT ITER 5295 NEW BEST:: SOT 9042 SOS 2536 HAS SOPS 2155 HAS SOUS 2140 HAS SOUPS 1854 WITH SCORE 1856.536
AT ITER 5302 NEW BEST:: SOT 9042 SOS 2532 HAS SOPS 2149 HAS SOUS 2136 HAS SOUPS 1850 WITH SCORE 1852.532
AT ITER 5385 NEW BEST:: SOT 9042 SOS 2528 HAS SOPS 2149 HAS SOUS 2136 HAS SOUPS 1850 WITH SCORE 1852.528
AT ITER 5513 NEW BEST:: SOT 9042 SOS 2526 HAS SOPS 2147 HAS SOUS 2136 HAS SOUPS 1850 WITH SCORE 1852.526
AT ITER 5519 NEW BEST:: SOT 9042 SOS 2525 HAS SOPS 2147 HAS SOUS 2135 HAS SOUPS 1850 WITH SCORE 1852.525
AT ITER 5534 NEW BEST:: SOT 9042 SOS 2524 HAS SOPS 2146 HAS SOUS 2135 HAS SOUPS 1850 WITH SCORE 1852.524
AT ITER 5566 NEW BEST:: SOT 9041 SOS 2521 HAS SOPS 2143 HAS SOUS 2135 HAS SOUPS 1848 WITH SCORE 1850.521
AT ITER 5872 NEW BEST:: SOT 9041 SOS 2518 HAS SOPS 2140 HAS SOUS 2135 HAS SOUPS 1848 WITH SCORE 1850.518
AT ITER 5965 NEW BEST:: SOT 9040 SOS 2518 HAS SOPS 2140 HAS SOUS 2133 HAS SOUPS 1846 WITH SCORE 1848.518
AT ITER 6102 NEW BEST:: SOT 9035 SOS 2593 HAS SOPS 2215 HAS SOUS 2127 HAS SOUPS 1840 WITH SCORE 1842.593
AT ITER 6633 NEW BEST:: SOT 9036 SOS 2584 HAS SOPS 2215 HAS SOUS 2124 HAS SOUPS 1840 WITH SCORE 1842.584
AT ITER 6691 NEW BEST:: SOT 9036 SOS 2580 HAS SOPS 2215 HAS SOUS 2124 HAS SOUPS 1840 WITH SCORE 1842.58
AT ITER 6725 NEW BEST:: SOT 9036 SOS 2580 HAS SOPS 2213 HAS SOUS 2124 HAS SOUPS 1838 WITH SCORE 1840.58
AT ITER 6999 NEW BEST:: SOT 9033 SOS 2578 HAS SOPS 2207 HAS SOUS 2122 HAS SOUPS 1832 WITH SCORE 1834.578
AT ITER 7021 NEW BEST:: SOT 9033 SOS 2575 HAS SOPS 2204 HAS SOUS 2122 HAS SOUPS 1832 WITH SCORE 1834.575
AT ITER 7096 NEW BEST:: SOT 9033 SOS 2503 HAS SOPS 2132 HAS SOUS 2122 HAS SOUPS 1832 WITH SCORE 1834.503
AT ITER 7107 NEW BEST:: SOT 9033 SOS 2501 HAS SOPS 2132 HAS SOUS 2117 HAS SOUPS 1829 WITH SCORE 1831.501
AT ITER 7316 NEW BEST:: SOT 9028 SOS 2479 HAS SOPS 2132 HAS SOUS 2112 HAS SOUPS 1829 WITH SCORE 1831.479
AT ITER 7327 NEW BEST:: SOT 9027 SOS 2486 HAS SOPS 2139 HAS SOUS 2110 HAS SOUPS 1827 WITH SCORE 1829.486
AT ITER 7350 NEW BEST:: SOT 9026 SOS 2489 HAS SOPS 2142 HAS SOUS 2108 HAS SOUPS 1825 WITH SCORE 1827.489
AT ITER 7464 NEW BEST:: SOT 9026 SOS 2488 HAS SOPS 2141 HAS SOUS 2108 HAS SOUPS 1825 WITH SCORE 1827.488
AT ITER 7606 NEW BEST:: SOT 9015 SOS 2480 HAS SOPS 2129 HAS SOUS 2109 HAS SOUPS 1822 WITH SCORE 1824.48
AT ITER 7674 NEW BEST:: SOT 9013 SOS 2476 HAS SOPS 2128 HAS SOUS 2105 HAS SOUPS 1821 WITH SCORE 1823.476
AT ITER 7791 NEW BEST:: SOT 9001 SOS 2477 HAS SOPS 2130 HAS SOUS 2096 HAS SOUPS 1812 WITH SCORE 1814.477
AT ITER 7804 NEW BEST:: SOT 9013 SOS 2468 HAS SOPS 2121 HAS SOUS 2094 HAS SOUPS 1810 WITH SCORE 1812.468
AT ITER 8258 NEW BEST:: SOT 9013 SOS 2468 HAS SOPS 2121 HAS SOUS 2093 HAS SOUPS 1809 WITH SCORE 1811.468
AT ITER 8327 NEW BEST:: SOT 9009 SOS 2462 HAS SOPS 2120 HAS SOUS 2084 HAS SOUPS 1805 WITH SCORE 1807.462
AT ITER 8458 NEW BEST:: SOT 9010 SOS 2458 HAS SOPS 2117 HAS SOUS 2084 HAS SOUPS 1805 WITH SCORE 1807.458
AT ITER 8509 NEW BEST:: SOT 9009 SOS 2457 HAS SOPS 2113 HAS SOUS 2083 HAS SOUPS 1803 WITH SCORE 1805.457
AT ITER 8514 NEW BEST:: SOT 9009 SOS 2455 HAS SOPS 2111 HAS SOUS 2083 HAS SOUPS 1803 WITH SCORE 1805.455
AT ITER 8617 NEW BEST:: SOT 9009 SOS 2455 HAS SOPS 2110 HAS SOUS 2082 HAS SOUPS 1802 WITH SCORE 1804.455
AT ITER 8861 NEW BEST:: SOT 9001 SOS 2450 HAS SOPS 2101 HAS SOUS 2073 HAS SOUPS 1793 WITH SCORE 1795.45
AT ITER 9181 NEW BEST:: SOT 9002 SOS 2448 HAS SOPS 2101 HAS SOUS 2072 HAS SOUPS 1793 WITH SCORE 1795.448
AT ITER 9343 NEW BEST:: SOT 9002 SOS 2447 HAS SOPS 2100 HAS SOUS 2072 HAS SOUPS 1793 WITH SCORE 1795.447
AT ITER 9453 NEW BEST:: SOT 9002 SOS 2446 HAS SOPS 2096 HAS SOUS 2068 HAS SOUPS 1789 WITH SCORE 1791.446
AT ITER 9465 NEW BEST:: SOT 9001 SOS 2445 HAS SOPS 2096 HAS SOUS 2067 HAS SOUPS 1789 WITH SCORE 1791.445
AT ITER 9869 NEW BEST:: SOT 9000 SOS 2443 HAS SOPS 2094 HAS SOUS 2065 HAS SOUPS 1787 WITH SCORE 1789.443
AT ITER 9986 NEW BEST:: SOT 9000 SOS 2443 HAS SOPS 2094 HAS SOUS 2063 HAS SOUPS 1785 WITH SCORE 1787.443
STATE_SPACE STATES 20754 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 62262 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678929043380

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="Peterson-COL-2"
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 Peterson-COL-2, 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 r267-smll-167863542000560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-2.tgz
mv Peterson-COL-2 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 ;