detailed results (632 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout unsat 19.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout unsat 17.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) timeout unsat 17.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) timeout unsat 18.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_2-pieceTemplate.smt2 (content) timeout unsat 18.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout unsat 14s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout unsat 13.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout unsat 14.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) timeout unsat 14.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timeout unsat 15.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout unknown 14.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) timeout unknown 14.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) timeout unsat 13s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/BradleyMannaSipma-2005ICALP-Fig1-deterministic.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) timeout unsat 14.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/BradleyMannaSipma-2005ICALP-Fig1-deterministic.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timeout unsat 14.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/BenAmram-2010LMCS-Ex2.3.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout unsat 17.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/BenAmram-2010LMCS-Ex2.3.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timeout unsat 16s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/Ultimate/2013POPL-BenAmGen-Ex4.2.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout unsat 13.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout unsat 17.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout sat 14.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) timeout sat 13.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) timeout unsat 14.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) timeout unsat 13.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 13.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 17.8s