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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bor_cant__l15_bor_cant2024-07-28 16:26 40K 
[ ]bor_cant__l15_bor_cant.vout2024-08-03 09:32 6.8K 
[ ]bor_cant__l27_bor_cant2024-07-28 16:08 34K 
[ ]bor_cant__l27_bor_cant.depv12024-08-03 10:19 51  
[ ]bor_cant__l27_bor_cant.depvmin12024-08-03 10:24 51  
[ ]bor_cant__l27_bor_cant.vmin12024-08-03 10:19 930  
[ ]bor_cant__l27_bor_cant.vmin1out2024-08-03 10:21 10K 
[ ]bor_cant__l27_bor_cant.vout2024-08-03 05:29 10K 
[ ]bor_cant__t3_bor_cant2024-07-28 16:10 68K 
[ ]bor_cant__t3_bor_cant.vout2024-08-03 08:24 6.8K 
[ ]bor_cant__t4_bor_cant2024-07-28 16:12 93K 
[ ]bor_cant__t4_bor_cant.vout2024-08-03 08:05 6.8K 
[ ]bor_cant__t7_bor_cant2024-07-28 16:13 40K 
[ ]bor_cant__t7_bor_cant.vout2024-08-03 08:35 6.8K 
[ ]bor_cant__t8_bor_cant2024-07-28 16:14 41K 
[ ]bor_cant__t8_bor_cant.vout2024-08-03 06:31 2.0K 
[ ]bor_cant__t9_bor_cant2024-07-28 16:16 37K 
[ ]bor_cant__t9_bor_cant.vout2024-08-03 04:58 2.0K 
[ ]bor_cant__t15_bor_cant2024-07-28 16:18 66K 
[ ]bor_cant__t15_bor_cant.vout2024-08-03 09:40 6.8K 
[ ]bor_cant__t17_bor_cant2024-07-28 16:20 65K 
[ ]bor_cant__t17_bor_cant.vout2024-08-03 06:23 6.8K 
[ ]bor_cant__t18_bor_cant2024-07-28 16:22 54K 
[ ]bor_cant__t18_bor_cant.vout2024-08-03 06:15 2.0K 
[ ]bor_cant__t20_bor_cant2024-07-28 16:23 43K 
[ ]bor_cant__t20_bor_cant.vout2024-08-03 10:17 2.0K 
[ ]bor_cant__t21_bor_cant2024-07-28 16:25 49K 
[ ]bor_cant__t21_bor_cant.vout2024-08-03 04:13 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80