aqme-10 results solving families

Family	# Total	# Sat	# Unsat	Time
ASP_Program_Inclusion	91		40	517.03
CounterFactual	260	36	22	97804.84
q2k3k3	270	112	49	143194.86
RobotsD2	70	25	4	5411.6
RobotsD3	70	21	8	3101.82
RobotsD4	74	20	10	552.45
RobotsD5	71	21	9	705.91
Strategic_Companies	80	3	27	26616.42

QBF Solver Evaluation Portal