Index of /~mptp/1147/MPTP2/problems_small_consist/scpinvar
Name
Last modified
Size
Description
Parent Directory
-
scpinvar__l6_scpinvar
2013-09-04 12:58
143K
scpinvar__l7_scpinvar
2013-09-04 12:58
441K
scpinvar__l8_scpinvar
2013-09-04 12:58
445K
scpinvar__l12_scpinvar
2013-09-04 12:58
153K
scpinvar__l13_scpinvar
2013-09-04 12:58
104K
scpinvar__l14_scpinvar
2013-09-04 12:58
121K
scpinvar__l18_scpinvar
2013-09-04 12:58
78K
scpinvar__l22_scpinvar
2013-09-04 12:58
70K
scpinvar__l27_scpinvar
2013-09-04 12:58
73K
scpinvar__l31_scpinvar
2013-09-04 12:58
73K
scpinvar__l32_scpinvar
2013-09-04 12:58
98K
scpinvar__l34_scpinvar
2013-09-04 12:58
150K
scpinvar__l35_scpinvar
2013-09-04 12:58
505K
scpinvar__l36_scpinvar
2013-09-04 12:58
348K
scpinvar__t1_scpinvar
2013-09-04 12:58
75K
scpinvar__t2_scpinvar
2013-09-04 12:58
64K
scpinvar__t3_scpinvar
2013-09-04 12:58
73K
scpinvar__t4_scpinvar
2013-09-04 12:58
154K
scpinvar__t5_scpinvar
2013-09-04 12:58
110K
scpinvar__t6_scpinvar
2013-09-04 12:58
146K
scpinvar__t7_scpinvar
2013-09-04 12:58
102K
scpinvar__t8_scpinvar
2013-09-04 12:58
69K
scpinvar__t9_scpinvar
2013-09-04 12:58
287K
scpinvar__t10_scpinvar
2013-09-04 12:58
79K
scpinvar__t11_scpinvar
2013-09-04 12:58
124K
scpinvar__t12_scpinvar
2013-09-04 12:58
204K
scpinvar__t13_scpinvar
2013-09-04 12:58
186K
scpinvar__t14_scpinvar
2013-09-04 12:58
90K
scpinvar__t15_scpinvar
2013-09-04 12:58
90K
scpinvar__t16_scpinvar
2013-09-04 12:58
178K
scpinvar__t17_scpinvar
2013-09-04 12:58
404K
scpinvar__t18_scpinvar
2013-09-04 12:58
96K
scpinvar__t19_scpinvar
2013-09-04 12:58
108K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80