detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat sat 0.373s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat sat 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unsat 0.420s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat sat 0.384s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unsat 0.388s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat sat 0.642s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn552.smt2 (content) sat sat 0.635s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn552.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn551.smt2 (content) unsat unsat 0.444s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn551.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn550.smt2 (content) unsat unsat 0.347s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn550.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn549.smt2 (content) sat sat 0.410s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn549.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn548.smt2 (content) sat sat 0.274s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn548.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn547.smt2 (content) sat sat 0.453s