QuBE7 results solving families

Family	# Total	# Sat	# Unsat	Time
ASP_Program_Inclusion	91		40	291.84
CounterFactual	260	38	30	52340.6
q2k3k3	270	74	26	204786.67
RobotsD2	70	26	3	14633.89
RobotsD3	70	21	9	12328.61
RobotsD4	74	20	10	15243.22
RobotsD5	71	21	9	13301.53
Strategic_Companies	80	3	29	21362.1

QBF Solver Evaluation Portal