Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/spence/ medium/s57-100.cnf | UNSAT | 1.52977 | 1.53302 | 316268 |
crafted/spence/ medium/s61-100.cnf | UNSAT | 3.56446 | 3.56781 | 316108 |
crafted/spence/ medium/s65-100.cnf | UNSAT | 7.62984 | 7.63559 | 316428 |
crafted/spence/ medium/s69-100.cnf | UNSAT | 17.6163 | 17.6236 | 316188 |
crafted/spence/ medium/s73-100.cnf | UNSAT | 39.9049 | 39.9186 | 316308 |
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf | UNSAT | 56.1495 | 56.1707 | 332485 |
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf | UNSAT | 62.6475 | 62.7176 | 332233 |
crafted/spence/ medium/s77-100.cnf | UNSAT | 86.6138 | 86.6388 | 316068 |
crafted/spence/ medium/s81-100.cnf | UNSAT | 192.727 | 192.78 | 316148 |
crafted/spence/ medium/s85-100.cnf | UNSAT | 417.319 | 417.469 | 316388 |
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf | UNSAT | 947.764 | 948.038 | 333283 |
crafted/spence/ medium/s89-100.cnf | UNSAT | 980.515 | 980.852 | 316348 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf | SAT | 108.85 | 108.885 | 333493 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf | SAT | 234.551 | 234.62 | 333451 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/ xinetd/itox_vc1033.cnf | SAT | 698.672 | 698.901 | 321003 |