BigAgentive1NonAgentive1-Domain-4vs1_100_.txt

# preferred axioms agent 1
20
21
22
23
35
159
-1
# preferred axioms agent 2
37
38
39
41
42
43
112
161
-1
# importance agent 1
4
# importance agent 2
1
# maximum number of turns
1000