Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug1.opb | Signal 11 (SIGSEGV) | 0.004998 | 0.00781299 | 452767 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | Signal 11 (SIGSEGV) | 90.6962 | 173.537 | 452738 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb | SAT | 0 | 0.005998 | 0.00803903 | 433388 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb | SAT | 0 | 0.05999 | 0.062583 | 433391 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb | SAT | 0 | 0.06499 | 0.0678519 | 433390 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb | SAT | 0 | 0.828873 | 0.830409 | 433385 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb | SAT | 0 | 24.0233 | 24.0333 | 433380 |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | SAT | 0 | 50.7243 | 50.7467 | 433124 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb | SAT | 0 | 254.862 | 254.965 | 433383 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb | ? (TO) | 1800.02 | 1800.61 | 433382 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb | ? (TO) | 1800.03 | 1800.81 | 433381 | |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb | ? (TO) | 1800.04 | 1802.62 | 433123 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb | ? (TO) | 1800.04 | 1802.66 | 433387 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb | ? (TO) | 1800.06 | 1800.81 | 433386 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb | ? (TO) | 1800.06 | 1800.61 | 433389 | |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb | ? (TO) | 1800.1 | 1800.81 | 433384 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb | ? (MO) | 1446.73 | 1446.7 | 457578 |