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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nfcont_2__l17_nfcont_22025-09-09 10:47 47K 
[ ]nfcont_2__l17_nfcont_2.vout2025-09-15 15:35 7.9K 
[ ]nfcont_2__l18_nfcont_22025-09-09 10:49 43K 
[ ]nfcont_2__l18_nfcont_2.vout2025-09-15 14:40 4.7K 
[ ]nfcont_2__t1_nfcont_22025-09-09 10:24 31K 
[ ]nfcont_2__t1_nfcont_2.vout2025-09-15 17:25 2.0K 
[ ]nfcont_2__t2_nfcont_22025-09-09 10:26 54K 
[ ]nfcont_2__t2_nfcont_2.vout2025-09-15 18:59 6.8K 
[ ]nfcont_2__t3_nfcont_22025-09-09 10:28 48K 
[ ]nfcont_2__t3_nfcont_2.vout2025-09-15 18:54 6.8K 
[ ]nfcont_2__t4_nfcont_22025-09-09 10:30 50K 
[ ]nfcont_2__t4_nfcont_2.vout2025-09-15 15:44 7.3K 
[ ]nfcont_2__t5_nfcont_22025-09-09 10:32 35K 
[ ]nfcont_2__t5_nfcont_2.vout2025-09-15 17:31 5.8K 
[ ]nfcont_2__t6_nfcont_22025-09-09 10:34 38K 
[ ]nfcont_2__t6_nfcont_2.vout2025-09-15 17:06 7.3K 
[ ]nfcont_2__t7_nfcont_22025-09-09 10:36 32K 
[ ]nfcont_2__t7_nfcont_2.vout2025-09-15 15:27 2.0K 
[ ]nfcont_2__t8_nfcont_22025-09-09 10:38 34K 
[ ]nfcont_2__t8_nfcont_2.vout2025-09-15 16:30 2.0K 
[ ]nfcont_2__t9_nfcont_22025-09-09 10:40 36K 
[ ]nfcont_2__t9_nfcont_2.vout2025-09-15 16:40 2.0K 
[ ]nfcont_2__t10_nfcont_22025-09-09 10:43 79K 
[ ]nfcont_2__t10_nfcont_2.vout2025-09-15 14:55 7.3K 
[ ]nfcont_2__t11_nfcont_22025-09-09 10:18 34K 
[ ]nfcont_2__t11_nfcont_2.depv12025-09-15 19:47 114  
[ ]nfcont_2__t11_nfcont_2.depvmin12025-09-15 19:52 114  
[ ]nfcont_2__t11_nfcont_2.vmin12025-09-15 19:47 3.2K 
[ ]nfcont_2__t11_nfcont_2.vmin1out2025-09-15 19:50 51K 
[ ]nfcont_2__t11_nfcont_2.vout2025-09-15 19:14 52K 
[ ]nfcont_2__t12_nfcont_22025-09-09 10:19 35K 
[ ]nfcont_2__t12_nfcont_2.depv12025-09-15 19:47 48  
[ ]nfcont_2__t12_nfcont_2.depvmin12025-09-15 19:52 48  
[ ]nfcont_2__t12_nfcont_2.vmin12025-09-15 19:47 2.5K 
[ ]nfcont_2__t12_nfcont_2.vmin1out2025-09-15 19:48 75K 
[ ]nfcont_2__t12_nfcont_2.vout2025-09-15 16:02 83K 
[ ]nfcont_2__t13_nfcont_22025-09-09 10:21 37K 
[ ]nfcont_2__t13_nfcont_2.depv12025-09-15 19:47 114  
[ ]nfcont_2__t13_nfcont_2.depvmin12025-09-15 19:52 114  
[ ]nfcont_2__t13_nfcont_2.vmin12025-09-15 19:47 3.1K 
[ ]nfcont_2__t13_nfcont_2.vmin1out2025-09-15 19:50 47K 
[ ]nfcont_2__t13_nfcont_2.vout2025-09-15 15:00 49K 
[ ]nfcont_2__t15_nfcont_22025-09-09 10:45 44K 
[ ]nfcont_2__t15_nfcont_2.vout2025-09-15 18:47 7.4K 
[ ]nfcont_2__t16_nfcont_22025-09-09 10:22 21K 
[ ]nfcont_2__t16_nfcont_2.depv12025-09-15 19:47 26  
[ ]nfcont_2__t16_nfcont_2.depvmin12025-09-15 19:52 26  
[ ]nfcont_2__t16_nfcont_2.vmin12025-09-15 19:47 673  
[ ]nfcont_2__t16_nfcont_2.vmin1out2025-09-15 19:47 8.5K 
[ ]nfcont_2__t16_nfcont_2.vout2025-09-15 18:50 8.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80