detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unsat 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn933.smt2 (content) sat sat 0.337s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn933.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn932.smt2 (content) sat sat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn932.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn931.smt2 (content) sat sat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn931.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn930.smt2 (content) sat sat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn930.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn929.smt2 (content) sat sat 0.250s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn929.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unsat 0.245s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn927.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn927.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn926.smt2 (content) sat sat 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn926.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unsat 0.144s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unsat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unsat 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn922.smt2 (content) unsat unsat 0.098s