detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.286s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.395s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.421s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.447s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.287s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.270s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.251s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.376s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.108s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.397s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unsat 0.525s