/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1688.cnf 0 UNSAT 6.11 34807 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10014.cnf 0 UNSAT 9.52 43705 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3415.cnf 0 SAT 5.21 54735 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13584.cnf 0 SAT 5.7 53807 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6607.cnf 0 SAT 8.74 79921 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16754.cnf 0 SAT 6.69 63709 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6096.cnf 0 SAT 6.92 58266 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3912.cnf 0 SAT 6.5 63277 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14251.cnf 0 SAT 5.95 58169 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8619.cnf 0 SAT 5.35 56157 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17595.cnf 0 SAT 7.78 71246 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14367.cnf 0 SAT 8.45 65896 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5539.cnf 0 SAT 5.69 52958 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9436.cnf 0 SAT 8.82 75436 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15486.cnf 0 SAT 9.31 72720 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16222.cnf 0 SAT 5.79 53374 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3790.cnf 0 SAT 7.77 69367 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15407.cnf 0 SAT 5.37 43893 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.407.cnf 0 SAT 5.1 47708 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11002.cnf 0 SAT 5.66 52202 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18222.cnf 0 SAT 8.47 67947 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8405.cnf 0 SAT 6.33 61627 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15341.cnf 0 SAT 9.63 79109 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9732.cnf 0 SAT 9.24 81185 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13433.cnf 0 SAT 7.06 47744 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12208.cnf 0 SAT 8.1 69621 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8736.cnf 0 SAT 8.35 73788 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17083.cnf 0 SAT 7.38 70449 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4788.cnf 0 SAT 7.44 67263 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19060.cnf 0 SAT 5.46 55578 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6721.cnf 0 UNSAT 5.49 33441 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16840.cnf 0 UNSAT 9.81 46712 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.141.cnf 0 UNSAT 9.51 49400 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7069.cnf 0 UNSAT 7.98 45473 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15081.cnf 0 SAT 5.27 51278 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8938.cnf 0 SAT 7.54 52583 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1924.cnf 0 SAT 7.16 62916 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16483.cnf 0 SAT 8.9 75581 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14271.cnf 0 UNSAT 7.59 41296 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11812.cnf 0 SAT 6.48 59117 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2993.cnf 0 SAT 6.44 49160 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11840.cnf 0 UNSAT 6.83 39035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17579.cnf 0 SAT 9.54 77267 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12334.cnf 0 UNSAT 7.54 38513 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9380.cnf 0 SAT 9.72 80855 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3819.cnf 0 SAT 8.27 77764 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6210.cnf 0 SAT 7.34 62636 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1747.cnf 0 UNSAT 7.35 30757 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14971.cnf 0 UNSAT 6.41 43005 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12365.cnf 0 SAT 6.56 52062 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.845.cnf 0 SAT 6.12 52400 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17523.cnf 0 SAT 6.17 52484 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19543.cnf 0 SAT 9.52 79158 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7789.cnf 0 SAT 8.06 74833 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16332.cnf 0 SAT 8.5 73846 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18629.cnf 0 SAT 8.56 71256 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17818.cnf 0 SAT 6.16 53111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15122.cnf 0 UNSAT 7.12 42294 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15199.cnf 0 SAT 6.26 62549 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6667.cnf 0 SAT 7.12 63765 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6066.cnf 0 SAT 8.39 70378 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.171.cnf 0 SAT 7.83 59572 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2879.cnf 0 SAT 8.38 77202 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4669.cnf 0 SAT 9.27 76996 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10641.cnf 0 SAT 6.37 53157 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17179.cnf 0 SAT 7.18 63402 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7794.cnf 0 SAT 8.81 62368 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1851.cnf 0 SAT 6.62 61462 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9170.cnf 0 UNSAT 6.26 60813 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13631.cnf 0 SAT 5.59 51548 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4512.cnf 0 SAT 6.56 63522 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14399.cnf 0 SAT 9.09 83138 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18935.cnf 0 SAT 9.45 84964 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2586.cnf 0 UNSAT 9.98 42838 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11471.cnf 0 UNSAT 5.75 36857 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18817.cnf 0 UNSAT 5.19 36016 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4053.cnf 0 SAT 9.38 78863 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.782.cnf 0 SAT 6.04 57170 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12912.cnf 0 SAT 9.79 78753 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17741.cnf 0 SAT 7.86 71323 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19669.cnf 0 SAT 9.55 81328 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4601.cnf 0 SAT 7.1 68011 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19834.cnf 0 SAT 8.12 75738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11846.cnf 0 SAT 6.12 55325 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12030.cnf 0 SAT 6.17 56259 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11123.cnf 0 SAT 5.1 51556 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15322.cnf 0 SAT 8.66 76207 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3267.cnf 0 SAT 5.03 50720 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.819.cnf 0 SAT 6.93 53086 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13425.cnf 0 SAT 5.49 55177 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8326.cnf 0 SAT 5.49 53756 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.211.cnf 0 SAT 5.06 40988 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9280.cnf 0 SAT 5.95 50925 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18127.cnf 0 SAT 7.23 58211 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5681.cnf 0 SAT 8.44 76188 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13628.cnf 0 UNSAT 7.26 40574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5973.cnf 0 SAT 8.8 77976 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10391.cnf 0 UNSAT 8.12 48228 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13575.cnf 0 SAT 5.29 55784 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19872.cnf 0 SAT 7.08 74023 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3665.cnf 0 SAT 6.68 56860 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7735.cnf 0 SAT 6.89 77199 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2102.cnf 0 SAT 5.28 45178 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8208.cnf 0 SAT 5.6 52688 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6443.cnf 0 UNSAT 7.7 44045 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8086.cnf 0 UNSAT 9.48 43477 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3127.cnf 0 SAT 6.41 59010 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12432.cnf 0 SAT 6.45 63441 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6483.cnf 0 SAT 6.7 65662 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15911.cnf 0 SAT 8.32 68642 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10546.cnf 0 SAT 5.6 62275 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7128.cnf 0 SAT 8.38 73298 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8146.cnf 0 SAT 7.96 73068 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11378.cnf 0 SAT 6.2 61189 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15647.cnf 0 UNSAT 8.14 52549 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8340.cnf 0 SAT 5.5 49367 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10904.cnf 0 UNSAT 5.03 28663 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20013.cnf 0 SAT 6.91 56682 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13405.cnf 0 SAT 5.94 58828 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18343.cnf 0 SAT 6.57 63656 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4723.cnf 0 SAT 9.11 77403 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4840.cnf 0 UNSAT 8.9 66864 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18681.cnf 0 UNSAT 7.73 41919 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16434.cnf 0 SAT 9.12 75256 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4811.cnf 0 SAT 9.33 73658 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2839.cnf 0 SAT 5.64 56028 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4129.cnf 0 UNSAT 8.86 45184 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3241.cnf 0 SAT 8.51 79930 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6124.cnf 0 UNSAT 6.25 43000 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2746.cnf 0 SAT 5.17 47972 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4107.cnf 0 SAT 5.12 59400 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19802.cnf 0 SAT 6.22 54598 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3913.cnf 0 SAT 5.36 52162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10367.cnf 0 SAT 5.93 55751 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19557.cnf 0 SAT 5.91 62802 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9221.cnf 0 UNSAT 6.87 42254 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17102.cnf 0 SAT 7.57 66483 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10085.cnf 0 SAT 8.08 70556 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5468.cnf 0 SAT 7.62 65825 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19096.cnf 0 SAT 7.52 72904 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19122.cnf 0 SAT 9.11 75642 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19973.cnf 0 SAT 9.58 82919 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11391.cnf 0 UNSAT 6.66 39328 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17785.cnf 0 SAT 5.0 50163 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4115.cnf 0 SAT 9.25 82445 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.408.cnf 0 UNSAT 5.8 34658 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2551.cnf 0 SAT 9.9 79516 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2589.cnf 0 SAT 7.6 76567 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11804.cnf 0 SAT 5.06 56070 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.391.cnf 0 SAT 9.76 83066 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15146.cnf 0 UNSAT 8.67 46316 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1597.cnf 0 SAT 5.83 55605 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.558.cnf 0 SAT 7.25 66422 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9299.cnf 0 SAT 8.1 74934 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18469.cnf 0 SAT 8.89 81248 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16207.cnf 0 SAT 9.82 79592 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.196.cnf 0 SAT 8.38 78069 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9352.cnf 0 SAT 8.54 79911 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17394.cnf 0 SAT 6.3 55593 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10576.cnf 0 SAT 8.13 75528 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10706.cnf 0 SAT 8.65 84053 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18808.cnf 0 SAT 7.81 68226 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19571.cnf 0 SAT 9.09 80592 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16070.cnf 0 UNSAT 7.76 47855 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15352.cnf 0 SAT 7.21 68257 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19663.cnf 0 SAT 8.77 78065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11327.cnf 0 SAT 9.81 80344 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16495.cnf 0 UNSAT 8.27 38916 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11394.cnf 0 SAT 5.05 48388 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13616.cnf 0 UNSAT 8.26 47550 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1090.cnf 0 SAT 5.21 52134 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12791.cnf 0 UNSAT 5.34 39127 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17682.cnf 0 SAT 8.3 68006 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14586.cnf 0 SAT 6.6 57381 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9069.cnf 0 UNSAT 7.16 38589 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2198.cnf 0 SAT 6.47 56978 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6715.cnf 0 SAT 7.8 74692 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9276.cnf 0 UNSAT 5.08 29492 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1380.cnf 0 SAT 5.11 49890 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3662.cnf 0 SAT 6.49 61215 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12117.cnf 0 SAT 7.17 52735 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3433.cnf 0 SAT 5.89 65400 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15900.cnf 0 SAT 7.12 69914 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2094.cnf 0 UNSAT 7.23 40111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3353.cnf 0 SAT 5.54 49228 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1041.cnf 0 SAT 6.21 52201 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2513.cnf 0 SAT 8.1 67742 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10214.cnf 0 SAT 8.7 81789 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4519.cnf 0 SAT 5.83 46773 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16797.cnf 0 SAT 9.35 78413 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5713.cnf 0 UNSAT 7.49 41156 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12347.cnf 0 SAT 5.97 53279 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6827.cnf 0 SAT 6.84 71084 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4148.cnf 0 SAT 8.94 79012 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15540.cnf 0 SAT 9.28 85039 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14121.cnf 0 SAT 5.0 44955 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15016.cnf 0 SAT 6.21 52110 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11547.cnf 0 SAT 6.09 60355 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8871.cnf 0 SAT 9.1 78435 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8912.cnf 0 SAT 5.68 59118 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10258.cnf 0 SAT 7.09 54499 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5368.cnf 0 SAT 5.39 47610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6458.cnf 0 UNSAT 6.48 31382 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.212.cnf 0 SAT 5.82 53049 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4373.cnf 0 SAT 5.44 53104 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16545.cnf 0 SAT 7.92 54177 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12382.cnf 0 SAT 5.04 49097 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7275.cnf 0 SAT 9.61 77802 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6023.cnf 0 SAT 6.49 54432 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4510.cnf 0 SAT 9.16 71670 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12906.cnf 0 SAT 9.61 77088 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10351.cnf 0 UNSAT 9.66 53227 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18991.cnf 0 SAT 9.31 76315 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.102.cnf 0 SAT 6.14 54072 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9867.cnf 0 UNSAT 8.53 43277 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9614.cnf 0 SAT 5.38 56481 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6826.cnf 0 SAT 9.3 72218 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14986.cnf 0 SAT 6.85 68477 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7189.cnf 0 SAT 8.26 68994 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20006.cnf 0 SAT 5.8 53634 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14630.cnf 0 SAT 5.94 61095 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2007.cnf 0 UNSAT 5.27 39472 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19094.cnf 0 SAT 9.77 79420 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7646.cnf 0 SAT 5.17 48783 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10298.cnf 0 SAT 5.3 51020 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18775.cnf 0 SAT 6.85 56162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16649.cnf 0 SAT 7.14 63960 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13161.cnf 0 SAT 5.99 53604 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3411.cnf 0 SAT 5.05 45909 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16320.cnf 0 SAT 8.63 79138 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16766.cnf 0 UNSAT 5.21 30886 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2068.cnf 0 SAT 6.56 58201 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2376.cnf 0 SAT 5.7 53087 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12287.cnf 0 SAT 8.36 66638 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13811.cnf 0 UNSAT 5.82 29578 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16441.cnf 0 SAT 6.6 53245 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19370.cnf 0 UNSAT 7.37 50206 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13177.cnf 0 SAT 9.67 79906 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2740.cnf 0 SAT 5.31 50894 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5103.cnf 0 SAT 6.01 64739 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3969.cnf 0 SAT 5.59 49027 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3335.cnf 0 UNSAT 6.25 37006 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10248.cnf 0 SAT 7.64 72926 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5283.cnf 0 SAT 5.2 51519 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14192.cnf 0 SAT 5.3 49966 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19055.cnf 0 UNSAT 8.81 54474 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10195.cnf 0 SAT 7.06 52354 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4470.cnf 0 UNSAT 9.7 44827 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16630.cnf 0 SAT 6.28 55767 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9655.cnf 0 SAT 9.75 78564 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1043.cnf 0 UNSAT 5.6 33466 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19865.cnf 0 SAT 6.84 55644 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7059.cnf 0 UNSAT 7.88 38588 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19893.cnf 0 SAT 5.06 49782 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6221.cnf 0 SAT 6.28 67818 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17806.cnf 0 SAT 6.71 59206 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11885.cnf 0 SAT 8.62 76493 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4287.cnf 0 UNSAT 5.69 31801 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17614.cnf 0 SAT 5.21 54544 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13223.cnf 0 SAT 5.4 53589 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17843.cnf 0 SAT 8.57 81071 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15156.cnf 0 SAT 6.58 59989 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7926.cnf 0 SAT 8.09 74247 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10220.cnf 0 UNSAT 5.37 57236 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17383.cnf 0 SAT 5.7 45613 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18250.cnf 0 SAT 8.16 67669 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6898.cnf 0 SAT 8.14 70234 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5874.cnf 0 SAT 6.39 66960 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10034.cnf 0 SAT 9.65 81783 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13128.cnf 0 SAT 9.27 79870 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6004.cnf 0 SAT 5.11 54291 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8444.cnf 0 SAT 8.03 65101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18485.cnf 0 SAT 5.85 59013 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11942.cnf 0 UNSAT 5.39 29424 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12076.cnf 0 UNSAT 7.32 30813 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6379.cnf 0 UNSAT 6.25 43311 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1593.cnf 0 SAT 5.01 47587 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6226.cnf 0 SAT 8.52 78568 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16016.cnf 0 SAT 8.95 81077 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7238.cnf 0 SAT 5.59 46340 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6484.cnf 0 SAT 7.74 73762 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16857.cnf 0 SAT 6.47 59675 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10290.cnf 0 SAT 8.8 75293 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6307.cnf 0 UNSAT 6.69 38276 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7458.cnf 0 SAT 6.75 73108 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19495.cnf 0 UNSAT 7.17 35741 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10826.cnf 0 SAT 5.26 52309 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5728.cnf 0 SAT 8.07 77822 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16981.cnf 0 SAT 7.04 68665 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16768.cnf 0 SAT 9.22 78657 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11330.cnf 0 SAT 6.62 63684 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19158.cnf 0 SAT 5.45 55619 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14810.cnf 0 SAT 9.09 81346 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3536.cnf 0 SAT 7.43 70105 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14453.cnf 0 UNSAT 6.92 47422 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9228.cnf 0 SAT 7.63 58635 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12811.cnf 0 SAT 6.57 58899 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12327.cnf 0 SAT 6.48 42228 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2653.cnf 0 SAT 9.07 74283 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10600.cnf 0 SAT 5.27 59154 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17629.cnf 0 SAT 6.79 63793 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3233.cnf 0 SAT 8.69 84565 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14236.cnf 0 SAT 5.02 46179 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19608.cnf 0 SAT 9.89 79430 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.350.cnf 0 UNSAT 8.52 36996 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9779.cnf 0 SAT 7.72 73053 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.537.cnf 0 SAT 7.77 65831 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13010.cnf 0 SAT 8.08 74236 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16889.cnf 0 SAT 8.46 79146 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.774.cnf 0 SAT 5.15 42482 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.966.cnf 0 SAT 9.34 69888 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6166.cnf 0 SAT 8.85 74859 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1039.cnf 0 SAT 6.27 61354 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6227.cnf 0 SAT 5.96 52408 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17305.cnf 0 UNSAT 9.96 52048 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9549.cnf 0 SAT 9.9 90927 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15273.cnf 0 UNSAT 8.53 48040 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12958.cnf 0 UNSAT 8.51 44387 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7886.cnf 0 SAT 7.26 60952 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2964.cnf 0 SAT 6.91 64582 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12008.cnf 0 SAT 5.58 58312 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19357.cnf 0 SAT 8.39 67889 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18488.cnf 0 SAT 9.23 83908 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1716.cnf 0 SAT 7.79 55065 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16757.cnf 0 SAT 7.07 60118 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9588.cnf 0 SAT 7.3 70413 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6448.cnf 0 SAT 5.64 54501 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3867.cnf 0 UNSAT 5.49 27403 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4130.cnf 0 SAT 5.43 54546 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16382.cnf 0 SAT 7.47 63930 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17799.cnf 0 SAT 8.84 83706 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16640.cnf 0 SAT 9.1 79571 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6169.cnf 0 UNSAT 7.61 67492 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8797.cnf 0 SAT 6.07 56783 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10882.cnf 0 SAT 8.77 80709 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19542.cnf 0 SAT 5.87 62820 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10289.cnf 0 SAT 6.8 60961 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18025.cnf 0 SAT 7.56 68564 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5450.cnf 0 UNSAT 9.73 56985 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9327.cnf 0 SAT 7.97 70082 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11981.cnf 0 SAT 6.49 64674 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.545.cnf 0 SAT 7.29 67613 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13548.cnf 0 SAT 7.52 71595 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17041.cnf 0 SAT 8.9 76906 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7778.cnf 0 SAT 8.42 69855 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9771.cnf 0 SAT 9.4 88109 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10063.cnf 0 SAT 5.58 56823 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7308.cnf 0 SAT 9.98 87165 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2278.cnf 0 SAT 8.25 80218 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.220.cnf 0 SAT 5.45 49465 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19768.cnf 0 SAT 6.76 54943 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.641.cnf 0 SAT 6.06 49265 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9690.cnf 0 UNSAT 6.24 51496 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5638.cnf 0 SAT 9.33 70670 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17805.cnf 0 SAT 9.4 69470 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9585.cnf 0 SAT 9.26 81597 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18355.cnf 0 SAT 6.17 53310 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6884.cnf 0 UNSAT 8.19 38346 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4989.cnf 0 SAT 8.73 72457 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11851.cnf 0 SAT 5.18 52162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11396.cnf 0 SAT 5.89 57156 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8534.cnf 0 SAT 5.2 55926 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19367.cnf 0 UNSAT 7.53 44506 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7906.cnf 0 SAT 8.01 65841 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.289.cnf 0 SAT 7.61 77283 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3914.cnf 0 SAT 7.55 68552 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14661.cnf 0 SAT 5.11 51383 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8549.cnf 0 SAT 5.66 56411 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14520.cnf 0 SAT 6.57 54874 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14912.cnf 0 SAT 8.48 74832 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9750.cnf 0 SAT 7.06 69798 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3618.cnf 0 UNSAT 7.03 64496 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7683.cnf 0 SAT 5.02 53480 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14753.cnf 0 SAT 5.94 51132 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6631.cnf 0 SAT 5.3 46691 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15047.cnf 0 SAT 6.09 54542 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4911.cnf 0 UNSAT 8.47 43733 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15745.cnf 0 UNSAT 5.95 30173 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.760.cnf 0 UNSAT 7.17 45202 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.104.cnf 0 SAT 5.03 49937 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7306.cnf 0 UNSAT 5.57 22872 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18351.cnf 0 SAT 6.97 58369 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1728.cnf 0 SAT 7.9 72082 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6925.cnf 0 SAT 8.86 79440 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13465.cnf 0 SAT 6.3 55998 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13656.cnf 0 SAT 6.43 64103 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11139.cnf 0 SAT 5.06 50571 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10628.cnf 0 SAT 7.04 67221 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15459.cnf 0 UNSAT 7.53 43393 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7925.cnf 0 SAT 6.85 50497 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15178.cnf 0 SAT 8.49 72485 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4233.cnf 0 SAT 8.52 77478 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1790.cnf 0 UNSAT 5.71 39785 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16719.cnf 0 SAT 8.98 66866 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12803.cnf 0 SAT 6.04 57079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10682.cnf 0 SAT 8.71 75850 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9324.cnf 0 SAT 9.54 74862 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7878.cnf 0 SAT 5.41 54337 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17830.cnf 0 SAT 5.59 51162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18693.cnf 0 SAT 8.13 80023 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4274.cnf 0 SAT 7.05 63256 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6790.cnf 0 UNSAT 6.17 46559 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14308.cnf 0 SAT 5.32 53836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17512.cnf 0 SAT 7.61 81539 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12804.cnf 0 SAT 8.41 77432 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4280.cnf 0 SAT 8.27 70469 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1968.cnf 0 SAT 8.12 79921 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11593.cnf 0 SAT 5.92 53883 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.351.cnf 0 SAT 5.03 53707 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1771.cnf 0 SAT 8.2 67272 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19801.cnf 0 SAT 5.82 50416 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11833.cnf 0 SAT 8.04 73940 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10087.cnf 0 UNSAT 7.07 39414 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7130.cnf 0 SAT 6.11 52039 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15098.cnf 0 SAT 9.21 65352 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1925.cnf 0 SAT 5.74 51870 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17382.cnf 0 SAT 5.26 51327 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19721.cnf 0 SAT 7.88 68659 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12932.cnf 0 SAT 8.63 72033 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5077.cnf 0 SAT 8.08 74104 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19214.cnf 0 SAT 6.12 60901 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13120.cnf 0 SAT 5.6 54604 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1134.cnf 0 UNSAT 7.25 36135 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11927.cnf 0 SAT 6.28 61884 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3605.cnf 0 SAT 5.39 49368 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5407.cnf 0 SAT 5.14 46952 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10094.cnf 0 UNSAT 6.48 41986 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6189.cnf 0 SAT 7.0 57042 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6426.cnf 0 SAT 6.19 55845 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15474.cnf 0 SAT 6.32 61409 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11069.cnf 0 SAT 7.11 74744 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6648.cnf 0 SAT 6.86 62120 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17710.cnf 0 SAT 5.51 52681 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15651.cnf 0 SAT 9.42 82610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12483.cnf 0 SAT 5.56 53926 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13452.cnf 0 SAT 5.58 45100 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4568.cnf 0 SAT 7.17 73348 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12969.cnf 0 SAT 5.44 51698 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12091.cnf 0 SAT 5.74 55841 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5231.cnf 0 UNSAT 7.11 37094 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17636.cnf 0 SAT 7.2 66574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15142.cnf 0 SAT 6.15 53403 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16988.cnf 0 SAT 5.4 52249 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8705.cnf 0 SAT 8.48 81153 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11090.cnf 0 SAT 9.49 82465 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6983.cnf 0 SAT 5.92 52339 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16448.cnf 0 SAT 5.93 56766 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15445.cnf 0 SAT 9.9 75647 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17275.cnf 0 SAT 5.46 41182 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13370.cnf 0 SAT 6.19 54423 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8409.cnf 0 SAT 8.68 68814 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8224.cnf 0 SAT 7.03 68053 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2979.cnf 0 UNSAT 7.63 44685 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14981.cnf 0 SAT 5.57 58454 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9509.cnf 0 SAT 6.07 66405 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15721.cnf 0 SAT 6.94 54794 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10779.cnf 0 SAT 7.3 66315 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14343.cnf 0 SAT 9.25 75407 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12280.cnf 0 SAT 6.35 55863 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10297.cnf 0 UNSAT 6.31 38308 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17130.cnf 0 SAT 6.35 48179 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3378.cnf 0 SAT 5.94 58023 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14105.cnf 0 SAT 8.47 64364 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2392.cnf 0 SAT 5.6 48968 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17647.cnf 0 SAT 5.05 51189 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12017.cnf 0 SAT 5.82 51978 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4904.cnf 0 UNSAT 5.76 31147 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18505.cnf 0 SAT 8.01 81431 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6085.cnf 0 SAT 9.99 81271 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11113.cnf 0 SAT 7.39 64770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16423.cnf 0 SAT 6.2 59357 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12377.cnf 0 SAT 9.53 86370 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12478.cnf 0 SAT 6.02 55624 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12597.cnf 0 UNSAT 7.24 44166 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3672.cnf 0 SAT 5.56 53009 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11279.cnf 0 SAT 5.08 49928 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1154.cnf 0 SAT 5.39 54300 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18656.cnf 0 UNSAT 9.64 54911 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19952.cnf 0 SAT 6.01 56714 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16827.cnf 0 UNSAT 6.97 39560 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10462.cnf 0 SAT 7.75 62543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12339.cnf 0 SAT 7.63 71709 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7540.cnf 0 UNSAT 9.16 46611 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19972.cnf 0 SAT 7.79 70435 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19867.cnf 0 SAT 8.69 85763 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19614.cnf 0 SAT 6.11 57456 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17078.cnf 0 SAT 8.02 72266 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13088.cnf 0 SAT 8.99 79728 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16249.cnf 0 SAT 5.67 55490 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10260.cnf 0 SAT 5.1 46342 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15219.cnf 0 SAT 7.33 59722 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6037.cnf 0 SAT 8.8 54739 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5908.cnf 0 SAT 7.49 77857 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12460.cnf 0 SAT 6.26 61644 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4761.cnf 0 UNSAT 7.44 37508 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2442.cnf 0 UNSAT 5.89 39555 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15827.cnf 0 SAT 8.72 67810 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.702.cnf 0 SAT 8.32 69145 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18833.cnf 0 SAT 8.19 63995 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13023.cnf 0 SAT 8.61 68079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6552.cnf 0 SAT 8.12 74503 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4782.cnf 0 SAT 5.21 53402 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9307.cnf 0 SAT 6.35 53878 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18523.cnf 0 UNSAT 8.11 40075 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14551.cnf 0 SAT 7.27 63098 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.659.cnf 0 UNSAT 6.76 37508 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8070.cnf 0 SAT 8.01 73000 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10253.cnf 0 SAT 5.6 51551 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17395.cnf 0 SAT 8.42 70032 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13024.cnf 0 UNSAT 5.6 36614 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15921.cnf 0 SAT 6.02 61347 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3728.cnf 0 SAT 8.08 63697 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2052.cnf 0 SAT 5.08 54390 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1049.cnf 0 SAT 7.12 62890 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13121.cnf 0 SAT 8.17 72253 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19049.cnf 0 SAT 8.92 67710 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14422.cnf 0 SAT 6.68 69314 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11896.cnf 0 SAT 8.51 77348 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14036.cnf 0 UNSAT 9.18 39774 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1325.cnf 0 SAT 5.99 51035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7682.cnf 0 SAT 9.3 84027 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16235.cnf 0 SAT 7.14 72387 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18690.cnf 0 SAT 5.78 53282 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16490.cnf 0 SAT 9.27 83875 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6061.cnf 0 SAT 6.74 62607 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18695.cnf 0 SAT 5.15 55883 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8830.cnf 0 SAT 8.63 73850 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6117.cnf 0 SAT 8.56 73267 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17738.cnf 0 SAT 5.96 56742 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6541.cnf 0 UNSAT 8.4 37738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15120.cnf 0 UNSAT 5.06 27355 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19856.cnf 0 SAT 5.87 54447 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1987.cnf 0 SAT 6.59 58429 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15757.cnf 0 SAT 9.36 72515 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6451.cnf 0 SAT 5.23 54834 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2330.cnf 0 UNSAT 5.18 34792 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13637.cnf 0 SAT 7.77 78666 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19789.cnf 0 SAT 8.47 68683 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14210.cnf 0 SAT 9.13 76924 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12560.cnf 0 SAT 5.78 49779 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11864.cnf 0 SAT 5.36 57892 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4358.cnf 0 SAT 7.65 61267 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17156.cnf 0 SAT 7.57 54919 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16351.cnf 0 SAT 7.49 56872 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4389.cnf 0 UNSAT 6.57 34074 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13209.cnf 0 SAT 5.72 50233 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10797.cnf 0 SAT 5.54 52944 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10206.cnf 0 SAT 7.59 66193 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4837.cnf 0 SAT 5.87 52797 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14351.cnf 0 SAT 8.28 69037 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5542.cnf 0 SAT 7.78 57434 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15696.cnf 0 UNSAT 9.28 44573 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5817.cnf 0 UNSAT 7.24 36114 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2364.cnf 0 SAT 8.68 73030 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8965.cnf 0 SAT 8.11 71760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11495.cnf 0 UNSAT 7.22 37421 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12292.cnf 0 SAT 5.64 58795 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17732.cnf 0 SAT 7.73 69437 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11304.cnf 0 UNSAT 7.73 48990 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6444.cnf 0 SAT 7.4 66309 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4652.cnf 0 UNSAT 5.68 36229 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4363.cnf 0 UNSAT 7.52 48094 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6592.cnf 0 SAT 9.53 74670 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5239.cnf 0 SAT 5.34 51461 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15784.cnf 0 UNSAT 8.71 43205 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7652.cnf 0 SAT 7.03 69283 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9979.cnf 0 SAT 5.28 46253 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16949.cnf 0 SAT 5.14 49289 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8691.cnf 0 UNSAT 7.96 50973 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6799.cnf 0 SAT 9.57 86728 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16790.cnf 0 SAT 5.64 54201 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3624.cnf 0 SAT 5.12 49431 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6996.cnf 0 SAT 8.12 61297 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5940.cnf 0 SAT 7.94 72230 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11753.cnf 0 SAT 5.53 48143 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3542.cnf 0 SAT 5.89 52362 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17671.cnf 0 SAT 5.79 63974 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15995.cnf 0 SAT 7.16 53041 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6346.cnf 0 UNSAT 9.92 56080 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4114.cnf 0 SAT 8.98 73567 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15186.cnf 0 SAT 5.29 47982 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6538.cnf 0 SAT 5.33 56731 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12635.cnf 0 SAT 8.46 68331 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13923.cnf 0 SAT 6.59 54436 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10623.cnf 0 SAT 6.04 52807 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6415.cnf 0 SAT 6.85 56234 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1933.cnf 0 SAT 6.45 58732 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18928.cnf 0 SAT 6.24 56244 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9191.cnf 0 SAT 5.41 55310 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10986.cnf 0 UNSAT 8.37 47272 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.206.cnf 0 UNSAT 5.98 34680 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5420.cnf 0 SAT 8.55 68037 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2280.cnf 0 SAT 7.24 66540 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17391.cnf 0 SAT 7.12 64267 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1820.cnf 0 SAT 7.88 71073 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7180.cnf 0 SAT 5.62 56918 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2694.cnf 0 SAT 8.54 75845 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13930.cnf 0 SAT 7.58 76706 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1522.cnf 0 SAT 6.88 68107 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15676.cnf 0 SAT 5.99 55049 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14781.cnf 0 SAT 8.74 67795 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2078.cnf 0 SAT 8.1 73082 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5899.cnf 0 SAT 6.01 52841 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12739.cnf 0 UNSAT 7.91 43660 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6271.cnf 0 SAT 6.85 62631 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18265.cnf 0 SAT 7.67 67242 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12792.cnf 0 SAT 8.23 68810 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2681.cnf 0 SAT 8.45 73206 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4396.cnf 0 UNSAT 6.89 48038 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1587.cnf 0 SAT 9.2 83398 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3180.cnf 0 SAT 5.65 48577 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15885.cnf 0 SAT 7.45 72276 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3695.cnf 0 UNSAT 6.6 44487 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17180.cnf 0 SAT 6.8 56945 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12072.cnf 0 SAT 9.28 82852 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13685.cnf 0 SAT 8.54 68565 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7707.cnf 0 SAT 9.22 82172 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18369.cnf 0 SAT 5.01 51772 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8375.cnf 0 UNSAT 5.78 40484 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19385.cnf 0 SAT 9.16 82699 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3256.cnf 0 SAT 9.21 87705 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9544.cnf 0 SAT 5.33 45295 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13606.cnf 0 UNSAT 8.0 42537 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4935.cnf 0 SAT 9.9 85012 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14004.cnf 0 SAT 5.15 56810 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15743.cnf 0 SAT 8.6 75488 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.854.cnf 0 SAT 6.16 48873 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3945.cnf 0 SAT 6.65 69231 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10190.cnf 0 UNSAT 8.13 47998 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8133.cnf 0 SAT 8.13 68979 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.805.cnf 0 UNSAT 5.47 37683 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13869.cnf 0 SAT 5.12 55926 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7072.cnf 0 SAT 5.21 50431 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5445.cnf 0 SAT 5.98 56406 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19199.cnf 0 SAT 8.25 59153 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6739.cnf 0 SAT 9.12 81802 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12131.cnf 0 SAT 8.01 63952 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11257.cnf 0 SAT 8.52 57067 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3100.cnf 0 SAT 7.7 54528 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12214.cnf 0 SAT 6.92 61640 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18564.cnf 0 SAT 9.22 83350 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5787.cnf 0 UNSAT 9.22 47070 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17754.cnf 0 SAT 5.04 56402 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7741.cnf 0 UNSAT 5.67 40983 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.784.cnf 0 UNSAT 5.8 39352 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17280.cnf 0 SAT 9.84 76321 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14522.cnf 0 SAT 8.9 75985 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20036.cnf 0 SAT 9.12 77764 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14931.cnf 0 UNSAT 5.67 36389 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3202.cnf 0 SAT 5.46 52458 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14846.cnf 0 SAT 6.9 46230 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2820.cnf 0 SAT 7.83 70643 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2701.cnf 0 SAT 6.69 61438 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2141.cnf 0 SAT 5.3 49832 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2755.cnf 0 SAT 5.66 55324 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8254.cnf 0 SAT 5.88 49127 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17429.cnf 0 UNSAT 6.34 37107 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14451.cnf 0 SAT 7.71 69320 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18802.cnf 0 SAT 7.25 67348 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1281.cnf 0 SAT 7.47 61866 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3170.cnf 0 SAT 6.92 73801 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12625.cnf 0 UNSAT 6.82 42488 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.859.cnf 0 SAT 8.57 79954 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6324.cnf 0 SAT 7.34 60131 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14597.cnf 0 SAT 8.24 75985 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19810.cnf 0 SAT 6.65 64716 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9089.cnf 0 UNSAT 5.17 33516 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12646.cnf 0 SAT 9.09 83379 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2088.cnf 0 SAT 8.35 70853 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18078.cnf 0 UNSAT 7.23 30346 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18142.cnf 0 SAT 5.16 49038 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18944.cnf 0 SAT 8.4 80030 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12413.cnf 0 SAT 7.4 68647 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19767.cnf 0 SAT 7.42 75160 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10679.cnf 0 UNSAT 9.0 49634 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10117.cnf 0 SAT 8.07 70205 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13294.cnf 0 SAT 5.68 55829 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12489.cnf 0 SAT 6.08 58968 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.734.cnf 0 SAT 5.26 48120 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17422.cnf 0 UNSAT 7.66 45836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11728.cnf 0 SAT 7.23 71092 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12032.cnf 0 SAT 9.16 85124 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6338.cnf 0 SAT 7.65 73422 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14127.cnf 0 UNSAT 5.92 41053 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19377.cnf 0 SAT 7.64 65633 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14278.cnf 0 SAT 6.04 52515 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16484.cnf 0 SAT 5.96 51574 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1202.cnf 0 SAT 5.82 52738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16360.cnf 0 SAT 7.3 69476 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19813.cnf 0 SAT 6.68 61318 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.199.cnf 0 SAT 6.88 62414 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13688.cnf 0 SAT 6.27 60043 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15237.cnf 0 SAT 5.56 63675 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7107.cnf 0 SAT 9.51 92248 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13894.cnf 0 SAT 5.98 58156 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1973.cnf 0 SAT 6.84 56001 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17921.cnf 0 UNSAT 6.51 38330 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17482.cnf 0 SAT 5.74 52750 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9555.cnf 0 SAT 5.37 49198 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8717.cnf 0 SAT 6.07 57867 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18821.cnf 0 SAT 8.71 72395 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4862.cnf 0 SAT 7.2 69309 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9615.cnf 0 SAT 9.69 64592 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8642.cnf 0 SAT 5.47 51543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5128.cnf 0 SAT 5.33 54648 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1452.cnf 0 SAT 6.07 54570 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12312.cnf 0 SAT 9.04 78313 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19392.cnf 0 SAT 9.95 81678 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14782.cnf 0 SAT 7.14 72419 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11101.cnf 0 UNSAT 7.28 42205 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13722.cnf 0 SAT 5.2 47251 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16936.cnf 0 SAT 9.01 76997 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17869.cnf 0 SAT 9.4 75371 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5677.cnf 0 SAT 5.99 52672 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1629.cnf 0 SAT 5.51 54801 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6208.cnf 0 SAT 6.31 63950 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8853.cnf 0 SAT 7.62 70188 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4793.cnf 0 SAT 8.11 79845 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1850.cnf 0 UNSAT 5.75 31385 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4050.cnf 0 SAT 5.19 52393 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1730.cnf 0 SAT 7.67 67236 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19149.cnf 0 UNSAT 6.99 45417 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5441.cnf 0 SAT 5.08 53090 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11892.cnf 0 SAT 7.53 71249 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10002.cnf 0 SAT 7.7 76312 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12056.cnf 0 UNSAT 5.15 41686 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14572.cnf 0 SAT 8.52 75456 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5141.cnf 0 UNSAT 5.64 52079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3534.cnf 0 SAT 5.38 53748 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11275.cnf 0 SAT 6.83 53383 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14191.cnf 0 SAT 6.9 64400 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2891.cnf 0 SAT 6.83 62360 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11901.cnf 0 SAT 7.44 74237 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3397.cnf 0 SAT 7.41 69569 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14938.cnf 0 SAT 6.33 50162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16842.cnf 0 UNSAT 7.59 41500 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9901.cnf 0 SAT 5.52 57242 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3973.cnf 0 SAT 7.03 67282 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8106.cnf 0 SAT 6.09 74693 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10783.cnf 0 SAT 8.79 68035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14255.cnf 0 SAT 8.9 58915 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13301.cnf 0 SAT 7.6 61760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1628.cnf 0 SAT 7.12 66729 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17724.cnf 0 SAT 5.79 45721 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12768.cnf 0 SAT 8.77 81995 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5953.cnf 0 SAT 9.73 83087 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5246.cnf 0 SAT 8.98 87789 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6806.cnf 0 SAT 7.2 66685 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8667.cnf 0 SAT 7.19 61106 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6114.cnf 0 SAT 5.66 54193 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16571.cnf 0 SAT 9.51 80610 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13015.cnf 0 SAT 7.91 67798 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3145.cnf 0 SAT 5.01 46770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17847.cnf 0 SAT 7.65 65972 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16085.cnf 0 UNSAT 5.65 43323 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16629.cnf 0 SAT 7.82 65101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17293.cnf 0 SAT 8.55 67792 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19861.cnf 0 SAT 5.69 52584 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4453.cnf 0 SAT 9.23 78054 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17369.cnf 0 SAT 5.22 51853 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8664.cnf 0 SAT 6.06 55072 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7484.cnf 0 UNSAT 5.2 28620 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5398.cnf 0 SAT 7.39 69624 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12213.cnf 0 SAT 9.37 96331 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3668.cnf 0 SAT 6.58 50784 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.705.cnf 0 SAT 5.63 47639 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5979.cnf 0 SAT 7.91 59054 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16429.cnf 0 SAT 9.44 80062 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2584.cnf 0 UNSAT 7.71 31772 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13804.cnf 0 UNSAT 6.61 40059 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10940.cnf 0 SAT 7.4 60986 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7429.cnf 0 SAT 7.45 67661 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16814.cnf 0 SAT 9.18 82733 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8163.cnf 0 SAT 5.11 52360 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11155.cnf 0 SAT 6.93 65420 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12546.cnf 0 UNSAT 6.14 42232 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17904.cnf 0 SAT 9.33 71282 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2106.cnf 0 SAT 9.5 79033 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11211.cnf 0 UNSAT 8.11 46455 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15884.cnf 0 SAT 6.92 61938 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10697.cnf 0 SAT 8.29 70226 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17908.cnf 0 SAT 6.09 55007 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5933.cnf 0 SAT 8.32 75389 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2247.cnf 0 UNSAT 5.76 36200 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6281.cnf 0 SAT 8.1 80731 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5457.cnf 0 SAT 5.49 56008 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1572.cnf 0 SAT 8.84 72164 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2375.cnf 0 SAT 8.41 68338 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14388.cnf 0 SAT 8.7 82540 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10843.cnf 0 SAT 9.33 63327 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14385.cnf 0 SAT 5.79 53586 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12750.cnf 0 SAT 8.24 67770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15094.cnf 0 UNSAT 7.23 50038 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5815.cnf 0 UNSAT 9.27 47946 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.926.cnf 0 SAT 8.83 70438 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3844.cnf 0 SAT 6.65 64201 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1540.cnf 0 SAT 8.27 62572 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19919.cnf 0 SAT 7.7 79245 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4241.cnf 0 SAT 7.17 65836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6111.cnf 0 SAT 8.47 74961 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14580.cnf 0 SAT 5.32 49842 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4910.cnf 0 UNSAT 9.66 48985 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18430.cnf 0 SAT 8.68 85238 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19202.cnf 0 UNSAT 5.22 37101 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6964.cnf 0 SAT 6.37 75703 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5344.cnf 0 SAT 7.85 75085 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2292.cnf 0 SAT 5.06 54455 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15390.cnf 0 UNSAT 7.22 50402 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10913.cnf 0 SAT 6.7 63257 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15648.cnf 0 SAT 8.22 75450 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5533.cnf 0 SAT 7.65 64170 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9513.cnf 0 SAT 8.92 71037 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11801.cnf 0 UNSAT 8.15 38286 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1836.cnf 0 UNSAT 6.95 48950 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6232.cnf 0 SAT 5.54 58240 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17384.cnf 0 SAT 9.83 79665 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.860.cnf 0 SAT 5.12 55079 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11352.cnf 0 SAT 6.29 59011 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1945.cnf 0 SAT 6.2 56639 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.381.cnf 0 SAT 5.91 49327 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5422.cnf 0 SAT 6.77 55714 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8061.cnf 0 SAT 6.75 68111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18029.cnf 0 SAT 9.1 78454 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16602.cnf 0 SAT 6.06 56615 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17148.cnf 0 SAT 8.29 90973 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9708.cnf 0 SAT 8.27 73518 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7163.cnf 0 UNSAT 6.64 49924 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7119.cnf 0 SAT 9.76 74004 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3078.cnf 0 SAT 8.27 74351 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9722.cnf 0 SAT 7.14 60023 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15457.cnf 0 SAT 9.53 75109 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13275.cnf 0 UNSAT 5.5 40035 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7044.cnf 0 SAT 5.9 51127 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4087.cnf 0 SAT 7.87 80197 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6687.cnf 0 SAT 7.27 66411 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10139.cnf 0 SAT 5.46 56726 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10786.cnf 0 SAT 5.96 57495 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4264.cnf 0 SAT 9.76 71111 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17058.cnf 0 SAT 7.0 62613 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4052.cnf 0 SAT 8.62 76436 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1334.cnf 0 SAT 7.92 75396 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4328.cnf 0 SAT 9.58 74772 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15254.cnf 0 UNSAT 9.52 56744 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19401.cnf 0 UNSAT 5.52 30960 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11865.cnf 0 SAT 6.98 68770 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9315.cnf 0 SAT 5.01 55269 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17152.cnf 0 SAT 5.8 52595 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17393.cnf 0 SAT 7.43 55142 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7526.cnf 0 SAT 7.92 72691 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8194.cnf 0 SAT 9.31 79155 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14139.cnf 0 SAT 8.52 68556 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12668.cnf 0 SAT 5.34 56213 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3553.cnf 0 SAT 7.14 64445 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10667.cnf 0 UNSAT 9.94 55159 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11051.cnf 0 UNSAT 8.62 42577 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12028.cnf 0 SAT 5.04 49604 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15013.cnf 0 SAT 8.55 78802 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14519.cnf 0 SAT 6.25 65170 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4202.cnf 0 SAT 7.1 70962 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2996.cnf 0 UNSAT 5.08 33399 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18584.cnf 0 UNSAT 9.94 62017 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18992.cnf 0 SAT 5.07 40836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8720.cnf 0 SAT 6.78 64760 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14964.cnf 0 SAT 5.54 52836 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1391.cnf 0 SAT 9.48 70591 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4970.cnf 0 SAT 9.62 68956 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16513.cnf 0 SAT 6.44 64074 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15758.cnf 0 SAT 5.36 54363 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1821.cnf 0 SAT 6.26 51415 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1123.cnf 0 SAT 5.98 56807 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8596.cnf 0 SAT 5.83 61953 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14214.cnf 0 SAT 5.26 56373 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11977.cnf 0 UNSAT 7.12 41344 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16716.cnf 0 UNSAT 9.73 41178 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8125.cnf 0 SAT 8.17 77386 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16626.cnf 0 SAT 8.45 79181 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.911.cnf 0 UNSAT 6.9 30282 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7690.cnf 0 SAT 7.93 66021 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13457.cnf 0 SAT 5.09 48500 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13768.cnf 0 SAT 9.74 73635 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20027.cnf 0 SAT 8.07 70285 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14588.cnf 0 SAT 5.28 49969 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4235.cnf 0 SAT 5.44 49335 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19906.cnf 0 SAT 8.62 68369 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6762.cnf 0 SAT 6.65 61448 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5212.cnf 0 UNSAT 7.74 43350 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14694.cnf 0 SAT 9.93 83472 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18143.cnf 0 SAT 7.46 71962 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15210.cnf 0 SAT 8.01 69854 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18795.cnf 0 SAT 8.09 71127 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16341.cnf 0 SAT 7.73 77706 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11960.cnf 0 SAT 9.05 80637 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.998.cnf 0 SAT 7.46 73125 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12755.cnf 0 SAT 9.59 61465 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13129.cnf 0 UNSAT 8.85 38443 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14604.cnf 0 SAT 5.8 49753 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9142.cnf 0 SAT 6.53 57439 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7714.cnf 0 SAT 9.34 79317 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14891.cnf 0 SAT 8.08 75820 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16102.cnf 0 SAT 9.19 82635 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6653.cnf 0 SAT 9.35 82025 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6261.cnf 0 UNSAT 5.39 36458 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3055.cnf 0 SAT 9.36 66608 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9733.cnf 0 SAT 5.35 51154 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8374.cnf 0 SAT 7.39 58487 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14438.cnf 0 SAT 5.3 50898 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1275.cnf 0 SAT 5.42 46588 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16193.cnf 0 UNSAT 6.7 42678 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18558.cnf 0 SAT 7.7 74438 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11135.cnf 0 UNSAT 7.54 42535 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15792.cnf 0 UNSAT 7.75 46318 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15935.cnf 0 SAT 5.49 53854 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12411.cnf 0 SAT 9.79 83194 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16853.cnf 0 UNSAT 6.12 37502 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2519.cnf 0 SAT 5.54 50808 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19604.cnf 0 SAT 5.88 59162 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1233.cnf 0 UNSAT 8.82 43473 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8519.cnf 0 SAT 5.35 53088 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16071.cnf 0 SAT 7.21 77248 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18231.cnf 0 SAT 7.28 68280 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10064.cnf 0 SAT 5.54 57932 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11672.cnf 0 UNSAT 5.85 39241 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3770.cnf 0 SAT 8.35 81416 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12921.cnf 0 SAT 9.81 76600 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.888.cnf 0 SAT 8.54 74541 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19338.cnf 0 SAT 9.65 80605 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.11775.cnf 0 SAT 7.81 66742 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15718.cnf 0 SAT 7.46 71738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.829.cnf 0 SAT 6.73 54707 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15826.cnf 0 SAT 9.13 80169 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10019.cnf 0 SAT 9.63 75665 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14234.cnf 0 SAT 5.5 45211 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14845.cnf 0 UNSAT 5.84 38482 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5630.cnf 0 SAT 8.92 80622 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19208.cnf 0 SAT 7.6 53229 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9468.cnf 0 SAT 9.62 73586 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9279.cnf 0 UNSAT 6.86 37986 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10410.cnf 0 SAT 6.18 55415 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9008.cnf 0 SAT 6.86 65372 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8321.cnf 0 UNSAT 7.27 41470 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10228.cnf 0 SAT 6.2 61155 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3511.cnf 0 SAT 5.62 47184 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4398.cnf 0 SAT 6.76 70649 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4394.cnf 0 UNSAT 5.47 32222 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5707.cnf 0 SAT 8.76 66257 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3966.cnf 0 SAT 7.18 64507 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19008.cnf 0 SAT 7.63 74368 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19852.cnf 0 SAT 5.99 60351 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1213.cnf 0 SAT 5.99 53152 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7713.cnf 0 SAT 5.12 49343 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.304.cnf 0 SAT 7.78 75597 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.2989.cnf 0 SAT 7.79 75059 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.3150.cnf 0 SAT 7.13 64348 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18048.cnf 0 UNSAT 5.59 34300 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14811.cnf 0 SAT 7.53 56917 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18807.cnf 0 SAT 5.22 52345 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.15526.cnf 0 SAT 8.24 83234 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14662.cnf 0 SAT 5.75 48497 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5909.cnf 0 SAT 5.0 47073 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8760.cnf 0 SAT 8.42 74973 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14874.cnf 0 SAT 9.52 74366 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19464.cnf 0 UNSAT 5.76 40228 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.783.cnf 0 SAT 7.37 66483 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17348.cnf 0 UNSAT 8.6 39083 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14849.cnf 0 SAT 5.12 50215 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.20004.cnf 0 SAT 5.84 57325 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8355.cnf 0 SAT 6.02 53370 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.9542.cnf 0 SAT 8.43 63549 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.1782.cnf 0 SAT 5.6 57426 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.652.cnf 0 SAT 5.82 57167 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12435.cnf 0 UNSAT 5.37 30185 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16163.cnf 0 UNSAT 5.58 35323 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.10302.cnf 0 SAT 6.19 62463 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16178.cnf 0 SAT 5.3 51062 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19968.cnf 0 SAT 6.33 65543 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16679.cnf 0 SAT 9.7 90670 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.723.cnf 0 UNSAT 6.33 29766 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.19224.cnf 0 SAT 7.1 73780 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8576.cnf 0 SAT 6.43 57818 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.18753.cnf 0 UNSAT 9.32 40642 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4540.cnf 0 UNSAT 6.72 40488 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6726.cnf 0 SAT 5.0 52575 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.8776.cnf 0 SAT 8.06 84320 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13706.cnf 0 SAT 5.18 55039 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13033.cnf 0 SAT 8.56 66967 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12190.cnf 0 SAT 7.39 65001 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.678.cnf 0 SAT 9.83 84542 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.7092.cnf 0 SAT 7.54 60714 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.4023.cnf 0 UNSAT 9.66 44357 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.12730.cnf 0 UNSAT 6.61 36093 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.16532.cnf 0 SAT 5.28 53192 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.14347.cnf 0 SAT 8.54 72823 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.5059.cnf 0 SAT 7.22 67482 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13948.cnf 0 SAT 8.51 77002 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.992.cnf 0 SAT 7.54 75657 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.13044.cnf 0 SAT 7.11 60738 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6748.cnf 0 SAT 7.33 64629 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.17530.cnf 0 SAT 8.54 84999 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.665.cnf 0 SAT 8.66 71827 -1.0 -1
/ubc/cs/project/arrow/projects/Sat_Data/UBCSAT_INSTANCES/smallworlds/SWlin2006.6097.cnf 0 SAT 9.06 84136 -1.0 -1