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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prelamb__l26_prelamb2024-07-28 00:35 63K 
[ ]prelamb__l26_prelamb.vout2024-08-03 07:39 7.3K 
[ ]prelamb__l31_prelamb2024-07-28 00:37 57K 
[ ]prelamb__l31_prelamb.vout2024-08-03 10:06 2.0K 
[ ]prelamb__l32_prelamb2024-07-28 00:39 57K 
[ ]prelamb__l32_prelamb.vout2024-08-03 09:25 2.0K 
[ ]prelamb__l33_prelamb2024-07-28 00:40 54K 
[ ]prelamb__l33_prelamb.vout2024-08-03 04:18 2.0K 
[ ]prelamb__l34_prelamb2024-07-28 00:42 57K 
[ ]prelamb__l34_prelamb.vout2024-08-03 08:33 2.0K 
[ ]prelamb__l35_prelamb2024-07-28 00:44 57K 
[ ]prelamb__l35_prelamb.vout2024-08-03 09:29 2.0K 
[ ]prelamb__l36_prelamb2024-07-28 00:46 54K 
[ ]prelamb__l36_prelamb.vout2024-08-03 05:29 2.0K 
[ ]prelamb__l37_prelamb2024-07-28 00:48 59K 
[ ]prelamb__l37_prelamb.vout2024-08-03 05:21 2.0K 
[ ]prelamb__l38_prelamb2024-07-28 00:49 57K 
[ ]prelamb__l38_prelamb.vout2024-08-03 09:32 2.0K 
[ ]prelamb__l39_prelamb2024-07-28 00:51 55K 
[ ]prelamb__l39_prelamb.vout2024-08-03 08:36 2.0K 
[ ]prelamb__t1_prelamb2024-07-27 23:44 55K 
[ ]prelamb__t1_prelamb.vout2024-08-03 05:01 3.7K 
[ ]prelamb__t2_prelamb2024-07-27 23:46 58K 
[ ]prelamb__t2_prelamb.vout2024-08-03 09:07 3.7K 
[ ]prelamb__t3_prelamb2024-07-27 23:48 69K 
[ ]prelamb__t3_prelamb.vout2024-08-03 09:31 2.0K 
[ ]prelamb__t4_prelamb2024-07-27 23:49 70K 
[ ]prelamb__t4_prelamb.vout2024-08-03 08:19 7.3K 
[ ]prelamb__t5_prelamb2024-07-27 23:52 70K 
[ ]prelamb__t5_prelamb.vout2024-08-03 04:31 7.3K 
[ ]prelamb__t6_prelamb2024-07-27 23:53 70K 
[ ]prelamb__t6_prelamb.vout2024-08-03 09:31 7.3K 
[ ]prelamb__t7_prelamb2024-07-27 23:55 70K 
[ ]prelamb__t7_prelamb.vout2024-08-03 06:05 7.3K 
[ ]prelamb__t8_prelamb2024-07-27 23:57 70K 
[ ]prelamb__t8_prelamb.vout2024-08-03 05:45 7.3K 
[ ]prelamb__t9_prelamb2024-07-27 23:59 70K 
[ ]prelamb__t9_prelamb.vout2024-08-03 06:04 7.3K 
[ ]prelamb__t10_prelamb2024-07-28 00:01 70K 
[ ]prelamb__t10_prelamb.vout2024-08-03 05:29 7.3K 
[ ]prelamb__t11_prelamb2024-07-28 00:03 75K 
[ ]prelamb__t11_prelamb.vout2024-08-03 04:27 7.3K 
[ ]prelamb__t12_prelamb2024-07-28 00:05 59K 
[ ]prelamb__t12_prelamb.depv12024-08-03 10:19 131  
[ ]prelamb__t12_prelamb.depvmin12024-08-03 10:24 131  
[ ]prelamb__t12_prelamb.vmin12024-08-03 10:20 4.8K 
[ ]prelamb__t12_prelamb.vmin1out2024-08-03 10:23 40K 
[ ]prelamb__t12_prelamb.vout2024-08-03 08:24 55K 
[ ]prelamb__t13_prelamb2024-07-28 00:07 58K 
[ ]prelamb__t13_prelamb.depv12024-08-03 10:19 121  
[ ]prelamb__t13_prelamb.depvmin12024-08-03 10:24 121  
[ ]prelamb__t13_prelamb.vmin12024-08-03 10:20 4.5K 
[ ]prelamb__t13_prelamb.vmin1out2024-08-03 10:20 49K 
[ ]prelamb__t13_prelamb.vout2024-08-03 08:54 44K 
[ ]prelamb__t14_prelamb2024-07-28 00:09 59K 
[ ]prelamb__t14_prelamb.depv12024-08-03 10:19 210  
[ ]prelamb__t14_prelamb.vmin12024-08-03 10:20 5.4K 
[ ]prelamb__t14_prelamb.vmin1out2024-08-03 10:23 2.0K 
[ ]prelamb__t14_prelamb.vout2024-08-03 08:15 69K 
[ ]prelamb__t15_prelamb2024-07-28 00:10 60K 
[ ]prelamb__t15_prelamb.vout2024-08-03 07:02 2.0K 
[ ]prelamb__t16_prelamb2024-07-28 00:12 59K 
[ ]prelamb__t16_prelamb.vout2024-08-03 07:36 2.0K 
[ ]prelamb__t17_prelamb2024-07-28 00:14 59K 
[ ]prelamb__t17_prelamb.vout2024-08-03 08:24 2.0K 
[ ]prelamb__t18_prelamb2024-07-28 00:16 48K 
[ ]prelamb__t18_prelamb.depv12024-08-03 10:19 78  
[ ]prelamb__t18_prelamb.depvmin12024-08-03 10:24 78  
[ ]prelamb__t18_prelamb.vmin12024-08-03 10:20 1.7K 
[ ]prelamb__t18_prelamb.vmin1out2024-08-03 10:20 16K 
[ ]prelamb__t18_prelamb.vout2024-08-03 05:57 13K 
[ ]prelamb__t19_prelamb2024-07-28 00:17 57K 
[ ]prelamb__t19_prelamb.vout2024-08-03 09:44 2.0K 
[ ]prelamb__t20_prelamb2024-07-28 00:19 57K 
[ ]prelamb__t20_prelamb.depv12024-08-03 10:19 36  
[ ]prelamb__t20_prelamb.depvmin12024-08-03 10:24 36  
[ ]prelamb__t20_prelamb.vmin12024-08-03 10:20 3.5K 
[ ]prelamb__t20_prelamb.vmin1out2024-08-03 10:21 28K 
[ ]prelamb__t20_prelamb.vout2024-08-03 07:19 26K 
[ ]prelamb__t21_prelamb2024-07-28 00:21 48K 
[ ]prelamb__t21_prelamb.depv12024-08-03 10:19 78  
[ ]prelamb__t21_prelamb.depvmin12024-08-03 10:24 78  
[ ]prelamb__t21_prelamb.vmin12024-08-03 10:20 1.7K 
[ ]prelamb__t21_prelamb.vmin1out2024-08-03 10:22 22K 
[ ]prelamb__t21_prelamb.vout2024-08-03 07:17 18K 
[ ]prelamb__t22_prelamb2024-07-28 00:23 49K 
[ ]prelamb__t22_prelamb.depv12024-08-03 10:19 90  
[ ]prelamb__t22_prelamb.depvmin12024-08-03 10:24 90  
[ ]prelamb__t22_prelamb.vmin12024-08-03 10:20 2.2K 
[ ]prelamb__t22_prelamb.vmin1out2024-08-03 10:20 34K 
[ ]prelamb__t22_prelamb.vout2024-08-03 06:04 28K 
[ ]prelamb__t23_prelamb2024-07-28 00:24 58K 
[ ]prelamb__t23_prelamb.vout2024-08-03 09:37 2.0K 
[ ]prelamb__t24_prelamb2024-07-28 00:26 58K 
[ ]prelamb__t24_prelamb.vout2024-08-03 04:31 2.0K 
[ ]prelamb__t25_prelamb2024-07-27 23:42 49K 
[ ]prelamb__t25_prelamb.depv12024-08-03 10:19 110  
[ ]prelamb__t25_prelamb.depvmin12024-08-03 10:24 110  
[ ]prelamb__t25_prelamb.vmin12024-08-03 10:20 2.1K 
[ ]prelamb__t25_prelamb.vmin1out2024-08-03 10:20 28K 
[ ]prelamb__t25_prelamb.vout2024-08-03 05:50 18K 
[ ]prelamb__t26_prelamb2024-07-28 00:28 61K 
[ ]prelamb__t26_prelamb.vout2024-08-03 04:25 2.0K 
[ ]prelamb__t27_prelamb2024-07-28 00:30 60K 
[ ]prelamb__t27_prelamb.vout2024-08-03 09:22 2.0K 
[ ]prelamb__t28_prelamb2024-07-28 00:32 58K 
[ ]prelamb__t28_prelamb.depv12024-08-03 10:19 121  
[ ]prelamb__t28_prelamb.depvmin12024-08-03 10:24 121  
[ ]prelamb__t28_prelamb.vmin12024-08-03 10:20 4.0K 
[ ]prelamb__t28_prelamb.vmin1out2024-08-03 10:21 58K 
[ ]prelamb__t28_prelamb.vout2024-08-03 06:06 55K 
[ ]prelamb__t29_prelamb2024-07-28 00:33 61K 
[ ]prelamb__t29_prelamb.vout2024-08-03 08:25 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80