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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gtarski4__l1_gtarski42025-09-13 15:48 8.0K 
[ ]gtarski4__l2_gtarski42025-09-13 15:48 8.7K 
[ ]gtarski4__l48_gtarski42025-09-13 15:49 8.1K 
[ ]gtarski4__t1_gtarski42025-09-13 15:17 4.5K 
[ ]gtarski4__t2_gtarski42025-09-13 15:18 5.4K 
[ ]gtarski4__t3_gtarski42025-09-13 15:18 6.7K 
[ ]gtarski4__t4_gtarski42025-09-13 15:19 4.3K 
[ ]gtarski4__t5_gtarski42025-09-13 15:20 10K 
[ ]gtarski4__t6_gtarski42025-09-13 15:20 2.6K 
[ ]gtarski4__t7_gtarski42025-09-13 15:20 4.6K 
[ ]gtarski4__t8_gtarski42025-09-13 15:21 11K 
[ ]gtarski4__t9_gtarski42025-09-13 15:22 7.4K 
[ ]gtarski4__t10_gtarski42025-09-13 15:23 12K 
[ ]gtarski4__t11_gtarski42025-09-13 15:23 9.5K 
[ ]gtarski4__t12_gtarski42025-09-13 15:24 8.5K 
[ ]gtarski4__t13_gtarski42025-09-13 15:25 9.1K 
[ ]gtarski4__t14_gtarski42025-09-13 15:25 6.5K 
[ ]gtarski4__t15_gtarski42025-09-13 15:26 8.0K 
[ ]gtarski4__t16_gtarski42025-09-13 15:27 7.5K 
[ ]gtarski4__t17_gtarski42025-09-13 15:27 6.9K 
[ ]gtarski4__t18_gtarski42025-09-13 15:28 7.6K 
[ ]gtarski4__t19_gtarski42025-09-13 15:29 14K 
[ ]gtarski4__t20_gtarski42025-09-13 15:29 7.5K 
[ ]gtarski4__t21_gtarski42025-09-13 15:30 8.1K 
[ ]gtarski4__t22_gtarski42025-09-13 15:31 17K 
[ ]gtarski4__t23_gtarski42025-09-13 15:13 8.3K 
[ ]gtarski4__t24_gtarski42025-09-13 15:32 13K 
[ ]gtarski4__t25_gtarski42025-09-13 15:32 11K 
[ ]gtarski4__t26_gtarski42025-09-13 15:33 9.3K 
[ ]gtarski4__t27_gtarski42025-09-13 15:34 9.9K 
[ ]gtarski4__t28_gtarski42025-09-13 15:35 14K 
[ ]gtarski4__t29_gtarski42025-09-13 15:35 10K 
[ ]gtarski4__t30_gtarski42025-09-13 15:36 18K 
[ ]gtarski4__t31_gtarski42025-09-13 15:37 14K 
[ ]gtarski4__t32_gtarski42025-09-13 15:38 18K 
[ ]gtarski4__t33_gtarski42025-09-13 15:39 33K 
[ ]gtarski4__t34_gtarski42025-09-13 15:40 21K 
[ ]gtarski4__t35_gtarski42025-09-13 15:41 26K 
[ ]gtarski4__t36_gtarski42025-09-13 15:42 11K 
[ ]gtarski4__t37_gtarski42025-09-13 15:42 10K 
[ ]gtarski4__t38_gtarski42025-09-13 15:44 41K 
[ ]gtarski4__t39_gtarski42025-09-13 15:44 14K 
[ ]gtarski4__t40_gtarski42025-09-13 15:45 41K 
[ ]gtarski4__t41_gtarski42025-09-13 15:14 10K 
[ ]gtarski4__t42_gtarski42025-09-13 15:14 11K 
[ ]gtarski4__t43_gtarski42025-09-13 15:15 11K 
[ ]gtarski4__t44_gtarski42025-09-13 15:46 12K 
[ ]gtarski4__t45_gtarski42025-09-13 15:16 9.3K 
[ ]gtarski4__t46_gtarski42025-09-13 15:16 11K 
[ ]gtarski4__t47_gtarski42025-09-13 15:47 11K 
[ ]gtarski4__t48_gtarski42025-09-13 15:17 11K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80