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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xxreal_0__l1_xxreal_02025-09-13 00:36 10K 
[ ]xxreal_0__l7_xxreal_02025-09-13 00:37 11K 
[ ]xxreal_0__l8_xxreal_02025-09-13 00:56 12K 
[ ]xxreal_0__l9_xxreal_02025-09-13 00:37 11K 
[ ]xxreal_0__l10_xxreal_02025-09-13 00:57 12K 
[ ]xxreal_0__l11_xxreal_02025-09-13 00:58 12K 
[ ]xxreal_0__l12_xxreal_02025-09-13 00:58 12K 
[ ]xxreal_0__l13_xxreal_02025-09-13 00:59 14K 
[ ]xxreal_0__l15_xxreal_02025-09-13 01:00 14K 
[ ]xxreal_0__l16_xxreal_02025-09-13 01:00 14K 
[ ]xxreal_0__l24_xxreal_02025-09-13 01:01 13K 
[ ]xxreal_0__t1_xxreal_02025-09-13 00:38 16K 
[ ]xxreal_0__t2_xxreal_02025-09-13 00:39 16K 
[ ]xxreal_0__t3_xxreal_02025-09-13 00:29 14K 
[ ]xxreal_0__t4_xxreal_02025-09-13 00:29 11K 
[ ]xxreal_0__t5_xxreal_02025-09-13 00:30 14K 
[ ]xxreal_0__t6_xxreal_02025-09-13 00:31 12K 
[ ]xxreal_0__t7_xxreal_02025-09-13 00:32 12K 
[ ]xxreal_0__t8_xxreal_02025-09-13 00:32 11K 
[ ]xxreal_0__t9_xxreal_02025-09-13 00:40 15K 
[ ]xxreal_0__t10_xxreal_02025-09-13 00:41 13K 
[ ]xxreal_0__t11_xxreal_02025-09-13 00:41 12K 
[ ]xxreal_0__t12_xxreal_02025-09-13 00:42 15K 
[ ]xxreal_0__t13_xxreal_02025-09-13 00:43 13K 
[ ]xxreal_0__t14_xxreal_02025-09-13 00:33 12K 
[ ]xxreal_0__t15_xxreal_02025-09-13 00:33 1.9K 
[ ]xxreal_0__t16_xxreal_02025-09-13 00:33 1.9K 
[ ]xxreal_0__t17_xxreal_02025-09-13 00:43 2.0K 
[ ]xxreal_0__t18_xxreal_02025-09-13 00:44 2.7K 
[ ]xxreal_0__t19_xxreal_02025-09-13 00:44 2.7K 
[ ]xxreal_0__t20_xxreal_02025-09-13 00:34 2.1K 
[ ]xxreal_0__t21_xxreal_02025-09-13 00:34 2.2K 
[ ]xxreal_0__t22_xxreal_02025-09-13 00:44 2.3K 
[ ]xxreal_0__t23_xxreal_02025-09-13 00:45 2.3K 
[ ]xxreal_0__t24_xxreal_02025-09-13 00:45 2.7K 
[ ]xxreal_0__t25_xxreal_02025-09-13 00:45 2.0K 
[ ]xxreal_0__t26_xxreal_02025-09-13 00:45 2.7K 
[ ]xxreal_0__t27_xxreal_02025-09-13 00:46 2.7K 
[ ]xxreal_0__t28_xxreal_02025-09-13 00:34 2.1K 
[ ]xxreal_0__t29_xxreal_02025-09-13 00:35 2.2K 
[ ]xxreal_0__t30_xxreal_02025-09-13 00:46 2.3K 
[ ]xxreal_0__t31_xxreal_02025-09-13 00:46 2.3K 
[ ]xxreal_0__t32_xxreal_02025-09-13 00:47 2.7K 
[ ]xxreal_0__t33_xxreal_02025-09-13 00:47 2.4K 
[ ]xxreal_0__t34_xxreal_02025-09-13 00:47 2.4K 
[ ]xxreal_0__t35_xxreal_02025-09-13 00:35 3.0K 
[ ]xxreal_0__t36_xxreal_02025-09-13 00:35 3.0K 
[ ]xxreal_0__t37_xxreal_02025-09-13 00:47 3.5K 
[ ]xxreal_0__t38_xxreal_02025-09-13 00:48 3.3K 
[ ]xxreal_0__t39_xxreal_02025-09-13 00:48 3.3K 
[ ]xxreal_0__t40_xxreal_02025-09-13 00:48 4.5K 
[ ]xxreal_0__t41_xxreal_02025-09-13 00:49 17K 
[ ]xxreal_0__t42_xxreal_02025-09-13 00:50 17K 
[ ]xxreal_0__t43_xxreal_02025-09-13 00:51 17K 
[ ]xxreal_0__t44_xxreal_02025-09-13 00:52 17K 
[ ]xxreal_0__t45_xxreal_02025-09-13 00:52 15K 
[ ]xxreal_0__t46_xxreal_02025-09-13 00:53 14K 
[ ]xxreal_0__t47_xxreal_02025-09-13 00:54 14K 
[ ]xxreal_0__t48_xxreal_02025-09-13 00:55 15K 
[ ]xxreal_0__t49_xxreal_02025-09-13 00:55 2.2K 
[ ]xxreal_0__t50_xxreal_02025-09-13 00:55 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80