Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fdiff_10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_10__t20_fdiff_102025-09-11 20:11 36K 
[ ]fdiff_10__t7_fdiff_102025-09-11 19:51 39K 
[ ]fdiff_10__t10_fdiff_102025-09-11 19:55 47K 
[ ]fdiff_10__t8_fdiff_102025-09-11 19:53 53K 
[ ]fdiff_10__t9_fdiff_102025-09-11 19:54 53K 
[ ]fdiff_10__t2_fdiff_102025-09-11 19:43 54K 
[ ]fdiff_10__t43_fdiff_102025-09-11 20:46 54K 
[ ]fdiff_10__t21_fdiff_102025-09-11 20:12 54K 
[ ]fdiff_10__t15_fdiff_102025-09-11 20:03 56K 
[ ]fdiff_10__t19_fdiff_102025-09-11 20:10 59K 
[ ]fdiff_10__t12_fdiff_102025-09-11 19:59 63K 
[ ]fdiff_10__t18_fdiff_102025-09-11 20:08 64K 
[ ]fdiff_10__t16_fdiff_102025-09-11 20:05 65K 
[ ]fdiff_10__t3_fdiff_102025-09-11 19:45 69K 
[ ]fdiff_10__t44_fdiff_102025-09-11 20:48 69K 
[ ]fdiff_10__t45_fdiff_102025-09-11 20:49 69K 
[ ]fdiff_10__t46_fdiff_102025-09-11 20:51 69K 
[ ]fdiff_10__t22_fdiff_102025-09-11 20:14 70K 
[ ]fdiff_10__t23_fdiff_102025-09-11 20:15 70K 
[ ]fdiff_10__t24_fdiff_102025-09-11 20:17 70K 
[ ]fdiff_10__t1_fdiff_102025-09-11 19:42 70K 
[ ]fdiff_10__t4_fdiff_102025-09-11 19:47 70K 
[ ]fdiff_10__t36_fdiff_102025-09-11 20:35 71K 
[ ]fdiff_10__t37_fdiff_102025-09-11 20:37 71K 
[ ]fdiff_10__t40_fdiff_102025-09-11 20:41 72K 
[ ]fdiff_10__t5_fdiff_102025-09-11 19:49 73K 
[ ]fdiff_10__t32_fdiff_102025-09-11 20:29 74K 
[ ]fdiff_10__t13_fdiff_102025-09-11 20:00 74K 
[ ]fdiff_10__t6_fdiff_102025-09-11 19:50 74K 
[ ]fdiff_10__t35_fdiff_102025-09-11 20:34 76K 
[ ]fdiff_10__t38_fdiff_102025-09-11 20:38 76K 
[ ]fdiff_10__t27_fdiff_102025-09-11 20:21 76K 
[ ]fdiff_10__t28_fdiff_102025-09-11 20:23 76K 
[ ]fdiff_10__t39_fdiff_102025-09-11 20:40 76K 
[ ]fdiff_10__t25_fdiff_102025-09-11 20:18 77K 
[ ]fdiff_10__t26_fdiff_102025-09-11 20:20 77K 
[ ]fdiff_10__t11_fdiff_102025-09-11 19:57 79K 
[ ]fdiff_10__t14_fdiff_102025-09-11 20:02 79K 
[ ]fdiff_10__t17_fdiff_102025-09-11 20:06 86K 
[ ]fdiff_10__t30_fdiff_102025-09-11 20:26 89K 
[ ]fdiff_10__t29_fdiff_102025-09-11 20:25 90K 
[ ]fdiff_10__t41_fdiff_102025-09-11 20:43 98K 
[ ]fdiff_10__t42_fdiff_102025-09-11 20:45 100K 
[ ]fdiff_10__t33_fdiff_102025-09-11 20:31 132K 
[ ]fdiff_10__t31_fdiff_102025-09-11 20:28 134K 
[ ]fdiff_10__t34_fdiff_102025-09-11 20:32 213K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80