RESULT UNSAT mode=int box=(4, 2, 2) it=13 t=0.5
RESULT UNSAT mode=half box=(4, 2, 2) it=7 t=0.4
RESULT UNSAT mode=int box=(3, 3, 2) it=21 t=5.5
RESULT UNSAT mode=half box=(3, 3, 2) it=10 t=6.2
RESULT UNSAT mode=int box=(4, 3, 2) it=66 t=324.2
RESULT UNSAT mode=half box=(4, 3, 2) it=33 t=417.2


[exited with code 0]
