Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #385646) | Borderou de evaluare (job #435664) | Borderou de evaluare (job #2124343) | Borderou de evaluare (job #696428)
Borderou de evaluare (job #696428)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 392kb | Incorect | 0 |
| 2 | 0ms | 388kb | Incorect | 0 |
| 3 | 0ms | 396kb | Incorect | 0 |
| 4 | 0ms | 400kb | OK | 10 |
| 5 | 0ms | 464kb | OK | 10 |
| 6 | 0ms | 508kb | OK | 10 |
| 7 | 4ms | 544kb | OK | 10 |
| 8 | 4ms | 544kb | OK | 10 |
| 9 | 0ms | 412kb | OK | 10 |
| 10 | 4ms | 556kb | OK | 10 |
| Punctaj total | 70 |