Sota solver results for family Reduction-finding
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
nreachq_query02_1344Cqesto_2018UNSAT0
ntrivil_query54_1133Qute_hybridSAT0
query03_query57_1344Qute_opt993SAT0
query04_query03_1133Qute_hybridUNSAT0
query08_query26_1344Qute_opt993SAT0
query08_query64_1344Quabs_2018SAT0
query09_trivial_1344Qute_opt993SAT0
query21_reachqu_1133Qute_hybridSAT0
query30_eequery_1133Qute_hybridSAT0
query33_query71_1344quabs___caqe-bloqqerUNSAT1.04
query42_query57_1344Cqesto_2018SAT3.48
query42_query64_1344Cqesto_2018SAT115.71
query44_query57_1133Qute_hybridUNSAT0
query44_query58_1344Cqesto_2018UNSAT851.09
query48_query42_1344QFUNSAT43.02
query49_query58_1344quabs___caqe-bloqqerUNSAT284.27
query49_query64_1133Cqesto_2018UNSAT0
query50_query49_1133Qute_hybridUNSAT0
query51_query48_1133Qute_hybridUNSAT0
query64_query31_1133Qute_hybridUNSAT0
query64_query55_1344quabs___caqe-bloqqerUNSAT2.91
query64_query58_1344quabs___caqe-hqspreUNSAT1.67
query71_query15_1133Qute_hybridUNSAT0