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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msualg_1__l8_msualg_12024-07-27 10:55 25K 
[ ]msualg_1__l8_msualg_1.vout2024-08-03 05:48 7.3K 
[ ]msualg_1__l14_msualg_12024-07-27 10:42 12K 
[ ]msualg_1__l14_msualg_1.depv12024-08-03 10:19 80  
[ ]msualg_1__l14_msualg_1.depvmin12024-08-03 10:24 80  
[ ]msualg_1__l14_msualg_1.vmin12024-08-03 10:20 432  
[ ]msualg_1__l14_msualg_1.vmin1out2024-08-03 10:23 5.0K 
[ ]msualg_1__l14_msualg_1.vout2024-08-03 04:08 4.9K 
[ ]msualg_1__l15_msualg_12024-07-27 10:57 37K 
[ ]msualg_1__l15_msualg_1.vout2024-08-03 07:16 4.7K 
[ ]msualg_1__t1_msualg_12024-07-27 10:41 36K 
[ ]msualg_1__t1_msualg_1.depv12024-08-03 10:19 107  
[ ]msualg_1__t1_msualg_1.depvmin12024-08-03 10:24 107  
[ ]msualg_1__t1_msualg_1.vmin12024-08-03 10:20 2.0K 
[ ]msualg_1__t1_msualg_1.vmin1out2024-08-03 10:21 15K 
[ ]msualg_1__t1_msualg_1.vout2024-08-03 08:30 16K 
[ ]msualg_1__t2_msualg_12024-07-27 10:43 27K 
[ ]msualg_1__t2_msualg_1.depv12024-08-03 10:19 272  
[ ]msualg_1__t2_msualg_1.depvmin12024-08-03 10:24 216  
[ ]msualg_1__t2_msualg_1.vmin12024-08-03 10:20 2.9K 
[ ]msualg_1__t2_msualg_1.vmin1out2024-08-03 10:23 39K 
[ ]msualg_1__t2_msualg_1.vout2024-08-03 04:48 37K 
[ ]msualg_1__t3_msualg_12024-07-27 10:44 22K 
[ ]msualg_1__t3_msualg_1.depv12024-08-03 10:19 164  
[ ]msualg_1__t3_msualg_1.depvmin12024-08-03 10:24 139  
[ ]msualg_1__t3_msualg_1.vmin12024-08-03 10:20 1.4K 
[ ]msualg_1__t3_msualg_1.vmin1out2024-08-03 10:21 11K 
[ ]msualg_1__t3_msualg_1.vout2024-08-03 09:37 12K 
[ ]msualg_1__t4_msualg_12024-07-27 10:45 29K 
[ ]msualg_1__t4_msualg_1.depv12024-08-03 10:19 292  
[ ]msualg_1__t4_msualg_1.depvmin12024-08-03 10:24 292  
[ ]msualg_1__t4_msualg_1.vmin12024-08-03 10:20 2.7K 
[ ]msualg_1__t4_msualg_1.vmin1out2024-08-03 10:21 35K 
[ ]msualg_1__t4_msualg_1.vout2024-08-03 08:37 35K 
[ ]msualg_1__t5_msualg_12024-07-27 10:46 19K 
[ ]msualg_1__t5_msualg_1.vout2024-08-03 06:02 8.4K 
[ ]msualg_1__t6_msualg_12024-07-27 10:48 46K 
[ ]msualg_1__t6_msualg_1.vout2024-08-03 07:51 7.3K 
[ ]msualg_1__t7_msualg_12024-07-27 10:49 39K 
[ ]msualg_1__t7_msualg_1.depv12024-08-03 10:19 230  
[ ]msualg_1__t7_msualg_1.depvmin12024-08-03 10:24 230  
[ ]msualg_1__t7_msualg_1.vmin12024-08-03 10:20 2.3K 
[ ]msualg_1__t7_msualg_1.vmin1out2024-08-03 10:22 21K 
[ ]msualg_1__t7_msualg_1.vout2024-08-03 09:36 22K 
[ ]msualg_1__t8_msualg_12024-07-27 10:51 43K 
[ ]msualg_1__t8_msualg_1.vout2024-08-03 10:05 7.3K 
[ ]msualg_1__t9_msualg_12024-07-27 10:52 46K 
[ ]msualg_1__t9_msualg_1.vout2024-08-03 08:56 4.7K 
[ ]msualg_1__t10_msualg_12024-07-27 10:54 39K 
[ ]msualg_1__t10_msualg_1.depv12024-08-03 10:19 183  
[ ]msualg_1__t10_msualg_1.depvmin12024-08-03 10:24 183  
[ ]msualg_1__t10_msualg_1.vmin12024-08-03 10:20 2.6K 
[ ]msualg_1__t10_msualg_1.vmin1out2024-08-03 10:23 42K 
[ ]msualg_1__t10_msualg_1.vout2024-08-03 06:07 42K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80