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.r483-tall-167912695100032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Sudoku-COL-AN04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695100032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.2K Feb 26 09:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 09:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 26 09:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 32K Feb 26 09:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 09:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 09:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 09:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 09:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K 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 1679146230056

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-COL-AN04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 13:30:32] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 13:30:32] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 13:30:33] [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-18 13:30:33] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:30:33] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 523 ms
[2023-03-18 13:30:33] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 112 PT places and 64.0 transition bindings in 17 ms.
[2023-03-18 13:30:33] [INFO ] Unfolded HLPN to a Petri net with 112 places and 64 transitions 256 arcs in 16 ms.
[2023-03-18 13:30:33] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:30:33] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 112 places, 64 transitions and 256 arcs took 15 ms.
Total runtime 765 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 112 places, 64 transitions, 256 arcs.
AT ITER 0 NEW BEST:: SOT 4942 SOS 2638 HAS SOPS 2638 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2640.638
AT ITER 15 NEW BEST:: SOT 4947 SOS 2635 HAS SOPS 2635 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.635
AT ITER 31 NEW BEST:: SOT 4954 SOS 2621 HAS SOPS 2621 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.621
AT ITER 32 NEW BEST:: SOT 4957 SOS 2617 HAS SOPS 2617 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.617
AT ITER 41 NEW BEST:: SOT 4955 SOS 2615 HAS SOPS 2615 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.615
AT ITER 51 NEW BEST:: SOT 4969 SOS 2625 HAS SOPS 2625 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.625
AT ITER 55 NEW BEST:: SOT 4974 SOS 2640 HAS SOPS 2640 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.64
AT ITER 82 NEW BEST:: SOT 4955 SOS 2641 HAS SOPS 2641 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2605.641
AT ITER 89 NEW BEST:: SOT 4948 SOS 2634 HAS SOPS 2634 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.634
AT ITER 95 NEW BEST:: SOT 4936 SOS 2631 HAS SOPS 2631 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.631
AT ITER 96 NEW BEST:: SOT 4930 SOS 2630 HAS SOPS 2630 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.63
AT ITER 121 NEW BEST:: SOT 4923 SOS 2627 HAS SOPS 2627 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2589.627
AT ITER 128 NEW BEST:: SOT 4921 SOS 2628 HAS SOPS 2628 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2587.628
AT ITER 130 NEW BEST:: SOT 4925 SOS 2632 HAS SOPS 2632 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.632
AT ITER 139 NEW BEST:: SOT 4912 SOS 2651 HAS SOPS 2651 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2570.651
AT ITER 142 NEW BEST:: SOT 4897 SOS 2620 HAS SOPS 2620 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.62
AT ITER 143 NEW BEST:: SOT 4897 SOS 2617 HAS SOPS 2617 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.617
AT ITER 144 NEW BEST:: SOT 4897 SOS 2616 HAS SOPS 2616 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.616
AT ITER 156 NEW BEST:: SOT 4884 SOS 2603 HAS SOPS 2603 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.603
AT ITER 169 NEW BEST:: SOT 4864 SOS 2600 HAS SOPS 2600 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.6
AT ITER 170 NEW BEST:: SOT 4864 SOS 2597 HAS SOPS 2597 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.597
AT ITER 175 NEW BEST:: SOT 4856 SOS 2596 HAS SOPS 2596 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.596
AT ITER 183 NEW BEST:: SOT 4854 SOS 2660 HAS SOPS 2660 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.66
AT ITER 191 NEW BEST:: SOT 4835 SOS 2657 HAS SOPS 2657 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.657
AT ITER 202 NEW BEST:: SOT 4828 SOS 2648 HAS SOPS 2648 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2517.648
AT ITER 203 NEW BEST:: SOT 4820 SOS 2640 HAS SOPS 2640 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2509.64
AT ITER 233 NEW BEST:: SOT 4828 SOS 2655 HAS SOPS 2655 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.655
AT ITER 246 NEW BEST:: SOT 4828 SOS 2641 HAS SOPS 2641 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.641
AT ITER 254 NEW BEST:: SOT 4818 SOS 2620 HAS SOPS 2620 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.62
AT ITER 276 NEW BEST:: SOT 4783 SOS 2620 HAS SOPS 2620 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.62
AT ITER 286 NEW BEST:: SOT 4781 SOS 2628 HAS SOPS 2628 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.628
AT ITER 305 NEW BEST:: SOT 4766 SOS 2623 HAS SOPS 2623 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.623
AT ITER 307 NEW BEST:: SOT 4761 SOS 2618 HAS SOPS 2618 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2456.618
AT ITER 313 NEW BEST:: SOT 4761 SOS 2634 HAS SOPS 2634 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.634
AT ITER 314 NEW BEST:: SOT 4761 SOS 2626 HAS SOPS 2626 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.626
AT ITER 325 NEW BEST:: SOT 4761 SOS 2625 HAS SOPS 2625 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.625
AT ITER 331 NEW BEST:: SOT 4752 SOS 2618 HAS SOPS 2618 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.618
AT ITER 368 NEW BEST:: SOT 4752 SOS 2622 HAS SOPS 2622 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.622
AT ITER 370 NEW BEST:: SOT 4751 SOS 2617 HAS SOPS 2617 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.617
AT ITER 373 NEW BEST:: SOT 4741 SOS 2640 HAS SOPS 2640 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.64
AT ITER 381 NEW BEST:: SOT 4736 SOS 2635 HAS SOPS 2635 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.635
AT ITER 384 NEW BEST:: SOT 4768 SOS 2569 HAS SOPS 2569 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2402.569
AT ITER 391 NEW BEST:: SOT 4764 SOS 2564 HAS SOPS 2564 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.564
AT ITER 394 NEW BEST:: SOT 4758 SOS 2558 HAS SOPS 2558 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.558
AT ITER 400 NEW BEST:: SOT 4742 SOS 2553 HAS SOPS 2553 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.553
AT ITER 409 NEW BEST:: SOT 4715 SOS 2532 HAS SOPS 2532 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.532
AT ITER 416 NEW BEST:: SOT 4713 SOS 2531 HAS SOPS 2531 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.531
AT ITER 437 NEW BEST:: SOT 4714 SOS 2523 HAS SOPS 2523 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.523
AT ITER 464 NEW BEST:: SOT 4713 SOS 2522 HAS SOPS 2522 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.522
AT ITER 482 NEW BEST:: SOT 4713 SOS 2521 HAS SOPS 2521 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.521
AT ITER 502 NEW BEST:: SOT 4713 SOS 2509 HAS SOPS 2509 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.509
AT ITER 508 NEW BEST:: SOT 4713 SOS 2500 HAS SOPS 2500 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.5
AT ITER 513 NEW BEST:: SOT 4713 SOS 2496 HAS SOPS 2496 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.496
AT ITER 558 NEW BEST:: SOT 4706 SOS 2493 HAS SOPS 2493 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.493
AT ITER 564 NEW BEST:: SOT 4697 SOS 2485 HAS SOPS 2485 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2328.485
AT ITER 574 NEW BEST:: SOT 4705 SOS 2457 HAS SOPS 2457 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2328.457
AT ITER 582 NEW BEST:: SOT 4696 SOS 2503 HAS SOPS 2503 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.503
AT ITER 614 NEW BEST:: SOT 4685 SOS 2497 HAS SOPS 2497 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.497
AT ITER 628 NEW BEST:: SOT 4675 SOS 2480 HAS SOPS 2480 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.48
AT ITER 638 NEW BEST:: SOT 4665 SOS 2479 HAS SOPS 2479 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.479
AT ITER 655 NEW BEST:: SOT 4665 SOS 2466 HAS SOPS 2466 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.466
AT ITER 679 NEW BEST:: SOT 4661 SOS 2464 HAS SOPS 2464 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.464
AT ITER 712 NEW BEST:: SOT 4652 SOS 2455 HAS SOPS 2455 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.455
AT ITER 713 NEW BEST:: SOT 4649 SOS 2454 HAS SOPS 2454 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.454
AT ITER 756 NEW BEST:: SOT 4649 SOS 2452 HAS SOPS 2452 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.452
AT ITER 758 NEW BEST:: SOT 4647 SOS 2447 HAS SOPS 2447 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.447
AT ITER 772 NEW BEST:: SOT 4641 SOS 2443 HAS SOPS 2443 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.443
AT ITER 781 NEW BEST:: SOT 4659 SOS 2448 HAS SOPS 2448 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.448
AT ITER 800 NEW BEST:: SOT 4653 SOS 2484 HAS SOPS 2484 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.484
AT ITER 807 NEW BEST:: SOT 4653 SOS 2482 HAS SOPS 2482 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.482
AT ITER 809 NEW BEST:: SOT 4653 SOS 2473 HAS SOPS 2473 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.473
AT ITER 813 NEW BEST:: SOT 4650 SOS 2485 HAS SOPS 2485 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.485
AT ITER 823 NEW BEST:: SOT 4638 SOS 2479 HAS SOPS 2479 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.479
AT ITER 841 NEW BEST:: SOT 4637 SOS 2478 HAS SOPS 2478 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.478
AT ITER 842 NEW BEST:: SOT 4637 SOS 2471 HAS SOPS 2471 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.471
AT ITER 861 NEW BEST:: SOT 4628 SOS 2462 HAS SOPS 2462 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.462
AT ITER 915 NEW BEST:: SOT 4628 SOS 2460 HAS SOPS 2460 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.46
AT ITER 919 NEW BEST:: SOT 4627 SOS 2483 HAS SOPS 2483 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.483
AT ITER 920 NEW BEST:: SOT 4615 SOS 2477 HAS SOPS 2477 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.477
AT ITER 941 NEW BEST:: SOT 4615 SOS 2473 HAS SOPS 2473 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.473
AT ITER 944 NEW BEST:: SOT 4615 SOS 2473 HAS SOPS 2473 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.473
AT ITER 954 NEW BEST:: SOT 4615 SOS 2465 HAS SOPS 2465 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.465
AT ITER 965 NEW BEST:: SOT 4602 SOS 2515 HAS SOPS 2515 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.515
AT ITER 976 NEW BEST:: SOT 4602 SOS 2511 HAS SOPS 2511 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.511
AT ITER 988 NEW BEST:: SOT 4599 SOS 2508 HAS SOPS 2508 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.508
AT ITER 998 NEW BEST:: SOT 4599 SOS 2504 HAS SOPS 2504 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.504
AT ITER 1014 NEW BEST:: SOT 4599 SOS 2496 HAS SOPS 2496 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.496
AT ITER 1020 NEW BEST:: SOT 4597 SOS 2494 HAS SOPS 2494 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.494
AT ITER 1039 NEW BEST:: SOT 4590 SOS 2492 HAS SOPS 2492 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.492
AT ITER 1053 NEW BEST:: SOT 4566 SOS 2519 HAS SOPS 2519 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.519
AT ITER 1068 NEW BEST:: SOT 4565 SOS 2518 HAS SOPS 2518 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.518
AT ITER 1099 NEW BEST:: SOT 4565 SOS 2513 HAS SOPS 2513 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.513
AT ITER 1115 NEW BEST:: SOT 4573 SOS 2513 HAS SOPS 2513 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.513
AT ITER 1116 NEW BEST:: SOT 4565 SOS 2498 HAS SOPS 2498 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.498
AT ITER 1118 NEW BEST:: SOT 4566 SOS 2497 HAS SOPS 2497 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.497
AT ITER 1140 NEW BEST:: SOT 4564 SOS 2495 HAS SOPS 2495 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.495
AT ITER 1157 NEW BEST:: SOT 4557 SOS 2492 HAS SOPS 2492 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.492
AT ITER 1166 NEW BEST:: SOT 4553 SOS 2488 HAS SOPS 2488 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.488
AT ITER 1215 NEW BEST:: SOT 4552 SOS 2487 HAS SOPS 2487 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.487
AT ITER 1224 NEW BEST:: SOT 4552 SOS 2485 HAS SOPS 2485 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.485
AT ITER 1225 NEW BEST:: SOT 4552 SOS 2485 HAS SOPS 2485 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.485
AT ITER 1231 NEW BEST:: SOT 4552 SOS 2485 HAS SOPS 2485 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2191.485
AT ITER 1259 NEW BEST:: SOT 4551 SOS 2493 HAS SOPS 2493 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.493
AT ITER 1289 NEW BEST:: SOT 4550 SOS 2492 HAS SOPS 2492 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.492
AT ITER 1294 NEW BEST:: SOT 4548 SOS 2489 HAS SOPS 2489 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.489
AT ITER 1310 NEW BEST:: SOT 4548 SOS 2485 HAS SOPS 2485 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.485
AT ITER 1313 NEW BEST:: SOT 4542 SOS 2479 HAS SOPS 2479 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.479
AT ITER 1331 NEW BEST:: SOT 4534 SOS 2482 HAS SOPS 2482 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.482
AT ITER 1332 NEW BEST:: SOT 4534 SOS 2481 HAS SOPS 2481 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.481
AT ITER 1357 NEW BEST:: SOT 4529 SOS 2486 HAS SOPS 2486 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.486
AT ITER 1374 NEW BEST:: SOT 4529 SOS 2484 HAS SOPS 2484 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.484
AT ITER 1437 NEW BEST:: SOT 4530 SOS 2485 HAS SOPS 2485 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.485
AT ITER 1449 NEW BEST:: SOT 4530 SOS 2483 HAS SOPS 2483 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.483
AT ITER 1472 NEW BEST:: SOT 4530 SOS 2473 HAS SOPS 2473 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.473
AT ITER 1574 NEW BEST:: SOT 4528 SOS 2471 HAS SOPS 2471 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.471
AT ITER 1589 NEW BEST:: SOT 4525 SOS 2469 HAS SOPS 2469 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2156.469
AT ITER 1637 NEW BEST:: SOT 4530 SOS 2464 HAS SOPS 2464 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2156.464
AT ITER 1694 NEW BEST:: SOT 4543 SOS 2459 HAS SOPS 2459 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.459
AT ITER 1743 NEW BEST:: SOT 4543 SOS 2459 HAS SOPS 2459 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.459
AT ITER 1758 NEW BEST:: SOT 4553 SOS 2439 HAS SOPS 2439 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.439
AT ITER 1791 NEW BEST:: SOT 4546 SOS 2432 HAS SOPS 2432 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.432
AT ITER 1796 NEW BEST:: SOT 4543 SOS 2431 HAS SOPS 2431 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.431
AT ITER 1807 NEW BEST:: SOT 4543 SOS 2430 HAS SOPS 2430 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.43
AT ITER 1873 NEW BEST:: SOT 4553 SOS 2432 HAS SOPS 2432 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.432
AT ITER 1875 NEW BEST:: SOT 4530 SOS 2431 HAS SOPS 2431 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.431
AT ITER 1904 NEW BEST:: SOT 4529 SOS 2430 HAS SOPS 2430 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.43
AT ITER 1911 NEW BEST:: SOT 4528 SOS 2443 HAS SOPS 2443 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.443
AT ITER 1996 NEW BEST:: SOT 4527 SOS 2442 HAS SOPS 2442 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.442
AT ITER 2011 NEW BEST:: SOT 4527 SOS 2441 HAS SOPS 2441 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.441
AT ITER 2039 NEW BEST:: SOT 4526 SOS 2439 HAS SOPS 2439 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.439
AT ITER 2066 NEW BEST:: SOT 4525 SOS 2438 HAS SOPS 2438 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.438
AT ITER 2081 NEW BEST:: SOT 4530 SOS 2437 HAS SOPS 2437 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.437
AT ITER 2166 NEW BEST:: SOT 4533 SOS 2431 HAS SOPS 2431 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.431
AT ITER 2175 NEW BEST:: SOT 4532 SOS 2430 HAS SOPS 2430 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.43
AT ITER 2179 NEW BEST:: SOT 4518 SOS 2458 HAS SOPS 2458 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.458
AT ITER 2244 NEW BEST:: SOT 4518 SOS 2453 HAS SOPS 2453 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.453
AT ITER 2266 NEW BEST:: SOT 4518 SOS 2451 HAS SOPS 2451 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.451
AT ITER 2313 NEW BEST:: SOT 4518 SOS 2446 HAS SOPS 2446 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.446
AT ITER 2365 NEW BEST:: SOT 4513 SOS 2445 HAS SOPS 2445 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.445
AT ITER 2468 NEW BEST:: SOT 4502 SOS 2443 HAS SOPS 2443 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.443
AT ITER 2516 NEW BEST:: SOT 4501 SOS 2442 HAS SOPS 2442 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.442
AT ITER 2588 NEW BEST:: SOT 4494 SOS 2439 HAS SOPS 2439 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.439
AT ITER 2596 NEW BEST:: SOT 4493 SOS 2438 HAS SOPS 2438 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2104.438
AT ITER 2658 NEW BEST:: SOT 4488 SOS 2453 HAS SOPS 2453 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.453
AT ITER 2677 NEW BEST:: SOT 4489 SOS 2445 HAS SOPS 2445 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.445
AT ITER 2694 NEW BEST:: SOT 4489 SOS 2433 HAS SOPS 2433 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.433
AT ITER 2703 NEW BEST:: SOT 4489 SOS 2423 HAS SOPS 2423 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.423
AT ITER 2771 NEW BEST:: SOT 4486 SOS 2420 HAS SOPS 2420 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2086.42
AT ITER 2831 NEW BEST:: SOT 4486 SOS 2419 HAS SOPS 2419 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.419
AT ITER 2954 NEW BEST:: SOT 4485 SOS 2418 HAS SOPS 2418 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.418
AT ITER 2957 NEW BEST:: SOT 4485 SOS 2418 HAS SOPS 2418 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.418
AT ITER 3081 NEW BEST:: SOT 4483 SOS 2416 HAS SOPS 2416 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.416
AT ITER 3083 NEW BEST:: SOT 4491 SOS 2419 HAS SOPS 2419 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.419
AT ITER 3106 NEW BEST:: SOT 4489 SOS 2418 HAS SOPS 2418 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.418
AT ITER 3161 NEW BEST:: SOT 4489 SOS 2418 HAS SOPS 2418 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.418
AT ITER 3197 NEW BEST:: SOT 4489 SOS 2417 HAS SOPS 2417 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.417
AT ITER 3206 NEW BEST:: SOT 4488 SOS 2416 HAS SOPS 2416 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.416
AT ITER 3271 NEW BEST:: SOT 4488 SOS 2413 HAS SOPS 2413 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.413
AT ITER 3276 NEW BEST:: SOT 4484 SOS 2411 HAS SOPS 2411 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.411
AT ITER 3313 NEW BEST:: SOT 4484 SOS 2412 HAS SOPS 2412 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.412
AT ITER 3387 NEW BEST:: SOT 4484 SOS 2406 HAS SOPS 2406 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.406
AT ITER 3401 NEW BEST:: SOT 4482 SOS 2404 HAS SOPS 2404 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.404
AT ITER 3424 NEW BEST:: SOT 4482 SOS 2402 HAS SOPS 2402 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.402
AT ITER 3466 NEW BEST:: SOT 4494 SOS 2422 HAS SOPS 2422 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.422
AT ITER 3577 NEW BEST:: SOT 4491 SOS 2419 HAS SOPS 2419 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.419
AT ITER 3633 NEW BEST:: SOT 4486 SOS 2429 HAS SOPS 2429 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2066.429
AT ITER 3671 NEW BEST:: SOT 4485 SOS 2428 HAS SOPS 2428 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.428
AT ITER 3680 NEW BEST:: SOT 4485 SOS 2427 HAS SOPS 2427 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.427
AT ITER 3683 NEW BEST:: SOT 4485 SOS 2426 HAS SOPS 2426 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.426
AT ITER 3684 NEW BEST:: SOT 4475 SOS 2416 HAS SOPS 2416 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.416
AT ITER 3734 NEW BEST:: SOT 4476 SOS 2414 HAS SOPS 2414 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.414
AT ITER 3749 NEW BEST:: SOT 4476 SOS 2413 HAS SOPS 2413 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.413
AT ITER 3773 NEW BEST:: SOT 4484 SOS 2415 HAS SOPS 2415 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.415
AT ITER 3784 NEW BEST:: SOT 4484 SOS 2412 HAS SOPS 2412 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.412
AT ITER 3858 NEW BEST:: SOT 4487 SOS 2410 HAS SOPS 2410 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.41
AT ITER 3863 NEW BEST:: SOT 4494 SOS 2411 HAS SOPS 2411 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.411
AT ITER 3916 NEW BEST:: SOT 4485 SOS 2409 HAS SOPS 2409 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.409
AT ITER 4018 NEW BEST:: SOT 4485 SOS 2403 HAS SOPS 2403 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.403
AT ITER 4039 NEW BEST:: SOT 4485 SOS 2400 HAS SOPS 2400 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.4
AT ITER 4084 NEW BEST:: SOT 4488 SOS 2394 HAS SOPS 2394 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.394
AT ITER 4108 NEW BEST:: SOT 4480 SOS 2392 HAS SOPS 2392 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.392
AT ITER 4114 NEW BEST:: SOT 4488 SOS 2405 HAS SOPS 2405 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.405
AT ITER 4219 NEW BEST:: SOT 4485 SOS 2403 HAS SOPS 2403 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.403
AT ITER 4442 NEW BEST:: SOT 4485 SOS 2403 HAS SOPS 2403 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.403
AT ITER 4459 NEW BEST:: SOT 4483 SOS 2401 HAS SOPS 2401 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.401
AT ITER 4516 NEW BEST:: SOT 4464 SOS 2421 HAS SOPS 2421 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.421
AT ITER 4553 NEW BEST:: SOT 4464 SOS 2421 HAS SOPS 2421 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.421
AT ITER 4564 NEW BEST:: SOT 4464 SOS 2415 HAS SOPS 2415 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.415
AT ITER 4710 NEW BEST:: SOT 4461 SOS 2414 HAS SOPS 2414 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.414
AT ITER 4712 NEW BEST:: SOT 4452 SOS 2409 HAS SOPS 2409 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.409
AT ITER 4718 NEW BEST:: SOT 4450 SOS 2408 HAS SOPS 2408 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 1998.408
AT ITER 4748 NEW BEST:: SOT 4446 SOS 2406 HAS SOPS 2406 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.406
AT ITER 4769 NEW BEST:: SOT 4447 SOS 2405 HAS SOPS 2405 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.405
AT ITER 4979 NEW BEST:: SOT 4447 SOS 2405 HAS SOPS 2405 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.405
AT ITER 5316 NEW BEST:: SOT 4446 SOS 2404 HAS SOPS 2404 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.404
AT ITER 5320 NEW BEST:: SOT 4444 SOS 2402 HAS SOPS 2402 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.402
AT ITER 5330 NEW BEST:: SOT 4441 SOS 2399 HAS SOPS 2399 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.399
AT ITER 5382 NEW BEST:: SOT 4438 SOS 2398 HAS SOPS 2398 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.398
AT ITER 5445 NEW BEST:: SOT 4434 SOS 2394 HAS SOPS 2394 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.394
AT ITER 5455 NEW BEST:: SOT 4434 SOS 2393 HAS SOPS 2393 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.393
AT ITER 5524 NEW BEST:: SOT 4432 SOS 2391 HAS SOPS 2391 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.391
AT ITER 5556 NEW BEST:: SOT 4430 SOS 2391 HAS SOPS 2391 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.391
AT ITER 5691 NEW BEST:: SOT 4430 SOS 2386 HAS SOPS 2386 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.386
AT ITER 5730 NEW BEST:: SOT 4429 SOS 2388 HAS SOPS 2388 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.388
AT ITER 5796 NEW BEST:: SOT 4431 SOS 2384 HAS SOPS 2384 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.384
AT ITER 5878 NEW BEST:: SOT 4441 SOS 2396 HAS SOPS 2396 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.396
AT ITER 6041 NEW BEST:: SOT 4446 SOS 2397 HAS SOPS 2397 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.397
AT ITER 6046 NEW BEST:: SOT 4445 SOS 2396 HAS SOPS 2396 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.396
AT ITER 6099 NEW BEST:: SOT 4445 SOS 2395 HAS SOPS 2395 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.395
AT ITER 6155 NEW BEST:: SOT 4445 SOS 2394 HAS SOPS 2394 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.394
AT ITER 6235 NEW BEST:: SOT 4454 SOS 2397 HAS SOPS 2397 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.397
AT ITER 6260 NEW BEST:: SOT 4452 SOS 2398 HAS SOPS 2398 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.398
AT ITER 6328 NEW BEST:: SOT 4444 SOS 2417 HAS SOPS 2417 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1960.417
AT ITER 6441 NEW BEST:: SOT 4441 SOS 2414 HAS SOPS 2414 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.414
AT ITER 6466 NEW BEST:: SOT 4441 SOS 2412 HAS SOPS 2412 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.412
AT ITER 6564 NEW BEST:: SOT 4441 SOS 2411 HAS SOPS 2411 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.411
AT ITER 6724 NEW BEST:: SOT 4442 SOS 2409 HAS SOPS 2409 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.409
AT ITER 6821 NEW BEST:: SOT 4442 SOS 2408 HAS SOPS 2408 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1953.408
AT ITER 6900 NEW BEST:: SOT 4442 SOS 2407 HAS SOPS 2407 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.407
AT ITER 7061 NEW BEST:: SOT 4441 SOS 2406 HAS SOPS 2406 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.406
AT ITER 7081 NEW BEST:: SOT 4439 SOS 2401 HAS SOPS 2401 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.401
AT ITER 7247 NEW BEST:: SOT 4438 SOS 2400 HAS SOPS 2400 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.4
AT ITER 7504 NEW BEST:: SOT 4438 SOS 2398 HAS SOPS 2398 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.398
AT ITER 7604 NEW BEST:: SOT 4437 SOS 2395 HAS SOPS 2395 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.395
AT ITER 7631 NEW BEST:: SOT 4434 SOS 2392 HAS SOPS 2392 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.392
AT ITER 7798 NEW BEST:: SOT 4433 SOS 2391 HAS SOPS 2391 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.391
AT ITER 7918 NEW BEST:: SOT 4433 SOS 2391 HAS SOPS 2391 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1938.391
AT ITER 8030 NEW BEST:: SOT 4433 SOS 2391 HAS SOPS 2391 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.391
AT ITER 8038 NEW BEST:: SOT 4433 SOS 2390 HAS SOPS 2390 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.39
AT ITER 8351 NEW BEST:: SOT 4432 SOS 2393 HAS SOPS 2393 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.393
AT ITER 8452 NEW BEST:: SOT 4432 SOS 2391 HAS SOPS 2391 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.391
AT ITER 8597 NEW BEST:: SOT 4426 SOS 2393 HAS SOPS 2393 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.393
AT ITER 9451 NEW BEST:: SOT 4423 SOS 2399 HAS SOPS 2399 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.399
AT ITER 9458 NEW BEST:: SOT 4421 SOS 2403 HAS SOPS 2403 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.403
AT ITER 9968 NEW BEST:: SOT 4420 SOS 2402 HAS SOPS 2402 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.402
STATE_SPACE STATES 127545137 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 48 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1134314176 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679146353584

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Sudoku-COL-AN04, 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 r483-tall-167912695100032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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