Index: cegar_dev/cegar/Makefile =================================================================== --- cegar_dev/cegar/Makefile (revision 4) +++ cegar_dev/cegar/Makefile (revision 6) @@ -1,3 +1,3 @@ - VIS_PATH=/dsk/l1/misc/Soft + VIS_PATH=/dsk/l1/misc/TOOLS LIB_VIS=$(VIS_PATH)/lib LIB_OPT= -lMonvis -lcu -lglu -lm -lbsd -lreadline -ltermcap -lfl Index: cegar_dev/cegar/concrete_model/SATcnf_c1.cnf =================================================================== --- cegar_dev/cegar/concrete_model/SATcnf_c1.cnf (revision 4) +++ cegar_dev/cegar/concrete_model/SATcnf_c1.cnf (revision 6) @@ -1,318 +1,318 @@ -c o1_0_0 58 -c Nd25_36_3 38 -c Nd25_36_2 25 -c Nd24_36_4 56 -c Nd25_36_1 11 -c Nd24_36_3 43 -c Nd25_36_0 15 -c Nd24_36_2 30 -c Nd25_37_4 45 -c Nd24_36_1 17 -c Nd25_37_3 32 -c Nd25_37_2 19 -c r_i1_0_0 76 -c Nd25_37_1 5 -c Nd24_37_4 54 -c r_i1_0_1 80 -c Nd25_37_0 1 -c Nd24_37_3 41 -c r_i1_0_2 83 -c Nd24_37_2 28 -c r_i1_0_3 86 -c Nd13_84_3 48 -c Nd24_37_1 14 -c r_i1_0_4 89 -c Nd13_84_2 35 -c machine_concret1.m_state_1_0 3 -c i1_0_-1 77 -c Nd13_84_1 22 -c Nd277_301_3 73 -c machine_concret1.m_state_1_1 7 -c Nd13_84_0 8 -c Nd277_301_2 69 -c Nd12_84_3 52 -c Nd277_301_1 65 -c Nd12_84_2 39 -c machine_concret1.m_state_1_2 21 -c Nd277_301_0 61 -c Nd12_84_1 26 -c machine_concret1.m_state_1_3 34 -c Nd12_84_0 12 -c machine_concret1.m_state_1_4 47 -c o2_0_4 103 -c machine_concret1.m_state_0_0 2 -c i1_0_0 9 -c o2_0_3 100 -c machine_concret1.m_state_0_1 6 -c i1_0_1 23 -c o2_0_2 97 -c o1_0_4 72 -c machine_concret1.m_state_0_2 20 -c i1_0_2 36 -c o2_0_1 94 -c machine_concret1.m_state_0_3 33 -c i1_0_3 49 -c o1_0_3 68 -c o2_0_0 92 -c machine_concret1.m_state_0_4 46 -c o1_0_2 64 -c Nd25_36_4 51 -c o1_0_1 60 +c Nd253_277_1 79 +c o1_0_0 72 +c Nd25_36_3 52 +c Nd253_277_0 75 +c Nd25_36_2 42 +c Nd24_36_4 70 +c Nd25_36_1 31 +c Nd24_36_3 57 +c Nd25_36_0 35 +c Nd24_36_2 47 +c Nd25_37_4 59 +c Nd24_36_1 37 +c Nd25_37_3 22 +c Nd25_37_2 16 +c r_i1_0_0 90 +c r_i1_0_1 94 +c Nd25_37_1 10 +c Nd24_37_4 68 +c r_i1_0_2 97 +c Nd25_37_0 4 +c Nd24_37_3 55 +c r_i1_0_3 100 +c Nd24_37_2 45 +c r_i1_0_4 103 +c Nd13_84_3 62 +c Nd24_37_1 34 +c Nd13_84_2 49 +c i1_0_-1 91 +c machine_concret1.m_state_1_0 6 +c Nd13_84_1 39 +c machine_concret1.m_state_1_1 12 +c Nd13_84_0 28 +c Nd12_84_3 66 +c Nd12_84_2 53 +c machine_concret1.m_state_1_2 18 +c Nd12_84_1 43 +c machine_concret1.m_state_1_3 24 +c Nd12_84_0 32 +c machine_concret1.m_state_1_4 61 +c machine_concret1.m_state_0_0 5 +c o2_0_4 21 +c i1_0_0 29 +c machine_concret1.m_state_0_1 11 +c o2_0_3 15 +c i1_0_1 40 +c o1_0_4 86 +c machine_concret1.m_state_0_2 17 +c o2_0_2 9 +c i1_0_2 50 +c machine_concret1.m_state_0_3 23 +c o2_0_1 3 +c i1_0_3 63 +c o1_0_3 82 +c machine_concret1.m_state_0_4 60 +c o2_0_0 1 +c Nd253_277_3 87 +c o1_0_2 78 +c Nd25_36_4 65 +c Nd253_277_2 83 +c o1_0_1 74 p cnf 105 257 -2 3 1 0 --2 -1 0 --3 -1 0 --1 4 0 -1 -4 0 -4 0 -6 7 5 0 --6 -5 0 --7 -5 0 -9 -1 8 0 --9 -8 0 -1 -8 0 --5 -8 10 0 -5 -10 0 -8 -10 0 -6 -7 11 0 --6 -11 0 -7 -11 0 --9 -1 12 0 -9 -12 0 -1 -12 0 --11 -12 13 0 -11 -13 0 -12 -13 0 --6 7 14 0 -6 -14 0 --7 -14 0 -2 -3 15 0 --2 -15 0 -3 -15 0 --14 -15 16 0 -14 -16 0 -15 -16 0 --6 -7 17 0 -6 -17 0 -7 -17 0 --17 -2 18 0 -17 -18 0 -2 -18 0 -10 13 16 18 0 -20 21 19 0 --20 -19 0 --21 -19 0 -23 -5 22 0 +1 2 0 +-1 -2 0 +2 0 +5 6 4 0 +-5 -4 0 +-6 -4 0 +3 -4 7 0 +-3 -7 0 +4 -7 0 +-3 4 8 0 +3 -8 0 +-4 -8 0 +7 8 0 +11 12 10 0 +-11 -10 0 +-12 -10 0 +9 -10 13 0 +-9 -13 0 +10 -13 0 +-9 10 14 0 +9 -14 0 +-10 -14 0 +13 14 0 +17 18 16 0 +-17 -16 0 +-18 -16 0 +15 -16 19 0 +-15 -19 0 +16 -19 0 +-15 16 20 0 +15 -20 0 +-16 -20 0 +19 20 0 +23 24 22 0 -23 -22 0 -5 -22 0 --19 -22 24 0 -19 -24 0 -22 -24 0 -20 -21 25 0 --20 -25 0 -21 -25 0 --23 -5 26 0 -23 -26 0 -5 -26 0 --25 -26 27 0 -25 -27 0 -26 -27 0 --20 21 28 0 -20 -28 0 --21 -28 0 --28 -11 29 0 -28 -29 0 -11 -29 0 --20 -21 30 0 -20 -30 0 -21 -30 0 --30 -6 31 0 -30 -31 0 -6 -31 0 -24 27 29 31 0 -33 34 32 0 --33 -32 0 --34 -32 0 -36 -19 35 0 --36 -35 0 -19 -35 0 --32 -35 37 0 -32 -37 0 -35 -37 0 -33 -34 38 0 --33 -38 0 -34 -38 0 --36 -19 39 0 -36 -39 0 -19 -39 0 --38 -39 40 0 -38 -40 0 -39 -40 0 --33 34 41 0 -33 -41 0 --34 -41 0 --41 -25 42 0 -41 -42 0 -25 -42 0 --33 -34 43 0 -33 -43 0 -34 -43 0 --43 -20 44 0 +-24 -22 0 +21 -22 25 0 +-21 -25 0 +22 -25 0 +-21 22 26 0 +21 -26 0 +-22 -26 0 +25 26 0 +-4 27 0 +4 -27 0 +27 0 +29 -4 28 0 +-29 -28 0 +4 -28 0 +-10 -28 30 0 +10 -30 0 +28 -30 0 +11 -12 31 0 +-11 -31 0 +12 -31 0 +-29 -4 32 0 +29 -32 0 +4 -32 0 +-31 -32 33 0 +31 -33 0 +32 -33 0 +-11 12 34 0 +11 -34 0 +-12 -34 0 +5 -6 35 0 +-5 -35 0 +6 -35 0 +-34 -35 36 0 +34 -36 0 +35 -36 0 +-11 -12 37 0 +11 -37 0 +12 -37 0 +-37 -5 38 0 +37 -38 0 +5 -38 0 +30 33 36 38 0 +40 -10 39 0 +-40 -39 0 +10 -39 0 +-16 -39 41 0 +16 -41 0 +39 -41 0 +17 -18 42 0 +-17 -42 0 +18 -42 0 +-40 -10 43 0 +40 -43 0 +10 -43 0 +-42 -43 44 0 +42 -44 0 43 -44 0 -20 -44 0 -37 40 42 44 0 -46 47 45 0 --46 -45 0 --47 -45 0 -49 -32 48 0 --49 -48 0 -32 -48 0 --45 -48 50 0 -45 -50 0 -48 -50 0 -46 -47 51 0 --46 -51 0 -47 -51 0 --49 -32 52 0 -49 -52 0 -32 -52 0 --51 -52 53 0 -51 -53 0 -52 -53 0 --46 47 54 0 -46 -54 0 --47 -54 0 --54 -38 55 0 -54 -55 0 -38 -55 0 --46 -47 56 0 -46 -56 0 -47 -56 0 --56 -33 57 0 -56 -57 0 -33 -57 0 -50 53 55 57 0 -58 59 0 --58 -59 0 -59 0 -8 15 61 0 --8 -61 0 --15 -61 0 -60 61 62 0 --60 -62 0 --61 -62 0 --60 -61 63 0 -60 -63 0 -61 -63 0 -62 63 0 -22 11 65 0 --22 -65 0 --11 -65 0 -64 65 66 0 --64 -66 0 --65 -66 0 --64 -65 67 0 -64 -67 0 +-17 18 45 0 +17 -45 0 +-18 -45 0 +-45 -31 46 0 +45 -46 0 +31 -46 0 +-17 -18 47 0 +17 -47 0 +18 -47 0 +-47 -11 48 0 +47 -48 0 +11 -48 0 +41 44 46 48 0 +50 -16 49 0 +-50 -49 0 +16 -49 0 +-22 -49 51 0 +22 -51 0 +49 -51 0 +23 -24 52 0 +-23 -52 0 +24 -52 0 +-50 -16 53 0 +50 -53 0 +16 -53 0 +-52 -53 54 0 +52 -54 0 +53 -54 0 +-23 24 55 0 +23 -55 0 +-24 -55 0 +-55 -42 56 0 +55 -56 0 +42 -56 0 +-23 -24 57 0 +23 -57 0 +24 -57 0 +-57 -17 58 0 +57 -58 0 +17 -58 0 +51 54 56 58 0 +60 61 59 0 +-60 -59 0 +-61 -59 0 +63 -22 62 0 +-63 -62 0 +22 -62 0 +-59 -62 64 0 +59 -64 0 +62 -64 0 +60 -61 65 0 +-60 -65 0 +61 -65 0 +-63 -22 66 0 +63 -66 0 +22 -66 0 +-65 -66 67 0 65 -67 0 -66 67 0 -35 25 69 0 --35 -69 0 --25 -69 0 -68 69 70 0 --68 -70 0 --69 -70 0 --68 -69 71 0 -68 -71 0 -69 -71 0 -70 71 0 -48 38 73 0 --48 -73 0 --38 -73 0 -72 73 74 0 --72 -74 0 --73 -74 0 --72 -73 75 0 -72 -75 0 -73 -75 0 -74 75 0 -76 77 78 0 --76 -78 0 --77 -78 0 --76 -77 79 0 -76 -79 0 -77 -79 0 -78 79 0 -80 9 81 0 --80 -81 0 --9 -81 0 --80 -9 82 0 -80 -82 0 -9 -82 0 -81 82 0 -83 23 84 0 +66 -67 0 +-60 61 68 0 +60 -68 0 +-61 -68 0 +-68 -52 69 0 +68 -69 0 +52 -69 0 +-60 -61 70 0 +60 -70 0 +61 -70 0 +-70 -23 71 0 +70 -71 0 +23 -71 0 +64 67 69 71 0 +72 73 0 +-72 -73 0 +73 0 +28 35 75 0 +-28 -75 0 +-35 -75 0 +74 75 76 0 +-74 -76 0 +-75 -76 0 +-74 -75 77 0 +74 -77 0 +75 -77 0 +76 77 0 +39 31 79 0 +-39 -79 0 +-31 -79 0 +78 79 80 0 +-78 -80 0 +-79 -80 0 +-78 -79 81 0 +78 -81 0 +79 -81 0 +80 81 0 +49 42 83 0 +-49 -83 0 +-42 -83 0 +82 83 84 0 +-82 -84 0 -83 -84 0 --23 -84 0 --83 -23 85 0 +-82 -83 85 0 +82 -85 0 83 -85 0 -23 -85 0 84 85 0 -86 36 87 0 --86 -87 0 --36 -87 0 --86 -36 88 0 -86 -88 0 -36 -88 0 -87 88 0 -89 49 90 0 --89 -90 0 --49 -90 0 --89 -49 91 0 -89 -91 0 -49 -91 0 -90 91 0 +62 52 87 0 +-62 -87 0 +-52 -87 0 +86 87 88 0 +-86 -88 0 +-87 -88 0 +-86 -87 89 0 +86 -89 0 +87 -89 0 +88 89 0 +90 91 92 0 +-90 -92 0 +-91 -92 0 +-90 -91 93 0 +90 -93 0 +91 -93 0 92 93 0 --92 -93 0 -93 0 -94 -1 95 0 +94 29 95 0 -94 -95 0 -1 -95 0 --94 1 96 0 +-29 -95 0 +-94 -29 96 0 94 -96 0 --1 -96 0 +29 -96 0 95 96 0 -97 -5 98 0 +97 40 98 0 -97 -98 0 -5 -98 0 --97 5 99 0 +-40 -98 0 +-97 -40 99 0 97 -99 0 --5 -99 0 +40 -99 0 98 99 0 -100 -19 101 0 +100 50 101 0 -100 -101 0 -19 -101 0 --100 19 102 0 +-50 -101 0 +-100 -50 102 0 100 -102 0 --19 -102 0 +50 -102 0 101 102 0 -103 -32 104 0 +103 63 104 0 -103 -104 0 -32 -104 0 --103 32 105 0 +-63 -104 0 +-103 -63 105 0 103 -105 0 --32 -105 0 +63 -105 0 104 105 0 --58 0 --92 0 --76 0 -60 0 +-72 0 +-1 0 +-90 0 +74 0 +-3 0 -94 0 --80 0 -64 0 +78 0 +-9 0 -97 0 --83 0 -68 0 +82 0 +-15 0 -100 0 --86 0 -72 0 +86 0 +-21 0 -103 0 --89 0