Problem Adder_gq.ts Adder_gqc.ts Adder_nq72.ts Adder_quantor.ts Adder_rareqsuuh3pb.ts Adder_znenofex.ts
Adder2-10-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 14 (12+1) 0 (0+0)
s cnf 0 (s cnf 0)
735 (733+1)
Adder2-10-s.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 29 (27+2) 800 (797+3) 56 (54+1)
Adder2-12-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 13 (11+1) 0 (0+0)
s cnf 0 (s cnf 0)
502 (500+2)
Adder2-12-s.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 30 (28+1) 800 (796+4) 89 (87+2)
Adder2-14-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 17 (15+1) 0 (0+0)
s cnf 0 (s cnf 0)
800 (799+1)
Adder2-14-s.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 43 (41+2) 800 (797+3) 106 (104+1)
Adder2-16-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 14 (13+1) 0 (0+0)
s cnf 0 (s cnf 0)
800 (799+1)
Adder2-16-s.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 308 (307+2) 800 (796+4) 87 (85+1)
Adder2-2-c.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0 135 2536)
Adder2-4-c.qdimacs.gz 800 (799+1) 800 (799+1) 0 (0+0)
s cnf 0 (s cnf 0)
11 (10+1) 0 (0+0)
s cnf 0 (s cnf 0)
18 (16+1)
Adder2-6-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 10 (9+1) 0 (0+0)
s cnf 0 (s cnf 0)
476 (473+3)
Adder2-6-s.qdimacs.gz 800 (799+1) 800 (800+1) 0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
7 (6+0)
s cnf 1 (s cnf 1 234 7045)
Adder2-8-c.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 12 (11+1) 0 (0+0)
s cnf 0 (s cnf 0)
235 (233+2)
Adder2-8-s.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 258 (257+1)
s cnf 1 (s TRUE)
268 (267+1)
s cnf 1 (s cnf 1)
291 (289+1)
s cnf 1 (s cnf 1 1305 20572)
adder-10-sat.qdimacs.gz 800 (798+2) 800 (800+0) 800 (799+1) 41 (40+2) 800 (764+36) 39 (38+1)
adder-10-unsat.qdimacs.gz 800 (797+3) 800 (800+0) 800 (800+0) 13 (12+1) 800 (800+0) 3 (3+0)
s cnf 0 (s cnf 0 740 2467)
adder-12-sat.qdimacs.gz 800 (798+2) 800 (800+1) 800 (799+1) 42 (41+2) 763 (706+57) 50 (49+1)
adder-12-unsat.qdimacs.gz 752 (749+3) 800 (800+0) 800 (800+0) 13 (11+1) 800 (800+1) 4 (4+0)
s cnf 0 (s cnf 0 1069 3550)
adder-14-sat.qdimacs.gz 562 (560+2) 800 (799+1) 800 (798+2) 46 (45+2) 800 (744+56) 61 (60+1)
adder-14-unsat.qdimacs.gz 412 (410+2) 800 (800+0) 800 (800+0) 16 (14+1) 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0 1458 4821)
adder-16-sat.qdimacs.gz 647 (645+2) 800 (799+1) 800 (798+2) 48 (47+2) 773 (726+47) 68 (67+1)
adder-16-unsat.qdimacs.gz 444 (442+2) 800 (800+0) 800 (800+0) 15 (13+1) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0 1907 6280)
adder-2-unsat.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 137 2776)
adder-4-unsat.qdimacs.gz 800 (798+2) 800 (800+0) 800 (800+0) 11 (10+1) 800 (800+0) 16 (15+1)
adder-6-sat.qdimacs.gz 800 (798+2) 800 (800+0) 800 (800+0) 3 (3+0)
s cnf 1 (s TRUE)
800 (774+26) 27 (27+0)
s cnf 1 (s cnf 1 311 10647)
adder-6-unsat.qdimacs.gz 800 (798+2) 800 (800+0) 800 (800+0) 12 (10+1) 800 (800+0) 35 (33+1)
adder-8-sat.qdimacs.gz 800 (798+2) 800 (800+0) 800 (799+1) 800 (800+0) 800 (778+22) 32 (31+1)
adder-8-unsat.qdimacs.gz 800 (797+3) 800 (800+0) 800 (800+0) 13 (11+1) 800 (800+0) 20 (19+1)
TOTAL solved: 2
wins: 2
solved: 2
wins: 2
solved: 4
wins: 4
solved: 5
wins: 4
solved: 11
wins: 10
solved: 9
wins: 5
Adder_gq.ts Adder_gqc.ts Adder_nq72.ts Adder_quantor.ts Adder_rareqsuuh3pb.ts Adder_znenofex.ts