n,Z,status,lower_evidence,upper_evidence,known
11,6,fully certified,exhaustive(sizes<=5);fortcover-DRAT(b=5);round-SAT-unsat(s=5)[solver-supported],witness(6);bruteforce-witness,
12,8,fully certified,exhaustive(sizes<=7);fortcover-DRAT(b=7);round-SAT-unsat(s=7)[solver-supported],witness(8);P7;bruteforce-witness,
13,9,fully certified,exhaustive(sizes<=8);fortcover-DRAT(b=8);round-SAT-unsat(s=8)[solver-supported],witness(9);P7;bruteforce-witness,
14,8,fully certified,exhaustive(sizes<=7);fortcover-DRAT(b=7);round-SAT-unsat(s=7)[solver-supported],witness(8);P7;bruteforce-witness,
15,8,fully certified,exhaustive(sizes<=7);fortcover-DRAT(b=7);round-SAT-unsat(s=7)[solver-supported],witness(8);P7;bruteforce-witness,
16,8,fully certified,exhaustive(sizes<=7);fortcover-DRAT(b=7);round-SAT-unsat(s=7)[solver-supported],witness(8);P7;bruteforce-witness,
17,10,fully certified,exhaustive(sizes<=9);fortcover-DRAT(b=9);round-SAT-unsat(s=9)[solver-supported],witness(10);P7;bruteforce-witness,
18,10,fully certified,exhaustive(sizes<=9);fortcover-DRAT(b=9),witness(10);P7;bruteforce-witness,
19,10,fully certified,exhaustive(sizes<=9);fortcover-DRAT(b=9),witness(10);P7;bruteforce-witness,
20,10,fully certified,exhaustive(sizes<=9);fortcover-DRAT(b=9),witness(10);P7;bruteforce-witness,
21,10,fully certified,exhaustive(sizes<=9);fortcover-DRAT(b=9),witness(10)?;P7;bruteforce-witness,
22,11,fully certified,exhaustive(sizes<=10);fortcover-DRAT(b=10),witness(11)?;P7;bruteforce-witness,
23,12,fully certified,exhaustive(sizes<=11),witness(12)?;P7;bruteforce-witness,
24,12,fully certified,exhaustive(sizes<=11);boundary-DRAT(p=18)+Lemma3.1,P7;bruteforce-witness,
25,12,fully certified,exhaustive(sizes<=11),witness(12)?;P7;bruteforce-witness,
26,12,fully certified,"exhaustive(sizes<=11);boundary-DRAT(p=18,20)+Lemma3.1",P7;bruteforce-witness,
27,12,fully certified,"exhaustive(sizes<=11);boundary-DRAT(p=18,20)+Lemma3.1",P7;bruteforce-witness,
28,12,fully certified,"boundary-DRAT(p=18,20)+Lemma3.1",P7,
29,12,fully certified,"boundary-DRAT(p=18,20)+Lemma3.1",P7,
30,12,fully certified,"boundary-DRAT(p=18,20)+Lemma3.1",P7,
31,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
32,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
33,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
34,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
35,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
36,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
37,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
38,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
39,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
40,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
41,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
42,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
43,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
44,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
45,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
46,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
47,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,
48,12,fully certified,boundary-DRAT(p=18)+Lemma3.1,P7,