Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/dblseq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_1__l14_dblseq_12021-07-19 05:43 100K 
[ ]dblseq_1__l18_dblseq_12021-07-19 05:44 89K 
[ ]dblseq_1__l19_dblseq_12021-07-19 05:45 89K 
[ ]dblseq_1__l27_dblseq_12021-07-19 05:45 86K 
[ ]dblseq_1__l30_dblseq_12021-07-19 05:46 89K 
[ ]dblseq_1__l36_dblseq_12021-07-19 05:46 59K 
[ ]dblseq_1__l37_dblseq_12021-07-19 05:47 67K 
[ ]dblseq_1__l38_dblseq_12021-07-19 05:47 70K 
[ ]dblseq_1__l41_dblseq_12021-07-19 05:48 70K 
[ ]dblseq_1__t1_dblseq_12021-07-19 05:32 43K 
[ ]dblseq_1__t2_dblseq_12021-07-19 05:33 96K 
[ ]dblseq_1__t3_dblseq_12021-07-19 05:33 109K 
[ ]dblseq_1__t4_dblseq_12021-07-19 05:34 109K 
[ ]dblseq_1__t5_dblseq_12021-07-19 05:35 103K 
[ ]dblseq_1__t6_dblseq_12021-07-19 05:35 103K 
[ ]dblseq_1__t7_dblseq_12021-07-19 05:36 104K 
[ ]dblseq_1__t8_dblseq_12021-07-19 05:31 54K 
[ ]dblseq_1__t9_dblseq_12021-07-19 05:37 126K 
[ ]dblseq_1__t10_dblseq_12021-07-19 05:38 123K 
[ ]dblseq_1__t11_dblseq_12021-07-19 05:38 119K 
[ ]dblseq_1__t12_dblseq_12021-07-19 05:39 119K 
[ ]dblseq_1__t13_dblseq_12021-07-19 05:40 77K 
[ ]dblseq_1__t14_dblseq_12021-07-19 05:40 70K 
[ ]dblseq_1__t15_dblseq_12021-07-19 05:41 96K 
[ ]dblseq_1__t16_dblseq_12021-07-19 05:41 92K 
[ ]dblseq_1__t17_dblseq_12021-07-19 05:32 53K 
[ ]dblseq_1__t18_dblseq_12021-07-19 05:42 73K 
[ ]dblseq_1__t19_dblseq_12021-07-19 05:43 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80