Instances of family incrementer-encoder solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
incrementer-enc03-nonuniform-depth-5FAIL0.4
incrementer-enc06-nonuniform-depth-10FAIL3.45
incrementer-enc04-nonuniform-depth-17FAIL3.5
incrementer-enc08-nonuniform-depth-24FAIL8.6
incrementer-enc07-uniform-depth-25FAIL13.27
incrementer-enc08-uniform-depth-33FAIL16.27
incrementer-enc05-nonuniform-depth-22FAIL24.46
incrementer-enc06-uniform-depth-24FAIL31.61
incrementer-enc02-uniform-depth-58FAIL71.56
incrementer-enc02-uniform-depth-63FAIL86.45
incrementer-enc02-nonuniform-depth-58FAIL90.94
incrementer-enc02-nonuniform-depth-59FAIL95.95
incrementer-enc02-nonuniform-depth-60FAIL99.79