Ignore:
Timestamp:
Jul 8, 2011, 4:32:32 PM (13 years ago)
Author:
cecile
Message:

Ajout de glus pour dev VIS mod

File:
1 edited

Legend:

Unmodified
Added
Removed
  • cegar_dev/cegar/concrete_model/SATcnf_c1.cnf

    r4 r6  
    1 c o1_0_0 58
    2 c Nd25_36_3 38
    3 c Nd25_36_2 25
    4 c Nd24_36_4 56
    5 c Nd25_36_1 11
    6 c Nd24_36_3 43
    7 c Nd25_36_0 15
    8 c Nd24_36_2 30
    9 c Nd25_37_4 45
    10 c Nd24_36_1 17
    11 c Nd25_37_3 32
    12 c Nd25_37_2 19
    13 c r_i1_0_0 76
    14 c Nd25_37_1 5
    15 c Nd24_37_4 54
    16 c r_i1_0_1 80
    17 c Nd25_37_0 1
    18 c Nd24_37_3 41
    19 c r_i1_0_2 83
    20 c Nd24_37_2 28
    21 c r_i1_0_3 86
    22 c Nd13_84_3 48
    23 c Nd24_37_1 14
    24 c r_i1_0_4 89
    25 c Nd13_84_2 35
    26 c machine_concret1.m_state_1_0 3
    27 c i1_0_-1 77
    28 c Nd13_84_1 22
    29 c Nd277_301_3 73
    30 c machine_concret1.m_state_1_1 7
    31 c Nd13_84_0 8
    32 c Nd277_301_2 69
    33 c Nd12_84_3 52
    34 c Nd277_301_1 65
    35 c Nd12_84_2 39
    36 c machine_concret1.m_state_1_2 21
    37 c Nd277_301_0 61
    38 c Nd12_84_1 26
    39 c machine_concret1.m_state_1_3 34
    40 c Nd12_84_0 12
    41 c machine_concret1.m_state_1_4 47
    42 c o2_0_4 103
    43 c machine_concret1.m_state_0_0 2
    44 c i1_0_0 9
    45 c o2_0_3 100
    46 c machine_concret1.m_state_0_1 6
    47 c i1_0_1 23
    48 c o2_0_2 97
    49 c o1_0_4 72
    50 c machine_concret1.m_state_0_2 20
    51 c i1_0_2 36
    52 c o2_0_1 94
    53 c machine_concret1.m_state_0_3 33
    54 c i1_0_3 49
    55 c o1_0_3 68
    56 c o2_0_0 92
    57 c machine_concret1.m_state_0_4 46
    58 c o1_0_2 64
    59 c Nd25_36_4 51
    60 c o1_0_1 60
     1c Nd253_277_1 79
     2c o1_0_0 72
     3c Nd25_36_3 52
     4c Nd253_277_0 75
     5c Nd25_36_2 42
     6c Nd24_36_4 70
     7c Nd25_36_1 31
     8c Nd24_36_3 57
     9c Nd25_36_0 35
     10c Nd24_36_2 47
     11c Nd25_37_4 59
     12c Nd24_36_1 37
     13c Nd25_37_3 22
     14c Nd25_37_2 16
     15c r_i1_0_0 90
     16c r_i1_0_1 94
     17c Nd25_37_1 10
     18c Nd24_37_4 68
     19c r_i1_0_2 97
     20c Nd25_37_0 4
     21c Nd24_37_3 55
     22c r_i1_0_3 100
     23c Nd24_37_2 45
     24c r_i1_0_4 103
     25c Nd13_84_3 62
     26c Nd24_37_1 34
     27c Nd13_84_2 49
     28c i1_0_-1 91
     29c machine_concret1.m_state_1_0 6
     30c Nd13_84_1 39
     31c machine_concret1.m_state_1_1 12
     32c Nd13_84_0 28
     33c Nd12_84_3 66
     34c Nd12_84_2 53
     35c machine_concret1.m_state_1_2 18
     36c Nd12_84_1 43
     37c machine_concret1.m_state_1_3 24
     38c Nd12_84_0 32
     39c machine_concret1.m_state_1_4 61
     40c machine_concret1.m_state_0_0 5
     41c o2_0_4 21
     42c i1_0_0 29
     43c machine_concret1.m_state_0_1 11
     44c o2_0_3 15
     45c i1_0_1 40
     46c o1_0_4 86
     47c machine_concret1.m_state_0_2 17
     48c o2_0_2 9
     49c i1_0_2 50
     50c machine_concret1.m_state_0_3 23
     51c o2_0_1 3
     52c i1_0_3 63
     53c o1_0_3 82
     54c machine_concret1.m_state_0_4 60
     55c o2_0_0 1
     56c Nd253_277_3 87
     57c o1_0_2 78
     58c Nd25_36_4 65
     59c Nd253_277_2 83
     60c o1_0_1 74
    6161p cnf 105 257
    62 2 3 1 0
    63 -2 -1 0
    64 -3 -1 0
    65 -1 4 0
    66 1 -4 0
    67 4 0
    68 6 7 5 0
    69 -6 -5 0
    70 -7 -5 0
    71 9 -1 8 0
    72 -9 -8 0
    73 1 -8 0
    74 -5 -8 10 0
    75 5 -10 0
    76 8 -10 0
    77 6 -7 11 0
    78 -6 -11 0
    79 7 -11 0
    80 -9 -1 12 0
    81 9 -12 0
    82 1 -12 0
    83 -11 -12 13 0
    84 11 -13 0
    85 12 -13 0
    86 -6 7 14 0
    87 6 -14 0
    88 -7 -14 0
    89 2 -3 15 0
    90 -2 -15 0
    91 3 -15 0
    92 -14 -15 16 0
    93 14 -16 0
    94 15 -16 0
    95 -6 -7 17 0
    96 6 -17 0
    97 7 -17 0
    98 -17 -2 18 0
    99 17 -18 0
    100 2 -18 0
    101 10 13 16 18 0
    102 20 21 19 0
    103 -20 -19 0
    104 -21 -19 0
    105 23 -5 22 0
     621 2 0
     63-1 -2 0
     642 0
     655 6 4 0
     66-5 -4 0
     67-6 -4 0
     683 -4 7 0
     69-3 -7 0
     704 -7 0
     71-3 4 8 0
     723 -8 0
     73-4 -8 0
     747 8 0
     7511 12 10 0
     76-11 -10 0
     77-12 -10 0
     789 -10 13 0
     79-9 -13 0
     8010 -13 0
     81-9 10 14 0
     829 -14 0
     83-10 -14 0
     8413 14 0
     8517 18 16 0
     86-17 -16 0
     87-18 -16 0
     8815 -16 19 0
     89-15 -19 0
     9016 -19 0
     91-15 16 20 0
     9215 -20 0
     93-16 -20 0
     9419 20 0
     9523 24 22 0
    10696-23 -22 0
    107 5 -22 0
    108 -19 -22 24 0
    109 19 -24 0
    110 22 -24 0
    111 20 -21 25 0
    112 -20 -25 0
    113 21 -25 0
    114 -23 -5 26 0
    115 23 -26 0
    116 5 -26 0
    117 -25 -26 27 0
    118 25 -27 0
    119 26 -27 0
    120 -20 21 28 0
    121 20 -28 0
    122 -21 -28 0
    123 -28 -11 29 0
    124 28 -29 0
    125 11 -29 0
    126 -20 -21 30 0
    127 20 -30 0
    128 21 -30 0
    129 -30 -6 31 0
    130 30 -31 0
    131 6 -31 0
    132 24 27 29 31 0
    133 33 34 32 0
    134 -33 -32 0
    135 -34 -32 0
    136 36 -19 35 0
    137 -36 -35 0
    138 19 -35 0
    139 -32 -35 37 0
    140 32 -37 0
    141 35 -37 0
    142 33 -34 38 0
    143 -33 -38 0
    144 34 -38 0
    145 -36 -19 39 0
    146 36 -39 0
    147 19 -39 0
    148 -38 -39 40 0
    149 38 -40 0
    150 39 -40 0
    151 -33 34 41 0
    152 33 -41 0
    153 -34 -41 0
    154 -41 -25 42 0
    155 41 -42 0
    156 25 -42 0
    157 -33 -34 43 0
    158 33 -43 0
    159 34 -43 0
    160 -43 -20 44 0
     97-24 -22 0
     9821 -22 25 0
     99-21 -25 0
     10022 -25 0
     101-21 22 26 0
     10221 -26 0
     103-22 -26 0
     10425 26 0
     105-4 27 0
     1064 -27 0
     10727 0
     10829 -4 28 0
     109-29 -28 0
     1104 -28 0
     111-10 -28 30 0
     11210 -30 0
     11328 -30 0
     11411 -12 31 0
     115-11 -31 0
     11612 -31 0
     117-29 -4 32 0
     11829 -32 0
     1194 -32 0
     120-31 -32 33 0
     12131 -33 0
     12232 -33 0
     123-11 12 34 0
     12411 -34 0
     125-12 -34 0
     1265 -6 35 0
     127-5 -35 0
     1286 -35 0
     129-34 -35 36 0
     13034 -36 0
     13135 -36 0
     132-11 -12 37 0
     13311 -37 0
     13412 -37 0
     135-37 -5 38 0
     13637 -38 0
     1375 -38 0
     13830 33 36 38 0
     13940 -10 39 0
     140-40 -39 0
     14110 -39 0
     142-16 -39 41 0
     14316 -41 0
     14439 -41 0
     14517 -18 42 0
     146-17 -42 0
     14718 -42 0
     148-40 -10 43 0
     14940 -43 0
     15010 -43 0
     151-42 -43 44 0
     15242 -44 0
    16115343 -44 0
    162 20 -44 0
    163 37 40 42 44 0
    164 46 47 45 0
    165 -46 -45 0
    166 -47 -45 0
    167 49 -32 48 0
    168 -49 -48 0
    169 32 -48 0
    170 -45 -48 50 0
    171 45 -50 0
    172 48 -50 0
    173 46 -47 51 0
    174 -46 -51 0
    175 47 -51 0
    176 -49 -32 52 0
    177 49 -52 0
    178 32 -52 0
    179 -51 -52 53 0
    180 51 -53 0
    181 52 -53 0
    182 -46 47 54 0
    183 46 -54 0
    184 -47 -54 0
    185 -54 -38 55 0
    186 54 -55 0
    187 38 -55 0
    188 -46 -47 56 0
    189 46 -56 0
    190 47 -56 0
    191 -56 -33 57 0
    192 56 -57 0
    193 33 -57 0
    194 50 53 55 57 0
    195 58 59 0
    196 -58 -59 0
    197 59 0
    198 8 15 61 0
    199 -8 -61 0
    200 -15 -61 0
    201 60 61 62 0
    202 -60 -62 0
    203 -61 -62 0
    204 -60 -61 63 0
    205 60 -63 0
    206 61 -63 0
    207 62 63 0
    208 22 11 65 0
    209 -22 -65 0
    210 -11 -65 0
    211 64 65 66 0
    212 -64 -66 0
    213 -65 -66 0
    214 -64 -65 67 0
    215 64 -67 0
     154-17 18 45 0
     15517 -45 0
     156-18 -45 0
     157-45 -31 46 0
     15845 -46 0
     15931 -46 0
     160-17 -18 47 0
     16117 -47 0
     16218 -47 0
     163-47 -11 48 0
     16447 -48 0
     16511 -48 0
     16641 44 46 48 0
     16750 -16 49 0
     168-50 -49 0
     16916 -49 0
     170-22 -49 51 0
     17122 -51 0
     17249 -51 0
     17323 -24 52 0
     174-23 -52 0
     17524 -52 0
     176-50 -16 53 0
     17750 -53 0
     17816 -53 0
     179-52 -53 54 0
     18052 -54 0
     18153 -54 0
     182-23 24 55 0
     18323 -55 0
     184-24 -55 0
     185-55 -42 56 0
     18655 -56 0
     18742 -56 0
     188-23 -24 57 0
     18923 -57 0
     19024 -57 0
     191-57 -17 58 0
     19257 -58 0
     19317 -58 0
     19451 54 56 58 0
     19560 61 59 0
     196-60 -59 0
     197-61 -59 0
     19863 -22 62 0
     199-63 -62 0
     20022 -62 0
     201-59 -62 64 0
     20259 -64 0
     20362 -64 0
     20460 -61 65 0
     205-60 -65 0
     20661 -65 0
     207-63 -22 66 0
     20863 -66 0
     20922 -66 0
     210-65 -66 67 0
    21621165 -67 0
    217 66 67 0
    218 35 25 69 0
    219 -35 -69 0
    220 -25 -69 0
    221 68 69 70 0
    222 -68 -70 0
    223 -69 -70 0
    224 -68 -69 71 0
    225 68 -71 0
    226 69 -71 0
    227 70 71 0
    228 48 38 73 0
    229 -48 -73 0
    230 -38 -73 0
    231 72 73 74 0
    232 -72 -74 0
    233 -73 -74 0
    234 -72 -73 75 0
    235 72 -75 0
    236 73 -75 0
    237 74 75 0
    238 76 77 78 0
    239 -76 -78 0
    240 -77 -78 0
    241 -76 -77 79 0
    242 76 -79 0
    243 77 -79 0
    244 78 79 0
    245 80 9 81 0
    246 -80 -81 0
    247 -9 -81 0
    248 -80 -9 82 0
    249 80 -82 0
    250 9 -82 0
    251 81 82 0
    252 83 23 84 0
     21266 -67 0
     213-60 61 68 0
     21460 -68 0
     215-61 -68 0
     216-68 -52 69 0
     21768 -69 0
     21852 -69 0
     219-60 -61 70 0
     22060 -70 0
     22161 -70 0
     222-70 -23 71 0
     22370 -71 0
     22423 -71 0
     22564 67 69 71 0
     22672 73 0
     227-72 -73 0
     22873 0
     22928 35 75 0
     230-28 -75 0
     231-35 -75 0
     23274 75 76 0
     233-74 -76 0
     234-75 -76 0
     235-74 -75 77 0
     23674 -77 0
     23775 -77 0
     23876 77 0
     23939 31 79 0
     240-39 -79 0
     241-31 -79 0
     24278 79 80 0
     243-78 -80 0
     244-79 -80 0
     245-78 -79 81 0
     24678 -81 0
     24779 -81 0
     24880 81 0
     24949 42 83 0
     250-49 -83 0
     251-42 -83 0
     25282 83 84 0
     253-82 -84 0
    253254-83 -84 0
    254 -23 -84 0
    255 -83 -23 85 0
     255-82 -83 85 0
     25682 -85 0
    25625783 -85 0
    257 23 -85 0
    25825884 85 0
    259 86 36 87 0
    260 -86 -87 0
    261 -36 -87 0
    262 -86 -36 88 0
    263 86 -88 0
    264 36 -88 0
    265 87 88 0
    266 89 49 90 0
    267 -89 -90 0
    268 -49 -90 0
    269 -89 -49 91 0
    270 89 -91 0
    271 49 -91 0
    272 90 91 0
     25962 52 87 0
     260-62 -87 0
     261-52 -87 0
     26286 87 88 0
     263-86 -88 0
     264-87 -88 0
     265-86 -87 89 0
     26686 -89 0
     26787 -89 0
     26888 89 0
     26990 91 92 0
     270-90 -92 0
     271-91 -92 0
     272-90 -91 93 0
     27390 -93 0
     27491 -93 0
    27327592 93 0
    274 -92 -93 0
    275 93 0
    276 94 -1 95 0
     27694 29 95 0
    277277-94 -95 0
    278 1 -95 0
    279 -94 1 96 0
     278-29 -95 0
     279-94 -29 96 0
    28028094 -96 0
    281 -1 -96 0
     28129 -96 0
    28228295 96 0
    283 97 -5 98 0
     28397 40 98 0
    284284-97 -98 0
    285 5 -98 0
    286 -97 5 99 0
     285-40 -98 0
     286-97 -40 99 0
    28728797 -99 0
    288 -5 -99 0
     28840 -99 0
    28928998 99 0
    290 100 -19 101 0
     290100 50 101 0
    291291-100 -101 0
    292 19 -101 0
    293 -100 19 102 0
     292-50 -101 0
     293-100 -50 102 0
    294294100 -102 0
    295 -19 -102 0
     29550 -102 0
    296296101 102 0
    297 103 -32 104 0
     297103 63 104 0
    298298-103 -104 0
    299 32 -104 0
    300 -103 32 105 0
     299-63 -104 0
     300-103 -63 105 0
    301301103 -105 0
    302 -32 -105 0
     30263 -105 0
    303303104 105 0
    304 -58 0
    305 -92 0
    306 -76 0
    307 60 0
     304-72 0
     305-1 0
     306-90 0
     30774 0
     308-3 0
    308309-94 0
    309 -80 0
    310 64 0
     31078 0
     311-9 0
    311312-97 0
    312 -83 0
    313 68 0
     31382 0
     314-15 0
    314315-100 0
    315 -86 0
    316 72 0
     31686 0
     317-21 0
    317318-103 0
    318 -89 0
Note: See TracChangeset for help on using the changeset viewer.