detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn534.smt2 (content) sat sat 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn534.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn533.smt2 (content) sat sat 0.237s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn533.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn532.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn532.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn531.smt2 (content) sat sat 0.639s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn531.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn530.smt2 (content) sat sat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn530.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn529.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn529.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn528.smt2 (content) unsat unsat 0.503s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn528.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn527.smt2 (content) sat sat 0.301s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn527.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn526.smt2 (content) sat sat 0.357s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn526.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn525.smt2 (content) sat sat 0.277s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn525.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn524.smt2 (content) unsat unsat 0.310s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn524.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn523.smt2 (content) sat sat 0.366s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn523.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn522.smt2 (content) sat sat 0.209s