Index of /~mptp/1147/mptp/ilp1/fc8_funcop_1
Name
Last modified
Size
Description
Parent Directory
-
lattice5__89_12.min1.thm1.tptp
2017-02-06 16:58
425
circuit2__93_36.min1.thm1.tptp
2017-02-06 16:58
446
circuit2__181_35.min1.thm1.tptp
2017-02-06 16:58
446
pboole__2272_34.min1.thm1.tptp
2017-02-06 16:58
452
pboole__2273_34.min1.thm1.tptp
2017-02-06 16:58
452
pboole__2254_36.min1.thm1.tptp
2017-02-06 16:58
458
pboole__2255_36.min1.thm1.tptp
2017-02-06 16:58
458
msualg_6__634_34.min1.thm1.tptp
2017-02-06 16:58
464
funcop_1__1581_19.min1.thm1.tptp
2017-02-06 16:58
470
funct_7__1513_36.min1.thm1.tptp
2017-02-06 16:58
480
funct_7__1376_36.min1.thm1.tptp
2017-02-06 16:58
488
funct_7__1424_38.min1.thm1.tptp
2017-02-06 16:58
492
msualg_6__690_36.min1.thm1.tptp
2017-02-06 16:58
498
msualg_6__667_38.min1.thm1.tptp
2017-02-06 16:58
502
pralg_3__176_13.min1.thm1.tptp
2017-02-06 16:58
506
funct_7__1290_40.min1.thm1.tptp
2017-02-06 16:58
520
funct_7__1310_40.min1.thm1.tptp
2017-02-06 16:58
520
funct_7__1332_40.min1.thm1.tptp
2017-02-06 16:58
520
closure1__170_34.min1.thm1.tptp
2017-02-06 16:58
535
closure1__171_34.min1.thm1.tptp
2017-02-06 16:58
535
closure1__200_34.min1.thm1.tptp
2017-02-06 16:58
535
msualg_6__1080_38.min1.thm1.tptp
2017-02-06 16:58
538
mssubfam__648_32.min1.thm1.tptp
2017-02-06 16:58
542
mssubfam__664_32.min1.thm1.tptp
2017-02-06 16:58
542
funct_7__1471_37.min1.thm1.tptp
2017-02-06 16:58
547
pboole__2303_36.min1.thm1.tptp
2017-02-06 16:58
547
mssubfam__1039_34.min1.thm1.tptp
2017-02-06 16:58
548
closure1__293_37.min1.thm1.tptp
2017-02-06 16:58
552
mssubfam__482_34.min1.thm1.tptp
2017-02-06 16:58
554
funct_7__1291_37.min1.thm1.tptp
2017-02-06 16:58
571
funct_6__2475_15.min1.thm1.tptp
2017-02-06 16:58
586
msalimit__811_49.min1.thm1.tptp
2017-02-06 16:58
617
altcat_1__626_37.min1.thm1.tptp
2017-02-06 16:58
622
msalimit__757_49.min1.thm1.tptp
2017-02-06 16:58
630
msalimit__674_51.min1.thm1.tptp
2017-02-06 16:58
648
altcat_1__723_37.min1.thm1.tptp
2017-02-06 16:58
682
altcat_2__583_36.min1.thm1.tptp
2017-02-06 16:58
760
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80