depqbf_prefix_opt_qdo results solving families - 2018

Family# Total# Sat# UnsatTime
amba1917100.49
arithmetic36416200.49
cycle-sched3430601.44
disjunctive_decomposition40324300.61
driver3430600.58
genbuf54500.4
HardwareFixpoint3002263711.52
hwmcc2623401.09
irqlkeapclte266239408.74
ltl2aig-comp54500.2
LTL2DBA1210800.56
LTL2DPA76300.42
Model_instances4742301.37
mult-matrix2926101.6
Q_2_3981622249.88
RankingFunctions66254002.64
Reduction-finding225213166944.74
Selection-hard4237802.3
sketch4742301.89
Sorting_networks17521148005.79
terminator2172793802.19
toy30123385.36
wgrowing1210800.68
wmiforward7466602.33