detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat sat 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat sat 0.681s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat sat 0.489s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat sat 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat sat 0.470s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat sat 0.906s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat sat 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat sat 0.979s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat sat 0.782s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat sat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat sat 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat sat 0.389s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat sat 0.550s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat sat 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn657.smt2 (content) sat sat 0.207s