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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]altcat_1__42_29.min1.thm12017-02-06 12:46 368  
[   ]altcat_1__42_29.min1.thm1.tptp2017-02-06 16:48 294  
[   ]altcat_1__43_17.min1.thm12017-02-06 12:46 758  
[   ]altcat_1__52_50.min1.thm12017-02-06 12:46 558  
[   ]altcat_1__52_50.min1.thm1.tptp2017-02-06 16:48 487  
[   ]altcat_1__53_14.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__54_27.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__56_26.min1.thm12017-02-06 12:46 272  
[   ]altcat_1__57_17.min1.thm12017-02-06 12:46 398  
[   ]altcat_1__57_17.min1.thm1.tptp2017-02-06 16:48 320  
[   ]altcat_1__68_64.min1.thm12017-02-06 12:46 647  
[   ]altcat_1__70_22.min1.thm12017-02-06 12:46 537  
[   ]altcat_1__72_20.min1.thm12017-02-06 12:46 603  
[   ]altcat_1__73_62.min1.thm12017-02-06 12:46 647  
[   ]altcat_1__75_22.min1.thm12017-02-06 12:46 881  
[   ]altcat_1__76_17.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__87_22.min1.thm12017-02-06 12:46 420  
[   ]altcat_1__88_38.min1.thm12017-02-06 12:46 420  
[   ]altcat_1__89_17.min1.thm12017-02-06 12:46 779  
[   ]altcat_1__100_26.min1.thm12017-02-06 12:46 960  
[   ]altcat_1__111_49.min1.thm12017-02-06 12:46 967  
[   ]altcat_1__117_27.min1.thm12017-02-06 12:46 584  
[   ]altcat_1__118_27.min1.thm12017-02-06 12:46 524  
[   ]altcat_1__119_17.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__130_16.min1.thm12017-02-06 12:46 655  
[   ]altcat_1__141_53.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__145_41.min1.thm12017-02-06 12:46 639  
[   ]altcat_1__146_21.min1.thm12017-02-06 12:46 488  
[   ]altcat_1__147_21.min1.thm12017-02-06 12:46 413  
[   ]altcat_1__147_21.min1.thm1.tptp2017-02-06 16:48 343  
[   ]altcat_1__150_33.min1.thm12017-02-06 12:46 888  
[   ]altcat_1__151_31.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__152_18.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__163_16.min1.thm12017-02-06 12:46 812  
[   ]altcat_1__177_51.min1.thm12017-02-06 12:46 683  
[   ]altcat_1__180_25.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__181_19.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__182_15.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__184_38.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__196_57.min1.thm12017-02-06 12:46 529  
[   ]altcat_1__196_57.min1.thm1.tptp2017-02-06 16:48 483  
[   ]altcat_1__211_41.min1.thm12017-02-06 12:46 625  
[   ]altcat_1__214_27.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__215_21.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__216_15.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__218_42.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__219_17.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__223_24.min1.thm12017-02-06 12:46 786  
[   ]altcat_1__228_45.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__228_53.min1.thm12017-02-06 12:46 720  
[   ]altcat_1__249_13.min1.thm12017-02-06 12:46 131  
[   ]altcat_1__280_16.min1.thm12017-02-06 12:46 906  
[   ]altcat_1__291_35.min1.thm12017-02-06 12:46 720  
[   ]altcat_1__291_35.min1.thm1.tptp2017-02-06 16:48 653  
[   ]altcat_1__292_24.min1.thm12017-02-06 12:46 720  
[   ]altcat_1__292_24.min1.thm1.tptp2017-02-06 16:48 653  
[   ]altcat_1__294_20.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__305_16.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__318_47.min1.thm12017-02-06 12:46 852  
[   ]altcat_1__318_47.min1.thm1.tptp2017-02-06 16:48 785  
[   ]altcat_1__319_24.min1.thm12017-02-06 12:46 852  
[   ]altcat_1__319_24.min1.thm1.tptp2017-02-06 16:48 785  
[   ]altcat_1__321_20.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__339_36.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__384_37.min1.thm12017-02-06 12:46 963  
[   ]altcat_1__385_55.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__400_65.min1.thm12017-02-06 12:46 536  
[   ]altcat_1__400_65.min1.thm1.tptp2017-02-06 16:48 455  
[   ]altcat_1__403_37.min1.thm12017-02-06 12:46 423  
[   ]altcat_1__403_37.min1.thm1.tptp2017-02-06 16:48 337  
[   ]altcat_1__404_37.min1.thm12017-02-06 12:46 423  
[   ]altcat_1__404_37.min1.thm1.tptp2017-02-06 16:48 337  
[   ]altcat_1__405_35.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__408_13.min1.thm12017-02-06 12:46 131  
[   ]altcat_1__423_13.min1.thm12017-02-06 12:46 265  
[   ]altcat_1__427_31.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__428_56.min1.thm12017-02-06 12:46 834  
[   ]altcat_1__428_56.min1.thm1.tptp2017-02-06 16:48 753  
[   ]altcat_1__431_20.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__435_60.min1.thm12017-02-06 12:46 556  
[   ]altcat_1__445_25.min1.thm12017-02-06 12:46 916  
[   ]altcat_1__447_33.min1.thm12017-02-06 12:46 737  
[   ]altcat_1__448_52.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__449_24.min1.thm12017-02-06 12:46 2.0K 
[   ]altcat_1__450_19.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__451_20.min1.thm12017-02-06 12:46 945  
[   ]altcat_1__453_56.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__458_23.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__460_31.min1.thm12017-02-06 12:46 727  
[   ]altcat_1__461_50.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__463_23.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__464_27.min1.thm12017-02-06 12:46 2.0K 
[   ]altcat_1__465_17.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__478_20.min1.thm12017-02-06 12:46 724  
[   ]altcat_1__479_24.min1.thm12017-02-06 12:46 673  
[   ]altcat_1__483_11.min1.thm12017-02-06 12:46 476  
[   ]altcat_1__499_25.min1.thm12017-02-06 12:46 618  
[   ]altcat_1__500_29.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__504_24.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__508_16.min1.thm12017-02-06 12:46 674  
[   ]altcat_1__513_13.min1.thm12017-02-06 12:46 694  
[   ]altcat_1__530_43.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__545_36.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__549_18.min1.thm12017-02-06 12:46 687  
[   ]altcat_1__551_15.min1.thm12017-02-06 12:46 367  
[   ]altcat_1__551_15.min1.thm1.tptp2017-02-06 16:48 302  
[   ]altcat_1__552_18.min1.thm12017-02-06 12:46 688  
[   ]altcat_1__553_33.min1.thm12017-02-06 12:46 507  
[   ]altcat_1__554_20.min1.thm12017-02-06 12:46 965  
[   ]altcat_1__555_19.min1.thm12017-02-06 12:46 369  
[   ]altcat_1__555_19.min1.thm1.tptp2017-02-06 16:48 304  
[   ]altcat_1__557_73.min1.thm12017-02-06 12:46 2.1K 
[   ]altcat_1__559_17.min1.thm12017-02-06 12:46 3.0K 
[   ]altcat_1__580_17.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__606_11.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__618_21.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__620_62.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__623_13.min1.thm12017-02-06 12:46 369  
[   ]altcat_1__626_37.min1.thm12017-02-06 12:46 692  
[   ]altcat_1__626_37.min1.thm1.tptp2017-02-06 16:48 622  
[   ]altcat_1__629_20.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__631_46.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__633_37.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__638_31.min1.thm12017-02-06 12:46 972  
[   ]altcat_1__644_20.min1.thm12017-02-06 12:46 269  
[   ]altcat_1__646_13.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__647_22.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__654_11.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__675_39.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__712_28.min1.thm12017-02-06 12:46 876  
[   ]altcat_1__716_27.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__717_49.min1.thm12017-02-06 12:46 788  
[   ]altcat_1__717_49.min1.thm1.tptp2017-02-06 16:48 721  
[   ]altcat_1__718_18.min1.thm12017-02-06 12:46 869  
[   ]altcat_1__720_56.min1.thm12017-02-06 12:46 786  
[   ]altcat_1__720_56.min1.thm1.tptp2017-02-06 16:48 698  
[   ]altcat_1__723_37.min1.thm12017-02-06 12:46 752  
[   ]altcat_1__723_37.min1.thm1.tptp2017-02-06 16:48 682  
[   ]altcat_1__730_35.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__732_27.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__733_49.min1.thm12017-02-06 12:46 942  
[   ]altcat_1__734_60.min1.thm12017-02-06 12:46 830  
[   ]altcat_1__737_23.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__738_33.min1.thm12017-02-06 12:46 608  
[   ]altcat_1__740_26.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__743_8.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__757_13.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__759_69.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__761_29.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__763_18.min1.thm12017-02-06 12:46 2.3K 
[   ]altcat_1__776_55.min1.thm12017-02-06 12:46 570  
[   ]altcat_1__777_50.min1.thm12017-02-06 12:46 570  
[   ]altcat_1__778_47.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__778_66.min1.thm12017-02-06 12:46 694  
[   ]altcat_1__779_23.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__780_35.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__786_63.min1.thm12017-02-06 12:46 691  
[   ]altcat_1__787_58.min1.thm12017-02-06 12:46 691  
[   ]altcat_1__819_30.min1.thm12017-02-06 12:46 719  
[   ]altcat_1__820_19.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__825_61.min1.thm12017-02-06 12:46 867  
[   ]altcat_1__832_29.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__833_54.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__835_23.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__838_22.min1.thm12017-02-06 12:46 2.0K 
[   ]altcat_1__842_23.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__844_23.min1.thm12017-02-06 12:46 2.0K 
[   ]altcat_1__847_23.min1.thm12017-02-06 12:46 2.0K 
[   ]altcat_1__852_20.min1.thm12017-02-06 12:46 765  
[   ]altcat_1__859_43.min1.thm12017-02-06 12:46 309  
[   ]altcat_1__861_30.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__862_28.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__863_47.min1.thm12017-02-06 12:46 638  
[   ]altcat_1__865_43.min1.thm12017-02-06 12:46 309  
[   ]altcat_1__869_29.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__876_41.min1.thm12017-02-06 12:46 301  
[   ]altcat_1__878_30.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__879_26.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__880_45.min1.thm12017-02-06 12:46 614  
[   ]altcat_1__882_41.min1.thm12017-02-06 12:46 301  
[   ]altcat_1__886_27.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__898_18.min1.thm12017-02-06 12:46 734  
[   ]altcat_1__908_60.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__909_58.min1.thm12017-02-06 12:46 918  
[   ]altcat_1__919_37.min1.thm12017-02-06 12:46 575  
[   ]altcat_1__919_37.min1.thm1.tptp2017-02-06 16:48 504  
[   ]altcat_1__924_14.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__930_14.min1.thm12017-02-06 12:46 476  
[   ]altcat_1__930_14.min1.thm1.tptp2017-02-06 16:48 397  
[   ]altcat_1__945_13.min1.thm12017-02-06 12:46 493  
[   ]altcat_1__948_26.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__953_24.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__956_62.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__960_74.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__972_50.min1.thm12017-02-06 12:46 476  
[   ]altcat_1__972_50.min1.thm1.tptp2017-02-06 16:48 398  
[   ]altcat_1__973_50.min1.thm12017-02-06 12:46 476  
[   ]altcat_1__973_50.min1.thm1.tptp2017-02-06 16:48 398  
[   ]altcat_1__974_48.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__993_15.min1.thm12017-02-06 12:46 317  
[   ]altcat_1__996_23.min1.thm12017-02-06 12:46 470  
[   ]altcat_1__996_23.min1.thm1.tptp2017-02-06 16:48 387  
[   ]altcat_1__1006_67.min1.thm12017-02-06 12:46 2.1K 
[   ]altcat_1__1008_26.min1.thm12017-02-06 12:46 761  
[   ]altcat_1__1009_23.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__1034_40.min1.thm12017-02-06 12:46 579  
[   ]altcat_1__1034_40.min1.thm1.tptp2017-02-06 16:48 508  
[   ]altcat_1__1039_38.min1.thm12017-02-06 12:46 930  
[   ]altcat_1__1045_13.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__1049_39.min1.thm12017-02-06 12:46 579  
[   ]altcat_1__1049_39.min1.thm1.tptp2017-02-06 16:48 508  
[   ]altcat_1__1054_38.min1.thm12017-02-06 12:46 930  
[   ]altcat_1__1060_20.min1.thm12017-02-06 12:46 601  
[   ]altcat_1__1061_48.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__1063_13.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1064_16.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1066_14.min1.thm12017-02-06 12:46 1.7K 
[   ]altcat_1__1076_18.min1.thm12017-02-06 12:46 597  
[   ]altcat_1__1077_14.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1088_37.min1.thm12017-02-06 12:46 575  
[   ]altcat_1__1088_37.min1.thm1.tptp2017-02-06 16:48 504  
[   ]altcat_1__1093_38.min1.thm12017-02-06 12:46 914  
[   ]altcat_1__1094_24.min1.thm12017-02-06 12:46 653  
[   ]altcat_1__1097_16.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1099_11.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__1116_35.min1.thm12017-02-06 12:46 543  
[   ]altcat_1__1116_35.min1.thm1.tptp2017-02-06 16:48 468  
[   ]altcat_1__1154_48.min1.thm12017-02-06 12:46 966  
[   ]altcat_1__1156_26.min1.thm12017-02-06 12:46 637  
[   ]altcat_1__1158_21.min1.thm12017-02-06 12:46 536  
[   ]altcat_1__1159_26.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1161_44.min1.thm12017-02-06 12:46 710  
[   ]altcat_1__1163_32.min1.thm12017-02-06 12:46 648  
[   ]altcat_1__1163_32.min1.thm1.tptp2017-02-06 16:48 602  
[   ]altcat_1__1168_24.min1.thm12017-02-06 12:46 499  
[   ]altcat_1__1168_24.min1.thm1.tptp2017-02-06 16:48 422  
[   ]altcat_1__1169_14.min1.thm12017-02-06 12:46 410  
[   ]altcat_1__1169_14.min1.thm1.tptp2017-02-06 16:48 327  
[   ]altcat_1__1181_18.min1.thm12017-02-06 12:46 957  
[   ]altcat_1__1188_39.min1.thm12017-02-06 12:46 778  
[   ]altcat_1__1191_13.min1.thm12017-02-06 12:46 609  
[   ]altcat_1__1192_31.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1194_46.min1.thm12017-02-06 12:46 326  
[   ]altcat_1__1194_46.min1.thm1.tptp2017-02-06 16:48 243  
[   ]altcat_1__1199_14.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1204_14.min1.thm12017-02-06 12:46 845  
[   ]altcat_1__1232_44.min1.thm12017-02-06 12:46 554  
[   ]altcat_1__1232_44.min1.thm1.tptp2017-02-06 16:48 476  
[   ]altcat_1__1233_15.min1.thm12017-02-06 12:46 319  
[   ]altcat_1__1237_47.min1.thm12017-02-06 12:46 634  
[   ]altcat_1__1237_47.min1.thm1.tptp2017-02-06 16:48 564  
[   ]altcat_1__1238_23.min1.thm12017-02-06 12:46 429  
[   ]altcat_1__1239_29.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1240_68.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1241_53.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1242_38.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1243_37.min1.thm12017-02-06 12:46 1.9K 
[   ]altcat_1__1245_41.min1.thm12017-02-06 12:46 2.1K 
[   ]altcat_1__1247_31.min1.thm12017-02-06 12:46 624  
[   ]altcat_1__1248_43.min1.thm12017-02-06 12:46 873  
[   ]altcat_1__1254_22.min1.thm12017-02-06 12:46 418  
[   ]altcat_1__1257_38.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1258_72.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1259_22.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1264_38.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1265_72.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1266_57.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__1267_22.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1271_22.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1273_43.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1274_41.min1.thm12017-02-06 12:46 1.9K 
[   ]altcat_1__1276_18.min1.thm12017-02-06 12:46 840  
[   ]altcat_1__1278_10.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__1285_28.min1.thm12017-02-06 12:46 876  
[   ]altcat_1__1286_21.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1288_56.min1.thm12017-02-06 12:46 786  
[   ]altcat_1__1288_56.min1.thm1.tptp2017-02-06 16:48 698  
[   ]altcat_1__1298_16.min1.thm12017-02-06 12:46 478  
[   ]altcat_1__1298_16.min1.thm1.tptp2017-02-06 16:48 422  
[   ]altcat_1__1302_13.min1.thm12017-02-06 12:46 1.8K 
[   ]altcat_1__1304_29.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1307_20.min1.thm12017-02-06 12:46 415  
[   ]altcat_1__1321_42.min1.thm12017-02-06 12:46 449  
[   ]altcat_1__1322_42.min1.thm12017-02-06 12:46 449  
[   ]altcat_1__1323_15.min1.thm12017-02-06 12:46 319  
[   ]altcat_1__1336_52.min1.thm12017-02-06 12:46 574  
[   ]altcat_1__1337_43.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1338_52.min1.thm12017-02-06 12:46 574  
[   ]altcat_1__1342_43.min1.thm12017-02-06 12:46 1.4K 
[   ]altcat_1__1348_42.min1.thm12017-02-06 12:46 376  
[   ]altcat_1__1348_42.min1.thm1.tptp2017-02-06 16:48 290  
[   ]altcat_1__1349_42.min1.thm12017-02-06 12:46 376  
[   ]altcat_1__1349_42.min1.thm1.tptp2017-02-06 16:48 290  
[   ]altcat_1__1350_15.min1.thm12017-02-06 12:46 227  
[   ]altcat_1__1353_50.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1353_65.min1.thm12017-02-06 12:46 613  
[   ]altcat_1__1354_25.min1.thm12017-02-06 12:46 613  
[   ]altcat_1__1355_40.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1359_44.min1.thm12017-02-06 12:46 380  
[   ]altcat_1__1359_44.min1.thm1.tptp2017-02-06 16:48 294  
[   ]altcat_1__1360_44.min1.thm12017-02-06 12:46 380  
[   ]altcat_1__1360_44.min1.thm1.tptp2017-02-06 16:48 294  
[   ]altcat_1__1361_49.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1361_58.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1362_25.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1363_37.min1.thm12017-02-06 12:46 1.1K 
[   ]altcat_1__1380_19.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1390_42.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1399_21.min1.thm12017-02-06 12:46 871  
[   ]altcat_1__1413_30.min1.thm12017-02-06 12:46 309  
[   ]altcat_1__1414_15.min1.thm12017-02-06 12:46 319  
[   ]altcat_1__1418_30.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1420_36.min1.thm12017-02-06 12:46 824  
[   ]altcat_1__1421_68.min1.thm12017-02-06 12:46 1.6K 
[   ]altcat_1__1429_43.min1.thm12017-02-06 12:46 1.3K 
[   ]altcat_1__1432_19.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1438_27.min1.thm12017-02-06 12:46 907  
[   ]altcat_1__1439_18.min1.thm12017-02-06 12:46 461  
[   ]altcat_1__1439_18.min1.thm1.tptp2017-02-06 16:48 378  
[   ]altcat_1__1446_38.min1.thm12017-02-06 12:46 333  
[   ]altcat_1__1448_43.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1448_59.min1.thm12017-02-06 12:46 921  
[   ]altcat_1__1449_49.min1.thm12017-02-06 12:46 655  
[   ]altcat_1__1452_38.min1.thm12017-02-06 12:46 333  
[   ]altcat_1__1453_43.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1456_29.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1458_20.min1.thm12017-02-06 12:46 407  
[   ]altcat_1__1458_20.min1.thm1.tptp2017-02-06 16:48 342  
[   ]altcat_1__1460_16.min1.thm12017-02-06 12:46 1.9K 
[   ]altcat_1__1461_17.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1464_36.min1.thm12017-02-06 12:46 325  
[   ]altcat_1__1466_41.min1.thm12017-02-06 12:46 1.0K 
[   ]altcat_1__1466_57.min1.thm12017-02-06 12:46 909  
[   ]altcat_1__1467_47.min1.thm12017-02-06 12:46 633  
[   ]altcat_1__1470_36.min1.thm12017-02-06 12:46 325  
[   ]altcat_1__1471_41.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1474_27.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1476_18.min1.thm12017-02-06 12:46 396  
[   ]altcat_1__1476_18.min1.thm1.tptp2017-02-06 16:48 331  
[   ]altcat_1__1478_12.min1.thm12017-02-06 12:46 1.9K 
[   ]altcat_1__1479_15.min1.thm12017-02-06 12:46 1.2K 
[   ]altcat_1__1485_54.min1.thm12017-02-06 12:46 919  
[   ]altcat_1__1494_30.min1.thm12017-02-06 12:46 907  
[   ]altcat_1__1502_47.min1.thm12017-02-06 12:46 1.5K 
[   ]altcat_1__1507_21.min1.thm12017-02-06 12:46 3.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80