Sota solver results for family genpatch
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
unit11_3_brev_qfun0.1UNSAT1.1
unit12_2_bQELL_unitSAT4.61
unit6_3_brev_qfun0.1UNSAT97.55
unit8_2_bAIGSolveSAT2.49
unit9_2_bijtihad_v1SAT0.45