Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #115741) | Borderou de evaluare (job #592558) | Borderou de evaluare (job #2207196) | Borderou de evaluare (job #957236)
Borderou de evaluare (job #957236)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 360kb | OK | 10 |
| 2 | 4ms | 372kb | OK | 10 |
| 3 | 8ms | 388kb | OK | 10 |
| 4 | 32ms | 464kb | OK | 10 |
| 5 | 64ms | 504kb | OK | 10 |
| 6 | 100ms | 624kb | OK | 10 |
| 7 | 104ms | 696kb | OK | 10 |
| 8 | 144ms | 756kb | OK | 10 |
| 9 | 152ms | 752kb | OK | 10 |
| 10 | 148ms | 756kb | OK | 10 |
| Punctaj total | 100 |