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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_1__l49_diff_12025-09-08 04:25 25K 
[ ]diff_1__l49_diff_1.vout2025-09-15 14:47 7.3K 
[ ]diff_1__l50_diff_12025-09-08 04:27 51K 
[ ]diff_1__l50_diff_1.vout2025-09-15 13:52 4.7K 
[ ]diff_1__t1_diff_12025-09-08 03:37 45K 
[ ]diff_1__t1_diff_1.vout2025-09-15 14:03 7.3K 
[ ]diff_1__t2_diff_12025-09-08 03:38 42K 
[ ]diff_1__t2_diff_1.vout2025-09-15 16:00 4.7K 
[ ]diff_1__t3_diff_12025-09-08 03:39 42K 
[ ]diff_1__t3_diff_1.vout2025-09-15 17:02 7.3K 
[ ]diff_1__t4_diff_12025-09-08 03:40 41K 
[ ]diff_1__t4_diff_1.vout2025-09-15 13:34 1.2K 
[ ]diff_1__t5_diff_12025-09-08 03:42 50K 
[ ]diff_1__t5_diff_1.vout2025-09-15 15:37 6.8K 
[ ]diff_1__t6_diff_12025-09-08 03:43 51K 
[ ]diff_1__t6_diff_1.vout2025-09-15 19:04 4.7K 
[ ]diff_1__t7_diff_12025-09-08 03:44 52K 
[ ]diff_1__t7_diff_1.vout2025-09-15 18:36 4.7K 
[ ]diff_1__t8_diff_12025-09-08 03:46 55K 
[ ]diff_1__t8_diff_1.vout2025-09-15 17:22 4.7K 
[ ]diff_1__t9_diff_12025-09-08 03:47 55K 
[ ]diff_1__t9_diff_1.vout2025-09-15 16:53 4.7K 
[ ]diff_1__t10_diff_12025-09-08 03:48 34K 
[ ]diff_1__t10_diff_1.vout2025-09-15 19:16 2.0K 
[ ]diff_1__t11_diff_12025-09-08 03:49 44K 
[ ]diff_1__t11_diff_1.vout2025-09-15 13:52 4.7K 
[ ]diff_1__t12_diff_12025-09-08 03:51 42K 
[ ]diff_1__t12_diff_1.vout2025-09-15 14:47 4.7K 
[ ]diff_1__t13_diff_12025-09-08 03:52 51K 
[ ]diff_1__t13_diff_1.vout2025-09-15 17:58 4.7K 
[ ]diff_1__t14_diff_12025-09-08 03:53 52K 
[ ]diff_1__t14_diff_1.vout2025-09-15 17:55 4.7K 
[ ]diff_1__t15_diff_12025-09-08 03:55 52K 
[ ]diff_1__t15_diff_1.vout2025-09-15 16:34 4.7K 
[ ]diff_1__t16_diff_12025-09-08 03:56 53K 
[ ]diff_1__t16_diff_1.vout2025-09-15 15:10 4.7K 
[ ]diff_1__t17_diff_12025-09-08 03:57 34K 
[ ]diff_1__t17_diff_1.vout2025-09-15 17:46 2.0K 
[ ]diff_1__t18_diff_12025-09-08 03:58 44K 
[ ]diff_1__t18_diff_1.vout2025-09-15 18:50 4.7K 
[ ]diff_1__t19_diff_12025-09-08 04:00 49K 
[ ]diff_1__t19_diff_1.vout2025-09-15 19:04 4.7K 
[ ]diff_1__t20_diff_12025-09-08 04:01 58K 
[ ]diff_1__t20_diff_1.vout2025-09-15 16:27 4.7K 
[ ]diff_1__t21_diff_12025-09-08 04:02 90K 
[ ]diff_1__t21_diff_1.vout2025-09-15 16:14 4.7K 
[ ]diff_1__t22_diff_12025-09-08 04:04 92K 
[ ]diff_1__t22_diff_1.vout2025-09-15 16:51 4.7K 
[ ]diff_1__t23_diff_12025-09-08 04:05 93K 
[ ]diff_1__t23_diff_1.vout2025-09-15 17:53 4.7K 
[ ]diff_1__t24_diff_12025-09-08 04:06 34K 
[ ]diff_1__t24_diff_1.vout2025-09-15 18:35 2.0K 
[ ]diff_1__t25_diff_12025-09-08 04:08 56K 
[ ]diff_1__t25_diff_1.vout2025-09-15 15:27 4.7K 
[ ]diff_1__t26_diff_12025-09-08 04:09 50K 
[ ]diff_1__t26_diff_1.vout2025-09-15 17:32 4.7K 
[ ]diff_1__t27_diff_12025-09-08 04:10 125K 
[ ]diff_1__t27_diff_1.vout2025-09-15 14:16 4.7K 
[ ]diff_1__t28_diff_12025-09-08 04:12 125K 
[ ]diff_1__t28_diff_1.vout2025-09-15 13:59 4.7K 
[ ]diff_1__t29_diff_12025-09-08 04:13 22K 
[ ]diff_1__t29_diff_1.vout2025-09-15 13:47 2.0K 
[ ]diff_1__t30_diff_12025-09-08 04:14 27K 
[ ]diff_1__t30_diff_1.vout2025-09-15 15:25 6.8K 
[ ]diff_1__t31_diff_12025-09-08 04:15 29K 
[ ]diff_1__t31_diff_1.vout2025-09-15 18:13 7.3K 
[ ]diff_1__t32_diff_12025-09-08 04:16 33K 
[ ]diff_1__t32_diff_1.vout2025-09-15 15:14 2.0K 
[ ]diff_1__t33_diff_12025-09-08 04:17 36K 
[ ]diff_1__t33_diff_1.vout2025-09-15 18:38 2.0K 
[ ]diff_1__t34_diff_12025-09-08 04:18 38K 
[ ]diff_1__t34_diff_1.vout2025-09-15 17:45 7.3K 
[ ]diff_1__t35_diff_12025-09-08 04:19 23K 
[ ]diff_1__t35_diff_1.depv12025-09-15 19:47 34  
[ ]diff_1__t35_diff_1.depvmin12025-09-15 19:52 34  
[ ]diff_1__t35_diff_1.vmin12025-09-15 19:47 934  
[ ]diff_1__t35_diff_1.vmin1out2025-09-15 19:49 21K 
[ ]diff_1__t35_diff_1.vout2025-09-15 19:29 15K 
[ ]diff_1__t36_diff_12025-09-08 04:21 44K 
[ ]diff_1__t36_diff_1.vout2025-09-15 14:38 4.7K 
[ ]diff_1__t37_diff_12025-09-08 04:22 73K 
[ ]diff_1__t37_diff_1.vout2025-09-15 17:06 4.7K 
[ ]diff_1__t38_diff_12025-09-08 04:23 45K 
[ ]diff_1__t38_diff_1.vout2025-09-15 19:21 7.3K 
[ ]diff_1__t39_diff_12025-09-08 04:24 57K 
[ ]diff_1__t39_diff_1.vout2025-09-15 18:36 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80