Trace number 243430

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.084986 0.090091

General information on the benchmark

Namedimacs/aim-200/
aim-200-6-0-sat-4_ext.xml
MD5SUMbdc0672b9ed499c1e1c8b150fe9ba817
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.084986
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints1156
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1156
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.01	c preparing clauses for relation R0
0.01	c preparing clauses for relation R1
0.01	c preparing clauses for relation R2
0.01	c preparing clauses for relation R3
0.01	c preparing clauses for relation R4
0.01	c preparing clauses for relation R5
0.01	c preparing clauses for relation R6
0.01	c preparing clauses for relation R7
0.01	c preparing clauses for relation R8
0.01	c preparing clauses for relation R9
0.01	c preparing clauses for relation R10
0.01	c preparing clauses for relation R11
0.01	c preparing clauses for relation R12
0.01	c preparing clauses for relation R13
0.01	c preparing clauses for relation R14
0.01	c preparing clauses for relation R15
0.01	c preparing clauses for relation R16
0.01	c preparing clauses for relation R17
0.01	c preparing clauses for relation R18
0.01	c preparing clauses for relation R19
0.01	c preparing clauses for relation R20
0.01	c preparing clauses for relation R21
0.01	c preparing clauses for relation R22
0.01	c preparing clauses for relation R23
0.01	c instanciating clauses for relation R0 (conflicts) and variables V33 V95 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V101 V184 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V106 V147 V178 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V28 V51 V163 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V53 V92 V105 
0.01	c instanciating clauses for relation R2 (conflicts) and variables V91 V98 
0.01	c instanciating clauses for relation R2 (conflicts) and variables V110 V156 
0.01	c instanciating clauses for relation R3 (conflicts) and variables V20 V57 V128 
0.01	c instanciating clauses for relation R3 (conflicts) and variables V137 V178 V190 
0.01	c instanciating clauses for relation R4 (conflicts) and variables V73 V110 
0.01	c instanciating clauses for relation R5 (conflicts) and variables V166 V199 
0.01	c instanciating clauses for relation R5 (conflicts) and variables V3 V135 
0.01	c instanciating clauses for relation R6 (conflicts) and variables V14 V52 V140 
0.01	c instanciating clauses for relation R7 (conflicts) and variables V84 V98 V144 
0.01	c instanciating clauses for relation R8 (conflicts) and variables V4 V122 V146 
0.01	c instanciating clauses for relation R8 (conflicts) and variables V53 V104 V111 
0.01	c instanciating clauses for relation R8 (conflicts) and variables V37 V82 V181 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V57 V66 V84 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V107 V157 V164 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V44 V56 V105 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V26 V48 V168 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V114 V117 V187 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V93 V108 V119 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V25 V95 V132 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V61 V98 V132 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V17 V126 V199 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V30 V42 V91 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V35 V84 V85 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V1 V16 V148 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V92 V188 V191 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V40 V73 V162 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V26 V73 V162 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V68 V73 V197 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V67 V68 V73 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V70 V158 V188 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V119 V158 V188 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V70 V88 V144 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V66 V115 V164 
0.01	c instanciating clauses for relation R9 (conflicts) and variables V34 V44 V96 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V34 V79 V81 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V6 V13 V77 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V23 V170 V183 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V159 V170 V181 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V76 V78 V155 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V7 V41 V76 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V41 V76 V176 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V101 V131 V192 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V42 V46 V191 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V127 V131 V140 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V2 V7 V93 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V46 V116 V147 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V22 V133 V181 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V33 V43 V178 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V42 V137 V181 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V42 V124 V137 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V4 V137 V161 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V86 V133 V161 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V76 V120 V137 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V19 V111 V130 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V19 V53 V104 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V19 V111 V146 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V74 V78 V80 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V78 V113 V160 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V95 V123 V150 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V125 V146 V160 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V59 V158 V185 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V60 V103 V169 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V5 V37 V82 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V57 V89 V114 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V2 V170 V184 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V19 V58 V96 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V40 V114 V132 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V78 V80 V109 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V34 V46 V132 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V54 V193 V197 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V65 V137 V163 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V22 V28 V192 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V8 V26 V190 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V14 V92 V134 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V1 V73 V182 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V132 V137 V143 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V37 V124 V178 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V31 V172 V199 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V11 V147 V171 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V103 V144 V152 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V54 V145 V165 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V84 V91 V104 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V19 V136 V168 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V5 V130 V134 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V49 V85 V148 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V87 V177 V198 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V16 V135 V168 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V25 V174 V178 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V56 V61 V131 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V9 V63 V114 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V75 V82 V135 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V65 V128 V167 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V30 V128 V154 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V28 V94 V118 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V30 V39 V182 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V22 V46 V130 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V55 V112 V133 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V68 V95 V109 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V35 V185 V196 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V1 V176 V189 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V25 V116 V193 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V15 V83 V134 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V11 V53 V167 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V99 V119 V145 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V22 V24 V32 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V178 V195 V198 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V13 V59 V108 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V41 V64 V103 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V97 V103 V107 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V4 V16 V86 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V2 V9 V193 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V81 V128 V150 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V46 V60 V139 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V24 V160 V194 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V110 V171 V176 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V21 V70 V192 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V25 V26 V81 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V42 V131 V135 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V68 V129 V147 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V22 V82 V121 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V56 V57 V74 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V45 V105 V184 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V67 V113 V192 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V4 V25 V76 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V5 V107 V197 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V27 V41 V53 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V10 V74 V145 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V67 V105 V142 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V39 V59 V180 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V43 V108 V135 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V12 V43 V130 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V0 V80 V130 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V36 V83 V96 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V2 V59 V160 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V55 V98 V183 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V24 V36 V74 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V1 V23 V138 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V77 V93 V189 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V38 V102 V193 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V49 V50 V180 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V106 V115 V179 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V54 V64 V108 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V29 V36 V138 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V4 V21 V141 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V67 V99 V115 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V50 V74 V186 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V64 V138 V196 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V46 V97 V151 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V79 V160 V167 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V3 V11 V192 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V33 V139 V141 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V119 V141 V153 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V29 V108 V142 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V72 V127 V169 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V58 V65 V196 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V130 V192 V193 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V85 V122 V123 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V21 V51 V56 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V43 V87 V143 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V1 V43 V69 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V89 V93 V156 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V6 V96 V101 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V3 V45 V99 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V24 V27 V159 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V6 V136 V156 
0.02	c instanciating clauses for relation R9 (conflicts) and variables V6 V129 V146 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V87 V112 V157 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V50 V142 V174 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V20 V117 V124 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V61 V95 V132 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V26 V40 V162 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V31 V47 V152 
0.02	c instanciating clauses for relation R10 (conflicts) and variables V77 V83 V164 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V12 V46 V105 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V14 V32 V52 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V32 V52 V80 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V14 V44 V140 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V1 V14 V140 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V44 V56 V183 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V7 V56 V58 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V143 V167 V184 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V10 V167 V184 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V46 V49 V99 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V15 V129 V190 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V20 V64 V114 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V20 V64 V163 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V63 V91 V121 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V17 V30 V42 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V84 V195 V199 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V17 V84 V199 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V32 V34 V102 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V32 V102 V112 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V77 V96 V98 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V13 V96 V170 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V26 V41 V178 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V9 V51 V161 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V89 V111 V117 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V164 V189 V193 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V0 V106 V113 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V138 V143 V180 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V18 V146 V157 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V62 V110 V169 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V35 V65 V156 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V50 V110 V172 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V44 V130 V150 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V20 V108 V141 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V48 V167 V178 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V30 V97 V103 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V33 V55 V150 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V71 V107 V178 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V53 V99 V167 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V75 V96 V153 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V39 V53 V151 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V61 V112 V161 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V63 V70 V160 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V28 V72 V105 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V11 V120 V180 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V82 V142 V162 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V107 V135 V189 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V26 V49 V81 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V12 V50 V155 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V45 V82 V198 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V5 V84 V149 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V68 V103 V123 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V73 V117 V131 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V3 V97 V139 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V19 V41 V42 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V51 V59 V93 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V59 V76 V152 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V4 V34 V130 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V13 V85 V153 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V31 V92 V192 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V62 V74 V169 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V90 V161 V177 
0.02	c instanciating clauses for relation R11 (conflicts) and variables V71 V160 V199 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V24 V91 V98 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V91 V140 V186 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V35 V48 V143 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V36 V83 V196 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V15 V37 V87 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V53 V77 V168 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V18 V109 V177 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V4 V34 V166 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V14 V99 V102 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V8 V10 V21 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V68 V69 V128 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V45 V98 V162 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V14 V68 V119 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V47 V106 V189 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V65 V68 V134 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V124 V137 V194 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V33 V50 V130 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V18 V191 V199 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V7 V152 V155 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V61 V118 V188 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V0 V123 V157 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V30 V137 V164 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V50 V60 V85 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V82 V158 V195 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V5 V48 V159 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V5 V13 V41 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V102 V109 V195 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V9 V117 V132 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V60 V83 V173 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V10 V43 V125 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V10 V38 V87 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V78 V99 V186 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V69 V97 V100 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V11 V116 V174 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V63 V132 V139 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V37 V118 V142 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V88 V97 V176 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V37 V106 V133 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V0 V94 V173 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V101 V103 V127 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V3 V94 V179 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V30 V31 V98 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V134 V154 V187 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V36 V45 V100 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V12 V151 V154 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V33 V154 V195 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V16 V83 V179 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V91 V102 V174 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V81 V83 V147 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V27 V86 V145 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V107 V121 V158 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V110 V130 V192 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V62 V72 V175 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V100 V147 V184 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V120 V179 V197 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V71 V86 V90 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V54 V60 V173 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V9 V24 V130 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V3 V62 V113 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V35 V78 V185 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V87 V102 V185 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V133 V135 V189 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V0 V149 V198 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V71 V132 V172 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V58 V138 V154 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V6 V31 V99 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V29 V72 V118 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V54 V138 V158 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V5 V94 V135 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V18 V100 V145 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V6 V75 V198 
0.03	c instanciating clauses for relation R12 (conflicts) and variables V35 V124 V188 
0.03	c instanciating clauses for relation R13 (conflicts) and variables V17 V85 V91 
0.03	c instanciating clauses for relation R13 (conflicts) and variables V34 V55 V70 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V7 V13 V44 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V49 V72 V196 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V61 V99 V119 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V114 V117 V140 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V31 V50 V69 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V63 V69 V101 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V20 V80 V138 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V8 V30 V55 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V16 V21 V165 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V11 V26 V40 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V47 V67 V182 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V88 V143 V167 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V28 V115 V146 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V78 V81 V193 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V23 V64 V141 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V76 V78 V196 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V1 V41 V179 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V143 V155 V176 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V7 V76 V175 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V9 V10 V161 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V10 V133 V161 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V45 V106 V193 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V19 V104 V146 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V53 V109 V150 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V17 V96 V104 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V69 V113 V180 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V153 V160 V195 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V128 V153 V180 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V60 V117 V185 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V60 V62 V163 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V62 V65 V163 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V94 V110 V154 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V35 V87 V194 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V18 V54 V64 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V16 V73 V79 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V53 V92 V151 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V16 V86 V183 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V16 V174 V199 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V73 V100 V115 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V22 V97 V112 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V58 V97 V123 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V23 V69 V144 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V126 V147 V175 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V125 V157 V173 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V10 V90 V189 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V29 V84 V199 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V39 V50 V80 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V42 V74 V169 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V157 V174 V178 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V81 V98 V135 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V18 V30 V90 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V8 V17 V171 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V15 V40 V148 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V15 V52 V55 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V27 V48 V116 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V50 V165 V183 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V53 V72 V150 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V92 V104 V125 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V59 V85 V112 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V25 V152 V160 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V154 V166 V187 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V12 V121 V131 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V43 V63 V161 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V5 V69 V142 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V24 V173 V176 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V148 V165 V183 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V10 V63 V77 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V15 V27 V194 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V39 V57 V148 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V65 V118 V162 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V107 V109 V151 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V26 V78 V182 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V26 V37 V174 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V1 V19 V109 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V55 V129 V162 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V3 V67 V187 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V87 V126 V191 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V25 V33 V131 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V36 V126 V150 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V36 V125 V148 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V71 V75 V161 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V90 V98 V147 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V79 V119 V171 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V7 V14 V66 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V165 V176 V182 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V134 V170 V192 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V134 V142 V189 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V105 V127 V128 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V12 V150 V186 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V17 V21 V184 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V76 V110 V155 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V2 V18 V119 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V0 V115 V174 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V117 V135 V145 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V82 V83 V98 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V66 V82 V182 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V134 V167 V170 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V63 V80 V174 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V124 V151 V170 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V17 V22 V184 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V23 V183 V186 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V78 V168 V194 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V78 V195 V198 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V12 V109 V115 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V2 V23 V195 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V13 V79 V126 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V10 V130 V160 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V17 V86 V191 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V89 V123 V128 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V13 V87 V156 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V37 V56 V118 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V130 V134 V146 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V11 V134 V169 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V0 V166 V182 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V38 V75 V86 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V5 V66 V135 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V30 V87 V192 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V89 V100 V121 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V54 V96 V145 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V6 V111 V126 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V73 V182 V187 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V20 V64 V186 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V70 V144 V188 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V112 V157 V164 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V44 V132 V157 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V46 V56 V105 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V12 V14 V190 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V14 V56 V177 
0.03	c instanciating clauses for relation R15 (conflicts) and variables V24 V82 V127 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V45 V46 V72 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V31 V50 V124 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V47 V85 V165 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V40 V188 V191 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V68 V134 V162 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V68 V134 V152 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V67 V71 V84 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V73 V133 V144 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V34 V70 V167 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V28 V70 V81 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V78 V155 V196 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V1 V155 V192 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V141 V155 V176 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V1 V7 V191 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V2 V26 V46 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V2 V9 V46 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V39 V172 V199 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V76 V136 V146 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V83 V120 V136 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V42 V106 V193 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V64 V106 V136 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V125 V153 V195 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V123 V143 V180 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V77 V128 V175 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V95 V128 V175 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V10 V139 V157 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V25 V62 V163 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V60 V62 V177 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V37 V42 V82 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V5 V51 V54 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V3 V54 V196 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V35 V54 V156 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V140 V177 V187 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V14 V59 V97 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V67 V110 V153 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V34 V140 V180 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V161 V171 V189 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V15 V68 V196 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V71 V104 V136 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V14 V72 V86 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V90 V165 V191 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V65 V99 V191 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V4 V72 V123 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V143 V176 V185 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V12 V101 V156 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V112 V144 V155 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V13 V43 V128 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V49 V181 V184 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V8 V15 V134 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V0 V142 V168 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V38 V71 V104 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V136 V158 V197 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V172 V180 V184 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V116 V147 V160 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V25 V163 V172 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V17 V118 V176 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V85 V122 V166 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V6 V38 V171 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V97 V129 V132 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V29 V42 V67 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V28 V118 V145 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V10 V149 V171 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V44 V120 V157 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V61 V116 V148 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V35 V38 V88 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V55 V125 V164 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V29 V96 V111 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V109 V116 V182 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V17 V186 V199 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V19 V66 V136 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V84 V164 V193 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V107 V126 V182 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V49 V81 V103 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V49 V125 V143 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V51 V104 V168 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V0 V50 V108 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V24 V47 V143 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V28 V52 V73 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V95 V108 V116 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V36 V74 V139 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V32 V67 V190 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V77 V126 V191 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V19 V83 V176 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V13 V119 V138 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V62 V167 V187 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V100 V145 V148 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V92 V110 V137 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V7 V171 V181 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V72 V154 V166 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V84 V88 V171 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V4 V88 V178 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V38 V110 V142 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V101 V141 V150 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V76 V123 V153 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V24 V126 V129 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V96 V172 V199 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V25 V81 V144 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V40 V138 V142 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V129 V151 V181 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V17 V171 V190 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V0 V24 V147 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V16 V60 V116 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V97 V123 V146 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V147 V155 V171 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V55 V89 V161 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V48 V65 V113 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V100 V175 V194 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V113 V127 V189 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V63 V120 V184 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V53 V55 V158 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V56 V188 V190 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V71 V94 V131 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V71 V92 V135 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V3 V163 V179 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V3 V82 V196 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V74 V87 V181 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V103 V122 V129 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V4 V122 V151 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V1 V94 V189 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V11 V43 V111 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V21 V53 V124 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V31 V80 V94 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V129 V138 V174 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V23 V28 V197 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V38 V66 V198 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V27 V49 V121 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V69 V102 V194 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V139 V142 V177 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V3 V28 V116 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V148 V166 V185 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V45 V51 V123 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V105 V111 V198 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V29 V49 V177 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V21 V30 V62 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V116 V172 V187 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V86 V100 V161 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V107 V112 V157 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V44 V87 V157 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V44 V83 V157 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V12 V48 V168 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V29 V143 V177 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V15 V29 V167 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V45 V58 V149 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V27 V93 V95 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V35 V93 V149 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V114 V124 V160 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V112 V114 V124 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V54 V101 V165 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V8 V67 V91 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V16 V55 V148 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V5 V40 V92 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V40 V113 V188 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V73 V111 V162 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V36 V68 V123 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V67 V71 V171 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V56 V118 V164 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V34 V70 V109 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V34 V70 V88 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V102 V179 V189 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V42 V46 V176 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V56 V116 V136 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V117 V187 V199 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V86 V117 V161 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V42 V89 V137 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V6 V86 V161 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V76 V136 V137 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V19 V80 V120 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V109 V150 V180 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V95 V107 V168 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V128 V138 V157 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V97 V103 V173 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V87 V94 V110 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V5 V82 V198 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V3 V31 V154 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V54 V145 V196 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V47 V76 V149 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V62 V144 V168 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V107 V134 V178 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V54 V93 V195 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V70 V125 V177 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V13 V146 V152 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V108 V131 V153 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V47 V78 V143 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V65 V84 V119 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V20 V60 V123 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V61 V125 V150 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V12 V36 V191 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V36 V39 V141 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V44 V92 V170 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V30 V97 V136 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V45 V124 V182 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V95 V147 V185 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V32 V84 V152 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V12 V79 V133 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V21 V94 V128 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V57 V80 V93 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V43 V90 V95 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V16 V61 V177 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V31 V85 V97 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V91 V150 V199 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V39 V60 V127 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V31 V79 V88 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V19 V183 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V125 V151 V176 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V15 V185 V197 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V20 V57 V131 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V10 V12 V177 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V20 V75 V185 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V52 V163 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V109 V167 V195 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V103 V149 V168 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V59 V108 V169 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V42 V49 V184 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V5 V90 V145 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V58 V189 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V62 V103 V174 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V113 V121 V172 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V47 V121 V154 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V17 V85 V148 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V49 V87 V120 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V21 V79 V105 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V39 V74 V151 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V81 V199 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V18 V48 V124 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V50 V56 V162 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V7 V94 V98 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V90 V119 V135 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V32 V54 V127 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V33 V117 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V2 V113 V145 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V6 V108 V110 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V22 V102 V168 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V122 V163 V180 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V8 V66 V131 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V71 V75 V163 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V44 V89 V127 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V8 V38 V171 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V45 V101 V121 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V69 V121 V159 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V86 V179 V189 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V98 V184 V198 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V90 V113 V154 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V35 V99 V125 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V32 V35 V103 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V23 V117 V196 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V61 V127 V139 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V8 V47 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V65 V141 V156 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V9 V113 V186 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V3 V79 V139 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V83 V112 V199 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V13 V51 V101 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V22 V58 V102 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V27 V122 V152 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V31 V63 V129 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V21 V52 V66 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V68 V75 V197 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V42 V154 V194 
0.05	c instanciating clauses for relation R19 (conflicts) and variables V39 V88 V190 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V14 V48 V92 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V12 V15 V92 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V12 V29 V48 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V15 V24 V29 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V45 V99 V196 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V27 V35 V93 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V61 V93 V99 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V112 V114 V117 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V119 V132 V166 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V112 V129 V173 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V19 V95 V132 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V54 V85 V165 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V25 V126 V174 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V55 V75 V85 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V40 V47 V191 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V40 V113 V196 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V134 V152 V169 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V68 V162 V169 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V36 V40 V68 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V83 V152 V182 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V22 V28 V146 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V32 V98 V144 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V118 V122 V164 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V70 V81 V102 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V81 V96 V193 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V49 V96 V102 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V77 V155 V170 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V23 V141 V183 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V78 V159 V170 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V76 V140 V155 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V7 V131 V140 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V7 V116 V176 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V140 V151 V191 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V127 V187 V191 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V72 V147 V151 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V123 V181 V187 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V33 V80 V155 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V33 V80 V178 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V33 V120 V137 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V77 V100 V106 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V120 V164 V193 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V45 V64 V88 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V0 V106 V122 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V11 V104 V195 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V11 V96 V195 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V21 V158 V173 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V60 V157 V175 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V62 V163 V177 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V130 V144 V154 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V54 V81 V195 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V155 V174 V187 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V37 V119 V126 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V19 V52 V145 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V107 V161 V189 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V67 V156 V158 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V10 V47 V193 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V11 V37 V186 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V114 V145 V191 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V4 V133 V145 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V57 V71 V142 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V149 V170 V173 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V2 V76 V121 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V42 V57 V114 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V13 V24 V197 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V15 V75 V80 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V15 V70 V179 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V60 V103 V151 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V51 V128 V173 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V94 V119 V159 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V58 V97 V181 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V13 V38 V101 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V58 V91 V183 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V79 V107 V190 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V150 V154 V178 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V105 V148 V169 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V26 V104 V122 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V133 V151 V194 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V47 V103 V172 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V77 V120 V121 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V41 V69 V196 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V29 V133 V181 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V66 V119 V159 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V19 V57 V77 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V6 V15 V153 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V44 V166 V190 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V50 V134 V152 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V15 V116 V148 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V4 V62 V143 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V28 V44 V97 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V52 V114 V180 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V41 V72 V169 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V100 V127 V166 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V138 V168 V179 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V78 V155 V162 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V48 V82 V186 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V7 V42 V191 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V55 V128 V149 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V33 V35 V128 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V81 V181 V194 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V23 V93 V107 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V105 V135 V161 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V94 V105 V148 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V89 V139 V148 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V6 V56 V185 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V18 V21 V120 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V65 V112 V125 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V32 V100 V165 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V20 V166 V175 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V2 V76 V82 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V105 V136 V192 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V0 V70 V88 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V61 V65 V165 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V9 V43 V93 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V0 V55 V162 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V48 V122 V150 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V75 V110 V198 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V55 V181 V194 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V23 V166 V169 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V17 V48 V139 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V43 V108 V199 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V69 V115 V174 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V26 V109 V115 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V131 V183 V186 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V5 V27 V104 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V34 V74 V79 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V1 V4 V51 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V34 V193 V198 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V89 V113 V163 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V22 V29 V175 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V22 V113 V184 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V66 V183 V194 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V9 V122 V188 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V8 V90 V129 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V39 V58 V188 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V1 V150 V198 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V64 V140 V159 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V75 V182 V197 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V10 V59 V156 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V11 V13 V106 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V5 V71 V199 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V16 V29 V102 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V13 V94 V186 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V23 V100 V146 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V22 V71 V152 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V72 V120 V185 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V5 V81 V192 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V66 V84 V99 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V1 V43 V193 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V28 V102 V175 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V63 V123 V194 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V83 V135 V159 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V166 V192 V197 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V3 V45 V51 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V63 V75 V101 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V24 V45 V142 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V20 V63 V165 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V99 V132 V157 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V44 V99 V132 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V14 V44 V56 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V12 V168 V174 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V29 V38 V168 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V38 V143 V149 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V38 V58 V166 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V119 V129 V190 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V63 V114 V124 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V20 V54 V63 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V25 V63 V126 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V8 V57 V67 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V30 V62 V85 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V40 V47 V196 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V90 V148 V152 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V36 V40 V123 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V68 V134 V171 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V39 V152 V162 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V31 V73 V144 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V2 V32 V56 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V6 V98 V118 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V6 V98 V164 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V77 V96 V183 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V41 V147 V178 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V106 V136 V193 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V11 V109 V164 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V69 V160 V180 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V74 V123 V125 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V107 V168 V180 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V138 V146 V173 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V158 V170 V171 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V23 V185 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V52 V60 V175 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V52 V60 V185 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V139 V169 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V169 V194 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V33 V169 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V10 V136 V157 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V87 V97 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V30 V65 V156 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V36 V155 V190 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V10 V52 V107 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V43 V127 V183 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V9 V119 V129 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V1 V31 V173 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V2 V73 V173 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V2 V41 V144 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V33 V75 V117 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V158 V180 V191 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V46 V78 V172 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V5 V22 V192 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V105 V156 V188 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V30 V69 V95 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V60 V156 V175 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V18 V55 V198 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V58 V131 V173 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V31 V168 V188 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V133 V154 V186 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V32 V101 V160 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V4 V109 V150 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V26 V64 V90 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V94 V117 V158 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V33 V74 V140 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V14 V27 V49 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V63 V125 V139 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V14 V29 V33 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V106 V153 V182 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V33 V177 V192 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V39 V64 V84 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V50 V111 V115 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V35 V48 V69 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V38 V67 V146 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V119 V132 V159 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V89 V141 V155 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V26 V163 V169 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V34 V144 V176 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V79 V117 V149 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V95 V149 V172 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V30 V34 V196 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V10 V27 V104 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V17 V116 V139 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V48 V57 V149 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V41 V58 V186 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V89 V125 V137 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V126 V176 V188 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V45 V59 V131 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V1 V41 V104 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V46 V67 V143 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V35 V123 V155 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V20 V101 V108 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V46 V136 V169 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V19 V25 V41 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V0 V16 V34 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V2 V4 V19 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V8 V39 V176 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V37 V80 V163 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V91 V118 V171 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V59 V79 V92 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V67 V86 V129 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V15 V77 V159 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V24 V75 V195 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V0 V36 V159 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V32 V56 V186 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V72 V108 V127 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V5 V97 V192 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V92 V126 V197 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V24 V188 V193 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V39 V70 V165 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V142 V145 V151 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V4 V118 V177 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V117 V133 V172 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V112 V122 V160 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V69 V76 V121 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V8 V72 V90 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V90 V102 V185 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V81 V141 V145 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V55 V101 V166 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V71 V109 V147 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V65 V98 V159 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V129 V166 V170 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V58 V90 V127 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V57 V134 V139 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V41 V108 V159 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V25 V64 V79 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V6 V77 V131 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V86 V88 V165 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V40 V121 V135 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V104 V133 V172 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V120 V145 V175 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V41 V89 V115 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V90 V122 V195 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V9 V118 V162 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V47 V107 V116 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V100 V124 V193 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V64 V85 V115 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V7 V19 V74 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V65 V72 V94 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V23 V103 V187 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V27 V35 V179 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V43 V108 V111 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V9 V95 V143 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V22 V81 V130 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V11 V124 V138 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V9 V18 V65 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V7 V181 V185 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V25 V113 V138 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V71 V86 V129 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V6 V27 V74 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V11 V76 V118 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V16 V79 V170 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V22 V79 V177 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V102 V121 V142 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V1 V16 V198 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V60 V72 V197 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V0 V187 V197 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V27 V51 V158 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V51 V156 V179 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V47 V179 V198 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V101 V125 V149 
0.06	c instanciating clauses for relation R21 (conflicts) and variables V27 V95 V197 
0.06	c instanciating clauses for relation R22 (conflicts) and variables V115 V118 V164 
0.06	c instanciating clauses for relation R22 (conflicts) and variables V59 V158 V170 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V6 V85 V156 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V7 V44 V58 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V27 V167 V184 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V93 V112 V149 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V50 V167 V184 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V61 V93 V114 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V61 V93 V121 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V129 V173 V190 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V95 V128 V132 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V108 V121 V135 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V17 V84 V195 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V21 V52 V173 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V8 V66 V114 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V66 V114 V165 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V16 V165 V190 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V8 V73 V75 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V47 V92 V188 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V4 V40 V162 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V127 V162 V169 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V83 V144 V182 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V79 V133 V182 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V73 V152 V182 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V79 V144 V182 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V39 V115 V171 
0.06	c instanciating clauses for relation R23 (conflicts) and variables V22 V28 V88 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V32 V56 V118 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V32 V44 V96 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V49 V96 V179 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V2 V96 V179 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V13 V41 V78 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V23 V141 V170 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V2 V93 V140 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V46 V136 V147 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V9 V43 V116 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V9 V133 V187 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V26 V174 V187 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V26 V181 V187 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V69 V137 V181 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V124 V126 V181 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V38 V86 V133 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V13 V83 V164 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V11 V104 V189 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V109 V164 V189 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V74 V80 V160 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V125 V158 V173 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V59 V103 V175 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V29 V59 V175 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V52 V60 V163 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V37 V62 V110 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V3 V65 V82 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V110 V141 V174 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V3 V140 V191 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V23 V102 V151 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V51 V70 V110 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V28 V165 V196 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V151 V154 V189 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V17 V141 V146 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V32 V59 V104 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V111 V168 V194 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V51 V167 V194 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V38 V91 V136 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V7 V32 V72 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V48 V90 V111 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V8 V88 V100 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V37 V149 V179 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V24 V142 V184 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V64 V112 V153 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V94 V114 V148 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V7 V57 V179 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V77 V126 V138 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V75 V91 V156 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V8 V139 V160 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V40 V80 V91 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V38 V115 V122 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V23 V61 V176 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V21 V87 V178 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V1 V126 V161 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V120 V177 V180 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V115 V153 V173 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V82 V89 V127 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V15 V175 V197 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V172 V183 V195 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V68 V138 V180 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V34 V140 V167 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V30 V152 V171 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V54 V80 V183 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V3 V18 V57 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V11 V22 V131 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V0 V153 V186 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V66 V101 V141 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V62 V80 V190 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V47 V120 V167 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V43 V50 V59 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V148 V159 V172 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V11 V108 V180 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V48 V51 V130 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V12 V36 V91 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V18 V120 V149 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V87 V92 V154 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V113 V122 V139 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V83 V109 V126 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V48 V77 V106 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V27 V38 V64 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V93 V114 V143 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V9 V69 V88 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V61 V113 V163 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V2 V36 V61 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V8 V57 V136 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V43 V106 V183 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V160 V170 V197 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V100 V120 V135 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V45 V71 V185 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V31 V149 V184 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V37 V106 V186 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V9 V67 V103 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V58 V88 V153 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V25 V107 V159 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V23 V49 V159 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V36 V122 V151 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V106 V150 V153 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V74 V127 V198 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V94 V138 V146 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V28 V49 V89 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V137 V158 V198 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V0 V99 V139 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V28 V89 V141 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V86 V153 V166 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V51 V172 V175 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V73 V131 V192 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V133 V141 V185 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V74 V100 V111 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V31 V137 V194 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V78 V179 V183 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V89 V111 V153 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V25 V58 V99 
0.07	c instanciating clauses for relation R23 (conflicts) and variables V89 V121 V147 
0.07	c ...done
0.07	c #SATvar=402 #SATclauses=1582 #CSPpredicates=0
0.08	Verified 1571 original clauses.
0.08	c SAT problem is solved
0.08	restarts              : 3
0.08	conflicts             : 307            (3937 /sec)
0.08	decisions             : 420            (1.19 % random) (5385 /sec)
0.08	propagations          : 20569          (263746 /sec)
0.08	conflict literals     : 2046           (17.57 % deleted)
0.08	Memory used           : 6.90 MB
0.08	CPU time              : 0.077988 s
0.08	c all predicates checked
0.08	
0.08	s SATISFIABLE
0.08	v 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 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/node34/watcher-243430-1168093540 -o ROOT/results/node34/solver-243430-1168093540 -C 1800 -M 900 /tmp/evaluation/243430-1168093540/CSPtoSAT+minisat /tmp/evaluation/243430-1168093540/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.69 1.59 1.78 4/68 12988
/proc/meminfo: memFree=1464768/2055920 swapFree=4192812/4192956
[pid=12987] ppid=12985 vsize=6696 CPUtime=0
/proc/12987/stat : 12987 (CSPtoSAT+minisa) R 12985 12987 12263 0 -1 4194304 401 0 0 0 0 0 0 0 18 0 1 0 157748999 6856704 381 18446744073709551615 134512640 134728504 4294956720 18446744073709551615 7725144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12987/statm: 1674 381 356 52 0 30 0

Child status: 0
Real time (s): 0.090091
CPU time (s): 0.084986
CPU user time (s): 0.077988
CPU system time (s): 0.006998
CPU usage (%): 94.3335
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.077988
system time used= 0.006998
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= 17
involuntary context switches= 0

runsolver used 0.003999 s user time and 0.015997 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 14:25:44 UTC 2007


IDJOB= 243430
IDBENCH= 7467
FILE ID= node34/243430-1168093540

PBS_JOBID= 3476549

Free space on /tmp= 66535 MiB

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

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  bdc0672b9ed499c1e1c8b150fe9ba817

RANDOM SEED= 406103849

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.227
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.227
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:       1465312 kB
Buffers:         36448 kB
Cached:         458252 kB
SwapCached:          0 kB
Active:          95864 kB
Inactive:       419276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1676 kB
Writeback:           0 kB
Mapped:          30600 kB
Slab:            61308 kB
Committed_AS:  2461440 kB
PageTables:       1596 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= 66535 MiB



End job on node34 on Sat Jan  6 14:26:04 UTC 2007