Skip to content

Commit 658350f

Browse files
author
Hamid Gasmi
committed
#138 test cases results are added
1 parent 5eb62a8 commit 658350f

File tree

7 files changed

+3230
-94
lines changed

7 files changed

+3230
-94
lines changed

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/00r

+2-2
Original file line numberDiff line numberDiff line change
@@ -14,11 +14,11 @@ WARNING: for repeatability, setting FPU to use double precision
1414
===============================================================================
1515
restarts : 1
1616
conflicts : 0 (0 /sec)
17-
decisions : 1 (0.00 % random) (1073 /sec)
17+
decisions : 1 (0.00 % random) (908 /sec)
1818
propagations : 0 (0 /sec)
1919
conflict literals : 0 (-nan % deleted)
2020
Memory used : 23.00 MB
21-
CPU time : 0.000932 s
21+
CPU time : 0.001101 s
2222

2323
SATISFIABLE
2424
11 6

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/01r

+9-12
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ WARNING: for repeatability, setting FPU to use double precision
22
============================[ Problem Statistics ]=============================
33
| |
44
| Number of variables: 9 |
5-
| Number of clauses: 24 |
5+
| Number of clauses: 21 |
66
| Parse time: 0.00 s |
77
| Eliminated clauses: 0.00 Mb |
88
| Simplification time: 0.00 s |
@@ -14,34 +14,31 @@ WARNING: for repeatability, setting FPU to use double precision
1414
===============================================================================
1515
restarts : 1
1616
conflicts : 0 (0 /sec)
17-
decisions : 1 (0.00 % random) (587 /sec)
17+
decisions : 1 (0.00 % random) (667 /sec)
1818
propagations : 0 (0 /sec)
1919
conflict literals : 0 (-nan % deleted)
2020
Memory used : 23.00 MB
21-
CPU time : 0.001705 s
21+
CPU time : 0.0015 s
2222

2323
SATISFIABLE
24-
24 9
24+
21 9
2525
1 2 3 0
2626
-1 -2 0
2727
-1 -3 0
2828
-2 -3 0
29-
1 4 7 0
3029
-1 -4 0
31-
-1 -7 0
32-
-4 -7 0
33-
2 5 8 0
3430
-2 -5 0
35-
-2 -8 0
36-
-5 -8 0
37-
3 6 9 0
3831
-3 -6 0
32+
-1 -7 0
33+
-2 -8 0
3934
-3 -9 0
40-
-6 -9 0
4135
4 5 6 0
4236
-4 -5 0
4337
-4 -6 0
4438
-5 -6 0
39+
-4 -7 0
40+
-5 -8 0
41+
-6 -9 0
4542
7 8 9 0
4643
-7 -8 0
4744
-7 -9 0

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/02r

+14-20
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ WARNING: for repeatability, setting FPU to use double precision
22
============================[ Problem Statistics ]=============================
33
| |
44
| Number of variables: 18 |
5-
| Number of clauses: 48 |
5+
| Number of clauses: 42 |
66
| Parse time: 0.00 s |
77
| Eliminated clauses: 0.00 Mb |
88
| Simplification time: 0.00 s |
@@ -14,34 +14,31 @@ WARNING: for repeatability, setting FPU to use double precision
1414
===============================================================================
1515
restarts : 1
1616
conflicts : 0 (0 /sec)
17-
decisions : 1 (0.00 % random) (773 /sec)
17+
decisions : 1 (0.00 % random) (1001 /sec)
1818
propagations : 0 (0 /sec)
1919
conflict literals : 0 (-nan % deleted)
2020
Memory used : 23.00 MB
21-
CPU time : 0.001294 s
21+
CPU time : 0.000999 s
2222

