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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fomodel4__l6_fomodel42024-07-27 16:10 86K 
[ ]fomodel4__l6_fomodel4.vout2024-08-03 04:32 7.3K 
[ ]fomodel4__l12_fomodel42024-07-27 15:24 57K 
[ ]fomodel4__l12_fomodel4.vout2024-08-03 05:04 7.3K 
[ ]fomodel4__l18_fomodel42024-07-27 15:26 51K 
[ ]fomodel4__l18_fomodel4.vout2024-08-03 05:08 7.3K 
[ ]fomodel4__l19_fomodel42024-07-27 15:28 51K 
[ ]fomodel4__l19_fomodel4.vout2024-08-03 08:32 7.3K 
[ ]fomodel4__l24_fomodel42024-07-27 20:07 92K 
[ ]fomodel4__l24_fomodel4.vout2024-08-03 05:18 7.3K 
[ ]fomodel4__l25_fomodel42024-07-27 16:12 92K 
[ ]fomodel4__l25_fomodel4.vout2024-08-03 07:06 6.8K 
[ ]fomodel4__l26_fomodel42024-07-27 16:14 61K 
[ ]fomodel4__l26_fomodel4.vout2024-08-03 05:51 7.3K 
[ ]fomodel4__l27_fomodel42024-07-27 16:17 102K 
[ ]fomodel4__l27_fomodel4.vout2024-08-03 09:36 7.3K 
[ ]fomodel4__l28_fomodel42024-07-27 16:20 97K 
[ ]fomodel4__l28_fomodel4.vout2024-08-03 06:36 6.8K 
[ ]fomodel4__l29_fomodel42024-07-27 20:09 100K 
[ ]fomodel4__l29_fomodel4.vout2024-08-03 08:10 3.7K 
[ ]fomodel4__l30_fomodel42024-07-27 16:22 93K 
[ ]fomodel4__l30_fomodel4.depv12024-08-03 10:19 134  
[ ]fomodel4__l30_fomodel4.depvmin12024-08-03 10:24 134  
[ ]fomodel4__l30_fomodel4.vmin12024-08-03 10:19 1.7K 
[ ]fomodel4__l30_fomodel4.vmin1out2024-08-03 10:23 24K 
[ ]fomodel4__l30_fomodel4.vout2024-08-03 09:24 22K 
[ ]fomodel4__l31_fomodel42024-07-27 16:25 94K 
[ ]fomodel4__l31_fomodel4.vout2024-08-03 07:53 7.4K 
[ ]fomodel4__l32_fomodel42024-07-27 16:27 95K 
[ ]fomodel4__l32_fomodel4.vout2024-08-03 07:26 6.8K 
[ ]fomodel4__l33_fomodel42024-07-27 16:30 112K 
[ ]fomodel4__l33_fomodel4.vout2024-08-03 06:18 6.8K 
[ ]fomodel4__l34_fomodel42024-07-27 16:32 57K 
[ ]fomodel4__l34_fomodel4.vout2024-08-03 07:50 7.3K 
[ ]fomodel4__l35_fomodel42024-07-27 16:34 60K 
[ ]fomodel4__l35_fomodel4.vout2024-08-03 05:37 7.3K 
[ ]fomodel4__l36_fomodel42024-07-27 16:36 95K 
[ ]fomodel4__l36_fomodel4.vout2024-08-03 07:26 6.8K 
[ ]fomodel4__l37_fomodel42024-07-27 16:39 91K 
[ ]fomodel4__l37_fomodel4.vout2024-08-03 05:11 7.3K 
[ ]fomodel4__l38_fomodel42024-07-27 16:41 86K 
[ ]fomodel4__l38_fomodel4.vout2024-08-03 05:06 6.8K 
[ ]fomodel4__l39_fomodel42024-07-27 16:44 97K 
[ ]fomodel4__l39_fomodel4.vout2024-08-03 08:53 7.4K 
[ ]fomodel4__l40_fomodel42024-07-27 16:46 99K 
[ ]fomodel4__l40_fomodel4.vout2024-08-03 09:03 6.8K 
[ ]fomodel4__l41_fomodel42024-07-27 16:49 92K 
[ ]fomodel4__l41_fomodel4.vout2024-08-03 05:45 7.3K 
[ ]fomodel4__l42_fomodel42024-07-27 16:51 112K 
[ ]fomodel4__l42_fomodel4.vout2024-08-03 10:18 6.8K 
[ ]fomodel4__l43_fomodel42024-07-27 16:53 49K 
[ ]fomodel4__l43_fomodel4.vout2024-08-03 05:32 7.3K 
[ ]fomodel4__l44_fomodel42024-07-27 16:55 87K 
[ ]fomodel4__l44_fomodel4.vout2024-08-03 06:32 6.8K 
[ ]fomodel4__l45_fomodel42024-07-27 16:58 85K 
[ ]fomodel4__l45_fomodel4.vout2024-08-03 09:41 6.8K 
[ ]fomodel4__l76_fomodel42024-07-27 17:00 56K 
[ ]fomodel4__l76_fomodel4.vout2024-08-03 07:25 6.8K 
[ ]fomodel4__l78_fomodel42024-07-27 17:02 59K 
[ ]fomodel4__l78_fomodel4.vout2024-08-03 10:13 7.3K 
[ ]fomodel4__l79_fomodel42024-07-27 17:03 56K 
[ ]fomodel4__l79_fomodel4.vout2024-08-03 07:04 7.3K 
[ ]fomodel4__l80_fomodel42024-07-27 17:05 58K 
[ ]fomodel4__l80_fomodel4.vout2024-08-03 08:15 7.3K 
[ ]fomodel4__l94_fomodel42024-07-27 17:08 118K 
[ ]fomodel4__l94_fomodel4.vout2024-08-03 07:54 3.7K 
[ ]fomodel4__l95_fomodel42024-07-27 17:12 125K 
[ ]fomodel4__l95_fomodel4.vout2024-08-03 07:03 6.8K 
[ ]fomodel4__l96_fomodel42024-07-27 17:15 137K 
[ ]fomodel4__l96_fomodel4.vout2024-08-03 09:32 6.8K 
[ ]fomodel4__l97_fomodel42024-07-27 17:18 131K 
[ ]fomodel4__l97_fomodel4.vout2024-08-03 07:28 6.8K 
[ ]fomodel4__l99_fomodel42024-07-27 17:22 142K 
[ ]fomodel4__l99_fomodel4.vout2024-08-03 05:47 6.8K 
[ ]fomodel4__l100_fomodel42024-07-27 17:25 148K 
[ ]fomodel4__l100_fomodel4.vout2024-08-03 07:11 6.9K 
[ ]fomodel4__l101_fomodel42024-07-27 17:29 140K 
[ ]fomodel4__l101_fomodel4.vout2024-08-03 09:32 3.7K 
[ ]fomodel4__l102_fomodel42024-07-27 17:32 164K 
[ ]fomodel4__l102_fomodel4.vout2024-08-03 09:42 6.8K 
[ ]fomodel4__l103_fomodel42024-07-27 17:36 154K 
[ ]fomodel4__l103_fomodel4.vout2024-08-03 07:56 6.8K 
[ ]fomodel4__l104_fomodel42024-07-27 17:40 140K 
[ ]fomodel4__l104_fomodel4.vout2024-08-03 08:43 6.8K 
[ ]fomodel4__l105_fomodel42024-07-27 17:43 168K 
[ ]fomodel4__l105_fomodel4.vout2024-08-03 06:26 7.3K 
[ ]fomodel4__l106_fomodel42024-07-27 17:47 150K 
[ ]fomodel4__l106_fomodel4.vout2024-08-03 05:50 6.8K 
[ ]fomodel4__l107_fomodel42024-07-27 17:51 159K 
[ ]fomodel4__l107_fomodel4.vout2024-08-03 07:02 6.9K 
[ ]fomodel4__l110_fomodel42024-07-27 17:54 155K 
[ ]fomodel4__l110_fomodel4.vout2024-08-03 07:31 6.8K 
[ ]fomodel4__l111_fomodel42024-07-27 17:58 139K 
[ ]fomodel4__l111_fomodel4.vout2024-08-03 05:20 6.9K 
[ ]fomodel4__l113_fomodel42024-07-27 18:00 103K 
[ ]fomodel4__l113_fomodel4.vout2024-08-03 06:02 6.8K 
[ ]fomodel4__l114_fomodel42024-07-27 18:04 137K 
[ ]fomodel4__l114_fomodel4.vout2024-08-03 06:21 6.8K 
[ ]fomodel4__l115_fomodel42024-07-27 18:07 129K 
[ ]fomodel4__l115_fomodel4.vout2024-08-03 09:38 6.8K 
[ ]fomodel4__l116_fomodel42024-07-27 18:11 202K 
[ ]fomodel4__l116_fomodel4.vout2024-08-03 05:08 3.7K 
[ ]fomodel4__l126_fomodel42024-07-27 18:16 250K 
[ ]fomodel4__l126_fomodel4.vout2024-08-03 08:39 6.8K 
[ ]fomodel4__l131_fomodel42024-07-27 18:20 137K 
[ ]fomodel4__l131_fomodel4.vout2024-08-03 07:41 6.8K 
[ ]fomodel4__l132_fomodel42024-07-27 18:23 136K 
[ ]fomodel4__l132_fomodel4.vout2024-08-03 04:22 6.9K 
[ ]fomodel4__l133_fomodel42024-07-27 18:27 186K 
[ ]fomodel4__l133_fomodel4.vout2024-08-03 09:55 6.8K 
[ ]fomodel4__l134_fomodel42024-07-27 18:30 162K 
[ ]fomodel4__l134_fomodel4.vout2024-08-03 07:53 7.3K 
[ ]fomodel4__l136_fomodel42024-07-27 18:33 108K 
[ ]fomodel4__l136_fomodel4.vout2024-08-03 09:25 7.9K 
[ ]fomodel4__l137_fomodel42024-07-27 18:37 161K 
[ ]fomodel4__l137_fomodel4.vout2024-08-03 09:03 7.4K 
[ ]fomodel4__l138_fomodel42024-07-27 18:42 223K 
[ ]fomodel4__l138_fomodel4.vout2024-08-03 06:29 7.4K 
[ ]fomodel4__l139_fomodel42024-07-27 18:46 197K 
[ ]fomodel4__l139_fomodel4.vout2024-08-03 08:57 7.3K 
[ ]fomodel4__l140_fomodel42024-07-27 18:51 224K 
[ ]fomodel4__l140_fomodel4.vout2024-08-03 06:10 7.4K 
[ ]fomodel4__l141_fomodel42024-07-27 18:56 261K 
[ ]fomodel4__l141_fomodel4.vout2024-08-03 08:04 7.4K 
[ ]fomodel4__l142_fomodel42024-07-27 19:01 257K 
[ ]fomodel4__l142_fomodel4.vout2024-08-03 08:58 7.4K 
[ ]fomodel4__l143_fomodel42024-07-27 19:06 209K 
[ ]fomodel4__l143_fomodel4.vout2024-08-03 04:57 7.4K 
[ ]fomodel4__l144_fomodel42024-07-27 19:10 222K 
[ ]fomodel4__l144_fomodel4.vout2024-08-03 09:41 7.3K 
[ ]fomodel4__l145_fomodel42024-07-27 19:15 192K 
[ ]fomodel4__l145_fomodel4.vout2024-08-03 09:55 7.4K 
[ ]fomodel4__l146_fomodel42024-07-27 19:19 192K 
[ ]fomodel4__l146_fomodel4.vout2024-08-03 08:38 7.3K 
[ ]fomodel4__l147_fomodel42024-07-27 19:23 194K 
[ ]fomodel4__l147_fomodel4.vout2024-08-03 04:40 7.3K 
[ ]fomodel4__l155_fomodel42024-07-27 19:27 164K 
[ ]fomodel4__l155_fomodel4.vout2024-08-03 10:07 6.9K 
[ ]fomodel4__l157_fomodel42024-07-27 19:31 153K 
[ ]fomodel4__l157_fomodel4.vout2024-08-03 05:07 6.9K 
[ ]fomodel4__l162_fomodel42024-07-27 19:34 179K 
[ ]fomodel4__l162_fomodel4.vout2024-08-03 08:05 6.9K 
[ ]fomodel4__l164_fomodel42024-07-27 19:38 153K 
[ ]fomodel4__l164_fomodel4.vout2024-08-03 09:49 3.7K 
[ ]fomodel4__l165_fomodel42024-07-27 19:41 138K 
[ ]fomodel4__l165_fomodel4.vout2024-08-03 06:48 6.8K 
[ ]fomodel4__l166_fomodel42024-07-27 19:44 148K 
[ ]fomodel4__l166_fomodel4.vout2024-08-03 04:17 6.9K 
[ ]fomodel4__l167_fomodel42024-07-27 19:47 153K 
[ ]fomodel4__l167_fomodel4.vout2024-08-03 04:35 6.8K 
[ ]fomodel4__l168_fomodel42024-07-27 19:51 148K 
[ ]fomodel4__l168_fomodel4.vout2024-08-03 06:36 7.3K 
[ ]fomodel4__l169_fomodel42024-07-27 19:56 239K 
[ ]fomodel4__l169_fomodel4.vout2024-08-03 10:18 3.7K 
[ ]fomodel4__l170_fomodel42024-07-27 20:00 152K 
[ ]fomodel4__l170_fomodel4.vout2024-08-03 06:36 6.8K 
[ ]fomodel4__l172_fomodel42024-07-27 20:04 222K 
[ ]fomodel4__l172_fomodel4.vout2024-08-03 06:30 7.3K 
[ ]fomodel4__t1_fomodel42024-07-27 15:30 54K 
[ ]fomodel4__t1_fomodel4.depv12024-08-03 10:19 72  
[ ]fomodel4__t1_fomodel4.depvmin12024-08-03 10:24 47  
[ ]fomodel4__t1_fomodel4.vmin12024-08-03 10:19 1.2K 
[ ]fomodel4__t1_fomodel4.vmin1out2024-08-03 10:23 12K 
[ ]fomodel4__t1_fomodel4.vout2024-08-03 09:45 18K 
[ ]fomodel4__t2_fomodel42024-07-27 15:32 57K 
[ ]fomodel4__t2_fomodel4.vout2024-08-03 07:00 7.3K 
[ ]fomodel4__t3_fomodel42024-07-27 15:33 55K 
[ ]fomodel4__t3_fomodel4.vout2024-08-03 06:19 7.3K 
[ ]fomodel4__t4_fomodel42024-07-27 15:02 54K 
[ ]fomodel4__t4_fomodel4.depv12024-08-03 10:19 50  
[ ]fomodel4__t4_fomodel4.depvmin12024-08-03 10:24 25  
[ ]fomodel4__t4_fomodel4.vmin12024-08-03 10:19 1.1K 
[ ]fomodel4__t4_fomodel4.vmin1out2024-08-03 10:22 12K 
[ ]fomodel4__t4_fomodel4.vout2024-08-03 08:38 20K 
[ ]fomodel4__t5_fomodel42024-07-27 15:04 60K 
[ ]fomodel4__t5_fomodel4.depv12024-08-03 10:19 50  
[ ]fomodel4__t5_fomodel4.depvmin12024-08-03 10:24 25  
[ ]fomodel4__t5_fomodel4.vmin12024-08-03 10:19 971  
[ ]fomodel4__t5_fomodel4.vmin1out2024-08-03 10:20 9.0K 
[ ]fomodel4__t5_fomodel4.vout2024-08-03 05:00 12K 
[ ]fomodel4__t6_fomodel42024-07-27 15:36 94K 
[ ]fomodel4__t6_fomodel4.vout2024-08-03 06:56 7.3K 
[ ]fomodel4__t7_fomodel42024-07-27 15:06 97K 
[ ]fomodel4__t7_fomodel4.depv12024-08-03 10:19 26  
[ ]fomodel4__t7_fomodel4.depvmin12024-08-03 10:24 26  
[ ]fomodel4__t7_fomodel4.vmin12024-08-03 10:19 2.5K 
[ ]fomodel4__t7_fomodel4.vmin1out2024-08-03 10:20 41K 
[ ]fomodel4__t7_fomodel4.vout2024-08-03 05:50 40K 
[ ]fomodel4__t8_fomodel42024-07-27 15:08 95K 
[ ]fomodel4__t8_fomodel4.depv12024-08-03 10:19 50  
[ ]fomodel4__t8_fomodel4.depvmin12024-08-03 10:24 25  
[ ]fomodel4__t8_fomodel4.vmin12024-08-03 10:19 1.6K 
[ ]fomodel4__t8_fomodel4.vmin1out2024-08-03 10:20 19K 
[ ]fomodel4__t8_fomodel4.vout2024-08-03 09:27 28K 
[ ]fomodel4__t9_fomodel42024-07-27 15:10 53K 
[ ]fomodel4__t9_fomodel4.depv12024-08-03 10:19 50  
[ ]fomodel4__t9_fomodel4.depvmin12024-08-03 10:24 50  
[ ]fomodel4__t9_fomodel4.vmin12024-08-03 10:19 793  
[ ]fomodel4__t9_fomodel4.vmin1out2024-08-03 10:20 8.7K 
[ ]fomodel4__t9_fomodel4.vout2024-08-03 07:13 11K 
[ ]fomodel4__t10_fomodel42024-07-27 15:12 94K 
[ ]fomodel4__t10_fomodel4.depv12024-08-03 10:19 51  
[ ]fomodel4__t10_fomodel4.depvmin12024-08-03 10:24 26  
[ ]fomodel4__t10_fomodel4.vmin12024-08-03 10:19 1.1K 
[ ]fomodel4__t10_fomodel4.vmin1out2024-08-03 10:22 12K 
[ ]fomodel4__t10_fomodel4.vout2024-08-03 06:00 20K 
[ ]fomodel4__t11_fomodel42024-07-27 15:14 94K 
[ ]fomodel4__t11_fomodel4.depv12024-08-03 10:19 62  
[ ]fomodel4__t11_fomodel4.depvmin12024-08-03 10:24 62  
[ ]fomodel4__t11_fomodel4.vmin12024-08-03 10:19 857  
[ ]fomodel4__t11_fomodel4.vmin1out2024-08-03 10:22 8.9K 
[ ]fomodel4__t11_fomodel4.vout2024-08-03 06:25 11K 
[ ]fomodel4__t12_fomodel42024-07-27 15:16 94K 
[ ]fomodel4__t12_fomodel4.depv12024-08-03 10:19 114  
[ ]fomodel4__t12_fomodel4.depvmin12024-08-03 10:24 51  
[ ]fomodel4__t12_fomodel4.vmin12024-08-03 10:19 1.2K 
[ ]fomodel4__t12_fomodel4.vmin1out2024-08-03 10:23 10K 
[ ]fomodel4__t12_fomodel4.vout2024-08-03 09:40 15K 
[ ]fomodel4__t13_fomodel42024-07-27 15:18 52K 
[ ]fomodel4__t13_fomodel4.vout2024-08-03 08:01 7.3K 
[ ]fomodel4__t14_fomodel42024-07-27 15:40 167K 
[ ]fomodel4__t14_fomodel4.vout2024-08-03 06:24 6.8K 
[ ]fomodel4__t15_fomodel42024-07-27 15:23 212K 
[ ]fomodel4__t15_fomodel4.depv12024-08-03 10:19 139  
[ ]fomodel4__t15_fomodel4.depvmin12024-08-03 10:24 52  
[ ]fomodel4__t15_fomodel4.vmin12024-08-03 10:19 1.6K 
[ ]fomodel4__t15_fomodel4.vmin1out2024-08-03 10:20 22K 
[ ]fomodel4__t15_fomodel4.vout2024-08-03 07:03 34K 
[ ]fomodel4__t16_fomodel42024-07-27 15:46 356K 
[ ]fomodel4__t16_fomodel4.vout2024-08-03 09:59 6.8K 
[ ]fomodel4__t17_fomodel42024-07-27 15:51 208K 
[ ]fomodel4__t17_fomodel4.vout2024-08-03 06:59 3.7K 
[ ]fomodel4__t18_fomodel42024-07-27 15:55 205K 
[ ]fomodel4__t18_fomodel4.vout2024-08-03 05:06 3.7K 
[ ]fomodel4__t19_fomodel42024-07-27 15:59 174K 
[ ]fomodel4__t19_fomodel4.vout2024-08-03 05:56 6.8K 
[ ]fomodel4__t20_fomodel42024-07-27 16:03 156K 
[ ]fomodel4__t20_fomodel4.vout2024-08-03 04:17 7.3K 
[ ]fomodel4__t21_fomodel42024-07-27 16:08 217K 
[ ]fomodel4__t21_fomodel4.vout2024-08-03 09:52 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80