Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d8_funcop_1
Name
Last modified
Size
Description
Parent Directory
-
triang_1__602_18.min1.thm1.tptp
2017-02-06 16:57
387
altcat_1__1298_16.min1.thm1.tptp
2017-02-06 16:57
422
extens_1__394_40.min1.thm1.tptp
2017-02-06 16:57
424
pboole__1837_17.min1.thm1.tptp
2017-02-06 16:57
430
extens_1__455_37.min1.thm1.tptp
2017-02-06 16:57
434
extens_1__678_36.min1.thm1.tptp
2017-02-06 16:57
446
extens_1__680_36.min1.thm1.tptp
2017-02-06 16:57
446
extens_1__481_45.min1.thm1.tptp
2017-02-06 16:57
453
extens_1__484_40.min1.thm1.tptp
2017-02-06 16:57
453
extens_1__648_45.min1.thm1.tptp
2017-02-06 16:57
453
extens_1__651_40.min1.thm1.tptp
2017-02-06 16:57
453
extens_1__399_42.min1.thm1.tptp
2017-02-06 16:57
456
mmlquery__1168_35.min1.thm1.tptp
2017-02-06 16:57
462
pboole__1929_21.min1.thm1.tptp
2017-02-06 16:57
462
pre_circ__789_15.min1.thm1.tptp
2017-02-06 16:57
465
extens_1__629_44.min1.thm1.tptp
2017-02-06 16:57
467
extens_1__462_44.min1.thm1.tptp
2017-02-06 16:57
468
extens_1__427_47.min1.thm1.tptp
2017-02-06 16:57
469
extens_1__594_47.min1.thm1.tptp
2017-02-06 16:57
471
pboole__1905_23.min1.thm1.tptp
2017-02-06 16:57
474
extens_1__916_31.min1.thm1.tptp
2017-02-06 16:57
477
extens_1__918_31.min1.thm1.tptp
2017-02-06 16:57
477
extens_1__877_35.min1.thm1.tptp
2017-02-06 16:57
484
extens_1__881_35.min1.thm1.tptp
2017-02-06 16:57
485
extens_1__511_36.min1.thm1.tptp
2017-02-06 16:57
495
extens_1__513_36.min1.thm1.tptp
2017-02-06 16:57
495
extens_1__804_42.min1.thm1.tptp
2017-02-06 16:57
498
extens_1__829_42.min1.thm1.tptp
2017-02-06 16:57
498
prgcor_2__106_22.min1.thm1.tptp
2017-02-06 16:57
511
extens_1__494_47.min1.thm1.tptp
2017-02-06 16:57
514
extens_1__495_47.min1.thm1.tptp
2017-02-06 16:57
514
extens_1__661_47.min1.thm1.tptp
2017-02-06 16:57
517
extens_1__662_47.min1.thm1.tptp
2017-02-06 16:57
517
yellow15__167_17.min1.thm1.tptp
2017-02-06 16:57
518
extens_1__432_54.min1.thm1.tptp
2017-02-06 16:57
529
extens_1__465_49.min1.thm1.tptp
2017-02-06 16:57
529
extens_1__599_54.min1.thm1.tptp
2017-02-06 16:57
533
extens_1__632_49.min1.thm1.tptp
2017-02-06 16:57
533
euclid_7__3270_21.min1.thm1.tptp
2017-02-06 16:57
539
pre_circ__887_17.min1.thm1.tptp
2017-02-06 16:57
560
extens_1__891_37.min1.thm1.tptp
2017-02-06 16:57
573
extens_1__892_37.min1.thm1.tptp
2017-02-06 16:57
573
pre_circ__773_33.min1.thm1.tptp
2017-02-06 16:57
573
extens_1__809_44.min1.thm1.tptp
2017-02-06 16:57
587
extens_1__834_44.min1.thm1.tptp
2017-02-06 16:57
587
pre_circ__850_25.min1.thm1.tptp
2017-02-06 16:57
589
euclid_7__3286_23.min1.thm1.tptp
2017-02-06 16:57
607
extens_1__622_67.min1.thm1.tptp
2017-02-06 16:57
609
pralg_3__355_23.min1.thm1.tptp
2017-02-06 16:57
629
pralg_3__415_23.min1.thm1.tptp
2017-02-06 16:57
629
pralg_3__800_31.min1.thm1.tptp
2017-02-06 16:57
641
prgcor_2__112_40.min1.thm1.tptp
2017-02-06 16:57
658
pralg_3__1272_35.min1.thm1.tptp
2017-02-06 16:57
667
pralg_2__1228_29.min1.thm1.tptp
2017-02-06 16:57
679
pralg_2__1234_36.min1.thm1.tptp
2017-02-06 16:57
691
pralg_2__1343_31.min1.thm1.tptp
2017-02-06 16:57
693
pralg_2__1558_38.min1.thm1.tptp
2017-02-06 16:57
705
topgen_3__2090_48.min1.thm1.tptp
2017-02-06 16:57
747
msalimit__855_40.min1.thm1.tptp
2017-02-06 16:57
748
topgen_3__2117_77.min1.thm1.tptp
2017-02-06 16:57
849
msalimit__444_19.min1.thm1.tptp
2017-02-06 16:57
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80