Trace number 242446

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.181972 0.20538

General information on the benchmark

Namedimacs/ssa/
ssa-7552-038_ext.xml
MD5SUM6136a6e8c1be790eb7137f2a8b043619
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.181972
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1501
Number of constraints2444
Maximum constraint arity6
Maximum domain size2
Number of constraints which are defined in extension2444
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c This is CSPtoSAT+minisat version 0.3
0.05	c (c) 2006 roussel@cril.univ-artois.fr
0.05	
0.05	c This solver internally uses a modified version of MiniSat2 version 061112
0.05	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.05	
0.05	c parsing...
0.05	c preparing clauses for relation R0
0.05	c preparing clauses for relation R1
0.05	c preparing clauses for relation R2
0.05	c preparing clauses for relation R3
0.05	c preparing clauses for relation R4
0.05	c preparing clauses for relation R5
0.05	c preparing clauses for relation R6
0.05	c preparing clauses for relation R7
0.05	c preparing clauses for relation R8
0.05	c preparing clauses for relation R9
0.05	c preparing clauses for relation R10
0.05	c preparing clauses for relation R11
0.05	c preparing clauses for relation R12
0.05	c preparing clauses for relation R13
0.05	c preparing clauses for relation R14
0.05	c preparing clauses for relation R15
0.05	c preparing clauses for relation R16
0.05	c preparing clauses for relation R17
0.05	c preparing clauses for relation R18
0.05	c preparing clauses for relation R19
0.05	c preparing clauses for relation R20
0.05	c preparing clauses for relation R21
0.05	c preparing clauses for relation R22
0.05	c preparing clauses for relation R23
0.05	c preparing clauses for relation R24
0.05	c instanciating clauses for relation R0 (supports) and variables V547 V545 V315 
0.05	c instanciating clauses for relation R0 (supports) and variables V417 V324 V314 
0.05	c instanciating clauses for relation R0 (supports) and variables V771 V770 V750 
0.05	c instanciating clauses for relation R0 (supports) and variables V1360 V1361 V1056 
0.05	c instanciating clauses for relation R0 (supports) and variables V966 V965 V956 
0.05	c instanciating clauses for relation R0 (supports) and variables V1368 V1369 V955 
0.05	c instanciating clauses for relation R0 (supports) and variables V908 V266 V257 
0.05	c instanciating clauses for relation R0 (supports) and variables V1342 V1341 V258 
0.05	c instanciating clauses for relation R0 (supports) and variables V1176 V1175 V493 
0.05	c instanciating clauses for relation R0 (supports) and variables V798 V800 V790 
0.05	c instanciating clauses for relation R0 (supports) and variables V889 V891 V885 
0.05	c instanciating clauses for relation R0 (supports) and variables V1019 V1017 V1015 
0.05	c instanciating clauses for relation R0 (supports) and variables V1010 V1009 V1007 
0.05	c instanciating clauses for relation R0 (supports) and variables V903 V904 V900 
0.05	c instanciating clauses for relation R0 (supports) and variables V1336 V1335 V492 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V928 V130 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V930 V132 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V946 V928 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V948 V930 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V719 V711 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V719 V713 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1172 V1004 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1174 V1004 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V55 V625 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V829 V625 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V92 V621 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V823 V621 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V762 V412 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V766 V762 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V765 V762 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V767 V762 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V768 V762 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V66 V616 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V822 V616 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1168 V743 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V757 V755 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V758 V755 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V759 V755 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V761 V755 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V104 V841 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V844 V841 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V752 V313 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V404 V313 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1238 V136 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V952 V136 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1238 V138 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V954 V138 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1088 V1065 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1091 V1065 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1090 V1067 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1091 V1067 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1081 V1062 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1074 V1062 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V78 V644 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V647 V644 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V56 V1165 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1325 V1165 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V79 V1157 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1158 V1157 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V53 V1317 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1442 V1317 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V40 V1161 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1164 V1161 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1200 V1029 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1198 V1029 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1201 V1029 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1193 V1191 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1195 V1191 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1197 V1191 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1345 V1200 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1343 V1200 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1346 V1200 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1344 V1200 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V357 V1028 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1178 V1028 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V366 V1028 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V367 V366 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V368 V366 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V369 V366 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V259 V357 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V255 V357 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V267 V357 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1187 V911 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1192 V911 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1194 V911 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1196 V911 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V596 V528 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V592 V528 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V594 V528 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V969 V794 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V968 V794 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1030 V140 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1032 V140 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V533 V261 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V896 V895 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V897 V895 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V898 V895 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V796 V599 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V601 V599 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V602 V599 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V603 V599 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V595 V586 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V597 V586 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V598 V586 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V731 V373 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V732 V373 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V300 V373 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V728 V373 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V731 V375 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V734 V375 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V300 V375 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V728 V375 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V724 V728 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V726 V728 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V730 V728 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1239 V732 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V1239 V734 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1085 V1075 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1055 V1075 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1082 V1075 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1087 V1077 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1055 V1077 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1082 V1077 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1241 V1232 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1363 V1240 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1364 V1240 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1245 V1244 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1225 V1244 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1246 V1244 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V735 V731 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V737 V731 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V753 V708 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V754 V708 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V760 V708 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V751 V708 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V756 V749 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V513 V127 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V506 V127 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V522 V127 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V515 V129 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V508 V129 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V524 V129 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V931 V688 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V509 V506 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V502 V506 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V510 V506 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V509 V508 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V502 V508 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V512 V508 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V516 V513 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V517 V513 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V520 V513 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V521 V513 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V516 V515 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V519 V515 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V520 V515 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V521 V515 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V376 V124 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V232 V124 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V685 V124 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V378 V126 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V234 V126 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V687 V126 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V387 V232 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V236 V232 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V381 V232 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V387 V234 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V236 V234 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V383 V234 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V380 V376 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V384 V376 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V388 V376 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V390 V376 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V380 V378 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V386 V378 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V388 V378 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V390 V378 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V137 V248 V251 V275 V364 V1493 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V132 V1491 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V130 V1492 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V944 V932 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V941 V936 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V937 V940 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V371 V715 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V316 V411 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V412 V411 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V413 V411 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V406 V411 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V403 V406 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V548 V406 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V408 V406 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V627 V400 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V624 V399 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V546 V413 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V398 V413 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V623 V321 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V551 V1482 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V552 V1483 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V843 V320 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V554 V316 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V415 V316 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V313 V316 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V319 V316 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V689 V370 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V133 V370 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V240 V370 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V358 V370 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V691 V372 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V135 V372 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V242 V372 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V360 V372 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V362 V358 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V363 V358 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V364 V362 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V362 V360 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V365 V360 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1058 V952 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V961 V952 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1060 V952 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V957 V952 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V958 V1060 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V958 V961 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V958 V1058 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1058 V954 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V961 V954 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1060 V954 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V959 V954 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1069 V962 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1066 V1069 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1063 V1069 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1069 V964 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V786 V1470 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V787 V1471 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V646 V643 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V294 V293 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V296 V293 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V298 V293 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V299 V293 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V738 V1472 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V740 V1473 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1167 V736 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V284 V1488 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V289 V1489 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1160 V280 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V729 V1484 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V394 V1485 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1319 V391 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V310 V1486 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V312 V1487 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1163 V308 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1036 V273 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1219 V1462 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1218 V1463 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1204 V1199 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1191 V1199 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1205 V1199 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1351 V1456 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1350 V1457 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1223 V1460 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1222 V1461 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V879 V368 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V880 V368 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V882 V368 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V884 V368 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1338 V1458 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1339 V1459 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1041 V1178 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1183 V1182 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1184 V1182 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V883 V255 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V881 V255 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V494 V255 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1206 V1464 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1207 V1465 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V498 V240 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V246 V240 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V500 V240 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V250 V240 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V251 V500 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V251 V246 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V251 V498 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V498 V242 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V246 V242 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V500 V242 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V252 V242 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V531 V525 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V538 V525 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V568 V1478 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V570 V1479 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V793 V592 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V790 V592 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V791 V592 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V608 V1474 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V609 V1475 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V854 V795 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V563 V1480 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V565 V1481 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V604 V1476 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V605 V1477 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V900 V527 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1023 V527 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1025 V527 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1026 V527 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1180 V1027 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1179 V1027 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V1181 V1027 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V495 V491 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V492 V491 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V878 V491 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V247 V133 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V139 V133 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V245 V133 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V248 V245 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V248 V139 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V249 V135 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V139 V135 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V245 V135 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V893 V530 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V894 V530 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V887 V530 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1021 V897 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1024 V897 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1022 V897 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1020 V893 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1018 V893 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1014 V893 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1016 V893 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V585 V529 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V789 V529 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V788 V529 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V576 V582 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V573 V571 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V575 V571 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V599 V789 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V799 V789 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V801 V789 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V588 V585 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V586 V585 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V590 V585 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V287 V300 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V295 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V290 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V292 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V279 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V297 V285 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V291 V285 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V311 V302 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V307 V302 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1236 V1232 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1236 V1229 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1233 V1229 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1230 V1232 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1068 V1055 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1057 V1055 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1059 V1055 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1061 V1055 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1226 V1225 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1227 V1225 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1228 V1225 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V748 V747 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V744 V747 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V745 V742 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V543 V742 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1093 V707 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1099 V707 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1098 V1466 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1104 V1467 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1305 V1097 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1430 V1097 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1096 V1468 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1102 V1469 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1306 V1095 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1309 V1095 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V129 V1495 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V127 V1496 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V270 V522 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V921 V522 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V271 V921 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V696 V921 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V693 V921 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V272 V524 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V921 V524 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V496 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V361 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V274 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V275 V361 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V275 V496 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V496 V272 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V361 V272 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V276 V272 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V710 V263 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V714 V263 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V503 V502 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V504 V502 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V505 V502 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V126 V1498 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V124 V1499 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V924 V685 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V919 V924 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V916 V924 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V699 V924 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V913 V924 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V924 V687 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V701 V698 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V702 V698 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V703 V701 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V701 V700 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V704 V700 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V497 V236 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V499 V236 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V501 V236 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V130 V1491 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V132 V1492 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V712 V944 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V712 V947 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V552 V1482 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V551 V1483 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V248 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V251 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V275 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V364 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V683 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V137 V703 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V787 V1470 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V786 V1471 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V740 V1472 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V738 V1473 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V289 V1488 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V284 V1489 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V394 V1484 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V729 V1485 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V312 V1486 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V310 V1487 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1218 V1462 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1219 V1463 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1350 V1456 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1351 V1457 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1222 V1460 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1223 V1461 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1339 V1458 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1338 V1459 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1207 V1464 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1206 V1465 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V570 V1478 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V568 V1479 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V609 V1474 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V608 V1475 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V565 V1480 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V563 V1481 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V605 V1476 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V604 V1477 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V374 V690 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V374 V693 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V374 V916 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1104 V1466 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1098 V1467 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1102 V1468 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V1096 V1469 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V127 V1495 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V129 V1496 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V238 V382 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V238 V385 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V238 V511 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V238 V518 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V124 V1498 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V126 V1499 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V406 V403 V548 V408 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V764 V763 V755 V412 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1199 V1204 V1191 V1205 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1337 V1046 V1044 V1041 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V255 V883 V881 V494 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V592 V793 V790 V791 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1027 V1180 V1179 V1181 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V491 V495 V492 V878 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V133 V247 V139 V245 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V135 V249 V139 V245 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V530 V893 V894 V887 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1008 V949 V1013 V887 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V897 V1021 V1024 V1022 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V529 V585 V789 V788 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V579 V578 V792 V576 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V789 V599 V799 V801 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V585 V588 V586 V590 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1235 V1232 V1229 V732 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1237 V1232 V1229 V734 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1243 V1240 V1242 V1232 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V783 V781 V960 V778 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1225 V1226 V1227 V1228 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V1103 V1101 V1100 V927 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V921 V270 V692 V522 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V921 V270 V695 V522 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V921 V272 V694 V524 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V921 V272 V695 V524 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V270 V496 V361 V274 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V272 V496 V361 V276 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V502 V503 V504 V505 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V915 V912 V685 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V918 V912 V685 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V915 V698 V685 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V918 V698 V685 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V917 V912 V687 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V918 V912 V687 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V917 V700 V687 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V924 V918 V700 V687 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V236 V497 V499 V501 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V944 V945 V930 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V944 V943 V928 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V933 V934 V930 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V933 V932 V928 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V941 V942 V948 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V941 V940 V946 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V937 V938 V948 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V937 V936 V946 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V1063 V1064 V1067 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V1063 V1062 V1065 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V523 V524 V508 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V523 V522 V506 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V523 V524 V515 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V523 V522 V513 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V507 V508 V524 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V507 V506 V522 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V507 V508 V515 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V507 V506 V513 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V514 V515 V524 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V514 V513 V522 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V514 V515 V508 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V514 V513 V506 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V696 V697 V694 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V696 V695 V692 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V686 V687 V234 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V686 V685 V232 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V686 V687 V378 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V686 V685 V376 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V233 V234 V687 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V233 V232 V685 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V233 V234 V378 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V233 V232 V376 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V377 V378 V687 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V377 V376 V685 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V377 V378 V234 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V377 V376 V232 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V919 V920 V917 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V919 V918 V915 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V913 V914 V700 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V913 V912 V698 
0.08	c instanciating clauses for relation R7 (conflicts) and variables V929 V932 V943 V945 
0.08	c instanciating clauses for relation R7 (conflicts) and variables V720 V715 V370 V372 
0.08	c instanciating clauses for relation R7 (conflicts) and variables V374 V690 V693 V916 
0.08	c instanciating clauses for relation R8 (supports) and variables V711 V943 
0.08	c instanciating clauses for relation R8 (supports) and variables V711 V946 
0.08	c instanciating clauses for relation R8 (supports) and variables V713 V945 
0.08	c instanciating clauses for relation R8 (supports) and variables V713 V948 
0.08	c instanciating clauses for relation R8 (supports) and variables V411 V718 
0.08	c instanciating clauses for relation R8 (supports) and variables V411 V719 
0.08	c instanciating clauses for relation R8 (supports) and variables V400 V409 
0.08	c instanciating clauses for relation R8 (supports) and variables V400 V410 
0.08	c instanciating clauses for relation R8 (supports) and variables V400 V551 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V623 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V624 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V627 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V646 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V843 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V974 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1160 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1163 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1167 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1319 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1321 
0.08	c instanciating clauses for relation R8 (supports) and variables V617 V1322 
0.08	c instanciating clauses for relation R8 (supports) and variables V1004 V1168 
0.08	c instanciating clauses for relation R8 (supports) and variables V1004 V1169 
0.08	c instanciating clauses for relation R8 (supports) and variables V71 V1173 
0.08	c instanciating clauses for relation R8 (supports) and variables V71 V1174 
0.08	c instanciating clauses for relation R8 (supports) and variables V32 V1171 
0.08	c instanciating clauses for relation R8 (supports) and variables V32 V1172 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V452 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V453 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V459 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V463 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V465 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V468 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V615 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V618 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V622 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V626 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V631 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V634 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V637 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V645 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V647 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V651 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V654 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V666 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V671 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V674 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V675 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V676 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V677 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V678 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V679 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V680 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V681 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V803 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V807 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V811 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V814 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V819 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V820 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V822 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V823 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V827 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V829 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V831 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V834 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V839 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V842 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V844 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V845 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V849 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V854 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V855 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V859 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V864 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V868 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V869 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V870 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V871 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V872 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V873 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V874 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V876 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V971 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V973 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V975 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V978 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V982 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V983 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V989 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V991 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1003 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1006 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1110 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1112 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1114 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1120 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1122 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1127 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1128 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1130 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1138 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1142 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1144 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1149 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1158 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1159 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1162 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1164 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1166 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1170 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1253 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1255 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1257 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1259 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1261 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1263 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1265 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1270 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1272 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1273 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1276 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1280 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1281 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1283 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1287 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1289 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1291 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1295 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1312 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1315 
0.08	c instanciating clauses for relation R8 (supports) and variables V83 V1318 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1320 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1323 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1324 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1325 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1326 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1327 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1373 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1377 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1381 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1385 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1390 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1392 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1394 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1398 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1400 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1404 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1409 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1410 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1413 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1414 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1416 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1429 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1433 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1434 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1441 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1442 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1443 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1444 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1448 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1452 
0.09	c instanciating clauses for relation R8 (supports) and variables V83 V1454 
0.09	c instanciating clauses for relation R8 (supports) and variables V407 V548 
0.09	c instanciating clauses for relation R8 (supports) and variables V407 V549 
0.09	c instanciating clauses for relation R8 (supports) and variables V407 V552 
0.09	c instanciating clauses for relation R8 (supports) and variables V1446 V1449 
0.09	c instanciating clauses for relation R8 (supports) and variables V1446 V1450 
0.09	c instanciating clauses for relation R8 (supports) and variables V9 V204 
0.09	c instanciating clauses for relation R8 (supports) and variables V9 V205 
0.09	c instanciating clauses for relation R8 (supports) and variables V9 V206 
0.09	c instanciating clauses for relation R8 (supports) and variables V9 V231 
0.09	c instanciating clauses for relation R8 (supports) and variables V9 V1451 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V454 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V455 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V456 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V461 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V466 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V469 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V613 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V628 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V632 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V638 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V652 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V655 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V665 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V669 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V672 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V804 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V808 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V812 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V815 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V816 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V821 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V828 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V832 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V835 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V840 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V846 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V847 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V853 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V858 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V862 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V863 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V867 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V875 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V877 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V969 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V972 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V979 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V981 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V984 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V990 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V994 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1002 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1005 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1111 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1113 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1117 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1119 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1121 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1124 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1129 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1133 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1135 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1141 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1145 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1146 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1254 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1256 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1258 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1260 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1262 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1264 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1268 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1269 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1271 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1274 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1275 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1279 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1282 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1286 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1288 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1290 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1294 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1298 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1311 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1316 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1328 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1376 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1380 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1384 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1388 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1391 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1393 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1397 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1399 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1403 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1407 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1408 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1411 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1412 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1415 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1419 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1428 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1432 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1437 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1440 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1445 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1447 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1453 
0.09	c instanciating clauses for relation R8 (supports) and variables V448 V1455 
0.09	c instanciating clauses for relation R8 (supports) and variables V315 V404 
0.09	c instanciating clauses for relation R8 (supports) and variables V315 V405 
0.09	c instanciating clauses for relation R8 (supports) and variables V315 V754 
0.09	c instanciating clauses for relation R8 (supports) and variables V315 V758 
0.09	c instanciating clauses for relation R8 (supports) and variables V315 V767 
0.09	c instanciating clauses for relation R8 (supports) and variables V414 V546 
0.09	c instanciating clauses for relation R8 (supports) and variables V414 V547 
0.09	c instanciating clauses for relation R8 (supports) and variables V414 V550 
0.09	c instanciating clauses for relation R8 (supports) and variables V150 V164 
0.09	c instanciating clauses for relation R8 (supports) and variables V150 V165 
0.09	c instanciating clauses for relation R8 (supports) and variables V150 V230 
0.09	c instanciating clauses for relation R8 (supports) and variables V150 V670 
0.09	c instanciating clauses for relation R8 (supports) and variables V74 V486 
0.09	c instanciating clauses for relation R8 (supports) and variables V74 V487 
0.09	c instanciating clauses for relation R8 (supports) and variables V74 V490 
0.09	c instanciating clauses for relation R8 (supports) and variables V399 V401 
0.09	c instanciating clauses for relation R8 (supports) and variables V399 V402 
0.09	c instanciating clauses for relation R8 (supports) and variables V399 V545 
0.09	c instanciating clauses for relation R8 (supports) and variables V321 V323 
0.09	c instanciating clauses for relation R8 (supports) and variables V321 V324 
0.09	c instanciating clauses for relation R8 (supports) and variables V321 V768 
0.09	c instanciating clauses for relation R8 (supports) and variables V322 V417 
0.09	c instanciating clauses for relation R8 (supports) and variables V322 V418 
0.09	c instanciating clauses for relation R8 (supports) and variables V322 V769 
0.09	c instanciating clauses for relation R8 (supports) and variables V345 V457 
0.09	c instanciating clauses for relation R8 (supports) and variables V345 V458 
0.09	c instanciating clauses for relation R8 (supports) and variables V345 V475 
0.09	c instanciating clauses for relation R8 (supports) and variables V112 V227 
0.09	c instanciating clauses for relation R8 (supports) and variables V112 V228 
0.09	c instanciating clauses for relation R8 (supports) and variables V112 V229 
0.09	c instanciating clauses for relation R8 (supports) and variables V112 V476 
0.09	c instanciating clauses for relation R8 (supports) and variables V553 V760 
0.09	c instanciating clauses for relation R8 (supports) and variables V553 V761 
0.09	c instanciating clauses for relation R8 (supports) and variables V553 V766 
0.10	c instanciating clauses for relation R8 (supports) and variables V317 V554 
0.10	c instanciating clauses for relation R8 (supports) and variables V317 V555 
0.10	c instanciating clauses for relation R8 (supports) and variables V743 V745 
0.10	c instanciating clauses for relation R8 (supports) and variables V743 V746 
0.10	c instanciating clauses for relation R8 (supports) and variables V743 V764 
0.10	c instanciating clauses for relation R8 (supports) and variables V743 V970 
0.10	c instanciating clauses for relation R8 (supports) and variables V544 V619 
0.10	c instanciating clauses for relation R8 (supports) and variables V544 V620 
0.10	c instanciating clauses for relation R8 (supports) and variables V544 V748 
0.10	c instanciating clauses for relation R8 (supports) and variables V544 V763 
0.10	c instanciating clauses for relation R8 (supports) and variables V344 V349 
0.10	c instanciating clauses for relation R8 (supports) and variables V344 V350 
0.10	c instanciating clauses for relation R8 (supports) and variables V344 V351 
0.10	c instanciating clauses for relation R8 (supports) and variables V344 V352 
0.10	c instanciating clauses for relation R8 (supports) and variables V344 V614 
0.10	c instanciating clauses for relation R8 (supports) and variables V46 V659 
0.10	c instanciating clauses for relation R8 (supports) and variables V46 V660 
0.10	c instanciating clauses for relation R8 (supports) and variables V46 V668 
0.10	c instanciating clauses for relation R8 (supports) and variables V314 V752 
0.10	c instanciating clauses for relation R8 (supports) and variables V314 V753 
0.10	c instanciating clauses for relation R8 (supports) and variables V314 V759 
0.10	c instanciating clauses for relation R8 (supports) and variables V750 V756 
0.10	c instanciating clauses for relation R8 (supports) and variables V750 V757 
0.10	c instanciating clauses for relation R8 (supports) and variables V318 V415 
0.10	c instanciating clauses for relation R8 (supports) and variables V318 V416 
0.10	c instanciating clauses for relation R8 (supports) and variables V318 V771 
0.10	c instanciating clauses for relation R8 (supports) and variables V353 V354 
0.10	c instanciating clauses for relation R8 (supports) and variables V353 V355 
0.10	c instanciating clauses for relation R8 (supports) and variables V353 V673 
0.10	c instanciating clauses for relation R8 (supports) and variables V90 V179 
0.10	c instanciating clauses for relation R8 (supports) and variables V90 V180 
0.10	c instanciating clauses for relation R8 (supports) and variables V90 V488 
0.10	c instanciating clauses for relation R8 (supports) and variables V90 V489 
0.10	c instanciating clauses for relation R8 (supports) and variables V320 V325 
0.10	c instanciating clauses for relation R8 (supports) and variables V320 V326 
0.10	c instanciating clauses for relation R8 (supports) and variables V320 V770 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V247 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V250 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V274 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V363 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V682 
0.10	c instanciating clauses for relation R8 (supports) and variables V136 V702 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V249 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V252 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V276 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V365 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V684 
0.10	c instanciating clauses for relation R8 (supports) and variables V138 V704 
0.10	c instanciating clauses for relation R8 (supports) and variables V1056 V1068 
0.10	c instanciating clauses for relation R8 (supports) and variables V1056 V1069 
0.10	c instanciating clauses for relation R8 (supports) and variables V1123 V1249 
0.10	c instanciating clauses for relation R8 (supports) and variables V1123 V1250 
0.10	c instanciating clauses for relation R8 (supports) and variables V1123 V1360 
0.10	c instanciating clauses for relation R8 (supports) and variables V985 V1125 
0.10	c instanciating clauses for relation R8 (supports) and variables V985 V1126 
0.10	c instanciating clauses for relation R8 (supports) and variables V985 V1421 
0.10	c instanciating clauses for relation R8 (supports) and variables V82 V143 
0.10	c instanciating clauses for relation R8 (supports) and variables V82 V144 
0.10	c instanciating clauses for relation R8 (supports) and variables V82 V1422 
0.10	c instanciating clauses for relation R8 (supports) and variables V82 V1423 
0.10	c instanciating clauses for relation R8 (supports) and variables V1359 V1361 
0.10	c instanciating clauses for relation R8 (supports) and variables V1359 V1362 
0.10	c instanciating clauses for relation R8 (supports) and variables V1359 V1371 
0.10	c instanciating clauses for relation R8 (supports) and variables V41 V1438 
0.10	c instanciating clauses for relation R8 (supports) and variables V41 V1439 
0.10	c instanciating clauses for relation R8 (supports) and variables V1084 V1091 
0.10	c instanciating clauses for relation R8 (supports) and variables V1084 V1092 
0.10	c instanciating clauses for relation R8 (supports) and variables V1084 V1118 
0.10	c instanciating clauses for relation R8 (supports) and variables V97 V1139 
0.10	c instanciating clauses for relation R8 (supports) and variables V97 V1140 
0.10	c instanciating clauses for relation R8 (supports) and variables V824 V1073 
0.10	c instanciating clauses for relation R8 (supports) and variables V824 V1074 
0.10	c instanciating clauses for relation R8 (supports) and variables V824 V1083 
0.10	c instanciating clauses for relation R8 (supports) and variables V151 V483 
0.10	c instanciating clauses for relation R8 (supports) and variables V151 V484 
0.10	c instanciating clauses for relation R8 (supports) and variables V151 V848 
0.10	c instanciating clauses for relation R8 (supports) and variables V151 V850 
0.10	c instanciating clauses for relation R8 (supports) and variables V52 V851 
0.10	c instanciating clauses for relation R8 (supports) and variables V52 V852 
0.10	c instanciating clauses for relation R8 (supports) and variables V52 V1251 
0.10	c instanciating clauses for relation R8 (supports) and variables V52 V1252 
0.10	c instanciating clauses for relation R8 (supports) and variables V1072 V1081 
0.10	c instanciating clauses for relation R8 (supports) and variables V1072 V1082 
0.10	c instanciating clauses for relation R8 (supports) and variables V956 V1060 
0.10	c instanciating clauses for relation R8 (supports) and variables V956 V1061 
0.10	c instanciating clauses for relation R8 (supports) and variables V956 V1226 
0.10	c instanciating clauses for relation R8 (supports) and variables V956 V1242 
0.10	c instanciating clauses for relation R8 (supports) and variables V776 V780 
0.10	c instanciating clauses for relation R8 (supports) and variables V776 V781 
0.10	c instanciating clauses for relation R8 (supports) and variables V776 V966 
0.10	c instanciating clauses for relation R8 (supports) and variables V987 V1147 
0.10	c instanciating clauses for relation R8 (supports) and variables V987 V1148 
0.10	c instanciating clauses for relation R8 (supports) and variables V987 V1303 
0.10	c instanciating clauses for relation R8 (supports) and variables V111 V1247 
0.10	c instanciating clauses for relation R8 (supports) and variables V111 V1248 
0.10	c instanciating clauses for relation R8 (supports) and variables V111 V1300 
0.10	c instanciating clauses for relation R8 (supports) and variables V111 V1302 
0.10	c instanciating clauses for relation R8 (supports) and variables V772 V782 
0.10	c instanciating clauses for relation R8 (supports) and variables V772 V783 
0.10	c instanciating clauses for relation R8 (supports) and variables V772 V965 
0.10	c instanciating clauses for relation R8 (supports) and variables V33 V1277 
0.10	c instanciating clauses for relation R8 (supports) and variables V33 V1278 
0.10	c instanciating clauses for relation R8 (supports) and variables V779 V960 
0.10	c instanciating clauses for relation R8 (supports) and variables V779 V961 
0.10	c instanciating clauses for relation R8 (supports) and variables V779 V1057 
0.10	c instanciating clauses for relation R8 (supports) and variables V779 V1228 
0.10	c instanciating clauses for relation R8 (supports) and variables V779 V1243 
0.10	c instanciating clauses for relation R8 (supports) and variables V777 V784 
0.10	c instanciating clauses for relation R8 (supports) and variables V777 V785 
0.10	c instanciating clauses for relation R8 (supports) and variables V777 V787 
0.10	c instanciating clauses for relation R8 (supports) and variables V471 V817 
0.10	c instanciating clauses for relation R8 (supports) and variables V471 V818 
0.10	c instanciating clauses for relation R8 (supports) and variables V471 V967 
0.10	c instanciating clauses for relation R8 (supports) and variables V113 V481 
0.10	c instanciating clauses for relation R8 (supports) and variables V113 V482 
0.10	c instanciating clauses for relation R8 (supports) and variables V113 V640 
0.10	c instanciating clauses for relation R8 (supports) and variables V113 V642 
0.10	c instanciating clauses for relation R8 (supports) and variables V643 V774 
0.10	c instanciating clauses for relation R8 (supports) and variables V643 V775 
0.10	c instanciating clauses for relation R8 (supports) and variables V643 V786 
0.10	c instanciating clauses for relation R8 (supports) and variables V955 V1058 
0.10	c instanciating clauses for relation R8 (supports) and variables V955 V1059 
0.10	c instanciating clauses for relation R8 (supports) and variables V955 V1227 
0.10	c instanciating clauses for relation R8 (supports) and variables V1134 V1365 
0.10	c instanciating clauses for relation R8 (supports) and variables V1134 V1366 
0.10	c instanciating clauses for relation R8 (supports) and variables V1134 V1368 
0.10	c instanciating clauses for relation R8 (supports) and variables V986 V1136 
0.10	c instanciating clauses for relation R8 (supports) and variables V986 V1137 
0.10	c instanciating clauses for relation R8 (supports) and variables V986 V1299 
0.10	c instanciating clauses for relation R8 (supports) and variables V36 V167 
0.10	c instanciating clauses for relation R8 (supports) and variables V36 V168 
0.10	c instanciating clauses for relation R8 (supports) and variables V36 V1301 
0.10	c instanciating clauses for relation R8 (supports) and variables V36 V1420 
0.10	c instanciating clauses for relation R8 (supports) and variables V1367 V1369 
0.10	c instanciating clauses for relation R8 (supports) and variables V1367 V1370 
0.10	c instanciating clauses for relation R8 (supports) and variables V1367 V1372 
0.10	c instanciating clauses for relation R8 (supports) and variables V18 V1426 
0.10	c instanciating clauses for relation R8 (supports) and variables V18 V1427 
0.10	c instanciating clauses for relation R8 (supports) and variables V293 V1238 
0.10	c instanciating clauses for relation R8 (supports) and variables V293 V1239 
0.10	c instanciating clauses for relation R8 (supports) and variables V286 V291 
0.10	c instanciating clauses for relation R8 (supports) and variables V286 V292 
0.10	c instanciating clauses for relation R8 (supports) and variables V286 V299 
0.10	c instanciating clauses for relation R8 (supports) and variables V286 V725 
0.10	c instanciating clauses for relation R8 (supports) and variables V393 V739 
0.10	c instanciating clauses for relation R8 (supports) and variables V393 V740 
0.10	c instanciating clauses for relation R8 (supports) and variables V393 V741 
0.10	c instanciating clauses for relation R8 (supports) and variables V338 V629 
0.10	c instanciating clauses for relation R8 (supports) and variables V338 V630 
0.10	c instanciating clauses for relation R8 (supports) and variables V123 V214 
0.10	c instanciating clauses for relation R8 (supports) and variables V123 V215 
0.10	c instanciating clauses for relation R8 (supports) and variables V123 V216 
0.10	c instanciating clauses for relation R8 (supports) and variables V123 V217 
0.10	c instanciating clauses for relation R8 (supports) and variables V123 V341 
0.10	c instanciating clauses for relation R8 (supports) and variables V736 V737 
0.10	c instanciating clauses for relation R8 (supports) and variables V736 V738 
0.10	c instanciating clauses for relation R8 (supports) and variables V736 V1156 
0.10	c instanciating clauses for relation R8 (supports) and variables V281 V297 
0.10	c instanciating clauses for relation R8 (supports) and variables V281 V298 
0.10	c instanciating clauses for relation R8 (supports) and variables V282 V289 
0.10	c instanciating clauses for relation R8 (supports) and variables V282 V290 
0.10	c instanciating clauses for relation R8 (supports) and variables V282 V397 
0.10	c instanciating clauses for relation R8 (supports) and variables V431 V446 
0.10	c instanciating clauses for relation R8 (supports) and variables V431 V447 
0.10	c instanciating clauses for relation R8 (supports) and variables V431 V449 
0.10	c instanciating clauses for relation R8 (supports) and variables V50 V218 
0.10	c instanciating clauses for relation R8 (supports) and variables V50 V219 
0.10	c instanciating clauses for relation R8 (supports) and variables V50 V220 
0.10	c instanciating clauses for relation R8 (supports) and variables V50 V436 
0.10	c instanciating clauses for relation R8 (supports) and variables V280 V283 
0.10	c instanciating clauses for relation R8 (supports) and variables V280 V284 
0.10	c instanciating clauses for relation R8 (supports) and variables V280 V1001 
0.10	c instanciating clauses for relation R8 (supports) and variables V288 V295 
0.10	c instanciating clauses for relation R8 (supports) and variables V288 V296 
0.11	c instanciating clauses for relation R8 (supports) and variables V288 V303 
0.11	c instanciating clauses for relation R8 (supports) and variables V392 V394 
0.11	c instanciating clauses for relation R8 (supports) and variables V392 V395 
0.11	c instanciating clauses for relation R8 (supports) and variables V392 V727 
0.11	c instanciating clauses for relation R8 (supports) and variables V430 V432 
0.11	c instanciating clauses for relation R8 (supports) and variables V430 V433 
0.11	c instanciating clauses for relation R8 (supports) and variables V430 V434 
0.11	c instanciating clauses for relation R8 (supports) and variables V430 V633 
0.11	c instanciating clauses for relation R8 (supports) and variables V105 V333 
0.11	c instanciating clauses for relation R8 (supports) and variables V105 V334 
0.11	c instanciating clauses for relation R8 (supports) and variables V105 V435 
0.11	c instanciating clauses for relation R8 (supports) and variables V391 V729 
0.11	c instanciating clauses for relation R8 (supports) and variables V391 V730 
0.11	c instanciating clauses for relation R8 (supports) and variables V391 V1155 
0.11	c instanciating clauses for relation R8 (supports) and variables V306 V311 
0.11	c instanciating clauses for relation R8 (supports) and variables V306 V312 
0.11	c instanciating clauses for relation R8 (supports) and variables V306 V396 
0.11	c instanciating clauses for relation R8 (supports) and variables V141 V161 
0.11	c instanciating clauses for relation R8 (supports) and variables V141 V162 
0.11	c instanciating clauses for relation R8 (supports) and variables V141 V163 
0.11	c instanciating clauses for relation R8 (supports) and variables V141 V462 
0.11	c instanciating clauses for relation R8 (supports) and variables V68 V187 
0.11	c instanciating clauses for relation R8 (supports) and variables V68 V188 
0.11	c instanciating clauses for relation R8 (supports) and variables V68 V189 
0.11	c instanciating clauses for relation R8 (supports) and variables V68 V190 
0.11	c instanciating clauses for relation R8 (supports) and variables V68 V472 
0.11	c instanciating clauses for relation R8 (supports) and variables V308 V309 
0.11	c instanciating clauses for relation R8 (supports) and variables V308 V310 
0.11	c instanciating clauses for relation R8 (supports) and variables V308 V1000 
0.11	c instanciating clauses for relation R8 (supports) and variables V273 V361 
0.11	c instanciating clauses for relation R8 (supports) and variables V273 V362 
0.11	c instanciating clauses for relation R8 (supports) and variables V273 V701 
0.11	c instanciating clauses for relation R8 (supports) and variables V1029 V1036 
0.11	c instanciating clauses for relation R8 (supports) and variables V1029 V1037 
0.11	c instanciating clauses for relation R8 (supports) and variables V1029 V1040 
0.11	c instanciating clauses for relation R8 (supports) and variables V1217 V1219 
0.11	c instanciating clauses for relation R8 (supports) and variables V1217 V1220 
0.11	c instanciating clauses for relation R8 (supports) and variables V1217 V1358 
0.11	c instanciating clauses for relation R8 (supports) and variables V43 V1395 
0.11	c instanciating clauses for relation R8 (supports) and variables V43 V1396 
0.11	c instanciating clauses for relation R8 (supports) and variables V805 V1212 
0.11	c instanciating clauses for relation R8 (supports) and variables V805 V1213 
0.11	c instanciating clauses for relation R8 (supports) and variables V805 V1218 
0.11	c instanciating clauses for relation R8 (supports) and variables V169 V172 
0.11	c instanciating clauses for relation R8 (supports) and variables V169 V173 
0.11	c instanciating clauses for relation R8 (supports) and variables V169 V806 
0.11	c instanciating clauses for relation R8 (supports) and variables V107 V174 
0.11	c instanciating clauses for relation R8 (supports) and variables V107 V175 
0.11	c instanciating clauses for relation R8 (supports) and variables V107 V176 
0.11	c instanciating clauses for relation R8 (supports) and variables V107 V425 
0.11	c instanciating clauses for relation R8 (supports) and variables V1221 V1223 
0.11	c instanciating clauses for relation R8 (supports) and variables V1221 V1224 
0.11	c instanciating clauses for relation R8 (supports) and variables V1221 V1357 
0.11	c instanciating clauses for relation R8 (supports) and variables V60 V1401 
0.11	c instanciating clauses for relation R8 (supports) and variables V60 V1402 
0.11	c instanciating clauses for relation R8 (supports) and variables V635 V1209 
0.11	c instanciating clauses for relation R8 (supports) and variables V635 V1210 
0.11	c instanciating clauses for relation R8 (supports) and variables V635 V1222 
0.11	c instanciating clauses for relation R8 (supports) and variables V331 V342 
0.11	c instanciating clauses for relation R8 (supports) and variables V331 V343 
0.11	c instanciating clauses for relation R8 (supports) and variables V331 V636 
0.11	c instanciating clauses for relation R8 (supports) and variables V17 V183 
0.11	c instanciating clauses for relation R8 (supports) and variables V17 V184 
0.11	c instanciating clauses for relation R8 (supports) and variables V17 V185 
0.11	c instanciating clauses for relation R8 (supports) and variables V17 V332 
0.11	c instanciating clauses for relation R8 (supports) and variables V1190 V1196 
0.11	c instanciating clauses for relation R8 (supports) and variables V1190 V1197 
0.11	c instanciating clauses for relation R8 (supports) and variables V1190 V1216 
0.11	c instanciating clauses for relation R8 (supports) and variables V1190 V1346 
0.11	c instanciating clauses for relation R8 (supports) and variables V1202 V1205 
0.11	c instanciating clauses for relation R8 (supports) and variables V1202 V1206 
0.11	c instanciating clauses for relation R8 (supports) and variables V1202 V1355 
0.11	c instanciating clauses for relation R8 (supports) and variables V38 V1378 
0.11	c instanciating clauses for relation R8 (supports) and variables V38 V1379 
0.11	c instanciating clauses for relation R8 (supports) and variables V1189 V1194 
0.11	c instanciating clauses for relation R8 (supports) and variables V1189 V1195 
0.11	c instanciating clauses for relation R8 (supports) and variables V809 V1347 
0.11	c instanciating clauses for relation R8 (supports) and variables V809 V1348 
0.11	c instanciating clauses for relation R8 (supports) and variables V809 V1350 
0.11	c instanciating clauses for relation R8 (supports) and variables V429 V439 
0.11	c instanciating clauses for relation R8 (supports) and variables V429 V440 
0.11	c instanciating clauses for relation R8 (supports) and variables V429 V810 
0.11	c instanciating clauses for relation R8 (supports) and variables V2 V181 
0.11	c instanciating clauses for relation R8 (supports) and variables V2 V182 
0.11	c instanciating clauses for relation R8 (supports) and variables V2 V186 
0.11	c instanciating clauses for relation R8 (supports) and variables V2 V612 
0.11	c instanciating clauses for relation R8 (supports) and variables V1349 V1351 
0.11	c instanciating clauses for relation R8 (supports) and variables V1349 V1352 
0.11	c instanciating clauses for relation R8 (supports) and variables V1349 V1356 
0.11	c instanciating clauses for relation R8 (supports) and variables V39 V1386 
0.11	c instanciating clauses for relation R8 (supports) and variables V39 V1387 
0.11	c instanciating clauses for relation R8 (supports) and variables V1188 V1192 
0.11	c instanciating clauses for relation R8 (supports) and variables V1188 V1193 
0.11	c instanciating clauses for relation R8 (supports) and variables V1188 V1345 
0.11	c instanciating clauses for relation R8 (supports) and variables V825 V1203 
0.11	c instanciating clauses for relation R8 (supports) and variables V825 V1204 
0.11	c instanciating clauses for relation R8 (supports) and variables V825 V1207 
0.11	c instanciating clauses for relation R8 (supports) and variables V426 V441 
0.11	c instanciating clauses for relation R8 (supports) and variables V426 V442 
0.11	c instanciating clauses for relation R8 (supports) and variables V426 V826 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V196 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V197 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V198 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V199 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V200 
0.11	c instanciating clauses for relation R8 (supports) and variables V27 V427 
0.11	c instanciating clauses for relation R8 (supports) and variables V1028 V1034 
0.11	c instanciating clauses for relation R8 (supports) and variables V1028 V1035 
0.11	c instanciating clauses for relation R8 (supports) and variables V1177 V1334 
0.11	c instanciating clauses for relation R8 (supports) and variables V1177 V1335 
0.11	c instanciating clauses for relation R8 (supports) and variables V1177 V1389 
0.11	c instanciating clauses for relation R8 (supports) and variables V72 V1405 
0.11	c instanciating clauses for relation R8 (supports) and variables V72 V1406 
0.11	c instanciating clauses for relation R8 (supports) and variables V256 V883 
0.11	c instanciating clauses for relation R8 (supports) and variables V256 V884 
0.11	c instanciating clauses for relation R8 (supports) and variables V256 V1181 
0.11	c instanciating clauses for relation R8 (supports) and variables V1185 V1330 
0.11	c instanciating clauses for relation R8 (supports) and variables V1185 V1331 
0.11	c instanciating clauses for relation R8 (supports) and variables V722 V1045 
0.11	c instanciating clauses for relation R8 (supports) and variables V722 V1046 
0.11	c instanciating clauses for relation R8 (supports) and variables V722 V1339 
0.11	c instanciating clauses for relation R8 (supports) and variables V328 V329 
0.11	c instanciating clauses for relation R8 (supports) and variables V328 V330 
0.11	c instanciating clauses for relation R8 (supports) and variables V328 V443 
0.11	c instanciating clauses for relation R8 (supports) and variables V328 V830 
0.11	c instanciating clauses for relation R8 (supports) and variables V54 V212 
0.11	c instanciating clauses for relation R8 (supports) and variables V54 V213 
0.11	c instanciating clauses for relation R8 (supports) and variables V54 V428 
0.11	c instanciating clauses for relation R8 (supports) and variables V1042 V1337 
0.11	c instanciating clauses for relation R8 (supports) and variables V1042 V1338 
0.11	c instanciating clauses for relation R8 (supports) and variables V1042 V1353 
0.11	c instanciating clauses for relation R8 (supports) and variables V23 V1382 
0.11	c instanciating clauses for relation R8 (supports) and variables V23 V1383 
0.11	c instanciating clauses for relation R8 (supports) and variables V257 V881 
0.11	c instanciating clauses for relation R8 (supports) and variables V257 V882 
0.11	c instanciating clauses for relation R8 (supports) and variables V257 V1180 
0.11	c instanciating clauses for relation R8 (supports) and variables V264 V908 
0.11	c instanciating clauses for relation R8 (supports) and variables V264 V909 
0.11	c instanciating clauses for relation R8 (supports) and variables V264 V1183 
0.11	c instanciating clauses for relation R8 (supports) and variables V437 V444 
0.11	c instanciating clauses for relation R8 (supports) and variables V437 V445 
0.11	c instanciating clauses for relation R8 (supports) and variables V437 V833 
0.11	c instanciating clauses for relation R8 (supports) and variables V75 V223 
0.11	c instanciating clauses for relation R8 (supports) and variables V75 V224 
0.11	c instanciating clauses for relation R8 (supports) and variables V75 V225 
0.11	c instanciating clauses for relation R8 (supports) and variables V75 V438 
0.11	c instanciating clauses for relation R8 (supports) and variables V254 V265 
0.11	c instanciating clauses for relation R8 (supports) and variables V254 V266 
0.11	c instanciating clauses for relation R8 (supports) and variables V254 V1184 
0.11	c instanciating clauses for relation R8 (supports) and variables V65 V1115 
0.11	c instanciating clauses for relation R8 (supports) and variables V65 V1116 
0.11	c instanciating clauses for relation R8 (supports) and variables V258 V494 
0.11	c instanciating clauses for relation R8 (supports) and variables V258 V495 
0.11	c instanciating clauses for relation R8 (supports) and variables V258 V880 
0.11	c instanciating clauses for relation R8 (supports) and variables V258 V1044 
0.11	c instanciating clauses for relation R8 (supports) and variables V258 V1329 
0.11	c instanciating clauses for relation R8 (supports) and variables V723 V1047 
0.11	c instanciating clauses for relation R8 (supports) and variables V723 V1048 
0.11	c instanciating clauses for relation R8 (supports) and variables V723 V1342 
0.11	c instanciating clauses for relation R8 (supports) and variables V142 V170 
0.11	c instanciating clauses for relation R8 (supports) and variables V142 V171 
0.11	c instanciating clauses for relation R8 (supports) and variables V142 V802 
0.11	c instanciating clauses for relation R8 (supports) and variables V102 V152 
0.11	c instanciating clauses for relation R8 (supports) and variables V102 V153 
0.11	c instanciating clauses for relation R8 (supports) and variables V102 V158 
0.11	c instanciating clauses for relation R8 (supports) and variables V102 V327 
0.11	c instanciating clauses for relation R8 (supports) and variables V1043 V1340 
0.11	c instanciating clauses for relation R8 (supports) and variables V1043 V1341 
0.11	c instanciating clauses for relation R8 (supports) and variables V1043 V1354 
0.11	c instanciating clauses for relation R8 (supports) and variables V0 V1374 
0.11	c instanciating clauses for relation R8 (supports) and variables V0 V1375 
0.11	c instanciating clauses for relation R8 (supports) and variables V493 V878 
0.11	c instanciating clauses for relation R8 (supports) and variables V493 V879 
0.11	c instanciating clauses for relation R8 (supports) and variables V260 V906 
0.11	c instanciating clauses for relation R8 (supports) and variables V260 V907 
0.12	c instanciating clauses for relation R8 (supports) and variables V260 V1176 
0.12	c instanciating clauses for relation R8 (supports) and variables V639 V976 
0.12	c instanciating clauses for relation R8 (supports) and variables V639 V977 
0.12	c instanciating clauses for relation R8 (supports) and variables V80 V304 
0.12	c instanciating clauses for relation R8 (supports) and variables V80 V305 
0.12	c instanciating clauses for relation R8 (supports) and variables V80 V421 
0.12	c instanciating clauses for relation R8 (supports) and variables V80 V422 
0.12	c instanciating clauses for relation R8 (supports) and variables V80 V980 
0.12	c instanciating clauses for relation R8 (supports) and variables V253 V268 
0.12	c instanciating clauses for relation R8 (supports) and variables V253 V269 
0.12	c instanciating clauses for relation R8 (supports) and variables V253 V1175 
0.12	c instanciating clauses for relation R8 (supports) and variables V10 V1266 
0.12	c instanciating clauses for relation R8 (supports) and variables V10 V1267 
0.12	c instanciating clauses for relation R8 (supports) and variables V611 V1332 
0.12	c instanciating clauses for relation R8 (supports) and variables V611 V1333 
0.12	c instanciating clauses for relation R8 (supports) and variables V611 V1336 
0.12	c instanciating clauses for relation R8 (supports) and variables V157 V221 
0.12	c instanciating clauses for relation R8 (supports) and variables V157 V222 
0.12	c instanciating clauses for relation R8 (supports) and variables V157 V226 
0.12	c instanciating clauses for relation R8 (supports) and variables V157 V813 
0.12	c instanciating clauses for relation R8 (supports) and variables V96 V201 
0.12	c instanciating clauses for relation R8 (supports) and variables V96 V202 
0.12	c instanciating clauses for relation R8 (supports) and variables V96 V203 
0.12	c instanciating clauses for relation R8 (supports) and variables V96 V347 
0.12	c instanciating clauses for relation R8 (supports) and variables V910 V1030 
0.12	c instanciating clauses for relation R8 (supports) and variables V910 V1031 
0.12	c instanciating clauses for relation R8 (supports) and variables V911 V1038 
0.12	c instanciating clauses for relation R8 (supports) and variables V911 V1039 
0.12	c instanciating clauses for relation R8 (supports) and variables V244 V500 
0.12	c instanciating clauses for relation R8 (supports) and variables V244 V501 
0.12	c instanciating clauses for relation R8 (supports) and variables V244 V505 
0.12	c instanciating clauses for relation R8 (supports) and variables V528 V538 
0.12	c instanciating clauses for relation R8 (supports) and variables V528 V539 
0.12	c instanciating clauses for relation R8 (supports) and variables V566 V593 
0.12	c instanciating clauses for relation R8 (supports) and variables V566 V594 
0.12	c instanciating clauses for relation R8 (supports) and variables V566 V595 
0.12	c instanciating clauses for relation R8 (supports) and variables V566 V603 
0.12	c instanciating clauses for relation R8 (supports) and variables V556 V569 
0.12	c instanciating clauses for relation R8 (supports) and variables V556 V570 
0.12	c instanciating clauses for relation R8 (supports) and variables V556 V578 
0.12	c instanciating clauses for relation R8 (supports) and variables V653 V656 
0.12	c instanciating clauses for relation R8 (supports) and variables V653 V657 
0.12	c instanciating clauses for relation R8 (supports) and variables V653 V662 
0.12	c instanciating clauses for relation R8 (supports) and variables V119 V210 
0.12	c instanciating clauses for relation R8 (supports) and variables V119 V211 
0.12	c instanciating clauses for relation R8 (supports) and variables V119 V664 
0.12	c instanciating clauses for relation R8 (supports) and variables V119 V667 
0.12	c instanciating clauses for relation R8 (supports) and variables V557 V567 
0.12	c instanciating clauses for relation R8 (supports) and variables V557 V568 
0.12	c instanciating clauses for relation R8 (supports) and variables V557 V579 
0.12	c instanciating clauses for relation R8 (supports) and variables V16 V992 
0.12	c instanciating clauses for relation R8 (supports) and variables V16 V993 
0.12	c instanciating clauses for relation R8 (supports) and variables V600 V796 
0.12	c instanciating clauses for relation R8 (supports) and variables V600 V797 
0.12	c instanciating clauses for relation R8 (supports) and variables V419 V587 
0.12	c instanciating clauses for relation R8 (supports) and variables V419 V588 
0.12	c instanciating clauses for relation R8 (supports) and variables V419 V609 
0.12	c instanciating clauses for relation R8 (supports) and variables V467 V473 
0.12	c instanciating clauses for relation R8 (supports) and variables V467 V474 
0.12	c instanciating clauses for relation R8 (supports) and variables V467 V480 
0.12	c instanciating clauses for relation R8 (supports) and variables V99 V191 
0.12	c instanciating clauses for relation R8 (supports) and variables V99 V192 
0.12	c instanciating clauses for relation R8 (supports) and variables V99 V193 
0.12	c instanciating clauses for relation R8 (supports) and variables V99 V479 
0.12	c instanciating clauses for relation R8 (supports) and variables V559 V589 
0.12	c instanciating clauses for relation R8 (supports) and variables V559 V590 
0.12	c instanciating clauses for relation R8 (supports) and variables V559 V608 
0.12	c instanciating clauses for relation R8 (supports) and variables V85 V856 
0.12	c instanciating clauses for relation R8 (supports) and variables V85 V857 
0.12	c instanciating clauses for relation R8 (supports) and variables V795 V798 
0.12	c instanciating clauses for relation R8 (supports) and variables V795 V799 
0.12	c instanciating clauses for relation R8 (supports) and variables V25 V865 
0.12	c instanciating clauses for relation R8 (supports) and variables V25 V866 
0.12	c instanciating clauses for relation R8 (supports) and variables V794 V800 
0.12	c instanciating clauses for relation R8 (supports) and variables V794 V801 
0.12	c instanciating clauses for relation R8 (supports) and variables V1107 V1108 
0.12	c instanciating clauses for relation R8 (supports) and variables V1107 V1109 
0.12	c instanciating clauses for relation R8 (supports) and variables V15 V1131 
0.12	c instanciating clauses for relation R8 (supports) and variables V15 V1132 
0.12	c instanciating clauses for relation R8 (supports) and variables V577 V792 
0.12	c instanciating clauses for relation R8 (supports) and variables V577 V793 
0.12	c instanciating clauses for relation R8 (supports) and variables V561 V583 
0.12	c instanciating clauses for relation R8 (supports) and variables V561 V584 
0.12	c instanciating clauses for relation R8 (supports) and variables V561 V598 
0.12	c instanciating clauses for relation R8 (supports) and variables V561 V601 
0.12	c instanciating clauses for relation R8 (supports) and variables V450 V564 
0.12	c instanciating clauses for relation R8 (supports) and variables V450 V565 
0.12	c instanciating clauses for relation R8 (supports) and variables V450 V580 
0.12	c instanciating clauses for relation R8 (supports) and variables V145 V194 
0.12	c instanciating clauses for relation R8 (supports) and variables V145 V195 
0.12	c instanciating clauses for relation R8 (supports) and variables V145 V451 
0.12	c instanciating clauses for relation R8 (supports) and variables V31 V177 
0.12	c instanciating clauses for relation R8 (supports) and variables V31 V178 
0.12	c instanciating clauses for relation R8 (supports) and variables V31 V348 
0.12	c instanciating clauses for relation R8 (supports) and variables V31 V661 
0.12	c instanciating clauses for relation R8 (supports) and variables V558 V562 
0.12	c instanciating clauses for relation R8 (supports) and variables V558 V563 
0.12	c instanciating clauses for relation R8 (supports) and variables V558 V581 
0.12	c instanciating clauses for relation R8 (supports) and variables V70 V1296 
0.12	c instanciating clauses for relation R8 (supports) and variables V70 V1297 
0.12	c instanciating clauses for relation R8 (supports) and variables V591 V596 
0.12	c instanciating clauses for relation R8 (supports) and variables V591 V597 
0.12	c instanciating clauses for relation R8 (supports) and variables V591 V602 
0.12	c instanciating clauses for relation R8 (supports) and variables V420 V572 
0.12	c instanciating clauses for relation R8 (supports) and variables V420 V573 
0.12	c instanciating clauses for relation R8 (supports) and variables V420 V605 
0.12	c instanciating clauses for relation R8 (supports) and variables V166 V207 
0.12	c instanciating clauses for relation R8 (supports) and variables V166 V208 
0.12	c instanciating clauses for relation R8 (supports) and variables V166 V209 
0.12	c instanciating clauses for relation R8 (supports) and variables V166 V464 
0.12	c instanciating clauses for relation R8 (supports) and variables V95 V477 
0.12	c instanciating clauses for relation R8 (supports) and variables V95 V478 
0.12	c instanciating clauses for relation R8 (supports) and variables V95 V485 
0.12	c instanciating clauses for relation R8 (supports) and variables V560 V574 
0.12	c instanciating clauses for relation R8 (supports) and variables V560 V575 
0.12	c instanciating clauses for relation R8 (supports) and variables V560 V604 
0.12	c instanciating clauses for relation R8 (supports) and variables V94 V860 
0.12	c instanciating clauses for relation R8 (supports) and variables V94 V861 
0.12	c instanciating clauses for relation R8 (supports) and variables V526 V531 
0.12	c instanciating clauses for relation R8 (supports) and variables V526 V532 
0.12	c instanciating clauses for relation R8 (supports) and variables V527 V535 
0.12	c instanciating clauses for relation R8 (supports) and variables V527 V536 
0.12	c instanciating clauses for relation R8 (supports) and variables V885 V1013 
0.12	c instanciating clauses for relation R8 (supports) and variables V885 V1014 
0.12	c instanciating clauses for relation R8 (supports) and variables V885 V1022 
0.12	c instanciating clauses for relation R8 (supports) and variables V885 V1026 
0.12	c instanciating clauses for relation R8 (supports) and variables V836 V889 
0.12	c instanciating clauses for relation R8 (supports) and variables V836 V890 
0.12	c instanciating clauses for relation R8 (supports) and variables V836 V951 
0.12	c instanciating clauses for relation R8 (supports) and variables V460 V837 
0.12	c instanciating clauses for relation R8 (supports) and variables V460 V838 
0.12	c instanciating clauses for relation R8 (supports) and variables V114 V159 
0.12	c instanciating clauses for relation R8 (supports) and variables V114 V160 
0.12	c instanciating clauses for relation R8 (supports) and variables V114 V277 
0.12	c instanciating clauses for relation R8 (supports) and variables V114 V278 
0.12	c instanciating clauses for relation R8 (supports) and variables V114 V641 
0.12	c instanciating clauses for relation R8 (supports) and variables V886 V891 
0.12	c instanciating clauses for relation R8 (supports) and variables V886 V892 
0.12	c instanciating clauses for relation R8 (supports) and variables V886 V1052 
0.12	c instanciating clauses for relation R8 (supports) and variables V121 V1292 
0.12	c instanciating clauses for relation R8 (supports) and variables V121 V1293 
0.12	c instanciating clauses for relation R8 (supports) and variables V1015 V1024 
0.12	c instanciating clauses for relation R8 (supports) and variables V1015 V1025 
0.12	c instanciating clauses for relation R8 (supports) and variables V1011 V1018 
0.12	c instanciating clauses for relation R8 (supports) and variables V1011 V1019 
0.12	c instanciating clauses for relation R8 (supports) and variables V1011 V1050 
0.12	c instanciating clauses for relation R8 (supports) and variables V1152 V1153 
0.12	c instanciating clauses for relation R8 (supports) and variables V1152 V1154 
0.12	c instanciating clauses for relation R8 (supports) and variables V1152 V1314 
0.12	c instanciating clauses for relation R8 (supports) and variables V45 V1150 
0.12	c instanciating clauses for relation R8 (supports) and variables V45 V1151 
0.12	c instanciating clauses for relation R8 (supports) and variables V45 V1308 
0.12	c instanciating clauses for relation R8 (supports) and variables V45 V1313 
0.12	c instanciating clauses for relation R8 (supports) and variables V1012 V1016 
0.12	c instanciating clauses for relation R8 (supports) and variables V1012 V1017 
0.12	c instanciating clauses for relation R8 (supports) and variables V1012 V1054 
0.12	c instanciating clauses for relation R8 (supports) and variables V12 V1435 
0.12	c instanciating clauses for relation R8 (supports) and variables V12 V1436 
0.12	c instanciating clauses for relation R8 (supports) and variables V1007 V1020 
0.12	c instanciating clauses for relation R8 (supports) and variables V1007 V1021 
0.12	c instanciating clauses for relation R8 (supports) and variables V1007 V1023 
0.12	c instanciating clauses for relation R8 (supports) and variables V649 V949 
0.12	c instanciating clauses for relation R8 (supports) and variables V649 V950 
0.12	c instanciating clauses for relation R8 (supports) and variables V649 V1010 
0.12	c instanciating clauses for relation R8 (supports) and variables V335 V339 
0.12	c instanciating clauses for relation R8 (supports) and variables V335 V340 
0.12	c instanciating clauses for relation R8 (supports) and variables V335 V470 
0.12	c instanciating clauses for relation R8 (supports) and variables V335 V650 
0.12	c instanciating clauses for relation R8 (supports) and variables V62 V336 
0.12	c instanciating clauses for relation R8 (supports) and variables V62 V337 
0.12	c instanciating clauses for relation R8 (supports) and variables V62 V648 
0.12	c instanciating clauses for relation R8 (supports) and variables V888 V1008 
0.12	c instanciating clauses for relation R8 (supports) and variables V888 V1009 
0.12	c instanciating clauses for relation R8 (supports) and variables V888 V1051 
0.12	c instanciating clauses for relation R8 (supports) and variables V30 V1284 
0.13	c instanciating clauses for relation R8 (supports) and variables V30 V1285 
0.13	c instanciating clauses for relation R8 (supports) and variables V899 V902 
0.13	c instanciating clauses for relation R8 (supports) and variables V899 V903 
0.13	c instanciating clauses for relation R8 (supports) and variables V899 V1049 
0.13	c instanciating clauses for relation R8 (supports) and variables V988 V995 
0.13	c instanciating clauses for relation R8 (supports) and variables V988 V996 
0.13	c instanciating clauses for relation R8 (supports) and variables V988 V1143 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V154 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V155 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V156 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V997 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V998 
0.13	c instanciating clauses for relation R8 (supports) and variables V81 V999 
0.13	c instanciating clauses for relation R8 (supports) and variables V901 V904 
0.13	c instanciating clauses for relation R8 (supports) and variables V901 V905 
0.13	c instanciating clauses for relation R8 (supports) and variables V901 V1053 
0.13	c instanciating clauses for relation R8 (supports) and variables V116 V1417 
0.13	c instanciating clauses for relation R8 (supports) and variables V116 V1418 
0.13	c instanciating clauses for relation R8 (supports) and variables V140 V245 
0.13	c instanciating clauses for relation R8 (supports) and variables V140 V246 
0.13	c instanciating clauses for relation R8 (supports) and variables V140 V356 
0.13	c instanciating clauses for relation R8 (supports) and variables V1027 V1032 
0.13	c instanciating clauses for relation R8 (supports) and variables V1027 V1033 
0.13	c instanciating clauses for relation R8 (supports) and variables V243 V498 
0.13	c instanciating clauses for relation R8 (supports) and variables V243 V499 
0.13	c instanciating clauses for relation R8 (supports) and variables V243 V504 
0.13	c instanciating clauses for relation R8 (supports) and variables V243 V540 
0.13	c instanciating clauses for relation R8 (supports) and variables V261 V379 
0.13	c instanciating clauses for relation R8 (supports) and variables V261 V380 
0.13	c instanciating clauses for relation R8 (supports) and variables V261 V516 
0.13	c instanciating clauses for relation R8 (supports) and variables V530 V533 
0.13	c instanciating clauses for relation R8 (supports) and variables V530 V534 
0.13	c instanciating clauses for relation R8 (supports) and variables V530 V537 
0.13	c instanciating clauses for relation R8 (supports) and variables V529 V541 
0.13	c instanciating clauses for relation R8 (supports) and variables V529 V542 
0.13	c instanciating clauses for relation R8 (supports) and variables V373 V689 
0.13	c instanciating clauses for relation R8 (supports) and variables V373 V692 
0.13	c instanciating clauses for relation R8 (supports) and variables V373 V915 
0.13	c instanciating clauses for relation R8 (supports) and variables V375 V691 
0.13	c instanciating clauses for relation R8 (supports) and variables V375 V694 
0.13	c instanciating clauses for relation R8 (supports) and variables V375 V917 
0.13	c instanciating clauses for relation R8 (supports) and variables V708 V714 
0.13	c instanciating clauses for relation R8 (supports) and variables V708 V715 
0.13	c instanciating clauses for relation R8 (supports) and variables V707 V939 
0.13	c instanciating clauses for relation R8 (supports) and variables V707 V940 
0.13	c instanciating clauses for relation R8 (supports) and variables V1094 V1099 
0.13	c instanciating clauses for relation R8 (supports) and variables V1094 V1100 
0.13	c instanciating clauses for relation R8 (supports) and variables V1097 V1104 
0.13	c instanciating clauses for relation R8 (supports) and variables V1097 V1105 
0.13	c instanciating clauses for relation R8 (supports) and variables V47 V1430 
0.13	c instanciating clauses for relation R8 (supports) and variables V47 V1431 
0.13	c instanciating clauses for relation R8 (supports) and variables V1304 V1305 
0.13	c instanciating clauses for relation R8 (supports) and variables V1304 V1306 
0.13	c instanciating clauses for relation R8 (supports) and variables V1304 V1307 
0.13	c instanciating clauses for relation R8 (supports) and variables V106 V1424 
0.13	c instanciating clauses for relation R8 (supports) and variables V106 V1425 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V146 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V147 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V148 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V346 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V423 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V424 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V658 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V1096 
0.13	c instanciating clauses for relation R8 (supports) and variables V49 V1098 
0.13	c instanciating clauses for relation R8 (supports) and variables V1095 V1102 
0.13	c instanciating clauses for relation R8 (supports) and variables V1095 V1103 
0.13	c instanciating clauses for relation R8 (supports) and variables V13 V1309 
0.13	c instanciating clauses for relation R8 (supports) and variables V13 V1310 
0.13	c instanciating clauses for relation R8 (supports) and variables V927 V935 
0.13	c instanciating clauses for relation R8 (supports) and variables V927 V936 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V606 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V607 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V610 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V663 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V1101 
0.13	c instanciating clauses for relation R8 (supports) and variables V149 V1106 
0.13	c instanciating clauses for relation R8 (supports) and variables V706 V931 
0.13	c instanciating clauses for relation R8 (supports) and variables V706 V932 
0.13	c instanciating clauses for relation R8 (supports) and variables V688 V921 
0.13	c instanciating clauses for relation R8 (supports) and variables V688 V924 
0.13	c instanciating clauses for relation R8 (supports) and variables V705 V709 
0.13	c instanciating clauses for relation R8 (supports) and variables V705 V710 
0.13	c instanciating clauses for relation R8 (supports) and variables V262 V496 
0.13	c instanciating clauses for relation R8 (supports) and variables V262 V497 
0.13	c instanciating clauses for relation R8 (supports) and variables V262 V503 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V389 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V390 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V521 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V695 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V912 
0.13	c instanciating clauses for relation R8 (supports) and variables V263 V918 
0.13	c instanciating clauses for relation R8 (supports) and variables V237 V381 
0.13	c instanciating clauses for relation R8 (supports) and variables V237 V384 
0.13	c instanciating clauses for relation R8 (supports) and variables V237 V510 
0.13	c instanciating clauses for relation R8 (supports) and variables V237 V517 
0.13	c instanciating clauses for relation R8 (supports) and variables V239 V383 
0.13	c instanciating clauses for relation R8 (supports) and variables V239 V386 
0.13	c instanciating clauses for relation R8 (supports) and variables V239 V512 
0.13	c instanciating clauses for relation R8 (supports) and variables V239 V519 
0.13	c instanciating clauses for relation R8 (supports) and variables V235 V387 
0.13	c instanciating clauses for relation R8 (supports) and variables V235 V388 
0.13	c instanciating clauses for relation R8 (supports) and variables V235 V509 
0.13	c instanciating clauses for relation R8 (supports) and variables V235 V520 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1070 V1062 V1071 V1065 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1070 V1062 V1069 V1067 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1070 V1062 V1065 V1067 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1029 V1200 V1198 V1201 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1214 V1208 V1216 V1201 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1191 V1193 V1195 V1197 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1028 V357 V1178 V366 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V366 V367 V368 V369 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1186 V1182 V1330 V1178 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V357 V259 V255 V267 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V528 V596 V592 V594 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V895 V896 V897 V898 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V583 V571 V593 V582 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V586 V595 V597 V598 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V728 V724 V726 V730 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V285 V302 V301 V300 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1075 V1085 V1055 V1082 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1077 V1087 V1055 V1082 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V1244 V1245 V1225 V1246 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V127 V513 V506 V522 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V129 V515 V508 V524 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V922 V695 V923 V692 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V922 V695 V921 V694 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V922 V695 V692 V694 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V271 V695 V272 V692 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V271 V695 V270 V694 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V271 V695 V692 V694 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V506 V509 V502 V510 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V508 V509 V502 V512 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V124 V376 V232 V685 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V126 V378 V234 V687 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V918 V926 V915 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V918 V924 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V918 V915 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V912 V926 V698 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V912 V924 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V925 V912 V698 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V919 V912 V920 V698 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V919 V912 V918 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V919 V912 V698 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V916 V912 V917 V698 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V916 V912 V915 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V916 V912 V698 V700 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V699 V918 V700 V915 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V699 V918 V698 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V699 V918 V915 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V913 V918 V914 V915 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V913 V918 V912 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V913 V918 V915 V917 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V232 V387 V236 V381 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V234 V387 V236 V383 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V411 V316 V412 V413 V406 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V316 V554 V415 V313 V319 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V370 V689 V133 V240 V358 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V372 V691 V135 V242 V360 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V952 V1058 V961 V1060 V957 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V954 V1058 V961 V1060 V959 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V293 V294 V296 V298 V299 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V368 V879 V880 V882 V884 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V240 V498 V246 V500 V250 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V242 V498 V246 V500 V252 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V527 V900 V1023 V1025 V1026 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V893 V1020 V1018 V1014 V1016 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V287 V295 V290 V292 V279 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V1055 V1068 V1057 V1059 V1061 
0.13	c instanciating clauses for relation R11 (supports) and variables V1080 V1087 
0.13	c instanciating clauses for relation R11 (supports) and variables V1080 V1090 
0.13	c instanciating clauses for relation R12 (supports) and variables V1078 V1085 
0.13	c instanciating clauses for relation R12 (supports) and variables V1078 V1088 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V943 V932 V130 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V945 V932 V132 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V940 V936 V928 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V940 V936 V930 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V370 V715 V711 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V372 V715 V713 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V627 V626 V400 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V627 V625 V400 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V1449 V88 V407 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V1448 V88 V407 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V1449 V1447 V407 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V1448 V1447 V407 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V670 V28 V414 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V671 V28 V414 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V670 V669 V414 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V671 V669 V414 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V624 V622 V399 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V624 V621 V399 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V413 V546 V398 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V623 V618 V321 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V623 V616 V321 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V458 V42 V322 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V459 V42 V322 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V458 V456 V322 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V459 V456 V322 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1006 V1005 V743 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V614 V7 V544 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V615 V7 V544 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V614 V613 V544 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V615 V613 V544 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V673 V109 V318 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V674 V109 V318 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V673 V672 V318 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V674 V672 V318 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V843 V842 V320 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V843 V841 V320 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V358 V362 V363 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V360 V362 V365 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1069 V1062 V962 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1069 V1065 V962 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1069 V1062 V964 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1069 V1067 V964 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1126 V100 V1123 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1127 V100 V1123 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1126 V1124 V1123 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1127 V1124 V1123 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V77 V1438 V1359 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1409 V1438 V1359 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V77 V1408 V1359 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1409 V1408 V1359 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V118 V1139 V1084 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1122 V1139 V1084 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V118 V1121 V1084 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1122 V1121 V1084 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V848 V64 V824 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V849 V64 V824 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V848 V847 V824 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V849 V847 V824 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1148 V37 V776 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1149 V37 V776 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1148 V1146 V776 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1149 V1146 V776 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V57 V1277 V772 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1276 V1277 V772 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V57 V1275 V772 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1276 V1275 V772 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V818 V59 V777 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V819 V59 V777 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V818 V816 V777 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V819 V816 V777 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V646 V645 V643 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V646 V644 V643 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1137 V87 V1134 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1138 V87 V1134 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1137 V1135 V1134 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1138 V1135 V1134 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V20 V1426 V1367 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1413 V1426 V1367 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V20 V1412 V1367 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1413 V1412 V1367 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V630 V35 V393 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V631 V35 V393 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V630 V628 V393 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V631 V628 V393 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1167 V1166 V736 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1167 V1165 V736 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V449 V93 V282 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V452 V93 V282 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V449 V454 V282 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V452 V454 V282 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1160 V1159 V280 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1160 V1157 V280 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V633 V103 V392 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V634 V103 V392 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V633 V632 V392 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V634 V632 V392 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1319 V1318 V391 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1319 V1317 V391 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V462 V76 V306 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V463 V76 V306 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V462 V461 V306 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V463 V461 V306 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1163 V1162 V308 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1163 V1161 V308 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1036 V1031 V273 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1036 V1034 V273 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1211 V1216 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1215 V1216 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1211 V1208 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1215 V1208 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1211 V1214 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1215 V1214 V1201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1396 V58 V1217 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1397 V58 V1217 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1396 V1394 V1217 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1397 V1394 V1217 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V51 V806 V805 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V808 V806 V805 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V51 V807 V805 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V808 V807 V805 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1402 V44 V1221 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1403 V44 V1221 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1402 V1400 V1221 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1403 V1400 V1221 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V84 V636 V635 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V638 V636 V635 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V84 V637 V635 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V638 V637 V635 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1379 V69 V1202 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1380 V69 V1202 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1379 V1377 V1202 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1380 V1377 V1202 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V108 V810 V809 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V812 V810 V809 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V108 V811 V809 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V812 V811 V809 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1387 V19 V1349 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1388 V19 V1349 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1387 V1385 V1349 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1388 V1385 V1349 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V29 V826 V825 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V828 V826 V825 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V29 V827 V825 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V828 V827 V825 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1406 V26 V1177 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1407 V26 V1177 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1406 V1404 V1177 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1407 V1404 V1177 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V48 V830 V722 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V832 V830 V722 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V48 V831 V722 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V832 V831 V722 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1383 V5 V1042 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1384 V5 V1042 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1383 V1381 V1042 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1384 V1381 V1042 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V89 V833 V264 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V835 V833 V264 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V89 V834 V264 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V835 V834 V264 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1116 V34 V254 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1117 V34 V254 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1116 V1114 V254 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1117 V1114 V254 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V101 V802 V723 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V804 V802 V723 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V101 V803 V723 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V804 V803 V723 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1375 V122 V1043 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1376 V122 V1043 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1375 V1373 V1043 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1376 V1373 V1043 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V4 V977 V260 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V979 V977 V260 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V4 V978 V260 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V979 V978 V260 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1267 V63 V253 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1268 V63 V253 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1267 V1265 V253 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1268 V1265 V253 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V11 V813 V611 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V815 V813 V611 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V11 V814 V611 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V815 V814 V611 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1041 V1330 V1178 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1041 V1182 V1178 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V1041 V1186 V1178 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1340 V1048 V1041 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1182 V1183 V1184 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V525 V531 V538 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V14 V656 V556 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V655 V656 V556 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V14 V654 V556 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V655 V654 V556 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V992 V3 V557 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V990 V3 V557 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V992 V989 V557 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V990 V989 V557 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V115 V473 V419 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V469 V473 V419 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V115 V468 V419 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V469 V468 V419 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V856 V67 V559 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V846 V67 V559 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V856 V845 V559 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V846 V845 V559 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V854 V865 V795 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V854 V853 V795 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1131 V24 V1107 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1129 V24 V1107 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1131 V1128 V1107 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1129 V1128 V1107 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V86 V451 V450 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V455 V451 V450 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V86 V453 V450 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V455 V453 V450 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1296 V73 V558 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1290 V73 V558 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1296 V1289 V558 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1290 V1289 V558 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V110 V464 V420 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V466 V464 V420 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V110 V465 V420 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V466 V465 V420 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V860 V117 V560 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V821 V117 V560 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V860 V820 V560 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V821 V820 V560 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1 V838 V836 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V840 V838 V836 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1 V839 V836 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V840 V839 V836 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1293 V61 V886 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1294 V61 V886 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1293 V1291 V886 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1294 V1291 V886 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V21 V1314 V1011 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1316 V1314 V1011 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V21 V1315 V1011 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1316 V1315 V1011 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1435 V120 V1012 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1415 V120 V1012 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1435 V1414 V1012 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1415 V1414 V1012 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V98 V650 V649 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V652 V650 V649 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V98 V651 V649 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V652 V651 V649 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1284 V8 V888 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1282 V8 V888 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1284 V1281 V888 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1282 V1281 V888 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V22 V1143 V899 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1145 V1143 V899 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V22 V1144 V899 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1145 V1144 V899 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1417 V6 V901 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1411 V6 V901 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1417 V1410 V901 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1411 V1410 V901 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V541 V532 V261 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V892 V890 V887 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V576 V593 V582 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V576 V571 V582 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V576 V583 V582 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V581 V580 V576 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V571 V573 V575 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V287 V301 V300 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V287 V302 V300 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V287 V285 V300 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V285 V297 V291 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V302 V311 V307 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V773 V785 V778 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V747 V742 V749 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V747 V748 V744 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V742 V745 V543 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V707 V1093 V1099 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1097 V1305 V1430 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1095 V1306 V1309 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V1106 V1105 V927 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V718 V709 V688 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V263 V710 V714 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V698 V701 V702 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V700 V701 V704 
0.15	c instanciating clauses for relation R14 (supports) and variables V410 V408 
0.15	c instanciating clauses for relation R14 (supports) and variables V1169 V617 
0.15	c instanciating clauses for relation R14 (supports) and variables V1451 V1446 
0.15	c instanciating clauses for relation R14 (supports) and variables V675 V448 
0.15	c instanciating clauses for relation R14 (supports) and variables V405 V403 
0.15	c instanciating clauses for relation R14 (supports) and variables V487 V150 
0.15	c instanciating clauses for relation R14 (supports) and variables V401 V398 
0.15	c instanciating clauses for relation R14 (supports) and variables V769 V765 
0.15	c instanciating clauses for relation R14 (supports) and variables V476 V345 
0.15	c instanciating clauses for relation R14 (supports) and variables V555 V553 
0.15	c instanciating clauses for relation R14 (supports) and variables V659 V344 
0.15	c instanciating clauses for relation R14 (supports) and variables V488 V353 
0.15	c instanciating clauses for relation R14 (supports) and variables V326 V319 
0.15	c instanciating clauses for relation R14 (supports) and variables V962 V957 
0.15	c instanciating clauses for relation R14 (supports) and variables V964 V959 
0.15	c instanciating clauses for relation R14 (supports) and variables V1423 V985 
0.15	c instanciating clauses for relation R14 (supports) and variables V851 V151 
0.15	c instanciating clauses for relation R14 (supports) and variables V1092 V1072 
0.15	c instanciating clauses for relation R14 (supports) and variables V1300 V987 
0.15	c instanciating clauses for relation R14 (supports) and variables V642 V471 
0.15	c instanciating clauses for relation R14 (supports) and variables V1301 V986 
0.15	c instanciating clauses for relation R14 (supports) and variables V341 V338 
0.15	c instanciating clauses for relation R14 (supports) and variables V436 V431 
0.15	c instanciating clauses for relation R14 (supports) and variables V435 V430 
0.15	c instanciating clauses for relation R14 (supports) and variables V472 V141 
0.15	c instanciating clauses for relation R14 (supports) and variables V1220 V1215 
0.15	c instanciating clauses for relation R14 (supports) and variables V1213 V1211 
0.15	c instanciating clauses for relation R14 (supports) and variables V425 V169 
0.15	c instanciating clauses for relation R14 (supports) and variables V1224 V1214 
0.15	c instanciating clauses for relation R14 (supports) and variables V1210 V1208 
0.15	c instanciating clauses for relation R14 (supports) and variables V332 V331 
0.15	c instanciating clauses for relation R14 (supports) and variables V1199 V1198 
0.15	c instanciating clauses for relation R14 (supports) and variables V612 V429 
0.15	c instanciating clauses for relation R14 (supports) and variables V427 V426 
0.15	c instanciating clauses for relation R14 (supports) and variables V1352 V1344 
0.15	c instanciating clauses for relation R14 (supports) and variables V1348 V1343 
0.15	c instanciating clauses for relation R14 (supports) and variables V1334 V369 
0.15	c instanciating clauses for relation R14 (supports) and variables V1331 V256 
0.15	c instanciating clauses for relation R14 (supports) and variables V428 V328 
0.15	c instanciating clauses for relation R14 (supports) and variables V438 V437 
0.15	c instanciating clauses for relation R14 (supports) and variables V327 V142 
0.15	c instanciating clauses for relation R14 (supports) and variables V980 V639 
0.15	c instanciating clauses for relation R14 (supports) and variables V1333 V367 
0.15	c instanciating clauses for relation R14 (supports) and variables V347 V157 
0.15	c instanciating clauses for relation R14 (supports) and variables V1329 V1186 
0.15	c instanciating clauses for relation R14 (supports) and variables V269 V267 
0.15	c instanciating clauses for relation R14 (supports) and variables V906 V259 
0.15	c instanciating clauses for relation R14 (supports) and variables V1038 V910 
0.15	c instanciating clauses for relation R14 (supports) and variables V525 V244 
0.15	c instanciating clauses for relation R14 (supports) and variables V664 V653 
0.15	c instanciating clauses for relation R14 (supports) and variables V797 V791 
0.15	c instanciating clauses for relation R14 (supports) and variables V479 V467 
0.15	c instanciating clauses for relation R14 (supports) and variables V1108 V968 
0.15	c instanciating clauses for relation R14 (supports) and variables V584 V577 
0.15	c instanciating clauses for relation R14 (supports) and variables V348 V145 
0.15	c instanciating clauses for relation R14 (supports) and variables V478 V166 
0.15	c instanciating clauses for relation R14 (supports) and variables V535 V526 
0.15	c instanciating clauses for relation R14 (supports) and variables V641 V460 
0.15	c instanciating clauses for relation R14 (supports) and variables V1313 V1152 
0.15	c instanciating clauses for relation R14 (supports) and variables V648 V335 
0.15	c instanciating clauses for relation R14 (supports) and variables V998 V988 
0.15	c instanciating clauses for relation R14 (supports) and variables V491 V1179 
0.15	c instanciating clauses for relation R14 (supports) and variables V91 V243 
0.15	c instanciating clauses for relation R14 (supports) and variables V379 V139 
0.15	c instanciating clauses for relation R14 (supports) and variables V895 V894 
0.15	c instanciating clauses for relation R14 (supports) and variables V905 V898 
0.15	c instanciating clauses for relation R14 (supports) and variables V902 V896 
0.15	c instanciating clauses for relation R14 (supports) and variables V582 V788 
0.15	c instanciating clauses for relation R14 (supports) and variables V727 V726 
0.15	c instanciating clauses for relation R14 (supports) and variables V725 V724 
0.15	c instanciating clauses for relation R14 (supports) and variables V283 V279 
0.15	c instanciating clauses for relation R14 (supports) and variables V309 V307 
0.15	c instanciating clauses for relation R14 (supports) and variables V303 V301 
0.15	c instanciating clauses for relation R14 (supports) and variables V1075 V1235 
0.15	c instanciating clauses for relation R14 (supports) and variables V1077 V1237 
0.15	c instanciating clauses for relation R14 (supports) and variables V778 V1241 
0.15	c instanciating clauses for relation R14 (supports) and variables V775 V773 
0.15	c instanciating clauses for relation R14 (supports) and variables V1370 V1364 
0.15	c instanciating clauses for relation R14 (supports) and variables V1366 V1363 
0.15	c instanciating clauses for relation R14 (supports) and variables V1244 V1229 
0.15	c instanciating clauses for relation R14 (supports) and variables V1362 V1246 
0.15	c instanciating clauses for relation R14 (supports) and variables V1249 V1245 
0.15	c instanciating clauses for relation R14 (supports) and variables V741 V735 
0.15	c instanciating clauses for relation R14 (supports) and variables V749 V751 
0.15	c instanciating clauses for relation R14 (supports) and variables V746 V744 
0.15	c instanciating clauses for relation R14 (supports) and variables V619 V543 
0.15	c instanciating clauses for relation R14 (supports) and variables V1424 V1304 
0.15	c instanciating clauses for relation R14 (supports) and variables V658 V149 
0.15	c instanciating clauses for relation R14 (supports) and variables V935 V706 
0.15	c instanciating clauses for relation R14 (supports) and variables V939 V705 
0.15	c instanciating clauses for relation R14 (supports) and variables V389 V262 
0.15	c instanciating clauses for relation R14 (supports) and variables V682 V237 
0.15	c instanciating clauses for relation R14 (supports) and variables V684 V239 
0.15	c instanciating clauses for relation R14 (supports) and variables V356 V235 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1492 V132 V130 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1483 V551 V552 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1471 V786 V787 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1473 V738 V740 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1489 V284 V289 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1485 V729 V394 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1487 V310 V312 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1463 V1219 V1218 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1457 V1351 V1350 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1461 V1223 V1222 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1459 V1338 V1339 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V1465 V1206 V1207 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1479 V568 V570 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1475 V608 V609 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1481 V563 V565 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1477 V604 V605 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1467 V1098 V1104 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1469 V1096 V1102 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1496 V129 V127 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V1499 V126 V124 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V238 V382 V385 V511 V518 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V762 V766 V765 V767 V768 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V755 V757 V758 V759 V761 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V1200 V1345 V1343 V1346 V1344 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V911 V1187 V1192 V1194 V1196 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V599 V796 V601 V602 V603 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V373 V731 V732 V300 V728 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V375 V731 V734 V300 V728 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V708 V753 V754 V760 V751 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V513 V516 V517 V520 V521 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V515 V516 V519 V520 V521 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V376 V380 V384 V388 V390 
0.16	c instanciating clauses for relation R17 (conflicts) and variables V378 V380 V386 V388 V390 
0.16	c instanciating clauses for relation R7 (conflicts) and variables V1500 V1497 V1494 V1490 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V928 V932 V130 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V928 V943 V130 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V933 V934 V943 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V933 V932 V945 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V933 V943 V945 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V930 V932 V132 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V930 V945 V132 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V946 V936 V928 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V946 V940 V928 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V948 V936 V930 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V948 V940 V930 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V719 V715 V711 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V719 V370 V711 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V716 V717 V370 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V716 V715 V372 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V716 V370 V372 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V719 V715 V713 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V719 V372 V713 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V625 V626 V400 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1004 V1172 V1174 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V625 V55 V829 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1447 V88 V407 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1448 V1449 V407 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V669 V28 V414 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V671 V670 V414 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V621 V622 V399 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V621 V92 V823 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V762 V755 V412 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V762 V763 V412 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V762 V764 V412 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V616 V618 V321 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V616 V66 V822 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V456 V42 V322 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V459 V458 V322 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1168 V1005 V743 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1168 V1006 V743 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V613 V7 V544 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V615 V614 V544 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V672 V109 V318 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V674 V673 V318 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V841 V842 V320 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V841 V104 V844 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V313 V752 V404 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V360 V240 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V358 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V240 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V360 V133 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V358 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V133 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V360 V689 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V358 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V359 V689 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V242 V358 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V240 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V358 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V242 V133 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V240 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V133 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V242 V689 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V240 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V241 V689 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V135 V358 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V133 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V358 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V135 V240 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V133 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V240 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V135 V689 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V133 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V134 V689 V691 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V691 V358 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V689 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V358 V360 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V691 V240 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V689 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V240 V242 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V691 V133 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V689 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V690 V133 V135 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V136 V1238 V952 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V138 V1238 V954 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1065 V1062 V962 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1067 V1062 V964 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1124 V100 V1123 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1127 V1126 V1123 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1408 V1438 V1359 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1409 V77 V1359 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1065 V1088 V1091 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1067 V1090 V1091 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1121 V1139 V1084 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1122 V118 V1084 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V847 V64 V824 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V849 V848 V824 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1062 V1081 V1074 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1146 V37 V776 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1149 V1148 V776 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1275 V1277 V772 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1276 V57 V772 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V816 V59 V777 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V819 V818 V777 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V644 V645 V643 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V644 V78 V647 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1135 V87 V1134 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1138 V1137 V1134 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1412 V1426 V1367 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1413 V20 V1367 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V628 V35 V393 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V631 V630 V393 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1165 V1166 V736 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1165 V56 V1325 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V454 V93 V282 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V452 V449 V282 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1157 V1159 V280 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1157 V79 V1158 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V632 V103 V392 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V634 V633 V392 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1317 V1318 V391 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1317 V53 V1442 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V461 V76 V306 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V463 V462 V306 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1161 V1162 V308 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1161 V40 V1164 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1034 V1031 V273 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1215 V1211 V1201 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1394 V58 V1217 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1397 V1396 V1217 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V807 V806 V805 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V808 V51 V805 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1400 V44 V1221 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1403 V1402 V1221 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V637 V636 V635 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V638 V84 V635 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1377 V69 V1202 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1380 V1379 V1202 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V811 V810 V809 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V812 V108 V809 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1385 V19 V1349 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1388 V1387 V1349 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V827 V826 V825 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V828 V29 V825 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1404 V26 V1177 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1407 V1406 V1177 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V831 V830 V722 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V832 V48 V722 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1381 V5 V1042 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1384 V1383 V1042 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V834 V833 V264 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V835 V89 V264 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1114 V34 V254 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1117 V1116 V254 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V803 V802 V723 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V804 V101 V723 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1373 V122 V1043 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V1376 V1375 V1043 
0.16	c instanciating clauses for relation R18 (conflicts) and variables V978 V977 V260 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V979 V4 V260 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1265 V63 V253 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1268 V1267 V253 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V814 V813 V611 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V815 V11 V611 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1048 V1044 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1340 V1044 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1048 V1046 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1340 V1046 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1048 V1337 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1340 V1337 V1041 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V654 V656 V556 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V655 V14 V556 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V989 V3 V557 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V990 V992 V557 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V468 V473 V419 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V469 V115 V419 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V845 V67 V559 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V846 V856 V559 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V853 V865 V795 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V794 V969 V968 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1128 V24 V1107 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1129 V1131 V1107 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V453 V451 V450 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V455 V86 V450 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1289 V73 V558 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1290 V1296 V558 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V465 V464 V420 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V466 V110 V420 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V820 V117 V560 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V821 V860 V560 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V839 V838 V836 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V840 V1 V836 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1291 V61 V886 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1294 V1293 V886 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1315 V1314 V1011 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1316 V21 V1011 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1414 V120 V1012 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1415 V1435 V1012 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V651 V650 V649 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V652 V98 V649 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1281 V8 V888 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1282 V1284 V888 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1144 V1143 V899 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1145 V22 V899 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1410 V6 V901 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1411 V1417 V901 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V140 V1030 V1032 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V533 V532 V261 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V533 V541 V261 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V890 V1013 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V892 V1013 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V890 V949 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V892 V949 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V890 V1008 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V892 V1008 V887 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V580 V792 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V581 V792 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V580 V578 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V581 V578 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V580 V579 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V581 V579 V576 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1229 V732 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1232 V732 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1235 V732 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1233 V1234 V1235 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1233 V1232 V1237 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1233 V1235 V1237 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1230 V1231 V1235 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1230 V1229 V1237 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1230 V1235 V1237 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1229 V734 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1232 V734 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1239 V1237 V734 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1241 V1242 V1232 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1241 V1240 V1232 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1241 V1243 V1232 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V785 V960 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V773 V960 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V785 V781 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V773 V781 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V785 V783 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V773 V783 V778 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1240 V1363 V1364 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V731 V735 V737 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V756 V742 V749 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V756 V747 V749 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1105 V1100 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1106 V1100 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1105 V1101 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1106 V1101 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1105 V1103 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V1106 V1103 V927 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V695 V692 V522 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V922 V923 V270 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V922 V921 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V922 V270 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V696 V697 V270 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V696 V695 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V696 V270 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V693 V694 V270 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V693 V692 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V693 V270 V272 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V695 V694 V524 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V931 V709 V688 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V931 V718 V688 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V698 V912 V685 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V918 V915 V685 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V700 V912 V687 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V918 V917 V687 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1491 V132 V130 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1482 V551 V552 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1470 V786 V787 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1472 V738 V740 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1488 V284 V289 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1484 V729 V394 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1486 V310 V312 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1462 V1219 V1218 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1456 V1351 V1350 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1460 V1223 V1222 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1458 V1338 V1339 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1464 V1206 V1207 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1478 V568 V570 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1474 V608 V609 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1480 V563 V565 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1476 V604 V605 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1466 V1098 V1104 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1468 V1096 V1102 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1495 V129 V127 
0.17	c instanciating clauses for relation R19 (conflicts) and variables V1498 V126 V124 
0.17	c instanciating clauses for relation R20 (conflicts) and variables V929 V932 V930 V945 
0.17	c instanciating clauses for relation R20 (conflicts) and variables V929 V932 V928 V943 
0.17	c instanciating clauses for relation R20 (conflicts) and variables V720 V715 V721 V372 
0.17	c instanciating clauses for relation R20 (conflicts) and variables V720 V715 V719 V370 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1490 V1492 V1491 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V944 V928 V930 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V933 V928 V930 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V941 V946 V948 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V937 V946 V948 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V947 V940 V936 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V712 V944 V947 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V317 V1483 V1482 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1493 V683 V703 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1063 V1065 V1067 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V779 V1471 V1470 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V286 V1473 V1472 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V281 V1489 V1488 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V288 V1485 V1484 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V294 V1487 V1486 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1190 V1463 V1462 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1189 V1457 V1456 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1188 V1461 V1460 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1185 V1459 V1458 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1187 V1465 V1464 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V566 V1479 V1478 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V600 V1475 V1474 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V561 V1481 V1480 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V591 V1477 V1476 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1094 V1467 V1466 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1093 V1469 V1468 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1494 V1496 V1495 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V523 V506 V508 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V523 V513 V515 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V507 V522 V524 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V507 V513 V515 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V514 V522 V524 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V514 V506 V508 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V696 V692 V694 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V1497 V1499 V1498 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V686 V232 V234 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V686 V376 V378 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V233 V685 V687 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V233 V376 V378 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V377 V685 V687 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V377 V232 V234 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V919 V915 V917 
0.17	c instanciating clauses for relation R21 (conflicts) and variables V913 V698 V700 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1492 V1490 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1491 V1490 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V944 V131 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V929 V131 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V947 V929 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V371 V712 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V371 V719 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V716 V719 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1483 V317 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1482 V317 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V690 V371 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V134 V371 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V241 V371 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V359 V371 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V364 V359 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V953 V137 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V953 V1238 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V958 V953 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V963 V958 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1066 V963 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1066 V1062 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1089 V1066 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1089 V1091 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1471 V779 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1470 V779 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1473 V286 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1472 V286 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1489 V281 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1488 V281 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1485 V288 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1484 V288 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1487 V294 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1486 V294 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1463 V1190 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1462 V1190 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1457 V1189 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1456 V1189 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1461 V1188 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1460 V1188 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1459 V1185 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1458 V1185 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1465 V1187 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1464 V1187 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V251 V241 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1479 V566 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1478 V566 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1475 V600 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1474 V600 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1481 V561 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1480 V561 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1477 V591 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1476 V591 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V248 V134 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V733 V374 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V733 V728 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V733 V300 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V733 V731 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1236 V733 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1236 V1239 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1233 V1239 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1230 V1239 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1076 V1236 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1086 V1076 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1086 V1082 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1086 V1055 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1467 V1094 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1466 V1094 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1469 V1093 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1468 V1093 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1496 V1494 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1495 V1494 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V514 V128 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V507 V128 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V523 V128 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V693 V523 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V271 V523 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V693 V695 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V275 V271 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V511 V507 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V511 V502 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V511 V509 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V683 V238 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V518 V514 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V518 V521 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V518 V520 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V518 V516 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1499 V1497 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V1498 V1497 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V377 V125 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V233 V125 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V686 V125 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V699 V686 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V916 V686 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V916 V918 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V699 V912 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V703 V699 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V382 V233 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V382 V236 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V382 V387 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V385 V377 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V385 V390 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V385 V388 
0.18	c instanciating clauses for relation R22 (conflicts) and variables V385 V380 
0.18	c instanciating clauses for relation R21 (conflicts) and variables V1079 V1086 V1089 
0.18	c instanciating clauses for relation R23 (supports) and variables V1083 V1078 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V131 V130 V132 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V929 V928 V930 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V947 V946 V948 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V944 V943 V945 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V712 V711 V713 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V371 V370 V372 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V359 V358 V360 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V703 V702 V704 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V683 V682 V684 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V364 V363 V365 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V275 V274 V276 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V251 V250 V252 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V248 V247 V249 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V137 V136 V138 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V953 V952 V954 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V958 V957 V959 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V963 V962 V964 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V1066 V1065 V1067 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V1089 V1088 V1090 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V1086 V1085 V1087 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V241 V240 V242 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V134 V133 V135 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V916 V915 V917 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V693 V692 V694 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V690 V689 V691 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V374 V373 V375 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V733 V732 V734 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V1236 V1235 V1237 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V1076 V1075 V1077 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V128 V127 V129 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V523 V522 V524 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V271 V270 V272 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V507 V506 V508 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V518 V517 V519 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V511 V510 V512 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V385 V384 V386 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V382 V381 V383 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V238 V237 V239 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V514 V513 V515 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V125 V124 V126 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V686 V685 V687 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V699 V698 V700 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V233 V232 V234 
0.18	c instanciating clauses for relation R24 (conflicts) and variables V377 V376 V378 
0.18	c ...done
0.18	c #SATvar=5116 #SATclauses=15132 #CSPpredicates=0
0.19	Verified 14778 original clauses.
0.19	c SAT problem is solved
0.19	restarts              : 1
0.19	conflicts             : 16             (95 /sec)
0.19	decisions             : 414            (0.48 % random) (2450 /sec)
0.19	propagations          : 25738          (152319 /sec)
0.19	conflict literals     : 52             (5.45 % deleted)
0.19	Memory used           : 7.86 MB
0.19	CPU time              : 0.168974 s
0.19	c all predicates checked
0.19	
0.19	s SATISFIABLE
0.19	v 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 
0.19

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/node1/watcher-242446-1168093397 -o ROOT/results/node1/solver-242446-1168093397 -C 1800 -M 900 /tmp/evaluation/242446-1168093397/CSPtoSAT+minisat /tmp/evaluation/242446-1168093397/unknown.xml 

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

