Sota solver results for family Q_2_3
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
Q_2-3_v-80-100_r-11.0Qute_defaultUNSAT17.4
Q_2-3_v-80-100_r-11.1PortfolioDepQBFGhostQRaReQSQute___pfUNSAT177.75
Q_2-3_v-80-100_r-11.2depqbf_prefix_opt_qdoUNSAT3.49
Q_2-3_v-80-100_r-11.3depqbf_prefix_opt_qdoUNSAT1.01
Q_2-3_v-80-100_r-11.4predyndepUNSAT23.34
Q_2-3_v-80-100_r-11.5Qute_defaultUNSAT256.46
Q_2-3_v-80-100_r-11.6depqbf_prefix_opt_qdoUNSAT9.14
Q_2-3_v-80-100_r-11.7Heretiq-cubeUNSAT154.04
Q_2-3_v-80-100_r-11.8Qute_defaultUNSAT27.71
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.2predyndepUNSAT0
Q_2-3_v-80-100_r-13.3Rareqs_2018UNSAT0
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.6depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.7Rareqs_2018UNSAT0
Q_2-3_v-80-100_r-13.8depqbf_prefix_opt_qdoUNSAT0
Q_2-3_v-80-100_r-13.9depqbf_prefix_opt_qdoUNSAT0