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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msualg_5__t1_msualg_52025-09-08 18:10 24K 
[ ]msualg_5__t1_msualg_5.vout2025-09-15 16:04 4.1K 
[ ]msualg_5__t2_msualg_52025-09-08 18:11 20K 
[ ]msualg_5__t2_msualg_5.depv12025-09-15 19:47 72  
[ ]msualg_5__t2_msualg_5.depvmin12025-09-15 19:51 72  
[ ]msualg_5__t2_msualg_5.vmin12025-09-15 19:47 1.0K 
[ ]msualg_5__t2_msualg_5.vmin1out2025-09-15 19:50 16K 
[ ]msualg_5__t2_msualg_5.vout2025-09-15 13:25 14K 
[ ]msualg_5__t3_msualg_52025-09-08 18:12 25K 
[ ]msualg_5__t3_msualg_5.vout2025-09-15 17:54 4.1K 
[ ]msualg_5__t4_msualg_52025-09-08 18:13 27K 
[ ]msualg_5__t4_msualg_5.vout2025-09-15 18:06 4.1K 
[ ]msualg_5__t5_msualg_52025-09-08 18:15 28K 
[ ]msualg_5__t5_msualg_5.vout2025-09-15 19:12 4.1K 
[ ]msualg_5__t6_msualg_52025-09-08 18:16 21K 
[ ]msualg_5__t6_msualg_5.depv12025-09-15 19:47 124  
[ ]msualg_5__t6_msualg_5.depvmin12025-09-15 19:51 124  
[ ]msualg_5__t6_msualg_5.vmin12025-09-15 19:47 2.9K 
[ ]msualg_5__t6_msualg_5.vmin1out2025-09-15 19:50 24K 
[ ]msualg_5__t6_msualg_5.vout2025-09-15 17:52 56K 
[ ]msualg_5__t7_msualg_52025-09-08 18:17 19K 
[ ]msualg_5__t7_msualg_5.depv12025-09-15 19:47 130  
[ ]msualg_5__t7_msualg_5.depvmin12025-09-15 19:51 130  
[ ]msualg_5__t7_msualg_5.vmin12025-09-15 19:47 2.5K 
[ ]msualg_5__t7_msualg_5.vmin1out2025-09-15 19:50 39K 
[ ]msualg_5__t7_msualg_5.vout2025-09-15 13:37 42K 
[ ]msualg_5__t8_msualg_52025-09-08 18:18 22K 
[ ]msualg_5__t8_msualg_5.vout2025-09-15 16:50 4.1K 
[ ]msualg_5__t9_msualg_52025-09-08 18:19 23K 
[ ]msualg_5__t9_msualg_5.vout2025-09-15 15:19 4.1K 
[ ]msualg_5__t10_msualg_52025-09-08 18:20 21K 
[ ]msualg_5__t10_msualg_5.depv12025-09-15 19:47 192  
[ ]msualg_5__t10_msualg_5.depvmin12025-09-15 19:51 160  
[ ]msualg_5__t10_msualg_5.vmin12025-09-15 19:47 4.0K 
[ ]msualg_5__t10_msualg_5.vmin1out2025-09-15 19:51 92K 
[ ]msualg_5__t10_msualg_5.vout2025-09-15 13:26 77K 
[ ]msualg_5__t11_msualg_52025-09-08 18:21 27K 
[ ]msualg_5__t11_msualg_5.vout2025-09-15 16:34 7.3K 
[ ]msualg_5__t12_msualg_52025-09-08 18:24 63K 
[ ]msualg_5__t12_msualg_5.vout2025-09-15 17:29 4.7K 
[ ]msualg_5__t13_msualg_52025-09-08 18:26 79K 
[ ]msualg_5__t13_msualg_5.vout2025-09-15 18:09 4.7K 
[ ]msualg_5__t14_msualg_52025-09-08 18:28 64K 
[ ]msualg_5__t14_msualg_5.vout2025-09-15 19:36 4.7K 
[ ]msualg_5__t15_msualg_52025-09-08 18:30 43K 
[ ]msualg_5__t15_msualg_5.vout2025-09-15 13:26 4.7K 
[ ]msualg_5__t16_msualg_52025-09-08 18:32 45K 
[ ]msualg_5__t16_msualg_5.vout2025-09-15 17:49 4.7K 
[ ]msualg_5__t17_msualg_52025-09-08 18:34 52K 
[ ]msualg_5__t17_msualg_5.vout2025-09-15 16:52 4.7K 
[ ]msualg_5__t18_msualg_52025-09-08 18:36 47K 
[ ]msualg_5__t18_msualg_5.vout2025-09-15 19:44 7.3K 
[ ]msualg_5__t19_msualg_52025-09-08 18:38 53K 
[ ]msualg_5__t19_msualg_5.vout2025-09-15 16:42 5.8K 
[ ]msualg_5__t20_msualg_52025-09-08 18:40 54K 
[ ]msualg_5__t20_msualg_5.vout2025-09-15 19:40 4.7K 
[ ]msualg_5__t21_msualg_52025-09-08 18:42 32K 
[ ]msualg_5__t21_msualg_5.depv12025-09-15 19:47 87  
[ ]msualg_5__t21_msualg_5.depvmin12025-09-15 19:51 87  
[ ]msualg_5__t21_msualg_5.vmin12025-09-15 19:47 1.3K 
[ ]msualg_5__t21_msualg_5.vmin1out2025-09-15 19:47 23K 
[ ]msualg_5__t21_msualg_5.vout2025-09-15 17:34 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80