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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number13__l1_number132025-09-13 22:48 88K 
[ ]number13__l2_number132025-09-13 22:50 97K 
[ ]number13__l3_number132025-09-13 22:51 100K 
[ ]number13__l4_number132025-09-13 22:53 100K 
[ ]number13__l5_number132025-09-13 22:54 105K 
[ ]number13__l6_number132025-09-13 22:56 114K 
[ ]number13__l7_number132025-09-14 00:34 117K 
[ ]number13__l8_number132025-09-13 22:57 82K 
[ ]number13__l9_number132025-09-13 22:59 82K 
[ ]number13__l10_number132025-09-13 23:00 90K 
[ ]number13__l11_number132025-09-13 23:02 94K 
[ ]number13__l38_number132025-09-14 00:36 443K 
[ ]number13__l51_number132025-09-14 00:37 147K 
[ ]number13__l53_number132025-09-14 00:39 91K 
[ ]number13__l54_number132025-09-14 00:40 105K 
[ ]number13__l55_number132025-09-14 00:42 107K 
[ ]number13__l56_number132025-09-14 00:43 107K 
[ ]number13__l69_number132025-09-14 00:45 236K 
[ ]number13__l75_number132025-09-14 00:47 250K 
[ ]number13__l76_number132025-09-14 00:49 2.0M 
[ ]number13__l77_number132025-09-14 00:51 292K 
[ ]number13__l79_number132025-09-14 00:53 229K 
[ ]number13__l80_number132025-09-14 00:55 1.7M 
[ ]number13__l81_number132025-09-14 00:56 257K 
[ ]number13__t1_number132025-09-13 23:03 83K 
[ ]number13__t2_number132025-09-13 23:05 85K 
[ ]number13__t3_number132025-09-13 23:07 88K 
[ ]number13__t4_number132025-09-13 23:08 136K 
[ ]number13__t5_number132025-09-13 23:10 139K 
[ ]number13__t6_number132025-09-13 23:11 141K 
[ ]number13__t7_number132025-09-13 23:13 163K 
[ ]number13__t8_number132025-09-13 23:15 143K 
[ ]number13__t9_number132025-09-13 23:17 108K 
[ ]number13__t10_number132025-09-13 23:19 130K 
[ ]number13__t11_number132025-09-13 23:21 133K 
[ ]number13__t12_number132025-09-13 23:22 83K 
[ ]number13__t13_number132025-09-13 23:24 106K 
[ ]number13__t14_number132025-09-13 23:26 102K 
[ ]number13__t15_number132025-09-13 23:27 104K 
[ ]number13__t16_number132025-09-13 23:29 158K 
[ ]number13__t17_number132025-09-13 23:31 182K 
[ ]number13__t18_number132025-09-13 22:44 85K 
[ ]number13__t19_number132025-09-13 23:33 93K 
[ ]number13__t20_number132025-09-13 23:35 92K 
[ ]number13__t21_number132025-09-13 23:36 132K 
[ ]number13__t22_number132025-09-13 23:39 190K 
[ ]number13__t23_number132025-09-13 23:41 415K 
[ ]number13__t24_number132025-09-13 23:43 574K 
[ ]number13__t25_number132025-09-13 23:44 112K 
[ ]number13__t26_number132025-09-13 23:46 131K 
[ ]number13__t27_number132025-09-13 23:48 122K 
[ ]number13__t28_number132025-09-13 23:49 115K 
[ ]number13__t29_number132025-09-13 23:51 115K 
[ ]number13__t30_number132025-09-13 23:53 159K 
[ ]number13__t31_number132025-09-13 23:55 115K 
[ ]number13__t32_number132025-09-13 23:56 129K 
[ ]number13__t33_number132025-09-13 23:58 129K 
[ ]number13__t34_number132025-09-14 00:00 575K 
[ ]number13__t35_number132025-09-14 00:01 108K 
[ ]number13__t36_number132025-09-14 00:03 1.4M 
[ ]number13__t37_number132025-09-14 00:05 1.6M 
[ ]number13__t38_number132025-09-14 00:07 1.7M 
[ ]number13__t39_number132025-09-14 00:09 108K 
[ ]number13__t40_number132025-09-14 00:11 116K 
[ ]number13__t41_number132025-09-14 00:12 127K 
[ ]number13__t42_number132025-09-14 00:14 152K 
[ ]number13__t43_number132025-09-14 00:16 473K 
[ ]number13__t44_number132025-09-14 00:17 105K 
[ ]number13__t45_number132025-09-14 00:19 1.4M 
[ ]number13__t46_number132025-09-14 00:21 1.3M 
[ ]number13__t47_number132025-09-14 00:23 226K 
[ ]number13__t48_number132025-09-14 00:25 91K 
[ ]number13__t49_number132025-09-14 00:27 592K 
[ ]number13__t50_number132025-09-14 00:28 469K 
[ ]number13__t51_number132025-09-13 22:45 328K 
[ ]number13__t52_number132025-09-14 00:30 294K 
[ ]number13__t53_number132025-09-14 00:32 258K 
[ ]number13__t54_number132025-09-13 22:47 110K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80