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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comptrig__l5_comptrig2025-09-12 23:03 53K 
[ ]comptrig__l6_comptrig2025-09-12 23:04 39K 
[ ]comptrig__l7_comptrig2025-09-12 23:05 50K 
[ ]comptrig__l8_comptrig2025-09-12 23:07 42K 
[ ]comptrig__l9_comptrig2025-09-12 23:08 69K 
[ ]comptrig__l10_comptrig2025-09-12 23:09 69K 
[ ]comptrig__l11_comptrig2025-09-12 23:10 51K 
[ ]comptrig__l12_comptrig2025-09-12 23:12 61K 
[ ]comptrig__l13_comptrig2025-09-12 23:13 56K 
[ ]comptrig__s1_comptrig2025-09-12 23:14 76K 
[ ]comptrig__t1_comptrig2025-09-12 23:16 78K 
[ ]comptrig__t2_comptrig2025-09-12 23:17 78K 
[ ]comptrig__t3_comptrig2025-09-12 23:18 46K 
[ ]comptrig__t4_comptrig2025-09-12 23:20 39K 
[ ]comptrig__t5_comptrig2025-09-12 23:00 127K 
[ ]comptrig__t6_comptrig2025-09-12 23:20 6.5K 
[ ]comptrig__t7_comptrig2025-09-12 23:22 170K 
[ ]comptrig__t8_comptrig2025-09-12 23:23 142K 
[ ]comptrig__t9_comptrig2025-09-12 23:25 91K 
[ ]comptrig__t10_comptrig2025-09-12 23:26 169K 
[ ]comptrig__t11_comptrig2025-09-12 23:28 91K 
[ ]comptrig__t12_comptrig2025-09-12 23:29 251K 
[ ]comptrig__t13_comptrig2025-09-12 23:31 168K 
[ ]comptrig__t14_comptrig2025-09-12 23:33 409K 
[ ]comptrig__t15_comptrig2025-09-12 23:34 252K 
[ ]comptrig__t16_comptrig2025-09-12 23:36 409K 
[ ]comptrig__t17_comptrig2025-09-12 23:37 53K 
[ ]comptrig__t18_comptrig2025-09-12 23:39 116K 
[ ]comptrig__t19_comptrig2025-09-12 23:40 78K 
[ ]comptrig__t20_comptrig2025-09-12 23:42 86K 
[ ]comptrig__t21_comptrig2025-09-12 23:43 66K 
[ ]comptrig__t22_comptrig2025-09-12 23:45 80K 
[ ]comptrig__t23_comptrig2025-09-12 23:47 704K 
[ ]comptrig__t24_comptrig2025-09-12 23:49 704K 
[ ]comptrig__t25_comptrig2025-09-12 23:51 413K 
[ ]comptrig__t26_comptrig2025-09-12 23:53 412K 
[ ]comptrig__t27_comptrig2025-09-12 23:55 127K 
[ ]comptrig__t28_comptrig2025-09-12 23:56 140K 
[ ]comptrig__t29_comptrig2025-09-12 23:58 156K 
[ ]comptrig__t30_comptrig2025-09-13 00:00 148K 
[ ]comptrig__t31_comptrig2025-09-13 00:01 163K 
[ ]comptrig__t32_comptrig2025-09-13 00:03 163K 
[ ]comptrig__t33_comptrig2025-09-13 00:05 163K 
[ ]comptrig__t34_comptrig2025-09-13 00:06 93K 
[ ]comptrig__t35_comptrig2025-09-13 00:08 392K 
[ ]comptrig__t36_comptrig2025-09-13 00:10 124K 
[ ]comptrig__t37_comptrig2025-09-13 00:11 683K 
[ ]comptrig__t38_comptrig2025-09-13 00:13 684K 
[ ]comptrig__t39_comptrig2025-09-12 23:02 33K 
[ ]comptrig__t40_comptrig2025-09-13 00:15 72K 
[ ]comptrig__t41_comptrig2025-09-13 00:16 398K 
[ ]comptrig__t42_comptrig2025-09-13 00:18 398K 
[ ]comptrig__t43_comptrig2025-09-13 00:20 398K 
[ ]comptrig__t44_comptrig2025-09-13 00:22 398K 
[ ]comptrig__t45_comptrig2025-09-13 00:23 392K 
[ ]comptrig__t46_comptrig2025-09-13 00:25 479K 
[ ]comptrig__t47_comptrig2025-09-13 00:26 259K 
[ ]comptrig__t48_comptrig2025-09-13 00:28 259K 
[ ]comptrig__t49_comptrig2025-09-13 00:30 262K 
[ ]comptrig__t50_comptrig2025-09-13 00:31 103K 
[ ]comptrig__t51_comptrig2025-09-13 00:33 683K 
[ ]comptrig__t52_comptrig2025-09-13 00:34 681K 
[ ]comptrig__t53_comptrig2025-09-13 00:36 81K 
[ ]comptrig__t54_comptrig2025-09-13 00:37 126K 
[ ]comptrig__t55_comptrig2025-09-13 00:39 229K 
[ ]comptrig__t56_comptrig2025-09-13 00:41 241K 
[ ]comptrig__t57_comptrig2025-09-13 00:43 230K 
[ ]comptrig__t58_comptrig2025-09-13 00:44 31K 
[ ]comptrig__t59_comptrig2025-09-13 00:45 56K 
[ ]comptrig__t60_comptrig2025-09-13 00:47 39K 
[ ]comptrig__t61_comptrig2025-09-13 00:48 155K 
[ ]comptrig__t62_comptrig2025-09-13 00:49 123K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80