depqbf-pre results solving families

Family	# Total	# Sat	# Unsat	Time
ASP_Program_Inclusion	91		40	107.49
CounterFactual	260	44	36	1109.97
q2k3k3	270	74	26	204627.48
RobotsD2	70	23	3	12225.49
RobotsD3	70	21	8	5572.69
RobotsD4	74	20	7	11457.1
RobotsD5	71	21	7	8847.2
Strategic_Companies	80	3	10	68444.78

QBF Solver Evaluation Portal