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


InstanceSolverResultTime
k_branch_n-10hiqqer1ldsqSAT1.92
k_branch_n-11hiqqer1ldsqSAT2.69
k_branch_n-12hiqqer3SAT4.24
k_branch_n-16qestoSAT0.65
k_branch_n-2qestosSAT0
k_branch_n-3qestoSAT0.02
k_branch_n-4qestoSAT0.03
k_branch_n-8qestoSAT0.22
k_branch_n-9hiqqer1ldsqSAT1.53