detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412571/iso_brn916.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412571/iso_brn916.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412570/iso_brn915.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412570/iso_brn915.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412569/iso_brn914.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412569/iso_brn914.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412568/iso_brn913.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412568/iso_brn913.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412567/iso_brn912.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412567/iso_brn912.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412566/iso_brn911.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412566/iso_brn911.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412565/iso_brn910.smt2 (content) sat sat 0.133s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412565/iso_brn910.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412564/iso_brn909.smt2 (content) unsat unsat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412564/iso_brn909.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412563/iso_brn908.smt2 (content) sat sat 0.126s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412563/iso_brn908.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412562/iso_brn907.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412562/iso_brn907.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412561/iso_brn906.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412561/iso_brn906.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412560/iso_brn905.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412560/iso_brn905.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412559/iso_brn904.smt2 (content) sat sat 0.191s