rev_qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
amba413549.02
arithmetic54900.06
cycle-sched412700.07
disjunctive_decomposition54900.2
driver440.38
genbuf43600
HardwareFixpoint86251637361.99
hwmcc41910.09
irqlkeapclte110356253.56
ltl2aig-comp43600
LTL2DBA41985.95
mult-matrix412700.62
RankingFunctions42352705.81
Reduction-finding1161096197
Selection-hard2018000
sketch935964.74
Sorting_networks12541341799.9
terminator1051262175.57
toy43900.3
wgrowing119900
wmiforward1240.45