depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456266.11
Adder109256333.83
blackbox-01X-QBF74813290.65
blackbox_design76812436.21
Blocks88367707.92
BMC873324699
bomb514115510.98
C432733313708.88
C499763225509.4
C5315832132138.12
C628881142101.44
C88078235598.49
Chain82109628.06
circuits75140895.7
conformant_planning795120696.32
Connect468619249.7
Counter54614415.47
Debug9655041.77
DFlipFlop731084.72
dungeon72431958.31
evader-pursuer-4x4-logarithmic61715.31
evader-pursuer-4x4-standard65420127.78
evader-pursuer-6x6-logarithmic72520331.09
evader-pursuer-6x6-standard7228894.56
evader-pursuer-8x8-logarithmic75520891.83
FPGA_PLB_FIT_FAST38419.94
FPGA_PLB_FIT_SLOW25123587.65
fpu4710328.71
Generalized-Tic-Tac-Toe54185518.25
HardwareFixpoint7544441.6
Impl74101.56
incrementer-encoder631616236.6
irqlkeapclte11165736.26
ISCAS89326111.02
ITC99513117993
jmc_quant_squaring1132149590.04
k_branch_n85338002.43
k_branch_p99155109.58
k_d4_n73333222.49
k_d4_p72106.38
k_dum_n66424327.08
k_dum_p74101959.08
k_grz_n68105118.06
k_grz_p70102528.09
k_lin_n6410359.66
k_lin_p651026.23
k_path_n67424429.69
k_path_p67232034.68
k_ph_n7310376.9
k_ph_p81337325.94
k_poly_n68136790.95
k_poly_p64103.31
k_t4p_n71138000.59
k_t4p_p76138740.88
LinearBitvectorRankingFunction8047386.63
Logn29497.38
mqm814517106.86
MutexP7878.3
Planning-CTE50224327.92
QBF-Hardness59717604.3
qbfeval1227142969.32
Qshifter62320722.5
RankingFunctions60518377.03
Reduction-finding651522598.05
Rewriting451070.35
s11964426072.5
s12697127062.04
s27361313.69
s29870136132.86
s33307317120.45
s3866940892.09
s4996236722.45
s5105917641.78
s6415532590.56
s7137343241.29
s8207041476.3
Sorting_networks1044139691.31
SzymanskiP97247513.08
term16944149.93
terminator82913055.54
tipdiam82434360.42
tipfixpoint773321393.61
ToiletA48377.26
ToiletC48191555.86
ToiletG4370.91
trafficlight-controller4592615.89
Tree74281.48
uclid3017802.06
VonNeumann7510234.68
wmiforward73427355.79
z4ml61441.22