detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1224.smt2 (content) sat sat 0.160s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1224.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1223.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1223.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1222.smt2 (content) sat sat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1222.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1221.smt2 (content) sat sat 0.177s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1221.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1220.smt2 (content) sat sat 0.392s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1220.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn122.smt2 (content) unsat unsat 3.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn122.smt2 (content) unsat unsat 0.328s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1219.smt2 (content) sat sat 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1219.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1218.smt2 (content) sat sat 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1218.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1217.smt2 (content) sat sat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1217.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1216.smt2 (content) sat sat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1216.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1215.smt2 (content) sat sat 0.396s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1215.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1214.smt2 (content) timeout unsat 12.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1214.smt2 (content) unsat unsat 0.502s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1213.smt2 (content) sat sat 0.373s