detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat sat 0.667s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat sat 0.620s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat sat 1.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat sat 1.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat sat 0.832s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat sat 0.665s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat sat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat sat 0.825s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn657.smt2 (content) sat sat 0.307s