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