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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cfcont_1__74_16.min1.thm12017-02-06 12:46 592  
[   ]cfcont_1__80_34.min1.thm12017-02-06 12:46 676  
[   ]cfcont_1__80_34.min1.thm1.tptp2017-02-06 16:48 599  
[   ]cfcont_1__143_26.min1.thm12017-02-06 12:46 3.1K 
[   ]cfcont_1__174_33.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__175_33.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__247_58.min1.thm12017-02-06 12:46 2.3K 
[   ]cfcont_1__254_35.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__270_58.min1.thm12017-02-06 12:46 2.3K 
[   ]cfcont_1__292_30.min1.thm12017-02-06 12:46 867  
[   ]cfcont_1__312_30.min1.thm12017-02-06 12:46 867  
[   ]cfcont_1__329_36.min1.thm12017-02-06 12:46 2.6K 
[   ]cfcont_1__331_31.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__332_43.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__333_42.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__334_16.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__341_25.min1.thm12017-02-06 12:46 765  
[   ]cfcont_1__342_23.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__358_31.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__361_13.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__362_30.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__382_25.min1.thm12017-02-06 12:46 2.8K 
[   ]cfcont_1__411_16.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__434_16.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__438_23.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__453_39.min1.thm12017-02-06 12:46 598  
[   ]cfcont_1__466_17.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__467_28.min1.thm12017-02-06 12:46 685  
[   ]cfcont_1__468_29.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__477_24.min1.thm12017-02-06 12:46 1.8K 
[   ]cfcont_1__478_29.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__491_39.min1.thm12017-02-06 12:46 598  
[   ]cfcont_1__504_19.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__505_37.min1.thm12017-02-06 12:46 733  
[   ]cfcont_1__506_39.min1.thm12017-02-06 12:46 968  
[   ]cfcont_1__515_26.min1.thm12017-02-06 12:46 1.8K 
[   ]cfcont_1__516_39.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__535_19.min1.thm12017-02-06 12:46 436  
[   ]cfcont_1__549_15.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__550_35.min1.thm12017-02-06 12:46 869  
[   ]cfcont_1__560_22.min1.thm12017-02-06 12:46 679  
[   ]cfcont_1__572_19.min1.thm12017-02-06 12:46 436  
[   ]cfcont_1__583_15.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__584_37.min1.thm12017-02-06 12:46 873  
[   ]cfcont_1__594_29.min1.thm12017-02-06 12:46 723  
[   ]cfcont_1__598_23.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__613_11.min1.thm12017-02-06 12:46 957  
[   ]cfcont_1__614_20.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__615_43.min1.thm12017-02-06 12:46 2.5K 
[   ]cfcont_1__618_22.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__619_31.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__621_28.min1.thm12017-02-06 12:46 915  
[   ]cfcont_1__632_26.min1.thm12017-02-06 12:46 830  
[   ]cfcont_1__634_16.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__642_36.min1.thm12017-02-06 12:46 802  
[   ]cfcont_1__651_26.min1.thm12017-02-06 12:46 495  
[   ]cfcont_1__651_26.min1.thm1.tptp2017-02-06 16:48 407  
[   ]cfcont_1__663_19.min1.thm12017-02-06 12:46 939  
[   ]cfcont_1__665_37.min1.thm12017-02-06 12:46 806  
[   ]cfcont_1__666_11.min1.thm12017-02-06 12:46 458  
[   ]cfcont_1__673_14.min1.thm12017-02-06 12:46 826  
[   ]cfcont_1__674_26.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__675_30.min1.thm12017-02-06 12:46 2.0K 
[   ]cfcont_1__676_27.min1.thm12017-02-06 12:46 1.8K 
[   ]cfcont_1__677_18.min1.thm12017-02-06 12:46 533  
[   ]cfcont_1__678_21.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__681_24.min1.thm12017-02-06 12:46 605  
[   ]cfcont_1__689_15.min1.thm12017-02-06 12:46 390  
[   ]cfcont_1__690_12.min1.thm12017-02-06 12:46 818  
[   ]cfcont_1__691_24.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__692_19.min1.thm12017-02-06 12:46 2.7K 
[   ]cfcont_1__695_17.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__711_21.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__712_17.min1.thm12017-02-06 12:46 1.8K 
[   ]cfcont_1__723_24.min1.thm12017-02-06 12:46 601  
[   ]cfcont_1__724_47.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__726_46.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__728_46.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__730_48.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__739_75.min1.thm12017-02-06 12:46 366  
[   ]cfcont_1__742_36.min1.thm12017-02-06 12:46 493  
[   ]cfcont_1__745_16.min1.thm12017-02-06 12:46 550  
[   ]cfcont_1__762_21.min1.thm12017-02-06 12:46 290  
[   ]cfcont_1__767_13.min1.thm12017-02-06 12:46 507  
[   ]cfcont_1__771_33.min1.thm12017-02-06 12:46 536  
[   ]cfcont_1__775_22.min1.thm12017-02-06 12:46 2.4K 
[   ]cfcont_1__779_30.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__788_30.min1.thm12017-02-06 12:46 821  
[   ]cfcont_1__788_30.min1.thm1.tptp2017-02-06 16:48 744  
[   ]cfcont_1__790_43.min1.thm12017-02-06 12:46 845  
[   ]cfcont_1__790_43.min1.thm1.tptp2017-02-06 16:48 757  
[   ]cfcont_1__803_53.min1.thm12017-02-06 12:46 578  
[   ]cfcont_1__803_53.min1.thm1.tptp2017-02-06 16:48 511  
[   ]cfcont_1__805_25.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__808_44.min1.thm12017-02-06 12:46 889  
[   ]cfcont_1__812_28.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__814_30.min1.thm12017-02-06 12:46 2.0K 
[   ]cfcont_1__823_27.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__827_19.min1.thm12017-02-06 12:46 404  
[   ]cfcont_1__828_23.min1.thm12017-02-06 12:46 2.6K 
[   ]cfcont_1__833_29.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__834_18.min1.thm12017-02-06 12:46 890  
[   ]cfcont_1__835_18.min1.thm12017-02-06 12:46 835  
[   ]cfcont_1__836_43.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__839_23.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__840_38.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__844_60.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__850_43.min1.thm12017-02-06 12:46 1.8K 
[   ]cfcont_1__856_27.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__864_28.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__865_23.min1.thm12017-02-06 12:46 772  
[   ]cfcont_1__866_26.min1.thm12017-02-06 12:46 928  
[   ]cfcont_1__868_24.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__870_45.min1.thm12017-02-06 12:46 2.0K 
[   ]cfcont_1__880_21.min1.thm12017-02-06 12:46 366  
[   ]cfcont_1__893_17.min1.thm12017-02-06 12:46 800  
[   ]cfcont_1__894_40.min1.thm12017-02-06 12:46 2.1K 
[   ]cfcont_1__895_20.min1.thm12017-02-06 12:46 405  
[   ]cfcont_1__900_28.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__911_29.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__916_29.min1.thm12017-02-06 12:46 889  
[   ]cfcont_1__917_33.min1.thm12017-02-06 12:46 649  
[   ]cfcont_1__930_19.min1.thm12017-02-06 12:46 323  
[   ]cfcont_1__935_42.min1.thm12017-02-06 12:46 765  
[   ]cfcont_1__935_42.min1.thm1.tptp2017-02-06 16:48 677  
[   ]cfcont_1__940_20.min1.thm12017-02-06 12:46 743  
[   ]cfcont_1__942_45.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__948_35.min1.thm12017-02-06 12:46 690  
[   ]cfcont_1__954_14.min1.thm12017-02-06 12:46 632  
[   ]cfcont_1__966_24.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__976_14.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__977_22.min1.thm12017-02-06 12:46 2.0K 
[   ]cfcont_1__978_23.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__982_20.min1.thm12017-02-06 12:46 932  
[   ]cfcont_1__991_21.min1.thm12017-02-06 12:46 910  
[   ]cfcont_1__991_21.min1.thm1.tptp2017-02-06 16:48 841  
[   ]cfcont_1__995_34.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__995_34.min1.thm1.tptp2017-02-06 16:48 925  
[   ]cfcont_1__1001_13.min1.thm12017-02-06 12:46 725  
[   ]cfcont_1__1004_13.min1.thm12017-02-06 12:46 745  
[   ]cfcont_1__1005_18.min1.thm12017-02-06 12:46 3.3K 
[   ]cfcont_1__1006_26.min1.thm12017-02-06 12:46 3.5K 
[   ]cfcont_1__1008_18.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1012_22.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__1013_30.min1.thm12017-02-06 12:46 3.1K 
[   ]cfcont_1__1023_28.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__1039_68.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1062_34.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1064_29.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1072_37.min1.thm12017-02-06 12:46 2.5K 
[   ]cfcont_1__1073_33.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1075_23.min1.thm12017-02-06 12:46 699  
[   ]cfcont_1__1078_37.min1.thm12017-02-06 12:46 2.6K 
[   ]cfcont_1__1079_33.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1081_24.min1.thm12017-02-06 12:46 701  
[   ]cfcont_1__1088_41.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1094_29.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1103_33.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1105_24.min1.thm12017-02-06 12:46 701  
[   ]cfcont_1__1109_33.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1111_24.min1.thm12017-02-06 12:46 703  
[   ]cfcont_1__1118_41.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1123_27.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1130_37.min1.thm12017-02-06 12:46 2.6K 
[   ]cfcont_1__1131_33.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1133_24.min1.thm12017-02-06 12:46 694  
[   ]cfcont_1__1137_37.min1.thm12017-02-06 12:46 2.6K 
[   ]cfcont_1__1138_33.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1140_24.min1.thm12017-02-06 12:46 694  
[   ]cfcont_1__1147_45.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1157_21.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1159_24.min1.thm12017-02-06 12:46 2.1K 
[   ]cfcont_1__1168_32.min1.thm12017-02-06 12:46 2.1K 
[   ]cfcont_1__1170_32.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1178_19.min1.thm12017-02-06 12:46 742  
[   ]cfcont_1__1180_17.min1.thm12017-02-06 12:46 2.0K 
[   ]cfcont_1__1189_22.min1.thm12017-02-06 12:46 542  
[   ]cfcont_1__1191_23.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1192_16.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1193_30.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1200_55.min1.thm12017-02-06 12:46 2.3K 
[   ]cfcont_1__1206_32.min1.thm12017-02-06 12:46 2.1K 
[   ]cfcont_1__1208_29.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1220_28.min1.thm12017-02-06 12:46 825  
[   ]cfcont_1__1221_40.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1245_17.min1.thm12017-02-06 12:46 719  
[   ]cfcont_1__1251_38.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1252_31.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1253_15.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1268_19.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1275_30.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1276_13.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1300_17.min1.thm12017-02-06 12:46 900  
[   ]cfcont_1__1312_23.min1.thm12017-02-06 12:46 719  
[   ]cfcont_1__1313_17.min1.thm12017-02-06 12:46 719  
[   ]cfcont_1__1318_30.min1.thm12017-02-06 12:46 910  
[   ]cfcont_1__1324_15.min1.thm12017-02-06 12:46 251  
[   ]cfcont_1__1329_29.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1330_13.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1333_19.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__1339_30.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1340_11.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1351_70.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1353_17.min1.thm12017-02-06 12:46 258  
[   ]cfcont_1__1359_21.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__1363_17.min1.thm12017-02-06 12:46 900  
[   ]cfcont_1__1373_22.min1.thm12017-02-06 12:46 719  
[   ]cfcont_1__1374_27.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1375_27.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__1378_34.min1.thm12017-02-06 12:46 910  
[   ]cfcont_1__1379_19.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1383_23.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1385_21.min1.thm12017-02-06 12:46 566  
[   ]cfcont_1__1385_21.min1.thm1.tptp2017-02-06 16:48 495  
[   ]cfcont_1__1388_36.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1389_17.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1398_15.min1.thm12017-02-06 12:46 715  
[   ]cfcont_1__1400_18.min1.thm12017-02-06 12:46 469  
[   ]cfcont_1__1405_29.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1408_32.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1412_23.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1421_27.min1.thm12017-02-06 12:46 779  
[   ]cfcont_1__1444_19.min1.thm12017-02-06 12:46 478  
[   ]cfcont_1__1450_17.min1.thm12017-02-06 12:46 472  
[   ]cfcont_1__1451_30.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1452_30.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1458_28.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1461_21.min1.thm12017-02-06 12:46 651  
[   ]cfcont_1__1465_24.min1.thm12017-02-06 12:46 957  
[   ]cfcont_1__1467_11.min1.thm12017-02-06 12:46 338  
[   ]cfcont_1__1467_11.min1.thm1.tptp2017-02-06 16:48 273  
[   ]cfcont_1__1476_45.min1.thm12017-02-06 12:46 962  
[   ]cfcont_1__1476_45.min1.thm1.tptp2017-02-06 16:48 885  
[   ]cfcont_1__1478_53.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__1478_53.min1.thm1.tptp2017-02-06 16:48 889  
[   ]cfcont_1__1493_35.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1495_28.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1497_23.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1507_33.min1.thm12017-02-06 12:46 653  
[   ]cfcont_1__1528_34.min1.thm12017-02-06 12:46 653  
[   ]cfcont_1__1539_26.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1549_34.min1.thm12017-02-06 12:46 653  
[   ]cfcont_1__1569_67.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__1571_17.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1581_17.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__1583_22.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__1592_29.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__1607_19.min1.thm12017-02-06 12:46 742  
[   ]cfcont_1__1609_17.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__1618_27.min1.thm12017-02-06 12:46 1.4K 
[   ]cfcont_1__1619_12.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1621_20.min1.thm12017-02-06 12:46 876  
[   ]cfcont_1__1626_29.min1.thm12017-02-06 12:46 896  
[   ]cfcont_1__1627_22.min1.thm12017-02-06 12:46 1.9K 
[   ]cfcont_1__1646_24.min1.thm12017-02-06 12:46 626  
[   ]cfcont_1__1646_24.min1.thm1.tptp2017-02-06 16:48 555  
[   ]cfcont_1__1649_33.min1.thm12017-02-06 12:46 531  
[   ]cfcont_1__1649_33.min1.thm1.tptp2017-02-06 16:48 466  
[   ]cfcont_1__1654_33.min1.thm12017-02-06 12:46 823  
[   ]cfcont_1__1654_33.min1.thm1.tptp2017-02-06 16:48 737  
[   ]cfcont_1__1658_22.min1.thm12017-02-06 12:46 1.7K 
[   ]cfcont_1__1672_26.min1.thm12017-02-06 12:46 2.9K 
[   ]cfcont_1__1681_26.min1.thm12017-02-06 12:46 415  
[   ]cfcont_1__1681_26.min1.thm1.tptp2017-02-06 16:48 350  
[   ]cfcont_1__1689_19.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__1701_27.min1.thm12017-02-06 12:46 646  
[   ]cfcont_1__1702_35.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1704_17.min1.thm12017-02-06 12:46 1.0K 
[   ]cfcont_1__1714_27.min1.thm12017-02-06 12:46 829  
[   ]cfcont_1__1715_39.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1727_22.min1.thm12017-02-06 12:46 765  
[   ]cfcont_1__1729_28.min1.thm12017-02-06 12:46 290  
[   ]cfcont_1__1730_45.min1.thm12017-02-06 12:46 734  
[   ]cfcont_1__1734_26.min1.thm12017-02-06 12:46 826  
[   ]cfcont_1__1739_31.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1739_54.min1.thm12017-02-06 12:46 906  
[   ]cfcont_1__1740_26.min1.thm12017-02-06 12:46 676  
[   ]cfcont_1__1740_26.min1.thm1.tptp2017-02-06 16:48 599  
[   ]cfcont_1__1753_15.min1.thm12017-02-06 12:46 324  
[   ]cfcont_1__1753_15.min1.thm1.tptp2017-02-06 16:48 236  
[   ]cfcont_1__1759_52.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1761_31.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1794_20.min1.thm12017-02-06 12:46 2.2K 
[   ]cfcont_1__1802_25.min1.thm12017-02-06 12:46 674  
[   ]cfcont_1__1802_25.min1.thm1.tptp2017-02-06 16:48 608  
[   ]cfcont_1__1811_23.min1.thm12017-02-06 12:46 826  
[   ]cfcont_1__1813_23.min1.thm12017-02-06 12:46 581  
[   ]cfcont_1__1816_23.min1.thm12017-02-06 12:46 1.6K 
[   ]cfcont_1__1821_42.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1823_35.min1.thm12017-02-06 12:46 1.2K 
[   ]cfcont_1__1825_36.min1.thm12017-02-06 12:46 1.3K 
[   ]cfcont_1__1840_29.min1.thm12017-02-06 12:46 1.5K 
[   ]cfcont_1__1841_11.min1.thm12017-02-06 12:46 723  
[   ]cfcont_1__1844_26.min1.thm12017-02-06 12:46 451  
[   ]cfcont_1__1844_26.min1.thm1.tptp2017-02-06 16:48 371  
[   ]cfcont_1__1847_34.min1.thm12017-02-06 12:46 908  
[   ]cfcont_1__1848_19.min1.thm12017-02-06 12:46 1.1K 
[   ]cfcont_1__1850_30.min1.thm12017-02-06 12:46 1.5K 

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