Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/fc8_funcop_1

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