Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? (MO) | 32.0071 | 32.1438 | 331605 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf | ? (MO) | 32.1161 | 32.1486 | 331311 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? (MO) | 32.1201 | 32.152 | 331269 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf | ? (MO) | 32.1201 | 32.1409 | 331395 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf | ? (MO) | 32.1291 | 32.1397 | 331353 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf | ? (MO) | 32.2181 | 32.2385 | 331437 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? (MO) | 32.2291 | 32.2402 | 331227 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf | ? (MO) | 32.2291 | 32.2606 | 331521 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf | ? (MO) | 32.2531 | 32.3467 | 331563 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf | ? (MO) | 32.3321 | 32.3418 | 331479 |