Index of /~mptp/mml5.63.1382/MPTP2/problems_small/sheffer1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sheffer1__t1_sheffer12021-07-18 11:31 12K 
[ ]sheffer1__t1_sheffer1.depv12021-07-25 20:57 136  
[ ]sheffer1__t1_sheffer1.depvmin12021-07-25 21:03 136  
[ ]sheffer1__t1_sheffer1.vmin12021-07-25 20:57 2.1K 
[ ]sheffer1__t1_sheffer1.vmin1out2021-07-25 21:02 22K 
[ ]sheffer1__t1_sheffer1.vout2021-07-25 15:07 23K 
[ ]sheffer1__t2_sheffer12021-07-18 11:31 7.8K 
[ ]sheffer1__t2_sheffer1.depv12021-07-25 20:57 91  
[ ]sheffer1__t2_sheffer1.depvmin12021-07-25 21:03 91  
[ ]sheffer1__t2_sheffer1.vmin12021-07-25 20:57 1.5K 
[ ]sheffer1__t2_sheffer1.vmin1out2021-07-25 21:01 20K 
[ ]sheffer1__t2_sheffer1.vout2021-07-25 16:37 20K 
[ ]sheffer1__t3_sheffer12021-07-18 11:31 7.8K 
[ ]sheffer1__t3_sheffer1.depv12021-07-25 20:57 91  
[ ]sheffer1__t3_sheffer1.depvmin12021-07-25 21:03 91  
[ ]sheffer1__t3_sheffer1.vmin12021-07-25 20:57 1.5K 
[ ]sheffer1__t3_sheffer1.vmin1out2021-07-25 20:59 20K 
[ ]sheffer1__t3_sheffer1.vout2021-07-25 20:09 20K 
[ ]sheffer1__t4_sheffer12021-07-18 11:32 8.6K 
[ ]sheffer1__t4_sheffer1.depv12021-07-25 20:57 173  
[ ]sheffer1__t4_sheffer1.depvmin12021-07-25 21:03 133  
[ ]sheffer1__t4_sheffer1.vmin12021-07-25 20:57 2.6K 
[ ]sheffer1__t4_sheffer1.vmin1out2021-07-25 21:01 31K 
[ ]sheffer1__t4_sheffer1.vout2021-07-25 19:23 41K 
[ ]sheffer1__t5_sheffer12021-07-18 11:32 8.6K 
[ ]sheffer1__t5_sheffer1.depv12021-07-25 20:57 134  
[ ]sheffer1__t5_sheffer1.depvmin12021-07-25 21:03 134  
[ ]sheffer1__t5_sheffer1.vmin12021-07-25 20:57 2.1K 
[ ]sheffer1__t5_sheffer1.vmin1out2021-07-25 20:57 38K 
[ ]sheffer1__t5_sheffer1.vout2021-07-25 18:12 32K 
[ ]sheffer1__t6_sheffer12021-07-18 11:32 8.5K 
[ ]sheffer1__t6_sheffer1.depv12021-07-25 20:57 212  
[ ]sheffer1__t6_sheffer1.depvmin12021-07-25 21:03 197  
[ ]sheffer1__t6_sheffer1.vmin12021-07-25 20:57 2.9K 
[ ]sheffer1__t6_sheffer1.vmin1out2021-07-25 21:01 32K 
[ ]sheffer1__t6_sheffer1.vout2021-07-25 14:28 34K 
[ ]sheffer1__t7_sheffer12021-07-18 11:32 8.5K 
[ ]sheffer1__t7_sheffer1.depv12021-07-25 20:57 196  
[ ]sheffer1__t7_sheffer1.depvmin12021-07-25 21:03 181  
[ ]sheffer1__t7_sheffer1.vmin12021-07-25 20:57 2.7K 
[ ]sheffer1__t7_sheffer1.vmin1out2021-07-25 20:58 70K 
[ ]sheffer1__t7_sheffer1.vout2021-07-25 20:15 29K 
[ ]sheffer1__t8_sheffer12021-07-18 11:33 9.3K 
[ ]sheffer1__t8_sheffer1.vout2021-07-25 16:18 7.3K 
[ ]sheffer1__t9_sheffer12021-07-18 11:33 9.4K 
[ ]sheffer1__t9_sheffer1.depv12021-07-25 20:57 261  
[ ]sheffer1__t9_sheffer1.depvmin12021-07-25 21:03 261  
[ ]sheffer1__t9_sheffer1.vmin12021-07-25 20:57 3.7K 
[ ]sheffer1__t9_sheffer1.vmin1out2021-07-25 21:02 59K 
[ ]sheffer1__t9_sheffer1.vout2021-07-25 17:16 63K 
[ ]sheffer1__t10_sheffer12021-07-18 11:33 8.6K 
[ ]sheffer1__t10_sheffer1.depv12021-07-25 20:57 168  
[ ]sheffer1__t10_sheffer1.depvmin12021-07-25 21:03 168  
[ ]sheffer1__t10_sheffer1.vmin12021-07-25 20:57 2.4K 
[ ]sheffer1__t10_sheffer1.vmin1out2021-07-25 20:58 44K 
[ ]sheffer1__t10_sheffer1.vout2021-07-25 15:18 43K 
[ ]sheffer1__t11_sheffer12021-07-18 11:33 8.8K 
[ ]sheffer1__t11_sheffer1.vout2021-07-25 20:34 2.0K 
[ ]sheffer1__t12_sheffer12021-07-18 11:33 6.9K 
[ ]sheffer1__t12_sheffer1.vout2021-07-25 17:39 2.0K 
[ ]sheffer1__t13_sheffer12021-07-18 11:34 9.7K 
[ ]sheffer1__t13_sheffer1.vout2021-07-25 19:19 3.7K 
[ ]sheffer1__t14_sheffer12021-07-18 11:34 6.9K 
[ ]sheffer1__t14_sheffer1.vout2021-07-25 16:43 2.0K 
[ ]sheffer1__t15_sheffer12021-07-18 11:34 9.7K 
[ ]sheffer1__t15_sheffer1.vout2021-07-25 19:45 3.7K 
[ ]sheffer1__t16_sheffer12021-07-18 11:34 9.3K 
[ ]sheffer1__t16_sheffer1.vout2021-07-25 18:47 2.0K 
[ ]sheffer1__t17_sheffer12021-07-18 11:35 9.3K 
[ ]sheffer1__t17_sheffer1.vout2021-07-25 15:02 2.0K 
[ ]sheffer1__t18_sheffer12021-07-18 11:35 7.5K 
[ ]sheffer1__t18_sheffer1.depv12021-07-25 20:57 132  
[ ]sheffer1__t18_sheffer1.depvmin12021-07-25 21:03 132  
[ ]sheffer1__t18_sheffer1.vmin12021-07-25 20:57 1.9K 
[ ]sheffer1__t18_sheffer1.vmin1out2021-07-25 20:59 32K 
[ ]sheffer1__t18_sheffer1.vout2021-07-25 18:22 32K 
[ ]sheffer1__t19_sheffer12021-07-18 11:35 7.6K 
[ ]sheffer1__t19_sheffer1.depv12021-07-25 20:57 132  
[ ]sheffer1__t19_sheffer1.depvmin12021-07-25 21:03 132  
[ ]sheffer1__t19_sheffer1.vmin12021-07-25 20:57 1.9K 
[ ]sheffer1__t19_sheffer1.vmin1out2021-07-25 20:59 32K 
[ ]sheffer1__t19_sheffer1.vout2021-07-25 18:21 33K 
[ ]sheffer1__t20_sheffer12021-07-18 11:35 10K 
[ ]sheffer1__t20_sheffer1.depv12021-07-25 20:57 171  
[ ]sheffer1__t20_sheffer1.depvmin12021-07-25 21:03 171  
[ ]sheffer1__t20_sheffer1.vmin12021-07-25 20:57 2.1K 
[ ]sheffer1__t20_sheffer1.vmin1out2021-07-25 21:02 31K 
[ ]sheffer1__t20_sheffer1.vout2021-07-25 18:54 30K 
[ ]sheffer1__t21_sheffer12021-07-18 11:36 10K 
[ ]sheffer1__t21_sheffer1.depv12021-07-25 20:57 145  
[ ]sheffer1__t21_sheffer1.depvmin12021-07-25 21:03 145  
[ ]sheffer1__t21_sheffer1.vmin12021-07-25 20:57 1.9K 
[ ]sheffer1__t21_sheffer1.vmin1out2021-07-25 21:00 29K 
[ ]sheffer1__t21_sheffer1.vout2021-07-25 18:37 29K 
[ ]sheffer1__t22_sheffer12021-07-18 11:30 7.9K 
[ ]sheffer1__t22_sheffer1.depv12021-07-25 20:57 64  
[ ]sheffer1__t22_sheffer1.depvmin12021-07-25 21:03 64  
[ ]sheffer1__t22_sheffer1.vmin12021-07-25 20:57 1.7K 
[ ]sheffer1__t22_sheffer1.vmin1out2021-07-25 21:01 36K 
[ ]sheffer1__t22_sheffer1.vout2021-07-25 16:57 36K 
[ ]sheffer1__t23_sheffer12021-07-18 11:36 9.4K 
[ ]sheffer1__t23_sheffer1.vout2021-07-25 17:36 2.0K 
[ ]sheffer1__t24_sheffer12021-07-18 11:36 13K 
[ ]sheffer1__t24_sheffer1.vout2021-07-25 15:43 3.7K 
[ ]sheffer1__t25_sheffer12021-07-18 11:36 15K 
[ ]sheffer1__t25_sheffer1.vout2021-07-25 20:10 2.0K 
[ ]sheffer1__t26_sheffer12021-07-18 11:37 19K 
[ ]sheffer1__t26_sheffer1.depv12021-07-25 20:57 95  
[ ]sheffer1__t26_sheffer1.depvmin12021-07-25 21:03 95  
[ ]sheffer1__t26_sheffer1.vmin12021-07-25 20:57 1.8K 
[ ]sheffer1__t26_sheffer1.vmin1out2021-07-25 20:59 28K 
[ ]sheffer1__t26_sheffer1.vout2021-07-25 17:47 22K 
[ ]sheffer1__t27_sheffer12021-07-18 11:37 22K 
[ ]sheffer1__t27_sheffer1.vout2021-07-25 20:12 3.7K 
[ ]sheffer1__t28_sheffer12021-07-18 11:38 22K 
[ ]sheffer1__t28_sheffer1.vout2021-07-25 18:16 3.7K 
[ ]sheffer1__t29_sheffer12021-07-18 11:30 15K 
[ ]sheffer1__t29_sheffer1.vout2021-07-25 20:05 2.0K 
[ ]sheffer1__t30_sheffer12021-07-18 11:31 15K 
[ ]sheffer1__t30_sheffer1.depv12021-07-25 20:57 69  
[ ]sheffer1__t30_sheffer1.depvmin12021-07-25 21:03 69  
[ ]sheffer1__t30_sheffer1.vmin12021-07-25 20:57 877  
[ ]sheffer1__t30_sheffer1.vmin1out2021-07-25 21:01 11K 
[ ]sheffer1__t30_sheffer1.vout2021-07-25 20:45 11K 
[ ]sheffer1__t31_sheffer12021-07-18 11:38 16K 
[ ]sheffer1__t31_sheffer1.depv12021-07-25 20:57 97  
[ ]sheffer1__t31_sheffer1.depvmin12021-07-25 21:03 97  
[ ]sheffer1__t31_sheffer1.vmin12021-07-25 20:57 1.6K 
[ ]sheffer1__t31_sheffer1.vmin1out2021-07-25 20:57 29K 
[ ]sheffer1__t31_sheffer1.vout2021-07-25 20:48 21K 
[ ]sheffer1__t32_sheffer12021-07-18 11:38 16K 
[ ]sheffer1__t32_sheffer1.depv12021-07-25 20:57 110  
[ ]sheffer1__t32_sheffer1.depvmin12021-07-25 21:03 110  
[ ]sheffer1__t32_sheffer1.vmin12021-07-25 20:57 1.8K 
[ ]sheffer1__t32_sheffer1.vmin1out2021-07-25 20:58 43K 
[ ]sheffer1__t32_sheffer1.vout2021-07-25 17:03 22K 
[ ]sheffer1__t33_sheffer12021-07-18 11:39 18K 
[ ]sheffer1__t33_sheffer1.depv12021-07-25 20:57 111  
[ ]sheffer1__t33_sheffer1.depvmin12021-07-25 21:03 111  
[ ]sheffer1__t33_sheffer1.vmin12021-07-25 20:57 1.9K 
[ ]sheffer1__t33_sheffer1.vmin1out2021-07-25 20:58 33K 
[ ]sheffer1__t33_sheffer1.vout2021-07-25 18:32 25K 
[ ]sheffer1__t34_sheffer12021-07-18 11:39 17K 
[ ]sheffer1__t34_sheffer1.depv12021-07-25 20:57 96  
[ ]sheffer1__t34_sheffer1.depvmin12021-07-25 21:03 96  
[ ]sheffer1__t34_sheffer1.vmin12021-07-25 20:57 1.8K 
[ ]sheffer1__t34_sheffer1.vmin1out2021-07-25 20:59 29K 
[ ]sheffer1__t34_sheffer1.vout2021-07-25 18:29 22K 
[ ]sheffer1__t35_sheffer12021-07-18 11:39 19K 
[ ]sheffer1__t35_sheffer1.vout2021-07-25 16:10 3.7K 
[ ]sheffer1__t36_sheffer12021-07-18 11:40 19K 
[ ]sheffer1__t36_sheffer1.vout2021-07-25 19:11 3.7K 
[ ]sheffer1__t37_sheffer12021-07-18 11:40 21K 
[ ]sheffer1__t37_sheffer1.vout2021-07-25 15:05 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80