box (2, 2, 2): brute force 0.5s, SAT 0.0s
   cornerless:            brute     30  SAT     30  equal=True
   + sections H1=0:       brute     30  SAT     30  equal=True
   + chi >= 1:            brute      0  SAT      0  equal=True
box (1, 3, 3): brute force 0.5s, SAT 0.0s
   cornerless:            brute     11  SAT     11  equal=True
   + sections H1=0:       brute      0  SAT      0  equal=True
   + chi >= 1:            brute      0  SAT      0  equal=True
box (1, 3, 4): brute force 22.0s, SAT 0.0s
   cornerless:            brute     79  SAT     79  equal=True
   + sections H1=0:       brute      0  SAT      0  equal=True
   + chi >= 1:            brute      0  SAT      0  equal=True
box (2, 2, 3): brute force 233.0s, SAT 0.1s
   cornerless:            brute   1617  SAT   1617  equal=True
   + sections H1=0:       brute   1066  SAT   1066  equal=True
   + chi >= 1:            brute      0  SAT      0  equal=True
python3 validate_sat_ref2.py  252.60s user 1.04s system 99% cpu 4:16.12 total
