Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/mfold_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mfold_2__63_16.min1.thm12017-02-06 12:45 396  
[ ]mfold_2__63_16.min1.thm1.tptp2017-02-06 16:47 330  
[ ]mfold_2__67_15.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__68_19.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__83_22.min1.thm12017-02-06 12:45 641  
[ ]mfold_2__84_28.min1.thm12017-02-06 12:45 853  
[ ]mfold_2__85_23.min1.thm12017-02-06 12:45 701  
[ ]mfold_2__89_26.min1.thm12017-02-06 12:45 760  
[ ]mfold_2__90_20.min1.thm12017-02-06 12:45 843  
[ ]mfold_2__91_27.min1.thm12017-02-06 12:45 557  
[ ]mfold_2__93_26.min1.thm12017-02-06 12:45 468  
[ ]mfold_2__93_26.min1.thm1.tptp2017-02-06 16:47 408  
[ ]mfold_2__109_33.min1.thm12017-02-06 12:45 907  
[ ]mfold_2__110_19.min1.thm12017-02-06 12:45 853  
[ ]mfold_2__115_27.min1.thm12017-02-06 12:45 760  
[ ]mfold_2__117_28.min1.thm12017-02-06 12:45 937  
[ ]mfold_2__119_28.min1.thm12017-02-06 12:45 494  
[ ]mfold_2__119_28.min1.thm1.tptp2017-02-06 16:47 434  
[ ]mfold_2__134_39.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__135_11.min1.thm12017-02-06 12:45 255  
[ ]mfold_2__137_38.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__142_18.min1.thm12017-02-06 12:45 276  
[ ]mfold_2__143_38.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__144_38.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__146_60.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__149_62.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__150_18.min1.thm12017-02-06 12:45 3.4K 
[ ]mfold_2__151_19.min1.thm12017-02-06 12:45 3.8K 
[ ]mfold_2__163_31.min1.thm12017-02-06 12:45 875  
[ ]mfold_2__164_32.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__181_32.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__182_27.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__183_37.min1.thm12017-02-06 12:45 957  
[ ]mfold_2__185_25.min1.thm12017-02-06 12:45 876  
[ ]mfold_2__186_18.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__191_22.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__193_22.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__194_16.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__198_18.min1.thm12017-02-06 12:45 759  
[ ]mfold_2__199_23.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__208_16.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_2__214_24.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__223_22.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__230_39.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_2__243_24.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__245_18.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__247_19.min1.thm12017-02-06 12:45 760  
[ ]mfold_2__249_29.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__258_38.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__266_38.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__268_31.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__270_39.min1.thm12017-02-06 12:45 2.9K 
[ ]mfold_2__280_35.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__282_35.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__283_11.min1.thm12017-02-06 12:45 188  
[ ]mfold_2__285_40.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__286_58.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__292_32.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__293_33.min1.thm12017-02-06 12:45 369  
[ ]mfold_2__294_60.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__295_26.min1.thm12017-02-06 12:45 577  
[ ]mfold_2__296_51.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__297_46.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__301_60.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__305_40.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__318_31.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__332_31.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__334_21.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__345_39.min1.thm12017-02-06 12:45 699  
[ ]mfold_2__345_39.min1.thm1.tptp2017-02-06 16:47 627  
[ ]mfold_2__346_39.min1.thm12017-02-06 12:45 699  
[ ]mfold_2__346_39.min1.thm1.tptp2017-02-06 16:47 627  
[ ]mfold_2__363_31.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__365_21.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__396_28.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__397_21.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__398_29.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__399_26.min1.thm12017-02-06 12:45 779  
[ ]mfold_2__413_36.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__414_49.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__420_17.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__422_20.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__423_41.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__437_34.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__438_56.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__443_32.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__444_32.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__449_36.min1.thm12017-02-06 12:45 781  
[ ]mfold_2__453_22.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__454_15.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__457_37.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__464_33.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__465_22.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__466_15.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__470_35.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__483_29.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__486_29.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__489_15.min1.thm12017-02-06 12:45 252  
[ ]mfold_2__493_26.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__495_22.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__496_22.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__499_32.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__503_34.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__511_32.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__514_32.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__527_26.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__529_32.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__534_22.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__537_26.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__539_22.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__548_24.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__565_57.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__566_17.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__572_38.min1.thm12017-02-06 12:45 205  
[ ]mfold_2__573_30.min1.thm12017-02-06 12:45 708  
[ ]mfold_2__576_47.min1.thm12017-02-06 12:45 490  
[ ]mfold_2__584_47.min1.thm12017-02-06 12:45 490  
[ ]mfold_2__586_11.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__587_22.min1.thm12017-02-06 12:45 348  
[ ]mfold_2__587_22.min1.thm1.tptp2017-02-06 16:47 271  
[ ]mfold_2__612_50.min1.thm12017-02-06 12:45 298  
[ ]mfold_2__618_26.min1.thm12017-02-06 12:45 512  
[ ]mfold_2__619_20.min1.thm12017-02-06 12:45 586  
[ ]mfold_2__626_48.min1.thm12017-02-06 12:45 264  
[ ]mfold_2__632_24.min1.thm12017-02-06 12:45 504  
[ ]mfold_2__633_18.min1.thm12017-02-06 12:45 534  
[ ]mfold_2__636_28.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__656_48.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__658_47.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__662_35.min1.thm12017-02-06 12:45 352  
[ ]mfold_2__662_35.min1.thm1.tptp2017-02-06 16:47 275  
[ ]mfold_2__668_38.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__675_15.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__678_17.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__697_44.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__717_35.min1.thm12017-02-06 12:45 352  
[ ]mfold_2__717_35.min1.thm1.tptp2017-02-06 16:47 275  
[ ]mfold_2__723_39.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__728_11.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__731_21.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__732_28.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__733_20.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__734_23.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__736_14.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__738_12.min1.thm12017-02-06 12:45 747  
[ ]mfold_2__756_55.min1.thm12017-02-06 12:45 496  
[ ]mfold_2__776_51.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__779_16.min1.thm12017-02-06 12:45 565  
[ ]mfold_2__780_23.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__789_49.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__790_21.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__793_21.min1.thm12017-02-06 12:45 587  
[ ]mfold_2__796_17.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__806_57.min1.thm12017-02-06 12:45 496  
[ ]mfold_2__807_56.min1.thm12017-02-06 12:45 522  
[ ]mfold_2__809_18.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__810_56.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__811_21.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__822_21.min1.thm12017-02-06 12:45 455  
[ ]mfold_2__823_43.min1.thm12017-02-06 12:45 456  
[ ]mfold_2__824_39.min1.thm12017-02-06 12:45 615  
[ ]mfold_2__825_63.min1.thm12017-02-06 12:45 622  
[ ]mfold_2__826_39.min1.thm12017-02-06 12:45 668  
[ ]mfold_2__827_35.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__828_39.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__843_20.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__845_37.min1.thm12017-02-06 12:45 950  
[ ]mfold_2__848_26.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__851_55.min1.thm12017-02-06 12:45 921  
[ ]mfold_2__852_75.min1.thm12017-02-06 12:45 906  
[ ]mfold_2__867_38.min1.thm12017-02-06 12:45 917  
[ ]mfold_2__869_49.min1.thm12017-02-06 12:45 731  
[ ]mfold_2__871_31.min1.thm12017-02-06 12:45 667  
[ ]mfold_2__872_44.min1.thm12017-02-06 12:45 491  
[ ]mfold_2__879_46.min1.thm12017-02-06 12:45 473  
[ ]mfold_2__882_31.min1.thm12017-02-06 12:45 311  
[ ]mfold_2__882_31.min1.thm1.tptp2017-02-06 16:47 230  
[ ]mfold_2__884_17.min1.thm12017-02-06 12:45 492  
[ ]mfold_2__885_43.min1.thm12017-02-06 12:45 366  
[ ]mfold_2__885_43.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_2__886_45.min1.thm12017-02-06 12:45 366  
[ ]mfold_2__886_45.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_2__888_27.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__898_37.min1.thm12017-02-06 12:45 473  
[ ]mfold_2__900_29.min1.thm12017-02-06 12:45 825  
[ ]mfold_2__901_27.min1.thm12017-02-06 12:45 387  
[ ]mfold_2__903_17.min1.thm12017-02-06 12:45 409  
[ ]mfold_2__903_17.min1.thm1.tptp2017-02-06 16:47 321  
[ ]mfold_2__904_43.min1.thm12017-02-06 12:45 366  
[ ]mfold_2__904_43.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_2__905_45.min1.thm12017-02-06 12:45 366  
[ ]mfold_2__905_45.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_2__907_28.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__926_49.min1.thm12017-02-06 12:45 390  
[ ]mfold_2__926_49.min1.thm1.tptp2017-02-06 16:47 312  
[ ]mfold_2__928_17.min1.thm12017-02-06 12:45 496  
[ ]mfold_2__928_17.min1.thm1.tptp2017-02-06 16:47 421  
[ ]mfold_2__940_16.min1.thm12017-02-06 12:45 628  
[ ]mfold_2__941_66.min1.thm12017-02-06 12:45 713  
[ ]mfold_2__941_66.min1.thm1.tptp2017-02-06 16:47 656  
[ ]mfold_2__942_21.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__950_64.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__951_18.min1.thm12017-02-06 12:45 440  
[ ]mfold_2__953_16.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__963_28.min1.thm12017-02-06 12:45 508  
[ ]mfold_2__963_28.min1.thm1.tptp2017-02-06 16:47 431  
[ ]mfold_2__963_42.min1.thm12017-02-06 12:45 508  
[ ]mfold_2__963_42.min1.thm1.tptp2017-02-06 16:47 431  
[ ]mfold_2__975_59.min1.thm12017-02-06 12:45 735  
[ ]mfold_2__979_13.min1.thm12017-02-06 12:45 246  
[ ]mfold_2__985_24.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__986_23.min1.thm12017-02-06 12:45 901  
[ ]mfold_2__995_50.min1.thm12017-02-06 12:45 406  
[ ]mfold_2__995_50.min1.thm1.tptp2017-02-06 16:47 328  
[ ]mfold_2__996_22.min1.thm12017-02-06 12:45 383  
[ ]mfold_2__996_30.min1.thm12017-02-06 12:45 518  
[ ]mfold_2__996_30.min1.thm1.tptp2017-02-06 16:47 441  
[ ]mfold_2__996_43.min1.thm12017-02-06 12:45 556  
[ ]mfold_2__996_43.min1.thm1.tptp2017-02-06 16:47 479  
[ ]mfold_2__996_53.min1.thm12017-02-06 12:45 345  
[ ]mfold_2__1003_42.min1.thm12017-02-06 12:45 925  
[ ]mfold_2__1018_43.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1019_57.min1.thm12017-02-06 12:45 814  
[ ]mfold_2__1020_60.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1021_25.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1058_29.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1059_44.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1081_33.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1082_26.min1.thm12017-02-06 12:45 862  
[ ]mfold_2__1083_30.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1086_22.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1097_34.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1117_40.min1.thm12017-02-06 12:45 917  
[ ]mfold_2__1118_36.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1119_18.min1.thm12017-02-06 12:45 349  
[ ]mfold_2__1121_29.min1.thm12017-02-06 12:45 595  
[ ]mfold_2__1122_47.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1150_44.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1165_48.min1.thm12017-02-06 12:45 297  
[ ]mfold_2__1165_48.min1.thm1.tptp2017-02-06 16:47 218  
[ ]mfold_2__1180_41.min1.thm12017-02-06 12:45 754  
[ ]mfold_2__1186_18.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1207_29.min1.thm12017-02-06 12:45 963  
[ ]mfold_2__1212_32.min1.thm12017-02-06 12:45 841  
[ ]mfold_2__1223_27.min1.thm12017-02-06 12:45 702  
[ ]mfold_2__1235_60.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1238_60.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1241_50.min1.thm12017-02-06 12:45 756  
[ ]mfold_2__1241_50.min1.thm1.tptp2017-02-06 16:47 670  
[ ]mfold_2__1243_16.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_2__1253_31.min1.thm12017-02-06 12:45 599  
[ ]mfold_2__1254_27.min1.thm12017-02-06 12:45 686  
[ ]mfold_2__1255_24.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1267_23.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1276_22.min1.thm12017-02-06 12:45 583  
[ ]mfold_2__1277_17.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1280_15.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1282_14.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_2__1283_13.min1.thm12017-02-06 12:45 404  
[ ]mfold_2__1283_13.min1.thm1.tptp2017-02-06 16:47 327  
[ ]mfold_2__1289_20.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__1290_21.min1.thm12017-02-06 12:45 319  
[ ]mfold_2__1290_21.min1.thm1.tptp2017-02-06 16:47 254  
[ ]mfold_2__1291_21.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1294_13.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1311_16.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1313_26.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__1315_62.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1316_32.min1.thm12017-02-06 12:45 668  
[ ]mfold_2__1317_43.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__1318_35.min1.thm12017-02-06 12:45 630  
[ ]mfold_2__1329_33.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1331_17.min1.thm12017-02-06 12:45 248  
[ ]mfold_2__1334_30.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1335_65.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__1347_22.min1.thm12017-02-06 12:45 775  
[ ]mfold_2__1352_22.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1353_16.min1.thm12017-02-06 12:45 585  
[ ]mfold_2__1360_32.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1362_6.min1.thm12017-02-06 12:45 2.9K 
[ ]mfold_2__1365_24.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1365_44.min1.thm12017-02-06 12:45 695  
[ ]mfold_2__1374_35.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1376_15.min1.thm12017-02-06 12:45 639  
[ ]mfold_2__1390_36.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__1391_54.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__1393_29.min1.thm12017-02-06 12:45 132  
[ ]mfold_2__1395_19.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1398_19.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1399_20.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__1400_25.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1401_42.min1.thm12017-02-06 12:45 762  
[ ]mfold_2__1402_19.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1404_21.min1.thm12017-02-06 12:45 2.7K 
[ ]mfold_2__1407_41.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1408_60.min1.thm12017-02-06 12:45 858  
[ ]mfold_2__1409_25.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1410_60.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1412_20.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__1413_54.min1.thm12017-02-06 12:45 608  
[ ]mfold_2__1414_34.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1415_42.min1.thm12017-02-06 12:45 922  
[ ]mfold_2__1416_47.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1417_26.min1.thm12017-02-06 12:45 567  
[ ]mfold_2__1418_38.min1.thm12017-02-06 12:45 815  
[ ]mfold_2__1420_48.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1422_19.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1424_34.min1.thm12017-02-06 12:45 802  
[ ]mfold_2__1432_15.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1445_44.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__1464_23.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1466_35.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1468_13.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__1469_19.min1.thm12017-02-06 12:45 2.7K 
[ ]mfold_2__1470_37.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1471_28.min1.thm12017-02-06 12:45 931  
[ ]mfold_2__1487_23.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1490_23.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1491_35.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__1492_47.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__1503_60.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1506_18.min1.thm12017-02-06 12:45 551  
[ ]mfold_2__1506_18.min1.thm1.tptp2017-02-06 16:47 489  
[ ]mfold_2__1509_41.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1512_26.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1515_32.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1516_23.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__1520_20.min1.thm12017-02-06 12:45 391  
[ ]mfold_2__1520_20.min1.thm1.tptp2017-02-06 16:47 326  
[ ]mfold_2__1521_34.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1524_25.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1530_22.min1.thm12017-02-06 12:45 2.0K 
[ ]mfold_2__1536_30.min1.thm12017-02-06 12:45 952  
[ ]mfold_2__1548_31.min1.thm12017-02-06 12:45 2.6K 
[ ]mfold_2__1558_25.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__1577_33.min1.thm12017-02-06 12:45 411  
[ ]mfold_2__1586_27.min1.thm12017-02-06 12:45 785  
[ ]mfold_2__1591_42.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1599_34.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1623_34.min1.thm12017-02-06 12:45 3.4K 
[ ]mfold_2__1626_42.min1.thm12017-02-06 12:45 901  
[ ]mfold_2__1626_42.min1.thm1.tptp2017-02-06 16:47 820  
[ ]mfold_2__1631_19.min1.thm12017-02-06 12:45 371  
[ ]mfold_2__1639_33.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1640_46.min1.thm12017-02-06 12:45 909  
[ ]mfold_2__1640_46.min1.thm1.tptp2017-02-06 16:47 828  
[ ]mfold_2__1643_66.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1644_31.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_2__1654_24.min1.thm12017-02-06 12:45 949  
[ ]mfold_2__1673_17.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1677_63.min1.thm12017-02-06 12:45 897  
[ ]mfold_2__1686_18.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1708_13.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1735_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1736_51.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1739_42.min1.thm12017-02-06 12:45 923  
[ ]mfold_2__1740_45.min1.thm12017-02-06 12:45 382  
[ ]mfold_2__1740_45.min1.thm1.tptp2017-02-06 16:47 296  
[ ]mfold_2__1741_35.min1.thm12017-02-06 12:45 2.3K 
[ ]mfold_2__1744_40.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1746_29.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1748_23.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1754_43.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1759_17.min1.thm12017-02-06 12:45 867  
[ ]mfold_2__1768_21.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1769_19.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__1783_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1784_53.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1785_15.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1786_50.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1786_68.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1805_38.min1.thm12017-02-06 12:45 917  
[ ]mfold_2__1806_41.min1.thm12017-02-06 12:45 358  
[ ]mfold_2__1806_41.min1.thm1.tptp2017-02-06 16:47 272  
[ ]mfold_2__1807_31.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1810_36.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1813_24.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1815_21.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1823_28.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1827_40.min1.thm12017-02-06 12:45 919  
[ ]mfold_2__1828_43.min1.thm12017-02-06 12:45 366  
[ ]mfold_2__1828_43.min1.thm1.tptp2017-02-06 16:47 280  
[ ]mfold_2__1834_36.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1836_16.min1.thm12017-02-06 12:45 756  
[ ]mfold_2__1837_20.min1.thm12017-02-06 12:45 582  
[ ]mfold_2__1878_41.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1879_37.min1.thm12017-02-06 12:45 2.9K 
[ ]mfold_2__1881_40.min1.thm12017-02-06 12:45 3.0K 
[ ]mfold_2__1883_15.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1889_34.min1.thm12017-02-06 12:45 609  
[ ]mfold_2__1890_33.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1892_33.min1.thm12017-02-06 12:45 904  
[ ]mfold_2__1893_31.min1.thm12017-02-06 12:45 812  
[ ]mfold_2__1894_25.min1.thm12017-02-06 12:45 814  
[ ]mfold_2__1896_21.min1.thm12017-02-06 12:45 527  
[ ]mfold_2__1896_21.min1.thm1.tptp2017-02-06 16:47 459  
[ ]mfold_2__1897_17.min1.thm12017-02-06 12:45 592  
[ ]mfold_2__1898_35.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1899_40.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1903_37.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__1916_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1917_54.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1918_30.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1920_16.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1922_53.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__1923_16.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1925_48.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1931_39.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__1933_19.min1.thm12017-02-06 12:45 768  
[ ]mfold_2__1940_23.min1.thm12017-02-06 12:45 592  
[ ]mfold_2__1973_28.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1974_52.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1975_14.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1977_44.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__1979_15.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__1980_55.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__1981_47.min1.thm12017-02-06 12:45 367  
[ ]mfold_2__1981_47.min1.thm1.tptp2017-02-06 16:47 281  
[ ]mfold_2__1983_39.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__1986_39.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__1988_28.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__1990_24.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2007_34.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2010_32.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2015_20.min1.thm12017-02-06 12:45 809  
[ ]mfold_2__2062_68.min1.thm12017-02-06 12:45 3.1K 
[ ]mfold_2__2063_68.min1.thm12017-02-06 12:45 3.3K 
[ ]mfold_2__2067_66.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2068_11.min1.thm12017-02-06 12:45 715  
[ ]mfold_2__2078_24.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2079_21.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2095_20.min1.thm12017-02-06 12:45 660  
[ ]mfold_2__2095_20.min1.thm1.tptp2017-02-06 16:47 580  
[ ]mfold_2__2099_29.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2108_61.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2108_61.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]mfold_2__2116_31.min1.thm12017-02-06 12:45 591  
[ ]mfold_2__2117_31.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2118_34.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__2127_15.min1.thm12017-02-06 12:45 851  
[ ]mfold_2__2128_54.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2129_49.min1.thm12017-02-06 12:45 374  
[ ]mfold_2__2129_49.min1.thm1.tptp2017-02-06 16:47 288  
[ ]mfold_2__2131_41.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__2134_41.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__2136_30.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2138_25.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2144_36.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2147_34.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2152_22.min1.thm12017-02-06 12:45 821  
[ ]mfold_2__2157_17.min1.thm12017-02-06 12:45 878  
[ ]mfold_2__2158_21.min1.thm12017-02-06 12:45 927  
[ ]mfold_2__2173_31.min1.thm12017-02-06 12:45 591  
[ ]mfold_2__2174_31.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2175_23.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__2183_46.min1.thm12017-02-06 12:45 887  
[ ]mfold_2__2190_47.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__2197_54.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2200_28.min1.thm12017-02-06 12:45 925  
[ ]mfold_2__2202_24.min1.thm12017-02-06 12:45 938  
[ ]mfold_2__2203_27.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2204_27.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2208_64.min1.thm12017-02-06 12:45 3.2K 
[ ]mfold_2__2224_23.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__2225_55.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__2229_25.min1.thm12017-02-06 12:45 966  
[ ]mfold_2__2229_25.min1.thm1.tptp2017-02-06 16:47 917  
[ ]mfold_2__2245_21.min1.thm12017-02-06 12:45 593  
[ ]mfold_2__2246_32.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__2263_45.min1.thm12017-02-06 12:45 361  
[ ]mfold_2__2263_45.min1.thm1.tptp2017-02-06 16:47 275  
[ ]mfold_2__2271_21.min1.thm12017-02-06 12:45 1.8K 
[ ]mfold_2__2279_30.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__2283_30.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__2284_23.min1.thm12017-02-06 12:45 593  
[ ]mfold_2__2285_30.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__2286_21.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2287_30.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__2288_18.min1.thm12017-02-06 12:45 496  
[ ]mfold_2__2288_18.min1.thm1.tptp2017-02-06 16:47 419  
[ ]mfold_2__2291_33.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_2__2301_68.min1.thm12017-02-06 12:45 3.3K 
[ ]mfold_2__2302_68.min1.thm12017-02-06 12:45 3.1K 
[ ]mfold_2__2304_26.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__2308_44.min1.thm12017-02-06 12:45 924  
[ ]mfold_2__2333_41.min1.thm12017-02-06 12:45 699  
[ ]mfold_2__2334_43.min1.thm12017-02-06 12:45 1.1K 
[ ]mfold_2__2335_49.min1.thm12017-02-06 12:45 1.6K 
[ ]mfold_2__2336_55.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__2338_38.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__2339_27.min1.thm12017-02-06 12:45 1.4K 
[ ]mfold_2__2340_13.min1.thm12017-02-06 12:45 1.2K 
[ ]mfold_2__2341_43.min1.thm12017-02-06 12:45 1.9K 
[ ]mfold_2__2342_48.min1.thm12017-02-06 12:45 1.7K 
[ ]mfold_2__2346_39.min1.thm12017-02-06 12:45 2.4K 
[ ]mfold_2__2350_51.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2351_49.min1.thm12017-02-06 12:45 882  
[ ]mfold_2__2352_56.min1.thm12017-02-06 12:45 941  
[ ]mfold_2__2353_41.min1.thm12017-02-06 12:45 1.5K 
[ ]mfold_2__2354_42.min1.thm12017-02-06 12:45 2.5K 
[ ]mfold_2__2356_44.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__2357_40.min1.thm12017-02-06 12:45 2.1K 
[ ]mfold_2__2358_37.min1.thm12017-02-06 12:45 2.2K 
[ ]mfold_2__2360_24.min1.thm12017-02-06 12:45 783  
[ ]mfold_2__2360_24.min1.thm1.tptp2017-02-06 16:47 715  
[ ]mfold_2__2364_29.min1.thm12017-02-06 12:45 780  
[ ]mfold_2__2365_36.min1.thm12017-02-06 12:45 700  
[ ]mfold_2__2368_58.min1.thm12017-02-06 12:45 730  
[ ]mfold_2__2369_29.min1.thm12017-02-06 12:45 963  
[ ]mfold_2__2375_66.min1.thm12017-02-06 12:45 2.8K 
[ ]mfold_2__2376_48.min1.thm12017-02-06 12:45 1.0K 
[ ]mfold_2__2377_27.min1.thm12017-02-06 12:45 1.3K 
[ ]mfold_2__2382_8.min1.thm12017-02-06 12:45 700  
[ ]mfold_2__2384_18.min1.thm12017-02-06 12:45 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80