nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction610886.7
C499312308.14
C880604556.08
circuits286400
Counter121744.02
jmc_quant194070.21
jmc_quant_squaring4712621.86
k_branch_n61602.18
Sorting_networks161295230.24
tipdiam2910.88
tipfixpoint3817116.63
uclid224108.71
wmiforward68345.25