root
file
detailed
prev
next
detailed results (1648 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20074.cvc.smt2
(content)
unknown
sat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20072.cvc.smt2
(content)
unknown
sat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20067.cvc.smt2
(content)
unknown
sat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20060.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20059.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20058.cvc.smt2
(content)
unknown
unsat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20057.cvc.smt2
(content)
unknown
sat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20056.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20053.cvc.smt2
(content)
unknown
sat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20052.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20050.cvc.smt2
(content)
unknown
unsat
11s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20047.cvc.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20046.cvc.smt2
(content)
unknown
unsat
10.2s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20044.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20042.cvc.smt2
(content)
unknown
sat
10.2s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20037.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20030.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20027.cvc.smt2
(content)
unknown
sat
10.3s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20026.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20025.cvc.smt2
(content)
unknown
unsat
10.4s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20022.cvc.smt2
(content)
unknown
sat
10.2s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20017.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20016.cvc.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20015.cvc.smt2
(content)
unknown
sat
10.3s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20014.cvc.smt2
(content)
unknown
sat
10.2s