detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl339.smt2 (content) unsat unsat 0.225s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl338.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl337.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl336.smt2 (content) unsat unsat 0.148s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl335.smt2 (content) unsat unsat 0.268s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl334.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl333.smt2 (content) unsat unsat 0.180s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl332.smt2 (content) unsat unsat 0.250s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl331.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl330.smt2 (content) unsat unsat 0.175s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl329.smt2 (content) unsat unsat 0.273s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl328.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl327.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl326.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl325.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl324.smt2 (content) unsat unsat 0.300s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl323.smt2 (content) unsat unsat 0.857s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl322.smt2 (content) unsat unsat 0.242s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl321.smt2 (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl320.smt2 (content) unsat unsat 0.265s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl319.smt2 (content) unsat unsat 0.402s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl318.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl317.smt2 (content) unsat unsat 0.260s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl316.smt2 (content) unsat unsat 0.261s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl315.smt2 (content) unsat unsat 0.105s