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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_5__l3_int_52024-07-27 22:21 40K 
[ ]int_5__l3_int_5.vout2024-08-03 07:53 7.2K 
[ ]int_5__l15_int_52024-07-27 22:23 56K 
[ ]int_5__l15_int_5.vout2024-08-03 07:22 7.2K 
[ ]int_5__l33_int_52024-07-27 22:24 36K 
[ ]int_5__l33_int_5.depv12024-08-03 10:19 140  
[ ]int_5__l33_int_5.depvmin12024-08-03 10:24 140  
[ ]int_5__l33_int_5.vmin12024-08-03 10:20 1.2K 
[ ]int_5__l33_int_5.vmin1out2024-08-03 10:23 17K 
[ ]int_5__l33_int_5.vout2024-08-03 08:16 25K 
[ ]int_5__l55_int_52024-07-27 20:44 39K 
[ ]int_5__l55_int_5.depv12024-08-03 10:19 50  
[ ]int_5__l55_int_5.depvmin12024-08-03 10:24 50  
[ ]int_5__l55_int_5.vmin12024-08-03 10:20 341  
[ ]int_5__l55_int_5.vmin1out2024-08-03 10:22 2.9K 
[ ]int_5__l55_int_5.vout2024-08-03 09:11 2.9K 
[ ]int_5__t1_int_52024-07-27 20:46 47K 
[ ]int_5__t1_int_5.vout2024-08-03 09:10 7.8K 
[ ]int_5__t2_int_52024-07-27 20:47 48K 
[ ]int_5__t2_int_5.vout2024-08-03 04:48 7.2K 
[ ]int_5__t3_int_52024-07-27 20:49 55K 
[ ]int_5__t3_int_5.vout2024-08-03 07:49 7.8K 
[ ]int_5__t4_int_52024-07-27 20:50 53K 
[ ]int_5__t4_int_5.vout2024-08-03 08:29 7.8K 
[ ]int_5__t5_int_52024-07-27 20:52 141K 
[ ]int_5__t5_int_5.vout2024-08-03 09:44 6.7K 
[ ]int_5__t6_int_52024-07-27 20:54 141K 
[ ]int_5__t6_int_5.vout2024-08-03 04:44 7.2K 
[ ]int_5__t7_int_52024-07-27 20:56 55K 
[ ]int_5__t7_int_5.vout2024-08-03 06:45 7.2K 
[ ]int_5__t8_int_52024-07-27 20:58 127K 
[ ]int_5__t8_int_5.vout2024-08-03 09:25 4.6K 
[ ]int_5__t9_int_52024-07-27 21:00 39K 
[ ]int_5__t9_int_5.vout2024-08-03 04:55 2.0K 
[ ]int_5__t10_int_52024-07-27 21:01 43K 
[ ]int_5__t10_int_5.depv12024-08-03 10:19 199  
[ ]int_5__t10_int_5.depvmin12024-08-03 10:24 175  
[ ]int_5__t10_int_5.vmin12024-08-03 10:20 1.0K 
[ ]int_5__t10_int_5.vmin1out2024-08-03 10:23 5.4K 
[ ]int_5__t10_int_5.vout2024-08-03 09:24 6.2K 
[ ]int_5__t11_int_52024-07-27 21:03 49K 
[ ]int_5__t11_int_5.vout2024-08-03 10:09 7.3K 
[ ]int_5__t12_int_52024-07-27 21:04 35K 
[ ]int_5__t12_int_5.depv12024-08-03 10:19 142  
[ ]int_5__t12_int_5.depvmin12024-08-03 10:24 142  
[ ]int_5__t12_int_5.vmin12024-08-03 10:20 1.1K 
[ ]int_5__t12_int_5.vmin1out2024-08-03 10:21 12K 
[ ]int_5__t12_int_5.vout2024-08-03 09:34 17K 
[ ]int_5__t13_int_52024-07-27 21:05 34K 
[ ]int_5__t13_int_5.vout2024-08-03 05:03 2.0K 
[ ]int_5__t14_int_52024-07-27 21:07 56K 
[ ]int_5__t14_int_5.vout2024-08-03 09:53 7.2K 
[ ]int_5__t15_int_52024-07-27 21:09 99K 
[ ]int_5__t15_int_5.vout2024-08-03 07:35 7.2K 
[ ]int_5__t16_int_52024-07-27 21:10 162K 
[ ]int_5__t16_int_5.vout2024-08-03 07:01 7.3K 
[ ]int_5__t17_int_52024-07-27 21:12 103K 
[ ]int_5__t17_int_5.vout2024-08-03 08:44 7.2K 
[ ]int_5__t18_int_52024-07-27 21:15 147K 
[ ]int_5__t18_int_5.vout2024-08-03 08:20 3.6K 
[ ]int_5__t19_int_52024-07-27 21:16 101K 
[ ]int_5__t19_int_5.vout2024-08-03 05:26 2.0K 
[ ]int_5__t20_int_52024-07-27 21:18 100K 
[ ]int_5__t20_int_5.vout2024-08-03 06:43 7.2K 
[ ]int_5__t21_int_52024-07-27 21:20 100K 
[ ]int_5__t21_int_5.vout2024-08-03 08:03 7.3K 
[ ]int_5__t22_int_52024-07-27 21:21 55K 
[ ]int_5__t22_int_5.vout2024-08-03 07:36 7.2K 
[ ]int_5__t23_int_52024-07-27 21:23 224K 
[ ]int_5__t23_int_5.vout2024-08-03 04:50 7.2K 
[ ]int_5__t24_int_52024-07-27 21:24 101K 
[ ]int_5__t24_int_5.vout2024-08-03 07:19 7.3K 
[ ]int_5__t25_int_52024-07-27 21:26 40K 
[ ]int_5__t25_int_5.depv12024-08-03 10:19 19  
[ ]int_5__t25_int_5.depvmin12024-08-03 10:24 19  
[ ]int_5__t25_int_5.vmin12024-08-03 10:20 656  
[ ]int_5__t25_int_5.vmin1out2024-08-03 10:21 7.9K 
[ ]int_5__t25_int_5.vout2024-08-03 09:02 7.2K 
[ ]int_5__t26_int_52024-07-27 21:27 56K 
[ ]int_5__t26_int_5.depv12024-08-03 10:19 289  
[ ]int_5__t26_int_5.depvmin12024-08-03 10:24 267  
[ ]int_5__t26_int_5.vmin12024-08-03 10:20 2.8K 
[ ]int_5__t26_int_5.vmin1out2024-08-03 10:22 23K 
[ ]int_5__t26_int_5.vout2024-08-03 06:59 32K 
[ ]int_5__t27_int_52024-07-27 21:29 33K 
[ ]int_5__t27_int_5.depv12024-08-03 10:19 237  
[ ]int_5__t27_int_5.depvmin12024-08-03 10:24 237  
[ ]int_5__t27_int_5.vmin12024-08-03 10:20 1.5K 
[ ]int_5__t27_int_5.vmin1out2024-08-03 10:20 16K 
[ ]int_5__t27_int_5.vout2024-08-03 08:08 17K 
[ ]int_5__t28_int_52024-07-27 21:30 101K 
[ ]int_5__t28_int_5.vout2024-08-03 10:11 7.3K 
[ ]int_5__t29_int_52024-07-27 21:32 155K 
[ ]int_5__t29_int_5.vout2024-08-03 09:36 6.7K 
[ ]int_5__t30_int_52024-07-27 21:34 157K 
[ ]int_5__t30_int_5.vout2024-08-03 08:41 6.7K 
[ ]int_5__t31_int_52024-07-27 21:35 68K 
[ ]int_5__t31_int_5.vout2024-08-03 06:19 7.8K 
[ ]int_5__t32_int_52024-07-27 21:37 77K 
[ ]int_5__t32_int_5.vout2024-08-03 06:41 7.2K 
[ ]int_5__t33_int_52024-07-27 21:39 79K 
[ ]int_5__t33_int_5.vout2024-08-03 05:10 6.8K 
[ ]int_5__t34_int_52024-07-27 21:41 177K 
[ ]int_5__t34_int_5.vout2024-08-03 09:06 7.3K 
[ ]int_5__t35_int_52024-07-27 21:43 78K 
[ ]int_5__t35_int_5.vout2024-08-03 04:55 4.7K 
[ ]int_5__t36_int_52024-07-27 21:45 156K 
[ ]int_5__t36_int_5.vout2024-08-03 08:58 7.3K 
[ ]int_5__t37_int_52024-07-27 21:47 292K 
[ ]int_5__t37_int_5.vout2024-08-03 08:24 7.2K 
[ ]int_5__t38_int_52024-07-27 21:48 419K 
[ ]int_5__t38_int_5.vout2024-08-03 09:12 7.3K 
[ ]int_5__t39_int_52024-07-27 21:50 43K 
[ ]int_5__t39_int_5.vout2024-08-03 05:41 1.1K 
[ ]int_5__t40_int_52024-07-27 21:52 94K 
[ ]int_5__t40_int_5.vout2024-08-03 04:37 7.2K 
[ ]int_5__t41_int_52024-07-27 22:20 363K 
[ ]int_5__t41_int_5.vout2024-08-03 07:55 3.6K 
[ ]int_5__t42_int_52024-07-27 21:56 2.2M 
[ ]int_5__t42_int_5.vout2024-08-03 04:50 3.6K 
[ ]int_5__t43_int_52024-07-27 21:58 1.0M 
[ ]int_5__t43_int_5.vout2024-08-03 09:19 2.0K 
[ ]int_5__t44_int_52024-07-27 22:00 1.5M 
[ ]int_5__t44_int_5.vout2024-08-03 10:15 2.0K 
[ ]int_5__t45_int_52024-07-27 22:02 153K 
[ ]int_5__t45_int_5.vout2024-08-03 10:16 7.2K 
[ ]int_5__t46_int_52024-07-27 22:03 75K 
[ ]int_5__t46_int_5.vout2024-08-03 08:18 7.8K 
[ ]int_5__t47_int_52024-07-27 22:05 88K 
[ ]int_5__t47_int_5.vout2024-08-03 06:56 7.3K 
[ ]int_5__t48_int_52024-07-27 22:07 84K 
[ ]int_5__t48_int_5.vout2024-08-03 07:40 4.7K 
[ ]int_5__t49_int_52024-07-27 22:13 386K 
[ ]int_5__t49_int_5.vout2024-08-03 08:26 3.6K 
[ ]int_5__t50_int_52024-07-27 22:15 418K 
[ ]int_5__t50_int_5.vout2024-08-03 06:29 7.2K 
[ ]int_5__t51_int_52024-07-27 22:16 292K 
[ ]int_5__t51_int_5.vout2024-08-03 08:54 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80