detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn209.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn209.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn208.smt2 (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn208.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn207.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn207.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn206.smt2 (content) sat sat 0.118s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn206.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn205.smt2 (content) sat sat 0.139s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn205.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn204.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn204.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn203.smt2 (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn203.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn202.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn202.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn201.smt2 (content) sat sat 0.151s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn201.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn200.smt2 (content) sat sat 0.230s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn200.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn199.smt2 (content) sat sat 0.147s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn199.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn198.smt2 (content) sat sat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn198.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn197.smt2 (content) sat sat 0.127s