detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409909/gensys_brn864.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 0.521s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409907/gensys_brn862.smt2 (content) sat sat 0.336s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409907/gensys_brn862.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409906/gensys_brn861.smt2 (content) sat sat 0.297s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409906/gensys_brn861.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409905/gensys_brn860.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409905/gensys_brn860.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409904/gensys_brn859.smt2 (content) sat sat 0.802s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409904/gensys_brn859.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409903/gensys_brn858.smt2 (content) sat sat 0.290s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409903/gensys_brn858.smt2 (content) sat sat 0.117s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409902/gensys_brn857.smt2 (content) sat sat 0.351s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409902/gensys_brn857.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409901/gensys_brn856.smt2 (content) sat sat 0.386s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409901/gensys_brn856.smt2 (content) sat sat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409900/gensys_brn855.smt2 (content) sat sat 0.650s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409900/gensys_brn855.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409899/gensys_brn854.smt2 (content) sat sat 0.249s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409899/gensys_brn854.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409898/gensys_brn853.smt2 (content) sat sat 0.536s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409898/gensys_brn853.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409897/gensys_brn852.smt2 (content) sat sat 0.302s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409897/gensys_brn852.smt2 (content) sat sat 0.035s