Index of /~mptp/1147/MPTP2/ilp0/pre_ff
Name
Last modified
Size
Description
Parent Directory
-
pre_ff__45_37.min1.thm1
2017-02-06 12:45
444
pre_ff__50_18.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__50_18.min1.thm1.tptp
2017-02-06 16:47
1.8K
pre_ff__65_19.min1.thm1
2017-02-06 12:45
1.5K
pre_ff__77_28.min1.thm1
2017-02-06 12:45
1.6K
pre_ff__78_11.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__80_50.min1.thm1
2017-02-06 12:45
2.2K
pre_ff__82_11.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__84_35.min1.thm1
2017-02-06 12:45
440
pre_ff__85_61.min1.thm1
2017-02-06 12:45
2.1K
pre_ff__88_60.min1.thm1
2017-02-06 12:45
2.9K
pre_ff__90_48.min1.thm1
2017-02-06 12:45
2.1K
pre_ff__94_14.min1.thm1
2017-02-06 12:45
1.6K
pre_ff__103_31.min1.thm1
2017-02-06 12:45
733
pre_ff__104_11.min1.thm1
2017-02-06 12:45
527
pre_ff__114_20.min1.thm1
2017-02-06 12:45
548
pre_ff__115_21.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__116_19.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__117_21.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__118_17.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__127_23.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__128_21.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__129_21.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__130_25.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__131_17.min1.thm1
2017-02-06 12:45
548
pre_ff__140_26.min1.thm1
2017-02-06 12:45
658
pre_ff__142_26.min1.thm1
2017-02-06 12:45
678
pre_ff__146_30.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__148_28.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__150_20.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__152_41.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__153_31.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__155_31.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__156_31.min1.thm1
2017-02-06 12:45
949
pre_ff__157_44.min1.thm1
2017-02-06 12:45
2.0K
pre_ff__158_42.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__160_31.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__161_26.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__162_31.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__166_23.min1.thm1
2017-02-06 12:45
734
pre_ff__167_38.min1.thm1
2017-02-06 12:45
1.9K
pre_ff__168_61.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__171_21.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__172_20.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__174_20.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__176_20.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__179_20.min1.thm1
2017-02-06 12:45
639
pre_ff__180_17.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__189_28.min1.thm1
2017-02-06 12:45
731
pre_ff__190_23.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__191_23.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__196_12.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__197_17.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__198_22.min1.thm1
2017-02-06 12:45
1.6K
pre_ff__202_16.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__203_40.min1.thm1
2017-02-06 12:45
962
pre_ff__204_49.min1.thm1
2017-02-06 12:45
528
pre_ff__205_16.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__206_17.min1.thm1
2017-02-06 12:45
571
pre_ff__214_41.min1.thm1
2017-02-06 12:45
224
pre_ff__215_22.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__217_22.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__218_8.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__219_17.min1.thm1
2017-02-06 12:45
2.2K
pre_ff__230_24.min1.thm1
2017-02-06 12:45
575
pre_ff__240_19.min1.thm1
2017-02-06 12:45
460
pre_ff__241_18.min1.thm1
2017-02-06 12:45
774
pre_ff__243_24.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__245_32.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__258_19.min1.thm1
2017-02-06 12:45
587
pre_ff__275_19.min1.thm1
2017-02-06 12:45
2.5K
pre_ff__281_21.min1.thm1
2017-02-06 12:45
2.5K
pre_ff__285_19.min1.thm1
2017-02-06 12:45
3.0K
pre_ff__286_30.min1.thm1
2017-02-06 12:45
3.0K
pre_ff__287_21.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__288_22.min1.thm1
2017-02-06 12:45
2.6K
pre_ff__289_16.min1.thm1
2017-02-06 12:45
765
pre_ff__291_44.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__292_15.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__294_22.min1.thm1
2017-02-06 12:45
2.0K
pre_ff__295_20.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__297_19.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__298_14.min1.thm1
2017-02-06 12:45
559
pre_ff__301_25.min1.thm1
2017-02-06 12:45
1.5K
pre_ff__307_13.min1.thm1
2017-02-06 12:45
274
pre_ff__308_37.min1.thm1
2017-02-06 12:45
460
pre_ff__324_18.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__325_23.min1.thm1
2017-02-06 12:45
2.8K
pre_ff__329_14.min1.thm1
2017-02-06 12:45
2.5K
pre_ff__331_18.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__333_17.min1.thm1
2017-02-06 12:45
2.0K
pre_ff__344_65.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__348_14.min1.thm1
2017-02-06 12:45
2.5K
pre_ff__350_32.min1.thm1
2017-02-06 12:45
2.2K
pre_ff__360_51.min1.thm1
2017-02-06 12:45
576
pre_ff__362_29.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__363_29.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__364_14.min1.thm1
2017-02-06 12:45
414
pre_ff__374_26.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__375_16.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__387_33.min1.thm1
2017-02-06 12:45
243
pre_ff__390_45.min1.thm1
2017-02-06 12:45
2.5K
pre_ff__391_36.min1.thm1
2017-02-06 12:45
723
pre_ff__396_20.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__419_36.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__421_53.min1.thm1
2017-02-06 12:45
1.4K
pre_ff__428_14.min1.thm1
2017-02-06 12:45
1.0K
pre_ff__431_48.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__440_13.min1.thm1
2017-02-06 12:45
364
pre_ff__455_13.min1.thm1
2017-02-06 12:45
129
pre_ff__458_57.min1.thm1
2017-02-06 12:45
402
pre_ff__461_14.min1.thm1
2017-02-06 12:45
429
pre_ff__463_42.min1.thm1
2017-02-06 12:45
460
pre_ff__470_48.min1.thm1
2017-02-06 12:45
251
pre_ff__480_24.min1.thm1
2017-02-06 12:45
355
pre_ff__480_24.min1.thm1.tptp
2017-02-06 16:47
273
pre_ff__491_25.min1.thm1
2017-02-06 12:45
357
pre_ff__491_25.min1.thm1.tptp
2017-02-06 16:47
275
pre_ff__503_17.min1.thm1
2017-02-06 12:45
1.6K
pre_ff__504_29.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__507_11.min1.thm1
2017-02-06 12:45
181
pre_ff__509_19.min1.thm1
2017-02-06 12:45
2.7K
pre_ff__513_14.min1.thm1
2017-02-06 12:45
429
pre_ff__522_70.min1.thm1
2017-02-06 12:45
2.6K
pre_ff__524_40.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__526_51.min1.thm1
2017-02-06 12:45
1.5K
pre_ff__527_44.min1.thm1
2017-02-06 12:45
2.7K
pre_ff__538_41.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__541_28.min1.thm1
2017-02-06 12:45
711
pre_ff__557_41.min1.thm1
2017-02-06 12:45
2.4K
pre_ff__560_28.min1.thm1
2017-02-06 12:45
711
pre_ff__567_42.min1.thm1
2017-02-06 12:45
561
pre_ff__568_27.min1.thm1
2017-02-06 12:45
2.2K
pre_ff__574_32.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__577_16.min1.thm1
2017-02-06 12:45
1.3K
pre_ff__583_18.min1.thm1
2017-02-06 12:45
1.9K
pre_ff__585_16.min1.thm1
2017-02-06 12:45
1.2K
pre_ff__589_19.min1.thm1
2017-02-06 12:45
1.8K
pre_ff__612_14.min1.thm1
2017-02-06 12:45
1.1K
pre_ff__617_35.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__627_24.min1.thm1
2017-02-06 12:45
1.7K
pre_ff__651_39.min1.thm1
2017-02-06 12:45
574
pre_ff__651_39.min1.thm1.tptp
2017-02-06 16:47
507
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80