Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #189922) | Borderou de evaluare (job #463224) | Borderou de evaluare (job #2011668) | Borderou de evaluare (job #836951)
Borderou de evaluare (job #836951)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 4ms | 2436kb | OK | 10 |
| 2 | 4ms | 2436kb | OK | 10 |
| 3 | 4ms | 2440kb | OK | 10 |
| 4 | 8ms | 2532kb | OK | 10 |
| 5 | 20ms | 2956kb | OK | 10 |
| 6 | 28ms | 3832kb | OK | 10 |
| 7 | 96ms | 6108kb | OK | 10 |
| 8 | 220ms | 9760kb | OK | 10 |
| 9 | 240ms | 12860kb | OK | 10 |
| 10 | 204ms | 6560kb | OK | 10 |
| Punctaj total | 100 |