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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realalg3__l4_realalg32025-09-13 23:49 46K 
[ ]realalg3__l12_realalg32025-09-13 23:53 226K 
[ ]realalg3__l34_realalg32025-09-13 23:57 238K 
[ ]realalg3__l39_realalg32025-09-14 00:00 136K 
[ ]realalg3__l49_realalg32025-09-14 00:04 261K 
[ ]realalg3__l50_realalg32025-09-14 00:08 233K 
[ ]realalg3__l56_realalg32025-09-14 00:12 263K 
[ ]realalg3__s1_realalg32025-09-13 21:02 48K 
[ ]realalg3__t1_realalg32025-09-13 21:04 44K 
[ ]realalg3__t2_realalg32025-09-13 21:07 222K 
[ ]realalg3__t3_realalg32025-09-13 21:10 191K 
[ ]realalg3__t4_realalg32025-09-13 21:13 187K 
[ ]realalg3__t5_realalg32025-09-13 21:17 228K 
[ ]realalg3__t6_realalg32025-09-13 21:20 226K 
[ ]realalg3__t7_realalg32025-09-13 21:23 237K 
[ ]realalg3__t8_realalg32025-09-13 21:26 141K 
[ ]realalg3__t9_realalg32025-09-13 21:29 215K 
[ ]realalg3__t10_realalg32025-09-13 21:33 217K 
[ ]realalg3__t11_realalg32025-09-13 21:36 185K 
[ ]realalg3__t12_realalg32025-09-13 21:39 202K 
[ ]realalg3__t13_realalg32025-09-13 21:42 279K 
[ ]realalg3__t14_realalg32025-09-13 21:46 308K 
[ ]realalg3__t15_realalg32025-09-13 21:50 329K 
[ ]realalg3__t16_realalg32025-09-13 21:54 230K 
[ ]realalg3__t17_realalg32025-09-13 21:58 299K 
[ ]realalg3__t18_realalg32025-09-13 22:01 203K 
[ ]realalg3__t19_realalg32025-09-13 22:03 164K 
[ ]realalg3__t20_realalg32025-09-13 22:07 291K 
[ ]realalg3__t21_realalg32025-09-13 22:10 177K 
[ ]realalg3__t22_realalg32025-09-13 22:13 225K 
[ ]realalg3__t23_realalg32025-09-13 22:16 242K 
[ ]realalg3__t24_realalg32025-09-13 22:20 246K 
[ ]realalg3__t25_realalg32025-09-13 22:24 263K 
[ ]realalg3__t26_realalg32025-09-13 22:27 199K 
[ ]realalg3__t27_realalg32025-09-13 22:30 213K 
[ ]realalg3__t28_realalg32025-09-13 20:58 137K 
[ ]realalg3__t29_realalg32025-09-13 22:33 179K 
[ ]realalg3__t30_realalg32025-09-13 22:36 205K 
[ ]realalg3__t31_realalg32025-09-13 22:39 246K 
[ ]realalg3__t32_realalg32025-09-13 22:42 181K 
[ ]realalg3__t33_realalg32025-09-13 22:46 244K 
[ ]realalg3__t34_realalg32025-09-13 22:50 195K 
[ ]realalg3__t35_realalg32025-09-13 22:54 266K 
[ ]realalg3__t36_realalg32025-09-13 22:57 195K 
[ ]realalg3__t37_realalg32025-09-13 23:00 166K 
[ ]realalg3__t38_realalg32025-09-13 23:04 242K 
[ ]realalg3__t39_realalg32025-09-13 23:08 253K 
[ ]realalg3__t40_realalg32025-09-13 23:12 259K 
[ ]realalg3__t41_realalg32025-09-13 23:15 223K 
[ ]realalg3__t42_realalg32025-09-13 23:18 243K 
[ ]realalg3__t43_realalg32025-09-13 21:01 234K 
[ ]realalg3__t44_realalg32025-09-13 23:22 209K 
[ ]realalg3__t45_realalg32025-09-13 23:25 256K 
[ ]realalg3__t46_realalg32025-09-13 23:28 164K 
[ ]realalg3__t47_realalg32025-09-13 23:32 255K 
[ ]realalg3__t48_realalg32025-09-13 23:35 224K 
[ ]realalg3__t49_realalg32025-09-13 23:38 231K 
[ ]realalg3__t50_realalg32025-09-13 23:45 697K 
[ ]realalg3__t51_realalg32025-09-13 23:48 195K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80