root
file
detailed [75..99]
prev
next
detailed results (751 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
1.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration4_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
1.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
3.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
2.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_6-phaseTemplate.smt2
(content)
unsat
sat
3.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
2.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
0.542s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/efegp.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
unsat
unsat
0.598s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/efegp.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2
(content)
unsat
unsat
0.711s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/dropbuf.t2.c_Iteration3_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
2.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/dropbuf.t2.c_Iteration3_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
3.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration2_Loop_7-phaseTemplate.smt2
(content)
unsat
unsat
4s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration2_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
2.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration2_Loop_3-pieceTemplate.smt2
(content)
unsat
sat
1.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration1_Loop_7-phaseTemplate.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration1_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
4.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/disj_nightmare.t2.c_Iteration1_Loop_3-pieceTemplate.smt2
(content)
unsat
sat
3.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/curious4.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/consts1.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
unsat
sat
0.273s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration3_Loop_7-phaseTemplate.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration1_Loop_4-pieceTemplate.smt2
(content)
unsat
unsat
0.841s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/byron-2.t2.c_Iteration2_Loop_7-phaseTemplate.smt2
(content)
unsat
sat
3.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/byron-2.t2.c_Iteration2_Loop_4-pieceTemplate.smt2
(content)
unsat
sat
1.5s