QuBE6.1 results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction71415213432551.82
Adder19323102605.4
blackbox-01X-QBF1064283258902.38
blackbox_design13127166.9
Blocks1023529527.97
BMC3702434138885.3
C432733124615.93
C499763126658.46
C5315832134432.83
C628881142602.84
C88078142000.96
Chain87126.02
circuits141478292.91
comp2844526.87
conformant_planning1244160319.51
Counter73925066.84
Debug172103200
DFlipFlop7310542.13
evader-pursuer-4x4-logarithmic61517863.95
evader-pursuer-4x4-standard6572484.98
evader-pursuer-6x6-logarithmic72428582.2
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75330578.57
FPGA_PLB_FIT_FAST38314808.77
FPGA_PLB_FIT_SLOW25117170.3
Impl74102.48
irqlkeapclte2591153678.94
jmc_quant442116299.75
jmc_quant_squaring1132149296.9
k_branch_n111549595.96
k_branch_p122465398.86
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_n9221741.63
k_ph_p1141144155.03
k_poly_n96214.63
k_poly_p85213.8
k_t4p_n96252836.49
k_t4p_p97450127.81
Logn192119
MutexP78328855.94
Qshifter6257695.39
s119644121606.34
s126979145602.54
s2736131.54
s29893935464.47
s333078333115.27
s386717410197.62
s499921427659.79
s5101171150738.79
s71373328877.89
s82078534333.05
Sorting_networks4231519170236.17
SzymanskiP105121085.33
term169442114.16
terminator86257647375.78
tipdiam4121391277946.35
tipfixpoint83616268249592.2
Toilet333210511.66
Tree87590.38
uclid3018000
VonNeumann7510840.52
wmiforward2525052070.31
z4ml61442.22