# --------------------------------------------------------------------
# File: .online-atps
# --------------------------------------------------------------------

AutoMode: -cE
AutoModeSystemsLimit: "3"
AutoModeTimeLimit: "300"
Completeness: false
Correctness: false
CPUPassword: ""
FORMULAEProblem: ""
FormulaURL: ""
IDV: false
NoHTML: "1"
ProblemSource: FORMULAE
QuietFlag: -q0
ReportFlag: -q0
Soundness: false
SubmitButton: RunSelectedSystems
SystemInfo: false
SystemOnTSTP: false
Systems: []
TPTPProblem: ""
TSTPData: false
UPLOADProblem: ""
X2TPTP: false