detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn997.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn996.smt2 (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn996.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat sat 0.207s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat sat 0.317s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn992.smt2 (content) unsat unsat 0.189s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn992.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat sat 0.420s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat sat 0.217s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat sat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn988.smt2 (content) unsat unsat 0.430s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn988.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn987.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn987.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn985.smt2 (content) unsat unsat 0.317s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn985.smt2 (content) unsat unsat 0.049s