root
file
detailed [125..149]
prev
next
detailed results (150 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2
(content)
error
unsat
0.009s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2
(content)
timeout
unsat
13.3s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2
(content)
unsat
unsat
0.071s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2
(content)
error
unsat
0.009s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2
(content)
unsat
unsat
0.026s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2
(content)
unsat
unsat
0.127s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2
(content)
error
sat
0.010s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2
(content)
timeout
sat
12.8s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2
(content)
sat
sat
0.075s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2
(content)
error
sat
0.017s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2
(content)
timeout
sat
13.5s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2
(content)
sat
sat
0.070s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2
(content)
error
unsat
0.009s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2
(content)
timeout
unsat
11.3s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2
(content)
unsat
unsat
0.047s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2
(content)
error
sat
0.016s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2
(content)
timeout
sat
12.0s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2
(content)
sat
sat
0.053s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2
(content)
error
unsat
0.009s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2
(content)
timeout
unsat
12.7s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2
(content)
unsat
unsat
0.049s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2
(content)
error
unsat
0.014s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2
(content)
timeout
unsat
11.1s
z3
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2
(content)
unsat
unsat
0.065s
mc2
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l60069.cvc.smt2
(content)
error
unsat
0.008s