Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #19519)
Borderou de evaluare (job #19519)
Raport evaluator
Compilare:
Free Pascal Compiler version 2.0.0 [2005/09/09] for i386
Copyright (c) 1993-2005 by Florian Klaempfl
Target OS: Linux for i386
Compiling user.fpc
user.fpc(6,14) Note: Local variable "i" not used
user.fpc(6,16) Note: Local variable "j" not used
Linking user
45 Lines compiled, 0.0 sec
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 8kb | OK | 10 |
| 2 | 0ms | 12kb | OK | 10 |
| 3 | 16ms | 176kb | OK | 10 |
| 4 | 356ms | 2396kb | OK | 10 |
| 5 | 72ms | 576kb | OK | 10 |
| 6 | 208ms | 1320kb | OK | 10 |
| 7 | Depăşit | 3324kb | Time limit exceeded. | 0 |
| 8 | Depăşit | 4880kb | Time limit exceeded. | 0 |
| 9 | 84ms | 412kb | OK | 10 |
| 10 | 0ms | 12kb | OK | 10 |
| Punctaj total | 80 |
Cristina Stancu-Mara cimi