Instances of family Reduction-finding solved by Heretiq-cube
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
query04_query25_1344nSAT6.92
nxquery_query42_1344nUNSAT30.22
ntrivil_query42_1344nUNSAT30.28
trivial_query42_1344nUNSAT30.38
axquery_query42_1344nUNSAT30.48
query27_query42_1344nUNSAT30.59
query07_query42_1344nUNSAT30.64
query02_query44_1344nUNSAT30.73
query26_query42_1344nUNSAT31.87
exquery_query42_1344nUNSAT32.04
query08_query42_1344nUNSAT32.65
query02_query42_1344nUNSAT37.88
nxquery_query50_1344nSAT41.2
query31_query50_1344nSAT51.18
query49_ntrivil_1344nSAT91.89
query21_query58_1344nUNSAT94.43
query21_query42_1344nUNSAT104.98
query04_query42_1344nUNSAT114.19
query03_query42_1344nUNSAT160.59
query33_query45_1344nSAT170.77
query06_query42_1344nFAIL534.86
query44_query26_1344nFAIL593.41
query09_query42_1344nFAIL638.83
query48_query42_1344nFAIL642.55
query36_query25_1344nSAT649.64
query58_query42_1344nFAIL656.2
query42_query42_1344nFAIL666.46
reachqu_query71_1344nFAIL713.8
nreachq_query54_1344nFAIL717.03
reachqu_query42_1344nFAIL719.83
reachqu_query64_1344nFAIL727.55
query42_query45_1344nFAIL763.32
query10_query42_1344nFAIL787.01
query60_query44_1344nFAIL789.03
nreachq_query11_1344nFAIL800.34
query05_query31_1344nSAT898.59
query64_query42_1344nFAIL900
query54_query42_1344nFAIL900
query01_query42_1344nFAIL900.01
query51_query57_1344nFAIL900.01
query34_query11_1344nFAIL900.01
query33_query57_1344nFAIL900.01
query25_query42_1344nFAIL900.01
query45_query42_1344nFAIL900.02
query52_query25_1344nFAIL900.02
query71_query31_1344nFAIL900.03
query42_query06_1344nFAIL900.04
query48_exquery_1344nFAIL900.04
query33_query51_1344nFAIL900.04
query31_query42_1344nFAIL900.04
query50_query42_1344nFAIL900.04
query60_query45_1344nFAIL900.04
query31_reachqu_1344nFAIL900.05
query64_query01_1344nFAIL900.05
query34_query42_1344nFAIL900.05
eequery_query42_1344nFAIL900.06
query31_eequery_1344nFAIL900.06
query11_query42_1344nFAIL900.06
query50_query06_1344nFAIL900.06
query54_query58_1344nFAIL900.06
query71_query36_1344nFAIL900.06
query55_query42_1344nFAIL900.07
eequery_query64_1344nFAIL900.07
query51_query42_1344nFAIL900.07
query36_query42_1344nFAIL900.07
query64_query11_1344nFAIL900.08
query52_query42_1344nFAIL900.08
query33_query42_1344nFAIL900.1
query05_query42_1344nFAIL900.1
query10_query45_1344nFAIL900.1