Index of /~mptp/1147/MPTP2/ilp0/revrot_1
Name
Last modified
Size
Description
Parent Directory
-
revrot_1__66_23.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__67_17.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__68_18.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__75_22.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__76_16.min1.thm1
2017-02-06 12:46
937
revrot_1__77_15.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__88_57.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__90_58.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__91_39.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__92_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__98_7.min1.thm1
2017-02-06 12:46
330
revrot_1__105_19.min1.thm1
2017-02-06 12:46
856
revrot_1__123_24.min1.thm1
2017-02-06 12:46
369
revrot_1__123_24.min1.thm1.tptp
2017-02-06 16:47
283
revrot_1__124_22.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__129_17.min1.thm1
2017-02-06 12:46
624
revrot_1__130_24.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__142_18.min1.thm1
2017-02-06 12:46
566
revrot_1__143_21.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__145_14.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__157_39.min1.thm1
2017-02-06 12:46
677
revrot_1__158_17.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__159_11.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__170_33.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__172_22.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__180_26.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__191_19.min1.thm1
2017-02-06 12:46
935
revrot_1__193_32.min1.thm1
2017-02-06 12:46
2.6K
revrot_1__204_31.min1.thm1
2017-02-06 12:46
756
revrot_1__205_14.min1.thm1
2017-02-06 12:46
634
revrot_1__206_24.min1.thm1
2017-02-06 12:46
756
revrot_1__207_28.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__224_21.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__225_21.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__240_21.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__254_22.min1.thm1
2017-02-06 12:46
613
revrot_1__257_23.min1.thm1
2017-02-06 12:46
967
revrot_1__273_23.min1.thm1
2017-02-06 12:46
764
revrot_1__276_22.min1.thm1
2017-02-06 12:46
705
revrot_1__277_24.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__280_29.min1.thm1
2017-02-06 12:46
2.6K
revrot_1__283_20.min1.thm1
2017-02-06 12:46
968
revrot_1__284_38.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__290_24.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__305_33.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__310_48.min1.thm1
2017-02-06 12:46
3.8K
revrot_1__311_40.min1.thm1
2017-02-06 12:46
3.3K
revrot_1__327_34.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__328_20.min1.thm1
2017-02-06 12:46
967
revrot_1__329_20.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__333_26.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__340_23.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__343_11.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__350_11.min1.thm1
2017-02-06 12:46
247
revrot_1__357_22.min1.thm1
2017-02-06 12:46
767
revrot_1__359_21.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__374_28.min1.thm1
2017-02-06 12:46
621
revrot_1__386_11.min1.thm1
2017-02-06 12:46
391
revrot_1__390_13.min1.thm1
2017-02-06 12:46
570
revrot_1__394_54.min1.thm1
2017-02-06 12:46
924
revrot_1__395_13.min1.thm1
2017-02-06 12:46
570
revrot_1__400_23.min1.thm1
2017-02-06 12:46
862
revrot_1__401_22.min1.thm1
2017-02-06 12:46
616
revrot_1__405_24.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__408_30.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__410_17.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__412_36.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__420_16.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__423_39.min1.thm1
2017-02-06 12:46
932
revrot_1__425_27.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__429_25.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__430_23.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__432_19.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__436_20.min1.thm1
2017-02-06 12:46
906
revrot_1__438_31.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__442_28.min1.thm1
2017-02-06 12:46
2.6K
revrot_1__443_73.min1.thm1
2017-02-06 12:46
3.3K
revrot_1__445_61.min1.thm1
2017-02-06 12:46
3.2K
revrot_1__446_57.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__448_30.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__465_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__467_35.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__468_14.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__477_16.min1.thm1
2017-02-06 12:46
618
revrot_1__478_35.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__495_34.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__496_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__497_20.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__501_27.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__508_23.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__511_11.min1.thm1
2017-02-06 12:46
2.3K
revrot_1__521_15.min1.thm1
2017-02-06 12:46
496
revrot_1__523_26.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__524_30.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__526_16.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__527_21.min1.thm1
2017-02-06 12:46
972
revrot_1__528_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__538_13.min1.thm1
2017-02-06 12:46
251
revrot_1__545_32.min1.thm1
2017-02-06 12:46
786
revrot_1__549_21.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__550_19.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__551_19.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__552_15.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__553_15.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__556_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__557_24.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__570_38.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__574_38.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__587_31.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__592_38.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__596_34.min1.thm1
2017-02-06 12:46
3.5K
revrot_1__609_31.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__614_38.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__618_34.min1.thm1
2017-02-06 12:46
3.5K
revrot_1__631_31.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__634_31.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__635_34.min1.thm1
2017-02-06 12:46
3.5K
revrot_1__639_34.min1.thm1
2017-02-06 12:46
3.5K
revrot_1__658_11.min1.thm1
2017-02-06 12:46
528
revrot_1__659_20.min1.thm1
2017-02-06 12:46
913
revrot_1__661_40.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__662_19.min1.thm1
2017-02-06 12:46
363
revrot_1__662_19.min1.thm1.tptp
2017-02-06 16:47
285
revrot_1__663_17.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__664_17.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__672_53.min1.thm1
2017-02-06 12:46
420
revrot_1__672_53.min1.thm1.tptp
2017-02-06 16:47
338
revrot_1__674_30.min1.thm1
2017-02-06 12:46
391
revrot_1__674_30.min1.thm1.tptp
2017-02-06 16:47
313
revrot_1__675_31.min1.thm1
2017-02-06 12:46
593
revrot_1__686_27.min1.thm1
2017-02-06 12:46
421
revrot_1__686_27.min1.thm1.tptp
2017-02-06 16:47
344
revrot_1__691_23.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__694_25.min1.thm1
2017-02-06 12:46
421
revrot_1__694_25.min1.thm1.tptp
2017-02-06 16:47
344
revrot_1__698_17.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__699_35.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__700_16.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__702_17.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__717_27.min1.thm1
2017-02-06 12:46
421
revrot_1__717_27.min1.thm1.tptp
2017-02-06 16:47
344
revrot_1__722_23.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__725_25.min1.thm1
2017-02-06 12:46
421
revrot_1__725_25.min1.thm1.tptp
2017-02-06 16:47
344
revrot_1__729_17.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__730_35.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__731_16.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__733_17.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__754_13.min1.thm1
2017-02-06 12:46
251
revrot_1__761_32.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__765_17.min1.thm1
2017-02-06 12:46
911
revrot_1__766_17.min1.thm1
2017-02-06 12:46
404
revrot_1__769_17.min1.thm1
2017-02-06 12:46
395
revrot_1__778_36.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__807_26.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__815_18.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__831_31.min1.thm1
2017-02-06 12:46
2.0K
revrot_1__839_28.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__842_54.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__843_27.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__846_31.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__880_11.min1.thm1
2017-02-06 12:46
247
revrot_1__887_35.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__901_11.min1.thm1
2017-02-06 12:46
247
revrot_1__908_35.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__923_17.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__924_61.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__925_15.min1.thm1
2017-02-06 12:46
628
revrot_1__925_15.min1.thm1.tptp
2017-02-06 16:47
553
revrot_1__933_11.min1.thm1
2017-02-06 12:46
421
revrot_1__936_48.min1.thm1
2017-02-06 12:46
2.0K
revrot_1__942_25.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__943_30.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__944_22.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__945_22.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__955_22.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__957_21.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__958_23.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__962_43.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__963_18.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__974_20.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__976_19.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__998_19.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__1000_22.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__1001_21.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__1008_16.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1011_23.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1016_13.min1.thm1
2017-02-06 12:46
875
revrot_1__1017_31.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__1020_27.min1.thm1
2017-02-06 12:46
2.0K
revrot_1__1026_41.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1029_29.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__1030_22.min1.thm1
2017-02-06 12:46
841
revrot_1__1031_29.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__1035_23.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__1036_29.min1.thm1
2017-02-06 12:46
2.0K
revrot_1__1045_22.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1060_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1072_30.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1074_22.min1.thm1
2017-02-06 12:46
3.2K
revrot_1__1099_13.min1.thm1
2017-02-06 12:46
639
revrot_1__1107_21.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1112_22.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1113_21.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1123_18.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1124_22.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__1127_17.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1129_14.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__1130_22.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1131_22.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__1134_17.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1138_18.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__1140_20.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1144_25.min1.thm1
2017-02-06 12:46
721
revrot_1__1149_26.min1.thm1
2017-02-06 12:46
3.5K
revrot_1__1152_19.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__1156_23.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1158_32.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1159_62.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__1160_35.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1174_30.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1175_33.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1180_28.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1220_22.min1.thm1
2017-02-06 12:46
688
revrot_1__1224_32.min1.thm1
2017-02-06 12:46
3.4K
revrot_1__1250_18.min1.thm1
2017-02-06 12:46
676
revrot_1__1261_13.min1.thm1
2017-02-06 12:46
251
revrot_1__1271_17.min1.thm1
2017-02-06 12:46
404
revrot_1__1272_18.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__1279_34.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1280_20.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1282_22.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__1284_20.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__1298_72.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__1300_28.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1327_26.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__1346_27.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__1370_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1384_11.min1.thm1
2017-02-06 12:46
2.3K
revrot_1__1391_11.min1.thm1
2017-02-06 12:46
247
revrot_1__1402_22.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1405_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1412_20.min1.thm1
2017-02-06 12:46
3.3K
revrot_1__1413_17.min1.thm1
2017-02-06 12:46
393
revrot_1__1453_18.min1.thm1
2017-02-06 12:46
3.3K
revrot_1__1454_15.min1.thm1
2017-02-06 12:46
299
revrot_1__1457_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1460_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1489_30.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1499_30.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1500_30.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1501_11.min1.thm1
2017-02-06 12:46
247
revrot_1__1509_20.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1510_16.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1524_17.min1.thm1
2017-02-06 12:46
3.0K
revrot_1__1540_36.min1.thm1
2017-02-06 12:46
444
revrot_1__1558_36.min1.thm1
2017-02-06 12:46
444
revrot_1__1574_17.min1.thm1
2017-02-06 12:46
389
revrot_1__1587_21.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1622_39.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1623_35.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__1653_15.min1.thm1
2017-02-06 12:46
2.2K
revrot_1__1667_34.min1.thm1
2017-02-06 12:46
431
revrot_1__1682_34.min1.thm1
2017-02-06 12:46
431
revrot_1__1698_15.min1.thm1
2017-02-06 12:46
295
revrot_1__1736_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1760_55.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__1761_55.min1.thm1
2017-02-06 12:46
2.0K
revrot_1__1775_20.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__1778_19.min1.thm1
2017-02-06 12:46
3.4K
revrot_1__1779_10.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1781_16.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__1789_29.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1799_36.min1.thm1
2017-02-06 12:46
215
revrot_1__1805_31.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1842_35.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__1845_52.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1853_32.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1854_20.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1855_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1860_20.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__1869_47.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__1873_19.min1.thm1
2017-02-06 12:46
5.2K
revrot_1__1882_35.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__1883_53.min1.thm1
2017-02-06 12:46
4.4K
revrot_1__1895_18.min1.thm1
2017-02-06 12:46
3.6K
revrot_1__1897_21.min1.thm1
2017-02-06 12:46
2.5K
revrot_1__1898_22.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__1903_48.min1.thm1
2017-02-06 12:46
1.8K
revrot_1__1904_18.min1.thm1
2017-02-06 12:46
3.4K
revrot_1__1913_24.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__1919_42.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1925_17.min1.thm1
2017-02-06 12:46
2.9K
revrot_1__1936_25.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1937_29.min1.thm1
2017-02-06 12:46
3.1K
revrot_1__1940_27.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__1953_42.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1959_17.min1.thm1
2017-02-06 12:46
1.1K
revrot_1__1963_36.min1.thm1
2017-02-06 12:46
1.4K
revrot_1__1973_69.min1.thm1
2017-02-06 12:46
1.9K
revrot_1__1979_15.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__1984_26.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1985_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1986_17.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__1997_52.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__1998_26.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__1999_13.min1.thm1
2017-02-06 12:46
367
revrot_1__2005_10.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__2012_31.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__2015_23.min1.thm1
2017-02-06 12:46
1.6K
revrot_1__2019_32.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__2020_26.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__2024_47.min1.thm1
2017-02-06 12:46
2.1K
revrot_1__2027_20.min1.thm1
2017-02-06 12:46
2.4K
revrot_1__2039_47.min1.thm1
2017-02-06 12:46
1.0K
revrot_1__2039_47.min1.thm1.tptp
2017-02-06 16:47
936
revrot_1__2042_10.min1.thm1
2017-02-06 12:46
3.3K
revrot_1__2052_11.min1.thm1
2017-02-06 12:46
363
revrot_1__2055_19.min1.thm1
2017-02-06 12:46
1.3K
revrot_1__2062_54.min1.thm1
2017-02-06 12:46
1.7K
revrot_1__2063_39.min1.thm1
2017-02-06 12:46
2.6K
revrot_1__2081_31.min1.thm1
2017-02-06 12:46
1.5K
revrot_1__2084_26.min1.thm1
2017-02-06 12:46
1.2K
revrot_1__2086_26.min1.thm1
2017-02-06 12:46
2.8K
revrot_1__2088_31.min1.thm1
2017-02-06 12:46
2.6K
revrot_1__2090_33.min1.thm1
2017-02-06 12:46
2.7K
revrot_1__2108_29.min1.thm1
2017-02-06 12:46
2.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80