detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1056.smt2 (content) sat sat 0.199s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1056.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1055.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1055.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1054.smt2 (content) sat sat 0.121s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1054.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1053.smt2 (content) sat sat 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1053.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1052.smt2 (content) sat sat 0.675s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1052.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1051.smt2 (content) sat sat 0.271s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1051.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1050.smt2 (content) sat sat 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1050.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn105.smt2 (content) sat sat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn105.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1049.smt2 (content) unsat unsat 0.536s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1049.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1048.smt2 (content) sat sat 0.704s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1048.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1047.smt2 (content) unsat unsat 0.337s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1047.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1046.smt2 (content) sat sat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1046.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1045.smt2 (content) sat sat 0.215s