Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/brouwer2
Name
Last modified
Size
Description
Parent Directory
-
brouwer2__63_43.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__74_15.min1.thm1
2017-02-06 12:45
368
brouwer2__98_15.min1.thm1
2017-02-06 12:45
368
brouwer2__99_13.min1.thm1
2017-02-06 12:45
192
brouwer2__102_23.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__106_20.min1.thm1
2017-02-06 12:45
734
brouwer2__116_20.min1.thm1
2017-02-06 12:45
736
brouwer2__118_23.min1.thm1
2017-02-06 12:45
745
brouwer2__143_46.min1.thm1
2017-02-06 12:45
638
brouwer2__144_18.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__146_53.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__147_15.min1.thm1
2017-02-06 12:45
368
brouwer2__159_18.min1.thm1
2017-02-06 12:45
553
brouwer2__159_18.min1.thm1.tptp
2017-02-06 16:48
481
brouwer2__165_53.min1.thm1
2017-02-06 12:45
757
brouwer2__177_36.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__188_12.min1.thm1
2017-02-06 12:45
942
brouwer2__205_17.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__207_25.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__215_32.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__220_23.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__223_50.min1.thm1
2017-02-06 12:45
732
brouwer2__230_22.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__265_30.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__275_15.min1.thm1
2017-02-06 12:45
818
brouwer2__285_18.min1.thm1
2017-02-06 12:45
720
brouwer2__286_17.min1.thm1
2017-02-06 12:45
307
brouwer2__286_17.min1.thm1.tptp
2017-02-06 16:48
226
brouwer2__289_14.min1.thm1
2017-02-06 12:45
810
brouwer2__314_33.min1.thm1
2017-02-06 12:45
465
brouwer2__316_36.min1.thm1
2017-02-06 12:45
599
brouwer2__316_36.min1.thm1.tptp
2017-02-06 16:48
513
brouwer2__317_33.min1.thm1
2017-02-06 12:45
465
brouwer2__318_15.min1.thm1
2017-02-06 12:45
368
brouwer2__321_35.min1.thm1
2017-02-06 12:45
473
brouwer2__323_27.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__330_33.min1.thm1
2017-02-06 12:45
469
brouwer2__331_13.min1.thm1
2017-02-06 12:45
369
brouwer2__333_17.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__347_16.min1.thm1
2017-02-06 12:45
368
brouwer2__348_39.min1.thm1
2017-02-06 12:45
638
brouwer2__349_50.min1.thm1
2017-02-06 12:45
731
brouwer2__352_20.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__361_17.min1.thm1
2017-02-06 12:45
780
brouwer2__368_36.min1.thm1
2017-02-06 12:45
469
brouwer2__374_16.min1.thm1
2017-02-06 12:45
889
brouwer2__375_29.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__387_19.min1.thm1
2017-02-06 12:45
721
brouwer2__388_41.min1.thm1
2017-02-06 12:45
474
brouwer2__389_25.min1.thm1
2017-02-06 12:45
508
brouwer2__399_51.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__400_21.min1.thm1
2017-02-06 12:45
715
brouwer2__424_40.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__430_21.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__433_23.min1.thm1
2017-02-06 12:45
613
brouwer2__435_28.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__442_20.min1.thm1
2017-02-06 12:45
512
brouwer2__447_39.min1.thm1
2017-02-06 12:45
477
brouwer2__450_42.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__451_26.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__452_23.min1.thm1
2017-02-06 12:45
1.8K
brouwer2__458_38.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__477_41.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__515_23.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__516_41.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__517_16.min1.thm1
2017-02-06 12:45
576
brouwer2__520_23.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__521_22.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__523_23.min1.thm1
2017-02-06 12:45
766
brouwer2__527_20.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__528_31.min1.thm1
2017-02-06 12:45
962
brouwer2__530_36.min1.thm1
2017-02-06 12:45
850
brouwer2__531_21.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__534_20.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__540_35.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__542_25.min1.thm1
2017-02-06 12:45
740
brouwer2__550_17.min1.thm1
2017-02-06 12:45
2.3K
brouwer2__555_16.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__570_18.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__572_26.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__588_29.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__591_40.min1.thm1
2017-02-06 12:45
4.6K
brouwer2__602_37.min1.thm1
2017-02-06 12:45
822
brouwer2__618_17.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__620_18.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__631_34.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__632_16.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__638_49.min1.thm1
2017-02-06 12:45
2.1K
brouwer2__659_52.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__663_40.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__670_29.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__690_29.min1.thm1
2017-02-06 12:45
894
brouwer2__690_29.min1.thm1.tptp
2017-02-06 16:48
819
brouwer2__698_25.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__715_49.min1.thm1
2017-02-06 12:45
2.0K
brouwer2__722_27.min1.thm1
2017-02-06 12:45
2.0K
brouwer2__732_37.min1.thm1
2017-02-06 12:45
822
brouwer2__747_22.min1.thm1
2017-02-06 12:45
462
brouwer2__747_22.min1.thm1.tptp
2017-02-06 16:48
386
brouwer2__775_32.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__778_29.min1.thm1
2017-02-06 12:45
2.4K
brouwer2__779_30.min1.thm1
2017-02-06 12:45
2.2K
brouwer2__780_37.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__782_35.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__787_17.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__789_39.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__791_21.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__799_47.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__833_34.min1.thm1
2017-02-06 12:45
305
brouwer2__840_17.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__850_19.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__853_20.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__854_41.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__857_23.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__866_16.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__867_22.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__876_31.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__878_10.min1.thm1
2017-02-06 12:45
1.8K
brouwer2__882_25.min1.thm1
2017-02-06 12:45
2.5K
brouwer2__885_28.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__906_37.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__917_15.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__918_31.min1.thm1
2017-02-06 12:45
2.9K
brouwer2__920_32.min1.thm1
2017-02-06 12:45
3.2K
brouwer2__926_18.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__929_18.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__939_15.min1.thm1
2017-02-06 12:45
251
brouwer2__953_27.min1.thm1
2017-02-06 12:45
2.5K
brouwer2__954_23.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__955_29.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__958_20.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__959_36.min1.thm1
2017-02-06 12:45
1.8K
brouwer2__962_19.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__970_30.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__975_25.min1.thm1
2017-02-06 12:45
2.5K
brouwer2__981_25.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__992_37.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__995_15.min1.thm1
2017-02-06 12:45
251
brouwer2__997_26.min1.thm1
2017-02-06 12:45
2.0K
brouwer2__1004_20.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1014_40.min1.thm1
2017-02-06 12:45
712
brouwer2__1025_33.min1.thm1
2017-02-06 12:45
3.0K
brouwer2__1028_25.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__1033_34.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__1036_31.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1043_18.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1048_13.min1.thm1
2017-02-06 12:45
812
brouwer2__1052_15.min1.thm1
2017-02-06 12:45
251
brouwer2__1073_23.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__1078_53.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1085_54.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__1092_17.min1.thm1
2017-02-06 12:45
349
brouwer2__1104_25.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__1109_24.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1125_27.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__1130_38.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__1132_27.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__1137_31.min1.thm1
2017-02-06 12:45
2.6K
brouwer2__1155_22.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__1159_33.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__1169_18.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__1183_30.min1.thm1
2017-02-06 12:45
824
brouwer2__1185_16.min1.thm1
2017-02-06 12:45
368
brouwer2__1191_30.min1.thm1
2017-02-06 12:45
311
brouwer2__1198_38.min1.thm1
2017-02-06 12:45
511
brouwer2__1200_23.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1204_20.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1216_26.min1.thm1
2017-02-06 12:45
1.8K
brouwer2__1219_20.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__1220_30.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1229_18.min1.thm1
2017-02-06 12:45
593
brouwer2__1243_47.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1244_42.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__1259_48.min1.thm1
2017-02-06 12:45
923
brouwer2__1283_14.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1285_17.min1.thm1
2017-02-06 12:45
523
brouwer2__1287_33.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__1288_16.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1289_21.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__1290_11.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__1309_18.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1311_21.min1.thm1
2017-02-06 12:45
4.0K
brouwer2__1337_19.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__1340_28.min1.thm1
2017-02-06 12:45
2.9K
brouwer2__1359_40.min1.thm1
2017-02-06 12:45
1.2K
brouwer2__1360_38.min1.thm1
2017-02-06 12:45
452
brouwer2__1375_16.min1.thm1
2017-02-06 12:45
2.1K
brouwer2__1394_40.min1.thm1
2017-02-06 12:45
594
brouwer2__1395_32.min1.thm1
2017-02-06 12:45
452
brouwer2__1395_32.min1.thm1.tptp
2017-02-06 16:48
366
brouwer2__1399_22.min1.thm1
2017-02-06 12:45
2.2K
brouwer2__1400_33.min1.thm1
2017-02-06 12:45
713
brouwer2__1404_21.min1.thm1
2017-02-06 12:45
878
brouwer2__1406_19.min1.thm1
2017-02-06 12:45
728
brouwer2__1407_34.min1.thm1
2017-02-06 12:45
1.5K
brouwer2__1421_28.min1.thm1
2017-02-06 12:45
813
brouwer2__1421_28.min1.thm1.tptp
2017-02-06 16:48
738
brouwer2__1434_22.min1.thm1
2017-02-06 12:45
1.7K
brouwer2__1437_17.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1443_32.min1.thm1
2017-02-06 12:45
434
brouwer2__1444_48.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__1445_14.min1.thm1
2017-02-06 12:45
372
brouwer2__1483_19.min1.thm1
2017-02-06 12:45
1.4K
brouwer2__1489_19.min1.thm1
2017-02-06 12:45
2.3K
brouwer2__1491_34.min1.thm1
2017-02-06 12:45
1.8K
brouwer2__1493_40.min1.thm1
2017-02-06 12:45
671
brouwer2__1498_29.min1.thm1
2017-02-06 12:45
942
brouwer2__1499_19.min1.thm1
2017-02-06 12:45
1.3K
brouwer2__1500_14.min1.thm1
2017-02-06 12:45
1.0K
brouwer2__1524_15.min1.thm1
2017-02-06 12:45
372
brouwer2__1531_28.min1.thm1
2017-02-06 12:45
2.2K
brouwer2__1537_11.min1.thm1
2017-02-06 12:45
1.1K
brouwer2__1541_22.min1.thm1
2017-02-06 12:45
1.6K
brouwer2__1550_20.min1.thm1
2017-02-06 12:45
2.4K
brouwer2__1551_37.min1.thm1
2017-02-06 12:45
453
brouwer2__1556_35.min1.thm1
2017-02-06 12:45
1.9K
brouwer2__1557_23.min1.thm1
2017-02-06 12:45
441
brouwer2__1557_23.min1.thm1.tptp
2017-02-06 16:48
358
brouwer2__1565_28.min1.thm1
2017-02-06 12:45
853
brouwer2__1565_28.min1.thm1.tptp
2017-02-06 16:48
778
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80