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