Index of /~mptp/1147/MPTP2/ilp0/bhsp_4
Name
Last modified
Size
Description
Parent Directory
-
bhsp_4__74_48.min1.thm1
2017-02-06 12:45
894
bhsp_4__75_26.min1.thm1
2017-02-06 12:45
734
bhsp_4__75_26.min1.thm1.tptp
2017-02-06 16:48
657
bhsp_4__77_11.min1.thm1
2017-02-06 12:45
508
bhsp_4__77_11.min1.thm1.tptp
2017-02-06 16:48
426
bhsp_4__105_27.min1.thm1
2017-02-06 12:45
2.0K
bhsp_4__106_25.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__135_29.min1.thm1
2017-02-06 12:45
2.0K
bhsp_4__136_25.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__158_19.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__170_56.min1.thm1
2017-02-06 12:45
1.6K
bhsp_4__192_11.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__201_74.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__216_74.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__230_38.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__233_30.min1.thm1
2017-02-06 12:45
1.9K
bhsp_4__263_26.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__287_31.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__288_27.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__297_31.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__298_19.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__306_41.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__307_17.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__324_64.min1.thm1
2017-02-06 12:45
1.0K
bhsp_4__324_64.min1.thm1.tptp
2017-02-06 16:48
900
bhsp_4__333_42.min1.thm1
2017-02-06 12:45
778
bhsp_4__333_42.min1.thm1.tptp
2017-02-06 16:48
701
bhsp_4__336_37.min1.thm1
2017-02-06 12:45
3.7K
bhsp_4__338_29.min1.thm1
2017-02-06 12:45
2.0K
bhsp_4__384_16.min1.thm1
2017-02-06 12:45
2.3K
bhsp_4__401_16.min1.thm1
2017-02-06 12:45
1.0K
bhsp_4__407_8.min1.thm1
2017-02-06 12:45
898
bhsp_4__416_17.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__423_11.min1.thm1
2017-02-06 12:45
2.3K
bhsp_4__433_34.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__440_43.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__453_27.min1.thm1
2017-02-06 12:45
2.4K
bhsp_4__461_14.min1.thm1
2017-02-06 12:45
1.4K
bhsp_4__468_11.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__477_23.min1.thm1
2017-02-06 12:45
2.0K
bhsp_4__568_38.min1.thm1
2017-02-06 12:45
955
bhsp_4__601_57.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__621_53.min1.thm1
2017-02-06 12:45
3.5K
bhsp_4__624_31.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__625_42.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__638_19.min1.thm1
2017-02-06 12:45
2.4K
bhsp_4__642_17.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__655_21.min1.thm1
2017-02-06 12:45
644
bhsp_4__655_21.min1.thm1.tptp
2017-02-06 16:48
569
bhsp_4__657_23.min1.thm1
2017-02-06 12:45
2.3K
bhsp_4__658_23.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__660_43.min1.thm1
2017-02-06 12:45
791
bhsp_4__660_43.min1.thm1.tptp
2017-02-06 16:48
718
bhsp_4__665_17.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__676_11.min1.thm1
2017-02-06 12:45
209
bhsp_4__679_16.min1.thm1
2017-02-06 12:45
312
bhsp_4__691_19.min1.thm1
2017-02-06 12:45
1.4K
bhsp_4__692_22.min1.thm1
2017-02-06 12:45
2.0K
bhsp_4__693_39.min1.thm1
2017-02-06 12:45
769
bhsp_4__695_26.min1.thm1
2017-02-06 12:45
2.4K
bhsp_4__696_19.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__697_22.min1.thm1
2017-02-06 12:45
2.5K
bhsp_4__702_16.min1.thm1
2017-02-06 12:45
339
bhsp_4__722_27.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__724_29.min1.thm1
2017-02-06 12:45
2.9K
bhsp_4__730_8.min1.thm1
2017-02-06 12:45
3.4K
bhsp_4__734_16.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__735_15.min1.thm1
2017-02-06 12:45
372
bhsp_4__738_19.min1.thm1
2017-02-06 12:45
441
bhsp_4__738_19.min1.thm1.tptp
2017-02-06 16:48
360
bhsp_4__740_24.min1.thm1
2017-02-06 12:45
2.3K
bhsp_4__741_21.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__743_17.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__755_21.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__761_17.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__762_43.min1.thm1
2017-02-06 12:45
713
bhsp_4__762_43.min1.thm1.tptp
2017-02-06 16:48
636
bhsp_4__764_18.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__766_65.min1.thm1
2017-02-06 12:45
1.1K
bhsp_4__786_29.min1.thm1
2017-02-06 12:45
2.4K
bhsp_4__787_36.min1.thm1
2017-02-06 12:45
545
bhsp_4__787_36.min1.thm1.tptp
2017-02-06 16:48
468
bhsp_4__791_17.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__806_17.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__808_13.min1.thm1
2017-02-06 12:45
2.1K
bhsp_4__809_15.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__811_11.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__812_36.min1.thm1
2017-02-06 12:45
513
bhsp_4__812_36.min1.thm1.tptp
2017-02-06 16:48
436
bhsp_4__819_17.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__830_21.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__838_36.min1.thm1
2017-02-06 12:45
513
bhsp_4__838_36.min1.thm1.tptp
2017-02-06 16:48
436
bhsp_4__840_17.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__841_18.min1.thm1
2017-02-06 12:45
2.2K
bhsp_4__842_61.min1.thm1
2017-02-06 12:45
924
bhsp_4__849_17.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__850_18.min1.thm1
2017-02-06 12:45
2.1K
bhsp_4__854_17.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__877_23.min1.thm1
2017-02-06 12:45
1.9K
bhsp_4__910_11.min1.thm1
2017-02-06 12:45
3.6K
bhsp_4__923_38.min1.thm1
2017-02-06 12:45
1.0K
bhsp_4__928_31.min1.thm1
2017-02-06 12:45
1.1K
bhsp_4__961_50.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__964_13.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__968_19.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__971_38.min1.thm1
2017-02-06 12:45
1.0K
bhsp_4__976_32.min1.thm1
2017-02-06 12:45
1.1K
bhsp_4__1006_50.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__1009_13.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__1013_19.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__1015_17.min1.thm1
2017-02-06 12:45
2.4K
bhsp_4__1033_28.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__1037_19.min1.thm1
2017-02-06 12:45
845
bhsp_4__1049_75.min1.thm1
2017-02-06 12:45
1.3K
bhsp_4__1066_30.min1.thm1
2017-02-06 12:45
924
bhsp_4__1088_30.min1.thm1
2017-02-06 12:45
635
bhsp_4__1088_30.min1.thm1.tptp
2017-02-06 16:48
558
bhsp_4__1089_28.min1.thm1
2017-02-06 12:45
796
bhsp_4__1162_25.min1.thm1
2017-02-06 12:45
375
bhsp_4__1166_22.min1.thm1
2017-02-06 12:45
586
bhsp_4__1169_34.min1.thm1
2017-02-06 12:45
858
bhsp_4__1170_27.min1.thm1
2017-02-06 12:45
383
bhsp_4__1171_26.min1.thm1
2017-02-06 12:45
2.7K
bhsp_4__1183_20.min1.thm1
2017-02-06 12:45
1.6K
bhsp_4__1184_19.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__1188_47.min1.thm1
2017-02-06 12:45
4.0K
bhsp_4__1190_19.min1.thm1
2017-02-06 12:45
1.4K
bhsp_4__1192_41.min1.thm1
2017-02-06 12:45
858
bhsp_4__1193_22.min1.thm1
2017-02-06 12:45
518
bhsp_4__1215_70.min1.thm1
2017-02-06 12:45
2.6K
bhsp_4__1253_36.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__1255_34.min1.thm1
2017-02-06 12:45
448
bhsp_4__1259_25.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__1262_26.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__1269_58.min1.thm1
2017-02-06 12:45
1.4K
bhsp_4__1281_20.min1.thm1
2017-02-06 12:45
584
bhsp_4__1284_34.min1.thm1
2017-02-06 12:45
854
bhsp_4__1285_25.min1.thm1
2017-02-06 12:45
375
bhsp_4__1286_32.min1.thm1
2017-02-06 12:45
4.0K
bhsp_4__1287_25.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__1302_20.min1.thm1
2017-02-06 12:45
1.6K
bhsp_4__1303_19.min1.thm1
2017-02-06 12:45
1.5K
bhsp_4__1308_34.min1.thm1
2017-02-06 12:45
2.9K
bhsp_4__1310_19.min1.thm1
2017-02-06 12:45
1.4K
bhsp_4__1311_56.min1.thm1
2017-02-06 12:45
899
bhsp_4__1314_41.min1.thm1
2017-02-06 12:45
1.8K
bhsp_4__1389_16.min1.thm1
2017-02-06 12:45
383
bhsp_4__1394_60.min1.thm1
2017-02-06 12:45
1.7K
bhsp_4__1398_23.min1.thm1
2017-02-06 12:45
1.2K
bhsp_4__1421_34.min1.thm1
2017-02-06 12:45
3.0K
bhsp_4__1518_65.min1.thm1
2017-02-06 12:45
2.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80