detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn569.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat sat 0.572s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn568.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat sat 0.713s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn567.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat sat 0.743s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn566.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) timeout unsat 12.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unsat 0.587s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat sat 0.948s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unsat 4.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unsat 0.176s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat sat 0.761s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat sat 0.117s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unsat 1.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unsat 0.582s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat sat 0.957s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat sat 0.583s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) timeout unsat 14s