Problem uclid_gq.ts uclid_gqc.ts uclid_nq72.ts uclid_quantor.ts uclid_rareqsuuh3pb.ts uclid_znenofex.ts
uclid-pipe2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 13 (11+2) 800 (799+1) 142 (140+2)
uclid-pipe3a.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1)
800 (799+1) 13 (11+2) 800 (794+6) 130 (128+2)
uclid-pipe3b.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (798+2) 10 (9+1) 800 (792+8) 286 (284+2)
TOTAL solved: 2
wins: 2
solved: 2
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
uclid_gq.ts uclid_gqc.ts uclid_nq72.ts uclid_quantor.ts uclid_rareqsuuh3pb.ts uclid_znenofex.ts