Index of /~mptp/1147/mptp/ilp0/pcomps_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pcomps_2__51_26.min1.thm12017-02-06 12:45 482  
[   ]pcomps_2__56_41.min1.thm12017-02-06 12:45 885  
[   ]pcomps_2__57_19.min1.thm12017-02-06 12:45 838  
[   ]pcomps_2__65_26.min1.thm12017-02-06 12:46 484  
[   ]pcomps_2__67_18.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__70_27.min1.thm12017-02-06 12:46 590  
[   ]pcomps_2__71_33.min1.thm12017-02-06 12:45 888  
[   ]pcomps_2__75_27.min1.thm12017-02-06 12:45 590  
[   ]pcomps_2__76_33.min1.thm12017-02-06 12:45 888  
[   ]pcomps_2__79_16.min1.thm12017-02-06 12:46 811  
[   ]pcomps_2__79_16.min1.thm1.tptp2017-02-06 16:47 740  
[   ]pcomps_2__81_20.min1.thm12017-02-06 12:45 441  
[   ]pcomps_2__87_30.min1.thm12017-02-06 12:45 484  
[   ]pcomps_2__88_19.min1.thm12017-02-06 12:45 1.5K 
[   ]pcomps_2__95_29.min1.thm12017-02-06 12:45 485  
[   ]pcomps_2__97_34.min1.thm12017-02-06 12:45 667  
[   ]pcomps_2__98_35.min1.thm12017-02-06 12:45 446  
[   ]pcomps_2__98_35.min1.thm1.tptp2017-02-06 16:47 371  
[   ]pcomps_2__99_19.min1.thm12017-02-06 12:45 679  
[   ]pcomps_2__105_41.min1.thm12017-02-06 12:45 885  
[   ]pcomps_2__106_28.min1.thm12017-02-06 12:45 838  
[   ]pcomps_2__107_19.min1.thm12017-02-06 12:45 752  
[   ]pcomps_2__117_24.min1.thm12017-02-06 12:45 616  
[   ]pcomps_2__118_27.min1.thm12017-02-06 12:45 484  
[   ]pcomps_2__120_19.min1.thm12017-02-06 12:45 870  
[   ]pcomps_2__122_25.min1.thm12017-02-06 12:45 430  
[   ]pcomps_2__122_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]pcomps_2__123_17.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__138_22.min1.thm12017-02-06 12:46 270  
[   ]pcomps_2__140_18.min1.thm12017-02-06 12:45 416  
[   ]pcomps_2__140_18.min1.thm1.tptp2017-02-06 16:47 339  
[   ]pcomps_2__142_47.min1.thm12017-02-06 12:45 318  
[   ]pcomps_2__143_18.min1.thm12017-02-06 12:45 373  
[   ]pcomps_2__143_18.min1.thm1.tptp2017-02-06 16:47 309  
[   ]pcomps_2__146_48.min1.thm12017-02-06 12:46 1.1K 
[   ]pcomps_2__151_18.min1.thm12017-02-06 12:45 416  
[   ]pcomps_2__151_18.min1.thm1.tptp2017-02-06 16:47 339  
[   ]pcomps_2__152_19.min1.thm12017-02-06 12:45 511  
[   ]pcomps_2__154_20.min1.thm12017-02-06 12:45 407  
[   ]pcomps_2__154_20.min1.thm1.tptp2017-02-06 16:47 330  
[   ]pcomps_2__155_17.min1.thm12017-02-06 12:45 733  
[   ]pcomps_2__162_11.min1.thm12017-02-06 12:45 130  
[   ]pcomps_2__176_23.min1.thm12017-02-06 12:45 132  
[   ]pcomps_2__180_8.min1.thm12017-02-06 12:45 759  
[   ]pcomps_2__183_25.min1.thm12017-02-06 12:46 653  
[   ]pcomps_2__184_19.min1.thm12017-02-06 12:46 1.2K 
[   ]pcomps_2__199_11.min1.thm12017-02-06 12:45 130  
[   ]pcomps_2__232_16.min1.thm12017-02-06 12:45 464  
[   ]pcomps_2__234_21.min1.thm12017-02-06 12:45 918  
[   ]pcomps_2__239_36.min1.thm12017-02-06 12:45 350  
[   ]pcomps_2__239_36.min1.thm1.tptp2017-02-06 16:47 272  
[   ]pcomps_2__243_32.min1.thm12017-02-06 12:45 303  
[   ]pcomps_2__245_15.min1.thm12017-02-06 12:45 276  
[   ]pcomps_2__248_20.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__250_20.min1.thm12017-02-06 12:45 728  
[   ]pcomps_2__251_19.min1.thm12017-02-06 12:45 644  
[   ]pcomps_2__258_33.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__260_21.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__261_18.min1.thm12017-02-06 12:45 770  
[   ]pcomps_2__262_25.min1.thm12017-02-06 12:45 613  
[   ]pcomps_2__263_23.min1.thm12017-02-06 12:46 1.1K 
[   ]pcomps_2__264_30.min1.thm12017-02-06 12:45 777  
[   ]pcomps_2__269_17.min1.thm12017-02-06 12:45 540  
[   ]pcomps_2__270_20.min1.thm12017-02-06 12:45 502  
[   ]pcomps_2__271_24.min1.thm12017-02-06 12:46 846  
[   ]pcomps_2__272_23.min1.thm12017-02-06 12:45 543  
[   ]pcomps_2__273_24.min1.thm12017-02-06 12:45 600  
[   ]pcomps_2__274_23.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__275_30.min1.thm12017-02-06 12:46 1.3K 
[   ]pcomps_2__278_16.min1.thm12017-02-06 12:45 397  
[   ]pcomps_2__278_16.min1.thm1.tptp2017-02-06 16:47 311  
[   ]pcomps_2__280_28.min1.thm12017-02-06 12:45 650  
[   ]pcomps_2__285_14.min1.thm12017-02-06 12:45 568  
[   ]pcomps_2__311_14.min1.thm12017-02-06 12:45 481  
[   ]pcomps_2__312_35.min1.thm12017-02-06 12:45 507  
[   ]pcomps_2__314_27.min1.thm12017-02-06 12:46 812  
[   ]pcomps_2__316_19.min1.thm12017-02-06 12:45 949  
[   ]pcomps_2__317_19.min1.thm12017-02-06 12:45 632  
[   ]pcomps_2__327_15.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__329_29.min1.thm12017-02-06 12:45 742  
[   ]pcomps_2__331_18.min1.thm12017-02-06 12:46 533  
[   ]pcomps_2__333_17.min1.thm12017-02-06 12:45 798  
[   ]pcomps_2__345_48.min1.thm12017-02-06 12:46 931  
[   ]pcomps_2__346_14.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__352_72.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__364_37.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__365_44.min1.thm12017-02-06 12:45 698  
[   ]pcomps_2__375_60.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__401_71.min1.thm12017-02-06 12:45 646  
[   ]pcomps_2__405_26.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__407_23.min1.thm12017-02-06 12:45 393  
[   ]pcomps_2__407_23.min1.thm1.tptp2017-02-06 16:47 329  
[   ]pcomps_2__408_26.min1.thm12017-02-06 12:45 613  
[   ]pcomps_2__411_58.min1.thm12017-02-06 12:45 642  
[   ]pcomps_2__414_51.min1.thm12017-02-06 12:45 837  
[   ]pcomps_2__429_49.min1.thm12017-02-06 12:45 715  
[   ]pcomps_2__429_49.min1.thm1.tptp2017-02-06 16:47 638  
[   ]pcomps_2__430_22.min1.thm12017-02-06 12:45 2.6K 
[   ]pcomps_2__431_19.min1.thm12017-02-06 12:45 653  
[   ]pcomps_2__431_19.min1.thm1.tptp2017-02-06 16:47 571  
[   ]pcomps_2__437_21.min1.thm12017-02-06 12:45 932  
[   ]pcomps_2__438_28.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__439_14.min1.thm12017-02-06 12:46 575  
[   ]pcomps_2__442_12.min1.thm12017-02-06 12:45 2.0K 
[   ]pcomps_2__445_21.min1.thm12017-02-06 12:45 502  
[   ]pcomps_2__445_21.min1.thm1.tptp2017-02-06 16:47 425  
[   ]pcomps_2__455_18.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__458_35.min1.thm12017-02-06 12:45 815  
[   ]pcomps_2__458_35.min1.thm1.tptp2017-02-06 16:47 738  
[   ]pcomps_2__459_32.min1.thm12017-02-06 12:46 842  
[   ]pcomps_2__463_17.min1.thm12017-02-06 12:45 954  
[   ]pcomps_2__464_21.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__466_26.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__467_35.min1.thm12017-02-06 12:45 648  
[   ]pcomps_2__469_27.min1.thm12017-02-06 12:45 3.0K 
[   ]pcomps_2__470_17.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__471_21.min1.thm12017-02-06 12:45 1.7K 
[   ]pcomps_2__472_38.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__479_47.min1.thm12017-02-06 12:45 791  
[   ]pcomps_2__479_47.min1.thm1.tptp2017-02-06 16:47 714  
[   ]pcomps_2__481_28.min1.thm12017-02-06 12:46 2.0K 
[   ]pcomps_2__482_19.min1.thm12017-02-06 12:45 883  
[   ]pcomps_2__485_16.min1.thm12017-02-06 12:45 686  
[   ]pcomps_2__492_24.min1.thm12017-02-06 12:45 2.3K 
[   ]pcomps_2__500_10.min1.thm12017-02-06 12:45 2.1K 
[   ]pcomps_2__501_33.min1.thm12017-02-06 12:45 809  
[   ]pcomps_2__501_33.min1.thm1.tptp2017-02-06 16:47 732  
[   ]pcomps_2__502_24.min1.thm12017-02-06 12:45 2.4K 
[   ]pcomps_2__528_19.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__529_23.min1.thm12017-02-06 12:46 1.1K 
[   ]pcomps_2__538_27.min1.thm12017-02-06 12:45 960  
[   ]pcomps_2__539_21.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__543_16.min1.thm12017-02-06 12:45 474  
[   ]pcomps_2__547_40.min1.thm12017-02-06 12:45 843  
[   ]pcomps_2__548_20.min1.thm12017-02-06 12:45 2.6K 
[   ]pcomps_2__551_37.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__552_12.min1.thm12017-02-06 12:45 2.7K 
[   ]pcomps_2__568_20.min1.thm12017-02-06 12:45 350  
[   ]pcomps_2__598_37.min1.thm12017-02-06 12:45 511  
[   ]pcomps_2__598_37.min1.thm1.tptp2017-02-06 16:47 456  
[   ]pcomps_2__599_62.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__607_41.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__615_16.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__619_52.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__620_27.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__621_53.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__624_23.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__629_23.min1.thm12017-02-06 12:45 474  
[   ]pcomps_2__646_10.min1.thm12017-02-06 12:46 1.0K 
[   ]pcomps_2__649_23.min1.thm12017-02-06 12:45 256  
[   ]pcomps_2__652_17.min1.thm12017-02-06 12:46 351  
[   ]pcomps_2__652_17.min1.thm1.tptp2017-02-06 16:47 282  
[   ]pcomps_2__657_42.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__657_42.min1.thm1.tptp2017-02-06 16:47 920  
[   ]pcomps_2__658_41.min1.thm12017-02-06 12:46 1.5K 
[   ]pcomps_2__664_24.min1.thm12017-02-06 12:46 131  
[   ]pcomps_2__680_36.min1.thm12017-02-06 12:45 612  
[   ]pcomps_2__682_29.min1.thm12017-02-06 12:45 1.5K 
[   ]pcomps_2__685_18.min1.thm12017-02-06 12:45 633  
[   ]pcomps_2__687_16.min1.thm12017-02-06 12:45 687  
[   ]pcomps_2__689_43.min1.thm12017-02-06 12:45 454  
[   ]pcomps_2__701_41.min1.thm12017-02-06 12:46 1.9K 
[   ]pcomps_2__708_37.min1.thm12017-02-06 12:46 590  
[   ]pcomps_2__710_16.min1.thm12017-02-06 12:46 961  
[   ]pcomps_2__712_15.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__729_35.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__732_51.min1.thm12017-02-06 12:45 617  
[   ]pcomps_2__740_27.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__742_25.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__748_20.min1.thm12017-02-06 12:45 937  
[   ]pcomps_2__749_41.min1.thm12017-02-06 12:45 484  
[   ]pcomps_2__763_56.min1.thm12017-02-06 12:45 139  
[   ]pcomps_2__773_51.min1.thm12017-02-06 12:46 521  
[   ]pcomps_2__783_25.min1.thm12017-02-06 12:45 1.8K 
[   ]pcomps_2__787_19.min1.thm12017-02-06 12:45 741  
[   ]pcomps_2__789_21.min1.thm12017-02-06 12:46 938  
[   ]pcomps_2__790_25.min1.thm12017-02-06 12:45 557  
[   ]pcomps_2__797_44.min1.thm12017-02-06 12:45 1.9K 
[   ]pcomps_2__800_35.min1.thm12017-02-06 12:45 360  
[   ]pcomps_2__807_35.min1.thm12017-02-06 12:45 516  
[   ]pcomps_2__808_16.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__810_32.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__811_35.min1.thm12017-02-06 12:46 1.9K 
[   ]pcomps_2__818_25.min1.thm12017-02-06 12:45 506  
[   ]pcomps_2__834_21.min1.thm12017-02-06 12:45 777  
[   ]pcomps_2__843_16.min1.thm12017-02-06 12:45 381  
[   ]pcomps_2__855_65.min1.thm12017-02-06 12:45 529  
[   ]pcomps_2__855_65.min1.thm1.tptp2017-02-06 16:47 474  
[   ]pcomps_2__861_30.min1.thm12017-02-06 12:45 137  
[   ]pcomps_2__866_19.min1.thm12017-02-06 12:45 507  
[   ]pcomps_2__867_38.min1.thm12017-02-06 12:45 591  
[   ]pcomps_2__868_24.min1.thm12017-02-06 12:46 640  
[   ]pcomps_2__869_31.min1.thm12017-02-06 12:45 797  
[   ]pcomps_2__871_20.min1.thm12017-02-06 12:45 767  
[   ]pcomps_2__872_29.min1.thm12017-02-06 12:46 1.0K 
[   ]pcomps_2__876_34.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__878_35.min1.thm12017-02-06 12:46 2.4K 
[   ]pcomps_2__879_25.min1.thm12017-02-06 12:46 2.2K 
[   ]pcomps_2__883_44.min1.thm12017-02-06 12:45 740  
[   ]pcomps_2__887_23.min1.thm12017-02-06 12:45 664  
[   ]pcomps_2__889_25.min1.thm12017-02-06 12:45 133  
[   ]pcomps_2__899_25.min1.thm12017-02-06 12:45 666  
[   ]pcomps_2__905_37.min1.thm12017-02-06 12:45 590  
[   ]pcomps_2__907_16.min1.thm12017-02-06 12:45 961  
[   ]pcomps_2__909_15.min1.thm12017-02-06 12:45 1.3K 
[   ]pcomps_2__925_36.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__928_51.min1.thm12017-02-06 12:45 617  
[   ]pcomps_2__937_41.min1.thm12017-02-06 12:45 1.8K 
[   ]pcomps_2__938_27.min1.thm12017-02-06 12:45 838  
[   ]pcomps_2__940_29.min1.thm12017-02-06 12:46 139  
[   ]pcomps_2__942_25.min1.thm12017-02-06 12:45 478  
[   ]pcomps_2__943_24.min1.thm12017-02-06 12:45 924  
[   ]pcomps_2__949_20.min1.thm12017-02-06 12:45 937  
[   ]pcomps_2__950_41.min1.thm12017-02-06 12:45 484  
[   ]pcomps_2__964_52.min1.thm12017-02-06 12:45 139  
[   ]pcomps_2__974_51.min1.thm12017-02-06 12:46 521  
[   ]pcomps_2__986_27.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__988_29.min1.thm12017-02-06 12:46 139  
[   ]pcomps_2__990_25.min1.thm12017-02-06 12:45 479  
[   ]pcomps_2__995_16.min1.thm12017-02-06 12:45 374  
[   ]pcomps_2__995_16.min1.thm1.tptp2017-02-06 16:47 302  
[   ]pcomps_2__997_30.min1.thm12017-02-06 12:45 441  
[   ]pcomps_2__997_30.min1.thm1.tptp2017-02-06 16:47 387  
[   ]pcomps_2__1002_39.min1.thm12017-02-06 12:45 1.8K 
[   ]pcomps_2__1006_32.min1.thm12017-02-06 12:45 309  
[   ]pcomps_2__1007_16.min1.thm12017-02-06 12:45 605  
[   ]pcomps_2__1008_36.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__1017_25.min1.thm12017-02-06 12:45 490  
[   ]pcomps_2__1022_36.min1.thm12017-02-06 12:45 2.7K 
[   ]pcomps_2__1023_35.min1.thm12017-02-06 12:45 1.9K 
[   ]pcomps_2__1032_64.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__1045_18.min1.thm12017-02-06 12:46 638  
[   ]pcomps_2__1049_42.min1.thm12017-02-06 12:45 1.9K 
[   ]pcomps_2__1050_46.min1.thm12017-02-06 12:45 719  
[   ]pcomps_2__1050_46.min1.thm1.tptp2017-02-06 16:47 653  
[   ]pcomps_2__1054_20.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__1057_17.min1.thm12017-02-06 12:45 483  
[   ]pcomps_2__1057_17.min1.thm1.tptp2017-02-06 16:47 429  
[   ]pcomps_2__1058_25.min1.thm12017-02-06 12:45 950  
[   ]pcomps_2__1060_19.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__1068_20.min1.thm12017-02-06 12:45 2.0K 
[   ]pcomps_2__1069_45.min1.thm12017-02-06 12:46 500  
[   ]pcomps_2__1087_60.min1.thm12017-02-06 12:45 142  
[   ]pcomps_2__1090_22.min1.thm12017-02-06 12:45 842  
[   ]pcomps_2__1091_44.min1.thm12017-02-06 12:45 594  
[   ]pcomps_2__1128_38.min1.thm12017-02-06 12:45 1.0K 
[   ]pcomps_2__1140_32.min1.thm12017-02-06 12:45 2.2K 
[   ]pcomps_2__1163_65.min1.thm12017-02-06 12:45 1.2K 
[   ]pcomps_2__1166_19.min1.thm12017-02-06 12:45 588  
[   ]pcomps_2__1166_19.min1.thm1.tptp2017-02-06 16:47 543  
[   ]pcomps_2__1170_61.min1.thm12017-02-06 12:45 1.9K 
[   ]pcomps_2__1171_65.min1.thm12017-02-06 12:46 1.2K 
[   ]pcomps_2__1174_19.min1.thm12017-02-06 12:45 590  
[   ]pcomps_2__1174_19.min1.thm1.tptp2017-02-06 16:47 545  
[   ]pcomps_2__1177_45.min1.thm12017-02-06 12:45 744  
[   ]pcomps_2__1179_52.min1.thm12017-02-06 12:45 1.9K 
[   ]pcomps_2__1181_19.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__1186_37.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__1199_36.min1.thm12017-02-06 12:45 504  
[   ]pcomps_2__1208_52.min1.thm12017-02-06 12:45 735  
[   ]pcomps_2__1212_33.min1.thm12017-02-06 12:46 1.6K 
[   ]pcomps_2__1213_32.min1.thm12017-02-06 12:45 2.2K 
[   ]pcomps_2__1221_52.min1.thm12017-02-06 12:46 734  
[   ]pcomps_2__1225_33.min1.thm12017-02-06 12:45 1.6K 
[   ]pcomps_2__1263_32.min1.thm12017-02-06 12:45 2.2K 
[   ]pcomps_2__1271_33.min1.thm12017-02-06 12:45 2.5K 
[   ]pcomps_2__1272_23.min1.thm12017-02-06 12:45 592  
[   ]pcomps_2__1273_33.min1.thm12017-02-06 12:45 2.3K 
[   ]pcomps_2__1278_40.min1.thm12017-02-06 12:45 793  
[   ]pcomps_2__1284_40.min1.thm12017-02-06 12:45 793  
[   ]pcomps_2__1294_23.min1.thm12017-02-06 12:45 961  
[   ]pcomps_2__1295_45.min1.thm12017-02-06 12:45 500  
[   ]pcomps_2__1313_26.min1.thm12017-02-06 12:45 713  
[   ]pcomps_2__1314_40.min1.thm12017-02-06 12:45 961  
[   ]pcomps_2__1319_21.min1.thm12017-02-06 12:45 2.4K 
[   ]pcomps_2__1321_24.min1.thm12017-02-06 12:45 507  
[   ]pcomps_2__1336_36.min1.thm12017-02-06 12:45 504  
[   ]pcomps_2__1345_65.min1.thm12017-02-06 12:45 142  
[   ]pcomps_2__1348_23.min1.thm12017-02-06 12:45 929  
[   ]pcomps_2__1362_23.min1.thm12017-02-06 12:45 682  
[   ]pcomps_2__1365_65.min1.thm12017-02-06 12:45 142  
[   ]pcomps_2__1368_23.min1.thm12017-02-06 12:45 931  
[   ]pcomps_2__1426_40.min1.thm12017-02-06 12:45 793  
[   ]pcomps_2__1432_40.min1.thm12017-02-06 12:45 793  
[   ]pcomps_2__1442_29.min1.thm12017-02-06 12:46 700  
[   ]pcomps_2__1444_32.min1.thm12017-02-06 12:45 807  
[   ]pcomps_2__1453_48.min1.thm12017-02-06 12:45 381  
[   ]pcomps_2__1455_21.min1.thm12017-02-06 12:45 1.4K 
[   ]pcomps_2__1458_54.min1.thm12017-02-06 12:45 497  
[   ]pcomps_2__1458_54.min1.thm1.tptp2017-02-06 16:47 432  
[   ]pcomps_2__1462_46.min1.thm12017-02-06 12:45 2.0K 
[   ]pcomps_2__1467_25.min1.thm12017-02-06 12:45 746  
[   ]pcomps_2__1471_21.min1.thm12017-02-06 12:45 1.1K 
[   ]pcomps_2__1473_25.min1.thm12017-02-06 12:45 3.0K 
[   ]pcomps_2__1477_21.min1.thm12017-02-06 12:45 669  

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