ncQuBE1.1 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78136430.15
blackbox-01X-QBF1024283207170.9
blackbox_design13127174.64
Blocks5030000
BMC343233496367.67
C43231113630.14
C4992117220.3
C5315321110652.17
C62881013.96
C880106000
Chain2223.01
conformant_planning1224159888.56
Connect441510.86
Counter148400
Debug14566788.34
evader-pursuer-4x4-logarithmic288063.98
evader-pursuer-8x8-logarithmic102846.02
FPGA_PLB_FIT_SLOW106000
jmc_quant1721170.55
k_branch_n9157.42
k_branch_p198225.79
k_d4_n3923400
k_d4_p3621600
k_dum_n3219200
k_dum_p3822800
k_grz_n29114441.96
k_grz_p26110912.58
k_lin_n133575.34
k_path_n3319800
k_path_p3319800
k_poly_n4263.4
k_t4p_n3919417.45
k_t4p_p51124979.02
MutexP4828800
Qshifter4437747.92
s272121.42
s29817226.56
s386812.27
s49911221.8
s510410.82
s7131014.28
s820816.14
Sorting_networks25381394426.18
SzymanskiP5561510.11
term12022905.62
tipdiam20354639766.76
tipfixpoint4867337134060.77
Toilet127200