par-pd-depqbf results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction64446456.56
Adder109257007.2
blackbox-01X-QBF7495769.34
blackbox_design761062.06
Blocks883511510.58
BMC872140289.46
bomb51323027.43
C43273351664.64
C499763315376.45
C5315832225221.2
C628881237209.69
C88078268779.15
Chain821041.92
circuits75141403.06
conformant_planning795122544.42
Connect468523595.51
Counter5487851.2
Debug9657600
DFlipFlop6789025.47
dungeon72335048.02
evader-pursuer-4x4-logarithmic6173101.77
evader-pursuer-4x4-standard6573990.73
evader-pursuer-6x6-logarithmic72618742.57
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75524183.4
FPGA_PLB_FIT_FAST384123.44
FPGA_PLB_FIT_SLOW25121074.71
fpu47420319.76
Generalized-Tic-Tac-Toe541711360.43
HardwareFixpoint69265916.28
Impl741037.94
incrementer-encoder63622242.44
irqlkeapclte11166600
ISCAS893261138.34
ITC99512119929.58
jmc_quant_squaring1132248599.62
k_branch_n8596669.54
k_branch_p9910144.08
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_n7310315.3
k_ph_p81337809.25
k_poly_n681034.76
k_poly_p641032.64
k_t4p_n711043.3
k_t4p_p761038.76
LinearBitvectorRankingFunction8048000
Logn2945837.53
mqm815411186.72
MutexP78786.12
Planning-CTE50224654.74
QBF-Hardness59715402.72
qbfeval1227143015.85
Qshifter6265317.6
RankingFunctions601037.73
Reduction-finding651522852.95
Rewriting451023.22
s119644156195.94
s126971425285.07
s27361318.46
s29870712645.34
s333073139008.08
s38669551793.94
s49962422873.5
s51059325223.73
s641555448.21
s713735589.47
s82070426769.87
Sorting_networks1041340483.8
SzymanskiP97822396.2
term1694467.12
terminator821941.82
tipdiam826117441.71
tipfixpoint774317483.88
ToiletA483742.65
ToiletC4819681.73
ToiletG43722.07
trafficlight-controller3772486.2
Tree742838.25
uclid30117082.73
VonNeumann75334829.35
wmiforward731037.73
z4ml614431.56