| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick | tests/unsat/v1l50092.cvc.smt2(content) | sat | unsat | 0.018s |
| sidekick | tests/unsat/data_acycl_if.smt2(content) | sat | unsat | 0.009s |
| sidekick | tests/unsat/data_acycl1.smt2(content) | sat | unsat | 0.013s |
| sidekick | tests/sat/v5l90073.cvc.smt2(content) | sat | sat | 0.015s |
| sidekick | tests/sat/v3l30062.cvc.smt2(content) | sat | sat | 0.012s |
| sidekick | tests/sat/v1l20060.cvc.smt2(content) | sat | sat | 0.013s |
| sidekick | tests/sat/v1l20001.cvc.smt2(content) | sat | sat | 0.012s |
| sidekick | tests/sat/test-010.smt2(content) | sat | sat | 0.009s |
| sidekick | tests/sat/test-007.smt2(content) | sat | sat | 0.012s |
| sidekick | tests/sat/test-006.smt2(content) | sat | sat | 0.012s |
| sidekick | tests/sat/test-002.smt2(content) | sat | sat | 0.013s |