Sota solver results for family Reduction-finding
QBFEVAL'17 - Prenex 2QBF Track


InstanceSolverResultTime
axquery_query42_1344nno-prefix-opt-depqbfUNSAT0.04
eequery_query42_1344nrareqsSAT5.31
eequery_query64_1344nGhostQ-PG_cegarSAT0.77
exquery_query42_1344ncaqe_2017_v2UNSAT0.04
falsequ_query42_1344nno-prefix-opt-depqbfUNSAT0
nreachq_query11_1344nrareqsUNSAT69.4
nreachq_query54_1344nGhostQ-PG_cegarSAT597.43
ntrivil_query42_1344nno-prefix-opt-depqbfUNSAT0.1
nxquery_query42_1344nno-prefix-opt-depqbfUNSAT0.04
nxquery_query50_1344ncaqe_2017_v1SAT1.22
query01_query42_1344nGhostQ-PG_cegarSAT19.59
query02_query42_1344nno-prefix-opt-depqbfUNSAT0.1
query02_query44_1344nrareqsUNSAT0.14
query03_query42_1344nQELL_unitUNSAT1.11
query04_query25_1344ncaqe_2017_v1SAT0.22
query04_query42_1344nrareqsUNSAT0.19
query05_query31_1344nGhostQ-PG_cegarSAT0.68
query05_query42_1344nGhostQ-PG_cegarSAT5.43
query06_query42_1344nQELL_defaultUNSAT3.32
query07_query42_1344nno-prefix-opt-depqbfUNSAT0.16
query08_query42_1344nrareqsUNSAT2.58
query09_query42_1344nrareqsUNSAT3.27
query10_query42_1344nrareqsUNSAT106.89
query10_query45_1344nrareqsSAT112.53
query11_query42_1344nGhostQ-PG_cegarSAT2.56
query15_query42_1344nheretiqUNSAT0.02
query21_query42_1344nASPQ2UNSAT1.05
query23_query42_1344ncaqe_2017_v1UNSAT0
query24_query42_1344nASPQ2UNSAT0
query25_query42_1344nGhostQ-PG_cegarSAT1.39
query26_query42_1344nrareqsUNSAT0.14
query27_query42_1344nQELL_defaultUNSAT0.06
query30_query42_1344ncaqe_2017_v1UNSAT0.02
query31_eequery_1344ncaqe_2017_v1SAT0.42
query31_query42_1344nGhostQ-PG_cegarSAT5.04
query31_query50_1344nGhostQ-PG_cegarSAT1.46
query33_query42_1344nGhostQ-PG_cegarSAT33.15
query33_query45_1344nGhostQ-PG_cegarSAT1.88
query33_query51_1344nGhostQ-PG_cegarSAT5.38
query33_query57_1344nGhostQ-PG_cegarSAT94.86
query34_query11_1344nGhostQ-PG_cegarSAT4.67
query34_query42_1344nGhostQ-PG_cegarSAT59.44
query36_query25_1344ncaqe_2017_v1SAT0.42
query36_query42_1344nGhostQ-PG_cegarSAT1.32
query42_query42_1344nrareqsUNSAT11.78
query42_query45_1344nrareqsSAT176.88
query45_query42_1344nGhostQ-PG_cegarSAT0.83
query48_exquery_1344nGhostQ-PG_cegarSAT1.68
query48_query42_1344nrareqsUNSAT42.36
query49_ntrivil_1344nrareqsSAT0.73
query50_query06_1344nGhostQ-PG_cegarSAT1.47
query50_query42_1344nGhostQ-PG_cegarSAT3.61
query51_query42_1344nGhostQ-PG_cegarSAT15.94
query51_query57_1344nrareqsSAT97.86
query52_query25_1344ncaqe_2017_v1SAT0.36
query52_query42_1344nrareqsSAT18.86
query54_query42_1344nGhostQ-PG_cegarSAT11.69
query54_query58_1344nGhostQ-PG_cegarSAT2.14
query55_query42_1344nGhostQ-PG_cegarSAT9.18
query58_query42_1344nrareqsUNSAT3.3
query60_query44_1344nGhostQ-PG_cegarSAT389.45
query60_query45_1344nGhostQ-PG_cegarSAT28.17
query64_query01_1344nGhostQ-PG_cegarSAT0.3
query64_query11_1344nGhostQ-PG_cegarSAT19.78
query64_query42_1344nGhostQ-PG_cegarSAT191.29
query71_query31_1344nGhostQ-PG_cegarSAT56.47
query71_query36_1344nGhostQ-PG_cegarUNSAT103.62
reachqu_query42_1344nxb-qsts_bqsts2.0UNSAT18.11
trivial_query42_1344nno-prefix-opt-depqbfUNSAT0.09
trueque_query42_1344nno-prefix-opt-depqbfUNSAT0