Pagini recente » Problema satisfiabilității formulelor logice de ordinul doi | Borderou de evaluare (job #501063) | Borderou de evaluare (job #2768005) | Borderou de evaluare (job #2999482) | Borderou de evaluare (job #694983)
Borderou de evaluare (job #694983)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 432kb | OK | 10 |
| 2 | 4ms | 572kb | OK | 10 |
| 3 | 8ms | 900kb | OK | 10 |
| 4 | 12ms | 1176kb | OK | 10 |
| 5 | 36ms | 1972kb | OK | 10 |
| 6 | 44ms | 2324kb | OK | 10 |
| 7 | 56ms | 2720kb | OK | 10 |
| 8 | 84ms | 3500kb | OK | 10 |
| 9 | 84ms | 3500kb | OK | 10 |
| 10 | 104ms | 3576kb | OK | 10 |
| Punctaj total | 100 |