ncQuBE1.0 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder880146691.42
blackbox-01X-QBF10840289261537.37
blackbox_design13127180.33
Blocks500129207.66
BMC3802435108529.39
C432311013194.44
C49921107235.14
C5315321112707.04
C628810104.4
C8801010616.8
Chain22203.4
conformant_planning1244162013.33
Connect44001232.81
Counter14002458.89
Debug1820085154.84
evader-pursuer-4x4-logarithmic29008758.16
evader-pursuer-8x8-logarithmic10005187.28
FPGA_PLB_FIT_SLOW10006000
jmc_quant1921340.72
k_branch_n91060.7
k_branch_p21009783.44
k_d4_n390010959.11
k_d4_p360010886.58
k_dum_n32107862.18
k_dum_p38018231.53
k_grz_n29207271.13
k_grz_p26023996.4
k_lin_n1330727.42
k_path_n330016263.81
k_path_p330114715.88
k_poly_n42603.58
k_t4p_n390011741.44
k_t4p_p510114177.09
MutexP480028800
Qshifter45307791.04
s2721011.38
s298172016.61
s3868102.34
s499112021.89
s5104100.85
s71310104.4
s8208106.11
Sorting_networks280914101740.48
SzymanskiP61061836.87
term120023319
tipdiam22352650130.76
tipfixpoint5097336149186.02
Toilet12007200