nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction610886.7
C499312308.14
C880604556.08
circuits286400
Counter121744.02
jmc_quant194070.21
jmc_quant_squaring5815668.28
k_branch_n61602.18
Sorting_networks171295963.18
tipdiam2910.88
tipfixpoint4218429.25
uclid224108.71
wmiforward68345.25