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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msualg_5__t1_msualg_52024-07-27 12:19 24K 
[ ]msualg_5__t1_msualg_5.vout2024-08-03 05:36 4.1K 
[ ]msualg_5__t2_msualg_52024-07-27 12:20 20K 
[ ]msualg_5__t2_msualg_5.depv12024-08-03 10:19 72  
[ ]msualg_5__t2_msualg_5.depvmin12024-08-03 10:24 72  
[ ]msualg_5__t2_msualg_5.vmin12024-08-03 10:19 1.0K 
[ ]msualg_5__t2_msualg_5.vmin1out2024-08-03 10:22 16K 
[ ]msualg_5__t2_msualg_5.vout2024-08-03 04:42 14K 
[ ]msualg_5__t3_msualg_52024-07-27 12:21 25K 
[ ]msualg_5__t3_msualg_5.vout2024-08-03 10:09 4.1K 
[ ]msualg_5__t4_msualg_52024-07-27 12:23 27K 
[ ]msualg_5__t4_msualg_5.vout2024-08-03 06:30 4.1K 
[ ]msualg_5__t5_msualg_52024-07-27 12:24 28K 
[ ]msualg_5__t5_msualg_5.vout2024-08-03 09:41 4.1K 
[ ]msualg_5__t6_msualg_52024-07-27 12:25 21K 
[ ]msualg_5__t6_msualg_5.vout2024-08-03 09:58 4.1K 
[ ]msualg_5__t7_msualg_52024-07-27 12:26 19K 
[ ]msualg_5__t7_msualg_5.vout2024-08-03 07:38 4.1K 
[ ]msualg_5__t8_msualg_52024-07-27 12:27 22K 
[ ]msualg_5__t8_msualg_5.vout2024-08-03 10:13 4.2K 
[ ]msualg_5__t9_msualg_52024-07-27 12:28 23K 
[ ]msualg_5__t9_msualg_5.vout2024-08-03 06:01 4.1K 
[ ]msualg_5__t10_msualg_52024-07-27 12:29 21K 
[ ]msualg_5__t10_msualg_5.depv12024-08-03 10:19 192  
[ ]msualg_5__t10_msualg_5.depvmin12024-08-03 10:24 160  
[ ]msualg_5__t10_msualg_5.vmin12024-08-03 10:19 4.0K 
[ ]msualg_5__t10_msualg_5.vmin1out2024-08-03 10:21 92K 
[ ]msualg_5__t10_msualg_5.vout2024-08-03 05:48 77K 
[ ]msualg_5__t11_msualg_52024-07-27 12:31 27K 
[ ]msualg_5__t11_msualg_5.vout2024-08-03 07:50 7.4K 
[ ]msualg_5__t12_msualg_52024-07-27 12:33 62K 
[ ]msualg_5__t12_msualg_5.vout2024-08-03 05:33 4.7K 
[ ]msualg_5__t13_msualg_52024-07-27 12:35 78K 
[ ]msualg_5__t13_msualg_5.vout2024-08-03 05:04 4.7K 
[ ]msualg_5__t14_msualg_52024-07-27 12:38 63K 
[ ]msualg_5__t14_msualg_5.vout2024-08-03 06:50 4.7K 
[ ]msualg_5__t15_msualg_52024-07-27 12:39 43K 
[ ]msualg_5__t15_msualg_5.vout2024-08-03 05:39 4.7K 
[ ]msualg_5__t16_msualg_52024-07-27 12:41 45K 
[ ]msualg_5__t16_msualg_5.vout2024-08-03 04:27 4.7K 
[ ]msualg_5__t17_msualg_52024-07-27 12:43 52K 
[ ]msualg_5__t17_msualg_5.vout2024-08-03 07:09 4.7K 
[ ]msualg_5__t18_msualg_52024-07-27 12:45 47K 
[ ]msualg_5__t18_msualg_5.vout2024-08-03 05:47 7.3K 
[ ]msualg_5__t19_msualg_52024-07-27 12:47 52K 
[ ]msualg_5__t19_msualg_5.vout2024-08-03 07:27 5.8K 
[ ]msualg_5__t20_msualg_52024-07-27 12:49 54K 
[ ]msualg_5__t20_msualg_5.vout2024-08-03 05:54 4.7K 
[ ]msualg_5__t21_msualg_52024-07-27 12:51 32K 
[ ]msualg_5__t21_msualg_5.depv12024-08-03 10:19 87  
[ ]msualg_5__t21_msualg_5.depvmin12024-08-03 10:24 87  
[ ]msualg_5__t21_msualg_5.vmin12024-08-03 10:19 1.3K 
[ ]msualg_5__t21_msualg_5.vmin1out2024-08-03 10:22 23K 
[ ]msualg_5__t21_msualg_5.vout2024-08-03 05:09 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80