detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1054.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1053.smt2 (content) sat sat 0.365s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1053.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unsat 3.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unsat 0.655s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1051.smt2 (content) sat sat 0.408s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1051.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) timeout unsat 11.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unsat 0.772s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unsat 2.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unsat 0.189s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1049.smt2 (content) sat sat 0.421s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1049.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1048.smt2 (content) sat sat 0.457s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1048.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1047.smt2 (content) sat sat 0.392s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1047.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1046.smt2 (content) sat sat 0.312s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1046.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1045.smt2 (content) sat sat 0.469s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1045.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1044.smt2 (content) sat sat 0.468s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1044.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1043.smt2 (content) sat sat 0.871s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1043.smt2 (content) sat sat 0.054s