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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mod_4__l3_mod_42024-07-27 02:10 19K 
[ ]mod_4__l3_mod_4.vout2024-08-03 08:38 4.1K 
[ ]mod_4__l4_mod_42024-07-27 02:11 17K 
[ ]mod_4__l4_mod_4.depv12024-08-03 10:19 336  
[ ]mod_4__l4_mod_4.depvmin12024-08-03 10:24 326  
[ ]mod_4__l4_mod_4.vmin12024-08-03 10:19 4.7K 
[ ]mod_4__l4_mod_4.vmin1out2024-08-03 10:22 75K 
[ ]mod_4__l4_mod_4.vout2024-08-03 04:40 78K 
[ ]mod_4__l5_mod_42024-07-27 02:12 19K 
[ ]mod_4__l5_mod_4.vout2024-08-03 04:34 4.1K 
[ ]mod_4__l7_mod_42024-07-27 02:13 19K 
[ ]mod_4__l7_mod_4.vout2024-08-03 04:53 4.1K 
[ ]mod_4__l11_mod_42024-07-27 01:42 12K 
[ ]mod_4__l11_mod_4.depv12024-08-03 10:19 80  
[ ]mod_4__l11_mod_4.depvmin12024-08-03 10:24 80  
[ ]mod_4__l11_mod_4.vmin12024-08-03 10:19 787  
[ ]mod_4__l11_mod_4.vmin1out2024-08-03 10:23 7.3K 
[ ]mod_4__l11_mod_4.vout2024-08-03 08:50 7.7K 
[ ]mod_4__l43_mod_42024-07-27 02:14 16K 
[ ]mod_4__l43_mod_4.vout2024-08-03 07:41 3.2K 
[ ]mod_4__l72_mod_42024-07-27 02:15 17K 
[ ]mod_4__l72_mod_4.vout2024-08-03 10:12 2.0K 
[ ]mod_4__l73_mod_42024-07-27 02:16 18K 
[ ]mod_4__l73_mod_4.vout2024-08-03 08:17 2.0K 
[ ]mod_4__t1_mod_42024-07-27 01:22 7.8K 
[ ]mod_4__t1_mod_4.depv12024-08-03 10:19 60  
[ ]mod_4__t1_mod_4.depvmin12024-08-03 10:24 60  
[ ]mod_4__t1_mod_4.vmin12024-08-03 10:19 1.8K 
[ ]mod_4__t1_mod_4.vmin1out2024-08-03 10:23 32K 
[ ]mod_4__t1_mod_4.vout2024-08-03 04:18 32K 
[ ]mod_4__t2_mod_42024-07-27 01:43 25K 
[ ]mod_4__t2_mod_4.vout2024-08-03 08:48 4.1K 
[ ]mod_4__t3_mod_42024-07-27 01:23 21K 
[ ]mod_4__t3_mod_4.vout2024-08-03 07:27 4.1K 
[ ]mod_4__t4_mod_42024-07-27 01:24 18K 
[ ]mod_4__t4_mod_4.depv12024-08-03 10:19 102  
[ ]mod_4__t4_mod_4.depvmin12024-08-03 10:24 102  
[ ]mod_4__t4_mod_4.vmin12024-08-03 10:19 1.9K 
[ ]mod_4__t4_mod_4.vmin1out2024-08-03 10:20 19K 
[ ]mod_4__t4_mod_4.vout2024-08-03 09:55 16K 
[ ]mod_4__t5_mod_42024-07-27 01:45 23K 
[ ]mod_4__t5_mod_4.depv12024-08-03 10:19 510  
[ ]mod_4__t5_mod_4.depvmin12024-08-03 10:24 343  
[ ]mod_4__t5_mod_4.vmin12024-08-03 10:19 7.6K 
[ ]mod_4__t5_mod_4.vmin1out2024-08-03 10:23 96K 
[ ]mod_4__t5_mod_4.vout2024-08-03 05:26 119K 
[ ]mod_4__t6_mod_42024-07-27 01:46 26K 
[ ]mod_4__t6_mod_4.depv12024-08-03 10:19 306  
[ ]mod_4__t6_mod_4.depvmin12024-08-03 10:24 306  
[ ]mod_4__t6_mod_4.vmin12024-08-03 10:19 5.5K 
[ ]mod_4__t6_mod_4.vmin1out2024-08-03 10:22 53K 
[ ]mod_4__t6_mod_4.vout2024-08-03 07:50 61K 
[ ]mod_4__t7_mod_42024-07-27 01:47 22K 
[ ]mod_4__t7_mod_4.depv12024-08-03 10:19 431  
[ ]mod_4__t7_mod_4.vmin12024-08-03 10:19 6.8K 
[ ]mod_4__t7_mod_4.vmin1out2024-08-03 10:22 9.1K 
[ ]mod_4__t7_mod_4.vout2024-08-03 08:13 186K 
[ ]mod_4__t8_mod_42024-07-27 01:48 23K 
[ ]mod_4__t8_mod_4.depv12024-08-03 10:19 482  
[ ]mod_4__t8_mod_4.depvmin12024-08-03 10:24 455  
[ ]mod_4__t8_mod_4.vmin12024-08-03 10:19 8.2K 
[ ]mod_4__t8_mod_4.vmin1out2024-08-03 10:22 125K 
[ ]mod_4__t8_mod_4.vout2024-08-03 05:20 134K 
[ ]mod_4__t9_mod_42024-07-27 01:49 23K 
[ ]mod_4__t9_mod_4.depv12024-08-03 10:19 412  
[ ]mod_4__t9_mod_4.depvmin12024-08-03 10:24 397  
[ ]mod_4__t9_mod_4.vmin12024-08-03 10:19 6.6K 
[ ]mod_4__t9_mod_4.vmin1out2024-08-03 10:20 135K 
[ ]mod_4__t9_mod_4.vout2024-08-03 04:51 127K 
[ ]mod_4__t10_mod_42024-07-27 01:50 23K 
[ ]mod_4__t10_mod_4.depv12024-08-03 10:19 483  
[ ]mod_4__t10_mod_4.depvmin12024-08-03 10:24 456  
[ ]mod_4__t10_mod_4.vmin12024-08-03 10:19 8.2K 
[ ]mod_4__t10_mod_4.vmin1out2024-08-03 10:22 125K 
[ ]mod_4__t10_mod_4.vout2024-08-03 06:10 128K 
[ ]mod_4__t11_mod_42024-07-27 01:25 21K 
[ ]mod_4__t11_mod_4.vout2024-08-03 07:57 4.1K 
[ ]mod_4__t12_mod_42024-07-27 01:52 35K 
[ ]mod_4__t12_mod_4.vout2024-08-03 08:15 4.7K 
[ ]mod_4__t13_mod_42024-07-27 01:53 25K 
[ ]mod_4__t13_mod_4.depv12024-08-03 10:19 207  
[ ]mod_4__t13_mod_4.depvmin12024-08-03 10:24 183  
[ ]mod_4__t13_mod_4.vmin12024-08-03 10:19 3.2K 
[ ]mod_4__t13_mod_4.vmin1out2024-08-03 10:21 37K 
[ ]mod_4__t13_mod_4.vout2024-08-03 07:01 39K 
[ ]mod_4__t14_mod_42024-07-27 01:26 21K 
[ ]mod_4__t14_mod_4.depv12024-08-03 10:19 381  
[ ]mod_4__t14_mod_4.depvmin12024-08-03 10:24 239  
[ ]mod_4__t14_mod_4.vmin12024-08-03 10:19 6.8K 
[ ]mod_4__t14_mod_4.vmin1out2024-08-03 10:21 60K 
[ ]mod_4__t14_mod_4.vout2024-08-03 09:53 80K 
[ ]mod_4__t15_mod_42024-07-27 01:54 36K 
[ ]mod_4__t15_mod_4.vout2024-08-03 08:35 4.7K 
[ ]mod_4__t16_mod_42024-07-27 01:56 26K 
[ ]mod_4__t16_mod_4.depv12024-08-03 10:19 207  
[ ]mod_4__t16_mod_4.depvmin12024-08-03 10:24 183  
[ ]mod_4__t16_mod_4.vmin12024-08-03 10:19 3.2K 
[ ]mod_4__t16_mod_4.vmin1out2024-08-03 10:20 35K 
[ ]mod_4__t16_mod_4.vout2024-08-03 04:45 39K 
[ ]mod_4__t17_mod_42024-07-27 01:57 29K 
[ ]mod_4__t17_mod_4.vout2024-08-03 09:05 4.1K 
[ ]mod_4__t18_mod_42024-07-27 01:58 29K 
[ ]mod_4__t18_mod_4.vout2024-08-03 06:15 4.1K 
[ ]mod_4__t19_mod_42024-07-27 02:00 37K 
[ ]mod_4__t19_mod_4.vout2024-08-03 07:43 4.1K 
[ ]mod_4__t20_mod_42024-07-27 02:01 37K 
[ ]mod_4__t20_mod_4.vout2024-08-03 08:01 4.1K 
[ ]mod_4__t21_mod_42024-07-27 02:02 18K 
[ ]mod_4__t21_mod_4.vout2024-08-03 06:26 2.0K 
[ ]mod_4__t22_mod_42024-07-27 02:03 18K 
[ ]mod_4__t22_mod_4.vout2024-08-03 07:55 2.0K 
[ ]mod_4__t23_mod_42024-07-27 01:28 20K 
[ ]mod_4__t23_mod_4.depv12024-08-03 10:19 135  
[ ]mod_4__t23_mod_4.depvmin12024-08-03 10:24 135  
[ ]mod_4__t23_mod_4.vmin12024-08-03 10:19 4.6K 
[ ]mod_4__t23_mod_4.vmin1out2024-08-03 10:23 69K 
[ ]mod_4__t23_mod_4.vout2024-08-03 05:01 36K 
[ ]mod_4__t24_mod_42024-07-27 01:29 20K 
[ ]mod_4__t24_mod_4.depv12024-08-03 10:19 122  
[ ]mod_4__t24_mod_4.depvmin12024-08-03 10:24 122  
[ ]mod_4__t24_mod_4.vmin12024-08-03 10:19 4.1K 
[ ]mod_4__t24_mod_4.vmin1out2024-08-03 10:22 65K 
[ ]mod_4__t24_mod_4.vout2024-08-03 10:12 65K 
[ ]mod_4__t25_mod_42024-07-27 02:05 29K 
[ ]mod_4__t25_mod_4.vout2024-08-03 09:28 2.0K 
[ ]mod_4__t26_mod_42024-07-27 02:06 29K 
[ ]mod_4__t26_mod_4.vout2024-08-03 05:08 2.0K 
[ ]mod_4__t30_mod_42024-07-27 01:30 24K 
[ ]mod_4__t30_mod_4.depv12024-08-03 10:19 104  
[ ]mod_4__t30_mod_4.depvmin12024-08-03 10:24 104  
[ ]mod_4__t30_mod_4.vmin12024-08-03 10:19 3.8K 
[ ]mod_4__t30_mod_4.vmin1out2024-08-03 10:23 54K 
[ ]mod_4__t30_mod_4.vout2024-08-03 07:48 40K 
[ ]mod_4__t31_mod_42024-07-27 01:31 24K 
[ ]mod_4__t31_mod_4.depv12024-08-03 10:19 104  
[ ]mod_4__t31_mod_4.depvmin12024-08-03 10:24 104  
[ ]mod_4__t31_mod_4.vmin12024-08-03 10:19 3.8K 
[ ]mod_4__t31_mod_4.vmin1out2024-08-03 10:22 54K 
[ ]mod_4__t31_mod_4.vout2024-08-03 09:50 40K 
[ ]mod_4__t32_mod_42024-07-27 01:32 28K 
[ ]mod_4__t32_mod_4.depv12024-08-03 10:19 292  
[ ]mod_4__t32_mod_4.depvmin12024-08-03 10:24 292  
[ ]mod_4__t32_mod_4.vmin12024-08-03 10:19 6.1K 
[ ]mod_4__t32_mod_4.vmin1out2024-08-03 10:20 55K 
[ ]mod_4__t32_mod_4.vout2024-08-03 05:25 56K 
[ ]mod_4__t33_mod_42024-07-27 01:34 28K 
[ ]mod_4__t33_mod_4.depv12024-08-03 10:19 292  
[ ]mod_4__t33_mod_4.depvmin12024-08-03 10:24 292  
[ ]mod_4__t33_mod_4.vmin12024-08-03 10:19 6.1K 
[ ]mod_4__t33_mod_4.vmin1out2024-08-03 10:21 55K 
[ ]mod_4__t33_mod_4.vout2024-08-03 07:07 56K 
[ ]mod_4__t34_mod_42024-07-27 01:35 28K 
[ ]mod_4__t34_mod_4.depv12024-08-03 10:19 345  
[ ]mod_4__t34_mod_4.depvmin12024-08-03 10:24 268  
[ ]mod_4__t34_mod_4.vmin12024-08-03 10:19 6.5K 
[ ]mod_4__t34_mod_4.vmin1out2024-08-03 10:21 57K 
[ ]mod_4__t34_mod_4.vout2024-08-03 10:15 95K 
[ ]mod_4__t35_mod_42024-07-27 01:36 28K 
[ ]mod_4__t35_mod_4.depv12024-08-03 10:19 295  
[ ]mod_4__t35_mod_4.depvmin12024-08-03 10:24 295  
[ ]mod_4__t35_mod_4.vmin12024-08-03 10:19 6.1K 
[ ]mod_4__t35_mod_4.vmin1out2024-08-03 10:20 55K 
[ ]mod_4__t35_mod_4.vout2024-08-03 08:04 56K 
[ ]mod_4__t36_mod_42024-07-27 01:37 24K 
[ ]mod_4__t36_mod_4.depv12024-08-03 10:19 52  
[ ]mod_4__t36_mod_4.depvmin12024-08-03 10:24 52  
[ ]mod_4__t36_mod_4.vmin12024-08-03 10:19 2.0K 
[ ]mod_4__t36_mod_4.vmin1out2024-08-03 10:22 25K 
[ ]mod_4__t36_mod_4.vout2024-08-03 04:47 23K 
[ ]mod_4__t37_mod_42024-07-27 01:38 24K 
[ ]mod_4__t37_mod_4.depv12024-08-03 10:19 52  
[ ]mod_4__t37_mod_4.depvmin12024-08-03 10:24 52  
[ ]mod_4__t37_mod_4.vmin12024-08-03 10:19 2.0K 
[ ]mod_4__t37_mod_4.vmin1out2024-08-03 10:20 25K 
[ ]mod_4__t37_mod_4.vout2024-08-03 10:15 23K 
[ ]mod_4__t38_mod_42024-07-27 01:39 28K 
[ ]mod_4__t38_mod_4.depv12024-08-03 10:19 295  
[ ]mod_4__t38_mod_4.depvmin12024-08-03 10:24 295  
[ ]mod_4__t38_mod_4.vmin12024-08-03 10:19 6.0K 
[ ]mod_4__t38_mod_4.vmin1out2024-08-03 10:22 47K 
[ ]mod_4__t38_mod_4.vout2024-08-03 04:20 54K 
[ ]mod_4__t39_mod_42024-07-27 01:41 28K 
[ ]mod_4__t39_mod_4.depv12024-08-03 10:19 295  
[ ]mod_4__t39_mod_4.depvmin12024-08-03 10:24 295  
[ ]mod_4__t39_mod_4.vmin12024-08-03 10:19 6.0K 
[ ]mod_4__t39_mod_4.vmin1out2024-08-03 10:21 47K 
[ ]mod_4__t39_mod_4.vout2024-08-03 04:57 54K 
[ ]mod_4__t40_mod_42024-07-27 01:41 15K 
[ ]mod_4__t40_mod_4.depv12024-08-03 10:19 107  
[ ]mod_4__t40_mod_4.depvmin12024-08-03 10:24 107  
[ ]mod_4__t40_mod_4.vmin12024-08-03 10:19 3.4K 
[ ]mod_4__t40_mod_4.vmin1out2024-08-03 10:20 47K 
[ ]mod_4__t40_mod_4.vout2024-08-03 04:58 30K 
[ ]mod_4__t41_mod_42024-07-27 02:07 25K 
[ ]mod_4__t41_mod_4.vout2024-08-03 08:24 2.0K 
[ ]mod_4__t42_mod_42024-07-27 02:09 29K 
[ ]mod_4__t42_mod_4.vout2024-08-03 05:11 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80