Trace number 242398

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.137978 0.142488

General information on the benchmark

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

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/node51/watcher-242398-1168093390 -o ROOT/results/node51/solver-242398-1168093390 -C 1800 -M 900 /tmp/evaluation/242398-1168093390/CSPtoSAT+minisat /tmp/evaluation/242398-1168093390/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.12 0.54 0.92 4/68 3329
/proc/meminfo: memFree=1618248/2055920 swapFree=4192812/4192956
[pid=3328] ppid=3326 vsize=6696 CPUtime=0
/proc/3328/stat : 3328 (CSPtoSAT+minisa) R 3326 3328 2912 0 -1 4194304 402 0 0 0 0 0 0 0 18 0 1 0 157738505 6856704 382 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 2621528 0 0 4096 0 0 0 0 17 0 0 0
/proc/3328/statm: 1674 382 357 52 0 30 0

[startup+0.103301 s]
/proc/loadavg: 0.12 0.54 0.92 4/68 3329
/proc/meminfo: memFree=1618248/2055920 swapFree=4192812/4192956
[pid=3328] ppid=3326 vsize=7768 CPUtime=0.09
/proc/3328/stat : 3328 (CSPtoSAT+minisa) R 3326 3328 2912 0 -1 4194304 1048 0 0 0 9 0 0 0 18 0 1 0 157738505 7954432 1016 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3328/statm: 1942 1016 704 52 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7768

Child status: 0
Real time (s): 0.142488
CPU time (s): 0.137978
CPU user time (s): 0.13098
CPU system time (s): 0.006998
CPU usage (%): 96.8348
Max. virtual memory (cumulated for all children) (KiB): 7768

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

runsolver used 0.006998 s user time and 0.035994 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 14:23:16 UTC 2007


IDJOB= 242398
IDBENCH= 7389
FILE ID= node51/242398-1168093390

PBS_JOBID= 3476668

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  4857266e126af56719eb2f1421a57184

RANDOM SEED= 179820983

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.277
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.277
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:       1617240 kB
Buffers:         33468 kB
Cached:         315304 kB
SwapCached:          0 kB
Active:          49496 kB
Inactive:       321508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3516 kB
Writeback:           0 kB
Mapped:          35080 kB
Slab:            53296 kB
Committed_AS:  3088544 kB
PageTables:       1712 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= 66545 MiB



End job on node51 on Sat Jan  6 14:23:22 UTC 2007