ncQuBE1.0 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78141067.1
blackbox-01X-QBF1024289231620.26
blackbox_design13127180.33
Blocks50129207.66
BMC343243595059.24
C43231113194.44
C4992117235.14
C5315321112707.04
C62881014.4
C880101616.8
Chain2223.4
conformant_planning1224160813.33
Connect441232.81
Counter142458.89
Debug14566740.75
evader-pursuer-4x4-logarithmic288452.49
evader-pursuer-8x8-logarithmic105187.28
FPGA_PLB_FIT_SLOW106000
jmc_quant1721296.39
k_branch_n9160.7
k_branch_p198911.16
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
Qshifter4437747.61
s272111.38
s29817216.61
s386812.34
s49911221.89
s510410.85
s7131014.4
s820816.11
Sorting_networks25391490217.15
SzymanskiP5561529.59
term12023319
tipdiam20352642206.26
tipfixpoint4867336135386.02
Toilet127200