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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mod_3__l1_mod_32025-09-13 10:53 13K 
[ ]mod_3__l16_mod_32025-09-13 10:54 20K 
[ ]mod_3__l22_mod_32025-09-13 10:55 21K 
[ ]mod_3__t1_mod_32025-09-13 10:34 12K 
[ ]mod_3__t2_mod_32025-09-13 10:23 31K 
[ ]mod_3__t3_mod_32025-09-13 10:24 26K 
[ ]mod_3__t4_mod_32025-09-13 10:26 34K 
[ ]mod_3__t5_mod_32025-09-13 10:27 31K 
[ ]mod_3__t6_mod_32025-09-13 10:28 32K 
[ ]mod_3__t7_mod_32025-09-13 10:29 33K 
[ ]mod_3__t8_mod_32025-09-13 10:36 40K 
[ ]mod_3__t9_mod_32025-09-13 10:37 32K 
[ ]mod_3__t10_mod_32025-09-13 10:30 31K 
[ ]mod_3__t11_mod_32025-09-13 10:38 32K 
[ ]mod_3__t12_mod_32025-09-13 10:31 34K 
[ ]mod_3__t13_mod_32025-09-13 10:33 35K 
[ ]mod_3__t14_mod_32025-09-13 10:40 34K 
[ ]mod_3__t15_mod_32025-09-13 10:41 35K 
[ ]mod_3__t16_mod_32025-09-13 10:43 47K 
[ ]mod_3__t17_mod_32025-09-13 10:44 35K 
[ ]mod_3__t18_mod_32025-09-13 10:47 84K 
[ ]mod_3__t19_mod_32025-09-13 10:49 88K 
[ ]mod_3__t20_mod_32025-09-13 10:34 20K 
[ ]mod_3__t21_mod_32025-09-13 10:50 22K 
[ ]mod_3__t22_mod_32025-09-13 10:52 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80