Caqe-hqspre results solving families - 2018

Family# Total# Sat# UnsatTime
amba1925235.84
arithmetic36416200.78
cycle-sched34223192.3
disjunctive_decomposition403119950.49
driver34631.48
genbuf54500.25
HardwareFixpoint300163290020.28
hwmcc26117765.93
irqlkeapclte266239410.4
ltl2aig-comp54500.35
LTL2DBA1214512.8
LTL2DPA76300.42
Model_instances47136941.95
mult-matrix2944524.05
Q_2_3981045995.22
RankingFunctions663112.82
Reduction-finding225302091696.3
Selection-hard42511869.44
sketch47233458.83
Sorting_networks1757188403.73
terminator2174407293.31
toy3044539.85
wgrowing1227347.82
wmiforward74726148.08