root
file
detailed [2450..2474]
prev
next
detailed results (3296 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-14.smt2
(content)
unknown
unsat
10.9s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-14.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-13.smt2
(content)
unknown
unsat
10.4s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-13.smt2
(content)
unsat
unsat
0.069s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-12.smt2
(content)
timeout
unsat
11.5s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-12.smt2
(content)
unsat
unsat
0.083s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-11.smt2
(content)
unknown
unsat
11.2s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-11.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-10.smt2
(content)
timeout
unsat
11.1s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-10.smt2
(content)
unsat
unsat
0.077s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-1.smt2
(content)
unsat
unsat
0.081s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-1.smt2
(content)
unsat
unsat
0.015s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-9.smt2
(content)
timeout
unsat
11.7s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-9.smt2
(content)
unsat
unsat
0.030s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-8.smt2
(content)
unknown
unsat
10.6s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-8.smt2
(content)
unsat
unsat
0.036s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-7.smt2
(content)
unknown
unsat
12.4s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-7.smt2
(content)
unsat
unsat
0.028s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-6.smt2
(content)
unknown
unsat
10.5s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-6.smt2
(content)
unsat
unsat
0.017s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-5.smt2
(content)
unknown
unsat
12.4s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-5.smt2
(content)
unsat
unsat
0.021s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-4.smt2
(content)
unsat
unsat
3.6s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-4.smt2
(content)
unsat
unsat
0.017s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-3.smt2
(content)
unsat
unsat
1.3s