detailed results (670 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) timeout sat 14.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) timeout sat 13.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) timeout sat 13.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) timeout sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) timeout sat 10.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_4-pieceTemplate.smt2 (content) timeout sat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration7_Loop_7-phaseTemplate.smt2 (content) timeout sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) timeout sat 15.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_5-phaseTemplate.smt2 (content) timeout sat 13.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) timeout sat 14.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration8_Loop_7-phaseTemplate.smt2 (content) timeout sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration10_Loop_4-pieceTemplate.smt2 (content) timeout sat 13.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/loop3.t2.c_Iteration25_Lasso_4-pieceTemplate.smt2 (content) timeout sat 16.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2 (content) timeout unsat 15.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_6-phaseTemplate.smt2 (content) timeout unsat 14.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_4-pieceTemplate.smt2 (content) timeout unsat 13.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_3-pieceTemplate.smt2 (content) timeout unsat 13.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_2-pieceTemplate.smt2 (content) timeout unsat 15.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) timeout sat 15.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) timeout sat 20.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_5-phaseTemplate.smt2 (content) timeout sat 15.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) timeout sat 17.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-phaseTemplate.smt2 (content) timeout sat 14.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-lexTemplate.smt2 (content) timeout sat 15.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_3-pieceTemplate.smt2 (content) timeout sat 16s