Polynomially Constrained Problems



 
 
Test N.
Description / Title-Author
Classification
N. of Variables
N. of Cons
N. of Linear Cons
N. of Non-Linear Cons
AMPL Model
First Found Result
N. of known solutions
1

CPR2-ANI-8-1
8
1
0
1

2

CPR2-ANI-8-4
8
4
3
1

3

CPR2-ANI-100-1
100
1
0
1

4

CPR2-ANI-12-3
12
3
2
1

5

CPR2-ANI-2-1
2
1
0
1

6

CPR2-ANI-3-3
3
3
0
3
bifurcation.mod

7
 
CPR2-ANI-29-29
29
29
10
19
bifurcationHC3.mod
unbounded problem bifurcationHC3.mod.res

8
Neurofysiology, posted by Sjirk Boon
CPR2-ANI-6-6
6
6
0
6
boon.mod
infeasible problem or bad starting guess boon.mod.res

9
 
CPR2-ANI-5-5
5
5
4
1
brown.mod
brown.mod.res

10
 
CPR2-ANI-10-10
10
10
0
10
broyden10.mod

11
 
CPR2-ANI-1280-1280
1280
1280
0
1280
broyden1280.mod
Exceeds limit of 300 vars/cons

12
 
CPR2-ANI-160-160
160
160
0
160
broyden160.mod
infeasible problem or bad starting guess broyden160.mod.res

13
 
CPR2-ANI-20-20
20
20
0
20
broyden20.mod

14
 
CPR2-ANI-320-320
320
320
0
320
broyden320.mod
Exceeds limit of 300 vars/cons

15
 
CPR2-ANI-40-40
40
40
0
40
broyden40.mod
infeasible problem or bad starting guess broyden40.mod.res

16
 
CPR2-ANI-5120-5120
5120
5120
0
5120
broyden5120.mod
Exceeds limit of 300 vars/cons

17
 
CPR2-ANI-640-640
640
640
0
640
broyden640.mod
Exceeds limit of 300 vars/cons

18
 
CPR2-ANI-80-80
80
80
0
80
broyden80.mod
infeasible problem or bad starting guess
broyden80.mod.res

19
Butcher's problem, from PoSSo test suite
CPR2-ANI-7-7
7
7
0
7
butcher.mod
infeasible problem or bad starting guess
butcher.mod.res

20
8-variable version of Butcher's problem
CPR2-ANI-8-8
8
8
1
7
butcher8.mod

21
"A Global Minimization Method: the Multi-Dimensional Case "
C. Jansson and O. Knueppel (1992)
CPSD-ANI-2-1
2
1
0
1
camel1.mod
camel1.mod.res
 
22
The system caprasse of the PoSSo test suite
CPR2-ANI-4-4
4
4
0
4
caprasse.mod
infeasible problem or bad starting guess
caprasse.mod.res

23
The system of Pierrette Cassou-Nogues
CPR2-ANI-4-4
4
4
0
4
cassou.mod
infeasible problem or bad starting guess
cassou.mod.res

24
Chemical equilibrium of hydrocarbon combustion
CPR2-ANI-5-5
5
5
0
5
chemequ.mod
infeasible problem or bad starting guess
chemequ.mod.res

25
Chemical Equilibrium System
CPR2-ANI-3-3
3
3
0
3
chemical.mod
infeasible problem or bad starting guess
chemical.mod.res

26
Cohn2, modular equations for special algebraic number fields
CPR2-ANI-4-4
4
4
0
4
cohn2.mod

27
Cohn3, modular equations for special algebraic number fields
CPR2-ANI-4-4
4
4
0
4
cohn3.mod

28
Model A combustion chemistry example for a temparature of 3000 deg
CPR2-ANI-10-10
10
10
4
6
comb3000.mod

29
Combustion problem for a temperature of 3000 degrees
CPR2-ANI-10-10
10
10
4
6
combustion.mod

30
Conformal analysis of cyclic molecules, first instance
CPR2-ANI-3-3
3
3
0
3
conform1.mod
infeasible problem or bad starting guess
conform1.mod.res

31
5-dimensional system of Caprasse and Demaret
CPR2-ANI-5-5
5
5
0
5
cpdm5.mod

32
 
CPR2-ANI-2-2
2
2
0
2
cubic.mod

33
Cyclic 5-roots problem
CPR2-ANI-5-5
5
5
1
4
cyclic5.mod
infeasible problem or bad starting guess
cyclic5.mod.res

