depqbf-cert-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7059039.46
Adder93251032.47
blackbox-01X-QBF68713654.42
blackbox_design7641102.53
Blocks88412125.77
BMC77323019.39
bomb48114424.92
C43273113810.6
C49976126735.72
C53158037937.33
C62887741148.56
C8807837511.69
Chain8227810.17
circuits6940312.36
conformant_planning88123728.3
Connect464618399.4
Counter5213719.53
Debug8248151.98
DFlipFlop7310129.99
dungeon55326188.54
evader-pursuer-4x4-logarithmic5912.65
evader-pursuer-4x4-standard6420755.4
evader-pursuer-6x6-logarithmic67419784.52
evader-pursuer-6x6-standard6618738.93
evader-pursuer-8x8-logarithmic72420513.54
FPGA_PLB_FIT_FAST3815.44
FPGA_PLB_FIT_SLOW2510832.53
fpu47102394.52
Generalized-Tic-Tac-Toe4864716.63
HardwareFixpoint5634044.29
Impl74422.83
incrementer-encoder52616629.95
irqlkeapclte8148531.15
ISCAS893217.48
ITC9942116851.1
jmc_quant_squaring9547746.88
k_branch_n7533559.46
k_branch_p82147326.53
k_d4_n7335365.59
k_d4_p72109.39
k_dum_n6625198.29
k_dum_p7493089.24
k_grz_n685849.12
k_grz_p7083564.92
k_lin_n64540.91
k_lin_p651031.61
k_path_n6725842.31
k_path_p67233680.14
k_ph_n72379.68
k_ph_p70332335.42
k_poly_n6838398.24
k_poly_p64106.26
k_t4p_n7140117.42
k_t4p_p76140858.54
LinearBitvectorRankingFunction6037307.06
Logn2916786.18
mqm75514542.62
MutexP7830122.67
Planning-CTE3818440.17
QBF-Hardness51614059.53
qbfeval122743038.7
Qshifter6120616.85
RankingFunctions5516878.46
Reduction-finding54321904.02
Rewriting45411915.94
s11964427270.78
s12697027495.16
s2736318.81
s2987039073.33
s33307217832.52
s3866943715.52
s4996238804.84
s5105918617.14
s6415534681.16
s7137345898.92
s8207042995.44
Sorting_networks86135574.28
SzymanskiP93247676.23
term16938989.4
terminator70710069.81
tipdiam6827259.76
tipfixpoint69318215.39
ToiletA487157.92
ToiletC4883478.02
ToiletG430.93
trafficlight-controller4568252.71
Tree7482.04
uclid3018327.41
VonNeumann75102414.05
wmiforward7026119.75
z4ml6143.4