root
file
detailed [550..574]
prev
next
detailed results (4422 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30086.cvc.smt2
(content)
unsat
unsat
0.086s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30079.cvc.smt2
(content)
unsat
unsat
0.179s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30077.cvc.smt2
(content)
unsat
unsat
0.207s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30075.cvc.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30071.cvc.smt2
(content)
unsat
unsat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30049.cvc.smt2
(content)
unsat
unsat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30047.cvc.smt2
(content)
unsat
unsat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30039.cvc.smt2
(content)
unsat
unsat
0.116s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30034.cvc.smt2
(content)
unsat
unsat
0.123s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30029.cvc.smt2
(content)
unsat
unsat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30022.cvc.smt2
(content)
unsat
unsat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30012.cvc.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30003.cvc.smt2
(content)
unsat
unsat
0.073s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20099.cvc.smt2
(content)
unsat
unsat
0.066s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20072.cvc.smt2
(content)
unsat
unsat
0.116s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20067.cvc.smt2
(content)
unsat
unsat
0.044s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20064.cvc.smt2
(content)
unsat
unsat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20029.cvc.smt2
(content)
unsat
unsat
0.107s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20028.cvc.smt2
(content)
unsat
unsat
0.048s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20018.cvc.smt2
(content)
unsat
unsat
0.092s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20015.cvc.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20012.cvc.smt2
(content)
unsat
unsat
0.071s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l20005.cvc.smt2
(content)
unsat
unsat
0.080s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90100.cvc.smt2
(content)
unsat
unsat
0.092s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90099.cvc.smt2
(content)
unsat
unsat
0.075s