Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/fdiff_8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_8__l5_fdiff_82025-09-09 19:03 12K 
[ ]fdiff_8__t1_fdiff_82025-09-09 19:04 31K 
[ ]fdiff_8__t2_fdiff_82025-09-09 19:05 31K 
[ ]fdiff_8__t3_fdiff_82025-09-09 19:06 39K 
[ ]fdiff_8__t4_fdiff_82025-09-09 19:08 49K 
[ ]fdiff_8__t5_fdiff_82025-09-09 19:09 62K 
[ ]fdiff_8__t6_fdiff_82025-09-09 19:11 41K 
[ ]fdiff_8__t7_fdiff_82025-09-09 19:12 49K 
[ ]fdiff_8__t8_fdiff_82025-09-09 19:14 54K 
[ ]fdiff_8__t9_fdiff_82025-09-09 19:15 54K 
[ ]fdiff_8__t10_fdiff_82025-09-09 19:17 57K 
[ ]fdiff_8__t11_fdiff_82025-09-09 19:18 68K 
[ ]fdiff_8__t12_fdiff_82025-09-09 19:20 40K 
[ ]fdiff_8__t13_fdiff_82025-09-09 19:21 48K 
[ ]fdiff_8__t14_fdiff_82025-09-09 19:23 47K 
[ ]fdiff_8__t15_fdiff_82025-09-09 19:24 59K 
[ ]fdiff_8__t16_fdiff_82025-09-09 19:26 40K 
[ ]fdiff_8__t17_fdiff_82025-09-09 19:27 48K 
[ ]fdiff_8__t18_fdiff_82025-09-09 19:29 53K 
[ ]fdiff_8__t19_fdiff_82025-09-09 19:30 65K 
[ ]fdiff_8__t20_fdiff_82025-09-09 19:32 98K 
[ ]fdiff_8__t21_fdiff_82025-09-09 19:33 98K 
[ ]fdiff_8__t22_fdiff_82025-09-09 19:35 50K 
[ ]fdiff_8__t23_fdiff_82025-09-09 19:36 51K 
[ ]fdiff_8__t24_fdiff_82025-09-09 19:38 57K 
[ ]fdiff_8__t25_fdiff_82025-09-09 19:39 59K 
[ ]fdiff_8__t26_fdiff_82025-09-09 19:41 64K 
[ ]fdiff_8__t27_fdiff_82025-09-09 19:42 64K 
[ ]fdiff_8__t28_fdiff_82025-09-09 19:44 44K 
[ ]fdiff_8__t29_fdiff_82025-09-09 19:45 52K 
[ ]fdiff_8__t30_fdiff_82025-09-09 19:47 43K 
[ ]fdiff_8__t31_fdiff_82025-09-09 19:48 51K 
[ ]fdiff_8__t32_fdiff_82025-09-09 19:50 50K 
[ ]fdiff_8__t33_fdiff_82025-09-09 19:51 62K 
[ ]fdiff_8__t34_fdiff_82025-09-09 19:53 55K 
[ ]fdiff_8__t35_fdiff_82025-09-09 19:54 55K 
[ ]fdiff_8__t9_fdiff_8.vout2025-09-15 13:29 7.3K 
[ ]fdiff_8__t18_fdiff_8.vout2025-09-15 13:44 7.3K 
[ ]fdiff_8__t25_fdiff_8.vout2025-09-15 13:44 7.3K 
[ ]fdiff_8__t2_fdiff_8.vout2025-09-15 13:52 7.8K 
[ ]fdiff_8__t26_fdiff_8.vout2025-09-15 14:09 6.8K 
[ ]fdiff_8__l5_fdiff_8.vout2025-09-15 14:17 21K 
[ ]fdiff_8__t1_fdiff_8.vout2025-09-15 14:27 7.8K 
[ ]fdiff_8__t22_fdiff_8.vout2025-09-15 14:48 7.3K 
[ ]fdiff_8__t35_fdiff_8.vout2025-09-15 14:48 7.3K 
[ ]fdiff_8__t20_fdiff_8.vout2025-09-15 14:57 6.8K 
[ ]fdiff_8__t4_fdiff_8.vout2025-09-15 15:00 6.8K 
[ ]fdiff_8__t12_fdiff_8.vout2025-09-15 15:22 8.4K 
[ ]fdiff_8__t14_fdiff_8.vout2025-09-15 15:23 7.3K 
[ ]fdiff_8__t3_fdiff_8.vout2025-09-15 15:28 7.3K 
[ ]fdiff_8__t8_fdiff_8.vout2025-09-15 15:45 7.3K 
[ ]fdiff_8__t23_fdiff_8.vout2025-09-15 15:51 7.3K 
[ ]fdiff_8__t19_fdiff_8.vout2025-09-15 15:58 7.3K 
[ ]fdiff_8__t16_fdiff_8.vout2025-09-15 15:59 8.4K 
[ ]fdiff_8__t5_fdiff_8.vout2025-09-15 16:08 7.3K 
[ ]fdiff_8__t30_fdiff_8.vout2025-09-15 16:08 7.3K 
[ ]fdiff_8__t11_fdiff_8.vout2025-09-15 16:17 7.3K 
[ ]fdiff_8__t31_fdiff_8.vout2025-09-15 16:31 7.3K 
[ ]fdiff_8__t6_fdiff_8.vout2025-09-15 16:48 7.3K 
[ ]fdiff_8__t24_fdiff_8.vout2025-09-15 16:51 7.3K 
[ ]fdiff_8__t7_fdiff_8.vout2025-09-15 17:31 6.8K 
[ ]fdiff_8__t17_fdiff_8.vout2025-09-15 17:36 7.8K 
[ ]fdiff_8__t29_fdiff_8.vout2025-09-15 17:37 6.8K 
[ ]fdiff_8__t13_fdiff_8.vout2025-09-15 17:49 7.8K 
[ ]fdiff_8__t34_fdiff_8.vout2025-09-15 17:50 7.3K 
[ ]fdiff_8__t15_fdiff_8.vout2025-09-15 18:02 7.3K 
[ ]fdiff_8__t21_fdiff_8.vout2025-09-15 18:16 6.8K 
[ ]fdiff_8__t27_fdiff_8.vout2025-09-15 18:28 6.8K 
[ ]fdiff_8__t33_fdiff_8.vout2025-09-15 18:47 7.3K 
[ ]fdiff_8__t10_fdiff_8.vout2025-09-15 19:22 7.3K 
[ ]fdiff_8__t28_fdiff_8.vout2025-09-15 19:31 6.8K 
[ ]fdiff_8__t32_fdiff_8.vout2025-09-15 19:44 7.3K 
[ ]fdiff_8__l5_fdiff_8.depv12025-09-15 19:47 228  
[ ]fdiff_8__l5_fdiff_8.vmin12025-09-15 19:47 1.5K 
[ ]fdiff_8__l5_fdiff_8.vmin1out2025-09-15 19:50 20K 
[ ]fdiff_8__l5_fdiff_8.depvmin12025-09-15 19:52 228  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80