Petrozavodsk State University
Department of Computer Science

WEB-SYNDIC

Process: Documentation:

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
0 generator tasks

Process an ANLDE System

Input a test ANLDE system (a list of samples):
Store this ANLDE system in a text format (Please, allow browser to show popup windows).
Solve the given ANLDE system with the syntactic algorithm. You may select one alternative solver to compare the solvers.
Generate automatically a new ANLDE system by the selected generator.

Generator Parameters

Parameter Current value Max. value
Number of equations in ANLDE system: 100
Number of unknowns in ANLDE system: 150
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

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