Trace number 243287

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSPtoSAT+minisat 0.3SAT 0.079987 0.088584

General information on the benchmark

Namedimacs/aim-200/
aim-200-6-0-sat-1_ext.xml
MD5SUMd45b340278b96c0e0cd97aff09e0f3fe
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.079987
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints1152
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1152
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.01	c This is CSPtoSAT+minisat version 0.3
0.01	c (c) 2006 roussel@cril.univ-artois.fr
0.01	
0.01	c This solver internally uses a modified version of MiniSat2 version 061112
0.01	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01	
0.01	c parsing...
0.02	c preparing clauses for relation R0
0.02	c preparing clauses for relation R1
0.02	c preparing clauses for relation R2
0.02	c preparing clauses for relation R3
0.02	c preparing clauses for relation R4
0.02	c preparing clauses for relation R5
0.02	c preparing clauses for relation R6
0.02	c preparing clauses for relation R7
0.02	c preparing clauses for relation R8
0.02	c preparing clauses for relation R9
0.02	c preparing clauses for relation R10
0.02	c preparing clauses for relation R11
0.02	c preparing clauses for relation R12
0.02	c preparing clauses for relation R13
0.02	c preparing clauses for relation R14
0.02	c preparing clauses for relation R15
0.02	c preparing clauses for relation R16
0.02	c preparing clauses for relation R17
0.02	c preparing clauses for relation R18
0.02	c preparing clauses for relation R19
0.02	c preparing clauses for relation R20
0.02	c preparing clauses for relation R21
0.02	c instanciating clauses for relation R0 (conflicts) and variables V90 V120 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V36 V105 V133 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V26 V77 V161 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V114 V117 V187 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V91 V140 V141 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V19 V134 V137 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V29 V81 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V62 V151 
0.02	c instanciating clauses for relation R4 (conflicts) and variables V49 V93 
0.02	c instanciating clauses for relation R4 (conflicts) and variables V23 V122 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V72 V107 V187 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V187 V192 V197 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V67 V111 V154 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V45 V101 V154 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V11 V24 V41 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V14 V80 V112 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V46 V108 V138 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V33 V140 V169 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V3 V118 V189 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V64 V92 V94 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V38 V117 V128 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V30 V117 V170 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V21 V116 V152 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V73 V122 V198 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V54 V104 V143 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V10 V52 V194 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V44 V98 V102 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V20 V165 V194 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V22 V44 V93 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V35 V78 V146 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V113 V188 V191 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V43 V191 V193 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V2 V61 V198 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V63 V85 V121 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V1 V2 V121 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V37 V85 V86 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V129 V161 V176 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V47 V71 V144 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V16 V165 V183 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V34 V139 V159 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V139 V147 V184 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V34 V95 V139 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V13 V160 V168 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V16 V146 V154 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V16 V75 V146 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V150 V158 V194 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V32 V110 V123 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V11 V102 V193 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V22 V81 V178 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V59 V78 V177 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V16 V54 V87 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V45 V115 V191 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V42 V50 V53 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V106 V108 V174 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V77 V115 V192 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V33 V75 V191 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V43 V44 V105 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V6 V21 V194 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V38 V87 V89 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V35 V80 V155 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V3 V6 V110 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V6 V13 V118 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V21 V51 V197 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V53 V60 V84 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V131 V162 V169 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V22 V34 V139 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V3 V49 V159 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V110 V163 V179 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V24 V151 V198 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V20 V56 V71 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V122 V159 V191 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V40 V120 V138 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V0 V74 V162 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V17 V38 V175 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V0 V90 V109 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V6 V46 V62 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V17 V137 V187 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V68 V75 V160 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V7 V54 V196 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V18 V57 V126 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V27 V108 V198 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V65 V157 V173 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V32 V60 V195 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V24 V93 V168 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V59 V81 V170 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V25 V96 V158 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V79 V98 V137 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V14 V17 V178 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V9 V119 V172 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V28 V139 V195 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V3 V22 V146 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V39 V147 V165 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V23 V83 V171 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V13 V45 V153 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V2 V21 V169 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V100 V145 V167 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V24 V31 V137 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V63 V91 V133 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V62 V83 V94 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V5 V60 V110 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V63 V143 V178 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V61 V82 V175 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V6 V25 V31 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V31 V64 V138 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V31 V50 V80 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V11 V127 V170 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V156 V174 V179 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V37 V76 V115 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V43 V55 V64 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V14 V27 V195 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V23 V94 V123 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V8 V149 V169 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V66 V96 V99 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V27 V35 V172 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V24 V126 V161 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V96 V159 V199 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V49 V120 V196 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V20 V68 V76 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V45 V88 V103 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V56 V67 V161 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V117 V132 V165 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V97 V128 V189 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V9 V80 V166 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V105 V111 V194 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V61 V97 V101 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V57 V63 V167 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V99 V144 V155 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V62 V83 V97 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V65 V84 V98 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V65 V147 V157 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V75 V136 V156 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V71 V92 V184 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V53 V92 V140 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V56 V76 V188 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V142 V144 V185 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V9 V143 V188 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V39 V140 V197 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V106 V125 V155 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V0 V5 V29 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V41 V69 V89 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V88 V136 V181 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V7 V126 V189 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V49 V57 V63 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V62 V125 V149 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V15 V99 V181 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V83 V109 V124 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V62 V87 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V45 V125 V181 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V60 V90 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V10 V33 V151 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V40 V63 V121 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V82 V100 V114 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V2 V17 V181 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V73 V79 V133 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V12 V25 V116 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V4 V107 V129 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V34 V134 V167 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V105 V162 V174 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V72 V111 V129 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V45 V135 V154 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V1 V11 V132 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V130 V132 V192 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V37 V101 V119 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V11 V45 V173 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V108 V118 V140 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V108 V118 V138 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V31 V74 V175 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V105 V155 V160 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V0 V73 V116 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V9 V143 V185 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V35 V152 V156 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V148 V154 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V19 V154 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V7 V54 V82 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V19 V79 V99 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V76 V120 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V88 V93 V194 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V44 V66 V120 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V78 V87 V93 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V8 V70 V183 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V23 V133 V140 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V138 V146 V186 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V109 V136 V188 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V15 V113 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V50 V106 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V106 V166 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V15 V65 V167 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V5 V61 V198 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V2 V61 V126 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V61 V141 V181 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V1 V2 V77 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V63 V77 V154 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V84 V106 V191 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V88 V176 V191 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V59 V121 V169 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V36 V57 V165 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V131 V169 V179 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V78 V138 V186 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V1 V171 V197 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V46 V115 V194 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V29 V72 V87 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V49 V67 V179 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V42 V66 V94 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V51 V164 V197 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V0 V13 V128 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V7 V130 V163 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V40 V83 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V14 V78 V137 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V5 V12 V100 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V185 V187 V193 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V55 V62 V95 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V68 V70 V152 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V46 V177 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V39 V55 V168 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V29 V31 V131 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V41 V101 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V6 V52 V126 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V185 V194 V198 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V116 V177 V186 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V29 V71 V132 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V24 V26 V184 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V72 V120 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V117 V196 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V24 V147 V177 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V101 V114 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V8 V16 V72 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V73 V142 V195 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V16 V130 V185 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V4 V34 V196 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V36 V103 V155 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V30 V56 V170 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V110 V116 V178 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V72 V95 V170 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V51 V124 V131 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V49 V146 V173 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V24 V57 V58 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V42 V68 V102 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V89 V99 V125 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V42 V86 V116 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V86 V92 V153 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V10 V55 V113 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V96 V100 V104 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V95 V101 V183 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V58 V71 V80 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V65 V74 V180 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V132 V147 V152 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V17 V22 V64 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V38 V180 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V7 V18 V140 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V3 V150 V160 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V10 V118 V196 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V25 V72 V160 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V33 V40 V121 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V68 V131 V151 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V104 V171 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V38 V66 V157 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V16 V123 V146 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V166 V168 V180 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V30 V70 V129 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V94 V126 V155 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V27 V188 V197 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V74 V177 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V30 V102 V148 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V89 V136 V175 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V53 V104 V188 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V93 V142 V193 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V90 V173 V183 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V53 V158 V176 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V153 V174 V196 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V34 V174 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V160 V189 V193 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V50 V93 V198 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V15 V120 V180 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V52 V170 V175 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V164 V198 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V89 V92 V100 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V18 V23 V64 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V89 V120 V172 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V5 V58 V78 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V15 V66 V139 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V124 V161 V188 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V8 V28 V186 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V75 V94 V143 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V27 V44 V135 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V110 V115 V124 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V95 V143 V180 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V73 V84 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V82 V87 V151 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V11 V25 V132 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V8 V111 V175 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V45 V168 V169 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V56 V82 V89 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V110 V121 V148 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V45 V67 V83 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V1 V32 V55 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V27 V33 V142 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V18 V56 V156 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V5 V46 V55 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V79 V109 V123 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V99 V114 V164 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V37 V46 V164 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V18 V27 V104 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V41 V76 V83 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V71 V76 V164 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V90 V127 V134 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V4 V7 V115 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V52 V102 V111 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V91 V140 V185 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V91 V162 V192 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V111 V141 V187 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V58 V91 V141 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V24 V67 V141 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V14 V53 V130 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V43 V74 V133 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V39 V43 V133 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V39 V118 V189 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V103 V161 V167 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V64 V94 V146 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V9 V68 V180 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V0 V21 V116 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V21 V26 V116 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V0 V26 V116 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V68 V183 V185 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V54 V104 V115 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V4 V7 V166 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V52 V114 V145 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V114 V115 V145 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V52 V88 V102 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V44 V52 V93 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V66 V87 V127 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V35 V66 V78 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V8 V51 V106 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V50 V146 V186 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V33 V47 V176 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V47 V135 V144 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V22 V29 V159 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V89 V147 V184 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V34 V69 V160 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V68 V75 V95 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V65 V87 V166 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V6 V17 V194 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V15 V101 V150 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V81 V131 V150 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V79 V125 V138 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V51 V113 V167 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V83 V149 V153 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V12 V139 V193 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V112 V176 V182 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V122 V186 V199 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V58 V109 V195 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V16 V63 V82 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V1 V84 V164 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V104 V117 V168 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V3 V140 V165 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V50 V164 V188 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V0 V104 V196 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V68 V144 V160 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V96 V98 V104 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V55 V81 V178 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V32 V155 V185 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V34 V132 V160 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V109 V128 V145 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V3 V88 V96 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V8 V47 V70 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V33 V37 V162 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V8 V35 V125 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V55 V82 V175 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V44 V121 V173 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V34 V111 V151 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V68 V155 V174 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V93 V127 V143 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V120 V168 V179 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V7 V50 V159 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V101 V114 V131 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V25 V30 V88 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V3 V86 V99 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V32 V39 V77 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V126 V161 V185 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V70 V105 V113 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V2 V61 V81 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V29 V56 V170 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V75 V183 V187 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V129 V172 V174 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V11 V75 V130 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V46 V140 V152 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V51 V174 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V48 V163 V183 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V8 V103 V184 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V4 V67 V138 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V46 V97 V182 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V29 V77 V92 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V3 V23 V179 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V123 V154 V174 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V80 V122 V131 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V137 V165 V178 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V32 V105 V124 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V73 V144 V173 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V70 V155 V185 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V6 V38 V143 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V9 V76 V89 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V36 V74 V147 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V119 V123 V182 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V15 V145 V150 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V26 V91 V173 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V17 V97 V119 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V59 V180 V195 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V86 V90 V113 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V13 V39 V108 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V136 V147 V163 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V57 V81 V86 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V78 V126 V176 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V46 V77 V143 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V70 V115 V124 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V19 V92 V121 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V153 V158 V165 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V29 V31 V57 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V28 V85 V157 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V97 V139 V199 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V18 V50 V161 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V120 V144 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V18 V44 V196 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V15 V23 V28 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V2 V85 V120 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V76 V144 V180 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V13 V32 V132 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V97 V143 V164 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V9 V101 V189 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V20 V148 V153 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V44 V49 V135 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V115 V149 V159 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V1 V56 V89 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V26 V29 V135 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V13 V106 V166 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V5 V89 V148 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V41 V55 V171 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V75 V78 V151 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V134 V142 V164 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V135 V166 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V17 V158 V193 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V13 V27 V148 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V10 V27 V62 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V106 V151 V181 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V10 V60 V70 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V10 V83 V192 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V19 V30 V104 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V33 V123 V139 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V19 V96 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V142 V192 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V79 V181 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V19 V98 V129 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V7 V91 V141 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V24 V126 V197 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V24 V195 V197 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V41 V67 V126 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V24 V101 V197 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V126 V135 V154 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V80 V112 V130 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V14 V149 V154 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V14 V45 V132 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V1 V97 V119 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V97 V108 V132 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V107 V118 V173 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V46 V49 V107 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V39 V49 V118 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V31 V74 V189 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V128 V130 V163 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V94 V128 V163 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V3 V74 V103 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V37 V100 V114 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V100 V105 V162 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V105 V160 V182 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V68 V116 V133 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V98 V122 V183 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V0 V17 V183 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V57 V73 V198 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V4 V115 V137 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V17 V54 V137 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V7 V82 V116 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V19 V125 V190 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V107 V129 V190 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V44 V102 V120 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V35 V66 V127 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V8 V162 V183 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V26 V42 V43 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V26 V42 V50 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V106 V136 V177 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V15 V111 V113 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V106 V162 V166 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V145 V166 V171 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V2 V88 V198 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V2 V64 V121 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V2 V77 V98 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V135 V149 V153 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V40 V149 V153 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V85 V86 V124 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V86 V96 V134 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V47 V80 V159 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V72 V97 V145 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V16 V34 V139 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V21 V28 V59 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V16 V95 V171 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V28 V36 V38 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V36 V137 V142 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V36 V81 V87 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V12 V81 V165 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V12 V87 V100 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V32 V110 V179 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V13 V108 V173 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V14 V52 V189 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V105 V142 V146 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V113 V179 V193 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V20 V123 V144 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V71 V75 V189 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V13 V46 V196 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V40 V167 V184 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V57 V98 V179 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V35 V113 V195 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V20 V23 V71 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V4 V21 V193 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V10 V130 V159 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V43 V74 V131 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V87 V128 V180 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V13 V47 V63 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V32 V69 V192 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V31 V54 V148 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V116 V144 V193 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V32 V162 V186 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V64 V71 V185 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V14 V108 V125 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V93 V112 V184 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V159 V168 V195 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V31 V109 V173 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V28 V54 V58 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V6 V80 V82 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V24 V40 V55 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V4 V141 V170 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V116 V120 V133 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V3 V110 V127 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V53 V107 V183 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V8 V67 V169 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V50 V79 V94 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V65 V157 V175 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V25 V107 V134 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V11 V96 V141 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V48 V69 V154 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V34 V119 V189 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V131 V132 V199 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V128 V148 V157 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V31 V82 V169 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V0 V75 V197 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V34 V65 V149 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V45 V151 V164 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V119 V137 V198 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V6 V67 V103 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V156 V169 V178 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V19 V77 V163 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V111 V163 V199 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V12 V13 V21 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V110 V169 V186 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V30 V31 V44 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V84 V111 V132 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V113 V142 V182 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V55 V78 V142 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V79 V147 V166 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V39 V57 V179 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V0 V117 V131 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V30 V61 V98 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V87 V151 V171 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V74 V118 V155 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V98 V107 V184 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V95 V136 V196 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V104 V119 V142 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V47 V70 V100 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V10 V29 V197 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V3 V99 V123 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V12 V20 V156 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V64 V71 V73 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V47 V104 V112 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V9 V60 V157 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V10 V181 V182 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V123 V124 V180 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V97 V112 V129 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V151 V172 V179 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V76 V86 V192 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V9 V117 V122 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V64 V114 V166 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V13 V172 V184 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V117 V118 V192 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V68 V120 V179 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V104 V136 V170 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V19 V88 V189 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V1 V49 V53 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V52 V56 V110 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V33 V132 V170 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V122 V143 V196 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V23 V135 V174 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V26 V42 V138 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V91 V119 V187 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V67 V141 V187 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V3 V92 V146 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V3 V103 V155 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V3 V100 V103 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V3 V100 V114 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V30 V94 V189 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V30 V94 V191 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V64 V105 V162 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V152 V160 V182 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V79 V117 V152 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V100 V117 V152 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V117 V128 V167 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V71 V152 V174 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V21 V162 V174 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V9 V137 V152 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V9 V137 V156 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V17 V44 V79 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V115 V143 V156 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V54 V55 V115 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V17 V154 V190 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V54 V82 V107 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V20 V52 V76 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V51 V52 V102 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V35 V127 V165 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V70 V87 V177 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V42 V51 V133 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V26 V42 V109 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V43 V113 V193 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V188 V195 V199 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V61 V85 V141 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V84 V121 V153 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V85 V121 V124 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V135 V149 V193 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V33 V47 V144 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V4 V38 V77 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V47 V106 V170 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V38 V90 V182 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V13 V69 V172 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V68 V69 V95 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V39 V59 V95 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V75 V95 V142 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V59 V81 V169 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V107 V168 V197 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V22 V127 V198 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V56 V118 V149 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V178 V183 V197 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V27 V136 V159 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V35 V67 V112 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V53 V120 V163 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V33 V105 V128 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V102 V117 V186 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V120 V130 V189 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V8 V99 V134 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V60 V177 V195 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V101 V141 V184 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V9 V44 V157 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V22 V84 V95 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V22 V42 V145 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V54 V181 V191 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V56 V176 V187 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V79 V101 V118 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V10 V134 V188 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V59 V99 V116 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V26 V63 V86 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V61 V186 V188 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V118 V131 V140 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V148 V184 V187 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V64 V137 V192 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V7 V171 V198 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V59 V61 V129 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V10 V130 V157 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V29 V100 V156 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V168 V190 V192 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V0 V102 V146 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V43 V93 V178 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V49 V119 V139 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V19 V82 V134 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V50 V69 V183 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V0 V4 V78 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V11 V58 V147 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V66 V85 V190 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V35 V63 V105 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V108 V125 V194 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V36 V95 V184 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V5 V109 V136 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V2 V72 V75 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V15 V65 V176 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V50 V74 V96 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V35 V72 V92 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V6 V30 V45 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V12 V48 V65 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V28 V38 V94 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V1 V19 V89 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V48 V73 V148 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V117 V125 V172 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V40 V50 V109 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V66 V74 V170 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V50 V62 V80 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V73 V103 V150 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V4 V35 V171 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V104 V108 V158 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V41 V59 V176 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V87 V103 V175 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V34 V76 V86 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V44 V67 V173 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V86 V158 V179 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V32 V158 V188 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V4 V46 V53 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V25 V57 V85 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V0 V133 V180 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V25 V145 V175 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V16 V88 V153 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V25 V41 V177 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V25 V142 V184 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V18 V48 V163 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V98 V112 V130 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V84 V136 V166 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V28 V56 V192 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V99 V164 V173 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V5 V70 V189 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V18 V76 V148 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V95 V142 V143 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V58 V124 V171 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V23 V25 V78 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V58 V159 V186 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V79 V151 V168 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V30 V159 V164 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V37 V85 V158 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V125 V153 V189 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V5 V65 V193 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V34 V38 V69 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V4 V107 V187 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V107 V114 V187 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V27 V72 V129 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V1 V11 V24 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V14 V127 V132 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V149 V154 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V33 V49 V97 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V33 V43 V169 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V31 V118 V173 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V43 V74 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V43 V133 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V92 V146 V163 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V161 V163 V167 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V57 V152 V155 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V128 V147 V167 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V71 V105 V180 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V21 V69 V116 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V68 V133 V156 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V4 V17 V115 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V98 V127 V190 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V42 V62 V146 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V50 V138 V199 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V65 V106 V186 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V2 V167 V178 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V63 V85 V157 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V85 V135 V193 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V85 V124 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V38 V77 V149 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V72 V96 V134 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V79 V154 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V161 V168 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V75 V168 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V28 V36 V59 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V71 V88 V150 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V86 V150 V169 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V15 V32 V101 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V56 V123 V196 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V40 V69 V81 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V5 V39 V52 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V52 V69 V94 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V11 V21 V28 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V18 V69 V144 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V87 V152 V157 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V1 V61 V136 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V68 V144 V151 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V94 V113 V159 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V45 V65 V78 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V78 V172 V184 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V54 V72 V96 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V25 V29 V67 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V36 V193 V197 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V23 V31 V113 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V50 V119 V172 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V9 V13 V61 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V31 V85 V122 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V92 V124 V194 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V37 V138 V181 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V11 V36 V65 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V20 V140 V141 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V25 V118 V186 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V92 V155 V188 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V11 V56 V186 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V33 V53 V156 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V55 V60 V175 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V96 V185 V193 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V106 V148 V182 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V8 V171 V185 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V109 V175 V190 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V46 V119 V172 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V19 V144 V157 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V18 V65 V74 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V78 V120 V177 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V77 V91 V181 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V12 V73 V163 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V118 V141 V171 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V41 V94 V188 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V168 V176 V179 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V12 V42 V102 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V1 V55 V84 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V47 V151 V176 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V73 V108 V165 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V76 V129 V165 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V30 V121 V135 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V22 V102 V112 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V7 V26 V92 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V108 V176 V195 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V0 V65 V156 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V70 V99 V138 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V124 V174 V186 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V126 V156 V167 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V97 V157 V195 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V45 V131 V138 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V25 V86 V125 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V84 V151 V175 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V101 V188 V197 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V71 V92 V158 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V1 V62 V190 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V27 V32 V161 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V31 V170 V178 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V75 V117 V170 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V84 V91 V112 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V48 V109 V121 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V46 V52 V156 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V60 V83 V135 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V51 V60 V95 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V129 V132 V190 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V24 V75 V181 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V81 V115 V175 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V22 V44 V137 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V30 V148 V164 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V64 V93 V143 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V125 V129 V179 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V53 V163 V180 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V38 V92 V196 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V2 V48 V192 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V124 V125 V168 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V15 V47 V145 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V2 V5 V199 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V53 V113 V149 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V88 V111 V158 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V10 V51 V104 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V24 V109 V123 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V57 V128 V194 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V31 V37 V58 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V10 V37 V41 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V14 V58 V79 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V84 V112 V125 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V6 V158 V199 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V91 V141 V162 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V27 V72 V111 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V18 V162 V197 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V95 V126 V195 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V53 V122 V130 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V80 V127 V130 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V110 V130 V132 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V48 V49 V130 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V41 V48 V130 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V48 V130 V148 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V37 V103 V114 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V64 V94 V182 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V30 V152 V157 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V147 V157 V185 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V73 V122 V183 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V98 V107 V190 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V114 V190 V194 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V61 V102 V120 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V20 V93 V151 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V20 V66 V87 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V66 V70 V127 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V35 V58 V70 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V8 V26 V177 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V15 V50 V188 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V171 V178 V191 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V145 V178 V191 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V112 V166 V167 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V61 V166 V191 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V2 V99 V167 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V84 V103 V112 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V127 V134 V185 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V47 V71 V186 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V4 V38 V96 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V34 V37 V38 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V16 V125 V139 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V39 V59 V184 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V21 V36 V59 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V36 V38 V59 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V59 V81 V86 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V36 V150 V158 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V32 V76 V131 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V32 V110 V136 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V110 V136 V179 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V101 V118 V124 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V13 V131 V178 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V45 V138 V194 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V11 V12 V51 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V4 V61 V153 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V88 V134 V155 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V22 V32 V188 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V122 V163 V196 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V44 V167 V178 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V9 V25 V46 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V27 V33 V93 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V49 V90 V130 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V8 V40 V41 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V58 V82 V96 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V1 V42 V138 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V26 V39 V165 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V24 V69 V71 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V55 V129 V145 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V22 V61 V172 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V26 V30 V102 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V57 V107 V193 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V108 V172 V189 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V127 V179 V185 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V29 V58 V165 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V40 V92 V115 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V1 V66 V192 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V0 V100 V128 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V0 V19 V75 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V21 V54 V85 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V80 V128 V151 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V112 V161 V195 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V12 V144 V172 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V65 V68 V167 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V7 V132 V173 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V54 V146 V184 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V2 V15 V67 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V7 V69 V174 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V12 V28 V145 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V3 V14 V67 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V21 V37 V143 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V18 V47 V135 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V83 V133 V150 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V136 V157 V175 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V35 V66 V80 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V40 V91 V141 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V5 V6 V21 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V15 V116 V181 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V12 V154 V169 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V17 V150 V178 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V58 V72 V178 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V41 V99 V159 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V79 V90 V112 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V5 V109 V142 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V36 V51 V153 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V5 V123 V158 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V141 V154 V171 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V63 V85 V191 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V64 V159 V183 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V5 V69 V195 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V18 V58 V109 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V60 V71 V90 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V41 V59 V121 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V8 V111 V143 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V54 V80 V118 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V24 V56 V160 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V84 V90 V100 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V14 V113 V198 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V50 V62 V93 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V48 V108 V135 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V92 V147 V164 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V101 V132 V133 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V51 V79 V183 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V96 V106 V152 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V26 V76 V103 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V27 V46 V150 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V122 V147 V168 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V111 V170 V199 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V67 V126 V163 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V51 V98 V182 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V150 V176 V196 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V74 V98 V126 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V72 V74 V177 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V20 V149 V161 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V23 V28 V52 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V53 V73 V151 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V59 V171 V191 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V153 V185 V196 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V43 V60 V185 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V29 V108 V153 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V66 V106 V122 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V36 V157 V160 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V48 V131 V184 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V83 V119 V134 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V22 V119 V170 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V85 V135 V160 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V55 V113 V192 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V60 V83 V158 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V28 V156 V166 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V39 V82 V126 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V13 V28 V94 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V41 V72 V122 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V10 V57 V172 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V56 V60 V90 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V148 V171 V175 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V44 V62 V161 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V49 V60 V69 
0.07	c instanciating clauses for relation R18 (conflicts) and variables V23 V35 V70 
0.07	c instanciating clauses for relation R19 (conflicts) and variables V89 V91 V119 
0.07	c instanciating clauses for relation R19 (conflicts) and variables V14 V81 V142 
0.07	c instanciating clauses for relation R19 (conflicts) and variables V11 V15 V32 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V40 V88 V176 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V106 V114 V187 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V53 V101 V154 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V80 V112 V192 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V11 V33 V37 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V11 V45 V83 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V83 V107 V173 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V97 V108 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V155 V161 V174 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V64 V100 V162 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V152 V155 V160 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V117 V128 V147 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V7 V99 V102 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V7 V10 V54 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V54 V190 V194 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V60 V98 V99 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V43 V61 V98 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V22 V44 V80 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V8 V70 V146 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V51 V78 V146 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V42 V133 V140 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V66 V106 V162 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V88 V121 V198 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V86 V121 V198 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V77 V144 V166 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V77 V144 V154 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V43 V63 V77 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V40 V84 V176 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V77 V90 V124 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V29 V124 V129 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V80 V106 V149 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V47 V149 V159 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V74 V172 V182 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V96 V172 V182 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V22 V89 V97 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V125 V139 V183 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V22 V75 V164 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V14 V81 V137 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V6 V28 V123 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V6 V16 V28 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V71 V150 V169 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V59 V150 V169 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V25 V56 V131 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V3 V39 V142 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V21 V49 V145 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V33 V85 V103 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V102 V183 V192 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V78 V119 V189 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V29 V41 V152 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V30 V180 V194 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V54 V167 V181 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V80 V82 V83 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V0 V12 V94 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V28 V148 V186 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V90 V164 V176 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V45 V63 V113 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V78 V134 V194 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V81 V128 V139 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V7 V16 V166 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V42 V128 V191 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V60 V97 V199 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V77 V129 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V102 V104 V162 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V1 V68 V88 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V109 V146 V162 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V22 V42 V150 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V23 V123 V174 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V43 V144 V153 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V73 V110 V195 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V56 V101 V180 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V49 V116 V169 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V6 V23 V81 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V31 V73 V127 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V49 V55 V171 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V20 V178 V199 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V43 V137 V161 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V114 V131 V180 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V36 V39 V96 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V14 V86 V139 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V52 V72 V133 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V18 V97 V159 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V60 V62 V138 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V115 V145 V152 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V42 V108 V170 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V68 V91 V187 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V46 V57 V177 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V53 V62 V135 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V46 V113 V155 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V8 V14 V15 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V82 V83 V90 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V166 V173 V177 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V67 V145 V181 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V63 V70 V148 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V13 V38 V47 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V86 V109 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V1 V21 V198 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V16 V73 V136 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V62 V189 V190 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V27 V57 V147 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V27 V103 V195 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V121 V171 V188 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V17 V57 V88 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V119 V127 V164 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V34 V64 V170 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V90 V182 V186 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V123 V143 V149 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V52 V111 V122 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V103 V137 V191 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V100 V152 V198 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V122 V153 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V62 V139 V140 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V74 V148 V168 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V122 V143 V184 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V39 V97 V99 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V51 V55 V89 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V63 V103 V110 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V136 V161 V181 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V112 V156 V164 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V92 V177 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V53 V155 V168 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V6 V47 V179 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V35 V47 V95 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V124 V160 V176 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V128 V149 V160 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V39 V58 V76 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V5 V91 V141 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V69 V76 V104 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V48 V82 V153 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V66 V79 V187 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V9 V67 V194 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V45 V126 V139 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V84 V138 V172 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V41 V136 V140 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V91 V109 V160 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V64 V123 V157 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V9 V103 V126 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V18 V27 V41 
0.07	c instanciating clauses for relation R20 (conflicts) and variables V58 V99 V174 
0.07	c instanciating clauses for relation R21 (conflicts) and variables V37 V107 V165 
0.07	c instanciating clauses for relation R21 (conflicts) and variables V140 V163 V191 
0.07	c instanciating clauses for relation R21 (conflicts) and variables V89 V145 V150 
0.07	c instanciating clauses for relation R21 (conflicts) and variables V12 V87 V165 
0.07	c ...done
0.07	c #SATvar=402 #SATclauses=1575 #CSPpredicates=0
0.08	Verified 1565 original clauses.
0.08	c SAT problem is solved
0.08	restarts              : 2
0.08	conflicts             : 113            (1662 /sec)
0.08	decisions             : 190            (2.11 % random) (2795 /sec)
0.08	propagations          : 7873           (115798 /sec)
0.08	conflict literals     : 759            (19.51 % deleted)
0.08	Memory used           : 6.90 MB
0.08	CPU time              : 0.067989 s
0.08	c all predicates checked
0.08	
0.08	s SATISFIABLE
0.08	v 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 
0.08

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node4/watcher-243287-1168093524 -o ROOT/results/node4/solver-243287-1168093524 -C 1800 -M 900 /tmp/evaluation/243287-1168093524/CSPtoSAT+minisat /tmp/evaluation/243287-1168093524/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.74 1.62 1.87 2/81 16608
/proc/meminfo: memFree=1919592/2055920 swapFree=4182144/4192956
[pid=16607] ppid=16605 vsize=496 CPUtime=0
/proc/16607/stat : 16607 (CSPtoSAT+minisa) D 16605 16607 16038 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 157749414 507904 36 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 10588964 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16607/statm: 124 36 29 52 0 19 0

