Index of /~mptp/mml5.63.1382/MPTP2/problems/nfcont_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nfcont_3__t1_nfcont_32023-06-28 07:18 60K 
[ ]nfcont_3__t2_nfcont_32023-06-28 07:19 74K 
[ ]nfcont_3__t3_nfcont_32023-06-28 07:19 55K 
[ ]nfcont_3__t4_nfcont_32023-06-28 07:20 60K 
[ ]nfcont_3__t5_nfcont_32023-06-28 07:21 70K 
[ ]nfcont_3__t6_nfcont_32023-06-28 07:21 68K 
[ ]nfcont_3__t8_nfcont_32023-06-28 07:22 82K 
[ ]nfcont_3__t9_nfcont_32023-06-28 07:23 70K 
[ ]nfcont_3__t10_nfcont_32023-06-28 07:23 59K 
[ ]nfcont_3__t11_nfcont_32023-06-28 07:24 67K 
[ ]nfcont_3__t12_nfcont_32023-06-28 07:25 77K 
[ ]nfcont_3__t13_nfcont_32023-06-28 07:25 61K 
[ ]nfcont_3__t14_nfcont_32023-06-28 07:26 67K 
[ ]nfcont_3__t15_nfcont_32023-06-28 07:26 74K 
[ ]nfcont_3__t16_nfcont_32023-06-28 07:27 71K 
[ ]nfcont_3__t17_nfcont_32023-06-28 07:28 75K 
[ ]nfcont_3__t18_nfcont_32023-06-28 07:28 48K 
[ ]nfcont_3__t19_nfcont_32023-06-28 07:29 87K 
[ ]nfcont_3__t20_nfcont_32023-06-28 07:29 64K 
[ ]nfcont_3__t21_nfcont_32023-06-28 07:30 70K 
[ ]nfcont_3__t22_nfcont_32023-06-28 07:31 88K 
[ ]nfcont_3__t23_nfcont_32023-06-28 07:31 90K 
[ ]nfcont_3__t24_nfcont_32023-06-28 07:32 76K 
[ ]nfcont_3__t25_nfcont_32023-06-28 07:32 60K 
[ ]nfcont_3__t26_nfcont_32023-06-28 07:33 70K 
[ ]nfcont_3__t27_nfcont_32023-06-28 07:34 52K 
[ ]nfcont_3__t28_nfcont_32023-06-28 07:34 62K 
[ ]nfcont_3__t29_nfcont_32023-06-28 07:35 60K 
[ ]nfcont_3__t30_nfcont_32023-06-28 07:35 57K 
[ ]nfcont_3__t31_nfcont_32023-06-28 07:36 63K 
[ ]nfcont_3__t32_nfcont_32023-06-28 07:36 66K 
[ ]nfcont_3__t33_nfcont_32023-06-28 07:37 96K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80