Sota solver results for family Q_2_3
QBFEVAL'16 - Random QBFs Track.


InstanceSolverResultTime
Q_2-3_v-80-100_r-11.0aqua-s2vUNSAT2.69
Q_2-3_v-80-100_r-11.1aqua-f3vUNSAT3.96
Q_2-3_v-80-100_r-11.2aqua-f3vUNSAT1.4
Q_2-3_v-80-100_r-11.3depqbf-v3UNSAT0.15
Q_2-3_v-80-100_r-11.4aqua-f3vUNSAT2.02
Q_2-3_v-80-100_r-11.5aqua-s2vUNSAT5.9
Q_2-3_v-80-100_r-11.6aqua-s2vUNSAT3.82
Q_2-3_v-80-100_r-11.7aqua-f3vUNSAT0.11
Q_2-3_v-80-100_r-11.8aqua-s2vUNSAT1.43
Q_2-3_v-80-100_r-11.9aqua-f3vUNSAT2.7
Q_2-3_v-80-100_r-13.0depqbf-v1UNSAT0.07
Q_2-3_v-80-100_r-13.1depqbf-v1UNSAT0.08
Q_2-3_v-80-100_r-13.2aqua-s2vUNSAT0.04
Q_2-3_v-80-100_r-13.3aqua-f3vUNSAT0.06
Q_2-3_v-80-100_r-13.4aqua-f3vUNSAT0.06
Q_2-3_v-80-100_r-13.5aqua-s2vUNSAT0.06
Q_2-3_v-80-100_r-13.6aqua-s2vUNSAT0.05
Q_2-3_v-80-100_r-13.7aqua-s3oUNSAT0.05
Q_2-3_v-80-100_r-13.8aqua-f3vUNSAT0.07
Q_2-3_v-80-100_r-13.9depqbf-v3UNSAT0.12
Q_2-3_v-80-100_r-5.0xb-bid-qstsSAT27.83
Q_2-3_v-80-100_r-5.1qstsSAT1.37
Q_2-3_v-80-100_r-5.2qstsSAT14.16
Q_2-3_v-80-100_r-5.3qstsSAT36.01
Q_2-3_v-80-100_r-5.4qstsSAT7.21
Q_2-3_v-80-100_r-5.5qstsSAT29
Q_2-3_v-80-100_r-5.6qstsSAT4.77
Q_2-3_v-80-100_r-5.7xb-bid-qstsSAT27.72
Q_2-3_v-80-100_r-5.8qstsSAT244.24
Q_2-3_v-80-100_r-5.9qstsSAT6.35
Q_2-3_v-80-100_r-7.0xb-bid-qstsSAT31.54
Q_2-3_v-80-100_r-7.1xb-bid-qstsSAT27.94
Q_2-3_v-80-100_r-7.3xb-bid-qstsSAT37.37
Q_2-3_v-80-100_r-7.4xb-bid-qstsSAT29.32
Q_2-3_v-80-100_r-7.5xb-bid-qstsSAT24.78
Q_2-3_v-80-100_r-7.7xb-bid-qstsSAT28.83
Q_2-3_v-80-100_r-7.8xb-bid-qstsSAT28.04
Q_2-3_v-80-100_r-9.2xb-bid-qstsSAT27.51
Q_2-3_v-80-100_r-9.4xb-bid-qstsSAT31.86
Q_2-3_v-80-100_r-9.9xb-bid-qstsSAT35.86