root
file
detailed [325..349]
prev
next
detailed results (3582 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30015.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30014.cvc.smt2
(content)
sat
sat
0.025s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30013.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30011.cvc.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30010.cvc.smt2
(content)
sat
sat
0.029s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30009.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30008.cvc.smt2
(content)
sat
sat
0.029s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30007.cvc.smt2
(content)
sat
sat
0.029s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30006.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30005.cvc.smt2
(content)
sat
sat
0.030s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30004.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30002.cvc.smt2
(content)
sat
sat
0.026s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30001.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20100.cvc.smt2
(content)
sat
sat
0.030s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20098.cvc.smt2
(content)
sat
sat
0.029s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20097.cvc.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20096.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20095.cvc.smt2
(content)
sat
sat
0.031s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20094.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20093.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20092.cvc.smt2
(content)
sat
sat
0.029s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20091.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20090.cvc.smt2
(content)
sat
sat
0.027s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20089.cvc.smt2
(content)
sat
sat
0.028s
z3
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20088.cvc.smt2
(content)
sat
sat
0.032s