Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/euclid_5
Name
Last modified
Size
Description
Parent Directory
-
euclid_5__40_39.min1.thm1
2017-02-06 12:44
641
euclid_5__41_42.min1.thm1
2017-02-06 12:44
1.0K
euclid_5__42_28.min1.thm1
2017-02-06 12:44
1.1K
euclid_5__43_41.min1.thm1
2017-02-06 12:44
880
euclid_5__45_14.min1.thm1
2017-02-06 12:44
525
euclid_5__45_14.min1.thm1.tptp
2017-02-06 16:47
485
euclid_5__52_11.min1.thm1
2017-02-06 12:44
1.5K
euclid_5__55_11.min1.thm1
2017-02-06 12:44
1.5K
euclid_5__58_11.min1.thm1
2017-02-06 12:44
1.5K
euclid_5__71_31.min1.thm1
2017-02-06 12:44
589
euclid_5__73_42.min1.thm1
2017-02-06 12:44
888
euclid_5__85_20.min1.thm1
2017-02-06 12:44
595
euclid_5__85_20.min1.thm1.tptp
2017-02-06 16:47
560
euclid_5__93_23.min1.thm1
2017-02-06 12:44
643
euclid_5__94_17.min1.thm1
2017-02-06 12:44
755
euclid_5__106_21.min1.thm1
2017-02-06 12:44
3.0K
euclid_5__108_27.min1.thm1
2017-02-06 12:44
3.1K
euclid_5__109_27.min1.thm1
2017-02-06 12:44
1.1K
euclid_5__113_22.min1.thm1
2017-02-06 12:44
932
euclid_5__117_22.min1.thm1
2017-02-06 12:44
1.1K
euclid_5__136_22.min1.thm1
2017-02-06 12:44
2.9K
euclid_5__139_22.min1.thm1
2017-02-06 12:44
2.9K
euclid_5__142_22.min1.thm1
2017-02-06 12:44
2.9K
euclid_5__167_21.min1.thm1
2017-02-06 12:44
893
euclid_5__183_37.min1.thm1
2017-02-06 12:44
613
euclid_5__183_37.min1.thm1.tptp
2017-02-06 16:47
536
euclid_5__210_56.min1.thm1
2017-02-06 12:44
2.5K
euclid_5__217_23.min1.thm1
2017-02-06 12:44
718
euclid_5__218_16.min1.thm1
2017-02-06 12:44
2.5K
euclid_5__220_23.min1.thm1
2017-02-06 12:44
718
euclid_5__221_16.min1.thm1
2017-02-06 12:44
2.5K
euclid_5__222_28.min1.thm1
2017-02-06 12:44
2.7K
euclid_5__223_26.min1.thm1
2017-02-06 12:44
2.7K
euclid_5__231_61.min1.thm1
2017-02-06 12:44
874
euclid_5__231_61.min1.thm1.tptp
2017-02-06 16:47
797
euclid_5__241_44.min1.thm1
2017-02-06 12:44
874
euclid_5__241_44.min1.thm1.tptp
2017-02-06 16:47
797
euclid_5__243_17.min1.thm1
2017-02-06 12:44
927
euclid_5__243_17.min1.thm1.tptp
2017-02-06 16:47
847
euclid_5__253_14.min1.thm1
2017-02-06 12:44
398
euclid_5__259_52.min1.thm1
2017-02-06 12:44
673
euclid_5__259_52.min1.thm1.tptp
2017-02-06 16:47
596
euclid_5__260_62.min1.thm1
2017-02-06 12:44
778
euclid_5__260_62.min1.thm1.tptp
2017-02-06 16:47
701
euclid_5__266_40.min1.thm1
2017-02-06 12:44
841
euclid_5__266_40.min1.thm1.tptp
2017-02-06 16:47
764
euclid_5__267_17.min1.thm1
2017-02-06 12:44
789
euclid_5__288_14.min1.thm1
2017-02-06 12:44
448
euclid_5__299_14.min1.thm1
2017-02-06 12:44
448
euclid_5__310_14.min1.thm1
2017-02-06 12:44
448
euclid_5__336_17.min1.thm1
2017-02-06 12:44
1.0K
euclid_5__358_33.min1.thm1
2017-02-06 12:44
1.4K
euclid_5__360_24.min1.thm1
2017-02-06 12:44
599
euclid_5__360_24.min1.thm1.tptp
2017-02-06 16:47
564
euclid_5__361_36.min1.thm1
2017-02-06 12:44
1.3K
euclid_5__363_29.min1.thm1
2017-02-06 12:44
2.4K
euclid_5__364_17.min1.thm1
2017-02-06 12:44
587
euclid_5__364_17.min1.thm1.tptp
2017-02-06 16:47
505
euclid_5__374_34.min1.thm1
2017-02-06 12:44
1.7K
euclid_5__375_37.min1.thm1
2017-02-06 12:44
1.8K
euclid_5__376_68.min1.thm1
2017-02-06 12:44
2.1K
euclid_5__389_51.min1.thm1
2017-02-06 12:44
906
euclid_5__390_42.min1.thm1
2017-02-06 12:44
603
euclid_5__392_42.min1.thm1
2017-02-06 12:44
603
euclid_5__394_32.min1.thm1
2017-02-06 12:44
2.0K
euclid_5__397_14.min1.thm1
2017-02-06 12:44
1.0K
euclid_5__404_23.min1.thm1
2017-02-06 12:44
718
euclid_5__405_16.min1.thm1
2017-02-06 12:44
2.5K
euclid_5__407_23.min1.thm1
2017-02-06 12:44
718
euclid_5__408_16.min1.thm1
2017-02-06 12:44
2.5K
euclid_5__409_28.min1.thm1
2017-02-06 12:44
2.7K
euclid_5__410_26.min1.thm1
2017-02-06 12:44
2.7K
euclid_5__474_50.min1.thm1
2017-02-06 12:44
4.4K
euclid_5__478_35.min1.thm1
2017-02-06 12:44
1.9K
euclid_5__480_10.min1.thm1
2017-02-06 12:44
1.5K
euclid_5__481_64.min1.thm1
2017-02-06 12:44
1.0K
euclid_5__481_64.min1.thm1.tptp
2017-02-06 16:47
1.0K
euclid_5__482_17.min1.thm1
2017-02-06 12:44
1.0K
euclid_5__516_29.min1.thm1
2017-02-06 12:44
602
euclid_5__516_29.min1.thm1.tptp
2017-02-06 16:47
525
euclid_5__517_14.min1.thm1
2017-02-06 12:44
426
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80