root
file
detailed [50..73]
prev
next
detailed results (74 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/v5/typed_v5l90041.cvc.smt2
(content)
error
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90035.cvc.smt2
(content)
error
unsat
0.017s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90031.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90002.cvc.smt2
(content)
error
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80075.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80062.cvc.smt2
(content)
error
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80014.cvc.smt2
(content)
error
sat
0.018s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l70035.cvc.smt2
(content)
error
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l60094.cvc.smt2
(content)
error
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l60060.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l60009.cvc.smt2
(content)
error
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l40074.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20076.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90036.cvc.smt2
(content)
error
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80060.cvc.smt2
(content)
error
sat
0.026s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80003.cvc.smt2
(content)
error
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70086.cvc.smt2
(content)
error
sat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70038.cvc.smt2
(content)
error
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70020.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70007.cvc.smt2
(content)
error
sat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l60005.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50088.cvc.smt2
(content)
error
sat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50074.cvc.smt2
(content)
error
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50072.cvc.smt2
(content)
error
sat
0.011s