| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf | ? (exit code) | 1.70274 | 1.7136 | 3289845 |
| application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf | ? (exit code) | 1.88371 | 1.88451 | 3289983 |
| application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf | ? (exit code) | 3.68344 | 3.70296 | 3289891 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf | ? (exit code) | 7.07792 | 9.12561 | 3293755 |
| APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (exit code) | 16.3605 | 20.3489 | 3283037 |