depqbf-v2 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70359690.58
Adder93246828.17
blackbox-01X-QBF68911895.92
blackbox_design7694846.8
Blocks88371098.36
BMC773322285.32
bomb48417594.31
C43273352955.63
C499763218424.82
C5315802223340.29
C628877140037.76
C88078235588.67
Chain821010.96
circuits69137365.18
conformant_planning795120439.45
Connect464617013.62
Counter5287151.34
Debug8247546.78
DFlipFlop73105.75
dungeon55422556.06
evader-pursuer-4x4-logarithmic5976712.63
evader-pursuer-4x4-standard6471973.02
evader-pursuer-6x6-logarithmic67517398.03
evader-pursuer-6x6-standard66330295.68
evader-pursuer-8x8-logarithmic72520194.86
FPGA_PLB_FIT_FAST384111.18
FPGA_PLB_FIT_SLOW25121050.85
fpu471030.03
Generalized-Tic-Tac-Toe48193220.97
HardwareFixpoint562220204.25
Impl74101.55
incrementer-encoder52713224.57
irqlkeapclte81142779.3
ISCAS893261321.02
ITC99422115517.22
jmc_quant_squaring952239648.24
k_branch_n7595565.84
k_branch_p8294828.76
k_d4_n731047.85
k_d4_p721020.87
k_dum_n661010.98
k_dum_p741012.4
k_grz_n681023.8
k_grz_p701019.55
k_lin_n6410192.17
k_lin_p651016.42
k_path_n671016.29
k_path_p671019.97
k_ph_n72103730.45
k_ph_p70330840.34
k_poly_n681016.47
k_poly_p641012.41
k_t4p_n711041.95
k_t4p_p761033.66
LinearBitvectorRankingFunction6035565.5
Logn29412.09
mqm752516880.29
MutexP787500.98
Planning-CTE38217210.19
QBF-Hardness51711594.91
qbfeval1227241111.33
Qshifter616162.32
RankingFunctions5510125.92
Reduction-finding541516106.33
Rewriting45101.21
s119644121364.7
s126970140642.02
s27361330.37
s29870622476.13
s333072234548.94
s38669557186.29
s49962428154.74
s51059327885.24
s64155515074.24
s71373521123.85
s82070427298.98
Sorting_networks861333611.5
SzymanskiP93106919.89
term1694489.58
terminator7094494.67
tipdiam68426116.99
tipfixpoint69539031.74
ToiletA483725.22
ToiletC48192415.53
ToiletG4370.86
trafficlight-controller4510469.38
Tree74281.48
uclid3017801.31
VonNeumann751026.64
wmiforward701016.28
z4ml61444.43