depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455578.22
Adder93247379.23
blackbox-01X-QBF68713160.45
blackbox_design76811532.2
Blocks8837332
BMC773323472.88
bomb484214653.33
C432733313704.59
C499763224969.44
C5315802223530.5
C628877140281.07
C880782133226.31
Chain82104.25
circuits69137783.11
conformant_planning795120603.38
Connect464617264.66
Counter5279714.79
Debug8248379.39
DFlipFlop73102.94
dungeon55423323.21
evader-pursuer-4x4-logarithmic5967174.35
evader-pursuer-4x4-standard64615366.16
evader-pursuer-6x6-logarithmic67519071.22
evader-pursuer-6x6-standard66327702.37
evader-pursuer-8x8-logarithmic72520958.77
FPGA_PLB_FIT_FAST38416.32
FPGA_PLB_FIT_SLOW2512706.63
fpu471026.22
Generalized-Tic-Tac-Toe48183963.45
HardwareFixpoint56227628.66
Impl74100.16
incrementer-encoder521613666.99
irqlkeapclte8148579.11
ISCAS893261155.19
ITC99422115770.28
jmc_quant_squaring952140883.35
k_branch_n75332398.11
k_branch_p82146710.05
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_n72101246.76
k_ph_p70331190.43
k_poly_n681042.06
k_poly_p641023.71
k_t4p_n71233566.34
k_t4p_p76236003.8
LinearBitvectorRankingFunction60135285.86
Logn29410.62
mqm754515333.42
MutexP787452.03
Planning-CTE38217404.49
QBF-Hardness5194439.87
qbfeval122724513.25
Qshifter616317.92
RankingFunctions5510108.28
Reduction-finding541516270.21
Rewriting45100.27
s119644121657.24
s126970138285.04
s2736132.28
s29870525234.98
s333072138494.62
s386695510014.73
s49962328953.56
s51059326602.69
s64155420744.85
s71373524901.84
s82070528412.26
Sorting_networks864227017.89
SzymanskiP93245762.07
term16944118.73
terminator70529227.52
tipdiam68426391.02
tipfixpoint692322272.97
ToiletA483721.42
ToiletC48193.99
ToiletG4370.13
trafficlight-controller4510465.98
Tree74280
uclid3017991.3
VonNeumann751021.22
wmiforward70520993.38
z4ml61440.61