root
file
detailed [275..299]
prev
next
detailed results (454 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-4.smt2
(content)
unsat
unsat
0.016s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-3.smt2
(content)
unsat
unsat
0.017s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-2.smt2
(content)
unsat
unsat
0.017s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-16.smt2
(content)
unsat
unsat
0.196s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-15.smt2
(content)
unsat
unsat
0.149s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-14.smt2
(content)
unsat
unsat
0.142s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-13.smt2
(content)
unsat
unsat
0.106s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-12.smt2
(content)
unsat
unsat
0.088s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-11.smt2
(content)
unsat
unsat
0.046s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-10.smt2
(content)
unsat
unsat
0.069s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-1.smt2
(content)
unsat
unsat
0.022s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-6.smt2
(content)
unsat
unsat
0.046s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-5.smt2
(content)
unsat
unsat
0.024s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-4.smt2
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-3.smt2
(content)
unsat
unsat
0.017s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-2.smt2
(content)
unsat
unsat
0.014s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-nosafe-1.smt2
(content)
unsat
unsat
0.012s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-9.smt2
(content)
unsat
unsat
0.066s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-8.smt2
(content)
unsat
unsat
0.049s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-7.smt2
(content)
unsat
unsat
0.050s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-6.smt2
(content)
unsat
unsat
0.030s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-5.smt2
(content)
unsat
unsat
0.022s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-4.smt2
(content)
unsat
unsat
0.017s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-3.smt2
(content)
unsat
unsat
0.015s
z3
/home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-20.smt2
(content)
unsat
unsat
0.086s