Search results

Page title matches

• Tools:Matchbox
  |shortname=Matchbox |longname=Matchbox
  598 bytes (92 words) - 07:41, 5 June 2014

Page text matches

• Tools:Matchbox
  |shortname=Matchbox |longname=Matchbox
  598 bytes (92 words) - 07:41, 5 June 2014
• Tools:Jambox
  |longname=Java Matchbox
  524 bytes (80 words) - 17:29, 13 May 2009
• Complexity Techniques
  | [[Tools:CaT]], [[Tools:Matchbox]], [[Tools:TCT]] | [[Tools:Matchbox]]
  1 KB (169 words) - 07:58, 29 March 2010
• Complexity:Techniques
  | [[Tools:CaT]], [[Tools:Matchbox]], [[Tools:TCT]] | [[Tools:Matchbox]]
  2 KB (231 words) - 11:59, 8 June 2012
• Star Exec Test
  ...submit some benchmarks (from TPDB), submit some solvers (initially, my own Matchbox because that's easiest for me to modify if necessary), and run some jobs. ...OS/Hardware is Redhat 5.8/x86_64. So I am compiling and statically linking matchbox in a Centos5.8 VM, and add run_cert and run_nocert bash scripts. Upload see
  4 KB (727 words) - 16:43, 24 June 2012
• Termination Competition 2014 Registration
  ** TRS Standard certified: TTT2, matchbox, AProVE ** SRS Standard certified: TTT2, matchbox, AProVE
  4 KB (580 words) - 14:43, 19 July 2014
• Termination Competition 2012 Comments
  * matchbox-cert has a higher score (108) than matchbox-uncert (103) which is interesting. Johannes, can you please explain.
  4 KB (699 words) - 04:07, 29 June 2012
• Complexity
  ! [http://www.imn.htwk-leipzig.de/~waldmann/ Matchbox] | [[Tools:Matchbox]]
  6 KB (809 words) - 11:01, 28 June 2012
• Outermost
  * Johannes Waldmann (Matchbox), but will need more time
  4 KB (635 words) - 17:27, 25 November 2008
• Termination Competition
  ...ol demonstration" in 2003, participating provers (including AProVe, Torpa, Matchbox)
  7 KB (905 words) - 10:03, 16 April 2024