detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn609.smt2 (content) sat sat 0.297s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn609.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn608.smt2 (content) unsat unsat 0.440s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn608.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn607.smt2 (content) sat sat 0.310s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn607.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn606.smt2 (content) unsat unsat 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn606.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn605.smt2 (content) unsat unsat 0.346s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn605.smt2 (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn604.smt2 (content) sat sat 0.186s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn604.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat sat 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat sat 0.468s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat sat 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat sat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat sat 0.186s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat sat 0.185s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat sat 0.277s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn597.smt2 (content) sat sat 0.229s