detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ndes.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ndes.t2.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) error sat 0.164s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ndes.t2.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/mc91test.t2.c_Iteration6_Loop_4-pieceTemplate.smt2 (content) error sat 0.032s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/mc91test.t2.c_Iteration6_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) error sat 0.046s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) error sat 0.034s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/matrixsqrt.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration23_Loop_7-phaseTemplate.smt2 (content) error sat 0.071s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration23_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) error sat 0.144s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) error sat 0.117s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/magic.t2.c_Iteration12_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) error sat 0.165s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) error sat 0.105s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) error sat 0.123s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_7-phaseTemplate.smt2 (content) error sat 0.165s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) error sat 0.095s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) timeout sat 11s