detailed results (531 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/sort.t2.c_Iteration5_Loop_7-phaseTemplate.smt2 (content) sat sat 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/smagillc-fail.t2.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/selectSort.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/selectSort.t2.c_Iteration3_Loop_4-pieceTemplate.smt2 (content) sat sat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/queens.t2.c_Iteration19_Loop_7-phaseTemplate.smt2 (content) sat sat 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/polyrank6.t2.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) sat sat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/polyrank4.t2.c_Iteration8_Loop_4-pieceTemplate.smt2 (content) sat unsat 0.258s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/polyrank4.t2.c_Iteration10_Loop_7-phaseTemplate.smt2 (content) sat sat 0.461s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/mc91test.t2.c_Iteration6_Loop_4-pieceTemplate.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) sat sat 2.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration23_Loop_7-phaseTemplate.smt2 (content) sat sat 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) sat sat 6.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) sat sat 7.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration7_Loop_7-phaseTemplate.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration7_Loop_6-phaseTemplate.smt2 (content) sat sat 0.709s
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) sat sat 4s
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) sat sat 2.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) sat sat 0.734s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration10_Loop_6-phaseTemplate.smt2 (content) sat sat 9.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/heidy7-simple.t2.c_Iteration2_Lasso_4-pieceTemplate.smt2 (content) sat unsat 5.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/firewire.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 10.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/fir.t2.c_Iteration4_Loop_6-phaseTemplate.smt2 (content) sat sat 8.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/eric2.t2.c_Iteration3_Loop_7-phaseTemplate.smt2 (content) sat sat 0.968s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/elmhes.t2.c_Iteration4_Loop_7-phaseTemplate.smt2 (content) sat sat 2.3s