34
Cyclic 6-roots problem
CPR2-ANI-6-6
6
6
1
5
cyclic6.mod
infeasible problem or bad starting guess
cyclic6.mod.res

35
Cyclic 7-roots problem
CPR2-ANI-7-7
7
7
1
6
cyclic7.mod
infeasible problem or bad starting guess
cyclic7.mod.res

36
Cyclic 8-roots problem
CPR2-ANI-8-8
8
8
1
7
cyclic8.mod
infeasible problem or bad starting guess
cyclic8.mod.res

37
A sparse system, known as benchmark D1
CPR2-ANI-12-12
12
12
1
11
d1.mod
infeasible problem or bad starting guess
d1.mod.res

38
A "dessin d'enfant", called des18_3
CPR2-ANI-8-8
8
8
2
6
des18_3.mod
too many major iterations
des18_3.mod.res  

39
A "dessin d'enfant", called des22_24
CPR2-ANI-10-10
10
10
2
8
des22_24.mod

40
Heart-dipole problem
CPR2-ANI-10-10
10
10
2
8
dipole.mod
infeasible problem or bad starting guess dipole.mod.res

41
4-dimensional economics problem
CPR2-ANI-4-4
4
4
1
3
eco4.mod

42
5-dimensional economics problem
CPR2-ANI-5-5
5
5
1
4
eco5.mod
infeasible problem or bad starting guess eco5.mod.res

43
6-dimensional economics problem
CPR2-ANI-6-6
6
6
1
5
eco6.mod

44
7-dimensional economics problem
CPRR2-ANI-7-7
7
7
1
6
eco7.mod

45
8-dimensional economics problem
CPR2-ANI-8-8
8
8
1
7
eco8.mod
too many major iterations
eco8.mod.res

46
Camera displacement between two positions, scaled first frame
CPR2-ANI-6-6
6
6
0
6
emiris.mod
unbounded  problem
emiris.mod.res

47
"Noncongruence Subgroups, Covers and Drawings"
B. Birch (1994)
CPR2-ANI-7-7
7
7
2
5
enfant1.mod
too many major iterations
enfant1.mod.res

48
"Noncongruence Subgroups, Covers and Drawings"
B. Birch (1994)
CPR2-ANI-10-12
10
12
4
8
enfant2.mod

49
 
CPR2-ANI-1-1
1
1
0
1
example.mod

50
Extended cyclic 5-roots problem, to exploit the symmetry
CPR2-ANI-6-5
6
5
1
4
extcyc5.mod
unbounded problem extcyc5.mod.res

51
Extended cyclic 6-roots problem, to exploit the symmetry
CPR2-ANI-6-6
6
6
1
5
extcyc6.mod
too many major iterations extcyc6.mod.res

52
Extended cyclic 7-roots problem, to exploit the symmetry
CPR2-ANI-8-7
8
7
1
6
extcyc7.mod
unbounded problem extcyc7.mod.res

53
Extended cyclic 8-roots problem, to exploit the symmetry
CPR2-ANI-9-7
9
8
1
7
extcyc8.mod
unbounded problem extcyc8.mod.res

54
A four-bar design problem, so-called 5-point problem
CPR2-ANI-4-4
4
4
0
4
fourbar.mod

55
 
CPR2-ANI-6-8
6
8
3
5
fredtest.mod
infeasible problem or bad starting guess fredtest.mod.res

56
 
CPR2-ANI-2-2
2
2
0
2
geisow.mod

57
Generalized eigenvalue problem
CPR2-ANI-6-6
6
6
1
6
geneig.mod

58
"A Global Minimization Method: the Multi-Dimensional Case "
C. Jansson and O. Knueppel (1992)
CPSD-ANI-2-1
2
1
0
1
gold.mod
gold.mod.res
 
59
Griewank and Osborne's system
CPR2-ANI-2-2
2
2
0
2
griewank.mod

60
 
CPR2-ANI-7-5
7
5
0
5
h100.mod

61
 
CPR2-ANI-5-4
5
4
0
4
h78.mod
infeasible problem or bad starting guess
h78.mod.res

62
 
CPR2-ANI-5-4
5
4
0
4
h79.mod
infeasible problem or bad starting guess h79.mod.res

63
 
CPR2-ANI-5-4
5
4
0
4
h80.mod
infeasible problem or bad starting guess
h80.mod.res

64
 
CPR2.ANI-5-4
5
4
0
4
h81.mod
infeasible problem or bad starting guess
h81.mod.res

65
 
