Trace number 243378

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.091985 0.140482

General information on the benchmark

Namedimacs/aim-200/
aim-200-6-0-sat-2_ext.xml
MD5SUMc48344a7234bd25fa57f73c9a71bd2ea
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.091985
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints1169
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1169
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

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

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/node17/watcher-243378-1168701631 -o ROOT/results/node17/solver-243378-1168701631 -C 1800 -M 900 /tmp/evaluation/243378-1168701631/CSPtoSAT+minisat /tmp/evaluation/243378-1168701631/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: 1.48 1.73 0.90 5/87 27443
/proc/meminfo: memFree=1603808/2055920 swapFree=4192812/4192956
[pid=27442] ppid=27440 vsize=496 CPUtime=0
/proc/27442/stat : 27442 (CSPtoSAT+minisa) R 27440 27442 27270 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 218557987 507904 36 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 2859812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27442/statm: 124 36 29 52 0 19 0

[startup+0.104078 s]
/proc/loadavg: 1.48 1.73 0.90 5/87 27443
/proc/meminfo: memFree=1603808/2055920 swapFree=4192812/4192956
[pid=27442] ppid=27440 vsize=7220 CPUtime=0.06
/proc/27442/stat : 27442 (CSPtoSAT+minisa) R 27440 27442 27270 0 -1 4194304 893 0 0 0 6 0 0 0 20 0 1 0 218557987 7393280 861 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134602553 0 0 4096 0 0 0 0 17 1 0 0
/proc/27442/statm: 1805 861 703 52 0 173 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7220

Child status: 0
Real time (s): 0.140482
CPU time (s): 0.091985
CPU user time (s): 0.082987
CPU system time (s): 0.008998
CPU usage (%): 65.4782
Max. virtual memory (cumulated for all children) (KiB): 7220

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

runsolver used 0.007998 s user time and 0.022996 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 13 15:20:32 UTC 2007


IDJOB= 243378
IDBENCH= 7463
IDSOLVER= 87
FILE ID= node17/243378-1168701631

PBS_JOBID= 3547007

Free space on /tmp= 66561 MiB

SOLVER NAME= CSPtoSAT+minisat 0.3
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-6-0-sat-2_ext.xml
COMMAND LINE= /tmp/evaluation/243378-1168701631/CSPtoSAT+minisat /tmp/evaluation/243378-1168701631/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-243378-1168701631 -o ROOT/results/node17/solver-243378-1168701631 -C 1800 -M 900  /tmp/evaluation/243378-1168701631/CSPtoSAT+minisat /tmp/evaluation/243378-1168701631/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  c48344a7234bd25fa57f73c9a71bd2ea

RANDOM SEED= 759663341

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.236
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.236
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:       1604288 kB
Buffers:         10372 kB
Cached:         109648 kB
SwapCached:          0 kB
Active:         313428 kB
Inactive:        81164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1604288 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1700 kB
Writeback:           0 kB
Mapped:         294792 kB
Slab:            41296 kB
Committed_AS:  6722820 kB
PageTables:       2688 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= 66561 MiB



End job on node17 on Sat Jan 13 15:20:34 UTC 2007