AQME-RIPPER results solving families - 2007

Family# Total# Sat# UnsatTime
Adder788118684
blackbox-01X-QBF1024311151551.51
blackbox_design131271485.66
Blocks5015252.27
BMC343455550973.22
C43231110801.89
C49921111040.39
C531532123363.19
C62881011559.78
C880101712.99
Chain2221812.4
conformant_planning1226350120.95
Connect441564.83
Counter14343.9
Debug1453371803.36
evader-pursuer-4x4-logarithmic28333.96
evader-pursuer-8x8-logarithmic10143.32
FPGA_PLB_FIT_SLOW10150.8
jmc_quant175982.4
k_branch_n9146.22
k_branch_p19248.42
k_d4_n3952370.3
k_d4_p36527.95
k_dum_n32524.34
k_dum_p38427.85
k_grz_n29498.44
k_grz_p26453.41
k_lin_n13363.68
k_path_n33522
k_path_p33522.14
k_poly_n42626.67
k_t4p_n396113.03
k_t4p_p51637.92
MutexP48435.29
Qshifter444125.37
s2721214.01
s29817247.75
s386816.98
s49911237.79
s510413.44
s71310115.16
s8208119.36
Sorting_networks253271939622.83
SzymanskiP55412648.08
term12028884.56
tipdiam20346751007.08
tipfixpoint4863536163147.44
Toilet12213.7