detailed results (9583 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-DepotsNum_s8.msat.smt2 (content) error sat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-3-bucket_s10.smt2 (content) error sat 0.040s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-2-bucket_s11.smt2 (content) error sat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-1-bucket_s9.smt2 (content) error sat 0.048s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) error sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s13.smt2 (content) error sat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s10.smt2 (content) error sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 0.201s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 0.134s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 0.150s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_4-phaseTemplate.smt2 (content) error sat 0.057s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 0.153s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) error sat 0.054s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 0.093s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 0.064s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 0.264s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 0.156s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) error sat 0.099s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 0.192s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 0.108s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_7-nestedTemplate.smt2 (content) error sat 0.197s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error sat 0.498s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_6-nestedTemplate.smt2 (content) error sat 0.194s