depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456178.03
Adder109256974.81
blackbox-01X-QBF74716758.91
blackbox_design76811532.2
Blocks8837332
BMC873327434.38
bomb514215892.94
C432733313704.59
C499763224969.44
C5315832225329.63
C628881142679.91
C880782133226.31
Chain82104.25
circuits75141381.47
conformant_planning795120603.38
Connect468619663.81
Counter54710330.1
Debug9656661.64
DFlipFlop73102.94
dungeon72432940.58
evader-pursuer-4x4-logarithmic6167214.74
evader-pursuer-4x4-standard65615958.51
evader-pursuer-6x6-logarithmic72520961.67
evader-pursuer-6x6-standard72330906.34
evader-pursuer-8x8-logarithmic75522173.07
FPGA_PLB_FIT_FAST38416.32
FPGA_PLB_FIT_SLOW2512706.63
fpu471026.22
Generalized-Tic-Tac-Toe54185432.47
HardwareFixpoint75238030.85
Impl74100.16
incrementer-encoder631619348.8
irqlkeapclte11166571.31
ISCAS893261155.19
ITC99512120016.11
jmc_quant_squaring1132149961.68
k_branch_n85338395.73
k_branch_p99156906.02
k_d4_n73431553.57
k_d4_p721011.61
k_dum_n66715434.79
k_dum_p741040.45
k_grz_n681021.91
k_grz_p701014.15
k_lin_n6410201.25
k_lin_p65109.97
k_path_n67521045.12
k_path_p67328231.93
k_ph_n73101347.17
k_ph_p81337788.34
k_poly_n681042.06
k_poly_p641023.71
k_t4p_n71233566.34
k_t4p_p76236003.8
LinearBitvectorRankingFunction80146981
Logn29410.62
mqm814518829.22
MutexP787452.03
Planning-CTE50224601.41
QBF-Hardness5995708.41
qbfeval122724513.25
Qshifter626319.98
RankingFunctions6010142.04
Reduction-finding651522867.02
Rewriting45100.27
s119644121657.24
s126971138884.75
s2736132.28
s29870525234.98
s333073139094.33
s386695510014.73
s49962328953.56
s51059326602.69
s64155420744.85
s71373524901.84
s82070528412.26
Sorting_networks1044235661.57
SzymanskiP97248161.11
term16944118.73
terminator82536270.41
tipdiam82434787.48
tipfixpoint772327070.85
ToiletA483721.42
ToiletC48193.99
ToiletG4370.13
trafficlight-controller4510465.98
Tree74280
uclid3017991.3
VonNeumann751021.22
wmiforward73522792.51
z4ml61440.61