squolem results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86247543.36
blackbox-01X-QBF106443585409.13
blackbox_design13178600
Blocks5030000
BMC37011219614.22
C4323118600
C4992112600
C53153219200
C6288106000
C880106000
Chain2213200
conformant_planning12474400
Connect442400
Counter148400
Debug172103200
evader-pursuer-4x4-logarithmic2917400
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW106000
jmc_quant1710200
k_branch_n95400
k_branch_p2112600
k_d4_n3954711.08
k_d4_p36529.14
k_dum_n3253
k_dum_p3846.44
k_grz_n2917400
k_grz_p2615600
k_lin_n137800
k_path_n33517.89
k_path_p33519.15
k_poly_n4266466.17
k_t4p_n396137.98
k_t4p_p516111.17
MutexP484274.57
Qshifter45315094.36
s272112600
s2981710200
s38684800
s499116600
s51042400
s713106000
s82084800
Sorting_networks276165600
SzymanskiP5935400
term12012000
tipdiam21611117278.54
tipfixpoint5027291845.18
Toilet127200