Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf | SAT | 60.5458 | 60.5664 | 333540 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf | SAT | 336.262 | 336.373 | 333414 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf | SAT | 392.733 | 392.846 | 333456 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf | SAT | 713.227 | 713.431 | 333498 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 337.049 | 337.163 | 319860 |
industrial/grieu/ vmpc_25.cnf | SAT | 502.214 | 502.441 | 319696 |
industrial/grieu/ vmpc_26.cnf | SAT | 660.182 | 660.438 | 320065 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.036993 | 0.0387861 | 314393 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf | Signal 11 (SIGSEGV) | 5.9231 | 5.92586 | 331434 |