CPR2-AYI-5-16
5
16
5
11
h86.mod
infeasible problem or bad starting guess h86.mod.res

66
 
CPR2-ANI-2-2
2
2
1
1
hansen-sengupta-f1.mod

67
Heart-dipole problem
CPR2-ANI-8-8
8
8
2
6
heart.mod
unbounded problem heart.mod.res

68
Test Examples for Nonlinear Programming Codes
W. Hock and K. Schittkowski (1981)
CPR2-ANI-2-4
2
4
1
3
hs15.mod

69
Benchmark i1 from the Interval Arithmetic Benchmarks
CPR2-ANI-10-10
10
10
0
10
i1.mod

70
Traditionnal interval benchmark
Pascal et al. (1997)
CPR2-ANI-10-10
10
10
0
10
i2.mod

71
Traditionnal interval benchmark
Pascal et al. (1997)
CPR2-ANI-10-10
10
10
0
10
i4.mod
infeasible problem or bad starting guess i4.mod.res

728
Traditionnal interval benchmark
Pascal et al. (1997)
CPR2-ANI-10-10
10
10
0
10
i5.mod

73
 
CPR2-ANI-4-5
4
5
1
4
ineq1.mod

74
 
CPR2-ANI-3-3
3
3
0
3
kear12.mod
infeasible problem or bad starting guess kear12.mod.res

75
 
CPR2-ANI-2-2
2
2
1
1
kear2.mod

76
Kinematics problem
CPR2-ANI-12-12
12
12
1
11
kin1.mod
infeasible problem or bad starting guess kin1.mod.res

77
 
CPR2-ANI-10-5
10
5
1
4
lhomme1.mod

78
 
CPR2-ANI-3-3
3
3
0
3
monfroy2.mod
too many major iterations monfroy2.mod.res

79
 
CPR2-ANI-10-10
10
10
0
10
more10.mod

80
 
CPR2-ANI-20-20
20
20
0
20
more20.mod

81
 
CPR2-ANI-40-40
40
40
0
40
more40.mod

82
 
CPR2-ANI-80-80
80
80
0
80
more80.mod

83
 
CPR2-ANI-31-32
31
32
12
20
moreaux10.mod

84
 
CPR2-ANI-481-482
481
482
162
320
moreaux160.mod
Exceeds limit of 300 vars/cons

86
 
CPR2-ANI-61-62
61
62
22
40
moreaux20.mod

87
 
CPR2-ANI-121-122
121
122
42
80
moreaux40.mod

88
 
CPR2-ANI-241-242
241
242
82
160
moreaux80.mod

89
Test de Posso
CPR2-ANI-6-6
6
6
0
6
nbody5.1.mod
unbounded problem nbody5.1.mod.res

90
Neurophysiology
Pascal et al. (1997)
CPR2-ANI-6-9
6
9
4
5
neuro.mod
infeasible problem or bad starting guess neuro.mod.res

91
 
CPR2-ANI-12-7
12
7
1
6
newkin.mod
infeasible problem or bad starting guess
newkin.mod.res

92
A neural network modeled by an adaptive Lotka-Volterra system, n=3
CPR2-ANI-3-3
3
3
0
3
noon3.mod

93
A neural network modeled by an adaptive Lotka-Volterra system, n=4
CPR2-ANI-4-4
4
4
0
4
noon4.mod
too many major iterations noon4.mod.res

94
A neural network modeled by an adaptive Lotka-Volterra system, n=5
CPR2-ANI-5-5
5
5
0
5
noon5.mod

95
 
CPR2-ANI-9-9
9
9
5
4
piano.mod
infeasible problem or bad starting guess piano.mod.res

96
System with a product-decomposition structure
CPR2-ANI-4-4
4
4
0
4
proddeco.mod

97
"An Iterative Method for Finding Stationary Values of a Function of Several Variables"
M. J. D. Powell (1962)
CPSD-ANI-4-1
4
1
0
1
powell.mod
powell.mod.res  
 
98
"A Global Minimization Method: the Multi-Dimensional Case" C. Jansson and O. Knueppel (1992)
CPSD-ANI-2-1
2
1
0
1
price.mod
preice.mod.res  
 
99
"A Global Minimization Method: the Multi-Dimensional Case" C. Jansson and O. Knueppel (1992)
CPSD-ANI-5-1
5
1
0
1
schwefel.mod
schwefel.mod.res
 
