detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1363.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1362.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1361.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1360.fof.smt2 (content) warn ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1359.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1358.fof.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1357.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1356.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1355.fof.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1354.fof.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1353.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1352.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1351.fof.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1350.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1349.fof.smt2 (content) warn ok 0.024s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1348.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1347.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1346.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1345.fof.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1344.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1343.fof.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1342.fof.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1341.fof.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1340.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_init_1339.fof.smt2 (content) warn ok 0.032s