search

shnarazk / mios

A SAT solver written in Haskell.
https://gitlab.com/satisfiability01/mios/
GNU General Public License v3.0
39 stars 3 forks source link

start a new branch: 2018-01-NDL #74

Closed shnarazk closed 6 years ago

shnarazk commented 6 years ago 
solver, num, target, time
# 2018-01-31T18:19 mios-74; mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
# sat-benchmark 0.13.6, j=1, t=510, p='' on xingu @ 2018-01-31T18:19:58+09:00
"mios-74", 1, 250,       168.12
"mios-74", 2, "itox",    23.77
"mios-74", 3, "m283",    86.16
"mios-74", 4, "38b",     41.55
"mios-74", 5, "44b",     431.81

solver, num, target, time
# 2018-01-30T14:17 mios-73; mios-1.6.1WIP#72 #73 -- https://github.com/shnarazk/mios
# sat-benchmark 0.13.6, j=1, t=510, p='' on xingu @ 2018-01-31T18:33:02+09:00
"mios-73", 1, 250,       193.87
"mios-73", 2, "itox",    25.48
"mios-73", 3, "m283",    111.54
"mios-73", 4, "38b",     24.59
"mios-73", 5, "44b",     509.86