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

InstanceResultTime
exquery_query04_1344nUNSAT0.05
eequery_query04_1344nSAT0.07
axquery_query44_1344nUNSAT0.11
query26_query34_1344nUNSAT0.12
query02_query44_1344nUNSAT0.13
query02_query58_1344nUNSAT0.17
axquery_query06_1344nUNSAT0.19
query26_query57_1344nUNSAT0.23
query31_query26_1344nSAT0.26
query07_query60_1344nUNSAT0.32
query04_query25_1344nSAT0.32
query07_query64_1344nUNSAT0.37
query21_query55_1344nUNSAT0.38
query31_eequery_1344nSAT0.57
query36_query25_1344nSAT0.57
query49_ntrivil_1344nSAT0.73
query52_query25_1344nSAT1.28
nxquery_query50_1344nSAT2.39
eequery_query64_1344nSAT4.49
query31_query50_1344nSAT5.63
query31_reachqu_1344nSAT13.79
query48_exquery_1344nSAT17.09
query33_query45_1344nSAT18.92
query50_query06_1344nSAT26.15
query42_query06_1344nUNSAT34.17
query60_query45_1344nSAT37.81
query05_query31_1344nSAT47.62
nreachq_query11_1344nUNSAT69.31
query33_query57_1344nSAT95.4
query51_query57_1344nSAT98.76
query10_query45_1344nSAT111.48
query42_query45_1344nSAT176.26
query54_query58_1344nSAT194.01
query71_query36_1344nUNSAT197.59
query71_query31_1344nSAT244.07
query64_query11_1344nSAT299
query33_query51_1344nSAT569.15
nreachq_query54_1344nFAIL599.71
query44_query26_1344nFAIL599.71
query60_query44_1344nFAIL599.71
query34_query11_1344nFAIL599.71
query42_query60_1344nFAIL599.71
query10_query34_1344nFAIL599.71
query10_query06_1344nFAIL599.71
query60_query10_1344nFAIL599.71
query71_query34_1344nFAIL599.72
query64_query01_1344nFAIL599.81
query60_query33_1344nFAIL599.81