Problem circuits_gq.ts circuits_gqc.ts circuits_nq72.ts circuits_quantor.ts circuits_rareqsuuh3pb.ts circuits_znenofex.ts
k10_2_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 34 (20+14) 800 (798+2) 42 (40+1)
k10_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 14 (13+1) 800 (798+2) 48 (47+1)
k10_2_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 17 (16+1) 800 (799+1) 51 (50+1)
k10_3_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 11 (10+1) 800 (798+2) 32 (31+1)
k10_3_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 14 (13+1) 800 (798+2) 37 (36+1)
k10_3_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 16 (15+1) 800 (799+1) 58 (56+1)
k10_4_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 16 (15+1) 800 (798+2) 44 (43+1)
k10_4_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 13 (12+1) 800 (799+2) 40 (38+1)
k10_4_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 16 (15+1) 800 (799+1) 80 (79+1)
k12_2_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 14 (13+1) 800 (799+1) 57 (55+1)
k12_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 16 (15+1) 800 (799+1) 90 (88+1)
k12_2_4.qdimacs.gz 800 (800+1) 800 (799+1) 800 (800+0) 14 (13+1) 800 (799+1) 59 (58+1)
k12_3_2.qdimacs.gz 800 (800+1) 800 (799+1) 800 (800+0) 14 (13+1) 800 (798+2) 49 (48+1)
k12_3_3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 13 (11+1) 800 (799+1) 45 (44+1)
k12_3_4.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 15 (13+1) 800 (799+1) 49 (48+1)
k12_4_2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 13 (12+1) 800 (799+2) 42 (41+1)
k12_4_3.qdimacs.gz 800 (799+1) 140 (138+2) 800 (800+0) 17 (15+1) 800 (799+1) 75 (73+1)
k12_4_4.qdimacs.gz 800 (799+1) 230 (228+2) 800 (800+0) 13 (12+1) 800 (799+1) 48 (47+1)
k14_2_2.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 18 (17+1) 800 (799+1) 55 (54+1)
k14_2_3.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 20 (19+1) 800 (799+1) 70 (69+1)
k14_2_4.qdimacs.gz 800 (799+2) 800 (798+2) 800 (800+0) 23 (22+1) 800 (799+1) 84 (82+1)
k14_3_2.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 18 (17+1) 800 (798+2) 51 (50+1)
k14_3_3.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 21 (19+1) 800 (799+1) 64 (62+1)
k14_3_4.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 23 (22+1) 800 (799+1) 54 (53+1)
k14_4_2.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 22 (21+1) 800 (799+1) 58 (57+1)
k14_4_3.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 19 (18+1) 800 (799+1) 54 (53+1)
k14_4_4.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 22 (21+1) 800 (800+1) 84 (83+1)
k3_1_1.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 55 328)
k3_1_2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 103 640)
k3_2_1.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 156 1634)
k3_2_2.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 294 2134)
k4_2_2.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 1 (s cnf 1)
624 (623+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 475 2744)
k5_2_2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+1) 800 (800+0) 800 (799+1) 800 (800+0)
k5_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 117 (117+0)
s cnf 1 (s TRUE)
43 (43+0)
s cnf 1 (s cnf 1)
89 (89+0)
s cnf 1 (s cnf 1 837 4047)
k5_3_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 331 (331+0)
s cnf 1 (s TRUE)
688 (686+1)
s cnf 1 (s cnf 1)
326 (326+0)
s cnf 1 (s cnf 1 988 3193)
k5_3_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 83 (82+1)
s cnf 1 (s TRUE)
299 (298+1)
s cnf 1 (s cnf 1)
71 (71+0)
s cnf 1 (s cnf 1 1389 4384)
k6_2_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (799+1) 800 (799+1) 800 (800+0)
k6_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+1) 800 (799+1) 800 (799+1) 800 (800+0)
k6_2_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (799+1) 700 (699+1)
s cnf 1 (s TRUE)
800 (799+1) 800 (800+0)
k6_3_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (799+1) 800 (798+2) 800 (799+1)
k6_3_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (799+1) 800 (799+2) 800 (797+3) 800 (799+1)
k6_3_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+2) 800 (798+2) 800 (799+1)
k6_4_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+2) 800 (797+3) 800 (799+1)
k6_4_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+2) 800 (798+2) 800 (799+1)
k6_4_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (797+3) 800 (798+2) 800 (799+1)
k7_2_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (799+1) 800 (799+1) 800 (800+0)
k7_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+2) 800 (799+2) 800 (799+1)
k7_2_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+2) 800 (799+1) 800 (800+0)
k7_3_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (798+3) 800 (798+3) 800 (799+1)
k7_3_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (796+4) 800 (797+3) 800 (799+1)
k7_3_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (796+4) 800 (798+2) 800 (799+1)
k7_4_2.qdimacs.gz 800 (800+0) 800 (800+1) 800 (800+0) 800 (795+5) 800 (797+3) 800 (799+1)
k7_4_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (794+6) 800 (798+2) 800 (799+1)
k7_4_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (792+8) 800 (799+1) 800 (799+1)
k8_2_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (797+3) 800 (799+1) 800 (799+1)
k8_2_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (796+4) 800 (798+2) 800 (799+1)
k8_2_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (795+5) 800 (799+2) 800 (799+1)
k8_3_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (794+6) 800 (798+2) 800 (799+1)
k8_3_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (792+8) 800 (798+2) 800 (799+1)
k8_3_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (789+11) 800 (799+1) 800 (799+1)
k8_4_2.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (788+12) 800 (798+2) 800 (799+1)
k8_4_3.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 800 (783+17) 800 (798+2) 28 (27+1)
k8_4_4.qdimacs.gz 800 (800+0) 800 (799+1) 800 (800+0) 29 (18+11) 800 (799+1) 41 (40+1)
TOTAL solved: 4
wins: 4
solved: 5
wins: 4
solved: 5
wins: 4
solved: 9
wins: 6
solved: 8
wins: 6
solved: 8
wins: 7
circuits_gq.ts circuits_gqc.ts circuits_nq72.ts circuits_quantor.ts circuits_rareqsuuh3pb.ts circuits_znenofex.ts