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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_2__l16_dblseq_22025-09-11 23:51 91K 
[ ]dblseq_2__s1_dblseq_22025-09-11 22:11 91K 
[ ]dblseq_2__s2_dblseq_22025-09-11 22:13 88K 
[ ]dblseq_2__s3_dblseq_22025-09-11 22:15 70K 
[ ]dblseq_2__s4_dblseq_22025-09-11 22:16 70K 
[ ]dblseq_2__t1_dblseq_22025-09-11 22:18 69K 
[ ]dblseq_2__t2_dblseq_22025-09-11 22:20 69K 
[ ]dblseq_2__t3_dblseq_22025-09-11 22:21 69K 
[ ]dblseq_2__t4_dblseq_22025-09-11 22:24 115K 
[ ]dblseq_2__t5_dblseq_22025-09-11 22:25 92K 
[ ]dblseq_2__t6_dblseq_22025-09-11 22:27 62K 
[ ]dblseq_2__t7_dblseq_22025-09-11 22:08 10K 
[ ]dblseq_2__t8_dblseq_22025-09-11 22:28 97K 
[ ]dblseq_2__t9_dblseq_22025-09-11 22:30 78K 
[ ]dblseq_2__t10_dblseq_22025-09-11 22:31 69K 
[ ]dblseq_2__t11_dblseq_22025-09-11 22:33 90K 
[ ]dblseq_2__t12_dblseq_22025-09-11 22:35 66K 
[ ]dblseq_2__t13_dblseq_22025-09-11 22:36 98K 
[ ]dblseq_2__t14_dblseq_22025-09-11 22:38 97K 
[ ]dblseq_2__t15_dblseq_22025-09-11 22:40 428K 
[ ]dblseq_2__t16_dblseq_22025-09-11 22:41 73K 
[ ]dblseq_2__t17_dblseq_22025-09-11 22:43 77K 
[ ]dblseq_2__t18_dblseq_22025-09-11 22:44 82K 
[ ]dblseq_2__t19_dblseq_22025-09-11 22:46 76K 
[ ]dblseq_2__t20_dblseq_22025-09-11 22:48 86K 
[ ]dblseq_2__t21_dblseq_22025-09-11 22:49 86K 
[ ]dblseq_2__t22_dblseq_22025-09-11 22:51 133K 
[ ]dblseq_2__t23_dblseq_22025-09-11 22:53 133K 
[ ]dblseq_2__t24_dblseq_22025-09-11 22:55 98K 
[ ]dblseq_2__t25_dblseq_22025-09-11 22:57 98K 
[ ]dblseq_2__t26_dblseq_22025-09-11 22:58 83K 
[ ]dblseq_2__t27_dblseq_22025-09-11 23:00 83K 
[ ]dblseq_2__t28_dblseq_22025-09-11 23:02 77K 
[ ]dblseq_2__t29_dblseq_22025-09-11 23:03 100K 
[ ]dblseq_2__t30_dblseq_22025-09-11 23:05 63K 
[ ]dblseq_2__t31_dblseq_22025-09-11 23:07 78K 
[ ]dblseq_2__t32_dblseq_22025-09-11 23:08 81K 
[ ]dblseq_2__t33_dblseq_22025-09-11 23:10 76K 
[ ]dblseq_2__t34_dblseq_22025-09-11 23:12 77K 
[ ]dblseq_2__t35_dblseq_22025-09-11 23:13 73K 
[ ]dblseq_2__t36_dblseq_22025-09-11 23:15 99K 
[ ]dblseq_2__t37_dblseq_22025-09-11 23:17 81K 
[ ]dblseq_2__t38_dblseq_22025-09-11 23:18 66K 
[ ]dblseq_2__t39_dblseq_22025-09-11 23:20 88K 
[ ]dblseq_2__t40_dblseq_22025-09-11 23:22 100K 
[ ]dblseq_2__t41_dblseq_22025-09-11 23:24 61K 
[ ]dblseq_2__t42_dblseq_22025-09-11 23:25 70K 
[ ]dblseq_2__t43_dblseq_22025-09-11 23:27 80K 
[ ]dblseq_2__t44_dblseq_22025-09-11 23:28 80K 
[ ]dblseq_2__t45_dblseq_22025-09-11 23:30 120K 
[ ]dblseq_2__t46_dblseq_22025-09-11 23:32 72K 
[ ]dblseq_2__t47_dblseq_22025-09-11 23:33 90K 
[ ]dblseq_2__t48_dblseq_22025-09-11 23:35 129K 
[ ]dblseq_2__t49_dblseq_22025-09-11 23:37 106K 
[ ]dblseq_2__t50_dblseq_22025-09-11 23:40 135K 
[ ]dblseq_2__t51_dblseq_22025-09-11 23:41 80K 
[ ]dblseq_2__t52_dblseq_22025-09-11 23:43 129K 
[ ]dblseq_2__t53_dblseq_22025-09-11 23:45 70K 
[ ]dblseq_2__t54_dblseq_22025-09-11 23:47 93K 
[ ]dblseq_2__t55_dblseq_22025-09-11 23:50 129K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80