Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #3359265) | Borderou de evaluare (job #3296171) | Borderou de evaluare (job #1462151) | Borderou de evaluare (job #2452841)
Borderou de evaluare (job #2452841)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 6ms | 1572kb | OK | 10 |
| 2 | 7ms | 1572kb | OK | 10 |
| 3 | 26ms | 1572kb | OK | 10 |
| 4 | 22ms | 1572kb | OK | 10 |
| 5 | 25ms | 1572kb | OK | 10 |
| 6 | 28ms | 1572kb | OK | 10 |
| 7 | 29ms | 1572kb | OK | 10 |
| 8 | 30ms | 1572kb | OK | 10 |
| 9 | 27ms | 1572kb | OK | 10 |
| 10 | 30ms | 1572kb | OK | 10 |
| Punctaj total | 100 |