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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]hfdiff_1__51_19.min1.thm12017-02-06 12:45 763  
[   ]hfdiff_1__52_32.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__53_11.min1.thm12017-02-06 12:45 673  
[   ]hfdiff_1__62_21.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__68_36.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__69_34.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__70_23.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__73_31.min1.thm12017-02-06 12:45 340  
[   ]hfdiff_1__75_23.min1.thm12017-02-06 12:45 962  
[   ]hfdiff_1__99_42.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__100_25.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__101_27.min1.thm12017-02-06 12:45 413  
[   ]hfdiff_1__101_27.min1.thm1.tptp2017-02-06 16:47 348  
[   ]hfdiff_1__102_24.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__103_24.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__104_19.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__105_21.min1.thm12017-02-06 12:45 414  
[   ]hfdiff_1__108_15.min1.thm12017-02-06 12:45 261  
[   ]hfdiff_1__111_12.min1.thm12017-02-06 12:45 329  
[   ]hfdiff_1__111_12.min1.thm1.tptp2017-02-06 16:47 264  
[   ]hfdiff_1__112_18.min1.thm12017-02-06 12:45 887  
[   ]hfdiff_1__114_24.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__115_25.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__116_15.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__117_12.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__122_17.min1.thm12017-02-06 12:45 668  
[   ]hfdiff_1__122_17.min1.thm1.tptp2017-02-06 16:47 588  
[   ]hfdiff_1__150_29.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__151_24.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__152_12.min1.thm12017-02-06 12:45 329  
[   ]hfdiff_1__168_19.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__168_19.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]hfdiff_1__182_19.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__183_20.min1.thm12017-02-06 12:45 608  
[   ]hfdiff_1__184_17.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__193_13.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__196_17.min1.thm12017-02-06 12:45 806  
[   ]hfdiff_1__202_24.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__207_34.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__208_19.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__220_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__221_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__222_49.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__227_25.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__229_20.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__230_15.min1.thm12017-02-06 12:45 583  
[   ]hfdiff_1__231_14.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__239_23.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__241_22.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__242_21.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__246_45.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__247_39.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__248_29.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__251_14.min1.thm12017-02-06 12:45 518  
[   ]hfdiff_1__261_11.min1.thm12017-02-06 12:45 719  
[   ]hfdiff_1__266_11.min1.thm12017-02-06 12:45 719  
[   ]hfdiff_1__269_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__271_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__272_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__274_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__275_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__278_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__279_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__280_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__282_15.min1.thm12017-02-06 12:45 199  
[   ]hfdiff_1__286_18.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__287_17.min1.thm12017-02-06 12:45 215  
[   ]hfdiff_1__291_20.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__294_46.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__299_28.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__300_22.min1.thm12017-02-06 12:45 580  
[   ]hfdiff_1__309_22.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__315_45.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__319_29.min1.thm12017-02-06 12:45 636  
[   ]hfdiff_1__320_20.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__321_27.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__332_17.min1.thm12017-02-06 12:45 215  
[   ]hfdiff_1__336_20.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__344_28.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__345_23.min1.thm12017-02-06 12:45 602  
[   ]hfdiff_1__346_27.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__355_22.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__358_46.min1.thm12017-02-06 12:45 2.7K 
[   ]hfdiff_1__361_44.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__365_30.min1.thm12017-02-06 12:45 658  
[   ]hfdiff_1__373_16.min1.thm12017-02-06 12:45 610  
[   ]hfdiff_1__379_16.min1.thm12017-02-06 12:45 610  
[   ]hfdiff_1__390_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__393_11.min1.thm12017-02-06 12:45 719  
[   ]hfdiff_1__396_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__398_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__399_45.min1.thm12017-02-06 12:45 916  
[   ]hfdiff_1__407_21.min1.thm12017-02-06 12:45 622  
[   ]hfdiff_1__408_12.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__409_14.min1.thm12017-02-06 12:45 468  
[   ]hfdiff_1__417_23.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__418_45.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__419_43.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__421_29.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__424_14.min1.thm12017-02-06 12:45 446  
[   ]hfdiff_1__434_11.min1.thm12017-02-06 12:45 719  
[   ]hfdiff_1__439_11.min1.thm12017-02-06 12:45 719  
[   ]hfdiff_1__442_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__444_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__445_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__447_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__448_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__451_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__452_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__453_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__455_15.min1.thm12017-02-06 12:45 199  
[   ]hfdiff_1__459_18.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__460_17.min1.thm12017-02-06 12:45 215  
[   ]hfdiff_1__464_20.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__472_28.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__473_23.min1.thm12017-02-06 12:45 602  
[   ]hfdiff_1__483_22.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__489_45.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__493_30.min1.thm12017-02-06 12:45 658  
[   ]hfdiff_1__506_17.min1.thm12017-02-06 12:45 215  
[   ]hfdiff_1__510_20.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__516_45.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__520_29.min1.thm12017-02-06 12:45 636  
[   ]hfdiff_1__521_20.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__522_27.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__531_22.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__534_50.min1.thm12017-02-06 12:45 2.7K 
[   ]hfdiff_1__536_38.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__539_28.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__540_22.min1.thm12017-02-06 12:45 580  
[   ]hfdiff_1__548_16.min1.thm12017-02-06 12:45 610  
[   ]hfdiff_1__554_16.min1.thm12017-02-06 12:45 610  
[   ]hfdiff_1__574_12.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__580_16.min1.thm12017-02-06 12:45 4.3K 
[   ]hfdiff_1__591_16.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__594_14.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__594_14.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]hfdiff_1__614_12.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__634_14.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__634_14.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]hfdiff_1__644_69.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__646_17.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__656_69.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__671_42.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__674_13.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__676_52.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__677_42.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__696_42.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__699_13.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__702_42.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__726_12.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__737_18.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__742_14.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__742_14.min1.thm1.tptp2017-02-06 16:47 960  
[   ]hfdiff_1__753_41.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__756_13.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__768_20.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__773_40.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__777_16.min1.thm12017-02-06 12:45 530  
[   ]hfdiff_1__779_41.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__783_11.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__792_32.min1.thm12017-02-06 12:45 946  
[   ]hfdiff_1__793_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__796_14.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__804_36.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__805_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__808_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__809_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__810_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__820_16.min1.thm12017-02-06 12:45 768  
[   ]hfdiff_1__825_13.min1.thm12017-02-06 12:45 822  
[   ]hfdiff_1__830_16.min1.thm12017-02-06 12:45 768  
[   ]hfdiff_1__839_36.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__840_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__843_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__844_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__845_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__855_16.min1.thm12017-02-06 12:45 768  
[   ]hfdiff_1__860_13.min1.thm12017-02-06 12:45 822  
[   ]hfdiff_1__865_16.min1.thm12017-02-06 12:45 768  
[   ]hfdiff_1__874_37.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__875_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__878_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__879_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__880_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__889_21.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__890_16.min1.thm12017-02-06 12:45 632  
[   ]hfdiff_1__895_13.min1.thm12017-02-06 12:45 822  
[   ]hfdiff_1__900_16.min1.thm12017-02-06 12:45 632  
[   ]hfdiff_1__909_35.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__919_42.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__921_27.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__924_16.min1.thm12017-02-06 12:45 684  
[   ]hfdiff_1__926_27.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__934_41.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__937_20.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__938_34.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__939_58.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__941_38.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__942_17.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__949_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__953_43.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__954_40.min1.thm12017-02-06 12:45 826  
[   ]hfdiff_1__974_18.min1.thm12017-02-06 12:45 3.2K 
[   ]hfdiff_1__975_41.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__979_39.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__994_18.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__996_42.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__998_14.min1.thm12017-02-06 12:45 506  
[   ]hfdiff_1__1010_13.min1.thm12017-02-06 12:45 344  
[   ]hfdiff_1__1010_13.min1.thm1.tptp2017-02-06 16:47 261  
[   ]hfdiff_1__1014_18.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1020_45.min1.thm12017-02-06 12:45 2.8K 
[   ]hfdiff_1__1024_14.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1049_14.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1056_17.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1070_66.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1073_64.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1075_17.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1075_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[   ]hfdiff_1__1082_17.min1.thm12017-02-06 12:45 932  
[   ]hfdiff_1__1085_23.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1101_24.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1106_11.min1.thm12017-02-06 12:45 569  
[   ]hfdiff_1__1110_37.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__1111_14.min1.thm12017-02-06 12:45 752  
[   ]hfdiff_1__1119_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1122_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1123_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1124_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1125_14.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1126_12.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1127_34.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1130_22.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1141_21.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__1143_16.min1.thm12017-02-06 12:45 488  
[   ]hfdiff_1__1149_17.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1150_13.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1151_16.min1.thm12017-02-06 12:45 486  
[   ]hfdiff_1__1161_32.min1.thm12017-02-06 12:45 261  
[   ]hfdiff_1__1162_13.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__1167_21.min1.thm12017-02-06 12:45 3.9K 
[   ]hfdiff_1__1179_24.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1184_11.min1.thm12017-02-06 12:45 569  
[   ]hfdiff_1__1194_24.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1199_11.min1.thm12017-02-06 12:45 569  
[   ]hfdiff_1__1201_35.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1213_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1216_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1217_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1218_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1220_37.min1.thm12017-02-06 12:45 585  
[   ]hfdiff_1__1229_16.min1.thm12017-02-06 12:45 645  
[   ]hfdiff_1__1233_22.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1241_19.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1242_17.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1243_16.min1.thm12017-02-06 12:45 644  
[   ]hfdiff_1__1254_12.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1255_69.min1.thm12017-02-06 12:45 3.3K 
[   ]hfdiff_1__1257_30.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__1259_12.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1260_68.min1.thm12017-02-06 12:45 3.4K 
[   ]hfdiff_1__1265_17.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1265_17.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]hfdiff_1__1277_15.min1.thm12017-02-06 12:45 932  
[   ]hfdiff_1__1279_23.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1280_41.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1281_14.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1285_11.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1291_17.min1.thm12017-02-06 12:45 855  
[   ]hfdiff_1__1291_17.min1.thm1.tptp2017-02-06 16:47 775  
[   ]hfdiff_1__1302_24.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1304_19.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__1307_17.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1316_38.min1.thm12017-02-06 12:45 735  
[   ]hfdiff_1__1317_11.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1320_14.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1321_16.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1322_46.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1323_17.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1325_15.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1328_37.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1329_37.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1334_26.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1336_16.min1.thm12017-02-06 12:45 620  
[   ]hfdiff_1__1343_16.min1.thm12017-02-06 12:45 620  
[   ]hfdiff_1__1352_25.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1353_13.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1354_23.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1355_16.min1.thm12017-02-06 12:45 358  
[   ]hfdiff_1__1367_33.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1369_15.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1370_31.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1371_42.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1374_15.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1375_17.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1386_34.min1.thm12017-02-06 12:45 768  
[   ]hfdiff_1__1388_26.min1.thm12017-02-06 12:45 801  
[   ]hfdiff_1__1397_18.min1.thm12017-02-06 12:45 791  
[   ]hfdiff_1__1398_25.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1399_21.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1400_24.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1406_16.min1.thm12017-02-06 12:45 762  
[   ]hfdiff_1__1418_41.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1421_20.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1422_34.min1.thm12017-02-06 12:45 969  
[   ]hfdiff_1__1423_58.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1425_34.min1.thm12017-02-06 12:45 2.0K 
[   ]hfdiff_1__1426_29.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1427_17.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__1435_41.min1.thm12017-02-06 12:45 795  
[   ]hfdiff_1__1438_20.min1.thm12017-02-06 12:45 612  
[   ]hfdiff_1__1440_26.min1.thm12017-02-06 12:45 855  
[   ]hfdiff_1__1443_38.min1.thm12017-02-06 12:45 836  
[   ]hfdiff_1__1448_22.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1450_15.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1451_38.min1.thm12017-02-06 12:45 797  
[   ]hfdiff_1__1453_34.min1.thm12017-02-06 12:45 857  
[   ]hfdiff_1__1454_40.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1455_37.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1461_22.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1462_25.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1468_16.min1.thm12017-02-06 12:45 752  
[   ]hfdiff_1__1472_10.min1.thm12017-02-06 12:45 563  
[   ]hfdiff_1__1482_29.min1.thm12017-02-06 12:45 3.5K 
[   ]hfdiff_1__1484_31.min1.thm12017-02-06 12:45 2.8K 
[   ]hfdiff_1__1488_31.min1.thm12017-02-06 12:45 3.5K 
[   ]hfdiff_1__1490_31.min1.thm12017-02-06 12:45 2.8K 
[   ]hfdiff_1__1491_41.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1496_22.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1498_15.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1499_38.min1.thm12017-02-06 12:45 737  
[   ]hfdiff_1__1502_37.min1.thm12017-02-06 12:45 1.9K 
[   ]hfdiff_1__1503_37.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1508_26.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1509_29.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1515_16.min1.thm12017-02-06 12:45 845  
[   ]hfdiff_1__1517_36.min1.thm12017-02-06 12:45 735  
[   ]hfdiff_1__1519_29.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1523_10.min1.thm12017-02-06 12:45 615  
[   ]hfdiff_1__1535_11.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__1539_32.min1.thm12017-02-06 12:45 819  
[   ]hfdiff_1__1540_35.min1.thm12017-02-06 12:45 800  
[   ]hfdiff_1__1544_10.min1.thm12017-02-06 12:45 863  
[   ]hfdiff_1__1548_32.min1.thm12017-02-06 12:45 821  
[   ]hfdiff_1__1550_37.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1551_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1557_43.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1558_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1564_43.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1565_36.min1.thm12017-02-06 12:45 800  
[   ]hfdiff_1__1569_42.min1.thm12017-02-06 12:45 926  
[   ]hfdiff_1__1591_3.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__1602_10.min1.thm12017-02-06 12:45 573  
[   ]hfdiff_1__1610_37.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1612_27.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1616_16.min1.thm12017-02-06 12:45 572  
[   ]hfdiff_1__1619_45.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1631_20.min1.thm12017-02-06 12:45 612  
[   ]hfdiff_1__1632_15.min1.thm12017-02-06 12:45 3.8K 
[   ]hfdiff_1__1637_10.min1.thm12017-02-06 12:45 615  
[   ]hfdiff_1__1638_38.min1.thm12017-02-06 12:45 735  
[   ]hfdiff_1__1639_15.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1640_37.min1.thm12017-02-06 12:45 821  
[   ]hfdiff_1__1641_44.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1647_59.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1654_34.min1.thm12017-02-06 12:45 3.9K 
[   ]hfdiff_1__1655_33.min1.thm12017-02-06 12:45 3.4K 
[   ]hfdiff_1__1661_14.min1.thm12017-02-06 12:45 826  
[   ]hfdiff_1__1667_33.min1.thm12017-02-06 12:45 642  
[   ]hfdiff_1__1672_18.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__1674_22.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1676_16.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1678_13.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1686_63.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__1687_63.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1692_50.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__1693_41.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__1700_33.min1.thm12017-02-06 12:45 642  
[   ]hfdiff_1__1705_18.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__1707_22.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1709_16.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1711_13.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1720_70.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__1733_64.min1.thm12017-02-06 12:45 691  
[   ]hfdiff_1__1738_18.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__1740_20.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__1742_16.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1744_9.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1746_9.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1769_26.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1779_33.min1.thm12017-02-06 12:45 493  
[   ]hfdiff_1__1779_33.min1.thm1.tptp2017-02-06 16:47 419  
[   ]hfdiff_1__1780_29.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__1783_17.min1.thm12017-02-06 12:45 844  
[   ]hfdiff_1__1785_17.min1.thm12017-02-06 12:45 426  
[   ]hfdiff_1__1788_10.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1795_62.min1.thm12017-02-06 12:45 723  
[   ]hfdiff_1__1799_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1805_14.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1808_36.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1809_22.min1.thm12017-02-06 12:45 769  
[   ]hfdiff_1__1817_16.min1.thm12017-02-06 12:45 736  
[   ]hfdiff_1__1819_19.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1827_41.min1.thm12017-02-06 12:45 493  
[   ]hfdiff_1__1827_41.min1.thm1.tptp2017-02-06 16:47 419  
[   ]hfdiff_1__1832_37.min1.thm12017-02-06 12:45 919  
[   ]hfdiff_1__1834_24.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__1835_33.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__1838_21.min1.thm12017-02-06 12:45 844  
[   ]hfdiff_1__1842_34.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__1845_40.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1848_42.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1858_31.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__1859_16.min1.thm12017-02-06 12:45 736  
[   ]hfdiff_1__1863_10.min1.thm12017-02-06 12:45 814  
[   ]hfdiff_1__1873_33.min1.thm12017-02-06 12:45 739  
[   ]hfdiff_1__1874_34.min1.thm12017-02-06 12:45 867  
[   ]hfdiff_1__1876_47.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__1877_35.min1.thm12017-02-06 12:45 792  
[   ]hfdiff_1__1896_37.min1.thm12017-02-06 12:45 493  
[   ]hfdiff_1__1896_37.min1.thm1.tptp2017-02-06 16:47 419  
[   ]hfdiff_1__1905_62.min1.thm12017-02-06 12:45 723  
[   ]hfdiff_1__1909_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1910_35.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__1913_20.min1.thm12017-02-06 12:45 844  
[   ]hfdiff_1__1920_13.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__1924_17.min1.thm12017-02-06 12:45 428  
[   ]hfdiff_1__1926_33.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1927_37.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1930_37.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1931_23.min1.thm12017-02-06 12:45 791  
[   ]hfdiff_1__1941_16.min1.thm12017-02-06 12:45 842  
[   ]hfdiff_1__1947_10.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1948_21.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__1956_35.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__1960_37.min1.thm12017-02-06 12:45 493  
[   ]hfdiff_1__1960_37.min1.thm1.tptp2017-02-06 16:47 419  
[   ]hfdiff_1__1962_20.min1.thm12017-02-06 12:45 844  
[   ]hfdiff_1__1965_34.min1.thm12017-02-06 12:45 930  
[   ]hfdiff_1__1971_39.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__1976_40.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__1979_14.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__1980_44.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__1994_16.min1.thm12017-02-06 12:45 808  
[   ]hfdiff_1__1999_10.min1.thm12017-02-06 12:45 814  
[   ]hfdiff_1__2000_21.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__2010_33.min1.thm12017-02-06 12:45 792  
[   ]hfdiff_1__2011_34.min1.thm12017-02-06 12:45 903  
[   ]hfdiff_1__2013_47.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2016_34.min1.thm12017-02-06 12:45 792  
[   ]hfdiff_1__2042_68.min1.thm12017-02-06 12:45 854  
[   ]hfdiff_1__2047_10.min1.thm12017-02-06 12:45 668  
[   ]hfdiff_1__2049_31.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2050_38.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2052_45.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__2053_33.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2055_41.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__2056_35.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2057_46.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__2060_65.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2066_52.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2067_51.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__2072_10.min1.thm12017-02-06 12:45 668  
[   ]hfdiff_1__2076_7.min1.thm12017-02-06 12:45 261  
[   ]hfdiff_1__2088_6.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__2092_8.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__2094_6.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__2113_16.min1.thm12017-02-06 12:45 880  
[   ]hfdiff_1__2121_68.min1.thm12017-02-06 12:45 854  
[   ]hfdiff_1__2127_10.min1.thm12017-02-06 12:45 668  
[   ]hfdiff_1__2129_31.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2130_38.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2133_54.min1.thm12017-02-06 12:45 2.9K 
[   ]hfdiff_1__2134_33.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2136_41.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__2137_35.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2138_46.min1.thm12017-02-06 12:45 2.2K 
[   ]hfdiff_1__2142_65.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2148_52.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2155_11.min1.thm12017-02-06 12:45 668  
[   ]hfdiff_1__2159_7.min1.thm12017-02-06 12:45 261  
[   ]hfdiff_1__2171_6.min1.thm12017-02-06 12:45 2.1K 
[   ]hfdiff_1__2177_9.min1.thm12017-02-06 12:45 3.2K 
[   ]hfdiff_1__2179_6.min1.thm12017-02-06 12:45 2.5K 
[   ]hfdiff_1__2200_16.min1.thm12017-02-06 12:45 952  
[   ]hfdiff_1__2223_32.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2226_11.min1.thm12017-02-06 12:45 863  
[   ]hfdiff_1__2227_32.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2232_64.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2234_32.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2235_11.min1.thm12017-02-06 12:45 863  
[   ]hfdiff_1__2239_50.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__2240_32.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2246_48.min1.thm12017-02-06 12:45 1.8K 
[   ]hfdiff_1__2254_50.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__2255_42.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2320_33.min1.thm12017-02-06 12:45 642  
[   ]hfdiff_1__2337_60.min1.thm12017-02-06 12:45 3.2K 
[   ]hfdiff_1__2339_55.min1.thm12017-02-06 12:45 3.2K 
[   ]hfdiff_1__2341_52.min1.thm12017-02-06 12:45 3.2K 
[   ]hfdiff_1__2343_54.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__2345_49.min1.thm12017-02-06 12:45 3.1K 
[   ]hfdiff_1__2365_28.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__2384_51.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__2391_43.min1.thm12017-02-06 12:45 2.9K 
[   ]hfdiff_1__2392_25.min1.thm12017-02-06 12:45 682  
[   ]hfdiff_1__2398_39.min1.thm12017-02-06 12:45 845  
[   ]hfdiff_1__2399_26.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2401_15.min1.thm12017-02-06 12:45 391  
[   ]hfdiff_1__2401_15.min1.thm1.tptp2017-02-06 16:47 323  
[   ]hfdiff_1__2416_35.min1.thm12017-02-06 12:45 637  
[   ]hfdiff_1__2416_35.min1.thm1.tptp2017-02-06 16:47 572  
[   ]hfdiff_1__2419_40.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__2420_41.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2422_17.min1.thm12017-02-06 12:45 511  
[   ]hfdiff_1__2422_17.min1.thm1.tptp2017-02-06 16:47 447  
[   ]hfdiff_1__2425_22.min1.thm12017-02-06 12:45 552  
[   ]hfdiff_1__2425_22.min1.thm1.tptp2017-02-06 16:47 490  
[   ]hfdiff_1__2426_19.min1.thm12017-02-06 12:45 1.6K 
[   ]hfdiff_1__2431_20.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2433_14.min1.thm12017-02-06 12:45 377  
[   ]hfdiff_1__2433_14.min1.thm1.tptp2017-02-06 16:47 312  
[   ]hfdiff_1__2434_24.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2440_11.min1.thm12017-02-06 12:45 969  
[   ]hfdiff_1__2441_36.min1.thm12017-02-06 12:45 629  
[   ]hfdiff_1__2441_36.min1.thm1.tptp2017-02-06 16:47 564  
[   ]hfdiff_1__2452_31.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2454_32.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2455_17.min1.thm12017-02-06 12:45 711  
[   ]hfdiff_1__2462_15.min1.thm12017-02-06 12:45 487  
[   ]hfdiff_1__2463_32.min1.thm12017-02-06 12:45 2.4K 
[   ]hfdiff_1__2464_14.min1.thm12017-02-06 12:45 335  
[   ]hfdiff_1__2466_19.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__2468_10.min1.thm12017-02-06 12:45 863  
[   ]hfdiff_1__2469_31.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2477_36.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__2480_33.min1.thm12017-02-06 12:45 870  
[   ]hfdiff_1__2516_9.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__2523_20.min1.thm12017-02-06 12:45 1.2K 
[   ]hfdiff_1__2527_17.min1.thm12017-02-06 12:45 417  
[   ]hfdiff_1__2528_11.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2533_23.min1.thm12017-02-06 12:45 439  
[   ]hfdiff_1__2534_12.min1.thm12017-02-06 12:45 333  
[   ]hfdiff_1__2535_37.min1.thm12017-02-06 12:45 781  
[   ]hfdiff_1__2535_37.min1.thm1.tptp2017-02-06 16:47 708  
[   ]hfdiff_1__2540_27.min1.thm12017-02-06 12:45 2.3K 
[   ]hfdiff_1__2540_27.min1.thm1.tptp2017-02-06 16:47 2.3K 
[   ]hfdiff_1__2546_27.min1.thm12017-02-06 12:45 1.5K 
[   ]hfdiff_1__2549_16.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__2557_9.min1.thm12017-02-06 12:45 1.7K 
[   ]hfdiff_1__2558_74.min1.thm12017-02-06 12:45 1.4K 
[   ]hfdiff_1__2559_72.min1.thm12017-02-06 12:45 1.3K 
[   ]hfdiff_1__2559_72.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]hfdiff_1__2561_64.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2562_55.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2563_53.min1.thm12017-02-06 12:45 1.0K 
[   ]hfdiff_1__2563_53.min1.thm1.tptp2017-02-06 16:47 938  
[   ]hfdiff_1__2564_55.min1.thm12017-02-06 12:45 1.1K 
[   ]hfdiff_1__2565_39.min1.thm12017-02-06 12:45 817  
[   ]hfdiff_1__2566_31.min1.thm12017-02-06 12:45 820  
[   ]hfdiff_1__2566_31.min1.thm1.tptp2017-02-06 16:47 746  
[   ]hfdiff_1__2567_19.min1.thm12017-02-06 12:45 940  
[   ]hfdiff_1__2567_19.min1.thm1.tptp2017-02-06 16:47 867  
[   ]hfdiff_1__2575_66.min1.thm12017-02-06 12:45 854  
[   ]hfdiff_1__2581_48.min1.thm12017-02-06 12:45 2.8K 
[   ]hfdiff_1__2585_36.min1.thm12017-02-06 12:45 2.6K 
[   ]hfdiff_1__2593_40.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__2595_33.min1.thm12017-02-06 12:45 3.0K 
[   ]hfdiff_1__2628_14.min1.thm12017-02-06 12:45 3.4K 

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