ijtihad results solving families - 2018

Family# Total# Sat# UnsatTime
amba19114735.13
arithmetic3668100.34
cycle-sched3463387.86
disjunctive_decomposition4078100.44
driver3460
genbuf54500.15
HardwareFixpoint3001411184246.37
hwmcc2623401.25
irqlkeapclte266239414.05
ltl2aig-comp513316.35
LTL2DBA1221.33
LTL2DPA718.4
Model_instances4742302.84
mult-matrix29311599.57
Q_2_398855148.19
RankingFunctions66301802.16
Reduction-finding2251199831.91
Selection-hard4237802.02
sketch4742302.47
Sorting_networks1755898059.69
terminator2173736804.05
toy30311700.08
wgrowing1210800.56
wmiforward741138.64