Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/diff_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]diff_1__l49_diff_12024-07-28 16:45 25K 
[   ]diff_1__l49_diff_1.vout2024-08-03 09:17 7.3K 
[   ]diff_1__l50_diff_12024-07-28 16:46 51K 
[   ]diff_1__l50_diff_1.vout2024-08-03 04:17 4.7K 
[   ]diff_1__t1_diff_12024-07-28 15:56 45K 
[   ]diff_1__t1_diff_1.vout2024-08-03 05:18 7.3K 
[   ]diff_1__t2_diff_12024-07-28 15:57 42K 
[   ]diff_1__t2_diff_1.vout2024-08-03 04:21 4.7K 
[   ]diff_1__t3_diff_12024-07-28 15:59 42K 
[   ]diff_1__t3_diff_1.vout2024-08-03 06:14 7.3K 
[   ]diff_1__t4_diff_12024-07-28 16:00 41K 
[   ]diff_1__t4_diff_1.vout2024-08-03 09:41 1.2K 
[   ]diff_1__t5_diff_12024-07-28 16:01 50K 
[   ]diff_1__t5_diff_1.vout2024-08-03 06:46 6.8K 
[   ]diff_1__t6_diff_12024-07-28 16:02 51K 
[   ]diff_1__t6_diff_1.vout2024-08-03 09:22 4.7K 
[   ]diff_1__t7_diff_12024-07-28 16:04 52K 
[   ]diff_1__t7_diff_1.vout2024-08-03 07:53 4.7K 
[   ]diff_1__t8_diff_12024-07-28 16:05 55K 
[   ]diff_1__t8_diff_1.vout2024-08-03 09:26 4.7K 
[   ]diff_1__t9_diff_12024-07-28 16:07 55K 
[   ]diff_1__t9_diff_1.vout2024-08-03 06:24 4.7K 
[   ]diff_1__t10_diff_12024-07-28 16:08 34K 
[   ]diff_1__t10_diff_1.vout2024-08-03 06:39 2.0K 
[   ]diff_1__t11_diff_12024-07-28 16:09 44K 
[   ]diff_1__t11_diff_1.vout2024-08-03 06:13 4.7K 
[   ]diff_1__t12_diff_12024-07-28 16:10 42K 
[   ]diff_1__t12_diff_1.vout2024-08-03 09:53 4.7K 
[   ]diff_1__t13_diff_12024-07-28 16:11 51K 
[   ]diff_1__t13_diff_1.vout2024-08-03 08:20 4.7K 
[   ]diff_1__t14_diff_12024-07-28 16:13 52K 
[   ]diff_1__t14_diff_1.vout2024-08-03 06:18 4.7K 
[   ]diff_1__t15_diff_12024-07-28 16:14 52K 
[   ]diff_1__t15_diff_1.vout2024-08-03 06:54 4.7K 
[   ]diff_1__t16_diff_12024-07-28 16:15 53K 
[   ]diff_1__t16_diff_1.vout2024-08-03 07:34 4.7K 
[   ]diff_1__t17_diff_12024-07-28 16:16 34K 
[   ]diff_1__t17_diff_1.vout2024-08-03 05:09 2.0K 
[   ]diff_1__t18_diff_12024-07-28 16:18 44K 
[   ]diff_1__t18_diff_1.vout2024-08-03 04:37 4.7K 
[   ]diff_1__t19_diff_12024-07-28 16:19 49K 
[   ]diff_1__t19_diff_1.vout2024-08-03 07:55 4.7K 
[   ]diff_1__t20_diff_12024-07-28 16:20 58K 
[   ]diff_1__t20_diff_1.vout2024-08-03 07:54 4.7K 
[   ]diff_1__t21_diff_12024-07-28 16:22 89K 
[   ]diff_1__t21_diff_1.vout2024-08-03 05:43 4.7K 
[   ]diff_1__t22_diff_12024-07-28 16:23 92K 
[   ]diff_1__t22_diff_1.vout2024-08-03 08:32 4.7K 
[   ]diff_1__t23_diff_12024-07-28 16:25 93K 
[   ]diff_1__t23_diff_1.vout2024-08-03 08:39 4.7K 
[   ]diff_1__t24_diff_12024-07-28 16:26 34K 
[   ]diff_1__t24_diff_1.vout2024-08-03 04:21 2.0K 
[   ]diff_1__t25_diff_12024-07-28 16:27 56K 
[   ]diff_1__t25_diff_1.vout2024-08-03 09:14 4.7K 
[   ]diff_1__t26_diff_12024-07-28 16:28 50K 
[   ]diff_1__t26_diff_1.vout2024-08-03 08:22 4.7K 
[   ]diff_1__t27_diff_12024-07-28 16:30 123K 
[   ]diff_1__t27_diff_1.vout2024-08-03 10:08 4.7K 
[   ]diff_1__t28_diff_12024-07-28 16:31 123K 
[   ]diff_1__t28_diff_1.vout2024-08-03 09:05 4.7K 
[   ]diff_1__t29_diff_12024-07-28 16:32 22K 
[   ]diff_1__t29_diff_1.vout2024-08-03 08:41 2.0K 
[   ]diff_1__t30_diff_12024-07-28 16:33 27K 
[   ]diff_1__t30_diff_1.vout2024-08-03 06:41 6.8K 
[   ]diff_1__t31_diff_12024-07-28 16:34 29K 
[   ]diff_1__t31_diff_1.vout2024-08-03 07:25 7.3K 
[   ]diff_1__t32_diff_12024-07-28 16:36 33K 
[   ]diff_1__t32_diff_1.vout2024-08-03 09:02 2.0K 
[   ]diff_1__t33_diff_12024-07-28 16:37 36K 
[   ]diff_1__t33_diff_1.vout2024-08-03 07:36 2.0K 
[   ]diff_1__t34_diff_12024-07-28 16:38 38K 
[   ]diff_1__t34_diff_1.vout2024-08-03 06:25 7.3K 
[   ]diff_1__t35_diff_12024-07-28 16:39 23K 
[   ]diff_1__t35_diff_1.depv12024-08-03 10:19 34  
[   ]diff_1__t35_diff_1.depvmin12024-08-03 10:24 34  
[   ]diff_1__t35_diff_1.vmin12024-08-03 10:20 934  
[   ]diff_1__t35_diff_1.vmin1out2024-08-03 10:23 21K 
[   ]diff_1__t35_diff_1.vout2024-08-03 05:12 15K 
[   ]diff_1__t36_diff_12024-07-28 16:40 44K 
[   ]diff_1__t36_diff_1.vout2024-08-03 06:31 4.7K 
[   ]diff_1__t37_diff_12024-07-28 16:41 73K 
[   ]diff_1__t37_diff_1.vout2024-08-03 09:58 4.7K 
[   ]diff_1__t38_diff_12024-07-28 16:43 45K 
[   ]diff_1__t38_diff_1.vout2024-08-03 09:10 7.3K 
[   ]diff_1__t39_diff_12024-07-28 16:44 57K 
[   ]diff_1__t39_diff_1.vout2024-08-03 08:54 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80