Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf | Signal 11 | 7.68783 | 7.7009 | 1626817 |
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf | Signal 11 | 470.474 | 470.687 | 1626835 |
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf | Signal 11 | 473.34 | 473.564 | 1626761 |
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf | Signal 11 | 495.975 | 496.283 | 1626743 |
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf | Signal 11 | 1842.08 | 1842.88 | 1626615 |