Instances of family Reduction-finding solved by aspQ
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
query26_query34_1344nUNSAT0.32
exquery_query04_1344nUNSAT0.38
axquery_query44_1344nUNSAT0.49
query26_query57_1344nUNSAT0.49
eequery_query04_1344nSAT0.58
query02_query58_1344nUNSAT0.6
axquery_query06_1344nUNSAT0.65
query04_query25_1344nSAT0.66
query07_query64_1344nUNSAT0.69
query52_query25_1344nSAT0.78
query07_query60_1344nUNSAT0.8
query02_query44_1344nUNSAT0.97
query31_query26_1344nSAT1.19
query36_query25_1344nSAT1.38
query44_query26_1344nFAIL1.48
query31_eequery_1344nSAT1.55
query10_query06_1344nFAIL1.62
nreachq_query11_1344nFAIL1.77
query21_query55_1344nUNSAT1.95
query10_query45_1344nFAIL4.15
nxquery_query50_1344nSAT4.19
query33_query45_1344nSAT8.87
query31_query50_1344nSAT9.31
query05_query31_1344nSAT9.96
query49_ntrivil_1344nSAT20.03
eequery_query64_1344nSAT28.62
query31_reachqu_1344nSAT31.06
query50_query06_1344nSAT46.97
query51_query57_1344nFAIL60.32
query54_query58_1344nFAIL60.32
query64_query01_1344nFAIL60.33
query34_query11_1344nFAIL60.36
query33_query51_1344nFAIL60.36
query33_query57_1344nFAIL60.36
query64_query11_1344nFAIL60.37
query71_query31_1344nFAIL60.46
query48_exquery_1344nFAIL60.52
query60_query10_1344nFAIL60.54
query71_query34_1344nFAIL60.56
query60_query33_1344nFAIL60.6
query71_query36_1344nFAIL60.62
query60_query44_1344nFAIL60.66
query60_query45_1344nFAIL60.81
nreachq_query54_1344nFAIL61.49
query42_query06_1344nFAIL61.58
query10_query34_1344nFAIL61.62
query42_query60_1344nFAIL61.65
query42_query45_1344nFAIL61.72