generated Tue Mar 15 18:33:46 CADT 2011
sts:
big:
ex062
ex064
ex065
ex066
ex068
ex073
ex081
mat:
mg_1
mg_11_1
mg_11_2
mg_12_1
mg_12_2
mg_13
mg_14_1
mg_14_2
mg_14_3
mg_15_1
mg_15_2
mg_15_3
mg_15_4
mg_15_5
mg_16_1
mg_16_2
mg_16_3
mg_17_1
mg_17_2
mg_17_3
mg_17_4
mg_18_1
mg_18_2
mg_18_3
mg_18_4
mg_18_5
mg_18_6
mg_18_7
mg_18_8
mg_19_1
mg_19_2
mg_19_3
mg_19_4
mg_19_5
mg_20
mg_21_1
mg_21_2
mg_21_3
mg_21_4
mg_21_5
mg_22_1
mg_22_2
mg_23_1
mg_23_2
mg_24_1
mg_24_2
mg_25_1
mg_25_2
mg_2_1
mg_2_2
mg_3
mg_4_1
mg_4_2
mg_4_3
mg_4_4
mg_4_5
mg_5_1
mg_5_2
mg_6
mg_7
mg_8_1
mg_8_2
mg_8_3
mg_8_4
mg_8_5
mg_8_6
mg_8_7
mg_9_1
mg_9_10
mg_9_2
mg_9_3
mg_9_4
mg_9_5
mg_9_6
mg_9_7
mg_9_8
mg_9_9
ml_1
ml_2
ml_3
ml_4
ml_5
mt_1
mt_3
mt_4
mt_5
mt_6
triv
neg:
ex002
ex003
ex008
ex012
ex032
ex034
ex036
ex038
ex039
ex043
ex059
ex071
ex072
ex077
ex078
ex084
pos1:
ex001
ex004
ex006
ex007
ex009
ex010
ex011
ex013
ex021
ex022
ex023
ex024
ex025
ex026
ex027
ex028
ex029
ex030
ex031
ex033
ex035
ex037
ex040
ex041
ex042
ex044
ex045
ex046
ex047
ex048
ex049
ex050
ex051
pos2:
ex052
ex053
ex054
ex055
ex056
ex057
ex058
ex060
ex061
ex063
ex067
ex069
ex070
ex074
ex075
ex076
ex079
ex080
ex082
ex083
ex085
ex086
tests: