Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | Wrong UNSAT | 0.085986 | 0.0879601 | 333070 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/narain/ clauses-6.cnf | Signal 11 (SIGSEGV) | 112.282 | 112.312 | 320672 |
industrial/narain/ clauses-8.cnf | Signal 11 (SIGSEGV) | 359.234 | 361.132 | 320549 |
industrial/narain/ clauses-10.cnf | Signal 11 (SIGSEGV) | 661.683 | 683.046 | 320631 |