detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unsat 0.397s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat sat 0.238s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat sat 0.208s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat sat 0.224s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unsat 0.347s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat sat 0.542s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn552.smt2 (content) sat sat 0.334s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn552.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn551.smt2 (content) unsat unsat 0.399s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn551.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn550.smt2 (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn550.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn549.smt2 (content) sat sat 0.165s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn549.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn548.smt2 (content) sat sat 0.763s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn548.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn547.smt2 (content) sat sat 0.360s