Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 768.16 | 768.661 | 333105 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 822.536 | 822.844 | 333021 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 164.771 | 164.823 | 319845 |
industrial/grieu/ vmpc_27.cnf | SAT | 563.626 | 563.841 | 319722 |