100
Gaussian quadrature formula with 2 knots and 2 weights over [-1,+1]
CPR2-ANI-4-6
4
6
2
4
quadfor.mod
infeasible problem or bad starting guess quadfor.mod.res

101
Gaussian quadrature formula with 2 knots and 2 weights over [-1,+1]
CPR2-ANI-4-4
4
4
1
3
quadfor2.mod
unbounded problem quadfor2.mod.res

102
Interpolating quadrature formula for function defined on a grid
CPR2-ANI-4-5
4
5
1
4
quadgrid.mod

103
Optimal multi-dimensional quadrature formulas
CPR2-ANI-16-16
16
16
2
14
rabinowitz.mod
unbounded problem
rabinowitz.mod.res

104
Optimal multi-dimensional quadrature formulas
CPR2-ANI-9-9
9
9
1
8
rabmo.mod
unbounded problem
rabmo.mod.res

105
Parallel robot, the so-called left-hand problem
CPR2-ANI-6-6
6
6
0
6
rbpl.mod

106
Parallel robot with 24 real solutions
CPR2-ANI-9-9
9
9
1
9
rbpl24.mod
unbounded problem rbpl24.mod.res

107
Reduced cyclic 5-roots problem
CPR2-ANI-4-4
4
4
1
3
redcyc5.mod

108
Reduced cyclic 6-roots problem
CPR2-ANI-5-5
5
5
1
4
redcyc6.mod

109
Reduced cyclic 7-roots problem
CPR2-ANI-6-6
6
6
1
5
redcyc7.mod

110
Reduced cyclic 8-roots problem
CPR2-ANI-7-7
7
7
1
6
redcyc8.mod

111
The 2-dimensional system of Reimer
CPR2-ANI-2-2
2
2
0
2
reimer2.mod
infeasible problem or bad starting guess reimer2.mod.res

112
The 3-dimensional system of Reimer
CPR2-ANI-3-3
3
3
0
3
reimer3.mod
unbounded problem reimer3.mod.res

113
The 4-dimensional system of Reimer
CPR2-ANI-4-4
4
4
0
4
reimer4.mod
infeasible problem or bad starting guess reimer4.mod.res

114
The 5-dimensional system of Reimer
CPR2-ANI-5-5
5
5
0
5
reimer5.mod
infeasible problem or bad starting guess reimer5.mod.res

115
Handbook of Polynomial Systems
D. Bini and B. Mourrain (1996)
CPR2-ANI-9-9
9
9
1
8
rouillerrobot.mod
(numerical error) rouillerrobot.mod.res

116
Francois Grondin
CPR2-ANI-5-199
5
199
2
197
sawpath.mod
the current point cannot be improved
sawpath.mod.res

117
The system sendra of the PoSSo test suite
CPR2-ANI-2-2
2
2
0
2
sendra.mod
infeasible problem or bad starting guess sendra.mod.res

118
Related to a filter design problem
CPR2-ANI-9-7
9
7
0
7
seyfertfilter.mod
infeasible problem or bad starting guess seyfertfilter.mod.res

119
The system solotarev of the PoSSo test suite
CPR2-ANI-4-4
4
4
0
4
solotarev.mod

120
A 5-dimensional sparse symmetric polynomial system
CPR2-ANI-5-5
5
5
0
5
sparse5.mod
infeasible problem or bad starting guess sparse5.mod.res

121
System of Trinks from the PoSSo test suite
CPR2-ANI-6-6
6
6
2
4
trinks.mod

122
 
CPSD-ANI-10-1
10
1
0
1
srosenbr.mod
srosenbr.mod.res
 
123
"A Global Minimization Method: the Multi-Dimensional Case" C. Jansson and O. Knueppel (1992)
CPSD-ANI-2-1
2
1
0
1
tre.mod
tre.mod.res
 
124
 
CPR2-ANI-10-9
10
10
9
1
vanderm1.mod
the objective has not changed for the last 200 iterations
vanderm1.mod.res

125
 
CPSD-ANI-12-1
12
1
0
1
watson.mod
watson.mod.res
 
126
 
CPR2-ANI-1-1
1
1
0
1
wilkinson.mod
(numerical error) wilkinson.mod.res

127
Polynomial Algorithms in Computer Algebra
F. Winkler (1996)
CPR2-ANI-3-3
3
3
0
3
winkler.mod
unbounded problem winkler.mod.res

128
System derived from optimizing the Wood function
CPR2-ANI-4-4
4
4
0
4
wood.mod

129
 
CPR2-ANI-3-3
3
3
1
2
zy2.mod