Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #2849894) | Borderou de evaluare (job #2829580) | Borderou de evaluare (job #1986322) | Borderou de evaluare (job #2536682)
Borderou de evaluare (job #2536682)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 4ms | 262kb | OK | 10 |
| 2 | 3ms | 131kb | OK | 10 |
| 3 | 6ms | 393kb | OK | 10 |
| 4 | 10ms | 524kb | OK | 10 |
| 5 | 12ms | 524kb | OK | 10 |
| 6 | 21ms | 917kb | OK | 10 |
| 7 | 25ms | 917kb | OK | 10 |
| 8 | 97ms | 2228kb | OK | 10 |
| 9 | 72ms | 2228kb | OK | 10 |
| 10 | 3ms | 131kb | OK | 10 |
| Punctaj total | 100 |