Problem Blocks_gq.ts Blocks_gqc.ts Blocks_nq72.ts Blocks_quantor.ts Blocks_rareqsuuh3pb.ts Blocks_znenofex.ts
BLOCKS3i.5.3.qdimacs.gz 9 (9+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)
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 377 3912)
BLOCKS3i.5.4.qdimacs.gz 5 (5+0)
s cnf 1 (s cnf 1)
6 (5+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 289 2719)
BLOCKS4i.6.4.qdimacs.gz 20 (20+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
44 (44+0)
s cnf 0 (s cnf 0)
10 (7+4)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0 552 7673)
BLOCKS4ii.6.3.qdimacs.gz 33 (33+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
158 (158+0)
s cnf 0 (s cnf 0)
6 (3+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
6 (5+0)
s cnf 0 (s cnf 0 406 4369)
BLOCKS4ii.7.2.qdimacs.gz 437 (437+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
800 (800+1) 12 (8+4)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0 501 7063)
BLOCKS4iii.6.qdimacs.gz 17 (16+0)
s cnf 0 (s cnf 0)
3 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
4 (3+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0 251 3117)
BLOCKS4iii.7.qdimacs.gz 800 (800+0) 185 (184+1)
s cnf 1 (s cnf 1)
800 (800+0) 10 (7+3)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1 368 4545)
TOTAL solved: 6
wins: 0
solved: 7
wins: 0
solved: 5
wins: 1
solved: 7
wins: 2
solved: 7
wins: 7
solved: 7
wins: 2
Blocks_gq.ts Blocks_gqc.ts Blocks_nq72.ts Blocks_quantor.ts Blocks_rareqsuuh3pb.ts Blocks_znenofex.ts