Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #2455552) | Borderou de evaluare (job #960041) | Borderou de evaluare (job #2715005) | Borderou de evaluare (job #2999161)
Borderou de evaluare (job #2999161)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 14ms | 3276kb | OK | 10 |
| 2 | 19ms | 4038kb | OK | 10 |
| 3 | 12ms | 2969kb | OK | 10 |
| 4 | 17ms | 1884kb | OK | 10 |
| 5 | 27ms | 2519kb | OK | 10 |
| 6 | 59ms | 6459kb | OK | 10 |
| 7 | 47ms | 3969kb | OK | 10 |
| 8 | 71ms | 7122kb | OK | 10 |
| 9 | 78ms | 6279kb | OK | 10 |
| 10 | 94ms | 7364kb | OK | 10 |
| Punctaj total | 100 |