Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/narain/ clauses-8.cnf | ? | 0.003998 | 0.00690994 | 422437 |
industrial/palacios/hard/ safe-50-h49-unsat.cnf | ? | 0.004998 | 0.00727712 | 422355 |
industrial/fuhs/medium/ AProVE07-11.cnf | ? | 0.004998 | 0.00750589 | 422338 |
industrial/narain/ clauses-10.cnf | ? | 0.004999 | 0.00727504 | 422439 |
industrial/narain/ clauses-6.cnf | ? | 0.004999 | 0.00717607 | 422440 |
industrial/palacios/hard/ safe-50-h50-sat.cnf | ? | 0.006998 | 0.00740089 | 422354 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf | ? | 1050.45 | 1065.02 | 422516 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 1057.06 | 1084.32 | 422513 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf | ? | 1172.94 | 1190.04 | 422517 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf | ? | 1243.2 | 1257.12 | 422515 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? | 1246.98 | 1339.01 | 422522 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf | ? (MO) | 2642.94 | 2643.72 | 422364 |
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf | ? (MO) | 4203.89 | 4205.61 | 422352 |
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf | ? (MO) | 4890.98 | 4892.51 | 422357 |