2323
SATISFIABLE
24-
48 18
24+
42 18
2525
1 2 3 0
2626
-1 -2 0
2727
-1 -3 0
2828
-2 -3 0
29-
1 4 7 0
3029
-1 -4 0
31-
-1 -7 0
32-
-4 -7 0
33-
2 5 8 0
3430
-2 -5 0
35-
-2 -8 0
36-
-5 -8 0
37-
3 6 9 0
3831
-3 -6 0
32+
-1 -7 0
33+
-2 -8 0
3934
-3 -9 0
40-
-6 -9 0
4135
4 5 6 0
4236
-4 -5 0
4337
-4 -6 0
4438
-5 -6 0
39+
-4 -7 0
40+
-5 -8 0
41+
-6 -9 0
4542
7 8 9 0
4643
-7 -8 0
4744
-7 -9 0
@@ -50,22 +47,19 @@ SATISFIABLE
5047
-10 -11 0
5148
-10 -12 0
5249
-11 -12 0
53-
10 13 16 0
5450
-10 -13 0
55-
-10 -16 0
56-
-13 -16 0
57-
11 14 17 0
5851
-11 -14 0
59-
-11 -17 0
60-
-14 -17 0
61-
12 15 18 0
6252
-12 -15 0
53+
-10 -16 0
54+
-11 -17 0
6355
-12 -18 0
64-
-15 -18 0
6556
13 14 15 0
6657
-13 -14 0
6758
-13 -15 0
6859
-14 -15 0
60+
-13 -16 0
61+
-14 -17 0
62+
-15 -18 0
6963
16 17 18 0
7064
-16 -17 0
7165
-16 -18 0

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/03r

+19-28
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ WARNING: for repeatability, setting FPU to use double precision
22
============================[ Problem Statistics ]=============================
33
| |
44
| Number of variables: 27 |
5-
| Number of clauses: 72 |
5+
| Number of clauses: 63 |
66
| Parse time: 0.00 s |
77
| Eliminated clauses: 0.00 Mb |
88
| Simplification time: 0.00 s |
@@ -14,34 +14,31 @@ WARNING: for repeatability, setting FPU to use double precision
1414
===============================================================================
1515
restarts : 1
1616
conflicts : 0 (0 /sec)
17-
decisions : 1 (0.00 % random) (910 /sec)
17+
decisions : 1 (0.00 % random) (976 /sec)
1818
propagations : 0 (0 /sec)
1919
conflict literals : 0 (-nan % deleted)
2020
Memory used : 23.00 MB
21-
CPU time : 0.001099 s
21+
CPU time : 0.001025 s
2222

2323
SATISFIABLE
24-
72 27
24+
63 27
2525
1 2 3 0
2626
-1 -2 0
2727
-1 -3 0
2828
-2 -3 0
29-
1 4 7 0
3029
-1 -4 0
31-
-1 -7 0
32-
-4 -7 0
33-
2 5 8 0
3430
-2 -5 0
35-
-2 -8 0
36-
-5 -8 0
37-
3 6 9 0
3831
-3 -6 0
32+
-1 -7 0
33+
-2 -8 0
3934
-3 -9 0
40-
-6 -9 0
4135
4 5 6 0
4236
-4 -5 0
4337
-4 -6 0
4438
-5 -6 0
39+
-4 -7 0
40+
-5 -8 0
41+
-6 -9 0
4542
7 8 9 0
4643
-7 -8 0
4744
-7 -9 0
@@ -50,22 +47,19 @@ SATISFIABLE
5047
-10 -11 0
5148
-10 -12 0
5249
-11 -12 0
53-
10 13 16 0
5450
-10 -13 0
55-
-10 -16 0
56-
-13 -16 0
57-
11 14 17 0
5851
-11 -14 0
59-
-11 -17 0
60-
-14 -17 0
61-
12 15 18 0
6252
-12 -15 0
53+
-10 -16 0
54+
-11 -17 0
6355
-12 -18 0
64-
-15 -18 0
6556
13 14 15 0
6657
-13 -14 0
6758
-13 -15 0
6859
-14 -15 0
60+
-13 -16 0
61+
-14 -17 0
62+
-15 -18 0
6963
16 17 18 0
7064
-16 -17 0
7165
-16 -18 0
@@ -74,22 +68,19 @@ SATISFIABLE
7468
-19 -20 0
7569
-19 -21 0
7670
-20 -21 0
77-
19 22 25 0
7871
-19 -22 0
79-
-19 -25 0
80-
-22 -25 0
81-
20 23 26 0
8272
-20 -23 0
83-
-20 -26 0
84-
-23 -26 0
85-
21 24 27 0
8673
-21 -24 0
74+
-19 -25 0
75+
-20 -26 0
8776
-21 -27 0
88-
-24 -27 0
8977
22 23 24 0
9078
-22 -23 0
9179
-22 -24 0
9280
-23 -24 0
81+
-22 -25 0
82+
-23 -26 0
83+
-24 -27 0
9384
25 26 27 0
9485
-25 -26 0
9586
-25 -27 0

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/04r

