Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/roughs_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_4__t23_roughs_4.vout2025-09-15 19:03 7.0K 
[ ]roughs_4__t23_roughs_4.vmin1out2025-09-15 19:48 7.1K 
[ ]roughs_4__t23_roughs_4.vmin12025-09-15 19:47 791  
[ ]roughs_4__t23_roughs_4.depvmin12025-09-15 19:52 37  
[ ]roughs_4__t23_roughs_4.depv12025-09-15 19:47 37  
[ ]roughs_4__t23_roughs_42025-09-09 20:50 39K 
[ ]roughs_4__t22_roughs_4.vout2025-09-15 18:25 7.3K 
[ ]roughs_4__t22_roughs_42025-09-09 20:49 41K 
[ ]roughs_4__t21_roughs_4.vout2025-09-15 17:39 11K 
[ ]roughs_4__t21_roughs_4.vmin1out2025-09-15 19:51 5.9K 
[ ]roughs_4__t21_roughs_4.vmin12025-09-15 19:47 834  
[ ]roughs_4__t21_roughs_4.depvmin12025-09-15 19:52 37  
[ ]roughs_4__t21_roughs_4.depv12025-09-15 19:47 50  
[ ]roughs_4__t21_roughs_42025-09-09 20:47 34K 
[ ]roughs_4__t20_roughs_4.vout2025-09-15 18:23 7.4K 
[ ]roughs_4__t20_roughs_42025-09-09 20:46 36K 
[ ]roughs_4__t19_roughs_4.vout2025-09-15 18:34 15K 
[ ]roughs_4__t19_roughs_4.vmin1out2025-09-15 19:50 14K 
[ ]roughs_4__t19_roughs_4.vmin12025-09-15 19:47 1.4K 
[ ]roughs_4__t19_roughs_4.depvmin12025-09-15 19:52 96  
[ ]roughs_4__t19_roughs_4.depv12025-09-15 19:47 96  
[ ]roughs_4__t19_roughs_42025-09-09 20:44 30K 
[ ]roughs_4__t18_roughs_4.vout2025-09-15 16:18 23K 
[ ]roughs_4__t18_roughs_4.vmin1out2025-09-15 19:48 18K 
[ ]roughs_4__t18_roughs_4.vmin12025-09-15 19:47 1.7K 
[ ]roughs_4__t18_roughs_4.depvmin12025-09-15 19:52 118  
[ ]roughs_4__t18_roughs_4.depv12025-09-15 19:47 118  
[ ]roughs_4__t18_roughs_42025-09-09 20:23 30K 
[ ]roughs_4__t17_roughs_4.vout2025-09-15 15:36 29K 
[ ]roughs_4__t17_roughs_4.vmin1out2025-09-15 19:48 28K 
[ ]roughs_4__t17_roughs_4.vmin12025-09-15 19:47 2.4K 
[ ]roughs_4__t17_roughs_4.depvmin12025-09-15 19:52 180  
[ ]roughs_4__t17_roughs_4.depv12025-09-15 19:47 180  
[ ]roughs_4__t17_roughs_42025-09-09 20:43 30K 
[ ]roughs_4__t16_roughs_4.vout2025-09-15 17:36 7.9K 
[ ]roughs_4__t16_roughs_42025-09-09 20:41 30K 
[ ]roughs_4__t15_roughs_4.vout2025-09-15 17:11 39K 
[ ]roughs_4__t15_roughs_4.vmin1out2025-09-15 19:50 32K 
[ ]roughs_4__t15_roughs_4.vmin12025-09-15 19:47 2.6K 
[ ]roughs_4__t15_roughs_4.depvmin12025-09-15 19:52 167  
[ ]roughs_4__t15_roughs_4.depv12025-09-15 19:47 190  
[ ]roughs_4__t15_roughs_42025-09-09 20:40 30K 
[ ]roughs_4__t14_roughs_4.vout2025-09-15 14:16 7.9K 
[ ]roughs_4__t14_roughs_42025-09-09 20:39 29K 
[ ]roughs_4__t13_roughs_4.vout2025-09-15 14:35 7.3K 
[ ]roughs_4__t13_roughs_42025-09-09 20:22 29K 
[ ]roughs_4__t12_roughs_4.vout2025-09-15 14:33 15K 
[ ]roughs_4__t12_roughs_4.vmin1out2025-09-15 19:49 11K 
[ ]roughs_4__t12_roughs_4.vmin12025-09-15 19:47 1.2K 
[ ]roughs_4__t12_roughs_4.depvmin12025-09-15 19:52 77  
[ ]roughs_4__t12_roughs_4.depv12025-09-15 19:47 77  
[ ]roughs_4__t12_roughs_42025-09-09 20:37 30K 
[ ]roughs_4__t11_roughs_4.vout2025-09-15 16:27 7.9K 
[ ]roughs_4__t11_roughs_42025-09-09 20:36 27K 
[ ]roughs_4__t10_roughs_4.vout2025-09-15 19:01 29K 
[ ]roughs_4__t10_roughs_4.vmin1out2025-09-15 19:49 24K 
[ ]roughs_4__t10_roughs_4.vmin12025-09-15 19:47 1.9K 
[ ]roughs_4__t10_roughs_4.depvmin12025-09-15 19:52 158  
[ ]roughs_4__t10_roughs_4.depv12025-09-15 19:47 158  
[ ]roughs_4__t10_roughs_42025-09-09 20:34 28K 
[ ]roughs_4__t9_roughs_4.vout2025-09-15 16:13 7.3K 
[ ]roughs_4__t9_roughs_42025-09-09 20:33 27K 
[ ]roughs_4__t8_roughs_4.vout2025-09-15 14:29 7.3K 
[ ]roughs_4__t8_roughs_42025-09-09 20:31 22K 
[ ]roughs_4__t7_roughs_4.vout2025-09-15 16:59 7.3K 
[ ]roughs_4__t7_roughs_42025-09-09 20:30 22K 
[ ]roughs_4__t6_roughs_4.vout2025-09-15 13:36 7.9K 
[ ]roughs_4__t6_roughs_42025-09-09 20:29 20K 
[ ]roughs_4__t5_roughs_4.vout2025-09-15 17:18 8.4K 
[ ]roughs_4__t5_roughs_42025-09-09 20:28 16K 
[ ]roughs_4__t4_roughs_4.vout2025-09-15 18:56 5.3K 
[ ]roughs_4__t4_roughs_42025-09-09 20:26 25K 
[ ]roughs_4__t3_roughs_4.vout2025-09-15 16:27 17K 
[ ]roughs_4__t3_roughs_4.vmin1out2025-09-15 19:50 15K 
[ ]roughs_4__t3_roughs_4.vmin12025-09-15 19:47 1.1K 
[ ]roughs_4__t3_roughs_4.depvmin12025-09-15 19:52 100  
[ ]roughs_4__t3_roughs_4.depv12025-09-15 19:47 129  
[ ]roughs_4__t3_roughs_42025-09-09 20:25 13K 
[ ]roughs_4__t2_roughs_4.vout2025-09-15 16:53 27K 
[ ]roughs_4__t2_roughs_4.vmin1out2025-09-15 19:48 27K 
[ ]roughs_4__t2_roughs_4.vmin12025-09-15 19:47 1.3K 
[ ]roughs_4__t2_roughs_4.depvmin12025-09-15 19:52 152  
[ ]roughs_4__t2_roughs_4.depv12025-09-15 19:47 152  
[ ]roughs_4__t2_roughs_42025-09-09 20:24 14K 
[ ]roughs_4__t1_roughs_4.vout2025-09-15 18:43 13K 
[ ]roughs_4__t1_roughs_4.vmin1out2025-09-15 19:47 14K 
[ ]roughs_4__t1_roughs_4.vmin12025-09-15 19:47 695  
[ ]roughs_4__t1_roughs_4.depvmin12025-09-15 19:52 79  
[ ]roughs_4__t1_roughs_4.depv12025-09-15 19:47 79  
[ ]roughs_4__t1_roughs_42025-09-09 20:51 9.2K 
[ ]roughs_4__l37_roughs_4.vout2025-09-15 17:44 17K 
[ ]roughs_4__l37_roughs_4.vmin1out2025-09-15 19:48 11K 
[ ]roughs_4__l37_roughs_4.vmin12025-09-15 19:47 1.4K 
[ ]roughs_4__l37_roughs_4.depvmin12025-09-15 19:52 64  
[ ]roughs_4__l37_roughs_4.depv12025-09-15 19:47 105  
[ ]roughs_4__l37_roughs_42025-09-09 20:52 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80