aigqbf_sr results solving families - 2007

Family# Total# Sat# UnsatTime
Adder784132602.51
blackbox-01X-QBF102440114410373.1
blackbox_design131852505.15
Blocks5030000
BMC343310178085.14
C43231111442
C4992112898.23
C5315321116194.46
C6288106000
C88010141.2
Chain222610.6
conformant_planning1223167887.45
Connect44177
Counter148400
Debug14587000
evader-pursuer-4x4-logarithmic2816800
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW1013387.45
jmc_quant1710200
k_branch_n911276.53
k_branch_p197245.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
Qshifter4445678.59
s2721219.72
s2981721698.54
s38681223.15
s4991122245.23
s51041126.3
s713106000
s82084800
Sorting_networks253150960.77
SzymanskiP5518374.39
term1202213.4
tipdiam20335474107.54
tipfixpoint4861317258882.65
Toilet127200