Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #315809) | Borderou de evaluare (job #489089) | Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #2646064)
Borderou de evaluare (job #2646064)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 2ms | 131kb | OK | 10 |
| 2 | 2ms | 131kb | OK | 10 |
| 3 | 4ms | 131kb | OK | 10 |
| 4 | 4ms | 262kb | OK | 10 |
| 5 | 23ms | 655kb | OK | 10 |
| 6 | 44ms | 1179kb | OK | 10 |
| 7 | 57ms | 1441kb | OK | 10 |
| 8 | 142ms | 3141kb | OK | 10 |
| 9 | 93ms | 1966kb | OK | 10 |
| 10 | 251ms | 4972kb | OK | 10 |
| Punctaj total | 100 |