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

InstanceResultTime
falsequ_query42_1344nUNSAT0.12
trueque_query42_1344nUNSAT0.16
query24_query42_1344nUNSAT0.16
query23_query42_1344nUNSAT0.18
axquery_query42_1344nUNSAT0.23
nxquery_query42_1344nUNSAT0.23
query30_query42_1344nUNSAT0.24
ntrivil_query42_1344nUNSAT0.25
query15_query42_1344nUNSAT0.3
trivial_query42_1344nUNSAT0.3
query02_query42_1344nUNSAT0.3
query07_query42_1344nUNSAT0.36
exquery_query42_1344nUNSAT1.22
query21_query42_1344nUNSAT2.51
query26_query42_1344nUNSAT27.03
query03_query42_1344nUNSAT156.19
query31_query50_1344nSAT185.14
nxquery_query50_1344nSAT263.45
query08_query42_1344nUNSAT393.74
query27_query42_1344nUNSAT396.62
query52_query25_1344nSAT679.66
reachqu_query42_1344nFAIL885.41
query42_query60_1344nFAIL885.71
query48_query42_1344nFAIL886.1
query42_query45_1344nFAIL886.61
query33_query57_1344nFAIL886.93
query60_query10_1344nFAIL887
nreachq_query42_1344nFAIL887.17
nreachq_query11_1344nFAIL887.17
eequery_query42_1344nFAIL887.51
query10_query45_1344nFAIL887.58
query64_query42_1344nFAIL887.75
query48_exquery_1344nFAIL887.8
query55_query42_1344nFAIL887.87
query54_query42_1344nFAIL887.92
query06_query42_1344nFAIL887.93
query54_query58_1344nFAIL887.96
query05_query31_1344nFAIL888.01
query64_query11_1344nFAIL888.09
query71_query31_1344nFAIL888.13
query51_query42_1344nFAIL888.2
query60_query45_1344nFAIL888.22
query31_eequery_1344nFAIL888.25
query33_query45_1344nFAIL888.27
query04_query25_1344nFAIL888.29
query71_query34_1344nFAIL888.48
query25_query42_1344nFAIL888.53
eequery_query64_1344nFAIL888.66
query05_query42_1344nFAIL888.77
query42_query42_1344nFAIL888.89
query01_query42_1344nFAIL889.08
query34_query11_1344nFAIL889.14
query11_query42_1344nFAIL889.25
query34_query42_1344nFAIL889.33
query60_query42_1344nFAIL889.35
query09_query42_1344nFAIL889.43
query64_query01_1344nFAIL889.43
query58_query42_1344nFAIL889.52
query50_query42_1344nFAIL889.58
query45_query42_1344nFAIL889.68
query04_query42_1344nFAIL889.77
query31_query42_1344nFAIL889.82
query60_query44_1344nFAIL889.83
query10_query42_1344nFAIL889.97
query33_query42_1344nFAIL890.01
query49_ntrivil_1344nFAIL890.02
query71_query42_1344nFAIL890.04
query44_query42_1344nFAIL890.1
query49_query42_1344nFAIL890.13
query60_query33_1344nFAIL890.13
query71_query36_1344nFAIL890.38
query57_query42_1344nFAIL890.41
query33_query51_1344nFAIL890.42
query52_query42_1344nFAIL890.44
query50_query06_1344nFAIL890.52
nreachq_query54_1344nFAIL890.54
query02_query44_1344nFAIL890.78
query10_query34_1344nFAIL890.84
query36_query42_1344nFAIL890.93
query51_query57_1344nFAIL891.02
query36_query25_1344nFAIL891.22
query10_query06_1344nFAIL891.26