nenofex-qbfeval10 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	6	0	0	10886.7
C499	31	0	0	2308.14
C880	60	0	0	4556.08
circuits	2	0	0	86400
Counter	12	0	0	1744.02
jmc_quant	21	0	0	4561.28
jmc_quant_squaring	59	0	0	16059.75
k_branch_n	6	0	0	1602.18
Sorting_networks	17	1	2	95963.18
tipdiam	2	0	0	910.88
tipfixpoint	43	0	0	18763.65
uclid	22	0	0	4108.71
wmiforward	6	0	0	8345.25

QBF Solver Evaluation Portal