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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_8__t1_finseq_82025-09-13 20:11 68K 
[ ]finseq_8__t2_finseq_82025-09-13 20:12 38K 
[ ]finseq_8__t3_finseq_82025-09-13 20:13 44K 
[ ]finseq_8__t4_finseq_82025-09-13 20:14 45K 
[ ]finseq_8__t5_finseq_82025-09-13 20:16 36K 
[ ]finseq_8__t6_finseq_82025-09-13 20:17 36K 
[ ]finseq_8__t7_finseq_82025-09-13 20:18 36K 
[ ]finseq_8__t8_finseq_82025-09-13 20:19 41K 
[ ]finseq_8__t9_finseq_82025-09-13 20:20 39K 
[ ]finseq_8__t10_finseq_82025-09-13 20:21 51K 
[ ]finseq_8__t11_finseq_82025-09-13 20:22 73K 
[ ]finseq_8__t12_finseq_82025-09-13 20:24 51K 
[ ]finseq_8__t13_finseq_82025-09-13 20:25 59K 
[ ]finseq_8__t14_finseq_82025-09-13 20:26 60K 
[ ]finseq_8__t15_finseq_82025-09-13 20:28 67K 
[ ]finseq_8__t16_finseq_82025-09-13 20:29 45K 
[ ]finseq_8__t17_finseq_82025-09-13 20:30 176K 
[ ]finseq_8__t18_finseq_82025-09-13 20:31 29K 
[ ]finseq_8__t19_finseq_82025-09-13 20:32 36K 
[ ]finseq_8__t20_finseq_82025-09-13 20:34 50K 
[ ]finseq_8__t21_finseq_82025-09-13 20:35 32K 
[ ]finseq_8__t22_finseq_82025-09-13 20:36 33K 
[ ]finseq_8__t23_finseq_82025-09-13 20:37 40K 
[ ]finseq_8__t24_finseq_82025-09-13 20:38 70K 
[ ]finseq_8__t25_finseq_82025-09-13 20:39 78K 
[ ]finseq_8__t26_finseq_82025-09-13 20:40 32K 
[ ]finseq_8__t27_finseq_82025-09-13 20:41 65K 
[ ]finseq_8__t28_finseq_82025-09-13 20:42 46K 
[ ]finseq_8__t29_finseq_82025-09-13 20:44 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80