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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sheffer1__t1_sheffer12024-07-28 11:28 10K 
[ ]sheffer1__t1_sheffer1.depv12024-08-03 10:19 185  
[ ]sheffer1__t1_sheffer1.depvmin12024-08-03 10:24 185  
[ ]sheffer1__t1_sheffer1.vmin12024-08-03 10:20 2.5K 
[ ]sheffer1__t1_sheffer1.vmin1out2024-08-03 10:20 26K 
[ ]sheffer1__t1_sheffer1.vout2024-08-03 05:26 25K 
[ ]sheffer1__t2_sheffer12024-07-28 11:29 6.6K 
[ ]sheffer1__t2_sheffer1.depv12024-08-03 10:19 91  
[ ]sheffer1__t2_sheffer1.depvmin12024-08-03 10:24 91  
[ ]sheffer1__t2_sheffer1.vmin12024-08-03 10:20 1.5K 
[ ]sheffer1__t2_sheffer1.vmin1out2024-08-03 10:22 20K 
[ ]sheffer1__t2_sheffer1.vout2024-08-03 10:12 20K 
[ ]sheffer1__t3_sheffer12024-07-28 11:30 6.6K 
[ ]sheffer1__t3_sheffer1.depv12024-08-03 10:19 91  
[ ]sheffer1__t3_sheffer1.depvmin12024-08-03 10:24 91  
[ ]sheffer1__t3_sheffer1.vmin12024-08-03 10:20 1.5K 
[ ]sheffer1__t3_sheffer1.vmin1out2024-08-03 10:20 20K 
[ ]sheffer1__t3_sheffer1.vout2024-08-03 07:50 20K 
[ ]sheffer1__t4_sheffer12024-07-28 11:30 7.4K 
[ ]sheffer1__t4_sheffer1.depv12024-08-03 10:19 133  
[ ]sheffer1__t4_sheffer1.depvmin12024-08-03 10:24 133  
[ ]sheffer1__t4_sheffer1.vmin12024-08-03 10:20 2.1K 
[ ]sheffer1__t4_sheffer1.vmin1out2024-08-03 10:23 37K 
[ ]sheffer1__t4_sheffer1.vout2024-08-03 08:46 32K 
[ ]sheffer1__t5_sheffer12024-07-28 11:31 7.4K 
[ ]sheffer1__t5_sheffer1.depv12024-08-03 10:19 134  
[ ]sheffer1__t5_sheffer1.depvmin12024-08-03 10:24 134  
[ ]sheffer1__t5_sheffer1.vmin12024-08-03 10:20 2.1K 
[ ]sheffer1__t5_sheffer1.vmin1out2024-08-03 10:23 38K 
[ ]sheffer1__t5_sheffer1.vout2024-08-03 04:17 32K 
[ ]sheffer1__t6_sheffer12024-07-28 11:32 7.3K 
[ ]sheffer1__t6_sheffer1.depv12024-08-03 10:19 212  
[ ]sheffer1__t6_sheffer1.depvmin12024-08-03 10:24 212  
[ ]sheffer1__t6_sheffer1.vmin12024-08-03 10:20 2.9K 
[ ]sheffer1__t6_sheffer1.vmin1out2024-08-03 10:21 49K 
[ ]sheffer1__t6_sheffer1.vout2024-08-03 04:41 33K 
[ ]sheffer1__t7_sheffer12024-07-28 11:32 7.3K 
[ ]sheffer1__t7_sheffer1.depv12024-08-03 10:19 196  
[ ]sheffer1__t7_sheffer1.depvmin12024-08-03 10:24 181  
[ ]sheffer1__t7_sheffer1.vmin12024-08-03 10:20 2.7K 
[ ]sheffer1__t7_sheffer1.vmin1out2024-08-03 10:20 70K 
[ ]sheffer1__t7_sheffer1.vout2024-08-03 08:46 28K 
[ ]sheffer1__t8_sheffer12024-07-28 11:33 8.0K 
[ ]sheffer1__t8_sheffer1.vout2024-08-03 08:47 7.3K 
[ ]sheffer1__t9_sheffer12024-07-28 11:34 8.2K 
[ ]sheffer1__t9_sheffer1.depv12024-08-03 10:19 261  
[ ]sheffer1__t9_sheffer1.depvmin12024-08-03 10:24 261  
[ ]sheffer1__t9_sheffer1.vmin12024-08-03 10:20 3.7K 
[ ]sheffer1__t9_sheffer1.vmin1out2024-08-03 10:22 59K 
[ ]sheffer1__t9_sheffer1.vout2024-08-03 04:49 60K 
[ ]sheffer1__t10_sheffer12024-07-28 11:34 7.4K 
[ ]sheffer1__t10_sheffer1.depv12024-08-03 10:19 168  
[ ]sheffer1__t10_sheffer1.depvmin12024-08-03 10:24 168  
[ ]sheffer1__t10_sheffer1.vmin12024-08-03 10:20 2.4K 
[ ]sheffer1__t10_sheffer1.vmin1out2024-08-03 10:21 44K 
[ ]sheffer1__t10_sheffer1.vout2024-08-03 09:30 47K 
[ ]sheffer1__t11_sheffer12024-07-28 11:35 7.6K 
[ ]sheffer1__t11_sheffer1.vout2024-08-03 10:12 2.0K 
[ ]sheffer1__t12_sheffer12024-07-28 11:36 5.6K 
[ ]sheffer1__t12_sheffer1.vout2024-08-03 09:20 2.0K 
[ ]sheffer1__t13_sheffer12024-07-28 11:37 8.5K 
[ ]sheffer1__t13_sheffer1.vout2024-08-03 05:09 3.7K 
[ ]sheffer1__t14_sheffer12024-07-28 11:37 5.7K 
[ ]sheffer1__t14_sheffer1.vout2024-08-03 07:43 2.0K 
[ ]sheffer1__t15_sheffer12024-07-28 11:38 8.5K 
[ ]sheffer1__t15_sheffer1.vout2024-08-03 09:20 3.7K 
[ ]sheffer1__t16_sheffer12024-07-28 11:39 8.1K 
[ ]sheffer1__t16_sheffer1.vout2024-08-03 09:30 2.0K 
[ ]sheffer1__t17_sheffer12024-07-28 11:39 8.1K 
[ ]sheffer1__t17_sheffer1.vout2024-08-03 07:47 2.0K 
[ ]sheffer1__t18_sheffer12024-07-28 11:40 6.3K 
[ ]sheffer1__t18_sheffer1.depv12024-08-03 10:19 132  
[ ]sheffer1__t18_sheffer1.depvmin12024-08-03 10:24 132  
[ ]sheffer1__t18_sheffer1.vmin12024-08-03 10:20 1.9K 
[ ]sheffer1__t18_sheffer1.vmin1out2024-08-03 10:21 32K 
[ ]sheffer1__t18_sheffer1.vout2024-08-03 07:14 32K 
[ ]sheffer1__t19_sheffer12024-07-28 11:41 6.3K 
[ ]sheffer1__t19_sheffer1.depv12024-08-03 10:19 132  
[ ]sheffer1__t19_sheffer1.depvmin12024-08-03 10:24 132  
[ ]sheffer1__t19_sheffer1.vmin12024-08-03 10:20 1.9K 
[ ]sheffer1__t19_sheffer1.vmin1out2024-08-03 10:22 32K 
[ ]sheffer1__t19_sheffer1.vout2024-08-03 07:06 33K 
[ ]sheffer1__t20_sheffer12024-07-28 11:41 9.0K 
[ ]sheffer1__t20_sheffer1.depv12024-08-03 10:19 171  
[ ]sheffer1__t20_sheffer1.depvmin12024-08-03 10:24 171  
[ ]sheffer1__t20_sheffer1.vmin12024-08-03 10:20 2.1K 
[ ]sheffer1__t20_sheffer1.vmin1out2024-08-03 10:20 31K 
[ ]sheffer1__t20_sheffer1.vout2024-08-03 07:14 30K 
[ ]sheffer1__t21_sheffer12024-07-28 11:42 9.1K 
[ ]sheffer1__t21_sheffer1.depv12024-08-03 10:19 145  
[ ]sheffer1__t21_sheffer1.depvmin12024-08-03 10:24 145  
[ ]sheffer1__t21_sheffer1.vmin12024-08-03 10:20 1.9K 
[ ]sheffer1__t21_sheffer1.vmin1out2024-08-03 10:20 29K 
[ ]sheffer1__t21_sheffer1.vout2024-08-03 06:39 28K 
[ ]sheffer1__t22_sheffer12024-07-28 11:25 6.6K 
[ ]sheffer1__t22_sheffer1.depv12024-08-03 10:19 64  
[ ]sheffer1__t22_sheffer1.depvmin12024-08-03 10:24 64  
[ ]sheffer1__t22_sheffer1.vmin12024-08-03 10:20 1.7K 
[ ]sheffer1__t22_sheffer1.vmin1out2024-08-03 10:23 36K 
[ ]sheffer1__t22_sheffer1.vout2024-08-03 10:03 43K 
[ ]sheffer1__t23_sheffer12024-07-28 11:43 8.2K 
[ ]sheffer1__t23_sheffer1.vout2024-08-03 07:01 2.0K 
[ ]sheffer1__t24_sheffer12024-07-28 11:44 12K 
[ ]sheffer1__t24_sheffer1.vout2024-08-03 07:48 3.7K 
[ ]sheffer1__t25_sheffer12024-07-28 11:45 14K 
[ ]sheffer1__t25_sheffer1.vout2024-08-03 07:11 2.0K 
[ ]sheffer1__t26_sheffer12024-07-28 11:46 18K 
[ ]sheffer1__t26_sheffer1.depv12024-08-03 10:19 137  
[ ]sheffer1__t26_sheffer1.depvmin12024-08-03 10:24 137  
[ ]sheffer1__t26_sheffer1.vmin12024-08-03 10:20 2.3K 
[ ]sheffer1__t26_sheffer1.vmin1out2024-08-03 10:20 30K 
[ ]sheffer1__t26_sheffer1.vout2024-08-03 09:02 31K 
[ ]sheffer1__t27_sheffer12024-07-28 11:47 21K 
[ ]sheffer1__t27_sheffer1.vout2024-08-03 04:49 3.7K 
[ ]sheffer1__t28_sheffer12024-07-28 11:48 21K 
[ ]sheffer1__t28_sheffer1.vout2024-08-03 06:53 3.7K 
[ ]sheffer1__t29_sheffer12024-07-28 11:26 14K 
[ ]sheffer1__t29_sheffer1.vout2024-08-03 06:45 2.0K 
[ ]sheffer1__t30_sheffer12024-07-28 11:27 14K 
[ ]sheffer1__t30_sheffer1.depv12024-08-03 10:19 96  
[ ]sheffer1__t30_sheffer1.depvmin12024-08-03 10:24 96  
[ ]sheffer1__t30_sheffer1.vmin12024-08-03 10:20 1.5K 
[ ]sheffer1__t30_sheffer1.vmin1out2024-08-03 10:22 15K 
[ ]sheffer1__t30_sheffer1.vout2024-08-03 10:13 15K 
[ ]sheffer1__t31_sheffer12024-07-28 11:49 14K 
[ ]sheffer1__t31_sheffer1.depv12024-08-03 10:19 97  
[ ]sheffer1__t31_sheffer1.depvmin12024-08-03 10:24 97  
[ ]sheffer1__t31_sheffer1.vmin12024-08-03 10:20 1.6K 
[ ]sheffer1__t31_sheffer1.vmin1out2024-08-03 10:20 29K 
[ ]sheffer1__t31_sheffer1.vout2024-08-03 05:22 21K 
[ ]sheffer1__t32_sheffer12024-07-28 11:51 14K 
[ ]sheffer1__t32_sheffer1.depv12024-08-03 10:19 110  
[ ]sheffer1__t32_sheffer1.depvmin12024-08-03 10:24 110  
[ ]sheffer1__t32_sheffer1.vmin12024-08-03 10:20 1.8K 
[ ]sheffer1__t32_sheffer1.vmin1out2024-08-03 10:22 43K 
[ ]sheffer1__t32_sheffer1.vout2024-08-03 05:03 22K 
[ ]sheffer1__t33_sheffer12024-07-28 11:52 17K 
[ ]sheffer1__t33_sheffer1.depv12024-08-03 10:19 126  
[ ]sheffer1__t33_sheffer1.depvmin12024-08-03 10:24 126  
[ ]sheffer1__t33_sheffer1.vmin12024-08-03 10:20 2.2K 
[ ]sheffer1__t33_sheffer1.vmin1out2024-08-03 10:22 35K 
[ ]sheffer1__t33_sheffer1.vout2024-08-03 08:50 39K 
[ ]sheffer1__t34_sheffer12024-07-28 11:53 16K 
[ ]sheffer1__t34_sheffer1.depv12024-08-03 10:19 96  
[ ]sheffer1__t34_sheffer1.depvmin12024-08-03 10:24 96  
[ ]sheffer1__t34_sheffer1.vmin12024-08-03 10:20 1.8K 
[ ]sheffer1__t34_sheffer1.vmin1out2024-08-03 10:20 29K 
[ ]sheffer1__t34_sheffer1.vout2024-08-03 07:33 30K 
[ ]sheffer1__t35_sheffer12024-07-28 11:54 17K 
[ ]sheffer1__t35_sheffer1.vout2024-08-03 04:48 3.7K 
[ ]sheffer1__t36_sheffer12024-07-28 11:55 17K 
[ ]sheffer1__t36_sheffer1.vout2024-08-03 05:32 3.7K 
[ ]sheffer1__t37_sheffer12024-07-28 11:57 19K 
[ ]sheffer1__t37_sheffer1.vout2024-08-03 04:34 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80