detailed results (9583 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) error sat 0.309s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_5-nestedTemplate.smt2 (content) error sat 0.168s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_4-phaseTemplate.smt2 (content) error sat 0.214s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_4-nestedTemplate.smt2 (content) error sat 0.137s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_3-phaseTemplate.smt2 (content) error sat 0.149s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) error sat 0.750s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_7-nestedTemplate.smt2 (content) error sat 0.174s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error sat 0.491s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_6-nestedTemplate.smt2 (content) error sat 0.153s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) error sat 0.263s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_5-nestedTemplate.smt2 (content) error sat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unknown 0.606s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_4-phaseTemplate.smt2 (content) error sat 0.158s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_4-lexTemplate.smt2 (content) error sat 0.222s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error sat 0.404s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_3-lexTemplate.smt2 (content) error sat 0.139s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_2-pieceTemplate.smt2 (content) error sat 0.217s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled100.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) error sat 0.360s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled100.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error sat 0.241s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled100.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) error sat 0.153s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled100.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error sat 0.328s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled100.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error sat 0.195s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/bound-scaled600.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 0.671s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/bound-scaled600.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) error sat 0.193s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/bound-scaled600.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error sat 0.368s