Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 61.9436 | 62.1565 | 332656 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 20.3249 | 20.3312 | 319858 |
industrial/grieu/ vmpc_26.cnf | SAT | 554.859 | 555.037 | 320063 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf | Signal 11 (SIGSEGV) | 1.86172 | 1.86389 | 328828 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf | Signal 11 (SIGSEGV) | 1.88271 | 1.88476 | 329206 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf | Signal 11 (SIGSEGV) | 2.25166 | 2.25188 | 328786 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf | Signal 11 (SIGSEGV) | 2.53661 | 2.53959 | 329122 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf | Signal 11 (SIGSEGV) | 3.22351 | 3.22743 | 329332 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf | Signal 11 (SIGSEGV) | 3.52646 | 3.52899 | 328912 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf | Signal 11 (SIGSEGV) | 3.61545 | 3.61794 | 329080 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf | Signal 11 (SIGSEGV) | 3.90441 | 3.90688 | 328954 |
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf | Signal 11 (SIGSEGV) | 4.04239 | 4.04341 | 329290 |
industrial/babic/ dspam/dspam_dump_vc1080.cnf | Signal 11 (SIGSEGV) | 20.4759 | 20.4841 | 318546 |