Index of /~mptp/1147/MPTP2/problems_thf_tls/quantal1
Name
Last modified
Size
Description
Parent Directory
-
quantal1__l19_quantal1
2017-01-12 22:20
26K
quantal1__s1_quantal1
2017-01-12 22:20
13K
quantal1__s2_quantal1
2017-01-12 22:20
7.1K
quantal1__s3_quantal1
2017-01-12 22:20
23K
quantal1__t1_quantal1
2017-01-12 22:20
33K
quantal1__t2_quantal1
2017-01-12 22:20
35K
quantal1__t3_quantal1
2017-01-12 22:20
18K
quantal1__t4_quantal1
2017-01-12 22:20
62K
quantal1__t5_quantal1
2017-01-12 22:20
35K
quantal1__t6_quantal1
2017-01-12 22:20
41K
quantal1__t7_quantal1
2017-01-12 22:20
37K
quantal1__t8_quantal1
2017-01-12 22:20
37K
quantal1__t9_quantal1
2017-01-12 22:20
34K
quantal1__t10_quantal1
2017-01-12 22:20
33K
quantal1__t11_quantal1
2017-01-12 22:20
38K
quantal1__t12_quantal1
2017-01-12 22:20
38K
quantal1__t13_quantal1
2017-01-12 22:20
37K
quantal1__t14_quantal1
2017-01-12 22:20
37K
quantal1__t15_quantal1
2017-01-12 22:20
37K
quantal1__t16_quantal1
2017-01-12 22:20
41K
quantal1__t17_quantal1
2017-01-12 22:20
37K
quantal1__t18_quantal1
2017-01-12 22:20
41K
quantal1__t19_quantal1
2017-01-12 22:20
42K
quantal1__t20_quantal1
2017-01-12 22:20
38K
quantal1__t21_quantal1
2017-01-12 22:20
51K
quantal1__t22_quantal1
2017-01-12 22:20
39K
quantal1__t23_quantal1
2017-01-12 22:20
39K
quantal1__t24_quantal1
2017-01-12 22:20
43K
quantal1__t25_quantal1
2017-01-12 22:20
41K
quantal1__t26_quantal1
2017-01-12 22:20
46K
quantal1__t27_quantal1
2017-01-12 22:20
42K
quantal1__t28_quantal1
2017-01-12 22:20
42K
quantal1__t29_quantal1
2017-01-12 22:20
45K
quantal1__t30_quantal1
2017-01-12 22:20
41K
quantal1__t31_quantal1
2017-01-12 22:20
39K
quantal1__t32_quantal1
2017-01-12 22:20
39K
quantal1__t33_quantal1
2017-01-12 22:20
39K
quantal1__t34_quantal1
2017-01-12 22:20
52K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80