AQME-C4.5 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder788118168.14
blackbox-01X-QBF1024311132408.98
blackbox_design131271180.25
Blocks5015249.79
BMC343465554953.26
C43231113913.52
C49921111040.93
C531532123361.89
C62881011558.98
C880101909.52
Chain22216.68
conformant_planning1226151874.82
Connect4413.84
Counter14343.58
Debug14510258473.06
evader-pursuer-4x4-logarithmic28332.86
evader-pursuer-8x8-logarithmic10142.04
FPGA_PLB_FIT_SLOW10150
jmc_quant1710200
k_branch_n9145.9
k_branch_p19247.2
k_d4_n3952377.59
k_d4_p36526.03
k_dum_n32522.86
k_dum_p38425.79
k_grz_n29499.15
k_grz_p26450.56
k_lin_n13363.23
k_path_n33520.44
k_path_p33520.65
k_poly_n42624.66
k_t4p_n396105.78
k_t4p_p51635.45
MutexP48433.2
Qshifter444123.26
s2721213.32
s29817246.38
s386816.69
s49911237.46
s510413.39
s71310114.84
s8208119.3
Sorting_networks253271842003.35
SzymanskiP5567280.91
term12028894.77
tipdiam20347850533.31
tipfixpoint4863537173949.03
Toilet12212.94