Problem Sorting_networks_gq.ts Sorting_networks_gqc.ts Sorting_networks_nq72.ts Sorting_networks_quantor.ts Sorting_networks_rareqsuuh3pb.ts Sorting_networks_znenofex.ts
sortnetsort10.AE.stepl.004.qcnf.gz 800 (799+1) 800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
45 (43+2) 10 (10+0)
s cnf 1 (s cnf 1)
800 (800+0)
sortnetsort10.AE.stepl.005.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 51 (47+4) 800 (795+5) 800 (799+1)
sortnetsort10.AE.stepl.006.qcnf.gz 800 (798+2) 800 (799+1) 800 (799+1) 35 (32+2) 800 (797+3) 800 (800+0)
sortnetsort10.AE.stepl.007.qcnf.gz 800 (798+2) 800 (799+1) 800 (799+1) 81 (78+2) 800 (796+4) 800 (800+0)
sortnetsort10.AE.stepl.008.qcnf.gz 800 (798+2) 800 (799+1) 800 (799+1) 23 (21+2) 800 (797+3) 800 (800+0)
sortnetsort10.AE.stepl.009.qcnf.gz 800 (798+2) 800 (798+2) 23 (23+0)
s cnf 0 (s cnf 0)
53 (51+2) 800 (798+2) 800 (800+0)
sortnetsort10.AE.stepl.010.qcnf.gz 800 (797+3) 800 (798+2) 114 (114+0)
s cnf 0 (s cnf 0)
37 (35+2) 800 (797+3) 800 (800+0)
sortnetsort10.AE.stepl.011.qcnf.gz 800 (797+3) 800 (798+2) 20 (20+0)
s cnf 0 (s cnf 0)
55 (53+2) 800 (798+2) 800 (800+0)
sortnetsort10.AE.stepl.012.qcnf.gz 800 (797+3) 800 (798+2) 67 (67+0)
s cnf 0 (s cnf 0)
33 (31+2) 800 (797+3) 800 (800+0)
sortnetsort10.v.stepl.004.qcnf.gz 800 (799+1) 431 (431+0)
s cnf 0 (s cnf 0)
800 (799+1) 29 (25+4)
s cnf 0 (s FALSE)
8 (8+0)
s cnf 0 (s cnf 0)
14 (14+1)
s cnf 0 (s cnf 0 328 4288)
sortnetsort10.v.stepl.005.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 325 (319+6)
s cnf 0 (s FALSE)
199 (199+0)
s cnf 0 (s cnf 0)
162 (162+1)
s cnf 0 (s cnf 0 413 5419)
sortnetsort10.v.stepl.006.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 800 (793+7) 800 (799+1) 800 (799+1)
sortnetsort10.v.stepl.007.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 800 (791+9) 800 (799+1) 800 (799+1)
sortnetsort10.v.stepl.008.qcnf.gz 800 (799+1) 800 (799+1) 800 (798+2) 800 (790+10) 147 (146+1)
s cnf 1 (s cnf 1)
430 (428+1)
s cnf 1 (s cnf 1 521 5908)
sortnetsort10.v.stepl.009.qcnf.gz 800 (799+2) 800 (799+1) 800 (798+2) 211 (200+11)
s cnf 1 (s TRUE)
119 (118+1)
s cnf 1 (s cnf 1)
353 (351+2)
s cnf 1 (s cnf 1 584 6655)
sortnetsort10.v.stepl.010.qcnf.gz 800 (798+2) 800 (799+1) 800 (799+2) 607 (594+13)
s cnf 1 (s TRUE)
20 (20+0)
s cnf 1 (s cnf 1)
200 (198+2)
s cnf 1 (s cnf 1 649 7414)
sortnetsort10.v.stepl.011.qcnf.gz 800 (798+2) 800 (799+1) 800 (797+3) 412 (397+15)
s cnf 1 (s TRUE)
35 (34+1)
s cnf 1 (s cnf 1)
108 (106+2)
s cnf 1 (s cnf 1 610 6126)
sortnetsort10.v.stepl.012.qcnf.gz 800 (798+2) 800 (799+1) 800 (798+2) 286 (271+15)
s cnf 1 (s TRUE)
60 (59+1)
s cnf 1 (s cnf 1)
11 (10+2)
sortnetsort5.AE.stepl.003.qcnf.gz 21 (21+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
56 (54+2) 4 (4+0)
s cnf 1 (s cnf 1)
226 (224+2)
sortnetsort5.AE.stepl.004.qcnf.gz 800 (798+2) 149 (148+0)
s cnf 1 (s cnf 1)
36 (36+0)
s cnf 1 (s cnf 1)
65 (63+2) 9 (9+0)
s cnf 1 (s cnf 1)
262 (260+2)
sortnetsort5.AE.stepl.005.qcnf.gz 800 (798+2) 22 (22+0)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
47 (45+2) 1 (1+0)
s cnf 0 (s cnf 0)
244 (242+2)
sortnetsort5.AE.stepl.006.qcnf.gz 800 (798+2) 1 (1+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
47 (45+2) 0 (0+0)
s cnf 0 (s cnf 0)
326 (324+2)
sortnetsort5.AE.stepl.007.qcnf.gz 800 (798+2) 1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
48 (46+2) 0 (0+0)
s cnf 0 (s cnf 0)
290 (288+2)
sortnetsort5.v.stepl.003.qcnf.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 UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 159 1470)
sortnetsort5.v.stepl.004.qcnf.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)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 258 2308)
sortnetsort5.v.stepl.005.qcnf.gz 0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+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 299 2449)
sortnetsort5.v.stepl.006.qcnf.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+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 387 3226)
sortnetsort5.v.stepl.007.qcnf.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+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 327 2580)
sortnetsort6.AE.stepl.003.qcnf.gz 780 (777+3)
s cnf 1 (s cnf 1)
132 (132+0)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
41 (39+2) 10 (10+0)
s cnf 1 (s cnf 1)
319 (316+2)
sortnetsort6.AE.stepl.004.qcnf.gz 800 (798+2) 800 (799+1) 5 (5+0)
s cnf 1 (s cnf 1)
44 (41+2) 1 (1+0)
s cnf 1 (s cnf 1)
374 (372+2)
sortnetsort6.AE.stepl.005.qcnf.gz 800 (798+2) 628 (628+1)
s cnf 0 (s cnf 0)
118 (118+0)
s cnf 0 (s cnf 0)
64 (61+2) 1 (1+0)
s cnf 0 (s cnf 0)
325 (323+2)
sortnetsort6.AE.stepl.006.qcnf.gz 800 (799+1) 418 (418+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
54 (51+2) 1 (1+0)
s cnf 0 (s cnf 0)
392 (390+2)
sortnetsort6.AE.stepl.007.qcnf.gz 800 (799+1) 35 (35+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
92 (88+4) 0 (0+0)
s cnf 0 (s cnf 0)
543 (542+2)
sortnetsort6.v.stepl.003.qcnf.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+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 271 2693)
sortnetsort6.v.stepl.004.qcnf.gz 27 (27+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
103 (103+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 382 3746)
sortnetsort6.v.stepl.005.qcnf.gz 1 (1+0)
s cnf 1 (s cnf 1)
10 (10+0)
s cnf 1 (s cnf 1)
1 (1+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 286 2679)
sortnetsort6.v.stepl.006.qcnf.gz 3 (3+0)
s cnf 1 (s cnf 1)
29 (29+0)
s cnf 1 (s cnf 1)
2 (2+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 349 3357)
sortnetsort6.v.stepl.007.qcnf.gz 3 (3+0)
s cnf 1 (s cnf 1)
34 (34+0)
s cnf 1 (s cnf 1)
800 (799+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 412 3993)
sortnetsort7.AE.stepl.003.qcnf.gz 800 (798+2) 800 (799+1) 14 (14+0)
s cnf 1 (s cnf 1)
60 (58+2) 5 (5+0)
s cnf 1 (s cnf 1)
278 (276+2)
sortnetsort7.AE.stepl.004.qcnf.gz 800 (799+2) 800 (799+1) 13 (13+0)
s cnf 1 (s cnf 1)
79 (77+2) 4 (4+0)
s cnf 1 (s cnf 1)
560 (559+2)
sortnetsort7.AE.stepl.005.qcnf.gz 800 (799+1) 800 (799+1) 85 (85+0)
s cnf 1 (s cnf 1)
54 (52+2) 29 (29+0)
s cnf 1 (s cnf 1)
494 (493+2)
sortnetsort7.AE.stepl.006.qcnf.gz 800 (799+1) 800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
45 (43+2) 1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort7.AE.stepl.007.qcnf.gz 800 (799+1) 800 (799+1) 1 (1+0)
s cnf 0 (s cnf 0)
44 (41+2) 1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort7.AE.stepl.008.qcnf.gz 800 (799+1) 800 (799+1) 5 (5+0)
s cnf 0 (s cnf 0)
38 (36+2) 1 (1+0)
s cnf 0 (s cnf 0)
390 (388+2)
sortnetsort7.AE.stepl.009.qcnf.gz 800 (799+1) 800 (799+1) 1 (1+0)
s cnf 0 (s cnf 0)
46 (43+2) 1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort7.v.stepl.003.qcnf.gz 8 (8+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
12 (12+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 338 3705)
sortnetsort7.v.stepl.004.qcnf.gz 416 (415+1)
s cnf 0 (s cnf 0)
25 (25+0)
s cnf 0 (s cnf 0)
800 (800+0) 1 (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 280 2952)
sortnetsort7.v.stepl.005.qcnf.gz 800 (798+2) 800 (800+1) 800 (799+1) 21 (21+0)
s cnf 0 (s FALSE)
4 (4+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0 361 3891)
sortnetsort7.v.stepl.006.qcnf.gz 392 (391+1)
s cnf 1 (s cnf 1)
75 (75+0)
s cnf 1 (s cnf 1)
800 (799+1) 1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 434 4690)
sortnetsort7.v.stepl.007.qcnf.gz 228 (227+1)
s cnf 1 (s cnf 1)
96 (96+0)
s cnf 1 (s cnf 1)
800 (799+1) 1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 332 3187)
sortnetsort7.v.stepl.008.qcnf.gz 63 (62+0)
s cnf 1 (s cnf 1)
177 (176+0)
s cnf 1 (s cnf 1)
800 (799+1) 1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 381 3677)
sortnetsort7.v.stepl.009.qcnf.gz 21 (20+0)
s cnf 1 (s cnf 1)
54 (53+0)
s cnf 1 (s cnf 1)
800 (799+1) 1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 430 4163)
sortnetsort8.AE.stepl.003.qcnf.gz 800 (798+2) 800 (799+1) 2 (2+0)
s cnf 1 (s cnf 1)
56 (53+2) 3 (2+0)
s cnf 1 (s cnf 1)
686 (684+2)
sortnetsort8.AE.stepl.004.qcnf.gz 800 (799+1) 800 (799+1) 1 (1+0)
s cnf 1 (s cnf 1)
24 (21+2) 2 (2+0)
s cnf 1 (s cnf 1)
800 (799+1)
sortnetsort8.AE.stepl.005.qcnf.gz 800 (799+1) 800 (799+1) 64 (64+0)
s cnf 1 (s cnf 1)
26 (24+2) 7 (7+0)
s cnf 1 (s cnf 1)
800 (799+1)
sortnetsort8.AE.stepl.006.qcnf.gz 800 (799+1) 800 (799+1) 43 (43+0)
s cnf 0 (s cnf 0)
23 (21+2) 3 (3+0)
s cnf 0 (s cnf 0)
800 (800+1)
sortnetsort8.AE.stepl.007.qcnf.gz 800 (799+1) 800 (799+1) 3 (3+0)
s cnf 0 (s cnf 0)
52 (50+2) 48 (48+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort8.AE.stepl.008.qcnf.gz 800 (799+2) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
51 (49+2) 13 (13+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort8.AE.stepl.009.qcnf.gz 800 (799+1) 800 (799+1) 41 (41+0)
s cnf 0 (s cnf 0)
39 (37+2) 13 (13+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort8.v.stepl.003.qcnf.gz 71 (70+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (800+1) 1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 249 2928)
sortnetsort8.v.stepl.004.qcnf.gz 800 (799+2) 263 (263+0)
s cnf 0 (s cnf 0)
800 (800+0) 2 (2+1)
s cnf 0 (s FALSE)
1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0 341 4084)
sortnetsort8.v.stepl.005.qcnf.gz 800 (798+2) 800 (800+0) 800 (799+1) 63 (62+1)
s cnf 0 (s FALSE)
8 (8+0)
s cnf 0 (s cnf 0)
22 (22+0)
s cnf 0 (s cnf 0 290 3094)
sortnetsort8.v.stepl.006.qcnf.gz 800 (799+2) 150 (150+0)
s cnf 1 (s cnf 1)
800 (799+1) 4 (3+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1 350 3769)
sortnetsort8.v.stepl.007.qcnf.gz 800 (798+2) 466 (465+1)
s cnf 1 (s cnf 1)
800 (799+1) 5 (4+1)
s cnf 1 (s TRUE)
2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1 410 4432)
sortnetsort8.v.stepl.008.qcnf.gz 214 (213+1)
s cnf 1 (s cnf 1)
184 (183+0)
s cnf 1 (s cnf 1)
800 (798+2) 4 (3+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
3 (2+0)
s cnf 1 (s cnf 1 470 5101)
sortnetsort8.v.stepl.009.qcnf.gz 357 (356+1)
s cnf 1 (s cnf 1)
192 (191+1)
s cnf 1 (s cnf 1)
800 (799+1) 6 (5+2)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1 395 3676)
sortnetsort9.AE.stepl.004.qcnf.gz 800 (799+1) 800 (799+1) 6 (6+0)
s cnf 1 (s cnf 1)
25 (23+2) 3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1)
sortnetsort9.AE.stepl.005.qcnf.gz 800 (798+2) 800 (799+1) 800 (800+0) 64 (61+2) 19 (19+0)
s cnf 1 (s cnf 1)
800 (800+0)
sortnetsort9.AE.stepl.006.qcnf.gz 800 (799+2) 800 (799+1) 800 (799+1) 29 (27+2) 800 (797+4) 800 (799+1)
sortnetsort9.AE.stepl.007.qcnf.gz 800 (799+2) 800 (799+1) 800 (799+1) 47 (45+2) 36 (36+0)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort9.AE.stepl.008.qcnf.gz 800 (798+2) 800 (799+1) 68 (67+0)
s cnf 0 (s cnf 0)
51 (49+2) 189 (188+1)
s cnf 0 (s cnf 0)
800 (800+0)
sortnetsort9.AE.stepl.009.qcnf.gz 800 (798+2) 800 (799+1) 106 (106+0)
s cnf 0 (s cnf 0)
70 (68+2) 54 (54+0)
s cnf 0 (s cnf 0)
800 (800+0)
sortnetsort9.AE.stepl.010.qcnf.gz 800 (798+2) 800 (799+1) 80 (80+0)
s cnf 0 (s cnf 0)
61 (59+2) 202 (200+1)
s cnf 0 (s cnf 0)
800 (799+1)
sortnetsort9.AE.stepl.011.qcnf.gz 800 (798+2) 800 (798+2) 17 (17+0)
s cnf 0 (s cnf 0)
53 (50+2) 266 (265+1)
s cnf 0 (s cnf 0)
800 (800+0)
sortnetsort9.AE.stepl.012.qcnf.gz 800 (797+3) 800 (798+2) 120 (119+0)
s cnf 0 (s cnf 0)
34 (32+2) 82 (82+0)
s cnf 0 (s cnf 0)
800 (800+0)
sortnetsort9.v.stepl.004.qcnf.gz 800 (799+1) 800 (800+0) 800 (799+1) 9 (8+2)
s cnf 0 (s FALSE)
1 (1+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0 279 3277)
sortnetsort9.v.stepl.005.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 121 (119+2)
s cnf 0 (s FALSE)
8 (7+0)
s cnf 0 (s cnf 0)
69 (68+0)
s cnf 0 (s cnf 0 347 4150)
sortnetsort9.v.stepl.006.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 800 (797+3) 800 (799+1) 800 (799+1)
sortnetsort9.v.stepl.007.qcnf.gz 800 (799+1) 800 (799+1) 800 (799+1) 55 (52+3)
s cnf 1 (s TRUE)
66 (65+0)
s cnf 1 (s cnf 1)
130 (129+1)
s cnf 1 (s cnf 1 378 3884)
sortnetsort9.v.stepl.008.qcnf.gz 800 (799+1) 800 (799+1) 800 (798+2) 34 (31+4)
s cnf 1 (s TRUE)
12 (12+0)
s cnf 1 (s cnf 1)
50 (49+1)
s cnf 1 (s cnf 1 430 4450)
sortnetsort9.v.stepl.009.qcnf.gz 718 (716+2)
s cnf 1 (s cnf 1)
800 (799+1) 800 (799+1) 29 (24+4)
s cnf 1 (s TRUE)
3 (3+0)
s cnf 1 (s cnf 1)
16 (15+1)
s cnf 1 (s cnf 1 486 5020)
sortnetsort9.v.stepl.010.qcnf.gz 800 (798+2) 800 (799+1) 800 (798+2) 20 (15+5)
s cnf 1 (s TRUE)
4 (4+0)
s cnf 1 (s cnf 1)
12 (11+1)
s cnf 1 (s cnf 1 540 5591)
sortnetsort9.v.stepl.011.qcnf.gz 555 (554+2)
s cnf 1 (s cnf 1)
800 (799+1) 800 (798+2) 34 (28+5)
s cnf 1 (s TRUE)
5 (5+0)
s cnf 1 (s cnf 1)
15 (14+1)
s cnf 1 (s cnf 1 594 6164)
sortnetsort9.v.stepl.012.qcnf.gz 461 (459+2)
s cnf 1 (s cnf 1)
800 (799+1) 800 (798+2) 54 (48+6)
s cnf 1 (s TRUE)
8 (8+0)
s cnf 1 (s cnf 1)
17 (16+1)
s cnf 1 (s cnf 1 646 6733)
TOTAL solved: 24
wins: 2
solved: 32
wins: 1
solved: 45
wins: 22
solved: 38
wins: 12
solved: 72
wins: 62
solved: 38
wins: 13
Sorting_networks_gq.ts Sorting_networks_gqc.ts Sorting_networks_nq72.ts Sorting_networks_quantor.ts Sorting_networks_rareqsuuh3pb.ts Sorting_networks_znenofex.ts