Trace number 243404

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.074987 0.102861

General information on the benchmark

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

Solver Data (download as text)

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

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/node11/watcher-243404-1168701633 -o ROOT/results/node11/solver-243404-1168701633 -C 1800 -M 900 /tmp/evaluation/243404-1168701633/CSPtoSAT+minisat /tmp/evaluation/243404-1168701633/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
/proc/loadavg: 1.22 1.60 0.86 4/87 30193
/proc/meminfo: memFree=1613720/2055920 swapFree=4171812/4192956
[pid=30192] ppid=30190 vsize=18540 CPUtime=0
/proc/30192/stat : 30192 (runsolver) R 30190 30060 30060 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 1 0 218558641 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 262910044837 0 0 4096 24578 0 0 0 17 0 0 0
/proc/30192/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


Child status: 0
Real time (s): 0.102861
CPU time (s): 0.074987
CPU user time (s): 0.066989
CPU system time (s): 0.007998
CPU usage (%): 72.9013
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.066989
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 914
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= 15
involuntary context switches= 1085

runsolver used 0.009998 s user time and 0.017997 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan 13 15:20:34 UTC 2007


IDJOB= 243404
IDBENCH= 7465
IDSOLVER= 87
FILE ID= node11/243404-1168701633

PBS_JOBID= 3547010

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-3_ext.xml
COMMAND LINE= /tmp/evaluation/243404-1168701633/CSPtoSAT+minisat /tmp/evaluation/243404-1168701633/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-243404-1168701633 -o ROOT/results/node11/solver-243404-1168701633 -C 1800 -M 900  /tmp/evaluation/243404-1168701633/CSPtoSAT+minisat /tmp/evaluation/243404-1168701633/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  a0d6bc6bf724274412a24ca412118d04

RANDOM SEED= 45584269

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.261
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	: 5931.00
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.261
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:       1614392 kB
Buffers:          8088 kB
Cached:         114416 kB
SwapCached:       2684 kB
Active:         296772 kB
Inactive:        84780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1614392 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:         277288 kB
Slab:            44160 kB
Committed_AS:  7338720 kB
PageTables:       2816 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 node11 on Sat Jan 13 15:20:39 UTC 2007