436 box records, 280 with cell certificates
threshold C5 - 0: 0 of 280 boxes fail; 28s
threshold C5 - 1e-4: 0 of 280 boxes fail; 28s
threshold C5 - 3e-4: 9 of 280 boxes fail; 28s; e.g. [[5, 3, 5, 29], [5, 3, 5, 19], [5, 3, 5, 26], [5, 4, 5, 21]]
threshold C5 - 1e-3: 50 of 280 boxes fail; 26s; e.g. [[4, 3, 4, 10], [4, 3, 4, 9], [4, 3, 4, 11], [4, 3, 4, 12]]
threshold C5 - 3e-3: 187 of 280 boxes fail; 12s; e.g. [[4, 3, 4, 10], [4, 3, 4, 9], [4, 4, 4, 5], [4, 4, 4, 6]]
box tiling, all records: True
box tiling without record 0 (box [4, 0, 4, 0]): False
box tiling without record 218 (box [4, 15, 4, 11]): False
box tiling without record 435 (box [8, 1, 8, 157]): False
box tiling with record 0 moved out of range (box [4, 16, 4, 0]): False (box index out of range [4, 16, 4, 0])
box tiling with record 218 moved out of range (box [4, 31, 4, 11]): False (box index out of range [4, 31, 4, 11])
box tiling with record 435 moved out of range (box [8, 257, 8, 157]): False (box index out of range [8, 257, 8, 157])
box [7, 1, 7, 79] without its cell certificate [1, 1, 1]: verified = False (cells do not tile)
box [7, 1, 7, 79] without its cell certificate [2, 0, 0]: verified = False (cells do not tile)
box [7, 1, 7, 79] with cell [1, 1, 1] moved out of range: verified = False (cells do not tile)
