Moss Results

Sun Mar 31 22:51:02 PST 2002

Options -l ml -m 10

[ Text Report | How to Read the Results | Tips | FAQ | Contact Moss | Submission Scripts | Credits ]
File 1File 2Tokens MatchedLines Matched
csu00097/comp-proof.sml (30%)csd00387/comp-proof.sml (33%)63773
csu98146/comp-proof.sml (31%)csu00096/comp-proof.sml (16%)58052
csd00389/comp-proof.sml (23%)csd00385/comp-proof.sml (35%)37238
csu00127/comp-proof.sml (18%)csd00389/comp-proof.sml (19%)32223
csu00113/comp-proof.sml (14%)csd00391/comp-proof.sml (14%)24018
csu00139/comp-proof.sml (13%)csu00111/comp-proof.sml (12%)21520
csu00122/comp-proof.sml (10%)csd00379/comp-proof.sml (10%)18720
csu00136/comp-proof.sml (10%)csu00122/comp-proof.sml (8%)15015
csu00130/comp-proof.sml (7%)csu00124/comp-proof.sml (8%)14013
csu00125/comp-proof.sml (22%)csu00097/comp-proof.sml (6%)12512
csu00139/comp-proof.sml (7%)csu00109/comp-proof.sml (7%)1217
csu00111/comp-proof.sml (6%)csu00109/comp-proof.sml (7%)1217
csu98145/comp-proof.sml (8%)csd00378/comp-proof.sml (8%)1208
csu00139/comp-proof.sml (7%)csu00103/comp-proof.sml (7%)1189
csu00111/comp-proof.sml (6%)csu00103/comp-proof.sml (7%)1189
csu00109/comp-proof.sml (6%)csu00103/comp-proof.sml (7%)1138
csu98145/comp-proof.sml (6%)csu00118/comp-proof.sml (5%)1027
csu98145/comp-proof.sml (6%)csd00391/comp-proof.sml (5%)10011
csu00136/comp-proof.sml (6%)csu00098/comp-proof.sml (3%)10010
csu00113/comp-proof.sml (6%)csu00097/comp-proof.sml (4%)10012
csu00139/comp-proof.sml (5%)csu00112/comp-proof.sml (4%)976
csu00112/comp-proof.sml (4%)csu00111/comp-proof.sml (5%)976
csu00112/comp-proof.sml (4%)csu00109/comp-proof.sml (5%)966
csu00112/comp-proof.sml (4%)csu00103/comp-proof.sml (6%)956
csu98145/comp-proof.sml (6%)csu00117/comp-proof.sml (4%)948
csu98145/comp-proof.sml (6%)csu00112/comp-proof.sml (4%)926
csu00118/comp-proof.sml (5%)csu00112/comp-proof.sml (4%)926
csu98145/comp-proof.sml (6%)csu00100/comp-proof.sml (3%)906
csu00139/comp-proof.sml (5%)csd00391/comp-proof.sml (5%)906
csu00111/comp-proof.sml (5%)csd00391/comp-proof.sml (5%)906
csu00102/comp-proof.sml (4%)csd00385/comp-proof.sml (8%)9010
csu98145/comp-proof.sml (5%)csu00139/comp-proof.sml (5%)875
csu98145/comp-proof.sml (5%)csu00111/comp-proof.sml (4%)875
csu00139/comp-proof.sml (5%)csu00118/comp-proof.sml (4%)875
csu00118/comp-proof.sml (4%)csu00111/comp-proof.sml (4%)875
csu00097/comp-proof.sml (3%)csd00391/comp-proof.sml (4%)829
meu99268/comp-proof.sml (6%)csd00385/comp-proof.sml (7%)818
csu00139/comp-proof.sml (4%)csu00117/comp-proof.sml (4%)815
csu00118/comp-proof.sml (4%)csu00117/comp-proof.sml (4%)815
csu00117/comp-proof.sml (4%)csu00112/comp-proof.sml (3%)815
csu00117/comp-proof.sml (4%)csu00111/comp-proof.sml (4%)815
csu00136/comp-proof.sml (5%)csu00111/comp-proof.sml (4%)808
csu00125/comp-proof.sml (14%)csd00387/comp-proof.sml (4%)808
csu00112/comp-proof.sml (3%)csu00102/comp-proof.sml (3%)806
csu00121/comp-proof.sml (2%)csu00111/comp-proof.sml (4%)756
csu00117/comp-proof.sml (3%)csu00109/comp-proof.sml (4%)755
csu00118/comp-proof.sml (4%)csu00102/comp-proof.sml (3%)725
csu00136/comp-proof.sml (4%)csd00379/comp-proof.sml (4%)707
csu00121/comp-proof.sml (2%)csu00096/comp-proof.sml (1%)706
csu00118/comp-proof.sml (3%)csu00109/comp-proof.sml (4%)705
csu00117/comp-proof.sml (3%)csd00391/comp-proof.sml (4%)705
csu00111/comp-proof.sml (3%)csu00096/comp-proof.sml (1%)706
csu00111/comp-proof.sml (3%)csd00379/comp-proof.sml (4%)707
csd00391/comp-proof.sml (4%)csd00378/comp-proof.sml (5%)704
csu98145/comp-proof.sml (4%)csu00109/comp-proof.sml (4%)694
csu00130/comp-proof.sml (3%)csd00379/comp-proof.sml (3%)6714
csu00139/comp-proof.sml (4%)csu00102/comp-proof.sml (3%)664
csu00118/comp-proof.sml (3%)csu00103/comp-proof.sml (4%)664
csu00117/comp-proof.sml (3%)csu00103/comp-proof.sml (4%)665
csu00117/comp-proof.sml (3%)csu00102/comp-proof.sml (3%)665
csu00111/comp-proof.sml (3%)csu00102/comp-proof.sml (3%)664
csu00109/comp-proof.sml (4%)csu00102/comp-proof.sml (3%)664
csu00103/comp-proof.sml (4%)csu00102/comp-proof.sml (3%)664
csu00136/comp-proof.sml (4%)ashankar/comp-proof.sml (3%)606
csu00122/comp-proof.sml (3%)csu00111/comp-proof.sml (3%)606
csu00111/comp-proof.sml (3%)ashankar/comp-proof.sml (3%)606
csd00379/comp-proof.sml (3%)ashankar/comp-proof.sml (3%)606
csu98145/comp-proof.sml (3%)csu00103/comp-proof.sml (3%)584
csu98145/comp-proof.sml (3%)csu00102/comp-proof.sml (2%)564
csu00136/comp-proof.sml (3%)csu00103/comp-proof.sml (3%)554
csu00131/comp-proof.sml (2%)csu00121/comp-proof.sml (1%)515
csu00131/comp-proof.sml (2%)csu00111/comp-proof.sml (2%)504
csu00131/comp-proof.sml (2%)csu00096/comp-proof.sml (1%)504
csu00122/comp-proof.sml (2%)csu00098/comp-proof.sml (1%)506
csu00118/comp-proof.sml (2%)csd00391/comp-proof.sml (2%)504
csu00118/comp-proof.sml (2%)csd00378/comp-proof.sml (3%)505
csu00113/comp-proof.sml (3%)csd00387/comp-proof.sml (2%)506
csu00113/comp-proof.sml (3%)csd00381/comp-proof.sml (6%)5011
csu00112/comp-proof.sml (2%)csd00391/comp-proof.sml (2%)504
csu00111/comp-proof.sml (2%)csu00098/comp-proof.sml (1%)506
csu00109/comp-proof.sml (3%)csd00391/comp-proof.sml (2%)504
csu00103/comp-proof.sml (3%)csu00098/comp-proof.sml (1%)503
csu00103/comp-proof.sml (3%)csd00391/comp-proof.sml (2%)504
csu00102/comp-proof.sml (2%)csd00391/comp-proof.sml (2%)504
csu00101/comp-proof.sml (2%)csd00382/comp-proof.sml (1%)503
csu00100/comp-proof.sml (2%)csu00098/comp-proof.sml (1%)503
csu00098/comp-proof.sml (1%)csd00379/comp-proof.sml (2%)506
csu00178/comp-proof.sml (2%)csd00379/comp-proof.sml (2%)477
csu00122/comp-proof.sml (2%)csu00112/comp-proof.sml (2%)436
csu00127/comp-proof.sml (2%)csd00385/comp-proof.sml (3%)425
meu99268/comp-proof.sml (3%)csu00102/comp-proof.sml (1%)404
meu99268/comp-proof.sml (3%)csu00100/comp-proof.sml (1%)408
csu00178/comp-proof.sml (2%)csu00130/comp-proof.sml (2%)407
csu00178/comp-proof.sml (2%)csu00124/comp-proof.sml (2%)405
csu00131/comp-proof.sml (1%)csu00125/comp-proof.sml (7%)405
csu00131/comp-proof.sml (1%)csu00097/comp-proof.sml (1%)405
csu00131/comp-proof.sml (1%)csd00391/comp-proof.sml (2%)404
csu00131/comp-proof.sml (1%)csd00387/comp-proof.sml (2%)405
csu00124/comp-proof.sml (2%)csd00379/comp-proof.sml (2%)407
csu00122/comp-proof.sml (2%)ashankar/comp-proof.sml (2%)404
csu00117/comp-proof.sml (1%)csd00378/comp-proof.sml (2%)403
csu00113/comp-proof.sml (2%)csd00375/comp-proof.sml (2%)4012
csu00112/comp-proof.sml (1%)csd00378/comp-proof.sml (2%)404
csu00102/comp-proof.sml (1%)csd00378/comp-proof.sml (2%)404
csu00098/comp-proof.sml (1%)ashankar/comp-proof.sml (2%)404
csd00391/comp-proof.sml (2%)csd00387/comp-proof.sml (2%)405
csd00381/comp-proof.sml (4%)csd00375/comp-proof.sml (2%)4010
csu99347/comp-proof.sml (5%)csu00136/comp-proof.sml (2%)307
csu99347/comp-proof.sml (5%)csu00121/comp-proof.sml (0%)304
csu00136/comp-proof.sml (2%)csu00121/comp-proof.sml (0%)307
csu99156/comp-proof.sml (2%)csu00178/comp-proof.sml (1%)294
csu99156/comp-proof.sml (2%)csu00140/comp-proof.sml (2%)295
csu99156/comp-proof.sml (2%)csd00375/comp-proof.sml (1%)295
csu00178/comp-proof.sml (1%)csu00140/comp-proof.sml (2%)295
csu00178/comp-proof.sml (1%)csd00375/comp-proof.sml (1%)295
csu00140/comp-proof.sml (2%)csd00375/comp-proof.sml (1%)295
csu00130/comp-proof.sml (1%)csd00378/comp-proof.sml (2%)295
csu00130/comp-proof.sml (1%)csu00122/comp-proof.sml (1%)277
csu00130/comp-proof.sml (1%)csu00109/comp-proof.sml (1%)277
csu00122/comp-proof.sml (1%)csu00109/comp-proof.sml (1%)275
csu00122/comp-proof.sml (1%)csu00100/comp-proof.sml (1%)274
csu00109/comp-proof.sml (1%)csd00379/comp-proof.sml (1%)277
csu00138/comp-proof.sml (1%)csu00137/comp-proof.sml (4%)243
meu99268/comp-proof.sml (1%)csd00389/comp-proof.sml (1%)214
csu98145/comp-proof.sml (1%)csu00178/comp-proof.sml (1%)216
csu98145/comp-proof.sml (1%)csu00128/comp-proof.sml (5%)213
csu00178/comp-proof.sml (1%)csu00128/comp-proof.sml (5%)216
csu00125/comp-proof.sml (3%)csu00122/comp-proof.sml (1%)185
csu00125/comp-proof.sml (3%)csd00382/comp-proof.sml (0%)185
csu00122/comp-proof.sml (1%)csd00382/comp-proof.sml (0%)184
csu00108/comp-proof.sml (0%)csu00096/comp-proof.sml (0%)165
csu00138/comp-proof.sml (0%)csu00100/comp-proof.sml (0%)153
Any errors encountered during this query are listed below.