Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/dblseq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_1__l14_dblseq_12025-09-13 18:37 105K 
[ ]dblseq_1__l18_dblseq_12025-09-13 18:39 95K 
[ ]dblseq_1__l19_dblseq_12025-09-13 18:41 95K 
[ ]dblseq_1__l27_dblseq_12025-09-13 18:43 91K 
[ ]dblseq_1__l30_dblseq_12025-09-13 18:45 95K 
[ ]dblseq_1__l36_dblseq_12025-09-13 18:46 65K 
[ ]dblseq_1__l37_dblseq_12025-09-13 18:48 73K 
[ ]dblseq_1__l38_dblseq_12025-09-13 18:49 76K 
[ ]dblseq_1__l41_dblseq_12025-09-13 18:51 76K 
[ ]dblseq_1__t1_dblseq_12025-09-13 18:06 50K 
[ ]dblseq_1__t2_dblseq_12025-09-13 18:08 101K 
[ ]dblseq_1__t3_dblseq_12025-09-13 18:10 114K 
[ ]dblseq_1__t4_dblseq_12025-09-13 18:12 114K 
[ ]dblseq_1__t5_dblseq_12025-09-13 18:13 108K 
[ ]dblseq_1__t6_dblseq_12025-09-13 18:15 108K 
[ ]dblseq_1__t7_dblseq_12025-09-13 18:17 109K 
[ ]dblseq_1__t8_dblseq_12025-09-13 18:03 59K 
[ ]dblseq_1__t9_dblseq_12025-09-13 18:20 131K 
[ ]dblseq_1__t10_dblseq_12025-09-13 18:22 128K 
[ ]dblseq_1__t11_dblseq_12025-09-13 18:24 124K 
[ ]dblseq_1__t12_dblseq_12025-09-13 18:25 125K 
[ ]dblseq_1__t13_dblseq_12025-09-13 18:27 82K 
[ ]dblseq_1__t14_dblseq_12025-09-13 18:29 75K 
[ ]dblseq_1__t15_dblseq_12025-09-13 18:30 101K 
[ ]dblseq_1__t16_dblseq_12025-09-13 18:32 97K 
[ ]dblseq_1__t17_dblseq_12025-09-13 18:04 59K 
[ ]dblseq_1__t18_dblseq_12025-09-13 18:34 79K 
[ ]dblseq_1__t19_dblseq_12025-09-13 18:35 79K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80