root
file
detailed [2400..2424]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412912/iso_icl1143.smt2
(content)
unsat
unsat
0.094s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412911/iso_icl1142.smt2
(content)
unsat
unsat
0.077s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412910/iso_icl1141.smt2
(content)
unsat
unsat
0.070s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412909/iso_icl1140.smt2
(content)
unsat
unsat
0.085s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412908/iso_icl114.smt2
(content)
unsat
unsat
0.165s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412907/iso_icl1139.smt2
(content)
unsat
unsat
0.112s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412906/iso_icl1138.smt2
(content)
unsat
unsat
0.066s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412905/iso_icl1137.smt2
(content)
unsat
unsat
0.050s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412904/iso_icl1136.smt2
(content)
unsat
unsat
0.070s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412903/iso_icl1135.smt2
(content)
unsat
unsat
0.047s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412902/iso_icl1134.smt2
(content)
unsat
unsat
0.057s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412901/iso_icl1133.smt2
(content)
unsat
unsat
0.052s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412900/iso_icl1132.smt2
(content)
unsat
unsat
0.054s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412899/iso_icl1131.smt2
(content)
unsat
unsat
0.057s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412898/iso_icl1130.smt2
(content)
unsat
unsat
0.067s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412897/iso_icl113.smt2
(content)
unsat
unsat
0.142s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412896/iso_icl1129.smt2
(content)
unsat
unsat
0.060s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412895/iso_icl1128.smt2
(content)
unsat
unsat
0.058s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412894/iso_icl1127.smt2
(content)
unsat
unsat
0.068s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412893/iso_icl1126.smt2
(content)
unsat
unsat
0.063s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412892/iso_icl1125.smt2
(content)
unsat
unsat
0.105s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412891/iso_icl1124.smt2
(content)
unsat
unsat
0.130s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412890/iso_icl1123.smt2
(content)
unsat
unsat
0.091s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412889/iso_icl1122.smt2
(content)
unsat
unsat
0.088s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412888/iso_icl1121.smt2
(content)
unsat
unsat
0.191s