Child status: 0
Real time (s): 0.088584
CPU time (s): 0.079987
CPU user time (s): 0.067989
CPU system time (s): 0.011998
CPU usage (%): 90.2951
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.067989
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 3

runsolver used 0.002999 s user time and 0.013997 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 14:25:31 UTC 2007


IDJOB= 243287
IDBENCH= 7456
FILE ID= node4/243287-1168093524

PBS_JOBID= 3476394

Free space on /tmp= 66307 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-6-0-sat-1_ext.xml
COMMAND LINE= /tmp/evaluation/243287-1168093524/CSPtoSAT+minisat /tmp/evaluation/243287-1168093524/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-243287-1168093524 -o ROOT/results/node4/solver-243287-1168093524 -C 1800 -M 900  /tmp/evaluation/243287-1168093524/CSPtoSAT+minisat /tmp/evaluation/243287-1168093524/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  d45b340278b96c0e0cd97aff09e0f3fe

RANDOM SEED= 384772489

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1920072 kB
Buffers:          7328 kB
Cached:          32580 kB
SwapCached:       2456 kB
Active:          68632 kB
Inactive:        14440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1920072 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1720 kB
Writeback:           0 kB
Mapped:          51624 kB
Slab:            37724 kB
Committed_AS:  3827212 kB
PageTables:       2232 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66307 MiB



End job on node4 on Sat Jan  6 14:25:44 UTC 2007