Discrepancies tables for incrementer-encoder
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
incrementer-enc02-nonuniform-depth-31 1 20 qsts
incrementer-enc03-nonuniform-depth-13 1 21 qsts
incrementer-enc03-nonuniform-depth-24 1 21 qsts
incrementer-enc05-uniform-depth-2 1 22 squeezebf+struqs
incrementer-enc07-uniform-depth-25 1 8 xb-bid-qsts
incrementer-enc08-uniform-depth-33 7 1 qsts
Download table[csv, latex]