Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #429499) | Borderou de evaluare (job #2217864) | Borderou de evaluare (job #689699) | Borderou de evaluare (job #2764489)
Borderou de evaluare (job #2764489)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 3ms | 262kb | OK | 10 |
| 2 | 3ms | 262kb | OK | 10 |
| 3 | 4ms | 655kb | OK | 10 |
| 4 | 6ms | 917kb | OK | 10 |
| 5 | 7ms | 917kb | OK | 10 |
| 6 | 32ms | 2621kb | OK | 10 |
| 7 | 75ms | 4325kb | OK | 10 |
| 8 | 179ms | 5767kb | OK | 10 |
| 9 | 280ms | 8257kb | OK | 10 |
| 10 | 299ms | 8257kb | OK | 10 |
| Punctaj total | 100 |
Vasile Alexandru AlexZeu