detailed results (3050 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-3-bucket_s10.smt2 (content) sat sat 5.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/TM/p-2-bucket_s11.smt2 (content) unsat sat 0.369s
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-2-bucket_s11.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/TM/p-1-bucket_s9.smt2 (content) unsat sat 0.729s
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-1-bucket_s9.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s7.smt2 (content) unsat sat 0.151s
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s7.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s13.smt2 (content) unsat sat 0.374s
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s13.smt2 (content) sat sat 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s10.smt2 (content) unsat sat 0.351s
z3 /home/simon/w/sidekick/tests/QF_LRA/TM/p-0-bucket_s10.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) unsat unsat 0.229s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) unsat unsat 8.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) unsat sat 1.8s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout sat 11.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) unsat sat 0.901s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) unsat unsat 0.569s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) unsat unsat 9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) timeout unsat 11.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) unsat sat 0.832s
z3 /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/joey_false-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) sat sat 3.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 11.3s