detailed results (619 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_2-pieceTemplate.smt2 (content) sat unsat 6.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/heidy7.t2.c_Iteration2_Lasso_4-pieceTemplate.smt2 (content) sat unsat 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/heidy7-simple.t2.c_Iteration2_Lasso_4-pieceTemplate.smt2 (content) sat unsat 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/fun4.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) sat sat 4.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/fun4.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) sat sat 2.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/firewire.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 10.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/fir.t2.c_Iteration4_Loop_6-phaseTemplate.smt2 (content) sat sat 6.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/eric2.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 0.596s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/eric.t2.c_Iteration1_Lasso_2-pieceTemplate.smt2 (content) sat sat 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) sat sat 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) sat sat 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration5_Loop_6-phaseTemplate.smt2 (content) sat sat 9.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) sat sat 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.c.i.elmhes.pl.t2.fixed.t2.c_Iteration4_Loop_4-pieceTemplate.smt2 (content) sat sat 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/efegp.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) sat unsat 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/efegp.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) sat unsat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/curious4.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) sat unsat 4.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/consts1.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) sat sat 3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat unsat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2 (content) sat unsat 3.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/collatz.t2.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) sat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/bubbleSort.t2.c_Iteration3_Loop_4-pieceTemplate.smt2 (content) sat sat 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/bsort100.t2.c_Iteration13_Loop_4-pieceTemplate.smt2 (content) sat sat 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/broydn.c.i.broydn.pl.t2.fixed.t2.c_Iteration8_Loop_7-phaseTemplate.smt2 (content) sat sat 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/agafp.t2.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) sat unsat 0.546s