Index of /~mptp/1147/MPTP2/ilp0/clopban4
Name
Last modified
Size
Description
Parent Directory
-
clopban4__55_16.min1.thm1
2017-02-06 12:46
2.3K
clopban4__70_16.min1.thm1
2017-02-06 12:46
2.3K
clopban4__73_11.min1.thm1
2017-02-06 12:46
550
clopban4__73_11.min1.thm1.tptp
2017-02-06 16:48
468
clopban4__77_34.min1.thm1
2017-02-06 12:46
622
clopban4__77_34.min1.thm1.tptp
2017-02-06 16:48
545
clopban4__81_38.min1.thm1
2017-02-06 12:46
862
clopban4__83_14.min1.thm1
2017-02-06 12:46
1.3K
clopban4__83_14.min1.thm1.tptp
2017-02-06 16:48
1.2K
clopban4__97_39.min1.thm1
2017-02-06 12:46
1.8K
clopban4__100_26.min1.thm1
2017-02-06 12:46
1.9K
clopban4__102_27.min1.thm1
2017-02-06 12:46
1.8K
clopban4__103_39.min1.thm1
2017-02-06 12:46
1.8K
clopban4__106_26.min1.thm1
2017-02-06 12:46
1.9K
clopban4__108_27.min1.thm1
2017-02-06 12:46
1.8K
clopban4__109_19.min1.thm1
2017-02-06 12:46
1.1K
clopban4__109_19.min1.thm1.tptp
2017-02-06 16:48
1.0K
clopban4__112_13.min1.thm1
2017-02-06 12:46
2.2K
clopban4__117_13.min1.thm1
2017-02-06 12:46
2.2K
clopban4__121_11.min1.thm1
2017-02-06 12:46
964
clopban4__121_11.min1.thm1.tptp
2017-02-06 16:48
884
clopban4__123_14.min1.thm1
2017-02-06 12:46
1.0K
clopban4__123_14.min1.thm1.tptp
2017-02-06 16:48
1.0K
clopban4__137_35.min1.thm1
2017-02-06 12:46
2.2K
clopban4__138_17.min1.thm1
2017-02-06 12:46
2.1K
clopban4__153_14.min1.thm1
2017-02-06 12:46
428
clopban4__153_14.min1.thm1.tptp
2017-02-06 16:48
351
clopban4__154_30.min1.thm1
2017-02-06 12:46
1.6K
clopban4__169_23.min1.thm1
2017-02-06 12:46
2.4K
clopban4__175_26.min1.thm1
2017-02-06 12:46
690
clopban4__178_23.min1.thm1
2017-02-06 12:46
2.4K
clopban4__180_12.min1.thm1
2017-02-06 12:46
4.3K
clopban4__186_25.min1.thm1
2017-02-06 12:46
380
clopban4__187_21.min1.thm1
2017-02-06 12:46
3.3K
clopban4__197_10.min1.thm1
2017-02-06 12:46
2.0K
clopban4__200_36.min1.thm1
2017-02-06 12:46
873
clopban4__201_20.min1.thm1
2017-02-06 12:46
2.6K
clopban4__203_24.min1.thm1
2017-02-06 12:46
3.0K
clopban4__204_14.min1.thm1
2017-02-06 12:46
1.5K
clopban4__205_15.min1.thm1
2017-02-06 12:46
1.5K
clopban4__215_16.min1.thm1
2017-02-06 12:46
577
clopban4__220_16.min1.thm1
2017-02-06 12:46
1.3K
clopban4__225_10.min1.thm1
2017-02-06 12:46
3.5K
clopban4__233_17.min1.thm1
2017-02-06 12:46
1.3K
clopban4__242_21.min1.thm1
2017-02-06 12:46
3.2K
clopban4__249_34.min1.thm1
2017-02-06 12:46
847
clopban4__251_20.min1.thm1
2017-02-06 12:46
3.0K
clopban4__257_27.min1.thm1
2017-02-06 12:46
3.0K
clopban4__261_37.min1.thm1
2017-02-06 12:46
4.3K
clopban4__268_17.min1.thm1
2017-02-06 12:46
1.3K
clopban4__277_21.min1.thm1
2017-02-06 12:46
3.2K
clopban4__284_34.min1.thm1
2017-02-06 12:46
847
clopban4__286_20.min1.thm1
2017-02-06 12:46
3.0K
clopban4__292_27.min1.thm1
2017-02-06 12:46
3.0K
clopban4__296_38.min1.thm1
2017-02-06 12:46
4.2K
clopban4__307_21.min1.thm1
2017-02-06 12:46
3.2K
clopban4__308_17.min1.thm1
2017-02-06 12:46
1.3K
clopban4__319_34.min1.thm1
2017-02-06 12:46
1.0K
clopban4__320_22.min1.thm1
2017-02-06 12:46
3.4K
clopban4__328_29.min1.thm1
2017-02-06 12:46
3.0K
clopban4__332_40.min1.thm1
2017-02-06 12:46
4.3K
clopban4__335_22.min1.thm1
2017-02-06 12:46
1.7K
clopban4__346_21.min1.thm1
2017-02-06 12:46
3.2K
clopban4__347_17.min1.thm1
2017-02-06 12:46
1.3K
clopban4__358_34.min1.thm1
2017-02-06 12:46
1.0K
clopban4__359_22.min1.thm1
2017-02-06 12:46
3.4K
clopban4__367_29.min1.thm1
2017-02-06 12:46
3.0K
clopban4__371_39.min1.thm1
2017-02-06 12:46
4.2K
clopban4__374_22.min1.thm1
2017-02-06 12:46
1.7K
clopban4__384_23.min1.thm1
2017-02-06 12:46
2.4K
clopban4__393_26.min1.thm1
2017-02-06 12:46
710
clopban4__396_23.min1.thm1
2017-02-06 12:46
2.4K
clopban4__398_12.min1.thm1
2017-02-06 12:46
4.3K
clopban4__399_25.min1.thm1
2017-02-06 12:46
384
clopban4__400_21.min1.thm1
2017-02-06 12:46
4.6K
clopban4__401_18.min1.thm1
2017-02-06 12:46
1.9K
clopban4__414_16.min1.thm1
2017-02-06 12:46
1.5K
clopban4__415_17.min1.thm1
2017-02-06 12:46
1.6K
clopban4__422_20.min1.thm1
2017-02-06 12:46
2.6K
clopban4__431_12.min1.thm1
2017-02-06 12:46
2.0K
clopban4__434_36.min1.thm1
2017-02-06 12:46
1.0K
clopban4__435_24.min1.thm1
2017-02-06 12:46
3.4K
clopban4__436_18.min1.thm1
2017-02-06 12:46
598
clopban4__446_23.min1.thm1
2017-02-06 12:46
2.1K
clopban4__469_18.min1.thm1
2017-02-06 12:46
776
clopban4__473_33.min1.thm1
2017-02-06 12:46
2.4K
clopban4__476_8.min1.thm1
2017-02-06 12:46
672
clopban4__495_18.min1.thm1
2017-02-06 12:46
776
clopban4__499_34.min1.thm1
2017-02-06 12:46
2.4K
clopban4__502_8.min1.thm1
2017-02-06 12:46
672
clopban4__506_17.min1.thm1
2017-02-06 12:46
1.1K
clopban4__506_17.min1.thm1.tptp
2017-02-06 16:48
1.0K
clopban4__535_11.min1.thm1
2017-02-06 12:46
4.0K
clopban4__537_14.min1.thm1
2017-02-06 12:46
692
clopban4__537_14.min1.thm1.tptp
2017-02-06 16:48
611
clopban4__554_14.min1.thm1
2017-02-06 12:46
1.8K
clopban4__557_42.min1.thm1
2017-02-06 12:46
1.8K
clopban4__564_39.min1.thm1
2017-02-06 12:46
2.3K
clopban4__565_17.min1.thm1
2017-02-06 12:46
1.9K
clopban4__566_31.min1.thm1
2017-02-06 12:46
2.3K
clopban4__569_14.min1.thm1
2017-02-06 12:46
1.5K
clopban4__589_24.min1.thm1
2017-02-06 12:46
643
clopban4__590_42.min1.thm1
2017-02-06 12:46
2.6K
clopban4__591_30.min1.thm1
2017-02-06 12:46
1.2K
clopban4__592_32.min1.thm1
2017-02-06 12:46
574
clopban4__592_32.min1.thm1.tptp
2017-02-06 16:48
493
clopban4__593_48.min1.thm1
2017-02-06 12:46
5.0K
clopban4__596_63.min1.thm1
2017-02-06 12:46
786
clopban4__596_63.min1.thm1.tptp
2017-02-06 16:48
725
clopban4__623_33.min1.thm1
2017-02-06 12:46
707
clopban4__623_33.min1.thm1.tptp
2017-02-06 16:48
630
clopban4__624_21.min1.thm1
2017-02-06 12:46
888
clopban4__641_7.min1.thm1
2017-02-06 12:46
819
clopban4__642_42.min1.thm1
2017-02-06 12:46
133
clopban4__645_46.min1.thm1
2017-02-06 12:46
1.0K
clopban4__646_20.min1.thm1
2017-02-06 12:46
1.7K
clopban4__651_47.min1.thm1
2017-02-06 12:46
904
clopban4__652_19.min1.thm1
2017-02-06 12:46
1.3K
clopban4__654_19.min1.thm1
2017-02-06 12:46
1.3K
clopban4__664_9.min1.thm1
2017-02-06 12:46
854
clopban4__664_9.min1.thm1.tptp
2017-02-06 16:48
813
clopban4__665_37.min1.thm1
2017-02-06 12:46
1.9K
clopban4__671_27.min1.thm1
2017-02-06 12:46
3.0K
clopban4__672_14.min1.thm1
2017-02-06 12:46
818
clopban4__701_15.min1.thm1
2017-02-06 12:46
241
clopban4__704_66.min1.thm1
2017-02-06 12:46
1.2K
clopban4__705_22.min1.thm1
2017-02-06 12:46
1.2K
clopban4__709_29.min1.thm1
2017-02-06 12:46
955
clopban4__710_22.min1.thm1
2017-02-06 12:46
955
clopban4__742_15.min1.thm1
2017-02-06 12:46
241
clopban4__745_68.min1.thm1
2017-02-06 12:46
1.2K
clopban4__746_22.min1.thm1
2017-02-06 12:46
1.2K
clopban4__750_29.min1.thm1
2017-02-06 12:46
955
clopban4__751_22.min1.thm1
2017-02-06 12:46
955
clopban4__783_15.min1.thm1
2017-02-06 12:46
241
clopban4__786_70.min1.thm1
2017-02-06 12:46
1.2K
clopban4__787_22.min1.thm1
2017-02-06 12:46
1.2K
clopban4__791_29.min1.thm1
2017-02-06 12:46
959
clopban4__792_22.min1.thm1
2017-02-06 12:46
959
clopban4__825_15.min1.thm1
2017-02-06 12:46
241
clopban4__829_26.min1.thm1
2017-02-06 12:46
1.5K
clopban4__830_22.min1.thm1
2017-02-06 12:46
1.5K
clopban4__834_29.min1.thm1
2017-02-06 12:46
1.1K
clopban4__835_22.min1.thm1
2017-02-06 12:46
1.1K
clopban4__849_17.min1.thm1
2017-02-06 12:46
3.1K
clopban4__850_12.min1.thm1
2017-02-06 12:46
1.5K
clopban4__857_39.min1.thm1
2017-02-06 12:46
870
clopban4__857_39.min1.thm1.tptp
2017-02-06 16:48
799
clopban4__867_32.min1.thm1
2017-02-06 12:46
3.5K
clopban4__873_22.min1.thm1
2017-02-06 12:46
2.4K
clopban4__874_36.min1.thm1
2017-02-06 12:46
2.7K
clopban4__881_47.min1.thm1
2017-02-06 12:46
3.8K
clopban4__885_71.min1.thm1
2017-02-06 12:46
1.0K
clopban4__885_71.min1.thm1.tptp
2017-02-06 16:48
900
clopban4__889_16.min1.thm1
2017-02-06 12:46
1.9K
clopban4__890_29.min1.thm1
2017-02-06 12:46
1.5K
clopban4__891_13.min1.thm1
2017-02-06 12:46
1.7K
clopban4__892_8.min1.thm1
2017-02-06 12:46
580
clopban4__918_32.min1.thm1
2017-02-06 12:46
2.3K
clopban4__921_42.min1.thm1
2017-02-06 12:46
3.1K
clopban4__923_8.min1.thm1
2017-02-06 12:46
716
clopban4__925_14.min1.thm1
2017-02-06 12:46
841
clopban4__925_14.min1.thm1.tptp
2017-02-06 16:48
764
clopban4__939_14.min1.thm1
2017-02-06 12:46
1.8K
clopban4__961_15.min1.thm1
2017-02-06 12:46
2.0K
clopban4__965_30.min1.thm1
2017-02-06 12:46
3.1K
clopban4__967_22.min1.thm1
2017-02-06 12:46
1.8K
clopban4__971_24.min1.thm1
2017-02-06 12:46
2.5K
clopban4__973_36.min1.thm1
2017-02-06 12:46
2.2K
clopban4__974_26.min1.thm1
2017-02-06 12:46
2.3K
clopban4__995_35.min1.thm1
2017-02-06 12:46
2.2K
clopban4__996_26.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1013_73.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1017_70.min1.thm1
2017-02-06 12:46
4.1K
clopban4__1023_64.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1037_17.min1.thm1
2017-02-06 12:46
1.1K
clopban4__1040_28.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1043_21.min1.thm1
2017-02-06 12:46
2.6K
clopban4__1044_24.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1047_21.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1064_17.min1.thm1
2017-02-06 12:46
1.1K
clopban4__1067_12.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1067_12.min1.thm1.tptp
2017-02-06 16:48
1.7K
clopban4__1070_34.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1074_19.min1.thm1
2017-02-06 12:46
2.5K
clopban4__1075_20.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1076_22.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1080_19.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1102_73.min1.thm1
2017-02-06 12:46
1.1K
clopban4__1106_73.min1.thm1
2017-02-06 12:46
3.6K
clopban4__1113_23.min1.thm1
2017-02-06 12:46
2.1K
clopban4__1116_17.min1.thm1
2017-02-06 12:46
3.4K
clopban4__1118_20.min1.thm1
2017-02-06 12:46
3.0K
clopban4__1133_77.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1133_77.min1.thm1.tptp
2017-02-06 16:48
1.7K
clopban4__1138_15.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1157_17.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1192_12.min1.thm1
2017-02-06 12:46
2.9K
clopban4__1193_16.min1.thm1
2017-02-06 12:46
1.4K
clopban4__1194_7.min1.thm1
2017-02-06 12:46
772
clopban4__1201_28.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1202_19.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1205_12.min1.thm1
2017-02-06 12:46
727
clopban4__1205_12.min1.thm1.tptp
2017-02-06 16:48
645
clopban4__1207_14.min1.thm1
2017-02-06 12:46
761
clopban4__1207_14.min1.thm1.tptp
2017-02-06 16:48
684
clopban4__1216_48.min1.thm1
2017-02-06 12:46
1.2K
clopban4__1218_8.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1225_10.min1.thm1
2017-02-06 12:46
2.1K
clopban4__1247_62.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1247_62.min1.thm1.tptp
2017-02-06 16:48
1.6K
clopban4__1272_15.min1.thm1
2017-02-06 12:46
380
clopban4__1281_9.min1.thm1
2017-02-06 12:46
962
clopban4__1288_8.min1.thm1
2017-02-06 12:46
410
clopban4__1335_18.min1.thm1
2017-02-06 12:46
3.1K
clopban4__1337_13.min1.thm1
2017-02-06 12:46
754
clopban4__1343_28.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1344_19.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1353_14.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1355_15.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1358_67.min1.thm1
2017-02-06 12:46
4.0K
clopban4__1378_17.min1.thm1
2017-02-06 12:46
1.5K
clopban4__1378_17.min1.thm1.tptp
2017-02-06 16:48
1.4K
clopban4__1405_13.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1407_42.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1425_19.min1.thm1
2017-02-06 12:46
1.8K
clopban4__1428_44.min1.thm1
2017-02-06 12:46
4.9K
clopban4__1429_33.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1439_30.min1.thm1
2017-02-06 12:46
2.5K
clopban4__1443_25.min1.thm1
2017-02-06 12:46
5.6K
clopban4__1445_76.min1.thm1
2017-02-06 12:46
890
clopban4__1448_12.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1449_13.min1.thm1
2017-02-06 12:46
754
clopban4__1452_37.min1.thm1
2017-02-06 12:46
3.5K
clopban4__1453_27.min1.thm1
2017-02-06 12:46
1.7K
clopban4__1454_18.min1.thm1
2017-02-06 12:46
1.6K
clopban4__1457_11.min1.thm1
2017-02-06 12:46
839
clopban4__1457_11.min1.thm1.tptp
2017-02-06 16:48
757
clopban4__1459_14.min1.thm1
2017-02-06 12:46
873
clopban4__1459_14.min1.thm1.tptp
2017-02-06 16:48
796
clopban4__1507_19.min1.thm1
2017-02-06 12:46
1.3K
clopban4__1508_48.min1.thm1
2017-02-06 12:46
3.3K
clopban4__1511_11.min1.thm1
2017-02-06 12:46
2.9K
clopban4__1514_20.min1.thm1
2017-02-06 12:46
469
clopban4__1514_20.min1.thm1.tptp
2017-02-06 16:48
388
clopban4__1528_11.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1551_65.min1.thm1
2017-02-06 12:46
3.3K
clopban4__1554_25.min1.thm1
2017-02-06 12:46
3.2K
clopban4__1558_11.min1.thm1
2017-02-06 12:46
723
clopban4__1561_75.min1.thm1
2017-02-06 12:46
774
clopban4__1561_75.min1.thm1.tptp
2017-02-06 16:48
693
clopban4__1563_32.min1.thm1
2017-02-06 12:46
1.4K
clopban4__1572_64.min1.thm1
2017-02-06 12:46
1.9K
clopban4__1579_62.min1.thm1
2017-02-06 12:46
637
clopban4__1579_62.min1.thm1.tptp
2017-02-06 16:48
556
clopban4__1581_6.min1.thm1
2017-02-06 12:46
775
clopban4__1581_6.min1.thm1.tptp
2017-02-06 16:48
694
clopban4__1588_59.min1.thm1
2017-02-06 12:46
3.3K
clopban4__1617_31.min1.thm1
2017-02-06 12:46
574
clopban4__1617_31.min1.thm1.tptp
2017-02-06 16:48
493
clopban4__1627_30.min1.thm1
2017-02-06 12:46
383
clopban4__1629_32.min1.thm1
2017-02-06 12:46
1.3K
clopban4__1630_32.min1.thm1
2017-02-06 12:46
1.3K
clopban4__1633_45.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1642_36.min1.thm1
2017-02-06 12:46
1.4K
clopban4__1643_57.min1.thm1
2017-02-06 12:46
2.0K
clopban4__1673_7.min1.thm1
2017-02-06 12:46
1.3K
clopban4__1708_47.min1.thm1
2017-02-06 12:46
932
clopban4__1711_33.min1.thm1
2017-02-06 12:46
1.6K
clopban4__1719_33.min1.thm1
2017-02-06 12:46
1.6K
clopban4__1727_21.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1738_20.min1.thm1
2017-02-06 12:46
1.5K
clopban4__1741_22.min1.thm1
2017-02-06 12:46
3.3K
clopban4__1742_15.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1747_22.min1.thm1
2017-02-06 12:46
2.4K
clopban4__1751_17.min1.thm1
2017-02-06 12:46
2.5K
clopban4__1755_19.min1.thm1
2017-02-06 12:46
2.5K
clopban4__1764_21.min1.thm1
2017-02-06 12:46
3.4K
clopban4__1765_19.min1.thm1
2017-02-06 12:46
2.6K
clopban4__1803_14.min1.thm1
2017-02-06 12:46
652
clopban4__1813_56.min1.thm1
2017-02-06 12:46
776
clopban4__1818_54.min1.thm1
2017-02-06 12:46
741
clopban4__1818_54.min1.thm1.tptp
2017-02-06 16:48
664
clopban4__1823_55.min1.thm1
2017-02-06 12:46
759
clopban4__1823_55.min1.thm1.tptp
2017-02-06 16:48
678
clopban4__1830_71.min1.thm1
2017-02-06 12:46
2.0K
clopban4__1835_61.min1.thm1
2017-02-06 12:46
1.9K
clopban4__1836_32.min1.thm1
2017-02-06 12:46
1.0K
clopban4__1838_49.min1.thm1
2017-02-06 12:46
524
clopban4__1854_49.min1.thm1
2017-02-06 12:46
894
clopban4__1857_45.min1.thm1
2017-02-06 12:46
685
clopban4__1857_45.min1.thm1.tptp
2017-02-06 16:48
608
clopban4__1868_43.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1871_43.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1879_52.min1.thm1
2017-02-06 12:46
2.9K
clopban4__1880_38.min1.thm1
2017-02-06 12:46
2.8K
clopban4__1893_16.min1.thm1
2017-02-06 12:46
946
clopban4__1904_32.min1.thm1
2017-02-06 12:46
674
clopban4__1904_32.min1.thm1.tptp
2017-02-06 16:48
597
clopban4__1905_17.min1.thm1
2017-02-06 12:46
674
clopban4__1905_17.min1.thm1.tptp
2017-02-06 16:48
597
clopban4__1915_13.min1.thm1
2017-02-06 12:46
2.1K
clopban4__1919_37.min1.thm1
2017-02-06 12:46
2.2K
clopban4__1929_38.min1.thm1
2017-02-06 12:46
2.5K
clopban4__1930_31.min1.thm1
2017-02-06 12:46
2.8K
clopban4__1931_25.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1933_38.min1.thm1
2017-02-06 12:46
1.9K
clopban4__1934_31.min1.thm1
2017-02-06 12:46
2.8K
clopban4__1935_25.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1936_17.min1.thm1
2017-02-06 12:46
3.5K
clopban4__1949_35.min1.thm1
2017-02-06 12:46
2.1K
clopban4__1956_45.min1.thm1
2017-02-06 12:46
3.8K
clopban4__1957_39.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1958_41.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1963_27.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1964_20.min1.thm1
2017-02-06 12:46
2.7K
clopban4__1971_12.min1.thm1
2017-02-06 12:46
1.3K
clopban4__1971_12.min1.thm1.tptp
2017-02-06 16:48
1.2K
clopban4__1972_14.min1.thm1
2017-02-06 12:46
330
clopban4__1983_29.min1.thm1
2017-02-06 12:46
1.9K
clopban4__1984_38.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1986_12.min1.thm1
2017-02-06 12:46
1.2K
clopban4__1986_12.min1.thm1.tptp
2017-02-06 16:48
1.1K
clopban4__1987_37.min1.thm1
2017-02-06 12:46
2.3K
clopban4__1989_12.min1.thm1
2017-02-06 12:46
1.2K
clopban4__1989_12.min1.thm1.tptp
2017-02-06 16:48
1.1K
clopban4__1996_26.min1.thm1
2017-02-06 12:46
1.5K
clopban4__1997_26.min1.thm1
2017-02-06 12:46
1.5K
clopban4__1998_31.min1.thm1
2017-02-06 12:46
3.3K
clopban4__2000_31.min1.thm1
2017-02-06 12:46
3.4K
clopban4__2009_34.min1.thm1
2017-02-06 12:46
411
clopban4__2012_17.min1.thm1
2017-02-06 12:46
2.2K
clopban4__2022_34.min1.thm1
2017-02-06 12:46
411
clopban4__2023_30.min1.thm1
2017-02-06 12:46
1.6K
clopban4__2025_39.min1.thm1
2017-02-06 12:46
2.6K
clopban4__2028_39.min1.thm1
2017-02-06 12:46
2.6K
clopban4__2030_34.min1.thm1
2017-02-06 12:46
621
clopban4__2031_16.min1.thm1
2017-02-06 12:46
3.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80