Skip to content

Optimize impl From<i8> for LitBool #13

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Optimize impl From<i8> for LitBool #13

wants to merge 1 commit into from

Conversation

hatoo
Copy link

@hatoo hatoo commented Jan 20, 2021 •
edited
Loading

master

❯ cargo clean && cargo build --release --features=unsafe && ./benchmark.sh target/release/screwsat 60
   Compiling screwsat v2.1.1 (/home/hatoo/fork/screwsat)
    Finished release [optimized + debuginfo] target(s) in 1.96s
Time Limit... 60 s
mkdir: cannot create directory ‘benchmark’: File exists
Solving.... cnf/benchmark/sat/grieu-vmpc-s05-24s.cnf
Status: SAT Time: 6480 ms
Solving.... cnf/benchmark/sat/stric-bmc-ibm-10.cnf
Status: SAT Time: 907 ms
Solving.... cnf/benchmark/sat/sudoku_16.cnf
Status: SAT Time: 66 ms
Solving.... cnf/benchmark/sat/uf250-027.cnf
Status: SAT Time: 1661 ms
Solving.... cnf/benchmark/sat/uf250-034.cnf
Status: SAT Time: 2741 ms
Solving.... cnf/benchmark/unsat/manol-pipe-f6b.cnf
Status: UNSAT Time: 2331 ms
Solving.... cnf/benchmark/unsat/uuf250-010.cnf
Status: UNSAT Time: 16049 ms
Solving.... cnf/benchmark/unsat/uuf250-0100.cnf
Status: UNSAT Time: 23335 ms
Solving.... cnf/benchmark/unsat/uuf250-032.cnf
Status: UNSAT Time: 17006 ms
Solving.... cnf/benchmark/unsat/uuf250-085.cnf
Status: UNSAT Time: 11906 ms
SAT: 5 UNSAT: 5 UNKNOWN: 0
Total Time: 82482 ms

this

❯ cargo clean && cargo build --release --features=unsafe && ./benchmark.sh target/release/screwsat 60
   Compiling screwsat v2.1.1 (/home/hatoo/fork/screwsat)
    Finished release [optimized + debuginfo] target(s) in 1.96s
Time Limit... 60 s
mkdir: cannot create directory ‘benchmark’: File exists
Solving.... cnf/benchmark/sat/grieu-vmpc-s05-24s.cnf
Status: SAT Time: 6867 ms
Solving.... cnf/benchmark/sat/stric-bmc-ibm-10.cnf
Status: SAT Time: 932 ms
Solving.... cnf/benchmark/sat/sudoku_16.cnf
Status: SAT Time: 66 ms
Solving.... cnf/benchmark/sat/uf250-027.cnf
Status: SAT Time: 1604 ms
Solving.... cnf/benchmark/sat/uf250-034.cnf
Status: SAT Time: 2549 ms
Solving.... cnf/benchmark/unsat/manol-pipe-f6b.cnf
Status: UNSAT Time: 2420 ms
Solving.... cnf/benchmark/unsat/uuf250-010.cnf
Status: UNSAT Time: 14750 ms
Solving.... cnf/benchmark/unsat/uuf250-0100.cnf
Status: UNSAT Time: 21409 ms
Solving.... cnf/benchmark/unsat/uuf250-032.cnf
Status: UNSAT Time: 15325 ms
Solving.... cnf/benchmark/unsat/uuf250-085.cnf
Status: UNSAT Time: 10881 ms
SAT: 5 UNSAT: 5 UNKNOWN: 0
Total Time: 76803 ms

@hatoo hatoo force-pushed the mapping-lit_bool branch 2 times, most recently from a73e350 to 1ab5358 Compare January 20, 2021 22:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@hatoo