detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411934/iso_brn279.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411933/iso_brn278.smt2 (content) sat sat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411933/iso_brn278.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411932/iso_brn277.smt2 (content) sat sat 0.058s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411932/iso_brn277.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411931/iso_brn276.smt2 (content) sat sat 0.068s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411931/iso_brn276.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411930/iso_brn275.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411930/iso_brn275.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411929/iso_brn274.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411929/iso_brn274.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411928/iso_brn273.smt2 (content) sat sat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411928/iso_brn273.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411927/iso_brn272.smt2 (content) sat sat 0.065s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411927/iso_brn272.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411926/iso_brn271.smt2 (content) sat sat 0.057s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411926/iso_brn271.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411925/iso_brn270.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411925/iso_brn270.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411924/iso_brn269.smt2 (content) unsat unsat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411924/iso_brn269.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411923/iso_brn268.smt2 (content) sat sat 0.113s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411923/iso_brn268.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411922/iso_brn267.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411922/iso_brn267.smt2 (content) sat sat 0.030s