# d = 7: a b area I method result counts secs
10 17 132 60 full-SAT SAT {'R': 20, 'S': 7, 'V': 8, 'F': 9} 0.0
13 20 219 57 full-SAT SAT {'F': 21, 'R': 19, 'S': 20, 'V': 13} 0.0
16 23 324 54 full-SAT SAT {'S': 35, 'V': 23, 'F': 32, 'R': 18} 0.0
19 26 447 51 full-SAT SAT {'R': 17, 'S': 56, 'V': 35, 'F': 41} 0.1
22 29 588 48 cluster(t=7,r=5,right) SAT {'S': 62, 'F': 45, 'V': 73, 'R': 16} 0.5
25 32 747 45 cluster(t=6,r=0,left) SAT {'V': 78, 'F': 78, 'S': 78, 'R': 15} 0.1
