Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 147.42 | 147.574 | 333146 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_25.cnf | SAT | 144.809 | 144.97 | 319680 |
industrial/grieu/ vmpc_24.cnf | SAT | 1146.97 | 1147.4 | 319844 |