Sota solver results for family Q_2_3
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
Q_2-3_v-80-100_r-11.0Qute_rrsUNSAT11.11
Q_2-3_v-80-100_r-11.2depqbf_prefix_opt_qdoUNSAT3.49
Q_2-3_v-80-100_r-11.3depqbf_prefix_opt_qdoUNSAT0.99
Q_2-3_v-80-100_r-11.4depqbf_prefix_opt_qdoUNSAT50.93
Q_2-3_v-80-100_r-11.5Qute_defaultUNSAT251.45
Q_2-3_v-80-100_r-11.6depqbf_prefix_opt_qdoUNSAT9.18
Q_2-3_v-80-100_r-11.8Qute_rrsUNSAT161.43
Q_2-3_v-80-100_r-11.9Qute_rrsUNSAT83.26
Q_2-3_v-80-100_r-13.0depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.1depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.2depqbf_pre_QxQBHUNSAT0
Q_2-3_v-80-100_r-13.3Caqe-bloqqer-qdoUNSAT0
Q_2-3_v-80-100_r-13.4Qute_defaultUNSAT0
Q_2-3_v-80-100_r-13.5depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.6Caqe-bloqqer-qdoUNSAT0
Q_2-3_v-80-100_r-13.7Caqe-bloqqer-qdoUNSAT0
Q_2-3_v-80-100_r-13.8depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.9depqbf_prefix_opt_qdoUNSAT0