Rareqs_2018 results solving families - 2018

Family# Total# Sat# UnsatTime
amba1931512.83
arithmetic3668100.2
cycle-sched346369.75
disjunctive_decomposition40713891.49
driver3460
genbuf54500.45
HardwareFixpoint3001514166142.94
hwmcc2623400.72
irqlkeapclte266239414.7
ltl2aig-comp5152.1
LTL2DBA1220
LTL2DPA718.19
Model_instances47239816.36
mult-matrix29310803.49
Q_2_398951026.78
RankingFunctions66301801.85
Reduction-finding225372547960.61
Selection-hard42228050.62
sketch47623014.25
Sorting_networks17561435906.81
terminator21722116772.85
toy305776.45
wgrowing1227379.06
wmiforward741111.76