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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msafree2__t1_msafree22024-07-27 16:06 27K 
[ ]msafree2__t1_msafree2.depv12024-08-03 10:19 268  
[ ]msafree2__t1_msafree2.depvmin12024-08-03 10:24 203  
[ ]msafree2__t1_msafree2.vmin12024-08-03 10:19 2.1K 
[ ]msafree2__t1_msafree2.vmin1out2024-08-03 10:22 13K 
[ ]msafree2__t1_msafree2.vout2024-08-03 04:51 16K 
[ ]msafree2__t2_msafree22024-07-27 16:07 31K 
[ ]msafree2__t2_msafree2.vout2024-08-03 05:01 7.9K 
[ ]msafree2__t3_msafree22024-07-27 16:08 29K 
[ ]msafree2__t3_msafree2.vout2024-08-03 09:25 5.3K 
[ ]msafree2__t4_msafree22024-07-27 16:10 28K 
[ ]msafree2__t4_msafree2.depv12024-08-03 10:19 120  
[ ]msafree2__t4_msafree2.depvmin12024-08-03 10:24 120  
[ ]msafree2__t4_msafree2.vmin12024-08-03 10:19 1.0K 
[ ]msafree2__t4_msafree2.vmin1out2024-08-03 10:22 7.5K 
[ ]msafree2__t4_msafree2.vout2024-08-03 05:45 7.6K 
[ ]msafree2__t5_msafree22024-07-27 16:11 46K 
[ ]msafree2__t5_msafree2.vout2024-08-03 09:30 5.3K 
[ ]msafree2__t6_msafree22024-07-27 16:13 53K 
[ ]msafree2__t6_msafree2.vout2024-08-03 10:00 5.8K 
[ ]msafree2__t7_msafree22024-07-27 16:15 44K 
[ ]msafree2__t7_msafree2.vout2024-08-03 07:06 7.3K 
[ ]msafree2__t8_msafree22024-07-27 16:17 47K 
[ ]msafree2__t8_msafree2.vout2024-08-03 08:04 4.7K 
[ ]msafree2__t9_msafree22024-07-27 16:19 51K 
[ ]msafree2__t9_msafree2.vout2024-08-03 08:59 7.3K 
[ ]msafree2__t10_msafree22024-07-27 16:22 69K 
[ ]msafree2__t10_msafree2.vout2024-08-03 09:49 7.4K 
[ ]msafree2__t11_msafree22024-07-27 16:24 70K 
[ ]msafree2__t11_msafree2.vout2024-08-03 05:34 7.3K 
[ ]msafree2__t12_msafree22024-07-27 16:27 68K 
[ ]msafree2__t12_msafree2.vout2024-08-03 06:03 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80