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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number05__l14_number052025-09-09 03:39 1.9M 
[ ]number05__l14_number05.vout2025-09-15 15:24 6.8K 
[ ]number05__l43_number052025-09-09 03:41 64K 
[ ]number05__l43_number05.depv12025-09-15 19:47 240  
[ ]number05__l43_number05.depvmin12025-09-15 19:52 240  
[ ]number05__l43_number05.vmin12025-09-15 19:47 1.0K 
[ ]number05__l43_number05.vmin1out2025-09-15 19:50 6.8K 
[ ]number05__l43_number05.vout2025-09-15 15:45 6.5K 
[ ]number05__l48_number052025-09-09 03:42 46K 
[ ]number05__l48_number05.depv12025-09-15 19:47 216  
[ ]number05__l48_number05.depvmin12025-09-15 19:52 216  
[ ]number05__l48_number05.vmin12025-09-15 19:47 1.5K 
[ ]number05__l48_number05.vmin1out2025-09-15 19:50 18K 
[ ]number05__l48_number05.vout2025-09-15 16:03 17K 
[ ]number05__l49_number052025-09-09 03:44 167K 
[ ]number05__l49_number05.vout2025-09-15 19:42 2.0K 
[ ]number05__t1_number052025-09-09 02:15 77K 
[ ]number05__t1_number05.vout2025-09-15 15:25 7.3K 
[ ]number05__t2_number052025-09-09 02:17 122K 
[ ]number05__t2_number05.vout2025-09-15 15:43 7.3K 
[ ]number05__t3_number052025-09-09 02:19 661K 
[ ]number05__t3_number05.vout2025-09-15 17:50 4.7K 
[ ]number05__t4_number052025-09-09 02:21 74K 
[ ]number05__t4_number05.vout2025-09-15 16:19 7.9K 
[ ]number05__t5_number052025-09-09 02:23 275K 
[ ]number05__t5_number05.vout2025-09-15 16:20 7.3K 
[ ]number05__t6_number052025-09-09 02:25 211K 
[ ]number05__t6_number05.vout2025-09-15 15:30 7.3K 
[ ]number05__t7_number052025-09-09 02:27 128K 
[ ]number05__t7_number05.vout2025-09-15 17:45 7.3K 
[ ]number05__t8_number052025-09-09 02:27 2.1K 
[ ]number05__t8_number05.vout2025-09-15 16:19 2.0K 
[ ]number05__t9_number052025-09-09 02:27 2.4K 
[ ]number05__t9_number05.vout2025-09-15 16:05 2.0K 
[ ]number05__t10_number052025-09-09 02:28 2.6K 
[ ]number05__t10_number05.vout2025-09-15 16:15 2.6K 
[ ]number05__t11_number052025-09-09 02:29 302K 
[ ]number05__t11_number05.vout2025-09-15 17:25 7.3K 
[ ]number05__t13_number052025-09-09 02:31 303K 
[ ]number05__t13_number05.vout2025-09-15 16:11 2.0K 
[ ]number05__t14_number052025-09-09 02:33 787K 
[ ]number05__t14_number05.vout2025-09-15 19:05 2.0K 
[ ]number05__t15_number052025-09-09 02:38 4.2M 
[ ]number05__t15_number05.vout2025-09-15 16:18 6.8K 
[ ]number05__t16_number052025-09-09 03:37 384K 
[ ]number05__t16_number05.vout2025-09-15 17:21 5.3K 
[ ]number05__t17_number052025-09-09 02:40 1.8M 
[ ]number05__t17_number05.vout2025-09-15 14:05 2.0K 
[ ]number05__t18_number052025-09-09 02:48 8.8M 
[ ]number05__t18_number05.vout2025-09-15 14:51 2.0K 
[ ]number05__t19_number052025-09-09 02:49 63K 
[ ]number05__t19_number05.vout2025-09-15 14:17 7.3K 
[ ]number05__t20_number052025-09-09 02:51 167K 
[ ]number05__t20_number05.vout2025-09-15 13:40 7.9K 
[ ]number05__t21_number052025-09-09 02:53 297K 
[ ]number05__t21_number05.vout2025-09-15 14:38 7.3K 
[ ]number05__t22_number052025-09-09 02:55 749K 
[ ]number05__t22_number05.vout2025-09-15 18:10 6.8K 
[ ]number05__t23_number052025-09-09 02:56 53K 
[ ]number05__t23_number05.vout2025-09-15 15:57 2.0K 
[ ]number05__t24_number052025-09-09 02:58 52K 
[ ]number05__t24_number05.vout2025-09-15 14:18 2.0K 
[ ]number05__t25_number052025-09-09 02:59 52K 
[ ]number05__t25_number05.vout2025-09-15 18:47 2.0K 
[ ]number05__t26_number052025-09-09 03:01 52K 
[ ]number05__t26_number05.vout2025-09-15 15:25 2.1K 
[ ]number05__t27_number052025-09-09 03:02 52K 
[ ]number05__t27_number05.vout2025-09-15 13:37 2.0K 
[ ]number05__t28_number052025-09-09 03:04 53K 
[ ]number05__t28_number05.vout2025-09-15 18:21 2.0K 
[ ]number05__t29_number052025-09-09 03:05 53K 
[ ]number05__t29_number05.vout2025-09-15 15:12 2.0K 
[ ]number05__t30_number052025-09-09 03:10 6.9M 
[ ]number05__t30_number05.vout2025-09-15 16:02 6.9K 
[ ]number05__t31_number052025-09-09 03:11 67K 
[ ]number05__t31_number05.vout2025-09-15 18:21 2.0K 
[ ]number05__t32_number052025-09-09 03:13 64K 
[ ]number05__t32_number05.vout2025-09-15 15:10 2.0K 
[ ]number05__t33_number052025-09-09 03:15 65K 
[ ]number05__t33_number05.vout2025-09-15 14:00 2.0K 
[ ]number05__t34_number052025-09-09 03:16 64K 
[ ]number05__t34_number05.vout2025-09-15 16:41 2.0K 
[ ]number05__t35_number052025-09-09 03:18 65K 
[ ]number05__t35_number05.vout2025-09-15 18:37 2.0K 
[ ]number05__t36_number052025-09-09 03:21 1.5M 
[ ]number05__t36_number05.vout2025-09-15 18:43 7.4K 
[ ]number05__t37_number052025-09-09 03:23 65K 
[ ]number05__t37_number05.vout2025-09-15 14:12 7.3K 
[ ]number05__t38_number052025-09-09 03:25 107K 
[ ]number05__t38_number05.vout2025-09-15 14:38 4.7K 
[ ]number05__t39_number052025-09-09 03:26 864K 
[ ]number05__t39_number05.vout2025-09-15 19:10 6.8K 
[ ]number05__t40_number052025-09-09 03:28 760K 
[ ]number05__t40_number05.vout2025-09-15 18:19 2.0K 
[ ]number05__t41_number052025-09-09 03:29 123K 
[ ]number05__t41_number05.depv12025-09-15 19:47 35  
[ ]number05__t41_number05.depvmin12025-09-15 19:52 35  
[ ]number05__t41_number05.vmin12025-09-15 19:47 497  
[ ]number05__t41_number05.vmin1out2025-09-15 19:49 6.2K 
[ ]number05__t41_number05.vout2025-09-15 18:25 6.4K 
[ ]number05__t42_number052025-09-09 03:31 373K 
[ ]number05__t42_number05.vout2025-09-15 13:52 2.0K 
[ ]number05__t43_number052025-09-09 03:33 71K 
[ ]number05__t43_number05.vout2025-09-15 18:58 2.0K 
[ ]number05__t44_number052025-09-09 02:14 60K 
[ ]number05__t44_number05.vout2025-09-15 15:03 2.0K 
[ ]number05__t45_number052025-09-09 03:34 516K 
[ ]number05__t45_number05.vout2025-09-15 15:49 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80