aigqbf_sr results solving families - 2007

Family# Total# Sat# UnsatTime
Adder884138602.51
blackbox-01X-QBF108440114442602.46
blackbox_design131852505.15
Blocks5030000
BMC380310198140.13
C43231111442
C4992112898.23
C5315321116194.46
C6288106000
C88010141.2
Chain222610.6
conformant_planning1243169087.45
Connect44177
Counter148400
Debug182109200
evader-pursuer-4x4-logarithmic2917400
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW1013387.45
jmc_quant1911400
k_branch_n911276.53
k_branch_p218445.87
k_d4_n3955873.48
k_d4_p365742.77
k_dum_n325148.91
k_dum_p384171.54
k_grz_n2913845.23
k_grz_p2610788.2
k_lin_n137800
k_path_n335387.15
k_path_p335406.15
k_poly_n4215173.8
k_t4p_n3963786.37
k_t4p_p5162212.72
MutexP48215941.67
Qshifter4545717.81
s2721219.72
s2981721698.54
s38681223.15
s4991122245.23
s51041126.3
s713106000
s82084800
Sorting_networks280167160.77
SzymanskiP6121675.96
term1202213.4
tipdiam22335486107.54
tipfixpoint5091317272682.65
Toilet127200