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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jct_misc__t1_jct_misc2025-09-08 17:02 27K 
[ ]jct_misc__t1_jct_misc.vout2025-09-15 13:28 7.3K 
[ ]jct_misc__t2_jct_misc2025-09-08 17:03 15K 
[ ]jct_misc__t2_jct_misc.vout2025-09-15 14:13 2.0K 
[ ]jct_misc__t3_jct_misc2025-09-08 17:04 26K 
[ ]jct_misc__t3_jct_misc.vout2025-09-15 19:09 7.8K 
[ ]jct_misc__t4_jct_misc2025-09-08 17:05 37K 
[ ]jct_misc__t4_jct_misc.vout2025-09-15 13:25 3.7K 
[ ]jct_misc__t5_jct_misc2025-09-08 17:07 36K 
[ ]jct_misc__t5_jct_misc.vout2025-09-15 17:17 6.8K 
[ ]jct_misc__t6_jct_misc2025-09-08 17:09 58K 
[ ]jct_misc__t6_jct_misc.vout2025-09-15 14:17 3.7K 
[ ]jct_misc__t7_jct_misc2025-09-08 17:10 25K 
[ ]jct_misc__t7_jct_misc.vout2025-09-15 17:01 4.2K 
[ ]jct_misc__t8_jct_misc2025-09-08 17:12 23K 
[ ]jct_misc__t8_jct_misc.vout2025-09-15 18:21 4.2K 
[ ]jct_misc__t9_jct_misc2025-09-08 17:15 183K 
[ ]jct_misc__t9_jct_misc.vout2025-09-15 16:09 3.7K 
[ ]jct_misc__t10_jct_misc2025-09-08 17:16 22K 
[ ]jct_misc__t10_jct_misc.vout2025-09-15 19:27 3.7K 
[ ]jct_misc__t11_jct_misc2025-09-08 17:17 24K 
[ ]jct_misc__t11_jct_misc.vout2025-09-15 16:58 4.7K 
[ ]jct_misc__t12_jct_misc2025-09-08 17:20 142K 
[ ]jct_misc__t12_jct_misc.vout2025-09-15 17:54 3.7K 
[ ]jct_misc__t13_jct_misc2025-09-08 17:22 43K 
[ ]jct_misc__t13_jct_misc.depv12025-09-15 19:46 205  
[ ]jct_misc__t13_jct_misc.depvmin12025-09-15 19:51 190  
[ ]jct_misc__t13_jct_misc.vmin12025-09-15 19:47 2.1K 
[ ]jct_misc__t13_jct_misc.vmin1out2025-09-15 19:48 13K 
[ ]jct_misc__t13_jct_misc.vout2025-09-15 14:40 23K 
[ ]jct_misc__t14_jct_misc2025-09-08 17:24 67K 
[ ]jct_misc__t14_jct_misc.vout2025-09-15 15:30 5.3K 
[ ]jct_misc__t15_jct_misc2025-09-08 17:26 42K 
[ ]jct_misc__t15_jct_misc.depv12025-09-15 19:46 198  
[ ]jct_misc__t15_jct_misc.depvmin12025-09-15 19:51 198  
[ ]jct_misc__t15_jct_misc.vmin12025-09-15 19:47 2.6K 
[ ]jct_misc__t15_jct_misc.vmin1out2025-09-15 19:50 20K 
[ ]jct_misc__t15_jct_misc.vout2025-09-15 17:57 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80