root
file
detailed
prev
next
detailed results (10 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-556101.smt2
(content)
unsat
unknown
9.4s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-413064.smt2
(content)
unsat
unknown
1.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-343414.smt2
(content)
unsat
unknown
0.916s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-251380.smt2
(content)
unsat
unknown
0.866s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.smt2
(content)
sat
unknown
0.214s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
sat
unknown
0.211s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_overflow1.i_3_8_2.bpl_11.smt2
(content)
sat
unknown
0.161s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_nested9.i_5_6_6.bpl_7.smt2
(content)
sat
unknown
1.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_gj2007.c.i_4_3_3.bpl_11.smt2
(content)
unsat
unknown
0.654s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_array_ptr_single_elem_init.i_4_2_2.bpl_7.smt2
(content)
sat
unknown
0.236s