AIGSolve results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	6			20396.07
C499	31		3	170.05
C880	60		4	6674.19
circuits	2	1		374.05
Counter	12	4		1287.46
jmc_quant	21	2	3	30.92
jmc_quant_squaring	59	2	3	407.16
k_branch_n	6	2		28.51
Sorting_networks	17			62058.67
tipdiam	2		1	0.87
tipfixpoint	43	9		24268.78
uclid	22	1		3657.55
wmiforward	6	2		2

QBF Solver Evaluation Portal