Petrozavodsk State University
Department of Computer Science

Log In

Nickname:
Password:
 

(you may also continue working as anonymous user, but your profile and limits information will not be saved)

Server Load

2 active users
0 registered users
0 solver tasks
11 generator tasks

Process a Set of ANLDE Systems

Load a Set from a Text File

For comparison of the syntactic algorithm with another solver select one alternative solver:

Start processing your set: load&solve.


Generate a New Set

Select a generator:

Generator Parameters

Parameter Current value Max. value
Number of equations in ANLDE system: 100
Number of unknowns in ANLDE system: 150
Number of ANLDE systems in set: 15
Max. values of coefficients for ANLDE system: 1000
Max. values of components for basis solution: 10000
Max. number of basis solutions for ANLDE system: 500

For comparison of the syntactic algorithm with another solver select one alternative solver:

Start processing your set: generate&solve.

Store the set in a text format (without solving): generate&save.


Dimensions of the processed (solved or generated) system and resources available for solvers and generators are limited by the following values:

Max. CPU time for solving (sec): 20
Max. memory for solving (KB): 4500
Max. CPU time for generation (sec): 20
Max. memory for generation (KB): 4096
Max. values of coefficients for ANLDE system: 1000
Max. values of coefficients for basis solutions: 10000
Max. number of equations in ANLDE system: 100
Max. number of unknowns in ANLDE system: 150
Max. number of ANLDE systems in set: 15
Max. number of basis solutions for ANLDE system: 500
Max. number of basis solutions in report: 500

You may adjust time and memory limits.

Version 1.0
Valid HTML 4.01! Valid CSS! Petrozavodsk State University, Department of Computer Science
Web-SynDic Team