Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #199559) | Borderou de evaluare (job #440099) | Borderou de evaluare (job #645967) | Borderou de evaluare (job #982341)
Borderou de evaluare (job #982341)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 12ms | 4208kb | Ok! | 10 |
| 2 | 12ms | 4192kb | Ok! | 10 |
| 3 | 12ms | 4208kb | Ok! | 10 |
| 4 | 8ms | 4248kb | Ok! | 10 |
| 5 | 12ms | 4640kb | Ok! | 10 |
| 6 | 16ms | 4636kb | Ok! | 10 |
| 7 | 28ms | 6044kb | Ok! | 10 |
| 8 | 64ms | 8088kb | Ok! | 10 |
| 9 | 216ms | 15900kb | Ok! | 10 |
| 10 | 12ms | 4608kb | Ok! | 10 |
| Punctaj total | 100 |