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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_7__t31_int_7.vout2024-08-03 05:31 7.8K 
[ ]int_7__t31_int_72024-07-27 06:13 122K 
[ ]int_7__t30_int_7.vout2024-08-03 07:27 4.7K 
[ ]int_7__t30_int_72024-07-27 06:10 61K 
[ ]int_7__t29_int_7.vout2024-08-03 09:15 6.8K 
[ ]int_7__t29_int_72024-07-27 06:08 116K 
[ ]int_7__t28_int_7.vout2024-08-03 05:02 4.7K 
[ ]int_7__t28_int_72024-07-27 06:05 79K 
[ ]int_7__t27_int_7.vout2024-08-03 08:49 71K 
[ ]int_7__t27_int_7.vmin1out2024-08-03 10:22 65K 
[ ]int_7__t27_int_7.vmin12024-08-03 10:19 4.5K 
[ ]int_7__t27_int_7.depvmin12024-08-03 10:24 253  
[ ]int_7__t27_int_7.depv12024-08-03 10:19 287  
[ ]int_7__t27_int_72024-07-27 06:02 61K 
[ ]int_7__t26_int_7.vout2024-08-03 07:59 32K 
[ ]int_7__t26_int_7.vmin1out2024-08-03 10:20 16K 
[ ]int_7__t26_int_7.vmin12024-08-03 10:19 2.8K 
[ ]int_7__t26_int_7.depvmin12024-08-03 10:24 149  
[ ]int_7__t26_int_7.depv12024-08-03 10:19 259  
[ ]int_7__t26_int_72024-07-27 06:00 66K 
[ ]int_7__t25_int_7.vout2024-08-03 04:35 7.2K 
[ ]int_7__t25_int_72024-07-27 05:58 61K 
[ ]int_7__t24_int_7.vout2024-08-03 09:36 7.2K 
[ ]int_7__t24_int_72024-07-27 05:56 65K 
[ ]int_7__t23_int_7.vout2024-08-03 06:05 4.7K 
[ ]int_7__t23_int_72024-07-27 05:21 61K 
[ ]int_7__t22_int_7.vout2024-08-03 05:06 5.8K 
[ ]int_7__t22_int_72024-07-27 05:54 83K 
[ ]int_7__t21_int_7.vout2024-08-03 06:18 6.7K 
[ ]int_7__t21_int_72024-07-27 05:52 81K 
[ ]int_7__t20_int_7.vout2024-08-03 04:58 15K 
[ ]int_7__t20_int_7.vmin1out2024-08-03 10:21 22K 
[ ]int_7__t20_int_7.vmin12024-08-03 10:19 1.4K 
[ ]int_7__t20_int_7.depvmin12024-08-03 10:24 65  
[ ]int_7__t20_int_7.depv12024-08-03 10:19 65  
[ ]int_7__t20_int_72024-07-27 05:19 72K 
[ ]int_7__t19_int_7.vout2024-08-03 05:02 6.2K 
[ ]int_7__t19_int_72024-07-27 05:49 82K 
[ ]int_7__t18_int_7.vout2024-08-03 09:55 2.0K 
[ ]int_7__t18_int_72024-07-27 05:47 44K 
[ ]int_7__t17_int_7.vout2024-08-03 05:07 4.2K 
[ ]int_7__t17_int_72024-07-27 05:45 76K 
[ ]int_7__t16_int_7.vout2024-08-03 08:51 11K 
[ ]int_7__t16_int_7.vmin1out2024-08-03 10:20 19K 
[ ]int_7__t16_int_7.vmin12024-08-03 10:19 1.6K 
[ ]int_7__t16_int_7.depvmin12024-08-03 10:24 64  
[ ]int_7__t16_int_7.depv12024-08-03 10:19 64  
[ ]int_7__t16_int_72024-07-27 05:43 36K 
[ ]int_7__t15_int_7.vout2024-08-03 10:08 29K 
[ ]int_7__t15_int_7.vmin1out2024-08-03 10:21 28K 
[ ]int_7__t15_int_7.vmin12024-08-03 10:19 2.4K 
[ ]int_7__t15_int_7.depvmin12024-08-03 10:24 209  
[ ]int_7__t15_int_7.depv12024-08-03 10:19 209  
[ ]int_7__t15_int_72024-07-27 05:42 39K 
[ ]int_7__t14_int_7.vout2024-08-03 07:09 7.3K 
[ ]int_7__t14_int_72024-07-27 05:40 57K 
[ ]int_7__t13_int_7.vout2024-08-03 06:37 7.3K 
[ ]int_7__t13_int_72024-07-27 05:39 62K 
[ ]int_7__t12_int_7.vout2024-08-03 09:13 2.0K 
[ ]int_7__t12_int_72024-07-27 05:37 37K 
[ ]int_7__t11_int_7.vout2024-08-03 10:11 4.7K 
[ ]int_7__t11_int_72024-07-27 05:35 45K 
[ ]int_7__t10_int_7.vout2024-08-03 09:56 7.2K 
[ ]int_7__t10_int_72024-07-27 05:34 43K 
[ ]int_7__t9_int_7.vout2024-08-03 08:41 7.2K 
[ ]int_7__t9_int_72024-07-27 05:32 48K 
[ ]int_7__t8_int_7.vout2024-08-03 09:30 12K 
[ ]int_7__t8_int_7.vmin1out2024-08-03 10:23 15K 
[ ]int_7__t8_int_7.vmin12024-08-03 10:19 1.1K 
[ ]int_7__t8_int_7.depvmin12024-08-03 10:24 29  
[ ]int_7__t8_int_7.depv12024-08-03 10:19 29  
[ ]int_7__t8_int_72024-07-27 05:17 37K 
[ ]int_7__t7_int_7.vout2024-08-03 07:05 7.2K 
[ ]int_7__t7_int_72024-07-27 05:31 52K 
[ ]int_7__t6_int_7.vout2024-08-03 09:35 35K 
[ ]int_7__t6_int_7.vmin1out2024-08-03 10:20 34K 
[ ]int_7__t6_int_7.vmin12024-08-03 10:19 1.7K 
[ ]int_7__t6_int_7.depvmin12024-08-03 10:24 89  
[ ]int_7__t6_int_7.depv12024-08-03 10:19 89  
[ ]int_7__t6_int_72024-07-27 05:29 55K 
[ ]int_7__t5_int_7.vout2024-08-03 08:26 16K 
[ ]int_7__t5_int_7.vmin1out2024-08-03 10:21 14K 
[ ]int_7__t5_int_7.vmin12024-08-03 10:19 1.3K 
[ ]int_7__t5_int_7.depvmin12024-08-03 10:24 72  
[ ]int_7__t5_int_7.depv12024-08-03 10:19 107  
[ ]int_7__t5_int_72024-07-27 05:28 29K 
[ ]int_7__t4_int_7.vout2024-08-03 10:06 14K 
[ ]int_7__t4_int_7.vmin1out2024-08-03 10:23 18K 
[ ]int_7__t4_int_7.vmin12024-08-03 10:19 1.6K 
[ ]int_7__t4_int_7.depvmin12024-08-03 10:24 104  
[ ]int_7__t4_int_7.depv12024-08-03 10:19 118  
[ ]int_7__t4_int_72024-07-27 05:26 48K 
[ ]int_7__t3_int_7.vout2024-08-03 08:16 6.7K 
[ ]int_7__t3_int_72024-07-27 05:25 48K 
[ ]int_7__t2_int_7.vout2024-08-03 08:45 4.6K 
[ ]int_7__t2_int_72024-07-27 05:24 47K 
[ ]int_7__t1_int_7.vout2024-08-03 09:38 6.7K 
[ ]int_7__t1_int_72024-07-27 05:22 50K 
[ ]int_7__l46_int_7.vout2024-08-03 07:59 4.7K 
[ ]int_7__l46_int_72024-07-27 06:43 118K 
[ ]int_7__l42_int_7.vout2024-08-03 09:44 7.2K 
[ ]int_7__l42_int_72024-07-27 06:40 151K 
[ ]int_7__l33_int_7.vout2024-08-03 05:44 7.2K 
[ ]int_7__l33_int_72024-07-27 06:37 72K 
[ ]int_7__l26_int_7.vout2024-08-03 09:28 6.7K 
[ ]int_7__l26_int_72024-07-27 06:35 87K 
[ ]int_7__l23_int_7.vout2024-08-03 04:13 6.8K 
[ ]int_7__l23_int_72024-07-27 06:33 88K 
[ ]int_7__l22_int_7.vout2024-08-03 05:46 7.2K 
[ ]int_7__l22_int_72024-07-27 06:31 77K 
[ ]int_7__l21_int_7.vout2024-08-03 04:22 7.3K 
[ ]int_7__l21_int_72024-07-27 06:29 69K 
[ ]int_7__l14_int_7.vout2024-08-03 05:46 7.2K 
[ ]int_7__l14_int_72024-07-27 06:27 58K 
[ ]int_7__l12_int_7.vout2024-08-03 08:02 3.6K 
[ ]int_7__l12_int_72024-07-27 06:25 100K 
[ ]int_7__l11_int_7.vout2024-08-03 07:32 3.6K 
[ ]int_7__l11_int_72024-07-27 06:23 118K 
[ ]int_7__l10_int_7.vout2024-08-03 04:20 7.3K 
[ ]int_7__l10_int_72024-07-27 06:20 64K 
[ ]int_7__l7_int_7.vout2024-08-03 05:16 6.7K 
[ ]int_7__l7_int_72024-07-27 06:18 74K 
[ ]int_7__l6_int_7.vout2024-08-03 06:25 6.7K 
[ ]int_7__l6_int_72024-07-27 06:16 68K 
[ ]int_7__l1_int_7.vout2024-08-03 04:12 16K 
[ ]int_7__l1_int_7.vmin1out2024-08-03 10:20 16K 
[ ]int_7__l1_int_7.vmin12024-08-03 10:19 1.7K 
[ ]int_7__l1_int_7.depvmin12024-08-03 10:24 172  
[ ]int_7__l1_int_7.depv12024-08-03 10:19 172  
[ ]int_7__l1_int_72024-07-27 06:15 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80