detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unsat 0.299s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unsat 0.267s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unsat 0.517s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unsat 0.391s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unsat 0.379s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unsat 0.649s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl619.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl619.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl618.smt2 (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl618.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl617.smt2 (content) unsat unsat 0.171s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl617.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl616.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl616.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl615.smt2 (content) unsat unsat 0.121s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl615.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl614.smt2 (content) unsat unsat 0.422s