ncQuBE1.1 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder88141275.58
blackbox-01X-QBF1084283231853.96
blackbox_design13127174.64
Blocks5030000
BMC3802334108847.02
C43231113630.14
C4992117220.3
C5315321110652.17
C62881013.96
C880106000
Chain2223.01
conformant_planning1244161088.56
Connect441510.86
Counter148400
Debug18285211.67
evader-pursuer-4x4-logarithmic298436.56
evader-pursuer-8x8-logarithmic102846.02
FPGA_PLB_FIT_SLOW106000
jmc_quant1921194.09
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_networks280813107012.53
SzymanskiP6161814.29
term12022905.62
tipdiam22354647689.4
tipfixpoint5097337147860.77
Toilet127200