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


InstanceSolverResultTime
axquery_query42_1344nCaqe-bloqqer-qdoUNSAT0
eequery_query42_1344nCaqe-bloqqer-qdoSAT8.51
eequery_query64_1344nGhostQ___cegar_pcnf_2019SAT0.76
exquery_query42_1344nQute_defaultUNSAT0
nreachq_query11_1344nGhostQ___cegar_pcnf_2019UNSAT113.85
nreachq_query54_1344nGhostQ___cegar_pcnf_2019SAT626.32
ntrivil_query42_1344ndepqbf_prefix_opt_qdoUNSAT0.01
nxquery_query42_1344nQute_defaultUNSAT0
nxquery_query50_1344nCaqe-bloqqer-qdoSAT0.6
query03_query25_1344GhostQ___cegar_pcnf_2019UNSAT1.89
query10_query36_1344Caqe-bloqqer-qdoSAT18.01
query21_query58_1344nGhostQ___cegar_pcnf_2019UNSAT3.78
query31_reachqu_1344nGhostQ___cegar_pcnf_2019SAT2.06
query42_query06_1344nCaqe-bloqqer-qdoUNSAT49.16
query44_query26_1344nGhostQ___cegar_pcnf_2019SAT26.46
query64_query01_1344nGhostQ___cegar_pcnf_2019SAT0.27
query64_query11_1344nGhostQ___cegar_pcnf_2019SAT19.89
query64_query42_1344nGhostQ___cegar_pcnf_2019SAT190.19
query71_query31_1344nGhostQ___cegar_pcnf_2019SAT57.93
query71_query36_1344ncaqe-preUNSAT18.56
reachqu_query64_1344Caqe-bloqqer-qdoSAT257.27
reachqu_query64_1344nGhostQ___cegar_pcnf_2019UNSAT312.35
reachqu_query71_1344Caqe-hqspreUNSAT198.53