detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn297.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn296.smt2 (content) sat sat 0.233s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn296.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn295.smt2 (content) sat sat 0.118s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn295.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn294.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn294.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn293.smt2 (content) sat sat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn293.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn292.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn292.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn291.smt2 (content) sat sat 0.128s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn291.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn290.smt2 (content) unsat unsat 0.171s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn290.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn289.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn289.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn288.smt2 (content) sat sat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn288.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn287.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn287.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn286.smt2 (content) sat sat 0.192s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn286.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn285.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn285.smt2 (content) unsat unsat 0.049s