+9-12
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ WARNING: for repeatability, setting FPU to use double precision
22
============================[ Problem Statistics ]=============================
33
| |
44
| Number of variables: 18 |
5-
| Number of clauses: 39 |
5+
| Number of clauses: 36 |
66
| Parse time: 0.00 s |
77
| Eliminated clauses: 0.00 Mb |
88
| Simplification time: 0.00 s |
@@ -14,34 +14,31 @@ WARNING: for repeatability, setting FPU to use double precision
1414
===============================================================================
1515
restarts : 1
1616
conflicts : 0 (0 /sec)
17-
decisions : 1 (0.00 % random) (779 /sec)
17+
decisions : 1 (0.00 % random) (796 /sec)
1818
propagations : 0 (0 /sec)
1919
conflict literals : 0 (-nan % deleted)
2020
Memory used : 23.00 MB
21-
CPU time : 0.001284 s
21+
CPU time : 0.001256 s
2222

2323
SATISFIABLE
24-
39 18
24+
36 18
2525
1 2 3 0
2626
-1 -2 0
2727
-1 -3 0
2828
-2 -3 0
29-
1 4 7 0
3029
-1 -4 0
31-
-1 -7 0
32-
-4 -7 0
33-
2 5 8 0
3430
-2 -5 0
35-
-2 -8 0
36-
-5 -8 0
37-
3 6 9 0
3831
-3 -6 0
32+
-1 -7 0
33+
-2 -8 0
3934
-3 -9 0
40-
-6 -9 0
4135
4 5 6 0
4236
-4 -5 0
4337
-4 -6 0
4438
-5 -6 0
39+
-4 -7 0
40+
-5 -8 0
41+
-6 -9 0
4542
7 8 9 0
4643
-7 -8 0
4744
-7 -9 0

‎4-np-complete-problems/1-np_complete_problems/gsm_network_tests/05r

+17-20
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ WARNING: for repeatability, setting FPU to use double precision
22
============================[ Problem Statistics ]=============================
33
| |
44
| Number of variables: 12 |
5-
| Number of clauses: 37 |
5+
| Number of clauses: 34 |
66
| Parse time: 0.00 s |
77
| Eliminated clauses: 0.00 Mb |
88
| Simplification time: 0.00 s |
@@ -12,46 +12,43 @@ Solved by simplification
1212
restarts : 0
1313
conflicts : 0 (0 /sec)
1414
decisions : 0 (-nan % random) (0 /sec)
15-
propagations : 1 (1015 /sec)
15+
propagations : 2 (2081 /sec)
1616
conflict literals : 0 (-nan % deleted)
1717
Memory used : 23.00 MB
18-
CPU time : 0.000985 s
18+
CPU time : 0.000961 s
1919

2020
UNSATISFIABLE
21-
37 12
21+
34 12
2222
1 2 3 0
2323
-1 -2 0
2424
-1 -3 0
2525
-2 -3 0
26-
1 4 7 10 0
2726
-1 -4 0
28-
-1 -7 0
29-
-1 -10 0
30-
-4 -7 0
31-
-4 -10 0
32-
-7 -10 0
33-
2 5 8 11 0
3427
-2 -5 0
35-
-2 -8 0
36-
-2 -11 0
37-
-5 -8 0
38-
-5 -11 0
39-
-8 -11 0
40-
3 6 9 12 0
4128
-3 -6 0
29+
-1 -7 0
30+
-2 -8 0
4231
-3 -9 0
32+
-1 -10 0
33+
-2 -11 0
4334
-3 -12 0
44-
-6 -9 0
45-
-6 -12 0
46-
-9 -12 0
4735
4 5 6 0
4836
-4 -5 0
4937
-4 -6 0
5038
-5 -6 0
39+
-4 -7 0
40+
-5 -8 0
41+
-6 -9 0
42+
-4 -10 0
43+
-5 -11 0
44+
-6 -12 0
5145
7 8 9 0
5246
-7 -8 0
5347
-7 -9 0
5448
-8 -9 0
49+
-7 -10 0
50+
-8 -11 0
51+
-9 -12 0
5552
10 11 12 0
5653
-10 -11 0
5754
-10 -12 0

0 commit comments

Comments
 (0)