depqbf-cert-v2 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70358212.54
Adder93250547.92
blackbox-01X-QBF68614890.72
blackbox_design7647317.04
Blocks883511567.37
BMC772328556.64
bomb48322253.04
C432733118480.46
C499763129680.25
C5315801139332.52
C62887748271.38
C88078237325.86
Chain82136763.13
circuits69140709.04
conformant_planning884124401.41
Connect464618348.48
Counter52614422.3
Debug8249000.19
DFlipFlop7310112.97
dungeon5533350.73
evader-pursuer-4x4-logarithmic59755.79
evader-pursuer-4x4-standard6438604.28
evader-pursuer-6x6-logarithmic67420851.89
evader-pursuer-6x6-standard6640036.85
evader-pursuer-8x8-logarithmic72421116.98
FPGA_PLB_FIT_FAST384132.24
FPGA_PLB_FIT_SLOW25110782.93
fpu47102270.16
Generalized-Tic-Tac-Toe481513457.92
HardwareFixpoint5634245.68
Impl74102.83
incrementer-encoder52616918.85
irqlkeapclte8149405.77
ISCAS8932513903.22
ITC99421120943
jmc_quant_squaring9559508.13
k_branch_n75140457.5
k_branch_p8251052.61
k_d4_n73238415.1
k_d4_p721010.32
k_dum_n66329725.96
k_dum_p7485431.39
k_grz_n6838499.44
k_grz_p7069663.99
k_lin_n64130491.14
k_lin_p651030.73
k_path_n67137293.32
k_path_p67233425.96
k_ph_n72812106.26
k_ph_p70331599.32
k_poly_n68139072.88
k_poly_p64106.07
k_t4p_n7142790.42
k_t4p_p76141612.93
LinearBitvectorRankingFunction6037366.05
Logn29248.64
mqm75513567.51
MutexP78231751.67
Planning-CTE38216393.13
QBF-Hardness5131743.22
qbfeval1227144165.56
Qshifter61127906.88
RankingFunctions5533682.79
Reduction-finding541321813.5
Rewriting45412734.22
s11964427938.77
s12697044778.97
s2736115578.59
s2987045898.17
s33307232872.7
s3866944512.26
s4996239967.96
s5105937746.49
s6415535153.46
s7137346317.2
s8207044538.89
Sorting_networks863230492.38
SzymanskiP93249135.65
term169437680.86
terminator7042784.54
tipdiam68331435.77
tipfixpoint69332212.1
ToiletA483746
ToiletC48183328.8
ToiletG4371.87
trafficlight-controller4567799.73
Tree74184744.2
uclid3019017.25
VonNeumann75102361.04
wmiforward70327031.59
z4ml61444.14