detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412101/iso_brn446.smt2 (content) unsat unsat 0.117s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412100/iso_brn445.smt2 (content) unsat unsat 0.123s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412098/iso_brn443.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412095/iso_brn440.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412069/iso_brn414.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412066/iso_brn411.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412064/iso_brn409.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.139s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.148s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.126s