Git Product home page Git Product logo

Comments (1)

shnarazk avatar shnarazk commented on June 11, 2024

base: dev-0.2.2

# sat-bench 0.6.1, timeout:510 on demorgan @ 2019-12-24T17:57:22
# ~/.cargo/bin/splr (splr 0.2.2-dev.0) @ 2019-12-24T17:57:10
solver,       num,                 target,    time
"splr",         1,           "UF250(100)", 125.528
"splr",         2,          "UUF250(100)", 391.485
"splr",         3, "3/SAT/v360-c1530/002",  93.333
"splr",         4, "3/SAT/v360-c1530/030", 279.968
"splr",         5, "3/SAT/v360-c1530/033",  11.974
"splr",         6, "3/SAT/v360-c1530/035",  14.960
"splr",         7, "3/SAT/v360-c1530/039",   ABORT
"splr",         8, "3/SAT/v360-c1530/051",   ABORT
"splr",         9, "3/SAT/v360-c1530/060",   ABORT
"splr",        10, "3/SAT/v360-c1530/073", 108.163
"splr",        11, "3/SAT/v360-c1530/087", 100.646
"splr",        12, "3/SAT/v360-c1530/093", 138.353
"splr",        13, "3/UNS/v360-c1530/001",   ABORT
"splr",        14, "3/UNS/v360-c1530/015", 325.093
"splr",        15, "3/UNS/v360-c1530/028", 489.470
"splr",        16, "3/UNS/v360-c1530/029",   ABORT
"splr",        17, "3/UNS/v360-c1530/031",   ABORT
"splr",        18, "3/UNS/v360-c1530/053", 379.220
"splr",        19, "3/UNS/v360-c1530/061",   ABORT
"splr",        20, "3/UNS/v360-c1530/086", 296.291
"splr",        21, "3/UNS/v360-c1530/089", 367.831
"splr",        22, "3/UNS/v360-c1530/096", 203.396
"splr",        23,          "SR2015/itox",   1.691
"splr",        24,          "SR2015/m283",  59.258
"splr",        25,           "SR2015/38b",  34.372
"splr",        26,           "SR2015/44b", 117.917

commit 73a5699

"splr",         1,           "UF250(100)", 132.203
"splr",         2,          "UUF250(100)", 368.384
"splr",         3, "3/SAT/v360-c1530/002", 314.685
"splr",         4, "3/SAT/v360-c1530/030", 344.352
"splr",         5, "3/SAT/v360-c1530/033",  40.731
"splr",         6, "3/SAT/v360-c1530/035",  73.324
"splr",         7, "3/SAT/v360-c1530/039",   ABORT
"splr",         8, "3/SAT/v360-c1530/051", 465.758
"splr",         9, "3/SAT/v360-c1530/060",   ABORT
"splr",        10, "3/SAT/v360-c1530/073",  23.994
"splr",        11, "3/SAT/v360-c1530/087",  16.906
"splr",        12, "3/SAT/v360-c1530/093",  17.496
"splr",        13, "3/UNS/v360-c1530/001", 492.342
"splr",        14, "3/UNS/v360-c1530/015", 325.968
"splr",        15, "3/UNS/v360-c1530/028", 476.926
"splr",        16, "3/UNS/v360-c1530/029",   ABORT
"splr",        17, "3/UNS/v360-c1530/031", 492.500
"splr",        18, "3/UNS/v360-c1530/053", 355.292
"splr",        19, "3/UNS/v360-c1530/061",   ABORT
"splr",        20, "3/UNS/v360-c1530/086", 240.469
"splr",        21, "3/UNS/v360-c1530/089", 352.583
"splr",        22, "3/UNS/v360-c1530/096", 253.425
"splr",        23,          "SR2015/itox",   1.663
"splr",        24,          "SR2015/m283",  54.409
"splr",        25,           "SR2015/38b",  19.469
"splr",        26,           "SR2015/44b", 152.407

from splr.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.