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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset_1__l2_subset_12017-01-13 17:42 4.3K 
[ ]subset_1__l48_subset_12017-01-13 17:42 4.6K 
[ ]subset_1__l49_subset_12017-01-13 17:42 4.3K 
[ ]subset_1__s1_subset_12017-01-13 17:42 5.0K 
[ ]subset_1__s2_subset_12017-01-13 17:42 4.8K 
[ ]subset_1__s3_subset_12017-01-13 17:42 4.8K 
[ ]subset_1__s4_subset_12017-01-13 17:42 5.2K 
[ ]subset_1__t1_subset_12017-01-13 17:42 4.0K 
[ ]subset_1__t2_subset_12017-01-13 17:42 4.8K 
[ ]subset_1__t3_subset_12017-01-13 17:42 4.6K 
[ ]subset_1__t4_subset_12017-01-13 17:42 4.5K 
[ ]subset_1__t5_subset_12017-01-13 17:42 7.4K 
[ ]subset_1__t6_subset_12017-01-13 17:42 6.6K 
[ ]subset_1__t7_subset_12017-01-13 17:42 6.0K 
[ ]subset_1__t8_subset_12017-01-13 17:42 8.9K 
[ ]subset_1__t9_subset_12017-01-13 17:42 5.5K 
[ ]subset_1__t10_subset_12017-01-13 17:42 8.5K 
[ ]subset_1__t11_subset_12017-01-13 17:42 7.3K 
[ ]subset_1__t12_subset_12017-01-13 17:42 5.7K 
[ ]subset_1__t13_subset_12017-01-13 17:42 9.4K 
[ ]subset_1__t14_subset_12017-01-13 17:42 11K 
[ ]subset_1__t15_subset_12017-01-13 17:42 13K 
[ ]subset_1__t16_subset_12017-01-13 17:42 5.4K 
[ ]subset_1__t17_subset_12017-01-13 17:42 5.4K 
[ ]subset_1__t18_subset_12017-01-13 17:42 6.2K 
[ ]subset_1__t19_subset_12017-01-13 17:42 8.4K 
[ ]subset_1__t20_subset_12017-01-13 17:42 5.5K 
[ ]subset_1__t21_subset_12017-01-13 17:42 8.0K 
[ ]subset_1__t22_subset_12017-01-13 17:42 7.2K 
[ ]subset_1__t23_subset_12017-01-13 17:42 6.6K 
[ ]subset_1__t24_subset_12017-01-13 17:42 5.6K 
[ ]subset_1__t25_subset_12017-01-13 17:42 6.9K 
[ ]subset_1__t26_subset_12017-01-13 17:42 5.9K 
[ ]subset_1__t27_subset_12017-01-13 17:42 4.5K 
[ ]subset_1__t28_subset_12017-01-13 17:42 4.8K 
[ ]subset_1__t29_subset_12017-01-13 17:42 5.6K 
[ ]subset_1__t30_subset_12017-01-13 17:42 6.6K 
[ ]subset_1__t31_subset_12017-01-13 17:42 5.5K 
[ ]subset_1__t32_subset_12017-01-13 17:42 5.5K 
[ ]subset_1__t33_subset_12017-01-13 17:42 5.2K 
[ ]subset_1__t34_subset_12017-01-13 17:42 5.4K 
[ ]subset_1__t35_subset_12017-01-13 17:42 5.4K 
[ ]subset_1__t36_subset_12017-01-13 17:42 5.6K 
[ ]subset_1__t37_subset_12017-01-13 17:42 5.7K 
[ ]subset_1__t38_subset_12017-01-13 17:42 5.9K 
[ ]subset_1__t39_subset_12017-01-13 17:42 6.1K 
[ ]subset_1__t40_subset_12017-01-13 17:42 6.2K 
[ ]subset_1__t41_subset_12017-01-13 17:42 4.9K 
[ ]subset_1__t42_subset_12017-01-13 17:42 4.9K 
[ ]subset_1__t43_subset_12017-01-13 17:42 6.0K 
[ ]subset_1__t44_subset_12017-01-13 17:42 9.0K 
[ ]subset_1__t45_subset_12017-01-13 17:42 7.7K 
[ ]subset_1__t46_subset_12017-01-13 17:42 4.1K 
[ ]subset_1__t47_subset_12017-01-13 17:42 8.8K 
[ ]subset_1__t48_subset_12017-01-13 17:42 3.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80