detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn609.smt2 (content) sat sat 0.316s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn609.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn608.smt2 (content) unsat unsat 0.683s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn608.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn607.smt2 (content) sat sat 0.405s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn607.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn606.smt2 (content) unsat unsat 0.411s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn606.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn605.smt2 (content) unsat unsat 0.344s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn605.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn604.smt2 (content) sat sat 0.328s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn604.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat sat 0.379s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat sat 0.249s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat sat 0.162s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat sat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat sat 0.306s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat sat 0.133s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn597.smt2 (content) sat sat 0.215s