Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/brouwer

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]brouwer__70_74.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__73_16.min1.thm12017-02-06 12:45 483  
[ ]brouwer__73_16.min1.thm1.tptp2017-02-06 16:48 405  
[ ]brouwer__89_15.min1.thm12017-02-06 12:45 751  
[ ]brouwer__90_13.min1.thm12017-02-06 12:45 229  
[ ]brouwer__94_18.min1.thm12017-02-06 12:45 439  
[ ]brouwer__94_18.min1.thm1.tptp2017-02-06 16:48 359  
[ ]brouwer__99_18.min1.thm12017-02-06 12:45 439  
[ ]brouwer__99_18.min1.thm1.tptp2017-02-06 16:48 359  
[ ]brouwer__112_15.min1.thm12017-02-06 12:45 751  
[ ]brouwer__113_13.min1.thm12017-02-06 12:45 229  
[ ]brouwer__117_18.min1.thm12017-02-06 12:45 439  
[ ]brouwer__117_18.min1.thm1.tptp2017-02-06 16:48 359  
[ ]brouwer__122_18.min1.thm12017-02-06 12:45 439  
[ ]brouwer__122_18.min1.thm1.tptp2017-02-06 16:48 359  
[ ]brouwer__137_17.min1.thm12017-02-06 12:45 1.4K 
[ ]brouwer__138_19.min1.thm12017-02-06 12:45 399  
[ ]brouwer__143_12.min1.thm12017-02-06 12:45 323  
[ ]brouwer__143_12.min1.thm1.tptp2017-02-06 16:48 258  
[ ]brouwer__144_18.min1.thm12017-02-06 12:45 1.3K 
[ ]brouwer__145_17.min1.thm12017-02-06 12:45 1.2K 
[ ]brouwer__191_56.min1.thm12017-02-06 12:45 967  
[ ]brouwer__196_21.min1.thm12017-02-06 12:45 1.6K 
[ ]brouwer__198_24.min1.thm12017-02-06 12:45 1.2K 
[ ]brouwer__204_15.min1.thm12017-02-06 12:45 267  
[ ]brouwer__206_17.min1.thm12017-02-06 12:45 955  
[ ]brouwer__230_17.min1.thm12017-02-06 12:45 389  
[ ]brouwer__230_17.min1.thm1.tptp2017-02-06 16:48 339  
[ ]brouwer__232_17.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__247_13.min1.thm12017-02-06 12:45 334  
[ ]brouwer__254_20.min1.thm12017-02-06 12:45 876  
[ ]brouwer__262_20.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__272_13.min1.thm12017-02-06 12:45 334  
[ ]brouwer__278_18.min1.thm12017-02-06 12:45 1.3K 
[ ]brouwer__281_20.min1.thm12017-02-06 12:45 302  
[ ]brouwer__293_20.min1.thm12017-02-06 12:45 286  
[ ]brouwer__300_14.min1.thm12017-02-06 12:45 743  
[ ]brouwer__301_21.min1.thm12017-02-06 12:45 821  
[ ]brouwer__343_37.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__344_33.min1.thm12017-02-06 12:45 1.4K 
[ ]brouwer__345_35.min1.thm12017-02-06 12:45 2.1K 
[ ]brouwer__350_32.min1.thm12017-02-06 12:45 2.1K 
[ ]brouwer__351_29.min1.thm12017-02-06 12:45 1.5K 
[ ]brouwer__373_24.min1.thm12017-02-06 12:45 1.7K 
[ ]brouwer__402_22.min1.thm12017-02-06 12:45 1.3K 
[ ]brouwer__406_14.min1.thm12017-02-06 12:45 383  
[ ]brouwer__411_59.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__426_19.min1.thm12017-02-06 12:45 4.5K 
[ ]brouwer__434_17.min1.thm12017-02-06 12:45 904  
[ ]brouwer__439_15.min1.thm12017-02-06 12:45 527  
[ ]brouwer__452_19.min1.thm12017-02-06 12:45 3.8K 
[ ]brouwer__473_24.min1.thm12017-02-06 12:45 1.7K 
[ ]brouwer__500_35.min1.thm12017-02-06 12:45 2.2K 
[ ]brouwer__524_22.min1.thm12017-02-06 12:45 1.2K 
[ ]brouwer__531_25.min1.thm12017-02-06 12:45 903  
[ ]brouwer__546_25.min1.thm12017-02-06 12:45 903  
[ ]brouwer__562_17.min1.thm12017-02-06 12:45 927  
[ ]brouwer__567_15.min1.thm12017-02-06 12:45 419  
[ ]brouwer__599_15.min1.thm12017-02-06 12:45 1.2K 
[ ]brouwer__601_12.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__637_48.min1.thm12017-02-06 12:45 492  
[ ]brouwer__681_34.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__686_21.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__706_8.min1.thm12017-02-06 12:45 1.6K 
[ ]brouwer__719_28.min1.thm12017-02-06 12:45 942  
[ ]brouwer__719_28.min1.thm1.tptp2017-02-06 16:48 865  
[ ]brouwer__720_18.min1.thm12017-02-06 12:45 942  
[ ]brouwer__720_18.min1.thm1.tptp2017-02-06 16:48 865  
[ ]brouwer__735_33.min1.thm12017-02-06 12:45 2.8K 
[ ]brouwer__760_31.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__765_54.min1.thm12017-02-06 12:45 1.9K 
[ ]brouwer__779_18.min1.thm12017-02-06 12:45 1.6K 
[ ]brouwer__780_13.min1.thm12017-02-06 12:45 220  
[ ]brouwer__784_19.min1.thm12017-02-06 12:45 546  
[ ]brouwer__786_21.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__788_18.min1.thm12017-02-06 12:45 725  
[ ]brouwer__793_23.min1.thm12017-02-06 12:45 555  
[ ]brouwer__795_18.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__797_18.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__818_32.min1.thm12017-02-06 12:45 504  
[ ]brouwer__824_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__826_18.min1.thm12017-02-06 12:45 494  
[ ]brouwer__835_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__837_18.min1.thm12017-02-06 12:45 418  
[ ]brouwer__846_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__848_18.min1.thm12017-02-06 12:45 494  
[ ]brouwer__858_38.min1.thm12017-02-06 12:45 878  
[ ]brouwer__859_11.min1.thm12017-02-06 12:45 463  
[ ]brouwer__859_11.min1.thm1.tptp2017-02-06 16:48 386  
[ ]brouwer__890_19.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__892_18.min1.thm12017-02-06 12:45 498  
[ ]brouwer__901_19.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__903_18.min1.thm12017-02-06 12:45 418  
[ ]brouwer__912_19.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__914_18.min1.thm12017-02-06 12:45 498  
[ ]brouwer__920_30.min1.thm12017-02-06 12:45 3.7K 
[ ]brouwer__927_47.min1.thm12017-02-06 12:45 715  
[ ]brouwer__935_38.min1.thm12017-02-06 12:45 388  
[ ]brouwer__942_10.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__943_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__945_38.min1.thm12017-02-06 12:45 449  
[ ]brouwer__945_38.min1.thm1.tptp2017-02-06 16:48 371  
[ ]brouwer__947_26.min1.thm12017-02-06 12:45 439  
[ ]brouwer__947_26.min1.thm1.tptp2017-02-06 16:48 362  
[ ]brouwer__960_25.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__960_25.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__965_16.min1.thm12017-02-06 12:45 658  
[ ]brouwer__979_47.min1.thm12017-02-06 12:45 722  
[ ]brouwer__987_38.min1.thm12017-02-06 12:45 392  
[ ]brouwer__994_10.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__995_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__997_38.min1.thm12017-02-06 12:45 455  
[ ]brouwer__997_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__999_26.min1.thm12017-02-06 12:45 445  
[ ]brouwer__999_26.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1012_25.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1012_25.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__1017_16.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1029_30.min1.thm12017-02-06 12:45 1.7K 
[ ]brouwer__1036_47.min1.thm12017-02-06 12:45 722  
[ ]brouwer__1039_26.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1039_26.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__1044_38.min1.thm12017-02-06 12:45 392  
[ ]brouwer__1052_14.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__1053_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1055_26.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1055_26.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1056_36.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1056_36.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1057_17.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1068_14.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__1069_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1071_38.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1071_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1073_26.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1073_26.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1086_26.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1086_26.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__1092_17.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1117_16.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1129_47.min1.thm12017-02-06 12:45 722  
[ ]brouwer__1132_26.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1132_26.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__1137_38.min1.thm12017-02-06 12:45 392  
[ ]brouwer__1145_14.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__1146_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1148_26.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1148_26.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1149_36.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1149_36.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1150_17.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1161_14.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__1162_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1164_38.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1164_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1166_26.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1166_26.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1179_26.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1179_26.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]brouwer__1185_17.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1210_16.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1226_47.min1.thm12017-02-06 12:45 722  
[ ]brouwer__1233_38.min1.thm12017-02-06 12:45 392  
[ ]brouwer__1240_10.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1241_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1243_38.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1243_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1245_27.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1245_27.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1273_16.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1286_47.min1.thm12017-02-06 12:45 722  
[ ]brouwer__1293_38.min1.thm12017-02-06 12:45 392  
[ ]brouwer__1300_10.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1301_18.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1303_38.min1.thm12017-02-06 12:45 455  
[ ]brouwer__1303_38.min1.thm1.tptp2017-02-06 16:48 377  
[ ]brouwer__1305_27.min1.thm12017-02-06 12:45 445  
[ ]brouwer__1305_27.min1.thm1.tptp2017-02-06 16:48 368  
[ ]brouwer__1333_16.min1.thm12017-02-06 12:45 669  
[ ]brouwer__1362_12.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__1376_26.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__1408_12.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__1528_25.min1.thm12017-02-06 12:45 3.1K 
[ ]brouwer__1546_22.min1.thm12017-02-06 12:45 2.3K 
[ ]brouwer__1547_32.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__1559_24.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1560_43.min1.thm12017-02-06 12:45 2.1K 
[ ]brouwer__1575_24.min1.thm12017-02-06 12:45 800  
[ ]brouwer__1595_16.min1.thm12017-02-06 12:45 627  
[ ]brouwer__1597_14.min1.thm12017-02-06 12:45 429  
[ ]brouwer__1603_32.min1.thm12017-02-06 12:45 840  
[ ]brouwer__1603_32.min1.thm1.tptp2017-02-06 16:48 793  
[ ]brouwer__1641_16.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1660_11.min1.thm12017-02-06 12:45 188  
[ ]brouwer__1663_45.min1.thm12017-02-06 12:45 342  
[ ]brouwer__1663_45.min1.thm1.tptp2017-02-06 16:48 253  
[ ]brouwer__1667_56.min1.thm12017-02-06 12:45 2.3K 
[ ]brouwer__1668_39.min1.thm12017-02-06 12:45 952  
[ ]brouwer__1676_33.min1.thm12017-02-06 12:45 1.0K 
[ ]brouwer__1679_22.min1.thm12017-02-06 12:45 1.8K 
[ ]brouwer__1684_62.min1.thm12017-02-06 12:45 381  
[ ]brouwer__1684_62.min1.thm1.tptp2017-02-06 16:48 289  
[ ]brouwer__1686_25.min1.thm12017-02-06 12:45 1.1K 
[ ]brouwer__1688_23.min1.thm12017-02-06 12:45 854  
[ ]brouwer__1689_24.min1.thm12017-02-06 12:45 1.6K 
[ ]brouwer__1690_19.min1.thm12017-02-06 12:45 2.0K 
[ ]brouwer__1702_23.min1.thm12017-02-06 12:45 1.3K 
[ ]brouwer__1704_27.min1.thm12017-02-06 12:45 950  
[ ]brouwer__1706_15.min1.thm12017-02-06 12:45 1.3K 
[ ]brouwer__1707_32.min1.thm12017-02-06 12:45 1.5K 
[ ]brouwer__1708_17.min1.thm12017-02-06 12:45 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80