src/HOL/Tools/ATP/atp_systems.ML
changeset 41238 78e4508d2e54
parent 41203 1393514094d7
child 41269 abe867c29e55
equal deleted inserted replaced
41237:8b6f3917bc76 41238:78e4508d2e54
   241 
   241 
   242 val remote_e = remotify_atp e "EP" ["1.0", "1.1", "1.2"]
   242 val remote_e = remotify_atp e "EP" ["1.0", "1.1", "1.2"]
   243 val remote_vampire = remotify_atp vampire "Vampire" ["0.6", "9.0", "1.0"]
   243 val remote_vampire = remotify_atp vampire "Vampire" ["0.6", "9.0", "1.0"]
   244 val remote_sine_e =
   244 val remote_sine_e =
   245   remote_atp sine_eN "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
   245   remote_atp sine_eN "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
   246                 800 (* FUDGE *) true
   246                 600 (* FUDGE *) true
   247 val remote_snark =
   247 val remote_snark =
   248   remote_atp snarkN "SNARK---" [] [("refutation.", "end_refutation.")] []
   248   remote_atp snarkN "SNARK---" [] [("refutation.", "end_refutation.")] []
   249              250 (* FUDGE *) true
   249              250 (* FUDGE *) true
   250 
   250 
   251 (* Setup *)
   251 (* Setup *)