Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #973167) | Borderou de evaluare (job #2738705) | Problema satisfiabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #2850384)
Borderou de evaluare (job #2850384)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 2ms | 184kb | OK | 10 |
| 2 | 2ms | 184kb | OK | 10 |
| 3 | 2ms | 184kb | OK | 10 |
| 4 | 2ms | 184kb | OK | 10 |
| 5 | 2ms | 184kb | OK | 10 |
| 6 | 2ms | 184kb | OK | 10 |
| 7 | 6ms | 311kb | OK | 10 |
| 8 | 6ms | 303kb | OK | 10 |
| 9 | 6ms | 258kb | OK | 10 |
| 10 | 6ms | 315kb | OK | 10 |
| Punctaj total | 100 |