detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn632.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn631.smt2 (content) sat sat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn631.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn630.smt2 (content) sat sat 0.696s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn630.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn629.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn629.smt2 (content) sat sat 0.230s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn628.smt2 (content) sat sat 0.365s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn628.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn627.smt2 (content) sat sat 0.490s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn627.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn626.smt2 (content) sat sat 0.331s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn626.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn625.smt2 (content) sat sat 0.304s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn625.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unsat 6.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) unsat unsat 0.605s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn623.smt2 (content) sat sat 0.287s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn623.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) timeout unsat 12.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) unsat unsat 0.932s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn621.smt2 (content) sat sat 0.206s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn621.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn620.smt2 (content) sat sat 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn620.smt2 (content) sat sat 0.041s