Borderou de evaluare (job #2228666)
Raport evaluator
Compilare:
user.cpp: In member function ‘void sat_solver::find_ctcs()’:
user.cpp:54:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int i = 0; i < ctcs.size(); ++i)
~~^~~~~~~~~~~~~
| Test |
Timp executie |
Memorie folosita |
Mesaj |
Punctaj/test |
| 1 | 0ms | 1340kb | All OK! | 5 |
| 2 | 0ms | 1336kb | All OK! | 5 |
| 3 | 0ms | 1360kb | All OK! | 5 |
| 4 | 0ms | 1364kb | All OK! | 5 |
| 5 | 0ms | 1444kb | All OK! | 5 |
| 6 | 0ms | 1464kb | All OK! | 5 |
| 7 | 0ms | 1568kb | All OK! | 5 |
| 8 | 0ms | 1636kb | All OK! | 5 |
| 9 | 0ms | 1636kb | All OK! | 5 |
| 10 | 4ms | 1692kb | All OK! | 5 |
| 11 | 4ms | 1896kb | All OK! | 5 |
| 12 | 8ms | 2128kb | All OK! | 5 |
| 13 | 32ms | 3716kb | All OK! | 5 |
| 14 | 60ms | 4600kb | All OK! | 5 |
| 15 | 60ms | 5396kb | All OK! | 5 |
| 16 | 124ms | 9092kb | All OK! | 5 |
| 17 | 196ms | 13052kb | All OK! | 5 |
| 18 | 192ms | 18976kb | Killed by signal 11(SIGSEGV). | 0 |
| 19 | 200ms | 20892kb | Killed by signal 11(SIGSEGV). | 0 |
| 20 | 408ms | 41060kb | Killed by signal 11(SIGSEGV). | 0 |
| Punctaj total | 85 |
Tamio Vesa Nakajima tamionv