Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/partfun2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partfun2__s1_partfun22017-01-12 22:02 16K 
[ ]partfun2__s2_partfun22017-01-12 22:02 9.4K 
[ ]partfun2__s3_partfun22017-01-12 22:02 11K 
[ ]partfun2__t1_partfun22017-01-12 22:02 10K 
[ ]partfun2__t2_partfun22017-01-12 22:02 10K 
[ ]partfun2__t3_partfun22017-01-12 22:02 14K 
[ ]partfun2__t4_partfun22017-01-12 22:02 12K 
[ ]partfun2__t5_partfun22017-01-12 22:02 13K 
[ ]partfun2__t6_partfun22017-01-12 22:02 13K 
[ ]partfun2__t7_partfun22017-01-12 22:02 18K 
[ ]partfun2__t8_partfun22017-01-12 22:02 14K 
[ ]partfun2__t9_partfun22017-01-12 22:02 9.3K 
[ ]partfun2__t10_partfun22017-01-12 22:02 9.2K 
[ ]partfun2__t11_partfun22017-01-12 22:02 16K 
[ ]partfun2__t12_partfun22017-01-12 22:02 16K 
[ ]partfun2__t13_partfun22017-01-12 22:02 16K 
[ ]partfun2__t14_partfun22017-01-12 22:02 12K 
[ ]partfun2__t15_partfun22017-01-12 22:02 15K 
[ ]partfun2__t16_partfun22017-01-12 22:02 14K 
[ ]partfun2__t17_partfun22017-01-12 22:02 12K 
[ ]partfun2__t18_partfun22017-01-12 22:02 12K 
[ ]partfun2__t19_partfun22017-01-12 22:02 13K 
[ ]partfun2__t20_partfun22017-01-12 22:02 11K 
[ ]partfun2__t21_partfun22017-01-12 22:02 11K 
[ ]partfun2__t22_partfun22017-01-12 22:02 11K 
[ ]partfun2__t23_partfun22017-01-12 22:02 9.9K 
[ ]partfun2__t24_partfun22017-01-12 22:02 9.4K 
[ ]partfun2__t25_partfun22017-01-12 22:02 11K 
[ ]partfun2__t26_partfun22017-01-12 22:02 10K 
[ ]partfun2__t27_partfun22017-01-12 22:02 10K 
[ ]partfun2__t28_partfun22017-01-12 22:02 12K 
[ ]partfun2__t29_partfun22017-01-12 22:02 11K 
[ ]partfun2__t30_partfun22017-01-12 22:02 11K 
[ ]partfun2__t31_partfun22017-01-12 22:02 14K 
[ ]partfun2__t32_partfun22017-01-12 22:02 10K 
[ ]partfun2__t33_partfun22017-01-12 22:02 9.9K 
[ ]partfun2__t34_partfun22017-01-12 22:02 10K 
[ ]partfun2__t35_partfun22017-01-12 22:02 14K 
[ ]partfun2__t36_partfun22017-01-12 22:02 13K 
[ ]partfun2__t37_partfun22017-01-12 22:02 20K 
[ ]partfun2__t38_partfun22017-01-12 22:02 12K 
[ ]partfun2__t39_partfun22017-01-12 22:02 12K 
[ ]partfun2__t40_partfun22017-01-12 22:02 17K 
[ ]partfun2__t41_partfun22017-01-12 22:02 13K 
[ ]partfun2__t42_partfun22017-01-12 22:02 17K 
[ ]partfun2__t43_partfun22017-01-12 22:02 17K 
[ ]partfun2__t44_partfun22017-01-12 22:02 16K 
[ ]partfun2__t45_partfun22017-01-12 22:02 10K 
[ ]partfun2__t46_partfun22017-01-12 22:02 10K 
[ ]partfun2__t47_partfun22017-01-12 22:02 13K 
[ ]partfun2__t48_partfun22017-01-12 22:02 11K 
[ ]partfun2__t49_partfun22017-01-12 22:02 10K 
[ ]partfun2__t50_partfun22017-01-12 22:02 14K 
[ ]partfun2__t51_partfun22017-01-12 22:02 14K 
[ ]partfun2__t52_partfun22017-01-12 22:02 14K 
[ ]partfun2__t53_partfun22017-01-12 22:02 14K 
[ ]partfun2__t54_partfun22017-01-12 22:02 15K 
[ ]partfun2__t55_partfun22017-01-12 22:02 12K 
[ ]partfun2__t56_partfun22017-01-12 22:02 13K 
[ ]partfun2__t57_partfun22017-01-12 22:02 15K 
[ ]partfun2__t58_partfun22017-01-12 22:02 13K 
[ ]partfun2__t59_partfun22017-01-12 22:02 9.7K 
[ ]partfun2__t60_partfun22017-01-12 22:02 11K 
[ ]partfun2__t61_partfun22017-01-12 22:02 7.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80