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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]basel_1__l39_basel_12025-09-11 23:38 67K 
[ ]basel_1__l40_basel_12025-09-11 23:39 63K 
[ ]basel_1__l41_basel_12025-09-11 23:41 61K 
[ ]basel_1__t1_basel_12025-09-11 23:42 78K 
[ ]basel_1__t2_basel_12025-09-11 23:44 71K 
[ ]basel_1__t3_basel_12025-09-11 23:45 114K 
[ ]basel_1__t4_basel_12025-09-11 23:47 116K 
[ ]basel_1__t5_basel_12025-09-11 23:49 86K 
[ ]basel_1__t6_basel_12025-09-11 23:50 82K 
[ ]basel_1__t7_basel_12025-09-11 23:52 115K 
[ ]basel_1__t8_basel_12025-09-11 23:54 115K 
[ ]basel_1__t9_basel_12025-09-11 23:55 88K 
[ ]basel_1__t10_basel_12025-09-11 23:57 104K 
[ ]basel_1__t11_basel_12025-09-11 23:59 134K 
[ ]basel_1__t12_basel_12025-09-12 00:01 87K 
[ ]basel_1__t13_basel_12025-09-12 00:03 157K 
[ ]basel_1__t14_basel_12025-09-12 00:04 156K 
[ ]basel_1__t15_basel_12025-09-12 00:06 69K 
[ ]basel_1__t16_basel_12025-09-12 00:08 293K 
[ ]basel_1__t17_basel_12025-09-12 00:10 110K 
[ ]basel_1__t18_basel_12025-09-12 00:13 181K 
[ ]basel_1__t19_basel_12025-09-12 00:14 75K 
[ ]basel_1__t20_basel_12025-09-12 00:16 74K 
[ ]basel_1__t21_basel_12025-09-12 00:17 106K 
[ ]basel_1__t22_basel_12025-09-12 00:19 186K 
[ ]basel_1__t23_basel_12025-09-12 00:21 187K 
[ ]basel_1__t24_basel_12025-09-12 00:22 418K 
[ ]basel_1__t25_basel_12025-09-12 00:24 97K 
[ ]basel_1__t26_basel_12025-09-12 00:26 222K 
[ ]basel_1__t27_basel_12025-09-12 00:27 106K 
[ ]basel_1__t28_basel_12025-09-12 00:30 325K 
[ ]basel_1__t29_basel_12025-09-12 00:32 237K 
[ ]basel_1__t30_basel_12025-09-12 00:34 222K 
[ ]basel_1__t31_basel_12025-09-12 00:35 89K 
[ ]basel_1__t32_basel_12025-09-12 00:37 651K 
[ ]basel_1__t33_basel_12025-09-12 00:39 519K 
[ ]basel_1__t34_basel_12025-09-12 00:41 649K 
[ ]basel_1__t35_basel_12025-09-12 00:44 376K 
[ ]basel_1__l2_basel_12025-09-12 00:45 55K 
[ ]basel_1__l3_basel_12025-09-12 00:47 58K 
[ ]basel_1__l4_basel_12025-09-12 00:48 58K 
[ ]basel_1__l14_basel_12025-09-12 00:50 116K 
[ ]basel_1__l15_basel_12025-09-12 00:52 81K 
[ ]basel_1__l16_basel_12025-09-12 00:53 80K 
[ ]basel_1__l17_basel_12025-09-12 00:55 81K 
[ ]basel_1__l18_basel_12025-09-12 00:57 84K 
[ ]basel_1__l21_basel_12025-09-12 00:58 117K 
[ ]basel_1__l22_basel_12025-09-12 01:00 90K 
[ ]basel_1__l23_basel_12025-09-12 01:02 91K 
[ ]basel_1__l24_basel_12025-09-12 01:03 80K 
[ ]basel_1__l25_basel_12025-09-12 01:05 121K 
[ ]basel_1__l38_basel_12025-09-12 01:07 82K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80