Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/spence/ medium/s57-100.cnf | UNSAT | 1.43978 | 1.44157 | 316269 |
crafted/spence/ medium/s61-100.cnf | UNSAT | 3.38249 | 3.38387 | 316109 |
crafted/spence/ medium/s65-100.cnf | UNSAT | 7.48286 | 7.4864 | 316429 |
crafted/spence/ medium/s69-100.cnf | UNSAT | 16.8504 | 16.8564 | 316189 |
crafted/spence/ medium/s73-100.cnf | UNSAT | 38.3362 | 38.3387 | 316309 |
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf | UNSAT | 64.0953 | 64.1129 | 332486 |
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf | UNSAT | 79.5059 | 79.5941 | 332234 |
crafted/spence/ medium/s77-100.cnf | UNSAT | 82.6804 | 82.7053 | 316069 |
crafted/spence/ medium/s81-100.cnf | UNSAT | 185.838 | 185.894 | 316149 |
crafted/spence/ medium/s85-100.cnf | UNSAT | 401.976 | 402.074 | 316389 |
crafted/spence/ medium/s89-100.cnf | UNSAT | 939.25 | 939.688 | 316349 |
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf | UNSAT | 1055 | 1055.38 | 333284 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf | SAT | 124.252 | 124.29 | 333494 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf | SAT | 274.415 | 274.5 | 333452 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf | UNSAT | 0.988848 | 0.990994 | 319036 |
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf | UNSAT | 5.58315 | 5.5859 | 319200 |