# d = 8: a b area I method result counts secs
11 19 162 81 full-SAT SAT {'R': 27, 'S': 7, 'V': 13, 'F': 7} 0.0
14 22 258 78 full-SAT SAT {'S': 15, 'V': 18, 'R': 26, 'F': 27} 0.0
17 25 372 75 full-SAT SAT {'F': 40, 'V': 33, 'S': 26, 'R': 25} 0.0
20 28 504 72 full-SAT SAT {'V': 41, 'F': 36, 'S': 67, 'R': 24} 0.2
23 31 654 69 full-SAT SAT {'V': 67, 'F': 65, 'R': 23, 'S': 63} 0.6
26 34 822 66 cluster(t=8,r=6,left) SAT {'V': 87, 'F': 105, 'S': 60, 'R': 22} 0.3
29 37 1008 63 cluster(t=7,r=0,left) SAT {'S': 105, 'V': 105, 'F': 105, 'R': 21} 0.8
