detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn707.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) timeout unsat 17.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unsat 0.921s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat sat 0.543s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat sat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat sat 0.342s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat sat 0.407s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat sat 0.564s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unsat 0.213s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat sat 0.184s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn698.smt2 (content) sat sat 0.423s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn698.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unsat 0.388s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unsat 12.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn695.smt2 (content) sat sat 0.772s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn695.smt2 (content) sat sat 0.068s