Caqe-bloqqer-qdo results solving families - 2018

Family# Total# Sat# UnsatTime
amba1934903.34
arithmetic3668100.43
cycle-sched34512661.06
disjunctive_decomposition40611703.99
driver3454563.02
genbuf54500.15
HardwareFixpoint3001522128850.92
hwmcc2623401.2
irqlkeapclte266239411.19
ltl2aig-comp54500
LTL2DBA122861.78
LTL2DPA7147.88
Model_instances47136969.79
mult-matrix2949507.27
Q_2_3981045994.62
RankingFunctions66301857.78
Reduction-finding225382355321.85
Selection-hard42416920.42
sketch47239555.81
Sorting_networks17571816528.82
terminator2173280073.45
toy30312098.87
wgrowing1227335.04
wmiforward74106343.04