frat

frat copied to clipboard

Behavior difference between -ss and -s

1

Hello, We (@florianpollitt and I) are observing the following strange behavior on aws-c-common:aws_priority_queue_s_sift_either.cnf (SAT Comp 2022): ``` ./target/release/frat-rs elab proof.frat -s file.cnf proof.lrat elaborating... ``` takes forever (>10 hours, it...

m-fleury