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

InstanceResultTime
exquery_query04_1344nUNSAT103.83
query60_query33_1344nFAIL251.64
eequery_query04_1344nFAIL282.35
query07_query60_1344nFAIL341.73
query36_query25_1344nFAIL360.54
query60_query45_1344nFAIL367.33
query31_eequery_1344nFAIL369.14
query49_ntrivil_1344nFAIL379.55
query04_query25_1344nFAIL384.05
query60_query44_1344nFAIL384.94
query07_query64_1344nFAIL394.74
query71_query34_1344nFAIL394.95
query34_query11_1344nFAIL397.94
query48_exquery_1344nFAIL403.85
query60_query10_1344nFAIL408.05
query71_query36_1344nFAIL408.43
nxquery_query50_1344nFAIL434.84
query52_query25_1344nFAIL447.75
axquery_query06_1344nFAIL450.94
query64_query01_1344nFAIL461.64
query05_query31_1344nFAIL463.64
query33_query51_1344nFAIL465.64
query02_query44_1344nFAIL479.24
query44_query26_1344nFAIL501.84
query33_query45_1344nFAIL506.64
query33_query57_1344nFAIL511.34
axquery_query44_1344nFAIL518.74
query31_query50_1344nFAIL523.54
query02_query58_1344nFAIL526.94
query71_query31_1344nFAIL527.73
query31_query26_1344nFAIL540.34
eequery_query64_1344nFAIL581.84
query10_query34_1344nFAIL599.12
query42_query45_1344nFAIL599.12
nreachq_query11_1344nFAIL599.13
query42_query06_1344nFAIL599.13
query42_query60_1344nFAIL599.13
query21_query55_1344nFAIL599.22
query64_query11_1344nFAIL599.22
query50_query06_1344nFAIL599.22
query26_query34_1344nFAIL599.22
query51_query57_1344nFAIL599.23
query54_query58_1344nFAIL599.23
query10_query06_1344nFAIL599.23
query10_query45_1344nFAIL599.23
query26_query57_1344nFAIL599.23
query31_reachqu_1344nFAIL599.23
nreachq_query54_1344nFAIL599.23