detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.154s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412345/iso_brn690.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412345/iso_brn690.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412343/iso_brn688.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412343/iso_brn688.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.289s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412341/iso_brn686.smt2 (content) sat sat 0.154s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412341/iso_brn686.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412340/iso_brn685.smt2 (content) sat sat 0.231s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412340/iso_brn685.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412339/iso_brn684.smt2 (content) sat sat 0.099s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412339/iso_brn684.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.125s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412337/iso_brn682.smt2 (content) sat sat 0.127s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412337/iso_brn682.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412336/iso_brn681.smt2 (content) sat sat 0.193s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412336/iso_brn681.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412335/iso_brn680.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412335/iso_brn680.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412334/iso_brn679.smt2 (content) unsat unsat 0.136s