Problem Logn_gq.ts Logn_gqc.ts Logn_nq72.ts Logn_quantor.ts Logn_rareqsuuh3pb.ts Logn_znenofex.ts
lognBWLARGEA1.qdimacs.gz 14 (13+0)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0 938 61750)
lognBWLARGEB1.qdimacs.gz 58 (57+1)
s cnf 0 (s cnf 0)
37 (36+1)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
16 (16+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0 1722 178237)
TOTAL solved: 2
wins: 0
solved: 2
wins: 0
solved: 2
wins: 2
solved: 2
wins: 0
solved: 2
wins: 2
solved: 2
wins: 0
Logn_gq.ts Logn_gqc.ts Logn_nq72.ts Logn_quantor.ts Logn_rareqsuuh3pb.ts Logn_znenofex.ts