Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #3173190) | Borderou de evaluare (job #3356465) | Borderou de evaluare (job #544069) | Borderou de evaluare (job #230609)
Borderou de evaluare (job #230609)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 8kb | OK | 10 |
| 2 | 4ms | 12kb | OK | 10 |
| 3 | 0ms | 8kb | OK | 10 |
| 4 | 56ms | 1928kb | OK | 10 |
| 5 | 364ms | 4328kb | OK | 10 |
| 6 | 4ms | 728kb | OK | 10 |
| 7 | 88ms | 2256kb | OK | 10 |
| 8 | 188ms | 3224kb | OK | 10 |
| 9 | 352ms | 4332kb | OK | 10 |
| 10 | 372ms | 4328kb | OK | 10 |
| Punctaj total | 100 |