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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latwal_1__l9_latwal_12025-09-13 20:23 14K 
[ ]latwal_1__l10_latwal_12025-09-13 20:24 13K 
[ ]latwal_1__l26_latwal_12025-09-13 20:24 5.6K 
[ ]latwal_1__l27_latwal_12025-09-13 20:25 5.6K 
[ ]latwal_1__l33_latwal_12025-09-13 20:26 25K 
[ ]latwal_1__l34_latwal_12025-09-13 20:27 25K 
[ ]latwal_1__l35_latwal_12025-09-13 20:28 19K 
[ ]latwal_1__l36_latwal_12025-09-13 20:29 19K 
[ ]latwal_1__l37_latwal_12025-09-13 20:30 22K 
[ ]latwal_1__l38_latwal_12025-09-13 20:31 22K 
[ ]latwal_1__l39_latwal_12025-09-13 20:32 18K 
[ ]latwal_1__l40_latwal_12025-09-13 20:33 18K 
[ ]latwal_1__l42_latwal_12025-09-13 20:34 13K 
[ ]latwal_1__t1_latwal_12025-09-13 19:50 14K 
[ ]latwal_1__t2_latwal_12025-09-13 19:53 14K 
[ ]latwal_1__t3_latwal_12025-09-13 19:54 12K 
[ ]latwal_1__t4_latwal_12025-09-13 19:55 13K 
[ ]latwal_1__t5_latwal_12025-09-13 19:44 16K 
[ ]latwal_1__t6_latwal_12025-09-13 19:44 16K 
[ ]latwal_1__t7_latwal_12025-09-13 19:45 4.8K 
[ ]latwal_1__t8_latwal_12025-09-13 19:45 5.3K 
[ ]latwal_1__t9_latwal_12025-09-13 19:56 19K 
[ ]latwal_1__t10_latwal_12025-09-13 19:57 19K 
[ ]latwal_1__t11_latwal_12025-09-13 19:57 19K 
[ ]latwal_1__t12_latwal_12025-09-13 19:58 17K 
[ ]latwal_1__t13_latwal_12025-09-13 19:59 19K 
[ ]latwal_1__t14_latwal_12025-09-13 20:00 17K 
[ ]latwal_1__t15_latwal_12025-09-13 20:01 20K 
[ ]latwal_1__t16_latwal_12025-09-13 20:02 20K 
[ ]latwal_1__t17_latwal_12025-09-13 20:03 20K 
[ ]latwal_1__t18_latwal_12025-09-13 20:04 14K 
[ ]latwal_1__t19_latwal_12025-09-13 19:46 20K 
[ ]latwal_1__t20_latwal_12025-09-13 20:06 13K 
[ ]latwal_1__t21_latwal_12025-09-13 20:08 16K 
[ ]latwal_1__t22_latwal_12025-09-13 20:12 18K 
[ ]latwal_1__t23_latwal_12025-09-13 20:17 13K 
[ ]latwal_1__t24_latwal_12025-09-13 20:22 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80