AIGSolve results solving families

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

QBF Solver Evaluation Portal