Sota solver results for family Reduction-finding
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
axquery_query06_1344nqstsUNSAT0.05
axquery_query44_1344nrareqsUNSAT0.11
eequery_query04_1344nrareqsSAT0.07
eequery_query64_1344nrareqsSAT4.49
exquery_query04_1344nsqueezebf+struqsUNSAT0.02
nreachq_query11_1344nrareqsUNSAT69.31
nxquery_query50_1344nrareqsSAT2.39
query02_query44_1344nqstsUNSAT0.02
query02_query58_1344nrareqsUNSAT0.17
query04_query25_1344nrareqsSAT0.32
query05_query31_1344naspQSAT9.96
query07_query60_1344nhiqqer1ldsqUNSAT0.25
query07_query64_1344nqstsUNSAT0.31
query10_query45_1344nrareqsSAT111.48
query21_query55_1344nqstsUNSAT0.24
query26_query34_1344nqstsUNSAT0.03
query26_query57_1344nqstsUNSAT0.06
query31_eequery_1344nrareqsSAT0.57
query31_query26_1344nhiqqer1ldsqSAT0.12
query31_query50_1344nrareqsSAT5.63
query31_reachqu_1344nrareqsSAT13.79
query33_query45_1344naspQSAT8.87
query33_query51_1344nqstsSAT362.56
query33_query57_1344nxb-bid-qstsSAT29.3
query34_query11_1344nxb-bid-qstsSAT29.27
query36_query25_1344nrareqsSAT0.57
query42_query06_1344nrareqsUNSAT34.17
query42_query45_1344nrareqsSAT176.26
query48_exquery_1344nrareqsSAT17.09
query49_ntrivil_1344nrareqsSAT0.73
query50_query06_1344nrareqsSAT26.15
query51_query57_1344nxb-bid-qstsSAT25.99
query52_query25_1344naspQSAT0.78
query54_query58_1344nrareqsSAT194.01
query60_query45_1344nrareqsSAT37.81
query64_query01_1344nqstsSAT472.49
query64_query11_1344nrareqsSAT299
query71_query31_1344nrareqsSAT244.07
query71_query36_1344nrareqsUNSAT197.59