Pagini recente » Problema satisfiabilității formulelor logice de ordinul doi | Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #1376002) | Borderou de evaluare (job #46818) | Borderou de evaluare (job #1625075)
Borderou de evaluare (job #1625075)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 420kb | OK | 10 |
| 2 | 0ms | 436kb | OK | 10 |
| 3 | 0ms | 508kb | OK | 10 |
| 4 | 28ms | 2728kb | OK | 10 |
| 5 | 8ms | 916kb | OK | 10 |
| 6 | 16ms | 1652kb | OK | 10 |
| 7 | 48ms | 3684kb | OK | 10 |
| 8 | 76ms | 5252kb | OK | 10 |
| 9 | 4ms | 744kb | OK | 10 |
| 10 | 0ms | 432kb | OK | 10 |
| Punctaj total | 100 |