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

Family# Total# Sat# UnsatTime
amba43600
arithmetic54900.84
cycle-sched412700.77
disjunctive_decomposition531800.33
driver444.56
genbuf43600
HardwareFixpoint86272332197.6
hwmcc43600
irqlkeapclte110390046.08
ltl2aig-comp43600
LTL2DBA412702.66
mult-matrix421836.69
RankingFunctions4237471.14
Reduction-finding116699000.45
Selection-hard20116237.68
sketch98100
Sorting_networks125111775.2
terminator1052381942.2
toy43904.89
wgrowing1119019.94
wmiforward1243.93