QuBE6.1 results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction71115213430751.82
Adder1732390605.4
blackbox-01X-QBF1024283237056.65
blackbox_design13127166.9
Blocks1023529527.97
BMC3432434124465.16
C432733124615.93
C499763126658.46
C5315802132632.83
C628877140202.84
C88078142000.96
Chain87126.02
circuits130471692.91
comp2844526.87
conformant_planning1224159119.51
Counter71924198.07
Debug14587000
DFlipFlop7310542.13
evader-pursuer-4x4-logarithmic59517227.5
evader-pursuer-4x4-standard6472427.84
evader-pursuer-6x6-logarithmic67426216.1
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72329323.97
FPGA_PLB_FIT_FAST38314808.77
FPGA_PLB_FIT_SLOW25117170.3
Impl74102.48
irqlkeapclte1941114678.94
jmc_quant432115699.75
jmc_quant_squaring952140288.07
k_branch_n97541784.97
k_branch_p103455063.5
k_d4_n101548290.11
k_d4_p95647007.98
k_dum_n92736769.69
k_dum_p921133841.27
k_grz_n931321692.14
k_grz_p931724087.96
k_lin_n9421640.96
k_lin_p892112.92
k_path_n93639403.47
k_path_p94743838.89
k_ph_n9121690.36
k_ph_p971134902.15
k_poly_n96214.63
k_poly_p85213.8
k_t4p_n96252836.49
k_t4p_p97450127.81
Logn192119
MutexP78328855.94
Qshifter6157659.13
s119644121606.34
s126978145002.54
s2736131.54
s29893935464.47
s333077332515.27
s386717410197.62
s499921427659.79
s5101171150738.79
s71373328877.89
s82078534333.05
Sorting_networks3711519143040.31
SzymanskiP10112960.41
term169442114.16
terminator79657630772.51
tipdiam3901391267103.49
tipfixpoint81116268234713.16
Toilet333210511.66
Tree87590.38
uclid3018000
VonNeumann7510840.52
wmiforward2215042460.74
z4ml61442.22