detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn984.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn984.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn983.smt2 (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn983.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat sat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat sat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat sat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat sat 0.141s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn978.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn978.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn977.smt2 (content) sat sat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn977.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn976.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn976.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn975.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn975.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn974.smt2 (content) sat sat 0.129s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn974.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn973.smt2 (content) sat sat 0.196s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn973.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn972.smt2 (content) unsat unsat 0.289s