Instances of family Reduction-finding solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
trueque_query42_1344nUNSAT0.11
query23_query42_1344nUNSAT0.14
query24_query42_1344nUNSAT0.14
falsequ_query42_1344nUNSAT0.2
query30_query42_1344nUNSAT0.21
query15_query42_1344nUNSAT0.3
query04_query25_1344nFAIL5.43
query26_query42_1344nFAIL6.34
query11_query42_1344nFAIL6.49
query02_query42_1344nFAIL6.62
query33_query57_1344nFAIL6.67
query55_query42_1344nFAIL6.89
query64_query42_1344nFAIL6.96
query25_query42_1344nFAIL7.17
query31_eequery_1344nFAIL7.32
query36_query25_1344nFAIL7.51
exquery_query42_1344nFAIL7.8
query64_query01_1344nFAIL7.86
query02_query44_1344nFAIL7.92
query50_query42_1344nFAIL7.93
query51_query57_1344nFAIL8.07
query33_query42_1344nFAIL8.19
eequery_query42_1344nFAIL8.48
query27_query42_1344nFAIL8.53
eequery_query64_1344nFAIL8.64
query04_query42_1344nFAIL8.69
query54_query58_1344nFAIL8.93
query54_query42_1344nFAIL9.11
query33_query45_1344nFAIL9.38
query31_query42_1344nFAIL9.6
query52_query42_1344nFAIL9.69
query51_query42_1344nFAIL9.73
query45_query42_1344nFAIL9.83
query05_query42_1344nFAIL9.98
query64_query11_1344nFAIL10.03
query50_query06_1344nFAIL10.29
nxquery_query50_1344nSAT10.32
axquery_query42_1344nFAIL11.2
nxquery_query42_1344nFAIL11.51
query36_query42_1344nFAIL11.59
query34_query11_1344nFAIL11.67
trivial_query42_1344nFAIL13.09
ntrivil_query42_1344nFAIL13.29
query01_query42_1344nFAIL16.64
query34_query42_1344nFAIL18.53
query05_query31_1344nFAIL20.41
query33_query51_1344nFAIL20.51
query60_query10_1344nFAIL24.05
query52_query25_1344nFAIL24.61
query03_query42_1344nFAIL26
query07_query42_1344nFAIL26.3
query60_query33_1344nFAIL27.13
query60_query45_1344nFAIL27.64
query48_exquery_1344nFAIL27.82
query21_query42_1344nFAIL28.14
query60_query44_1344nFAIL30.98
query49_ntrivil_1344nFAIL34.15
query06_query42_1344nFAIL34.25
query71_query42_1344nFAIL34.44
query31_query50_1344nFAIL34.8
query60_query42_1344nFAIL36.12
query57_query42_1344nFAIL36.52
query58_query42_1344nFAIL38.62
query71_query34_1344nFAIL40.58
query71_query36_1344nFAIL45.66
query71_query31_1344nFAIL61.44
nreachq_query11_1344nFAIL88.41
query42_query45_1344nFAIL171.5
query42_query60_1344nFAIL182.65
nreachq_query42_1344nFAIL213.41
query44_query42_1344nFAIL256.46
query49_query42_1344nFAIL262.66
query10_query45_1344nFAIL266.28
query09_query42_1344nFAIL268.46
query42_query42_1344nFAIL269.32
query48_query42_1344nFAIL276.54
query08_query42_1344nFAIL290.76
nreachq_query54_1344nFAIL314.48
reachqu_query42_1344nFAIL337.01
query10_query42_1344nFAIL401.23
query10_query06_1344nFAIL685.23
query10_query34_1344nFAIL783.25