detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412121/iso_brn466.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412121/iso_brn466.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412120/iso_brn465.smt2 (content) unsat unsat 0.125s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412120/iso_brn465.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412119/iso_brn464.smt2 (content) sat sat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412119/iso_brn464.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412118/iso_brn463.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412118/iso_brn463.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412117/iso_brn462.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412117/iso_brn462.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412116/iso_brn461.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412116/iso_brn461.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412115/iso_brn460.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412115/iso_brn460.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412114/iso_brn459.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412114/iso_brn459.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412113/iso_brn458.smt2 (content) unsat unsat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412113/iso_brn458.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412112/iso_brn457.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412112/iso_brn457.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412111/iso_brn456.smt2 (content) sat sat 0.064s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412111/iso_brn456.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412110/iso_brn455.smt2 (content) sat sat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412110/iso_brn455.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412109/iso_brn454.smt2 (content) unsat unsat 0.086s