Pagini recente » Problema satisfabilităţii formulelor logice de ordinul doi | Borderou de evaluare (job #800198) | Borderou de evaluare (job #1075431) | Borderou de evaluare (job #1592391) | Borderou de evaluare (job #2802738)
Borderou de evaluare (job #2802738)
Raport evaluator
Compilare:
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 9ms | 9805kb | OK | 5 |
| 2 | 8ms | 9846kb | OK | 5 |
| 3 | 13ms | 9875kb | OK | 5 |
| 4 | 18ms | 9842kb | OK | 5 |
| 5 | 13ms | 9838kb | OK | 5 |
| 6 | 21ms | 7753kb | OK | 5 |
| 7 | 11ms | 9842kb | OK | 5 |
| 8 | 8ms | 9875kb | OK | 5 |
| 9 | 157ms | 12427kb | OK | 5 |
| 10 | 194ms | 12951kb | OK | 5 |
| 11 | 217ms | 13418kb | OK | 5 |
| 12 | 235ms | 13963kb | OK | 5 |
| 13 | 205ms | 14508kb | OK | 5 |
| 14 | 262ms | 14983kb | OK | 5 |
| 15 | 500ms | 15527kb | Time limit exceeded | 0 |
| 16 | 330ms | 16015kb | OK | 5 |
| 17 | 274ms | 16609kb | OK | 5 |
| 18 | 319ms | 17080kb | OK | 5 |
| 19 | 506ms | 17330kb | Time limit exceeded | 0 |
| 20 | 505ms | 17010kb | Time limit exceeded | 0 |
| Punctaj total | 85 |