Index of /~mptp/1147/MPTP2/ilp0/fdiff_5
Name
Last modified
Size
Description
Parent Directory
-
fdiff_5__49_54.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__50_28.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__52_18.min1.thm1
2017-02-06 12:46
397
fdiff_5__52_18.min1.thm1.tptp
2017-02-06 16:47
322
fdiff_5__53_41.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__56_16.min1.thm1
2017-02-06 12:46
490
fdiff_5__72_48.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__73_49.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__74_31.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__76_25.min1.thm1
2017-02-06 12:46
2.9K
fdiff_5__77_17.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__78_14.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__90_54.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__91_28.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__93_18.min1.thm1
2017-02-06 12:46
397
fdiff_5__93_18.min1.thm1.tptp
2017-02-06 16:47
322
fdiff_5__94_41.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__97_16.min1.thm1
2017-02-06 12:46
490
fdiff_5__113_48.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__114_49.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__115_31.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__117_29.min1.thm1
2017-02-06 12:46
662
fdiff_5__118_21.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__120_15.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__134_34.min1.thm1
2017-02-06 12:46
803
fdiff_5__136_16.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__137_19.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__146_34.min1.thm1
2017-02-06 12:46
803
fdiff_5__148_16.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__168_18.min1.thm1
2017-02-06 12:46
713
fdiff_5__169_39.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__176_21.min1.thm1
2017-02-06 12:46
607
fdiff_5__177_16.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__179_18.min1.thm1
2017-02-06 12:46
807
fdiff_5__182_39.min1.thm1
2017-02-06 12:46
482
fdiff_5__184_36.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__191_16.min1.thm1
2017-02-06 12:46
580
fdiff_5__192_27.min1.thm1
2017-02-06 12:46
690
fdiff_5__193_60.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__197_56.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__198_56.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__217_41.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__220_18.min1.thm1
2017-02-06 12:46
713
fdiff_5__221_18.min1.thm1
2017-02-06 12:46
807
fdiff_5__227_16.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__229_19.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__233_39.min1.thm1
2017-02-06 12:46
482
fdiff_5__235_36.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__242_16.min1.thm1
2017-02-06 12:46
580
fdiff_5__243_27.min1.thm1
2017-02-06 12:46
690
fdiff_5__244_60.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__248_56.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__249_56.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__271_31.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__273_19.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__276_39.min1.thm1
2017-02-06 12:46
537
fdiff_5__279_18.min1.thm1
2017-02-06 12:46
713
fdiff_5__282_42.min1.thm1
2017-02-06 12:46
537
fdiff_5__283_19.min1.thm1
2017-02-06 12:46
807
fdiff_5__286_39.min1.thm1
2017-02-06 12:46
482
fdiff_5__288_36.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__295_16.min1.thm1
2017-02-06 12:46
580
fdiff_5__296_27.min1.thm1
2017-02-06 12:46
690
fdiff_5__297_60.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__301_56.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__302_56.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__318_53.min1.thm1
2017-02-06 12:46
2.7K
fdiff_5__324_35.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__326_32.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__334_31.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__337_17.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__338_28.min1.thm1
2017-02-06 12:46
522
fdiff_5__347_28.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__355_25.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__357_13.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__358_22.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__359_20.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__363_22.min1.thm1
2017-02-06 12:46
474
fdiff_5__364_42.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__365_11.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__377_26.min1.thm1
2017-02-06 12:46
824
fdiff_5__380_20.min1.thm1
2017-02-06 12:46
503
fdiff_5__380_20.min1.thm1.tptp
2017-02-06 16:47
439
fdiff_5__381_32.min1.thm1
2017-02-06 12:46
798
fdiff_5__389_19.min1.thm1
2017-02-06 12:46
2.4K
fdiff_5__404_32.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__406_29.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__425_20.min1.thm1
2017-02-06 12:46
509
fdiff_5__425_20.min1.thm1.tptp
2017-02-06 16:47
445
fdiff_5__426_32.min1.thm1
2017-02-06 12:46
806
fdiff_5__434_19.min1.thm1
2017-02-06 12:46
2.5K
fdiff_5__449_36.min1.thm1
2017-02-06 12:46
2.1K
fdiff_5__450_33.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__452_30.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__470_38.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__473_20.min1.thm1
2017-02-06 12:46
580
fdiff_5__473_20.min1.thm1.tptp
2017-02-06 16:47
505
fdiff_5__474_45.min1.thm1
2017-02-06 12:46
2.5K
fdiff_5__477_26.min1.thm1
2017-02-06 12:46
777
fdiff_5__480_20.min1.thm1
2017-02-06 12:46
510
fdiff_5__480_20.min1.thm1.tptp
2017-02-06 16:47
446
fdiff_5__488_68.min1.thm1
2017-02-06 12:46
2.4K
fdiff_5__492_48.min1.thm1
2017-02-06 12:46
3.5K
fdiff_5__500_37.min1.thm1
2017-02-06 12:46
2.8K
fdiff_5__501_36.min1.thm1
2017-02-06 12:46
2.1K
fdiff_5__502_66.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__520_26.min1.thm1
2017-02-06 12:46
777
fdiff_5__522_38.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__523_45.min1.thm1
2017-02-06 12:46
2.5K
fdiff_5__524_20.min1.thm1
2017-02-06 12:46
580
fdiff_5__524_20.min1.thm1.tptp
2017-02-06 16:47
505
fdiff_5__529_20.min1.thm1
2017-02-06 12:46
510
fdiff_5__529_20.min1.thm1.tptp
2017-02-06 16:47
446
fdiff_5__537_68.min1.thm1
2017-02-06 12:46
2.4K
fdiff_5__541_48.min1.thm1
2017-02-06 12:46
3.5K
fdiff_5__549_37.min1.thm1
2017-02-06 12:46
2.8K
fdiff_5__550_36.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__551_66.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__568_38.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__571_26.min1.thm1
2017-02-06 12:46
881
fdiff_5__573_38.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__574_26.min1.thm1
2017-02-06 12:46
788
fdiff_5__574_26.min1.thm1.tptp
2017-02-06 16:47
713
fdiff_5__577_20.min1.thm1
2017-02-06 12:46
509
fdiff_5__577_20.min1.thm1.tptp
2017-02-06 16:47
445
fdiff_5__584_76.min1.thm1
2017-02-06 12:46
3.6K
fdiff_5__610_77.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__626_38.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__629_23.min1.thm1
2017-02-06 12:46
624
fdiff_5__629_23.min1.thm1.tptp
2017-02-06 16:47
549
fdiff_5__630_42.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__632_17.min1.thm1
2017-02-06 12:46
391
fdiff_5__632_17.min1.thm1.tptp
2017-02-06 16:47
327
fdiff_5__640_31.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__641_35.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__642_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__649_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__652_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__653_52.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__654_31.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__655_30.min1.thm1
2017-02-06 12:46
677
fdiff_5__656_29.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__660_30.min1.thm1
2017-02-06 12:46
731
fdiff_5__664_33.min1.thm1
2017-02-06 12:46
530
fdiff_5__665_47.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__672_33.min1.thm1
2017-02-06 12:46
530
fdiff_5__675_38.min1.thm1
2017-02-06 12:46
813
fdiff_5__681_29.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__693_72.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__697_74.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__699_73.min1.thm1
2017-02-06 12:46
3.3K
fdiff_5__702_9.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__708_24.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__710_46.min1.thm1
2017-02-06 12:46
2.2K
fdiff_5__712_77.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__728_38.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__731_23.min1.thm1
2017-02-06 12:46
624
fdiff_5__731_23.min1.thm1.tptp
2017-02-06 16:47
549
fdiff_5__732_42.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__734_17.min1.thm1
2017-02-06 12:46
391
fdiff_5__734_17.min1.thm1.tptp
2017-02-06 16:47
327
fdiff_5__742_31.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__743_35.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__744_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__751_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__754_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__755_52.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__756_34.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__757_33.min1.thm1
2017-02-06 12:46
699
fdiff_5__758_32.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__763_30.min1.thm1
2017-02-06 12:46
731
fdiff_5__767_33.min1.thm1
2017-02-06 12:46
530
fdiff_5__768_47.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__775_33.min1.thm1
2017-02-06 12:46
530
fdiff_5__778_38.min1.thm1
2017-02-06 12:46
813
fdiff_5__784_29.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__796_73.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__800_75.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__802_74.min1.thm1
2017-02-06 12:46
3.3K
fdiff_5__805_13.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__811_24.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__813_46.min1.thm1
2017-02-06 12:46
2.8K
fdiff_5__815_78.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__831_38.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__834_23.min1.thm1
2017-02-06 12:46
624
fdiff_5__834_23.min1.thm1.tptp
2017-02-06 16:47
549
fdiff_5__835_42.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__837_17.min1.thm1
2017-02-06 12:46
391
fdiff_5__837_17.min1.thm1.tptp
2017-02-06 16:47
327
fdiff_5__845_31.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__846_35.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__847_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__854_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__857_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__858_52.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__859_34.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__861_31.min1.thm1
2017-02-06 12:46
699
fdiff_5__862_30.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__866_30.min1.thm1
2017-02-06 12:46
731
fdiff_5__870_33.min1.thm1
2017-02-06 12:46
541
fdiff_5__871_47.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__878_33.min1.thm1
2017-02-06 12:46
541
fdiff_5__881_40.min1.thm1
2017-02-06 12:46
835
fdiff_5__888_29.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__900_73.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__904_75.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__906_74.min1.thm1
2017-02-06 12:46
3.3K
fdiff_5__913_27.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__915_47.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__918_73.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__934_38.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__937_23.min1.thm1
2017-02-06 12:46
624
fdiff_5__937_23.min1.thm1.tptp
2017-02-06 16:47
549
fdiff_5__938_42.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__940_17.min1.thm1
2017-02-06 12:46
391
fdiff_5__940_17.min1.thm1.tptp
2017-02-06 16:47
327
fdiff_5__948_31.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__949_35.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__950_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__957_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__960_36.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__961_52.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__962_30.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__963_30.min1.thm1
2017-02-06 12:46
677
fdiff_5__964_29.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__968_30.min1.thm1
2017-02-06 12:46
731
fdiff_5__972_33.min1.thm1
2017-02-06 12:46
541
fdiff_5__973_47.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__980_33.min1.thm1
2017-02-06 12:46
541
fdiff_5__983_43.min1.thm1
2017-02-06 12:46
835
fdiff_5__990_29.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__1002_72.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1006_74.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1008_73.min1.thm1
2017-02-06 12:46
3.3K
fdiff_5__1017_24.min1.thm1
2017-02-06 12:46
2.6K
fdiff_5__1019_46.min1.thm1
2017-02-06 12:46
2.8K
fdiff_5__1021_78.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__1037_32.min1.thm1
2017-02-06 12:46
806
fdiff_5__1038_33.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1039_31.min1.thm1
2017-02-06 12:46
3.1K
fdiff_5__1041_20.min1.thm1
2017-02-06 12:46
612
fdiff_5__1049_52.min1.thm1
2017-02-06 12:46
2.3K
fdiff_5__1050_49.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1051_44.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1071_32.min1.thm1
2017-02-06 12:46
806
fdiff_5__1072_33.min1.thm1
2017-02-06 12:46
1.1K
fdiff_5__1073_31.min1.thm1
2017-02-06 12:46
3.1K
fdiff_5__1075_20.min1.thm1
2017-02-06 12:46
612
fdiff_5__1083_52.min1.thm1
2017-02-06 12:46
2.3K
fdiff_5__1084_49.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1085_45.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1105_29.min1.thm1
2017-02-06 12:46
538
fdiff_5__1107_41.min1.thm1
2017-02-06 12:46
833
fdiff_5__1108_33.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1116_38.min1.thm1
2017-02-06 12:46
725
fdiff_5__1118_35.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1119_59.min1.thm1
2017-02-06 12:46
758
fdiff_5__1136_53.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1138_20.min1.thm1
2017-02-06 12:46
532
fdiff_5__1138_20.min1.thm1.tptp
2017-02-06 16:47
457
fdiff_5__1147_14.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1148_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1150_38.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1151_27.min1.thm1
2017-02-06 12:46
754
fdiff_5__1154_21.min1.thm1
2017-02-06 12:46
511
fdiff_5__1154_21.min1.thm1.tptp
2017-02-06 16:47
447
fdiff_5__1162_58.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__1163_54.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1164_57.min1.thm1
2017-02-06 12:46
2.3K
fdiff_5__1165_61.min1.thm1
2017-02-06 12:46
3.6K
fdiff_5__1171_65.min1.thm1
2017-02-06 12:46
2.1K
fdiff_5__1181_59.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1198_53.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1201_26.min1.thm1
2017-02-06 12:46
753
fdiff_5__1203_38.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1204_15.min1.thm1
2017-02-06 12:46
532
fdiff_5__1204_15.min1.thm1.tptp
2017-02-06 16:47
457
fdiff_5__1213_14.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1214_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1218_21.min1.thm1
2017-02-06 12:46
511
fdiff_5__1218_21.min1.thm1.tptp
2017-02-06 16:47
447
fdiff_5__1226_58.min1.thm1
2017-02-06 12:46
2.0K
fdiff_5__1227_54.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1228_57.min1.thm1
2017-02-06 12:46
2.3K
fdiff_5__1229_61.min1.thm1
2017-02-06 12:46
3.6K
fdiff_5__1234_65.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__1242_40.min1.thm1
2017-02-06 12:46
2.4K
fdiff_5__1243_34.min1.thm1
2017-02-06 12:46
2.8K
fdiff_5__1244_59.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1251_33.min1.thm1
2017-02-06 12:46
3.1K
fdiff_5__1260_54.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1268_28.min1.thm1
2017-02-06 12:46
2.1K
fdiff_5__1269_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1271_17.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__1286_20.min1.thm1
2017-02-06 12:46
542
fdiff_5__1287_45.min1.thm1
2017-02-06 12:46
2.5K
fdiff_5__1290_17.min1.thm1
2017-02-06 12:46
515
fdiff_5__1292_31.min1.thm1
2017-02-06 12:46
643
fdiff_5__1302_53.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__1303_50.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1304_41.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__1307_20.min1.thm1
2017-02-06 12:46
2.1K
fdiff_5__1308_16.min1.thm1
2017-02-06 12:46
574
fdiff_5__1324_53.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1325_30.min1.thm1
2017-02-06 12:46
1.9K
fdiff_5__1327_19.min1.thm1
2017-02-06 12:46
491
fdiff_5__1329_31.min1.thm1
2017-02-06 12:46
643
fdiff_5__1330_15.min1.thm1
2017-02-06 12:46
401
fdiff_5__1330_15.min1.thm1.tptp
2017-02-06 16:47
326
fdiff_5__1339_14.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1340_19.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1347_12.min1.thm1
2017-02-06 12:46
972
fdiff_5__1350_43.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1351_40.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1352_43.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__1353_44.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1354_42.min1.thm1
2017-02-06 12:46
2.5K
fdiff_5__1356_42.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1357_35.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1359_27.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__1360_20.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1361_37.min1.thm1
2017-02-06 12:46
638
fdiff_5__1381_23.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1383_35.min1.thm1
2017-02-06 12:46
1.8K
fdiff_5__1386_35.min1.thm1
2017-02-06 12:46
1.7K
fdiff_5__1387_44.min1.thm1
2017-02-06 12:46
819
fdiff_5__1396_14.min1.thm1
2017-02-06 12:46
479
fdiff_5__1397_21.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1413_73.min1.thm1
2017-02-06 12:46
2.7K
fdiff_5__1443_33.min1.thm1
2017-02-06 12:46
737
fdiff_5__1443_33.min1.thm1.tptp
2017-02-06 16:47
673
fdiff_5__1448_23.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1459_34.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1479_21.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1480_14.min1.thm1
2017-02-06 12:46
479
fdiff_5__1506_39.min1.thm1
2017-02-06 12:46
2.2K
fdiff_5__1507_43.min1.thm1
2017-02-06 12:46
2.2K
fdiff_5__1508_47.min1.thm1
2017-02-06 12:46
1.4K
fdiff_5__1513_29.min1.thm1
2017-02-06 12:46
938
fdiff_5__1530_17.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1532_32.min1.thm1
2017-02-06 12:46
806
fdiff_5__1535_17.min1.thm1
2017-02-06 12:46
550
fdiff_5__1537_31.min1.thm1
2017-02-06 12:46
643
fdiff_5__1538_20.min1.thm1
2017-02-06 12:46
612
fdiff_5__1545_48.min1.thm1
2017-02-06 12:46
2.3K
fdiff_5__1546_45.min1.thm1
2017-02-06 12:46
1.5K
fdiff_5__1548_40.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1554_45.min1.thm1
2017-02-06 12:46
762
fdiff_5__1569_22.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1571_17.min1.thm1
2017-02-06 12:46
522
fdiff_5__1573_31.min1.thm1
2017-02-06 12:46
643
fdiff_5__1575_32.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1582_40.min1.thm1
2017-02-06 12:46
1.2K
fdiff_5__1583_30.min1.thm1
2017-02-06 12:46
1.6K
fdiff_5__1584_30.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1585_31.min1.thm1
2017-02-06 12:46
1.3K
fdiff_5__1586_27.min1.thm1
2017-02-06 12:46
1.0K
fdiff_5__1588_16.min1.thm1
2017-02-06 12:46
578
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80