Instances of family incrementer-encoder solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
incrementer-enc07-uniform-depth-25FAIL6.91
incrementer-enc08-uniform-depth-33FAIL6.92
incrementer-enc02-uniform-depth-58FAIL7.01