| Problem | qesto | areqs | depqbf | nbl_gqc |
|---|---|---|---|---|
| stmt41_235_286.qdimacs.gz | 9 (9+0) s cnf 0 (s cnf 0) (bt:18872) |
0 (0+0) s cnf 0 (s cnf 0) (##83) |
800 (800+0) | 2 (2+0) s cnf 0 (s cnf 0) |
| stmt21_79_314.qdimacs.gz | 3 (3+0) s cnf 0 (s cnf 0) (bt:8958) |
4 (4+0) s cnf 0 (s cnf 0) (##4309) |
800 (800+0) | 800 (800+0) |
| stmt19_142_261.qdimacs.gz | 7 (7+0) s cnf 0 (s cnf 0) (bt:16873) |
178 (177+1) s cnf 0 (s cnf 0) (##146497) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt21_70_258.qdimacs.gz | 169 (169+1) s cnf 0 (s cnf 0) (bt:263444) |
53 (52+0) s cnf 0 (s cnf 0) (##48272) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt31_100_276.qdimacs.gz | 300 (299+1) s cnf 0 (s cnf 0) (bt:394408) |
0 (0+0) s cnf 0 (s cnf 0) (##23) |
800 (800+0) | 5 (5+0) s cnf 0 (s cnf 0) |
| stmt29_21_275.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:3331) |
0 (0+0) s cnf 0 (s cnf 0) (##33) |
800 (800+0) | 26 (26+0) s cnf 0 (s cnf 0) |
| stmt19_66_318.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:2143) |
3 (3+0) s cnf 0 (s cnf 0) (##3227) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt32_228_277.qdimacs.gz | 9 (9+0) s cnf 0 (s cnf 0) (bt:18836) |
0 (0+0) s cnf 0 (s cnf 0) (##36) |
800 (800+0) | 4 (4+0) s cnf 0 (s cnf 0) |
| stmt22_92_259.qdimacs.gz | 358 (357+1) s cnf 0 (s cnf 0) (bt:475560) |
800 (797+3) | 800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt50_167_293.qdimacs.gz | 365 (364+1) s cnf 0 (s cnf 0) (bt:413088) |
0 (0+0) s cnf 0 (s cnf 0) (##61) |
800 (800+0) | 2 (2+0) s cnf 0 (s cnf 0) |
| stmt47_239_290.qdimacs.gz | 77 (76+0) s cnf 0 (s cnf 0) (bt:140969) |
0 (0+0) s cnf 0 (s cnf 0) (##20) |
800 (800+0) | 9 (9+0) s cnf 0 (s cnf 0) |
| stmt21_143_258.qdimacs.gz | 800 (799+2) (bt:625821) |
772 (770+3) s cnf 0 (s cnf 0) (##526648) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt19_83_302.qdimacs.gz | 709 (708+2) s cnf 0 (s cnf 0) (bt:646258) |
0 (0+0) s cnf 0 (s cnf 0) (##18) |
800 (800+0) | 19 (19+0) s cnf 0 (s cnf 0) |
| stmt17_63_78.qdimacs.gz | 800 (798+2) (bt:987523) |
800 (797+3) | 800 (800+0) | 107 (106+0) s cnf 1 (s cnf 1) |
| stmt52_117_295.qdimacs.gz | 35 (35+0) s cnf 0 (s cnf 0) (bt:67479) |
0 (0+0) s cnf 0 (s cnf 0) (##131) |
800 (800+0) | 14 (14+0) s cnf 0 (s cnf 0) |
| stmt21_267_310.qdimacs.gz | 728 (726+2) s cnf 0 (s cnf 0) (bt:674197) |
800 (797+3) | 800 (800+0) | 800 (800+0) |
| stmt19_3_309.qdimacs.gz | 430 (429+1) s cnf 0 (s cnf 0) (bt:473288) |
0 (0+0) s cnf 0 (s cnf 0) (##102) |
0 (0+0) s cnf 0 (s cnf 0) |
590 (590+0) s cnf 0 (s cnf 0) |
| stmt21_134_418.qdimacs.gz | 800 (798+2) (bt:779232) |
800 (797+3) | 800 (800+0) | 2 (2+0) s cnf 0 (s cnf 0) |
| stmt19_125_302.qdimacs.gz | 800 (798+2) (bt:807444) |
0 (0+0) s cnf 0 (s cnf 0) (##59) |
800 (800+0) | 2 (2+0) s cnf 0 (s cnf 0) |
| stmt21_252_310.qdimacs.gz | 10 (10+0) s cnf 0 (s cnf 0) (bt:17888) |
0 (0+0) s cnf 0 (s cnf 0) (##23) |
0 (0+0) s cnf 0 (s cnf 0) |
800 (800+0) |
| stmt32_153_277.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:403) |
0 (0+0) s cnf 0 (s cnf 0) (##60) |
0 (0+0) s cnf 0 (s cnf 0) |
2 (2+0) s cnf 0 (s cnf 0) |
| stmt19_261_266.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:794) |
0 (0+0) s cnf 0 (s cnf 0) (##22) |
0 (0+0) s cnf 0 (s cnf 0) |
14 (14+0) s cnf 0 (s cnf 0) |
| sortnetsort5.AE.stepl.007.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:446) |
1 (0+0) s cnf 0 (s cnf 0) (##191) |
0 (0+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| stmt19_83_90.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:54) |
0 (0+0) s cnf 0 (s cnf 0) (##35) |
0 (0+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| sortnetsort7.AE.stepl.006.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:1196) |
1 (1+0) s cnf 0 (s cnf 0) (##730) |
0 (0+0) s cnf 0 (s cnf 0) |
800 (800+1) |
| stmt19_217_250.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:79) |
0 (0+0) s cnf 0 (s cnf 0) (##25) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| stmt41_336_385.qdimacs.gz | 210 (209+1) s cnf 0 (s cnf 0) (bt:270258) |
404 (402+2) s cnf 0 (s cnf 0) (##188308) |
800 (800+0) | 800 (800+0) |
| stmt39_34_107.qdimacs.gz | 3 (3+0) s cnf 0 (s cnf 0) (bt:6825) |
49 (49+0) s cnf 0 (s cnf 0) (##28257) |
0 (0+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| stmt21_310_360.qdimacs.gz | 800 (798+2) (bt:691178) |
800 (797+3) | 800 (800+0) | 800 (800+0) |
| stmt19_313_412.qdimacs.gz | 567 (565+2) s cnf 0 (s cnf 0) (bt:578161) |
680 (677+3) s cnf 0 (s cnf 0) (##301915) |
800 (800+0) | 800 (800+0) |
| stmt28_68_81.qdimacs.gz | 800 (798+2) (bt:383315) |
800 (795+5) | 800 (800+0) | 115 (114+0) s cnf 1 (s cnf 1) |
| rankfunc57_unsigned_64.qdimacs.gz | 0 (0+0) s cnf 1 (s cnf 1) (bt:65) |
0 (0+0) s cnf 1 (s cnf 1) (##2) |
0 (0+0) s cnf 1 (s cnf 1) |
800 (799+1) |
| stmt52_295_394.qdimacs.gz | 235 (234+1) s cnf 0 (s cnf 0) (bt:288808) |
800 (797+3) | 800 (800+0) | 800 (800+0) |
| sortnetsort5.AE.stepl.003.qdimacs.gz | 6 (6+0) s cnf 1 (s cnf 1) (bt:4851) |
3 (3+0) s cnf 1 (s cnf 1) (##705) |
3 (3+0) s cnf 1 (s cnf 1) |
7 (7+0) s cnf 1 (s cnf 1) |
| stmt19_137_313.qdimacs.gz | 2 (2+0) s cnf 0 (s cnf 0) (bt:2706) |
0 (0+0) s cnf 0 (s cnf 0) (##152) |
800 (800+0) | 800 (800+0) |
| stmt19_177_302.qdimacs.gz | 4 (4+0) s cnf 0 (s cnf 0) (bt:6695) |
0 (0+0) s cnf 0 (s cnf 0) (##14) |
800 (800+0) | 2 (2+0) s cnf 0 (s cnf 0) |
| stmt44_40_162.qdimacs.gz | 7 (7+0) s cnf 0 (s cnf 0) (bt:11381) |
800 (798+2) | 53 (53+0) s cnf 0 (s cnf 0) |
0 (0+0) s cnf 0 (s cnf 0) |
| sortnetsort8.AE.stepl.005.qdimacs.gz | 14 (14+0) s cnf 1 (s cnf 1) (bt:10317) |
7 (7+0) s cnf 1 (s cnf 1) (##3008) |
14 (14+0) s cnf 1 (s cnf 1) |
800 (800+1) |
| sortnetsort5.AE.stepl.006.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:353) |
1 (1+0) s cnf 0 (s cnf 0) (##160) |
1 (1+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| stmt21_71_304.qdimacs.gz | 4 (4+0) s cnf 0 (s cnf 0) (bt:6183) |
0 (0+0) s cnf 0 (s cnf 0) (##33) |
0 (0+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| sortnetsort9.AE.stepl.004.qdimacs.gz | 6 (6+0) s cnf 1 (s cnf 1) (bt:5018) |
3 (3+0) s cnf 1 (s cnf 1) (##1224) |
1 (1+0) s cnf 1 (s cnf 1) |
800 (799+1) |
| sortnetsort7.AE.stepl.003.qdimacs.gz | 16 (16+0) s cnf 1 (s cnf 1) (bt:16769) |
2 (2+0) s cnf 1 (s cnf 1) (##717) |
7 (7+0) s cnf 1 (s cnf 1) |
752 (751+1) s cnf 1 (s cnf 1) |
| stmt22_179_182.qdimacs.gz | 7 (7+0) s cnf 0 (s cnf 0) (bt:10961) |
271 (271+1) s cnf 0 (s cnf 0) (##116906) |
10 (10+0) s cnf 0 (s cnf 0) |
1 (1+0) s cnf 0 (s cnf 0) |
| sortnetsort5.AE.stepl.005.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:617) |
1 (1+0) s cnf 0 (s cnf 0) (##279) |
1 (1+0) s cnf 0 (s cnf 0) |
2 (2+0) s cnf 0 (s cnf 0) |
| stmt27_149_224.qdimacs.gz | 342 (341+1) s cnf 0 (s cnf 0) (bt:329664) |
426 (425+1) s cnf 0 (s cnf 0) (##164162) |
800 (800+0) | 307 (307+0) s cnf 0 (s cnf 0) |
| stmt19_214_309.qdimacs.gz | 8 (8+0) s cnf 0 (s cnf 0) (bt:11111) |
0 (0+0) s cnf 0 (s cnf 0) (##29) |
800 (800+0) | 800 (800+0) |
| stmt17_63_70.qdimacs.gz | 800 (799+1) (bt:337044) |
800 (797+3) | 800 (800+0) | 91 (91+0) s cnf 1 (s cnf 1) |
| sortnetsort7.AE.stepl.009.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:1269) |
2 (2+0) s cnf 0 (s cnf 0) (##648) |
0 (0+0) s cnf 0 (s cnf 0) |
800 (799+1) |
| stmt19_3_177.qdimacs.gz | 10 (10+0) s cnf 0 (s cnf 0) (bt:13975) |
47 (47+0) s cnf 0 (s cnf 0) (##18272) |
3 (3+0) s cnf 0 (s cnf 0) |
800 (800+0) |
| sortnetsort9.AE.stepl.005.qdimacs.gz | 43 (43+0) s cnf 1 (s cnf 1) (bt:21378) |
15 (15+0) s cnf 1 (s cnf 1) (##4182) |
63 (63+0) s cnf 1 (s cnf 1) |
800 (799+1) |
| stmt53_208_245.qdimacs.gz | 138 (138+0) s cnf 0 (s cnf 0) (bt:145921) |
800 (798+2) | 800 (800+0) | 800 (800+0) |
| stmt19_79_87.qdimacs.gz | 800 (797+3) (bt:452110) |
800 (795+5) | 800 (800+0) | 201 (200+0) s cnf 1 (s cnf 1) |
| sortnetsort6.AE.stepl.003.qdimacs.gz | 7 (7+0) s cnf 1 (s cnf 1) (bt:5311) |
6 (6+0) s cnf 1 (s cnf 1) (##1174) |
7 (7+0) s cnf 1 (s cnf 1) |
112 (112+0) s cnf 1 (s cnf 1) |
| sortnetsort8.AE.stepl.007.qdimacs.gz | 6 (6+0) s cnf 0 (s cnf 0) (bt:4041) |
5 (5+0) s cnf 0 (s cnf 0) (##1374) |
1 (1+0) s cnf 0 (s cnf 0) |
800 (799+1) |
| stmt19_2_180.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:261) |
94 (94+0) s cnf 0 (s cnf 0) (##29907) |
1 (1+0) s cnf 0 (s cnf 0) |
0 (0+0) s cnf 0 (s cnf 0) |
| sortnetsort6.AE.stepl.006.qdimacs.gz | 1 (1+0) s cnf 0 (s cnf 0) (bt:430) |
4 (4+0) s cnf 0 (s cnf 0) (##926) |
1 (1+0) s cnf 0 (s cnf 0) |
21 (21+0) s cnf 0 (s cnf 0) |
| stmt46_163_289.qdimacs.gz | 0 (0+0) s cnf 0 (s cnf 0) (bt:101) |
0 (0+0) s cnf 0 (s cnf 0) (##1) |
0 (0+0) s cnf 0 (s cnf 0) |
2 (2+0) s cnf 0 (s cnf 0) |
| stmt23_66_76.qdimacs.gz | 800 (799+2) (bt:547721) |
800 (798+2) | 800 (800+0) | 94 (94+0) s cnf 1 (s cnf 1) |
| stmt17_82_94.qdimacs.gz | 800 (797+3) (bt:478835) |
800 (797+3) | 800 (800+0) | 372 (372+1) s cnf 1 (s cnf 1) |
| stmt21_127_258.qdimacs.gz | 18 (18+0) s cnf 0 (s cnf 0) (bt:17003) |
0 (0+0) s cnf 0 (s cnf 0) (##71) |
800 (800+0) | 1 (1+0) s cnf 0 (s cnf 0) |
| sortnetsort10.AE.stepl.005.qdimacs.gz | 800 (798+2) (bt:184208) |
32 (32+0) s cnf 1 (s cnf 1) (##5086) |
800 (800+0) | 800 (799+1) |
| sortnetsort8.AE.stepl.009.qdimacs.gz | 11 (11+0) s cnf 0 (s cnf 0) (bt:4042) |
8 (8+0) s cnf 0 (s cnf 0) (##1352) |
4 (4+0) s cnf 0 (s cnf 0) |
800 (799+1) |
| stmt2_976_999.qdimacs.gz | 1 (1+0) s cnf 1 (s cnf 1) (bt:805) |
6 (6+0) s cnf 1 (s cnf 1) (##849) |
467 (467+0) s cnf 1 (s cnf 1) |
12 (11+0) s cnf 1 (s cnf 1) |
| sortnetsort9.AE.stepl.012.qdimacs.gz | 219 (219+0) s cnf 0 (s cnf 0) (bt:37677) |
19 (19+0) s cnf 0 (s cnf 0) (##1800) |
10 (10+0) s cnf 0 (s cnf 0) |
800 (798+2) |
| sortnetsort10.AE.stepl.012.qdimacs.gz | 800 (799+1) (bt:87124) |
116 (115+0) s cnf 0 (s cnf 0) (##6420) |
26 (25+0) s cnf 0 (s cnf 0) |
800 (798+2) |
| TOTAL (65) | solved:53 wins:19 uniq:3 |
solved:52 wins:29 uniq:1 |
solved:30 wins:21 uniq:0 |
solved:43 wins:16 uniq:7 |
| qesto | areqs | depqbf | nbl_gqc |