detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.270s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.142s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.249s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.634s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.263s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.858s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.341s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.286s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.175s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat sat 0.183s