Index of /~mptp/1147/MPTP2/problems/nfcont_4
Name
Last modified
Size
Description
Parent Directory
-
nfcont_4__t1_nfcont_4
2023-06-28 00:39
54K
nfcont_4__t2_nfcont_4
2023-06-28 00:39
70K
nfcont_4__t3_nfcont_4
2023-06-28 00:39
84K
nfcont_4__t4_nfcont_4
2023-06-28 00:39
70K
nfcont_4__t5_nfcont_4
2023-06-28 00:39
88K
nfcont_4__t6_nfcont_4
2023-06-28 00:39
79K
nfcont_4__t7_nfcont_4
2023-06-28 00:39
53K
nfcont_4__t8_nfcont_4
2023-06-28 00:39
77K
nfcont_4__t9_nfcont_4
2023-06-28 00:39
77K
nfcont_4__t10_nfcont_4
2023-06-28 00:39
87K
nfcont_4__t11_nfcont_4
2023-06-28 00:39
84K
nfcont_4__t12_nfcont_4
2023-06-28 00:39
94K
nfcont_4__t13_nfcont_4
2023-06-28 00:39
68K
nfcont_4__t14_nfcont_4
2023-06-28 00:39
79K
nfcont_4__t15_nfcont_4
2023-06-28 00:39
79K
nfcont_4__t16_nfcont_4
2023-06-28 00:39
68K
nfcont_4__t17_nfcont_4
2023-06-28 00:39
69K
nfcont_4__t18_nfcont_4
2023-06-28 00:39
68K
nfcont_4__t19_nfcont_4
2023-06-28 00:39
82K
nfcont_4__t20_nfcont_4
2023-06-28 00:39
91K
nfcont_4__t21_nfcont_4
2023-06-28 00:39
54K
nfcont_4__t22_nfcont_4
2023-06-28 00:39
82K
nfcont_4__t23_nfcont_4
2023-06-28 00:39
56K
nfcont_4__t24_nfcont_4
2023-06-28 00:39
69K
nfcont_4__t25_nfcont_4
2023-06-28 00:39
49K
nfcont_4__t26_nfcont_4
2023-06-28 00:39
102K
nfcont_4__t27_nfcont_4
2023-06-28 00:39
101K
nfcont_4__t28_nfcont_4
2023-06-28 00:39
87K
nfcont_4__t29_nfcont_4
2023-06-28 00:39
87K
nfcont_4__t30_nfcont_4
2023-06-28 00:39
95K
nfcont_4__t31_nfcont_4
2023-06-28 00:39
82K
nfcont_4__t32_nfcont_4
2023-06-28 00:39
84K
nfcont_4__t33_nfcont_4
2023-06-28 00:39
88K
nfcont_4__t34_nfcont_4
2023-06-28 00:39
88K
nfcont_4__t35_nfcont_4
2023-06-28 00:39
72K
nfcont_4__t36_nfcont_4
2023-06-28 00:39
51K
nfcont_4__t37_nfcont_4
2023-06-28 00:39
94K
nfcont_4__t38_nfcont_4
2023-06-28 00:39
91K
nfcont_4__t39_nfcont_4
2023-06-28 00:39
89K
nfcont_4__t40_nfcont_4
2023-06-28 00:39
88K
nfcont_4__t41_nfcont_4
2023-06-28 00:39
95K
nfcont_4__t42_nfcont_4
2023-06-28 00:39
91K
nfcont_4__t43_nfcont_4
2023-06-28 00:39
99K
nfcont_4__t44_nfcont_4
2023-06-28 00:39
63K
nfcont_4__t45_nfcont_4
2023-06-28 00:39
69K
nfcont_4__t46_nfcont_4
2023-06-28 00:39
113K
nfcont_4__t47_nfcont_4
2023-06-28 00:39
77K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80