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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]holder_1__l6_holder_12025-09-08 09:28 46K 
[ ]holder_1__l6_holder_1.vout2025-09-15 15:15 7.3K 
[ ]holder_1__l7_holder_12025-09-08 09:29 27K 
[ ]holder_1__l7_holder_1.depv12025-09-15 19:47 183  
[ ]holder_1__l7_holder_1.depvmin12025-09-15 19:52 161  
[ ]holder_1__l7_holder_1.vmin12025-09-15 19:47 2.4K 
[ ]holder_1__l7_holder_1.vmin1out2025-09-15 19:47 30K 
[ ]holder_1__l7_holder_1.vout2025-09-15 16:45 34K 
[ ]holder_1__l8_holder_12025-09-08 09:31 27K 
[ ]holder_1__l8_holder_1.vout2025-09-15 13:32 2.0K 
[ ]holder_1__l9_holder_12025-09-08 09:32 31K 
[ ]holder_1__l9_holder_1.vout2025-09-15 18:35 7.3K 
[ ]holder_1__t1_holder_12025-09-08 09:09 19K 
[ ]holder_1__t1_holder_1.vout2025-09-15 15:03 4.7K 
[ ]holder_1__t2_holder_12025-09-08 09:10 13K 
[ ]holder_1__t2_holder_1.vout2025-09-15 19:01 4.7K 
[ ]holder_1__t3_holder_12025-09-08 09:11 12K 
[ ]holder_1__t3_holder_1.depv12025-09-15 19:47 233  
[ ]holder_1__t3_holder_1.depvmin12025-09-15 19:52 233  
[ ]holder_1__t3_holder_1.vmin12025-09-15 19:47 2.1K 
[ ]holder_1__t3_holder_1.vmin1out2025-09-15 19:48 29K 
[ ]holder_1__t3_holder_1.vout2025-09-15 17:03 29K 
[ ]holder_1__t4_holder_12025-09-08 09:13 75K 
[ ]holder_1__t4_holder_1.vout2025-09-15 15:52 3.7K 
[ ]holder_1__t5_holder_12025-09-08 09:14 34K 
[ ]holder_1__t5_holder_1.vout2025-09-15 18:24 4.7K 
[ ]holder_1__t6_holder_12025-09-08 09:16 71K 
[ ]holder_1__t6_holder_1.vout2025-09-15 19:27 4.7K 
[ ]holder_1__t7_holder_12025-09-08 09:18 76K 
[ ]holder_1__t7_holder_1.vout2025-09-15 18:40 4.7K 
[ ]holder_1__t8_holder_12025-09-08 09:20 31K 
[ ]holder_1__t8_holder_1.vout2025-09-15 13:25 2.0K 
[ ]holder_1__t9_holder_12025-09-08 09:21 43K 
[ ]holder_1__t9_holder_1.vout2025-09-15 18:07 4.1K 
[ ]holder_1__t11_holder_12025-09-08 09:23 31K 
[ ]holder_1__t11_holder_1.vout2025-09-15 15:55 2.0K 
[ ]holder_1__t12_holder_12025-09-08 09:25 65K 
[ ]holder_1__t12_holder_1.vout2025-09-15 19:44 4.7K 
[ ]holder_1__t13_holder_12025-09-08 09:26 43K 
[ ]holder_1__t13_holder_1.vout2025-09-15 18:41 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80