root
file
detailed [2525..2549]
prev
next
detailed results (3296 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-6.smt2
(content)
unsat
unsat
0.031s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-5.smt2
(content)
unsat
unsat
0.033s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-5.smt2
(content)
unsat
unsat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-4.smt2
(content)
unsat
unsat
0.038s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-4.smt2
(content)
unsat
unsat
0.028s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-3.smt2
(content)
unsat
unsat
0.028s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-3.smt2
(content)
unsat
unsat
0.027s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-20.smt2
(content)
timeout
sat
12.5s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-20.smt2
(content)
sat
sat
0.132s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-2.smt2
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-2.smt2
(content)
unsat
unsat
0.018s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-19.smt2
(content)
timeout
sat
14s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-19.smt2
(content)
sat
sat
0.066s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-18.smt2
(content)
timeout
sat
13.8s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-18.smt2
(content)
sat
sat
0.238s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-17.smt2
(content)
timeout
sat
13.0s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-17.smt2
(content)
sat
sat
0.137s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-16.smt2
(content)
unsat
unsat
3.4s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-16.smt2
(content)
unsat
unsat
0.174s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-15.smt2
(content)
unsat
unsat
3.5s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-15.smt2
(content)
unsat
unsat
0.162s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-14.smt2
(content)
unsat
unsat
2.2s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-14.smt2
(content)
unsat
unsat
0.142s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-13.smt2
(content)
unsat
unsat
1.4s
z3
/home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-13.smt2
(content)
unsat
unsat
0.113s