fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r084-smll-167814406300262
Last Updated
May 14, 2023

About the Execution of LoLA for CloudDeployment-PT-5b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
102.075 4296.00 11379.00 67.60 F normal

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.r084-smll-167814406300262.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 lola
Input is CloudDeployment-PT-5b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r084-smll-167814406300262
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678226034226

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=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudDeployment-PT-5b
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT CloudDeployment-PT-5b
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

FORMULA QuasiLiveness FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678226038522

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES TRANSITION t484
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-QuasiLiveness-1480.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t2096
sara: try reading problem file stateEquationProblem-QuasiLiveness-1457.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2096: false
lola: INDIVIDUAL RESULTS
lola: t2400: void (by not produced)
lola: t2401: void (by not produced)
lola: t2402: void (by not produced)
lola: t2403: void (by not produced)
lola: t2404: void (by not produced)
lola: t2405: void (by not produced)
lola: t2406: void (by not produced)
lola: t2407: void (by not produced)
lola: t2408: void (by not produced)
lola: t2409: void (by not produced)
lola: t2410: void (by not produced)
lola: t2411: void (by not produced)
lola: t2412: void (by not produced)
lola: t2413: void (by not produced)
lola: t2414: void (by not produced)
lola: t2415: void (by not produced)
lola: t2416: void (by not produced)
lola: t2417: void (by not produced)
lola: t2418: void (by not produced)
lola: t2419: void (by not produced)
lola: t2420: void (by not produced)
lola: t2421: void (by not produced)
lola: t2422: void (by not produced)
lola: t2423: void (by not produced)
lola: t2424: void (by not produced)
lola: t2425: void (by not produced)
lola: t2426: void (by not produced)
lola: t2427: void (by not produced)
lola: t2428: void (by not produced)
lola: t2429: void (by not produced)
lola: t2430: void (by not produced)
lola: t2431: void (by not produced)
lola: t1100: true (by goal oriented search)
lola: t2432: void (by not produced)
lola: t2433: void (by not produced)
lola: t1102: true (by goal oriented search)
lola: t2434: void (by not produced)
lola: t2435: void (by not produced)
lola: t2436: void (by not produced)
lola: t2437: void (by not produced)
lola: t2438: void (by not produced)
lola: t2439: void (by not produced)
lola: t1108: void (by not produced)
lola: t2440: void (by not produced)
lola: t2441: void (by not produced)
lola: t2442: void (by not produced)
lola: t2443: void (by not produced)
lola: t2444: void (by not produced)
lola: t1113: void (by not produced)
lola: t2445: void (by not produced)
lola: t2446: void (by not produced)
lola: t2447: void (by not produced)
lola: t2448: void (by not produced)
lola: t1117: void (by not produced)
lola: t2449: void (by not produced)
lola: t1119: void (by not produced)
lola: t2450: void (by not produced)
lola: t2451: void (by not produced)
lola: t2452: void (by not produced)
lola: t2453: void (by not produced)
lola: t2454: void (by not produced)
lola: t1123: void (by not produced)
lola: t2455: void (by not produced)
lola: t2456: void (by not produced)
lola: t2457: void (by not produced)
lola: t2458: void (by not produced)
lola: t2459: void (by not produced)
lola: t1128: void (by not produced)
lola: t2460: void (by not produced)
lola: t2461: void (by not produced)
lola: t2462: void (by not produced)
lola: t2463: void (by not produced)
lola: t2464: void (by not produced)
lola: t2465: void (by not produced)
lola: t2466: void (by not produced)
lola: t2467: void (by not produced)
lola: t1136: void (by not produced)
lola: t2468: void (by not produced)
lola: t2469: void (by not produced)
lola: t1138: void (by not produced)
lola: t2470: void (by not produced)
lola: t2471: void (by not produced)
lola: t1140: true (by goal oriented search)
lola: t2472: void (by not produced)
lola: t2473: void (by not produced)
lola: t2474: void (by not produced)
lola: t2475: void (by not produced)
lola: t2476: void (by not produced)
lola: t2477: void (by not produced)
lola: t1146: true (by goal oriented search)
lola: t2478: void (by not produced)
lola: t2479: void (by not produced)
lola: t1149: true (by goal oriented search)
lola: t2480: void (by not produced)
lola: t2481: void (by not produced)
lola: t2482: void (by not produced)
lola: t1151: true (by find path)
lola: t2483: void (by not produced)
lola: t2484: void (by not produced)
lola: t1153: true (by find path)
lola: t2485: void (by not produced)
lola: t1154: true (by find path)
lola: t2486: void (by not produced)
lola: t2487: void (by not produced)
lola: t1156: true (by find path)
lola: t2488: void (by not produced)
lola: t2489: void (by not produced)
lola: t2490: void (by not produced)
lola: t2491: void (by not produced)
lola: t2492: void (by not produced)
lola: t2493: void (by not produced)
lola: t2494: void (by not produced)
lola: t2495: void (by not produced)
lola: t2496: void (by not produced)
lola: t2497: void (by not produced)
lola: t1166: true (by find path)
lola: t2498: void (by not produced)
lola: t2499: void (by not produced)
lola: t1169: true (by find path)
lola: t1173: true (by find path)
lola: t1180: true (by find path)
lola: t1186: true (by find path)
lola: t1189: true (by find path)
lola: t800: true (by goal oriented search)
lola: t802: true (by goal oriented search)
lola: t808: void (by not produced)
lola: t1197: true (by find path)
lola: t813: void (by not produced)
lola: t817: void (by not produced)
lola: t819: void (by not produced)
lola: t823: void (by not produced)
lola: t828: void (by not produced)
lola: t836: void (by not produced)
lola: t838: void (by not produced)
lola: t840: true (by goal oriented search)
lola: t846: true (by goal oriented search)
lola: t849: true (by goal oriented search)
lola: t851: true (by goal oriented search)
lola: t853: true (by find path)
lola: t854: true (by find path)
lola: t856: true (by find path)
lola: t866: true (by find path)
lola: t869: true (by find path)
lola: t873: true (by find path)
lola: t880: true (by find path)
lola: t886: true (by find path)
lola: t889: true (by find path)
lola: t897: true (by find path)
lola: t10: true (by find path)
lola: t13: true (by find path)
lola: t2500: void (by not produced)
lola: t2501: void (by not produced)
lola: t2502: void (by not produced)
lola: t2503: void (by not produced)
lola: t2504: void (by not produced)
lola: t2505: void (by not produced)
lola: t2506: void (by not produced)
lola: t2507: void (by not produced)
lola: t2508: void (by not produced)
lola: t2509: void (by not produced)
lola: t52: true (by find path)
lola: t2510: void (by not produced)
lola: t57: true (by find path)
lola: t2511: void (by not produced)
lola: t2512: void (by not produced)
lola: t2513: void (by not produced)
lola: t2514: void (by not produced)
lola: t2515: void (by not produced)
lola: t2516: void (by not produced)
lola: t2517: void (by not produced)
lola: t2518: void (by not produced)
lola: t2519: void (by not produced)
lola: t61: true (by find path)
lola: t2520: void (by not produced)
lola: t67: true (by find path)
lola: t2521: void (by not produced)
lola: t2522: void (by not produced)
lola: t2523: void (by not produced)
lola: t2524: void (by not produced)
lola: t2525: void (by not produced)
lola: t2526: void (by not produced)
lola: t2527: void (by not produced)
lola: t2528: void (by not produced)
lola: t2529: void (by not produced)
lola: t73: true (by find path)
lola: t75: true (by find path)
lola: t2530: void (by not produced)
lola: t2531: void (by not produced)
lola: t2532: void (by not produced)
lola: t1201: true (by find path)
lola: t79: true (by find path)
lola: t2533: void (by not produced)
lola: t2534: void (by not produced)
lola: t2535: void (by not produced)
lola: t1204: true (by find path)
lola: t2536: void (by not produced)
lola: t2537: void (by not produced)
lola: t2538: void (by not produced)
lola: t2539: void (by not produced)
lola: t85: true (by find path)
lola: t2540: void (by not produced)
lola: t87: true (by find path)
lola: t2541: void (by not produced)
lola: t2542: void (by not produced)
lola: t2543: void (by not produced)
lola: t2544: void (by not produced)
lola: t2545: void (by not produced)
lola: t2546: void (by not produced)
lola: t2547: void (by not produced)
lola: t2548: void (by not produced)
lola: t2549: void (by not produced)
lola: t91: true (by find path)
lola: t2550: void (by not produced)
lola: t2551: void (by not produced)
lola: t2552: void (by not produced)
lola: t99: true (by find path)
lola: t2553: void (by not produced)
lola: t2554: void (by not produced)
lola: t1223: true (by find path)
lola: t2555: void (by not produced)
lola: t2556: void (by not produced)
lola: t2557: void (by not produced)
lola: t1226: true (by find path)
lola: t2558: void (by not produced)
lola: t2559: void (by not produced)
lola: t2560: void (by not produced)
lola: t2561: void (by not produced)
lola: t2562: void (by not produced)
lola: t2563: void (by not produced)
lola: t2564: void (by not produced)
lola: t2565: void (by not produced)
lola: t2567: void (by not produced)
lola: t2568: void (by not produced)
lola: t2569: void (by not produced)
lola: t2570: void (by not produced)
lola: t2571: void (by not produced)
lola: t2572: void (by not produced)
lola: t1241: true (by find path)
lola: t2573: void (by not produced)
lola: t2574: void (by not produced)
lola: t2575: void (by not produced)
lola: t2576: void (by not produced)
lola: t2577: void (by not produced)
lola: t2578: void (by not produced)
lola: t2579: void (by not produced)
lola: t2580: void (by not produced)
lola: t2581: void (by not produced)
lola: t2582: void (by not produced)
lola: t1251: true (by find path)
lola: t2583: void (by not produced)
lola: t2584: void (by not produced)
lola: t2585: void (by not produced)
lola: t2586: void (by not produced)
lola: t2587: void (by not produced)
lola: t1256: true (by find path)
lola: t2588: void (by not produced)
lola: t2589: void (by not produced)
lola: t2590: true (by find path)
lola: t2591: void (by not produced)
lola: t1260: true (by find path)
lola: t2592: void (by not produced)
lola: t2593: void (by not produced)
lola: t2594: void (by not produced)
lola: t2595: void (by not produced)
lola: t1266: true (by find path)
lola: t2598: void (by not produced)
lola: t2599: void (by not produced)
lola: t1272: true (by find path)
lola: t1274: true (by find path)
lola: t1278: true (by find path)
lola: t1284: true (by find path)
lola: t1286: true (by find path)
lola: t901: true (by find path)
lola: t904: true (by find path)
lola: t1290: true (by find path)
lola: t1298: true (by find path)
lola: t923: true (by find path)
lola: t926: true (by find path)
lola: t941: true (by find path)
lola: t957: true (by find path)
lola: t961: true (by find path)
lola: t967: true (by find path)
lola: t973: true (by find path)
lola: t979: true (by find path)
lola: t985: true (by find path)
lola: t991: true (by find path)
lola: t999: true (by find path)
lola: t2600: void (by not produced)
lola: t2601: void (by not produced)
lola: t2602: void (by not produced)
lola: t2603: void (by not produced)
lola: t2604: void (by not produced)
lola: t2605: void (by not produced)
lola: t2606: void (by not produced)
lola: t2607: void (by not produced)
lola: t2608: void (by not produced)
lola: t2609: void (by not produced)
lola: t2610: void (by not produced)
lola: t2611: void (by not produced)
lola: t2612: void (by not produced)
lola: t2613: void (by not produced)
lola: t2614: void (by not produced)
lola: t2615: void (by not produced)
lola: t2616: void (by not produced)
lola: t2617: void (by not produced)
lola: t2618: void (by not produced)
lola: t2619: void (by not produced)
lola: t2620: void (by not produced)
lola: t2621: void (by not produced)
lola: t2622: void (by not produced)
lola: t2623: void (by not produced)
lola: t2624: void (by not produced)
lola: t2625: void (by not produced)
lola: t2626: void (by not produced)
lola: t2627: void (by not produced)
lola: t2628: void (by not produced)
lola: t2629: void (by not produced)
lola: t2630: void (by not produced)
lola: t2631: void (by not produced)
lola: t1300: true (by find path)
lola: t2632: void (by not produced)
lola: t2633: void (by not produced)
lola: t2634: void (by not produced)
lola: t2635: void (by not produced)
lola: t2636: void (by not produced)
lola: t2637: void (by not produced)
lola: t1306: true (by find path)
lola: t2638: void (by not produced)
lola: t2639: void (by not produced)
lola: t2640: void (by not produced)
lola: t2641: void (by not produced)
lola: t1310: true (by find path)
lola: t2642: void (by not produced)
lola: t2643: void (by not produced)
lola: t2644: void (by not produced)
lola: t1313: true (by find path)
lola: t2645: void (by not produced)
lola: t2646: void (by not produced)
lola: t1315: true (by find path)
lola: t2647: void (by not produced)
lola: t2648: void (by not produced)
lola: t2649: void (by not produced)
lola: t1318: true (by find path)
lola: t2650: true (by find path)
lola: t2651: void (by not produced)
lola: t2652: void (by not produced)
lola: t2653: void (by not produced)
lola: t2654: void (by not produced)
lola: t2655: void (by not produced)
lola: t1326: true (by find path)
lola: t2658: void (by not produced)
lola: t2659: void (by not produced)
lola: t2660: void (by not produced)
lola: t2661: void (by not produced)
lola: t2662: void (by not produced)
lola: t2663: void (by not produced)
lola: t2664: void (by not produced)
lola: t2665: void (by not produced)
lola: t1334: true (by find path)
lola: t2666: void (by not produced)
lola: t2667: void (by not produced)
lola: t2668: void (by not produced)
lola: t2669: void (by not produced)
lola: t1338: true (by find path)
lola: t2670: void (by not produced)
lola: t2671: void (by not produced)
lola: t1340: true (by find path)
lola: t2672: void (by not produced)
lola: t2673: void (by not produced)
lola: t1342: true (by find path)
lola: t2674: void (by not produced)
lola: t2675: void (by not produced)
lola: t2676: void (by not produced)
lola: t1345: true (by find path)
lola: t2677: void (by not produced)
lola: t2678: void (by not produced)
lola: t2679: void (by not produced)
lola: t2680: void (by not produced)
lola: t2681: void (by not produced)
lola: t1350: true (by find path)
lola: t2682: void (by not produced)
lola: t2683: void (by not produced)
lola: t2684: void (by not produced)
lola: t2685: void (by not produced)
lola: t2686: void (by not produced)
lola: t2687: void (by not produced)
lola: t2688: void (by not produced)
lola: t1357: true (by find path)
lola: t2689: void (by not produced)
lola: t2690: void (by not produced)
lola: t2691: void (by not produced)
lola: t2692: void (by not produced)
lola: t2693: void (by not produced)
lola: t2694: void (by not produced)
lola: t1363: void (by not produced)
lola: t2695: void (by not produced)
lola: t2696: void (by not produced)
lola: t2697: void (by not produced)
lola: t2698: void (by not produced)
lola: t1367: void (by not produced)
lola: t2699: void (by not produced)
lola: t1370: void (by not produced)
lola: t1372: void (by not produced)
lola: t1375: void (by not produced)
lola: t1383: void (by not produced)
lola: t1391: void (by not produced)
lola: t1395: void (by not produced)
lola: t1397: void (by not produced)
lola: t1399: void (by not produced)
lola: t2700: void (by not produced)
lola: t2701: void (by not produced)
lola: t2702: void (by not produced)
lola: t2703: void (by not produced)
lola: t2704: void (by not produced)
lola: t2705: void (by not produced)
lola: t2706: void (by not produced)
lola: t2707: void (by not produced)
lola: t2708: void (by not produced)
lola: t2709: void (by not produced)
lola: t2710: true (by find path)
lola: t2711: void (by not produced)
lola: t2712: void (by not produced)
lola: t2713: void (by not produced)
lola: t2714: void (by not produced)
lola: t2715: void (by not produced)
lola: t2718: void (by not produced)
lola: t2719: void (by not produced)
lola: t2720: void (by not produced)
lola: t2721: void (by not produced)
lola: t2722: void (by not produced)
lola: t2723: void (by not produced)
lola: t2724: void (by not produced)
lola: t2725: void (by not produced)
lola: t2726: void (by not produced)
lola: t2727: void (by not produced)
lola: t2728: void (by not produced)
lola: t2729: void (by not produced)
lola: t2730: void (by not produced)
lola: t2731: void (by not produced)
lola: t2732: void (by not produced)
lola: t1401: true (by find path)
lola: t2733: void (by not produced)
lola: t2734: void (by not produced)
lola: t2735: void (by not produced)
lola: t2736: void (by not produced)
lola: t2737: void (by not produced)
lola: t2738: void (by not produced)
lola: t2739: void (by not produced)
lola: t2740: void (by not produced)
lola: t2741: void (by not produced)
lola: t2742: void (by not produced)
lola: t2743: void (by not produced)
lola: t2744: void (by not produced)
lola: t2745: void (by not produced)
lola: t2746: void (by not produced)
lola: t2747: void (by not produced)
lola: t2748: void (by not produced)
lola: t2749: void (by not produced)
lola: t2750: void (by not produced)
lola: t2751: void (by not produced)
lola: t2752: void (by not produced)
lola: t2753: void (by not produced)
lola: t2754: void (by not produced)
lola: t2755: void (by not produced)
lola: t2756: void (by not produced)
lola: t2757: void (by not produced)
lola: t2758: void (by not produced)
lola: t2759: void (by not produced)
lola: t2760: void (by not produced)
lola: t2761: void (by not produced)
lola: t2762: void (by not produced)
lola: t2763: void (by not produced)
lola: t2764: void (by not produced)
lola: t2765: void (by not produced)
lola: t2766: void (by not produced)
lola: t2767: void (by not produced)
lola: t2768: void (by not produced)
lola: t2769: void (by not produced)
lola: t1439: true (by find path)
lola: t2770: true (by find path)
lola: t2771: void (by not produced)
lola: t2772: void (by not produced)
lola: t1441: true (by find path)
lola: t2773: void (by not produced)
lola: t2774: void (by not produced)
lola: t2775: void (by not produced)
lola: t2778: void (by not produced)
lola: t2779: void (by not produced)
lola: t1448: true (by find path)
lola: t2780: void (by not produced)
lola: t2781: void (by not produced)
lola: t1450: true (by find path)
lola: t2782: void (by not produced)
lola: t2783: void (by not produced)
lola: t1452: true (by find path)
lola: t2784: void (by not produced)
lola: t1453: true (by find path)
lola: t2785: void (by not produced)
lola: t2786: void (by not produced)
lola: t1455: true (by find path)
lola: t2787: void (by not produced)
lola: t2788: void (by not produced)
lola: t1457: true (by find path)
lola: t2789: void (by not produced)
lola: t1459: true (by find path)
lola: t2790: void (by not produced)
lola: t2791: void (by not produced)
lola: t2792: void (by not produced)
lola: t1461: true (by find path)
lola: t2793: void (by not produced)
lola: t2794: void (by not produced)
lola: t2795: void (by not produced)
lola: t2796: void (by not produced)
lola: t1465: true (by find path)
lola: t2797: void (by not produced)
lola: t2798: void (by not produced)
lola: t2799: void (by not produced)
lola: t1468: true (by find path)
lola: t1472: true (by find path)
lola: t1479: true (by find path)
lola: t1485: true (by find path)
lola: t1488: true (by find path)
lola: t1496: true (by find path)
lola: t2800: void (by not produced)
lola: t2801: void (by not produced)
lola: t2802: void (by not produced)
lola: t2803: void (by not produced)
lola: t2804: void (by not produced)
lola: t2805: void (by not produced)
lola: t2806: void (by not produced)
lola: t2807: void (by not produced)
lola: t2808: void (by not produced)
lola: t2809: void (by not produced)
lola: t2810: void (by not produced)
lola: t2811: void (by not produced)
lola: t2812: void (by not produced)
lola: t2813: void (by not produced)
lola: t2814: void (by not produced)
lola: t2815: void (by not produced)
lola: t2816: void (by not produced)
lola: t2817: void (by not produced)
lola: t2818: void (by not produced)
lola: t2819: void (by not produced)
lola: t2820: void (by not produced)
lola: t2821: void (by not produced)
lola: t2822: void (by not produced)
lola: t2823: void (by not produced)
lola: t2824: void (by not produced)
lola: t2825: void (by not produced)
lola: t2826: void (by not produced)
lola: t2827: void (by not produced)
lola: t2828: void (by not produced)
lola: t2829: void (by not produced)
lola: t2830: true (by find path)
lola: t2831: void (by not produced)
lola: t1500: true (by find path)
lola: t2832: void (by not produced)
lola: t2833: void (by not produced)
lola: t2834: void (by not produced)
lola: t1503: true (by find path)
lola: t2835: void (by not produced)
lola: t2838: void (by not produced)
lola: t2839: void (by not produced)
lola: t2840: void (by not produced)
lola: t2841: void (by not produced)
lola: t2842: void (by not produced)
lola: t2843: void (by not produced)
lola: t2844: void (by not produced)
lola: t2845: void (by not produced)
lola: t2846: void (by not produced)
lola: t2847: void (by not produced)
lola: t2848: void (by not produced)
lola: t2849: void (by not produced)
lola: t2850: void (by not produced)
lola: t2851: void (by not produced)
lola: t2852: void (by not produced)
lola: t2853: void (by not produced)
lola: t1522: true (by find path)
lola: t2854: void (by not produced)
lola: t2855: void (by not produced)
lola: t2856: void (by not produced)
lola: t1525: true (by find path)
lola: t2857: void (by not produced)
lola: t2858: void (by not produced)
lola: t2859: void (by not produced)
lola: t2860: void (by not produced)
lola: t2861: void (by not produced)
lola: t2862: void (by not produced)
lola: t2863: void (by not produced)
lola: t2864: void (by not produced)
lola: t2865: void (by not produced)
lola: t2866: void (by not produced)
lola: t2867: true (by find path)
lola: t2868: true (by find path)
lola: t2869: true (by find path)
lola: t2870: true (by find path)
lola: t2871: true (by find path)
lola: t1540: true (by find path)
lola: t2872: true (by find path)
lola: t2873: true (by find path)
lola: t1542: void (by not produced)
lola: t2874: true (by find path)
lola: t1543: void (by not produced)
lola: t2875: true (by find path)
lola: t1544: void (by not produced)
lola: t1545: void (by not produced)
lola: t2877: true (by find path)
lola: t1546: void (by not produced)
lola: t1547: void (by not produced)
lola: t1548: void (by not produced)
lola: t1549: void (by not produced)
lola: t2880: true (by find path)
lola: t2881: true (by find path)
lola: t1550: void (by not produced)
lola: t1551: void (by not produced)
lola: t2883: true (by find path)
lola: t1552: void (by not produced)
lola: t1553: void (by not produced)
lola: t2885: true (by find path)
lola: t1554: void (by not produced)
lola: t1555: void (by not produced)
lola: t1556: void (by not produced)
lola: t2888: true (by find path)
lola: t1557: void (by not produced)
lola: t2889: true (by find path)
lola: t1558: void (by not produced)
lola: t1559: void (by not produced)
lola: t2891: true (by goal oriented search)
lola: t1560: void (by not produced)
lola: t2892: true (by find path)
lola: t1561: void (by not produced)
lola: t2893: true (by find path)
lola: t1562: void (by not produced)
lola: t2894: true (by find path)
lola: t1563: void (by not produced)
lola: t2895: true (by find path)
lola: t1564: void (by not produced)
lola: t2896: true (by goal oriented search)
lola: t1565: void (by not produced)
lola: t2897: true (by find path)
lola: t1566: void (by not produced)
lola: t2898: true (by find path)
lola: t1567: void (by not produced)
lola: t2899: true (by find path)
lola: t1568: void (by not produced)
lola: t1569: void (by not produced)
lola: t1570: void (by not produced)
lola: t1571: void (by not produced)
lola: t1572: void (by not produced)
lola: t1573: void (by not produced)
lola: t1574: void (by not produced)
lola: t1575: void (by not produced)
lola: t1576: void (by not produced)
lola: t1577: void (by not produced)
lola: t1578: void (by not produced)
lola: t1579: void (by not produced)
lola: t1580: void (by not produced)
lola: t1581: void (by not produced)
lola: t1582: void (by not produced)
lola: t1583: void (by not produced)
lola: t1584: void (by not produced)
lola: t1585: void (by not produced)
lola: t1586: void (by not produced)
lola: t1587: void (by not produced)
lola: t1588: void (by not produced)
lola: t1589: void (by not produced)
lola: t1590: void (by not produced)
lola: t1591: void (by not produced)
lola: t1592: void (by not produced)
lola: t1593: void (by not produced)
lola: t1594: void (by not produced)
lola: t1595: void (by not produced)
lola: t1596: void (by not produced)
lola: t1597: void (by not produced)
lola: t1598: void (by not produced)
lola: t1599: void (by not produced)
lola: t2900: true (by find path)
lola: t2901: true (by goal oriented search)
lola: t2902: true (by find path)
lola: t2903: true (by find path)
lola: t2904: true (by goal oriented search)
lola: t2905: true (by find path)
lola: t2906: true (by find path)
lola: t2907: true (by goal oriented search)
lola: t2908: true (by find path)
lola: t2909: true (by goal oriented search)
lola: t2910: true (by find path)
lola: t2911: true (by find path)
lola: t2912: true (by goal oriented search)
lola: t2913: true (by find path)
lola: t2914: true (by find path)
lola: t2915: void (by not produced)
lola: t2916: true (by find path)
lola: t2917: void (by not produced)
lola: t2918: void (by not produced)
lola: t2919: void (by not produced)
lola: t2920: void (by not produced)
lola: t2921: void (by not produced)
lola: t2922: void (by not produced)
lola: t2923: true (by find path)
lola: t2924: true (by find path)
lola: t2925: true (by find path)
lola: t2926: void (by not produced)
lola: t2927: void (by not produced)
lola: t2928: true (by find path)
lola: t2929: true (by find path)
lola: t2930: true (by find path)
lola: t2931: true (by find path)
lola: t1600: void (by not produced)
lola: t2932: true (by find path)
lola: t1601: void (by not produced)
lola: t2933: true (by find path)
lola: t1602: void (by not produced)
lola: t2934: true (by find path)
lola: t1603: void (by not produced)
lola: t1604: void (by not produced)
lola: t2936: true (by find path)
lola: t1605: void (by not produced)
lola: t1606: void (by not produced)
lola: t2938: true (by find path)
lola: t1607: void (by not produced)
lola: t1608: void (by not produced)
lola: t1609: void (by not produced)
lola: t2940: true (by find path)
lola: t1610: void (by not produced)
lola: t2942: true (by goal oriented search)
lola: t1611: void (by not produced)
lola: t2943: true (by find path)
lola: t1612: void (by not produced)
lola: t2944: true (by find path)
lola: t1613: void (by not produced)
lola: t2945: true (by find path)
lola: t1614: void (by not produced)
lola: t2946: true (by find path)
lola: t1615: void (by not produced)
lola: t2947: true (by find path)
lola: t1616: void (by not produced)
lola: t2948: true (by find path)
lola: t1617: void (by not produced)
lola: t2949: true (by find path)
lola: t1618: void (by not produced)
lola: t1619: void (by not produced)
lola: t2950: true (by goal oriented search)
lola: t2951: true (by find path)
lola: t1620: void (by not produced)
lola: t2952: true (by goal oriented search)
lola: t1621: void (by not produced)
lola: t2953: true (by find path)
lola: t1622: void (by not produced)
lola: t2954: true (by find path)
lola: t1623: void (by not produced)
lola: t2955: true (by goal oriented search)
lola: t1624: void (by not produced)
lola: t2956: void (by not produced)
lola: t1625: void (by not produced)
lola: t2957: true (by goal oriented search)
lola: t1626: void (by not produced)
lola: t2958: void (by not produced)
lola: t1627: void (by not produced)
lola: t2959: void (by not produced)
lola: t1628: void (by not produced)
lola: t1629: void (by not produced)
lola: t2960: void (by not produced)
lola: t2961: void (by not produced)
lola: t1630: void (by not produced)
lola: t2962: true (by find path)
lola: t1631: void (by not produced)
lola: t2963: true (by find path)
lola: t1632: void (by not produced)
lola: t2964: true (by find path)
lola: t1633: void (by not produced)
lola: t2965: true (by goal oriented search)
lola: t1634: void (by not produced)
lola: t2966: true (by goal oriented search)
lola: t1635: void (by not produced)
lola: t2967: true (by find path)
lola: t1636: void (by not produced)
lola: t2968: true (by find path)
lola: t1637: void (by not produced)
lola: t2969: void (by not produced)
lola: t1638: void (by not produced)
lola: t1639: void (by not produced)
lola: t2970: true (by find path)
lola: t2971: void (by not produced)
lola: t1640: void (by not produced)
lola: t2972: void (by not produced)
lola: t1641: void (by not produced)
lola: t2973: void (by not produced)
lola: t1642: void (by not produced)
lola: t2974: void (by not produced)
lola: t1643: void (by not produced)
lola: t1644: void (by not produced)
lola: t1645: void (by not produced)
lola: t2977: true (by find path)
lola: t1646: void (by not produced)
lola: t2978: true (by find path)
lola: t1647: void (by not produced)
lola: t2979: true (by find path)
lola: t1648: void (by not produced)
lola: t1649: void (by not produced)
lola: t2980: true (by find path)
lola: t2981: void (by not produced)
lola: t1650: void (by not produced)
lola: t2982: true (by find path)
lola: t1651: void (by not produced)
lola: t2983: true (by find path)
lola: t1652: void (by not produced)
lola: t2984: true (by goal oriented search)
lola: t1653: void (by not produced)
lola: t2985: true (by find path)
lola: t1654: void (by not produced)
lola: t2986: true (by goal oriented search)
lola: t1655: void (by not produced)
lola: t2987: true (by find path)
lola: t1656: void (by not produced)
lola: t2988: true (by goal oriented search)
lola: t1657: void (by not produced)
lola: t2989: true (by find path)
lola: t1658: void (by not produced)
lola: t1659: void (by not produced)
lola: t2990: true (by find path)
lola: t2991: true (by find path)
lola: t1660: void (by not produced)
lola: t2992: true (by find path)
lola: t1661: void (by not produced)
lola: t1662: void (by not produced)
lola: t2994: true (by find path)
lola: t1663: void (by not produced)
lola: t1664: void (by not produced)
lola: t2996: true (by find path)
lola: t1665: void (by not produced)
lola: t2997: true (by find path)
lola: t1666: void (by not produced)
lola: t2998: true (by goal oriented search)
lola: t1667: void (by not produced)
lola: t2999: void (by not produced)
lola: t1668: void (by not produced)
lola: t1669: void (by not produced)
lola: t1670: void (by not produced)
lola: t1671: void (by not produced)
lola: t1672: void (by not produced)
lola: t1673: void (by not produced)
lola: t1674: void (by not produced)
lola: t1675: void (by not produced)
lola: t1676: void (by not produced)
lola: t1677: void (by not produced)
lola: t1678: void (by not produced)
lola: t1679: void (by not produced)
lola: t1680: void (by not produced)
lola: t1681: void (by not produced)
lola: t1682: void (by not produced)
lola: t1683: void (by not produced)
lola: t1684: void (by not produced)
lola: t1685: void (by not produced)
lola: t1686: void (by not produced)
lola: t1687: void (by not produced)
lola: t1688: void (by not produced)
lola: t1689: void (by not produced)
lola: t1690: void (by not produced)
lola: t1691: void (by not produced)
lola: t1692: void (by not produced)
lola: t1693: void (by not produced)
lola: t1694: void (by not produced)
lola: t1695: void (by not produced)
lola: t1696: void (by not produced)
lola: t1697: void (by not produced)
lola: t1698: void (by not produced)
lola: t1699: void (by not produced)
lola: t1700: void (by not produced)
lola: t1701: void (by not produced)
lola: t1702: void (by not produced)
lola: t1703: void (by not produced)
lola: t1704: void (by not produced)
lola: t1705: void (by not produced)
lola: t1706: void (by not produced)
lola: t1707: void (by not produced)
lola: t1708: void (by not produced)
lola: t1709: void (by not produced)
lola: t1710: void (by not produced)
lola: t1711: void (by not produced)
lola: t1712: void (by not produced)
lola: t1713: void (by not produced)
lola: t1714: void (by not produced)
lola: t1715: void (by not produced)
lola: t1716: void (by not produced)
lola: t1717: void (by not produced)
lola: t1718: void (by not produced)
lola: t1719: void (by not produced)
lola: t1720: void (by not produced)
lola: t1721: void (by not produced)
lola: t1722: void (by not produced)
lola: t1723: void (by not produced)
lola: t1724: void (by not produced)
lola: t1725: void (by not produced)
lola: t1726: void (by not produced)
lola: t1727: void (by not produced)
lola: t1728: void (by not produced)
lola: t1729: void (by not produced)
lola: t1730: void (by not produced)
lola: t1731: void (by not produced)
lola: t1732: void (by not produced)
lola: t1733: void (by not produced)
lola: t1734: void (by not produced)
lola: t1735: void (by not produced)
lola: t1736: void (by not produced)
lola: t1737: void (by not produced)
lola: t1738: void (by not produced)
lola: t1739: void (by not produced)
lola: t1740: void (by not produced)
lola: t1741: void (by not produced)
lola: t1742: void (by not produced)
lola: t1743: void (by not produced)
lola: t1744: void (by not produced)
lola: t1745: void (by not produced)
lola: t1746: void (by not produced)
lola: t1747: void (by not produced)
lola: t1748: void (by not produced)
lola: t1749: void (by not produced)
lola: t1750: void (by not produced)
lola: t1751: void (by not produced)
lola: t1752: void (by not produced)
lola: t1753: void (by not produced)
lola: t1754: void (by not produced)
lola: t1755: void (by not produced)
lola: t1756: void (by not produced)
lola: t1757: void (by not produced)
lola: t1758: void (by not produced)
lola: t1759: void (by not produced)
lola: t1760: void (by not produced)
lola: t1761: void (by not produced)
lola: t1762: void (by not produced)
lola: t1763: void (by not produced)
lola: t1764: void (by not produced)
lola: t1765: void (by not produced)
lola: t1766: void (by not produced)
lola: t1767: void (by not produced)
lola: t1768: void (by not produced)
lola: t1769: void (by not produced)
lola: t1770: void (by not produced)
lola: t1771: void (by not produced)
lola: t1772: void (by not produced)
lola: t1773: void (by not produced)
lola: t1774: void (by not produced)
lola: t1775: void (by not produced)
lola: t1776: void (by not produced)
lola: t1777: void (by not produced)
lola: t1778: void (by not produced)
lola: t1779: void (by not produced)
lola: t1780: void (by not produced)
lola: t1781: void (by not produced)
lola: t1782: void (by not produced)
lola: t1783: void (by not produced)
lola: t1784: void (by not produced)
lola: t1785: void (by not produced)
lola: t1786: void (by not produced)
lola: t1787: void (by not produced)
lola: t1788: void (by not produced)
lola: t1789: void (by not produced)
lola: t1790: void (by not produced)
lola: t1791: void (by not produced)
lola: t1792: void (by not produced)
lola: t1793: void (by not produced)
lola: t1794: void (by not produced)
lola: t1795: void (by not produced)
lola: t1796: void (by not produced)
lola: t1797: void (by not produced)
lola: t1798: void (by not produced)
lola: t1799: void (by not produced)
lola: t1800: void (by not produced)
lola: t1801: void (by not produced)
lola: t1802: void (by not produced)
lola: t1803: void (by not produced)
lola: t1804: void (by not produced)
lola: t1805: void (by not produced)
lola: t1806: void (by not produced)
lola: t1807: void (by not produced)
lola: t1808: void (by not produced)
lola: t1809: void (by not produced)
lola: t1810: void (by not produced)
lola: t1811: void (by not produced)
lola: t1812: void (by not produced)
lola: t1813: void (by not produced)
lola: t1814: void (by not produced)
lola: t1815: void (by not produced)
lola: t1816: void (by not produced)
lola: t1817: void (by not produced)
lola: t1818: void (by not produced)
lola: t1819: void (by not produced)
lola: t1820: void (by not produced)
lola: t1821: void (by not produced)
lola: t1822: void (by not produced)
lola: t1823: void (by not produced)
lola: t1824: void (by not produced)
lola: t1825: void (by not produced)
lola: t1826: void (by not produced)
lola: t1827: void (by not produced)
lola: t1828: void (by not produced)
lola: t1829: void (by not produced)
lola: t1830: void (by not produced)
lola: t1831: void (by not produced)
lola: t1832: void (by not produced)
lola: t1833: void (by not produced)
lola: t1834: void (by not produced)
lola: t1835: void (by not produced)
lola: t1836: void (by not produced)
lola: t1837: void (by not produced)
lola: t1838: void (by not produced)
lola: t1839: void (by not produced)
lola: t1840: void (by not produced)
lola: t1841: void (by not produced)
lola: t1842: void (by not produced)
lola: t1843: void (by not produced)
lola: t1844: void (by not produced)
lola: t1845: void (by not produced)
lola: t1846: void (by not produced)
lola: t1847: void (by not produced)
lola: t1848: void (by not produced)
lola: t1849: void (by not produced)
lola: t1850: void (by not produced)
lola: t1851: void (by not produced)
lola: t1852: void (by not produced)
lola: t1853: void (by not produced)
lola: t1854: void (by not produced)
lola: t1855: void (by not produced)
lola: t1856: void (by not produced)
lola: t1857: void (by not produced)
lola: t1858: void (by not produced)
lola: t1859: void (by not produced)
lola: t1860: void (by not produced)
lola: t1861: void (by not produced)
lola: t1862: void (by not produced)
lola: t1863: void (by not produced)
lola: t1864: void (by not produced)
lola: t1865: void (by not produced)
lola: t1866: void (by not produced)
lola: t1867: void (by not produced)
lola: t1868: void (by not produced)
lola: t1869: void (by not produced)
lola: t1870: void (by not produced)
lola: t1871: void (by not produced)
lola: t1872: void (by not produced)
lola: t1873: void (by not produced)
lola: t1874: void (by not produced)
lola: t1875: void (by not produced)
lola: t1876: void (by not produced)
lola: t1877: void (by not produced)
lola: t1878: void (by not produced)
lola: t1879: void (by not produced)
lola: t1880: void (by not produced)
lola: t1881: void (by not produced)
lola: t1882: void (by not produced)
lola: t1883: void (by not produced)
lola: t1884: void (by not produced)
lola: t1885: void (by not produced)
lola: t1886: void (by not produced)
lola: t1887: void (by not produced)
lola: t1888: void (by not produced)
lola: t1889: void (by not produced)
lola: t1890: void (by not produced)
lola: t1891: void (by not produced)
lola: t1892: void (by not produced)
lola: t1893: void (by not produced)
lola: t1894: void (by not produced)
lola: t1895: void (by not produced)
lola: t1896: void (by not produced)
lola: t1897: void (by not produced)
lola: t1898: void (by not produced)
lola: t1899: void (by not produced)
lola: t1900: void (by not produced)
lola: t1901: void (by not produced)
lola: t1902: void (by not produced)
lola: t1903: void (by not produced)
lola: t1904: void (by not produced)
lola: t1905: void (by not produced)
lola: t1906: void (by not produced)
lola: t1907: void (by not produced)
lola: t1908: void (by not produced)
lola: t1909: void (by not produced)
lola: t1910: void (by not produced)
lola: t1911: void (by not produced)
lola: t1912: void (by not produced)
lola: t1913: void (by not produced)
lola: t1914: void (by not produced)
lola: t1915: void (by not produced)
lola: t1916: void (by not produced)
lola: t1917: void (by not produced)
lola: t1918: void (by not produced)
lola: t1919: void (by not produced)
lola: t1920: void (by not produced)
lola: t1921: void (by not produced)
lola: t1922: void (by not produced)
lola: t1923: void (by not produced)
lola: t1924: void (by not produced)
lola: t1925: void (by not produced)
lola: t1926: void (by not produced)
lola: t1927: void (by not produced)
lola: t1928: void (by not produced)
lola: t1929: void (by not produced)
lola: t1930: void (by not produced)
lola: t1931: void (by not produced)
lola: t1932: void (by not produced)
lola: t1933: void (by not produced)
lola: t1934: void (by not produced)
lola: t1935: void (by not produced)
lola: t1936: void (by not produced)
lola: t1937: void (by not produced)
lola: t1938: void (by not produced)
lola: t1939: void (by not produced)
lola: t1940: void (by not produced)
lola: t1941: void (by not produced)
lola: t1942: void (by not produced)
lola: t1943: void (by not produced)
lola: t1944: void (by not produced)
lola: t1945: void (by not produced)
lola: t1946: void (by not produced)
lola: t1947: void (by not produced)
lola: t1948: void (by not produced)
lola: t1949: void (by not produced)
lola: t1950: void (by not produced)
lola: t1951: void (by not produced)
lola: t1952: void (by not produced)
lola: t1953: void (by not produced)
lola: t1954: void (by not produced)
lola: t1955: void (by not produced)
lola: t1956: void (by not produced)
lola: t1957: void (by not produced)
lola: t1958: void (by not produced)
lola: t1959: void (by not produced)
lola: t1960: void (by not produced)
lola: t1961: void (by not produced)
lola: t1962: void (by not produced)
lola: t1963: void (by not produced)
lola: t1964: void (by not produced)
lola: t1965: void (by not produced)
lola: t1966: void (by not produced)
lola: t1967: void (by not produced)
lola: t1968: void (by not produced)
lola: t1969: void (by not produced)
lola: t1970: void (by not produced)
lola: t1971: void (by not produced)
lola: t1972: void (by not produced)
lola: t1973: void (by not produced)
lola: t1974: void (by not produced)
lola: t1975: void (by not produced)
lola: t1976: void (by not produced)
lola: t1977: void (by not produced)
lola: t1978: void (by not produced)
lola: t1979: void (by not produced)
lola: t1980: void (by not produced)
lola: t1981: void (by not produced)
lola: t1982: void (by not produced)
lola: t1983: void (by not produced)
lola: t1984: void (by not produced)
lola: t1985: void (by not produced)
lola: t1986: void (by not produced)
lola: t1987: void (by not produced)
lola: t1988: void (by not produced)
lola: t1989: void (by not produced)
lola: t1990: void (by not produced)
lola: t1991: void (by not produced)
lola: t1992: void (by not produced)
lola: t1993: void (by not produced)
lola: t1994: void (by not produced)
lola: t1995: void (by not produced)
lola: t1996: void (by not produced)
lola: t1997: void (by not produced)
lola: t1998: void (by not produced)
lola: t1999: void (by not produced)
lola: t3000: true (by find path)
lola: t3001: true (by find path)
lola: t3002: true (by find path)
lola: t3003: void (by not produced)
lola: t3004: void (by not produced)
lola: t3005: void (by not produced)
lola: t3006: void (by not produced)
lola: t3007: void (by not produced)
lola: t3008: true (by goal oriented search)
lola: t3009: true (by goal oriented search)
lola: t3010: void (by not produced)
lola: t3011: true (by find path)
lola: t3012: true (by find path)
lola: t3013: true (by find path)
lola: t3014: true (by find path)
lola: t3015: true (by find path)
lola: t3016: true (by find path)
lola: t3017: true (by find path)
lola: t3018: true (by find path)
lola: t3019: true (by find path)
lola: t3020: true (by find path)
lola: t3021: true (by find path)
lola: t3022: true (by find path)
lola: t3023: true (by find path)
lola: t3024: true (by find path)
lola: t3025: true (by find path)
lola: t3026: true (by find path)
lola: t3027: true (by find path)
lola: t3028: true (by find path)
lola: t3029: true (by find path)
lola: t3030: true (by find path)
lola: t3031: true (by find path)
lola: t3032: true (by find path)
lola: t3033: true (by find path)
lola: t3034: true (by find path)
lola: t3036: true (by find path)
lola: t3037: true (by find path)
lola: t3039: true (by find path)
lola: t3042: true (by find path)
lola: t3043: true (by find path)
lola: t3045: true (by find path)
lola: t3047: true (by find path)
lola: t3048: true (by find path)
lola: t3049: void (by not produced)
lola: t3050: void (by not produced)
lola: t3051: true (by find path)
lola: t3052: true (by find path)
lola: t3053: true (by find path)
lola: t3054: void (by not produced)
lola: t3055: void (by not produced)
lola: t3056: void (by not produced)
lola: t3057: void (by not produced)
lola: t3058: void (by not produced)
lola: t3059: void (by not produced)
lola: t3060: true (by goal oriented search)
lola: t3061: void (by not produced)
lola: t3062: void (by not produced)
lola: t3063: void (by not produced)
lola: t3064: void (by not produced)
lola: t3065: void (by not produced)
lola: t3066: void (by not produced)
lola: t3067: void (by not produced)
lola: t3068: void (by not produced)
lola: t3069: void (by not produced)
lola: t3070: void (by not produced)
lola: t3071: void (by not produced)
lola: t3072: void (by not produced)
lola: t3073: void (by not produced)
lola: t3074: void (by not produced)
lola: t3075: void (by not produced)
lola: t3076: void (by not produced)
lola: t3077: void (by not produced)
lola: t3078: void (by not produced)
lola: t3079: void (by not produced)
lola: t3080: void (by not produced)
lola: t3081: void (by not produced)
lola: t3082: void (by not produced)
lola: t3083: void (by not produced)
lola: t3084: void (by not produced)
lola: t3085: void (by not produced)
lola: t3086: void (by not produced)
lola: t3087: void (by not produced)
lola: t3088: void (by not produced)
lola: t3089: void (by not produced)
lola: t3090: void (by not produced)
lola: t3091: void (by not produced)
lola: t3092: void (by not produced)
lola: t3093: void (by not produced)
lola: t3094: void (by not produced)
lola: t3095: void (by not produced)
lola: t3096: void (by not produced)
lola: t3097: void (by not produced)
lola: t3098: void (by not produced)
lola: t3099: void (by not produced)
lola: t101: true (by find path)
lola: t107: true (by find path)
lola: t111: true (by find path)
lola: t114: true (by find path)
lola: t116: true (by find path)
lola: t119: true (by find path)
lola: t127: true (by find path)
lola: t135: true (by find path)
lola: t139: true (by find path)
lola: t141: true (by find path)
lola: t143: true (by find path)
lola: t146: true (by find path)
lola: t151: true (by goal oriented search)
lola: t158: true (by goal oriented search)
lola: t164: void (by not produced)
lola: t168: void (by not produced)
lola: t171: void (by not produced)
lola: t173: void (by not produced)
lola: t176: void (by not produced)
lola: t184: void (by not produced)
lola: t192: void (by not produced)
lola: t196: void (by not produced)
lola: t198: void (by not produced)
lola: t3100: void (by not produced)
lola: t3101: void (by not produced)
lola: t3102: void (by not produced)
lola: t3103: void (by not produced)
lola: t3104: void (by not produced)
lola: t3105: void (by not produced)
lola: t3106: void (by not produced)
lola: t3107: true (by find path)
lola: t3108: true (by find path)
lola: t3109: true (by find path)
lola: t3110: true (by find path)
lola: t3111: true (by find path)
lola: t3112: true (by find path)
lola: t3113: true (by find path)
lola: t3114: true (by find path)
lola: t3115: true (by find path)
lola: t3116: true (by find path)
lola: t3117: true (by find path)
lola: t3118: true (by find path)
lola: t3119: true (by find path)
lola: t3120: true (by find path)
lola: t3121: true (by find path)
lola: t3122: true (by find path)
lola: t3123: true (by find path)
lola: t3124: true (by find path)
lola: t3125: true (by find path)
lola: t3126: true (by find path)
lola: t3127: true (by find path)
lola: t3128: true (by find path)
lola: t3129: true (by find path)
lola: t3130: true (by find path)
lola: t3131: true (by find path)
lola: t200: void (by not produced)
lola: t202: true (by goal oriented search)
lola: t208: void (by not produced)
lola: t213: void (by not produced)
lola: t217: void (by not produced)
lola: t219: void (by not produced)
lola: t223: void (by not produced)
lola: t228: void (by not produced)
lola: t236: void (by not produced)
lola: t238: void (by not produced)
lola: t240: true (by goal oriented search)
lola: t242: true (by goal oriented search)
lola: t246: true (by find path)
lola: t249: true (by find path)
lola: t251: true (by find path)
lola: t253: true (by find path)
lola: t254: true (by find path)
lola: t256: true (by find path)
lola: t258: true (by find path)
lola: t260: true (by find path)
lola: t262: true (by find path)
lola: t266: true (by find path)
lola: t269: true (by find path)
lola: t273: true (by find path)
lola: t280: true (by find path)
lola: t286: true (by find path)
lola: t289: true (by find path)
lola: t297: true (by find path)
lola: t301: true (by find path)
lola: t304: true (by find path)
lola: t323: true (by find path)
lola: t326: true (by find path)
lola: t341: true (by find path)
lola: t352: true (by find path)
lola: t357: true (by find path)
lola: t361: true (by find path)
lola: t367: true (by find path)
lola: t373: true (by find path)
lola: t375: true (by find path)
lola: t379: true (by find path)
lola: t385: true (by find path)
lola: t387: true (by find path)
lola: t391: true (by find path)
lola: t399: true (by find path)
lola: t2000: void (by not produced)
lola: t2001: void (by not produced)
lola: t2002: void (by not produced)
lola: t2003: void (by not produced)
lola: t2004: void (by not produced)
lola: t2005: void (by not produced)
lola: t2006: void (by not produced)
lola: t2007: void (by not produced)
lola: t2008: void (by not produced)
lola: t2009: void (by not produced)
lola: t2010: void (by not produced)
lola: t2011: void (by not produced)
lola: t2012: void (by not produced)
lola: t2013: void (by not produced)
lola: t2014: void (by not produced)
lola: t2015: void (by not produced)
lola: t2016: void (by not produced)
lola: t2017: void (by not produced)
lola: t2018: void (by not produced)
lola: t2019: void (by not produced)
lola: t2020: void (by not produced)
lola: t2021: void (by not produced)
lola: t2022: void (by not produced)
lola: t2023: void (by not produced)
lola: t2024: void (by not produced)
lola: t2025: void (by not produced)
lola: t2026: void (by not produced)
lola: t2027: void (by not produced)
lola: t2028: void (by not produced)
lola: t2029: void (by not produced)
lola: t2030: void (by not produced)
lola: t2031: void (by not produced)
lola: t2032: void (by not produced)
lola: t2033: void (by not produced)
lola: t2034: void (by not produced)
lola: t2035: void (by not produced)
lola: t2036: void (by not produced)
lola: t2037: void (by not produced)
lola: t2038: void (by not produced)
lola: t2039: void (by not produced)
lola: t2040: void (by not produced)
lola: t2041: void (by not produced)
lola: t2042: void (by not produced)
lola: t2043: void (by not produced)
lola: t2044: void (by not produced)
lola: t2045: void (by not produced)
lola: t2046: void (by not produced)
lola: t2047: void (by not produced)
lola: t2048: void (by not produced)
lola: t2049: void (by not produced)
lola: t2050: void (by not produced)
lola: t2051: void (by not produced)
lola: t2052: void (by not produced)
lola: t2053: void (by not produced)
lola: t2054: void (by not produced)
lola: t2055: void (by not produced)
lola: t2056: void (by not produced)
lola: t2057: void (by not produced)
lola: t2058: void (by not produced)
lola: t2059: void (by not produced)
lola: t2060: void (by not produced)
lola: t2061: void (by not produced)
lola: t2062: void (by not produced)
lola: t2063: void (by not produced)
lola: t2064: void (by not produced)
lola: t2065: void (by not produced)
lola: t2066: void (by not produced)
lola: t2067: void (by not produced)
lola: t2068: void (by not produced)
lola: t2069: void (by not produced)
lola: t2070: void (by not produced)
lola: t2071: void (by not produced)
lola: t2072: void (by not produced)
lola: t2073: void (by not produced)
lola: t2074: void (by not produced)
lola: t2075: void (by not produced)
lola: t2076: void (by not produced)
lola: t2077: void (by not produced)
lola: t2078: void (by not produced)
lola: t2079: void (by not produced)
lola: t2080: void (by not produced)
lola: t2081: void (by not produced)
lola: t2082: void (by not produced)
lola: t2083: void (by not produced)
lola: t2084: void (by not produced)
lola: t2085: void (by not produced)
lola: t2086: void (by not produced)
lola: t2087: void (by not produced)
lola: t2088: void (by not produced)
lola: t2089: void (by not produced)
lola: t2090: void (by not produced)
lola: t2091: void (by not produced)
lola: t2092: void (by not produced)
lola: t2093: void (by not produced)
lola: t2094: void (by not produced)
lola: t2095: void (by not produced)
lola: t2096: false (by state equation)
lola: t2097: void (by not produced)
lola: t2098: void (by not produced)
lola: t2099: void (by not produced)
lola: t401: true (by find path)
lola: t407: true (by find path)
lola: t411: true (by find path)
lola: t414: true (by find path)
lola: t416: true (by find path)
lola: t419: true (by find path)
lola: t427: true (by find path)
lola: t435: true (by find path)
lola: t439: true (by find path)
lola: t441: true (by find path)
lola: t443: true (by find path)
lola: t446: true (by find path)
lola: t451: void (by not produced)
lola: t458: void (by not produced)
lola: t464: void (by not produced)
lola: t468: void (by not produced)
lola: t471: void (by not produced)
lola: t473: void (by not produced)
lola: t476: void (by not produced)
lola: t484: true (by state equation)
lola: t492: void (by not produced)
lola: t496: void (by not produced)
lola: t498: void (by not produced)
lola: t2100: void (by not produced)
lola: t2101: void (by not produced)
lola: t2102: void (by not produced)
lola: t2103: void (by not produced)
lola: t2104: void (by not produced)
lola: t2105: void (by not produced)
lola: t2106: void (by not produced)
lola: t2107: void (by not produced)
lola: t2108: void (by not produced)
lola: t2109: void (by not produced)
lola: t2110: void (by not produced)
lola: t2111: void (by not produced)
lola: t2112: void (by not produced)
lola: t2113: void (by not produced)
lola: t2114: void (by not produced)
lola: t2115: void (by not produced)
lola: t2116: void (by not produced)
lola: t2117: void (by not produced)
lola: t2118: void (by not produced)
lola: t2119: void (by not produced)
lola: t2120: void (by not produced)
lola: t2121: void (by not produced)
lola: t2122: void (by not produced)
lola: t2123: void (by not produced)
lola: t2124: void (by not produced)
lola: t2125: void (by not produced)
lola: t2126: void (by not produced)
lola: t2127: void (by not produced)
lola: t2128: void (by not produced)
lola: t2129: void (by not produced)
lola: t2130: void (by not produced)
lola: t2131: void (by not produced)
lola: t2132: void (by not produced)
lola: t2133: void (by not produced)
lola: t2134: void (by not produced)
lola: t2135: void (by not produced)
lola: t2136: void (by not produced)
lola: t2137: void (by not produced)
lola: t2138: void (by not produced)
lola: t2139: void (by not produced)
lola: t2140: void (by not produced)
lola: t2141: void (by not produced)
lola: t2142: void (by not produced)
lola: t2143: void (by not produced)
lola: t2144: void (by not produced)
lola: t2145: void (by not produced)
lola: t2146: void (by not produced)
lola: t2147: void (by not produced)
lola: t2148: void (by not produced)
lola: t2149: void (by not produced)
lola: t2150: void (by not produced)
lola: t2151: void (by not produced)
lola: t2152: void (by not produced)
lola: t2153: void (by not produced)
lola: t2154: void (by not produced)
lola: t2155: void (by not produced)
lola: t2156: void (by not produced)
lola: t2157: void (by not produced)
lola: t2158: void (by not produced)
lola: t2159: void (by not produced)
lola: t2160: void (by not produced)
lola: t2161: void (by not produced)
lola: t2162: void (by not produced)
lola: t2163: void (by not produced)
lola: t2164: void (by not produced)
lola: t2165: void (by not produced)
lola: t2166: void (by not produced)
lola: t2167: void (by not produced)
lola: t2168: void (by not produced)
lola: t2169: void (by not produced)
lola: t2170: void (by not produced)
lola: t2171: void (by not produced)
lola: t2172: void (by not produced)
lola: t2173: void (by not produced)
lola: t2174: void (by not produced)
lola: t2175: void (by not produced)
lola: t2176: void (by not produced)
lola: t2177: void (by not produced)
lola: t2178: void (by not produced)
lola: t2179: void (by not produced)
lola: t2180: void (by not produced)
lola: t2181: void (by not produced)
lola: t2182: void (by not produced)
lola: t2183: void (by not produced)
lola: t2184: void (by not produced)
lola: t2185: void (by not produced)
lola: t2186: void (by not produced)
lola: t2187: void (by not produced)
lola: t2188: void (by not produced)
lola: t2189: void (by not produced)
lola: t2190: void (by not produced)
lola: t2191: void (by not produced)
lola: t2192: void (by not produced)
lola: t2193: void (by not produced)
lola: t2194: void (by not produced)
lola: t2195: void (by not produced)
lola: t2196: void (by not produced)
lola: t2197: void (by not produced)
lola: t2198: void (by not produced)
lola: t2199: void (by not produced)
lola: t500: void (by not produced)
lola: t502: void (by not produced)
lola: t508: void (by not produced)
lola: t513: void (by not produced)
lola: t517: void (by not produced)
lola: t519: void (by not produced)
lola: t523: void (by not produced)
lola: t528: void (by not produced)
lola: t536: void (by not produced)
lola: t538: void (by not produced)
lola: t540: void (by not produced)
lola: t542: void (by not produced)
lola: t546: true (by find path)
lola: t549: true (by find path)
lola: t551: true (by find path)
lola: t553: true (by find path)
lola: t554: true (by find path)
lola: t556: true (by find path)
lola: t558: true (by find path)
lola: t560: true (by find path)
lola: t562: true (by find path)
lola: t566: true (by find path)
lola: t569: true (by find path)
lola: t573: true (by find path)
lola: t580: true (by find path)
lola: t586: true (by find path)
lola: t589: true (by find path)
lola: t597: true (by find path)
lola: t2200: void (by not produced)
lola: t2201: void (by not produced)
lola: t2202: void (by not produced)
lola: t2203: void (by not produced)
lola: t2204: void (by not produced)
lola: t2205: void (by not produced)
lola: t2206: void (by not produced)
lola: t2207: void (by not produced)
lola: t2208: void (by not produced)
lola: t2209: void (by not produced)
lola: t2210: void (by not produced)
lola: t2211: void (by not produced)
lola: t2212: void (by not produced)
lola: t2213: void (by not produced)
lola: t2214: void (by not produced)
lola: t2215: void (by not produced)
lola: t2216: void (by not produced)
lola: t2217: void (by not produced)
lola: t2218: void (by not produced)
lola: t2219: void (by not produced)
lola: t2220: void (by not produced)
lola: t2221: void (by not produced)
lola: t2222: void (by not produced)
lola: t2223: void (by not produced)
lola: t2224: void (by not produced)
lola: t2225: void (by not produced)
lola: t2226: void (by not produced)
lola: t2227: void (by not produced)
lola: t2228: void (by not produced)
lola: t2229: void (by not produced)
lola: t2230: void (by not produced)
lola: t2231: void (by not produced)
lola: t2232: void (by not produced)
lola: t2233: void (by not produced)
lola: t2234: void (by not produced)
lola: t2235: void (by not produced)
lola: t2236: void (by not produced)
lola: t2237: void (by not produced)
lola: t2238: void (by not produced)
lola: t2239: void (by not produced)
lola: t2240: void (by not produced)
lola: t2241: void (by not produced)
lola: t2242: void (by not produced)
lola: t2243: void (by not produced)
lola: t2244: void (by not produced)
lola: t2245: void (by not produced)
lola: t2246: void (by not produced)
lola: t2247: void (by not produced)
lola: t2248: void (by not produced)
lola: t2249: void (by not produced)
lola: t2250: void (by not produced)
lola: t2251: void (by not produced)
lola: t2252: void (by not produced)
lola: t2253: void (by not produced)
lola: t2254: void (by not produced)
lola: t2255: void (by not produced)
lola: t2256: void (by not produced)
lola: t2257: void (by not produced)
lola: t2258: void (by not produced)
lola: t2259: void (by not produced)
lola: t2260: void (by not produced)
lola: t2261: void (by not produced)
lola: t2262: void (by not produced)
lola: t2263: void (by not produced)
lola: t2264: void (by not produced)
lola: t2265: void (by not produced)
lola: t2266: void (by not produced)
lola: t2267: void (by not produced)
lola: t2268: void (by not produced)
lola: t2269: void (by not produced)
lola: t2270: void (by not produced)
lola: t2271: void (by not produced)
lola: t2272: void (by not produced)
lola: t2273: void (by not produced)
lola: t2274: void (by not produced)
lola: t2275: void (by not produced)
lola: t2276: void (by not produced)
lola: t2277: void (by not produced)
lola: t2278: void (by not produced)
lola: t2279: void (by not produced)
lola: t2280: void (by not produced)
lola: t2281: void (by not produced)
lola: t2282: void (by not produced)
lola: t2283: void (by not produced)
lola: t2284: void (by not produced)
lola: t2285: void (by not produced)
lola: t2286: void (by not produced)
lola: t2287: void (by not produced)
lola: t2288: void (by not produced)
lola: t2289: void (by not produced)
lola: t2290: void (by not produced)
lola: t2291: void (by not produced)
lola: t2292: void (by not produced)
lola: t2293: void (by not produced)
lola: t2294: void (by not produced)
lola: t2295: void (by not produced)
lola: t2296: void (by not produced)
lola: t2297: void (by not produced)
lola: t2298: void (by not produced)
lola: t2299: void (by not produced)
lola: t601: true (by find path)
lola: t604: true (by find path)
lola: t623: true (by find path)
lola: t626: true (by find path)
lola: t641: true (by find path)
lola: t657: true (by find path)
lola: t661: true (by find path)
lola: t667: true (by find path)
lola: t673: true (by find path)
lola: t679: true (by find path)
lola: t685: true (by find path)
lola: t691: true (by find path)
lola: t699: true (by find path)
lola: t2300: void (by not produced)
lola: t2301: void (by not produced)
lola: t2302: void (by not produced)
lola: t2303: void (by not produced)
lola: t2304: void (by not produced)
lola: t2305: void (by not produced)
lola: t2306: void (by not produced)
lola: t2307: void (by not produced)
lola: t2308: void (by not produced)
lola: t2309: void (by not produced)
lola: t2310: void (by not produced)
lola: t2311: void (by not produced)
lola: t2312: void (by not produced)
lola: t2313: void (by not produced)
lola: t2314: void (by not produced)
lola: t2315: void (by not produced)
lola: t2316: void (by not produced)
lola: t2317: void (by not produced)
lola: t2318: void (by not produced)
lola: t2319: void (by not produced)
lola: t2320: void (by not produced)
lola: t2321: void (by not produced)
lola: t2322: void (by not produced)
lola: t2323: void (by not produced)
lola: t2324: void (by not produced)
lola: t2325: void (by not produced)
lola: t2326: void (by not produced)
lola: t2327: void (by not produced)
lola: t2328: void (by not produced)
lola: t2329: void (by not produced)
lola: t2330: void (by not produced)
lola: t2331: void (by not produced)
lola: t2332: void (by not produced)
lola: t1001: true (by find path)
lola: t2333: void (by not produced)
lola: t2334: void (by not produced)
lola: t2335: void (by not produced)
lola: t2336: void (by not produced)
lola: t2337: void (by not produced)
lola: t2338: void (by not produced)
lola: t1007: true (by find path)
lola: t2339: void (by not produced)
lola: t2340: void (by not produced)
lola: t2341: void (by not produced)
lola: t2342: void (by not produced)
lola: t1011: true (by find path)
lola: t2343: void (by not produced)
lola: t2344: void (by not produced)
lola: t2345: void (by not produced)
lola: t1014: true (by find path)
lola: t2346: void (by not produced)
lola: t2347: void (by not produced)
lola: t1016: true (by find path)
lola: t2348: void (by not produced)
lola: t2349: void (by not produced)
lola: t1019: true (by find path)
lola: t2350: void (by not produced)
lola: t2351: void (by not produced)
lola: t2352: void (by not produced)
lola: t2353: void (by not produced)
lola: t2354: void (by not produced)
lola: t2355: void (by not produced)
lola: t2356: void (by not produced)
lola: t2357: void (by not produced)
lola: t2358: void (by not produced)
lola: t1027: true (by find path)
lola: t2359: void (by not produced)
lola: t2360: void (by not produced)
lola: t2361: void (by not produced)
lola: t2362: void (by not produced)
lola: t2363: void (by not produced)
lola: t2364: void (by not produced)
lola: t2365: void (by not produced)
lola: t2366: void (by not produced)
lola: t1035: true (by find path)
lola: t2367: void (by not produced)
lola: t2368: void (by not produced)
lola: t2369: void (by not produced)
lola: t1039: true (by find path)
lola: t2370: void (by not produced)
lola: t2371: void (by not produced)
lola: t2372: void (by not produced)
lola: t1041: true (by find path)
lola: t2373: void (by not produced)
lola: t2374: void (by not produced)
lola: t1043: true (by find path)
lola: t2375: void (by not produced)
lola: t2376: void (by not produced)
lola: t2377: void (by not produced)
lola: t1046: true (by find path)
lola: t2378: void (by not produced)
lola: t2379: void (by not produced)
lola: t2380: void (by not produced)
lola: t2381: void (by not produced)
lola: t2382: void (by not produced)
lola: t1051: true (by goal oriented search)
lola: t2383: void (by not produced)
lola: t2384: void (by not produced)
lola: t2385: void (by not produced)
lola: t2386: void (by not produced)
lola: t2387: void (by not produced)
lola: t2388: void (by not produced)
lola: t2389: void (by not produced)
lola: t1058: true (by goal oriented search)
lola: t2390: void (by not produced)
lola: t2391: void (by not produced)
lola: t2392: void (by not produced)
lola: t2393: void (by not produced)
lola: t2394: void (by not produced)
lola: t2395: void (by not produced)
lola: t1064: true (by goal oriented search)
lola: t2396: void (by not produced)
lola: t2397: void (by not produced)
lola: t2398: void (by not produced)
lola: t2399: void (by not produced)
lola: t1068: true (by goal oriented search)
lola: t1071: true (by goal oriented search)
lola: t1073: true (by goal oriented search)
lola: t1076: true (by goal oriented search)
lola: t1084: true (by goal oriented search)
lola: t701: true (by find path)
lola: t707: true (by find path)
lola: t1092: true (by goal oriented search)
lola: t1096: true (by goal oriented search)
lola: t1098: true (by goal oriented search)
lola: t711: true (by find path)
lola: t714: true (by find path)
lola: t716: true (by find path)
lola: t719: true (by find path)
lola: t727: true (by find path)
lola: t735: true (by find path)
lola: t739: true (by find path)
lola: t741: true (by find path)
lola: t743: true (by find path)
lola: t746: true (by goal oriented search)
lola: t751: true (by goal oriented search)
lola: t758: true (by goal oriented search)
lola: t764: true (by goal oriented search)
lola: t768: true (by goal oriented search)
lola: t771: true (by goal oriented search)
lola: t773: true (by goal oriented search)
lola: t776: true (by goal oriented search)
lola: t784: true (by goal oriented search)
lola: t792: true (by goal oriented search)
lola: t796: true (by goal oriented search)
lola: t798: true (by goal oriented search)
lola: t1445_t2566: void (by not produced)
lola: t1427_t2597: void (by not produced)
lola: t1427_t2657: void (by not produced)
lola: t1427_t2717: void (by not produced)
lola: t1427_t2777: void (by not produced)
lola: t1427_t2837: void (by not produced)
lola: t1418_t1422: void (by not produced)
lola: t1435_t1422: void (by not produced)
lola: t1435_t1437: void (by not produced)
lola: t1407_t1412_t2836: void (by not produced)
lola: t1407_t1416: void (by not produced)
lola: t1407_t1412_t2776: void (by not produced)
lola: t1407_t1412_t2656: void (by not produced)
lola: t1407_t1412_t2716: void (by not produced)
lola: t1407_t1412_t2596: void (by not produced)
lola: D The net is not quasilive
lola: Example for violating transition: t2096

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="CloudDeployment-PT-5b"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 lola"
echo " Input is CloudDeployment-PT-5b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r084-smll-167814406300262"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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