Sota solver results for family k_branch_n
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
k_branch_n-10xb-qstsSAT2.26
k_branch_n-12xb-bid-qstsSAT3.94
k_branch_n-2qstsSAT0.01
k_branch_n-3qstsSAT0.02
k_branch_n-8xb-qstsSAT1.44