diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-24 19:14:01 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-24 19:14:01 +0000 |
| commit | 6809eb4a11f5cf2188f6492c683c9183045419a3 (patch) | |
| tree | 5fceaa9ed3800f546ae846f112289a6194c36bc2 /src/prop | |
| parent | 5ebe47d38892131b96521a729c915365a3369110 (diff) | |
two smaller random pure LRA push-pop cases that fail
dejan@church:~/workspace/fuzz/problems$ ./check.sh arith_lra_01.smt2
z3: sat sat sat sat sat sat sat sat sat unsat sat sat sat sat sat unsat sat
cvc4: sat sat sat sat sat sat sat sat sat unsat sat sat sat sat sat unsat unsat
dejan@church:~/workspace/fuzz/problems$ ./check.sh arith_lra_02.smt2
z3: sat sat sat sat sat sat sat sat sat sat sat sat sat sat sat unsat unsat sat
cvc4: sat sat sat sat sat sat sat sat sat sat sat sat sat sat sat unsat unsat unsat
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions