MCC'2024- Execution of r344-tall-171679095000038

About the Execution of LoLA for RingSingleMessageInMbox-PT-d1m005

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
840.388	38732.00	150389.00	73.50	T	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordo
Waiting for
..................
===================================================================== is RingSingleMessageInMbox-PT-d1m005, examination is StableMarking confinement is 1800 seconds confinement is 16384 MBytes is r344-tall-171679095000038 =================================================== of the directory to be used: 1 mcc users 6.8K May 14 13:22 CTLCardinality.txt 70K May 14 13:22 CTLCardinality.xml 1 mcc users 5.4K May 14 13:22 CTLFireability.txt 44K May 14 13:22 CTLFireability.xml 1 mcc users 3.8K Apr 23 07:48 LTLCardinality.txt 23K Apr 23 07:48 LTLCardinality.xml 1 mcc users 2.3K May 19 07:29 LTLFireability.txt 16K May 19 18:56 LTLFireability.xml 1 mcc users 7.6K Apr 13 00:17 ReachabilityCardinality.txt 70K Apr 13 00:17 ReachabilityCardinality.xml 1 mcc users 9.3K Apr 13 00:12 ReachabilityFireability.txt 78K Apr 13 00:12 ReachabilityFireability.xml 1 mcc users 1.9K Apr 23 07:48 UpperBounds.txt 1 mcc users 3.9K Apr 23 07:48 UpperBounds.xml 6 May 18 16:43 equiv_col 7 May 18 16:43 instance 6 May 18 16:43 iscolored 1 mcc users 5.8M May 18 16:43 model.pnml for post analysis generated by BenchKit (invocation template) result is a vector of booleans execution of the tool begins /home/mcc/BenchKit/bin/ /home/mcc/execution [1m[32mThe net has constant places[0m TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT Example for constant place: l3825 LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m) [1m[33munknown unit in memory specification: using default[0m reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m input: PNML file ([1m[36m--pnmlnet[0m) PNML file contains place/transition net closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m finished parsing not produced: 166 find path: 69 goal oriented search: 19 symmetry: 2132 not produced: 155 state equation: 1 find path: 75 goal oriented search: 19 symmetry: 2136 not produced: 153 state equation: 1 find path: 76 goal oriented search: 19 symmetry: 2137 not produced: 153 state equation: 1 find path: 76 goal oriented search: 19 symmetry: 2137 not produced: 153 state equation: 1 find path: 76 goal oriented search: 19 symmetry: 2137 not produced: 151 state equation: 1 find path: 77 goal oriented search: 19 symmetry: 2138 not produced: 151 state equation: 1 find path: 77 goal oriented search: 19 symmetry: 2138 INDIVIDUAL RESULTS l3514: true (by symmetry) l3756: void (by not produced) l3757: void (by not produced) l3758: void (by not produced) l3759: void (by not produced) l3760: void (by not produced) l3761: void (by not produced) l3762: void (by not produced) l3763: void (by not produced) l3764: void (by not produced) l3765: void (by not produced) l3766: void (by not produced) l3767: void (by not produced) l3768: void (by not produced) l3769: void (by not produced) l3770: void (by not produced) l3771: void (by not produced) l3772: void (by not produced) l3773: void (by not produced) l3774: void (by not produced) l3775: void (by not produced) l3776: void (by not produced) l3777: void (by not produced) l3778: void (by not produced) l3779: void (by not produced) l3780: void (by not produced) l3781: void (by not produced) l3782: void (by not produced) l3783: void (by not produced) l3784: void (by not produced) l3785: void (by not produced) l3786: void (by not produced) l3787: void (by not produced) l3788: void (by not produced) l3789: void (by not produced) l3790: void (by not produced) l3791: void (by not produced) l3792: void (by not produced) l2461: true (by symmetry) l3793: void (by not produced) l2462: true (by symmetry) l3794: void (by not produced) l2463: true (by symmetry) l3795: void (by not produced) l2464: true (by symmetry) l3796: void (by not produced) l2465: true (by symmetry) l3797: void (by not produced) l2466: true (by symmetry) l3798: void (by not produced) l2467: true (by symmetry) l3799: void (by not produced) l2468: true (by symmetry) l2469: true (by symmetry) l2470: true (by symmetry) l2471: true (by symmetry) l2472: true (by symmetry) l2473: true (by symmetry) l2474: true (by symmetry) l2475: true (by symmetry) l2476: true (by symmetry) l2477: true (by symmetry) l2478: true (by symmetry) l2479: true (by symmetry) l2480: true (by symmetry) l2481: true (by symmetry) l2482: true (by symmetry) l2483: true (by symmetry) l2484: true (by symmetry) l2485: true (by symmetry) l2486: true (by symmetry) l2487: true (by symmetry) l2488: true (by symmetry) l2489: true (by symmetry) l2490: true (by symmetry) l2491: true (by symmetry) l2492: true (by symmetry) l2494: true (by symmetry) l2495: true (by symmetry) l2496: true (by symmetry) l2497: true (by symmetry) l2498: true (by symmetry) l2499: true (by symmetry) l106: void (by not produced) l108: void (by not produced) l160: true (by find path) l162: true (by find path) l163: true (by find path) l191: true (by goal oriented search) l192: true (by goal oriented search) l193: true (by find path) l195: true (by find path) l3800: void (by not produced) l3801: void (by not produced) l3802: true (by symmetry) l3803: void (by not produced) l3804: void (by not produced) l3805: void (by not produced) l3806: true (by find path) l3807: void (by not produced) l0: true (by find path) l1: true (by find path) l3812: void (by not produced) l3813: void (by not produced) l3814: void (by not produced) l3815: void (by not produced) l3816: void (by not produced) l3817: void (by not produced) l3818: void (by not produced) l3819: void (by not produced) l3820: void (by not produced) l3821: void (by not produced) l3822: void (by not produced) l3823: void (by not produced) l3824: void (by not produced) l3825: false (by state equation) l3826: void (by not produced) l3827: void (by not produced) l2500: true (by symmetry) l2501: true (by symmetry) l2502: true (by symmetry) l2503: true (by symmetry) l2504: true (by symmetry) l2505: true (by symmetry) l2506: true (by symmetry) l2507: true (by symmetry) l2508: true (by symmetry) l2509: true (by symmetry) l2510: true (by symmetry) l2511: true (by symmetry) l2512: true (by symmetry) l2513: true (by symmetry) l2514: true (by symmetry) l2515: true (by symmetry) l2516: true (by symmetry) l2517: true (by symmetry) l2518: true (by symmetry) l2519: true (by goal oriented search) l2520: true (by symmetry) l2521: true (by symmetry) l2522: true (by symmetry) l2523: true (by symmetry) l2524: true (by symmetry) l2525: true (by symmetry) l2527: true (by find path) l2528: true (by symmetry) l2529: true (by symmetry) l2530: true (by symmetry) l2531: true (by symmetry) l2532: true (by symmetry) l2533: true (by symmetry) l2534: true (by symmetry) l2535: true (by symmetry) l2536: true (by find path) l2537: true (by symmetry) l3869: true (by symmetry) l2538: true (by symmetry) l2539: true (by symmetry) l3871: true (by symmetry) l2540: true (by symmetry) l2541: true (by symmetry) l3873: true (by symmetry) l2542: true (by symmetry) l2543: true (by symmetry) l3875: true (by symmetry) l2544: true (by symmetry) l2545: true (by symmetry) l3877: true (by symmetry) l2546: true (by symmetry) l2547: true (by symmetry) l2548: true (by symmetry) l2549: true (by find path) s0: true (by find path) s1: true (by find path) s2: true (by find path) s3: true (by goal oriented search) s4: true (by find path) s5: true (by find path) s6: true (by find path) s7: true (by find path) s8: true (by find path) s9: true (by find path) l3880: true (by symmetry) l2550: true (by symmetry) l2551: true (by symmetry) l3883: true (by symmetry) l2552: true (by symmetry) l2553: true (by symmetry) l2554: true (by symmetry) l3886: true (by symmetry) l2555: true (by symmetry) l2556: true (by symmetry) l2557: true (by symmetry) l3889: true (by symmetry) l2558: true (by symmetry) l3891: true (by symmetry) l2560: true (by symmetry) l2561: true (by symmetry) l3893: true (by find path) l2562: true (by symmetry) l2563: true (by symmetry) l3895: true (by symmetry) l2564: true (by symmetry) l2565: true (by symmetry) l3897: true (by symmetry) l2566: true (by symmetry) l2567: true (by symmetry) l2568: true (by symmetry) l2569: true (by symmetry) l2570: true (by symmetry) l2571: true (by symmetry) l2572: true (by symmetry) l2573: true (by symmetry) l2574: true (by symmetry) l2575: true (by symmetry) l2576: true (by symmetry) l2577: true (by symmetry) l2578: true (by symmetry) l2579: true (by symmetry) l2580: true (by find path) l2581: true (by symmetry) l2582: true (by symmetry) l2583: true (by symmetry) l2584: true (by symmetry) l2585: true (by symmetry) l2586: true (by symmetry) l2587: true (by symmetry) l2588: true (by symmetry) l2589: true (by symmetry) l2590: true (by symmetry) l2591: true (by symmetry) l2593: true (by symmetry) l2594: true (by symmetry) l2595: true (by symmetry) l2596: true (by symmetry) l2597: true (by find path) l2598: true (by symmetry) l2599: true (by symmetry) l275: true (by find path) l286: void (by not produced) l287: void (by not produced) l288: void (by not produced) l289: void (by not produced) l3900: true (by symmetry) l3903: true (by symmetry) l3906: true (by find path) l3908: true (by symmetry) l3909: true (by goal oriented search) l3910: true (by symmetry) l3911: true (by symmetry) l3912: true (by symmetry) l3913: true (by symmetry) l3914: true (by symmetry) l3915: true (by symmetry) l3916: true (by symmetry) l3917: true (by symmetry) l3918: true (by symmetry) l3919: true (by symmetry) l3920: true (by symmetry) l3921: true (by symmetry) l3922: true (by symmetry) l3923: true (by symmetry) l3924: true (by find path) l3925: true (by goal oriented search) l3926: true (by symmetry) l3927: true (by symmetry) l3928: true (by symmetry) l3929: true (by symmetry) l3930: true (by symmetry) l3931: true (by symmetry) l2600: true (by symmetry) l3932: true (by symmetry) l2601: true (by symmetry) l3933: true (by find path) l2602: true (by symmetry) l3934: true (by symmetry) l2603: true (by symmetry) l3935: true (by symmetry) l2604: true (by symmetry) l3936: true (by find path) l2605: true (by symmetry) l3937: true (by symmetry) l2606: true (by symmetry) l3938: true (by symmetry) l2607: true (by symmetry) l3939: true (by symmetry) l2608: true (by symmetry) l2609: true (by symmetry) l3940: true (by symmetry) l2610: true (by symmetry) l2611: true (by symmetry) l3943: true (by symmetry) l2612: true (by symmetry) l2613: true (by symmetry) l2614: true (by symmetry) l2615: true (by symmetry) l3947: true (by symmetry) l2616: true (by symmetry) l2617: true (by symmetry) l2618: true (by symmetry) l2619: true (by symmetry) l3950: true (by symmetry) l2620: true (by symmetry) l2621: true (by symmetry) l2622: true (by symmetry) l3954: true (by symmetry) l2623: true (by symmetry) l2624: true (by symmetry) l3957: true (by symmetry) l2626: true (by symmetry) l2627: true (by symmetry) l2628: true (by symmetry) l2629: true (by symmetry) l3961: true (by symmetry) l2630: true (by symmetry) l2631: true (by symmetry) l2632: true (by symmetry) l3964: true (by symmetry) l2633: true (by symmetry) l2634: true (by symmetry) l2635: true (by find path) l2636: true (by symmetry) l3968: true (by symmetry) l2637: true (by symmetry) l2638: true (by symmetry) l2639: true (by symmetry) l3971: true (by symmetry) l2640: true (by symmetry) l2641: true (by symmetry) l2642: true (by symmetry) l2643: true (by symmetry) l3975: true (by symmetry) l2644: true (by symmetry) l2645: true (by symmetry) l2646: true (by find path) l3978: true (by symmetry) l2647: true (by symmetry) l2648: true (by symmetry) l2649: true (by symmetry) l2650: true (by symmetry) l3982: true (by symmetry) l2651: true (by symmetry) l2652: true (by symmetry) l2653: true (by symmetry) l3985: true (by symmetry) l2654: true (by symmetry) l2655: true (by symmetry) l2656: true (by symmetry) l2657: true (by symmetry) l3989: true (by symmetry) l2659: true (by find path) l2660: true (by symmetry) l3992: true (by symmetry) l2661: true (by symmetry) l2662: true (by symmetry) l2663: true (by symmetry) l2664: true (by symmetry) l3996: true (by symmetry) l2665: true (by symmetry) l2666: true (by symmetry) l2667: true (by symmetry) l3999: true (by symmetry) l2668: true (by symmetry) l2669: true (by symmetry) l2670: true (by symmetry) l2671: true (by find path) l2672: true (by symmetry) l2673: true (by symmetry) l2674: true (by find path) l2675: true (by symmetry) l2676: true (by symmetry) l2677: true (by symmetry) l2678: true (by symmetry) l2679: true (by symmetry) l2680: true (by symmetry) l2681: true (by symmetry) l2682: true (by symmetry) l2683: true (by symmetry) l2684: true (by symmetry) l2685: true (by symmetry) l2686: true (by symmetry) l2687: true (by symmetry) l2688: true (by symmetry) l2689: true (by symmetry) l2690: true (by symmetry) l2692: true (by symmetry) l2693: true (by symmetry) l2694: true (by symmetry) l2695: true (by symmetry) l2696: true (by symmetry) l2697: true (by symmetry) l2698: true (by symmetry) l2699: true (by symmetry) l2700: true (by symmetry) l2701: true (by symmetry) l2702: true (by symmetry) l2703: true (by symmetry) l2704: true (by symmetry) l2705: true (by symmetry) l2706: true (by symmetry) l2707: true (by symmetry) l2708: true (by symmetry) l2709: true (by symmetry) l2710: true (by symmetry) l2711: true (by symmetry) l2712: true (by symmetry) l2713: true (by symmetry) l2714: true (by symmetry) l2715: true (by symmetry) l2716: true (by symmetry) l2717: true (by symmetry) l2718: true (by symmetry) l2719: true (by find path) l2720: true (by symmetry) l2721: true (by symmetry) l2722: true (by symmetry) l2723: true (by symmetry) l2725: true (by symmetry) l2726: true (by symmetry) l2727: true (by symmetry) l2728: true (by symmetry) l2729: true (by symmetry) l2730: true (by symmetry) l2731: true (by symmetry) l2732: true (by symmetry) l2733: true (by symmetry) l2734: true (by symmetry) l2735: true (by symmetry) l2736: true (by symmetry) l2737: true (by symmetry) l2738: true (by symmetry) l2739: true (by symmetry) l2740: true (by symmetry) l2741: true (by symmetry) l2742: true (by symmetry) l2743: true (by symmetry) l2744: true (by symmetry) l2745: true (by symmetry) l2746: true (by symmetry) l2747: true (by symmetry) l2748: true (by symmetry) l2749: true (by symmetry) l2750: true (by symmetry) l2751: true (by symmetry) l2752: true (by symmetry) l2753: true (by symmetry) l2754: true (by symmetry) l2755: true (by symmetry) l2756: true (by symmetry) l2758: true (by symmetry) l2759: true (by symmetry) l2760: true (by symmetry) l2761: true (by symmetry) l2762: true (by symmetry) l2763: true (by symmetry) l2764: true (by symmetry) l2765: true (by symmetry) l2766: true (by symmetry) l2767: true (by symmetry) l2768: true (by symmetry) l2769: true (by symmetry) l2770: true (by symmetry) l2771: true (by symmetry) l2772: true (by symmetry) l2773: true (by symmetry) l2774: true (by symmetry) l2775: true (by symmetry) l2776: true (by symmetry) l2777: true (by symmetry) l2778: true (by symmetry) l2779: true (by symmetry) l2780: true (by symmetry) l2781: true (by symmetry) l2782: true (by symmetry) l2783: true (by symmetry) l2784: true (by symmetry) l2785: true (by symmetry) l2786: true (by symmetry) l2787: true (by symmetry) l2788: true (by symmetry) l2789: true (by symmetry) l2791: true (by symmetry) l2792: true (by symmetry) l2793: true (by symmetry) l2794: true (by symmetry) l2795: true (by symmetry) l2796: true (by symmetry) l2797: true (by symmetry) l2798: true (by symmetry) l2799: true (by symmetry) l2800: true (by symmetry) l2801: true (by symmetry) l2802: true (by symmetry) l2803: true (by symmetry) l2804: true (by symmetry) l2805: true (by symmetry) l2806: true (by symmetry) l2807: true (by symmetry) l2808: true (by symmetry) l2809: true (by symmetry) l2810: true (by symmetry) l2811: true (by symmetry) l2812: true (by symmetry) l2813: true (by symmetry) l2814: true (by symmetry) l2815: true (by symmetry) l2816: true (by symmetry) l2817: true (by find path) l2818: true (by symmetry) l2819: true (by symmetry) l2820: true (by symmetry) l2821: true (by symmetry) l2822: true (by symmetry) l2824: true (by symmetry) l2825: true (by symmetry) l2826: true (by symmetry) l2827: true (by symmetry) l2828: true (by symmetry) l2829: true (by symmetry) l2830: true (by symmetry) l2831: true (by symmetry) l2832: true (by symmetry) l2833: true (by symmetry) l2834: true (by symmetry) l2835: true (by symmetry) l2836: true (by symmetry) l2837: true (by symmetry) l2838: true (by symmetry) l2839: true (by symmetry) l2840: true (by symmetry) l2841: true (by symmetry) l2842: true (by symmetry) l2843: true (by symmetry) l2844: true (by symmetry) l2845: true (by symmetry) l2846: true (by symmetry) l2847: true (by symmetry) l2848: true (by symmetry) l2849: true (by symmetry) l2850: true (by symmetry) l2851: true (by symmetry) l2852: true (by symmetry) l2853: true (by symmetry) l2854: true (by symmetry) l2855: true (by symmetry) l2857: true (by symmetry) l2858: true (by symmetry) l2859: true (by symmetry) l2860: true (by symmetry) l2861: true (by symmetry) l2862: true (by symmetry) l2863: true (by symmetry) l2864: true (by symmetry) l2865: true (by symmetry) l2866: true (by symmetry) l2867: true (by symmetry) l2868: true (by symmetry) l2869: true (by symmetry) l2870: true (by symmetry) l2871: true (by symmetry) l2872: true (by symmetry) l2873: true (by symmetry) l2874: true (by symmetry) l2875: true (by symmetry) l2876: true (by symmetry) l2877: true (by symmetry) l2878: true (by symmetry) l2879: true (by symmetry) l2880: true (by symmetry) l2881: true (by symmetry) l2882: true (by symmetry) l2883: true (by symmetry) l2884: true (by symmetry) l2885: true (by symmetry) l2886: true (by symmetry) l2887: true (by symmetry) l2888: true (by symmetry) l2890: true (by symmetry) l2891: true (by symmetry) l2892: true (by symmetry) l2893: true (by symmetry) l2894: true (by symmetry) l2895: true (by symmetry) l2896: true (by symmetry) l2897: true (by symmetry) l2898: true (by symmetry) l2899: true (by symmetry) p100: true (by symmetry) p101: true (by symmetry) p102: true (by symmetry) p103: true (by symmetry) p104: true (by symmetry) p105: true (by symmetry) p106: true (by symmetry) p107: true (by find path) p108: true (by symmetry) p109: true (by symmetry) p110: true (by symmetry) p111: true (by symmetry) p112: true (by symmetry) p113: true (by symmetry) p114: true (by symmetry) p115: true (by symmetry) p116: true (by symmetry) p117: true (by symmetry) p118: true (by symmetry) p119: true (by symmetry) p120: true (by symmetry) p121: true (by symmetry) p122: true (by symmetry) p123: true (by symmetry) p124: true (by symmetry) p125: true (by symmetry) p126: true (by symmetry) p127: true (by symmetry) p128: true (by symmetry) p129: true (by symmetry) p130: true (by symmetry) p131: true (by symmetry) p132: true (by symmetry) p133: true (by symmetry) p134: true (by symmetry) p135: true (by symmetry) p136: true (by symmetry) p137: true (by symmetry) p138: true (by symmetry) p139: true (by symmetry) p140: true (by symmetry) p141: true (by symmetry) p142: true (by symmetry) p143: true (by symmetry) p144: true (by symmetry) p145: true (by symmetry) p146: true (by symmetry) p147: true (by symmetry) p148: true (by symmetry) p149: true (by symmetry) p150: true (by symmetry) p151: true (by symmetry) p152: true (by symmetry) p153: true (by symmetry) p154: true (by symmetry) p155: true (by symmetry) p156: true (by symmetry) p157: true (by symmetry) p158: true (by symmetry) p159: true (by symmetry) p160: true (by symmetry) p161: true (by symmetry) p162: true (by symmetry) p163: true (by symmetry) p164: true (by symmetry) p165: true (by symmetry) p166: true (by symmetry) p167: true (by symmetry) p168: true (by symmetry) p169: true (by symmetry) p170: true (by symmetry) p171: true (by symmetry) p172: true (by symmetry) p173: true (by symmetry) p174: true (by symmetry) p175: true (by symmetry) p176: true (by symmetry) p177: true (by symmetry) p178: true (by symmetry) p179: true (by symmetry) p180: true (by state equation) p181: true (by symmetry) p182: true (by symmetry) p183: true (by symmetry) p184: true (by symmetry) p185: true (by symmetry) p186: true (by symmetry) p187: true (by symmetry) p188: true (by symmetry) p189: true (by symmetry) l2900: true (by symmetry) l2901: true (by symmetry) l2902: true (by symmetry) l2903: true (by symmetry) l2904: true (by symmetry) l2905: true (by symmetry) p190: true (by symmetry) l2906: true (by symmetry) p191: true (by symmetry) l2907: true (by symmetry) p192: true (by symmetry) l2908: true (by symmetry) p193: true (by symmetry) l2909: true (by symmetry) p194: true (by symmetry) p195: true (by symmetry) p196: true (by symmetry) p197: true (by symmetry) p198: true (by symmetry) p199: true (by symmetry) l2910: true (by symmetry) l2911: true (by symmetry) l2912: true (by symmetry) l2913: true (by symmetry) l2914: true (by symmetry) l2915: true (by symmetry) l2916: true (by symmetry) l2917: true (by symmetry) l2918: true (by symmetry) l2919: true (by symmetry) l2920: true (by symmetry) l2921: true (by symmetry) l2923: true (by symmetry) l2924: true (by symmetry) l2925: true (by symmetry) l2926: true (by symmetry) l2927: true (by symmetry) l2928: true (by symmetry) l2929: true (by symmetry) l2930: true (by symmetry) l2931: true (by symmetry) l2932: true (by symmetry) l2933: true (by symmetry) l2934: true (by symmetry) l2935: true (by symmetry) l2936: true (by symmetry) l2937: true (by symmetry) l2938: true (by symmetry) l2939: true (by symmetry) l2940: true (by symmetry) l2941: true (by symmetry) l2942: true (by symmetry) l2943: true (by symmetry) l2944: true (by symmetry) l2945: true (by symmetry) l2946: true (by symmetry) l2947: true (by symmetry) l2948: true (by symmetry) l2949: true (by symmetry) l2950: true (by symmetry) l2951: true (by symmetry) l2952: true (by symmetry) l2953: true (by symmetry) l2954: true (by symmetry) l2956: true (by symmetry) l2957: true (by find path) l2958: true (by symmetry) l2959: true (by symmetry) l2960: true (by symmetry) l2961: true (by symmetry) l2962: true (by symmetry) l2963: true (by symmetry) l2964: true (by symmetry) l2965: true (by symmetry) l2966: true (by symmetry) l2967: true (by symmetry) l2968: true (by symmetry) l2969: true (by symmetry) l2970: true (by symmetry) l2971: true (by symmetry) l2972: true (by symmetry) l2973: true (by symmetry) l2974: true (by symmetry) l2975: true (by symmetry) l2976: true (by symmetry) l2977: true (by symmetry) l2978: true (by symmetry) l2979: true (by symmetry) l2980: true (by symmetry) l2981: true (by symmetry) l2982: true (by symmetry) l2983: true (by symmetry) l2984: true (by symmetry) l2985: true (by symmetry) l2986: true (by symmetry) l2987: true (by symmetry) l2989: true (by goal oriented search) l2990: true (by symmetry) l2991: true (by symmetry) l2992: true (by symmetry) l2993: true (by symmetry) l2994: true (by symmetry) l2995: true (by symmetry) l2996: true (by symmetry) l2997: true (by symmetry) l2998: true (by symmetry) l2999: true (by symmetry) p200: true (by symmetry) p201: true (by symmetry) p202: true (by symmetry) p203: true (by symmetry) p204: true (by symmetry) p205: true (by symmetry) p206: true (by symmetry) p207: true (by symmetry) p208: true (by symmetry) p209: true (by symmetry) p210: true (by symmetry) p211: true (by symmetry) p212: true (by symmetry) p213: true (by symmetry) p214: true (by symmetry) p215: true (by symmetry) p216: true (by symmetry) p217: true (by symmetry) p218: true (by symmetry) p219: true (by symmetry) p220: true (by symmetry) p221: true (by symmetry) p222: true (by symmetry) p223: true (by symmetry) p224: true (by symmetry) p225: true (by symmetry) p226: true (by symmetry) p227: true (by symmetry) p228: true (by symmetry) p229: true (by symmetry) p230: true (by symmetry) p231: true (by symmetry) p232: true (by symmetry) p233: true (by symmetry) p234: true (by symmetry) p235: true (by symmetry) p236: true (by symmetry) p237: true (by symmetry) p238: true (by symmetry) p239: true (by symmetry) p240: true (by symmetry) p241: true (by symmetry) p242: true (by symmetry) p243: true (by symmetry) p244: true (by symmetry) p245: true (by symmetry) p246: true (by symmetry) p247: true (by symmetry) p248: true (by symmetry) p249: true (by symmetry) p250: true (by symmetry) p251: true (by symmetry) p252: true (by symmetry) p253: true (by symmetry) p254: true (by symmetry) p255: true (by symmetry) p256: true (by symmetry) p257: true (by symmetry) p258: true (by symmetry) p259: true (by symmetry) p260: true (by symmetry) p261: true (by symmetry) p262: true (by symmetry) p263: true (by symmetry) p264: true (by symmetry) p265: true (by symmetry) p266: true (by symmetry) p267: true (by symmetry) p268: true (by symmetry) p269: true (by symmetry) p270: true (by symmetry) p271: true (by symmetry) p272: true (by symmetry) p273: true (by symmetry) p274: true (by symmetry) p275: true (by symmetry) p276: true (by symmetry) p277: true (by symmetry) p278: true (by symmetry) p279: true (by symmetry) p280: true (by symmetry) p281: true (by symmetry) p282: true (by symmetry) p283: true (by symmetry) p284: true (by symmetry) p285: true (by symmetry) p286: true (by symmetry) p287: true (by symmetry) p288: true (by symmetry) p289: true (by symmetry) p290: true (by symmetry) p291: true (by symmetry) p292: true (by symmetry) p293: true (by symmetry) p294: true (by symmetry) p295: true (by symmetry) p296: true (by symmetry) p297: true (by symmetry) p298: true (by symmetry) p299: true (by symmetry) l4003: true (by find path) l4006: true (by symmetry) l4010: true (by symmetry) l4013: true (by symmetry) l4017: true (by symmetry) l4020: true (by symmetry) l4024: true (by symmetry) l4027: true (by goal oriented search) l4031: true (by symmetry) l4034: true (by symmetry) l4038: true (by symmetry) l4041: true (by symmetry) l4045: true (by find path) l4048: true (by symmetry) l4065: true (by symmetry) l4068: true (by find path) l4071: true (by find path) l4074: true (by symmetry) l4076: void (by not produced) l4077: void (by not produced) l4078: true (by goal oriented search) l4079: true (by symmetry) p300: true (by symmetry) p301: true (by symmetry) p302: true (by symmetry) p303: true (by symmetry) p304: true (by symmetry) p305: true (by symmetry) p306: true (by symmetry) p307: true (by symmetry) p308: true (by symmetry) p309: true (by symmetry) p310: true (by symmetry) p311: true (by symmetry) p312: true (by symmetry) p313: true (by symmetry) p314: true (by symmetry) p315: true (by symmetry) p316: true (by symmetry) p317: true (by symmetry) p318: true (by symmetry) p319: true (by symmetry) p320: true (by symmetry) p321: true (by symmetry) p322: true (by symmetry) p323: true (by symmetry) p324: true (by symmetry) p325: true (by symmetry) p326: true (by symmetry) p327: true (by symmetry) p328: true (by symmetry) p329: true (by symmetry) p330: true (by symmetry) p331: true (by symmetry) p332: true (by symmetry) p333: true (by symmetry) p334: true (by symmetry) p335: true (by symmetry) p336: true (by symmetry) p337: true (by symmetry) p338: true (by symmetry) p339: true (by symmetry) p340: true (by symmetry) p341: true (by symmetry) p342: true (by symmetry) p343: true (by symmetry) p344: true (by symmetry) p345: true (by symmetry) p346: true (by symmetry) p347: true (by symmetry) p348: true (by symmetry) p349: true (by symmetry) p350: true (by symmetry) p351: true (by symmetry) p352: true (by symmetry) p353: true (by symmetry) p354: true (by symmetry) p355: true (by symmetry) p356: true (by symmetry) p357: true (by symmetry) p358: true (by symmetry) p359: true (by symmetry) p360: true (by symmetry) p361: true (by symmetry) p362: true (by symmetry) p363: true (by symmetry) p364: true (by symmetry) p365: true (by symmetry) p366: true (by symmetry) p367: true (by symmetry) p368: true (by symmetry) p369: true (by symmetry) p370: true (by symmetry) p371: true (by symmetry) p372: true (by symmetry) p373: true (by symmetry) p374: true (by symmetry) p375: true (by symmetry) p376: true (by symmetry) p377: true (by symmetry) p378: true (by symmetry) p379: true (by symmetry) p380: true (by symmetry) p381: true (by symmetry) p382: true (by symmetry) p383: true (by symmetry) p384: true (by symmetry) p385: true (by symmetry) p386: true (by symmetry) p387: true (by symmetry) p388: true (by symmetry) p389: true (by symmetry) p390: true (by symmetry) p391: true (by symmetry) p392: true (by symmetry) p393: true (by symmetry) p394: true (by symmetry) p395: true (by symmetry) p396: true (by symmetry) p397: true (by symmetry) p398: true (by symmetry) p399: true (by symmetry) p1000: true (by symmetry) p1001: true (by symmetry) p1002: true (by symmetry) p1003: true (by symmetry) p1004: true (by symmetry) p1005: true (by symmetry) p1006: true (by symmetry) p1007: true (by symmetry) p1008: true (by symmetry) p1009: true (by symmetry) p1010: true (by symmetry) p1011: true (by symmetry) p1012: true (by symmetry) p1013: true (by symmetry) p1014: true (by symmetry) p1015: true (by symmetry) p1016: true (by symmetry) p1017: true (by symmetry) p1018: true (by symmetry) p1019: true (by symmetry) p1020: true (by symmetry) p1021: true (by symmetry) p1022: true (by symmetry) p1023: true (by symmetry) p1024: true (by symmetry) p1025: true (by symmetry) p1026: true (by symmetry) p1027: true (by symmetry) p1028: true (by symmetry) p1029: true (by symmetry) p1030: true (by symmetry) p1031: true (by symmetry) p1032: true (by symmetry) p1033: true (by symmetry) p1034: true (by symmetry) p1035: true (by symmetry) p1036: void (by not produced) p1037: void (by not produced) p1038: void (by not produced) p1039: void (by not produced) p1040: void (by not produced) p1041: void (by not produced) p1042: void (by not produced) p1043: void (by not produced) p1044: void (by not produced) p1045: void (by not produced) p1046: void (by not produced) p1047: void (by not produced) p1048: void (by not produced) p1049: void (by not produced) p1050: void (by not produced) p1051: void (by not produced) p1052: void (by not produced) p1053: void (by not produced) p1054: void (by not produced) p1055: void (by not produced) p1056: void (by not produced) p1057: void (by not produced) p1058: void (by not produced) p1059: void (by not produced) p1060: void (by not produced) p1061: void (by not produced) p1062: void (by not produced) p1063: void (by not produced) p1064: void (by not produced) p1065: void (by not produced) p1066: void (by not produced) p1067: void (by not produced) p1068: void (by not produced) p1069: void (by not produced) p1070: void (by not produced) p1071: void (by not produced) p1072: void (by not produced) p1073: void (by not produced) p1074: void (by not produced) p1075: void (by not produced) p1076: void (by not produced) p1077: void (by not produced) p1078: void (by not produced) p1079: void (by not produced) p1080: true (by find path) p1081: true (by symmetry) p1082: true (by symmetry) p1083: true (by find path) p1084: true (by symmetry) p1085: true (by symmetry) p1086: true (by find path) p1087: true (by find path) p1088: true (by find path) p1089: true (by symmetry) p1090: true (by goal oriented search) p1091: true (by goal oriented search) p1092: true (by symmetry) p1093: true (by find path) p1094: true (by symmetry) p1095: true (by symmetry) p1096: true (by symmetry) p1097: true (by symmetry) p1098: true (by symmetry) p1099: true (by symmetry) l5432: void (by not produced) l5433: void (by not produced) l5434: void (by not produced) l5435: void (by not produced) l5436: void (by not produced) l5437: void (by not produced) l5438: void (by not produced) l5439: void (by not produced) l5440: void (by not produced) l5441: void (by not produced) l5442: void (by not produced) l5443: void (by not produced) l5444: void (by not produced) l5445: void (by not produced) l5446: void (by not produced) l5447: void (by not produced) l4128: true (by symmetry) l4129: true (by find path) l4130: true (by symmetry) l4131: true (by symmetry) l4132: true (by symmetry) l5464: void (by not produced) l4133: true (by symmetry) l5465: void (by not produced) l4134: true (by symmetry) l5466: void (by not produced) l4135: true (by symmetry) l5467: void (by not produced) l5468: void (by not produced) l5469: void (by not produced) l5470: void (by not produced) l5471: void (by not produced) l4140: true (by find path) l4141: true (by find path) l4142: true (by symmetry) l4143: true (by symmetry) l4144: true (by symmetry) l4145: true (by symmetry) l4146: true (by find path) l4147: true (by symmetry) p400: true (by symmetry) p401: true (by symmetry) p402: true (by symmetry) p403: true (by symmetry) p404: true (by symmetry) p405: true (by symmetry) p406: true (by symmetry) p407: true (by symmetry) p408: true (by symmetry) p409: true (by symmetry) p410: true (by symmetry) p411: true (by symmetry) p412: true (by symmetry) p413: true (by symmetry) p414: true (by symmetry) p415: true (by symmetry) p416: true (by symmetry) p417: true (by symmetry) p418: true (by symmetry) p419: true (by symmetry) p420: true (by symmetry) p421: true (by symmetry) p422: true (by symmetry) p423: true (by symmetry) p424: true (by symmetry) p425: true (by symmetry) p426: true (by symmetry) p427: true (by symmetry) p428: true (by symmetry) p429: true (by symmetry) p430: true (by symmetry) p431: true (by symmetry) p432: true (by symmetry) p433: true (by symmetry) p434: true (by symmetry) p435: true (by symmetry) p436: true (by symmetry) p437: true (by symmetry) p438: true (by symmetry) p439: true (by symmetry) p440: true (by symmetry) p441: true (by symmetry) p442: true (by symmetry) p443: true (by symmetry) p444: true (by symmetry) p445: true (by symmetry) p446: true (by symmetry) p447: true (by symmetry) p448: true (by symmetry) p449: true (by symmetry) p450: true (by symmetry) p451: true (by symmetry) p452: true (by symmetry) p453: true (by symmetry) p454: true (by symmetry) p455: true (by symmetry) p456: true (by symmetry) p457: true (by symmetry) p458: true (by symmetry) p459: true (by symmetry) p460: true (by symmetry) p461: true (by symmetry) p462: true (by symmetry) p463: true (by symmetry) p464: true (by symmetry) p465: true (by symmetry) p466: true (by symmetry) p467: true (by symmetry) p468: true (by symmetry) p469: true (by symmetry) p470: true (by symmetry) p471: true (by symmetry) p472: true (by symmetry) p473: true (by symmetry) p474: true (by symmetry) p475: true (by symmetry) p476: true (by symmetry) p477: true (by symmetry) p478: true (by symmetry) p479: true (by symmetry) p480: true (by symmetry) p481: true (by symmetry) p482: true (by symmetry) p483: true (by symmetry) p484: true (by symmetry) p485: true (by symmetry) p486: true (by symmetry) p487: true (by symmetry) p488: true (by symmetry) p489: true (by symmetry) p490: true (by symmetry) p491: true (by symmetry) p492: true (by symmetry) p493: true (by find path) p494: true (by symmetry) p495: true (by symmetry) p496: true (by symmetry) p497: true (by symmetry) p498: true (by symmetry) p499: true (by symmetry) p1100: void (by not produced) p1101: void (by not produced) p1102: void (by not produced) p1103: void (by not produced) p1104: void (by not produced) p1105: void (by not produced) p1106: void (by not produced) p1107: void (by not produced) p1108: true (by goal oriented search) p1109: true (by goal oriented search) p1110: true (by symmetry) p1111: true (by symmetry) p1112: true (by symmetry) p1113: true (by symmetry) p1114: true (by symmetry) p1115: true (by find path) p1116: true (by find path) p1117: true (by goal oriented search) p1118: true (by goal oriented search) p1119: true (by goal oriented search) p1120: true (by symmetry) p1121: true (by symmetry) p1122: true (by symmetry) p1123: true (by symmetry) l5509: true (by find path) l5518: true (by symmetry) l5527: true (by find path) l5536: true (by symmetry) l5544: true (by symmetry) l5545: true (by symmetry) l5546: true (by find path) l5547: true (by symmetry) l5548: true (by symmetry) l5549: true (by symmetry) l5550: true (by symmetry) l5551: true (by symmetry) l5556: true (by symmetry) l5557: true (by symmetry) l5558: true (by find path) l5559: true (by symmetry) l5560: true (by symmetry) l5561: true (by symmetry) l5562: true (by symmetry) l5563: true (by symmetry) l3513: true (by symmetry) p500: true (by symmetry) p501: true (by symmetry) p502: true (by symmetry) p503: true (by symmetry) p504: true (by symmetry) p505: true (by symmetry) p506: true (by symmetry) p507: true (by symmetry) p508: true (by symmetry) p509: true (by symmetry) p510: true (by symmetry) p511: true (by symmetry) p512: true (by symmetry) p513: true (by symmetry) p514: true (by symmetry) p515: true (by symmetry) p516: true (by symmetry) p517: true (by symmetry) p518: true (by symmetry) p519: true (by symmetry) p520: true (by symmetry) p521: true (by symmetry) p522: true (by symmetry) p523: true (by symmetry) p524: true (by goal oriented search) p525: true (by symmetry) p526: true (by symmetry) p527: true (by symmetry) p528: true (by symmetry) p529: true (by symmetry) p530: true (by symmetry) p531: true (by symmetry) p532: true (by symmetry) p533: true (by symmetry) p534: true (by symmetry) p535: true (by symmetry) p536: true (by symmetry) p537: true (by symmetry) p538: true (by symmetry) p539: true (by symmetry) p540: true (by symmetry) p541: true (by symmetry) p542: true (by symmetry) p543: true (by symmetry) p544: true (by symmetry) p545: true (by symmetry) p546: true (by symmetry) p547: true (by symmetry) p548: true (by symmetry) p549: true (by symmetry) p550: true (by symmetry) p551: true (by symmetry) p552: true (by symmetry) p553: true (by symmetry) p554: true (by symmetry) p555: true (by symmetry) p556: true (by symmetry) p557: true (by symmetry) p558: true (by symmetry) p559: true (by symmetry) p560: true (by symmetry) p561: true (by symmetry) p562: true (by symmetry) p563: true (by symmetry) p564: true (by symmetry) p565: true (by symmetry) p566: true (by symmetry) p567: true (by symmetry) p568: true (by symmetry) p569: true (by symmetry) p570: true (by symmetry) p571: true (by symmetry) p572: true (by symmetry) p573: true (by symmetry) p574: true (by symmetry) p575: true (by symmetry) p576: true (by symmetry) p577: true (by symmetry) p578: true (by symmetry) p579: true (by symmetry) p580: true (by symmetry) p581: true (by symmetry) p582: true (by symmetry) p583: true (by symmetry) p584: true (by symmetry) p585: true (by symmetry) p586: true (by symmetry) p587: true (by symmetry) p588: true (by symmetry) p589: true (by symmetry) p590: true (by symmetry) p591: true (by symmetry) p592: true (by symmetry) p593: true (by symmetry) p594: true (by symmetry) p595: true (by symmetry) p596: true (by symmetry) p597: true (by symmetry) p598: true (by symmetry) p599: true (by symmetry) l56: true (by goal oriented search) l57: true (by find path) l59: true (by find path) l3512: true (by symmetry) l3000: true (by symmetry) l3001: true (by symmetry) l3002: true (by symmetry) l3003: true (by symmetry) l3004: true (by symmetry) l3005: true (by symmetry) l3006: true (by symmetry) l3007: true (by symmetry) l3008: true (by symmetry) l3009: true (by symmetry) l3010: true (by symmetry) l3011: true (by symmetry) l3012: true (by symmetry) l3013: true (by symmetry) l3014: true (by symmetry) l3015: true (by symmetry) l3016: true (by symmetry) l3017: true (by symmetry) l3018: true (by symmetry) l3019: true (by symmetry) l3020: true (by symmetry) l3022: true (by symmetry) l3023: true (by symmetry) l3024: true (by symmetry) l3025: true (by symmetry) l3026: true (by symmetry) l3027: true (by symmetry) l3028: true (by symmetry) l3029: true (by symmetry) l3030: true (by symmetry) l3031: true (by symmetry) l3032: true (by symmetry) l3033: true (by symmetry) l3034: true (by symmetry) l3035: true (by symmetry) l3036: true (by symmetry) l3037: true (by symmetry) l3038: true (by symmetry) l3039: true (by symmetry) l3040: true (by symmetry) l3041: true (by symmetry) l3042: true (by symmetry) l3043: true (by symmetry) l3044: true (by symmetry) l3045: true (by symmetry) l3046: true (by symmetry) l3047: true (by symmetry) l3048: true (by symmetry) l3049: true (by symmetry) l3050: true (by symmetry) l3051: true (by symmetry) l3052: true (by symmetry) l3053: true (by symmetry) l3055: true (by symmetry) l3056: true (by symmetry) l3057: true (by symmetry) l3058: true (by symmetry) l3059: true (by symmetry) l3060: true (by symmetry) l3061: true (by symmetry) l3062: true (by symmetry) l3063: true (by symmetry) l3064: true (by symmetry) l3065: true (by symmetry) l3066: true (by symmetry) l3067: true (by symmetry) l3068: true (by find path) l3069: true (by symmetry) l3070: true (by symmetry) l3071: true (by symmetry) l3072: true (by find path) l3073: true (by symmetry) l3074: true (by symmetry) l3075: true (by symmetry) l3076: true (by find path) l3077: true (by symmetry) l3078: true (by symmetry) l3079: true (by symmetry) l3080: true (by symmetry) l3081: true (by symmetry) l3082: true (by symmetry) l3083: true (by symmetry) l3084: true (by symmetry) l3085: true (by symmetry) l3086: true (by symmetry) l3088: true (by symmetry) l3089: true (by symmetry) l3090: true (by symmetry) l3091: true (by symmetry) l3092: true (by symmetry) l3093: true (by symmetry) l3094: true (by symmetry) l3095: true (by symmetry) l3096: true (by symmetry) l3097: true (by symmetry) l3098: true (by symmetry) l3099: true (by symmetry) p600: true (by symmetry) p601: true (by symmetry) p602: true (by symmetry) p603: true (by symmetry) p604: true (by symmetry) p605: true (by symmetry) p606: true (by symmetry) p607: true (by symmetry) p608: true (by symmetry) p609: true (by symmetry) p610: true (by symmetry) p611: true (by symmetry) p612: true (by symmetry) p613: true (by symmetry) p614: true (by symmetry) p615: true (by symmetry) p616: true (by symmetry) p617: true (by symmetry) p618: true (by symmetry) p619: true (by symmetry) p620: true (by symmetry) p621: true (by symmetry) p622: true (by symmetry) p623: true (by symmetry) p624: true (by symmetry) p625: true (by symmetry) p626: true (by symmetry) p627: true (by symmetry) p628: true (by symmetry) p629: true (by symmetry) p630: true (by symmetry) p631: true (by symmetry) p632: true (by symmetry) p633: true (by symmetry) p634: true (by symmetry) p635: true (by symmetry) p636: true (by symmetry) p637: true (by symmetry) p638: true (by symmetry) p639: true (by symmetry) p640: true (by symmetry) p641: true (by symmetry) p642: true (by symmetry) p643: true (by symmetry) p644: true (by symmetry) p645: true (by symmetry) p646: true (by symmetry) p647: true (by symmetry) p648: true (by symmetry) p649: true (by symmetry) p650: true (by symmetry) p651: true (by symmetry) p652: true (by symmetry) p653: true (by symmetry) p654: true (by symmetry) p655: true (by symmetry) p656: true (by symmetry) p657: true (by symmetry) p658: true (by symmetry) p659: true (by symmetry) p660: true (by symmetry) p661: true (by symmetry) p662: true (by symmetry) p663: true (by symmetry) p664: true (by symmetry) p665: true (by symmetry) p666: true (by symmetry) p667: true (by symmetry) p668: true (by symmetry) p669: true (by symmetry) p670: true (by symmetry) p671: true (by symmetry) p672: true (by symmetry) p673: true (by symmetry) p674: true (by symmetry) p675: true (by symmetry) p676: true (by symmetry) p677: true (by symmetry) p678: true (by symmetry) p679: true (by symmetry) p680: true (by symmetry) p681: true (by symmetry) p682: true (by symmetry) p683: true (by symmetry) p684: true (by symmetry) p685: true (by symmetry) p686: true (by symmetry) p687: true (by symmetry) p688: true (by symmetry) p689: true (by symmetry) p690: true (by symmetry) p691: true (by symmetry) p692: true (by symmetry) p693: true (by symmetry) p694: true (by symmetry) p695: true (by symmetry) p696: true (by symmetry) p697: true (by symmetry) p698: true (by symmetry) p699: true (by symmetry) l3100: true (by symmetry) l3101: true (by symmetry) l3102: true (by symmetry) l3103: true (by symmetry) l3104: true (by symmetry) l3105: true (by symmetry) l3106: true (by symmetry) l3107: true (by symmetry) l3108: true (by symmetry) l3109: true (by symmetry) l3110: true (by symmetry) l3111: true (by symmetry) l3112: true (by symmetry) l3113: true (by symmetry) l3114: true (by symmetry) l3115: true (by symmetry) l3116: true (by symmetry) l3117: true (by symmetry) l3118: true (by symmetry) l3119: true (by symmetry) l3121: true (by symmetry) l3122: true (by symmetry) l3123: true (by symmetry) l3124: true (by symmetry) l3125: true (by symmetry) l3126: true (by symmetry) l3127: true (by symmetry) l3128: true (by symmetry) l3129: true (by symmetry) l3130: true (by symmetry) l3131: true (by symmetry) l3132: true (by symmetry) l3133: true (by symmetry) l3134: true (by symmetry) l3135: true (by symmetry) l3136: true (by symmetry) l3137: true (by symmetry) l3138: true (by symmetry) l3139: true (by symmetry) l3140: true (by symmetry) l3141: true (by symmetry) l3142: true (by symmetry) l3143: true (by symmetry) l3144: true (by symmetry) l3145: true (by symmetry) l3146: true (by symmetry) l3147: true (by symmetry) l3148: true (by symmetry) l3149: true (by symmetry) l3150: true (by symmetry) l3151: true (by symmetry) l3152: true (by symmetry) l3154: true (by symmetry) l3155: true (by symmetry) l3156: true (by symmetry) l3157: true (by symmetry) l3158: true (by symmetry) l3159: true (by symmetry) l3160: true (by symmetry) l3161: true (by symmetry) l3162: true (by symmetry) l3163: true (by symmetry) l3164: true (by symmetry) l3165: true (by symmetry) l3166: true (by symmetry) l3167: true (by symmetry) l3168: true (by symmetry) l3169: true (by symmetry) l3170: true (by symmetry) l3171: true (by symmetry) l3172: true (by symmetry) l3173: true (by symmetry) l3174: true (by symmetry) l3175: true (by symmetry) l3176: true (by symmetry) l3177: true (by symmetry) l3178: true (by symmetry) l3179: true (by symmetry) l3180: true (by symmetry) l3181: true (by symmetry) l3182: true (by symmetry) l3183: true (by symmetry) l3184: true (by symmetry) l3185: true (by symmetry) l3187: true (by symmetry) l3188: true (by symmetry) l3189: true (by symmetry) l3190: true (by symmetry) l3191: true (by symmetry) l3192: true (by symmetry) l3193: true (by symmetry) l3194: true (by symmetry) l3195: true (by symmetry) l3196: true (by symmetry) l3197: true (by symmetry) l3198: true (by symmetry) l3199: true (by symmetry) p700: true (by symmetry) p701: true (by symmetry) p702: true (by symmetry) p703: true (by symmetry) p704: true (by symmetry) p705: true (by symmetry) p706: true (by symmetry) p707: true (by symmetry) p708: true (by symmetry) p709: true (by symmetry) p710: true (by symmetry) p711: true (by symmetry) p712: true (by symmetry) p713: true (by symmetry) p714: true (by symmetry) p715: true (by symmetry) p716: true (by symmetry) p717: true (by symmetry) p718: true (by symmetry) p719: true (by symmetry) p720: true (by find path) p721: true (by symmetry) p722: true (by symmetry) p723: true (by symmetry) p724: true (by symmetry) p725: true (by symmetry) p726: true (by symmetry) p727: true (by symmetry) p728: true (by symmetry) p729: true (by symmetry) p730: true (by symmetry) p731: true (by symmetry) p732: true (by symmetry) p733: true (by symmetry) p734: true (by symmetry) p735: true (by symmetry) p736: true (by symmetry) p737: true (by symmetry) p738: true (by symmetry) p739: true (by symmetry) p740: true (by symmetry) p741: true (by symmetry) p742: true (by symmetry) p743: true (by symmetry) p744: true (by symmetry) p745: true (by symmetry) p746: true (by find path) p747: true (by symmetry) p748: true (by symmetry) p749: true (by symmetry) p750: true (by symmetry) p751: true (by symmetry) p752: true (by symmetry) p753: true (by symmetry) p754: true (by symmetry) p755: true (by symmetry) p756: true (by symmetry) p757: true (by symmetry) p758: true (by symmetry) p759: true (by symmetry) p760: true (by symmetry) p761: true (by symmetry) p762: true (by symmetry) p763: true (by symmetry) p764: true (by symmetry) p765: true (by symmetry) p766: true (by symmetry) p767: true (by symmetry) p768: true (by symmetry) p769: true (by symmetry) p770: true (by symmetry) p771: true (by symmetry) p772: true (by symmetry) p773: true (by symmetry) p774: true (by symmetry) p775: true (by symmetry) p776: true (by symmetry) p777: true (by symmetry) p778: true (by symmetry) p779: true (by symmetry) p780: true (by symmetry) p781: true (by symmetry) p782: true (by symmetry) p783: true (by symmetry) p784: true (by symmetry) p785: true (by symmetry) p786: true (by symmetry) p787: true (by symmetry) p788: true (by symmetry) p789: true (by symmetry) p790: true (by symmetry) p791: true (by symmetry) p792: true (by symmetry) p793: true (by symmetry) p794: true (by symmetry) p795: true (by symmetry) p796: true (by symmetry) p797: true (by symmetry) p798: true (by find path) p799: true (by symmetry) l3200: true (by symmetry) l3201: true (by symmetry) l3202: true (by symmetry) l3203: true (by symmetry) l3204: true (by symmetry) l3205: true (by symmetry) l3206: true (by symmetry) l3207: true (by symmetry) l3208: true (by symmetry) l3209: true (by symmetry) l3210: true (by symmetry) l3211: true (by symmetry) l3212: true (by symmetry) l3213: true (by symmetry) l3214: true (by symmetry) l3215: true (by find path) l3216: true (by symmetry) l3217: true (by find path) l3218: true (by symmetry) l3220: true (by symmetry) l3221: true (by symmetry) l3222: true (by symmetry) l3223: true (by symmetry) l3224: true (by symmetry) l3225: true (by symmetry) l3226: true (by symmetry) l3227: true (by symmetry) l3228: true (by symmetry) l3229: true (by symmetry) l3230: true (by symmetry) l3231: true (by symmetry) l3232: true (by symmetry) l3233: true (by symmetry) l3234: true (by symmetry) l3235: true (by symmetry) l3236: true (by symmetry) l3237: true (by symmetry) l3238: true (by symmetry) l3239: true (by symmetry) l3240: true (by symmetry) l3241: true (by symmetry) l3242: true (by symmetry) l3243: true (by symmetry) l3244: true (by symmetry) l3245: true (by symmetry) l3246: true (by symmetry) l3247: true (by symmetry) l3248: true (by symmetry) l3249: true (by symmetry) l3250: true (by symmetry) l3251: true (by symmetry) l3253: true (by symmetry) l3254: true (by symmetry) l3255: true (by symmetry) l3256: true (by symmetry) l3257: true (by symmetry) l3258: true (by symmetry) l3259: true (by symmetry) l3260: true (by symmetry) l3261: true (by symmetry) l3262: true (by symmetry) l3263: true (by symmetry) l3264: true (by symmetry) l3265: true (by symmetry) l3266: true (by symmetry) l3267: true (by symmetry) l3268: true (by find path) l3269: true (by symmetry) l3270: true (by symmetry) l3271: true (by find path) l3272: true (by symmetry) l3273: true (by symmetry) l3274: true (by symmetry) l3275: true (by symmetry) l3276: true (by symmetry) l3277: true (by symmetry) l3278: true (by symmetry) l3279: true (by symmetry) l3280: true (by symmetry) l3281: true (by symmetry) l3282: true (by symmetry) l3283: true (by symmetry) l3284: true (by symmetry) l3286: true (by symmetry) l3287: true (by symmetry) l3288: true (by symmetry) l3289: true (by symmetry) l3290: true (by symmetry) l3291: true (by symmetry) l3292: true (by symmetry) l3293: true (by symmetry) l3294: true (by symmetry) l3295: true (by symmetry) l3296: true (by symmetry) l3297: true (by symmetry) l3298: true (by symmetry) l3299: true (by symmetry) p800: true (by symmetry) p801: true (by symmetry) p802: true (by symmetry) p803: true (by symmetry) p804: true (by symmetry) p805: true (by symmetry) p806: true (by symmetry) p807: true (by symmetry) p808: true (by symmetry) p809: true (by symmetry) p810: true (by symmetry) p811: true (by symmetry) p812: true (by symmetry) p813: true (by symmetry) p814: true (by symmetry) p815: true (by symmetry) p816: true (by symmetry) p817: true (by symmetry) p818: true (by symmetry) p819: true (by symmetry) p820: true (by symmetry) p821: true (by symmetry) p822: true (by symmetry) p823: true (by symmetry) p824: true (by symmetry) p825: true (by symmetry) p826: true (by symmetry) p827: true (by symmetry) p828: true (by symmetry) p829: true (by symmetry) p830: true (by symmetry) p831: true (by symmetry) p832: true (by symmetry) p833: true (by symmetry) p834: true (by symmetry) p835: true (by symmetry) p836: true (by symmetry) p837: true (by symmetry) p838: true (by symmetry) p839: true (by symmetry) p840: true (by symmetry) p841: true (by symmetry) p842: true (by symmetry) p843: true (by symmetry) p844: true (by symmetry) p845: true (by symmetry) p846: true (by symmetry) p847: true (by symmetry) p848: true (by symmetry) p849: true (by symmetry) p850: true (by symmetry) p851: true (by symmetry) p852: true (by symmetry) p853: true (by symmetry) p854: true (by symmetry) p855: true (by symmetry) p856: true (by symmetry) p857: true (by symmetry) p858: true (by symmetry) p859: true (by symmetry) p860: true (by symmetry) p861: true (by symmetry) p862: true (by symmetry) p863: true (by symmetry) p864: true (by symmetry) p865: true (by symmetry) p866: true (by symmetry) p867: true (by symmetry) p868: true (by symmetry) p869: true (by symmetry) p870: true (by symmetry) p871: true (by symmetry) p872: true (by symmetry) p873: true (by symmetry) p874: true (by symmetry) p875: true (by symmetry) p876: true (by symmetry) p877: true (by symmetry) p878: true (by symmetry) p879: true (by symmetry) p880: true (by symmetry) p881: true (by symmetry) p882: true (by symmetry) p883: true (by symmetry) p884: true (by symmetry) p885: true (by symmetry) p886: true (by symmetry) p887: true (by symmetry) p888: true (by symmetry) p889: true (by symmetry) p890: true (by symmetry) p891: true (by symmetry) p892: true (by symmetry) p893: true (by symmetry) p894: true (by symmetry) p895: true (by symmetry) p896: true (by symmetry) p897: true (by symmetry) p898: true (by symmetry) p899: true (by symmetry) l3300: true (by symmetry) l3301: true (by symmetry) l3302: true (by symmetry) l3303: true (by symmetry) l3304: true (by symmetry) l3305: true (by symmetry) l3306: true (by symmetry) l3307: true (by symmetry) l3308: true (by symmetry) l3309: true (by symmetry) l3310: true (by symmetry) l3311: true (by symmetry) l3312: true (by symmetry) l3313: true (by symmetry) l3314: true (by symmetry) l3315: true (by symmetry) l3316: true (by symmetry) l3317: true (by symmetry) l3319: true (by symmetry) l3320: true (by symmetry) l3321: true (by symmetry) l3322: true (by symmetry) l3323: true (by symmetry) l3324: true (by symmetry) l3325: true (by symmetry) l3326: true (by symmetry) l3327: true (by symmetry) l3328: true (by symmetry) l3329: true (by symmetry) l3330: true (by symmetry) l3331: true (by symmetry) l3332: true (by symmetry) l3333: true (by symmetry) l3334: true (by symmetry) l3335: true (by symmetry) l3336: true (by symmetry) l3337: true (by symmetry) l3338: true (by symmetry) l3339: true (by symmetry) l3340: true (by symmetry) l3341: true (by symmetry) l3342: true (by symmetry) l3343: true (by symmetry) l3344: true (by symmetry) l3345: true (by symmetry) l3346: true (by symmetry) l3347: true (by symmetry) l3348: true (by symmetry) l3349: true (by symmetry) l3350: true (by symmetry) l3352: true (by symmetry) l3353: true (by symmetry) l3354: true (by symmetry) l3355: true (by symmetry) l3356: true (by symmetry) l3357: true (by symmetry) l3358: true (by symmetry) l3359: true (by symmetry) l3360: true (by find path) l3361: true (by symmetry) l3362: true (by symmetry) l3363: true (by symmetry) l3364: true (by symmetry) l3365: true (by symmetry) l3366: true (by symmetry) l3367: true (by symmetry) l3368: true (by symmetry) l3369: true (by symmetry) l3370: true (by symmetry) l3371: true (by symmetry) l3372: true (by symmetry) l3373: true (by symmetry) l3374: true (by symmetry) l3375: true (by symmetry) l3376: true (by symmetry) l3377: true (by symmetry) l3378: true (by symmetry) l3379: true (by symmetry) l3380: true (by symmetry) l3381: true (by find path) l3382: true (by symmetry) l3383: true (by symmetry) l3385: true (by symmetry) l3386: true (by symmetry) l3387: true (by symmetry) l3388: true (by symmetry) l3389: true (by symmetry) l3390: true (by symmetry) l3391: true (by symmetry) l3392: true (by symmetry) l3393: true (by symmetry) l3394: true (by symmetry) l3395: true (by symmetry) l3396: true (by symmetry) l3397: true (by symmetry) l3398: true (by symmetry) l3399: true (by symmetry) p900: true (by symmetry) p901: true (by symmetry) p902: true (by symmetry) p903: true (by symmetry) p904: true (by symmetry) p905: true (by find path) p906: true (by symmetry) p907: true (by symmetry) p908: true (by symmetry) p909: true (by symmetry) p910: true (by symmetry) p911: true (by symmetry) p912: true (by symmetry) p913: true (by symmetry) p914: true (by symmetry) p915: true (by symmetry) p916: true (by symmetry) p917: true (by symmetry) p918: true (by symmetry) p919: true (by symmetry) p920: true (by symmetry) p921: true (by symmetry) p922: true (by symmetry) p923: true (by symmetry) p924: true (by symmetry) p925: true (by symmetry) p926: true (by symmetry) p927: true (by symmetry) p928: true (by symmetry) p929: true (by symmetry) p930: true (by symmetry) p931: true (by symmetry) p932: true (by symmetry) p933: true (by symmetry) p934: true (by symmetry) p935: true (by symmetry) p936: true (by symmetry) p937: true (by symmetry) p938: true (by symmetry) p939: true (by symmetry) p940: true (by find path) p941: true (by symmetry) p942: true (by symmetry) p943: true (by symmetry) p944: true (by symmetry) p945: true (by symmetry) p946: true (by symmetry) p947: true (by symmetry) p948: true (by symmetry) p949: true (by symmetry) p950: true (by symmetry) p951: true (by symmetry) p952: true (by symmetry) p953: true (by symmetry) p954: true (by symmetry) p955: true (by symmetry) p956: true (by symmetry) p957: true (by symmetry) p958: true (by symmetry) p959: true (by symmetry) p10: true (by symmetry) l3511: true (by symmetry) p12: true (by symmetry) p13: true (by symmetry) p14: true (by symmetry) p15: true (by symmetry) p16: true (by symmetry) p17: true (by symmetry) p18: true (by symmetry) p19: true (by symmetry) p960: true (by symmetry) p961: true (by symmetry) p962: true (by symmetry) p963: true (by symmetry) p964: true (by symmetry) p965: true (by symmetry) p966: true (by symmetry) p967: true (by symmetry) p968: true (by symmetry) p969: true (by symmetry) p20: true (by symmetry) p21: true (by symmetry) p22: true (by symmetry) p23: true (by symmetry) p24: true (by symmetry) p25: true (by symmetry) p26: true (by symmetry) p27: true (by symmetry) p28: true (by symmetry) p29: true (by symmetry) p970: true (by symmetry) p971: true (by symmetry) p972: true (by symmetry) p973: true (by symmetry) p974: true (by symmetry) p975: true (by symmetry) p976: true (by symmetry) p977: true (by symmetry) p978: true (by symmetry) p979: true (by symmetry) p30: true (by symmetry) p31: true (by symmetry) p32: true (by symmetry) p33: true (by symmetry) p34: true (by symmetry) p35: true (by symmetry) p36: true (by symmetry) p37: true (by symmetry) p38: true (by symmetry) p39: true (by symmetry) p980: true (by symmetry) p981: true (by symmetry) p982: true (by symmetry) p983: true (by symmetry) p984: true (by symmetry) p985: true (by symmetry) p986: true (by symmetry) p987: true (by symmetry) p988: true (by symmetry) p989: true (by symmetry) p40: true (by symmetry) p41: true (by symmetry) p42: true (by symmetry) p43: true (by symmetry) p44: true (by symmetry) p45: true (by symmetry) p46: true (by symmetry) p47: true (by symmetry) p48: true (by symmetry) p49: true (by symmetry) p990: true (by symmetry) p991: true (by symmetry) p992: true (by symmetry) p993: true (by symmetry) p994: true (by symmetry) p995: true (by symmetry) p996: true (by symmetry) p997: true (by symmetry) p998: true (by symmetry) p999: true (by symmetry) p50: true (by symmetry) p51: true (by symmetry) p52: true (by symmetry) p53: true (by symmetry) p54: true (by symmetry) p55: true (by symmetry) p56: true (by symmetry) p57: true (by symmetry) p58: true (by symmetry) p59: true (by symmetry) p60: true (by symmetry) p61: true (by symmetry) p62: true (by symmetry) p63: true (by symmetry) p64: true (by symmetry) p65: true (by symmetry) p66: true (by symmetry) p67: true (by symmetry) p68: true (by symmetry) p69: true (by goal oriented search) p70: true (by symmetry) p71: true (by symmetry) p72: true (by symmetry) p73: true (by symmetry) p74: true (by symmetry) p75: true (by symmetry) p76: true (by symmetry) p77: true (by symmetry) p78: true (by symmetry) p79: true (by symmetry) p80: true (by symmetry) p81: true (by symmetry) p82: true (by symmetry) p83: true (by symmetry) p84: true (by symmetry) p85: true (by symmetry) p86: true (by symmetry) p87: true (by symmetry) p88: true (by symmetry) p89: true (by symmetry) p90: true (by symmetry) p91: true (by symmetry) p92: true (by symmetry) p93: true (by symmetry) p94: true (by symmetry) p95: true (by symmetry) p96: true (by symmetry) p97: true (by symmetry) p98: true (by symmetry) l3510: true (by symmetry) l3400: true (by symmetry) l3401: true (by symmetry) l3402: true (by symmetry) l3403: true (by symmetry) l3404: true (by symmetry) l3405: true (by symmetry) l3406: true (by symmetry) l3407: true (by symmetry) l3408: true (by symmetry) l3409: true (by symmetry) l3410: true (by symmetry) l3411: true (by symmetry) l3412: true (by symmetry) l3413: true (by symmetry) l3414: true (by symmetry) l3415: true (by symmetry) l3416: true (by symmetry) l3418: true (by symmetry) l3419: true (by symmetry) l3420: true (by symmetry) l3421: true (by symmetry) l3422: true (by symmetry) l3423: true (by symmetry) l3424: true (by symmetry) l3425: true (by symmetry) l3426: true (by symmetry) l3427: true (by symmetry) l3428: true (by symmetry) l3429: true (by symmetry) l3430: true (by symmetry) l3431: true (by symmetry) l3432: true (by symmetry) l3433: true (by symmetry) l3434: true (by symmetry) l3435: true (by symmetry) l3436: true (by symmetry) l3437: true (by symmetry) l3438: true (by symmetry) l3439: true (by symmetry) l3440: true (by symmetry) l3441: true (by symmetry) l3442: true (by symmetry) l3443: true (by symmetry) l3444: true (by symmetry) l3445: true (by symmetry) l3446: true (by symmetry) l3447: true (by symmetry) l3448: true (by symmetry) l3449: true (by symmetry) l3451: true (by symmetry) l3452: true (by find path) l3453: true (by symmetry) l3454: true (by symmetry) l3455: true (by symmetry) l3456: true (by symmetry) l3457: true (by symmetry) l3458: true (by symmetry) l3459: true (by symmetry) l3460: true (by symmetry) l3461: true (by symmetry) l3462: true (by symmetry) l3463: true (by symmetry) l3464: true (by symmetry) l3465: true (by symmetry) l3466: true (by symmetry) l3467: true (by symmetry) l3468: true (by symmetry) l3469: true (by symmetry) l3470: true (by symmetry) l3471: true (by symmetry) l3472: true (by symmetry) l3473: true (by symmetry) l3474: true (by symmetry) l3475: true (by symmetry) l3476: true (by symmetry) l3477: true (by symmetry) l3478: true (by symmetry) l3479: true (by symmetry) l3480: true (by symmetry) l3481: true (by symmetry) l3482: true (by symmetry) l3484: true (by symmetry) l3485: true (by symmetry) l3486: true (by symmetry) l3487: true (by symmetry) l3488: true (by symmetry) l3489: true (by symmetry) l3490: true (by symmetry) l3491: true (by symmetry) l3492: true (by symmetry) l3493: true (by symmetry) l3494: true (by symmetry) l3495: true (by symmetry) l3496: true (by symmetry) l3497: true (by symmetry) l3498: true (by symmetry) l3499: true (by symmetry) l3500: true (by symmetry) l3501: true (by symmetry) l3502: true (by symmetry) l3503: true (by symmetry) l3504: true (by symmetry) l3505: true (by symmetry) l3506: true (by symmetry) l3507: true (by symmetry) l3508: true (by symmetry) l3509: true (by symmetry) p99: true (by symmetry) p11: true (by symmetry) l60: true (by find path) l5565: true (by find path) l3700: void (by not produced) l3515: true (by symmetry)

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="RingSingleMessageInMbox-PT-d1m005"
export BK_EXAMINATION="StableMarking"
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-5568"
echo " Executing tool lola"
echo " Input is RingSingleMessageInMbox-PT-d1m005, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r344-tall-171679095000038"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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