detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unsat 0.205s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unsat 0.168s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unsat 0.291s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unsat 0.572s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unsat 0.301s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unsat 0.437s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unsat 0.273s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unsat 0.754s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unsat 0.115s