Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
gmus/belov/ nusmvguidancep5.aig.k25.gcnf | No Cert. | 1800.03 | 1800.04 | 3501516 |
gmus/belov/ viscoherencep3.aig.k20.gcnf | No Cert. | 1800.1 | 1800.04 | 3501495 |
gmus/belov/ pdtvisns3p08.aig.k15.gcnf | No Cert. | 1800.12 | 1800.06 | 3501558 |