Problem incrementer-encoder_gq.ts incrementer-encoder_gqc.ts incrementer-encoder_nq72.ts incrementer-encoder_quantor.ts incrementer-encoder_rareqsuuh3pb.ts incrementer-encoder_znenofex.ts
incrementer-enc01-nonuniform-depth-10.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (10+8)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
53 (51+2)
incrementer-enc01-nonuniform-depth-11.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+1)
incrementer-enc01-nonuniform-depth-12.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
49 (47+2)
incrementer-enc01-nonuniform-depth-13.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
67 (66+2)
incrementer-enc01-nonuniform-depth-14.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (31+1)
incrementer-enc01-nonuniform-depth-15.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
27 (25+2)
incrementer-enc01-nonuniform-depth-16.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
149 (148+2)
incrementer-enc01-nonuniform-depth-17.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
64 (62+2)
incrementer-enc01-nonuniform-depth-18.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
119 (117+2)
incrementer-enc01-nonuniform-depth-19.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
101 (99+2)
incrementer-enc01-nonuniform-depth-20.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
22 (20+2)
incrementer-enc01-nonuniform-depth-21.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2)
incrementer-enc01-nonuniform-depth-22.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
70 (68+2)
incrementer-enc01-nonuniform-depth-23.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc01-nonuniform-depth-24.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
97 (95+2)
incrementer-enc01-nonuniform-depth-25.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
121 (118+2)
incrementer-enc01-nonuniform-depth-26.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
64 (63+2)
incrementer-enc01-nonuniform-depth-27.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (0+0)
s cnf 0 (s cnf 0)
89 (87+2)
incrementer-enc01-nonuniform-depth-28.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 1 (1+0)
s cnf 0 (s cnf 0)
31 (30+2)
incrementer-enc01-nonuniform-depth-29.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
42 (40+2)
incrementer-enc01-nonuniform-depth-30.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
119 (117+2)
incrementer-enc01-nonuniform-depth-31.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc01-nonuniform-depth-32.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
20 (19+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
20 (19+2)
incrementer-enc01-nonuniform-depth-33.qdimacs.gz 11 (11+0)
s cnf 1 (s cnf 1)
20 (19+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 40 (38+2)
s cnf 1 (s cnf 1)
53 (51+2)
incrementer-enc01-nonuniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
16 (16+1)
s cnf 0 (s cnf 0 464 3006)
incrementer-enc01-nonuniform-depth-9.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
7 (4+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
53 (51+1)
incrementer-enc01-uniform-depth-10.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (32+2)
incrementer-enc01-uniform-depth-11.qdimacs.gz 21 (21+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
170 (170+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
73 (71+2)
incrementer-enc01-uniform-depth-12.qdimacs.gz 800 (798+2) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (36+2)
incrementer-enc01-uniform-depth-13.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc01-uniform-depth-14.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
49 (48+2)
incrementer-enc01-uniform-depth-15.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (81+2)
incrementer-enc01-uniform-depth-16.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (58+2)
incrementer-enc01-uniform-depth-17.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
59 (56+2)
incrementer-enc01-uniform-depth-18.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
74 (72+2)
incrementer-enc01-uniform-depth-19.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
72 (70+2)
incrementer-enc01-uniform-depth-20.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+2)
incrementer-enc01-uniform-depth-21.qdimacs.gz 800 (799+1) 6 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (80+2)
incrementer-enc01-uniform-depth-22.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
86 (84+2)
incrementer-enc01-uniform-depth-23.qdimacs.gz 800 (799+1) 8 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
69 (68+2)
incrementer-enc01-uniform-depth-24.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
113 (111+2)
incrementer-enc01-uniform-depth-25.qdimacs.gz 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
95 (93+2)
incrementer-enc01-uniform-depth-26.qdimacs.gz 800 (799+2) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+2)
incrementer-enc01-uniform-depth-27.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
94 (92+2)
incrementer-enc01-uniform-depth-28.qdimacs.gz 800 (799+1) 10 (9+0)
s cnf 0 (s cnf 0)
800 (799+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
99 (97+2)
incrementer-enc01-uniform-depth-29.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
134 (132+2)
incrementer-enc01-uniform-depth-30.qdimacs.gz 800 (799+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (119+2)
incrementer-enc01-uniform-depth-31.qdimacs.gz 800 (799+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
153 (151+2)
incrementer-enc01-uniform-depth-32.qdimacs.gz 800 (798+2) 12 (12+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
155 (153+2)
incrementer-enc01-uniform-depth-33.qdimacs.gz 800 (798+2) 12 (12+0)
s cnf 1 (s cnf 1)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 1 (s cnf 1)
147 (144+2)
incrementer-enc01-uniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
7 (4+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0 497 3359)
incrementer-enc01-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
1 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 723 6412)
incrementer-enc02-nonuniform-depth-10.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (9+8)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
40 (38+2)
incrementer-enc02-nonuniform-depth-11.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (59+2)
incrementer-enc02-nonuniform-depth-12.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
59 (57+2)
incrementer-enc02-nonuniform-depth-13.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
59 (57+2)
incrementer-enc02-nonuniform-depth-14.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
26 (25+2)
incrementer-enc02-nonuniform-depth-15.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
105 (103+2)
incrementer-enc02-nonuniform-depth-16.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
52 (50+2)
incrementer-enc02-nonuniform-depth-17.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (35+2)
incrementer-enc02-nonuniform-depth-18.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2)
incrementer-enc02-nonuniform-depth-19.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
34 (32+2)
incrementer-enc02-nonuniform-depth-20.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
73 (71+2)
incrementer-enc02-nonuniform-depth-21.qdimacs.gz 6 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
94 (92+2)
incrementer-enc02-nonuniform-depth-22.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2)
incrementer-enc02-nonuniform-depth-23.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2)
incrementer-enc02-nonuniform-depth-24.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
118 (117+2)
incrementer-enc02-nonuniform-depth-25.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
66 (65+2)
incrementer-enc02-nonuniform-depth-26.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
53 (51+2)
incrementer-enc02-nonuniform-depth-27.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (0+0)
s cnf 0 (s cnf 0)
33 (31+2)
incrementer-enc02-nonuniform-depth-28.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc02-nonuniform-depth-29.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
115 (114+2)
incrementer-enc02-nonuniform-depth-30.qdimacs.gz 10 (9+0)
s cnf 0 (s cnf 0)
9 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
161 (159+2)
incrementer-enc02-nonuniform-depth-31.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
79 (78+2)
incrementer-enc02-nonuniform-depth-32.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
29 (27+2)
incrementer-enc02-nonuniform-depth-33.qdimacs.gz 12 (11+1)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
24 (23+1)
incrementer-enc02-nonuniform-depth-34.qdimacs.gz 12 (11+1)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
54 (52+2)
incrementer-enc02-nonuniform-depth-35.qdimacs.gz 13 (12+1)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
17 (16+2)
incrementer-enc02-nonuniform-depth-36.qdimacs.gz 14 (13+1)
s cnf 0 (s cnf 0)
12 (12+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
33 (31+2)
incrementer-enc02-nonuniform-depth-37.qdimacs.gz 14 (14+1)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
56 (54+2)
incrementer-enc02-nonuniform-depth-38.qdimacs.gz 15 (14+1)
s cnf 0 (s cnf 0)
13 (12+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
53 (51+2)
incrementer-enc02-nonuniform-depth-39.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
14 (14+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
27 (26+2)
incrementer-enc02-nonuniform-depth-40.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
14 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
110 (108+2)
incrementer-enc02-nonuniform-depth-41.qdimacs.gz 15 (15+1)
s cnf 0 (s cnf 0)
14 (14+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 2 (1+0)
s cnf 0 (s cnf 0)
31 (30+2)
incrementer-enc02-nonuniform-depth-42.qdimacs.gz 17 (17+1)
s cnf 0 (s cnf 0)
16 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (14+2) 2 (1+0)
s cnf 0 (s cnf 0)
109 (107+2)
incrementer-enc02-nonuniform-depth-43.qdimacs.gz 19 (18+1)
s cnf 0 (s cnf 0)
17 (16+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 2 (2+0)
s cnf 0 (s cnf 0)
66 (64+2)
incrementer-enc02-nonuniform-depth-44.qdimacs.gz 18 (17+1)
s cnf 0 (s cnf 0)
16 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 2 (2+0)
s cnf 0 (s cnf 0)
36 (35+2)
incrementer-enc02-nonuniform-depth-45.qdimacs.gz 19 (19+1)
s cnf 0 (s cnf 0)
17 (17+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 2 (2+0)
s cnf 0 (s cnf 0)
115 (113+2)
incrementer-enc02-nonuniform-depth-46.qdimacs.gz 21 (20+1)
s cnf 0 (s cnf 0)
19 (18+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 2 (2+0)
s cnf 0 (s cnf 0)
20 (19+2)
incrementer-enc02-nonuniform-depth-47.qdimacs.gz 21 (20+1)
s cnf 0 (s cnf 0)
19 (18+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 2 (2+0)
s cnf 0 (s cnf 0)
43 (41+2)
incrementer-enc02-nonuniform-depth-48.qdimacs.gz 21 (20+1)
s cnf 0 (s cnf 0)
19 (18+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 2 (2+0)
s cnf 0 (s cnf 0)
67 (66+2)
incrementer-enc02-nonuniform-depth-49.qdimacs.gz 21 (20+1)
s cnf 0 (s cnf 0)
19 (18+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 2 (2+0)
s cnf 0 (s cnf 0)
32 (30+2)
incrementer-enc02-nonuniform-depth-50.qdimacs.gz 23 (22+1)
s cnf 0 (s cnf 0)
20 (20+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (14+2) 2 (2+0)
s cnf 0 (s cnf 0)
26 (25+2)
incrementer-enc02-nonuniform-depth-51.qdimacs.gz 24 (23+1)
s cnf 0 (s cnf 0)
22 (21+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 3 (2+0)
s cnf 0 (s cnf 0)
73 (71+2)
incrementer-enc02-nonuniform-depth-52.qdimacs.gz 23 (22+1)
s cnf 0 (s cnf 0)
21 (20+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 3 (2+0)
s cnf 0 (s cnf 0)
32 (30+2)
incrementer-enc02-nonuniform-depth-53.qdimacs.gz 26 (25+1)
s cnf 0 (s cnf 0)
23 (22+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 3 (3+0)
s cnf 0 (s cnf 0)
130 (128+2)
incrementer-enc02-nonuniform-depth-54.qdimacs.gz 27 (25+1)
s cnf 0 (s cnf 0)
24 (23+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
14 (12+2) 3 (3+0)
s cnf 0 (s cnf 0)
57 (55+2)
incrementer-enc02-nonuniform-depth-55.qdimacs.gz 28 (26+1)
s cnf 0 (s cnf 0)
24 (23+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
17 (15+2) 3 (3+0)
s cnf 0 (s cnf 0)
59 (57+2)
incrementer-enc02-nonuniform-depth-56.qdimacs.gz 27 (25+1)
s cnf 0 (s cnf 0)
24 (23+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
14 (12+2) 3 (3+0)
s cnf 0 (s cnf 0)
37 (36+2)
incrementer-enc02-nonuniform-depth-57.qdimacs.gz 29 (28+1)
s cnf 0 (s cnf 0)
26 (25+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
17 (15+2) 4 (3+0)
s cnf 0 (s cnf 0)
55 (53+2)
incrementer-enc02-nonuniform-depth-58.qdimacs.gz 29 (28+1)
s cnf 0 (s cnf 0)
26 (25+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
14 (12+2) 4 (3+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc02-nonuniform-depth-59.qdimacs.gz 30 (29+1)
s cnf 0 (s cnf 0)
26 (25+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
13 (11+2) 4 (3+0)
s cnf 0 (s cnf 0)
125 (123+2)
incrementer-enc02-nonuniform-depth-60.qdimacs.gz 30 (28+1)
s cnf 0 (s cnf 0)
26 (25+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
17 (15+2) 4 (4+0)
s cnf 0 (s cnf 0)
37 (35+2)
incrementer-enc02-nonuniform-depth-61.qdimacs.gz 33 (31+1)
s cnf 0 (s cnf 0)
29 (27+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
15 (13+2) 4 (4+0)
s cnf 0 (s cnf 0)
33 (31+2)
incrementer-enc02-nonuniform-depth-62.qdimacs.gz 33 (32+1)
s cnf 0 (s cnf 0)
29 (28+1)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
17 (15+2) 4 (4+0)
s cnf 0 (s cnf 0)
54 (52+2)
incrementer-enc02-nonuniform-depth-63.qdimacs.gz 28 (27+1) 24 (23+1) 1 (1+0)
s cnf 0 (s cnf 0)
14 (12+2) 5 (5+0)
s cnf 0 (s cnf 0)
39 (37+2)
incrementer-enc02-nonuniform-depth-64.qdimacs.gz 30 (28+1) 26 (25+1) 1 (1+0)
s cnf 0 (s cnf 0)
16 (14+2) 5 (5+0)
s cnf 0 (s cnf 0)
17 (15+2)
incrementer-enc02-nonuniform-depth-65.qdimacs.gz 30 (29+1) 27 (26+1) 1 (1+0)
s cnf 1 (s cnf 1)
13 (11+2) 800 (764+36) 44 (42+2)
incrementer-enc02-nonuniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
49 (47+2)
incrementer-enc02-nonuniform-depth-9.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (6+6)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2)
incrementer-enc02-uniform-depth-10.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
34 (32+2)
incrementer-enc02-uniform-depth-11.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
26 (24+2)
incrementer-enc02-uniform-depth-12.qdimacs.gz 800 (798+2) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc02-uniform-depth-13.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
38 (37+2)
incrementer-enc02-uniform-depth-14.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
35 (33+2)
incrementer-enc02-uniform-depth-15.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
76 (74+2)
incrementer-enc02-uniform-depth-16.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
55 (53+2)
incrementer-enc02-uniform-depth-17.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
63 (61+2)
incrementer-enc02-uniform-depth-18.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
65 (63+2)
incrementer-enc02-uniform-depth-19.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
85 (83+2)
incrementer-enc02-uniform-depth-20.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
57 (55+2)
incrementer-enc02-uniform-depth-21.qdimacs.gz 800 (799+1) 6 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
68 (66+2)
incrementer-enc02-uniform-depth-22.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
97 (95+2)
incrementer-enc02-uniform-depth-23.qdimacs.gz 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc02-uniform-depth-24.qdimacs.gz 800 (799+1) 9 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
71 (70+2)
incrementer-enc02-uniform-depth-25.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
74 (72+2)
incrementer-enc02-uniform-depth-26.qdimacs.gz 800 (798+2) 8 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
134 (132+2)
incrementer-enc02-uniform-depth-27.qdimacs.gz 800 (798+2) 9 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (118+2)
incrementer-enc02-uniform-depth-28.qdimacs.gz 800 (798+2) 9 (9+0)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
126 (124+2)
incrementer-enc02-uniform-depth-29.qdimacs.gz 800 (798+2) 10 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
138 (136+2)
incrementer-enc02-uniform-depth-30.qdimacs.gz 800 (798+2) 10 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
124 (122+2)
incrementer-enc02-uniform-depth-31.qdimacs.gz 800 (798+2) 11 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
127 (125+2)
incrementer-enc02-uniform-depth-32.qdimacs.gz 800 (798+2) 11 (11+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (120+2)
incrementer-enc02-uniform-depth-33.qdimacs.gz 800 (798+2) 11 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
153 (151+2)
incrementer-enc02-uniform-depth-34.qdimacs.gz 800 (798+2) 18 (18+0)
s cnf 0 (s cnf 0)
800 (798+2) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
156 (154+2)
incrementer-enc02-uniform-depth-35.qdimacs.gz 800 (798+2) 13 (12+0)
s cnf 0 (s cnf 0)
800 (799+2) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
153 (151+2)
incrementer-enc02-uniform-depth-36.qdimacs.gz 800 (798+2) 14 (13+1)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (122+2)
incrementer-enc02-uniform-depth-37.qdimacs.gz 800 (798+2) 14 (14+1)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (120+2)
incrementer-enc02-uniform-depth-38.qdimacs.gz 800 (798+2) 14 (14+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
147 (145+2)
incrementer-enc02-uniform-depth-39.qdimacs.gz 800 (798+2) 15 (15+1)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
187 (185+2)
incrementer-enc02-uniform-depth-40.qdimacs.gz 800 (798+2) 17 (16+1)
s cnf 0 (s cnf 0)
800 (799+1) 16 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (123+2)
incrementer-enc02-uniform-depth-41.qdimacs.gz 800 (798+2) 17 (16+1)
s cnf 0 (s cnf 0)
800 (798+2) 17 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
161 (159+2)
incrementer-enc02-uniform-depth-42.qdimacs.gz 800 (798+2) 18 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
144 (141+2)
incrementer-enc02-uniform-depth-43.qdimacs.gz 800 (798+2) 19 (18+1)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
150 (148+2)
incrementer-enc02-uniform-depth-44.qdimacs.gz 800 (798+2) 23 (22+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
175 (173+2)
incrementer-enc02-uniform-depth-45.qdimacs.gz 800 (798+2) 19 (18+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
202 (199+2)
incrementer-enc02-uniform-depth-46.qdimacs.gz 800 (798+2) 20 (20+1)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
208 (206+2)
incrementer-enc02-uniform-depth-47.qdimacs.gz 800 (798+2) 23 (22+1)
s cnf 0 (s cnf 0)
800 (798+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
165 (162+2)
incrementer-enc02-uniform-depth-48.qdimacs.gz 800 (798+3) 21 (20+1)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
202 (200+2)
incrementer-enc02-uniform-depth-49.qdimacs.gz 800 (797+3) 21 (20+1)
s cnf 0 (s cnf 0)
800 (798+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
201 (199+2)
incrementer-enc02-uniform-depth-50.qdimacs.gz 800 (797+3) 28 (28+1)
s cnf 0 (s cnf 0)
800 (798+2) 19 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
198 (196+2)
incrementer-enc02-uniform-depth-51.qdimacs.gz 800 (797+3) 27 (26+1)
s cnf 0 (s cnf 0)
800 (799+1) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
205 (203+2)
incrementer-enc02-uniform-depth-52.qdimacs.gz 800 (798+3) 29 (28+1)
s cnf 0 (s cnf 0)
800 (798+2) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
204 (202+2)
incrementer-enc02-uniform-depth-53.qdimacs.gz 800 (798+3) 27 (26+1)
s cnf 0 (s cnf 0)
800 (798+2) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
198 (196+2)
incrementer-enc02-uniform-depth-54.qdimacs.gz 800 (797+3) 27 (26+1)
s cnf 0 (s cnf 0)
800 (799+1) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
205 (203+2)
incrementer-enc02-uniform-depth-55.qdimacs.gz 800 (797+3) 28 (27+1)
s cnf 0 (s cnf 0)
800 (798+2) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
228 (226+2)
incrementer-enc02-uniform-depth-56.qdimacs.gz 800 (797+3) 30 (29+1)
s cnf 0 (s cnf 0)
800 (798+2) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
237 (235+2)
incrementer-enc02-uniform-depth-57.qdimacs.gz 800 (797+3) 33 (32+1)
s cnf 0 (s cnf 0)
800 (798+2) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
194 (192+2)
incrementer-enc02-uniform-depth-58.qdimacs.gz 800 (797+3) 33 (32+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
256 (254+2)
incrementer-enc02-uniform-depth-59.qdimacs.gz 800 (797+3) 37 (36+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
264 (262+2)
incrementer-enc02-uniform-depth-60.qdimacs.gz 800 (797+3) 31 (30+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
224 (221+2)
incrementer-enc02-uniform-depth-61.qdimacs.gz 800 (797+3) 35 (34+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
233 (231+2)
incrementer-enc02-uniform-depth-62.qdimacs.gz 32 (30+1) 26 (25+1) 800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
239 (237+2)
incrementer-enc02-uniform-depth-63.qdimacs.gz 32 (30+1) 26 (25+1) 800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
310 (307+2)
incrementer-enc02-uniform-depth-64.qdimacs.gz 33 (32+1) 27 (26+1) 800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
235 (233+2)
incrementer-enc02-uniform-depth-65.qdimacs.gz 34 (33+1) 28 (27+1) 800 (798+2) 17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
230 (227+2)
incrementer-enc02-uniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 421 2564)
incrementer-enc02-uniform-depth-8.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 531 4069)
incrementer-enc02-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
52 (51+2)
incrementer-enc03-nonuniform-depth-10.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
53 (30+23) 0 (0+0)
s cnf 0 (s cnf 0)
119 (118+2)
incrementer-enc03-nonuniform-depth-11.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
59 (57+2)
incrementer-enc03-nonuniform-depth-12.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
126 (124+2)
incrementer-enc03-nonuniform-depth-13.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
111 (110+2)
incrementer-enc03-nonuniform-depth-14.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
25 (23+2)
incrementer-enc03-nonuniform-depth-15.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+2)
incrementer-enc03-nonuniform-depth-16.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2)
incrementer-enc03-nonuniform-depth-17.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (101+2)
incrementer-enc03-nonuniform-depth-18.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
87 (85+2)
incrementer-enc03-nonuniform-depth-19.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (124+2)
incrementer-enc03-nonuniform-depth-20.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
119 (117+2)
incrementer-enc03-nonuniform-depth-21.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (35+2)
incrementer-enc03-nonuniform-depth-22.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
126 (124+2)
incrementer-enc03-nonuniform-depth-23.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
50 (48+2)
incrementer-enc03-nonuniform-depth-24.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
34 (33+2)
incrementer-enc03-nonuniform-depth-25.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (31+2)
incrementer-enc03-nonuniform-depth-26.qdimacs.gz 8 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (0+0)
s cnf 0 (s cnf 0)
62 (60+2)
incrementer-enc03-nonuniform-depth-27.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (0+0)
s cnf 0 (s cnf 0)
97 (96+2)
incrementer-enc03-nonuniform-depth-28.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (0+0)
s cnf 0 (s cnf 0)
97 (95+2)
incrementer-enc03-nonuniform-depth-29.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (0+0)
s cnf 0 (s cnf 0)
59 (57+2)
incrementer-enc03-nonuniform-depth-30.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 1 (1+0)
s cnf 0 (s cnf 0)
19 (18+2)
incrementer-enc03-nonuniform-depth-31.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc03-nonuniform-depth-32.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
9 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
88 (86+2)
incrementer-enc03-nonuniform-depth-33.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
9 (8+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 114 (108+6)
s cnf 1 (s cnf 1)
17 (16+1)
incrementer-enc03-nonuniform-depth-7.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
34 (33+1)
s cnf 0 (s cnf 0 399 2564)
incrementer-enc03-nonuniform-depth-8.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
2 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
68 (66+2)
incrementer-enc03-nonuniform-depth-9.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (9+7)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
13 (12+2)
incrementer-enc03-uniform-depth-10.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
21 (21+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
27 (26+2)
incrementer-enc03-uniform-depth-11.qdimacs.gz 21 (21+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
76 (74+2)
incrementer-enc03-uniform-depth-12.qdimacs.gz 282 (281+1)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
38 (36+2)
incrementer-enc03-uniform-depth-13.qdimacs.gz 800 (799+2) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
39 (37+2)
incrementer-enc03-uniform-depth-14.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
42 (40+2)
incrementer-enc03-uniform-depth-15.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (800+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
42 (40+2)
incrementer-enc03-uniform-depth-16.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
51 (49+2)
incrementer-enc03-uniform-depth-17.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
50 (48+2)
incrementer-enc03-uniform-depth-18.qdimacs.gz 800 (799+1) 6 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
49 (48+2)
incrementer-enc03-uniform-depth-19.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (81+2)
incrementer-enc03-uniform-depth-20.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
68 (66+2)
incrementer-enc03-uniform-depth-21.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
96 (94+2)
incrementer-enc03-uniform-depth-22.qdimacs.gz 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc03-uniform-depth-23.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
108 (105+2)
incrementer-enc03-uniform-depth-24.qdimacs.gz 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
84 (82+2)
incrementer-enc03-uniform-depth-25.qdimacs.gz 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
incrementer-enc03-uniform-depth-26.qdimacs.gz 800 (799+1) 11 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (123+2)
incrementer-enc03-uniform-depth-27.qdimacs.gz 800 (799+1) 9 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
92 (90+2)
incrementer-enc03-uniform-depth-28.qdimacs.gz 800 (798+2) 12 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
98 (96+2)
incrementer-enc03-uniform-depth-29.qdimacs.gz 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
94 (92+2)
incrementer-enc03-uniform-depth-30.qdimacs.gz 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
144 (142+2)
incrementer-enc03-uniform-depth-31.qdimacs.gz 800 (799+1) 12 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
107 (106+2)
incrementer-enc03-uniform-depth-32.qdimacs.gz 800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
110 (108+2)
incrementer-enc03-uniform-depth-33.qdimacs.gz 800 (798+2) 15 (15+0)
s cnf 1 (s cnf 1)
612 (611+1)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
117 (115+2)
incrementer-enc03-uniform-depth-7.qdimacs.gz 3 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
6 (6+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 372 2466)
incrementer-enc03-uniform-depth-8.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
2 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 469 2976)
incrementer-enc03-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
22 (12+10)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
15 (14+1)
s cnf 0 (s cnf 0 438 2198)
incrementer-enc04-nonuniform-depth-10.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
57 (32+25)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
58 (57+2)
incrementer-enc04-nonuniform-depth-11.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
21 (20+2)
incrementer-enc04-nonuniform-depth-12.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
127 (125+2)
incrementer-enc04-nonuniform-depth-13.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (123+3)
incrementer-enc04-nonuniform-depth-14.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
110 (108+2)
incrementer-enc04-nonuniform-depth-15.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (80+2)
incrementer-enc04-nonuniform-depth-16.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
141 (139+2)
incrementer-enc04-nonuniform-depth-17.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
51 (49+2)
incrementer-enc04-nonuniform-depth-7.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
incrementer-enc04-nonuniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (2+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
29 (27+2)
incrementer-enc04-nonuniform-depth-9.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (6+6)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
55 (53+2)
incrementer-enc04-uniform-depth-10.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (800+0) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
29 (28+1)
s cnf 0 (s cnf 0 506 2734)
incrementer-enc04-uniform-depth-11.qdimacs.gz 21 (21+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
14 (14+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
32 (30+2)
incrementer-enc04-uniform-depth-12.qdimacs.gz 236 (235+1)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
28 (26+2)
incrementer-enc04-uniform-depth-13.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
42 (41+2)
incrementer-enc04-uniform-depth-14.qdimacs.gz 800 (799+1) 5 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (58+2)
incrementer-enc04-uniform-depth-15.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
63 (61+2)
incrementer-enc04-uniform-depth-16.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
44 (42+2)
incrementer-enc04-uniform-depth-17.qdimacs.gz 71 (70+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 1 (s cnf 1)
71 (69+2)
incrementer-enc04-uniform-depth-7.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+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 484 3869)
incrementer-enc04-uniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
6 (3+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0 739 6335)
incrementer-enc04-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
32 (17+15)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
34 (33+1)
s cnf 0 (s cnf 0 438 2173)
incrementer-enc05-nonuniform-depth-10.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2)
incrementer-enc05-nonuniform-depth-11.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
158 (156+3)
incrementer-enc05-nonuniform-depth-12.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2)
incrementer-enc05-nonuniform-depth-13.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (81+2)
incrementer-enc05-nonuniform-depth-14.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
130 (128+2)
incrementer-enc05-nonuniform-depth-15.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
24 (22+2)
incrementer-enc05-nonuniform-depth-16.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
12 (11+2)
incrementer-enc05-nonuniform-depth-17.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
39 (37+2)
incrementer-enc05-nonuniform-depth-18.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc05-nonuniform-depth-19.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
82 (80+2)
incrementer-enc05-nonuniform-depth-20.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
128 (126+2)
incrementer-enc05-nonuniform-depth-21.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (58+2)
incrementer-enc05-nonuniform-depth-22.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
50 (48+2)
incrementer-enc05-nonuniform-depth-23.qdimacs.gz 12 (11+1)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
50 (48+2)
incrementer-enc05-nonuniform-depth-24.qdimacs.gz 13 (12+1)
s cnf 0 (s cnf 0)
11 (11+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc05-nonuniform-depth-25.qdimacs.gz 13 (12+1)
s cnf 0 (s cnf 0)
11 (11+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
25 (23+2)
incrementer-enc05-nonuniform-depth-26.qdimacs.gz 14 (13+1)
s cnf 0 (s cnf 0)
12 (11+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
90 (88+2)
incrementer-enc05-nonuniform-depth-27.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
13 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
27 (25+2)
incrementer-enc05-nonuniform-depth-28.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
13 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
47 (45+2)
incrementer-enc05-nonuniform-depth-29.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
14 (14+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 1 (1+0)
s cnf 0 (s cnf 0)
47 (45+2)
incrementer-enc05-nonuniform-depth-30.qdimacs.gz 18 (17+1)
s cnf 0 (s cnf 0)
16 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
22 (20+2)
incrementer-enc05-nonuniform-depth-31.qdimacs.gz 18 (17+1)
s cnf 0 (s cnf 0)
15 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
17 (15+2)
incrementer-enc05-nonuniform-depth-32.qdimacs.gz 20 (19+1)
s cnf 0 (s cnf 0)
17 (17+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
56 (54+2)
incrementer-enc05-nonuniform-depth-33.qdimacs.gz 21 (20+1)
s cnf 1 (s cnf 1)
18 (17+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
17 (15+2) 451 (432+18)
s cnf 1 (s cnf 1)
9 (8+1)
incrementer-enc05-nonuniform-depth-6.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+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)
87 (85+2)
s cnf 0 (s cnf 0 498 2847)
incrementer-enc05-nonuniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
3 (2+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
12 (11+1)
s cnf 0 (s cnf 0 616 3674)
incrementer-enc05-nonuniform-depth-8.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (11+8)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
116 (114+2)
incrementer-enc05-nonuniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
32 (18+14)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
11 (9+2)
incrementer-enc05-uniform-depth-10.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
25 (23+2)
incrementer-enc05-uniform-depth-11.qdimacs.gz 151 (151+1)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
252 (251+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
55 (53+2)
incrementer-enc05-uniform-depth-12.qdimacs.gz 800 (798+2) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
44 (42+2)
incrementer-enc05-uniform-depth-13.qdimacs.gz 800 (799+2) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
36 (34+2)
incrementer-enc05-uniform-depth-14.qdimacs.gz 800 (798+2) 7 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
66 (64+2)
incrementer-enc05-uniform-depth-15.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
48 (46+2)
incrementer-enc05-uniform-depth-16.qdimacs.gz 800 (799+1) 8 (7+0)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
38 (36+2)
incrementer-enc05-uniform-depth-17.qdimacs.gz 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
800 (798+2) 17 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
53 (51+2)
incrementer-enc05-uniform-depth-18.qdimacs.gz 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
61 (59+2)
incrementer-enc05-uniform-depth-19.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (798+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
64 (62+2)
incrementer-enc05-uniform-depth-20.qdimacs.gz 800 (798+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (80+2)
incrementer-enc05-uniform-depth-21.qdimacs.gz 800 (799+1) 13 (12+0)
s cnf 0 (s cnf 0)
800 (798+2) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+2)
incrementer-enc05-uniform-depth-22.qdimacs.gz 800 (799+1) 11 (10+0)
s cnf 0 (s cnf 0)
800 (798+2) 15 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
69 (66+3)
incrementer-enc05-uniform-depth-23.qdimacs.gz 800 (798+2) 12 (11+0)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
142 (137+4)
incrementer-enc05-uniform-depth-24.qdimacs.gz 800 (798+2) 14 (14+1)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
137 (131+5)
incrementer-enc05-uniform-depth-25.qdimacs.gz 800 (798+2) 15 (14+1)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
132 (129+3)
incrementer-enc05-uniform-depth-26.qdimacs.gz 800 (798+2) 17 (16+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (122+3)
incrementer-enc05-uniform-depth-27.qdimacs.gz 800 (798+2) 17 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
135 (131+4)
incrementer-enc05-uniform-depth-28.qdimacs.gz 800 (798+2) 18 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
100 (97+2)
incrementer-enc05-uniform-depth-29.qdimacs.gz 800 (798+2) 17 (16+1)
s cnf 0 (s cnf 0)
800 (798+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
137 (133+4)
incrementer-enc05-uniform-depth-30.qdimacs.gz 800 (798+2) 22 (21+1)
s cnf 0 (s cnf 0)
800 (798+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
133 (130+3)
incrementer-enc05-uniform-depth-31.qdimacs.gz 800 (798+2) 20 (20+1)
s cnf 0 (s cnf 0)
800 (798+2) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
228 (223+5)
incrementer-enc05-uniform-depth-32.qdimacs.gz 800 (798+2) 27 (26+1)
s cnf 0 (s cnf 0)
800 (798+2) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
135 (133+2)
incrementer-enc05-uniform-depth-33.qdimacs.gz 800 (798+2) 27 (26+1)
s cnf 1 (s cnf 1)
800 (798+2) 22 (20+2) 0 (0+0)
s cnf 1 (s cnf 1)
165 (163+3)
incrementer-enc05-uniform-depth-7.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
2 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 614 2985)
incrementer-enc05-uniform-depth-8.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
66 (36+30)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
29 (27+2)
s cnf 0 (s cnf 0 679 3806)
incrementer-enc05-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
37 (24+12) 0 (0+0)
s cnf 0 (s cnf 0)
24 (21+3)
incrementer-enc06-nonuniform-depth-10.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (33+4)
incrementer-enc06-nonuniform-depth-11.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
25 (23+3)
incrementer-enc06-nonuniform-depth-12.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2)
incrementer-enc06-nonuniform-depth-13.qdimacs.gz 6 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
24 (22+2)
incrementer-enc06-nonuniform-depth-14.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
22 (19+3)
incrementer-enc06-nonuniform-depth-15.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2)
incrementer-enc06-nonuniform-depth-16.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2)
incrementer-enc06-nonuniform-depth-17.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2)
incrementer-enc06-nonuniform-depth-18.qdimacs.gz 10 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
30 (28+2)
incrementer-enc06-nonuniform-depth-19.qdimacs.gz 10 (9+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
28 (24+3)
incrementer-enc06-nonuniform-depth-20.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
76 (72+4)
incrementer-enc06-nonuniform-depth-21.qdimacs.gz 11 (11+1)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2) 1 (0+0)
s cnf 0 (s cnf 0)
35 (33+2)
incrementer-enc06-nonuniform-depth-22.qdimacs.gz 14 (13+1)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
31 (29+2)
incrementer-enc06-nonuniform-depth-23.qdimacs.gz 14 (14+1)
s cnf 0 (s cnf 0)
12 (11+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
15 (13+2)
incrementer-enc06-nonuniform-depth-24.qdimacs.gz 14 (14+1)
s cnf 0 (s cnf 0)
12 (12+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2) 1 (1+0)
s cnf 0 (s cnf 0)
43 (40+3)
incrementer-enc06-nonuniform-depth-25.qdimacs.gz 17 (16+1)
s cnf 0 (s cnf 0)
14 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
32 (29+2)
incrementer-enc06-nonuniform-depth-26.qdimacs.gz 17 (16+1)
s cnf 0 (s cnf 0)
14 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 1 (1+0)
s cnf 0 (s cnf 0)
151 (148+3)
incrementer-enc06-nonuniform-depth-27.qdimacs.gz 20 (19+1)
s cnf 0 (s cnf 0)
16 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 1 (1+0)
s cnf 0 (s cnf 0)
21 (18+3)
incrementer-enc06-nonuniform-depth-28.qdimacs.gz 19 (18+1)
s cnf 0 (s cnf 0)
16 (15+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2) 1 (1+0)
s cnf 0 (s cnf 0)
54 (51+3)
incrementer-enc06-nonuniform-depth-29.qdimacs.gz 22 (21+1)
s cnf 0 (s cnf 0)
17 (17+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
16 (14+3)
incrementer-enc06-nonuniform-depth-30.qdimacs.gz 24 (23+1)
s cnf 0 (s cnf 0)
19 (18+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
24 (22+2) 1 (1+0)
s cnf 0 (s cnf 0)
31 (30+2)
incrementer-enc06-nonuniform-depth-31.qdimacs.gz 24 (22+1)
s cnf 0 (s cnf 0)
18 (17+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
36 (33+3)
incrementer-enc06-nonuniform-depth-32.qdimacs.gz 26 (25+1)
s cnf 0 (s cnf 0)
21 (20+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 1 (1+0)
s cnf 0 (s cnf 0)
28 (25+3)
incrementer-enc06-nonuniform-depth-33.qdimacs.gz 25 (24+1)
s cnf 1 (s cnf 1)
20 (19+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
16 (14+2) 254 (245+9)
s cnf 1 (s cnf 1)
25 (23+2)
incrementer-enc06-nonuniform-depth-6.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+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)
31 (28+2)
incrementer-enc06-nonuniform-depth-7.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
174 (171+2)
incrementer-enc06-nonuniform-depth-8.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (3+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2)
incrementer-enc06-nonuniform-depth-9.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
37 (22+15)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
36 (33+3)
incrementer-enc06-uniform-depth-10.qdimacs.gz 18 (18+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
20 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2)
incrementer-enc06-uniform-depth-11.qdimacs.gz 800 (798+2) 4 (4+0)
s cnf 0 (s cnf 0)
287 (286+1)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
31 (29+2)
incrementer-enc06-uniform-depth-12.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (28+5)
incrementer-enc06-uniform-depth-13.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (34+3)
incrementer-enc06-uniform-depth-14.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
54 (50+4)
incrementer-enc06-uniform-depth-15.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
44 (41+3)
incrementer-enc06-uniform-depth-16.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
50 (47+2)
incrementer-enc06-uniform-depth-17.qdimacs.gz 800 (799+1) 8 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
63 (60+2)
incrementer-enc06-uniform-depth-18.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 22 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (76+4)
incrementer-enc06-uniform-depth-19.qdimacs.gz 800 (799+1) 9 (9+0)
s cnf 0 (s cnf 0)
800 (798+2) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
75 (72+2)
incrementer-enc06-uniform-depth-20.qdimacs.gz 800 (799+1) 11 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
86 (82+4)
incrementer-enc06-uniform-depth-21.qdimacs.gz 800 (799+1) 11 (11+0)
s cnf 0 (s cnf 0)
800 (799+2) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
98 (94+4)
incrementer-enc06-uniform-depth-22.qdimacs.gz 800 (799+1) 12 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (98+4)
incrementer-enc06-uniform-depth-23.qdimacs.gz 800 (799+1) 13 (12+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
75 (73+2)
incrementer-enc06-uniform-depth-24.qdimacs.gz 800 (799+1) 14 (13+1)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
92 (89+3)
incrementer-enc06-uniform-depth-25.qdimacs.gz 800 (799+1) 15 (14+1)
s cnf 0 (s cnf 0)
800 (799+2) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
95 (92+3)
incrementer-enc06-uniform-depth-26.qdimacs.gz 800 (799+1) 15 (14+1)
s cnf 0 (s cnf 0)
800 (798+2) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
104 (101+3)
incrementer-enc06-uniform-depth-27.qdimacs.gz 800 (799+1) 18 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
101 (98+3)
incrementer-enc06-uniform-depth-28.qdimacs.gz 800 (799+2) 18 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (117+3)
incrementer-enc06-uniform-depth-29.qdimacs.gz 800 (799+2) 19 (18+1)
s cnf 0 (s cnf 0)
800 (799+1) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
131 (129+3)
incrementer-enc06-uniform-depth-30.qdimacs.gz 800 (798+2) 21 (20+1)
s cnf 0 (s cnf 0)
800 (799+1) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
143 (140+3)
incrementer-enc06-uniform-depth-31.qdimacs.gz 800 (799+2) 20 (19+1)
s cnf 0 (s cnf 0)
800 (799+2) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
164 (161+3)
incrementer-enc06-uniform-depth-32.qdimacs.gz 800 (798+2) 23 (22+1)
s cnf 0 (s cnf 0)
800 (799+1) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
168 (164+4)
incrementer-enc06-uniform-depth-33.qdimacs.gz 800 (798+2) 23 (22+1)
s cnf 1 (s cnf 1)
800 (799+1) 24 (22+2) 0 (0+0)
s cnf 1 (s cnf 1)
169 (165+4)
incrementer-enc06-uniform-depth-7.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
23 (15+8)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
4 (4+1)
s cnf 0 (s cnf 0 687 2502)
incrementer-enc06-uniform-depth-8.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (11+8)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
9 (9+1)
s cnf 0 (s cnf 0 853 3649)
incrementer-enc06-uniform-depth-9.qdimacs.gz 5 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2)
incrementer-enc07-nonuniform-depth-10.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
42 (27+15) 0 (0+0)
s cnf 0 (s cnf 0)
29 (27+3)
incrementer-enc07-nonuniform-depth-11.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
27 (25+2)
incrementer-enc07-nonuniform-depth-12.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
51 (49+3)
incrementer-enc07-nonuniform-depth-13.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
25 (23+2)
incrementer-enc07-nonuniform-depth-14.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2)
incrementer-enc07-nonuniform-depth-15.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
42 (39+3)
incrementer-enc07-nonuniform-depth-16.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (53+7)
incrementer-enc07-nonuniform-depth-17.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
34 (32+2)
incrementer-enc07-nonuniform-depth-18.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
44 (42+2)
incrementer-enc07-nonuniform-depth-19.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
45 (43+2)
incrementer-enc07-nonuniform-depth-20.qdimacs.gz 8 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (35+2)
incrementer-enc07-nonuniform-depth-21.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
7 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (30+2)
incrementer-enc07-nonuniform-depth-22.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
38 (36+2)
incrementer-enc07-nonuniform-depth-23.qdimacs.gz 10 (10+1)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc07-nonuniform-depth-24.qdimacs.gz 11 (10+1)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
231 (224+7)
incrementer-enc07-nonuniform-depth-25.qdimacs.gz 11 (11+1)
s cnf 0 (s cnf 0)
9 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (0+0)
s cnf 0 (s cnf 0)
39 (37+2)
incrementer-enc07-nonuniform-depth-26.qdimacs.gz 13 (12+1)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (1+0)
s cnf 0 (s cnf 0)
86 (84+2)
incrementer-enc07-nonuniform-depth-27.qdimacs.gz 14 (13+1)
s cnf 0 (s cnf 0)
11 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
112 (109+3)
incrementer-enc07-nonuniform-depth-28.qdimacs.gz 14 (13+1)
s cnf 0 (s cnf 0)
11 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
35 (33+2)
incrementer-enc07-nonuniform-depth-29.qdimacs.gz 15 (14+1)
s cnf 0 (s cnf 0)
12 (11+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
31 (28+3)
incrementer-enc07-nonuniform-depth-30.qdimacs.gz 16 (16+1)
s cnf 0 (s cnf 0)
13 (12+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 1 (1+0)
s cnf 0 (s cnf 0)
33 (30+3)
incrementer-enc07-nonuniform-depth-31.qdimacs.gz 16 (15+1)
s cnf 0 (s cnf 0)
12 (12+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
23 (21+2)
incrementer-enc07-nonuniform-depth-32.qdimacs.gz 17 (16+1)
s cnf 0 (s cnf 0)
13 (13+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 1 (1+0)
s cnf 0 (s cnf 0)
34 (31+2)
incrementer-enc07-nonuniform-depth-33.qdimacs.gz 19 (18+1)
s cnf 1 (s cnf 1)
15 (14+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 170 (163+7)
s cnf 1 (s cnf 1)
40 (37+3)
incrementer-enc07-nonuniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
21 (18+3)
incrementer-enc07-nonuniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (2+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
89 (86+3)
incrementer-enc07-nonuniform-depth-9.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
23 (13+10)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc07-uniform-depth-10.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
420 (419+1)
s cnf 0 (s cnf 0)
13 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (31+2)
incrementer-enc07-uniform-depth-11.qdimacs.gz 54 (54+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
72 (72+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
47 (44+4)
incrementer-enc07-uniform-depth-12.qdimacs.gz 800 (798+2) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
55 (50+5)
incrementer-enc07-uniform-depth-13.qdimacs.gz 800 (798+2) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
49 (46+2)
incrementer-enc07-uniform-depth-14.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
68 (66+2)
incrementer-enc07-uniform-depth-15.qdimacs.gz 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
69 (66+3)
incrementer-enc07-uniform-depth-16.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
87 (84+3)
incrementer-enc07-uniform-depth-17.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
60 (56+4)
incrementer-enc07-uniform-depth-18.qdimacs.gz 800 (798+2) 8 (7+0)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
108 (105+3)
incrementer-enc07-uniform-depth-19.qdimacs.gz 800 (798+2) 7 (7+0)
s cnf 0 (s cnf 0)
800 (798+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
97 (94+4)
incrementer-enc07-uniform-depth-20.qdimacs.gz 800 (798+2) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
88 (85+3)
incrementer-enc07-uniform-depth-21.qdimacs.gz 800 (798+2) 8 (8+0)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+3)
incrementer-enc07-uniform-depth-22.qdimacs.gz 800 (798+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
99 (95+4)
incrementer-enc07-uniform-depth-23.qdimacs.gz 800 (798+2) 8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (99+3)
incrementer-enc07-uniform-depth-24.qdimacs.gz 800 (798+2) 8 (8+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
118 (115+3)
incrementer-enc07-uniform-depth-25.qdimacs.gz 800 (798+2) 15 (15+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
117 (114+3)
incrementer-enc07-uniform-depth-26.qdimacs.gz 800 (798+2) 13 (12+0)
s cnf 0 (s cnf 0)
800 (799+2) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
109 (107+2)
incrementer-enc07-uniform-depth-27.qdimacs.gz 800 (798+2) 12 (12+1)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
113 (111+2)
incrementer-enc07-uniform-depth-28.qdimacs.gz 800 (798+2) 16 (15+1)
s cnf 0 (s cnf 0)
708 (706+2) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
85 (83+2)
incrementer-enc07-uniform-depth-29.qdimacs.gz 800 (798+2) 15 (14+1)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
99 (96+2)
incrementer-enc07-uniform-depth-30.qdimacs.gz 800 (798+2) 17 (16+1)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
incrementer-enc07-uniform-depth-31.qdimacs.gz 800 (797+3) 18 (17+1)
s cnf 0 (s cnf 0)
800 (798+2) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
143 (141+2)
incrementer-enc07-uniform-depth-32.qdimacs.gz 800 (797+3) 17 (16+1)
s cnf 0 (s cnf 0)
800 (798+2) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
119 (118+2)
incrementer-enc07-uniform-depth-33.qdimacs.gz 800 (797+3) 18 (18+1)
s cnf 1 (s cnf 1)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 1 (s cnf 1)
98 (96+2)
incrementer-enc07-uniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
3 (2+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 425 2057)
incrementer-enc07-uniform-depth-8.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
174 (173+0)
s cnf 0 (s cnf 0)
6 (3+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 518 2557)
incrementer-enc07-uniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
13 (13+0)
s cnf 0 (s cnf 0)
55 (31+24)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
33 (31+2)
s cnf 0 (s cnf 0 637 3657)
incrementer-enc08-nonuniform-depth-10.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
42 (23+20)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
49 (47+2)
incrementer-enc08-nonuniform-depth-11.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2)
incrementer-enc08-nonuniform-depth-12.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
116 (114+2)
incrementer-enc08-nonuniform-depth-13.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
67 (65+2)
incrementer-enc08-nonuniform-depth-14.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
69 (67+2)
incrementer-enc08-nonuniform-depth-15.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
27 (25+2)
incrementer-enc08-nonuniform-depth-16.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
91 (90+2)
incrementer-enc08-nonuniform-depth-17.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
10 (8+2)
incrementer-enc08-nonuniform-depth-18.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
77 (75+2)
incrementer-enc08-nonuniform-depth-19.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
101 (99+2)
incrementer-enc08-nonuniform-depth-20.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
85 (83+2)
incrementer-enc08-nonuniform-depth-21.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2)
incrementer-enc08-nonuniform-depth-22.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
40 (38+2)
incrementer-enc08-nonuniform-depth-23.qdimacs.gz 8 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
80 (79+2)
incrementer-enc08-nonuniform-depth-24.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
45 (44+2)
incrementer-enc08-nonuniform-depth-25.qdimacs.gz 9 (8+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc08-nonuniform-depth-26.qdimacs.gz 9 (9+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
84 (82+2)
incrementer-enc08-nonuniform-depth-27.qdimacs.gz 10 (9+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
13 (11+2) 1 (0+0)
s cnf 0 (s cnf 0)
89 (87+2)
incrementer-enc08-nonuniform-depth-28.qdimacs.gz 11 (10+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (0+0)
s cnf 0 (s cnf 0)
114 (112+2)
incrementer-enc08-nonuniform-depth-29.qdimacs.gz 11 (10+1)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
42 (40+2)
incrementer-enc08-nonuniform-depth-30.qdimacs.gz 11 (11+1)
s cnf 0 (s cnf 0)
9 (8+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
14 (12+2)
incrementer-enc08-nonuniform-depth-31.qdimacs.gz 12 (11+1)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (13+2) 1 (1+0)
s cnf 0 (s cnf 0)
46 (44+2)
incrementer-enc08-nonuniform-depth-32.qdimacs.gz 13 (12+1)
s cnf 0 (s cnf 0)
10 (9+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 1 (1+0)
s cnf 0 (s cnf 0)
33 (32+2)
incrementer-enc08-nonuniform-depth-33.qdimacs.gz 13 (12+1)
s cnf 1 (s cnf 1)
10 (9+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 78 (75+3)
s cnf 1 (s cnf 1)
81 (79+2)
incrementer-enc08-nonuniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
2 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
95 (94+2)
incrementer-enc08-nonuniform-depth-9.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
7 (4+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
52 (51+2)
incrementer-enc08-uniform-depth-10.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
24 (22+2)
incrementer-enc08-uniform-depth-11.qdimacs.gz 27 (27+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
156 (156+0)
s cnf 0 (s cnf 0)
15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
74 (72+2)
incrementer-enc08-uniform-depth-12.qdimacs.gz 800 (798+2) 5 (5+0)
s cnf 0 (s cnf 0)
800 (800+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
56 (54+2)
incrementer-enc08-uniform-depth-13.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2)
incrementer-enc08-uniform-depth-14.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (800+0) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
37 (35+2)
incrementer-enc08-uniform-depth-15.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 23 (21+2) 0 (0+0)
s cnf 0 (s cnf 0)
83 (81+2)
incrementer-enc08-uniform-depth-16.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
57 (55+2)
incrementer-enc08-uniform-depth-17.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
70 (68+2)
incrementer-enc08-uniform-depth-18.qdimacs.gz 800 (799+2) 5 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc08-uniform-depth-19.qdimacs.gz 800 (798+2) 5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
72 (70+2)
incrementer-enc08-uniform-depth-20.qdimacs.gz 800 (798+2) 7 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (11+2) 0 (0+0)
s cnf 0 (s cnf 0)
57 (55+2)
incrementer-enc08-uniform-depth-21.qdimacs.gz 800 (799+2) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 13 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
81 (79+2)
incrementer-enc08-uniform-depth-22.qdimacs.gz 800 (798+2) 7 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (13+2) 0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
incrementer-enc08-uniform-depth-23.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
79 (77+2)
incrementer-enc08-uniform-depth-24.qdimacs.gz 800 (799+2) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
101 (99+2)
incrementer-enc08-uniform-depth-25.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
103 (101+2)
incrementer-enc08-uniform-depth-26.qdimacs.gz 800 (798+2) 9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
135 (133+2)
incrementer-enc08-uniform-depth-27.qdimacs.gz 800 (799+1) 9 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
112 (110+2)
incrementer-enc08-uniform-depth-28.qdimacs.gz 800 (798+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (798+2) 18 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
159 (156+3)
incrementer-enc08-uniform-depth-29.qdimacs.gz 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
160 (157+2)
incrementer-enc08-uniform-depth-30.qdimacs.gz 800 (799+2) 10 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
157 (154+3)
incrementer-enc08-uniform-depth-31.qdimacs.gz 800 (798+2) 10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
182 (180+3)
incrementer-enc08-uniform-depth-32.qdimacs.gz 800 (798+2) 13 (12+0)
s cnf 0 (s cnf 0)
800 (798+2) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
185 (183+2)
incrementer-enc08-uniform-depth-33.qdimacs.gz 800 (798+2) 12 (11+0)
s cnf 1 (s cnf 1)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
116 (113+3)
incrementer-enc08-uniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 649 5769)
incrementer-enc08-uniform-depth-9.qdimacs.gz 4 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
1 (1+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 723 6412)
incrementer-enc09-nonuniform-depth-10.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
48 (46+2)
incrementer-enc09-nonuniform-depth-11.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
66 (64+2)
incrementer-enc09-nonuniform-depth-12.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
73 (71+2)
incrementer-enc09-nonuniform-depth-13.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
57 (55+2)
incrementer-enc09-nonuniform-depth-14.qdimacs.gz 7 (6+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
125 (123+2)
incrementer-enc09-nonuniform-depth-15.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
21 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
95 (93+2)
incrementer-enc09-nonuniform-depth-16.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2)
incrementer-enc09-nonuniform-depth-17.qdimacs.gz 9 (9+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
18 (16+2) 3 (3+0)
s cnf 1 (s cnf 1)
82 (80+2)
incrementer-enc09-nonuniform-depth-6.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0 615 3459)
incrementer-enc09-nonuniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (2+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
74 (72+2)
incrementer-enc09-nonuniform-depth-8.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
15 (8+7)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
55 (53+2)
incrementer-enc09-nonuniform-depth-9.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
54 (35+19) 0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2)
incrementer-enc09-uniform-depth-10.qdimacs.gz 18 (17+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
20 (18+2)
incrementer-enc09-uniform-depth-11.qdimacs.gz 800 (798+2) 4 (4+0)
s cnf 0 (s cnf 0)
631 (630+1)
s cnf 0 (s cnf 0)
19 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
33 (30+2)
incrementer-enc09-uniform-depth-12.qdimacs.gz 800 (799+1) 5 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
40 (38+2)
incrementer-enc09-uniform-depth-13.qdimacs.gz 800 (799+1) 6 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 0 (0+0)
s cnf 0 (s cnf 0)
50 (48+2)
incrementer-enc09-uniform-depth-14.qdimacs.gz 800 (799+1) 6 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
35 (33+2)
incrementer-enc09-uniform-depth-15.qdimacs.gz 800 (799+1) 6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 19 (17+2) 0 (0+0)
s cnf 0 (s cnf 0)
46 (43+2)
incrementer-enc09-uniform-depth-16.qdimacs.gz 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 20 (18+2) 0 (0+0)
s cnf 0 (s cnf 0)
51 (49+2)
incrementer-enc09-uniform-depth-17.qdimacs.gz 123 (122+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
800 (799+1) 21 (19+2) 0 (0+0)
s cnf 1 (s cnf 1)
60 (58+2)
incrementer-enc09-uniform-depth-7.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (2+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 730 2703)
incrementer-enc09-uniform-depth-8.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
37 (22+15)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
14 (13+1)
s cnf 0 (s cnf 0 839 3328)
incrementer-enc09-uniform-depth-9.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
23 (21+2)
TOTAL solved: 285
wins: 0
solved: 477
wins: 0
solved: 284
wins: 258
solved: 51
wins: 4
solved: 483
wins: 386
solved: 27
wins: 6
incrementer-encoder_gq.ts incrementer-encoder_gqc.ts incrementer-encoder_nq72.ts incrementer-encoder_quantor.ts incrementer-encoder_rareqsuuh3pb.ts incrementer-encoder_znenofex.ts