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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_1__l14_dblseq_12023-06-28 15:31 100K 
[ ]dblseq_1__l18_dblseq_12023-06-28 15:31 89K 
[ ]dblseq_1__l19_dblseq_12023-06-28 15:32 89K 
[ ]dblseq_1__l27_dblseq_12023-06-28 15:32 85K 
[ ]dblseq_1__l30_dblseq_12023-06-28 15:33 90K 
[ ]dblseq_1__l36_dblseq_12023-06-28 15:33 59K 
[ ]dblseq_1__l37_dblseq_12023-06-28 15:34 67K 
[ ]dblseq_1__l38_dblseq_12023-06-28 15:35 70K 
[ ]dblseq_1__l41_dblseq_12023-06-28 15:35 70K 
[ ]dblseq_1__t1_dblseq_12023-06-28 15:20 44K 
[ ]dblseq_1__t2_dblseq_12023-06-28 15:21 97K 
[ ]dblseq_1__t3_dblseq_12023-06-28 15:21 110K 
[ ]dblseq_1__t4_dblseq_12023-06-28 15:22 110K 
[ ]dblseq_1__t5_dblseq_12023-06-28 15:23 104K 
[ ]dblseq_1__t6_dblseq_12023-06-28 15:23 104K 
[ ]dblseq_1__t7_dblseq_12023-06-28 15:24 105K 
[ ]dblseq_1__t8_dblseq_12023-06-28 15:19 54K 
[ ]dblseq_1__t9_dblseq_12023-06-28 15:25 127K 
[ ]dblseq_1__t10_dblseq_12023-06-28 15:25 123K 
[ ]dblseq_1__t11_dblseq_12023-06-28 15:26 120K 
[ ]dblseq_1__t12_dblseq_12023-06-28 15:27 120K 
[ ]dblseq_1__t13_dblseq_12023-06-28 15:27 77K 
[ ]dblseq_1__t14_dblseq_12023-06-28 15:28 70K 
[ ]dblseq_1__t15_dblseq_12023-06-28 15:28 96K 
[ ]dblseq_1__t16_dblseq_12023-06-28 15:29 92K 
[ ]dblseq_1__t17_dblseq_12023-06-28 15:20 53K 
[ ]dblseq_1__t18_dblseq_12023-06-28 15:29 73K 
[ ]dblseq_1__t19_dblseq_12023-06-28 15:30 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80