RESULT UNSAT box=(2, 2, 2) skipdir=-1 induced=False iterations=1 lazy_clauses=0 time=0.0s
RESULT UNSAT box=(2, 2, 3) skipdir=-1 induced=False iterations=3 lazy_clauses=8 time=0.0s
RESULT UNSAT box=(2, 2, 4) skipdir=-1 induced=False iterations=7 lazy_clauses=28 time=0.3s
RESULT UNSAT box=(2, 2, 5) skipdir=-1 induced=False iterations=12 lazy_clauses=64 time=6.9s
RESULT UNSAT box=(2, 2, 6) skipdir=-1 induced=False iterations=19 lazy_clauses=120 time=180.5s
RESULT UNSAT box=(2, 3, 3) skipdir=-1 induced=False iterations=12 lazy_clauses=66 time=1.8s
RESULT UNSAT box=(3, 3, 2) skipdir=-1 induced=False iterations=10 lazy_clauses=58 time=2.3s
RESULT UNSAT box=(2, 3, 4) skipdir=-1 induced=False iterations=34 lazy_clauses=273 time=571.6s
