/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12718.cnf 0 UNSAT 7.99 45996 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5712.cnf 0 SAT 9.25 74101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12589.cnf 0 SAT 6.16 51143 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14330.cnf 0 UNSAT 5.12 30953 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2824.cnf 0 SAT 6.59 54627 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10197.cnf 0 SAT 6.16 52863 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10545.cnf 0 UNSAT 9.05 44264 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10948.cnf 0 SAT 9.85 75960 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8538.cnf 0 SAT 5.72 58551 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4795.cnf 0 SAT 5.16 47198 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6868.cnf 0 UNSAT 6.75 40830 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12132.cnf 0 UNSAT 7.25 45581 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9243.cnf 0 SAT 5.11 46021 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6417.cnf 0 SAT 5.75 53107 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14787.cnf 0 SAT 6.78 60736 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13393.cnf 0 SAT 6.27 56710 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18033.cnf 0 SAT 5.85 55594 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7288.cnf 0 SAT 8.17 67470 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1247.cnf 0 SAT 8.01 76876 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8430.cnf 0 SAT 5.22 56968 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10461.cnf 0 SAT 7.03 62591 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14933.cnf 0 SAT 8.0 72429 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13459.cnf 0 SAT 9.86 76624 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8682.cnf 0 SAT 5.34 52786 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7642.cnf 0 SAT 7.59 68115 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9110.cnf 0 SAT 6.02 49345 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8226.cnf 0 UNSAT 6.82 32887 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13624.cnf 0 SAT 7.18 59333 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2512.cnf 0 SAT 8.44 69570 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7720.cnf 0 SAT 5.19 48830 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6658.cnf 0 SAT 5.26 47138 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4430.cnf 0 SAT 7.52 66046 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7755.cnf 0 SAT 5.59 56136 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8007.cnf 0 SAT 9.01 76739 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3774.cnf 0 UNSAT 7.74 51114 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9698.cnf 0 SAT 5.1 53710 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10585.cnf 0 SAT 6.66 70563 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9486.cnf 0 SAT 6.48 66018 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3544.cnf 0 SAT 9.13 73037 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7068.cnf 0 SAT 9.95 67656 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7162.cnf 0 SAT 5.72 51046 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10440.cnf 0 SAT 9.52 73738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11266.cnf 0 SAT 7.15 68295 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15586.cnf 0 SAT 9.8 76694 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12554.cnf 0 SAT 7.03 51161 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12059.cnf 0 UNSAT 7.12 46697 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.939.cnf 0 SAT 8.86 78913 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1616.cnf 0 SAT 7.29 65873 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19205.cnf 0 SAT 6.1 49223 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14114.cnf 0 SAT 6.66 53362 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8030.cnf 0 SAT 8.84 75940 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9797.cnf 0 SAT 8.91 79954 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14691.cnf 0 SAT 8.46 79608 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11739.cnf 0 SAT 7.87 71159 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2105.cnf 0 SAT 8.71 67711 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8275.cnf 0 SAT 5.73 53010 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19849.cnf 0 UNSAT 5.84 36957 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.470.cnf 0 SAT 8.92 74423 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.962.cnf 0 SAT 7.78 78580 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6229.cnf 0 SAT 5.36 57449 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7597.cnf 0 SAT 5.27 49944 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7205.cnf 0 UNSAT 9.59 56376 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14203.cnf 0 SAT 9.67 87754 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11941.cnf 0 SAT 7.87 79276 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16800.cnf 0 SAT 9.59 73778 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9865.cnf 0 UNSAT 9.12 50575 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15392.cnf 0 UNSAT 6.69 46831 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11151.cnf 0 SAT 8.84 75527 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9232.cnf 0 SAT 6.86 57878 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5275.cnf 0 UNSAT 8.15 50308 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10578.cnf 0 SAT 8.38 77295 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5056.cnf 0 SAT 9.52 72072 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4595.cnf 0 SAT 9.82 83638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2951.cnf 0 SAT 7.17 71644 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19068.cnf 0 SAT 8.15 73975 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11674.cnf 0 UNSAT 9.29 47230 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2841.cnf 0 SAT 7.99 74191 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16148.cnf 0 SAT 8.96 83921 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15873.cnf 0 UNSAT 6.15 34707 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11618.cnf 0 SAT 6.38 59982 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3580.cnf 0 SAT 6.68 63898 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13008.cnf 0 SAT 9.56 81206 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19011.cnf 0 SAT 9.78 64032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17211.cnf 0 SAT 6.33 63608 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16647.cnf 0 UNSAT 5.21 29104 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10174.cnf 0 SAT 5.39 48140 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5959.cnf 0 UNSAT 6.56 40113 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19870.cnf 0 SAT 7.39 66204 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18819.cnf 0 UNSAT 6.98 39215 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3064.cnf 0 SAT 7.99 70193 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13446.cnf 0 SAT 9.55 86111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3725.cnf 0 SAT 5.17 52746 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10409.cnf 0 SAT 7.72 55829 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13530.cnf 0 SAT 5.89 55007 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16929.cnf 0 UNSAT 8.1 43520 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.893.cnf 0 SAT 5.03 43507 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11401.cnf 0 SAT 6.44 62021 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13903.cnf 0 SAT 5.66 55290 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5325.cnf 0 UNSAT 9.23 44362 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1883.cnf 0 UNSAT 8.18 49325 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3901.cnf 0 UNSAT 8.37 44906 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3487.cnf 0 SAT 5.75 62262 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9522.cnf 0 SAT 6.07 56319 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17256.cnf 0 SAT 9.65 82108 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5084.cnf 0 SAT 6.1 52515 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5601.cnf 0 SAT 9.48 80634 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.158.cnf 0 SAT 7.59 67261 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18478.cnf 0 SAT 7.3 77446 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8148.cnf 0 SAT 5.86 58090 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1136.cnf 0 SAT 5.34 42114 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11788.cnf 0 SAT 6.06 59566 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4205.cnf 0 SAT 6.68 56521 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9319.cnf 0 SAT 5.43 47746 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12766.cnf 0 SAT 8.88 56880 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11653.cnf 0 SAT 8.2 79572 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16531.cnf 0 SAT 8.51 73353 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13891.cnf 0 SAT 8.97 69970 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16645.cnf 0 SAT 5.74 48285 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8244.cnf 0 SAT 5.97 54232 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9415.cnf 0 SAT 6.16 57070 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17342.cnf 0 SAT 5.27 56960 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.690.cnf 0 SAT 7.43 72416 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9725.cnf 0 SAT 7.85 73201 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.695.cnf 0 SAT 9.3 74218 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16873.cnf 0 SAT 7.01 63780 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1571.cnf 0 SAT 8.12 73754 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6113.cnf 0 UNSAT 9.17 47151 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7578.cnf 0 SAT 9.12 62288 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13649.cnf 0 SAT 6.54 67919 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6551.cnf 0 SAT 6.71 68919 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3098.cnf 0 SAT 8.1 71568 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.440.cnf 0 SAT 8.99 68269 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19910.cnf 0 SAT 8.82 61492 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17901.cnf 0 SAT 6.03 56727 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1415.cnf 0 SAT 5.7 55101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14904.cnf 0 SAT 7.95 71911 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12105.cnf 0 SAT 6.31 44175 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4132.cnf 0 SAT 6.94 62805 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3400.cnf 0 SAT 6.84 71120 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15324.cnf 0 SAT 5.87 54396 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8685.cnf 0 SAT 8.56 75606 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18133.cnf 0 SAT 8.13 69390 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12989.cnf 0 SAT 5.34 59938 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14549.cnf 0 SAT 5.41 49770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3573.cnf 0 SAT 5.89 57768 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2547.cnf 0 SAT 7.84 65856 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18042.cnf 0 SAT 5.14 50864 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20046.cnf 0 SAT 5.14 55983 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16356.cnf 0 SAT 6.15 53887 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16036.cnf 0 SAT 5.62 53406 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12692.cnf 0 SAT 5.49 59431 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14165.cnf 0 SAT 9.34 79969 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13331.cnf 0 SAT 5.9 49364 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7117.cnf 0 SAT 7.3 67077 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6272.cnf 0 UNSAT 5.31 33578 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15964.cnf 0 SAT 6.48 50610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15250.cnf 0 SAT 8.17 73041 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16109.cnf 0 SAT 8.52 79650 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13846.cnf 0 SAT 9.24 72616 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19744.cnf 0 UNSAT 7.3 45988 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13668.cnf 0 SAT 9.38 85069 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19043.cnf 0 SAT 9.07 76374 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14820.cnf 0 SAT 5.45 50051 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11650.cnf 0 SAT 9.71 69177 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12631.cnf 0 SAT 8.14 81637 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4856.cnf 0 SAT 7.14 67229 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3452.cnf 0 UNSAT 5.31 26360 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18948.cnf 0 SAT 9.15 74698 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6786.cnf 0 SAT 5.2 51249 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14291.cnf 0 SAT 7.08 60642 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19461.cnf 0 SAT 7.07 64076 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18592.cnf 0 SAT 6.2 64857 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3375.cnf 0 SAT 9.6 78740 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7965.cnf 0 SAT 8.33 60954 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2061.cnf 0 SAT 5.57 51009 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5158.cnf 0 SAT 6.04 47161 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6642.cnf 0 SAT 7.28 66113 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18534.cnf 0 SAT 5.24 55888 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2516.cnf 0 SAT 7.92 55116 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.452.cnf 0 SAT 6.37 51452 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12070.cnf 0 SAT 5.65 48504 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12617.cnf 0 SAT 6.46 60800 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14003.cnf 0 SAT 8.43 73269 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6859.cnf 0 UNSAT 9.13 46571 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5864.cnf 0 SAT 5.91 49492 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12572.cnf 0 SAT 8.59 74911 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12376.cnf 0 SAT 6.93 70977 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12058.cnf 0 SAT 7.91 78323 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18319.cnf 0 UNSAT 6.51 36137 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.963.cnf 0 UNSAT 7.34 45446 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19937.cnf 0 SAT 6.08 49612 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12996.cnf 0 SAT 6.51 57311 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6070.cnf 0 SAT 8.85 74148 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7241.cnf 0 UNSAT 5.06 26691 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13323.cnf 0 SAT 5.45 57958 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17257.cnf 0 SAT 6.73 69516 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7406.cnf 0 SAT 9.4 77810 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19483.cnf 0 SAT 7.79 75170 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16379.cnf 0 UNSAT 6.9 41222 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14961.cnf 0 SAT 8.12 64262 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6370.cnf 0 SAT 5.1 48770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17447.cnf 0 SAT 6.13 55813 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17206.cnf 0 SAT 7.52 60638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14215.cnf 0 SAT 8.4 66146 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.951.cnf 0 SAT 7.99 68347 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5185.cnf 0 SAT 8.47 68488 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7439.cnf 0 SAT 6.32 53336 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10468.cnf 0 SAT 5.81 49206 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12203.cnf 0 SAT 6.52 65114 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2184.cnf 0 SAT 7.18 58506 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14542.cnf 0 SAT 9.54 73739 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7134.cnf 0 SAT 8.88 65769 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7085.cnf 0 SAT 6.83 64931 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2055.cnf 0 SAT 6.9 66256 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16337.cnf 0 SAT 9.13 83075 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18203.cnf 0 SAT 7.88 73759 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14030.cnf 0 SAT 5.02 39920 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2605.cnf 0 SAT 7.52 70243 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10342.cnf 0 SAT 5.04 51334 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3655.cnf 0 SAT 7.86 55569 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.724.cnf 0 SAT 6.59 67375 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19183.cnf 0 SAT 5.39 56738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11408.cnf 0 SAT 9.28 79307 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4039.cnf 0 UNSAT 6.88 37504 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7885.cnf 0 SAT 7.39 49397 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9078.cnf 0 SAT 9.58 78720 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6896.cnf 0 SAT 5.62 52696 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12888.cnf 0 SAT 9.14 64978 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17121.cnf 0 SAT 8.66 61293 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17475.cnf 0 SAT 5.5 56270 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19448.cnf 0 SAT 7.74 71181 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8713.cnf 0 UNSAT 8.47 36296 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1266.cnf 0 UNSAT 5.41 35167 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13535.cnf 0 SAT 7.4 71900 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12404.cnf 0 UNSAT 5.12 33669 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13267.cnf 0 SAT 8.5 75554 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17744.cnf 0 UNSAT 5.29 36734 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14998.cnf 0 SAT 5.26 49728 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17122.cnf 0 SAT 7.44 67047 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12230.cnf 0 UNSAT 6.25 34668 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16534.cnf 0 UNSAT 5.04 28205 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2173.cnf 0 SAT 6.87 65449 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6587.cnf 0 SAT 5.23 50416 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13792.cnf 0 UNSAT 5.61 29096 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18975.cnf 0 SAT 9.2 81721 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5208.cnf 0 SAT 8.07 68248 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10529.cnf 0 SAT 9.38 80032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12326.cnf 0 UNSAT 6.11 38751 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9253.cnf 0 UNSAT 6.23 36785 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1440.cnf 0 SAT 6.25 62673 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13280.cnf 0 SAT 5.55 51990 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15617.cnf 0 SAT 8.72 77001 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6539.cnf 0 SAT 8.38 63448 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9706.cnf 0 SAT 6.93 64394 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17995.cnf 0 SAT 7.55 69829 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7523.cnf 0 SAT 8.56 66292 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12495.cnf 0 SAT 6.73 57354 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15424.cnf 0 UNSAT 6.24 35875 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15717.cnf 0 SAT 8.44 77192 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14423.cnf 0 SAT 7.24 66806 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2284.cnf 0 SAT 9.01 74176 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7330.cnf 0 SAT 6.76 70431 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8677.cnf 0 SAT 6.52 54757 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19467.cnf 0 SAT 7.67 72621 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17817.cnf 0 SAT 6.54 63413 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15971.cnf 0 SAT 5.0 52731 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18376.cnf 0 SAT 7.71 50265 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19353.cnf 0 SAT 5.43 52965 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9235.cnf 0 SAT 5.35 53688 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18783.cnf 0 UNSAT 8.86 55123 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4076.cnf 0 SAT 8.59 72684 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6048.cnf 0 UNSAT 5.24 33848 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6643.cnf 0 UNSAT 6.06 42927 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.913.cnf 0 SAT 8.12 71577 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13728.cnf 0 SAT 7.35 66030 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13576.cnf 0 SAT 5.49 54671 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6750.cnf 0 UNSAT 6.58 40083 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19648.cnf 0 SAT 5.06 46482 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2504.cnf 0 SAT 7.96 67747 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12937.cnf 0 SAT 8.29 76343 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1432.cnf 0 UNSAT 6.62 38078 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17281.cnf 0 SAT 6.43 63776 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15382.cnf 0 UNSAT 8.04 51778 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12013.cnf 0 SAT 5.33 53159 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7749.cnf 0 SAT 8.45 63110 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19026.cnf 0 UNSAT 7.95 31165 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3868.cnf 0 SAT 7.45 80916 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2185.cnf 0 SAT 6.63 58068 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17474.cnf 0 SAT 7.34 72758 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20038.cnf 0 SAT 9.23 75789 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5901.cnf 0 SAT 7.0 55739 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11334.cnf 0 SAT 5.81 55235 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9919.cnf 0 SAT 5.87 52027 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2447.cnf 0 SAT 8.36 76124 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14360.cnf 0 SAT 5.1 50568 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15538.cnf 0 SAT 9.26 76144 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15205.cnf 0 SAT 9.44 81020 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6288.cnf 0 SAT 7.98 79659 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7792.cnf 0 UNSAT 9.32 48577 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3895.cnf 0 SAT 8.15 79677 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15138.cnf 0 SAT 7.95 75885 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5859.cnf 0 SAT 8.4 81619 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2062.cnf 0 SAT 7.68 62246 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14673.cnf 0 UNSAT 7.83 38733 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6212.cnf 0 SAT 9.16 77340 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12987.cnf 0 UNSAT 5.64 35684 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1844.cnf 0 UNSAT 7.07 47906 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4551.cnf 0 SAT 5.12 49455 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5042.cnf 0 UNSAT 7.85 38032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1793.cnf 0 SAT 8.44 66517 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6429.cnf 0 UNSAT 9.39 41168 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15106.cnf 0 SAT 8.53 83607 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10687.cnf 0 SAT 5.06 51427 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17389.cnf 0 SAT 5.02 54214 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19273.cnf 0 SAT 8.03 84137 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6998.cnf 0 UNSAT 6.55 42242 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10369.cnf 0 UNSAT 9.27 38417 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18672.cnf 0 SAT 6.04 65405 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3810.cnf 0 SAT 7.63 69430 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19083.cnf 0 SAT 5.31 54112 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12111.cnf 0 SAT 6.62 67833 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.830.cnf 0 SAT 5.6 52734 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5142.cnf 0 UNSAT 9.17 44860 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15366.cnf 0 SAT 6.52 68388 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2096.cnf 0 SAT 6.85 66574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1175.cnf 0 UNSAT 6.64 45394 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16667.cnf 0 SAT 5.22 51970 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8295.cnf 0 SAT 5.49 44896 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15030.cnf 0 SAT 9.98 83021 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11413.cnf 0 SAT 5.81 57940 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11946.cnf 0 SAT 7.86 58387 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19742.cnf 0 SAT 8.03 85360 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12559.cnf 0 SAT 7.2 66213 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9823.cnf 0 SAT 6.53 47890 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4721.cnf 0 SAT 6.59 58140 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18733.cnf 0 SAT 7.99 75680 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7750.cnf 0 SAT 8.45 81754 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6109.cnf 0 SAT 8.77 72203 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6487.cnf 0 SAT 6.78 67804 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.677.cnf 0 SAT 9.55 78190 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11000.cnf 0 SAT 8.2 75535 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18684.cnf 0 SAT 8.97 79658 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17028.cnf 0 SAT 5.74 53509 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20081.cnf 0 SAT 7.9 74156 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6903.cnf 0 SAT 8.95 76717 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18397.cnf 0 UNSAT 9.02 47652 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11178.cnf 0 SAT 7.79 64330 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13491.cnf 0 SAT 8.48 73596 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16843.cnf 0 SAT 7.22 67049 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10570.cnf 0 SAT 7.23 56035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14641.cnf 0 SAT 9.03 81713 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18266.cnf 0 SAT 5.8 58493 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2638.cnf 0 SAT 6.34 52746 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3951.cnf 0 SAT 8.14 74459 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3479.cnf 0 SAT 5.34 53479 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10517.cnf 0 SAT 9.74 78749 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11170.cnf 0 SAT 7.42 71294 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2268.cnf 0 SAT 5.0 44942 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3034.cnf 0 SAT 7.09 64685 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6752.cnf 0 SAT 8.92 78489 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7944.cnf 0 SAT 7.92 68032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12548.cnf 0 SAT 5.78 49889 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10393.cnf 0 SAT 5.86 55080 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3903.cnf 0 SAT 5.63 53347 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10680.cnf 0 SAT 7.38 66286 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14086.cnf 0 SAT 9.31 82405 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.269.cnf 0 SAT 6.71 56778 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10792.cnf 0 SAT 8.27 79616 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14730.cnf 0 SAT 8.13 71540 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16615.cnf 0 SAT 5.13 54058 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7055.cnf 0 SAT 5.78 55085 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9152.cnf 0 SAT 5.2 54532 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5848.cnf 0 SAT 8.21 67324 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1678.cnf 0 SAT 7.35 70188 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2351.cnf 0 SAT 9.11 78762 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6237.cnf 0 SAT 7.1 59904 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16708.cnf 0 SAT 9.04 75733 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4268.cnf 0 UNSAT 7.35 44060 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13148.cnf 0 UNSAT 5.02 34961 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10935.cnf 0 UNSAT 9.32 39554 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10242.cnf 0 SAT 5.49 48568 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8354.cnf 0 SAT 5.23 58658 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11980.cnf 0 SAT 5.93 61044 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5788.cnf 0 UNSAT 5.43 36761 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10992.cnf 0 UNSAT 9.42 53551 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16076.cnf 0 SAT 6.09 56759 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3551.cnf 0 SAT 5.63 54183 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19019.cnf 0 SAT 7.12 64948 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5451.cnf 0 SAT 6.57 64492 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10734.cnf 0 SAT 9.79 84330 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12125.cnf 0 SAT 7.23 68997 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6594.cnf 0 SAT 8.95 62658 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17549.cnf 0 SAT 6.28 57390 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4427.cnf 0 SAT 7.83 66209 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14949.cnf 0 SAT 9.89 86103 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.648.cnf 0 SAT 6.01 53287 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.231.cnf 0 UNSAT 5.81 31885 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12605.cnf 0 UNSAT 5.23 30731 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6952.cnf 0 UNSAT 8.34 48466 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6275.cnf 0 SAT 5.49 47855 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7342.cnf 0 SAT 8.53 72664 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6511.cnf 0 SAT 7.1 67020 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3438.cnf 0 SAT 5.36 55967 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8113.cnf 0 SAT 8.63 67997 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17210.cnf 0 SAT 6.58 60293 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2348.cnf 0 SAT 5.02 57298 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18269.cnf 0 SAT 9.0 83423 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4234.cnf 0 SAT 7.54 69479 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9740.cnf 0 SAT 9.3 78457 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5880.cnf 0 SAT 9.51 73488 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.356.cnf 0 SAT 7.93 75515 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17859.cnf 0 SAT 6.47 62654 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16233.cnf 0 UNSAT 7.78 57786 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12116.cnf 0 SAT 6.39 60582 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4717.cnf 0 SAT 6.63 61719 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3821.cnf 0 SAT 6.74 60660 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11643.cnf 0 SAT 7.28 63654 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14318.cnf 0 SAT 9.51 78463 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17644.cnf 0 SAT 6.26 64316 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15767.cnf 0 SAT 6.94 60141 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11312.cnf 0 UNSAT 6.97 43685 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10082.cnf 0 SAT 7.82 68163 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14583.cnf 0 UNSAT 6.94 35099 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16648.cnf 0 SAT 6.92 65231 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9014.cnf 0 SAT 6.0 53444 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14840.cnf 0 SAT 7.43 74486 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11890.cnf 0 UNSAT 7.52 41290 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1975.cnf 0 UNSAT 5.54 41375 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18512.cnf 0 SAT 5.83 55618 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15140.cnf 0 SAT 9.62 83499 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7338.cnf 0 SAT 6.42 62142 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4250.cnf 0 SAT 7.44 73611 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8976.cnf 0 UNSAT 6.23 38230 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19476.cnf 0 UNSAT 6.65 39176 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14868.cnf 0 UNSAT 6.39 39973 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.430.cnf 0 UNSAT 9.49 46350 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17584.cnf 0 SAT 7.67 63001 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13468.cnf 0 SAT 8.76 71573 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19507.cnf 0 SAT 5.5 51221 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12552.cnf 0 UNSAT 7.81 45180 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7839.cnf 0 UNSAT 5.81 45501 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8594.cnf 0 SAT 6.09 63601 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12991.cnf 0 SAT 7.17 55770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19074.cnf 0 UNSAT 9.03 49275 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14826.cnf 0 SAT 9.1 79675 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9158.cnf 0 SAT 5.18 46769 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16328.cnf 0 SAT 6.64 69679 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9432.cnf 0 SAT 8.96 68221 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8625.cnf 0 SAT 5.46 67418 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19389.cnf 0 SAT 7.24 63214 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17414.cnf 0 SAT 7.97 73830 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15525.cnf 0 SAT 5.99 55272 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4330.cnf 0 SAT 7.4 66527 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13009.cnf 0 SAT 6.26 63124 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3521.cnf 0 SAT 9.74 89810 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3210.cnf 0 SAT 6.78 72609 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6296.cnf 0 SAT 8.61 80616 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18952.cnf 0 SAT 9.11 75833 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9298.cnf 0 SAT 8.74 67152 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2693.cnf 0 UNSAT 5.48 40006 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14972.cnf 0 SAT 6.43 54775 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7506.cnf 0 SAT 6.1 56032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8159.cnf 0 SAT 8.75 76310 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.451.cnf 0 UNSAT 7.57 46229 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12695.cnf 0 SAT 6.7 63200 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7689.cnf 0 SAT 7.9 76651 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4843.cnf 0 SAT 5.71 58923 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10609.cnf 0 SAT 8.68 75072 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1908.cnf 0 SAT 5.02 53603 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2622.cnf 0 SAT 9.3 69407 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1970.cnf 0 SAT 5.8 56336 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8708.cnf 0 SAT 5.98 54951 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17076.cnf 0 UNSAT 7.72 41131 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3339.cnf 0 SAT 5.94 55082 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19642.cnf 0 SAT 8.47 78203 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10799.cnf 0 SAT 9.0 80480 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1117.cnf 0 SAT 6.65 51583 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5487.cnf 0 SAT 8.84 81886 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14331.cnf 0 SAT 6.7 57879 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4905.cnf 0 SAT 5.55 48153 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15642.cnf 0 UNSAT 5.15 31202 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9063.cnf 0 SAT 9.17 85741 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9578.cnf 0 UNSAT 6.62 35940 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7956.cnf 0 SAT 5.29 57020 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4230.cnf 0 SAT 9.02 74997 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7728.cnf 0 UNSAT 6.24 30632 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1534.cnf 0 SAT 5.33 41303 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15544.cnf 0 SAT 8.66 72792 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19140.cnf 0 SAT 7.09 72233 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13190.cnf 0 SAT 7.29 70825 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6132.cnf 0 SAT 5.9 59643 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12959.cnf 0 SAT 5.55 56291 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2530.cnf 0 SAT 9.34 75574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16725.cnf 0 SAT 7.73 65127 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3440.cnf 0 SAT 8.55 65676 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4599.cnf 0 SAT 7.16 68724 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9848.cnf 0 UNSAT 5.55 49260 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15309.cnf 0 SAT 5.1 51290 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15612.cnf 0 SAT 9.65 74808 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18292.cnf 0 SAT 6.43 57943 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1556.cnf 0 SAT 7.24 67253 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16292.cnf 0 SAT 6.7 64100 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12786.cnf 0 SAT 5.27 48652 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6177.cnf 0 SAT 8.73 76421 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17347.cnf 0 UNSAT 7.18 41674 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6780.cnf 0 SAT 5.17 52829 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5071.cnf 0 SAT 7.62 74713 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1697.cnf 0 SAT 9.02 83225 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9464.cnf 0 UNSAT 9.74 59186 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9810.cnf 0 SAT 8.36 82141 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19611.cnf 0 SAT 7.84 57078 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11666.cnf 0 SAT 6.49 65986 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3795.cnf 0 SAT 7.56 72783 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5015.cnf 0 SAT 5.73 56676 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5366.cnf 0 SAT 5.6 49461 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12321.cnf 0 SAT 8.92 82381 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11107.cnf 0 SAT 7.95 69533 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8347.cnf 0 UNSAT 7.18 33337 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7947.cnf 0 UNSAT 8.85 47079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5270.cnf 0 SAT 5.86 58001 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13953.cnf 0 UNSAT 8.46 48888 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9817.cnf 0 SAT 8.91 76008 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12800.cnf 0 SAT 7.83 70115 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16079.cnf 0 SAT 6.8 68135 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9005.cnf 0 UNSAT 10.0 49477 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6321.cnf 0 SAT 5.55 51616 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9088.cnf 0 SAT 8.19 67939 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9820.cnf 0 SAT 7.5 67550 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9888.cnf 0 SAT 9.83 93610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15137.cnf 0 SAT 6.78 54415 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19300.cnf 0 SAT 6.61 72727 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4433.cnf 0 SAT 5.47 53213 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13271.cnf 0 SAT 7.86 54879 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3391.cnf 0 SAT 6.42 62491 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9924.cnf 0 UNSAT 5.88 36755 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15155.cnf 0 UNSAT 6.06 41134 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1479.cnf 0 SAT 6.46 54499 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18917.cnf 0 SAT 7.74 69542 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14645.cnf 0 SAT 6.13 48732 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8676.cnf 0 SAT 7.15 66709 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9453.cnf 0 UNSAT 8.2 46415 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9852.cnf 0 SAT 5.32 54296 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11831.cnf 0 UNSAT 6.11 34653 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11144.cnf 0 UNSAT 5.24 30952 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5556.cnf 0 UNSAT 5.87 37059 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15520.cnf 0 UNSAT 6.9 40119 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10668.cnf 0 SAT 7.68 72459 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3584.cnf 0 SAT 7.71 67977 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.344.cnf 0 SAT 5.1 51851 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1519.cnf 0 SAT 5.06 53326 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.912.cnf 0 SAT 8.11 62542 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.809.cnf 0 SAT 8.14 78971 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5427.cnf 0 UNSAT 8.84 42207 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17499.cnf 0 SAT 8.33 75966 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13236.cnf 0 UNSAT 5.23 34292 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2337.cnf 0 UNSAT 7.92 42748 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5633.cnf 0 SAT 5.46 55313 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19568.cnf 0 SAT 6.07 51607 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7854.cnf 0 SAT 6.13 66405 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18846.cnf 0 SAT 5.53 54712 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.865.cnf 0 SAT 6.91 69528 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17142.cnf 0 SAT 6.92 63827 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14920.cnf 0 UNSAT 6.57 34307 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13537.cnf 0 SAT 9.53 77172 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14667.cnf 0 SAT 5.27 44543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11803.cnf 0 UNSAT 6.13 37878 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5631.cnf 0 SAT 6.71 64351 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5692.cnf 0 SAT 8.93 82341 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12783.cnf 0 UNSAT 7.61 56210 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10550.cnf 0 SAT 9.96 77869 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19036.cnf 0 SAT 6.89 54248 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5737.cnf 0 SAT 9.14 81333 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6886.cnf 0 SAT 5.39 51976 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12925.cnf 0 SAT 5.46 48589 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5324.cnf 0 SAT 6.6 57984 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14923.cnf 0 SAT 6.25 61308 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5851.cnf 0 SAT 7.42 70547 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.799.cnf 0 UNSAT 9.02 49576 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9813.cnf 0 UNSAT 7.86 45484 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9692.cnf 0 SAT 7.06 71766 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17883.cnf 0 SAT 6.69 48065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17113.cnf 0 SAT 6.0 55512 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1896.cnf 0 SAT 6.97 62762 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12557.cnf 0 SAT 6.92 65383 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3047.cnf 0 SAT 7.45 69207 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6838.cnf 0 SAT 7.35 72687 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9156.cnf 0 SAT 7.0 70204 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19564.cnf 0 SAT 8.86 80869 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14873.cnf 0 SAT 8.56 73330 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7742.cnf 0 SAT 5.45 53081 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10975.cnf 0 SAT 7.23 60701 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16524.cnf 0 UNSAT 5.91 38682 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13590.cnf 0 SAT 8.46 70894 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13966.cnf 0 SAT 9.58 70334 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2610.cnf 0 SAT 6.97 65197 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7798.cnf 0 SAT 8.97 78517 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2438.cnf 0 SAT 8.11 74132 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11477.cnf 0 SAT 6.48 61035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6768.cnf 0 UNSAT 5.5 36703 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3406.cnf 0 SAT 6.01 54889 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14201.cnf 0 SAT 5.57 66175 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6718.cnf 0 SAT 9.84 74654 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9058.cnf 0 UNSAT 5.28 28614 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1413.cnf 0 SAT 5.8 44856 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11393.cnf 0 SAT 6.72 66736 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7299.cnf 0 SAT 5.02 46469 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5048.cnf 0 SAT 6.9 62525 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14407.cnf 0 SAT 7.96 53611 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19114.cnf 0 SAT 7.76 64913 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8453.cnf 0 SAT 6.01 55959 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14585.cnf 0 UNSAT 9.48 53407 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16077.cnf 0 SAT 6.88 63872 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18470.cnf 0 SAT 6.03 61176 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2245.cnf 0 SAT 5.53 54122 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1707.cnf 0 SAT 9.85 83369 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5488.cnf 0 SAT 10.0 87663 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.308.cnf 0 SAT 5.91 53694 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6278.cnf 0 UNSAT 6.27 40147 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10460.cnf 0 UNSAT 8.49 49133 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1329.cnf 0 UNSAT 6.71 38422 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13290.cnf 0 SAT 6.13 56079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15080.cnf 0 SAT 9.48 79295 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10128.cnf 0 SAT 5.05 49717 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4113.cnf 0 SAT 7.14 59308 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13578.cnf 0 SAT 5.68 52494 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7396.cnf 0 UNSAT 5.83 31470 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2848.cnf 0 SAT 8.55 74467 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12743.cnf 0 UNSAT 6.76 39737 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12405.cnf 0 SAT 6.81 63484 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2000.cnf 0 UNSAT 9.21 50077 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17963.cnf 0 SAT 7.08 56728 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14541.cnf 0 SAT 7.2 71611 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16833.cnf 0 SAT 6.96 57406 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14657.cnf 0 SAT 7.75 72775 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16605.cnf 0 SAT 9.2 79884 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8733.cnf 0 UNSAT 9.34 55924 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5192.cnf 0 SAT 8.3 69801 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13514.cnf 0 SAT 7.49 79329 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16548.cnf 0 SAT 8.76 72472 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17857.cnf 0 SAT 5.45 43356 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17779.cnf 0 SAT 5.08 50287 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3187.cnf 0 UNSAT 7.21 35796 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.761.cnf 0 SAT 7.88 64754 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8300.cnf 0 SAT 8.91 73376 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1115.cnf 0 SAT 7.21 54424 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8933.cnf 0 SAT 5.28 58053 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8548.cnf 0 SAT 5.27 53814 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5605.cnf 0 UNSAT 8.36 46795 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11848.cnf 0 SAT 7.35 67774 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16359.cnf 0 SAT 6.57 52926 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14410.cnf 0 SAT 9.28 85416 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9017.cnf 0 SAT 5.14 49870 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11970.cnf 0 SAT 5.16 51373 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18551.cnf 0 SAT 5.1 53627 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3423.cnf 0 SAT 8.31 64635 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5809.cnf 0 SAT 6.91 63719 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17216.cnf 0 SAT 8.31 66120 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12228.cnf 0 SAT 5.91 55289 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7324.cnf 0 SAT 7.61 72535 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9916.cnf 0 SAT 6.11 51071 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18890.cnf 0 SAT 5.54 59092 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4476.cnf 0 SAT 8.09 63426 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4873.cnf 0 SAT 5.99 60769 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7623.cnf 0 SAT 8.09 68081 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4645.cnf 0 SAT 8.36 68814 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7827.cnf 0 SAT 5.35 50065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8128.cnf 0 SAT 8.5 65461 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1160.cnf 0 SAT 6.79 66147 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1277.cnf 0 SAT 9.92 77008 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9049.cnf 0 SAT 5.33 46061 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6911.cnf 0 SAT 5.26 47651 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3683.cnf 0 SAT 6.59 61364 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10111.cnf 0 SAT 9.09 84095 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5830.cnf 0 UNSAT 5.97 37344 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1332.cnf 0 SAT 5.34 54546 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14378.cnf 0 SAT 6.54 68388 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2627.cnf 0 SAT 5.36 54065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8099.cnf 0 SAT 5.59 64019 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7009.cnf 0 SAT 5.33 44530 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.449.cnf 0 SAT 7.48 68220 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17099.cnf 0 SAT 9.96 70999 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1666.cnf 0 UNSAT 8.67 44897 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4191.cnf 0 SAT 7.85 79574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16896.cnf 0 SAT 9.0 74638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15889.cnf 0 SAT 5.22 57038 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13708.cnf 0 SAT 8.15 74543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6792.cnf 0 UNSAT 9.61 44411 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18810.cnf 0 UNSAT 5.56 49250 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9637.cnf 0 SAT 8.86 74184 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15507.cnf 0 SAT 5.21 45138 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1744.cnf 0 UNSAT 5.39 44133 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15924.cnf 0 SAT 5.05 50972 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1012.cnf 0 UNSAT 5.08 25796 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13172.cnf 0 UNSAT 9.65 47041 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12997.cnf 0 SAT 8.77 50946 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7235.cnf 0 SAT 9.55 71026 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3284.cnf 0 SAT 8.24 71691 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4265.cnf 0 SAT 6.55 67899 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15809.cnf 0 SAT 7.52 66782 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.278.cnf 0 SAT 7.32 71753 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16744.cnf 0 UNSAT 7.23 41885 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19319.cnf 0 UNSAT 7.99 45040 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11348.cnf 0 SAT 7.34 72101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1014.cnf 0 SAT 5.93 57014 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13440.cnf 0 SAT 7.32 57370 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15816.cnf 0 SAT 7.41 70178 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5490.cnf 0 SAT 6.63 59769 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16386.cnf 0 SAT 5.84 53531 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12765.cnf 0 SAT 6.95 71214 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4526.cnf 0 UNSAT 5.78 37364 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.879.cnf 0 SAT 7.66 74082 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15912.cnf 0 SAT 8.47 77669 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1309.cnf 0 SAT 6.58 53428 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11832.cnf 0 SAT 7.92 72425 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4503.cnf 0 UNSAT 5.17 31516 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1938.cnf 0 SAT 8.31 76294 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6654.cnf 0 SAT 6.24 63969 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13194.cnf 0 SAT 5.11 57750 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18039.cnf 0 SAT 6.33 54172 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11452.cnf 0 SAT 5.65 57299 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14900.cnf 0 SAT 5.19 50868 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13338.cnf 0 SAT 5.22 51404 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4650.cnf 0 SAT 5.06 49095 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10317.cnf 0 SAT 9.25 71026 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1285.cnf 0 SAT 6.48 66245 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5575.cnf 0 SAT 7.92 74196 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10746.cnf 0 SAT 8.18 60242 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14963.cnf 0 SAT 7.04 74751 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.918.cnf 0 SAT 8.18 74671 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16559.cnf 0 SAT 9.91 79085 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17832.cnf 0 UNSAT 6.36 41233 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17713.cnf 0 UNSAT 7.63 43360 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11510.cnf 0 SAT 5.04 51247 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12627.cnf 0 UNSAT 8.85 41788 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12143.cnf 0 SAT 5.84 54656 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17380.cnf 0 UNSAT 9.93 50259 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16388.cnf 0 SAT 8.06 73557 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4089.cnf 0 SAT 7.32 65052 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10377.cnf 0 SAT 8.1 61442 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13955.cnf 0 SAT 8.75 80774 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16569.cnf 0 SAT 5.07 47797 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12595.cnf 0 SAT 5.79 56759 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9020.cnf 0 SAT 8.01 69397 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3636.cnf 0 SAT 8.3 66421 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7323.cnf 0 SAT 6.18 57185 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.435.cnf 0 SAT 5.93 53152 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10505.cnf 0 SAT 5.06 64069 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.323.cnf 0 SAT 9.22 72691 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15765.cnf 0 SAT 9.12 77441 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3972.cnf 0 SAT 5.63 52955 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14985.cnf 0 SAT 8.84 73742 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15268.cnf 0 SAT 5.11 47831 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7666.cnf 0 SAT 6.08 55798 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.990.cnf 0 SAT 5.2 54494 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4648.cnf 0 SAT 8.12 71021 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5821.cnf 0 SAT 8.85 75935 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14009.cnf 0 UNSAT 5.75 35563 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12393.cnf 0 SAT 6.86 64353 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19178.cnf 0 SAT 5.0 50070 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16816.cnf 0 SAT 5.17 58347 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14976.cnf 0 SAT 5.57 61523 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5432.cnf 0 UNSAT 5.84 32831 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1212.cnf 0 UNSAT 8.22 38889 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14390.cnf 0 SAT 8.26 72313 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.804.cnf 0 UNSAT 8.19 47888 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13742.cnf 0 UNSAT 6.74 46108 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5454.cnf 0 SAT 7.64 67779 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15319.cnf 0 SAT 7.19 65381 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10536.cnf 0 SAT 5.22 53476 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.117.cnf 0 UNSAT 5.76 33354 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19817.cnf 0 SAT 9.76 70030 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15442.cnf 0 UNSAT 8.3 43215 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10571.cnf 0 SAT 5.05 43376 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6760.cnf 0 SAT 5.57 55166 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18761.cnf 0 SAT 5.02 44454 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.689.cnf 0 UNSAT 7.73 52103 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17585.cnf 0 SAT 7.2 56971 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11059.cnf 0 SAT 7.37 61790 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3131.cnf 0 SAT 6.77 53698 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11994.cnf 0 SAT 5.72 49095 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15531.cnf 0 SAT 7.97 56306 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6865.cnf 0 SAT 9.85 82572 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3528.cnf 0 SAT 6.45 67647 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10701.cnf 0 SAT 6.71 58042 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.581.cnf 0 SAT 9.39 80699 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9332.cnf 0 UNSAT 8.45 44382 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5316.cnf 0 SAT 5.46 57676 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19999.cnf 0 SAT 8.7 70262 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8704.cnf 0 SAT 7.45 57387 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6122.cnf 0 SAT 5.99 53329 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17408.cnf 0 SAT 9.36 77528 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16348.cnf 0 SAT 9.25 77754 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11108.cnf 0 SAT 9.62 67184 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8016.cnf 0 UNSAT 9.4 41512 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6318.cnf 0 SAT 7.15 54630 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15929.cnf 0 SAT 8.69 76782 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4049.cnf 0 SAT 8.23 77442 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3767.cnf 0 UNSAT 7.75 34173 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12844.cnf 0 SAT 8.82 67121 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3932.cnf 0 SAT 6.88 65869 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11690.cnf 0 UNSAT 5.86 29760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13397.cnf 0 SAT 5.83 54392 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.299.cnf 0 SAT 9.84 64099 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19067.cnf 0 SAT 9.26 81104 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17833.cnf 0 SAT 8.22 69178 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9739.cnf 0 SAT 6.83 65944 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7109.cnf 0 SAT 8.02 71760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8741.cnf 0 SAT 5.45 49581 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1150.cnf 0 UNSAT 5.16 26441 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3720.cnf 0 SAT 5.55 51314 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11718.cnf 0 SAT 5.27 48200 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3384.cnf 0 SAT 8.8 68433 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15076.cnf 0 SAT 8.44 80348 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14833.cnf 0 SAT 7.37 71545 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15216.cnf 0 SAT 6.62 54034 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17801.cnf 0 SAT 9.86 75666 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15841.cnf 0 SAT 7.21 68413 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14371.cnf 0 SAT 5.31 55828 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12850.cnf 0 SAT 5.92 60737 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5813.cnf 0 SAT 9.0 64294 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8261.cnf 0 SAT 6.17 63221 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19997.cnf 0 UNSAT 8.39 46065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10012.cnf 0 SAT 6.24 46920 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12437.cnf 0 SAT 5.27 53938 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8425.cnf 0 SAT 7.97 83917 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14293.cnf 0 SAT 5.5 56308 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3751.cnf 0 SAT 9.05 80322 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7902.cnf 0 SAT 8.28 74454 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19593.cnf 0 SAT 7.09 57013 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13942.cnf 0 UNSAT 6.02 35588 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.516.cnf 0 UNSAT 7.0 38505 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.694.cnf 0 UNSAT 5.1 33715 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7691.cnf 0 SAT 6.02 61131 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15195.cnf 0 SAT 9.68 82338 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6209.cnf 0 SAT 6.07 62266 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19760.cnf 0 SAT 8.62 79187 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7293.cnf 0 SAT 7.01 63644 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9326.cnf 0 SAT 8.21 78665 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15632.cnf 0 SAT 5.33 55205 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17981.cnf 0 SAT 5.53 55647 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6599.cnf 0 SAT 6.93 63711 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3643.cnf 0 UNSAT 6.58 36272 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1497.cnf 0 UNSAT 7.67 64568 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16065.cnf 0 SAT 6.08 72702 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9247.cnf 0 SAT 8.52 73056 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18119.cnf 0 UNSAT 5.72 43037 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9413.cnf 0 SAT 8.03 60794 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15996.cnf 0 SAT 6.71 67251 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8656.cnf 0 SAT 5.56 49760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19332.cnf 0 UNSAT 6.25 43590 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10496.cnf 0 SAT 6.4 48199 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10240.cnf 0 SAT 5.39 58328 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17926.cnf 0 SAT 6.79 51011 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19274.cnf 0 SAT 5.01 42988 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3235.cnf 0 UNSAT 8.04 47580 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9007.cnf 0 SAT 8.42 78748 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2751.cnf 0 SAT 7.3 76588 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18866.cnf 0 SAT 6.32 62789 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18165.cnf 0 SAT 7.49 61485 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7311.cnf 0 SAT 9.52 74031 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15472.cnf 0 SAT 6.6 68693 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5008.cnf 0 SAT 8.9 65859 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13938.cnf 0 UNSAT 8.68 43800 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10146.cnf 0 SAT 7.56 69911 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12985.cnf 0 UNSAT 6.9 38509 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17082.cnf 0 SAT 9.56 76307 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1158.cnf 0 SAT 8.0 76638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19591.cnf 0 UNSAT 7.48 43120 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13617.cnf 0 SAT 6.34 59652 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12556.cnf 0 SAT 5.66 50073 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3108.cnf 0 SAT 7.77 70927 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.118.cnf 0 SAT 6.07 51440 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2859.cnf 0 UNSAT 7.2 40471 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3179.cnf 0 UNSAT 6.74 35208 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11662.cnf 0 SAT 8.15 68735 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19498.cnf 0 SAT 9.8 85510 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1392.cnf 0 SAT 7.93 73212 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7492.cnf 0 SAT 8.39 72922 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11948.cnf 0 SAT 7.56 80222 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4954.cnf 0 UNSAT 9.38 43730 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19845.cnf 0 SAT 5.61 53446 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13424.cnf 0 SAT 7.96 66794 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12181.cnf 0 SAT 5.78 50793 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1777.cnf 0 SAT 5.37 55272 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6263.cnf 0 SAT 5.69 53988 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12034.cnf 0 SAT 5.16 46284 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9311.cnf 0 SAT 7.98 76408 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3199.cnf 0 SAT 5.0 52471 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12396.cnf 0 SAT 9.58 83316 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19573.cnf 0 SAT 5.89 45088 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.967.cnf 0 SAT 5.48 49083 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10968.cnf 0 SAT 5.35 54567 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3340.cnf 0 SAT 5.86 48239 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4391.cnf 0 SAT 6.36 61484 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1674.cnf 0 SAT 7.32 65550 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9646.cnf 0 SAT 5.54 57517 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15854.cnf 0 SAT 6.91 65560 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19333.cnf 0 SAT 9.35 77896 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12526.cnf 0 UNSAT 7.83 48514 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19643.cnf 0 SAT 8.14 69805 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5388.cnf 0 SAT 9.13 81663 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8845.cnf 0 SAT 7.92 68293 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15707.cnf 0 SAT 6.82 57217 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18370.cnf 0 SAT 6.78 64793 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3326.cnf 0 SAT 8.92 71831 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17070.cnf 0 SAT 6.5 56147 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17575.cnf 0 SAT 5.4 55111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2080.cnf 0 SAT 8.19 82240 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10053.cnf 0 SAT 9.59 75924 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15567.cnf 0 UNSAT 6.83 39496 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17129.cnf 0 SAT 9.01 77487 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8023.cnf 0 UNSAT 5.05 36270 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9567.cnf 0 SAT 8.8 76193 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1960.cnf 0 SAT 6.66 52349 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1563.cnf 0 UNSAT 6.58 37246 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16958.cnf 0 UNSAT 7.14 44767 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2581.cnf 0 SAT 5.97 54447 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10222.cnf 0 SAT 5.33 46374 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15750.cnf 0 SAT 5.33 44796 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14654.cnf 0 SAT 9.68 78145 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14951.cnf 0 UNSAT 6.3 47638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9304.cnf 0 SAT 7.32 73251 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11870.cnf 0 SAT 8.05 63967 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2767.cnf 0 SAT 6.06 48656 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1398.cnf 0 SAT 9.18 77220 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8147.cnf 0 SAT 7.59 64128 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17809.cnf 0 SAT 8.22 71908 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13197.cnf 0 SAT 8.58 73353 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13449.cnf 0 SAT 5.79 51325 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15175.cnf 0 SAT 5.78 52300 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4545.cnf 0 SAT 5.1 51857 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8943.cnf 0 SAT 9.75 79884 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12930.cnf 0 SAT 8.09 78562 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9786.cnf 0 SAT 8.51 70071 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.275.cnf 0 UNSAT 9.77 43973 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11032.cnf 0 SAT 8.51 75517 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16456.cnf 0 UNSAT 6.83 44487 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14485.cnf 0 SAT 8.54 70019 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3162.cnf 0 SAT 6.82 55554 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14404.cnf 0 SAT 8.89 82223 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11708.cnf 0 SAT 7.44 58955 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11295.cnf 0 SAT 6.15 47913 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6839.cnf 0 SAT 9.17 73992 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2287.cnf 0 SAT 6.3 59654 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17972.cnf 0 SAT 7.49 60773 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14428.cnf 0 SAT 5.4 45211 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4533.cnf 0 SAT 5.19 45762 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2880.cnf 0 UNSAT 7.98 51814 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12756.cnf 0 SAT 5.65 53934 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16074.cnf 0 SAT 6.73 55552 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8547.cnf 0 SAT 7.24 65941 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4093.cnf 0 SAT 5.24 51200 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1337.cnf 0 SAT 8.46 73455 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16514.cnf 0 SAT 9.07 55725 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9295.cnf 0 UNSAT 7.72 37610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16476.cnf 0 SAT 5.78 57361 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11150.cnf 0 SAT 7.49 59778 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11871.cnf 0 SAT 7.42 72420 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4436.cnf 0 SAT 6.35 58399 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15822.cnf 0 SAT 6.54 58032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3892.cnf 0 SAT 6.46 61673 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11087.cnf 0 SAT 5.11 47998 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16426.cnf 0 SAT 8.02 67590 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1352.cnf 0 UNSAT 9.13 56704 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1798.cnf 0 SAT 8.36 71386 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.991.cnf 0 SAT 7.27 68563 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15585.cnf 0 SAT 8.19 75160 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3304.cnf 0 SAT 6.3 57437 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16866.cnf 0 SAT 9.72 75753 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16306.cnf 0 SAT 6.05 57560 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6857.cnf 0 SAT 9.71 66828 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12479.cnf 0 SAT 6.77 67302 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6322.cnf 0 SAT 5.65 59543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18982.cnf 0 SAT 5.94 58017 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17410.cnf 0 SAT 8.15 70068 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9687.cnf 0 SAT 6.5 53624 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4734.cnf 0 SAT 5.77 57291 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19487.cnf 0 SAT 8.44 72858 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16338.cnf 0 SAT 5.64 54470 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9115.cnf 0 SAT 5.94 56368 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18031.cnf 0 SAT 5.21 51250 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5501.cnf 0 SAT 6.87 49104 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1316.cnf 0 UNSAT 5.24 33434 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8274.cnf 0 SAT 7.94 74662 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19941.cnf 0 SAT 8.64 65615 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16584.cnf 0 SAT 7.72 52983 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11427.cnf 0 SAT 5.3 57291 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.445.cnf 0 SAT 5.47 46866 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19825.cnf 0 SAT 6.18 65717 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.880.cnf 0 SAT 6.02 55518 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15224.cnf 0 SAT 6.81 70862 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.559.cnf 0 SAT 8.06 65836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4150.cnf 0 SAT 7.81 68846 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3667.cnf 0 SAT 7.24 58386 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11505.cnf 0 SAT 6.7 55923 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13907.cnf 0 SAT 7.78 67966 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8579.cnf 0 SAT 9.29 77804 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1551.cnf 0 SAT 5.18 46545 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7435.cnf 0 SAT 7.88 66182 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10987.cnf 0 SAT 7.51 66456 -1.0 -1