Sota solver results for family ITC99
QBFEVAL'18 - Prenex CNF Track


InstanceSolverResultTime
b14_PR_1_50depqbf_prefix_opt_qdoSAT1.67
b18_PR_4_2depqbf_prefix_opt_qdoSAT3.23
b20_PR_7_20depqbf_prefix_opt_qdoSAT0.05
b20_PR_9_90Caqe-bloqqerUNSAT0
b21_PR_8_20depqbf_prefix_opt_qdoSAT0.05
b21_PR_9_90Rareqs_2018UNSAT0
b22_PR_8_20predyndepSAT25.99
b22_PR_9_90Heretiq-cubeUNSAT2.99