Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/ndiff_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_3__55_46.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__73_28.min1.thm12017-02-06 12:44 621  
[ ]ndiff_3__74_48.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__75_32.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__76_32.min1.thm12017-02-06 12:44 546  
[ ]ndiff_3__76_32.min1.thm1.tptp2017-02-06 16:47 465  
[ ]ndiff_3__77_48.min1.thm12017-02-06 12:44 4.6K 
[ ]ndiff_3__80_65.min1.thm12017-02-06 12:44 752  
[ ]ndiff_3__80_65.min1.thm1.tptp2017-02-06 16:47 691  
[ ]ndiff_3__113_19.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__118_29.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__119_23.min1.thm12017-02-06 12:44 396  
[ ]ndiff_3__129_16.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__166_38.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__168_38.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__176_23.min1.thm12017-02-06 12:44 684  
[ ]ndiff_3__176_23.min1.thm1.tptp2017-02-06 16:47 607  
[ ]ndiff_3__177_21.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_3__187_23.min1.thm12017-02-06 12:44 684  
[ ]ndiff_3__187_23.min1.thm1.tptp2017-02-06 16:47 607  
[ ]ndiff_3__188_21.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__197_36.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__205_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__206_19.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__218_37.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__219_37.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__224_28.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_3__234_28.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_3__254_31.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__262_36.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__271_13.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__282_11.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__291_21.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__294_21.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__295_20.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__302_15.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__332_40.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__334_14.min1.thm12017-02-06 12:44 609  
[ ]ndiff_3__334_14.min1.thm1.tptp2017-02-06 16:47 532  
[ ]ndiff_3__335_10.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__354_42.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__364_43.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__366_30.min1.thm12017-02-06 12:44 634  
[ ]ndiff_3__375_19.min1.thm12017-02-06 12:44 2.9K 
[ ]ndiff_3__376_22.min1.thm12017-02-06 12:44 587  
[ ]ndiff_3__378_26.min1.thm12017-02-06 12:44 752  
[ ]ndiff_3__381_8.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__386_39.min1.thm12017-02-06 12:44 251  
[ ]ndiff_3__387_23.min1.thm12017-02-06 12:44 3.5K 
[ ]ndiff_3__388_25.min1.thm12017-02-06 12:44 3.7K 
[ ]ndiff_3__389_33.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_3__390_18.min1.thm12017-02-06 12:44 3.2K 
[ ]ndiff_3__395_18.min1.thm12017-02-06 12:44 686  
[ ]ndiff_3__396_18.min1.thm12017-02-06 12:44 683  
[ ]ndiff_3__402_40.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__403_57.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__411_18.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__412_25.min1.thm12017-02-06 12:44 922  
[ ]ndiff_3__413_24.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__415_17.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__416_24.min1.thm12017-02-06 12:44 922  
[ ]ndiff_3__417_23.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__418_20.min1.thm12017-02-06 12:44 392  
[ ]ndiff_3__419_55.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__420_52.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__420_52.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]ndiff_3__428_52.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_3__432_20.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__433_54.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_3__437_37.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__438_11.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__439_32.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__440_11.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__455_26.min1.thm12017-02-06 12:44 942  
[ ]ndiff_3__464_17.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__477_21.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__490_28.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__494_41.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__501_30.min1.thm12017-02-06 12:44 833  
[ ]ndiff_3__509_57.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__518_21.min1.thm12017-02-06 12:44 284  
[ ]ndiff_3__523_19.min1.thm12017-02-06 12:44 720  
[ ]ndiff_3__524_32.min1.thm12017-02-06 12:44 471  
[ ]ndiff_3__530_19.min1.thm12017-02-06 12:44 771  
[ ]ndiff_3__531_19.min1.thm12017-02-06 12:44 414  
[ ]ndiff_3__533_18.min1.thm12017-02-06 12:44 463  
[ ]ndiff_3__534_26.min1.thm12017-02-06 12:44 864  
[ ]ndiff_3__539_20.min1.thm12017-02-06 12:44 492  
[ ]ndiff_3__544_43.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__548_16.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__559_41.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__567_19.min1.thm12017-02-06 12:44 845  
[ ]ndiff_3__584_32.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__587_26.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__589_22.min1.thm12017-02-06 12:44 429  
[ ]ndiff_3__589_22.min1.thm1.tptp2017-02-06 16:47 365  
[ ]ndiff_3__590_47.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__592_23.min1.thm12017-02-06 12:44 482  
[ ]ndiff_3__596_25.min1.thm12017-02-06 12:44 713  
[ ]ndiff_3__597_31.min1.thm12017-02-06 12:44 781  
[ ]ndiff_3__599_16.min1.thm12017-02-06 12:44 456  
[ ]ndiff_3__613_30.min1.thm12017-02-06 12:44 719  
[ ]ndiff_3__614_24.min1.thm12017-02-06 12:44 861  
[ ]ndiff_3__629_29.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__630_23.min1.thm12017-02-06 12:44 384  
[ ]ndiff_3__644_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__653_24.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__654_24.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__655_22.min1.thm12017-02-06 12:44 449  
[ ]ndiff_3__655_22.min1.thm1.tptp2017-02-06 16:47 384  
[ ]ndiff_3__662_16.min1.thm12017-02-06 12:44 732  
[ ]ndiff_3__663_20.min1.thm12017-02-06 12:44 468  
[ ]ndiff_3__670_37.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__671_15.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__672_12.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__683_33.min1.thm12017-02-06 12:44 474  
[ ]ndiff_3__687_15.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__694_35.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__695_12.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__696_10.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__700_19.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_3__701_30.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_3__702_16.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__725_19.min1.thm12017-02-06 12:44 605  
[ ]ndiff_3__726_22.min1.thm12017-02-06 12:44 460  
[ ]ndiff_3__733_26.min1.thm12017-02-06 12:44 401  
[ ]ndiff_3__734_41.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__738_20.min1.thm12017-02-06 12:44 448  
[ ]ndiff_3__739_20.min1.thm12017-02-06 12:44 874  
[ ]ndiff_3__740_25.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__745_20.min1.thm12017-02-06 12:44 380  
[ ]ndiff_3__745_20.min1.thm1.tptp2017-02-06 16:47 315  
[ ]ndiff_3__747_33.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__748_29.min1.thm12017-02-06 12:44 747  
[ ]ndiff_3__749_16.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__750_35.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__751_11.min1.thm12017-02-06 12:44 947  
[ ]ndiff_3__758_16.min1.thm12017-02-06 12:44 564  
[ ]ndiff_3__759_30.min1.thm12017-02-06 12:44 501  
[ ]ndiff_3__759_30.min1.thm1.tptp2017-02-06 16:47 437  
[ ]ndiff_3__764_30.min1.thm12017-02-06 12:44 404  
[ ]ndiff_3__765_24.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_3__766_37.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__779_29.min1.thm12017-02-06 12:44 742  
[ ]ndiff_3__786_20.min1.thm12017-02-06 12:44 640  
[ ]ndiff_3__787_20.min1.thm12017-02-06 12:44 874  
[ ]ndiff_3__788_25.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__811_56.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__811_56.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]ndiff_3__813_53.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_3__815_53.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__819_42.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__820_21.min1.thm12017-02-06 12:44 595  
[ ]ndiff_3__820_21.min1.thm1.tptp2017-02-06 16:47 518  
[ ]ndiff_3__821_11.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__837_10.min1.thm12017-02-06 12:44 5.1K 
[ ]ndiff_3__839_41.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__840_16.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__850_18.min1.thm12017-02-06 12:44 811  
[ ]ndiff_3__851_23.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__857_23.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__867_25.min1.thm12017-02-06 12:44 738  
[ ]ndiff_3__873_20.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__876_19.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__882_38.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__882_38.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]ndiff_3__896_63.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__921_38.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__924_19.min1.thm12017-02-06 12:44 771  
[ ]ndiff_3__925_23.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__926_18.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__929_32.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__935_19.min1.thm12017-02-06 12:44 496  
[ ]ndiff_3__946_56.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_3__957_19.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__984_38.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__987_19.min1.thm12017-02-06 12:44 771  
[ ]ndiff_3__988_23.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__989_18.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__992_32.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__999_19.min1.thm12017-02-06 12:44 496  
[ ]ndiff_3__1003_36.min1.thm12017-02-06 12:44 3.8K 
[ ]ndiff_3__1004_38.min1.thm12017-02-06 12:44 3.9K 
[ ]ndiff_3__1009_48.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__1010_56.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_3__1042_45.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1043_47.min1.thm12017-02-06 12:44 2.1K 
[ ]ndiff_3__1044_23.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__1046_18.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1053_20.min1.thm12017-02-06 12:44 493  
[ ]ndiff_3__1057_32.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_3__1058_26.min1.thm12017-02-06 12:44 3.4K 
[ ]ndiff_3__1060_36.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1067_11.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__1069_14.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1086_69.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1094_66.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1112_69.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1120_64.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1136_39.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1137_44.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1144_35.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1146_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1157_29.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1158_23.min1.thm12017-02-06 12:44 384  
[ ]ndiff_3__1172_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1183_22.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1184_11.min1.thm12017-02-06 12:44 611  
[ ]ndiff_3__1191_16.min1.thm12017-02-06 12:44 732  
[ ]ndiff_3__1192_20.min1.thm12017-02-06 12:44 468  
[ ]ndiff_3__1193_24.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1200_25.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__1201_31.min1.thm12017-02-06 12:44 884  
[ ]ndiff_3__1202_14.min1.thm12017-02-06 12:44 758  
[ ]ndiff_3__1203_12.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1215_14.min1.thm12017-02-06 12:44 722  
[ ]ndiff_3__1216_18.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__1217_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1224_23.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__1225_35.min1.thm12017-02-06 12:44 868  
[ ]ndiff_3__1226_12.min1.thm12017-02-06 12:44 747  
[ ]ndiff_3__1227_10.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1231_33.min1.thm12017-02-06 12:44 474  
[ ]ndiff_3__1232_30.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__1250_29.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1251_23.min1.thm12017-02-06 12:44 384  
[ ]ndiff_3__1269_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1270_21.min1.thm12017-02-06 12:44 842  
[ ]ndiff_3__1273_19.min1.thm12017-02-06 12:44 856  
[ ]ndiff_3__1281_16.min1.thm12017-02-06 12:44 732  
[ ]ndiff_3__1288_35.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1289_25.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1290_23.min1.thm12017-02-06 12:44 2.9K 
[ ]ndiff_3__1293_24.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1297_15.min1.thm12017-02-06 12:44 468  
[ ]ndiff_3__1306_14.min1.thm12017-02-06 12:44 726  
[ ]ndiff_3__1313_39.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1314_23.min1.thm12017-02-06 12:44 961  
[ ]ndiff_3__1315_21.min1.thm12017-02-06 12:44 2.9K 
[ ]ndiff_3__1318_22.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1322_18.min1.thm12017-02-06 12:44 464  
[ ]ndiff_3__1323_33.min1.thm12017-02-06 12:44 478  
[ ]ndiff_3__1324_30.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__1326_8.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1327_6.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1341_17.min1.thm12017-02-06 12:44 491  
[ ]ndiff_3__1346_49.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1354_51.min1.thm12017-02-06 12:44 2.8K 
[ ]ndiff_3__1369_22.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__1370_28.min1.thm12017-02-06 12:44 353  
[ ]ndiff_3__1370_28.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ndiff_3__1374_15.min1.thm12017-02-06 12:44 345  
[ ]ndiff_3__1374_15.min1.thm1.tptp2017-02-06 16:47 280  
[ ]ndiff_3__1375_43.min1.thm12017-02-06 12:44 249  
[ ]ndiff_3__1377_17.min1.thm12017-02-06 12:44 3.1K 
[ ]ndiff_3__1378_27.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1385_16.min1.thm12017-02-06 12:44 495  
[ ]ndiff_3__1390_22.min1.thm12017-02-06 12:44 1.8K 
[ ]ndiff_3__1391_9.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1392_38.min1.thm12017-02-06 12:44 826  
[ ]ndiff_3__1392_38.min1.thm1.tptp2017-02-06 16:47 738  
[ ]ndiff_3__1396_11.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1399_24.min1.thm12017-02-06 12:44 905  
[ ]ndiff_3__1403_18.min1.thm12017-02-06 12:44 613  
[ ]ndiff_3__1453_16.min1.thm12017-02-06 12:44 562  
[ ]ndiff_3__1468_10.min1.thm12017-02-06 12:44 2.2K 
[ ]ndiff_3__1482_44.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__1483_18.min1.thm12017-02-06 12:44 387  
[ ]ndiff_3__1495_17.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__1496_20.min1.thm12017-02-06 12:44 460  
[ ]ndiff_3__1500_41.min1.thm12017-02-06 12:44 2.5K 
[ ]ndiff_3__1506_20.min1.thm12017-02-06 12:44 732  
[ ]ndiff_3__1509_21.min1.thm12017-02-06 12:44 794  
[ ]ndiff_3__1510_21.min1.thm12017-02-06 12:44 428  
[ ]ndiff_3__1514_24.min1.thm12017-02-06 12:44 476  
[ ]ndiff_3__1515_27.min1.thm12017-02-06 12:44 876  
[ ]ndiff_3__1517_28.min1.thm12017-02-06 12:44 617  
[ ]ndiff_3__1527_57.min1.thm12017-02-06 12:44 2.3K 
[ ]ndiff_3__1528_24.min1.thm12017-02-06 12:44 509  
[ ]ndiff_3__1549_60.min1.thm12017-02-06 12:44 840  
[ ]ndiff_3__1551_52.min1.thm12017-02-06 12:44 853  
[ ]ndiff_3__1559_29.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1560_23.min1.thm12017-02-06 12:44 384  
[ ]ndiff_3__1574_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1584_22.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1585_11.min1.thm12017-02-06 12:44 740  
[ ]ndiff_3__1591_20.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1599_31.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1600_14.min1.thm12017-02-06 12:44 1.4K 
[ ]ndiff_3__1601_12.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1609_28.min1.thm12017-02-06 12:44 755  
[ ]ndiff_3__1618_29.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__1619_41.min1.thm12017-02-06 12:44 1.3K 
[ ]ndiff_3__1622_19.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1624_16.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__1628_16.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1635_38.min1.thm12017-02-06 12:44 842  
[ ]ndiff_3__1635_38.min1.thm1.tptp2017-02-06 16:47 759  
[ ]ndiff_3__1639_23.min1.thm12017-02-06 12:44 747  
[ ]ndiff_3__1643_27.min1.thm12017-02-06 12:44 2.4K 
[ ]ndiff_3__1645_16.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1649_10.min1.thm12017-02-06 12:44 802  
[ ]ndiff_3__1655_8.min1.thm12017-02-06 12:44 1.0K 
[ ]ndiff_3__1656_28.min1.thm12017-02-06 12:44 1.1K 
[ ]ndiff_3__1657_7.min1.thm12017-02-06 12:44 572  
[ ]ndiff_3__1660_32.min1.thm12017-02-06 12:44 1.9K 
[ ]ndiff_3__1661_23.min1.thm12017-02-06 12:44 748  
[ ]ndiff_3__1665_13.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1666_17.min1.thm12017-02-06 12:44 1.7K 
[ ]ndiff_3__1672_19.min1.thm12017-02-06 12:44 728  
[ ]ndiff_3__1673_51.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1674_49.min1.thm12017-02-06 12:44 1.2K 
[ ]ndiff_3__1674_49.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ndiff_3__1687_26.min1.thm12017-02-06 12:44 700  
[ ]ndiff_3__1688_17.min1.thm12017-02-06 12:44 718  
[ ]ndiff_3__1695_49.min1.thm12017-02-06 12:44 401  
[ ]ndiff_3__1698_16.min1.thm12017-02-06 12:44 1.6K 
[ ]ndiff_3__1702_19.min1.thm12017-02-06 12:44 1.5K 
[ ]ndiff_3__1703_25.min1.thm12017-02-06 12:44 2.0K 
[ ]ndiff_3__1717_35.min1.thm12017-02-06 12:44 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80