Problem Ling_gq.ts Ling_gqc.ts Ling_nq72.ts Ling_quantor.ts Ling_rareqsuuh3pb.ts Ling_znenofex.ts
lut4_2_f1.qdimacs.gz 19 (19+0)
s cnf 1 (s cnf 1)
2 (2+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 311 3770)
lut4_2_f2.qdimacs.gz 800 (798+2) 30 (30+0)
s cnf 0 (s cnf 0)
15 (15+0)
s cnf 0 (s cnf 0)
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 311 3666)
lut4_2_fXOR.qdimacs.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 343 4101)
lut4_3_fAND.qdimacs.gz 402 (401+1)
s cnf 1 (s cnf 1)
791 (789+3)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1 287 4143)
lut4_AND_f1.qdimacs.gz 23 (22+0)
s cnf 1 (s cnf 1)
2 (2+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 220 2776)
lut4_AND_fXOR.qdimacs.gz 800 (799+1) 4 (4+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0 220 2880)
lut4_XOR_f1.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 120 1461)
lut4_XOR_fOR.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 121 1327)
TOTAL solved: 6
wins: 3
solved: 8
wins: 2
solved: 8
wins: 4
solved: 8
wins: 6
solved: 8
wins: 8
solved: 8
wins: 5
Ling_gq.ts Ling_gqc.ts Ling_nq72.ts Ling_quantor.ts Ling_rareqsuuh3pb.ts Ling_znenofex.ts