blob: fb22b1690b03ef0033eff01cad83ff46bb43d50f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
UNIVERSE [
PACKAGE p1 < v1 v2 v3 > v1
PACKAGE p2 < v1 v2 v3 > v1
PACKAGE p3 < v1 v2 v3 > v1
PACKAGE p4 < v1 v2 v3 > v1
DEP p1 v1 -> < p2 v2 p2 v3 >
DEP p1 v2 -> < p2 v2 p2 v3 >
DEP p1 v3 -> < p2 v2 p2 v3 >
DEP p2 v1 -> < p3 v1 p3 v2 p3 v3 >
DEP p2 v2 -> < p3 v1 p3 v2 p3 v3 >
DEP p2 v1 !! < p1 v2 p1 v3 >
DEP p3 v1 -> < p4 v1 p4 v2 p4 v3 >
DEP p3 v2 -> < p4 v1 p4 v2 p4 v3 >
DEP p3 v3 -> < p4 v1 p4 v2 p4 v3 >
]
TEST 10 10 10000 10 50 { SCORE p1
|
