/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v600/unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf, 0.2, 0.18 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k10-r720-v43-c30960-01-S580109247.shuffled-as.sat03-1723.cnf, 6.29, 0.78 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v1665/unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf, 0.48, 0.35 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v700/random-unif/unif-r4-v700-c2800-10-S1675701898.used-as.sat04-20.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v1665/unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf, 0.6, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=6-o.shuffled-as.sat05-1655.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S1582455625-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v85/random-unif/gencnf-k7-r88.7-v85-c7539-02-S22300688.used-as.sat04-252.cnf, 45.04, 175.64 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v155/random-unif/gencnf-k4-r9.88-v155-c1531-06-S148255144.used-as.sat04-156.cnf, 0.78, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S1627256190-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n300-01-S384636973.shuffled-as.sat03-855.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k5-r21.5-v170/random-unif/gencnf-k5-r21.5-v170-c3655-04-S1852939236.used-as.sat04-204.cnf, 3.42, 10.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v700/OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=8-o.shuffled-as.sat05-1553.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf, 0.3, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S1861814752-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=3-o.shuffled-as.sat05-1672.cnf, 10000, 3245.67 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4.25-v700-c2975-01-S771644789.shuffled-as.sat03-1120.cnf, 1.06, 0.75 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S679764311-04.cnf, 2015.11, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k5-r21.5-v170-c3655-02-S1524008531.shuffled-as.sat03-1759.cnf, 3.05, 0.21 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf, 0.13, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v123/random-unif/gencnf-k6-r44.3-v123-c5448-08-S816777283.used-as.sat04-228.cnf, 80.8, 9.24 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v500/random-unif/unif-r4-v500-c2000-10-S2037180271.used-as.sat04-10.cnf, 0.01, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S1798323172-15.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n390-03-S1737541781.shuffled-as.sat03-862.cnf, 1.4, 1.22 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v700/random-unif/unif-r4-v700-c2800-09-S1696233976.used-as.sat04-19.cnf, 0.06, 0.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v160/OKgenerator_s0=32s1=31n=160l=7cp=13600-Dnr0=0nr1=7-o.shuffled-as.sat05-1606.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r5-n550-03-S420099363.shuffled-as.sat03-1012.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf, 3.66, 0.24 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v45/unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf, 4.1, 1.91 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf, 0.15, 0.14 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n648-pos5-neg5-01-S1715560656.shuffled-as.sat03-900.cnf, 0.01, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf, 0.08, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v70/unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf, 0.04, 0.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf, 0.04, 0.29 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=1-o.shuffled-as.sat05-1596.cnf, 2546.88, 750.16 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S453945536-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n918-pos5-neg5-03-S166036896.shuffled-as.sat03-912.cnf, 9.74, 0.14 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1259611134-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v108/random-unif/gencnf-k6-r44.3-v108-c4784-06-S1698798182.used-as.sat04-216.cnf, 3.61, 1.21 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r4-n550-02-S2127338191.shuffled-as.sat03-1041.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S498187802-14.cnf, 2079.6, 2283.48 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v500/unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf, 12.28, 0.61 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf, 23.48, 31.75 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1048256369-15.cnf, 675.94, 1828.94 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v160/OKgenerator_s0=32s1=31n=160l=7cp=13600-Dnr0=0nr1=9-o.shuffled-as.sat05-1610.cnf, 3404.23, 1207.23 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S2109328271-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf, 9.73, 2.26 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf, 0.62, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v55/unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf, 2.93, 0.37 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf, 0.04, 0.3 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r4-n550-01-S508324316.shuffled-as.sat03-995.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S313074252-14.cnf, 10000, 17.71 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1036103820-03.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n390-03-S730718204.shuffled-as.sat03-812.cnf, 2.89, 0.27 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=9-o.shuffled-as.sat05-1523.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v108/random-unif/gencnf-k6-r44.3-v108-c4784-05-S2103231893.used-as.sat04-215.cnf, 8.05, 4.24 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v110/random-unif/gencnf-k7-r88.7-v110-c9757-07-S52808061.used-as.sat04-247.cnf, 131.59, 1557.79 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf, 0.01, 0.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf, 0.2, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S811174248-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=6-o.shuffled-as.sat05-1567.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k4-r9.88-v177-c1748-02-S1248633808.shuffled-as.sat03-1739.cnf, 0.15, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S837858872-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v500/OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=4-o.shuffled-as.sat05-1537.cnf, 799.54, 236.68 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S1285628870-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v750/random-unif/unif-r4.25-v750-c3187-01-S1892278415.used-as.sat04-101.cnf, 0.2, 0.82 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf, 218.43, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.24/hgen6-4-24-n390-02-S1171124847.shuffled-as.sat03-836.cnf, 63.62, 4.4 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v500/OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=5-o.shuffled-as.sat05-1538.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v1295/unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf, 0.37, 55.61 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r4-n700-03-S147774021.shuffled-as.sat03-1002.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r6-n700-01-S1767925031.shuffled-as.sat03-1030.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r6-n700-02-S1150565222.shuffled-as.sat03-1076.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S1128222245-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L23-02-S1190294031.shuffled-as.sat03-926.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r5-n550-03-S1780765833.shuffled-as.sat03-1057.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf, 3.19, 18.26 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=9-o.shuffled-as.sat05-1687.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf, 0.4, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=9-o.shuffled-as.sat05-1547.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v85/random-unif/gencnf-k7-r88.7-v85-c7539-03-S615334855.used-as.sat04-253.cnf, 0.59, 14.09 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v65/unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf, 0.86, 1.4 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=2-o.shuffled-as.sat05-1680.cnf, 10000, 6.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf, 0.17, 0.06 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S2033299325-04.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S478782385-06.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2035/unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf, 0.09, 0.15 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n300-03-S1932428319.shuffled-as.sat03-857.cnf, 0.31, 0.32 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k8-r180-v61/random-unif/gencnf-k8-r180-v61-c10980-08-S37388648.used-as.sat04-278.cnf, 10.64, 7.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=2-o.shuffled-as.sat05-1546.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S411047518-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v120/OKgenerator_s0=32s1=24n=120l=7cp=10200-Dnr0=0nr1=0-o.shuffled-as.sat05-1588.cnf, 317.77, 16.99 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v900/random-unif/unif-r4-v900-c3600-07-S2061546633.used-as.sat04-27.cnf, 0.03, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf, 3.92, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=4-o.shuffled-as.sat05-1601.cnf, 2099.71, 2104.64 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=4-o.shuffled-as.sat05-1693.cnf, 10000, 1024.79 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r5-n700-02-S734409904.shuffled-as.sat03-1061.cnf, 0.01, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S1096972624-15.cnf, 10000, 1546.91 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k8-r180-v69/random-unif/gencnf-k8-r180-v69-c12420-03-S182498951.used-as.sat04-283.cnf, 4.09, 8.53 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r6-n550-01-S1769106207.shuffled-as.sat03-1025.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf, 3.24, 0.77 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n520-02-S1368935453.shuffled-as.sat03-816.cnf, 38.4, 104.19 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v700/random-unif/unif-r4.25-v700-c2975-03-S1285029800.used-as.sat04-93.cnf, 1.38, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v70/unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf, 6.23, 1.11 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S56884336-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k8-r180-v80/random-unif/gencnf-k8-r180-v80-c14400-03-S1762281582.used-as.sat04-293.cnf, 363.33, 118.92 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k8-r180-v80/random-unif/gencnf-k8-r180-v80-c14400-01-S1259950802.used-as.sat04-291.cnf, 27.12, 26.97 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S1063466123-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r6-n500-02-S106546877.shuffled-as.sat03-1066.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v90/unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf, 0.02, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v750/random-unif/unif-r4.25-v750-c3187-06-S1866806947.used-as.sat04-106.cnf, 374.25, 30.36 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v500/random-unif/unif-r4-v500-c2000-09-S1905685328.used-as.sat04-9.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4-v500-c2000-02-S951336820.shuffled-as.sat03-1141.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n498-pos5-neg5-01-S726795108.shuffled-as.sat03-895.cnf, 1.02, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v600/unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf, 20.6, 0.84 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v180/OKgenerator_s0=32s1=37n=180l=7cp=15300-Dnr0=0nr1=8-o.shuffled-as.sat05-1613.cnf, 10000, 2056.06 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n250-02-S179009392.shuffled-as.sat03-801.cnf, 10.88, 0.32 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v700/random-unif/unif-r4-v700-c2800-06-S332060255.used-as.sat04-16.cnf, 0.16, 0.03 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v177/random-unif/gencnf-k4-r9.88-v177-c1748-08-S2147317734.used-as.sat04-168.cnf, 0.07, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=0-o.shuffled-as.sat05-1663.cnf, 10000, 194.15 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf, 1.34, 0.77 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf, 5.82, 0.18 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S779713554-13.cnf, 10000, 898.8 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n918-pos5-neg5-01-S1172068067.shuffled-as.sat03-910.cnf, 5.94, 0.28 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S883927618-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=7-o.shuffled-as.sat05-1697.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf, 11.08, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r6-n500-01-S744233835.shuffled-as.sat03-1020.cnf, 0.0, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4.25-v700-c2975-03-S970500404.shuffled-as.sat03-1122.cnf, 53.88, 2.2 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r5-n700-03-S1074874280.shuffled-as.sat03-1017.cnf, 0.02, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf, 0.17, 1.83 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v80/unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf, 0.14, 0.34 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=7-o.shuffled-as.sat05-1543.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L29-03-S923200393.shuffled-as.sat03-937.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v140/random-unif/gencnf-k6-r44.3-v140-c6202-01-S1689899556.used-as.sat04-231.cnf, 576.63, 124.79 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=0-o.shuffled-as.sat05-1542.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r3-v500-c1500-03-S767610493.shuffled-as.sat03-1097.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S440063851-05.cnf, 10000, 767.33 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v650/random-unif/unif-r4.25-v650-c2762-05-S1653210843.used-as.sat04-85.cnf, 6.73, 2.38 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=8-o.shuffled-as.sat05-1679.cnf, 10000, 1154.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=1-o.shuffled-as.sat05-1570.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v550/random-unif/unif-r4.25-v550-c2337-04-S1849314671.used-as.sat04-64.cnf, 7.36, 0.19 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S769702923-04.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L19-01-S1631707097.shuffled-as.sat03-915.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v400/random-unif/unif-r4.25-v400-c1700-05-S1956245623.used-as.sat04-35.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf, 0.63, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1283500452-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r4-n550-02-S2101652811.shuffled-as.sat03-996.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf, 44.71, 11.74 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L22-03-S1759353556.shuffled-as.sat03-922.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v900/random-unif/unif-r4-v900-c3600-09-S852086850.used-as.sat04-29.cnf, 0.15, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k5-r21.5-v131/random-unif/gencnf-k5-r21.5-v131-c2816-04-S255072642.used-as.sat04-184.cnf, 2.37, 0.36 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S202413125-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v177/random-unif/gencnf-k4-r9.88-v177-c1748-10-S357946180.used-as.sat04-170.cnf, 0.03, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v600/random-unif/unif-r4.25-v600-c2550-07-S2114064265.used-as.sat04-77.cnf, 1.41, 0.1 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r3-v500-c1500-02-S1946834389.shuffled-as.sat03-1096.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v700/OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=9-o.shuffled-as.sat05-1555.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S1517867865-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n650-02-S372473027.shuffled-as.sat03-871.cnf, 585.6, 1.94 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/sat02-random/glassybp-v399-s382874052.shuffled-as.sat03-1677.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1215030506-14.cnf, 10000, 110.86 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=9-o.shuffled-as.sat05-1575.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r5-n500-03-S1810809547.shuffled-as.sat03-1052.cnf, 0.0, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v110/random-unif/gencnf-k7-r88.7-v110-c9757-08-S2098741864.used-as.sat04-248.cnf, 2240.83, 602.87 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v500/OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=0-o.shuffled-as.sat05-1540.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v10000/OKgenerator_s0=32s1=17n=10000l=3cp=42000-Dnr0=0nr1=1-o.shuffled-as.sat05-1646.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v500/random-unif/unif-r4-v500-c2000-08-S1913599903.used-as.sat04-8.cnf, 0.01, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.24/hgen6-4-24-n520-03-S2045416212.shuffled-as.sat03-842.cnf, 114.63, 3.7 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v19000/unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n650-03-S386888147.shuffled-as.sat03-822.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=9-o.shuffled-as.sat05-1599.cnf, 549.53, 1724.18 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v700/OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=2-o.shuffled-as.sat05-1554.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k4-r9.88-v200-c1976-02-S1817630997.shuffled-as.sat03-1744.cnf, 2.95, 0.18 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v1665/unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf, 1.6, 963.65 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=5-o.shuffled-as.sat05-1550.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S94225360-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v160/OKgenerator_s0=32s1=31n=160l=7cp=13600-Dnr0=0nr1=1-o.shuffled-as.sat05-1607.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v400/random-unif/unif-r4.25-v400-c1700-09-S1609280344.used-as.sat04-39.cnf, 0.02, 0.22 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v177/random-unif/gencnf-k4-r9.88-v177-c1748-09-S1408626952.used-as.sat04-169.cnf, 0.45, 0.12 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v10000/OKgenerator_s0=32s1=17n=10000l=3cp=42000-Dnr0=0nr1=3-o.shuffled-as.sat05-1650.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf, 0.84, 0.43 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S287388441-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S1446471927-04.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v750/random-unif/unif-r4.25-v750-c3187-05-S987263398.used-as.sat04-105.cnf, 10000, 149.42 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r4-n550-01-S1390752327.shuffled-as.sat03-1040.cnf, 0.04, 0.07 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v450/random-unif/unif-r4.25-v450-c1912-09-S1071635880.used-as.sat04-49.cnf, 0.02, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=4-o.shuffled-as.sat05-1673.cnf, 10000, 373.56 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=5-o.shuffled-as.sat05-1674.cnf, 10000, 4.83 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v97/random-unif/gencnf-k7-r88.7-v97-c8603-04-S367061362.used-as.sat04-264.cnf, 579.05, 548.64 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4-v500-c2000-03-S279994087.shuffled-as.sat03-1142.cnf, 0.04, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S811866391-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v200/random-unif/gencnf-k4-r9.88-v200-c1976-04-S1220143869.used-as.sat04-174.cnf, 0.28, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L32-01-S1218460546.shuffled-as.sat03-940.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v500/unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf, 0.17, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v750/random-unif/unif-r4.25-v750-c3187-10-S1042547287.used-as.sat04-110.cnf, 14.02, 3.36 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v600/random-unif/unif-r4.25-v600-c2550-04-S1340373752.used-as.sat04-74.cnf, 0.74, 2.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v500/random-unif/unif-r4-v500-c2000-07-S835500591.used-as.sat04-7.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v700/random-unif/unif-r4-v700-c2800-02-S1164957511.used-as.sat04-12.cnf, 0.1, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v45/unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf, 0.12, 0.7 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S67600799-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=0-o.shuffled-as.sat05-1568.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S897388318-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1998470614-06.cnf, 1239.53, 1377.41 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n390-02-S1503682390.shuffled-as.sat03-811.cnf, 55.27, 0.28 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S659720099-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v45/unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf, 0.07, 0.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v550/random-unif/unif-r4.25-v550-c2337-05-S1703654875.used-as.sat04-65.cnf, 1.5, 2.41 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/sat02-random/hgen3-v550-s1180212793.shuffled-as.sat03-1695.cnf, 558.65, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1463391112-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1791291573-05.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf, 10000, 119.27 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k8-r180-v80/random-unif/gencnf-k8-r180-v80-c14400-08-S304622870.used-as.sat04-298.cnf, 537.24, 250.4 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf, 0.0, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S102550125-14.cnf, 10000, 2011.12 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v600/random-unif/unif-r4.25-v600-c2550-08-S315330761.used-as.sat04-78.cnf, 1.78, 0.35 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n498-pos5-neg5-02-S1619545866.shuffled-as.sat03-896.cnf, 0.12, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=3-o.shuffled-as.sat05-1548.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v500/unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf, 1.3, 0.11 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v700/random-unif/unif-r4.25-v700-c2975-08-S2097752582.used-as.sat04-98.cnf, 6.05, 0.31 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v60/unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf, 0.43, 3.74 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r5-n700-01-S414552155.shuffled-as.sat03-1060.cnf, 0.0, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S880121748-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L19-02-S125896754.shuffled-as.sat03-916.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf, 3.57, 0.17 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r4-n700-03-S1945356584.shuffled-as.sat03-1047.cnf, 0.02, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v155/random-unif/gencnf-k4-r9.88-v155-c1531-08-S31017031.used-as.sat04-158.cnf, 0.17, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r5-n500-03-S96620575.shuffled-as.sat03-1007.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.24/hgen6-4-24-n250-02-S643856825.shuffled-as.sat03-826.cnf, 1.26, 1.34 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r5-n500-02-S634492103.shuffled-as.sat03-1051.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v650/unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf, 0.86, 0.43 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v200/random-unif/gencnf-k4-r9.88-v200-c1976-06-S1791850435.used-as.sat04-176.cnf, 1.38, 0.18 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v650/random-unif/unif-r4.25-v650-c2762-03-S308440660.used-as.sat04-83.cnf, 980.79, 110.77 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n738-pos5-neg5-02-S561241057.shuffled-as.sat03-906.cnf, 2.63, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v60/unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf, 0.31, 0.15 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s0-r4-n700-02-S1699381478.shuffled-as.sat03-956.cnf, 0.01, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/sat02-random/unif-c1935-v450-s164592491.shuffled-as.sat03-1712.cnf, 1.2, 7.78 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v108/random-unif/gencnf-k6-r44.3-v108-c4784-04-S465479297.used-as.sat04-214.cnf, 103.67, 2.9 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v500/random-unif/unif-r4-v500-c2000-06-S1262448545.used-as.sat04-6.cnf, 0.01, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S657313757-16.cnf, 10000, 2072.11 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf, 4.82, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/sat02-random/hgen3-v550-s918732479.shuffled-as.sat03-1697.cnf, 256.89, 0.1 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1172786648-06.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S471246417-03.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=8-o.shuffled-as.sat05-1666.cnf, 118.84, 0.24 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v700/random-unif/unif-r4.25-v700-c2975-10-S1722444930.used-as.sat04-100.cnf, 10.97, 0.32 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1426208256-08.cnf, 593.47, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r3-v500-c1500-01-S1216319912.shuffled-as.sat03-1095.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf, 2.59, 0.5 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r5-n550-01-S848621830.shuffled-as.sat03-1010.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S422570514-15.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=1-o.shuffled-as.sat05-1665.cnf, 10000, 8.16 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.24/hgen6-4-24-n300-01-S810588847.shuffled-as.sat03-830.cnf, 5.63, 0.27 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r6-n500-03-S408319111.shuffled-as.sat03-1022.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4-v600-c2400-03-S703123123.shuffled-as.sat03-1147.cnf, 0.03, 0.03 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v900/unif-k5-r20-v900-c18000-S1509822356-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v200/random-unif/gencnf-k4-r9.88-v200-c1976-09-S299622179.used-as.sat04-179.cnf, 5.62, 0.06 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r6-n550-03-S1653755824.shuffled-as.sat03-1072.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v123/random-unif/gencnf-k6-r44.3-v123-c5448-05-S402890526.used-as.sat04-225.cnf, 2.39, 18.39 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf, 4.11, 1.85 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf, 90.82, 877.97 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf, 718.13, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v70/unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf, 1.04, 1.66 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L23-03-S1456998190.shuffled-as.sat03-927.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf, 0.17, 300.03 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k5-r21.5-v170/random-unif/gencnf-k5-r21.5-v170-c3655-02-S741844046.used-as.sat04-202.cnf, 6.23, 0.11 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r6-n550-02-S1432745023.shuffled-as.sat03-1026.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf, 10.89, 7.64 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1559029529-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf, 0.01, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=8-o.shuffled-as.sat05-1545.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=1-o.shuffled-as.sat05-1544.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k4-r9.88-v200/random-unif/gencnf-k4-r9.88-v200-c1976-05-S1080677329.used-as.sat04-175.cnf, 1.51, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L32-03-S1527311839.shuffled-as.sat03-942.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/balancedhidden/balancedhidden-k3-n498-pos5-neg5-03-S1305011525.shuffled-as.sat03-897.cnf, 0.1, 0.04 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r4-n700-02-S480625866.shuffled-as.sat03-1001.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v55/unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf, 0.08, 1.59 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1586629899-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf, 53.14, 27.68 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/unif/unif-r4-v600-c2400-01-S1083317809.shuffled-as.sat03-1145.cnf, 0.11, 0.01 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S427890210-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf, 1.37, 27.95 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf, 0.25, 0.26 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v120/OKgenerator_s0=32s1=24n=120l=7cp=10200-Dnr0=0nr1=6-o.shuffled-as.sat05-1587.cnf, 123.57, 3.69 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf, 2.28, 0.68 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S1058323130-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf, 0.24, 0.37 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v500/random-unif/unif-r4.25-v500-c2125-02-S1164263862.used-as.sat04-52.cnf, 4.1, 20.68 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S666382280-13.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=9-o.shuffled-as.sat05-1701.cnf, 10000, 2723.65 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r6-n550-01-S1847629432.shuffled-as.sat03-1070.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L32-02-S964513274.shuffled-as.sat03-941.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf, 0.97, 5.5 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v500/OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=6-o.shuffled-as.sat05-1539.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k6-r44.3-v140/random-unif/gencnf-k6-r44.3-v140-c6202-03-S470770043.used-as.sat04-233.cnf, 219.64, 252.33 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf, 1.3, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v220/unif-k7-r85-v220-c18700-S409751023-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S2129616968-04.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k5-r21.5-v131/random-unif/gencnf-k5-r21.5-v131-c2816-07-S397151035.used-as.sat04-187.cnf, 0.06, 0.41 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=2-o.shuffled-as.sat05-1700.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v500/unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf, 1.65, 0.47 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1022834397-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S2117580343-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n300-03-S1476460634.shuffled-as.sat03-807.cnf, 7.07, 8.68 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S2053050899-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/simon/sat02-random/glassyb-v399-s732524269.shuffled-as.sat03-1680.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L22-02-S610404655.shuffled-as.sat03-921.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf, 0.95, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S161446644-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S191957358-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf, 24.2, 562.46 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v120/OKgenerator_s0=32s1=24n=120l=7cp=10200-Dnr0=0nr1=9-o.shuffled-as.sat05-1583.cnf, 46.75, 18.76 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S57566027-15.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v120/OKgenerator_s0=32s1=24n=120l=7cp=10200-Dnr0=0nr1=2-o.shuffled-as.sat05-1582.cnf, 125.63, 41.82 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S187076430-06.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k7-r88.7-v97/random-unif/gencnf-k7-r88.7-v97-c8603-10-S1809674126.used-as.sat04-270.cnf, 22.13, 142.72 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.24/hgen6-4-24-n390-01-S877445642.shuffled-as.sat03-835.cnf, 30.44, 1.29 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf, 0.98, 0.16 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v400/random-unif/unif-r4.25-v400-c1700-07-S793576367.used-as.sat04-37.cnf, 0.02, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S471833188-06.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r5-n700-02-S1311004756.shuffled-as.sat03-1016.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/7SAT/v65/unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf, 0.73, 2.45 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v700/random-unif/unif-r4.25-v700-c2975-01-S96356233.used-as.sat04-91.cnf, 82.38, 0.13 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v650/random-unif/unif-r4.25-v650-c2762-06-S747370896.used-as.sat04-86.cnf, 22.98, 3.39 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v650/unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf, 7.65, 0.33 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k5-r20-v700/OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=3-o.shuffled-as.sat05-1556.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf, 1.01, 1.11 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=6-o.shuffled-as.sat05-1593.cnf, 2003.47, 1505.67 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n250-02-S1625158946.shuffled-as.sat03-851.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v400/unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf, 0.35, 0.36 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1971221253-16.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v900/random-unif/unif-r4-v900-c3600-06-S1400738985.used-as.sat04-26.cnf, 0.07, 28.58 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S417670629-08.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1826229031-16.cnf, 1553.07, 150.79 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k10-r720-v38-c27360-02-S1092725406.shuffled-as.sat03-1719.cnf, 29.07, 114.51 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4-v700/random-unif/unif-r4-v700-c2800-01-S1132300975.used-as.sat04-11.cnf, 0.0, 0.08 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf, 3.17, 0.07 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S886048189-14.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s1-r4-n500-02-S928136868.shuffled-as.sat03-991.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s0-r4-n550-01-S628440411.shuffled-as.sat03-950.cnf, 0.01, 0.02 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hidden/hidden-k3-s2-r6-n700-03-S1027616642.shuffled-as.sat03-1077.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=4-o.shuffled-as.sat05-1670.cnf, 10000, 495.87 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/moore/hardnm/hardnm-L22-01-S1857894774.shuffled-as.sat03-920.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/3SAT/v400/unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf, 0.0, 0.0 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=7-o.shuffled-as.sat05-1677.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S1059928571-06.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/OnTreshold/5SAT/v130/unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf, 0.54, 0.48 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen7/hgen7-n520-03-S2134781359.shuffled-as.sat03-867.cnf, 59.3, 5.4 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf, 2.01, 10.67 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1121059923-10.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1342589780-15.cnf, 10000, 10000 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/dequen/treshold/gencnf-k4-r9.88-v155-c1531-02-S532470768.shuffled-as.sat03-1734.cnf, 0.24, 0.05 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/random/k3-r4.25-v550/random-unif/unif-r4.25-v550-c2337-03-S1582374594.used-as.sat04-63.cnf, 0.06, 0.14 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/random/2+p/p0.8/v2035/unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf, 2.36, 1.14 /ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/random/hirsch/hgen6-4.20/hgen6-4-20-n250-03-S854319939.shuffled-as.sat03-802.cnf, 5.32, 2.4