detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unknown 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat unknown 0.178s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat unknown 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn558.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat unknown 0.167s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat unknown 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn557.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unknown 0.170s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unknown 0.176s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unknown 0.169s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat unknown 0.157s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat unknown 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn555.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unknown 0.211s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unknown 0.158s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unknown 0.160s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat unknown 0.258s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn553.smt2 (content) sat unknown 0.213s