Changeset 6 for cegar_dev/cegar/concrete_model

Timestamp:

Jul 8, 2011, 4:32:32 PM (13 years ago)

Author:

cecile

Message:

Ajout de glus pour dev VIS mod

File:

• cegar_dev/cegar/concrete_model/SATcnf_c1.cnf (modified) (1 diff)

cegar_dev/cegar/concrete_model/SATcnf_c1.cnf

@@ -1 @@
-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