detailed results (5 total)

proverfileresexpectedtime
z3/home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_7-nestedTemplate.smt2(content)errorsat8.0s
z3/home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_6-nestedTemplate.smt2(content)errorsat9s
z3/home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/simple-scaled250.bpl_Iteration1_Lasso_5-nestedTemplate.smt2(content)errorsat8.9s
z3/home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_6-nestedTemplate.smt2(content)errorsat9.6s
z3/home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/simple-scaled200.bpl_Iteration1_Lasso_4-pieceTemplate.smt2(content)errorunknown8.6s