detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1033.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1033.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1032.smt2 (content) unsat unsat 0.310s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1032.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1031.smt2 (content) sat sat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1031.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1030.smt2 (content) sat sat 0.169s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1030.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn103.smt2 (content) unsat unsat 0.193s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn103.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1029.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1029.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1028.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1028.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1027.smt2 (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1027.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1026.smt2 (content) unsat unsat 0.289s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1026.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1025.smt2 (content) sat sat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1025.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1024.smt2 (content) sat sat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1024.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1023.smt2 (content) unsat unsat 0.537s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1023.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1022.smt2 (content) unsat unsat 0.165s