aigqbf_s results solving families - 2007

Family# Total# Sat# UnsatTime
Adder784132389.49
blackbox-01X-QBF10244090428246.27
blackbox_design13178600
Blocks5012731.95
BMC343310176816.66
C4323116471.99
C499211314.09
C5315321215329.64
C6288106000
C88010133.56
Chain222638.39
conformant_planning1227448401.2
Connect44179.08
Counter148400
Debug14587000
evader-pursuer-4x4-logarithmic2816800
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW1011015.58
jmc_quant1710200
k_branch_n91388.14
k_branch_p195364.48
k_d4_n3952296.82
k_d4_p365385.21
k_dum_n325104.67
k_dum_p384110.6
k_grz_n291380.77
k_grz_p26952.36
k_lin_n136501.59
k_path_n335275.03
k_path_p335290.5
k_poly_n421731.85
k_t4p_n3962141.22
k_t4p_p5161002.74
MutexP48310933.51
Qshifter4445720.6
s272127.67
s298172736.52
s38681110.22
s499112912.64
s51041260.99
s713106000
s82084800
Sorting_networks253112905.5
SzymanskiP5518456.71
term1202146.1
tipdiam20339469548.45
tipfixpoint486916263200.53
Toilet1212288.27