Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf | SAT | 16.0666 | 16.0726 | 333541 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf | SAT | 617.326 | 617.505 | 333457 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 860.466 | 860.721 | 319861 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.037994 | 0.0396559 | 314394 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf | Wrong UNSAT | 453.921 | 454.197 | 330259 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf | Wrong UNSAT | 462.023 | 462.355 | 330553 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf | Wrong UNSAT | 465.848 | 465.997 | 330217 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf | Wrong UNSAT | 469.401 | 469.517 | 330805 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf | Wrong UNSAT | 483.995 | 484.174 | 330679 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf | Wrong UNSAT | 486.579 | 486.707 | 330301 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf | Wrong UNSAT | 491.861 | 492.072 | 330763 |