squolem results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78242743.36
blackbox-01X-QBF102443561409.13
blackbox_design13178600
Blocks5030000
BMC34311203414.22
C4323118600
C4992112600
C53153219200
C6288106000
C880106000
Chain2213200
conformant_planning12273200
Connect442400
Counter148400
Debug14587000
evader-pursuer-4x4-logarithmic2816800
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW106000
jmc_quant1710200
k_branch_n95400
k_branch_p1911400
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
Qshifter44314507.24
s272112600
s2981710200
s38684800
s499116600
s51042400
s713106000
s82084800
Sorting_networks253151800
SzymanskiP5533000
term12012000
tipdiam20311109478.54
tipfixpoint4867282245.18
Toilet127200