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

InstanceResultTime
exquery_query04_1344nUNSAT0.21
query02_query58_1344nUNSAT0.61
eequery_query04_1344nSAT0.81
axquery_query44_1344nUNSAT2.81
query02_query44_1344nUNSAT3.41
query07_query60_1344nUNSAT3.61
query31_query26_1344nSAT4.81
query07_query64_1344nUNSAT5.01
axquery_query06_1344nUNSAT9.01
query26_query57_1344nUNSAT12.61
query26_query34_1344nUNSAT37.32
nxquery_query50_1344nSAT60.71
query52_query25_1344nSAT431.71
query10_query06_1344nFAIL591.92
query10_query45_1344nFAIL592.12
nreachq_query54_1344nFAIL592.12
query42_query45_1344nFAIL592.12
query10_query34_1344nFAIL592.42
nreachq_query11_1344nFAIL592.42
query21_query55_1344nFAIL592.52
query42_query60_1344nFAIL592.52
query31_reachqu_1344nFAIL592.72
query42_query06_1344nFAIL592.72
query31_query50_1344nFAIL592.93
query60_query45_1344nFAIL592.93
query60_query10_1344nFAIL592.94
query36_query25_1344nFAIL592.94
eequery_query64_1344nFAIL593.02
query71_query34_1344nFAIL593.02
query33_query57_1344nFAIL593.02
query31_eequery_1344nFAIL593.03
query48_exquery_1344nFAIL593.03
query60_query44_1344nFAIL593.12
query54_query58_1344nFAIL593.12
query64_query11_1344nFAIL593.12
query71_query31_1344nFAIL593.12
query60_query33_1344nFAIL593.22
query05_query31_1344nFAIL593.22
query71_query36_1344nFAIL593.23
query04_query25_1344nFAIL593.23
query44_query26_1344nFAIL593.23
query49_ntrivil_1344nFAIL593.32
query51_query57_1344nFAIL593.32
query64_query01_1344nFAIL593.42
query33_query51_1344nFAIL593.42
query50_query06_1344nFAIL593.52
query33_query45_1344nFAIL593.82
query34_query11_1344nFAIL593.94