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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_2__t1_seq_22025-09-11 18:28 43K 
[   ]seq_2__t2_seq_22025-09-11 18:30 53K 
[   ]seq_2__t3_seq_22025-09-11 18:31 72K 
[   ]seq_2__t4_seq_22025-09-11 18:33 67K 
[   ]seq_2__t5_seq_22025-09-11 18:35 99K 
[   ]seq_2__t6_seq_22025-09-11 18:36 100K 
[   ]seq_2__t9_seq_22025-09-11 18:27 52K 
[   ]seq_2__t10_seq_22025-09-11 18:38 70K 
[   ]seq_2__t11_seq_22025-09-11 18:39 68K 
[   ]seq_2__t12_seq_22025-09-11 18:41 83K 
[   ]seq_2__t13_seq_22025-09-11 18:43 71K 
[   ]seq_2__t14_seq_22025-09-11 18:44 102K 
[   ]seq_2__t15_seq_22025-09-11 18:46 103K 
[   ]seq_2__t16_seq_22025-09-11 18:48 165K 
[   ]seq_2__t17_seq_22025-09-11 18:49 70K 
[   ]seq_2__t18_seq_22025-09-11 18:51 97K 
[   ]seq_2__t19_seq_22025-09-11 18:52 88K 
[   ]seq_2__t20_seq_22025-09-11 18:54 88K 
[   ]seq_2__t23_seq_22025-09-11 18:55 58K 
[   ]seq_2__t27_seq_22025-09-11 18:57 77K 
[   ]seq_2__t28_seq_22025-09-11 18:58 71K 
[   ]seq_2__t29_seq_22025-09-11 19:00 68K 
[   ]seq_2__t30_seq_22025-09-11 19:01 78K 
[   ]seq_2__t31_seq_22025-09-11 19:03 93K 
[   ]seq_2__t32_seq_22025-09-11 19:04 71K 
[   ]seq_2__t33_seq_22025-09-11 19:06 68K 
[   ]seq_2__t34_seq_22025-09-11 19:07 82K 
[   ]seq_2__t35_seq_22025-09-11 19:09 73K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80