Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_by4_no_sethood/subset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset_1__e1_1_12016-03-08 18:41 2.4K 
[ ]subset_1__e1_2_12016-03-08 18:41 2.6K 
[ ]subset_1__e1_2_22016-03-08 18:41 2.8K 
[ ]subset_1__e1_2_32016-03-08 18:41 3.0K 
[ ]subset_1__e1_2_42016-03-08 18:41 3.2K 
[ ]subset_1__e1_2_52016-03-08 18:41 3.4K 
[ ]subset_1__e1_2_62016-03-08 18:41 3.6K 
[ ]subset_1__e1_2_72016-03-08 18:41 3.7K 
[ ]subset_1__e1_2_82016-03-08 18:41 3.9K 
[ ]subset_1__e1_3_12016-03-08 18:41 2.2K 
[ ]subset_1__e1_3_1_1_12016-03-08 18:41 2.0K 
[ ]subset_1__e1_5_1_12016-03-08 18:41 2.6K 
[ ]subset_1__e1_6_1_12016-03-08 18:41 2.1K 
[ ]subset_1__e1_7_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_8_12016-03-08 18:41 4.0K 
[ ]subset_1__e1_9_1_12016-03-08 18:41 3.1K 
[ ]subset_1__e1_11_1_12016-03-08 18:41 2.2K 
[ ]subset_1__e1_12_1_12016-03-08 18:41 2.2K 
[ ]subset_1__e1_12_2_12016-03-08 18:41 2.5K 
[ ]subset_1__e1_13_12016-03-08 18:41 3.0K 
[ ]subset_1__e1_142016-03-08 18:41 3.2K 
[ ]subset_1__e1_18_1_12016-03-08 18:41 3.6K 
[ ]subset_1__e1_18_1_2_12016-03-08 18:41 4.8K 
[ ]subset_1__e1_18_2_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_18_3_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_19_1_12016-03-08 18:41 900  
[ ]subset_1__e1_20_1_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_21_1_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_22_1_12016-03-08 18:41 4.6K 
[ ]subset_1__e1_272016-03-08 18:41 3.2K 
[ ]subset_1__e1_282016-03-08 18:41 3.2K 
[ ]subset_1__e1_292016-03-08 18:41 4.6K 
[ ]subset_1__e1_29_12016-03-08 18:41 4.5K 
[ ]subset_1__e1_29_22016-03-08 18:41 4.5K 
[ ]subset_1__e1_302016-03-08 18:41 3.2K 
[ ]subset_1__e1_30_12016-03-08 18:41 7.4K 
[ ]subset_1__e1_312016-03-08 18:41 3.2K 
[ ]subset_1__e1_31_12016-03-08 18:41 8.9K 
[ ]subset_1__e1_322016-03-08 18:41 3.2K 
[ ]subset_1__e1_32_12016-03-08 18:41 10K 
[ ]subset_1__e1_352016-03-08 18:41 4.8K 
[ ]subset_1__e1_36_1_12016-03-08 18:41 6.5K 
[ ]subset_1__e1_372016-03-08 18:41 5.4K 
[ ]subset_1__e1_382016-03-08 18:41 4.9K 
[ ]subset_1__e1_402016-03-08 18:41 4.0K 
[ ]subset_1__e1_53_12016-03-08 18:41 4.2K 
[ ]subset_1__e1_54_12016-03-08 18:41 4.5K 
[ ]subset_1__e1_55_12016-03-08 18:41 4.9K 
[ ]subset_1__e1_56_12016-03-08 18:41 5.2K 
[ ]subset_1__e1_58_1_12016-03-08 18:41 2.5K 
[ ]subset_1__e1_60_1_12016-03-08 18:41 2.1K 
[ ]subset_1__e1_61_1_12016-03-08 18:41 2.9K 
[ ]subset_1__e1_62_12016-03-08 18:41 614  
[ ]subset_1__e1_67_12016-03-08 18:41 4.4K 
[ ]subset_1__e1_68_1_12016-03-08 18:41 3.3K 
[ ]subset_1__e1_70_1_12016-03-08 18:41 3.2K 
[ ]subset_1__e1_71_1_12016-03-08 18:41 3.4K 
[ ]subset_1__e1_72_22016-03-08 18:41 3.5K 
[ ]subset_1__e1_73_1_12016-03-08 18:41 4.1K 
[ ]subset_1__e1_74_1_12016-03-08 18:41 4.0K 
[ ]subset_1__e1_78_1_12016-03-08 18:41 2.5K 
[ ]subset_1__e1_80_1_12016-03-08 18:41 4.9K 
[ ]subset_1__e1_822016-03-08 18:41 2.5K 
[ ]subset_1__e1_842016-03-08 18:41 2.3K 
[ ]subset_1__e2_3_12016-03-08 18:41 147  
[ ]subset_1__e2_3_1_1_1_12016-03-08 18:41 2.0K 
[ ]subset_1__e2_3_1_1_1_22016-03-08 18:41 2.5K 
[ ]subset_1__e2_5_1_12016-03-08 18:41 2.8K 
[ ]subset_1__e2_9_1_12016-03-08 18:41 3.3K 
[ ]subset_1__e2_102016-03-08 18:41 3.0K 
[ ]subset_1__e2_11_1_12016-03-08 18:41 2.7K 
[ ]subset_1__e2_12_12016-03-08 18:41 151  
[ ]subset_1__e2_12_1_12016-03-08 18:41 2.7K 
[ ]subset_1__e2_12_22016-03-08 18:41 151  
[ ]subset_1__e2_12_2_12016-03-08 18:41 3.2K 
[ ]subset_1__e2_142016-03-08 18:41 3.3K 
[ ]subset_1__e2_162016-03-08 18:41 3.9K 
[ ]subset_1__e2_172016-03-08 18:41 3.2K 
[ ]subset_1__e2_18_12016-03-08 18:41 151  
[ ]subset_1__e2_18_1_12016-03-08 18:41 3.9K 
[ ]subset_1__e2_18_1_22016-03-08 18:41 3.2K 
[ ]subset_1__e2_18_1_2_12016-03-08 18:41 5.2K 
[ ]subset_1__e2_18_2_12016-03-08 18:41 3.4K 
[ ]subset_1__e2_18_3_12016-03-08 18:41 4.2K 
[ ]subset_1__e2_19_1_12016-03-08 18:41 3.2K 
[ ]subset_1__e2_20_1_12016-03-08 18:41 4.5K 
[ ]subset_1__e2_21_1_12016-03-08 18:41 4.3K 
[ ]subset_1__e2_22_1_12016-03-08 18:41 4.8K 
[ ]subset_1__e2_23_12016-03-08 18:41 3.9K 
[ ]subset_1__e2_23_22016-03-08 18:41 5.7K 
[ ]subset_1__e2_24_12016-03-08 18:41 3.9K 
[ ]subset_1__e2_24_22016-03-08 18:41 5.2K 
[ ]subset_1__e2_25_12016-03-08 18:41 3.9K 
[ ]subset_1__e2_25_22016-03-08 18:41 4.6K 
[ ]subset_1__e2_26_12016-03-08 18:41 4.0K 
[ ]subset_1__e2_26_22016-03-08 18:41 7.1K 
[ ]subset_1__e2_272016-03-08 18:41 3.4K 
[ ]subset_1__e2_282016-03-08 18:41 3.4K 
[ ]subset_1__e2_29_12016-03-08 18:41 4.0K 
[ ]subset_1__e2_29_22016-03-08 18:41 4.0K 
[ ]subset_1__e2_302016-03-08 18:41 3.4K 
[ ]subset_1__e2_30_12016-03-08 18:41 6.0K 
[ ]subset_1__e2_312016-03-08 18:41 3.4K 
[ ]subset_1__e2_31_12016-03-08 18:41 8.6K 
[ ]subset_1__e2_322016-03-08 18:41 3.4K 
[ ]subset_1__e2_32_12016-03-08 18:41 8.2K 
[ ]subset_1__e2_332016-03-08 18:41 4.9K 
[ ]subset_1__e2_342016-03-08 18:41 4.9K 
[ ]subset_1__e2_352016-03-08 18:41 3.2K 
[ ]subset_1__e2_36_1_12016-03-08 18:41 6.6K 
[ ]subset_1__e2_372016-03-08 18:41 6.9K 
[ ]subset_1__e2_382016-03-08 18:41 6.4K 
[ ]subset_1__e2_402016-03-08 18:41 5.1K 
[ ]subset_1__e2_41_12016-03-08 18:41 4.0K 
[ ]subset_1__e2_422016-03-08 18:41 4.0K 
[ ]subset_1__e2_44_12016-03-08 18:41 2.7K 
[ ]subset_1__e2_46_12016-03-08 18:41 3.2K 
[ ]subset_1__e2_472016-03-08 18:41 3.4K 
[ ]subset_1__e2_482016-03-08 18:41 3.4K 
[ ]subset_1__e2_492016-03-08 18:41 2.7K 
[ ]subset_1__e2_49_12016-03-08 18:41 3.2K 
[ ]subset_1__e2_502016-03-08 18:41 2.9K 
[ ]subset_1__e2_50_12016-03-08 18:41 3.6K 
[ ]subset_1__e2_512016-03-08 18:41 2.7K 
[ ]subset_1__e2_51_12016-03-08 18:41 3.8K 
[ ]subset_1__e2_522016-03-08 18:41 2.9K 
[ ]subset_1__e2_52_12016-03-08 18:41 4.1K 
[ ]subset_1__e2_572016-03-08 18:41 2.8K 
[ ]subset_1__e2_59_12016-03-08 18:41 3.7K 
[ ]subset_1__e2_59_1_1_12016-03-08 18:41 3.5K 
[ ]subset_1__e2_60_1_12016-03-08 18:41 2.7K 
[ ]subset_1__e2_632016-03-08 18:41 2.5K 
[ ]subset_1__e2_642016-03-08 18:41 3.4K 
[ ]subset_1__e2_66_1_12016-03-08 18:41 3.4K 
[ ]subset_1__e2_67_12016-03-08 18:41 4.0K 
[ ]subset_1__e2_68_1_12016-03-08 18:41 3.5K 
[ ]subset_1__e2_72_1_12016-03-08 18:41 3.3K 
[ ]subset_1__e2_752016-03-08 18:41 4.8K 
[ ]subset_1__e2_762016-03-08 18:41 6.3K 
[ ]subset_1__e2_77_1_1_12016-03-08 18:41 2.9K 
[ ]subset_1__e2_78_1_12016-03-08 18:41 3.1K 
[ ]subset_1__e2_79_1_12016-03-08 18:41 5.2K 
[ ]subset_1__e2_812016-03-08 18:41 5.2K 
[ ]subset_1__e2_832016-03-08 18:41 6.4K 
[ ]subset_1__e3_5_1_12016-03-08 18:41 2.6K 
[ ]subset_1__e3_6_1_12016-03-08 18:41 2.1K 
[ ]subset_1__e3_9_1_12016-03-08 18:41 3.3K 
[ ]subset_1__e3_102016-03-08 18:41 3.3K 
[ ]subset_1__e3_11_1_12016-03-08 18:41 3.0K 
[ ]subset_1__e3_12_1_12016-03-08 18:41 3.2K 
[ ]subset_1__e3_152016-03-08 18:41 3.4K 
[ ]subset_1__e3_18_1_12016-03-08 18:41 3.8K 
[ ]subset_1__e3_18_1_22016-03-08 18:41 3.5K 
[ ]subset_1__e3_18_1_2_12016-03-08 18:41 5.4K 
[ ]subset_1__e3_18_2_12016-03-08 18:41 3.2K 
[ ]subset_1__e3_18_3_12016-03-08 18:41 4.1K 
[ ]subset_1__e3_19_1_12016-03-08 18:41 3.7K 
[ ]subset_1__e3_20_1_12016-03-08 18:41 4.4K 
[ ]subset_1__e3_21_1_12016-03-08 18:41 4.2K 
[ ]subset_1__e3_232016-03-08 18:41 6.1K 
[ ]subset_1__e3_23_12016-03-08 18:41 5.7K 
[ ]subset_1__e3_23_22016-03-08 18:41 3.9K 
[ ]subset_1__e3_242016-03-08 18:41 5.6K 
[ ]subset_1__e3_24_12016-03-08 18:41 5.2K 
[ ]subset_1__e3_24_22016-03-08 18:41 3.9K 
[ ]subset_1__e3_252016-03-08 18:41 5.0K 
[ ]subset_1__e3_25_12016-03-08 18:41 4.6K 
[ ]subset_1__e3_25_22016-03-08 18:41 3.9K 
[ ]subset_1__e3_262016-03-08 18:41 6.8K 
[ ]subset_1__e3_26_12016-03-08 18:41 4.9K 
[ ]subset_1__e3_26_22016-03-08 18:41 4.9K 
[ ]subset_1__e3_272016-03-08 18:41 6.8K 
[ ]subset_1__e3_282016-03-08 18:41 5.7K 
[ ]subset_1__e3_32_12016-03-08 18:41 8.6K 
[ ]subset_1__e3_332016-03-08 18:41 4.6K 
[ ]subset_1__e3_342016-03-08 18:41 4.6K 
[ ]subset_1__e3_352016-03-08 18:41 5.0K 
[ ]subset_1__e3_362016-03-08 18:41 4.7K 
[ ]subset_1__e3_39_12016-03-08 18:41 4.0K 
[ ]subset_1__e3_412016-03-08 18:41 3.2K 
[ ]subset_1__e3_41_12016-03-08 18:41 3.4K 
[ ]subset_1__e3_422016-03-08 18:41 4.9K 
[ ]subset_1__e3_432016-03-08 18:41 3.4K 
[ ]subset_1__e3_442016-03-08 18:41 3.2K 
[ ]subset_1__e3_44_12016-03-08 18:41 3.3K 
[ ]subset_1__e3_452016-03-08 18:41 2.7K 
[ ]subset_1__e3_46_12016-03-08 18:41 3.4K 
[ ]subset_1__e3_472016-03-08 18:41 4.7K 
[ ]subset_1__e3_482016-03-08 18:41 4.7K 
[ ]subset_1__e3_512016-03-08 18:41 2.9K 
[ ]subset_1__e3_522016-03-08 18:41 2.9K 
[ ]subset_1__e3_532016-03-08 18:41 4.6K 
[ ]subset_1__e3_53_12016-03-08 18:41 4.5K 
[ ]subset_1__e3_542016-03-08 18:41 4.8K 
[ ]subset_1__e3_54_12016-03-08 18:41 4.8K 
[ ]subset_1__e3_552016-03-08 18:41 5.0K 
[ ]subset_1__e3_55_12016-03-08 18:41 5.1K 
[ ]subset_1__e3_562016-03-08 18:41 5.2K 
[ ]subset_1__e3_56_12016-03-08 18:41 5.4K 
[ ]subset_1__e3_572016-03-08 18:41 3.1K 
[ ]subset_1__e3_59_1_12016-03-08 18:41 3.5K 
[ ]subset_1__e3_59_1_1_12016-03-08 18:41 3.5K 
[ ]subset_1__e3_632016-03-08 18:41 2.8K 
[ ]subset_1__e3_642016-03-08 18:41 2.7K 
[ ]subset_1__e3_65_12016-03-08 18:41 2.4K 
[ ]subset_1__e3_66_12016-03-08 18:41 3.4K 
[ ]subset_1__e3_66_1_12016-03-08 18:41 3.7K 
[ ]subset_1__e3_68_1_12016-03-08 18:41 3.4K 
[ ]subset_1__e3_77_1_1_12016-03-08 18:41 3.1K 
[ ]subset_1__e3_78_1_12016-03-08 18:41 5.0K 
[ ]subset_1__e3_79_1_12016-03-08 18:41 2.6K 
[ ]subset_1__e3_822016-03-08 18:41 2.7K 
[ ]subset_1__e3_832016-03-08 18:41 6.3K 
[ ]subset_1__e4_9_1_12016-03-08 18:41 3.6K 
[ ]subset_1__e4_102016-03-08 18:41 3.4K 
[ ]subset_1__e4_11_1_12016-03-08 18:41 2.8K 
[ ]subset_1__e4_152016-03-08 18:41 2.7K 
[ ]subset_1__e4_172016-03-08 18:41 3.4K 
[ ]subset_1__e4_18_2_12016-03-08 18:41 3.4K 
[ ]subset_1__e4_18_3_12016-03-08 18:41 3.2K 
[ ]subset_1__e4_20_1_12016-03-08 18:41 4.3K 
[ ]subset_1__e4_21_1_12016-03-08 18:41 4.2K 
[ ]subset_1__e4_26_12016-03-08 18:41 7.1K 
[ ]subset_1__e4_26_22016-03-08 18:41 4.0K 
[ ]subset_1__e4_292016-03-08 18:41 5.4K 
[ ]subset_1__e4_362016-03-08 18:41 4.4K 
[ ]subset_1__e4_392016-03-08 18:41 3.8K 
[ ]subset_1__e4_39_12016-03-08 18:41 3.4K 
[ ]subset_1__e4_41_12016-03-08 18:41 3.6K 
[ ]subset_1__e4_432016-03-08 18:41 3.5K 
[ ]subset_1__e4_442016-03-08 18:41 3.4K 
[ ]subset_1__e4_452016-03-08 18:41 4.6K 
[ ]subset_1__e4_462016-03-08 18:41 4.3K 
[ ]subset_1__e4_46_12016-03-08 18:41 3.6K 
[ ]subset_1__e4_492016-03-08 18:41 3.7K 
[ ]subset_1__e4_502016-03-08 18:41 4.0K 
[ ]subset_1__e4_532016-03-08 18:41 4.5K 
[ ]subset_1__e4_542016-03-08 18:41 4.7K 
[ ]subset_1__e4_552016-03-08 18:41 4.9K 
[ ]subset_1__e4_562016-03-08 18:41 5.2K 
[ ]subset_1__e4_572016-03-08 18:41 3.6K 
[ ]subset_1__e4_58_12016-03-08 18:41 2.8K 
[ ]subset_1__e4_59_1_12016-03-08 18:41 3.5K 
[ ]subset_1__e4_632016-03-08 18:41 3.3K 
[ ]subset_1__e4_65_12016-03-08 18:41 3.3K 
[ ]subset_1__e4_66_12016-03-08 18:41 3.7K 
[ ]subset_1__e4_66_1_12016-03-08 18:41 3.7K 
[ ]subset_1__e4_762016-03-08 18:41 5.9K 
[ ]subset_1__e4_77_1_12016-03-08 18:41 3.0K 
[ ]subset_1__e4_78_1_12016-03-08 18:41 4.9K 
[ ]subset_1__e4_822016-03-08 18:41 2.7K 
[ ]subset_1__e4_842016-03-08 18:41 2.7K 
[ ]subset_1__e5_6_1_12016-03-08 18:41 4.5K 
[ ]subset_1__e5_9_1_12016-03-08 18:41 3.4K 
[ ]subset_1__e5_152016-03-08 18:41 3.7K 
[ ]subset_1__e5_172016-03-08 18:41 2.7K 
[ ]subset_1__e5_18_2_12016-03-08 18:41 4.6K 
[ ]subset_1__e5_18_3_12016-03-08 18:41 4.2K 
[ ]subset_1__e5_20_1_12016-03-08 18:41 4.3K 
[ ]subset_1__e5_21_1_12016-03-08 18:41 4.1K 
[ ]subset_1__e5_232016-03-08 18:41 6.1K 
[ ]subset_1__e5_242016-03-08 18:41 5.6K 
[ ]subset_1__e5_252016-03-08 18:41 5.0K 
[ ]subset_1__e5_262016-03-08 18:41 6.8K 
[ ]subset_1__e5_39_12016-03-08 18:41 4.6K 
[ ]subset_1__e5_412016-03-08 18:41 5.1K 
[ ]subset_1__e5_41_12016-03-08 18:41 4.6K 
[ ]subset_1__e5_462016-03-08 18:41 4.5K 
[ ]subset_1__e5_46_12016-03-08 18:41 2.7K 
[ ]subset_1__e5_492016-03-08 18:41 3.7K 
[ ]subset_1__e5_502016-03-08 18:41 3.9K 
[ ]subset_1__e5_512016-03-08 18:41 4.1K 
[ ]subset_1__e5_522016-03-08 18:41 4.3K 
[ ]subset_1__e5_58_12016-03-08 18:41 3.3K 
[ ]subset_1__e5_65_12016-03-08 18:41 2.6K 
[ ]subset_1__e5_66_12016-03-08 18:41 3.7K 
[ ]subset_1__e5_762016-03-08 18:41 5.3K 
[ ]subset_1__e5_77_1_12016-03-08 18:41 2.9K 
[ ]subset_1__e5_78_1_12016-03-08 18:41 4.7K 
[ ]subset_1__e5_812016-03-08 18:41 5.5K 
[ ]subset_1__e5_822016-03-08 18:41 3.1K 
[ ]subset_1__e5_842016-03-08 18:41 3.0K 
[ ]subset_1__e6_6_1_12016-03-08 18:41 4.1K 
[ ]subset_1__e6_172016-03-08 18:41 3.3K 
[ ]subset_1__e6_18_2_12016-03-08 18:41 4.5K 
[ ]subset_1__e6_18_3_12016-03-08 18:41 4.1K 
[ ]subset_1__e6_462016-03-08 18:41 4.7K 
[ ]subset_1__e6_46_12016-03-08 18:41 3.7K 
[ ]subset_1__e6_512016-03-08 18:41 4.0K 
[ ]subset_1__e6_522016-03-08 18:41 4.3K 
[ ]subset_1__e6_58_12016-03-08 18:41 3.5K 
[ ]subset_1__e6_65_12016-03-08 18:41 3.8K 
[ ]subset_1__e6_752016-03-08 18:41 2.7K 
[ ]subset_1__e6_762016-03-08 18:41 7.0K 
[ ]subset_1__e6_812016-03-08 18:41 2.9K 
[ ]subset_1__e7_18_2_12016-03-08 18:41 4.5K 
[ ]subset_1__e7_18_3_12016-03-08 18:41 5.1K 
[ ]subset_1__e7_392016-03-08 18:41 5.2K 
[ ]subset_1__e7_412016-03-08 18:41 4.5K 
[ ]subset_1__e7_462016-03-08 18:41 2.7K 
[ ]subset_1__e7_46_12016-03-08 18:41 3.4K 
[ ]subset_1__e7_752016-03-08 18:41 2.7K 
[ ]subset_1__e7_78_1_12016-03-08 18:41 5.6K 
[ ]subset_1__e7_812016-03-08 18:41 6.0K 
[ ]subset_1__e8_18_3_12016-03-08 18:41 5.6K 
[ ]subset_1__e8_392016-03-08 18:41 4.2K 
[ ]subset_1__e8_412016-03-08 18:41 5.0K 
[ ]subset_1__e8_462016-03-08 18:41 4.8K 
[ ]subset_1__e8_46_12016-03-08 18:41 4.6K 
[ ]subset_1__e8_752016-03-08 18:41 4.5K 
[ ]subset_1__e8_78_1_12016-03-08 18:41 2.7K 
[ ]subset_1__e9_18_3_12016-03-08 18:41 5.4K 
[ ]subset_1__e9_462016-03-08 18:41 3.8K 
[ ]subset_1__t9_subset_12016-03-08 18:41 4.4K 
[ ]subset_1__t20_subset_12016-03-08 18:41 4.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80