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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msualg_7__l25_msualg_72024-07-27 22:24 8.5K 
[ ]msualg_7__l25_msualg_7.depv12024-08-03 10:19 52  
[ ]msualg_7__l25_msualg_7.depvmin12024-08-03 10:24 52  
[ ]msualg_7__l25_msualg_7.vmin12024-08-03 10:19 286  
[ ]msualg_7__l25_msualg_7.vmin1out2024-08-03 10:23 2.2K 
[ ]msualg_7__l25_msualg_7.vout2024-08-03 05:13 2.1K 
[ ]msualg_7__l26_msualg_72024-07-27 22:25 10K 
[ ]msualg_7__l26_msualg_7.depv12024-08-03 10:19 78  
[ ]msualg_7__l26_msualg_7.depvmin12024-08-03 10:24 78  
[ ]msualg_7__l26_msualg_7.vmin12024-08-03 10:19 491  
[ ]msualg_7__l26_msualg_7.vmin1out2024-08-03 10:23 3.4K 
[ ]msualg_7__l26_msualg_7.vout2024-08-03 05:53 3.3K 
[ ]msualg_7__t1_msualg_72024-07-27 22:26 14K 
[ ]msualg_7__t1_msualg_7.depv12024-08-03 10:19 127  
[ ]msualg_7__t1_msualg_7.depvmin12024-08-03 10:24 127  
[ ]msualg_7__t1_msualg_7.vmin12024-08-03 10:19 2.4K 
[ ]msualg_7__t1_msualg_7.vmin1out2024-08-03 10:20 56K 
[ ]msualg_7__t1_msualg_7.vout2024-08-03 09:10 56K 
[ ]msualg_7__t2_msualg_72024-07-27 22:27 14K 
[ ]msualg_7__t2_msualg_7.depv12024-08-03 10:19 154  
[ ]msualg_7__t2_msualg_7.depvmin12024-08-03 10:24 125  
[ ]msualg_7__t2_msualg_7.vmin12024-08-03 10:19 2.9K 
[ ]msualg_7__t2_msualg_7.vmin1out2024-08-03 10:21 67K 
[ ]msualg_7__t2_msualg_7.vout2024-08-03 09:10 60K 
[ ]msualg_7__t3_msualg_72024-07-27 22:29 34K 
[ ]msualg_7__t3_msualg_7.vout2024-08-03 04:22 4.7K 
[ ]msualg_7__t4_msualg_72024-07-27 22:30 35K 
[ ]msualg_7__t4_msualg_7.vout2024-08-03 08:20 4.7K 
[ ]msualg_7__t5_msualg_72024-07-27 22:32 30K 
[ ]msualg_7__t5_msualg_7.vout2024-08-03 06:28 7.3K 
[ ]msualg_7__t6_msualg_72024-07-27 22:34 27K 
[ ]msualg_7__t6_msualg_7.vout2024-08-03 06:59 4.1K 
[ ]msualg_7__t7_msualg_72024-07-27 22:35 35K 
[ ]msualg_7__t7_msualg_7.vout2024-08-03 07:51 6.8K 
[ ]msualg_7__t8_msualg_72024-07-27 22:37 40K 
[ ]msualg_7__t8_msualg_7.vout2024-08-03 05:36 7.3K 
[ ]msualg_7__t9_msualg_72024-07-27 22:40 41K 
[ ]msualg_7__t9_msualg_7.vout2024-08-03 09:27 7.9K 
[ ]msualg_7__t10_msualg_72024-07-27 22:42 41K 
[ ]msualg_7__t10_msualg_7.vout2024-08-03 04:08 7.5K 
[ ]msualg_7__t11_msualg_72024-07-27 22:43 23K 
[ ]msualg_7__t11_msualg_7.vout2024-08-03 07:16 7.3K 
[ ]msualg_7__t12_msualg_72024-07-27 22:44 23K 
[ ]msualg_7__t12_msualg_7.vout2024-08-03 09:40 7.3K 
[ ]msualg_7__t13_msualg_72024-07-27 22:46 23K 
[ ]msualg_7__t13_msualg_7.vout2024-08-03 08:31 7.3K 
[ ]msualg_7__t14_msualg_72024-07-27 22:47 24K 
[ ]msualg_7__t14_msualg_7.vout2024-08-03 07:35 7.3K 
[ ]msualg_7__t15_msualg_72024-07-27 22:49 24K 
[ ]msualg_7__t15_msualg_7.vout2024-08-03 07:59 7.3K 
[ ]msualg_7__t16_msualg_72024-07-27 22:50 24K 
[ ]msualg_7__t16_msualg_7.vout2024-08-03 09:02 7.3K 
[ ]msualg_7__t17_msualg_72024-07-27 22:51 24K 
[ ]msualg_7__t17_msualg_7.vout2024-08-03 07:28 7.3K 
[ ]msualg_7__t18_msualg_72024-07-27 22:23 16K 
[ ]msualg_7__t18_msualg_7.depv12024-08-03 10:19 26  
[ ]msualg_7__t18_msualg_7.depvmin12024-08-03 10:24 26  
[ ]msualg_7__t18_msualg_7.vmin12024-08-03 10:19 665  
[ ]msualg_7__t18_msualg_7.vmin1out2024-08-03 10:20 8.0K 
[ ]msualg_7__t18_msualg_7.vout2024-08-03 06:18 8.1K 
[ ]msualg_7__t19_msualg_72024-07-27 22:24 16K 
[ ]msualg_7__t19_msualg_7.depv12024-08-03 10:19 26  
[ ]msualg_7__t19_msualg_7.depvmin12024-08-03 10:24 26  
[ ]msualg_7__t19_msualg_7.vmin12024-08-03 10:19 665  
[ ]msualg_7__t19_msualg_7.vmin1out2024-08-03 10:22 8.0K 
[ ]msualg_7__t19_msualg_7.vout2024-08-03 08:46 8.1K 
[ ]msualg_7__t20_msualg_72024-07-27 22:54 45K 
[ ]msualg_7__t20_msualg_7.vout2024-08-03 05:02 3.7K 
[ ]msualg_7__t21_msualg_72024-07-27 22:57 286K 
[ ]msualg_7__t21_msualg_7.vout2024-08-03 09:06 5.9K 
[ ]msualg_7__t22_msualg_72024-07-27 22:58 23K 
[ ]msualg_7__t22_msualg_7.depv12024-08-03 10:19 229  
[ ]msualg_7__t22_msualg_7.depvmin12024-08-03 10:24 188  
[ ]msualg_7__t22_msualg_7.vmin12024-08-03 10:19 2.0K 
[ ]msualg_7__t22_msualg_7.vmin1out2024-08-03 10:21 16K 
[ ]msualg_7__t22_msualg_7.vout2024-08-03 07:53 21K 
[ ]msualg_7__t23_msualg_72024-07-27 23:02 286K 
[ ]msualg_7__t23_msualg_7.vout2024-08-03 08:19 5.9K 
[ ]msualg_7__t24_msualg_72024-07-27 23:03 23K 
[ ]msualg_7__t24_msualg_7.depv12024-08-03 10:19 229  
[ ]msualg_7__t24_msualg_7.depvmin12024-08-03 10:24 188  
[ ]msualg_7__t24_msualg_7.vmin12024-08-03 10:19 2.0K 
[ ]msualg_7__t24_msualg_7.vmin1out2024-08-03 10:22 16K 
[ ]msualg_7__t24_msualg_7.vout2024-08-03 04:42 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80