/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-10t6.shuffled-as.sat05-1134.cnf, 101.37, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/slater/set2/clus-1200-4800-20-20-002.shuffled-as.sat03-1086.cnf, 0.02, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l4k3/lksat-n2000-m6840-k3-l4-s1244274252.used-as.sat04-916.cnf, 20.13, 421.49
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/iso-ukn004.shuffled-as.sat05-3385.cnf, 4.8, 5.22
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-3.shuffled-as.sat05-2160.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/iso-brn002.shuffled-as.sat05-2927.cnf, 0.01, 0.04
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-ukn004.shuffled-as.sat05-3627.cnf, 0.24, 0.04
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/iso-brn001.shuffled-as.sat05-2741.cnf, 2.56, 3.97
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-3.shuffled-as.sat05-2190.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-012-012.shuffled-as.sat05-1158.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-08t15.shuffled-as.sat05-1149.cnf, 236.98, 1.77
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n800-d-0.02-s1817482900.used-as.sat04-952.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-12-08-08.shuffled-as.sat05-1267.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-018-018.shuffled-as.sat05-1161.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/pyhala-braun-sat-40-4-03.shuffled-as.sat03-1541.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n1200-d-0.04-s190929140.used-as.sat04-968.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/par32-1-c.shuffled-as.sat03-1531.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/iso-brn004.shuffled-as.sat05-2698.cnf, 2.62, 54.07
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf, 827.71, 31.25
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-brn006.shuffled-as.sat05-2750.cnf, 0.12, 0.07
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Hard/contest05/others/strips-gripper-18t35.sat05-1147.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n600-d-0.04-s1239245797.used-as.sat04-969.cnf, 10000, 56.17
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-3.shuffled-as.sat05-2265.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n600-d-0.04-s1865234776.used-as.sat04-966.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/gomes03/bqwh/bqwh.36.2.432.shuffled-as.sat03-1643.used-as.sat04-756.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/simon02/hgen3-v550-s1180212793.shuffled-as.sat03-1695.used-as.sat04-826.cnf, 187.1, 3249.09
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7a/gensys-brn001.shuffled-as.sat05-3934.cnf, 53.48, 14.62
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-200-1.shuffled-as.sat05-2458.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/markstrom/SATISFIABLE/mm-1x6-6-6-sb.1.shuffled-as.sat03-1491.cnf, 0.27, 0.08
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-2.shuffled-as.sat05-2189.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-brn007.shuffled-as.sat05-3426.cnf, 0.13, 0.18
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-14-09-09.shuffled-as.sat05-1244.cnf, 5.13, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/hirsch03/hgen6-4-20-n650-02-S1892759963.shuffled-as.sat03-821.used-as.sat04-831.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn004.shuffled-as.sat05-3504.cnf, 0.06, 0.2
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/iso-ukn003.shuffled-as.sat05-3384.cnf, 8.78, 0.25
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/purdom/Instances/544707209399nw.shuffled-as.sat03-1671.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00070.shuffled-as.sat05-1314.shuffled-as.sat05-1314.cnf, 10000, 0.59
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/kexu/frb-0.8/frb50-23-2.used-as.sat04-886.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d0.00/connm-ue-csp-sat-n800-d0.00-s621582426.used-as.sat04-946.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-220-2.shuffled-as.sat05-2174.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-3g14-sat/mod2-3g14-sat.shuffled-as.sat05-2141.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/gensys-brn005.shuffled-as.sat05-2682.cnf, 8.1, 48.13
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/ezfact64_2.shuffled-as.sat03-1518.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/purdom/Instances/2013113162201nc.shuffled-as.sat03-1667.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/gomes/bqwh/bqwh.33.381.shuffled-as.sat03-1642.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-brn006.shuffled-as.sat05-3425.cnf, 0.4, 0.12
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l3k3/lksat-n22000-m58740-k3-l3-s1236728919.used-as.sat04-909.cnf, 3.49, 0.83
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf, 10000, 3.08
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn003.shuffled-as.sat05-3503.cnf, 0.02, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/purdom/Instances/544707209399nc.shuffled-as.sat03-1670.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf, 10000, 0.2
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-220-1.shuffled-as.sat05-2173.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00080.shuffled-as.sat05-1315.shuffled-as.sat05-1315.cnf, 10000, 1.35
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/gensys-brn004.shuffled-as.sat05-2681.cnf, 1.87, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-035-035.shuffled-as.sat05-1165.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-brn005.shuffled-as.sat05-3424.cnf, 0.28, 0.1
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn002.shuffled-as.sat05-3502.cnf, 0.01, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-brn004.shuffled-as.sat05-2748.cnf, 1.07, 0.5
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/simon02/hgen3-v550-s918732479.shuffled-as.sat03-1697.used-as.sat04-827.cnf, 51.88, 709.09
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n600-d-0.04-s1138027697.used-as.sat04-972.cnf, 14.87, 8.37
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf, 0.1, 0.35
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/gensys-brn001.shuffled-as.sat05-2743.cnf, 0.24, 0.46
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l3k3/lksat-n22000-m58740-k3-l3-s1299747800.used-as.sat04-910.cnf, 5.48, 1.27
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-260-3.shuffled-as.sat05-2235.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00090.shuffled-as.sat05-1316.shuffled-as.sat05-1316.cnf, 7.03, 0.14
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-3.shuffled-as.sat05-2205.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-250-2.shuffled-as.sat05-2219.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-030-030.shuffled-as.sat05-1164.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf, 10000, 380.45
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf, 421.94, 115.41
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-012-012.shuffled-as.sat05-1200.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n800-d-0.04-s433006629.used-as.sat04-967.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/ostrowski/genurq/genurq20Sat.shuffled-as.sat03-1506.cnf, 0.02, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-2.shuffled-as.sat05-2159.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-2.shuffled-as.sat05-2264.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-2.shuffled-as.sat05-2204.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn001.shuffled-as.sat05-3624.cnf, 0.0, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-1.shuffled-as.sat05-2188.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-1.shuffled-as.sat05-2158.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-020-020.shuffled-as.sat05-1162.cnf, 0.01, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/slater/set1/clus-1200-4800-45-30-002.shuffled-as.sat03-1081.cnf, 0.2, 2.46
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-1.shuffled-as.sat05-2263.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton03/SAT/SGI_30_70_26_60_3-dir.shuffled-as.sat03-3.used-as.sat04-765.cnf, 16.66, 0.71
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n600-d-0.02-s113737977.used-as.sat04-954.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-1.shuffled-as.sat05-2203.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n800-d-0.04-s1850729252.used-as.sat04-973.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/gomes/qwh/qwh.40.528.shuffled-as.sat03-1652.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-16-11-11.shuffled-as.sat05-1245.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-ukn009.shuffled-as.sat05-3632.cnf, 0.05, 0.03
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-014-014.shuffled-as.sat05-1201.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-300-3.shuffled-as.sat05-2295.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-ukn002.shuffled-as.sat05-3345.cnf, 2.01, 0.56
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-20-15-15.shuffled-as.sat05-1246.cnf, 3217.87, 0.15
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/kexu/frb-0.8/frb50-23-1.used-as.sat04-885.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/markstrom/SATISFIABLE/mm-1x6-6-6-s.1.shuffled-as.sat03-1490.cnf, 0.01, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-070-070.shuffled-as.sat05-1212.cnf, 0.17, 0.17
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Hard/contest02/ezfact64_5.sat05-452.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/kexu/frb-0.6/frb70-13-1.used-as.sat04-875.cnf, 172.04, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-07t6.shuffled-as.sat05-1131.cnf, 3.07, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf, 3.19, 21.9
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7a/gensys-brn009.shuffled-as.sat05-3674.cnf, 42.47, 44.23
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l4k4/lksat-n1000-m6860-k4-l4-s1863877314.used-as.sat04-921.cnf, 10.57, 263.65
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.cnf, 75.08, 52.7
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-brn003.shuffled-as.sat05-3422.cnf, 0.01, 0.02
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf, 310.76, 0.14
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-brn003.shuffled-as.sat05-2747.cnf, 0.0, 0.12
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/iso-brn009.shuffled-as.sat05-2703.cnf, 30.97, 54.96
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-190-3.shuffled-as.sat05-2445.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn009.shuffled-as.sat05-3509.cnf, 1.51, 0.57
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-150-3.shuffled-as.sat05-2385.cnf, 167.59, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-016-016.shuffled-as.sat05-1202.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/lisa21_99_a.shuffled-as.sat03-1527.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-170-3.shuffled-as.sat05-2415.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf, 10000, 0.56
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l4k4/lksat-n1000-m6860-k4-l4-s696183331.used-as.sat04-923.cnf, 2130.41, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-brn002.shuffled-as.sat05-3421.cnf, 0.01, 0.01
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-brn002.shuffled-as.sat05-2746.cnf, 0.02, 0.14
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l5k3/lksat-n1100-m4103-k3-l5-s1398751834.used-as.sat04-933.cnf, 2.52, 144.47
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/lynce05/social-golfer-problem/sgp_6-6-10.shuffled-as.sat05-2670.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s144092672.used-as.sat04-928.cnf, 10.56, 51.51
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-06t6.shuffled-as.sat05-1130.cnf, 1.86, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton03/SAT/SGI_30_60_28_30_1-dir.shuffled-as.sat03-1.used-as.sat04-768.cnf, 429.37, 84.49
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l3k3/lksat-n18000-m48060-k3-l3-s597649638.used-as.sat04-905.cnf, 16.82, 0.79
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-160-1.shuffled-as.sat05-2398.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/gensys-brn002.shuffled-as.sat05-2679.cnf, 0.08, 1.98
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-ukn003.shuffled-as.sat05-3582.cnf, 0.02, 0.02
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Hard/contest05/others/mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n1200-d-0.04-s1819178820.used-as.sat04-974.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00400.shuffled-as.sat05-1322.shuffled-as.sat05-1322.cnf, 10000, 17.42
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-ukn009.shuffled-as.sat05-3352.cnf, 2.33, 7.03
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-050-050.shuffled-as.sat05-1210.cnf, 0.04, 0.05
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/par32-2-c.shuffled-as.sat03-1533.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/ostrowski/genurq/genurq15Sat.shuffled-as.sat03-1505.cnf, 0.01, 0.03
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/simon02/hgen2-v400-s161064952.shuffled-as.sat03-1681.used-as.sat04-828.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/hanoi6.shuffled-as.sat03-1526.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-300-2.shuffled-as.sat05-2294.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf, 0.34, 4.89
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/hirsch03/hgen6-4-24-n520-02-S1443767688.shuffled-as.sat03-841.used-as.sat04-832.cnf, 2384.86, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/gomes/qwh/qwh.40.544.shuffled-as.sat03-1653.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-10-07-07.shuffled-as.sat05-1266.cnf, 0.01, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/kexu/frb-0.8/frb40-19-1.used-as.sat04-881.cnf, 3.04, 105.14
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/anton/l3k3/lksat-n18000-m48060-k3-l3-s1803614710.used-as.sat04-903.cnf, 4.8, 0.78
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/lynce05/social-golfer-problem/sgp_5-5-6.shuffled-as.sat05-2675.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/ostrowski/genurq/genurq5Sat.shuffled-as.sat03-1511.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/gensys-brn009.shuffled-as.sat05-2753.cnf, 0.1, 0.1
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/gomes/qwh/qwh.60.1692.shuffled-as.sat03-1658.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-14t27.shuffled-as.sat05-1145.cnf, 10000, 1527.04
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/andrew/composite/Composite-024BitPrimes-0.used-as.sat04-860.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-ukn002.shuffled-as.sat05-3501.cnf, 0.01, 0.02
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-045-045.shuffled-as.sat05-1209.cnf, 0.03, 0.03
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7a/gensys-brn007.shuffled-as.sat05-3672.cnf, 49.23, 37.31
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/fphp/sat/fphp-025-025.shuffled-as.sat05-1205.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/ostrowski/genurq/genurq6Sat.shuffled-as.sat03-1512.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334.cnf, 10000, 0.17
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2007/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00250.shuffled-as.sat05-1320.shuffled-as.sat05-1320.cnf, 10000, 36.68
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/gensys-ukn001.shuffled-as.sat05-3500.cnf, 0.04, 0.02
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG8/iso-brn007.shuffled-as.sat05-3507.cnf, 0.25, 0.04
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-190-1.shuffled-as.sat05-2443.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/gensys-brn009.shuffled-as.sat05-2686.cnf, 3.5, 2.24
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7/iso-ukn006.shuffled-as.sat05-3387.cnf, 0.72, 0.16
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0300.shuffled-as.sat05-1341.shuffled-as.sat05-1341.cnf, 10000, 16.95
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG7a/gensys-brn005.shuffled-as.sat05-3670.cnf, 551.13, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/gomes/qwh/qwh.50.1250.shuffled-as.sat03-1655.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sorge05/QG6/iso-brn006.shuffled-as.sat05-2700.cnf, 8.22, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-10t19.shuffled-as.sat05-1143.cnf, 10000, 20.53
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/slater/set3/clus-1200-4919-10-10-003.shuffled-as.sat03-1092.cnf, 1.02, 602.8
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-210-3.shuffled-as.sat05-2475.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/ostrowski/genurq/genurq4Sat.shuffled-as.sat03-1510.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-010-010.shuffled-as.sat05-1157.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-014-014.shuffled-as.sat05-1159.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2004/handmade/connamacher/connm-d-0.04/connm-ue-csp-sat-n1200-d-0.04-s706145924.used-as.sat04-971.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2003/handmade/simon/sat02/par32-3.shuffled-as.sat03-1536.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336.cnf, 10000, 0.2
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/counting/php/sat/php-016-016.shuffled-as.sat05-1160.cnf, 0.0, 0.0
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-200-3.shuffled-as.sat05-2460.cnf, 10000, 10000
/ubc/cs/project/arrow/projects/Sat_Data/bench/SAT_Competition2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00060.shuffled-as.sat05-1313.shuffled-as.sat05-1313.cnf, 124.55, 0.25