ncQuBE1.1 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86140075.58
blackbox-01X-QBF1064283224463.16
blackbox_design13127174.64
Blocks5030000
BMC3702334105533.26
C43231113630.14
C4992117220.3
C5315321110652.17
C62881013.96
C880106000
Chain2223.01
conformant_planning1244161088.56
Connect441510.86
Counter148400
Debug17280190.07
evader-pursuer-4x4-logarithmic298436.56
evader-pursuer-8x8-logarithmic102846.02
FPGA_PLB_FIT_SLOW106000
jmc_quant1721170.55
k_branch_n9157.42
k_branch_p218722.29
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
Qshifter4537791.38
s272121.42
s29817226.56
s386812.27
s49911221.8
s510410.82
s7131014.28
s820816.14
Sorting_networks276813104612.53
SzymanskiP5961712.9
term12022905.62
tipdiam21654645248.14
tipfixpoint5027337143660.77
Toilet127200