Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d19_relat_1
Name
Last modified
Size
Description
Parent Directory
-
afinsq_1__682_17.min1.thm1.tptp
2017-02-06 16:58
424
afinsq_1__756_23.min1.thm1.tptp
2017-02-06 16:58
591
afinsq_1__1282_21.min1.thm1.tptp
2017-02-06 16:58
428
afinsq_1__1301_20.min1.thm1.tptp
2017-02-06 16:58
442
afinsq_1__1311_19.min1.thm1.tptp
2017-02-06 16:58
442
afinsq_1__1855_19.min1.thm1.tptp
2017-02-06 16:58
426
compos_1__121_38.min1.thm1.tptp
2017-02-06 16:58
461
finseq_1__3700_19.min1.thm1.tptp
2017-02-06 16:58
374
fomodel0__1275_47.min1.thm1.tptp
2017-02-06 16:58
486
fomodel0__2449_37.min1.thm1.tptp
2017-02-06 16:58
349
fomodel2__795_59.min1.thm1.tptp
2017-02-06 16:58
588
funct_1__2978_15.min1.thm1.tptp
2017-02-06 16:58
358
funct_1__3139_16.min1.thm1.tptp
2017-02-06 16:58
358
funct_1__3192_19.min1.thm1.tptp
2017-02-06 16:58
366
nat_1__1440_16.min1.thm1.tptp
2017-02-06 16:58
415
ordinal1__892_15.min1.thm1.tptp
2017-02-06 16:58
389
ordinal2__463_18.min1.thm1.tptp
2017-02-06 16:58
385
ordinal2__478_18.min1.thm1.tptp
2017-02-06 16:58
417
partfun1__164_15.min1.thm1.tptp
2017-02-06 16:58
350
relat_1__2850_15.min1.thm1.tptp
2017-02-06 16:58
328
relat_1__2987_18.min1.thm1.tptp
2017-02-06 16:58
332
relat_1__3026_15.min1.thm1.tptp
2017-02-06 16:58
332
relat_1__3128_16.min1.thm1.tptp
2017-02-06 16:58
328
relat_1__3198_17.min1.thm1.tptp
2017-02-06 16:58
348
rlvect_1__755_34.min1.thm1.tptp
2017-02-06 16:58
457
rlvect_1__868_34.min1.thm1.tptp
2017-02-06 16:58
421
scm_halt__2940_44.min1.thm1.tptp
2017-02-06 16:58
512
scmbsort__984_45.min1.thm1.tptp
2017-02-06 16:58
513
scmbsort__1042_44.min1.thm1.tptp
2017-02-06 16:58
513
scmfsa6a__111_44.min1.thm1.tptp
2017-02-06 16:58
503
scmfsa8a__182_44.min1.thm1.tptp
2017-02-06 16:58
442
scmfsa8c__4142_45.min1.thm1.tptp
2017-02-06 16:58
513
scmfsa_9__687_44.min1.thm1.tptp
2017-02-06 16:58
512
scmfsa_9__1870_44.min1.thm1.tptp
2017-02-06 16:58
512
trees_a__1133_17.min1.thm1.tptp
2017-02-06 16:58
389
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80