Index of /~mptp/1147/MPTP2/ilp0/ringcat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__59_14.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__62_14.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__80_23.min1.thm12017-02-06 12:46 2.2K 
[ ]ringcat1__81_19.min1.thm12017-02-06 12:46 4.1K 
[ ]ringcat1__88_23.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__89_19.min1.thm12017-02-06 12:46 4.3K 
[ ]ringcat1__92_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ringcat1__93_14.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__111_11.min1.thm12017-02-06 12:46 912  
[ ]ringcat1__111_11.min1.thm1.tptp2017-02-06 16:47 833  
[ ]ringcat1__114_11.min1.thm12017-02-06 12:46 912  
[ ]ringcat1__114_11.min1.thm1.tptp2017-02-06 16:47 833  
[ ]ringcat1__117_11.min1.thm12017-02-06 12:46 790  
[ ]ringcat1__117_11.min1.thm1.tptp2017-02-06 16:47 713  
[ ]ringcat1__126_20.min1.thm12017-02-06 12:46 675  
[ ]ringcat1__130_30.min1.thm12017-02-06 12:46 2.4K 
[ ]ringcat1__131_19.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__133_23.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__139_14.min1.thm12017-02-06 12:46 401  
[ ]ringcat1__139_14.min1.thm1.tptp2017-02-06 16:47 322  
[ ]ringcat1__201_22.min1.thm12017-02-06 12:46 454  
[ ]ringcat1__201_22.min1.thm1.tptp2017-02-06 16:47 377  
[ ]ringcat1__219_30.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__221_28.min1.thm12017-02-06 12:46 3.1K 
[ ]ringcat1__222_24.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__223_19.min1.thm12017-02-06 12:46 2.5K 
[ ]ringcat1__233_21.min1.thm12017-02-06 12:46 1.7K 
[ ]ringcat1__234_16.min1.thm12017-02-06 12:46 1.7K 
[ ]ringcat1__245_19.min1.thm12017-02-06 12:46 2.8K 
[ ]ringcat1__251_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__252_17.min1.thm12017-02-06 12:46 540  
[ ]ringcat1__263_38.min1.thm12017-02-06 12:46 547  
[ ]ringcat1__264_16.min1.thm12017-02-06 12:46 314  
[ ]ringcat1__264_16.min1.thm1.tptp2017-02-06 16:47 232  
[ ]ringcat1__265_16.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__266_31.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__267_14.min1.thm12017-02-06 12:46 346  
[ ]ringcat1__267_14.min1.thm1.tptp2017-02-06 16:47 260  
[ ]ringcat1__277_25.min1.thm12017-02-06 12:46 2.7K 
[ ]ringcat1__285_60.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__288_25.min1.thm12017-02-06 12:46 509  
[ ]ringcat1__290_13.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__292_17.min1.thm12017-02-06 12:46 3.9K 
[ ]ringcat1__306_17.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__306_17.min1.thm1.tptp2017-02-06 16:47 2.1K 
[ ]ringcat1__315_14.min1.thm12017-02-06 12:46 782  
[ ]ringcat1__323_25.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__323_33.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__324_25.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__324_33.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__325_56.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__327_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__337_16.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__339_16.min1.thm12017-02-06 12:46 310  
[ ]ringcat1__352_41.min1.thm12017-02-06 12:46 278  
[ ]ringcat1__354_50.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__356_16.min1.thm12017-02-06 12:46 664  
[ ]ringcat1__377_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__380_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__381_22.min1.thm12017-02-06 12:46 2.8K 
[ ]ringcat1__386_18.min1.thm12017-02-06 12:46 3.9K 
[ ]ringcat1__395_71.min1.thm12017-02-06 12:46 470  
[ ]ringcat1__410_43.min1.thm12017-02-06 12:46 578  
[ ]ringcat1__412_42.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__413_70.min1.thm12017-02-06 12:46 472  
[ ]ringcat1__415_42.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__416_51.min1.thm12017-02-06 12:46 3.9K 
[ ]ringcat1__417_14.min1.thm12017-02-06 12:46 3.9K 
[ ]ringcat1__429_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__430_61.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__432_48.min1.thm12017-02-06 12:46 3.4K 
[ ]ringcat1__434_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__437_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__438_61.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__440_48.min1.thm12017-02-06 12:46 3.4K 
[ ]ringcat1__442_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__446_17.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__458_37.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__460_37.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__461_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__462_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__466_13.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__467_17.min1.thm12017-02-06 12:46 3.4K 
[ ]ringcat1__478_14.min1.thm12017-02-06 12:46 2.8K 
[ ]ringcat1__490_43.min1.thm12017-02-06 12:46 613  
[ ]ringcat1__492_39.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__493_43.min1.thm12017-02-06 12:46 522  
[ ]ringcat1__493_43.min1.thm1.tptp2017-02-06 16:47 449  
[ ]ringcat1__495_36.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__510_24.min1.thm12017-02-06 12:46 3.5K 
[ ]ringcat1__511_16.min1.thm12017-02-06 12:46 3.5K 
[ ]ringcat1__525_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__527_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__529_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__536_21.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__537_19.min1.thm12017-02-06 12:46 2.5K 
[ ]ringcat1__539_21.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__544_14.min1.thm12017-02-06 12:46 454  
[ ]ringcat1__555_43.min1.thm12017-02-06 12:46 613  
[ ]ringcat1__556_43.min1.thm12017-02-06 12:46 522  
[ ]ringcat1__556_43.min1.thm1.tptp2017-02-06 16:47 449  
[ ]ringcat1__557_43.min1.thm12017-02-06 12:46 613  
[ ]ringcat1__558_15.min1.thm12017-02-06 12:46 506  
[ ]ringcat1__558_15.min1.thm1.tptp2017-02-06 16:47 433  
[ ]ringcat1__559_24.min1.thm12017-02-06 12:46 888  
[ ]ringcat1__561_14.min1.thm12017-02-06 12:46 660  
[ ]ringcat1__577_43.min1.thm12017-02-06 12:46 605  
[ ]ringcat1__579_36.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__588_43.min1.thm12017-02-06 12:46 605  
[ ]ringcat1__590_36.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__614_51.min1.thm12017-02-06 12:46 952  
[ ]ringcat1__615_19.min1.thm12017-02-06 12:46 812  
[ ]ringcat1__628_14.min1.thm12017-02-06 12:46 694  
[ ]ringcat1__628_14.min1.thm1.tptp2017-02-06 16:47 632  
[ ]ringcat1__637_23.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__638_16.min1.thm12017-02-06 12:46 908  
[ ]ringcat1__655_68.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__657_19.min1.thm12017-02-06 12:46 464  
[ ]ringcat1__657_19.min1.thm1.tptp2017-02-06 16:47 405  
[ ]ringcat1__668_14.min1.thm12017-02-06 12:46 529  
[ ]ringcat1__677_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__678_16.min1.thm12017-02-06 12:46 574  
[ ]ringcat1__686_63.min1.thm12017-02-06 12:46 445  
[ ]ringcat1__686_63.min1.thm1.tptp2017-02-06 16:47 389  
[ ]ringcat1__687_17.min1.thm12017-02-06 12:46 543  
[ ]ringcat1__698_48.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__700_18.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__709_25.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__715_65.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__716_52.min1.thm12017-02-06 12:46 516  
[ ]ringcat1__717_59.min1.thm12017-02-06 12:46 653  
[ ]ringcat1__718_19.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__726_58.min1.thm12017-02-06 12:46 575  
[ ]ringcat1__727_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__744_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ringcat1__745_48.min1.thm12017-02-06 12:46 2.4K 
[ ]ringcat1__746_38.min1.thm12017-02-06 12:46 1.7K 
[ ]ringcat1__747_38.min1.thm12017-02-06 12:46 428  
[ ]ringcat1__747_38.min1.thm1.tptp2017-02-06 16:47 348  
[ ]ringcat1__753_15.min1.thm12017-02-06 12:46 1.7K 
[ ]ringcat1__754_21.min1.thm12017-02-06 12:46 2.4K 
[ ]ringcat1__757_55.min1.thm12017-02-06 12:46 520  
[ ]ringcat1__761_42.min1.thm12017-02-06 12:46 302  
[ ]ringcat1__762_32.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__763_57.min1.thm12017-02-06 12:46 2.2K 
[ ]ringcat1__764_49.min1.thm12017-02-06 12:46 2.4K 
[ ]ringcat1__765_39.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__766_33.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__767_21.min1.thm12017-02-06 12:46 3.7K 
[ ]ringcat1__771_18.min1.thm12017-02-06 12:46 556  
[ ]ringcat1__782_36.min1.thm12017-02-06 12:46 421  
[ ]ringcat1__782_36.min1.thm1.tptp2017-02-06 16:47 340  
[ ]ringcat1__783_24.min1.thm12017-02-06 12:46 421  
[ ]ringcat1__783_24.min1.thm1.tptp2017-02-06 16:47 340  
[ ]ringcat1__786_34.min1.thm12017-02-06 12:46 417  
[ ]ringcat1__786_34.min1.thm1.tptp2017-02-06 16:47 336  
[ ]ringcat1__787_21.min1.thm12017-02-06 12:46 417  
[ ]ringcat1__787_21.min1.thm1.tptp2017-02-06 16:47 336  
[ ]ringcat1__789_19.min1.thm12017-02-06 12:46 374  
[ ]ringcat1__789_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ringcat1__797_14.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__807_24.min1.thm12017-02-06 12:46 1.8K 
[ ]ringcat1__808_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__846_40.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__852_40.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__855_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__867_51.min1.thm12017-02-06 12:46 927  
[ ]ringcat1__873_15.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__877_17.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__888_63.min1.thm12017-02-06 12:46 291  
[ ]ringcat1__893_18.min1.thm12017-02-06 12:46 366  
[ ]ringcat1__902_45.min1.thm12017-02-06 12:46 400  
[ ]ringcat1__903_34.min1.thm12017-02-06 12:46 549  
[ ]ringcat1__903_34.min1.thm1.tptp2017-02-06 16:47 482  
[ ]ringcat1__905_19.min1.thm12017-02-06 12:46 374  
[ ]ringcat1__905_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ringcat1__912_31.min1.thm12017-02-06 12:46 413  
[ ]ringcat1__912_31.min1.thm1.tptp2017-02-06 16:47 348  
[ ]ringcat1__913_17.min1.thm12017-02-06 12:46 621  
[ ]ringcat1__919_14.min1.thm12017-02-06 12:46 579  
[ ]ringcat1__928_13.min1.thm12017-02-06 12:46 766  
[ ]ringcat1__932_14.min1.thm12017-02-06 12:46 901  
[ ]ringcat1__940_68.min1.thm12017-02-06 12:46 761  
[ ]ringcat1__940_68.min1.thm1.tptp2017-02-06 16:47 702  
[ ]ringcat1__941_19.min1.thm12017-02-06 12:46 708  
[ ]ringcat1__941_19.min1.thm1.tptp2017-02-06 16:47 647  
[ ]ringcat1__969_17.min1.thm12017-02-06 12:46 547  
[ ]ringcat1__972_17.min1.thm12017-02-06 12:46 709  
[ ]ringcat1__974_38.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__975_23.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__984_23.min1.thm12017-02-06 12:46 657  
[ ]ringcat1__990_72.min1.thm12017-02-06 12:46 567  
[ ]ringcat1__990_72.min1.thm1.tptp2017-02-06 16:47 514  
[ ]ringcat1__991_36.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__993_52.min1.thm12017-02-06 12:46 540  
[ ]ringcat1__995_18.min1.thm12017-02-06 12:46 578  
[ ]ringcat1__995_18.min1.thm1.tptp2017-02-06 16:47 534  
[ ]ringcat1__1005_13.min1.thm12017-02-06 12:46 532  
[ ]ringcat1__1006_34.min1.thm12017-02-06 12:46 681  
[ ]ringcat1__1006_34.min1.thm1.tptp2017-02-06 16:47 628  
[ ]ringcat1__1008_19.min1.thm12017-02-06 12:46 374  
[ ]ringcat1__1008_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ringcat1__1025_43.min1.thm12017-02-06 12:46 302  
[ ]ringcat1__1026_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__1027_16.min1.thm12017-02-06 12:46 440  
[ ]ringcat1__1035_43.min1.thm12017-02-06 12:46 302  
[ ]ringcat1__1036_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__1037_16.min1.thm12017-02-06 12:46 440  
[ ]ringcat1__1062_18.min1.thm12017-02-06 12:46 502  
[ ]ringcat1__1071_22.min1.thm12017-02-06 12:46 594  
[ ]ringcat1__1071_22.min1.thm1.tptp2017-02-06 16:47 517  
[ ]ringcat1__1072_26.min1.thm12017-02-06 12:46 833  
[ ]ringcat1__1086_18.min1.thm12017-02-06 12:46 502  
[ ]ringcat1__1095_22.min1.thm12017-02-06 12:46 594  
[ ]ringcat1__1095_22.min1.thm1.tptp2017-02-06 16:47 517  
[ ]ringcat1__1096_26.min1.thm12017-02-06 12:46 833  
[ ]ringcat1__1120_19.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__1121_16.min1.thm12017-02-06 12:46 2.3K 
[ ]ringcat1__1122_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__1136_43.min1.thm12017-02-06 12:46 278  
[ ]ringcat1__1137_43.min1.thm12017-02-06 12:46 278  
[ ]ringcat1__1153_61.min1.thm12017-02-06 12:46 715  
[ ]ringcat1__1153_61.min1.thm1.tptp2017-02-06 16:47 676  
[ ]ringcat1__1159_18.min1.thm12017-02-06 12:46 1.4K 
[ ]ringcat1__1176_18.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__1177_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1178_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1181_23.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__1187_44.min1.thm12017-02-06 12:46 2.4K 
[ ]ringcat1__1188_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__1189_21.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__1196_18.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__1197_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1198_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1200_28.min1.thm12017-02-06 12:46 1.5K 
[ ]ringcat1__1285_40.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__1287_17.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__1306_47.min1.thm12017-02-06 12:46 2.1K 
[ ]ringcat1__1324_14.min1.thm12017-02-06 12:46 668  
[ ]ringcat1__1339_18.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__1350_15.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__1357_56.min1.thm12017-02-06 12:46 832  
[ ]ringcat1__1357_56.min1.thm1.tptp2017-02-06 16:47 764  
[ ]ringcat1__1359_42.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__1365_22.min1.thm12017-02-06 12:46 518  
[ ]ringcat1__1394_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__1395_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__1395_40.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__1402_19.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__1416_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ringcat1__1417_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ringcat1__1417_42.min1.thm12017-02-06 12:46 1.2K 
[ ]ringcat1__1423_19.min1.thm12017-02-06 12:46 2.0K 
[ ]ringcat1__1437_41.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__1442_44.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1444_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ringcat1__1456_40.min1.thm12017-02-06 12:46 1.6K 
[ ]ringcat1__1461_43.min1.thm12017-02-06 12:46 1.1K 
[ ]ringcat1__1466_53.min1.thm12017-02-06 12:46 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80