detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error sat 0.052s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_2-pieceTemplate.smt2 (content) error sat 0.033s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_2-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) error sat 0.132s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_4-pieceTemplate.smt2 (content) error sat 0.105s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration5_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) error sat 0.052s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) error sat 0.056s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) error sat 0.126s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) error sat 0.124s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_6-phaseTemplate.smt2 (content) error sat 0.076s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_6-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_4-pieceTemplate.smt2 (content) error sat 0.101s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) error sat 0.052s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_4-pieceTemplate.smt2 (content) error sat 0.042s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s