detailed results (3047 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn283.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn279.smt2 (content) sat sat 0.173s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn278.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn277.smt2 (content) sat sat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn276.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn275.smt2 (content) sat sat 0.172s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn274.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn273.smt2 (content) sat sat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn272.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn271.smt2 (content) sat sat 0.111s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn270.smt2 (content) sat sat 0.140s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn268.smt2 (content) sat sat 0.143s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn267.smt2 (content) sat sat 0.186s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn265.smt2 (content) sat sat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn264.smt2 (content) sat sat 0.278s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn263.smt2 (content) sat sat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn262.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn261.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn260.smt2 (content) sat sat 0.248s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn259.smt2 (content) sat sat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn256.smt2 (content) sat sat 0.183s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn255.smt2 (content) sat sat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn254.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn253.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn251.smt2 (content) sat sat 0.123s