detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unsat 0.116s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl708.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unsat 0.342s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unsat 0.575s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unsat 0.367s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unsat 0.658s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unsat 0.184s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.308s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.336s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.195s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.222s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.330s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.274s