-
Notifications
You must be signed in to change notification settings - Fork 2
/
tests.txt
34 lines (21 loc) · 2.96 KB
/
tests.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
//test Pour 20 clauses
int emp[] = {5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 };
int sal[] = {1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2 };
//test Pour 40 clauses
int emp[] = { 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 7, 5 ,5, 6, 9, 5, 6, 4, 1, 5, 5, 6 };
int sal[] = { 5, 6, 9, 5, 6, 4, 1, 5, 5, 6 ,5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9,5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 7 };
//test Pour 50 clauses
int emp[] = {5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9,5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 7 };
int sal[] = {1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 7, 5 };
//test Pour 60 clauses
int emp[] = { 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2,7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2 ,7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 7, 5 ,5, 6, 9, 5, 6, 4, 1, 5, 5, 6 };
int sal[] = { 5, 6, 9, 5, 6, 4,7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2 ,1, 5, 5, 6 ,5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9,5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 7 };
//test Pour 80 clauses
int emp[] = {5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9 , 5, 6, 4, 1, 5, 5, 6, 9, 5,5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 7 };
int sal[] = {1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2, 7, 1, 5, 2, 2, 4,5, 5, 6, 9, 5, 6, 4, 1, 5, 5 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 1, 2, 7, 1, 5, 2, 2, 7, 5 };
//test Pour 90 clauses
int emp[] = {5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1,4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 5, 5, 6, 9 , 5, 6, 4, 1, 5, 5, 6, 9, 5,5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 7 };
int sal[] = {1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2, 7, 1, 5, 2, 2, 4,5, 5, 6, 9, 5, 6, 4, 1, 5, 5 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 1, 2, 7,9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 1, 5, 2, 2, 7, 5 };
//test Pour 100 clauses
int emp[] = {5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9 , 5, 6, 4, 1, 5, 5, 6, 9, 5,5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2,7 };
int sal[] = {1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7, 1, 5, 2, 2, 4, 1, 2, 7,5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 10,1, 5, 2, 2, 4, 1, 2, 7,4, 1, 2, 7, 1, 5, 2, 2, 4,5, 5, 6, 9, 5, 6, 4, 1, 5, 5 , 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1, 5, 5, 6, 9, 5, 6, 4, 1 , 1, 2, 7, 1, 5, 2, 2, 7, 5 };