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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gtarski1__t1_gtarski12025-09-13 15:44 18K 
[ ]gtarski1__t2_gtarski12025-09-13 15:48 27K 
[ ]gtarski1__t3_gtarski12025-09-13 15:49 16K 
[ ]gtarski1__t4_gtarski12025-09-13 15:50 16K 
[ ]gtarski1__t5_gtarski12025-09-13 15:51 16K 
[ ]gtarski1__t6_gtarski12025-09-13 15:51 17K 
[ ]gtarski1__t7_gtarski12025-09-13 15:52 18K 
[ ]gtarski1__t8_gtarski12025-09-13 15:53 16K 
[ ]gtarski1__t9_gtarski12025-09-13 15:54 16K 
[ ]gtarski1__t10_gtarski12025-09-13 15:55 17K 
[ ]gtarski1__t11_gtarski12025-09-13 15:56 17K 
[ ]gtarski1__t12_gtarski12025-09-13 15:57 17K 
[ ]gtarski1__t13_gtarski12025-09-13 15:58 18K 
[ ]gtarski1__t14_gtarski12025-09-13 15:58 18K 
[ ]gtarski1__t15_gtarski12025-09-13 15:59 19K 
[ ]gtarski1__t16_gtarski12025-09-13 16:00 17K 
[ ]gtarski1__t17_gtarski12025-09-13 15:45 16K 
[ ]gtarski1__t18_gtarski12025-09-13 16:01 17K 
[ ]gtarski1__t19_gtarski12025-09-13 16:02 17K 
[ ]gtarski1__t20_gtarski12025-09-13 16:03 19K 
[ ]gtarski1__t21_gtarski12025-09-13 16:04 18K 
[ ]gtarski1__t22_gtarski12025-09-13 16:04 18K 
[ ]gtarski1__t23_gtarski12025-09-13 16:05 18K 
[ ]gtarski1__t24_gtarski12025-09-13 16:06 21K 
[ ]gtarski1__t25_gtarski12025-09-13 16:07 17K 
[ ]gtarski1__t26_gtarski12025-09-13 16:08 21K 
[ ]gtarski1__t27_gtarski12025-09-13 16:09 21K 
[ ]gtarski1__t28_gtarski12025-09-13 16:10 21K 
[ ]gtarski1__t29_gtarski12025-09-13 16:11 18K 
[ ]gtarski1__t30_gtarski12025-09-13 16:12 22K 
[ ]gtarski1__t31_gtarski12025-09-13 16:13 18K 
[ ]gtarski1__t32_gtarski12025-09-13 16:13 23K 
[ ]gtarski1__t33_gtarski12025-09-13 16:14 22K 
[ ]gtarski1__t34_gtarski12025-09-13 16:15 23K 
[ ]gtarski1__t35_gtarski12025-09-13 16:16 20K 
[ ]gtarski1__t36_gtarski12025-09-13 16:17 20K 
[ ]gtarski1__t37_gtarski12025-09-13 16:18 30K 
[ ]gtarski1__t38_gtarski12025-09-13 16:19 22K 
[ ]gtarski1__t39_gtarski12025-09-13 16:20 18K 
[ ]gtarski1__t40_gtarski12025-09-13 15:46 3.0K 
[ ]gtarski1__t41_gtarski12025-09-13 16:21 18K 
[ ]gtarski1__t42_gtarski12025-09-13 15:46 3.3K 
[ ]gtarski1__t43_gtarski12025-09-13 15:46 3.5K 
[ ]gtarski1__t44_gtarski12025-09-13 15:47 3.9K 
[ ]gtarski1__t45_gtarski12025-09-13 16:21 4.6K 
[ ]gtarski1__t46_gtarski12025-09-13 16:22 5.2K 
[ ]gtarski1__t47_gtarski12025-09-13 16:23 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80