depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455672.99
Adder93246846.45
blackbox-01X-QBF68810443.35
blackbox_design76812436.21
Blocks88367707.92
BMC773321041.21
bomb484114314.02
C432733313708.88
C499763225509.4
C5315802130358.76
C628877139729.24
C88078235598.49
Chain82109628.06
circuits69137341.88
conformant_planning795120696.32
Connect464616880.82
Counter52613228.23
Debug8246977.2
DFlipFlop731084.72
dungeon55422608.69
evader-pursuer-4x4-logarithmic59714.79
evader-pursuer-4x4-standard64419534.94
evader-pursuer-6x6-logarithmic67518486.51
evader-pursuer-6x6-standard6628153.06
evader-pursuer-8x8-logarithmic72519704.68
FPGA_PLB_FIT_FAST38419.94
FPGA_PLB_FIT_SLOW25123587.65
fpu4710328.71
Generalized-Tic-Tac-Toe48183959.37
HardwareFixpoint5633185.5
Impl74101.56
incrementer-encoder521611443.18
irqlkeapclte8147969.6
ISCAS89326111.02
ITC99423114192.76
jmc_quant_squaring952140597
k_branch_n75332072.87
k_branch_p82145038.46
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_n7210346.18
k_ph_p70330808.39
k_poly_n68136790.95
k_poly_p64103.31
k_t4p_n71138000.59
k_t4p_p76138740.88
LinearBitvectorRankingFunction6035539.09
Logn29497.38
mqm754513942.36
MutexP7878.3
Planning-CTE38217210.62
QBF-Hardness51713282.32
qbfeval1227142969.32
Qshifter61320130.66
RankingFunctions55516598.75
Reduction-finding541516074.53
Rewriting451070.35
s11964426072.5
s12697026469.92
s27361313.69
s29870136132.86
s33307217078.5
s3866940892.09
s4996236722.45
s5105917641.78
s6415532590.56
s7137343241.29
s8207041476.3
Sorting_networks864130032.95
SzymanskiP93245144
term16944149.93
terminator7099327.89
tipdiam68426066.98
tipfixpoint693317831.47
ToiletA48377.26
ToiletC48191555.86
ToiletG4370.91
trafficlight-controller4592615.89
Tree74281.48
uclid3017802.06
VonNeumann7510234.68
wmiforward70425575.23
z4ml61441.22