-
Notifications
You must be signed in to change notification settings - Fork 0
A CDCL SAT solver in C++23
License
poyea/whetstone
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
benchmark answer time confl dec prop rst --------------------------------------------------------------------------------------------- color-v10-e15-k3.cnf SAT 0.001s 0 4 30 1 php-10-9.cnf TO 30.0s php-6-5.cnf UNSAT 0.005s 139 163 1.6K 1 php-7-6.cnf UNSAT 0.007s 856 1.0K 11.6K 1 php-8-7.cnf UNSAT 0.073s 11.2K 14.3K 135.8K 131 php-9-8.cnf UNSAT 1.561s 289.8K 430.5K 4.2M 4856 queens-10.cnf SAT 0.003s 37 52 761 1 queens-12.cnf SAT 0.004s 67 89 1.4K 1 queens-8.cnf SAT 0.003s 8 12 190 1 random-3sat-sat-100.cnf SAT 0.001s 2 54 171 1 random-3sat-sat-200.cnf SAT 0.002s 41 113 1.5K 1 random-3sat-sat-50.cnf SAT 0.001s 9 28 188 1 random-3sat-thresh-100.cnf SAT 0.002s 18 46 394 1 random-3sat-thresh-150.cnf UNSAT 0.022s 3.0K 3.4K 92.6K 1 random-3sat-thresh-200.cnf SAT 0.132s 17.4K 23.2K 693.6K 261 random-3sat-thresh-50.cnf SAT 0.002s 41 62 656 1 --------------------------------------------------------------------------------------------- solved: 15/16 total time: 1.819s
About
A CDCL SAT solver in C++23
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published