Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
APACHES.Prolog_CSDVP
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
M3TAL
APACHES.Prolog_CSDVP
Commits
fb6a0467
Commit
fb6a0467
authored
Jan 18, 2020
by
Alexis Lebis
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
new tests + res
parent
e9bf3155
Changes
34
Hide whitespace changes
Inline
Side-by-side
Showing
34 changed files
with
879 additions
and
4 deletions
+879
-4
7121022.config
IJCAI_test/L1L3/K10/7121022/7121022.config
+26
-0
7121022.pl
IJCAI_test/L1L3/K10/7121022/7121022.pl
+41
-0
7121022.result
IJCAI_test/L1L3/K10/7121022/7121022.result
+12
-0
7102022.result
IJCAI_test/L1L3/K20/7102022/7102022.result
+6
-0
7122022.config
IJCAI_test/L1L3/K20/7122022/7122022.config
+26
-0
7122022.pl
IJCAI_test/L1L3/K20/7122022/7122022.pl
+41
-0
7122022.result
IJCAI_test/L1L3/K20/7122022/7122022.result
+10
-0
7152022.config
IJCAI_test/L1L3/K20/7152022/7152022.config
+26
-0
7152022.pl
IJCAI_test/L1L3/K20/7152022/7152022.pl
+50
-0
7152022.result
IJCAI_test/L1L3/K20/7152022/7152022.result
+10
-0
7202022.config
IJCAI_test/L1L3/K20/7202022/7202022.config
+26
-0
7202022.result
IJCAI_test/L1L3/K20/7202022/7202022.result
+10
-0
config.pl
IJCAI_test/L1L3/K20/7202022/config.pl
+58
-0
7302022.config
IJCAI_test/L1L3/K20/7302022/7302022.config
+26
-0
7302022.pl
IJCAI_test/L1L3/K20/7302022/7302022.pl
+89
-0
7302022.result
IJCAI_test/L1L3/K20/7302022/7302022.result
+10
-0
742022.result
IJCAI_test/L1L3/K20/742022/742022.result
+7
-1
752022.result
IJCAI_test/L1L3/K20/752022/752022.result
+4
-0
762022.result
IJCAI_test/L1L3/K20/762022/762022.result
+7
-1
772022.result
IJCAI_test/L1L3/K20/772022/772022.result
+5
-1
782022.result
IJCAI_test/L1L3/K20/782022/782022.result
+5
-1
792022.result
IJCAI_test/L1L3/K20/792022/792022.result
+2
-0
7123022.config
IJCAI_test/L1L3/K30/7123022/7123022.config
+26
-0
7123022.pl
IJCAI_test/L1L3/K30/7123022/7123022.pl
+41
-0
7123022.result
IJCAI_test/L1L3/K30/7123022/7123022.result
+10
-0
7153022.config
IJCAI_test/L1L3/K30/7153022/7153022.config
+26
-0
7153022.pl
IJCAI_test/L1L3/K30/7153022/7153022.pl
+50
-0
7153022.result
IJCAI_test/L1L3/K30/7153022/7153022.result
+10
-0
7203022.config
IJCAI_test/L1L3/K30/7203022/7203022.config
+26
-0
7203022.pl
IJCAI_test/L1L3/K30/7203022/7203022.pl
+58
-0
7203022.result
IJCAI_test/L1L3/K30/7203022/7203022.result
+10
-0
7303022.config
IJCAI_test/L1L3/K30/7303022/7303022.config
+26
-0
7303022.pl
IJCAI_test/L1L3/K30/7303022/7303022.pl
+89
-0
7303022.result
IJCAI_test/L1L3/K30/7303022/7303022.result
+10
-0
No files found.
IJCAI_test/L1L3/K10/7121022/7121022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
12
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
10
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K10/7121022/7121022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
4
,
25
],[
0
,
57
],[
7
,
64
],[
9
,
67
]],[[
3
,
5
],[
0
,
3
]],[
0
,
3
,
4
],[
6
]],
[
1
,[[
8
,
41
],[
2
,
15
],[
3
,
60
]],[[
8
,
1
],[
6
,
3
],[
3
,
4
]],[
0
,
2
,
3
],[
5
]],
[
2
,[[
2
,
65
],[
4
,
50
],[
8
,
39
],[
5
,
74
]],
[]
,[
0
,
1
,
3
,
4
],[
5
]],
[
3
,[[
8
,
10
],[
5
,
19
],[
3
,
67
],[
6
,
53
]],[[
2
,
1
],[
1
,
1
],[
7
,
1
]],[
1
,
2
,
3
],[
4
]],
[
4
,[[
0
,
73
],[
3
,
41
]],[[
0
,
4
],[
2
,
5
],[
3
,
2
]],[
0
,
4
,
5
],[
2
]],
[
5
,[[
2
,
73
],[
5
,
42
],[
6
,
28
],[
7
,
49
]],
[]
,[
0
,
1
,
2
,
4
],[
4
]],
[
6
,[[
3
,
48
],[
7
,
35
],[
8
,
32
],[
1
,
22
]],[[
9
,
4
],[
3
,
1
]],[
0
,
2
,
3
,
4
],[
2
]],
[
7
,[[
0
,
12
],[
1
,
85
],[
4
,
79
]],[[
1
,
3
],[
9
,
2
]],[
1
,
2
],[
6
]],
[
8
,[[
0
,
78
]],[[
0
,
5
]],[
2
,
3
,
4
,
5
],[
2
]],
[
9
,[[
7
,
62
]],[[
0
,
3
]],[
1
,
3
,
4
],[
6
]],
[
10
,[[
5
,
32
],[
0
,
35
]],[[
3
,
2
],[
9
,
4
],[
6
,
4
]],[
0
,
3
],[
4
]],
[
11
,[[
6
,
72
]],[[
3
,
1
]],[
1
],[
2
]],
[
12
,[[
4
,
90
],[
0
,
42
]],[[
3
,
2
]],[
0
,
3
,
4
],[
3
]],
[
13
,[[
3
,
60
],[
6
,
10
],[
1
,
37
],[
2
,
19
]],[[
5
,
3
]],[
1
],[
3
]],
[
14
,[[
2
,
56
]],[[
0
,
1
]],[
0
,
4
],[
2
]],
[
15
,[[
0
,
69
]],
[]
,[
4
,
5
],[
4
]],
[
16
,[[
2
,
81
],[
1
,
22
],[
6
,
29
]],[[
7
,
3
],[
4
,
5
]],[
0
,
2
],[
4
]],
[
17
,[[
9
,
59
]],[[
4
,
1
]],[
4
,
5
],[
4
]],
[
18
,[[
5
,
32
],[
3
,
56
],[
7
,
30
],[
9
,
59
]],[[
2
,
4
],[
7
,
5
]],[
3
],[
2
]],
[
19
,[[
4
,
58
],[
0
,
80
],[
9
,
48
],[
2
,
90
]],[[
4
,
5
],[
5
,
1
],[
6
,
3
]],[
1
,
3
],[
6
]],
[
20
,[[
1
,
27
],[
4
,
84
]],[[
5
,
5
]],[
0
,
1
,
2
,
3
],[
5
]],
[
21
,[[
3
,
68
]],[[
9
,
4
],[
0
,
3
],[
6
,
1
]],[
0
,
1
,
4
,
5
],[
4
]],
[
22
,[[
7
,
89
],[
9
,
76
]],[[
2
,
4
],[
4
,
5
]],[
1
],[
4
]],
[
23
,[[
6
,
73
],[
5
,
69
]],
[]
,[
1
,
5
],[
5
]],
[
24
,[[
9
,
71
]],[[
4
,
3
]],[
2
,
5
],[
4
]],
[
25
,[[
4
,
39
]],[[
1
,
2
]],[
5
],[
6
]],
[
26
,[[
1
,
50
]],[[
6
,
1
]],[
2
,
5
],[
6
]],
[
27
,[[
6
,
43
],[
7
,
28
],[
2
,
11
]],[[
0
,
1
]],[
5
],[
3
]],
[
28
,[[
8
,
74
],[
2
,
18
],[
0
,
38
],[
6
,
74
]],[[
2
,
3
]],[
2
,
5
],[
5
]],
[
29
,[[
0
,
77
]],[[
1
,
2
],[
2
,
4
],[
3
,
1
]],[
2
],[
4
]],
[
30
,[[
6
,
76
],[
7
,
59
],[
1
,
47
]],[[
0
,
5
],[
5
,
2
],[
2
,
4
]],[
5
],[
5
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
32
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
7
,
4
],[
2
,
3
],[
6
,
1
]]
)
.
IJCAI_test/L1L3/K10/7121022/7121022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
753,745,144 inferences, 65.695 CPU in 65.695 seconds (100% CPU, 11473465 Lips)
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/7102022/7102022.result
View file @
fb6a0467
...
@@ -3,8 +3,14 @@ TODO
...
@@ -3,8 +3,14 @@ TODO
# With Decay time
# With Decay time
1,381,493,119 inferences, 142.196 CPU in 142.242 seconds (100% CPU, 9715440 Lips)
# Without Decay time
# Without Decay time
# With Decay Sol
# With Decay Sol
EMPTY
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/7122022/7122022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
12
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
20
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K20/7122022/7122022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
14
,
42
],[
0
,
47
],[
10
,
25
],[
7
,
57
]],
[]
,[
0
,
3
,
4
],[
5
]],
[
1
,[[
13
,
61
],[
0
,
28
],[
9
,
87
]],
[]
,[
0
,
2
,
3
],[
4
]],
[
2
,[[
13
,
41
]],
[]
,[
0
,
1
,
3
,
4
],[
6
]],
[
3
,[[
8
,
18
],[
16
,
66
],[
3
,
18
],[
0
,
70
]],[[
4
,
1
],[
8
,
5
]],[
1
,
2
,
3
],[
3
]],
[
4
,[[
11
,
70
],[
6
,
16
]],[[
15
,
2
],[
13
,
5
]],[
0
,
4
,
5
],[
3
]],
[
5
,[[
5
,
60
],[
13
,
26
]],
[]
,[
0
,
1
,
2
,
4
],[
2
]],
[
6
,[[
5
,
34
]],[[
0
,
4
]],[
0
,
2
,
3
,
4
],[
4
]],
[
7
,[[
9
,
27
],[
10
,
64
],[
2
,
82
],[
0
,
42
]],[[
2
,
2
],[
12
,
3
],[
15
,
4
]],[
1
,
2
],[
2
]],
[
8
,[[
17
,
58
]],[[
6
,
4
]],[
2
,
3
,
4
,
5
],[
4
]],
[
9
,[[
8
,
85
]],[[
18
,
5
],[
11
,
1
]],[
1
,
3
,
4
],[
6
]],
[
10
,[[
13
,
90
]],[[
14
,
1
]],[
0
,
3
],[
3
]],
[
11
,[[
18
,
71
],[
19
,
35
],[
5
,
22
],[
6
,
52
]],
[]
,[
1
],[
2
]],
[
12
,[[
11
,
72
],[
7
,
77
]],[[
2
,
3
]],[
0
,
3
,
4
],[
4
]],
[
13
,[[
10
,
65
],[
17
,
14
]],[[
5
,
1
]],[
1
],[
4
]],
[
14
,[[
16
,
40
],[
3
,
50
],[
19
,
10
]],[[
17
,
2
],[
6
,
4
]],[
0
,
4
],[
2
]],
[
15
,[[
10
,
90
]],[[
14
,
1
]],[
4
,
5
],[
5
]],
[
16
,[[
19
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
0
,
2
],[
3
]],
[
17
,[[
13
,
37
],[
19
,
19
]],[[
15
,
3
]],[
4
,
5
],[
3
]],
[
18
,[[
2
,
56
]],[[
0
,
1
]],[
3
],[
2
]],
[
19
,[[
10
,
69
]],
[]
,[
1
,
3
],[
4
]],
[
20
,[[
12
,
81
],[
1
,
22
],[
16
,
29
]],[[
17
,
3
],[
4
,
5
]],[
0
,
1
,
2
,
3
],[
4
]],
[
21
,[[
19
,
59
]],[[
4
,
1
]],[
0
,
1
,
4
,
5
],[
4
]],
[
22
,[[
5
,
68
],[
3
,
32
],[
17
,
56
],[
7
,
30
]],[[
0
,
3
]],[
1
],[
4
]],
[
23
,[[
3
,
60
],[
14
,
65
]],[[
4
,
1
],[
10
,
5
]],[
1
,
5
],[
4
]],
[
24
,[[
10
,
66
],[
14
,
27
],[
8
,
39
],[
15
,
23
]],[[
14
,
5
]],[
2
,
5
],[
3
]],
[
25
,[[
3
,
89
],[
17
,
60
]],[[
18
,
5
],[
19
,
4
],[
3
,
5
]],[
5
],[
2
]],
[
26
,[[
13
,
30
],[
17
,
76
],[
5
,
24
]],[[
7
,
3
]],[
2
,
5
],[
5
]],
[
27
,[[
4
,
54
]],[[
2
,
2
],[
9
,
1
]],[
5
],[
6
]],
[
28
,[[
4
,
77
],[
8
,
71
],[
16
,
78
]],[[
7
,
5
],[
12
,
5
]],[
2
,
5
],[
3
]],
[
29
,[[
11
,
63
],[
6
,
89
]],
[]
,[
2
],[
4
]],
[
30
,[[
16
,
30
],[
5
,
57
]],[[
17
,
3
]],[
5
],[
4
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
32
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
16
,
4
],[
12
,
4
],[
15
,
1
],[
5
,
1
]]
)
.
IJCAI_test/L1L3/K20/7122022/7122022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/7152022/7152022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
15
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
20
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K20/7152022/7152022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
3
,
62
]],
[]
,[
0
,
3
,
4
],[
2
]],
[
1
,[[
12
,
15
],[
9
,
54
],[
2
,
84
]],[[
6
,
5
],[
11
,
4
]],[
0
,
2
,
3
],[
5
]],
[
2
,[[
3
,
70
],[
0
,
11
],[
7
,
59
],[
8
,
68
]],[[
15
,
2
],[
4
,
3
]],[
0
,
1
,
3
,
4
],[
3
]],
[
3
,[[
3
,
16
]],[[
15
,
2
],[
13
,
5
]],[
1
,
2
,
3
],[
3
]],
[
4
,[[
5
,
60
],[
13
,
26
]],
[]
,[
0
,
4
,
5
],[
2
]],
[
5
,[[
5
,
34
]],[[
0
,
4
]],[
0
,
1
,
2
,
4
],[
4
]],
[
6
,[[
9
,
27
],[
10
,
64
],[
2
,
82
],[
0
,
42
]],[[
2
,
2
],[
12
,
3
],[
15
,
4
]],[
0
,
2
,
3
,
4
],[
2
]],
[
7
,[[
17
,
58
]],[[
6
,
4
]],[
1
,
2
],[
4
]],
[
8
,[[
8
,
85
]],[[
18
,
5
],[
11
,
1
]],[
2
,
3
,
4
,
5
],[
6
]],
[
9
,[[
13
,
90
]],[[
14
,
1
]],[
1
,
3
,
4
],[
3
]],
[
10
,[[
18
,
71
],[
19
,
35
],[
5
,
22
],[
6
,
52
]],
[]
,[
0
,
3
],[
2
]],
[
11
,[[
11
,
72
],[
7
,
77
]],[[
2
,
3
]],[
1
],[
4
]],
[
12
,[[
10
,
65
],[
17
,
14
]],[[
5
,
1
]],[
0
,
3
,
4
],[
4
]],
[
13
,[[
16
,
40
],[
3
,
50
],[
19
,
10
]],[[
17
,
2
],[
6
,
4
]],[
1
],[
2
]],
[
14
,[[
10
,
90
]],[[
14
,
1
]],[
0
,
4
],[
5
]],
[
15
,[[
19
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
4
,
5
],[
3
]],
[
16
,[[
13
,
37
],[
19
,
19
]],[[
15
,
3
]],[
0
,
2
],[
3
]],
[
17
,[[
2
,
56
]],[[
0
,
1
]],[
4
,
5
],[
2
]],
[
18
,[[
10
,
69
]],
[]
,[
3
],[
4
]],
[
19
,[[
12
,
81
],[
1
,
22
],[
16
,
29
]],[[
17
,
3
],[
4
,
5
]],[
1
,
3
],[
4
]],
[
20
,[[
19
,
59
]],[[
4
,
1
]],[
0
,
1
,
2
,
3
],[
4
]],
[
21
,[[
5
,
68
],[
3
,
32
],[
17
,
56
],[
7
,
30
]],[[
0
,
3
]],[
2
,
3
,
5
],[
4
]],
[
22
,[[
3
,
60
],[
14
,
65
]],[[
4
,
1
],[
10
,
5
]],[
0
,
1
,
4
,
5
],[
4
]],
[
23
,[[
10
,
66
],[
14
,
27
],[
8
,
39
],[
15
,
23
]],[[
14
,
5
]],[
0
,
3
],[
3
]],
[
24
,[[
3
,
89
],[
17
,
60
]],[[
18
,
5
],[
19
,
4
],[
3
,
5
]],[
0
,
1
,
2
],[
2
]],
[
25
,[[
13
,
30
],[
17
,
76
],[
5
,
24
]],[[
7
,
3
]],[
1
],[
5
]],
[
26
,[[
4
,
54
]],[[
2
,
2
],[
9
,
1
]],[
0
,
1
,
3
,
4
],[
6
]],
[
27
,[[
4
,
77
],[
8
,
71
],[
16
,
78
]],[[
7
,
5
],[
12
,
5
]],[
1
,
5
],[
3
]],
[
28
,[[
11
,
63
],[
6
,
89
]],
[]
,[
1
],[
4
]],
[
29
,[[
16
,
30
],[
5
,
57
]],[[
17
,
3
]],[
4
],[
4
]],
[
30
,[[
16
,
40
]],
[]
,[
4
,
5
],[
2
]],
[
31
,[[
8
,
87
],[
10
,
48
],[
15
,
26
],[
6
,
83
]],[[
17
,
1
],[
9
,
1
],[
8
,
3
]],[
2
,
5
],[
4
]],
[
32
,[[
11
,
63
],[
0
,
16
],[
13
,
85
],[
14
,
30
]],[[
10
,
4
],[
12
,
2
]],[
5
],[
4
]],
[
33
,[[
1
,
59
]],[[
18
,
1
],[
10
,
3
]],[
2
,
5
],[
6
]],
[
34
,[[
18
,
53
],[
9
,
28
],[
17
,
57
],[
2
,
62
]],
[]
,[
5
],[
4
]],
[
35
,[[
19
,
20
],[
10
,
73
],[
5
,
77
],[
6
,
63
]],[[
4
,
5
],[
1
,
5
]],[
2
,
5
],[
3
]],
[
36
,[[
15
,
24
],[
1
,
69
],[
9
,
44
]],[[
12
,
5
],[
7
,
3
],[
9
,
4
]],[
2
],[
2
]],
[
37
,[[
16
,
74
],[
8
,
36
],[
6
,
84
],[
2
,
46
]],[[
1
,
2
]],[
2
],[
4
]],
[
38
,[[
8
,
34
],[
6
,
86
],[
9
,
33
]],
[]
,[
5
],[
6
]],
[
39
,[[
1
,
28
],[
3
,
69
]],[[
13
,
2
]],[
5
],[
3
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
41
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
1
,
5
],[
6
,
5
]]
)
.
IJCAI_test/L1L3/K20/7152022/7152022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/7202022/7202022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
20
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
20
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K20/7202022/7202022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/7202022/config.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
6
,
55
]],[[
7
,
5
],[
1
,
1
]],[
0
,
3
,
4
],[
2
]],
[
1
,[[
14
,
72
]],[[
7
,
3
]],[
0
,
2
,
3
],[
3
]],
[
2
,[[
7
,
62
],[
9
,
49
]],[[
13
,
5
]],[
0
,
1
,
3
,
4
],[
4
]],
[
3
,[[
10
,
88
],[
11
,
33
],[
3
,
34
],[
7
,
69
]],[[
11
,
4
],[
3
,
3
],[
16
,
5
]],[
1
,
2
,
3
],[
4
]],
[
4
,[[
1
,
58
]],[[
2
,
4
],[
14
,
5
]],[
0
,
4
,
5
],[
3
]],
[
5
,[[
7
,
25
],[
5
,
81
]],
[]
,[
0
,
1
,
2
,
4
],[
5
]],
[
6
,[[
2
,
28
],[
12
,
83
],[
1
,
40
]],[[
17
,
5
],[
10
,
3
]],[
0
,
2
,
3
,
4
],[
2
]],
[
7
,[[
16
,
32
],[
2
,
65
],[
11
,
18
]],
[]
,[
1
,
2
],[
3
]],
[
8
,[[
19
,
48
],[
11
,
88
]],
[]
,[
2
,
3
,
4
,
5
],[
6
]],
[
9
,[[
19
,
15
],[
7
,
80
],[
4
,
35
]],[[
15
,
3
]],[
1
,
3
,
4
],[
4
]],
[
10
,[[
6
,
67
],[
17
,
28
],[
9
,
14
]],[[
13
,
5
]],[
0
,
3
],[
6
]],
[
11
,[[
15
,
84
],[
6
,
72
]],
[]
,[
1
],[
5
]],
[
12
,[[
14
,
56
],[
17
,
38
],[
6
,
85
]],[[
5
,
4
],[
8
,
3
],[
14
,
3
]],[
0
,
3
,
4
],[
5
]],
[
13
,[[
18
,
85
]],[[
7
,
3
],[
19
,
5
],[
11
,
3
]],[
1
],[
4
]],
[
14
,[[
4
,
77
]],[[
11
,
4
],[
5
,
4
]],[
0
,
4
],[
3
]],
[
15
,[[
12
,
86
],[
17
,
63
],[
4
,
60
]],[[
13
,
5
]],[
4
,
5
],[
5
]],
[
16
,[[
0
,
47
],[
8
,
74
]],
[]
,[
0
,
2
],[
2
]],
[
17
,[[
4
,
84
],[
13
,
48
]],[[
4
,
2
],[
18
,
5
],[
10
,
1
]],[
4
,
5
],[
3
]],
[
18
,[[
10
,
76
],[
9
,
64
],[
3
,
44
],[
5
,
70
]],[[
13
,
5
],[
16
,
4
]],[
3
],[
6
]],
[
19
,[[
12
,
83
],[
0
,
21
]],
[]
,[
1
,
3
],[
3
]],
[
20
,[[
13
,
57
],[
18
,
35
],[
10
,
84
],[
2
,
55
]],[[
15
,
1
]],[
0
,
1
,
2
,
3
],[
5
]],
[
21
,[[
12
,
30
],[
13
,
56
],[
2
,
75
]],[[
14
,
2
]],[
2
,
3
,
5
],[
3
]],
[
22
,[[
3
,
87
],[
6
,
53
],[
19
,
71
]],[[
6
,
2
],[
9
,
3
]],[
0
,
1
,
4
,
5
],[
6
]],
[
23
,[[
6
,
20
],[
1
,
30
],[
18
,
82
],[
10
,
52
]],[[
14
,
1
],[
2
,
3
]],[
0
,
3
],[
6
]],
[
24
,[[
10
,
56
]],[[
14
,
2
]],[
0
,
1
,
2
],[
6
]],
[
25
,[[
1
,
19
],[
3
,
83
],[
11
,
46
]],[[
2
,
3
],[
8
,
2
]],[
1
],[
5
]],
[
26
,[[
17
,
57
],[
15
,
35
],[
6
,
17
],[
16
,
49
]],[[
19
,
4
],[
1
,
2
],[
12
,
4
]],[
0
,
1
,
3
,
4
],[
5
]],
[
27
,[[
15
,
45
],[
8
,
70
],[
1
,
11
],[
14
,
67
]],[[
14
,
5
],[
7
,
5
],[
12
,
4
]],[
1
,
5
],[
2
]],
[
28
,[[
7
,
69
],[
12
,
38
],[
8
,
11
],[
19
,
31
]],
[]
,[
0
,
5
],[
3
]],
[
29
,[[
11
,
54
]],[[
5
,
4
],[
2
,
1
],[
17
,
4
]],[
1
],[
2
]],
[
30
,[[
16
,
73
],[
14
,
87
],[
13
,
53
],[
7
,
31
]],
[]
,[
2
,
3
,
5
],[
5
]],
[
31
,[[
13
,
69
],[
15
,
37
],[
8
,
53
],[
17
,
81
]],[[
2
,
1
],[
6
,
1
],[
19
,
2
]],[
1
,
3
,
4
,
5
],[
5
]],
[
32
,[[
16
,
58
],[
12
,
84
],[
4
,
44
],[
18
,
63
]],[[
5
,
4
],[
9
,
1
]],[
0
,
1
,
2
,
4
],[
3
]],
[
33
,[[
7
,
24
],[
12
,
57
],[
15
,
10
],[
3
,
73
]],
[]
,[
1
,
2
],[
3
]],
[
34
,[[
2
,
54
],[
7
,
25
],[
3
,
62
],[
19
,
56
]],
[]
,[
1
,
2
,
3
,
5
],[
4
]],
[
35
,[[
4
,
65
]],[[
11
,
3
],[
19
,
4
],[
5
,
2
]],[
3
],[
3
]],
[
36
,[[
12
,
25
],[
11
,
90
],[
19
,
67
],[
2
,
62
]],[[
10
,
3
],[
17
,
4
]],[
4
],[
2
]],
[
37
,[[
13
,
54
],[
16
,
53
],[
18
,
18
]],[[
15
,
4
],[
13
,
2
]],[
0
,
4
],[
4
]],
[
38
,[[
1
,
14
],[
2
,
26
],[
18
,
27
],[
3
,
53
]],[[
13
,
4
]],[
4
,
5
],[
2
]],
[
39
,[[
8
,
15
]],[[
15
,
5
]],[
1
,
3
,
5
],[
2
]],
[
40
,[[
12
,
57
],[
7
,
35
],[
8
,
71
],[
15
,
77
]],[[
17
,
5
],[
3
,
2
]],[
2
,
5
],[
6
]],
[
41
,[[
7
,
27
]],[[
7
,
2
],[
8
,
4
]],[
0
,
2
],[
6
]],
[
42
,[[
0
,
88
],[
12
,
24
],[
19
,
49
]],[[
13
,
5
]],[
0
,
2
,
4
,
5
],[
3
]],
[
43
,[[
1
,
87
],[
15
,
81
],[
3
,
56
]],[[
18
,
4
],[
17
,
4
],[
5
,
1
]],[
5
],[
2
]],
[
44
,[[
16
,
79
]],[[
11
,
1
],[
10
,
2
]],[
2
,
4
,
5
],[
5
]],
[
45
,[[
12
,
36
]],[[
6
,
5
]],[
2
,
5
],[
2
]],
[
46
,[[
15
,
16
],[
6
,
55
]],
[]
,[
5
],[
5
]],
[
47
,[[
10
,
32
]],
[]
,[
2
,
5
],[
6
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
49
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
9
,
5
],[
0
,
4
],[
11
,
1
],[
5
,
1
],[
4
,
1
],[
8
,
5
]]
)
.
IJCAI_test/L1L3/K20/7302022/7302022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
30
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
20
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K20/7302022/7302022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
8
,
76
],[
16
,
10
]],
[]
,[
0
,
3
,
4
],[
5
]],
[
1
,[[
5
,
11
]],
[]
,[
0
,
2
,
3
],[
6
]],
[
2
,[[
15
,
39
],[
4
,
74
],[
16
,
89
]],
[]
,[
0
,
1
,
3
,
4
],[
2
]],
[
3
,[[
15
,
10
],[
13
,
19
],[
16
,
67
]],[[
13
,
3
],[
12
,
1
],[
11
,
1
]],[
1
,
2
,
3
],[
2
]],
[
4
,[[
6
,
41
],[
0
,
74
],[
3
,
33
],[
2
,
54
]],[[
3
,
4
]],[
0
,
4
,
5
],[
6
]],
[
5
,[[
10
,
86
],[
2
,
61
]],[[
17
,
4
]],[
0
,
1
,
2
,
4
],[
2
]],
[
6
,[[
17
,
58
]],[[
6
,
4
]],[
0
,
2
,
3
,
4
],[
4
]],
[
7
,[[
8
,
85
]],[[
18
,
5
],[
11
,
1
]],[
1
,
2
],[
6
]],
[
8
,[[
13
,
90
]],[[
14
,
1
]],[
2
,
3
,
4
,
5
],[
3
]],
[
9
,[[
18
,
71
],[
19
,
35
],[
5
,
22
],[
6
,
52
]],
[]
,[
1
,
3
,
4
],[
2
]],
[
10
,[[
11
,
72
],[
7
,
77
]],[[
2
,
3
]],[
0
,
3
],[
4
]],
[
11
,[[
10
,
65
],[
17
,
14
]],[[
5
,
1
]],[
1
],[
4
]],
[
12
,[[
16
,
40
],[
3
,
50
],[
19
,
10
]],[[
17
,
2
],[
6
,
4
]],[
0
,
3
,
4
],[
2
]],
[
13
,[[
10
,
90
]],[[
14
,
1
]],[
1
],[
5
]],
[
14
,[[
19
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
0
,
4
],[
3
]],
[
15
,[[
13
,
37
],[
19
,
19
]],[[
15
,
3
]],[
4
,
5
],[
3
]],
[
16
,[[
2
,
56
]],[[
0
,
1
]],[
0
,
2
],[
2
]],
[
17
,[[
10
,
69
]],
[]
,[
4
,
5
],[
4
]],
[
18
,[[
12
,
81
],[
1
,
22
],[
16
,
29
]],[[
17
,
3
],[
4
,
5
]],[
3
],[
4
]],
[
19
,[[
19
,
59
]],[[
4
,
1
]],[
1
,
3
],[
4
]],
[
20
,[[
5
,
68
],[
3
,
32
],[
17
,
56
],[
7
,
30
]],[[
0
,
3
]],[
0
,
1
,
2
,
3
],[
4
]],
[
21
,[[
3
,
60
],[
14
,
65
]],[[
4
,
1
],[
10
,
5
]],[
2
,
3
,
5
],[
4
]],
[
22
,[[
10
,
66
],[
14
,
27
],[
8
,
39
],[
15
,
23
]],[[
14
,
5
]],[
0
,
1
,
4
,
5
],[
3
]],
[
23
,[[
3
,
89
],[
17
,
60
]],[[
18
,
5
],[
19
,
4
],[
3
,
5
]],[
0
,
3
],[
2
]],
[
24
,[[
13
,
30
],[
17
,
76
],[
5
,
24
]],[[
7
,
3
]],[
0
,
1
,
2
],[
5
]],
[
25
,[[
4
,
54
]],[[
2
,
2
],[
9
,
1
]],[
1
],[
6
]],
[
26
,[[
4
,
77
],[
8
,
71
],[
16
,
78
]],[[
7
,
5
],[
12
,
5
]],[
0
,
1
,
3
,
4
],[
3
]],
[
27
,[[
11
,
63
],[
6
,
89
]],
[]
,[
1
,
5
],[
4
]],
[
28
,[[
16
,
30
],[
5
,
57
]],[[
17
,
3
]],[
0
,
5
],[
4
]],
[
29
,[[
16
,
40
]],
[]
,[
1
],[
2
]],
[
30
,[[
8
,
87
],[
10
,
48
],[
15
,
26
],[
6
,
83
]],[[
17
,
1
],[
9
,
1
],[
8
,
3
]],[
2
,
3
,
5
],[
4
]],
[
31
,[[
11
,
63
],[
0
,
16
],[
13
,
85
],[
14
,
30
]],[[
10
,
4
],[
12
,
2
]],[
1
,
3
,
4
,
5
],[
4
]],
[
32
,[[
1
,
59
]],[[
18
,
1
],[
10
,
3
]],[
0
,
1
,
2
,
4
],[
6
]],
[
33
,[[
18
,
53
],[
9
,
28
],[
17
,
57
],[
2
,
62
]],
[]
,[
1
,
2
],[
4
]],
[
34
,[[
19
,
20
],[
10
,
73
],[
5
,
77
],[
6
,
63
]],[[
4
,
5
],[
1
,
5
]],[
1
,
2
,
3
,
5
],[
3
]],
[
35
,[[
15
,
24
],[
1
,
69
],[
9
,
44
]],[[
12
,
5
],[
7
,
3
],[
9
,
4
]],[
3
],[
2
]],
[
36
,[[
16
,
74
],[
8
,
36
],[
6
,
84
],[
2
,
46
]],[[
1
,
2
]],[
4
],[
4
]],
[
37
,[[
8
,
34
],[
6
,
86
],[
9
,
33
]],
[]
,[
0
,
4
],[
6
]],
[
38
,[[
1
,
28
],[
3
,
69
]],[[
13
,
2
]],[
4
,
5
],[
3
]],
[
39
,[[
1
,
10
],[
6
,
53
],[
4
,
85
]],[[
1
,
1
],[
10
,
5
],[
8
,
5
]],[
1
,
3
,
5
],[
3
]],
[
40
,[[
7
,
62
],[
14
,
75
],[
16
,
72
],[
1
,
67
]],[[
1
,
5
],[
5
,
1
]],[
0
,
3
],[
2
]],
[
41
,[[
16
,
53
],[
6
,
53
],[
15
,
36
],[
17
,
42
]],[[
5
,
1
],[
19
,
5
]],[
1
,
3
,
4
],[
5
]],
[
42
,[[
18
,
73
],[
5
,
47
],[
16
,
31
],[
8
,
46
]],[[
13
,
3
],[
1
,
5
],[
12
,
5
]],[
0
,
1
,
5
],[
6
]],
[
43
,[[
12
,
13
],[
2
,
24
]],[[
15
,
3
]],[
0
,
3
],[
6
]],
[
44
,[[
18
,
29
],[
13
,
83
]],[[
9
,
4
]],[
1
],[
6
]],
[
45
,[[
1
,
22
]],[[
13
,
2
],[
8
,
1
],[
18
,
4
]],[
1
,
4
],[
2
]],
[
46
,[[
9
,
57
],[
13
,
18
],[
4
,
30
]],[[
0
,
1
],[
9
,
2
]],[
1
,
3
,
5
],[
5
]],
[
47
,[[
8
,
65
],[
3
,
73
],[
11
,
75
],[
0
,
30
]],[[
13
,
2
],[
19
,
2
]],[
0
,
1
],[
5
]],
[
48
,[[
0
,
42
]],[[
3
,
5
],[
2
,
5
],[
9
,
5
]],[
3
,
4
],[
5
]],
[
49
,[[
7
,
41
],[
2
,
81
],[
16
,
36
]],
[]
,[
0
,
2
,
3
],[
4
]],
[
50
,[[
9
,
23
],[
6
,
38
],[
7
,
28
],[
13
,
28
]],[[
11
,
3
]],[
0
,
1
,
2
],[
3
]],
[
51
,[[
7
,
32
],[
17
,
65
]],[[
15
,
5
],[
6
,
1
]],[
2
,
5
],[
4
]],
[
52
,[[
15
,
30
],[
0
,
62
]],[[
4
,
1
]],[
2
,
3
,
4
,
5
],[
5
]],
[
53
,[[
4
,
23
]],[[
14
,
2
],[
11
,
3
]],[
3
],[
6
]],
[
54
,[[
0
,
72
],[
7
,
65
],[
11
,
70
]],[[
7
,
5
],[
1
,
1
],[
4
,
2
]],[
0
,
1
,
3
],[
5
]],
[
55
,[[
18
,
33
],[
6
,
30
],[
19
,
55
]],[[
1
,
3
],[
2
,
5
]],[
0
,
2
],[
4
]],
[
56
,[[
8
,
43
]],[[
8
,
4
],[
15
,
5
],[
11
,
4
]],[
1
,
2
,
4
,
5
],[
5
]],
[
57
,[[
7
,
52
],[
0
,
49
],[
17
,
63
],[
10
,
12
]],[[
18
,
1
],[
15
,
3
],[
5
,
4
]],[
0
,
2
,
4
,
5
],[
2
]],
[
58
,[[
4
,
52
]],[[
9
,
5
],[
19
,
4
]],[
3
,
4
],[
6
]],
[
59
,[[
17
,
35
]],[[
18
,
2
]],[
1
],[
6
]],
[
60
,[[
7
,
79
]],[[
18
,
1
]],[
0
],[
2
]],
[
61
,[[
19
,
51
],[
3
,
39
]],[[
7
,
5
],[
3
,
1
]],[
5
],[
6
]],
[
62
,[[
15
,
32
],[
9
,
51
],[
12
,
34
],[
1
,
67
]],[[
3
,
3
],[
4
,
3
],[
8
,
1
]],[
2
,
4
,
5
],[
4
]],
[
63
,[[
3
,
41
],[
8
,
55
],[
11
,
56
],[
13
,
66
]],
[]
,[
0
,
2
,
4
],[
2
]],
[
64
,[[
13
,
74
],[
8
,
31
]],[[
9
,
5
],[
5
,
1
],[
17
,
2
]],[
4
],[
6
]],
[
65
,[[
12
,
73
]],
[]
,[
2
,
5
],[
4
]],
[
66
,[[
3
,
81
]],
[]
,[
0
,
5
],[
6
]],
[
67
,[[
4
,
76
],[
9
,
27
],[
16
,
26
],[
15
,
89
]],[[
9
,
1
],[
7
,
4
],[
15
,
3
]],[
5
],[
6
]],
[
68
,[[
16
,
17
],[
17
,
16
]],
[]
,[
2
,
5
],[
6
]],
[
69
,[[
7
,
10
]],[[
2
,
1
]],[
2
],[
3
]],
[
70
,[[
19
,
32
],[
3
,
65
]],
[]
,[
4
],[
4
]],
[
71
,[[
5
,
39
]],[[
8
,
5
],[
4
,
1
],[
17
,
5
]],[
2
],[
2
]],
[
72
,[[
13
,
45
]],
[]
,[
2
],[
6
]],
[
73
,[[
1
,
67
],[
4
,
49
],[
19
,
89
]],[[
12
,
4
]],[
4
,
5
],[
5
]],
[
74
,[[
5
,
73
]],
[]
,[
2
,
5
],[
2
]],
[
75
,[[
19
,
10
]],[[
9
,
4
],[
16
,
3
]],[
2
],[
5
]],
[
76
,[[
18
,
68
],[
8
,
39
],[
6
,
15
],[
10
,
83
]],
[]
,[
5
],[
6
]],
[
77
,[[
15
,
32
],[
9
,
31
],[
13
,
51
]],
[]
,[
5
],[
3
]],
[
78
,[[
19
,
24
]],
[]
,[
5
],[
6
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
80
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
8
,
4
],[
18
,
4
],[
7
,
2
],[
2
,
4
]]
)
.
IJCAI_test/L1L3/K20/7302022/7302022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/742022/742022.result
View file @
fb6a0467
# STATUS
# STATUS
TODO
OK
# With Decay time
# With Decay time
812,453 inferences, 0.068 CPU in 0.068 seconds (100% CPU, 11877321 Lips)
# Without Decay time
# Without Decay time
2,487,305 inferences, 0.198 CPU in 0.198 seconds (100% CPU, 12532826 Lips)
# With Decay Sol
# With Decay Sol
EMPTY
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/752022/752022.result
View file @
fb6a0467
...
@@ -3,8 +3,12 @@ TODO
...
@@ -3,8 +3,12 @@ TODO
# With Decay time
# With Decay time
37,431,327 inferences, 3.366 CPU in 3.366 seconds (100% CPU, 11121505 Lips)
# Without Decay time
# Without Decay time
127,130,231 inferences, 12.523 CPU in 12.524 seconds (100% CPU, 10151436 Lips)
# With Decay Sol
# With Decay Sol
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/762022/762022.result
View file @
fb6a0467
# STATUS
# STATUS
TODO
OK
# With Decay time
# With Decay time
539,220 inferences, 0.043 CPU in 0.043 seconds (100% CPU, 12558515 Lips)
# Without Decay time
# Without Decay time
2,139,799 inferences, 0.164 CPU in 0.164 seconds (100% CPU, 13013878 Lips)
# With Decay Sol
# With Decay Sol
EMPTY
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/772022/772022.result
View file @
fb6a0467
# STATUS
# STATUS
TODO
OK
# With Decay time
# With Decay time
20,833,939 inferences, 1.794 CPU in 1.795 seconds (100% CPU, 11610011 Lips)
# Without Decay time
# Without Decay time
134,474,131 inferences, 12.365 CPU in 12.366 seconds (100% CPU, 10875496 Lips)
# With Decay Sol
# With Decay Sol
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/782022/782022.result
View file @
fb6a0467
# STATUS
# STATUS
TODO
OK
# With Decay time
# With Decay time
4,216,620 inferences, 0.329 CPU in 0.329 seconds (100% CPU, 12811363 Lips)
# Without Decay time
# Without Decay time
39,933,558 inferences, 3.468 CPU in 3.468 seconds (100% CPU, 11515291 Lips)
# With Decay Sol
# With Decay Sol
# Without Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K20/792022/792022.result
View file @
fb6a0467
...
@@ -3,6 +3,8 @@ TODO
...
@@ -3,6 +3,8 @@ TODO
# With Decay time
# With Decay time
753,745,144 inferences, 65.695 CPU in 65.695 seconds (100% CPU, 11473465 Lips)
# Without Decay time
# Without Decay time
# With Decay Sol
# With Decay Sol
...
...
IJCAI_test/L1L3/K30/7123022/7123022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
12
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
30
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K30/7123022/7123022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
24
,
42
],[
20
,
47
],[
0
,
25
],[
17
,
57
]],
[]
,[
0
,
3
,
4
],[
5
]],
[
1
,[[
23
,
61
],[
20
,
28
],[
19
,
87
]],
[]
,[
0
,
2
,
3
],[
4
]],
[
2
,[[
13
,
41
]],
[]
,[
0
,
1
,
3
,
4
],[
6
]],
[
3
,[[
28
,
18
],[
6
,
66
],[
3
,
18
],[
0
,
70
]],[[
4
,
1
],[
28
,
5
]],[
1
,
2
,
3
],[
3
]],
[
4
,[[
1
,
70
],[
16
,
16
]],[[
15
,
2
],[
23
,
5
]],[
0
,
4
,
5
],[
3
]],
[
5
,[[
25
,
60
],[
23
,
26
]],
[]
,[
0
,
1
,
2
,
4
],[
2
]],
[
6
,[[
5
,
34
]],[[
20
,
4
]],[
0
,
2
,
3
,
4
],[
4
]],
[
7
,[[
19
,
27
],[
20
,
64
],[
2
,
82
],[
0
,
42
]],[[
2
,
2
],[
22
,
3
],[
15
,
4
]],[
1
,
2
],[
2
]],
[
8
,[[
27
,
58
]],[[
26
,
4
]],[
2
,
3
,
4
,
5
],[
4
]],
[
9
,[[
28
,
85
]],[[
28
,
5
],[
1
,
1
]],[
1
,
3
,
4
],[
6
]],
[
10
,[[
23
,
90
]],[[
24
,
1
]],[
0
,
3
],[
3
]],
[
11
,[[
8
,
71
],[
9
,
35
],[
15
,
22
],[
6
,
52
]],
[]
,[
1
],[
2
]],
[
12
,[[
11
,
72
],[
17
,
77
]],[[
22
,
3
]],[
0
,
3
,
4
],[
4
]],
[
13
,[[
0
,
65
],[
7
,
14
]],[[
5
,
1
]],[
1
],[
4
]],
[
14
,[[
16
,
40
],[
23
,
50
],[
19
,
10
]],[[
27
,
2
],[
26
,
4
]],[
0
,
4
],[
2
]],
[
15
,[[
0
,
90
]],[[
4
,
1
]],[
4
,
5
],[
5
]],
[
16
,[[
9
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
0
,
2
],[
3
]],
[
17
,[[
23
,
37
],[
9
,
19
]],[[
25
,
3
]],[
4
,
5
],[
3
]],
[
18
,[[
12
,
56
]],[[
0
,
1
]],[
3
],[
2
]],
[
19
,[[
0
,
69
]],
[]
,[
1
,
3
],[
4
]],
[
20
,[[
12
,
81
],[
21
,
22
],[
26
,
29
]],[[
7
,
3
],[
24
,
5
]],[
0
,
1
,
2
,
3
],[
4
]],
[
21
,[[
9
,
59
]],[[
4
,
1
]],[
0
,
1
,
4
,
5
],[
4
]],
[
22
,[[
15
,
32
],[
23
,
56
],[
17
,
30
],[
19
,
59
]],[[
12
,
3
],[
22
,
4
]],[
1
],[
6
]],
[
23
,[[
7
,
51
],[
14
,
63
]],
[]
,[
1
,
5
],[
6
]],
[
24
,[[
0
,
90
],[
10
,
58
],[
20
,
11
]],[[
5
,
2
]],[
2
,
5
],[
6
]],
[
25
,[[
17
,
10
],[
14
,
27
],[
19
,
84
],[
1
,
89
]],[[
19
,
5
],[
8
,
4
]],[
5
],[
6
]],
[
26
,[[
29
,
59
],[
20
,
38
],[
16
,
30
],[
13
,
76
]],[[
9
,
3
]],[
2
,
5
],[
4
]],
[
27
,[[
2
,
64
],[
4
,
69
],[
8
,
27
]],[[
5
,
5
]],[
5
],[
4
]],
[
28
,[[
18
,
79
]],[[
25
,
3
],[
17
,
3
],[
14
,
5
]],[
2
,
5
],[
6
]],
[
29
,[[
15
,
21
]],[[
29
,
4
]],[
2
],[
3
]],
[
30
,[[
26
,
57
],[
16
,
64
],[
5
,
14
],[
29
,
54
]],[[
27
,
3
],[
6
,
1
]],[
5
],[
2
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
32
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
28
,
2
],[
10
,
4
],[
25
,
4
]]
)
.
IJCAI_test/L1L3/K30/7123022/7123022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K30/7153022/7153022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
15
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
30
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K30/7153022/7153022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
3
,
62
]],
[]
,[
0
,
3
,
4
],[
2
]],
[
1
,[[
12
,
15
],[
9
,
54
],[
2
,
84
]],[[
16
,
5
],[
11
,
4
]],[
0
,
2
,
3
],[
5
]],
[
2
,[[
3
,
18
],[
0
,
70
],[
17
,
11
],[
23
,
59
]],
[]
,[
0
,
1
,
3
,
4
],[
5
]],
[
3
,[[
4
,
50
]],[[
1
,
2
]],[
1
,
2
,
3
],[
5
]],
[
4
,[[
8
,
10
],[
15
,
19
],[
23
,
67
],[
26
,
53
]],[[
2
,
1
],[
1
,
1
],[
17
,
1
]],[
0
,
4
,
5
],[
4
]],
[
5
,[[
20
,
73
],[
23
,
41
]],[[
20
,
4
],[
2
,
4
],[
0
,
5
]],[
0
,
1
,
2
,
4
],[
3
]],
[
6
,[[
2
,
44
],[
22
,
73
],[
15
,
42
],[
6
,
28
]],[[
6
,
2
],[
12
,
4
]],[
0
,
2
,
3
,
4
],[
4
]],
[
7
,[[
28
,
85
]],[[
28
,
5
],[
1
,
1
]],[
1
,
2
],[
6
]],
[
8
,[[
23
,
90
]],[[
24
,
1
]],[
2
,
3
,
4
,
5
],[
3
]],
[
9
,[[
8
,
71
],[
9
,
35
],[
15
,
22
],[
6
,
52
]],
[]
,[
1
,
3
,
4
],[
2
]],
[
10
,[[
11
,
72
],[
17
,
77
]],[[
22
,
3
]],[
0
,
3
],[
4
]],
[
11
,[[
0
,
65
],[
7
,
14
]],[[
5
,
1
]],[
1
],[
4
]],
[
12
,[[
16
,
40
],[
23
,
50
],[
19
,
10
]],[[
27
,
2
],[
26
,
4
]],[
0
,
3
,
4
],[
2
]],
[
13
,[[
0
,
90
]],[[
4
,
1
]],[
1
],[
5
]],
[
14
,[[
9
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
0
,
4
],[
3
]],
[
15
,[[
23
,
37
],[
9
,
19
]],[[
25
,
3
]],[
4
,
5
],[
3
]],
[
16
,[[
12
,
56
]],[[
0
,
1
]],[
0
,
2
],[
2
]],
[
17
,[[
0
,
69
]],
[]
,[
4
,
5
],[
4
]],
[
18
,[[
12
,
81
],[
21
,
22
],[
26
,
29
]],[[
7
,
3
],[
24
,
5
]],[
3
],[
4
]],
[
19
,[[
9
,
59
]],[[
4
,
1
]],[
1
,
3
],[
4
]],
[
20
,[[
15
,
32
],[
23
,
56
],[
17
,
30
],[
19
,
59
]],[[
12
,
3
],[
22
,
4
]],[
0
,
1
,
2
,
3
],[
6
]],
[
21
,[[
7
,
51
],[
14
,
63
]],
[]
,[
2
,
3
,
5
],[
6
]],
[
22
,[[
0
,
90
],[
10
,
58
],[
20
,
11
]],[[
5
,
2
]],[
0
,
1
,
4
,
5
],[
6
]],
[
23
,[[
17
,
10
],[
14
,
27
],[
19
,
84
],[
1
,
89
]],[[
19
,
5
],[
8
,
4
]],[
0
,
3
],[
6
]],
[
24
,[[
29
,
59
],[
20
,
38
],[
16
,
30
],[
13
,
76
]],[[
9
,
3
]],[
0
,
1
,
2
],[
4
]],
[
25
,[[
2
,
64
],[
4
,
69
],[
8
,
27
]],[[
5
,
5
]],[
1
],[
4
]],
[
26
,[[
18
,
79
]],[[
25
,
3
],[
17
,
3
],[
14
,
5
]],[
0
,
1
,
3
,
4
],[
6
]],
[
27
,[[
15
,
21
]],[[
29
,
4
]],[
1
,
5
],[
3
]],
[
28
,[[
26
,
57
],[
16
,
64
],[
5
,
14
],[
29
,
54
]],[[
27
,
3
],[
6
,
1
]],[
1
],[
2
]],
[
29
,[[
28
,
87
],[
10
,
48
],[
25
,
26
],[
6
,
83
]],[[
7
,
1
],[
29
,
1
],[
28
,
3
]],[
4
],[
4
]],
[
30
,[[
11
,
63
],[
10
,
16
],[
13
,
85
],[
24
,
30
]],[[
20
,
4
],[
12
,
2
]],[
4
,
5
],[
4
]],
[
31
,[[
21
,
59
]],[[
18
,
1
],[
10
,
3
]],[
2
,
5
],[
6
]],
[
32
,[[
28
,
53
],[
19
,
28
],[
27
,
57
],[
22
,
62
]],
[]
,[
5
],[
4
]],
[
33
,[[
9
,
58
],[
19
,
20
],[
10
,
73
],[
5
,
77
]],
[]
,[
2
,
5
],[
4
]],
[
34
,[[
1
,
56
],[
14
,
39
]],[[
5
,
5
],[
21
,
3
]],[
5
],[
6
]],
[
35
,[[
28
,
24
],[
22
,
34
],[
7
,
78
]],[[
8
,
2
],[
5
,
4
],[
16
,
4
]],[
2
,
5
],[
3
]],
[
36
,[[
10
,
36
]],[[
9
,
2
],[
13
,
3
],[
21
,
4
]],[
2
],[
5
]],
[
37
,[[
19
,
34
]],
[]
,[
2
],[
3
]],
[
38
,[[
9
,
79
]],
[]
,[
5
],[
5
]],
[
39
,[[
14
,
73
]],
[]
,[
5
],[
3
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
41
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
15
,
1
],[
21
,
4
],[
26
,
1
],[
14
,
5
],[
9
,
5
],[
28
,
2
],[
11
,
5
]]
)
.
IJCAI_test/L1L3/K30/7153022/7153022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K30/7203022/7203022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
20
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
30
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K30/7203022/7203022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
26
,
55
]],[[
27
,
5
],[
1
,
1
]],[
0
,
3
,
4
],[
2
]],
[
1
,[[
4
,
72
]],[[
17
,
3
]],[
0
,
2
,
3
],[
3
]],
[
2
,[[
27
,
62
],[
29
,
49
]],[[
23
,
5
]],[
0
,
1
,
3
,
4
],[
4
]],
[
3
,[[
20
,
88
],[
1
,
33
],[
3
,
34
],[
17
,
69
]],[[
11
,
4
],[
13
,
3
],[
16
,
5
]],[
1
,
2
,
3
],[
4
]],
[
4
,[[
11
,
58
]],[[
2
,
4
],[
4
,
5
]],[
0
,
4
,
5
],[
3
]],
[
5
,[[
17
,
25
],[
15
,
81
]],
[]
,[
0
,
1
,
2
,
4
],[
5
]],
[
6
,[[
2
,
83
],[
21
,
40
],[
24
,
25
]],[[
0
,
3
],[
9
,
1
]],[
0
,
2
,
3
,
4
],[
4
]],
[
7
,[[
12
,
65
],[
21
,
18
],[
28
,
84
]],[[
13
,
5
]],[
1
,
2
],[
3
]],
[
8
,[[
18
,
19
],[
9
,
88
]],[[
27
,
3
],[
24
,
4
]],[
2
,
3
,
4
,
5
],[
4
]],
[
9
,[[
25
,
28
],[
2
,
57
]],[[
17
,
5
]],[
1
,
3
,
4
],[
4
]],
[
10
,[[
25
,
11
],[
0
,
49
],[
23
,
39
]],
[]
,[
0
,
3
],[
2
]],
[
11
,[[
14
,
32
],[
5
,
86
],[
21
,
35
]],[[
16
,
3
],[
19
,
4
]],[
1
],[
5
]],
[
12
,[[
8
,
75
],[
4
,
26
],[
28
,
16
]],
[]
,[
0
,
3
,
4
],[
5
]],
[
13
,[[
8
,
31
],[
7
,
35
],[
17
,
78
]],[[
22
,
1
],[
2
,
5
]],[
1
],[
6
]],
[
14
,[[
21
,
76
],[
15
,
10
],[
23
,
48
]],[[
17
,
5
],[
14
,
2
]],[
0
,
4
],[
4
]],
[
15
,[[
13
,
38
],[
4
,
46
]],[[
18
,
5
],[
7
,
3
]],[
4
,
5
],[
2
]],
[
16
,[[
24
,
84
],[
23
,
48
]],[[
24
,
2
],[
8
,
5
],[
0
,
1
]],[
0
,
2
],[
3
]],
[
17
,[[
10
,
76
],[
19
,
64
],[
23
,
44
],[
25
,
70
]],[[
3
,
5
],[
6
,
4
]],[
4
,
5
],[
6
]],
[
18
,[[
22
,
83
],[
20
,
21
]],
[]
,[
3
],[
3
]],
[
19
,[[
23
,
57
],[
8
,
35
],[
20
,
84
],[
2
,
55
]],[[
5
,
1
]],[
1
,
3
],[
5
]],
[
20
,[[
22
,
30
],[
23
,
56
],[
12
,
75
]],[[
4
,
2
]],[
0
,
1
,
2
,
3
],[
3
]],
[
21
,[[
13
,
87
],[
16
,
53
],[
9
,
71
]],[[
16
,
2
],[
29
,
3
]],[
2
,
3
,
5
],[
6
]],
[
22
,[[
6
,
20
],[
11
,
30
],[
28
,
82
],[
20
,
52
]],[[
4
,
1
],[
2
,
3
]],[
0
,
1
,
4
,
5
],[
6
]],
[
23
,[[
10
,
56
]],[[
24
,
2
]],[
0
,
3
],[
6
]],
[
24
,[[
1
,
19
],[
23
,
83
],[
11
,
46
]],[[
22
,
3
],[
28
,
2
]],[
0
,
1
,
2
],[
5
]],
[
25
,[[
17
,
57
],[
25
,
35
],[
26
,
17
],[
16
,
49
]],[[
9
,
4
],[
1
,
2
],[
22
,
4
]],[
1
],[
5
]],
[
26
,[[
25
,
45
],[
8
,
70
],[
21
,
11
],[
24
,
67
]],[[
14
,
5
],[
17
,
5
],[
12
,
4
]],[
0
,
1
,
3
,
4
],[
2
]],
[
27
,[[
17
,
69
],[
12
,
38
],[
8
,
11
],[
19
,
31
]],
[]
,[
1
,
5
],[
3
]],
[
28
,[[
21
,
54
]],[[
15
,
4
],[
2
,
1
],[
7
,
4
]],[
0
,
5
],[
2
]],
[
29
,[[
16
,
73
],[
14
,
87
],[
3
,
53
],[
27
,
31
]],
[]
,[
1
],[
5
]],
[
30
,[[
23
,
69
],[
5
,
37
],[
28
,
53
],[
7
,
81
]],[[
22
,
1
],[
16
,
1
],[
29
,
2
]],[
2
,
3
,
5
],[
5
]],
[
31
,[[
6
,
88
],[
22
,
58
],[
24
,
84
],[
12
,
44
]],[[
14
,
5
],[
5
,
4
]],[
1
,
3
,
4
,
5
],[
2
]],
[
32
,[[
16
,
19
],[
27
,
73
],[
22
,
24
]],[[
21
,
5
]],[
0
,
1
,
2
,
4
],[
3
]],
[
33
,[[
24
,
46
],[
22
,
83
],[
7
,
54
]],[[
7
,
3
],[
19
,
1
],[
12
,
5
]],[
1
,
2
],[
5
]],
[
34
,[[
21
,
21
],[
29
,
80
],[
9
,
24
],[
5
,
21
]],[[
2
,
3
],[
1
,
3
],[
19
,
4
]],[
1
,
2
,
3
,
5
],[
6
]],
[
35
,[[
23
,
78
],[
10
,
25
]],[[
15
,
2
]],[
3
],[
5
]],
[
36
,[[
28
,
53
],[
2
,
18
]],[[
25
,
4
],[
13
,
2
]],[
4
],[
4
]],
[
37
,[[
11
,
14
],[
22
,
26
],[
28
,
27
],[
23
,
53
]],[[
23
,
4
]],[
0
,
4
],[
2
]],
[
38
,[[
28
,
15
]],[[
5
,
5
]],[
4
,
5
],[
2
]],
[
39
,[[
12
,
57
],[
27
,
35
],[
28
,
71
],[
5
,
77
]],[[
7
,
5
],[
3
,
2
]],[
1
,
3
,
5
],[
6
]],
[
40
,[[
7
,
27
]],[[
7
,
2
],[
28
,
4
]],[
2
,
5
],[
6
]],
[
41
,[[
0
,
88
],[
12
,
24
],[
29
,
49
]],[[
13
,
5
]],[
0
,
2
],[
3
]],
[
42
,[[
1
,
87
],[
25
,
81
],[
23
,
56
]],[[
28
,
4
],[
27
,
4
],[
25
,
1
]],[
0
,
2
,
4
,
5
],[
2
]],
[
43
,[[
16
,
79
]],[[
11
,
1
],[
20
,
2
]],[
5
],[
5
]],
[
44
,[[
12
,
36
]],[[
26
,
5
]],[
2
,
4
,
5
],[
2
]],
[
45
,[[
5
,
24
],[
15
,
16
]],[[
13
,
1
],[
3
,
4
],[
20
,
5
]],[
2
,
5
],[
6
]],
[
46
,[[
19
,
16
],[
0
,
61
],[
11
,
19
],[
5
,
90
]],[[
13
,
1
],[
15
,
5
],[
25
,
1
]],[
5
],[
4
]],
[
47
,[[
16
,
48
],[
19
,
42
],[
5
,
71
]],[[
11
,
4
],[
8
,
1
],[
14
,
4
]],[
2
,
5
],[
3
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
49
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
28
,
3
],[
0
,
4
]]
)
.
IJCAI_test/L1L3/K30/7203022/7203022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
IJCAI_test/L1L3/K30/7303022/7303022.config
0 → 100644
View file @
fb6a0467
private
static
long
SEED
=
7
;
private
static
Random
RAND_KERNEL
=
new
Random
(
SEED
);
private
static
int
DEFAULT_TOTAL_COURSE_BY_SEMESTER
=
30
;
private
static
int
DEFAULT_TOTAL_KNOWLEDGE
=
30
;
private
static
int
MAX_COURSES_BY_SEMESTER
=
2
;
private
final
static
int
ECTS_OFFSET
=
1
;//
between
1
and
inf
-
used
to
increase
MIN_ECTS_REQUIRED
public
static
int
MIN_NB_K_PER_COURSE
=
1
;
public
static
int
MIN_VAL_K_PER_COURSE
=
10
;
public
static
int
MIN_NB_K_AS_PREREQUISITE
=
0
;
public
static
int
MIN_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
NON_EVAL
;
public
static
int
MIN_NB_SEMESTER_AVAILABLE
=
1
;
public
static
int
MIN_NB_ECTS
=
CSDVPConfiguration
.
MIN_ECTS_VALUE
;
public
static
int
MIN_NB_OBJECTIVE
=
2
;
public
static
int
MAX_NB_K_PER_COURSE
=
4
;
public
static
int
MAX_VAL_K_PER_COURSE
=
90
;
public
static
int
MAX_NB_K_AS_PREREQUISITE
=
4
;
public
static
int
MAX_VAL_K_AS_PREREQUISITE
=
CSDVPConfiguration
.
MASTERED
;
public
static
int
MAX_NB_SEMESTER_AVAILABLE
=
4
;
public
static
int
MAX_NB_ECTS
=
CSDVPConfiguration
.
MAX_ECTS_VALUE
;
public
static
int
[]
SEMESTER_RANGE
= {
0
,
1
,
2
,
3
,
4
,
5
};
IJCAI_test/L1L3/K30/7303022/7303022.pl
0 → 100644
View file @
fb6a0467
courses
([
[
-
1
,[
[]
],[
[]
],[
0
,
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
,
9
],[
0
]],
[
0
,[[
8
,
43
],[
28
,
76
]],[[
17
,
4
]],[
0
,
3
,
4
],[
5
]],
[
1
,[[
22
,
65
],[
4
,
50
],[
28
,
39
],[
25
,
74
]],
[]
,[
0
,
2
,
3
],[
5
]],
[
2
,[[
8
,
10
],[
15
,
19
],[
23
,
67
],[
26
,
53
]],[[
2
,
1
],[
1
,
1
],[
17
,
1
]],[
0
,
1
,
3
,
4
],[
4
]],
[
3
,[[
20
,
73
],[
23
,
41
]],[[
20
,
4
],[
2
,
4
],[
0
,
5
]],[
1
,
2
,
3
],[
3
]],
[
4
,[[
2
,
44
],[
22
,
73
],[
15
,
42
],[
6
,
28
]],[[
6
,
2
],[
12
,
4
]],[
0
,
4
,
5
],[
4
]],
[
5
,[[
28
,
85
]],[[
28
,
5
],[
1
,
1
]],[
0
,
1
,
2
,
4
],[
6
]],
[
6
,[[
23
,
90
]],[[
24
,
1
]],[
0
,
2
,
3
,
4
],[
3
]],
[
7
,[[
8
,
71
],[
9
,
35
],[
15
,
22
],[
6
,
52
]],
[]
,[
1
,
2
],[
2
]],
[
8
,[[
11
,
72
],[
17
,
77
]],[[
22
,
3
]],[
2
,
3
,
4
,
5
],[
4
]],
[
9
,[[
0
,
65
],[
7
,
14
]],[[
5
,
1
]],[
1
,
3
,
4
],[
4
]],
[
10
,[[
16
,
40
],[
23
,
50
],[
19
,
10
]],[[
27
,
2
],[
26
,
4
]],[
0
,
3
],[
2
]],
[
11
,[[
0
,
90
]],[[
4
,
1
]],[
1
],[
5
]],
[
12
,[[
9
,
75
],[
3
,
72
],[
11
,
21
]],
[]
,[
0
,
3
,
4
],[
3
]],
[
13
,[[
23
,
37
],[
9
,
19
]],[[
25
,
3
]],[
1
],[
3
]],
[
14
,[[
12
,
56
]],[[
0
,
1
]],[
0
,
4
],[
2
]],
[
15
,[[
0
,
69
]],
[]
,[
4
,
5
],[
4
]],
[
16
,[[
12
,
81
],[
21
,
22
],[
26
,
29
]],[[
7
,
3
],[
24
,
5
]],[
0
,
2
],[
4
]],
[
17
,[[
9
,
59
]],[[
4
,
1
]],[
4
,
5
],[
4
]],
[
18
,[[
15
,
32
],[
23
,
56
],[
17
,
30
],[
19
,
59
]],[[
12
,
3
],[
22
,
4
]],[
3
],[
6
]],
[
19
,[[
7
,
51
],[
14
,
63
]],
[]
,[
1
,
3
],[
6
]],
[
20
,[[
0
,
90
],[
10
,
58
],[
20
,
11
]],[[
5
,
2
]],[
0
,
1
,
2
,
3
],[
6
]],
[
21
,[[
17
,
10
],[
14
,
27
],[
19
,
84
],[
1
,
89
]],[[
19
,
5
],[
8
,
4
]],[
2
,
3
,
5
],[
6
]],
[
22
,[[
29
,
59
],[
20
,
38
],[
16
,
30
],[
13
,
76
]],[[
9
,
3
]],[
0
,
1
,
4
,
5
],[
4
]],
[
23
,[[
2
,
64
],[
4
,
69
],[
8
,
27
]],[[
5
,
5
]],[
0
,
3
],[
4
]],
[
24
,[[
18
,
79
]],[[
25
,
3
],[
17
,
3
],[
14
,
5
]],[
0
,
1
,
2
],[
6
]],
[
25
,[[
15
,
21
]],[[
29
,
4
]],[
1
],[
3
]],
[
26
,[[
26
,
57
],[
16
,
64
],[
5
,
14
],[
29
,
54
]],[[
27
,
3
],[
6
,
1
]],[
0
,
1
,
3
,
4
],[
2
]],
[
27
,[[
28
,
87
],[
10
,
48
],[
25
,
26
],[
6
,
83
]],[[
7
,
1
],[
29
,
1
],[
28
,
3
]],[
1
,
5
],[
4
]],
[
28
,[[
11
,
63
],[
10
,
16
],[
13
,
85
],[
24
,
30
]],[[
20
,
4
],[
12
,
2
]],[
0
,
5
],[
4
]],
[
29
,[[
21
,
59
]],[[
18
,
1
],[
10
,
3
]],[
1
],[
6
]],
[
30
,[[
28
,
53
],[
19
,
28
],[
27
,
57
],[
22
,
62
]],
[]
,[
2
,
3
,
5
],[
4
]],
[
31
,[[
9
,
58
],[
19
,
20
],[
10
,
73
],[
5
,
77
]],
[]
,[
1
,
3
,
4
,
5
],[
4
]],
[
32
,[[
1
,
56
],[
14
,
39
]],[[
5
,
5
],[
21
,
3
]],[
0
,
1
,
2
,
4
],[
6
]],
[
33
,[[
28
,
24
],[
22
,
34
],[
7
,
78
]],[[
8
,
2
],[
5
,
4
],[
16
,
4
]],[
1
,
2
],[
3
]],
[
34
,[[
10
,
36
]],[[
9
,
2
],[
13
,
3
],[
21
,
4
]],[
1
,
2
,
3
,
5
],[
5
]],
[
35
,[[
19
,
34
]],
[]
,[
3
],[
3
]],
[
36
,[[
9
,
79
]],
[]
,[
4
],[
5
]],
[
37
,[[
14
,
73
]],
[]
,[
0
,
4
],[
3
]],
[
38
,[[
15
,
10
],[
21
,
53
],[
26
,
85
],[
14
,
51
]],[[
20
,
4
]],[
4
,
5
],[
2
]],
[
39
,[[
24
,
20
],[
6
,
38
],[
9
,
51
]],[[
1
,
1
],[
7
,
4
]],[
1
,
3
,
5
],[
5
]],
[
40
,[[
1
,
81
],[
15
,
43
],[
4
,
67
]],[[
16
,
3
],[
5
,
2
],[
7
,
2
]],[
0
,
3
],[
2
]],
[
41
,[[
15
,
42
],[
9
,
34
],[
14
,
53
]],[[
16
,
1
],[
25
,
2
],[
18
,
3
]],[
1
,
3
,
4
],[
3
]],
[
42
,[[
3
,
22
],[
1
,
32
],[
22
,
75
],[
27
,
47
]],[[
2
,
3
]],[
0
,
1
,
5
],[
5
]],
[
43
,[[
15
,
13
],[
27
,
86
]],[[
13
,
2
]],[
0
,
3
],[
2
]],
[
44
,[[
29
,
10
],[
13
,
25
]],[[
21
,
4
]],[
1
],[
5
]],
[
45
,[[
8
,
49
],[
26
,
66
],[
15
,
26
],[
23
,
44
]],[[
8
,
3
],[
2
,
1
],[
29
,
5
]],[
1
,
4
],[
2
]],
[
46
,[[
13
,
20
],[
6
,
13
],[
8
,
31
],[
3
,
40
]],
[]
,[
1
,
3
,
5
],[
3
]],
[
47
,[[
14
,
71
],[
12
,
66
],[
3
,
12
]],[[
4
,
4
],[
0
,
4
],[
8
,
3
]],[
0
,
1
],[
6
]],
[
48
,[[
9
,
76
],[
29
,
47
],[
23
,
68
]],
[]
,[
3
,
4
],[
4
]],
[
49
,[[
23
,
60
]],[[
18
,
3
],[
9
,
4
],[
16
,
3
]],[
0
,
2
,
3
],[
6
]],
[
50
,[[
24
,
19
],[
12
,
17
]],
[]
,[
0
,
1
,
2
],[
4
]],
[
51
,[[
17
,
64
],[
10
,
71
],[
1
,
23
]],
[]
,[
2
,
5
],[
2
]],
[
52
,[[
27
,
53
],[
5
,
73
],[
20
,
56
],[
4
,
66
]],
[]
,[
2
,
3
,
4
,
5
],[
6
]],
[
53
,[[
6
,
24
]],[[
6
,
3
]],[
3
],[
6
]],
[
54
,[[
0
,
72
],[
7
,
65
],[
11
,
70
]],[[
17
,
5
],[
21
,
1
],[
14
,
2
]],[
0
,
1
,
3
],[
5
]],
[
55
,[[
8
,
33
],[
6
,
30
],[
19
,
55
]],[[
11
,
3
],[
12
,
5
]],[
0
,
2
],[
4
]],
[
56
,[[
18
,
43
]],[[
18
,
4
],[
5
,
5
],[
21
,
4
]],[
1
,
2
,
4
,
5
],[
5
]],
[
57
,[[
27
,
49
],[
20
,
63
],[
10
,
12
],[
15
,
46
]],[[
15
,
1
]],[
0
,
2
,
4
,
5
],[
2
]],
[
58
,[[
13
,
52
],[
5
,
87
],[
3
,
27
],[
24
,
29
]],[[
8
,
4
],[
4
,
3
],[
27
,
4
]],[
3
,
4
],[
3
]],
[
59
,[[
7
,
35
],[
27
,
55
],[
18
,
28
],[
17
,
73
]],[[
13
,
3
],[
11
,
3
],[
14
,
4
]],[
1
],[
6
]],
[
60
,[[
19
,
21
],[
4
,
45
],[
25
,
57
]],[[
19
,
3
],[
5
,
1
]],[
0
],[
6
]],
[
61
,[[
24
,
10
],[
18
,
36
],[
17
,
45
]],[[
23
,
4
],[
8
,
2
],[
21
,
3
]],[
5
],[
4
]],
[
62
,[[
1
,
78
],[
15
,
62
]],[[
13
,
4
]],[
2
,
4
,
5
],[
3
]],
[
63
,[[
5
,
14
],[
17
,
27
]],
[]
,[
0
,
2
,
4
],[
6
]],
[
64
,[[
2
,
73
]],
[]
,[
4
],[
4
]],
[
65
,[[
3
,
81
]],
[]
,[
2
,
5
],[
6
]],
[
66
,[[
4
,
76
],[
19
,
27
],[
6
,
26
],[
25
,
89
]],[[
19
,
1
],[
17
,
4
],[
25
,
3
]],[
0
,
5
],[
6
]],
[
67
,[[
16
,
17
],[
17
,
16
]],
[]
,[
5
],[
6
]],
[
68
,[[
17
,
10
]],[[
2
,
1
]],[
2
,
5
],[
3
]],
[
69
,[[
29
,
32
],[
3
,
65
]],
[]
,[
2
],[
4
]],
[
70
,[[
25
,
39
]],[[
18
,
5
],[
24
,
1
],[
27
,
5
]],[
4
],[
2
]],
[
71
,[[
23
,
45
]],
[]
,[
2
],[
6
]],
[
72
,[[
11
,
67
],[
14
,
49
],[
29
,
89
]],[[
12
,
4
]],[
2
],[
5
]],
[
73
,[[
25
,
73
]],
[]
,[
4
,
5
],[
2
]],
[
74
,[[
9
,
10
]],[[
19
,
4
],[
26
,
3
]],[
2
,
5
],[
5
]],
[
75
,[[
28
,
68
],[
8
,
39
],[
6
,
15
],[
0
,
83
]],
[]
,[
2
],[
6
]],
[
76
,[[
25
,
32
],[
19
,
31
],[
13
,
51
]],
[]
,[
5
],[
3
]],
[
77
,[[
19
,
24
]],
[]
,[
5
],[
6
]],
[
78
,[[
8
,
63
]],
[]
,[
5
],[
4
]]
])
.
minECTS
(
40
)
.
nbSemester
(
10
)
.
nbCourses
(
80
)
.
nbCourseBySemester
(
2
)
.
finalSkills
(
[[
3
,
5
],[
13
,
2
],[
11
,
4
],[
18
,
4
]]
)
.
IJCAI_test/L1L3/K30/7303022/7303022.result
0 → 100644
View file @
fb6a0467
# STATUS
TODO
# With Decay time
# Without Decay time
# With Decay Sol
# Without Decay Sol
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment