detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn933.smt2 (content) sat sat 0.239s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn933.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn932.smt2 (content) sat sat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn932.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn931.smt2 (content) sat sat 0.240s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn931.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn930.smt2 (content) sat sat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn930.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn929.smt2 (content) sat sat 0.130s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn929.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unsat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn927.smt2 (content) sat sat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn927.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn926.smt2 (content) sat sat 0.167s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn926.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unsat 0.206s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn922.smt2 (content) unsat unsat 0.136s