root
file
detailed [650..674]
prev
next
detailed results (2043 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/v10/typed_v10l90025.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90024.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90023.cvc.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90022.cvc.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90021.cvc.smt2
(content)
unknown
sat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90020.cvc.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90019.cvc.smt2
(content)
unknown
sat
10.8s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90017.cvc.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90016.cvc.smt2
(content)
unknown
sat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90015.cvc.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90014.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90013.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90012.cvc.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90011.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90010.cvc.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90009.cvc.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90008.cvc.smt2
(content)
unknown
sat
10.9s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90007.cvc.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90005.cvc.smt2
(content)
unknown
sat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90004.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90003.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80100.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80098.cvc.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80096.cvc.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80094.cvc.smt2
(content)
unknown
unsat
10.5s