depqbf-v2 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction713510283.8
Adder115259869.96
blackbox-01X-QBF77915495.14
blackbox_design7694846.8
Blocks88371098.36
BMC913327560.7
bomb51418840.86
C43273352955.63
C499763218424.82
C5315862226901.21
C628886145377.74
C88078235588.67
Chain821010.96
circuits75140922.8
conformant_planning795120439.45
Connect468619383.42
Counter5487744.99
Debug10359691.72
DFlipFlop73105.75
dungeon73432398.38
evader-pursuer-4x4-logarithmic6176753.96
evader-pursuer-4x4-standard6572019.03
evader-pursuer-6x6-logarithmic74520421.05
evader-pursuer-6x6-standard77336735.53
evader-pursuer-8x8-logarithmic78523172.77
FPGA_PLB_FIT_FAST384111.18
FPGA_PLB_FIT_SLOW25121050.85
fpu471030.03
Generalized-Tic-Tac-Toe54194385.03
HardwareFixpoint812233851.37
Impl74101.55
incrementer-encoder67720744.13
irqlkeapclte121164165.78
ISCAS893261321.02
ITC99562122074.83
jmc_quant_squaring1182249791.74
k_branch_n8897401.14
k_branch_p10396882.9
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_n74104116.77
k_ph_p85339735.1
k_poly_n681016.47
k_poly_p641012.41
k_t4p_n711041.95
k_t4p_p761033.66
LinearBitvectorRankingFunction8650979.82
Logn29412.09
mqm842522218.7
MutexP787500.98
Planning-CTE55227290.47
QBF-Hardness63717090.07
qbfeval1227241111.33
Qshifter626163.44
RankingFunctions6110178.98
Reduction-finding651522626.73
Rewriting45101.21
s119644121364.7
s126976144198.51
s27361330.37
s29870622476.13
s333076236920.13
s38669557186.29
s49962428154.74
s51059327885.24
s64155515074.24
s71373521123.85
s82072428484.34
Sorting_networks1101343457.23
SzymanskiP99108280.48
term1694489.58
terminator8696988.87
tipdiam86436797.31
tipfixpoint815312629.82
ToiletA483725.22
ToiletC48192415.53
ToiletG4370.86
trafficlight-controller4510469.38
Tree74281.48
uclid3017801.31
VonNeumann751026.64
wmiforward741019.52
z4ml61444.43