Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/ami_wstd
Name
Last modified
Size
Description
Parent Directory
-
ami_wstd__84_26.min1.thm1
2017-02-06 12:46
919
ami_wstd__86_13.min1.thm1
2017-02-06 12:46
190
ami_wstd__90_48.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__92_41.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__96_41.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__99_34.min1.thm1
2017-02-06 12:46
472
ami_wstd__103_41.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__104_14.min1.thm1
2017-02-06 12:46
2.4K
ami_wstd__107_25.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__109_35.min1.thm1
2017-02-06 12:46
2.4K
ami_wstd__111_19.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__121_19.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__127_37.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__135_15.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__138_19.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__167_19.min1.thm1
2017-02-06 12:46
855
ami_wstd__168_19.min1.thm1
2017-02-06 12:46
855
ami_wstd__173_26.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__177_35.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__178_20.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__179_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__183_36.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__187_36.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__188_11.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__191_28.min1.thm1
2017-02-06 12:46
891
ami_wstd__200_21.min1.thm1
2017-02-06 12:46
2.0K
ami_wstd__210_21.min1.thm1
2017-02-06 12:46
2.0K
ami_wstd__217_27.min1.thm1
2017-02-06 12:46
891
ami_wstd__225_37.min1.thm1
2017-02-06 12:46
257
ami_wstd__226_57.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__228_20.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__229_19.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__245_15.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__246_29.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__253_23.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__255_19.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__258_17.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__261_19.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__265_17.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__269_18.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__270_21.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__271_19.min1.thm1
2017-02-06 12:46
858
ami_wstd__284_52.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__285_18.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__289_37.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__293_30.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__294_20.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__295_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__304_36.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__312_25.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__314_19.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__321_14.min1.thm1
2017-02-06 12:46
2.0K
ami_wstd__323_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__325_25.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__327_41.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__334_17.min1.thm1
2017-02-06 12:46
2.8K
ami_wstd__335_22.min1.thm1
2017-02-06 12:46
3.3K
ami_wstd__344_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__345_17.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__346_18.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__347_18.min1.thm1
2017-02-06 12:46
3.2K
ami_wstd__349_34.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__350_21.min1.thm1
2017-02-06 12:46
3.1K
ami_wstd__351_22.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__352_41.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__354_19.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__358_16.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__360_24.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__361_15.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__362_15.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__364_18.min1.thm1
2017-02-06 12:46
858
ami_wstd__366_35.min1.thm1
2017-02-06 12:46
3.5K
ami_wstd__368_47.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__369_61.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__370_17.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__375_18.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__384_14.min1.thm1
2017-02-06 12:46
2.0K
ami_wstd__386_19.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__388_23.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__390_39.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__392_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__395_19.min1.thm1
2017-02-06 12:46
858
ami_wstd__404_16.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__407_28.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__413_47.min1.thm1
2017-02-06 12:46
477
ami_wstd__422_20.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__425_27.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__426_26.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__427_19.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__428_19.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__429_24.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__430_24.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__432_21.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__434_35.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__435_31.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__444_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__445_26.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__446_19.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__447_34.min1.thm1
2017-02-06 12:46
4.1K
ami_wstd__450_34.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__451_30.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__452_25.min1.thm1
2017-02-06 12:46
2.7K
ami_wstd__454_23.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__473_18.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__476_69.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__480_22.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__487_42.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__488_20.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__489_40.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__496_16.min1.thm1
2017-02-06 12:46
838
ami_wstd__498_18.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__499_9.min1.thm1
2017-02-06 12:46
622
ami_wstd__521_28.min1.thm1
2017-02-06 12:46
262
ami_wstd__530_24.min1.thm1
2017-02-06 12:46
252
ami_wstd__548_23.min1.thm1
2017-02-06 12:46
461
ami_wstd__548_23.min1.thm1.tptp
2017-02-06 16:48
396
ami_wstd__555_15.min1.thm1
2017-02-06 12:46
723
ami_wstd__557_33.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__569_31.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__573_25.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__575_5.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__577_11.min1.thm1
2017-02-06 12:46
789
ami_wstd__579_29.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__580_21.min1.thm1
2017-02-06 12:46
2.9K
ami_wstd__596_33.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__597_50.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__601_21.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__610_14.min1.thm1
2017-02-06 12:46
341
ami_wstd__610_14.min1.thm1.tptp
2017-02-06 16:48
264
ami_wstd__611_25.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__615_17.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__616_20.min1.thm1
2017-02-06 12:46
912
ami_wstd__619_13.min1.thm1
2017-02-06 12:46
761
ami_wstd__621_19.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__631_49.min1.thm1
2017-02-06 12:46
820
ami_wstd__635_43.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__643_21.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__657_15.min1.thm1
2017-02-06 12:46
561
ami_wstd__677_37.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__681_43.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__697_50.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__706_19.min1.thm1
2017-02-06 12:46
862
ami_wstd__719_28.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__722_15.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__723_24.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__725_35.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__727_14.min1.thm1
2017-02-06 12:46
380
ami_wstd__727_14.min1.thm1.tptp
2017-02-06 16:48
298
ami_wstd__737_14.min1.thm1
2017-02-06 12:46
845
ami_wstd__738_15.min1.thm1
2017-02-06 12:46
910
ami_wstd__746_14.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__756_29.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__757_17.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__766_50.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__785_56.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__786_17.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__796_41.min1.thm1
2017-02-06 12:46
599
ami_wstd__797_37.min1.thm1
2017-02-06 12:46
401
ami_wstd__797_37.min1.thm1.tptp
2017-02-06 16:48
313
ami_wstd__798_64.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__807_14.min1.thm1
2017-02-06 12:46
579
ami_wstd__807_14.min1.thm1.tptp
2017-02-06 16:48
520
ami_wstd__844_11.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__878_48.min1.thm1
2017-02-06 12:46
816
ami_wstd__885_44.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__890_15.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__893_19.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__897_17.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__907_39.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__910_31.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__911_10.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__926_19.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__927_20.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__938_19.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__939_22.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__940_33.min1.thm1
2017-02-06 12:46
928
ami_wstd__941_24.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__968_54.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__976_15.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__978_22.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1015_36.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__1025_14.min1.thm1
2017-02-06 12:46
864
ami_wstd__1027_11.min1.thm1
2017-02-06 12:46
864
ami_wstd__1079_25.min1.thm1
2017-02-06 12:46
2.8K
ami_wstd__1082_16.min1.thm1
2017-02-06 12:46
807
ami_wstd__1083_17.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__1126_19.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1128_25.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1142_18.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1154_17.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1155_35.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1160_16.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1163_14.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__1164_35.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__1165_11.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1166_23.min1.thm1
2017-02-06 12:46
835
ami_wstd__1184_58.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1186_35.min1.thm1
2017-02-06 12:46
2.4K
ami_wstd__1187_29.min1.thm1
2017-02-06 12:46
2.8K
ami_wstd__1188_16.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1193_41.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1195_19.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1196_37.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1198_20.min1.thm1
2017-02-06 12:46
544
ami_wstd__1202_26.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1203_17.min1.thm1
2017-02-06 12:46
397
ami_wstd__1204_69.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1206_18.min1.thm1
2017-02-06 12:46
628
ami_wstd__1209_33.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1210_27.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1211_23.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1212_66.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1213_27.min1.thm1
2017-02-06 12:46
438
ami_wstd__1216_21.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1217_25.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1218_31.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1219_17.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1238_34.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__1246_18.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__1248_19.min1.thm1
2017-02-06 12:46
668
ami_wstd__1250_58.min1.thm1
2017-02-06 12:46
971
ami_wstd__1252_15.min1.thm1
2017-02-06 12:46
493
ami_wstd__1254_12.min1.thm1
2017-02-06 12:46
627
ami_wstd__1267_15.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1290_65.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1296_64.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1297_21.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1300_26.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1301_17.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__1320_27.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1321_32.min1.thm1
2017-02-06 12:46
3.5K
ami_wstd__1322_17.min1.thm1
2017-02-06 12:46
1.9K
ami_wstd__1342_26.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1346_37.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1347_25.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1348_24.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1349_19.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__1351_17.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1363_35.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1364_23.min1.thm1
2017-02-06 12:46
1.2K
ami_wstd__1365_20.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1367_23.min1.thm1
2017-02-06 12:46
1.1K
ami_wstd__1368_14.min1.thm1
2017-02-06 12:46
2.6K
ami_wstd__1373_31.min1.thm1
2017-02-06 12:46
2.3K
ami_wstd__1374_38.min1.thm1
2017-02-06 12:46
3.1K
ami_wstd__1376_15.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__1377_15.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1378_21.min1.thm1
2017-02-06 12:46
2.4K
ami_wstd__1383_19.min1.thm1
2017-02-06 12:46
595
ami_wstd__1399_29.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1400_19.min1.thm1
2017-02-06 12:46
1.4K
ami_wstd__1409_22.min1.thm1
2017-02-06 12:46
2.7K
ami_wstd__1415_37.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__1416_32.min1.thm1
2017-02-06 12:46
1.5K
ami_wstd__1417_18.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1418_33.min1.thm1
2017-02-06 12:46
1.0K
ami_wstd__1452_34.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1455_15.min1.thm1
2017-02-06 12:46
667
ami_wstd__1472_18.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__1490_34.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1493_18.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1520_18.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1542_16.min1.thm1
2017-02-06 12:46
479
ami_wstd__1545_37.min1.thm1
2017-02-06 12:46
267
ami_wstd__1551_37.min1.thm1
2017-02-06 12:46
267
ami_wstd__1559_17.min1.thm1
2017-02-06 12:46
378
ami_wstd__1559_17.min1.thm1.tptp
2017-02-06 16:48
324
ami_wstd__1561_16.min1.thm1
2017-02-06 12:46
868
ami_wstd__1562_49.min1.thm1
2017-02-06 12:46
892
ami_wstd__1564_15.min1.thm1
2017-02-06 12:46
465
ami_wstd__1565_36.min1.thm1
2017-02-06 12:46
1.3K
ami_wstd__1570_17.min1.thm1
2017-02-06 12:46
970
ami_wstd__1571_16.min1.thm1
2017-02-06 12:46
1.8K
ami_wstd__1572_15.min1.thm1
2017-02-06 12:46
1.7K
ami_wstd__1573_17.min1.thm1
2017-02-06 12:46
1.6K
ami_wstd__1593_11.min1.thm1
2017-02-06 12:46
2.2K
ami_wstd__1599_41.min1.thm1
2017-02-06 12:46
2.5K
ami_wstd__1600_11.min1.thm1
2017-02-06 12:46
2.1K
ami_wstd__1607_28.min1.thm1
2017-02-06 12:46
3.0K
ami_wstd__1608_11.min1.thm1
2017-02-06 12:46
2.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80