/proc/loadavg: 1.01 1.39 1.70 5/86 22478
/proc/meminfo: memFree=1088280/2055920 swapFree=4165584/4192956
[pid=22477] ppid=22475 vsize=18540 CPUtime=0
/proc/22477/stat : 22477 (runsolver) R 22475 22477 22348 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 157735928 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22477/statm: 4635 279 244 17 0 2626 0

[startup+0.109166 s]
/proc/loadavg: 1.01 1.39 1.70 5/86 22478
/proc/meminfo: memFree=1088280/2055920 swapFree=4165584/4192956
[pid=22477] ppid=22475 vsize=8076 CPUtime=0.09
/proc/22477/stat : 22477 (CSPtoSAT+minisa) R 22475 22477 22348 0 -1 4194304 1093 0 0 0 9 0 0 0 18 0 1 0 157735928 8269824 1061 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4159182979 0 0 4096 0 0 0 0 17 1 0 0
/proc/22477/statm: 2019 1061 704 52 0 387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8076

Child status: 0
Real time (s): 0.20538
CPU time (s): 0.181972
CPU user time (s): 0.170974
CPU system time (s): 0.010998
CPU usage (%): 88.6026
Max. virtual memory (cumulated for all children) (KiB): 8076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.170974
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1180
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= 170
involuntary context switches= 142

runsolver used 0.004999 s user time and 0.015997 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 14:23:20 UTC 2007


IDJOB= 242446
IDBENCH= 7392
FILE ID= node1/242446-1168093397

PBS_JOBID= 3476424

Free space on /tmp= 66302 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-7552-038_ext.xml
COMMAND LINE= /tmp/evaluation/242446-1168093397/CSPtoSAT+minisat /tmp/evaluation/242446-1168093397/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-242446-1168093397 -o ROOT/results/node1/solver-242446-1168093397 -C 1800 -M 900  /tmp/evaluation/242446-1168093397/CSPtoSAT+minisat /tmp/evaluation/242446-1168093397/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  6136a6e8c1be790eb7137f2a8b043619

RANDOM SEED= 739435337

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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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:       1088760 kB
Buffers:         67060 kB
Cached:         614852 kB
SwapCached:       3664 kB
Active:         364032 kB
Inactive:       505064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1088760 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:         200544 kB
Slab:            82376 kB
Committed_AS:  4403708 kB
PageTables:       2588 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= 66302 MiB



End job on node1 on Sat Jan  6 14:23:24 UTC 2007