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

InstanceResultTime
exquery_query04_1344nUNSAT0.02
axquery_query06_1344nUNSAT0.61
query21_query55_1344nUNSAT0.81
axquery_query44_1344nUNSAT1.91
query02_query58_1344nUNSAT1.91
query26_query57_1344nUNSAT4.11
query26_query34_1344nUNSAT7.41
query07_query60_1344nUNSAT12.51
eequery_query04_1344nSAT20.61
query31_query26_1344nSAT71.11
nxquery_query50_1344nSAT135.11
query31_query50_1344nSAT527.21
nreachq_query54_1344nFAIL591.92
query10_query34_1344nFAIL592.02
query10_query45_1344nFAIL592.22
query10_query06_1344nFAIL592.22
query60_query44_1344nFAIL592.43
query71_query34_1344nFAIL592.72
query42_query06_1344nFAIL592.72
query42_query60_1344nFAIL592.83
query52_query25_1344nFAIL592.83
query36_query25_1344nFAIL592.83
nreachq_query11_1344nFAIL592.85
query34_query11_1344nFAIL592.93
query02_query44_1344nFAIL592.93
query42_query45_1344nFAIL592.94
query71_query36_1344nFAIL593.02
query33_query57_1344nFAIL593.02
query31_reachqu_1344nFAIL593.03
query49_ntrivil_1344nFAIL593.32
query48_exquery_1344nFAIL593.32
query60_query45_1344nFAIL593.32
query07_query64_1344nFAIL593.42
query60_query33_1344nFAIL593.42
query04_query25_1344nFAIL593.52
query64_query01_1344nFAIL593.52
query44_query26_1344nFAIL593.52
query33_query45_1344nFAIL593.62
query60_query10_1344nFAIL593.62
query31_eequery_1344nFAIL593.62
query54_query58_1344nFAIL593.62
query71_query31_1344nFAIL593.62
query50_query06_1344nFAIL593.72
query51_query57_1344nFAIL593.72
eequery_query64_1344nFAIL593.72
query33_query51_1344nFAIL593.72
query05_query31_1344nFAIL593.82
query64_query11_1344nFAIL593.94