ncQuBE1.0 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86145491.42
blackbox-01X-QBF1064289252800.94
blackbox_design13127180.33
Blocks50129207.66
BMC3702435104886.44
C43231113194.44
C4992117235.14
C5315321112707.04
C62881014.4
C880101616.8
Chain2223.4
conformant_planning1244162013.33
Connect441232.81
Counter142458.89
Debug17280134.17
evader-pursuer-4x4-logarithmic298758.16
evader-pursuer-8x8-logarithmic105187.28
FPGA_PLB_FIT_SLOW106000
jmc_quant1721296.39
k_branch_n9160.7
k_branch_p219783.44
k_d4_n3910959.11
k_d4_p3610886.58
k_dum_n3217862.18
k_dum_p3818231.53
k_grz_n2927271.13
k_grz_p2623996.4
k_lin_n133727.42
k_path_n3316263.81
k_path_p33114715.88
k_poly_n4263.58
k_t4p_n3911741.44
k_t4p_p51114177.09
MutexP4828800
Qshifter4537791.04
s272111.38
s29817216.61
s386812.34
s49911221.89
s510410.85
s7131014.4
s820816.11
Sorting_networks27691499340.48
SzymanskiP5961734.44
term12023319
tipdiam21652647688.84
tipfixpoint5027336144986.02
Toilet127200