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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_8__l8_int_82024-07-27 11:48 57K 
[ ]int_8__l8_int_8.depv12024-08-03 10:19 115  
[ ]int_8__l8_int_8.depvmin12024-08-03 10:24 115  
[ ]int_8__l8_int_8.vmin12024-08-03 10:20 1.0K 
[ ]int_8__l8_int_8.vmin1out2024-08-03 10:21 9.3K 
[ ]int_8__l8_int_8.vout2024-08-03 08:14 12K 
[ ]int_8__l10_int_82024-07-27 10:56 22K 
[ ]int_8__l10_int_8.depv12024-08-03 10:19 21  
[ ]int_8__l10_int_8.depvmin12024-08-03 10:24 21  
[ ]int_8__l10_int_8.vmin12024-08-03 10:20 394  
[ ]int_8__l10_int_8.vmin1out2024-08-03 10:22 4.4K 
[ ]int_8__l10_int_8.vout2024-08-03 10:12 4.6K 
[ ]int_8__l29_int_82024-07-27 10:57 21K 
[ ]int_8__l29_int_8.depv12024-08-03 10:19 90  
[ ]int_8__l29_int_8.depvmin12024-08-03 10:24 90  
[ ]int_8__l29_int_8.vmin12024-08-03 10:20 516  
[ ]int_8__l29_int_8.vmin1out2024-08-03 10:21 5.5K 
[ ]int_8__l29_int_8.vout2024-08-03 07:18 5.5K 
[ ]int_8__t1_int_82024-07-27 10:58 27K 
[ ]int_8__t1_int_8.depv12024-08-03 10:19 137  
[ ]int_8__t1_int_8.depvmin12024-08-03 10:24 137  
[ ]int_8__t1_int_8.vmin12024-08-03 10:20 1.1K 
[ ]int_8__t1_int_8.vmin1out2024-08-03 10:22 17K 
[ ]int_8__t1_int_8.vout2024-08-03 04:09 18K 
[ ]int_8__t2_int_82024-07-27 10:59 27K 
[ ]int_8__t2_int_8.depv12024-08-03 10:19 219  
[ ]int_8__t2_int_8.depvmin12024-08-03 10:24 219  
[ ]int_8__t2_int_8.vmin12024-08-03 10:20 1.4K 
[ ]int_8__t2_int_8.vmin1out2024-08-03 10:20 13K 
[ ]int_8__t2_int_8.vout2024-08-03 10:06 15K 
[ ]int_8__t3_int_82024-07-27 11:01 30K 
[ ]int_8__t3_int_8.vout2024-08-03 08:33 6.7K 
[ ]int_8__t4_int_82024-07-27 11:02 471K 
[ ]int_8__t4_int_8.vout2024-08-03 04:50 7.2K 
[ ]int_8__t5_int_82024-07-27 11:03 22K 
[ ]int_8__t5_int_8.depv12024-08-03 10:19 142  
[ ]int_8__t5_int_8.depvmin12024-08-03 10:24 118  
[ ]int_8__t5_int_8.vmin12024-08-03 10:20 822  
[ ]int_8__t5_int_8.vmin1out2024-08-03 10:22 7.2K 
[ ]int_8__t5_int_8.vout2024-08-03 09:21 8.0K 
[ ]int_8__t6_int_82024-07-27 11:05 27K 
[ ]int_8__t6_int_8.vout2024-08-03 08:27 6.7K 
[ ]int_8__t7_int_82024-07-27 11:06 555K 
[ ]int_8__t7_int_8.vout2024-08-03 06:13 7.2K 
[ ]int_8__t8_int_82024-07-27 11:09 82K 
[ ]int_8__t8_int_8.vout2024-08-03 09:01 3.6K 
[ ]int_8__t9_int_82024-07-27 11:10 25K 
[ ]int_8__t9_int_8.depv12024-08-03 10:19 104  
[ ]int_8__t9_int_8.depvmin12024-08-03 10:24 104  
[ ]int_8__t9_int_8.vmin12024-08-03 10:20 1.1K 
[ ]int_8__t9_int_8.vmin1out2024-08-03 10:22 13K 
[ ]int_8__t9_int_8.vout2024-08-03 07:15 13K 
[ ]int_8__t10_int_82024-07-27 11:11 49K 
[ ]int_8__t10_int_8.vout2024-08-03 06:44 4.7K 
[ ]int_8__t11_int_82024-07-27 11:13 27K 
[ ]int_8__t11_int_8.vout2024-08-03 05:19 2.0K 
[ ]int_8__t12_int_82024-07-27 11:14 73K 
[ ]int_8__t12_int_8.vout2024-08-03 06:38 4.7K 
[ ]int_8__t13_int_82024-07-27 11:16 45K 
[ ]int_8__t13_int_8.vout2024-08-03 05:34 6.7K 
[ ]int_8__t14_int_82024-07-27 11:17 36K 
[ ]int_8__t14_int_8.vout2024-08-03 04:49 7.2K 
[ ]int_8__t15_int_82024-07-27 11:19 34K 
[ ]int_8__t15_int_8.vout2024-08-03 08:40 4.7K 
[ ]int_8__t16_int_82024-07-27 11:20 33K 
[ ]int_8__t16_int_8.vout2024-08-03 04:14 6.8K 
[ ]int_8__t17_int_82024-07-27 11:21 30K 
[ ]int_8__t17_int_8.vout2024-08-03 05:58 4.7K 
[ ]int_8__t18_int_82024-07-27 11:23 35K 
[ ]int_8__t18_int_8.vout2024-08-03 04:58 4.7K 
[ ]int_8__t19_int_82024-07-27 11:24 32K 
[ ]int_8__t19_int_8.vout2024-08-03 06:03 6.8K 
[ ]int_8__t20_int_82024-07-27 11:25 29K 
[ ]int_8__t20_int_8.vout2024-08-03 06:45 7.3K 
[ ]int_8__t21_int_82024-07-27 11:27 34K 
[ ]int_8__t21_int_8.vout2024-08-03 08:28 4.7K 
[ ]int_8__t22_int_82024-07-27 11:28 44K 
[ ]int_8__t22_int_8.vout2024-08-03 05:46 7.3K 
[ ]int_8__t23_int_82024-07-27 11:30 55K 
[ ]int_8__t23_int_8.vout2024-08-03 07:01 7.3K 
[ ]int_8__t24_int_82024-07-27 11:32 48K 
[ ]int_8__t24_int_8.vout2024-08-03 09:15 7.3K 
[ ]int_8__t25_int_82024-07-27 11:34 46K 
[ ]int_8__t25_int_8.vout2024-08-03 06:01 5.2K 
[ ]int_8__t26_int_82024-07-27 11:36 67K 
[ ]int_8__t26_int_8.vout2024-08-03 04:08 3.6K 
[ ]int_8__t27_int_82024-07-27 11:38 56K 
[ ]int_8__t27_int_8.vout2024-08-03 04:38 3.6K 
[ ]int_8__t28_int_82024-07-27 11:40 84K 
[ ]int_8__t28_int_8.vout2024-08-03 08:02 3.6K 
[ ]int_8__t29_int_82024-07-27 11:41 100K 
[ ]int_8__t29_int_8.vout2024-08-03 08:04 7.3K 
[ ]int_8__t30_int_82024-07-27 11:43 98K 
[ ]int_8__t30_int_8.vout2024-08-03 08:37 7.2K 
[ ]int_8__t31_int_82024-07-27 11:45 480K 
[ ]int_8__t31_int_8.vout2024-08-03 06:58 6.7K 
[ ]int_8__t32_int_82024-07-27 11:47 85K 
[ ]int_8__t32_int_8.vout2024-08-03 05:51 6.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80