Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? | 2.18767 | 2.18939 | 1719414 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 2.22966 | 2.24597 | 1719362 |
velev-vliw-uns-4.0-9C1.cnf | ? | 14.6288 | 14.6335 | 1723806 |
velev-vliw-uns-4.0-9-i1.cnf | ? | 29.0436 | 29.9414 | 1719726 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 8.99 | 9.01139 | 1563432 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf | SAT | 16.7515 | 16.7648 | 1538195 |
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf | SAT | 44.4882 | 44.5094 | 1538203 |
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf | SAT | 215.469 | 215.535 | 1538161 |
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf | SAT | 641.331 | 641.612 | 1538200 |
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf | SAT | 883.16 | 883.466 | 1538205 |