Index of /~mptp/1147/MPTP2/ilp0/euclid_4
Name
Last modified
Size
Description
Parent Directory
-
euclid_4__42_50.min1.thm1
2017-02-06 12:44
456
euclid_4__53_18.min1.thm1
2017-02-06 12:44
405
euclid_4__53_18.min1.thm1.tptp
2017-02-06 16:47
328
euclid_4__54_8.min1.thm1
2017-02-06 12:44
967
euclid_4__61_50.min1.thm1
2017-02-06 12:44
456
euclid_4__77_17.min1.thm1
2017-02-06 12:44
523
euclid_4__78_21.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__80_13.min1.thm1
2017-02-06 12:44
1.0K
euclid_4__97_29.min1.thm1
2017-02-06 12:44
1.7K
euclid_4__99_20.min1.thm1
2017-02-06 12:44
649
euclid_4__100_12.min1.thm1
2017-02-06 12:44
523
euclid_4__119_16.min1.thm1
2017-02-06 12:44
465
euclid_4__119_16.min1.thm1.tptp
2017-02-06 16:47
387
euclid_4__129_30.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__130_35.min1.thm1
2017-02-06 12:44
913
euclid_4__132_16.min1.thm1
2017-02-06 12:44
396
euclid_4__132_16.min1.thm1.tptp
2017-02-06 16:47
316
euclid_4__141_23.min1.thm1
2017-02-06 12:44
1.2K
euclid_4__152_60.min1.thm1
2017-02-06 12:44
903
euclid_4__153_17.min1.thm1
2017-02-06 12:44
670
euclid_4__153_17.min1.thm1.tptp
2017-02-06 16:47
600
euclid_4__160_28.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__161_31.min1.thm1
2017-02-06 12:44
1.2K
euclid_4__162_32.min1.thm1
2017-02-06 12:44
806
euclid_4__163_33.min1.thm1
2017-02-06 12:44
925
euclid_4__197_17.min1.thm1
2017-02-06 12:44
551
euclid_4__197_17.min1.thm1.tptp
2017-02-06 16:47
487
euclid_4__269_12.min1.thm1
2017-02-06 12:44
533
euclid_4__327_12.min1.thm1
2017-02-06 12:44
533
euclid_4__328_24.min1.thm1
2017-02-06 12:44
2.2K
euclid_4__329_17.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__348_39.min1.thm1
2017-02-06 12:44
820
euclid_4__349_45.min1.thm1
2017-02-06 12:44
1.7K
euclid_4__350_17.min1.thm1
2017-02-06 12:44
499
euclid_4__350_17.min1.thm1.tptp
2017-02-06 16:47
429
euclid_4__366_25.min1.thm1
2017-02-06 12:44
1.1K
euclid_4__367_17.min1.thm1
2017-02-06 12:44
1.2K
euclid_4__378_22.min1.thm1
2017-02-06 12:44
820
euclid_4__379_22.min1.thm1
2017-02-06 12:44
820
euclid_4__380_17.min1.thm1
2017-02-06 12:44
715
euclid_4__390_23.min1.thm1
2017-02-06 12:44
1.4K
euclid_4__391_37.min1.thm1
2017-02-06 12:44
351
euclid_4__392_17.min1.thm1
2017-02-06 12:44
669
euclid_4__405_23.min1.thm1
2017-02-06 12:44
1.7K
euclid_4__408_36.min1.thm1
2017-02-06 12:44
1.9K
euclid_4__409_14.min1.thm1
2017-02-06 12:44
1.0K
euclid_4__419_21.min1.thm1
2017-02-06 12:44
588
euclid_4__420_19.min1.thm1
2017-02-06 12:44
558
euclid_4__451_19.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__452_28.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__461_28.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__473_28.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__478_71.min1.thm1
2017-02-06 12:44
2.2K
euclid_4__495_19.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__496_28.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__563_33.min1.thm1
2017-02-06 12:44
2.9K
euclid_4__585_26.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__593_26.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__601_26.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__609_26.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__615_44.min1.thm1
2017-02-06 12:44
676
euclid_4__616_49.min1.thm1
2017-02-06 12:44
532
euclid_4__619_25.min1.thm1
2017-02-06 12:44
1.5K
euclid_4__629_25.min1.thm1
2017-02-06 12:44
1.9K
euclid_4__636_14.min1.thm1
2017-02-06 12:44
400
euclid_4__653_49.min1.thm1
2017-02-06 12:44
1.8K
euclid_4__654_51.min1.thm1
2017-02-06 12:44
1.4K
euclid_4__658_32.min1.thm1
2017-02-06 12:44
2.2K
euclid_4__659_34.min1.thm1
2017-02-06 12:44
1.4K
euclid_4__661_14.min1.thm1
2017-02-06 12:44
532
euclid_4__670_13.min1.thm1
2017-02-06 12:44
199
euclid_4__675_21.min1.thm1
2017-02-06 12:44
771
euclid_4__681_46.min1.thm1
2017-02-06 12:44
2.0K
euclid_4__689_46.min1.thm1
2017-02-06 12:44
3.9K
euclid_4__716_26.min1.thm1
2017-02-06 12:44
1.4K
euclid_4__744_17.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__770_22.min1.thm1
2017-02-06 12:44
710
euclid_4__777_77.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__779_19.min1.thm1
2017-02-06 12:44
793
euclid_4__779_19.min1.thm1.tptp
2017-02-06 16:47
725
euclid_4__784_77.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__786_19.min1.thm1
2017-02-06 12:44
793
euclid_4__786_19.min1.thm1.tptp
2017-02-06 16:47
725
euclid_4__789_17.min1.thm1
2017-02-06 12:44
1.0K
euclid_4__806_53.min1.thm1
2017-02-06 12:44
1.1K
euclid_4__809_16.min1.thm1
2017-02-06 12:44
503
euclid_4__809_16.min1.thm1.tptp
2017-02-06 16:47
425
euclid_4__819_53.min1.thm1
2017-02-06 12:44
1.1K
euclid_4__820_30.min1.thm1
2017-02-06 12:44
1.2K
euclid_4__822_16.min1.thm1
2017-02-06 12:44
405
euclid_4__822_16.min1.thm1.tptp
2017-02-06 16:47
325
euclid_4__834_20.min1.thm1
2017-02-06 12:44
325
euclid_4__834_20.min1.thm1.tptp
2017-02-06 16:47
245
euclid_4__861_14.min1.thm1
2017-02-06 12:44
1.3K
euclid_4__870_17.min1.thm1
2017-02-06 12:44
889
euclid_4__912_39.min1.thm1
2017-02-06 12:44
860
euclid_4__914_17.min1.thm1
2017-02-06 12:44
499
euclid_4__914_17.min1.thm1.tptp
2017-02-06 16:47
429
euclid_4__941_22.min1.thm1
2017-02-06 12:44
860
euclid_4__943_17.min1.thm1
2017-02-06 12:44
727
euclid_4__954_23.min1.thm1
2017-02-06 12:44
889
euclid_4__955_37.min1.thm1
2017-02-06 12:44
351
euclid_4__956_17.min1.thm1
2017-02-06 12:44
678
euclid_4__976_46.min1.thm1
2017-02-06 12:44
677
euclid_4__988_22.min1.thm1
2017-02-06 12:44
724
euclid_4__997_58.min1.thm1
2017-02-06 12:44
381
euclid_4__997_58.min1.thm1.tptp
2017-02-06 16:47
304
euclid_4__1008_58.min1.thm1
2017-02-06 12:44
381
euclid_4__1008_58.min1.thm1.tptp
2017-02-06 16:47
304
euclid_4__1013_17.min1.thm1
2017-02-06 12:44
1.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80