root
file
detailed [2650..2674]
prev
next
detailed results (3296 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.induction2.cvc.smt2
(content)
unknown
sat
11s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.induction2.cvc.smt2
(content)
sat
sat
0.281s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.induction.cvc.smt2
(content)
unknown
sat
10.7s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.induction.cvc.smt2
(content)
sat
sat
0.125s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.base.cvc.smt2
(content)
unknown
unsat
11s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-17.base.cvc.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction3.cvc.smt2
(content)
unknown
sat
10.8s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction3.cvc.smt2
(content)
sat
sat
0.198s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction2.cvc.smt2
(content)
timeout
sat
12.0s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction2.cvc.smt2
(content)
sat
sat
0.129s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction.cvc.smt2
(content)
unknown
sat
11s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.induction.cvc.smt2
(content)
sat
sat
0.122s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.base.cvc.smt2
(content)
timeout
unsat
12.8s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-16.base.cvc.smt2
(content)
unsat
unsat
4.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction3.cvc.smt2
(content)
unknown
sat
10.3s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction3.cvc.smt2
(content)
sat
sat
0.114s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction2.cvc.smt2
(content)
unknown
sat
10.9s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction2.cvc.smt2
(content)
sat
sat
0.192s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction.cvc.smt2
(content)
timeout
sat
12.8s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.induction.cvc.smt2
(content)
sat
sat
0.145s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.base.cvc.smt2
(content)
timeout
unsat
12.7s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-15.base.cvc.smt2
(content)
unsat
unsat
1.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-14.induction3.cvc.smt2
(content)
timeout
sat
12.5s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-14.induction3.cvc.smt2
(content)
sat
sat
0.200s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-14.induction2.cvc.smt2
(content)
timeout
sat
13.7s