Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/normform
Name
Last modified
Size
Description
Parent Directory
-
normform__641_12.min1.thm1.tptp
2017-02-06 16:47
727
normform__629_13.min1.thm1.tptp
2017-02-06 16:47
379
normform__584_74.min1.thm1.tptp
2017-02-06 16:47
1.1K
normform__515_17.min1.thm1.tptp
2017-02-06 16:47
683
normform__1214_11.min1.thm1.tptp
2017-02-06 16:47
376
normform__437_41.min1.thm1.tptp
2017-02-06 16:47
732
normform__587_16.min1.thm1.tptp
2017-02-06 16:47
363
normform__465_14.min1.thm1.tptp
2017-02-06 16:47
797
normform__1174_52.min1.thm1.tptp
2017-02-06 16:47
706
normform__1116_14.min1.thm1.tptp
2017-02-06 16:47
654
normform__80_34.min1.thm1.tptp
2017-02-06 16:47
956
normform__660_15.min1.thm1.tptp
2017-02-06 16:47
278
normform__351_15.min1.thm1.tptp
2017-02-06 16:47
1.1K
normform__600_28.min1.thm1.tptp
2017-02-06 16:47
236
normform__440_16.min1.thm1.tptp
2017-02-06 16:47
421
normform__1346_28.min1.thm1.tptp
2017-02-06 16:47
243
normform__1283_62.min1.thm1.tptp
2017-02-06 16:47
771
normform__697_29.min1.thm1.tptp
2017-02-06 16:47
844
normform__72_31.min1.thm1.tptp
2017-02-06 16:47
922
normform__700_46.min1.thm1.tptp
2017-02-06 16:47
1.0K
normform__548_15.min1.thm1.tptp
2017-02-06 16:47
298
normform__1339_50.min1.thm1.tptp
2017-02-06 16:47
702
normform__659_15.min1.thm1.tptp
2017-02-06 16:47
278
normform__647_16.min1.thm1.tptp
2017-02-06 16:47
422
normform__1012_17.min1.thm1
2017-02-06 12:46
947
normform__412_31.min1.thm1
2017-02-06 12:46
1.4K
normform__1268_29.min1.thm1
2017-02-06 12:46
1.8K
normform__675_14.min1.thm1
2017-02-06 12:46
966
normform__379_51.min1.thm1
2017-02-06 12:46
4.9K
normform__449_29.min1.thm1
2017-02-06 12:46
459
normform__1066_22.min1.thm1
2017-02-06 12:46
2.1K
normform__264_13.min1.thm1
2017-02-06 12:46
2.5K
normform__54_15.min1.thm1
2017-02-06 12:46
1.6K
normform__729_42.min1.thm1
2017-02-06 12:46
1.0K
normform__541_60.min1.thm1
2017-02-06 12:46
1.2K
normform__958_20.min1.thm1
2017-02-06 12:46
2.2K
normform__406_13.min1.thm1
2017-02-06 12:46
191
normform__1297_76.min1.thm1
2017-02-06 12:46
860
normform__348_9.min1.thm1
2017-02-06 12:46
2.0K
normform__809_24.min1.thm1
2017-02-06 12:46
424
normform__632_28.min1.thm1
2017-02-06 12:46
697
normform__644_35.min1.thm1
2017-02-06 12:46
1.0K
normform__310_39.min1.thm1
2017-02-06 12:46
3.7K
normform__1296_61.min1.thm1
2017-02-06 12:46
579
normform__1282_69.min1.thm1
2017-02-06 12:46
1.2K
normform__875_27.min1.thm1
2017-02-06 12:46
1.0K
normform__763_18.min1.thm1
2017-02-06 12:46
1.6K
normform__277_39.min1.thm1
2017-02-06 12:46
2.1K
normform__1317_71.min1.thm1
2017-02-06 12:46
1.8K
normform__126_34.min1.thm1
2017-02-06 12:46
2.1K
normform__889_16.min1.thm1
2017-02-06 12:46
1.1K
normform__891_62.min1.thm1
2017-02-06 12:46
2.2K
normform__1247_36.min1.thm1
2017-02-06 12:46
1.7K
normform__287_21.min1.thm1
2017-02-06 12:46
1.3K
normform__480_19.min1.thm1
2017-02-06 12:46
784
normform__1270_28.min1.thm1
2017-02-06 12:46
1.5K
normform__792_18.min1.thm1
2017-02-06 12:46
879
normform__776_48.min1.thm1
2017-02-06 12:46
2.2K
normform__1000_39.min1.thm1
2017-02-06 12:46
1.9K
normform__1042_16.min1.thm1
2017-02-06 12:46
242
normform__61_13.min1.thm1
2017-02-06 12:46
1.6K
normform__1183_62.min1.thm1
2017-02-06 12:46
1.5K
normform__1202_14.min1.thm1
2017-02-06 12:46
692
normform__452_15.min1.thm1
2017-02-06 12:46
919
normform__629_13.min1.thm1
2017-02-06 12:46
443
normform__200_66.min1.thm1
2017-02-06 12:46
2.5K
normform__532_27.min1.thm1
2017-02-06 12:46
1.9K
normform__1257_52.min1.thm1
2017-02-06 12:46
1.1K
normform__1025_23.min1.thm1
2017-02-06 12:46
1.4K
normform__49_15.min1.thm1
2017-02-06 12:46
1.6K
normform__1327_57.min1.thm1
2017-02-06 12:46
1.3K
normform__836_24.min1.thm1
2017-02-06 12:46
2.2K
normform__1213_14.min1.thm1
2017-02-06 12:46
857
normform__148_42.min1.thm1
2017-02-06 12:46
1.2K
normform__960_20.min1.thm1
2017-02-06 12:46
2.0K
normform__120_34.min1.thm1
2017-02-06 12:46
2.1K
normform__1106_14.min1.thm1
2017-02-06 12:46
1.2K
normform__607_14.min1.thm1
2017-02-06 12:46
1.2K
normform__828_20.min1.thm1
2017-02-06 12:46
889
normform__641_12.min1.thm1
2017-02-06 12:46
789
normform__1340_17.min1.thm1
2017-02-06 12:46
522
normform__1220_62.min1.thm1
2017-02-06 12:46
1.5K
normform__1279_62.min1.thm1
2017-02-06 12:46
1.5K
normform__1196_34.min1.thm1
2017-02-06 12:46
2.4K
normform__410_26.min1.thm1
2017-02-06 12:46
2.7K
normform__454_36.min1.thm1
2017-02-06 12:46
842
normform__1232_22.min1.thm1
2017-02-06 12:46
1.2K
normform__894_16.min1.thm1
2017-02-06 12:46
2.8K
normform__319_64.min1.thm1
2017-02-06 12:46
2.3K
normform__1250_14.min1.thm1
2017-02-06 12:46
692
normform__855_62.min1.thm1
2017-02-06 12:46
2.4K
normform__846_21.min1.thm1
2017-02-06 12:46
2.0K
normform__391_14.min1.thm1
2017-02-06 12:46
1.6K
normform__50_16.min1.thm1
2017-02-06 12:46
2.4K
normform__631_18.min1.thm1
2017-02-06 12:46
595
normform__508_17.min1.thm1
2017-02-06 12:46
1.4K
normform__1081_29.min1.thm1
2017-02-06 12:46
1.8K
normform__1234_14.min1.thm1
2017-02-06 12:46
456
normform__674_45.min1.thm1
2017-02-06 12:46
1.3K
normform__515_17.min1.thm1
2017-02-06 12:46
737
normform__409_43.min1.thm1
2017-02-06 12:46
1.4K
normform__104_29.min1.thm1
2017-02-06 12:46
1.7K
normform__1210_44.min1.thm1
2017-02-06 12:46
1.2K
normform__1352_13.min1.thm1
2017-02-06 12:46
1.6K
normform__48_13.min1.thm1
2017-02-06 12:46
1.6K
normform__155_47.min1.thm1
2017-02-06 12:46
1.5K
normform__925_59.min1.thm1
2017-02-06 12:46
1.1K
normform__1186_14.min1.thm1
2017-02-06 12:46
456
normform__527_44.min1.thm1
2017-02-06 12:46
2.3K
normform__802_31.min1.thm1
2017-02-06 12:46
1.6K
normform__138_13.min1.thm1
2017-02-06 12:46
1.7K
normform__890_16.min1.thm1
2017-02-06 12:46
2.3K
normform__485_22.min1.thm1
2017-02-06 12:46
1.4K
normform__507_24.min1.thm1
2017-02-06 12:46
1.0K
normform__249_31.min1.thm1
2017-02-06 12:46
1.1K
normform__1055_29.min1.thm1
2017-02-06 12:46
1.7K
normform__567_27.min1.thm1
2017-02-06 12:46
1.0K
normform__224_46.min1.thm1
2017-02-06 12:46
3.5K
normform__921_19.min1.thm1
2017-02-06 12:46
1.3K
normform__73_17.min1.thm1
2017-02-06 12:46
1.4K
normform__1299_63.min1.thm1
2017-02-06 12:46
579
normform__1354_17.min1.thm1
2017-02-06 12:46
1.0K
normform__936_34.min1.thm1
2017-02-06 12:46
884
normform__584_74.min1.thm1
2017-02-06 12:46
1.1K
normform__840_32.min1.thm1
2017-02-06 12:46
1.6K
normform__905_22.min1.thm1
2017-02-06 12:46
1.3K
normform__969_61.min1.thm1
2017-02-06 12:46
2.1K
normform__926_54.min1.thm1
2017-02-06 12:46
1.5K
normform__554_24.min1.thm1
2017-02-06 12:46
2.0K
normform__626_18.min1.thm1
2017-02-06 12:46
612
normform__214_27.min1.thm1
2017-02-06 12:46
1.7K
normform__179_30.min1.thm1
2017-02-06 12:46
662
normform__506_19.min1.thm1
2017-02-06 12:46
1.4K
normform__850_30.min1.thm1
2017-02-06 12:46
811
normform__437_41.min1.thm1
2017-02-06 12:46
792
normform__1259_36.min1.thm1
2017-02-06 12:46
1.4K
normform__1009_21.min1.thm1
2017-02-06 12:46
1.2K
normform__834_36.min1.thm1
2017-02-06 12:46
3.1K
normform__553_33.min1.thm1
2017-02-06 12:46
1.7K
normform__1115_38.min1.thm1
2017-02-06 12:46
1.7K
normform__1285_23.min1.thm1
2017-02-06 12:46
1.3K
normform__633_33.min1.thm1
2017-02-06 12:46
523
normform__453_26.min1.thm1
2017-02-06 12:46
617
normform__1214_11.min1.thm1
2017-02-06 12:46
450
normform__465_14.min1.thm1
2017-02-06 12:46
876
normform__93_29.min1.thm1
2017-02-06 12:46
1.7K
normform__587_16.min1.thm1
2017-02-06 12:46
441
normform__666_13.min1.thm1
2017-02-06 12:46
131
normform__58_13.min1.thm1
2017-02-06 12:46
1.6K
normform__1286_23.min1.thm1
2017-02-06 12:46
827
normform__1095_22.min1.thm1
2017-02-06 12:46
1.7K
normform__1301_76.min1.thm1
2017-02-06 12:46
860
normform__271_8.min1.thm1
2017-02-06 12:46
725
normform__1076_13.min1.thm1
2017-02-06 12:46
1.4K
normform__1091_23.min1.thm1
2017-02-06 12:46
2.0K
normform__953_22.min1.thm1
2017-02-06 12:46
1.4K
normform__373_20.min1.thm1
2017-02-06 12:46
657
normform__490_40.min1.thm1
2017-02-06 12:46
1.5K
normform__514_19.min1.thm1
2017-02-06 12:46
1.4K
normform__289_50.min1.thm1
2017-02-06 12:46
2.5K
normform__329_17.min1.thm1
2017-02-06 12:46
1.8K
normform__1323_58.min1.thm1
2017-02-06 12:46
922
normform__594_14.min1.thm1
2017-02-06 12:46
394
normform__157_28.min1.thm1
2017-02-06 12:46
1.4K
normform__833_22.min1.thm1
2017-02-06 12:46
1.1K
normform__985_28.min1.thm1
2017-02-06 12:46
1.4K
normform__381_23.min1.thm1
2017-02-06 12:46
1.8K
normform__45_13.min1.thm1
2017-02-06 12:46
468
normform__1223_11.min1.thm1
2017-02-06 12:46
911
normform__1010_38.min1.thm1
2017-02-06 12:46
1.8K
normform__634_64.min1.thm1
2017-02-06 12:46
743
normform__1266_25.min1.thm1
2017-02-06 12:46
1.7K
normform__1329_15.min1.thm1
2017-02-06 12:46
1.6K
normform__336_17.min1.thm1
2017-02-06 12:46
1.8K
normform__1287_11.min1.thm1
2017-02-06 12:46
709
normform__664_19.min1.thm1
2017-02-06 12:46
1.1K
normform__416_20.min1.thm1
2017-02-06 12:46
2.6K
normform__1063_24.min1.thm1
2017-02-06 12:46
1.7K
normform__756_16.min1.thm1
2017-02-06 12:46
362
normform__1271_23.min1.thm1
2017-02-06 12:46
1.3K
normform__537_17.min1.thm1
2017-02-06 12:46
1.7K
normform__1174_52.min1.thm1
2017-02-06 12:46
737
normform__964_28.min1.thm1
2017-02-06 12:46
763
normform__386_63.min1.thm1
2017-02-06 12:46
3.4K
normform__1267_25.min1.thm1
2017-02-06 12:46
1.2K
normform__1163_22.min1.thm1
2017-02-06 12:46
2.4K
normform__1116_14.min1.thm1
2017-02-06 12:46
721
normform__798_29.min1.thm1
2017-02-06 12:46
860
normform__524_34.min1.thm1
2017-02-06 12:46
2.1K
normform__844_17.min1.thm1
2017-02-06 12:46
240
normform__377_19.min1.thm1
2017-02-06 12:46
3.1K
normform__288_35.min1.thm1
2017-02-06 12:46
1.9K
normform__718_32.min1.thm1
2017-02-06 12:46
1.4K
normform__526_37.min1.thm1
2017-02-06 12:46
2.6K
normform__80_34.min1.thm1
2017-02-06 12:46
1.0K
normform__893_16.min1.thm1
2017-02-06 12:46
2.1K
normform__660_15.min1.thm1
2017-02-06 12:46
356
normform__907_26.min1.thm1
2017-02-06 12:46
2.4K
normform__906_42.min1.thm1
2017-02-06 12:46
1.4K
normform__156_33.min1.thm1
2017-02-06 12:46
1.7K
normform__351_15.min1.thm1
2017-02-06 12:46
1.1K
normform__344_47.min1.thm1
2017-02-06 12:46
550
normform__1211_28.min1.thm1
2017-02-06 12:46
2.1K
normform__499_19.min1.thm1
2017-02-06 12:46
1.3K
normform__1264_9.min1.thm1
2017-02-06 12:46
1.3K
normform__1056_35.min1.thm1
2017-02-06 12:46
2.5K
normform__420_14.min1.thm1
2017-02-06 12:46
464
normform__1265_27.min1.thm1
2017-02-06 12:46
1.3K
normform__1269_34.min1.thm1
2017-02-06 12:46
2.2K
normform__943_24.min1.thm1
2017-02-06 12:46
1.5K
normform__1199_38.min1.thm1
2017-02-06 12:46
1.7K
normform__402_37.min1.thm1
2017-02-06 12:46
550
normform__685_17.min1.thm1
2017-02-06 12:46
1.5K
normform__482_22.min1.thm1
2017-02-06 12:46
1.4K
normform__771_19.min1.thm1
2017-02-06 12:46
914
normform__568_14.min1.thm1
2017-02-06 12:46
1.5K
normform__278_30.min1.thm1
2017-02-06 12:46
1.7K
normform__1002_68.min1.thm1
2017-02-06 12:46
2.2K
normform__149_11.min1.thm1
2017-02-06 12:46
2.0K
normform__158_40.min1.thm1
2017-02-06 12:46
2.1K
normform__730_17.min1.thm1
2017-02-06 12:46
625
normform__483_19.min1.thm1
2017-02-06 12:46
784
normform__978_40.min1.thm1
2017-02-06 12:46
1.4K
normform__455_16.min1.thm1
2017-02-06 12:46
418
normform__378_43.min1.thm1
2017-02-06 12:46
3.8K
normform__1031_17.min1.thm1
2017-02-06 12:46
2.2K
normform__375_17.min1.thm1
2017-02-06 12:46
826
normform__1244_32.min1.thm1
2017-02-06 12:46
2.3K
normform__440_16.min1.thm1
2017-02-06 12:46
499
normform__551_55.min1.thm1
2017-02-06 12:46
1.7K
normform__979_17.min1.thm1
2017-02-06 12:46
1.1K
normform__1230_62.min1.thm1
2017-02-06 12:46
1.5K
normform__600_28.min1.thm1
2017-02-06 12:46
313
normform__957_19.min1.thm1
2017-02-06 12:46
2.4K
normform__692_60.min1.thm1
2017-02-06 12:46
1.4K
normform__585_18.min1.thm1
2017-02-06 12:46
905
normform__1030_42.min1.thm1
2017-02-06 12:46
2.1K
normform__311_17.min1.thm1
2017-02-06 12:46
2.9K
normform__1246_29.min1.thm1
2017-02-06 12:46
1.1K
normform__372_22.min1.thm1
2017-02-06 12:46
537
normform__1067_32.min1.thm1
2017-02-06 12:46
1.7K
normform__1324_41.min1.thm1
2017-02-06 12:46
1.3K
normform__1089_17.min1.thm1
2017-02-06 12:46
1.9K
normform__999_70.min1.thm1
2017-02-06 12:46
952
normform__88_29.min1.thm1
2017-02-06 12:46
1.7K
normform__817_26.min1.thm1
2017-02-06 12:46
1.6K
normform__693_14.min1.thm1
2017-02-06 12:46
1.1K
normform__806_31.min1.thm1
2017-02-06 12:46
1.6K
normform__790_18.min1.thm1
2017-02-06 12:46
1.3K
normform__536_30.min1.thm1
2017-02-06 12:46
2.0K
normform__62_15.min1.thm1
2017-02-06 12:46
1.6K
normform__1346_28.min1.thm1
2017-02-06 12:46
323
normform__683_41.min1.thm1
2017-02-06 12:46
1.4K
normform__643_64.min1.thm1
2017-02-06 12:46
1.3K
normform__335_47.min1.thm1
2017-02-06 12:46
550
normform__1283_62.min1.thm1
2017-02-06 12:46
845
normform__55_16.min1.thm1
2017-02-06 12:46
2.4K
normform__747_22.min1.thm1
2017-02-06 12:46
1.1K
normform__1107_38.min1.thm1
2017-02-06 12:46
1.8K
normform__956_20.min1.thm1
2017-02-06 12:46
1.9K
normform__606_75.min1.thm1
2017-02-06 12:46
1.2K
normform__284_78.min1.thm1
2017-02-06 12:46
2.5K
normform__212_24.min1.thm1
2017-02-06 12:46
1.7K
normform__199_26.min1.thm1
2017-02-06 12:46
2.6K
normform__1027_28.min1.thm1
2017-02-06 12:46
1.9K
normform__309_53.min1.thm1
2017-02-06 12:46
3.3K
normform__1347_52.min1.thm1
2017-02-06 12:46
892
normform__1200_48.min1.thm1
2017-02-06 12:46
2.2K
normform__649_13.min1.thm1
2017-02-06 12:46
131
normform__1162_33.min1.thm1
2017-02-06 12:46
2.4K
normform__639_64.min1.thm1
2017-02-06 12:46
1.3K
normform__109_29.min1.thm1
2017-02-06 12:46
1.7K
normform__1272_17.min1.thm1
2017-02-06 12:46
1.8K
normform__1198_31.min1.thm1
2017-02-06 12:46
1.8K
normform__486_53.min1.thm1
2017-02-06 12:46
2.7K
normform__295_14.min1.thm1
2017-02-06 12:46
792
normform__1001_26.min1.thm1
2017-02-06 12:46
2.6K
normform__1262_22.min1.thm1
2017-02-06 12:46
2.6K
normform__736_41.min1.thm1
2017-02-06 12:46
1.0K
normform__464_58.min1.thm1
2017-02-06 12:46
942
normform__1194_70.min1.thm1
2017-02-06 12:46
1.7K
normform__141_13.min1.thm1
2017-02-06 12:46
1.7K
normform__1300_61.min1.thm1
2017-02-06 12:46
579
normform__1155_36.min1.thm1
2017-02-06 12:46
2.4K
normform__928_21.min1.thm1
2017-02-06 12:46
501
normform__937_17.min1.thm1
2017-02-06 12:46
1.2K
normform__924_54.min1.thm1
2017-02-06 12:46
1.3K
normform__625_64.min1.thm1
2017-02-06 12:46
1.1K
normform__1197_35.min1.thm1
2017-02-06 12:46
1.9K
normform__1350_63.min1.thm1
2017-02-06 12:46
1.5K
normform__799_39.min1.thm1
2017-02-06 12:46
1.9K
normform__250_23.min1.thm1
2017-02-06 12:46
1.1K
normform__900_24.min1.thm1
2017-02-06 12:46
1.5K
normform__240_16.min1.thm1
2017-02-06 12:46
1.9K
normform__697_29.min1.thm1
2017-02-06 12:46
856
normform__663_47.min1.thm1
2017-02-06 12:46
1.1K
normform__1245_33.min1.thm1
2017-02-06 12:46
1.7K
normform__411_25.min1.thm1
2017-02-06 12:46
2.7K
normform__748_48.min1.thm1
2017-02-06 12:46
1.6K
normform__159_30.min1.thm1
2017-02-06 12:46
1.7K
normform__495_14.min1.thm1
2017-02-06 12:46
1.6K
normform__1304_18.min1.thm1
2017-02-06 12:46
743
normform__1152_49.min1.thm1
2017-02-06 12:46
2.6K
normform__72_31.min1.thm1
2017-02-06 12:46
1.0K
normform__307_68.min1.thm1
2017-02-06 12:46
1.4K
normform__1090_21.min1.thm1
2017-02-06 12:46
1.8K
normform__548_15.min1.thm1
2017-02-06 12:46
368
normform__388_19.min1.thm1
2017-02-06 12:46
1.0K
normform__762_13.min1.thm1
2017-02-06 12:46
1.0K
normform__1093_20.min1.thm1
2017-02-06 12:46
2.1K
normform__270_40.min1.thm1
2017-02-06 12:46
1.6K
normform__700_46.min1.thm1
2017-02-06 12:46
1.0K
normform__862_32.min1.thm1
2017-02-06 12:46
1.6K
normform__175_12.min1.thm1
2017-02-06 12:46
2.5K
normform__706_32.min1.thm1
2017-02-06 12:46
1.7K
normform__286_23.min1.thm1
2017-02-06 12:46
1.9K
normform__1212_24.min1.thm1
2017-02-06 12:46
1.6K
normform__555_17.min1.thm1
2017-02-06 12:46
1.6K
normform__1339_50.min1.thm1
2017-02-06 12:46
733
normform__1043_16.min1.thm1
2017-02-06 12:46
1.6K
normform__53_13.min1.thm1
2017-02-06 12:46
1.6K
normform__328_47.min1.thm1
2017-02-06 12:46
550
normform__659_15.min1.thm1
2017-02-06 12:46
356
normform__1248_47.min1.thm1
2017-02-06 12:46
2.2K
normform__1242_70.min1.thm1
2017-02-06 12:46
1.7K
normform__647_16.min1.thm1
2017-02-06 12:46
508
normform__438_18.min1.thm1
2017-02-06 12:46
871
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80