par-pd-depqbf results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction63445856.56
Adder93247407.2
blackbox-01X-QBF6894510.12
blackbox_design761062.06
Blocks883511510.58
BMC772134289.46
bomb48321227.43
C43273351664.64
C499763315376.45
C5315802223421.2
C628877234809.69
C88078268779.15
Chain821041.92
circuits69137803.06
conformant_planning795122544.42
Connect464521195.51
Counter5287248.68
Debug8249200
DFlipFlop6789025.47
dungeon55324848.02
evader-pursuer-4x4-logarithmic5973083.69
evader-pursuer-4x4-standard6473885.86
evader-pursuer-6x6-logarithmic67616900.4
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72522975.36
FPGA_PLB_FIT_FAST384123.44
FPGA_PLB_FIT_SLOW25121074.71
fpu47420319.76
Generalized-Tic-Tac-Toe48178913.25
HardwareFixpoint51263756.45
Impl741037.94
incrementer-encoder52615642.44
irqlkeapclte8148600
ISCAS893261138.34
ITC99422115704.48
jmc_quant_squaring952239732.16
k_branch_n7595459.9
k_branch_p8210115.3
k_d4_n731042.37
k_d4_p721036.72
k_dum_n661033.66
k_dum_p741037.74
k_grz_n681034.68
k_grz_p701035.78
k_lin_n641032.78
k_lin_p651033.2
k_path_n671034.17
k_path_p671034.17
k_ph_n7210287.69
k_ph_p70331209.25
k_poly_n681034.76
k_poly_p641032.64
k_t4p_n711043.3
k_t4p_p761038.76
LinearBitvectorRankingFunction6036000
Logn2945837.53
mqm755410018.82
MutexP78786.12
Planning-CTE38217454.74
QBF-Hardness51711704.38
qbfeval1227143015.85
Qshifter6165309.56
RankingFunctions551033.16
Reduction-finding541516252.95
Rewriting451023.22
s119644156195.94
s126970424685.07
s27361318.46
s29870712645.34
s333072138408.08
s38669551793.94
s49962422873.5
s51059325223.73
s641555448.21
s713735589.47
s82070426769.87
Sorting_networks861333379.06
SzymanskiP93819996.2
term1694467.12
terminator701935.7
tipdiam686112993.85
tipfixpoint694313878.84
ToiletA483742.65
ToiletC4819681.73
ToiletG43722.07
trafficlight-controller3772486.2
Tree742838.25
uclid30117082.73
VonNeumann75334829.35
wmiforward701036.2
z4ml614431.56