iProver-qbf-2017-07-27-v3 results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic531817.1
cycle-sched43600
disjunctive_decomposition513600.86
driver43600
genbuf43600
HardwareFixpoint867267582.59
hwmcc42876.9
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43600
RankingFunctions4237800
Reduction-finding1163102197.75
Selection-hard2018000
sketch98100
Sorting_networks125111695.48
terminator10594500
toy43600
wgrowing119900
wmiforward1210800