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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_2__1819_46.min1.thm1.tptp2017-02-06 16:58 456  
[ ]classes1__1740_17.min1.thm1.tptp2017-02-06 16:58 543  
[ ]combgras__709_22.min1.thm1.tptp2017-02-06 16:58 369  
[ ]combgras__863_24.min1.thm1.tptp2017-02-06 16:58 374  
[ ]combgras__939_25.min1.thm1.tptp2017-02-06 16:58 374  
[ ]finsub_1__376_41.min1.thm1.tptp2017-02-06 16:58 543  
[ ]fomodel0__219_9.min1.thm1.tptp2017-02-06 16:58 648  
[ ]funct_1__2035_38.min1.thm1.tptp2017-02-06 16:58 598  
[ ]pboole__537_27.min1.thm1.tptp2017-02-06 16:58 529  
[ ]rfunct_4__670_29.min1.thm1.tptp2017-02-06 16:58 417  
[ ]rfunct_4__709_29.min1.thm1.tptp2017-02-06 16:58 417  
[ ]robbins4__1051_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1063_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1075_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1087_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1099_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1111_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1123_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1182_29.min1.thm1.tptp2017-02-06 16:58 449  
[ ]robbins4__1194_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1208_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1221_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1234_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1247_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1259_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1271_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1285_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1298_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1311_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1324_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1337_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1351_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1363_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1422_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1437_29.min1.thm1.tptp2017-02-06 16:58 455  
[ ]robbins4__1450_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1462_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1475_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1490_29.min1.thm1.tptp2017-02-06 16:58 455  
[ ]robbins4__1502_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1516_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1528_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1542_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1555_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1569_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__1581_29.min1.thm1.tptp2017-02-06 16:58 454  
[ ]robbins4__2015_23.min1.thm1.tptp2017-02-06 16:58 375  
[ ]robbins4__2054_23.min1.thm1.tptp2017-02-06 16:58 375  
[ ]setfam_1__192_43.min1.thm1.tptp2017-02-06 16:58 531  
[ ]xboole_1__242_21.min1.thm1.tptp2017-02-06 16:58 365  
[ ]xboole_1__794_45.min1.thm1.tptp2017-02-06 16:58 655  
[ ]xtuple_0__691_16.min1.thm1.tptp2017-02-06 16:58 543  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80