symmetry c3inv equivalences: 1448
vertex cap |V| <= 72
RESULT UNSAT box=(5, 5, 5) skipdir=-1 induced=True iterations=5 lazy_clauses=180 time=29.8s
finished
