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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_6__t1_lopban_62025-09-08 16:32 33K 
[ ]lopban_6__t1_lopban_6.vout2025-09-15 16:35 2.0K 
[ ]lopban_6__t2_lopban_62025-09-08 16:34 26K 
[ ]lopban_6__t2_lopban_6.vout2025-09-15 13:38 5.3K 
[ ]lopban_6__t3_lopban_62025-09-08 16:35 35K 
[ ]lopban_6__t3_lopban_6.vout2025-09-15 16:00 3.7K 
[ ]lopban_6__t5_lopban_62025-09-08 16:37 21K 
[ ]lopban_6__t5_lopban_6.vout2025-09-15 16:27 3.7K 
[ ]lopban_6__t7_lopban_62025-09-08 16:39 33K 
[ ]lopban_6__t7_lopban_6.vout2025-09-15 16:53 5.3K 
[ ]lopban_6__t8_lopban_62025-09-08 16:41 32K 
[ ]lopban_6__t8_lopban_6.vout2025-09-15 13:49 5.3K 
[ ]lopban_6__t9_lopban_62025-09-08 16:43 31K 
[ ]lopban_6__t9_lopban_6.vout2025-09-15 19:37 5.3K 
[ ]lopban_6__t10_lopban_62025-09-08 16:44 32K 
[ ]lopban_6__t10_lopban_6.vout2025-09-15 15:13 7.3K 
[ ]lopban_6__t11_lopban_62025-09-08 16:46 26K 
[ ]lopban_6__t11_lopban_6.vout2025-09-15 13:54 5.3K 
[ ]lopban_6__t12_lopban_62025-09-08 16:48 48K 
[ ]lopban_6__t12_lopban_6.vout2025-09-15 13:54 7.9K 
[ ]lopban_6__t14_lopban_62025-09-08 16:49 28K 
[ ]lopban_6__t14_lopban_6.vout2025-09-15 17:07 3.7K 
[ ]lopban_6__t15_lopban_62025-09-08 16:53 107K 
[ ]lopban_6__t15_lopban_6.vout2025-09-15 17:22 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80