Problem RankingFunctions_gq.ts RankingFunctions_gqc.ts RankingFunctions_nq72.ts RankingFunctions_quantor.ts RankingFunctions_rareqsuuh3pb.ts RankingFunctions_znenofex.ts
rankfunc48_signed_64.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 12 (11+1) 800 (791+9) 265 (263+1)
rankfunc57_signed_64.qdimacs.gz 800 (799+1) 800 (799+1) 3 (3+0)
s cnf 1 (s cnf 1)
12 (11+1) 0 (0+0)
s cnf 1 (s cnf 1)
278 (276+1)
rankfunc57_unsigned_32.qdimacs.gz 800 (799+1) 800 (800+1) 0 (0+0)
s cnf 1 (s cnf 1)
11 (10+1) 0 (0+0)
s cnf 1 (s cnf 1)
257 (256+1)
rankfunc57_unsigned_64.qdimacs.gz 800 (799+1) 800 (800+1) 0 (0+0)
s cnf 1 (s cnf 1)
12 (10+1) 0 (0+0)
s cnf 1 (s cnf 1)
246 (244+1)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 3
wins: 2
solved: 0
wins: 0
solved: 3
wins: 3
solved: 0
wins: 0
RankingFunctions_gq.ts RankingFunctions_gqc.ts RankingFunctions_nq72.ts RankingFunctions_quantor.ts RankingFunctions_rareqsuuh3pb.ts RankingFunctions_znenofex.ts