Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf | SAT | 6.96094 | 6.96475 | 332301 |
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf | SAT | 93.7817 | 93.8138 | 332427 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf | SAT | 320.876 | 321.073 | 333477 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_25.cnf | SAT | 46.8879 | 46.9072 | 319675 |
industrial/grieu/ vmpc_26.cnf | SAT | 154.748 | 154.787 | 320044 |
industrial/grieu/ vmpc_24.cnf | SAT | 413.219 | 413.345 | 319839 |
industrial/grieu/ vmpc_27.cnf | SAT | 1119.65 | 1120.03 | 319716 |