detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn909.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn909.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn908.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn908.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn907.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn907.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn906.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn906.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn905.smt2 (content) sat sat 0.692s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn905.smt2 (content) sat sat 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn904.smt2 (content) sat sat 0.516s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn904.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn903.smt2 (content) sat sat 0.272s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn903.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn902.smt2 (content) sat sat 0.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn902.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn901.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn901.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn900.smt2 (content) sat sat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn900.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn899.smt2 (content) sat sat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn899.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn898.smt2 (content) sat sat 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn898.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn897.smt2 (content) sat sat 0.345s