Trace number 242572

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.153976 0.159813

General information on the benchmark

Namedimacs/varDimacs/
bf-1355-075_ext.xml
MD5SUMf1b0d29bccdc92471281fa83fa94b37b
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.116981
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1818
Number of constraints2049
Maximum constraint arity4
Maximum domain size2
Number of constraints which are defined in extension2049
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

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

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

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

/proc/loadavg: 0.04 0.42 0.83 4/81 2006
/proc/meminfo: memFree=1628120/2055920 swapFree=4192812/4192956
[pid=2005] ppid=2002 vsize=6952 CPUtime=0
/proc/2005/stat : 2005 (CSPtoSAT+minisa) R 2002 2005 1671 0 -1 4194304 783 0 0 0 0 0 0 0 18 0 1 0 157734080 7118848 751 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2005/statm: 1738 753 661 52 0 106 0

[startup+0.104331 s]
/proc/loadavg: 0.04 0.42 0.83 4/81 2006
/proc/meminfo: memFree=1628120/2055920 swapFree=4192812/4192956
[pid=2005] ppid=2002 vsize=7788 CPUtime=0.1
/proc/2005/stat : 2005 (CSPtoSAT+minisa) R 2002 2005 1671 0 -1 4194304 1043 0 0 0 9 1 0 0 18 0 1 0 157734080 7974912 1011 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134652878 0 0 4096 0 0 0 0 17 0 0 0
/proc/2005/statm: 1947 1011 704 52 0 315 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7788

Child status: 0
Real time (s): 0.159813
CPU time (s): 0.153976
CPU user time (s): 0.135979
CPU system time (s): 0.017997
CPU usage (%): 96.3476
Max. virtual memory (cumulated for all children) (KiB): 7788

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

runsolver used 0.009998 s user time and 0.032994 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 14:23:37 UTC 2007


IDJOB= 242572
IDBENCH= 7401
FILE ID= node25/242572-1168093414

PBS_JOBID= 3476675

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/bf-1355-075_ext.xml
COMMAND LINE= /tmp/evaluation/242572-1168093414/CSPtoSAT+minisat /tmp/evaluation/242572-1168093414/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-242572-1168093414 -o ROOT/results/node25/solver-242572-1168093414 -C 1800 -M 900  /tmp/evaluation/242572-1168093414/CSPtoSAT+minisat /tmp/evaluation/242572-1168093414/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  f1b0d29bccdc92471281fa83fa94b37b

RANDOM SEED= 690721989

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.279
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.279
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:       1632504 kB
Buffers:         46120 kB
Cached:         255596 kB
SwapCached:          0 kB
Active:          99520 kB
Inactive:       252764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1632504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          69528 kB
Slab:            56100 kB
Committed_AS:  2928468 kB
PageTables:       2144 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= 66549 MiB



End job on node25 on Sat Jan  6 14:23:37 UTC 2007