root
file
detailed [2600..2624]
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-11.induction.cvc.smt2
(content)
timeout
sat
13.5s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-11.induction.cvc.smt2
(content)
sat
sat
0.065s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-11.base.cvc.smt2
(content)
unknown
unsat
10.6s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-11.base.cvc.smt2
(content)
unsat
unsat
0.849s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction3.cvc.smt2
(content)
timeout
sat
12.7s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction3.cvc.smt2
(content)
sat
sat
0.067s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction2.cvc.smt2
(content)
unknown
sat
10.6s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction2.cvc.smt2
(content)
sat
sat
0.128s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction.cvc.smt2
(content)
timeout
sat
13.9s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.induction.cvc.smt2
(content)
sat
sat
0.041s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.base.cvc.smt2
(content)
unknown
unsat
10.2s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sc/sc-10.base.cvc.smt2
(content)
unsat
unsat
0.760s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-4.smt2
(content)
sat
sat
0.143s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-4.smt2
(content)
sat
sat
0.031s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-3.smt2
(content)
sat
sat
0.154s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-3.smt2
(content)
sat
sat
0.037s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-2.smt2
(content)
unsat
unsat
0.045s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-2.smt2
(content)
unsat
unsat
0.038s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-1.smt2
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe2-1.smt2
(content)
unsat
unsat
0.018s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe-4.smt2
(content)
sat
sat
0.130s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe-4.smt2
(content)
sat
sat
0.033s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe-3.smt2
(content)
sat
sat
0.090s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe-3.smt2
(content)
sat
sat
0.027s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-safe-2.smt2
(content)
unsat
unsat
0.021s