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

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