Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #2956140) | Borderou de evaluare (job #1786183) | Borderou de evaluare (job #1385378) | Borderou de evaluare (job #886426)
Borderou de evaluare (job #886426)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 4ms | 844kb | OK | 10 |
| 2 | 8ms | 904kb | OK | 10 |
| 3 | 32ms | Depăşit | Memory limit exceeded. | 0 |
| 4 | 12ms | 964kb | OK | 10 |
| 5 | 4ms | 840kb | OK | 10 |
| 6 | 4ms | 844kb | OK | 10 |
| 7 | 16ms | 984kb | OK | 10 |
| 8 | 4ms | 836kb | OK | 10 |
| 9 | 4ms | 844kb | OK | 10 |
| 10 | 4ms | 936kb | OK | 10 |
| Punctaj total | 90 |